Serie di Laurent

[criptocode]

Ciao qualcuno può aiutarmi a risolvere questo problema sulle serie di Laurent?

Si scriva lo sviluppo di Laurent intorno al punto z0=3i della funzione

$ f(z) = 1 / (z^2 + 9) $

nella regione 0 < |z - 3i| < 6

-

Sarà facile ma non lo riesco proprio a fare...

[gugo82]

Innanzitutto cerca di capire quali punti singolari ha la tua funzione (se ne ha) e di che tipo sono.
Poi cerca di capire se la tua regione è un intorno forato di qualche singolarità.
Poi cerca di provare che in tale intorno non cade nessun altro punto singolare della tua funzione.
Infine cerca di scomporre la tua funzione in modo da ottenere qualcosa che sai sviluppare in serie di Taylor.

Prova a vedere cosa riesci a fare; posta i passaggi e poi vediamo di risolvere l'esercizio insieme.

[criptocode]

I punti singolari dovrebbero essere in z=-3i e z=3i e sono poli semplici. $ f(z) = 1 / ((z-3i)(z+3i)) $

Come dice il testo bisogna sviluppare in Laurent attorno a 3i che è punto singolare.

Circa il "Poi cerca di provare che in tale intorno non cade nessun altro punto singolare della tua funzione. " Non saprei che rispondere...

Il problema sta proprio nella scomposizione, non so come farla. Senza dubbio dovrò riportarmi ad una serie geometrica visto il tipo di funzione f(z) ma non riesco a trovare il modo.

[criptocode]

E poi soprattutto non ho capito come trattare il < 6 della regione in cui scrivere lo sviluppo.

[gugo82]

Allora, piano piano...

Hai giustamente stabilito che la tua funzione ha poli del primo ordine in [tex]\pm 3\imath[/tex]; i poli sono immaginari puri e l'esercizio ti chiede di scrivere lo sviluppo di Laurent intorno a [tex]3\imath[/tex], precisamente nell'intorno forato di raggio [tex]6[/tex].
Visto che [tex]|-3\imath -3\imath|=6[/tex] il secondo polo sta sulla frontiera esterna del suddetto intorno forato, quindi all'interno non ci sono altre singolarità al di fuori di [tex]3\imath[/tex] (ciò, per essere più chiari, significa che l'intorno forato [tex]0<|z-3\imath|<6[/tex] è il più grande intorno forato di [tex]3\imath[/tex] in cui lo sviluppo di Laurent di [tex]f[/tex] converge).

Fatte queste considerazioni preliminari, rimane da calcolare lo sviluppo.
Innanzitutto è bene dividere la "parte" di [tex]f[/tex] che contiene la potenza [tex]\frac{1}{z-3\imath}[/tex] dal resto: questo si può fare, ad esempio, scomponendo in fratti semplici nel modo che segue:

[tex]f(z)=\frac{1}{6\imath} \frac{1}{z-3\imath} - \frac{1}{6\imath} \frac{1}{z+3\imath}[/tex]

Fatto ciò, osserviamo che il primo addendo ha una singolarità polare in [tex]3\imath[/tex] mentre il secondo addendo è regolare in [tex]3\imath[/tex]: ciò vuol dire che[tex]\frac{1}{6\imath} \frac{1}{z-3\imath}[/tex] è la parte singolare dello sviluppo di Laurent mentre [tex]-\frac{1}{6\imath} \frac{1}{z+3\imath}[/tex] è la parte regolare.
Ora, la parte singolare è già sviluppata come somma di potenze negative di [tex]\frac{1}{z-3\imath}[/tex], quindi non dobbiamo fare nulla.

Invece la parte regolare [tex]-\frac{1}{6\imath} \frac{1}{z+3\imath}[/tex] dobbiamo espanderla in serie di Taylor di centro [tex]3\imath[/tex].
Visto che [tex]\frac{1}{z+3\imath}[/tex] assomiglia molto alla somma di una serie geometrica*, proviamo a ricondurci a tale serie, facendo però attenzione a far apparire le potenze di [tex]z-3\imath[/tex].
Abbiamo:

[tex]\frac{1}{z+3\imath} = \frac{1}{6\imath +(z-3\imath)} =\frac{1}{6\imath} \cdot \frac{1}{1+\frac{1}{6\imath} (z-3\imath)} =\frac{1}{6\imath} \sum_{n=0}^{+\infty} [\frac{1}{6\imath} (z-3\imath)]^n=\sum_{n=0}^{+\infty} \frac{1}{(6\imath)^{n+1}} (z-3\imath)^n[/tex]

