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

УДК 517.5 Вестник СПбГУ. Математика. Механика. Астрономия. 2018. Т. 5 (63). Вып. 1

МБС 41А15, 41А17, 41А44

Точные оценки среднеквадратичных приближений классов дифференцируемых периодических функций пространствами сдвигов

О. Л. Виноградов, А. Ю. Улицкая

Санкт-Петербургский государственный университет,

Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9

Для цитирования: Виноградов О. Л., Улицкая А. Ю. Точные оценки среднеквадратичных приближений классов дифференцируемых периодических функций пространствами сдвигов // Вестник СПбГУ. Математика. Механика. Астрономия. 2018. Т. 5(63). Вып. 1. С. 22-31. https://doi.org/10.21638/11701/spbu01.2018.103

Пусть Ь2 —пространство 2п-периодических функций, суммируемых с квадратом, Е(/,X)2 —наилучшее приближение функции f пространством X в Ь2. При п £ Ы, В £ Ь2 обозначим через 8в,п пространство функций в вида

2п —1

2п —1 / . ч

3=0

В работе дается описание всех пространств 8в,п, для которых справедливо точное неравенство

пг

При этом указываются подпространства размерности 2п — 1, реализующие ту же оценку. В качестве частных случаев получаются известные неравенства для приближения тригонометрическими многочленами и сплайнами.

Ключевые слова: наилучшее приближение, пространства сдвигов, точные константы.

1. Введение. 1.1. Обозначения. В дальнейшем К, Ж, Ж+, N — множества вещественных, целых, неотрицательных целых и натуральных чисел соответственно, [а : Ь] = [а, Ь] П Ж. Если из контекста не следует противное, все рассматриваемые пространства функций могут быть как вещественными, так и комплексными. Если р € [1, то Ьр — пространство измеримых 2п-периодических функций /, для ко-

торых выполняется неравенство

/ /■ п \ 1/Р

II/ 11р =у] п II\р) <

wPr) — пространство функций / из Ьр, у которых производная /(г локально абсолютно непрерывна, а /(г) € Ьр; 1р —пространство двусторонних последовательностей а = {аь}кеж, для которых выполняется неравенство

II а|р = \ак\Л <

\fcez )

(¡5 Санкт-Петербургский государственный университет, 2018

Символом (•, обозначается скалярное произведение в гильбертовом пространстве Н;

Е(/, К)р = ||/- Т||р

— наилучшее приближение функции / в пространстве Ьр множеством N С Ьр.

Коэффициенты Фурье функции / и дискретное преобразование Фурье набора {ск}1=-1 определяются равенствами

~ 2n—1

Ck(f) = ¿ / f(t)e-ikt dt, Ci= J2

J í-_n

k=0

Запись f (x) ~ J2 ckeikx означает, что ряд в правой части есть ряд Фурье функции f.

ke z

При n G N, y G Z+ через Sn,M обозначается 2п-мерное пространство 2п-перио-дических сплайнов порядка y дефекта 1 по равномерному разбиению kn/n, к G Z, через T2n—1 — (2n-1)-мерное пространство тригонометрических многочленов степени не выше n — 1.

1.2. Обзор результатов. Для приближения тригонометрическими многочленами общеизвестно (см., например, [1, теорема 4.2.2]) неулучшаемое на классе WÍf^ неравенство

£(/,T2„-i)2<4ll/(r)ll2- (!)

nr

Неравенство (1) точно даже в смысле теории поперечников, то есть константа 1/nr не может быть уменьшена за счет перехода к приближающему подпространству размерности не выше 2n (см., например, [1, теорема 8.1.3]). Его доказательство, основанное на равенстве Парсеваля, очень просто:

Е\1,Ъп-1)2 = 2ТГ ]Г ЫЛ\2 = 2п ]Г 1 Шк2г J¡ <

kez kez

|k|^n |k|^n

:n2¡ ¿-^ I I :n2¡

2-

ke z

k >n

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

2. Пространства сдвигов. Пусть п € N1, В € Ь1. Обозначим через 8В „ пространство функций в, заданных на К и представимых в виде

2п-1 , . ч

