12. Partielle Ableitungen

Transkript

1 H.J. Oberle Analysis III WS 2012/ Partielle Ableitungen 12.1 Partielle Ableitungen erster Ordnung Gegeben: f : R n D R, also eine skalare Funktion von n Variablen x = (x 1,..., x n ) T. Hält man alle Variablen x 1,..., x i 1 und x i+1,..., x n fest und differenziert nach der verbleibenden Variablen x i, so ergibt sich die partielle Ableitung von f nach der Variablen x i (i {1,..., n}): f (x 0 f(x 0 + te ) := lim i ) f(x 0 ) x i t 0 t = lim t 0 f(x 0 1,..., x0 i + t,... x0 n) f(x 0 1,..., x0 i,... x0 n) t Dabei: x 0 innerer Punkt von D, e i : i-ter Einheitsvektor. 363

2 z y x

3 Definition (12.1.1) a) Ist f in allen Punkten x 0 D partiell differenzierbar nach x i, so heißt f partiell differenzierbar nach der Koordinate x i und f x bezeichnet die Abbildung x 0 f i x (x 0 ). i b) Trifft dies für alle Koordinaten x i, i = 1,..., n, zu, so heißt die Funktion f partiell differenzierbar. c) Sind sämtliche partiellen Ableitungen x darüber hinaus i stetig auf D, so heißt f stetig partiell differenzierbar, oder eine C 1 Funktion. f d) x (x 0 ) ist die (eindimensionale!) Ableitung der partiellen i Funktion x i f(x 0 1,..., x0 i 1, x i, x 0 i+1,..., x0 n ) f an der Stelle x 0 i. Sie wird auch mit f x i (x 0 ) bezeichnet. 365

4 e) Sind die Funktionen f und g auf einer offenen Menge D R n partiell differenzierbar, so gelten die üblichen Differentiationsregeln: (α f(x) + β g(x)) = α f (x) + β g (x), α, β R, x i x i x i (f(x) g(x)) = f (x) g(x) + f(x) g (x), x i x i x i x i ( f(x) g(x) ) = Beispiele (12.1.2) f x i (x) g(x) f(x) g x i (x) g(x) 2, g(x) 0. a) Die Funktion f : R 3 R mit f(x, y, z) := 3 x z + y sin(x) + z e y ist auf R 3 stetig partiell differenzierbar mit f x = 3 z + y cos(x), f y = sin(x) + z ey, f z = 3 x + ey. 366

5 b) Der Schalldruck einer räumlich eindimensionalen Schallwelle ist gegeben durch die Funktion p(x, t) := A sin(αx ωt). Die partielle Ableitung p x = α A cos(αx ωt) beschreibt dann zu einem festen Zeitpunkt t die örtliche Änderung des Schalldrucks. p Analog beschreibt t = ω A cos(αx ωt) x die zeitliche Änderung des Schalldrucks. Anwendung (12.1.3) an einem festen Ort Die Tangentialebene einer C 1 -Funktion f : R 2 D R im Punkt x 0 = (x 0, y 0 ) T ist nach der Abb. auf Seite 352 gegeben durch: x y z = x 0 y 0 z 0 + λ 1 0 f x (x 0, y 0 ) + µ 0 1 f y (x 0, y 0 ). 367

6 Elimination von λ und µ ergibt z f(x 0 ) = f x (x0 ) (x x 0 ) + f y (x0 ) (y y 0 ) (12.1.4) Beispiel (12.1.5) Die Funktion f(x, y) = y besitzt die partiellen Ableitungen 1 + x2 f x = 2 x y (1 + x 2 ) 2, f y = x 2, Damit lautet die Gleichung der Tangentialebene an f im Punkt x 0 = (1, 2) T : z 1 = ( 1) (x 1) (y 2). 368

7 Satz (12.1.6) Ist f : R n D R eine C 1 -Funktion, D offen, x 0 D, so ist die Tangentialebene an den Graphen von f in x 0 gegeben durch z f(x 0 n f ) = (x 0 ) (x i x 0 i x ) i Definition (12.1.7) f(x 0 ) := i=0 ( f x 1 (x 0 ),..., ) T f (x 0 ) x n heißt der Gradient der Funktion f im Punkt x 0 D. := ( x 1,..., x n ) T heißt auch Nabla-Operator. 369

8 Differentiationsregeln (12.1.8) (α f + β g) = α f + β g (f g) = g f + f g ( f g Beispiele (12.1.9) a) f(x, y) := e x cos y ) = g f f g g 2, g(x) 0. f(x, y) = (e x cos y, e x sin y) T = e x (cos y, sin y) T. b) Abstandsfunktion r(x) := x 2 := x x x2 n r 2 x = i x i 2 x 2 = x i x2 r(x), n x 0 r(x) = x r(x), x

