TheoremBase

First-Order Equation Operator on a Hilbert Triple

A second-order equation operator is first order when its value does not depend on the form argument.

Statement

In the setting of Hilbert Triples: Standing Notation and Background, let U⊆HU\subseteq H be open in HH, with W=D(A)∩UW=D(A)\cap U as in Hilbert Triples: Standing Notation and Background (v), let Sym(V)\mathrm{Sym}(V) be as in Hilbert Triples: Standing Notation and Background (vi), and let FF be a second-order equation operator on UU relative to (H,V,A)(H,V,A).

The operator FF is first order if

F(x,r,p,X)=F(x,r,p,X′)F(x,r,p,X)=F(x,r,p,X')

for every x∈Wx\in W, every r∈Rr\in\mathbb{R}, every p∈Hp\in H and all X,X′∈Sym(V)X,X'\in\mathrm{Sym}(V).

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…