Zusammenfassung der Vorlesung Einführung in die partiellen Differentialgleichungen Stefan Müller Universität Bonn Sommersemester 2017 Dies ist eine gekürzte Zusammenfassung und kein vollständiges Skript der Vorlesung. Deshalb kann diese Zusammenfassung ein Lehrbuch nicht ersetzen. Wie in der Vorlesung besprochen, werden folgende Bücher empfohlen: • L. C. Evans, Partial Differential Equations, AMS Graduate Studies in Mathematics 19 • F. John, Partial Differential Equations, Springer • J. Jost, Partielle Differentialgleichungen, Springer Dieses Skript basiert auf den oben genannten Büchern, und Skripten von S. Conti (SS 2011), L. Szekelyhidi (SS 2010), Notizen zu einer Vorlesung im SS 2009 sowie weiteren Quellen, die nicht immer im Einzelnen genannt sind. Tippfehler und Korrekturen bitte an [email protected] oder in der Sprechstunde. Diese Zusammenfassung ist nur für Hörer der Vorlesung V2B2 EPDE an der Universität Bonn, Sommersemester 2017, bestimmt. 1 [2. Juli 2017] [21.4. 2017, Vorlesung 1] 1 Harmonische Funktionen und die Poisson Gleichung 1.1 1.1.1 Eigenschaften harmonischer Funktionen Definition und Beispiele Definition 1.1. Sei Ω ⊂ Rn offen, u ∈ C 2 (Ω). Die Funktion u heißt harn X ∂2 u. monisch wenn ∆u = 0 auf Ω. Dabei ∆u = ∂x2i i=1 Beispiele: (i) Jede affine Funktion ist harmonisch. (ii) Sei A ∈ Rn×n . Die Funktion x 7→ x · Ax ist genau dann in Rn harmonisch, wenn Tr A = 0. Insbesondere sind x 7→ x21 − x22 und x 7→ x1 x2 in R2 harmonisch. (iii) Trennung der Variablen. Der Ansatz u(x1 , x2 ) = f (x1 )g(x2 ) führt auf gewöhnliche Differentialgleichungen für f and g und liefert spezielle harmonischen Funktionen (s. Übungsblatt 1). (iv) Polarkoordinaten. Sei u : R2 \{0} → R und sei v(r, ϕ) = u(r cos ϕ, r sin ϕ). Dann gilt 1 ∂2 1 ∂ ∂2 (∆u)(r cos ϕ, r sin ϕ) = v+ v + 2 v (r, ϕ) . (1.1) r2 ∂ϕ2 r ∂r ∂r Nach Definition ist v 2π-periodisch in ϕ, d.h. v(r, ϕ + 2π) = v(r, ϕ) ∀r ∈ (0, ∞), ϕ ∈ R. (1.2) Man sieht leicht, dass es Lösungen von (1.1), (1.2) der Form rk g(ϕ) gibt (s. Übungsblatt 1). (v) Holomorphe Funktionen. Sei Ω ⊂ C offen. Eine Funktion f : Ω → C heißt holomorph, falls sie in jedem Punkt von Ω komplex differenzierbar ist, d.h., falls für jedes z0 ∈ Ω in a ∈ C existiert, so dass lim z→0 f (z0 + z) − f (z0 ) − az = 0. z 2 [2. Juli 2017] Dann sind f1 = Re f und f2 = Im f : Ω ⊂ R2 → R differenzierbar und erfüllen die Cauchy-Riemannschen Differentialgleichungen ∂ ∂ f1 = f2 , ∂x1 ∂x2 ∂ ∂ f1 = − f2 . ∂x2 ∂x1 Da holomorphe Funktionen unendlich oft differenzierbar sind, folgt leicht, dass f1 und f2 harmonisch sind. Falls umgekehrt Ω ⊂ C konvex ist und u : Ω → R harmonisch, so gibt es eine holomorphe Funktion f : Ω → C mit Re f = u. Statt Konvexität von Ω reicht es anzunehmen, dass Ω einfach zusammenhängend ist. Folgerung: Seien ω ⊂ C und Ω ⊂ C offen, f : ω → Ω holomorph u : Ω → R harmonisch. Dann ist u ◦ f : ω → R harmonisch. Wir werden sehen, dass harmonische Funktionen viele Eigenschaften holomorpher Funktionen auf höheren Dimensionen verallgemeinern. (vi) Radialsymmetrische Funktionen. Sei f : (0, ∞) → R eine C 2 Funktion und u(x) = f (|x|). Dann gilt (∆u)(x) = f 00 (r) + n−1 0 f (r), r wobei r := |x| . (1.3) (s. Übungsblatt 1). 1.1.2 Mittelwerteigenschaft Definition 1.2. Sei (X, S, µ) ein Maßraum, E ∈ S mit 0 < µ(E) < ∞, u ∈ L1 (E; µ). Dann gilt: ˆ 1 u dµ = u dµ . (1.4) µ(E) E E Insbesondere gilt für u ∈ L1 (B(x, r)) 1 u dL = n L (B(x, r)) B(x,r) ˆ u dLn n und für u : ∂B(x, r) → R, integrierbar, u dH n−1 ∂B(x,r) 1 = n−1 H (∂B(x, r)) (1.5) B(x,r) ˆ u dHn−1 . (1.6) ∂B(x,r) Dabei bezeichnet Hn−1 das (n − 1)-dimensionale Hausdorffmaß das auf der Sphäre ∂B(x, r) mit dem in Analysis 3 eingeführtem Oberflächenmaß S n−1 übereinstimmt: ˆ ˆ n−1 u dH = u dS n−1 . (1.7) ∂B(x,r) ∂B(x,r) Im folgenden benutzen wir insbesondere zwei Tatsachen aus Analysis 3. 3 [2. Juli 2017] • (Fubini in Polarkoordinaten) Sei f ∈ L1 (B(x, r)) Aus dem Satz von Fubini und der Transformationsformel folgt, dass für fast alle ρ ∈ [0, r] die Funktion f über ∂B(x, ρ) integrierbar ist und dass gilt ! ˆ ˆ ˆ f dHn−1 f dLn = [0,r] B(x,r) dL1 . (1.8) ∂B(x,ρ) (vgl. Analysis 3, Beispiele nach dem Transformationssatz, Satz 3.30, insbesondere Gleichungen (3.177), (3.181) und (5.17). Daraus folgt, dass Ln (B(x, r)) = ωn rn und Hn−1 (∂B(x, r)) = S n−1 (∂B(x, r)) = nωn rn−1 , wobei ωn = Ln (B(0, 1)). • (Satz von Gauß) Für f ∈ C 0 (B(x, r)) ∩ C 1 (B(x, r)) mit div f ∈ L1 (B(x, r)) (und deshalb insbesondere für alle f ∈ C 2 (Ω), mit B(x, r) ⊂ Ω) gilt: ˆ ˆ div f dLn = B(x,r) f · ν dHn−1 . (1.9) ∂B(x,r) Satz 1.3 (Mittelwerteigenschaft). Sei Ω ⊂ Rn offen, u ∈ C 2 (Ω), B(x, r) ⊂ Ω. (i) Falls ∆u = 0 in Ω, dann gilt u dHn−1 = u(x) = ∂B(x,r) u dLn . (1.10) B(x,r) (ii) Falls −∆u ≤ 0 in Ω, dann gilt u(x) ≤ u dHn−1 (1.11) u dLn . (1.12) u dHn−1 (1.13) u dLn . (1.14) ∂B(x,r) und u(x) ≤ B(x,r) (iii) Falls −∆u < 0 in Ω, dann gilt u(x) < ∂B(x,r) und u(x) < B(x,r) Beweis. Aussage (i), folgt indem man Aussage (ii) auf u und −u anwendet. Der Beweis von (iii) ist analog zu dem von (ii). Daher zeigen wir nur (ii). 4 [2. Juli 2017] Für ρ ∈ (0, r] gilt u(x + ρz) dHn−1 (z) , u(y) dHn−1 (y) = (1.15) ∂B(0,1) ∂B(x,ρ) denn unmittelbar aus der Definiton des Hausdorffmaßes folgt Hn−1 (ρE) = ρn−1 Hn−1 (E) und Hn−1 (x + E) = Hn−1 (E). Sei ϕ : [0, r] → R durch u(x + ρz) dHn−1 (z) ϕ(ρ) = (1.16) ∂B(0,1) definiert. Die Funktion ϕ ist stetig (vgl. Analysis 3, Satz 3.38 (i) und ϕ(0) = u(x). Es reicht daher zu zeigen, dass ϕ in (0, r) differenzierbar ist und ϕ0 ≥ 0 gilt. Die Differenzierbarkeit von ϕ folgt aus der Tatsache, dass u und ∇u auf der kompakten Menge B(x, r) stetig und daher insbesondere beschränkt sind (vgl. Analysis 3, Satz 3.38 (ii). Es gilt d ϕ(ρ) = dρ ∇u(x + ρz) · z dHn−1 (z) ∂B(0,1) ˆ 1 = n−1 ∇u(x + ρz) · ν dHn−1 (z) H (∂B(0, 1)) ∂B(0,1) ˆ ρ ∆u(x + ρz) dLn ≥ 0 . = n−1 H (∂B(0, 1)) B(0,1) (1.17) (1.18) (1.19) Hier wurde den Satz von Gauß benutzt, und die Rechnung X ∂ ∂ X ∂2 u(x + ρz) = ρ 2 u(x + ρz) = ρ∆u(x + ρz) ∂zi ∂xi ∂xi i (1.20) i Daher gilt ϕ0 ≥ 0 in (0, r) und (1.11) ist bewiesen. Um (1.12) zu beweisen benutzen wir Polarkoordinaten (vgl. (1.8)): ! ˆ ˆ ˆ u dHn−1 u dLn = B(x,r) [0,r] ˆ dL1 (ρ) (1.21) ∂B(x,ρ) Hn−1 (∂B(x, ρ))u(x)dL1 (ρ) = u(x)Ln (B(x, r)) . ≥ [0,r] (1.22) [21.4. 2017, Vorlesung 1] [24.4. 2017, Vorlesung 2] 5 [2. Juli 2017] Satz 1.4. Sei Ω ⊂ Rn offen, u ∈ C 2 (Ω). Die drei Eigenschaften (i) u ist harmonisch, d.h., ∆u = 0 in Ω , (1.23) (ii) u erfüllt die sphärische Mittelwerteigenschaft, d.h., u dHn−1 u(x) = (1.24) ∂B(x,r) für alle (x, r) mit B(x, r) ⊂ Ω, (iii) u erfüllt die Kugelmittelwerteigenschaft, d.h., u dLn u(x) = (1.25) B(x,r) für alle Kugeln B(x, r) ⊂ Ω, sind äquivalent. Bemerkung. Die Äquivalenz der drei Eigenschaften gilt auch unter der schwächeren Annahme u ∈ C 0 und sogar u ∈ L1 (Ω) (vgl. Satz 1.8 für die präzise Formulierung). Der Ansatz, Lösungsbegriffe für partielle Differentialgleichungen zu entwickeln, die zunächst möglichst wenig Regularitätsannahmen an die Lösung u erfordern und dann bessere Regularitätseigenschaften zu beweisen, ist eine der wichtigen Entwicklungen des 20. Jahrhunderts. Dies wird in systematischer Weise in der Vorlesung ’Partielle Differentialgleichungen und Funktionalanalysis’ im nächsten Semester besprochen. Beweis. (i)⇒(ii) folgt aus Satz 1.3. (ii)⇒(iii) folgt aus ! ˆ ˆ ˆ u dLn = u dHn−1 dL1 (ρ) B(x,r) [0,r] ˆ (1.26) ∂B(x,ρ) Hn−1 (∂B(x, ρ))u(x)dL1 (ρ) = u(x)Ln (B(x, r)) . = [0,r] (1.27) (vgl. (1.21) oben). (iii)⇒(i) wird durch Widerspruch bewiesen. Sei x ∈ Ω, so dass ∆u(x) 6= 0. Wir können oBdA annehmen, dass ∆u(x) > 0 (sonst betrachten wir −u). Dann gibt es ein R > 0, so dass B(x, R) ⊂ Ω und ∆u > 0 in B(x, R). Dann folgt für r ∈ (0, R) aus Satz 1.3(iii) (angewendet mit Ω = B(x, R)) , dass u dLn , u(x) < (1.28) B(x,r) entgegen der Annahme. 6 [2. Juli 2017] 1.1.3 Regularität I Lemma 1.5. Es existiert eine nichtnegative, radialsymmetrische Funktion ´ η ∈ Cc∞ (B(0, 1)) mit Rn η dLn = 1. Erinnerung: eine Funktion η : Rn → R heisst radialsymmetrisch falls für alle x, y ∈ Rn mit |x| = |y| die Gleichung η(x) = η(y) gilt. Beweis. Dies wurde in Analysis 3, Lemma 4.27 (ii) bewiesen. Zur Erinnerung: wir wissen aus Analysis I, dass die durch ψ(t) = e−1/t für t > 0, ψ(t) = 0 für t ≤ 0 definierte Funktion in C ∞ (R) ist. Nach der Kettenregel ist daher die Funktion ϕ(x) = ψ(1−|x|2 ) in´Cc∞ (B(0, 1)). Außerdem ist ϕ nichtnegativ und radialsymmetrisch. Sei C = Rn ϕ dx. Dann hat η = C1 ϕ die gewünschten Eigenschaften. Lemma 1.6. Sei η wie in Lemma 1.5, ηr (x) = r−n η(x/r). Sei u ∈ L1 (Ω) , so dass u die sphärische Mittelwerteigenschaft erfüllt, d.h. für jedes x ∈ Ω gilt u dHn−1 u(x) = (1.29) ∂B(x,ρ) für fast alle ρ > 0 mit B(x, ρ) ⊂ Ω. Dann gilt u(x) = (u ∗ ηr )(x) (1.30) für alle x mit B(x, r) ⊂ Ω. Beweis. Sei B(x, r) ⊂ Ω. Dann gilt ˆ (u ∗ ηr )(x) = u(y)ηr (x − y) dy Ω ˆ = u(y)ηr (x − y) dy B(x,r) ˆ ˆ = u(y)ηr (x − y) dHn−1 (y)dL1 (ρ) . [0,r) (1.31) (1.32) (1.33) ∂B(x,ρ) Für jedes ρ ist y 7→ ηr (x−y) auf ∂B(x, ρ) konstant (weil η radialsymmetrisch ist). Da u die sphärische Mittelwerteigenschaft hat, folgt ˆ ˆ n−1 u(y)ηr (x − y) dH (y) = u(x) ηr (x − y) dHn−1 (y) . (1.34) ∂B(x,ρ) ∂B(x,ρ) Deshalb gilt ˆ ˆ ηr (x − y) dHn−1 (y)dL1 (ρ) (u ∗ ηr )(x) = u(x) (0,r) ˆ ηr dLn = u(x) . = u(x) (1.35) ∂B(x,ρ) (1.36) Rn 7 [2. Juli 2017] Satz 1.7. Sei Ω ⊂ Rn , u ∈ C 2 (Ω), harmonisch. Dann gilt u ∈ C ∞ (Ω). Beweis. Sei x ∈ Ω, r > 0, so dass B(x, 2r) ⊂ Ω. Dann gilt nach Lemma 1.6 ˆ u(y) = u(z)ηr (y − z)dz (1.37) B(x,2r) für alle y ∈ Br (x). Aus ηr ∈ Cc∞ folgt, dass u beliebig oft differenzierbar ist. Satz 1.8. Sei Ω ⊂ Rn offen, u ∈ L1 (Ω). Falls u dLn u(x) = (1.38) B(x,r) für alle Kugeln B(x, r) ⊂ Ω, dann gilt u ∈ C 2 (Ω) und ∆u = 0 in Ω . (1.39) Beweis. Wir werden zeigen, dass u die sphärische Mittelwerteigenschaft hat und dann Lemma 1.6 und Satz 1.4 anwenden. Sei B(x, R) ⊂ Ω. Dann gibt es eine Nullmenge N ⊂ (0, R), so dass für alle ρ ∈ (0, R) \ N die Funktion u über ∂B(x, ρ) integrierbar ist. Sei ψ : (0, R) → R durch ˆ ψ(ρ) = (u(y) − u(x))dHn−1 (y) , (1.40) ∂B(x,ρ) und ψ(ρ) = 0 für ρ ∈ N definiert. Aus (1.38) folgt, dass ˆ ˆ ˆ 1 n ψdL = u(y) dL − u(x) 1 dLn = 0 (0,s) B(x,s) (1.41) B(x,s) für alle s ∈ (0, R), und deshalb ψ = 0 fast überall (Lemma 1.9, angewendet auf ψχ(0,R) ). Es folgt, dass u die sphärische Mittelwerteigenschaft für fast alle ρ ∈ (0, R) erfüllt. Aus Lemma 1.6 folgt, dass u(x) = (ηr ∗ u)(x) (1.42) falls B(x, r) ⊂ Ω. Daraus folgt u ∈ C ∞ (vgl. den Beweis von Satz 1.7). Die Aussage folgt dann aus Satz 1.4. ´ Lemma 1.9. Sei f ∈ L1 (R), so dass (a,b) f dL1 = 0 für alle a, b ∈ R. Dann gilt f = 0 fast überall. 8 [2. Juli 2017] Beweis. Seien ϕ = 12 χ(−1,1) und ψk (x) = kϕ(kx) = Dann gilt k (ψk ∗ f )(x) = 2 k χ (x). 2 (−1/k,1/k) ˆ f dL1 . (1.43) (x−1/k,x+1/k) Aus der Annahme folgt, dass ψk ∗ f = 0. Nun gilt ψk ∗ f → f in L1 (Analysis 3, Lemma 4.28 (i)) und deshalb f = 0 fast überall. 1.1.4 Maximumprinzip Satz 1.10 (Schwaches Maximumprinzip). Sei Ω ⊂ Rn offen und beschränkt, u ∈ C 2 (Ω) ∩ C 0 (Ω) und −∆u ≤ 0 in Ω . (1.44) Dann gilt max u(Ω) = max u(∂Ω) . (1.45) Beweis. (i): Sei −∆u < 0 in Ω, und x0 ∈ Ω mit u(x0 ) = max u(Ω). Dann Du(x0 ) = 0 und D2 u(x0 ) ≤ 0 (als symmetrische Matrix bzw. als bilineare Abbildung). Es folgt, dass ∆u(x0 ) = Tr D2 u(x0 ) ≤ 0, gegen die Annahme. (ii): Sei −∆u ≤ 0 in Ω, v : Ω → R durch v(x) = x2 definiert. Dann −∆(u + εv) = −∆u − 2εn < 0 in Ω für alle ε > 0. Aus (i) folgt, dass max(u + εv)(Ω) = max(u + εv)(∂Ω) . (1.46) max u(Ω) + ε min v(Ω) ≤ max u(∂Ω) + ε max v(∂Ω) (1.47) Es folgt, dass und mit ε → 0 die Aussage. Bemerkung. Falls u harmonisch ist, dann gilt auch min u(Ω) = min u(∂Ω) . (1.48) Satz 1.11 (Eindeutigkeit). Sei Ω ⊂ Rn offen und beschränkt, u, v ∈ C 2 (Ω)∩ C 0 (Ω), so dass ∆u = ∆v in Ω u = v auf ∂Ω . (1.49) (1.50) Dann gilt u = v. Beweis. Die Funktion w = u − v ist harmonisch, und gleich null auf ∂Ω. Deshalb gilt w = 0 in Ω. 9 [2. Juli 2017] Bemerkung. Wir haben auch gezeigt, dass aus ∆u = ∆v in Ω die quantitative Abschätzung max |u − v|(Ω) ≤ max |u − v|(∂Ω) folgt, d.h., die stetige Abhängigkeit von den Randwerten in C 0 . Definition 1.12. Eine offene Menge M ⊂ Rn heißt zusammenhängend, wenn für alle offene Mengen A, B ⊂ M mit A ∩ B = ∅ und A ∪ B = M gilt: A = ∅ oder B = ∅. Bemerkung. Eine offene Menge M ⊂ Rn ist genau dann zusammenhängend, wenn zu jedem Paar x, y ∈ M eine Kurve ϕ ∈ C 0 ([0, 1], M ) existiert, so dass ϕ(0) = x und ϕ(1) = y. Die Kurve darf auch in C ∞ gewählt werden. Satz 1.13 (Starkes Maximumprinzip). Sei Ω ⊂ Rn offen, beschränkt, zusammenhängend. Sei u ∈ C 0 (Ω), so dass u dLn für alle B(x, r) ⊂ Ω . u(x) ≤ (1.51) B(x,r) Dann gilt entweder (i) u(x) < max u(∂Ω) für alle x ∈ Ω oder (ii) Die Funktion u ist konstant auf Ω. Bemerkung. Falls u ∈ C 2 (Ω), dann kann die Annahme (1.51) durch −∆u ≤ 0 in Ω ersetzt werden (Satz 1.3(ii)). Beweis. Sei M = max u(Ω), V = Ω ∩ u−1 (M ) = {x ∈ Ω : u(x) = M }. Sei x ∈ V , B(x, r) ⊂ Ω. Aus der Mittelwerteigenschaft folgt, B(x, r) ⊂ V . Deshalb ist V offen. Da u stetig ist, ist auch die Menge Ω \ V = {x ∈ Ω : u(x) 6= M }) offen. Da Ω zusammenhängend ist, gilt V = ∅ (Option (i)) oder V = Ω (Option (ii)). Satz 1.14 (Harnack-Ungleichung). Sei Ω ⊂ Rn offen, V offen, beschränkt, zusammenhängend, mit V ⊂ Ω. Dann gibt es eine Konstante c = c(Ω, V ), so dass sup u(V ) ≤ c inf u(V ) (1.52) für alle u ∈ C 2 (Ω) die ∆u = 0 und u ≥ 0 auf Ω erfüllen. Beweis. Die Menge V ist kompakt, deshalb gilt: 1 r = dist (V, ∂Ω) > 0 . 2 10 (1.53) [2. Juli 2017] Wir betrachten zuerst zwei Punkte x, y ∈ V , mit |x − y| < r. Aus der Mittelwerteigenschaft, B(x, r) ⊂ B(y, 2r) ⊂ Ω und u ≥ 0 folgt ˆ 1 u(x) = u= u (1.54) ωn rn B(x,r) B(x,r) ˆ 1 u (1.55) ≤ ωn rn B(y,2r) u = 2n u(y) . = 2n (1.56) B(y,2r) Da V kompakt ist, gibt es endlich viele Kugeln {B(xj , r/2)}j=1,...,N mit xj ∈ V , die V überdecken. Falls z, w ∈ B(xj , r/2) ∩ V für ein j, dann gilt |z − w| < r und deshalb u(z) ≤ 2n u(w) . (1.57) Aus der Stetigkeit von u folgt die gleiche Aussage für z, w ∈ B(xj , r/2) ∩ V . Seien x, y ∈ V . Dann gibt es eine Kurve ϕ ∈ C 0 ([0, 1]; V ), die x und y verbindet. Die Menge ϕ([0, 1]) ist durch maximal N der Kugeln überdeckt, d.h., es gibt Kugeln Bk ∈ {B(xj , r/2)}, k = 1, . . . , K∗ so dass ϕ([0, 1]) ⊂ S B k k , Bk ∩ Bk+1 6= ∅. Konstruktion der Kugeln: B1 ist eine Kugel (aus der Familie {B(xj , r/2)}j ), die ϕ(0) enthält. Sei t1 = sup{t ∈ [0, 1] : ϕ(t) ∈ B1 }. Falls t1 < 1, gilt ϕ(t1 ) ∈ ∂B1 . Sei B2 eine Kugel (aus der gleiche Familie), die ϕ(t1 ) enthält, und weiter induktiv. Da man keine Kugel zweimal wählt, endet das Prozess nach höchstens N Schritten. Es folgt u(x) ≤ 2N n u(y) . (1.58) [24.4. 2017, Vorlesung 2] [28.4. 2017, Vorlesung 3] 1.1.5 Regularität II: Abschätzungen für die höheren Ableitungen Notation: wir betrachten Multiindizes α ∈ Nn und definieren kαk = n X αi , α! = i=1 n Y αi ! . (1.59) i=1 Man nennt kαk die Ordnung von α. Für x ∈ Rn definieren wir α x = n Y xαi i mit der Konvention x0i = 1. (1.60) i=1 Falls f ∈ C kαk (Ω), Ω ⊂ Rn offen so definieren wir Dα f = ∂1α1 ∂2α2 . . . ∂nαn f . 11 (1.61) [2. Juli 2017] mit der Konvention ∂i0 f = 0. Sei u : Ω → R harmonisch, B(x, r) ⊂ Ω. Aus Lemma 1.6 folgt, dass u = u ∗ ηr/2 in B(x, r/2) und daher Dα u(x) = Dα (u ∗ ηr/2 )(x) = u ∗ Dα ηr (x) . (1.62) Aus ηr (x) = r−n η(x/r) folgt |Dα ηr | ≤ C/r−n−kαk und deshalb |Dα u|(x) ≤ C rn+kαk kukL1 (B(x,r)) . (1.63) Die Konstante C hängt von η, n und α ab. Es folgt: Satz 1.15. Sei Ω ⊂ Rn offen, u : Ω → R harmonisch, B(x, r) ⊂ Ω. Dann gibt es Konstanten Cn,k , so dass für jeden Multiindex α ∈ Nn der Ordnung k gilt: Cn,k |Dα u|(x) ≤ n+k kukL1 (B(x,r)) . (1.64) r Beweis. Folgt aus (1.62-1.63). Diese Abschätzung hat viele Anwendungen, es werden hier insbesondere zwei erwähnt: Satz 1.16 (Liouville). Sei u ∈ C 2 (Rn ) harmonisch und beschränkt. Dann ist u konstant. Beweis. Sei M = sup |u|(Rn ). Aus Satz 1.15 (mit kαk = 1) folgt |∂i u|(x) ≤ Cn,1 n L (B(x, r))M rn+1 (1.65) für alle i ∈ {1, . . . , n}, alle x ∈ Rn und alle r > 0. Da r beliebig ist, folgt Du(x) = 0. Satz 1.17. Sei Ω ⊂ Rn offen, u : N → C 2 (Ω) eine Folge harmonischer Funktionen, die in L1 (Ω) eine Cauchy-Folge ist. Dann gibt es u∗ ∈ L1 (Ω), so dass: (i) Dα uj konvergiert punktweise gegen Dα u für alle α ∈ Nn , insbesondere ist die Funktion u∗ harmonisch. (ii) Falls K ⊂ Ω kompakt ist und α ∈ Nn , dann konvergiert Dα uj → Dα u∗ gleichmäßig in K. Beweis. Sei x ∈ Ω, B(x, r) ⊂ Ω. Aus ˆ 1 1 |uj − um |(x) ≤ |uj − um |(y)dy ≤ kuj − um kL1 (Ω) (1.66) n ωn r B(x,r) ωn rn 12 [2. Juli 2017] folgt, dass j 7→ uj (x) eine Cauchy-Folge in R ist. Wir definieren u∗ (x) = limj→∞ uj (x). Da uj eine Cauchy-Folge in L1 (Ω) ist, gilt auch uj → u∗ in L1 (Ω). Aus u∗ (x) = lim uj (x) = lim j→∞ j→∞ B(x,r) u∗ dLn uj dLn = (1.67) B(x,r) folgt, dass u∗ die Mittelwerteigenschaft erfüllt. Deshalb (Satz 1.8) ist u∗ harmonisch. Sei K ⊂ Ω kompakt, r = dist (K, ∂Ω). Für alle x ∈ K gilt B(x, r) ⊂ Ω und deshalb |Dα (uj − u∗ )|(x) ≤ Cn,kαk rn+kαk kuj − u∗ kL1 (Ω) . (1.68) Es folgt, dass lim max |Dα (uj − u∗ )|(K) = 0 . j→∞ (1.69) Das beendet den Beweis. Unser nächstes Ziel ist zu zeigen, dass harmonische Funktionen analytisch sind (s. unten). Dazu müssen wir die Abhängigkeit der Konstante Cn,k von k = kαk präziser abschätzen. Satz 1.18. Sei Ω ⊂ Rn offen, u : Ω → R harmonisch, B(x, r) ⊂ Ω. Dann gilt für jeden Multiindex α ∈ Nn der Ordnung k |Dα u|(x) ≤ wobei Cn,k = Cn,k kukL1 (B(x,r)) , rn+k 1 ω(n) falls k = 0 , 2n+1 nk k n+k ω(n) falls k ≥ 1 . (1.70) (1.71) Beweis. Teil 1: k = 0. Für k = 0 folgt aus der Mittelwerteigenschaft ˆ 1 |u|(x) ≤ |u| dLn . (1.72) ω(n)rn B(x,r) Teil 2: k = 1. Sei i ∈ {1, . . . , n}. Die Funktion x 7→ Di u(x) ist ebenfalls harmonisch (weil u ∈ C ∞ , und ∆Di u = Di ∆u). Aus der Mittelwertformel und dem Satz von Gauß folgt ˆ ˆ 2n 2n n Di u(x) = D u dL = uνi dHn−1 , (1.73) i ω(n)rn B(x,r/2) ω(n)rn ∂B(x,r/2) 13 [2. Juli 2017] wobei ν die äußere Normale ist. Deshalb gilt: |Di u|(x) ≤ 2n sup |u|(∂B(x, r/2)) . r (1.74) Für alle y ∈ ∂B(x, r/2) können wir den Fall k = 0 auf B(y, r/2) ⊂ B(x, r) ⊂ Ω anwenden: ˆ ˆ 2n 2n n |u|dL ≤ |u|dLn . (1.75) |u|(y) ≤ ω(n)rn B(y,r/2) ω(n)rn B(x,r) Deshalb gilt: |Di u|(x) ≤ 2n 2n r ω(n)rn ˆ |u|dLn . (1.76) B(x,r) Teil 3: Beweis von (1.70) und (1.71) mit vollständiger Induktion. Wegen Teil 2 müssen wir nur den Induktionsschritt durchführen. Sei α ein Multiindex mit kαk = k + 1 ≥ 1. Dann gibt es i ∈ {1, . . . , n} und ein Multiindex β mit kβk = k, so dass D α u = Di D β u . (1.77) Die Funktion Dβ u ist ebenfalls harmonisch. Analog zu (1.74) folgt für alle ρ ∈ (0, r) n |Dα u|(x) ≤ sup |Dβ u|(∂B(x, ρ)) . (1.78) ρ Für y ∈ ∂B(x, ρ) folgt aus der Induktionsannahme, angewendet auf die Kugel B(y, r − ρ) ⊂ B(x, ρ) ⊂ Ω |Dβ u|(y) ≤ und somit |Dα u|(x) ≤ Cn,k kukL1 (B(x,r)) (r − ρ)n+k (1.79) Cn,k n kukL1 (B(x,r)) ρ (r − ρ)n+k (1.80) k r. Damit folgt, dass (1.70) Man wählt ρ = r/(k + 1), so dass r − ρ = k+1 gilt mit k + 1 n+k Cn,k+1 ≤ n(k + 1) Cn,k k Mit der Induktionsannahme Cn,k ≤ Cn,k+1 ≤ 2n+1 ω(n) nk k n+k ergibt sich 2n+1 k+1 n+k+1 n k . ω(n) Dies ist die gewünschte Abschätzung. [28.4. 2017, Vorlesung 3] [5.5. 2017, Vorlesung 4] 14 [2. Juli 2017] Wiederholung Taylorformel Wir betrachten zunächst den eindimensionalen Fall. Sei I ⊂ R ein offenes Intervall, sei g ∈ C ∞ (I) und seien a, b ∈ I. Aus dem Haupsatz folgt ˆ b g(b) − g(a) = g 0 (t) dt. a Partielle Integration liefert ˆ ˆ b 0 1 · g (t) dt = (t − a b)g(t)|bt=a = (b − a)g 0 (a) + + ˆ b b (b − t)g 00 (t) dt a (b − t)g 00 (t) dt. a Mit vollständiger Induktion erhält man die Taylorformel mit Restglied in Integralform g(b) − k−1 (l) X g (a) l=0 l! ˆ b l (b − a) = a (b − t)k−1 (k) g (t) dt. (k − 1)! (1.81) Mit einer geeigneten Mittelwerteigenschaft des Integrals ergibt sich daraus die Taylorformel mit Restglied an einer Zwischenstelle: es gibt ein θ ∈ [a, b] (das von a, b und k abhängt, so dass g(b) − k−1 (l) X g (a) l! l=0 (b − a)l = g (k) (θ) (b − a)k k! (1.82) Die höherdimensionale Taylorformel ergibt sich leicht aus der eindimensionalen. Sei B(x, r) ⊂ Rn , sei u ∈ C ∞ (B(x, r)) und y ∈ B(x, r). Definiere g(t) = u(x + t(y − x)). Dann gibt es ein offenes Interval I, so dass C ∞ (I) und I ⊃ [−1, 1]. Weiterhin gilt u(y) = g(1). Aus der eindimensionalen Taylorformel folgt, dass es ein θ ∈ [0, 1] gibt, so dass g(1) − k−1 (l) X g (0) l=0 l! = g (k) (θ) . k! (1.83) Es bleibt noch, die Ableitungen von g durch die partiellen Ableitungen von u auszudrücken. Nach der Kettenregel gilt g 0 (t) = n X (y − x)i ∂i u(x + t(y − x)) i=1 15 [2. Juli 2017] und n X n X g (t) = (y − x)i (y − x)j ∂j ∂i u(x + t(y − x)). 00 i=1 j=1 Mit vollständiger Induktion folgt g (l) (t) = n X i1 =1 ... n X (y − x)i1 . . . (y − x)il ∂i1 . . . ∂il u(x + t(y − x)). (1.84) il =1 n Die rechte Seite läßt Pn sich mit Hilfe von Multiindizes α = (α1 , . . . , αn ) ∈ N der Ordnung l = i=1 αi umschreiben. Präziser enthält die l-fache Summe l! l! auf der rechten Seite den Term (y −x)α Dα u(x+t(y −x)) genau α1 !...α = α! n! mal. Daher gilt g (l) (t) = X l! (y − x)α Dα u(x + t(y − x)). α! (1.85) kαk=l Einsetzen in (1.83) liefert die mehrdimensionale Taylorformel u(y) − X 1 1 Dα u(x) (y − x)α = g (k) (θ). α! k! (1.86) kαk<k (mit der Konvention Dα u(x) = u(x) für α = 0). Definition 1.19. Sei Ω ⊂ Rn offen, f : Ω → R. (i) Die Funktion f heißt analytisch im Punkt x ∈ Ω, falls ein r > 0 existiert, so dass die die Taylorreihe im Punkt x für alle y ∈ B(x, r) konvergiert und mit f (y) übereinstimmt, d.h. falls f (y) = X 1 Dα f (x)(y − x)α α! n (1.87) α∈N für alle y ∈ B(x, r) ⊂ Ω gilt. (ii) Die Funktion f heißt analytisch in Ω (Notation: f ∈ C ω (Ω)), falls f in jedem Punkt x ∈ Ω analytisch ist. Satz 1.20. Sei Ω ⊂ Rn offen, u ∈ C 2 (Ω) harmonisch. Dann ist u ∈ C ω (Ω). Beweis. Sei x ∈ Ω, r = dist (x, ∂Ω). Für alle y ∈ B(x, r/2) und α ∈ Nn mit kαk = k folgt mit Satz (1.18) |Dα u|(y) ≤ 2k M nk k n+k , rk (1.88) wobei M = 2n+1 2n r−n kukL1 (B(x,r) /ωn . 16 [2. Juli 2017] Sei y ∈ B(x, r/2) und sei g(t) := u(x + t(y − x)). Damit ergibt sich die mehrdimensionale Taylorformel mit Restglied (1.86) X 1 1 Dα u(x)(y − x)α = g (k) (θ) , (1.89) u(y) − α! k! kαk<k Um das Restglied abzuschätzen benutzen wir die Formel (1.85) für g (k) (t) und (1.88) !k n 2k n+k |y − x|k X nk k n+k kn k ≤ M 2 (1.90) |g (k) (t)| ≤ |(y − x)i | M 2k rk rk i=1 für alle t ∈ [0, 1]. Aus ek = X kj j∈N folgt kk ≤ ek k!; kk k! (1.91) = 2nk folgt k n+1 2 2 n e|y − x| k! . |Dk g|(t) ≤ M r mit kn j! ≥ ≤ (2k )n (1.92) Deshalb gilt: k n 2 X 1 2 n e |y − x| α α u(y) − . D u(x)(y − x) ≤ M α! r kαk<k (1.93) Für |y − x| < r/(2n+1 n2 e) ist die rechte Seite eine Nullfolge. Daher konvergiert die Taylorreihe in B(x, ρ), falls ρ < r/(2n+1 n2 e). Satz 1.21. Sei Ω ⊂ Rn offen und zusammenhängend, f ∈ C ω (Ω). Es gebe einen Punkt x ∈ Ω, so dass Dα f (x) = 0 für alle α ∈ Nn . Dann gilt f = 0 in Ω. Bemerkung. Die Bedingung Dα f (x) = 0 für alle α ∈ Nn ist insbesondere erfüllt, falls es ein r > 0 gibt, so dass f = 0 in B(x, r). Beweis. Sei Vα = {x ∈ Ω : Dα f (x) = 0}, V = ∩α Vα . Die Menge V ist abgeschlossen und nicht leer. Damit ist Ω \ V offen. Wir zeigen jetzt, dass auch V offen ist. Sei x ∈ V . Dann gibt es ein r > 0, so dass X 1 f (y) = Dα f (x)(y − x)α (1.94) α! α für alle y ∈ B(x, r) gilt. Aus x ∈ V folgt Dα f (x) = 0 für alle α und somit f = 0 in B(x, r). Deshalb ist B(x, r) ⊂ V . Daher ist V offen. Da Ω zusammenhängend ist, folgt V = Ω. 17 [2. Juli 2017] 1.2 Explizite Lösung der Poissongleichung 1.2.1 Gauß-Green Formeln. Definition 1.22. Sei Ω ⊂ Rn offen. Dann ist C 1 (Ω) die Menge der Funktionen u ∈ C 0 (Ω) ∩ C 1 (Ω), so dass ein v ∈ C 0 (Ω; Rn ) mit v = Du in Ω existiert. In diesem Fall sagt man, dass Du stetig auf Ω fortsetztbar ist. Man schreibt Du(x) = v(x) für alle x ∈ Ω. Für k ≥ 1 bezeichnet C k (Ω) die Menge der Funktionen u ∈ C k (Ω) ∩ k−1 C (Ω), so dass v ∈ C 0 (Ω, Rn × . . . × Rn ) mit v = Dk u in Ω existiert. Analoges definiert man C k (Ω; Rm ). Bemerkung. Die Fortsetzung von Du auf dem Abschluss Ω ist eindeutig. Satz 1.23. Sei Ω ⊂ Rn ein beschränktes C 1 Gebiet und seien u, v ∈ C 2 (Ω)∩ C 1 (Ω). Sei ν die äußere Einheitsnormale von Ω. Dann gilt ˆ ˆ n (i) ∆u dL = Dν u dHn−1 , falls ∆u ∈ L1 (Ω); Ω ˆ ∂Ω ˆ ∇u · ∇v dLn = (ii) Ω ˆ (−∆u)v dLn + Ω ∂Ω falls v∆u ∈ L1 (Ω); ˆ ˆ n (iii) (u∆v − v∆u) dL = Ω vDν u dHn−1 , (uDν v − vDν u) dHn−1 , ∂Ω falls u∆v − u∆u ∈ L1 (Ω). Notation: Dν u := ν · ∇u = ∂u ∂ν . Bemerkung. Die Aussage gilt auch, falls Ω stückweise C 1 oder allgemeiner ein Lipschitzgebiet ist (vgl. Analysis 3) Beweis. Anwendung es Satzes von Gauss (Divergenzsatz) mit w = ∇u, w = v∇u, w = u∇v − v∇u. [5.5. 2017, Vorlesung 4] [8.5. 2017, Vorlesung 5] 1.2.2 Fundamentallösung, Laplacegleichung im Ganzraum Definition 1.24 (Fundamentallösung). Man definiert Φ : Rn → R durch 1 falls n = 2 − ln |x| 2π Φ(x) = (1.95) 1 1 falls n ≥ 3 n(n − 2)ωn |x|n−2 und Φ(0) = 0, wobei ωn = Ln (B1 ). 18 [2. Juli 2017] Bemerkung. Aus Aufgabe 2 von Blatt 1 folgt, dass auf Rn \ {0} . ∆Φ = 0 (1.96) Lemma 1.25. Für alle r > 0 gilt ˆ Dν Φ dHn−1 = −1 . (1.97) ∂B(0,r) Beweis. Man rechnet ∇|x| = x/|x|, ∇Φ(x) = − und ˆ x 1 , nω(n) |x|n ˆ Dν Φ dH n−1 =− ∂B(0,r) ∂B(0,r) (1.98) x x 1 · = −1 . |x| nω(n) |x|n Satz 1.26. Sei n ≥ 2, f ∈ Cc2 (Rn ), u = f ∗ Φ, d.h., ˆ u(x) = Φ(x − y)f (y)dy . (1.99) (1.100) Rn Dann gilt u ∈ C 2 (Rn ) und −∆u = f . (1.101) Bemerkung. (i) Sei 0 < α < 1. Dann ist die Hölderseminorm von f definiert durch |f (x) − f (y)| . (1.102) [f ]α := sup |x − y|α x6=y Man kann zeigen, dass für f ∈ Cc2 mit supp f ⊂ B(0, R) gilt sup |D2 (f ∗ Φ)| ≤ Cn [f ]α Rα , (1.103) Rn wobei die Konstante Cn nur von der Raumdimension n abhängt. Daraus folgt durch Approximation, dass Satz 1.26 auch für hölderstetige Funktionen mit kompakten Träger gilt. (ii) In (i) kann Hölderstetigkeit nicht durch Stetigkeit ersetzt werden. Es gibt eine stetige Funktion f mit kompaktem Träger, für f ∗ Φ nicht in C 2 ist. Definition 1.27. Sei Ω ⊂ Rn offen. Man bezeichnet mit L1,loc (Ω) die Menge der messbaren Funktionen f : Ω → R, die auf jeder kompakten Menge K ⊂ Ω integrierbar sind. Gegeben sei eine Funktionenfolge f : N → L1,loc (Ω) und eine Funktion f∗ ∈ L1,loc (Ω); man sagt dass fj → f∗ in L1,loc (Ω) wenn für jede kompakte Menge K ⊂ Ω gilt: ˆ lim j→∞ K |fj − f∗ |dLn = 0 . 19 (1.104) [2. Juli 2017] Bemerkung. f ∈ L1,loc (Rn ) genau dann, wenn f χB(0,R) ∈ L1 (Rn ) für alle R > 0; fj → f∗ in L1,loc (Rn ) genau dann, wenn fj χB(0,R) → f∗ χB(0,R) in L1 (Rn ) für alle R > 0. Beispiele. L1 (Ω) ⊂ L1,loc (Ω) und C 0 (Ω) ⊂ L1,loc (Ω). Insbesondere ist für jedes j ∈ N die Funktion fj : Rn → R, fj (x) = |x|2 /j, in L1,loc (Rn ); diese Folge konvergiert gegen 0 in L1,loc (Rn ) (aber nicht in L1 !). Bemerkung. Die in Def. 1.24 eingeführte Fundamentallösung erfüllt Φ ∈ L1,loc (Rn ). Lemma 1.28. Sei f ∈ L1 (Rn ) und f = 0 in Rn \B(0, R), sei g ∈ L1,loc (Rn ). Dann existiert für fast jedes x ∈ Rn die Faltung ˆ f (x − y)g(y)dy , (1.105) (f ∗ g)(x) = Rn und es gilt f ∗ g ∈ L1,loc (Rn ). Falls f ∈ Cc1 (Rn ), dann gilt f ∗ g ∈ C 1 (Rn ) und D(f ∗ g) = (Df ) ∗ g. Bemerkung. (i) Die erste Aussage wurde bereits in Analysis 3 bewiesen (Bemerkung nach Satz 4.24 und Übungsblatt 11). (ii) Für die erste Aussage reicht f ∈ L1 (Rn ) nicht. Beispiel: f (x) = 1/(x2 + 1), g(x) = x2 in einer Dimension. Beweis. Sei x ∈ B(0, r). Sei g1 = gχB(0,r+R) , g2 = gχRn \B(0,r+R) . Dann gilt g2 (x − y)f (y) = 0 für alle y ∈ Rn (für y ∈ / B(0, R) ist f (y) = 0, für y ∈ B(0, R) ist g2 (x − y) = 0). Es gilt g1 ∈ L1 (Rn ). Nach Analysis 3, Satz 4.24, ist y 7→ f (y)g1 (x−y) integrierbar für fast alle x und f ∗g1 ist in L1 (Rn ). Daraus folgt, dass y 7→ f (y)g(x − y) für fast alle x ∈ B(0, r) integrierbar ist. Außerdem gilt mit Analysis 3, Satz 4.24 ˆ ˆ |f ∗ g(x)| dx = |f ∗ g1 (x)| dx (1.106) B(0,r) B(0,r) ˆ = |f ∗ g1 (x)| ≤ kf kL1 kg1 kL1 (1.107) Rn ˆ ≤ kf kL1 |g|dLn < ∞ . (1.108) B(0,r+R) Daher ist f ∗ g in L1,loc (Rn ). Sei jetzt f ∈ Cc1 (Rn ) und sei R > 0 so dass supp f ⊂ B(0, R). Nach Analysis 3, Lemma 4.26 gilt D(f ∗ g1 ) = (Df ∗ g1 ). Für x ∈ B(0, r) gilt f ∗ g1 = f ∗ g und Df ∗ g1 = Df ∗ g. Daraus folgt die Behauptung. 20 [2. Juli 2017] Beweis von Satz 1.26. Aus Lemma 1.28 folgt, dass das Integral existiert, u ∈ C 1 und Du = Φ ∗ Df . (1.109) Eine weitere Anwendung von Lemma 1.28 zeigt dass Du ∈ C 1 und D2 u = Φ ∗ D2 f . (1.110) Deshalb gilt u ∈ C 2 (Rn ), mit ∆u = Φ ∗ ∆f . Sei x ∈ Rn und sei R so groß, dass R > |x| und supp f ∈ B(0, R). Wir rechnen ˆ Φ(y)∆f (x − y)dy (1.111) ∆u(x) = n R ˆ = Φ(y)∆f (x − y)dy (1.112) B(x,R) ˆ = lim Φ(y)∆f (x − y)dy . (1.113) ε→0 B(x,R)\B(0,ε) Die letzte Gleichung gilt, weil y 7→ Φ(y)∆f (x − y) in L1 (B(x, R)) liegt, und χB(0,ε) → 0 punktweise fast überall. Wir wenden jetzt den Satz von Gauß in der Form von Satz 1.23(iii) an. Es gilt ∆Φ = 0 auf B(x, R) \ B(0, ε) und ∇y [f (x − y)] = −(∇f )(x − y), ∆y [f (x − y)] = (∆f )(x − y) . (1.114) Daher folgt für ε ∈ (0, R − |x|) ˆ Φ(y)∆f (x − y)dy (1.115) B(x,R)\B(0,ε) ˆ = [Φ(y)∆y [f (x − y)] − ∆Φ(y)f (x − y)] dy (1.116) B(x,R)\B(0,ε) ˆ = [−Φ(y) µ(y) · (∇f )(x − y) − f (x − y) µ(y) · ∇Φ(y)] dHn−1 (y) , ∂(B(x,R)\B(0,ε)) (1.117) wobei µ die äußere Einheitsnormale von ∂(B(x, R)\B(0, ε) ist. Auf ∂B(x, R) gilt f = 0 und ∇f = 0. Auf ∂B(0, ε) ist die äußere Einheitsnormale µ von B(x, R) \ B(0, ε) gerade die innere Einheitsnormale von B(0, ε). Sei ν(y) = −µ(y) = y/|y| die äußere Einheitsnormale von B(0, ε). Dann ergibt sich ˆ Φ(y)∆f (x − y)dy (1.118) B(x,R)\B(0,ε) ˆ [Φ(y) ν(y) · (∇f )(x − y) + f (x − y) ν(y) · ∇Φ(y)] dHn−1 (y) , ∂B(0,ε) (1.119) 21 [2. Juli 2017] Man sieht leicht, dass ˆ Φ(y) ν(y) · ∇f (x − y)dHn−1 (y) = 0 lim ε→0 ∂B(0,ε) (1.120) ´ (die Funktion ∇f (x − y) ist beschränkt, und ∂B(0,ε) |Φ(y)|dHn−1 (y) = Cε). Deshalb gilt: ˆ ν(y) · ∇Φ(y) f (x − y)dHn−1 (y) (1.121) ∆u(x) = lim ε→0 ∂B(0,ε) ˆ = lim Dν Φ(y) f (x − y)dHn−1 (y) . (1.122) ε→0 ∂B(0,ε) Mit dem Variablenwechsel y = εz folgt ˆ ∆u(x) = lim Dν Φ(z) f (x − εz)dHn−1 (z) . ε→0 ∂B(0,1) (1.123) Da f (x − εz) beschränkt ist und punktweise gegen f (x) konvergiert, folgt mit dominierter Konvergenz und Lemma 1.25 dass ˆ ∆u(x) = f (x) Dν Φ(y)dHn−1 (y) = −f (x) . (1.124) ∂B(0,1) Damit ist der Beweis beendet. 1.2.3 Distributionen Definition 1.29. Sei D = Cc∞ (Rn ). Eine Folge f : N → D konvergiert in D gegen f∗ ∈ D falls folgendes gilt: (i) Für jedes α ∈ Nn konvergiert Dα fj → Dα f∗ gleichmäßig in Rn . (ii) Es gibt eine kompakte Menge K ⊂ Rn , so dass fj = 0 aus Rn \ K für alle j ∈ N. ´ Beispiel. (i) Sei η ∈ C ∞ (B(0, 1)) mit η = 1 und ηr = r−n η(x/r), sei ψ ∈ D und ϕk = η 1 ∗ ψ. Dann konvergiert ϕk in D gegen ψ. k (ii) Sei ψ ∈ D, a ∈ Rn und ϕk (x) = k1 ψ(x − ka). Dann konvergiert Dα ϕk gleichmäßig gegen 0 für alle Multiindices α, aber ϕk konvergiert nicht in D, da Bedingung (ii) in Definition 1.29 nicht erfüllt ist. Definition 1.30. Eine Distribution ist eine lineare und stetige Abbildung T : D → R, d.h., eine Abbildung T : D → R, so dass (i) Aus fk → f in D folgt T (fk ) → T (f ); 22 [2. Juli 2017] (ii) T (af + bg) = aT (f ) + bT (g) für alle a, b ∈ R, f, g ∈ D. Man bezeichnet mit D0 (oder auch D0 (Rn )) die Menge der Distributionen. Man sagt, dass eine Folge T : N → D0 gegen T∗ ∈ D0 (schwach-∗) in D0 konvergiert, wenn T gegen T∗ punktweise konvergiert, d.h., Tj (f ) → T∗ (f ) für alle f ∈ D. Lemma 1.31. Sei f ∈ L1,loc (Rn ). Dann definiert ˆ Λf (ϕ) = f ϕ dLn (1.125) Rn eine Distribution Λf ∈ D0 . Die Abbildung Λ : L1,loc (Rn ) → D0 ist linear und stetig. Beweis. Hausaufgabe. Weiteres Beispiel: für das Diracmass δa ist Λδa ist eine Distribution mit Λδa (ϕ) = ϕ(a). Man schreibt häufig δa statt Λδa für die Distribution. [8.5. 2017, Vorlesung 5] [12.5. 2017, Vorlesung 6] Lemma 1.32. Seien f, g ∈ L1,loc (Rn ), so dass Λf (ϕ) = Λg (ϕ) für alle ϕ ∈ D. Dann gilt f = g fast überall. Beweis. Sei hr = (f − g) ∗ ηr . Dann gilt hr (x) = 0 für alle x (weil hr (x) = Λf (ϕx,r ) − Λg (ϕx,r ), wobei ϕx,r (y) = ηr (y − x)). Aus Lemma 1.33 folgt, dass hr → f − g in L1,loc . Deshalb gilt f − g = 0 fast überall. Lemma 1.33. Sei ηr wie in Lemma 1.5 und 1.6, f ∈ L1,loc (Rn ), fr = f ∗ηr . Dann gilt fr → f in L1,loc . Beweis. Für f ∈ L1 (Rn ) ist dies gerade Lemma 4.28 (i) aus Analysis 3. Für f ∈ L1,loc (Rn ) müssen wir zeigen, dass f ∗ ηr → f in L1 (B(0, R)) für alle R > 0. Sei R > 0, sei r < 1 und sei f1 = f χB(0,R+1) . Dann folgt wie im Beweis von Lemma 1.28 die Aussage f ∗ηr = f1 ∗ηr in B(0, R). Weiterhin gilt f = f1 in B(0, R). Aus Analysis 3, Lemma 4.28 (i) folgt f1 ∗ ηr → f1 in L1 (Rn ), und damit insbesondere in L1 (B(0, R)). Daraus ergibt sich die Behauptung. Wir kommen jetzt zu einer zentralen Eigenschaft von Distributionen: Distributionen lassen sich beliebig oft differenzieren, die Ableitung von Distributionen ist eine natürlich Erweiterung der Ableitung von differenzierbaren Funktionen und die schwach-* Konvergenz von Distributionen kommutiert mit der Ableitung. 23 [2. Juli 2017] Definition 1.34. Sei T ∈ D0 . Dann ist Dα T : D → R durch (Dα T )(ϕ) = (−1)kαk T (Dα ϕ) (1.126) definiert. kαk Lemma 1.35. (i) Sei f ∈ Cc (Rn ). Dann gilt Dα Λf = ΛDα f . (ii) Sei T : N → D0 eine Folge, die schwach-∗ in D0 gegen T∗ ∈ D0 konvergiert und sei α eine Multiindex. Dann konvergiert die Folge Dα T schwach-∗ gegen Dα T∗ . Beweis. (i): Wir betrachten zunächst |α| = 1. Für i = 1, . . . , n und ϕ ∈ D ergibt sich mit partieller Integration ˆ ˆ n (Di f )ϕ dLn = ΛDi f (ϕ) . f Di ϕ dL = (Di Λf )(ϕ) = −Λf (Di ϕ) = − Rn Rn (1.127) Der allgemeine Fall folgt mit vollständiger Induktion. (ii): Wir benutzen die Definition der distributionellen Ableitung, die Definition der schwach-∗ Konvergenz und wiederum die Definition der distributionellen Ableitung. Dies liefert (Dα Tk )(ϕ) = (−1)|α| Tk (Dα ϕ) → (−1)|α| T∗ (Dα ϕ) = (Dα T∗ )(ϕ) (1.128) und somit die Behauptung. Beispiel. (i) Sei n = 1, f (x) = |x|. Dann gilt DΛf = Λg , g(x) = 1 für x > 0, g(x) = −1 für x < 0. (ii) Sei n = 1, a < b, f = χ(a,b) . Dann gilt DΛf = Λδa − Λδb . (iii) (nicht in der Vorlesung besprochen) Sei Ω ⊂ Rn offen und beschränkt mit C 1 Rand und sei f = χΩ . Dann ist ˆ ˆ n (Di f )(ϕ) = −f (Di ϕ) = − Di ϕ dL = − ϕνi Hn−1 . (1.129) Ω ∂Ω (iv) (nicht in der Vorlesung besprochen) Sei a ∈ Rn , i ∈ {1, . . . , n}. Dann gilt (Di Λδa )(ϕ) = −Λδa (Di ϕ) = −Di ϕ(a). Damit können wir die zentrale Aussage dieses Unterkapitels formulieren. Satz 1.36. Sei Φ die Fundamentallösung des Laplace-Operators. Dann gilt −∆ΛΦ = Λδ0 . Notation: man schreibt häufig kürzer −∆Φ = δ0 in D0 . 24 (1.130) [2. Juli 2017] Beweis. Sei ϕ ∈ D. Dann gilt ˆ Φ(y)∆ϕ(y)dy −∆ΛΦ (ϕ) = ΛΦ (−∆ϕ) = − n R ˆ Φ(−y)∆ϕ(y)dy =− (1.131) (1.132) Rn = −(Φ ∗ ∆ϕ)(0) . (1.133) Nach Lemma 1.28 gilt −(Φ ∗ ∆ϕ)(0) = −∆(Φ ∗ ϕ)(0) und nach Satz 1.26 ist der letzte Ausdruck gerade ϕ(0) = Λδ0 (ϕ). Bemerkung. Das obige Argument zeigt, dass ˆ Φ(y)∆ϕ(y) dy = ϕ(0) ∀ϕ ∈ Cc2 (Rn ) (1.134) Rn und analog ˆ Φ(y − x)∆ϕ(y) dy = ϕ(x) Rn ∀ϕ ∈ Cc2 (Rn ) . (1.135) Satz 1.37 (Weylsches Lemma). Sei u ∈ L1,loc (Rn ) und sei ∆Λu = 0 im Sinne von Distributionen, d.h. ˆ u∆ϕ dLn = 0 ∀ϕ ∈ D . (1.136) Rn Dann gibt es genau eine Funktion v ∈ C ∞ (Rn ) mit u = v fast überall und es gilt ∆v = 0. ´ Beweis. Sei η ∈ Cc∞ (B(0, 1)) mit η = 1 und sei ηr (x) = r−n η(x/r). Sei ur := ηr ∗ u. Nach Lemma 1.33 gilt ur → u in L1,loc für r → 0. Außerdem gilt ˆ ∆ur (x) = (u ∗ ∆ηr )(x) = u(y)∆ηr (x − y) dy = 0 , (1.137) Rn wobei wir (1.136) mit ϕ(y) = ηr (x − y) angewandt haben. Daher gilt ur ∈ C ∞ (Rn ) und ∆ur = 0. Sei ϕ ∈ Cc∞ (Rn ) radialsymmetrisch. Nach Satz 1.3 hat ur die sphärische Mittelwerteigenschaft, und aus Lemma 1.6 folgt, dass ur = ϕ ∗ ur . Damit gilt ur = ϕ ∗ ur → ϕ ∗ u in C ∞ (B(0, R)) für alle R > 0. Da ur → u in L1,loc , folgt u = ϕ ∗ u fast überall. Sei v = ϕ ∗ u. Dann gilt v ∈ C ∞ (Rn ) und ur → v in C ∞ (B(0, R)) für r → 0. Daraus folgt ∆v = 0. 25 [2. Juli 2017] Bemerkung. (i) Dieses Vorgehen ist typisch für die moderne Theorie der partiellen Differentialgleichungen. Man definiert zunächst einen sehr schwachen Lösungsbegriff (hier durch Abwälzen der Ableitungen auf die Test” funktion ϕ“). Dann zeigt man, dass die schwachen Lösungen in Wirklichkeit weit bessere Eigenschaften haben und klassische Lösungen sind. (ii) (nicht im Detail besprochen). Die Voraussetzung u ∈ L1,loc kann entfallen. Genauer kann man folgende Aussage zeigen. Sei T ∈ D0 und ∆T = 0 in D0 (d.h. T (∆ϕ) = 0 für alle ϕ ∈ D). Dann gibt es u ∈ D mit ∆u = 0 und T = Λu . Zum Beweis definiert man ur jetzt als Faltung von T und ηr , genauer ur (x) := T (ηr (x − ·)), d.h. ur (x) = T (ψx ), wobei (ψx )(y) := η(x − y). Dann kann man im Wesentlichen wie zuvor argumentieren. 1.2.4 Verhalten bei ∞, Multipolentwicklung Exkurs Eine Interpretation der Laplacegleichung: elektrische Ladung und elektrisches Potential Sei ρ : R3 → R eine Ladungsdichte. Nach den statischen Maxwellgleichungen erfüllen das zugehörige elektrische Feld E : R3 → R3 und die elektrische Verschiebung D : R3 → R3 im Vakuum die Differentialgleichungen div D = ρ (1.138) rot E = 0 (1.139) D = 0 E (1.140) Die Konstante 0 heißt Influenzkonstante hat im SI Einheitensystem ungefähr den Wert 8.859 · 10−12 VAs m. Aus Analysis 2 wissen wir, dass (1.139) genau dann gilt, wenn es eine Funktion u : R3 → R gibt, so dass E = −∇u in Rn (1.141) (das Minuszeichen wurde hier eingefügt um mit der Notation der Physiker konsistent zu sein). Die Funktion u heißt elektrisches Potential der Ladungsverteilung ρ. Die Beziehung zwischen der elektrischen Ladungsdichte ρ und dem elektrischen Potential u ist damit gegeben durch −∆u = 1 ρ. 0 (1.142) Für ρ ∈ Cc2 (R3 ) ist eine Lösung dieser Gleichung gegeben durch u= 1 Φ ∗ ρ. 0 (1.143) Aus Lemma 1.39 unten folgt, dass dies die einzige (beschränkte) Lösung mit limx→∞ u(x) = 0 ist. 26 [2. Juli 2017] Die Physiker sprechen häufig vom Potential einer Punktladung q1 . Mathematisch ist eine Punktladung q1 im Punkt y als die Distribution q1 δy zu interpretieren. Damit ist das Potential einer Punktladung q1 im Nullpunkt durch q1 q1 1 uq1 (x) = Φ(x) = (1.144) 0 4π0 |x| gegeben. Abschliessend stellen wir noch eine Beziehung zu dem Ausdruck für die Kraft zwischen zwei Punktladungen her, den Sie vermutlich aus der Schule kennen. Sei E das von der Ladungsverteilung ρ erzeugte elektrische Feld. Dann übt E auf eine Punktladung q2 im Punkt x die Kraft q2 E(x) aus. Falls E das Feld einer Punktladung q1 im Nullpunkt ist, so ist die Kraft auf eine Punktladung q2 im Punkt x gerade F (x) = q2 E(x) = −q2 ∇uq1 (x) = q1 q2 x 4π0 |x|3 (1.145) Diese Kraft zeigt in radiale Richtung. Falls q1 q2 > 0, so zeigt die Kraft vom Nullpunkt weg ( gleiche Ladungen stoßen sich ab“). ” Analog kann man für eine Masseverteilung m : R3 → [0, ∞) ein Graviationspotential definieren. In diesem Fall ist das Vorzeichen umgekehrt, da Massen sich anziehen und nicht abstoßen. [12.5. 2017, Vorlesung 6] [15.5. 2017, Vorlesung 7] Satz 1.38. Sei n ≥ 2, f ∈ Cc2 (B(0, R)), u = Φ ∗ f . Dann gilt für alle k ∈ N und alle x ∈ Rn \ B(0, 2R) k+1 X α u(x) − ≤ Ck R f D Φ(x) kf kL1 (Rn ) , (1.146) α |x|n+k−1 kαk≤k wobei (−1)kαk fα = α! ˆ f (y)y α dy . (1.147) Rn Bemerkung. Durch eine kurze Rechnung und vollständige Induktion über die Ordnung kαk kann man leicht zeigen, dass sich die partiellen Ableitungen Dα Φ in der Form x Dα Φ(x) = |x|2−n Pα ( ) |x| schreiben lassen, wobei Pα ein homogenes Polynom vom Grad kαk ist. Wir werden später ein anderes Argument für diese Darstellung sehen, aus dem sogar folgt, dass die Polynome Pα harmonisch sind. 27 [2. Juli 2017] Beweis. Die Idee ist, Φ in einer Taylor-Reihe zu entwickeln. Da DΦ (1 − n)– homogen ist, gilt Cα (1.148) |Dα Φ|(x) ≤ n−2+kαk |x| für alle α ∈ Nn (mit α 6= 0 falls n = 2). Beweis von (1.148): Sei α ∈ Nn , Cα = max |Dα Φ|(∂B(0, 1)). Für t > 0 sei Φt (x) = Φ(tx). Aus der Kettenregel folgt (Dα Φt )(x) = (Dα Φ)(tx)tkαk . (1.149) Für n ≥ 3 folgt aus der Definition von Φ Φt = t2−n Φ (1.150) Dα Φt = t2−n Dα Φ . (1.151) Dα Φ(x) = tn−2 Dα Φt (x) = (Dα Φ)(tx)tn−2+kαk (1.152) und daraus Deshalb gilt für alle x ∈ Rn \ {0} und alle t ∈ (0, ∞). Mit t = 1/|x| folgt (1.148). Im Fall n = 2 betrachtet man DΦt = t2−n DΦ (1.153) statt (1.150), daraus folgt ebenfalls (1.151) für alle α 6= 0. Seien x, y ∈ Rn mit |x| > 2R und |y| < R und g(t) = g(x − ty). Die eindimensionale Taylorformel (1.81) liefert (mit k + 1 anstelle von k) ˆ 1 k X 1 (l) (1 − t)k (k+1) g(1) = g (0) + g (t) dt. l! k! 0 l=0 In Verbindung mit (1.85) und der Identität Φ(x − y) = 1 k! = k+1 (k+1)! folgt X 1 (−y)α Dα Φ(x) α! kαk≤k X k+1ˆ 1 + Dα Φ(x − ty)(−y)α (1 − t)k dt α! 0 (1.154) (1.155) kαk=k+1 Aus t ∈ [0, 1] folgt weiter |x − ty| ≥ |x|/2 und mit (1.148) ergibt sich |Dα Φ(x − ty)| ≤ Cα 1 2n−2+kαk ≤ C . α |x − ty|n−2+kαk |x|n−2+kαk 28 (1.156) [2. Juli 2017] P Deshalb gilt, mit Ck = (k + 1)2n+k−1 kαk=k+1 Cα /α!, k+1 X 1 α α Φ(x − y) − ≤ Ck R (−y) D Φ(x) α! |x|n+k−1 kαk≤k (1.157) und nach Multiplikation mit f (y) und Integration über y ergibt sich schließlich die Behauptung ˆ k+1 X 1 α α Φ ∗ f (x) − ≤ Ck R (−y) f (y) dy D Φ(x) kf k1 . α! |x|n+k−1 Rn kαk≤k (1.158) Lemma 1.39. Sei n ≥ 3, f ∈ Cc2 (Rn ), u eine beschränkte Lösung von −∆u = f in Rn . Dann gibt es ein u∞ ∈ R so dass gilt: u = Φ ∗ f + u∞ . (1.159) Beweis. Sei v = Φ ∗ f . Dann gilt −∆v = f . Sei R > 0, so dass supp f ∈ B(0, R). Dann gilt ˆ |v(x)| ≤ max |f | |Φ|(x − y)dy ≤ C . (1.160) B(0,R) Für |x| > 2R gilt ˆ |Φ|(x − y)dy ≤ Ln (B(0, R)) sup |Φ| ≤ CR2 . Rn \B(0,R) B(0,R) Für |x| < 2R gilt ˆ ˆ |Φ|(z)dz ≤ CR2 . |Φ|(x − y)dy ≤ B(0,R) B(0,3R) Deshalb ist v beschränkt. Es folgt, dass u − v harmonisch und beschränkt ist. Aus dem Satz von Liouville (Satz 1.16) folgt, dass u − v konstant ist. Satz 1.40. Sei n ≥ 3, f ∈ Cc2 (B(0, R)), u eine beschränkte Lösung von −∆u = f in Rn . Dann gilt für alle k ∈ N und alle x ∈ Rn \ B(0, 2R) k+1 X α u(x) − u∞ − ≤ Ck R f D Φ(x) kf kL1 (Rn ) , (1.161) α |x|n+k−1 kαk≤k wobei (−1)kαk fα = α! ˆ f (y)y α dy (1.162) Rn und u∞ ∈ R. 29 [2. Juli 2017] Beweis. Aus Lemma 1.39 folgt, dass u = Φ ∗ f + u∞ , d.h., ˆ f (y)Φ(x − y)dy . u(x) = u∞ + (1.163) B(0,R) Die Aussage folgt dann aus Satz 1.38. Bemerkung. Eine analoge Entwicklung kann man für beschränkte Funktionen u herleiten, die nur auf dem Außengebiet Rn \ B(0, R) definiert sind und dort harmonisch. Man betrachtet einfach eine Abschneidefunktion ϕ ∈ Cc∞ (B(0, 3R)) mit ϕ = 1 auf B(0, 2R) (zur Existenz solcher Funktionen vgl. Analysis 3) und setzt v = (1−ϕ)u. Dann ist v = 0 in B(0, 2R)\B(0, R). Wir können daher v als C 2 Funktion auf ganz Rn definieren, indem wir v = 0 auf B(0, R) setzen. Dann gilt f := ∆v = −u∆ϕ − 2∇u · ∇ϕ. Aus den Eigenschaften von ϕ folgt, dass supp f ⊂ B(0, 3R) \ B(0, 2R). Da u beschränkt ist, ist auch v beschränkt und Satz 1.40 läßt sich auf v anwenden. Da v = u in Rn \ B(0, 3R) folgen die Aussagen für u. Bei der Abschätzung der Koeffizienten fα und der Norm kf kL1 kann man benützen, dass man ϕ so wählen kann, dass |∇ϕ| ≤ C/R und |∆ϕ| ≤ C/R2 . Beispiel. Für n = 3 erhält man nach leichten Umformungen: 1 q x · p 1 x · Qx −4 u(x) = + + + O(|x| ) , 4π |x| |x|3 2 |x|5 wobei (1.164) ˆ q= f (y)dy (1.165) yf (y)dy (1.166) (3y ⊗ y − |y|2 Id )f (y)dy . (1.167) B(0,R) ˆ p= B(0,R) ˆ Q= B(0,R) q wird Monopolmoment, p Dipolmoment, Q Quadrupolmoment genannt. Satz 1.41 (Newton). Sei n ≥ 2, f ∈ L1 (Rn ) radialsymmetrisch und supp f ⊂ B(0, R). Sei u = Φ ∗ f . Dann gilt ˆ u(x) = AΦ(x) für |x| > R, A= f dLn (1.168) Rn Beweis. Übungsaufgabe. Tip: Man sieht leicht, dass u(Rx) = u(x) für alle R ∈ SO(n), d.h. u ist radialsymmetrisch. Dann kann man ˆ h(r) := Dν u dHn−1 (1.169) ∂B(0,r) für r > R und den Limes r → ∞ betrachten. 30 [2. Juli 2017] Bemerkung. Aus dem Satz folgt, dass man für eine radialsymetrische Ladungsverteilung f aus dem Feld u außerhalb der Ladungsverteilung nur die Gesamtladung, aber keine weiteren Details von f bestimmen kann. Optimale Abschätzungen Lemma 1.42. Sei u ∈ Cc2 (Rn ). Dann gilt: ˆ ˆ 2 2 |∆u|2 dx . |D u| dx = Notation: |D2 u|2 = (1.170) Rn Rn Pn 2 i,j=1 (∂i ∂j u) . Bemerkung. Für A ∈ Rn×n gilt |Tr A|2 ≤ n|A|2 , und der Faktor n ist notwendig (Beispiel: |Tr Id |2 = n2 , |Id |2 = n). Die Abschätzung (1.170) ist nicht lokal, d.h., sie gilt nicht punktweise. Beweis. Übungsaufgabe Tip: Partielle Integration oder Fouriertransformation. Satz 1.43. Sei f ∈ Cc2 (Rn ) und u = Φ ∗ f . Dann gilt ˆ ˆ 2 2 |D u| dx = |f |2 dx . Rn (1.171) Rn Beweisidee. Man betrachtet zunächst f ∈ Cc3 (Rn ) und zeigt mit partieller Integration, dass ˆ ˆ ˆ X X ∂i ∂j u ∂i ∂j u = ∂i ∂i u ∂ j ∂j u + ... B(0,r) i,j B(0,r) i,j ∂B(0,r) Aus den Abschätzungen für ∂i Φ und ∂i ∂j Φ folgen Abschätzungen für ∂i u und ∂i ∂´j u auf ∂B(0, r) für große r. Damit sieht man leicht, dass das Randintegral ∂B(0,r) . . . im Limes r → ∞ verschwindet. Die Behauptung folgt für f ∈ Cc3 (Rn ) mit dem Satz über monotone Konvergenz. Für´ f ∈ Cc2 (Rn ) betrachtet man zunächst fk = ηk ∗ f mit η ∈ Cc∞ (Rn ), η = 1 und η´k (x) = k n η(kx) und k := Φ ∗ fk = ηk ∗ u. Daraus folgert man ´ zeigt u 2 u |2 dx → 2 u|2 . |D |D k B(0,r) B(0,r) [15.5. 2017, Vorlesung 7] [19.5. 2017, Vorlesung 8] 31 [2. Juli 2017] 1.2.5 Greensche Funktion Wir gehen nun der Frage nach, ob die Lösung von −∆u = f in einer beschränkten Menge Ω ⊂ Rn durch f und die Randwerte von u ausgedrückt werden kann. Allgemeine Bemerkung zu den Voraussetzungen in diesem Unterkapitel: wir verwenden in diesem Unterkapitel häufig Satz von Gauss oder die daraus abgeleiteten Gauss-Green Formel (s. Satz 1.23). Dazu benutzen wir die Voraussetzung • Ω ist beschränkt und hat C 1 Rand Diese Voraussetzung kann durch schwächere Bedingungen ersetzt werden, solange der Satz von Gauss gilt, z.B. durch die Bedingungen • Ω ist beschränkt und hat stückweise C 1 Rand (Beispiele: Würfel, Halbkugel) oder • Ω ist ein beschränktes Lipschitzgebiet (Beispiel: abgeschnittener Kegel) Lemma 1.44. Sei Ω ⊂ Rn offen und beschränkt, mit C 1 Rand, u ∈ C 1 (Ω̄)∩ C 2 (Ω) und ∆u ∈ L1 (Ω). Dann gilt ˆ u(x) = [Φ(y − x)Dν u(y) − u(y)Dν Φ(y − x)] dHn−1 (y) ∂Ω ˆ − Φ(y − x)∆u(y) dy . (1.172) Ω Bemerkung. Man kann sich die Formel gut merken, indem man formal die Gauss-Green Formel (Satz 1.23 (iii)) hinschreibt, d.h., ˆ ˆ Φ(y−x)∆u(y)−u(y)∆Φ(y−x) dy = Φ(y−x)Dν u−u(y)Dν Φ(y−x) dHn−1 (y) Ω ∂Ω (1.173) ´ und −∆Φ als Diracdistribution interpretiert, d.h. − Ω u(y)∆Φ(y − x) dy = u(x). Der folgende Beweis gibt eine rigorose Rechtfertigung für dieses Vorgehen. Bemerkung. Die rechte Seite der Formel (1.172) läßt sich wie folgt interpretieren. Der letzte Term ist das Potential der Ladungsverteilung f = −∆u (in der elektrostatischen Interpretation setzen wir hier der Einfachheit halber 0 = 1). Man beachte, dass Φ(y − x) = Φ(x − y). Der erste Term ist das Potential der singulären Ladungsverteilung Dν uHn−1 ∧∂Ω. Diese Verteilung ist keine L1 Funktion mehr, sondern ein Maß, dass auf der (n−1)-dimensionalen 32 [2. Juli 2017] Untermannigfaltigkeit ∂Ω konzentriert ist. Die Physiker und Ingenieure nennen dies ein Einschichtpotential (engl.: single-layer potential). Der mittlere TermPkann schließlich interpretiert werden als das Potential der Distribution νi Di (uHn−1 ∧ ∂Ω). Die Physiker stellen sich diese Distrubtion als 1 − + Limes von 2ε (ρ+ ε − ρε ) vor, wobei ρε auf der Menge der Punkte y + εν(y), y ∈ ∂Ω konzentriert ist und ρ− ε auf der Menge der Punkte y − εν(y), y ∈ ∂Ω konzentriert ist (Doppelschichtpotential; engl: double-layer potential). Beweis. Sei B(x, r) ⊂ Ω , sei η ∈ Cc∞ (Ω) mit η(y) = 1 in B(x, r) und ψ = 1 − η. Dann folgt aus der Bemerkung nach dem Beweis von Satz 1.36 (s. (1.135)) ˆ − ∆u(y)Φ(y − x) dy (1.174) ˆ ˆ ∆(ψu)(y)Φ(y − x) dy (1.175) ∆(ηu)(y)Φ(y − x) dy − =− Ω Ω ˆ = u(x) − ∆(ψu)(y)Φ(y − x) dy (1.176) Ω\B(x,r) Nun gilt ∆Φ = 0 in Rn \ {0} und ψ = 0, ∇ψ = 0 auf ∂B(x, r) sowie ψ = 1 und ∇ψ = 0 auf ∂Ω. Damit folgt aus Satz 1.23 (iii) ˆ ∆(ψu)(y)Φ(y − x) dy (1.177) Ω\B(x,r) ˆ = Φ(y − x)Dν (ψu)(y) − (ψu)(y)Dν Φ(y − x) dHn−1 (y) (1.178) ∂Ω ˆ = Φ(y − x)Dν u(y) − u(y)Dν Φ(y − x) dHn−1 (y) (1.179) ∂Ω Die Formel in Lemma 1.44 drückt u durch ∆u und die Randwerte von u und Dν u aus. Wir wissen aber schon aus dem Maximumprinzip, dass die Lösung von −∆u (wenn sie exisitert) schon eindeutig durch die Randwerte von u gegeben ist. Um eine Formel zu gewinnen, welche nur die Randwerte von u enthält, ersetzen wir die Fundamentallösung Φ(y − x) in (1.173) durch eine Funktion G(x, y) mit G(x, y) = 0 für y ∈ ∂Ω. Dies führt auf den Begriff der Greenschen Funktion. Definition 1.45. Sei Ω ⊂ Rn eine offene Menge und sei D die Diagonale in Ω × Ω, d.h. D = {(x, y) ∈ Ω × Ω : x 6= y}. Eine Funktion G : Ω × Ω \ D → R heißt Greensche Funktion für das Gebiet Ω falls für jedes x ∈ Ω eine Funktion ϕx ∈ C 2 (Ω) ∩ C 1 (Ω) existiert, so dass ∆ϕx = 0 in Ω ϕx (y) = Φ(y − x) für alle y ∈ ∂Ω , (1.180) (1.181) und G(x, y) = Φ(y − x) − ϕx (y). 33 [2. Juli 2017] Bemerkung. Das bedeutet, dass G(x, y) = 0 für alle (x, y) ∈ Ω × ∂Ω und dass ∆(G(x, ·) − Φ(· − x)) = 0. Sei f ∈ D, mit supp f ∈ Ω. Dann gilt für alle x ∈ Ω −∆ΛG(x,·) (f ) = −∆ΛΦ(·−x) (f ) − ∆Λϕx (f ) = Λδx (f ) = f (x) . (1.182) Man schreibt auch −∆y G(x, y) = δx in D0 , für alle x ∈ Ω fest (1.183) G(x, ·) = 0 auf ∂Ω (1.184) Bemerkung. Sei Ω beschränkt. Dann ist die Funktion ϕx eindeutig bestimmt, falls sie existiert (Maximumprinzip !). Deshalb ist auch G in diesem Fall eindeutig. Bemerkung. Für alle x ∈ Ω ist G(x, ·) ∈ C 2 (Ω \ {x}) ∩ C 1 (Ω \ {x}). Notation Wir bezeichnen im folgenden mit Da G die Richtungsableitung von G bezüglich des zweiten Arguments: (Da G)(y) = n X ∂yi G(x, y)ai . i=1 Satz 1.46 (Darstellungsformel). Sei Ω ⊂ Rn ein beschränktes C 1 -Gebiet und G eine Greensche Funktion für Ω. Seien f ∈ Cc2 (Rn ), g ∈ C 0 (∂Ω) und sei u ∈ C 2 (Ω) ∩ C 1 (Ω) eine Lösung von ( −∆u = f in Ω (1.185) u=g auf ∂Ω . Dann gilt für alle x ∈ Ω ˆ ˆ n−1 u(x) = − g(y)Dν G(x, y)dH (y) + G(x, y)f (y)dy . ∂Ω (1.186) Ω Beweisidee: Formale Anwendung der Gauß-Green Formel (Satz 1.23(iii)) liefert ˆ ˆ n (u∆G − G∆u) dL = (uDν G − GDν u)dHn−1 , (1.187) Ω ∂Ω wobei ∆G wiederum distributionell interpretiert werden sollte. Mit −∆G(x− ·) = δx und G = 0 auf dem Rand folgt die Aussage. 34 [2. Juli 2017] Beweis. Um diese Idee rigoros zu machen schreiben wir G(x, y) = Φ(y −x)− ϕx (y) und benützen Lemma 1.44, um den Term mit Φ zu berechnen. Die Funktion ϕx ist genügend regulär ,um die Gauss-Green Formel anzuwenden und es ergibt sich. ˆ ˆ ˆ n−1 ϕx ∆u dy (1.188) ϕx Dν u − uDν ϕx dH − 0 = − u∆ϕx dy = Ω ∂Ω Ω Die Behauptung folgt, indem wir diese Identität von (1.172) abziehen, da G(x, y) = Φ(y − x) − ϕ(y) = 0 für y ∈ ∂Ω. Lemma 1.47. Sei Ω ⊂ Rn , G eine Greensche Funktion für Ω, B(x, r) ⊂ Ω, u ∈ C 2 (B(x, r)). Dann gilt ˆ [u(y)Dν G(x, y) − G(x, y)Dν u(y)] dHn−1 (y) = −u(x) . (1.189) lim ε→0 ∂B(x,ε) Beweis. Es gilt G(x, y) = Φ(y − x) − ϕx (y). Aus dem Beweis von Satz 1.26 folgt ˆ lim [u(y)Dν Φ(y − x) − Φ(y − x)Dν u(y)] dHn−1 (y) = −u(x) . ε→0 ∂B(x,ε) (1.190) Da ϕx ∈ C 1 (Ω) und u ∈ C 1 (B(x, r)) gilt M := (|u(y)| + |∇u(y)| + |ϕx (y)| + |∇ϕ(y)|) < ∞ sup y∈B(x,r/2) Damit folgt für 0 < ε < r/2 ˆ [u(y)Dν ϕx (y) − ϕx (y)Dν u(y)] dHn−1 (y) ∂B(x,ε) ≤ 2M 2 Hn−1 (∂B(x, ε)) ≤ Cεn−1 . Daher gilt lim ˆ ε→0 ∂B(x,ε) [u(y)Dν ϕx (y) − ϕx (y)Dν u(y)] dHn−1 (y) = 0 und die Behauptung folgt aus (1.190). Satz 1.48 (Symmetrie der Greenschen Funktion). Sei Ω ⊂ Rn beschränkt mit C 1 Rand. Dann gilt G(x, y) = G(y, x) für alle x, y ∈ Ω (mit x 6= y). Beweis. Seien x, y ∈ Ω fest. Wir brauchen nur den Fall x 6= y zu betrachten. Wir definieren zwei Funktionen v, w : Ω → R, v(z) = G(x, z) (1.191) w(z) = G(y, z) . (1.192) 35 [2. Juli 2017] Dann gilt ∆v = 0 in Ω \ {x}, und ∆w = 0 in Ω \ {y}. Ferner gilt v = w = 0 auf ∂Ω. Sei ε > 0, so dass B(x, ε) ∪ B(y, ε) ⊂ Ω und B(x, ε) ∩ B(y, ε) = ∅. Sei Vε = Ω \ B(x, ε) \ B(y, ε). Dann gilt ˆ ˆ (w∆v − v∆w) dz = (wDν v − vDν w) dHn−1 (1.193) Vε ∂Vε und deshalb ˆ (wDν v − vDν w) dHn−1 0= (1.194) ∂B(x,ε)∪∂B(y,ε) Wir betrachten die Ränder der zwei Kugeln getrennt. Der erste ist ˆ (wDν v − vDν w) dHn−1 (1.195) ∂B(x,ε) ˆ (w(z)Dν G(x, z) − G(x, z)Dν w(z)) dHn−1 . (1.196) = ∂B(x,ε) Da w ∈ C 2 (B(x, ε)), folgt aus Lemma 1.47 ˆ lim (w(z)Dν G(x, z) − G(x, z)Dν w(z)) dHn−1 = −w(x) . (1.197) Analog, ˆ lim (1.198) ε→0 ∂B(x,ε) ε→0 ∂B(y,ε) (wDν v − vDν w) dHn−1 ˆ = lim ε→0 ∂B(y,ε) (G(y, z)Dν v(z) − v(z)Dν G(y, z)) dHn−1 = v(y) . (1.199) Deshalb gilt w(x) = v(y), und der Beweis ist beendet. Korollar 1.49. Sei Ω beschränkt mit C 1 Rand. Sei z ∈ Ω. Dann ist die Funktion x 7→ G(x, z) harmonisch in Ω \ {z}. Beweis. Sei h(x) = G(x, z). Nach Satz 1.48 gilt: h(x) = G(z, x). Nach Definition von G ist h harmonisch in Ω \ {z}. [19.5. 2017, Vorlesung 8] [22.5. 2017, Vorlesung 9] Bemerkung. 36 [2. Juli 2017] 1.2.6 Spezielle Gebiete Erinnerung: Aus Def. 1.24, 1 − ln |z| 2π Φ(z) = 1 1 n(n − 2)ωn |z|n−2 falls n = 2 (1.200) falls n ≥ 3 , folgt DΦ(z) = − 1 z . nωn |z|n (1.201) Halbraum Lemma 1.50. Eine Greensche Funktion für den oberen Halbraum Rn+ = {x ∈ Rn : xn > 0} (1.202) G(x, y) = Φ(y − x) − Φ(y − P x) , (1.203) ist wobei P x = (x1 , . . . , xn−1 , −xn ), d.h., P = Id − 2en ⊗ en . Beweis. Für x ∈ Rn+ sei ϕx (y) := Φ(y − P x). Dann gilt ∆ϕx = 0 in Rn+ , da P x 6 Rn+ . Für y ∈ ∂Rn+ gilt yn = 0 und somit y − P x = P (y − x). Daraus folgt ϕx = Φ(P (y − x)) = Φ(y − x) ∀y ∈ Rn+ . Definition 1.51. Man nennt K : Rn+ × ∂Rn+ → R K(x, y) = −(Dν G)(x, y) = ∂G(x, y) 2xn 1 = ∂yn nωn |x − y|n (1.204) den Poissonkern des Halbraumes. (i) Für alle x ∈ Rn+ ist K(x, ·) ∈ C 0 (∂Rn+ ) ∩ L1 (∂Rn+ ). P (ii) Für alle y ∈ ∂Rn+ gilt K(·, y) ∈ C ∞ (Rn+ ) und ∆K(·, y) = i ∂x2i K(x, y) = 0. Lemma 1.52. (iii) Für alle x ∈ Rn+ gilt ˆ K(x, y) = 1 . (1.205) ∂Rn + 37 [2. Juli 2017] Beweis. (i): Stetigkeit folgt aus |x − y| ≥ |xn − yn | = xn > 0. Integrabilität folgt aus Stetigkeit und der Tatsache dass |K(x, y)| ≤ C/|y|n für alle y, die groß genug sind (z.B. |y| ≥ 2|x|). (ii): Folgt aus der Definition und ∆Φ = 0 auf Rn \ {0}. (iii): Es reicht, den Fall x0 = (x1 , . . . , xn−1 ) = 0 zu behandeln (sonst betrachtet man den Variablenwechsel z = y − x0 ). Für yn = 0 gilt K(x, y) = 2 ∂Φ(y − x) . ∂yn (1.206) Da y → 7 Φ(y − x) in einer Umgebung von Rn− harmonisch und glatt ist, gilt ˆ ˆ Dν Φ(y − x) dHn−1 (y) 0= ∆Φ(y − x) dy = ∂(Rn − ∩B(0,R)) Rn − ∩B(0,R) ˆ = B(0,R)∩∂Rn − ∂Φ(y − x) dHn−1 (y) + ∂yn (1.207) ˆ Rn − ∩∂B(0,R) Dν Φ(y − x) dHn−1 (y) (1.208) Wir betrachten die Substitution y = Rz. Es gilt ∇Φ(Rz −x) = R1−n ∇Φ(z − x/R) und ∇Φ(z − x/R) → ∇Φ(z) für R → ∞, gleichmäßig für z ∈ ∂B(0, 1). Daraus folgt ˆ ∂Φ(y − x) dHn−1 (y) (1.209) − lim R→∞ B(0,R)∩∂Rn ∂y n − ˆ = lim Dν Φ(y − x) dHn−1 (y) (1.210) R→∞ Rn ∩∂B(0,R) − ˆ = lim R→∞ Rn ∩∂B(0,1) − Dν Φ(z − x/R) dHn−1 (z) (1.211) ˆ = 1 Dν Φ(z) dHn−1 (z) = − , 2 Rn − ∩∂B(0,1) (1.212) da Dν Φ(z) = nω1 n für |z| = 1 und Hn−1 (∂B(0, 1)) = nωn . Mit (1.206) folgt die Behauptung. Satz 1.53. Sei g ∈ Cb0 (∂Rn+ ) (d.h. g ist beschränkt und stetig) und sei (´ u(x) = ∂Rn + K(x, y)g(y) falls x ∈ Rn+ falls x ∈ ∂Rn+ . g(x) (1.213) Dann gilt u ∈ C ∞ (Rn+ ) ∩ Cb0 (Rn+ ), ∆u = 0 in Rn+ und u = g auf ∂Rn+ . 38 [2. Juli 2017] Bemerkung. Man kann zeigen, dass u die einzige harmonische und beschränkte Funktion ist, die mit g auf dem Rand übereinstimmt. Dazu reicht zu zeigen, dass aus g = 0 und u beschränkt folgt, dass u = 0. 1. Beweis: Maximumprinzip/ Vergleich mit harmonischen Funktionen (Barrieren) der Form v(x) = δxn + ε(|x0 |2 − (n − 1)x2n ), wobei x0 = (x1 , . . . , xn−1 ) auf Zylindern C = B 0 (0, L) × (0, R). Mit ε = L−2 sup |u| und δR = sup |u| + (n − 1)εR2 kann man mit dem Maximumprinzip folgern, dass u ≤ v in C und die Limites L → ∞ und R → ∞ betrachten. 2. Beweis: die antisymmetrische Fortsetzung u(x0 , −xn ) = −u(x0 , xn ) ist harmonisch im Sinne von Distributionen (dazu muss man zunächst ∇u ∈ L1 (B(0, R) ∩ Rn+ ) zeigen). Damit ist die Fortsetzung C ∞ und harmonisch und die Aussage folgt aus dem Satz von Liouville. Beweis. Teil 1: wir zeigen u ∈ C 2 (Rn+ ) und ∆u = 0. Sei x∗ ∈ Rn+ fest, ε = x∗n /2 > 0. Die Ableitungen DK, D2 K sind auf (x, y) ∈ B(x∗ , ε) × ∂Rn+ beschränkt und gleichmäßig in y integrierbar. Deshalb gilt u ∈ C 2 (B(x∗ , ε)) und ˆ ∆u(x) = ∆K(x, y)g(y) = 0 . (1.214) ∂Rn + Teil 2: u ist beschränkt. Aus K ≥ 0 und ´ Rn + K(x, y) dy = 1 folgt ˆ |u(x)| ≤ K(x, y)|g(y)| dy ≤ sup |g|. ∂Rn + Teil 3: wir zeigen u ∈ C 0 (Rn+ ). Für x∗ ∈ ∂Rn+ und x ∈ Rn+ gilt ˆ u(x) − u(x∗ ) = K(x, y)g(y) dHn−1 (y) − g(x∗ ) (1.215) ∂Rn + ˆ = ∂Rn + K(x, y)(g(y) − g(x∗ )) dHn−1 (y) . (1.216) Sei ε > 0. Dann gibt es ein δ > 0, so dass |g(y) − g(x∗ )| < ε ∀y ∈ B(x∗ , 2δ) ∩ ∂Rn+ . (1.217) Nun gilt ˆ K(x, y)(g(y) − g(x∗ ))dHn−1 (y) ∂Rn+ ∩B(x∗ ,2δ) ˆ ≤ε |K|(x, y)dHn−1 (y) = ε (1.218) (1.219) ∂Rn + 39 [2. Juli 2017] und ˆ K(x, y)(g(y) − g(x∗ ))dHn−1 (y) ∂Rn+ \B(x∗ ,2δ) ˆ ≤ 2 max |g| |K|(x, y)dHn−1 (y) . (1.220) (1.221) ∗ ∂Rn + \B(x ,2δ) Für x ∈ B(x∗ , δ) gilt |x − y| ≥ |y − x∗ | − |x − x∗ | ≥ |y − x∗ | − δ, und deshalb 1 1 ≤ , (1.222) n |y − x| (|y − x∗ | − δ)n wobei letzte Funktion auf Rn−1 \ B(x∗ , 2δ) integrierbar ist. Daraus folgt ˆ 2xn 1 lim sup dHn−1 (y) (1.223) n ∗ n nω |x − y| ∗ x→x n ∂R+ \B(x ,2δ) ≤ lim sup xn Cδ = 0 (1.224) x→x∗ Deshalb gibt es ein δ 0 < δ, so dass |u(x) − u(x∗ )| ≤ 2ε ∀x ∈ B(x∗ , δ 0 ) ∩ Rn+ (1.225) Da u(x) = g(x) für x ∈ ∂Rn+ folgt aus |u(x) − u(x∗ )| ≤ ε ∀x ∈ B(x∗ , 2δ) ∩ ∂Rn+ (1.226) Kombination von (1.225) und (1.226) liefert die Behauptung. Kugel Lemma 1.54. Die Greensche Funktion für B(0, r) ist ( r2 Φ(y − x) − Φ |x| (y − x) falls x 6= 0 r |x|2 G(x, y) = Φ(y) − Φ(re1 ) falls x = 0 . (1.227) Beweis. Wir müssen zeigen: (i) G(x, y) = 0 für y ∈ ∂B(0, r), (ii) die Funktion ϕx = Φ(y − x) − G(x, y) ist harmonisch in B(0, r). (i): Für y ∈ ∂B(0, r), x 6= 0 gilt 2 2 2 2 |x| r (y − = |x| |y|2 − 2x · y + r |x|2 = |x|2 − 2x · y + r2 = |x − y|2 . x) r |x|2 r2 |x|2 (1.228) Daraus folgt G(x, y) = 0 falls |y| = r, da Φ radialsymmetrisch ist. Man sieht leicht, dass dies auch für x = 0 gilt. r2 (y − x) . Für x ∈ B(0, r) \ {0} ist (ii): Für x 6= 0 ist ϕx (y) = Φ |x| r |x|2 2 r | |x| 2 x| > r und daher ist ϕx harmonisch in B(0, r). Für x = 0 ist ϕx konstant und daher harmonisch. 40 [2. Juli 2017] Für |y| = r gilt y y |x| Dν G(x, y) = DΦ(y − x) − (DΦ) r r r |x| r y− x r |x| =− 1 r2 − |x|2 . nωn r|x − y|n (1.229) Definition 1.55. Der Poissonkern für die Kugel B(0, r) ist KB(0,r) (x, y) = 1 r2 − |x|2 , nωn r|x − y|n (1.230) und der Poissonkern für die Kugel B(x∗ , r) ist KB(x∗ ,r) (x, y) = 1 r2 − |x − x∗ |2 . nωn r|x − y|n (1.231) Satz 1.56. Sei g ∈ C 0 (∂B(z, r)) und sei u : B(z, r) → R durch ˆ K(x, y)g(y) dHn−1 (y) falls x ∈ B(z, r) u(x) = ∂B(0,r) g(x) falls x ∈ ∂B(z, r) (1.232) definiert. Dann gilt u ∈ C 2 (B(z, r)) ∩ C 0 (B(z, r)) und ∆u = 0 in B(z, r). [22.5. 2017, Vorlesung 9] [26.5. 2017, Vorlesung 10] Bemerkung. Wegen der Eindeutigkeit von Lösungen des Dirichletproblems (Satz 1.11) gilt daher für jede harmonische Funktion u ∈ C 2 (Ω) und jede Kugel B(z, r) ⊂ Ω, ˆ K(x, y)u(y)dHn−1 (y) (1.233) u(x) = ∂B(z,r) für alle x ∈ B(z, r). Daraus lässt sich unter anderem eine Taylorreihe für u herleiten sowie die Analytizität von u beweisen. Dazu kann man z.B. in einer Umgebung von x0 ∈ Ω den Poissonkern durch K(z, y) := 1 (r2 − nωn r X −n/2 X zj2 ) (zj − yj )2 j j auf komplexe Werte z ∈ Cn ∩ B(x0 , δ) erweitern. 41 [2. Juli 2017] P Beweis. Wir zeigen zunächst, dass ∆x K = i ∂x2i K = 0 für x ∈ B(0, r). Wie in Satz 1.53 folgt daraus, dass u in B(0, r) harmonisch ist. Wir definieren K̃(w) = K(w + y, y). Dann reicht es zu zeigen, dass K̃ in Rn \ {0} harmonisch ist. Aus |y| = r folgt |w + y|2 − r2 = |w|2 + 2y · w und ! n X 1 1 wi K̃(z) = − + (1.234) yi n . nωn |w|n−2 |w| i=1 Sei zunächst n ≥ 3. Dann ist |w|1n−2 ein Vielfaches der Fundamentallösung Φ wi n und |w| n ist ein Vielfaches von ∂i Φ. Daher sind beide Funktionen in R \ {0} harmonisch. Für n = 2 argumentiert man analog. Hier ist der erste Term konstant und der zweite ein Vielfaches von ∂i Φ. Daraus folgt, dass K in Rn \ {y} harmonisch ist. Es bleibt zu zeigen, dass u´auf dem Rand stetig ist. Da u = 1 harmonisch ist, folgt aus Satz 1.46, dass ∂B K(x, y) dHn−1 (y) = 1 für alle x ∈ B(0, r). Der Rest des Beweises ist analog zu Teil 3 des Beweises von Satz (1.53) und wurde in der Vorlesung nicht im Detail besprochen. Sei x∗ ∈ ∂B(0, r), ε > 0. Dann gibt es ein δ > 0, so dass 1 |g(y) − g(x∗ )| ≤ ε 2 für alle y ∈ ∂B(0, r) ∩ B(x∗ , 2δ) . (1.235) Sei x ∈ B(0, r) ∩ B(x∗ , δ). Dann gilt: ˆ |u(x) − u(x∗ )| = K(x, y)(g(y) − g(x∗ ))dHn−1 (y) (1.236) ∂B(0,r) ˆ ≤ K(x, y)|g(y) − g(x∗ )| dHn−1 (y) (1.237) ∂B(0,r) ˆ ε K(x, y) dHn−1 (y) . (1.238) ≤ + 2 max |g| 2 ∂B(0,r)\B(x∗ ,2δ) Aus |y − x∗ | ≥ 2δ und |y − x| < δ folgt |x − y| ≥ δ, K(x, y) ≤ (r2 − |x|2 )/(nωn δ n ) und |u(x) − u(x∗ )| ≤ ε 2 r2 − |x|2 + max |g| . 2 nωn δn Deshalb gilt: lim sup |u(x) − u(x∗ )| ≤ x→x∗ ε 2 (1.239) (1.240) für alle ε > 0. Da ε beliebig war ist die Aussage bewiesen. Wir haben insbesondere folgendes bewiesen: Sei Ω ⊂ Rn offen, B(x, r) ⊂ Ω, u ∈ C 0 (Ω). Dann gibt es genau eine Funktion v ∈ C 0 (Ω), so dass gilt: v = u in Ω \ B(x, r) ∆v = 0 in B(x, r) . 42 (1.241) (1.242) [2. Juli 2017] Die Funktion v wird harmonische Fortsetzung von u genannt und ist explizit durch ( u(x) falls x ∈ Ω \ B(x, r) v(x) = ´ n−1 (y) falls x ∈ B(x, r) ∂B(x,r) KB(x,r) (x, y)u(y)dH (1.243) gegeben. 1.2.7 Randintegralmethoden Für allgemeine Gebiete läßt sich keine explizite Form der Greenschen Funktion angeben. Trotzdem ist die Darstellung der Lösung als Einschicht- oder Doppelschichtpotential sehr nützlich, sowohl für abstrakte Existenzaussagen, als auch für die numerische Approximation von Lösungen. Hier wird nur eine ganz kurze Einführung gegeben. Eine ausführlichere Darstellung findet sich z.B. in dem Buch ’Introduction to partial differential equations’ von Gerald B. Folland, Princeton Univ. Press, 1995, im dem Kapitel ’layer potentials’. Als Beispiel betrachten wir das Dirichletproblem. Sei Ω ⊂ Rn ein beschränktes Gebiet und sei g ∈ C 0 (∂Ω). Gesucht ist eine Funktion u ∈ C 2 (Ω) ∩ C 0 (Ω) mit −∆u = 0 u=g in Ω (1.244) auf ∂Ω (1.245) Wir machen den Ansatz u(x) = g(x) für x ∈ ∂Ω und ˆ u(x) = −Dν Φ(y − x)h(y) dHn−1 (y) für x ∈ Ω (1.246) ∂Ω mit h ∈ C 0 (∂Ω). Dann sieht man leicht, dass u ∈ C ∞ (Ω) und ∆u = 0 in Ω. Unser Ziel ist, h so zu wählen, dass für jede Folge x : N → Ω, die gegen einen Punkt x∗ ∈ ∂Ω konvergiert, gilt limk→∞ u(xk ) = g(x∗ ). Dann folgt, dass u auf Ω stetig ist und somit eine Lösung des Dirichletproblems ist. Satz 1.57. Sei Ω eine beschränkte offene Menge mit C 2 Rand, sei h ∈ C 0 (∂Ω), sei u in Ω durch (1.246) definiert und sei x : N → Ω eine Folge, die gegen x∗ ∈ ∂Ω konvergiert. Dann existiert limk→∞ u(xk ) und es gilt 1 lim u(xk ) = h(x∗ ) + (Sh)(x∗ ) k→∞ 2 (1.247) ˆ mit −Dν Φ(y − x∗ )h(y) dHn−1 (y), Sh(x∗ ) = (1.248) ∂Ω 43 [2. Juli 2017] Anwendung von Satz 1.57: die Lösung des Dirichletproblems ist darauf zurückgeführt, eine Funktion h zu finden, welche die Operatorgleichung 2g = h + 2Sh = (Id + 2S)h (1.249) löst. Der entscheidende Punkt ist, dass der Operator S als Abbildung von C 0 (∂Ω) auf sich kompakt ist, d.h. falls hk eine beschränkte Folge in C 0 (∂Ω) ist, so enthält die Folge Shk eine konvergente Teilfolge (zum Beweis nutzt man aus, dass wegen Lemma 1.58 gilt |Dν Φ(y − x∗ )| ≤ C|y − x∗ |2−n für y ∈ ∂Ω). Daher läßt sich auf (1.249) die Fredholmalternative anwenden, die im wesentlichen besagt, dass es für alle g eine Lösung h gibt, falls es für g = 0 nur die triviale Lösung h = 0 gibt (dies ist eine weitreichende Verallgemeinerung des entsprechenden Satzes ’injektiv impliziert surjektiv’ aus der linearen Algebra für lineare Abbildungen eines endlich dimensionalen Raums auf sich und wir werden dies systematisch in der Vorlesung Funktionalanalysis und PDG besprechen). Eindeutigkeit der Lösung folgt z.B. aus dem Maximumprinzip. Um die Gleichung (1.249) approximativ zu lösen kann man ∂Ω als Vereinigung von m disjunkten Mengen Ui schreiben, in jeder Menge Ui einen Punkt xi wählen und das Integral in der Definition von S durch eine Riemannsche Summe ersetzten. Die führt auf das m × m Gleichungssystem ˆ m X 1 g(xi ) = hi + sij hj , 2 −Dν Φ(y − xi ) dHn−1 (y) (1.250) mit sij ≈ Uj j=1 und die Lösungen hi sind Approximationen für h(xi ). Die Methode heißt Kollokationsmethode. Alternativ kann man die approximative Lösung als P eine Linearkombination hi ϕi (x) von vorgebenen Basisfunktionen (’finite Elemente’) ansetzen und ein Gleichungssystem für die hi herleiten, indem man (1.249) mit ϕj multipliziert und über ∂Ω integriert. Diese Methode heißt Methode der finiten Elemente. In beiden Fällen ist der Vorteil von (1.249) gegenüber der ursprünglichen partiellen Differentialgleichung, dass es sich im ein Problem auf einer n − 1 dimensionalen Menge, statt einer n dimensionalen Menge handelt. Grobe Skizze des Beweises von Satz 1.57. Man schreibt ˆ u(xk ) = −Dν Φ(y − xk )h(y) dHn−1 (y) ∂Ω∩B(x∗ ,δ) ˆ + −Dν Φ(y − xk )h(y) dHn−1 (y) . ∂Ω\B(x∗ ,δ) Der Limes k → ∞ im ersten Integral lässt sich so ähnlich behandeln wie der Poissonkern im Halbraum. In dem zweiten Integral kann man leicht 44 [2. Juli 2017] zum Limes k → ∞ übergehen, da Φ(· − xk ) in Bδ (x∗ ) ∩ ∂Ω gleichmässig gegen Φ(· − x∗ ) konvergiert. Um in dem zweiten Integral, den Limes δ → 0 zu bilden benutzen wir folgendes geometrische Lemma, das garantiert, dass lokal der Ω in der Nähe des Randes einem Halbraum sehr ähnlich ist. Dies führt dazu, dass die Singularität in −Dν (y, x∗ ) weniger stark ist, als man zunächst vermuten würde. Lemma 1.58. Sei Ω ⊂ Rn eine offene und beschränkte Menge mit C 2 Rand. Dann gilt |(y − x) · ν(y)| ≤ C|y − x|2 ∀x, y ∈ ∂Ω (1.251) und (y − x) · ν(y) ≥ −C|y − x|2 1.2.8 ∀x ∈ Ω, y ∈ ∂Ω (1.252) Beweis von Satz 1.57 Dies wurde in der Vorlesung nicht besprochen Lemma 1.59. Sei K(x, y) = −Dν Φ(y − x) = x∗ ∈ ∂Ω mit limk→∞ xk = x∗ . Dann gilt (i) 1 (y−x)·ν(y) nωn |y−x|n . ˆ lim lim δ→0 k→∞ ∂Ω∩B(x∗ ,δ) (ii) K(xk , y) dHn−1 (y) = 1 2 ˆ |K(xk , y)| dHn−1 (y) = lim sup lim sup δ→0 k→∞ Seien xk ∈ Ω, ∂Ω∩B(x∗ ,δ) (1.253) 1 2 (1.254) Skizze. Der Beweis von (1.253) ist anlog zum Beweis der Aussage (iii) in Lemma 1.52 für den Poissonkern des Halbraums. Die Funktion y 7→ Φ(y−xk ) ist harmonisch in Rn \Ω und insbesondere in B(x∗ , δ)∩(Rn \Ω). Anwendung des Satzes von Gauss (mit sorgfältiger Unterscheidung zwischen inneren und äußeren Normalen) liefert ˆ ˆ n−1 −Dν Φ(y−xk ) dH (y) = −Dν Φ(y−xk ) dHn−1 (y) . ∂B(x∗ ,δ)∩(Rn \Ω) ∂Ω∩B(x∗ ,δ) (1.255) Die Folge k → 7 DΦ(y − xk ) konvergiert gleichmäßig für y ∈ ∂B(x∗ , δ) und daher gilt ˆ ˆ lim −Dν Φ(y−xk ) dHn−1 (y) = −Dν Φ(y−x∗ ) dHn−1 (y) . k→∞ ∂B(x∗ ,δ)∩(Rn \Ω) ∂B(x∗ ,δ)∩(Rn \Ω) (1.256) Der Variablenwechsel y = x∗ + δz liefert ˆ ˆ −Dν Φ(y−x∗ ) dHn−1 (y) = ∂B(x∗ ,δ)∩(Rn \Ω) ∂B(0,1)∩(Rn \Ω −Dν Φ(y−x∗ ) dHn−1 (z) , δ) (1.257) 45 [2. Juli 2017] wobei Ωδ := {z ∈ Rn : x∗ + δz ∈ Ω}. Da der Rand von Ω C 1 ist, konvergiert ∂B(0,1) ∩ (Rn \ Ωδ ) gegen eine Halbsphäre und daher konvergiert das Integral für δ → 0 gegen 21 . Zum Beweis von (1.254) zerlegen wir K in seinen positiven und negativen Anteil: K + (x, y) = max(K(x, y), 0), K − (x, y) = max(−K(x, y), 0). Dann gilt |K| = K + +K − = K+2K − . Aus (1.252) folgt |K − (xk , y)| ≤ C|xk −y|2−n und eine kurze Rechnung zeigt, dass ˆ K − (xk , y) dHn−1 (y) ≤ Cδ. (1.258) ∂Ω∩B(x∗ ,δ) Daher folgt (1.254) aus (1.253). Beweis von Satz 1.57. Wir schreiben 0 1 2 u(xk ) = Tk,δ + Tk,δ + Tk,δ mit (1.259) ˆ 0 Tk,δ = −Dν Φ(y − xk )(h(y) − h(x∗ ) dHn−1 (y), (1.260) −Dν Φ(y − xk )h(x∗ ) dHn−1 (y), (1.261) −Dν Φ(y − xk )h(y) dHn−1 (y) . (1.262) ∂Ω∩B(x∗ ,δ) ˆ 1 Tk,δ = ∂Ω∩B(x∗ ,δ) ˆ 2 Tk,δ = ∂Ω\B(x∗ ,δ) Aus (1.253) folgt 1 1 = h(x∗ ) . lim lim Tk,δ δ→0 k→∞ 2 Wegen der Stetigkeit von h gilt lim sup δ→0 y∈B(x∗ ,δ)∩∂Ω |h(y) − h(x∗ )| = 0 (1.263) (1.264) und in Verbindung mit (1.254) folgt, dass 0 lim lim Tk,δ = 0. δ→0 k→∞ (1.265) Außderdem gilt DΦ(y−xk ) → DΦ(y−x∗ ), gleichmäßig für y ∈ Rn \B(x∗ , δ). Daraus folgt ˆ 2 lim Tk,δ = −Dν Φ(y − x∗ )h(y) dHn−1 (y) . (1.266) k→∞ ∂Ω\B(x∗ ,δ) Aus Lemma 1.58 folgt, dass | − Dν Φ(y − x∗ )| ≤ C|y − x∗ |2−n für alle y ∈ ∂Ω. Da h beschränkt ist, ist insbesondere y 7→ −Dν Φ(y − x∗ )h(y) auf ∂Ω integrierbar (bzgl. des (n − 1) dimensionalen Hausdorffmaßes). Da limδ→0 Hn−1 (B(x∗ , δ) ∩ ∂Ω) = 0 folgt ˆ 2 lim lim Tk,δ = −Dν Φ(y − x∗ )h(y) dHn−1 (y) = (Sh)(x∗ ) . (1.267) δ→0 k→∞ ∂Ω 46 [2. Juli 2017] 1.3 Existenz von Lösungen Definition 1.60. Sei Ω ⊂ Rn offen, u ∈ C 0 (Ω). Die Funktion u heißt subharmonisch, falls u dHn−1 u(x) ≤ für alle Kugeln mit B(x, r) ⊂ Ω (1.268) für alle Kugeln mit B(x, r) ⊂ Ω. (1.269) ∂B(x,r) und superharmonisch, falls u dHn−1 u(x) ≥ ∂B(x,r) Bemerkung. Man kann zeigen, dass u genau dann subharmonisch ist, ´ wenn, im Sinne von Distributionen gilt −∆u ≤ 0, d.h. wenn Ω u(−∆ϕ)dLn ≤ 0 für alle ϕ ∈ Cc∞ (Ω) mit ϕ ≥ 0. Man kann weiterhin zeigen, dass Distributionen T welche die Ungleichung T ≥ 0 erfüllen (d.h. T (ϕ) ≥ 0 für alle ϕ ∈ D mit ϕ ≥ 0) durch Radonmaße gegeben sind (Satz von Riesz-Radon). Lemma 1.61. (i) Eine Funktion u ∈ C 2 (Ω) ist genau dann subharmonisch, wenn −∆u ≤ 0 in Ω . (1.270) (ii) Eine Funktion u ∈ C 0 (Ω) ist genau dann subharmonisch, wenn −u superharmonisch ist. (iii) Eine Funktion u ∈ C 0 (Ω) ist genau dann harmonisch, wenn u sowohl subharmonisch als auch superharmonisch ist. Beweis. (i): in Satz 1.3(ii) (Mittelwertsatz) wurde gezeigt, dass −∆u ≤ 0 (1.268) impliziert. Die Gegenrichtung wird wie in Satz 1.4 bewiesen: Falls ein x ∈ Ω mit −∆u(x) > 0 existieren würde, dann gäbe es ein r > 0, so dass −∆u > 0 auf B(x, r) und B(x, r) ⊂ Ω. Dann würde aus 1.3(iii) folgen u dLn , u(x) > (1.271) B(x,r) gegen die Annahme. (ii): es reicht, −u in der Definition einzusetzen. (iii): eine harmonische Funktion erfüllt u dHn−1 u(x) = für alle Kugeln mit B(x, r) ⊂ Ω (1.272) ∂B(x,r) und ist damit sowohl subharmonisch als auch superharmonisch. Die Gegenrichtung wurde in Satz 1.8 bewiesen (für alle x∗ ∈ Ω gibt es ein r∗ > 0, so dass B(x∗ , r∗ ) ⊂ Ω, dann u ∈ L1 (B(x∗ , r∗ )), und daraus folgt ∆u = 0 in x∗ – alternativ: der Beweis von Satz 1.8 benötigt nur L1,loc ). 47 [2. Juli 2017] Lemma 1.62. (i) Sei Ω ⊂ Rn offen, beschränkt und zusammenhängend, u, v ∈ C 0 (Ω), u subharmonisch, v superharmonisch. Falls u ≤ v auf ∂Ω, dann gilt entweder u < v auf Ω oder u = v auf Ω. (ii) Sei u ∈ C 0 (Ω) subharmonisch, B(x, r) ⊂ Ω, und sei v : Ω → R die harmonische Fortsetzung von u auf B(x, r), nämlich, ( u(y) falls y ∈ Ω \ B(x, r) v(y) = ´ n−1 (z) falls y ∈ B(x, r) . ∂B(x,r) KB(x,r) (y, z)u(z)dH (1.273) Dann gilt v ∈ C 0 (Ω), v ist subharmonisch und u ≤ v. (iii) Seien u1 , . . . , uK ∈ C 0 (Ω) subharmonisch. Dann ist u max{u1 , . . . , uK } ebenfalls subharmonisch. = Beweis. (i): Die Funktion u − v ist subharmonisch, und u − v ≤ 0 auf ∂Ω. Die Aussage folgt aus dem starken Maximumprinzip, Satz 1.13. (ii) (wurde in der Vorlesung vom 29.5. 2017 bewiesen): Aus v ∈ C 0 (B(x, r)) und u ∈ C 0 (Ω \ B(x, r)) mit u = v auf ∂B(x, r) folgt v ∈ C 0 (Ω). Die Funktion v ist in B(x, r) harmonisch und auf ∂B(x, r) gilt u = v. Aus (i) folgt, dass u ≤ v in B(x, r). Deshalb gilt u ≤ v auf Ω. Sei B(y, R) ⊂ Ω. Falls y 6∈ B(x, r) dann gilt u(z) dHn−1 (z) ≤ v(y) = u(y) ≤ ∂B(y,R) v(z) dHn−1 (z) . (1.274) ∂B(y,R) Falls y ∈ B(x, r), betrachten wir die Funktion w : Ω → R, ( v(z) falls z ∈ Ω \ B(y, R) w(z) = ´ n−1 (t) falls z ∈ B(y, R) . ∂B(y,R) KB(y,R) (z, t)v(t) dH (1.275) Aus der Definition folgt w(t)dHn−1 (t) = w(y) = ∂B(y,R) v(t)dHn−1 (t) . (1.276) ∂B(y,R) Falls v(y) ≤ w(y) (1.277) dann ist der Beweis beendet. Es bleibt, (1.277) zu beweisen. Die Funktion u ist subharmonisch und w ist harmonisch in B(y, R), aus u ≤ v = w auf ∂B(y, R) und dem Maximumprinzip folgt u ≤ w auf B(y, R). Die Funktion v − w ist harmonisch in B(x, r) ∩ B(y, R), und v − w = u − w ≤ 0 auf (∂B(x, r)) ∩ B(y, R) ⊂ B(y, R) und v − w = 0 auf ∂B(y, R). Deshalb gilt v − w ≤ 0 auf ∂(B(x, r) ∩ B(y, R)) und damit auch in y ∈ B(x, r) ∩ B(y, R). 48 [2. Juli 2017] (iii): Sei u = maxj uj , B(x, r) ⊂ Ω, p ∈ {1, . . . , K}, so dass u(x) = up (x). Aus up ≤ u folgt u dHn−1 . up dHn−1 ≤ u(x) = up (x) ≤ (1.278) ∂B(x,r) ∂B(x,r) [26.5. 2017, Vorlesung 10] [29.5. 2017, Vorlesung 11] Definition 1.63. Sei Ω ⊂ Rn offen und beschränkt, g ∈ C 0 (∂Ω). Wir definieren Sg = {v ∈ C 0 (Ω) : v subharmonisch und v ≤ g auf ∂Ω} . (1.279) Satz 1.64. Sei Ω ⊂ Rn offen und beschränkt, g ∈ C 0 (∂Ω), u : Ω → R durch u(x) = sup{v(x) : v ∈ Sg } (1.280) definiert. Die Funktion u ist wohldefiniert und harmonisch (und damit insbesondere in C ∞ (Ω)). Beweis. Die Menge Sg ist nicht leer, weil die konstante Funktion x 7→ min g(∂Ω) in Sg liegt. Für alle x ∈ Ω ist sup{v(x) : v ∈ Sg } beschränkt, weil v(x) ≤ max g(∂Ω) für alle v ∈ Sg . Deshalb ist u wohldefiniert. Sei y ∈ Ω, v : N → Sg eine Folge, so dass vk (y) → u(y). Wir können ObdA annehmen, dass vk ≤ vk+1 (sonst betrachten wir die Folge max{v0 , v1 , . . . , vk }). Sei B(y, r) ⊂ Ω und sei wk die harmonische Fortsetzung von vk auf B(y, r), d.h., ( vk (z) falls z ∈ Ω \ B(y, r) wk (z) = ´ n−1 (t) falls z ∈ B(y, r) . ∂B(y,r) KB(y,r) (z, t)vk (t)dH (1.281) Aus Lemma 1.62(ii) folgt, dass wk subharmonisch ist und vk ≤ wk , insbesondere wk ∈ Sg . Deshalb gilt vk ≤ wk ≤ u, insbesondere konvergiert wk (y) gegen u(y). Aus der Monotonie der Folge vk folgt mit (1.281) leicht die Monotonie der Folge wk . Daraus folgt, dass wk punktweise gegen eine Funktion U konvergiert. Da minΩ v0 ≤ wk ≤ max∂Ω g und da wk in B(y, r) harmonisch ist, folgt, dass ∇wk in B(y, r/2) gleichmäßig beschränkt ist. Daraus folgt, dass wk in 49 [2. Juli 2017] B(y, r/2) gleichmäßig gegen U konvergiert. Daher ist U in B(y, r/2) harmonisch (Satz 1.17 oder Mittelwerteigenschaft auf genügend kleinen Kugeln) 1 Es bleibt zu zeigen, dass U = u auf B(y, r/2) (dann folgt ∆u(y) = ∆U (y) = 0). Falls dies nicht gilt, dann gäbe es ein p ∈ B(y, r/2), so dass U (p) < u(p). Dann gäbe es ein V ∈ Sg mit U (p) < V (p) . (1.282) Sei ṽk = max{V, wk }, und - wie oben ( ṽk (z) w̃k (z) = ´ n−1 (t) ∂B(y,r) KB(y,r) (z, t)ṽk (t)dH falls z ∈ Ω \ B(y, r) falls z ∈ B(y, r) . (1.283) Die Folge w̃k ist monoton, und w̃k (y) → u(y). Deshalb konvergiert w̃k gleichmäßig auf B(y, r/2) gegen eine harmonische Funktion Ũ . Aus wk ≤ w̃k folgt U ≤ Ũ auf B(y, r/2), mit Ũ (y) = U (y) = u(y) folgt (starkes Maximumprinzip!) Ũ = U , unsbesondere V (p) ≤ Ũ (p) = U (p), ein Widerspruch zu (1.282). Wir wenden uns jetzt der Frage zu ob die Funktion u aus Satz 1.64 auf Ω stetig ist und die Bedingungen u = g auf ∂Ω erfüllt. Dies gilt nicht für alle offenen beschränkten Mengen Ω. Wir führen das Konzept der Barriere ein, um eine hinreichende Bedingung zu gewinnen. Definition 1.65. Sei Ω ⊂ Rn offen, x∗ ∈ ∂Ω. Eine Funktion w ∈ C 0 (Ω) heißt Barriere in x∗ wenn: (i) w(x∗ ) = 0 und w > 0 auf Ω \ {x∗ }; (ii) w ist superharmonisch in Ω, d.h. (1.269) gilt. Ein Punkt x∗ ∈ ∂Ω heißt regulär, wenn eine Barriere in x∗ existiert. Lemma 1.66. Sei Ω ⊂ Rn offen und beschränkt, g ∈ C 0 (∂Ω), u : Ω → R durch u(x) = sup{v(x) : v ∈ Sg } (1.284) definiert. Sei x : N → Ω eine Folge, die gegen x∗ ∈ ∂Ω konvergiert. Falls x∗ regulär ist, so gilt lim u(x) = u(x∗ ) = g(x∗ ) . (1.285) x→x∗ 1 Zwei alternative Argumente: (i) Aus dem Satz über monotone Konvergenz (B. Levi) folgt, dass wk → U in L1 (B(y, r/2). Dann folgt aus Satz 1.17, dass U harmonisch ist; (ii) Sei l > k. Dann liefert die Harnackungleichung für alle z ∈ B(y, r/2) die Abschätzung 0 ≤ wl (z) − wk (z) ≤ C(wl (y) − wk (y)). Für l → ∞ folgt 0 ≤ U (z) − wk (z) ≤ C(U (y) − wk (y)). Daraus folgt wiederum, dass wk in B(y, r/2) gleichmäßig gegen U konvergiert. 50 [2. Juli 2017] Beweis. Sei w eine Barriere für x∗ . Sei ε > 0. Dann gibt es ein δ > 0 so dass gilt: |g(x) − g(x∗ )| < ε Sei C= für alle x ∈ B(x∗ , δ) ∩ ∂Ω . 2 max |g|(∂Ω) . min w(Ω \ B(x∗ , δ)) (1.286) (1.287) Dann gilt, für alle x ∈ ∂Ω, |g(x) − g(x∗ )| ≤ ε + Cw(x) , (1.288) und deshalb g(x∗ ) − Cw(x) − ε ≤ g(x) ≤ g(x∗ ) + Cw(x) + ε für alle x ∈ ∂Ω . (1.289) Die erste Funktion ist subharmonisch und deshalb in Sg enthalten. Daher gilt g(x∗ ) − Cw(x) − ε ≤ u(x) für alle x ∈ Ω . (1.290) Die Funktion x 7→ g(x∗ ) + Cw(x) + ε ist superharmonisch. Für alle v ∈ Sg gilt v(x) ≤ g(x) ≤ g(x∗ ) + Cw(x) + ε für alle x ∈ ∂Ω . (1.291) Mit Lemma 1.62(i) folgt v(x) ≤ g(x∗ ) + Cw(x) + ε für alle x ∈ Ω (1.292) und aus der Definition von u folgt u(x) = sup{v(x) : v ∈ Sg } ≤ g(x∗ ) + Cw(x) + ε für alle x ∈ Ω . (1.293) Deshalb gilt: lim sup |u(x) − g(x∗ )| ≤ ε + lim Cw(x) = ε x→x∗ x→x∗ (1.294) für alle ε > 0. Satz 1.67. Sei Ω ⊂ Rn offen und beschränkt. Das Dirichletproblem ( ∆u = 0 in Ω (1.295) u=g in ∂Ω ist genau dann für beliebige g ∈ C 0 (∂Ω) lösbar, wenn alle Punkte x∗ ∈ ∂Ω regulär sind. 51 [2. Juli 2017] Beweis. Falls alle x∗ ∈ ∂Ω regulär sind, wurde Existenz in Satz 1.64 und Lemma 1.66 bewiesen. Sei umgekehrt das Dirichletproblem für alle g ∈ C 0 (Ω) lösbar und seien x∗ ∈ ∂Ω und w die Lösung für g(x) = |x − x∗ |. Dann ist w ein Barriere in x∗ . Beweis: aus dem Maximumprinzip folgt w ≥ 0 in Ω. Zu zeigen ist w > 0 in Ω. Falls Ω zusammenhängend ist, folgt dies aus dem starken Maximumprinzip. Falls Ω nicht zusammenhängend ist, betrachten wir wie im Beweis des starken Maximumprinzips die Menge K := {x ∈ Ω : w(x) = 0}. Dann ist K kompakt und wie im Beweis des starken Maximumprinzip sieht man, dass jeder Punkt in y ∈ K ∩ Ω ein innerer Punkt von K ist. Daher gilt ∂K ∩ Ω = ∅. Nach Wahl von g gilt ∂K ∩ ∂Ω = {x∗ }. Schließlich ist ∂K ∩ (Rn \ Ω) = ∅. Daher gilt ∂K = {x∗ }. Daraus folgt K = {x∗ } oder K = Rn \ {x∗ }. Da K kompakt ist, kommt nur die erste Möglichkeit in Betracht und es folgt, dass w > 0 in Ω \ {x∗ }. Definition 1.68. Eine offene Menge Ω ⊂ Rn erfüllt die äußere Sphärenbedingung in x∗ ∈ ∂Ω wenn y ∈ Rn , r > 0 existieren, so dass B(y, r) ∩ Ω = {x∗ } . (1.296) Lemma 1.69. Falls die offene Menge Ω ⊂ Rn in x∗ ∈ ∂Ω die äußere Sphärenbedingung erfüllt, dann ist x∗ ein regulärer Punkt. Beweis. Sei u(x) = Φ(x∗ − y) − Φ(x − y) . (1.297) Dann gilt u ≥ 0 auf Ω, und u ist auf Ω harmonisch. Beispiel. Jede konvexe Menge erfüllt überall eine Sphärenbedingung, sowie jede Menge deren Rand C 2 -regulär ist (Details: Übungsblatt 7, Aufgabe 1) [29.5. 2017, Vorlesung 11] [2.6. 2017, Vorlesung 12] Bemerkung. Die Sphärenbedingung ist nicht notwendig. Ein Punkt x∗ ∈ ∂Ω erfüllt eine äußere Kegelbedingung, wenn eine offene Kugel B(y, r) existiert, so dass conv({x∗ } ∪ B(y, r)) ∩ Ω = {x∗ }. (für A ⊂ Rn ist conv A die kleinste konvexe Menge, die A enthält). Die äußere Kegelbedingung reicht, und ist insbesondere in jedem Gebiet erfüllt, deren Rand Lipschitz-stetig ist. Diese Bedingung ist aber ebenfalls nicht notwendig. 52 [2. Juli 2017] Bemerkung. (i) Eine explizitere Konstruktion einer harmonischen Funktion aus einer Unterlösung ist die Methode des ’Auskehrens’ (frz. ’balayage’, engl. ’sweeping out’), die auf Poincaré zurückgeht. Sei u0 ∈ C 0 (Ω) subharmonisch und u0 = g auf ∂Ω. Sei Bi = B(xi , ri ) Kugeln mit B i ⊂ Ω und ∪i∈N Bi = Ω. Sei Pi die harmonische Ersetzungoperator für Bi , d.h. ( v(x) falls x ∈ Ω \ Bi Pi v(x) := ´ (1.298) n−1 (y) falls y ∈ Bi . ∂Bi KBi (x, y)v(y)dH Seien die Operatoren Tk definiert durch Tk := Pk . . . P1 und sei uk induktive definiert durch uk+1 = Tk uk . Dann ist uk subharmonisch in Ω und stetig in Ω und uk = g auf ∂Ω. Daraus folgt uk ≤ max∂Ω g (Maximumprinzip). Außerdem folgt aus Lemma 1.62(ii) uk ≤ uk+1 . Daher konvergiert uk monoton gegen eine Funktion u. Die Funktion u ist harmonisch (Übungsblatt 7, Aufgabe 3. Tip: Zeige zunächst uk ≤ Pj uk ≤ uk+1 für j ≤ k). Die Bezeichnung ’Auskehren’ erklärt sich wie folgt. Nach der Bemerkung nach Definition 1.60 ist µk := ∆uk ein Radonmaß (wobei die Gleichheit im Sinne von Distributionen gilt). Man kann leicht sehen, dass die Gesamtmasse µk (Ω) konstant ist. Beim Übergang wird uk auf Pj uk wird das Maß aus dem Inneren von Bk an den Rand von Bj geschoben. Am einfachsten sieht man das für n = 1. In diesem Fall sind die Bj Intervalle und die Anwendung von Pj produziert zwei Diracmassen an den Endpunkten aj und bj des Intervals Bj . (ii) Eine algorithmischer Variante ist das (multiplikative) Schwarzsche Gebietszerlegungsverfahren. In der einfachsten Variante betrachtet man zwei offene Teilmengen Ω1 ⊂ Ω und Ω2 ⊂ Ω mit Ω1 ∪Ω2 = Ω und definiert iterativ 1 uk+ 2 und uk+1 als Lösung von 1 −∆uk+ 2 = 0 k+ 21 u = uk in Ω1 , (1.299) auf ∂Ω1 (1.300) und −∆uk+1 = 0 k+ 12 uk+1 = u in Ω2 , (1.301) auf ∂Ω2 . (1.302) Wenn man mit einer subharmonischen Funktion u0 beginnt, erhält man eine monoton wachsende Folge, die gegen eine harmonische Funktion konvergiert. Eine Variante ist das sogenannte additive Schwarzsche Gebietszerlegungsverfahren, bei dem die Iteration durch −∆uk+1 =0 1 uk+1 1 k =u 53 in Ω1 , (1.303) auf ∂Ω1 (1.304) [2. Juli 2017] und −∆uk+1 =0 2 uk+1 2 k =u in Ω2 , (1.305) auf ∂Ω2 . (1.306) und uk+1 = uk + Θ[(uk1 − uk )χΩ1 + (uk2 − uk )χΩ2 ] (1.307) gegeben ist. Hierbei ist Θ > 0 ein geeigneter Dämpfungsfaktor 2 . In diesem Fall können das Problem auf Ω1 und Ω2 parallel gelöst werden. Analog kann man Ω in sehr viele Teilgebiete zerlegen. Das resultierende System läßt sich dann effizient auf großen Parallelrechnern lösen 3 . Lemma 1.70. Ein Punkt x ∈ ∂Ω ist genau dann regulär, wenn er als Randpunkt von B(x, ρ) ∩ Ω regulär ist. Beweis. Übungsaufgabe 2, Blatt 7. Satz 1.71 (Hebbarkeit von Punktsingularitäten). Sei n ≥ 2 und sei u ∈ C 2 (B(0, r) \ {0}) ∩ C 0 (B(0, r) \ {0}) harmonisch in B(0, r) \ {0}. Sei Φ die Fundamentallösung für den Laplaceoperator und es gelte u(x) = 0. x→0 Φ(x) lim (1.308) Dann gibt es eine harmonische Funktion w ∈ C ∞ (B(0, r)) ∩ C 0 (B(0, r)) mit w = u in B(0, r) \ {0}. Die Bedingung (1.308) läßt zunächst zu, dass u eine Singularität im Nullpunkt hat (z.B. u(x) = |x|−α , α ∈ (0, 1) für n = 3). Die Aussage des Satzes ist, dass eine solche Singularität aber nicht möglich ist. Man sagt auch, dass die Singularität hebbar ist oder dass u harmonisch in Null fortgesetzt werden kann. Die Bedingung (1.308) ist optimal. Beispiel: die Fundamentallösung Φ(x) ist harmonisch in Rn \ {0}, aber stimmt in keiner Kugel B(0, r) mit einer C ∞ Funktion überein. Beweis. Nach Voraussetzung ist u|∂B(0,r) stetig. Sei v die harmonische Fortsetzung auf B(0, r), d.h. (´ n−1 (y) für x ∈ B(0, r) , ∂B(0,r) K(x, y)u(y) dH v(x) = (1.309) u(x)für x ∈ ∂B(0, r) , 2 In der Praxis löst man direkt das System für die Korrektur vi = uk+1 − uk . Dieses ist i durch −∆vi = ∆uk in Ωi und vi = 0 auf ∂Ωi gegeben. 3 Für eine weitergehende Diskussion und Analyse der Konvergenz vgl. z.B. W. Hackbusch, Iterative Lösung großer Gleichungssysteme, http://www.mis.mpg.de/scicomp/Fulltext/ggl.ps 54 [2. Juli 2017] wobei K der Poissonkern für B(0, r) ist. Dann ist v ∈ C ∞ (B(0, r))∩C 0 (B(0, r)) und ∆v = 0 in B(0, r). Es bleibt zu zeigen, dass u=v in B(0, r) \ {0}, . (1.310) Wir zeigen zunächst u ≤ v mit Hilfe des Maximumprinzips. Sei ε > 0. Sei a := Φ(re1 ). Dann gilt ε(Φ(x)−a) = 0 auf ∂B(0, r) und somit u ≤ v+ε(Φ−a) auf ∂B(0, r). Da v beschränkt ist, folgt aus (1.308), dass es ein s ∈ (0, r) gibt, so dass u(x) ≤ v + ε(Φ − a) auf B(0, s) \ {0}. Da v + ε(Φ − a) in B(0, r) \ B(0, s) harmonisch ist folgt aus dem Maximumprinzip u ≤ v + ε(Φ − a) auf B(0, r) \ B(0, s) und somit u ≤ v + ε(Φ(x) − a) in B(0, r). Da ε > 0 beliebig war, folgt u ≤ v in B(0, r/2) \ {0}. Zum Beweis der umgekehrten Ungleichung betrachtet man v − ε(Φ − a). Bemerkung. Sei Γ ⊂ B(0, r) eine abgeschlossene Ln Nullmenge. Man kann fragen unter welchen Bedingungen an Γ eine beschränkte harmonische Funktion u : B(0, r) \ Γ → R harmonisch auf B(0, r) fortgesetzt werden kann. Eine Möglichkeit ist zu zeigen, dass die Fortsetzung von u durch Null harmonisch im Sinne von Distributionen ist, d.h. ˆ u∆ϕ = 0 ∀ϕ ∈ Cc (B(0, r)) . (1.311) B(0,r) Dann folgt, dass u fast überall mit einer glatten harmonischen Funktion v auf B(0, r) übereinstimmt (vgl. Satz 1.37). Da u auf Ω \ Γ stetig ist folgt insbesondere u = v in Ω \ Γ. Um (1.311) zu zeigen, kann man eine Folge von Funktionen ηk ∈ Cc (B(0, r) konstruieren, mit ηk = 1 in einer Umgebung von Γ und ηk → 0, ∇ηk → 0 und ∆ηk → 0 in L1 (B(0, r)). Dann betrachtet man zunächst (1 − ηk )ϕ in (1.311) und geht dann zum Limes k → ∞ übrig (vgl. Übungsblatt 6, Aufgabe 1). Durch geschickte Wahl von ηk kann man auf diese Weise zeigen, dass u harmonisch fortgesetzt werden kann, falls Hn−2 (Γ) = 0. Eine allgemeinere Charakterisierung ist mit Hilfe des Begriffs der Kapazität möglich. Mithilfe des Hebbarkeitssatzes (Satz 1.71) läßt sich leicht zeigen, dass das Dirichletproblem für Ω = B(0, 1) \ {0} im allgemeinen keine Lösung hat. Satz 1.72. Sei n ≥ 2, Ω = B(0, 1) \ {0} ⊂ Rn . Sei g :∈ C 0 (∂Ω) definiert durch ( 0 für x ∈ ∂B(0, 1), g(x) = (1.312) 1 für x = 0. 55 [2. Juli 2017] Dann gibt es keine Funktion u ∈ C 2 (Ω) ∩ C 0 (Ω) mit −∆u = 0 u=g in Ω, (1.313) auf ∂Ω. (1.314) Bemerkung. Daraus folgt, dass der Punkt 0 ∈ ∂Ω nicht regulär ist (alle anderen Randpunkte von Ω sind nämlich regulär, da sie eine äußere Sphärenbedingung erfüllen). Beweis. Sei u eine solche Funktion. Dann ist insbesondere u harmonisch in B(0, 1) \ {0} und es gilt 0 ≤ u ≤ 1 (Maximumprinzip). Aus Satz 1.71 folgt, dass es eine harmonische Funktion v ∈ C ∞ (B(0, 1) ∩ C 0 (B(0, 1)) gibt mit u = v in B(0, 1) \ {0}. Insbesondere ist v = 0 auf ∂B(0, 1) und aus dem Maximumprinzip folgt v = 0 in B(0, 1). Da u(0) = g(0) = 1 folgt, dass u nicht stetig sein kann. Aus diesem Widerspruch folgt die Behauptung. HIer ist eine andere Anwendung des Hebbarkeitssatzes. Korollar 1.73. Sei n ≥ 3 und sei Φ die Fundamentallösung von −∆ in Rn . Sei x Pα (x) := |x|2−n Dα Φ( 2 ). |x| Dann ist Pα ein harmonisches Polynom. Sei umgekehrt P ein harmonisches Polynom der Ordnung k. Dann gibt es Konstanten cα , so dass X P = cα Pα . kαk≤k Bemerkung. Eine analoge Aussage gilt für n = 2. In diesem Fall kann man, z.B. durch Transformation in Polarkoordinaten, direkt sehen, dass die harmonischen Polynome Linearkombinationen der Polynome rk cos kϕ = Re z k und rk sin kϕ = Im z k sind. Beweis. Übungsblatt 7, Aufgabe 4. Tip: Pα is die Kelvin Transformation der Funktion Dα Φ, die auf Rn \ {0} harmonisch ist und daher selbst auf Rn \ {0} harmonisch (s. Übungsblatt 4). Zeigen Sie, dass Pα homogen vom Grad kαk ist und benutzen Sie den Hebbarkeitssatz und die Tatsache, dass harmonische Funktionen mit polynomiales Wachstum schon Polynome sind (verallgemeinter Satz von Liouville, vgl. Übungen). Um zu zeigen, dass jedes harmonische Polynom P die angegebene Darstellung hat, kann man z.B. die Kelvin Transformation u(x) = |x|2−n P (x/|x|2 ) betrachten und Satz 1.40 und die auf den Satz folgende Bemerkung benutzen. 56 [2. Juli 2017] 1.4 Energiemethoden Definition 1.74. Sei Ω ⊂ Rn offen, u ∈ C 1 (Ω), mit u, ∇u ∈ L2 (Ω), f ∈ L2 (Ω). Dann definieren wir ˆ 1 If [u] = |∇u|2 − uf dLn . (1.315) Ω 2 Für Ω beschränkt und g ∈ C 0 (∂Ω) definieren wir Ag = {w ∈ C 2 (Ω) ∩ C 1 (Ω) : w = g auf ∂Ω} . (1.316) Eine Funktion u ∈ Ag heißt Minimale von If falls If (u) ≤ If (v) ∀v ∈ Ag . Satz 1.75. Sei Ω ⊂ Rn eine beschränkte offen Menge mit C 1 -Rand (oder Lipschitz Rand), f ∈ C 0 (Ω), g ∈ C 0 (∂Ω). Eine Funktion u ∈ Ag ist eine Minimale von If auf Ag genau dann, wenn −∆u = f in Ω. Beweis. Sei u ∈ Ag ein Minimierer, B(x, r) ⊂ Ω, ϕ ∈ Cc∞ (Ω). Aus ˆ ˆ 1 0 ≤ If [u + tϕ] − If [u] = t2 |∇ϕ|2 + t ∇ϕ · ∇u − f ϕ dLn (1.317) Ω 2 Ω für alle t folgt nach Division durch t und Betrachtung der Limites für t ↓ 0 und t ↑ 0 ˆ ˆ n 0= ∇ϕ · ∇u − f ϕ dL = ∇ϕ · ∇u − f ϕ dLn (1.318) Ω B(x,r) ˆ = ϕ(−∆u − f ) dLn . (1.319) B(x,r) Aus Lemma 1.32 folgt ∆u + f = 0 fast überall und da ∆u + f stetig ist, gilt die Gleichheit für alle Punkte in Ω. Sei umgekehrt u ∈ Ag eine Lösung von −∆u = f und sei v ∈ Ag . Aus v = u + (v − u) folgt ˆ ˆ 1 2 If [v] = If [u] + |∇v − ∇u| + (∇v − ∇u) · ∇u − f (v − u) dLn . Ω 2 Ω (1.320) Mit partieller Integration folgt ˆ 1 If [v] =If [u] + |∇v − ∇u|2 2 Ω ˆ ˆ n + (v − u)(−∆u − f ) dL + Ω (1.321) (v − u)Dν u dHn−1 . (1.322) ∂Ω Da ∆u + f = 0 in Ω und v − u = 0 auf ∂Ω folgt If [v] ≥ If [u]. [2.6. 2017, Vorlesung 12] [12.6. 2017, Vorlesung 13] 57 [2. Juli 2017] 2 2.1 Wärmeleitungsgleichung Notation Sei U ⊂ Rn+1 Für einen Punkt in p ∈ U definieren wir x := (p1 , . . . , pn ), t = pn+1 (2.1) und wir betrachten die Differentialoperatoren n X ∂2 ∆ := ∆x = , ∂p2i i=1 ∂t := ∂ . ∂pn+1 (2.2) Sei U ⊂ Rn+1 offen und u : U → Rn . Die partielle Differentialgleichung ∂t u − ∆u = 0 (2.3) heißt Wärmleitungsgleichung. 2.2 Motivation Die Wärmeleitungsgleichung ist die einfachste Gleichung, welche die Ausbreitung von Stoffen durch Diffusion beschreibt. Sei Ω ⊂ R3 offen und beschränkt. Sei u : Ω × (a, b) → R (2.4) die Massendichte eines Stoffes (d.h. u(x, t) ist die Dichte im Raumpunkt x ∈ Ω zur Zeit t). Sei j : Ω × (a, b) → R3 (2.5) die Flußdichte des Stoffes, d.h. der Gesamtfluß des Stoffes durch eine Hy´ perfläche A mit Normale ν ist durch A j · ν dHn−1 gegeben. Sei schließlich f : Ω × (a, b) → R (2.6) die Produktionsrate des Stoffes. Dann gilt für jede Kugel mit B(x, r) ⊂ Ω ˆ ˆ ˆ d u dLn =− j · ν dHn−1 n + f dLn dt B(x,r) ∂B(x,r) B(x,r) | {z } | {z } | {z } Gesamtmasse in B(x,r) Massenabfluß aus B(x,r) Massenproduktion in (2.7) Mit dem Satz von Gauss folgt ˆ ˆ ∂t u dLn = (−div j + f ) dLn . (2.8) B(x,r) B(x,r) 58 [2. Juli 2017] . B(x,r) Da dies für alle Kugeln B(x, r) ⊂ Ω gilt, folgt (für u ∈ C 1 , j ∈ C 1 , f ∈ C 0 ) ∂t u + div j − f = 0 ∈ Ω × (a, b) . (2.9) Diese Gleichung heißt Bilanzgleichung oder Erhaltungssatz, weil sie die Erhaltung der Masse bzw. die Massebilanz beschreibt. Diese Bilanzgleichung gilt unabhängig von dem konkreten Stoff, den wir betrachten. Um eine Gleichung für u zu gewinnen, fehlt noch eine Beziehung zwischen j und u (diese hängt von dem konkreten Stoff ab). Im einfachsten Fall ist j zu ∇u proportional, j = −D∇u . (2.10) Die Konstante D heißt Diffussionskoeffizient. Es gilt D > 0, da der Fluß von Gebieten hoher Massedichte zu solchen niedriger Massedichte erfolgt. Setzt man der Einfachheit halber D = 1 so ergibt sich die Gleichung ∂t u − ∆u = f (2.11) Falls die Stoffproduktion f Null ist so ergibt sich (2.3). Die Lösungen der Gleichung −∆v = f , die wir im letzten Kapitel studiert haben, entsprechen gerade stationären Masseverteilungen, d.h u(x, t) = v(x) ist eine Lösung von (2.11). Statt der Diffusion von Stoffen kann man auch die zeitliche Entwicklung der Temperatur in einem Stoff betrachten. In diesem Fall ist u die Temperatur, j der Wärmefluß und ´ f die Wärmezufuhr. Die in der Kugel B(x, r) gespeicherte Energie ist B(x,r) cu dLn , wobei die Konstante c die spezifische Wärmekapazität (Energie/ Temperatur x Volumen) des Stoffes ist. Die zugehörige Bilanzgleichung ist ∂(cu) = −div j + f (2.12) und mit j = −D∇u und c = 1, D = 1 ergibt sich wieder (2.11) und, für f = 0, (2.3). Deswegen heißt (2.3) Wärmeleitungsgleichung. 2.3 Symmetrien und spezielle Lösungen Sei u eine Lösungen der Wärmeleitungsgleichung. Dann sind die folgenden Funktionen ebenfalls Lösungen. (i) uξ,0 (x, t) = u(x − ξ, t), u0,τ (x, t) = u(x, t − τ ) (Translation in t und x) (ii) uR (x, t) = u(Rx, t) mit R ∈ SO(n) (Rotation) (iii) uλ (x, t) = u(λx, λ2 t) (Skalierung, inhomogene Dilatation) Falls das Definitionsgebiet und die Funktion u invariant unter der entsprechenden Operation sind, so ergeben sich Lösungen mit Symmetrien, die eine einfache Differenrentialgleichung lösen. 59 [2. Juli 2017] (i) Falls uτ,0 = u für alle τ ∈ R, so ist u konstant in t und daher harmonisch in x, d.h. u(x, t) = v(x) und ∆v = 0. Falls uξ,0 = u für alle ξ ∈ Rn dann ist u konstant in x und wegen der Wärmeleitungsgleichung auch konstant in t. (ii) Falls uR = u für alle R ∈ SO(n), so gibt es eine Funktion f : V ⊂ [0, ∞) × R mit u(x, t) = f (|x|, t) und für r > 0 erfüllt f die Differentialgleichung n−1 ∂t f − (∂r2 f + ∂r f ) = 0 . (2.13) r Außerdem ist die Funktion x 7→ u(t, x) nur dann bei x = 0 differenzierbar, falls lim f 0 (r) = 0 . (2.14) r→0 Rn (iii) Sei u auf × (0, ∞) definiert und uλ = u für alle λ > 0. Sei v(x) = u(x, 1). Dann gilt u(x, t) = v( √xt ) und 1 − y · ∇v(y) − (∆v)(y) = 0. 2 (2.15) (iv) Sei u auf (Rn \ {0}) × (0, ∞) definiert und uλ = u für alle λ > 0 sowie uR = u für alle R ∈ SO(n). Dann gibt es eine Funktion g : (0, ∞) → R, |x| ) und es gilt so dass u(x, t) = g( √ t 1 n−1 0 − sg 0 (s) − (g 00 (s) + g (s)) = 0 2 s für s ∈ (0, ∞) (2.16) Die Lösungen von (2.16) lassen sich leicht bestimmten. Sei h = g 0 . Solange h(s) 6= 0 gilt 1 n−1 h0 (s) =− s+ (2.17) h(s) 2 s und somit d d 1 ln h(s) = (− s2 − (n − 1) ln s) . (2.18) ds ds 4 Daraus folgt, dass es eine Konstante C gibt mit 1 ln h(s) = C − s2 − (n − 1) ln s (2.19) 4 und die allgemeine Lösung ist 1 2 g 0 (s) = h(s) = As1−n e− 4 s mit A ∈ R (2.20) Man sieht leicht, dass für A 6= 0 tatsächlich h(s) 6= 0 für alle s ∈ (0, ∞). Aus der Eindeutigkeit der Lösung des Anfangswertproblems folgt, dass die obige Formel auch alle Lösungen der gewöhnlichen Differentialgleichung für h beschreibt. Insbesondere folgt, dass es mit Ausnahme der Nullfunktion keine rotationssymmetrische und skalierungsinvariante Lösung der Wärmeleitungsgleichung auf Rn × (0, ∞) gibt, da die Bedingung limr→0 g 0 (r) = 0 für A 6= 0 nicht erfüllt ist. 60 [2. Juli 2017] 2.4 Fundamentallösung, homogene Gleichung im Ganzraum Anfangswertproblem: Gegeben g ∈ C 0 (Rn ), suchen wir u ∈ C 2 (Rn ×(0, ∞))∩ C 0 (Rn × [0, ∞)) finden, so dass gilt: ( ∂t u − ∆u = 0 in Rn+1 + (2.21) u(x, 0) = g(x) für alle x ∈ Rn . Idee: Fouriertransformation in x. Wir nehmen zusätzlich an, dass für t die Funktionen x 7→ u(x, t), x 7→ ∂xj u(x, t), x 7→ ∂xk ∂xj u(x, t), und x 7→ ∂t u(x, t) in L1 (Rn )∩L2 (Rn ) sind. Dann ist (partielle) Fouriertransformation ˆ (Fu)(ξ, t) := u(x, t)e−ix·ξ dx (2.22) Rn definiert und es gilt ˆ ∆u(x, t)e−ix·ξ dx , 2 −|ξ| (Fu)(ξ, t) := ˆ (2.23) Rn ∂t u(x, t)e−ix·ξ dx . ∂t (Fu)(ξ, t) := (2.24) Rn Daraus folgt ∂t (Fu)(ξ, t) + |ξ|2 (Fu)(ξ, t) = 0 ∀ξ ∈ Rn , t > 0 . (2.25) Für jedes ξ ∈ Rn ist dies eine lineare gewöhnliche Differentialgleichung für die Funktion t 7→ (Fu)(ξ, t). Falls die Anfangswerte g im L1 Sinne ange´ nommen werden, d.h. falls g ∈ L1 und limt→0 Rn |u(x, t) − g(x)| dx = 0, so folgt lim Fu(ξ, t) = Fg(ξ) . (2.26) t→0 Aus (2.25) und (2.26) folgt 2 Fu(ξ, t) = e−t|ξ| Fg(ξ) . Daraus folgt für t > 0 (2.27) ˆ u(x, t) = (ht ∗ g)(x) = ht (x − y)g(y) dy , (2.28) Rn wobei 2 Fht (ξ) = e−t|ξ| . (2.29) Aus Analysis 3 folgt ht (x) = 1 2 e−|x| /(4t) . n/2 (4πt) 61 (2.30) [2. Juli 2017] Definition 2.1. Der Wärmeleitungskern ist die Funktion Φ : Rn+1 → R, 1 2 e−|x| /(4t) falls t > 0 n/2 (2.31) Φ(x, t) = (4πt) 0 falls t ≤ 0 . Lemma 2.2. Für alle t > 0 gilt ˆ ˆ |Φ(x, t)|dx = Rn Φ(x, t)dx = 1 . (2.32) Rn Für alle t > 0 gilt (∂t Φ − ∆Φ)(x, t) = 0. Beweis. Die erste Aussage folgt aus Analysis 3, Lemma 3.54 und der Transformationsformel; die zweite ergibt sich aus einer leichten Rechnung. Satz 2.3. Für g ∈ Cb0 (Rn ) (d.h g ist stetig und beschränkt) und (x, t) ∈ Rn × [0, ∞), sei ˆ Φ(x − y, t)g(y)dy falls t > 0 u(x, t) = (2.33) Rn g(x) falls t = 0 . Dann gilt u ∈ C ∞ (Rn × (0, ∞)) ∩ C 0 (Rn × [0, ∞)) und ∂t u − ∆u = 0 in Rn × (0, ∞), Beweis. Für alle (x, t) ∈ Rn × (0, ∞) und alle α ∈ Nn+1 gilt ˆ α D u= g(y)Dα Φ(x − y, t)dy (2.34) (2.35) Rn (Beweis: wie in Lemma 1.28). Es folgt, dass u ∈ C ∞ (Rn × (0, ∞)) und ˆ ∂t u − ∆u = g(y)(∂t − ∆)Φ(x − y, t)dy = 0 . (2.36) Rn Es bleibt zu zeigen, dass u auf Rn × {0} stetig ist. Das wird wie in Satz 1.53 gemacht. Seien x∗ ∈ Rn , ε > 0. Dann gibt es ein δ > 0 so dass |g(y) − g(x∗ )| < ε ∀y ∈ B(x∗ , δ) . (2.37) Dann gilt: ˆ Φ(x − y, t)(g(y) − g(x∗ ))dy |u(x, t) − g(x∗ )| = n ˆR ≤ Φ(x − y, t) |g(y) − g(x∗ )| dy n R ˆ ˆ n ≤ε Φ(x − y, t) + 2 sup |g|(R ) Rn (2.38) (2.39) Φ(x − y, t)dy . Rn \B(x∗ ,δ) (2.40) 62 [2. Juli 2017] Falls x ∈ B(x∗ , δ/2) und y ∈ Rn \ B(x∗ , δ) dann gilt |x − y| > δ/2. folgt ˆ ˆ Φ(z, t) dz Φ(x − y, t) dy = Rn \B(0,δ/2) Rn \B(x∗ ,δ) ˆ 1 2 = e−|z| /(4t) dz n/2 (4πt) Rn \B(0,δ/2) ˆ 1 −|ζ|2 = n/2 dζ √ e n π R \B(0,δ/ t) Daraus (2.41) (2.42) (2.43) 2 Da ζ 7→ e−ζ ∈ L1 (Rn ) folgt mit dominierter Konvergenz (oder monotoner Konvergenz), dass ˆ lim Φ(z, t) dz = 0 . (2.44) t→0 Rn \B(0,δ/2) Deshalb gibt es ein δ 0 > 0, so dass für alle (x, t) ∈ B(x∗ , δ/2) × [0, δ 0 ) gilt |u(x, t) − g(x∗ )| < 2ε . (2.45) [12.6. 2017, Vorlesung 13] [16.6. 2017, Vorlesung 14] Lemma 2.4. Sei Φt (x) = Φ(x, t) wie in Definition 2.1 definiert. Dann gilt (i) Φt ∗ Φs = Φt+s für alle s, t > 0; (ii) für k ∈ N, α ∈ Nn , q ∈ [1, ∞], t > 0 k∂tk ∂xα Φt kLq (Rn ) ≤ Ck,α t−k− mit der Konvention 1 q |α| 2 t −n (1− 1q ) 2 (2.46) = 0 für q = ∞. Bemerkung. Die einfache Identität (i) hat zwei interessante Interpretationen. (i) Sei u die in Satz 2.3 konstruierte Lösung des Anfangswertproblems zum Anfangswert g. Dann ist u(·, s) = Φs ∗ g. Sei v die Lösung des Anfangswertproblems zum Anfangswert h := u(·, s). Dann gilt v(·, t) = Φt ∗h = (Φt ∗Φs )∗g. Aus Punkt (i) des Lemmas, folgt v(·, t) = u(·, t+s), d.h. wenn man dass Anfangswertproblem für zuerst bis zur Zeit s löst und dann mit dem Wert u(·, s) ein neues Anfangswertproblem bis zur Zeit t löst bekommt man das gleiche Ergebnis, wie bei Lösung des ursprünglichen Anfangswertproblems bis zur Zeit t + s (eine analoge Aussage hatten wir für gewöhnliche Differentialgleichungen bewiesen) 63 [2. Juli 2017] (ii) Betrachtet man den Anfangswert g = Φs , d.h. eine Gaussverteilung mit Mittelwert Null und Varianz 2s Id , so ist die Lösung u für alle Zeiten eine Gaussverteilung mit Mittelwert Null, deren Varianz linear in t wächst. Daraus folgt, dass für große t eine anfängliche Gaussverteilung so verschmiert wird, dass sie (bis auf exponentiell kleine Terme) √ im wesentlichen in eine Kugel konzentriert ist, deren Radius wie t wächst (die Ausbreitungsgeschwindigkeit des größten Teils der Verteilung geht also gegen Null). Der Limes s → 0 entspricht der Situation, dass die Anfangsverteilung eine Diracmasse ist. In diesem Fall ist die Varianz zum Zeitpunkt t gerade 2t Id . Skizze; Details Übungsaufgabe. (i): Fouriertransformation (s. Analysis 3, Lemma 4.30 (iii) und Lemma 4.33) oder direkte Rechnung mit quadratischer Ergänzung im Exponenten. (ii): Es reicht, k = 0 zu betrachten, da ∂tk Φt = ∆k Φt . Sei zunächst t = 1. 2 Es gilt Φ1 (z) = (4π)−n/2 e−|z| /4 . Durch vollständige Induktion sieht man 2 leicht, dass ∂xα Φ1 von der Form Pα (z)e−|z| /4 ist, wobei Pα ein Polynom vom Grad kleiner oder gleich |α| ist. Daraus folgt leicht die Behauptung für t = 1. √Für den allgemeinen Fall kann man benutzen, dass Φt (x) = t−n/2 Φ1 (x/ t). Lemma 2.5. Sei p ∈ [1, ∞], g ∈ Lp (Rn ) und sei ˆ Φ(x − y, t)g(y)dy falls t > 0 u(x, t) = Rn g(x) falls t = 0 . (2.47) Dann gilt (i) ku(·, t)kLp (Rn ) ≤ kgkLp (Rn ) ; (ii) limt→0 ku(·, t) − gkLp (Rn ) = 0 für alle p < ∞; (iii) u ∈ C ∞ (Rn × (0, ∞)), ∂t − ∆u = 0 und sup |∂tk ∂xα u(x, t)| ≤ Ck,α t−k− x∈Rn |α| 2 t n − 2p kgkLp (Rn ) . (2.48) Skizze; Details: Übungsaufgabe. (i): Folgt aus (2.32) und der Lp Abschätzung für die Faltung (Analysis 3, Satz 4.25). (ii): Für g ∈ Cc (Rn ) folgt dies aus Satz 2.3 und dominierter Konvergenz. Für g ∈ Lp benutzt man, dass Cc (Rn ) dicht in Lp (Rn ) ist (für p < ∞) und (i). (iii): Folgt aus Lemma 2.4 (i). [Das folgende Lemma wird in der Vorlesung am 19.6. 2017 bewiesen] 64 [2. Juli 2017] Lemma 2.6. Seien g, u wie oben. Dann gilt: (i) (Monotonie) Falls a ≤ g(x) ≤ b für alle x, dann a ≤ u(x, t) ≤ b für alle x, t. (ii) (Masseerhaltung) Falls zusätzlich g ∈ L1 (Rn ), dann gilt für alle t: u(·, t) ∈ L1 (Rn ) und ˆ ˆ u(x, t)dx = g(x)dx . (2.49) Rn Rn (iii) (unendliche Ausbreitungsgeschwindigkeit) Falls g ≥ 0, und ein x∗ ∈ Rn existiert, so dass g(x∗ ) > 0, dann gilt u(x, z) > 0 für alle x und alle t > 0. Beweis. (i): Aus g ≤ b folgt: ˆ ˆ u(x, t) = Φ(x − y, t)g(y)dy ≤ Rn Φ(x − y, t)bdy = b . (2.50) Rn Analog wird die andere Aussage bewiesen. (ii): Sei t > 0 fest. Da Φ(t, ·) ∈ L1 (Rn ) folgt aus Analysis 3, Lemma 3.40 (vgl. auch Satz 4.24), dass (x, y) 7→ Φ(x − y, t)g(y) ∈ L1 (R2n ) (betrachte die Transformation (x, y) = (ξ + η, η) und wende die Transformationsformel (Analyis 3, Satz 3.41) und Fubini (Analysis 3, Lemma 3.40) an; vgl. auch die Aussagen zur Faltung, Analysis 3, Satz 4.24). Mit Fubini folgt ˆ ˆ n u(x, t)dL (x) = Φ(x − y, t)g(y)dL2n (x, y) (2.51) 2n Rn R ˆ = Φ(z, t)g(y)dL2n (z, y) (2.52) 2n R ˆ ˆ = Φ(z, t)dLn (z) g(y)dLn (y) (2.53) n n R R ˆ g(y)dLn (y) . (2.54) = Rn (iii): Falls ein (x, t) ∈ Rn × (0, ∞) existiert, so dass u(x, t) = 0, dann folgt aus ˆ Φ(x − y, t)g(y)dy = 0 (2.55) Rn und Φ(x − y, t)g(y) ≥ 0, dass Φ(x − y, t)g(y) = 0 für fast alle y ∈ Rn . Da Φ(x − y, t) > 0 für alle y, folgt g = 0 fast überall. Da g stetig ist, folgt g = 0 überall, gegen die Annahme. 65 [2. Juli 2017] 2.5 Inhomogene Gleichung im Ganzraum Erinnerung: Sei A : Rn → Rn linear. Dann besitzt die homogene gewöhnliche Differentialgleichung d y(t) − Ay(t) = 0, dt y(0) = y0 (2.56) mit S(t) = etA . (2.57) die Lösung y(t) = S(t)y0 Die inhomogene Differentialgleichung d y(t) − Ay(t) = f (t), dt hat die Lösung ˆ y(0) = 0 (2.58) t S(t − s)f (s) ds . y(t) = (2.59) 0 Wir versuchen, dies zunächst rein formal auf die Gleichung ∂t u−∆u = f in Rn ×(0, ∞) zu übertragen, indem wir den Raum X = C ∞ (Rn ) betrachten und u und f als Abbildung von (0, ∞) nach X betrachten, d.h. wir setzen U (t) := u(t, ·), F (t) := f (t, ·) (2.60) Der Laplaceoperator läßt sich formal als eine lineare Abbildung von C ∞ (Rn ) auf sich auffassen. Die Wärmeleitungsgleichung ∂t u − ∆u = 0 (2.61) läßt sich dann als eine lineare gewöhnliche Differentialgleichung für Funktionen mit Werten in X auffassen, d.h. d U (t) − ∆U (t) = 0 . dt (2.62) Wir wissen aus Satz 2.3, dass die Lösung für das Anfangwertproblem (d.h. U(0) = g) durch mit S(t)g = Φt ∗ g U (t) = S(t)g (2.63) gegeben ist. Dies legt folgenden Ansatz für die Lösung der inhomogenen Gleichung ∂t u − ∆u = f, u(x, 0) = 0 (2.64) ˆ nahe: t S(t − s)F (s) ds , U (t) = (2.65) 0 66 [2. Juli 2017] d.h. ˆ ˆ t Φ(x − y, t − s)f (y, s) dyds = u(t, x) = 0 t Φ(y, s)f (x − y, t − s) dyds, 0 (2.66) wobei wir für die zweite Identität die Transformationen = x − y und s0 = t − s benutzt haben und anschliessend y 0 und s0 durch y und s ersetzt haben. Im Beweis von Satz 2.8 zeigen wir von Hand“, dass dieser Ansatz ” tatsächlich eine Lösung von (2.64) liefert4 . y0 Wir definieren zunächst eine geeignete Funktionenklasse. Definition 2.7. Sei Ω ⊂ Rn offen, I ⊂ R ein offenes Intervall. Dann gilt: C12 (Ω×I) = {f ∈ C 1 (Ω×I) : ∂xi ∂xj f ∈ C 0 (Ω×I), i, j = 1, . . . , n} . (2.67) Dabei ist insbesondere gefordert, dass die genannten partiellen Ableitungen existieren. Falls I nicht offen ist, und für C12 (Ω × I), fordert man wie in Def. 1.22, dass die Ableitungen bis zum Rand stetig fortgesetzt werden können. Satz 2.8. Sei f ∈ C12 (Rn × [0, ∞)), R > 0, so dass f (x, t) = 0 für alle |x| > R und t ≥ 0, und ˆ tˆ u(x, t) = Φ(y, s)f (x − y, t − s)dyds . (2.68) Rn 0 Dann gilt u ∈ C12 (Rn × (0, ∞)) und ∂t u − ∆u = f in Rn × (0, ∞) (2.69) n lim (x,t)→(x∗ ,0) u(x, t) = 0 für alle x∗ ∈ R . (2.70) Beweis. Sei M = max |f |(Rn × [0, 1]). Dann gilt, für alle t ∈ (0, 1], ˆ tˆ |u|(x, t) ≤ Φ(y, s)M dyds = M t . 0 Das beweist (2.70). Um (2.69) zu beweisen, rechnen wir ˆ ∂t u(x, t) = Φ(y, t)f (x − y, 0)dy Rn ˆ tˆ Φ(y, s)∂t f (x − y, t − s)dyds + 0 (2.71) Rn (2.72) (2.73) Rn 4 Alternativ lassen sich die skizzierten formalen Überlegungen zu einer reichen Theorie ausbauen, der Theorie der C 0 Halbgruppen, vgl. Evans, Kapitel 7.4. Man beachte, dass aus Lemma 2.4 (i) folgt, dass S(t)S(s) = S(t + s). Mit S(0) = 0 bildet die Menge der Operatoren S(t) für t ≥ 0 daher eine Halbgruppe. 67 [2. Juli 2017] und ˆ tˆ ∂xi ∂xj u(x, t) = Rn 0 Φ(y, s)∂xi ∂xj f (x − y, t − s)dyds . Insbesondere gilt u ∈ C12 , und ˆ Φ(y, t)f (x − y, 0)dy (∂t − ∆)u(x, t) = Rn ˆ tˆ + Φ(y, s)(∂t − ∆)f (x − y, t − s)dyds . 0 (2.74) (2.75) (2.76) Rn Sei ε ∈ (0, t). Aus ˆ ε ˆ Φ(y, s)(∂t − ∆)f (x − y, t − s)dyds n ˆ 0ε ˆ R ≤ Φ(y, s) |(∂t − ∆)f | (x − y, t − s)dyds (2.77) (2.78) Rn 0 ≤ε max | |(∂t − ∆)f | (Rn × [0, t/2]) (2.79) folgt ˆ εˆ Φ(y, s)(∂t − ∆)f (x − y, t − s)dyds = 0 . lim ε→0 0 (2.80) Rn Mit partieller Integration folgt, da f = 0 außerhalb B(0, R) und (∂t −∆)Φ = 0, ˆ tˆ Φ(y, s)(∂t − ∆x )f (x − y, t − s)dyds (2.81) ε Rn ˆ tˆ = Φ(y, s)(−∂s − ∆y )f (x − y, t − s)dyds (2.82) ε B(x,R) ε B(x,R) ˆ tˆ (∂s − ∆y )Φ(y, s)f (x − y, t − s)dyds (2.83) [Φ(y, ε)f (x − y, t − ε) − Φ(y, t)f (x − y, 0)] dy (2.84) = + ˆ ˆ B(x,R) [Φ(y, ε)f (x − y, t − ε) − Φ(y, t)f (x − y, 0)] dy . = (2.85) B(x,R) Mit (2.75) und (2.80) folgt ˆ (∂t − ∆)u(x, t) = lim ε→0 Rn Φ(y, ε)f (x − y, t − ε)dy . 68 (2.86) [2. Juli 2017] Sei δ > 0. Dann gibt es ein ρ > 0, so dass |f (x − y, t − ε) − f (x, t)| < δ für alle ε ∈ (0, ρ) und alle y ∈ B(0, ρ). Dann gilt ˆ Φ(y, ε) [f (x − y, t − ε) − f (x, t)] dy (2.87) Rn ˆ ˆ Φ(y, ε) dy (2.88) Φ(y, ε)dy + 2 max |f |(B(0, R) × [0, t]) ≤ε Rn \B(0,ρ) Rn und der Beweis wird wie in (2.40–2.45) beendet. Bemerkung. (i) Sei F : R → R lipschitzstetig. Gesucht ist eine Lösung der nichtlinearen partiellen Differentialgleichung ∂t u − ∆u = F (u) u(x, 0) = u0 (x) in Rn × (0, t0 ) n für x ∈ R . (2.89) (2.90) Um Existenz von Lösungen zu beweisen, formuliert man diese Gleichung ähnlich wie bei gewöhnlichen Differentialgleichungen in eine Fixpunktproblem für eine Integralgleichung um. Genauer betrachtet man inspiriert durch Satz 2.3 und Satz 2.8 das Fixpunktproblem ˆ ˆ tˆ u(x, t) = Φ(x − y, t)u0 (y) dy + Φ(x − y, t − s)F (u(y, s)) dyds . Rn 0 Rn (2.91) Man sieht leicht, dass die rechte Seite eine Kontraktion von Cb0 (Rn × [0, t0 ]) (mit der üblichen Norm kuk = sup{|u(x, t)| : x ∈ Rn , t ∈ [0, t0 ])}) auf sich ist, wenn man t0 genügend klein wählt (Details: Übung). Daraus folgt die Existenz einer Lösung von (2.91). Mit der folgenden Bemerkung sieht man, dass der Fixpunkt u in C12 ist und die Gleichung (2.89) löst. n (ii) Sei u wie in Satz 2.8 definiert und f stetig in R √ × [0, T ] und beschränkt. Dann ist u in x differenzierbar und sup |∇x u| ≤ C T sup |f |. Falls zusätzlich f in x differenzierbar ist und |∇f | beschränkt ist, so ist u ∈ C12 (Rn × [0, T ]) und ∂t − ∆u = f in Rn × (0, T ) (Detail: Übung: man benützt u.a. die Abschätzung k∇Φt kL1 ≤ Ct−1/2 aus Lemma 2.4) (iii) Ähnlich wie bei gewöhnlichen Differentialgleichungen das Existenzresultat auf Funktion F : R → R verallgemeinern, die lokal Lipschitzstetig sind und zeigen, dass es ein maximales Interval (0, Tmax ) gibt, so dass ∂t − ∆u = F (u) auf Rn × (0, Tmax ). Falls Tmax < ∞, so gilt lim sup |u(x, t)| = ∞ . t↑Tmax x∈Rn (2.92) [16.6. 2017, Vorlesung 14] [19.6. 2017, Vorlesung 15] 69 [2. Juli 2017] 2.6 Maximumprinzip Definition 2.9. Für Ω ⊂ Rn offen und T > 0 definiert man ΩT = Ω × (0, T ] ⊂ Rn+1 (2.93) ΓT = (Ω × {0}) ∪ (∂Ω × [0, T ]) = ΩT \ ΩT ⊂ ∂ΩT . (2.94) und Man nennt ΓT den parabolischen Rand von ΩT . Bemerkung. ΓT ist abgeschlossen, weil ΓT = (Ω × {0}) ∪ (∂Ω × [0, T ]). Satz 2.10. Sei Ω ⊂ Rn offen und beschränkt, u ∈ C12 (ΩT ) ∩ C 0 (ΩT ), so dass ∂t u − ∆u ≤ 0 in ΩT . (2.95) Dann gilt max u(ΩT ) = max u(ΓT ) . (2.96) Bemerkung. Falls (∂t − ∆)u = 0, dann folgt auch min u(ΩT ) = min u(ΓT ) . (2.97) Beweis. Wie im Beweis von Satz 1.10 fangen wir mit dem Fall ∂t u − ∆u < 0 an. Die Menge ΩT ist kompakt. Daher nimmt u sein Maximum auf ΩT an. Sei M = u(x∗ , t∗ ) = max u(ΩT ). Falls (x∗ , t∗ ) ∈ ΩT , dann gilt x∗ ∈ Ω und t∗ > 0. Dann folgt ∇x u(x∗ , t∗ ) = 0, ∆u(x∗ , t∗ ) ≤ 0, ∂t u(x∗ , t∗ ) ≥ 0. Insbesondere (∂t u − ∆u)(x∗ , t∗ ) ≥ 0, gegen die Annahme. Deshalb gilt (x∗ , t∗ ) ∈ ΓT . Sei jetzt ∂t u − ∆u ≤ 0. Für ε > 0 betrachten wir vε (x, t) = u(x, t) − εt. Mit ∂t vε − ∆vε < 0 und vε ≤ u ≤ vε + εT folgt max u(ΩT ) ≤ εT + max vε (ΩT ) = εT + max vε (ΓT ) ≤ εT + max u(ΓT ) . (2.98) Da ε beliebig war, folgt hieraus die Aussage. Lemma 2.11. Sei Ω ⊂ Rn offen und beschränkt, g ∈ C 0 (ΓT ), f ∈ C 0 (ΩT ). Dann gibt es höchstens eine Lösung u ∈ C12 (ΩT ) ∩ C 0 (ΩT ) von ( ∂t u − ∆u = f in ΩT (2.99) u=g auf ΓT . Beweis. Falls u, v zwei Lösungen sind, dann gilt (∂t − ∆)(u − v) = 0 in ΩT , deshalb max(u − v)(ΩT ) ≤ max(u − v)(ΓT ) = 0 und max(v − u)(ΩT ) ≤ max(v − u)(ΓT ) = 0. Es folgt, dass u − v = 0 überall. 70 [2. Juli 2017] Satz 2.12. Sei u ∈ C12 (Rn × (0, T ]) ∩ C 0 (Rn × [0, T ]) eine Lösung von ( ∂t u − ∆u = 0 in Rn × (0, T ] (2.100) u=g auf Rn × {0} . wobei g ∈ C 0 (Rn ). Falls a, A > 0 existieren, so dass u(x, t) ≤ Aea|x| 2 (2.101) für alle x ∈ Rn , t ∈ [0, T ], dann gilt sup u(Rn × [0, T ]) = sup g(Rn ) . (2.102) Die analoge Aussage gilt auch für T = ∞ (mit [0, ∞) statt [0, T ] und (0, ∞) statt (0, T ]). Beweis. Teil 1: wir betrachten den Fall 4aT < 1. Wir wählen ε > 0 so dass a< 1 . 4(T + ε) (2.103) Für y ∈ Rn und δ > 0 definieren wir v : Rn × [0, ∞] → R durch v(x, t) = u(x, t) − δ 2 e|x−y| /(4(T +ε−t)) . n/2 (T + ε − t) (2.104) Eine leichte Rechnung (ähnlich zur Rechnung in Lemma 2.2) zeigt, dass (∂t − ∆)v = 0 in Rn × (0, T ] . (2.105) Für alle r > 0 folgt aus dem Maximumprinzip (Satz 2.10) angewendet auf Ω = B(y, r), dass (2.106) max v(ΩT ) = max v(ΓT ) . Für alle (x, t) ∈ B(y, r) × {0} gilt v(x, 0) ≤ u(x, 0) = g(x) ≤ sup g(Rn ). Für alle (x, t) ∈ ∂B(y, r) × [0, T ] gilt |x − y| = r, und deshalb r2 δ 4(T +ε−t) e (T + ε − t)n/2 r2 δ 2 4(T +ε−t) . ≤ Aea(|y|+r) − e (T + ε)n/2 v(x, t) = u(x, t) − (2.107) (2.108) Aus (2.103) folgt 2 lim Aea(|y|+r) − r→∞ r2 δ 4(T +ε−t) = −∞ . e (T + ε)n/2 (2.109) Deshalb existiert ein r > 0, so dass 2 Aea(|y|+r) − r2 δ 4(T +ε−t) ≤ sup g(Rn ) . e (T + ε)n/2 71 (2.110) [2. Juli 2017] Mit (2.107) folgt, dass v(x, t) ≤ sup g(Rn ) für alle (x, t) ∈ ∂B(y, r) × [0, T ]. (2.111) Dann folgt aus (2.106), dass v(y, t) ≤ sup g(Rn ) (2.112) und u(y, t) ≤ v(y, t) + δ δ ≤ sup g(Rn ) + n/2 (T + ε − t) (T + ε − t)n/2 (2.113) für alle y ∈ Rn , t ∈ [0, T ], δ > 0. Mit δ → 0 ist der Beweis von Teil 1 beendet. Teil 2: Sei ϕ : [0, T ] → [0, ∞) durch ϕ(t) = sup u(Rn , t) = sup{u(x, t) : x ∈ Rn } (2.114) definiert. Für alle t, t0 mit 0 ≤ t ≤ t0 ≤ T und t0 − t ≤ 1/(4a) folgt aus Teil 1, dass ϕ(t) ≥ ϕ(t0 ) . (2.115) Deshalb ist ϕ monoton fallend, und ϕ(t) ≤ ϕ(0) = sup g(Rn ) für alle t. Lemma 2.13. Sei g ∈ C(Rn ), f ∈ C 0 (Rn × [0, T ]). Dann gibt es höchstens eine Lösung u ∈ C12 (Rn × (0, T ]) ∩ C 0 (Rn × [0, T ]) des Anfangswertproblems ( ∂t u − ∆u = f in Rn × (0, ∞) (2.116) u(x, 0) = g(x) für alle x ∈ Rn . die |u(x, t)| ≤ Aea|x| 2 (2.117) für irgendwelche a, A > 0 erfüllt. Beweis. Folgt aus Satz 2.12. Satz 2.14. Es gibt eine Funktion u ∈ C12 (Rn × R), so dass ∂t u − ∆u = 0, u(x, 0) = 0 für alle x, aber u 6= 0. Bemerkung. Es gibt sogar ein Beispiel mit u ∈ C ∞ (Rn+1 ) Beweisidee. Wir betrachten den Fall n = 1. Wir entwickeln u formal in eine Potenzreihe in x (bzw. x2 ) u(x, t) = ∞ X ak (t) k=0 72 x2k . (2k)! [2. Juli 2017] Wenn die Reihen mit ak (t) und a0k (t) konvergiert so ergibt Koeffizientenvergleich, dass ∂t u − ∆u = 0 genau dann wenn ak+1 (t) = a0k (t). k d Mit Induktion folgt ak = dt k g(t), wobei g(t) = a0 (t). Für g ∈ C ∞ (R) betrachten wir also ∞ X x2k dk g(t) . u(x, t) = (2k)! dtk (2.118) k=0 Man kann z.B. wählen. ( 2 e−1/t g(t) = 0 falls t > 0 falls t ≤ 0 , (2.119) so dass u(x, t) = 0 für t ≤ 0. Schließlich zeigt man, dass die Reihe mit dieser Wahl von g gleichmäßig auf kompakten Menge K ⊂ R2 konvergiert. Details finden sich z.B. in dem Buch von F. John, Kapitel 7. Skizze für den Konvergenzbeweis. Die Ableitung von g sind von der Form 2 Pk (t−1 )e−1/t wobei Pk ein Polynom ist und man kann Pk durch Induktion definieren und die Ableitung abschätzen. Eleganter ist folgender Zugang zur 2 Abschätzung von g (k) (t0 ). Sei t0 > 0. Dann ist die Funktion z 7→ e−1/z holomorph in der offenen Kreisscheibe B(t0 , t0 ). Insbesondere liefert die Anwendung der Cauchyschen Integralformel auf B(t0 , t0 /2) die Abschätzung |g (k) (t0 )| ≤ C(t0 )k! 2 t0 k 2 mit C(t0 ) = max∂C(t0 ,t0 /2) e−1/z . Damit gilt X u(x, t0 ) = b2k x2k k∈N mit |b2k | ≤ C(t0 ) k! 2k! 2 t0 k ≤ C(t0 )k −k 2 t0 k und somit 2 → 0 für k → ∞. t0 k Nach dem Wurzelkriterium ist der Konvergenzradius der Reihe daher ∞. Analog zeigt man die Konvergenz der Reihe für (∂t u)(x, t0 ). |b2k |1/2k ≤ C(t0 )1/2k [19.6. 2017, Vorlesung 15] [23.6. 2017, Vorlesung 16] 73 [2. Juli 2017] 2.7 Regularität Satz 2.15. Sei ω ⊂ Rn × R offen, u ∈ C12 (ω), so dass ∂t − ∆u = 0. Dann gilt u ∈ C ∞ (ω). Bemerkung. Die gleiche Aussage, mit fast dem gleichen Beweis, gilt für ω = ΩT , mit Ω ⊂ Rn offen. Beweis. Es reicht zu zeigen, dass u ∈ C ∞ (B(0, r/4)) aus B(0, 2r) ⊂ ω folgt. Sei B = B(0, r) ⊂ ω. Sei θ ∈ Cc∞ (B) eine Funktion mit θ = 1 auf B 0 = B(0, r/2), wie im Beweis von Satz 1.43 (zB θ = χB(0,3r/4) ∗ ηr/4 ). Wir definieren v : Rn+1 → R durch v = θu auf ω, v = 0 auf Rn+1 \ ω. Dann gilt v ∈ C12 (Rn+1 ), ∂t v = ∂t (uθ) = θ∂t u + u∂t θ (2.120) und ∆v = ∆(uθ) = θ∆u + u∆θ + 2Du · Dθ . (2.121) Sei f = u∂t θ + u∆θ + 2DuDθ. Dann gilt (∂t − ∆)v = θ(∂t − ∆)u + f = f . (2.122) Sei T < −r. Dann gilt v(·, T ) = 0. Ferner ist v beschränkt. Falls f ∈ C12 , dann folgt aus Satz 2.8 und Lemma 2.13, dass ˆ t ˆ v(x, t) = Φ(x − y, t − s)f (y, s)dLn+1 (y, s) . (2.123) −T Rn Wir haben deshalb bewiesen, dass für alle w ∈ C ∞ (ω) mit ∂t w − ∆w = 0 ˆ w(x, t) = Φ(x−y, t−s)(w∂t θ+w∆θ+2DwDθ)(y, s)dLn+1 (y, s) B\B 0 ∩(Rn ×(−T,t)) (2.124) für alle y, s ∈ B 00 = B(0, r/4) gilt. Wir wenden diese Formel auf w = u ∗ ηρ an. Dabei konvergieren w und Dw gleichmäßig gegen u und Du, deshalb gilt: ˆ u(x, t) = Φ(x−y, t−s)(u∂t θ+u∆θ+2DuDθ)(y, s)dLn+1 (y, s) . B\B 0 ∩(Rn ×(−T,t)) (2.125) Falls (x, t) ∈ B(0, r/4) und (y, t) ∈ B \ , dann gilt |(x, t) − (y, t)| ≥ r/2, deshalb ist die rechte Seite in x und t beliebig oft stetig differenzierbar. Es folgt, dass u ∈ C ∞ (B 00 ). B0 Bemerkung. Es gibt auch eine Variante der Mittelwertformel für Lösungen der Wärmeleitungsgleichung, s. Evans, Kapitel 2.3.2. 74 [2. Juli 2017] 2.8 Energiemethoden, Langzeitverhalten Satz 2.16. Sei Ω ⊂ Rn offen und beschränkt, ∂Ω regulär im Sinne von Def. 1.65, g ∈ C 0 (∂Ω). Für jede Lösung u ∈ C12 (Ω × (0, ∞)) ∩ C 0 (Ω ∩ [0, ∞)) von ( ∂t u − ∆u = 0 in Ω × (0, ∞) (2.126) u(x, t) = g(x) für (x, t) ∈ (∂Ω) × [0, ∞) gilt lim u(·, t) = v (2.127) t→∞ gleichmäßig in Ω, wobei v ∈ C 2 (Ω) ∩ C 0 (Ω) die Lösung von ( ∆v = 0 in Ω v=g auf ∂Ω (2.128) ist. Notation: (2.127) bedeutet, dass lim sup{|u(x, t) − v(x)| : x ∈ Ω} = 0 . t→∞ (2.129) Beweis. Für ε > 0, sei wε : Rn+1 → R durch wε (x, t) = cos(εx1 )e−ε 2t (2.130) definiert. Dann (∂t −∆)wε = 0 auf Rn+1 , wε (x, 0) > 0 für alle x ∈ [−1/ε, 1/ε]n und wε (·, t) → 0 gleichmäßig. Wir wählen ε > 0 so, dass Ω ⊂ [−1/ε, 1/ε]n und definieren M = max |u(·, 0) − v| (Ω). |wε | (2.131) Aus (∂t − ∆)(u − v − M wε ) = 0 (2.132) und u − v − M wε ≤ 0 auf Γ∞ folgt mit dem Maximumprinzip (Satz 2.10), dass u ≤ v + M wε auf Ω∞ = Ω × (0, ∞) . (2.133) Analog folgt aus u − v + M wε ≥ 0 auf Γ∞ , dass u ≥ v − M wε auf Ω∞ = Ω × (0, ∞) . (2.134) Deshalb |u − v| ≤ M wε und die Aussage ist bewiesen. 75 [2. Juli 2017] Satz 2.17 (Eindeutigkeit). Sei Ω ⊂ Rn eine beschränkte offene Menge mit C 1 Rand (oder mit Lipschitzrand) , T > 0, u, v ∈ C 2 (Ω × [0, T ]) zwei Lösungen von ( ∂t u − ∆u = 0 in Ω × (0, T ) (2.135) u(x, t) = g(x) für x ∈ ∂Ω . Falls ein t∗ ∈ [0, T ] existiert, so dass u(x, t∗ ) = v(x, t∗ ) für alle x ∈ Ω (2.136) dann u = v überall. Beweis. Wir definieren w = u − v und ˆ 1 e(t) = w2 (x, t)dx . 2 Ω (2.137) Dann w ∈ C 2 ([0, T ]) und w = 0 auf ∂Ω × [0, T ], deshalb ˆ ˆ ˆ d e(t) = w∂t w(x, t)dx = w∆w(x, t)dx = − |Dw|2 (x, t)dx ≤ 0 . dt Ω Ω Ω (2.138) Aus e(t∗ ) = 0 folgt, dass ein e(t) = 0 für alle t ≥ t∗ . Um die Zeiten t < t∗ zu behandeln, leiten wir noch einmal ab: ˆ d2 e(t) = −2 Dw · ∂t Dw(x, t)dx (2.139) dt2 ˆ Ω (2.140) = 2 ∆w · ∂t w(x, t)dx ˆΩ = 2 (∆w)2 (x, t)dx . (2.141) Ω Mit partieller Integration und Hölder folgt ˆ ˆ 2 |Dw| (x, t)dx = − w∆w(x, t)dx Ω (2.142) Ω ˆ 1/2 ˆ 1/2 1 2 2 ≤ w 2 (∆w) . 2 Ω Ω (2.143) Deshalb (e0 (t))2 ≤ e(t)e00 (t) . (2.144) [23.6. 2017, Vorlesung 16] [26.6. 2017, Vorlesung 17] Falls e = 0 überall ist, dann ist den Beweis beendet. Sonst folgt aus der Monotonie von e, dass ein tmax > 0 existiert, so dass e > 0 auf [0, tmax ) und 76 [2. Juli 2017] e = 0 auf [tmax , T ] (möglicherweise tmax = t∗ ). Dann gilt limt→tmax e(t) = 0. Wir definieren f : [0, tmax ) → R durch f = ln e. Dann lim f (t) = −∞ t→tmax und f 00 = (e0 /e)0 = e00 (e0 )2 − 2 ≥ 0. e e (2.145) (2.146) Deshalb f (t) ≥ f (0) + f 0 (0)t (2.147) für alle t, gegen (2.145). Deshalb gibt es kein solches tmax . Bemerkung. Die Grundidee des Beweises ist, aus der partiellen Differentialgleichung für u − v eine gewöhnliche Differentialungleichung für eine geeignete Größe zu gewinnen. Diese gewöhnliche Differentialungleichung läßt sich dann häufig mit explizten Lösungen einer entsprechenden gewöhnlichen Differentialgleichung vergleichen. 77 [2. Juli 2017] 3 Wellengleichung Anfangswertproblem: Gegeben g, h ∈ C 0 (Rn ), möchten wir u ∈ C 2 (Rn × (0, ∞)) ∩ C 1 (Rn × [0, ∞)) finden, so dass 2 in Rn+1 + ∂t u − ∆u = f (3.1) u(x, 0) = g(x) für alle x ∈ Rn , n ∂t u(x, 0) = h(x) für alle x ∈ R . 3.1 Eine Raumdimension Für n = 1 kann der Differentialoperator ∂t2 − ∆ faktorisiert werden: (∂t2 − ∂x2 )u = (∂t − ∂x )(∂t + ∂x )u . (3.2) Für u ∈ C 2 (R2 ) definieren wir v ∈ C 2 (R2 ) durch ξ+η ξ−η , . v(ξ, η) = u 2 2 (3.3) Eine leichte Rechnung zeigt, dass 4∂ξ ∂η v = (∂t2 − ∂x2 )u = 0 . (3.4) Deshalb gibt es F, G ∈ C 2 (R), so dass v = F (ξ) + G(η) und u(x, t) = F (x + t) + G(x − t) . (3.5) Satz 3.1. Sei g ∈ C 2 (R), h ∈ C 1 (R), u(x, t) = 1 1 [g(x + t) + g(x − t)] + 2 2 ˆ x+t h(y)dy . (3.6) x−t Dann gilt: (i) u ∈ C 2 (R × [0, ∞)), (ii) ∂t2 u − ∂x2 u = 0 auf R × (0, ∞), (iii) u(x, 0) = g(x), ∂t u(x, 0) = h(x) für alle x ∈ R. Beweis. Ausrechnen. Beispiel. 2 2 2 g(x) = e−x , h(x) = 0. Dann gilt u(x, t) = 21 e−(x−t) + 12 e−(x+t) . 78 [2. Juli 2017] Bemerkung. Die Lösung u ist, für allgemeine g, h, nur zweimal stetig differenzierbar. Lemma 3.2. Sei g ∈ C 2 ([0, ∞)), h ∈ C 1 ([0, ∞)), g(0) = g 00 (0) = h(0) = 0. Dann ist ( ´ x+t 1 [g(x + t) + g(x − t)] + 12 x−t h(y)dy falls 0 ≤ t ≤ x 2 ´ u(x, t) = 1 (3.7) 1 x+t falls 0 ≤ x ≤ t 2 [g(x + t) − g(t − x)] + 2 −x+t h(y)dy eine Lösung von ∂t2 u − ∆u = 0 u(x, 0) = g(x) ∂t u(x, 0) = h(x) u(0, t) = 0 in (0, ∞)2 für alle x > 0 , für alle x > 0 , für alle t ≥ 0 . (3.8) Beweis. Wir definieren g̃, h̃ : R → R durch ( g(x) falls x ≥ 0 g̃(x) = −g(−x) falls x < 0 und ( h(x) h̃(x) = −h(−x) (3.9) falls x ≥ 0 falls x < 0 , (3.10) und wenden die Formel aus Satz 3.1 an. Man überprüft leicht, dass g̃ ∈ C 2 , h̃ ∈ C 1 , und u(0, t) = 0. Bemerkung. Man kann leicht überprüfen, dass diese Lösungen eindeutig sind. Ein allgemeiner Beweis der Eindeutigkeit wird in Abschnitt 3.3 besprochen. 3.2 Höhere Dimension, insbesondere 3D und 2D Lemma 3.3. Sei u ∈ C m (Rn × [0, ∞)), m ≥ 2, eine Lösung von 2 in Rn+1 + , ∂t u − ∆u = 0 u(x, 0) = g(x) für alle x ∈ Rn , ∂t u(x, 0) = h(x) für alle x ∈ Rn . (3.11) Für x ∈ Rn sei U : [0, ∞)2 → R durch u(y, t) dHn−1 (y) U (r, t) = (3.12) ∂B(x,r) 79 [2. Juli 2017] definiert. Dann gilt U ∈ C m ([0, ∞)2 ) und n−1 2 2 ∂t U − ∂r U − r ∂r U = 0 U (r, 0) = G(r) ∂t U (r, 0) = H(r) in (0, ∞)2 , für alle r > 0 , für alle r > 0 , (3.13) wobei hd Hn−1 . gd Hn−1 und H(r) = G(r) = (3.14) ∂B(x,r) ∂B(x,r) Beweis. Aus u(x + rz, t)dHn−1 (z) U (r, t) = (3.15) ∂B(0,1) und u ∈ C m folgt, für alle a, b ∈ N, a + b ≤ m, ∂ a+b U (r, t) ∂ a r∂ b t n X = ∂B(0,1) i ,...,i =1 a 1 (3.16) ∂ a+b u(x + rz, t)zi1 . . . zia dHn−1 (z) ∂xi1 . . . ∂xia ∂ b t (3.17) und deshalb U ∈ C m . Die Aussagen U (r, 0) = G(r) und ∂t U (r, 0) = H(r) folgen direkt. Zum Nachweis der Gleichung für U berechnen wir ˆ 1 ∂r U = z · Du(x + rz, t)dy = Dν u(y, t)dy (3.18) nωn rn−1 ∂B(x,r) ∂B(0,1) ˆ 1 ∆u(y, t)dy . (3.19) = nωn rn−1 B(x,r) Deshalb gilt ∂r2 U 1−n 1 = r nωn rn−1 ˆ 1 ∆u(y, t)dy + nωn rn−1 B(x,r) ˆ ∆u(y, t)dy ∂B(x,r) (3.20) = 1−n ∂r U + r ∆u(y, t)dy . (3.21) ∂B(x,r) Die Aussage folgt. [26.6. 2017, Vorlesung 17] [30.6. 2017, Vorlesung 18] Lemma 3.4. Sei n = 3, u wie oben, Ũ = rU . Dann gilt ∂t2 Ũ − ∂r2 Ũ = 0 (3.22) und Ũ (0, t) = 0 für alle t. 80 [2. Juli 2017] Beweis. Ausrechnen. Sei u ∈ C 2 (R3 ×[0, ∞)) eine Lösung der Wellengleichung (3.11) und seien U , G, H wie oben definiert. Für ein festes x ∈ R3 sei G̃ = rG und H̃ = rH. Dann gilt G̃00 = (rG)00 = 2G0 + rG00 , und mit der Definition von G kann man nachprüfen, dass G0 (0) = 0 und G00 (0) existieren. Aus Lemma 3.2 folgt, dass für alle 0 ≤ r ≤ t i 1 ˆ t+r 1h Ũ (r, t) = G̃(t + r) − G̃(t − r) + H̃(y)dy (3.23) 2 2 t−r gilt (hier wurde Eindeutigkeit benutzt. Man kann entweder Eindeutigkeit für das eindimensionale Problem getrennt beweisen oder Satz ?? unten anwenden). Dann gilt u(x, t) = lim U (r, t) (3.24) r→0 1 (t + r)G(t + r) − (t − r)G(t − r) + r→0 2r 2r ˆ t+r yH(y)dy (3.25) = lim t−r = G(t) + tG0 (t) + tH(t) (3.26) [g(y) + Dg(y)(y − x) + th(y)] dHn−1 (y) . = (3.27) ∂B(x,t) Satz 3.5. Sei n = 3, g ∈ C 3 (R3 ), h ∈ C 2 (R3 ). Sei u : R3 × [0, ∞) durch u(x, t) = g(x) falls t = 0, [g(y) + Dg(y)(y − x) + th(y)] dH2 (y) sonst. ∂B(x,t) C 2 (R3 definiert, Dann gilt u ∈ u(·, 0) = g und ∂t u(·, 0) = h. × [0, ∞)), ∂t2 u − ∆u = 0 in Rn (3.28) × (0, ∞), Beweis. Teil 1: Wir betrachten den Fall g = 0. Man schreibt, für alle t ≥ 0, th(x + tz) dH2 (z) . u(x, t) = (3.29) ∂B(0,1) Mit h ∈ C 2 (R3 ) folgt, dass u ∈ C 2 (R3 × [0, ∞)); insbesondere gilt lim u(x, t) = 0 . (3.30) (x,t)→(x∗ ,0) Man rechnet auch leicht t∆h(x + tz) dH2 (z) = t ∆u(x, t) = ∂B(0,1) ∆h dH2 . (3.31) ∂B(x,t) 81 [2. Juli 2017] (wobei die letzte Form nur für t > 0 gültig ist). Wir berechnen jetzt die Zeitableitungen. Für t ≥ 0 gilt [h(x + tz) + tDh(x + tz)z] dH2 (z) . ∂t u(x, t) = (3.32) ∂B(0,1) Insbesondere folgt lim (x,t)→(x∗ ,0) ∂t u(x, t) = ∂t (x∗ , 0) = h(x∗ ) . (3.33) Damit ist gezeigt, dass u die Anfangbedingungen erfüllt. Es bleibt zu zeigen, dass ∂t2 u = ∆u in R3 × (0, ∞). Um ∂t2 u zu berechnen schreiben wir ˆ ˆ 1 1 2 ∂t u(x, t) = h(x + tz) dH (z) + Dν h dH2 (3.34) 4π ∂B(0,1) 4πt ∂B(x,t) ˆ ˆ 1 1 2 h(x + tz) dH (z) + ∆h dL3 , (3.35) = 4π ∂B(0,1) 4πt B(x,t) und ∂t2 u(x, t) 1 = 4π ˆ 1 zDh(x + tz) dH (z) − 4πt2 ∂B(0,1) ˆ 1 + ∆h dH2 = ∆u(x, t) . 4πt ∂B(x,t) ˆ 2 ∆h dL3 (3.36) B(x,t) (3.37) Teil 2: Wir betrachten den Fall h = 0. Sei v : R3 × [0, ∞) → R durch tg(x + tz) dH2 (z) v(x, t) = (3.38) ∂B(0,1) definiert, analog zu (3.29). Dann folgt wie in Teil 1 aus g ∈ C 3 (R3 ) dass v ∈ C 3 (R3 × [0, ∞)). Aus Teil 1 folgt auch ∂t2 v = ∆v und [g(y) + (y − x)Dg(y)] dH2 (y) = u(x, t) ∂t v(x, t) = (3.39) ∂B(x,t) für t > 0. Für t = 0 folgt aus der Definition dass v(x, 0) = 0 und ∂t v(x, 0) = g(x) . (3.40) Da v die Wellengleichung erfüllt, folgt ∂t2 v(x, 0) = ∆v(x, 0) . (3.41) Aus v(x, 0) = 0 für alle x folgt ∆v(x, 0) = 0 für alle x und deshalb ∂t u(x, 0) = 0. Das beendet den Beweis. 82 [2. Juli 2017] Bemerkung. Um eine Lösung u ∈ C 2 zu erhalten, braucht man Anfangsdaten g ∈ C 3 (Regularitätsverlust). Bemerkung. u(x, t) hängt nur von den Anfangsdaten (g, Dg, h) auf ∂B(x, t), wie in einer Dimension. Bemerkung. Für n ungerade gibt es eine analoge Formel mit g ∈ C (n+3)/2 , h ∈ C (n+1)/2 (Evans, Seite 77). Satz 3.6. Sei n = 2, g ∈ C 3 (R2 ), h ∈ C 2 (R2 ). Dann erfüllt u : R2 × [0, ∞), falls t = 0 g(x) u(x, t) = 1 tg(y) + tDg(y)(y − x) + t2 h(y) 2 p dL (y) sonst. 2 t2 − |y − x|2 B(x,t) (3.42) u ∈ C 2 (R3 × [0, ∞)), ∂t2 u − ∆u = 0, u(·, 0) = g und ∂t u(·, t) = h. Beweis. (Abstieg in der Dimension). Wir benutzen die Formel für die dreidimensionale Lösung, um eine zweidimensionale Lösung zu konstruieren. Dazu definieren wir g̃ ∈ C 3 (R3 ) und h̃ ∈ C 2 (R3 ) durch g̃(x) = g(x1 , x2 ) h̃(x) = h(x1 , x2 ) , (3.43) und ũ wie oben. Dann gilt ∂3 ũ = 0. Deshalb erfüllt u(x1 , x2 , t) = ũ(x1 , x2 , 0, t) die Wellengleichung. Um u direkt durch g und h zu schreiben, rechnen wir ˆ 1 2 g(y1 , y2 ) dH (y) = g(y1 , y2 ) dH2 (y) (3.44) 2 4πt (3) (3) ∂B (x,t) ∂B (x,t) ˆ p 2 = g(y) 1 + |Dϕ|2 (y) dL2 (y) 2 4πt B (2) (x,t) (3.45) t g(y) p = dL2 (y) . (3.46) 2 2 B (2) (x,t) t − (y − x)2 p wobei ϕ(y1 , y2 ) = t2 − |y − x|2 die Parametrisierung von ∂B (3) (x, t) ∩ {x3 > 0} über B (2) (x, t) ist. Bemerkung. Die Lösung hängt von den Anfangsdaten in der ganzen Kreisscheibe B(x, t). Bemerkung. Für n gerade gibt es eine analoge Formel mit g ∈ C (n+4)/2 , h ∈ C (n+2)/2 (Evans, Seite 80). 83 [2. Juli 2017] 3.3 Energiemethoden, Eindeutigkeit Satz 3.7. Sei Ω ⊂ Rn ein beschränktes C 1 -Gebiet (oder Lipschitzgebiet), T > 0, u ∈ C 2 (Ω × [0, T ]) eine Lösung von ( ∂t2 u − ∆u = 0 in Ω × (0, T ) (3.47) u(x, t) = 0 für x ∈ ∂Ω, t ∈ (0, T ) . Sei 1 e(t) = 2 ˆ (∂t u)2 + |Du|2 (x, t) dx . (3.48) e(t) = e(0) . (3.49) Ω Dann gilt, für alle t ∈ [0, T ], Bemerkung. Die Aussage gilt, mit weniger notationellen Änderungen und dem gleichen Beweis, auch für T = ∞. Beweis. Man rechnet ˆ ˆ d 2 e(t) = ∂t u∂t u + Du · ∂t Du = [∂t u∆u + Du · ∂t Du] = 0 . (3.50) dt Ω Ω [30.6. 2017, Vorlesung 18] [3.7. 2017, Vorlesung 19] 84 [2. Juli 2017]