One-sided Fourier spectrum excludes jumps
ID: one-sided-fourier-spectrum-excludes-jumps
Let an integrable function have finite one-sided limits at zero. Oddness gives . Also . Thus : make the near-zero error in arbitrarily small and bound the remaining integral uniformly. When negative Fourier coefficients vanish, the conjugate-kernel identity makes this convolution bounded because tends to . Therefore . A removable discontinuity caused solely by altering a point value is not excluded.
New to topics? Read the docs here!