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

лекции вышмат

.pdf
Скачиваний:
93
Добавлен:
01.06.2024
Размер:
5.41 Mб
Скачать

М

С

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рисунок 1

 

 

 

 

 

 

 

Пример. Разложить по формуле Тейлора при ( x , y ) = (1,

1) функцию z = xy .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

 

 

 

 

Решение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( x0 , y0 ) = 1;

df =

f

x +

f

y = yx y 1 x + x y ln x y df (1,1) = 1 x + 0 y = x;

 

 

 

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d 2 f =

2 f

x2 + 2

2 f

x y +

2 f

y 2

= y( y 1)x y 2 x2 + 2(x y 1 + yx y 1 ln x) x y + x y ln 2 x y 2

 

 

 

 

 

 

 

 

 

 

x2

 

x y

 

y 2

 

 

 

 

 

 

 

 

d 2

f (1,1) = 0 x2 + 2(1 + 0) x y + 0 y 2

= 2 x y.

 

 

 

 

 

Значит,

(1 + x)1+ y = 1 + x + x y + r ,

или

x y = 1 + (x 1) + (x 1)( y 1) + r, где

r – остаточный

член.

Отбросив

остаточный

член

 

r ,

 

получим

формулу

для

приближенных

вычислений,

по

которой

 

 

x =0 ,1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y =0 , 02

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1, 02

 

1 + 0,1 + 0,1 0, 02 = 1,1 + 0, 002

= 1,102

, что уточняет результат, полученный в лекции 16. Погрешности обоих

1,1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

результатов равны соответствующим остаточным членам формулы Тейлора и могут быть оценены путем оценки этих

членов. Результат можно уточнить далее, добавив члены формулы Тейлора, входящие в

d

3

f ( x

,

 

 

 

 

0

y

)

 

0

.

 

 

 

 

 

 

 

 

 

Экстремумы функции нескольких переменных

 

 

 

 

 

 

 

 

Определение 1. Пусть функция z = f (x, y)

определена в окрестности точки M0 (x0 , y0 ) .

M0

называется

 

 

точкой

максимума

 

(минимума)

функции

z = f (x, y)

,

если

f (x , y )

f (x, y)

(

f (x

, y

) f (x, y)

)для всех точек

 

M (x, y) , достаточно близких к

 

M

0

0

0

 

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

 

(т.е. для всех

M , таких, что

0 M

0

M δ

, где δ достаточно мало). Точки максимума и

 

 

 

 

 

 

 

минимума называются точками экстремума функции.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 2 (необходимые условия экстремума). Пусть

M

0

(x

 

, y )

– точка экстремума

 

0

 

0

функции z = f (x, y)

, и пусть в точке

M

0

существуют конечные частные производные

 

 

f (x

, y )

 

f (x

, y

)

 

 

 

f (x , y

 

)

= 0

 

 

