Définition : Soit γ un chemin et soit f une fonction définie en tout point de ce chemin.
Soit {l0,…,ln} une subdivision de γ avec l0=a et ln=b. Soit ξ1,…,ξn tels que pour tout i∈[1 ; n], ξi∈]li−1 ; li[. On pose In=n∑k=1f(ξk)(zl−zl−1).
Si, quand n:→+∞, la somme In tend vers une limite indépendante du choix des lk et des ξk, alors la limite de In est appelée intégrale de f le long de γ et notée I=∫γf(z)dz.
Propriété : Si f est continue sur γ, son intégrale le long de γ existe.
Remarque : Si γ est paramétré par z(t)=x(t)+iy(t), on obtient I=∫tbtaf(z(t))z′(t)dt.
Propriété : Soit f admettant une primitive F (F′=f) sur un domaine Ω de C.
Alors I=∫γf(z)dz=F(b)−F(a) avec a et b les extrémités du chemin γ, contenu dans Ω.
Proposition : Inégalité de Darboux
Soit f fonction intégrable sur un chemin γ de longueur curviligne L.
On note M=sup que l’on suppose fini.
Alors .
Théorème de Cauchy :
Soit un domaine simplement connexe.
Soit une fonction analytique sur .
Soit un contour contenu dans .
Alors .
Remarque : Un contour est un chemin dont les extrémités sont égales .
Proposition : Soit une fonction analytique sur un domaine simplement connexe .
Soit et deux points de . Soit et deux chemins contenus dans , d’extrémités communes et . Alors .
Proposition : Soit une fonction analytique sur un domaine simplement connexe . Alors admet une primitive sur .
Proposition : Formule intégrale de Cauchy
Soit une fonction analytique sur un domaine simplement connexe . Soit .
Pour tout contour de orienté positivement et entourant , on a :
Proposition : Soit une fonction analytique sur un domaine simplement connexe .
Soit . Alors est de classe sur et pour tout contour entourant , on a, pour tout :
.
Théorème de Morera :
Soit une fonction continue sur un domaine simplement connexe .
Si, pour tout contour de , on a , alors est analytique sur .
Théorème de Liouville :
Soit une fonction entière. Si est bornée (c’est-à-dire s’il existe tel que pour tout , ), alors est constante.