§ 2 Generalized Fourier series and Fourier - Bessel series

1. Generalized Fourier Series

If the continuous function is

( 1 )

Orthogonal on a certain interval , and if the function is absolutely integrable on , then the

is the series of coefficients

is called the generalized Fourier series of functions with respect to the orthogonal function system ( 1 ) , denoted as

f ( x ) ~

are called the Fourier coefficients of the orthogonal function system ( 1 ) .

Let ( 1 ) be a standard orthogonal function system, that is, it satisfies

then

At this time, with respect to, there is Bessel's inequality

( is a square integrable function

If for any square-integrable function, the closedness equation

It is said that the orthogonal function system at this time is closed .

2. Fourier - Bessel series

[ Fourier - Bessel series ]

1   Let o be the positive root of the Bessel function (see Chapter 12), then the function system

Orthogonal by weight x on [0, 1] , i.e.

2 o  For all functions that are absolutely integrable on [0, 1] , its Fourier - Bessel series can be made

f ( x ) ~

in the formula

are called the Fourier - Bessel coefficients of a function .

3 o  If it is continuous everywhere on [0, 1] except for a finite number of discontinuous points of the first kind and is segment-wise differentiable, then its Fourier - Bessel series converges at that time, and at the continuous points, the series The sum equals , at the discontinuity, the series sum equals ;

If it is absolutely integrable on [0 , 1] , continuous in the interval and has absolutely integrable derivatives, then its Fourier-Bessel series converges uniformly in every interval ;

If it is absolutely integrable over [0 , 1] , continuous over the interval and has absolutely integrable derivatives, at the same time , then its Fourier - Bessel series converges uniformly over every interval .

[ Fourier - Bessel series of the second kind ]

1 o  Let it be

( H is a constant)

The positive root of , then, at that time , the function system

Orthogonal by weight x on [0, 1] .

If it is absolutely integrable on [0 , 1] , then its generalized Fourier series with respect to the above orthogonal system is called a Fourier - Bessel series of the second kind , namely

~

in the formula

2 o  If the function is piecewise differentiable on [0, 1] (with at most a finite number of discontinuities of the first kind), then its Fourier - Bessel series of the second kind converges on 0 < x < 1 , and Equal at continuous points and equal at discontinuous points ;

If the function is continuous on [0 , 1] , twice differentiable (except for a finite number of points), and = 0, , bounded, then its second kind of Fourier - Bessel series is then , at each The interval [ ,1] (0< <1) is absolutely and uniformly convergent; at the same time , it is absolutely and uniformly converged on the entire interval [0 , 1] .

[ Fourier - Bessel series over the interval [0 , l ] ]

Suppose it is absolutely integrable on [0 , l ] , then its Fourier - Bessel series is

f ( x ) ~

in the formula

For the Fourier - Bessel series of the second kind,

Regarding the convergence of the series, we can only discuss the convergence of the corresponding Fourier - Bessel series on [0 , 1] by transforming , .