f (x

, y

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

и

 

 

0

 

0

 

, тогда

 

0

 

 

0

 

 

и

0

 

0

 

= 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

y

 

 

 

x

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

▲ Пусть

M

0

, например, точка максимума функции

 

z = f (x, y) . Фиксируем

y = y

0

 

 

 

 

 

 

 

 

 

 

z = f (x, y)

– функция одной переменной

x

и

f (x

, y

)

f (x, y

)

для всех x , достаточно

0

 

0

 

 

 

 

0

 

 

близких к

x

0 , следовательно,

x

0 – точка максимума функции одной переменной

f (x, y

)

,

 

 

 

 

0

 

 

тогда по необходимому условию экстремума такой функции,

Аналогично f (x

, y ) = f (x0 , y0 )

= 0 . ■

y 0

0

y

 

 

 

 

 

 

 

 

 

f (x

, y

0

)

f (x

, y

 

) =

0

 

 

0

 

 

 

 

x

0

 

 

x

 

 

 

 

 

 

 

 

 

=

0

.

Определение 2. Точки, в которых частные производные функции равны нулю или не существуют, называются критическими для этой функции.

Согласно теореме 2, функция может иметь экстремумы только в таких точках.

100

Пример. Найти экстремумы функции

z = x2

y

2

 

.

Решение.

z

= 2x,

 

x

 

zy

=

2 y

; так как частные производные существуют всюду, то функция

может иметь экстремум только в тех точках, где

 

 

 

0

0

 

. Но поверхность,

 

 

 

 

 

 

2x = 0,

2y = 0

x

= y

= 0

 

определяемая уравнением

z = x

2

y

2

это гиперболический

параболоид («седло»), и

очевидно, что экстремума в точке (0;0) у нашей функции нет (см. рис. 2). z

0 y

x

Рисунок 2

Итак, необходимые условия экстремума функции не являются достаточными.

Далее для простоты ограничимся функциями двух переменных.

Теорема 3 (достаточные условия экстремума функции двух переменных). Пусть в

окрестности точки M0 (x0 , y0 ) функция

 

 

z = f (x, y)

 

непрерывна и имеет непрерывные

частные производные до второго порядка включительно.

Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z(x

, y

)

 

 

z(x

, y )

 

 

 

 

 

 

 

 

 

 

 

 

 

2

z(x

 

, y

 

)

 

 

 

 

 

2

z(x

 

, y

 

)

 

 

 

 

 

2

z(x

 

, y

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

0

 

0

 

=

 

 

0

0

= 0

. Пусть

A =

 

 

 

 

0

 

 

0

 

,

B

=

 

 

 

,

C =

 

 

 

 

 

. Тогда

 

x

 

 

 

 

y

 

 

 

x

2

 

 

 

 

 

x y

 

 

 

 

y

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)

AC B

2

0, A 0

M

 

(x

, y

)

 

– точка минимума функции

z = f (x, y)

;

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

 

 

 

 

 

 

 

 

2)

AC B

2

0, A 0

M

 

(x

, y

)

 

– точка максимума функции

z = f (x, y)

;

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

 

 

 

 

 

 

 

 

3)

AC B

2

0 экстремума у функции

 

z = f (x, y) в точке

 

M

 

(x

, y )

нет.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

 

0

 

 

 

 

 

 

▲ Разложим функцию z = f (x, y)

по формуле Тейлора в окрестности точки M0 (x0 , y0 ) :

f (x

 

+ x, y

 

+ y) = f (x , y ) + df (x , y

 

) +

1

d

2 f (x

 

+ θ x, y

 

+ θ y) ,

где

0 θ 1.

 

Так

как

 

0

 

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

0

 

 

 

0

0

 

 

2

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x , y )

 

 

 

f (x

, y

)

 

 

 

 

 

,

 

 

и

 

 

z = f (x + x, y

+ y) f (x , y

)

,

 

из

этой

df (x

, y

) =

 

 

0

0

x +

 

 

 

0

 

0

 

 

y = 0

 

 

 

 

 

 

 

0

 

0

 

 

 

 

 

x

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

0

 

 

 

 

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

формулы имеем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z =

1

d

2

f (x

 

+ θ x, y

 

+ θ y) =

1

d

2

 

f (x

, y

) +

 

1

d

2

f (x

+ θ x, y

 

+ θ y) d

2

f (x

, y

 

) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

0

 

 

0

 

 

 

2

 

 

 

 

0

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

0

0

 

 

 

 

2

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначая второй член в правой части этой формулы как r, получаем:

 

1

2 f (x , y )

x2 +

2 f (x , y )

 

1

2 f (x , y )

y2 + r

z =

 

0 0

0 0

x y +

 

0 0

2

x2

x y

2

y2

 

 

 

 

101

z = K

1

A x

2

+ B x y +

1

C y

2

+

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

=

1

A x

2

+ B x y +

1

C y

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

r = K + r,

