Partial Fourier sum

A partial sum of the Fourier series of a given function.

In the classical one-dimensional case where a function $f$ is integrable on the segment $[-\pi,\pi]$ and

$$S[f] = \frac{a_0}{2} + \sum_{k=1}^{\infty} (a_k \cos(k x) + b_k \sin(kx))$$

is its trigonometric Fourier series, the partial Fourier sum S_n(f ; x)$ of order $n$ of $f$ is the [[Trigonometric polynomial|trigonometric polynomial]] '"`UNIQ-MathJax2-QINU`"' With the use of the sequence of partial sums <img src="https://www.encyclopediaofmath.org/legacyimages/p/p120/p120070/p1200708.png"/>, <img src="https://www.encyclopediaofmath.org/legacyimages/p/p120/p120070/p1200709.png"/>, the notion of convergence of the series $S[f]$ is introduced and its sum at a point $x$ is defined as follows: <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img src="https://www.encyclopediaofmath.org/legacyimages/p/p120/p120070/p12007012.png"/></td> </tr></table> At every point $x$, the Dirichlet formula

is true; here,

is the Dirichlet kernel of order . This formula plays a key role in many problems in the theory of Fourier series.

If a series is given in complex form, i.e., if

where is the set of all integers, then

In the multi-dimensional case, a notion of partial sum can be introduced in numerous different ways, none of which can be regarded as preferable.

One of the possible general approaches is as follows: Let be the -dimensional Euclidean space of points (vectors) , and let be the integer lattice in , i.e., the set of vectors with integer coordinates. For vectors , let

Further, let

let be a function that is -periodic in each variable and integrable over a cube , and let

be its Fourier series.

Further, let be a family of bounded domains in that depend on a real parameter and are such that any vector belongs to all domains for sufficiently large . In this case, the expression

is called a partial Fourier sum of the function corresponding to the domain , and the expression

is called the Dirichlet kernel corresponding to this domain. It is clear that, for any vector , the following formula holds:

This definition allows one to consider the problem of the convergence (or summability) of the series as . By virtue of the boundedness of the domains the expression for is always a trigonometric polynomial.

The cases where -dimensional spheres or -dimensional intervals centred at the origin are taken as are most often encountered and are well studied. The expressions

are called spherical partial sums, and the expressions

where is an arbitrary vector from with positive coordinates, are called rectangular partial sums. In recent years, in connection with problems in the approximation of functions from Sobolev spaces, partial Fourier sums constructed by "hyperbolic crosses" , namely, expressions of the form

have been extensively used. For Fourier series in general orthonormal systems of functions, partial Fourier series are constructed analogously. (Cf. also Orthonormal system.)

Various properties of partial Fourier sums and their applications to the theory of approximation and other fields of science can be found in, e.g., [a1], [a3], [a4], [a5], [a7]. [a6], [a2],

References

[a1]	N. Bary, "Treatise on trigonometric series" , 1; 2 , Pergamon (1964) Zbl 0129.28002
[a2]	A. Zygmund, "Trigonometrical series" , 1; 2 , Cambridge Univ. Press (1959)
[a3]	R. Edwards, "Fourier series: A modern introduction" , 1; 2 , Springer (1979)
[a4]	E. Hewitt, K.A. Ross, "Abstract harmonic analysis" , 1; 2 , Springer (1963/70)
[a5]	W. Rudin, "Fourier analysis on groups" , Interscience (1962)
[a6]	G. Szegő, "Orthogonal polynomials" , Amer. Math. Soc. (1959)
[a7]	A. Stepanets, "Classification and approximation of periodic functions" , Kluwer Acad. Publ. (1995)