[Notes on Diffy Qs home] [PDF version] [Buy paperback on Amazon]

[next] [prev] [prev-tail] [tail] [up]

4.9 Steady state temperature and the Laplacian

Note: 1 lecture, §9.7 in [EP], §10.8 in [BD]

Suppose we have an insulated wire, a plate, or a 3-dimensional object. We apply certain fixed temperatures on the ends of the wire, the edges of the plate, or on all sides of the 3-dimensional object. We wish to find out what is the steady state temperature distribution. That is, we wish to know what will be the temperature after long enough period of time.

We are really looking for a solution to the heat equation that is not dependent on time. Let us first solve the problem in one space variable. We are looking for a function u that satisfies

ut = kuxx,

but such that ut = 0 for all x and t . Hence, we are looking for a function of x alone that satisfies uxx = 0 . It is easy to solve this equation by integration and we see that u = Ax + B for some constants A and B .

Suppose we have an insulated wire, and we apply constant temperature T 1 at one end (say where x = 0 ) and T2 on the other end (at x = L where L is the length of the wire). Then our steady state solution is

u (x) = T-2 −-T1x + T1. L

This solution agrees with our common sense intuition with how the heat should be distributed in the wire. So in one dimension, the steady state solutions are basically just straight lines.

Things are more complicated in two or more space dimensions. Let us restrict to two space dimensions for simplicity. The heat equation in two space variables is

ut = k(uxx + uyy),
(4.18)

or more commonly written as ut = kΔu or  2 ut = k∇ u . Here the Δ and  2 ∇ symbols mean ∂2- ∂2- ∂x2 + ∂y2 . We will use Δ from now on. The reason for using such a notation is that you can define Δ to be the right thing for any number of space dimensions and then the heat equation is always ut = kΔu . The operator Δ is called the Laplacian.

OK, now that we have notation out of the way, let us see what does an equation for the steady state solution look like. We are looking for a solution to (4.18) that does not depend on t , or in other words ut = 0 . Hence we are looking for a function u(x,y) such that

|--------------------| --Δu-=-uxx +-uyy-=-0.-

This equation is called the Laplace equation5. Solutions to the Laplace equation are called harmonic functions and have many nice properties and applications far beyond the steady state heat problem.

Harmonic functions in two variables are no longer just linear (plane graphs). For example, you can check that the functions  2 2 x − y and xy are harmonic. However, if you remember your multi-variable calculus we note that if uxx is positive, u is concave up in the x direction, then uyy must be negative and u must be concave down in the y direction. Therefore, a harmonic function can never have any “hilltop” or “valley” on the graph. This observation is consistent with our intuitive idea of steady state heat distribution; the hottest or coldest spot will not be inside.

Commonly the Laplace equation is part of a so-called Dirichlet problem6. That is, we have a region in the xy -plane and we specify certain values along the boundaries of the region. We then try to find a solution u defined on this region such that u agrees with the values we specified on the boundary.

For simplicity, we consider a rectangular region. Also for simplicity we specify boundary values to be zero at 3 of the four edges and only specify an arbitrary function at one edge. As we still have the principle of superposition, we can use this simpler solution to derive the general solution for arbitrary boundary values by solving 4 different problems, one for each edge, and adding those solutions together. This setup is left as an exercise.

We wish to solve the following problem. Let h and w be the height and width of our rectangle, with one corner at the origin and lying in the first quadrant.

Δu = 0, (4.19) u(0,y) = 0 for 0 < y < h, (4.20) u(x,h) = 0 for 0 < x < w, (4.21) u(w,y) = 0 for 0 < y < h, (4.22) u(x,0) = f(x) for 0 < x < w. (4.23)
PIC

The method we apply is separation of variables. Again, we will come up with enough building-block solutions satisfying all the homogeneous boundary conditions (all conditions except (4.23)). We notice that superposition still works for the equation and all the homogeneous conditions. Therefore, we can use the Fourier series for f(x) to solve the problem as before.

We try u(x,y) = X(x)Y(y) . We plug u into the equation to get

 ′′ ′′ X Y + XY = 0.

We put the X s on one side and the Y s on the other to get

 X′′ Y′′ − X = Y .

The left hand side only depends on x and the right hand side only depends on y . Therefore, there is some constant λ such that λ = −X′′= Y′′ X Y . And we get two equations

X ′′ + λX = 0, ′′ Y − λY = 0.
Furthermore, the homogeneous boundary conditions imply that X(0) = X (w) = 0 and Y (h) = 0 . Taking the equation for X we have already seen that we have a nontrivial solution if and only if  n2π2 λ = λn = w2- and the solution is a multiple of
 ( ) nπ- Xn(x) = sin w x .

For these given λ n , the general solution for Y (one for each n ) is

 (nπ ) (nπ ) Yn(y) = An cosh ---y + Bn sin h ---y . w w
(4.24)

We only have one condition on Yn and hence we can pick one of An or Bn to be something convenient. It will be useful to have Y (0) = 1 n , so we let A = 1 n . Setting Y (h) = 0 n and solving for B n we get that

 (nπh) −-cosh--w-- Bn = (nπh) . sinh w

After we plug the An and Bn we into (4.24) and simplify, we find

 (nπ(h−y)) sinh----w--- Yn(y) = (nπh) . sinh w

We define un(x,y) = Xn (x )Yn(y) . And note that un satisfies (4.19)–(4.22).

Observe that

 ( ) nπ- un(x,0) = Xn (x)Yn(0) = sin w x .

Suppose

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

Then we get a solution of (4.19)–(4.23) of the following form.

