WikiDer > Обратная задача для лагранжевой механики

В математика, то обратная задача для лагранжевой механики проблема определения того, является ли данная система обыкновенные дифференциальные уравнения может возникнуть как Уравнения Эйлера – Лагранжа. для некоторых Лагранжиан функция.

С начала 20 века в изучении этой проблемы ведется активная работа. Заметным достижением в этой области стала статья 1941 г. Американец математик Джесси Дуглас, в котором он предоставил необходимо и достаточно условия для решения проблемы; эти условия теперь известны как Условия Гельмгольца, после Немецкий физик Герман фон Гельмгольц.

Предпосылки и постановка проблемы

Обычная установка Лагранжева механика на п-размерный Евклидово пространство р^п составляет. Рассмотрим дифференцируемый дорожка ты : [0, Т] → р^п. В действие пути ты, обозначенный S(ты), дан кем-то

${displaystyle S (u) = int _ {0} ^ {T} L (t, u (t), {точка {u}} (t)), mathrm {d} t,}$

где L является функцией времени, положения и скорость известный как Лагранжиан. В принцип наименьшего действия утверждает, что при начальном состоянии Икс₀ и конечное состояние Икс₁ в р^п, траектория, которую система определяет L на самом деле будет следовать минимизатор действия функциональный S удовлетворяющие граничным условиям ты(0) = Икс₀, ты(T) =Икс₁. Кроме того, критические точки (и, следовательно, минимизаторы) S должен удовлетворить Уравнения Эйлера – Лагранжа. для S:

${displaystyle {frac {mathrm {d}} {mathrm {d} t}} {frac {partial L} {partial {dot {u}} ^ {i}}} - {frac {partial L} {partial u ^ { i}}} = 0quad {ext {for}} 1leq ileq n,}$

где верхние индексы я обозначим компоненты ты = (ты¹, ..., ты^п).

В классическом случае

${displaystyle T ({точка {u}}) = {гидроразрыв {1} {2}} m | {точка {u}} | ^ {2},}$

${displaystyle V: [0, T] imes mathbb {R} ^ {n} o mathbb {R},}$

${displaystyle L (t, u, {точка {u}}) = T ({точка {u}}) - V (t, u),}$

уравнения Эйлера – Лагранжа - обыкновенные дифференциальные уравнения второго порядка, более известные как Законы движения Ньютона:

${displaystyle m {ddot {u}} ^ {i} = - {frac {partial V (t, u)} {partial u ^ {i}}} quad {ext {for}} 1leq ileq n,}$

${displaystyle {mbox {т.е. }} m {ddot {u}} = - abla _ {u} V (t, u).}$

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

${displaystyle {ddot {u}} ^ {i} = f ^ {i} (u ^ {j}, {dot {u}} ^ {j}) quad {ext {for}} 1leq i, jleq n, quad {mbox {(E)}}}$

которое выполняется для времен 0 ≤т ≤ Т, существует ли лагранжиан L : [0, Т] × р^п × р^п → р для которых эти обыкновенные дифференциальные уравнения (E) являются уравнениями Эйлера – Лагранжа? В общем, эта проблема ставится не на евклидовом пространстве. р^п, но на п-размерный многообразие M, а лагранжиан - функция L : [0, Т] × TM → р, где TM обозначает касательный пучок из M.

Теорема Дугласа и условия Гельмгольца

Для упрощения обозначений пусть

${displaystyle v ^ {i} = {точка {u}} ^ {i}}$

и определить набор п² функции Φ_j^я от

${displaystyle Phi _ {j} ^ {i} = {frac {1} {2}} {frac {mathrm {d}} {mathrm {d} t}} {frac {partial f ^ {i}} {partial v ^ {j}}} - {frac {partial f ^ {i}} {partial u ^ {j}}} - {frac {1} {4}} {frac {partial f ^ {i}} {partial v ^ {k}}} {frac {partial f ^ {k}} {partial v ^ {j}}}.}.}$

Теорема. (Дуглас 1941) Существует лагранжиан L : [0, Т] × TM → р такие, что уравнения (E) являются его уравнениями Эйлера – Лагранжа если и только если существует неособый симметричная матрица г с записями г_ij в зависимости от обоих ты и v удовлетворяющие следующим трем Условия Гельмгольца:

${displaystyle gPhi = (gPhi) ^ {op}, quad {mbox {(H1)}}}$

