Исследование и оценка решений обыкновенных дифференциальных уравнений интервально-символьными методами

Вычислительные технологии

Том 4, № 4, 1999

ИССЛЕДОВАНИЕ И ОЦЕНКА РЕШЕНИЙ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ ИНТЕРВАЛЬНО-СИМВОЛЬНЫМИ МЕТОДАМИ

А. Н. РОГАЛЕВ Красноярский государственный университет, Россия

Ю. И. Шокин

Институт вычислительных технологий СО РАН Новосибирск, Россия e-mail: shokin@adm.ict.nsc.ru

In the numerical estimation of the solution sets to differential equations with interval parameters, one of the major obstacles to the computation of good enclosures is known to be the so-called wrapping effect that causes exponential growth of the computed bounds of the solution. Up to now, this phenomenon has not been overcome yet. In the present paper, we advance a new explanation of the reasons of the wrapping effect relying on concepts of structural stability and recent developments in qualitative theory of differential equations. Additionally, we present the fundamentals of new interval-symbolic methods for the solution of interval differential equations, which sometimes enable one to successfully defeat the wrapping effect, and give a theoretical study of the new technique.

Введение

Как известно, использование интервальных методов позволяет получить гарантированные двусторонние оценки решений дифференциальных уравнений, но практическое вычисление этих оценок связано с проблемой экспоненциального взаимного расхождения найденных границ — явлением, которое получило название эффекта обертывания (в англоязычной литературе — wrapping effect, а в русских работах часто фигурируют также названия — эффект упаковывания или эффект Мура). Это явление так или иначе проявляется в большинстве интервальных и двусторонних методов оценки решений систем обыкновенных дифференциальных уравнений [9, 10, 12-16] и объясняется несколькими, часто налагающимися друг на друга, причинами. Основными из них являются пошаговое применение принципа сравнения решений дифференциальных уравнений (характеристики которого отражены в теореме польского математика Т. Важевского [2]) и структурная неустойчивость многих систем обыкновенных дифференциальных уравнений, которая выявляет качественные изменения в траектории решения при изменении структуры самой системы.

© А.Н. Рогалев, Ю.И. Шокин, 1999.

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

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

1. Верхние и нижние границы, получаемые на основе теорем сравнения

Остановимся подробнее на использовании теорем сравнения.

Чтобы получать модели сравнения, С. А. Чаплыгин [5] предложил использовать дифференциальные неравенства

у<“> + Ьіу<”-1> +    + Ь„у < /((),

где у (і) — скалярная переменная. Пусть на любом интервале [і0,і0 + т ] существует единственное для любых начальных условий решение соответствующего дифференциального уравнения г(п> + Ь1 г(га-1> +    + Ьпг = /(і). Требуется найти условия, при которых кривая у (і), проходящая через ту же начальную точку, на всем интервале [і0,і0 + т ] будет удовлетворять неравенству у(і) < г(і). В случае дифференциального неравенства первого порядка и функции /(), дифференцируемой на интервале [і0,і0 + т], разрешимость задачи была показана С. А. Чаплыгиным. Резюмируя дальнейшие исследования в этом направлении, можно сформулировать следующие результаты.

Пусть заданы дифференциальное неравенство и соответствующее дифференциальное уравнение

у' </

= /

где функция / определена на некотором открытом множестве Т0, непрерывна и дифференцируема на интервале [і0,і0 + т ] и допускает продолжение решения г (і; і0 , г0) на интервале [іо,іо + т]. Тогда уравнение (2) при і Є [і0,і0 + т] имеет единственное решение г(і) = г (і; і0,г0), проходящее через начальную точку (і0,г0) из области определения функции /().

Если взять любую функцию у(і) такую, что у(і0) < г(і0) и для нее на интервале

[іо, іо + т] выполняется неравенство (1), то на всем интервале [іо, іо + т] будет выполняться

неравенство у (і) < г(і).

Если функция /(і, г) лишь непрерывна на некотором интервале, зависящем от начальных условий (іо, г0), то решение задачи Коши существует, но может быть не единственным, и через любую начальную точку (і0, г0) из области определения может проходить, вообще говоря, множество интегральных кривых, образующих интегральную воронку с вершиной

в (£0,г0). Мажорирующую (минорирующую) модель сравнения в этом случае построить можно, если среди всех решений г(£; £0,г0) интегральной воронки существует верхнее решение г+(£) (соответственно нижнее решение 2—(£)), т. е. такое, что всякие другие решения из той же воронки удовлетворяют неравенству

г

(соответственно г-(£) < г(£) для любого £ € (£0 — т2,£0 + Т1)).

Итак, в дальнейшем мы используем два понятия:

1) верхнее (нижнее) решение, являющееся решением, мажорирующим (минорирую-щим) любую интегральную кривую из образующих интегральную воронку;

2) верхняя (нижняя) граница решений, которая может не быть решением дифференциального уравнения, но оценивает любое решение сверху.

Особенно существенно это различие для систем дифференциальных уравнений. При начальных условиях у(£0) < г(£0) мы через небольшой промежуток времени уже утрачиваем справедливость этого неравенства. Это означает, что выбранное решение перестает быть мажорантой, а взамен него на верхнюю границу может выходить другая интегральная кривая. Неприятность этого явления в том, что в методах построения двусторонних (интервальных) оценок крайне важна возможность отслеживания совпадения верхних (нижних) оценок и верхних (нижних) решений. Именно это обеспечивает приемлемое поведение ширины верхних и нижних границ.

Условия Важевского, предъявляемые к векторной непрерывной, но не обязательно к дифференцируемой функции f, и обеспечивающие существование верхнего и нижнего решений уравнения г' = f (£, г) при соблюдении соответствующих дифференциальных неравенств, состоят в следующем: функция f (•) определена и непрерывна в открытой области ^ = { (£, г) | £0 < £ < £0 + т, \\г — г01| < ^ } и непрерывна в ней, функция f — квазимонотон-ная и неубывающая, т. е. такая, что все ее скалярные компоненты /г(£, г) — монотонные неубывающие функции всех своих аргументов, кроме £ и гг, которые считаются фиксированными:

4 < 4 г' = г"

для ] = 1, 2,... , г, ] = г. Тогда справедливы неравенства

ЛСМ') < УДМ")-

