- •Оглавление
- •ВОПРОСЫ ДЛЯ САМОКОНТРОЛЯ
- •Глава1. НЕОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •1.3. ОСНОВНЫЕ МЕТОДЫ ИНТЕГРИРОВАНИЯ
- •1.3.1. Непосредственное интегрирование
- •1.3.2. Интегрирование подстановкой ( замена переменной )
- •1.3.3. Интегрирование по частям
- •1.4. ИНТЕГРИРОВАНИЕ РАЦИОНАЛЬНЫХ ВЫРАЖЕНИЙ
- •1.4.1. Разложение рациональной дроби на простейшие Определение. Отношение двух алгебраических многочленов
- •1.5. ИНТЕГРИРОВАНИЕ ТРИГОНОМЕТРИЧЕСКИХ ВЫРАЖЕНИЙ
- •1.6. ИНТЕГРИРОВАНИЕ ИРРАЦИОНАЛЬНЫХ ВЫРАЖЕНИЙ
- •Глава 2. ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
- •2.1. ЗАДАЧА, ПРИВОДЯЩАЯ К ПОНЯТИЮ ОПРЕДЕЛЕННОГО ИНТЕГРАЛА
- •2.2.ОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ, ЕГО СВОЙСТВА
- •2.3.НЕОБХОДИМОЕ И ДОСТАТОЧНОЕ УСЛОВИЯ ИНТЕГРИРУЕМОСТИ ФУНКЦИИ
- •2.4.ВЫЧИСЛЕНИЕ ОПРЕДЕЛЕННОГО ИНТЕГРАЛА. ФОРМУЛА НЬЮТОНА-ЛЕЙБНИЦА
- •2.5. ОСНОВНЫЕ МЕТОДЫ ВЫЧИСЛЕНИЯ ОПРЕДЕЛЕННОГО ИНТЕГРАЛА
- •2.5.1. Замена переменной в определенном интеграле
- •2.5.2. Интегрирование по частям
- •2.6. НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ
- •2.6.1. Несобственные интегралы 1 рода
- •2.6.2. Несобственные интегралы 2 рода
- •2.7.ОБЩИЙ ПРИНЦИП ПРИЛОЖЕНИЯ ОПРЕДЕЛЕННОГО ИНТЕГРАЛА
- •2.8.ВЫЧИСЛЕНИЕ ПЛОЩАДИ ПЛОСКОЙ ФИГУРЫ
- •2.9. ВЫЧИСЛЕНИЕ ДЛИНЫ ДУГИ ПЛОСКОЙ КРИВОЙ
- •2.10. ВЫЧИСЛЕНИЕ ОБЪЕМА ТЕЛА
- •2.11. ПРИБЛИЖЕНОЕ ВЫЧИСЛЕНИЕ ОПРЕДЕЛЕННОГО ИНТЕГРАЛА
- •“Интегральное исчисление функции одной переменной”
- •Библиографический список
Так как ∫(uv)' dx = uv +C , то ∫b (uv)' dx = uv |
|
b |
, поэтому последнее ра- |
||||||||||||||||||
|
|||||||||||||||||||||
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
венство может быть записано в виде |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
uv |
|
b |
= |
∫b vdu + ∫b |
udv |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
a |
|
a |
|
|
a |
|
|
|
|
|
|
|
|
||
или окончательно |
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫b |
udv = uv |
|
− ∫b |
vdu. |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
a |
|
|
|
|
|
|
a |
|
|
a |
|
|
|
|
|
|
|
|
Пример 6. |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
2 |
|
|
u = ln x,dv = dx |
|
|
|
|
|
|
|
dx |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
||
∫ln xdx = |
dx |
|
|
|
|
|
= x ln x |
|
1 − ∫x |
|
|
= 2ln 2 |
−ln1 − x |
= |
|||||||
,v |
= x |
|
|
x |
|||||||||||||||||
1 |
du = |
x |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
= 2ln 2 − 2 +1 = 2ln 2 −1.
2.6. НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ
При определении ∫b f (x)dx предполагалось, что:
1.Отрезок интегрирования [a;b] конечен;
2.Функция f (x) определена и ограничена на этом отрезке.a
Если нарушается хотя бы одно из условий 1 - 2, то интеграл называется несобственным интегралом.
Несобственные интегралы разделяются на несобственные интегралы 1 рода и несобственные интегралы 2 рода.
2.6.1.Несобственные интегралы 1 рода
Кнесобственным интегралам 1 рода относятся интегралы, у которых нарушено первое условие ,т.е. отрезок интегрирования не конечен
+∞∫ f (x)dx , |
a∫ f (x)dx , |
+∞∫ f (x)dx . |
a |
−∞ |
−∞ |
44
|
Определение. |
Если |
существует |
конечный |
предел |
lim |
b∫ f (x)dx = S , |
то говорят, что несобственный |
интеграл |
||
b→+∞ a |
|
|
|
|
|
+∞∫ f (x)dx сходится и за его значение принимается найденный предел.
a
b
Если же предел lim ∫ f (x)dx не существует, то несобственный интеграл
b→+∞ a
+∞∫ f (x)dx называется расходящимся (не существует).
a
Аналогично определяется сходимость или расходимость несобственных интегралов и для других бесконечных интервалов:
|
|
b∫ |
f (x)dx = lim |
b∫ f (x)dx , |
|
|
|
|
−∞ |
a→−∞ a |
|
|
|
+∞∫ |
f (x)dx = ∫c |
f (x)dx + −∫∞ f (x)dx = lim ∫c |
f (x)dx + lim |
b∫ f (x)dx . |
||
−∞ |
−∞ |
|
c |
a→−∞ a |
b→+∞ c |
|
Последнее равенство следует понимать так: если оба несобственные интегралы, стоящие справа, сходятся, то сходится интеграл, стоящий слева.Если хотя бы один из интегралов правой части расходится, то расходится интеграл, стоящий слева.
Пример 7. |
|
|
|
|
|
|
|
|
|
|
|||
+∞ dx |
|
= lim b |
|
dx |
|
= limarctgx |
|
b |
= lim(arctgb −arctg0)= |
π |
−0 = |
π . |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|||||||
0 1+ x |
|
1+ x |
|
2 |
|||||||||
|
0 |
|
|
|
|
|
|
2 |
|||||
∫ |
2 |
b→+∞ ∫ |
|
|
2 |
b→+∞ |
|
0 |
b→+∞ |
|
|
|
|
|
|
|
|
|
|
||||||||
Предел существует (равен конечному числу), следовательно, несобственный интеграл первого рода сходится.
Пример 8.
+∞ |
dx |
= |
lim |
b |
dx |
= lim ln |
|
x |
|
1b = lim (ln b − ln1)= ∞ − 0 = ∞. |
|
∫ |
∫ |
|
|
||||||||
x |
x |
||||||||||
1 |
|
b→+∞ |
1 |
b→+∞ |
|
b→+∞ |
|||||
Предел не существует, следовательно, несобственный интеграл 1 рода расходится.
Во многих случаях бывает достаточно установить, сходится данный интеграл или расходится, и оценить его значение. Для этого могут быть полезны следующие две теоремы.
45
|
Теорема 1. |
Если для всех |
x |
(x > a) |
выполняется неравенство |
|
0 |
≤ f (x)≤ϕ(x) и если +∞∫ϕ(x)dx сходится, то +∞∫ f (x)dx также схо- |
|||||
|
|
|
a |
|
|
a |
дится, при этом +∞∫ |
f (x)dx ≤ +∞∫ϕ(x)dx . |
|
||||
|
|
a |
a |
|
(x > a) |
|
|
Теорема 2. |
Если для всех |
x |
выполняется неравенство |
||
0 |
≤ϕ(x)≤ f (x), |
причем +∞∫ϕ(x)dx расходится, то расходится и ин- |
||||
|
|
|
a |
|
|
|
теграл +∞∫ f (x)dx .
a
В теоремах 1-2 рассматривались несобственные интегралы от неотрицательных функций. Для случая функции f (x), меняющей знак в бесконечном интервале, имеет место следующая теорема.
Теорема 3. Если интеграл |
+∞∫ |
|
f (x) |
|
dx сходится, то интеграл |
|
|
||||
+∞∫ f (x)dx сходится абсолютно. |
a |
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
В этом случае последний интеграл называется абсолютно сходящимся.
2.6.2. Несобственные интегралы 2 рода
К несобственным интегралом 2 рода относятся интегралы от неограниченных на [a; b] функций, т.е. нарушено 2-ое условие (ограниченности f (x) на [a; b]).
Пусть функция f (x) определена и непрерывна на интервале [a;b) и
lim f (x)= ∞.
x→b
Интеграл b∫ f (x)dx от функции |
f (x) определяется следующим образом: |
a |
|
b∫ f (x)dx = lim b−∫εf (x). |
|
a |
ε→0 a |
Если предел, стоящий справа, существует, то говорят, что несобственный интеграл 2 рода сходится или существует. Если же предел, стоящий справа, не существует, то несобственный интеграл расходится или не существует.
Если функция имеет точку разрыва на левом конце отрезка [a;b], то
46
b∫ f (x)dx = lim |
b∫ f (x). |
|
a |
ε→0 a+ε |
|
Если функция f (x) имеет разрыв в точке x = c , c [a;b] и lim f (x)= ∞ |
||
|
|
x→c |
хотя бы с одной стороны, то b∫ |
f (x)dx = ∫c |
f (x)dx + b∫ f (x)dx . |
a |
a |
c |
Если каждый из несобственных интегралов, стоящих справа, сходится, то сходится и интеграл, стоящий слева.
1 |
dx |
|
|
|
|
Пример 9. ∫ |
. |
|
|
||
|
|
||||
0,5 |
1− x2 |
|
|||
Подынтегральная функция f (x)= |
dx |
не определена при x =1, следова- |
|||
1− x2 |
|||||
|
|
|
|
||
тельно, мы имеем несобственный интеграл 2 рода (при верхнем пределе).
1 |
|
dx |
|
= lim |
1−ε |
dx |
= limarcsin x 10,5−ε = |
|
|
||||||||||||
|
∫ |
|
|
∫ |
|
|
|||||||||||||||
0,5 |
1− x2 |
|
ε →0 |
0,5 |
1− x2 |
ε →0 |
|
|
|
|
|
|
|||||||||
= lim(arcsin(1−ε)−arcsin 0,5)== |
π −π |
= π . |
|
|
|||||||||||||||||
|
ε →0 |
|
|
|
|
|
|
|
|
|
|
|
2 |
6 |
3 |
|
|
||||
Несобственный интеграл сходится и равен π . |
|
|
|
|
|
|
|
||||||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Пример 10. ∫dx2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
−1 |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
||
На отрезке интегрирования [−1;1] подынтегральная функция f (x)= |
|
||||||||||||||||||||
x2 |
|||||||||||||||||||||
имеет точку разрыва x = 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
0−ε |
|
|
|
|
|
|
|
|
|||||||||
|
1 |
|
|
0 |
|
1 |
|
|
|
|
dx2 |
|
|
|
1 |
dx2 . |
|
|
|||
|
∫dx2 = |
∫dx2 + ∫dx2 = lim |
∫ |
+ lim |
∫ |
|
|
||||||||||||||
|
−1x |
|
−1x |
0 |
x |
ε→0 |
−1 |
x |
δ →0 0+δ |
x |
|
|
|||||||||
Рассмотрим первое слагаемое. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
0−ε dx |
|
|
1 |
|
0−ε |
|
|
|
1 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
lim |
∫ |
|
2 |
= lim − |
|
|
|
|
= |
lim |
− |
ε |
+1 |
= ∞. |
|
|
||||
|
|
|
|
|
|||||||||||||||||
|
ε→0 |
−1 |
x |
|
ε→0 |
x |
|
−1 |
|
ε→0 |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Предел не существует, |
следовательно, |
несобственный интеграл 2 рода |
|||||||||||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫dx по определению расходится.
−1x2
47
