Цибрий Денис, 9А(окончен)-10А

Вычисление функции Гамильтона (энергетической

функции) на двумерном торе T . 2

Рассмотрим и решим простую задачу, её цель описана в заголовке. Как мы

знаем, T 2- двумерный тор – это многообразие, причём T 2=S 1 × S 1, почему же?
Т.к. S1 - это подпространство Rn, то, по определению многообразия, как
хаусдорфова топологического пространства, каждая область
которого гомеоморфна области в Rn, т.е. ∀ a , b ∈ M ∃U a , U b∨U a ∩U b=∅ ,и
∀ a ∈ M ,U a ∈ M , ∃ φ:U a ∈ M → U φ (a ) ∈ Rn , где φ – координатный гомеоморфизм,
пара
( U a , φ )= Ai , где U a ∈ M , φ−гомеоморфизм на область в евклидовом простанстве , т. е .непрерывное и
– атласом.
1 2 2
Рассмотрим окружность S ∈ R = {a ∈ R :|a−a 0|=r , a0 −центр окржуности }, во-
первых, она уже лежит в Rn, покроем её двумя картами:
U
+¿= {( x , x ) ∈R : x = y ≥0 } ,φ 1 : x =
1 2 2 2
{ 2
1

2
1
x ( p ) ∈[−r , r] −верхняя полуокружность, и U
1 2 2 2
−¿= {( x ,x ) ∈ R :x =y ≤ 0 } ¿
¿ ,
x = x ( p) ∈[r , 0]
1 1
φ 2 : x2 =x2 ( p ) ∈[−r , r ] −нижняя полуокружность, атлас A=¿. Однако окружность,
{
x =x ( p ) ∈[0 ,−r ]
для большей точности, следует покрывать 4 картами. Итак S1-многообразие;
т.к. произведение двух многообразий – многообразие, то T 2=S 1 × S 1 –
многообразие.
Далее, я не буду вводить (или напоминать) всех основных определений
дифференциальной геометрии, а дам лишь необходимый минимум. Те,
кто хоть немного с ней знаком, могут взять книгу Катанаева М.О “
Геометрические методы в математической физике”, и в ней уже
ознакомиться с таковыми более подробно.
Определим кривую γ на многообразии, как отображение
γ : [ 0,1 ] → M , γ :t ∈ [ 0,1 ] → γ ( t ) ∈ M ;t называется параметром. Существуют также и
непараметрические кривые, т.е. заданные уравнением, однако некоторые
из них допускают параметризацию. Рассмотрим параметризацию на
примере нашей окружности S1, уравнение, задающее её, имеет вид:
( x ¿¿ 1)2 +( x¿¿ 2)2=r 2 ¿ ¿ – непараметрическое уравнение кривой; введём
параметризацию: пусть x 1 ( t )=r cos t , x 2=r sin t , параметрическое уравнение: r 2 ¿ ¿
, очевидно, они эквивалентны, т.к. дают один и тот же результат.
Дадим теперь 2 определения касательного вектора к кривой в точке на
многообразии, без всяких пояснений и доказательств.
1)Касательным вектором к точке x=γ (t 0 )∈ M , называется класс
эквивалентности кривых в этой точке, обозначается следующим
d
образом: [γ ]x=γ (t )={ γ 1 , γ 2 ∈ M : γ 1 γ 2 ¿ x }, вектор dt γ ( t ) ¿x=γ (t )= γ̇ (t 0 ¿ называется
0 0

вектором скорости кривой в точке γ (t 0), тогда понятно, что [γ ]x=γ (t )=[ γ̇ ] x=γ (t ). 0 0

2) Пусть у кривой есть координатное представление: γ ( t ) =( x i ( t ) ), условимся,

что точка M ∋ x=γ (t 0), при t 0=0 , пусть также задана функция f в окрестности
точки x=γ (t 0 ), причём f ∈ C∞ ( M ) и f : M → R , тогда функция в точке x это f =f ¿), в
общем же случае, функция на кривой имеет вид: f =f (γ ( t ) ). Т.к. x i=x i ( γ ( t ) ), то
можно рассмотреть композицию: φ ° γ :t → Rn, но, тогда x=γ ( t 0 )=x i−1 ( t0 ) =φ−1(x ),
теперь понятно, что f ( γ ( t ) )=f ( φ−1 ) =f ° φ−1 : Rn → R – функция в Rn. Итак,
касательным вектором к многообразию в точке, называется оператор
дифференцирования функции в точке, по направлению кривой:
∂
V ( x )= ẋ i( t 0 )
¿ x=γ ¿¿, где точкой обозначена производная координатного
∂ xi
∂
представления кривой γ ( t ) =( x i ( t ) ) по параметру t . Вектор i является
∂x
базисным вектором в касательном пространстве, это утверждение
требует доказательства, его мы опустим.
3) Касательным пространством к точке x ∈ M называется множество:
T x M ={V i ( x ) ∈ D ( M )∨V i f ¿ x=γ ( t ) : f (x) → R }, т.е. множество всех операторов
0

