Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники:«Метод усреднения» – Новости·газеты·книги·ученый·JSTOR(Декабрь 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения)
В математика, более конкретно в динамические системы, то метод усреднения (также называемая теорией усреднения) использует системы, содержащие разделение шкал времени: быстрое колебаниепротив а медленный дрейф. Это предполагает, что мы выполняем усреднение за заданный промежуток времени, чтобы сгладить быстрые колебания и наблюдать качественное поведение по результирующей динамике. Приближенное решение сохраняется при конечном времени, обратно пропорциональном параметру, обозначающему медленный масштаб времени. Оказывается, это обычная проблема, когда существует компромисс между тем, насколько хорошо приближенное решение уравновешено тем, сколько времени оно остается близким к исходному решению.
Точнее, система имеет следующий вид
переменной фазового пространства В быстрое колебание дан кем-то против а медленный дрейф из . Метод усреднения дает автономную динамическую систему
который аппроксимирует кривые решения внутри связной и компактной области фазового пространства и со временем .
При применимости этого метода усреднения асимптотическое поведение исходной системы фиксируется динамическим уравнением для . Таким образом, качественные методы для автономных динамических систем могут быть использованы для анализа равновесие и более сложные конструкции, такие как медленный коллектор и инвариантные многообразия, а также их стабильность в фазовом пространстве усредненной системы.
Кроме того, в физическом приложении было бы разумным или естественным заменить математическую модель, которая дается в форме дифференциального уравнения для , с соответствующей усредненной системой , чтобы использовать усредненную систему для составления прогноза, а затем проверить его по результатам физического эксперимента.[1]
Метод усреднения имеет долгую историю, глубоко уходящую корнями в возмущение проблемы, возникшие в небесная механика (см., например, в [2]).
Цель метода усреднения - рассказать нам о качественном поведении векторного поля, когда мы усредняем его за период времени. Это гарантирует, что решение приблизительно на время В исключительных случаях: в этом примере приближение даже лучше, оно действительно для всех времен. Мы представляем это в разделе ниже.
Определения
Предположим, что векторное полебыть из класс дифференцируемости с (или даже мы будем говорить только гладкие), которые мы обозначим . Мы расширяем это зависящее от времени векторное поле по Тейлору (в порядке ) с остатком. Введем следующие обозначения:[2]
куда это -я производная с . Поскольку мы занимаемся проблемами усреднения, в общем равен нулю, поэтому оказывается, что нас будут интересовать векторные поля, заданные
Кроме того, мы определяем следующую задачу начального значения как находящуюся в стандартная форма:[2]
Теорема: усреднение в периодическом случае
Считайте для каждого связаны и ограничены, и каждый существуют и такая, что исходная система (неавтономная динамическая система) задана
есть решение , куда является периодический с периодом и как с ограничен на ограниченных множествах. Тогда существует постоянная так что решение из усредненныйсистема (автономная динамическая система)
является
за и .
Замечания
Есть два приближения в том, что называется первое приближение оценка: приведение к среднему векторного поля и пренебрежение термины.
Равномерность по начальному условию : если мы меняемся это влияет на оценку и . Доказательство и обсуждение этого можно найти в книге Дж. Мердока.[3]
Снижение регулярности: существует более общая форма этой теоремы, которая требует только быть Липшиц и непрерывный. Это более новое доказательство, которое можно увидеть у Сандерса. и другие..[2] Приведенная здесь формулировка теоремы основана на схеме доказательства, предложенной Крылов-Боголюбов который основан на введении почти тождественного преобразования. Преимущество этого метода - расширение до более общих параметров, таких как бесконечномерные системы - уравнения в частных производных или дифференциальные уравнения с запаздыванием.
Дж. Хейл представляет обобщение почти периодических векторных полей.[4]
Стратегия доказательства
Крылов-Боголюбов понял, что медленная динамика системы определяет ведущий порядок асимптотического решения.
Чтобы доказать это, они предложили преобразование, близкое к тождественному, что оказалось сменой координат с собственной шкалой времени, переводящей исходную систему в усредненную.
Набросок доказательства
Определение преобразования, близкого к тождественному: гладкое отображение куда считается достаточно регулярным и периодический. Предлагаемое изменение координат дается выражением .
Выберите подходящий решение гомологическое уравнение теории усреднения: .
Изменение координат переводит исходную систему в
Оценка ошибки из-за усечения и сравнения с исходной переменной.
Неавтономный класс систем: еще примеры
На протяжении истории техники усреднения существует класс систем, которые широко изучены, и они дают нам содержательные примеры, которые мы обсудим ниже. Класс системы определяется:
куда гладко. Эта система похожа на линейную систему с малым нелинейным возмущением, задаваемым формулой :
отличная от стандартной формы. Следовательно, есть необходимость выполнить преобразование, чтобы оно было явным образом преобразовано в стандартную форму.[2] Мы можем изменить координаты, используя вариация констант метод. Смотрим на невозмущенную систему, т.е. , данный
который имеет фундаментальное решениесоответствующий вращению. Тогда зависящее от времени изменение координат равно куда - координаты, соответствующие стандартной форме.
Если мы возьмем производную по времени в обе стороны и обратим фундаментальную матрицу, получим
Замечания
То же самое можно сделать с линейными частями, зависящими от времени. Хотя фундаментальное решение может быть нетривиальным явным образом записать, процедура аналогична. См Сандерс и другие.[2] для получения дополнительной информации.
Если собственные значения не все чисто мнимые, это называется условие гиперболичности. В этом случае уравнение возмущения может вызвать серьезные проблемы, даже если ограничена, так как решение растет экспоненциально быстро.[2] Однако качественно мы можем знать асимптотическое решение, например Хартман-Гробман результаты и многое другое.[1]
Иногда, чтобы получить стандартные формы, с которыми легче работать, мы можем выбрать вращающийся набор координат системы отсчета - полярные координаты - задаваемые определяющее начальное условие также и определяет систему:
Если мы усредняем его, пока исключается окрестность начала координат (поскольку полярные координаты не работают), дает:
где усредненная система
Пример: вводящие в заблуждение результаты усреднения
Рисунок 2: Простой гармонический осциллятор с малым периодическим демпфирующим членом .Численное моделирование исходного уравнения (синяя сплошная линия) сравнивается с системой усреднения (оранжевая пунктирная линия) и грубой усредненной системой (зеленая пунктирная линия). Левый график отображает решение, эволюционировавшее во времени, а правый график представляет собой фазовое пространство. Отметим, что грубое усреднение не соответствует ожидаемому решению.
Метод содержит некоторые предположения и ограничения. Эти ограничения играют важную роль, когда мы усредняем исходное уравнение, не имеющее стандартной формы, и можем обсудить контрпример к нему. Следующий пример, чтобы предотвратить это поспешное усреднение:[2]
куда мы положили следуя предыдущим обозначениям.
Эта система соответствует затухающий гармонический осциллятор где демпфирующий член колеблется между и . Усредняя член трения за один цикл дает уравнение:
Решение
скорость сходимости к началу координат равна . Усредненная система, полученная из стандартной формы, дает:
что в прямоугольной координате явно показывает, что действительно скорость сходимости к началу координат равна в отличие от предыдущей системы усреднения сырой нефти:
Пример: уравнение Ван дер Поля
Рисунок 3: Фазовое пространство генератора Ван дер Поля с . Устойчивый предельный цикл (оранжевая сплошная линия) в системе правильно зафиксирован качественным анализом усредненной системы. Для двух различных начальных условий (черные точки) мы наблюдаем траектории (пунктирная синяя линия), сходящиеся к периодической орбите.
Ван дер Поль занимался получением приближенного решения для уравнений типа
куда следуя предыдущим обозначениям. Эта система называется Генератор Ван дер Поля. Если мы применим периодическое усреднение к этому нелинейному осциллятору, это даст нам качественное знание фазового пространства без явного решения системы.
Усредненная система
и мы можем проанализировать неподвижные точки и их устойчивость. В начале координат имеется неустойчивая неподвижная точка и устойчивый предельный цикл, представленный .
Существование такого устойчивого предельного цикла можно сформулировать в виде теоремы.
Теорема (существование периодической орбиты)[5]: Если является гиперболической неподвижной точкой
Тогда существует такое, что для всех ,
имеет единственную гиперболическую периодическую орбиту того же типа устойчивости, что и .
Доказательство можно найти у Гукенхаймера и Холмса,[5] Сандерс и другие.[2] и для углового корпуса в Chicone.[1]
Пример: ограничение временного интервала
Рисунок 4: На графике изображены две фундаментальные величины, на которых основан метод среднего: ограниченная и связная область фазового пространства и как долго (определяется константой ) усредненное решение справедливо. В этом случае . Обратите внимание, что оба решения взорвутся за конечное время. Следовательно, был выбран соответственно, чтобы сохранить ограниченность решения, а временной интервал применимости приближения составляет .
Теорема о среднем предполагает существование связной и ограниченной области что влияет на временной интервал достоверности результата. Следующий пример указывает на это. Рассмотрим
куда . Усредненная система состоит из
что при этом начальном условии указывает, что исходное решение ведет себя как
где он выполняется в ограниченной области над .
Затухающий маятник
Рассмотрим затухающий маятник чья точка подвеса колеблется вертикально из-за малой амплитуды высокочастотного сигнала (обычно это известно как дизеринг ). Уравнение движения такого маятника имеет вид
куда описывает движение точки подвеса, описывает затухание маятника, а - угол между маятником и вертикалью.
где мы ввели переменную и записал систему как автономный, система первого порядка в -Космос.
Предположим, что угловая частота вертикальных колебаний, , намного больше собственной частоты маятника, . Предположим также, что амплитуда вертикальных колебаний, , намного меньше длины маятника. Траектория маятника в фазовом пространстве будет определять спираль по кривой , двигаясь вперед в медленном темпе но двигаясь вокруг него с большой скоростью . Радиус спирали вокруг будет маленьким и пропорциональным . Среднее поведение траектории в масштабе времени, намного превышающем , будет следовать кривой .
Оценки ошибок расширения
Методика усреднения для задач начального значения до сих пор обрабатывалась с оценками ошибок достоверности порядка . Однако есть обстоятельства, при которых оценки могут быть продлены на большее время, даже на все времена.[2] Ниже мы имеем дело с системой, содержащей асимптотически устойчивую неподвижную точку. Такая ситуация повторяет то, что показано на рисунке 1.
Теорема (Экхаус[6]/ Санчес-Паленсия[7]) Рассмотрим задачу начального значения
Предполагать
существует и содержит асимптотически устойчивую неподвижную точку в линейном приближении. Более того, непрерывно дифференцируемо по в и имеет область притяжения . Для любого компактного существует такое, что для всех