9 c) (r(x) k ) = k r(x) k 1 r(x) = k r(x) k 2 x, x 0, k Z. d) Zentrales Gravitationsfeld von zwei Massenpunkten m (im Punkt x) und M (im Punkt 0): K = γ m M x/r(x) 3 γ Nm 2 kg 2 ist die Gravitationskonstante. Der Vergleich mit c) zeigt: Es gibt eine Funktion Φ = Φ(x), nämlich Φ(x) := γ m M/r, für die Φ = K auf R 3 \ {0} gilt, Φ heißt ein Potential für das Gravitationsfeld K. Bemerkung ( ) Die partielle Differenzierbarkeit einer Funktion impliziert nicht deren Stetigkeit!! x y Gegenbeispiel: f(x, y) := (x 2 + y 2, für (x, y) (0, 0) ) 2 0, für (x, y) = (0, 0), 371

10 Satz ( ) Ist f : R n D R in einer Umgebung eines inneren Punktes x 0 D stetig partiell differenzierbar, so ist auch f im Punkt x 0 stetig Partielle Ableitungen höherer Ordnung Für eine partiell diffb. Funktion f : D R, D R n offen, f können die partiellen Ableitungen x : D R selbst wieder i partiell differenzierbar sein. Ist dies der Fall, so erhalten wir die partiellen Ableitungen zweiter Ordnung der Funktion f: 2 f := ( ) f, bzw. allgemeiner x j x i x j x i k f := x ik x ik 1... x i1 x ik k 1 f x ik 1... x i1, k

11 Beispiel (12.2.1) f(x, y) := x 3 sin y + x 4 y 2 2 f ( x2(x, y) = 3 x 2 sin y + 4 x 3 y 2) = 6 x sin y + 12 x 2 y 2 x 2 f ( (x, y) = x 3 cos y + 2 x 4 y ) = 3 x 2 cos y + 8 x 3 y x y x 2 f ( (x, y) = 3 x 2 sin y + 4 x 3 y 2) = 3 x 2 cos y + 8 x 3 y y x y 2 f ( y2(x, y) = x 3 cos y + 2 x 4 y ) = x 3 sin y + 2 x 4 y Satz (12.2.2) (Vertauschbarkeitssatz von Schwarz) Ist f : R n D R eine C 2 Funktion auf D, so gilt 2 f x j x i (x) = 2 f x i x j (x), x D, i, j {1,..., n}. 373

12 Hermann Amandus Schwarz: Hermann Amandus Schwarz wurde am in Hermsdorf (Schlesien) geboren und starb am in Berlin. Er studierte in Berlin und wurde 1864 bei Kummer promoviert. Ab 1867 war er Professor, zunächst in Halle, dann in Zürich und Göttingen. Ab 1892 lehrte er an der Friedrich-Wilhelms-Universität Berlin. Schwarz arbeitet überwiegend im Bereich der Funktionentheorie, der Theorie von Minimalflächen und der Differentialgleichungen. 374

13 Bemerkung (12.2.3) Die Stetigkeit der partiellen Ableitungen ist eine wesentliche Voraussetzung des Vertauschbarkeitssatzes von Schwarz!! Gegenbeispiel: f(x, y) := Beispiel (12.2.4) Will man für die Funktion x y x2 y 2 x 2, für (x, y) (0, 0) + y2 0, für (x, y) = (0, 0) f(x, y, z) := y 2 z sin(x 3 ) + (cosh y + 17 e x2 ) z 2 die partielle Ableitung dritter Ordnung f xyz berechnen, so kann man aufgrund des Satzes von Schwarz zunächst nach z differenzieren: f xyz = 2 2 x y [y2 sin(x 3 )]+2 z x y [cosh y+17 ex2 ] = 6 y x 2 cos(x 3 ). 375

14 Der Laplace-Operator (12.2.5) := n i=1 2 x 2 i, u(x) = u x1 x 1 (x) u xn x n (x). Potentialgleichung/Poisson Gleichung: u(x) = f(x) Wellengleichung: u(x, t) 1 c 2 u tt(x, t) = 0 c: Wellengeschwindigkeit Wärmeleitungsgleichung: u(x, t) 1 k u t(x, t) = ϕ(x, t) k: Temperaturleitfähigkeit, ϕ: innere Wärmequellen 376

15 Pierre Simon Marquise de Laplace: Pierre Simon Laplace war ein französischer Mathematiker, Physiker und Astronom. Er wurde am in der Normandie geboren und starb am in Paris. Im Bereich der Astronomie verfasste Laplace ein bedeutendes fünfbändiges Standardwerk über die Himmelsmechanik. In der Mathematik arbeitete er über Wahrscheinlichkeitstheorie und Differentialgleichungen. Nach ihm benannt sind der Laplacesche Entwicklungssatz, der Laplace-Operator, die Laplace-Gleichung sowie die Laplace- Transformation. 377

16 Beispiel (12.2.6) Wir berechnen den Laplace-Operator u für eine Funktion u = u(r), die nur vom Abstand r des Punktes x R n vom Ursprung abhängt. Mit r := x 2 und (12.1.9) b) findet man u(r) = u (r) + n 1 r u (r). Folgerungen (12.2.7) ln r, für n = 2 Die Funktion u(r) := r 2 n ist eine radialsymmetrische Lösung der Potentialgleichung auf D := R n \, für n > 2 {0}. Die Funktion u(x, t) := 1 cos(r c t) ist eine radialsymmetrische Lösung der Wellengleichung auf D := R 3 \ r {0}. 378

