In mathematics, the Fejér kernel is a summability kernel used to express the effect of Cesàro summation on Fourier series. It is a non-negative kernel, giving rise to an approximate identity. It is named after the Hungarian mathematician Lipót Fejér (1880–1959).
Plot of several Fejér kernels
Definition
The Fejér kernel is defined as
![{\displaystyle F_{n}(x)={\frac {1}{n}}\sum _{k=0}^{n-1}D_{k}(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bf88d9201b25363350cb031243095079f261435)
where
![{\displaystyle D_{k}(x)=\sum _{s=-k}^{k}{\rm {e}}^{isx}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3bd4a589bb41e9211b8439b53edcbc91b92a2ec)
is the kth order Dirichlet kernel. It can also be written in a closed form as
![{\displaystyle F_{n}(x)={\frac {1}{n}}\left({\frac {\sin {\frac {nx}{2}}}{\sin {\frac {x}{2}}}}\right)^{2}={\frac {1}{n}}\left({\frac {1-\cos(nx)}{1-\cos x}}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9fff729cc87f25645faf4dfa61735a076545149)
where this expression is defined.[1]
The Fejér kernel can also be expressed as
![{\displaystyle F_{n}(x)=\sum _{|k|\leq n-1}\left(1-{\frac {|k|}{n}}\right)e^{ikx}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de032644c94fe8cc1af81599dbdbb26e1df7ca01)
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 Fn is positive: for
of period
it satisfies
![{\displaystyle 0\leq (f*F_{n})(x)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(y)F_{n}(x-y)\,dy.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/adf7af39dbc63776f3e0e7807ba4351d52c207b5)
Since
, we have
, which is Cesàro summation of Fourier series.
By Young's convolution inequality,
![{\displaystyle \|F_{n}*f\|_{L^{p}([-\pi ,\pi ])}\leq \|f\|_{L^{p}([-\pi ,\pi ])}{\text{ for every }}1\leq p\leq \infty {\text{ for }}f\in L^{p}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/292178857a312a42f0d6a0042c83b5e64fb17b4e)
Additionally, if
, then
a.e.
Since
is finite,
, so the result holds for other
spaces,
as well.
If
is continuous, then the convergence is uniform, yielding a proof of the Weierstrass theorem.
- One consequence of the pointwise a.e. convergence is the uniqueness of Fourier coefficients: If
with
, then
a.e. This follows from writing
, which depends only on the Fourier coefficients.
- A second consequence is that if
exists a.e., then
a.e., since Cesàro means
converge to the original sequence limit if it exists.
See also
References
- ^ Hoffman, Kenneth (1988). Banach Spaces of Analytic Functions. Dover. p. 17. ISBN 0-486-45874-1.