TheoremBase

A First-Order Equation Operator is Degenerate Elliptic and Its δ\delta-Shifts Ignore the Form Argument

A first-order equation operator on a Hilbert triple is degenerate elliptic, and each of its delta-shifts takes the same value at all form arguments.

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) and Sym(H)\mathrm{Sym}(H) 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) that is first order, with δ\delta-shifts Fδ−F^{-}_{\delta} and Fδ+F^{+}_{\delta}. Let δ∈R\delta\in\mathbb{R} be positive. Then the following hold.

1. (Degenerate ellipticity) The operator FF is degenerate elliptic.

2. (The shifts ignore the form argument) For every x∈Wx\in W, every r∈Rr\in\mathbb{R}, every p∈Hp\in H and all Y,Y′∈Sym(H)Y,Y'\in\mathrm{Sym}(H),

Fδ−(x,r,p,Y)=Fδ−(x,r,p,Y′),Fδ+(x,r,p,Y)=Fδ+(x,r,p,Y′).F^{-}_{\delta}(x,r,p,Y)=F^{-}_{\delta}(x,r,p,Y'),\qquad F^{+}_{\delta}(x,r,p,Y)=F^{+}_{\delta}(x,r,p,Y').

Proofs

Log in to submit a proof.

Loading...

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…