Григорий аркадьевич предельные циклы уравнений льенара
Московский Государственный Университет имени М. В. Ломоносова Механико-математический факультетНа правах рукописи
УДК 517.925.42 Колюцкий Григорий Аркадьевич ПРЕДЕЛЬНЫЕ ЦИКЛЫ УРАВНЕНИЙ ЛЬЕНАРА 01.01.02 дифференциальные уравнения, динамические системы и оптимальное управление
АВТОРЕФЕРАТ
диссертации на соискание ученой степени кандидата физико-математических наук
Москва 2010
Работа выполнена на кафедре теории динамических систем Механико– математического факультета Московского государственного университета имени М.В. Ломоносова.
Научные руководители: академик РАН, доктор физико-математических наук, профессор Аносов Дмитрий Викторович;
доктор физико-математических наук, профессор Ильяшенко Юлий Сергеевич.
Официальные оппоненты: доктор физико-математических наук, профессор Давыдов Алексей Александрович;
доктор физико-математических наук профессор Пилюгин Сергей Юрьевич.
Ведущая организация: Воронежский государственный университет.
Защита диссертации состоится 9 апреля 2010 года в 16 час. 40 мин. на заседании диссертационного совета Д 501.001.85 при Московском государственном универ ситете имени М. В. Ломоносова по адресу: 119991, ГСП-1, Москва, Ленинские горы, МГУ, механико-математический факультет, ауд. 16-24.
С диссертацией можно ознакомиться в библиотеке Механико-математического факультета МГУ (Главное здание, 14 этаж).
Автореферат разослан 9 марта 2010 г.
Ученый секретарь диссертационного совета Д 501.001.85 при МГУ, доктор физико-математических наук, профессор И. Н. Сергеев
Общая характеристика работы
Актуальность темы. Настоящая диссертация относится к каче ственной теории обыкновенных дифференциальных уравнений. Работа посвящена получению явных верхних оценок на число предельных цик лов полиномиальных векторных полей на плоскости специального вида, т.н. уравнений Льенара x = y F (x), (1) y = x, и обобщённых уравнений Льенара x = yH(x) xG(x), (2) y = x.
Напомним, что полиномиальное векторное поле на плоскости за даётся системой обыкновенных дифференциальных уравнений x = P (x, y), (3) y = Q(x, y), где (x, y) R2, а P (x, y) и Q(x, y) многочлены.
Предельным циклом называется изолированная замкнутая траекто рия векторного поля (иными словами периодическое решение, в неко торой окрестности которого других периодических решений нет, соот ветственно все остальные траектории из этой окрестности наматывают ся на предельный цикл в положительном или отрицательном времени).
В своём знаменитом списке проблем XX века1 Гильберт во второй части проблемы под номером 16 интересовался числом предельных цик лов (Гильберт называл их предельными циклами Пуанкаре, по имени их первооткрывателя и автора определения) полиномиальных векторных полей на плоскости. С современной точки зрения вторая часть 16-ой проблемы Гильберта распадается на следующие вопросы2 :
(i) Верно ли, что число предельных циклов индивидуального полино миального векторного поля на плоскости конечно?
1 D. Hilbert, Mathematical problems, Bull. Amer. Math. Soc., 2000, 37(4), 407-436, Reprinted from Bull. Amer. Math. Soc., 1902, 8, 437-479.
2 Yu. Ilyashenko, Centennial History of Hilbert’s 16th Problem, Bull. Amer. Math.
Soc., 2002, 39(3), 301-354.
(ii) Можно ли оценить число предельных циклов всех полиномиаль ных векторных поля на плоскости величиной H(n) (называемой числом Гильберта), зависящей только от n наибольшей из степеней многочленов P и Q?
(iii) Если ответ на предыдущий вопрос положителен, то оценить сверху H(n).
Эта проблема была сформулирована Гильбертом в 1900 г. в докладе на II-ом Международном конгрессе математиков. За прошедшие более, чем сто лет удалось ответить (положительно) только на первый из этих трёх вопросов. Его называют проблемой (индивидуальной) конечности и иногда проблемой Дюлака, потому что Дюлаку принадлежит рабо та3, содержащая неверное решение этой задачи. Необходимо отметить, что ошибка была найдена лишь через 60 лет после публикации труда Дюлака.
Окончательное решение проблемы конечности было получено Ю. С. Ильяшенко4 и Экалем5 независимо. Отметим также, что для квадратичных векторных полей (т.е. для случая n = 2) этот результат был получен ранее Бамоном6.
Вопрос о существовании чисел Гильберта, в частности, существует ли H(2), открыт до сих пор. Тем не менее, по крайней мере одна зна менитая работа, содержащая ошибочное решение этой проблемы, бы ла предложена И. Г. Петровским и Е. М. Ландисом7. Ошибка была обнаружена Ю. С. Ильяшенко8, а также в семинаре С. П. Новикова при активном участии Д. В. Аносова. С современной точки зрения по нять, что там действительно была ошибка, несложно: И. Г. Петровский и Е. М. Ландис утверждали, что H(2) = 3, но прозрачный пример Ши 3 H. Dulac, Sur les cycles limites, Bulletin Soc. Math. France, 1923, 51, 45–188.
4 Yu. Ilyashenko, Finiteness theorems for limit cycles, Providence, R.I.: Amer. Math.
Soc., 1991.
5 J. Ecalle, Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac, Paris: Hermann, 1992.
6 R. Bamn Quadratic vector elds in the plane have a nite number of limit cycles, o Publ. I.H.E.S, 1986, 64, 111-142.
7 И. Г. Петровский и Е. М. Ландис, О числе предельных циклов уравнения dy/dx = P (x, y)/Q(x, y), где P и Q многочлены степени 2, Мат. Сб., 1955, 37(79), 209-250.
И. Г. Петровский и Е. М. Ландис, О числе предельных циклов уравнения dy/dx = P (x, y)/Q(x, y), где P and Q многочлены, Мат. Сб., 1957, 43(85), 149-168.
8 Yu. Ilyashenko, Centennial History of Hilbert’s 16th Problem, Bull. Amer. Math.
Soc., 2002, 39(3), 301-354.
Сонглина9 показывает, что H(2) 4.
В 1928 году Льенар рассмотрел10 уравнения вида x + f (x)x + x = 0, (4) где f (x) это многочлен чётной степени. Эти уравнения возникли в качестве обобщения знаменитого уравнения Ван Дер Поля11, подроб но исследовавшего случай f (x) = x2 1. Причём обобщение было не формально-математическим, а естественно возникало из рассмотренно го Льенаром нелинейного затухания колебаний в электрических цепях.
Дифференциальное уравнение второго порядка (4) эквивалентно другому дифференциальному уравнению (первого порядка), заданно му векторным полем на плоскости с координатами (x, y):
x = y, (5) y = x yf (x).
x Преобразование Льенара: (x, y) (x, y + I(x)), где I(x) = f (s)ds, сопрягает систему (5) с системой (1).
Уравнения Льенара попали в поле зрения специалистов по второй части 16-й проблемы Гильберта после исследования Линса Нето, Ди Ме лу и Пью12, показавших, что отображение Пуанкаре для системы (1), у которой степень многочлена F (x) нечётна, глобально определено и не тождественно. Также ими была решена проблема конечности для таких систем и получена верхняя оценка на число предельных циклов, рож дающихся в окрестности единственной особой точки при возмущении центра по линейным членам. На основании этой оценки Линс Нето, Ди Мелу и Пью выдвинули гипотезу о том, что число предельных циклов уравнений Льенара нечётной степени n = 2k + 1 не превосходит k.
Необходимо отметить, что в 2007 году Дюмортье, Панаццоло и Руссари построили контрпример13 к гипотезе Линса Нето, Ди Мелу и 9 Shi Songling, A concrete example of the existence of four limit cycles for plane quadratic systems, Scientia Sinica, 1980, 23(2), 153-158.
10 A. Linard, Etudes des oscillations entretenues, Revue gnrale de l’Electricit, 1928, e ee e 23, 901-912, 946-954.
11 B. Van der Pol, On oscillation hysteresis in a triode generator with two degree of freedom, Phil. Mag., 1922, 6(43), 700-719.
12 A. Lins Neto, W. de Melo, C. C. Pugh, On Linard Equations, Proc. Symp. Geom.
e and Topol., Springer Lectures Notes in Mathematics, 1977, 597, 335-357.
13 F. Dumortier, D. Panazzolo, R. Roussarie, More limit cycles than expected in Linard e equations, Proc. Amer. Math. Soc., 2007, 135(6), 1895-1904.
Пью. Они предложили пример уравнений Льенара (1) нечётной степени n = 2k + 1, для которого доказали существование не менее, чем k + предельного цикла.
В 1998 году Смейл включил гипотезу Линса Нето, Ди Мелу и Пью в свой список14 Математических проблем XXI века, немного ослабив её. Он предположил, что искомое число предельных циклов допускает некоторую полиномиальную оценку (по степени n многочлена F (x)).
Первую явную оценку на число предельных циклов в уравнениях Льенара нечётной степени получили Ю. С. Ильяшенко и А. Панов в 2001 году15. Их оценка (тройная экспонента по n) также зависела от константы C, ограничивающей сверху модуль коэффициентов много члена F (x) (размера компакта в пространстве параметров). Основная идея Ю. С. Ильяшенко и А. Панова состояла в том, чтобы локализовать единственное гнездо предельных циклов, продолжить отображение Пу анкаре в комплексную область и применить теорему о нулях и росте голоморфных функций16. Здесь же отметим, что аналогичный подход применялся Ю. С. Ильяшенко17 к уравнениям Абеля на цилиндре и Ю. С. Ильяшенко и Либре18, а также А. Ю. Фишкиным19 к квадратич ным векторным полям на плоскости.
Несколько лет спустя Ю. С. Ильяшенко предложил обобщить их с А. Пановым результат на случай обобщённых уравнений Льенара и на обычные уравнения Льенара чётной степени20. Та работа Ю. С. Илья шенко и А. Панова и по сей день остаётся единственной, содержащей яв ные оценки на число предельных циклов в проблеме Гильберта-Смейла (за исключением результатов настоящей диссертации).
14 S. Smale, Mathematical Problems for the Next Century, Math. Intelligencer, 1998, 20(2), 7-15.
15 Yu. Ilyashenko, A. Panov, Some upper estimates of the number of limit cycles of planar vector elds with applications to Linard equations, Moscow Math. J., 2001, 1(4), e 583-599.
16 Yu. Ilyashenko, S. Yakovenko, Counting real zeros of analytic functions satisfying linear ordinary dierential equations, J. Dierential Equations, 1996, 126(1), 87-105.
17 Yu. Ilyashenko, Hilbert-type numbers for Abel equations, growth and zeros of holomorphic functions, Nonlinearity, 2000, 13(4), 1337-1342.
18 Yu. Ilyashenko, J. Llibre, A restricted version of the Hilbert’s 16th problem for quadratic vector elds, Moscow Math. J., принято к печати. Препринт arXiv:0910.3443v1.
19 А. Ю. Фишкин О числе предельных циклов квадратичных векторных полей на плоскости, Доклады Академии Наук, 2008, 428(4), 462-464.
20 Yu. Ilyashenko, Some open problems in real and complex dynamical systems, Nonlinearity, 2008, 21(7), 101-107.
Наконец, в 2008 году Кауберг и Дюмортье показали21, что для урав нений Льенара чётной степени n = 2k число предельных циклов боль шой амплитуды не превосходит k, т.е. существует такое R 0, что число предельных циклов, не содержащихся целиком в круге с центром в нуле и радиусом R, не превосходит k.
Актуальность темы вытекает из вышесказанного значимости по лучения явных верхних оценок на число предельных циклов полиноми альных векторных полей на плоскости.
Цель работы. Целью работы является исследование глобальной геометрии (т.е. описание топологии фазовых портретов) уравнений Лье нара чётной степени и обобщённых уравнений Льенара и следующее вслед за этим описанием получение явных верхних оценок на число предельных циклов уравнений Льенара чётной степени и обобщённых уравнений Льенара нечётного типа.
Научная новизна. Все основные результаты диссертации являют ся новыми.
1. Получена верхняя оценка на число предельных циклов уравнений Льенара чётной степени в случае, когда единственная неподвиж ная точка является фокусом. Это число оценивается функцией, зависящей от четырёх параметров: степени (чётной) многочлена, задающего векторное поле, максимума модулей коэффициентов этого многочлена, радиуса Кауберг-Дюмортье, вне которого рас положены предельные циклы большой амплитуды, и расстояния в пространстве систем от линеаризации исходной до центра по линейным членам (та же константа отвечает и за расстояние до узла).
2. Получена явная верхняя оценка на число предельных циклов обоб щённых уравнений Льенара нечётного типа. Это число оценива ется функцией, зависящей от трёх параметров: степени многочле нов, задающих векторное поле, максимума модулей коэффициен тов этих многочленов и константы, отделяющей снизу от нуля значения многочлена H в мешке Бендиксона, ловящем все пре дельные циклы рассматриваемого векторного поля.
Методы исследования. В работе применяются методы качествен ной теории обыкновенных дифференциальных уравнений, теории функ ций комплексного переменного, а также теории особенностей векторных полей.
21 M. Caubergh, F. Dumortier, Hilbert’s 16th problem for classical Linard equations e of even degree, J. Dierential Equations, 2008, 244(6), 1359-1394.
Теоретическая и практическая ценность. Работа носит теоре тический характер. Полученные результаты относятся к качественной теории обыкновенных дифференциальных уравнений. Как результаты работы, так и разработанные в ней приёмы, могут быть полезны специа листам, занимающимся исследованием предельных циклов, в частности многообразием задач, связанных с 16-й проблемой Гильберта.
Апробация работы. Результаты диссертации докладывались на следующих семинарах и конференциях:
• на семинаре кафедры теории динамических систем механико математического факультета МГУ им. М. В. Ломоносова под руководством академика РАН Д. В. Аносова неоднократно, с 2006 по 2008 год;
на семинаре Динамические системы механико-математического • факультета МГУ им. М. В. Ломоносова под руководством д. ф. м. н., профессора Ю. С. Ильяшенко неоднократно, с 2005 по 2009 год;
на семинаре кафедры математики факультета математики и ком • пьютерных наук института им. Х. Вайцмана под руководством профессора С. Ю. Яковенко в 2008 г.;
на семинаре отдела дифференциальных уравнений математиче • ского института им. В. А. Стеклова РАН под руководством акаде мика РАН Д. В. Аносова, д. ф.-м. н., профессора Ю. С. Ильяшенко в 2009 г.;
на международной конференции Дифференциальные уравнения • и смежные вопросы, посвящённой памяти И. Г. Петровского (г. Москва, 2007 г.);
на международной конференции Lyapunov Memorial Conference • (г. Харьков, 2007 г.);
на Воронежской зимней математической школе С. Г. Крейна • 2008 (г. Воронеж, 2008 г.);
на международной конференции Дифференциальные уравне • ния и топология, посвящённой 100-летию со дня рождения Л. С. Понтрягина (г. Москва, 2008 г.);
на девятой Крымской международной математической школе • Метод функций Ляпунова и его приложения (г. Алушта, 2008 г.) на седьмой молодёжной научной школе-конференции Лобачев • ские чтения 2008 (г. Казань, 2008 г.);
на Добрушинской международной конференции (г. Москва, • 2009 г.);
на второй международной научной конференции Математиче • ское моделирование и дифференциальные уравнения (г. Минск, 2009 г.);
на Украинском математическом конгрессе 2009, посвящённом • столетнему юбилею Н. Н. Боголюбова (г. Киев, 2009 г.);
на международной школе-конференции International School and • Conference on Foliations, Dynamical Systems, Singularity Theory and Perverse Sheaves (г. Самарканд, 2009 г.) на международной конференции Topology, Geometry and Dynamics:
• Rokhlin Memorial (г. Санкт-Петербург, 2010 г.);
Публикации. Основные результаты диссертации опубликованы в 3 статьях (одна из списка ВАК) и в 9 тезисах конференций. Полный список приведён в конце автореферата.
Структура работы. Работа состоит из введения, двух глав и спис ка литературы, содержащего 23 наименования. Общий объем диссерта ции 62 страницы.
Краткое содержание диссертации Работа посвящена получению явных верхних оценок на число пре дельных циклов уравнений Льенара чётной степени и обобщённых урав нений Льенара нечётного типа.
Во введении даётся исторический обзор, посвящённый кругу во просу, возникшему из второй части 16-й проблемы Гильберта, и прежде всего проблеме Гильберта-Смейла.
1 глава посвящена уравнениям Льенара чётной степени, их гло бальной геометрии и получению верхних оценок на число предельных циклов в случае, когда единственная особая точка является фокусом по линейным членам.
2 глава посвящена обобщённым уравнениям Льенара, их глобаль ной геометрии и получению явных верхних оценок на число предельных циклов для обобщённых уравнений Льенара нечётного типа.
Основные результаты диссертации это теоремы 4 и 5, сфор мулированные ниже, их доказательству посвящены главы 1 и 2 соот ветственно.
Для получения искомых оценок мы применяем стратегию, предло женную Ю. С. Ильяшенко. Она заключается в следующем: сначала ло кализуются гнёзда предельных циклов из чисто геометрических сооб ражений (качественного анализа векторного поля). Далее, для каждого гнезда строится мешок Бендиксона, оснащённый отрезком D трансвер сали, пересекающим все предельные циклы этого гнезда. Таким обра зом, предельные циклы рассматриваемого гнезда это неподвижные точки отображения Пуанкаре P (x) на D, т.е. нули функции невязки Q(x) = P (x) x. Затем отображение Q(x) аналитически продолжает ся в комплексную окрестность трансверсали D, после чего оказывается применимой теорема о нулях и росте голоморфных функций. Мы будем пользоваться версией этой теоремы, приспособленной к оценке числа предельных циклов.
Введём некоторые обозначения: U (K) -окрестность множества K в произвольном метрическом пространстве, |D| длина отрезка D.
Если отрезок D содержит отрезок D, то через d(D, D ) мы обозначим хаусдорфово расстояние между D и D. В нашей работе метрики в C и C2 задаются следующим образом:
(z, w) = |z w|, z, w C;
z, w C2.
(z, w) = max(|z1 w1 |, |z2 w2 |), Теорема 1 (Ю. С. Ильяшенко, С. Ю. Яковенко, 199622 ). Пусть трансверсаль к аналитическому векторному полю v на R2, D отрезок. Пусть P отображение Пуанкаре для системы x R2, x = v(x), (6) определённое на D, и D D = P (D). Предположим, что P мо жет быть аналитически продолжено в U = U (D) C, 1 и P (U ) U 1 (D ) C. Тогда #LC(D) число предельных циклов век торного поля v, пересекающих D, допускает следующую верхнюю оцен ку:
|D | + #LC(D) e2|D| log. (7) d(D, D ) То же верно, если P заменить на P 1.
Для применения теоремы 1 необходимо оценить размер комплексной окрестности, в которую аналитически продолжается отображение Пу анкаре. Мы применяем для этого следующую теорему.
22 Yu. Ilyashenko, S. Yakovenko, Counting real zeros of analytic functions satisfying linear ordinary dierential equations, J. Dierential Equations, 1996, 126(1), 87-105.
Теорема 2 (Ю. С. Ильяшенко, А. Панов, 200123 ). Пусть транс версаль к аналитическому векторному полю v на R2, D отре зок. Пусть P : D D это отображение Пуанкаре для системы (6).
Для каждого x D обозначим через x,P (x) дугу фазовой кривой си стемы (6), соединяющую точки x и P (x). Пусть (D) = x,P (x), xD и 1 µ = max |v|, L = 2µ. (8) U () Пусть t(x) время движения вдоль траектории x,P (x), и Tmax = max t(x), T = Tmax + 1.
xD Положим eLT, = 2.
=, (9) координаты в C2, C = {z1 = 0}, Предположим, что (z1, z2 ) v = (v1, v2 ). Пусть K D отрезок, K = P (K), = U (0) U (K ) C2.
Предположим, что v µ в. (10) v Тогда отображение Пуанкаре P : K K может быть аналити чески продолжено в U (K) C и P (U (K)) U 1 (K ).
У уравнений Льенара чётной степени, в отличие от нечётной, могут быть предельные циклы большой амплитуды.
Но их может быть не слишком много, как показывает следующая теорема.
Теорема 3 (Кауберг, Дюмортье, 200824 ). Пусть K это компакт ное множество многочленов степени n = 2l, тогда существует такое 23 Yu. Ilyashenko, A. Panov, Some upper estimates of the number of limit cycles of planar vector elds with applications to Linard equations, Moscow Math. J., 2001, 1(4), e 583-599.
24 M. Caubergh, F. Dumortier, Hilbert’s 16th problem for classical Linard equations e of even degree, J. Dierential Equations, 2008, 244(6), 1359-1394.
R 0, что для любого уравнения Льенара (1), задающий которое мно гочлен F принадлежит K, не более, чем l предельных циклов могут иметь непустое пересечение с R2 \BR.
Здесь и далее BR обозначает круг с центром в начале координат и радиусом R.
Рис. 1. Фазовый портрет уравнения Льенара чётной степени внутри круга BR.
Мы применяем теорему о нулях и росте для оценки числа предель ных циклов уравнений внутри круга BR, см. рис. 1.
Без ограничения общности можно считать, что многочлен F, задаю n щий уравнения Льенара чётной степени n имеет вид: F (x) = xn + ai xi.
i= Обозначим C = max |ai |.
i[1,n] Единственная особая точка системы (1) (начало координат) будет фокусом по линейным членам при 0 |a1 | 2.
Именно в случае фокуса поведение решений в окрестности особен ности легко контролируется, что позволяет оценить рост отображения Пуанкаре.
Основной результат главы 1 заключается в следующей верхней оцен ке на число предельных циклов.
Теорема 4 (Г. К., 2008). Число L(n, C, a1, R) предельных циклов уравнения Льенара (1) чётной степени n в случае, когда C 4 и 0 |a1 | 2, допускает следующую верхнюю оценку:
38400C 4 n2 Rn+1 (R + 2)n+1 2|a | L(n, C, a1, R) exp exp e.
|a1 |3 (2 |a1 |) Перейдём теперь к обобщённым уравнениям Льенара.
Обозначим через I(x) компоненту рациональной кривой, заданной G(x) уравнением y = x H(x), содержащую начало координат (т.е. вертикаль ную изоклину, проходящую через ноль).
Рис. 2. Отсутствие предельных циклов у системы (2) в случае H(0) 0.
Без ограничения общности можно считать, что в системе (2) выпол нено: H(0) 0. Действительно, если H(0) 0, то у системы (2) нет предельных циклов. См. рис. 2.
Уравнения нечётного типа выделяются следующим требованием:
множество значений функции I(x) должно быть всей осью 0Y. Нефор мально говоря это означает, что положительная и отрицательная ветви вертикальной изоклины уходят на разные бесконечности. В против ном случае говорят, что система (2) чётного типа.
Геометрическое различие между чётным и нечётным типом можно пояснить ещё и следующим образом для уравнений нечётного типа предельных циклов большой амплитуды не существует, а у чётного ти па они есть, но никаких оценок на их число (аналогичных результату Кауберг и Дюмортье) не существует.
Основной результат главы 2 заключается в следующей верхней оцен ке на число предельных циклов.
n2 n Теорема 5. Пусть G(x) = xn1 + aj xj, H(x) = bj xj. Пред j=0 j= положим, что все коэффициенты aj и bj не превосходят по модулю некоторой константы C 100.
Наложим на систему (2) следующее условие общности положения:
многочлены G(x) и H(x) не имеют общих нулей на R. (11) Тогда для системы (2) нечётного типа при условии (11) существу ет полоса = (x, y) R2 |x x x+ (здесь x и x+ строятся яв но по многочленам F (x) и H(x), подробнее см. ниже), содержащая все предельные циклы системы (2), в которой многочлен H(x) отделён от нуля некоторой константой (0, 2 ):
x [x, x+ ] : H(x).
Обозначим через #LC(n, C, ) число предельных циклов системы (2) нечётного типа, на которую наложено условие (11). Тогда имеет место оценка:
8C 6n +12n+ #LC(n, C, ) exp exp.
6n2 +13n+ Отрезок [x, x+ ] определяется по-разному в следующих четырёх случаях, потому что для системы (2) нечётного типа при условии (11) существует ровно 4 принципиально различных типа глобальной гео метрии:
1. Многочлен H(x) не имеет вещественных корней и n нечётно.
2. Все корни многочлена H(x) отрицательны.
3. Все корни многочлена H(x) положительны и n нечётно.
4. Многочлен H(x) имеет как положительные, так и отрицательные корни.
Пусть r - наибольший из отрицательных корней многочлена H(x), а r+ - наименьший из его положительных корней. Тогда требование нечётности типа влечёт следующие неравенства на G: G(r ) 0 в слу чае 2, G(r+ ) 0 в случае 3, G(r ) и G(r+ ) разных знаков в случае 4.
Отрезок [x, x+ ] определяется следующим образом. Положим S = max(2C|r |n, 2n+1 C), S+ = max(2Cr+, 2n+1 C). Тогда x это са n мый левый корень уравнения |I(x)| = S на отрезке [r, 0] в случаях и 4, а x+ это самый правый корень уравнения |I(x)| = S+ на отрезке [0, r+, ] в случаях 3 и 4. В случаях 1 и 2: x+ = 16C 2, в случаях 1 и 3:
x = 16C 2.
Фазовые портреты обобщённых уравнений Льенара (как нечётного, так и чётного типов) изображены на рис. 3–5.
Рис. 3. Глобальная геометрия обобщённых уравнений Льенара в случае обращения многочлена H(x) в ноль по обе стороны от нуля, H(0) 0.
Сверху чётный тип: слева G(r ) 0 и G(r+ ) 0, а справа G(r ) и G(r+ ) 0;
снизу нечётный тип: слева G(r ) 0 и G(r+ ) 0, а справа G(r ) 0 и G(r+ ) 0.
Рис. 4. Векторное поле, заданное системой (2), в случае положительно сти многочлена H(x) на всей оси 0x (нечётный тип).
Рис. 5. Векторное поле, заданное системой (2), в случае, когда мно гочлен H(x) обращается в ноль только слева от 0, H(0) 0. Слева:
G(r ) 0 нечётный тип, а справа: G(r ) 0 чётный тип.
Благодарности. Автор благодарен своим научным руководителям, академику РАН Дмитрию Викторовичу Аносову и профессору Юлию Сергеевичу Ильяшенко, за постановку задач, плодотворные обсужде ния и создание всех условий, способствующих научной деятельности.
Статьи автора по теме диссертации.
[1] Г. Колюцкий Верхние оценки на число предельных циклов в обоб щённых уравнениях Льенара нечётного типа, Доклады Академии Наук, 431:1, 2010, стр. 12-15.
[2] Г. Колюцкий Некоторые верхние оценки на число предельных цик лов в обобщённых уравнениях Льенара нечётного типа, депониро вано в ВИНИТИ РАН, 2009, №667-В2009, стр. 1-44.
[3] Г. Колюцкий Some Upper Estimates on the Number of Limit Cycles of Even Degree Lienard Equations in the Focus Case, Труды Добрушин ской международной конференции, 2009, стр. 77-82.
Тезисы докладов на конференциях автора по теме диссер тации.
[4] Г. Колюцкий The Hilbert-Smale Problem: Some Upper Estimates on the Number of Limit Cycles, Тезисы докладов международной кон ференции Topology, Geometry and Dynamics: Rokhlin Memorial, Санкт-Петербург, 2010, стр. 50-51.
[5] Г. Колюцкий The Upper Estimate on the Number of Limit Cycles of Even Degree Linard Equations in the Focus Case, Тезисы докла e дов международной конференции Математическое моделирование и дифференциальные уравнения, Минск, 2009, стр. 183-184.
[6] Г. Колюцкий Некоторые верхние оценки в проблеме Гильберта Смейла, Труды Математического центра имени Н. И. Лобачевского, 37, Лобачевские чтения 2008, Материалы седьмой молодёжной научной школы-конференции, Казань, 2008, стр. 85-86.
[7] Г. Колюцкий Верхние оценки на число предельных циклов в задаче Гильберта-Смейла, Тезисы докладов международной математиче ской школы Метод функций Ляпунова и его приложения, Алуш та, 2008, стр. 85-86.
[8] Г. Колюцкий Some Upper Estimates of the Number of Limit Cycles in the Hilbert-Smale Problem, Тезисы докладов международной конфе ренции Дифференциальные и функционально-дифференциальные уравнения, Москва, 2008, стр. 35-36.
[9] Г. Колюцкий The Hilbert-Smale problem: new horizons, Тезисы докла дов международной конференции Дифференциальные уравнения и топология, Москва, 2008, стр. 51.
[10] Г. Колюцкий Предельные циклы в обобщённых уравнениях Льенара нечётного типа, Тезисы докладов Воронежской зимней математи ческой школы С. Г. Крейна 2008, Воронеж, 2008, стр. 75.
[11] Г. Колюцкий Global geometry of generalized Lienard equations and limit cycles, Тезисы докладов международной конференции Lyapunov Memorial Conference, Харьков, 2007, стр. 78-79.
[12] Г. Колюцкий Global Geometry of Generalized Lienard Equations and Limit Cycles, Тезисы докладов международной конференции Диф ференциальные уравнения и смежные вопросы, Москва, 2007, стр. 146-147.