Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Герасимович(математический анализ)

.pdf
Скачиваний:
468
Добавлен:
31.05.2015
Размер:
5.61 Mб
Скачать

Интегралы вида $ 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 =

'

~\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

и = -dx? + a 2, d u =

Пример 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

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

a2x2 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