Matematiska institutionen. Tentamen i Komplex analys (TATA45) kl v = Imf = coshxsiny +e y sinx+xy +1.

Relevanta dokument
Matematiska institutionen. Tentamen i Komplex analys (TATA45) kl xsinx (x 2 +1) 2 dx. p(z) = z 3 +(2 2i)z 2 +2iz +4

Tentamen i Komplex analys, SF1628, den 21 oktober 2016

1. Lös ekvationen (2 i) sin z + cos z = 2 i. Svara med komplexa tal på formen a + bi. u(x, y) = φ(x)(1 y),

Lösningsförslag för omtentamen i Komplex analys, SF1628, 21/

Lösningsmetodik för FMAF01: Funktionsteori

Möbiusavbildningar. 1 Inledning. Låt a, b, c och d vara komplexa tal och antag att ad bc = 0. Då kallas. Definition 1.

Blixtkurs i komplex integration

Harmoniska funktioner

Kursstart. Kursen startar tisdagen den 10 oktober kl i sal MA236 i MIT-huset. Schemat kan erhållas från matematiska institutionens hemsida.

Bo E. Sernelius Residuer och Poler 27

Tentamen, Matematik påbyggnadskurs, 5B1304 fredag 20/ kl

Läsanvisningar till kapitel

k=0 kzk? (0.2) 2. Bestäm alla holomorfa funktioner f(z) = f(x + iy) = u(x, y) + iv(x, y) sådana att u(x, y) = x 2 2xy y 2. 1 t, 0 t 1, f(t) =

3. Analytiska funktioner.

= 0. Båda skärningsvinklarna är således π/2 (ortogonala riktningsvektorer).

Tentamen i TATA43 Flervariabelanalys

Läsanvisningar till kapitel

Instuderingsfrågor i Funktionsteori

Dugga 2 i Matematisk grundkurs

Möbiusgruppen och icke euklidisk geometri

Tentamen i Envariabelanalys 1

SF1649, Vektoranalys och komplexa funktioner Tentamen, måndagen den 19 december Lösningsförslag. F n ds,

Mat Grundkurs i matematik 3-I

23 Konservativa fält i R 3 och rotation

Patologiska funktioner. (Funktioner som på något vis inte beter sig väl)

= 1 h) y 3 = 4(x 1) i) y = 17 j) x = 5. = 1 en ekvation för linjen genom a) (6, 0) och (0, 5) b) (9, 0) och (0, 5)

1 Tal, mängder och funktioner

För ett andra ordningens system utan nollställen, där överföringsfunktionen är. ω 2 0 s 2 + 2ζω 0 s + ω0

Tentamensuppgifter, Matematik 1 α

Läsanvisningar till kapitel 4

Lösningsförslag till tentamen Torsdag augusti 16, 2018 DEL A

Blandade A-uppgifter Matematisk analys

Tentamen i Analys B för KB/TB (TATA09/TEN1) kl 08 13

Cauchys integralformel och några av dess konsekvenser

Tentamen i Envariabelanalys 2

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A. 1. En svängningsrörelse beskrivs av

Tentamen MVE035 Flervariabelanalys F/TM

x ( f u 2y + f v 2x) xy = 24 och C = f

KOMPLEX ANALYS EXEMPELSAMLING. Augusti 2006 GRUNDLÄGGANDE EGENSKAPER. 1. Beräkna real- och imaginärdel av. 1 1 i. ( i i c) 1 + i.

4x 1 = 2(x 1). i ( ) får vi 5 3 = 5 1, vilket inte stämmer alls, så x = 1 2 är en falsk rot. Svar. x = = x x + y2 1 4 y

Läsanvisningar till kapitel Komplexa tals algebraiska struktur

(x 3 + y)dxdy. D. x y = x + y. + y2. x 2 z z

(5 + 4x)(5 2y) = (2x y) 2 + (x 2y) ,

