Let | , |
and | . |
Then | , |
i.e. the FT of a sum is the sum the individual FTs, which is what we might have expected anyway.
Here's the proof:
. |
Unfortunately, multiplication doesn't quite work out so straightforward.
Note that
!
Instead, the product of two Fourier transforms is the convolution of the two originating
functions:
.
The convolution of f(x) and g(x) is defined as , i.e. the value of the convolution is evaluated separately for each consecutive point x_{0} by integration with respect to x. The integrand is the product of one of the functions at x and the other function at the distance between x and the fixed value of x_{0} for which the convolution is to be evaluated.
To visualise this formalism, think of two overlapping spectral lines: If the two lines are far apart, there is little overlap. However, if the two lines come closer together, the overlap increases. The amount of overlap, as seen from line 1, depends on the amplitude of line 1 itself and the distance between lines 1 and 2.
Fourier transforms are based on a superposition of periodic functions. When shifting the range of a periodic function along the x axis, we change the phase of the sine wave. Accordingly, a phase factor (complex exponential) is included in the Fourier transform:
Again, let | . |
To determine the FT of the function shifted by a: | . |
Make (x-a) appear in the exponential: | . |
If the differential were d(x-a) rather than just dx, the integral would contain the Fourier transform of f(x-a). To achieve this, we need to shift integration limits.
To figure this out, consider the sum | . |
This is the same as the sum | , |
or even | . |
We can shift the limits by a if we compensate that in the formula of the sum.
The same trick works with integrals because they are just the continuous analogue of sums.
In order to replace dx with d(x-a), we need to shift the lower and upper integration limits by +a.
Luckily, infinity plus a is still infinity, so it doesn't make a difference: | . |
Therefore, | . |