e ricordando l'ulteriore fattore moltiplicativo [tex]-\frac{1}{6\imath}[/tex], per la parte regolare abbiamo ottenuto lo sviluppo:

[tex]-\frac{1}{6\imath} \frac{1}{z-3\imath} =\sum_{n=0}^{+\infty} \frac{-1}{(6\imath)^{n+2}} (z-3\imath)^n[/tex].

Infine:

[tex]f(z)=\frac{1}{6\imath} \frac{1}{z-3\imath}+\sum_{n=0}^{+\infty} \frac{-1}{(6\imath)^{n+2}} (z-3\imath)^n[/tex]

è lo sviluppo cercato.

Ovviamente, data la mia avversione per i conti, potrei aver commesso qualche erroraccio; perciò sei pregato di controllare un po' i passaggi.
Se non comprendi qualche passaggio, prova a postare di nuovo.
__________
* Ricordo che[tex]\sum_{n=0}^{+\infty} \zeta^n =\frac{1}{1-\zeta}[/tex].

[criptocode]

Non mi sembra vero erano due giorni che lo provavo a fare... certo spiegato in questo modo si è dimostrato quello che era: non difficile o particolare.

Grazie mille!!! Molte cose mi sono chiare ora... forse quello che mi mancava/mi manca è la metodologia per svolgere questi esercizi, faccio molta confusione.

-

Una cosa però non mi è ancora ben chiara:

"osserviamo che il primo addendo ha una singolarità polare ... mentre il secondo addendo è regolare ... : ciò vuol dire che ... è la parte singolare dello sviluppo di Laurent mentre ... è la parte regolare."

Cioè posso dire che il primo addendo è la parte singolare poiché posso notare che $ (z - 3i) $ a denominatore equivale a $ (z - 3i)^(-1) $ e quindi cado nella parte negativa degli n della serie, ma come faccio a dire da subito che il resto è parte regolare? Può essere che sto dicendo una grande castroneria ma non potrebbe capitare (non in questo caso) che aggiustando il secondo addendo si trovi uno sviluppo in cui tutte le mie z stanno a denominatore?

[gugo82]

No, non capita perchè lo sviluppo in serie di Laurent è unico.

Cioè, se puoi scrivere:

(*) [tex]f(z)=\phi(z) + \psi(z)[/tex] con [tex]\phi(z)[/tex] singolare in [tex]z_0[/tex] e [tex]\psi(z)[/tex] regolare in [tex]z_0[/tex],

allora [tex]\phi(z)=\sum_{n=1}^{+\infty} c_{-n} \frac{1}{(z-z_0)^n}[/tex] e [tex]\psi(z)=\sum_{n=0}^{+\infty} c_n (z-z_0)^n[/tex], ove [tex]c_{-n},c_n[/tex] sono i coefficienti di Laurent di [tex]f[/tex] in [tex]z_0[/tex].

Insomma, se vale (*) allora [tex]\phi(z)[/tex] e [tex]\psi(z)[/tex] sono necessariamente la parte singolare e la parte regolare dello sviluppo in serie di Laurent di [tex]f[/tex] intorno a [tex]z_0[/tex].

[criptocode]

Ottimo cercherò di tenere a mente!!! Grazias ancora...

[gokusajan1]

Domanda: se la corona fosse stata di centro $z_0=0$ e se il punto singolare di $f(z)$ fosse stato esterno ad essa allora lo sviluppo di Laurent si sarebbe ridotto ad uno sviluppo di Taylor? Questo dipende dal fatto che il raggio di convergenza della serie di Taylor e' ben definito nella corona?

[Oiram92]

"Boomerang":Domanda: se la corona fosse stata di centro $z_0=0$ e se il punto singolare di $f(z)$ fosse stato esterno ad essa allora lo sviluppo di Laurent si sarebbe ridotto ad uno sviluppo di Taylor? Questo dipende dal fatto che il raggio di convergenza della serie di Taylor e' ben definito nella corona?

Dato che \(\displaystyle z_0=0 \) è un punto regolare per \(\displaystyle f(z) \) allora lo sviluppo in serie di Laurent in \(\displaystyle B_r(z_0) \) si riduce al suo sviluppo in serie di Taylor.

