14 svar
246 visningar
naytte behöver inte mer hjälp
naytte Online 8369 – Moderator
Postad: 13 aug 18:16 Redigerad: 13 aug 18:49

Komplex analys -- hur bestämmer man koefficienten till Laurentserien till denna funktion?

Hej!

Jag sitter med uppgift nedan från en gammal tentamen och jag fattar inte ett skvatt av lösningsförslaget:

Låt oss inleda med att definiera en funktion ff som definieras av integranden till integralen.

Vi noterar att mänden av alla z∈ℂz\in\mathbb{C} som satisifierar |z|=2|z|=2 definierar en cirkel med radie R=2R=2 och centrum i z=0z=0. Utan att explicit visa en parametrisering kan vi konstatera att denna cirkel kan parametriseras till en kurva γ\gamma sådan att γ\gamma är enkel, sluten och positivt orienterad. Vidare är ff analytisk på och inom denna kurva förutom vid en isolerad singularitet z=0z=0 inom γ\gamma.

Således kan vi tillämpa Cauchys residysats:

∫|z|=2fzdz=2πiRes0\displaystyle \int_{|z|=2}f\left(z\right)dz=2\pi i \mathrm{Res}\left(0\right)

Residyn ges ju av koefficienten a-1a_{-1} i Laurentserieutvecklingen av ff runt z=0z=0. Nu är frågan hur man faktiskt ska bestämma serien. Jag tänker att man ska utnyttja kända serier som:

e2z=1+2z+4z22!+…\displaystyle e^{2z}=1+2z+\frac{4z^2}{2!}+\dots

sinz=z-z33!+z55!+…\displaystyle \sin z=z-\frac{z^3}{3!}+\frac{z^5}{5!}+\dots

Men jag förstår inte hur man ska manipulera dem så att man faktiskt kan få ut koefficienten. Finns det något allmänt "recept" man kan använda för att bestämma koefficienten om man har de relevanta Taylorserierna?

EDIT: Jag ser nu att singulariteten faktiskt råkar vara en pol av ordning 3, så då finns det ju andra sätt att bestämma residyn på som är enklare, men jag skulle vilja försöka med serieutvecklingar.

PATENTERAMERA 8684
Postad: 13 aug 19:13

Vet inte om det är något, men

sinzz=1-z2/6+z4/120+Oz6

11-z=1+z+Oz2

zsinz=1+z2/6+Oz4

naytte Online 8369 – Moderator
Postad: 13 aug 19:33 Redigerad: 13 aug 19:33

Hmm... Hur ska man använda dessa trunkerade serier? 

PATENTERAMERA 8684
Postad: 13 aug 19:43

e2zsin3z=e2zz3zsinz3 =e2zz31+z2/2+Oz4.

Hur kom du fram till uttrycket för

zsinz3\displaystyle \left(\frac{z}{\sin z}\right)^3

?

PATENTERAMERA 8684
Postad: 13 aug 22:39

1+z2/6+Oz41+z2/6+Oz41+z2/6+Oz4=1+3z2/6+Oz4

naytte Online 8369 – Moderator
Postad: 14 aug 23:00 Redigerad: 15 aug 13:39

Jag hänger tyvärr inte med. Varifrån kommer de polynomen för z/sinzz /\sin z ?


Tillägg: 15 aug 2026 14:31

Rättade till texten. Hade råkat skriva sin z / z istället för z / sin z

D4NIEL 3600
Postad: 15 aug 07:44 Redigerad: 15 aug 07:45

Man kan använda polynomdivision (med liggande stolen) för de två taylorpolynomen du tagit fram, behövs ju bara två rader!:) 

D4NIEL 3600
Postad: 15 aug 15:29 Redigerad: 15 aug 15:37

Lösning med liggande stolen:

Visa spoiler

Med sin3z=z3-15z5+…\sin^3\left(z\right)=z^3-\frac15z^5+\dots och e2x=1+2z+2z2+43z3+…e^{2x}=1+2z+2z^2+\frac43z^3+\dots får vi

Så koefficienten framför z-1z^{-1} är alltså 52\frac52

naytte Online 8369 – Moderator
Postad: 15 aug 18:59 Redigerad: 15 aug 19:00

