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

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

CC BY
154
28
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
ПОЧТИ ПОЛИАДИЧЕСКИЕ ЧИСЛА / ALMOSTPOLYADIC NUMBERS

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

На кольце Z целых чисел можно ввести топологию ξ, рассматривая множество идеалов(m)вкачестве полной системы окрестностей нуля аддитивной группы целых чисел. При этом операции сложенияиумножения непрерывны и кольцо целых чисел с введенной топологией имеет структуру топологическогокольца. Обозначим этокольцо Zπ. Бесконечная последовательность x1, x2,... целых чисел называется фундаментальной, если для любого k ⇒ N существует N⇒ N такое, что для всех m,n > N справедливо сравнение xm ⊗ xn( mod k!). Метрическое пространство Zπ не является полным. Например, последовательность 1!, 1!+2!,..., 1!+2!+...+n!,... являетсяфундаментальной, но не имеет предела в Zπ. Для фундаментальных последовательностей {xk} и{yk} рассмотрим последовательности {xk + yk}, {xk yk}, {xk · yk}. Эти последовательности также являются фундаментальными. Таким образом, фундаментальные последовательности элементов изкольца Zπ образуюткольцо. Будем называть последовательность c1,c2,... нулевой последовательностью, если limn≥⊂ cn =0, где предел понимается в смысле топологии кольца Zπ. Назовем фундаментальные последовательности {xk} и {yk} эквивалентными, если их разность {xk yk} является нулевой последовательностью. Это свойство является рефлексивным, симметричным и транзитивным, то есть определяет отношение эквивалентности. Полиадическим числом будем называть класс эквивалентных фундаментальных последовательностей из Zπ. Легко проверить, что если последовательность {xk} эквивалентна последовательности {uk},а последовательность {yk} эквивалентна {vk}, то {xk +yk} эквивалентна {uk +vk}, {xk -yk} эквивалентна {uk -vk}, {xk ·yk}эквивалентна {uk ·vk}. Поэтому на множестве полиадических чисел можно ввести операции сложенияиумножения, что позволяет говоритьокольце G целых полиадических чисел. Вложение кольца Z в G осуществляется сопоставлением элементу x ⇒ Z класса x фундаментальных последовательностей, эквивалентных последовательности x, x, x,.... Так как Zπ метрическое пространство, его пополнение приводит к топологическому пространству Gπ. Элементы a ⇒ Gt имеютканоническое представлениев видеряда ⊂∑ a = an · n! n=1 где an ⇒{0, 1,...,n}. Кольцо Gπ являетсяпрямым произведениемколец Zp i по всем простым числам pi, при этомряд a сходитсявлюбомZp i . Действительно, степень, вкоторой простое числоp входитвразложение числа n! на простые множители, равна n p S 1 n , где Sn сумма цифр в p-ичном разложении числа n. Следовательно, для любого pi при n

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

ALGEBRAIC INDEPENDENCE OF CERTAIN ALMOST POLYADIC SERIES

We study the arithmetic propertiesof almostpolyadicnumbers ⊂∑ ai (ai + bi)... (ai +(n 1) bi),i =1,..., m, n=1 where the numbers ai,bi ⇒ Z, (ai,bi)=1.

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

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 16 Выпуск 3 (2015)

УДК 511.36

АЛГЕБРАИЧЕСКАЯ НЕЗАВИСИМОСТЬ НЕКОТОРЫХ ПОЧТИ ПОЛИАДИЧЕСКИХ

РЯДОВ

В. Ю. Матвеев (г. Москва)

Аннотация

На кольце Z целых чисел можно ввести топологию т, рассматривая множество идеалов (m) в качестве полной системы окрестностей нуля аддитивной группы целых чисел. При этом операции сложения и умножения непрерывны и кольцо целых чисел с введенной топологией имеет структуру топологического кольца. Обозначим это кольцо ZT.

Бесконечная последовательность xi, Х2, ...целых чисел называется фундаментальной, если для любого к € N существует N € N такое, что для всех m,n > N справедливо сравнение xm = xn( mod к\).

Метрическое пространство ZT не является полным. Например, последовательность 1!, 1!+2!,..., 1!+2! +...+n!,... является фундаментальной, но не имеет предела в ZT. Для фундаментальных последовательностей {xk} и {yk} рассмотрим последовательности {хк + ук}, [хк — ук}, [хк • ук}. Эти последовательности также являются фундаментальными. Таким образом, фундаментальные последовательности элементов из кольца ZT образуют кольцо.

