Articulo de referencia

Prueba de comparación directa

En matemáticas , el criterio de comparación , a veces llamado criterio de comparación directa para distinguirlo de otros criterios similares (especialmente el criterio de compar...

En matemáticas , el criterio de comparación , a veces llamado criterio de comparación directa para distinguirlo de otros criterios similares (especialmente el criterio de comparación de límites ), proporciona una forma de deducir si una serie infinita o una integral impropia converge o diverge comparándola con otra cuyas propiedades de convergencia se conocen.

Para la serie

En cálculo , la prueba de comparación para series generalmente consiste en un par de enunciados sobre series infinitas con términos no negativos ( de valor real ): [ 1 ]

  • Si la serie infinitabnorte{\displaystyle \sum b_{n}}converge y0anortebnorte{\displaystyle 0\leq a_{n}\leq b_{n}}para todo n suficientemente grande (es decir, para todonorte>norte{\displaystyle n>N}para algún valor fijo N ), entonces la serie infinitaanorte{\displaystyle \sum a_{n}}también converge.
  • Si la serie infinitabnorte{\displaystyle \sum b_{n}}diverge y0bnorteanorte{\displaystyle 0\leq b_{n}\leq a_{n}}para todo n suficientemente grande , entonces la serie infinitaanorte{\displaystyle \sum a_{n}}También diverge.

Nótese que a veces se dice que la serie con términos más largos domina (o eventualmente domina ) a la serie con términos más cortos. [ 2 ]

Alternativamente, la prueba puede enunciarse en términos de convergencia absoluta , en cuyo caso también se aplica a series con términos complejos : [ 3 ]

  • Si la serie infinitabnorte{\displaystyle \sum b_{n}}es absolutamente convergente y|anorte||bnorte|{\displaystyle |a_{n}|\leq |b_{n}|}para todo n suficientemente grande , entonces la serie infinitaanorte{\displaystyle \sum a_{n}}También es absolutamente convergente.
  • Si la serie infinitabnorte{\displaystyle \sum b_{n}}no es absolutamente convergente y|bnorte||anorte|{\displaystyle |b_{n}|\leq |a_{n}|}para todo n suficientemente grande , entonces la serie infinitaanorte{\displaystyle \sum a_{n}}Tampoco es absolutamente convergente.

Tenga en cuenta que en esta última declaración, la serieanorte{\displaystyle \sum a_{n}}aún podría ser condicionalmente convergente ; para series de valores reales, esto podría suceder si los a n no son todos no negativos.

El segundo par de enunciados es equivalente al primero en el caso de series de valores reales porquedonorte{\displaystyle \sum c_{n}}converge absolutamente si y solo si|donorte|{\displaystyle \sum |c_{n}|}, una serie con términos no negativos, converge.

Prueba

Las demostraciones de todas las afirmaciones anteriores son similares. Aquí se presenta la demostración de la tercera afirmación.

Dejaranorte{\displaystyle \sum a_{n}}ybnorte{\displaystyle \sum b_{n}}sean series infinitas tales quebnorte{\displaystyle \sum b_{n}}converge absolutamente (por lo tanto |bnorte|{\displaystyle \sum |b_{n}|}converge), y sin pérdida de generalidad supongamos que|anorte||bnorte|{\displaystyle |a_{n}|\leq |b_{n}|}para todos los enteros positivos n . Consideremos las sumas parciales

Snorte=|a1|+|a2|++|anorte|, Tnorte=|b1|+|b2|++|bnorte|.{\displaystyle S_{n}=|a_{1}|+|a_{2}|+\ldots +|a_{n}|,\ T_{n}=|b_{1}|+|b_{2}|+\ldots +|b_{n}|.}

Desdebnorte{\displaystyle \sum b_{n}}converge absolutamente,límitenorteTnorte=T{\displaystyle \lim _{n\to \infty }T_{n}=T}para algún número real T. Para todo n ,

0Snorte=|a1|+|a2|++|anorte||a1|++|anorte|+|bnorte+1|+=Snorte+(TTnorte)T.{\displaystyle 0\leq S_{n}=|a_{1}|+|a_{2}|+\ldots +|a_{n}|\leq |a_{1}|+\ldots +|a_{n}|+|b_{n+1}|+\ldots =S_{n}+(T-T_{n})\leq T.}

Snorte{\displaystyle S_{n}}es una secuencia no decreciente ySnorte+(TTnorte){\displaystyle S_{n}+(T-T_{n})}es no creciente. Dadometro,norte>norte{\displaystyle m,n>N}entonces ambosSnorte,Smetro{\displaystyle S_{n},S_{m}}pertenecen al intervalo[Snorte,Snorte+(TTnorte)]{\displaystyle [S_{N},S_{N}+(T-T_{N})]}, cuya longitudTTnorte{\displaystyle T-T_{N}}disminuye a cero a medida quenorte{\displaystyle N}va hasta el infinito. Esto demuestra que(Snorte)norte=1,2,{\displaystyle (S_{n})_{n=1,2,\ldots }}es una sucesión de Cauchy y, por lo tanto, debe converger a un límite. Por consiguiente,anorte{\displaystyle \sum a_{n}}es absolutamente convergente.

Para integrales

La prueba de comparación para integrales se puede enunciar de la siguiente manera, suponiendo funciones continuas de valor real f y g en[a,b){\displaystyle [a,b)}con b o+{\displaystyle +\infty }o un número real en el que f y g tienen cada uno una asíntota vertical: [ 4 ]

  • Si la integral impropiaabgramo(incógnita)dincógnita{\displaystyle \int _{a}^{b}g(x)\,dx}converge y0F(incógnita)gramo(incógnita){\displaystyle 0\leq f(x)\leq g(x)}paraaincógnita<b{\displaystyle a\leq x<b}, entonces la integral impropiaabF(incógnita)dincógnita{\displaystyle \int _{a}^{b}f(x)\,dx}también converge conabF(incógnita)dincógnitaabgramo(incógnita)dincógnita.{\displaystyle \int _{a}^{b}f(x)\,dx\leq \int _{a}^{b}g(x)\,dx.}
  • Si la integral impropiaabgramo(incógnita)dincógnita{\displaystyle \int _{a}^{b}g(x)\,dx}diverge y0gramo(incógnita)F(incógnita){\displaystyle 0\leq g(x)\leq f(x)}paraaincógnita<b{\displaystyle a\leq x<b}, entonces la integral impropiaabF(incógnita)dincógnita{\displaystyle \int _{a}^{b}f(x)\,dx}También diverge.

Prueba de comparación de proporciones

Otra prueba para la convergencia de series de valores reales, similar tanto a la prueba de comparación directa anterior como a la prueba de razón , se llama prueba de comparación de razón : [ 5 ]

  • Si la serie infinitabnorte{\displaystyle \sum b_{n}}converge yanorte>0{\displaystyle a_{n}>0},bnorte>0{\displaystyle b_{n}>0}, yanorte+1anortebnorte+1bnorte{\displaystyle {\frac {a_{n+1}}{a_{n}}}\leq {\frac {b_{n+1}}{b_{n}}}}para todo n suficientemente grande , entonces la serie infinitaanorte{\displaystyle \sum a_{n}}también converge.
  • Si la serie infinitabnorte{\displaystyle \sum b_{n}}diverge yanorte>0{\displaystyle a_{n}>0},bnorte>0{\displaystyle b_{n}>0}, yanorte+1anortebnorte+1bnorte{\displaystyle {\frac {a_{n+1}}{a_{n}}}\geq {\frac {b_{n+1}}{b_{n}}}}para todo n suficientemente grande , entonces la serie infinitaanorte{\displaystyle \sum a_{n}}También diverge.

Véase también

Notas

  1. Ayres y Mendelson (1999), pág. 401.
  2. ^ Munem y Foulis (1984), pág. 662.
  3. Silverman (1975), pág. 119.
  4. Buck (1965), pág. 140.
  5. Buck (1965), pág. 161.

Referencias

  • Ayres, Frank Jr.; Mendelson, Elliott (1999). Schaum's Outline of Calculus (4.ª  ed.). Nueva York: McGraw-Hill. ISBN 0-07-041973-6.
  • Buck, R. Creighton (1965). Cálculo avanzado (2.ª  ed.). Nueva York: McGraw-Hill.
  • Knopp, Konrad (1956). Secuencias y series infinitas . Nueva York: Dover Publications. § 3.1. ISBN 0-486-60153-6.{{cite book}}: Incompatibilidad de ISBN/Fecha ( ayuda )
  • Munem, MA; Foulis, DJ (1984). Cálculo con geometría analítica (2.ª  ed.). Worth Publishers. ISBN 0-87901-236-6.
  • Silverman, Herb (1975). Variables complejas . Houghton Mifflin Company. ISBN 0-395-18582-3.
  • Whittaker, ET ; Watson, GN (1963). Un curso de análisis moderno (4.ª  ed.). Cambridge University Press. § 2.34. ISBN 0-521-58807-3.{{cite book}}: Incompatibilidad de ISBN/Fecha ( ayuda )