\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

If you like us, please share us on social media.
The latest UCD Hyperlibrary newsletter is now complete, check it out.

MathWiki.png
 
MathWiki: The Dynamic Mathematics E-textbook > Analysis > Ordinary Differential Equations > Differential Equations for Engineers > Fourier series and PDEs > PDEs, separation of variables, and the heat equation

MindTouch
Copyright (c) 2006-2014 MindTouch Inc.
http://mindtouch.com

This file and accompanying files are licensed under the MindTouch Master Subscription Agreement (MSA).

At any time, you shall not, directly or indirectly: (i) sublicense, resell, rent, lease, distribute, market, commercialize or otherwise transfer rights or usage to: (a) the Software, (b) any modified version or derivative work of the Software created by you or for you, or (c) MindTouch Open Source (which includes all non-supported versions of MindTouch-developed software), for any purpose including timesharing or service bureau purposes; (ii) remove or alter any copyright, trademark or proprietary notice in the Software; (iii) transfer, use or export the Software in violation of any applicable laws or regulations of any government or governmental agency; (iv) use or run on any of your hardware, or have deployed for use, any production version of MindTouch Open Source; (v) use any of the Support Services, Error corrections, Updates or Upgrades, for the MindTouch Open Source software or for any Server for which Support Services are not then purchased as provided hereunder; or (vi) reverse engineer, decompile or modify any encrypted or encoded portion of the Software.

A complete copy of the MSA is available at http://www.mindtouch.com/msa

PDEs, separation of variables, and the heat equation

Introduction

Let us recall that a partial differential equation or PDE is an equation containing the partial derivatives with respect to several independent variables. Solving PDEs will be our main application of Fourier series.

A PDE is said to be linear if the dependent variable and its derivatives appear at most to the first power and in no functions. We will only talk about linear PDEs. Together with a PDE, we usually have specified some boundary conditions, where the value of the solution or its derivatives is specified along the boundary of a region, and/or some initial conditions where the value of the solution or its derivatives is specified for some initial time. Sometimes such conditions are mixed together and we will refer to them simply as side conditions.

We will study three specific partial differential equations, each one representing a more general class of equations. First, we will study the heat equation, which is an example of a parabolic PDE. Next, we will study the wave equation, which is an example of a hyperbolic PDE. Finally, we will study the Laplace equation, which is an example of an elliptic PDE. Each of our examples will illustrate behavior that is typical for the whole class.

4.6.1 Heat on an insulated wire

Let us first study the heat equation. Suppose that we have a wire (or a thin metal rod) of length L that is insulated except at the endpoints. Let x denote the position along the wire and let t denote time. See Figure 4.13.

PIC

Figure 4.13: Insulated wire.

Let u(x,t) denote the temperature at point x at time t . The equation governing this setup is the so-called one-dimensional heat equation:

|---------2----| | ∂u- ∂-u- | --∂t-=-k-∂x2,--|

where k > 0 is a constant (the thermal conductivity of the material). That is, the change in heat at a specific point is proportional to the second derivative of the heat along the wire. This makes sense; if at a fixed t the graph of the heat distribution has a maximum (the graph is concave down), then heat flows away from the maximum. And vice-versa.

We will generally use a more convenient notation for partial derivatives. We will write u t instead of ∂u ∂t , and we will write uxx instead of ∂2u ∂x2 . With this notation the heat equation becomes

ut = kuxx.

For the heat equation, we must also have some boundary conditions. We assume that the ends of the wire are either exposed and touching some body of constant heat, or the ends are insulated. For example, if the ends of the wire are kept at temperature 0, then we must have the conditions

u(0,t) = 0 and u (L, t) = 0.

If, on the other hand, the ends are also insulated we get the conditions

u (0,t) = 0 and u (L,t) = 0. x x

In other words, heat is not flowing in nor out of the wire at the ends. We always have two conditions along the x axis as there are two derivatives in the x direction. These side conditions are called homogeneous (that is, u or a derivative of u is set to zero).

Furthermore, suppose that we know the initial temperature distribution at time t = 0 . That is,

u(x,0) = f (x ),

for some known function f(x) . This initial condition is not a homogeneous side condition.

4.6.2 Separation of variables

The heat equation is linear as u and its derivatives do not appear to any powers or in any functions. Thus the principle of superposition still applies for the heat equation (without side conditions). If u1 and u 2 are solutions and c1 , c2 are constants, then u = c1u1 + c2u 2 is also a solution.

Exercise 4.6.1: Verify the principle of superposition for the heat equation.

