Jump to content

Динамическая система

Аттрактор Лоренца возникает при исследовании осциллятора Лоренца — динамической системы.

В математике динамическая система — это система, в которой функция описывает временную зависимость точки в окружающем пространстве , например, в параметрической кривой . Примеры включают математические модели , описывающие раскачивание маятника часов , течение воды в трубе , случайное движение частиц в воздухе и количество рыб, обитающих в озере каждую весну . Самое общее определение объединяет несколько концепций математики, таких как обыкновенные дифференциальные уравнения и эргодическая теория, позволяя по-разному выбирать пространство и способы измерения времени. [ нужна ссылка ] Время может измеряться целыми числами, действительными или комплексными числами или может быть более общим алгебраическим объектом, теряющим память о своем физическом происхождении, а пространство может быть многообразием или просто множеством , без необходимости гладкого пространства-времени. определенная на нем структура.

В любой момент времени динамическая система имеет состояние , представляющее точку в соответствующем пространстве состояний . Это состояние часто задается набором действительных чисел или вектором в геометрическом многообразии. Правило эволюции динамической системы — это функция, которая описывает, какие будущие состояния следуют из текущего состояния. Часто функция является детерминированной , то есть за заданный интервал времени из текущего состояния следует только одно будущее состояние. [1] [2] Однако некоторые системы являются стохастическими , поскольку случайные события также влияют на эволюцию переменных состояния.

В физике динамическая система описывается как «частица или ансамбль частиц, состояние которых меняется со временем и, таким образом, подчиняется дифференциальным уравнениям , включающим производные по времени». [3] Чтобы сделать прогноз о будущем поведении системы, реализуется аналитическое решение таких уравнений или их интегрирование во времени посредством компьютерного моделирования.

Изучение динамических систем находится в центре внимания теории динамических систем , которая имеет приложения в самых разных областях, таких как математика, физика, [4] [5] биология , [6] химия , инженерия , [7] экономика , [8] история и медицина . Динамические системы являются фундаментальной частью теории хаоса , динамики логистических карт , теории бифуркаций , процессов самосборки и самоорганизации , а также границы концепции хаоса .

Понятие динамической системы берет свое начало в механике Ньютона . Здесь, как и в других естественных и инженерных дисциплинах, правило эволюции динамических систем представляет собой неявное соотношение, которое определяет состояние системы лишь на короткое время в будущем. (Отношение представляет собой либо дифференциальное уравнение , либо разностное уравнение , либо другую временную шкалу .) Чтобы определить состояние для всех будущих моментов времени, требуется многократная итерация соотношения — каждое продвижение вперед представляет собой небольшой шаг. Итерационная процедура называется решением системы или интеграцией системы . Если систему можно решить, то, зная начальную точку, можно определить все ее будущие положения — набор точек, известный как траектория или орбита .

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

Для простых динамических систем часто достаточно знания траектории, но большинство динамических систем слишком сложны, чтобы их можно было понять с точки зрения отдельных траекторий. Трудности возникают потому, что:

  • Изучаемые системы могут быть известны только приблизительно: параметры системы могут быть неизвестны точно или в уравнениях могут отсутствовать члены. Используемые приближения ставят под сомнение обоснованность или актуальность численных решений. Для решения этих вопросов при изучении динамических систем было введено несколько понятий устойчивости, таких как устойчивость по Ляпунову или структурная устойчивость . Устойчивость динамической системы предполагает наличие класса моделей или начальных условий, для которых траектории будут эквивалентны. Операция сравнения орбит для установления их эквивалентности меняется при различных понятиях устойчивости.
  • Тип траектории может быть более важным, чем одна конкретная траектория. Некоторые траектории могут быть периодическими, тогда как другие могут проходить через множество различных состояний системы. Приложения часто требуют перечисления этих классов или поддержания системы в пределах одного класса. Классификация всех возможных траекторий привела к качественному изучению динамических систем, то есть свойств, не изменяющихся при изменении координат. Линейные динамические системы и системы, имеющие два числа, описывающие состояние, являются примерами динамических систем, в которых понимаются возможные классы орбит.
  • Поведение траекторий как функция параметра может быть тем, что необходимо для приложения. При изменении параметра динамические системы могут иметь точки бифуркации , в которых меняется качественное поведение динамической системы. Например, он может перейти от периодических движений к явно беспорядочному поведению, как при переходе к турбулентности жидкости .
  • Траектории системы могут показаться беспорядочными, как будто случайными. В этих случаях может оказаться необходимым вычислить средние значения, используя одну очень длинную траекторию или множество различных траекторий. Средние значения хорошо определены для эргодических систем , а более детальное понимание было разработано для гиперболических систем . Понимание вероятностных аспектов динамических систем помогло заложить основы статистической механики и хаоса .

