27.07.2013 Views

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 ...

SHOW MORE
SHOW LESS

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).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!