Fórmula de la integral de Cauchy

Plantilla:Confusió En matemàtiques, la fórmula de la integral de Cauchy, que porta el nom d'Augustin-Louis Cauchy, és una afirmació central en l'anàlisi complexa. Expressa el fet que una funció holomorfa definida en un disc està completament determinada pels seus valors al límit del disc, i proporciona fórmules integrals per a totes les derivades d'una funció holomorfa.

La fórmula de Cauchy mostra que, en l'anàlisi complexa, «la diferenciació és equivalent a la integració»: la diferenciació complexa, com la integració, es comporta bé sota límits uniformes, un resultat que no s'aplica a l'anàlisi real.

Teorema

Sigui U un subconjunt obert del pla complex Plantilla:Math, i suposem el disc tancat D definit com

$D=\{z:|z-z_0|\le r\}$

està completament contingut en U. Sigui Plantilla:Math una funció holomorfa, i sigui γ el cercle, orientat en sentit contrari a les agulles del rellotge, que forma el límit de D. Aleshores, per a cada a a l'interior de D,

$f(a)=\frac{1}{2\pi i}{\oint }_{\gamma }\frac{f(z)}{z-a}\mathrm{d}z.$

La demostració d'aquesta afirmació utilitza el teorema integral de Cauchy i, com aquest teorema, només requereix que f sigui derivable complex.

A partir de $1/(z-a)$ es pot ampliar com una sèrie de potències a la variable $a$

$\frac{1}{z-a}=\frac{1+\frac{a}{z}+{\left(\frac{a}{z}\right)}^2+\cdots }{z}$

es dedueix que les funcions holomorfa són analítiques, és a dir, es poden expandir com a sèries de potències convergents. En particular f és en realitat infinitament derivable, amb

$f^{(n)}(a)=\frac{n!}{2\pi i}{\oint }_{\gamma }\frac{f(z)}{{(z-a)}^{n+1}}dz.$

Aquesta fórmula de vegades es coneix com la fórmula de diferenciació de Cauchy.

El teorema exposat anteriorment es pot generalitzar. El cercle γ es pot substituir per qualsevol corba rectificable tancada en U que té el número sinuòs 1 sobre a. A més, pel que fa al teorema integral de Cauchy, n'hi ha prou amb exigir que f sigui holomorfa a la regió oberta tancada pel camí i continu en el seu tancament.

Tingueu en compte que no totes les funcions contínues del límit es poden utilitzar per produir una funció dins del límit que s'ajusti a la funció de límit donada. Per exemple, si posem la funció Plantilla:Math, definit per |z| = 1, a la fórmula integral de Cauchy, obtenim zero per a tots els punts dins del cercle. De fet, donar només la part real al límit d'una funció holomorfa és suficient per determinar la funció llevat d'una constant imaginària; només hi ha una part imaginària al límit que correspon a la part real donada, fins a l'addició d'una constant. Podem utilitzar una combinació d'una transformació de Möbius i la fórmula d'inversió de Stieltjes per construir la funció holomorfa a partir de la part real del límit. Per exemple, la funció Plantilla:Math té part real Plantilla:Math. Al cercle unitat es pot escriure Plantilla:Math. Utilitzant la transformació de Möbius i la fórmula de Stieltjes construïm la funció dins del cercle. El terme Plantilla:Math no fa cap contribució, i trobem la funció Plantilla:Math. Això té la part real correcta al límit i també ens dona la part imaginària corresponent, però desactivada per una constant, és a dir, i.

Esbós de la prova

Utilitzant el teorema de la integral de Cauchy, es pot demostrar que la integral sobre C (o la corba rectificable tancada) és igual a la mateixa integral presa sobre un cercle arbitràriament petit al voltant de a. Com que f(z) és contínua, podem triar un cercle prou petit on f(z) sigui arbitràriament proper a f(a).

D'altra banda, la integral

${\oint }_C\frac{1}{z-a}dz=2\pi i,$

sobre qualsevol cercle C centrat en a. Això es pot calcular directament mitjançant una parametrització (integració per substitució) Plantilla:Math on Plantilla:Math i ε és el radi del cercle.

Fent Plantilla:Math dona l'estimació desitjada

$\begin{array}{cc}|\frac{1}{2\pi i}{\oint }_C\frac{f(z)}{z-a}dz-f(a)|& =\left|\frac{1}{2\pi i}{\oint }_C\frac{f(z)-f(a)}{z-a}dz\right|\\ & =\left|\frac{1}{2\pi i}\underset{0}{\overset{2\pi }{\int }}(\frac{f(z(t))-f(a)}{\epsilon e^{it}}\cdot \epsilon e^{it}i)dt\right|\\ & \le \frac{1}{2\pi }\underset{0}{\overset{2\pi }{\int }}\frac{|f(z(t))-f(a)|}{\epsilon }\epsilon dt\\ & \le \underset{|z-a|=\epsilon }{\max }|f(z)-f(a)|\underset{\epsilon \to 0}{\overset{}{\to }}0.\end{array}$