Многие считают французского математика Анри Пуанкаре . основателем динамических систем [9] Пуанкаре опубликовал две ставшие классическими монографии: «Новые методы небесной механики» (1892–1899) и «Лекции по небесной механике» (1905–1910). В них он успешно применил результаты своих исследований к задаче о движении трех тел и подробно изучил поведение решений (частоту, устойчивость, асимптотику и т. д.). В число этих работ входила теорема о возврате Пуанкаре , которая утверждает, что некоторые системы через достаточно долгое, но конечное время вернутся в состояние, очень близкое к исходному.

Александр Ляпунов разработал множество важных методов аппроксимации. Его методы, разработанные им в 1899 г., позволяют определять устойчивость систем обыкновенных дифференциальных уравнений. Он создал современную теорию устойчивости динамической системы.

В 1913 году Джордж Дэвид Биркгоф » Пуанкаре доказал « Последнюю геометрическую теорему , частный случай задачи трёх тел , результат, который принес ему мировую известность. В 1927 году он опубликовал свою работу «Динамические системы» . Самым устойчивым результатом Биркгофа стало открытие в 1931 году того, что сейчас называется эргодической теоремой . Объединив идеи физики об эргодической гипотезе с теорией меры , эта теорема решила, по крайней мере в принципе, фундаментальную проблему статистической механики . Эргодическая теорема также имела последствия для динамики.

Стивен Смейл также добился значительных успехов. Его первым вкладом стала подкова Смейла , которая положила начало значительным исследованиям в области динамических систем. Он также рассказал об исследовательской программе, проводимой многими другими.

Александр Николаевич Шарковский разработал теорему Шарковского о периодах дискретных динамических систем в 1964 году. Одним из следствий теоремы является то, что если дискретная динамическая система на действительной прямой имеет периодическую точку периода 3, то она должна иметь периодические точки каждого другой период.

В конце 20-го века взгляд на динамические системы уравнений в частных производных начал набирать популярность. Палестинский инженер-механик Али Х. Найфе применил нелинейную динамику в механических и инженерных системах. [10] Его новаторские работы в области прикладной нелинейной динамики оказали влияние на строительство и обслуживание машин и конструкций , которые используются в повседневной жизни, таких как корабли , краны , мосты , здания , небоскребы , реактивные двигатели , ракетные двигатели , самолеты и космические корабли . [11]

Формальное определение

[ редактировать ]

В самом общем смысле, [12] [13] динамическая система — это набор ( T , X , Φ), где T моноид , записанный аддитивно, X — непустое множество , а Φ — функция

с

(где это вторая карта проекции )

и для любого x в X :

для и , где мы определили множество для любого x в X .

В частности, в случае, когда у нас есть для каждого x в X, что определяет моноидное действие T и, таким образом, Φ на X .

Функция Φ( t , x ) называется функцией эволюции динамической системы: она ставит в соответствие каждой точке x множества X уникальный образ, зависящий от переменной t , называемый параметром эволюции . X называется фазовым пространством или пространством состояний , а переменная x представляет начальное состояние системы.

Мы часто пишем

если мы примем одну из переменных постоянной. Функция

называется потоком через x , а его график называется траекторией через x . Набор

называется орбитой через x .Орбита через x — это образ потока через x .Подмножество S пространства состояний X называется Φ- инвариантным , если для всех x в S и всех t в T