1. Ange samtliga uppsättningar av heltal x, y, z som uppfyller båda ekvationerna. x + 2y + 24z = 13 och x 11y + 17z = 8.

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Funktionsserier och potensserier. som gränsvärdet av partialsummorna s n (x) =

3. Skissa minst en period av funktionskurvan 3y = 4 cos(8x/7). Tydliggör i skissen på enklaste vis det som karakteriserar kurvan.

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

v0.2, Högskolan i Skövde Tentamen i matematik

EXEMPELSAMLING I KOMPLEXA FUNKTIONER

Introduktion till Komplexa tal

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

Kap Inversfunktion, arcusfunktioner.

Ordinära differentialekvationer

7. Ange och förklara definitionsmängden och värdemängden för funktionen f definierad enligt. f(x) = ln(x) 1.

MA2047 Algebra och diskret matematik

Tentamen i matematik. f(x) = ln(ln(x)),

Kontrollskrivning KS1T

KRAMERS-KRONIGS DISPERSIONSRELATIONER

1.1 Stokes sats. Bevis. Ramgard, s.70

29 Det enda heltalet n som satisfierar båda dessa villkor är n = 55. För detta värde på n får vi x = 5, y = 5.

TNA001- Matematisk grundkurs Tentamen Lösningsskiss

LUNDS TEKNISKA HÖGSKOLA MATEMATIK. LÖSNINGAR FLERDIMENSIONELL ANALYS, FMA kl 8 13

TMV036 Analys och linjär algebra K Kf Bt, del C

Tentamen i matematisk statistik (9MA241/9MA341, STN2) kl 08-12

har ekvation (2, 3, 4) (x 1, y 1, z 1) = 0, eller 2x + 3y + 4z = 9. b) Vi söker P 1 = F (1, 1, 1) + F (1, 1, 1) (x 1, y 1, z 1) = 2x + 3y + 4z.

Lösningsförslag till tentamen Onsdagen den 15 mars 2017 DEL A

Repetitionsfrågor i Flervariabelanalys, Ht 2009

Tentan , lösningar

SF1626 Flervariabelanalys Tentamen Torsdagen den 18 augusti 2016

Lösning till kontrollskrivning 1A

Exempel. Komplexkonjugerade rotpar

Referens :: Komplexa tal

Denna tentamen består av två delar. Först sex enklare uppgifter, som vardera ger maximalt 2 poäng. Andra delen består av tre uppgifter, som

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

Kontrollskrivning 1A

Institutionen för Matematik. SF1625 Envariabelanalys. Lars Filipsson. Modul 1

y= x dx = x = r cosv $ y = r sin v ,dxdy = rdrdv ' 2* så får vi att

SF1626 Flervariabelanalys Tentamen Onsdagen den 15 mars 2017

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

= 0 genom att införa de nya

Tenta i MVE025/MVE295, Komplex (matematisk) analys, F2 och TM2/Kf2

SF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen DEL A

SF1624 Algebra och geometri Lösningsförsag till modelltentamen

Visa att vektorfältet F har en potential och bestäm denna. a. F = (3x 2 y 2 + y, 2x 3 y + x) b. F = (2x + y, x + 2z, 2y 2z)

med angivande av definitionsmängd, asymptoter och lokala extrempunkter. x 2 e x =

Läsanvisningar till kapitel

Lösningsförslag, preliminär version 0.1, 23 januari 2018

Tentamen i Linjär algebra (TATA31/TEN1) ,

Lösningar till övningstentan. Del A. UPPSALA UNIVERSITET Matematiska institutionen Styf. Övningstenta BASKURS DISTANS

Chalmers tekniska högskola Datum: kl Telefonvakt: Jonny Lindström MVE475 Inledande Matematisk Analys

Tentamen i tmv036c och tmv035c, Analys och linjär algebra C för K, Kf och Bt A =, = det(a λi) = e 2t + c 2. x(t) = c 1. = c 1.

