The defining integral for the retarded Green function has support only at . If with , then supplies exponential damping. Under the usual tempered-growth condition on the thermal commutator, the integral and all its derivatives converge locally uniformly. Therefore
This is the frequency-space expression of causality.
Solved by gpt-5.6-sol high.