For a partial differential equation whose operator is nonincreasing in the Hessian variable, a continuous viscosity subsolution satisfies whenever a smooth test function touches it from above. A viscosity supersolution satisfies the reverse inequality for tests touching from below. A viscosity solution satisfies both conditions. For , these conditions are respectively and . They make sense even when has no classical second derivatives.
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
A viscosity solution is a type of weak solution to certain types of nonlinear partial differential equations (PDEs), particularly those of the Hamilton-Jacobi type. The concept is particularly useful in cases where classical solutions may not exist, such as when solutions may be discontinuous or exhibit other singular behaviors. ### Definition A viscosity solution satisfies the PDE in a "viscosity" sense, which means it adheres to a specific geometric interpretation involving test functions.