|--------------------------------------------------------| | ∞∑ ∑∞ ( ) (|sinh (nπ(h−y)))| | | u(x,y) = b u (x,y) = b sin nπ-x ||||-----(-w-)-||||. | | n n n w |( sinh nπh |) | -----------n=1------------n=1---------------------w-------

As un satisfies (4.19)–(4.22) and any linear combination (finite or infinite) of un must also satisfy (4.19)–(4.22), we see that u must satisfy (4.19)–(4.22). By plugging in y = 0 it is easy to see that u satisfies (4.23) as well.

Example 4.9.1: Suppose that we take w = h = π and we let f (x) = π . We compute the sine series for the function π (we will get the square wave). We find that for 0 < x < π we have

 ∑∞ f(x) = 4sin(nx). n nn=od1d

Therefore the solution u(x,y) , see Figure 4.22, to the corresponding Dirichlet problem is given as

 ∞ ( ( )) ∑ 4- sinh-n(π −-y)- u(x,y) = n sin(nx) sinh (n π) . nn=od1d


PIC

Figure 4.22: Steady state temperature of a square plate with three sides held at zero and one side held at π .


This scenario corresponds to the steady state temperature on a square plate of width π with 3 sides held at 0 degrees and one side held at π degrees. If we have arbitrary initial data on all sides, then we solve four problems, each using one piece of nonhomogeneous data. Then we use the principle of superposition to add up all four solutions to have a solution to the original problem.

A different way to visualize solutions of the Laplace equation is to take a wire and bend it so that it corresponds to the graph of the temperature above the boundary of your region. Cut a rubber sheet in the shape of your region—a square in our case—and stretch it fixing the edges of the sheet to the wire. The rubber sheet is a good approximation of the graph of the solution to the Laplace equation with the given boundary data.

4.9.1 Exercises

Exercise 4.9.1: Let R be the region described by 0 < x < π and 0 < y < π . Solve the problem

Δu = 0, u(x,0) = sin x, u(x,π ) = 0, u (0,y) = 0, u(π,y) = 0.

Exercise 4.9.2: Let R be the region described by 0 < x < 1 and 0 < y < 1 . Solve the problem

uxx + uyy = 0, u(x,0) = sin(πx ) − sin(2πx ), u(x,1) = 0, u(0,y) = 0, u(1,y) = 0.

Exercise 4.9.3: Let R be the region described by 0 < x < 1 and 0 < y < 1 . Solve the problem

uxx + uyy = 0, u (x,0 ) = u(x,1) = u(0,y) = u(1,y) = C.
for some constant C . Hint: Guess, then check your intuition.

Exercise 4.9.4: Let R be the region described by 0 < x < π and 0 < y < π . Solve

Δu = 0, u(x,0) = 0, u(x,π) = π, u(0,y) = y, u(π,y) = y.

Hint: Try a solution of the form u(x, y) = X (x) + Y(y) (different separation of variables).

Exercise 4.9.5: Use the solution of Exercise 4.9.4 to solve

Δu = 0, u (x,0 ) = sinx, u (x,π ) = π, u(0, y) = y, u(π,y) = y.

Hint: Use superposition.

Exercise 4.9.6: Let R be the region described by 0 < x < w and 0 < y < h . Solve the problem

uxx + uyy = 0, u (x,0 ) = 0, u (x,h ) = f(x), u (0,y) = 0, u (w, y) = 0.
The solution should be in series form using the Fourier series coefficients of f(x) .

Exercise 4.9.7: Let R be the region described by 0 < x < w and 0 < y < h . Solve the problem

uxx + uyy = 0, u (x,0 ) = 0, u (x,h ) = 0, u (0,y) = f(y), u(w,y) = 0.
The solution should be in series form using the Fourier series coefficients of f(y) .

Exercise 4.9.8: Let R be the region described by 0 < x < w and 0 < y < h . Solve the problem

uxx + uyy = 0, u (x,0 ) = 0, u (x,h ) = 0, u (0,y) = 0, u(w, y) = f (y).
The solution should be in series form using the Fourier series coefficients of f(y) .

Exercise 4.9.9: Let R be the region described by 0 < x < 1 and 0 < y < 1 . Solve the problem

uxx + uyy = 0, u (x,0 ) = sin(9 πx), u(x,1) = sin(2πx), u (0,y) = 0, u(1,y) = 0.
Hint: Use superposition.

Exercise 4.9.10: Let R be the region described by 0 < x < 1 and 0 < y < 1 . Solve the problem

uxx + uyy = 0, u(x, 0) = sin(πx), u(x,1) = sin(πx), u(0, y) = sin(πy ), u(1,y) = sin(πy).
Hint: Use superposition.

Exercise 4.9.11 (challenging): Using only your intuition find u(1∕2,1∕2) , for the problem Δu = 0 , where u(0,y) = u(1,y) = 10 0 for 0 < y < 1 , and u(x,0) = u(x,1) = 0 for 0 < x < 1 . Explain.

Exercise 4.9.101: Let R be the region described by 0 < x < 1 and 0 < y < 1 . Solve the problem

 ∑∞ Δu = 0, u (x,0 ) = 1-sin(nπx), u(x,1) = 0, u(0,y) = 0, u(1,y) = 0. n2 n=1

Exercise 4.9.102: Let R be the region described by 0 < x < 1 and 0 < y < 2 . Solve the problem

Δu = 0, u(x, 0) = 0.1sin(πx), u(x,2) = 0, u(0,y) = 0, u(1,y) = 0.

5Named after the French mathematician Pierre-Simon, marquis de Laplace (1749–1827).

6Named after the German mathematician Johann Peter Gustav Lejeune Dirichlet (1805–1859).