The First-Order Structure Condition for a Second-Order Equation Operator on a Hilbert Triple
definitionAnalysisPDEdef:first-order-structure-condition-hilbert-triple-2026aIshii's condition (F2) in its first-order form: at the common doubling gradient the difference of the two delta-shifts is bounded below by three moduli, in the distance of the points, in the penalised distance, and in the shift parameter.
In the setting of Hilbert Triples: Standing Notation and Background, let be open in , with as in Hilbert Triples: Standing Notation and Background §open-sets, let be as in Hilbert Triples: Standing Notation and Background §restriction, and let be a second-order equation operator on relative to , with -shifts and . For a real and , denotes the scalar multiple by of the difference in , and is the natural power.
1. (Structure triple at a level)¶ Let be positive and let , and be moduli of continuity. We say that is a structure triple for at if
for all , every with , all and all with and . The three arguments of the moduli are nonnegative, being and multiples of by the nonnegative reals and .
2. (The first-order structure condition)¶ The operator satisfies the first-order structure condition if for every positive there is a structure triple for at .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.