A 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 (v), let be as in Hilbert Triples: Standing Notation and Background (vi), 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…
No relations recorded yet.