17 12.3 Partielle Ableitungen vektorwertiger Funktionen Gegeben: f : R n D R m, also eine vektorwertige Funktion von n Variablen, n, m > 1, D offen. f heißt partiell differenzierbar in x 0 D, falls für alle i = 1,..., n die folgenden Grenzwerte existieren f (x 0 f(x 0 + t e ) := lim i ) f(x 0 ) x i t 0 t Die partiellen Ableitungen lassen sich also komponentenweise berechnen. f x i (x 0 ) = ( f1 (x 0 ),..., f ) T m (x 0 ). (12.3.1) x i x i f heißt eine C k Funktion, k N 0 { }, wenn jede Komponentenfunktion f i k-fach stetig partiell differenzierbar ist. 379

18 Definition (12.3.2) Fasst man die partiellen Ableitungen x (Spaltenvektoren) zu i einer Matrix zusammen, so erhält man die so genannte Jacobi Matrix, auch Funktionalmatrix genannt, der Funktion f Jf(x 0 ) = f 1 (x 0 ), x 1...., f m (x 0 ), x 1..., f f 1 (x 0 ) x n. f m (x 0 ) x n = f 1 (x 0 ) T. f m (x 0 ) T. Beispiel (12.3.3) Für f(r, t) := (r cos t, r sin t, rt) T lautet die Jacobi-Matrix Jf(r, t) = cos t sin t t r sin t r cos t r. 380

19 Carl Gustav Jacobi: Carl Gustav Jacobi wurde am in Potsdam geboren und starb am in Berlin. Er studierte ab 1821 in Berlin, wo er 1825 promoviert wurde. Ab 1825 war er Privatdozent, zunächst in Berlin, dann in Königsberg, wo er 1829 zum ordentlichen Professor ernannt wurde. Er war ein sehr vielseitiger und produktiver Mathematiker. Jacobi gilt als Begründer der Theorie der elliptischen Funktionen. Er arbeitete u.a. zur Differentialgeometrie, zu den partiellen Differentialgleichungen und zur Variationsrechnung (Hamilton-Jacobi-Theorie). Nach ihm benannt sind u.a. die Jacobi-Matrix, die Jacobi-Polynome, das Jacobi- Verfahren für lineare Gleichungssysteme und für die Eigenwertberechnung, das Jacobi-Feld und der Jacobi-Perron Algorithmus. 381

20 Definition (12.3.4) Eine Funktion f : R n D R n (also m = n) heißt ein Vektorfeld auf D. Ist f zudem eine C k Funktion, so heißt f ein C k Vektorfeld, k N 0 { }. Ist Φ : R n D R eine skalare, partiell differenzierbare Funktion, so ist der Gradient Φ ein Vektorfeld auf D, das so genannte Gradientenfeld von Φ. Definition (12.3.5) Für ein part. diffb. Vektorfeld f : R n D R n, D offen, definieren wir die Divergenz durch div f (x 0 ) := n i=1 f i x i (x 0 ). 382

21 Differentiationsregeln (12.3.6) Linearität: div (α f + β g) = α div f + β div g, Produktregel: div (ϕ f) = ϕ, f + ϕ div f. Laplace Operator: f = div ( f). Beispiel (12.3.7) Mit r := x 2 und k N findet man: ( ) x div r k = 1r k, x + 1 r k div x = k r (k+2) x, x + 1 r k n = n k r k. Für k = n = 3 folgt, dass zentrale Kraftfelder x K(x) = c x 3, x R3, c = const., divergenzfrei sind. 383

22 Definition (12.3.8) Für ein part. diffb. Vektorfeld f : R 3 D R 3, D offen, definieren wir die Rotation durch rot f(x 0 ) := ( f3 f 2 f, 1 f 3 f, 2 f ) T 1 x 2 x 3 x 3 x 1 x 1 x 2 x 0. Formale Schreibweise: rot f = f = e 1 e 2 e 3 x 1 f 1 x 2 f 2 x 3 f 3. Differentiationsregeln (12.3.9) Linearität: rot (α f + β g) = α rot f + β rot g Produktregel: rot (ϕ f) = ( ϕ) f + ϕ rot f. 384

23 Satz von Schwarz: rot ( ϕ) = 0, d.h. Gradientenfelder sind rotationsfrei! Beispiele ( ) a) f(x, y, z) := ( y, x 2 y, y z 2 ) T rot f = e 1 e 2 e 3 x y z y x 2 y y z 2 = z x y + 1. b) Für einen festen Vektor a R 3 \ {0} beschreibt die Funktion v(x) := a x das Geschwindigkeitsfeld der Drehung des R 3 um die Achse a mit der konstanten Winkelgeschwindigkeit ω = a. Explizite Berechnung der Rotation ergibt rot v(x) = 2 a. 385