Отсутствие требования монотонности по £ существенно для практических задач, так как при этом не устраняется возможность оценивать решения нестационарных систем, у которых функции ^(£, •) с течением времени могут как убывать, так и возрастать, в частности для уравнений с переменными и периодическими коэффициентами.

Кроме того, отсутствуют требования на характер поведения функций по собственной переменной гг. Это имеет значение, в частности, в тех случаях, когда изолированная подсистема устойчива и введение условия неубывания /;(•) по гг сделало бы метод оценки, основанный на теореме Важевского, практически бесполезным.

Условия Важевского легко проверяются в случае линейных систем. Пусть дана система обыкновенных дифференциальных уравнений

г' = W (£)г,

где элементы матрицы W(£) могут быть как функциями, зависящими от £, так и постоянными величинами:

( юц (£) ^12(*) - - - ^1Г (£) \

W

V ^г1(£) ^Г2(£) ... ^гг(£) /

В соответствии с определением Важевского функция у будет квазимонотонной и неубывающей в том и только в том случае, когда все внедиагональные элементы матрицы W будут неотрицательными:

Щу > 0, г = ^ г, ^ = 1, 2,... ,г.

Сформулируем теорему Важевского [2]. Пусть дана система ОДУ

г' = у

с начальными условиями

г

вектор-функция У(•) определена и непрерывна в области

^ = {

и удовлетворены условия Важевского квазимонотонности и неубывания У(•). Тогда имеем

1) если решение задачи Коши (3) - (4) единственно и задана вектор-функция г>(£), непрерывная на интервалах [£0,£0 + Т1] или [£0 — т2,£0] такая, что выполняются строгие неравенства

г^) < г0,

^(£)' < У(£, V), £0 < £ < £0 + Т1,

то справедливо неравенство

< г(£) (6) соответственно на интервалах [£0,£0 + Т1 ] или [£0 — т2, £0];

2) если решение задачи Коши (3), (4) неединственно, то на некотором интервале [£0 — ^2,£0+^1], ^1,^2 > 0, существуют верхнее (максимальное) г и нижнее (минимальное) г решения такие, что

г

и эти решения проходят через точку (£0,г0).

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

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

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

Большинство задач, описываемых системами обыкновенных дифференциальных уравнений с неточно заданными данными, может быть сведено к задаче с интервальными начальными данными

У' = /

t G [to j tf ], y G Rn, Уо G Yo G IRn.

Этот факт был упомянут еще в книге Р. Мура [1] (см. также [15]). Суть его достаточно

очевидна: в исходную систему нужно ввести дополнительное уравнение относительно вспо-

могательной переменной (параметра) системы с нулевой правой частью и соответственно интервальными начальными данными. Далее во многих случаях принято ограничиваться построением интервальных оценок для автономных систем ОДУ или динамических систем. Для нашего случая это не имеет принципиального различия, так как wrappiing effect наблюдается и для них, но исследования свойства структурной устойчивости производились для автономных систем уравнений. Следовательно, в дальнейшем будем считать, что в системе ОДУ (8) правая часть не зависит от t.

При этом мы хотим вычислить интервальную функцию Y(t) = [Y(t), Y(t)], для которой y(t) G Y(t) при всех t G [t0,tf]. Функция Y(t) учитывает также гарантированные границы глобальной ошибки решения задачи (8). Этот подход расширяет методику оценки численных решений с учетом всех типов погрешностей.

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

Классификация выглядит так:

А) способ основан на применении методов сплайн-коллокации решений дифференциального уравнения на заданной сетке узлов сплайнами большого дефекта; это позволяет находить символьные формулы коэффициентов сплайнов обычными подстановками и получать формулы приближенных решений;

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

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

2. Возмущение векторного поля

Главная особенность классических понятий устойчивости состоит в том, что они относятся к конкретной системе и поведению ее траекторий в окрестности точки равновесия (притяжения или отталкивания). Совершенно другого подхода требует анализ поведения

семейства траекторий, включая особые точки, сепаратрисы и предельные циклы, взаимное расположение которых определяет структуру семейства; этот анализ возникает при рассмотрении всех систем, “близких” к стандартной (8).

Согласно определению, введенному Понтрягиным и Андроновым [6], система (8) называется структурно устойчивой (грубой), если топологический характер траекторий всех близких к ней систем такой же, как у (8). Определенные математические трудности связаны с уточнением понятия “близкая система”, а также с конкретизацией смысла, который подразумевается под “эквивалентностью” траекторий, или их “топологическим подобием”. Но основная идея остается ясной: достаточно малые изменения структурно устойчивой системы должны приводить к соответственно малым изменениям в динамике ее поведения.

Пусть динамическая система Ь(у, р) определяется системой обыкновенных дифференциальных уравнений

для вектора состояния у и зависит от некоторой совокупности параметров р. Появление параметров здесь отражает тот факт, что к концепции структурной устойчивости близка теория бифуркаций. Это упоминает в своей монографии [25] В. И. Арнольд: “Бифуркация является раздвоением и используется для обозначения всякой качественной, топологической перестройки картины при изменении параметров, от которых зависит изучаемый объект. Из особых точек векторного поля на плоскости точками общего положения являются узлы, фокусы и седла, в то время, как, скажем, центры разрушаются сколь угодно малым шевелением поля”.

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

Пусть при малом шевелении (т. е. при малом возмущении) “поля” Ь полученная динамическая система будет эквивалентна исходной. Такую систему называют структурноустойчивой, или грубой, по Андронову — Понтрягину.

Рассмотрим в качестве примера динамическую систему, состоящую из двух уравнений

У1 = ^(У!^), У2 = ^2 (У1, У2) ,

и возмущенную систему

У1 = С1(У1,У2), У2 = ^2 (У1, У2) ,

которые определены в круге О = { (У1, У2) | У2 + У2 < 1 }. Предположим далее, что векторы (^1, ^2) и (С1, С2) не совпадают с касательной к границе области О и всегда направлены внутрь О.

Дифференциальное уравнение (11) называется структурно-устойчивым, если существует 8 > 0 такое, что для любого дифференциального уравнения (12), удовлетворяющего условиям

д № — Сг)

дх4

< 8,

во всех точках О существует гомеоморфизм (взаимно однозначное непрерывное отображение), отображающий траектории системы (11) в траектории системы (12) и сохраняющий ориентацию этих траекторий. Другими словами, система структурно устойчива, если траектории близких систем можно непрерывным образом деформировать из одних в другие, сохраняя ориентацию потока.