Таким образом, в частности, если S Φ- инвариантно , для x в S. всех То есть поток через x должен быть определен на все времена для каждого S. элемента

Чаще всего существует два класса определений динамической системы: одно основано на обыкновенных дифференциальных уравнениях и имеет геометрический характер; а другой мотивирован эргодической теорией и по своей сути является теоретической мерой .

Геометрическое определение

[ редактировать ]

В геометрическом определении динамическая система — это набор . это область времени – есть много вариантов, обычно действительные или целые числа, возможно, ограниченные неотрицательными числами. является многообразием , т.е. локально банаховым пространством или евклидовым пространством, или в дискретном случае графом . f — правило эволюции t f  т ) такой, что f т является диффеоморфизмом многообразия в себя. Итак, f — «гладкое» отображение временной области. в пространство диффеоморфизмов многообразия на себя. Другими словами, f ( t ) является диффеоморфизмом для каждого времени t в области .

Реальная динамическая система

[ редактировать ]

Реальная динамическая система , динамическая система реального времени , с непрерывным временем динамическая система или поток — это кортеж ( T , M , Φ), где T — многообразие открытый интервал в действительных числах R , M , локально диффеоморфное банаховому пространству , и Φ — непрерывная функция . Если Ф непрерывно дифференцируема, мы говорим, что система является дифференцируемой динамической системой . Если многообразие M локально диффеоморфно R н , динамическая система конечномерна ; в противном случае динамическая система бесконечномерна . Это не предполагает симплектической структуры . Когда T считается действительным, динамическая система называется глобальной или потоковой ; и если T ограничено неотрицательными действительными числами, то динамическая система является полупотоком .

Дискретная динамическая система

[ редактировать ]

Дискретная динамическая система , с дискретным временем динамическая система — это набор ( T , M , Φ), где M многообразие, локально диффеоморфное банаховому пространству , а Φ — функция. Когда T принимается за целые числа, это каскад или карта . Если T ограничено целыми неотрицательными числами, мы называем систему полукаскадом . [14]

Клеточный автомат

[ редактировать ]

Клеточный автомат — это кортеж ( T , M , Φ), где T целых — это решетка чисел или многомерная целочисленная сетка , M — это набор функций из целочисленной решетки (опять же, с одним или несколькими измерениями) до конечное множество, а Φ — (локально определенная) эволюционная функция. Таким образом, клеточные автоматы являются динамическими системами. Решетка в M представляет собой решетку «пространства», а решетка в T представляет решетку «времени».

Многомерное обобщение

[ редактировать ]

Динамические системы обычно определяются по одной независимой переменной, называемой временем. Более общий класс систем определяется по множеству независимых переменных и поэтому называется многомерными системами . Такие системы полезны для моделирования, например, обработки изображений .

Компактификация динамической системы.

[ редактировать ]

Учитывая глобальную динамическую систему ( R , X , Φ ) на локально компактном и хаусдорфовом топологическом пространстве X , часто бывает полезно изучить непрерывное расширение Φ* Φ до одноточечной компактификации X* пространства X . Хотя мы теряем дифференциальную структуру исходной системы, теперь мы можем использовать аргументы компактности для анализа новой системы ( R , X* , Φ*).

В компактных динамических системах предельное множество любой орбиты непусто , компактно и односвязно .

Теоретическое определение меры

[ редактировать ]

Динамическую систему можно формально определить как сохраняющее меру преобразование пространства с мерой , тройку ( T , ( X , Σ, µ ), Φ). Здесь T — моноид (обычно неотрицательные целые числа), X множество , а ( X , Σ, µ ) — вероятностное пространство , что означает, что Σ — сигма-алгебра на X , а µ — конечная мера на X. ( Икс , Σ). Отображение Φ: X X называется Σ-измеримым тогда и только тогда, когда для любого σ из Σ выполнено . Говорят, что отображение Φ сохраняет меру тогда и только тогда, когда для любого σ из Σ выполнено . Объединяя вышесказанное, отображение Φ называется сохраняющим меру преобразованием X , если оно является отображением X в себя, оно Σ-измеримо и сохраняет меру. Тройка ( T , ( X , Σ, µ ), Φ) для такого Φ тогда определяется как динамическая система .

