Научная статья на тему 'О критериях устойчивости работы А. М. Ляпунова "Исследование одного из особенных случаев задачи об устойчивости движения"'

О критериях устойчивости работы А. М. Ляпунова "Исследование одного из особенных случаев задачи об устойчивости движения" Текст научной статьи по специальности «Математика»

CC BY
120
24
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
УСТОЙЧИВОСТЬ / КРИТИЧЕСКИЕ СЛУЧАИ / ФУНКЦИИ ЛЯПУНОВА / АЛГЕБРАИЧЕСКИЙ КРИТЕРИЙ. / STABILITY / CRITICAL CASES / LYAPUNOV EXPONENTS / ALGEBRAIC CRITERION

Аннотация научной статьи по математике, автор научной работы — Куракин Леонид Геннадиевич

Рассмотрена задача об устойчивости равновесия автономной системы дифференциальных уравнений в критическом случае двукратного нулевого корня (жорданова клетка). А. М. Ляпунов [1], применяя свой первый метод, получил критерии устойчивости при любых нелинейных вырождениях системы. Большинство из подслучаев, на которые разбивается эта задача, им исследовано также и прямым методом. Функции Ляпунова для остальных подслучаев до сих пор не были построены. В данной работе найдена часть этих функций. Для некоторых вырождений с истемы это позволило предложить новый алгоритм определения устойчивости равновесия. Он задается через алгебраические операции над коэффициентами ряда Тейлора системы, в то время, как алгоритм, указанный А. М. Ляпуновым требует вычисления квадратур.

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

On the stability criteria in A. M. Lyapunov's article "Analysis of one of the partucular cases of the problem of stability of motion"

We consider the problem of stability of an equilibrium of an autonomous system of differential equations in the critical case of a double zero root (Jordan cell). Using his first method A. M. Lyapunov [1] found a criterion of stability for any nonlinear degeneration of the system. He addressed most of the subcases of the problem, using his direct method as well. The Lyapunov functions for all remaining subcases were not constructed yet. In this paper we found these functions in a few cases. This enables us to to propose a new algorithm of determination of equilibrium stability for some degenerations of system. This algorithm is specified by some algebraic operations over the Taylor series coefficients of the system whereas the algorithm by A. M. Lyapunov demands the calculation of quadratures.

Текст научной работы на тему «О критериях устойчивости работы А. М. Ляпунова "Исследование одного из особенных случаев задачи об устойчивости движения"»

Владикавказский математический журнал 2009, Том 11, выпуск 3, С. 28-37

УДК 531.36

О КРИТЕРИЯХ УСТОЙЧИВОСТИ РАБОТЫ А. М. ЛЯПУНОВА «ИССЛЕДОВАНИЕ ОДНОГО ИЗ ОСОБЕННЫХ СЛУЧАЕВ ЗАДАЧИ ОБ УСТОЙЧИВОСТИ ДВИЖЕНИЯ»1'2

Л. Г. Куракин

Посвящается 80-летию со дня рождения академика Ю. Г. Решетняка

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

Ключевые слова: устойчивость, критические случаи, функции Ляпунова, алгебраический критерий.

1. Постановка задачи. Алгоритм А. М. Ляпунова определения устойчивости равновесия

Рассматривается автономная вещественная двумерная система дифференциальных уравнений

х' = У + х (х,у), (1 1)

у' = У (х ,у),

X (х,у)= ац хУ, У (х,у)= £ Ъгз хгу

г+^2

где X, У — аналитические в некоторой окрестности нуля ^ С Ж2 функции, разложение которых в ряд Тейлора начинается со слагаемых не ниже второй степени.

© 2009 Куракин Л. Г.

1 Работа выполнена при частичной поддержке Американского фонда гражданских исследований и развития, проект № Н,иМ1-2842-И0-06 и Российского фонда фундаментальных исследований, проект № 08-01-00895.

2Работа выполнена в рамках Европейской научной лаборатории (ЕНО) «Вихревая гидродинамика», проект № 07-01-92213-НЦНИЛ и Аналитической ведомственной целевой программы «Развитие научного потенциала высшей школы», проекты № 2.1.1/554, 2.1.1/6095.

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

Этот критический случай устойчивости был исследован А. М. Ляпуновым в 1893 году в работе [1]. При изучении архивов А. М. Ляпунова в 1954 году выяснилось, что им рассматривался и случай т-мерной системы дифференциальных уравнений (т > 2)

и = ^(и), ^(0) = 0, и е (1.2)