Exemple

Fitxer:ComplexResiduesExample.png

Superfície de la part real de la funció Plantilla:Math i les seves singularitats, amb els contorns descrits en el text.

Sigui

$g(z)=\frac{z^2}{z^2+2z+2},$

i sigui C el contorn descrit per |z| = 2 (el cercle de radi 2).

Per trobar la integral de g(z) al voltant del contorn C, hem de conèixer les singularitats de g(z). Observem que podem reescriure g de la següent manera:

$g(z)=\frac{z^2}{(z-z_1)(z-z_2)}$

on Plantilla:Math i Plantilla:Math.

Així, g té pols a Plantilla:Math i Plantilla:Math. Els mòduls d'aquests punts són inferiors a 2 i, per tant, es troben dins del contorn. Aquesta integral es pot dividir en dues integrals més petites pel teorema de Cauchy-Goursat; és a dir, podem expressar la integral al voltant del contorn com la suma de la integral al voltant de Plantilla:Math i Plantilla:Math on el contorn és un petit cercle al voltant de cada pol. Anomenem aquests contorns Plantilla:Math al voltant de Plantilla:Math i Plantilla:Math al voltant de Plantilla:Math.

Ara, cadascuna d'aquestes integrals més petites es pot avaluar mitjançant la fórmula integral de Cauchy, però primer s'han de reescriure per aplicar el teorema. Per a la integral al voltant de Plantilla:Math, definim Plantilla:Math com Plantilla:Math. Això és analític (ja que el contorn no conté l'altra singularitat).

Podem simplificar Plantilla:Math perquè sigui:

$f_1(z)=\frac{z^2}{z-z_2}$

i ara

$g(z)=\frac{f_1(z)}{z-z_1}.$

Com que la fórmula integral de Cauchy diu que:

${\oint }_C\frac{f_1(z)}{z-a}dz=2\pi i\cdot f_1(a),$

podem avaluar la integral de la següent manera:

${\oint }_{C_1}g(z)dz={\oint }_{C_1}\frac{f_1(z)}{z-z_1}dz=2\pi i\frac{z_1^2}{z_1-z_2}.$

Fent el mateix per a l'altre contorn:

$f_2(z)=\frac{z^2}{z-z_1},$

avaluem

${\oint }_{C_2}g(z)dz={\oint }_{C_2}\frac{f_2(z)}{z-z_2}dz=2\pi i\frac{z_2^2}{z_2-z_1}.$

Llavors, la integral al voltant del contorn original C és la suma d'aquestes dues integrals:

$\begin{array}{cc}{\oint }_{C}g(z)dz& ={\oint }_{C_1}g(z)dz+{\oint }_{C_2}g(z)dz\\ & =2\pi i(\frac{z_1^2}{z_1-z_2}+\frac{z_2^2}{z_2-z_1})\\ & =2\pi i(-2)\\ & =-4\pi i.\end{array}$

Un truc elemental és utilitzar la descomposició en fraccions parcials:

${\oint }_{C}g(z)dz={\oint }_C(1-\frac{1}{z-z_1}-\frac{1}{z-z_2})dz=0-2\pi i-2\pi i=-4\pi i$

Conseqüències

La fórmula integral té aplicacions àmplies. En primer lloc, implica que una funció que és holomorfa en un conjunt obert és de fet infinitament derivable allí. A més, és una funció analítica, és a dir, es pot representar com una sèrie de potències. La demostració d'això utilitza el teorema de convergència dominada i la sèrie geomètrica aplicada a

$f(\zeta )=\frac{1}{2\pi i}\underset{C}{\int }\frac{f(z)}{z-\zeta }dz.$

La fórmula també s'utilitza per demostrar el teorema dels residus, que és un resultat per a funcions meromorfes, i un resultat relacionat, el principi de l'argument. Pel teorema de Morera se sap que el límit uniforme de les funcions holomorfes és holomorfa. Això també es pot deduir de la fórmula integral de Cauchy; de fet, la fórmula també es manté en el límit i l'integrand i, per tant, la integral, es pot expandir com una sèrie de potències. A més, les fórmules de Cauchy per a les derivades d'ordre superior mostren que totes aquestes derivades també convergeixen uniformement.

L'anàleg de la fórmula integral de Cauchy en l'anàlisi real és la fórmula integral de Poisson per a funcions harmòniques; molts dels resultats de les funcions holomorfes es traslladen a aquesta configuració. No obstant això, aquests resultats no són vàlids per a classes més generals de funcions analítiques diferenciables o reals. Per exemple, l'existència de la primera derivada d'una funció real no necessàriament implica l'existència de derivades d'ordre superior, ni en particular l'analiticitat de la funció. De la mateixa manera, el límit uniforme d'una successió de funcions diferenciables (reals) pot no ser diferenciable, o pot ser diferenciable però amb una derivada que no sigui el límit de les derivades dels membres de la seqüència.

Una altra conseqüència és que si Plantilla:Math és holomorfa en |z| < R i Plantilla:Math llavors els coeficients Plantilla:Math satisfan la desigualtat de Cauchy.Plantilla:Sfn

$|a_n|\le r^{-n}\underset{|z|=r}{\sup }|f(z)|.$

A partir de la desigualtat de Cauchy, es pot deduir fàcilment que tota funció sencera acotada ha de ser constant (que és el teorema de Liouville).

Generalizations

Funcions suaus

Una versió de la fórmula integral de Cauchy és la fórmula de Cauchy-Pompeiu,Plantilla:Sfn i també és vàlida per a funcions suaus, ja que es basa en el teorema de Stokes. Sigui D un disc a Plantilla:Math i suposem que f és una funció C¹ de valor complex a la clausura de D. AleshoresPlantilla:Sfn

$f(\zeta )=\frac{1}{2\pi i}\underset{\partial D}{\int }\frac{f(z)dz}{z-\zeta }-\frac{1}{\pi }\underset{D}{\iint }\frac{\partial f}{\partial \overline{z}}(z)\frac{dx\wedge dy}{z-\zeta }.$

Es pot utilitzar aquesta fórmula de representació per resoldre les equacions de Cauchy-Riemann no homogènies en D. De fet, si φ és una funció en D, aleshores una solució particular f de l'equació és una funció holomorfa fora del suport de μ. A més, si en un conjunt obert D,

$d\mu =\frac{1}{2\pi i}\phi dz\wedge d\overline{z}$

per a alguns φ ∈ C^k(D) (on Plantilla:Math),aleshores Plantilla:Math és també en C^k(D) i compleix l'equació

$\frac{\partial f}{\partial \overline{z}}=\phi (z,\overline{z}).$

La primera conclusió és, de manera succinta, que la convolució Plantilla:Math d'una mesura de suport compacte amb el nucli de Cauchy

$k(z)=\mathrm{p.v.}\frac{1}{z}$

és una funció holomorfa fora del suport de μ. Aquí p.v. indica el valor principal. La segona conclusió afirma que el nucli de Cauchy és una solució fonamental de les equacions de Cauchy-Riemann. Tingueu en compte que per a funcions suaus de valors complexos f de suport compacte en Plantilla:Math la fórmula integral de Cauchy generalitzada es simplifica a

$f(\zeta )=\frac{1}{2\pi i}\iint \frac{\partial f}{\partial \overline{z}}\frac{dz\wedge d\overline{z}}{z-\zeta },$

i és una reafirmació del fet que, considerada com a distribució, Plantilla:Math és una solució fonamental de l'operador de Cauchy-Riemann Plantilla:Math.Plantilla:Sfn La fórmula integral de Cauchy generalitzada es pot deduir per a qualsevol regió oberta limitada X amb C¹ límit ∂X d'aquest resultat i la fórmula per a la derivada distributiva de la funció característica Plantilla:Math de X:

$\frac{\partial {\chi }_X}{\partial \overline{z}}=\frac{i}{2}{\oint }_{\partial X}dz,$

on la distribució del costat dret denota la integració del contorn al llarg de Plantilla:Math.Plantilla:Sfn

Diverses variables

En diverses variables complexes, la fórmula integral de Cauchy es pot generalitzar a polidiscs.Plantilla:Sfn Sigui D el polidisc donat com el producte cartesià de n discos oberts Plantilla:Math:

$D=\prod _{i=1}^n{D}_i.$

Suposem que f és una funció holomorfa en D contínua a la clausura de D. Aleshores

$f(\zeta )=\frac{1}{{\left(2\pi i\right)}^n}\int \cdots \underset{\partial D_1\times \cdots \times \partial D_n}{\iint }\frac{f(z_1,\dots ,z_n)}{(z_1-{\zeta }_1)\cdots (z_n-{\zeta }_n)}d{z}_1\cdots d{z}_n$

on Plantilla:Math.

En àlgebres reals

La fórmula integral de Cauchy és generalitzable a espais vectorials reals de dues o més dimensions. La visió d'aquesta propietat prové de l'àlgebra geomètrica, on es consideren objectes més enllà dels escalars i vectors (com ara bivectors planars i trivectors volumètrics), i una generalització adequada del teorema de Stokes.

El càlcul geomètric defineix un operador diferencial Plantilla:Math i sota el seu producte geomètric, és a dir, per a un camp k-vector Plantilla:Math, la derivada Plantilla:Math generalment conté termes de grau Plantilla:Math i Plantilla:Math. Per exemple, un camp vectorial (Plantilla:Math) té generalment en la seva derivada una part escalar, la divergència (k = 0), i una part bivectora, el rotacional (Plantilla:Math). Aquest operador diferencial particular té una funció de Green:

$G(𝐫,{𝐫}^{\prime })=\frac{1}{S_n}\frac{𝐫-{𝐫}^{\prime }}{{|𝐫-{𝐫}^{\prime }|}^n}$

on Plantilla:Math és l'àrea superficial d'una unitat n-bola a l'espai (és a dir, Plantilla:Math, la circumferència d'un cercle de radi 1, i Plantilla:Math, l'àrea superficial d'una esfera de radi 1). Per definició de funció de Green,