з{х)= ^РэВ[х-3-), (2)

3=0 У П/

п

а через п —пространство функций из 8В п, представимых в виде (2) с дополнительным условием

2п-1

Е (-1)''вз = 0. (3)

¿=0

Подставляя в (2) разложение функции В в ряд Фурье, получаем

2п-1

2п-1

s{x) ~ е = J2ci(-B^eüx ~ Е

(4)

j=0 ¡ez

lez

l=0

где

1 2n-1 ✓

фб,«(Х) = Фв,м = é £ (ж - ^ ) ~ Ec'+2-(B)eî(i+2n,y)œ

j=0

vez

Ясно, что Фв , ¡ = Фв , ¡+2n, а условие (3) равносильно вп = 0- Таким образом, про-

странства SB ,п и Sg п совпадают с линейными оболочками наборов {Фв, í}2=o 1 (или,

что то же самое, {Фв , ;}П=^п) и {Фв , ¡}П—i—п- При m G [1 : n] обозначим через Sg ,

i m — 1

,г}г=1-п/

линейную оболочку набора {Фв,г}т=1_m-

Функции ФВ1 ортогональны: (Фв,г, Ф-Bj}ь2 =0 при l = j, а

= Лв,п,| = ^^ |cг+2nv(B)|2.

vez

