Loading [MathJax]/jax/element/mml/optable/BasicLatin.js
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

1.2: Preparación

( \newcommand{\kernel}{\mathrm{null}\,}\)

Comenzamos con dos criterios de convergencia útiles para integrales inadecuados que no involucren un parámetro. Consistente con la definición de la p. 152, decimos quef es integrable localmente en un intervaloI si es integrable en cada subintervalo cerrado finito deI.

[teorem:2] Supongamos queg es integrable localmente[a,b) y denota

G(r)=rag(x)dx,ar<b.

Entonces la integral impropiabag(x)dx converge si y solo si, para cada unoϵ>0, hayr0[a,b) tal que

|G(r)G(r1)|<ϵ,r0r,r1<b.

Por necesidad, supongamosbag(x)dx=L. Por definición, esto quiere decir que para cada unoϵ>0 hayr0[a,b) tal que

|G(r)L|<ϵ2\quad and\quad|G(r1)L|<ϵ2,r0r,r1<b.

Por lo tanto

|G(r)G(r1)|=|(G(r)L)(G(r1)L)||G(r)L|+|G(r1)L|<ϵ,r0r,r1<b.

Para la suficiencia, [eq:9] implica que

|G(r)|=|G(r1)+(G(r)G(r1))|<|G(r1)|+|G(r)G(r1)||G(r1)|+ϵ,

r0rr1<b. Dado que tambiénG está acotado en el conjunto compacto[a,r0] (Teorema 5.2.11, p. 313),G está acotado en[a,b). Por lo tanto, las funciones monótona

¯G(r)=sup

están bien definidos en[a,b), y

\lim_{r\to b-}\overline{G}(r)=\overline{L} \text{\quad and\quad} \lim_{r\to b-}\underline{G}(r)=\underline{L}

ambos existen y son finitos (Teorema 2.1.11, p. 47). De [eq:9],

\begin{aligned} |G(r)-G(r_{1})|&=&|(G(r)-G(r_{0}))-(G(r_{1})-G(r_{0}))|\\ &\le &|G(r)-G(r_{0})|+|G(r_{1})-G(r_{0})|< 2\epsilon,\end{aligned}

por lo

\overline{G}(r)-\underline{G}(r)\le 2\epsilon, \quad r_{0}\le r, r_{1}<b.

Dado que\epsilon es un número positivo arbitrario, esto implica que

\lim_{r\to b-}(\overline{G}(r)-\underline{G}(r))=0,

así\overline{L}=\underline{L}. VamosL=\overline{L}=\underline{L}. Desde

\underline{G}(r)\le G(r)\le \overline{G}(r),

de ello se deduce\lim_{r\to b-} G(r)=L.

Te dejamos la prueba del siguiente teorema (Ejercicio [exer:2]).

[teorem:3] Supongamos queg es integrable localmente(a,b] y denota

G(r)=\int_{r}^{b}g(x)\,dx,\quad a\le r<b.

Entonces la integral impropia\int_{a}^{b}g(x)\,dx converge si y solo si, para cada uno\epsilon >0, hayr_{0}\in(a,b] tal que

|G(r)-G(r_{1})|<\epsilon,\quad a<r,r_{1}\le r_{0}.

Para ver por qué asociamos Teoremas [teorem:2] y [teorem:3] con Cauchy, compararlos con Teorema 4.3.5 (p. 204)


This page titled 1.2: Preparación is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by William F. Trench.

Support Center

How can we help?