Matematik F2 - sæt 4 af 7 ∮ f(z)dz = 0 1 1. Beviset for Cauchy's ...
Matematik F2 - sæt 4 af 7 ∮ f(z)dz = 0 1 1. Beviset for Cauchy's ...
Matematik F2 - sæt 4 af 7 ∮ f(z)dz = 0 1 1. Beviset for Cauchy's ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Matematik</strong> <strong>F2</strong> - <strong>sæt</strong> 4 <strong>af</strong> 7 f(z)<strong>dz</strong> = 0 1<br />
<strong>1.</strong> <strong>Beviset</strong> <strong>for</strong> Cauchy’s <strong>sæt</strong>ning f(z)<strong>dz</strong> kan i virkeligheden gøres endnu<br />
simplere. I (RH) er betingelsen <strong>for</strong> at en differentiel <strong>for</strong>m df = A(x, y)dx+<br />
B(x, y)dy er eksakt (Har en stamfunktion) at ∂yA = ∂xB. S˚a <strong>for</strong> at <strong>for</strong>men<br />
f(z)<strong>dz</strong> = f(z)dx + if(z)dy er et eksakt differential skal der gælde ∂yf =<br />
i∂xf og det er præcis (CR) betingelserne. N˚ar f har en stamfunktion F<br />
betyder det at b<br />
a f(z)<strong>dz</strong> = b<br />
dF = F (b) − F (a) Og s˚a følger naturligvis<br />
a<br />
Cauchy’s <strong>sæt</strong>ning.<br />
2. Find residuer i de singulære punkter <strong>af</strong><br />
(a) 3/(1 − z)<br />
(b) sin z/z 4<br />
(c) (4/z 3 ) − 1/z 2<br />
(d) cot z<br />
(e) 2/(z 2 − 1) 2<br />
(f) 1/(z 4 − 1)<br />
3. Integraler <strong>af</strong> typen 2π<br />
F (cos θ, sin θ)dθ er gennemg˚aet med et eksempel i<br />
0<br />
bogen prøv selv med<br />
4. Vis at 2π<br />
2π<br />
1<br />
I =<br />
dθ med a > 1<br />
a − cos θ<br />
0<br />
2π<br />
cos θ<br />
I =<br />
dθ med a > 1<br />
a + sin θ<br />
0<br />
0<br />
cos 2n x dx = 2π (2n)!<br />
2 2n (n!) 2<br />
5. I bogens eksempel, der hører til figur RH 15.6 (RHB, 24.15) ligger der<br />
en pol p˚a den reelle akse. Denne undg˚as ved en lille halvcirkel i den øvre<br />
halvplan. Hvad sker der hvis en halvcirkel i den nedre halvplan vælges?<br />
6. Integraler <strong>af</strong> typen ∞<br />
f(x)dx<br />
−∞<br />
hvor limz→∞ |zf(z)| = 0 kan som vist i RH 15.3.2 (RHB, 24.13) udregnes.<br />
Prøv selv følgende:<br />
∞<br />
∞<br />
−∞<br />
−∞<br />
a og b er reelle og større end nul.<br />
1 + x2 dx<br />
1 + x4 1<br />
(a 2 + x 2 )(b 2 + x 2 ) dx
<strong>Matematik</strong> <strong>F2</strong> - <strong>sæt</strong> 4 <strong>af</strong> 7 f(z)<strong>dz</strong> = 0 2<br />
7. Integraler <strong>af</strong> flertydige (multivalued) funktioner RH 15.13.3 (RHB, 24.13.3)<br />
er ogs˚a værd at prøve:<br />
∞ √<br />
x<br />
dx<br />
1 + x2 8. (Eksamens<strong>sæt</strong> 2011) Vis at funktionen<br />
0<br />
f(z) = z<br />
1 − z<br />
<strong>af</strong>bilder enhedscirklen |z| = 1 over p˚a en linie i den komplekse plan.<br />
Im(w)<br />
−<strong>1.</strong>0 −0.5 0.0 0.5 <strong>1.</strong>0<br />
●<br />
−<strong>1.</strong>0 −0.5 0.0 0.5 <strong>1.</strong>0<br />
Re(w)<br />
9. Real og imaginærdelene <strong>af</strong> en holomorf funktion i den komplekse plan,<br />
f = ψ + iφ, er altid harmoniske, dvs. de opfylder laplaceligningen<br />
∇ 2 ψ = 0 and ∇ 2 φ = 0.<br />
En funktion z = Φ(w) siges at være kon<strong>for</strong>m p˚a en ˚aben mængde, U<br />
(w ∈ U), <strong>af</strong> den komplekse plan, hvis og kun hvis den er holomorf og dens<br />
<strong>af</strong>ledte er <strong>for</strong>skellig fra 0. Hvis ψ er harmonisk s˚a følger det at ψ (Φ(w))<br />
ogs˚a er harmonisk.<br />
Potentialet ψ(x, y) som opfylder laplaceligningen i den øvre halvplan og<br />
har værdien 0 <strong>for</strong> y = 0 har <strong>for</strong>men<br />
ψ(x, y) = ky. (1)<br />
Denne <strong>for</strong>m følger fra at ψ(x, y) har samme <strong>for</strong>m <strong>for</strong> alle værdier <strong>af</strong> x (den<br />
øvre halvplan ser ens ud hvadenten man st˚ar i x = −10 eller x = 0. Dvs.<br />
ψ ikke kan være en funktion <strong>af</strong> x). Laplaceligningen ser derf˚ar s˚aledes ud<br />
∂2ψ = 0.<br />
∂y2
<strong>Matematik</strong> <strong>F2</strong> - <strong>sæt</strong> 4 <strong>af</strong> 7 f(z)<strong>dz</strong> = 0 3<br />
Denne ligning har ovenst˚aende løsning (1) som er lineær i y. Potentialet<br />
kan skrives vha. en kompleks variabel p˚a <strong>for</strong>men<br />
ψ = −kRe[iz] (2)<br />
Vi skal nu benytte dette potentiale samt et passende valg <strong>af</strong> en kon<strong>for</strong>m <strong>af</strong>bildning<br />
til at finde de elektriske feltlinier omking et hjørne - som skitseret<br />
i figuren.<br />
• Først findes en kon<strong>for</strong>m <strong>af</strong>bildning fra et domæne best˚aende <strong>af</strong> punkter<br />
r exp(iθ), hvor r > 0 og 0 ≤ θ ≤ 3π/2 til den øvre halvplan. Prøv<br />
med <strong>af</strong>bildninger p˚a <strong>for</strong>men Φ(w) = w α .<br />
• Benyt denne kon<strong>for</strong>me <strong>af</strong>bildning sammen med ligning (2) til at finde<br />
potentialet. Benyt at ψ (Φ(w)) er harmonisk og kan skrives som realdelen<br />
<strong>af</strong> funktionen f(z) = kΦ(w).<br />
• Det elektriske vektorfelt E kan skrive med komplekse tal vha. den<br />
analytiske funktion f<br />
E = df ∂f ∂ψ ∂ψ<br />
= = − i∂φ = + i∂ψ<br />
<strong>dz</strong> ∂x ∂x ∂x ∂x ∂y<br />
Beregn dette felt og beskriv hvordan det opfører sig tæt p˚a hjørnet.<br />
10. Find den fouriertrans<strong>for</strong>merede <strong>af</strong> x/(x 2 + a 2 ):<br />
˜f(y) = 1<br />
∞<br />
xe<br />
√<br />
2π −∞<br />
−ixy<br />
x2 dx<br />
+ a2 ved konturintegration i den komplekse plan. (Pas p˚a at skelne mellem<br />
y > 0 og y < 0.<br />
Tjek at den inverse fouriertrans<strong>for</strong>mation giver det rigtige.<br />
1<strong>1.</strong> I et eksempel i bogen udregnes fouriertrans<strong>for</strong>mationen <strong>af</strong><br />
<br />
f(x) =<br />
0<br />
Ae<br />
<strong>for</strong> x < 0<br />
−λx <strong>for</strong> x > 0<br />
til A/( √ 2π(λ + iy)). Vis ved konturintegration i den komplekse plan at<br />
den inverse fouriertrans<strong>for</strong>mation giver f(x).