TheoremBase

The Cut-Off Shifted Operators of the Wick-Square Problem: the Hypotheses of the Convergence Theorem with Constants Independent of the Cutoff, Convergence on Bounded Test Data, and Compactness of the Triple

The cut-off shifted operators satisfy the hypotheses of the Hilbert-triple convergence theorem with constants independent of the cutoff and converge to the uncut shifted operator on bounded test data; and bounded sets of the form space of the Sobolev triple are precompact in the ambient space.

Statement

In the setting of The Wick-Square Problem on the Sobolev Triple of Order Two: Standing Notation, let Cg,ℓg∈RC_{g},\ell_{g}\in\mathbb{R} be nonnegative and let g:V→Rg:V\to\mathbb{R} satisfy ∣g(x)∣≤Cg|g(x)|\le C_{g} and ∣g(x)−g(y)∣≤ℓg∣x−y∣H|g(x)-g(y)|\le\ell_{g}|x-y|_{H} for all x,y∈Vx,y\in V. Let F♯F^{\sharp} be the shifted operator for gg and, for N∈NN\in\mathbb{N}, let ΠN\Pi_{N}, fNf^{N}, GNG_{N}, BqNB^{N}_{q} be the cut-off data and FN♯F^{\sharp}_{N} the cut-off shifted operator for gg. Then the following hold.

1. (Uniform hypotheses) For every N∈NN\in\mathbb{N}: GN∈Sym(H)G_{N}\in\mathrm{Sym}(H) with 0Sym⪯GN⪯IH0_{\mathrm{Sym}}\preceq G_{N}\preceq I_{H}; BqNB^{N}_{q} is a monotone nonlinearity for (H,V,A)(H,V,A); and ∣g(ΠNx)∣≤Cg|g(\Pi_{N}x)|\le C_{g} and ∣g(ΠNx)−g(ΠNy)∣≤ℓg∣x−y∣H|g(\Pi_{N}x)-g(\Pi_{N}y)|\le\ell_{g}|x-y|_{H} for all x,y∈Vx,y\in V.

2. (Convergence of the operators) The sequence (FN♯)N∈N(F^{\sharp}_{N})_{N\in\mathbb{N}} converges to F♯F^{\sharp} on bounded test data.

3. (Compactness) Every sequence in VV that is bounded in VV has a subsequence that converges in HH.

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…