2014 dxdy logo

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

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




На страницу 1, 2, 3, 4, 5, 6  След.
 
 Размер алгебры Ли и линеаризуемость ОДУ
Сообщение08.12.2014, 19:28 
Аватара пользователя
Есть ли какая-нибудь известная связь между линеаризуемостью (скалярного) ОДУ и размерностью алгебры Ли его точечных симметрий?
P.S: например, если размерность алгебры Ли меньше какого-то числа => то ОДУ априори не может быть линеаризован точечными преобразованиями? :-)

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение08.12.2014, 21:20 
Вроде критерий для ОДУ 2 порядка ещё сам Ли доказал, если я ничего не путаю. А так, конкретно для ОДУ, о других результатах я не в курсе. Но я ими и не интересовался, а для УРЧП как ни странно всё проще).

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение08.12.2014, 21:39 
Аватара пользователя
Предупреждаю и заранее извиняюсь, что могу попасть пальцем в небо.

Предположим, что уравнение линеаризуемо. Тогда есть соответствие между симметриями уравнениями и симметриями линейного уравнения. Т. е. должно быть как минимум столько же симметрий, сколько у линейного уравнения?

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение08.12.2014, 22:16 
Аватара пользователя
То есть по логике, должно быть не меньше симметрий, чем порядок уравнения (как минимум)? :-)

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение08.12.2014, 23:01 
Аватара пользователя
DLL в сообщении #942691 писал(а):
То есть по логике, должно быть не меньше симметрий, чем порядок уравнения (как минимум)? :-)


Напишите точно, что Вы имеете в виду под симметрией. Бывают же какие-то точечные и не-точечные...

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 09:00 
DLL в сообщении #942691 писал(а):
То есть по логике, должно быть не меньше симметрий, чем порядок уравнения (как минимум)? :-)

Это верно. Только это вряд ли критерий. У ОДУ $u^{(n)}=0$ при $n >2$ будет алгебра точечных симметрий размерности $n +4$, например. Тоже теорема Ли вроде бы.

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 09:33 
Аватара пользователя
Цитата:
Напишите точно, что Вы имеете в виду под симметрией. Бывают же какие-то точечные и не-точечные...

Да, здесь везде речь о точечных преобразованиях и точечных симметриях.

Цитата:
Это верно. Только это вряд ли критерий. У ОДУ $u^{(n)}=0$ при $n >2$ будет алгебра точечных симметрий размерности $n +4$, например. Тоже теорема Ли вроде бы.

Я в данном случае искал какие-нибудь простые необходимые условия.
Дело в том, что размерность алгебры Ли точечных симметрий для ОДУ может быть найдена алгоритмически, не решая определяющие уравнения.

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 10:50 
еще хорошо помнить, что вопрос о существовании групп симметрий в окрестности неособой точки ДУ решается тривиально в силу теоремы о выпрямлении векторного поля.

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 13:48 
Аватара пользователя
Можете чуть подробнее это пояснить? :-)

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 14:09 
Нутк, теорема о выпрямлении локально наше все. Тут скорее не группы, действующие на окрестнось неособой точки при ее помощи находить. Тут локально все решения при ее помощи находить можно, если известен выпрямляющий локально диффеоморфизм. Речь-то я так понимаю о группах, которые всякое решение локально перегоняют в решение.

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 14:58 
Аватара пользователя
Действие-то довольно банальное: под систему в канонической форме $\dot {x^i}={\xi}^i(x)$ подбираем замену переменной $x'=f(x)$, такую, чтобы в переменных $x'$ правые части $\xi'$ имели бы вид $(1,0,...,0)$.
Вся проблема в том, что нахождение такой замены в точности равносильно нахождению общего интеграла исходной системы :))

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 15:17 
Есть несколько постановок задачи. Одна постановка звучит так : найти явно ( в том или ином смысле) группу симметрий; вторая постановка : существует ли группа симметрий? Второй вопрос имеет смысл ставить только на каких-то инвариантных множествах или в окрестности положения равновесия. Это все прописи как бэ.

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 15:36 
Oleg Zubelevich в сообщении #942965 писал(а):
Второй вопрос имеет смысл ставить только на каких-то инвариантных множествах или в окрестности положения равновесия. Это все прописи как бэ.

Может я не так Вас понял, но второй вопрос имеет смысл ставить о локальных группах, которые всякое решение локально преобразуют в решение. В общем-то именно они называются симметриями дифференциальных уравнений, насколько мне известно.

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 15:57 
VanD в сообщении #942975 писал(а):
локальных группах, которые всякое решение локально преобразуют в решение

группа биекций множества решений устроит?

 
 
 
 Re: Размер алгебры Ли и линеаризуемость ОДУ
Сообщение09.12.2014, 16:09 
Oleg Zubelevich в сообщении #942987 писал(а):
VanD в сообщении #942975 писал(а):
локальных группах, которые всякое решение локально преобразуют в решение

группа биекций множества решений устроит?


Занятно, но я, конечно, не об этом. Я о том, что получается из подходящего касательного векторного поля экспоненцированием. Представьте себе, этот вопрос нетривиален и Ли занимался именно этим в первую очередь.

 
 
 [ Сообщений: 82 ]  На страницу 1, 2, 3, 4, 5, 6  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group