${displaystyle {frac {mathrm {d} g_ {ij}} {mathrm {d} t}} + {frac {1} {2}} {frac {partial f ^ {k}} {partial v ^ {i}} } g_ {kj} + {frac {1} {2}} {frac {partial f ^ {k}} {partial v ^ {j}}} g_ {ki} = 0 {mbox {for}} 1leq i, jleq n, quad {mbox {(H2)}}}$

${displaystyle {frac {partial g_ {ij}} {partial v ^ {k}}}} = {frac {partial g_ {ik}} {partial v ^ {j}}} {mbox {for}} 1leq i, j, kleq n.quad {mbox {(H3)}}}$

(The Соглашение о суммировании Эйнштейна используется для повторяющихся индексов.)

Применение теоремы Дугласа

На первый взгляд решение уравнений Гельмгольца (H1) - (H3) кажется чрезвычайно сложной задачей. Условие (H1) решить проще всего: всегда можно найти г который удовлетворяет (H1), и одно это не означает, что лагранжиан сингулярен. Уравнение (H2) представляет собой систему обыкновенных дифференциальных уравнений: обычные теоремы от существования и единственности решения обыкновенных дифференциальных уравнений следует, что это в общем, можно решить (H2). Интегрирование не дает дополнительных констант, а дает первые интегралы системы (E), поэтому этот шаг становится трудным. на практике если (E) не имеет достаточно явных первых интегралов. В некоторых случаях с хорошим поведением (например, геодезический поток для канонический связь на Группа Ли) это условие выполняется.

Последний и самый сложный шаг - решить уравнение (H3), которое называется условия закрытия поскольку (H3) - это условие того, что дифференциальная 1-форма г_я это закрытая форма для каждого я. Причина, по которой это так пугает, заключается в том, что (H3) представляет собой большую систему связанных дифференциальных уравнений в частных производных: для п степеней свободы, (H3) представляет собой систему

${displaystyle 2left ({egin {matrix} n + 1 3end {matrix}} ight)}$

уравнения в частных производных в 2п независимые переменные, которые являются компонентами г_ij из г, где

${displaystyle left ({egin {matrix} n kend {matrix}} ight)}$

обозначает биномиальный коэффициент. Чтобы построить самый общий лагранжиан, нужно решить эту огромную систему!

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

Ψ_jk^я

от

${displaystyle Psi _ {jk} ^ {i} = {frac {1} {3}} left ({frac {partial Phi _ {j} ^ {i}} {partial v ^ {k}}} - {frac { частичное Phi _ {k} ^ {i}} {частичное v ^ {j}}} право).}$

Вспомогательное условие на г затем

${displaystyle g_ {mi} Psi _ {jk} ^ {m} + g_ {mk} Psi _ {ij} ^ {m} + g_ {mj} Psi _ {ki} ^ {m} = 0 {mbox {for} } 1leq i, jleq n.quad {mbox {(A)}}}$

Фактически, уравнения (H2) и (A) являются лишь первыми в бесконечной иерархии подобных алгебраических условий. В случае параллельное соединение (например, каноническая связность на группе Ли), условия более высокого порядка всегда выполняются, поэтому интерес представляют только (H2) и (A). Обратите внимание, что (A) включает

${displaystyle left ({egin {matrix} n 3end {matrix}} ight)}$

условий, тогда как (H1) включает

${displaystyle left ({egin {matrix} n 2end {matrix}} ight)}$

условия. Таким образом, возможно, что из (H1) и (A) вместе следует, что функция Лагранжа сингулярна. По состоянию на 2006 год не существует общей теоремы, позволяющей обойти эту трудность в произвольной размерности, хотя некоторые частные случаи были разрешены.

Второй путь атаки состоит в том, чтобы увидеть, допускает ли система (E) погружение в систему меньшей размерности, и попытаться «поднять» лагранжиан для системы меньшей размерности до системы большой размерности. На самом деле это не столько попытка решить условия Гельмгольца, сколько попытка построить лагранжиан, а затем показать, что его уравнения Эйлера – Лагранжа действительно являются системой (E).

использованная литература

• Дуглас, Джесси (1941). «Решение обратной задачи вариационного исчисления». Труды Американского математического общества. 50 (1): 71–128. Дои:10.2307/1989912. ISSN 0002-9947. JSTOR 1989912.
• Равашдех, М., и Томпсон, Г. (2006). «Обратная задача для шестимерных коразмерных двух нильрадикальных алгебр Ли». Журнал математической физики. 47 (11): 112901. Дои:10.1063/1.2378620. ISSN 0022-2488.CS1 maint: несколько имен: список авторов (ссылка на сайт)