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
$$S_n(f ; x) = \frac{a_0}{2} + \sum_{k=1}^{n} (a_k \cos(k x) + b_k \sin(kx))$$
With the use of the sequence of partial sums ,
, the notion of convergence of the series $S[f]$ is introduced and its sum at a point $x$ is defined as follows:
![]() |
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) |
Partial Fourier sum. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Partial_Fourier_sum&oldid=53045