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

chirskii-lectures-2sem

.pdf
Скачиваний:
59
Добавлен:
08.04.2015
Размер:
1.57 Mб
Скачать

Математический анализ I курс II семестр

Билет 10. Определенный интеграл с переменным верхним пределом (стр. 2 из 2)

Определение 10.1. Если для всех x a;b справедливо равенство x f x то x

называется первообразной для f x на (a;b).

Можно рассматривать первообразную и на отрезке [a;b], тогда в точке a должно выполнятся равенство прав a f a , а в точке b – равенство лев b f b .

Следствие. Если f (x) C [a;b]

 

и x первообразная для

f x .

 

x f x

 

1, t 0

x

 

 

 

Замечание. Пример

, x f (t)dt

 

f t

0

показывает, что 0 f 0 (т. к.

 

0, t

1

 

 

 

x 0), т.е. x f (x) 1, поэтому в случае точки разрыва теорема может оказаться неверной.

Математический анализ I курс II семестр

Билет 11. Приёмы вычисления определённых интегралов (стр.1 из 1)

Билет 11. Приёмы вычисления определённых интегралов.

Уже сформулирована и доказана теорема Ньютона-Лейбница (см. бил. 10)

Теорема. 11.1. (Замена переменной.) Пусть f x C a;b

и x t , где:

1.

t определена и непрерывна на , ;

 

2.

значения t при t , не выходят за пределы отрезка , ;

3.a, b;

4.t C , .

b

Тогда f x dx f t t dt

a

►Доказательство. Пусть F x — первообразная для f x . Тогда

F t F x t F t t . Поэтому выполняются равенства:

b

b

f x dx F b F a , f t t dt F b F a F b F a и требуемое

a

a

 

 

 

 

 

 

равенство установлено.◄

 

 

 

 

 

 

 

Теорема. 11.2. (Интегрирование по частям) Пусть u x , x , u x , x

 

b

 

 

 

 

 

b

непрерывны на a,b . Тогда u x x dx u x x

 

ba

u x x dx.

 

 

a

 

 

 

 

 

a

 

 

 

x x u x

 

 

 

 

►Доказательство. u x x

u

 

 

x . Поскольку u ( x) ( x)

непрерывная функция, то существует её первообразная x , т.е. u x x x .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда u

 

x

 

x

 

 

 

u

 

x

 

x

 

u

 

x

x

 

 

 

u

x

 

x

 

 

 

 

x

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u x x dx

u x x

x dx u

x x

a

 

 

 

 

 

 

a

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

x ba u x x ba x dx u x x ba u x x dx.

a

a

Теорема доказана. ◄

Математический анализ I курс I семестр

Билет 12. Приложения интеграла: объём тела (стр. 1 из 3)

Билет 12. Приложения интеграла: объём тела.

Определение объема можно дать аналогично определению площади образом: считая известным понятие объема многогранника, рассмотреть множество объемов содержащихся в данном теле многогранников и множество объемов содержащих данное тело многогранников. Если точная верхняя грань первого из рассматриваемых множеств равно точной нижней грани второго, то тело называется кубируемым, или имеющим объем, равный общему значению этих точных граней.

Теорема 12.1. Если T представляет собой прямой цилиндр высоты H в основании которого лежит квадрируемая фигура P с площадью S P то T - кубируема, причем

V T S P H.

 

►Доказательство. Пусть 0. Рассмотрим многоугольники

A P B такие, что

S B S A

 

.

 

 

 

 

H

 

Построим содержащийся в T и содержащий T многогранники высотой H , в основании которых лежат, соответственно, A и B. Тогда объемы этих многогранников

 

 

 

 

 

 

 

 

 

 

 

 

 

H

 

отличаются

на H

 

S

 

B

 

S

 

A

 

H

 

.

 

 

 

 

 

 

Ввиду произвольности

 

0,

теорема

доказана.◄

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 12.2. Пусть T - пространственное тело, а оси расположены так, что любое сечение, перпендикулярное оси x этого тела, представляет собой квадрируемую фигуру

с площадью S x , a x b, причем для любых x1, x2 a;b

проекция одного из сечений

на плоскость

OYZ

целиком содержится в проекции

другого сечения. Тогда T

-

 

 

b

 

 

 

 

 

кубируемое тело, и V T S x dx.

 

 

 

 

 

 

 

a

 

 

 

 

 

