Manuscript Psy02-B@2 · Psy02-B-v2.tex · lemma · cfd06e2e
Lemma: Retarded convolution and fixed Fourier pole
Track B: source-aligned definitions and their exact scope › Spacetime, tests, and propagator conventions · lines 1414–1474 · proof included or linked
Psy02-B@2#lem:retarded, Psy02-B@2#eq:pole
The causal convolution is defined and
For away from the vertex,
With temporal Fourier convention
and , the retarded multiplier is
On , , ,
The singular coefficient is fixed by retarded support.
Proof. For fixed output in a compact set, intermediate points in the convolution lie in a bounded causal diamond; thus causal convolution is defined. The spatial Fourier transform of is . Its temporal self-convolution is
This equals the spatial Fourier transform of the displayed , obtained by integrating over the ball . Differentiation proves the separated formula.
The identity
follows by positive damping. Partial fractions reconstruct . On one sheet the opposite denominator is smooth, giving (eq:pole). Changing its delta coefficient changes the existing retarded kernel.
Displayed formulas in this passage
Psy02-B@2#eq:pole · line 1439
unlabeled · line 1417
unlabeled · line 1422
unlabeled · line 1426
unlabeled · line 1431
unlabeled · line 1457
unlabeled · line 1465