Будем называть последовательность ci,C2,... нулевой последовательностью, если limn^^ cn = 0, где предел понимается в смысле топологии кольца ZT.

Назовем фундаментальные последовательности {xк} и {ук} эквивалентными, если их разность {xк — Ук} является нулевой последовательностью. Это свойство является рефлексивным, симметричным и транзитивным, то есть определяет отношение эквивалентности.

Полиадическим числом будем называть класс эквивалентных фундаментальных последовательностей из ZT.

Легко проверить, что если последовательность {xк} эквивалентна последовательности {ик}, а последовательность {ук} эквивалентна {у к}, то {xк+у к} эквивалентна {ик+Ук }, {xк — у к } эквивалентна {ик — у к }, {xк • у к } эквивалентна {ик •Ук}. Поэтому на множестве полиадических чисел можно ввести операции сложения и умножения, что позволяет говорить о кольце G целых полиадических чисел. Вложение кольца Z в G осуществляется сопоставлением элементу x € Z класса x фундаментальных последовательностей, эквивалентных последовательности x, x, x, . . ..

340

В. Ю. МАТВЕЕВ

Так как ZT — метрическое пространство, его пополнение приводит к топологическому пространству GT.

Элементы а € Gt имеют каноническое представление в виде ряда

Ж

а = 'У an ■ n!

n=1

где an € {0, 1,...,n}.