,

(8)

(9)

Идея продолжения доказательства теоремы состоит в том, что в силу непрерывности

вторых частных производных функции f (x, y) , в формуле (8) r

это

бесконечно малая

более высокого порядка, чем K , поэтому членом r

можно пренебречь.

 

 

 

1

 

 

 

x

2

x

 

 

 

Тогда знак z будет совпадать со знаком K =

y2

 

 

 

 

 

 

 

 

 

A

 

+ 2B

 

+ C

. В первых двух

 

 

 

2

 

 

 

y

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

случаях

по условию теоремы дискриминант квадратного трехчлена в скобках

D = 4B2 4AC = 4(B2 AC) 0 , значит, знак этого трехчлена совпадает со знаком первого

коэффициента A , а так как y2

0, то так же ведет себя и K :

A 0 K 0 z 0 f (x0

+ x, y0

+ y) f (x0 , y0 ) M0

точка минимума,

A 0 K 0 z 0 f (x0

+ x, y0

+ y) f (x0 , y0 ) M0

точка максимума;

вслучае же 3) D 0 , значит квадратный трехчлен в скобках, а значит, и K , меняет знак

он бывает положительным и отрицательным при сколь угодно малых x и y так же

меняет знак и z , т.е. экстремума у нашей функции в точке

M

0 нет. ■

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример. Найти экстремумы функции z = x

3

+ y

3

3xy .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Экстремум может быть только в тех точках, где

z

 

= 3x

2

3 y = 0;

z

= 3 y

2

3x = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

x

2

= y

 

 

 

 

 

 

 

 

 

 

 

 

x = 0

 

x

= 1 M (0, 0)

 