►Доказательство. Для произвольного разбиения отрезка a;b

суммы Дарбу

представляют

собой

объемы тел, содержащихся

внутри

T

(нижняя

сумма Дарбу)

и

содержащих T

(верхняя сумма Дарбу). Поскольку

S x интегрируема,

при измельчении

разбиения разность между верхней и нижней суммой Дарбу стремится к нулю. Это означает,

b

что T имеет объем, причем V T S x dx.

a

1

Математический анализ I курс I семестр

Билет 12. Приложения интеграла: объём тела (стр. 2 из 3)

Следствие. Объем

тела,

полученного вращением вокруг оси

OX

графика функции

 

 

b

 

 

 

 

 

 

 

y f x равен V T f 2

x dx.

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

►Доказательство. Площадь круга радиуса f x равна f 2 x .◄

 

12.1. Приложение интеграла: площадь в полярных координатах.

 

Теорема 12.3. (Площадь в полярных координатах).

 

 

 

 

 

 

 

 

 

Пусть фигура представляет собой

 

 

 

 

 

часть угла: , ограниченную

 

 

 

r( )

графиком r r ,

r

- непрерывная на

 

 

 

 

 

 

 

 

 

 

 

 

 

; функция. Тогда пл. P

1

 

 

 

 

 

r2 d .

 

 

 

 

 

 

 

 

 

 

 

 

2

 

►Доказательство.

Рассмотрим разбиение отрезка ; и

 

соответствующие ему

нижнюю и верхнюю суммы Дарбу для интеграла из формулировки теоремы. По известной из школьного курса формуле для площади кругового сектора, эти суммы представляют собой площади фигур A1 P B1 .

2

Математический анализ I курс I семестр

Билет 12. Приложения интеграла: объём тела (стр. 3 из 3)

При измельчении разбиения эти суммы

n 1

 

 

 

 

 

n 1

 

 

 

mi2

1

и

 

 

 

Mi2

i

,

где

 

 

 

2

 

 

 

i 0

 

 

 

 

i 0

2

 

 

mi min r , Mi

 

 

 

 

 

стремятся

max r

i 1; i

 

 

i 1; i

 

 

 

 

 

 

 

 

1

r2 d ,

 

 

к общему значению:

 

которое и

2

 

 

 

 

 

 

 

 

 

равно искомой величине площади, поскольку A1 и B1 - квадрируемые фигуры.◄

3

Математический анализ I курс II семестр

Билет 13. Приложения интеграла: длина дуги кривой, площадь поверхности вращения (стр. 1 из 3)

Билет 13. Приложения интеграла: длина дуги кривой, площадь поверхности вращения

13.1. Длина дуги кривой

Пусть незамкнутая, не имеющая точек самопересечения кривая задана параметрическим

уравнением x x t , y y t , T0 t T1 , причем

x t ,

 

 

 

t непрерывны на

y t , x t , y

T0;T1 .

 

 

 

 

 

 

 

Пусть

Mi

имеет

координаты

x t1 , y t1 .

t0 T0

t1

t2

 

... tm

T1 .

 

Рассмотрим

ломаные линии, соединяющие выбранные вышеуказанным способом точки.

Определение 13.1. Если существует предел длины ломаной при стремлении к 0 максимальной длины звена ломаной, то этот

предел называется длиной дуги кривой (а кривая называется спрямляемой или имеющей длину).

Теорема13.1. При сформулированных выше условиях (т. е. если кривая незамкнутая и без точек самопересечения, причем ее параметризация x x(t), y y(t) задается

непрерывно

дифференцируемыми

функциями

от

t)

кривая

имеет

длину

T1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l (x'(t))2 (y'(t))2 dt .

 

 

 

 

 

 

 

 

 

 

 

T0

 

 

 

 

 

 

 

 

 

 

 

 

 

►Доказательство. Рассмотрим вписанную

ломаную

и соответствующие

ей

точки

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

деления отрезка [T0;T1].

Длина ломаной равна

(x(ti 1) x(ti

))2 (y(ti 1) y(ti ))2

(под

знаком суммы стоит длина i-ого звена).

 

i 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применим

к каждой

из разностей

x ti 1 x ti

и

y(ti 1) y(ti ) теорему

Лагранжа,

 

 

 

 

 

согласно

 

которой

 

x(ti 1) x(ti )

x'( i ) ti ,

 

 

 

 

 

y(ti 1) y(ti ) y'( i ) ti , где

