Metoditchka_Vyshka_ch2
.pdf61
а момент инерции пластинки относительно начала координат (полярный момент инерции) равен
IO = ∫∫(x2 + y2 )γ (x, y)dxdy = Ix + Iy .
G
§ 32. Тройной интеграл
1. Тройной интеграл и его вычисление в декартовых прямоугольных координатах. Тройным интегралом от непрерывной функции f (x, y, z) по ог-
раниченной замкнутой пространственной области T называется предел последовательности соответствующих интегральных сумм при стремлении к нулю наибольшего из диаметров dk элементарных областей vk , если этот предел не
зависит ни от способа разбиения области T |
на элементарные подобласти |
vk , |
ни от выбора промежуточных точек: |
|
|
|
n |
|
∫∫∫ f (x, y, z)dxdydz = maxlimdk →0 |
∑ f (xk , yk , zk ) vk , |
(5) |
T |
k=1 |
|
где (xk , yk , zk ) vk . Через vk обозначается как элементарная область, так и её
объём. Свойства тройных интегралов аналогичны свойствам двойных интегралов.
Вычисление тройного интеграла в декартовых координатах сводится к последовательному вычислению одного однократного и одного двойного инте-
гралов или к вычислению трёх однократных интегралов. Если, например, область интегрирования T ограничена снизу поверхностью z =ϕ1 (x, y), сверху
поверхностью z =ϕ2 (x, y) (ϕ1 (x, y)≤ϕ2 (x, y)) и с боков прямым цилиндром, сечением которого плоскостью, параллельной плоскости Oxy , является область
G , то тройной интеграл (5) вычисляется по формуле
∫∫∫ f (x, y, z)dxdydz = ∫∫dxdy |
ϕ2 |
(x, y) |
|
|
∫ f (x, y, z)dz . |
||
T |
G |
ϕ1(x, y) |
Записывая двойной интеграл по области G через один из повторных, получаем
|
b |
y2 |
(x) |
ϕ2 |
(x, y) |
∫∫∫ f (x, y, z)dxdydz = ∫dx |
∫ dy |
|
∫ |
||
T |
a |
y1 |
(x) |
ϕ1(x, y) |
d |
x2 |
(y) |
ϕ2 |
(x, y) |
f (x, y, z)dz = ∫dy |
∫ dx |
|
∫ f (x, y, z)dz . |
|
c |
x1 |
(y) |
ϕ1(x, y) |
2. Замена переменных в тройном интеграле. Если в тройном интеграле
62
∫∫∫ f (x, y, z)dxdydz
T |
|
|
производится замена переменных по формулам |
x = x(u,v, w), |
y = y(u,v, w), |
z = z(u,v, w), причём функции x(u,v, w), y(u,v, w), |
z (u,v, w)осуществляют вза- |
|
имно однозначное отображение области T пространства Oxyz |
на область T1 |
пространства O1uvw и якобиан преобразования не обращается в нуль в области
T1 :
|
|
∂x |
∂x |
∂x |
|
|
|
|
|
|
|
||||
|
|
∂u |
∂v |
∂w |
|
|
|
I = |
|
∂y ∂y ∂y |
|
≠ 0 , |
|||
|
|
|
|||||
∂u ∂v ∂w |
|||||||
|
|
|
|
||||
|
|
∂z |
∂z |
∂z |
|
|
|
|
|
∂u |
∂v |
∂w |
|
|
то справедлива формула |
|
|
|
|
|
|
∫∫∫ f (x, y, z)dxdydz = ∫∫∫ f (x(u,v, w), y(u,v, w), z(u,v, w)) |
|
I |
|
dudvdw . |
(6) |
|
|
|
|||||
|
|
|
||||
T |
T1 |
|
Наиболее употребительными из криволинейных координат являются цилиндри-
ческие |
координаты r , |
ϕ , z : x = r cosϕ , |
y = r sinϕ , |
z = z , якобиан которых |
|
I = r , |
и сферические |
r (длина |
радиус-вектора), ϕ |
(долгота), θ (широта): |
|
x = r cosϕcosθ , y = r sinϕcosθ , |
z = r sinθ , |
якобиан которых I = r2 cosθ . Фор- |
|||
мула (6) принимает соответственно вид |
|
|
|||
|
∫∫∫ f (x, y, z)dxdydz = ∫∫∫ f (r cosϕ,r sinϕ, z)rdrdϕdz |
||||
|
T |
|
T1 |
|
|
или |
|
|
|
|
|
∫∫∫ f (x, y, z)dxdydz = ∫∫∫ f (r cosϕcosθ,r sinϕcosθ,r sinθ)r2 cosθdrdϕdθ . |
|||||
T |
|
T1 |
|
|
|
3. Приложения тройных интегралов. Объём V пространственной об-
ласти T равен
V = ∫∫∫dxdydz .
T
63
Масса M тела с переменной плотностью γ (x, y, z), занимающего область
T :
M = ∫∫∫γ (x, y, z)dxdydz .
T
Статические моменты тела относительно координатных плоскостей:
M yz = ∫∫∫xγ (x, y, z)dxdydz ,
T
M zx = ∫∫∫yγ (x, y, z)dxdydz ,
T
M xy = ∫∫∫zγ (x, y, z)dxdydz .
T
Координаты центра масс тела:
x = MMyz , y = MMzx , z = MMxy .
Моменты инерции тела относительно осей координат:
Ix = ∫∫∫(y2 + z2 )γ (x, y, z)dxdydz ,
T
Iy = ∫∫∫(z2 + x2 )γ (x, y, z)dxdydz ,
T
Iz = ∫∫∫(x2 + y2 )γ (x, y, z)dxdydz .
T
§ 33. Несобственные кратные интегралы
1.Интеграл по бесконечной области. Если функция f (x, y) непрерывна
вбесконечной области G , то, по определению,
∫∫ f (x, y)dxdy = Dlim→G ∫∫ f (x, y)dxdy , |
(7) |
|
G |
D |
|
64
где D – конечная область, целиком лежащая в области G , причём D →G означает, что область D расширяется произвольным образом так, чтобы в неё вошла и осталась в ней любая точка области G (исчерпывающее расширение). Если существует конечный предел (7), не зависящий от выбора подобласти D и
способа расширения D →G , то несобственный интеграл ∫∫ f (x, y)dxdy назы-
G
вается сходящимся, в противном случае – расходящимся.
Аналогично определяется тройной интеграл по бесконечной области. Если f (x, y)≥ 0 , то для сходимости несобственного интеграла необходи-
мо и достаточно, чтобы предел (7) существовал хотя бы для одного исчерпы- |
|||||
вающего расширения области G . |
|
|
|
|
|
|
2. Интеграл от разрывной функции. Пусть функция f (x, y) непрерыв- |
||||
на |
в ограниченной замкнутой области |
G всюду, |
за исключением |
точки |
|
P0 |
(x0 , y0 ) (или линии L ). Если существует конечный предел |
|
|||
|
limε→0 ∫∫ f (x, y)dxdy , |
|
|
||
|
Gε |
|
|
|
|
где Gε – область, получаемая из G путём удаления произвольной окрестности |
|||||
точки P0 с диаметром, меньшим ε |
(соответственно произвольной окрестности |
||||
линии L с «шириной», меньшей ε ), то этот предел называется несобственныи |
|||||
интегралом от функции f (x, y) |
по |
области G |
и обозначается |
через |
|
∫∫ f (x, y)dxdy , т. е. |
|
|
|
|
|
G |
|
|
|
|
|
|
∫∫ f (x, y)dxdy =limε→0 |
∫∫ f (x, y)dxdy . |
(8) |
||
|
G |
|
Gε |
|
|
Интеграл (8) в этом случае называется сходящимся. Если же limε→0 |
∫∫ f (x, y)dxdy |
|
Gε |
не существует или равен ∞, то ∫∫ f (x, y)dxdy называется расходящимся. Ана-
G
логично определяется тройной интеграл от разрывной функции.
§ 34. Вычисление интегралов, зависящих от параметра
1. Собственные интегралы, зависящие от параметра. Если функция f (x, y) определена и непрерывна в прямоугольнике a ≤ x ≤ b , A ≤ y ≤ B , то ин-
теграл
65 |
|
|
F (y)= ∫b |
f (x, y)dx |
(9) |
a |
|
|
называется интегралом, зависящим от параметра, и является непрерывной в промежутке [A, B] функцией.
Интеграл более общего вида
ψ (y)
F (y)= ∫ f (x, y)dx (10)
ϕ(y)
также называется интегралом, зависящим от параметра, и является непрерывной функцией аргумента y в промежутке [A, B], если f (x, y) непрерывна в
прямоугольнике a ≤ x ≤ b , A ≤ y ≤ B , ϕ(y) и ψ (y) непрерывны при y [A, B] и их значения содержатся в промежутке [a,b].
Если f (x, y) и fy′(x, y) непрерывны в прямоугольнике a ≤ x ≤ b ,
A ≤ y ≤ B , то для интеграла (9) справедлива формула дифференцирования под знаком интеграла (формула Лейбница):
F′(y)= |
d |
∫b |
f (x, y)dx = ∫b |
fy′(x, y)dx . |
(11) |
|
|
||||||
|
dy a |
|
a |
|
|
|
Если в (10) при тех же условиях на f |
и fy′ пределы интегрирования ϕ(y) и |
ψ (y) дифференцируемы при y (A, B), то верна формула:
|
(y)= |
d ψ (y) |
f (x, y)dx = f ψ (y), y ψ |
|
(y)− f |
( |
ϕ(y), y |
) |
|
(y)+ |
ψ (y) |
|
|
(x, y)dx . |
||||
′ |
|
∫ |
′ |
′ |
∫ |
f |
′ |
|||||||||||
|
||||||||||||||||||
F |
|
|
ϕ |
y |
||||||||||||||
|
|
dy |
|
( |
) |
|
|
|
|
|
|
|
|
|||||
|
|
ϕ(y) |
|
|
|
|
|
|
|
|
|
|
|
ϕ(y) |
|
|
|
|
|
Если f (x, y) |
непрерывна в прямоугольнике a ≤ x ≤ b , |
A ≤ y ≤ B , то для |
|||||||||||||||
интеграла (9) справедлива формула интегрирования по параметру |
y под зна- |
|||||||||||||||||
ком интеграла: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫B F (y)dy = ∫B dy∫b f (x, y)dx =∫b dx∫B f (x, y)dy .
A |
A |
a |
a |
A |
2. Несобственные интегралы, зависящие от параметра. Несобствен-
ный интеграл, зависящий от параметра y , т. е.
66 |
|
F (y)= +∞∫ f (x, y)dx , |
(12) |
a |
|
где функция f (x, y) непрерывна в области a ≤ x < +∞, y1 ≤ y ≤ y2 , называется равномерно сходящимся в промежутке [y1, y2 ], если для любого ε > 0 существует такое B = B(ε ), что при всяком b ≥ B(ε )
+∞∫ f (x, y)dx <ε
b
при любом y [y1, y2 ].
Если интеграл (12) сходится равномерно в промежутке [y1, y2 ], то он представляет непрерывную функцию y в этом промежутке.
Аналогично определяется равномерная сходимость несобственного интеграла от неограниченной функции, зависящего от параметра.
При исследовании равномерной сходимости интегралов, зависящих от параметра, чаксто используется следующее утверждение:
Критерий Вейерштрасса. Для равномерной сходимости интеграла (12) достаточно, чтобы существовала такая функция F (x), не зависящая от
параметра y , что:
а) f (x, y) ≤ F (x), если a ≤ x < +∞,
б) +∞∫ F (x)dx < +∞.
a
Функция F (x) называется мажорантой для f (x, y).
Для несобственых интегралов с бесконечным пределом, зависящих от параметра, при выполнении следующих условий:
а) функция f (x, y) непрерывна вместе со своей производной fy′(x, y) в области a ≤ x < +∞, y1 ≤ y ≤ y2 ,
б) |
+∞∫ |
f (x, y)dx сходится при любом y [y1, y2 ], |
|
a |
|
в) |
+∞∫ |
fy′(x, y)dx сходится равномерно в промежутке [y1, y2 ], |
|
a |
|
справедлива формула дифференцирования по параметру (формула Лейб-
ница):
d +∞∫ f (x, y)dx = +∞∫ fy′(x, y)dx , |
|
dy a |
a |
67
аналогичная соотношению (11).
При выполнении соответствующих условий формула Лейбница остаётся верной и для интеграла от разрывной функции, зависящего от параметра.
Векторный анализ
§ 35. Скалярные и векторные поля. Градиент
1. Геометрические характеристики скалярных и векторных полей.
Пусть D – область в пространстве двух, трёх или n измерений. Говорят, что в области D задано скалярное поле, если в D задана скалярная функция точки u (P) = u(x1, x2 ,..., xn ) = u(r), называемая функцией поля (r – радиус-вектор точ-
ки P(x1, x2 ,..., xn )). Если каждой точке P D поставлен в соответствие вектор a(P) = a(r), то говорят, что в области D задано векторное поле, определяемое
векторной функцией a(P) = a(x1, x2 ,..., xn ) = a(r).
Простейшими геометрическими характеристиками скалярных полей являются линии уровня u (x, y) = C в пространстве двух измерений, поверхности
уровня, или эквипотенциальные поверхности, u (x, y, z) = C в пространстве трёх измерений и гиперповерхности уровня u (x1, x2 ,..., xn )= C в пространстве n > 3
измерений. Простейшими геометрическими характеристиками векторных полей являются векторные линии и векторные трубки. Векторной линией называется линия, касательная к которой в каждой точке имеет направление соответствующего ей вектора поля. Векторные линии для векторного поля
a = axi + ay j + azk
определяются системой дифференциальных уравнений
dx |
= |
dy |
= |
dz |
ax (x, y, z) |
ay (x, y, z) |
az (x, y, z) |
(аналогично для плоских и многомерных полей). Векторной трубкой называется поверхность, образованная векторными линиями, проходящими через точки некоторой лежащей в поле замкнутой кривой, не совпадающей (даже частично)
скакой-либо векторной линией.
2.Производная по направлению и градиент скалярного поля. Пусть
s = cosα i + cos β j + cosγ k – единичный вектор данного направления s , r0 = x0i + y0 j + z0k – радиус-вектор точки P0 (x0 , y0 , z0 ). Производная скалярного
68
поля u (P) в точке P0 по направлению s , обозначаемая через ∂∂us , определяется соотношением
|
|
|
|
|
∂u |
= lim |
u(r0 +τs)−u(r0 ) |
|
|
|
||||
|
|
|
|
|
∂s |
|
|
|
|
|||||
|
|
|
|
|
τ→0 |
|
|
τ |
|
|
|
|
||
и характеризует скорость изменения функции u (P) |
в направлении s . Произ- |
|||||||||||||
водная |
∂u |
вычисляется по формуле |
|
|
|
|
|
|
|
|||||
|
∂s |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂u |
|
= |
∂u |
|
cosα |
+ ∂u |
|
cos β + |
∂u |
|
cosγ . |
|
|
|
|
|
|
|
|||||||||
|
|
∂s |
r=r |
|
∂x |
r=r |
|
∂y |
|
r=r |
∂z |
|
r=r |
|
|
|
0 |
|
0 |
|
|
|
|
|
0 |
||||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
Градиентом скалярного поля u(P), обозначаемым символом grad u , на-
зывается вектор, проекциями которого на координатные оси являются соответствующие частные производные функции u (P), т. е.
grad u = ∂∂ux i + ∂∂uy j + ∂∂uz k .
Аналогично определяется производная по направлению и градиент для n - мерных скалярных полей.
Производная поля по направлению s равна скалярному произведению градиента поля на единичный вектор данного направления, т. е. равна проекции градиента на данное направление
∂∂us = (grad u,s)= grad u cosϕ ,
где ϕ – угол между градиентом и вектором s .
§ 36. Криволинейные и поверхностные интегралы
p
1. Криволинейный интеграл 1-го рода. Пусть AB – дуга кусочно-
гладкой кривой, u (P) |
|
|
p |
|
A = A0 , A1 |
, |
A2 , …, |
– заданное на AB скалярное поле, |
|||||||
|
|
|
p |
(ν =1,2,...,n ) – произволь- |
|||
An−1 , An = B – произвольное разбиение дуги AB и Pν |
|||||||
ные точки на частичных дугах |
q |
, длины которых обозначим через |
|
sν . Ес- |
|||
Aν −1 Aν |
|
|
|
69 |
|
|
|
|
|
n |
|
ли существует предел последовательности интегральных сумм ∑u (Pν ) sν при |
||||
|
|
|
ν =1 |
|
max sν |
|
|
p |
|
→ 0 (и n → ∞), который не зависит ни от способа разбиения дуги AB |
||||
ν |
|
q |
|
|
точками |
Aν , ни от выбора точек Pν |
, то этот предел |
||
в частичных дугах Aν −1 Aν |
||||
называется криволинейным интегралом 1-го рода от функции u (P) по кривой |
||||
p |
|
|
|
|
AB и обозначается через |
|
|
||
|
∫u(P)ds = ∫u(x, y, z)ds |
|
||
|
p |
p |
|
|
|
AB |
AB |
|
( ds – дифференциал длины дуги), т. е.
|
|
n |
|
∫u(P)ds = maxlimsν →0 |
∑u (Pν ) sν . |
(1) |
|
p |
ν |
ν =1 |
|
AB |
|
|
|
|
p |
|
|
Если функция u (P) непрерывна на AB , то интеграл (1) существует. |
|||
Физически интеграл (1) можно рассматривать как массу кривой |
p |
||
AB . Вы- |
числение интеграла (1) сводится к вычислению определённого интеграла. На-
p = ( ) = ( ) = ( )
пример, если уравнение дуги AB задано в виде x x t , y y t , z z t , t0 ≤t ≤t1 , то
|
t |
|
∫u(P)ds = ∫1 u(x(t ), y(t ), z (t )) x′2 (t )+ y′2 (t )+ z′2 (t )dt . |
||
p |
t0 |
|
AB |
|
|
Криволинейный интеграл 1-го рода не зависит от того, в каком направле- |
||
нии проходится дуга |
p |
|
AB , иными словами, |
||
|
∫u(P)ds = ∫u(P)ds . |
|
|
p |
p |
|
AB |
BA |
2. Поверхностный интеграл 1-го рода. Пусть G – кусочно-гладкая по-
верхность, u (P) – заданное на G скалярное поле, G1 , G2 , …, Gn – произвольное разбиение поверхности G на частичные поверхности, площади которых
равны σ1 , σ2 , …, |
σn , и пусть Pν |
(ν =1,2,..., n ) – произвольные точки на |
|||||
частичных поверхностях Gν . Если существует предел последовательности ин- |
|||||||
тегральных сумм n u(P ) |
σ |
|
при max |
σ |
|
→ 0 (и n → ∞), который не зависит |
|
∑ |
ν |
|
ν |
ν |
|
ν |
|
ν =1 |
|
|
|
|
|
|
|
ни от способа разбиения поверхности G на частичные поверхности, ни от вы-
70
бора точек Pν на этих частичных поверхностях, то этот предел называется по-
верхностным интегралом 1-го рода от функции u (P) по поверхности G и обо-
значается через
∫∫u(P)dσ = ∫∫u(x, y, z)dσ
G G
( dσ – дифференциал площади поверхности), т. е.
|
|
n |
|
∫∫u(P)dσ = maxlimσν →0 |
∑u (Pν ) σν . |
(2) |
|
G |
ν |
ν =1 |
|
Если u (P) непрерывна на G , то интеграл (2) существует. Вычисление интегра-
ла (2) сводится к вычислению обычного двойного интеграла. Допустим, что прямая, параллельная оси Oz , пересекает поверхность G лишь в одной точке, т. е. уравнение поверхности имеет вид z = f (x, y), и пусть G проектируется на
плоскость Oxy в область D . Элемент dσ1 |
площади D выражается в виде |
||||
dσ1 = dσ cosγ , где γ – острый угол, который нормаль к поверхности G состав- |
|||||
ляет с осью Oz : |
|
|
|
|
|
cosγ = |
|
1 |
|
|
. |
|
|
|
|
||
|
|
∂z 2 |
|
∂z 2 |
|
|
1+ |
+ |
|
||
|
|
∂x |
|
∂y |
Таким образом, |
|
|
|
|
|
|
|
|
|
|
∫∫u(x, y, z)dσ = ∫∫u(x, y, z) |
dσ |
1 |
=∫∫u(x, y, z) |
|
∂z 2 |
|
∂z 2 |
|||
|
1 + |
|
+ |
|
dxdy . |
|||||
cosγ |
||||||||||
G |
D |
D |
|
∂x |
|
∂y |
|
Если прямая, параллельная оси Oz , пересекает поверхность G в двух или более точках, то G разбивается на части, каждая из которых пересекается с прямой, параллельной оси Oz , лишь в одной точке. Интегрирование следует выполнять по каждой из полученных частей.
Вместо плоскости Oxy поверхность можно проектировать на плоскости
Oxz или Oyz .
Для двусторонних поверхностей поверхностный интеграл 1-го рода не зависит от того, по какой стороне поверхности он берётся. Физический смысл поверхностного интеграла 1-го рода зависит от физического характера данного скалярного поля: он может определять массу, распределённую по данной поверхности, электрический заряд и т. д.