First-Order Operators Satisfy the Second-Order Structure and Tail-Insensitivity Conditions
lemmaAnalysisPDElem:first-order-implies-second-order-hilbert-triple-2026aA structure pair for the first-order condition is a structure pair for the second-order condition, and an operator that ignores its form argument is tail-insensitive along every admissible basis.
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 . Then the following hold.
1. (A first-order structure pair serves at second order)¶ Let be positive and let be a structure pair for at . Then is a second-order structure pair for at . Consequently, if satisfies the first-order structure condition, then satisfies the second-order structure condition.
2. (First-order operators are tail-insensitive)¶ Assume that is first order, and let be an orthonormal basis of with for every . Then is tail-insensitive along .
3. (The tail-insensitivity condition for a first-order operator)¶ Assume that is first order and that , as a vector space over , is not finite-dimensional. Then satisfies the tail-insensitivity condition.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.