Fejer's Kernel Examples 1
Recall from the Fejer's Kernel Representation of the Arithmetic Means of the Partial Sums of a Fourier Series page that if $f \in L([0, 2\pi])$ is a $2\pi$-periodic function and if $\sigma_n$ denotes the arithmetic means of the partial sums of the trigonometric Fourier series (i.e., $\displaystyle{\sigma_n = \frac{s_1 + s_2 + ... + s_n}{n}}$) then $\sigma_n$ has an integral representation with:
(1)Where $\displaystyle{F_n(t) = \frac{1}{n} \frac{\sin^2 \left ( \frac{1}{2} n t \right )}{\sin^2 \left ( \frac{1}{2} t \right )}}$ is called Fejer's kernel.
We will now look at some example problems regarding this representation and Fejer's kernel.
Example 1
Prove that for all $n \in \mathbb{N}$ that $\displaystyle{\frac{1}{n \pi} \int_0^{\pi} \frac{\sin^2 \left ( \frac{1}{2} nt \right )}{\sin^2 \left ( \frac{1}{2} t \right )} \: dt = 1}$.
Consider the function $f(x) = 1$. Then $f \in L([0, 2\pi)$ and is (somewhat trivially) a $2\pi$-periodic function. So we can apply the theorem stated above. Its very easy to show that the Fourier series of $f$ is simply $f(x) = 1$, and $s_n(x) = 1$ for all $n \in \mathbb{N}$. Therefore, for all $n \in \mathbb{N}$ we have that:
(2)By the Theorem stated above, this means that for all $n \in \mathbb{N}$:
(3)Example 2
Let $f \in L([0, 2\pi])$ be a $2\pi$-periodic function. Prove that $\displaystyle{\lim_{n \to \infty} \sigma_n(x) = s}$ if and only if $\displaystyle{\lim_{n \to \infty} \frac{1}{n\pi} \int_0^{\pi} \left [ \frac{f(x + t) + f(x - t)}{2} - s \right ] \frac{\sin^2 \left ( \frac{1}{2} nt \right )}{\sin^2 \left ( \frac{1}{2} t \right )} \: dt = 0}$ by using Example 1 above.
By Example 1 above we have that for all $n \in \mathbb{N}$ that:
(4)So we see that:
(5)$\Rightarrow$ If $\displaystyle{\lim_{n \to \infty} \sigma_n(x) = s} $ then [[$ \displaystyle{\lim_{n \to \infty} \sima_n(x) - s = 0}$ and the formula above shows that $\displaystyle{\lim_{n \to \infty} \frac{1}{n\pi} \int_0^{\pi} \left [ \frac{f(x + t) + f(x - t)}{2} - s \right ] \frac{\sin^2 \left ( \frac{1}{2} nt \right )}{\sin^2 \left ( \frac{1}{2} t \right )} \: dt = 0}$.
$\Leftarrow$ If $\displaystyle{\lim_{n \to \infty} \frac{1}{n\pi} \int_0^{\pi} \left [ \frac{f(x + t) + f(x - t)}{2} - s \right ] \frac{\sin^2 \left ( \frac{1}{2} nt \right )}{\sin^2 \left ( \frac{1}{2} t \right )} \: dt = 0}$ then $\sigma_n(x) - s \to 0$ as $n \to \infty$, i.e., $\displaystyle{\lim_{n \to \infty} \sigma_n(x) = s}$.