Научная статья на тему 'МЕТОДЫ ПОЛИНОМИЗАЦИИ ФУНКЦИЙ И ИХ ПРИЛОЖЕНИЯ'

МЕТОДЫ ПОЛИНОМИЗАЦИИ ФУНКЦИЙ И ИХ ПРИЛОЖЕНИЯ Текст научной статьи по специальности «Математика»

CC BY
76
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КВАЗИВЫПУКЛЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ / РЯДЫ ФУРЬЕ-ЧЕБЫШЕВА / СУММИРУЕМОСТЬ ПОЛУНЕПРЕРЫВНЫМИ МЕТОДАМИ / QUASICONVEX SEQUENCES / FOURIER - CHEBYSHEV SERIES / SUMMABILITY BY SEMICONTINUOUS METHODS

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

Изучается класс полунепрерывных квазивыпуклых методов суммирования рядов Фурье-Чебышева. Получены верхние оценки норм соответствующих операторов в пространстве непрерывных функций. Установлена сходимость средних в метрике пространства. Рассмотрена также суммируемость в точках разрыва первого рода. Предложены процессы восстановления функций по заданной последовательности степенных моментов. Указаны пути обобщения результатов и их распространения на случай суммируемости в точках Лебега.

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

FUNCTION POLYNOMIZATION METHODS AND THEIR APPLICATIONS

A class of semicontinuous quasiconvex methods of summation of Fourier - Chebyshev series is studied. Upper bounds are obtained for the norms of the corresponding operators in the space of continuous functions. The convergence of means in the metric of space is established. The summability at break points of the first kind is also considered. Processes for restoring functions from a given sequence of power moments are proposed. Ways of generalizing the results and extending them to the case of summability at Lebesgue points are indicated.

Текст научной работы на тему «МЕТОДЫ ПОЛИНОМИЗАЦИИ ФУНКЦИЙ И ИХ ПРИЛОЖЕНИЯ»

Математика. Физика

УДК 517.518

Б01: 10.17277/уе81тк.2020.03.рр.437-449

МЕТОДЫ ПОЛИНОМИЗАЦИИ ФУНКЦИЙ И ИХ ПРИЛОЖЕНИЯ

А. Д. Нахман

Кафедра «Высшая математика», [email protected];

ФГБОУВО «ТГТУ», г. Тамбов, Россия

Ключевые слова: квазивыпуклые последовательности; ряды Фурье-Чебышева; суммируемость полунепрерывными методами.

Аннотация: Изучается класс полунепрерывных квазивыпуклых методов суммирования рядов Фурье-Чебышева. Получены верхние оценки норм соответствующих операторов в пространстве непрерывных функций. Установлена сходимость средних в метрике пространства. Рассмотрена также суммируемость в точках разрыва первого рода. Предложены процессы восстановления функций по заданной последовательности степенных моментов. Указаны пути обобщения результатов и их распространения на случай суммируемости в точках Лебега.

Введение

Вопросы представления функций действительного переменного бесконечными полиномами представляют значительный интерес как сами по себе, так и в связи с многочисленными приложениями [1]. Если ограничиться рассмотрением функций, непрерывных на некотором отрезке, то средством для таких разложений служат классические ортогональные полиномы [2]. В качестве наиболее простого «опосредованного» инструмента разложений могут быть использованы тригонометрические полиномы, которые простой заменой переменных трансформируются затем в суммы по системе многочленов Чебышева. Однако, в связи с известными примерами расходящихся тригонометрических рядов Фурье, здесь нельзя ограничиваться рассмотрением частичных сумм таких рядов. Поэтому на первый план выходит изучение методов суммирования. Многочисленные исследования в этом направлении (см. обзор [3] и библиографию в нем), по сути, сводились к расширению классов суммирующих последовательностей. Как показано в [4], задача «полиномизации» (то есть представления функции бесконечным полиномом) может быть решена, в частности, в терминах обобщенных сумм Фурье по ортогональным полиномам. В настоящей работе мы ограничиваемся разложениями по полиномам Чебышева первого рода. Изучается случай функций /(х), сум-

2 —1/2

мируемых на отрезке [—1,1] с весом р(х) = (1 — х ) (в частности, непрерывных на этом отрезке). Мы также показываем, как можно восстановить такую функцию, имея в наличии последовательность ее степенных моментов; соответствующая идея вытекает из результатов, полученных Б. П. Осиленкером (см., напр., [5]).