Линейная независимость наборов {В (• — и Í-® (' ~~ равносильна

тому, что функции Фв,; ненулевые при l G [1 — n : n] и l G [1 — n : n — 1] соответственно. В этом случае системы {Ф_в,г}™=1_n и {Фб,;}]!—^n образуют ортогональные базисы в пространствах SB,n и Sg n. Ортонормированные базисы образуют функции

Коэффициенты Фурье Св,г(/) функции / G L1 по системе {Фб,;} выражаются через коэффициенты Фурье / по тригонометрической системе формулой

п

CB,i(f) = T^— i f® Е Cí+2nv(B)e-i(№)í dt = -¡-J2 Cí+2nv(B)Q+2„v(/).

n -П vez vez

Если функция Фв,; нулевая, договоримся считать Св,г(/) = 0. Выразим наилучшее приближение функции / G L2 пространством Sg n m через коэффициенты Фурье:

е2{/,sg, п , m 2

m1

2

/2

= = У 7 II2 -

2

/ - Е Zb,¡(/)ФВ

l = 1—m

= 2.(EM/)I2- Е Db

m1

1

1

Е (/)Фв

= 1—m

C;+2nv(B)Q+2nv(/)

vez

. (5)

.ieZ l=1—m

Аналогичная формула справедлива и для SB,n)2.

2

2

Если B есть ядро Дирихле D„_i(t) = ^n=i—n егЫ, то Sв, n = Sg, n = 72n—1, S^ n m = 72m—1, Фв,п = 0, а Фв, г при |1| < n суть обычные экспоненты. Если же B = Dn, то Sb , n есть сумма 72n—i и линейной оболочки функции х ^ cos nx. В случае, когда B есть B-сплайн

/ „г-к _ 1 \ М+1

в».до = Е (-kr) еШ м G

(здесь и далее при к = 0 дробь считается равной 1), получаем, что 8В , п — это пространство сплайнов , Функции

1— 1 ег(1+2п^)х

(l + 2nv)^+i:

образующие в нем ортогональный базис, называются экспоненциальными сплайнами (по принятому соглашению имеем Фвп , о(х) = 1). Линейную оболочку системы {ФВп , м, г}]=—1 n обозначим через S*,м. Экспоненциальные сплайны, вообще говоря, непериодические, введены в рассмотрение Шенбергом, основы теории и исторические комментарии содержатся в [3]. Ортогональность периодических экспоненциальных сплайнов отмечалась многими авторами; по-видимому, самые ранние работы на эту тему — [4, 5]. Пространства и S^ n рассматривались Виноградовым [6, 7].

Далее нам понадобится условие принадлежности констант пространству сдвигов.

Лемма 1. Пусть n € N, B € L1. Тогда следующие утверждения 'равносильны.

1. Пространство SB,n содержит константы.

2. Функция Фв,0 постоянна.

3. c0(B) =0, а c2nv(B) = 0 при всех v € Z \ {0}.

Доказательство. Импликация 2 ^ 1 тривиальна, а утверждение 3 ^ 2 сразу следует из определения Фв,о. Докажем импликацию 1 ^ 3. Пусть 1 € Sв,п. Тогда по формуле (4) для некоторого набора {¡j} имеем 1 ~ ^геZ /?IcI(B)eiIx. Следовательно,

вг «(B) = I1' 1 = 0'

' гл ' \0, I = 0.

Отсюда получаем co(B) =0, во = 0. Ввиду 2п-шриодичности в при всех v € Z \ {0} будет ¡2nv = 0, а тогда c2nv(B) = 0, то есть верно утверждение 3. □

3. Основные результаты. Следующая теорема дает описание всех пространств сдвигов, для приближения которыми справедлива оценка (1), в терминах коэффициентов Фурье функции B.

Теорема 1. Пусть r,n,m € N, m ^ n, B € L2. Тогда следующие утверждения равносильны.

(г)

1. Для любой функции f € W2' выполняется неравенство

E(f^B,n,m)2^^\\f{r)h. (6)

2. Коэффициенты Фурье функции B удовлетворяют условиям

cI(B) = 0 при всех |1| € [0 : m — 1], (7)

c2nv(B) = 0 при всех v € Z \ {0},

\ci+2nk(B)\2 1

^ 0 при всех |1| € [1 : m — 1].

(8) (9)

fcez (i+2nk)2

S

При т = п левую часть неравенства (6) можно заменить на Е(/, 8Б,П)2. Доказательство. Из первого утверждения теоремы следует, что пространство Бит содержит константы, а тогда по лемме 1 верно условие (8). С другой стороны, из второго утверждения теоремы по лемме 1 тоже следует, что пространство п т

содержит константы, поэтому в (6) достаточно рассматривать функции из ^^ с нулевым средним. Тогда, учитывая (5), неравенство (6) можно переписать в виде

2

|2 т — 1 1 т-^г

1 ^ С1+2„и(о) __ (г)

Е

;ez\{o}

|c;

(/(Г)) |

/2г

—

i = 1- m

D

в , ;

Е

vez ;| + |v|=o

(1 + 2nv )■

:Сг+2г;

<

47Е1с'(/(г))Г-

m2r z—" 1

;ez

Отсюда видно, что если условие (7) не выполнено, то есть c;(B) = 0 при некотором 1, |1| < m, то для функции x ^ eilx (в комплексном пространстве L2) неравенство (6) тоже не выполнено. В вещественном случае из c;(B) = 0 следует c_; (B) = 0, и потому неравенство (6) нарушается для функций x ^ cos(1x + а).

Остается доказать равносильность утверждений теоремы при выполнении (7) и (8). Представив суммы в виде повторных, перепишем неравенство в виде

Е Е

;=i-n fcez

|i| + |fc| = 0

jc;+2nfc

(f (r))I

i

(1 + 2nk)2r

—

i = 1- m

D

в , ;

E

vez ;|+|v|=o

Q+2nv(B) (I + 2nv)

Д/(r))

<

<

1

г=1-п fcez

Так как в 1-м слагаемом участвуют коэффициенты только с номерами 1 + 2п^, последнее неравенство равносильно системе

Е

fcez |i| + |fc| = 0

|c;+2nfc (f (r))I

(1 + 2nk)2r Db , 1

E

nv (f(r))

vez |;|+| v|=o

(1 + 2nv)r 1

<

< m — 1,

fcez

Q+2nfc(/(r))|2 < J_V-|

(/ + 2пк)2г ^ m2r ^ fcez v 7 fcez

E

c;+2nfc (f (r))|2,

m ^ 111 < n и 1 = n.

Неравенство при 1 = 0, m ^ |1| <n и 1 = n очевидно, а при 1 ^ |1| ^ m — 1 означает, что квадратичная форма

2