Теорема Андронова — Понтрягина [6] о структурной устойчивости (в круге) утверждает следующее.

Дифференциальное уравнение (11) структурно-устойчиво в том и только в том случае, если 1) особые точки системы (11) гиперболические, 2) замкнутые траектории системы (11) гиперболические, 3) ни одна из траекторий системы (11) не соединяет седловые точки.

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

В глобальном смысле намеченная выше программа может быть реализована для компактных двумерных многообразий. Этот результат, полученный Пейксото [26, 27], является одной из ранних вех в развитии данной теории. Для высших размерностей множество грубых полей по-прежнему обширно, но не является уже всюду плотным. Класс векторных полей, называемых системами Морса — Смейла, образует непустое открытое подмножество, а его элементы являются грубыми. Эти результаты верны для компактных многообразий любой размерности, но только в случае многообразий размерности 2 системы Морса — Смейла являются также плотными.

Определение. Пусть V — компактное многообразие размерности п и X € кг(М). X называется векторным полем Морса — Смейла, если

1) имеет конечное число критических элементов (особых точек) и все они гиперболические;

2) из того, что а1, а2 — критические элементы поля X, следует трансверсальность устойчивого многообразия точки а1 к неустойчивому многообразию точки а2;

3) П(Х) совпадает с объединением критических точек поля X.

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

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

Yn+i = Yn + йФ

к методам вида

Yn+1 = Yn + h0(yfc, h),

где 0 уже несколько отличается от Ф. При этом операции над интервалами допускают внесение малых возмущений во все члены 0fc (yfc ,h), что может привести к появлению качественно других систем, в том числе опосредовать появление неустойчивых систем уравнений в пределах внесенных возмущений. Далее новые неустойчивые системы будут входить в совокупность систем ОДУ, для каждой из которых должен выполняться принцип сравнения решений. Анализ устойчивости при этом отличается от классического исследования. Аналогичный факт убедительно продемонстрирован в работе [24], где показано, что при изучении поведения аттракторов и “детерминированной” стохастики большое влияние оказывают ошибки округления и сдвиги чисел при хранении их в памяти.

Общий вид интервального алгоритма можно представить как тройку (X, Фf , h), X G IRn.

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

Обосновать это утверждение можно, например, следующим образом. Значение интервала Yn на n-м шаге мы получаем как

Yn = G

где G(Yn, Фf (y, t)) — некоторая интервальная формула, Фf (y, t) — интервальное расширение правой части исходной системы. При реализации некоторых операций над граничными точками интервалов осуществляется направленное округление, что приводит к появлению возмущения структуры системы дифференциальных уравнений. При этом выполняются включения Yn D { y(t,y0) | |/(t, y) + [—е,е] G Фf, y G Y }, где сложение вектора правой части понимается покомпонентно. В силу сказанного происходит возмущение векторного поля. Верхняя и нижняя границы функции G(Yn, Фf (y, t)) строятся так, чтобы мажорировать решения всех ОДУ, правые части которых включаются в функцию G. Поскольку возмущение векторного поля вызывает возмущение структуры верхних и нижних границ, то системы ОДУ, правые части которых включаются в функцию G, не могут состоять лишь из устойчивых систем ОДУ. Согласно изложенным фактам структурной устойчивости, в этом множестве в большинстве случаев найдутся неустойчивые системы ОДУ. Как упоминалось выше, негрубые системы могут заполнять целые области пространства динамических систем. Таким образом, верхняя и нижняя границы интервальных оценок в силу своего построения должны мажорировать в том числе неустойчивые решения. Это является одной из главных причин “эффекта обертывания” (wrapping effect) — экспоненциального роста границ решений.

В качестве примера рассмотрим систему двух линейных обыкновенных уравнений, на примере которой, как было отмечено, показывал влияние этого эффекта Р. Мур [1]. Пусть

У' = АУ,

где у — вектор размерности два, А — матрица коэффициентов,

А

0 1

-1 0

Общая схема большинства пошаговых интервальных методов построения границ множеств решений обыкновенных дифференциальных уравнений1 выглядит как

У(^+1) = У(*Л) + йтАУ(^).

Здесь присутствуют интервальные векторы У (£к) и интервальные арифметические операции. В силу определения направленных округлений, при выполнении интервальных операций получим для компоненты У1 соотношение

*1^+0 = У1(^к) + Ь,к([—£, £]У1(£к) + [1 - £, 1 + £]У2(£к)).

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

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

гг лИга) ЛЛ

границы интервалов на п-м шаге приближения У1 , * 1 , У2 , * 2 ; тогда можно записать

метод последовательных приближений в виде

I

ХЇ

Ї

У? М, у2п)м'

У0, УЇ

У

р

—У'Г

Пусть У0 = а1, У0 = а1, У 2 = а2, у2 = а2; тогда

у(п)_____а _ а

у1 _ а1 . — а2

МП— 1

їй—2

4-П—3

— а1

п! (п — 1)! (п — 2)! (п — 3)!

+

4-П— 4

4-П —5

+а.1

— а2-

(п — 4)! (п — 5)!

+ ... + а

“1>

У(П) _ а --а У 1 — а1 і —2

П— 1

П— 2

П— 3

— а1

+ а2‘

п! (п — 1)! (п — 2)! (п — 3)!

П— 4

П— 5

+а1

— а2

(п — 4)! (п — 5)!

+ ... + а1,

У

П— 1

П— 2

П— 3

а2 — + а

а2

аг

п! (п — 1)! (п — 2)! (п — 3)!

+

*В последнее время часто называемых в литературе “наивными” методами.

г

П

2

tn-4 tn-б

+a2 7--------ГТГ + a17---------FT? + • • • + a2,

(n — 4)! (n — 5)!

F(n) _ tn _ tn-1 tn-2 tn-3

Y2 = a2~ — ai7 гг; — a^T ^ — aw ;г7т+

" (n — 1)! (n — 2)! (n — 3)!

4-п—4 j.n-5

n!

_ tn—4 _ tn _

+a^T-----777 + a17---777 + • • • + a2 •

(n — 4)! (n — 5)!

Несложные преобразования этих формул и переход к пределу позволяют получить выражения для длин интервальных оценок:

Y1(t) — Y1(t) = (a1 — a1) cosh t + (a2 — a2) sinh t,

Y2(t) — Y2(t) = (a2 — a2) cosh t + (a1 — a1)sinh t,

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

Динамику системы дифференциальных уравнений (14) можно описать, рассмотрев ее как уравнение осциллятора

У" + ciy' + С2У = О, У (to) = a, y'(to) = О.

Проанализируем влияние параметров c1 ,c2 на траекторию системы. Если с1 = О, то на фазовой плоскости (y, y) все траектории являются концентрическими окружностями с радиусами a\Jt и центром в начале координат.

Если ввести в систему трение, то при условии с1 > О точка равновесия y = y = О на

плоскости есть либо узел, либо фокус. В обоих случаях начало координат является по-

ложением устойчивого равновесия по отношению к возмущениям в c1, c2. Эта ситуация резко контрастирует со случаем системы без трения (с1 = О), когда начало координат есть центр и качественная картина поведения изменяется при сколь угодно малых изменениях с1. Таким образом, при с1 = О система структурно неустойчива, а при качественных изменениях возможны появления систем неустойчивых, по Ляпунову.

Возможно трактовать как закон движения точки y = (y1,y2,... ,yn) векторного пространства Rn систему обыкновенных дифференциальных уравнений

| f (15) правые части которой удовлетворяют условиям, обеспечивающим существование решения достаточной гладкости. Кроме того, будем считать, что каждое начальное условие

y(s) = Уо

однозначно определяет решение

y

исходной системы, причем это решение определено при любом t.

Точка Уо, двигаясь по траекториям системы, за время от s до t перейдет в новую точку y(t). Как было отмечено выше, оператор U(t, s), определяющийся равенством

U

и задающий переход от точки у0 к новой точке у(£), называется оператором сдвига по траекториям системы. Из определения и свойств оператора сдвига вдоль траектории (оператора Коши) следует, что однозначная разрешимость при каждом начальном условии системы уравнений (15) означает непрерывность оператора сдвига. Развиваемый ниже подход к оцениванию множеств решений систем ОДУ с интервальными данными состоит в объединении символьного вычисления формул приближенного решения с последующим нахождением интервального расширения. Тем самым мы аппроксимируем оператор сдвига по траекториям системы формулой в символьном виде, что в определенной степени ослабляет требования к методу нахождения решений в аналитическом виде, хотя выдвигает некоторые новые специфичные условия.

3. Сдвиг по траектории и символьные формулы для нахождения интервальных оценок

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

I =/ ((,у)’

У

где У0 6 Шга. Обозначим совокупность точных решений задачи (16) как

г*С0 = { уСО 1 у' = /у) & у(^) 6 у0}.

Пусть на интервале [£0,£к], где рассматривается задача (16), введена сетка узлов

£0 < ^1 < ... , ^ , т = тах{ £г+1 — £г}.

г

Развиваемый нами алгоритм построения интервальных оценок множеств решений основан на символьном вычислении коэффициентов приближенных решений с последующим нахождением их интервальных расширений и интервальной оценкой погрешности сплайн-коллокации. Ранее в работах [17-20] была изложена методика применения сплайн-колло-каций для нахождения символьных формул приближенных решений. Широкое применение сплайнов объясняется их хорошо известными аппроксимирующими свойствами и удобством для вычислений символьных выражений. При этом мы разделяем следующие классы задач: 1) системы ОДУ с линейной правой частью и 2) системы ОДУ с нелинейной правой частью. В первом случае для определения коэффициентов сплайн-решений в методе коллокации можно решать системы линейных алгебраических уравнений относительно этих коэффициентов точно, пользуясь пакетами аналитических вычислений на ЭВМ. Решение нелинейных систем ОДУ потребует некоторых изменений при выборе сплайн-функций и их коэффициентов, хотя и не внесет принципиальных отличий в общий подход. Для систем ОДУ с линейной правой частью обоснование нашей методики изложено в работах [17-20]; здесь мы распространяем доказательство на общий случай систем с нелинейной правой частью.

Пусть для правой части /(£,у) системы (16) выполнено условие Липшица в виде

/к

а в качестве нормы || • || выбрана чебышевская норма, т. е. мы полагаем

Для аппроксимации каждой компоненты ук вектора решений у используем полиномиальные сплайн-функции Зк степени т дефекта і Подбор значений параметров т и і будет осуществляться на основе требования устойчивости построенной сплайн-функции.

Основные этапы нашего алгоритма решения систем ОДУ вида (16) можно описать так. Этап 1. Выражаем значение сплайна з к (і) в любой интересующей нас точке і интервала [іо, і к] как функцию от начальных значений уі (іо), • • •, уп(іо)-

Этап 2. Оцениваем разность значений сплайна з к (і) и точного решения ук (і) с помощью выражения

где г(£) не зависит от Л, т > 0 — некоторая константа, не зависящая от к.

Этап 3. В качестве интервальной оценки множества решений по каждой компоненте используем интервальную функцию

где зк (і) — объединенное интервальное расширение найденных сплайн-функций по всем уо Є Уо, т. е.

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

На интервале [іо,ік] введем равномерную сетку і = іо + ік, к = (ік — іо)/-^, і =

0,1, • • • , N. На каждом подынтервале ^ = [і^, іі+і], і = 0,1, • • •, N — 1, для к-компоненты сплайн-функции з к (і) справедливо представление

тах | ук (і) — Зк (і) | < ктг(і), к

^к

Зк(і) = и Зксо-

УоЄТо

где коэффициенты удовлетворяют в точке іі условиям

і = 0,^•••^

причем

сок = укй)(іо), І = 0, ^ • • •, ^

а также условиям коллокации в точке и+ь

4

Для доказательства разрешимости и единственности схемы сплайн-коллокации запишем (17) в виде

Дг = ^(г, Л),

где

чк

' 11 ’

г = (г*)т € Епй, г* = Л^1 С^ ^(г, Л) = (^(г,Л))т € Егай,

Я(г, Л) = Л11 тк11-1)(**+1,5(**+1)) — ^ С*

(г — 1)!

Матрица Д имеет размерность х и не зависит от выбора правой части задачи

(15); она составлена из п диагональных блоков Дь, в которых

= [(? + 3 — 11)!]-1> /1,3 = 1, 2,---,^, [(—р)!]-1 = 0,

