State and prove Frequency shifting property of Fourier transform

To state and prove the frequency shifting property of the Fourier transform, we need to consider a time-domain signal x(t) and its Fourier transform X(f).

The frequency shifting property states that if we shift the time-domain signal x(t) by a constant value t0, then the Fourier transform X(f) will be multiplied by a complex exponential term e^(-j2πf0t0), where f0 is the frequency shift.

Mathematically, the frequency shifting property can be expressed as:

x(t - t0) ↔ X(f) * e^(-j2πf0t0)

To prove this property, we can start by considering the time-domain signal x(t - t0). By substituting t - t0 in place of t in the Fourier transform equation, we get:

X(f) = ∫[x(t - t0) * e^(-j2πft)] dt

Next, we can perform a change of variable by substituting u = t - t0. This gives us:

X(f) = ∫[x(u) * e^(-j2πf(u + t0))] du

Now, we can rewrite the exponential term as e^(-j2πfu) * e^(-j2πft0). By using the property of exponential functions, we know that e^(-j2πft0) is a constant term that can be taken out of the integral. Thus, we have:

X(f) = e^(-j2πft0) * ∫[x(u) * e^(-j2πfu)] du

This integral is the Fourier transform of the time-domain signal x(u), which we can denote as X(u). Therefore, we can rewrite the equation as:

X(f) = e^(-j2πft0) * X(u)

Finally, by substituting u back to t - t0, we get:

X(f) = e^(-j2πft0) * X(f - f0)

This equation proves the frequency shifting property of the Fourier transform. It shows that shifting a time-domain signal by a constant value t0 results in a multiplication of its Fourier transform by a complex exponential term e^(-j2πf0t0), where f0 is the frequency shift.