Динамическая система (определение)

редактировать
Определения динамических систем

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

Содержание

  • 1 Формальное определение
  • 2 Общее определение
  • 3 Геометрические случаи
    • 3.1 Реальная динамическая система
    • 3.2 Дискретная динамическая система
    • 3.3 Клеточный автомат
  • 4 Теоретическое определение измерения
    • 4.1 Связь с геометрическим определением
  • 5 Построение динамических систем
  • 6 Компактификация динамической системы
  • 7 Ссылки

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

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

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

Общее определение

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

Φ: U ⊆ (T × M) → M {\ displaystyle \ Phi : U \ substeq (T \ times M) \ to M}{\ displaystyle \ Phi: U \ substeq (T \ times M) \ to M}

с

proj 2 (U) = M {\ displaystyle \ mathrm {proj} _ {2} (U) = M}{\ displaystyle \ mathrm {proj} _ {2} (U) = M} (где proj 2 {\ displaystyle \ mathrm {proj} _ {2}}{\ displaystyle \ mathrm {proj} _ {2}} - это вторая карта проекции )
I (x) = {t ∈ T: ( t, x) ∈ U} {\ displaystyle I (x) = \ {t \ in T: (t, x) \ in U \}}{\ displaystyle I (x) = \ {t \ in T: (т, х) \ в U \}}
Φ (0, x) = x {\ displaystyle \ Phi ( 0, x) знак равно x}{\ Displaystyle \ Phi (0, x) = x}
Φ (t 2, Φ (t 1, x)) = Φ (t 2 + t 1, x), {\ displaystyle \ Phi (t_ {2}, \ Phi (t_ {1}, x)) = \ Phi (t_ {2} + t_ {1}, x),}{\ Displaystyle \ Phi (t_ {2}, \ Phi (t_ {1}, x)) = \ Phi (t_ {2} + t_ {1}, x), } для t 1, t 2 + t 1 ∈ I (x) {\ displaystyle \, t_ {1}, \, t_ {2} + t_ {1} \ in I (x)}{\ displaystyle \, t_ {1}, \, t_ {2} + t_ {1} \ in I (x)} и t 2 ∈ I (Φ (t 1, x)) { \ displaystyle \ t_ {2} \ in I (\ Phi (t_ {1}, x))}{\ displaystyle \ t_ {2} \ in I (\ Phi (t_ {1}, x))}

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

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

Φ x (t) ≡ Φ (t, x) {\ displaystyle \ Phi _ {x} (t) \ Equiv \ Phi (t, x)}{\ displaystyle \ Phi _ {x} (t) \ Equiv \ Phi (t, x)}
Φ t (x) ≡ Φ (t, x) {\ displaystyle \ Phi ^ {t} (x) \ Equiv \ Phi (t, x)}{\ displaystyle \ Phi ^ {t} (x) \ Equiv \ Phi (t, x)}

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

Φ x: I (x) → M {\ displaystyle \ Phi _ {x}: I (x) \ to M}\ Phi _ {x}: I (x) \ to M

называется потоком через x и его график . траектория через x. Множество

γ x ≡ {Φ (t, x): t ∈ I (x)} {\ displaystyle \ gamma _ {x} \ Equiv \ {\ Phi (t, x): t \ in I (x) \}}{\ displaystyle \ gamma _ {x} \ Equiv \ {\ Phi (t, x): t \ in I (x) \}}

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

Φ (t, x) ∈ S. {\ displaystyle \ Phi (t, x) \ in S.}\ Phi (t, x) \ в S.

Таким образом, в частности, если S является инвариантом Φ-, I (x) = T {\ displaystyle I ( x) = T}{\ displaystyle I (x) = T} для всех x в S. То есть, поток через x должен быть определен на все время для каждого элемента S.

Геометрические случаи

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

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

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

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

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

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

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

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

