CC BY
54
Описанные выше вычисления были произведены на ЭВМ, время* вычислений составило 4.87 с.
Отметим, что время вычислений существенным образом зависит от величин х\, х2, х3• Так, для определения неизвестных значений XI = 122, х2 = 1245, х3 = 1381, при тех же параметрах Ь, в,т и и1, и2, и3, программе потребовался 1 ч 32 мин. В процессе поиска было перебрано 365263502 возможных троек, из которых 9169647 удовлетворяли неравенству (9).
торых трансцендентных чисел // Учен. зап. Орлов. гос. ун-та. 2012. № 6, ч. 2. С. 170-176. 3. Ferguson H. R. P., Bailey D. H., Arno S. Analysis of PSLQ, An Integer Relation Finding Algorithm // Math.
Библиографический список
1. Bayley D. H. A Compendium of BBP-type Formulas for Mathematical Constants. Preprint. April, 2013. URL : http://crd.lbl.gov/~dhbailey/dhbpapers/bbp-formulas.pdf (дата обращения 10.09.2013).
2. Нестеренко А. Ю. О статистических свойствах неко- of Computation. 1999. Vol. 68, № 225. P. 351-369.
Parameters Recovering Algorithm for One Class of Irrationalities
A. Yu. Nesterenko
National Research University «Higher School of Economics», Russia, 109028, Moscow, Bol. Trekhsvjatitel'skij per., 1-3/12, build. 8, nesterenko_a_y@mail.ru
In this article we study one class of irrationalities which may be defined as covergent series with rational coefficients. This class contain a lot of well known constants such as ln 2, n, e.t.c. We consider the problem of determination parameters of rational coefficients by rational approximation of irrationality. We deduced the lower and upper bounds and present an algorithm for determination of unknown parameters. Also, we present some results of practical calculations.
Keywords: irrationality, rational approximation.
References
1. Bayley D. H. A Compendium of BBP-type Formulas for Mathematical Constants. Preprint. April, 2013. Available at: http://crd.lbl.gov/~dhbailey/dhbpapers/bbp-formulas.pdf (Accessed 10, September, 2013).
2. Nesterenko A. Yu. On the statistical properties of some transcendetal numbers. Uchenye zapiski Orlovskogo gosudarstvennogo universiteta [Scientific notes of the
Oryol State University], 2012, no. 6, pt. 2, pp. 170-176 (in Russian).
3. Ferguson H. R. P., Bailey D. H., Arno S. Analysis of PSLQ, An Integer Relation Finding Algorithm. Mathematics of Computation, 1999, vol. 68, no. 225, pp. 351-369.
УДК 501.1
О ПОРОЖДАЮЩЕМ МНОЖЕСТВЕ ПОДАЛГЕБРЫ ИНВАРИАНТОВ СВОБОДНОЙ ОГРАНИЧЕННОЙ АЛГЕБРЫ ЛИ
В. М. Петроградский1, И. А. Субботин2
1 Доктор физико-математических наук, факультет математики, Университет Бразилиа, Бразилиа, petrogradsky@rambler.ru 2Аспирант кафедры алгебро-геометрических вычислений, факультет математики и информационных технологий, Ульяновский государственный университет, shelby888@yandex.ru
Пусть Ь = Ь(Х) -- свободная ограниченная алгебра Ли конечного ранга к со свободным порождающим множеством X = {х1,... ,Хк} над произвольным полем положительной характеристики. Пусть С -- нетривиальная конечная группа однородных автоморфизмов Ь(Х). Наша основная цель — доказать, что подалгебра инвариантов Ь° бесконечно порождена. Мы получаем более сильный результат. Пусть У = и Уп — однородное свободное порождающее множество
п= 1
'Вычисления производились на ноутбуке HP EliteBook с процессором Intel Core i5 CPU M 560, тактовой частотой 2.67GHz и 4Gb оперативной памяти.
© Петроградский В. М, Субботин И. А., 2013
93
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 4, ч. 2 для подалгебры инвариантов LG, где элементы Yn имеют степень n относительно X, n > 1. Рассмотрим соответствующую
ж
производящую функцию H(Y, t) = |Yn|tn. В нашем случае свободных ограниченных алгебр Ли мы доказываем,
n= 1
что ряд H(Y, t) имеет радиус сходимости 1/k, и описываем его рост при t ^ 1/k — 0. В результате получаем, что последовательность | Yn|, n > 1, растет экспоненциально с показателем экспоненты k.
Ключевые слова: свободные алгебры Ли, ограниченные алгебры Ли, инварианты свободных алгебр Ли, порождающее множество.
ВВЕДЕНИЕ. ИНВАРИАНТЫ СВОБОДНЫХ АЛГЕБР ЛИ
Пусть L = L(xi,... , xm) — свободная алгебра Ли. Предположим, что G — конечная группа автоморфизмов алгебры Ли L. Рассмотрим подалгебру инвариантов H = LG = {x е L | g ■ x = x, g e G}. По теореме Ширшова-Витта любая подалгебра в свободной алгебре Ли свободна [1, 2]. Подалгебра инвариантов бесконечно порождена в случае нетривиальной конечной группы однородных автоморфизмов [3].
Теорема 1 [4]. Рассмотрим конечную подгруппу G с GLk(K), |G| > 1, поле K произвольно. Рас-
ж
смотрим диагональное действие G на свободной алгебре Ли L = L(x1,..., xk). Пусть Y = U Yn,
n=1
где Yn с Ln, — однородное свободное порождающее множество для подалгебры инвариантов LG
ж
и H(Y, t) = |Yn|tn — соответствующая производящая функция. Тогда последовательность
n=1
|Yn | растет экспоненциально: limsupn^^ П|Yn| = k.
Более подробное описание асимптотик см. [4]. Цель настоящей статьи — доказательство аналогичного результата для свободных ограниченных алгебр Ли (см. п. 2, теорема 5). Доказательство предыдущей теоремы, а также доказательство основного результата настоящей статьи основаны на следующем результате.
Теорема 2 [3, теорема 3.2]. В условиях теоремы 1 и обозначений выше существует предел
dim Lg m lim -— = —.
г^ж dim Lim |G|
Пусть L — алгебра Ли над полем K характеристики р > 0. Используем стандартное обозначение adx : L ^ L, ad x(y) = [x, y], x,y e L. Алгебра Ли L называется ограниченной алгеброй Ли (или р-алгеброй Ли), если она дополнительно наделена унарной операцией x ^ x[p], x е L [5,6]. Рассмотрим две мультипликативные функции, предложенные в [7]:
, , s I 1 (P,n) = 1 1p(n) = < ( )
11 — р, (р, n) = р,
/ ч I Мп)> (P,n) = 1 ^p(n) = <
l^(m)(ps — ps-1), n = mps, (p, m) = 1, s > 1.
где ^(n) — обычная функция Мебиуса. Функцию ^p(n) также можно рассматривать как деформацию функции Мебиуса. Заметим, что имеют место следующие оценки:
|1p(n)| < n, Mn)| < n, n e N. (1)
Свободная ограниченная алгебра Ли Lp порожденная множеством X = {x1?... , }, определяется при помощи стандартных конструкций [6,8].
Теорема 3 [9]. Пусть L = Lp (X) — свободная р-алгебра Ли порожденная множеством X = {x15...,xk}. Тогда имеют место следующие аналоги формулы Витта для размерностей полиоднородных компонент и производящих функций:
ж
H(L, t) = — £ ln(1 — kta), dimLn = ^(a)fcn/a. a n
a=1 aln
Пусть — кольцо формальных степенных рядов от одной переменной, а также О[[£]]о — его
подмножество, состоящее из рядов с нулевым свободным членом. Введем операторы Ерна формальных степенных рядах следующим образом:
Ep(фЩ = exp (jr ^ Ф(^)), Ф^) e Q[[t]]o,
b=1
■Ьр(ф)(*) = £ ^ Ь(ф(£а)), ф(*) е 1 + О[[£]]о.
и
а=1
те
Теорема 4 [9]. Пусть Ь = © Ьп — градуированная ограниченная алгебра Ли. Тогда ряды
п=1
Гильберта-Пуанкаре для Ь и ее ограниченной обертывающей алгебры и(Ь) связаны следующим образом: Н(и(Ь),г) = Ер(Н(Ь,£)) и Н(Ь,£) =ЬР(Н(и(Ь),г)).
2. ПОРОЖДАЮЩЕЕ МНОЖЕСТВО ДЛЯ ПОДАЛГЕБРЫ ИНВАРИАНТОВ СВОБОДНОЙ ОГРАНИЧЕННОЙ АЛГЕБРЫ ЛИ
Рассмотрим конечную нетривиальную подгруппу С С ОЬ^(К), |С| > 1, действующую на конечномерном пространстве V = (х1 , ...,х&}к, где К — произвольное поле положительной характеристики р. Пусть Ь = Ь(х1 ,...,Хк) — свободная ограниченная алгебра Ли, порожденная множеством {х1 ,...,Хк}. Тогда естественно возникает продолжение действия этой группы С однородными автоморфизмами на всей ограниченной алгебре Ли Ь(Х). А именно пусть ф е ОЬ^), рассмотрим элемент V е Ь, тогда V = /(х1,..., хк), и мы определяем действие так: ф(ь) = /(ф(х1),..., ф(хк)).
Теорема 5. Рассмотрим конечную подгруппу С С ОЬк(К), |С| > 1, где К — произвольное поле характеристики р. Рассмотрим диагональное действие С на свободной ограниченной алгебре
те
Ли Ь = Ь(х1,... ,хк), порожденной множеством {х1?...,хк}. Пусть У = и Уп, где Уп С Ьп,
п=1
п > 1, — однородное свободное порождающее множество для подалгебры инвариантов Ь°, а
те
также Н(У,£) = ^ |Уп|£п — соответствующая производящая функция. Тогда
п=1
1) Н(У, не зависит от выбора однородного свободного порождающего множества У;
2) производящая функция имеет следующую асимптотику:
1/|С|+о(1)
H(Y,t) = 1 - il - kt) , t ^ 1/k - 0.
3) радиус сходимости для H(Y, t) равен 1/k;
4) последовательность | Yn | растет экспоненциально: lim sup П| Yn| = k;
п^те
5) подалгебра инвариантов LG бесконечно порождена.
Здесь t ^ 1/k — 0 обозначает, что вещественная переменная стремится слева к 1/k. Наше доказательство основано на аналоге теоремы 2.
Приведем несколько вспомогательных утверждений.
Лемма 1. Пусть m — порядок подгруппы G0 группы G, состоящих из элементов, действующих скалярно на V = [x1,...,xk}K. Тогда в условиях теоремы 5 и обозначениях выше существует предел
dim Lg m lim -— = —.
г^те dim Lim IGI
Лемма 2. Пусть £ — примитивный корень из единицы порядка т. Тогда для n e N имеем:
m — 1 I I
m, m| n,
!>" = 0 / j=o ° m /n.
Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 4, ч. 2
Лемма 3. Пусть Ь — свободная ограниченная алгебра Ли ранга к. Зафиксируем натуральное число т е N. Рассмотрим подалгебру Ли, состоящую из т-кратных компонент, (подалгебру
ж
Веронезе) Ь(т) = © Ьтг с Ь. Тогда для ее производящей функции имеет место асимптотика
г=1
Ж(Ь(т),£) «-тт1п(1 - к£), г ^ 1/к - 0. К сожалению, формат данной статьи не позволяет привести доказательства данных утверждений.
3. ДОКАЗАТЕЛЬСТВО ОСНОВНОГО РЕЗУЛЬТАТА
Доказательство теоремы 5. Производящая функция для подалгебры Веронезе вещественная и согласно лемме 3 имеем для любого фиксированного N е N также
lim V dim Lmitmi =
.1 /z-_n ^—'
1 i=N
По лемме 1 для любого числа е > 0 существует N е N такое, что т \ ,. , ( т
|G| - ej dim Lmi < dim Lmi < + ej dim Lmi, i > N.
Непосредственными вычислениями мы получаем:
H(LG ,t) «--Lln(1 - kt), t ^ 1/k - 0. (2)
Теперь мы рассмотрим производящую функцию для R = u(LG) — ограниченной обертывающей алгебры инвариантов. Используем теорему 4:
H(R, t) = Ep(H(Lg, t)) = exp ^ H(LG, tn) j . (3)
Хорошо известно, что R изоморфна свободной ассоциативной алгебре A(Y), порожденной множеством Y, и в этом случае [10]
h (R,i) = h(a(y ),*) = гг^ • (4)
Из (4) и (3) мы получаем:
H(Y. t) = 1 - H7R-tT = 1 - exp (- E ^H(LG. tn)) , (5)
\ n = 1 /
из чего следует первое утверждение.
Так как dim L<G < dim Ln для всех n > 1, мы видим, что первое слагаемое H(LG,t) в сумме справа (5) определено для любого комплексного |t| < 1/k. Значит, другие члены H(LG,tn), n > 2, определены для всех |t| < л/ 1/k. Покажем, что они не меняют асимптотики при t ^ 1/k - 0, которую дает первое слагаемое.
Действительно, согласно (2) для первого слагаемого имеем H(LG,t) ^ при t ^ 1/k - 0. Так как наш ряд не имеет свободного члена, можем записать H(LG,t) = tf(t), где f(t) — ряд с неотрицательными коэффициентами. Как отмечено выше, f (1/k2) = k2H(LG, 1/k2) = C — конечное число. Рассмотрим t e C, причем |t| < 1/k. Тогда
|f(tn)|< f(|t|n) <f(1/k2) = C, n > 2. (6)
Используя оценки (1) и (6), сумма слагаемых начиная со второго в (5) оценивается константой:
оо оо ^
£|Ж(ьс,Г)|<5>П/Г)|< к27Т
п=2
n=2
n=2
k2(1 - 1/k)
< ro,
< 1/k. (7)
Таким образом, используем (5), (2) и (7), получаем
• 1+ o(1)
H(Y,t) = 1 - exp^+J^ ln(1 - kt)^ = 1 - (1 - kt)1/|G|+o(1), t ^ 1/k
- 0,
(8)
что доказывает второе утверждение теоремы.
Заметим, что H(Y,t) = |Yn|tn, где |Yn| < dim Ln. Обозначим через W диск |t| < 1/k. По-
n=1
лучаем, что H(Y, t) сходится, по крайней мере, в W. Предположим, что to = 1/k является регулярной точкой для H(Y, t), то есть существует аналитическое продолжение h(t) в окрестности
W0 = {t е C | |t - 1/k| < e} такое, что H(Y, t) = h(t) [11]. Тогда мы имеем разложение в
tew nw0
ряд Тейлора:
h(t)= co + ci (t - 1/k) + C2(t - 1/k)2 + ..., t е Wo. (9)
Сопоставляя пределы (8) и (9) при t ^ 1/k - 0, получаем c0 = 1. Сравниваем следующие коэффициенты:
ci = lim 1 = lim H^- 1 = lim k(1 - kt)1/|G|-1+o(1) =
t—>
t—>
здесь мы использовали, что |G| > 1, получаем противоречие. Это противоречие доказывает, что точка t0 = 1/k не является регулярной для H(Y, t) и радиус сходимости для H(Y, t) в нуле равен 1/k, см. [11]. Утверждение (3) доказано. Утверждение (4) следует из формулы Коши-Адамара для радиуса сходимости ряда [11]. Последнее утверждение очевидно. □
Авторы благодарны Роджеру Брайанту за обсуждение.
Работа выполнена при частичной финансовой поддержке гранта CNPq, Бразилия.
Библиографический список
1. Ширшов А. И. Подалгебры свободных лиевых алгебр // Мат. сб. 1953. Т. 33. С. 441-452.
2. Witt E. Die Unterringe der freien Lieschen Ringe // Math. Z. 1956. Vol. 64. P. 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, № 2. P. 215-224.
4. Петроградский В. М., Смирнов А. А. Об инвариантах модулярных свободных алгебр Ли // Фунд. прикл. мат. 2009. Т. 15, № 1. С. 117-124.
5. Jacobson N. Lie algebras. N.Y. : Interscience, 1962. 332 p.
6. Бахтурин Ю. А. Тождества в алгебрах Ли. М. : Наука, 1985. 448 с.
7. Petrogradsky V. M. On Witt's formula and invariants for free Lie superalgebras // Formal power series and algebraic combinatorics (Moscow 2000). Springer, 2000. P. 543-551.
8. Bahturin Yu. A., Mikhalev A. A., Petrogradsky V. M,
Zaicev M. V. Infinite dimensional Lie superalgebras. de Gruyter Exp. Math. Vol. 7. Berlin : de Gruyter, 1992. 250 p.
9. Petrogradsky V. M. Witt's formula for restricted Lie algebras // Adv. Appl. Math. 2003. Vol. 30. P. 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. P. 77-108.
11. Маркушевич А. Л., Маркушевич Л. А. Введение в теорию аналитических функций. М. : Просвещение, 1977. 320 с.
12. Петроградский В. М. Об инвариантах действия конечной группы на свободной алгебре Ли // Сиб. мат. журн. 2000. Vol. 41, № 4. P. 915-925.
13. Петроградский В. М. Характеры и инварианты свободных супералгебр Ли // Алгебра и анализ. 2001. Т. 13, № 1. С. 158-181.
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, petrogradsky@rambler.ru
2Ulyanovsk State University, Russia, 432970, Ulyanovsk, ul. LvaTolstogo, 42, shelby888@yandex.ru
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. Mat. 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 Профессор, заведующий кафедрой математического анализа, Саратовский государственный университет им. Н. Г. Чернышевского, ProkhorovDV@info.sgu.ru
2Аспирант кафедры математического анализа, Саратовский государственный университет им. Н. Г. Чернышевского, kris_ruzhik@mail.ru
Рассматривается качественное локальное поведение траекторий обыкновенного дифференциального уравнения Левнера с управляющей функцией, обратной к степенной функции, с целым показателем степени. Выделены все особые точки и соответствующие им сингулярные решения. Показано, что эта управляющая функция порождает решения уравнения Левнера, которые представляют собой отображения полуплоскости с гладким разрезом на верхнюю полуплоскость. Найдено асимптотическое соотношение между гармоническими мерами сторон разреза.
Ключевые слова: уравнение Левнера, гармоническая мера, сингулярное решение, управляющая функция, С1 -кривая.
© Прохоров Д. В., Самсонова К. А., 2013
