2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 Отсутствие периодических траекторий
Сообщение17.04.2015, 16:44 
Заслуженный участник


17/09/10
2158
На $\mathbb{R}^3$ заданы три гладких векторных поля всюду линейно независимых. Их линейные комбинации с вещественными коэффициентами порождают Алгебру Ли $g^3$, имеющую одномерный идеал $g^1\subset{g^3}$.
Пусть поле $X\in{g^1}$, а у присоединенного эндоморфизма $ad_X$ имеется хотя бы одно ненулевое вещественное собственное значение.
Докажите, что ни у одного поля из $g^3$ нет периодических траекторий.

 Профиль  
                  
 
 Re: Отсутствие периодических траекторий
Сообщение26.04.2015, 20:42 
Заслуженный участник


17/09/10
2158
Выберем в качества базиса $g^3$ поля $X_1=X\in{g^1}$, $X_2$ произвольное поле из $g^3$ неколлинеарное $X_1$, а $X_3\in{g^3}$ произвольное, но такое, чтобы $X_1,X_2,X_3$ были линейно независимы.
1-формы $\omega^1,\omega^2,\omega^3$ таковы, что $\omega^i(X_j)=\delta_{j}^i$, где $i,j=1,2,3$.
Коммутаторы $[X_i,X_j]=c_{ij}^k{X_k}$. В силу условий на собственные значения $ad_{X_1}$ структурные константы $c_{12}^1,c_{13}^1$ не равны одновременно нулю.
Отличными от нуля могут быть также $c_{23}^1,c_{23}^2,c_{23}^3$. Другие структурные константы обязательно нули.
1-форма $\omega=c_{23}^3{\omega^2}-c_{23}^2{\omega^3}$ замкнута,т.е. $d\omega=0$ (проверяется прямым вычислением). Сл-но, она точна из-за односвязности $\mathbb{R}^3$ и существует гладкая функция $\psi$, определенная всюду на $\mathbb{R}^3$ такая, что $d\psi=\omega$.
$d({e^\psi\omega^2})={e^\psi}(d\psi\wedge\omega^2+d\omega^2)={e^\psi}(-c_{23}^2{\omega^3}\wedge\omega^2+c_{23}^2{\omega^3\wedge\omega^2})=0$.
Т.о. $e^\psi\omega^2=dV$, где $V$ - гладкая функция всюду определенная на $\mathbb{R}^3$ и не имеющая экстремумов. $X_2{V}=e^\psi>0$. Ясно, что вдоль любой траектории $X_2$ функция $V$ возрастает и периодических траекторий
у $X_2$ быть не может. А поскольку $X_2$ выбиралась произвольно, то утверждение доказано для любого поля неколлинеарного $X_1=X$.
Теперь, что касается поля $X_1$. Похожими рассуждениями желающие могут доказать утверждение об отсутствии периодических траекторий и для него.

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

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



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

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


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

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