
Учебники / Ter-Krikorov_Kurs_matematicheskogo_analiza_2015
.pdf510 |
Гл. XI. Криволинейные и поверхностные интегралы |
|||
|
Рассмотрим окружность CR , заданную уравнениями х = R cost, |
|||
у = P sin £, 0 ^ t ^ |
27г. Тогда |
|
|
|
|
/ , > * + « * = £ / £ $ 3 * = £ / * = » |
|||
|
С'я |
С'я |
|
0 |
и в силу теоремы 1 поле (Р, Q) не может быть потенциальным. |
||||
|
Теорема 2 неприменима, поскольку поле определено в неодносвяз |
|||
ной области G = {(ж,у): х2 + у2 > 0}. А |
|
|||
|
|
З а м е ч а н и е . |
В гидродинамике поле (8) интер |
|
|
|
претируется как поле скоростей точечного вихря, |
||
|
|
расположенного в точке (0, 0) и имеющего интен |
||
|
|
сивность ш. Если перейти к полярным координа |
||
|
|
там Г, (р, то |
|
|
|
|
v = (Р, Q) = |
(—sin 9?, cos 9?). |
|
|
|
|
|
2 7 Г г |
|
|
Жидкие частицы вращаются по концентричес |
||
|
|
ким окружностям с постоянными скоростями, об |
||
|
|
ратно пропорциональными расстоянию от точечно |
||
|
|
го вихря (рис. 51.10). |
|
|
|
Рис. 51.10 |
У п р а ж н е н и е |
3. Пусть в точке (0, 0) помещен |
|
|
|
|
г |
|
|
|
точечный вихрь. Показать, что Р dx + Q dy равен |
нулю, если простой гладкий контур 7 не содержит вихрь7 внутри и /ГР dx +
+ Qdy = щ, если вихрь лежит внутри контура. |
7 |
У п р а ж н е н и е 4. Пусть двусвязная область G С R |
ограничена глад |
кими контурами: внешним Г и внутренним 7 “ , и пусть в (7 задано непре рывно дифференцируемое поле (Р, Q) такое, что dQ/dx = дР/ду. Показать, что для любого простого гладкого контура (7, содержащего 7 внутри, вы полнено равенство
J P d x + Qdy = J Р dx + Q dy.
С7
Уп р а ж н е н и е 5. Пусть выполнены условия упр. 4. Показать, что внут ри контура 7 можно поместить точечный вихрь такой, что поле (Р, Q) бу дет суммой поля точечного вихря и потенциального поля.
Уп р а ж н е н и е 6. Обобщить результаты упр. 4 и упр. 5 на п-связные области.
§ 52 . П о в ер х н о ст и
1. |
П р осты е п о в ер х н о ст и . Будем говорить, что функция f(u,v) |
непрерывно дифференцируема на замкнутом множестве Е С /?2, ес ли она определена и имеет непрерывные частные производные d f /ди и d f /dv на открытом множестве G, содержащем замкнутое мно жество Е.
512 Гл. XI. Криволинейные и поверхностные интегралы
Например, график функции z = х2 + у 2, (ж, у) Е О, где О = {(ж, 2/):
ж2 + у 2 ^ 1}, есть простая поверхность. О круж ность, получаемая при
пересечении параболоида вращения z = х2 |
у 2 и плоскости z = 1, |
||
является краем рассматриваемой простой поверхности . |
|||
Уравнения (1) простой поверхности мож но записать и в векторной |
|||
форме: |
|
_ |
|
г = г (и, v), |
(и, v) |
Е О, |
|
г (и, v) = <р(га, у) i + |
ф(и, у) j |
+ |
x ( u i v ) к |
С м еханической точки зрения |
формулы |
(1) определяю т гладкую |
(без разрывов и изломов) деф орм ацию плоской области О в м н ож ест во Е (простую поверхность в пространстве R 3). Для практических
целей |
только просты х |
поверхностей недостаточно. Например, сф е |
ра ж2 |
у 2 -\- z2 — а 2 не |
является простой поверхностью в R 3. И нтуи |
тивно ясно, что сф еру нельзя получить никакой гладкой деф ормацией плоской области.
Имея в виду приложения теории поверхностны х интегралов, вве дем в рассм отрение класс почти просты х поверхностей .
П усть О — плоская область и F: О R 3 — непрерывно диф ф ерен цируем ое отображ ение. Б удем м нож ество Е = F ( Q ) называть почти простой поверхностью в /?3, если найдется расш иряющ аяся после
довательность |
ограниченны х областей |
{П п} |
таких, |
что Пп С On+i, |
|||||||||
Q = |
оо |
|
|
|
|
_ |
|
|
|
|
|
|
|
(J |
Пп и поверхности E n = |
F(Qn) просты е. |
|
|
|
|
|||||||
|
п= 1 |
|
|
1. Сфера S = |
{(ж, у , z ) : |
ж2 + у2 + z2 = а2} есть |
|
||||||
|
П р и м е р |
почти |
|||||||||||
простая |
поверхность. |
|
|
|
|
|
|
|
|
|
|||
Д |
Введем |
сф ерические координаты |
(см . § 48, п. |
5). Т огда |
сфера S |
||||||||
есть образ |
прямоугольника |
О = |
j (<£,?/>): О ^ |
ср ^ |
27т, — ^ ^ |
ф |
^ |
||||||
при непрерывно диф ф еренцируем ом отображ ении F : |
О —У5 , опреде |
||||||||||||
|
|
|
|
|
|
|
|
ляемом ф ормулами |
|
|
|||
|
|
|
|
|
|
|
|
|
ж = |
a cos (р cos ф, |
|
||
|
|
|
|
|
|
|
|
|
у = a sin (р cos ф, |
|
|||
|
|
|
|
|
|
|
|
|
z = |
а sin?/’. |
|
|
|
|
|
|
|
|
|
|
|
Образами |
отрезков ip = |
||||
|
|
|
|
|
|
|
|
= |
|
|
являю тся |
||
|
|
|
|
|
|
|
|
меридианы , а при \фо\ < ^ |
|||||
|
2 |
|
|
|
|
|
|
образами |
отрезков |
ф |
= ф0, |
||
|
|
|
|
|
|
|
О ^ |
^ 27г являю тся |
парал |
||||
|
|
|
|
|
|
|
|
||||||
|
|
|
|
Рис. 52.1 |
|
|
|
лели |
на_сфере S. О тображ е |
||||
|
|
|
|
|
|
|
|
ние F: О — |
S не будет вза |
||||
имно однозначны м, так как меридианы |
(^ = 0 и (^ = |
27т совпадаю т, а |
§ 52. Поверхности |
513 |
отрезки '0 |
7Г |
|
|
= =Ь —, 0 ^ ( ^ ^ 2 7 г переходят в северный и южный полюсы |
|||
сферы S. |
|
|
|
Положим |
|
|
|
|
оо |
и что поверхности |
|
Легко проверить, что Пп С Пп+ь ^ = U |
1 |
||
|
п= |
|
£ n = F(Qn) являются простыми (рис. 52.1). Поэтому сфера S — почти простая поверхность. А
Пр и ме р 2. Конус К = {(ж, у , г): ж2 + у2 = z2} есть почти простая поверхность.
Д Введем цилиндрические координаты (см. § 48, п. 5). Тогда конус К есть образ полуполосы
П = {(г, ср): 0 ^ г < + оо, 0 ^ ср ^ 27г}
при непрерывно дифференцируемом отображении F: Q -+ К таком, что ж — г cos ср, у = г sin ср, z = г.
Это отображение не является взаимно однозначным, так как от
О 1 |
п г |
|
|
|
|
|
п |
|
|
|
|
|
|
|
Рис. |
52.2 |
|
|
|
|
резок г — 0, 0 ^ |
^ 27г отображается в точку — вершину конуса К , |
|||||
а образы лучей ср |
— 0 и ср — 2тт, г ^ |
0 совпадают. |
||||
Положим (рис. 52.2) |
|
|
|
|
|
|
Пп = |
|(г,<р): - < г < п, |
- |
< ср <27Г — - |
|||
|
п |
|
п |
|
|
п ) |
Легко проверить, что Пп С Пп+ь |
|
оо |
Пп и что поверхности |
|||
П = |
(J |
1 |
||||
|
|
|
|
п= |
|
En = F(Qn) являются простыми. Поэтому конус К — почти простая поверхность. А
У п р а ж н е н и е 3. Показать, что поверхность х2 + у2 = z2, 0 ^ z ^ Н, является почти простой.
514 |
Гл. XI. Криволинейные и поверхностные интегралы |
Если Е есть простая поверхность, заданная векторным уравнени ем (5), а непрерывно дифференцируемые функции
u = u(u',v'), v = v(u',v'), |
(u',v')(zi}' |
задают взаимно однозначное отображение замыкания области fi' на замыкание ограниченной области fi, причем якобиан отображения
ди ди
d(u>v) = Ж7 Ж7 d(u',v') dv_
ди' ди'
отличен от нуля в fi , то уравнение
г = r(u(u',v'),v(u',v')) = p(u',v'); |
(«', v') G fi', |
(6) |
определяет ту же простую поверхность, что и уравнение (5). Урав нения (5) и (6) называют различными параметризациями поверхнос ти Е.
Как и в случае кривых, можно расширить класс параметризаций, до пуская и такие замены параметров, при которых непрерывная дифферен цируемость, взаимная однозначность и необращение в нуль якобиана отображения нарушаются на границе области. Тогда можно получить такие параметризации простой поверхности, задаваемые функциями, непрерыв ная дифференцируемость которых не имеет места на границе области О.
Пр и м е р |
3. Кусок сферы х2 + у2 + z2 = а2, 0 ^ г ^ |
х (р 0, у (р О, |
||||
можно параметризовать двумя способами: |
|
|
|
|||
х = a cos tpcos ip, |
у = a sin tpcos ip, |
r |
a sine. |
|||
(v?,</0 e fi', |
ft' = |
{(>Р,Ф)'- 0 ^ p ^ | , |
0 ^ |
ф ^ |
(7) |
|
И |
|
|
|
|
|
|
|
x = и, |
у = v, z = ^/а2 —и2 —v2, |
|
|
||
( u,v ) G fi, |
f i = j ( « , w ) : |
^ u2 + v2 ^ a2, |
и ^p 0, |
v (p 0j . ^ |
А Переход от уравнений (7) к уравнениям (8) задается формулами
и = acospcosip, v = asm р cosip, (tp,ф) G fi'. |
(9) |
Якобиан отображения (9) равен a2 sin ipcos ip и обращается в нуль при ip = 0, т. е. на части границы области fi'. Это приводит к тому, что при переходе к параметризации (8) частные производные функ
ции г = \/а2 —и2 —V2 стремятся к бесконечности при приближении точки (u,v) к окружности и2 + V2 = а2. ▲
Как правило, в дальнейшем для простых поверхностей будут рас сматриваться только такие параметризации, которые задаются не прерывно дифференцируемыми на замкнутом ограниченном мно жестве функциями.
|
§ 52. Поверхности |
515 |
2. |
К р и в ол и н ей н ы е к о о р д и н а ты |
на п о в ер х н о ст и . Пусть прос |
тая поверхность Е задана векторным уравнением (5). Предположим, |
||
что область П выпукла, [а, Ъ] есть проекция области П на ось и. Ес |
||
ли щ |
(а, Ь), то прямая и = щ будет пересекаться с областью П |
Рис. 52.3
по отрезку и = гщ, а ^ v ^ (5 (рис. 52.3). Образ этого отрезка при отображении (1 ) есть кривая
г = r(uo,v), a ^ v ^ / 3 , |
(10) |
лежащая на поверхности Е. Будем называть ее координатной кривой и = UQ. Придавая щ все значения из отрезка [а, Ь], получим семейство координатных кривых и = const. Аналогично строится и семейство координатных кривых v = const.
В силу взаимной однозначности отображения (1 ) каждая точка А поверхности S однозначно определяется как пересечение двух коор динатных кривых, и = Uq и v = vo. Пара чисел (гщ, г?о) называется кри волинейными координатами точки А поверхности. Запись А ( щ , у о) означает, что точка А поверхности Е задана криволинейными коор динатами (гщ^о).
Например, в сферических координатах часть сферы х2 + у2 + z2 = = а2, ограниченная двумя меридианами и двумя параллелями, зада ется в криволинейных координатах <р, ф следующим образом:
^ Ч> ^ ^ 2, ф± ^ ф ^ ф 2 .
На сфере координатные кривые <р = const — меридианы, а коор динатные кривые ф = const — параллели.
На прямом круговом цилиндре координатными линиями будут об разующие цилиндра и окружности, получающиеся при пересечении цилиндра плоскостями, перпендикулярными образующей.
Вектор-функция г(гщ,г?) есть непрерывно дифференцируемая функция параметра г?, и, следовательно, координатная кривая и = гщ, определяемая равенством (10), является непрерывно дифференциру емой. Вектор r v(i&o,i?o) является касательным к этой кривой в точ ке А(щ,Уо). Аналогично, вектор ru(uo,vo) касателен к координатной
кривой v = Vo в точке А(гщ,г?о). Заметим, |
что |
векторы |
r u(i&o,i?o) и |
r v(i&o,i?o) не могут обратиться в нуль, так |
как |
в этом |
случае ранг |
§ 52. Поверхности |
517 |
Указание. Воспользоваться теоремой о неявных функциях, опреде ляемых системой двух уравнений.
Векторы ± N = ±[ru,r„] будем называть векторами нормали к по верхности а в точке A(u,v).
JI е м м а 2. Вектор нормали к простой поверхности £ в точке A(UQ,VQ) ортогонален ко всем гладким кривым, лежащим на поверх ности и проходящим через точку А(щ,Ьо).
О В самом деле, такая кривая есть образ при отображении (5) неко торой гладкой кривой, лежащей в области П и задаваемой уравнени
ями и = u(t), v = v(t), a |
^ /3. |
Уравнение кривой на поверхности тогда имеет вид |
|
г = r(u(t),v(t)), |
a ^ t ^ / 3 , u(tо) = «о, w(t0) = Wo- |
Касательный вектор т |
к этой кривой в точке А есть |
Т = Ж |
= r «(«o,w0) (^ ^ - + r v(uо, w0) |
Итак, т есть линейная комбинация векторов r u(«0)Wo) и rv(uo,Vo). |
|
Так как вектор N |
ортогонален r u(«0)Wo) и rv(uo,Vo), то он ортого |
нален и вектору т, |
т. е. вектор нормали к поверхности в точке А |
ортогонален к любой гладкой кривой, лежащей на поверхности и про ходящей через точку А. •
Плоскость, проходящая через точку A(u,v) поверхности и орто гональная вектору N , называется касательной плоскостью к поверх
ности в точке А. Пусть (X, Y, Z) |
— декартовы координаты точки |
|
касательной |
плоскости и пусть R |
= X i + Yj + Z к. Тогда векторы |
R —r(u, w), |
ru(u,v) и rv(u,v) параллельны касательной плоскости, |
следовательно, их смешанное произведение равно нулю. Поэтому век торное уравнение касательной плоскости имеет вид
( R - r(ti,w), ru(u,v), Tv(u,vj) = 0.
В силу равенства (11) форма этого уравнения не зависит от выбо ра параметризации поверхности. Уравнение касательной плоскости в
координатах имеет следующий вид: |
|
|
X — x(u,v) |
Y — y(u,v) |
Z — z(u,v) |
Xu(u,v) |
Du(u,v) |
zu(u, v) = 0 . |
xv(u,v) |
yv(u,w) |
zv(u,v) |
Нормалью к поверхности в точке A(u,v) называется прямая, про ходящая через точку А и параллельная вектору нормали в точке А. Так как при изменении параметризации вектор нормали не меняет своего направления или изменяет его на противоположное в каждой точке поверхности, то нормаль не зависит от параметризации. Ее век торное уравнение имеет вид
R — r(«,w) = k [ г „ , г „ ] , |
^ о о < к < + о о . |
518Гл. XI. Криволинейные и поверхностные интегралы
Вдекартовых координатах уравнение нормали можно записать следующим образом:
X —х(и, v) _ Y —y{u,v) _ X —z(u,v)
y U Zv - y v Z u |
ZU X V - ZVX U |
xuyv - xvyu ' |
4. Кусочно гладкие поверхности. Из определения простой по верхности, данного в п. 1 , следует, что она есть гладкий и взаимно однозначный образ некоторой плоской области, т. е. получается из этой области при помощи гладких (без изломов) деформаций (отобра жений). Ясно, что многие объекты, которые мы привыкли называть поверхностями, не будут простыми поверхностями. Так, сфера не мо жет быть непрерывным образом деформирована в плоскую область. Коническая поверхность не может быть получена гладкой деформа цией плоской области.
Попытки дать общую классификацию поверхностей увели бы нас далеко в область высшей геометрии. Замечательным классом поверх ностей в R3 являются гладкие многообразия размерности 2, т.е. связ ные множества, которые локально (в окрестности каждой своей точ ки) устроены, как простая гладкая поверхность. Например, сфера будет гладким многообразием. Если А есть точка сферы радиуса а, то map S£(A) при £ < а вырезает из сферы простой кусок.
Хотя локально гладкие многообразия устроены просто, но в целом, глобально, они могут иметь очень сложное строение. Представьте се бе такие гладкие поверхности, как бублик (тор), бублик с двумя ды рами или еще более причудливую поверхность, которая называется
Рис. 52.4
бутылкой Клейна (рис. 52.4). Все эти многообразия можно разрезать на конечное число гладких простых поверхностей (или, что то же са мое, их можно склеить из конечного числа простых гладких кусков).
Из гладких кусков можно скле ивать не только гладкие многооб разия, но и связные поверхности, имеющие ребра и вершины (напри мер, поверхности многогранников) (рис. 52.5).
Мы не станем тут занимать ся математической формализацией таких понятий, как разрезание и склеивание поверхностей, и тем
§ 52. Поверхности |
519 |
более основанной на этом классификации поверхностей. Заметим только, что трудности возникают при построении общих теорий. В любом разумном частном случае нет проблем с разрезанием поверх ности на простые куски. Поверхность, которую можно разрезать на конечное число простых кусков, будем называть кусочно гладкой.
5. |
О р и ен ти р у ем ы е |
п о в ер х н о ст и . Будем говорить, что гладкая |
поверхность ориентируема, |
если можно построить на этой поверх |
ности непрерывное поле единичных нормальных векторов. Говорят, что это поле единичных нормалей определяет ориентацию (или сто рону) поверхности. Меняя направление всех единичных нормалей на противоположное, получим опять непрерывное поле единичных нор мальных векторов. Говорят, что оно определяет противоположную ориентацию (другую сторону) поверхности. На простой гладкой по верхности всегда определено непрерывное поле единичных нормаль ных векторов
п - |
(12) |
Произвольные гладкие поверхности могут быть как ориентируе мыми (двусторонними), так и неориентируемыми (односторонними).
Торы, изображенные на рис. 52.4, ориентируемы; бутылка Клей на — неориентируемая (односторонняя) поверхность. Легко постро ить лежащий на этой поверхности замкнутый гладкий контур такой, что, выбирая в какой-то точке контура вектор единичной нормали к поверхности и непрерывно изменяя его при движении по контуру, мы придем к начальной точке с противоположным направлением норма ли. Следовательно, на бутылке Клейна построить непререрывное поле единичных нормальных векторов невозможно.
Заметим еще, что сфера, тор, тор с двумя дырами (рис. 52.4) де лят пространство на ограниченную и неограниченную области, общей границей которых они являются. Бутылка Клейна таким свойством не обладает.
Можно доказать, что гладкая поверхность, являющаяся границей области в Я3, ориентируема. Ее внутренняя сторона задается нор мальными векторами, направленными внутрь области (внутренни ми нормалями), внешняя сторона определяется внешними нормалями.
Очевидно, что для построения поля внутренних нормалей к границе области достаточно построить внутреннюю нормаль к какой-то одной точке границы.
Каждая плоскость делит пространство Я3 на два полупространст ва. Если плоскость рассматривать как границу полупространства, то внутренняя нормаль определяется естественным образом как направ ленная внутрь полупространства (рис. 52.6). Если dG есть гладкая