Partial Differentials Notes_Part_4

# Partial Differentials Notes_Part_4 - Theorem 12.1 Suppose u...

This preview shows pages 1–2. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Theorem 12.1. Suppose u ( t, x, y ) is a solution to the forced heat equation u t = γ Δ u + F ( t, x, y ) , for ( x, y ) ∈ Ω , < t < c, where Ω is a bounded domain, and γ > . Suppose F ( t, x, y ) ≤ for all ( x, y ) ∈ Ω and ≤ t ≤ c . Then the global maximum of u on the set { ( t, x, y ) | ( x, y ) ∈ Ω , ≤ t ≤ c } , occurs either when t = 0 , or at a boundary point ( x, y ) ∈ ∂ Ω . Proof : First, let us prove the result under the assumption that F ( t, x, y ) < 0 ev- erywhere. At a local interior maximum, u t = 0, and, since its Hessian matrix must be negative semi-definite, u xx , u yy ≤ 0, which would imply that u t − γ Δ u ≥ 0. If the maxi- mum were to occur when t = c , then u t ≥ 0 there, and also u xx , u yy ≤ 0, leading again to a contradiction. To generalize to the case when F ( t, x, y ) ≤ 0, which includes the heat equation when F ( t, x, y ) ≡ 0, set v ( t, x, y ) = u ( t, x, y ) + ε ( x 2 + y 2 ) , where ε > . Then, ∂v ∂t = γ Δ v − 4 γ ε + F ( t, x, y ) = γ Δ v + tildewide F ( t, x, y ) , where tildewide F ( t, x, y ) = F ( t, x, y ) − 4 γ ε < . Thus, by the previous paragraph, the maximum of v occurs either when t = 0 or at a boundary point ( x, y ) ∈ ∂ Ω. Now we let ε → 0 and conclude the same for u . More precisely, let u ( t, x, y ) ≤ M on t = 0 or ( x, y ) ∈ ∂ Ω. Then v ( t, x, y ) ≤ M + C ε where C = max braceleftbig x 2 + y 2 vextendsingle vextendsingle ( x, y ) ∈ ∂ Ω bracerightbig is finite since Ω is a bounded domain. Thus, u ( t, x, y ) ≤ v ( t, x, y ) ≤ M + C ε....
View Full Document

## This note was uploaded on 02/10/2012 for the course MATH 5587 taught by Professor Olver during the Fall '10 term at University of Central Florida.

### Page1 / 3

Partial Differentials Notes_Part_4 - Theorem 12.1 Suppose u...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online