Настоящие результаты основаны на «тригонометрическом» подходе, и все необходимые оценки проводятся непосредственно (см. [4; 6, с. 489]). Кроме того, простейшее условие квазивыпуклости суммирующей последовательности используется лишь в целях краткости изложения, однако справедливы более общие результаты, анонсированные в разделе 7 настоящей работы

1. Постановка задачи о суммируемости рядов Фурье-Чебышева

Рассмотрим систему функций

-j=; .J^cos^arccosx)\, n = 1,2,... (1.1)

Нетрудно проверить, что данная система ортонормированна с весом

2 —1/2

р(x) = (1 — x ) на отрезке [—1,1]. Согласно представлению

n—1

cosпт = 2n—1cosnт+^Рк coskт, n = 1,2,..., (1.2)

k=0

в котором (Pk}- последовательность некоторых коэффициентов, можно утверждать, что при каждом n

2

pn (x) = J—cos(n arccos x) V П

есть многочлен n -й степени. Последовательность (1.1) называется системой многочленов Чебышева первого рода [7, с. 40]. Как мы покажем ниже, (1.1) является средством полиномиальной аппроксимации функций в каждой точке непрерывности и равномерной полиномиальной аппроксимации в пространстве непрерывных функций.

Уточним постановку задачи. Рассмотрим произвольную функцию f = f (x),

2 —1 / 2

суммируемую на [—1,1] с весом р(x) = (1 — x ) , последовательность ее коэффициентов Фурье-Чебышева

1

an(f) = J f (x)Pn(x)p(x)dx, n = 0,1,..., —1

и ее ряд Фурье-Чебышева

f (x)~ X an (f)Pn (x). (1.3)

n=0

С помощью замены переменных y = arccos x ряд (1.3) преобразуется в ряд Фурье по косинусам

1 2 f (cos y) — Г f (cos t)dt +V — Г f (cos t )cos nt dt nJ . nJ

0 n=lV 0

П ^

cos

cos ny. (1.4)

Как известно, тригонометрический ряд Фурье может оказаться расходящимся в точке непрерывности функции / [8, т. 1, с. 470 - 476], в силу чего следует ставить вопрос о суммируемости ряда некоторыми методами. Соответственно, задача о суммируемости переносится на ряды Фурье-Чебышева. Рассмотрим бесконечную (вообще говоря) последовательность

Л = (Xk(h), h > 0, k = 0,1,...; X0(h) = 1} (1.5)

и построим семейство Л -средних ряда (1.4)

Uh(f) = U(f,Г; Л,h) = k(h)ak(f)pk(x). (1.6)

k=0

Если обратиться к представлению (1.4), то семейство (1.6) принимает вид

Uh (f) = U (f ,cos у; Л, h) =

1 п да 1 п

= - f f (cos t)dt +Vxk (h)- f f (cos t)(cos k(у +1) + cos k(у _1))dt = пJ fH nJ

k=1

n

или

1 i

= — ff(cost)dt +Yxk(h)- ff(cost)cosk(y - t)dt = 2n J r=- n J

-n k=- -n

1 П да - П

= 2П f f (cos(y + t))dt +Z Xk (h)П jf (cos(y +1)) cosktdt =

-П k = - -П

1 П il W

= lim - f f(cos(y +1))\- + YXk(h)coskt\dt (-.7)

Uh (f) = U (f ,cos y; Л, h) =

