with real constant g. This is a prescribed compact-profile scalar parent. The finite annular electrostatic density −ϵ0ΔdR does not by itself construct its quantized source, field energy or laboratory realization.
Lemma 10.1 (Physical domains and forcing tail)
The parent (10.1) is self-adjoint on D(h)∩D(Hs) and has form domain H1(R3×R)∩{Yψ∈L2}. It satisfies
At R=40 these upper bounds are respectively 6⋅10−15 in norm and 4⋅10−14 in first-form norm.
Proof
Hardy and interpolation make Coulomb infinitesimally Laplacian bounded. The independent electron and oscillator operators commute; after a common positive shift their sum has domain D(h)∩D(Hs). Since ∥Yψ∥≤2/Ω∥Hs1/2ψ∥ and dR is bounded, gYdR is infinitesimally operator bounded relative to this sum. This proves the operator assertion and the corresponding common closed form.
The square 41∥∇u+2ru∥2≥0 gives h+1≥pr2/4. Young's inequality gives gYdR≥−ΩY2/4−g2d02/Ω and Hs−ΩY2/4≥Hs/2, proving (10.2).
The omitted forcing is confined to r≥R and has magnitude at most that of uf. Integrating (4/3)r4e−2r gives (10.3). For the radial error w=(χR−1)uf, ∣uf′∣≤uf on this tail and therefore ∣w′∣≤9uf. The positive upper bound on the remaining radial form potential is 1+r−2. Thus
⟨w,(h1+1)w⟩≤(281+1+R−2)∫R∞∣uf∣2dr,
which is (10.4). Reciprocal positive Taylor sums for e80 enclose the stated numerical tails.
□
The cutoff is essential to the actual source parent. With an uncut gYrz, completing the source square leaves −g2rz2/(2Ω). Electron packets translated to rz=L and source packets translated to Y=−gL/Ω have energy tending to −∞. Thus no stable uncut source Hamiltonian is being approximated here. Equations (10.3)–(10.4) compare forcing vectors, not complete actual parents.
The subscript on the last inner product means integration in the electron coordinate only. The actual vector p(Y,t) retains its source phase and every finite internal coefficient. It is not prescribed as a free source waveform.
Here A0 is the self-adjoint restriction of h+Hs to QH. The spectral projection Q preserves the common operator and form domains. More precisely, A denotes the self-adjoint operator A0+gYQdRQ on D(A0): the electronic factor QdRQ is bounded and commutes with the source coordinate, so the same infinitesimal relative-bound argument used in Lemma 10.1 applies. Thus QHQ denotes this proved realization, rather than an assumed self-adjoint compression.
Since the complete excited electronic floor is −1/8,
K0≥7/8+Hs,K0≥pr2/4+Hs,Tph≤(22/7)K0.(10.8)
For the last inequality take 4/11 of the first lower bound and 7/11 of the second, then multiply by 22/7. This gives the exact coefficients 1 and 1/2 of the identity and electron kinetic terms; the source coefficient is larger than required.
The unbounded source interaction has the bounded form sandwich
∥K0−1/2gYQdRQK0−1/2∥≤θ:=∣g∣d0Ω(7/8)2.(10.9)
Indeed use ∥u∥≤(7/8)−1/2∥K01/2u∥ on one factor, and ∥Yv∥≤2/Ω∥K01/2v∥ on the other. This bounds the full sesquilinear form and hence its operator. If θ<1, then
(1−θ)K0≤K≤(1+θ)K0.(10.10)
All these inequalities are physical form inequalities on the complete Q space. They neither truncate the oscillator nor delete QYdRQ.
The inequality can be strict. The half-line in the last expression contains spectral gaps and cannot generally replace σ(A0) in an equality.
Example 10.2 (A strict gap in the half-line bound)
Take Ω=.01, E=−.117, η=.0001. The lowest spectral points of A0 are −.120 and −.110; the n≥3 electronic ladders begin above −.051, and the continuum begins at .005. At a=E, the half-line expression is 8830. On the actual spectrum the maximum is
Jspec=.0032+.00012.88<294.
Indeed the first point gives a value above 280, while for every other spectral point a≥−.110 the quotient is at most .89/.007<128. Thus the half-line equality fails by a large factor even for this concrete parent.
Theorem 10.3 (An earned low-window inverse for the actual block)
Let V0=K0−1/2gYQdRQK0−1/2 and B0=K01/2(A0−ζ)−1K01/2. The bounded form pencil of A−ζ has inverse
K01/2(A−ζ)−1K01/2=(I+B0V0)−1B0.
The order is fixed: the pencil is B0−1+V0=B0−1(I+B0V0). The Neumann bound is ∥(I+B0V0)−1∥≤(1−Jθ)−1. This is the concrete form-inverse construction of Theorem 5.1; no Hilbert-norm boundedness of YQdRQ has been assumed.
In the baseline squared norm, integrate out only the electron spectral measure. The remaining positive source operator is
Bound F by its supremum, then use ∥YHs−1/2∥≤2/Ω. This proves (10.12). Moving Y through F(Hs) or through the resolvent would not prove that estimate.
For (10.13), θ<.00062 and J≤88/35. To see the latter, first lower every denominator to a+.47 and use a≥−.12; the resulting (a+1)/(a+.47) decreases and has value 88/35 at the floor. Thus the correction in (10.11) leaves the low-window bound unchanged.
The source supremum also needs its own argument. First dominate the integral kernel at the fixed endpoint E=−.47,η=0, since e+s≥−.12. At this endpoint the derivative of (e+s+1)/(e+s+.47)2 with respect to s has sign −(e+s+1.53)<0. It is consequently enough to use s=1/200. This monotonicity was not asserted for every negative E before making the endpoint domination.
For the uncut forcing, isolate the exact 2p mass w2=32768/59049. All remaining spectral mass lies at e≥−1/18, and the same endpoint kernel is decreasing in e. Its complete bound-plus-continuum integral is therefore
This analytic ceiling requires neither a continuum quadrature nor a truncation of the Rydberg series.
The compact forcing changes the baseline weighted inverse norm, before multiplication by ∣g∣, by at most
JϵRΩ(7/8)2.
This follows by inserting K0−1/2 and applying its lower form floor to fR−f and the ordered source factor. Use (10.8), ϵR<6⋅10−15, 1280<35.778 and 1600/7<16. The resulting entirely rational upper bound is
This proves (10.14), retaining the actual excited-block feedback in the inverse.
□
The result is a uniform frequency-window statement with source weight Hs1/2. It does not say that the actual time-dependent input p has Fourier support in this window. Such a use requires the temporal band and complementary-frequency terms of the window theorem. We next give a different all-frequency bound with the stronger, explicitly earned source weight Hs.