Особенности геодезических потоков и линий в псевдофинслеровых пространствах Текст научной статьи по специальности «Математика»

УДК 514

DOI: 10.20310/1810-0198-2016-21-1-66-75

ОСОБЕННОСТИ ГЕОДЕЗИЧЕСКИХ ПОТОКОВ И ЛИНИИ В ПСЕВДОФИНСЛЕРОВЫХ ПРОСТРАНСТВАХ. I

© А. Н. Курбацкий, Н. Г. Павлова, А. О. Ремизов

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

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

Введение. Эта статья является первой частью серии работ, посвященных особенностям геодезических потоков в обобощенных финслеровых (псевдофинслеровых) пространствах, и представляет собой очередной шаг в исследовании геометрии поверхностей с метриками переменной сигнатуры, см. статьи [1-4] и библиографию в них.

Согласно [5], под псевдофинслеровым пространством мы подразумеваем многообразие M , dim M = m , с координатами (Xi) , снабженное так называемой метрической функцией f (xf, XXi) = F(xf, Xi) n , где F: TM ^ R положительно однородна по переменным (Xi) степени n и гладкая на всем дополнении нулевого сечения касательного расслоения TM (более детально это определение будет рассмотрено ниже). Хорошо известным примером псевдофинсле-рова пространства является так называемое пространство Бервальда-Моора, в котором f (xf, xbi) = (X1 • • • Xn)n , n = m ; см., например, [5-7].

Статья начинается с обсуждения понятия геодезической в финслеровых и псевдофинслеровых пространствах размерности n > 3 . Как мы увидим, при определении геодезических в псевдофинслеровых пространствах возникают довольно специфические трудности, связанные с наличием изотропных линий. Здесь мы будем использовать вариационное определение геодезических [5; 8]. В отличие от псевдоримановых пространств (n = 2), где натурально параметризованные геодезические всех типов (включая изотропные) могут быть определены как экстремали функционала действия, в псевдофинслеровых пространствах подобное определение для изотропных линий не корректно. Эту трудность можно преодолеть двумя способами: либо исключить изотропные линии из рассмотрения, либо найти естественное обобщение определения геодезических, позволяющее рассматривать изотропные линии как экстремали некоторого функционала.

Мы избрали второй путь: основываясь на простом вариационном свойстве, мы определяем геодезические как экстремали некоторого вспомогательного функционала, все неизотропные экстремали которого совпадают с экстремалями функционала действия. На этом пути мы получаем следующий результат: в двумерном случае ( m = 2 ) все изотропные линии являются (непараметризованными) геодезическими. Во втором разделе статьи мы рассматриваем геодезические потоки в псевдофинслеровых пространствах (M, f) , где m = 2 и функция F есть однородный многочлен по переменным (Xi) степени n > 3 .

В следующей, второй статье серии мы детально исследуем особенности геодезических потоков в случае n = 3 . Будет показано, что особенности геодезического потока связаны с вырождением сети изотропных линий. Именно, если функция F - общего положения, то многообразие M содержит две открытых области M+ и M- , разделенных кривой Mo , так что в каждой точке q € M+ (соответственно M- ) имеется 3 (соответственно 1) различных изотропных направления, а в точках q € Mo изотропные линии имеют касание. Особенности геодезических потоков возникают в области M- и на кривой Mo .

Третья статья серии будет посвящена специальному случаю: особенностям геодезических потоков на двумерных поверхностях, вложенных в пространство с метрикой Бервальда-Моора. Соответствующая функция F является многочленом по переменным (Xi) степени n не общего положения. В частности, при n = 3 в этом случае область M- = 0 , и особенности геодезического потока появляются только на кривой Mo .

Вариационное определение геодезических.

1.1 Финслеровы пространства. Рассмотрим гладкое (здесь и далее это означает C^ , если не оговорено противное) многообразие M , dim M = m , с координатами (xi) , снабженное функцией F(Xi; XXi): TM ^ R , являющейся положительно однородной степени n > 2 по переменным (XXi) и гладкой на всем дополнении нулевого сечения касательного расслоения TM.

_ _i

Определим функцию f (xi; Xci) = Fn (xi; XXi) , являющуюся положительно однородной степени 1 по (Xi) . Пара (M, f) или, эквивалентно, (M, F) называется финслеровым пространством (в классическом смысле), если выполнены следующие условия:

B. F(Xf; Xi) > 0 , если \Xi| +-----+ \Xm\ = 0 .

—2

C. Гессиан функции f попеременным (XX i) положительно определен, т. е.

m g2(f2) m

^aXM ^ > если £ |6| = ° (1)

i,j=1 i j i=1

Для обозначения этих условий мы используем буквы B и C для того, чтобы сохранить обозначения, взятые из книги [5], на которую мы будем ссылаться. Квадратичная форма (1) называется фундаментальным тензором, а функция f (положительная и гладкая на дополнении нулевого сечения TM ) называется метрической функцией на M .

Метрическая функция f (Xi; •) определяет норму на каждом касательном пространстве TxM . Это позволяет определить функционалы действия и длины, аналогично тому, как это делается для римановых метрик. Именно, для кривой y : I ^ M мы имеем:

J{v)(y) = J7V(Xf; Xi) dt = J F n (Xi; Xi) dt, Xi = dt, (2)

I I

где v = 1 (длина) или v = 2 (действие), см., например, [5; 9]. Как и в римановом случае, функционал длины J W инвариантен относительно перепараметризаций кривой y , а функционал действия J(2) - не инвариантен.

Параметризованные геодезические могут быть определены как экстремали функционала действия J(2) , соответствующая параметризация называется натуральной или канонической (она пропорциональна длине дуги кривой, где ds = f ).

Непараметризованные геодезические могут быть определены как экстремали любого из двух функционалов J (2) и J « . Различие в использовании J (2) и J « состоит в следующем. В первом случае мы просто забываем натуральную параметризацию экстремалей функционала J (2) , а во втором случае система уравнений Эйлера-Лагранжа с лагранжианом f (Xi; Xi) содержит не m , а всего лишь m — 1 независимых уравнений [5]. Это обстоятельство отражает

тот факт, что функционал длины 1(1)(7) инвариантен относительно перепараметризаций 7. Используя имеющуюся степень свободы и рассматривая только непрерывно дифференцируемые геодезические, имеющие в каждой точке определенное касательное направление, можно положить параметр Ь равным одной из координат хг, тем самым уменьшив число уравнений в системе Эйлера-Лагранжа для функционала 1 (1)(7) на единицу.

Начиная с этого момента, мы будем использовать следующее общее обозначение. Пусть Ф(хг; XXг) - функция на касательном расслоении ТМ, положительно однородная степени к по переменным (Хг) . Тогда

Ф

Ф = ^ (3)

XX1

есть функция на проективизированном касательном расслоении РТМ. Например, положим х = х1 и уг = хг, рг = (уг/(х для г = 2,... ,т . Тогда уравнение (непараметризованных) геодезических принимает вид

( Ш = I' '(х^г) = ^ г = 2, . . . , (4)

Переход к уравнению (4) представляет собой обычную проективизацию П: ТМ ^ РТМ касательного расслоения. Более того, непараметризованные геодезические можно определить как экстремали функционала 1с произвольным V > 1, используя следующее очевидное свойство (см., например, [10]).

Л е м м а 1. Пусть функция ф: М ^ М такова, что ф о Г является С2 -гладкой на дополнении нулевого сечения ТМ и ф'(в) = 0 для всех в = 0 . Тогда непараметризованные экстремали функционала

__(х (у

ф о Г(хг; хг) (Ь, хх = —, у = (5)

I

совпадают с непараметризованными экстремалями функционала ), где - тождественное отображение.

Доказательство. Система уравнений Эйлера-Лагранжа для функционала (7) имеет вид

(ъ(ф' о Г(хг;х г) • = ф' о Г(хг; хг) • ^, г = 1,...,т. (6)

В силу условия Г(хг; ххг) > 0 , каждая кривая 7 допускает параметризацию пропорционально длине дуги, при этом выполнено тождество Г (хг; хх г) = с = 0 вдоль 7 . Используя такую параметризацию в формуле (5), после сокращения постоянного сомножителя ф' о Г (хг; ххг) = ф'(с) в обеих частях (6), мы получаем уравнения Эйлера-Лагранжа для функционала (7) .

Таким образом, непараметризованные геодезические можно определить как экстремали 1ф(ч) с произвольной функцией ф из леммы 1, в частности, как экстремали 11^1) , который совпадает с 1(^) из (2) при V = п .В случае классических финслеровых пространств такое изменение определения геодезических не дает ничего нового, но для псевдофинслеровых пространств, рассматриваемых ниже, оно оказывается весьма полезно.

1.2. Псевдофинслеровы пространства. Разумное обобощение понятия финслерова пространства может быть получено, если мы откажемся от условий В и С. Такие пространства часто называют псевдофинслеровыми. Позволим себе процитировать абзац из монографии [5] известного специалиста по финслеровой геометрии (стр. 397):

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

Начиная с настоящего момента, мы будем рассматривать псевдофинслеровы пространства (М,Е) , где не предполагается, что функция Е удовлетворяет условиям В и С. Отсутствие условия В приводит к появлению изотропной гиперповерхности $, задаваемой уравнением Е(хг,хг) = 0 в пространстве ТМ или, эквивалентно, уравнением Е(х,уг,рг) = 0 в пространстве РТМ . Система уравнений Эйлера-Лагранжа для функционала 1 (^) при V <п не

_V

определена на $, так как производные функции Е п (хг, Xг) разрывны на $. Это показывает, что для определения геодезических функционал 1(п) (у) имеет преимущество по сравнению с 1при V <п .

Система уравнений Эйлера-Лагранжа для функционала 1 имеет вид

у д2Ё х +у д2Ё х = дЁ . = 1 т

дх.: дх^ дхдх. ^ дх' 111

dxideej ' dxidxj дх■

3 = 1 3 = 1

или, эквивалентно,

•• Н ¿х* х г) -Тг Л д2Е \ . , /йч

хг = ^-ТТ, где Н = ёеЦ , г = 1,...,т, (8)

Н (хг; х г) \дх г дх ^)

и Нг суть детерминанты, определяемые из (7) по правилу Крамера. Легко видеть, что функции Нг положительно однородные степени п по (хг) , а функция Н положительно однородная степени п — 2 по (хг).

Подобно (4), проективизация П: ТМ — РТМ превращает уравнения (8) в

dyi dpi _ dpi/ dx\ _ ViX - ViX _ 1 H i - piH i _ Hi - pi Hi

dX dx dt \dt J X dt\X J X3 X2 H H '

i _2,... ,m , где функции H,Hi получены из H,Hi по формуле (3). Из леммы 1 следует, что вне изотропной гиперповерхности F интегральные кривые системы (9) совпадают с интегральными кривыми системы (4). Однако система (9) определена во всем пространстве PTM , включая изотропную гиперповерхность.

Л е м м а 2. F является инвариантной гиперповерхностью обеих систем (7) и (9). Кроме того, в случае m _2 все изотропные линии являются непараметризованными экстремалями функционала J(n) .

Последнее утверждение верно только при m _2 , а в случае m> 2 некоторые изотропные линии являются экстремалями, а некоторые - нет. Простейший пример такого рода при m _3 , n _2 (псевдориманова метрика) можно найти в [4].

Доказательство. С помощью очевидных преобразований систему уравнений (4) можно привести к виду

dpi P(x, Vi,Pi)

, , i _2,...,m, (10)

dx F2-П ' ' ' ' v 7

где обе функции F _ fn и P гладкие и F обращается в нуль на гиперповерхности F.

Так как система (10) получена из системы уравнений Эйлера-Лагранжа (4), в пространстве PTM она задает векторное поле, бездивергентное всюду кроме гиперповерхности F, на которой оно не определено. По теореме 1 [1], отсюда следует, что F является инвариантной гиперповерхностью поля

dpi

-X _ P(x,yi,pi), i _2,...,m, (11)

определнного во всем проективизированном касательном расслоении PTM включая и изотропную гиперповерхность F. По лемме 1, интегральные кривые поля (11) совпадают с интегральными кривыми системы (9), поэтому F является также инвариантной гиперповерхностью системы (9). Заметим, что каждое решение системы (7) получается из некоторого решения системы (9) с помощью выбора подходящей параметризации x\(t) . Поэтому F является инвариантной гиперповерхностью системы (7) тоже.

Наконец, рассмотрим отдельно случай m = 2 . Тогда dim PTM = 3 и dim F = 2 . Поле контактных плоскостей y2 = p2dx высекает на поверхности F поле направлений, совпадающее с ограничением поля (9) на F. Следовательно, проекции интегральных кривых с поверхности F С PTM на M являются одновременно изотропными линиями и непараметризованными экстремалями функционала J(n) , что и утверждается в лемме.

Определение. Проекции интегральных кривых системы (9) из PTM на M, отличные от точки, называются (непараметризованными) геодезическими псевдофинслерова пространства (M, F) .

По лемме 2, в случае m = 2 все изотропные линии являются геодезическими в указанном выше смысле. Натуральная параметризация неизотропных геодезических определяется системой уравнений (6) с функцией ф(в) = sn и, как нетрудно видеть, совпадает в параметризацией пропорциональной длине дуги. В случае n> 2 натуральная параметризация изотропных геодезических не определена, в то время как при n = 2 она определена системой (6) с ф = id .

2. Полиномиальные двумерные псевдофинслеровы метрики.

Теперь мы всегда будем считать, что m = 2 и функция F является однородным полиномом

степени n > 2 по переменным (Xi) . Обозначим координаты на многообразии M через (x, y) .

_ _i

Рассмотрим псевдофинслерову метрику с метрической функцией f = Fn , где

n n

F(x, y; x,y) = Yl ai(x, y)xn-ly\ F(x, y; p) = Y^ ai(x, V)P%,

i=0 i=0

F ■ ■ Fxx F- ■ F xy , Hi = Gi F- ■ F xy , H 2 = F ■ ■ Fxx Gi

Fxy Fyy G2 Fyy Fxy G2

(12)

коэффициенты ц гладко зависят от (х, у) . Тогда система (8) принимает вид

.. Н1 .. Н 2 —

х = -=-, у = -=-, Н Н У Н

где С\ = Fх - XFхх - УFху и С2 = Fу - XFху - УFуу .

Л е м м а 3. Проективизация П: ТМ ^ РТМ переводит систему (12) в систему

= йу йр = Н2 - рН = Р

Р = А,х А,х = Н ~ А' ()

где

A(x,y; p)= nFFpp - (n - 1)Fp,

P(x, y; p)= nF(Fy - Fxp - pFyP) + (n - 1)FP(FX + pFy).

Доказательство. Принимая во внимание (9), нам остается только доказать равенство н2-и>н1 = _р , Где д, р определены в (14). Покажем, что H = (n — 1)Д и H2 — pHi = (n — 1)P , т.е. H = x 2n-4(n — 1)Д и H2 — pH i = x2n-2(n — 1)P . Так как обе части двух последних равенств можно рассматривать как квадратичные формы от ао,... ,an с коэффициентами, зависящими от x,y , для доказательства достаточно сравнить коэффициенты при мономах aiaj в левой и правой части каждого из равенств.

Положим е^ = 1, если г = у , и е^ = 2 , если г = у . Простое вычисление показывает, что в выражении Н = Г¿¿Гуу — Г¿х коэффициент при мономе aiaj , г + у = к , равен агзеVX2(п-1)-кук-2 , где

ач = (п — г)(п — 1 — г)э (у — 1) + (п — у )(п — 1 — ])г(г — 1) — 2г](п — г)(п — у) =

= (п — 1)(п(к2 — к — 4г]) + 2гу).

С другой стороны, в выражении А = пГГрр — (п — 1)Гр коэффициент при мономе aiaj , вче^рк-2,где

33-^ = п(г(г — 1) + у (у — 1)) — 2гу (п — 1) = п(к2 — к — 4г]) + 2гу. (16)

г + у = к , равен вч ечрк 2 , где

Из (15) и (16) получаем ач = (п — 1)вч , откуда следует равенство Н = X2п 4(п — 1)А . Доказательство равенства Н2 — рН 1 = X2п-2(п — 1)Р совершенно аналогично.

Замечание! Из формулы (14) следует, что А и Р являются полиномами по р степеней не больше 2п — 4 и 2п — 1, соответственно. В частности,

А(х,у; р) = (2nanan-2 — (п — 1)йП-1 )р2п-4 +-----+ 2naoa2 — (п — 1)й1.

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

(дх +Р ду^ + др (7

Поле (17) определено во всем пространстве РТМ включая изотропную поверхность $. Поле контактных плоскостей dy = рйх высекает на поверхности $ поле направлений, интегральные кривые которого соответствуют изотропным линиям, а все остальные интегральные кривые поля (17), не лежащие целиком на изотропной поверхности $, соответствуют неизотропным геодезическим.

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

п

$(р) = П(р + И), Ъ € п > 2, (18)

i=1

рассмотрим многочлен

А(р) = пФ(р)Ф''(р) — (п — 1)Ф'(р)2. (19)

Тогда имеют место следующие утверждения:

(a) А = 0 , если и только если 71 = • • • = 7п .

(b) Если не все числа 71,... равны между собой, то р - вещественный корень многочлена А, если и только если р - кратный корень многочлена Ф .

(c) Если п > 3 и р - корень многочлена Ф кратности 2, то р - корень многочлена А кратности 2 .

Д о к а з а т е л ь с т в о. Импликации 71 = ••• = 7п ^ А = 0 в пункте (а) и Ф(р) = Ф'(р) = 0 ^ А(рр) = 0 в пункте (Ь) совершенно очевидны. Импликация А = 0 ^ 71 = ••• = 7п в пункте

(а) следует из (Ь). Действительно, предположим, что А = 0 и не все числа равны

между собой. Согласно (Ь), равенство А(р)=0 влечет Ф(р)=0. Следовательно, Ф = 0, что противоречит (18). Утверждение пункта (с) тоже тривиально: дважды дифференцируя (19), из равенств Ф(р) = Ф'(р)=0 следует А(р)=А'(р)=0 и А''(р) = (2 — п)Ф''(р)2 = 0 , если Ф''(р)=0 и п = 2 . Таким образом, остается доказать только импликацию А(р) = 0 ^ Ф(р) = Ф'(р) = 0 в пункте (Ь).

Предположим, что не все 71,... равны между собой и существует такое р* € М, что Ф(р*) = 0 . Сделав замену переменных р ^ р — р* , без ограничения общности будем считать, что р* =0 . Тогда Ф(0) = 71 • • • 7п = 0 и

п 1 Ф'(0) = ^2 «¿Ф(0), Ф''(0) = 2^2 ага3 Ф(0), аг = -.

г=1 г<]

Подставляя эти формулы в (19), после очевидных преобразований получаем

п 2

А(0) = Ф2(0) (2п ага3 — (п — ^ од) ) = —Ф2(0) фп(аь ..., от), г<] г=1

где

n ■ 2

Фп(а1, ...,ап)= п^2а1 — аг)

г=1 г=1

Покажем, что для любого п > 2 форма фп(а1,..., ап) > 0 , причем фп(а1,..., ап) = 0 только в том случае, когда а1 = • • • = ап . Доказательство легко провести индукцией по п . Действительно, для п = 2 имеем ф2(а1, а2) = 2(а2 + а2) — (а1 + а2)2 = (а\^ — а2)2 > 0 , причем очевидно, что ф2(а1, а2) = 0 если и только если а1 = а2 . Теперь предположим, что доказываемое утверждение верно для формы фп и рассмотрим форму фп+1 :

n n

Pn+i(ai,...,an,ß) = (n + 1)^2 а2 + ß2) - (Е (Xi + ß)

i=l i=l

nß2 - 2ßJ2ai +[(n + 1)J2 a2 - (J2 ).

Рассмотрим это выражение как квадратный трехчлен относительно переменной в с дискриминантом

п 2 п п 2

О = (^2 а^ — п( (п + 1)^2 а2г — {^2 аг) ) = —(п + 1)фп(а1,.. .,ап).

г=1 г=1 г=1

По предположению индукции, О < 0 и О = 0 если и только если а1 = • • • = ап . Так как уравнение фп+1(а,..., а, в) = п(в — а)2 = 0 имеет единственный корень в = а, мы доказали, что фп+1(а1,..., ап, в) > 0 и фп+1(а1,..., ап, в) = 0 если и только если а1 = • • • = ап = в .

Таким образом, если не все числа ^1,... ,1п равны между собой, мы установили импликацию Ф(р) = 0 ^ А(р)=0 или, эквивалентно, А(р) = 0 ^ Ф(р) = 0. Наконец, из (19) следует импликация А(р) = Ф(р)=0 ^ Ф'(р) = 0, т.е. р является кратным корнем многочлена Ф . Лемма доказана.

Замечание 2. Очевидно, что импликация Ф = Ф' = 0 ^ А = 0 выполнена для всех многочленов Ф , не обязательно имеющих вид (18). Однако обратная импликация А = 0 ^ Ф = 0 не верна в случае, если многочлен Ф имеет комплексный корень. Нетрудно

2

видеть причину этого: неравенство фп(а\,... ,an) > 0 , вообще говоря, не имеет места, если среди чисел ai есть комплексные. Рассмотрим, например, многочлен Ф = p3 + p , имеющий единственный вещественный корень p = 0 и два комплексных. Соответствующий многочлен A = 2(3p2 — 1) имеет два вещественных корня, ни один из которых не равен нулю. Более того, Ф = p4 + 6p2 + 1 вообще не имеет вещественных корней, в то время как соответствующий ему многочлен А = 48(p2 — 1)2 имеет два корня p = ±1 кратности 2 .

Лемма 4 дает простое геометрическое описание множества особых точек уравнения (13) в области M' С M , через каждую точку которой проходят m изотропных линий псевдофинсле-рова пространства (M, F) , т. е. многочлен F(p) имеет m вещественных корней (с учетом кратностей и, возможно, включая в число корней p = ж). Именно, в точке (x,y) € M' функция A(x,y; p) обращается в нуль если и только если хотя бы две из m изотропных линий, проходящих через данную точку, касаются друг друга, причем p - соответствующее касательное направление. Заметим, что это утверждение не верно для дополнения области M1, где многочлен F(p) имеет комплексные корни.

2.1. Псевдоримановы метрики. Согласно замечанию 1, в случае n = 2 (псевдоримановы метрики) А есть многочлен степени нуль по переменной p, т. е. А не зависит от p. Более того, нетрудно убедиться, что А = —4D[p] , где D[p] означает дискриминант многочлена F второй степени. Следовательно, множество особых точек уравнения (13) совпадает с дискриминант-ной кривой уравнения F(x,y; p) = 0. Нетрудно видеть, что уравнение A(x,y) = 0 определяет инвариантную поверхность поля (17), заполненную интегральными кривыми, проекции которых на M (стандартное проектирование PTM — M ) являются точками, составляющими дискриминантную кривую.

Описанное свойство приводит и интересному феномену: геодезические не могут проходить через точку (x, y) дискриминантной кривой с произвольными касательными направлениями, а только в определенных допустимых касательных направлениях p, определяемых условием P(x, y; p) =0 . В случае общего положения P(x, y; p) является кубическим многочленом по p , имеющим 1 или 3 вещественных корня, следовательно, число допустимых направлений равно 1 или 3. Особенности геодезического потока в псевдоримановых метриках на двумерных многообразиях детально исследованы в работах [3, 8, 9]. Аналогичные результаты для трехмерных псевдоримановых метрик анонсированы в [7].

Необходимо отметить, что случай n = 2 весьма отличается от финслеровой и псевдофинсле-ровой геометрии произвольной размерности n> 2 . Дело в том, что в общем случае n> 2 функция А зависит от p и понятие допустимого направления не возникает: как правило, геодезические проходят через каждую точку многообразия M во всех касательных направлениях, но некоторые направления в некоторых точках дают сингулярность. Другими словами, лишь точки пространства PTM могут обладать (или не обладать) свойством быть особыми точками уравнения геодезических.

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

СПИСОК ЛИТЕРАТУРЫ

1. Ghezzi R., Remizov A. O. On a class of vector fields with discontinuities of divide-by-zero type and its applications to geodesies in singular metrics // Journal of Dynamical and Control Systems, 2012. V. 18. № 1. P. 135158.

2. Павлова Н. Г., Ремизов А. О. Геодезические на гиперповерхностях в пространстве Минковского: особенности смены сигнатуры // УМН, 2011. Т. 66. № 6 (402). С. 193-194.

3. Ремизов А. О. Геодезические на двумерных поверхностях с псевдоримановой метрикой: особенности смены сигнатуры // Матем. сб. 2009. Т. 200. № 3. С. 75-94.

4. Remizov A. O. On the local and global properties of geodesies in pseudo-Riemannian metrics // Differential Geometry and its Applications. 2015. V. 39. P. 36-58.

5. Рунд Х. Дифференциальная геометрия финслеровых пространств. М.: Наука, 1981.

6. Balan V., Neagu M. Jet single-time Lagrange geometry and its applications // John Wiley & Sons, Inc., Hoboken, NJ, 2011.

7. Matsumoto M., Shimada H. On Finsler spaces with 1-form metric. II. Berwald-Moor's metric L = (y1y2 ■ ■ ■ ■ ■ ■ yn)1/n // Tensor (N.S.). 1978. V. 32. № 3. P. 275-278.

8. Bao D., Chern S.-S., Shen Z. An Introduction to Riemann-Finsler Geometry // Graduate Texts in Mathematics, 200. Springer-Verlag, New York, 2000.

9 . Matsumoto M. Two-dimensional Finsler spaces whose geodesics constitute a family of special conic sections // J. Math. Kyoto Univ., 1995. V. 35. № 3. P. 357-376.

10 . Mikes J., Hinterleitner I., Vanzurova A. One remark on variational properties of geodesics in pseudoriemannian and generalized Finsler spaces // In: Geometry, integrability and quantization, Softex, Sofia, 2008. P. 261-264.

БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проекты № 15-01-04601, 16-01-00677, 16-01-00766).

Поступила в редакцию 8 февраля 2016 г.

Курбацкий Алексей Николаевич, МГУ им. М. В. Ломоносова, Московская школа экономики, г. Москва, Российская Федерация, кандидат физико-математических наук, доцент кафедры эконометрики и математических методов экономики, e-mail: akurbatskiy@gmail.com

Павлова Наталья Геннадьевна, Российский университет дружбы народов, г. Москва, Российская Федерация, кандидат физико-математических наук, доцент кафедры нелинейного анализа и оптимизации, e-mail: natasharussia@mail.ru

Ремизов Алексей Олегович, Институт проблем управления им. В. А. Трапезникова РАН, г. Москва, Российская Федерация, кандидат физико-математических наук, научный сотрудник лаборатории проблем качественного исследования нелинейных динамических систем, e-mail: alexey-remizov@yandex.ru

UDC 514

DOI: 10.20310/1810-0198-2016-21-1-66-75

SINGULARITIES OF GEODESIC FLOWS AND GEODESIC LINES IN PSEUDO-FINSLER SPACES. I

© A. N. Kurbatskiy, N. G. Pavlova, A. O. Remizov

This is a first paper in the series devoted to singularities of geodesic flows in generalized Finsler (pseudo-Finsler) spaces. Geodesics are defined as extremals of a certain auxiliary functional whose non-isotropic extremals coincide with extremals of the action functional. This allows to consider isotropic lines as (unparametrized) geodesics, similarly to pseudo-Riemannian metrics. In the next forthcoming paper we study generic singularities of so-defined geodesic flows in the case when the pseudo-Finsler metric is given by a generic 3-form on a two-dimensional manifold.

Key words: pseudo-Finsler spaces; geodesics, singular points.

2016. T. 21, Bbm. 1. MaTeMaTHKa

ACKNOWLEDGEMENTS: The present work is partially supported by the Russian Fund for Basic Research (projects № 15-01-04601, 16-01-00677, 16-01-00766).

REFERENCES

1. Ghezzi R., Remizov A.O. On a class of vector fields with discontinuities of divide-by-zero type and its applications to geodesies in singular metrics // Journal of Dynamical and Control Systems, 2012. V. 18. № 1. P. 135-158.

2. Pavlova N.G., Remizov A.O. Geodezicheskie na giperpoverhnostyah v prostranstve Minkovskogo: osobennosti smeny signatury // UMN, 2011. T. 66. № 6 (402). S. 193-194.

3. Remizov A.O. Geodezicheskie na dvumernyh poverhnostyah s psevdorimanovoj metrikoj: osobennosti smeny signatury // Matem. sb., 2009. T. 200. № 3. S. 75-94.

4. Remizov A.O. On the local and global properties of geodesics in pseudo-Riemannian metrics // Differential Geometry and its Applications, 2015. V. 39. P. 36-58.

5. Rund H. Differencial'naya geometriya finslerovyh prostranstv. M.: Nauka, 1981.

6. Balan V., Neagu M. Jet single-time Lagrange geometry and its applications // John Wiley & Sons, Inc., Hoboken, NJ, 2011.

7. Matsumoto M., Shimada H. On Finsler spaces with 1-form metric. II. Berwald-Moor's metric L = (y1y2 ■ ■ ■ ■ ■ ■ yn)1/n // Tensor (N.S.), 1978. V. 32. № 3. P. 275-278.

8. Bao D., Chern S.-S., Shen Z. An Introduction to Riemann-Finsler Geometry // Graduate Texts in Mathematics, 200. Springer-Verlag, New York, 2000.

9. Matsumoto M. Two-dimensional Finsler spaces whose geodesics constitute a family of special conic sections // J. Math. Kyoto Univ., 1995. V. 35. № 3. P. 357-376.

10. Mikes J., Hinterleitner I., Vanzurova A. One remark on variational properties of geodesics in pseudoriemannian and generalized Finsler spaces // In: Geometry, integrability and quantization, Softex, Sofia, 2008. P. 261-264.

Received 8 February 2016.

Kurbatskiy Aleksei Nikolaevich, Moscow Lomonosov State University, Moscow School of Economics, Moscow, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Department of Econometrics and Mathematical Methods of Economics, e-mail: akurbatskiy@gmail.com

Pavlova Natalia Gennadievna, Peoples' Friendship University of Russia, Moscow, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Department of Nonlinear Analysis and Optimization, e-mail: natasharussia@mail.ru

Remizov Aleksei Olegovich, Trapeznikov Institute of Control Sciences of RAS, Moscow, the Russian Federation, Candidate of Physics and Mathematics, Researcher of the Laboratory of Qualitative Analysis for Nonlinear Dynamic Systems, e-mail: alexey-remizov@yandex.ru