For this sign convention, cross-correlation compares a function with translated copies of another, conjugating the first factor. If , Fubini's theorem gives Fourier transform . Indeed, the substitution factors the double integral into and . The zero-lag value for is the squared L2 norm. Fourier inversion applied to this correlation proves the Parseval identity, first for Schwartz functions and then by density for L2 space.
New to topics? Read the docs here!