2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Геодезические связности
Сообщение03.12.2017, 18:00 


18/10/16
32
Имеются векторные поля $X_1 = x \partial_x +  \partial_y, X_2 = -
 \partial_x + x \partial_y$. Положим $\bigtriangledown_XY=(\partial_X {\eta}^i) X_i$, если $Y = \eta^i X_i$. Найти геодезические связности \bigtriangledown.

--
Подскажите, пожалуйста, правильно ли я понял, что нунжо решить данную СЛАУ:
$\frac{dx^k}{dt^2} + \Gamma^k_{ij} \frac{dx^i}{dt} \frac{dx^j}{dt} = 0$.

Где символы Кристоффеля: \Gamma^{1}_{11} = \frac{1-x^2}{(1+x^2)^2}, \Gamma^{2}_{11} = \frac{2x}{(1+x^2)^2}, \Gamma^{1}_{12} = \frac{-2x}{(1+x^2)^2},\Gamma^{2}_{12} = \frac{1-x^2}{(1+x^2)^2}, а все остальные нули.

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 21:21 
Заслуженный участник


23/07/08
10626
Crna Gora
Прежде всего, откуда взяты эти выражения для $\Gamma^i_{jk}$ ?

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 21:33 


18/10/16
32
svv,
Считал их по следующей формуле: $\bigtriangledown_k X_i=\Gamma^j_{ki} X_j$, где $X_i = \frac{\partial}{\partial x_i} $
Она, вроде бы, получилась несимметричной.

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 21:46 
Заслуженный участник


23/07/08
10626
Crna Gora
Уравнение геодезических — это система дифференциальных уравнений второго порядка, в общем, непростая. Мы можем сильно упростить себе задачу, вот каким способом.

Пусть $\mathbf u$ — вектор с компонентами $u^i=\frac{dx^i}{dt}$. Это — касательный вектор к геодезической $x^i(t)$, который переносится параллельно вдоль самого себя. С помощью $\mathbf u$ уравнение можно переписать как $\nabla_{\mathbf u}\mathbf u=0$. Возможно, Вам встречалась и такая его форма. Расписав это в компонентах, получим опять уравнение геодезических в привычном виде.

Так вот, на основании результатов предыдущей темы Вы можете сразу написать решение $\mathbf u$ этого уравнения. Попробуйте.

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 21:56 


18/10/16
32
svv,
Я так понимаю, это какие-то прямые вида: u=C_1t+C_2?

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 21:58 
Заслуженный участник


23/07/08
10626
Crna Gora
Нет. Смотрите: ковариантная производная от вектора равна нулю, если он равен линейной комбинации $X_i$ с постоянными коэффициентами. Понятно, откуда я это взял?

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 22:13 


18/10/16
32
svv,
Да, понял, сейчас попробую расписать :)

-- 03.12.2017, 22:28 --

svv
Имеем: $\bigtriangledown_uu=(\partial_u \eta^i)X_i = u^j \frac{\partial \eta^i}{\partial x^j}X_i  + u^j \eta^i \bigtriangledown_i X_j$ и отсюда уже следуюет следующее СЛДУ: $\frac{d \eta^k}{dt} + \frac{dx^i}{dt} \Gamma^k_{ij} \eta^j = 0$, так?

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 22:48 
Заслуженный участник


23/07/08
10626
Crna Gora
Стоит Вам взять линейную комбинацию $Y=\eta^1 X_1+\eta^2 X_2$ с постоянными коэффициентами $\eta^1, \eta^2$, как её ковариантная производная сразу обращается в нуль по условию
PalmDesert в сообщении #1271488 писал(а):
Положим $\bigtriangledown_XY=(\partial_X {\eta}^i) X_i$, если $Y = \eta^i X_i$.
Ковариантная производная вдоль какого вектора $X$? Вдоль любого, потому что постоянство коэффициентов $\eta^i$ убивает ковариантную производную наповал, независимо от $X$.

Следовательно, в качестве $X$ можно взять и сам $Y$. Но тогда этот $Y=\eta^1 X_1+\eta^2 X_2$ является решением уравнения $\nabla_\mathbf v \mathbf v=0$.