когда все собственные значения матрицы линеаризации ^' (0), кроме двукратного нулевого собственного значения с индексом два, лежат строго в левой полуплоскости. Полностью эти исследования были опубликованы в 1963 году [2] под тем же названием, что и цитированная выше работа [1]. Система (1.2) была также рассмотрена в 1935 году Г. В. Каменковым [3]. В работах [2, 3], в частности, показано, что вопрос об устойчивости равновесия системы (1.2) сводится к задаче об устойчивости равновесия двумерной системы (1.1), если последняя решается конечным числом коэффициентов ряда Тейлора функций X и У.

Отметим, что возможность понижения размерности системы в рассматриваемой задаче следует также из принципа сведения В. А. Плисса [4] и справедлив для ряда бесконечномерных систем [5].

А. М. Ляпунов [1] исследовал устойчивость равновесия системы (1.1) при любых функциях X, У. Им, в частности, установлено, что оно неустойчиво, когда 620 = 0, а также при 620 = 0, если К ^ 0, где К = (2а20 — 6ц)2 + 8630.

Пусть выполнены условия

620 =0, К < 0. (1.3)

В этом случае в работе [1] указан алгоритм последовательного вычисления величин дк (к =2, 3,...). Заключение об устойчивости равновесия системы (1.1) делается по знаку первой ненулевой из них. Этот алгоритм состоит в следующем.

Заменой переменных

Ж ^ (—630)2 Ж, у ^ (—630)2 (у + Й20Ж2) (1.4)

приводим систему (1.1) к виду:

ж' = у + Xк(ж, у), у' = —ж3 + 6жу + ^ Ук+1(ж,у), (1.5)

где 62 < 8; Xк(ж,у), Ук+1(ж,у) — квазиоднородные многочлены:

Xк(ж, у) = £ о^-жУ, Ук+1 (ж, у) = £ 6ЦжУ . i+2j=k i+2j=k+1

Пусть Ся 9 и Сп 9 — периодические функции, являющиеся решениями задачи Коши

Сй'9 = — Бп 9, Бп' 9 = Ся39, Са0 = 1, Яп 0 = 0.

Через J(9) обозначим интеграл

в

6Бп29 Ся 9^9

1 + 6 Бп 9Ся29. 0

Введем замену переменных

ж = reJ(в) Ся в, у = —т2е^(в) Бп в. Исключая время Ь, приходим к уравнению для функции г (в):

г'(в) = Й2(в)т2(в) + Яз (в)т3(в) + . . . , (1.6)

где каждая функция Я^(в), г = 2, 3,..., является конечной суммой слагаемых вида

ЪБпРвС^ в

ЬрлЛ (в) = eJ (в)

(1 + Ъ Бп вСй2в)^

Здесь р, д, I — целые неотрицательные числа.

Решение уравнения (1.6) разлагаем в ряд по произвольной постоянной с:

т(в) = с + П2(в)с2 + из(в)с3 + ...

Находим последовательно функции Н2(в), из (в),...:

в в

и2(в) = У Й2(в1) Йвх, из(в)= и2(в) + У Дз(в1) Йвх, 0 0 в

и4(в) = 3и2(в)^ [2Й2(в1)из(в1)+3Йз(в1)П2(в1) + Я4№)] Йв1, . . .

и, (в) = У

0

в г в-1

0

ЯДвО + Як (в1)ияк (и2(в1),..., ия_к+1(в1))

к=2

^вх,...,

где и^к — полиномы относительно в — к переменных.

Функции п8 представимы в виде и5(в) = д5в + 1>5(в), где д8 £ Я, а г^(в) — периодические функции. Если среди функций и5(в) есть непериодические, то первая из них имеет четный номер в.

Теорема 1.1 [1]. Нулевое равновесие системы (1.1), (1.3) асимптотически устойчиво, когда первая ненулевая ляпуновская величина д8 < 0, и неустойчиво, когда д8 > 0. Оно устойчиво по Ляпунову, если все д8 =0.

Замечание. Теорема 1.1 остается верной, если в системе (1.1) функции X £ С"-1, У £ С" и дк = 0 при некотором к ^ п — 2.

Далее обсуждается возможность представления критериев устойчивости теоремы 1.1 в алгебраической форме, т. е. в виде конечного числа алгебраических неравенств, наложенных на конечное число коэффициентов ряда Тейлора функций X, У. В связи с этим укажем работы [6, 7] (см. [8, § 2 гл. 3]), в которых установлено, что проблема устойчивости по Ляпунову равновесий сильно вырожденных систем дифференциальных уравнений в определенном смысле алгебраически [6] и даже аналитически неразрешима [7].