x) 3 = 0. 1 (1 + 2x) Bestäm alla reella tal x som uppfyller att 0 x 2π och att tangenten till kurvan y = sin(cos(x)) är parallell med x-axeln.

Inociell Lösningsmanual Endimensionell analys. E. Oscar A. Nilsson

Tentamen : Lösningar. 1. (a) Antingen har täljare och nämnare samma tecken, eller så är täljaren lika med noll. Detta ger två fall:

Tentamen i Matematisk analys MVE045, Lösningsförslag

Doktorandkurs i flera komplexa variabler, vt 2010

Institutionen för matematik KTH. Tentamensskrivning, , kl B1210 och 5B1230 Matematik IV, för B, M, och I.

Frågorna 1 till 6 ska svaras med sant eller falskt och ger vardera 1

Transkript:

Linköpings universitet Matematiska institutionen Kurskod: TATA45 Provkod: TEN1 Tentamen i Komplex analys (TATA45) 2017-04-21 kl 14.00 19.00 Inga hjälpmedel är tillåtna. Fullständiga lösningar krävs. Varje uppgift ger 0 3 poäng, och för betyg 3/4/5 räcker 8/11/14 poäng och 3/4/5 uppgifter bedömda med minst 2 poäng vardera. Lösningsskisser publiceras på kurshemsidan preliminärt kl 21.00. 1. Bestäm alla hela analytiska funktioner f = u+iv sådana att f skall uttryckas i variabeln z, alltså som f(z). 2. Bestäm antalet nollställen som polynomet v = Imf = coshxsiny +e y sinx+xy +1. p(z) = z 4 3z 3 +2z 2 6z +1 har i (a) cirkelskivan z < 1/2 (b) halvplanet Re z < 0. (1p+2p) 3. Beräkna 0 dx (x 2 +1) 2 (x 2 +9) med residykalkyl. 4. (a) Bestäm en Möbiusavbildning w = S(z) som tar halvcirkelskivan z < 1, Imz > 0 på kvadranten Rew > 0, Imw > 0 samtidigt som S( 1) = 0. (b) Bestäm en Möbiusavbildning w = T(z) som tar halvplanet Imz > 0 på cirkelskivan w < 1 samtidigt som T(0) = 1 (c) Om S och T ovan är givna, bestäm med hjälp av dem en konform avbildning w = U(z) som tar halvcirkelskivan z < 1, Imz > 0 på cirkelskivan w < 1 samtidigt som U( 1) = 1. Deluppgift (c) kan alltså lösas även av den som inte har löst (a) och/eller (b). 5. Låt f(z) = z n n + 1 n!z 2n och g(z) = n 3 +1 z n n för de komplexa tal z där de respektive serierna konvergerar.bestäm konvergensringenr 1 < z < R 2 för den första serien och konvergensskivan z < R 3 för den andra, och beräkna summorna f(z) och g(z) i dessa respektive områden; ange speciellt f(i/ 3) och g(2) i rektangulär form, om de existerar. 6. Låt C = C\{0}, och antag att f A(C ) är sådan att f(1/n) = 0 för alla n = 1,2,3,... Visa med ett exempel att det inte behöver vara sant att f = 0 i hela C. Varför strider inte detta mot entydighetssatsen för analytiska funktioner? Om man dessutom vet att f inte har väsentlig singularitet i origo, kan man då dra slutsatsen att f = 0 i hela C? Bevis eller motexempel! 7. Låt Ω vara ett begränsat område i C, och antag att f är en nollskild analytisk funktion i Ω med följande egenskap: För varje z 0 Ω är det sant att f(z) 1 närhelst z z 0 inifrån Ω. Vad kan sägas om f?