Superposition also preserves some of the side conditions. In particular, if u 1 and u2 are solutions that satisfy u(0,t) = 0 and u(L,t) = 0 , and c 1 , c 2 are constants, then u = c u + cu 1 1 2 2 is still a solution that satisfies u(0,t) = 0 and u(L,t) = 0 . Similarly for the side conditions ux(0,t) = 0 and ux(L,t) = 0 . In general, superposition preserves all homogeneous side conditions.

The method of separation of variables is to try to find solutions that are sums or products of functions of one variable. For example, for the heat equation, we try to find solutions of the form

u(x,t) = X (x)T(t).

That the desired solution we are looking for is of this form is too much to hope for. What is perfectly reasonable to ask, however, is to find enough “building-block” solutions of the form u(x,t) = X (x)T(t) using this procedure so that the desired solution to the PDE is somehow constructed from these building blocks by the use of superposition.

Let us try to solve the heat equation

ut = kuxx with u(0,t) = 0, u(L,t) = 0, and u(x,0) = f(x).

Let us guess u(x,t) = X (x)T (t) . We plug into the heat equation to obtain

X(x)T′(t) = kX′′(x )T (t).

We rewrite as

 ′ ′′ T-(t)-= X-(x). kT(t) X (x )

This equation must hold for all x and all t . But the left hand side does not depend on x and the right hand side does not depend on t . Hence, each side must be a constant. Let us call this constant - λ (the minus sign is for convenience later). We obtain the two equations

T ′(t) X ′′(x) ----- = -λ = ------. kT (t) X(x)

In other words

 ′′ X (x) + λX(x) = 0, T ′(t) + λkT (t) = 0.

The boundary condition u(0,t) = 0 implies X (0)T(t) = 0 . We are looking for a nontrivial solution and so we can assume that T (t) is not identically zero. Hence X (0 ) = 0 . Similarly, u(L,t) = 0 implies X(L) = 0 . We are looking for nontrivial solutions X of the eigenvalue problem X ′′ + λX = 0 , X (0) = 0 , X(L) = 0 . We have previously found that the only eigenvalues are λn = n2π22 L , for integers n ≥ 1 , where eigenfunctions are  ( ) sin nπx L . Hence, let us pick the solutions

 (nπ ) Xn(x) = sin --x . L

The corresponding Tn must satisfy the equation

 ′ n2π2- Tn(t) + L2 kTn (t) = 0.

By the method of integrating factor, the solution of this problem is

 2 2 Tn(t) = e-nLπ2-kt.

It will be useful to note that T (0) = 1 n . Our building-block solutions are

 (n π ) -n2π2- un(x,t) = Xn (x)Tn(t) = sin--x e L2 kt. L

We note that  ( ) un(x, 0) = sin nπL x . Let us write f(x) as the sine series

 ∑∞ ( ) f(x) = bnsin nπ-x . n=1 L

That is, we find the Fourier series of the odd periodic extension of f(x) . We used the sine series as it corresponds to the eigenvalue problem for X (x) above. Finally, we use superposition to write the solution as

|---------∑∞------------∑∞-------(----)--------| | u(x,t) = b u (x,t) = b sin nπ-x e-nL2π22kt. | | n n n L | ----------n=1-----------n=1---------------------

Why does this solution work? First note that it is a solution to the heat equation by superposition. It satisfies u(0,t) = 0 and u(L,t) = 0 , because x = 0 or x = L makes all the sines vanish. Finally, plugging in t = 0 , we notice that Tn(0) = 1 and so

 ∞ ∞ ( ) ∑ ∑ n-π u(x,0) = bnun(x,0) = bnsin L x = f(x). n=1 n=1

Example 4.6.1: Suppose that we have an insulated wire of length 1, such that the ends of the wire are embedded in ice (temperature 0). Let k = 0.003 . Then suppose that initial heat distribution is u(x,0) = 50x(1 - x) . See Figure 4.14.

 

PIC

Figure 4.14: Initial distribution of temperature in the wire.
 

We want to find the temperature function u(x, t) . Let us suppose we also want to find when (at what t ) does the maximum temperature in the wire drop to one half of the initial maximum of 12.5.

We are solving the following PDE problem:

ut = 0.003uxx, u(0,t) = u(1,t) = 0, u(x,0) = 5 0x(1 - x) for 0 < x < 1.

