Weil / CONCEPT

Actual Gamma form core: LineFourier

For arbitrary complex F in L1(R) intersect L2(R), angularFourier(F,z) is the raw Fourier transform at z/(2*pi), with kernel exp(-i*z*x). Plancherel and the actual Gamma jump-energy identity use exactly 1/(2*pi). The energy identity is in ENNReal and permits infinite Gamma energy. The multiplier is Re digamma(1/4+i*z/2)-Re digamma(1/4), not a surrogate weight. For an Ioc L2 input, the literal PeriodicEnergyTransport.zeroExtension is L2 by zero_extension_memLp and L1 by finite interval measure and integrable_indicator_iff; this explains the application without adding a new zero-extension theorem here. No parity or reality restriction is imposed.