Полный текст
Введение
Для развития теории космических динамо-систем актуальным направление работ является разработка и исследование малоразмерных динамических систем с памятью, моделирующих на феноменологическом уровне процесс генерации магнитных полей. По сложившейся в теории динамических систем терминологии, модели с памятью называют эредитарными.
Феноменологически эредитарная модель космического динамо может быть представлена в интегро-дифференциальном виде[1, 2]:
(1)
В работе будем использовать компактную форму записи системы (1), которая имеет вид:
(2)
Формально, любая интегро-дифференциальная система может быть в эквивалентном в виде представлена в чистой интегральной системы Вольтерра, но имеющая специфическую структуру[3]. Поэтому использовать общие методы для систем нелинейных систем Вольтерра нецелесообразно, ввиду большой громоздкости расчетов, более разумным является разработка метода исследования изначально адаптированную под изучаемую модель.
Рассмотрим задачу Коши для дифференциального уравнения
Любое такое дифференциальное уравнение может быть записано в эквивалентном в виде
Такая конструкция представляет из себя, как говорилось ранее, частный случай интегрального уравнения Вольтерра [4-6]. В общем виде интегрального уравнения Вольтерра предполагается, что подынтегральная функция зависит не только от но и от . Если функция зависит только от , то можно свести такое интегральное уравнение к дифференциальному уравнению. Если же функция явно зависит не только от , но и от , то вообще говоря, не факт, что можно свести интегральное уравнение к дифференциальному уравнению или системе дифференциальных уравнений.
Рассмотрим на примере нашей систем (2). Перепишем уравнения системы в интегральную форму:
(3)
Численно решить такую систему используя стандартные методы будет достаточно проблематично, из-за того, что численные методы которые используя в математических пакетах являются универсальными и обрабатывают колоссальный объём данных. В связи с этим была решена задача разработка численного метода для решения конкретной задачи вида (1).
Разностные схемы
Для начала в системе (2) введем следующие замены:
И перепишем систему в векторном виде:
(4)
Вводим временную сетку с шагом , ведем расчет для равно отстоящих. Через и обозначаем значения функции в эти самые моменты времени:
Для численного исследования модели необходимо совмещение разностных схем для дифференциальной части и квадратурной формы для интегральной части.
В качестве разностной схемы для дифференциальной части возьмем метод трапеции [7-9].
(5)
В расчетных целях его удобнее записать в следующем виде:
(6)
В качестве квадратурной формы для интегрального члена квадратурная формула трапеции [3, 11]:
(7)
Расчет состояния системы в момент времени сводиться к тому, что из данной системы уравнений мы должны найти чему равняется и . В тоже самое время хорошо видно, что переменные и фигурируют в правых частях равенства. Таким образом имеет дело не с явными формулами рекуррентного типа, которые позволяют легко и просто просчитывать значения, а с неявными уравнениями решение данной системы уравнений, размерность которой определяется размерностью фазового пространства данной системы и позволит рассчитать состояние системы в следующий шаг. Конечно расчет по явным схемам имеет большие преимущества с точки зрения быстродействия, однако хорошо известно, что неявные схемы имеют меньшие ограничения по выбору шага, с точки зрения устойчивости. Поскольку в изучаемых моделях можно ожидать появление хаотических режимов, очень чувствительных к расчетным ошибкам предпочтение было отдано неявным схемам. Поэтому полученную систему нелинейных уравнений относительно будем решать с помощью метода Ньютона [6, 10].
Метод Ньютона для систем:
(8)
где Якобиан матрицы .
Для начала к системе , к дифференциальной части, применим метод , получим уравнения:
(9)
Теперь в каждое уравнение вместо подставим
где коэффициенты при функции подавлении энергией коэффициент при функции подавлении спиральностью, ядро функционала подавления.
квадратичная форма функции подавления(общий вид).
(10)
Мы получили систему нелинейных алгебраических уравнений неизвестными в которой являются и .
Перенесем левую часть уравнения в правую.
(11)
Теперь вычислим Якобианы системы по следующей формуле:
(12)
Получим:
Алгоритм решения:
- Зададим начальные условия .
- На текущий момент времени (шаг ) пусть будут известны значения .
- Вычисляем функции и .
- Вычисляем Якобиан системы .
- находим обратную матрицу к нашему Якобиану .
- Считаем значение функции и (11) в текущий момент времени.
- По формуле метода Ньютона (8) считаем значения для и .
- Увеличим временной индекс на значение (шаг на ) и переходим на шаг алгоритма 2.
Сопоставление с динамикой известной системы
Интегральный член является признаком эредитраности модели (2). В то же время его можно исключить для некоторых типов ядер с экспоненциальной асимптотикой за счет расширения размерности фазового пространства модели. Точнее говоря, если ядро является решением линейного дифференциального уравнения с постоянными коэффициентами, то система (2) равносильна некоторой дифференциальной системе, с начальными условиями на дополнительные фазовые переменные. А именно справедлива теорема [12]:
Теорема Если ядро является решением дифференциального уравнения
(13)
с постоянными коэффициентами , то интегральное равенство
равносильно следующей задаче Коши для функции :
(14)
Рассмотрим процесс верификации на нашей системе (2), в возьмем в качестве параметров следующие , , , и . Воспользуемся условием теоремы об исключении интегрально члена из системы (2), получим систему вида:
Получим систему вида:
(15)
Эта система -динамо, соответствующая системе Лоренца. Динамика такой системы прекрасно известна[13].
Будем варьировать параметр D и будем получать различные режимы системы.
Для D = 20 получим асимптотически устойчивый режим рис. 1,2.
Рис. 1. Фазовая координаты: (a) X при D = 20; (b) Y при D = 20.
[Figure 1. Phase coordinates: (a) X at D = 20; (b) Y for D = 20.]
Рис. 2. Фазовый портрет системы при D = 20.
[Figure 2. Phase portrait of the system at D = 20.]
D = 220 получим периодический режим рис. 3,4.
Рис. 3. Фазовая координаты: (a) X при D = 220; (b) Y при D = 220.
[Figure 3. Phase coordinates: (a) X at D = 220; (b) Y for D = 220.]
Рис. 4. Фазовый портрет системы при D = 220.
[Figure 4. Phase portrait of the system at D = 220.]
Если же D = 28 получим хаотический режим рис. 5,6.
Рис. 5. Фазовая координаты: (a) X при D = 28; (b) Y при D = 28.
[Figure 5. Phase coordinates: (a) X at D = 28; (b) Y for D = 28.]
Рис. 6. Фазовый портрет системы при D = 28.
[Figure 6. Phase portrait of the system at D = 28.]
Порядок точности численной схемы
При использовании любой приближенной схемы важно иметь представление о её точности. Часто, в ходе работе бывает целесообразно изменять шаг сетке по ходу расчета, контролируя, тем самым погрешность на шаге.
Погрешность в результате вычислений может возникнуть по следующим причинам:
- погрешность при моделировании, любое разностное уравнение не является абсолютным эквивалентом дифференциальному уравнению, это основной источник погрешности.
- округление чисел при вычислении.
- погрешность в значениях правой части , погрешность вызвана тем фактам, что рассматривается некоторое приближение функции к правой части дифференциального уравнения. Так же в ходи вычисления на ЭВМ функция может быть приближена другими функциями, что в свою очередь вносит дополнительную погрешность в решение уравнения.
- определяется и уравнения которое эквивалентно исходному, но не может быть разрешимо в явном виде.
Исследование порядка точности по правилу Рунге заключается в следующем: берется решение на сетки и сравнивается с решением на сетке с шагом в раза меньше т.е. . И в дальнейшем рассмотрении разностей погрешностей для этих двух вычислений по формуле [14, 15]:
(16)
Формула Рунге справедлива для всех вычислительных процессов, для которых выполняется степенной закон. Для определения порядка метода необходимо проведение априорной оценки погрешности, что не всегда легко осуществить [16]
Английский математик Эйткен предложил способ оценки погрешности для случая, когда порядок метода неизвестен . Более того, алгоритм Эйткена позволяет опытным путем определить и порядок метода. Для этого необходимо третий раз вычислить значение величины с шагом [17].
Для удобства введем переменную , которая в данном случаем равна . Для вычисление порядка используем формулу Эйткена:
(17)
Из формулы (17) получаем следующее соотношение:
(18)
где .
Были проведены численные эксперименты при шагах , , , , , . Управляющие параметры исследуемой системы (2) были выбраны следующие:
Результаты расчетов приведены в таблице 1.
Таблица 1
Расчет порядка точности по формуле Эйткена [Calculation of the order of accuracy using the Aitken formula]
| | | |
h/4 | 0.4994309359 | -0.6942859569 | 1.001642907 |
h/8 | 0.5003558056 | -0.6924358225 | 0.9989737273 |
h/16 | 0.5001269831 | -0.6928932467 | 0.9996336509 |
h/32 | 0.5000846339 | -0.6929779271 | 0.9997558189 |
Для выбранного вычислительного процесса алгоритм Эйткена достаточно применить только один раз определения порядка метода, а затем использовать формулу Рунге, требующую только двукратного вычисления искомой величины. Априорный и апостериорный порядки должны получаться совпадающими для численных схем. Конечно, это совпадение будет приближенным, так как при получении алгоритмов Рунге и Эйткена учитывались только главные члены погрешности.
Таким образом можно утверждать, что разностная схема имеет глобальный порядок точности. О локальном порядке (порядок точности на шаге) для интегро-дифференциальной системы говорить бессмысленно.
Заключение
Предложенная численная схема позволяет проводить моделирование интегро-дифференциальных систем являющимися моделями гидромагнитного динамо. Поскольку исследуемая система является интегро-дифференциальной нам необходимо было совместить разностные схемы для дифференциальной части и квадратурной формы для интегральной части. В качестве разностной схемы для дифференциальной части был взят метод трапеции. А в качестве квадратурной формы для интегрального члена квадратурная формула трапеций.
Исследования порядка точности предложенной численной схемы проводилось при помощи метода Эйткена. Полученный порядок равен 1.
В целом, численный метод может быть применен, с незначительными изменениями, для исследования широкого класса задач связанных с системами интегро-дифференциальных уравнений.