Convergence of Fourier Series

Most of the results presented for $2\pi$-periodic functions extend easily to functions 2L-periodic functions. So we only discuss the case of $2\pi$-periodic functions.

Definition. The function f(x) defined on [a,b], is said to be piecewise continuous if and only if, there exits a partition $\{x_1,x_2,..,x_n\}$ of [a,b] such that

(1)
f(x) is continuous on [a,b] except may be for the points xi,
(2)
the right-limit and left-limit of f(x) at the points xi exist.
We will say that f(x) is piecewise smooth if and only if f(x) as well as its derivatives are piecewise continuous.

Recall that $\{x_1,x_2,..,x_n\}$ is a partition of [a,b] if

a = x1 < x2 < ..< xn-1 < xn = b.

All the known results on the sum, product, and the quotient are valid for piecewise smooth functions. Except for the fundamental theorem of Calculus which needs to be modified. Indeed, we have let f(x) be piecewise smooth function on the open interval a < x < b. There is no reason for f(x) and f'(x) to be defined at the end-points a and b. But if we denote the left-limit and right-limit of f(x) at a point x0 by

\begin{displaymath}\lim_{x \rightarrow x_0 -} f(x) = f(x_0 -)\;\;\;\mbox{and}\;\;\lim_{x \rightarrow x_0 +} f(x) = f(x_0 +),\end{displaymath}

the fundamental theorem of Calculus translates into

\begin{displaymath}\lim_{x \rightarrow b-}f(x) - \lim_{x \rightarrow a+}f(x) = \int_{a}^{b} f'(x)dx.\end{displaymath}

Before we state the fundamental result on convergence of Fourier series, we need some intermediary results.

Result 1. If f(x) and f'(x) are piecewise continuous on [a,b], then

\begin{displaymath}\lim_{\lambda \rightarrow \infty} \int_{a}^{b}f(x)\sin(x\lambda) dx = 0,\end{displaymath}

and

\begin{displaymath}\lim_{\lambda \rightarrow \infty} \int_{a}^{b}f(x)\cos(x\lambda) dx = 0.\end{displaymath}

Proof.

Remark. Recall that our initial problem is to approximate a function globally (on an interval versus Taylor approximations which are local). In this context, the approximation of f(x) will be done via the Fourier polynomials

\begin{displaymath}f_N(x) = a_0 + \sum_{n = 1}^{n = N} (a_n \cos(nx) + b_n \sin(nx)).\end{displaymath}

These Fourier polynomials will be called the Fourier partial sums. Since

\begin{displaymath}f_N(x) = \frac{1}{2\pi}\int_{-\pi}^{\pi} f(t)dt + \sum_{n = 1...
... \int_{-\pi}^{\pi} f(t)(\cos(nx)\cos(nt) + \sin(nx)\sin(nt))dt,\end{displaymath}

we obtain

\begin{displaymath}f_N(x) = \frac{1}{\pi} \int_{-\pi}^{\pi} f(t)
\left[\frac{1}{2} + \sum_{n=1}^{n=N} \cos(n(t-x))\right]dt.\end{displaymath}

Set

\begin{displaymath}D_N(\alpha) = \frac{1}{\pi}\left(\frac{1}{2} + \sum_{n=1}^{n=N} \cos(n\alpha)\right).\end{displaymath}

We have the following result:

Result 2. We have

\begin{displaymath}D_N(\alpha) = \frac{\sin((N+\frac{1}{2})\alpha)} {2\pi \sin(\frac{\alpha}{2})}.\end{displaymath}

Proof.

Using the result above, we get

\begin{displaymath}f_N(x) = \frac{1}{\pi}\int_{-\pi}^{\pi}
f(t)\frac{\sin\left(...
...t-x)\right)}{2\sin\left(\displaystyle \frac{t-x}{2}\right)} dt.\end{displaymath}

This formula is quite interesting since it gives the Fourier polynomials of f(x) without the coefficients.

Definition. The Dirichlet kernel is defined by

\begin{displaymath}D_N(x) = \left\{ \begin{array}{lll}
{\displaystyle \frac{\sin...
...e \frac{2N+1}{2\pi}} & x = 0, \pm 2\pi,...
\end{array} \right.\end{displaymath}

The function DN(x) is continuous and periodic, with $\displaystyle \frac{2\pi}{N}$ as its period. Using the formula above, we get

\begin{displaymath}\int_{-\pi}^{0} D_N(x)dx = \int_{0}^{\pi} D_N(x)dx = \frac{1}{2}.\end{displaymath}

Now we are ready to state and prove the fundamental result on convergence of Fourier series, due to Dirichlet.

Theorem. Let f(x) be a function, which is twice differentiable, such that f(x), f'(x), and f''(x) are piecewise continuous on the interval $[-\pi,\pi]$. Then, for any $x \in [-\pi,\pi]$, the sequence of Fourier partial sums $\{f_N(x)\}$ converges $\displaystyle \frac{1}{2}(f(x-) + f(x+))$, as n tends to $\infty$.

Recall that the notation f(x+) (resp. f(x-)) represent the right-limit and left-limit respectively of f at the point x. Let us associate to f the new function S(f) defined by

\begin{displaymath}S(f)(x) = \left\{ \begin{array}{cll}
f(x) & \mbox{ if $f$ is...
...& \mbox{ if $f$ is discontinuous at $x$.}
\end{array} \right. \end{displaymath}

The conclusion of the Theorem above translates into

\begin{displaymath}\lim_{N \rightarrow \infty} f_N(x) = S(f)(x),\;\; \mbox{for any $x \in [-\pi,\pi]$}.\end{displaymath}

Proof.

Example. Show that

\begin{displaymath}\frac{2}{\pi} \sum_{n=1}^{\infty} \frac{\Big(1 - (-1)^n\Big)}...
...\pi \\
0 & x = 0 \\
-1 & -\pi < x < 0
\end{array} \right.\end{displaymath}

Answer. Set

\begin{displaymath}f(x) = \left\{ \begin{array}{lll}
1 & 0 < x < \pi \\
0 & x = 0 \\
-1 & -\pi < x < 0 .
\end{array} \right.\end{displaymath}

This function satisfies the assumptions of the main Theorem. Before, we use the Thoerem's conclusion, let us find its Fourier series. We have

\begin{displaymath}a_n = 0,\;\; \mbox{for any }\;\; n \geq 0.\end{displaymath}

Easy calculations give

\begin{displaymath}b_n = \frac{2}{\pi} \frac{(1 - (-1)^n)}{n},\;\; \mbox{for any $n \geq 1$}.\end{displaymath}

The Theorem's conclusion gives the desired identity.

[Geometry] [Algebra] [Trigonometry ]
[Calculus] [Differential Equations] [Matrix Algebra]

S.O.S MATH: Home Page

Do you need more help? Please post your question on our S.O.S. Mathematics CyberBoard.

Author: M.A. Khamsi

Copyright © 1999-2024 MathMedics, LLC. All rights reserved.
Contact us
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA
users online during the last hour