1П il w lim 1 Г(Г (cos(y +1)) + f(cos(y -t)))) + Yx к (h)cos kt [dt. (1.8)

^+да ПJ 12 f-r

' 0 r k=1

Таким образом, Л -средние (1.6) ряда Фурье-Чебышева могут быть представлены в тригонометрической форме (1.7) - (1.8), где у = arccos x .

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

Рассмотрим ядра Дирихле и Фейера [8, с. 86, 148], соответственно:

1 k sin(k + 2)t

Dk (t) = 2 + X cos v t = 2

2 ,

v=1 2sm-1

2

2 k +1

1 k sin -1

Fk (t) =-£ ßv (0 =-^-p F-1 (t) = 0.

k +1 v=0 2(k +1) sin2 21

Легко проверить, что при всех k = 0,1,...

Dk (t) = (k +1) Fk (t) - kFk _1(t).

Положим AXk(h) = Xk(h)_Xk+1(h), и A2Xk(h) = A(AXk(h)), k = 0,1,.... В результате двукратного применения преобразования Абеля последовательно получаем

1 N 1 N

1 + ^X k (h) cos kt = 2 + X Xk (h)(( (t) _ Dk _1 (t)) dt =

2 k=1 2 k=1

N-1

= X N (h) Dn (t) + к (h) Dk (t )dt = X N (h) Dn (t) +

к=0

N-1

+ AX n (h)( N +1) Fn (t) + VA2X к (h)(k + 1)Fk (t). (2.1)

к=0

Значит (см. (1.7)),

1 Г "

" " VN (h)l I I j (cos(y +1 ))l DN (

U(f)|=|U(f,cosy;^h)|<- lim I|Xn(h)| Г|f(cos(y + t))D(t)|dt +

П N^-+да I J

L -n

+1 AXn (h) | (N +1) || f (cos(y +1)) | Fn (t)dtJ +

1 да n

+ — V | A2Xk (h)|(k +1) Г| f (cos(y +1))| Fk (t)dt. (2.2)

3. Оценки С-норм семейства средних

Обозначим через C[—1,1] класс функций f = f (x), непрерывных на [—1,1]. Положим

Lh (x) = sup | U(f, x; Л, h) |. !f!<1

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

Согласно (1.7) имеет место оценка Lh (x) < Lh, где

N

_____ +

N ^+даЛ 2

11

Zh = lim — Г |- +Vxk (h) cos kt) | dt. (3.1)

k=1

Как известно [6, с. 486], в случае дискретного h (например,

h = ——, п = 0,1,...) и «финитных» методов суммирования

n +1

A = {x^k, k = 0,1,...; n = 0,1,...; Xq = 1; xn = 0, k = n +1, n + 2,...} (3.2) семейство Lh превращается в последовательность констант Лебега

1 П 1 n

I „ = - J 12 + ХХщ cos kt) | dt.

1 n

TT J 1

k=1

Для любой f e C[_i 1] в случае (3.2) необходимыми и достаточными условиями сходимости последовательности средних к f (x) (при п ^ да) в каждой точке х или равномерно по х являются (см. [6, с. 485]) следующие два условия:

а) равномерная ограниченность In ;

б) сходимость (1.6) к f (x) для каждой функции f (x) из некоторой замкнутой в пространстве C[_i 1] системы. Последнее условие равносильно равенству

lim Xnk = 1, k = 0,1,....

п^да

Наш полунепрерывный случай осложняется необходимостью (в общем случае) обоснований предельных переходов под знаком интеграла, поэтому сходимость (1.6) при h ^+0 мы установим непосредственно, обобщив рассуждения [8, т. 1, с. 145-146], в частности, получим верхнюю оценку аналога констант Лебега (3.1). Положим

да

S(X) = sup XlA2Xk (h)|(k +1).

h>0 k=0

Последовательность (1.5) называется квазивыпуклой, если выполнено условие

S(X) < да. (3.3)

Теорема 3.1. Пусть суммирующая последовательность (1.5) удовлетворяет условиям квазивыпуклости (3.3) и