@gugo82 potresti approfondire un pò questo ?

"gugo82":Visto che \( |-3\imath -3\imath|=6 \) il secondo polo sta sulla frontiera esterna del suddetto intorno forato, quindi all'interno non ci sono altre singolarità al di fuori di \( 3\imath \) (ciò, per essere più chiari, significa che l'intorno forato \( 0<|z-3\imath|<6 \) è il più grande intorno forato di \( 3\imath \) in cui lo sviluppo di Laurent di \( f \) converge).

se invece la corona circolare avesse "inglobato" al suo interno uno o più punti di singolarità cosa sarebbe accaduto? Pensando ad alta voce, credo che in tal caso si sarebbe persa la condizione di olomorfia nella corona e quindi non sarebbe stato possibile sviluppare la funzione come serie di potenze (serie di Laurent), è possibile?

[gokusajan1]

non credo che basti dire che $z_0$ è un punto di olomorfismo per poter sviluppare in serie di Taylor nella corona circolare (qualora sia definita una corona circolare) ; credo che però sia sufficiente constatare che $f(z)$ non ha alcun punto singolare all'interno di tutta la regione circolare compresa fra $0<|z-z_0|

Cita

Segnala

[Oiram92]

"Boomerang":non credo che basti dire che $z_0$ è un punto di olomorfismo per poter sviluppare in serie di Taylor nella corona circolare (qualora sia definita una corona circolare) ; credo che però sia sufficiente constatare che $f(z)$ non ha alcun punto singolare all'interno di tutta la regione circolare compresa fra $0<|z-z_0|

Se ci fai caso stiamo dicendo la stessa cosa con parole diverse, se \(\displaystyle z_0=0 \) è un punto regolare per \(\displaystyle f(z) \) significa (implicitamente) che esso non è un punto di singolarità, di conseguenza possiamo dire:

Consideriamo (ad esempio) il disco bucato \(\displaystyle B_r(z_0) \) con \(\displaystyle 0 < |z| < 3 \), siamo sicuri che in esso non abbiamo nessun punto di singolarità, pertanto \(\displaystyle f(z) \) è olomorfa in tutto \(\displaystyle B_r(z_0) \). Allora possiamo sviluppare la \(\displaystyle f(z) \) in serie di potenze (supponendo di restare nel caso generale diciamo che sviluppiamo in serie di Laurent), ovvero :

\(\displaystyle f(z) = \sum_{n=-\infty}^{\infty} a_n\;z^n \)

a questo punto va osservato che nel disco bucato scelto la \(\displaystyle f(z) \) è limitata, di conseguenza la serie converge totalmente in ogni compatto di \(\displaystyle B_r(z_0) \) quindi :

\(\displaystyle \exists M > 0 : |f(z)|\leq M\;\;\;\;\;\;\; in\;\;B_r(z_0)\)

se adesso andiamo a calcolare i coefficienti \(\displaystyle a_n \) con \(\displaystyle n<0 \) dello sviluppo tramite la prima formula integrale di Cauchy (e usando altre note proprietà) si vede che :

\(\displaystyle |a_n| \leq \frac{1}{2\pi}\; \int_{\Gamma_r} \left|\frac{f(z)}{z-z_0)^{n+1}}\right| dz \leq \frac{1}{2\pi}\;2\pi\;r\; \frac{M}{r^{n+1}} = M\;r^{-n} \)

e per \(\displaystyle r\to 0 \) si ha \(\displaystyle |a_n|\to 0 \) (per \(\displaystyle n<0\)) e questo non è altro che lo sviluppo di Taylor centrato in \(\displaystyle 0 \) (cioè lo sviluppo di MacLaurin di \(\displaystyle f(z) \)).

In sostanza ho seguito la dimostrazione del punto di singolarità eliminabile che si adatta perfettamente al caso proposto da te. Quindi, al limite, potremmo anche dire che un punto regolare può essere considerato come una singolarità fittizia (eliminabile) ma forse quest'ultima frase è un pò troppo "forzata"

[gokusajan1]

