Teorema integrale di Cauchy: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
MattLanf (discussione | contributi)
mNessun oggetto della modifica
MattLanf (discussione | contributi)
Riga 58:
Sia
:<math>f:A\to\mathbb C </math>
una [[funzione olomorfa]] definita su un dominio <math> A </math> [[semplicemente connesso]]. Se <math>\gamma_1partial S_1,\gamma_2partial S_2</math> sono due [[curva regolare|curve regolari]] a tratti in <math>A</math> che congiungono due punti <math>P</math> e <math>Q</math>, allora:
:<math>\int_{\gamma_1partial S_1} f(z) \ dz = \int_{\gamma_2partial S_2}f(z) \ dz</math>
</div>
In altre parole, l'integrale su una curva dipende solo dagli estremi.
==== Dimostrazione ====
Sia <math>\gammapartial S </math> la curva chiusa ottenuta concatenando <math>\gamma_1partial S_1 </math> e <math>\gamma_2partial S_2 </math>, quest'ultima percorsa in senso inverso. Per il Teorema di Cauchy:
 
:<math>\oint_{\gammapartial S} f(z) \ dz = \left(\int_{\gamma_1partial S_1} - \int_{\gamma_2partial S_2} \right) f(z) \ dz = 0</math>
ovvero
:<math>\int_{\gamma_1partial S_1} f(z)\ dz = \int_{\gamma_2partial S_2} f(z)\ dz. </math>
 
=== Esistenza di una primitiva ===
Riga 84:
La funzione <math>F</math> è effettivamente olomorfa e la sua derivata è proprio <math>f</math>. Ciò può essere verificato nel modo seguente:
:<math>\lim_{h\to 0} \frac {F(z+h)-F(z)}{h} = \lim_{h\to 0}\frac 1h\left(\int_{\delta_{z+h}}f(\zeta)d\zeta - \int_{\delta_z}f(\zeta)d\zeta\right) </math>
Prendendo come <math>\delta_{z+h} </math> il concatenamento di una <math>\delta_z</math> qualsiasi e di una piccola curva <math>\gamma_hpartial S_h</math> che congiunge <math>z</math> e <math>z+h</math>, ciò è equivalente a
:<math> \lim_{h\to 0} \frac 1h\int_{\gamma_hpartial S_h}f(\zeta)d\zeta = f(z). </math>
 
== Generalizzazione ==