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 säges vara holomorf på om och endast om är komplext differentierbar i varje punkt i .
Analytisk
En funktion säges vara analytisk på om och endast om det för varje gäller att Taylorserien av runt konvergerar mot för varje
Det visar sig att en funktion som ovan är holomorf om och endast om de partiella derivatorna av och med avseende på och ä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!
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.
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 . (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 konvergerar mot för varje (om själva inte råkar vara en cirkelskiva med medelpunkten ). Påståendet behöver lokaliseras: Till varje finns en (cirkulär) omgivning med medelpunkten i och en potensserie så att denna serie konvergerar mot i varje punkt .
Okej, det mejkar sense! Tack!
Men stämmer det jag skrev om Cauchy-Riemanns ekvationer? Det vill säga, en funktion
, där
är holomorf på en öppen mängd om och endast om
existerar kontinuerligt samt
på