TATA45 Komplex analys 2017-04-21, lösningsskisser 1. Cauchy-Riemannsekvationergerförst v y = coshxcosy+ey sinx+x = u x, som integreradm.a.p. x ger u = sinhxcosy e y cosx+x 2 /2+ϕ(y), där ϕ är en reellvärd funktion av en reell variabel. Derivering m.a.p. y och insättning i u y = v x ger sedan ϕ (y) = y, alltså ϕ(y) = y 2 /2+A, där A är en reell konstant. Vi får f = u+iv = (sinhxcosy e y cosx+x 2 /2 y 2 /2+A)+i(coshxsiny +e y sinx+xy +1). f är alltså en hel funktion, och på realaxeln z = x sammanfaller den med den hela funktionen g(z) = sinhz cosz+z 2 /2+A+isinz+i,som också kan skrivas g(z) = sinhz e iz +z 2 /2+A+i. Entydighetssatsen ger därför att f(z) = g(z) överallt. Svar: f(z) = sinhz cosz +z 2 /2+A+isinz +i = sinhz e iz +z 2 /2+A+i, A R. 2. (a) Sätt f(z) = 6z och g(z) = z 4 3z 3 + 2z 2 + 1. På cirkeln z = 1/2 är f(z) = 6 z = 3 medan g(z) = z 4 3z 3 +2z 2 +1 z 4 +3 z 3 + 2 z 2 +1 = 31/16 < 3, och därmed är f(z) > g(z) på hela denna cirkel. Rouchés sats medför nu att f(z)+g(z), d.v.s. p(z), har lika många nollställen i cirkelskivan z < 1/2 som f(z), alltså 1. Svar: Ett. (b) Vi studerar argumenttillskottet för p(z) = z 4 3z 3 +2z 2 6z +1 när z genomlöper kurvan Γ R = C R +I R (se figur nere till vänster). PåC R får vi tillskottet CR argp(z) = CR argz 4 + CR arg(1 3/z + 2/z 2 6/z 3 + 1/z 4 ) 4 π + 0 = 4π då R. På I R får vi p(z) = p(iy) = (y 4 2y 2 +1) +i(3y 3 6y) = (y 2 1) 2 + i3y(y 2 2) = u +iv, y : R R, och därmed nedanstående teckentabell då y 0 (observera att u är jämn och v udda), samt kurva w = p(z) då z genomlöper I R : y C R y 0 < 1 < v 2 < I R u (jämn) 1 + 0 + + + 1 u x v (udda) 0 0 + w(i R ) Dessutom får vi av gradskäl att v/u 0 då y ± (u drar mer än v), och detta tillsammans med tabellen ovan ger skissen ovan till höger, där vi ser att IR argp(z) 0 då R. Eftersom poler saknas blir antalet nollställen i vänstra halvplanet därför (1/2π)lim R ( CR argp(z)+ IR argp(z)) = (4π +0)/2π = 2. Svar: Två. 3. Sätt f(z) = 1/ ( (z 2 + 1) 2 (z 2 + 9) ) = (z + i) 2 (z i) 2 (z 2 + 9) 1 ; den sökta integralen är I = f(x)dx, ocheftersomf ärjämn äri = (1/2) 0 f(x)dx. Studeranu konturenγ R = L R +C + R, där L R är sträckan från R till R och C + R är halvcirkeln från R till R i övre halvplanet. Om R är stort nog (R > 3) är f analytisk på och innanför Γ R utom i dubbelpolen z = i och i enkelpolen z = 3i. Residysatsen och sedvanlig residyberäkning ger därför L R+C + R ( f(z)dz = 2πi = 2πi ) Resf(z)+ Res f(z) = 2πi d ( (z +i) 2 (z 2 +9) 1) z=i z=3i dz z=i + (z2 +1) 2 d dz (z2 +9) z=3i ( ) ( 2(z +i) 3 (z 2 +9) 1 2z(z +i) 2 (z 2 +9) 2) + (z2 +1) 2 z=i 2z z=3i ( 3 = 2πi 64 2i + 1 ) 64 6i = 5π, R > 3. ( ) 96 Vidare, L R f(z)dz 2I då R, och en ML-uppskattning ger f(z)dz πr (R 2 1) 2 (R 2 0, R, 9) C + R så f(z)dz 0 då R. Genom att låta R i ( ) får vi därför till sist 2I +0 = 5π/96, C + R d.v.s. I = 5π/192. 5π Svar: 192.

