I was reading about Fourier series and have a doubt concerning it. The book I am reading from does not seem to help. As I understand, $\{e_0=\frac{1}{\sqrt{2}},e_1=sin(x),e_2=cos(x),e_3=sin(2x),e_4=cos(2x)\cdots\}$ is a basis for the inner product space of piecewise continuous functions in $[-\pi,\pi]$ with inner product $
Fourier series at discontinuities
-
0Your series converges in the mean of order 2. Even if $f$ is continuous, there may be some points where the Fourier series does not converge. – 2011-07-01
3 Answers
The suggestion by Hans to look in Chernoff's paper is a very good one. I haven't looked at it in a long time but I do believe it is the source of the following argument. (Note added later: it does indeed appear to be the source of this approach.)
The following theorem is well-known.
Theorem. Let $f$ be Lebesgue integrable, $2\pi$-periodic, and suppose that $ \frac{f(x)-f(x_0^{\pm})}{|x-x_0|} $ exists as $x\rightarrow x_0$, where $f(x_0^{\pm})$ denotes the right and left hand limits respectively. Then the Fourier series at $x_0$, $\hat{f}(x_0)$ converges to $f(x_0)$.
Proof hint. Consider the Fourier series of the auxilliary function $g(x) = f(x)/(e^{ix}-1)$.
Using this theorem we can prove the following, which is the main concern of your question.
Corollary. Suppose $f$ has a jump discontinuity at zero, and suppose the average $ \frac{f(x)+f(-x)}{x} $ exists as $x\rightarrow0$. Then the Fourier series at zero converges to this limit.
Note: By only talking about the average instead of the left and right hand limits, we don't formally need them to individually exist.
Proof. By subtracting a constant from $f$, we may assume that $f(0^+) = -f(0^-)$. Denote by $S_n(x)$ the $n$-th partial sum of the (symmetric) Fourier series of $f$. Then $ S_n(0) = \int_{-\pi}^{\pi} f(x) \Big[\frac{1}{2\pi}\sum_{k=-n}^{n}e^{ikx}\Big] dx = \int_{-\pi}^{\pi} f(x) D_n(x) dx $ where $D_n$ is the Dirichlet kernel. Note that it is even, so in fact $ S_n(0) = \frac{1}{2}\int_{-\pi}^{\pi} \big[f(x) + f(-x)\big]D_n(x) dx. $ Applying the theorem above to the average $\frac{1}{2}\big[f(x) + f(-x)\big]$ allows us to conclude the result.
For more details, I would strongly recommend to look in the paper of Chernoff.
-
2the "average" should be $\frac{f(x)+f(-x)}{2}$ – 2015-06-17
Because Fourier Series are approximating a discontinuous function with a set of continuous basis functions. No matter how many are used the estimate must remain continuous at $f(x)$. Also note that due to Gibbs Phenomenon, the point at $x+$ converges to about 9% above $f(x+)$ (relative to the jump $|f(x+) - f(x-)|$.
Remember, the basic mode of convergence given by Fourier series is mean-square convergence. This is true, provided that the function you are computing a Fourier expansion for is square-integrable. Convergence at points is a separate issue.