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

Краткий курс математического анализа. Том 2

.pdf
Скачиваний:
329
Добавлен:
10.05.2015
Размер:
4.49 Mб
Скачать

250 Гл. 5. Интегральное исчисление функций многих переменных

рования, соединяющего точки A и B. Начнем с доказательства этого утверждения. Предварительно докажем лемму.

Л е м м а. Для того чтобы для любого кусочно-гладкого замкнутого контура Γ, лежащего в области G, циркуляция по нему векторного поля a равнялась нулю, т. е.

a dr = 0,

(48.43)

Γ

необходимо и достаточно, чтобы для любых точек A G и B G интеграл a dr не зависел от выбора кривой AB, соединяющей эти

 

 

 

AB

точки в области G.

 

 

Если выполнено условие (48.43), A G, B G, a AB и (AB)1

кусочно-гладкие кривые, соединяющие в G точки A и B, то, заметив,

что кривая Γ = AB (BA)1

является кусочно-гладким замкнутым

контуром (рис. 56), будем иметь

 

a dr

a dr = a dr + a dr =

 

(45.15)

 

 

 

 

 

 

 

 

AB

 

(AB)1

AB

(BA)1

 

 

 

 

 

= a dr

= 0,

 

 

 

 

 

(48.43)

откуда и следует, что

Γ

 

 

 

 

 

 

a dr =

a dr.

(48.44)

 

 

 

 

 

 

 

 

AB

(AB)1

 

 

Если, наоборот, для любых точек A G, B G и любых кусочно-

гладких кривых AB G и (AB)1 G выполняется условие (48.44),

аΓ — кусочно-гладкий замкнутый контур, лежащий в G, то, выбрав

,B Γ, получим Γ = AB (BA)1

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

a dr = a dr + a dr = a dr a dr = 0.

Γ

 

 

 

 

 

AB

(BA)1

AB

(AB)1

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

Пусть для определенности G — область в трехмерном про-

странстве.

Если векторное

поле a =

(P , Q, R) потенциальное

в G, то

это означает, что

существует

потенциальная функция

§ 48. Скалярные и векторные поля

251

u = u(M ) = u(x, y, z), M = (x, y, z) G, т. е. такая функция u, чтоu = a в G, или, в координатной записи,

∂u

= P ,

∂u

= Q,

∂u

= R,

(48.45)

∂x

∂y

∂z

 

 

 

 

иначе говоря, выражение P dx + Q dy + R dz является дифференциалом функции u = u(x, y, z).

Пусть A G, B G и

{ , , ; }

AB = x(t) y(t) z(t) a t b

— кусочно-гладкая кривая, соединяющая в G точки A и B; тогда

a dr = P dx + Q dy + R dz =

(45.19)

AB

AB b

 

∂u(x(t), y(t), z(t))

 

+

 

∂u(x(t), y(t), z(t))

 

 

=

x (t)

 

y (t) +

 

(45.19) a

 

∂x

 

b

 

 

∂y

 

+

∂u(x(t)

, y(t), z(t))

z (t) dt =

 

 

d

 

 

 

 

 

u(x(t), y(t), z(t)) dt =

 

 

∂z

 

dt

a

= u(x(b), y(b), z(b)) − u(x(a), y(a), z(a)) = u(B) − u(A).

Таким образом, интеграл a dr не зависит от выбора кривой AB,

AB

соединяющей точки A и B, а зависит только от самих этих точек. Следовательно, согласно лемме выполняется и условие (48.43).

Пусть теперь циркуляция векторного поля a по любому замкнутому контуру, лежащему в области G, равна нулю. Зафиксируем какую-либо точку M0 G. Определим функ-

цию u(M ) по формуле

u(M ) = a dr = P dx + Q dy + R dz,

M0M M0M

M G, (48.46)

где M0M — какая-либо кривая, соединяющая в G точки M0 и M. Формула (48.46) определяет однозначную функцию в G,

так как интеграл (48.46) не зависит от пути интегрирования, соединяющего в G точки

M0 и M (см. лемму). Покажем, что функция u(M ) является потенциальной функцией векторного поля a. Для этого вычислим частные производные функции u(M ) в точке M.

Поскольку точка M внутренняя для области G, то существует такое число δ > 0, что δ-окрестность точки M содержится в G (рис. 57).

252 Гл. 5. Интегральное исчисление функций многих переменных

Если 0 < |h| < δ, то отрезок M Mh с концами в точках M = (x, y, z) и Mh = (x + h, y, z) лежит в области G, и, следовательно, по нему

