Очень не многие СДУ имеют аналитические решения. В основном это - линейные СДУ с аддитивным или мультипликативным шумом или нелинейные СДУ, сводимые к линейным [1]. В связи с этим возникает практическая необходимость создания численных методов решения СДУ.

В настоящее время существует несколько подходов создания численных схем решения стохастических дифференциальных уравнений. Одной из возможностей является адаптация существующих для ОДУ схем с учетом свойств стохастических интегралов [2], другой - разработка специальных методов решения СДУ [3]. Большинство исследователей использует первый подход, поскольку теория численного решения ОДУ хорошо разработана и достаточно легко можно провести аналогии между ОДУ и СДУ.

Самым простым методом аппроксимации численного решения СДУ (с вычислительной точки зрения) является метод Эйлера, разработанный Маруямой в 1955г [4]. Эта схема удовлетворяет многим необходимым свойствам, предъявляемым к численным методам (она имеет порядок сходимости 0.5), но в тоже время обладает рядом ограничений (не всегда устойчива, ошибка аппроксимации достаточно высока и т.п.). Для устранения этих недостатков, а также повышения порядка сходимости численных схем решения СДУ были проведены и до сих пор ведутся исследования, направления которых можно представить в виде схемы (см. рис.1).

стохастическое дифференциальное уравнение жесткая система

Рис. 1. Направления создания численных методов решения СДУ

По аналогии с разработкой схем численного решения ОДУ для повышения порядка сходимости, точности аппроксимации и устойчивости можно использовать разложение в точке аппроксимации, т.е. использования производных различных порядков как переменной, так и коэффициентов дрейфа и диффузии. В литературе этот подход получил название метода Тейлора [5]. Однако, минусом схем Тейлора является то, что на каждом шаге аппроксимации требуется вычислять кратные стохастические интегралы, связанные с вышеуказанными производными. Для того, чтобы избежать вычислительные трудности можно использовать многократное деление шага аппроксимации (методы Рунге-Кутта [6]) или результаты аппроксимации предыдущих шагов (многошаговые методы [7]).

Напомним, что разработка численной схемы или алгоритма решения связана не только с математическими аспектами, а также с физической природой объекта исследования и программной реализацией (рис.1 и рис.2).

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

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

Анализ современной литературы показал, что создание численных методов решения жестких систем в большинстве случаев основано на идеях, представленных Хайрером и Ванером [8]. В своей работе они постулировали, что жесткие системы не могут быть решены явными методами, и представили подходы, основанные только на использовании неявных методов. Однако, следует отметить, что непосредственное применение этих методов всегда связано с крайне сложной процедурой определения параметров схемы, основанной на заранее выделенной области устойчивости только для рассматриваемой системы. Это обстоятельство делает предложенные подходы не приемлемыми для большинства вышеуказанных приложений, но позволяет выделить два важных математических свойства жесткости. Во-первых, все жесткие системы обладают очень широким спектром (или присутствием очень разных экспонент Ляпунова). Во-вторых, согласно теоремы единственности и существования решения, для жестких систем характерны большие значения константы Липшица.

Итак, анализ принципов создания численных схем решения систем СДУ, особенно для некорректных задач, показал необходимость поиска новых метод решения. Однако, прежде чем начать разработку собственного метода решения жесткой задачи, следует исследовать свойства уже существующих методов и проанализировать их реакцию при наличии жесткости. Поэтому, поскольку существует достаточно большая группа, основанная на разложениях Тейлора, следует пояснить такие понятия как разложение стохастического интеграла уравнения (1.15), а также методы численной аппроксимации этих интегралов.

2. Разработка явного сильного метода - преобразования для решения жестких систем

Рассмотрим следующую систему

(1)

где , и . Пусть параметры заданы как , , . Для получения решения системы применим стандартную явную схему Рунге-Кутта. Результаты представлены на рис.2.

а) фазовый портрет

б)

в)

Рис.2. Численное решение системы (1)

Как можно заметить, численное решение системы (1) является нестабильным. Для улучшения численного решения используем шкалирование переменной время, вводя новую переменную [9]

, (2) где

,

Преобразуем теперь исходную систему (1), вводя дополнительное уравнение (2)

и решим новую систему еще раз для , и , используя явный метод Рунге-Кутта.

Полученные результаты свидетельствуют о значительной стабилизации результатов (см. рис.3).

Основной результат этого эксперимента можно представить следующим утверждением: пусть для исходной жесткой системы ОДУ

, , , (3)

введено вспомогательное уравнение так, что

(4)

где ,

тогда численное решение системы (4), получаемое любым явным методом, является более стабильным, чем для системы (3).

а) фазовый портрет

б)

в)

Рис. 3. Численное решение системы (1) с применением преобразования

Используем аналогичный подход для улучшения численного решения системы жестких СДУ. Рассмотрим систему, состоящую из СДУ

, , (5)

где - функция дрейфа, - функция диффузии, - приращения некоррелированных процессов Винера.

Введем новую переменную, шкалирующую переменную время

, (6)

и преобразуем систему (5) к виду

(7)

Исследование эффективности предложенного методы было выполнено на следующем примере. В качестве тестовой системы было принято

(8)

с параметрами , , , и .

Численное решение системы было выполнено с применением сильной явной схемы Рунге-Кутта без использования (см. рис.4. а) и с использованием преобразования (см. рис.4. б)

а) без использования преобразования

б) с использованием преобразования

Рис. 4. Фазовый портрет системы

Основной результат можно сформулировать как [10]: пусть для исходной жесткой системы СДУ

, , , (9)

введено вспомогательное уравнение так, что

(10)

где ,

тогда численное решение системы (10), получаемое любым явным методом, является более стабильным, чем для системы (9).

Литература