Scribd
Upload
62 views4 pages

MIT18 152F11 Lec 04

The document summarizes key properties of solutions to the heat equation, including the weak maximum principle and comparison principle. The weak maximum principle states that the maximum of a solution is achieved on the parabolic boundary of the region, not in the interior. The comparison principle shows that if two solutions have different inhomogeneous terms, the solution with the larger term will be uniformly larger. It also establishes stability of solutions, bounding the difference of two solutions by the difference of their boundary values and inhomogeneous terms.

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
62 views4 pages

MIT18 152F11 Lec 04

The document summarizes key properties of solutions to the heat equation, including the weak maximum principle and comparison principle. The weak maximum principle states that the maximum of a solution is achieved on the parabolic boundary of the region, not in the interior. The comparison principle shows that if two solutions have different inhomogeneous terms, the solution with the larger term will be uniformly larger. It also establishes stability of solutions, bounding the difference of two solutions by the difference of their boundary values and inhomogeneous terms.

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 # 4

18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck

Class Meeting #4: The Heat Equation: The Weak Maximum Principle
1. The Weak Maximum Principle
We will now study some important properties of solutions to the heat equation ∂t u−D∆u = 0. For
simplicity, we sometimes only study the case of 1 + 1 spacetime dimensions, even though analogous
properties are verified in higher dimensions.
def
Theorem 1.1 (Weak Maximum Principle). Let Ω ⊂ Rn be a domain. Recall that QT =
def
(0, T ) × Ω is a spacetime cylinder and that ∂p QT = {0} × Ω ∪ (0, T ] × ∂Ω is its corresponding
parabolic boundary. Let w ∈ C 1,2 (QT ) ∩ C(QT ) be a solution to the (possibly inhomogeneous) heat
equation

(1.0.1) wt − D∆w = f,
where f ≤ 0. Then w(t, x) obtains its max in the region QT on ∂p QT . Thus, if w is strictly negative
on ∂p QT , then w is strictly negative on QT .
Proof. For simplicity, we consider only case of 1 + 1 spacetime dimensions. Let  be a positive
number, and let u = w − t. Our goal is to first study u, and then take a limit as  ↓ 0 to extract
information about w. Note that on QT we have u ≤ w, that w ≤ u + T, and that in QT we have

(1.0.2) ut − Duxx = f −  < 0.


We claim that the maximum of u on QT − occurs on ∂p QT − . To verify the claim, suppose that
u(t, x) has its max at (t0 , x0 ) ∈ QT − . We may assume that 0 < t0 ≤ T − , since if t0 = 0 the claim
is obviously true. Under this assumption, we have that u < w and that w ≤ u + T. Similarly, we
may also assume that x ∈ Ω, since otherwise we would have (t, x) ∈ ∂p QT − , and the claim would
be true.
Then from vector calculus, ux (t0 , x0 ) must be equal to 0. Furthermore, ut (t0 , x0 ) must also be
equal to 0 if t0 < T − , and ut (t0 , x0 ) ≥ 0 if t0 = T − . Now since u(t0 , x0 ) is a maximum value,
we can apply Taylor’s remainder theorem in x to deduce that for x near x0 , we have

(1.0.3) u(t0 , x) − u(t0 , x0 ) = ux |t0 ,x0 (x − x0 ) +uxx |t0 ,x∗ (x − x0 )2 ≤ 0,


| {z }
0

where x∗ is some point in between x0 and x. Therefore, uxx (t0 , x∗ ) ≤ 0, and by taking the limit as
x → x0 , it follows that uxx (t0 , x0 ) ≤ 0. Thus, in any possible case, we have that

(1.0.4) ut (t0 , x0 ) − Duxx (t0 , x0 ) ≥ 0,


1
2 MATH 18.152 COURSE NOTES - CLASS MEETING # 4

which contradicts (1.0.2).


Using u ≤ w and that fact that ∂p QT − ⊂ ∂p QT , we have thus shown that

(1.0.5) max u = max u ≤ max w ≤ max w.


QT − ∂p QT − ∂p QT − ∂p Q T

Using (1.0.5) and w ≤ u + T, we also have that


(1.0.6) max w ≤ max u + T ≤ T + max w.
QT − QT − ∂p Q T

Now since w is uniformly continuous on QT , we have that

(1.0.7) max w ↑ max w


QT − QT

as  ↓ 0. Thus, allowing  ↓ 0 in inequality (1.0.6), we deduce that

(1.0.8) max w = lim max w ≤ lim(T + max w) = max w ≤ max w.


QT ↓0 QT − ↓0 ∂p Q T ∂p Q T QT

Therefore, all of the inequalities in (1.0.8) can be replaced with equalities, and

(1.0.9) max w = max w


QT ∂p Q T

as desired.

The following very important corollary shows how to compare two different solutions to the heat
equation with possibly different inhomogeneous terms. The proof relies upon the weak maximum
principle.
Corollary 1.0.1 (Comparison Principle and Stability). Suppose that v, w are solutions to the
heat equations

(1.0.10) vt − Dvxx = f,
(1.0.11) wt − Dwxx = g.
Then
(1) (Comparison): If v ≥ w on ∂p QT and f ≥ g, then v ≥ w on all of QT .
(2) (Stability): maxQT |v − w| ≤ max∂p QT |v − w| + T maxQT |f − g|.
Proof. One of the things that makes linear PDEs relatively easy to study is that you can add or
def
subtract solutions: Setting u = w − v, we have

(1.0.12) ut − Duxx = g − f ≤ 0.
Then by Theorem 1.1, since u ≤ 0 on ∂p QT we have that u ≤ 0 on QT . This proves (1).
def def
To prove (2), we define M = maxQT |f − g |, u = w − v − tM and note that
MATH 18.152 COURSE NOTES - CLASS MEETING # 4 3

(1.0.13) ut − Duxx = g − f − M ≤ 0.
Thus, by Theorem 1.1, we have that

(1.0.14) max u = max u ≤ max |w − v |.


QT ∂p Q T ∂p QT

Thus, subtracting and adding tM, we have

(1.0.15) max w − v ≤ max(w − v − tM ) + max tM ≤ max |w − v| + T M .


QT QT QT ∂p QT

def
Similarly, by setting u = v − w − tM, we can show that

(1.0.16) max v − w ≤ max |w − v | + T M.


QT ∂p Q T

Combining (1.0.15) and (1.0.16), and recalling the definition of M, we have shown (2).

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

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy