CC BY
15
УДК 517.98 Вестник СПбГУ. Математика. Механика. Астрономия. 2018. Т. 5 (63). Вып. 3
MSC 42C10
Двусторонняя оценка функции Лебега сумм Фурье по многочленам, ортогональным на неравномерных сетках
А. А. Нурмагомедов, Н. К. Расу,лов
Дагестанский государственный аграрный университет им. М. М. Джамбулатова, Российская Федерация, 367032, Махачкала, ул. М.Гаджиева, 180
Для цитирования: Нурмагомедов А. А., Расулов Н. К. Двусторонняя оценка функции Лебега сумм Фурье по многочленам, ортогональным на неравномерных сетках // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2018. Т. 5(63). Вып. 3. С. 417-430. https://doi.org/10.21638/11701 /spbu01.2018.306
Пусть Q = {to,ti,. ..,tN} и On = {X0,X1,...,XN-1}, где Xj = (tj + tj+i)/2, j =
0.1....,N — 1, — произвольные системы различных точек отрезка [— 1,1]. В данной работе для произвольной непрерывной на отрезке [— 1,1] функции f (x) построены дискретные суммы Фурье Sn,N (f,x) по системе многочленов {pk,N (х)}£=0", образующих ортонормированную систему на неравномерных системах точек QN, состоящих из конечного числа N точек отрезка [—1,1] с весом Atj = tj+1 — tj. Найден порядок роста для функции Лебега L„:N(х) рассматриваемых частных дискретных сумм Фурье Sn,N(f,x) при n = O(S-2/7), SN = maxo<j<N-1 Atj. А именно, получена двусторонняя поточечная оценка для Ln,N (х), которая зависит от n и положения точки х € [—1,1]. Ключевые слова: многочлен, ортогональная система, сетка, весовая оценка, асимптотическая формула, дискретные суммы Фурье, функция Лебега.
1. Введение. Пусть Q = {tj}j=0 — дискретное множество (сетка), состоящее из конечного числа различных точек отрезка [— 1,1] : —1 = t0 < t1 < ... < tN_1 < tN = 1. Рассмотрим также еще одну сетку QN = {x0, x\,..., xN_i}, состоящую из N точек Xj, где Xj = (tj + tj+1 )/2, j = 0,1,...,N — 1.
Через
Pk,N(x) = pk(x;Qn) (k = 0,1,...,N — 1) (1.1)
обозначим последовательность многочленов, образующих ортонормированную систему на сетке Qn в следующем смысле (0 < n,m < N — 1):
N _1
(Pn,N ,Pm,N) = Pn'N (xj )Pm,N (xj )Atj = Sum, (1.2)
j=0
где Atj = tj+i — tj ,j = 0,1,...,N — 1.
Далее, пусть Sn = maxo<j<N_i Atj, Ж2 —наименьшая константа в неравенстве типа В. А. Маркова для оценки производных алгебраических многочленов в метрике пространства L1[—1,1] (см. [1]):
i 1 j\ ,U(x) < ^ j\ n (x) |dx, _i _i © Санкт-Петербургский государственный университет, 2018
Pn(x) —ортонормированный многочлен Лежандра, C[—1, 1] —пространство непрерывных на отрезке [— 1,1] функций f(x) с нормой \\f|| = \\f||c[-i,i] = max_i<K<i \f (x)|, Pn —пространство алгебраических многочленов степени не выше n, En(f) = У f — ln ||C[_i i] — наилучшее приближение функции f алгебра-
ическими многочленами степени не выше n.
Далее, через Sn,N (f) = Sn,N(f,x) обозначим частную сумму n-го порядка ряда Фурье функции f(x) по системе {pk,N(x)}^-/, т.е.
n
Sn,N(f ) = ^2 fkPk,N(x), (1.3)
k=0
где fk =J2j=_o1 f (xj)pk,N (xj)Atj.
Как известно, задача об оценке отклонения частной суммы Sn¡N (f) ряда Фурье функции f е C[— 1,1] по системе {pk,N ( x)}N=o1 от самой функции f при x е [—1, 1] посредством неравенства Лебега
\ f (x) — Sn,N(f,x) \< (1 + Ln,N(x))En(f) (1.4)
сводится к оценке функции Лебега
N-i
Ln,N(x) =^2 \Kn,N(x,xj)\Atj, (1.5)
j=o
где Kn,N(x,xj) = J2n=0 pk,N(x)pk,N (xj).
Здесь и далее через c, c(a,b),c(a, в) обозначаются положительные постоянные, зависящие лишь от указанных параметров и, вообще говоря, разные в разных случаях.
В прикладных задачах, связанных с обработкой, сжатием и передачей дискретной информации, вопросы приближения функций, заданных на дискретных системах точек, часто решаются с помощью рядов Фурье по соответствующей системе ортонормированных на этих сетках многочленов. В свою очередь, как известно, решение этого вопроса сводится к оценке функции Лебега частных сумм Фурье по этим многочленам — они позволяют устанавливать достаточные условия равномерной сходимости рядов Фурье на всем промежутке ортогональности. Здесь следует отметить, что эти вопросы были предметом исследования в работах многих авторов, среди которых мы укажем лишь некоторые, посвященные изучению функции Лебега сумм Фурье—Якоби, сходимости рядов Фурье—Якоби и их дискретных аналогов.
Из рассуждений, содержащихся в [2, раздел 9.3], легко следует, что на отрезке [—1 + е, 1 — е], где е > 0, функция Лебега сумм Фурье—Якоби есть 0(ln n). Г. Рау установил [3], что в точках x = 1 и x = —1 функция Лебега имеет порядок соответственно na+1/2 и ne+1/2. Отсюда еще не вытекает, что наибольшее значение этой функции имеет порядок nx+1/2, где А = max {а, в}. Однако для многочленов Лежандра (т.е. при а = в = 0) Т. Гронуоллом было показано [4], что функция Лебега принимает наибольшее значение в концах отрезка ортогональности. Такое же утверждение справедливо и при целых и полуцелых равных друг другу а и в. Далее, в работе [6] при а, ¡3 > — ^ получен точный порядок роста функции Лебега сумм Фурье—Якоби, что уточняет более раннюю оценку тех же авторов [5]:
í na+1/2 „/+1/2 1
L"/(x) < cía, /3) ln in + 1) +------+------ \ ,
n KJ - к '{ к («VT^Pr+Vz +1 (плДТ^)^1/2 +1J
где x е [—1,1], n =1, 2,...
Впоследствии аналогичные исследования функции Лебега сумм Фурье—Якоби в зависимости от точек отрезка [—1,1], параметров а и в, да и для других ортогональных систем, проводились в работах многих авторов. В работе [7] И. И. Ша-рапудиновым исследован вопрос о сходимости частных сумм Фурье—Чебышёва (/) = (/, х) порядка п < N — 1 по многочленам Чебышёва {тп^(х)}^=Г01, образующим ортонормированную с весом ¡л^ (х) = 2/N систему на множестве П = { — 1 + 2j/(N — 1)}^=—01 к функции / е С[—1,1]. В частности, доказано, что при п = О^1/2) норма оператора Бп N = Бп N(/) в С[—1,1] имеет порядок II Бп,N ||= О(п1/2).
И по аналогии с этими работами мы также исследовали аппроксимативные свойства сумм Фурье по многочленам, ортогональным на произвольных дискретных системах точек отрезка [—1,1] [8, 9]. В частности, полученные нами в данной работе оценки функции Лебега дискретных сумм Фурье также учитывают величину номера п и положение точки х е [—1,1].
2. Вспомогательные утверждения. Здесь мы, в первую очередь, приведем ранее полученные нами результаты [10], которые необходимы нам для дальнейшего исследования.
Теорема 2.1. Пусть 0 < 6 < 1, 0 < а < ,1 < п <
Тогда имеет место асимптотическая формула
об
-1/2
N
-1 < х < 1.
Рп, N(х) = Рп (х) + Уп,N(х), для остаточного члена уп,N (х) которой справедлива оценка
(2.1)
I Уп^(х) I < с(о, b)6Nп5/2
л/1 - X2 + -
1/2
(2.2)
Теорема 2.2. Пусть 0 < 6 < 1, 0 < а < ,
существует постоянная с(о, Ь) > 0 такая, что
1 < п < о6-1/2. Тогда
1РпN(х) | < с(о, Ь) [6Nпъ/2 + 1
х2 +
-1/2
( —1 < х < 1). (2.3)
1
п
Далее, в качестве следствий вышеприведенных теорем, соответственно, отметим следующие утверждения.
Следствие 2.1. Пусть 0<Ь<1, 0<а< ,п = 0(6К2/Г), -1 < ж < 1.
Тогда имеет место асимптотическая формула
РпN (х) = Рп (х) + Уп^ (х), (2.4)
для остаточного члена (х) которой еправедлива оценка
I Уп^ (х) |= О(п-1/2). (2.5)
Следствие 2.2. Пусть 0 < 6 < 1, О < а < , п = 0(5М2/7). Тогда
имеют место следующие оценки:
\Рп,м(х)\<с(а,Ь)п1/2, -1 < х <-1 + он-2, 1 - сп-2 < х < 1, (2.6)
\Рп,м (х)\<с(а,Ь)(1 - х)-1/4, 0 < х < 1 - сп-2, (2.7)
\рп,м(х)\< с(а, Ь)(1 + х)-1/4, -1 + сп-2 < х < 0. (2.8)
В дальнейшем нам также понадобится следующее утверждение [11, §2, лемма 1].
Лемма 2.1. Пусть функция /(х) непрерывна и неотрицательна на промежутке [а1, Ь\] и {Ьэ}™=01 — сетка такая, что а1 < Ь0 <Ь1 < • • • < 1т-1 < Ь1. Пусть АЬ^ = - ¿э и [а2,Ь2] С [а1,Ь1]. Тогда: 1) если /(х) монотонно возрастает на [а2,Ь2], то
]Г /Ь)АЦ < ! /(х) вх + /Ь)А*, (2.9)
а2<*з <Ь2 а2
2) если /(х) монотонно убывает на [а2,Ь2], то
b2
"(x
a2
b2
]Г f (tj )Atj <J f (x) dx + f (a2)A*, (2.10)
a,2<tj <b2
где A* = rrmxj Atj.
3. Некоторые свойства многочленов Якоби. Здесь мы приведем некоторые сведения о многочленах Якоби и Лежандра [2, 12]. Определим многочлены Якоби Pn'ß(x) (n = 0, 1, 2, ...) с помощью формулы Родрига:
( — 1)п 1 dn
P^'ß(x) = ---Г-,:---{(1 -x)a(l+x)ß(l -Х2)п],
п У ' 2Пп\ (1 -ж)«(1 + x)ß dxnXK ' fl
где a, ß —произвольные действительные числа. Если а, ß > -1, многочлены Якоби образуют ортогональную систему с весом (1 — x)a(1 + x)ß, т.е.
1
j(1 — x)a (1 + x)ßP^'ß (x)P%ß (x) dx = h%ßSnm, -1
где hZ'ß = 1)^(1+"+Й1!). и' следовательно, h^'ß x vr1 (n = 1, 2, ... ).
Ниже нам понадобятся следующие свойства многочленов Якоби:
P}a'ß (x) = [haj }-1/2pa,ß (x);
-ß-k
\PZ'ß(x)\<c(a,ß)(^VT^+^j 2 ; (3.1)
\Pr?ß(x)\ <c(a,ß)(l-x)-*-* (0 < ж < 1 -en-2) ; (3.2)
\Pnß{x)\ < c(a,ß)na+i (1 - en-2 < x < 1) ; (3.3)
420 Вестник СПбГУ. Математика. Механика. Астрономия. 2018. Т. 5(63). Вып. 3
= - - (3.4)
п + 1 2(п + 1)
Как известно, одним из частных случаев многочленов Якоби при а = в = 0 являются многочлены Лежандра, ортогональные с единичным весом на сегменте [-1,1]:
1
2п + 1
^ Рп(х)Рт (х) $пт,
2 I - п ^ )± т
1
для которых, в частности, неравенство (3.1) имеет вид
1
IV5
рп(х) I <с[л/1-х2 + -) . (3.5)
4. Оценка функции Лебега сумм Фурье по многочленам рп,м(х). Справедливо следующее утверждение.
Теорема 4.1. Пусть / € С[-1,1], 0 < 6 < 1, 0 < а < ^ ,п = 0(6К2/Г).
Тогда справедливо неравенство (-1 < х < 1)
Ъп,м(х) < с(а, Ь) [1п(п + 1) + \рп,м(х) | + \рп+1,м(х) | ] .
Доказательство. По аналогии с работой [13] мы рассмотрим два случая: 1) 0 < х < 1 - 4п-2; 2) 1 - 4п-2 < х < 1. Чтобы оценить функцию (х) при 0 < х < 1 — 4п-2, представим сумму (1.5) по следующей схеме:
(х) <53 \кп,м(х,хз)\Д^- + Кп,м(х,хз)\Д^- +
-1<х, <-1/2 -1/2<х, <гг
+ Кп,м(х,хз)\Д^- + \Кщм(х,хз)\Дtj = и1 + и + из + и4, (4.1)
Т\<Хз <Т2 Т2<Хз <1
где т1=х- г2=ж+^
Чтобы оценить воспользуемся формулой Кристоффеля—Дарбу (п <
N - 2) :
Е» , , Рп+1,м(х)рп,м (хз) - Рп,м(х)рп+1,м (хз) , . рк,м{х)рк,м{хэ) = ---, (4.2)
0 кп+1,м х - хз
где кп<ы —старший коэффициент многочлена рп,м (х). Пользуясь аналогичными рассуждениями [14, § 3, раздел 1.3.6, с. 36] и [10, лемма 3.4] нетрудно показать справедливость неравенства
1 . кгч1у
4(1 + с5% п ) кп+1,ы
< < 1. (4.3)
2
X
Далее, в силу (4.2), (4.3), (2.6), (2.8) и (2.10) при п = 0(3-2/7) находим и < ^3 \КпN(х,хз)\Д, + ^3 \КпN(х,хз)\Д, <
-1<х6 <-1+4п-2 -1+4п-2<х3- <-1/2
< с(а,Ь) [\рп+1^(х)\ + \рп,м(х)\] х
(п+1)1/2 Е Дз + Е (1+х, )-1/4ДЗ
-1<х6 <-1+4п-2 -1+4п-2 <х6 <-1/2
-1/2
1
<
< с(а, Ь) [\рп,м (х) \ + \рп+1,м(х)
п
<
+ | (1 + £)-1/4^ + ^ п1/2
-1+4п-2
< с(а, Ь) [ \рп,м(х) \ + \рЗп+1,№(х) \ ] . (4.4)
Теперь оценим и2. В силу (4.2), (4.3) и (2.1) получаем
и2 < Е
-1/2<х^ <т1
рп+1,М (х)рп,М (х, ) - рп,М (х)рп+1,М (х, )
Д, <
<
-1/2<х, <т1
Рп+1( х)Рп (х, ) -Рп(х)Рп+1 (х, )
+
-1/2<х6 <т1
+ Е
-1/2<х6 <т1
+Е
-1/2<х6 <т1
Рп+1(х)ип,№ (х, )
Дь + Е
-1/2<х, <т1
Ди+
Рп (х, )ип+1,М (х)
ип+1,№ (х)ип,м (х,)
Д, + Е
-1/2<х6 <т1
Рп(х)ип+1,М (х,
Дъ + Е
-1/2<х, <т1
г,м(х)Уп+1,м(х^
Дtj + Дtj +
Д,
и21 + и22 + и23 + и24 + и25 + + и27. (4.5)
Займемся [/21. С учетом равенства Рп(х) = Рп(х), тождеств (3.4) при
а = в = 0 и (3.5) находим
и21 < 1
— <Т1
(1 -хй)Р^{хй)Рп{х) - (1 -х)Р^{х)Рп{хй)
Д, <
с
рп(х) ]г а-х)р^(х) (1
^^^ /у» _ гу* ^ ^^^ /у» _ /у» . ^
Оценим и^1. В силу неравенства
— <Т1
+ и22). (4.6)
(1 - х, )1/4 < (1 -.
хг + (х — х,
X
У
и (2.9) получаем
< с
Рп(х)
АЬэ
а-*)1/4 Е Е
А^
<
с
-1/2
х - С
+ бм Н +
Рп(х)
вс
-1/2
(х - с)3/4
+ п3/2
<
с
1п
+ (х +1/2)1/4 Рп (х)
Отсюда в силу следствия 2.1 мы имеем
иЦ < с [1п(п + 1) + \рп N (х) \] .
(4.7)
Далее, так как для — 1/2<х^ < х — х справедливо неравенство
(3/2Г1/4 < (1 - х,)-1/4 < - х + ^ < (1 - х + 2П-2)-1/4,
получаем
и22 < с Е
— Ь <Ху <Т\
АЬэ
с
1/2
х - С
+ бм п
Сопоставляя (4.6)—(4.8), находим
и21 < с [1п(п + 1) + \Рп,м(х)\]. В силу (2.2), (2.9), (3.5) при п = 0(6-2/7) получаем
< с 1п(п +1). (4.8)
(4.9)
и2г < с(а, Ь)6мп*(1 -х) 4 ^
(1 _ хз) 4
АЬэ < с(а, Ь)6мп3х
Е
АЬэ
{х~хз)4
— ¿<Жо<Т1
< с(а, Ь)бмп3
вс
1/2
(х - С)5/4
+ бм п5/2
<
< с(а,Ь)Зм п7/2 < с(а,Ь) (г = 2, 3, 5, 6), (4.10)
и2э < с(а,Ь)п-1 (у =4, 7). Сопоставляя (4.5), (4.9)-(4.11), находим
и2 < с(а, Ь) [1п(п + 1) + \рп,м(х)\] .
2/7
Теперь оценим из. В силу (2.7) при п = 0(бм 2 ) имеем
(4.11)
(4.12)
п
э
х
из <^2 \р км (х)\ ^ \р км (хэ) \ АЬэ <
к=0 т\ <хз <Т2
< с(а,Ъ)^2\рКN(х)| Е {1~хз) <
Т\<Ху <Т2
к=0
< с(а,Ь)^У\\ркг]ч(х)\—^—< с(а,Ь)---г < с(а,Ь). (4.13)
1-
п \ 1 — х
Перейдем к оценке и4. В силу (2.1), (4.2) и (4.3) мы находим
и4 < Е
Т2<Хз <1
рп+1,м (х)рп,м (хэ ) - рп,м (х)рп+1,м х )
АЬэ <
<
Т2<Хз <1
Рп+1( х)Рп (хэ) - Рп (х) Рп+1 (хэ)
АЬэ+
+
Т2<Хз <1
+ Е
Т2<Хз <1
+ Е
Т2<Хз <1
Рп+1(х)уп^(хз)
Аь + Е
Т2<ХХз <1
Рп{х])Уп+1,м{х)
ип+1,м (х)ип,м (хэ
+ Е
Т2<Хз <1
Рп(х)ип+1,м х
Рп+1(Х])Уп^(х)
АЬ + Е
Т2<ХХз <1
Уп,м(х)уп+1, лКжз)
Аьэ+ Аьэ+ АЬэ =
= и41 + и42 + и43 + и44 + и45 + и46 + и47 ■ (4.14)
Рассмотрим и42. Воспользовавшись (2.2) и (3.3), представим и42 в виде
[/42 < с(а, Ь)(5дгп5/2(1 - хГ1/4 V (1 1/4А1,+
^^^ х ._х
т2<ж3-<^ 3
+ с(а,Ь)6Кп5/2( 1-х)-1'4 V (1 АЦ +
хэ х
п1/2
+ с(а,Ь)6мп5/2( 1-х)-1/4 Е =иЦ] + + (4.15)
1-п-2 <Хз <1 хэ х
Если т2 < Xj < ^г, то 1 — а> а— х. Следовательно, можем записать
и41 < с(а,Ь)5мп3 Е
АЬэ
1 + Х
{хэ~хУ<
с(а,Ь)6м п3
АЬэ
+Л4- (4-16)
э
э
э
э
э
э
э
Далее, поскольку для рассматриваемых х^ будет выполняться х 1_х < и
5N = тахо«^-1 Дг,, получаем
ух, - х ) \Т2 - х )
Отсюда и из (4.16) в силу (2.10) при п = 0(5-2/7) находим
и41 < с(а, Ь)5Мп3 53
Дг,
1+ (хд + 1 - х)5/4
<
< с(а, Ь)5Nп3
¿т
(т - х)5/4
+ 5М п5/2
< с(а, Ь)5Nп7/2 < с(а, Ь). (4.17)
Если же ■Чр < х^, то 1 — х^ < х^ — х. Тогда для в силу (2.10) имеем
и42 < с(а, Ь)5Nп3 53
Дг,
< с(а, Ь)5Nп3
<
1 -п
1 + х 2
(1-е)-
+ ¿ДТП2
< с(а,Ь). (4.18)
Далее, для и43) имеет место оценка
< с(а, Ъ)5мпт 53
А^- < с{а,Ъ)5мп^ 53 — с(а
(4.19)
1 — п 2 <хз <1 х 1-п-2<хз <1
Сопоставляя (4.15)-(4.19), получаем
и42 < с(а,Ь). (4.20)
Аналогично доказываются и следующие оценки:
и4 < с(а, Ь) (I = 3, 5, 6), (4.21)
и, < с(а, Ь)п-1 (] =4, 7). (4.22)
Оценим и41. Аналогично тому, как была получена оценка и21, находим
и41 <
2п+ 1 х -
2 ^
Т2<хз <1
(1 - х, ) Р^х ) Рп(х) - (1 - х) РпХ'0(х) Рп(х, )
дг, <
< с(1 - х)"
Е
Т2<хз < 1-п
(1 — Жо)4 . 1
Е
Дг,
1-п-2<хз <1
+
2
2
1
4
1
+ с(1 - х) 1
Е
(1-я,-)-*
Т2 <хз <1-п
-2 О
+ (1 - х)
< с {(1 - х)-1/4 ]Г
Т2<хз < 1-п
(1 - х,)-1/4
Дг, + п1/2 ]Г
1-п-
(1 - х, )1/4
Дг,
1 — п 2 <х з <1 х° х
<
Дг, +
-2 °
1/4
Е
Т2 <хз <1-п
-2 3
Дг, + Е
Дг,
+
1 — п 2 <х з <1 х
+п
1/2
Е
Дг,
1 — п 2 <хз <1 ^ х
и41) + и42) + и43) + и44), (4.23)
где
и4(4) < cn5/25N < сп-1;
и43) < с
1 п- 2
С - х
+ 5N п
< с 1п(п + 1);
и42) < с
< с V (1 А^о < с^п2 < сп-3/2.
^^^ л» . _ л»
(4.24)
(4.25)
(4.26)
Т2 <хз <1-п
-2 1
Далее, в силу неравенства (1 - х,)1/4 < (1 - х)1/4 + (х, - х)1/4 и (2.10) получаем
и41) < с
Е
Дг,
+ (1 - х)
1/4
Е
Дг,
Т2 <хз <1-п
2 (х3 - х)3/4
<
с
1 -п-
/ 7^ + <5дГп2 + (1-Х)-1/4п13/8(5лг
} С - х
< с 1п(п + 1).
Отсюда и из (4.23)-(4.26) находим
и41 < с 1п(п +1). (4.27)
Сопоставляя (4.14), (4.20), (4.21), (4.22) и (4.27), мы выводим
и4 < с(а,Ь)1п(п +1). (4.28)
Собираем оценки (4.4), (4.12), (4.13), (4.28) и, сопоставляя их с (4.1), находим
Ьп^(х) < с(а, Ь) [1п(п + 1) + \рпN(х)\ + \рп+1N(х)\] , (4.29)
где 0 < х < 1 - 4п-2, п = 0(5-2/7).
Перейдем к случаю, когда 1 - 4п-2 < х < 1. Чтобы оценить ЬпN(х) при 1 -4п-2 < х < 1, разобьем сумму в правой части равенства (1.5) по следующей схеме:
1
Т2<хз <1-п 2
2
Ьи^(х) < 53 \кп,м(х,х^)\Д^ + 53 (х,х^+
— 1 <х ^ <-1/2 — 1/2<х,< 1—и 2
+ 53 \Ku.N (х,х^ )\Д4д = V + У> + Уэ. (4.30)
1—и-2<х, <1
Суммы У1 и У2 оцениваются совершенно аналогично тому, как это было сделано
_2/7
для ^2, и Пэ. В частности, при п = 0(3М / ) имеем
У1 < с(а, Ь) [\ри,м(х)\ + \ри+1,м(х)\], (4.31)
У2 < с(а, Ь) [1п(п + 1) + \ри,и(х)\] . (4.32)
Что касается Уэ, то, воспользовавшись оценкой (2.3), имеем
^ = Е
1-n-2<Xj <1
53 Pk,N (x)pk,N (Xj )
k=0
Atj < c(a, b) 53
1-n-2<Xj <1
k=0
Atj <
< c(a,b)n2 53 Atj < c(a, b). (4.33)
Из (4.30)-(4.33) получаем Ln,N(x) < c(a, b) [ln(n + 1) + \pn,N(x)| + \pn+i,N(x)|] (1 - 4n—2 < x < 1). (4.34)
Сопоставляя (4.29) и (4.34), убеждаемся в справедливости теоремы в случае, когда 0 < x < 1. Далее, посредством аналогичных рассуждений такую же оценку можно получить и для случая, когда —1 < x < 0.
Теперь остается рассмотреть вопрос о точности полученной оценки для Ln¡N(x). Для доказательства воспользуемся аналогичными рассуждениями [15]. Прежде всего, очевидно неравенство
Ln,N(x) > Sn,N(1; x) = 1. (4.35)
Далее, если Tn(x) = cos(narccosx) = 2n-1xn + ..., то (n + 2 < N — 1)
\Sn-1,N(Tn+2; x)\ =
N-1
Sn+2,N (Tn+2; x) ^53 Tn+2 (xj )pn+2,N (xj )pn+2,N (x)Atj —
j=0
N-1 N-1
— ^53 Tn+2 (xj )pn+1,N (xj )pn+1,N (x)Atj — 53 Tn+2 (xj )pn,N (xj )pn,N (x)Atj
j=0 j=0
(4.36)
Так как \Sn+2,N(Tn+2; x)\ = \Tn+2(x)\ <1 и выполняется (i = n,n + 1)
N1
N1
1/2,
N1
1/2
53 \Tn+2 (xj )pi,N (xj )\ Atj < (53 Tn+2 (xj )Atj ) I E pi,N (xj )Atj I < 1
j=0 j=0 j=0
1—n 2 <Xj <1
в силу неравенства Коши—Буняковского, то из (4.36) следует соотношение
Ln,N (x) > 2n+1kn+2,N \pn+2,N (x)\ - \pn+1,N (x)\ - \pn,N (x)
- 1.
(4.37)
Кроме того, в частности, нетрудно доказать справедливость неравенства
U2i =
Pn(x) е
(1 -
Atj +
<Ti
> с E
(1 -x)P^(x) E (1 gj)"1/4A*j>
xx
>c(i _öJi) [ln(n+l)-ln2], (4.38) 1 x - xj \ 2 J
77<Xj<Tl
Далее, воспользовавшись следствием 2.2 и заметив, что относительно меры, рассматриваемой в данной работе, старший коэффициент многочлена (1.1) имеет порядок 2п, с учетом (4.35), (4.38) найдется такая константа с > 0, что при всех х € [-1,1] из (4.37) в результате мы получаем неравенство
Ьп,м(х) > с [1п(п + 1) + \рп,м(х)\ + \рп+1,м(х)\],
из которого и следует неулучшаемость по порядку полученной оценки функции Лебега. Теорема 4.1 доказана.
Кроме того, отметим, что из (2.3) при условии п = 0(5-2/7) для рп,м(х) допустима оценка
1
77,2
\Рп,и{х)\ < с(а, Ъ)
(па/ 1 — X2) 2+1
Ясно, что такая же оценка справедлива и для рп+1,м(х). Отсюда и из теоремы 4.1 непосредственно вытекает следующее утверждение.
Теорема 4.2. Пусть / € С[-1,1],0 < Ъ < 1,0 < а < ,п = 0(6К2/Г).
Тогда справедлива оценка
Ln,N(x) < с(а, Ьм ln(n + 1) +
(пл/1 — х2) 2+1
(-1 < x < 1).
n 2
Литература
1. Даугавет И. К., Рафальсон C. З. О некоторых неравенствах для алгебраических многочленов // Вестник Ленингр. ун-та. 1974. №19. С. 18-24.
2. Сеге Г. Ортогональные многочлены. М.: Физматгиз, 1962. 500 с.
3. Rau H. Uber die Lebesgueschen Konstanten der Reihentwicklungen nach Jacobischen // Polynomen. Journ. fur Math. 1929. N 161. C. 237-254.
4. Gronwall T. Uber die Laplacische Reihe // Math. Ann. 1913. N74. S. 213-270.
5. Агаханов C.A., Натансон Г. И. Приближение функций суммами Фурье—Якоби // ДАН СССР. 1966. T. 166, №1. C. 9-10.
6. Агаханов C. A., Натансон Г. И. Функция Лебега сумм Фурье—Якоби // Вестник Ленингр. ун-та. 1968. T. 1. C. 11-23.
7. Шарапудинов И. И. О сходимости метода наименьших квадратов // Матем. заметки. 1993. T. 53, №3. C. 131-143.
8. Нурмагомедов A.A. Многочлены, ортогональные на неравномерных сетках // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2011. Т. 11. Вып. 3, ч. 2. C. 29-42.
9. Нурмагомедов A.A. Сходимость сумм Фурье по многочленам, ортогональным на произвольных сетках // Изв. вузов. Математика. 2012. №7. C. 60—62.
10. Нурмагомедов A.A. Об асимптотике многочленов, ортогональных на произвольных сетках // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2008. Т. 8. Вып. 1. C. 25-31.
11. Коркмасов Ф.М. Аппроксимативные свойства средних Валле—Пуссена для дискретных сумм Фурье—Якоби // Сиб. мат. журн. 2004. Т. 45, №2. C. 334-355.
12. Шарапудинов И. И. Смешанные ряды по ортогональным полиномам. Теория и приложения. Махачкала: ДНЦ РАН, 2004. 276 с.
13. Шарапудинов И. И. Об ограниченности в C[-1, 1] средних Валле—Пуссена для дискретных сумм Фурье—Чебышёва // Матем. сб. 1996. T. 187, №1. C. 143-160.
14. Алексич Г. Проблемы сходимости ортогональных рядов. М.: Изд-во иностр. лит., 1963. 369 с.
15. Бадков В. М. Двусторонние оценки функции Лебега и остатка ряда Фурье по ортогональным многочленам // Сб. Аппроксимация в конкретных и абстрактных банаховых пространствах. АН СССР, Уральск. научн. центр. 1987. C. 31-45.
Статья поступила в редакцию 13 декабря 2017 г.; рекомендована в печать 22 марта 2018 г.
Контактная информация:
Нурмагомедов Алим Алаутдинович — доц., канд. физ.-мат. наук; alimn@mail.ru Расулов Набиюллах Курбангаджиевич —доц., канд. физ.-мат. наук
Double-sided to Lebesgue function of Fourier sums by polynomials orthogonal on non-uniform grids
A. A. Nurmagomedov, N. K. Rasulov
M. M. Dzhambulatov Dagestan State Agrarian University,
ul. M. Gadzhieva, 180, Makhachkala, 367032, Russian Federation
For citation: Nurmagomedov A. A., Rasulov N. K. Double-sided to Lebesgue function of Fourier sums by polynomials orthogonal on non-uniform grids. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2018, vol. 5(63), issue 3, pp. 417-430. https://doi.org/10.21638/11701/spbu01.2018.306
Let О = {t0,t1,.. .,tN} and 0N = [xo,xi,...,xN-i}, where Xj = (tj + tj+1)/2, j =
0.1.....N — 1 are any systems of different points from [-1,1]. For arbitrary continuous function f (x) on the segment [— 1,1] discrete Fourier sums is constructed by a system of polynomials {pk,N(x)};}^—Q1 forming an orthonormal system on non-uniform system of points 0N consisting of a finite number of N points from segment [—1,1] with weight Atj = tj+1 — tj. We have found an order for Lebesgue function L„:N(x) of the growing discrete Fourier sums Sn>N(f,x) for n = Û(S-2/7),Sn = maxo<j<N-1 Atj. Namely, a double-sided pointwise estimate for Lebesgue function L„:N(x) with is depended from n and position of a point x on the [—1,1] is obtained.
Keywords: polynomial, orthogonal system, set, asymptotic formula, discrete Fourier sums, Lebesgue function.
References
1. Daugavet I.K., Rafalson S.Z., "About of some inequalities for algebraic polynomial", Vestn. Leningr. Univ., issue 19, 18—24 (1974).
2. Szego G., Orthogonal Polynomials (Amer. Math. Soc., 1939; Fizmatgiz, Moscow, 1962).
3. Rau H., "Uber die Lebesgueschen Konstanten der Reihenentwicklungen nach Jacobischen Polynomen", J. fur Math. 161, 237-254 (1929).
4. Gronwall T., "Uber die Laplacesche Reihe", Math. Ann. 74(2), 213-270 (1913).
5. Agakhanov S.A., Natanson G.I., "Approximation of Functions by Fourier—Jacobi Sums", Sov. Phys. Dokl. 166(1), 9-10 (1966).
6. Agakhanov S.A., Natanson G.I., "The Lebesgue Function for Fourier—Jacobi Sums", Vestn. Leningr. Univ., issue 1, 11-13 (1968).
7. Sharapudinov 1.1., "Convergence of the Least Squares Method", Matem. Zametki 53(3), 131-143 (1993) [in Russian].
8. Nurmagomedov A.A., "Polynomials, Orthogonal on Non-Uniform Grids", Izv. Saratovsk. Univ. Nov. Ser. Matem., Mekhan., Informatika 11(3(2)), 29-42 (2011) [in Russian].
9. Nurmagomedov A. A., "Convergence of Fourier Sums in Polynomials Orthogonal on Arbitrary Grids", Iz. VUZ. Matem. 7, 60-62 (2012) [in Russian].
10. Nurmagomedov A.A., "Asymptotic Properties of Polynomials which are Orthogonal on Arbitrary Grids", Izv. Saratovsk. Univ. Nov. Ser. Matem., Mekhan., Informatika 8(1), 25-31 (2008) [in Russian].
11. Korkmasov F. M., "Approximate Properties of the de la Vallee e-Poussin Means for the Discrete Fourier—Jacobi Sums", Sib. Matem. Zhurn. 45(2), 334-355 (2004) [in Russian].
12. Sharapudinov 1.1., Mixed Series by Orthogonal Polynomials (Daghestan Scientific Centre of Russian Academy of Sciences, Makhachkala, 2004) [in Russian].
13. Sharapudinov 1.1., "Boundednes in C[ — 1,1] of the de la Vallee e-Poussin Means for the discrete Fourier—Jacobi sums", Matem. Sbor. 187(1), 143-160 (1996) [in Russian].
14. Alexits G., Konvergenz probleme der Orthogonalreihen (Veb Deutscher Verlag der Wissenschaften, 1960; Inostr. Lit. Publ., Moscow, 1963).
15. Badkov V.M., "Two-Sided Estimations for the Lebesgue Function and the Remainder of the Fourier Series with Respect to Orthogonal Polynomials". In: Approximation in Concrete and Abstract Banach Spaces, 31-45 (Akad. Nauk SSSR, Ural'sk. Nauchn. Tsentr, Sverdlovsk, 1987) [in Russian].
Author's information:
Alim A. Nurmagomedov —alimn@mail.ru
Nabiyullah K. Rasulov
