Section 11 9 October 2026
Actual source graphs and finite-time complete currents
11 Actual source graphs and finite-time complete currents
Write and . The form tail gives and, at , . The source ladder operators give the ordered bounds
Indeed and . The downward and upward coefficients of and are bounded by and , respectively. For the weighted versions, their squared ratios are
The first inequality is direct and the second ratio decreases from its value at . Their sum in proves (11.1). These are full-source operator bounds, not a bound on a selected actual occupation.
Consequently
The two terms follow by splitting on the forcing vector, with the ordering in (11.1) preserved.
For and every , ,
For the actual input of (10.6), with , let agree with its forced equation on and then evolve homogeneously with . If , then
Also, whenever ,
By (10.8) and (10.10), . The form commutes with the actual resolvent, whose unweighted norm is at most . Its input satisfies . Their ordered product proves (11.3). The finite lower bound on is positive; rescaling by that bound gives the equivalent unit-coercive form convention if needed. No commutation of with is used.
Extend by zero. The causal exponentially damped Fourier transform of the Duhamel equation is the resolvent multiplier applied to this complete source vector. Plancherel with (11.3) proves (11.4), as in Theorem 6.1. There is no derivative of the time cutoff in this argument and no frequency-band assumption. Finally Duhamel in the stationary positive form and give (11.5).
□The cost includes all actual bound poles and continuum. It cannot be discarded because the fixed-reference continuum-only calculation happened to be independent. The source weights in (10.12) and (11.3) are also different.
Let the normalized entrance be , with any normalized passive finite internal vector . Under the actual static parent (10.1), put . Then
Since commutes with , the first two bounds also control the corresponding graphs of the actual .
The commutator is , with . The expectation identity and give
Regularizing the square root if necessary and integrating gives (11.6). The norm derivative for obeys
Its initial norm is ; integrating the preceding linear bound gives (11.7).
These computations can be justified without assuming the future source stays Gaussian. Let project onto source occupations , and use the full-space operators
They are self-adjoint on with uniform infinitesimal relative bounds and the coercivity (10.2). For every vector in this common domain, , because commutes with and converges in its form norm. The resolvent identity, with the uniformly bounded nonreal resolvents on its left, gives strong resolvent convergence; the associated unitary groups converge strongly on compact time intervals. For the entrance lies in and remains there, so both source graphs are bounded operators on that invariant subspace. The commutator is and obeys the same uniform estimates as above. Hence the displayed graph bounds hold for . At each time, strong wave convergence and weak lower semicontinuity of the closed graphs of and pass these bounds to the actual wave. No finite source truncation remains in the result.
Lastly, from the exact equation for and its zero entrance,
Here and commutes with . This is (11.8). The feedback term in (10.6) has not been set to zero anywhere.
□11.1 All coherent terms in the original physical currents
The nominated current constitution is the nonrelativistic canonical one:
Define differences relative to the actual wave,
The vector is generally unnormalized and does not solve an autonomous closed evolution. It is a wave comparison, not a separately assigned physical flow. To make its continuity defect explicit, set and . The feedback equation gives, in distributions,
The products are integrable under the earned source graphs: for example . Even if and the comparison is normalized, writing , its density and current have source . Normalization therefore does not create conservative equivariance. The estimates below retain the original unnormalized comparison and need neither a second flow nor a continuity-defect allowance.
With and ,
where and .
For any derivative , expand before estimating:
Thus every interference term and the quadratic error current remain. Cauchy–Schwarz, and give the electron estimate. For the source, because commutes with the source kinetic form. Multiplication by gives (11.12). The density expansion gives (11.10). Finally the electron and source kinetic terms are included with their stated coefficients in , giving the two derivative bounds. Spectral orthogonality of and has not been used to discard a pointwise cross term.
□For the same static parent with , , , and the entrance of Proposition 11.2,
Equations (10.4), (10.9) and (11.2) give the rational enclosure
Here . Let . Equations (11.5)–(11.8) consequently admit the polynomial upper bounds
All roundings are outward: , and . Substitute and , using , . The two current integrands are bounded by
These are explicit nonnegative rational polynomials. Exact integration on gives respectively and . Direct evaluation of the same polynomials gives (11.13). The exact integrals are
so integer comparison verifies both printed outward ceilings. No continuum quadrature enters this bound.
□The electron integral has units of relative-coordinate length, and the source integral of source-coordinate length in the chosen dimensionless convention. They bound , not the entire absolute currents. They are not event probabilities. A detector or tube claim requires a corresponding surface/guard and an original-law transport interface with its own constants. Comparing to a freely propagated intended source instead of the actual would additionally require the feedback phase and current cost of .
The compact scalar and oscillator constitute a definite mathematical example with actual source feedback, full Coulomb poles and continuum, and complete canonical currents. A finite-mass source/COM reduction, source field energy, retardation, loading, clock and a microscopic Pauli or Dirac current identification remain separate physical questions. None is inferred from the exact Coulomb calibration or from the small forcing tail.
11.2 Flow and companion-paper interfaces
For the entrance of Proposition 11.2, the actual parent (10.1) is the constant- case of the Full Coulomb–source flow theorem in the revised companion paper [3]. The reduced-mass units, the smooth compact dipole and its full collar, the first excited source entrance, the passive internal factor, and both canonical currents agree. Constant satisfies that theorem's bounded absolutely continuous control hypothesis on every finite horizon, including . Its common first-domain, tangent-regularity and logarithmic-current arguments consequently supply a deterministic reference-compatible flow for this actual wave, with reference-almost-sure collision and node avoidance. An original joint law absolutely continuous with respect to the entrance wave density is transported by reweighting those same paths once. A quantitative domination factor for (2.7) is a further premise, not a consequence of absolute continuity.
The current bounds above do not apply that flow theorem to . Conservative two-flow stability in the revised P3 requires two admitted conservative flows, a common positive tube, and a bound for the probability of leaving it. Its separate signed-source appendix requires a normalized reference, classical local regularity, and finite source and divergence costs. Neither conclusion follows by analogy from (11.9). No variable-coefficient spin-curl current is used here; adding one would require its own derivative regularity and current estimates.
The Gaussian preparation and instrument results of P1 [1] and the finite repeated-record protocol of P2 [2] concern their own effective parents, complete entrance laws and decoders. The present estimates establish neither those entrance premises nor fresh independence, renewed readiness, or repeated unknown-input measurement. Conversely, wave reset or preparation of an actual law does not supply a missing derivative, source graph or flow hypothesis for the present parent. Any composition must verify the same complete configuration and every retained correlation on the same time interval.