Отображение Φ воплощает временную эволюцию динамической системы. Таким образом, для дискретных динамических систем итерации для каждого целого числа n изучаются. Для непрерывных динамических систем отображение Φ понимается как отображение эволюции за конечное время, и его конструкция усложняется.

Связь с геометрическим определением

[ редактировать ]

Теоретическое определение меры предполагает существование преобразования, сохраняющего меру. С любым правилом эволюции может быть связано множество различных инвариантных мер. Если динамическая система задана системой дифференциальных уравнений, необходимо определить соответствующую меру. Это затрудняет разработку эргодической теории, начиная с дифференциальных уравнений, поэтому становится удобным иметь в эргодической теории определение, мотивированное динамическими системами, которое обходит стороной выбор меры и предполагает, что выбор уже сделан. Простая конструкция (иногда называемая теоремой Крылова–Боголюбова ) показывает, что для большого класса систем всегда можно построить такую ​​меру, чтобы сделать правило эволюции динамической системы преобразованием, сохраняющим меру. При построении заданная мера пространства состояний суммируется для всех будущих точек траектории, обеспечивая инвариантность.

Некоторые системы имеют естественную меру, такую ​​как мера Лиувилля в гамильтоновых системах , выбранную среди других инвариантных мер, таких как меры, поддерживаемые на периодических орбитах гамильтоновой системы. Для хаотических диссипативных систем выбор инвариантной меры технически более сложен. Меру необходимо поддерживать на аттракторе , но аттракторы имеют нулевую меру Лебега , а инвариантные меры должны быть сингулярными относительно меры Лебега. Небольшая область фазового пространства сжимается во времени.

Для гиперболических динамических систем меры Синая–Рюэля–Боуэна кажутся естественным выбором. Они построены на геометрической структуре устойчивых и неустойчивых многообразий динамической системы; они физически ведут себя при малых возмущениях; и они объясняют многие из наблюдаемых статистических данных гиперболических систем.

Построение динамических систем

[ редактировать ]

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

где

  • представляет скорость материальной точки x
  • M — конечномерное многообразие
  • v : T × M TM векторное поле в R н или С н и представляет собой изменение скорости, вызванное известными силами, действующими на данную материальную точку в фазовом пространстве M . Изменение не является вектором в фазовом пространстве M , а находится в касательном пространстве TM .

В уравнении нет необходимости ни в производных более высокого порядка, ни в параметре t в v ( t , x ), поскольку их можно устранить, рассматривая системы более высоких размерностей.

В зависимости от свойств этого векторного поля механическая система называется

  • автономный , когда v ( т , x ) = v ( x )
  • однородный , когда v ( t , 0 ) = 0 для всех t

Решение может быть найдено с использованием стандартных методов ОДУ и обозначается как уже введенная выше функция эволюции.

Тогда динамическая система — это ( T , M , Φ).

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

где функционал от множества эволюционных функций к полю комплексных чисел.

Это уравнение полезно при моделировании механических систем со сложными ограничениями.

Многие концепции динамических систем могут быть распространены на бесконечномерные многообразия — те, которые являются локально банаховыми пространствами — и в этом случае дифференциальные уравнения являются уравнениями в частных производных .

Линейные динамические системы

[ редактировать ]

Линейные динамические системы можно решать с точки зрения простых функций и поведения всех классифицированных орбит. В линейной системе фазовое пространство представляет собой N -мерное евклидово пространство, поэтому любая точка фазового пространства может быть представлена ​​вектором с N числами. Анализ линейных систем возможен, поскольку они удовлетворяют принципу суперпозиции : если u ( t ) и w ( t ) удовлетворяют дифференциальному уравнению для векторного поля (но не обязательно начальному условию), то то же самое будет и с u ( t ) + w ( т ).

Для потока векторное поле v( x ) является аффинной функцией положения в фазовом пространстве, т.е.

