Chapter 11 Fourier Series and Integral Transforms
In theory and application, it is often necessary to examine the relationship between a function and an orthogonal function system . Fourier series theory is to study this relationship on a finite interval. For the case where the interval is infinite, Fourier transform theory ( including Fourier transform , Laplace transform and other integral transforms ) , which is the generalization of this theory . This chapter focuses on the use of Fourier triangular series to represent functions on finite intervals, and a special integral form for functions on infinite intervals, such as Fourier transform , Laplace transform, Merlin transform, Hankel transform, etc. These are important contents of Fourier analysis .
Fourier analysis is an important tool in studying vibration and wave phenomena and solving mathematical and physical equations . It also shows in physics that arbitrary waveforms can always be spectrally decomposed, that is, the linear superposition of simple harmonics of different frequencies and amplitudes . The development of the fast Fourier transform in the 1960s created the conditions for the wide application of Fourier analysis in practice, and this chapter collects some of the content on this aspect .
§ 1 Fourier series
1.
Triangular series and Fourier series
[ Orthogonal function system ] A function system
_{} (1)
where each function is a real function defined on an interval or a complexvalued function of a real variable, if_{}
_{} ( m 1 n )
The function system (1) is called an orthogonal function system on the interval , and is the conjugate function in the formula . If it satisfies the_{}_{}_{}
_{}
Then the function system (1) is called the standard ( canonical ) orthogonal function system above . For example_{}
_{}
is the orthogonal function system on the interval , where , the function system_{}_{}
_{}
is the standard orthogonal function system on the interval ._{}
Set a given function system
_{} (2)
where the independent variable x takes a finite number of discrete values
_{}
satisfy
_{}
The function system ( 2 ) is called the standard orthogonal function system, where
_{}
For example take _{}
_{}
It is a standard orthogonal function system .
[ Several types of trigonometric series ]
type 
expression 

real number _ cosine series Sine series 
_{} where is a real constant _{} _{} _{} 

plural _ 
_{} in the formula _{}, , ,_{}_{}_{} 

