Герасимович(математический анализ)
.pdfИнтегралы вида $ tg" xdx, |
J ctg" x d x |
(n 6 |
N, n > |
1). Эти интегралы |
|
вычисляются |
подстановками |
tg jc = ^ |
и |
ctg x = |
t соответственно. |
Если t = |
tg x, T O x = arctg t, dx — |
- |
Тогда |
\ ^ " x d x - \ T T 7 dt
Последний интеграл при n ^ 2 является интегралом от непра вильной рациональной дроби, которая вычисляется по правилу интегрирования рациональных дробей (см. § 8.5, 8 .6 ).
Аналогично если t — ctg х, то х = |
arcctg t, d x = |
fir |
, откуда |
||||||||
-----, , 2 |
|||||||||||
|
|
|
|
|
|
|
|
|
|
1 -И 2 |
|
Пример 8.19. Вычислить $ tg 5 xdx. |
|
|
|
|
|
||||||
Р е ш е н и е . |
Сделав |
замену |
переменной, |
имеем |
|
|
|
||||
|
|
S |
tg 5 xdx = |
tg * = |
<, |
|
|
|
|
||
|
|
|
dt |
|
|
|
|
||||
|
|
|
|
|
d x ■- |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
1 + t 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d (t2+ 1) |
|
|
|
|
|
|
|
|
|
|
|
+ 1 |
|
|
= - Т ~ 1 Г |
+ |
T ln (<2+ |
1) + c = T |
tg 4 j c _ T tg2;e + |
T |
ln(tg2jc+1)+c = |
|||||
” “ ■ tg 4 ж |
2 |
tg 2 x |
-— In { — !j— ) |
+ С = -j- tg 4 JC — |
tg 2 JC — Inlcos xi + C. |
||||||
4 |
|
|
2 |
\ |
cos'* JC / |
|
4 |
2 |
|
|
Интегралы вида \ sin m x cos nxdx, \ cos m x cos nxdx, \sin m xsin n xd x (m, n 6 R). Они вычисляются путем разложения подынтегральной функции на слагаемые по формулам:
sin m x |
cos пх = |
^-(sin (m + п)х + sin (m — п)дс), |
cos m x |
cos пх = |
у (cos (m -f- n)x-\- cos(m — n)x), |
sin m x sin nx = y ( — cos(m + n)x + cos(m — л)дс).
Пример 8 .2 0 . |
Вычислить $ sin 5jc cos 3jcdjc. |
|
||
Р е ш е н и е . Имеем |
|
|
|
|
|
Ssin5 JC |
cos 3jcdjc = |
^ (sin 8 JC + |
sin 2x)dx = |
|
= |
— - r cos 8 JC |
1 |
+ C . |
|
■cos 2jc |
|||
|
|
lb |
|
|
Аналогично |
вычисляются два других интеграла. |
8.9. И Н ТЕ ГРИ РО В А Н И Е НЕКОТОРЫ Х И Р РА Ц И О Н А Л ЬН Ы Х ФУНКЦИИ
Интегралы вида $ R(x, \ j x m' , \J x m\ ...)dx (m\, n u m 2, n2, ...—
целые числа). В этих интегралах подынтегральная функция рацио нальна относительно переменной интегрирования и радикалов от х. Они вычисляются подстановкой х = ts, где s — общий знаменатель дробей т \/п \, /Л2 /Я 2 , ... При такой замене переменной все отношения mi/rii = г\, т 2/ п 2 = г2, ... являются целыми числами, т. е. интеграл приводится к рациональной функции от переменной t :
\R { x , |
|
...)dx = |
J R { f, tr\ tr\ ...)sts~ ldt. |
„ |
f |
- J x d x |
. |
Пример 8 .2 1 . Вычислить |
\ |
— ^ |
Р е ш е н и е . Так как общий знаменатель дробей 1/2 и 1/3 равен 6 , сделаем замену x — t6, d x = 6tbdt. Тогда
(- ф а - _ (-p !L dl _ 6(J L . i, _
J J t t J t 1
Сq
= t6 + -=- f5 + — t* + 2f3 + 3f2 + 6 f + 6 In U — II |
+ C = |
||||
О |
|
L |
|
|
|
= x + ■ ^ г л / х 2~+ 2 ~\Jx + |
3 -^ 7 + |
+ 6 In \-\fx — 11 + |
C. |
||
О |
L |
|
|
|
|
Интегралы вида |
J R { |
X , ( - ^ |
- ) т '/Я|, |
) m’/n\ |
•••) dx (m,,- |
ri\, m 2, n 2, ... — целые числа). |
Эти интегралы |
подстановкой |
а х + Ь __iS cx + d
где s — общий знаменатель дробей т \/п \, т г / л 2, ..., сводятся к ра циональной функции от переменной t.
Пример |
8 .2 2 . Вычислить \ |
-------!— т ~ \ / —--- — dx. |
|
|
|||||
|
|
|
J |
(1 |
— х у |
V 1 + |
х |
|
|
Р е ш е н и е . |
Сделаем |
замену |
|
|
|
|
|
||
\ |
— х |
/ 2 |
1 — t2 . |
|
4tdt |
, |
2 Z2 |
||
1 + л: |
= 1 • х = . |
|
d x = — —- ■ |
, 1 — х ■- |
1 + t2 |
||||
|
1 + |
t2 |
(1 |
+ t2)2 |
|
||||
Тогда |
|
|
______ |
|
|
|
|
Интегралы вида /■ = ^ - |
dx |
- |
U = |
t __j Ax + B)dx , |
/ 3 = |
|||
|
|
л]ах? + Ь х + с |
|
's/ax2+ Ь х + с |
|
|||
d x |
-. Д ля |
вычисления |
интеграла |
/ 1 выделяется |
пол- |
|||
x^jax2+ Ь х + с |
||||||||
|
|
|
|
|
|
|
||
ный квадрат под знаком |
радикала: |
|
|
|
|
209
и применяется |
подстановка |
|
|
|
х + |
А = и, d x = |
du. |
|
1 |
2 а |
|
В результате |
этот интеграл |
сводится к |
du |
табличному: / , = ^ _____ |
В числителе интеграла h выделяется дифференциал выражения, стоящего под знаком радикала, и этот интеграл представляется в виде суммы двух интегралов:
(Ax + |
B )d x |
= ф |
^ |
аХ + Ь1 |
+ { |
В 7 . Ш г1х = |
|
^ -yjcuf + b x + c |
^ |
|
~\Jax2 + |
bx + с |
|||
_ Л |
f |
d (дх2 + |
bx + |
с) |
/ g |
__ |
A b ' ) l i = |
2а |
' |
~\Jpдс2 + |
ftx + |
с |
' |
|
^ а ' |
= - ^ \ ( ах2 + |
bx + c)~ l/2d(ax2 + Ьх + |
с ) + ( В — |
= |
||||
= |
- ^ |
T |
^ T |
T + |
( В ---- 2а~У^ |
|
|
где /i — вычисленный |
выше интеграл. |
|
|
интеграла 1\ |
|||
Вычисление интеграла |
/ з |
сводится |
к |
вычислению |
|||
подстановкой: |
|
|
|
|
|
|
|
х= — , dx = — \rdu.
ии 2
Пример |
|
|
(Зх — 1 )dx |
|
|
|
|
|
|
|||
8.23. Вычислить |
|
|
|
|
|
|
|
|
||||
|
|
|
|
л!хг + |
2 х + |
2 |
|
|
|
|
|
|
Р е ш е н и е . |
Имеем интеграл вида |
/ 2: |
|
|
|
|
|
|
||||
Г ( 3 . - 1 ) ^ |
, Г |
(3/2) ( 2 к + 2 ) |
4 |
л „ |
+ |
+ |
2 r „ 4 { t , + |
2, |
+ |
2 ) _ |
||
д / * 2 + 2 х + 2 |
|
д / х 2 + 2 х + 2 |
|
|
^ J |
|
|
|
|
|
||
- 4 ( |
---- |
d ( * + [ ) |
_ ==3 Л/ ^ + 2х + 2 - 4 1 п | ( х + |
1) + |
Л/у г-(-2 г + |
2 | |
+ |
С. |
||||
J |
Л/(*+1)2 + 1 |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
djC |
|
|
|
|
|
|
|
|
|
|
|
S----= = = = = |
|
|
|
|
|
х'у/x2 + |
2 х — 1 |
Р е ш е н и е . Имеем интеграл вида |
/ 3: |
“ - 1 I ^ |
l / x - l , _ |
= a rc c o s -----—-----\- С = |
arccos —-——-------1- C. |
ф |
-\J2 |
Интегралы вида \R(x, y a x 2 + |
bx + c)dx. Частные случаи вы |
числения интегралов данного вида рассмотрены в предыдущем пункте. Существует несколько различных приемов их вычисления. Рассмотрим один из таких приемов, основанный на применении
тригонометрических подстановок. |
|
|
|
|
|
|
|
|||||||
Квадратный |
трехчлен |
ах2 + |
|
Ьх + |
с |
путем |
выделения |
полного |
||||||
квадрата |
и замены |
переменной |
может |
быть |
представлен |
в виде |
||||||||
u 2± k 2. |
Таким |
образом, достаточно |
ограничиться |
рассмотрением |
||||||||||
трех видов интегралов: |
|
|
|
|
|
|
|
|
|
|
||||
|
I\ = |
\R(u, |
л]к,2 — u2)du, |
I 2 = |
\R ( U, -\/k2 + |
u2)du, |
|
|||||||
|
|
|
|
h |
= \R(u, |
лJU2 — k 2)du. |
|
|
|
|||||
Интеграл |
I \ = \ R { u , |
~\Jk2 — u2)du |
подстановкой |
|
|
|||||||||
|
|
|
|
u = |
k s i n t (или |
u = |
k c o s t) |
|
|
|
||||
сводится к интегралу от рациональной |
функции относительно sin t |
|||||||||||||
и cos t. |
|
|
|
|
|
|
например, подстановку и = k sin t, |
|||||||
Действительно, |
применим, |
|||||||||||||
k > 0 , тогда du — k cos tdt, |
-\Jk2 — u2 — k cos t, |
|
|
|
\R(u,-^Jk2 — u2) du = \R(k sin t, k cos t)k cos tdt.
Интеграл |
I 2 = |
\R ( U, -\]k2 + |
u2)du |
подстановкой |
|
|
|
u = k t g t |
(или |
u = |
k c t g t ) |
сводится к интегралу от рациональной |
функции относительно sin t |
||||
и cos t. |
|
|
например, подстановку u — k t g t , |
||
Действительно, |
применим, |
||||
k > 0 , тогда |
du — k sec2 tdt, s j k 2 + и2 = |
k sec t, |
\R(u, -\/k2 + u2)du = \R(k tg t, k sec t)k sec2 tdt.
Интеграл h = \R(u, л /и 2 — k 2)du подстановкой
и = k sec t (или u = k cosec t)
сводится к интегралу от рациональной функции относительно sin t и cos t.
Действительно, |
применим, например, |
подстановку и = k sec t, |
|
тогда du = — |
■dt, |
-\/и2 — k 2 — k t g t , |
|
cos |
t |
|
|
|
д /u2 — k 2)du — \^R(k sec t, |
k tg t ) d t . |
Интегралы от рациональных функций относительно sin t и cos t вычисляются с помощью методов, изложенных в § 8 .8 .
211
Пример 8.25. Вычислить \ у а * |
— x2 dx. |
|
|
|
|||||
Р е ш е н и е . Применим подстановку х = |
a sin t. Тогда dx = |
a cos tdt, -\fa2 — x2 = |
|||||||
= a cos t. Таким образом, |
|
|
|
|
|
|
|
||
^ |
a2 — x 2d x = |
a 2 ^co s2 tdt — |
|
|
+ c o s 2 t)dt = |
+ |
|||
|
+ |
sin 2t + |
С = |
1 + |
sin t cos < + C. |
||||
Выразим t, |
sin t |
и cos t |
через x: |
|
|
|
|
|
|
|
t |
. |
X |
sm |
X |
— , |
|
Va ~ x |
|
|
= arcsin — , |
t — |
cos t = —------------ |
|
|||||
|
|
|
a |
|
|
a |
|
a |
|
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
a2— x2 dx = |
|
arcsin |
|
+ "?T V 4*2 — * 2 + |
C. |
||
Пример 8.26. Вычислить |
|
+ |
a 2 dx. |
|
a tg /. Тогда dx = a sec2 tdt. Имеем |
||||
Р е ш е н и е . |
Применим |
подстановку |
x = |
^ - \ ( * 2 + a 2d x = ^ ~\Ja2( 1 + tg 2 t)a sec2 td t = a 2^ —
Полученный интеграл можно вычислить с помощью универсальной подстановки tg ( x / 2 ) = z, но оиа приведет к интегрированию громоздкой рациональной дроби. Гораздо проще проинтегрировать данную функцию по частям:
xdx
______
|
\-jx2 + a 2dx = |
dv |
= |
dx, |
v |
= |
x |
|
~sjx? + a2 = x-yjx1+ a 2 - |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
f |
( |
a |
^ |
|
a |
2 dx = xj |
^ |
- |
[ |
|
- |
j |
^ |
dx + [ |
a2dx |
|||||
|
J |
|
-^jx2+ |
aJ |
|
|
|
|
|
|
|
^ |
|
|
|
|
' |
-\/дс* + a2 |
|||
|
|
л / v |
J - |
Л 2 |
|
|
|
|
|
|
|
J |
|
|
|
|
J |
|
|||
|
Перенеся $ "\/* ^+ a* d x |
в левую |
часть |
уравнения, получим |
|
||||||||||||||||
|
|
|
х2 + |
a 2d x = |
у |
V ^ |
+ |
a* + - у - In |х + |
|
-yjx* + |
a 2 | + С. |
||||||||||
|
З а м е ч а н и е |
1. Интегралы J v aJ — x2dx, \ л [ х — a?d x такж е можно вычислять |
|||||||||||||||||||
по |
частям. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 8.27. Вычислить |
\ |
------- |
|
|
■. |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
J |
х4 -\/а2 + х2 |
|
|
|
|
|
|
|
---------- |
||||
|
Р е ш е н и е . |
Применим подстановку х = |
a tg t. Тогда dx = |
a sec2 tdt^ja? + x2 = |
|||||||||||||||||
= |
a sec |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Г |
|
|
dx |
|
_ |
f |
|
a sec2 tdt |
|
_ |
I |
f |
cos3 1 |
_ |
|||||
|
|
J |
х*л]а2 + |
х 2 |
|
' |
a< ^ |
ta x c t |
|
|
a< |
' |
sin41 |
|
|||||||
|
= _ 1 _C |
(' — sin |
<)d(sin t) |
= |
_ L f |
(sin /)—4d(sin t ) ------ ^ |
(sin /)~ 2d(sin t) = |
||||||||||||||
|
a 4 J |
|
|
sin4 t |
|
|
|
a 4 J |
|
|
|
|
|
|
a |
J |
|
||||
|
|
|
|
|
|
|
|
|
|
|
' |
3 t |
+ |
- 4 |
|
. + |
C. |
|
|
||
|
|
|
|
|
|
|
|
|
3a4 sin |
|
a |
4 sin |
t |
|
|
|
|
||||
|
Выразим |
sin t |
через x: x = |
a tg *=>sin t — |
— |
.x |
|
. Тогда |
|||||||||||||
|
■------- |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-y/as + |
jt2 |
|
|
|||
|
|
|
[ |
|
|
dx |
|
|
_ |
|
(a2 + |
x2)3/a |
| |
д / а ^ + х 2 |
|
| c |
|||||
|
|
|
' |
x4V ? T ^ |
|
|
|
* * * |
|
|
|
|
|
a'x |
|
|
212
З а м е ч а н и е 2. Интегралы вида \R (x , \ а х 2 + Ьх + c)dx могут быть вычислены
такж е одной из следующих трех подстановок Эйлера: |
|
|
|
|||
1 ) |
если |
а > 0 , то |
используется подстановка ~\jax2 -f- bx + |
с = t ± хл[а\ |
||
2) |
если |
а < 0 , с > |
0, то применяется подстановка л!ах2 + |
|
Ьх + |
с = tx ± л/с\ |
3) |
если а С 0 , а |
подкоренное выражение раскладывается |
иа |
действительные |
||
множители а(х — лС|) (х — х 2), то используется подстановка у а х2 |
+ Ьх + с = t(x — х0), |
где *о — один из корней трехчлена.
Заметим, что подстановки Эйлера имеют скорее теоретическое, нежели практи ческое значение. Их применение часто приводит к громоздким вычислениям.
Интегралы вида \ x m(a + bxnf d x (т, ti, p 6 Q, а, Ь £ R). Р ас сматриваемые интегралы, называемые интегралами от дифферен
циального бинома x m(a + bxnydx, |
выражаются через элементарные |
|||||
функции только в следующих трех случаях: |
||||||
1 ) |
если p £ Z , |
то применяется |
подстановка |
|||
|
|
x = |
ts, |
|
|
|
где s — общий знаменатель дробей т и п ; |
|
|||||
2) |
tn -I- 1 |
£ Z, то используется |
подстановка |
|||
если — |
||||||
|
|
а + |
bxn = |
ts, |
|
|
где s — знаменатель дроби р = |
k/s; |
|
|
|||
3) |
ttl -I- 1 |
Z, то применяется |
подстановка |
|||
если — ^ |
||||||
|
|
a x ~ n + |
b = |
ts, |
|
|
где s — знаменатель дроби р = |
k /s . |
|
|
|||
Во |
всех остальных случаях, |
как было |
показано П. Л. Чебыше |
вым*, интегралы от дифференциального бинома не выражаются через элементарные функции
|
Пример |
8.28. Вычислить |
f |
~\А + V -£ |
dx = [ x ~ l/2(l |
+ |
x ' ^ y ^ d x . |
|
||||||
|
|
|
|
|
-\[x |
|
|
^ |
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
1 |
tn -I- 1 |
|
|
= 2 £ Z, поэтому при |
|||
|
Р е ш е н и е . Здесь p = — |
£ Z, m = |
— —, я = — , — - — |
|||||||||||
меним подстановку 1 - \ - x i/A = |
t3. Тогда |
x = |
(t3 — l)4, d x = |
4 (/3 — 1)3 3t2dt, |
||||||||||
|
S |
+ |
x l'*)l'*dx = |
\(t3 - |
l ) ~ 2t • 4(t3 - |
l f 3 t 2dt = |
\ 2 \ t 3{t3 - |
\)d t = |
||||||
= |
12^ (/«— t3)dt = 1 2 ( 4 ~ 4 ) + |
C = - r ^ ( i |
+ |
-V*)7 - |
- |
j i / i |
i + -V *Y + c |
|||||||
|
Пример |
8.29. Вычислить \ x i/7(2x + |
3)x/3dx. |
|
|
|
|
|
|
|||||
|
г» |
|
Q |
1 , ~ |
|
1 |
, n = |
, m + 1 |
|
8 , |
m + 1 |
|||
|
Р е ш е н и е . |
Здесь p = — |
£ Z, |
m — — |
1, |
---------- = |
-=- g Z , --------------f- p = |
|||||||
|
|
|
|
о |
|
|
/ |
|
|
tx |
|
|
i |
tx |
31 |
|
|
|
|
ие |
выраж ается |
через |
|
|
, |
||||
= |
g Z, следовательно, интеграл |
элементарные функции. |
||||||||||||
|
Пример 8.30. Вычислить |
( -------- |
|
^ * _ 2(1 |
x t) ~ 3/2dx. |
|
||||||||
|
|
|
|
^ |
VO + х2)3 |
|
J |
|
|
|
|
|
* Пафиутий Львович Чебышев (1821 — 1894) — русский математик и механик.
213
Р е ш е н и е , Здесь p = — |
3 |
|
tn - I - 1 |
= |
1 |
tn -I- 1 |
||
— Ф Z, m = |
— 2, n — 2,---------- |
----- — ФZ ,---------- + |
||||||
|
r |
2 v |
|
|
n |
|
2 v |
n |
- |- p = — 2 6 Z, |
следовательно, |
делаем |
подстановку: x |
+ |
1 = |
t =^x = (t |
— 1)' - 1 / 2 |
|
d x = - U > - X ) - ^ 2 t d t , |
|
|
|
|
|
|
|
|
^ * ~ 2 (1 |
+ x * ) ~ 3' 2d x = |
(t2 - |
l ) ( l |
+ ^ Г Г у ) |
3/\ t 2 - |
l)~ 3/2tdt = |
|
= - \ L z ± d t = - Y ~ t - 2) d t = - t - ± - + C = - ^ l + l/x2-
+ |
c — — (2jf*.+ ,!,L + c. |
s j 1 + l / * 2 |
х л / х 2 + 1 |
8.10.И Н ТЕГРА Л Ы , HE ВЫ РА Ж АЮ Щ ИЕСЯ
ЧЕ Р Е З Э Л ЕМ ЕН ТА РН Ы Е Ф УНКЦИИ
В§ 8.1— 8.9 рассматривались классы элементарных функций, интегралы от которых выражаются через элементарные функции, или, что то же, классы интегрируемых в конечном виде функций.
Было отмечено, что всякая непрерывная на [а; Ь] функция f(x) имеет первообразную, т. е. существует такая функция F(x), что F'(x) — f(x). Однако не всякую первообразную F(x) можно выразить через конечное число элементарных функций. Так, при интегриро
вании дифференциальных биномов \x m(a + bxnf d x было отмечено, что их первообразные выражаются через элементарные функции
(интегрируются |
в |
конечном |
виде) только в трех случаях: |
1 ) p £ Z ; |
|
2) |
6 Z; 3) |
— |
+ р 6 |
Z. Во всех остальных случаях |
интеграл |
от дифференциального бинома не выражается через элементарные функции.
Приведем примеры интегралов, не выражающихся через эле ментарные функции:
\e ~ x*dx — интеграл Пуассона*
sm * d x — интегральный синус, X
COSX X ■dx — интегральный косинус,
dx
интегральный логарифм,
|Cos(x2)dx, J sin(x2)dx — интегралы Френеля,**
—dx - — эллиптический интеграл первого рода,
-y/l — fe2 sin2 х
w1 — k 2sin2 xd x — эллиптический интеграл второго рода.
Каждый из приведенных выше интегралов представляет собой функцию, не являющуюся элементарной.
* |
Снмеон |
Денн Пуассон (1781— 1 8 4 0 )— французский математик, механик |
фнзик. |
|
|
** Огюстен Ж ан |
Френель (1788— 1827) — французский фнзнк. |
214
9. О П Р Е Д Е Л Е Н Н Ы Й ИНТЕГРАЛ
9.1. ИНТЕГРАЛЬН АЯ СУММА.
ПО НЯТИЕ О П Р Е Д Е Л Е Н Н О Г О ИНТЕГРАЛА
Пусть |
функция у = f(x) определена и |
ограничена |
на отрезке |
|||||||
[а; Ь], а < Ь . |
Разобьем [а; Ь] произвольным образом на п частичных |
|||||||||
отрезков |
точками хо, х и ..., х„ и обозначим |
это |
разбиение через т„: |
|||||||
тп = |
[х0, |
х и ..., хп \а = x0 < X i |
< . . . |
< х п- \ < |
Х п = |
Ь}. |
|
|||
Пусть |
Ахк = |
Хк — Xk~ \ — длина |
частичного |
отрезка [хн-й Хк\ |
||||||
/г = 1, п. |
На |
каждом таком отрезке |
произвольным образом |
выбе |
||||||
рем точку |
и составим сумму |
|
|
|
|
|
|
|
||
а„ = |
f(h )A xi + f{ l2)Ax2 + - |
+ |
f(ln)Ахп = |
2 |
f (lk)Axk. |
(9.1) |
||||
|
|
|
|
|
|
|
k=\ |
|
|
|
Она называется интегральной суммой Римана* для функции f(x) на отрезке [а; b], соответствующей данному разбиению т„ отрезка [а; Ь]
и выбору |
промежуточных точек |
/г = 1 , п. |
|
Пусть |
X — длина |
наибольшего |
частичного отрезка разбиения |
т„: X = max{Axft}, называемая диаметром разбиения. |
|||
О п р е д е л е н и е |
9.1. Если существует конечный предел инте |
гральной суммы (9.1) при X—-0, не зависящ ий от способа разбиения т„ отрезка [а\ Ь] на частичные отрезки и выбора промежуточных точек то этот предел называют определенным интегралом (или интегралом Римана) от функции f(x) на отрезке [а\ Ь] и обозначают
Ьп
S f(x)dx Ш lim 2 f( h ) b x k.
_о_________ Х-»0 k=\_________
Если указанный предел существует, то функция f(x) называется
интегрируемой на отрезке [а, b] (или интегрируемой по Риману). При этом f(x)dx называется подынтегральным выражением, f(x) — подынтегральной функцией, х — переменной интегрирования, а н Ь — соответственно нижним и верхним пределами интегрирования.
Заметим, что интегральная сумма не зависит от того, какой буквой обозначен аргумент данной функции. Следовательно, и ее предел, т. е. определенный интеграл, не зависит от обозначения переменной интегрирования:
ь |
ь |
ь |
S f{x)dx = \ f(t)dt = \f( y ) d y .
а |
а |
а |
Таким образом, определенный интеграл есть число, равное пре-
* Бернгард Риман (1826— 1866) — немецкий математик.
215
делу, к которому стремится интегральная сумма, в случае, когда
диаметр разбиения К стремится к нулю.
ь
Обозначение определенного интеграла $ f(x)dx похоже на обозна-
а
чение неопределенного интеграла от той же функции f(x)dx. И это не случайно. Оказывается, что вычисление определенного интеграла сводится к вычислению неопределенного интеграла от той ж е подын тегральной функции, причем сходство их обозначений облегчает запись и запоминание формул интегрирования. Однако между опре деленным и неопределенным интегралами имеется и существенное отличие: определенный интеграл от функции f(x) на отрезке [а; Ь] есть некоторое число, в то время как неопределенный интеграл пред ставляет собой множество всех первообразных функций F(x) + С для данной функции Дх) на отрезке [а; Ь]. Таким образом, понятия эти различны.
9.2. ГЕО М Е ТРИ Ч ЕС К И Й И |
Ф И ЗИ Ч Е С К И Й СМ Ы СЛ |
О П РЕ Д Е Л Е Н Н О Г |
О ИНТЕГРАЛА |
Геометрический смысл определенного интеграла. Пусть функция
У — f(x ) непрерывна |
на отрезке [а; Ь] |
и f(x) ^ 0. Фигура, |
ограни |
ченная графиком А В |
функции у = f(x), |
прямыми х = а, х = |
6 и осью |
Ох (рис. 9.1), называется криволинейной трапецией.
Интегральная сумма и ее слагаемые имеют простой геометри
ческий смысл: произведение f(|*)Дх* равно площади |
прямоуголь |
ника с основанием Дх* = х*— x*_i и высотой f(g*), а |
сумма о„ = |
П |
|
=2 f(lk)Ах* представляет собой площадь заштрихованной ступен-
k=1
чатой фигуры, изображенной на рис. 9.1. Очевидно, что эта площадь зависит от разбиения т„ отрезка [а; Ь] на частичные отрезки и вы-
Чем меньше Ах*, k = \ , п, тем площадь ступенчатой фигуры ближе к площади криволинейной трапеции. Следовательно, за точ ную площадь S криволинейной трапеции принимается предел инте гральной суммы при
216
n |
b |
s = lim |
f{lk)Axk = ^ f(x)dx. |
k = 1 |
a |
Таким образом, с геометрической точки зрения определенный интеграл от неотрицательной функции численно равен площади соответствующей криволинейной трапеции.
Физический смысл определенного интеграла. Пусть точка дви жется прямолинейно вдоль числовой оси с непрерывно меняющейся
скоростью v(t), to t |
Т. Смещение точки за малый промежуток |
||||
времени |
Atk — tk — tk - i |
приближенно можно |
считать |
П |
равным |
v(lk)&tk, |
где l k £ [ t k - 1; |
|
|
и(Ы А th |
|
f*]. Тогда интегральная |
сумма |
2 |
|||
|
|
|
* |
= |
1 |
представляет собой приближенное значение пути, пройденного точ кой от момента времени to до Т. В пределе при A, = max{Af*}->-0 получим точное значение этого пути S, т. е.
|
я |
Т |
S = lim |
2 |
v (Ik) Atк — S v(t)dt |
X-*0 |
* = 1 |
I |
9.3. УСЛОВИЯ ИН ТЕГРИРУЕМ ОСТИ Ф УНКЦИЙ
Рассмотрим условия интегрируемости функций на отрезке [а; Ь], т. е. условия существования определенного интеграла. При опреде лении его как предела интегральной суммы (см. § 9.1) мы предпо лагали, что функция f(x) ограничена на отрезке [а; Ь\. Условие огра ниченности функций на отрезке [а; Ь\ является необходимым усло
вием интегрируемости |
функций, т. |
е. |
справедлива |
следующая |
|||||
|
|
|
ь |
|
|
|
|
|
|
|
Теорема 9.1. Если |
\f(x)d x существует, то функция f(x) ограничена |
|||||||
на отрезке [а\ Ь]. |
а |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|||
|
[> Действительно, если функция f(x) неограничена на [а; b], то |
||||||||
для |
любого |
разбиения |
т„ |
отрезка |
[а; |
b] на |
частичные отрезки |
||
[хо\ |
Xi], [х\\ |
Хг], ..., |
[хп- й |
х„] найдется |
хотя |
бы один |
частичный |
отрезок [х*_1; х*], на котором функция будет неограниченной. В силу неограниченности функции f(x) на отрезке [x*_i; х*] можно выбрать
на нем точку |
так, |
чтобы абсолютная |
величина произведения |
|
/(£*)Ах* была больше наперед заданного |
числа. Таким образом, |
|||
при любом разбиении |
т„ отрезка |
[а; b] на |
частичные отрезки инте- |
|
|
П |
|
|
|
тральная сумма |
2 /(£*)Ах* будет |
бесконечно большой по абсолют- |
4 = 1
ной величине, а следовательно, не существует конечного предела ин тегральной суммы при стремлении диаметра разбиения X к нулю, что противоречит условию теоремы. <]
Покажем на примере, что ограниченность является необходимым, но не достаточным условием интегрируемости функции на отрезке [а; b], т. е. что существуют ограниченные функции, не являющиеся интегрируемыми.
217