4. (a) För att sträckan från z = 1 till z = 1 och halvcirkeln i övre halvplanet mellan samma punkter ska avbildas på två strålar från w = 0 måste w(1) =, vid sidan av det i uppgiften givna kravet w( 1) = 0. Eftersom den räta skärningsvinkeln bevaras vid konform avbildning räcker det därför att t.ex. välja w(0) = 1 för att få rätt avbildning. De två tripplarna ger nu med standardmetoder w = S(z) = (1+z)/(1 z). (b) Vi kompletterar kravet w(0) = 1, som innebär att en randpunkt går på en randpunkt, med par av spegelpunkter på båda sidor, t.ex. w(i) = 0 (inre punkter) och w( i) = ; då vet vi att avbildningen blir rätt. På sedvanligt sätt får vi nu w = T(z) = (i z)/(i+z). (c) Eftersom avbildningen w = z 2 är tar kvadranten Rez > 0, Imz > 0 konformt på halvplanet Imw > 0 och tar z = 0 på w = 0 kan vi m.h.a. S och T sätta U(z) = T(S(z) 2 ) för att få den önskade avbildningen; notera speciellt att U( 1) = T(S( 1) 2 ) = T(0 2 ) = T(0) = 1. Svar: T.ex. S(z) = 1+z i z, T(z) = 1 z i+z och U(z) = T( S(z) 2). 5. Med standardutvecklingar får vi Log(1+w) = ( 1)n+1 w n /n i skivan w < 1, som också är denna series konvergensskiva; dessutom är e w = n=0 wn /n!, och därmed wn /n! = e w 1, för alla w C. Med w = z för z < 1 respektive w = 1/z 2 för z 0 får vi därför genast z n ( ) f(z) = n + 1 n!z 2n = Log(1 z)+exp( 1 ) 1, 0 < z < 1. z 2 z = i/ 3 ligger i detta område, och direkt insättning ger f(i/ 3) = ( ln(2/ 3)+e 3 1)+iπ/6. Vidare, termvis derivering av n=0 zn = 1/(1 z) då z < 1, som också är denna series konvergensskiva, ger n=0 nzn 1 = 1/(1 z) 2, så n=0 nzn = z/(1 z) 2 då z < 1. Upprepar vi detta (derivering och sedan multiplikation med z) får vi först n=0 n2 z n 1 = (1+z)/(1 z) 3 och sedan n2 z n = n=0 n2 z n = (z +z 2 )/(1 z) 3, båda med konvergensskiva z < 1. Alltså, n 3 +1 ( ) g(z) = z n = n 2 z n z n + n n = z +z2 Log(1 z), z < 1. (1 z) 3 Denna serie har konvergensradie 1, så för z = 2 är serien divergent, varför g(2) är odefinierat. Svar: Se ( ) och ( ) ovan; f ( ( i ) 1 = 3 e 3 1 1 2 ln 4 ) +i π medan g(2) är odefinierat. 3 6 6. Som ett motexempel kan vi ta f(z) = sin(π/z); då är f analytisk i C och f(1/n) = sin(πn) = 0 för n = 1,2,3,... Att detta inte är ett motexempel till entydighetssatsen för analytiska funktioner beror på att 1/n 0 / C då n, d.v.s. på att hopningspunkten inte tillhör området. Origo är en isolerad singularitet till f, så om f inte har väsentlig singularitet där har den antingen pol eller hävbar singularitet där, vilket innebär att funktionen g(z) := z N f(z) har hävbar singularitetiorigodärn 0ärpolensordning(N = 0omf harhävbarsingularitetiorigo);vikandärför definiera g(0) så att g blir analytisk även i origo: g A(C), således. Men g(1/n) = f(1/n)/n N = 0 för n = 1,2,3,..., och 1/n 0 C och nu kan vi använda entydighetssatsen, på g A(C), och inser att g = 0 i hela C och därmed också att f = 0 i hela C. Svar: T.ex. f(z) = sin(π/z); ja. 7. Sätt ϕ(z) := f(z) för z Ω och ϕ(z) := 1 för z Ω. Enligt förutsättningarna är då ϕ en reellvärd kontinuerlig funktion på den kompakta mängden Ω, varför ϕ antar ett största värde i någon punkt c Ω. Vi delar nu upp i två fall: Om c Ω är f(z) f(c) för alla z Ω, så maximumprincipen medför att f är konstant i Ω. Om c Ω är f 1 i Ω. Eftersom f 0 enligt förutsättningarna är också g := 1/f analytisk i Ω och g(z) = 1/ f(z) 1 närhelst z z 0 och z 0 Ω. Vi kan därför upprepa resonemanget i första stycket, men med ψ(z) := g(z) för z Ω och ψ(z) := 1 för z Ω, och inse att ψ antar ett största värde någonstans i Ω. Men ψ = 1 på Ω medan ψ 1 i Ω, så detta maximum antas någonstans i Ω. Som i andra stycket antar g därför ett största värde i Ω, varför g, och därmed även f, är konstant i Ω. I båda fallen är alltså f konstant i Ω, och eftersom f(z) 1 närhelst z z 0 inifrån Ω för varje z 0 Ω måste denna konstant vara något λ C sådant att λ = 1. Svar: Det finns något λ C med belopp 1 sådant att f(z) = λ för alla z Ω.