Xk(h) = о(-Ц, k ^да (h > 0). (3.4)

ln k

Тогда оценка

Lh < 1 + 2S(X) (3.5)

выполняется равномерно по h .

Доказательство. Согласно (2.1) получаем

Lh < 1 lim \|A N (h)| f pN (t)| dt+ | ДА n (h) | (N +1) f FN (t)dt 1 + П N^+да I J

i -n -n J

1 да П

+ Д2Аk(h) | (k +1) f Fk(t)dt. (3.6)

nr~L J

Как известно [8, т. 1, с. 115, 148],

п п

J | Dn (t)|dt < constln(N + 2), J Fk (t)dt = п ; N, k = 0,1,...

-п -п

Тогда, в силу (3.4), оценка (3.6) приобретает вид

да

Lh < lim |ДАn(h) | (N +1) + k(h) | (k +1). (3.7)

^+да k=0

Далее, с помощью преобразования Абеля, будем иметь

N

^ (k + 1)Д2Аk (h) = Xo(h) - XN+1(h) - (N +1)ДА,N+1(h), N = 0,1,...,

k=o

откуда, с учетом (3.4) и Ao(h) = 1, получим

lim | ДАN(h) | (N +1) < 1 + Е(А). (3.8)

N ^+да

Теперь оценка (3.5) вытекает из (3.7) и (3.8). Теорема доказана.

4. Суммируемость в точках разрыва первого рода и равномерная суммируемость

Пусть Хо - точка непрерывности или разрыва первого рода. Положим

г/(х + 0) + / (х - 0)

0(x) =

2

f (x + 0), x = -1; f (x - 0), x = 1.

x e (-1,1);

Если y = arccos x, то очевидно, что

6(cosy) = f (cos(y - 0)) + f (cos(y + 0)), y e [0, n].

Теорема 4.1. Пусть функция f (x) суммируема на отрезке [-1,1] с весом

2 -1/2

p(x) = (1 -x ) , и для последовательности (1.5) выполнены условия (3.3), (3.4), а также

lim Xk (h) = 1, k = 0,1,... (4.1)

h^+0

Тогда во всякой точке Х0 , в которой существует 6(Х0), имеет место соотношение

lim U(f, x0; Л, h) =0(x0). (4.2)

h^+0

В частности, равенство

lim U(f, x0;Л,h) = f (x0) h^+0

выполняется в каждой точке непрерывности функции f. Кроме того, для всякой f e C[-1 1] соотношение

lim U(f, x;Л,h) = f (x) (4.3)

h^+0

имеет место равномерно на [-1,1]. Доказательство. Заметим, что

1 " Г1 N )

0(х0) = lim - Г20(х0)^- + VXk(h)coskt)}dt,

nJ L2 k=1 J

поэтому

U (f, x0; Л, h) - 0( xa) =

1 " Г1 N )

= lim - [{/(cos(y0 +1)) + f (cos(y0 -1))-20(xo)}- + £Xk(h)coskt)\dt. (4.4)

NL2 k=1 J

Изменяя, если нужно, значение f (cos y0), можно считать, что f (cosy0) = 0(cosy0) = 0(x0). В силу определения 0(x0), получаем

mx0) = f (cos(y0 +t)) + f (cos(y0 -1)-0(x0) ^0, t ^0.

Тогда, согласно (4.4), для любого е > 0 существует 5 = 5(е) > 0 , такое, что

|т *0)|<

< lim

N ^+да

1 + 2ЦХ)

при 111< 5 и

е 1г. 1

1 + 2ЦХ)пу 2 , ,

v ' 0 k=1

| U (f, Х0; Л, h)-0( Х0)|<

- 1 N 1 П 1 N

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

f|1 + Yxk(h)coskt dt +1 f| ^(t,x0) || — + Yxk(h)coskt |dt)

J 2 n J 2

N

k=1

В силу оценки (3.5), будем иметь

( . П

| U(f,Х0;Л,h) -0(Х0)|< lim

N ^+да

1 П 1 N

е +1 f | T(t, х0) || 1 + Y Хk (h) cos kt | dt)

nJ 2 r-J

5 k=1

(4.5)

Далее применим представление (2.1) и очевидные оценки ядер Дирихле и Фейера

п п2

\Бк(/)\< - (/)\<-2, 1 > 0, к = 0,1,....

2/ 2(к +1)/ 2

В соответствии с (4.5) будем иметь

(/, Х0; Л, к)-0( Х0)\<

