topics covered - duke universityjtwong/math356-2019/...math 356 lecture notes intro to pdes steady...

14
MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states Inhomogeneous BCs (time-independent) Reducing to homogeneous case with a ‘steady state’ Conservation of mass Laplace’s equation Definition; connection to heat equation Solution in a rectangle/square Use of the right basis function (sinh, translation) Eigenfunction vs. coefficient direction Superposition tricks Solvability for Laplace’s equation 1. Steady states The following both (a) a way to describe the limit as t →∞ for the heat equation and (b) a way to convert inhomogeneous problems into (easier) homogeneous ones. Consider the IBVP u t = u xx + h(x), x [0,‘], t> 0 u(0,t)= A, u(‘, t)= B, t> 0 u(x, 0) = f (x) (1.1) which describes heat flow with a time independent source h(x) and temperature fixed at both ends at different values A and B. Over time, the heat will diffuse and approach a ‘steady state’ (equilibrium): u(x) = lim t→∞ u(x, t). The key point is that the steady state is a solution to the PDE + BCs that does not depend on time. Taking t →∞, in the PDE, the u t term vanishes, leaving 0 = u xx + h(x), x [0,‘] u(0) = A, u()= B This is an ODE for u(x) that can be easily solved before dealing with the PDE, which suggests that it is a good way to handle the inhomogeneous terms. 1

Upload: others

Post on 24-Jan-2021

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

MATH 356 LECTURE NOTESINTRO TO PDES

STEADY STATES AND LAPLACE’S EQUATION

J. WONG (FALL 2019)

Topics covered

• Steady states◦ Inhomogeneous BCs (time-independent)◦ Reducing to homogeneous case with a ‘steady state’◦ Conservation of mass

• Laplace’s equation◦ Definition; connection to heat equation◦ Solution in a rectangle/square◦ Use of the right basis function (sinh, translation)◦ Eigenfunction vs. coefficient direction◦ Superposition tricks

• Solvability for Laplace’s equation

1. Steady states

The following both (a) a way to describe the limit as t → ∞ for the heat equation and(b) a way to convert inhomogeneous problems into (easier) homogeneous ones.

Consider the IBVP

ut = uxx + h(x), x ∈ [0, `], t > 0

u(0, t) = A, u(`, t) = B, t > 0

u(x, 0) = f(x)

(1.1)

which describes heat flow with a time independent source h(x) and temperature fixed atboth ends at different values A and B. Over time, the heat will diffuse and approach a‘steady state’ (equilibrium):

u(x) = limt→∞

u(x, t).

The key point is that the steady state is a solution to the PDE + BCs that doesnot depend on time. Taking t→∞, in the PDE, the ut term vanishes, leaving

0 = uxx + h(x), x ∈ [0, `]

u(0) = A, u(`) = B

This is an ODE for u(x) that can be easily solved before dealing with the PDE, whichsuggests that it is a good way to handle the inhomogeneous terms.

1

Page 2: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

2 J. WONG (FALL 2019)

Solution procedure: To start, look for a time-independent solution w(x) (not yet knownto be the steady state) to the PDE + BCs:

0 = wxx + h(x), x ∈ [0, `]

w(0) = A, w(`) = B(1.2)

Solve this ODE boundary value problem to get w(x) and then examine the difference

v(x, t) = u(x, t)− w(x).

The function v, by superposition, solves the homogeneous IBVP

vt = vxx, x ∈ [0, `], t > 0

v(0, t) = 0, v(`, t) = 0, t > 0

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

(1.3)