(A;w,w)l2 = E (

fcez ^

1

1

(1 + 2nk)2r m2r

K|2 —

1

D

в , ;

E

vez

c;+2nv (B)uv

(1 + 2nv)r

2

m

2

2

1

2

2

1

2

неположительна. Здесь u € 12, а оператор A;: l2 ^ 12 определен формулой

\ _ ( 1___С(+2пк(В) \ - С1+2пи{В)ии

1 _ + то2^^ {1 + 2пкуОв,1 ^ {1 + 2п^У '

Неположительность квадратичной формы оператора А; равносильна неположительности всех его собственных чисел, то есть тому, что система уравнений

1 1 _ Л cl+2nk(B) у c,+2w„(BK =

/ " 4- Onk.v Г) Т, , l4-9.n,/V ' V 7

(l + 2nk)2r m2r y (l + 2nk)r^ (l + 2nv)

не имеет положительных корней.

Если выполняется равенство Cl(¡¿+2n^y" = т0

vGZ

- Л I Mfc = О

(1 + 2nk)2r m2r

при всех k G Z. При положительном Л выражение в скобках может обнулиться только при k = 0, откуда =0 при всех k = 0. Поэтому мо = 0, а тогда c¡(B) = 0, что противоречит условию.

Следовательно, имеем С1^+2гшу" а тогда и^ - — А ф 0, поскольку vez ( ;

с;(В) ^ 0. Деля равенство (10) на (;+2^)2г- - - А, умножая на "^пкР и суммируя по всем целым к, получаем

С1+2пк(В)ик 1 _|с;+2па;(Д)|_ / С1+2пи(В)иу \ _

к « + 2пкУ + 2пкГ^-^-^-х) ^ « + 2™>У )- '

что равносильно

Е I2 = Е-|с;+2":(б)|2 ,—т.

"ег кеж (/ + 2пк)2г (^+2пА;)2, - ^зг - А^

Перенеся члены в одну часть и приведя к общему знаменателю, преобразуем уравнение к виду

]Г 1С|+м(в)|-— = 0. (И)

____А

fceZ (í+2nfc)2r m2-

При А > — все знаменатели в левой части (11) отрицательны, а на промежутке (О, ¡¿г — ¿г) она строго возрастает по А к +оо. Поэтому отсутствие у нее положительных корней равносильно ее неотрицательности при А = 0, то есть неравенству (9).

При m = n ослабление утверждения 1 путем замены левой части неравенства (6) на E(f, SB,n)2 не нарушает вывода утверждения 2. □

Дадим теперь легко проверяемое условие, достаточное для выполнения (9). Теорема 2. Пусть r, n, m € N, m ^ n, а функция B € L2 такова, что

cI(B) = 0 при всех |1| € [0 : m — 1], c2nv(B) = 0 при всех v € Z \ {0}, |1 + 2nk|r|q+2nfc(B)| < |1|r|ci(B)| при всех |1| € [1 : m — 1], k € Z. (12)

(r)

Тогда для любой функции f выполняется неравенство

Доказательство. По теореме 1 достаточно проверить условие (9). Пусть |1| € [1 : m — 1]. Так как при k = 0 знаменатели отрицательны, в силу соотношений (12) имеем

|e;+2nfc(B)|2 /DM2m2r^ 1

> |c;(B)|2|1|

__1___/ i 2kn\2r '

kez (i+2nk)^ m^r kez + —)

Обозначим ^ = у, ^ = а; тогда \y\ < 1, a Js 1. Покажем, что выполняется неравенство

Очевидно возрастание Фг , a(y) по a, поэтому достаточно доказать, что

1

1 - Г?/

fcez

Поскольку функция Фг четна, можно ограничиться значениями у € [0,1). При у =1 доопределим Фг по непрерывности. Ясно, что справедливо соотношение

= V---= - V (-------^ = 0

¡ё 1 - + 2*)2 2{^Лу + 2к + 1 У + 2к~1)

при всех у. Далее считаем, что г ^ 2.

Группируя члены с номерами к и —к — 1, находим

Убедимся, что функция

<р(у) = 1 ^ +

1 — y2r 1 — (2 — y)2r убывает на [0,1]. Обозначим y = 1 — t, t € [0,1]. Тогда неравенство

= 2ГУ2-1 _ 2г (2 — у)2г~1

{РКЮ (1~Р2г)2 (1 ~ (2 - у)2П2 "

равносильно неравенству (1 — ¿)2г-1((1 + ¿)2г — 1)2 — (1+ ¿)2г-1((1 — ¿)2г — 1)2 < 0. Оно очевидно для £ =1. При £ € [0,1) имеем

(1 — £)2г-1((1 + £)2г — 1)2 — (1 + £)2г-1((1 — £)2г — 1)2 =

= (1 — ¿)2г-1(1 + ¿)2г-1 х

X ((1 + «>*♦■ - (1 - - « - - ?тт^т) ) =

1

2(1 - ¿)2г-1(1 + ¿)2г-1х

V I 2к+1 с2к+1 \ ,2й+1 с2к+1 .2Й+И ^ 0

Х [ 1°2г+1 - °2г+2й-^ 1 - °2г+2й-11 I ^

Чй=1 к=г+1

Следовательно, можно записать

т ^ , / 1 1 А ^ 1 2г - 1

V 1 - у2г 1 - (2 - у)2г У (2к)2г - 1 2г

1 2г — 1 1 ^ 1 2г — 1 1

к=1

то

_2У_-_ > ^ ~ 1__— V_-_-í__^>0

^ (2к)2г - 1 2г 22г-1 ^ к2 - 1 /4 9т ?2г-2 ^ •

□

Замечание. Неравенство (6) обращается в равенство на функциях х ^ е±гтх и их линейных комбинациях. Как отмечалось во введении, оно точно даже в смысле теории поперечников.

Стандартным приемом неравенство (6) можно усилить.

(г)

Следствие 1. Пусть В € в условиях теоремы 2 или второго утверждения

(г)

теоремы 1. Тогда для любой функции / выполняется неравенство

При т = п, кроме того, справедлива оценка

Доказательство. Пусть в = т Свм,;(/(г))ФВм,; —элемент наилучше-

го приближения функции /(г) пространством п т. Заметим, что, поскольку

с0(В(г)) = 0, функция в имеет нулевое среднее. Следовательно, для нее определена 2п-периодическая г-я первообразная, обозначим ее вг. Ясно, что вг € 8^ п т. Применяя теорему к функции / - вг, получаем

Е(^в,п,т)2 = 41 - ^Ув,п,т)2 < ¿||/(г) - 4 =

Доказательство для приближения пространством 8 в , п аналогично. □

Примерами функций В, удовлетворяющих условиям теоремы 2 для всех т ^ п, могут служить функции с коэффициентами вида

_ м+1

Ск{В) = ( ——— ) ц € 1 > г,

п

где |7;+2пк| ^ |7;|, 7; =0 при |1| < п. Если 7к суть коэффициенты Фурье функции К € ¿1, то такая функция В есть среднее Стеклова порядка у +1 от К. Например, в качестве К можно взять ядро Пуассона (7^ = е-а|к|, а > 0), ядро теплопроводности (7& = е-ак , а > 0), ядра некоторых дифференциальных операторов (7^ = 1/Р(гк),

Р — многочлен, все нули которого вещественны), обобщенное ядро Бернулли (7^ = |к|_яе_гв81®п к, в > 0, в € К); в последних двух примерах полагаем 70 = 1.

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

Следствие 2. Пусть ^ € , г, п € N1, ^ +1 ^ г. Тогда для любой функции (г)

/ € выполняются неравенства

1

пг

(При ^ +1 = г величины Е(/(г), Я* м_г)2 и Е(/(г), 8„ , м_г)2 следует трактовать как

11/(г)Ы

Доказательство. При ^+1 = г требуемые неравенства вытекают из теоремы 2, а при ^ ^ г — из следствия 1, если взять В = Вп , □

Неравенство (13) по сути известно, так как сразу следует из результатов [2].

(г)

Следствие 3. Пусть г, п € N. Тогда для любой функции / выполняется

неравенство

Д(/,Т2П-1)2 < ^Ж/(г),Г2„-1)2.

пг

Следствие 3 общеизвестно (см. доказательство неравенства (1) во введении); оно получается и как частный случай следствия 1, если положить В = Д„_1 или В =

E(f, S„,M)2 < — £(/«, S„,M_r)2. (13)

Литература

1. Корнейчук Н.П. Точные константы в теории приближения. М.: Наука, 1987.

2. Сунь Юншен, Ли Чунь. Наилучшее приближение некоторых классов гладких функций на действительной оси сплайнами высшего порядка // Матем. заметки. Т. 48, №4. 1990. С. 100—109.

3. Schoenberg I. J. Cardinal Spline Interpolation. Philadelphia: SIAM, 2 ed., 1993.

4. Golomb M. Approximation by periodic spline interpolants on uniform meshes // Journal of Approximation Theory. Vol. 1. 1968. P. 26—65.

5. Kamada M., Toriachi K., Mori R. Periodic spline orthonormal bases // Journal of Approximation Theory. Vol. 55. 1988. P. 27-34.

6. Виноградов О. Л. Аналог сумм Ахиезера—Крейна—Фавара для периодических сплайнов минимального дефекта // Проблемы математического анализа. Вып. 25. 2003. C. 29-56.

7. Виноградов О. Л. Точные неравенства для приближений классов периодических сверток пространствами сдвигов нечетной размерности // Матем. заметки. Т. 85, №4. 2009. С. 569-584.

Статья поступила в редакцию 19 июля 2017 г.; рекомендована в печать 21 сентября 2017 г.

Контактная информация:

Виноградов Олег Леонидович —д-р физ.-мат. наук, доц., проф.; [email protected] Улицкая Анастасия Юрьевна — студент; [email protected]

Sharp estimates for mean square approximations of classes of differentiable periodic functions by shift spaces

O. L. Vinogradov, A. Yu. Ulitskaya

St. Petersburg State University, Universitetskaya nab., 7—9, St. Petersburg, 199034, Russian Federation

For citation: Vinogradov O. L., Ulitskaya A. Yu. Sharp estimates for mean square approximations of classes of differentiable periodic functions by shift spaces. Vestnik SPbSU. Mathematics. Mechanics. Astronomy, 2018, vol. 5(63), issue 1, pp. 22-31. https://doi.org /10.21638/11701/spbu01.2018.103

Let L2 be the space of 2n-periodic square integrable functions; E(f,X)2 is the best approximation of the function f by the space X in L2. For n £ N, B £ L2 we denote by SB,n the space of functions s of the form

2n-1 , . x

*(*)= E )•

In this paper, we give a description of all spaces SB,n for which the sharp inequality

E(f, SB,n)2 < ¿||/(r)||2

holds. In doing so, we indicate the subspaces of dimension 2n — 1 that provide the same estimate. The well-known inequalities for approximation by trigonometric polynomials and splines are obtained as particular cases.

Keywords: best approximation, shift spaces, sharp constants.

References

1. Korneichuk N. P., Exact Constants in Approximation Theory (Nauka, Moscow, 1987) [in Russian]; translated in Encyclopedia of Mathematics and its Applications 38 (Cambridge University Press, Cambridge, 1991).

2. Sun Yongsheng, Li Chun, "Best approximation of certain classes of smooth functions on the real axis by splines of a higher order", Mathematical Notes 48(4), 1038-1044 (1990).

3. Schoenberg I. J., Cardinal Spline Interpolation (SIAM, Philadelphia, 2 ed., 1993).

4. Golomb M., "Approximation by periodic spline interpolants on uniform meshes", Journal of Approximation Theory 1, 26-65 (1968).

5. Kamada M., Toriachi K., Mori R., "Periodic spline orthonormal bases", Journal of Approximation Theory 55, 27-34 (1988).

6. Vinogradov O.L., "Analog of the Akhiezer-Krein-Favard sums for periodic splines of minimal defect", Journal of Mathematical Sciences 114(5), 1608-1627 (2003).

7. Vinogradov O.L., "Sharp inequalities for approximations of classes of periodic convolutions by odd-dimensional subspaces of shifts", Mathematical Notes 85, 544-557 (2009).

Author's information:

Vinogradov Oleg L. — [email protected] Ulitskaya Anastasiya Yu. — [email protected]