( 1 1 N -1 2 1 ||Y(t,x0)| | Xn(h) |11 +1 ДХN(h)| — + Y^2Xk(h) | —

< е + const lim

N ^+да

< е + С5 lim N ^+да

N-1

52 k=0

dt <

| Х N (h) | +1 ДХ N (h)| +У| Д2Х

k(h) I

k=0

(|| f || +10( х>)|);

1

при этом

ll f ll = f l f (x) | Р(x)dx =f l f (cost) l dt < да _1 0

- норма функции f в пространстве Лебега суммируемых функций; постоянные С здесь и в дальнейшем зависят лишь от явно указанных индексов. Принимая во внимание условие (3.4), получим

| U(f,Х0; Л,h) -0(Х0) | < е + С5 (| f || +1 0(хь) |) У | Д2Хк(h) |,

(4.6)

k=0

причем последний ряд сходится в силу условия (3.3). Для произвольного у> 0 подберем теперь столь большой номер N0 = N0 (у), что

Е(Х) _

Y

(4.7)

N0 +1 1 + C5(|f|| + |0(*0)|)'

Тогда

^ N 0 1 да N0 У(Х)

У| д2х k (h) | = У| д2х k (h) |+—- У (k+1) | д2х k (h) | < У| д2х k (h) |+-Н

N 0 + 1k=N 0 +1 " N 0 + 1

k=0 k=0 и, в силу (4.6), (4.7).

k=0

N 0

| U(f,Х0;Л,h) -0(Х0) | < е+ С5 (| f || +1 0(х0) |) У| Д2Хk(h) | + y .

k=0

N 0

^ И

k=0

и

Здесь, согласно условию (4.1), сумма Д2Хk(h) | с фиксированным (по h) чис-

лом слагаемых стремится к нулю при h ^ +0. Следовательно,

lim | U(f, x0; Л, h)-0(x0)| <е + у. h^+0

Ввиду произвольности е и у последний предел равен нулю и соотношение

(4.2) доказано. Осталось доказать равномерную сходимость (4.3), то есть установить, что

lim ( max | U(f, x; Л, h) - f (x) |) = 0 . (4.8)

h^+0 -1<x<1

Как и в случае (4.4), получим

| U(f, x; Л, h) - f (x)| <

1 п

< lim -f(f (cos(y +1)) - f (cos y) | +1 f (cos(y -1)) - f (cos y)|)

'^■+да Л J

N^-+да ..

0

1

|- + k(h)coskt | dt. (4.9)

2 k=1

В силу непрерывности функции f для любого е > 0 существует 8 = 8(e) > 0 , такое, что

е

| f (cos(y +1)) - f (cos y) | +1 f (cos(y -1)) - f (cos y) | < ——— при 111< 8

1 + 2л(Л)

равномерно по y e [0, п]. Далее, аналогично (4.5), (4.6), из оценки (4.9) будет следовать, что

да

IU(f, x; K,h) - f (x) |< e + C8 (max |f(x)|) (h)|.

Для произвольного у > 0 подберем теперь столь большой номер

N о = N0 (y), что

щ) <_ y

N0 +1 1 + C5 max | f (x) |

-1<x<1

Значит

N0

0

| U(f,x;Л,h)-f(x) |< е + Cs I max | f(x)|) (h)| + Y. (4.10)

u< x<1 J k=0

Поскольку правая часть (4.10) не зависит от x, то оценка сохраняется, если левую часть этого соотношения заменить на max | U(f, x; Л, h) - f (x) |. Как

-1< x <1

N 0

и выше, сумма ^ | Д2Хk (h) | стремится к нулю при h ^ +0 . Значит,

k=0

lim I max | U(f, x; Л, h) - f (x) 11 < е + у, h^+0V-1<x<1 J

откуда, в силу произвольности е и у , и следует утверждение (4.8). Теорема полностью доказана.

5. Класс ц функций и средние рядов Фурье-Чебышева

Через С[_1,1] обозначим класс функций, непрерывных на отрезке [-1,1]. Будем говорить, что ряд

да

X апРп (х) (51)

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

п=0

принадлежит классу С[_1,1], если существует функция / е С[_1,1], такая, что {ап} есть последовательность ее коэффициентов Фурье-Чебышева

1

ап = ап(/) = |/(х)Рп(х)р(х)ёх, п = 0,1,.... _1

Следующий результат представляет собою обобщение и распространение на случай полиномиальных разложений теоремы 4.2 книги [8, т. 1, с. 222].

Теорема 5.1. Пусть для последовательности (1.5) выполнены условия (3.3), (3.4) и (4.1). Ряд (5.1) принадлежит классу С[_1,1] тогда и только тогда, когда семейство

да

V(х;Л,И) = ^к(И)ак рк(х) (5.2)

к=0

обладает равномерной сходимостью при И ^ +0 .

Доказательство. Если (5.2) есть ряд Фурье-Чебышева функции из класса С[_1,1], то равномерная сходимость V(х; Л, И) установлена в теореме 4.1. Докажем обратное утверждение. Рассмотрим

J V(x; Л, h)pk (x)p(x)dx.

-1

