Teorema de Casorati-Weierstrass

En anàlisi complexa, una branca de les matemàtiques, el teorema de Casorati–Weierstrass descriu el comportament de funcions holomorfes prop de les seves singularitats essencials. Pren el nom dels matemàtics Karl Theodor Wilhelm Weierstrass i Felice Casorati. En la literatura russa, es coneix també com el teorema de Sokhotski.

Enunciat formal del teorema

Prenem un subconjunt obert $U$ en el pla complex contenint el punt $z_0$, i una funció $f$ que és holomorfa en $U\setminus \{z_0\}$, però que té una sigularitat essencial en $z_0$. El teorema de Casorati-Weierstrass enuncia que

Això també pot ser enunciat com: Plantilla:Block indent

O encara en termes més descriptius: Plantilla:Block indent

Una versió notablement més forta d'aquest resultat ve donada pel Teorema de Picard, que en la notació anterior garanteix que $f$ assoleix tots els valors complexos, amb una única possible excepció, infinites vegades en $V$.

En aquest cas que $f$ és una funció entera i $a=\mathrm{\infty }$, el teorema diu que els valors de $f(z)$ s'apropen a tot valor complex i $\mathrm{\infty }$, quan $z$ tendeix a infinit. Cal remarcar, però, que això no és cert per a funcions holomorfes en dimensió superior, tal com mostra el famós exemple de Pierre Fatou.

Gràfic de la funció exp(Plantilla:Frac), centrada en la singularitat essencial de z = 0. El color representa l'argument complex, i la intensitat representa el valor absolut. Aquest gràfic mostra que, si hom s'apropa arbitràriament a la singularitat, la funció pren qualsevol valor. Aquest és un comportament oposat al que presentaria un pol, on es veuria uniformement blanc.

Exemples

La funció Plantilla:Math té una singularitat essencial en 0, però la funció Plantilla:Math no (té un pol al 0).

Considerem la funció $$f(z)=e^{1/z}.$$

Aquesta funció té la següent expansió com a sèrie de Laurent al voltant de la singularitat essencial al punt 0: $$f(z)=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{n!}{z}^{-n}.$$

Atès que $f^{\prime }(z)=-\frac{-e^{1/z}}{z^2}$ existeix per a tots els punts Plantilla:Math, sabem que Plantilla:Math és anàlitica en un entorn de Plantilla:Math que no contingui aquest punt i, per tant, és una singularitat aïllada. Encara més, es tracta d'una singularitat essencial, ja que la sèrie de Laurent conté un nombre infinit de termes amb grau negatiu.

Usant un canvi de variables a coordenades polars $z=r{e}^{i\theta }$ la nostra funció, Plantilla:Math esdevé: $$f(z)=e^{\frac{1}{r}{e}^{-i\theta }}=e^{\frac{1}{r}\cos (\theta )}{e}^{-\frac{1}{r}i\sin (\theta )}.$$

Prenent valor absolut en ambdós costats: $$|f(z)|=\left|e^{\frac{1}{r}\cos \theta }\right|\left|e^{-\frac{1}{r}i\sin (\theta )}\right|=e^{\frac{1}{r}\cos \theta }.$$

Aleshores, per valors de $\theta$ tal que $\cos \theta >0$, tenim $f(z)\to \mathrm{\infty }$ quan $r\to 0$, i per $\cos \theta <0$, $f(z)\to 0$ quan $r\to 0$.

Considerem què succeeix, per exemple, quan z pren valors en un cercle de diàmetre Plantilla:Math tangent a l'eix imaginari, descrit per Plantilla:Math. Aleshores, $$f(z)=e^R[\cos (R\tan \theta )-i\sin (R\tan \theta )]$$ i en particular $$|f(z)|=e^R.$$

Llavors, $|f(z)|$ pot prendre qualsevol valor positiu per a una tria adient de R. Com $z\to 0$ en el cercle, $\theta \to \frac{\pi }{2}$ amb R fixat. Així que aquesta part de l'equació $$[\cos (R\tan \theta )-i\sin (R\tan \theta )]$$ pren tots els valors en el cercle unitat infinites vegades. En conseqüència, Plantilla:Math pren el valor de tot nombre del pla complex, excepte el zero, infinites vegades.

Demostració del teorema

Una prova breu del teorema és la següent:

Sigui Plantilla:Math una funció holomorfa en un entorn punxat $V\setminus \{z_0\}$, i tal que $z_0$ n'és singularitat essencial. Suposem a fi d'arribar a contradicció que existeix algun valor Plantilla:Mvar al qual la imatge de la funció no s'hi apropa. És a dir, suposem que existeix un nombre complex Plantilla:Mvar i un $\epsilon >0$ tal que $|f(z)-b|>\epsilon$ per a tot Plantilla:Mvar en Plantilla:Mvar on Plantilla:Mvar està definida.

Aleshores, la nova funció definida per $$g(z)=\frac{z-z_0}{f(z)-b}$$ és holomorfa en $V\setminus \{z_0\}$. Encara més

$$\underset{z\to z_0}{\lim }g(z)=0,$$ de manera que Plantilla:Math té una singularitat evitable en $z=z_0$. Per tant, prenent $g(z_0)=0$, tenim que Plantilla:Math és holomorfa en tot $V$.

Llavors, al voltant d'aquest punt on Plantilla:Math val 0, podem expressar $$g(z)=\frac{z-z_0}{f(z)-b}=(z-z_0{)}^{m}h(z)$$

on Plantilla:Math és una funció holomorfa en $V$ que no s'anul·la en $z_0$, i $m\ge 1$ és l'ordre del zero de Plantilla:Math en $z_0$. En conseqüència, tenim

$$f(z)=b+\frac{(z-z_0{)}^{1-m}}{h(z)}$$

Així, si $m=1$ llavors Plantilla:Math té una singularitat evitable en $z=z_0$ i, si $m>1$, té un pol d'ordre $m-1$ en $z=z_0$. Això contradiu el fet que aquest punt $z_0$ era una singularitat essencial de la funció Plantilla:Math, de manera que queda provat el teorema.

Conseqüències

Un corol·lari immediat (per eliminació) del resultat anterior és el següent:

Sigui f una funció holomorfa que té una singularitat aïllada en $z=z_0$. Si f està acotada en mòdul en un entorn d'aquest punt, és a dir, si existeixen $r,M>0$ tals que $$|f(z)|\le M\mathrm{\forall }z\in D_{z_0}(r)\setminus \{z_0\}$$ Aleshores, f té una singularitat evitable en $z=z_0$.

La demostració és clara, atès que si fos una singularitat essencial la imatge de f no pot estar acotada, ja que no seria densa. A més, tampoc pot tractar-se d'una singularitat del tipus pol, ja que en aquest cas sabem que $\underset{z\to z_0}{\lim }f(z)=\mathrm{\infty }$, contradient de nou la condició d'estar acotada en mòdul en un entorn del punt $z_0$. Per tant, per eliminació es té la conclusió enunciada.

Història

La història d'aquest important teorema està descrita per Collingwood i Lohwater. Va ser publicada per Weierstrass el 1876 (en alemany), i per Sokhotski el 1868 en la seva tesi (en rus). Així doncs, el resultat és conegut com a teorema de Sokhostski en la literatura russa, mentre que s'anomena teorema de Weierstrass en la literarua occidental. El mateix teorema va ser publicat també per Casorati el 1868, i per Briot i Bouquet en la primera edició del seu llibre el 1859. Tanmateix, Briot i Bouquet van excloure aquest teorema en la segona edició (1875).

Referències

• Section 31, Theorem 2 (pp. 124–125) of Plantilla:Citar ref