Кольцо GT является прямым произведением колец Zpi по всем простым числам pi, при этом ряд а сходится в любом Zpi. Действительно, степень, в которой простое число p входит в разложение числа n! на простые множители, равна n~_S{1, где Sn — сумма цифр в p-ичном разложении числа

n. Следовательно, для любого pi при n ^ ж

К ■ n!\Pi ^ 0,

что является достаточным условием сходимости ряда а = ^Ж=1 an ■ n! в

ZPi.

В работе исследуются арифметические свойства почти полиадических чисел

Ж

У ai (ai + bi)... (ai + (n - 1)bi) ,i = 1,..., m,

n=1

где числа ai,bi € Z, (ai, bi) = 1.

Вводятся понятия алгебраическое полиадическое число, трансцендентное полиадическое число, бесконечно трансцендентное полиадическое число, глобально трансцендентное полиадическое число, алгебраически зависимые полиадические числа, алгебраически независимые полиадические числа, бесконечно алгебраически независимые полиадические числа, глобально алгебраически независимые полиадические числа.

Доказана теорема о бесконечной алгебраической независимости почти полиадических чисел ai, определенных равенствами

Ж

У ai (ai + bi)... (ai + (n - 1)bi) = ai,

n=1

где ai, bi € Z, (ai, bi) = 1, i = 1,...,m.

ai

b

i

aj

b

j

€ Z,

i = j.

Для доказательства теоремы о бесконечной алгебраической независимости почти полиадических чисел использовалась теорема:

Пусть fi(z),..., fm(z) входят в рассматриваемый подкласс F-рядов, составляют решение системы линейных дифференциальных уравнений

АЛГЕБРАИЧЕСКАЯ НЕЗАВИСИМОСТЬ НЕКОТОРЫХ ...

341

У[ = j=i Bi,j(z)Yi, i = 1,... ,m, и алгебраически независимы над Q(z). Пусть число £ € Z, £ = 0 и отлично от особых точек системы

m

У = ^2 Bi,j (z)Yi, i = 1,...,m.

j=i

Тогда почти полиадические числа

Ж

У ai (ai + bi)... (ai + (n — 1)bi) = a

n=1

бесконечно алгебраически независимы.,

которая получена с помощью модифицированного метода Зигеля — Шид-ловского для F-рядов, и теорема доказывающая алгебраическую независимость над Q(z) рядов fi(z),..., fm(z):

Пусть X1,...,Xm — различные рациональные числа, отличные от 0 и пусть Xi — Xj € Z, i = j, . Тогда ряды fi(z),..., fm(z) алгебраически независимы над Q(z).,

которая имеет ту же схему доказательства, что и доказательства теорем

В. Х. Салихова.

Ключевые слова: почти полиадические числа.

Библиография: 15 названий.

ALGEBRAIC INDEPENDENCE OF CERTAIN ALMOST POLYADIC SERIES

V. Yu. Matveev

Abstract

We study the arithmetic properties of almost polyadic numbers

Ж

У ai (ai + bi)... (ai + (n — 1) bi) ,i = 1,..., m,

n=1

where the numbers ai, bi € Z, (ai, bi) = 1.

Keywords: almost polyadic numbers.

Bibliography: 15 titles.

1. Почти полиадические числа

Напомним основные понятия теории полиадических чисел.

Элементы кольца целых полиадических чисел имеют каноническое представление в виде ряда

Ж

а an ■ n! (1)

n=1

342

В. Ю. МАТВЕЕВ

где ап е {0,1,...,n}.

Кольцо целых полиадических чисел является прямым произведением колец целых р-адических чисел Zpi по всем простым числам pi7 при этом ряд а сходится в любом кольце Zpi. Действительно, степень, в которой простое число р входит в разложение числа n! на простые множители, равна n-zpL, где Sn — сумма цифр в р-ичном разложении числа n. Следовательно, для любого pi при n ^ ж

\ап ■ n!\Pi ^ 0,

что является достаточным условием сходимости ряда (1) в ZPi, соответствующую сумму будем обозначать a(pi\

Таким образом, бесконечный набор элементов a(pi) е Zpi, соответствующих всем простым числам pi, можно рассматривать, как совокупность координат элемента а кольца целых полиадических чисел, представленного в виде вектора. Поэтому для любого многочлена P(x) с целыми коэффициентами полиадическое число P(а) имеет в кольце Zp координату P(a(p)).

В работе [1] предложен следущий класс периодических полиадических чисел.

Назовем полиадическое число а алгебраическим, если существует отличный от нуля многочлен P(x) с целыми коэффициентами такой, что полиадическое число P(а) равно нулю, то есть для любого простого числа р в кольце Zp выполнено равенство P(a(p^) = 0.

Полиадическое число, которое не является алгебраическим, естественно называть трансцендентным полиадическим числом. В этом случае для любого отличного от нуля многочлена P (x) с целыми коэффициентами существует хотя бы одно простое число р такое, что в кольце Zp выполнено неравенство P (a(p)) = 0.

Будем называть полиадическое число бесконечно трансцендентным, если для любого отличного от нуля многочлена P(x) с целыми коэффициентами существует бесконечное множество простых чисел р таких, что в кольце Zp выполнено неравенство P(a(p)) = 0.

Наконец, будем называть полиадическое число глобально трансцендентным, если для любого отличного от нуля многочлена P (x) с целыми коэффициентами и любого простого числа р в кольце Zp выполнено неравенство P (a(p)) = 0.

Отметим, что из бесконечной трансцендентности а не следует трансцендентность a(p') хотя бы для одного простого числа р.

Назовем полиадические числа а1,..., ат алгебраически зависимыми, если существует отличный от нуля многочлен P(x1,... ,xm) с целыми коэффициентами такой, что полиадическое число P (а1,..., ат) равно нулю, то есть для любого простого числа р в кольце Zp выполнено равенство P(af\ ... , a$) = 0.

Полиадические числа а1,..., ат называются алгебраически независимыми, если для любого отличного от нуля многочлена P(x1,... ,xm) с целыми коэф-

АЛГЕБРАИЧЕСКАЯ НЕЗАВИСИМОСТЬ НЕКОТОРЫХ ...

343

фициентами существует хотя бы одно простое число p такое, что в кольце Zp выполнено неравенство P (af>p,..., am) = 0.

Будем называть полиадические числа бесконечно алгебраически независимыми, если для любого отличного от нуля многочлена P(xi,... , xm) с целыми коэффициентами существует бесконечное множество простых чисел p таких, что в кольце Zp выполнено неравенство P (df \ ... , am) = 0.

Наконец, будем называть полиадические числа глобально алгебраически независимыми, если для любого отличного от нуля многочлена P(xi,... ,xm) с целыми коэффициентами и любого простого числа p в кольце Zp выполнено неравенство P (aip),..., am) = 0.

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

Рассмотрим почти полиадические числа вида

ai (ai + bi)... (ai + (n - 1) bi) = ai, (2)

n=1

где ai,bi e Z, (ai,bi) = 1, i = 1,... ,m.

т - e Z, i = j

bi bj

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

На почти полиадические числа переносятся все введенные выше понятия: алгебраическое полиадическое число, трансцендентное полиадическое число, бесконечно трансцендентное полиадическое число, глобально трансцендентное полиадическое число, алгебраически зависимые полиадические числа, алгебраически независимые полиадические числа, бесконечно алгебраически независимые полиадические числа, глобально алгебраически независимые полиадические числа.

2. Бесконечная алгебраическая независимость

Теорема 1. Почти полиадические числа ai, определенные равенствами

(2), бесконечно алгебраически независимы.

Доказательство. Для доказательства используется модифицированный метод Зигеля — Шидловского для F-рядов [2].

Будем далее рассматривать ряды

fi(z) = Ai (Ai + 1) ... (Ai + (n — 1)) (biz)n, (3)

n=1

где Ai = ai, i = 1,...,m.

°г

344

В. Ю. МАТВЕЕВ

Тогда

ГО ГО

a = а* (а* +b) • • • (а + (п - i)bi) = ^2 ^ (^ + 1) • • • + (п - 1)) bn = hi1)-

n=1 n=1

Здесь мы ограничимся рассмотрением подкласса F-рядов, который состоит из рядов вида

ГО

'^2/а,п ■ n!zn,

n=0

у которых an Е Q и \ап\ < ecin, п = 0,1, •••, где с1 — некоторая постоянная. Кроме того, существует последовательность натуральных чисел dn таких, что dnak Е Z, к = 0, ••• ,п. При этом dn = d0ndn, d0 n Е N, п = 0, 1, • • • , d Е N

и для любого п число d0n делится только на простые числа р, для которых выполнено неравенство р < с2п. Предполагаем также, что степень, в которой число р входит в разложение числа d0n, обозначаемая ordpa, удовлетворяет при всех п неравенству

ordрп < с3

^logp п +

п

р2

При выполнении этих условий говорим, что рассматриваемый ряд принадлежит классу F (Q,ci,c2,c3,d).

Сформулируем теорему из [3], которая будет применена к значениям рядов

(3).

Пусть ряды f1 (z), • • • , fm(z) принадлежат некоторому классу

F № Cl, С2, Cз, do) •

Пусть fi(z), • • • , fm(z) составляют решение системы линейных дифференциальных уравнений

m

Yi = Y^ Bi,j (z)Yi, i = 1, • • • ,m, (4)

j=1

Bij Е Q(z). Пусть T0(z) Е Z[z] и T0(z) ■ Bij(z) Е Z[z], i,j = 1,^ • • ,m, причем пусть степень T0(z) — наименьшая возможная, а коэффиценты T0(z) — взаимнопростые целые числа.

Теорема 2. Пусть f1(z), • • •, fm(z) входят в рассматриваемый подкласс F-рядов, составляют решение системы линейных дифференциальных уравнений (4) и алгебраически независимы над Q(z). Пусть число £ Е Z, £ = 0 и отлично от особых точек системы (4). Тогда почти полиадические числа (2) бесконечно алгебраически независимы.

АЛГЕБРАИЧЕСКАЯ НЕЗАВИСИМОСТЬ НЕКОТОРЫХ ...

345

Таким образом, следует сначала проверить, что рассматриваемые ряды fi(z) 'У ] Ai (Ai + 1) • • • (Ai + (п - 1)) ibiZ)n =

ос

i

n=1

Ai (Ai + 1) • • • (Ai + n — 1)

П!

n! (biZ)

входят в класс F-рядов.

Все коэффициенты an = A»(A»+1)---(A»+n~1) . щ- — рациональные числа. При п ^ ж

|an|

н('+Чb

A1—l\ b. = .EIU ln(i+^V1 )+inb

так как

'n{1 + A— )

Ai — 1 Ai — 1

при k ^ ж, так как

£V=a—1)in n+c+ЧП)

fc=i v 7

мы получаем, что с некоторым C1 выполняется неравенство lanl ^ eCin.

Так как Ai = ^, ai Е Z, bi Е N, dn = d0,n. bn, то есть d = bi, поэтому для всех

рядов сразу годится d = Н.О.К. (b1, • • • , bm).

Далее, знаменатель дроби

ai (ai + bi)... (ai + bi(n - 1)) n!

делится только на простые числа p ^ n, то есть для всех рядов C2 = 1. Аналогично получаем, что с некоторым С3

ordp

{ai (ai + bi) ••• (ai + bi(n V n!

1}A < cjn+^)

J \p2 In p J

Таким образом, ряды fi(z) входят в класс F (Q, C1,C2,C3,d).

Легко проверить, что ряды (3) удовлетворяют системе дифференциальных уравнений

1 - aiZ Ai

Vi = , 2 Vi —,i = 1^ • •

bj,z2 z

(5)

Для доказательства теоремы 1 осталось доказать алгебраическую независимость над Q(z) рядов f1(z), • • • , fm(z). Она следует из доказываемой ниже теоремы 3. Доказательство теоремы 3 имеет ту же схему, что и доказательства теорем В. Х. Салихова [5], (см. также [4], стр. 198, 199).

346

В. Ю. МАТВЕЕВ

Теорема 3. Пусть X1,. . . , Xm- различные рациональные числа, отличные от 0 и пусть Xi — Xj У Z, i = j, . Тогда ряды fl(z),..., fm(z) алгебраически независимы над Q(z).

ДОКАЗАТЕЛЬСТВО. Доказательство проведем методом математической индукции.

Лемма 1. Уравнение y' = l—zrУ — ^ не имеет решений, которые являются алгебраическими функциями от z.

ДОКАЗАТЕЛЬСТВО. Предположим противное, что уравнение

у'

1 — az X bz2 У z

(6)

имеет решения, которые являются алгебраическими функциями от z.

Известно, что алгебраическая функция в комплексной области допускает разложение в окрестности 0 вида

ГО

у = ^2 anzrn,

n=0

(7)

где r0,rl,... - возрастающая последовательность рациональных чисел с одним и тем же знаменателем.

Тогда

У • bz2 = (1 — az)y — az, удовлетворяет уравнению (7).

ГО

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

У1 = ^2 rkakzrk-1

k=0

ГО

bz2y = ^2 rkakbzrk+1

k=0

где rk — неотрицательные рациональные числа с одинаковым знаменателем.

Сравнивая наименьшие степени z в левой и правой частях получим что в правой части r0 + 1 ^ 1

ГО ГО ГО

(1 — az) ^^ akzrk = ak zrk — ak azrk+1 — az

k=0 k=0 k=0

в правой части либо r0, либо 1.

Если r0 = 1 , то наименьшая степень в правой части меньше, чем в левой части то есть r0 = 1 а a0 = a.

АЛГЕБРАИЧЕСКАЯ НЕЗАВИСИМОСТЬ НЕКОТОРЫХ ...

347

При r0 = 1 имеем

y = az + akzrk

k=1

У = a + rk ak zrk 1

k=1

^ ^ \ bz2y' = abz2 + ^ bakrkzrk+1 = (1 — az) | az + ^ akzrk \

az

k=1

az + akzrk — a2z2 — ^^ aakzrk+1 — az

k=1

k=1

abz2 + a2z2 + bakrk z

<X> <X> <X>

rk +1 _ \ л r., Sk \ ' „ „ ~rk + 1

akz — aakz

k=1

k=1

£■

k=1

a(b + a)z2 + ^ bakrkzrk+1 = ^ akzrk — ^ aakzrk+1

k=1 k=1 k=1

Наименьшая степень правой части в которой входит z меньше, чем в левой части, то есть r1 = 2, что противоречит сделанному предположению. □

Лемма 2. Пусть ряды yi удовлетворяют системе уравнений (5) где \i} i = 1,... ,m — попарно различные числа, отличные от 0. Тогда ряды y1,... ,ym и 1 .линейно независимы над Q(z).

ДОКАЗАТЕЛЬСТВО. Предположим противное и пусть размерность векторного простванства над Q(z), порожденного этими рядами, равна к, k < т. Так как из леммы 1 следует, что среди рядов y1,... , ym нет рациональных функций, к ^ 2. Предположим, что 1,y1,... ,yk-1 линейно независимы, а 1,y1,...,yk — линейно зависимы и имеет место равенство

qo + qy + ... + qkyk = 0, где qi E Q(z),i = 0,1,...,k. (8)

Заметим, что по выбору к функция qk = 0. Кроме того, так как среди y1,... ,yk нет рациональных функций, существует номер l, 1 ^ l ^ к — 1 такой, что qi = 0.

Кроме того, так как среди y1,... ,yk нет рациональных функций, существует номер l, 1 ^ l ^ к — 1 такой, что ql = 0.

Продифференцируем равенство (8), используя систему (5):

lo' + q1y1 + q^1 + qi'yi + qi(^1 -

+ qk yk + q^ 1

a1z

A

y1

)+■■■+

b1 z2 z

aiz АЛ —2 yi —^ ) + ... +

biz ak z bk z2

z

Ak

yk------=0

0

348

В. Ю. МАТВЕЕВ

или

lo + - (q1 + • • • + qk) + ^qi + qi - z2 ^ y1 + • • • +

, ( _ , 1 - aiz\ , ( _ , 1 - akz\

+ ( qi + qi^bz^ ) yi + ••• + \Qk + Qk bkz2 ) yk =0

Из (8) и (9) следует, что

qi 1 - aiz = qk' + 1 - akz ( )

qi bZ qk bk z2 ’ ( )

иначе бы из этих двух уравнений можно было бы исключить переменную yk и получить нетривиальное уравнение, связывающие над Q(z) ряды 1,y1} • • • , yk-1. Равенство (10) преобразуем к виду

о/_ _ Qk_ = Xi — Xk + _J-____1_

qi qk z bkz2 biz2 ’

o/_ _0k_ = _J-_1_+ X _ Xk

qi qk bk z2 bi z2 z z ’

(in iy—(in fc)'=(-i) +Ш +(in zXi)'—(in zX)' •

(ln SУ=(bz- bzУ+(ln zXl-Xk)' •

q 1 1

ln q = ----— +ln zXl-Xk +ln C•

qk biz bk z

— = e - ^ ■ zXl-Xk ■ C•

qk

Если bi = bk, то это не рациональная функция. Если bi = bk, то так как Xi - Xk ^ Z, правая часть этого равенства также не является рациональной функцией и не может быть равна —. Лемма 2 доказана. □

qk

Продолжим доказательство теоремы по индукции. Пусть m > 1, пусть ряды

fl = f (X1z) • • • • • fm = f (amz)

(11)

алгебраически зависимы над Q(z), а число l таково, что любые l - 1 среди этих рядов алгебраически независимы, но существуют l рядов таких, что они алгебраически зависимы. Так как нумерация рядов (11) в нашем распоряжении, можно считать, что f1 • • • • • fi-1 алгебраически независимы, а f1, • • • , fi алгебраически зависимы. Рассмотрим систему дифференциальных уравнений которой удовлетворяют ряды f'1 •••••fi

Wi

1 - aiz biz 2

Wi -

Xi

— • г

!•••••*

(12)

z

АЛГЕБРАИЧЕСКАЯ НЕЗАВИСИМОСТЬ НЕКОТОРЫХ ...

349

и соответствующий системе (12) дифференциальный оператор

D

д_

dz

+

Е(

i=1 v

1 — aiz biz2

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

-Wi -

X„

)

z

d

dwi

(13)

Пусть P = P (z,w1,... , Wi) E Q [z,w1,... ,wi] отличный от тождественного нуля и неприводимый многочлен такой, что

P (z,f1,...,fl ) = 0. (14)

Применяя лемму 4 из книги [4] ( глава 4, стр. 161-162) получаем, что с некоторым Q(z) E Q(z) выполнено равенство многочленов из Q [z,w1,... , wl]

DP = QP. (15)

Пусть степень многочлена P по совокупности переменных w1,... ,Wi равна s. Представим многочлен P в виде

P = Y, Pk • Wik' ■■■Wi’", (16)

ki+...+kiZs

где k = (ki,... ,ki), Pk E Q[z], ki E Z, ki ^ 0, i = 1,... ,l. Из (12) - (16) следует,

что

D

( E

\ki+...+k;ys

Pk w’1 ■ ■■w’

)= 4 E

/ \ki+...+k;ys

Pk Wk1 ... W’

откуда

E Ы+Ё fli(

Ь..+hys \ i=1 '

bikiWi’1 ...Wi’1 k ’1 ki-i ’

------W’1 . . .wi 1 . . .wi 1

ki+...+’i y

= E QP’ w’1 ■■■«{'■

aiz

2

l,

))

(17)

ki+...+’ys

Рассмотрим произвольный отличный от нуля член многочлена P, имеющий наибольшую степень s по совокупности переменных w1,... ,Wi. Пусть он имеет вид P¥ wl1 ...w^1, где ri + ... + ri = s, r = (rb ... ,ri), P¥ = 0.

Из (17) следует, что Pr удовлетворяет дифференциальному уравнению

У = (Q — t *( 1-—г))у■ (18)

Аналогичное равенство с заменой ri на ti выполняется для любого коэффициента Pj с индексом t = (t]_,... ,ti), удовлетворяющим условию 11 + ... + ti = s.

350

В. Ю. МАТВЕЕВ

Пусть j выбрано так, что Tj > 0 и пусть P- - коэффициент многочлена P с индексом k = (k1}... ,ki), для которого выполнены равенства: кг = Ti, i = j, kj = Tj — 1. Из (17) следует, что

P

Г — E h{

1 — aiz' biz2

Л,

P- +Y.(kj + 1) zP-,

где

Рассмотрим ряд

kj (ki; ■ ■ ■ ) kj—i•> kj + 1 kj+i) ■ ■ ■ > ki)

i

Ф = l(z) = —Yl (kj + 1) P-j fj

j=i

(19)

(20) (21)

и вычислим, используя (18), (21) (так как для P-, сумма индексов равна s)

Ф' = — £ (kj + 1) {Pjfj + P-jfj'

j=1

E (k + 1) (fj (Q — t k-( l-jZf) — (^'l I j +P (j-!i) " 7 ) '

bj z2

(22)

Ф' =—E (k + 1) (q — E b( b z2

j=1 \ i=1 ' г

Из уравнений (19), (22) следует, что

ki I ) Pjfj + E (kj +1) z

j=i

к — Ф = (q — E ki (^

P-' — ф = IQ ■> >i2Ф |(P- —Ф) ■

(23)

Обозначим Y- = P- — Ф. Пусть

w

Yl

P.

где P- = Pr =0 по определению kj. Тогда согласно (18), (23)

w = Y- _P% =

w Y- P-,

‘Q Eki(YOz)) — (q—tki(^) — (-ap

\ i=j /

bj z2

1 — aj z bj z2 ■

j

АЛГЕБРАИЧЕСКАЯ НЕЗАВИСИМОСТЬ НЕКОТОРЫХ ...

351

Следовательно,

Рассмотрим ряд

, 1 — aj z

W=j W

1

П = fj — ---------- w = fj —

kj + 1 Jj

1

kj + 1

(V)

1

(kj + 1) Pr 1

(kj + 1) Pr 1

(kj + 1) Pr

(Pr fj +1) — p- + ф)

Pr fj <-‘+1) — P- + Y,(k‘ + !) P-i • fi

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

i=1

• fj

i \

P- +^2 (ki + 1) P-ifi

V

i=1

i=j

так как r = kj, ввиду определения k и равенства (20) Поскольку, ввиду (12) и (24)

f / = 1 — ajz f Aj

fj = bj z2 z ,

, 1 — aj z

w = ——— w

bj z 2 ’

w

w (1 — ajz) kj + 1 bjz2 (kj + 1)

получаем

П = (fj

kj + r) fj kj + 1 ^ — z 0 (

w

1 — ajz (1 — ajz

bj z2 f z V bj z2 J kj + 1

1 — aj z bj z2

j JT+r)

Aj

(24)

(25)

т.е. П является решением того же уравнения, что и fj, но равенство (25) означает, что ряды П, 1, f1,... , fj-1, fj+1,... , fi линейно зависимы над Q(z). Но это противоречит лемме 2. Теорема доказана. □

1

z

3. Заключение

Полученные результаты продолжают исследования арифметических свойств полиадических и почти полиадических чисел проведенные в работах автора и В. Г. Чирского.

352

В. Ю. МАТВЕЕВ

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Чирский В. Г. Арифметические свойства полиадических рядов с периодическими коэффициентами // Доклады Академии наук, математика. 2014. Т. 439, № 6. С. 677-679.

2. Bertrand D., Chirskii V. G, Yebbou Y. Effective estimates for global relations on Euler-type series // Ann. Fac. Sci. Toulouse Math. 2004. Vol. (6) 13, no. 2. P. 241-260.

3. В. Г. Чирский Арифметические свойства целых полиадических чисел // Чебышевский сборник. 2015. Т. 16, вып. 1. С. 254-264.

4. Шидловский А. Б. Трансцендентные числа. М.: ”Наука”. 1987. 417 с.

5. Салихов В. Х. Об алгебраической независимости значений Е-функций, удовлетворяющих линейным дифференциальным уравнениям первого порядка // Мат. заметки. 1973. Т. 13, № 1. С. 29-40.

6. Чирский. В. Г. О глобальных соотношениях // Мат. заметки. 1990. Т. 48, вып. 2. С. 123-127.

7. Нестеренко Ю. В. Приближения Эрмита-Паде обобщённых гипергеометрических функций // Мат. сборник. 1994. Т. 185, № 10. С. 39-72.

8. Чирский В. Г. Об арифметических свойствах ряда Эйлера // Вестник Московского Университета., Серия 1: Математика. Механика. 2015. № 1.

С. 59-61.

9. Постников A. Г. Введение в аналитическую теорию чисел. — М.: Наука. 1971.

10. Понтрягин Л. С. Непрерывные группы. — М.: Наука. 1984.

11. Новоселов Е. В. Топологическая теория делимости целых чисел // Учен. зап. Елабуж. гос. пед. ин-та 1960. № 3. С. 3-23.

12. Чирский В. Г., Шакиров Р. Ф. О представлении натуральных чисел с использованием нескольких оснований // Чебышевский сборник. 2013. Т. 14, № 1. С. 86-93.

13. Dimitrov V. S., Jullien G. A. and Miller W. C. An Algorithm for Modular Exponentiation // Inform. Process. Lett. 1998. Vol. 66, no. 3, pp. 155-159.

14. Матвеев В. Ю., Чирский В. Г. О ряде из произведений членов арифметической прогрессии // Преподаватель XXI век. 2013. № 4, ч. 2. С. 249-254.

АЛГЕБРАИЧЕСКАЯ НЕЗАВИСИМОСТЬ НЕКОТОРЫХ ...

353

15. Матвеев В. Ю. О значениях некоторого ряда в полиадических точках, хорошо приближаемых натуральными числами // Преподаватель XXI век. 2013. № 4, ч. 2. С. 255-259.

REFERENCES

1. Chirskii, V. G. 2014, ”The arithmetic properties of polyadic series with periodic coefficients.”, Dokl. Akad. Nauk, vol. 439, № 6, pp. 677 - 679. (Russian)

2. Bertrand, D., Chirskii, V. G. & Yebbou, J. 2004, ’’Effective estimates for global relations on Euler-type series”, Ann. Fac. Sci. Toulouse Math., vol. (6) 13, № 2, pp. 241 - 260.

3. Chirskii, V. G. 2015, "The arithmetic properties of polyadic integers" , Che-byshevskii Sb., vol. 16, no. 1(53), pp. 254 - 264. (Russian)

4. Shidlovskii, A. B. 1987, "Transtsendentnye chisla." [Transcendental numbers] “Nauka", Moscow, 448 pp. (Russian)

5. Salihov, V. H. 1973, "The algebraic independence of the values of E-functions that satisfy first order linear differential equations" , Mat. Zametki, vol. 13, № 1, pp. 29—40. (Russian)

6. Chirskii, V. G. 1990, "Global relations" , Mat. Zametki, vol. 48, no. 2, pp. 123127, 160 (Russian); translation in Math. Notes, vol. 48, no. 1-2, pp. 795-798.

7. Nesterenko, Yu. V. 1994, "Pade-Hermite approximants of generalized hypergeometric functions" , Mat. Sb. vol. 185, no. 10, pp. 39-72. (Russian); translation in Russian Acad. Sci. Sb. Math., vol. 83 (1995), no. 1, pp. 189-219.

8. Chirskii, V. G. 2015, "On the arithmetic properties of Euler’s series" , Vestnik Moskov. Univ. Ser. I Mat. Mekh. № 1, pp. 59-61. (Russian)

9. Postnikov, A. G. 1971, "Vvedenie v analiticheskuyu teoriyu chisel" , [Introduction to analytic number theory] Izdat. “Nauka", Moscow, 416 pp. (Russian)

10. Pontryagin, L. S. 1984, "Nepreryvnye gruppy" , [Continuous groups] Fourth edition. “Nauka", Moscow, 520 pp. (Russian)

11. Novoselov, E. V. 1960, "The topological theory of divisibility of integers" , Scientists. Rec. Elabuzh. state. ped. Inst. № 3, pp. 3-23. (Russian)

12. Chirskii, V. G. & Shakirov, R. F. 2013, "On the representation of positive integers using a number system of several bases" , Chebyshevskii Sb., vol. 14, no. 1(45), 86-93. (Russian)

354

В. Ю. МАТВЕЕВ

13. Dimitrov, V. S., Jullien, G. A. & Miller, W. C. 1998, "An Algorithm for Modular Exponentiation" , Inform,. Process. Lett., vol. 66, no. 3, pp. 155-159.

14. Matveev, V. Yu. & Chirskii, V. G. 2013, "On series of product by members of the arithmetic progression" , Teacher XXI Century, № 4, part. 2. pp. 249-254. (Russian)

15. Matveev, V. Yu. 2013, The values of a certain series of points in polyadic, closely approximated the natural numbers // Teacher XXI Century, № 4, part. 2. pp. 255-259. (Russian)

Получено 15.06.2015

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