Continuous viscosity harmonic functions are classical
ID: continuous-viscosity-harmonic-functions-are-classical
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.
New to topics? Read the docs here!