Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
4 Integrazione
4 Integrazione
Luigi Greco
Dipartimento di Ingegneria Elettrica e delle Tecnologie
dell’Informazione
Università degli Studi di Napoli “Federico II”
Integrali curvilinei
Teorema e formule integrali di Cauchy
Indefinita derivabilità
Analiticità
Poniamo inoltre
Z a Z b Z a
f (t) dt = − f (t) dt , f (t) dt = 0 .
b a a
risulta
Z b Z b Z b
w̄ w̄
|w | = Re f (t) dt = Re f (t) dt ≤ |f (t)| dt .
|w | a a |w | a
z = z(t) , t ∈ [a, b] ,
z = z(t) , t ∈ [a, b] ,
z = z(t) , t ∈ [a, b] ,
Osserviamo che
Osserviamo che
e quindi
Z Z Z
f (z) dz = u dx − v dy + j v dx + u dy , (5)
γ γ γ
Esempio
z(t) = ρ e jt , t ∈ [0, 2 π] .
Dunque z 0 (t) = j ρ e jt e
Z Z 2π Z 2π
n njt jt n+1
f (z) dz = ρ e j ρ e dt = j ρ e (n+1)jt dt . (7)
γ 0 0
Esempio (Continuazione)
Per n 6= −1, è n + 1 6= 0 e
1 d (n+1)jt
e (n+1)jt = e .
(n + 1) j dt
Esempio (Continuazione)
Per n 6= −1, è n + 1 6= 0 e
1 d (n+1)jt
e (n+1)jt = e .
(n + 1) j dt
Esempio (Continuazione)
Per n = −1, l’integrando nell’ultimo membro di (7) vale
costantemente 1, quindi
Z
dz
= 2πj . (8)
γ z
Esempio (Continuazione)
Per n = −1, l’integrando nell’ultimo membro di (7) vale
costantemente 1, quindi
Z
dz
= 2πj . (8)
γ z
Esempio (Continuazione)
Per n = −1, l’integrando nell’ultimo membro di (7) vale
costantemente 1, quindi
Z
dz
= 2πj . (8)
γ z
La disuguaglianza
Z Z
f (z) dz ≤ |f (z)| ds ≤ M ` , (11)
γ γ
La disuguaglianza
Z Z
f (z) dz ≤ |f (z)| ds ≤ M ` , (11)
γ γ
f = F0 .
Se
z = z(t) , t ∈ [a, b] ,
è una rappresentazione parametrica di γ, l’espressione
f (z(t)) z 0 (t)
Se
z = z(t) , t ∈ [a, b] ,
è una rappresentazione parametrica di γ, l’espressione
f (z(t)) z 0 (t)
u dx − v dy , v dx + u dy ,
dU = u dx − v dy , dV = v dx + u dy ,
vale a dire, Ux = u, Uy = −v , Vx = v , Vy = u.
dU = u dx − v dy , dV = v dx + u dy ,
vale a dire, Ux = u, Uy = −v , Vx = v , Vy = u.
La funzione
F =U +jV
risulta differenziabile in Ω e verifica
Fx = Ux + j Vx = u + j v = f ,
Fy = Uy + j Vy = −v + j u = j f .
f dx + j f dy
Fx = f e Fy = j f .
f dx + j f dy
Fx = f e Fy = j f .
Osservazione
Possiamo usare le considerazioni precedenti per ottenere
immediatamente il caso n 6= −1 dell’integrale
Z
z n dz ,
γ
Osservazione
Possiamo usare le considerazioni precedenti per ottenere
immediatamente il caso n 6= −1 dell’integrale
Z
z n dz ,
γ
Risultando
d z n+1
zn = ,
dz n + 1
l’integrale è nullo.
f1 + f2 + · · · + fn + · · · (12)
f = u + jv
f = u + jv
fy = j fx ,
f = u + jv
fy = j fx ,
f dx + j f dy
è chiusa.
Luigi Greco: Metodi 20/21 24/55
Teorema e formule integrali di Cauchy
u dx − v dy , v dx + u dy .
Γ0
Γ2
Γ1
D
Osservazione
La dimostrazione si ottiene subito dalle formule di Gauss,
supponendo fx e fy continue.
Osservazione
La dimostrazione si ottiene subito dalle formule di Gauss,
supponendo fx e fy continue.
Osservazione
La dimostrazione si ottiene subito dalle formule di Gauss,
supponendo fx e fy continue.
Esempio
Esempio
Esempio
Esempio (Continuazione)
D’altra parte, +FD = γ2 ∪ (−γ1 ), dunque
Z Z Z
0= f (z) dz = f (z) dz − f (z) dz ,
+FD γ2 γ1
Esempio (Continuazione)
D’altra parte, +FD = γ2 ∪ (−γ1 ), dunque
Z Z Z
0= f (z) dz = f (z) dz − f (z) dz ,
+FD γ2 γ1
ovvero Z Z
f (z) dz = f (z) dz ,
γ2 γ1
Esempio (Continuazione)
Più in generale, sia γ una curva regolare chiusa che circonda 0 (vale
a dire γ è la frontiera di un dominio limitato, a cui 0 è interno).
Esempio (Continuazione)
Più in generale, sia γ una curva regolare chiusa che circonda 0 (vale
a dire γ è la frontiera di un dominio limitato, a cui 0 è interno).
Esempio (Continuazione)
Più in generale, sia γ una curva regolare chiusa che circonda 0 (vale
a dire γ è la frontiera di un dominio limitato, a cui 0 è interno).
Esempio (Continuazione)
γ
D γ1
Esempio
D Dρ
FD FD
z0 z0
γρ
Pertanto
Z Z Z
f (z) f (z) f (z)
0= dz = dz − dz ,
+FDρ z − z0 +FD z − z0 γρ z − z0
Pertanto
Z Z Z
f (z) f (z) f (z)
0= dz = dz − dz ,
+FDρ z − z0 +FD z − z0 γρ z − z0
ovvero Z Z
f (z) f (z)
dz = dz . (19)
+FD z − z0 γρ z − z0
|f (z) − f (z0 )|
Z
≤ ds ≤ 2 π ε ,
γρ ρ
ovvero vale la tesi.
|f (z) − f (z0 )|
Z
≤ ds ≤ 2 π ε ,
γρ ρ
ovvero vale la tesi.
Per il lemma è chiaro che per (19) vale la formula di Cauchy (18).
Luigi Greco: Metodi 20/21 42/55
Teorema e formule integrali di Cauchy
Osservazione
L’uguaglianza (18) a volte è detta I formula di Cauchy, mentre la
seguente è detta II formula di Cauchy:
Z
f (z)
dz = 0 ,
+FD z − z0
f (z)
F (z) =
z − z0
è olomorfa nel dominio.
Luigi Greco: Metodi 20/21 43/55
Teorema e formule integrali di Cauchy
Il teorema di Cauchy ha il seguente inverso.
è indefinitamente derivabile.
Essendo
∂ g (ζ) g (ζ)
= ,
∂z ζ − z (ζ − z)2
Essendo
∂ g (ζ) g (ζ)
= ,
∂z ζ − z (ζ − z)2
ricaviamo il caso n = 1 della formula (21).
In generale, abbiamo
dn ∂ n g (ζ)
Z Z
(n) g (ζ)
f (z) = n dζ = dζ
dz γ ζ −z γ ∂z n ζ − z
e concludiamo, poiché
∂ n g (ζ) g (ζ)
n
= n! .
∂z ζ − z (ζ − z)n+1
In generale, abbiamo
dn ∂ n g (ζ)
Z Z
(n) g (ζ)
f (z) = n dζ = dζ
dz γ ζ −z γ ∂z n ζ − z
e concludiamo, poiché
∂ n g (ζ) g (ζ)
n
= n! .
∂z ζ − z (ζ − z)n+1
Teorema
Se f è olomorfa nel dominio D, essa è indefinitamente derivabile e
nei punti interni, ∀n ∈ N0 , valgono le uguaglianze
Z
n! f (ζ)
f (n) (z) = dζ . (22)
2 π j +FD (ζ − z)n+1
Teorema
Se f è olomorfa nel dominio D, essa è indefinitamente derivabile e
nei punti interni, ∀n ∈ N0 , valgono le uguaglianze
Z
n! f (ζ)
f (n) (z) = dζ . (22)
2 π j +FD (ζ − z)n+1
f (n) (z0 )
an = , ∀n ∈ N0 . (23)
n!
Luigi Greco: Metodi 20/21 50/55
Conseguenze della formula di Cauchy
Ω
D
z0
Riscriviamo l’integrando:
1 1 1 1
= = · .
ζ −z ζ − z0 + z0 − z ζ − z0 1 − z − z0
ζ − z0
Riscriviamo l’integrando:
1 1 1 1
= = · .
ζ −z ζ − z0 + z0 − z ζ − z0 1 − z − z0
ζ − z0
con k indipendente da ζ.
Luigi Greco: Metodi 20/21 52/55
Conseguenze della formula di Cauchy
Usando la serie geometrica, possiamo scrivere
∞
1 X z − z0 n
1 1 1
= · =
ζ −z ζ − z0 1 − z − z0 ζ − z0 ζ − z0
n=0
ζ − z0
∞
X (z − z0 )n
= ,
(ζ − z0 )n+1
n=0
Ponendo ∀n ∈ N0
Z
1 f (ζ)
an = dζ ,
2πj |ζ−z0 |=ρ (ζ − z0 )n+1
Osservazione
Lo sviluppo sussiste in ogni cerchio di centro z0 contenuto in Ω. Il
raggio di convergenza è almeno pari alla distanza di z0 dalla
frontiera di Ω (è +∞, nel caso Ω = C).
Osservazione
Lo sviluppo sussiste in ogni cerchio di centro z0 contenuto in Ω. Il
raggio di convergenza è almeno pari alla distanza di z0 dalla
frontiera di Ω (è +∞, nel caso Ω = C).
Ω z0