Научная статья на тему 'Об одном обобщении метода Рунге-Кутты'

Об одном обобщении метода Рунге-Кутты Текст научной статьи по специальности «Математика»

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

Аннотация научной статьи по математике, автор научной работы — Исламов Галимзян Газизович, Коган Юрий Вольфович

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

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

On one generalization of Runge-Kutta method

There are offered to select the coefficients of one Runge-Kutta method generalization with regard to the value of relative error for linearized system of ordinary differential equations. Unlike the known versions of Runge-Kutta methods it is lead to Pade approximation not in zero, but in point nearest the spectrum of multiplied to mesh width the Jacobi matrix in the current mesh point.

Текст научной работы на тему «Об одном обобщении метода Рунге-Кутты»

УДК 519.62

© Г. Г. Исламов, Ю.В. Коган

[email protected], [email protected]

ОБ ОДНОМ ОБОБЩЕНИИ МЕТОДА РУНГЕ-КУТТЫ

Ключевые слова: аппроксимация Паде, управление спектром, функция Вайнштейна-Ароншайна, одноранговые возмущения.

Abstract. There are offered to select the coefficients of one Runge-Kutta method generalization with regard to the value of relative error for linearized system of ordinary differential equations. Unlike the known versions of Runge-Kutta methods it is lead to Pade approximation not in zero, but in point nearest the spectrum of multiplied to mesh width the Jacobi matrix in the current mesh point.

Рассмотрим задачу Коши для системы обыкновенных дифференциальных уравнений

У(0) = Уо, У'(t) = f (t,У(t)), t € [О, А]. (1)

Здесь y : [О, А] ^ Cm есть абсолютно непрерывная вектор-функция, f : [О, А] х Cm ^ Cm удовлетворяет условию существования и единственности решения рассматриваемой задачи, C — поле комплексных чисел.

Равномерной сетке tn = пт, т = А/N, п = 0,..., N отвечает последовательность значений yn = y(tn) решения задачи (1).

В качестве приближения к этой последовательности возьмём последовательность векторов zn , формируемую по правилу

Z0 = Уо, Zn+1 = aoZn + biki

i= 1

ki = f (tn + Cih, aiZn + т ^2 dijkj), i = 1,..., s,

j=1

s

Если а = 1, г = 0,..., в, то получим в -этапный одношаговый метод Рунге-Кутты, рассмотренный в монографии ([1], с. 69).

Числовые параметры Ъг, сг, аг, , г, ] = 1,... , в выбираются из

условия однозначной разрешимости задачи (2) относительно неизвестных векторов кг, г = 1,..., в и выполнения условий численной устойчивости и сходимости последовательности {хп = хп(Ъ)}° к [уп}о при Н ^ 0. В этой заметке правило выбора указанных параметров будет формулироваться для линейных однородных систем большой размерности, возникающих при дискретизации дифференциальных операторов по пространственным переменным при численном решении уравнений математической физики.

Пусть сначала

/ (*,У) = Ау, (3)

где А есть комплексный параметр. Тогда решение задачи (1) даётся формулой у(£) = ехгуо и, следовательно, уп = епуо, где £ = Ат — комплексный параметр. В предположении (3) итерационный процесс (2) принимает вид

£ 5

Хп+1 = аоХп + т^2 Ъгкг, кг = А(аг х,п + т ^ й^ к), г = 1,..., в.

г=1 у=1

(4)

Если ввести столбцы Ъ = (Ъ1,..., Ъ5)т, а = (а1,..., а5)т и матрицы к = (к1 ,...,к5),0 = (й^)£j=l, то в векторно-матричных обозначениях (4) запишется в виде

хп+1 = а0хп + тк ■ Ъ, к = Ахп ■ ат + к£^т. (5)

Ограничиваясь такими значениями £ = Ат, для которых обратная матрица (Е — £Бт)-1 существует, можно из второго уравнения выразить матрицу к = Ахпат(Е — £От)-1 и исключить её из первого уравнения

Хп+1 = (ао + £ат (Е — £От )-1 Ъ)х,п = Е(£)Хп, Хо = уо,

где Е(£) = ао + £ат(Е — £Бт) 1Ъ = ао + £Ът(Е — £Б) 1а. Так как для Ъ = Ъ/ао

К = ао(1 + Ът(¿1? — Б)~1а) = ао с!е1](1? + <уЬЕ — Б)~1аЪт)

и

¿Е — (Б — аЪт) = (¿Е — Б)(Е + (¿Е — Б)-1аЪт), то К , где

= det(¿Д - (Б - аЪт))

{ ) ¿е^Е - Б)

есть функция Вайнштейна-Ароншайна (см. [2]) аргумента г, отвечающая одноранговому возмущению Б — аЪт матрицы Б. Как известно (см. [3]), все собственные значения матрицы Б, геометрическая кратность которых больше единицы, обязательно будут собственными значениями однорангового возмущения Б — аЪт . Это следует учитывать при выборе матрицы Б итерационного процесса (2). Далее, из того, что

