Dimostrazioni analisi complessa

Dimostrazioni analisi complessa

Condizioni necessarie di Cauchy Riemann

Sia f (z ) derivabile in z 0 allora lim

z z0

lim

z z0

f (z ) f (z 0)
= f ' ( z 0 ) porto tutto al primo membro:
zz 0

f (z ) f ( z 0) f ' ( z 0)( zz 0)
faccio il limite f (z ) f (z 0) f ' ( z 0)( zz 0 )=o( zz 0 )
zz 0

chiamo il resto ( z)=o(zz 0 ) e sostituisco z= x+ iy

f ( z )=u (x , y )+ iv( x , y ) :

f ( x +iy)=[u ( x 0, y 0 )+iv ( x 0, y 0)]+[Re { f ' ( z 0 )}+i Im { f ' ( z 0 )}][( xx 0 )+i( yy 0 )]+[1 ( x , y)+i 2 ( x , y)]
separiamo parte reale e immaginaria

u (x , y )=u ( x 0, y 0)+ Re{ f ' ( z 0)}(xx 0)Im { f ' ( z 0)}( yy 0 )+ 1 (x , y )

v ( x , y)=v ( x 0, y 0)+ Im { f ' ( z 0 )}( xx 0 )+ Re { f ' ( z 0 )}( y y 0)+ 2 (x , y )

si dimostra che 1 ( z ) , 2 ( z )=o( zz 0) .

Allora possiamo dire che u ( x , y ) e v ( x , y) sono differenziabili in z 0 e:
u
u
(x y )=Re { f ' ( z 0 )}
( x y )=Im { f ' ( z 0)}
x 0, 0
y 0, 0
.
v
v
(x y )=Im { f ' ( z 0)}
( x y )=Re{ f ' ( z 0)}
x 0, 0
y 0, 0

Armonicit delle parti reale ed immaginaria di una funzione

Sia f (x +iy)=u ( x , y)+iv( x , y) analitica, allora valgono le condizioni di Cauchy-Goursat:
u v
=
x y

u
v
=
y
x
2

per avere larmonicit della parte reale u bisogna dimostrare che:

2

u u
+ 2 =0
2
x y

u ? u
u CR1 v
v CR2 u u
.
= 2 =
=
=
=
=
2
yy
y x
x y x x x2
x
y

Teorema di Cauchy-Goursat
Se f olomorfa su allora

f ( z) dz =0 .

Sia una curva di Jordan tale per cui Int () dominio di f .

) dl
+ i (v , u) dl

f ( z)dz = ( u ,v

) dl

(u ,v

T. GREEN

Marco Lucarella

u v

analizziamo gli integrali singolarmente:

CR

( y + x ) dx dy = 0

Int ()

1/3

Dimostrazioni analisi complessa

(v , u) dl

T. GREEN

CR

( y x )dx dy = 0

Int ()

Formala dellintegrale di Cauchy

Sia f olomorfa allora

f ( z)
1
dz= f ( z 0)

2i
zz 0

siccome il teorema di Cauchy-Goursat indipendente dal particolare scelto, ne scelgo uno

comodo: (t )=r e it + z 0 .
f ( z)

zz

dz=

f (z 0 )
f ( z ) f ( z 0)
dz +
dz
zz 0
zz 0

si pu dimostrare che il primo integrale ha come risultato: 2 i .

Dobbiamo quindi dimostrare che il secondo uguale a zero, chiamo I il secondo integrale.
Ricordando il lemma

f (z )dz L( )Max

f ( z) f (z 0 )
con z Int( )
zz 0

f ( z) f (z 0 )
f ( z) f ( z 0 ) f ( z ) f ( z 0 )
=
=
zz 0
r
r e it

r
I 2 Max { f ( z) f ( z 0 )} fisso allora un > 0 , siccome f continua in z 0 >0 tale
r
che f (x ) f (z 0)< z :zz 0< se scelgo un 0< r < /2 ho che
Max{ f ( z ) f (z 0)}< allora I 2 , poich I non dipende da r e > 0 albitrario allora
se lo facciamo tendere a zero allora I =0 .

Teorema sullo sviluppo di Taylor di una funzione analitica

+

La serie di Taylor con raggio di convergenza R e vale che f (z )=

k =0

f (k) ( z 0)
( zz 0 )k
k!

z B R (z 0 ) .

Dimostrazione:
ricordando la formula dellintegrale di Cauchy f
+

f ( z )=

k =0

(k )

( z 0 )=

f ()
k!
d .

2 i (z 0) k+1

+
f (k) ( z 0)
f ()
1
(zz 0 )k =
d (zz 0 )k =

k +1

k!
(z 0 )
k=0 2 i

( )

() + zz 0
1
f
d

2 i (z 0 ) k =0 z 0

la sommatoria una serie geometrica con argomento

Marco Lucarella

zz 0
<1 zz 0<z 0 .
z 0

2/3

Dimostrazioni analisi complessa

=

f ()
1

2i
z 0

f ( )
1
1
d =
d = f ( z)

zz 0
2 i
z
1
z 0

Teorema dei residui

f ( z) dz =2 i

Res f ( z k ) .

zk Int ()

Prendendo dei k disgiunti che ognuno racchiude una singolarit diversa.

f ( z) dz =

z k Int ()

f ( z ) dz=2 i
k

Res( z k ) .

zk Int( )

Derivata distribuzionale di funzioni regolari a tratti

Sia f R1LOC ovunque derivabile tranne in un punto x 0 in cui presenta un salto, supponendo che
f ' R1LOC , allora:
+

x0

T ' f , = T f , ' = f ( x) ' (x)dx = f ( x)' ( x)dxx f ( x) ' ( x) dx

+
0

x -0

par parti

=[ f (x) ( x)] + f ' (x )( x) dx[ f ( x)(x )]x +x f ' ( x)( x)dx=

+
+
0

+
0

=( x0 )[ f ( x ) f ( x )]+ f ' ( x) (x )dx=

= x , [ f ( x +0 ) f (x -0 )]+T f ' ,
+
0

Marco Lucarella

3/3