дифференцирования функций в точке x ∈ M , где D( M ) – это множество

дифференцирований на многообразии M . Аналогично касательное
пространство определяется в формализме классов эквивалентности кривых в
точке.
Самый минимум дан, теперь можно приступить к сути задачи.
Задача сама по себе тривиальна, но полезна в качестве упражнения.
Рассмотрим теперь уже две окружности S1, ведь наш тор T 2=S 1 × S 1, выберем
два параметра для двух окружностей: пусть кривая на первой S1 задаётся
параметром τ , а вторая параметром θ, причём θ , τ ∈[0,2 π ], пусть также наши
окружности, для удобства, обе имеют единичный радиус. Итак, для первой
окружности: x=cos τ , y =sin τ . Для второй: x=cos θ , y =sin θ, перейдём теперь к
параметрическому представлению тора:
 x=cos θ+ cos θ cos τ
γ 2 2 γ ( τ ,θ ) =
Пусть кривая для T имеет вид γ :(τ , θ)→ T ,
{
y=sin θ+cos τ sinθ , пусть
z=sin θ
теперь нам задана некоторая точка T 2 ∋ p без явного выражения.
1)Для начала вычислим производные координат по параметрам:
∂x ∂y ∂z
i
=−sinθ−sin θ cos τ −sin τ cos θ=−sin θ ¿ ¿ ¿ ¿ ¿¿ ¿ . i =cos θ+cos θ cos τ . i =cos θ .
∂t ∂t ∂t
3
2)Найдём метрику тора: d s 2=∑ d x i=¿ ¿ ¿, т.к. мы условились, что радиусы
i=1

единичны. Компоненты метрического тензора: gij =¿, остальные компоненты

равны 0.
3) Функция Гамильтона H : M n → R , выглядит на торе, как H :T 2 → R , общее
выражение известно из аналитической механики, H= p q̇−L, где L – функция
1 i 2 i 1 n
Лагранжа, L=∑ 2 m( q̇ ) −U (q =( q , … , q )), необходимо найти:
i
i 1 2
H=∑ p q̇ i−∑ m (q ¿˙¿i) +U (qi=( q1 , … , qn ) )¿ ¿ -? Пусть q 1=x , q 2= y , q3=0 , т. к . g 33=0
i i 2

1 i 2 1 i j
4) Найдём кинетическую энергию: T =∑ 2 m( q̇ ) = 2 m g ij q̇ q̇ , далее будет
i
1
написан сразу ответ, ввиду громоздкости выкладок. T = 2 m¿ . Если бы точка
была явно задана, то дополнительно необходимо бы было найти значения
параметров в этой точке.
5) Теперь нужно найти вид функции потенциальной энергии. Рассмотрим
частный случай: пусть тело двигалось по поверхности тора, под действием
силы тяжести, как мы знаем, сила тяжести потенциальна, а значит подходит
для выражения функции. U ( q 1 , q 2 , q 3 )=mg ( x+ y+ z )=mg¿
1
6) Функция Лагранжа: L=m{ 2 ¿

7) Импульс p=m ∑ q̇i =m¿

( ) i

8) Сама функция Гамильтона для тора: можно немного преобразовать

формулу, из предыдущего пункта следует, что функцию можно записать в
i 2 i i
виде: H=m ∑
i
( q̇ ) −L=m g ii q̇ q̇ −L=¿ .

Ответ: H=¿.