Ввиду равномерной сходимости V(х; Л, h) возможно почленное интегрирование ряда (5.2). С учетом ортонормированности (с весом р(х)) системы полиномов { pk (х)}, получаем

1

Xк(h)üfc = |V(х;Л,h)Рк(х)р(x)dx , к = 0,1,.... -1

Переходя в этом равенстве к пределу при h ^ +0 будем, в силу (4.1), иметь

ак = П lim V(х;Л,h) IРк(х)р(x)dx, к = 0,1,..., JiVh^+o )

так что (5.2) есть ряд Фурье-Чебышева непрерывной на [-1,1] функции

f (х) = lim V(х; Л, h), что и требовалось доказать.

h^+0

6. Восстановление функции по ее степенным моментам

Степенными моментами функции / = / (х), суммируемой на [-1,1] с весом, называются числа

1

Ц/ = Ц/(/) = |/(х)X1 Р(х)ёх, I = 0,1,.... (6.1)

-1

Одной из составляющих классической проблемы моментов [9, с. 215] является задача о нахождении функции / по заданным ц, / = 0,1,.... Пусть, например, известно, что {ц/} есть бесконечная последовательность степенных моментов некоторой / е С[_1; ц . Ставится задача восстановить эту функцию.

Теорема 6.1. Предположим, что для последовательности (1.5) выполнены условия (3.3), (3.4), (4.1). Тогда равномерно по х е [-1,1] имеет место равенство

f(x) = lim ¿Xk (h) 2k-Vk (f) + ХМ/ (f)

h^+0 k=o

k-1

Pk (x), (6.2)

l=o

где коэффициенты Р/ те же, что в разложении косинуса (1.2).

Соотношение (6.2) есть аналог (и обобщение) формулы Херглотца, построенной в случае тригонометрических моментов (см., напр., [9, с. 594]). Доказательство теоремы. Согласно (6.1) и (1.2) сумма

к-1

2к-1Цк (/) + £Р/Ц/ (/)

/=0

есть интеграл вида

j f (x) Pk (x)p( x)dx,

то есть к -й (к = 0,1,...) коэффициент Фурье-Чебышева искомой непрерывной функции /. Следовательно, под знаком предела в (6.2) записан оператор (1.6). Теперь утверждение теоремы 6.1 вытекает из результата (4.3) теоремы 4.1.

7. Примеры. Обобщения и распространения

7.1. Как показано в [10], важный класс последовательностей (1.5), удовлетворяющих условиям теорем пп.4 - 6, определяется экспоненциальной функцией

Xк (А) = Х(х,А) |х=к , к = 0,1,...,

где Х(х, А) = ехр(-Аф(х)); ф(0) = 0, функция ф(х) е С2(0,+») и возрастает к . Приведем примеры возможных ф(х) :

1) ф(х) = 1па (х +1), х > 0, а > 0 ;

2) ф(х) = ха , х > 0, а > 0;

3) ф(х) = Рп(х), х > 0; Рп (0) = 0;

здесь Рп (х) - любой полином с положительным старшим коэффициентом (п = 1, 2,...).

Важнейшим примером является метод Пуассона-Абеля [8, т. 1, с. 160 - 165], соответствующий случаю Х(х, h) = exp(-hx).

7.2. Утверждение теоремы 4.1, относящееся к суммированию в точках непрерывности, может быть перенесено (с использованием аналогичной техники) на значительно более общий случай точек Лебега. Таким образом, результаты статьи [11] распространяются на средние рядов Фурье-Чебышева.

7.3. Представление средних U(f,x;Л,h) в тригонометрической форме (1.7) дает возможность обобщить условие (3.3), заменив E(X) на сумму типа Б. Надя [12]

,, .... ^ (k +1)(| m _ k | +1), 2(m + k +1). .2»

max | Xk (h)| + ^- , ' ' lnf--f-1 A2Xk (h)|, (7.1)

k=0,1,... k k=0 m + k +1 | m _ k | +1

где m > 0 - произвольное целое число (т может зависеть от h). В свою очередь, использование (7.1) позволяет расширить класс методов суммирования; так, в «финитном» случае (3.2) результат теоремы 4.1 будет справедлив для методов Чезаро-Абеля

Л = {Xm = ; k = 0,1,..., m; m = 0,1,...; Xmk = 0, k > m},

