Classical Subsolution and Supersolution of a Second-Order Equation
definitionAnalysisPDEdef:classical-sub-supersolution-2026bLet be a natural number, let be an open subset of Euclidean space , let be the set of real numbers with the order of its ordered field structure, let be the set of symmetric real matrices, let be a second-order equation operator on , and let be of class on .
For each write for the gradient of at and for the Hessian matrix of at ; by Equality of Mixed Second Partial Derivatives and Symmetry of the Hessian the latter lies in , so the quadruple lies in the domain of .
We say that is a classical subsolution of on if
for every , and that is a classical supersolution of on if
for every .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.