Заменой переменных (ж, у) ^ (ж, у + азожз) получаем систему (1.5), в которой выполнено условие азо = 0. Первая ляпуновская величина д2 для нее записана в явном виде

в [1, § 19]:

д2 = (Ъ21 — а11Ъ)^2,2,2 — (а11 + Ъ40)^1,4,2 — Ъ02 Сз,0,2,

ш

Срд/ = — Ьр,д,1(в) 0

где и — период функций Се 9, Бп 9. Ляпунов А. М. установил, что

д2 = 5 ^1^0,2,2, = 5(602 + 3640 — 2ап)6 + 621,

потому что выполняются соотношения

1 3 1

^2,2,2 = 7^0,2,2, ^1,4,2 = —6G0,2,2, ^3,0,2 = — 6^0,2,2. (1.7)

5 25 25

Знаки величин д2 и совпадают, так как ^0,2,2 > 0.

В работе [9] (см. также [10, § 5.2]) показано, что заменами переменных можно добиться выполнения условий о11 + 640 = 0 и 602 = 0. Это позволяет доказать совпадение знаков величин д2 и без использования соотношения (1.7).

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

и интегралы, у которых подынтегральные функции — полиномы от и функций

ик(9) с индексом к < в. В работе [1] изучались только интегралы

В следующем разделе устойчивость равновесия системы (1.5) исследуется прямым методом. Предполагается алгоритм определения устойчивости равновесия, реализация которого требует выполнения лишь арифметических операций над коэффициентами этой системы. Он не применим только в случае 6 = д2 = д4 = 0. Этот случай, как частный, разобран в работе [11], в которой использованы другие подходы.

2. Исследование устойчивости равновесий прямым методом — построением функций Ляпунова

Система

ж' = у, у' = —ж3 + 6жу, (2.1)

где 62 < 8, имеет положительно определенный интеграл:

V(ж, у) = 4(2у2 — 6ж2у + ж4)еь(ж,у),

¿(ж, у) = 267 аг^

^ —6+Ж2

ж = 0, (2.2)

1

Ц0,у) = sign(y)6Yп, ¿(0, 0)=0, 7 =(8 — 62) 2. Следовательно, нулевой равновесие системы (2.1) устойчиво по Ляпунову. Отметим, что

