Formula integrale di Cauchy

Da Wikipedia, l'enciclopedia libera.

In matematica, la formula integrale di Cauchy è uno strumento fondamentale in analisi complessa. Il teorema mette in relazione il valore di una funzione olomorfa in un punto con un integrale di linea lungo una curva semplice chiusa.

Dalla formula di Cauchy dipendono numerose proprietà delle funzioni olomorfe.

Enunciato[modifica | modifica wikitesto]

Formula di Cauchy.gif

Sia  f(z) una funzione olomorfa in un dominio A semplicemente connesso del piano complesso \mathbb{C}. Sia \gamma una curva semplice chiusa, percorsa in senso antiorario, contenuta in A. Sia S la regione racchiusa da \gamma e z un punto qualsiasi interno ad S, che non sia sulla curva \gamma; allora vale la relazione:

f(z) = \frac {1} {2\pi i} \cdot \oint_{\gamma} \frac {f(\xi)}{\xi- z} \,d\xi.

La formula di Cauchy esprime quindi il valore di una funzione in ogni punto del dominio  S mediante i valori che essa assume sul contorno di tale dominio, tramite un integrale di linea.

Dimostrazione[modifica | modifica wikitesto]

Consideriamo un cerchio C_\varepsilon centrato in z di raggio \varepsilon che sia interamente contenuto in S. Per il Teorema integrale di Cauchy sono uguali i due integrali

\frac{1}{{2\pi i}}\oint_\gamma  {\frac{{f\left( \xi \right)}}{{\xi - z }}d\xi}  = \frac{1}{{2\pi i}}\oint_{C_\varepsilon  } {\frac{{f\left( \xi \right)}}{{\xi - z}}d\xi}

Il secondo integrale può essere calcolato con la sostituzione \xi-z=\varepsilon e^{i\theta}, ottenendo

\frac{1}{{2\pi i}}\oint_{C_\varepsilon  } {\frac{{f\left( \xi \right)}}{{\xi - z}}d\xi}  = \frac{1}{{2\pi }}\int_0^{2\pi } {f\left( {z + \varepsilon e^{i\theta } } \right)d\theta }

Ma per il Teorema integrale di Cauchy l'integrale sul cerchio è indipendente dal raggio, pertanto possiamo calcolarlo per qualunque \varepsilon, in particolare possiamo far tendere \varepsilon a 0, e siccome f(z) è continua si ottiene

\lim\limits_{\varepsilon  \to 0} \frac{1}{{2\pi }}\int_0^{2\pi } {f\left( {z  + \varepsilon e^{i\theta } } \right)d\theta }  = \frac{{f\left( z \right)}}{{2\pi }}\int_0^{2\pi } {d\theta }  = f\left( z \right)

e quindi in definitiva

\frac{1}{{2\pi i}}\oint_\gamma  {\frac{{f\left( \xi \right)}}{{\xi - z}}d\xi}  = f\left(z \right)

Applicazioni[modifica | modifica wikitesto]

Derivate[modifica | modifica wikitesto]

Dalla formula di Cauchy segue che ogni funzione olomorfa è derivabile infinite volte. Le derivate della funzione sono calcolabili tramite una formula analoga, valida nelle stesse ipotesi descritte sopra:

\frac{{d^n f\left( z \right)}}{{dz^n }} = \frac{{n!}}{{2\pi i}}\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)^{n + 1} }}d\xi}

Dimostrazione[modifica | modifica wikitesto]

Consideriamo un incremento \Delta z in modo che sia (z+\Delta z) \in S. Utilizzando la rappresentazione integrale scriviamo:

f (z + \Delta z) - f(z) = \frac{1}{2\pi i} \oint_\gamma \frac{f( \xi)}{\xi - z - \Delta z} d\xi - \frac{1}{2 \pi i} \oint_{\gamma} \frac{f(\xi)}{\xi - z} d\xi  = \frac{\Delta z}{2 \pi i} \oint_{\gamma} \frac{f (\xi)}{(\xi - z)(\xi - z - \Delta z)}d\xi

Quindi:

\frac{f (z + \Delta z) - f(z)}{\Delta z} = \frac{1}{2\pi i} \oint_{\gamma} \frac{f( \xi)}{(\xi - z)(\xi - z - \Delta z)} d\xi

passando al limite per \Delta z \rightarrow 0 si ottiene:

f'(z) = \frac {1}{2\pi i} \oint_{\gamma} \frac {f(\xi)}{(\xi- z)^2} \,d\xi.

Per ottenere questo risultato si poteva pensare di derivare direttamente sotto il segno di integrale, ma la giustificazione di questo approccio è contenuta nell'analisi precedente. Ora però per calcolare le successive derivate possiamo derivare direttamente sotto il segno di integrale. Abbiamo già dimostrato che la formula di derivazione è vera per n=1, pertanto procediamo per induzione: dimostriamo che se è vera per n allora è vera anche per n+1:

\frac{d}{{dz}}\left[ {\frac{{d^n f\left( z \right)}}{{dz^n }}} \right] = \frac{d}{{dz}}\left[ {\frac{{n!}}{{2\pi i}}\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)^{n + 1} }}d\xi} } \right] = \frac{{n!}}{{2\pi i}}\oint_\gamma  {f\left( {\xi} \right)\frac{d}{{dz}}\left[ {\frac{1}{{\left( {\xi - z} \right)^{n + 1} }}} \right]d\xi = }
= \frac{{n!\left( {n + 1} \right)}}{{2\pi i}}\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)^{\left( {n + 1} \right) + 1} }}d\xi}  = \frac{{\left( {n + 1} \right)!}}{{2\pi i}}\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)^{\left( {n + 1} \right) + 1} }}d\xi}  = \frac{{d^{n + 1} f\left( z \right)}}{{dz^{n + 1} }}

