1.2: Підготовка
Почнемо з двох корисних критеріїв збіжності для неправильних інтегралів, які не включають параметр. Відповідно до визначення на p. 152, ми говоримо, що локальноf інтегрується на інтервалі,I якщо він інтегрується на кожному скінченному замкнутому підінтерваліI.
[теорема: 2] Припустимоg, локально інтегрується[a,b) і позначає
G(r)=∫rag(x)dx,a≤r<b.
Тоді неправильний інтеграл∫bag(x)dx сходиться якщо і тільки в тому випадку, якщо, для кожногоϵ>0, знайдетьсяr0∈[a,b) таке, що
|G(r)−G(r1)|<ϵ,r0≤r,r1<b.
Для необхідності припустимо∫bag(x)dx=L. За визначенням це означає, що для кожногоϵ>0 існуєr0∈[a,b) таке, що
|G(r)−L|<ϵ2\quad and\quad|G(r1)−L|<ϵ2,r0≤r,r1<b.
Тому
|G(r)−G(r1)|=|(G(r)−L)−(G(r1)−L)|≤|G(r)−L|+|G(r1)−L|<ϵ,r0≤r,r1<b.
Для достатності [eq:9] означає, що
|G(r)|=|G(r1)+(G(r)−G(r1))|<|G(r1)|+|G(r)−G(r1)|≤|G(r1)|+ϵ,
r0≤r≤r1<b. Так якG також обмежена на компактному множині[a,r0] (Теорема 5.2.11, стор. 313),G обмежена на[a,b). Тому монотонні функції
¯G(r)=sup{G(r1)|r≤r1<b}\quad and\quadG_(r)=inf{G(r1)|r≤r1<b}
чітко визначені на[a,b), і
limr→b−¯G(r)=¯L\quad and\quadlimr→b−G_(r)=L_
обидва існують і є кінцевими (Теорема 2.1.11, стор. 47). З [еква:9],
|G(r)−G(r1)|=|(G(r)−G(r0))−(G(r1)−G(r0))|≤|G(r)−G(r0)|+|G(r1)−G(r0)|<2ϵ,
тому
¯G(r)−G_(r)≤2ϵ,r0≤r,r1<b.
Оскількиϵ є довільним додатним числом, це означає, що
limr→b−(¯G(r)−G_(r))=0,
так¯L=L_. НехайL=¯L=L_. Так як
G_(r)≤G(r)≤¯G(r),
з цього випливаєlimr→b−G(r)=L.
Ми залишаємо вам доказ наступної теореми (Вправа [exer:2]).
[теорема: 3] Припустимоg, локально інтегрується(a,b] і позначає
G(r)=∫brg(x)dx,a≤r<b.
Тоді неправильний інтеграл∫bag(x)dx сходиться якщо і тільки в тому випадку, якщо, для кожногоϵ>0, знайдетьсяr0∈(a,b] таке, що
|G(r)−G(r1)|<ϵ,a<r,r1≤r0.
Щоб зрозуміти, чому ми пов'язуємо теореми [теорема: 2] та [теорема:3] з Коші, порівняйте їх з теоремою 4.3.5 (стор. 204)