M (1,1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

4

= x ;

x(x

3

1) = 0 ;

,

,

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

1

 

2

 

 

1

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

= x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

z

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

2

 

 

 

 

Теперь в точках

M

 

и

M

проверяем достаточные условия экстремума:

 

 

= 6x,

 

 

 

= −3,

 

 

= 6 y;

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

 

 

x y

y

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M1 (0, 0) : A = 0, B = −3, C = 0 AC B2

= −9 0

экстремума в точке M 1

 

нет.

 

 

 

 

 

 

 

 

M (1,1) : A = 6, B = −3, C = 6 AC B2

= 27 0, A 0

M

точка минимума.

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Касательная плоскость и нормаль к поверхности

 

 

 

 

 

Рассмотрим поверхность, заданную уравнением

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F(x, y, z) = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(10)

Пусть

M

0

(x

, y

 

, z )

точка на поверхности. Мы будем предполагать, что в точке

M

0 все

 

 

0

0

 

0

 

 

три производные

 

 

F

, F

, F

 

существуют и непрерывны,

 

причем хотя бы одна из них

 

 

 

 

 

 

 

 

 

 

 

 

 

x

y

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

отлична от нуля. Такая точка

M

0

называется обыкновенной точкой поверхности.

 

 

 

 

 

 

Проведем

 

через

 

точку

M0

 

всевозможные

 

кривые,

лежащие

 

на нашей поверхности

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = x(t), y = y(t), z = z(t) (предполагается, что существует х (t), у (t), z (t) ). К каждой из этих

кривых в точке M0

проведем касательную.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

102

M

0

 

Рисунок 3

Можно проверить, что справедлива

Теорема 4.

Все

 

эти касательные лежат

 

в

одной плоскости, ортогональной вектору

 

 

 

F (x , y , z

 

)

,

F (x , y

, z

 

)

,

F (x , y

, z

 

)

 

 

 

 

 

 

N =

0

0

0

 

0 0

 

0

 

0 0

 

0

 

.

 

 

 

x

 

 

 

 

y

 

 

 

 

z

 

 

 

 

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

Уравнение касательной плоскости к поверхности

F(x, y, z) = 0

в точке

M

0

(x

,

y

, z

0

)

– это

 

 

 

0

 

0

 

 

уравнение плоскости по точке

M

0

и нормали N

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F (x

, y

, z

 

)

(x x

) +

F (x

, y

, z

 

)

( y y

 

) +

F (x

, y

, z

 

)

(z z

 

)

= 0 .

 

 

 

 

(11)

0

0

 

0

 

 

 

0

0

 

0

 

 

0

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

0

 

 

 

 

y

 

 

 

 

 

0

 

z

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 4. Прямая, проведенная через обыкновенную

M

0

(x

, y

, z )

перпендикулярно к касательной плоскости в этой точке,

 

0

0

0

точку поверхности называется нормалью

к поверхности в точке M0 .

Уравнения нормали к поверхности F(x, y, z) = 0

прямой по точке

M

0

и направляющему вектору

s

 

 

 

 

x x

 

 

 

=

y y

 

 

 

 

=

 

 

 

 

0

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F (x

, y

, z

0

)

 

F (x

, y

 

, z

0

)

 

 

 

 

0

0

 

 

 

0

0

 

 

 

 

 

 

x

 

 

 

 

y

 

 

 

 

 

в точке

= N :

 

 

z z

0

 

 

F (x

, y

 

0

0

z

 

M

 

(

0

 

, z

)

0

 

 

x

, y

, z

0

)

0

0

 

 

.

–– это уравнения

(12)

Геометрический смысл (полного) дифференциала функции двух переменных

Пусть теперь поверхность задана в виде

z = f (x, y) . Напишем уравнение касательной

плоскости: z f (x, y) = 0

F

= −

f

,

F

= −

f

,

F

=1

 

F ( x, y, z )

x

 

x

 

y

 

y

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

уравнение касательной плоскости к поверхности в точке M0 (x0 , y0 , z0 )

имеет вид

f (x

, y

)

(x x0 )

f (x , y

)

( y y0 ) + (z z0 ) = 0 или

 

 

 

 

0

0

 

 

 

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z z

0

= f (x0 , y0 ) (x x ) + f (x0 , y0 )

( y y ) .

 

(13)

 

 

 

 

 

 

 

 

 

 

x

 

 

0

y

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Положим

x x

= x, y y

= y

z z

0

= f (x0 , y0 ) x +

f (x0 , y0 ) y = df (x , y ) .

 

 

 

 

0

 

 

 

0

 

 

 

 

 

x

 

y

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

103

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

M

0

имеет вид

 

z z

= df (x

, y )

.

 

 

 

0

0

0

 

 

 

Следовательно (аналогично функциям одной переменной, для дифференциал равен приращению ординаты касательной), полный дифференциал

(14)

которых

функции

двух переменных

z = f (x, y)

в точке

(x

,

0

 

y

0

)

 

 

, соответствующий приращениям

x

и

y

независимых переменных касательной плоскости в функцией.

x и y, равен

точке

(x

, y

0

)

0

 

 

соответствующему приращению аппликаты z к поверхности, которая определяется данной

104

2 СЕМЕСТР

ЛЕКЦИЯ 1

НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ

Определение несобственного интеграла

Определение определенного интеграла как предела интегральных сумм теряет смысл в случаях бесконечных пределов интегрирования (так как тогда интегральная сумма содержит бесконечное число слагаемых) или неограниченной подынтегральной функции (так как интегрируемая функция обязательно ограничена). В этих случаях дается определение несобственного интеграла. Вначале дадим его в случае, когда так называемая особенность (это бесконечный предел интегрирования или точка бесконечного разрыва подынтегральной функции) – одна и находится на правом краю промежутка интегрирования.

Определение 1. Пусть функция

y =

f (x) определена

интегрируема на любом отрезке a, c ,

где a c b

определению

 

 

 

 

b

f (x)dx = limcb c

f (x)dx ,

a

 

 

a

 

на полуинтервале

a,b)