где A — матрица, b — вектор чисел, а x — вектор положения. Решение этой системы можно найти, используя принцип суперпозиции (линейности).Случай b ≠ 0 с A = 0 представляет собой просто прямую линию в направлении b :

Когда b равно нулю и A ≠ 0, начало координат является равновесной (или особой) точкой потока, т. е. если x 0 = 0, то орбита остается там.Для других начальных условий уравнение движения задается экспонентой матрицы : для начальной точки x 0 ,

Когда b = 0, определяют структуру собственные значения A фазового пространства. По собственным значениям и собственным векторам можно A определить, будет ли начальная точка сходиться или расходиться к точке равновесия в начале координат.

Расстояние между двумя различными начальными условиями в случае A ≠ 0 в большинстве случаев будет меняться экспоненциально, либо экспоненциально быстро сходясь к точке, либо экспоненциально быстро расходясь. В случае дивергенции линейные системы демонстрируют чувствительную зависимость от начальных условий. Для нелинейных систем это одно из (необходимых, но не достаточных) условий хаотического поведения .

Линейные векторные поля и несколько траекторий.

дискретным временем динамическая система с Аффинная имеет форму матричного разностного уравнения :

где A — матрица, а b — вектор. Как и в непрерывном случае, замена координат x x + (1 − A )  –1 b удаляет член b из уравнения. В новой системе координат начало координат — фиксированная точка карты, а решения — линейная система A.  н х 0 .Решениями для карты больше не являются кривые, а точки, прыгающие в фазовом пространстве. Орбиты организованы в виде кривых или волокон, которые представляют собой наборы точек, которые преобразуются сами в себя под действием карты.

Как и в непрерывном случае, собственные значения и собственные векторы A определяют структуру фазового пространства. Например, если u 1 является собственным вектором A с вещественным собственным значением меньше единицы, то прямые линии, заданные точками вдоль α   u 1 , с α R , являются инвариантной кривой отображения. Точки этой прямой линии сходятся в фиксированную точку.

Существует также множество других дискретных динамических систем .

Локальная динамика

[ редактировать ]

Качественные свойства динамических систем не изменяются при плавном изменении координат (иногда это принимают за определение качественных): особая точка векторного поля (точка, где v ( x ) = 0) останется особой точкой при плавных преобразованиях; периодическая орбита представляет собой петлю в фазовом пространстве, и плавные деформации фазового пространства не могут изменить ее статус петли. Именно в окрестности особых точек и периодических орбит можно хорошо понять структуру фазового пространства динамической системы. При качественном исследовании динамических систем подход заключается в том, чтобы показать, что происходит изменение координат (обычно неуказанное, но вычислимое), которое делает динамическую систему максимально простой.

Исправление

[ редактировать ]

Течение в большинстве небольших участков фазового пространства можно сделать очень простым. Если y — это точка, где векторное поле v ( y ) ≠ 0, то происходит изменение координат области вокруг y , где векторное поле становится серией параллельных векторов одной и той же величины. Это известно как теорема о выпрямлении.

Теорема о выпрямлении гласит, что вдали от особых точек динамика точки на небольшом участке представляет собой прямую линию. Иногда патч можно увеличить, сшивая несколько патчей вместе, и когда это получается во всем фазовом пространстве M, динамическая система становится интегрируемой . В большинстве случаев патч не может быть распространен на все фазовое пространство. В векторном поле могут быть особые точки (где v ( x ) = 0); или пятна могут становиться все меньше и меньше по мере приближения к какой-то точке. Более тонкая причина — глобальное ограничение, при котором траектория начинается с одного участка и после посещения ряда других участков возвращается к исходному. Если в следующий раз орбита обойдет фазовое пространство по-другому, то выпрямить векторное поле во всей серии патчей будет невозможно.

Близкие периодические орбиты

[ редактировать ]

