с другой стороны, по определению
π2 π3 (ξ , ξ |
|
) = |
π2 (ξ ) |
π3 (ξ ) |
= |
ξ2 |
ξ3 |
, |
|
1 |
1 |
1 |
1 |
||||
1 |
2 |
|
π2 (ξ2 ) π3 (ξ2 ) |
|
ξ22 |
ξ32 |
|
|
следовательно,
π1([ξ1, ξ2 ]) = π2 π3 (ξ1, ξ2 ) .
Аналогично
π2 ([ξ1, ξ2 ]) = π3 π1(ξ1, ξ2 ) ; π3 ([ξ1, ξ2 ]) = π1 π2 (ξ1, ξ2 ) .
Пример 2.15. Пусть ωk – дифференциальная k-форма задана в области D Rn , если x D задана k-форма ωk (x) : Txk D → R .
Пусть в области D задано векторное поле A = ( Ax , Ay , Az ) . Такое поле порождает в D две часто употребляемые дифференциальные
формы. |
|
|
A рассматривать как силовое, то |
для вектора |
|||
1. Если поле |
|
||||||
h Tx D смещения из точки x D скалярное произведение: |
|||||||
|
|
( A, h) = A π1 |
(h) + A π2 (h) + A π3 |
(h) |
|
||
|
|
|
x |
y |
z |
|
|
дает величину работы поля A, отвечающей этому смещению. По- |
|||||||
скольку в |
R3 |
|
h = (dx, dy, dz) , |
т.е. π1(h) = dx , |
π2 (h) = dy , |
||
π3 (h) = dz , |
то |
|
( A, h) = A dx + A dy + A dz . |
Дифференциальная |
|||
|
|
|
x |
y |
z |
|
|
1-форма ω1 |
= A dx + A dy + A dz , заданная в области |
D Rn , на- |
|||||
A |
x |
y |
z |
|
|
|
|
зывается формой работы векторного поля A. |
|
|
|||||
2. Если поле |
A = ( Ax , Ay , Az ) рассматривать как поле скоростей |
||||||
установившегося течения жидкости, |
то для двух векторов h1 Tx D |
||||||
и h2 Tx D , |
x D смешанное произведение ( A, [h1, h2 ]) дает вели- |
||||||
чину объема жидкости, протекающей за единицу времени через параллелограмм, построенный на векторах h1 , h2 . Так как
46
( A, [h1, h2 ]) = Axπ1[h1, h2 ] + Ayπ2[h1, h2 ] + Az π3[h1, h2 ] ,
то используя координатную запись этой 2-формы на векторах h1 ,
h2 : |
|
|
|
|
( A, [h , h ]) = ( A π2 π3 + A π3 π1 + A π1 |
π2 )(h , h ) , (10.2) |
|||
1 2 |
x |
y |
z |
1 2 |
и поскольку π1(h) = dx , |
π2 (h) = dy , π3 (h) = dz , то |
|||
|
π2 π3 (h , h ) = dy dz ; |
|
||
|
|
1 |
2 |
|
|
π3 π1(h , h ) = dz dx ; |
|
||
|
|
1 |
2 |
|
|
π1 π2 (h , h ) = dx dy . |
|
||
|
|
1 |
2 |
|
Окончательно из равенства (10.2) получаем
Axdy dz + Ay dz dx + Az dx dy .
Дифференциальная 2-форма
ω2A = Axdy dz + Aydz dx + Az dx dy ,
заданная в D , часто называется формой потока векторного поля A. По аналогии с трехмерным случаем для векторного поля
A = ( A1, ..., An ) , определенного в области D Rn , формой работы и
формой потока часто называют, соответственно, дифференциальную 1-форму
|
|
ω1 |
= A dxi |
и (n −1) -форму |
A |
1 |
|
|
|
||
|
|
n |
|
|
ωnA−1 |
= ∑Aidx1 dx2 ... dxi ... dxn |
|
|
|
i=1 |
|
(знак |
означает, что именно этот сомножитель отсутствует). |
||
Задача 2.1. Привести к координатному виду дифференциальную форму
ω= (x2dx1 dx2 + x3dx1 dx3 + x4dx1 dx4 +
47
+ x3dx2 dx3 + x1dx2 dx4 + x1dx3 dx4 )
(x2dx1 + x3dx2 + x4dx3 + x1dx4 ) .
Решение. По свойствам внешнего произведения имеем
ω= (x3 x2 − x3 x3 + x2 x4 )dx1 dx2 dx3 +
+(x2 x1 − x3 x4 + x2 x1)dx1 dx2 dx4 +
+(x1x2 − x4 x4 + x1x3 )dx1 dx3 dx4 +
+ (x1x3 − x4 x4 + x1x2 )dx2 dx3 dx4 .
Пример 2.16. Вычислить значение дифференциальной формы ω
на |
паре векторов |
ξ1 = (1, 4, 1, 0) , |
ξ2 = (2, 0, 3, 1) , x(1, 0, 2, −1) ; |
||||||||||||||||||||||||||||||||
ξ |
, ξ |
2 |
T R4 |
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ω = x1x4 dx1 dx2 + x2 x4dx2 dx3 + x1x3dx1 dx3 + x3 x2dx2 dx4 , |
||||||||||||||||||||||||||||||||||
|
|
|
|
dx1 dx2 (ξ , |
ξ |
|
|
|
) = |
|
|
ξ1 |
ξ2 |
|
|
|
= |
|
1 |
4 |
|
|
= −8 |
; |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
1 |
|
2 |
|
|
|
|
ξ12 |
ξ22 |
|
|
|
|
|
|
|
2 |
0 |
|
|
|
|
|
|
|
||||||
|
|
|
|
dx2 dx3 (ξ , ξ |
|
|
) = |
|
|
ξ2 |
ξ3 |
|
= |
|
|
4 |
1 |
|
=12 |
; |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
1 |
|
|
2 |
|
|
|
|
ξ22 |
ξ32 |
|
|
|
|
|
|
|
0 |
3 |
|
|
|
|
|
|
||||||
|
|
|
|
dx1 dx4 (ξ |
, ξ |
|
|
) = |
|
|
ξ1 |
ξ4 |
|
|
= |
|
|
1 |
0 |
|
|
=1 |
; |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
ξ12 |
ξ24 |
|
|
|
|
|
|
2 |
1 |
|
|
|
|
|
|||||||
|
|
|
|
dx2 dx4 (ξ |
, ξ |
|
|
) = |
|
|
ξ2 |
ξ4 |
|
= |
|
4 |
0 |
|
= 4 |
; |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
ξ22 |
ξ24 |
|
|
|
|
|
0 |
1 |
|
|
|
|
|
||||||||
x1 =1 , |
x2 = 0 , x3 = 2 , |
x4 = −1, тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
ω(ξ1, ξ2 ) = (−1)(−8) − 2 12 + 2 1 + 0 4 = −14 .
48
Г л а в а 3
ИНТЕГРИРОВАНИЕ ДИФФЕРЕНЦИАЛЬНЫХ ФОРМ НА ГЛАДКИХ МНОГООБРАЗИЯХ
§ 11. Многообразие с краем
Для того, чтобы перейти к вопросу интегрирования дифференциальных форм на гладких многообразиях, нам необходимо расширить список основных понятий топологии, введенных до этого в учебном пособии.
Начнем с некоторых физических примеров. Возникающие естественным образом геометрические объекты могут быть нетривиальными.
Пример 3.1. Рассмотрим плоский двойной маятник (рис. 3), плечо a которого много меньше плеча b и может вращаться свободно, а размах колебаний плеча b ограничен упорами.
Конфигурация такой системы в любой конкретный момент характеризуется двумя углами α, β. Если бы ограничений не было, то конфигурационное пространство двойного маятника можно было бы отождеств-
лять с двумерным тором T 2 = Sα1 ×Sβ1
. При наличии указанных ограничений конфигурационное пространство двойного маятника характеризуется
точками цилиндрами |
Sα1 × Iβ1 , где Sα1 |
Рис. 3 |
|||||||
– окружность, отвечающая возмож- |
|||||||||
|
|||||||||
ным |
положениям |
плеча |
a, |
|
|||||
Iβ1 ={β R1 : |
|
β |
|
≤ } – |
отрезок, в пре- |
|
|||
|
|
|
|||||||
|
|
|
|
|
|
|
49 |
|
|
делах которого может меняться угол β, характеризующий положение плеча b.
Замечание 3.1. На рассмотренном примере видно, что порой координаты на множестве X (в примере 3.1 это α, β) возникают естественным образом и они сами вводят на множестве X топологию.
Пример 3.2. Рассмотрим двухатомную молекулу, состоящую из различных атомов.
Положение такой молекулы описывается координатами центра инерции и сферическими углами, определяющими направление отрезка, соединяющего атомы. Это означает, что конфигурационное пространство топологически эквивалентно произведению
R3 × S 2 (считается, что молекула не меняет внутреннего состояния; ее можно рассматривать как твердый стержень).
Пример 3.3. Положение двухатомной молекулы, состоящей из одинаковых атомов, описывается координатами центра инерции и, при фиксированном центре инерции, прямой, проходящей через центр инерции. Благодаря тому, что атомы одинаковы, направление на этой прямой не задано.
Конфигурационное пространство такой молекулы топологиче-
ски эквивалентно произведению R3 × RP2 , где RP2 – вещественная проективная плоскость.
Чтобы разобраться в том, что только что описано в примерах, нам недостаточно введенных ранее понятий.
Пусть X – топологическое пространство (см. гл. 2 § 1) и пусть
A X , A ≠ .
Определение 3.1. Точка b X называется предельной точкой множества A в топологическом пространстве X, если для любой окрестности Vb точки b существует такая точка a Vb ∩ A , что
a ≠ b .
Множество всех предельных точек множества A обозначается
A′ .
Пример 3.4. Множество Z-целых чисел в R1 не имеет предельных точек, т.е. Z′ = .
Пример 3.5. Пусть B3 R3 , |
B3 ={x R3 ; |
|
|
|
x |
|
|
|
<1} – открытый |
||||||||
|
|
|
|
||||||||||||||
шар в R3 (если x = (x1, x2 , x3 ) , |
то |
|
|
|
x |
|
|
|
= (x1)2 + (x2 )2 + (x3 )2 ). |
||||||||
|
|
|
|
||||||||||||||
50