Aa Лm

где Am= (a +1)' -'(a + m), a > 0. m!

7.4. Благодаря представлению (1.7) для средних (1.6) могут быть доказаны максимальные весовые оценки, подобные приведенным в работе [3], а также получены другие аналоги результатов [3].

Список литературы

1. Нахман, А. Д. Разложение функций в степенные и тригонометрические ряды : учебное пособие / А. Д. Нахман, Б. П. Осиленкер. - Saarbrucken : Palmarium Academic Publishing, 2017. - 124 с.

2. Суетин, П. К. Классические ортогональные многочлены / П. К. Суетин. -2-е изд., доп. - М. : Наука, 1979. - 416 с.

3. Осиленкер, Б. П. Задачи, ассоциированные с представлением Дирихле полугруппы операторов / Б. П. Осиленкер, А. Д. Нахман // Вестн. Тамб. гос. техн. ун-та. - 2018. - Т. 24, № 3. - С. 492 - 511. doi: 10.17277/vestnik.2018.03.pp.492-511

4. Осиленкер, Б. П. О рядах Фурье по обобщенным собственным функциям дискретного оператора Штурма-Лиувилля / Б. П. Осиленкер // Функциональный анализ и его приложения. - 2018. - Т. 52, № 2. - С. 90 - 93. doi: 10.4213/faa3486

5. Осиленкер, Б. П. О линейных методах суммирования разложений Фурье по ортонормированным многочленам / Б. П. Осиленкер // Доклады Академии наук СССР. - 1973. - Т. 209, № 1. - С. 40 - 42.

6. Тиман, А. Ф. Теория приближений функций действительного переменного / А. Ф. Тиман. - М. :Физматгиз, 1960. - 624 с.

7. Алексич, Г. Проблемы сходимости ортогональных рядов / Г. Алексич ; под ред. П. Л. Ульянова ; пер. с англ. А. В. Ефимова. - М. : Издательство иностранной литературы, 1963. - 359 с.

8. Зигмунд, А. Тригонометрические ряды : пер. с англ. : в 2 т. / А. Зигмунд. -М. : Мир, 1965. - 2 т.

9. Аткинсон, Ф. В. Дискретные и непрерывные граничные задачи / Ф. В. Ат-кинсон ; пер. с англ. И. С. Иохвидова, Г. А. Каральник ; под ред. И. С. Каца, М. Г. Крейна. - М. : Мир, 1968. - 750 с.

10. Нахман, А. Д. Экспоненциальные методы суммирования рядов Фурье / А. Д. Нахман, Б. П. Осиленкер // Вестник Тамб. гос. техн. ун-та. - 2014. - Т. 20, № 1. - С. 101 - 109.

11. Осиленкер, Б. П. Поведение экспоненциальных средних рядов Фурье и сопряженных рядов Фурье в точках Лебега / Б. П. Осиленкер, А. Д. Нахман // Вестник МГСУ. - 2014. - № 10. - С. 54 - 63.

12. Nagy, В. Sz. Methodes de Sommation des Series de Fourier / В. Sz. Nagy// Acta Sci. Math. Szeged, XII, pars. В. - 1950. - Р. 204 - 210.

Function Polynomization Methods and their Applications A. D. Nakhman

Department of Higher Mathematics, [email protected]; TSTU, Tambov, Russia

Keywords: quasiconvex sequences; Fourier - Chebyshev series; summability by semicontinuous methods.

Abstract: A class of semicontinuous quasiconvex methods of summation of Fourier - Chebyshev series is studied. Upper bounds are obtained for the norms of the corresponding operators in the space of continuous functions. The convergence of means in the metric of space is established. The summability at break points of the first kind is also considered. Processes for restoring functions from a given sequence of power moments are proposed. Ways of generalizing the results and extending them to the case of summability at Lebesgue points are indicated.

References

1. Nakhman A.D., Osilenker B.P. Razlozheniye funktsiy v stepennyye i trigonometricheskiye ryady: uchebnoye posobiye [Decomposition of functions in power and trigonometric series: a tutorial], Saarbrucken : Palmarium Academic Publishing, 2017, 124 p. (In Russ.)

2. Suyetin P.K. Klassicheskiye ortogonal'nyye mnogochleny [Classical orthogonal polynomials], Moscow: Nauka, 1979, 416 p. (In Russ.)

