Scribd
Upload
42 views

MIT18 152F11 Lec 03

The document discusses the uniqueness of solutions to the heat equation on a finite interval. It introduces spacetime domains called QT that play a role in the analysis. The main theorem states that solutions to the inhomogeneous heat equation are unique under various boundary conditions. The proof uses the energy method, which involves multiplying both sides of the equation by the difference w of two potential solutions and integrating to show the energy E(t) is non-increasing and must be zero. This implies w is zero everywhere, proving uniqueness. The energy method is a flexible strategy that applies to many PDEs and uniqueness can be shown without finding an explicit solution formula.

Uploaded by

Sujata Sarkar
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
42 views

MIT18 152F11 Lec 03

The document discusses the uniqueness of solutions to the heat equation on a finite interval. It introduces spacetime domains called QT that play a role in the analysis. The main theorem states that solutions to the inhomogeneous heat equation are unique under various boundary conditions. The proof uses the energy method, which involves multiplying both sides of the equation by the difference w of two potential solutions and integrating to show the energy E(t) is non-increasing and must be zero. This implies w is zero everywhere, proving uniqueness. The energy method is a flexible strategy that applies to many PDEs and uniqueness can be shown without finding an explicit solution formula.

Uploaded by

Sujata Sarkar
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

MATH 18.

152 COURSE NOTES - CLASS MEETING # 3

18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck

Class Meeting # 3: The Heat Equation: Uniqueness


1. Uniqueness
The results from the previous lecture produced one solution to the Dirichlet problem

 ut − uxx = 0, (t, x) ∈ (0, T ] × [0, 1],
(1.0.1) u(0, x) = x, x ∈ [0, 1],
u(t, 0) = 0, u(t, 1) = 0,

namely

∞
X 2 π2 t 2
(1.0.2) u(t, x) = (−1)m+1 e−m sin(mπx).
m=1
mπ
But how do we know that this is the only one? In other words, we need to answer the uniqueness
question (6) from the previous lecture. The next theorem addresses this question. We first need to
introduce some important spacetime domains that will play a role in the analysis.
Definition 1.0.1. Let Ω ⊂ Rn be a bounded spatial domain (i.e., an open connected subset of Rn ),
and let T > 0 be a time. We define the corresponding spacetime cylinder QT ⊂ R1+n by

def
(1.0.3) QT = (0, T ) × Ω.
We also define the parabolic boundary ∂p QT of QT as follows:
def
(1.0.4) ∂p QT = {0} × Ω ∪ (0, T ] × ∂Ω
= bottom of QT ∪ sides of QT .
Here, QT denotes the closure of QT in R1+n .
Theorem 1.1 (A uniqueness result for the heat equation on a finite interval). Solutions
u ∈ C 1,2 (QT ) to the inhomogeneous heat equation

(1.0.5) ∂t u − D∂x2 u = f (t, x)


are unique under Dirichlet, Neumann, Robin, or mixed conditions.
Remark 1.0.1. By u ∈ C 1,2 (QT ), we mean that the time derivatives of u(t, x) up to order 1 (the
first index) are continuously differentiable on QT and extend continuously to the closure of QT ,
and also that all spatial derivatives of u(t, x) up to order 2 (the second index) are continuously
differentiable on QT and extend continuously to the closure of QT . Unfortunately, these kind of
ugly technical details often play a role in PDE theory.
1
2 MATH 18.152 COURSE NOTES - CLASS MEETING # 3

Remark 1.0.2. In its current form Theorem, 1.1 is not quite strong enough to apply to the problem
(1.0.1). More precisely, the solution to that problem has a discontinuity at (0, 1), while Theorem
1.1 requires that the solutions are of class C 1,2 (QT ). Uniqueness does in fact hold in a certain sense
for the problem (1.0.1), but the because of the discontinuity, this issue is best addressed in a more
advanced course.
Proof. Let’s do the Dirichlet proof in the case D = 1. Assume we have two solutions to (1.0.5) with
specified Cauchy and Dirichlet data. Then by subtracting them and calling the difference w, we get
another solution w satisfying

 ∂t w − ∂x2 w = 0, (t, x) ∈ [0, T ] × [0, L],
(1.0.6) w(0, x) = 0, x ∈ [0, L],
 w(t, 0) = 0, w(t, L) = 0, t ∈ [0, T ].
We want to show that w(t, x) = 0 for (t, x) ∈ [0, T ] × [0, L]. We perform the following super-
important and very commonly used strategy: we multiply both sides of (1.0.6) by w and integrate
dx over the interval [0, L] to derive
Z Z
(1.0.7) w∂t w dx = w∂x2 w dx
[0,L] [0,L]

differentiate under the integral Z Z Z


d1 2
=⇒ w (t, x) dx = w∂t w dx = w∂x2 w dx
z }| {
dt 2 [0,L] [0,L] [0,L]
| {z }
integrate by parts
Z
=− (∂x w(t, x))2 dx + w(t, x)∂x w(t, x)|x=L
x=0
[0,L] | {z }
| {z } = 0 by bndry. cond.
≤0
≤ 0.
So if we define the energy
Z
def
(1.0.8) E(t) = w2 (t, x) dx,
[0,L]
| {z }
≥0

then we have shown that

d
(1.0.9) E(t) ≤ 0.
dt
But E(0) = 0 by the initial conditions of w. Therefore, E(t) = 0 for t ∈ [0, T ]. But since w2 (t, x) is
continuous and non-negative, it must be that w2 (t, x) = 0 for (t, x) ∈ [0, T ] × [0, L].

Remark 1.0.3. Broadly speaking, the strategy we have used in this proof is called the energy
method. It is a very flexible strategy that applies to many PDEs.
Note also that we did not need to know very much about the solution to conclude that it is
unique! In particular, we didn’t need to “find a formula” for the solution!
MATH 18.152 COURSE NOTES - CLASS MEETING # 3 3

Note also that E(t) is the square of the spatial L2 ([0, L]) norm of w at time t.
MIT OpenCourseWare
http://ocw.mit.edu

18.152 Introduction to Partial Differential Equations


Fall 2011

For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

You might also like