A Fourier series is a way of representing a periodic function as a (possibly infinite) sum of sine and cosine functions. It is analogous to a Taylor series, which represents functions as possibly infinite sums of monomial terms.
For functions that are not periodic, the Fourier series is replaced by the Fourier transform. For functions of two variables that are periodic in both variables, the trigonometric basis in the Fourier series is replaced by the spherical harmonics. The Fourier series as well as its generalizations are essential throughout the physical sciences, since the trigonometric functions are eigenfunctions of the Laplacian, which appears in many physical equations.
The Fourier series is a particular way of rewriting functions as a series of trigonometric functions. Read on below to learn how this series is constructed.
The Fourier series of a periodic function of period is
for some set of Fourier coefficients and defined by the integrals
In order to compute the Fourier series representation of some periodic function , therefore, one needs only to compute the above set of integrals for arbitrary . Often, one can immediately set all or to zero by noting that the function is odd or even, since an odd function will have no cosine contributions and vice versa.
The normalization factors in front of the coefficients come from the fact that the cosine and sine functions as defined are orthogonal but not orthonormal. The factor of multiplying therefore comes from the fact that the normalization for is different, since:
is twice the average value of the function over .
Note that for a periodic function of period , the integral limits in the definitions of the Fourier coefficients may be shifted by any constant factor as long as the integration window remains length always.
Find the Fourier series of the square wave, for which the function over one period is
The function is odd and has average value zero, with period . Therefore, all vanish; one must only compute the integrals to find the :
where in the last line the fact that is a positive integer was used. Therefore, the Fourier series for the square wave is
Note that near the jump discontinuities for the square wave, the finite truncations of the Fourier series tend to overshoot. This is a common aspect of Fourier series for any discontinuous periodic function which is known as the Gibbs phenomenon.
The Heat Equation and Spherical Harmonics:
Fourier originally devised the use of Fourier series as a method of solving the heat equation
where is temperature, is time, and is some constant.
As can be shown from functional analysis, the set of eigenfunctions of the operator in one dimension are complete, meaning that any function can be represented by a linear combination of them. In one dimension, these eigenfunctions are exactly the sine and cosine functions. Since the heat equation prominently features the operator , by representing functions via their Fourier series, Fourier was able to solve for the asymptotic temperature distribution in a material given an initial temperature distribution.
In a higher-dimensional equation using such as the Schrödinger equation for the hydrogen atom, it is more appropriate to use the higher-dimensional generalization of the Fourier series, the spherical harmonics.
The Fourier Transform:
The Fourier series as described above suffices to represent any periodic function. One can also say that this means the trigonometric functions are a complete set for representing functions on a compact interval, since any periodic function may be represented by the function over just one finite period.
For arbitrary functions over the entire real line which are not necessarily periodic, no Fourier series will be everywhere convergent. In this case, however, it is possible to represent a function by its Fourier transform. Given a function , its Fourier transform is written
One can treat this formula like the same inner product that defines the coefficients of the Fourier series. Previously, the coefficients were numbers indexed by a discrete variable . Now, the variable is continuous, and the function gives the value of the "coefficient" of the oscillating function , which is one of an uncountable set of trigonometric functions. It is also possible to define the Fourier transform exactly analogous to the Fourier series, where a real trigonometric basis is used rather than a complex basis.
The Basel Problem:
The Basel Problem is a well-known problem in mathematical analysis, concerned with computing a certain value of the Riemann zeta function:
It can be shown that for values , where a positive integer, this function takes values
where is the Bernoulli number.
The Basel problem asks for computation of , which can be seen from the above formula to be
Solve the Basel problem, i.e. compute , using Fourier series.
The proof uses Parseval's identity, a generalization of the Pythagorean theorem
where the are a modified version of Fourier coefficients of defined by
and is a function periodic on .
Consider the function which is defined by on and is periodic outside this interval. When , the coeficient because is odd. Otherwise, computing these coefficients yields
Plugging into Parseval's identity, one has
Note that the left hand side is equal to . Evaluating the integral on the right,
Therefore, comparing to Parseval's identity above, one finds the result
In linear algebra, a vector with components in the standard basis can be written in a different, orthonormal basis via the formula
where denotes the inner product or dot product of and .
This formula may be generalized to functions, where the inner product between two real functions and becomes an integral. If both functions are periodic with period , this inner product is (up to some particular normalization)
and in general a function may be written
for any set of basis functions .
The Fourier series is simply a particular way of rewriting functions, using the basis . That is, the basis functions are the combination of two particular sets of functions and . These sets are the functions
where ranges over the non-negative integers.
Writing out the basis change with these functions, any function can therefore be decomposed into the Fourier series
with the coefficients and defined by the inner products
as described previously.
- Thenub314, . Fourier series for square wave. Retrieved from https://en.wikipedia.org/wiki/Square_wave