Criteri de la integral de Cauchy

El test de la integral aplicat a la sèrie harmònica. Com que l'àrea sota la corba Plantilla:Math per Plantilla:Math és infinita, l'àrea total dels rectangles també ha de ser infinita.

En matemàtiques, el criteri de la integral de Cauchy és un mètode utilitzat per comprovar si una sèrie infinita de termes no negatius és convergent. Fou desenvolupat per Colin Maclaurin i Augustin-Louis Cauchy i de vegades es coneix com a criteri de Maclaurin–Cauchy.

Enunciat del teorema

Sigui N un enter no negatiu, i sigui f una funció contínua definida en l'interval no fitat Plantilla:Nowrap, on f és monòtona decreixent. Llavors la sèrie infinita

$\sum _{n=N}^{\mathrm{\infty }}f(n)$

convergeix a un nombre real si i només si la integral impròpia

$\underset{N}{\overset{\mathrm{\infty }}{\int }}f(x)dx$

és finita. En altres paraules, si la integral divergeix, llavors la sèrie també divergeix.

Comentari

Si la integral impròpia és finita, llavors el criteri també dona les fites inferior i superiorPlantilla:NumBlkper a la sèrie infinita.

Demostració

La demostració bàsicament utilitza la prova de comparació directa, comparant el terme f(n) amb la integral de f sobre els intervals Plantilla:Nowrap i Plantilla:Nowrap, respectivament.

Com que Plantilla:Math és una funció monòtona decreixent, llavors es té que

$f(x)\le f(n)\text{per a tot }x\in [n,\mathrm{\infty })$

i

$f(n)\le f(x)\text{per a tot }x\in [N,n].$

Per tant, per a tot enter Plantilla:Nowrap,Plantilla:NumBlki, per a tot enter Plantilla:Nowrap,Plantilla:NumBlkSumant sobre tots els n des dPlantilla:'N fins a un cert enter M més gran, hom obté, a partir de (Plantilla:EquationNote),

$\underset{N}{\overset{M+1}{\int }}f(x)dx=\sum _{n=N}^M\underset{\le f(n)}{\underbrace{\underset{n}{\overset{n+1}{\int }}f(x)dx}}\le \sum _{n=N}^{M}f(n)$

i de (Plantilla:EquationNote)

$\sum _{n=N}^{M}f(n)\le f(N)+\sum _{n=N+1}^M\underset{\ge f(n)}{\underbrace{\underset{n-1}{\overset{n}{\int }}f(x)dx}}=f(N)+\underset{N}{\overset{M}{\int }}f(x)dx.$

Combinant aquests dos resultats, s'obté

$\underset{N}{\overset{M+1}{\int }}f(x)dx\le \sum _{n=N}^{M}f(n)\le f(N)+\underset{N}{\overset{M}{\int }}f(x)dx.$

Si Plantilla:Math tendeix a infinit, hom obté les fites de (Plantilla:EquationNote) i el resultat.

Aplicacions

La sèrie harmònica

$\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n}$

divergeix perquè, utilitzant el logaritme natural, la seva antiderivada, i el teorema fonamental de càlcul, hom obté

$\underset{1}{\overset{M}{\int }}\frac{1}{n}dn=\ln n{|}_1^M=\ln M\to \mathrm{\infty }\text{per }M\to \mathrm{\infty }.$

D'altra banda, la sèrie

$\zeta (1+\epsilon )=\sum _{x=1}^{\mathrm{\infty }}\frac{1}{x^{1+\epsilon }}$

(vegeu funció zeta de Riemann) convergeix per a tot Plantilla:Nowrap, perquè, per la regla de la potència,

$\underset{1}{\overset{M}{\int }}\frac{1}{x^{1+\epsilon }}dx=-\frac{1}{\epsilon x^{\epsilon }}{|}_1^M=\frac{1}{\epsilon }(1-\frac{1}{M^{\epsilon }})\le \frac{1}{\epsilon }<\mathrm{\infty }\text{per a tot }M\ge 1.$

A partir de (Plantilla:EquationNote) hom obté la fita superior

