Singularitate eliminabilă

Graficul unei parabole cu o singularitate eliminabilă în Format:Math

În analiza complexă o singularitate eliminabilă sau singularitate aparentă a unei funcții olomorfe este un punct în care funcția este nedefinită, dar este posibil să fie redefinită în acel punct astfel încât funcția rezultată să fie regulată în vecinătatea acelui punct.

De exemplu, funcția (nenormalizată) Format:Ill-wd

$\text{sinc}(z)=\frac{\sin z}{z}$

are o singularitate în Format:Math. Această singularitate poate fi eliminată prin definirea $\text{sinc}(0):=1,$ care este limita lui Format:Math când Format:Mvar tinde la 0. Funcția rezultată este olomorfă. În acest caz, problema a fost cauzată de faptul că lui Format:Math i s-a dat o formă nedeterminată. Dezvoltarea în serie de puteri pentru $\frac{\sin (z)}{z}$ în jurul punctului singular este

$\text{sinc}(z)=\frac{1}{z}\left(\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k{z}^{2k+1}}{(2k+1)!}\right)=\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k{z}^{2k}}{(2k+1)!}=1-\frac{z^2}{3!}+\frac{z^4}{5!}-\frac{z^6}{7!}+\cdots .$

Formal, dacă $U\subset ℂ$ este o submulțime deschisă a planului complex $ℂ$, $a\in U$ un punct în $U$ și $f:U\setminus \{a\}\to ℂ$ este o funcție olomorfă, atunci $a$ este o singularitate eliminabilă a lui $f$ dacă există o funcție olomorfă $g:U\to ℂ$ care coincide cu $f$ pe $U\setminus \{a\}$. Se spune că $f$ este extensibilă olomorf peste $U$ dacă există o astfel de funcție $g$.

Teorema lui Riemann

Teorema lui Riemann asupra singularităților eliminabile este următoarea:

Implicațiile 1 ⇒ 2 ⇒ 3 ⇒ 4 sunt imediate. Pentru a demonstra 4 ⇒ 1, trebuie amintit mai întâi că olomorfia unei funcții în $a$ este echivalentă cu a fi analitică în $a$. Adică poate fi dezvoltată în serie de puteri. Se definește

$h(z)=\{\begin{array}{cc}(z-a{)}^{2}f(z)& z\ne a,\\ 0& z=a.\end{array}$

Este evident că Format:Mvar este olomorfă pe $D\setminus \{a\}$ și pentru punctul 4 există

$h^{\prime }(a)=\underset{z\to a}{\lim }\frac{(z-a{)}^{2}f(z)-0}{z-a}=\underset{z\to a}{\lim }(z-a)f(z)=0$

prin urmare $h$ este olomorfă pe $D$ și are o serie Taylor în funcție de $a$:

$h(z)=c_0+c_1(z-a)+c_2(z-a{)}^2+c_3(z-a{)}^3+\cdots .$

Există Format:Mvar₀ = Format:Mvar(Format:Mvar) = 0 și Format:Mvar₁ = Format:Mvar(Format:Mvar) = 0; prin urmare

$h(z)=c_2(z-a{)}^2+c_3(z-a{)}^3+\cdots .$

Deoarece Format:Mvar, există

$f(z)=\frac{h(z)}{(z-a{)}^2}=c_2+c_3(z-a)+\cdots .$

Prin urmare,

$g(z)=c_2+c_3(z-a)+\cdots$

este olomorfă pe $D$, deci o prelungire a lui $f$.

Alte spețe de singularități

Spre deosebire de funcțiile de variabilă reală, funcțiile olomorfe sunt suficient de rigide încât singularitățile lor izolate pot fi complet clasificate. Singularitatea unei funcții olomorfe fie nu este deloc o singularitate, adică este o singularitate eliminabilă, fie una dintre următoarele două spețe:

1. În lumina teoremei lui Riemann, având în vedere o singularitate neeliminabilă, s-ar putea pune întrebarea dacă există un număr natural $m$ astfel încât $\underset{z\to a}{\lim }(z-a{)}^{m+1}f(z)=0$. Dacă da, $a$ se numește pol al lui $f$, iar cel mai mic $m$ este ordinul lui $a$. Deci singularitățile eliminabile sunt tocmai polii de ordinul 0. O funcție olomorfă se comportă uniform în apropierea celorlalți poli.
2. Dacă o singularitate izolată $a$ a lui $f$ nu este nici eliminabilă, nici pol, se numește singularitate esențială. Format:Ill-wd arată că o astfel de $f$ aplică fiecare vecinătate deschisă a unui punct $U\setminus \{a\}$ pe întregul plan complex, cu posibila excepție a cel mult a unui punct.

Legături externe

• Format:En icon Removable singular point at Encyclopedia of Mathematics
• Format:En icon Format:MathWorld