Теорема о локальном фазовом потоке

Теорема о локальном фазовом потоке. Из теорем существования, единственности и дифференцируемой зависимости решений от начальных условий следует, что дифференцируемое векторное поле в окрестности любой точки фазового пространства задает локальный фазовый поток [c.23]

Еще раз о локальности. Теорема Лиувилля, равно как и предыдущие теоремы, формально носит сугубо локальный характер. Из доказательства теоремы Дарбу следует, что всякая гамильтонова система вполне интегрируема в окрестности любой неособой своей точки. На практике, однако, нас не интересует потенциальное и бессодержательное существование интегралов в малом. Нам важны случаи, когда явно предъявляются первые интегралы движения, определенные во всем или почти всем фазовом пространстве задачи. Вместе с тем, поскольку на практике мы всегда имеем дело с аналитическими функциями, поведение которых в целом, как известно, определяется поведением в малом, то, опираясь на локальные теоремы, мы сможем в конце концов получать заключения нелокального характера о фазовом потоке. [c.266]

Векторное поле скоростей v и вихревое поле и>, определенные на всей группе 50(3), обладают рядом замечательных свойств. Во-первых, фазовый поток динамической системы х = v x), х G е 50(3), сохраняет двустороннюю инвариантную меру на группе 50(3). Эта мера инвариантна относительно всех левых и правых сдвигов группы. В локальных координатах на 50(3) — углах Эйлера —она имеет следующий вид (см. [135, гл. 1]) <1ц = = sind de dtp ф. Если положить rot и = aw, то в углах Эйлера функция а равна в точности sin0 (ср. с п. 4, следствие из теоремы 2). [c.72]

После работ А. Пуанкаре в XX в. постепенно сложилось отчетливое понимание того, что невозможность продолжить локально существующие интегралы до интегралов в целом связана со сложным поведением фазовых траекторий на уровнях тех интегралов (вроде интеграла энергии), которые известны, но имеются в недостаточном числе. Попросту говоря, на интегральном уровне должны существовать траектории, всюду плотные в некоторой области на нем. Системы, обладающие т, но не т+ интегралами в целом , Леви-Чивита предложил называть т-импримитивными. Здесь проблемы интегрируемости смыкаются с задачами эргоди-ческой теории. Примером служит доказанная в 1939 г. теорема Э. Хопфа об эргодичности геодезического потока на любой компактной поверхности отрицательной кривизны. Для исследования геодезических на поверхностях отрицательной кривизны Биркгоф, Морс и Хедлунд создали символическую динамику, позволяющую описывать сложное поведение траекторий в вероятностных терминах. Однако, как отмечает Пуанкаре [147], ...траектории задачи трех тел ) сопоставимы не с геодезическими линиями на поверхностях отрицательной кривизны, а наоборот, с геодезическими линиями на выпуклых поверхностях... К сожалению, эта задача значительно сложнее... . Здесь уже зоны квазислучайного поведения фазовых траекторий чередуются и сосуществуют с областями, составленными из траекторий регулярного вида. Обсуждение этих вопросов можно найти в докладе А. Н. Колмогорова [Ш] и книге Мозера [221]. Непосредственное приложение к проблеме интегрируемости задачи трех тел идея сложного поведения фазовых траекторий нашла в работе В. М. Алексеева [2]. [c.17]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...