We write f(x) = 50x (1 - x) for 0 < x < 1 as a sine series. That is,  ∑ ∞ f(x) = n=1 bnsin (nπx ), where

 ( ∫ 1 20 0 200(- 1)n ||{0 if n even, bn = 2 5 0x(1 - x)sin(nπx) dx =-3-3-- ---3-3---= ||(-400 0 π n π n π3n3 if n odd.

PIC

Figure 4.15: Plot of the temperature of the wire at position x at time t .

The solution u(x,t) , plotted in Figure 4.15 for 0 ≤ t ≤ 100 , is given by the series:

 ∞ ∑ 400-- -n2π20.003t u(x, t) = π3n3 sin(nπx)e . nn=o1dd

Finally, let us answer the question about the maximum temperature. It is relatively easy to see that the maximum temperature will always be at x = 0.5 , in the middle of the wire. The plot of u(x,t) confirms this intuition.

If we plug in x = 0.5 we get

 ∑∞ u(0.5, t) = 400-sin(nπ0.5)e-n2π20.003t. n=1 π3n3 nodd

For n = 3 and higher (remember n is only odd), the terms of the series are insignificant compared to the first term. The first term in the series is already a very good approximation of the function. Hence

 400 2 u(0.5,t) ≈ --3 e-π 0.003t. π

The approximation gets better and better as t gets larger as the other terms decay much faster. Let us plot the function u(0.5,t) , the temperature at the midpoint of the wire at time t , in Figure 4.16. The figure also plots the approximation by the first term.


PIC

Figure 4.16: Temperature at the midpoint of the wire (the bottom curve), and the approximation of this temperature by using only the first term in the series (top curve).

After t = 5 or so it would be hard to tell the difference between the first term of the series for u(x, t) and the real solution u(x, t) . This behavior is a general feature of solving the heat equation. If you are interested in behavior for large enough t , only the first one or two terms may be necessary.

Let us get back to the question of when is the maximum temperature one half of the initial maximum temperature. That is, when is the temperature at the midpoint 12.5∕2 = 6.25 . We notice on the graph that if we use the approximation by the first term we will be close enough. We solve

 400 6.25 = ----e-π20.003t. π3

That is,

 ln 6.25π3- t =-----400-- ≈ 24.5. - π20.003

So the maximum temperature drops to half at about t = 24.5 .

We mention an interesting behavior of the solution to the heat equation. The heat equation “smoothes” out the function f (x ) as t grows. For a fixed t , the solution is a Fourier series with coefficients  -n2π2kt bne L2 . If t > 0 , then these coefficients go to zero faster than any 1- np for any power p . In other words, the Fourier series has infinitely many derivatives everywhere. Thus even if the function f(x) has jumps and corners, then for a fixed t > 0 , the solution u(x,t) as a function of x is as smooth as we want it to be.

4.6.3 Insulated ends

Now suppose the ends of the wire are insulated. In this case, we are solving the equation

ut = kuxx with ux(0,t) = 0, ux(L, t) = 0, and u(x,0) = f (x).

Yet again we try a solution of the form u(x,t) = X (x )T (t) . By the same procedure as before we plug into the heat equation and arrive at the following two equations

X′′(x) + λX(x) = 0, ′ T (t) + λkT (t) = 0.

At this point the story changes slightly. The boundary condition ux(0,t) = 0 implies  ′ X (0)T (t) = 0 . Hence X ′(0) = 0 . Similarly, ux(L, t) = 0 implies X ′(L) = 0 . We are looking for nontrivial solutions X of the eigenvalue problem X′′ + λX = 0 , X′(0) = 0 , X′(L) = 0 . We have previously found that the only eigenvalues are λ = n2π2 n L2 , for integers n ≥ 0 , where eigenfunctions are  ( ) co s nπx L (we include the constant eigenfunction). Hence, let us pick solutions

 (nπ ) Xn(x) = cos ---x and X0(x) = 1. L

The corresponding Tn must satisfy the equation

 ′ n2π2- Tn(t) + L2 kTn (t) = 0.

For n ≥ 1 , as before,

 2 2 Tn(t) = e-nLπ2-kt.

For n = 0 , we have T ′(t) = 0 0 and hence T (t) = 1 0 . Our building-block solutions will be

 (n π ) -n2π2- un(x,t) = Xn(x)Tn(t) = cos ---x e L2 kt, L

and

u0(x,t) = 1.

We note that  (nπ ) un(x, 0) = cos L x . Let us write f using the cosine series

 ∞ ( ) a0- ∑ nπ- f(x) = 2 + ancos L x . n=1

That is, we find the Fourier series of the even periodic extension of f(x) .

We use superposition to write the solution as

|--------------∞-------------------∞-------(----)--------| | a0- ∑ a0- ∑ nπ- -n2π22kt | |u (x,t) = 2 + anun(x,t) = 2 + an cos L x e L . | ---------------n=1----------------n=1---------------------

 

Example 4.6.2: Let us try the same equation as before, but for insulated ends. We are solving the following PDE problem

u = 0.003u , t xx ux(0,t) = ux(1,t) = 0, u(x,0) = 5 0x(1 - x) for 0 < x < 1.

For this problem, we must find the cosine series of u (x,0) . For 0 < x < 1 we have

 ∑∞ ( ) 50x (1 - x) = 25-+ --200 cos(nπx). 3 n=2 π2n2 neven

The calculation is left to the reader. Hence, the solution to the PDE problem, plotted in Figure 4.17, is given by the series

 ∞ ( ) 2-5 ∑ -20-0 -n2π20.003t u(x,t) = 3 + π2n2 cos(n πx)e . nn=ev2en

PIC

Figure 4.17: Plot of the temperature of the insulated wire at position x at time t .

Note in the graph that the temperature evens out across the wire. Eventually, all the terms except the constant die out, and you will be left with a uniform temperature of 25 ≈ 8.33 3 along the entire length of the wire.

4.6.4 Exercises

Exercise 4.6.2: Imagine you have a wire of length 2, with k = 0.00 1 and an initial temperature distribution of u(x,0) = 50x . Suppose that both the ends are embedded in ice (temperature 0). Find the solution as a series.

Exercise 4.6.3: Find a series solution of

ut = uxx, u(0,t) = u(1,t) = 0, u(x,0) = 100 for 0 < x < 1.

Exercise 4.6.4: Find a series solution of

ut = uxx, ux(0,t) = ux(π,t) = 0, u(x,0) = 3co s(x) + cos(3x ) for 0 < x < π.

Exercise 4.6.5: Find a series solution of

ut = 1-uxx, 3 ux(0, t) = ux(π, t) = 0, u(x,0) = 10x- for 0 < x < π. π

Exercise 4.6.6: Find a series solution of

ut = uxx, u (0,t) = 0, u(1,t) = 100, u (x,0) = sin(πx ) for 0 < x < 1.

Hint: Use the fact that u(x,t) = 100x is a solution satisfying ut = uxx , u(0,t) = 0 , u(1,t) = 1 00 . Then use superposition.

Exercise 4.6.7: Find the steady state temperature solution as a function of x alone, by letting t → ∞ in the solution from exercises 4.6.5 and 4.6.6. Verify that it satisfies the equation uxx = 0 .

Exercise 4.6.8: Use separation variables to find a nontrivial solution to uxx + uyy = 0 , where u(x,0) = 0 and u(0,y) = 0 . Hint: Try u(x,y) = X (x )Y (y) .

Exercise 4.6.9 (challenging): Suppose that one end of the wire is insulated (say at x = 0 ) and the other end is kept at zero temperature. That is, find a series solution of

ut = kuxx, ux(0,t) = u(L, t) = 0, u(x, 0) = f(x) for 0 < x < L.

Express any coefficients in the series by integrals of f(x) .

Exercise 4.6.10 (challenging): Suppose that the wire is circular and insulated, so there are no ends. You can think of this as simply connecting the two ends and making sure the solution matches up at the ends. That is, find a series solution of

ut = kuxx, u(0,t) = u(L,t), ux(0,t) = ux(L,t), u(x,0) = f (x) for 0 < x < L.

Express any coefficients in the series by integrals of f(x) .

Exercise 4.6.101: Find a series solution of

ut = 3uxx, u(0,t) = u(π,t) = 0, u(x,0) = 5sin(x) + 2sin(5x) for 0 < x < π.

Exercise 4.6.102: Find a series solution of

ut = 0.1uxx, ux(0,t) = ux(π,t) = 0, u(x,0) = 1 + 2 cos(x) for 0 < x < π.

Exercise 4.6.103: Use separation of variables to find a nontrivial solution to uxt = uxx .

Exercise 4.6.104: Use separation of variables (Hint: try u(x,t) = X (x) + T(t) ) to find a nontrivial solution to ux + ut = u .

You must to post a comment.
Last Modified
15:23, 7 Nov 2013

Tags

This page has no custom tags.

Classifications

Vet4
Lower Divisional

Creative Commons License UC Davis GeoWiki by University of California, Davis is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License. Permissions beyond the scope of this license may be available at copyright@ucdavis.edu. Terms of Use