Serie di Laurent
per il calcolo di residui di una sing. essenziale
Richiami serie di potenze
∑m=0+∞ am (z - z₀)m ∈ ℂ , |z - z₀| < p raggio di convergenza
Serie di Taylor
è inclusa in Laurent
f(z) = ∑m=0+∞ am (z - z₀)m , am = f(m)(z₀) / m!
Serie bilatera
includono le potenze
∑m=-∞+∞ am (z - z₀)m ... + a-1 / (z-z₀)1 + a0 + a1(z - z₀) + 1/2 a2(z - z₀)2 + ...
Parte singolare Parte regolare |z - z₀| < R2
La serie bilatera converge su una corona circolare perché ha problemi in z₀
f(z) = ∑m=-∞-1 am (z - z₀)m + ∑k=1+∞ a-k / (z - z₀)k =
∑k=1+∞ a-k wk
|w| < R1*; |1 / (z - z₀)| < R1* => |z - z₀| > 1 / R1* = R1
M = -K, K ≥ 1
w = 1 / (z - z₀)
La corona circolare :
R1 ≤ |z - z₀| < R2
la somma delle serie bilatera è olomorfa nella corona
CR1R2 = {/ z : 0 ≤ R1 ≤ |z - z₀| < R2 ≤ +∞ /}
Serie di Laurent
per il calcolo di residui di una sing. essenziale
Richiami serie di potenze
∑m=0+∞ am(z-z0)m am ∈ ℂ , |z-z0| < p raggio di convergenza
Serie di Taylor
è inclusa in Laurent
f(z) = ∑m=0+∞ am(z-z0)m am = f(m)(z0)/m!
Serie bilatera
includono le potenze
∑m=-∞+∞ am(z-z0)m ... + a-1/(z-z0)1 + a1/z-z0 + a0 + a1(z-z0) + 2![z-z0]2 + ...
Parte Singolare Z(1)
Parte Regolare (2) |z-z0| < R2
La serie bilatera converge su una corona circolare poiché ha problemi in z0
(2) ∑m=-∞-1 am(z-z0)m = ∑k=1+∞ a-k/(z-z0)k =
= ∑k=1∞ a-kwk
|w| < R1*;
1/|z-z0| < R2* ⇒ |z-z0| > 1/R1* = R1
M = -K , K > 1
w = 1/z-z0
La corona circolare: R1 < |z-z0| < R2
la somma delle serie bilatera è olomorfa nella corona
CR1, R2 = { z : 0 ≤ R1 < |z-z0| < R2 ≤ +∞ }
Teorema di Laurent
Se f è analitica su una corona ⇒ f: sviluppo in serie bilatera è
an = 1/2πi ∮γ f(z)/(z-z0)n+1 dz
Ricorda:
Olotrofa su palla ⇔ analitica (serie di potenze)
Olotrofa su corona ⇔ serie bilatera
m = -1
a-1 = -1/2πi ∮γ f(z)/(z-z0) dz = 1/2πi ∮γ f(z) dz = res(f, z0)
Esempi
f(z) = e1/z, z0 = 0 → Singolarità essenziale
res(e1/z, 0) = 1
Mi ricordo che
ew = Σm=0 1/m! wm ⇒ w = 1/z
g(t) = e1/z = Σm=0 1/m! 1/zm = + 1/z + ... + 1/z3 + 1/2 + 1/2! + 1
Parte Singolare
Parte Regolare
=> res(e1/z, 0) = 1
f(z) = e1/z2 = Σm=0 1/m! 1/z2m - ... - 1/24 + 1/22 + 1
res(e1/z2, 0) = 0
3/2z
c = 2/3
res(3/2z, ∞) = 0 = res(3/2z, 0) = 3 res(1/2 1/z, 0) = 1
f(z) = 1/1-z = Σn=0 (1/z)(z2m+1)∞/0 1/2n+1
= 1/2[ - w/3 + 2/3 z2/5]
= 1/2[ - z2 / 3 + z4 / 5! ]
1/2πi ∮γ ... ∂/∂(x) ∂/∂(z)
1/2πi ...... res(c3nf(...)/5!) ∈ 0