$\mathrm{\nabla }G(𝐫,{𝐫}^{\prime })=\delta (𝐫-{𝐫}^{\prime }).$

Aquesta propietat útil és la que es pot utilitzar, juntament amb el teorema generalitzat de Stokes:

${\oint }_{\partial V}d𝐒f(𝐫)=\underset{V}{\int }d𝐕\mathrm{\nabla }f(𝐫)$

on, per a un espai vectorial n-dimensional, Plantilla:Math és un (n - 1)-vector i Plantilla:Math és un n-vector. La funció Plantilla:Math pot, en principi, estar composta per qualsevol combinació de multivectors. La demostració del teorema integral de Cauchy per a espais de dimensions superiors es basa en l'ús del teorema generalitzat de Stokes sobre la quantitat Plantilla:Math i en l'ús de la regla del producte:

${\oint }_{\partial V^{\prime }}G(𝐫,{𝐫}^{\prime })d{𝐒}^{\prime }f\left({𝐫}^{\prime }\right)=\underset{V}{\int }(\left[{\mathrm{\nabla }}^{\prime }G(𝐫,{𝐫}^{\prime })\right]f\left({𝐫}^{\prime }\right)+G(𝐫,{𝐫}^{\prime }){\mathrm{\nabla }}^{\prime }f\left({𝐫}^{\prime }\right))d𝐕$

