Point of Continuity and Discontinuity in Fourier Series

Show Mobile Notice Show All NotesHide All Notes

Mobile Notice

You appear to be on a device with a "narrow" screen width (i.e. you are probably on a mobile phone). Due to the nature of the mathematics on this site it is best views in landscape mode. If your device is not in landscape mode many of the equations will run off the side of your device (should be able to scroll to see them) and some of the menu items will be cut off due to the narrow screen width.

Section 8-7 : Convergence of Fourier Series

Over the last few sections we've spent a fair amount of time to computing Fourier series, but we've avoided discussing the topic of convergence of the series. In other words, will the Fourier series converge to the function on the given interval?

In this section we're going to address this issue as well as a couple of other issues about Fourier series. We'll be giving a fair number of theorems in this section but are not going to be proving any of them. We'll also not be doing a whole lot of in the way of examples in this section.

Before we get into the topic of convergence we need to first define a couple of terms that we'll run into in the rest of the section. First, we say that \(f\left( x \right)\) has a jump discontinuity at \(x = a\) if the limit of the function from the left, denoted \(f\left( {{a^ - }} \right)\), and the limit of the function from the right, denoted \(f\left( {{a^ + }} \right)\), both exist and \(f\left( {{a^ - }} \right) \ne f\left( {{a^ + }} \right)\).