Teorema della Media[modifica | modifica wikitesto]

Il valore di una funzione analitica f(z) in un punto coincide con la media dei valori assunti dalla funzione sui punti di un cerchio di raggio arbitrario r centrato in z, ovvero

f\left( z \right) = \frac{1}{{2\pi }}\int_0^{2\pi } {f\left( {z + re^{i\theta } } \right)d\theta }

Ovviamente il raggio deve essere scelto in modo che il cerchio sia interamente contenuto nel dominio di analicità della f(z) e non contenga punti singolari.

Dimostrazione[modifica | modifica wikitesto]

Basta utilizzare il teorema di rappresentazione integrale sul cerchio di raggio r centrato in z ed usare la sostituzione \xi-z=re^{i\theta} ottenendo

f\left( z \right) = \frac{1}{{2\pi i}}\oint_{C_r } {\frac{{f\left( {\xi} \right)}}{{\xi - z}}d\xi}  = \frac{1}{{2\pi i}}\int_0^{2\pi } {\frac{{f\left( {z + re^{i\theta } } \right)}}{{re^{i\theta } }}ire^{i\theta } d\theta }  = \frac{1}{{2\pi }}\int_0^{2\pi } {f\left( {z + re^{i\theta } } \right)d\theta }

Stime[modifica | modifica wikitesto]

Sia f(z) una funzione limitata \left| {f\left( z \right)} \right| \le M, \gamma una curva chiusa contenuta nella regione di analicità di f(z), L la lunghezza della curva e \delta la distanza minima tra un punto z e \gamma. Valgono allora le seguenti disuguaglianze:

\left| {f\left( z \right)} \right| \le \frac{{ML}}{{2\pi \delta }}
\left| {\frac{{d^n f\left( z \right)}}{{dz^n }}} \right| \le \frac{{n!ML}}{{2\pi \delta ^{n + 1} }}

Dimostrazione[modifica | modifica wikitesto]

La dimostrazione è semplice, basta osservare le seguenti disuguaglianze nelle quali si è usata la Disuguaglianza di Darboux considerando che \left| {f\left( z \right)} \right| \le M e che \left| {\xi-z} \right| \ge \delta

\left| {f\left( z \right)} \right| = \left| {\frac{1}{{2\pi }}\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\xi - z}}d\xi} } \right| \le \frac{1}{{2\pi }}\oint_\gamma  {\left| {\frac{{f\left( {\xi} \right)}}{{\xi - z}}} \right|d\xi}  \le \frac{M}{{2\pi \delta }}\oint_\gamma  {d\xi}  = \frac{{ML}}{{2\pi \delta }}
\left| {\frac{{d^n f\left( z \right)}}{{dz^n }}} \right| = \left| {\frac{{n!}}{{2\pi }}\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)^{n + 1} }}d\xi} } \right| \le \frac{{n!}}{{2\pi }}\oint_\gamma  {\left| {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)^{n + 1} }}} \right|d\xi}  \le
\le \frac{{n!M}}{{2\pi \delta ^{n + 1} }}\oint_\gamma  {d\xi}  = \frac{{n!ML}}{{2\pi \delta ^{n + 1} }}

Inverso del teorema di rappresentazione integrale[modifica | modifica wikitesto]

Se una funzione f(z) può essere scritta nella forma

f\left( z \right) = \frac{1}{2\pi i}\oint_\gamma  {\frac{{f\left( {z'} \right)}}{{z' - z}}dz'}

e f(z) è una funzione continua, allora f(z) è una funzione analitica all'interno del dominio  S delimitato dalla curva \gamma.

Dimostrazione[modifica | modifica wikitesto]

Calcoliamo

\left| {\frac{{f\left( {z + \Delta z} \right) - f\left( z \right)}}{{\Delta z}} - \frac{1}{2\pi i}\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)^2 }}d\xi} } \right| =
= \frac{1}{2\pi}\left| {\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z - \Delta z} \right)\Delta z}}d\xi}  - \oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)\Delta z}}d\xi - \oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)^2 }}d\xi} } } \right| =
 = \frac{1}{2\pi}\left| {\Delta z\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z - \Delta z} \right)\left( {\xi - z} \right)^2 }}d\xi} } \right|

per ipotesi f(z) è continua, quindi anche limitata (altrimenti non potremmo calcolare l'integrale), quindi

\lim \limits_{\Delta z \to 0} \left| {\Delta z\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z - \Delta z} \right)\left( {\xi - z} \right)^2 }}d\xi} } \right| = 0

pertanto esiste la derivata di f(z)

\frac{{df\left( z \right)}}{{dz}} = \frac{1}{2\pi i}\oint_\gamma  {\frac{{f\left( {\xi} \right)}}{{\left( {\xi - z} \right)^2 }}d\xi}

ma se esiste la derivata allora valgono le condizioni di Cauchy-Riemann, quindi la f(z) è analitica.

Bibliografia[modifica | modifica wikitesto]

  • (EN) A.B. Aleksandrov, Essays on non locally convex Hardy classes V.P. Havin [V.P. Khavin] (ed.) N.K. Nikol'skii (ed.) , Complex analysis and spectral theory , Springer (1981) pp. 1–89
  • (EN) M. Christ, J.L. Journé, Estimates for multilinear singular integral operators with polynomial growth (1986)

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica