3 svar
131 visningar
naytte 7419 – Moderator
Postad: 6 okt 20:19 Redigerad: 6 okt 20:22

Komplex analys - reda ut begreppen holomorf och analytisk

Halloj!

Det verkar finnas en del begrepp inom komplex analys som används nästan synonymt trots att de inte är synonyma och bara ganska många begrepp generellt. Jag skulle vilja försöka reda ut några av dessa i den här tråden. Har jag förstått följande begrepp rätt?

Holomorf

En funktion f:Gf:G\subseteq\mathbb{C}\to \mathbb{C} säges vara holomorf på GG om och endast om ff är komplext differentierbar i varje punkt i GG.

Analytisk

En funktion f:Gf:G\subseteq\mathbb{C}\to \mathbb{C} säges vara analytisk på GG om och endast om det för varje z0Gz_0\in G gäller att Taylorserien av ff runt z0z_0 konvergerar mot f(z)f(z) för varje zGz\in G

Det visar sig att en funktion f(z=x+iy)=u(x,y)+iv(x,y)f(z=x+iy)=u(x,y)+iv(x,y) som ovan är holomorf om och endast om de partiella derivatorna av uu och vv med avseende på xx och yy är kontinuerliga och om de upfyller Cauchy-Riemanns ekvationer. Det visar sig även att detta är nödvändigt och tillräckligt för att funktionen ska vara analytisk, så en funktion är analytisk om och endast om den är holomorf.

Är detta korrekt tolkat? Jag har säkerligen gjort något misstag i de tekniska detaljerna och då blir jag mer än gärna rättad; det är därför jag frågar!

Tomten 2001
Postad: 6 okt 22:34 Redigerad: 6 okt 22:37

Jag har inte stött på ngn större skillnad, men jag vill påpeka att din mängd G ska vara öppen. Holomorfi är något som alltid försiggår på öppna mgder. Detta för att komplex deriverbarhet ska vara oberoende av vägen mot deriveringspunkten.

LuMa07 495
Postad: 7 okt 07:42

Några kommentarer till definitionen av analytiska funktioner:

I själva definitionen bör man inte säga att det handlar om Taylorserien, utan att det finns en potensserie runt z0Gz_0 \in G. (Det blir Taylorserien i slutändan, men det är något som bevisas.)

Potensserier brukar vara konvergenta i cirkelskivor. Man kan därmed inte förvänta sig att potensserien runt z0z_0 konvergerar mot f(z)f(z) för varje zGz\in G (om själva GG inte råkar vara en cirkelskiva med medelpunkten z0z_0). Påståendet behöver lokaliseras: Till varje z0Gz_0 \in G finns en (cirkulär) omgivning UGU \subset G med medelpunkten i z0z_0 och en potensserie så att denna serie konvergerar mot f(z)f(z) i varje punkt zUz \in U.

naytte 7419 – Moderator
Postad: 7 okt 12:01 Redigerad: 7 okt 13:40

Okej, det mejkar sense! Tack!

Men stämmer det jag skrev om Cauchy-Riemanns ekvationer? Det vill säga, en funktion

fz:=u(x,y)+iv(x,y)\displaystyle f\left(z\right):=u(x,y)+iv(x,y), där z=x+iyz=x+iy

är holomorf på en öppen mängd GG\subseteq\mathbb{C} om och endast om

ux,vx,uy,vy\displaystyle \frac{\partial u}{\partial x},\frac{\partial v}{\partial x},\frac{\partial u}{\partial y},\frac{\partial v}{\partial y}

existerar kontinuerligt samt

ux=vy  och  uy=-vx\displaystyle \frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}\;\;\text{och}\;\; \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}

GG

Svara
Close