$\zeta (1+\epsilon )=\sum _{x=1}^{\mathrm{\infty }}\frac{1}{x^{1+\epsilon }}\le \frac{1+\epsilon }{\epsilon },$

que es pot comparar amb alguns dels valors particulars de la funció zeta de Riemann.

Frontera entre divergència i convergència

L'exemple anterior sobre la sèrie harmònica planteja la pregunta de quines són les successions monòtones tals que Plantilla:Nowrap tendeix a 0 més ràpidament que Plantilla:Nowrap però més lentament que Plantilla:Nowrap en el sentit que

$\underset{n\to \mathrm{\infty }}{\lim }\frac{f(n)}{1/n}=0\text{i}\underset{n\to \mathrm{\infty }}{\lim }\frac{f(n)}{1/n^{1+\epsilon }}=\mathrm{\infty }$

per a tot Plantilla:Nowrap, i si la sèrie corresponent de Plantilla:Nowrap encara divergeix. Un cop que es pot trobar una tal successió, hom es pot plantejar una qüestió similar amb Plantilla:Nowrap prenent el rol de Plantilla:Nowrap i així successivament. D'aquesta manera es pot investigar la frontera entre la divergència i la convergència de les sèries infinites.

Emprant el criteri integral de convergència, es pot demostrar (veu més avall) que, per a tot nombre natural Plantilla:Math, la sèriePlantilla:NumBlkencara divergeix (vegeu la demostració de què la suma del recíprocs dels nombres primers divergeix per a Plantilla:Math), peròPlantilla:NumBlkconvergeix per a tot Plantilla:Nowrap. Aquí ln_k denota la k-composició del logaritme natural definit recursivament com

${\ln }_k(x)=\{\begin{array}{cc}\ln (x)& \text{per a }k=1,\\ \ln ({\ln }_{k-1}(x))& \text{per a }k\ge 2.\end{array}$

Addicionalment, N_k denota el nombre natural més petit tal que la k-composició està ben definida i Plantilla:Nowrap és a dir:

$N_k\ge \underset{k{e}^{\prime }\text{s}}{\underbrace{e^{e^{{\cdot }^{{\cdot }^e}}}}}=e\uparrow \uparrow k$

usant la notació de tetració o la notació fletxa de Knuth.

Per veure la divergència de la sèrie (Plantilla:EquationNote) utilitzant el criteri de la integral, cal observar que, aplicant reiteradament la regla de cadena

$\frac{d}{dx}{\ln }_{k+1}(x)=\frac{d}{dx}\ln ({\ln }_k(x))=\frac{1}{{\ln }_k(x)}\frac{d}{dx}{\ln }_k(x)=\cdots =\frac{1}{x\ln (x)\cdots {\ln }_k(x)},$

Per tant,

$\underset{N_k}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{x\ln (x)\cdots {\ln }_k(x)}={\ln }_{k+1}(x){|}_{N_k}^{\mathrm{\infty }}=\mathrm{\infty }.$

Per veure la convergència de la sèrie (Plantilla:EquationNote), cal observar que, per la regla de la potència, la regla de cadena i el resultat anterior,

$-\frac{d}{dx}\frac{1}{\epsilon ({\ln }_k(x){)}^{\epsilon }}=\frac{1}{({\ln }_k(x){)}^{1+\epsilon }}\frac{d}{dx}{\ln }_k(x)=\cdots =\frac{1}{x\ln (x)\cdots {\ln }_{k-1}(x)({\ln }_k(x){)}^{1+\epsilon }},$

Per tant,

$\underset{N_k}{\overset{\mathrm{\infty }}{\int }}\frac{dx}{x\ln (x)\cdots {\ln }_{k-1}(x)({\ln }_k(x){)}^{1+\epsilon }}=-\frac{1}{\epsilon ({\ln }_k(x){)}^{\epsilon }}{|}_{N_k}^{\mathrm{\infty }}<\mathrm{\infty }$

i (Plantilla:EquationNote) proporciona fites per a la sèrie infinita de (Plantilla:EquationNote).

Bibliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-llibre   

Vegeu també

• Test de convergència
• Convergència (matemàtiques)
• Test de comparació directa