Вообще говоря, в окрестности периодической орбиты теорему о выпрямлении применить нельзя. Пуанкаре разработал подход, который превращает анализ вблизи периодической орбиты в анализ карты. Выберите точку x 0 на орбите γ и рассмотрите точки фазового пространства в этой окрестности, перпендикулярные v ( x 0 ). Эти точки представляют собой сечение Пуанкаре S ( γ , x 0 ) орбиты. Теперь поток определяет карту Пуанкаре F : S S для точек, начинающихся в и возвращающихся в S. S Не всем этим точкам потребуется одинаковое количество времени, чтобы вернуться, но время будет близко к времени, которое требуется x 0 .

Пересечение периодической орбиты с сечением Пуанкаре является неподвижной точкой отображения Пуанкаре F . Путем перевода можно предположить, что точка находится в точке x = 0. Ряд Тейлора карты равен F ( x ) = J · x + O( x 2 изменение координат h ), поэтому можно ожидать, что приведет только к упрощению F до его линейной части

Это известно как уравнение сопряжения. Поиск условий выполнения этого уравнения был одной из основных задач исследования динамических систем. Пуанкаре впервые подошел к этому, предположив, что все функции аналитичны, и в процессе обнаружил нерезонансное условие. Если λ 1 , ..., λ ν являются собственными значениями J , они будут резонансными, если одно собственное значение представляет собой целочисленную линейную комбинацию двух или более других. Поскольку члены формы λ i – Σ (кратные другим собственным значениям) встречаются в знаменателе членов функции h , нерезонансное условие также известно как проблема малого делителя.

Результаты конъюгации

[ редактировать ]

Результаты о существовании решения уравнения сопряжения зависят от собственных значений J степени гладкости и требуемой от h . Поскольку J не обязательно должен иметь какие-либо особые симметрии, его собственные значения обычно будут комплексными числами. Когда собственные значения J не находятся в единичном круге, динамика вблизи неподвижной точки x 0 F , а когда собственные значения находятся на единичном круге и являются называется гиперболической комплексными, динамика называется эллиптической .

В гиперболическом случае теорема Хартмана–Гробмана дает условия существования непрерывной функции, отображающей окрестность неподвижной точки отображения в линейное отображение J · x . Гиперболический случай также структурно устойчив . Небольшие изменения в векторном поле приведут лишь к небольшим изменениям в карте Пуанкаре, и эти небольшие изменения отразятся на небольших изменениях положения собственных значений J в комплексной плоскости, подразумевая, что карта по-прежнему является гиперболической.

Теорема Колмогорова -Арнольда-Мозера (КАМ) дает поведение вблизи эллиптической точки.

Теория бифуркации

[ редактировать ]

Когда карта эволюции Φ т (или векторное поле, из которого оно получено) зависит от параметра μ, структура фазового пространства также будет зависеть от этого параметра. Небольшие изменения могут не привести к качественным изменениям в фазовом пространстве до тех пор, пока не будет достигнуто особое значение µ 0 . В этот момент фазовое пространство качественно меняется, и говорят, что динамическая система претерпела бифуркацию.

Теория бифуркаций рассматривает структуру в фазовом пространстве (обычно фиксированную точку , периодическую орбиту или инвариантный тор ) и изучает ее поведение в зависимости от параметра μ . В точке бифуркации структура может изменить свою устойчивость, распасться на новые структуры или слиться с другими структурами. Используя аппроксимации карт рядами Тейлора и понимание различий, которые могут быть устранены изменением координат, можно каталогизировать бифуркации динамических систем.

Бифуркации гиперболической неподвижной точки x 0 семейства систем F µ можно охарактеризовать собственными значениями первой производной системы DF µ ( x 0 ), вычисленными в точке бифуркации. Для отображения бифуркация произойдет, когда найдутся собственные значения DF μ на единичной окружности . Для потока это произойдет при наличии собственных значений на мнимой оси. Дополнительную информацию можно найти в основной статье по теории бифуркаций .

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

Эргодические системы

[ редактировать ]

