Гамильтониан для прецессирующей системы

[amon]

drzewo в сообщении #1676427 писал(а):

А что такое особое решение я не знаю. Что это?

Грубо говоря, огибающая семейства решений. Например, решение $y=0$ уравнения $(y')^2=y.$ Мне кажется, что если в лоб написать Эйлера-Лагранжа для Вашего лагранжиана, то искомое решение окажется особым, и кроме него будет туча мусора.

-- 25.02.2025, 19:57 --

IMHO, для нахождения нужного решения надо искать не просто экстремаль, а глобальный минимум, а это несколько другая вариационная задача, отличная от привычной.

[drzewo]

amon в сообщении #1676428 писал(а):

Грубо говоря, огибающая семейства решений. Например, решение $y=0$ уравнения $(y')^2=y.$ Мне кажется, что если в лоб написать Эйлера-Лагранжа для Вашего лагранжиана, то искомое решение окажется особым, и кроме него будет туча мусора.

Я не понимаю, какое отношение к обсуждаемой задаче имеют уравнения, неразрешенные относительно старшей производной. Что такое <<искомое решение>>?

amon в сообщении #1676428 писал(а):

IMHO, для нахождения нужного решения надо искать не просто экстремаль, а глобальный минимум, а это несколько другая вариационная задача, отличная от привычной.

Там и найден глобальный минимум. Что такое <<нужное решение>>? Изъясняйтесь внятней.

[amon]

drzewo в сообщении #1676431 писал(а):

Что такое <<нужное решение>>? Изъясняйтесь внятней.

Попробую. Искомое решение - решение уравнения

$$\dot x=f(t,x)\quad (*)$$

Для лагранжиана (модуль убрал, ищем вещественные решения, для простоты все одномерно)

$$L(t,x,\dot x)=(\dot x-f(t,x))^2$$

Эйлер-Лагранж будет

$$\frac{d}{dt}(\dot x-f)+(\dot x-f)\frac{\partial f}{\partial x}=0.$$

Это уравнение имеет прорву решений, среди которых есть особое (по-моему) решение уравнения (*). Однако, произвольное решение такого уравнения не будет решением (*). Чтобы отделить нужное решение от прочих, надо, по-моему, искать не просто экстремаль, а глобальный минимум функционала, что, IMHO, отличается от стандартной формулировки принципа наименьшего действия, где любая экстремаль считается решением исходной задачи.

[drzewo]

amon в сообщении #1676434 писал(а):

Искомое решение - решение уравнения

$$\dot x=f(t,x)\quad (*)$$

Решений этого уравнения -- континум. Какое именно из них <<искомое>>?

amon в сообщении #1676434 писал(а):

Для лагранжиана (модуль убрал

Вы понимаете, что это скалярный квадрат?

amon в сообщении #1676434 писал(а):

ищем вещественные решения

про комплексные вроде разговор не шел

amon в сообщении #1676434 писал(а):

для простоты все одномерно)

$$L(t,x,\dot x)=(\dot x-f(t,x))^2$$

а в чем проблема написать уравнения Лагранжа с Лагранжианом

$$L=|\dot x|^2-2(\dot x,f)+|f|^2,\quad x\in\mathbb{R}^m$$

?

amon в сообщении #1676434 писал(а):

Это уравнение имеет прорву решений, среди которых есть особое (по-моему) решение уравнения (*).

Еще раз: что значит <<особое>> в данном контексте?

amon в сообщении #1676434 писал(а):

Однако, произвольное решение такого уравнения не будет решением (*).

Естественно. И я уже объяснил в каком отношении система (*) находится к уравнениям Лагранжа.

amon в сообщении #1676434 писал(а):

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

Я ничего не понимаю, что тут написано

[amon]

drzewo в сообщении #1676439 писал(а):

Естественно. И я уже объяснил в каком отношении система (*) находится к уравнениям Лагранжа.

Я Вас понял. Беда (моя) в разнице подходов. Я привык считать, что действие первично, а уравнение вторично, и оно однозначно следует из действия. Про "особость", может и глупость сказал. Надо подумать.