Quan Plantilla:Math, Plantilla:Math s'anomena funció monogènica, la generalització de funcions holomorfes a espais de dimensions superiors; de fet, es pot demostrar que la condició de Cauchy-Riemann és només l'expressió bidimensional de la condició monogènica. Quan es compleix aquesta condició, el segon terme de la integral de la dreta s'esvaeix, deixant només

${\oint }_{\partial V^{\prime }}G(𝐫,{𝐫}^{\prime })d{𝐒}^{\prime }f\left({𝐫}^{\prime }\right)=\underset{V}{\int }\left[{\mathrm{\nabla }}^{\prime }G(𝐫,{𝐫}^{\prime })\right]f\left({𝐫}^{\prime }\right)=-\underset{V}{\int }\delta (𝐫-{𝐫}^{\prime })f\left({𝐫}^{\prime }\right)d𝐕=-i_{n}f(𝐫)$

on Plantilla:Math és la unitat n-vector d'aquesta àlgebra, el pseudoescalar. El resultat és

$f(𝐫)=-\frac{1}{i_n}{\oint }_{\partial V}G(𝐫,{𝐫}^{\prime })d𝐒f\left({𝐫}^{\prime }\right)=-\frac{1}{i_n}{\oint }_{\partial V}\frac{𝐫-{𝐫}^{\prime }}{S_n{|𝐫-{𝐫}^{\prime }|}^n}d𝐒f\left({𝐫}^{\prime }\right)$

Així, com en el cas bidimensional (anàlisi complexa), el valor d'una funció analítica (monogènica) en un punt es pot trobar mitjançant una integral sobre la superfície que envolta el punt, i això és vàlid no només per a funcions escalars sinó per a vectors i també funcions generals de multivectors.

Bibliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre

Vegeu també

• Equacions de Cauchy-Riemann
• Fórmula de Bochner-Martinelli
• Fórmula de la integral de Schwarz
• Fórmula de Parseval-Gutzmer
• Funció de Green
• Mètodes de contorn de integració
• Teorema de Mittag-Leffler
• Teorema de Morera
• Teorema de Nachbin

Enllaços externs

• Plantilla:Springer
• Plantilla:MathWorld

Plantilla:Autoritat