Let a continuous function satisfy both viscosity inequalities for the Laplace operator. On any relatively compact ball, take its harmonic replacement with matching boundary values. If has a positive maximum, the function still lies below somewhere for sufficiently small positive , while matching it on the boundary. At an interior maximum of their difference it is a valid upper test, but its Laplacian is , a contradiction. The opposite perturbation excludes a negative minimum. Thus throughout the ball and is a smooth harmonic function. A locally defined test is extended near its touching point using a smooth cutoff function when global tests are required.

Articles by others on the same topic (0)

There are currently no matching articles.