и

 

c

 

 

 

(т.е.

 

f (x)dx существует).

По

 

 

a

 

 

 

 

 

 

 

(1)

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

В частности,

+

 

c

 

f (x)dx = lim

 

a

c→+

a

 

f

(x)dx

 

b

 

bε

 

,

 

f (x)dx = lim

 

f (x)dx

 

 

 

a

ε→+0

a

 

 

 

 

для неограниченной при

x b 0 функции.

Аналогично по определению

c, b , где a c b .

b

a

b

f (x)dx = lim ca c

f

(x)dx

, если f (x) интегрируема в любом

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

Далее всюду для определенности будет предполагаться, что интеграл имеет только одну особенность в точке b .

Геометрический смысл

 

 

Пусть f (x) неотрицательна и непрерывна на a,b) b

f (x)dx = limcb c

f (x)dx , что по

a

c b a

 

определению считается площадью соответствующей бесконечной области (см., например, рис. 1 ниже).

105

Рисунок 1

Формула Ньютона-Лейбница

Пусть

тогда

b

a

f (x)

непрерывна на a, b)

и

F(x) – ее первообразная на этом полуинтервале,

 

 

c

 

 

 

опр

 

 

 

 

 

 

 

c

b

f (x)dx = lim

 

 

= limF (c) F (a) =

 

f (x)dx = lim F (x) |

F (b) F (a) = F (x) |

a . То есть

 

cb

 

cb

 

a

cb

 

 

a

 

 

 

 

 

c b

c b

 

 

c b

 

 

b

 

b

 

f (x)dx = F (x) |a

,

a

 

где

F (b)

=

lim xb x b

F (x)

.

При этом левая и правая части этой формулы конечны или бесконечны одновременно.

+ dx

b

dx

 

 

Примеры. Исследовать на сходимость несобственные интегралы

 

 

и

 

 

.

x

α

(b x)

α

a

 

a

 

 

 

 

 

 

 

Решение.

 

 

 

 

+

1) при

α 1

 

 

 

 

 

 

a

 

 

 

 

+

же

α =

1

, то

 

 

 

 

 

 

a

2)

при

 

α 1

dx

 

 

 

1

 

 

|

+

этот предел существует и конечен при

α 1 0

и бесконечен при

α

 

α

 

=

 

 

 

α 1

,

x

 

(α + 1) x

 

a

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

+

dx

 

 

 

 

 

 

 

 

= ln x|

+

= ,

 

т.е.

 

сходится при α 1

и расходится при α 1

;

 

x

 

 

a

 

x

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

b

 

 

dx

 

 

b

d (b x)

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

= −

 

 

= −

 

|a , этот предел существует и конечен при

 

(b x)α

 

 

(b x)α

(α + 1)(b x)α 1

a

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 0

α 1

;

если

0

и

бесконечен при α 1 0

; если же

и расходится при α 1.

 

 

 

 

 

 

 

b

dx

 

Эти же выводы верны и для

 

(

 

α

 

 

 

 

 

x

 

 

α

b

 

 

 

b

= 1 , то

 

 

 

 

 

 

 

a

 

 

b

 

0)

и

 

 

 

 

 

 

a

(

dx b x

dx x a

 

 

b

d (b x)

 

 

 

 

= −

 

|

b

= ,

 

 

 

 

 

b x

= − ln(b x)

 

 

 

 

 

a

 

 

 

a

 

 

 

 

 

.

 

 

 

 

 

)

α

 

 

 

 

 

 

 

 

 

 

 

т.е.

b

dx

 

 

 

(b x)

α

a

 

сходится при

α 1

Линейность

 

b

 

 

 

 

b

 

 

 

Если

f1 (x)dx

и

 

f2 (x)dx

 

a

 

 

 

 

a

 

 

 

 

c

 

 

 

 

 

 

 

 

 

= lim

 

 

1

f

(x) +