р € М, / = (к — 1)^ + /1; /1 = 1, 2,...,^, к = 1, 2,...,п.

Пусть правая часть f — функция, не зависящая от у; тогда получаем задачу интерполирования, по Эрмиту, имеющую единственное решение [19]. Следовательно, матрица Д не вырождена для любых функций т(х,у). Функция ^ удовлетворяет условию Липшица в норме пространства Шай. Применяя теорему Банаха о неподвижной точке к отображению

Д-1^(г, Л) : ^ Егай,

имеем при достаточно малом Л существование единственной неподвижной точки. Разрешимость и единственность схемы сплайн-коллокации следуют из этих рассуждений и схемы доказательства.

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

9 й

«к(*) = ^ (*) + ^ 5к,)(**+1)^2^ (*) + «к(*г+1)Т20(и) ,

У=0 У=1

где Ту(*), Т2у(*) — базисные полиномы интерполирования, по Эрмиту, в общем виде записывающиеся как

т (*) = ^2)(*— **) г ^У г г(*— иу

*() 3! ^ (а* — 3 — г)! ' ^*а^-У-г \

3! Г=1

где точки **, г = 1, 2,... , N — узлы интерполяции кратности а*:

N

(*) = П( *—*••

В нашем случае интерполяция происходит по двум узлам ** и **+1 кратности д + 1 и d + 1 соответственно. Поэтому из (19) получаем

^—«.+.)й+15£ (—л)^-"-2  ( 9+/— 31— г) (*—**)9+1-г,

3‘Г + ' ^ V д + 1 — 3 — г

^ Г=1 4

1 й+1-у / _ _ 1 \

Т2У

Здесь

—d — 1 \

д + 1 — 3 — г у (д + 1 — 3 — г)!

и аналогичное выражение можно выписать для

—д — 1 d +1 — 3 — г

Сравнивая степени полиномов в (18), замечаем, что справа стоят полиномы, наивысшая степень которых равна т + 1, а слева — полиномы степени т. Отсюда следует, что коэффициенты при старших степенях равны нулю. На основе этого получим соотношение

Е4л(г*)3Л'+‘(—!)У+‘ ( —^—/ ) + ЕЛ+0 1 '*+'(—Ч*1 ( 7_"/ ) = о.

или

где

9 й

«к

У=1 У=1

(т — 3)! /^ д , • п о

а у = ---------------;— . , 3 = 1, 2,..., д,

у т! \ 3

ЬУ = (—1)*+. *), 3 =1,2,...

т! 3

d, к =1, 2,..., п,

3

а т = д + d — степень сплайна. Соотношения (20) можно рассматривать как одношаговый разностный метод решения соответствующей задачи.

Поскольку производная у' также является решением соответствующей интерполяционной задачи Эрмита, то выражение

^ аУ Л «к7)(*г) + X! Л 5кУ)(**+1) у=1 У=1

является квадратурной двухточечной формулой Эрмита, примененной к интегралу г ^+1

/ тй (*, у(*)^* = у*+1 — у*, г = 0,1,...,Ж — 1, к = 1, 2, ...,п,

причем **— узел кратности д, **+1— узел кратности d• При д = d одношаговый метод принимает вид

9

^(Іі+і) - «к(**) = X! ^О? ^ (^ + (—1)(^+1)«к7)(^г+1) і=1

Локальная ошибка метода (20) определится при подстановке точного решения соответствующей гладкости:

9 й

Ук (и*+1) — Ук(**) — X! ЛауукУ)(**) — X! ЛУ(У)(**+1) =

у=1 У=1

(—1)" Г *+ , й

(_1)т ГЧ+1

I гГ+^К)(Є - У"(Є - і.+іҐ4е

(-1)" „ ,ч, у(т+1)(п)Л('

т,

^!<! т!(т + 1)!'

ДЛЯ некоторого П ^ (^г,^г+1)-

Введем обозначение е& (^) = (^) — у^ (^) и перепишем (20) в виде

«к(іі+1) = ек(Іі) + Ук(ІІ) + ^ Л/7а^-ук?)(^г) + ^ ^6,'уі^)(іг+1) +

І=1 І=1

+X] ^ а ек,)

і=1 І=1

Вычитая у^(**+1) из обеих частей (21), получаем

ек(іі+1) = ек(іі) + ук(іі) - ук(іі+1 ) + X ^а^-ук?)(^г) +

І=1

+ X ^^у

І=1 І=1 І=1

Учитывая (20), оцениваем е&(іі+1) из (22):

|ек(«і+1)| < |ек(Іі))| + ,Л| п,шах |у(’"+1)(ч)|Ь(т+1)+

т!(т + 1)!

9 й

+Х |ау |л ек,)(**)+х |ьу |л ек7)(**+1).

у=1 У=1

В силу достаточной гладкости решения у(*) и сплайна з(*), из соотношений

4У) = уУ) = ту-1)(**,у(**)),

9

к = 1, 2,... , п, 3 = 1, 2,... , d*, d* = тах(д, d), получаем с учетом условия Липшица для правой части неравенства

< т|ек(**)|.

Подставляя эти равенства в (21), имеем

d!g!

или

где

