matan_bogdanskyj
.pdfкришки S1 = (x; y; z) x2 + y2 6 1; z = 1 . Оскiльки за теоремою 3
ZZ |
|
ZZZ |
xdydz + ydxdz |
+ zdxdy = 3 |
dx dy dz = 3v(V ) = ; |
@V |
|
V |
то шуканий iнтеграл дорiвню¹:
ZZ
I = xdydz + ydxdz + zdxdy:
@S1
~ |
~ |
Îñêiëüêè äëÿ S1 нормаль ~n k, (X; ~n) = R = 1 i |
|
I = 2 ZZ2 |
1 dx dy = 0: |
x +y 61
Зауваження 5. Формула Гаусса-Остроградського допуска¹ сутт¹вi узагальнення.
8. Формула Стокса.
Нехай поверхня в R3, що допуска¹ параметризацiю ~x = ~r(~u) класа C1; D область в R2, що разом з гладкою межею @D належить (вiдкритiй)
множинi визначення параметра |
~u = (u; v) |
i нехай |
~ |
~ |
~ |
~ |
|
|
|
X = P i + Q j + R k |
|
||||
неперервно диференцiйовне векторне поле, що визначено на поверхнi |
. |
Позначим: S = ~r(D); @S = ~r(@D).
Будемо вважати, що на межi @D областi D фiксована додатня орi¹нтацiя: напрямок руху по @D, що вiдповiда¹ зростанню вiдповiдного параметра t, ¹ таким, що область D залиша¹ться злiва. Формально це означа¹, що
!
найкоротший поворот вiд вектора h1 зовнiшньо¨ нормалi межi @D äî âiä-
!
повiдного дотичного вектора h2 криво¨ @D проти годинниково¨ стрiлки.
Öÿ îði¹íòàöiÿ @D iндуку¹ вiдповiдну орi¹нтацiю криво¨ @S: параметризацiя u = u(t); v = v(t) криво¨ @D iндуку¹ параметризацiю
x(t); y = y u(t); v(t) = y(t); z = z u(t); v(t) = z(t) íà @S.
101
Поверхня ¹ двобiчною поверхнею (див. x6). Фiксу¹мо на поле нормалi
~n ~r(~u) |
|
= |
|
|
1 |
|
|
|
|
r |
|
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
r |
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
!u0 |
!v0 |
(тим самим фiксу¹мо бiк поверхнi). Для |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
!u0 |
!v0 |
|
0 |
|
|
0 2 |
|
|
вектори |
!u0 |
|
0 |
|
|
0 |
|
òà |
!v0 |
0 |
|
|
0 |
|
належать |
|||||||||||||||||
кожно¨ |
|
!0 |
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
дотичному |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r (u ; v ) |
|
r (u ; v ) |
|
|
|
|
|||||||||||||||||||
|
|
|
|
точки x = |
r (u ; v ) |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
простору |
|
|
|
â òî÷öi |
! |
(тобто |
! |
|
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
x0 |
Tx0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
!u0 ; |
|
|
|
|
|
|
!v0 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
Упорядкова трiйка векторiв |
|
|
!v0 ; !u0 |
|
|
¹ правою трiйкою в |
|||||||||||||||||||||||||||||||||||||
¹нтована з системою векторiв |
|
|
|
|
|
|
, побудованiй в!äîâiëüíié òî÷öi |
|
|||||||||||||||||||||||||||||||||||||
|
3. В площинi параметра система базисних |
r |
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
!1; |
!2 |
|
|
|
|
векторiв |
|
однаково орi- |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e1 ; !2 |
|
|
|
|
|
|
|
|
|
|||
(найкоротний поворот вiд |
|
|
|
h |
|
h |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@D |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
першого вектора системи до другого проти |
||||||||||||||||||||||||||||||
годинниково¨ стрiлки або, формально, в будь-якому базисi |
R2 |
матрицi ко- |
|||||||||||||||||||||||||||||||||||||||||||
ординат мають однаковий знак визначника). |
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
Якобi¹ва матриця |
|
r |
(u |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
!0 |
|
!0 |
|
переводить вектор h |
2 |
в дотичний вектор кри- |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
âî¨ |
|
, узгоджений з ¨¨ орi¹нтацi¹ю, а вектор |
|
h |
|
у вектор дотичного про- |
|||||||||||||||||||||||||||||||||||||||
|
|
@S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
!1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
стору Tx0 , який напрямлено ззовнi областi S поверхнi . |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
A = |
!0(!0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
Im |
|
= |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|||||||||||||
|
|
Лiнiйне вiдображення |
|
|
|
|
|
|
r |
|
u |
|
|
iндуку¹ iзоморфiзм |
|
|
|
íà |
|
A |
|
= Tx!0 , але при iзоморфiзмi однаково зорi¹нтованi упорядкованi систе-
ми векторiв переходять в однаково зорi¹нтованi (обмiркуйте цей тезис!). |
||||||||||||||||||||||
Тому пара векторiв |
|
!1; |
|
!2 |
|
зорi¹нтована в |
x0 |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
Ah |
|
Ah |
|
|
|
T |
! |
однаково з парою |
||||||
|
!u0 |
= !1 ; !v0 |
= |
!2 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
!1 |
; |
!2; |
! |
|
|
|
|
|
. А звiдси робимо висновок про те, що вектори |
||||||||||||
r |
|
|
Ae |
|
|
R |
|
|
|
|
|
|
! !u0 !v0 ). |
|||||||||
|
r |
|
Ae |
|
|
|
|
|
|
|
3 праву трiйку (нагада¹мо: |
|
|
|
|
|||||||
|
Означення |
утворюють в |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
Ah |
|
Ah |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
r |
r |
|
|
|
|
|
4. |
Орi¹нтацiя поверхнi i розташованого на |
|
замкнено- |
го контура @S (межi S ) назива¹мо узгодженими, якщо дотичний вектор ~ до @S (що визнача¹ орi¹нтацiю @S), нормаль ~n до поверхнi (що
|
|
|
|
|
|
|
|
~ |
|
|
визнача¹ орi¹нтацiю ) та нормальний вектор до @S, що ¹ дотичним |
||||||||||
|
|
|
|
|
|
|
S |
!0 |
2 |
@S утворю- |
äî |
|
i зовнiшнiм по вiдношенню до |
|
â êîæíié òî÷öi x |
|
|||||
ють праву трiйку в R |
3 |
|
|
~ |
|
|
|
|
||
|
(в порядку f ; ~; ~ng для визначеностi). Або iнакше: |
|||||||||
~ ~n напрямлено ззовнi S. |
|
|
|
òà @S óçãî- |
||||||
|
|
|
||||||||
|
В нашому прикладi параметризовано¨ поверхнi орi¹нтацi¨ |
|||||||||
|
|
|
|
|
!1 |
|
|
|
|
!2 |
дженi. При цьому вектор Ah |
взагалi кажучи не перпендикулярний до Ah , |
але його замiна на вектор ~
не змiню¹ орi¹нтацi¨ трiйки (обмiркуйте). 102
Приклад. Нехай поверхня графiка гладко¨ функцi¨ z = z(x; y). Â
якостi параметрiв беремо: |
|
|
= |
|
; |
|
= |
|
. Òîäi |
!x0 |
= |
~ |
|
@z |
~ |
; |
!y0 |
= |
~ |
+ |
||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
u |
x |
|
v |
y |
|
i |
+ @x k |
|
j |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
|
r |
|
|
|||||||
|
@z |
~ |
|
|
|
!x0 !y0 |
|
|
k |
|
¹ правою, а тому саме верхнiй бiк поверхнi |
|||||||||||||||||||
|
|
узгоджено з |
|
|
|
|
|
|
|
|
@S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
. Òîæ òðiêà |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
+ |
|
k |
|
|
|
|
r |
; r |
|
; ! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
@y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
îði¹íòàöi¹þ ìåæi |
|
|
, що вiдповiда¹ позитивнiй орi¹нтацi¨ |
|||||||||||||||||||||||
сво¹¨ проекцi¨ на площину xOy (перевiрте!). |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
Нехай ! = |
|
~ |
+ |
~ |
+ |
|
~ |
векторне поле, що визначено в околi |
|
||||||||||||||||||||
|
|
|
X |
P i |
|
|
Q j |
|
|
R k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
U |
поверхнi S; функцi¨ P , Q, R припуска¹мо неперервно диференцiйовними в
U. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Означення 5. |
|
|
|
|
|
|
|
|
|
|
|
X назива¹ться ве- |
||||
|
Вихором (ротором) векторного поля ! |
||||||||||||||||
|
|
|
|||||||||||||||
кторне поле |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@R |
@Q ~ |
|
@P |
@R ~ |
|
@Q |
@P ~ |
||||||
|
Y |
|
|
|
|
|
i |
|
|
|
|
j |
|
|
|
|
k: |
|
|
@y |
|
+ @z |
|
+ @x |
|
||||||||||
|
! = |
@z |
@x |
@y |
Позначення:
Правило для запам'ятовування: напишiть формальний визначник:
~ ~ ~
i j k
@ @ @
:
@x @y @z
P Q R
i розкрийте його за класичним правилом трикутникiв . Одержите формулу
!
äëÿ rot X .
Теорема 4 (формула Стокса). Нехай поверхня параметризована гладким (класу C1) вiдображенням параметризацi¨ ~r; @S гладкий контур в , що обмежу¹ поверхню S i орi¹нтацiя @S узгоджена з орi¹нтацi¹ю по-
верхнi (або |
|
це не принципово). Нехай |
X |
|
~ |
|
~ |
|
~ |
векторне |
|||
|
S |
|
|
|
|
! |
= |
|
+ |
|
+ |
|
|
поле класу C1, визначене в околi поверхнi S. Òîäi ì๠ìiñöå ðiâíiñòü: |
|||||||||||||
|
|
I |
+ |
+ |
= ZZ |
rot ! ! |
|
|
|
(16) |
|||
|
|
@S |
P dx Q dy R dz |
S |
|
|
|
|
|
|
|
||
|
|
|
|
|
X ; n d : |
|
|
103
Доведення. Доведемо теорему в припущеннi: параметризацiя ~r íàëå-
жить класу C2. Спочатку доведемо формулу (16) для векторного поля
! = |
~ |
. Випадки |
! = |
~; |
! = |
~ |
перевiряються аналогiчно i зали- |
X R k |
|
X P i |
X Q j |
|
ша¹ться лише ¨х скласти.
Нехай ~r: D ! S; ~r: @D ! @S.
ßêùî u = u(t); v = v(t); t çìiíþ¹òüñÿ âiä t1 äî t2 > t1 ¹ параметризацiя @D, така, що область D залиша¹ться злiва при обходi контура @D, òî
x = x(t) = x u(t); v(t) ; y = y(t) = y u(t); v(t) ; z = z(t) = z u(t); v(t) :
¹ вiдповiдна параметризацiя контура @S. Òîäi
t2
IZ
R dz = R x(t); y(t); z(t) z0(t) dt =
@S t1 t2
Z
=R x(t);
t1
y(t); z(t)
@z
@u
|
u(t); v(t) u0(t) + @v |
: : : v0 |
(t) dt = |
|
|
|
@z |
|
|
I
=R x(u;
v); y(u; v); z(u; v) @udu + R x(u; v); y(u; v); z(u; v) |
|
@vdv : |
||
|
@z |
|
|
@z |
@D
(обмiркуйте останню рiвнiсть!).
Тепер застосування формули Грiна (див. (7)) дозволя¹ звести останнiй iнтеграл до подвiйного:
I R dz = ZZ |
@u R x(u; v); y(u; v); z(u; v) @v |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
@ |
|
|
|
|
|
|
|
|
|
@z |
|
|
|
|
|
|
|
|
|
|
|||||||
@S |
|
|
|
|
|
D |
@u |
|
|
|
|
|
@x |
|
|
|
@u + |
@z |
@u |
|
@v |
|||||||||||||||
@v R : : : |
|
du dv = ZZ |
|
@u + |
|
@y |
|
|||||||||||||||||||||||||||||
|
|
@ |
|
|
|
|
|
@z |
|
|
|
|
|
|
@R |
|
@x |
|
@R |
@y |
@R |
|
@z |
|
|
@z |
||||||||||
|
|
|
|
|
|
|
|
|
|
D |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
@z |
@u du dv = |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
@x |
@v |
+ @y |
|
@v + |
@v |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
@R |
|
@x |
|
@R |
|
@y |
@R |
|
@z |
|
@z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
104
|
= ZZ |
@x |
@u @v @v @u + |
|
@y |
|
@u @v |
|
@v @u du dv: |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
@R |
|
@x @z |
|
@x @z |
|
|
|
|
|
@R |
|
@y @z |
@y @z |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
D |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
З iншого боку, |
|
|
X |
|
|
|
|
|
~ |
|
|
|
|
@R~ |
|
|
|
@R ~; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
rot ! = rot (R k) = @y i @x j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
! |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
!u |
|
!v |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
rot ! |
|
= |
|
|
!u0 |
!v0 |
|
|
rot ! |
0 |
|
|
|
0 |
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
r ; |
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
X ; n |
|
|
|
|
r |
|
|
r |
|
|
|
|
X ; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
à òîìó |
|
|
|
!u0 |
!v0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@R |
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
@R |
|
|
@y @z |
|
|
|
|
@y @z |
|
|
@x @z |
|
@x @z |
|
|||||||||||||||||||||||||||||||
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
: |
||||||||||||||||||||||
|
|
r |
|
|
r |
|
|
@y |
|
|
@u @v |
|
|
|
@v |
@u |
@x |
|
|
@u @v |
@v @u |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
ZZ |
rot ! |
! |
|
|
|
|
= I |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X ; n d |
|
|
|
|
|
|
|
|
|
|
R dz: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Аналогiчно перевiря¹ться формула для векторних полiв ! = |
~; |
! |
= |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
~. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
P i |
X |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= Q j |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 4 узагальню¹ться на випадок поверхонь, якi гладкими кривими можна розрiзати на скiнченну кiлькiсть поверхонь, кожна з яких допуска¹ гладку параметризацiю.
Вправа 5. Сформулюйте та доведiть формулу Стокса для поверхонь, що можуть бути розрiзанi на параметризованi частини.
9. Незалежнiсть криволiнiйного iнтеграла в R3 вiд шляху iнтегрування.
Означення 6. Замкнену криву в R3 назива¹мо контуром, якщо ця крива
¹ межею деяко¨ зв'язно¨ поверхнi в R3. Область V â R3 назива¹мо однозв'яз-
íîþ, якщо кожний контур, що розташований в V , ¹ межею деяко¨ поверхнi,
що цiлком лежить в V .
|
|
|
|
|
|
|
( |
0 ) |
|
( |
|
|
|
Приклади. Проколена куля |
|
|
|
0 < x2 + y2 + z2 |
|
|
¹ однозв'я- |
||||
|
|
|
|
(x; y; z) |
< 1 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
зною областю, а тор поверхня обертання кола |
|
x; ; z |
|
|
x 2)2 +z2 = 1 |
|||||||
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
навколо осi Oz неоднозв'язна область (обмiркуйте!).
105
Теорема 5. Нехай V однозв'язна область в R3; функцi¨ P , Q, R âè-
значенi i неперервнi в областi V разом зi сво¨ми похiдними: @P@y , @P@z ; @Q@x , @Q@z ; @R@x , @R@y . Тодi наступнi 4 умови еквiвалентнi:
1) Для будь-якого замкненого контура , що цiлком належить V , iíòå-
ãðàë |
I |
P dx + Q dy + R dz = 0:
2) Для будь-яких кривих 1, 2 â V , що мають спiльний початок та спiльний кiнець, викону¹ться рiвнiсть:
I |
P dx + Q dy + R dz = I |
P dx + Q dy + R dz: |
1 |
2 |
|
3) Вираз P dx + Q dy + R dz ¹ повним диференцiалом деяко¨ функцi¨ u
в областi V .
4) Ñêðiçü â V виконуються рiвностi: @P@y = @Q@x ; @P@z = @R@x ; @Q@z = @R@y . Доведення. цi¹¨ теореми повнiстю аналогiчне доведенню теореми 2 iз ви-
користанням формули Стокса замiсть формули Грiна. Доведiть самостiйно!
10. Термiнологiя теорi¨ поля .
Числову функцiю, визначену в областi V R3 називають також "скаляр-
ним полем".
Дивергенцiя òà ротор (вихор) векторного поля були запровадженi вище. Оператор Лапласа ставить у вiдповiдь скалярному полю u нове скаляр-
!
не поле, що визначене за правилом: 4u = div (grad u).
!
Потiк вектора (векторного поля) X через (орi¹нтовану) поверхню S це поверхневий iнтеграл другого роду RR ! !
X ; n d .
S
106
Криволiнiйний iнтеграл 2ãî роду уздовж (орi¹нтовано¨) криво¨ |
íàçè- |
|||||||||||||
вають роботою вектора ! |
|
! |
|
|
|
|
||||||||
|
|
X (векторного поля X ) уздовж криво¨ , а в разi |
||||||||||||
|
|
|
|
|
|
|
|
! |
|
|
||||
замкнено¨ криво¨ |
|
|
, також циркуляцi¹ю вектора X уздовж криво¨ . |
|||||||||||
Векторне поле |
! |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|||||
|
|
X називають потенцiальним, якщо iсну¹ скалярне поле |
||||||||||||
! = |
! |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
||||||
u, для якого X |
|
grad u. |
|
|
|
|
|
|
|
! |
||||
За теоремою 5, в однозв'язнiй областi |
V |
R |
3 векторне поле |
|||||||||||
X ¹ ïî- |
||||||||||||||
|
|
|
|
|
|
|
X |
0 (безвихрове |
||||||
тенцiальним в тому й тiльки в тому разi, якщо |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
rot ! |
= ! |
|
ïîëå).
Вправа 6. Якщо V неоднозв'язна область в R3, то умова безвихровостi
векторного поля ¹ необхiдною, але, взагалi кажучи, недостатньою умовою
його потенцiальностi. Доведiть. |
|
|
+ |
|
|
) |
|
|
+ x |
|
j + 2xz k |
|
|
|
||||||||||
|
Приклади. |
1) Векторне поле ! = (2 |
|
2 |
~ |
|
|
|
|
|||||||||||||||
|
R |
|
|
|
|
X |
|
xy |
|
z |
|
|
i |
|
|
|
|
|
|
! |
|
|||
|
3. Дослiдити його на потенцiальнiсть та знайти потенцiал поля |
|
||||||||||||||||||||||
â |
|
X . |
|
|||||||||||||||||||||
|
|
Розв'язання |
|
@P |
= 2x = |
@Q |
; |
@P |
= 2z = |
|
@R |
; |
|
@Q |
= 0 = |
|
@R |
; R3 |
||||||
|
|
|
@y |
|
|
|
|
@z |
|
|
@y |
|||||||||||||
|
|
|
|
|
@x |
@z |
|
|
|
|
|
@x |
|
|
|
|
||||||||
однозв'язна область. За теоремою 5 векторне поле |
|
! |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X потенцiальне. |
Знайдемо його потенцiал.
З доведення теореми 5 виходить алгоритм пошуку потенцiала:
(x;y;z)
Z
u(x; y; z) = (2xy + z2) dx + x2 dy + 2xz dz =
(0;0;0) |
|
|
|
x |
y |
z |
|
= Z0 |
0 dx + Z0 |
x2 dy + Z0 |
2xz dz = x2y + xz2: |
При розв'язаннi задачi за криву, що з'¹дну¹ точки |
(0; 0; 0) òà (x; y; z) |
||||||
була взята ламана (0; 0; 0) ! (x; 0; 0) ! (x; y; 0) ! (x; y; z). |
|||||||
X |
|
~ |
|
~ |
|
~ |
уздовж криво¨ : |
= |
z i |
+ |
x j |
+ |
y k |
|
|
2) Знайти циркуляцiю вектора ! |
|
|
|
x = cos t, y = sin t, z = 1. t çìiíþ¹òüñÿ âiä 0 äî 2 .
Розв'язання Спосiб 1 Циркуляцiю шука¹мо безпосередньо за означен-
107
íÿì: |
2 |
|
|
I = |
1 ( sin t) + cos t cos t dt = : |
||
Z |
|||
|
|
|
0
Спосiб 2 Застосу¹мо формулу Стокса:
~ ~ ~
i j k
rot |
! |
= |
@ |
|
@ |
|
@ |
|
= |
~ |
+ |
~ |
+ |
~ |
; |
@x |
@y |
@z |
i |
j |
k |
||||||||||
|
X |
|
z |
|
x |
|
y |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|
|
крива |
|
|
|
|
|
|
для поверхнi S |
= (x; y; 1) |
|
+ y |
|
|
|
|
¹ межею. При цьому |
||||||||||
x |
|
|
6 1 |
|
|
|||||||||||||
îði¹íòàöiÿ |
|
|
|
|
|
|
|
|
|
|
|
|
|
S |
~n |
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
~. Òîæ |
|
|
|
узгоджена саме з верхньою стороною круга |
|
|
||||||||||||||
|
= ZZ |
rot ! |
! |
|
|
|
= ZZ |
1 |
|
= |
|
( |
|
|
|
) |
||
I |
|
S |
|
n |
d |
S |
|
d |
|
|
площа круга : |
|||||||
|
|
X ; |
|
|
|
|
|
В термiнах символiчного диференцiального оператора набла (операто-
ра Гамiльтона) |
! := |
|
|
@ |
~i + |
|
@ |
~j + |
|
@ |
~k операцi¨ векторного аналiза запи- |
||||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
сують так: ! |
r |
|
|
|
@x |
div |
@y |
|
|
|
@z |
|
|
|
! |
|
! |
! |
|
= |
! ! |
|
|
||||||||||||||||
|
= ! |
! = |
|
! ! |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
Використання вiдомих |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
. |
||||||||||
|
grad u |
|
r |
u; |
|
|
|
X |
|
|
r |
; X |
|
rot X = |
r |
X ; |
4 |
|
|
r |
; |
r |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
тверджень векторно¨ алгебри дозволя¹ одержати |
|||||||||||||||||||||||||||
(але не завжди правильнi) формули векторного аналiза: |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
rot |
! |
|
= |
|
! |
|
|
! |
|
|
|
! |
|
|
( |
|
|
|
|
|
) |
|
|
|
|
|
|
|||||||||||
|
div |
rot ! |
|
! ! |
|
! = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
grad u |
= |
|
r r |
u = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
X |
|
|
|
r |
; |
|
r |
X |
|
|
|
мiшаний добуток : |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
Вправа 7. |
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
~ |
|
|
~ |
|
|
|
|
|
|
|
|
|
||||
ßê âiäîìî, ~a (b ~c) = (~a; ~c)b |
(~a; b)~c. А чи викону¹ться |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ðiâíiñòü: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
! |
|
(! !) = (! !)! |
|
(! !)! |
? |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
r |
|
|
X |
|
Y |
|
r |
; Y |
X |
r |
; X Y |
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
108
11. Застосування векторного аналiзу до теорi¨ кратних iнтегралiв .
Нехай U вiдкрита множина в R2; G квадровна область, така, що G
U i ìåæà @G склада¹ться зi скiнченно¨ кiлькостi кусково гладких конту-
рiв. Вiдповiдно до зауваженя 3, для G викону¹ться формула Грiна.
Нехай F C2-дифеоморфiзм U íà F(U) R2. Òîäi @ F(G) |
= F(@G), |
||||||||||
межа множини F(G) також склада¹ться зi скiченно¨ |
кiлькостi кусково глад- |
||||||||||
|
|
|
|
|
|
|
|||||
ких контурiв i для областi F(G) викону¹ться формула Грiна. |
|
|
|
|
|
||||||
Ðîçiá'¹ìî @G на окремi дiлянки: @G = 1 |
: : : |
|
m, кожна з яких до- |
||||||||
пуска¹ гладку параметризацiю: x = x(t), y = y(t), t |
|
k = |
|
ak; bk |
. Òîäi |
||||||
|
|
параметризацiю: |
|
h |
|
i |
|
|
|||
дiлянки F( k) ìåæi @ F(G) |
одержують |
|
W W |
2 4 |
|
|
|
, |
|||
|
|
|
|
|
u = u x(t); y(t) |
|
,
v = v x(t); y(t) t 2 4k (òóò u = u(x; y); v = v(x; y) покоординатне
завдання F).
Для пошуку площi F(G) застосу¹мо формулу Грiна: