Интегральное исчисление - 23 стр.

UptoLike

ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ 23
Интегралы от неограниченных функций. Рассмотрим теперь второй случай, когда возни-
кают несобственные интегралы. Пусть дан отрезок [a, b], и предположим, что функция y = f(x)
интегрируема на любом отрезке [a, b ε], 0 < ε < b a.
Определение 6. Конечный или бесконечный предел
Z
b
a
f(x) dx = lim
ε0
Z
bε
a
f(x) dx (72)
если он существует, называется (несобственным) интегралом функции f (x) в рассматриваемом
промежутке. Если предел конечен, то интеграл называетсясходящимся.
Замечание 8. То, что функция интегрируема на любом отрезке [a, b ε], но не интегрируема
на всём отрезке [a, b], означает, что lim
xb
f(x) = . Такая точка называется особ о й .
Аналогичным образом определяется несобственный интеграл, если функция стремится к беско-
нечности на левом конце отрезка интегрирования или на обоих его концах. Теория несобственных
интегралов от неограниченных функций вполне аналогична рассмотренной выше теории интегри-
рования на бесконечных промежутках. Приводимые ниже свойства, как легко заметить, почти
дословно повторяют уже известные.
Предложение 15. Пусть F (x) первообразная подынтегральной функции. Тогда несобствен-
ный интеграл
R
b
a
f(x) dx существует в том и только в том случае, если существует предел lim
xb
F (x),
причём
Z
b
a
f(x) dx = lim
xb
F (x) F (a). (73)
Предложение 16. Для сходимости интеграла
R
b
a
f(x) dx в случае неотрицательной функции f
необходимо и достаточно, чтобы
λ R :
Z
bε
a
f(x) dx 6 λ для ε > 0, ε < b a.
Если это условие не выполнено, то рассматриваемый интеграл равен +.
Следствие 6. Пусть на отрезке [a + ε, b] функция f (x) представляется в виде
f(x) =
g(x)
(x b)
λ
, λ > 0.
Тогда:
1) если λ < 1 и g(x) ограниченная сверху функция, то интеграл
R
b
a
f(x) dx сходится;
2) если λ > 1 g(x) > c > 0, то этот интеграл расходится.
Следствие 7. Если при x b функция f(x) эквивалентна функции
1
(xb)
λ
, λ > 0, то несоб-
ственный интеграл
R
b
a
f(x) dx сходится при λ < 1 и расходится λ > 1.
Предложение 17. Для сходимости интеграла
R
b
a
f(x) dx необходимо и достаточно, чтобы для
любого числа ε > 0 нашлось такое число δ > 0, чтобы при всех η, η
, 0 < η, η
< δ, выполнялось
неравенство
Z
bη
bη
f(x) dx
< ε.
Следствие 8. Если сходится интеграл
R
b
a
|f(x)|dx, то сходится и интеграл
R
b
a
f(x) dx.
Как и выше, интегралы, удовлетворяющие условиям следствия 8, называются абсолютно схо-
дящимися.
                                   ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ                                                            23

Интегралы от неограниченных функций. Рассмотрим теперь второй случай, когда возни-
кают несобственные интегралы. Пусть дан отрезок [a, b], и предположим, что функция y = f (x)
интегрируема на любом отрезке [a, b − ε], 0 < ε < b − a.
  Определение 6. Конечный или бесконечный предел
                            Z b                Z b−ε
                                f (x) dx = lim       f (x) dx                                                       (72)
                                   a                    ε→0 a

если он существует, называется (несобственным) интегралом функции f (x) в рассматриваемом
промежутке. Если предел конечен, то интеграл называетсясходящимся.
  Замечание 8. То, что функция интегрируема на любом отрезке [a, b − ε], но не интегрируема
на всём отрезке [a, b], означает, что lim f (x) = ∞. Такая точка называется особой.
                                       x→b

  Аналогичным образом определяется несобственный интеграл, если функция стремится к беско-
нечности на левом конце отрезка интегрирования или на обоих его концах. Теория несобственных
интегралов от неограниченных функций вполне аналогична рассмотренной выше теории интегри-
рования на бесконечных промежутках. Приводимые ниже свойства, как легко заметить, почти
дословно повторяют уже известные.
  Предложение 15. Пусть F (x) — первообразная подынтегральной функции. Тогда несобствен-
            Rb
ный интеграл a f (x) dx существует в том и только в том случае, если существует предел lim F (x),
                                                                                                              x→b
причём
                                  Z       b
                                              f (x) dx = lim F (x) − F (a).                                         (73)
                                      a                  x→b
                                                  Rb
  Предложение 16. Для сходимости интеграла a f (x) dx в случае неотрицательной функции f
необходимо и достаточно, чтобы
                                Z b−ε
                       ∃λ ∈ R :       f (x) dx 6 λ для ∀ε > 0, ε < b − a.
                                   a
Если это условие не выполнено, то рассматриваемый интеграл равен +∞.
  Следствие 6. Пусть на отрезке [a + ε, b] функция f (x) представляется в виде
                                                     g(x)
                                   f (x) =                  ,        λ > 0.
                                                   (x − b)λ
Тогда:
                                                                                   Rb
   1) если λ < 1 и g(x) — ограниченная сверху функция, то интеграл                  a   f (x) dx сходится;
   2) если λ > 1 g(x) > c > 0, то этот интеграл расходится.
                                                                           1
  Следствие 7. Если при x → b функция f (x) эквивалентна функции (x−b)         λ , λ > 0, то несоб-
                  Rb
ственный интеграл a f (x) dx сходится при λ < 1 и расходится λ > 1.
                                                  Rb
  Предложение 17. Для сходимости интеграла a f (x) dx необходимо и достаточно, чтобы для
любого числа ε > 0 нашлось такое число δ > 0, чтобы при всех η, η ′ , 0 < η, η ′ < δ, выполнялось
неравенство
                                      Z b−η′
                                             f (x) dx < ε.
                                                 b−η
                                                   Rb                                        Rb
  Следствие 8. Если сходится интеграл               a |f (x)| dx,   то сходится и интеграл   a    f (x) dx.
  Как и выше, интегралы, удовлетворяющие условиям следствия 8, называются абсолютно схо-
дящимися.