Singularitate esențială

Graficul funcției Format:Math, centrat pe singularitatea esențială din Format:Math. Culorile reprezintă Format:Ill-wd iar luminozitatea reprezintă valoarea absolută. Acest grafic arată cum abordarea singularității esențiale din diferite direcții produce comportamente diferite (spre deosebire de un pol, care ar fi alb abordat din orice direcție).

Model care ilustrează singularitatea esențială a funcției complexe Format:Math

În analiza complexă o singularitate esențială a unei funcții este o singularitate „severă” lângă care funcția se comportă ciudat.

Categoria singularitate esențială este un „rest” sau un grup implicit de singularități izolate care sunt expres de negestionat: prin definiție, nu se încadrează în niciuna dintre celelalte două categorii de singularitate care pot fi tratate în vreun fel — singularități eliminabile și poli. În practică, unii includ între acestea și anumite singularități neizolate: acelea nu au un Format:Ill-wd.

Descriere formală

Fie o mulțime deschisă $U$ din planul complex $ℂ$. Fie $a$ un element al $U$ și $f:U\setminus \{a\}\to ℂ$ o funcție olomorfă. Punctul $a$ se numește singularitate esențială a funcției $f$ dacă singularitatea nu este nici un pol, nici o singularitate eliminabilă.

De exemplu, funcția $f(z)=e^{1/z}$ are o singularitate esențială în $z=0$.

Descriere alternativă

Fie $a$ un număr complex și se presupune că $f(z)$ nu este definită în $a$, dar este analitică într-o regiune $U$ a planului complex și că fiecare vecinătate deschisă a lui $a$ are intersecția cu $U$ nevidă.

Dacă atât $\underset{z\to a}{\lim }f(z)$ cât și $\underset{z\to a}{\lim }\frac{1}{f(z)}$ există, atunci $a$ este o singularitate eliminabilă atât a $f$, cât și a $\frac{1}{f}$.

Dacă $\underset{z\to a}{\lim }f(z)$ există dar $\underset{z\to a}{\lim }\frac{1}{f(z)}$ nu există (în realitate $\underset{z\to a}{\lim }|1/f(z)|=\mathrm{\infty }$), atunci $a$ este un zero al $f$ și un pol al $\frac{1}{f}$.

Similar, dacă $\underset{z\to a}{\lim }f(z)$ nu există (în realitate $\underset{z\to a}{\lim }|f(z)|=\mathrm{\infty }$) dar $\underset{z\to a}{\lim }\frac{1}{f(z)}$ există, atunci $a$ este un pol al $f$ și un zero al $\frac{1}{f}$.

Dacă nici $\underset{z\to a}{\lim }f(z)$, nici $\underset{z\to a}{\lim }\frac{1}{f(z)}$ nu există, atunci $a$ este o singularitate esențială a ambelor $f$ și $\frac{1}{f}$.

O altă modalitate de a caracteriza o singularitate esențială este aceea că Format:Ill-wd a lui $f$ la punctul $a$ are o infinitate de termeni de grad negativ (adică, partea principală din seria Laurent este o sumă infinită). O definiție înrudită este aceea că, dacă există un punct $a$ pentru care nicio derivată a lui $f(z)(z-a{)}^n$ nu converge către o limită când $z$ tinde spre $a$, atunci $a$ este o singularitate esențială a lui $f$.

Pe sfera Riemann (care are un punct de la infinit), ${\mathrm{\infty }}_{ℂ}$, funcția $f(z)$ are o singularitate esențială în acel punct dacă și numai dacă $f(1/z)$ are o singularitate esențială în 0: adică nu există nici $\underset{z\to 0}{\lim }f(1/z)$, nici $\underset{z\to 0}{\lim }\frac{1}{f(1/z)}$. Funcția zeta Riemann pe sfera Riemann are o singură singularitate esențială, la ${\mathrm{\infty }}_{ℂ}$.

Comportarea funcțiilor olomorfe în apropierea singularităților lor esențiale este descrisă de teorema Casorati–Weierstrass și de Format:Ill-wd, considerabil mai puternică. Acesta din urmă spune că în orice vecinătate a unei singularități esențiale, $a$, funcția $f$ ia orice valoare complexă, cu excepția posibilei uneia, de un număr infinit de ori. (Excepția este necesară; de exemplu, funcția $\exp (1/z)$ nu are niciodată valoarea 0.)

Bibliografie

• Format:En icon Lars V. Ahlfors; Complex Analysis, McGraw-Hill, 1979
• Format:En icon Rajendra Kumar Jain, S. R. K. Iyengar; Advanced Engineering Mathematics. Page 920. Alpha Science International, Limited, 2004. Format:ISBN

Legături externe

• Format:En icon An Essential Singularity by Stephen Wolfram, Wolfram Demonstrations Project.

• Format:En icon Essential Singularity on Planet Math
• Format:En icon Format:MathWorld