2

f

2

(x) dx

cb

 

1

 

 

 

 

c b

a

 

 

 

 

 

 

 

 

 

сходятся,

 

1

 

c

1

=

lim

 

 

 

f

 

 

cb

 

 

 

 

c b

a

 

то сходится и

 

 

c

(x)dx + 2

lim f

 

cb

 

 

c b

a

b

 

 

 

 

 

 

 

 

f

(x) +

2

1

1

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

b

 

 

2

(x)dx =

 

f

 

 

 

1

 

 

1

 

 

 

 

 

a

 

 

f

2

(x) dx

=

 

 

 

 

 

 

b

(x)dx + 2 f2 (x)dx.

 

 

 

a

Аддитивность

 

 

 

b

f (x)dx = d

f (x)dx + c

f (x)dx , если несобственный интеграл b

f (x)dx

сходится и d (a,b).

a

a

d

a

 

 

Интегрирование неравенств

 

b

 

 

b

 

 

Пусть

 

f (x)dx

и

 

g(x)dx

сходятся и для

 

 

 

 

 

a

 

 

a

 

 

x a,b)

f (x) g(x).

Так как для

c a,b)

c

f (x)dx c

g(x)dx, то, переходя в этом неравенстве к пределу при c b, имеем

a

a

 

b

f (x)dx b g(x)dx .

a

a

 

106

Интегрирование по частям

Если u(x) и v(x) непрерывно дифференцируемы на a,b) и сходятся несобственные

интегралы

b u(x)dv(x) =

a = u(b)v(b) u

 

b

b

 

 

u(x)dv(x) = u(x)v'(x)dx

 

 

a

a

 

 

c

 

 

lim u(x)dv(x) = lim u(c)v(c) u

cb

a

cb

 

c b

c b

 

 

 

b

b

 

 

 

(a)v(a) v(x)du(x) = u(x)v(x)|

 

 

 

a

 

 

a

 

 

 

 

b

 

 

 

 

и

 

v(x)du(x) =

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

c

 

 

(a)v(a) lim

v(x)du(x) =

 

 

 

cb

a

 

 

 

 

 

c b

 

 

 

b

 

 

 

 

опр.

 

 

 

 

 

 

v(x)du(x)

,

u(b)v(b) =

 

 

 

 

 

 

a

 

 

 

 

 

b v(

a

lim cb c b

x)u'(x)dx

u(c)v(c) .

,

то

Замена переменной

 

 

 

 

 

 

 

Пусть

 

f (x) непрерывна на

a,b);

x = φ(t),

где φ(t) непрерывно дифференцируема на

α,β) ;

φ(α) = a , lim φ(t) = b;

при

t α,β)

φ(t) a, b);

существует обратная функция

 

 

 

 

t β

 

 

 

 

 

 

 

t = φ

1

(x),

непрерывно

 

дифференцируемая

при

x a,b).

Тогда

 

 

b

 

 

c

φ1 (c)

 

β

 

 

 

f (x)dx = limcb f (x)dx = limcb

 

f (φ(t))φ (t)dt = f (φ(t))φ (t)dt

 

 

a

 

 

c b a

c b

α

 

 

α

 

 

 

(так как при c этой формулы

b

φ

1

(c) β

и φ

1

(c) β ). При этом интегралы в левой и правой частях

 

 

(если они несобственные) сходятся или расходятся одновременно.

Несобственные интегралы от неотрицательных функций

Рассматриваются два несобственных интеграла, каждый из которых имеет одну

особенность в точке

b

:

 

b

 

 

1)

f (x)dx

 

и

 

b

 

 

2)

g(x)dx

 

.

a

Теорема 1 (сравнения). Пусть для сходится и 1), а если 1) расходится,

x a,b) 0 f

то расходится и

a (x) g(x). 2).

Тогда, если 2) сходится, то

▲ Пусть

где c a,

b

 

