# Orthogonal series

A series of the form

 (1)

where is an orthonormal system of functions with respect to a measure :

Since the 18th century, certain special orthonormal systems and expansions of functions with respect to them have appeared in the research of L. Euler, D. Bernoulli, A. Legendre, P. Laplace, F. Bessel, and others into various questions of mathematics, astronomy, mechanics, and physics (planetary motion, oscillation of chords, membranes, etc.). The following have had a decisive influence on the creation of the theory of orthogonal series:

a) The research of J. Fourier (1807–1822) (the Fourier method for solving the boundary value problems of mathematical physics) and the related work of J. Sturm and J. Liouville (1837–1841);

b) The research of P.L. Chebyshev on interpolation and the problem of moments (mid-19th century), which led to his creation of the general theory of orthogonal polynomials;

c) The research of D. Hilbert (early 20th century) on integral equations (cf. Integral equation with symmetric kernel), in which he established, in particular, general theorems on the expansion of functions in a series with respect to an orthonormal system;

d) The creation by H. Lebesgue of measure theory and the Lebesgue integral, which were responsible for the theory of orthogonal series in its modern form.

The active development of the theory of orthogonal series in the 20th century has been enhanced by the use of orthonormal systems of functions and series with respect to them in the most varied areas of science (mathematical physics, computational mathematics, functional analysis, quantum mechanics, mathematical statistics, operational calculus, automatic regulation and control, various technical problems, etc.).

## Characteristic results and directions of research in the theory of orthogonal series.

1) Let , let be Lebesgue measure and let be an orthonormal system. If , then the numbers

are called the Fourier coefficients, while the series (1) with is called the Fourier series of the function with respect to the system .

The system is closed in the space if for any function and any number , a polynomial

can be found such that the norm . The system is complete relative to if it follows from the conditions and for all that almost-everywhere, i.e. that is the zero element of the space .

If for a function the equation

 (2)

is fulfilled, then the function is said to satisfy the Lyapunov–Steklov closure condition (or Parseval identity). This condition is equivalent to convergence of the partial sums of the Fourier series of in the norm of to .

The definitions of closure and completeness, and conditions of closure, are given in the same way for more general spaces and measures.

One of the most important questions in the theory of orthogonal series is the question of the unique determination of a function by means of its Fourier coefficients. For the space it is connected very closely to the fulfillment of (2) for all functions .

Equation (2) was put forward in 1805 (though without proof) for the trigonometric system by M. Parseval, while in 1828, Bessel established that

 (3)

(the Bessel inequality). In 1896, A.M. Lyapunov proved (2) for Riemann-integrable functions and P. Fatou then proved it for the case .

V.A. Steklov (1898–1904) put forward the question of the closure of general orthonormal systems, and solved it positively for many orthogonal systems (spherical functions, eigen functions of a Sturm–Liouville operator, systems of orthogonal Hermite polynomials, Laguerre polynomials, Lamé functions, and others).

Inequality (3) has proved to be true for arbitrary orthonormal systems and functions .

In 1907, F. Riesz and E. Fischer proved that for any orthonormal system and for any sequence of numbers a function can be found for which and such that (2) is fulfilled. It follows from this theorem and the Bessel inequality that for any orthonormal system, completeness and closure are equivalent in ; closure in the space with is equivalent to completeness in the space , where (S. Banach, 1931).

The Bessel inequality and the Riesz–Fischer theorem were extended by G.H. Hardy, J.E. Littlewood and R. Paley to the space . In fact, let be an orthonormal system, , and let . Then:

a) if ,

b) If a sequence is given with

then a function can be found for which and , where depends only on and .

2) Another important problem in the theory of orthogonal series is the question of the expansion of a function, by means of simple functions, in a series converging to it in the norm of some space. A system of elements from a -space is called a basis (an unconditional basis) if every element can be uniquely represented in the form of a series

 (4)

converging (unconditionally converging) to in the norm of the space .

If is a basis in , then the are continuous linear functionals on and, if with , take the form

where is a basis in and is a bi-orthonormal system (Banach). In particular, if , i.e. if is an orthonormal system, then an orthogonal basis in is automatically a basis in all spaces , where is any number between and .

Research into this problem has followed two directions:

) for a given orthonormal system , find the spaces in which is a basis;

) for a given space , determine its bases or orthogonal bases.

In both cases, a mutual connection is sought between the properties of a function and its expansions.

As for the trigonometric system, it is not a basis in the space of continuous functions (P. du Bois-Reymond, 1876) but it is a basis in the space with (M. Riesz, 1927). The du Bois-Reymond result has been extended to all uniformly bounded orthonormal systems.

The orthonormal system of Legendre polynomials is a basis in the spaces when and is not so in the other spaces (1946–1952, H. Pollard, J. von Neumann and W. Rudin).

In 1910, an orthonormal system was created such that every continuous function can be uniquely expanded in a uniformly converging Fourier series with respect to this system (A. Haar). However, the Haar system is not a basis in , since the functions are discontinuous when . By integrating the system , G. Faber (1910) established that the system

is a basis in and thereby the first basis in the space of continuous functions was found. Faber's result was rediscovered by J. Schauder (1927), who also determined a class of bases in of the type of the basis ; in honour of the latter, the term "Schauder basisSchauder basis" was introduced, although it would be more correct to call it a "Faber–Schauder basisFaber–Schauder basis" .