3. Osilenker B.P., Nakhman A.D. [Problems associated with the Dirichlet representation of a semigroup of operators], Transactions of the Tambov State Technical University, 2018, vol. 24, no. 3, pp. 492-511, doi: 10.17277/ vestnik.2018.03.pp.492-511 (In Russ., abstract in Eng.)

4. Osilenker B.P. [On Fourier series in generalized eigenfunctions of the discrete Sturm-Liouville operator], Funktsional'nyy analiz i yego prilozheniya [Functional analysis and its applications], 2018, vol. 52, no. 2, pp. 90-93, doi: 10.4213/faa3486 (In Russ., abstract in Eng.)

5. Osilenker B.P. [On linear methods of summation of Fourier expansions in orthonormal polynomials], Doklady Akademii nauk SSSR [Reports of the USSR Academy of Sciences], 1973, vol. 209, no. 1, pp. 40-42. (In Russ.)

6. Timan A.F. Teoriya priblizheniy funktsiy deystvitel'nogo peremennogo [Theory of approximations of functions of a real variable], Moscow: Fizmatgiz, 1960, 624 p. (In Russ.)

7. Aleksich G., Ul'yanov P. L. [Ed.] Problemy skhodimosti ortogonal'nykh ryadov [Problems of convergence of orthogonal series], Moscow: Izdatel'stvo inostrannoy literatury, 1963, 359 p. (In Russ.)

8. Zygmund A. Trigonometric series, Cambridge University Press, 1959.

9. Atkinson F.V., Kats I.S., Kreyn M.G. [Eds.] Diskretnyye i nepreryvnyye granichnyye zadachi [Discrete and continuous boundary problems], Moscow: Mir, 1968, 750 p. (In Russ.)

10. Nakhman A.D., Osilenker B.P. [Exponential methods of summation of Fourier series], Transactions of the Tambov State Technical University, 2014, vol. 20, no. 1, pp. 101-109. (In Russ., abstract in Eng.)

11. Osilenker B.P., Nakhman A.D. [Behavior of exponential means of Fourier series and conjugate Fourier series at Lebesgue points], Vestnik MGSU [Bulletin of MGSU], 2014, no. 10, pp. 54-63. (In Russ., abstract in Eng.)

12. Nagy В.Sz. Methodes de Sommation des Series de Fourier, Acta Sci. Math. Szeged, XII., pars. В, 1950, pp. 204-210.

Polynomisierungsmethoden der Funktionen und ihre Anwendungen

Zusammenfassung: Eine Klasse halbstetiger quasikonvexer Summationsmethoden der Fourier-Chebyshev-Reihe wird untersucht. Es sind Obergrenzen für die Normen der entsprechenden Operatoren im Raum stetiger Funktionen erhalten. Es ist die Konvergenz der Mittel in der Raummetrik festgestellt. Es ist auch die Summierbarkeit in den Bruchpunkten der ersten Art betrachtet. Es sind Verfahren zum Wiederherstellen der Funktionen nach der gegebenen Reihenfolge der Potenzmomente vorgeschlagen. Es sind die Möglichkeiten angegeben, die Ergebnisse zu verallgemeinern und auf den Fall der Summierbarkeit in Lebesgue-Punkten auszudehnen.

Méthodes de polynomisation des fonctions et de leur application

Résumé: Est étudiée une classe des méthodes semi-continues de sommation de séries de Fourier-Tchebyshev. Sont obtenues les supérieures estimations des normes des opérateurs correspondant dans l'espace des fonctions continues. Est établie la convergence des moyennes dans la métrique de l'espace. Est également examinée la sommabilité aux points de rupture du premier ordre. Sont proposés des processus de la restauration des fonctions selon une séquence donnée des moments de puissance. Sont indiqués les moyens de la généralisation des résultats et leur application dans le cas de la sommabilité aux points de Lebesgue.

Автор: Нахман Александр Давидович - кандидат физико-математических наук, доцент кафедры «Высшая математика», ФГБОУ ВО «ТГТУ», г. Тамбов, Россия.

Рецензент: Куликов Геннадий Михайлович - доктор физико-математических наук, профессор, заведующий научно-исследовательской лабораторией, ФГБОУ ВО «ТГТУ», г. Тамбов, Россия.

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