b

интеграл 2) сходится и

 

 

 

a

). Эта функция не убывает

 

 

c

g(x)dx = G. Рассмотрим функцию

φ(c) =

 

 

 

 

a

и ограничена сверху на a,b), так как при

f (x)dx,

c1 c2

 

 

c

 

 

c

 

c

 

c

 

с

 

2

 

2

 

1

 

2

 

1

1

2

 

) =

 

f (x)dx =

 

f (x)dx +

 

f (x)dx

 

 

 

φ(c

 

 

 

 

 

f (x)dx = φ(c ) (здесь

 

f (x)dx 0);

 

 

a

 

 

a

 

c

 

a

 

с

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

c

 

 

c

 

b

 

 

 

 

 

 

φ(c) =

f (x)dx g(x)dx g(x)dx = G.

 

 

 

 

a

 

 

a

 

a

 

 

 

 

 

 

Но всякая неубывающая, ограниченная сверху функция имеет конечный предел, поэтому

существует конечный предел

 

 

c

lim φ(c) = lim f (x)dx,

cb

cb

a

c b

c b

т.е. интеграл 1) сходится.

Если же интеграл 1) расходится, то расходится и интеграл 2), так как если бы этот интеграл сходился, то, по уже доказанному утверждению, сходился бы и интеграл 1), что противоречит условию теоремы. ■

Замечание. На самом деле для справедливости теоремы достаточно выполнения неравенства 0 f (x) g(x) только для x , достаточно близких к b : если 0 f (x) g(x) для

107

x

a

0

 

, то

b

a

b

 

0

 

= + ;

a

a

a

 

 

0

в правой части этой формулы первый интеграл является некоторым

числом, а ко второму применима теорема 1.

Возможность применения теоремы сравнения зависит от справедливости неравенства 0 f (x) g(x) , которое во многих случаях не является существенным для результата.

Поэтому для исследования несобственных интегралов на сходимость часто более удобной оказывается следующая теорема.

Теорема 2

(сравнения в предельной форме). Пусть для x a,b)

существует

lim

f (x)

= K

,

где

K 0, K .

Тогда

интегралы 1) и

g(x)

 

xb

 

 

 

 

 

 

 

x b

 

 

 

 

 

 

 

расходятся

одновременно

(что

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

как b

f (x)dx ~ b g(x)dx

 

 

 

 

 

 

 

a

a

f (x) 0, g(x) 0 и

2)

сходятся

или

).

При K = 0

из

сходимости 2) следует сходимость 1), а при расходимость 1).

K =

из расходимости 2) следует

▲ Пусть 2) сходится. Так как

lim xb x b

f (x) g(x)

= K

, то для

x

, достаточно близких к

b

,

 

f (x)

K ε

f (x)

K ε f (x) (K + ε)g(x) , и т.к. b (K + ε)g(x)dx

тоже сходится, то,

 

g(x)

g(x)

 

 

a

 

 

 

 

 

 

по замечанию к теореме 1, сходится и 1). Эта часть доказательства справедлива и при K = 0.

Пусть теперь сходится интеграл 1). Так как

части теоремы, интеграл 2) тоже сходится.

lim

g(x)

=

1

f (x)

K

xb

 

x b

 

 

 

, то, по уже доказанной первой

Если lim

f (x)

= , то

g(x)

xb

 

x b

 

 

lim xb x b

g(x) f (x)

=

0

, тогда из сходимости интеграла 1) следует сходимость

интеграла 2), а значит, из расходимости интеграла 2) следует расходимость интеграла 1) (доказательство методом от противного: пусть 1) сходится сходится 2), а это не так). ■

В примерах в качестве одного из интегралов 1) и 2) берется исследуемый на сходимость интеграл, а в качестве другого часто берется один из интегралов, рассмотренных выше:

+

 

 

dx

x

α

a

 

 

 

сходится при

α 1

и расходится при

