TheoremBase

Second-Order Equation Operator on an Open Subset of a Hilbert Triple and Its δ\delta-Shifts

A second-order equation operator on an open set U of the large space of a Hilbert triple is a real function of (x, r, p, X) with x in W = D(A)∩U, r real, p in H and X a bounded symmetric bilinear form on V. Its δ-shifts feed F the penalised arguments r ± δh(x), p ± δAx and Y|_V ± δI_V for forms Y on H.

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 hh be the penalty function, and let Y↦Y∣VY\mapsto Y|_{V}, IVI_{V}, and the sums, differences and multiples of forms be as in Hilbert Triples: Standing Notation and Background (vi). Products of sets are Cartesian products.

1. (Second-order equation operator) A second-order equation operator on UU relative to (H,V,A)(H,V,A) is a function

F: W×R×H×Sym(V)→R,F:\ W\times\mathbb{R}\times H\times\mathrm{Sym}(V)\to\mathbb{R},

whose value at (x,r,p,X)(x,r,p,X) is written F(x,r,p,X)F(x,r,p,X).

2. (The δ\delta-shifts of FF) Let FF be a second-order equation operator on UU relative to (H,V,A)(H,V,A) and let δ∈R\delta\in\mathbb{R} satisfy 0<δ0<\delta. For x∈Wx\in W one has x∈D(A)⊆Vx\in D(A)\subseteq V, so h(x)∈Rh(x)\in\mathbb{R} and Ax∈HAx\in H are defined, and for Y∈Sym(H)Y\in\mathrm{Sym}(H) the forms Y∣V+δIVY|_{V}+\delta I_{V} and Y∣V−δIVY|_{V}-\delta I_{V} belong to Sym(V)\mathrm{Sym}(V) by Bounded Symmetric Bilinear Forms on a Real Inner Product Space: Norm, Order, Identity Form and Restriction (iv). The δ\delta-shifts of FF are the two functions

Fδ−, Fδ+: W×R×H×Sym(H)→RF^{-}_{\delta},\ F^{+}_{\delta}:\ W\times\mathbb{R}\times H\times\mathrm{Sym}(H)\to\mathbb{R}

given by

Fδ−(x,r,p,Y)=F(x, r+δh(x), p+δAx, Y∣V+δIV),Fδ+(x,r,p,Y)=F(x, r−δh(x), p−δAx, Y∣V−δIV).F^{-}_{\delta}(x,r,p,Y)=F\bigl(x,\ r+\delta h(x),\ p+\delta Ax,\ Y|_{V}+\delta I_{V}\bigr), \qquad F^{+}_{\delta}(x,r,p,Y)=F\bigl(x,\ r-\delta h(x),\ p-\delta Ax,\ Y|_{V}-\delta I_{V}\bigr).

Thus Fδ−F^{-}_{\delta} restores a subtracted δh\delta h (its value, its gradient AxAx and its second derivative IVI_{V} on VV), while Fδ+F^{+}_{\delta} removes an added δh\delta h.

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…