Quindi se avessimo un punto singolare (per es. un polo di ordine n) completamente interno alla regione delimitata dalla corona circolare sarebbe stato lecito sviluppare in serie di Laurent dividendo la corona in più sottoregioni circolari in maniera da escludere il suddetto polo e distinguere tra zone in cui vale la serie a termini negativi (in praticolare quando $r=|z'-z_0|<|z-z_0|$) e zone in cui vale lo sviluppo di Taylor ($|z-z_0|<|z'-z_0|=R$), per poi riunificare i risultati?

[Oiram92]

sinceramente non mi sono mai posto la questione di sviluppare in serie una funzione attorno ad un punto regolare proprio per il fatto che essendo regolare non ci da nessun problema nell'analisi. Lo sviluppo in serie di Laurent è un utile strumento per vedere come si comporta la funzione in esame in un intorno di un suo punto di singolarità. Ad esempio, se sviluppiamo intorno ad un punto regolare abbiamo visto che la funzione è regolare/limitata (e questo era prevedibile), in modo analogo se sviluppiamo nell'intorno di un punto di singolarità eliminabile. Quando sviluppiamo nell'intorno di un polo \(\displaystyle z_0 \) di ordine n sappiamo che la funzione diverge per \(\displaystyle z \to z_0 \) mentre la funzione \(\displaystyle g(z) = (z-z_0)^m\;f(z) \) è convergente per \(\displaystyle z\to z_0 \) e quindi anche in tal caso sappiamo che la \(\displaystyle g(z) \) è limitata. Infine se \(\displaystyle z_0 \) è un punto di singolarità essenziale, effettuando lo sviluppo di serie di Laurent otteniamo una serie con infiniti termini ad esponente negativo, e questo ci indica il fatto che nell'intorno di questa singolarità la funzione è estremamente irregolare. A prova di questo c'è il teorema di Picard il quale ci dice che "In ogni intorno di una singolarità essenziale una funzione assume come valori tutti i numeri complessi con al più un'unica eccezione". E questo a sottolineare il fatto che la funzione è irregolare.

[gokusajan1]

io mi riferivo a questa domanda

"Oiram92":
se invece la corona circolare avesse "inglobato" al suo interno uno o più punti di singolarità cosa sarebbe accaduto? Pensando ad alta voce, credo che in tal caso si sarebbe persa la condizione di olomorfia nella corona e quindi non sarebbe stato possibile sviluppare la funzione come serie di potenze (serie di Laurent), è possibile?

[Oiram92]

Ah, non avevo capito..comunque avendo posto io la domanda non saprei rispondere perchè il mio dubbio è proprio quello. A prima vista quello che hai detto non mi sembra possibile però non escludo niente a priori solo perchè intuitivamente mi sembra così..dovremmo aspettare gugo (o qualcun altro) e vedere se riesce a chiarire il dubbio

[gokusajan1]

Non ti chiedo di spiegarmi il motivo per cui pensi che il mio ragionamento non sia applicabile perchè non voglio importunarti . Speriamo in una risposta! In ogni caso grazie per il tuo contributo

[Oiram92]

Macchè non mi importuni affatto, più che altro è che essendo anche io uno studente che sta preparando l'esame di metodi matematici ancora non mi sento una "cima" a riguardo quindi potrei anche sbagliare..

Per quanto riguarda la tua domanda, mi sembra che non sia possibile perchè se prendiamo ad esempio :

\(\displaystyle f(z) = \frac{1}{z(z-1)} \)