Во многих динамических системах можно выбрать координаты системы так, чтобы объем (на самом деле ν-мерный объем) в фазовом пространстве был инвариантным. Это происходит с механическими системами, полученными на основе законов Ньютона, если координатами являются положение и импульс, а объем измеряется в единицах (положение) × (импульс). Поток переводит точки подмножества A в точки Φ  т ( A ) и инвариантность фазового пространства означает, что

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

В гамильтоновой системе не все возможные конфигурации положения и импульса могут быть достигнуты из начальных условий. Из-за сохранения энергии доступны только состояния с той же энергией, что и начальное состояние. Состояния с одинаковой энергией образуют энергетическую оболочку Ω — подмногообразие фазового пространства. Объем энергетической оболочки, рассчитанный с помощью меры Лиувилля, сохраняется при эволюции.

Для систем, в которых объем сохраняется потоком, Пуанкаре открыл теорему о возврате : предположим, что фазовое пространство имеет конечный объем Лиувилля, и пусть F — отображение, сохраняющее объем фазового пространства, а A — подмножество фазового пространства. Тогда почти каждая точка из А возвращается в А бесконечно часто. Теорема о возврате Пуанкаре была использована Цермело, чтобы возразить против вывода Больцмана об увеличении энтропии в динамической системе сталкивающихся атомов.

Одним из вопросов, поднятых в работе Больцмана, было возможное равенство между средними по времени и средними по пространству, то, что он назвал эргодической гипотезой . Гипотеза утверждает, что продолжительность времени, которое типичная траектория проводит в регионе A, равна vol( A )/vol(Ω).

Эргодическая гипотеза оказалась не основным свойством, необходимым для развития статистической механики , и был введен ряд других эргодических свойств, чтобы охватить соответствующие аспекты физических систем. Купман подошел к изучению эргодических систем с помощью функционального анализа . Наблюдаемая a — это функция, которая каждой точке фазового пространства сопоставляет число (скажем, мгновенное давление или среднюю высоту). Значение наблюдаемой можно вычислить в другое время, используя функцию эволюции φ т . Это вводит оператор U  т , оператор трансфера ,

Изучая спектральные свойства линейного оператора U, становится возможным классифицировать эргодические свойства Φ  т . При использовании подхода Купмана к рассмотрению действия потока на наблюдаемую функцию решается конечномерная нелинейная задача, включающая Φ  т преобразуется в бесконечномерную линейную задачу, включающую U .

Мера Лиувилля, ограниченная энергетической поверхностью Ω, является основой для средних значений, вычисляемых в равновесной статистической механике . Среднее значение по времени по траектории эквивалентно среднему значению в пространстве, вычисленному с помощью фактора Больцмана exp(−β H ) . Эта идея была обобщена Синаем, Боуэном и Рюэлем (SRB) на более широкий класс динамических систем, включающий диссипативные системы. Меры SRB заменяют фактор Больцмана и определяются на аттракторах хаотических систем.

Нелинейные динамические системы и хаос

[ редактировать ]

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

Этот раздел математики занимается долгосрочным качественным поведением динамических систем. Здесь основное внимание уделяется не поиску точных решений уравнений, определяющих динамическую систему (что часто безнадежно), а, скорее, ответам на такие вопросы, как «Установится ли система в устойчивое состояние в долгосрочной перспективе, и если да, то что?» возможные аттракторы ?» или «Зависит ли долгосрочное поведение системы от ее начального состояния?»

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

Решения конечной длительности.

[ редактировать ]

Для нелинейных автономных ОДУ при некоторых условиях возможно разработать решения конечной длительности: [15] Здесь это означает, что в силу своей собственной динамики система достигнет нулевого значения в конечный момент времени и после этого останется в этом нулевом значении навсегда. Эти решения конечной длительности не могут быть аналитическими функциями на всей вещественной прямой, и поскольку они не являются липшицевыми функциями в момент окончания, они не являются уникальными решениями дифференциальных уравнений Липшица.

Например, уравнение:

Допускает решение конечной длительности:

См. также

