2 svar
38 visningar
naytte Online 8205 – Moderator
Postad: Igår 18:47 Redigerad: Igår 19:08

Komplex analys -- varför vill vi visa att A_r går mot noll?

Hej!

Jag håller på att lära mig beviset för en variant av Cauchys integralformel som jag formulerar nedan:

Låt ff holomorf på en öppen mängd GG\subseteq \mathbb{C} sådan att D¯[a,R]G\bar{D}[a, R]\subseteq G. Då gäller för alla 0<rR0 < r \le R att

fa=12πiC[a,r]fzz-adz\displaystyle f\left(a\right)=\frac{1}{2\pi i}\int_{C[a,r]}\frac{f\left(z\right)}{z-a}dz

Beviset jag följer bifogas nedan. Det jag inte förstår i beviset är påståendet om att Ar to0A_r \ to 0r0r\to 0 innebär att Ar0A_r \equiv 0. Cauchys sats säger ju att två integraler är lika över tillräckligt trevliga områden γ1\gamma_1 och γ2\gamma_2 om dessa är homotopa inom området. Två cirklar C[a,r1]C[a,r_1] och C[a,r2]C[a,r_2] för r1,r2(0,R]r_1,r_2\in (0, R] kommer såklart alltid att vara homotopa inom G{a}G\setminus \{a\}. Men jag förstår inte vad Cauchys sats har med gränsvärden att göra. Gränsvärdet då r0r\to 0 ger ju inte en integral över en relevant kurva; kurvan som definieras av "C[a,0]C[a,0]" ligger ju inte ens i G{a}G\setminus \{a\}!

naytte Online 8205 – Moderator
Postad: Igår 18:55 Redigerad: Igår 18:59

Oj, nu tror jag att poletten trillade ned.

Eftersom ArA_r är en konstant funktion (Cauchys sats), och en konstant funktion har sig själv som gränsvärde i alla punkter där gränsvärdet existerar (punkten måste inte ingå i domänen till ArA_r), så kan vi använda gränsvärdet som ett sätt att bestämma vilken konstant den är lika med?

Ännu en fråga om bevset: för att tillämpa Cauchys sats kräver vi väl att den aktuella mängden är en region, inte enbart en öppen mängd? Under hypotesen som satsen bevisas under är ju G{a}G\setminus \{a\} enbart öppen...

Svara
Close