|ек(**+1)| < |ек(**)| + !( ' + 1)! птх |у("+1)(П)|л("+1) +

т!(т + 1)! че^/

9 9

у=1 У=1

|ек(**+1)| < а |бк(**)I + 7,

-1

а

У=1

у=1

7 =

d!q!

-1

т!(т + 1)! Налагая условия на Л, имеем

та х|у("+1) (п)|Л"+1 [1 — £ №т

1 — X |Ьу|ЛУТ > ^ > о

у=1

и далее последовательной подстановкой из (23) получаем

|ек(**+1) 1 < а*+1 |ек(*0) 1 + 7(а*+1 — 1)/(а — 1).

Величина (*0) = 0 в силу постановки задачи, а а*+1 преобразуем к следующему виду

а

*+1

-1

1 — £>, |Л т 1  £>.> |Л т) +

У=1 / V У=1

-1

ч У = 1

У=1

у=1

*+1

-1

у=1

у=1

*+1

Обозначим

у=1

у=1

у=1

й

й

й

а

й

9

й

й

тогда (24) принимает вид

аг+1 = (1 + ЛХр)г+1 < ехр(ЛрЬг) и погрешность (*г+1) оценивается как

|е*(**+1 )| < 7 (ехр(Л,р£г) - 1)/(ЛХр), к = 1, 2,... , п, г = 1, 2,... , N — 1. Для вектора ошибки метода сплайн-коллокаций

Е

в норме максимума модуля получим аналогичное неравенство, обосновывающее сходимость метода:

IIе(**+1>П = тах |ек(**+1)| < техр(*?^р)—1 •

к ДЬр

Заметим, что подобные неравенства можно вывести и для погрешностей производных 15к',)(**) — #(**)!, 3 = 1, 2,... , ^, к = 1, 2,... , п, г = 1, 2,... , п1. Используя далее интерполяционные свойства сплайн-функций, эти неравенства можно распространить на любую точку * интервала [*0, ].

Произведем теперь проверку свойства А-устойчивости метода (20) на решении тестовой системы уравнений

Ук = АУк,

Ук

Применяя (20) к задаче (25), получаем для к-й компоненты сплайн-функции в выражение

вк (**) = Л(АЛ,)г,

где

d 4-1

R(z) = 1 + X azj 1 — X bjzj , z = Ah

J J I I ^ y jj

j=i / V j=i

Таким образом, мы обнаружили, что метод (20) аппроксимирует задачу (15) с порядком m + 1; следовательно

exp z = R(z) + O (zm+1) ,

т. е. R(z) — это (q, ^)-аппроксимация Паде функции exp z.

Как известно, методы, основанные на аппроксимациях Паде, A-устойчивы, если q = d или q = d — 1 либо q = d — 2. Чтобы рассмотреть поведение интервальной функции Y(t, h), вновь обратимся к схеме построения сплайн-решения и покажем, что полученный сплайн будет линейной функцией относительно начальных значений y1(t0), • • • , yn(t0), а коэффициентами при них служат полиномы относительно t.

Можно вычислить

SW(t) = V Cfc (t — ti)j 1 I V ck (t — ti)q+j

k () j (j — 1)! + <>q+j (q + j — 1)!

-1

q

и

тк)

<1_

(г'

I- .7 = 1

4=4.

г+1

Е

7=1+1

Ха*7 (г) ( ^7' Г)(^

г=1

4=4,

+1

к =1, 2,... , п, I = 1, 2,... , (. Тогда (17) запишется в виде

9 (г - г.)7-1 , ^ к (< - *1),+7-1

Е

7

О - 1)!

+ Е ск

7=1

9+7 (9 + О - I)!

ЁIЁ

7=1 к г=1

9

м'1-'+г

* л Е ск

*

^9+71-1+^

и1=,-,. Л(О1 - 17Г ,9+71 (9 + О*1 - 1 + г)!

\Т

I = 1,2,.... (. Относительно вектора неизвестных (с*9+1. ск9+2,..., с* 9+й) уравнение (26) примет вид

Vс* ^+7-'

7^ ‘л+7 (9 + О - ()!

п ( '

е(е

7=1 1г=1

I

[а*7 (^г+1)]

А * й9+71-'+Г

71=1С ’ 9+71 (9 + О - I + г)!

п'

ЕЕ

7=1 и=1

Е

71='-г

"г , 71

^71-'+г (п - 1)!

Ус*.-

-1

7='

(О - 1)!

Рассматривая (27) как к-уравнение системы линейных алгебраических уравнений относительно вектора неизвестных

размерности п(, замечаем, что матрица коэффициентов не содержит компонент, зависящих от начальных значений у1(^0),... , уп(г0). На первом интервале [^о,^1] правая часть системы (27) представляет собой линейную функцию относительно у1(^0),... , уп(г0), в силУ (17).

Решая систему (27) в узле коллокации ^1, получаем вектор решений, являющийся линейной функцией относительно у1(^0),... , уп(г0). Применение описанной процедуры на интервале [^1,^2] начинается с вычисления коэффициентов с*7- по формулам (24), что также сохраняет линейную зависимость относительно начальных значений. Затем вновь решается система (27), в правую часть которой подставлены значения компонент сплайна 5.

Метод математической индукции позволяет доказать, что последовательное применение описанного выше метода нахождения коэффициентов сплайна даст в любой точке значение сплайн-решения как линейную функцию относительно значений у1(^0),... , уп(г0).

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

5* (г) = Р*1(г, лОш^) +... + Р*п (г, ^)уп(^0).

п

г

к

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

Для систем обыкновенных дифференциальных уравнений (16) с нелинейной правой частью мы применяем модификацию алгоритма, позволяющую находить символьные формулы простыми подстановками. Это не умаляет общности предыдущего доказательства сходимости, но обусловливает некоторые особенности схемы реализации.

Введем обозначения

/к9)(г,У1,...Уп) = д;/*9 1)(г,У1,--.,Уп) + Х^'(г,У1,...,Уп) дУ' /к9 ^Уь...^^

'=1

/к0)(;,У1,...,Уп) = У0, 9 =1,...,г к = 1,...,п.

Будем строить полиномиальную сплайн-функцию степени г +1, гладкости 1, аппроксимирующую решение у (г) согласно схеме

5* (<0) = У0, к =1,...,п,

5* (г) = 5* (гг-1) + X /к7) (гг-1, 51 (гг-1),..., 5п(гг-1))(г ^ 1

7=0

(О + 1)!

г € [гг-1,г.], % = 1,...,п, к =1,...,пг.

Отметим, что сплайн-функция такого большого дефекта редко используется в методах сплайн-коллокации решения систем обыкновенных дифференциальных уравнений, и, вообще говоря, такая схема весьма похожа на метод рядов Тейлора, но рассмотрение сплайнов позволяет связать вопрос оценки погрешности метода сплайн-коллокации с точностью построения двусторонних оценок сразу на всем интервале в зависимости от величины шага сетки Л. Запишем разложение компонент точного решения у(г) по формуле Тейлора на интервале [гг-1, г.]:

Ук(г) = £ - г,)7 + уГ‘'&,<)„ л(.'+«

,(г+1)/

7=0

(г + 1)!

-

С*,г € (гг, гг+1), к — 1, • • • , пг • Обозначим ек (г) = |ук (г) - 5к (г)|, к = 1,... , пг. Тогда

у*(г) - а*(г) = IЁ - г‘-1>7 + *<( - г.-О^4-

7=0

-5к

(г - г.-1)7+1

7=0 г-1

(О + 1)!

<

<

у*

7=0

(г - г.-1) (о + 1)!

7+1

+

+

Ук

(г +1)!

г+1

Г

Учитывая непрерывность сплайн-функции и условие Липшица, которое выполняется для производных правой части (16), получим

П

|У(^+1) (^г-1> - • • • , ^п(*г-1))| < Ь ^ I У* (**-1) - ^г-^ <

1=1

п

< Ьк^еД^)^ = 1, • • • п.

1=1

Аналогичные рассуждения приводят к оценке

|ук (Г+1)(бг ,0 — /( ) (^г-1, «1 (^г — 1), • • • , «п(^г-1))| < |у( + ) (£к ,0 — у( + )(^г-1)| +

+ |/Г) (**-1,У1 (*г-1), • • • ,Уп(*г-1)) - //^(^-Ъ^г-О, • • • ,вп(*г-1))| <

п

< ^

1=1

Заметим, что в этих неравенствах были использованы модули непрерывности ш производной (г + 1)-го порядка решения, которые в общем виде определяются как функция

ш(/,8) = 8пр{ |/У) - /(*")| | |^ - ИЧ < € М}

Непосредственно из определения ясно, что модуль непрерывности ш функции / характеризует величину максимальной осцилляции этой функции на отрезке длины 8 > 0. Модули непрерывности, как и модули гладкости, с успехом использовались во многих аппроксима-ционных задачах и особенно для выражения погрешностей численных методов, в которых участвуют функции с компактной областью определения, когда значения функций могут быть заданы или численно определены с наперед заданной точностью в конечном (или счетном) множестве точек этой области.

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

/ п \ (г-1) м+1 йг+1 / п \

екСО < ек

Замечая, что

г-1 ^

^0 (Т+Г)! < ехР(^) < exP(1),

неравенство (31) можно записать в виде

( ^Г+1 \

е к(*) < е к(*гН 1 + ^Ьк ехр(1) + (г + 1)| Ь к ) + п ( Лг+1 \ Лг+1

+ X) ^ (]хЬ к еХР(1) + (г +1)! Ь к) + (г + 1)! ш(У( ,^ <

h

r+1

< ek(ti)(1 + hck) + Ckh X e(ti) + (r' + 1)!w(ykr+l),h),

1=1, 1=k

(r + 1)!

где Ck = L^exp(1) + (—+ ^. Если ввести вектор E(t), составленный из величин ek(t),

E

т

то совокупность покомпонентных неравенств (32) запишется в матричном виде

E(t) < (I + hA)E(ti) +

h

r+l

где A — матрица размерности n x n

A

Cl Cl

(r + 1)!

Cl

w(h)B,

C2 C2 . . . C2

Cn

т

Cn Cn .

B — единичный вектор размерности n,

B =

а через w(h) мы обозначили величину

w(h) = max w(yk?"+l), h). kk

В дальнейшем используем норму вектора |E(ti)| = maxk Ek(t) и соответствующую матричную норму

j=l

где gij — элемент матрицы G. Запишем последовательность неравенств

hr+1

hr+1

(r + 1)!

hr+1 (r + 1)!

w(h)(1 + h|A|)2

hr+1

Складывая эти неравенства и учитывая, что ek(t0) = 0, получим

IE(t)| <

(r + 1)! | A | hr w(h) ’

n

Естественно, что это неравенство справедливо и для отдельных компонент вектора Е(;). Аналогично предыдущим рассуждениям можно оценить отклонение производных точного решения и сплайн-решения (т. е. | ук?)(£) - «к(^)|, 1 = 1, • • • , г,):

Выведенные оценки обосновывают сходимость развиваемого нами метода построения сплайн-функций, аппроксимирующих решение исходной задачи, на всем интервале [£о,£к] при шаге сетки Л, стремящемся к 0. Схема доказательства этого факта основана на свойствах интервальных расширений, построенных по кусочно-полиномиальным символьным формулам и оценке глобальной погрешности, полученной в [19, 21, 22].

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

4. Приложения

Представленный интервально-символьный метод достаточно успешно был применен к различным системам ОДУ с интервальными данными.

1. Рассмотрим, как в работе [28], систему ОДУ

^ж/^ = а1х + 61уг + 61 жг,

^у/^ = а2У - Ь1уг - Ь1жг,

^г/^ = -а3г +

с коэффициентами

«1 = 9-700378782, 61 = -0-227266206, а2 = -16^700378783, 62 = 2^616729797,

а3 = 2^666666667, 63 = -1•783396463•

Следует отметить, что эта система получена с помощью линейного преобразования из известной системы Лоренца с коэффициентами г = 28, о = 6, 6 = 8/3.

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

/ [3^50078720472498 - 8, 3^50078720472498 + 8], \

^•33033119770258 - 8, 3^33033119770258 + 8],

\ [26^9999999999 - 8, 27^00000000001 + 8], )

с 8 = 10-7.

В работе [28] рассматривалась модель Лоренца, для которой было предложено на основании численного счета математически строго устанавливать границы периодической траектории, определяющей границу “странного” аттрактора. При этом использовались строгие оценки производных, обеспечивающие наличие периодической траектории (границы

странного аттрактора). Наши результаты совпадают с приведенными в работе [28], но метод обладает большей общностью.

2. Для системы ОДУ

_ж/_; = у,

_у/_; = -0^2у - ж - ж3 + 50 сое 2;

с начальными данными ж(1) = 0^5, у(1) = 1 была получена оценка для седловой непо-

движной точки:

ж € [5^20899927, 5,2114779], у € [1^45899956,1.4642199].

Заметим, что эта система обладает свойством сжатия площадей: ^ ^ < 0, т. е. суще-

дж

ствует число К такое, что для любых начальных данных ж0, у0 имеет место неравенство

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

3. Интервально-символьный метод применялся нами для оценки решений линейного управляемого осциллятора с вязким трением при нулевых начальных условиях

_2у , _у . ,

_ + а__ +ку = и,

|«| < 1. у(0) = ^ = 0.

Здесь у — скалярная переменная, и — скалярное управление, к, а — постоянные коэффициенты. Без потери общности можно считать, что коэффициент к принимает одно из трех значений к € {-1, 0,1}. Случай произвольного к сводится к одному из трех за счет изменения масштабов.

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

_у

В случае, когда к = 0, а = -1, введем обозначения у1 для у и у2 для —. После первого

1 _; шага получаем для компоненты у1 (;) вектора решений формулы, зависящие только от

12

начальных значений у01 и у02 :

1/,ч ( у0 , у0 ^ , 5 , (уО , у^Л ,4 , (уО , у02^ , 3 , уО , у0^ , о , 1 ,, 1

у (;) = ^120 + 36^; Л ^24 + 4^3 Л 4-6 Л + Л + уо Л + у0'

После второго шага для компоненты у1 (;) вектора решений получаем формулы:

у1 (;) =( у0 + у0 ^ Л10 +(^ Л9 + / 1%0 + М ] Л8 +

у () ^24400 + 1624^ + V1440 + 182^ + ^288Г + ™ +

13у 2880 ' 1860

+ ГУ. + уЛ ft7 + (3М +24y^\ ft6 /6y1 + 4y2 I ,i4

85 64/ V 360 360 / V 25 15

, (2у0 , 2у0 ^ 7 4 | /" 4у0 , 8у°\ 3 / 1 2^2 , 0 Ь , 1

+ 1-Г + -Г] ^ + 1~ + ~7 ^ + ^2уо + 3у^ Н +2уо Н + уо•

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

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

[1] MooRE R. E. Interval analysis. Prentice Hall, Englewood Cliffs, 1966.

[2] Walter W. Differential and integral inequalities. Springer, Berlin, 1970.

[3] Калмыков С. А., Шокин Ю.И., Юлдашев З. Х. Методы интервального анализа. Наука, Новосибирск, 1986.

[4] МАртынюк А. А., Гутовски Р. Интегральные неравенства и устойчивость движения. Наук. думка, Киев, 1979.

[5] ЧАплыгин С. А. Новый метод приближенного интегрирования дифференциальных уравнений. В: “Избранные труды. Механика жидкости и газа. Математика”. Наука, М., 1976, 307-362.

[6] Андронов А. А., ЛЕонтович Е. А. Динамические системы первой степени негру-бости на плоскости. Математ. сборник, 68, №3, 1965, 328-372.

[7] СмЕйл С. Дифференцируемые динамические системы. Успехи матем. наук, 25, №1, 1970, 113-185.

[8] Арнольд В. И. Обыкновенные дифференциальные уравнения. Итоги науки и техники. Современные проблемы математики, 1, 1985.

[9] Stewart N. F. A heuristic to reduce the wrapping effect in the numerical solution of ж' = f (t,x). BIT, No. 11, 1971, 328-337.

[10] Вербицкий В. И., Горбань А. Н., Утюбаев Г. Ш., Шокин Ю. И. Эффект Мура в интервальных пространствах. Докл. АН СССР, 304, №1, 1989, 17-22.

[11] Вербицкий В. И., Горбань А. Н., Шокин Ю. И. Simultaneously dissipative operators and the infinitesimal wrapping effect in interval spaces. Вычисл. технологии,

2, №4, 1997, 16-48.

[12] Nickel K. Using interval methods for the numerical solution of ODE’s. Z. Angew. Math. Mech, 66, No. 11, 1986, 513-523.

[13] Neumaier A. The wrapping effect, ellipsoidal arithmetic, stability and confidence regions. Comput., Suppl. 9, 1993, 12-28.

[14] Gambill T., Skeel R. Logarithmic reduction of the wrapping effect with application to ordinary differential equations. SIAM J. Numer. Anal., 25, No. 1, 1988, 153-162.

[15] Adams E., Cordes D., Lohner R. Enclosure of solutions of ordinary initial value problems and applications. Math. Res., No. 36, 1987, 9-28.

[16] KUhn W. Towards an optimal control of the wrapping effect. In “SCAN-98. Volume of extended abstarcts”. Budapest, 1998.

[17] Новиков В. А., Рогалев А. Н. Влияние эффекта “раскрутки” на получение верхних и нижних оценок решений систем обыкновенных дифференциальных уравнений. Журн. вычисл. матем. и матем. физ., 29, №10, 1990, 1593-1595.

[18] Рогалев А. Н. Двусторонние численно-аналитические методы оценки решений систем ОДУ с интервальными данными. В “VIII междунар. школа-семинар “Качественная теория дифференциальных уравнений гидродинамики”. Ин-т гидродинамики СО РАН, Новосибирск, Красноярский гос. ун-т, 1992, 22-24.

[19] Новиков В. А., Рогалев А. Н. Построение сходящихся верхних и нижних оценок решений систем обыкновенных дифференциальных уравнений. Журн. вычисл. матем. и матем. физ., 33, №2, 1993, 219-231.

[20] RoGALEV A. N. Outer and inner estimates for sets of solutions of ODE’s with interval data. In “Internat. Congress on Comput. Systems and Appl. Math.” St. Peterburg State University. Russian Local ACM Chapter, 1993, 99-100.

[21] Рогалев А. Н. Нахождение оптимальных гарантированных оценок множеств решений систем ОДУ с интервальными данными. В “Вычисл. технологии”, 4, №13, ИВТ СО РАН, Новосибирск, 1995, 58-64.

[22] RoGALEV A. N. Solving Systems of Ordinary Differential Equations with Interval Data: Rigorous and Optimal Bounds. In “IMACS/GAMMInternat. Symp. on Scientific Comput., Comput. Arithmetic and Validated Numerics”. Bergische Universitat Gesamthochschulle Wuppertal, 1995, 113-114.

[23] Kulish U. Numerical algorithms with automatic result verification. Lectures in Appl. Math, 32, 1996.

[24] PrUfer M. Turbulence in multistep methods for initial value problems. SIAM J. Appl. Math., 45, No. 1, 1985, 32-69.

[25] Арнольд В. И. Дополнительные главы теории обыкновенных дифференциальных уравнений. Наука, М., 1978.

[26] Peixoto M. Structural stability on two-dimensional manifolds. Topology, 1, No. 2, 1962, 102-120.

[27] Peixoto M. Structural stability on two-dimensional manifolds — a further remark. Ibid.,

2, No. 2, 1963, 179-180.

[28] Sinai J. G., Vul E. The finding of periodic trajectories of dynamic systems. The use of computer. J. Stat. Phys., 23, 1980.

Поступила в редакцию 20 мая 1999 г.