To see this, take the difference of each equation (PDE, BCs and IC) for u and u:{ut = uxx + h(x)

0 = uxx + h(x)=⇒ vt = vxx,{

u(0, t) = A

u(1) = A=⇒ v(0, t) = 0

with the same for the BC at x = ` and the initial conditions. Now (1.3) is the ‘easy case’(homogeneous PDE and BCs). The solution to the original IBVP (1.1) is then

u(x, t) = w(x) + v(x, t).

Analysis (steady state): Now suppose we wish to show that w(x) is the steady state forthe problem. We observed that, by taking t→∞ in the IBVP,

if a steady state u = limt→∞

exists, it must be w(x).

To verify that u is the computed function w(x), it suffices to show that

limt→∞

v(x, t) = 0.

Since v will have the form∑

n cn(t)φn(x), the limit can be shown by verifying that cn(t)→ 0for all n, which often means showing that

λn > 0 for all n.

Note that the steady state can be computed without solving the full problem.

Procedure (steady state): To solve problems for u with inhomogeneous terms that aretime-independent,

• Find a time-independent solution w to the PDE + BCs• Write the problem for the difference v = u− u• Solve this (homogeneous) problem

If a steady state exists, it must be u (as solved above). To show that it is the limit, showthat v(x, t)→ 0 as t→∞ (e.g. show λn > 0 for all n).

Even if u is not the limit, the procedure works, but then u has less significance.

Page 3: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

LAPLACE’S EQUATION 3

1.1. Standard example. A steady state is used to solve the inhomogeneous problem

ut = uxx − 6x, x ∈ (0, 1), t > 0

u(0, t) = 0, u(1, t) = 3, t > 0

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

We show that u converges to the steady state as t→∞. This is done in two parts:

Part 1: Find a time independent solution: Look for a time-independent solution

u(x, t) = w(x).

Plug into the PDE and BCs (ignore the initial condition) to get

wxx = 6x, w(0) = 0, w(1) = 3.

Integrate the ODE and apply the BCs to get

w(x) = x3 + ax+ b =⇒ w(x) = x3 + 2x. (1.4)

Part 2: Solve for the difference; verify the steady state: Now let

v(x, t) = u(x, t)− u(x).

By the superposition argument, v satisfies the homogeneous IBVP

vt = vxx, x ∈ (0, 1), t > 0

v(0, t) = 0, v(1, t) = 0, t > 0

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

This homogeneous problem (Dirichlet BCs) was solved before; the result is

v(x, t) =∞∑n=1

bne−λnt sinλnx, (1.5)

λn = n2π2, bn = 2

∫ 1

0

v(x, 0) sinnπx dx = 2

∫ 1

0

(f(x)− u(x)) sinπx dx.

The solution to the IBVP is then u(x, t) = w(x) + v(x, t).

Part 2b (analysis): Since all the eigenvalues are positive, it follows from (1.5) that

v(x, t) =∑

(exp. decaying terms) =⇒ limt→∞

v(x, t) = 0

so we can conclude that u(x) is really the steady state:

limt→∞

u(x, t) = w(x) + limt→∞

v(x, t) = w(x).

Remark (minimal version): Suppose we only wanted to know the steady state and verifythat it is th elimit. Then it suffices to solve for w(x) and show the eigenvalues are positive:

w(x) = x3 + 2x, λn = n2π2, n ≥ 1 =⇒ λn > 0

The rest of the solution (coefficients bn etc.) are not needed.

Page 4: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

4 J. WONG (FALL 2019)

1.2. When does the method fail? This trick works when there is a steady state but onlywhen the source term and boundary conditions do not depend on time. For instance,

ut = tuxx + sinx

cannot be solved using this method. Assuming ut = 0 is not enough since we also need totake t→∞ and we cannot find a u = w(x) that solves

tw′′(x) + sin x = 0.

The eigenfunction method must be used to find the steady state directly. Similarly, if

u(0, t) = sin t

then the problem for w(x) would have w(0) = sin t - not possible for a function of x.

1.3. Example (Non-uniqueness). It is not always true that the first step is enough tofind u(x). Consider the following problem with Neumann BCs:

ut = uxx + x− 1, x ∈ (0, 2), t > 0

ux(0, t) = 0, ux(2, t) = 0, t > 0

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

Solving for a time-independent solution w(x) (not yet known to be the steady state), we find

wxx = x− 1, w′(0) = 0, w′(2) = 0.

ODE =⇒ w = (x− 1)3/6 + ax+ b

BCs =⇒ w = (x− 1)3/6− 1

2x+ b.

Both BCs require only a = 1/2; the value of b appears arbitrary. The ‘limit of the PDE’procedure gives a set of possible equilibria w(x), one for each b ∈ R. The steady state u(x)is one of these equilibria - but the value of b is influenced by the initial condition.

Complete solution (the hard way): To find it directly, set

v = u− wand solve the homogeneous problem for v to get (as before)

v(x, t) =∞∑n=0

ane−λnt cos

nπx

2, λn = (nπ/2)2, n ≥ 0.

The eigenvalues are non-negative, so the limit as t → ∞ (there is a steady state), but then = 0 term of v survives the limit (λ0 = 0). Using the solution to compute u(x),

u(x) = limt→∞

u(x, t)

= w(x) +1

2

∫ 2

0

f(x) dx− 1

2

∫ 2

0

w(x) dx

=

(w(x)− 1

2

∫ 2

0

w(x) dx

)+

1

2

∫ 2

0

f(x) dx.

Page 5: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

LAPLACE’S EQUATION 5

Plugging in w(x), the unknown b cancels out, giving the (unique) steady state

u(x) =1

6(x− 1)3 − 1

2(x− 1) +

1

2

∫ 2

0

f(x) dx.

The clever way: There is some hidden structure that makes this work, motivating a nicersolution. Let h(x) = x− 1 and define the ‘(total) mass’

M(t) =

∫ 2

0

u(x, t) dx.

Integrating the PDE over the interval gives a statement of conservation of mass,

ut = uxx + h(x)

=⇒ ∂

∂t

(∫ 2

0

u(x, t) dx

)= ux(2, t)− ux(0, t) +

∫ 2

0

h(x) dx.

But the Neumann BCs mean the boundary terms vanish, and∫ 2

0h(x) dx = 0 here, so

dM

dt= 0 =⇒ M(t) is independent of t.

It follows that M has the same value at t = 0 and as t → ∞, so the PDE carries the valuefrom the initial condition all the way to the steady state:∫ 2

0

u dx = M =

∫ 2

0

f(x) dx.

Now when we solve for the time-independent solution

w(x) =1

6(x− 1)3 − 1

2x+ b

the ‘conserved mass’ condition M =∫ 2

0f(x) dx determines b:∫ 2

0

w(x) dx = M =⇒ b =1

2+

1

2

∫ 2

0

f(x) dx.

Mass conservation: Integrate the heat equation to get an expression for the ‘total mass’

M(t) =∫ bau(x, t) dx:

ut = uxx + h(x, t), x ∈ (a, b)

=⇒ ∂

∂t

(∫ b

a

u(x, t) dx

)= ux(b, t)− ux(a, t) +

∫ b

a

h(x, t) dx.

If the terms on the right are nice, we can deduce facts about M(t).Physically, this says that the amount of heat is conserved (rate of change in heat is equal torate in/out through the boundaries plus rate in from a source).

Page 6: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

6 J. WONG (FALL 2019)

1.4. Example (not a steady state): Consider an IBVP for the wave equation:

utt =uxx + 2, x ∈ (0, 1)

u(0, t) = 1, u(1, t) = 0

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

A time independent solution w(x) satisfies

w′′ + 2 = 0, w(0) = 1, w(1) = 0.

Solving this gives a solution to the PDE + BCs that is independent of t:

w(x) = 1− x2.Now set v = u(x, t)− w(x). Then, by superposition, v solves the homogeneous problem

vtt = vxx, x ∈ (0, 1)

v(0, t) = 0, v(1, t) = 0

v(x, 0) = f(x)− (1− x2)vt(x, 0) = g(x)

Solving this as in previous examples, the solution has the form

v(x, t) =∞∑n=1

(an cosωnt+ bn sinωnt)φn(x)

for the appropriately defined ωn’s etc. In particular, v(x, t) oscillates; it does not decay tozero, so w(x) is not a steady state.

Thus, the solution

u(x, t) = w(x) +∞∑n=1

(an cosωnt+ bn sinωnt)φn(x)

contains w(x) as one of its ‘parts’, but it oscillates around w(x) rather than converging.

Page 7: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

LAPLACE’S EQUATION 7

2. Laplace’s equation

In two dimensions the heat equation1 is

ut = α(uxx + uyy) = α∆u

where ∆u = uxx + uyy is the Laplacian of u (the operator ∆ is the ’Laplacian’). If thesolution reaches an equilibrium, the resulting steady state will satisfy

uxx + uyy = 0. (2.1)

This equation is Laplace’s equation in two dimensions, one of the essential equations inapplied mathematics (and the most important for time-independent problems). Note thatin general, the Laplacian for a function u(x1, · · · , xn) in Rn → R is defined to be the sum ofthe second partial derivatives:

∆u =n∑j=1

∂2u

∂x2j.

Laplace’s equation is then compactly written as

∆u = 0.

The inhomogeneous case, i.e.

∆u = f

the equation is called Poisson’s equation. Note that the steady states of the previoussection in 1d, e.g.

ut = uxxt→∞−−−→ 0 = uxx

lead to Laplace’s equation in 1d (we did not name it as such since it is just an ODE in x;things are more interesting in 2d!).

Innumerable physical systems are described by Laplace’s equation or Poisson’s equation,beyond steady states for the heat equation: inviscid fluid flow (e.g. flow past an airfoil),stress in a solid, electric fields, wavefunctions (time independence) in quantum mechanics,and more.

The two differences with the wave equation

utt = c2uxx

are:

• We specify boundary conditions in both directions, not initial conditions in t.• There is an opposite sign; we have uxx = −uyy rather than utt = c2uxx.

The first point changes the way the problem is solved slightly; the second point changes theanswer. Note that there is also no coefficient, but this is not really important (we can justas easily solve uxx + k2uyy = 0).

1The derivation follows the same argument made in one dimension, but using the divergence theoreminstead of the fundamental theorem of calculus.

Page 8: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

8 J. WONG (FALL 2019)

2.1. Solution in a rectangle. We can solve Laplace’s equation in a bounded domain bythe same techniques used for the heat and wave equation.

Consider the following boundary value problem in a square of side length 1:

0 = uxx + uyy, x ∈ (0, 1), y ∈ (0, 1)

u(x, 0) = 0, u(x, 1) = 0, x ∈ (0, 1)

u(0, y) = 0, u(1, y) = f(y), y ∈ (0, 1).

The boundary conditions are all homogeneous (shown in blue above) except on the rightedge (y = 0)). Motivated by this, we will try to get eigenfunctions φ(y), since the eigenvalueproblem requires us to impose homogeneous boundary conditions.

Look for a separated solution

u = g(x)φ(y).

Substitute into the PDE to get

0 = g′′(x)φ(y) + g(x)h′′(y)

and then separate:

−h′′(y)

φ(y)=g′′(x)

g(x)= λ.

This leads to the pair of ODEs

φ′′(y) + λφ(y) = 0, g′′(x) = λg(x).

Applying the boundary conditions on the sides x = 0 and x = 1, we get the BVP

φ′′(y) + λφ(y) = 0, φ(0) = φ(1) = 0.

We know the solutions to the above; they are

φn(y) = sinnπy, λn = n2π2, n ≥ 1.

Now we solve for g for each λn. Note that there is only one boundary condition (at x = 1);we leave the f(x) condition for later (it will require using the full series). We solve

g′′ − n2π2g = 0, g(0) = 0

Page 9: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

LAPLACE’S EQUATION 9

to get

gn(x) = an sinhnπx.

The solution

un = gn(x)φn(y)

satisfies the PDE and all the boundary conditions except u(x, 0) = f(x). To satisfy this, weneed to write u as a sum all of the separated solutions gnφn:

u(x, y) =∞∑n=1

an sinhnπx sinnπy.

Now apply u(1, y) = f(y) (the boundary condition at x = 1) to get

f(x) =∞∑n=1

an sinhnπ sinnπy.

Note that the functions φn = sinπy are orthogonal in L2[0, 1] (we have shown this severaltimes at this point!). As always, take inner products of both sides with hm = sinmπy to getthe coefficients:

〈f, hm〉 = (am sinhmπ) 〈hm, hm〉

so

an =1

sinhnπ

〈f, φn〉〈φn, φn〉

, n ≥ 1.

Remark (convergence): In terms of the eigenfunction basis (set φn = sinnπy; the basisis {φn(y)}), we have

u(x, y) =∞∑n=1

an sinhnπxφn(y).

Unlike the heat equation, the coefficients have an sinhπx, which contains a positive expo-nential (sinhnπx ∼ enπ|x|/2 as n→∞). However, the an’s have a sinhnπ in the denominator,which makes sure the coefficients are small enough that the series convergences. it can beshown that

an =sinhnπx

sinhnπdecays exponentially as n→∞

for x in the domain. This is true since as n → ∞, the numerator grows like enπ|x|/2 whilethe denominator grows like enπ/2, so if |x| < 1 the rate is faster for the denominator.

2.2. Rectangle, with more boundary conditions. Let’s return to the rectangle exampleand consider how to solve the problem when there are inhomogeneous boundary conditionsapplied at all the sides for Laplace’s equation in a rectangle of width A and height B:

0 = uxx + uyy, x ∈ (0, a), y ∈ (0, b)

u(x, 0) = f1(x), u(x, 1) = f2(x), x ∈ (0, A)

u(0, y) = g1(y), u(1, y) = g2(y), y ∈ (0, B).

(2.2)

Page 10: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

10 J. WONG (FALL 2019)

Both pairs of opposite sides (in blue and red above) could have non-homogeneous BCs. Ourmethod only works if one of those pairs is homogeneous.

To solve (2.2), we use superposition and break the problem up into parts. Each partwill take care of one (or two) of the boundaries and leave all the others zero. When addedtogether, the sum of the parts will satisfy all the boundary conditions.

We find v, w solving

0 = vxx + vyy, x ∈ (0, A), y ∈ (0, B)

v(x, 0) = 0, v(x,B) = 0, x ∈ (0, A)

v(0, y) = g1(y), v(A, y) = g2(y), y ∈ (0, B).

(2.3)

0 = wxx + wyy, x ∈ (0, A), y ∈ (0, B)

w(x, 0) = f1(x), w(x,B) = f2(x), x ∈ (0, A)

w(0, y) = 0, w(A, y) = 0, y ∈ (0, B).

(2.4)

The sum u = v + w is then the solution to (2.2). The solutions u along with v, w for aspecific choice of initial condition are shown in Figure 1.

Solving for v: To solve (2.3), look for a separated solution

v = h(x)φ(y).

This leads to the boundary value problem

φ′′ + λφ = 0, φ(0) = φ(b) = 0.

The solutions are

φn(y) = sinnπy

B, λn = n2π2/B2.

There are no boundary conditions we can apply for h (both boundaries have inhomogeneousterms), which satisfies

h′′n − λnhn = 0,

so we take the general solution. Set µn = nπ/a. The right choice of basis for solutions to theODE has one basis function vanish at x = 0 and the other at x = A:

hn(x) = an sinh(µn(A− x)) + bn sinhµnx.

Page 11: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

LAPLACE’S EQUATION 11

See subsection 2.3 for details. Adding up all the separated solutions, the solution for v is

v(x, y) =∞∑n=1

[an sinh(µn(A− x)) + bn sinh(µnx)

]φn(y).

The sinh here is nice as only one set of coefficients matters at each boundary. At x = 0:

g1(y) = v(0, y) =∞∑n=1

an sinh(µn)φn(y)

=⇒ an sinhµn =〈g1, φn〉〈φn, φn〉

=2

B

∫ B

0

g1(y) sinnπy

Bdy.

where 〈f, g〉 is the inner product on L2[0, B]. At the x = A boundary:

g2(y) = v(A, y) =∞∑n=1

bn sinh(µnA)φn(y)

=⇒ bn sinh(µnA) =〈g2, φn〉〈φn, φn〉

=2

B

∫ B

0

g2(y) sinnπy

Bdy.

Finding w that solves (2.4) is the same process, and one gets a similar expression (left as anexercise). Finally, the solution to the original problem (2.2) is

u = v + w

which will have the form

u =∞∑n=1

hn(x)φn(y) +∞∑n=1]

qn(y)ψn(x)

for eigenfunctions φn(y) = sin(nπy/B) and ψn(x) = sinnπx/A, each used to solve the ‘half’problems for v and w separately.

2.3. Choosing the right basis. 1 The right choice of basis simplifies work. Foe example,

g′′ − µ2g = 0, g′(1) = A, g(2) = B. (2.5)

can help simplify the work. The solution here is, in the usual form

g(x) = c1eµx + c2e

−µx.

Ideally, we want each BC to solve for one coefficient. The form above does not help much,yielding the system [

eµ −e−µe2µ e−2µ

] [c1c2

]=

[AB

].

However, if we choose the basis functions as

g(x) = c1g1(x) + c2g2(x)

where g1 is zero when plugged into the right BC and g2 is zero when plugged into the leftBC, it is simpler:

A = g′(1) = c1g′1(1) + c2g

′2(1) = c1g

′1(1) =⇒ A = · · ·

B = g(2) = c1g1(2) + c2g2(2) = c2g2(2) =⇒ B = · · ·Two observations are useful here for LCC equations only,

Page 12: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

12 J. WONG (FALL 2019)

• If g(x) is a solution so is g(x− a) for any a (why?)• If e±µx are solutions so are sinhµx, coshµx.

Note that sinhµx and cosh′ µx are zero at x = 0. Thus for (2.5), if we write

g(x) = c1 sinh(µ(x− 1)) + c2 cosh(µ(x− 2))

then the solution is just

g(x) = A sinh(µ(x− 1)) +B cosh(µ(x− 2)).

The two solutions chosen are guaranteed to be linearly independent (exercise: explain this).

Figure 1. Solution u to (2.2) and the solutions v and w to (2.3) and (2.4)for f1 = f2 = x(1− x) and g1 = g2 = y(1− y).

Page 13: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

LAPLACE’S EQUATION 13

3. Solvability

Consider a rectangular box [0, 2]× [0, 1] and suppose it is insulated - heat is not allowed toescape out of any boundary - except for a source of heat entering on the right (e.g. a roomwith a window). This is modeled by the Neumann problem

0 = uxx + uyy, x ∈ (0, 2), y ∈ (0, 1)

uy(x, 0) = 0, uy(x, 1) = 0, x ∈ (0, 2)

ux(0, y) = f(y), ux(2, y) = g(y), y ∈ (0, 1).

(3.1)

The eigenfunction direction is y (homogeneous BCs) and no superposition tricks are needed.Following the same process as the previous examples, we obtain the solution. Note that{

cn(x) = an cosh(nπ(x− 2)) + bn cosh(nπ) for n ≥ 1

c0(x) = a0 + b0x for n = 0

due to the zero eigenvalue. The solution (before applying the inhom. BCs) is

u(x, y) = a0 + b0x+∞∑n=0

cn(x)φn(y)

Let’s see what happens when we try to impose the BCs. First expand f, g:

f(y) = f0 +∞∑n=1

fnφn(y), g(y) = g0 +∞∑n=1

gnφn(y).

where fn, gn are given by the usual formulas. Now apply the BCs:

f(y) = ux(0, y) =⇒ f0 +∞∑n=1

(· · · ) = b0 +∞∑n=1

(· · · )

The a0 coefficient is gone for both, and both equations give conditions on b0:

f0 = b0 = g0.

It follows thata0 is arbitrary and f0 = g0.

The second condition is called a solvability condition because it is a constraint on theboundary conditions. A solution only exists when f0 = g0, or equivalently,

a solution to (3.1) exists iff

∫ 1

0

f(y) dy =

∫ 1

0

g(y) dy.

When this occurs: The issue arises only in pure Neumann problems (Neumann BCs at allboundaries). First ,we need a zero eigenvalues (Neumann in one direction). Then, we needderivatives on the other BCs that kill off the constant term.

Note that the arbitrary a0 means the solution is not unique. Again, this makes sense:as a steady state of the heat equation, there is a solution for any total amount of heat∫ ∫

u dx dy.Or, you can just observe that the constant function is clearly a solution becauseu(x, y) = a disappears from the derivatives in all parts of the equation (PDE and BCs), souxx + uyy = 0 trivially (same for BCs)¿

Page 14: Topics covered - Duke Universityjtwong/math356-2019/...MATH 356 LECTURE NOTES INTRO TO PDES STEADY STATES AND LAPLACE’S EQUATION J. WONG (FALL 2019) Topics covered Steady states

14 J. WONG (FALL 2019)

Physical interpretation: The heat flux through the boundary is

F = −∇u · n, n = normal out of the boundary.

Consider the quantity that has to be zero:∫ 1

0

f(y)−∫ 1

0

g(y) dy =

∫left face

∇u · n dy +

∫right face

∇u · n dy = net flux into the box

since n = −x̂ on the left face and n = x̂ on the right face. The solvability condition saysthat the net flux into the box must be zero. Laplace’s equation describes a steady stateof the heat equation so this makes sense - with a net flux, the amount of heat changes in time.

More clever proof: Write the PDE as

0 = (ux)x + (uy)y = ∇ · (∇u)

where ∇· is the divergence. Then integrate over the box B = [0, 2] × [0, 1] and use thedivergence theorem:

0 =

∫B

∇ · ∇u dA =

∫P

∇u · n dS

where P is the perimeter of the box and n is the outward normal. Thus, the net flux throughthe boundary (the RHS above) muste zero.

Writing out the integral over P explicitly, we get∫P

∇u · n dS =

∫left

+

∫right

+

∫top

+

∫bottom

=

∫ 1

0

f(y) dy +

∫ 1

0

−g(y) dy + 0 + 0.