Метод прямой множественной съемки - Direct multiple shooting method

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

Методы одиночной съемки

Методы стрельбы могут использоваться для решения краевых задач (BVP), таких как

в какие моменты времени та и тб известны и мы ищем

Методы одиночной съемки действуют следующим образом. Позволять у(т; т0, у0) обозначают решение начальной задачи (IVP)

Определите функцию F(п) как разница между у(тб; п) и заданное граничное значение уб: F(п) = у(тб; п) − уб. Тогда для каждого решения (уа, уб) краевой задачи имеем уа=у0 пока уб соответствует корень из F. Этот корень можно решить любым метод поиска корней при условии выполнения определенных зависящих от метода предпосылок. Это часто требует первоначальных предположений, чтобы уа и уб. Как правило, аналитический поиск корня невозможен, и итерационные методы, такие как Метод Ньютона используются для этой задачи.

Применение одиночной съемки для численного решения краевых задач имеет несколько недостатков.

  • Для данного начального значения у0 очевидно, что решение IVP должно существовать на интервале [та,тб], чтобы мы могли оценить функцию F чей корень ищется.

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

  • Числа конечной точности могут вообще сделать невозможным нахождение начальных значений, которые позволяют решить ОДУ на всем интервале времени.
  • Нелинейность ОДУ фактически превращается в нелинейность F, и требует методики поиска корней, способной решать нелинейные системы. Такие методы обычно сходятся медленнее по мере того, как нелинейности становятся более серьезными. От этого страдает производительность решателя краевых задач.
  • Даже стабильные и хорошо обусловленные ODE могут быть причиной нестабильных и плохо обусловленных BVP. Небольшое изменение предположения начального значения у0 может привести к очень большому шагу в решении ODE у(тб; та, у0), а значит, и в значениях функции F чей корень ищется. Неаналитические методы поиска корней редко могут справиться с таким поведением.

Многократная стрельба

Метод прямой множественной съемки разделяет интервал [та, тб] путем введения дополнительных точек сетки

.

Метод начинается с того, что каким-то образом угадывает значения у во всех точках сетки тk с 0 ≤ kN - 1. Обозначим эти догадки через уk. Позволять у(т; тk, уk) обозначают решение, исходящее из k-я точка сетки, то есть решение начальной задачи

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

Центральный N−2 уравнения являются условиями согласования, а первое и последнее уравнения являются условиями у(та) = уа и у(тб) = уб из краевой задачи. Метод множественной стрельбы решает краевую задачу путем решения этой системы уравнений. Обычно модификация Метод Ньютона используется для последней задачи.

Множественная съемка и методы параллельности во времени

Для получения параллельно решатели для проблемы начального значения.[1]Например, Парареальный Метод параллельного во времени интегрирования может быть получен как алгоритм множественной съемки со специальной аппроксимацией Якобиан.[2]

Рекомендации

  1. ^ Киль, Мартин (1994). «Параллельная многократная съемка для решения начальных задач». Параллельные вычисления. 20 (3): 275–295. Дои:10.1016 / S0167-8191 (06) 80013-X.
  2. ^ Гандер, Мартин Дж .; Вандевалле, Стефан (2007). «Анализ Парареального метода интеграции времени с параллельным временем». Журнал SIAM по научным вычислениям. 29 (2): 556–578. CiteSeerX  10.1.1.92.9922. Дои:10.1137 / 05064607X.