Ordered subsolution and supersolution

ID: ordered-subsolution-and-supersolution

For , a subsolution and supersolution satisfy and , respectively. An ordered pair additionally satisfies throughout the domain, with boundary data between their boundary traces. This interior condition is separate from boundary ordering when is non-increasing: for , a positive first Dirichlet Laplacian eigenfunction and both solve the homogeneous equation and vanish on the boundary, but taking and produces reversed interior barriers.

New to topics? Read the docs here!