можно брать интеграл a dr. Поскольку отрезок M Mh параллелен

MMh

оси x, то (см. формулу (45.14), в которой в рассматриваемом здесь случае cos α = 1, cos β = cos γ = 0, s = x)

a dr =

(P cos α + Q cos β + R cos γ) ds =

P (x, y, z) dx.

MMh

 

 

 

MMh

 

 

 

 

 

 

MMh

Поэтому

 

 

 

 

 

 

 

 

 

 

(48.47)

 

 

 

 

 

 

 

 

 

 

 

,

y

, z)

− u(x

,

y

,

z) =

a dr

a dr =

a dr =

u(x + h

 

 

 

 

 

(48.47)

 

 

 

 

 

 

 

 

 

 

MMh

 

 

 

 

 

 

 

 

 

M0M MMh

 

M0M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h

 

 

 

 

=

 

P (x, y, z) dx = P (x + t, y, z) dt = P (x + θh, y, z)h,

(48.47)

 

 

 

 

 

 

(45.19)

 

 

 

 

 

MMh

 

 

 

 

0

 

 

 

0 < θ < 1

(в конце, использовав непрерывность векторного поля a и, следовательно, непрерывность функции P (x, y, z), мы применили интегральную теорему о среднем). Отсюда следует, что существует предел

lim

u(x + h, y, z) − u(x, y, z)

= lim P (x + θh, y, z) = P (x, y, z),

0

h

0

 

 

 

 

 

 

h→

 

h→

 

 

 

 

 

 

и, таким образом, в точке M имеет место равенство

∂u

= P.

 

 

 

 

 

 

 

 

∂x

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

∂u

= Q,

∂u

= R, т. е. дей-

 

 

 

 

 

∂y

∂z

ствительно функция u(x, y, z) является потенциальной функцией для векторного поля a.

З а м е ч а н и е 1. Отметим, что в процессе доказательства теоремы мы получили полезную формулу для вычисления интеграла a dr в случае, когда известна потенциальная функция u(M ) век-

AB

торного поля a(M ): a dr = u(B) − u(A).

AB

Эта формула является прямым обобщением формулы Ньютона– Лейбница для интегралов по отрезку.

Условие (48.43) потенциальности поля так же, как и существование потенциальной функции, трудно проверяемы. Докажем для одного класса областей более удобный для применения критерий потенциальности поля.

§ 48. Скалярные и векторные поля

253

О п р е д е л е н и е 1. Множество X R3 называется односвязным, если для любого кусочно-гладкого замкнутого контура, лежащего в X, существует кусочно-гладкая ориентируемая поверхность S, краем которой он является и которая также лежит в X.

Рассматриваемые здесь поверхности S могут самопересекаться. В случае, когда множество X лежит на некоторой плоскости R2 R3, согласно сделанному определению поверхность S также помещается на той же плоскости.

Можно показать, что определение односвязности для п л о с к и х о б л а с т е й равносильно выполнению следующего условия: каков бы ни был кусочно-гладкий простой замкнутый контур, лежащий в области G, ограниченная им конечная об-

ласть D также содержится в G (рис. 58).

Наглядно это означает, что плоская область односвязна тогда, когда она не имеет «дыр».

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

в пространственном случае. В пространстве односвязной областью может быть и область с «дырами», например, открытый шаровой слой, т. е. множество то-

чек, лежащих между двумя концентрическими сферами. Примером неодносвязной области на плоскости является плоское кольцо, а в пространстве — тор.

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

Таким образом, непрерывно дифференцируемое векторное поле a потенциально в односвязной области G тогда и только тогда, когда в G

rot a = 0.

(48.48)

Если G — трехмерная область и a = (P , Q, R), то в координатной записи условие (48.48) имеет вид (см. (48.5))

∂R

=

∂Q

,

∂P

=

∂R ,

∂Q

=

∂P

.

(48.49)

∂y

 

∂z

∂x

 

 

 

∂z

 

∂x

 

∂y

 

Если же G — плоская область, a = (P , Q), P = P (x, y), Q = Q(x, y), то координатная запись условия (48.48) приобретает вид

∂P

=

∂Q .

(48.50)

∂x

 

∂y

 

254 Гл. 5. Интегральное исчисление функций многих переменных

Если поле a потенциальное, т. е. у него существует потенциальная функция u, то (см. (48.45))

P =

∂u

, Q =

∂u

, R =

∂u

.

(48.51)

∂x

 

 

 

 

∂y

∂z

 

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

∂R

=

 

∂u

 

=

 

∂u

 

= ∂Q .

 

 

 

 

 

 

 

 

 

 

∂y

(48.51) ∂y

∂z

 

∂z

∂y

(48.51) ∂z

Наоборот, если выполняется условие (48.48), или, что то же самое, условие (48.49), и Γ — кусочно-гладкий замкнутый контур, лежащий в области G, то в силу ее односвязности существует кусочно-гладкая ориентируемая поверхность S G, для которой контур Γ является ее краем, а тогда по теореме Стокса

a dr = rot a dS = 0,

(48.48)

ΓS

т.е. выполняется условие потенциальности векторного поля a (см. теорему 6).

За м е ч а н и е 2. При доказательстве необходимости условий теоремы не использовалась односвязность области, в которой задано векторное поле. Это означает, что потенциальное поле в любой области является безвихревым, т. е. его вихрь равен нулю во всех точках области.

За м е ч а н и е 3. Условие потенциальности a = u непрерывного векторного поля a = (P , Q, R) в некоторой области равносильно тому,

что функция P dx + Q dy + R dz является полным дифференциалом функции u = u(x, y, z) в указанной области. Поэтому теорема 7 может

быть перефразирована следующим образом.

Если функции P = P (x, y, z), Q = Q(x, y, z), R = R(x, y, z) непрерывно дифференцируемы в односвязной области G, то для того, чтобы функция P dx + Q dy + R dz была в G полным дифференциалом некоторой функции, необходимо и достаточно, чтобы в области G выполнялись условия (48.49).

З а м е ч а н и е 4. Если функции P , Q, R непрерывно дифференцируемы в некоторой окрестности точки (x0, y0, z0), то теорема 7 дает ответ на вопрос: когда существует окрестность точки (x0, y0, z0), в которой функция P dx + Q dy + R dz является полным дифференциалом некоторой функции u = u(x, y, z)? Действительно, поскольку открытый шар является односвязной областью, то согласно теореме 7 ответ на поставленный вопрос гласит: тогда и только тогда, когда у точки (x0, y0, z0) существует окрестность, в которой выполняются условия

§ 49. Интегралы, зависящие от параметра

255

(48.49), так как если существует какая-то окрестность, обладающая этим свойством, то существует и шаровая окрестность с тем же свойством.

П р и м е р. Рассмотрим векторное

поле

a =

r

, r

=

0, где

r3

r = (x, y, z), r = |r|, соленоидальность

которого в пространстве R3

с выколотым началом координат была доказана в п. 48.6. Заметив,

 

 

 

1

=

 

1

 

∂r

=

 

 

 

x

,

 

 

 

 

 

увидеть, что функция u =

 

1

 

 

 

r

 

 

r3

 

 

 

 

 

r

что

∂x

 

r2 ∂x

 

нетрудно

 

 

 

 

r

 

 

 

является потенциалом векторного поля a =

 

 

:

 

 

 

 

r

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

,

 

,

 

 

 

 

=

 

.

 

 

 

 

 

 

 

 

 

 

 

r

∂x

∂y

∂z

r

r3

 

 

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

С физической точки зрения, векторное поле a = r3 представляет

r

собой поле напряженностей единичного заряда.

§ 49. Интегралы, зависящие от параметра

49.1. Равномерная сходимость по параметру семейства

функций. Пусть

X

n

Y

 

Rn,

0

 

произвольное множество,

 

y

либо точка пространства R , либо y0 = , при-

 

 

 

 

 

 

 

чем любая окрестность y0 пересекается с мно-

 

 

 

 

 

 

 

 

 

жеством Y (т. е. y0 — конечная или бесконечно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

удаленная точка прикосновения множества Y ).

 

 

 

 

 

 

 

 

 

 

Пусть, далее, функция f (x, y) задана на про-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

изведении X × Y , а функция ϕ — на множе-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

стве X (рис. 59, на котором X — отрезок на оси

 

 

 

 

 

 

 

 

 

x, Y — числовое множество на оси y, а y0 — его

 

 

 

 

 

 

 

 

 

 

 

предельная точка).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При каждом фиксированном y Y функ-

 

 

 

 

 

 

 

ция f (x, y) является функцией от x, поэтому

функцию f иногда называют семейством указанных функций от x

спараметром y.

Оп р е д е л е н и е 1. Функции семейства f (x, y) называются равномерно стремящимися на множестве X к функции ϕ(x) при y → y0,

если для любого ε > 0 существует такая окрестность U (y0) точки y0, что для всех x X и всех y U (y0) ∩ Y выполняется неравенство

|f (x, y) − ϕ(x)| < ε.

(49.1)

В этом случае будем писать

 

f (x, y) ϕ(x), y → y0.

(49.2)

X

256 Гл. 5. Интегральное исчисление функций многих переменных

Здесь, как и обычно при предельном переходе, возможны случаи y0 Y и y0 / Y.

З а м е ч а н и е 1. Если имеет место равномерная сходимость (49.2)

и {yn} — такая последовательность точек yn Y ,

n = 1, 2, ..., что

lim yn = y0,

(49.3)

n→∞

 

то последовательность функций

 

def

(49.4)

fn(x) = f (x, yn)

равномерно стремится на множестве X к функции ϕ при n → ∞. Действительно, для любого ε > 0 в силу условия (49.2) найдется такая окрестность U (y0) точки y0, что для нее будет выполняться неравенство (49.1). Согласно же условию (49.3) существует такое n0,

что для всех n > n0 будет иметь место включение

 

yn U (y0) ∩ Y ,

 

 

(49.5)

и, следовательно, для всех x X при n > n0 получим

f

=

,

yn) − ϕ(x)|

