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,a≤r<b.
Entonces la integral impropia∫bag(x)dx converge si y solo si, para cada unoϵ>0, hayr0∈[a,b) tal que
|G(r)−G(r1)|<ϵ,r0≤r,r1<b.
Por necesidad, supongamos∫bag(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,r0≤r,r1<b.
Por lo tanto
|G(r)−G(r1)|=|(G(r)−L)−(G(r1)−L)|≤|G(r)−L|+|G(r1)−L|<ϵ,r0≤r,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)|+ϵ,
r0≤r≤r1<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)