Professional Documents
Culture Documents
Ernesto Buzano.
Indice
𝑧 = 𝑥 + 𝒊𝑦,
𝒊2 = −1. (1.1)
Re 𝑧 = 𝑥, Im 𝑧 = 𝑦.
𝑑(𝑧1 , 𝑧2 ) = ∣𝑧1 − 𝑧2 ∣,
dove √
∣𝑧∣ = 𝑥2 + 𝑦 2
è il modulo di 𝑧.
Dunque a parte l’operazione di prodotto C ed R2 sono la stessa cosa.
1
2 Definizione e prime proprietà
𝐵(𝑧0 ; 𝑟) = {𝑧 ∈ C : ∣𝑧 − 𝑧0 ∣ < 𝑟}
𝐵(𝑧0 ; ∞) = C.
il disco chiuso.
Considerata una funzione
˙ 0 ; 𝑟) → C,
𝑓 : 𝐵(𝑧
diciamo che
lim 𝑓 (𝑧) = 𝜆 ∈ C
𝑧→𝑧0
se abbiamo che per ogni 𝜖 > 0 esiste 0 < 𝛿 < 1/𝑟 tale che
{
∣𝑓 (𝑧) − 𝜆∣ < 𝜖, ¯ 1/𝛿).
∀𝑧 ∈/ 𝐵(0;
∣𝑓 (𝑧)∣ > 1𝜖 ,
𝑓 (𝑧) − 𝑓 (𝑧0 )
lim esiste ed è finito. (1.2)
𝑧→𝑧0 𝑧 − 𝑧0
Il valore del limite (1.2) è detto derivata di 𝑓 in 𝑧0 ed è indicato con
𝒅𝑓 𝑓 (𝑧) − 𝑓 (𝑧0 )
𝑓 ′ (𝑧0 ) = 𝑫𝑓 (𝑧0 ) = (𝑧0 ) = lim .
𝒅𝑧 𝑧→𝑧0 𝑧 − 𝑧0
In particolare abbiamo che una funzione derivabile è anche continua:
𝑓 (𝑧) − 𝑓 (𝑧0 )
(𝑧 − 𝑧0 ) = 𝑓 ′ (𝑧0 ) ⋅ 0 = 0.
( )
lim 𝑓 (𝑧) − 𝑓 (𝑧0 ) = lim
𝑧→𝑧0 𝑧→𝑧0 𝑧 − 𝑧0
Problema. Data una funzione 𝑓 definita in 𝐵(𝑧0 ; 𝑟) poniamo
{
𝑢(𝑥, 𝑦) = Re 𝑓 (𝑥 + 𝒊𝑦),
𝑣(𝑥, 𝑦) = Im 𝑓 (𝑥 + 𝒊𝑦).
Università di Torino
4 Definizione e prime proprietà
Infatti
sup ∣𝑎𝑛 (𝑧 − 𝑧0 )𝑛 ∣ = ∣𝑎𝑛 ∣ 𝑟𝑛 .
∣𝑧−𝑧0 ∣⩽𝑟
∑∞
Definizione 1.5. Data una serie di potenze 𝑛=0 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 , poniamo
{ ∞
∑ }
𝑅 = sup ∣𝑧 − 𝑧0 ∣ : 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 converge .
𝑛=0
¯ 0 ; 𝑟)
con raggio di convergenza 𝑅, abbiamo che la (1.4) converge totalmente in 𝐵(𝑧
¯ 0 ; 𝑅).
per ogni 0 ⩽ 𝑟 < 𝑅 e non converge in C ∖ 𝐵(𝑧
Dimostrazione. In base alla definizione 1.5, la (1.4) non converge per ∣𝑧 − 𝑧0 ∣ >
𝑅.
Consideriamo 0 ⩽ 𝑟 < 𝑅.∑In base alla definizione 1.5 deve esistere 𝑧 ∈ C
∞
tale che 𝑟 < ∣𝑧 − 𝑧0 ∣ < 𝑅 e 𝑛=0 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 sia convergente. In particolare
dobbiamo avere che lim𝑛→+∞ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 = 0 e quindi deve esistere 𝑛0 tale che
𝑛
∣𝑎𝑛 ∣ ∣𝑧 − 𝑧0 ∣ ⩽ 1 per ogni 𝑛 > 𝑛0 . Ma allora
𝑛 𝑟𝑛 𝑟𝑛
∣𝑎𝑛 ∣ 𝑟𝑛 = ∣𝑎𝑛 ∣ ∣𝑧 − 𝑧0 ∣ 𝑛 ⩽ 𝑛, ∀ 𝑛 > 𝑛0 .
∣𝑧 − 𝑧0 ∣ ∣𝑧 − 𝑧0 ∣
∑∞
E quindi 𝑛=0 ∣𝑎𝑛 ∣ 𝑟𝑛 < +∞ poiché maggiorata per 𝑛 > 𝑛0 dalla serie geome-
∑+∞ ( )𝑛
trica 𝑛=0 𝑟/ ∣𝑧 − 𝑧0 ∣ che converge poiché 𝑟/ ∣𝑧 − 𝑧0 ∣ < 1.
Osservazioni. 1) Se esiste 𝐿 = lim𝑛→∞ 𝑎𝑎𝑛+1 , allora il raggio di convergenza
𝑛
1) la serie
∞
∑
𝑛𝑎𝑛 (𝑧 − 𝑧0 )𝑛−1 (1.6)
𝑛=1
Università di Torino
6 Definizione e prime proprietà
¯ 0 ; 𝑠).
poiché per il teorema 1.6 la (1.5) converge totalmente in 𝐵(𝑧
In particolare, se indichiamo con 𝑅′ il raggio di convergenza della (1.6),
abbiamo che 𝑅′ ⩾ 𝑅. D’altra parte, se ∣𝑧 − 𝑧𝑧 ∣ < 𝑅′ , applicando il teorema 1.6
otteniamo che la (1.6) deve convergere assolutamente. Ma allora avremmo
∞
∑ ∞
∑
𝑛 𝑛−1
∣𝑎𝑛 ∣ ∣𝑧 − 𝑧0 ∣ = ∣𝑎0 ∣ + ∣𝑧 − 𝑧0 ∣ ∣𝑎𝑛 ∣ ∣𝑧 − 𝑧0 ∣ ⩽
𝑛=0 𝑛=1
∞
∑ 𝑛−1
⩽ ∣𝑎0 ∣ + ∣𝑧 − 𝑧0 ∣ 𝑛 ∣𝑎𝑛 ∣ ∣𝑧 − 𝑧𝑧 ∣ < +∞,
𝑛=1
che implica 𝑅 ⩽ 𝑅′ .
Proviamo ora il punto (2). Posto
∞
∑
𝑔(𝑧) = 𝑛𝑎𝑛 (𝑧 − 𝑧0 )𝑛−1 , (1.8)
𝑛=1
La convergenza della serie a secondo membro nella (1.8) è garantita dal pun-
to (1). Fissato 𝑧 ∈ 𝐵(𝑧0 ; 𝑅), poniamo
𝑛
∑
𝑓𝑛 (𝑧) = 𝑎𝑘 (𝑧 − 𝑧0 )𝑘 ,
𝑘=0
∞
∑
ℎ𝑛 (𝑧) = 𝑓 (𝑧) − 𝑓𝑛 (𝑧) = 𝑎𝑘 (𝑧 − 𝑧0 )𝑘 .
𝑘=𝑛+1
Abbiamo
𝑓 (𝑤) − 𝑓 (𝑧)
𝑤−𝑧 − 𝑔(𝑧) ⩽
𝑓𝑛 (𝑤) − 𝑓𝑛 (𝑧) ′
′
ℎ𝑛 (𝑤) − ℎ𝑛 (𝑧)
⩽ − 𝑓𝑛 (𝑧) + ∣𝑓𝑛 (𝑧) − 𝑔(𝑧)∣ +
.
𝑤−𝑧 𝑤−𝑧
Consideriamo 𝑟 tale che ∣𝑧∣ < 𝑟 < 𝑅. Per ogni 𝑤 ∈ 𝐵(𝑧¯ 0 ; 𝑟) ∖ {𝑧} abbiamo
∞
(𝑤 − 𝑧0 )𝑘 − (𝑧 − 𝑧0 )𝑘
ℎ𝑛 (𝑤) − ℎ𝑛 (𝑧) ∑
= 𝑎𝑘
𝑤−𝑧 𝑤−𝑧
𝑘=𝑛+1
∞
∑
∣𝑎𝑘 ∣ ∣𝑤 − 𝑧0 ∣𝑘−1 + ∣𝑤 − 𝑧0 ∣𝑘−2 ∣𝑧 − 𝑧0 ∣ + ⋅ ⋅ ⋅ + ∣𝑧 − 𝑧0 ∣𝑘−1
{ }
⩽
𝑘=𝑛+1
∑∞
⩽ 𝑘∣𝑎𝑘 ∣𝑟𝑘−1 < +∞.
𝑘=𝑛+1
𝑓𝑛 (𝑤) − 𝑓𝑛 (𝑧)
lim = 𝑓𝑛′ (𝑧),
𝑤→𝑧 𝑤−𝑧
quindi esiste 0 < 𝛿 ⩽ 𝑟 − ∣𝑧∣ tale che
𝑓𝑛 (𝑤) − 𝑓𝑛 (𝑧) ′ < 𝜖, ˙ ¯ 𝑟).
− 𝑓𝑛 (𝑧) ∀ 𝑤 ∈ 𝐵(𝑧; 𝛿) ⊂ 𝐵(𝑧;
𝑤−𝑧 3
Università di Torino
8 Definizione e prime proprietà
per ogni 𝑘 ∈ N.
Dimostrazione. Segue per induzione dal teorema 1.7.
Grazie al Teorema 1.7 possiamo estendere la definizione della funzione espo-
nenziale e delle funzioni trigonometriche al campo complesso:
∞
∑ 1 𝑛
exp 𝑧 = 𝒆𝑧 = 𝑧 ,
𝑛=0
𝑛!
∞
∑ (−1)𝑛 2𝑛+1
sin 𝑧 = 𝑧 ,
𝑛=0
(2𝑛 + 1)!
∞
∑ (−1)𝑛 2𝑛
cos 𝑧 = 𝑧 .
𝑛=0
(2𝑛)!
𝒆𝑤 = 𝑧. (1.11)
Due numeri complessi sono eguali quando hanno lo stesso modulo e gli argomenti
differiscono di un multiplo intero di 2𝝅; pertanto dobbiamo avere
{
𝒆Re 𝑤 = ∣𝒆𝑤 ∣ = ∣𝑧∣,
Im 𝑤 − arg 𝑧 ∈ 2𝝅𝒊Z.
Università di Torino
10 Definizione e prime proprietà
Abbiamo che
log : C∗ → C
è continua in C∗ ∖ R− ma non in C∗ .
Proposizione 1.10. Consideriamo due aperti Ω1 , Ω2 di C e due funzioni
𝑓 : Ω1 → Ω2 , 𝑔 : Ω2 → Ω1 ,
tali che ( )
𝑔 𝑓 (𝑧) = 𝑧, ∀ 𝑧 ∈ Ω1 .
Se 𝑓 è( continua e 𝑔 è derivabile, allora anche 𝑓 lo è in tutti i punti 𝑧 ∈ Ω1 tali
che 𝑔 ′ 𝑓 (𝑧) ∕= 0 ed in tal caso abbiamo
)
1
𝑓 ′ (𝑧) = ( ).
𝑔′ 𝑓 (𝑧)
𝑓 (𝑧0 ) ∈ Ω2 . Poiché 𝑔 ′ (𝑤0 ) ∕= 0, abbiamo che esiste 𝑟 > 0 tale che 𝐵(𝑤0 ; 𝑟) ⊂ Ω2
e
𝑔(𝑤) − 𝑔(𝑤0 ) ˙ 0 ; 𝑟)
∕= 0, ∀ 𝑤 ∈ 𝐵(𝑤
𝑤 − 𝑤0
e quindi in particolare possiamo scrivere che
𝑤 − 𝑤0 1
lim = ′ .
𝑤→𝑤0 𝑔(𝑤) − 𝑔(𝑤0 ) 𝑔 (𝑤0 )
Ne segue che
𝑓 (𝑧) − 𝑓 (𝑧0 ) 𝑓 (𝑧) − 𝑓 (𝑧0 )
lim = lim ( ) ( )
𝑧→𝑧0 𝑧 − 𝑧0 𝑧→𝑧0 𝑔 𝑓 (𝑧) − 𝑔 𝑓 (𝑧0 )
𝑤 − 𝑤0 1 1
= lim = ′ = ′( ).
𝑤→𝑤0 𝑔(𝑤) − 𝑔(𝑤0 ) 𝑔 (𝑤0 ) 𝑔 𝑓 (𝑧0 )
𝑧 𝑎 = 𝒆𝑎 log 𝑧 , 𝑧 ∈ C∗ . (1.12)
𝑤𝑛 = 𝑧.
√
8) Trovare il dominio di analiticità di 1 − 𝑧 = (1 − 𝑧)1/2 .
9) Determinare sotto quali ipotesi abbiamo
(2) Z± = Z ∩ R± .
Università di Torino
12 Definizione e prime proprietà
Integrazione in campo
complesso e teorema di
Cauchy
13
14 Teorema di Cauchy
con
𝑓 (𝑥 + 𝑖𝑦) = 𝑢(𝑥, 𝑦) + 𝒊𝑣(𝑥, 𝑦).
Se 𝑓 è definita sul sostegno di un cammino Γ, diciamo che 𝑓 𝒅𝑧 è integrabile
lungo Γ se lo sono 𝑢 𝒅𝑥−𝑣 𝒅𝑦 e 𝑣 𝒅𝑥+𝑢 𝒅𝑦 ed in tal caso poniamo per definizione
∫ ∫ ∫
𝑓 𝒅𝑧 = (𝑢 𝒅𝑥 − 𝑣 𝒅𝑦) + 𝒊 (𝑣 𝒅𝑥 + 𝑢 𝒅𝑦) . (2.1)
Γ Γ Γ
È opportuno ricordare che, come nel caso reale, l’integrale di una forma
differenziale è indipendente dalla parametrizzazione scelta.
Riportiamo senza dimostrazione il seguente teorema.
Università di Torino
16 Teorema di Cauchy
Γ Γ
è continua in Ω.
Se inoltre ∂𝑓 /∂𝑧 esiste ed è continua su {Γ} × Ω, allora 𝑔 è analitica in Ω
ed abbiamo ∫
∂𝑓
𝑔 ′ (𝑧) = (𝑤, 𝑧) 𝒅𝑤.
∂𝑧
Γ
In particolare
𝑑(𝑧0 , Γ) = 0 ⇐⇒ 𝑧0 ∈ {Γ}.
Dimostrazione. La funzione
C ∋ 𝑤 7→ ∣𝑤 − 𝑧0 ∣ ∈ R
è analitica di classe 𝒞 ∞
in C ∖ {Γ} e per ogni 𝑘 ∈ N abbiamo
∫
𝑓 (𝑤)
𝑔 (𝑘) (𝑧) = 𝑘! 𝒅𝑤, ∀𝑧 ∈ C ∖ {Γ}. (2.5)
(𝑤 − 𝑧)𝑘+1
Γ
Poiché
𝑧 − 𝑧0 𝑟 ¯ 0 ; 𝑟), 𝑤 ∈ {Γ},
∀ 𝑧 ∈ 𝐵(𝑧
𝑤 − 𝑧0 ⩽ 𝑅 < 1,
Esercizi. Calcolare:
∫
1) 𝑧 𝑛 𝒅𝑧, 𝑛 ∈ Z,
𝐶(0;1)
∫
𝒅𝑧
2) , 𝑛 ∈ Z∗ .
𝑧
𝑛𝐶(0;1)
Università di Torino
18 Teorema di Cauchy
∫
3) 𝑧 𝑘 𝒅𝑧, 𝑛 ∈ Z∗ , 𝑘 ∈ Z.
𝑛𝐶(0;1)
∫ ∫
𝒅𝑧 𝒅𝑧
4) √ , √ .
𝑧 𝑧
𝐶+ (0;1) 𝐶− (0;1)
∫ ∫
𝒅𝑧 𝒅𝑧
5) 2
, .
𝑧 −1 𝑧2−1
𝐶(1;1) 2𝐶(1;1)
è un numero intero.
Poniamo
𝑡
𝛾 ′ (𝑠) 𝒅𝑠
∫
𝜃(𝑡) = , 𝑎 ⩽ 𝑡 ⩽ 𝑏,
𝑎 𝛾(𝑠) − 𝑧0
e proviamo che 𝜃(𝑏) è un multiplo intero di 2𝝅𝒊. Posto
𝜙(𝑡) = 𝒆𝜃(𝑡) ,
abbiamo
𝛾 ′ (𝑡) (𝛾(𝑡) − 𝑧0 )′
𝜙′ (𝑡) = 𝜙(𝑡)𝜃′ (𝑡) = 𝜙(𝑡) = 𝜙(𝑡)
𝛾(𝑡) − 𝑧0 𝛾(𝑡) − 𝑧0
e dunque ( )′
𝜙(𝑡)
= 0, ∀ 𝑡 ∈ [𝑎, 𝑏].
𝛾(𝑡) − 𝑧0
Questo significa che
𝜙(𝑡)
𝛾(𝑡) − 𝑧0
è costante in [𝑎, 𝑏] e quindi in particolare che
𝜙(𝑏) 𝜙(𝑎)
= , ∀ 𝑡 ∈ [𝑎, 𝑏]..
𝛾(𝑏) − 𝑧0 𝛾(𝑎) − 𝑧0
Ma
𝜙(𝑎) = 𝒆𝜃(𝑎) = 𝒆0 = 1,
e quindi
𝛾(𝑏) − 𝑧0
𝒆𝜃(𝑏) = = 1,
𝛾(𝑎) − 𝑧0
poiché il cammino è chiuso. Quest’ultima uguaglianza implica che 𝜃(𝑏) sia un
multiplo intero di 2𝝅𝒊.
/ C∗ ∖ R− per ogni 𝑡 ∈ [𝑎, 𝑏], grazie al
Osservazione. Nel caso in cui 𝛾(𝑡) − 𝑧0 ∈
corollario 1.11 abbiamo che
𝒅 ( ) 𝛾 ′ (𝑡)
log 𝛾(𝑡) − 𝑧0 = ,
𝒅𝑡 𝛾(𝑡) − 𝑧0
e quindi oteniamo immediatamente che
∫
𝒅𝑤 ( ) ( )
= log 𝛾(𝑏) − 𝑧0 − log 𝛾(𝑎) − 𝑧0 = 0.
𝑤−𝑧
Γ
Università di Torino
20 Teorema di Cauchy
dunque è sufficiente calcolare ℐ𝐶(𝑧0 ;𝑟) (𝑧). Per la proposizione 2.11 sappiamo già
che ℐ𝐶(𝑧0 ;𝑟) (𝑧) = 0 se ∣𝑧 − 𝑧0 ∣ > 𝑟. Se ∣𝑧 − 𝑧0 ∣ < 𝑟, sempre per la proposizione
2.11 abbiamo che
∫ 2𝝅
ℐ𝐶(𝑧0 ;𝑟) (𝑧) = ℐ𝐶(𝑧0 ;𝑟) (𝑧0 ) = 𝒊 𝒅𝑡 = 2𝝅𝒊.
0
Esercizi. 1) Consideriamo
Calcolare ∫
𝒅𝑧
.
𝑧2 + 𝝅2
Γ
Università di Torino
22 Teorema di Cauchy
per ogni 𝑛 ∈ N.
Dimostrazione. Posto
∫
𝑓 (𝑧)
𝑔(𝑤) = 𝒅𝑧, ∀𝑤 ∈
/ {Γ},
𝑧−𝑤
Γ
con Γ cammino di Jordan positivo e tale che 𝑧0 ∈ int Γ ⊂ int Γ ⊂ 𝐵(𝑧0 ; 𝑅).
Dimostrazione. L’analiticità di 𝑓 in 𝐵(𝑧0 ; 𝑅) segue dal teorema 1.7.
Proviamo la (2.10). Dato 𝑘 ∈ N, dividiamo ambo i membri della (2.9) per
(𝑧 − 𝑧0 )𝑘+1 ed integriamo termine a termine, cosa lecita grazie alla convergenza
uniforme del secondo membro in ogni disco 𝐵(𝑧 ¯ 0 ; 𝑟) con 0 < 𝑟 < 𝑅. Grazie al
corollario 2.17 otteniamo allora
∫ ∞ ∫ ∫
𝑓 (𝑧) ∑ 𝒅𝑧 𝒅𝑧
𝑘+1
𝒅𝑧 = 𝑎𝑛 𝑘+1−𝑛
= 𝑎𝑘
(𝑧 − 𝑧0 ) 𝑛=0
(𝑧 − 𝑧0 ) 𝑧 − 𝑧0
Γ Γ Γ
= 2𝝅𝒊 ℐΓ (𝑧0 ) 𝑎𝑘 = 2𝝅𝒊 𝑎𝑘 .
La seconda uguaglianza nella (2.10) segue dal corollario 2.16.
Università di Torino
24 Teorema di Cauchy
per ogni 𝑛 ∈ Z+ .
2) Calcolare
𝒆𝑧 − 𝒆−𝑧
∫
𝒅𝑧,
𝑧2
𝐶(𝑧0 ;𝑟)
Università di Torino
26 Teorema di Cauchy
Si vede immediatamente
∪𝑚 che 𝐻∑è un aperto, perché unione delle componenti
𝑚
connesse di C ∖ 𝑗=1 {Γ𝑗 } su cui 𝑗=1 ℐΓ𝑗 (𝑧) = 0.
Sappiamo che 𝑔 è analitica in Ω, proviamo che lo è pure in C∖Ω. Osserviamo
che in base all’ipotesi abbiamo
C ∖ Ω ⊂ 𝐻,
dunque, poiché 𝐻 è aperto e ℎ è analitica in 𝐻, è sufficiente mostrare che
𝑔(𝑧) = ℎ(𝑧), ∀𝑧 ∈ 𝐻.
Se 𝑧 ∈
/ Ω, abbiamo 𝑔(𝑧) = ℎ(𝑧) per definizione. Se 𝑧 ∈ Ω ∩ 𝐻, abbiamo
𝑚 ∫ 𝑚 ∫ 𝑚
∑ 𝑓 (𝑧) ∑ 𝒅𝑤 ∑
𝒅𝑤 = 𝑓 (𝑧) = (2𝝅𝒊)𝑓 (𝑧) ℐΓ𝑗 (𝑧) = 0
𝑗=1
𝑤−𝑧 𝑗=1
𝑤−𝑧 𝑗=1
Γ𝑗 Γ𝑗
e quindi
𝑚 ∫ 𝑚 ∫
∑ 𝑓 (𝑧) − 𝑓 (𝑤) ∑ −𝑓 (𝑤)
𝑔(𝑧) = 𝒅𝑤 = 𝒅𝑤 = ℎ(𝑧).
𝑗=1
𝑧 − 𝑤 𝑗=1
𝑧−𝑤
Γ𝑗 Γ𝑗
∪𝑚
Dunque 𝑔 è una funzione intera. D’altra parte 𝑗=1 {Γ𝑗 } è compatto e quindi
∪𝑚
limitato. Dunque esiste 𝑅 ∈ R+ tale che 𝑗=1 {Γ𝑗 } ⊂ 𝐵(0; 𝑅). Se ∣𝑧∣ > 𝑅
dobbiamo avere
𝑚 ∫ 𝑚 ∫ 𝑚 ∫
∑ 𝑓 (𝑤) ∑ ∣𝑓 (𝑤)∣ 1 ∑
∣𝑔(𝑧)∣ ⩽ 𝑤 − 𝑧 ∣𝒅𝑧∣ ⩽
∣𝒅𝑧∣ ⩽ ∣𝑓 (𝑤)∣ ∣𝒅𝑧∣ ,
𝑗=1 Γ
∣𝑧∣ − ∣𝑤∣ 𝑗=1 Γ
∣𝑧∣ − 𝑅 𝑗=1 Γ
𝑗 𝑗 𝑗
che implica
lim 𝑔(𝑧) = 0. (2.15)
𝑧→∞
Questo ci dice in particolare che 𝑔 è limitata e quindi costante, per il Teo-
rema di Liouville. Ma allora, usando di nuovo la (2.15), otteniamo che 𝑔 è
identicamente nulla.
Questo implica in particolare che
𝑚 ∫ 𝑚
∑ 𝑓 (𝑧) − 𝑓 (𝑤) ∪
𝒅𝑤 = 0, ∀𝑧 ∈ Ω ∖ {Γ𝑗 },
𝑗=1
𝑧−𝑤 𝑗=1
Γ𝑗
cioè
𝑚 ∫ 𝑚 ∫
1 ∑ 𝑓 (𝑤) 1 ∑ 1
𝒅𝑤 = 𝑓 (𝑧) 𝒅𝑤
2𝝅𝒊 𝑗=1 𝑤−𝑧 2𝝅𝒊 𝑗=1
𝑤 − 𝑧
Γ𝑗 Γ𝑗
𝑚
∑ 𝑚
∪
= ℐΓ𝑗 (𝑧)𝑓 (𝑧), ∀𝑧 ∈ Ω ∖ {Γ𝑗 }.
𝑗=1 𝑗=1
Corollario 2.25. Sotto le medesime ipotesi del teorema precedente, per ogni
𝑘 ∈ N abbiamo che
𝑚 𝑚 ∫ 𝑚
∑ 𝑘! ∑ 𝑓 (𝑤) ∪
ℐΓ𝑗 (𝑧)𝑓 (𝑘) (𝑧) = 𝒅𝑤, ∀𝑧 ∈ Ω ∖ {Γ𝑗 }.
𝑗=1
2𝝅𝒊 𝑗=1 (𝑤 − 𝑧)𝑘+1 𝑗=1
Γ𝑗
Università di Torino
28 Teorema di Cauchy
∑𝑚
Dimostrazione. Poiché 𝑗=1 ℐΓ𝑗 (𝑧) è costante sulle componenti connesse di C ∖
∪𝑚
𝑗=1 {Γ𝑗 }, abbiamo che
𝑚 𝑚
𝒅 ∑ ∪
ℐΓ (𝑧) = 0, ∀𝑧 ∈ C ∖ {Γ𝑗 }. (2.16)
𝒅𝑧 𝑗=1 𝑗 𝑗=1
∪𝑚
Dimostrazione. Infatti, dato 𝑧0 ∈ Ω ∖ 𝑗=1 {Γ𝑗 }, abbiamo che
𝑚 ∫ 𝑚 ∫
∑ ∑ 𝑓 (𝑧)(𝑧 − 𝑧0 )
𝑓 (𝑧) 𝒅𝑧 = 𝒅𝑧
𝑗=1 Γ 𝑗=1
𝑧 − 𝑧0
𝑗 Γ𝑗
𝑚
∑
= 2𝝅𝒊 ℐΓ𝑗 (𝑧0 )𝑓 (𝑧0 )(𝑧0 − 𝑧0 ) = 0.
𝑗=1
Definiamo come raggi di convergenza della serie a primo membro della (3.1) le
−1
due quantità∑𝑅 1 , 𝑅2 ∈ [0, +∞] tali che 𝑅1 è il raggio ci convergenza della serie
∞ 𝑛
di
∑∞ potenze 𝑛=1 𝑎−𝑛 𝑤 e 𝑅2 è il raggio di convergenza della serie di potenze
𝑛
𝑛=0 𝑎𝑛 𝑤 . ( )𝑛
∑∞ 1
Abbiamo che 𝑎
𝑛=1 −𝑛 𝑧−𝑧0 converge per 1/ ∣𝑧 − 𝑧0 ∣ < 1/𝑅1 e non
∑∞
converge per 1/ ∣𝑧 − 𝑧0 ∣ > 1/𝑅1 , mentre 𝑛=0 (𝑧 − 𝑧0 )𝑛 converge per ∣𝑧 − 𝑧0 ∣ <
𝑅
∑2+∞e non converge per ∣𝑧 − 𝑧0 ∣ > 𝑅2 . Dunque la serie doppiamente infinita
𝑛
𝑛=−∞ 𝑎𝑛 (𝑧 − 𝑧0 ) converge nella corona circolare
¯ 0 ; 𝑅1 )
𝐴(𝑧0 ; 𝑅1 , 𝑅2 ) = 𝐵(𝑧0 ; 𝑅2 ) ∖ 𝐵(𝑧
¯ 0 ; 𝑅2 ) . In particolare otteniamo che
( )
e non converge in 𝐵(𝑧0 ; 𝑅1 ) ∪ C ∖ 𝐵(𝑧
l’insieme dei punti di convergenza del primo membro della (3.1) non è vuoto se
𝑅1 < 𝑅2 , mentre è certamente vuoto se 𝑅1 > 𝑅2 . Nel primo caso abbiamo il
seguente corollario del teorema 1.6
∑+∞
Corollario 3.1. Se la serie doppiamente infinita 𝑛=−∞ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛 ha raggi
di convergenza 𝑅1 < 𝑅2 , allora la serie in questione converge totalmente in ogni
corona circolare chiusa
¯ 0 ; 𝑟1 , 𝑟2 ) = 𝐵(𝑧
𝐴(𝑧 ¯ 0 , 𝑟2 ) ∖ 𝐵(𝑧0 ; 𝑟1 ),
29
30 Singolarità isolate e residui
= ℐ−𝐶(𝑧0 ;𝑟1 ) (𝑧) + ℐ𝐶(𝑧0 ;𝑟2 ) (𝑧) 2𝝅𝒊𝑓 (𝑧) = 2𝝅𝒊𝑓 (𝑧),
( )
con ∫
1 𝑓 (𝑤)
𝑎𝑛 = 𝒅𝑤.
2𝝅𝒊 (𝑤 − 𝑧0 )𝑛+1
𝐶(𝑧0 ,𝑟2 )
Università di Torino
32 Singolarità isolate e residui
con ∫
1 𝑓 (𝑤)
𝑎𝑘 = 𝒅𝑤.
2𝝅𝒊 (𝑤 − 𝑧0 )𝑘+1
𝐶(𝑧0 ;𝑟1 )
𝐴(0; 1, ∞). Grazie allo sviluppo in serie geometrica abbiamo per ∣𝑧∣ > 1
∞ ( )𝑛 0
1 1 1 1 ∑ 1 ∑
= 2 = = 𝑧 −2(𝑛+1) .
1+𝑧 2 𝑧 1 𝑧 2 𝑛=0 𝑧 2
1+ 𝑛=−∞
𝑧2
Poiché per il corollario 2.27 il secondo membro della (3.8) non dipende da 𝑟,
possiamo passare al limite per 𝑟 → 0+ ottenendo che
∫
1 𝑓 (𝑧)
𝑎𝑛 = lim 𝒅𝑧.
2𝝅𝒊 𝑟→0+ (𝑧 − 𝑧0 )𝑛+1
𝐶(𝑧0 ;𝑟)
𝑓 (𝑧) 𝑓 (𝑧)
lim 𝑛
= lim (𝑧 − 𝑧0 )𝑘−𝑛 = 0.
𝑧→𝑧0 (𝑧 − 𝑧0 ) 𝑧→𝑧 0 (𝑧 − 𝑧0 )𝑘
cioè ∫
1 𝑓 (𝑧)
𝑎𝑛 = lim 𝒅𝑧.
2𝝅𝒊 𝑟→0+ (𝑧 − 𝑧0 )𝑛+1
𝐶(𝑧0 ;𝑟)
che implica
𝑓 (𝑧)
𝑎𝑘 = lim ∕= 0.
𝑧→𝑧0 (𝑧 − 𝑧0 )𝑘
Università di Torino
34 Singolarità isolate e residui
Corollario 3.7. Gli zeri di una funzione analitica e non identicamente nulla
su un aperto connesso sono tutti isolati e di molteplicità finita.
Naturalmente una funzione analitica può avere infiniti zeri che però si de-
vono accumulare sulla frontiera del suo dominio oppure tendere ad infinito. Ad
1+𝑧
esempio cos 1−𝑧 ha infiniti zeri dati da
(2𝑘 + 1)𝝅 − 2
𝑧= , per 𝑘 ∈ Z,
(2𝑘 + 1)𝝅 + 2
che però sono tutti isolati e tendono al punto 1 dove la funzione non è definita.
Università di Torino
36 Singolarità isolate e residui
e quindi
∞
sin 𝑧 ∑ (−1)𝑛 2𝑛
= 𝑧 , ∀ 𝑧 ∕= 0. (3.10)
𝑧 𝑛=0
(2𝑛 + 1)!
2) 𝑧0 è un polo se e solo se
lim 𝑓 (𝑧) = ∞. (3.12)
𝑧→𝑧0
Dimostrazione. Il punto (3) segue per esclusione dai punti (1) e (2).
Il punto (1) segue dall’equivalenza fra i punti (1) e (2) del teorema 3.3.
Dimostriamo il punto (3). Chiaramente 𝑓 → ∞ per 𝑧 → 𝑧0 se e solo se
1/𝑓 → 0 per 𝑧 → 𝑧0 e questa condizione equivale al fatto che 1/𝑓 abbia una
singolarità eliminabile in 𝑧0 , che eliminata dà luogo ad uno zero. Dunque la
(3.12) è equivalente al fatto che 1/𝑓 abbia uno zero in 𝑧0 . Ma per la proposizione
3.10 questo equivale al fatto che 𝑓 abbia un polo in 𝑧0 .
1
Esempi. 1) sin 𝑧−𝑧 ha un polo di ordine 3 in 𝑧 = 0, grazie alla proposizione 3.9.
Infatti
∞ ∞
∑ (−1)𝑛 2𝑛+1 ∑ (−1)𝑛 2(𝑛−1)
sin 𝑧 − 𝑧 = 𝑧 = 𝑧3 𝑧 , ∀𝑧
𝑛=1
(2𝑛 + 1)! 𝑛=1
(2𝑛 + 1)!
∞ ( )𝑛 0
1 ∑ 1 1 ∑ 1
exp = = 𝑧𝑛, ∀ 𝑧 ∕= 0.
𝑧 𝑛=0 𝑛! 𝑧 𝑛=−∞
(−𝑛)!
Res(𝑓, 𝑧0 ) = 𝑎−1 .
Università di Torino
38 Singolarità isolate e residui
/ Ω′ , abbiamo che
Poiché 𝑧𝑚+1 ∈
𝑚
(∪ )
′′
𝑧𝑚+1 ∈ Ω = Ω ∖ ¯ ′
𝐵(𝑧𝑗 ; 𝑟 ) .
𝑗=1
con
𝑟 = min{𝑟′ , 𝑟′′ }.
Grazie alla (3.14) abbiamo che
𝑛
∑
ℐΓ (𝑧) − ℐ𝐶(𝑧𝑗 ;𝑟) (𝑧) = 0, ∀ 𝑧 ∈ (C ∖ Ω) ∪ {𝑧1 , . . . , 𝑧𝑛 }.
𝑗=1
Infatti, se 𝑧 ∈
/ Ω, tutti gli indici sono nulli in quanto nella componente illimitata
del complementare di ciascun cammino. Se 𝑧 = 𝑧𝑗 , allora
e
ℐ𝐶(𝑧𝑗 ;𝑟) (𝑧𝑘 ) = 0, ∀ 𝑘 ∕= 𝑗.
Possiamo allora applicare il corollario 2.26 ed ottenere che
∫ 𝑛
∑ ∫ 𝑛
∑
𝑓 𝒅𝑧 = 𝑓 𝒅𝑧 = 2𝝅𝒊 Res(𝑓, 𝑧𝑗 ).
Γ 𝑗=1 𝑗=1
𝐶(𝑧𝑗 ;𝑟)
abbiamo che
𝑔 (𝑚−1) (𝑧0 ) 𝑑𝑚−1 (
(𝑧 − 𝑧0 )𝑚 𝑓 (𝑧) .
)
Res(𝑓, 𝑧0 ) = = lim 𝑚−1
(3.16)
(𝑚 − 1)! 𝑧→𝑧0 𝑑𝑧
𝑚−1
In particolare 𝑎−1 è il coefficiente di (𝑧 − 𝑧0 ) e quindi dalla (3.18) si deduce
che
𝑔 (𝑚−1) (𝑧0 )
Res(𝑓, 𝑧0 ) = 𝑎−1 = .
(𝑚 − 1)!
Questo completa la dimostrazione.
abbiamo
log(1 + 𝑧 2 )
lim 𝑧 3 𝑓 (𝑧) = lim = 1.
𝑧→0 𝑧→0 𝑧2
Vediamo di calcolare il residuo in 𝑧 = 0. Posto
2
{
𝑧 3 𝑓 (𝑧) = log(1+𝑧
𝑧 2
)
, 𝑧 ∕= 0,
𝑔(𝑧) =
1, 𝑧 = 0,
Università di Torino
40 Singolarità isolate e residui
abbiamo
2 log(1 + 𝑧 2 )
𝑔 ′ (𝑧) = − 2 , 𝑧 ∕= 0,
(1 + 𝑧 2 )𝑧 𝑧3
6 + 10𝑧 2 log(1 + 𝑧 2 )
𝑔 ′′ (𝑧) = − + 6 , 𝑧 ∕= 0.
((1 + 𝑧 2 )2 𝑧 2 𝑧4
6 + 10𝑤 log(1 + 𝑤)
𝑔 ′′ (𝑧) = − (1 + 𝑤)−2 + 6
𝑤 𝑤2
∞ ( ∞
6 ∑ (−1)𝑛−1 𝑛
)
6 + 10𝑤 ∑ −2 𝑛
=− 𝑤 + 2 𝑤
𝑤 𝑛=0
𝑛 𝑤 𝑛=1 𝑛
∞ ( ∞ ( ∞
(−1)𝑛−1 𝑛−2
) )
∑ −2 𝑛−1 ∑ −2 𝑛 ∑
= −6 𝑤 − 10 𝑤 +6 𝑤
𝑛=0
𝑛 𝑛=0
𝑛 𝑛=1
𝑛
∞ (
−1𝑛−1 2𝑛
( ) ( ) )
∑ −2 −2
= −1 + −6 − 10 +6 𝑧
𝑛=1
𝑛−1 𝑛 𝑛+2
Dunque
𝑔 ′′ (0) = lim 𝑔 ′′ (𝑧) = −1
𝑧→0
e pertanto
1
Res(𝑓, 0) = − .
2
Il calcolo effettuato è di solito ridondante (salvo in generale che per le funzioni
razionali). Conviene, se possibile, sviluppare subito in serie di Laurent:
∞
log 1 + 𝑧 2 ) −5
∑ (−1)𝑛−1 2𝑛
5
= 𝑧 𝑧
𝑧 𝑛=1
𝑛
∞
∑ (−1)𝑛−1 2𝑛−5
= 𝑧 .
𝑛=1
𝑛
con 𝑠 ∈ R e {
(𝑠) 1, se 𝑘 = 0,
= 𝑠(𝑠−1)⋅⋅⋅(𝑠−𝑘+1)
𝑘 𝑘!
, se 𝑘 > 0.
Università di Torino
42 Singolarità isolate e residui
𝒆𝑧
𝑓 (𝑧) =
sin 𝑧 − 𝑧 cos 𝑧
Abbiamo
{∑∞
1 𝑛 1 2
𝑛=0 𝑛! 𝑧 = 1 + 𝑧 + 2 𝑧 + ⋅ ⋅ ⋅ ,
∑∞ (−1)𝑛+1 2𝑛 1 1 2
𝑛=1 (2𝑛+1)! = 3 − 30 𝑧 + ⋅ ⋅ ⋅ ,
e quindi
⎧
1
⎨ 3 𝑐0 = 1,
1
3 𝑐1 + 0𝑐0 = 1,
⎩1
1 1
3 𝑐2 + 0𝑐1 − 30 𝑐0 = 2 ,
che dà
⎧
⎨𝑐0 = 3,
𝑐1 = 3,
𝑐2 = 59 ,
⎩
cioè
9 2
𝑧 3 𝑓 (𝑧) = 3 + 3𝑧 + 𝑧 + ⋅⋅⋅ ,
5
e quindi
𝒆𝑧 9
= 3 𝑧 −3 + 3 𝑧 −2 + 𝑧 −1 + ⋅ ⋅ ⋅ .
sin 𝑧 − 𝑧 cos 𝑧 5
Ne segue che
9
Res(𝑓, 0) = .
5
1) Calcoliamo
+∞
𝑥2
∫
𝝅
𝒅𝑥 = √ . (3.23)
−∞ 1 + 𝑥4 2
Consideriamo la funzione di variabile complessa
𝑧2
𝑓 (𝑧) = .
1 + 𝑧4
Questa funzione ha quattro poli semplici negli zeri di 1 + 𝑧 4 , cioè in
1+𝒊 −1 + 𝒊
𝑧1 = 𝒆𝒊𝝅/4 = √ , 𝑧2 = 𝒆𝒊3𝝅/4 = √ ,
2 2
𝒊5𝝅/4 1−𝒊 −1 − 𝒊
𝑧3 = 𝒆 = √ , 𝑧4 = 𝒆𝒊7𝝅/4 = √ .
2 2
Scelto un qualunque numero reale 𝑅 > 1, consideriamo il cammino di Jordan
𝑧12 1−𝒊
Res(𝑓, 𝑧1 ) = lim (𝑧 − 𝑧1 )𝑓 (𝑧) = = √
𝑧→𝑧1 (𝑧1 − 𝑧2 )(𝑧1 − 𝑧3 )(𝑧1 − 𝑧4 ) 4 2
e
𝑧22 −1 − 𝒊
Res(𝑓, 𝑧2 ) = lim (𝑧 − 𝑧2 )𝑓 (𝑧) = = √ ,
𝑧→𝑧2 (𝑧2 − 𝑧1 )(𝑧2 − 𝑧3 )(𝑧2 − 𝑧4 ) 4 2
dunque
𝑅
𝑥2 𝑧2 𝑧2
∫ ∫ ∫
𝒅𝑥 + 𝒅𝑧 = 𝒅𝑧
−𝑅 1 + 𝑥4 1 + 𝑧4 1 + 𝑧4
𝐶+ (0;𝑅) Γ (3.24)
( )
1 − 𝒊 −1 − 𝒊 𝝅
= 2𝝅𝒊 √ + √ =√ .
4 2 4 2 2
Se proviamo che
𝑧2
∫
lim 𝒅𝑧 = 0, (3.25)
𝑅→∞ 1 + 𝑧4
𝐶+ (0;𝑅)
Università di Torino
44 Singolarità isolate e residui
Proviamo che
𝒆𝒊𝑧
∫
lim 𝒅𝑧 = 0. (3.28)
𝑅→∞ 𝑧
𝐶+ (0;𝑅)
Abbiamo
𝝅
𝒆𝒊𝑧
∫ ∫
exp 𝒊𝑟𝒆𝒊𝑡 𝒊 𝒅𝑡
( )
𝒅𝑧 = (3.30)
𝑧 0
𝐶+ (0;𝑟)
ed exp(𝒊𝑟𝒆𝒊𝑡 ) è continua per (𝑟, 𝑡) ∈ [0, 1]×[0, 𝝅], dunque la (3.30) è una funzione
continua di 𝑟 e pertanto otteniamo
∫ 𝝅 ∫ 𝝅
lim exp(𝒊𝑟𝒆𝒊𝑡 ) 𝒅𝑡 = 𝒅𝑡 = 𝝅,
𝑟→0 0 0
Università di Torino
46 Singolarità isolate e residui
𝒆𝑎𝑧
1) nei poli 𝑧 = 𝒊(2𝑚 + 1)𝝅, per 𝑚 ∈ Z (R.: −𝒆𝒊𝑎(2𝑚+1)𝝅 ).
1 + 𝒆𝑧
𝒆𝑧
2) nei poli 𝑧 = 𝑚𝝅, per 𝑚 ∈ Z (R.: 𝒆𝑚𝝅 ).
(sin 𝑧)2
2) Calcolare
𝑧 2 𝒅𝑧
∫
) = 0.
𝑧 − 2 − 𝒊 𝑧 − 1 − 2 𝒊 𝑧 − 1 − 2𝒊 𝑧 − 23 − 𝒊
1 3
( )( )( )(
[0,2,2+2𝒊,2𝒊,0]
47
48 Gamma di Eulero e Zeta di Riemann
Γ(𝑧 + 𝑛 + 1)
Γ(𝑧) = , per Re 𝑧 > 0. (4.5)
𝑧(𝑧 + 1)(𝑧 + 2) ⋅ ⋅ ⋅ (𝑧 + 𝑛)
Osservazione. In realtà si può dimostrare che il limite (4.6) vale per ogni 𝑥 ∈
C∗ ∖ Z− . Poiché la (4.6) ci serve solo per 𝑥 ∈ R+ , ci limitiamo a denunciarla e
a dimostrarla solo in questo caso.
Dimostrazione. Fissato 𝑡 ∈ R+ , proviamo innanzitutto che la funzione
( )𝑦
𝑡
𝑦 7→ 1 − (4.7)
𝑦
è crescente per 𝑦 ⩾ 𝑡. Posto 𝑦 = 𝑡𝑠, abbiamo che
( )𝑦 (( )𝑠 )1/𝑡
𝑡 1
1− = 1− .
𝑦 𝑠
)𝑠
Poiché 1/𝑡 > 0, è sufficiente provare che 1 − 1𝑠 è crescente per 𝑠 ⩾ 1.
(
Abbiamo
( )𝑠 ( ( ) )( )𝑠
𝒅 1 1 1 1
1− = log 1 − + 1− > 0, per 𝑠 > 1.
𝒅𝑠 𝑠 𝑠 𝑠−1 𝑠
Infatti
( ( ) )
𝒅 1 1 1
log 1 − + =− < 0, per 𝑠 > 1
𝒅𝑠 𝑠 𝑠−1 𝑠(𝑠 − 1)2
e quindi
( ) ( ( ) )
1 1 1 1
log 1 − + > lim log 1 − + = 0, per 𝑠 > 1.
𝑠 𝑠 − 1 𝑢→∞ 𝑢 𝑢−1
Università di Torino
50 Gamma di Eulero e Zeta di Riemann
e
𝝅(𝑤 − 𝑛) cos(𝝅𝑤)
Res(𝑓 ; 𝑛) = lim
𝑤→𝑛 sin(𝝅𝑤)(𝑤2 − 𝑧 2 )
𝝅(𝑤 − 𝑛) cos(𝝅𝑛) cos(𝝅𝑤) 1
= lim ( ) = 2 , ∀ 𝑛 ∈ Z.
𝑤→𝑛 sin 𝝅(𝑤 − 𝑛) (𝑤 2 − 𝑧 2 ) 𝑛 − 𝑧2
Per ogni 𝑛 ∈ Z+ , consideriamo il cammino di Jordan orientato positivamente
[ ]
1 1 1 1 1
Γ𝑛 = 𝑛 + + 𝑛𝒊, −𝑛 − + 𝑛𝒊, −𝑛 − − 𝑛𝒊, 𝑛 + − 𝑛𝒊, 𝑛 + + 𝑛𝒊 .
2 2 2 2 2
Grazie al teorema 3.11 abbiamo allora
∫ 𝑛
1 𝝅 cos(𝝅𝑤) 𝝅 cos(𝝅𝑧) ∑ 1
2 2
𝒅𝑤 = +
2𝝅𝒊 sin(𝝅𝑤) (𝑤 − 𝑧 ) 𝑧 sin(𝝅𝑧) 𝑘 − 𝑧2
2
Γ𝑛 𝑘=−𝑛
𝑛
𝝅 cos(𝝅𝑧) 1 ∑ 2
= − 2− , ∀ 𝑛 ∈ Z+ , 𝑛 > ∣𝑧∣ .
𝑧 sin(𝝅𝑧) 𝑧 𝑧 2 − 𝑘2
𝑘=1
Se proviamo che
∫
𝝅 cos(𝝅𝑤)
lim 𝒅𝑤 = 0, (4.10)
𝑛→∞ sin(𝝅𝑤) (𝑤2 − 𝑧 2 )
Γ𝑛
=
sin(𝝅𝑤) ±𝒊𝝅(𝑛+ 12 )−𝑡𝑛𝝅
− 𝒆∓𝒊𝝅(𝑛+ 2 )+𝑡𝑛𝝅
1
𝒆
∣𝑒−𝑡𝑛𝝅 − 𝒆𝑡𝑛𝝅 ∣
= ⩽ 1, ∀ 𝑛 ∈ Z+ .
𝑒−𝑡𝑛𝝅 + 𝒆𝑡𝑛𝝅
Per ( )
1
𝑤= 𝑛+ 𝑡 ± 𝑛𝒊, con −1 ⩽ 𝑡 ⩽ 1,
2
abbiamo
cos(𝝅𝑤) 𝒆𝒊𝝅𝑡(𝑛+ 2 )∓𝑛𝝅 + 𝒆−𝒊𝝅𝑡(𝑛+ 2 )±𝑛𝝅
1 1
Università di Torino
52 Gamma di Eulero e Zeta di Riemann
𝑤 = 𝑧 ∈ ] 0, 1[ .
(𝑘 − 1)! (𝑘 − 1)1−𝑧
= lim
𝑘→∞ (1 − 𝑧)(2 − 𝑧) ⋅ ⋅ ⋅ (𝑘 − 𝑧)
e quindi
𝑛! 𝑛𝑧 (𝑛 − 1)! (𝑛 − 1)1−𝑧
Γ(𝑧)Γ(1 − 𝑧) = lim lim
𝑛→∞ 𝑧(𝑧 + 1) ⋅ ⋅ ⋅ (𝑧 + 𝑛) 𝑛→∞ (1 − 𝑧)(2 − 𝑧) ⋅ ⋅ ⋅ (𝑛 − 𝑧)
𝑛! 𝑛𝑧 (𝑛 − 1)! (𝑛 − 1)1−𝑧
= lim
𝑛→∞ 𝑧(𝑧 + 1) ⋅ ⋅ ⋅ (𝑧 + 𝑛) (1 − 𝑧)(2 − 𝑧) ⋅ ⋅ ⋅ (𝑛 − 𝑧)
La (4.12) è equivalente a
𝑛 (
𝑧2
)
∏ sin(𝝅𝑧)
lim 1− 2 = , ∀ 𝑧 ∈ ]0, 1[ . (4.13)
𝑛→∞ 𝑘 𝝅𝑧
𝑘=1
Poiché la serie delle derivate del primo membro della (4.14) converge to-
talmente in ogni sottointervallo chiuso di ]0, 1[, possiamo derivare termine a
termine la (4.14) ottenendo
∞
∑ 2𝑧 𝝅 cos(𝝅𝑧) 1
= − , ∀ 𝑧 ∈]0, 1[. (4.15)
𝑛=1
𝑧2 −𝑛 2 sin(𝝅𝑧) 𝑧
Viceversa, le primitive dei due membri della (4.15) devono differire per una
costante 𝑐:
∞
𝑧2
( )
∑ sin(𝝅𝑧)
log 1 − 2 = log + 𝑐, ∀ 𝑧 ∈ ]0, 1[ . (4.16)
𝑘 𝝅𝑧
𝑘=1
C’è uno stretto legame fra la 𝜻 e i numeri primi, come suggerito dal seguente
teorema.
Teorema 4.10. Data la successione (𝑝𝑘 ) dei numeri primi maggiori di 1,
abbiamo che
𝑛 ( )−1
∏ 1
𝜻(𝑧) = lim 1− 𝑧 , per Re 𝑧 > 1.
𝑛→∞ 𝑝𝑘
𝑘=1
Dimostrazione. Indichiamo con N𝑛 l’insieme dei numeri interi positivi che non
sono divisibili per 𝑝1 , 𝑝2 , . . . , 𝑝𝑛 . Osserviamo innanzitutto che se si tolgono da
N𝑛 i multipli di 𝑝𝑛+1 otteniamo N𝑛+1 :
Università di Torino
54 Gamma di Eulero e Zeta di Riemann
Lemma 4.11. Dato un numero complesso 𝑧 tale che ∣Re 𝑧∣ < 1, abbiamo che
∫ ∞
𝑡𝑧 𝝅
2+1
𝒅𝑡 = . (4.19)
0 𝑡 2 cos(𝝅𝑧/2)
0<𝑟<𝑅 e 𝜖 > 0,
Γ = 𝐿1 + Γ1 + 𝐿2 + Γ2 ,
di equazioni parametriche
⎧
𝜆1 (𝑡) = 𝑡 + 𝒊𝜖, 𝑟 ⩽ 𝑡 ⩽ 𝑅,
⎨𝛾 (𝑡) = √𝑅2 + 𝜖2 𝒆𝒊𝑡 ,
arctan 𝑅𝜖 ⩽ 𝑡 ⩽ 2𝝅 − arctan 𝑅𝜖 ,
1
𝜆2 (𝑡) = 𝑅 + 𝑟 − 𝑡 − 𝒊𝜖, 𝑟 ⩽ 𝑡 ⩽ 𝑅,
√
𝛾2 (𝑡) = 𝑟2 + 𝜖2 𝒆−𝒊𝑡 , arctan 𝑟𝜖 ⩽ 𝑡 ⩽ 2𝝅 − arctan 𝑟𝜖 .
⎩
Infatti 𝝅𝑥
𝒆𝑥 log(∓𝒊) 𝒆∓ 2 𝒊
( )
exp(𝑥 log(−𝑤))
Res , ±𝒊 = =± ,
𝑤2 + 1 ±2𝒊 2𝒊
e pertanto
𝝅𝑥 𝝅𝑥
𝒆− 2 𝒊 − 𝒆 2 𝒊
( ) ( )
exp(𝑥 log(−𝑤)) exp(𝑥 log(−𝑤)) 𝝅𝑥
Res , 𝒊 +Res , −𝒊 = = − sin .
𝑤2 + 1 𝑤2 + 1 2𝒊 2
Proviamo che
∫
exp(𝑥 log(−𝑤))
lim+ 𝒅𝑤 =
𝜖→0 𝑤2 + 1
Γ
∫ 2𝝅
𝑅
( )
𝑡𝑥 exp 𝑥 log(−𝑅𝒆𝒊𝑡 )
∫
= −2𝒊 sin(𝝅𝑥) 𝒅𝑡 + 𝑅𝒊𝒆𝒊𝑡 𝒅𝑡 (4.21)
𝑡 2+1 𝑅 2 𝒆2𝒊𝑡 + 1
( 𝑟 ) 0
exp 𝑥 log(−𝑟𝒆−𝒊𝑡 )
∫ 2𝝅
− 2 𝒆−2𝒊𝑡 + 1
𝑟𝒊𝒆−𝒊𝑡 𝒅𝑡.
0 𝑟
Infatti abbiamo
∫ 𝑅
exp (𝑥 log(−𝑡 − 𝒊𝜖))
∫
exp(𝑥 log(−𝑤))
2
𝒅𝑤 = 𝒅𝑡 =
𝑤 +1 𝑟 (𝑡 + 𝒊𝜖)2 + 1
𝐿1
( √ −𝜖
)
∫ 𝑅 exp 𝑥 log 𝑡2 + 𝜖2 + 2𝒊𝑥 arctan √
−𝑡+ 𝑡2 +𝜖2
= 2+1
𝒅𝑡
𝑟 (𝑡 + 𝒊𝜖)
( √ )
∫ 𝑅 exp 𝑥 log 𝑡2 + 𝜖2 + 2𝒊𝑥 arctan √ 𝜖
𝑡− 𝑡2 +𝜖2
= 2+1
𝒅𝑡.
𝑟 (𝑡 + 𝒊𝜖)
√
Ma log 𝑡2 + 𝜖2 e 1+𝑡+𝒊𝜖 sono uniformemente continue per (𝑡, 𝜖) ∈ [𝑟, 𝑅]×[0, 1],
dunque
√
𝑡2 + 𝜖2 = log 𝑡 e lim+ (𝑡 + 𝒊𝜖)2 + 1 = 𝑡2 + 1
( )
lim+ log
𝜖→0 𝜖→0
𝜖 𝜖 𝝅
arctan √ ⩾ arctan √ ⩾− , ∀ 𝑡 ∈ [𝑟, 𝑅]
𝑟− 2
𝑟 +𝜖 2 2
𝑡− 𝑡 +𝜖 2 2
implica che
𝜖 𝝅
arctan √ →− , per 𝜖 → 0+
𝑡− 2
𝑡 +𝜖2 2
𝑅
exp(𝑥 log 𝑡 − 𝒊𝑥𝝅)
∫ ∫
exp(𝑥 log(−𝑤))
lim 𝒅𝑤 = 𝒅𝑡.
𝜖→0+ 𝑤2 + 1 𝑟 𝑡2 + 1
𝐿1
Analogamente otteniamo
𝑅
exp (𝑥 log(𝑡 − 𝑅 − 𝑟 + 𝒊𝜖))
∫ ∫
exp(𝑥 log(−𝑤))
lim 𝒅𝑤 = lim − 𝒅𝑡
𝜖→0+ 𝑤2 + 1 𝜖→0+ 𝑟 (𝑅 + 𝑟 − 𝑡 − 𝒊𝜖)2 + 1
𝐿2
∫ 𝑅 ∫ 𝑅
exp (𝑥 log(−𝑡 + 𝒊𝜖)) exp(𝑥 log 𝑡 + 𝒊𝑥𝝅)
= − lim+ 𝒅𝑡 = − 𝒅𝑡,
𝜖→0 𝑟 (𝑡 − 𝒊𝜖)2 + 1 𝑟 𝑡2 + 1
Università di Torino
56 Gamma di Eulero e Zeta di Riemann
e quindi
{∫ ∫ }
exp(𝑥 log(−𝑤)) exp(𝑥 log(−𝑤))
lim+ 𝒅𝑤 + 𝒅𝑤
𝜖→0 𝑤2 + 1 𝑤2 + 1
𝐿1 𝐿2
𝑅 ∫ 𝑅
exp(𝑥 log 𝑡 − 𝒊𝑥𝝅)
∫
exp(𝑥 log 𝑡 + 𝒊𝑥𝝅)
= 2+1
𝒅𝑡 − 𝒅𝑡
𝑟 𝑡 𝑟 𝑡2 + 1
) 𝑅 exp(𝑥 log 𝑡)
∫ 𝑅
𝑡𝑥
∫
= 𝒆−𝒊𝝅𝑥 − 𝒆𝒊𝝅𝑥
(
2
𝒅𝑡 = −2𝒊 sin(𝝅𝑥) 2
𝒅𝑡.
𝑟 𝑡 +1 𝑟 𝑡 +1
sin(𝝅𝑥) 𝑅 𝑡𝑥
∫ 2𝝅 ( )
exp 𝑥 log(−𝑅𝒆𝒊𝑡 )
∫
− 𝒅𝑡 + 𝑅𝒊𝒆𝒊𝑡 𝒅𝑡−
𝝅 𝑟 1+𝑡 0 𝑅2 𝒆2𝒊𝑡 + 1
(4.22)
exp 𝑥 log(−𝑟𝒆−𝒊𝑡 )
∫ 2𝝅 ( )
𝝅𝑥
− 2 𝒆−2𝒊𝑡 + 1
𝑟𝒊𝒆−𝒊𝑡 𝒅𝑡 = − sin ,
0 𝑟 2
per ogni 0 < 𝑟 < 𝑅.
D’altra parte
exp 𝑥 log(−𝑅𝒆𝒊𝑡 ) = exp 𝑥 Re(log(−𝑅𝒆𝒊𝑡 )) = 𝒆𝑥 log 𝑅 = 𝑅𝑥
( ) ( )
e quindi
2𝝅
( )
exp 𝑥 log(−𝑅𝒆𝒊𝑡 )
∫
𝒊𝑡
2 2𝒊𝑡
𝑅𝒊𝒆 𝒅𝑡
0 𝑅 𝒆 +1
∫ 2𝝅
𝑅𝑥 2𝝅𝑅𝑥+1
⩽ 2
𝑅 𝒅𝑡 = 2 → 0, per 𝑅 → ∞,
0 𝑅 −1 𝑅 −1
tenuto conto che 𝑥 < 1.
Analogamente
exp 𝑥 log(−𝑟𝒆−𝒊𝑡 ) = 𝑟𝑥
( )
e quindi
2𝝅
exp 𝑥 log(−𝑟𝒆−𝒊𝑡 )
∫ ( )
−𝒊𝑡
2 −2𝒊𝑡
𝑟𝒊𝒆 𝒅𝑡
0 𝑟 𝒆 +1
∫ 2𝝅
𝑟𝑥 2𝝅𝑟𝑥+1
⩽ 𝑟 𝒅𝑡 = → 0, per 𝑟 → 0,
0 1 − 𝑟2 1 − 𝑟2
tenuto conto che 𝑥 > −1.
Passando al limite per 𝑅 → ∞ e 𝑟 → 0+ nella (4.22) otteniamo allora
sin(𝝅𝑥) ∞ 𝑡𝑥
∫
𝝅𝑥
− 2+1
𝒅𝑡 = − sin ,
𝝅 0 𝑡 2
∑∞ −𝑛𝑡
La 𝑛=1 𝒆 è una serie geometrica di ragione 𝑒−𝑡 e quindi ne possiamo
calcolare la somma:
∞ ∞
∑ ∑ )𝑛 1 𝒆−𝑡 1
𝒆−𝑛𝑡 = 𝒆−𝑡
(
−1= −𝑡
−1= = 𝑡 , ∀ 𝑡 ∈ R+ .
𝑛=1 𝑛=0
1−𝒆 1 − 𝒆−𝑡 𝒆 −1
Scambiando la somma della serie con l’integrale a secondo membro della (4.25)
otteniamo ∫ ∞ 𝑧−1
𝑡
𝜻(𝑧)Γ(𝑧) = 𝒅𝑡, per Re 𝑧 > 1. (4.26)
0 𝑒𝑡 − 1
Università di Torino
58 Gamma di Eulero e Zeta di Riemann
e quindi
∫ 1( ) ∫ ∞ 𝑧
1 1 1 𝑧−1 1 1 𝑡 −1
𝜻(𝑧)Γ(𝑧) = 𝑡
− + 𝑡 𝒅𝑡 + − + 𝒅𝑡, (4.27)
0 𝑒 −1 𝑡 2 𝑧 − 1 2𝑧 1 𝒆𝑡 − 1
per Re 𝑧 > 1.
Grazie alla (4.11), Γ non si annulla mai. Ne segue che possiamo dividere per
Γ(𝑧) ed ottenere
(∫ 1 ( ) ∫ ∞ 𝑧 )
1 1 1 1 𝑧−1 1 1 𝑡 −1
𝜻(𝑧) = − + 𝑡 𝒅𝑡 + − + 𝒅𝑡 .
Γ(𝑧) 0 𝑒𝑡 − 1 𝑡 2 𝑧 − 1 2𝑧 1 𝒆𝑡 − 1
(4.28)
Poiché gli integrali a secondo membro della (4.27) convergono per Re 𝑧 > −1
e Γ(𝑧) ha un polo semplice in 𝑧 = 0, il secondo membro della (4.28) è analitico
per Re 𝑧 > −1, salvo che in 𝑧 = 1 dove c’è un polo semplice. Dunque il secondo
membro è un prolungamento analitico della 𝜻 a {𝑧 ∈ C : Re 𝑧 > −1, 𝑧 ∕= 1}.
D’altra parte per Re 𝑧 < 0 abbiamo che
∫ ∞(
𝑡𝑧−1
)
1 1 𝑧−2
− =− 𝑡 − 𝒅𝑡
𝑧 − 1 2𝑧 1 2
e quindi
∞
1 1 𝒊 cos(𝒊𝑡/2) 1 ∑ 2𝑡
𝑡
+ = = + . (4.30)
𝒆 −1 2 2 sin(𝒊𝑡/2) 𝑡 𝑛=1 𝑡 + 4𝑛2 𝝅 2
2
Università di Torino
60 Gamma di Eulero e Zeta di Riemann
Possiamo ora enunciare uno dei più importanti problemi aperti della mate-
matica al momento in cui sono state scritte queste note (Giugno 2009) e cioè se
e vera o falsa la cosiddetta
Ipotesi di Riemann: gli zeri di 𝜻 appartenenti alla striscia 0 ⩽ Re 𝑧 ⩽ 1
cadono tutti sulla retta Re 𝑧 = 21 .