# A motivational problem for the study of Fourier series

In this post, I will start describing the Dirichlet problem for the Laplacian on the disk and show how this motivates the study of Fourier series. Then, in the next 3 posts, I will develop the necessary tools to completely solve the problem and post the solution 4 posts from now.

First things first, the *heat equation* is a partial differential equation used to model the heat distribution in some region over time. Explicitly, imagine as an infinite metal plate. If is some region of that plate and denotes the temperature of at time , then the heat equation tells us that

where is a constant dependent on the material of the plate. (See Stein’s book or google for how to derive this equation). If we let , the distribution of heat on will reach an equilibrium so that no more heat exchange occurs, i.e. as . The heat equation then reduces to the so-called *steady-state* heat equation

where is the *Laplace operator* or the *Laplacian*. The solutions to this equation are referred to as the *harmonic functions*.

Now, let D be the unit disk and C the unit circle. The *Dirichlet problem* for the Laplacian on the unit disk is the problem of finding a function defined on D, satisfying the steady-state heat equation, such that the restriction to C of be a given function . In other words, what we do is we fix the temperature distribution on the unit circle (so that for all at all time ), then we wait long enough for the heat distribution to reach equilibrium, then we look inside the disk to see how the heat is distributed.

Since we’re working on a disk, let’s switch to polar coordinates so that the boundary condition is given by . Rewriting the Laplacian in polar coordinates, we get

(I’ll post that derivation as exercise 1 later). Since , we can write

.

A common technique used for solving differential equations is the so-called *separation of* variables:* *we look for a solution of the form . Substituting in our last equation, we get

.

But say we have for two functions of independent variables. Then fixing tells us that is constant while fixing tells us is constant. This is what happens in our last equation, so both sides must be equal to some constant . So what we get is two equations :

, and

.

Since depends on , we certainly want it to be -periodic. But for to be periodic, we must have . Indeed, with an argument analogous to what is used in the solution of exercice 2, we can see that if is negative, then the equation for implies for some which is not a periodic function.

Let with . In exercice 2, we’ll see that we can now deduce that we have

for some . Furthermore, if , we’ll see in exercice 3 that the only possibility for is to be a linear combination of and but if , then as which is counter-intuitive since then the heat distribution would be unbounded at the origin. We’ll also see that if , then must be given by a linear combination of and and again, if , would be unbounded at the origin.

We are thus led to consider the solutions for some and since the steady-state heat equation is linear, we obtain, by superposing these solutions,

.

The boundary condition now gives us . ie is given by a Fourier series.

Let’s review what we’ve done here. We fixed a heat distribution on the circle with the aid of a periodic function . We then waited long enough for the heat distribution inside the circle to stabilize, then looked at how that heat naturally distributed itself. This process somehow gave us a representation of our function as an infinite sum of exponentials. This is serious indication that any reasonable periodic function can be expanded in Fourier series.

It is by studying problems in heat diffusion that Fourier gave rise to the theory of Fourier Analysis. Others have since then made very important discoveries in numerous areas of analysis in order to prove to what extent exactly can an arbitrary function be represented as a Fourier series. Basically all our technology which uses signal processing is based on Fourier Analysis so it is definitely an interesting thing to know about.

In the next posts, I will develop the necessary tools to satisfyingly solve the Dirichlet problem mentioned here. The solution is in this post. But before that, I will post the solution to the exercises that I mentioned in this post.

## Trackbacks & Pingbacks