Научная статья на тему 'ПОЛУЯВНЫЕ МНОГОШАГОВЫЕ МЕТОДЫ АДАМСА-БАШФОРТА-МУЛТОНА ПРИ РЕШЕНИИ ЖЕСТКИХ СИСТЕМ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ'

ПОЛУЯВНЫЕ МНОГОШАГОВЫЕ МЕТОДЫ АДАМСА-БАШФОРТА-МУЛТОНА ПРИ РЕШЕНИИ ЖЕСТКИХ СИСТЕМ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ Текст научной статьи по специальности «Математика»

CC BY
693
78
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МНОГОШАГОВЫЕ МЕТОДЫ / ПОЛУЯВНОЕ ИНТЕГРИРОВАНИЕ / ЖЕСТКАЯ СИСТЕМА / ЧИСЛЕННОЕ ИНТЕГРИРОВАНИЕ / МЕТОД ПРОГНОЗА-КОРРЕКЦИИ / МЕТОД АДАМСА-БАШФОРТА-МУЛТОНА

Аннотация научной статьи по математике, автор научной работы — Тутуева А. В., Бутусов Д. Н., Копец Е. Е., Рыбин В. Г., Давидчук А. Г.

Исследована вычислительная эффективность полуявных и полунеявных модификаций многошаговых методов численного интегрирования при моделировании жестких систем обыкновенных дифференциальных уравнений. Приведено общее описание полуявных и полунеявных методов Адамса-Башфорта-Мултона. Сравнивается производительность решателей на основе исследуемых методов четвертого порядка алгебраической точности, а также классических методов Адамса и формулы дифференцирования назад. Вычислительные эксперименты подтверждают, что среди рассмотренных многошаговых схем предложенные модификации метода Адамса-Башфорта-Мултона обладают наилучшей производительностью при моделировании с постоянным и переменным шагом интегрирования. Полученные результаты могут использоваться для ускорения численного моделирования в моделирующих подсистемах систем автоматизированного проектирования.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Тутуева А. В., Бутусов Д. Н., Копец Е. Е., Рыбин В. Г., Давидчук А. Г.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

SEMI-EXPLICIT MULTISTEP ADAMS-BASHFORTH-MOULTON METHODS FOR SOLVING STIFF SYSTEMS OF ORDINARY DIFFERENTIAL EQUATIONS

The computational efficiency of semi-explicit and semi-implicit multistep methods of numerical integration when applied to simulation of seven-dimensional stiff system of ordinary differential equations is studied. A general description of semi-explicit and semi-implicit Adams-Bashforth-Moulton methods is presented. Performance of solvers based on investigated methods of the fourth order is compared to that of solvers using Adams methods and the backward differentiation formula. The computational experiments carried out confirm that the proposed modifications of the Adams-Bashforth-Moulton method demonstarate the best performance among the considered multistep schemes, when simulating with a constant and variable integration step. It is assumed that the obtained results can be used to speed up numerical modeling in modeling subsystems of computer-aided design systems.

Текст научной работы на тему «ПОЛУЯВНЫЕ МНОГОШАГОВЫЕ МЕТОДЫ АДАМСА-БАШФОРТА-МУЛТОНА ПРИ РЕШЕНИИ ЖЕСТКИХ СИСТЕМ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ»

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И СИСТЕМЫ ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА

УДК 519.62

DOI: 10.17586/0021-3454-2021-64-8-599-607

ПОЛУЯВНЫЕ МНОГОШАГОВЫЕ МЕТОДЫ АДАМСА—БАШФОРТА—МУЛТОНА ПРИ РЕШЕНИИ ЖЕСТКИХ СИСТЕМ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ

А. В. Тутуева, Д. Н. Бутусов, Е. Е. Копец, В. Г. Рыбин, А. Г. Давидчук

Санкт-Петербургский государственный электротехнический университет „ЛЭТИ" им. В. И. Ульянова (Ленина), 197376, Санкт-Петербург, Россия

E-mail: info@ etu.ru