^ = (ж3 — 6жу)еь(хЧ ^ = уе^. ож ду

Через Рк обозначим квазиоднородный многочлен Рк(ж, у) = ^ в^Ж^. Также

i+2j=k

будем понимать Qk, ик, Ук,... Система (2.1) в переменных

и = ж — Рк 1(ж,у), V = у — Qк (ж,у),

(2.3)

где к ^ 3, имеет вид

и' = V + ик (и, V) + ик+1 (и, V) + ..., V' = —и3 + + Vк+1 (и, V) + V к+2 (и, V) + ... Здесь ик и Vk+1 задаются выражениями:

ик = Qk — Рк-1 V — Рк-1(—и3 + 6та>), Vк+1 = (6v — 3и2)Рк-1 + 6uQk — QUv — Qk (—и3 + 6uv). Найдем производную функции (2.2). В силу системы (2.4)

V '(и, V) = Ш к+3(и^) +

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

Шк+1(u,v) = (и3 — 6и^ик(и, V) + vVк+1(и^).

Здесь точками обозначены слагаемые с^-и^, г + 2^ > к + 3. Выпишем функции Шк+3 (и, V) в двух частных случаях:

a) Рк—1 (ж, у) = 0, Qk(ж, у) = ¿т-жту-, к = т + 2^ ^ 3,

Шк+3(и, V) = ¿т [(1 + ¿)ит+3^ — Яи™*1^1 — тит-

b) Рк-1 (ж, у) = вт-жту-, Qk(ж, у) = 0, к = т + 2^ +1 ^ 3,

Шк+3(и, V) = вт< [¿и^+'У-1 — 2.№ит+У

+(—3 — т + ¿62)ит+2^+1 + 6(т + 1)ит^+2 При замене переменных (2.3), в которой

Рк 1 (ж, у) = вк-1Ж

к-1

Qk (ж,у)= £ %жу i+2j=k

к ^ 3, квазиоднородный многочлен Шк+3(и,V) представим в виде:

Ш к+3(и^) = (Ак+3(6)пк+3,^к+^, где при нечетном к = 2^ +1

П2-+4 = (¿2^+1,0, ¿2--1,Ъ . . . , ¿1,-6 в2^),

^+4 = (и2-+4,и2-+Ч...У+2),

(2.4)

(2.6)

(2.7)

(2.8)

(2.9)

(2.10)

(2.11)

А2-+4 (6) — прямоугольная матрица (^ + 3) х (^ + 2), столбцы которой выписываются с учетом представления (2.7), (2.8):

(2.12)

/ а 0 0 0 ... 0 0

62 Й2 0 0 ... 0 й

с3 63 Й3 0 ... 0

А-2-+4 (6) = 0 с4 64 а4 ... 0 0 ,

0 0 0 0 ... 6-+2 0

0 0 0 0 ... с-+3 0

6i = —(г — 2)6, с —к — 6 + 2г, й = — к— 2,

При четном к = 2Д

П2^+з = ^2(^-1),1 > . . . , ^0,-Ъ в2^_1))

*2*+з = (и2^ ^Я,...,^1).

(2.14)

Квадратная матрица А^+з размерности (Д + 2) х (Д + 2) получается из матрицы (2.12) отбрасыванием последней строки. Ее коэффициенты вычисляются по формулам (2.13), в которых к = 2Д.

Лемма 2.1. Для любого целого Д ^ 2, уравнение

|^+з(Ъ)| =0 (2.15)

не имеет вещественных корней на интервале Ъ2 < 8, кроме Ъ = 0 при нечетном Д. < Заметим, что |^2^+з(Ъ)| = а1|Д^(Ъ)|, где Дц(Ъ) — матрица размерности Д х Д:

А(Ъ) =

Здесь К = ЪзI — а2^, К = аз(. Приводя матрицу Д^(Ъ) к верхнетреугольному виду, получаем

|Д,(Ъ)| = 4(Д — 1)Д/(Ъ), ^г(Ъ) = Ъ2 — 3(Д + 1), = Ъ(—3Ъ2 + 5Д + 17), (2.16)

Д/(Ъ) = Ъ^+2^/_1(Ъ) — с^+1^_2; 4 < 3 < Д. Отсюда, в частности, следует, что

т т

*2т(Ъ) = £ «2т,г(^)Ъ2г, Дт+1 (Ъ) = Ъ £ «2т+1,

¿=0 ¿=0

Здесь ам(Д) £ М, причем

( К1 К2 0. .0 0 0

с4 Ъ4 а4 . .0 0 0

0 0 0. . с^+1 Ъ^+1 а^+1

0 0 0. .0 С^+2 Ъ^+2 /

(2.17)

«2,0 (Д) = —3(Д +1) < 0, аз,0^) = 5Д + 17 > 0, «2т,0(^) = —С2т+2а2т+1«2т_2,0(^) < 0, 4 ^ 2т ^ Д, а2т+1,0(Д) = —(2т + 1)«2т,0(Д) — С2т+за2т+2«2т_1,0(Д) > 0.

(2.18)

Уравнение (2.15) равносильно уравнению Д/(Ъ) = 0, имеющему нулевой корень при нечетном Д.

Так как выполняются неравенства (2.18), то полиномы (Ъ), Д^_2(Ъ) (3 ^ Д) имеют разные знаки на интервале 0 < Ъ < 7^, где 7^ — наименьший из их положительных корней. Учитывая также, что 6^+2 < 0, С-/+2а./+1 < 0, когда Ъ> 0 и 4 ^ 3 ^ Д, приходим к выводу: все положительные корни функции (Ъ), заданной выражением (2.16), лежат в интервале Ъ ^ 7

Применяя метод индукции, делаем вывод: полиномы Д/(Ъ) при I ^ 4 не имеют ненулевых корней на интервале

ь22 / („Л\2 5Д + 17

Ъ2 < (74)2 =

> 8.

Справедливость утверждения леммы при I = 2, 3 проверяется непосредственно. > Найдем производную функции (2.2) в силу системы (1.5):

V'(ж, у) = еь(ж,у)£ й5+3(ж,у). (2.19)

Квазиоднородный многочлен

й5+3 (ж, у) = (ж3 — 6жу)Х5 (ж, у) + уУ5+1 (ж, у)

представим в виде

й5+3(ж,у) = (0+3,^+3). (2.20)

Здесь векторы а5+3 £ где р = ; ¿5+3 заданы в формулах (2.11), (2.14), в которых и = ж, V = у.

Лемма 2.2. Пусть N ^ 1 — некоторое целое число, а коэффициент 6 системы (1.5) удовлетворяет условиям:

1) 62 < 8, / ч

(2.21)

2) 6 = 0 при N ^ 3.

Существуют последовательные замены переменных (2.3), (2.9), где к = 3, 4,..., 2N + 1, такие, что производная (2.19) функции (2.2) в силу преобразованной ими системы (1.5) имеет вид

^(иУ =

N

v2£ С-и2- + о( |иГ+4 + ^Г+2)

еь(адУ (2.22)

Замены переменных (2.3), (2.9) и величины С- определяются однозначно.

< После замены (2.3), (2.9) функции й5+3 в разложении (2.19) при 5 < к остаются неизменными, а функция йк+3 преобразуется следующим образом:

йк+3(ж,у) ^ йк+3(и, V) + Шк+3 (u,v) = (Ак+3 (6)Пк+3 + Йк+3,^к+3).

Здесь учтены представления (2.10), (2.20).

Последовательные замены переменных, о которых говорится в условии леммы, задаются уравнениями

Вк+3(6)Пк+3 + 6к+3 =0. (2.23)

Здесь матрицы ^-+3(6) = ^-+3(6), а матрицы ^-+4(6) получены из матриц ^-+4(6) удалением третьей строки; векторы 62-+3 = Й2-+3, а 62^+4 образованы исключением третьих компонент из векторов 02^+4. Согласно лемме 2.1, |А2-+3(6)| = 0 при выполнении условий (2.21), |В2-+4(6)| = йй1 С4С5 ... с-+3 = 0. Следовательно, система уравнений (2.23) имеет единственное решение Пк+3. При этом

(А-2-+4(6)П/2-+4 + Й2-+4, ^2^+4) = С-и2-V2. >

Заметим, что обратить в нуль произвольную функцию й9(ж,у) в разложении (2.19) при 6 = 0 не удается и заменой (2.3) при

к = 6; Р5(ж,у) = £ ^жУ, Q6(ж, у) = £ ¿^жУ.

i+2j=5 i+2j=6

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

й9(ж,у) ^ й9(и,«) + (А(Ь)п,,г),

А(Ь) =

1 0 0 0 0 1 0

0 2 0 0 -8 -2Ь 2

-6 -Ь 3 0 6Ь -6 + Ь2 -4Ь

0 -4 -2Ь 4 0 4Ь -4 + 2Ь2

0 0 2 3Ь 0 0 2Ь

П = (¿60, ¿41, ¿22, ¿03, «50, «31, «12),

г = (и9, Л, и5«2, и3«3, то4).

Любой минор пятого порядка матрицы А(0) равен нулю.

Если коэффициент Ь = 0, устойчивость нулевого равновесия системы (1.1), (1.3) определяем по следующему правилу.

Заменами переменных (1.4) преобразовываем эту систему к виду (1.5). Функцию (2.19), являющуюся производной функции (2.2) в силу системы (1.5), последовательными заменами переменных (2.3), (2.9) приводим к виду (2.22), пока не встретится первая ненулевая величина

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

При Ь = 0 так можно найти величины С и С2.

Теорема 2.1. Нулевое равновесие системы (1.1), (1.3) асимптотически устойчиво, если С8 < 0, и неустойчиво, когда С8 > 0. При этом саму систему заменами переменных (2.3), (2.9) можно привести к такому виду, что функция (2.2) является ее функцией Ляпунова.

< Предположим для определенности, что величина С = 0, а функция (2.19) приведена к виду (2.22) при N = 2.

Пусть вектор М = (Мво, Мб1, М23, М04) £ Ж4 таков, что функция

Ж (и, V) = + М80П8 + Мб1 + М23П2«3 + М04^4

является знакоопределенной того же знака, что и величина Сь

Пусть В8(Ь) — матрица, полученная из матрицы (2.12) при I = 2 удалением третьей строки, П8 — вектор, заданный в формулах (2.11). Уравнение В8(Ь)п8 = М задает переменные (2.3), (2.9), в которых функция V является функцией Ляпунова системы (1.5). Действительно, производная положительно определенной функции V в силу системы (1.5)

V '(и, V) = [Ж (и, V) + (С2 + Д(М ))и4^2 + о (и8 + V4)]

является отрицательно определенной функцией, когда С < 0, или положительно определенной функцией, если С > 0. Непрерывная функция Д(-) : Ж4 ^ Ж такова, что Д(0) = 0.

Так же разбирается случай, если первой ненулевой в разложении (2.22) является величина когда в > 1. >

3. Функции Ляпунова в общей ситуации случая VIII классификации работы [1]

Система (1.5) является частным случаем системы

ж' = у + £ а^ жУ ,

i+„j^„+1 (3 1) у' = — Ж2п-1 + 6ж„-1у + £ 6^- жУ ,

i+„j^2„

где 62 < 4п, п ^ 2 — четное число, для которой А. М. Ляпунов указал алгоритм последовательного вычисления величин дк„ (см. [1, случай VIII, § 22]). Он является обобщением алгоритма, приведенного в раздел 1 для системы (1.5). В [1, § 19], считая, что коэффициент а2П+1,0 заменой переменных обращен в нуль, доказано, что sgn д2„ = о1„\ где

С1П) = (2п + 1) [С + (п + 1)°1 — п^] 6 + 61.

Нулевое равновесие системы (3.1) асимптотически устойчиво, когда о1„ < 0 и неустойчиво, если 01п) > 0.

Когда величина о1„ = 0, то полиномиальными заменами переменных систему (3.1) можно привести к такому виду, что функция

1 ' „2

^(Ж,у) = — (пу2 — 6ж„у + ж2„) еЬп (ж'у),

¿„(ж,у) = 267^ аг^

2п

6 + 2пу

7га

м„

ж = 0,

Ж„

¿„(0, у) = sign(y)67raп, ¿„(0, 0) =0, 7га = (4п — 62) 2

(га)

является ее функцией Ляпунова. Этого нельзя добиться, если О1 =0 и п ^ 4. Для построения функции Ляпунова в этом случае нужны дополнительные соображения.

Литература

1. Ляпунов А. М. Исследование одного из особенных случаев задачи об устойчивости движения // Мат. сб.—1893.—Т. 17, вып. 2.—С. 253-333; см. также: А. М. Ляпунов. Общая задача об устойчивости движения.—М.: Гостехиздат, 1950.—С. 369-450.

2. Ляпунов А. М. Исследование одного из особенных случаев задачи об устойчивости движения.—Л.: Изд-во ЛГУ, 1963.—116 с.

3. Каменков Г. В. Об устойчивости движения в одном особенном случае // Сб. «Тр. Казанск. авиац. ин-та».—№ 4.—С. 3-18; см. также: Каменков Г. В. Избранные труды. Устойчивость движения. Колебания. Аэродинамика. Т. I.—М.: Наука, 1971.—259 с.

4. Плисс В. А. Принцип сведения в теории устойчивости движения // Изв. АН СССР. Сер. мат.— 1964.—Т. 28, № 6.—С. 1297-1324.

5. Стрыгин В. В., Соболев В. А. Разделение движений методом интегральных многообразий.—М.: Наука, 1988.—256 с.

6. Арнольд В. И. Алгебраическая неразрешимость проблемы устойчивости по Ляпунову и топологической классификации особых точек аналитических систем дифференциальных уравнений // Функцион. анализ.—1970.—Т. 4, вып. 3.—С. 1-9.

7. Ильяшенко Ю. С. Аналитическая неразрешимость проблемы устойчивости и проблемы топологической классификации особых точек аналитических систем дифференциальных уравнений // Мат. сб.—1969.—Т. 99, вып. 2.—С. 162-175.

8. Арнольд В. И., Ильяшенко Ю. С. Обыкновенные дифференциальные уравнения // Итоги науки и техники. Современные проблемы математики. Фундаментальные направления.—М.: ВИНИТИ АН СССР, 1985.—Т. 1.—149 с.

9. Хазин Л. Г. Замечание к работе Ляпунова «Особенный случай задачи об устойчивости движения».—1980.—20 с.—(Препринт/АН СССР. Ин-т прикладной математики; № 9).

10. Хазин Л. Г., Шноль Э. Э. Устойчивость критических положений равновесия.—Пущино: ОНТИ НЦБИ АН СССР, 1985.—215 с.

11. Куракин Л. Г. О ляпуновской цепочке критериев устойчивости в критическом случае жордановой 2-клетки // Докл. РАН.—1994.—Т. 337, № 1.—С. 14-16.

Статья поступила 24 октября 2008 г.

Куракин Леонид Геннадиевич

Южный федеральный университет,

профессор кафедры выч. матем. и мат. физики

Россия, 344090, Ростов-на-Дону, ул. Мильчакова, 8а;

Южный математический институт ВНЦ РАН и РСО-А,

гл. научн. сотр.

Е-таП:кигак1п@та-ЬЬ.г5и.ги

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