CC BY
56
Сер. 10. 2010. Вып. 1
ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА
ПРИКЛАДНАЯ МАТЕМАТИКА
УДК 517.91:517.936:519.6 Л. К. Бабаджанянц
МЕТОД ДОПОЛНИТЕЛЬНЫХ ПЕРЕМЕННЫХ
Введение. Идея метода дополнительных переменных (МДП) восходит к А. Пуанкаре [1] (J. H. Poincare. Memoire sur les courbes definies par une equation differentielle, 1881-1886). Предлагаемый в настоящей работе метод применим как к системам обыкновенных дифференциальных уравнений (ОДУ), так и к полным системам уравнений в частных производных: он сводит системы уравнений первого порядка, разрешенных относительно производных, к аналогичным системам большей размерности, но с полиномиальными по неизвестным правыми частями. Привлекательная своей простотой структура полученных полиномиальных дифференциальных уравнений обеспечивает и очевидные преимущества при их приближенном решении. Рассматриваются достаточно общие и естественные классы дифференциальных уравнений, которые могут быть сведены к полиномиальным системам методом дополнительных переменных, причем это сведение может быть автоматизировано. В п. 1 вводятся некоторые классы функций и уравнений; в п. 2 описывается МДП; в п. 3 приведены примеры; п. 4 содержит
заключительные замечания.
1. Классы функций и уравнений.
1.1. Дифференциальные уравнения. Используя обозначения
X = (Х1 ,..., Хт ) G Cm , t = (t 1 ) G CS , a = (a 1 a ) G CU ,
dX = (dXl; ...; dXm ); Üt = ^t 1 , ...; ^ S ), d X^ = ^X i ^ j ^ f = ^ ^ ^ G C,
систему дифференциальных уравнений в частных производных первого порядка, разрешенных относительно производных, записывают в любой из трех форм:
dXi/dtj = fj(x, a), i G [1 : m], j G [1 : s], (1)
dx/dt = f (x, a), dx = f (x, a)dt.
В случае ОДУ (т. е. при s = 1) эти формы сводятся к следующим двум (координатной и векторной):
Бабаджанянц Левон Константинович — доктор физико-математических наук, профессор кафедры механики управляемого движения факультета прикладной математики-процессов управления Санкт-Петербургского государственного университета. Количество опубликованных работ: 83. Научные направления: дифференциальные уравнения, классическая и небесная механика. E-mail: [email protected].
© Л. К. Бабаджанянц, 2010
¿хг/¿Ь = /г(х,а), г € [1 : т], ¿х/А = /(х,а). (2)
Замечание 1.1. Правые части в уравнениях (1) и коэффициенты полиномиальной системы могут зависеть от параметров а, - это важно для приложений. Чтобы искусственно не усложнять обозначения, возможную зависимость уравнений, функций, коэффициентов, пространств и т. п. от параметров а мы будем далее, как правило, предполагать по умолчанию. Вместе с тем, если в уравнениях (1) ввести ш дополнительных переменных хт+1 = а\,..., хт+ш = аш, то новая система не будет зависеть от параметров. Так можно «избавиться» и только от части параметров. Кроме того, система (1) автономна, но от неавтономной системы к автономной можно перейти тем же приемом введения дополнительных переменных хт+1 = Ь\,..., хт+8 = Ь8.
Будем рассматривать различные классы правых частей уравнений (1) (т. е. различные классы скалярных функций аргумента х = (х1,...,хт)) и использовать обозначение £ь(К) для класса систем (1), все правые части которых принадлежат классу К. Ясно, что КсМ^ £,Э(К) С £в(М).
1.2. Классы полиномов и полиномиальных систем Рт, V,£я(Рт), £я(V). Класс полиномов по х\,...,хт с коэффициентами, зависящими (возможно) от параметра а, обозначим Рт(а) или Рт, а объединение всех этих классов по т € [1 : те) -V(а) или V. Полиномиальной будем называть систему (1), в которой все функции / принадлежат Рт. Классы £я(Рт), £в(Р) связаны равенством £в(Р) = ^т?1=1£8(Рт).
1.3. Классы функций £7. Будем говорить, что скалярная функция ф € С аргумента х = (х\, ...,ха) € С7 удовлетворяет полиномиальной системе, если она является одной из компонент вектор-функции (того же аргумента х = (х\,..., х7)) - решения некоторой полиномиальной системы. Класс скалярных функций аргумента х = (х\,... ,х7), удовлетворяющих полиномиальной системе, обозначим £7. Так как любую функцию аргумента х = (х1,..., х71) € С71, принадлежащую классу £71, можно считать также и функцией аргумента х = (х1,..., х72) € С72 класса £72 при а1 < а2, то можем (и, ради удобства, будем) считать, что а1 < а2 ^ £71 С £72, т. е. £1 С £2 С .... Большое число специальных функций анализа и математической физики, представленных в справочниках и компьютерных системах, принадлежит £1 (и тем более £7 при а > 1).
1.4. Расширения. Если I функций ф1,1,...,ф1, 1 аргумента х = (х1,..., х7) принадлежат £7, то каждая из них есть компонента решения некоторой полиномиальной системы. Пусть для каждого г = 1,...,1 решение полиномиальной системы для фг, 1 состоит из компонент фг, 1 ,...,фг, п(г). Тогда множество и/=1 {фг, 1,...,фг, п(г)} будем называть расширением множества {ф1,1,...,ф1,1}. Так как одна и та же функция удовлетворяет различным полиномиальным системам и с разным составом компонент, то расширение множества {ф1,1,...,ф1,1} не единственное.
1.5. Классы функций Нт. Класс 'Нт скалярных функций от х = (х1,...,хт) определим условием К(х) € Нт тогда и только тогда, когда найдется какое-то число к скалярных функций ф1(х),..., фк(х) таких, что
К (х) = Р (ф1,...,фк, х), дфг/дхг = ^г,г(ф1,...,фк ,х), г € [1 : к], г € [1 : т],
причем все функции Р, Фг,г - алгебраические полиномы по х1,..., хт, Ф1,..., фк.
Иначе говоря, К(х) € Нт означает, что К(х) можно представить полиномом относительно ф1(х),..., фк(х),х1,..., хт, где ф1(х),..., фк(х) удовлетворяют какой-то (любой, неавтономной, вообще говоря) полной системе уравнений в частных производных первого порядка.
1.6. Классы функций Тт. Прежде чем дать формальное определение, поясним, что Т7, а, т € [1 : +те) - множество скалярных функций аргумента х = (х1,... ,хт), которые можно получить из х1,..., хт при помощи конечного числа операций +, —, х,/ и конечного числа функций ф1,...,ф1 € £7 и их суперпозиций. Если в число этих функций включить ф такую, что ф(а) = 1/а, то в определении Т7 можно не использовать операцию деления, так как величина а/Ь равна а х ф(Ь). Итак, К € Т7 должно означать, что величину К(х) можно получить как последний член последовательности К1 = х1,..., Кт = хт,Кт+1,..., Кт+Р, в которой величина Кт+Г,г € [1 : р] либо равна фл(т)(Кп{1,г),..., Ко,(7,г)) при каких-то Л(г) € [1 : I], О(г, г) € [1 : т + г — 1], либо является полиномом Qr(Kl,..., Кт+г-1) по переменным К1,..., Кт+г-1.
Множество всех ц значений г € [1 : р], при которых реализуется первый из случаев, назовем Г, а множество остальных р — ц значений г € [1 : р] обозначим Г'. Итак, по определению, класс Т7 - это множество таких скалярных функций К = К (х) аргумента х = (х1,..., хт), которые можно задать формулой
Кг = хг, г € [1 : т];
К + = { фЛ(Г)(К n(r')), г € Г г £ [1: р] К = К + ^ )
К т+Г 1 Qr (К1, ..., Кт+г-1), г € Г' , г € [1 : р] К = К т+Р
где Л(г) € [1 : I]; О (г) = (& (1, г),...^ (а, г)); О, (и, г) € [1 : т + г — 1]; Кп(= (Кп(11г),...,Кп(7,г)); Г П Г' = 9, Г и Г' = [1 : р]; ф1,...,фх € £7, а 1,р -некоторые натуральные числа.
Предложение 1.1. Для классов Нт, Т7 истинны формулы
(Ут,а € [1: те))(Т7 СНт), (4)
(Ут € [1 : те)) (Уа € [т : те)) (Т^ = Нт). (5)
Доказательство. Докажем включения (4), т. е. К € Т7 ^ К € Нт. Если К € Т7, то К = К(х) определяется формулой (3). При любом г € [1 : I] расширение каждого из одноэлементных множеств {фг} (см. п. 1.4) запишем в виде множества {фг, 1,...,фг,п(г)}, а соответствующую полиномиальную систему - в форме системы скалярных уравнений
дфг,и/дх3 =Ф1,и (фг,а), V € [1 : 3 € [1 : а], (6)
относительно компонент вектор-функции фг = (фг, 1,...,фг,п(г)). Из (3), (6) следует, что в качестве ф1,...,фк из определения К € Нт можно взять все функции множества
Ф = {ф1, ...,фк} = {фЛ(г),„ (К^(1, г), . . .,КП(7,г)) V € Г, V € [1 : п(Л(г))]} .
Тем самым включения (4) доказаны. Чтобы доказать равенства (5), остается показать, что (Ут € [1 : те)) (Уа € [т : те)) (Т7 Э Нт). Если использовать обозначения фк+г = хг, Фг, г (ф1,..., фк+т) = 5Г-к, г € [1 : т], г € [к +1 : к + т] (5р - символ Кронеке-ра), то из К € Нт следует, что К (х) = Р (фи ... ,фк+т) и дфг/дхг = Фг,г (ф1,..., фк+т), г € [1 : т], г € [1 : к + т]. Так как Р - полином по своим аргументам, а из последних равенств вытекает, что ф1 = ф1,...,ф1 = фк+т € £т, то К € Тт, и (так как Тт С Тт +1 С ..) тем самым доказаны равенства (5). Что и требовалось.
1.7. Классы уравнений £8(Нт), £я (Тт). Из определения Нт следует, что система (1) принадлежит классу £в(Нт) тогда и только тогда, когда найдется какое-то число к скалярных функций ф1(х),..., фк (х) таких, что /¡,..., /^, дф1/дх1,..., дфк/дхт можно представить в виде
/ (х) = рг (ф1,.. .,фк, х), дфг/дхг = Фг,г (ф1,.. .,фк,х),
(7)
г € [1 : т], 3 € [1 : в], г € [1 : к],
где функции рг, Фг, г являются алгебраическими полиномами по ф1,...,фк ,х1,..., хт.
Система (1) принадлежит классу £а(Т'71) тогда и только тогда, когда / € Тт при любых г € [1 : т], 3 € [1 : в], т. е. когда каждую функцию / можно получить как последний член последовательности / г, г = 1,...,р, определяемой формулами
/г г = хг, г € [1 : т];
„г \ фЛР (г)(/\ ор (1 г),...,/г ОР (7 г € Г* г-. Л
%т+г = ? (рг,л’/ ' , г € [1: рЦ; (8)
I &,г (/, 1,...,/¡,m+r-1), г € Г
/г = /^т+р1, г € [1: т 3 € [1: ^
здесь ф1,...,ф1 € £7, Лг (г) € [1 : I], (1,г),...,&1 (а,г) € [1 : т + г — 1], Г\ и Г\ ' =
[1 : р\], Г\ П Г / = 9, а 1,р1 - некоторые натуральные числа.
Предложение 1.2. Для классов £в(Нт), £ь(Тт) истинны формулы
(Ут,а € [1: те))£(Тт) С£°(Нт)), (9)
(Ут € [1 : те)) (Уа € [т : те)) (£а(Т7т) = £а(Нт)) . (10)
Доказательство следует из предложения 1.1.
2. Метод дополнительных переменных.
2.1. Формулировка МДП. Этот метод [2] (см. также [3-5]) позволяет сводить систему вида (1) к полиномиальной. Он заключается в том, что находят такой набор дополнительных переменных - функций хт+1(х1, . .., хт),. .., хт+к(х1, ..., хт), который удовлетворяет условиям:
(a) правые части уравнений (1) - полиномы по х1,..., хт, хт +1,..., хт+к;
(b) все производные ¿хт+1 /¿Ь^ = 5^т=1 / (х, а) дхт+1 /дхг дополнительных переменных хт+1,..., хт+к, в силу уравнений (1), также полиномы по х1,..., хт, хт+1,...,
хт+к.
В этом случае, как легко проверить, переменные х1,..., хт, хт+1,..., хт+к удовлетворяют некоторой полиномиальной системе.
2.2. Метод Пуанкаре. Он был предложен для автономных ОДУ вида (2) и состоит в том, что находят такую одну дополнительную переменную г = г(х1,..., хт) и полином Г(х1,..., хт, г), которые удовлетворяют условиям:
(а) правые части уравнений (2) - полиномы по переменным х1,..., хт, г;
(в) равенство Г(х1,..., хт, г(х1,..., хт)) = 0 выполняется тождественно.
Тогда, если ввести новое «время» по формуле сМ = (дГ/дг) ¿т, то переменные х1,..., хт, г удовлетворяют некоторой полиномиальной системе ОДУ. Отметим, что метод Пуанкаре не является частным случаем МДП.
2.3. Обобщенный метод. Используя идею метода Пуанкаре, можно получить обобщение МДП и метода Пуанкаре, которое заключается в том, что находят такие дополнительные переменные - функции хт+1(х1, . .., хт, Ь),..., хт+к (х1, . .., хт, Ь) и полиномы Г1(х1,..., хт+к),..., Гк (х1,..., хт+к), которые удовлетворяют условиям:
(а*) правые части уравнений (1) - полиномы по переменным х1,..., хт+к;
(в*) равенства Г1(х1,..., хт+к) = 0,..., Гк(х1,..., хт+к) = 0 выполняются тождественно, и
(дГ1/дхт+1 . . . дГк/дхт+к \
... 1 = 0.
дГ1/дхт+1 . . . дГк/дхт+к /
Тогда, если ввести новое «время» т по формуле сМ = J(х1,..., хт+к) ¿т, то переменные х1,... ,хт+к удовлетворяют некоторой полиномиальной системе.
Ясно, что МДП и метод Пуанкаре - частные случаи этого обобщенного метода: к МДП он сводится при 3 (х1,..., хт+к) = 1, а к методу Пуанкаре - при к = в = 1.
Вместе с тем, если выполнены условия (а*), (в*), то, введя еще одну дополнительную переменную хт+к+1 = 1/3, можно заметить, что относительно переменных х1,... ,хт+к+1 выполнены свойства (а), (Ь). Это означает, что если к уравнениям (1) применим обобщенный метод дополнительных переменных, то применим и МДП, рассмотрением которого (как более простого и не требующего введения нового «времени») естественно и ограничиться.
2.4. Применимость МДП к системам классов £в(Нт). Она почти очевидна. Действительно, если система (1) принадлежит классу £в('Нт), то это означает, что существуют функции ф1(х),..., фк(х), удовлетворяющие равенствам (7), и если положить хт+1 = ф1(х),.. .,хт+к = фк(х), то условия (а), (Ь) п. 2.1 будут выполнены. МДП для класса £ 1(Нт) был предложен в [2] (само такое обозначение там не использовалось).
2.5. Применение МДП к системам из £я(Тт). Из включения £я(Тт) С £8(Нт) следует, что МДП применим к системам класса £а(Т7). Используя идею доказательства предложения 1.1, покажем теперь, как любую систему данного класса свести к полиномиальной системе, а точнее - как найти функции ф1(х),..., фк (х), удовлетворяющие условиям (7), если правые части уравнений (1) заданы равенствами (8). Для этого при любом г € [1 : I] расширение каждого из одноэлементных множеств {фг} (см. п. 1.4) запишем в виде множества {фг, 1,..., фг,п(г)}, а соответствующую полиномиальную систему - в форме системы скалярных уравнений (6) относительно компонент вектор-функции фг = (фг, 1,..., фг,п(г)). Из формул (6), (8) следует, что в качестве функций ф1(х),. ..,фк(х), удовлетворяющих условиям (7), можно взять все функции множества
т в
* = Шк=1 = У У
г=1]=1
2.6. Об автоматизации МДП для систем класса £в(Т7). Введем понятие библиотеки, на котором могут быть основаны естественным образом алгоритмы, автоматизирующие сведение уравнений (1) классов £в(Т7) и £в(Нт) = £в(Тт)
фЛР(г),и(/г,оР(1,г), /г,оР(7,г)')
г € Ц, V €
[1: и(Л\(г))]}. (11)
(см. (9), (10)) к полиномиальным системам. Будем считать заданной некоторую полиномиальную систему скалярных дифференциальных уравнений
относительно компонент вектор-функции ф = (фі,.. .,фі). Если D(p) обозначает систему (12), то пару Ь(ф) = (ф, D(p)) будем называть библиотекой функций фі,... ,ф1 класса Тіа, заданной уравнениями D(ip), или просто библиотекой (т. е. конкретная библиотека состоит из определенного набора функций фі,...,фі и конкретной полиномиальной системы дифференциальных уравнений, имеющей в качестве одного из своих решений вектор-функцию ф = (фі,. ..,фі)). В частности, библиотеку можно задать, добавив к ее уравнениям D(^) начальные условия, - тем самым будет определена и вектор-функция ф = (фі,...,фі). Если задана некоторая конкретная библиотека, а правые части системы (1) выражаются по формулам вида (8) через некоторые из функций ф1,...,ф1 этой библиотеки, то все необходимые дополнительные переменные метода МДП определяются как элементы множества вида (11). Ясно, что, опираясь на приведенные выше формулы, можно написать программу, реализующую МДП настолько универсально, чтобы система (12) была одним из задаваемых пользователем ее аргументов.
3. Примеры. Применение МДП как к модельным, так и к важным реальным задачам Коши для ОДУ можно посмотреть, например, в работах [2-8]. Здесь же приведены три модельных примера уравнений различных классов £s(F^) (а именно, классов £1 (FÍ), £ 1(F3), £3(F3)), в которых используются и полные системы уравнений в частных производных, что, как легко заметит читатель, существенно расширяет возможности МДП для случая ОДУ и иллюстрирует его применимость к полным системам уравнений в частных производных. Ради краткости, во всех этих примерах используется одна и та же библиотека (см. п. 2.6) функций одной и трех переменных.
Библиотека. Рассмотрим функции фі = sin x, ф2 = cos x и функцию фз (которую естественно назвать функцией Гильберта), определяемую равенствами
ф\(xi,x2,x3) + хзф3(хі, Х2, хз) + Х2фІ(хі,Х2,хз) + хіфз(хі,х2,хз) + 1 = 0,
видим, что функции ф1, ф2,фз, ф4 удовлетворяют полиномиальной задаче Коши
и она определяет библиотеку Ь(ф) = Ь(ф\, ф2, фз, ф4), которую далее используем. Пример 1. Задача Коши для ОДУ. Рассмотрим скалярную задачу Коши
дфі/д'хз = Щ (ф,a), ф = ^, . ..,фі), і Є [1 : 1}, j Є [1 :
(12)
dфі/dx = ф2, dty2¡dx = -фі,
дфз/dxj = -ф3 ■ ф4, j = 1, 2, 3,
дф^/дхj = (42фз + бхзфз + 2x2) фІ ■ фз - jjl^\,
фі(0)=0, ф2(0) = 1, фз (0, 0, 0) = -1 ,ф4(0,0,0) = 1/7,
dx/dt = a sin фз(х, х?,х3) + b cos фз(х, х?,х3), х(0) = 0,
(13)
(14)
где a,b - вещественные параметры. Правая часть уравнения (13) принадлежит классу функций £ 1(Ff), поэтому, в соответствии с (11), введем дополнительные переменные
ф1 = фз(х,х2,х3), Ф2 = ф4(х,х2,х3), фз = sin фз(х,х2,х3), ф4 = cos фз(х,х2,х3)
и подробно распишем получение их полных производных по t в силу этого уравнения:
¿фг/dt = Z3=1 (дфз/дхз)Xi=x¡X2=x2¡X3=xs ■ 3хj-1 ■ dx/dt =
= ELi {—фз ■ Ф-О 2 3 ■ Зх°-1 ■ dx/dt = — ELi Зх°-1 ф1 ф2 ■ dx/dt,
V / Xi=X,X2 = X2 ,Хз = Х3
ф/dt = Е3=1 (дфА/дхз )Х1= X, X2 = x2 , X3 = x3 ■ jxj-1 ■ dx/dt =
1ф^ ■ jxj-1 ■ dx/dt =
/ X1=X, X2=X2 , X3 = X3
= Yj=1 jxj-1 ■ ^(42фз + 6х3ф+2х2) ф{ф3 — Зф{-1ф2^ ■ dx/dt, dфз/dt = cos фз(х, x2, x3) ■ d^3(x, x2, x3)/dt = ф4 ■ dt^l/dt,
dф4/dt = — sin фз(х, x2,x3) ■ d^3(x, x2, x3)/dt = —фз ■ dt^l/dt.
Теперь можно переписать (13), (14) в форме полиномиальной задачи Коши:
dx/dt = афз + Ьф4, d^]_/dt = — У~]3=1 jxj-1^l ф2 ■ dx/dt,
d^2/dt = Yj=1 jxj-1 ■ ^(42фз + 6х3ф+ 2x2) фjф3 — Зф{-1ф2^ ■ dx/dt,
йфз/dt = ф4 ■ dфl/dt, d,i^4/d,t = —фз ■ dфl/dt,
x(0) = 0, ф1(0) = — 1, ф2(0) = 1/7, фз(0) = — sin 1, ф4(0) = cos 1.
Пример 2. Задача Коши для системы ОДУ. Рассмотрим задачу Коши
dxi/dt = ai sin фз(х1,х2,хз) +bi cos фз(х1,х2,хз), (15)
xi(0)=0, i е [1:3], (16)
где ai = a.i(x1 ,х2,хз), bi = bi(x1,x2,x3) - алгебраические полиномы. Правые части уравнений (15) принадлежат классу функций £ 1(F3), поэтому, в соответствии с (11), введем дополнительные переменные
ф1 = Фз(х1,х2,хз), ф2 = Ф4(х1,х2,хз), фз = sin фз(х1,х2,хз), ф4 = cos фз (х1,х2,хз) и получим их полные производные по t в силу этих уравнений:
д,ф1/& = Yj=1 дфз/dxj ■ dxj/dt = — Yj=l Фз ■ Ф4 ■ dxj/dt =
= —£3=1 х1-1ф{ф2 ■ dxj/dt,
dф2/dt = Z 3=1 Зф4/Зх1 ■ dxj /dt =
= E]=1 ((42ф5з + 6хзф+ 2x2) фз ■ ф4 — зфз-1ф1) ■ dxj/dt =
= Tj=1 \^42фЪз + 6хзф+2х2) ф1 ф3 — jij-1 ф■ dxj/dt,
dr^i3/dt = cos фз(x1, x2, хз) ■ dфз(xl, x2, x3)/dt = ф4 ■ dфl/dt,
= E3=1 ((42ф3 + 6хзфз2х2) фз ■ ф4 — зф3
d,i^4/d,t = — sin фз(х1, х2, хз) ■ d^(x1, х2, x3)/dt = —фз ■ dфl/dt.
Перепишем, наконец, (15), (16) в искомой форме полиномиальной задачи Коши:
dxi/dt = ai фз + bi ф4, i е [1 : 3], ¿ф1/0Ь = — Yj=l ф{ф2 ■ dxj/dt,
dф2/dt = YZ‘ij=1 (у(42ф1 + 6хзф1 + 2x2) ф{ф3 — Зф1-1ф2) ■ dxj/dt,
йфз/dt = ф4 ■ dфl/dt, d,i^4/dt = —фз ■ dфl/dt,
xi(0)=0, i е [1:3]; ф1(0) = —1,ф2(0) = 1/7,фз(0) = — sin 1, ф4(0) = cos 1. Пример 3. Задача Коши для полной системы. Рассмотрим задачу Коши
dxi/dtj = aij sin фз(х1,х2,хз) + bj cos фз(х1 ,х2,хз), (17)
xi(0, 0, 0) = 0, i е [1 : m], j е [1 : 3],
где a.i,j = ai,j(xi, ... ,xm), bi,j = bi,j(xi, ... ,xm) - алгебраические полиномы. Правые
части уравнений (17) принадлежат классу функций £3 (F^), поэтому, в соответствии с (11), введем дополнительные переменные
ф1 = фз(х1,х2,хз), ф2 = ф4(х1,х2,хз), фз = sin фз(х1,х2,хз), ф4 = cos фз (х1,х2,хз) и получим их производные по tj в силу этих уравнений:
Bt^l/dtj = ¿21=1 3фз/3хк ■ 3xk/3tj = —Y,3k=1 фз ■ ф4 ■ Зхк/dtj =
= — Е 1=1 фкф2 ■ дхк/dtj,
Зф2/3^1 = Yi=1 дф4/дхз ■ dx)/dtj =
= ЕЗк=1 ((42ф3 + бхзфз + 2x2) ф1 ■ ф\ — кфк-1ф)) ■ дхз/dtj =
= Е к=Л(42ф\ + 6x3ф1 + 2x2) фкф3 — кфк-1ф2) ■ дхк/dtj, дфз/dtj = cos фз(х1 ,х2,хз) ■ дфз(х1,х2, x3)/dtj = ф4 ■ dt^/dtj,
d'^4/dtj = — sinфз(х1,х2,хз) ■ дфз(х1 ,X2,xз)/dtj = —фз ■ дфl/дtj.
Итак, получили следующую полиномиальную задачу Коши:
дxi/дtj = aij фз + bij ф4, i е [1 : m]; дфl/дtj = ^Ек=1 фк ф2 ■ дxk/дtj,
дф2/dtj = ^23к=1 ((42фз + 6хзф1 + 2x2) фккф2 — кф'к-1ф2) ■ дхк/Otj, дфз/дtj = ф4 ■ дфl/дtj, дф4/дtj = — фз ■ дфl/дtj, j е [1 : 3],
х^0, 0, 0) = 0, i е [1 : m];
ф1(0, 0, 0) = —1, ф2(0,0,0) = 1/7, ф3(0,0,0) = — sin1, ф4(0, 0, 0) = cos1.
ЗамечаниеЗ.1. Начальные данные в рассмотренных примерах были специально согласованы с начальными данными в библиотеке, чтобы не отвлекать читателя деталями, которые являются хотя и важными, но техническими при реализации МДП.
Заключение. Метод Пуанкаре, который был рассмотрен в п. 2.2, был предложен им в гл. XVI [1], причем в самом ее начале (в русском варианте книги) есть утверждение (видимо, описка), вызвавшая возражение редактора. Смысл этого утверждения в том, что всякое автономное ОДУ второго порядка и первой степени может быть
приведено к полиномиальной системе. Эта описка исправляется в гл. XVII: «Мы видели, что всякое дифференциальное уравнение, [при известных условиях], может быть представлено в форме dx\/dt = X\,...,dxn/dt = Xn, где все Xi - целые многочлены» [1, с. 210]. Настоящая статья и была посвящена получению упомянутых в скобках условий для достаточно общих классов систем дифференциальных уравнений Eа(Тт) и Es(Hm) = Es(Fm). Можно с уверенностью сказать, что ее результаты позволяют создавать алгоритмы, реализующие общий МДП, который можно использовать для создания различных универсальных компьютерных программ приближенного решения дифференциальных уравнений.
Литература
1. Пуанкаре А. О кривых, определяемых дифференциальными уравнениями / пер. с франц. М.: ОГИЗ, 1947. 392 с.
2. Бабаджанянц Л. К. Продолжаемость и представление решений в задачах небесной механики // Труды Ин-та теор. астрономии АН СССР. 1978. Вып. XII. С. 3—45.
3. Babadzanjanz L. K. Existence of the continuations of the N -body problem // Celestial Mechanics. 1979. N 20. P. 43-57.
4. Babadzanjanz L. K. On the global solution of the N-body problem // Celestial Mechanics and Dynamical Astronomy. 1993. N 56. P. 427-449.
5. Babadzanjanz L., Sarkissian D. Taylor series method for dynamical systems with control // J. of Math. Scienses. New York: Springer, 2006. Vol. 139, N 6. P. 7025-7046.
6. Чернышева Н. А. Метод вычисления возмущений в поле вращающегося тела // Вестн. Ленингр. ун-та. Сер. 1: Математика, механика, астрономия. 1987. Вып. 4. С. 83-89.
7. Бабаджанянц Л. К., Чекашкин Ю. В. Аналитический метод вычисления возмущений в координатах планет // Вестн. Ленингр. ун-та. Сер. 1: Математика, механика, астрономия. 1990. Вып. 3. С. 101-107.
8. Carothers D. C., Parker G. E., Sochacki J. S., Warne P. G. Some properties of solutions to polynomial systems of differential equations // Electronic Journal of Differential Equations. 2005. Vol. 2005, N 40. P. 1-17.
Статья рекомендована к печати проф. Л. А. Петросяном.
Статья принята к печати 24 сентября 2009 г.