<

ε.

|

n(x) ϕ(x)| (49.4)

|f (x

(49.5)

 

 

 

 

 

 

(49.1)

 

Это и означает, что

 

 

 

 

 

 

 

fn(x) ϕ(x),

n

→ ∞

.

 

 

 

X

 

 

 

 

 

Л е м м а 1.

Для того чтобы имела место равномерная сходи-

мость (49.2), необходимо и достаточно, чтобы

 

 

 

lim sup |f (x, y) − ϕ(x)| = 0.

 

(49.6)

 

y→y0 X

 

 

 

 

 

 

1. Если выполняется условие (49.2), то согласно определению для любого ε > 0 существует такая окрестность U (y0) точки y0, что для всех x X и всех y U (y0) ∩ Y выполняется неравенство

|f (x, y) − ϕ(x)| < 2ε .

Перейдя в этом неравенстве к верхней грани по x X, получим, что

для произвольно заданного ε > 0 и всех

y U (y0) ∩ Y имеет место

неравенство

ε

 

sup |f (x, y) − ϕ(x)|

< ε.

2

x X

 

 

Это и означает выполнение условия (49.6).

2. Если же выполнено условие (49.6), то для произвольно фиксированного ε > 0 существует такая окрестность U (y0) точки y0, что для всех y U (y0) ∩ Y выполняется неравенство

sup |f (x, y) − ϕ(x)| < ε,

x X

§ 49. Интегралы, зависящие от параметра

257

а следовательно, для всех x X и всех y U (y0) ∩ Y — неравенство

|f (x, y) − ϕ(x)| < ε,

т.е. выполняется условие (49.2).

Те о р е м а 1 (критерий Коши). Для того чтобы имела место равномерная сходимость (49.2), необходимо и достаточно, чтобы

для любого ε > 0 существовала такая окрестность U (y0) точки y0, что для всех x X и всех y U (y0) ∩ Y , y U (y0) ∩ Y выполнялось

неравенство

(49.7)

|f (x, y ) − f (x, y )| < ε.

1. Если выполняется условие (49.2), то для любого ε > 0 существует такая окрестность U (y0) точки y0, что для всех x X и всех y U (y0) ∩ Y выполняется неравенство

|f (x, y) − ϕ(x)| < 2ε .

Следовательно, если x X, y U (y0) ∩ Y и y U (y0) ∩ Y , то

|f (x, y ) − f (x, y )| |f (x, y ) − ϕ(x)| + (x) − f (x, y )| < 2ε + 2ε = ε,

т.е. выполняется условие (49.7).

2.Если выполняется условие (49.7), то при любом фиксированном x функция f (x, y) переменного y удовлетворяет критерию Коши

существования предела функции, и потому существует lim f (x, y) =

y→y0

= ϕ(x). Переходя к пределу в неравенстве (49.7) при y → y0, получим, что для любого x X и любого y U (y0) ∩ Y выполняется неравен-

ство (x) − f (x, y )| ε,

что равносильно выполнению условия (49.2).

П р и м е р. Если функция f (x, y) непрерывна на конечном прямо-

угольнике

y d},

