Научная статья на тему 'Показатель сходимости среднего значения полных рациональных арифметических сумм'

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

CC BY
234
28
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
ТЕОРЕМА ГАУССА УМНОЖЕНИЯ ДЛЯ ГАММА-ФУНКЦИИ ЭЙЛЕРА / ПОЛНЫЕ РАЦИОНАЛЬНЫЕ АРИФМЕТИЧЕСКИЕ СУММЫ / ФУНКЦИОНАЛЬНОЕ УРАВНЕНИЕ ПО ПОЛНОЙ СИСТЕМЕ ВЫЧЕТОВ ПО МОДУЛЮ НАТУРАЛЬНОГО ЧИСЛА / МНОГОЧЛЕНЫ БЕРНУЛЛИ / THE GAUSS THEOREM OF A MULTIPLICATION FOR THE EULER GAMMA-FUNCTION / COMPLETE RATIONAL ARITHMETICAL SUMS / A FUNCTIONAL EQUATION ON A COMPLETE SYSTEM OF RESIDUES BY MODULO OF NATURAL NUMBER / THE BERNULLI POLYNOMIALS

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

Данной работе найдено точное значения показателя сходимости среднего значения полных рациональных арифметических сумм для арифметической функции, удовлетворяющей функциональному уравнению гауссова типа. В частности, многочлены Бернулли удовлетворяют этому уравнению. Подобный результат справедлив для полных рациональных тригонометрических сумм (Хуа Ло-кен, 1952). Вывод основного результата работы проводится элементарным методом. Мы обязаны И. М. Виноградову за демонстрацию плодотворных результатов и выгоды этого метода. Полные рациональные арифметические суммы являются аналогами осцилляторных интегралов от периодических функций, например, тригонометрических функций. В 1978 г. были получены подобные результаты для точного значения показателя сходимости тригонометрического интеграла (Г. И. Архипов, А. А. Карацуба, В. Н. Чубариков). Для многомерной проблемы в настоящее время удается получить только верхние и нижние оценки показателя сходимости соответствующих сумм и интегралов.

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

THE RATE OF CONVERGENCE OF THE AVERAGE VALUE OF THE FULL RATIONAL ARITHMETIC SUMS

In this paper the exact value of a index of convergence for the mean-value of the complete rational arithmetical for the arithmetical function, satisfying the functional equation of Gaussian type, is found. In particular, the Bernoulli’s polynomials satisfy for this functional equation. A similar result holds for the complete rational trigonometric sums (Hua Loo-keng, 1952). The deduction of the main result of the paper leads of the elementary method. We owe to I. M. Vinogradov for the demonstration of fruitful results and profit of it. The complete rational arithmetic sums are the analogue the oscillatory integral of a periodic function, for example, trigonometric functions. In 1978 similar results for the exact value of the index of convergence of the trigonometric integral were obtained (G. I. Arkhipov, A. A. Karatsuba, V. N. Chubarikov). In nowadays for a multivariate problem there are successful to get only upper and lower estimates for the index of convergence of appropriate sums and integrals.

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

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

Том 16. Выпуск 4.

УДК 511.9.

ПОКАЗАТЕЛЬ СХОДИМОСТИ СРЕДНЕГО ЗНАЧЕНИЯ ПОЛНЫХ РАЦИОНАЛЬНЫХ АРИФМЕТИЧЕСКИХ СУММ1

В. Н. Чубариков (г. Москва)

Аннотация

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

В частности, многочлены Бернулли удовлетворяют этому уравнению. Подобный результат справедлив для полных рациональных тригонометрических сумм (Хуа Ло-кен, 1952).

Вывод основного результата работы проводится элементарным методом. Мы обязаны И. М. Виноградову за демонстрацию плодотворных результатов и выгоды этого метода.

Полные рациональные арифметические суммы являются аналогами осцилляторных интегралов от периодических функций, например, тригонометрических функций. В 1978 г. были получены подобные результаты для точного значения показателя сходимости тригонометрического интеграла (Г. И. Архипов, А. А. Карацуба, В. Н. Чубариков).

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

Ключевые слова: теорема Гаусса умножения для гамма-функции Эйлера, полные рациональные арифметические суммы, функциональное уравнение по полной системе вычетов по модулю натурального числа, многочлены Бернулли.

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

THE RATE OF CONVERGENCE OF