*п = т)]пуо = (^г)пуп,

получаем величину относительной погрешности результата

||У7|~.^11 =|1- (Щр\П\ <5,п = 1,...,М, (6)

\\уп\\ V & ;

где 5 есть верхняя граница относительной погрешности.

Пусть теперь /(х,у) = Л ■ у, где Л — постоянная матрица

т х т. Обобщим полученный результат на этот случай. Второе

из соотношений (5) примет тогда вид

к = Лхпат + т ЛкБт. (7)

Если подставить во второе слагаемое в (7) вместо к его выражение из этого же соотношения и повторять эту операцию, то получим

к = Лхпа + тЛ хпа Б + т Л к(Б ) = ... =

р

" ‘ "+1 Хп а

J2тj ^+1хп ат (Бт )j + тр+1Лр+1кат (Бт )р+1. j=о

Если

|т|||Л||||БтII < 1, (8)

то приведенные выше рассуждения показывают, что единственным решением относительно к уравнения (7) является

го

к = ^ ^ Лj+1хпат (Бт) (9)

j=о

(то что к является решением (7) проверяется непосредственно). Подставляя (9) в первое из соотношений (5), получим

го

Хп+1 = аоХп + ^ т]+1Лj+1Хпат (Бт У Ъ. j=о

Обозначим скалярную величину ат(Бт)Ъ через pj+1, ] =0,1,...

го

и заметим, что Е(() = ао+ Pj^,( € С. Тогда, при условии (8),

j=l

Хп = [Д(тЛ)]пуо. Так как решение задачи (1) даётся формулой у (г) = еЛг, то уп = етЛпуо и

"У*-11 = 1К«=гЛ" - [Д(уА)1")№|| £ ||Е_

\\уп\\ \\уп\\

(мы воспользовались тем, что К(тЛ) и етЛ коммутируют). По теореме об отображении спектра функции от оператора (см. [4]),

спектр матрицы Е — [Я(тЛ)е тЛ]п представляет собой множество

( Д(£Л п

значений функции 1 — (—) , когда £ € т<т(Л), где <т(Л) —

множество собственных значений матрицы Л. Таким образом, выполнение неравенства (6) для всех собственных значений Л матрицы Л обеспечивает заданную относительную погрешность 5 метода Рунге-Кутты, если норма в Ст выбрана так, что норма матрицы Е — [Я(тЛ)е-тЛ]п сколь угодно близка к спектральному радиусу этой матрицы (см.[5]).

Неравенство (6) указывает на целесообразность выбора в качестве й(£) аппроксимации Паде (см.[6]) экспоненциальной функции е^ в некоторой точке £*, в которой достигается минимум

относительно £ величины тах |£ — тЛ| . Нетрудно видеть, что

\£а(Л)

£* не может отклониться от центра масс системы точек та(Л) на расстояние большее чем величина упомянутого минимума. Поэтому, при вычислениях можно брать £* = 1тасе(тЛ)/т . Следует отметить, что многочлены числителя и знаменателя аппроксимации Паде й(£) = Р(£)/Я(£) функции е^ имеют простые корни. Так как функция Вайнштейна-Ароншайна Ш(г) имеет вид отношения Р(1/г)/(аоQ(1/t)), то матрицы Б и Б — аЬт должны быть матрицами простой структуры с различными собственными значениями. В качестве матрицы Б можно взять, например, матрицу Фробениуса многочлена Q(1/t). Далее, Р(1/г)/ао есть характеристический многочлен возмущенной матрицы Б — аЪт.

Укажем одно из правил выбора столбцов а и Ъ = аоЪ метода

£

(2). Запишем спектральное разложение матрицы Б = £

г=1

где иг и ут соответственно правый и левый собственные векторы, отвечающие собственному значению ц,г матрицы Б, причём утиг = 1. Заметим, что ^1,... ,№э есть система различных корней многочлена tsQ(1/t). Пусть ^1 ,...,и3 есть система различных

1 + bT(tE - D)-la

Отсюда получаем систему для определения столбцов а и b :

1. Деккер К., Вервер Я. Устойчивость методов Рунге-Кутты для жёстких нелинейных дифференциальных уравнений. М.: Мир, 1988. 334 с.

2. Гулд С. Вариационные методы в задачах о собственных значениях. Введение в метод промежуточных задач Вайнштейна. М.: Мир, 1970. 328 с.

3. Исламов Г.Г.Экстремальные возмущения замкнутых операторов // Изв. вузов. Математика. 1989. № 1. C. 35-41.

4. Като Т. Теория возмущений линейных операторов. М.: Мир, 1972. 740 с.

5. Самарский А.А., Гулин А.В. Численные методы. М.: Наука, 1989. 430 с.

6. Бейкер Дж.,мл., Грейвс-Моррис П. Аппроксимации Паде. М.: Мир, 1986. 502 с.

Щ=1(№ - vj)

i = l,... ,s.

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

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