Dubbio su sviluppo di laurent

Petruccioli1
Salve a tutti, ho la seguente funzione:

f(z)=1/(z(z-1)^2) E facendo lo sviluppo in serie di laurent per |z|>1 si trova una serie che ha infiniti termini a indice negativo il che vorrebbe dire che essa ha singolarità essenziale.... Ma a me sembra che la funzione abbia solo poli quindi non capisco... Aggiungo inoltre questa domanda: posso dire che questa serie è centrata in zero giusto?

Grazie a chi vorrà rispondere .. Domani esame :roll:

Risposte
Paolo902
"Petruccioli":
Salve a tutti, ho la seguente funzione:

f(z)=1/(z(z-1)^2) E facendo lo sviluppo in serie di laurent per |z|>1 si trova una serie che ha infiniti termini a indice negativo il che vorrebbe dire che essa ha singolarità essenziale....


Ma dove è centrato lo sviluppo?

Petruccioli1
Praticamente il testo dice di sviluppare in serie per |z| > 1 , poi vedo che nella serie non ho z-z0 Ma ho solo z quindi deduco che sia centrato in zero... Quindi in pratica se ho capito stiamo sviluppando la funzione all'esterno del disco di raggio 1 centrato in zero... Abbiamo dentro il disco 2 poli cui uno nell'origine e l'altro sul bordo del disco .. Perche la serie si estende a meno infinito se non ci sono singol. Essenziali ?

Petruccioli1
Non è specificato dove sia centrata perche è una esercitazione presa all'uni ... Comunque direi in zero

Paolo902
Calma.

Quella funzione ammette singolarità isolate in $z=0$ e in $z=1$. Ok fin qui?

Poichè le singolarità sono isolate, un noto teorema garantisce l'esistenza di uno (anzi, dello) sviluppo in serie di Laurent.
Mettiamoci in $z=0$.

Troveremo "due" sviluppi di Laurent centrati in z=0: uno valido per gli $|z|<1$ e uno per gli $|z|>1$. E' del tutto ovvio che il tipo di singolarità (ed eventualmente il residuo) della funzione in 0 sarà dato guardando lo sviluppo vicino a 1 (sono concetti locali!).

Quindi, lo sviluppo valido fuori dal cerchio bucato, cioè quello valido per gli $|z|>1$, non fornisce alcuna informazione circa il comportamento della funzione in 0.

Più chiaro ora?

Petruccioli1
Direi di si... Ok quindi in generale riterrò valido " il contenuto informativo della serie " riguardo alle singolarità fin tanto che essa è sviluppata in un intorno di queste ... Piu precisamente posso estendere l'intorno fino al "primo polo che incontro estendendo il disco" .. Grazie molte

Paolo902
Facciamo tutto l'esercizio per bene, che male non mi fa.

Prendiamo la funzione $f: \Omega \subset \CC \to \CC$ definita da $z \mapsto 1/(z(1-z)^2)$, dove $Omega = CC setminus {0,1}$. Vogliamo scrivere tutti gli sviluppi di Laurent centrati in $z_0=0$.

E' un semplice conto (Analisi I) osservare che $1/(z(1-z)^2) = 1/z + 1/(1-z)+1/(1-z)^2$.

Cominciamo a supporre $|z|<1$. Dalla riduzione in fratti semplici appena fatta, ci teniamo il primo pezzo così com'è (è ia una potenza di $(z-0)=z$!). Il secondo si sviluppa banalmente, ricordando la serie geometrica. Per il terzo serve una finezza (minima) in più e precisamente occorre notare che l'addendo che abbiamo di fronte è esattamente la derivata di $1/(1-z)$ che è di nuovo la somma della geometrica. Grazie al teorema di derivazione termine a termine sappiamo ricavarci uno sviluppo anche per l'ultimo termine.
To sum up, if $|z|<1$ we have

\[
\frac{1}{z} + \frac{1}{1-z}+\frac{1}{(1-z)^2} = \frac{1}{z} + \sum_{n=0}^{\infty} z^n + \sum_{n=1}^{\infty} nz^{n-1}
\]

che con un minimo di rimaneggiamenti diventa
\[
\frac{1}{z} + \frac{1}{1-z}+\frac{1}{(1-z)^2} = \frac{1}{z} + \sum_{n=0}^{\infty} z^n + \sum_{n=0}^{\infty} (n+1)z^{n}
\]

Aguzziamo la vista e l'ingegno e tiriamo dentro la somma anche il termine $1/z$. In definitiva, se $|z|<1$ abbiamo che

\[
f(z) = \sum_{n=-1}^{\infty} a_n z^n
\]

dove si è posto $a_n : = n+2$.

Oss. La serie comincia con il termine di esponente $-1$: come congetturato, $z=0$ è dunque una singolarità polare del primo ordine e il residuo vale $a_{-1} = -1+2 = 1$.

Supponiamo ora $|z|>1$. L'idea chiave è notare che in questo caso sarà $|1/z|<1$. Allora,
\[
\frac{1}{z} + \frac{1}{1-z}+\frac{1}{(1-z)^2} = \frac{1}{z} + \frac{1}{-z(1-1/z)}+\frac{1}{z^2(1-1/z)^2}
\]

Il secondo addendo è una semplice geometrica in $1/z$ (moltiplicata per $-1/z$); per l'ultimo serve di nuovo l'idea della derivazione. Notiamo che la derivata di $1/(1-1/z)$ è proprio $1/(z^2(1-1/z)^2)$. Ma allora siamo a posto: se $|z|>1$

\[
\frac{1}{z} + \frac{1}{1-z}+\frac{1}{(1-z)^2} = \frac{1}{z} + \sum_{n=0}^{\infty} z^{-n} + \sum_{n=1}^{\infty} -nz^{-n-1}
\]

da cui, con ovvi trucchi, si ricava lo sviluppo $sum_{m=2}^{\infty}mz^{-m}$, valido all'esterno di $z=1$.

Oss e domanda conclusiva. L'ultimo sviluppo ricavato "serve" a qualcosa? Capisco che la domanda è mal posta ma mi chiedo: che informazioni ci dà (ammesso che ce ne dia) tale sviluppo?

P.S. Sono abbastanza stanco, dunque potrei aver sbagliato un po' di conti. Se qualcuno per caso avesse voglia di controllare, la cosa risulterebbe ovviamente molto gradita. Grazie! :wink:

Petruccioli1
Grazie per la spiegazione puntigliosa e completa

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.