TATA45 Komplex analys 2017-04-21, kommentarer 1. Observera att den funktion f(z) man får är analytisk, så svar som innehåller t.ex. e z är orimliga. Några tar en onödigt jobbig väg och integrerar både u x = v y (m.a.p. x) och u y = v x (m.a.p. y), och försökersedan pussla ihop dessa båda uttryck för u till ett enda uttryck för u, oftast på mycket oklara sätt; framför allt framgår det normalt inte att man har hittat alla lösningar. Observera att integrationskonstantena R; u är ju en reellvärd funktion. Att skriva A C, eller att sätta à = A+i och sedan skriva à C, ger för många lösningar (FEL). Flera skriver coshx = cosix och använder egenskaper för cos och sin, vilket i och för sig är OK, men det är enklare att använda att (coshx) = sinhx och (sinhx) = coshx. Några tror för övrigt att (coshx) = sinhx (FEL). Flera försöker skriva om funktionen f = u+iv från variablerna x och y till variabeln z utan att använda entydighetssatsen, vilket är fullt möjligt, men klart svårare. Risken är då också att man efter att ha gjort något (litet?) fel får kvar uttryck som innehåller z, jfr första stycket. 2. (a) I denna Rouchéuppgift förekommer det ett antal klassiska fel i lösningarna. Se kommentarerna till uppgift 3 på tentamen 2016-04-01 för en allmän diskussion. (b) Som vanligt går det bra att faktorisera endast en av u och v vid undersökningen längs imaginäraxeln, som i kompendiet. (I själva verket går kurvan w(i R ) i w-planet i detta fall genom punkten w = 1 inte bara då y = 0, utan även då y = ± 2; det framgår inte av min kurvskiss. Det spelar dock ingen roll eftersom det är bara är tecknet som är relevant.) 3. Integralen är tydligt positiv, så icke-reella svar eller reella svar 0 är orimliga. Överraskande många försöker använda konturen till höger, alltså Γ R = L R +C R I R (FUNGERAR INTE). Notera att singulariteterna z = i och z = 3i ligger på konturen, och då kan residysatsen inte användas över huvud taget. Många gör fel vid beräkningen av residyn i dubbelpolen z = i, och tror att 1 Res z=i (z 2 +1) 2 (z 2 +9) = d ( ) 1 dz z 2 (FEL), +9 z=i som om man bara kunde ta bort den farliga faktorn (z 2 +1) 2 i nämnaren. I själva verket måste man ju skriva f(z) i formen f(z) = g(z) (z i) 2, och här blir således g(z) = 1 (z +i) 2 (z 2 +9) = (z +i) 2 (z 2 +9) 1, och vi får att Res z=i = g (i), som i lösningsskissen. 4. (a) Det är alltså nödvändigt att w(1) = för att bilden ska bli ett kvartsplan. Det är också tillräckligt, tack vare konformiteten, eftersom den räta skärningsvinkeln vid z = 1, till storlek och orientering, bevaras vid w = 0, och området till vänster avbildas på området till vänster. Därför räcker det att komplettera w( 1) = 0 och w(1) = med t.ex. w(0) = 1, som i lösningsskissen, eller w(i) = i, för den delen. Alla möjliga lösningar får vi för övrigt genom att låta w(0) = a för något a > 0, och då blir w = S(z) = a 1+z, a > 0, men det efterfrågas inte i uppgiften. 1 z Någrahar kompletterat på annat sätt, typiskt med w(i) = 1 (FEL) eller med w(0) = i (FEL); då blir bilden i stället fjärde kvadranten Rew > 0, Imw < 0 respektive andra kvadranten Rew < 0, Imw > 0. Åter andra använder inte att w(1) = över huvud taget utan försöker med andra punkter. Då är det inte längre självklart att bilden blir en kvadrant, utan det måste motiveras noggrant. Om t.ex. ( 1,0,i) (0,1,i) råkar det bli rätt (men det är inte uppenbart varför), men om t.ex. ( 1,0,i) (0,2,i) blir det fel! I R 3i i L R C R

