Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am looking for the references or simple direct proofs of existence and uniqueness of viscosity solution for two problems:

$1.$ Let $\Omega$ be bounded domain, $u=0$ on $\delta\Omega$ and $$|Du|-f(x,u)=0$$ where $f\ge 0$ and $f(x,r)<f(x,s)$ for all $x\in \Omega$ and $r<s.$

$2.$ $-D\cdot a(Du)=f$ where $a$ is a smooth vector-valued function that satisfies

monotonicity condition $(a(Du)-a(Dv))\cdot (Du-Dv)\ge 0.$ We can assume whatever we need for the domain in $R^n,$ $u=0$ on the boundary.

share|cite|improve this question
Welcome to Math.SE! Regarding 2, you can't get uniqueness without strict monotonicity. Indeed, if $a(p_1,p_2)=(-p_2,p_1)$ in two dimensions, then $D\cdot a(Du)=0$ holds for any smooth function at all. – user53153 Jan 14 '13 at 6:10
You are right, thanks. For my purposes, we can assume pretty much everything. So let it be strictly monotone. – Alvin Jan 14 '13 at 10:08
Cross-posted to MathOverflow – user53153 Jan 14 '13 at 16:23
up vote 1 down vote accepted

Edit: the first part works only if $u_1$ and $u_2$ are differentiable.

For the first question, what you really need to prove is comparison result, namely if $u_1$ and $u_2$ are corresponding viscosity sub and super solutions that agree on the boundary, then $u_1\le u_2.$ For this purpose, fix $x_0\in\Omega$ and take $\phi\in C^2(\Omega),$ such that $u_2-\phi$ attains local minimum at $x_0.$ Since, $u_2$ is a super solution, it follows that $$|D\phi(x_0)|\le f(x,u_2(x_0)).$$

By interpolation theorem, for each value of $p$ there exists $C^2$ function $\phi_1,$ such that $u_1-\phi$ attains local minimum at $x_0$ and $|D\phi_(x_0)|=p=|D\phi(x_0)|.$ For such defined $\phi$ and $\phi_1,$ recalling that $u_1$ is a sub solution, we get $$f(x,u_1(x_0))\le |D\phi_1(x_0)|=|D\phi(x_0)|\le f(x,u_2(x_0)),$$ and the result follows from monotonicity condition.

For Problem 2, see:

Ishii, H.; Lions, P.-L. Viscosity solutions of fully nonlinear second-order elliptic partial differential equations. J. Differential Equations 83 (1990), no. 1, 26–78. (Reviewer: Philippe Delanoë) 35Bxx (35J60)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.