These bases are not orthogonal. The first orthonormal basis in was obtained by Ph. Franklin (1928), who orthogonalized, by the Schmidt method (cf. Orthogonalization), the Faber–Schauder system and obtained . In this direction (orthogonalization and integration), a new class of bases has been introduced and studied. All orthonormal bases in are automatically bases in all spaces with .

The Haar system is an unconditional basis in all spaces with (1931–1937, Paley, J. Marcinkiewicz). The same result also holds for the Franklin system .

In the spaces and there are no unconditional bases, in general. Neither are there any normalized or uniformly bounded unconditional bases in the spaces when and .

3) Much research has been devoted to the problem of the almost-everywhere convergence of trigonometric and orthogonal series.

In 1911, N.N. Luzin gave the first example of an almost-everywhere divergent trigonometric series whose coefficients tend to zero. A Fourier series of this type was constructed by A.N. Kolmogorov (1923). Luzin's result has been extended to arbitrary complete orthonormal systems, while Kolmogorov's result has been generalized to sets of positive measure for uniformly bounded orthonormal systems.

A non-negative sequence with and is called a Weyl multiplier for the almost-everywhere convergence of a series with respect to a system if every series (1) converges almost everywhere on , when only

If is a Weyl multiplier, then is called a system of almost-everywhere convergence. The sequence is called an exact Weyl multiplier for the almost-everywhere convergence of a series (1) if is a Weyl multiplier, while every , , is not. Definitions of a Weyl multiplier for other forms of convergence and summability are given in the same way (convergence in measure, unconditional convergence almost-everywhere, and others).

Weyl multipliers have been found for some systems. In 1913, M. Plancherel proved that is a Weyl multiplier for the almost-everywhere convergence of a series with respect to any orthonormal system , while in 1922, D.E. Men'shov and H. Rademacher established that can be taken as a Weyl multiplier. Most importantly, Men'shov proved that this result could not be improved upon in the whole class of orthonormal systems, i.e. is an exact Weyl multiplier for certain orthonormal systems.

Necessary and sufficient conditions have subsequently been found for to be a Weyl multiplier for almost-everywhere (in the mean, etc.) convergence or -summability of orthogonal series. It has been demonstrated, for example, that the system is not a system of almost-everywhere convergence. In 1975, the first complete orthonormal system of strong convergence i.e. the series (1) converges almost-everywhere on if and only if , was constructed.

In 1927 it was established that the sequence is a Weyl multiplier for almost-everywhere unconditional convergence of any orthogonal series if

This result can not be strengthened.

In 1960 it was demonstrated that the Haar system is not a system of almost-everywhere unconditional convergence. It was also demonstrated, on the basis of this result, that many systems (bases in , complete orthonormal systems, etc.) are not systems of almost-everywhere unconditional convergence. For the system , a sequence is a Weyl multiplier for almost-everywhere unconditional convergence only if

For this reason, not every complete orthonormal system has an exact Weyl multiplier for almost-everywhere unconditional convergence.

A great deal of research has been carried out into the problem of the representation of functions by series converging almost-everywhere, in measure or in other ways. So, in 1957 it was established that for any complete orthonormal system with and any measurable function there is a series of the form (1) which converges in measure to (in the case of the trigonometric system this assertion was obtained in 1947 by Men'shov). This result becomes invalid, even in the case of bounded measurable functions, if instead of convergence in measure, almost-everywhere convergence is considered.

#### References

 [1] N.N. Luzin, "The integral and trigonometric series" , Moscow-Leningrad (1915) (In Russian) (Thesis; also: Collected Works, Vol. 1, Moscow, 1953, pp. 48–212) [2] S. Banach, "Théorie des opérations linéaires" , Chelsea, reprint (1955) [3] Ya.L. Geronimus, "Orthogonal polynomials" , Consultants Bureau (1961) (Translated from Russian) [4] S. Kaczmarz, H. Steinhaus, "Theorie der Orthogonalreihen" , Chelsea, reprint (1951) [5] D. Jackson, "Fourier series and orthogonal polynomials" , Carus Math. Monogr. , 6 , Math. Assoc. Amer. (1971) [6] G. Szegö, "Orthogonal polynomials" , Amer. Math. Soc. (1975) [7] G. Alexits, "Konvergenzprobleme der Orthogonalreihen" , Ungar. Akad. Wissenschaft. (1961) [8] F.G. Tricomi, "Vorlesungen über Orthogonalreihen" , Springer (1970) (Translated from Italian) [9] A.M. Olevskii, "Fourier series with respect to general orthogonal systems" , Springer (1975) (Translated from Russian) [10] D.E. Men'shov, P.L. Ul'yanov, "On the metric theory of functions at Moscow University over 50 years" Vestnik Moskov. Univ. Ser. 1. Mat. Mekh. , 5 (1967) pp. 24–36 (In Russian) [11] A.A. Talalyan, "The representation of measurable functions by series" Russian Math. Surveys , 15 : 5 (1960) pp. 75–136 Uspekhi Mat. Nauk , 15 : 5 (1960) pp. 77–141 [12] P.L. Ul'yanov, "Solved and unsolved problems in the theory of trigonometric and orthogonal series" Russian Math. Surveys , 19 : 1 (1964) pp. 1–62 Uspekhi Mat. Nauk , 19 : 1 (1964) pp. 3–69 [13] J. Soviet Math. , 1 : 6 (1973) Itogi Nauk. Mat. Anal. 1970 (1971) [14] N. Bourbaki, "Eléments d'histoire des mathématiques" , Hermann (1974) [15] A.B. Paplauskas, "Trigonometric series from Euler to Lebesgue" , Moscow (1966) (In Russian)