[ редактировать ]
  1. ^ Строгац, С.Х. (2001). Нелинейная динамика и хаос: с приложениями к физике, биологии и химии . Персей.
  2. ^ Каток, А.; Хассельблатт, Б. (1995). Введение в современную теорию динамических систем . Кембридж: Издательство Кембриджского университета. ISBN  978-0-521-34187-5 .
  3. ^ "Природа" . Спрингер Природа . Проверено 17 февраля 2017 г. .
  4. ^ Мелби, П.; и др. (2005). «Динамика саморегулирующихся систем с шумом». Хаос: междисциплинарный журнал нелинейной науки . 15 (3): 033902. Бибкод : 2005Хаос..15c3902M . дои : 10.1063/1.1953147 . ПМИД   16252993 .
  5. ^ Гинтаутас, В.; и др. (2008). «Резонансное воздействие избранных степеней свободы динамики многомерной хаотической карты». Дж. Стат. Физ . 130 (3): 617. arXiv : 0705.0311 . Бибкод : 2008JSP...130..617G . дои : 10.1007/s10955-007-9444-4 . S2CID   8677631 .
  6. ^ Джексон, Т.; Радунская, А. (2015). Применение динамических систем в биологии и медицине . Спрингер.
  7. ^ Крейциг, Эрвин (2011). Высшая инженерная математика . Хобокен: Уайли. ISBN  978-0-470-64613-7 .
  8. ^ Гандольфо, Джанкарло (2009) [1971]. Экономическая динамика: методы и модели (Четвертое изд.). Берлин: Шпрингер. ISBN  978-3-642-13503-3 .
  9. ^ Холмс, Филип. «Пуанкаре, небесная механика, теория динамических систем и «хаос».» Physics Reports 193.3 (1990): 137–163.
  10. ^ Рега, Джузеппе (2019). «Дань Али Х. Найфе (1933–2017)». Симпозиум IUTAM по использованию нелинейной динамики в инженерных системах . Спрингер . стр. 1–2. ISBN  9783030236922 .
  11. ^ «Али Хасан Найфе» . Награды Института Франклина . Институт Франклина . 4 февраля 2014 года . Проверено 25 августа 2019 г.
  12. ^ Джунти М. и Маццола К. (2012), « Динамические системы на моноидах: к общей теории детерминированных систем и движения ». В Минати Г., Абрам М., Песса Э. (ред.), Методы, модели, моделирование и подходы к общей теории изменений , стр. 173–185, Сингапур: World Scientific. ISBN   978-981-4383-32-5
  13. ^ Маццола К. и Джунти М. (2012), « Обратимая динамика и направленность времени ». В Минати Г., Абрам М., Песса Э. (ред.), Методы, модели, моделирование и подходы к общей теории изменений , стр. 161–171, Сингапур: World Scientific. ISBN   978-981-4383-32-5 .
  14. ^ Галор, Одед (2010). Дискретные динамические системы . Спрингер.
  15. ^ Вардиа Т. Хаймо (1985). «Дифференциальные уравнения в конечном времени» . 1985 24-я конференция IEEE по принятию решений и управлению . стр. 1729–1733. дои : 10.1109/CDC.1985.268832 . S2CID   45426376 .
  • Арнольд, Владимир И. (2006). «Основные понятия». Обыкновенные дифференциальные уравнения . Берлин: Springer Verlag. ISBN  3-540-34563-9 .
  • Чуешов И.Д. Введение в теорию бесконечномерных диссипативных систем . онлайн-версия первого издания на сайте ЭМИС [1] .
  • Темам, Роджер (1997) [1988]. Бесконечномерные динамические системы в механике и физике . Спрингер Верлаг.

Дальнейшее чтение

[ редактировать ]

Работы, обеспечивающие широкий охват:

Вводные тексты с уникальной точки зрения:

Учебники

Популяризации:

[ редактировать ]
Онлайн-книги или конспекты лекций
Исследовательские группы
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: bf83b4fd7bbe574a0130f5cade2a901c__1717876500
URL1:https://arc.ask3.ru/arc/aa/bf/1c/bf83b4fd7bbe574a0130f5cade2a901c.html
Заголовок, (Title) документа по адресу, URL1:
Dynamical system - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)