(b) Här har de flesta använt spegelpunktsresonemang, vilket är enkelt och bra. Några har i stället avbildat tre punkter på realaxeln på tre punkter på enhetscirkeln, typiskt (0,1, ) (1,i, 1), och då vet man ju att realaxeln Imz = 0 avbildas på enhetscirkeln w = 1. Man får då inte glömma att motivera varför övre halvplanet Imz > 0 avbildas på skivan w < 1 och inte på området w > 1. Det kan man som bekant göra genom att visa att någon inre punkt avbildas på någon inre punkt, eller genom att hänvisa till att området till vänster avbildas på området till vänster, relativt orienteringen. (c) Här har de allra flesta trott att U(z) = T(S(z)) duger (FEL), men i så fall blir även U(z) en Möbiusavbildning, och en sådan kan aldrig avbilda en halv cirkelskiva på en hel cirkelskiva: De båda räta vinklarna på randen till området i z-planet måste i så fall avbildas på räta vinklar på randen till området i w-planet, men där finns ju inga räta vinklar. 5. Inget att kommentera. 6. Om f inte har väsentlig singularitet i origo kan man alternativt resonera som följer. Om f har pol i origo vet vi att f(z) + då z 0, och speciellt finns det därför något δ > 0 sådant att f(z) 0 för alla z sådana att 0 < z < δ. Men om n är ett heltal som är så stort att n > 1/δ är f(1/n) = 0 trots att 0 < 1/n < δ, en motsägelse. I det återstående fallet har f hävbar singularitet i origo, och då kan man följa lösningsskissen, med N = 0. 7. Observera att det inte förutsätts i uppgiften att f är definierad på randen Ω. Man kan alltså inte använda maximumprincipen i begränsade områden, eftersom den förutsätter att f är analytisk i Ω och kontinuerlig på Ω. Lars Alexandersson, 2 maj 2017