Исследована вычислительная эффективность полуявных и полунеявных модификаций многошаговых методов численного интегрирования при моделировании жестких систем обыкновенных дифференциальных уравнений. Приведено общее описание полуявных и полунеявных методов Адамса—Башфорта— Мултона. Сравнивается производительность решателей на основе исследуемых методов четвертого порядка алгебраической точности, а также классических методов Адамса и формулы дифференцирования назад. Вычислительные эксперименты подтверждают, что среди рассмотренных многошаговых схем предложенные модификации метода Адамса—Башфорта—Мултона обладают наилучшей производительностью при моделировании с постоянным и переменным шагом интегрирования. Полученные результаты могут использоваться для ускорения численного моделирования в моделирующих подсистемах систем автоматизированного проектирования.

Ключевые слова: многошаговые методы, полуявное интегрирование, жесткая система, численное интегрирование, метод прогноза-коррекции, метод Адамса—Башфорта—Мултона

Введение. Важным критерием выбора средств и методов компьютерного моделирования физических систем и процессов является вычислительная эффективность, определяемая как соотношение вычислительных затрат и достигаемой точности. Многошаговые численные методы интегрирования позволяют перейти от непрерывной системы к дискретной при исследовании процессов и явлений, описываемых системами обыкновенных дифференциальных уравнений (ОДУ). За счет однократного вычисления функции правой части на шаге интегрирования и рекуррентного способа расчета многошаговые алгоритмы наиболее эффективны при моделировании систем высокой размерности [1—3]. По этой причине большинство современных моделирующих программных сред — как общего назначения (MatLab, Wolfram Mathematica, LabVIEW), так и специализированные симуляторы, в том числе схемотехнические системы автоматизированного проектирования (SPICE, MicroCAP, Qucs, Electric и др.) — реализуют этот класс алгоритмов в качестве стандартных решателей ОДУ [4, 5]. В то же время известно, что при увеличении порядка численная устойчивость многошаговых схем снижается [6]. Неявные многошаговые методы обладают большей численной устойчивостью, чем

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

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

В работе [8] предложено использовать полуявный принцип вычислений в многошаговых методах прогноза-коррекции. Вычислительная эффективность этого похода подтверждена на примере двух тестовых нелинейных систем малой размерности. При этом в ряде работ показано, что полуявные и полунеявные одношаговые методы интегрирования демонстрируют промежуточную для полностью явных и неявных аналогов устойчивость и вычислительную эффективность, в том числе при моделировании жестких систем большой размерности [9—12]. Поэтому целью настоящего исследования является изучение вычислительной эффективности многошаговых полуявных и полунеявных методов Адамса—Башфорта— Мултона (АБМ) при решении жестких систем ОДУ.

Полуявные и полунеявные методы Адамса—Башфорта—Мултона. В настоящей работе исследуются полуявные (ПЯ) и полунеявные (ПН) модификации метода прогноза-коррекции — метода Адамса—Башфорта—Мултона. В оригинальном алгоритме АБМ все вычисления носят явный характер, в то же время его устойчивость выше, чем у явного метода Адамса—Башфорта (АБ).

Многошаговые полуявные методы интегрирования могут быть применены для систем ОДУ второго порядка и выше. Для систем первого порядка такие алгоритмы вырождаются в классический метод АБМ. Рассмотрим следующую систему уравнений:

[х = / (х ^ ^

[ У = 8 (х ^ *).

Пусть система (1) решается при начальных условиях х(0) = х0 и у(0) = у0.

Обозначим две переменные состояния, найденные с применением явного метода АБ,

как х*+1 и уР+х. Для системы (1) конечно-разностная схема корректора записывается как

к-1

хп+1 = хп + Щ/ ((+1, Уи+1, *п +1 ) + Ъ1 +1/ (Хп-г, Уп-г, *п-г ) , (2)

г=0

Уп +1 = Уп + кЬ0 8 ((, У„+1, *п +1) + ьг+18 (хп -г, Уп-г, *п-г), (3)

г=0

где Ьг — коэффициенты неявного метода Адамса—Мултона (АМ), а к — число шагов метода [13].

Рассматриваемый полуявный способ решения основан на замене интегратора Эйлера в составе алгоритма симплектическим методом Эйлера—Кромера [13, 14]. Полуявное интегрирование подразумевает использование предварительно рассчитанных значений переменных состояния на текущем шаге интегрирования для более точной аппроксимации оставшихся значений. К многошаговым интеграторам этот подход применяется следующим образом. Заменив хР+1 в (3) на хп+1, получим

к-1

Хп+1 = Хп + Щ / ((, Ур+1, +1 ) + Ь Е Ъ+1! (Хп-г, Уп-г, 'п-1 )

г =0

к-1 (4)

Уп +1 = Уп + ¿Ъ0 8 (Хп +1, Ур+1 , 1п +1) + ¿Е Ъг+18 (Хп -г, Уп-г, *п-г) •

г=0

Формула (4) описывает полуявный метод АБМ [8]. Можно заметить, что в случае системы первого порядка представленный метод сводится к классическому методу АБМ.

Формула полунеявного метода АБМ может быть получена из конечно-разностной схемы (4) путем добавления одного неявного вычисления каждой переменной состояния, которое соответствует решаемому уравнению. Таким образом, для системы (1) полунеявный метод прогноза-коррекции записывается как

к-1

Хп+1 = Хп + Щ! (Хп+1, Ур+1, *п+1 ) + ¿Е Ъг+1! (Хп-г, Уп-г, *п-г), (5)

г =0

к-1

Уп +1 = Уп + Щ8(Хп +1, Уп +1, ^ +1) + ¿Е Ъ +18 (Хп-г, Уп-г, ) , (6)

г=0

где Хп+1 в (5) и Уп+1 в (6) могут быть найдены с помощью метода Ньютона или других итерационных алгоритмов [11]. В простейшем случае система алгебраических уравнений с учетом значений переменных состояния в точке (п + 1) может быть решена аналитически. Если невозможно найти аналитическое решение неявности, может быть применен метод простых итераций, имеющий в данном случае меньшую, по сравнению с полностью неявными методами, размерность решаемой задачи.

Обе полуявные модификации метода АБМ рассмотрены выше на примере двумерных систем, но могут быть использованы при решении систем ОДУ произвольного порядка. Кроме того, изменение порядка действий в обоих алгоритмах приводит к появлению целого семейства полуявных и полунеявных многошаговых алгоритмов со схожими свойствами [15], но разными асимптотическими разложениями.

Гипотезой исследования является предположение, что, как и в случае одношаговых решателей ОДУ [9—11], внедрение в алгоритм метода АБМ полуявного и полунеявного интегрирования приведет к увеличению точности численного решения без роста вычислительных затрат относительно явных методов.

Результаты моделирования. В качестве тестовой задачи выбрана следующая система ОДУ седьмого порядка:

Х = а (У - Х) + w - и - V, У = сх - У - хг - р, г = -Ъг + ХУ,

W = dw - Уг, (7)

и = ev + Уг,

Р = !х + Уг,

V = гх,

где а = 10, Ъ = 2,66667, с = 28, ё = -1, е = 8, / = 1, г = 5 — безразмерные параметры системы [16]. В практических расчетах при данных значениях параметров система (7) считается жесткой [17].

Для системы (7) этап прогноза рассмотренных полуявных и полунеявных многошаговых методов АБМ четвертого порядка алгебраической точности записывается как

хр+1=хп+и у24 рщ - -24 Р-+14 Р- - 3 Р- ), л=у»+* (24 р,У - | рм+24 ^ -3 рУ-з).

р + И Г55 ^ 59 + 37 з ) <+1 = 2п + И I •24 рп - 24 рп-1 + 24 рп-2- ^ рп-3 I,

<+1 = Т + * [§ РТ - 24 РТ-1 + 24 РТ-2 - 3 РТ-3 \, (8)

Г?+1 = и» + и [^ РГ - ^ + ^ РГ-2 - 3 ),

РпР+1 = Рп + И (| РР - | Р»Р-1 + £ РпР2 - 3 РпР-3 ],

^ = * + ^ [|^ -1 ^п- + £ ^ - 3 Рп-3 ),

где РУ — функция правой части переменной ] в г-й момент времени. На этапе коррекции

предлагаемого полуявного метода вычисление выполняется с учетом уже скорректированных значений переменных состояния. Для системы (7) такая конечно-разностная схема записывается как

РпХ+1 = а (Ур+1 - Хр+1) + ТпР+1 - Гр+1 - Ур+1,

Уп+1=Уп+*Г 8 рУ+1+24 - 24 рп-1+24 рпУ-2 ],

Рп+1 = СХп+1 - Уп+1 - Хп +1*п+1 - Рп+1,

У ,+1 = У» + И +24 24 Р- + 24 ],

Рп+1 = - Ьгр+1 +Хп +1 Уп+1, Г 3 19 5 1 )

^+1 = ^ + И [^ рп+1 + 24 р + ^4 рп-2),

РпТ+1 = ^Тр+1- У п+1^п +Ъ Тп+1 = Тп + И [3 +14 РТ - ,54 РТ_1 + 2 \, (9)

ГГ = V

рп+1 = п+1 + Уп+1^ +ь

' 1 2 I,

Гп+1 = Гп + И Г 3 РГ+1 + 24 РГ - 254 РпГ-1 + £ Рп-

рР+1 = К +1 + уп +1^п +1,

Рп+1=Рп+и Г3 рр+1+24 рпр - 24 Рр-1+£ РР 2),

Рп+1 = ГХп +1,

уп+1 = уп + * ^ Р;+1 + 24- 24 К-1 + 24 Рп-2 ],

где значения, вычисляемые полуявно, выделены полужирным шрифтом. В классическом методе АБМ данные переменные были бы промаркированы верхним индексом р.

В полунеявном многошаговом методе АБМ, в отличие от конечно-разностной схемы (9), при вычислении для ]-й переменной присутствует неявность, соответствующая решаемому уравнению:

рп+1 = а (УР+1 -Хп +1 ) + 1

кп +1

Рх п+1

19 24

"Р+1- ~цР - ип+1

5 24 РпХ-1 + -1 Р 24 п

Рп+1 = СХп +1 Уп +1 Х1

р р п+1 2п+1 - Рп+1,

уп+. = уп + ИI 3 ¥\Л +19 ¥пу - — ¥у Л + — ¥у 2

уп+1 уп I 8 п +1 24 п 24 п-1 24 п-2 Рп+1 = -Ь^п+1 + Хп +1 уп +1

(3 19 5 1

^+1 = 2п + И18^п+1 + 24рп ^.-1 + ^-2

ж

Рп+1 = ё™п +1 - уп +1 ^п +1,

'3 19 5

1

п+1 = ж + ИI -% + р: -24рп-1 + 24^

ип+1 = ип + И

Рп+1 = е<+1 + Уп +1 ¿п +Ъ

г3 19 5

"" ри ри

24 п 24 п

-Рпи+1 +-

п - 1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

24

и

Рп-2

Р/+1 = Ап+1 + Уп+1 гп+1,

Рп+1 = Рп + И (3 РпР+1 + 124 ^ "24 1 + £ 2

Рп+1 = ГХп+1,

(3 19 5 1

^п+1 = ^ + ИI - К+1 + 24 - 24 рп-1 + ^4 р^-2

(10)

На рис. 1 иллюстрируется изменение переменных состояния исследуемой системы (7) со значениями параметров а = 10, Ь = 2,66667, с = 28, ё = -1, е = 8, / = 1, г = 5 при моделировании (в течение 10 с) с начальными условиями х0 = у0 = 20 = ж0 = и0 = р0 = у0 = 1 полунеявной схемой (10) с постоянным шагом интегрирования И = 0,0001.

А, у.е. 200 150 100 50 0 -50 -100 -150

х |А-"'

У 2 Ж

и р

V ¿А

0

1

2

3

4

7

8

9

10 г, с

5 6 Рис. 1

Решатели ОДУ на основе рассмотренных полуявных и полунеявных методов АБМ сравнивались с использованием так называемых графиков оценки производительности метода [7], отражающих зависимость точности численного решения от времени его нахождения. Хотя традиционный подход к оценке производительности численных методов интегрирования основан на использовании числа обращений к функции правой части, он малопригоден для исследования производительности полуявных методов в силу особого способа обращения

к функции правой части у последних. Для построения графиков производительности при моделировании нелинейных систем с постоянным шагом интегрирования оценивается точность получаемого численного решения относительно решения, найденного методом более высокого порядка, а также оцениваются временные затраты на интегрирование при разных значениях шага интегрирования [10]. В случае переменного шага выполняется оценка для нескольких значений допустимой локальной погрешности решения, которая используется в формуле управления шагом интегрирования [6].

Помимо предлагаемых численных методов исследовались: явный метод Адамса— Башфорта, неявный метод Адамса—Мултона, формула дифференцирования назад (ФДН) и метод прогноза-коррекции АБМ. Сравнение выполнялось для методов четвертого порядка при моделировании с постоянным и переменным шагом интегрирования на временном интервале Т = 10 с при а = 10, Ь = 2,66667, с = 28, ё = -1, е = 8, / = 1, г = 5 и начальных условиях = у0 = ^о = = и0 = р0 = у0 = 1. Погрешность численных решений оценивалась относительно значений, вычисляемых в те же моменты времени методом Дормана—Принса восьмого порядка алгебраической точности [6]. Для построения графиков производительности с постоянным шагом И использовались значения [0,0001; 0,000125; 0,00025; 0,0005]; в случае переменного шага допустимая погрешность составляла [10-9; 10-10; 10-11; 10-12]. Все эксперименты выполнялись в среде N1 ЬаЬУШ^ 2020 с типом данных двойной точности. Полученные графики оценки вычислительной эффективности сравниваемых решателей ОДУ при интегрировании с постоянным и переменным шагом представлены на рис. 2 и 3 соответственно.

Можно отметить, что полуявные и полунеявные модификации метода АБМ демонстрируют точность численного решения, сопоставимую с точностью решения, получаемого оригинальным методом АБМ и неявным методом АМ как при постоянном, так и при адаптивном шаге интегрирования. При этом вычислительные затраты на вычисление решения полуявными и полунеявными алгоритмами меньше, чем у метода АБМ, и незначительно больше, чем у явного метода АБ.

с 1

0,1

0,015

0,00015 10-5 10-6 10-7 10-8 10-9 е, у.е. Рис. 2

г, с

1

0,13

10-4 10-6 10-9 10-12 е, у.е.

Рис. 3

^——"" "" АБ

АМ

ФДН

АБМ

ПНАБМ

ПЯАБМ

а уГ У* У у / АБ АМ ФДН АБМ ПНАБМ пяабм;

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

Заключение. В работе рассмотрена эффективность применения многошаговых решателей ОДУ, основанных на схеме прогноза-коррекции, для решения жесткой системы седьмого порядка. Описаны две модификации метода АБМ с полуявным и полунеявным принципами вычислений. Из результатов моделирования видно, что предлагаемые полуявные многошаговые методы интегрирования четвертого порядка точности демонстрируют меньшую погрешность численного решения и отличаются малыми вычислительными затратами, как и в случае нежестких систем, исследованных ранее [8]. Однако производительность решателя на основе полунеявного метода интегрирования может значительно снизиться, если для аппроксимации решения в следующей точке применять метод Ньютона. Этот подход стоит использовать только в том случае, когда решение системы диагонально-неявных алгебраических уравнений невозможно. В качестве альтернативы методу Ньютона можно применять метод простых итераций, требующий меньших вычислительных затрат [8].

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

Работа поддержана грантом Российского научного фонда № 19-71-00087.

список литературы

1. Iri M., Tsuchiya T., Hoshi M. Automatic computation of partial derivatives and rounding error estimates with applications to large-scale systems of nonlinear equations // Journal of Computational and Applied Mathematics. 1988. Vol. 24, N 3. P. 365—392.

2. Far ago I. et al. Efficient algorithms for large scale scientific computations: Introduction // Computers and Mathematics with Applications. 2014. Vol. 67, N 12. P. 2085—2087.

3. Farago I. et al. Efficient numerical methods for scientific applications: Introduction // Computers and Mathematics with Applications. 2013. Vol. 65, N 3. P. 297—300.

4. Корчак А. Б. Метод ускорения численного решения систем ОДУ и его применение для программного комплекса моделирования сверхбольших интегральных схем: Дис. ... канд. физ.-мат. наук. М.: Моск. физ.-техн. ин-т (гос. ун-т), 2011. 112 с.

5. Han T., Han Y. Numerical solution for super large scale systems // IEEE Access. 2013. Vol. 1. P. 537—544.

6. Хайрер Э., Нерсетт С. П., Ваннер Г. Решение обыкновенных дифференциальных уравнений. Нежесткие задачи. М.: Мир, 1990. 512 с.

7. Самарский А. А. Теория разностных схем. М.: Наука, 1983.

8. Tutueva A., Karimov T., Butusov D. Semi-Implicit and Semi-Explicit Adams-Bashforth-Moulton Methods // Mathematics. 2020. Vol. 8, N 5. P. 780.

9. Бутусов Д. Н., Каримов А. И., Каримов Т. И. Аппаратно-ориентированные численные методы интегрирования. СПб: Изд-во СПбГЭТУ „ЛЭТИ", 2016. 192 с.

10. Butusov D. N., Karimov A. I., Tutueva A. V. Hardware-targeted semi-implicit extrapolation ODE solvers // 2016 Intern. Siberian Conf. on Control and Communications (SIBCON). IEEE, 2016. P. 1—6.

11. Ostrovskii V. Y., Butusov D. N., Toepfer H. Application of the semi-implicit numerical integration methods for the simulation of memristor-based circuits // International Academic Forum Амо-Spitse-Neseff. 2016. P. 44—46.

12. Tutueva A. V. et al. The Convergence of Semi-Implicit Numerical Methods // 2019 IEEE Conf. of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus). IEEE, 2019. P. 366—368.

13. Hairer E., Lubich C., Wanner G. Geometric numerical integration: structure-preserving algorithms for ordinary differential equations. Springer Science & Business Media, 2006. Vol. 31.

14. Blanes S., Casas F. A concise introduction to geometric numerical integration. CRC press, 2017.

15. Butusov D. N. et al. New technique to quantify chaotic dynamics based on differences between semi-implicit integration schemes // Communications in Nonlinear Science and Numerical Simulation. 2021. Vol. 92. P. 105467.

16. Yu W. et al. Design of a new seven-dimensional hyperchaotic circuit and its application in secure communication // IEEE Access. 2019. Vol. 7. P. 125586—125608.

17. Ахмеров Р. Р. Численные методы решения обыкновенных дифференциальных уравнений. Учеб. пос. Новосибирск: НГУ, 1994. 100 с.

Александра Вадимовна Тутуева Денис Николаевич Бутусов

Екатерина Евгеньевна Копец Вячеслав Геннадьевич Рыбин Андрей Геннадьевич Давидчук

Поступила в редакцию 09.04.2021 г.

Сведения об авторах

— СПбГЭТУ „ЛЭТИ", кафедра систем автоматизированного проектирования; ассистент; E-mail: avtutueva@etu.ru

— канд. техн. наук, доцент; СПбГЭТУ „ЛЭТИ", кафедра систем автоматизированного проектирования; профессор;

E-mail: dnbutusov@etu.ru

— СПбГЭТУ „ЛЭТИ", кафедра систем автоматизированного проектирования; ассистент; E-mail: eekopets@etu.ru

— СПбГЭТУ „ЛЭТИ", кафедра систем автоматизированного проектирования; ассистент; E-mail: vgrybin@etu.ru

— канд. техн. наук; СПбГЭТУ „ЛЭТИ", кафедра систем автоматизированного проектирования; доцент; E-mail: agdavidchuk@etu.ru

Ссылка для цитирования: Тутуева А. В., Бутусов Д. Н., Копец Е. Е., Рыбин В. Г., Давидчук А. Г. Полуявные многошаговые методы Адамса—Башфорта—Мултона при решении жестких систем обыкновенных дифференциальных уравнений // Изв. вузов. Приборостроение. 2021. Т. 64, № 8. С. 599—607.

SEMI-EXPLICIT MULTISTEP ADAMS-BASHFORTH-MOULTON METHODS FOR SOLVING STIFF SYSTEMS OF ORDINARY DIFFERENTIAL EQUATIONS

A. V. Tutueva, D. N. Butusov, E. E. Kopets, V. G. Rybin, A. G. Davidchuk

St. Petersburg Electrotechnical University "LETI", 197376, St. Petersburg, Russia

E-mail: info@ etu.ru

The computational efficiency of semi-explicit and semi-implicit multistep methods of numerical integration when applied to simulation of seven-dimensional stiff system of ordinary differential equations is studied. A general description of semi-explicit and semi-implicit Adams-Bashforth-Moulton methods is presented. Performance of solvers based on investigated methods of the fourth order is compared to that of solvers using Adams methods and the backward differentiation formula. The computational experiments carried out confirm that the proposed modifications of the Adams-Bashforth-Moulton method demonstarate the best performance among the considered multistep schemes, when simulating with a constant and variable integration step. It is assumed that the obtained results can be used to speed up numerical modeling in modeling subsystems of computer-aided design systems.

Keywords: multistep methods, semi-explicit integration, stiff system, numerical integration, prediction-correction method, Adams-Bashforth-Moulton method

REFERENCES

1. Iri M., Tsuchiya T., Hoshi M. Journal of Computational and Applied Mathematics, 1988, no. 3(24), pp. 365-392.

2. Farago I. et al. Computers and Mathematics with Applications, 2014, no. 12(67), pp. 2085-2087.

3. Faragö I. et al. Computers and Mathematics with Applications, 2013, no. 3(65), pp. 297-300.

4. Korchak A.B. Metod uskoreniya chislennogo resheniya sistem ODU i yego primeneniye dlya programmnogo kompleksa modelirovaniya sverkhbol'shikh integral'nykh skhem (A Method for Accelerating the Numerical Solution of ODE Systems and Its Application for a Software Package for Modeling Very Large Integrated Circuits), Candidate's thesis, Moscow, 2011, 112 p. (in Russ.)

5. Han T., Han Y. IEEE Access, 2013, vol. 1, pp. 537-544.

6. Hairer E., N0rsett S.P., Wanner G. Solving Ordinary Differential Equations. Nonstiff problems, Springer Series in Computational Mathematics, 1990.

7. Samarskiy A.A. Teoriya raznostnykh skhem (Difference Scheme Theory), Moscow, 1983. (in Russ.)

8. Tutueva A., Karimov T., Butusov D. Mathematics, 2020, no. 5(8), pp. 780.

9. Butusov D.N., Karimov A.I., Karimov T.I. Apparatno-oriyentirovannyye chislennyye metody integrirovaniya (Hardware-Oriented Numerical Integration Methods), St. Petersburg, 2016, 192 p. (in Russ.)

10. Butusov D.N., Karimov A.I., Tutueva A.V. 2016 International Siberian Conference on Control and Communications (SIBCON), IEEE, 2016, pp. 1-6.

11. Ostrovskii V.Y., Butusov D.N., Toepfer H. International Academic Forum AMO-Spitse-Neseff, 2016, pp. 44-46.

12. Tutueva A.V. et al. 2019 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (EIConRus), IEEE, 2019, pp. 366-368.

13. Hairer E., Lubich C., Wanner G. Geometric numerical integration: structure-preserving algorithms for ordinary differential equations, Springer Science & Business Media, 2006, vol. 31.

14. Blanes S., Casas F. A concise introduction to geometric numerical integration, CRC press, 2017.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

15. Butusov D.N. et al. Communications in Nonlinear Science and Numerical Simulation, 2021, vol. 92, pp. 105467.

16. Yu W. et al. IEEE Access, 2019, vol. 7, pp. 125586-125608.

17. Akhmerov R.R. Chislennyye metody resheniya obyknovennykh differentsial'nykh uravneniy (Numerical Methods for Solving Ordinary Differential Equations), Novosibirsk, 1994, 100 p. (in Russ.)

Data on authors

— St. Petersburg Electrotechnical University "LETI", Department of Computer-Aided Design; Assistant; E-mail: avtutueva@etu.ru

— PhD, Associate Professor; St. Petersburg Electrotechnical University "LETI", Department of Computer-Aided Design; Professor; E-mail: dnbutusov@etu.ru

— St. Petersburg Electrotechnical University "LETI", Department of Computer-Aided Design; Assistant; E-mail: eekopets@etu.ru

— St. Petersburg Electrotechnical University "LETI", Department of Computer-Aided Design; Assistant; E-mail: vgrybin@etu.ru

— PhD; St. Petersburg Electrotechnical University "LETI", Department of Computer-Aided Design; Associate Professor; E-mail: avtutueva@etu.ru

For citation: Tutueva A. V., Butusov D. N., Kopets E. E., Rybin V. G., Davidchuk A. G. Semi-explicit multistep Adams-Bashforth-Moulton methods for solving stiff systems of ordinary differential equations. Journal of Instrument Engineering. 2021. Vol. 64, N 8. P. 599—607 (in Russian).

DOI: 10.17586/0021-3454-2021-64-8-599-607

Alexandra V. Tutueva Denis N. Butusov

Ekaterina E. Kopets Vyacheslav G. Rybin Andrey G. Davidchuk

i Надоели баннеры? Вы всегда можете отключить рекламу.