Fourier series
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).
history
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 .
Mathematical backgrounds
2π-periodic functions
Hilbert dream
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 and 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 and
The image
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 .
Orthonormal system
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 .
The 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
and thus
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
The function
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
The image
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
follows
With
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!)
Generalizations
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 same 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.
Examples
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:
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:
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)
Likewise, point-symmetric functions can be approximated from sine terms. A phase shift is achieved here by alternating signs:
Sine 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.
Dirichlet's theorem
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
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.
Fejér's theorem
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
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.
literature
- 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
Web links
- Grant Sanderson : But what is a Fourier series? From heat flow to circle drawings. (Web video) In: YouTube . June 30, 2019 (American English).
- Falstad Fourier Series Java Applet This Java applet can be used to show how Fourier series are developed.
- Math-Online Fourier Applet Another applet for developing Fourier series.
- Bernhard Riemann: About the representability of a function by a trigonometric series
- Spectra of periodic time functions (PDF) Fourier decomposition viewed physically with the help of a graphic illustration. (311 kB)
- Michael Gaedtke: Fourier - as simple as possible Complex signals from natural vibrations - Fourier series, Fourier synthesis and Fourier analysis
- Video: complex Fourier series . Jörn Loviscach 2011, made available by the Technical Information Library (TIB), doi : 10.5446 / 10267 .
- Video: Fourier series as a decomposition of vectors; Orthonormal basis, scalar product . Jörn Loviscach 2012, made available by the Technical Information Library (TIB), doi : 10.5446 / 10335 .
- Video: Fourier series of a square wave . Jörn Loviscach 2011, made available by the Technical Information Library (TIB), doi : 10.5446 / 10336 .
Individual evidence
- ↑ 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 ).