P = {(x, y) : a x b, c

−∞ < a < b < +, −∞ < c < d < +,

то при любом y0 [c, d] имеем

 

 

f (x, y) f (x, y0), y

y0.

[a,b]

 

Это сразу следует из того, что непрерывная на прямоугольнике P функция является и равномерно непрерывной на нем. В самом деле,

тогда для любого ε > 0 существует такое δ > 0, что как только |x −

− x | < δ, |y − y | < δ, (x, y) P , (x , y ) P , то |f (x, y) − f (x , y )| < ε,

откуда при x = x и y = y0 получим: если |y − y0| < δ, то для всех x [a, b] выполняется неравенство

|f (x, y) − f (x, y0)| < ε.

9 Л. Д. Кудрявцев

258 Гл. 5. Интегральное исчисление функций многих переменных

49.2. Свойства интегралов, зависящих от параметра.

Пусть на множестве Y определены функции ϕ и ψ, ϕ(y) ψ(y), y Y Rn, а на множестве {(x, y) : ϕ(y) x ψ(y), y Y }

функция f (x, y).

О п р е д е л е н и е 2. Интегралы вида

 

ψ(y)

 

Φ(y) =

f (x, y) dx,

(49.8)

 

ϕ(y)

 

в частности, интегралы

 

 

 

b

 

Φ(y) = f (x, y) dx,

(49.9)

a

называются интегралами, зависящими от параметра y.

Если y = (y1, ..., yn), то интеграл (49.8) называют также интегралом от n параметров y = (y1, ..., yn).

Подстановка x = ϕ(y) + [ψ(y) − ϕ(y)]t, 0 t 1, сводит интеграл вида (49.8) к интегралу вида (49.9) (рис. 60). Это было использовано при доказательстве леммы в п. 43.1.

Рассмотрим вопросы о непрерывности интеграла, зависящего от параметра, и о его пределе при стремлении параметра к некоторому значению. Нам уже известно (лемма из п. 43.1) следующее утверждение.

Те о р е м а 2. Пусть функции ϕ и ψ непрерывны на отрезке [c, d], ϕ(y) ψ(y), −∞ < c y d < +∞. Если функция f (x, y) непрерывна на множестве

E = {(x, y) : ϕ(y) x ψ(y), c y d},

(49.10)

ψ(y)

то функция Φ(y) = f (x, y) dx непрерывна на отрезке [c, d].

ϕ(y)

§ 49. Интегралы, зависящие от параметра

259

Таким образом, в этом случае для любой точки y0 [c, d] имеет место равенство

 

ψ(y)

ψ(y0)

lim

f (x, y) dx =

f (x, y0) dx.

y→y0

ϕ(y)

ϕ(y0)

 

Т е о р е м а 3. Если функция f (x, y) определена на прямоугольнике

P = {(x, y) : a x b, c y d}, −∞ < a < b < +, −∞ < c < d < +,

если она при любом фиксированном y [c, d] непрерывна отрезке [a, b] и

 

 

f (x, y) ϕ(x), y

y0

 

[c, d],

то

 

[a,b]

 

 

 

b

b

 

 

 

 

b

 

lim

f (x, y) dx =

lim f (x, y) dx = ϕ(x) dx.

 

y→y0

 

y→y0

 

 

 

 

 

a

a

 

 

 

 

a

(49.11)

по x на

 

def

 

Пусть yn → y0, yn [c, d] и fn(x) = f (x, yn), n = 1, 2, ... Тогда,

согласно замечанию 1,

 

 

 

fn(x) ϕ(x),

n

→ ∞

.

[a,b]

 

 

Отсюда, в силу теоремы 8 п. 31.4 о переходе к пределу под знаком интеграла, будем иметь

b

b

b

b

lim

f (x, yn) dx = lim

fn(x) dx =

lim fn(x) dx = ϕ(x) dx,

n→∞

n→∞

 

n→∞

a

a

a

a

т. е. указанный предел существует и не зависит от выбора указанной последовательности {yn}, а это и означает, что

bb

lim f (x, y) dx = ϕ(x) dx.

y→y0

aa

Теорема 3, очевидно, представляет собой достаточное условие, при котором возможен предельный переход под знаком интеграла. Отметим, что в условиях теоремы 3 функция ϕ непрерывна на отрезке [a, b], так как она является пределом равномерно сходящейся последовательности непрерывных функций fn.

Рассмотрим интеграл от интеграла, зависящего от параметра.

9*