Smart! Det slog mig inte ens att testa polynomdivision. Är det något man kan testa som standardknep på alla frågor av detta slag, givet att man känner Taylorutvecklingarna runt den aktuella singulariteten?

D4NIEL 3600
Postad: 16 aug 13:14

Det går alltid att _försöka_ använda det, men jag skulle inte se det som "standardknep". Oftast är det avsevärt enklare och snabbare att rättframt använda uttrycket

Resf(z),z0=limz→z01(N-1)!dN-1dzN-1(z-z0)Nf(z)\mathrm{Res}\left[f(z),z_0\right]=\lim_{z\to z_0}\frac{1}{(N-1)!}\frac{d^{N-1}}{dz^{N-1}}\left[(z-z_0)^Nf(z)\right]

Men i just den här uppgiften kommer du märka att du får kvar ett odefinierat "0/0", när du deriverat alla gånger som behövs. Gränsvärden för sådana uttryck går att lösa med L'Hôpitals regel, men det är lite knöligt. Dessutom hade du ju redan serieutvecklingen för täljare och nämnare var för sig samtidigt som vi inte behöver gå särskilt många steg för att hitta termen som innehåller z-1z^{-1} (uttrycken är hanterbara i polynomdivisionen). Så använd det alltså när det är enklare, inte som standard :)

naytte Online 8369 – Moderator
Postad: 16 aug 14:27 Redigerad: 16 aug 15:30

Jag försökte använda polformeln som du visar ovan men det blev så krångligt att jag tappade tråden. Alltså enbart deriveringen i sig blev horribel, innan man ens kom till att försöka utvärdera gränsvärdet.

Hur som helst förstår jag fortfarande inte riktigt hur ni kom fram till att

sin3z=z3-15z2+...\displaystyle \sin^3 z = z^3 - \frac{1}{5}z^2+...

Är man helt enkelt bara tvungen att manuellt multiplicera ihop tre trunkerade MacLaurinutvecklingar? :(

AlexMu 1363
Postad: 16 aug 15:54 Redigerad: 16 aug 15:54

Jag tror multiplikationen är det trevligaste sättet (annan kan man ju också bara använda taylors formel, fast då måste man derivera sin3z\sin^3 z ett par gånger vilket inte är särskilt kul).

Det som är skönt är att det finns väldigt många multiplikationer man kan ignorera av genom att kolla gradtalet av den resulterande termen (om man vet till hur högt gradtal man vill ha sin serieutveckling). 

D4NIEL 3600
Postad: 16 aug 16:17 Redigerad: 16 aug 16:34

När man har enklare potenser av trigonometriska funktioner är det ofta enkelt att använda en trigonometrisk identitet.

Om man till exempel känner till att cos2z=1-z2+13z4\cos^2\left(z\right)=1-z^2+\frac13z^4 gäller ju

sin3z=sinz(1-cos2z)=(z-13!z3+…)(z2-13z4+…)=z3-12z5+…\sin^3\left(z\right)=\sin\left(z\right)(1-\cos^2\left(z\right))=(z-\frac{1}{3!}z^3+\dots)(z^2-\frac13z^4+\dots)=z^3-\frac12z^5+\dots

Känner man inte till cos2z\cos^2\left(z\right) kan den enkelt beräknas med 

cos2z=1+cos2z2\cos^2\left(z\right)=\frac{1+\cos\left(2z\right)}{2}

Känner man inte till cosz\cos\left(z\right) får man lära sig den (och några andra utvecklingar) utantill! Eller härleda dem med hjälp av formeln.

Regeln är som Alex påpekar att du struntar i termer som har mer än säg grad 5 direkt och att du håller antalet parenteser nere genom att räkna stegvis och utnyttja utantillkunskap + trigonometriska samband.

Man kan också derivera / integrera termvis för vissa serier och det finns "a bag of tricks" att lära sig om man man vill, men det kommer inte vara nödvändigt i en grundkurs.

naytte Online 8369 – Moderator
Postad: 16 aug 16:39 Redigerad: 16 aug 16:39

Ah, smart med att skriva om sin2z\sin^2 z som 1-cos2z1-\cos^2 z!

Jag måste ta en titt på och påminna mig själv om vanliga trigonometriska formler. Tyvärr är vår examinator väldigt elak och ger inga formelblad :(

Svara
Close