TheoremBase

Proof

Throughout, R\mathbb{R} carries the order ≤\le of its ordered field structure, which is a total order and is in particular reflexive and antisymmetric. For x∈Ux\in U write Du(x)Du(x) for the gradient of uu at xx and D2u(x)D^2u(x) for the Hessian matrix of uu at xx.

Claims 1 and 2. Both implications from left to right are claims 1 and 2 of Classical Sub- and Supersolutions of a Degenerate Elliptic Operator are Viscosity Sub- and Supersolutions, whose hypotheses hold because FF is degenerate elliptic and uu is of class C2C^2 on UU. Both implications from right to left are claims 1 and 2 of A Viscosity Subsolution or Supersolution of Class C2C^2 is Classical, whose hypotheses hold because uu is of class C2C^2 on UU.

Claim 3, from left to right. Suppose uu is a classical solution of FF on UU, so that F(x,u(x),Du(x),D2u(x))=0F(x,u(x),Du(x),D^2u(x))=0 for every x∈Ux\in U. Since 0≤00\le 0 by reflexivity of ≤\le, for every x∈Ux\in U both

F(x,u(x),Du(x),D2u(x))≤0and0≤F(x,u(x),Du(x),D2u(x))F(x,u(x),Du(x),D^2u(x))\le 0\qquad\text{and}\qquad 0\le F(x,u(x),Du(x),D^2u(x))

hold. Thus uu is both a classical subsolution and a classical supersolution of FF on UU, so by claims 1 and 2 it is both a viscosity subsolution and a viscosity supersolution of FF on UU, which is precisely what it means to be a viscosity solution of FF on UU.

Claim 3, from right to left. Suppose uu is a viscosity solution of FF on UU. By that definition uu is both a viscosity subsolution and a viscosity supersolution of FF on UU, so by claims 1 and 2 it is both a classical subsolution and a classical supersolution of FF on UU. Hence for every x∈Ux\in U both

F(x,u(x),Du(x),D2u(x))≤0and0≤F(x,u(x),Du(x),D2u(x))F(x,u(x),Du(x),D^2u(x))\le 0\qquad\text{and}\qquad 0\le F(x,u(x),Du(x),D^2u(x))

hold, and antisymmetry of ≤\le gives F(x,u(x),Du(x),D2u(x))=0F(x,u(x),Du(x),D^2u(x))=0 for every x∈Ux\in U. Since uu is of class C2C^2 on UU, this says that uu is a classical solution of FF on UU.

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…