точки

i

и i

 

 

 

 

 

лежат на интервале (ti ,ti 1). Поэтому длина

 

 

 

 

 

вышеупомянутой

 

ломаной

 

есть

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x'( i ))2

(y'( i ))2 ti .

(1)

 

i 0

Эта величина напоминает соответствующую интегральную сумму

Математический анализ I курс II семестр

Билет 13. Приложения интеграла: длина дуги кривой, площадь поверхности вращения (стр. 2 из 3)

n 1

 

 

(x'( i ))2 (y'( i ))2 ti

 

(2)

i 0

(различие только в том, что в (1) стоят точки i , i , в (2) – только i ).

Требуется доказать, что при стремлении к 0 максимальной длины звена ломаной линии разность величин и стремится к 0.

Можно доказать (но мы это оставим без строгого доказательства), что стремление к 0 максимальной длины звена ломаной эквивалентно стремлению к 0 диаметров соответствующих разбиений отрезка [T0 ,T1].

 

 

Итак, будем доказывать, что при

d(T) 0

 

 

 

 

0. Для этого

заметим, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x'( i ))2 (y'( i ))2 (x'( i ))2 (y'( i ))2

 

 

ti

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x'( i ))2

(y'( i ))2

 

 

 

(x'( i ))2

(y'( i ))2

ti

 

 

 

y'( i ) y'( i )

.

(3)

 

 

 

 

 

 

 

i 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Последний

переход

 

сделан

на

 

основании

 

 

 

элементарного

неравенства

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b2

b12

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a2 b2 a2 b2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

b b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

a2 b2 a2 b2

a2 b2

a2 b2

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

b1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b b

 

 

 

 

b b

 

, т. к.

 

a2 b2

 

 

 

 

b

 

,

a2 b2

 

 

b

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a2 b2 a2 b2

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

По условию, функция y'

 

непрерывна на [T0 ,T1], следовательно,

по теореме Кантора, y'

равномерно непрерывна на [T0 ,T1], поэтому 0

 

0 разбиения [T0 ,T1] с условием

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

max

 

ti

 

 

 

y'( i ) y'( i )

 

 

 

 

 

 

 

. Тогда

 

 

 

 

 

 

 

 

ti

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b a

 

 

 

 

 

 

 

 

 

i 0 b a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку интегральные суммы стремятся к

 

 

(x'(t))2

(y'(t))2 dt при

max

 

ti

 

0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

существует предел длины ломаных, причем этот предел равен указанному интегралу. Теорема доказана.◄

Следствие 1. Если кривая задана явным уравнением y f (x),x a,b , то формула

b

 

 

принимает вид l

1 ( f '(x))2 dx.

a

 

 

►Доказательство. Сводим к предыдущему случаю: x x, y f (x).◄

Математический анализ I курс II семестр

Билет 13. Приложения интеграла: длина дуги кривой, площадь поверхности вращения (стр. 3 из 3)

Следствие 2. Если кривая задана полярным уравнением r r( ), , , то

l r2 ( ) (r'( ))2 d .

►Доказательство. Положим x r( )cos , y r( )sin . Тогда x' r'( )cos r( )sin , y' r'( )sin r( )cos , (x')2 (y')2 (r'( )cos r( )sin )2

(r'( )sin r( )cos )2 (r'( ))2 cos2 2r'( )r( )cos sin r2 ( )sin2

(r'( ))2 sin2

2r'( )r( )cos sin r2 ( )cos2

(r'( ))2 (r( ))2 , и

можно применить

формулу из доказанной теоремы.◄

 

 

 

 

Примечание. В случае трехмерной кривой x x(t), y y(t),z z(t),

t T0 ,T1 , где x, y,z

 

T1

 

 

 

 

– непрерывно дифференцируемые функции, l

 

(x'(t))2 (y'(t))2 (z'(t))2 dt .

 

T0

 

 

 

 

13.2. Площадь поверхности вращения

 

 

 

 

x x(t)

 

 

 

 

Пусть

, 0 t 1 - незамкнутая кривая, x, y,x , y - непрерывные функции.

y

y(t)

 

 

 

 

Вращаем кривую вокруг оси Ox . При этом получается поверхность вращения. Не входя в детали определения площади поверхности в общем случае - это будет сделано в курсе 4-ого семестра, и считая, что площадь поверхности вращения существует и обладает свойством

1

 

 

x t 2 y t dt .

аддитивности, укажем формулу для ее вычисления: S 2 y t

2

 

 

Действительно, считая поверхность вращения малого участка кривой вокруг оси Ox близкой к части поверхности усеченного конуса с основаниями y ti , y ti 1 и длиной образующей

2 2

x i y i (как и в теореме о длине дуги), получим, что

 

 

y ti y ti 1

 

 

ti . Суммируя и переходя к пределу при

Si

2

 

x i 2 y i 1 2

 

 

2

 

 

 

ti 0, получаем требуемое.

Математический анализ I курс II семестр

Билет 14. Несобственные интегралы и обобщение понятия площади плоской фигуры.

 

 

 

 

 

1

dx

 

 

 

 

 

 

Сходимость интегралов

 

 

,

 

 

(стр. 1 из 2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

q

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

Билет 14. Несобственные интегралы и обобщение понятия

 

 

 

 

 

 

 

 

 

 

 

dx

1

dx

 

площади плоской фигуры. Сходимость интегралов

,

.

p

q

 

 

 

 

 

 

 

 

 

1

x

0 x

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

Предположим, что для всех

b [a, )

существуетF(b) f (x)dx . Если существует

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

lim F(b) I ,

то этот предел называется несобственным интегралом f (x)от aдо и

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

обозначается

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)dx

 

 

 

 

(1).

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

Говорят еще, что интеграл (1) сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

Аналогично, пусть для всех b [a; ), Rсуществует F(b) f (x)dx . Если

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

существует lim F(b) I , то этот предел называется несобственным интегралом

b 0

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)от aдо и обозначается

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)dx

 

(2).

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим,

что

если

f (x)

просто

 

 

 

 

 

 

 

интегрируема

на

отрезке [a; ],

то ввиду

 

 

 

 

 

 

 

непрерывности интеграла с переменным верхним пределом понятие несобственного интеграла совпадает с обычным интегралом. Но бывает и так, что в обычном смысле интеграл не существует, а в несобственном – существует.

Понятие несобственного интеграла позволяет обобщить понятие площади на случай

неограниченных фигур.

Именно, можно считать величину интеграла f (x)dx площадью фигуры под

a

графиком y f (x), если рассматриваемый интеграл сходится.

Аналогично, площадь такой фигуры можно выразить интегралом f (x)dx , если он

a

сходится.

Математический анализ I курс II семестр

Билет 14. Несобственные интегралы и обобщение понятия площади плоской фигуры.

 

1

dx

Сходимость интегралов

 

,

 

 

(стр. 2 из 2)

 

 

 

x

q

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выясним, когда сходится

 

 

dx

 

 

, a 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3).

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1 p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

C, p 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Известно, что

 

 

 

 

1 p

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xp

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln x C, p 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

dx

 

 

 

 

 

 

 

1

 

 

1 p

 

 

 

 

1

 

1 p

 

1

 

 

1 p

 

1 p

 

 

Поэтому при p 1:

 

lim

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

b

 

 

 

 

 

 

a

 

 

 

 

a

 

, т.к. b

 

0

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

x

 

 

 

 

 

b

1 p

 

 

 

 

 

1 p

 

 

1 p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при b . При p 1

 

 

 

 

b

 

 

dx

 

 

 

 

 

 

b

и при p 1

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

lim ln

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b a

x

 

 

 

 

 

 

b

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

dx

 

 

1

 

 

 

 

 

1 p

 

 

 

1

 

 

 

 

 

1 p

 

 

 

 

 

 

 

1 p

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

lim

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

, т. к.

b

 

 

 

 

. То есть интеграл (3)

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

x

b

1 p

 

 

 

 

 

 

1 p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходится при p 1 и расходится при остальных значениях p .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогичные рассуждения проведем для

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(4).

 

 

xq

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При q 0 это – обычный интеграл. При

q 0

этот интеграл не может существовать в

собственном смысле, так как

 

 

 

1

 

 

 

 

не ограничена в окрестности x 0. Далее при

q 1

 

 

xq

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,q 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

dx

 

 

1

 

 

 

 

 

1 q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q 1имеем

 

 

lim ln .

lim

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

а при

 

 

lim

 

 

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

x

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

x

 

0

 

 

 

 

 

 

 

1 q

1 q

 

 

 

 

 

 

 

,q 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Значит, интеграл (4) расходится при q 1.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]