Next, we say that \(f\left( x \right)\) is piecewise smooth if the function can be broken into distinct pieces and on each piece both the function and its derivative, \(f'\left( x \right)\), are continuous. A piecewise smooth function may not be continuous everywhere however the only discontinuities that are allowed are a finite number of jump discontinuities.

Let's consider the function,

\[f\left( x \right) = \left\{ {\begin{array}{*{20}{l}}L&{\,\,\,\,{\mbox{if }} - L \le x \le 0}\\{2x}&{\,\,\,\,{\mbox{if }}0 \le x \le L}\end{array}} \right.\]

We found the Fourier series for this function in Example 2 of the previous section. Here is a sketch of this function on the interval on which it is defined, i.e. \( - L \le x \le L\).

This function has a jump discontinuity at \(x = 0\) because \(f\left( {{0^ - }} \right) = L \ne 0 = f\left( {{0^ + }} \right)\) and note that on the intervals \( - L \le x \le 0\) and \(0 \le x \le L\) both the function and its derivative are continuous. This is therefore an example of a piecewise smooth function. Note that the function itself is not continuous at \(x = 0\) but because this point of discontinuity is a jump discontinuity the function is still piecewise smooth.

The last term we need to define is that of periodic extension. Given a function, \(f\left( x \right)\), defined on some interval, we'll be using \( - L \le x \le L\) exclusively here, the periodic extension of this function is the new function we get by taking the graph of the function on the given interval and then repeating that graph to the right and left of the graph of the original function on the given interval.

It is probably best to see an example of a periodic extension at this point to help make the words above a little clearer. Here is a sketch of the period extension of the function we looked at above,

The original function is the solid line in the range \( - L \le x \le L\). We then got the periodic extension of this by picking this piece up and copying it every interval of length 2\(L\) to the right and left of the original graph. This is shown with the two sets of dashed lines to either side of the original graph.

Note that the resulting function that we get from defining the periodic extension is in fact a new periodic function that is equal to the original function on \( - L \le x \le L\).

With these definitions out of the way we can now proceed to talk a little bit about the convergence of Fourier series. We will start off with the convergence of a Fourier series and once we have that taken care of the convergence of Fourier Sine/Cosine series will follow as a direct consequence. Here then is the theorem giving the convergence of a Fourier series.

Convergence of Fourier series

Suppose \(f\left( x \right)\) is a piecewise smooth on the interval \( - L \le x \le L\). The Fourier series of \(f\left( x \right)\) will then converge to,

1. the periodic extension of \(f\left( x \right)\) if the periodic extension is continuous.
2. the average of the two one-sided limits, \(\frac{1}{2}\left[ {f\left( {{a^ - }} \right) + f\left( {{a^ + }} \right)} \right]\), if the periodic extension has a jump discontinuity at \(x = a\).

The first thing to note about this is that on the interval \( - L \le x \le L\) both the function and the periodic extension are equal and so where the function is continuous on \( - L \le x \le L\) the periodic extension will also be continuous and hence at these points the Fourier series will in fact converge to the function. The only points in the interval \( - L \le x \le L\) where the Fourier series will not converge to the function is where the function has a jump discontinuity.

Let's again consider Example 2 of the previous section. In that section we found that the Fourier series of,

\[f\left( x \right) = \left\{ {\begin{array}{*{20}{l}}L&{\,\,\,\,{\mbox{if }} - L \le x \le 0}\\{2x}&{\,\,\,\,{\mbox{if }}0 \le x \le L}\end{array}} \right.\]

on \( - L \le x \le L\) to be,

\[f\left( x \right) = L + \sum\limits_{n = 1}^\infty {\frac{{2L}}{{{n^2}{\pi ^2}}}\left( {{{\left( { - 1} \right)}^n} - 1} \right)\cos \left( {\frac{{n\,\pi x}}{L}} \right)} - \sum\limits_{n = 1}^\infty {\frac{L}{{n\pi }}\left( {1 + {{\left( { - 1} \right)}^n}} \right)\sin \left( {\frac{{n\,\pi x}}{L}} \right)} \]

We now know that in the intervals \( - L < x < 0\) and \(0 < x < L\) the function and hence the periodic extension are both continuous and so on these two intervals the Fourier series will converge to the periodic extension and hence will converge to the function itself.

At the point \(x = 0\) the function has a jump discontinuity and so the periodic extension will also have a jump discontinuity at this point. That means that at\(x = 0\) the Fourier series will converge to,

\[\frac{1}{2}\left[ {f\left( {{0^ - }} \right) + f\left( {{0^ + }} \right)} \right] = \frac{1}{2}\left[ {L + 0} \right] = \frac{L}{2}\]

At the two endpoints of the interval, \(x = - L\) and \(x = L\), we can see from the sketch of the periodic extension above that the periodic extension has a jump discontinuity here and so the Fourier series will not converge to the function there but instead the averages of the limits.

So, at \(x = - L\) the Fourier series will converge to,

\[\frac{1}{2}\left[ {f\left( { - {L^{\, - }}} \right) + f\left( { - {L^{\, + }}} \right)} \right] = \frac{1}{2}\left[ {2L + L} \right] = \frac{{3L}}{2}\]

and at \(x = L\) the Fourier series will converge to,

\[\frac{1}{2}\left[ {f\left( {{L^{\, - }}} \right) + f\left( {{L^{\, + }}} \right)} \right] = \frac{1}{2}\left[ {2L + L} \right] = \frac{{3L}}{2}\]

Now that we have addressed the convergence of a Fourier series we can briefly turn our attention to the convergence of Fourier sine/cosine series. First, as noted in the previous section the Fourier sine series of an odd function on \( - L \le x \le L\) and the Fourier cosine series of an even function on \( - L \le x \le L\) are both just special cases of a Fourier series we now know that both of these will have the same convergence as a Fourier series.

Next, if we look at the Fourier sine series of any function, \(g\left( x \right)\), on \(0 \le x \le L\) then we know that this is just the Fourier series of the odd extension of \(g\left( x \right)\) restricted down to the interval \(0 \le x \le L\). Therefore, we know that the Fourier series will converge to the odd extension on \( - L \le x \le L\) where it is continuous and the average of the limits where the odd extension has a jump discontinuity. However, on \(0 \le x \le L\) we know that \(g\left( x \right)\) and the odd extension are equal and so we can again see that the Fourier sine series will have the same convergence as the Fourier series.

Likewise, we can go through a similar argument for the Fourier cosine series using even extensions to see that Fourier cosine series for a function on \(0 \le x \le L\) will also have the same convergence as a Fourier series.

The next topic that we want to briefly discuss here is when will a Fourier series be continuous. From the theorem on the convergence of Fourier series we know that where the function is continuous the Fourier series will converge to the function and hence be continuous at these points. The only places where the Fourier series may not be continuous is if there is a jump discontinuity on the interval \( - L \le x \le L\) and potentially at the endpoints as we saw that the periodic extension may introduce a jump discontinuity there.

So, if we're going to want the Fourier series to be continuous everywhere we'll need to make sure that the function does not have any discontinuities in \( - L \le x \le L\). Also, in order to avoid having the periodic extension introduce a jump discontinuity we'll need to require that \(f\left( { - L} \right) = f\left( L \right)\). By doing this the two ends of the graph will match up when we form the periodic extension and hence we will avoid a jump discontinuity at the end points.

Here is a summary of these ideas for a Fourier series.

Suppose \(f\left( x \right)\) is a piecewise smooth on the interval \( - L \le x \le L\). The Fourier series of \(f\left( x \right)\) will be continuous and will converge to \(f\left( x \right)\) on \( - L \le x \le L\) provided \(f\left( x \right)\) is continuous on \( - L \le x \le L\) and \(f\left( { - L} \right) = f\left( L \right)\).

Now, how can we use this to get similar statements about Fourier sine/cosine series on \(0 \le x \le L\)? Let's start with a Fourier cosine series. The first thing that we do is form the even extension of \(f\left( x \right)\) on \( - L \le x \le L\). For the purposes of this discussion let's call the even extension \(g\left( x \right)\) As we saw when we sketched several even extensions in the Fourier cosine series section that in order for the sketch to be the even extension of the function we must have both,

\[g\left( {{0^ - }} \right) = g\left( {{0^ + }} \right)\hspace{0.25in}\hspace{0.25in}g\left( { - L} \right) = g\left( L \right)\]

If one or both of these aren't true then \(g\left( x \right)\) will not be an even extension of\(f\left( x \right)\).

So, in forming the even extension we do not introduce any jump discontinuities at \(x = 0\) and we get for free that \(g\left( { - L} \right) = g\left( L \right)\). If we now apply the above theorem to the even extension we see that the Fourier series of the even extension is continuous on \( - L \le x \le L\). However, because the even extension and the function itself are the same on \(0 \le x \le L\) then the Fourier cosine series of \(f\left( x \right)\) must also be continuous on \(0 \le x \le L\).

Here is a summary of this discussion for the Fourier cosine series.

Suppose \(f\left( x \right)\) is a piecewise smooth on the interval \(0 \le x \le L\). The Fourier cosine series of \(f\left( x \right)\) will be continuous and will converge to \(f\left( x \right)\) on \(0 \le x \le L\) provided \(f\left( x \right)\) is continuous on \(0 \le x \le L\).

Note that we don't need any requirements on the end points here because they are trivially satisfied when we convert over to the even extension.

For a Fourier sine series we need to be a little more careful. Again, the first thing that we need to do is form the odd extension on \( - L \le x \le L\) and let's call it \(g\left( x \right)\). We know that in order for it to be the odd extension then we know that at all points in \( - L \le x \le L\) it must satisfy \(g\left( { - x} \right) = - g\left( x \right)\) and that is what can lead to problems.

As we saw in the Fourier sine series section it is very easy to introduce a jump discontinuity at \(x = 0\) when we form the odd extension. In fact, the only way to avoid forming a jump discontinuity at this point is to require that \(f\left( 0 \right) = 0\).

Next, the requirement that at the endpoints we must have \(g\left( { - L} \right) = - g\left( L \right)\) will practically guarantee that we'll introduce a jump discontinuity here as well when we form the odd extension. Again, the only way to avoid doing this is to require \(f\left( L \right) = 0\).

So, with these two requirements we will get an odd extension that is continuous and so we know that the Fourier series of the odd extension on \( - L \le x \le L\) will be continuous and hence the Fourier sine series will be continuous on \(0 \le x \le L\).

Here is a summary of all this for the Fourier sine series.

Suppose \(f\left( x \right)\) is a piecewise smooth on the interval \(0 \le x \le L\). The Fourier sine series of \(f\left( x \right)\) will be continuous and will converge to \(f\left( x \right)\) on \(0 \le x \le L\) provided \(f\left( x \right)\) is continuous on \(0 \le x \le L\), \(f\left( 0 \right) = 0\) and \(f\left( L \right) = 0\).

The next topic of discussion here is differentiation and integration of Fourier series. In particular, we want to know if we can differentiate a Fourier series term by term and have the result be the Fourier series of the derivative of the function. Likewise, we want to know if we can integrate a Fourier series term by term and arrive at the Fourier series of the integral of the function.

Note that we'll not be doing much discussion of the details here. All we're really going to be doing is giving the theorems that govern the ideas here so that we can say we've given them.

Let's start off with the theorem for term by term differentiation of a Fourier series.

Given a function \(f\left( x \right)\) if the derivative, \(f'\left( x \right)\), is piecewise smooth and the Fourier series of \(f\left( x \right)\) is continuous then the Fourier series can be differentiated term by term. The result of the differentiation is the Fourier series of the derivative, \(f'\left( x \right)\).

One of the main condition of this theorem is that the Fourier series be continuous and from above we also know the conditions on the function that will give this. So, if we add this into the theorem to get this form of the theorem,

Suppose\(f\left( x \right)\) is a continuous function, its derivative\(f'\left( x \right)\) is piecewise smooth and \(f\left( { - L} \right) = f\left( L \right)\) then the Fourier series of the function can be differentiated term by term and the result is the Fourier series of the derivative.

For Fourier cosine/sine series the basic theorem is the same as for Fourier series. All that's required is that the Fourier cosine/sine series be continuous and then you can differentiate term by term. The theorems that we'll give here will merge the conditions for the Fourier cosine/sine series to be continuous into the theorem.

Let's start with the Fourier cosine series.

Suppose\(f\left( x \right)\) is a continuous function and its derivative\(f'\left( x \right)\) is piecewise smooth then the Fourier cosine series of the function can be differentiated term by term and the result is the Fourier sine series of the derivative.

Next the theorem for Fourier sine series.

Suppose\(f\left( x \right)\) is a continuous function, its derivative\(f'\left( x \right)\) is piecewise smooth, \(f\left( 0 \right) = 0\) and \(f\left( L \right) = 0\) then the Fourier sine series of the function can be differentiated term by term and the result is the Fourier cosine series of the derivative.

The theorem for integration of Fourier series term by term is simple so there it is.

Suppose\(f\left( x \right)\) is piecewise smooth then the Fourier sine series of the function can be integrated term by term and the result is a convergent infinite series that will converge to the integral of \(f\left( x \right)\).

Note however that the new series that results from term by term integration may not be the Fourier series for the integral of the function.

davisrequit.blogspot.com

Source: https://tutorial.math.lamar.edu/classes/de/convergencefourierseries.aspx

Share this post