THE AVERAGE VALUE OF THE FULL RATIONAL ARITHMETIC SUMS

V. N. Chubarikov (Moscow)

хРабота выполнена по гранту РФФИ № НК 13-01-00835

304

В. Н. ЧУБАРИКОВ

Abstract

In this paper the exact value of a index of convergence for the mean-value of the complete rational arithmetical for the arithmetical function, satisfying the functional equation of Gaussian type, is found. In particular, the Bernoulli’s polynomials satisfy for this functional equation.

A similar result holds for the complete rational trigonometric sums (Hua Loo-keng, 1952). The deduction of the main result of the paper leads of the elementary method. We owe to I. M. Vinogradov for the demonstration of fruitful results and profit of it.

The complete rational arithmetic sums are the analogue the oscillatory integral of a periodic function, for example, trigonometric functions. In 1978 similar results for the exact value of the index of convergence of the trigonometric integral were obtained (G. I. Arkhipov, A. A. Karatsuba, V. N. Chubarikov).

In nowadays for a multivariate problem there are successful to get only upper and lower estimates for the index of convergence of appropriate sums and integrals.

Keywords: the Gauss theorem of a multiplication for the Euler gamma-function, complete rational arithmetical sums, a functional equation on a complete system of residues by modulo of natural number, the Bernulli polynomials.

Bibliography: 19 titles.

1. Введение

Настоящую статью автор посвящает Владимиру Петровичу Платонову к его семидесятипятилетию.

Пусть s — натуральное число, F(x) — периодическая функция с периодом 1, которая для любого натурального числа m и a — взаимно простого с т, при любых вещественных x удовлетворяет следующему функциональному уравнению

m1 sF (mx)

F(x) + F (x + — m

+ ••• + F (^x +

a(m — 1)

m

)

(1)

Подобное уравнение было найдено Гауссом для гамма-функции Эйлера и соответствующее утверждение было названо теоремой умножения. При 0 < x < 1 соотношение (1) выполняется для многочленов Бернулли Bs(x), которые при s > 1 можно определить так:

Bo(x)

1,BS(x)

1

sBs-1(x), Bs(x) dx

o

0,

причем

Bs(x)

s!

(2ni)s

У

\v \>1

V s

Bs(1

x)

(—1)sBs(x),

ПОКАЗАТЕЛЬ СХОДИМОСТИ СРЕДНЕГО ...

305

где при s = 1 сумма ряда понимается как главное значение по Коши.

Кроме того, при s = 1 уравнению (1) удовлетворяет функция F вида

F(x) = ln (l — е2жгх) = ln 12 sin nx\ — inp(x),

где p(x) = 0, 5 — {x}. В дальнейшем будем предполагать еще, что F(x) — ограниченная функция, т.е. найдется C > 0 такое, что для всех вещественных x имеем F(x) < C. Пусть также F(x) является кусочно-непрерывной и кусочномонотонной на периоде, т.е. F(x) удовлетворяет условиям утверждения теоремы Дирихле о разложении функции в сходящийся ряд Фурье.

Пусть, далее, р — нечетное простое число, l — натуральное число. Назовем полной рациональной арифметической суммой S(F) сумму вида

pi

S<F) = ^fpxx1; F) = E F fr) ■ (2)

где f (x) = anxn+ ■ ■ ■+aix+a0 — многочлен с целыми коэффициентами an,... ,ai, свободный коэффициент a0 — вещественное число и (an,... ,a1,p) = l.

Средним з начением ор = ор(2k) полной рациональной арифметической суммы S ( fXjX; Fj назовем выражение вида

где

A(pl)

О p

i + £ ap ),

z=i

pl-i pl—i 1

£•••£ /|p-' ; f)

=0 a =0 *1 \ " /

an—0 ai—0 o

(an,...,ai,p) = 1

2k

da0, f (x)

anx + ■ ■ ■ + aix + a0-

В настоящей статье мы докажем следующее утверждение.

Теорема 1. Ряд оР = op(2k) сходится при 2k > 0,5n(n+1) + 1 и расходится при 2k < 0, 5n(n + 1) + 1.

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

Лемма 1. Пусть p — простое число, g(x) — многочлен с целыми коэффициентами, a — корень кратности m сравнения g(x) = 0 (mod p), и пусть и — наибольшая степень числа р, делящая все коэффициенты многочлена h(x) = = g(px + a). Тогда число корней сравнения