Формально динамическая система может быть определена как сохраняющее меру преобразование сигма-алгебры, триплета (T, (X, Σ, μ), Φ) Здесь T - моноид (обычно неотрицательные целые числа), X - множество, а (X, Σ, μ) - вероятностное пространство. Отображение Φ: X → X называется Σ-измеримым тогда и только тогда, когда для любого σ из Σ выполняется Φ (σ) ∈ Σ. Говорят, что отображение Φ сохраняет меру тогда и только тогда, когда для каждого σ из Σ выполняется μ (Φ (σ)) = μ (σ). Комбинируя вышесказанное, отображение Φ называется сохраняющим меру преобразованием X, если это отображение из X в себя, оно Σ-измеримо и сохраняет меру. Тройка (T, (X, Σ, μ), Φ) для такого Φ затем определяется как динамическая система .

Отображение Φ воплощает эволюцию динамической системы во времени. Таким образом, для дискретных динамических систем повторяет ϕ n = ϕ ∘ ϕ ∘… ∘ ϕ {\ displaystyle \ scriptstyle \ phi ^ {n} = \ phi \ circ \ phi \ circ \ ldots \ circ \ phi}\ scriptstyle \ phi ^ {n} = \ phi \ circ \ phi \ circ \ ldots \ circ \ phi для каждого целого n. Для непрерывных динамических систем отображение Φ понимается как отображение эволюции за конечное время, и конструкция более сложна.

Отношение к геометрическому определению

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

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

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

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

x ˙ = v (t, x) {\ displaystyle {\ dot {\ boldsymbol {x}}} = {\ boldsymbol {v}} (t, {\ boldsymbol {x}})}{\ dot {{\ boldsymbol {x}}}} = {\ boldsymbol {v}} (t, { \ boldsymbol {x}})
x | t = 0 знак равно Икс 0 {\ Displaystyle {\ boldsymbol {x}} | _ {t = 0} = {\ boldsymbol {x}} _ {0}}{\ boldsymbol {x}} | _ {{{t = 0}}} = {\ boldsymbol {x}} _ {0}

где

  • х ˙ {\ Displaystyle \ scriptstyle {\ dot {\ boldsymbol {x}}}}\ scriptstyle {{\ dot {{\ boldsymbol {x}}}}} представляет скорость материальной точки x
  • v: T × M → M - векторное поле в R или C и представляет собой изменение скорости, вызванное известными силами, действующими на данную материальную точку. В зависимости от свойств этого векторного поля механическая система называется
    • автономной, когда v (t, x ) = v(x)
    • однородной, когда v (t, 0 ) = 0 для всех t

Решением является функция эволюции, уже введенная выше в

x (t) = Φ (t, x 0) {\ displaystyle {\ boldsymbol {x}} (t) = \ Phi (t, {\ boldsymbol {x}} _ {0})}{\ boldsymbol {{x}}} (t) = \ Phi (t, {\ boldsymbol {{x}}} _ {0})

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

x ˙ - v (t, x) = 0 ⇔ G (t, Φ (t, x 0)) = 0 {\ displaystyle {\ dot {\ boldsymbol {x}}} - {\ boldsymbol {v}} (t, {\ boldsymbol {x}}) = 0 \ qquad \ Leftrightarrow \ qquad {\ mathfrak {G}} \ left (t, \ Phi ( t, {\ boldsymbol {x}} _ {0}) \ right) = 0}{\ dot {{\ boldsymbol {x}} }} - {\ boldsymbol {v}} (t, {\ boldsymbol {x}}) = 0 \ qquad \ Leftrightarrow \ qquad {\ mathfrak {{G}}} \ left (t, \ Phi (t, {\ boldsymbol {{x}}} _ {0}) \ right) = 0

где G: (T × M) M → C {\ displaystyle {\ mathfrak {G}}: {{ (T \ times M)} ^ {M}} \ to \ mathbf {C}}{\ displaystyl е {\ mathfrak {G}}: {{(T \ times M)} ^ {M}} \ to \ mathbf {C}} - это функционал из набора функций эволюции в поле комплексных чисел.

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

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

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

Ссылки

  • Арнольд, Владимир I. (2006). «Основные понятия». Обыкновенные дифференциальные уравнения. Берлин: Springer Verlag. ISBN 3-540-34563-9.
  • Чуешов И.Д. Введение в теорию бесконечномерных диссипативных систем. онлайн-версия первого издания на сайте EMIS [1].
  • Темам, Роджер (1997) [1988]. Бесконечномерные динамические системы в механике и физике. Springer Verlag.
Последняя правка сделана 2021-05-18 07:28:17
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте