CC BY
22
About Generating Set of the Invariant Subalgebra of Free Restricted Lie Algebra
V. M. Petrogradsky1, I. A. Subbotin2
1 Department of Mathematics, University of Brasilia, 70910-900 Brasilia DF, Brazil, [email protected]
2Ulyanovsk State University, Russia, 432970, Ulyanovsk, ul. LvaTolstogo, 42, [email protected]
Suppose that L = L(X) is the free Lie p-algebra of finite rank k with free generating set X = {xi,... ,xk} on a field of positive
characteristic. Let G is nontrivial finite group of homogeneous automorphisms L(X). Our main purpose to prove that LG subalgebra
of invariants is is infinitely generated. We have more strongly result. Let Y = u£°=1Y„ be homogeneous free generating set for
the algebra of invariants LG, elements Yn are of degree n relatively X, n > 1. Consider the corresponding generating function
H(Y, t) = Y1 \Yn\tn. In our case of free Lie restricted algebras, we prove, that series H(Y, t) has a radius of convergence
n= 1
1/k and describe its growth at t ^ 1/k - 0. As a result we obtain that the sequence |Y„|, n > 1, has exponential growth. Key words: free Lie algebras, Lie p-algebras, invariants, generating set.
References
1. Shirshov A. I. Subalgebras of free Lie algebra. Мat. sb., 1953, vol. 33, no. 2, pp. 441-452 (in Russian).
2. Witt E. Die Unterringe der freien Lieschen Ringe. Math. Z., 1956, vol. 64, pp. 195-216.
3. Bryant R. M. On the fixed points of a finite group acting on a free Lie algebra. J. London Math. Soc. 1991, vol. 43, no. 2, pp. 215-224.
4. Petrogradsky V. M., Smirnov A. A. On invariants of modular free Lie algebras. J. Math. Sci., 2010, vol. 166, no. 6, pp. 767-772.
5. Jacobson N. Lie algebras. New York, Interscience, 1962. 332 p.
6. Bahturin Yu. A. Identical Relations in Lie Algebras. Netherlannds, VNU Sciens Press BV, 1987, 309 p.
7. Petrogradsky V. M. On Witt's formula and invariants for free Lie superalgebras. Formal power series and algebraic combinatorics (Moscow 2000), Springer, 2000, pp. 543-551.
8. Bahturin Yu. A., Mikhalev A. A., Petrogradsky V. M., Zaicev M. V. Infinite-dimensional Lie superalgebras. de
YflK 517.54
Gruyter Exp. Math., Berlin, Walter de Gruyter & Co., 1992, vol. 7, 250 p.
9. Petrogradsky V. M. Witt's formula for restricted Lie algebras. Adv. Appl. Math., 2003, vol. 30, pp. 219-227.
10. Petrogradsky V. M. Asymptotic problems in algebraic structures. Limit of graphs in group theory and computer science. ed. G. Arzhantseva, A. Valette, Lausanne, EPFL Press, 2009, pp. 77-108.
11. Markushevich A. L., Markushevich L. A. Vvedenie v teoriiu analiticheskikh funktsii [Introduction to the theory of analytic functions]. Moscow, Prosveshchenie, 1977, 320 p. (in Russian).
12. Petrogradsky V. M. On invariants of the action of a finite group on a free lie algebra. Sib. Math. J., 2000, vol. 41, no. 4, 763-770.
13. Petrogradsky V. M. Characters and invariants for free Lie superalgebras. St. Petersburg Math. J., 2002, vol. 13, no. 1, pp. 107-122.
ИНТЕГРАЛЫ УРАВНЕНИЯ ЛЕВНЕРА СО СТЕПЕННОЙ УПРАВЛЯЮЩЕЙ ФУНКЦИЕЙ
Д. В. Прохоров1, К. А. Самсонова2
1 Профессор, заведующий кафедрой математического анализа, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]
2Аспирант кафедры математического анализа, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]
Рассматривается качественное локальное поведение траекторий обыкновенного дифференциального уравнения Левнера с управляющей функцией, обратной к степенной функции, с целым показателем степени. Выделены все особые точки и соответствующие им сингулярные решения. Показано, что эта управляющая функция порождает решения уравнения Левнера, которые представляют собой отображения полуплоскости с гладким разрезом на верхнюю полуплоскость. Найдено асимптотическое соотношение между гармоническими мерами сторон разреза.
Ключевые слова: уравнение Левнера, гармоническая мера, сингулярное решение, управляющая функция, С1 -кривая.
ВВЕДЕНИЕ
На протяжении многих лет дифференциальное уравнение Левнера [1] служило мощным средством изучения свойств однолистных функций в единичном круге. Обнаруженные связи теории Левнера со многими разделами математики объясняют растущий интерес к ней в современных исследованиях (см. например [2]). Уравнение Левнера для верхней полуплоскости Н появилось значительно позднее (см. например [3, с. 229]) и стало особенно популярным в последние десятилетия. Рассмотрим его подробнее. Пусть функция т = /(2, £), £ € Н, £ > 0, имеющая в окрестности бесконечно удаленной точки представление
/М) = £ + + , £(1)
отображает Н\ К;, К; с Н, на Н и является решением обыкновенного дифференциального уравнения
Левнера для верхней полуплоскости:
^ ^^ ' /<2' Ч = 2' 2 ^ (2)
с непрерывной вещественной управляющей функцией А(£).
Конформные отображения /<2, £) допускают непрерывное продолжение на множество всех точек 2 € К, не принадлежащих замыканию множества К;. Продолженные таким образом отображения /<2,£) удовлетворяют уравнению (2). Давняя задача (см. например [4]) заключается в том, чтобы определить в терминах А случаи, когда К; оказывается жордановой дугой 7(т), т > 0, с начальной точкой 7(0) € К. В этом случае 7(£) является разрезом полуплоскости Н, а /(2, £) непрерывно продолжается на множество достижимых граничных точек на обеих сторонах разреза 7(£):
А(£) = / (7(£),£), 7(£) = /-1(А(£),£).
Точки 7(£) рассматриваются как носители простых концов, различных на разных сторонах дуги. Известны примеры управляющих функций в уравнении Левнера, которые генерируют отображения Н\К; ^ Н с круговыми двуугольниками К;. Для классического уравнения Левнера подобный пример построен Куфаревым [5]. Его аналог (2) для верхней полуплоскости возникает при А(£) = 3\/2\/1 — £, детальное описание дано в [4,6].
Линейным преобразованиям управляющей функции А(£) соответствуют определенные преобразования решений уравнения (2). Поэтому без ограничения общности можно считать, что А(0) = 0. Геометрическое описание критических траекторий для интегралов уравнения (2) приводится в ряде статей [4, 6, 7], как в случае интегрирования уравнения в квадратурах, так и для управляющих функций из разных функциональных классов, например класса Ыр(1/2).
В настоящей статье исследуется качественное асимптотическое поведение решений дифференциального уравнения (2), генерируемых управлениями, обратными к степенной функции с натуральной степенью. Управляющая функция А(£) = , N € М, N > 3, выбрана как типичный представитель класса Lip(1/N). Основной результат содержится в следующей теореме.
Теорема 1. Пусть /(2, £) является решением дифференциального уравнения:
^(2,£) =-2-^, /(2,0) = 2, 1т 2 > 0, N € М, N > 3. (3)
Тогда для достаточно малых £ > 0 /(■,£) отображает область £(£) = Н \ 7(£) на Н, где 7(£) является С1-кривой, лежащей в Н, за исключением, быть может, точки 7(0) = 0.
В силу результатов статьи [8], что если N > 3, то разрез 7(£) в теореме 1 не может находиться в угле Штольца с вершиной в точке 2 = 0. В [9] показано, что круговой разрез 7(£), касающийся вещественной оси К в точке 2 = 0, генерируется управляющей функцией А(£) € Lip(1/3) дифференциального уравнения (2).
Во второй части статьи приводятся предварительные сведения об особых точках и соответствующих сингулярных решениях дифференциального уравнения и их представлении. В третьей части даются вспомогательные результаты, характеризующие поведение сингулярных решений. Четвертая часть содержит описание важных траекторий, порожденных уравнением Левнера, и доказательство основной теоремы 1. В пятой, заключительной, части доказана теорема 2 об асимптотическом поведении отношения гармонических мер двух сторон разреза, генерируемого управляющей функцией уравнения Левнера.
1. ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ
Сделаем замену переменных £ ^ т*, 0(2, т) := /т*). Тогда уравнение (3) примет вид
) 2Жт *-1
Йт ) — т
0(2,0) = г, 1т г > 0. (4)
Если г = 0, то 0) = 0 и существует регулярное решение 0(2, т) уравнения (4), голоморфное относительно т при достаточно малых |т| , единственное для каждого г = 0. Сингулярные решения уравнения (4) не удовлетворяют условиям единственности. Каждая точка (0(20, т0),т0) такая, что 0(20,т0) = т0, является сингулярной точкой для уравнения (4). Если т0 = 0, то точка (#(г0,т0),т0) называется алгебраической критической точкой решения 0(2, т). В этом случае соответствующие сингулярные решения уравнения (4) разложимы в ряды по степеням (т — т0)1/т, т е М, в окрестности точки т = т0 (см. [10, с. 129]).
Точка (0(20,т0),т0) = (0,0) является единственной сингулярной точкой неопределенного характера, для которой числитель и знаменатель в правой части уравнения (4) обращаются в нуль одновременно [10, с. 130].
Поведение всех решений уравнения (4) описывается теоремой Пуанкаре-Бендиксона [10, с. 138; 11; 12]. Две интегральные кривые дифференциального уравнения (4) пересекаются только в особой точке (0, 0). Интегральная кривая уравнения (4) может иметь кратные точки только в точке (0, 0). Бендиксон (I. ВепШхБОп) [12] установил, что вещественные интегральные кривые имеют конечные точки в узлах и фокусах и имеют продолжение через седловые точки. Теорема Бендиксона [12] описывает все три возможных случая поведения траекторий для уравнения (4) в окрестности точки (0, 0): (а) интегральная кривая замкнута, то есть является циклом; (б) интегральная кривая представляет собой спираль, которая стремится к циклу асимптотически; (с) интегральная кривая имеет конечную точку (0,0).
Напомним случаи интегрируемости в квадратурах дифференциального уравнения Левнера (2), приведенные в [6] и соответствующие управляющим функциям А(£) = с\Д и А(£) = с\/1 — £. В первом из них, после замены переменной £ ^ т2, особая точка (0,0) становится седловой по классификации Пуанкаре [11], а во втором замена переменной £ ^ 1 — т2 приводит к фокусу в особой точке (0,0).
Будем искать решения уравнения (4), которые бесконечно дифференцируемы относительно действительной переменной т (см. [10, с. 129; 13, с. 13]). Рекуррентные оценки тейлоровских коэффициентов позволяют отыскать сингулярные решения при условии, что получившийся ряд будет иметь положительный радиус сходимости [14, с. 101]. Пусть
те
0а (0, т) = £ аптп (5)
П = 1
представляет формальное степенное разложение для сингулярного решения уравнения (4). Такое разложение не единственно, оно зависит от пути, по которому 2 приближается к 0, 2 е К. Подставляя (5) в (4), получаем:
паптП-1 ( ^ аптп — т ] = 2Жт*-1. (6)
П=1 \п=1
Приравниваем коэффициенты при одинаковых степенях в обеих частях (6) и получаем систему уравнений
а1 (а1 — 1) = 0,
/
^ка^ — 1а/ = 0, 1 = 2,..., 1 = N — 1, (7)
N _1
^Т ка^ау— (N — 1)ау_1 = 2N.
Первое уравнение системы (7) предполагает два возможных значения а1 = 1 и а1 =0 для двух сингулярных решений д+ (0, т) и д_ (0, т). В обоих случаях уравнение (6) предполагает рекуррентные формулы для коэффициентов а+ и а_ функций д+(0, т) и д_(0,т) соответственно:
1-1
а+ = 1, а+ = ... = аМ-2 = 0, Оу_1 = 2^ а+ = — ^ ка+1 > N (8)
^=2
/_1
2N 1 1 1
а_ =... = ау _2 = «у _1 = — ^зу, = 1 , 1 > ^ (9)
^=2
Покажем, что ряд ^ а+тп, формально представляющий д+ (0,т), расходится для всех т = 0.
п=1
Лемма 1. Если в = ^ — 2)т + 1, т = 0,1,..., то а+ = 0. Существуют с1У > 0 и с2У > 0 такие, что для всех 1 = ^ — 2)т + 1, т = 0,1,..., выполняются неравенства
еГут! <|а+|< с^ 11_3. (10)
Доказательство. Докажем, что а+ =0 для в = ^ — 2)т + 1, т = 0,1,.... Из формулы (8) следует, что а+ = 0 для начальных значений в = 2,..., N — 2. Предположим, что а+ = 0 для всех в = ^ — 2)д +1, д = 0,1,..., т, и докажем, что а+ = 0 для (N — 2)т + 2 < в < (N — 2)(т + 1). Согласно (8)
а+ = — ка+а+_^+1. (11) ^=2
Если к = (N — 2)д + 1, д = 0,1,..., т, то в — к не может быть кратно N — 2. Поэтому по предположению индукции а+_£+1 =0 в формуле (11) и а+ = 0, что доказывает индуктивное утверждение.
Далее докажем, что а+ = (—1)9+1 |а+1, где 1 = ^ — 2)д + 1, д = 1, 2,.... Из формулы (8) следует, что ау_1 = 2N > 0 для д = 1. Предположим, что а+ = (—1)9+1 |а+| для всех 1 = (N — 2)д + 1, д = 1,..., в — 1, и докажем, что а+ = (—1)в+1 |а+1 для 1 = ^ — 2)в + 1. Согласно (8) и предположению индукции получаем:
в_1
(У _2)з+1 = — X/ — 2)р + 1)а(у _2)р+1 а(у _2)(в_р) + 1 Р=1
(У _2)(в_р) + 1
Р=1
(—((N — 2)р + 1)|а+у _2)р+1 ||а+у _2)(в_р)+11 = (—1)5+1 |а+у _2)*+11,
что доказывает индуктивное утверждение.
Перейдем к доказательству нижней оценки в неравенстве (10). Для ау_1 = 2N нижняя оценка (10) выполняется. Предположим, что эта оценка выполняется для а+, где 1 = ^ — 2)в + 1, в = 1,... ,т — 1, и докажем, что нижняя оценка (10) справедлива для 1 = ^ — 2)т + 1. Действительно,
т_1
|а(У _2)т+1| = — 2)Р +1)|а(У _2)р+1||а(У _2)(т_р) + 11 >
Р=1
зс
т — 1 т — 1
> £ ((Ж - 2)р + 1)е*>!ст—Р(т - р)! > ей* £ (р + 1)!(т - р)! > ет^т!,
р=1 р=1
что индуктивно доказывает нижнюю оценку (10).
Теперь получим верхнюю оценку в неравенстве (10). Существует е2^ такое, что справедлива оценка |а+| < еП—1 пп—3 для п = 1, 2, 3. Предположим, что утверждение верно для а+, где к = 1,..., п - 1, п > 4, и докажем, что верхняя оценка (10) справедлива для к = п. Действительно,
п —1 п —1
|а+1 = £ к|а+ ||а+—к+11 < еП—1 £ кк—2(п - к + 1)п—к—2 = к=2 к=2
п — 3 / к + 1 \ п — к—2 (1 .. / )п —2
п—1 пп—4((1 - 1/п)п—4 + £(к/п)к—22 ( п-к + М + (1 - 2/п)п—4 + (1 - 1/п)-). (12)
I,—я V п /
Для п > 4 справедливы неравенства
(1 - 1/п)п—4 < 1, (1 - 2/п)п—4 < 1, (1 - 1/п)п—3 < 3/4. Кроме того, для 3 < к < п - 3, п > 6, очевидно, справедливы неравенства
,к — 2( п - к + 1
п—к—2
(к/п)*"2( п ' Ч < 1/2.
Подставляем эти неравенства в (12) и приходим к неравенству
|а+ I < еПт—1 пп—44 (1 + £ 2 + 1 + 3п) < еП^—1пП—3'
V к=3 /
которое доказывает верхнюю оценку (10) и завершает доказательство леммы 1. □
Лемма 2. Если в = (Ж - 2)т +1, т = 1, 2,..., то а— =0. Для всех I = (Ж - 2)т +1, т = 1, 2,..., выполняются неравенства
|а—1< е2—у1г1—3. (13)
Доказательство. Докажем, что а— =0 для в = I. Из рекуррентной формулы (9) следует, что а— =0 для начальных значений в = 1, 2,..., N-2. Предположим, что а— =0 для всех в = (Ж-2)д+1,
q = 1,..., т, и докажем, что а— =0 для (Ж - 2)т + 2 < в < (Ж - 2)(т + 1). Согласно (9)
1 1
а— = в^^О» —к+1. (14)
к=2
Если к = (Ж - 2)q + 1, q = 0,1,..., т, то в - к не может быть кратно Ж - 2. Поэтому по предположению индукции а^—к+1 = 0 в формуле (14) и а— =0, что доказывает индуктивное предположение.
Доказательство того, что а— = (-1)9 |а—|, где I = (Ж - 2^ + 1, q = 1, 2,..., проводится аналогично тому, как в лемме 1 было показано, что а+ = (-1)9+1|а+1.
Доказательство неравенства (13) следует из леммы 1. Действительно, а— < а+, |а^_ 11 < |а^—11. Из формул (8) и (9) индуктивно следует, что для всех I = (Ж - 2)т + 1 справедливы неравенства |а— | < |а+1, что вместе с утверждением леммы 1 доказывает лемму 2. □
те
Из нижней оценки (10) следует расходимость ряда ^ а+т1 при т = 0. Следовательно, уравнение
1=1
(4) не имеет голоморфного решения (5) в окрестности точки т0 =0 с условием а+ = 1. Известный
те
метод Бореля [14, с. 107; 15], позволяет суммировать расходящийся ряд ^ а+т1. Согласно лемме 1
1=1
ряд
те I
а+
) = у ^ тп
у 7 ^ п!
п=1
сходится при |т| < Д0, Д0 > 0. Сумма Бореля
сю
й(т) = е-х£(тх) ¿ж
о
определяет бесконечно дифференцируемую функцию Л,(т), Мп) (0) = а+, п > 1, которая является
с
решением уравнения (4). Такой же подход можно применить и к ряду ^ а-тп.
П=1
В этих случаях решения д+(0, т), д- (0, т) уравнения (4) с начальной особой точкой (0,0) удовлетворяют асимптотическим соотношениям:
п п
д+(0, т) = £ а+тк + 0(тп), д-(0, т) = £ а-тк + 0(тп), т ^ 0, к=1 к=1
для всех п > 2.
Пусть Д(0,£) := д+(0, V), /2(0, := д-(0, V). Так как /1(0,0 = + 2/ + 0( )
2/ ,_ ,_
и /2(0, ?) = — ——- ^-1 + 0( л-1) при ? ^ 0, то неравенства N — 1
/2(0,?) < ^</1 (0,?)
выполняются для достаточно малых ? > 0. Найдем представления для остальных сингулярных решений уравнения (3), которые появляются при ? > 0. Пусть существуют 20 е Н и ?0 > 0 такие, что /(¿0,£0) = ^¿о. Тогда (/(¿0,?0), N^0) является сингулярной точкой уравнения (3) и сингулярное решение /(¿0,?) разлагается в ряд по степеням (? — ¿0)1/т, т е М,
/(20,?)= ^ ^ 6/т (? — ¿0)1/т. (15)
1 = 1
Подставляем (15) в (3) и получаем:
£
— ¿0)1/т 1
1=1
X
т
(—1)1-1(/ — 1)(2/ — 1)... ((/ — 1)/ — 1)(? — ¿0 ) М1
Л=1 1=1 / /!Г0
X £ 6/т (« — Ь,)"" =2. (16)
Приравнивая коэффициенты при одинаковых степенях в обеих частях уравнения (16), замечаем, что Ь/т = 0 только в случае т = 2, при этом
(61/2 )2 =4.
Это уравнение предлагает два возможных значения Ь1/2 = 2 и Ь1/2 = —2 для двух ветвей /1 (г0, ¿) и /2(20,¿) сингулярного решения (15). Выберем, например, значение Ь1/2 = 2 и получим рекуррентную формулу для коэффициентов ветви /1(г0,^),
1 ( 1 1-1 А
61/2 = 2, 6г/2 = (сп/2 — 2 кЬк/2(Ь(г-к+1)/2 — С(|_к+1)/2П , / > 2, (17)
где
с =0 с = (— 1)к-1 (V — 1)(2/ — 1)... ((к — 1)/ — 1) . С(2*-1)/2 =0, = --, к = 1, 2,--" (18)
Так как
N к
/1(20,*)= + 2^/^—+ о(л/г—0),
/2(20, ¿)= — 0 + 0),
^ = + —Лж(г — ¿0) + о(г — ¿0), t ^ ¿0 + 0,
N¿0
то неравенства /2(¿0,¿) < л/^ < /1(г0,^) выполняются для всех ^ > ¿0, близких к ¿0.
с
2. ВСПОМОГАТЕЛЬНЫЕ РЕЗУЛЬТАТЫ
Из теории дифференциальных уравнений следует, что различные интегральные кривые уравнения (3) пересекаются только в сингулярной точке (0, 0) (см. [10, с. 138]).
Лемма 3. При 0 < £0 < £ для достаточно малых £ > 0 выполняются следующие неравенства:
/2(0,£) < /2(20,£) < ^ < /1 (20,£) < /1 (0,£),
где (/(20,£0), ^£0) — сингулярная точка уравнения (3).
Доказательство. Достаточно доказать первое и последнее неравенства леммы 3. Покажем, что /1 (20, £) < /1 (0,£). Вычитая одно из другого уравнения
/1(0,£)_ 2
dt /i(0, t) - ^t' dfi(zo, t) 2
/1(0,0) = 0,
/1 (zo ,to)= Vö,
dt /1 (zo ,t) - ' получаем
d(/i(0, t) - /i(zo,t)) _ 2(/i(zo,t) - /1 (0,t))
dt (/i(0, t) - Nt)(/i(zo,t) - Nt)
Перепишем последнее равенство в виде
dlog(/i(0, t) - /1 (zo,t)) 2
(/1(0, £) — ^(/1 (20 ,£) — ^)'
Предположим, что существует наименьшее число Т > £0, для которого выполняется равенство /1(0, Т) = /1 (20, Т). Отсюда следует, что
т
Г ^ = гс. (19)
J (/i(0,t) - Nt)(/i(zo,t) - Nt)
10
Вычисляя а+у-з = —(Ж — 1)(2Ж)2, запишем асимптотическое разложение:
/1 (0,£)= + 2Ж — (Ж — 1)(2Ж)2 ^г^^-3 + 0( ^^^), £ ^ +0.
Существует Т' > 0 такое, что для 0 < £ < Т' выполняется неравенство + 2Ж Vх-1 > /1(0, £). Для оценки интеграла в левой части равенства (19) необходимо изучить поведение функции /1(20,£) — с использованием дифференциального уравнения:
¿(/1(20, £) — 2 1 2Ж ^^ — /1 (20 ,£)+ ^
(20)
dt /1 (zo,t) - Nt N NW-1 N NW-1 (/i(zo,t) - Nt)'
Так как
/i(zo,t) - л/t =2 Vt-to + O( Vt-to),
то правая часть (20) положительна при 0 < t < T', /1(zo,t) - Nt растет вместе с t, to < t < T < T', и интеграл в левой части (19) конечен. Полученное противоречие с равенством (19) отрицает существование T с заданными свойствами и доказывает последнее неравенство в лемме 3.
Доказательство того, что /2(0, t) < /2(zo,t), проводится аналогично. □
Лемма 4. При 0 < t1 < to < t для достаточно малых t > 0 выполняются неравенства
/2(zi, t) < /2(zo,t), /1 (zo,t) < /i(zi,t),
где (/(z1 ,t1), N^1) и (/(zo,to), N^) сингулярные точки уравнения (3).
Доказательство. Доказательство леммы 4 аналогично проведенному в лемме 3 с заменой 0 на z1.
3. СВОЙСТВА решении уравнения левнера
Решение /(г, £) дифференциального уравнения Левнера (3) аналитично по г е Н \ для фиксированного £ > 0, дифференцируемо по £ е (0, £0), £0 > 0, и непрерывно на [0,¿о] для фиксированного £ е Н\К;0. Функция /(■,£) допускает продолжение на замыкание области Н\, которое непрерывно в определенном смысле и устанавливает взаимно однозначное соответствие между простыми концами области Н \ и точками К. Если простой конец области Н \ К;0, соответствующий точке N^0, содержит точку г0(£0), £0 > 0, то (/(г0(£0), N^0) является сингулярной точкой для уравнения (3).
Зафиксируем т > 0 и рассмотрим функцию (£) := /(г(т),£), 0 < £ < т, где /(г(т),т) = N/т, /(г(т),£) определяется разложением (15) с т = 2, т = £0, г(т) := г0, а коэффициенты Ь//2 в (15) вычисляются по формулам (17), (18).
Предложение 1. Функция (£) аналитична на (0, т), непрерывна на [0,т], определяет кривую, ортогональную вещественной оси К и соединяющую точки N/т и г(т). Точка г(т) определяется однозначно для всякого достаточно малого т > 0.
Доказательство. Функция /(-,т) : Н\^ Н аналитична в области Н\и взаимно однозначно сопоставляет простым концам границы этой области все вещественные точки. В частности, точке N/т сопоставляется некоторый простой конец, произвольную точку которого обозначим через г(т). Так как точка (/(г(т),т), N/т) является сингулярной точкой для уравнения (3), то справедливо представление (15) с т = 2, Ь//2 = 2, из которого следует, что
/(г(т), £) = + 2^|£ — т| + 61 (£ — т) + 0(£ — т), £ ^ т — 0, 61 е К.
Отсюда заключаем, что функция /(г(т),£), 0 < £ < т определяет кривую, ортогональную вещественной оси в точке Nт, и /(г(т),£) е Н для 0 < £ < т. Это означает, что г(т) е К для всех £ е [0,т). Поскольку /(г(т),£) = VI на [0,т), то (£) аналитична на (0,т), непрерывна на [0,т], ^(т)= ^т, ^(0) = /(г(т),0) = г(т).
Осталось показать, что точка г(т) определяется однозначно. Действительно, ряд по степеням
— т в представлении (15) с т = 2, £0 = т, сходится в некотором круге радиуса Л0 > 0, и коэффициенты ряда не зависят от выбора точки г0 = г(т), содержащейся в простом конце, соответствующем точке N/т. Функция (£) допускает аналитическое продолжение вдоль интервала (0, т), которое определяется только начальным элементом (15) и не зависит от выбора г(т). Следовательно, значение (0) = г(т) определяется однозначно, что завершает доказательство предложения 1. □
Доказательство теоремы 1. Для т > 0 функция /(-,т) конформно отображает область Н \ Кт на Н. Множество Кт с Н порождается управляющей функцией . Продолженная функция /(-,т) взаимно однозначно отображает множество простых концов области Н \ на К. Один из простых концов, содержащий точку г(т), отображается функцией /(г(т),т) на .
Леммы 3 и 4 описывают структуру прообраза Н при отображении /(-,т0). Все сингулярные решения /1(0,£), /2(0,£), /1 (г(т),£), /2(г(т),£), 0 < т < £ < Т, уравнения (3) являются вещественными и удовлетворяют леммам 3 и 4. Сегмент / = [/2(0, £), /1 (0, £)] с К объединяет сегменты 12 = [/2(0, £), и /1 = [ ^!,/1(0,£)]. Сегмент /2 состоит из точек /2(г(т),£), 0 < т < а сегмент /1 состоит из точек /1(г(т),£), 0 < т < Значит, все точки г(т), 0 < т < £, принадлежат границе д(Н \ ) области Н \ . Согласно предложению 1 простой конец области Н \ содержащий г(т), 0 < т < £, состоит из единственной точки г(т), которая должна быть достижимой граничной точкой. Причем г(т) определяет ровно два простых конца, соответствующих функциям /1(г(т),£) и /2(г(т),£). Это доказывает, что {г(т) : 0 < т < £} представляет множество точек простой кривой 7, которая и является множеством с простыми концами, соответствующими точкам на разных сторонах кривой 7. Обратная функция /_1(^,£) отображает Н на Н \ 7(£) для достаточно малых £ > 0.
Осталось показать, что 7(£) является С1 -кривой. Фиксируем достаточно малое £0 > 0 и обозначим через д(эд,£0) = /_1 функцию, обратную к функции /(г,£0). Положим £) := /(д(эд, £0),£),
£ > £о. Функция /(2,£о) отображает Н \ 7(£о) на Н, = {7(т), 0 < т < £о}, /(7(£о), £о) = ^ При этом отображении кривая 7[£о,£] := {7(т), £о < т < £} переходит в кривую 7*[£о,£] := /(7[£о,£],£о), 7*(£о) = Поэтому функция Л,(т,£) отображает Н \ 7* [£о,£] на Н. Запишем разложение Л,(т,£) в окрестности бесконечно удаленной точки:
й(т, £) = £о) + , 2\ , + О ( 2, 1 . Л = т + 2(£ — £о) + О (
После замены переменных £1 := £ — £о, (т,£1) := Л,(т,£о + £1) функция имеет разложение (1) и удовлетворяет дифференциальному уравнению:
-1- =1—;-^-^ , Яцт, 0) = т, т € Н. (21)
(т,£1) — N £1 + £о
Управляющая функция А(£1) = у7£1 + £о в (21) является аналитической при £1 > 0. В классической версии уравнения Левнера для отображений круга в круг известно [3, с. 59], что гладкая управляющая функция генерирует отображения круга на круг с гладким разрезом. Этот результат без особого труда переносится на уравнение Левнера (2) и на его частный случай (21) (см. например [8] и приведенные там ссылки). Таким образом, кривая 7*[£о,£], а вместе с ней и кривая 7([£о,£1]) = $(7*[£о,£],£о), являются С 1-кривыми. Устремляя £о к 0, убеждаемся, что 7; = {7(т) : 0 < т < £} является С 1-кривой, за исключением, быть может, точки 7(0) = 0, что завершает доказательство теоремы 1. □
4. ГАРМОНИЧЕСКИЕ МЕРЫ СТОРОН РАЗРЕЗА
Функция /(2, £), являющаяся решением уравнения (3), отображает область Н \ 7(£) на Н. Точки двух сторон разреза 7(£) считаются различными граничными точками области. Обозначим через 71 = 71 (£) ту сторону 7, которая отображается продолженной функцией /(2, £) на сегмент 11 = [ (0, £)], а через 72 = 72(£) — сторону 7, которая является прообразом /2 = [/2(0, £), ^Г] при отображении функцией /(2, £).
Напомним, что гармонические меры о>(/-1 (г,£); 7к,Н\7(£),£) дуг 7к в точке /-1 (г,£) относительно области Н \7(£) определяются функциями <^к, которые являются гармоническими в области Н \7(£) и непрерывно продолжаются на ее замыкание, за исключением концевых точек кривой 7, |7к(;) = 1, ^кки(7(;)\7к(;)) =0, к = 1, 2 (см. [16, с. 132]). Обозначим:
тк(£) := и(/-1(г,£);7к,Н \7(£),£), к = 1, 2.
Теорема 2. Пусть функция /(2, £) является решением уравнения Левнера (3). Тогда справедливо асимптотическое соотношение:
11т т1(£) =2^^-2. (22)
Доказательство. Гармоническая мера инвариантна относительно конформных преобразований. Поэтому гармонические меры
"(/-1 (¿, £); 7к, Н \ 7(£),£) = О(г; /(7к, £), Н, £)
определяются функциями Ок, которые гармоничны на Н и непрерывно продолжаются на К, за исключением концевых точек образов /(7к,£), Ок(7к= 1, Ок(7к=0, к = 1, 2. Решение этой задачи известно (см. [17, с. 334]). Именно
ак(£)
тк (£) =-,
п
где ак(£) — угол, под которым наблюдается сегмент 1к = 1к(£) из точки т = г, к = 1, 2. Осталось найти асимптотические разложения для «к (£).
Так как
2N
/i(0,t)= Nt + 2N Vt^-1 + O(t), /2(0,t) = -^Nr Vt^-1 + O(t), t ^ +0,
N - 1
то после элементарных геометрических рассуждений находим, что
ai (t) = arctg /i(0, t) - arctg Nt = 2N УtN-1 + O(t), t ^ +0,
2N
a2(t) = arctg Vt — arctg /2(0, t) = Vt +
N- 1
Vt^-1 + O(t), t ^ +0.
Это означает, что mi (t)
nN-2(2N Vt^-1 + O(t))
m
N-1
(t)
vt + NN ^tN-i + O(t))
-i = 2NnN-2(1+ O( Nt)), t ^ +0,
N-1
что приводит к (22) и завершает доказательство теоремы 2. □
Замечание. Из результатов статьи [9] следует соотношение, аналогичное (22), для двух сторон разреза вдоль дуги окружности 7(£) в Н, которая является касательной к вещественной оси в точке г = 0.
Библиографический список
1. Löwner K. Untersuchungen über schlichte konforme Abbildungen des Einheitskreises // I. Math. Ann. 1923. Vol. 89, № 1-2. P. 103-121.
2. Markina I., Vasil'ev A. Virasoro algebra and dynamics in the space of univalent functions // Contemp. Math. 2010. Vol. 525. P. 85-116.
3. Александров И. А. Параметрические продолжения в теории однолистных функций. М. : Наука, 1976. 344 c.
4. Lind J., Marshall D. E, Röhde S. Collisions and spirals of Loewner traces // Duke Math. J. 2010. Vol. 154, № 3. P. 527-573. D0I:10.1215/00127094-2010-045.
5. Куфарев П. П. Одно замечание об интегралах уравнения Лёвнера // Докл. АН СССР. 1947. Т. 57, № 7. С. 655-656.
6. Kager W., Nienhuis B., Kadanoff L. P. Exact solutions for Loewner evolutions // J. Statist. Phys. 2004. Vol. 115, № 3-4. P. 805-822.
7. Прохоров Д. В., Захаров А. М. Интегрируемость частного вида уравнения Лёвнера // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2010. Т. 10, вып. 2. C. 19-23.
8. Marshall D. E, Röhde S. The Loewner differential equation and slit mappings // J. Amer. Math. Soc. 2005. Vol. 18, № 4. P. 763-778.
9. Prokhorov D., Vasil'ev A. Singular and tangent slit solutions to the Lowner equation // Analysis and Mathematical Physics / eds. B. Gustafsson, A. Vasil'ev. Berlin : Birkhauser, 2009. P. 455-463.
10. Сансоне Дж. Обыкновенные дифференциальные уравнения : в 2 т. М. : Иностр. лит., 1954. Т. 2. 414 с.
11. Poincare H. Sur les courbes definies par une equation differentielle // J. Math. Pures Appl. 1886. Vol. 4, № 2. P. 151-217.
12. Bendixson I. Sur les courbes definies par les equations differentielles // Acta Math. 1901. Vol. 24. P. 1-88.
13. Голубев В.В. Лекции по аналитической теории дифференциальных уравнений. М.; Л. : Гостехиздат, 1950. 398 c.
14. Сансоне Дж. Обыкновенные дифференциальные уравнения : в 2 т. М. : Иностр. лит., 1953. Т. 1. 346 c.
15. Borel E. Memoire sur les series divergentes // Ann. Sci. Ecole Norm. Sup. 1899. Vol. 16, № 3. P. 9-131.
16. Хейман У., Кеннеди П. Субгармонические функции. М. : Мир, 1980. 304 c.
17. Голузин Г. М. Геометрическая теория функций комплексного переменного. 2-е изд. М. : Наука, 1966. 628 c.
Integrals of the Loewner Equation with Exponential Driving Function
D. V. Prokhorov, K. A. Samsonova
Saratov State University, Russia, 410012, Saratov, Astrakhanskaya st., 83, [email protected], [email protected] We consider the qualitative local behavior of trajectories for the ordinary Loewner differential equation with a driving function which is inverse to the exponential function of an integer power. All the singular points and the corresponding singular solutions are described. It is shown that this driving function generates solutions to the Loewner equation which map conformally a half-plane slit along a smooth curve onto the upper half-plane. The asymptotical correspondence between harmonic measures of two slit sides is derived.
Key words: Loewner equation, harmonic measure, singular solutions, driving function, C1 -curve.
2
References
1. Löwner K. Untersuchungen über schlichte konforme Abbildungen des Einheitskreises. I. Math. Ann., 1923, vol. 89, no. 1-2, pp. 103-121.
2. Markina I., Vasil'ev A. Virasoro algebra and dynamics in the space of univalent functions. Contemp. Math., 2010, vol. 525, pp. 85-116.
3. Aleksandrov I. A. Parametric continuations in the theory of univalent functions. Moscow, Nauka, 1976, 344 p. (in Russian).
4. Lind J., Marshall D. E., Rohde S. Collisions and spirals of Loewner traces. Duke Math. J., 2010, vol. 154(3), pp. 527-573. DOI: 10.1215/00127094-2010-045.
5. Kufarev P. P. Odno zamechanie ob integralakh uravneniia Levnera. [A remark on integrals of Lowner's equation] Doklady Akad. Nauk SSSR, 1947, vol. 57, no. 7, pp. 655—656 (in Russian).
6. Kager W., Nienhuis B., Kadanoff L. P. Exact solutions for Loewner evolutions. J. Statist. Phys., 2004, vol. 115, no. 3-4, pp. 805-822.
7. Prokhorov D. V., Zakharov A. M. Integrability of a partial case of the Lowner equation. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2010, vol. 10, iss. 2, pp. 19-23 (in Russian).
8. Marshall D. E., Rohde S. The Loewner differential
equation and slit mappings. J. Amer.Math. Soc., 2005, vol. 18, no. 4, pp. 763-778.
9. Prokhorov D., Vasil'ev A. Singular and tangent slit solutions to the Lowner equation. Analysis and Mathematical Physics, eds. B. Gustafsson, A. Vasil'ev. Berlin, Birkhauser, 2009, pp. 455-463.
10. Sansone G. Equazioni differenziale nel campo reale. P. 2a, 2a ediz., Bologna, 1949.
11. Poincare H. Sur les courbes définies par une équation différentielle. J. Math. Pures Appl., 1886, vol. 4, no. 2, pp. 151-217.
12. Bendixson I. Sur les courbes definies par les equations differentielles. Acta Math., 1901, vol. 24, pp. 1-88.
13. Golubew W. Differentialgleichungen im komplexen, veb deutsch. Berlin, Verlag Wiss., 1958, 398 p.
14. Sansone G. Equazioni differenziale nel campo reale. P. 1a, 2a ediz., Bologna, 1948.
15. Borel E. Memoire sur les series divergentes. Ann. Sci. Ecole Norm. Sup., 1899, vol. 16, no. 3, pp. 9-131.
16. Hayman W., Kennedy P. Subharmonic functions. London, Academic Press, 1976.
17. Goluzin G. Geometric theory of functions of a complex variable. Transl. Math. Monographs, vol. 26, Providence, RI, AMS, 1969. 676 p.
УДК 512.577
О НАСЛЕДСТВЕННОСТИ ФОРМАЦИЙ УНАРОВ
А. Л. Расстригин
Старший преподаватель кафедры алгебры, геометрии и математического анализа, Волгоградский государственный социально-педагогический университет, [email protected]
Формацией называют класс алгебраических систем, замкнутый относительно гомоморфных образов и конечных подпрямых произведений. В работе показано, что любая формация, состоящая из не более чем счетных унаров, является наследственной.
Ключевые слова: унар, формация, наследственная формация.
1. ОПРЕДЕЛЕНИЯ
Формацией называется класс алгебраических систем, замкнутый относительно взятия гомоморфных образов и конечных подпрямых произведений. Формацию называют конечной, если она содержит лишь конечные системы. Мы будем называть формацию не более чем счетной, если она содержит лишь не более чем счетные системы.
Пусть X — совокупность алгебраических систем. Через H(X) и R0(X) обозначаются совокупности всех гомоморфных образов и конечных подпрямых произведений X-систем соответственно. Через S(X) обозначается класс всех подсистем X-систем. Класс X называется наследственным, если S(X) С X. Через form X (sformX) обозначается наименьшая (наименьшая наследственная) формация, содержащая X или, иначе, порожденная совокупностью X. Через Si X обозначается совокупность всех подпрямо неразложимых X-систем. Множество целых неотрицательных чисел обозначается N0, N = N0 \ {0} и Z — множество целых чисел.