Таким образом, касательный вектор геодезической известен. Неплохо было бы выразить его через базисные векторы $\partial_i$.

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 22:54 


18/10/16
32
svv,
получается уравнение геодезических это просто u=\eta^i X_i = (\eta^1x-\eta^2)\partial_x + (\eta^1+x\eta^2)\partial_y

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 22:59 
Заслуженный участник


23/07/08
10626
Crna Gora
Это решение той формы уравнения геодезических, которая записана для касательного вектора $(\nabla_{\mathbf u}\mathbf u=0$).
Не забываем о важном условии: $\eta^i$ постоянные.

Теперь, имея касательный вектор, надо получить сами геодезические в виде $x^i(t, \;\text{произвольные константы})$.
Первое, что надо сделать: выразить касательный вектор через $\partial_i$.
PalmDesert в сообщении #1271669 писал(а):
Осталось просто заменить все X_i по их начальным формулам?
Не только. Надо будет решить систему ДУ. Но она много проще, чем исходное уравнение геодезических.

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 23:08 


18/10/16
32
svv,
получается, имеем следующие ду:
$\frac{dx^j}{dt} = \eta^i X_i$?

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 23:15 
Заслуженный участник


23/07/08
10626
Crna Gora
PalmDesert в сообщении #1271669 писал(а):
$u=\eta^i X_i = (\eta^1x-\eta^2)\partial_x + (\eta^1+x\eta^2)\partial_y$
Да. Так как компоненты вектора в базисе — это коэффициенты его разложения по базисным векторам ($\partial_i$), то
$u^1=\eta^1x^1-\eta^2$
$u^2=\eta^1+x^1\eta^2$
С другой стороны, касательный вектор $\mathbf u=\frac{d}{dt}$, где $t$ — параметр. Как отсюда вывести, чему равны компоненты? Очень просто:
Так как $\frac{df}{dt}=\frac{\partial f}{\partial x^i}\frac{d x^i}{dt}$, то $\mathbf u=\frac d{dt}=\frac{d x^i}{dt}\frac{\partial}{\partial x^i}=\dot x^i\partial_i$
Отсюда получаем, что компоненты $u^i$ равны $\dot x^i$ (Вы выше сами до этого догадались).

Остается записать систему.

-- Вс дек 03, 2017 22:16:48 --

PalmDesert в сообщении #1271681 писал(а):
получается, имеем следующие ду:
$\frac{dx^j}{dt} = \eta^i X_i$?
Немного не так: $\frac{dx^j}{dt} = \eta^i (X_i)^j$, где $(X_i)^j$$j$-я компонента поля $X_i$ в базисе $\partial_j$.

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 23:33 


18/10/16
32
svv, получается, так?
$\left\{\begin{matrix}
\dot x^1 = \eta^1 x - \eta^2 \\
\dot x^2 = \eta^1 + x \eta^2 \\
\end{matrix}\right.$, откуда $\left\{\begin{matrix}
x^1 = \frac{\eta^2}{\eta^1} + C_1 e^{\eta_1 t} \\
x^2 =C_2 e^{\eta^2 t} - \frac{\eta^1}{\eta^2} \\
\end{matrix}\right.$

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение03.12.2017, 23:38 
Заслуженный участник


23/07/08
10626
Crna Gora
Систему записали правильно (только будем писать единообразно везде $x^1$, не $x$), за решение не ручаюсь.
Попробуйте найти константы, считая известными значения $x^i(0)$.

-- Вс дек 03, 2017 22:53:56 --

Первое уравнение удовлетворяется, второе нет. Обратите внимание, в правой части второго уравнения тоже $x^1$, не $x^2$. Найдя его из первого уравнения, подставьте во второе и просто проинтегрируйте.

 Профиль  
                  
 
 Re: Геодезические связности
Сообщение04.12.2017, 00:01 


18/10/16
32
svv,
Хорошо, сейчас попробую :)
А как вы определили, что везде вместо x должно быть x_1?

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 20 ]  На страницу 1, 2  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Gg322


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group