 Because of the small domain within which the function is defined, this means just
for formula_47.Time ordering is crucial for this property, which can be proved straightforwardly, using the cyclicity of the trace operation.These two properties allow for the Fourier transform representation and its inverse,

Finally, note that formula_44 has a discontinuity at formula_50; this is consistent with a long-distance behaviour of formula_51.