α

1

bdx

;a (b x)α

сходится при

α 1

и расходится

при α 1.

 

 

dx

 

 

Пример 1. Исследовать на сходимость несобственный интеграл

3

 

.

 

 

 

 

 

 

 

 

1

 

x 1

 

 

dx

 

2

dx

Решение.

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

3

1

 

 

x

3

1

 

1

 

 

1

 

этот интеграл сходится = 1 2

сходится (строгое обоснование:

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

dx

 

 

 

2

+

 

. Используем теорему 2:

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

3

 

 

2

 

x

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

x

 

1

1

 

 

 

 

 

 

dx

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1);

 

 

 

 

 

 

 

 

 

~

 

 

 

 

,

а этот интеграл сходится

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

3

 

 

 

 

2

 

 

 

x

 

 

1

2

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

2

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

x 1

 

 

 

=

1

;

lim

 

 

 

= 1 ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( x 1)(x2 + x + 1)

 

3

 

x3

 

 

 

 

 

x 1

 

 

 

 

x

1

 

 

 

 

 

 

 

 

dx

 

2

dx

 

 

 

 

 

 

 

 

~

 

, а

 

 

 

 

 

 

 

 

 

 

( x 1)( x

2

 

 

 

 

+ x + 1) 1

x 1

=

3

1). Т.е.

исходный интеграл

 

2

 

 

 

 

 

 

 

 

108

 

 

 

1

dx

 

 

 

 

 

Пример 2. Исследовать на сходимость несобственный интеграл

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

1

dx

 

 

 

 

sin x

 

1

dx

Решение.

расходится, так как, в силу первого замечательного предела

lim

= 1,

 

sin x

x

sin x

 

 

 

 

x 0

 

 

0

 

 

 

 

 

 

 

0

 

интеграл расходится ( α = 1 ).

Несобственные интегралы от функций произвольного знака

 

1

~

 

 

 

0

dx x

, а последний

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

Определение 2. Рассмотрим несобственный интеграл

 

f (x)dx

с одной особенностью в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

точке b . Этот

интеграл называется

абсолютно

 

сходящимся,

если сходится интеграл

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| f (x) | dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 3. Если

|

f (x) | dx сходится, то f (x)dx

тоже сходится, т.е. если несобственный

 

 

a

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интеграл абсолютно сходится, то он сходится в обычном смысле.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x), x если f (x) 0

 

 

 

 

0,

 

x если f (x) 0

 

 

Введем функции

f+ (x) =

 

 

 

 

,

f(x) =

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

0,

x если f

(x) 0

 

 

 

 

f (x), x если f (x)

0

 

 

тогда f (x) = f+ (x) f(x)

. Так как 0 f+ (x) | f (x) | , 0 f(x) |

f (x) | , то по теореме 1 из

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

b

 

 

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

|

f (x) | dx

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

 

f+ (x)dx и

 

f(x)dx

, а

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

a

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

отсюда следует сходимость интеграла

 

f+ (x) f(x) dx =

 

f (x)dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

Замечание. Пусть b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

c

 

 

f (x)dx абсолютно сходится. Так как при c b

| f (x)dx | | f (x) | dx ,

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

b

 

 

 

то, переходя в этом неравенстве к пределу при c b , получаем:

|

 

f (x)dx |

 

|

f (x) | dx

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3. Несобственный интеграл

f (x)dx

называется условно сходящимся, если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

он сходится, а

|

f (x) | dx

расходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример. Интеграл

 

x

 

dx условно сходится (без доказательства).

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Главное значение несобственного интеграла

 

Как

известно, для

интеграла

с двумя особенностями в точках

+

 

a

 

+

a

 

d

d

 

 

f (x)dx =

 

+

 

= lim

+ lim

= lim

f (x)dx ,

 

 

c→−

d

→+

c→−

 

 

a

c

 

a

d →+ c

 

+

и

109