Научная статья на тему 'Асимптотика сечения плоскостью субримановой сферы на группе Энгеля вблизи анормальной траектории'

Асимптотика сечения плоскостью субримановой сферы на группе Энгеля вблизи анормальной траектории Текст научной статьи по специальности «Математика»

CC BY
69
5
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ASYMPTOTICS / ELLIPTIC INTEGRALS / SUB-RIEMANNIAN STRUCTURE / АСИМПТОТИКА / СУБРИМАНОВА СТРУКТУРА / ЭЛЛИПТИЧЕСКИЕ ИНТЕГРАЛЫ

Аннотация научной статьи по математике, автор научной работы — Попов Антон Юрьевич

В работе найдена асимптотика кривой, являющейся пересечением единичной субримановой сферы на группе Энгеля с подпространством \{𝑥 = = 0\} вблизи анормальной траектории. Из найденной асимптотики видно, что эта кривая не является аналитической в точке (1, 0, 0, 0)

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

Asymptotics of a section by a plane of the sub-Riemannian sphere on the Engel group near abnormal trajectory

In this paper we compute an asymptotics of the curve that is the intersection of the unit sub-Riemannian sphere on the Engel group with the subspace \{𝑥 = = 0\} near the abnormal trajectory. It follows from the asymptotics that this curve is not analytic at the point (1, 0, 0, 0). (In Russian)

Текст научной работы на тему «Асимптотика сечения плоскостью субримановой сферы на группе Энгеля вблизи анормальной траектории»

ISSN 2079-3316 ПРОГРАММНЫЕ СИСТЕМЫ: ТЕОРИЯ И ПРИЛОЖЕНИЯ №4(31), 2016, с. 161-176

УДК 517.977

А. Ю. Попов

Асимптотика сечения плоскостью субримановой сферы на группе Энгеля вблизи анормальной траектории

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

Ключевые слова и фразы: субриманова структура, эллиптические интегралы, асимптотика.

1. Введение и постановка задачи

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

Пусть имеется многообразие М, на котором задана система линейно независимых векторных полей [Хк}^=1. Субриманова задача может быть локально поставлена как задача оптимального управления

п

(1) д(1) = ^ик(1)Хк(д), д £ М, д(0) = до, 9^1) = 41,

к = 1

© © ©

А. Ю. Попов, 2016

Институт программных систем имени А. К. Айламазяна РАН, 2016 Программные системы: теория и приложения, 2016

в которой требуется найти такой набор функций действительной 1

.1

переменной [и]~У1=1 из пространства Ь(0, ¿1), чтобы величина

(2) >Х Ж Л

/Ш - м)

2

принимала возможно меньшее значение. Точная нижняя грань величин (2) называется субримановым расстоянием между точками до и Ц1 многообразия М и обозначается ¿(до,д1), а субриманова сфера радиуса Д с центром в точке до € М определяется как множество

ва(яо) = [ч € М | ¿(до,д) = К}.

В работах [4-6] изучалась субриманова структура на группе Эн-геля — пространстве М4, расстояние между точками которого порождается управляемой системой вида (1):

2 2

и<2Х — П1У х2 + у2 х = щ, у = и2, г= -^-, г) =-2-и2,

д = (х, у, х, у) € М4.

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

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

.3

траектории [х = 0,у = —Ь,г = 0/и = — ^}. Выяснилось, что второй член асимптотики столь быстро стремится к нулю при подходе кривой к точке (0, — 1, 0, — 6), что эта кривая не может быть в данной точке аналитичной, хотя и обладает бесконечной гладкостью. Отсюда, в частности, получаем несубаналитичность сферы $ (это свойство сферы было впервые обнаружено в [7]).

Из результатов работ [4-6] следует, что

4

$ П [х = г = 0} = и [а+, а^, с+, с_}

г=1

есть замкнутая кривая, охватывающая начало координат, — гладкие кривые, с± — сопряженные точки, а± — точки на анормальных траекториях. Нас будет интересовать асимптотика кривой 72 вблизи

ее граничной точки а_. В координатах (у, т) на плоскости [х = г = 0}, где т = V — у3/6, эти объекты задаются следующим образом:

а_ : у = — 1, ии = 0, 72 : у = У2(к), ии = «^(й), к е (к0,1),

2е(к)

У2(к) = —1+ ^

Р(к)

1

6р3(к)

Функции е,р,д и число ко сейчас будут определены. Рассмотрим функцию двух действительных переменных

(3) w2(k) = -тт^ ((1 - 2к2)е(к) - (1 - к2)р(к) + g(k)^j .

B(u,k) = J ((1 - к2 sin2(^))-2 - 2(1 - к2 sin2(ф))^ йф, о

(4) и> 0, 0 <к< 1.

Значению и = 2 соответствует функция переменной к:

(5) Во(к) = В(1 ,к) = К (к) - 2Е(к),

где К и Е — полные эллиптические интегралы I и II рода соответственно [8]. Функция Во возрастает на полуинтервале [0,1), Во(0) = - ^,

lim Во(к) = Через ks обозначим корень уравнения В о (к) = s.

k^l —

Имеем

ко = 0.908909 ..., к1 = 0.982652 ..., к2 = 0.997389 ....

Нас будут интересовать значения и € [^,'к] и k € (ко, 1). При этих значениях переменных (и, к) функция В(и,к) положительна:

2м Во(к)

п

(6) В(и,к) >-^ > 0 Уи е Ук е (к0,1).

к 12]

(При и = ^ ии = к в (6) достигается равенство, а при ^ < и < к имеет место строгое неравенство ввиду вогнутости В(и, к) на отрезке ^ < и <к при любом фиксированном к). Определим функцию двух переменных

(7) /(и, к) = ^ 1 — к2 вш2(и) вт(и) + В(и, к) cos(и) и рассмотрим уравнение

(8) !(и,к)=0. В §3 будет доказана

и

Лемма 1. При любом к € (ко, 1) уравнение (8) имеет единственный корень на интервале 2 < и < я, который обозначим и(к). Функция и: (ко, 1) ^ (,я) имеет непрерывную отрицательную производную. При любом к € [кi, 1) верно неравенство

(9) и(к) <Я + , где к' = у/1 -к2.

2 Во(к)

Теперь мы можем определить все функции, участвующие в параметрическом представлении (3) исследуемой кривой:

и(к) и(к)

(10) е(к) = J (1 - к2 sin2(ф))2<],ф, р(к) = J (1 -к2 вт2(ф))-1 <1ф,

оо

(11) д(к) = 3 к2 cos2 (и(к))В(и(к), к) +

+4к2 cos (и(к)) sin (и(к)) .

Ввиду (4) и (10) верно тождество

(12) В(и(к),к) = р(к) - 2е(к).

Заметим, что выражение (11) для функции д, а вместе с ним и формула (3) для 1Л2(к) допускает упрощение, которое не было произведено в [6]. Действительно, из (11), (7), (8) и (12) находим

д(к) = 4к2 cos (и(к))f (и(к), к) - к2 cos2 (и(к))В(и(к), к) =

= - к2 cos2 (и(к))В(и(к),к) = - к2 cos2 (и(к))(р(к) - 2е(к)). Отсюда и из (3) выводим представление

(13) ™2(к) = -Щк){ (2к2 - 1)е(к) + (1 - к2)р(к)+

+ к2 cos2 Ш (Р(к) - Мк))) (i1 - 2к'2)Ц +

+к'2 + к2 cos2 (и(к)) (1 - ^^ , где к' = Л-к?.

Наконец, надо представить исследуемую кривую как график функции в осях (y,w), но со сдвигом и сжатием, а именно рассмотреть •Ш2(к) как функцию переменной Y = = и найти асимптотику этой функции, которую мы обозначим W(Y) при Y ^ 0+. Переход к новой переменной Y является корректным, поскольку функция Y (к) монотонна на интервале к2 < к < 1 — это будет доказано в §3.

Согласно (13) имеем

(14) W(У) = -Щк) (i1 - 2k'2)Y + к'2 + к2 COs2 ^к)) i1 - 2У)) •

Из представления (14) видно, что для вывода асимптотики функции W (Y) при Y — 0+ осталось написать асимптотику функций р(к), к', cos2 (и(к)) в терминах переменной Y при Y — 0+ (тогда к — 1 —). Это и будет сделано в следующем параграфе. В §3 доказаны необходимые вспомогательные утверждения.

2. Вывод асимптотики функции W(Y)

Напомним асимптотики полных эллиптических интегралов [9]:

*(к) = 1П (к7) +1п4 + °(к'2 1п (к'))'

(2.1)

ад=1+к221п (к)+(1п2—4)к'2+°(к741п (к)), к—1—•

Поскольку Е(к) < е(к) < 2Е (к), К (к) < р(к) < 2К (к), то из (2.1) находим

Y (к) - 1п-1( к),

(2.2) Во(к) = 1п( к) +(1п4 — 2)+°(к'2 1п( !)), к — 1 — •

Неравенство (9) показывает, что функция и(к) стремится к ^ при к — 1— достаточно быстро, а значит cos2 (и(к)) весьма малая величина и функции р(к) и е(к) «мало отличаются» от К (к) и Е (к) соответственно. Действительно, из (9), (2.1), (2.2) находим

cos2 (и(к)) < sin2 (дк^) <к'2Во-2(к) = ^к'21п-2(-17^ =

(2.3) =°(к'^2), Y — 0+,

Е(к) < е(к) =

и (к) и(к)

Е(к)+ ! \Д — к2 вт2(ф) ¿ф = Е(к)+ ! ^ к'2 + к2 сов2(ф) ¿ф < Е(к) + (и(к) — к'2 + сов2 (и(к)) < Е(к)+

< Е(к) + ( и(к) — ^\1к'2 + сов2 [и(

к' I к/2 к'2

(24) + шг"+щи =Е (к)+0(ш>) =Е (к)+°(¥к' %>'

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

и(к)

к (к) <Р(к) = к (к)+ ( (к) + <

| у/1 — к2 зт2(ф) V1 — к2

'1 — к2 вт2(ф)

(2.5) <К(к) + тглт = К(к) + °(¥), ¥ ^ 0 + .

Во (к)

Асимптотическая оценка (2.3) позволяет последнее слагаемое в скобках в правой части (14) считать остаточным членом и получить следующее асимптотическое представление функции Ш:

Ш(¥ ) = 6РЩ (¥+к'2—2к '2у+°(к'2у 2)) =

(2.6) = ¥~(Г + к'2 — 2к'2¥ + °(к'2¥2^ е-2(к), ¥ ^ 0 + . Из (2.1), (2.4), (2.5) выводим асимптотики

1 Р (к) К (к) + °(¥) 1п( 1 ) + 1п4 + °(¥)

¥ е(к) Е (к) + °(¥ )к'2 1 + °( ^

1

к

(2.7) =1п(1) +1п4 + °(¥),

е(к) = Е(к) + °(¥к'2) = 1 + 1п (1) + (1п2 — 4)к'2+ +О (к'4 1п (1) +к'2¥) = 1 + ^ (¥ — 1п 4 + °(¥)) +

-| 7/2 7/2

+ (1п2 — ^к'2 + °(к'2¥) = 1 + — — + °(к'2¥),

'2 '2

(2.8) е-2(к) = 1 — — + ^ + °(к'2¥), ¥ ^ 0+ .

Из (2.6), (2.8) при У ^ 0+ находим

V2 ( V2 V2

(2.9) Ш(У) = — (У + к'2 - 2к'2У + 0(к'2У2)) М - — + — +

+0(к'2У)) = V,2 (У - 3к'2У + 0(к'2У2)) = V,3 - ^ + 0(к'2У4).

Потенциируя соотношение (2.7), получаем асимптотику величины к'2 в терминах переменной У:

¡2

ехр (У) = кехр (0(У0 ^ехр (- У2) = "Те2 ехр (0(У0 ^

(2.10) ^ к'2 = 16ехр( - у){г + 0(У)), У ^ 0+ . Из (2.9), (2.10) выводим итоговый результат работы:

Ш (У) = У3 - 4У3 ехр ( - У) + 4 ехр ( - У^, У ^ 0 + .

3. Вспомогательные утверждения

Доказательство леммы 1. Согласно (7) при любом к € (ко, 1) имеем

(3.1) ¿^к^ = к' > 0, /(п, к) = -В(п, к) = -2В0(к) < 0.

. . / ~ 2. . . . к2 81п2(и)со8(и)

(3.2) = </1 -к2 81п2(и)со8(и)--+

У -к2 81п2(и)

+ 1 . 1 - 2лД - к2 81п2(и) I со8(и

— - 2л/ 1 - к2 81п2(мМ С08(и) - В(и, к) 81п(и) =

-к2 81п2(и) /

/ Л А ,2 • 2/ ^ к2 81п2(и) 1 С08(и) у 1 - к2 81п (и)----+-----

V у:1 - к2 81п2 (и) - к2 81п2 (и)

-2^1 -к2 81п2(и) ) - В(и, к) 81п(и) = ( 1 -к2 81п2(и) = -/ - к2 81п2(и)

-- к2 81п2(и)^ С08(и) - В(и, к) 81п(и) = -В(и, к) 81п(и).

Из (4) и (5) видно, что В(и, к) > 0 при любых и € (^,п) и к € (к0,1).

Поэтому верно неравенство

д/(u, к) ^ . ^

< 0 У- € Уке (ко, 1).

д и 2

Отсюда заключаем, что функция /(и, к) убывает по переменной и € € [,п] при любом к € (ко, 1), а в точках (,к) и (п,к) согласно (3.1) принимает значения разных знаков. Следовательно, уравнение (8) при любом к € (ко, 1) имеет на отрезке ^ < и <п единственный корень и(к) € (|,п).

Вычислим ^, а потом по теореме о производной неявной функции выразим и'(к) через к и и(к), воспользовавшись тождеством (3.2):

д/ _ -к 81п3(и) дк [л ,.2-2,

- к2 sin2 (и)

2 sin2(<^)

.(1 -fc2 sin2(ф))3 ' (1 -fc2 sin2(ф))2 df/dk

. , , f/ sin2(ф) 2sin2(ф) \

+к cos(u) / -^-3 +--V-г 4,

. V(1 -k2 sin2 (ф))3 (1 -fc2 sin2 (ф)) U

U (*) = -дЦд-и

u=u{k) B(-,k)sin(-) sin2(-(fc))

u=u(k)

В(и(к), k)

u(fc)

-fc2 sin2 (и)

/ ч , , /Y sin2(ф) 2sin2(ф) N ,,

(3.3) + | ctg(-(fc))| / 2 ( i\ ,3 ;2.(2ф;^, 1 W

J V(1 - k2 sin2(ф))2 (1 - к2 sin2(ф))2/

Из (3.3) сразу же следует отрицательность — (fc) на интервале fco < < к < 1.

Докажем неравенство (9). В силу положительности /(,к) и убывания функции f по переменной и достаточно проверить справедливость неравенства

f(2+v(k),k)< 0 Ук € [кг, 1), где v(k) = вГ^у.

Поскольку к € [к\, 1), то Во(к) > 1 и v(k) < к' < 1 < 2. Вследствие (7) это неравенство принимает вид

cos (v(k)) -В(1 + v(k), к) sin (v(k)) < 0 ■

(3.4) ■ фк'^+к^ёп^Щ ctg (у(к)) <Во(к)+1(к) Ук € [ки 1), где

v(k)

(3.5) 1(к) = j (1 - к2 cos2^))-2 - 2(1 - к2 cos2(ф))2 dф.

0

Заметим, что благодаря условию к € [к\, 1) подынтегральная функция в (3.5) положительна. Действительно, неравенство Ь-2 -—2 b 2 > 0 равносильно включению Ъ € (0,1). Поэтому положительность подынтегральной функции в (3.5) гарантируется неравенством 1 — к2 cos2(ф) < 2 ■ 2к2 cos2^) > 1. Ввиду включения к € [к\, 1) имеем Во(к) > 1. Следовательно,

0 < у(к) < к',

(3.6)

cos2^) > cos2 (у(к)) = 1 - sin2 (у(к)) > 1 - У2(к) > 1 - к'2 = к2.

Таким образом, для положительности подынтегральной функции в (3.5) достаточно справедливости неравенства к4 > 0.5. Оно верно, поскольку к > ко > 0.9.

Займемся доказательством неравенства (3.4). Ввиду положительности обеих его частей возведение их в квадрат является равносильным преобразованием. Осуществив его, придем к задаче доказательства неравенства

(3.7) к'2 ctg2 (у(к)) + к2 cos2 (у(к)) < Во2(к) + 21(к)Во(к) + 12(к).

Имеем ctg2 (у(к)) < у-2(к) = В02(к)к' 2. Следовательно, первое слагаемое в левой части меньше первого слагаемого в правой части, и достаточно доказать неравенство

(3.8) к2 cos2 (у(к)) < 21(к)В0(к).

Поскольку подынтегральная функция в (3.5) убывает по переменной ф на отрезке 0 < ф < 2 при любом k G (0,1), то верна оценка снизу - _ i 1(к) > v(k) (l -к2 cos2 (v(k)fj 2 - 2(1 -к2 cos2 (v(k)))

(3.9)

«(k^1 - 2(1 -k2 cos2 Hk)))) k' (2k2 cos2 (v(k)) - l)

причем ввиду (3.6) последнее выражение положительно. Из (3.9) видно, что неравенство (3.8) является следствием такого:

2k'(2k2 cos2 (v(k)) - í) k2 cos2 (v(k)) < -V J &

yjk'2 +k2 sin2 (v(k)) & <2k' (2 - ).

Из (3.6) находим

í í í í í 2í

2__> 2__>2__> 2__> 2__= _

k2 cos2 (v(k)) k4 - kx4 0.984 0.92 23'

Отсюда заключаем, что достаточно установить справедливость нера-

венства

(3.10) < —к' & к'2 + к2 sin2 (v(k)) < —к'2. * 23 529

Имеем далее к2 sin2 (v(k)) < sin2 (v(k)) < v2(k) = k'2B0-2(k) < k'2.

Следовательно, к'2 + к2 sin2 (v(k)) < 2к'2 и последнее неравенство

в (3.10) выполняется. Доказательство неравенства (9) завершено, и

лемма 1 полностью доказана.

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

Лемма 2. Функция Y (к) = имеет отрицательную производную на полуинтервале к2 < к < 1.

Доказательство. Введем функцию

и(к)

(3.11) Pl(k)=J(1 -к2 sin2^))-3 сф.

Согласно теореме о дифференцировании интеграла с переменным верхним пределом по параметру имеем

_ «(fc) _ 2

е'(к) = и' (kWl -к2 sin2 (и(к)) + f ~к Sm (Ф) =0ф,

\к) = и'(k)Jl - к2 sin2 (u(k)) + i —

0 -k2 sin2^)

«(fc) 2

(3.12) p'(k) = U(k) = + / ksin (Ф\ЛФ з .

yjl -k2 sin2 (u(k)) 0 (1 -k2 sin (Ф)) 33

Из (3.11), (3.12) и (10) выводим тождества

k e'(k) = ku' (k) (l - k2 sin2 (u(k))) 2 + e(k) - p(k),

_ 2

(3.13) kp' (k) = kU (k)(l -k2 sin2 (u(k))) 2 + Pl(k) - p(k). Из (3.13) находим

kY'(k)p2(k) = ke'(k)p(k) - kp'(k)e(k) =

= ku' (k)^p(k) (l - k2 sin2 (u(k))) 2 - e(k) (l - k2 sin2 (u(k))) 2 ^ -

(3.14) -e(k)pi(k) -p2(k) + 2 e(k)p(k).

Обозначив для краткости B(k) = B(u(k), k) = p(k) - 2e(k) (см. выше (12)), перепишем (3.14) в следующей эквивалентной форме:

kY'(k)p2(k) = k( - u'(k))(l - k2 sin2 (u(k)))-22 x x(e(k) - (l - k2 sin2 (u(k)))p(k)) - p1(k)e(k) - p(k)B(k).

Отсюда, пользуясь доказанной в лемме 1 отрицательностью производной и'(к), выводим неравенство

(3.15) кУ(к)р2(к) <

< к(-и' (к))(1 -к2 sin2 (и(к)))-2 е(к) - pi(k)e(k) - р(к)В(к).

Теперь преобразуем функцию -ки'(к)(1 - к2 sin2 (и(к))) 2, воспользовавшись формулой (3.3) и тождеством

(1 - к2 sin2 (и(к)))1 = В(к)| ctg (и(к))|.

Получим

-ки'(к) _ к2 81п2 (и(к))

1 - к2 81п2 (и(к)) В(к)(1 - к2 81п2 (и(к)))

+

и(к)

(316) , 1 [{ к2 81п2 (ф) к2 81п2 (ф) \

(3.16) +В2(к) I ^(1 -к2 81п2(ф)) 2 +2(1 - к2 81п2(ф)) 1)аф.

Ввиду тождества

к2 81п2(ф) к2 81п2(ф)

+ 2"

(1 -к2 81п2(ф)) 2 (1 -к2 81п2 (ф)) 2

1 +7-о 1 2, »1 - 2(1 -к2 81п2(ф))1

(1 -к2 81п2(ф)) 3 (1 - к2 81п2(ф)) 2 получаем представление

(3.17)

и (к)

Г ( к2 81п2 (ф) к2 81п2(ф) \

(п , 2- з , 2 • 1 Нф = Р1(к) + В(к).

7 4(1 -к2 81п2(ф)) з (1 -к2 81п2(ф)) 2/

Из (3.15) - (3.17) заключаем, что для доказательства отрицательности производной У '(к) при к2 < к < 1 достаточно установить справедливость неравенства

к2 81п2 (и(к)) Р1(к) + В (к) ^ р(к)В(к)

+--- < Р1(к) +

В(к)(1 -к2 81п2 (и(к))) В 2(к) ' е(к)

к € [ к2, 1),

которое после умножения обеих его частей на В (к) и переноса в правую часть слагаемого приобретает вид

!-щия < »<*> (В(к) - Вгы)+к € N. 1).

Правая часть последнего неравенства заведомо превосходит Р1(к): (в(к) - вЩ^ > 1.5р1(к) при к € [к2,1), поскольку В(к) > В0(к) > 2

при к € [к2,1). Левая же часть этого неравенства всегда меньше к' 2. Поэтому достаточно доказать, что к' 2 < Р1(к). На самом деле верно

даже более сильное неравенство

(3.18) к' 2 <У (1 - к2 вш2(ф))-3<1ф Ук £ [0,1).

о

Докажем его. С этой целью разложим в степенной ряд функцию К1(к) = ¡(1 -к2 вт2(ф))-2(1ф. Обозначим сп = 4-п(2пу.(п1)-2. Имеем

(1 - t)-2 = 1 + сп(2п +1)tn, Jsm2n(ф)dф = 1сп Уп е N.

=1

Отсюда находим

1 (i+£

0 V п=1

Ki(k)= [1 + У Сп(2п +1)(к2 sin2(ф))n}dф =

СО 2 СО

= 2+Е с"(2п+i)k2nl 8™2п(ф) ¿Ф=2+е 2(2п+1} с"2к2п-

п=1 о п=1

А так как к' 2 = (1 - к2)-1 = ^СС=ок2п, то для доказательства неравенства (3.18) достаточно проверить, что

(3.19) п(п + 0.5)сп2 > 1 Уп е N.

Из асимптотической формулы Стирлинга для факториала следует равенство

lim -л(п + 0.5)сп2 = 1.

Поэтому для доказательства неравенства (3.19) достаточно убедиться в убывании последовательности Ъп = (п + 0.5)сп2. Имеем

/ \ 2 / \ 2 Ьп+1 п +1.5 ( Сп+Л п + 1.5 ( 2п +1 — х 11 — '

(Сп+Л2 = п +1.5 /2п + 1\ 2 V сп J = п + 0.5 ^2п + 2)

Ьп п + 0.5 \ сп ) п + 0.5 \2п + 2 _ (п + 1.5)(п + 0.5) _п2 + 2п + 0.75

= (п +1)2 = < .

Отсюда видно, что Ьп+1 < Ьп (Уп £ М), а это и требовалось доказать. Неравенство (3.19), а вместе с ним и (3.18) доказано, и этим доказательство леммы 2 завершено.

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

[1] R. Montgomery, A Tour of Subriemannian Geometries, Their Geodesies and Applications, Mathematical Surveys and Monographs, vol. 91, AMS, 2002. t 161

[2] А. А. Аграчев, Ю. Л. Сачков. Геометрическая теория управления, Физматлит, М., 2004. t 161

[3] A. A. Agrachev, D. Barilari, U. Boscain. Introduction to Riemannian and Sub-Riemannian Geometry, Preprint SISSA 09/2012/M, https://web-users.imj-prg.fr/~davide.barilari/ABB-SRnotes-110715.pdf, 2015, 341 p. t 161

[4] А. А. Ардентов, Ю. Л. Сачков. «Экстремальные траектории в нильпотентной субримановой задаче на группе Энгеля», Матем. сборник, 202:11 (2011), с. 31-54. t 162

[5] A. A. Ardentov, Yu. L. Sachkov. "Conjugate Points in Nilpotent Sub-Riemannian Problem on the Engel Group", Journal of Mathematical Sciences, 195:3 (2013), pp. 369-390. t 162

[6] A. A. Ardentov, Yu. L. Sachkov. "Cut Time in Sub-Riemannian Problem on Engel Group", ESAIM: Control, Optimisation and Calculus of Variations, 21:4 (2015), pp. 958-988. t 162,164

[7] E. Trelat. "Non-Subanalyticity of Sub-Riemannian Martinet Spheres", Comptes Rendus de l'Académie des Sciences. Series I - Mathematics, 332:6. t 1622001, pp. 527-532. t 162

[8] Ю. Т. Уиттекер, Дж. Н. Ватсон. Курс современного анализа, УРСС, М., 2002. t 163

[9] P. F. Byrd, M. D. Friedman. Handbook of Elliptic Integrals for Engineers and Physicists, Springer, 1954. t165

Рекомендовал к публикации д.ф.-м.н. Ю. Л. Сачков

Пример ссылки на эту публикацию:

А. Ю. Попов. «Асимптотика сечения плоскостью субримановой сферы на группе Энгеля вблизи анормальной траектории», Программные системы: теория и приложения, 2016, 7:4(31), с. 161-176.

URL: http://psta.psiras.ru/read/psta2016_4_161-176.pdf

Об авторе:

Антон Юрьевич Попов

д.ф-м.н., ведущий научный сотрудник механико-математического факультета МГУ им. М.В. Ломоносова, ведущий научный сотрудник ИЦПУ ИПС РАН. Основные научные интересы: теория функций.

e-mail: [email protected]

Anton Popov. Asymptotics of a section by a plane of the sub-Riemannian sphere on the Engel group near abnormal trajectory.

Abstract. In this paper we compute an asymptotics of the curve that is the intersection of the unit sub-Riemannian sphere on the Engel group with the subspace {x = 2 = 0} near the abnormal trajectory. It follows from the asymptotics that this curve is not analytic at the point (1, 0, 0, 0). (In Russian).

Key words and phrases: sub-Riemannian structure, elliptic integrals, asymptotics.

References

[1] R. Montgomery, A Tour of Subriemannian Geometries, Their Geodesies and Applications, Mathematical Surveys and Monographs, vol. 91, AMS, 2002.

[2] A.A. Agrachev, Yu. L. Sachkov. Geometric Control Theory, Fizmatlit, M., 2004 (in Russian).

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

[3] A. A. Agrachev, D. Barilari, U. Boscain. Introduction to Riemannian and Sub-Riemannian Geometry, Preprint SISSA 09/2012/M, https://web-users.imj-prg.fr/~davide.barilari/ABB-SRnotes-110715.pdf, 2015, 341 p.

[4] A. A. Ardentov, Yu. L. Sachkov. "Extremal Trajectories in a Nilpotent Sub-Riemannian Problem on the Engel Group", Sb. Math., 202:11 (2011), pp. 1593-1615.

[5] A. A. Ardentov, Yu. L. Sachkov. "Conjugate Points in Nilpotent Sub-Riemannian Problem on the Engel Group", Journal of Mathematical Sciences, 195:3 (2013), pp. 369-390.

[6] A. A. Ardentov, Yu. L. Sachkov. "Cut Time in Sub-Riemannian Problem on Engel Group", ESAIM: Control, Optimisation and Calculus of Variations, 21:4 (2015), pp. 958-988.

[7] E. Trelat. "Non-subanalyticity of Sub-Riemannian Martinet Spheres", Comptes Rendus de l'Académie des Sciences. Series I - Mathematics, 332:6 (2001), pp. 527-532.

© A. Y. Popov, 2016

© Ailamazyan Program Systems Institute of RAS, 2016 © Program systems: Theory and Applications, 2016

176

A. TO. nonoB

[8] E. T. Whittaker, G. N. Watson, A Course of Modern Analysis, Cambridge Mathematical Library, 4th Edition, University Press, Cambridge, 1996.

[9] P. F. Byrd, M.D. Friedman. Handbook of Elliptic Integrals for Engineers and Physicists, Springer, 1954.

Sample citation of this publication:

Anton Popov. "Asymptotics of a section by a plane of the sub-Riemannian sphere on the Engel group near abnormal trajectory", Program systems: Theory and applications, 2016, 7:4(31), pp. 161-176. (In Russian). URL: http://psta.psiras.ru/read/psta2016_4_161- 176.pdf

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