p-uh(x) = 0 (mod р)

с учетом их кратностей не превосходит m.

306

В. Н. ЧУБАРИКОВ

Доказательство. См., например, в [6], с. 55, лемма 2.

Лемма 2. Пусть p — простое число, f (ж) = anxn + • • • + a,x + a0 — многочлен с целыми коэффициентами, (an,... ,a\,p) = 1, и пусть и — наивысшая степень числар, делящая все коэффициенты многочлена g(x) = f (A+px)-f (A). Тогда имеем 1 < и < n.

Доказательство. См., например, [6], с. 56, лемма 3.

n

Пусть р — простое число, l > 2 — натуральное число, f (x) = akxk,

k=0

(an,... ,a\,p) = 1. Рассмотрим сначала случай, когда р превосходит степень многочлена f, т.е. p > n. Представим сумму S (fpr; F^ в виде

S

(f F=g

Se, St

£ fV¥)

x=1 x=t (mod p)

Имеем следующее утверждение.

Лемма 3. Пусть f'(£) ф 0 (mod p). Тогда St = F fpr'j Доказательство. Имеем

v1 Pp p(f(v + pl-1z)\ sr srP(f(v) + f(v)z\

y=1 z=0 ' 1 ' y=1 z=0 ' 1 1 '

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

pl 1 p-1

St

У=1

V=t (mod p)

y=1 z=0

y=t (mod p)

Воспользуемся функциональным уравнением (1). Найдем

St

5 f

y=1

y=t (mod p)

Повторяя эту процедуру, получим

St =

l_ 2

£ F(P)=-= £ F(")-f

У=1 y=t (mod p)

У=1 y=t (mod p)

Лемма доказана. □

Лемма 4. Пусть f(£) ф 0 (mod p). Тогда

(3)

(4)

St =

У pF{lf)= pE Ff+&)

y=1 4 7 y=1 4 7

y=i y=t (mod p)

l- 1

ПОКАЗАТЕЛЬ СХОДИМОСТИ СРЕДНЕГО ...

307

Доказательство. Находим

pl 1 p—i

S*

т тf(M- +

^ ^ \ Pl Р J

y=1 z=0 v 1 1 /

y=

y=* (mod p)

Р

£ ?{f)-p£КАД)

y=i y=* (mod p)

Лемма доказана. □

i- i

l-2

3. Вывод теоремы об оценке суммы при p > п.

Преобразуем сумму S(F) из формулы (3). Найдем

S (F) — sfi; ^ -^2 Sv -Si + S2,

где

p

Si -£ S*, S2 -J2 Sv,

* v=1

v=*

причем £ пробегает по всем различным решениям сравнения f '(£) = 0 (mod p). Применяя леммы 3 и 4, получим

Si - pSEF(fipM).

i

* y=i

p / г/ W p

S2 - S F{f)- E F(f) +

v=1 v=1

eon, \e\ < i.

v=*

Преобразуем далее S1. Имеем

p1-2 ,

s - pESf(

* y=1

f (£ + py)- f (£) + f(0\ p p )

l-2

Так как f(£) = 0 (mod p), то по лемме 2 находим f (£+py)-f (£) - pui fiy и ui > 2, причем коэффициенты многочлена fi(y) в совокупности просты с p. Если

308

В. Н. ЧУБАРИКОВ

же l < u1, то сумму S1 оценим тривиально числом слагаемых: |S^ < Cup1 1 Следовательно, при l > u1 справедливо соотношение

Si = p-1-1

s

Sz,v

v=1

pl u 1

V F(fi^ + .

Z-= \pl-ui pl j

y=i

y=v (mod p)

Пусть n корень сравнения f[ (n) = 0 (mod p) и f1(n + py) — f1(n) _ pU2 f2 (y), где многочлен f2(y) имеет коэффициенты в совокупности простые с p. При u1 < l < u1 + u2, оценивая тривиально S^v, найдем |S1| < up1-2.

Пусть, теперь, l > u1 + u2. Тогда представим S1 в виде S1 = S11 + S12, где

S11 = p-1-1У Stv,

S,n

S ____ p-1-1

S12 _ p

ry W'f1(^) + Щ) _p-i-1 тF(f1(v) + Щ) + YV=T V p v-i-4 v=T V p pui-1J

S v=

v=n

+ ecup-1-1, |01|< i.

Преобразуем сумму S11. Имеем

S11 _ p-1-

T,l~U1

1^ F (f1(y) I f (^Л

Z.^ Z= \pt--1 pl J

S,n y=1

у=П (mod p)

_ p-1 -1

pi-ui-1 ^

F

S,n z=1 '

f1(n + pz ) — f1(n) + f1(n) + Ш ^

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

pl--1 pl J

p

l--1

p

-1-

nl U 1 1

1 ^ y^ f ( f2(z) + f1(n) + f (^)^

/ -J * -J \^p^ -1 -2 pi -1 pi J

S,n z=

nl — U1 —U2

_ p-1+-2-2

У r FffL + Щ + Щ .

pl--1 --2 pl--1 pl

По лемме 1 количество наборов корней ^,'Ц,... не превосходит и — 1 и для каждого такого набора корней однозначно находятся набор показателей (щ, u2,...) и число t _ t(£, n, • • •) такие, что

l — u1 — u2 — ■ ■ ■ — ut > 1, l — u1 — u2 — ■ ■ ■ — ut+1 < 1.

ПОКАЗАТЕЛЬ СХОДИМОСТИ СРЕДНЕГО ...

309

Отсюда получим

S(F) = ; Л = ^ pu,+-^-tT+ R,

\ р / С п Z

С,п,-Х

где

T (ui,U2,

E f(M + ем +... +

y==1 \ р1 pl-U1

ft(Z)

l-u 1-U2----Ut

Р

+

ft(C + py) - ft(C)

Р

l-Ul —U2----Ut

)

t-1

R = Y^ pU1+'"+Uh-h

h=0

p ( E F

y=1 '

f (Z ) , fi(n)

+

y=1

t1

pUi+---+Uh pUl+---+Uh-1

+ . . + fh(yЛ +

Р )

+ J] 0hnpU1+-Uh-h, \dh\ < 1.

h=0

Пусть s обозначает наименьшую длину t = t(Z,n,... , Z). Тогда

\S(F)\ < 2Cnpl-s.

p

Таким образом доказано следующее утверждение.

Теорема 2. Пусть n > 3,l > 1 — натуральные числа, р > n — простое число, f (x) = anxn + ■ ■ ■ + a1x + a0 — многочлен с целыми коэффициентами, (an,..., a1,p) = 1; и пусть s — наименьшая длина t = t(Z, ц,... ,Z), отвечающая цепочке показателей (u1,... ,ut). Тогда справедлива оценка

\S (F )\

< 2Cnpl-s.

4. Цепочка показателей

Теперь рассмотрим случай малых простых чисел р. Это потребует модификации предыдущих рассмотрений.

Пусть n > 3,l > 1 — натуральные числа, р < n — простое число, f (x) = = anxn+ ■ ■ ■+a1x+a0 — многочлен с целыми коэффициентами, (an,... ,a1,p) = 1. Первый шаг конструкции. Определим показатель т0 из условия

рТ01| (nan,.. .,a1).

Положим w = [ln n/ lnр]. Имеем т0 < w. Пусть,далее, Z — корень сравнения

Р-Т0 f '(Z) = 0 (mod р).

310

В. Н. ЧУБАРИКОВ

Для этого решения £ предыдущего сравнения рассмотрим многочлен fi(y) =

П

= f (У+£) = bsys. Имеем f (x) = f1(x — £). Отсюда следует,что коэффициенты

s=0

этих многочленов удовлетворяют соотношениям

bn — an}

bn-1 an-1 + ^ 1 ^ an£

или

bs = as + ^ s ^ as+1£ + • • • + ^ ^ an£n bi = ai + ^ 1 ^ a2£ + • • • + ^ 1 ^ an£n 1 ,

an bn,

an-1 bn-1 ^ 1 ^ bn£}

(5)

as bs

b1 =

— {8 +0 b*1« + + (—1)"^(

a1 — ^ ^ a2£ + ••• + ( — 1)n 1 ( an?‘ 1

Из этих соотношений имеем, что рТ° || (nbn,... , 2b2, b1). Подчеркнем, что величина го одна и та же как для коэффициентов an,an-1,... ,a1, так и для

bn, bn- 1 , . . . , b1 .

Первый шаг конструкции завершается тем, что рассматриваются все корни £ = £1,... ,£m,m < n полиномиального сравнения

p Т0 f'(£) = Р Т0b1 = 0 (mod p).

Далее для каждого корня £ определяется свой показатель u1 = щ(£) из следующего условия точной делимости

PU1 ll(pnbn,... ,p2b2,pb1).

Если l — u1 > 2w+1, то переходим ко второму шагу. В противном случае цепочка показателей, отвечающая корню £ будет состоять из одного числа u1 = u1(£).

Второй шаг. Зафиксируем корень £ и отвечающий ему показатель u1 = u1(£). Имеем

f (РУ + £) — f (£) = PU1 fl(У), f1(y) = CnVn + ■■■ + Cly,

ПОКАЗАТЕЛЬ СХОДИМОСТИ СРЕДНЕГО ...

311

где

(•cn,...,c1,p) = l, pUl Cs = psbs, s Пусть pTl || (ncn,... , 2c2, C\). Определим многочлен

n,

9i(v) = fi(V + n) = ^2 dsys.

s=0

, 1.

Находим

pT1 H(ndn,..., 2d2,di).

Пусть, теперь, n = p1,... ,pr корни сравнения

P-T1 fl (n) = P-T1 d1 = 0 (mod p).

Зафиксируем корень n и найдем показатель u2 = u2(£, n) из условия

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

pu2 ll(pndn,.. .p2d2,pdi).

Если l — u1 — u2 < 2w + 1, то цепочка показателей, отвечающая набору корней £,n будет состоять из двух чисел u1,u2. В противном случае переходим к следующему шагу.

Итак, набору корней (£,n,...) отвечает цепочка показателей (u1,u2,... ,ut), где длина цепочки t = t(^,p,...) находится из условий

l — u1 — ■ ■ ■ — ut-1 > 2w + 1, l — u1 — ■ ■ ■ — ut < 2w + 1.

Лемма 5. Пусть p — простое число, f (x) — многочлен степени n с целыми коэффициентами, взаимно простыми в совокупности с p. Тогда количество наборов показателей (u1,u2,...) многочлена f (x) не превосходит n.

Доказательство. См., например, в [6], с. 63, лемма 5.

Лемма 6. Имеем n > u1 > u2 > ut > 2.

Доказательство. См., например, в [6], с. 63, лемма 6.

Лемма 7. Пусть n > 3,l — натуральные числа, p — простое число, f (x) = = anxn + ■ ■ ■ + a1x + a0 — многочлен с целыми коэффициентами, (an,... ,a1 ,p) = = 1, и пусть s — наименьшая длина t = t(^,p,...) цепочки показателей u1,... ,ut, определенная перед (формулировкой леммы 5. Тогда для суммы

S (F) = S

[f ■■ f) = 5 f(“ )

имеем оценку

\S(F)| < npl-s.

312

В. Н. ЧУБАРИКОВ

Доказательство. Схема вывода леммы 7 близка к [6], с. 63, теорема 3. Пусть рт||(nan,... , 2a2, ap, т.е. pT — наивысшая степень числа р, делящая наибольший общий делитель чисел nan,..., 2a2,ai. Тогда т < w = [ln n/ lnр]. Если l < 2w + 1, то сумму S(F) оценим тривиально \S(F)| < Cp. Если же l > 2w + 1, то рассмотрим различные корни £ сравнения

Р-т f/(£) = 0 (mod р), 0 < £<р. (6)

Далее представим сумму S (F) в виде

p

S(F) = Y, Sv, Sv =

v = i

s 4“)-

x=i x=v (mod p)

Преобразуем сумму Sv с помощью подстановки

]—r—1

x = y + p z,

где переменная y пробегает все вычеты по модулю pl-T-1, а z — все вычеты по модулю рт+1. Получим

Sv =

pl-T-1 pT + 1 — i (

F

y=i z=0 ^

y=v (mod p)

f(y) , zf/(y)

р

+

р

T+1

)

Возможны две ситуации: 1) v = £, т.е. v не равно ни одному из корней £ сравнения (6); 2) для некоторого корня £ сравнения (6) v = £.

Рассмотрим случай 1). Пусть v = £, т.е. р—тf/(v) ф 0 (mod р). Тогда для y ф v (mod р) находим

pT +1 1 pT

S— F(fM + zf '(y)\ = ^ F(f (v + Pt)\

Z=0 V р + рт+1 ) tr V р1-1 ) ■

Отсюда имеем

Sv=

5 F(P)

x=i x=v (mod p)

Повторим эту процедуру s раз так, чтобы s = l — 2w. Получим

l1

Sv

x=l

F (Ш ) .

\p2w + 1)

x=v (mod p)

ПОКАЗАТЕЛЬ СХОДИМОСТИ СРЕДНЕГО ...

313

Перейдем к рассмотрению случая 2). После замены переменной у = £ + pz имеем

S,

p /

£F

z=1 V

f (£ + pz) — f (£) , f (£)

+ Ш] p )

pi pi

Полагая

fl(z) = p-U1 (f (£ + pz) - f (£)),

где fi(z) = cnzn + ■ ■ ■ +c1z — многочлен, коэффициенты которого в совокупности взаимно просты с р, находим

pl — Ul

s^ = pu^Y F(f^ + .

Z=i \pl-ui pl J

Если l — u1 > 2w + 1, то продолжим процедуру далее. Имеем

* = |>,,, = p”-1 Е F(p-u± + f).

z=1 z=vi (mod p)

Повторим эту процедуру несколько раз до тех пор пока

l — u1 — ■ ■ ■ — ut > 2w + 1, l — u1 — ■ ■ ■ — ut — ut+1 < 2w + 1.

Отсюда получим следующее утверждение.

Теорема 3. Пусть n > 3,l > 1 — натуральные числа, p — простое число, f (x) = anxn + ■ ■ ■ + a1x + a0 — многочлен с целыми коэффициентами, (an,... ,a1,p) = 1; и пусть s — наименьшая длина t = t(£,n,...,(), отвечающая цепочке показателей (u1,... ,ut). Тогда справедлива оценка

S (F )|

S

(f

< 2Cnpl-s.

5. Доказательство теоремы 1

Рассмотрим среднее значение ap = ap(2k) полной рациональной арифметической суммы S (fjr; Fj вида

где

A(pl)

ap =1+ Y1 A(pl)’

l=1

Е - ё/И sf; f)

an=0 ai=o0 V 1 J

1

(an,... ,ai ,p) = 1

2k

dao, f (x)

a^x + ''' + a^x + ao,

314

В. Н. ЧУБАРИКОВ

причем полная рациональная арифметическая сумма S(F) сумма имеет вид

S (F)

S

(f У - Е f)

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

1

где f (x) — anxn+■ ■ ■+aix+a0 — многочлен с целыми коэффициентами an,... ,ai, свободный коэффициент а0 — вещественное число и (an,... ,ai,p) — 1.

Оценим сверху сумму A(pl). Коэффициенты многочлена f (x) изменяются в пределах 0 < an,...,ai < pp и удовлетворяют условию (an,... ,ai,p) — 1. Разобьем все многочлены на классы Ks, отвечающие любой наперед заданной минимальной длине s цепочки показателей п\,... ,us при заданных значениях ui,.. .us. По теоремам 2 и 3 имеем

p-lS

У ■ f)

< 2Cnp-s

Теперь оценим сверху количество многочленов, принадлежащих классу Ks. Из равенств (5) и определения корней полиномиального сравнения для производной f (x) по модулю p находим

\Ks\ < pA, A — ns —

(ui — 1)ui

(us - 1) us

где l — 2w — 1 < li — ui + ■ ■ ■ + us < l.

Воспользовавшись леммами 5 и 6, получим

. (n + 1)n , . (n + 1)n

A < s-----^----+ n(l — li) < s---^-----+ n(2w + 1).

Далее, количество многочленов, имеющих заданный набор показателей (ui,... ,us), не превосходит lnps. Следовательно,

A(pl) < у (2Cn)2klnpn(2w+i)ps(-2k+0,5n(n+i)+i), s0 — max j .

s>so ^ )

Отсюда следует, что ap сходится при 2k > 0, 5n(n + 1) + 1.

При p > n ряд ap расходится при 2k < 0, 5n(n + 1) + 1. При 0 < an < pn, (an,p) — 1,..., 0 < ai < p, (ai,p) — 1, имеем

S(F)

У F (—xn + ■■■ + ai x)

x=i \pn p J

—x — F (0)p

n—i

n

Поскольку ap > a (p) и ряд

pn-i

a

(p>— E •••EE

an=0 ai=0 c=0

(an,p)=i (ai,p) = i

EF(an (x+<••)”+•••+p (x+<••))

2k

является расходящимся, ряд ap также расходится.

ПОКАЗАТЕЛЬ СХОДИМОСТИ СРЕДНЕГО ...

315

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

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

Отметим, что подобный результат имеет место для выщербленных многочленов вида

f(x)

amxm + ar xr + • • • + anxn

p

(am> ar) ■ ■ ■ ) an >p) 1; 0 < am > ar) ■ ■ ■ ) an < p

где 1 < m < r < • • • < n,m + r + • • • + n <

n(n+1)

Среднее значение aP таких многочленов представляется в форме

+гс> p-1 pl-i pl-i / t( \ \

a'P = 1 + Y,A(p), Mp1)=^ pM-PJt;F)

l=1 am=0 ar=0 an=0 \ p /

a^m—0 ar—0 an—0

(am,ar ,---,an ,p)—1

2k

2

Справедливо следующее утверждение, что a'p сходится при 2k > m + r + ••• + n и расходится при 2k < m + r + • • • + n■

Еще более интересной является задача об изучении аналогичных свойств для кратных рациональных арифметических сумм. Заметим, что для полной суммы имеет место оценка

5

/ G(x1, ■■■,xr)

V q

;F)

n,r qr-1/n(T (q))r-1

где G(x1} ■ ■ ■ , xr) — многочлен с целыми коэффициентами, в совокупности простыми с q, причем степень его по каждой переменной не превосходит n■ Отсюда находится оценка сверху для показателя сходимости среднего значения кратных полных рациональных сумм. Она имеет вид nm/2,m = (n + 1)r■ На наш взгляд, задача о точном значении данного показателя сходимости представляет собой большой интерес.

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

1. Виноградов И. М. Метод тригонометрических сумм в теории чисел, 2-е изд., М.: Наука, 1980, 144 с.

316

В. Н. ЧУБАРИКОВ

2. Hua L.-K. An improvement of Vinogradov’s mean-value theorem and several applications// Quart. J. Math. 1949. V.20. P. 48-61.

3. Архипов Г. И. Теорема о среднем значении модуля кратной тригонометрической суммы// Мат. заметки. 1975. Т.17. С. 84-90.

4. Архипов Г. И. Избранные труды. Орел: Изд-во Орловского гос. ун-та, 2013. 464 с.

5. Архипов Г. И., Чубариков В. Н. Кратные тригонометрические суммы//Изв. АН СССР, Сер. мат. 1976, Т.17, №1. С.209-220.

6. Архипов Г. И., Карацуба А. А., Чубариков В. Н. Теория кратных тригонометрических сумм. М.: Наука, 1987. 368 с.

7. Arkhipov G. I., Chubarikov V. N., Karatsuba A. A. Trigonometric Sums in Number Theory and Analysis. De Gruyter expositions in mathematics; 39. Berlin, New York, 2004. 554 c.

8. Franel J. Les suites de Farey et le probleme des nombres premiers// Gottinger Nachrichten. 1924, S. 198-201.

9. Landau E. Vorlesungen uber Zahlentheorie. Leipzig, 1927 V.2. 240 c.

10. Романов Н. П. Теория чисел и функциональный анализ: сборник трудов. Томск: Изд-во Том. ун-та, 2013. 478 с.

11. Greaves G. R. H., Hall R. R., Huxley M. N., Wilson J. C. Multiple Franel Integrals// Mathematika, 1993. V.40. P.51-70.

12. Чубариков В. Н. Об одном кратном тригонометрическом интеграле// До-кл. АН СССР. 1976. Т.227, № 6. С. 1308-1310.

13. Чубариков В. Н. О кратных рациональных тригонометрических суммах и кратных интегралах// Мат. заметки. 1978. Т.20, № 1. С. 61-68.

14. Чубариков В. Н. О показателе сходимости особого интеграла одной многомерной аддитивной проблемы// Докл. АН СССР. 2015. Т.463, № 5. С. 530.

15. Чубариков В. Н. Арифметические суммы и гауссова теорема умножения// Чебышевский сборник. 2015. Т.16, вып. 2(54). С. 231-253.

16. Чубариков В. Н. Элементарный вывод оценки полной рациональной арифметической суммы от многочлена// Чебышевский сборник. 2015. Т. 16, вып. 3(55). С. 452-461.

ПОКАЗАТЕЛЬ СХОДИМОСТИ СРЕДНЕГО ...

317

17. Чубариков В. Н. Полные рациональные арифметические суммы// Вестник Моск. ун-та. Сер. мат., мех. 2016. Вып. 1. С. 60-61.

18. Чубариков В. Н. Арифметические суммы от значений многочленов// Докл. РАН. 2016. Вып. 466, № 2. С. 1-2.

19. Шихсадилов М. Ш. Об одном классе осцилирующих интегралов, Вестник Моск. ун-та. Сер. мат., мех. 2015. Вып. 5. С. 61-63.

REFERENCES

1. Vinogradov, I. M. Metod trigonometricheskikh summ v teorii chisel.(Russian) [The method of trigonometric sums in the theory of numbers] Second edition. “Nauka”, Moscow, 1980. 144 pp.

2. HuaL.-K. 1949, “An improvement of Vinogradov’s mean-value theorem and several applications”, Quart. J. Math. vol. 20, рр. 48-61.

3. Arhipov, G. I. 1975, “A theorem on the mean value of the modulus of a multiple trigonometric sum”, Mat. Zametki vol. 17, рр. 143-153.

4. Arkhipov, G. I. 2013, “Izbrannye trudy”, [Selected works], Orl. Gos. Univ., Orel, 464 p. (Russian).

5. Arkhipov, G. I. & Cubarikov, V. N. 1976, “Multiple trigonometric sums”, Izv. Akad. Nauk SSSR Ser. Mat. vol. 40, no. 1, рр. 209-220.

6. Arkhipov, G. I., Karatsuba A. A. & Cubarikov, V. N., 1987, “Theory of multiple trigonometric sums”, Moscow: Nauka, 368 pp.

7. Arkhipov G. I., Cubarikov V. N. & Karatsuba A. A. 2004, “Trigonometric Sums in Number Theory and Analysis 39”, De Gruyter expositions in mathematics, 554 pp.

8. Franel J. 1924, “Les suites de Farey et le probleme des nombres premiers”, Gottinger Nachrichten, рр. 198-201.

9. Landau E. 1927, “Vorlesungen uber Zahlentheorie”, Leipzig, vol. 2, р. 240.

10. Romanov, N. P. 2013, “Teorija chisel i funkcional’nyj analiz: sbornik trudov”, [Number theory and functional analysis: collected papers], Tom. Univ., Tomsk, 478 pp. (Russian)

11. Greaves G. R. H., HallR.R., Huxley M. N. & WilsonJ.C. 1993, “Multiple Franel Integrals” Mathematika, vol. 40, pp. 51-70.

318

В. Н. ЧУБАРИКОВ

12. Cubarikov V. N. 1976, “On a multiple trigonometric integral” Dokl. AN SSSR, vol. 227, no. 6, pp. 1308-1310.

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

13. Cubarikov V. N. 1978, “Multiple rational trigonometric sums and multiple integrals”, Mat. Zametki vol. 20, no. 1, рр. 61-68.

14. Cubarikov V. N. 2015, “Convergence exponent of singular integral in a multidimensional additive problem” Dokl. RAN, vol. 463, no. 5, p. 530.

15. Cubarikov V. N. 2015, “The arithmetic sum and gaussian multiplication theorem” Chebyshevskii Sb., vol. 16, no. 2(54), рр. 231-253.

16. Cubarikov V. N. 2015, “Elementary of the complete rational arithmetical sums” Chebyshevskii Sb., vol. 16, no. 3(55), рр. 452-461.

17. Cubarikov V. N. 2016, “Full rational arithmetic sums” Vestnik Moskov. Univ. Ser. Mat., Mech., vol. 1, рр. 60-61.

18. Cubarikov V. N. 2016, “The arithmetic sum of the values of polynomials” Dokl. RAN, vol. 466, no. 2, рр. 1-2.

19. Shihsadilov, M. Sh. “A class of oscillatory integrals” Vestnik Moskov. Univ. Ser. Mat., Mech., vol. 5, рр. 61-63.

Механико-математический факультет Московского государственного университета им. М. В. Ломоносова.

Поступило 01.12.2015.

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