G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 1 / 83 Komplexa tal Reell och imaginär del, konjugering, absolutbelopp z = x + iy = x + y i, x, y ∈ R, i 2 = −1 C är mängden av komplexa tal Reell del: Re (x + iy ) = x Imaginär del: Im (x + iy ) = y Konjugering: x + iy = x − iy (= x + i(−y )) Absolutbelopp (eller modul) |x + iy | = mod (x + iy ) = p x2 + y2 Räkneregler |z|2 = zz, z = z, z1 + z2 = z1 + z2 , z1 − z2 = z1 − z2 z1 z1 z1 z2 = z1 z2 , z2 = z2 G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 2 / 83 Exempel Skriv de komplexa talen (a) z = (6 − 3i) + (−9 − 4i) − (−1 − 2i) (b) z = (5 + 2i)(6 − 7i)(9 + 3i) (c) z = 2+9i −6+9i + −2−i 4+5i i formen z = x + y i Lösning: (a) Vid addition och subtraktion av komplexa tal adderar och subtraherar man de reella och imaginära delarna var för sig: z = 6 − 9 + 1 + (−3 − 4 + 2)i = −2 − 5i. (b) Multiplikationen räknas enligt följande: (a + bi)(c + d i) = (ac − bd) + i(ad + bc) så att z = ((30+14)+(−35+12)i)(9+3i) = 396+69+(132−207)i = 465−75i. (c) Division av komplexa tal kan räknas så att man förlänger med nämnarens konjugerade tal så att man i nämnaren får ett rellt tal: 2+9i −6−9i −2−i 4−5i 6−17i −13+6i 436 2+9i + −2−i = 1599 − 250 z = −6+9i 4+5i = −6+9i −6−9i + 4+5i 4−5i = 39 + 41 533 i. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 3 / 83 16 oktober 2007 4 / 83 Argument, arg(z) = θ Ifall Re (z) = x och Im (z) = y så är argumentet av z y (+2kπ), x > 0, arctan x y + π (+2kπ), x < 0, θ = arctan x y π (+2kπ), x =0 |y | 2 Polär framställning z = |z|(cos(θ) + i sin(θ)) = |z|eiθ ⇔ θ = arg(z) eller om |z| = r och arg(z) = θ så är Re (z) = r cos(θ) och Im (z) = r sin(θ) G. Gripenberg (TKK) Mat-1.1531 Gk3-I Exempel Bestäm det komplexa talets (a) − 3, (b) 2 − 2i, (c) − 3e−i 0.1234 , argument. Lösning: (a) Eftersom den reella delen är negativ är argumentent 0 arctan( −3 ) + π (+2kπ) = π (+2kπ). π (b) Argumentet är arctan( −2 2 ) (+2kπ) = − 4 (+2kπ). −i 0.1234 (c) Argument är arg(−3) + arg(e ) = π − 0.1234 (+2kπ). G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 5 / 83 Räkneregler |z1 z2 | = |z1 ||z2 |, arg(z1 z2 ) = arg(z1 ) + arg(z2 ) z1 |z1 | n n |z | = |z| , = z2 |z2 | z1 arg (z n ) = n arg(z), arg = arg(z1 ) − arg(z2 ) z2 z1 = z2 ⇔ Re (z1 ) = Re (z2 ), ⇔ |z1 | = |z2 |, Im (z1 ) = Im (z2 ) θ1 = θ2 + 2kπ där θ1 = arg(z1 ) och θ2 = arg(z2 ) G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 6 / 83 Exponentfunktionen exp(x + iy ) = ex+iy = ex cos(y ) + i sin(y ) ez1 +z2 = ez1 ez2 |ez | = eRe z , arg(ez ) = Im z ez 6= 0, z ∈ C d’Moivres formel cos(nt) + i sin(nt) = eint = eit G. Gripenberg (TKK) n n = cos(t) + i sin(t) Mat-1.1531 Gk3-I 16 oktober 2007 7 / 83 Logaritmfunktionen z = ln(w ) ⇔ w = ez Om z = x + iy så är |ez | = ex och arg(ez ) = y och om w = ez måste |w | = |ez | = ex och arg(w ) + 2kπ = arg(ez ) = y dvs. x = ln(|w |) så att z = ln(w ) = ln(|w |) + i(arg(w ) + 2kπ). För att få en ”ordentlig” logaritmfunktion med bara ett värde i varje punkt kan man tex. definiera Ln(w ) = ln(|w |) + iArg(w ) där Arg(w ) är argumentet valt så att −π < Arg(z) ≤ π så att tex. ln(|w |) egentligen är Ln(|w |) G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 8 / 83 1 Rötter: z = w n ⇔ w = z n Om z = |z|eiϕ , dvs. ϕ = arg (z) så är |z n | = |z|n och arg(z n ) = nϕ och om w = z n så är |w | = |z|n och arg(w ) + 2kπ = nϕ så att om arg(w ) = θ så är 1 |z| = |w | n och ϕ = nθ + 2kπ dvs. n p √ 1 θ+2kπ θ+2kπ n n n z = w = w = |w | cos + i sin , n n där k = 0, 1, . . . , n − 1 eftersom man får samma värden för k + n som för k. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 9 / 83 Exempel Låt w = 1 + i . Bestäm den lösning till ekvationen z 4 = w , vars argument ligger i intervallet [π, 32 π]. √ √ Lösning: Absolutbeloppet av talet w är |w | = 12 + 12 = 2 ≈ 1.4142, och w :s argument är arctan( 11 ) = π4 . Ifall |z| = r och arg(z) = ϕ, så är √ |z 4 | = r 4 och arg(z 4 ) = 4ϕ. Om nu z 4 = w så är r 4 = |w√ | = 2 och 4ϕ = π4 + 2kπ där k är ett heltal. Av detta följer att r = 8 2 ≈ 1.0905 och π + π2 k = 0.19635 + 1.5708k. Nu får man olika lösningar då ϕ = 16 k = 0, 1, . . . , 3 eftersom man då tex. k = 4 får samma tal som då k = 0 π π π osv. Eftersom argumenten för dehär lösningarna är 16 , 16 + π2 , 16 + π och π 3π 3 + så ser vi att den lösning vars argument ligger i intervallet [π, 16 2 2 π] fås då k = 2 och är alltså z2 = 1.0905 cos(0.19635 + 1.5708 · 2) + i sin(0.19635 + 1.5708 · 2) = −1.0696 − i 0.21275. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 10 / 83 Trigonometriska funktioner sin(z) = eiz − e−iz cos(z) eiz + e−iz 1 2i = 12 sin(x + iy ) = sin(x) cosh(y ) + i cos(x) sinh(y ) cos(x + iy ) = cos(x) cosh(y ) − i sin(x) sinh(y ) Möbius-avbildning z 7→ az+b cz+d , ad − bc 6= 0 Cirklar och linjer avbildas på cirklar eller linjer G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 11 / 83 Öppna och slutna mängder En mängd Ω ⊂ C är öppen ifall för varje z0 ∈ Ω finns ett tal δ > 0 så att { z ∈ C | |z − z0 | < δ } ⊂ Ω En mängd A ⊂ C är sluten ifall C \ A = {z ∈ C | z ∈ / A } är öppen En mängd Ω ⊂ C är öppen när den inte innehåller någon randpunkt, dvs. ∂Ω ∩ Ω = ∅ där randen ∂Ω består av de punkter z ∈ C för vilka det för varje δ > 0 finns en punkt zi ∈ Ω och en punkt zu ∈ C \ Ω så att |zi − z| < δ och |zu − z| < δ En mängd Ω ⊂ C är sluten när den innehåller alla randpunkter, dvs. ∂Ω ⊂ Ω G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 12 / 83 Sammanhängande mängder En öppen mängd Ω ⊂ C är sammanhängande ifall det för alla z0 , z1 ∈ Ω finns en kontinuerlig funktion γ : [0, 1] → Ω så att γ(0) = z0 och γ(1) = z1 (dvs. en kurva i Ω från z0 till z1 ) Mera allmänt: A ⊂ C är sammanhängande om följande gäller (som alltså är ekvivalent med ovanstående villkor då A är öppen): Ifall A ⊂ Ω1 ∪ Ω2 där Ωj ⊂ C, j = 1, 2 är öppen och Ω1 ∩ Ω2 = ∅ så är A ∩ Ω1 = ∅ eller A ∩ Ω2 = ∅ G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 13 / 83 Derivator En funktion f är deriverbar i punkten z0 ifall limz→z0 f (z)−f (z0 ) z−z0 = f 0 (z0 ) för något komplext tal f 0 (z0 ) dvs., för varje > 0 finns det ett tal δ > 0 så att om 0 < |z − z0 | < δ så är f (z) − f (z0 ) f definierad för z och z0 och − f 0 (z0 ) < z − z0 Alla normala deriveringsregler gäller och tex. d m m−1 ( då m inte är ett heltal) dz z = mz d z z dz e = e d 1 dz ln(z) = z d d dz sin(z) = cos(z) dz cos(z) = − sin(z) d 0 0 dz g f (z) = g f (z) f (z) d 0 0 dz f (z)g (z) = f (z)g (z) + f (z)g (z) G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 14 / 83 Analytiska funktioner En funktion f är analytisk i mängden A ⊂ C ifall det finns en öppen mängd Ω ⊂ C så att A ⊂ Ω och f är deriverbar i varje punkt i Ω Cauchy-Riemann ekvationerna Ifall f (z) = u(x, y ) + iv (x, y ) då z = x + iy så gäller ux (x, y ) = vy (x, y ) uy (x, y ) = −vx (x, y ) i de punkter där f är deriverbar G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 15 / 83 Stig En stig, eller bitvis differentierbar glatt kurva är en kontinuerlig funktion γ : [a, b] → C så att det finns ändligt många punkter a = t0 < t1 < . . . < tn = b så att γ är kontinuerligt deriverbar i varje intervall [tj−1 , tj ] och derivatan (höger- eller vänster- i ändpunkterna) är aldrig 0. def γ ∗ = { γ(t) | t ∈ [a, b] } Stigintegraler Ifall γ är en stig är Z Z f (z) dz = γ b f (γ(t))γ 0 (t) dt a R R Ofta skriver man C f (z) dz istället för γ f (z) dz där C är en ”riktad kurva” om det är klart hur parameterframställningen γ för C (som alltså är γ ∗ ”med riktning”) skall väljas. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 16 / 83 Exempel på integraler Om C är ”sträckan från z0 till z1 ” så är Z Z Z f (z) dz = f (z) dz = C 1 f (γ(t))γ 0 (t) dt, 0 γ där γ(t) = (1 − t)z0 + tz1 , t ∈ [0, 1]. Alternativt, Rb R b−t 0 C f (z) dz = a f (γ(t))γ (t) dt där γ(t) = b−a z0 + t−a b−a z1 Om C är ”cirkelbågen |z − z0 | = r från z0 + r eiα till z0 + r eiβ motsols” (där α < β) så är Z Z Z f (z) dz = C β f (z) dz = γ f (γ(t))γ 0 (t) dt, α där γ(t) = z0 + r eit , t ∈ [α, β]. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 17 / 83 Exempel R Beräkna integralen γ (z − 2i) dz då γ är sträckan från 1 + i till 3i genom att använda definitionen av integralen. Lösning: Här är γ(t) = (1 − t)(1 + i) + t3i = 1 + i + t(−1 + 2i), t ∈ [0, 1] så att γ 0 (t) = −1 + 2i. Då är Z Z (z−2i) dz = γ 1 (γ(t)−2i)γ 0 (t) dt = 0 Z = 1−i+t(−1+2i) (−1+2i) dt 0 1 1 + 3i + t(−3 − 4i) dt = 0 1 Z 1 (1 + 3i)t + t2 2 (−3 − 4i) 0 = 1 + 3i − 3 2 − 2i = − 12 + i. Vi kan kontrollera detta resultat genom att hitta en integralfunktion och vi ser lätt att ifall F (z) = 12 z 2 − 2iz så är F 0 (z) = z − 2i så att Z (z−2i) dz = F (3i)−F (1+i) = 12 (3i)2 −2i·3i− 12 (1+i)2 +2i(1+i) = − 12 +i. γ G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 18 / 83 Lemma Två stigar γ1 : [a, b] → C och γ2 : [c, d] → C där γ1 (b) = γ2 (c) kan kombineras till en stig γ : [a, b + d − c] → C, γ = γ1 ⊕ γ2 , så att ( γ1 (t), t ∈ [a, b], γ(t) = γ2 (c + t − b), t ∈ [b, b + d − c], och då är Z Z f (z) dz = γ Z f (z) dz + γ1 f (z) dz. γ2 (På motsvarande sätt kan en stig delas upp.) Lemma Om γ : [a, b] → C är en stig och −γ eller γ är stigen γ (t) = γ(a + b − t), t ∈ [a, b], dvs. stigen γ ”i omvänd riktning”, så är Z Z f (z) dz = − f (z) dz. γ G. Gripenberg (TKK) γ Mat-1.1531 Gk3-I 16 oktober 2007 19 / 83 Slutna stigar En stig γ : [a, b] → C är sluten ifall γ(a) = γ(b) och att γ är sluten. H γ f (z) dz betyder Lemma Ifall |f (z)| ≤ M då z ∈ γ ∗ , (a < b) och längden av γ är ≤ L så gäller Z Z b f (z) dz ≤ |f (γ(t))||γ 0 (t)| dt ≤ ML. γ a Lemma Om γ : [a, b] → C är en stig och f är en kontinuerlig funktion så att det finns en deriverbar funktion F så att F 0 (z) = f (z) då z ∈ γ ∗ så är Z f (z) dz = F (γ(b)) − F (γ(a)). γ G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 20 / 83 Vridningstal Ifall γ är en sluten stig så är R 1 1 ν(γ, w ) = 2πi γ z−w dz stigens vridningstal i förhållande till w ∈ / γ∗. Lemma ν(γ, w ) ett heltal som anger hur många varv γ går runt w i positiv riktning och är konstant i varje öppen sammanhängande delmängd av C \ γ∗. ν(γ , w ) = −ν(γ, w ), G. Gripenberg (TKK) w∈ / γ∗ Mat-1.1531 Gk3-I 16 oktober 2007 21 / 83 Cauchys integralteorem Om γ är en sluten stig och f är analytisk på γ ∗ och i alla punkter ”innanför” γ ∗ så är H γ f (z) dz = 0 Antagandet mera exakt: γ är en sluten stig, f är analytisk i en öppen mängd Ω så att γ ∗ ⊂ Ω och ν(γ, z) = 0 för alla z ∈ C \ Ω G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 22 / 83 Exempel R∞ Visa hur man kan räkna ut integralen 0 sin(t) t dt med hjälp av Cauchys integralteorem. Lösning: Vi bildar en sluten stig γ som är sammansatt av stigarn γS , γ[−S,−r ] , γr och av γ[r ,S] där 0 < r < S och γS är den stig som består av √ √ √ sträckorna √ från S till S + i S, från S + i S till −S + i S och från −S + i S till −S, γ[−S,−r ] är sträckan från −S + 0i till −r + 0i, γr är cirkelbågen |z| = r i negativ riktning från −r to r och γ[r ,S] är sträckan H iz från r + 0i till S + 0i. Av Cauchys integralteorem följer att γ ez dz = 0 R R iz R R iz eiz eiz dz + γr ez dz + γ dvs. γS ez dz + γ z dz = 0 så det gäller [−S,−r ] z [r ,S] R R ∞ sin(t) R iz 1 e eiz och att visa att 0 dt = lim Im dz + dz r →0 t 2 γ[−S,−r ] z γ[r ,S] z R eizS→∞ R eiz sedan räkna ut limS→∞ γS z dz och limr →0 γr z dz. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 23 / 83 Cauchys integralteorem, ver. 1.1 Om γ1 och γ2 är slutna stigar och f är analytisk på γ1∗ och γ2∗ och i alla punkter ”mellan” γ1∗ och γ2∗ så är I I f (z) dz = f (z) dz. γ1 γ2 Antagandet mera exakt: γ1 och γ2 är slutna stigar, f är analytisk i en öppen mängd Ω så att γ1∗ ⊂ Ω, γ2∗ ⊂ Ω och ν(γ1 , z) = ν(γ2 , z) för alla z ∈ C \ Ω. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 24 / 83 Cauchys integralformel, ver 1.0 Om γ är en sluten stig som går ett varv runt punkten w och f är analytisk på γ ∗ och i alla punkter ”innanför” γ ∗ så är I f (z) 1 dz. f (w ) = 2πi γ z − w Cauchys integralformel, ver 1.1 Om γ är en sluten stig, f är analytisk i en öppen mängd Ω så att γ ∗ ⊂ Ω och ν(γ, z) = 0 för alla z ∈ C \ Ω så är I 1 f (z) f (w )ν(γ, w ) = dz, 2πi γ z − w för alla w ∈ Ω \ {γ ∗ }. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 25 / 83 Exempel I z +2 dz då γ är randen (i positiv riktning) γ (z + 1)(z − 2) av rektangeln med hörn i punkterna −2 + 3i, −2 − 3i, 1 − 3i och 1 + 3i. Lösning: Vi konstaterar att funktionen som skall integreras är analytisk i alla punkter utom −1 och2 och av dessa är det bara −1 som ligger z +2 och eftersom f är analytisk i innanför γ ∗ . Därför väljer vi f (z) = z −2 alla punkter utom 2 och eftersom denna punkt ligger utanför rektangeln kan vi använda Cauchys integralteorem. Punkten −1 ligger inne i rektangeln och vi får därför I I z +2 f (z) −1 + 2 2π dz = dz = 2πif (−1) = 2πi = − i. (z + 1)(z − 2) z − (−1) −1 − 2 3 γ γ Beräkna integralen G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 26 / 83 Cauchys integralformel, ver 1.2 Om f är en analytisk funktion i P en öppen mängd Ω ⊂ C, γ1 , γ2 , . . . , γn är slutna stigar så att γj∗ ⊂ Ω och nj=1 ν(γj , z) = 0 för varje z ∈ C \ Ω så är f (w ) n X j=1 n XI j=1 n I f (z) 1 X dz, ν(γj , w ) = 2πi γj z − w w ∈ Ω \ ∪nj=1 γj∗ j=1 f (z) dz = 0 γj G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 27 / 83 Teorem Om f är analytisk i den öppna mängden Ω så är också f 0 deriverbar i Ω, dvs. f oändligt många gånger deriverbar i Ω. Cauchys olikheter n!M rn ifall f är analytisk i { z | |z − w | ≤ r } och |f (z)| ≤ M då |z − w | = r eller ifall f är analytisk i { z | |z − w | < r } och |f (z)| ≤ M då |z − w | < r . |f (n) (w )| ≤ G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 28 / 83 Liouvilles teorem Om f är analytisk i C och f är begränsad (dvs. |f (z)| ≤ M < ∞ för alla z ∈ C) så är f en konstant. Moreras teorem I Om f är kontinuerlig i den öppna mängden Ω ⊂ C och för varje triangel T ⊂ Ω så är f analytisk i Ω. G. Gripenberg (TKK) Mat-1.1531 Gk3-I f (z) dz = 0 ∂T 16 oktober 2007 29 / 83 Konvergensradie Om z0P ∈ C och an ∈ C, n ≥ 0 så finns det ett tal R, 0 ≤ R ≤ ∞, så att n serien ∞ n=0 an (z − z0 ) konvergerar (absolut) då |z − z0 | < R divergerar då |z − z0 | > R. P n Talet R kallas seriens ∞ n=0 an (z − z0 ) konvergensradie. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 30 / 83 Exempel ∞ X n! 2n+2 Bestäm konvergensradien för potensserien z . nn n=1 Lösning: Vi använder kvottestet och räknar (n+1)! z 2(n+1)+2 (n+1)n+1 n+1 = lim |z|2n+2−2−2n−2 lim n! (n+1)n 2n+2 n→∞ n→∞ z (n + 1) nn nn 1 1 |z|2 = |z 2 |. 1 n n→∞ (1 + ) e n = lim √ Serien konvergerar då gränsvärdet är < 1 dvs. då |z 2 | < e eller |z| < e. På motsvarande sätt divergerar serien då gränsvärdet av kvoterna är > 1, √ √ dvs. då |z| > e. Detta innebär att seriens konvergensradie är e. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 31 / 83 Potensserie Ifall f är analytisk innanför cirkeln |z − z0 | = r så är f (z) = ∞ X an (z − z0 )n , |z − z0 | < r , n=0 1 (n) där an = n! f (z0 ) och konvergensradien är ≥ r . P∞ Omvänt, ifall f (z) = n=0 an (z − z0 )n så är f analytisk i mängden { z | |z − z0 | < R } där R är konvergensradien och f 0 (z) = ∞ X nan (z − z0 )n−1 , |z − z0 | < R n=1 dvs. serien kan deriveras (och integreras) termvis. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 32 / 83 Laurent-serie Om f är analytisk i mängden { z | r < |z − z0 | < R } så är f (z) = ∞ X an (z − z0 )n , n=−∞ där serien konvergerar (absolut) för alla z så att r < |z − z0 | < R och kan deriveras och integreras termvis. Z 1 f (z) an = dz, 2πi Cr∗ ,z0 (z − z0 )n+1 där Cr∗ ,z0 är cirkeln |z − z0 | = r∗ , r < r∗ < R, G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 33 / 83 l’Hopitals regel Om f och g är analytiska i z0 och f (z0 ) = g (z0 ) = 0 och gränsvärdet f 0 (z) lim 0 existerar så är z→z0 g (z) f 0 (z) f (z) = lim 0 lim z→z0 g (z) z→z0 g (z) Exempel på serieutvecklingar P n 1 + z + z2 + z3 + . . . = ∞ |z| < 1 n=0 z , P 3 n 2 ∞ + z + z2! + z3! + . . . = n=0 zn! P 3 5 (−1)n z 2n+1 sin(z) = z − z3! + z5! − . . . = ∞ n=0 (2n+1)! P 2 4 (−1)n z 2n cos(z) = 1 − z2! + z4! − . . . = ∞ n=0 (2n)! 1 1−z = ez = 1 G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 34 / 83 z-transformationer Om x(n), n = 0, 1, 2, är en talföljd så är z-transformationen av x Z(x)(z) = ∞ X x(n)z −n n=0 Konvergensområdet Det finns ett tal R, 0 ≤ R ≤ ∞ så att serien då |z| > R och divergerar då |z| < R. G. Gripenberg (TKK) P∞ n=0 x(n)z Mat-1.1531 Gk3-I −n konvergerar 16 oktober 2007 35 / 83 Överföringsfunktioner Antag att H är en funktion som avbildar en talföljd x = (x(n))∞ n=0 på en talföljd H(x) = (H(x)(n))∞ så att n=0 H är linjär, dvs H(λx + µy ) = λH(x) + µH(y ); H är translationsinvariant, dvs. H(τ (x)) = τ (H(x)) där τ (x)(0) = 0 och τ (x)(n) = x(n − 1) då n ≥ 1; Det finns ett tal C < ∞ så att |H(δ)(n)| ≤ C n+1 , n ≥ 0 där δ(0) = 1 och δ(n) = 0, n ≥ 1. då finns det en funktion H(z), den sk. överföringsfunktionen så att Y (z) = H(z)X (z) där X = Z(x) och Y = Z(H(x)). Funktionen H(z) är z-transformationen av H(δ). G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 36 / 83 Residy Om f (z) = ∞ X an (z − z0 )n då 0 < |z − z0 | < R så är a−1 = Res(f ; z0 ) n=−∞ residyn av f i punkten z0 . Lemma Om lim (z − z0 )f (z) = w existerar z→z0 eller då m > 1 dm−1 1 lim (z − z0 )m f (z) = w existerar m−1 z→z0 (m − 1)! dz så är Res(f ; z0 ) = w . (m måste vara minst ordningen av polen i z0 .) G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 37 / 83 Residyteoremet Ifall γ är en sluten stig och f är analytisk på och innanför γ ∗ bortsett från punkterna zj för vilka ν(γ, zj ) = 1, j = 1, . . . , k så är I f (z) dz = 2πi γ G. Gripenberg (TKK) k X Res(f ; zj ). j=1 Mat-1.1531 Gk3-I 16 oktober 2007 38 / 83 Beräkning av integraler Om f är analytisk på reella axeln och i övre halvplanet (Im (z) > 0) bortsett från punkterna zj , j = 1, . . . , k, och limIm z≥0 |zf (z)| = 0, (dvs. om |z|→∞ f är rationell, ifall skillnaden mellan nämnarens och täljarens gradtal är minst 2) så är Z ∞ Z f (x) dx = lim −∞ R R→∞ −R G. Gripenberg (TKK) f (x) dx = 2πi k X Res(f ; zj ). j=1 Mat-1.1531 Gk3-I 16 oktober 2007 39 / 83 Exempel Z ∞ Beräkna med hjälp av residyteoremet integralen −∞ (x 2 1 dx. + 1)(x 2 + 4) 1 . (z 2 +1)(z 2 +4) Lösning: Låt f (z) = Denna funktion är analytisk i alla punkter utom nämnarens nollställen vilka är z = ±i och z = ±2i. Av dessa är det endast +i och +2i som ligger i övre halvplanet. Eftersom nämnarens gradtal minus täljarens gradtal är 4 så ser vi också att lim |z||f (z)| = 0. |z|→∞ G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 40 / 83 forts. Vi kan alltså använda residyteoremet och vi får ∞ Z −∞ (x 2 1 dx = 2πi Res(f , i) + Res(f , 2i) 2 + 1)(x + 4) = 2πi lim (z − i)f (z) + 2πi lim (z − 2i)f (z) z→i z→2i z−i z − 2i +2πi lim = 2πi lim z→i (z − i)(z + i)(z − 2i)(z + 2i) z→2i (z − i)(z + i)(z − 2i)(z + 2i) 1 1 = 2πi lim + 2πi lim z→i (z + i)(z − 2i)(z + 2i) z→2i (z − i)(z + i)(z + 2i) 2πi 2πi π π π = + = − = . 2i (−i) 3i i 3i 4i 3 6 6 G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 41 / 83 Teorem Ifall s > 0, g är analytisk på reella axeln och i övre halvplanet (Im (z) > 0) bortsett från punkterna zj , j = 1, . . . , k, och limIm z≥0 |g (z)| = 0 (dvs. om g |z|→∞ är rationell, ifall skillnaden mellan nämnarens och täljarens gradtal är minst 1) så är Z ∞ isx Z e g (x) dx = lim −∞ G. Gripenberg (TKK) R R→∞ −R eisx g (x) dx = 2πi k X Res(eisz g (z); zj ). j=1 Mat-1.1531 Gk3-I 16 oktober 2007 42 / 83 Lemma 2π Z F (cos(t), sin(t)) dt Z 2π I 1 it 1 it it −it −it 1 = F 2 e +e ie dt = f (z) dz , 2i e − e ieit 0 γ 1 1 1 ifall f (z) = F 12 z + , 2i1 z − och γ är enhetscirkeln z z iz |z| = 1. Integralen kan räknas ut med residyteoremet (ifall förutsättningarna är uppfyllda). 0 G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 43 / 83 Nollställen, poler Om f (z) = ∞ X an (z − z0 )n då 0 < |z − z0 | < R där am 6= 0 och R > 0, n=m (och f (z0 ) = a0 om m ≥ 0) så är z0 ett nollställe av ordningen m om m > 0 (dvs. med multipliciteten m), z0 är en pol av ordningen |m| om m < 0 (dvs. med multipliciteten |m|). Om f (z) = ∞ X an (z − z0 )n och an 6= 0 för oändligt många n < 0 så är z0 en n=−∞ väsentlig singularitet. Exempel 0 är ett nollställe av ordningen 1 till sin(z) 0 är ett nollställe av ordningen 2 till 1 − cos(z) G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 44 / 83 Lemma z0 är ett nollställe av ordningen m till f ⇔ f (z0 ) = f 0 (z0 ) = . . . = f (m−1) (z0 ) = 0 och f (m) (z0 ) 6= 0 ⇔ lim z→z0 ⇔ f (z) existerar och är 6= 0 (z − z0 )m z0 är en pol av ordningen m till 1 f Lemma z0 är en pol av ordningen m till f ⇔ limz→z0 (z − z0 )m f (z) existerar och är 6= 0 ⇔ z0 är ett nollställe av ordningen m till G. Gripenberg (TKK) Mat-1.1531 Gk3-I 1 f 16 oktober 2007 45 / 83 Lemma Om f är analytisk i z0 och z0 är ett nollställe av ordningen m så är 0 f Res ; z0 = m f Lemma Om f är analytisk i mängden { z | 0 < |z − z0 | < r } där r > 0 och z0 är en pol av ordningen m så är 0 f Res ; z0 = −m f G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 46 / 83 Antalet lösningar till en ekvation innanför en stig Om f är analytisk på och innanför γ ∗ (och den slutna stigen γ går ett varv i positiv riktning) och ϕ, där ϕ(t) = f (γ(t)), t ∈ [a, b], går m varv runt w så finns det m lösningar till ekvationen f (z) = w innanför γ ∗ Mera exakt Ifall ν(γ, z) = 1 eller 0 då z ∈ C \ γ ∗ och f är analytisk på och innanför γ ∗ bortsett från högst ett ändligt antal poler innanför γ ∗ så är I I f 0 (z) 1 1 1 dz = dz = ν(ϕ, w ), 2πi γ f (z) − w 2πi ϕ z − w där ϕ(t) = f (γ(t)), t ∈ [a, b], antalet lösningar till ekvationen f (z) = w minus antalet poler innanför γ ∗ (räknade med multiplicitet). G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 47 / 83 Lemma Om f är analytisk i punkten z0 och f (z0 ) = 0 så finns det ett tal r > 0 så att antingen gäller f (z) = 0 då |z − z0 | < r eller f (z) 6= 0 då 0 < |z − z0 | < r . Analytisk fortsättning Ifall Ω är en öppen sammanhängande mängd, f och g är analytiska i Ω, zj ∈ Ω, zj 6= z∞ , j ≥ 1 och limj→∞ zj = z∞ ∈ Ω, f (zj ) = g (zj ), j ≥ 1, så är f (z) = g (z) för alla z ∈ Ω. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 48 / 83 Exempel R∞ Definiera Γ(z) = 0 e−t t z−1 dt. Man kan visa att Γ då kommer att vara analytisk då Re (z) > 0 (eftersom |t z−1 | = t Re (z)−1 då t > 0). Hur är det med Γ(z) för andra värden av z? Lösning: Då Re (z) > 0 får vi med hjälp av partiell integrering ∞ Z ∞ Z ∞ −t z −t z Γ(z + 1) = e t dt = −e t − −e−t zt z−1 dt = zΓ(z). 0 Detta betyder att Γ(z) = Γ(z) = G. Gripenberg (TKK) 0 0 Γ(z + 1) då Re (z) > 0 och vi kan definiera z Γ(z + 1) , z z 6= 0, Re (z) > −1. Mat-1.1531 Gk3-I 16 oktober 2007 49 / 83 forts. Av teoremet om analytisk fortsättning följer att ifall f (z) är en analytisk funktion i mängden { z | z 6= 0, Re (z) > −1 } så att f (z) = Γ(z) då Re (z) > 0 så måste den vara Γ(z+1) . Vi kan nu fortsätta på samma sätt z och definiera Γ(z) = Γ(z + k) , z(z + 1) . . . (z + k − 1) z 6= −j, j = 0, . . . , k−1, Re (z) > −k, och vi ser vi får en funktion Γ som är analytisk i alla punkter utom { 0, −1, −2, . . . }. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 50 / 83 Definition En funktion u(x1 , . . . , xn ) är harmonisk i (den öppna) mängden Ω ⊂ Rn om den för alla (x1 , . . . , xn ) ∈ Ω uppfyller Laplace-ekvationen ∆u = ux1 x1 (x1 , . . . , xn ) + . . . + uxn xn (x1 , . . . , xn ) = 0. Teorem Funktionen u(x, y ) är harmonisk i Ω ⇔ u(x, y ) = Re (f (x + iy )) där f (z) är en analytisk funktion i Ω (då x + iy 00 =00 (x, y ) ∈ Ω). Lemma Om v (x, y ) är en harmonisk funktion i (den öppna) mängden Ω1 och f : Ω2 → Ω1 är en analytisk funktion i (den öppna) mängden Ω2 så är u(x, y ) = v (Re (f (x + iy )), Im (f (x + iy ))) harmonisk i Ω2 . G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 51 / 83 Exempel Bestäm en harmonisk funktion (uxx + uyy = 0) i första kvadranten { (x, y ) | x > 0, y > 0 } så att u(x, 0) = 0, x > 0 och u(0, y ) = 4, y > 0 genom att visa att v (x, y ) = 12 − π1 arctan( yx ) är en harmonisk funktion då y > 0 så att v (x, 0) = 1 då x < 0 och v (x, 0) = 0 då x > 0 och genom att använda den analytiska funktionen z 7→ z 2 . Lösning: När vi deriverar får vi 1 1 y vx (x, y ) = − π1+ x2 y2 =− 1 y π x2 + y2 och vxx (x, y ) = 1 2xy , π (x 2 + y 2 )2 och vy (x, y ) = − x 1 − y2 1 x = π 1 + x 22 π x2 + y2 och vyy (x, y ) = − y 1 2xy π (x 2 + y 2 )2 Av detta är det klart att vxx + vyy = 0 så v är harmonisk. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 52 / 83 forts. Om x > 0 så är limy →0+ yx = +∞ så att limy →0+ v (x, y ) = 21 − π1 π2 = 0 och om x < 0 så är limy →0+ yx = −∞ så att limy →0+ v (x, y ) = 12 − π1 (− π2 ) = 1. Eftersom f (z) = z 2 är analytisk och avbildar mängden { z ∈ C | Re (z) > 0, Im (z) > 0 } på mängden { z ∈ C | Im (z) > 0 } så är funktionen u(x, y ) = cv (Re (f (x + iy )), Im (f (x + iy ))) harmonisk i mängden { (x, y ) | x > 0, y > 0 }. Dessutom ser vi att mängden { (0, y ) | y > 0 } avbildas mängden { (x, 0) | x < 0 } så att om vi vill att u(0, y ) = 4 och så skall vi välja c = 4. På motsvarande sätt ser vi att mängden { (x, 0) | x > 0 } avbildas på mängden { (x, 0) | x > 0 } så att vi också automatiskt får u(x, 0) = 0 då u definieras som ovan. Eftersom f (x + iy ) = (x + iy )2 = x 2 + 2ixy − y 2 så blir u(x, y ) = 4v (Re (f (x + iy )), Im (f (x + iy ))) 1 1 = 4v (x − y , 2xy ) = 4 − 4 arctan 2 π 2 G. Gripenberg (TKK) 2 Mat-1.1531 Gk3-I x2 − y2 2xy 16 oktober 2007 53 / 83 Harmoniska funktioner i polära koordinater Antag att w (r , θ) = v (r cos(θ), r sin(θ)) (dvs. u är v uttryckt med polära koordinater). Då uppfyller v Laplace-ekvationen vxx + vyy = 0, (dvs. den är harmonisk) omoch endast om 1 1 wrr + wr + 2 wθθ = 0. r r Medelvärdesegenskapen Om Ω ⊂ Rn är öppen så gäller: u är två gånger deriverbar och harmonisk (∆u = 0) i Ω ⇔ u är oändligt många gånger deriverbar och harmonisk (∆u = 0) i Ω ⇔ u är kontinuerlig i Ω och u(x0 ) = 1 R kxk=1 1 dS R kxk=1 u(x0 + r x) dS, för alla x0 och r ≥ 0 så att { x ∈ Rn | kx − x0 k ≤ r } ⊂ Ω G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 54 / 83 Maximumprincipen Om Ω är en öppen begränsad mängd i Rn med rand ∂Ω och u är kontinuerlig i Ω ∪ ∂Ω och harmonisk i Ω så är max u(x) = max u(x). x∈Ω∪∂Ω x∈∂Ω Om Ω dessutom är sammanhängande så gäller att om u(x0 ) = maxx∈Ω∪∂Ω u(x) för något x0 ∈ Ω så är u en konstant funktion. Entydighet Om Ω är en öppen begränsad mängd i Rn med rand ∂Ω och u1 och u2 är kontinuerliga i Ω ∪ ∂Ω och harmoniska i Ω och u1 (x) = u2 (x) då x ∈ ∂Ω så är u1 (x) = u2 (x) för alla x ∈ Ω. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 55 / 83 Poissons formel i enhetscirkeln Om u(x, y ) är t.ex. begränsad då x 2 + y 2 < 1 så är u harmonisk i { (x, y ) | x 2 + y 2 < 1 } ⇔ u(r cos(θ), r sin(θ)) Z 2π 1 − r2 1 = u cos(t), sin(t) dt, 2π 0 1 − 2r cos(θ − t) + r 2 r < 1. Poissons formel i övre halvplanet Om u(x, y ) är t.ex. begränsad då x ∈ R och y > 0 så är u harmonisk i { (x, y ) | x ∈ R, y > 0 } ⇔ Z 1 ∞ y u(x, y ) = u(t, 0) dt, y > 0. π −∞ (x − t)2 + y 2 G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 56 / 83 Strömningsproblem i två dimensioner Hastighetsvektorn för en virvelfri strömning av en inkompressibel ”vätska” med viskositet 0 (dvs. utan ”friktion”) är v(x, y ) så att v = ∇Φ och ∇ · v = 0. Dessa villkor innebär att 0 = ∇ · ∇Φ = Φxx + Φyy , dvs. Φ är harmonisk. Om nu f (x + iy ) = Φ(x, y ) + iΨ(x, y ) är analytisk så följer av Cauchy-Riemann ekvationerna att hastighetsvektorn (Φx , Φy ) = (Re (f 0 ), Im (f 0 )) och (Φx , Φy ) ⊥ (Ψx , Ψy ), dvs. hastighetsvektorn är parallell med kurvan Ψ = c (där c är en konstant) som alltså är en ”strömningslinje”. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 57 / 83 Exempel Vilket strömningsproblem kan beskrivas med funktionen f (z) = z 2 i mängden { z ∈ C | Im z > 0 }? Lösning: I dethär fallet är f (x + iy ) = x 2 − y 2 + i2xy . Strömningslinjerna är alltså kurvorna xy = c där c är en konstant och hastighetsvektorn är (2x, −2y ) = 2xi − 2y j. Av detta kan vi se att det är frågan om en strömning mot den reella axeln som delar sig och går ut mot den positiva eller negativa sidan. .. .. . .. .. .. .. ... .. .. .. .. .. . . ... .... ...... ......... . . . . . . . . . . . . . ........ .................................... G. Gripenberg (TKK) ... ... ... ... ... .. ... ... ... .. .. ... .... ...... ........... .......................... ...................................... Mat-1.1531 Gk3-I 16 oktober 2007 58 / 83 Exempel Vilken situation i strömningsmekanik kan beskrivas med funktionen f (z) = z + z1 (då |z| ≥ 1)? Lösning: Vi skriver f = Φ + iΨ och om vi använder polära koordinater, dvs. väljer z = r eiθ så har vi 1 1 1 −iθ iθ + i sin(θ) r − . f (z) = r e + e = cos(θ) r + r r r Eftersom f 0 (z) = 1 − z12 så ser vi att f 0 (z) → 1 då |z| → ∞, dvs. långt borta från origo är hastighetsvektorn i stort sett en enhetsvektor i x-axelns riktning. Strömningslinjerna bestäms av ekvationerna Ψ = c, dvs. θ = arcsin( r 2cr−1 ) och θ = π − arcsin( r 2cr−1 ). Om c = 0 gäller antingen r = 1, θ = 0 eller θ = π och det är frågan om strömning i området utanför enhetscirkeln med mittpunkt i origo. ..................... ....................................... ... ...................................... ...... .... ............................... ................................................................... .... ... . .... .. ... ... .... . . . .................... G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 59 / 83 Mat-1.1531 Gk3-I 16 oktober 2007 60 / 83 Laplace-transformationen Z ∞ L(f )(s) = e−st f (t) dt 0 Exempel L(1)(s) = L(t)(s) = 1 s 1 s2 L(eat )(s) = 1 s−a L(cos(ωt))(s) = L(sin(ωt))(s) = G. Gripenberg (TKK) s s 2 +ω 2 ω s 2 +ω 2 Teorem Ifall RT |f (t)| dt < ∞ för alla T > 0 RT limT →∞ 0 e−s0 t f (t) dt existerar för något tal s0 ∈ C 0 så gäller att F (s) = limT →∞ RT 0 e−st f (t) dt existerar då Re (s) > Re (s0 ), F (s) är analytisk i mängden { s ∈ C | Re (s) > Re (s0 ) }. Teorem Laplace-transformationen är entydig, dvs. om L(f )(s) = L(g )(s) då Re (s) > α så är f(t)=g(t) för nästan alla t ≥ 0. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 61 / 83 16 oktober 2007 62 / 83 Räkneregler för Laplace-transformationer L(f 0 )(s) = sL(f ) − f (0) L(f 00 )(s) = s 2 L(f )(s) − sf (0) − f 0 (0) R t L 0 f (τ ) dτ (s) = 1s L(f )(s) L (eat f (t)) = F (s − a) ifall F (s) = L(f ) F 0 (s) = L(−tf (t))(s) ifall F = L(f )(s) G. Gripenberg (TKK) Mat-1.1531 Gk3-I Exempel Lös begynnelsevärdesproblemet y 00 (t) + 4y 0 (t) + 3y (t) = 4 + 3t, y (0) = 3, y 0 (0) = −6, med hjälp av Laplace-transformering. Lösning: Låt Y (s) = L(y (t)) så att L(y 0 (t)) = sY (s) − y (0) = sY (s) − 3 och L(y 00 (t)) = sL(y 0 (t)) − y 0 (0) = s 2 Y (s) − sy (0) − y 0 (0) = s 2 Y (s) − 3s + 6. så får vi genom att ta Eftersom L(4 + 3t) = 4s + s32 = 4s+3 s2 Laplace-transformationer av båda sidorna i ekvationen s 2 Y (s) − 3s + 6 + 4sY (s) − 12 + 3Y (s) = 4s + 3 , s2 så att vi får då vi löser ekvationen Y (s) = G. Gripenberg (TKK) 4s + 3 3s + 6 + . s 2 + 4s + 3 s 2 (s 2 + 4s + 3) Mat-1.1531 Gk3-I 16 oktober 2007 63 / 83 forts. För att kunna göra en partialbråksuppdelning måste vi först faktorisera s 2 + 4s + √ 3 och då behöver vi känna till nollställena som är s = −2 ± 4 − 3 = −2 ± 1, dvs. −1 och −3. Partialbråksuppdelningen blir 3s + 6 4s + 3 A B C D + = + + + . s 2 + 4s + 3 s 2 (s 2 + 4s + 3) s + 1 s + 3 s2 s Koefficienterna A och B är residyer till enkla poler så att 3s + 6 4s + 3 + 2 A = lim (s + 1) = s→−1 (s + 1)(s + 3) s (s + 1)(s + 3) 4s + 3 3s + 6 B = lim (s + 3) + = s→−3 (s + 1)(s + 3) s 2 (s + 1)(s + 3) 3 1 − = 1, 2 2 3 1 + = 2, . 2 2 För att få C multiplicerar vi med s 2 och låter s → 0: 4s + 3 3s + 6 2 + = 1. C = lim s s→0 (s + 1)(s + 3) s 2 (s + 1)(s + 3) G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 64 / 83 forts. Koefficienten D kan t.ex. räknas ut genom att multiplicera med s 2 sedan derivera och sedan låta s → 0: 4s + 3 d 3s + 6 2 + D = lim s s→0 ds (s + 1)(s + 3) s 2 (s + 1)(s + 3) 3s + 6 3(s 2 + 4s + 3) − (3s + 6)(2s + 4) = lim 2s + s2 s→0 (s + 1)(s + 3) (s 2 + 4s + 3)2 4(s 2 + 4s + 3) − (4s + 3)(2s + 4) + = 0. (s 2 + 4s + 3)2 Nu ser vi med hjälp av partialbråksuppdelningen att L−1 4s + 3 3s + 6 + s 2 + 4s + 3 s 2 (s 2 + 4s + 3) 1 2 1 −1 −1 −1 =L +L +L = e−t + 2e−3t + t. s +1 s +3 s2 G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 65 / 83 Räkneregler L(f (t − a)u(t − a))(s) = e−as F (s) där F (s) = L(f ), u(t) = 1 då t > 0, u(t) = 0 då t < 0 och a ≥ 0. L f (at) (s) = 1a F as då a > 0 och F (s) = L(f )(s). Konvolution (faltning) Z (f ∗ g )(t) = t f (t − τ )g (τ ) dτ 0 L(f ∗ g ) = L(f )L(g ) G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 66 / 83 Exempel Beräkna den inversa transformationen L−1 konvolutionsprodukten. Lösning: Eftersom L(t) = s12 och L(e−2t ) = 1 1 = L(t ∗ e−2t )(s) och s 2 s+2 (t ∗ e −2t Z t Z t 1 1 s 2 s+2 1 s+2 med hjälp av så är )(t) = (t − τ )e−2τ dτ 0 t Z t = (t − τ ) − 12 e−2τ − (−1) − 12 e−2τ dτ 0 0 = 21 t − 0 1 −2τ 2e dτ = 12 t − t − 14 e−2τ = 12 t + 14 e−2t − 14 . 0 (Observera att i uttrycket (t ∗ e−2t )(t) betyder det första t:et funktionen t 7→ t, följande i e−2t visar också endast att det är fråga om funktionen t 7→ e−t medan det sista är ett argument som faktiskt kan ges ett reellt värde.) G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 67 / 83 Exempel Låt 0 ≤ t < 3, t, f (t) = 6 − t, 3 ≤ t < 6, 0, t > 6. Beräkna Laplace-transformationen av f genom att först skriva ut f med hjälp av stegfunktionen u och sedan använda förskjutningsregeln. Lösning: Ifall 0 ≤ a < b så ser vi att ( 0, då t < a eller t > b, u(t − a) − u(t − b) = 1, då a < t < b. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 68 / 83 forts. Vi kan nu skriva f (t) = t u(t) − u(t − 3) + (6 − t) u(t − 3) − u(t − 6) = tu(t) − 2(t − 3)u(t − 3) + (t − 6)u(t − 6). Med hjälp av förskjutningsregeln får vi nu (eftersom L(t)(s) = L(f )(s) = G. Gripenberg (TKK) 1 ) s2 att 1 1 1 − 2 2 e−3s + 2 e−6s . s2 s s Mat-1.1531 Gk3-I 16 oktober 2007 69 / 83 Delta-funktionalen d u(t − T ) dt men u(t − T ) är inte deriverbar så δT är en generaliserad funktion, så att Z ∞ f (t)δT (dt) = f (T ). δT = −∞ L(δT )(s) = e−sT , G. Gripenberg (TKK) Mat-1.1531 Gk3-I T ≥ 0. 16 oktober 2007 70 / 83 Fourier-integraler Om R∞ −∞ |f (t)| dt < ∞ så är Fourier-transformationen av f fˆ(ω) = Z ∞ e−i2πωt f (t) dt, ω∈R −∞ Även definitionerna R∞ −∞ e−iωt f (t) dt och √1 2π R∞ −∞ e−iωt f (t) dt används! Lemma Ifall R∞ < ∞ så är fˆ kontinuerlig och lim|ω|→∞ fˆ(ω) = 0 −∞ |f (t)| dt G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 71 / 83 16 oktober 2007 72 / 83 Räkneregler c = αfˆ αf f\ + g = fˆ + ĝ ĝ (ω) = e−i2πωt0 fˆ(ω) ifall g (t) = f (t − t0 ) f\ (αt)(ω) = 1 fˆ ω |α| −πt 2 (ω) = e e[ G. Gripenberg (TKK) α −πω 2 Mat-1.1531 Gk3-I Teorem Ifall R∞ ˆ −∞ |f (ω)| dω < ∞ så är Z ∞ f (t) = ei2πωt fˆ(ω) dω. −∞ Obs! Ifall f (t) = 0 då t < 0 så är fˆ(ω) = L(f )(2πiω) G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 73 / 83 Exempel Ge en formel med vars hjälp man kan invertera Laplace-transformationen. Lösning: Låt F (s) = L(f ) och definiera f (t) = 0 då t < 0. Det innebär att Z ∞ Z ∞ e−(σ+i2πω)t f (t) dt = e−i2πωt e−σt f (t) dt = ĝ (ω), F (σ + i2πω) = −∞ 0 R∞ om g (t) = e−σt f (t). Om nu −∞ |ĝ (ω)| dω = −∞ |F (σ + i2πω)| dω < ∞ så får vi med hjälp av den inversa Fourier-transformationen Z ∞ Z ∞ −σt i2πωt ei2πωt F (σ + i2πω) dω. g (t) = e f (t) = e ĝ (ω) dω = R∞ −∞ −∞ Genom att göra ett variabelbyte 2πω = τ kan vi skriva resultatet i formen Z eσt ∞ iτ t f (t) = e F (σ + iτ ) dτ. 2π −∞ G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 74 / 83 Konvolution f[ ∗ g = fˆĝ när (f ∗ g )(t) = R∞ −∞ f (t − s)g (s) ds. Teorem Ifall R∞ < ∞ så finns det en funkion fˆ så att 2 −∞ |f (t)| dt Z ∞ |fˆ(ω)|2 dω = −∞ ∞ Z |f (t)|2 dt −∞ 2 Z T −i2πωt ˆ lim f (ω) − e f (t) dt dω = 0 T →∞ −∞ −T 2 Z ∞ Z T i2πωt f (t) − e fˆ(ω) dω dt = 0 lim Z ∞ T →∞ −∞ −T G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 75 / 83 Fourier-koefficienter Om R1 0 |f (t)| dt < ∞ och f (t + 1) = f (t) så är fˆ(n) = Z 1 e−i2πnt f (t) dt 0 Integralen kan också räknas över andra intervall, t.ex. R1 fˆ(n) = −2 1 e−i2πnt f (t) dt. 2 R T i2πnt Om f istället har perioden T så blir fˆ(n) = T1 0 e− T f (t) dt. Lemma Z 1 |f (t)| dt < ∞ ⇒ 0 G. Gripenberg (TKK) Mat-1.1531 Gk3-I lim fˆ(n) = 0 |n|→∞ 16 oktober 2007 76 / 83 Teorem Om f (t + 1) = f (t), R1 0 |f (t)| dt < ∞ och f är deriverbar i punkten t0 så är lim N X N→∞ M→−∞ n=M G. Gripenberg (TKK) ei2πnt0 fˆ(n) = f (t0 ) Mat-1.1531 Gk3-I 16 oktober 2007 77 / 83 Varför? Definiera ( g (t) = f (t+t0 )−f (t0 ) , e−i2πt −1 t∈ / Z, 0, t ∈ Z. R1 −i2πt Av antagandet följer att 0 |g (t)| dt < ∞ eftersom e t −1 → −i2π då t → 0. Eftersom f (t + t0 ) = g (t)(e−i2πt − 1) + f (t0 ) så får vi ( Z 1 1, n = 0 fˆ(n)ei2πnt0 = e−i2πnt f (t + t0 ) dt = ĝ (n + 1) − ĝ (n) + f (t0 ) 0, n 6= 0 0 och av detta följer att (då M < 0 och N > 0) N X fˆ(n)ei2πnt0 = ĝ (N + 1) − ĝ (M) + f (t0 ) → f (t0 ) n=M då M → −∞ och N → ∞ eftersom lim|n|→∞ ĝ (n) = 0, vilket i sin tur är R1 en följd av att 0 |g (t)| dt < ∞. G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 78 / 83 Teorem Ifall R1 0 |f (t)|2 dt < ∞ så är Z ∞ X 1 |f (t)|2 dt = 0 |fˆ(n)|2 n=−∞ 2 Z 1 N X i2πnt ˆ lim e f (n) dt = 0 f (t) − N→∞ 0 n=−M M→−∞ P∞ 2 Omvänt gäller att ifall (cn )∞ n=−∞ är sådan att n=−∞ |cn | < ∞ så finns R1 2 det en funktion f så att 0 |f (t)| dt < ∞ och fˆ(n) = cn . G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 79 / 83 Den diskreta Fourier-transformationen F̂(m) = N−1 1 X − i2πmk e N F(k) N k=0 PN−1 Ofta används instället defintionen k=0 e− bara att talet N dyker upp på andra ställen. i2πmk N F(k) med detta betyder Obs! När F är periodisk, dvs. F(k + N) = F(k) gäller också F̂(m) = G. Gripenberg (TKK) 1 N N+M−1 X e− i2πmk N F̂(k) k=M Mat-1.1531 Gk3-I 16 oktober 2007 80 / 83 FFT En algoritm som kan räkna den diskreta Fourier-transformationen med högst cN log(N) räkneoperationer och inte c 0 N 2 som en direkt räkning kräver. Den inversa transformationen F(k) = N−1 X e i2πmk N F̂(k) m=0 Konvolutioner Om F(k + N) = F(k), G(k + N) = G(k) och H(k) = så är Ĥ(m) = N F̂(m)Ĝ(m) G. Gripenberg (TKK) Mat-1.1531 Gk3-I PN−1 j=0 F(k − j)G(j) 16 oktober 2007 81 / 83 Exempel Låt ak och bk , k = 0, 1, . . . , vara givna. Hur kan man med hjälp av den diskreta Fourier-transformationen räkna ut ck = k X ak−j bj , k = 0, 1, . . . , j=0 Lösning: Först måste man bestämma sig för ett tal n så att man räknar ut ck för k = 0, 1, 2, . . . , n − 1 och för detta behövs talen ak och bk då k = 0, 1, . . . , n − 1. Vi låter N = 2n och definierar A(k) = ak och B(k) = bk då k = 0, 1, . . . , n − 1, A(k) = B(k) = 0 då k = n, . . . , N − 1 och A(k + N) = A(k) och B(k + N) = B(k). Vi definierar C(k) = N−1 X A(k − j)B(j) j=0 G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 82 / 83 forts. Eftersom B(j) = bj då j = 0, . . . , n − 1 och P B(j) = 0 då j = n, . . . , N − 1 att då k = 0, 1, . . . , n − 1 så är C(k) = n−1 j=0 A(k − j)bj . Eftersom dessutom A(k − j) = ak−j då 0 ≤ k − j ≤ N − 1 så får vi C(k) = k X ak−j bj + j=0 n−1 X A(k − j)bj , k = 0, . . . , n − 1. j=k+1 Men eftersom −n + 1 ≤ k − j ≤ −1 och således n + 1 ≤ k − j + N ≤ N − 1 då j = k + 1, . . . , n − 1 och k = 0, 1, . . . , n − 1 så är då A(k − j) = 0. Detta innebär att C(k) = ck då k = 0, 1, . . . , n − 1. Eftersom Ĉ(m) = N Â(m)B̂(m) så följer det av formeln inverteringen av den diskreta Fourier-transformationen att ck = C(k) = N N−1 X e i2πmk N d Â(m)B̂(m) = N 2 ÂB̂(−k), k = 0, 1, . . . , n − 1. m=0 G. Gripenberg (TKK) Mat-1.1531 Gk3-I 16 oktober 2007 83 / 83 Numerisk beräkning av Fourier-integraler Låt g (t) = N−1 X f (k∆t + t0 )p k=0 t − t0 − k∆t ∆t , där ∆t > 0 och p : R → R är sådan att p(0) = 1 och p(j) = 0 då j 6= 0. Då är g är en interpolationsfunktion med g (k∆t + t0 ) = f (k∆t + t0 ) då k = 0, . . . , N − 1 och g (k∆t) = 0 då k < 0 eller k > N − 1. Om nu F(k) = f (k∆t + t0 ), och ∆t∆ω = så är ĝ (m∆ω) = G. Gripenberg (TKK) k = 0, . . . , N − 1, 1 , N m 1 −i2πm∆ωt0 e F̂(m)p̂ , ∆ω N Mat-1.1531 Gk3-I m ∈ Z. 16 oktober 2007 84 / 83 Varför? 1 N∆t Vi väljer ∆ω = Z ∞ ĝ (m∆ω) = och då blir e−i2πm∆ωt g (t) dt −∞ = N−1 X Z ∞ F(k) k=0 N−1 X = e −i2πm∆ωt −∞ Z ∞ F(k)∆t k=0 p t − t0 − k∆t ∆t dt t = t0 + k∆t + τ ∆t = e−i2πm∆ωt0 e−i2πm∆ωk∆t e−i2πm∆ω∆tτ p(τ ) dτ −∞ = N∆te−i2πm∆ωt0 G. Gripenberg (TKK) Z ∞ N−1 m 1 X − i2πmk e N F (k) e−i2π N τ p(τ ) dτ N −∞ k=0 m 1 −i2πm∆ωt0 = e F̂(m)p̂ . ∆ω N Mat-1.1531 Gk3-I 16 oktober 2007 85 / 83