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).
The Fejér kernel is defined as
F n ( x ) = 1 n ∑ k = 0 n − 1 D k ( x ) , where
D k ( x ) = ∑ s = − k k e i s x is the kth order Dirichlet kernel. It can also be written in a closed form as
F n ( x ) = 1 n ( sin n x 2 sin x 2 ) 2 = 1 n ( 1 − cos ( n x ) 1 − cos x ) ,
where this expression is defined.
The Fejér kernel can also be expressed as
F n ( x ) = ∑ | j | ≤ n ( 1 − | j | n ) e i j x .
The Fejér kernel is a positive summability kernel. An important property of the Fejér kernel is F n ( x ) ≥ 0 with average value of 1 .
The convolution Fn is positive: for f ≥ 0 of period 2 π it satisfies
0 ≤ ( f ∗ F n ) ( x ) = 1 2 π ∫ − π π f ( y ) F n ( x − y ) d y . Since f ∗ D n = S n ( f ) = ∑ | j | ≤ n f ^ j e i j x , we have f ∗ F n = 1 n ∑ k = 0 n − 1 S k ( f ) , which is Cesàro summation of Fourier series.
By Young's inequality,
∥ F n ∗ f ∥ L p ( [ − π , π ] ) ≤ ∥ f ∥ L p ( [ − π , π ] ) for every
1 ≤ p ≤ ∞ for f ∈ L p .
Additionally, if f ∈ L 1 ( [ − π , π ] ) , then
f ∗ F n → f a.e.
Since [ − π , π ] is finite, L 1 ( [ − π , π ] ) ⊃ L 2 ( [ − π , π ] ) ⊃ ⋯ ⊃ L ∞ ( [ − π , π ] ) , so the result holds for other L p spaces, p ≥ 1 as well.
If f is continuous, then the convergence is uniform, yielding a proof of the Weierstrass theorem.
One consequence of the pointwise a.e. convergence is the uniquess of Fourier coefficients: If f , g ∈ L 1 with f ^ = g ^ , then f = g a.e. This follows from writing f ∗ F n = ∑ | j | ≤ n ( 1 − | j | n ) f ^ j e i j t , which depends only on the Fourier coefficients.A second consequence is that if lim n → ∞ S n ( f ) exists a.e., then lim n → ∞ F n ( f ) = f a.e., since Cesàro means F n ∗ f converge to the original sequence limit if it exists.