[ Fourier series ] Let the function be absolutely integrable on the interval , and let_{}_{}
_{}
Take the coefficients as a trigonometric series_{}
_{}
It is called the Fourier series, and is called the Fourier coefficient of_{}_{}_{}_{}
_{}~_{}
If the Fourier series converges point by point, and its sum is equal to ( except for a finite number of points ) , then the series (1) is called the Fourier expansion, denoted by_{}_{}_{}
_{}
Note: 1 ^{o} If it is absolutely integrable on the interval , then it must have its Fourier series, but it does not necessarily have its Fourier expansion ( refer to this section, IV for the conditions that can be expanded )._{}_{}
2 ^{o} If there is a triangular series on the interval that converges uniformly ( or convergently, that is, partially and pointtopoint convergent and uniformly bounded ) to the function , then this series is the Fourier expansion of the function ._{}_{}_{}
^{} If the two absolutely integrable functions on the 3 ^{o} interval , , are equal everywhere except for a finite number of points ( which can be extended to almost everywhere equal ) , then all the corresponding Fourier coefficients of and are the same ._{}_{}_{}_{}_{}
4 ^{o} definition , then the definition domain of the function can be extended to the entire number axis, and the integral interval for finding Fourier coefficients can be replaced with any interval of length, such as etc._{}_{}_{}_{}
2. Fourier series of
f ( x ) on other intervals
[ on interval ]_{}
_{}~_{}
_{} _{}
_{} _{}
_{} _{}
or
f ( x ) ~_{}_{}
=_{}
In particular, if it is an even function, then b _{n} = 0 , the obtained Fourier cosine series_{}_{}_{}
_{}~_{}
If it is an odd function, then , the obtained Fourier sine series_{}_{}_{}
_{}~_{}
[ on the interval [ l , l ] ]
_{}~_{}
_{} _{}
_{} _{}
_{} _{}
or
_{}~_{}
_{}
When it is an even function or an odd function, as in the case of intervals, there are cosine series or sine series, respectively ._{}_{}
[ on interval ]_{}
_{}~_{}
_{}
_{} _{}
_{} _{}
_{} _{}
or
f ( x ) ~_{}
_{}
Third,
the properties of Fourier coefficients
1 ^{o} The Fourier coefficients of the absolutely integrable functions converge to zero, i.e._{}
_{}
_{}
In particular, if there is bounded variation in the interval , or monotonically rising bounded, or monotonic in the upper piece, then both_{}_{}_{}
_{}
If and their derivatives up to the order are bounded variograms on the interval, or both monotonically rising and bounded, or monotonically upper piecewise, then_{}_{}_{}_{}
_{},_{}
2 ^{o} If the function is square integrable over , then_{}_{}
_{}
This formula is called the Parsepha equation or the closedness equation .
3 ^{o} If functions are squareintegrable over, their Fourier series is_{}_{}_{}
_{}~_{}
_{}~_{}
Then we have the following generalized closedness equation
_{}
4 ^{o} If the function is absolutely integrable over the interval , b _{n} is the positive of its Fourier series_{}_{}_{}
Chord term coefficient, then the series
_{}
converge .
4.
Convergence of Fourier Series and Properties at Discontinuities of the First Kind
[ Discrimination of Convergence of Fourier Series ]
^{1o} The partial sum of the assumed Fourier series is_{}
_{}
If when , s _{m} ( x ) tends to ( at a certain point x tends to, or uniformly in a certain interval ) the function , then the Fourier series of the function converges to the function ._{}_{}_{}_{}_{}
2 ^{o} If the function is piecewise monotonic in an open interval , and there are a finite number of discontinuities of the first kind in the interval, then (i) s _{m} ( x ) converges at the continuous point x ; (ii) at the discontinuities of the first kind The point x _{0} converges to ; (iii) at the endpoint of the interval, i.e., and on, equal to . ( Dirichlet's theorem )_{}_{}_{}_{}_{}_{}_{} _{}_{}
3 ^{o} If the function is piecewise differentiable over the interval , has derivatives at continuous points, and limits at the discontinuity point x _{0 of the first kind}_{}_{}_{}
_{}and_{}
exists, then s _{m} ( x ) converges on the continuous point x to and on the discontinuous point x _{0} to_{}_{}
_{}
[ Gibbs phenomenon ] that a periodic function has a discontinuous point of the first kind , let , the jump of the function at a point is The Fourier series of the partial sum is s _{m} ( x ). Then the Fourier series of the function converges at the point, but does not converge in the neighborhood . A strange phenomenon ( called the Gibbs phenomenon ) occurs at this time :_{}_{}_{}_{}_{}_{}_{}_{}_{}_{}_{}_{}_{}
There exists a point column , and , such that_{}_{}
_{}
_{}
_{}
Therefore, the limit of the amplitude of s _{m} ( x ) in the neighborhood of the discontinuity is_{}
_{}
It is larger ( about 18%) than the function jumps at points , or times ( Figure 11.1)._{}_{}_{}_{}_{}_{}
example function
_{}
The Fourier series of
_{}~_{}
The point x = 0 is the first type of discontinuity point , and its jump D = π_{}
_{}
The curve of y = s _{m} ( x ) ( m = 1,2,3,4,5,6) is shown in Figure 11.2 .
There is a point column , , such that _{} _{}
_{}
_{}
At that time , the limit graph of s _{m} ( x ) is shown in Figure 11.3 ( note the shape at the point x = 0 ) ._{}_{}
5. Itemwise integration and differentiation of Fourier series
[ itemwise differentiation ] Suppose that the Fourier series of an absolutely integrable function over the interval is_{}_{}
_{}~_{}_{}
Then whether it converges to f ( x ) or not , it can be integrated term by term . That is, for any interval ( where the following relation holds:_{}_{}
_{}
[ Item wise differentiation ] Assuming that the function is continuous on the interval , , and has absolutely integrable derivatives ( there may be a finite number of points without derivatives ) , then the Fourier series of the function can be obtained by the Fourier series of the itemwise differentiation , that is_{}_{}_{}_{}_{}_{}
_{}~_{}
It is not pointed out here whether the series on the right converges to or not , and specific judgments should be made for specific problems ._{}
Six, the Fourier series expansion table of the function
1 ^{o}
_{}
_{}
^{2o} _^{}
_{}
_{}
^{3o} _^{}
_{}
_{}
4o ^{_ }
^{ }_{}
_{}
^{5o} _^{} _{}
_{}
6 ^{O}
_{}
_{}
7o ^{_}
_{}
_{}
^{8o} _^{}
_{}
_{}
^{9o} _^{} _{}
_{}
10o ^{_}
_{}
_{}
11o ^{_} _{}
_{}
^{12o} _^{}
_{}
_{}
^{13o} _^{}
_{}
_{}
_{}
14o ^{_}
_{}
_{}
^{15o} _^{}
_{}
_{}
^{16o} _^{} _{}
_{}
^{17o} _^{} _{}
_{}
^{18o} _^{}
_{}
_{}
19o ^{_}
_{}
_{}
20o ^{_}
_{}
_{}
21o ^{_}
_{}
_{}
22o ^{_}
_{}
_{}
23o ^{_} _{}
_{}
^{24o} _^{}
_{}
_{}
25o ^{_} _{}
_{}
26o ^{_}
_{}
_{}
27o ^{_} _{}
_{}
28o ^{_} _{}
_{}
29o ^{_} _{}
_{}
30o ^{_} _{}
_{}
31o ^{_} _{}
_{}
32 ^{o} ( a _{} is not an integer, the same below )
_{}
33o ^{_} _{}
_{}
34o ^{_} _{}
_{}
35o ^{_} _{}
_{}
36o ^{_}
_{}
_{}
37o ^{_}
_{}
_{}
38o ^{_}
_{}
_{}
39 ^{o} ( k _{} is a positive integer, the same below )
_{}
^{40o} _^{} _{}
_{}
41o ^{_} _{}
_{}
42o ^{_} _{}
_{}
43o ^{_} _{}
_{}
44o ^{_} _{}
_{}
45o ^{_} _{}
_{}
46o ^{_} _{}
_{}
47o ^{_} _{}
_{}
48o ^{_} _{}
_{}
49o ^{_} _{}
_{}
^{50o} _^{} _{}
_{}
51o ^{_} _{}
_{}
52o ^{_} _{}
_{}
53o ^{_} _{}
_{}
54o ^{_} _{}
_{}
55o ^{_} _{}
_{}
56o ^{_} _{}
_{}
57o ^{_} _{}
_{}
58o ^{_} _{}
_{}
59o ^{_} _{}
_{}
60o ^{_} _{}
_{}
61o ^{_} _{}
_{}
62o ^{_}
_{}
_{}
63o ^{_}
_{}
_{}
Seven, double Fourier series
Assuming that a bivariate function is absolutely integrable over a rectangular area , its double Fourier series has two forms ._{}_{}
[ real number form ]
f ( x , y ) ~ _{}
_{}
in the formula _{}
_{}
_{}
_{}
_{}
_{}
[ plural form ]
_{}~_{}
in the formula
_{}
[ Expand condition ] If the function satisfies the condition within the rectangular area R :_{}
(i) The sum of partial derivatives on R exists everywhere and is bounded; _{}_{}
(ii) The second partial derivative ( or ) exists and is continuous in some neighborhood of each interior point ( x _{0} , y _{0} ) of R._{}_{}_{}_{}
Then it can be expanded into a Fourier series ._{}
If it is equal tog(x)except for a set of points whose measure is equal to zero, then it is saidtog(x)almost everywhere. For the definition of measure, see Chapter IX §7, a. _{}_{}
For the definition of bounded variation, see Chapter 5§1.
The definition of squareintegrable functions is given in Chapter 9,§7,1.