This post covers topic of fourier representation of a function. Most signals are represented with a set of exponential functions, resulting in complex exponential functions. If these functions are affected with exponential external impact, the resulting function will be exponential, but with different amplitude . and can be complex functions as well.
These functions are eigenfunctions and the amplitudes are eigenvalues. It can be easily shown that for discrete and continuous time functions, if the input function is represented with a complex exponential function, the resulting function will be a linear combination of complex exponential functions. Here, exponential functions will be eigenfunctions and coefficients – eigenvalues.
As we know, the continuous time function is a periodic function where T is a fundamental period, is a fundamental frequency. The function is also a periodic function with a fundamental period . This representation of a periodic signal is called Fourier series representation. Let’s consider some statements of Fourier signals.
- Assume that periodic continuous –time function can be described with the Fourier series , so . We can see that .
- The Fourier series can also be represented in its trigonometric forms and . Both of the last expressions can be represented one from another. The trigonometric function representation goes from the exponential function representation. So you can easily show that these expressions go from one to the other.
Let’s consider time-continuous periodic function with a fundamental period and fundamental frequency . So, the Fourier series representation of this function can be described as: . Here the coefficients are Fourier coefficients.
The Dirichlet conditions guarantee that its Fourier function is equal to its Fourier representation, except some t intervals where it is discontinued. On these intervals function has the average value.
Dirichlet condition I. and Dirichlet condition II. During a finite period of time, the function is limited with its minimum and maximum values.
Dirichlet condition III. In any finite interval there is a finite number of discontinuities. Every discontinuity is finite.
You can easily check the Fourier representation of every periodic function without discontinuities at the interval is equal to the initial function. Every periodic function with a finite amount of discontinuities on the interval, t is equal to the initial function, except some points that are the average value of a function.
If the function is identical to its Fourier representation, except for some points, then we can assume that the signals behave identically under convolution and we can expect them to be identical during LTI system analysis.
Let’s consider the properties of Fourier series functions. Let’s consider periodic function with the period , and its Fourier coefficients , so we can assign them together .
- Linearity property. If the functions and , are periodic with period , with Fourier coefficients , then the Fourier coefficients for function .
- are .
- Time shift. If the function is periodic with period , then the Fourier representation for a time shifted signal is characterised with coefficients .
- Time reversing. If the function is periodic with period , and has the Fourier representation , then the reversed function has the following Fourier representation , if is odd, and , if is even.
- Time scaling. If the periodic function has a period T and is characterised with Fourier representation , then the periodic function , where is a real number we have the period with the Fourier representation . Here , but the period and frequency will be scaled in accordance with the scaling coefficient.
- Multiplication. If the functions and are periodic functions with period and Fourier representations , , then multiplication will be characterised with Fourier coefficients .
- Conjugation. For the periodic function with period , characterised with Fourier representation , then for conjugated function will have the Fourier representation .
- Parseval’s relation. For the periodic function with Fourier representation the Parseval relation is valid .
Let’s consider a descrete time periodic signal , where is the period of the descrete time function. This function can be presented in an exponential form . So this function can be characterised with the following Fourier representation , where . Here below are properties of a Fourier series for descrete-time periodic signals:
- Linearity property. If the functions and , are periodic with period , with Fourier coefficients , then the Fourier coefficients for function are .
- Time shift. If the function is periodic with period , then the Fourier representation for a time-shifted signal is characterised with the coefficients .
- Time reversing. If the function f[n] is periodic with period N, the Fourier representation , then the reversed function has the following Fourier representation , if is odd, and , if is even.
- Time scaling. If the periodic function has period and is characterised with a Fourier representation , then the periodic function , where is a real number will have the period with the Fourier representation . Here , but the period and frequency will be scaled in accordance with the scaling coefficient.
- Multiplication. If the functions and are periodic functions with period and Fourier representations , then multiplication will be characterised with Fourier coefficients .
- Conjugation. For the periodic function with period , characterised with Fourier representation , then the conjugated function will have Fourier representation .
- Parseval’s relation. For the periodic function with Fourier representation the Parseval relation is valid .
Let’s consider the LTI system on the example of continuous-time function (Figure 1). Here and are input and output functions, is the response of the LTI system so . In the case of discrete LTI systems with response and discrete-time input and output functions and . So .
Figure 1. Representation of periodic function going through the LTI system.
Here, and are system functions of the LTI system.
When we are considering signals, it is important to consider exponential functions of the type and their frequency response of the LTI system. For a continuous-time system , for a discrete-time system are the frequency responses. Moving to the signals with Fourier representation, for the Fourier coefficients the output function will be .[1]
More educational tutorials can be accessed via Reddit community r/ElectronicsEasy.
[1] “Signals and systems”, 2nd edition, 1997. Alan V. Oppenheim, Allan S. Willsky.