Coupled amplitudes

Consider a discrete amplitude aa coupled to amplitudes b(ω)b(\omega) with measure dν(ω)d\nu(\omega). In frequency units let

ia˙=ω0a+∫g(ω)b(ω) dν(ω),ib˙(ω)=ωb(ω)+g(ω)∗a. \begin{aligned} i\dot a&=\omega_0a+\int g(\omega)b(\omega)\,d\nu(\omega),\\ i\dot b(\omega)&=\omega b(\omega)+g(\omega)^*a. \end{aligned}

Assume ω0\omega_0 is real, multiplication by ω\omega is self-adjoint on its natural L2(dν)L^2(d\nu) domain, and g∈L2(dν)g\in L^2(d\nu). The off-diagonal coupling is then bounded and the full operator on C⊕L2(dν)\mathbb C\oplus L^2(d\nu) is self-adjoint. It conserves

∣a∣2+∫∣b(ω)∣2 dν(ω). |a|^2+\int|b(\omega)|^2\,d\nu(\omega).

The two coupling contributions cancel upon differentiation. These are coefficients of field modes in the nested physical manifold; the spectral labels are not extra physical spatial directions.

Exact elimination

Solving the second equation by an integrating factor gives

b(ω,t)=e−iωtb(ω,0)−ig(ω)∗∫0te−iω(t−s)a(s) ds. b(\omega,t)=e^{-i\omega t}b(\omega,0) -ig(\omega)^*\int_0^t e^{-i\omega(t-s)}a(s)\,ds.

Substitution into the first gives the exact causal equation

a˙(t)=−iω0a(t)−iF(t)−∫0tK(t−s)a(s) ds, \boxed{\dot a(t)=-i\omega_0a(t)-iF(t) -\int_0^t K(t-s)a(s)\,ds,}

where

F(t)=∫g(ω)e−iωtb(ω,0) dν(ω),K(t)=∫∣g(ω)∣2e−iωt dν(ω). F(t)=\int g(\omega)e^{-i\omega t}b(\omega,0)\,d\nu(\omega), \qquad K(t)=\int|g(\omega)|^2e^{-i\omega t}\,d\nu(\omega).

An initially unexcited continuum has F=0F=0. An occupied continuum supplies a forcing term and cannot be represented by the same homogeneous equation.

For Re⁡z>0\operatorname{Re}z>0, the zero-forcing Laplace transform satisfies

a~(z)=a(0)z+iω0+∫∣g(ω)∣2z+iω dν(ω). \widetilde a(z)= \frac{a(0)}{z+i\omega_0+\displaystyle\int \frac{|g(\omega)|^2}{z+i\omega}\,d\nu(\omega)}.

The frequency dependence in this denominator retains the response of the eliminated modes. Poles and continuum contributions both affect evolution.

Weak-coupling decay approximation

Suppose dν=ρ(ω)dωd\nu=\rho(\omega)d\omega and write J(ω)=ρ(ω)∣g(ω)∣2J(\omega)=\rho(\omega)|g(\omega)|^2. With A(t)=eiω0ta(t)A(t)=e^{i\omega_0t}a(t),

A˙(t)=−∫0tk(τ)A(t−τ) dτ,k(τ)=∫J(ω)e−i(ω−ω0)τ dω. \dot A(t)=-\int_0^t k(\tau)A(t-\tau)\,d\tau, \qquad k(\tau)=\int J(\omega)e^{-i(\omega-\omega_0)\tau}\,d\omega.

If the kernel loses memory much faster than AA changes, replace A(t−τ)A(t-\tau) by A(t)A(t) and the upper limit by infinity. This approximation requires weak coupling, adequate decay of the kernel, a smooth density near an interior resonance, and separation from relevant spectral edges or bound-state poles. Insert e−ϵτe^{-\epsilon\tau} before taking ϵ↓0\epsilon\downarrow0:

∫0∞k(τ) dτ=πJ(ω0)+i PV⁡ ⁣∫J(ω)ω0−ω dω. \int_0^\infty k(\tau)\,d\tau =\pi J(\omega_0)+i\,\operatorname{PV}\!\int \frac{J(\omega)}{\omega_0-\omega}\,d\omega.

This follows from the distributional limit of [ϵ+i(ω−ω0)]−1[\epsilon+i(\omega-\omega_0)]^{-1}. If the principal value exists,

a(t)≈a(0)e−i(ω0+Δ)t−Γt/2,Δ=PV⁡ ⁣∫J(ω)ω0−ω dω,Γ=2πJ(ω0). a(t)\approx a(0)e^{-i(\omega_0+\Delta)t-\Gamma t/2}, \quad \Delta=\operatorname{PV}\!\int\frac{J(\omega)}{\omega_0-\omega}\,d\omega, \quad \Gamma=2\pi J(\omega_0).

Γ\Gamma is the decay rate of ∣a∣2|a|^2; the amplitude rate is half as large. The approximation need not describe very short times, late tails, or a surviving discrete component of the full spectrum.

Finite and continuous benchmarks

For a single resonant companion with real coupling gg, initial data (a,b)=(1,0)(a,b)=(1,0) give

a(t)=e−iω0tcos⁡(gt),b(t)=−ie−iω0tsin⁡(gt). a(t)=e^{-i\omega_0t}\cos(gt), \qquad b(t)=-ie^{-i\omega_0t}\sin(gt).

The transfer reverses periodically. A finite set of companions has the spectral recurrences of a finite self-adjoint matrix. More companions can approximate a continuum on a finite time interval, with a recurrence scale that must be checked.

For constant J=J0J=J_0 on [ω0−B,ω0+B][\omega_0-B,\omega_0+B] and zero elsewhere, the exact rotating kernel is k(t)=2J0sin⁡(Bt)/tk(t)=2J_0\sin(Bt)/t, with k(0)=2BJ0k(0)=2BJ_0. The memory equation retains its finite bandwidth. This supplies a controlled comparison for an exponential approximation without postulating a frequency filter on Ψ∞\Psi_\infty.

spectral_analysis_checks.py compares finite matrix evolution with the eliminated convolution equation, checks conserved norm and Laplace response, and integrates the finite-band kernel independently.