che ha due poli semplici in \(\displaystyle 0,1 \) e supponiamo di voler sviluppare nell'intorno di \(\displaystyle z_0=0 \) nel disco bucato \(\displaystyle 0<|z|<2 \), che include al suo interno il polo semplice in \(\displaystyle 1 \). Il teorema di Laurent ci dice che è possibile rappresentare la funzione \(\displaystyle f(z) \) in serie di Laurent in un intorno bucato di \(\displaystyle z_0 \) in cui \(\displaystyle f(z) \) è olomorfa. Ma nell'intorno bucato scelto la \(\displaystyle f(z) \) non è olomorfa ovunque perchè \(\displaystyle z=1 \) (incluso nella corona) è un punto di singolarità di tipo polo. Ipotizziamo per assurdo che lo sviluppo sia possibile, allora (siccome stiamo sviluppando nell'intorno di un polo di ordine \(\displaystyle 1 \) ci aspettiamo che :

\(\displaystyle f(z) = a_{-1} z^{-1} + \sum_{n=0}^{\infty} a_n\;z^n \)

dove la prima parte è l'unico termine con esponente negativo e la seconda parte è lo sviluppo in serie di Taylor di \(\displaystyle f(z) \).

Se adesso consideriamo la corona iniziale come somma delle due corone circolari :

[fcd="Corone Circolari"][FIDOCAD]
LI 85 30 85 155 0
FCJ 1 0 3 2 0 0
LI 5 90 170 90 0
FCJ 2 0 3 2 0 0
TY 85 25 4 3 0 0 0 * Im
TY 170 90 4 3 0 0 0 * Re
SA 85 90 0
SA 310 90 0
LI 310 30 310 155 0
FCJ 1 0 3 2 0 0
LI 230 90 395 90 0
FCJ 2 0 3 2 0 0
TY 310 25 4 3 0 0 0 * Im
TY 395 90 4 3 0 0 0 * Re
SA 495 90 0
LI 415 90 580 90 0
FCJ 2 0 3 2 0 0
TY 495 25 4 3 0 0 0 * Im
TY 580 90 4 3 0 0 0 * Re
LI 495 30 495 155 0
FCJ 1 0 3 2 0 0
LI 210 85 195 85 0
LI 195 95 210 95 0
EV 35 40 135 140 1
EV 445 40 545 140 1
EV 470 65 520 115 1
EV 305 85 315 95 1
EV 285 65 335 115 1
EV 80 85 90 95 1
SA 110 90 2
SA 335 90 2
TY 110 90 4 3 0 0 2 * 1
SA 360 90 2
TY 335 90 4 3 0 0 2 * 1
TY 545 90 4 3 0 0 2 * 2
SA 545 90 2
TY 520 90 4 3 0 0 2 * 1
SA 520 90 2
TY 135 90 4 3 0 0 2 * 2
TY 360 90 4 3 0 0 2 * 2
SA 135 90 2[/fcd]

In entrambe le corone il punto \(\displaystyle z=1 \) sta sulla frontiera quindi \(\displaystyle f(z) \) è olomorfa in tutto l'intorno bucato. Di conseguenza, in tal caso è realmente possibile effettuare lo sviluppo in serie di Laurent intorno al polo in \(\displaystyle z=0 \) . Consideriamo quindi :

\(\displaystyle f(z) = h(z) + g(z) \)

dove \(\displaystyle h(z) \) è lo sviluppo in serie di Laurent sulla prima corona circolare e \(\displaystyle g(z) \) sulla seconda, ovvero :

\(\displaystyle h(z) = - \frac{1}{z} \sum_{n=0}^{\infty} z^n = - \sum_{n=0}^{\infty} z^{n-1} = g(z)\)

quindi dovrebbe essere :

\(\displaystyle f(z) = -2\;z^{-1} + \sum_{n=0}^{\infty} (-2)\;z^n \)

A questo punto si nota che affinchè le due espressioni sia uguali è necessario che la successione \(\displaystyle a_n \) sia la successione costante \(\displaystyle -2 \). Quindi, per il teorema di Laurent :

\(\displaystyle a_n = \frac{1}{2\pi\;i}\;\int_{\gamma_r} \frac{1}{z^{n+2}(z-1)} dz = -2 \)

dove \(\displaystyle \gamma_r \) è una generica curva interna al disco \(\displaystyle 0<|z|<2 \). Se supponiamo che la generica curva \(\displaystyle \gamma_r \) abbia raggio \(\displaystyle r \leq 1 \) stiamo di fatto calcolando i termini dello sviluppo in serie di Laurent in \(\displaystyle 0<|z|<1 \) che come abbiamo appena visto sono i termini costanti \(\displaystyle -1 \neq -2\) quindi questo è un assurdo.

Se invece supponiamo \(\displaystyle 1 < r < 2 \), risolvendo l'integrale con il teorema dei residui, usando come dominio di integrazione il disco bucato di centro \(\displaystyle z_0=0 \) e raggio \(\displaystyle r \) allora l'unico punto di singolarità interno al dominio di integrazione è il punto \(\displaystyle z=1 \) che è un polo semplice quindi :

\(\displaystyle Res(f(z),1) = \lim_{z\to 1} (z-1) \frac{1}{z^{n+2}(z-1)} = 1 \)

e di conseguenza avremmo :

\(\displaystyle a_n = \frac{1}{2\pi\;i} \; 2 \pi\;i = 1 \neq -2 \)

e anche qui siamo giunti ad un assurdo. Allora, se non ho scritto un mucchio di cavolate, non è possibile spezzettare la corona come dicevi inizialmente. Se questo è corretto allora forse mi sono anche risposto da solo alla domanda riguardo a cosa succede se volessimo sviluppare una funzione in serie di Laurent in un intorno bucato in cui sono presenti uno o più punti di singolarità..semplicemente non è possibile sviluppare perchè si perde la condizione di olomorfia.

Spero che gugo passi di qua a controllare e magari mi bacchetta un pò per le porcherie che ho scritto

[gokusajan1]

"Oiram92":
A questo punto si nota che affinchè le due espressioni sia uguali è necessario che la successione \(\displaystyle a_n \) sia la successione costante \(\displaystyle -2 \).

Questo passaggio non l'ho capito molto bene. Perchè le due espressioni dovrebbero essere uguali? Il -2 sarebbe dovuto quindi alla loro somma?
Sicuramente io devo acquisire più esperienza con la materia e quindi apprezzo il tuo sforzo e ti ringrazio, sebbene, per adesso, non riesco ad afferrarne a pieno la consequenzialità logica, in particolare per il passaggio sopra riportato;
quindi sbagliato o giusto che sia il tuo procedimento mi aiuta a vedere le cose anche da un altro punto di vista.


Ad ogni modo credo che la tua serie non sia molto corretta.
A me risulta che $f(z)=1/z-sum_(n=0)^(oo) (-1)^(n)z^n, |z|<1$ mentre $f(z)=1/z-sum_(n=0)^(oo)(-1)^(n+1)z^-n, 1<|z|<2$ ma forse anche qui mi sto sbagliando . Aspettiamo con ansia la risposta di qualcuno più ferrato in materia.
P.S. se non ho interpretato male, quello che hai cercato di dirmi è che non possiamo avere una serie convergente di Laurent: il punto $z_0$ dello sviluppo è un punto di non olomorfismo per f, quindi scelta una qualunque corona circolare è impossibile ottenere $sum_(n=-oo)^(oo)a_nz^n=f(z)$ in quanto decade una condizione necessaria del teorema di Laurent: che la funzione sia analitica nel punto in cui si sviluppa (nonostante $f(z)$ è analitica in una corona $1<|z|<2$)?

[Oiram92]

Dunque, andiamo con ordine. Quello che ho tentato di dimostrare prima è riferito a questo :

"Boomerang":Quindi se avessimo un punto singolare (per es. un polo di ordine n) completamente interno alla regione delimitata dalla corona circolare sarebbe stato lecito sviluppare in serie di Laurent dividendo la corona in più sottoregioni [...] per poi riunificare i risultati?

Quindi, considerando sempre una funzione :

\(\displaystyle f(z) = \frac{1}{z(z-1)} \)

quello che chiedi è se è possibile \(\displaystyle f(z) \) sviluppare in serie di Laurent in (per questo esempio) \(\displaystyle 0<|z|<2 \) suddividendo la corona circolare in due sottoregioni in modo da escludere il polo interno. In questo caso suddividiamo il disco bucato di centro \(\displaystyle z_0=0 \) e raggio \(\displaystyle r=2 \) nel disco bucato di centro \(\displaystyle z_0=0 \) e raggio \(\displaystyle r=1 \) (in modo tale che il polo in \(\displaystyle z=1 \) non dia fastidio) e nella corona circolare sempre centrata in \(\displaystyle z_0=0 \) con raggio interno \(\displaystyle r=1 \) e raggio esterno \(\displaystyle R=2 \).

Adesso per dare dei nomi chiamiamo \(\displaystyle h(z) \) lo sviluppo di Laurent in \(\displaystyle 0<|z|<1 \) e \(\displaystyle g(z) \) lo sviluppo di Laurent in \(\displaystyle 1<|z|<2 \). Quello che vogliamo verificare è se :

\(\displaystyle f(z) = h(z)+g(z) \;\;\;\;\;\;\;\;\;\;\;(*)\)

Come detto nel post precedente, \(\displaystyle f(z) \) in teoria non è sviluppabile in \(\displaystyle 0<|z|<2 \) perchè non è verificata la condizione di olomorfia. Ipotizzando per un attimo che tale condizione non sia necessaria potremmo sviluppare e sappiamo che quando sviluppiamo nell'intorno di un polo di ordine \(\displaystyle m=1 \) (infatti \(\displaystyle z_0=0 \) è un polo di ordine 1 per \(\displaystyle f(z) \)) allora lo sviluppo in serie di Laurent avrà \(\displaystyle m=1 \) termini con esponente negativo ed una parte che corrisponde allo sviluppo in serie di Taylor, cioè :

\(\displaystyle f(z) = a_{-1} z^{-1} + \sum_{n=0}^{\infty} a_n \;z^n \)

Adesso determiniamo lo sviluppo di \(\displaystyle h(z),g(z) \). Per quanto riguarda \(\displaystyle h(z) \) (che ricordo essere lo sviluppo di \(\displaystyle f(z) \) in \(\displaystyle 0<|z|<1 \)) equivale a :

\(\displaystyle h(z) = \frac{1}{z(z-1)} = \frac{1}{z} \cdot \left(-\frac{1}{1-z}\right) = -\frac{1}{z} \; \sum_{n=0}^{\infty} z^n = -\sum_{n=0}^{\infty} z^{n-1} \)

lo sviluppo con il termine oscillante \(\displaystyle (-1)^n \) si ha quando al denominatore abbiamo \(\displaystyle (1+z) \), in questo caso lo sviluppo che ho scritto è corretto.

Per quanto riguarda invece \(\displaystyle g(z) \) (che ricordo essere lo sviluppo di \(\displaystyle f(z) \) in \(\displaystyle 1<|z|<2 \)) hai parzialmente ragione perchè (in teoria) dovrebbe essere :

\(\displaystyle g(z) = \frac{1}{z(z-1)} = \frac{1}{z} \left( \frac{1}{z} \cdot \frac{1}{1-\frac{1}{z}}\right) = \frac{1}{z^2} \;\sum_{n=0}^{\infty} z^{-n} = \sum_{n=0}^{\infty} z^{-n-2} \)

tuttavia già da qui si vede una sorta di assurdo perchè la serie ottenuta ha infiniti termini negativi quidi è come se stessimo espandendo in serie attorno ad una singolarità essenziale. In effetti mi chiedo anche quanto sia lecito espandere nell'intorno di un punto quando in realtà questo intorno non è così piccolo..Infatti stiamo espandendo "nell'intorno" di zero ma la distanza tra il centro e la frontiera dell'insieme non è un certo \(\displaystyle \delta \) piccolo a piacere, cioè in altre parole non stiamo espandendo in un intorno di \(\displaystyle z_0 \)..

Tralasciamo anche queste riflessioni e continuiamo..abbiamo trovato \(\displaystyle h(z),g(z) \) quindi ritornando alla \(\displaystyle (*) \) andiamo a sostituire cioè :

\(\displaystyle f(z) = h(z)+g(z) \;\;\;\;\;\;\;\;\;\;\;\;\;\;\rightarrow\;\;\;\;\;\;\;\;\;\;\;\;\; a_{-1} z^{-1} + \sum_{n=0}^{\infty} a_n \;z^n = -\sum_{n=0}^{\infty} z^{n-1} + \sum_{n=0}^{\infty} z^{-n-2} \)

e si vede chiaramente che le due espressioni non sono uguali, infatti la prima ha un solo termine con esponente negativo mentre l'altra ne ha infiniti! Da questo si conclude (a mio parere) che non è possibile decomporre la corona in più sottoregioni. Inoltre, come abbiamo visto varie volte, la condizione di olomorfia nella corona non è trascurabile quindi quest'ultima deve essere scelta necessariamente in modo tale che \(\displaystyle f(z) \) sia olomorfa al suo interno (come nelle ipotesi del teorema) e non deve quindi avere altri punti di singolarità al suo interno. Se questo non viene verificato allora (secondo me) lo sviluppo non è possibile e (per me) questo ha senso altrimenti non ci sarebbe l'ipotesi di olomorfia nella corona nel teorema di Laurent.

[gokusajan1]

Hai ragione su tutto:
1) ho fatto confusione fra$1/(z+1)$ e $1/(z-1)$
2) Lo sviluppo di Laurent non è possibile in questo caso perché le condizioni del teorema non sono rispettate.
In effetti il teorema ci dice che è possibile sviluppare solo nel caso in cui $f(z)$ è olomorfa in una regione a corona circolare compresa fra $r<|z-z_0|

Cita

Segnala