TheoremBase

Convergence of Second-Order Equation Operators on a Hilbert Triple on Bounded Test Data

Test data bounded by R on a Hilbert triple, and convergence of a sequence of second-order equation operators to a limit operator uniformly on such data, for both delta-shifts.

Statement

In the setting of Hilbert Triples: Standing Notation and Background, the set HH is open in HH by Hilbert Triples: Standing Notation and Background §open-sets, with W=D(A)W=D(A) there. Let FF and, for each N∈NN\in\mathbb{N}, FNF_{N} be second-order equation operators on HH relative to (H,V,A)(H,V,A), with δ\delta-shifts Fδ−,Fδ+F^{-}_{\delta},F^{+}_{\delta} and FN,δ−,FN,δ+F^{-}_{N,\delta},F^{+}_{N,\delta} respectively, and let ∥⋅∥\lVert\cdot\rVert be the norm on Sym(H)\mathrm{Sym}(H) fixed in Hilbert Triples: Standing Notation and Background §restriction.

1. (Bounded test data) For a real number R>0R>0, a test datum bounded by RR is a quadruple (x,r,p,Y)(x,r,p,Y) with x∈D(A)x\in D(A), r∈Rr\in\mathbb{R}, p∈Hp\in H and Y∈Sym(H)Y\in\mathrm{Sym}(H) such that

∣x∣V≤R,∣r∣≤R,∣p∣H≤R,∥Y∥≤R.|x|_{V}\le R,\qquad|r|\le R,\qquad|p|_{H}\le R,\qquad\lVert Y\rVert\le R .

2. (Convergence) The sequence (FN)N∈N(F_{N})_{N\in\mathbb{N}} converges to FF on bounded test data if for all real numbers δ>0\delta>0, R>0R>0 and ε>0\varepsilon>0 there is N0∈NN_{0}\in\mathbb{N} such that

∣FN,δ−(x,r,p,Y)−Fδ−(x,r,p,Y)∣≤εand∣FN,δ+(x,r,p,Y)−Fδ+(x,r,p,Y)∣≤ε\bigl|F^{-}_{N,\delta}(x,r,p,Y)-F^{-}_{\delta}(x,r,p,Y)\bigr|\le\varepsilon\quad\text{and}\quad\bigl|F^{+}_{N,\delta}(x,r,p,Y)-F^{+}_{\delta}(x,r,p,Y)\bigr|\le\varepsilon

for every N∈NN\in\mathbb{N} with N≥N0N\ge N_{0} and every test datum (x,r,p,Y)(x,r,p,Y) bounded by RR.

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…