In
mathematics, the Fejér kernel is a
summability kernel In mathematics, a summability kernel is a family or sequence of periodic integrable functions satisfying a certain set of properties, listed below. Certain kernels, such as the Fejér kernel, are particularly useful in Fourier analysis. Summability ...
used to express the effect of
Cesàro summation
In mathematical analysis, Cesàro summation (also known as the Cesàro mean
) assigns values to some infinite sums that are not necessarily convergent in the usual sense. The Cesàro sum is defined as the limit, as ''n'' tends to infinity, of ...
on
Fourier series
A Fourier series () is a summation of harmonically related sinusoidal functions, also known as components or harmonics. The result of the summation is a periodic function whose functional form is determined by the choices of cycle length (or ''p ...
. It is a non-negative kernel, giving rise to an
approximate identity
In mathematics, particularly in functional analysis and ring theory, an approximate identity is a net in a Banach algebra or ring (generally without an identity) that acts as a substitute for an identity element.
Definition
A right approxim ...
. It is named after the
Hungarian mathematician
Lipót Fejér
Lipót Fejér (or Leopold Fejér, ; 9 February 1880 – 15 October 1959) was a Hungarian mathematician of Jewish heritage. Fejér was born Leopold Weisz, and changed to the Hungarian name Fejér around 1900.
Biography
Fejér studied mathematic ...
(1880–1959).
Definition
The Fejér kernel has many equivalent definitions. We outline three such definitions below:
1) The traditional definition expresses the Fejér kernel
in terms of the Dirichlet kernel:
where
:
is the ''k''th order
Dirichlet kernel.
2) The Fejér kernel
may also be written in a closed form expression as follows
This closed form expression may be derived from the definitions used above. The proof of this result goes as follows.
First, we use the fact that the Dirichet kernel may be written as:
:
Hence, using the definition of the Fejér kernel above we get:
:
Using the trigonometric identity:
:
Hence it follows that:
:
3) The Fejér kernel can also be expressed as:
Properties
The Fejér kernel is a positive summability kernel. An important property of the Fejér kernel is
with average value of
.
Convolution
The
convolution
In mathematics (in particular, functional analysis), convolution is a mathematical operation on two functions ( and ) that produces a third function (f*g) that expresses how the shape of one is modified by the other. The term ''convolution'' ...
''F
n'' is positive: for
of period
it satisfies
:
Since
, we have
, which is
Cesàro summation
In mathematical analysis, Cesàro summation (also known as the Cesàro mean
) assigns values to some infinite sums that are not necessarily convergent in the usual sense. The Cesàro sum is defined as the limit, as ''n'' tends to infinity, of ...
of Fourier series.
By
Young's convolution inequality,
:
Additionally, if
, then
:
a.e.
Since