A Fourier series , according to Joseph Fourier (1768–1830), is the series expansion of a periodic , section-wise continuous function into a function series of sine and cosine functions . The basis functions of the Fourier series are a well-known example of an orthonormal basis . In the context of the theory of Hilbert spaces , developments according to any complete orthonormal system are also called Fourier series. A generalization is the Fourier transform . The teaching of the Fourier series is part of the Fourier analysis (classical harmonic analysis).
Mathematicians such as Euler , Lagrange or Bernoulli's were already familiar with Fourier series for some functions in the 18th century . At the beginning of the 19th century, Fourier claimed in his Théorie analytique de la chaleur (1822) that such series developments existed for all functions. This claim was initially rejected by leading mathematicians such as Cauchy and Abel .
Dirichlet was able to prove in 1829 that Fourier's claim is true at least for Lipschitz continuous functions. In 1876, Du Bois-Reymond found a continuous function whose Fourier series diverges . In the 20th century it was finally realized that there are also convergent Fourier series for continuous or piecewise continuous functions if the concept of convergence is weakened appropriately ( Lennart Carleson ).
The epicyclic theory can be viewed as an early geometric pre-form of approximation by a Fourier series .
The signal drawn in bold is broken down into the two signals drawn in thin lines by Fourier analysis. The positive and negative half- oscillation look the same because a component with three times the
frequency has been added.
Here, the positive and the negative half- oscillation are different because a component with twice the
frequency was added.
The starting point of our considerations forms the amount
of all -periodic functions by . On this set we can define an addition and a scalar multiplication point by point, i.e. H. be defined through
(with ). With these mappings becomes
a vector space.
We now define a (partial) function
on the vector space :
It should be noted that on is not entirely defined because the integral
does not exist for any . On the subspace
of which through
is defined, but is defined everywhere. We will therefore restrict ourselves to the subspace for further considerations and therefore define the function
It should be noted that it is a positive semidefinite Hermitian sesquilinear form . The following applies:
We define as
is therefore a positively definite Hermitian sesquilinear form.
becomes a prehistoric dream. Since is complete, there is
even a Hilbert space.
In the following, we will not make a strict distinction between the functions in
and the remainder classes in .
Now let's look at the crowd . (This amount is well defined because the function
regarding. All is-periodic.) Because obviously true, generates a subspace of . Since the vectors in are linearly independent, is a basis of . therefore has dimension .
following applies to any two vectors :
With regard to the inner product, there is
an orthonormal basis of .
Note: It is no coincidence that the functions in are orthonormal to one another! The inner product
was intentionally defined to be an orthonormal basis.
Fourier series of 2π-periodic functions
We can now represent each function formally as a series:
We call this formal series the Fourier series of . Taking advantage of the sesquilinearity of
and the orthonormality of follows
We can therefore calculate the values of . It should be noted, however, that the series
not necessarily converged against . Therefore it is necessary to study the convergence behavior for different classes of functions.
However, it holds that if and only if and only finitely many are not equal to 0 . This follows directly from the fact that
from is generated. As a consequence, the Fourier series converges for in any case.
Fourier transforms and Fourier coefficients of 2π-periodic functions
which gives the coefficients of the Fourier series of a -periodic function , we call the Fourier transform of . The we call Fourier coefficients . The functions form a vector space with respect to pointwise addition and multiplication.
Fourier transform and inverse Fourier transform of 2π-periodic functions
which converts the functions into their Fourier transforms , we call the Fourier transforms (of -periodic functions). The Fourier transform is a linear mapping between two vector spaces, i.e. H. it applies
Since the Fourier series of functions with respect to the norm converge almost everywhere , it follows that . Otherwise the Fourier series would not converge. For the mapping this means that it is not surjective.
We can also use a linear mapping
define. We call the figure the inverse Fourier transform (of -periodic functions). It applies .
Forms of representation
The above-described representation of the Fourier series as the sum of complex exponential functions is in a certain sense the most compact mathematical representation, but has the disadvantage that complex-valued Fourier coefficients generally also occur for real-valued functions
. The Fourier series can also be represented differently.
Representation in sine-cosine form
Fourier series can also be in the form
represent. The following then applies to the Fourier coefficients
One can get the Fourier coefficient through
also calculate directly. If is real-valued, then real-valued Fourier coefficients are obtained.
Representation in amplitude-phase form
For real-valued functions there is also a representation of the Fourier series in the form
with possible. Because of
It therefore follows
The angle results from
(Note: In the literature, the angle is often given in the form of the arctangent. Since the tangent function is only -periodic, one must make case distinctions in such a representation. However, if one calculates the angle via the arccosine or arcsine, one has the advantage that you don't have to make case distinctions because the sine and cosine functions are -periodic!)
Functions with period T
Due to the -periodicity of the complex exponential function, the Fourier series for -periodic functions was defined above in order to obtain a simple representation. Since one a -periodic function by in a -periodic function can be converted, represents the restriction.
In addition, the Fourier series of a -periodic function can be represented as analogous to the -periodic case . Here the scalar product
becomes on the space
used. In the -periodic case one defines the
as in the -periodic case (with "new" and scalar product)
Relationship with the Fourier transform for non-periodic functions
Fourier series can only describe periodic functions and their spectrum. In order to also be able to describe non-periodic functions spectrally, a limit transition of the period is carried out. As a result, the frequency resolution becomes as fine as desired, which results in the complex amplitude spectrum disappearing. For this reason, the complex amplitude density spectrum is introduced , starting from the complex Fourier series, initially for the discrete arguments :
By forming the limit value (at the same time ) the Fourier transformation follows directly :
General inner products
We have the Fourier series for the inner product
Are defined. However, one can also consider other inner products, which means that other vectors are orthogonal to one another. Since the Fourier coefficients are determined with reference to an orthonormal system, other coefficients are obtained thereby. Since many properties of the Fourier transform are based on the utilization of the orthogonality of the trigonometric functions, the properties of the Fourier transform also change when other inner products are used.
Let be a Hilbert space with an orthonormal basis . Then you can go through every element of the Hilbert space
represent. This series representation is also called (generalized) Fourier series.
Fourier series and symmetry
The harmonic analysis examines generalizations of the Fourier series, which can also be described as representations in orthonormal bases, but also have certain properties in relation to symmetries similar to the Fourier series . The Pontryagin duality generalizes the Fourier series to functions on any Abelian locally compact topological groups , while Peter-Weyl's theorem applies to compact topological groups.
Different approximations of a triangular pulse
The triangle function can be approximated with sine and cosine terms depending on the desired phase position. With the peak value, the Fourier series are:
Different approximations of a square pulse
The square wave is defined by
The Fourier series for this is
This function shows that a square wave can be represented by an infinite number of harmonics . It contains the odd harmonics, whereby the amplitude decreases with increasing frequency . Because of this, a square-wave signal is also often used for testing electronic circuits, since the frequency behavior of this circuit is recognized in this way.
In general, all periodic oscillations with the period duration of the fundamental oscillation and any course within the period contain only odd harmonics if the following applies:
Fourier synthesis of a square wave signal
The picture on the right shows the Fourier synthesis of a square wave. The diagrams in the first column show the vibration that is added in the respective row. The diagrams in the second column show all vibrations taken into account so far, which are then added in the diagrams in the third column in order to come as close as possible to the signal to be generated. The oscillation from the first line is called the fundamental oscillation, all others that are added are harmonics. The more such multiples of the fundamental frequency are taken into account, the closer one comes to an ideal square-wave signal. Due to the Fourier synthesis, what is known as an overshoot is formed at the discontinuous points of the square-wave signal , which does not disappear even with a larger approximation. This phenomenon is called Gibbs' phenomenon , it shows a constant and bandwidth independent overshoot of about 18% of the full jump. The fourth column shows the amplitude spectrum normalized to the fundamental oscillation .
Sawtooth pulse (rising)
Different approximations of a sawtooth pulse
Likewise, point-symmetric functions can be approximated from sine terms. A phase shift is achieved here by alternating signs:
Different approximations of a sinus pulse
Convergence statements on the Fourier series
It is possible to set up a Fourier series for a periodic function without hesitation, but this series does not have to converge. If this is the case, no further information is obtained from this transformation. If the series converges, one must be clear in what sense the convergence is present. Mostly, one examines Fourier series for point-wise convergence , uniform convergence or for convergence with respect to the norm.
A Fourier series expansion of a periodic function with a period is possible in the following cases, which gradually become more general:
- The strongest convergence is absolute convergence . If Hölder is continuous with order , then the Fourier series of absolute (and thus uniformly) converges to ( Sergei Natanowitsch Bernstein ) everywhere .
- if continuous and continuously differentiable in sections, then the Fourier series converges uniformly (and thus pointwise) to .
- if a limited total variation over a period, has the Fourier series of the function converges point-wise for all to the means of left- and right-side limit . In particular, the Fourier series converges from everywhere to where is continuous. The convergence is also uniform on every closed interval on which is continuous.
- when , in a period limited, the function space belongs, then the Fourier series converges in the sense of L² standard against .
In the following some important theorems about the convergence of Fourier series are enumerated.
Peter Gustav Lejeune Dirichlet proved that the Fourier series of a differentiable, periodic function converges point by point to the output function. Provided that it is even continuously differentiable, the statement can be improved.
Let be a continuously differentiable, periodic function, then the Fourier series of uniformly converges to .
Carleson's theorem is a deep finding result of the convergence of a Fourier series.
Let be a square integrable function , then the Fourier series converges from almost everywhere .
This statement is true even for all spaces and is called the Carleson – Hunt theorem in this general form. Kolmogorov was able to show in 1923 by a counterexample that the statement is false. Nikolai Nikolajewitsch Lusin suspected the correctness of Carleson's theorem as early as 1915, but could not prove it. Lennart Carleson was only able to prove this in 1964.
Leopold Fejér proved that the arithmetic means of the partial sums of the Fourier series of a continuous, periodic function converge uniformly to the function.
Let be a continuous, -periodic function and the Fourier series of . The nth partial sum of this series is described with. Then Fejér's theorem says that the partial sums converge uniformly to . So it applies
where the convergence is uniform.
Gibbs' phenomenon for a rectangular curve
In the vicinity of jump points, typical overshoots and undershoots of around 9% of half the jump height arise in the Fourier series. This effect has far-reaching effects in signal processing.
The mathematical reason for this is that for non-continuous functions and
although there is convergence in the sense of the norm, the sequence generally does not converge uniformly.
Horatio Scott Carslaw : Introduction to the theory of Fourier series and integrals , Macmillan 1921, Archive
Harry Dym , Henry P. McKean : Fourier series and integrals , Academic Press 1972
Robert Edmund Edwards : Fourier Series. A modern introduction , 2 volumes, Graduate Texts in Mathematics , Springer, 1979, 1982
Godfrey Harold Hardy , Werner Wolfgang Rogosinski : Fourier series , Cambridge UP 1944, 1956
- David W. Kammler: A first course in Fourier analysis , Cambridge UP 2007
Yitzhak Katznelson : An Introduction to harmonic analysis , Wiley 1968, Dover 197
Thomas William Körner : Fourier analysis , Cambridge UP 1988
- Jörg Lange, Tatjana Lange : Fourier transformation for signal and system description. Compact, visual, intuitively understandable. Springer Vieweg 2019, ISBN 978-3-658-24849-9 .
Edward Charles Titchmarsh : Introduction to the theory of Fourier integrals , Oxford, Clarendon Press 1948
Antoni Zygmund : Trigonometric Series , Cambridge UP 1978
↑ Paul Du Bois-Reymond: Investigations into the convergence and divergence of Fourier formulas , treatises of the mathematical-physical class of the K. Bavarian Academy of Sciences, 1876, Volume 13, pages 1–103
↑ Rami Shakarchi, Elias M. Stein: Fourier Analysis: An introduction . Princeton University Press, Princeton 2003, ISBN 0-691-11384-X .
^ A. Zygmund: Trigonometrical Series. Volume 1, Cambridge UP, 2002, p. 240
^ A. Zygmund: Trigonometric Series. , Cambridge University Press, chap. II, §8.
↑ St. Goebbels, St. Ritter: Understanding and applying mathematics - from the basics to Fourier series and Laplace transformation. Spectrum, Heidelberg 2011, ISBN 978-3-8274-2761-8 , pp. 696, 704 - 706
↑ SA Telyakovskii: Carleson theorem . In: Michiel Hazewinkel (Ed.): Encyclopaedia of Mathematics . Springer-Verlag , Berlin 2002, ISBN 978-1-55608-010-4 (English, online ).