УДК 501.1
Гладкие аппроксимации в C[0,1]
С. А. Чумаченко
Чумаченко Сергей Алексеевич, аспирант кафедры математического анализа, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, 410012, Россия, 410012, г. Саратов, ул. Астраханская, д. 83, chumachenkosergei@gmail.com
Первый ортонормированный базис в пространстве непрерывных функций был построен Хааром в 1909 г. Фабер в 1910 г. проинтегрировал систему Хаара и получил первый пример базиса в пространстве непрерывных функций, состоящего из непрерывных функций. Эту систему переоткрыл в 1927 г. Шаудер. Все функции Фабера- Шаудера являются кусочно-линейными, а частичные суммы есть вписанные ломаные. В дальнейшем предпринимались попытки построить гладкие аналоги базиса Фабера - Шаудера. В 1965 г. это удалось К. М. Шайдукову. Построенные им функции были гладкими, но состояли из дуг парабол. Шайдукову удалось доказать равномерную сходимость полученных разложений, но не удалось получить оценки отклонения. Иной аналог системы Фабера -Шаудера в 2007 г. предложили Т. У. Аубакиров и Н. А. Бокаев. Они построили класс функций, которые образуют базис в пространстве непрерывных функций, получили оценки отклонения частичных сумм от приближаемой функции. Построенные в их работе функции были, как и в системе Фабера - Шаудера, кусочно-линейными. Система Фабера - Шаудера входит в построенный ими класс систем. В настоящей статье мы строим гладкие аналоги системы Фабера - Шаудера и получаем оценки отклонения частичных сумм от приближаемой функции. Построенные системы являются системами сжатий и сдвигов одной функции, которую мы называем двоичным базисным сплайном. Каждый такой двоичный базисный сплайн есть интеграл n-го порядка от функции Уолша W2n-1. Таким образом, нам удалось построить аналоги системы Фабера - Шаудера со сколь угодно большой степенью гладкости и получить для разложений по этим системам оценки отклонения в терминах модулей непрерывности.
Ключевые слова: базисные сплайны, гладкая интерполяция, кратномасштабный анализ. Поступила в редакцию: 18.12.2019 / Принята: 01.04.2020 / Опубликована: 31.08.2020 Статья опубликована на условиях лицензии Creative Commons Attribution License (CC-BY4.0) DOI: https://doi.org/10.18500/1816-9791-2020-20-3-326-342
ВВЕДЕНИЕ
Система Фабера - Шаудера является одним из простейших базисов в пространстве C[0,1]. Впервые она встречается в результатах Фабера в 1910 г. [1], в дальнейшем была переоткрыта Шаудером в 1927 г. [2]. Простота представления и широкий спектр базисных и аппроксимационных свойств системы Фабера - Шаудера позволяют решать широкий спектр прикладных задач [3-10]. Т. У. Аубакировым и Н. А. Бокаевым рассмотрена система, включающая в себя систему Фабера-Шаудера [11]. К недостаткам систем Фабера - Шаудера и Аубакирова - Бокаева надо отнести отсутствие гладкости.
Гладкий аналог системы Фабера-Шаудера рассмотрен К. М. Шайдуковым в [12]. Однако в этой работе, хоть и была получена базисность системы в пространстве С[0,1], не были получены оценки скорости приближения.
В данной работе мы построим семейство систем типа Фабера - Шаудера, имеющих заданный порядок гладкости. Также мы докажем базисность этих систем в пространстве С[0,1] и получим оценки отклонения частичных сумм от приближаемой функции в терминах модуля непрерывности.
В первой части статьи вводится двоичный базисный сплайн, который является обобщением системы Фабера - Шаудера с заданным порядком гладкости, и рассматриваются свойства антипериодичности. Во второй части статьи рассматривается система сжатий и сдвигов двоичного базисного сплайна и доказывается, что это базис в С[0,1].
1. ДВОИЧНЫЕ БАЗИСНЫЕ СПЛАЙНЫ
Пусть
x
If (x) = J f (t) dt, x e [0,1] — оператор интегрирования,
rk(x) = sign(sin(2k+1 nx)) — функции Радемахера,
n-1
W2n-i (x) = rk(x) — функции Уолша.
(i) (2) (3)
k=0
Тогда функцию
ФщН(х) = W2n-1 (х), х е [0,1], £ N N < п,
будем называть двоичным базисным сплайном N-й степени от п-й функции Уолша, где Q(n,N) — нормирующий коэффициент (х).
На рис. 1 приведен график функции (х). При N = п — 1 данная система будет базисом Рисса в Ь2 [13]. Во второй части статьи будем рассматривать случай N = п, но для начала выведем несколько общих свойств для произвольного N.
—а
Фп,М (x)
Рис. 1. Двоичный базисный сплайн / Fig. 1. Binary basic spline
Замечание 1. Функция (x) имеет непрерывные производные до порядка N — 1 включительно.
Определение 1. Функцию f будем называть антипериодической на двоичном
интервале Ас периодом ^п+г, если для любых х, у £ Д] , связанных соотношением х + 2^+1 = У, справедливо равенство /(х) = —f (у).
а
Замечание 2. Функция Радемахера rk периодична с периодом 2k и антиперио-дична на любом интервале Ajk) с периодом ^qr.
Лемма 1. Справедливы следующие утверждения:
1) функция Уолша rkrk+1.. . rn-1 периодична с периодом 2k;
2) функция Уолша rkrk+1... rn-1 антипериодична на любом интервале A(k) с периодом 2¿+í, v = 0,1,..., 2k — 1;
3) функция Уолша W2n-1 (x) = r0ri.. . rn-1 антипериодична на любом интервале A(k) с периодом ^¿т, v = 0,1,..., 2k — 1, k = 0,..., n — 1.
Доказательство. Утверждение 1) очевидно из замечания 2. Для доказательства утверждения 2) заметим, что функция rk+1 rk+2 ...rn-1 периодична с периодом
и rk(A2k+i)) = — rk(A2V+1)).
Для доказательства утверждения 3) запишем W2n-1 в виде:
W2n-1 = Го ri . . . rk-1 rk . . . rn-1.
По доказанному ранее произведение rk... rn-1 антипериодично на любом интервале A(k) с периодом , а произведение r0r1 ...rk-1 постоянно на интервале A(k). Поэтому W2n-1 антипериодична на с периодом 2кгт • П
Лемма 2. Пусть I — оператор интегрирования (1). Тогда функция IN (W2n-1 )(x) антипериодична на любом интервале
A(k) (k = 0,... , n — 1 — N,
N = 0,1,...,n — 1) и f 1NW2n-1 dx = 0.
д(п-1 -N )
Доказательство. Случай N = 0 доказан в лемме 1, п. 3. Пусть утверждение леммы верно при некотором N, т. е. 1NW2n-1 антипериодична на всех интервалах A(k) (k = 0,..., n — 1 — N). Зафиксируем k из [0, n — 1 — N] и покажем, что 1N+1 W2n-1 антипериодичны в интервалах
Выберем интервал
A(k-1) = (А = (2V 2V±2А ^v \2k-1 ' 2k-V V 2k ' 2k
(2v 2v + 1 « (2v + 1 2v + 2,f 2v + 11
Функция 1N W2
n—1 антипериодична на
A(k-1)
и на интервалах a2v) и A2v+1 по
предположению. Тогда при x G (0, 2k) имеем
2V+r Ц+1
NN
(1N+1 W2n-OH^ + И = I (ZNW2»-1 )(t) dt = J (iNW2n-1 )(t) dt =
0 1
2v + x 2v
2^ 2k'
J (1NW2n-1 )(t) dt = — J (1NW2n-1 )(t) dt = —(/N+1 W2n-1H 2V + xj,
2v 0
2k
т.е. /N+1 W2n-1 антипериодичны на интервале (^k-r, 2+1). П
Лемма 3. Функция фп,м:
1) равна нулю в точках у—ж;
2) имеет максимум по модулю в точках ^Шт;
3) знак функции определяется аналогично -1(ж).
Доказательство. Проведем доказательство методом математической индукции.
1. Для N = 0 все утверждения леммы очевидны, так как фп,0 является функцией Уолша.
2. Пусть все утверждения верны для N — 1. Докажем эти утверждения для N.
Согласно лемме 2, Iм-1 антипериодичны на интервале (ук-г, 2+т). Следовательно, знак функции фп,м определяется как произведение функций Радемахера г0г! ...гп-м-1, или согласно функции Уолша -1. Таким образом, утверждение
3) доказано.
Для того чтобы доказать утверждения 1) и 2), достаточно рассмотреть отрезок [0, 2^-ж], поскольку тогда для остальных отрезков данные утверждения будут получаться из-за антипериодичности.
Так как при N — 1 на отрезке [0, уП-ж] знак функции фп,м-1 положителен, то
фп,м на этом отрезке возрастает. На отрезке [уП-ж, ], вследствие антипериодичности, — убывает, причем с такими же значениями производных. Из этого следуют сразу и 1), и 2) утверждения. □
Замечание 3. Согласно определению, тах(ф(п, ^(ж)) =1, ж е [0,1].
X
Лемма 4. Пусть фп,м(ж) = ф(п, N)1м^2п-1 (ж) (ж е [0,1]). Тогда
ф
'4-V + 1
ф
4-V + 3'
4 . 2п-м / 4 ^ 2п-м I
Доказательство. Согласно лемме 3 и замечанию 3, стороны,
фп,
2- V + 1
N
22
п-М
1 2'
п,М 1
I = 1. С другой
= ф(п, N)1м ^-Л 2п • =1.
Согласно лемме 2, фп м будет антипериодична на интервале [уП-м, ], а — на интервале [, 2П+1 ]. Тогда
2П-Ж 5 2Т
4у+Г 4.2П-N
4у+Г
4.2П-N
(Iм-2-1) (4) ^ = — (Iм-2(4)
4-2п-N
Следовательно,
-ж
фп,
м
'2 • V + 1
2 • 2п-м
4-2п
4у+2 4.2п-N
) / (Iм-1 ^(4) ^
4у 4.2п-N
4у+Г
2 • N) I (Iм-1 _1) (4) А = 2фп,м (•
4у 4-2п-N
Таким образом, фп,м (4.2^) = 2. Аналогично показывается, что фп,м (42!-^) = 2.
□
Теорема 1. Нормирующий коэфициент вычисляется следующим образом:
^W N 2nN +3N_N2-2 .
Q(n, N) = 2 —2-, 1 < N < n. (4)
Доказательство. Разберем два случая.
1. «Первое» интегрирование — интегрирование n-й производной функции (x), т.е. самой функции Уолша. На каждом отрезке функция равна либо 1, либо -1, а длина каждого отрезка равна . Значит, значение функции в точке т! будет равно . Аналогично и в остальных точках вида оно будет равно либо т!, либо 0, либо — . Но нам необходимо, чтобы после каждого интегрирования значение в точках локального максимума (минимума) было равно 1 (—1). Значит, нормирующий коэффициент после первого интегрирования должен быть Q(n, 1) = 2n. Если в формулу (4) поставить N =1, мы также получим Q(n, 1) = 2n.
2. Каждое последующее интегрирование: пусть мы проводим i-е интегрирование, т.е. от функции фПп-г+1)(x) переходим к функции ^in-i)(x). В отличие от первого случая, функция не является кусочно-постоянной. Однако, по лемме 3, значение функции будет равно 2 в точках x = 1 • ( 2п-,+1 ) и x = | • ( 2ПЛН1 ). Используя свойство антипериодичности (лемма 2), получаем, что ^(x) = 1 — ф (2 — x). Следовательно, среднее значение функции на отрезке [0, 2n_1i+^ равно 1. Значит, значение функции
(x) в точке x = 2n_1i+1 будет равно 2 • 2n_1i+1. Но аналогично п. 1 оно должно быть равно единице, поэтому нормирующий коэффициент после второго и каждого последующего интегрирования должен быть Q(n, i) = Q(n, i — 1) • 2n-i+2.
Отсюда находим
N
Q(n, N) = 2n • Ц 2n-i+2 = n=2(n-N+2) = i=2
= 2n+(N-1) 2+22n_N = 2n+ 2nN+2N _N22 _2_2-n+N = 2 2nN+3N2 _N 2 _2 n
2. СИСТЕМА СЖАТИЙ И СДВИГОВ ДВОИЧНОГО БАЗИСНОГО СПЛАЙНА
В С[0,1]
Определение 2. Функцию (х) = ^(п,п)/п(х), х е [0,1], будем называть двоичным базисным сплайном п-й степени, где ^(п,п) — нормирующий коэффициент в С[0,1].
Замечание 4. При п = 1 двоичный базисный сплайн ^п(х) совпадает с точностью до множителя с образующей функцией системы Фабера - Шаудера.
Покажем, что система сжатия и сдвигов двоичного базисного сплайна является базисом в С0[0,1] (этот факт без доказательства в случае п = 2 присутствует в работе [14]), а при добавлении двух дополнительных функций — в С[0,1]. Рассмотрим систему
Фт4(х) = (2тх - з), т е ^0, з е [0, 2т - 1].
Пусть /(х) — функция из С0[0,1]. Обозначим
Яо (х) = / (х), (5)
So(x) = Ro (^^Т2) Фо,о(x).
В общем случае полагаем:
Sm (x) = R
j + 1/2'\
21
J Фт,з (x), X G
j j+1 2m' 2m
Rm+l(x) = Rm(x) - Sm(x).
(6) (7)
На рис. 2 изображен процесс приближения, где Ят, ^т+1 — график остатка после т-го и (т + 1)-го шага соответственно, фт] — сжатие и сдвиг основной базисной функции, Бт — приближение на т-м шаге, которое строится не по частичным суммам ряда, а по остаткам.
Фт,] = Фп,п (2т X — 3 ) 5т ^т
¿2 2
¿+1 2m
R
m+1
Rm+1
Рис. 2. Процесс приближения по остаткам Fig. 2. Approximation process by residual
Определение 3. Назовем модулем непрерывности выражение
Uf (5) = sup (f (x + h) - f (x)), x G [0,1 - h],
модулем непрерывности второго порядка (модулем гладкости) —
и2(5) = sup (f (x + 2h) - 2f (x + h) + f (x)), x G [0,1 - 2h].
(8)
(9)
Теорема 2. Пусть фт](ж) — базис в С0[0,1]. Имеет место следующая оценка через модуль непрерывности:
f (x) Si (x)
i=0
<
Uf
2m+2
17
+ — u
2" ч 2 m-3
+ 5 • 2-10 (m-1)|| fll +2
(здесь и далее используется норма в С0[0,1]). Доказательство. Для начала докажем
f (x) Si (x)
i=0
= |Rm+1 (x;
(10)
В самом деле, используя (5) и (7), получим
f (x) Si (x)
i=0
R0 (x) - S0 (x) -¿Г Si (x)
i=1
1
1
4- 3 m
2
Ri(x) - Si(x) - ^ Si(x) = • • • = Rm+i(x).
i=2
Теперь докажем
Rm+i(x) ^ W/
17 о / 1
+2 \
+5 • 2-10(m-i) II/Il +24-3m
Пусть j G [0, 2n — 1]. Определим модуль двоичной непрерывности
= sup
/
j+1
—/
и модуль двоичной непрерывности второго порядка при j G [0, 2n — 2]
/ = sup
- 2/ f + /(j
(11)
По построению очевидно, что Rm (2m) = 0. Из (6) и (7) следует
R Л' + УЛ = R
Rm+i l ^ I = Rm
2
R™ I j+—— 1 — I Rr
'¿±4/4Ï - sj j+1/4'
Учитывая, что фт
2m y
f j+i/4 j y 2m
j 2ml ) + R™ ( 2Jm
i, получаем
( j ±1/4'
R
m+i
^ - (r.
j 2™/ ) + R™ ( 2™
Покажем, что
mim+2 ^ WRm-i,m+2 + 1/4 • W
2
j + 1/4' 2m
1
^ - • w
2 ^ Rm ,m+2 •
2.
Rm-2 ,m •
В самом деле, используя (12), имеем
(12) (13)
R
m+i
'¿±1/4'
2m
2Мi^) - ±
j 2^ ) + 2™
< 2 • I sup
j
2Rm- if 4j±r ) - l Rm- il 4j±T J + Rm- i
4j
2m+2
2m+2
2m+2
+ sup j
2Sm- if 4j±T J - (Sm- il 4j±2 J + Sm- i j
2m+2
2m+2
2m+2
+
<
Учитывая, что
Sm-i
4j + 1
2m+2
Rm-i
' j div 2 + 2 2m-i
0m-i,j div 2
4j + 1
2m+2
1
2
2
1
1
43 + 2
2т+2
43 + 0
2т+2
= Ят- 1
= Ят- 1
^у 2 + 2
2т-1
3 ¿1У 2 + 2
т1
получаем
Ят- 1
фт—1,7 ё1у 2
фт—1,7 ё1у 2
3 а1у 2 + 2
2т-1
'43+2
2т+2
43 + 0
2т+2
X
X
2Ф (43 + Л ф /43 + 2\ . /
2фт—1,7 ё1у 2 1 2т+^ - фт—1,7 ё1у 2 1 ^т+Т ) - фт—1,7 ё1у 2 I
'43+о'
2т+2
Последнюю сумму, стоящую под модулем, записываем в виде
2фт—1,7 ё1у 2
7 + 1
О I о
2
1 ] - фт—1,7 ё1у 2 ( -2+17 ) - фт—1,7 ё1у 2 2
2т—1
(14)
Рассмотрим 2 случая.
1. Пусть 3 четное, т.е. 3 = 2к. Тогда выражение (14) принимает вид
к + 1
к + 1
2фт—1,к ( 0т_х ) - фт—1,к ( 0т_х ) - фт—1,к
к
т1
Из леммы 4 следует
'к + 4 2т—1
Так как функция фт—1,0 является выпуклой на отрезке [0,1], то
фт— 1,к
к+8
2т—1
(15)
(16)
(17)
Тогда выражение под знаком модуля в (15) равно 4^ — 2 и для него выполняется
неравенство
1 , , 1 1 - - ^ 4^ - - ^ -. -2 -2 2
(18)
2. Пусть 3 нечетное, т. е. 3 = 2к + 1. Тогда выражение (14) принимает вид
2к+1 + 1\ / 2к+1 + 1 2фт—1,к I 2т_ 1 8 - фт—1,к 2т_ 1 4 I - фт— 1,к
2
2
2к+1 _ 2
2
т1
Из (16) и (17) следует, что выражение под знаком модуля 2(1 - - 1 - 1 = 2 - 2^ и для него выполняется неравенство
0 < 1 - 2^ < 1. 2- 2
(19)
(19) равно
(20)
Из (18) и (20) следует
<
—2 / — 2 + -,т+2 ^ — йт_1 ,т+2 + ^
11
Ят- 1
'3 ^ 2 + 1/4' 2т—1
<
2 | 2 2 | 2 —йт_1 ,т+2 + 2 ■ 2 ' —Дт-2,т = — йт_1 ,т+2 + 4 ■ — Дт-2 ,1
что доказывает неравенство (13).
1
Покажем, что при всех t ^ 2
с
^ с
+
1
Rm ,m+t ^ 0URm_i ,m+t ^t-1 ' CRm_2
В самом деле, из (11)
с
2
Rm ,m+t
sup
jE[0,2n-2]
2R
j + 1 2m+t
- R
\v2m+t y
+ R
2m+t
Применив (7), получим
CRm,m+i ^ SUP
j E[0,2n-2]
2Rm- 1 l j+7) — lRm- 1 l j+T ) + Rm- 1 ^
2m+t
2m+t
2m+t
+ sup
j €= [0,2n 2]
1 l j + , 1 j — 1 l j + , 2 j + 1
2m+t
2m+t
2m+t
Теперь используем (6):
CRm,m+i ^ SUP
j e[0,2n-2] + sup
j E[0,2n-2]
(20m-1,j div2*+^^^т+ТТ^ — div2*+^2+7) +
j + 2
+0m-1,j div 2t+1
2m+t
R fj div 2t+1 + + Rm-H 2m-1 + 2m
<
^ с
Rm_1 ,m+i + W(^m_1,j div2t + 1 )>m+i ' 2
R /j div 2t+1 + +
Rrn-H 2m-1 + 2m
Далее для оценки ) .. снова применим (11):
(™m~1,j div 2Î+1 )îm+t
(21)
+
+
= sup
fcG[0,2n-2]
С(фт_1,3 div2t+1 ),m+t
fk + 2\ fk + 1\ .
0m-1,j div 2*+^ 2m+t )— 2фт-1,j div 2*+^ ^m+i )+ ^m-1,j div2t+1
= sup
fcG[0,2n-2]
2m+t
Фп( 2"— j div2tT^ — 2ф,
2m+t
2m+t
Î2m-1 l+r1 — j div2tT^ +
y 2mTt J
(V-1^- — j div2t+1^)
У 2mTt J y
sup
fce[0,2n-2]
Фп
k+2
—j div 2tT1 )— 2ф
k + 1
—j div 2tT1
k
2t+1 J — ' - y -ml 2t+1 J ~ / 1 rn ^ 2t+1
Учитывая, что k G [0, 2n — 2], j G [0, 2n — 2], k, j G Z0, имеем
—j div 2tT1
с
div2*+1 = fcG[SUP-2]
. fk + 2\ o/ fk + 1\ .
Фп ^r — 2фп ^r + Ф>
^ sup
xe[0,1]
2
фп( x + — 2фп( x +
n 1 2t+1 1 >
2t+1
+ Фп (x)
2t+1
<
(— n 1 2t+1
<
1
2
2t+1
sup 1ФП (x)| .
xG[0,1]
2
2
j
j
k
Стоит отметить, что при п = 2 в точках 4, 1, | второй производной не существует, однако существуют вторые производные слева и справа, и этого вполне достаточно. Следовательно, данное доказательство справедливо для п ^ 2. Согласно теореме 1,
БИр |фп(ж)| = БИр |ф^п(ж хе[0,1] х
д(п, п)
БИр |фп,п-2 (ж)
п2+3п-2
2 2
^ п2+3п-Г2 2 2
д(п,п — 2) хе[0,1]
|фп,п-2 (ж)| = 25 |фп,п-2 (ж)| .
Согласно замечанию 3, |фп,п-2(ж)| ^ 1. Тогда
О
(т-
<
25 <
22^-3-
(22)
В свою очередь,
^ ШДт-г,т+* + 22^-3
Ят-1
3 а1у 2* + 1/4' 2т-1
(23)
Следовательно,
—2 / —2 | 1 —2
_ — 2 , х — 2
ь_2,т = и Дт-г,т+* + 4*-1 ШДт_2 ,т'
и неравенство (21) доказано. Вернемся к неравенству (12):
Я
т+1
3 + 1/4'
2т
1 — 2
Учитывая (13), получим
Я
т+1
3 + 1/4' 2т
1 2 1 — 2 ^
^ 2 йт-г,т+2 + 4Шйт-2,т
Преобразуем его с помощью неравенства (21):
Я
т+1
3 + 1/4'
2
1
< -
1
2 ^ ,т+2 + 16ШДт-з,т-1 ^ + 4и Дт-2,
1
2,т
= 1 — 2 +1 — 2 + _ -= -^-2 ,т+2 + 8 ШДт-2 ,т + оо ШДт-з ,т-1*
2
2
32
На следующем шаге преобразуем все слагаемые с индексом Ят-2
Я
т+1
3 + 1/4'
2
1 Л~2 1 ~2 1 Л~2 1~2
^ 2 I ^Дт-з,т+2 + 6400йт-4,т-2 I +8 1Шйт-з,т + 4иДт-4,т-П +
1
1
2 х~2 , х—2 , х —2 , 1+4~ 2
+ 32 Шйт-3,т-1 = 2 Шйт-3 ,т+2 ^ ^йт-з
+ 8 °йт-з ,т + 32 0йт-з ,т-1 +
128
-и—
йт-4 ,т-2'
2
1
1
1
Покажем с помощью метода математической индукции, что после k-го шага последнее неравенство примет вид
R
m+l
j + 1/4' 2r
)|< 1 (S m-k-1 ,m-í + Ck
,-k-2,m-k
где
C-2 = 1, с- = 0, Ck = 4(Ck-i + Ck-2).
Пусть при k — 1 справедливо
R
m+l
j + 1/4'
2m
(k l) l
^ 2 I E С^т-(к-1)-1 ,m-t + Ck-1 ^Rm-(k-1)-2,
-(k-1)-2 ,m-(k-l)
í=—2
Выполним преобразование (26) с помощью неравенства (21):
( j + 1/4'
R
m+l
2
<
<
1
k2
(24)
(25)
. (26)
1
2 I Е Ct ( WRm-(k-1)-1-1 ,m-t + 4m-t-(m-(k-l)-l)-l ШЯт-(к-1)-1-2,m-(k-1)-1 j +
í=—2
+Ck-l <
,-(fc-1)-2 ,m-(k-l)
(k-l)-l
=2 I £ с
í=—2
í ( ^Rm-k-1 ,m-í + 4k^í-l ^Rm-k-2 + Ck-1 ^Rm-k-1,
m-k+l
kl
2 E Cí^Rm-k-1 ,m-í + Ck^
2
Rm-k-2 ,m-k
í= 2
где
k2
í= 2
k- 3
Ck = E Cí = I E ЖТР^ТCí + ICk-2 = 4 (Ck-1 + Ck-2)
í= 2
т.е. С = . Неравенство (24) доказано. В итоге после к = т — 2 шагов имеем
R
m+l
'j+1/4' 2'
) ^ 2 (£ Cí^R. ,m-t + Cm-2^ .
(27)
Слагаемые вида ,т- мы можем переписать с помощью неравенства (23) следующим образом:
1
^R1 ,m-í ^ ^Rq,m-i + 22(m-í-l)-3
j' div 2m-1 + 2
Ro
Но R0 = f, следовательно,
^R1 ,(m-í) ^ ^/,(m-í) + 22(m-í-l)-3 H = ^/,(m-í) + 22(m-i)-5
(28)
1
1
Подставим (28) в (27), получим
Я
т+1
3 + 1/4' 2т
/ т—2 т—3
< Не с.—+Е
с,
т2
т3
с,
= 2(£ С,—2,т—, + 8||/II £ ^
¿=-2
т—. 1 22(т—5
¿=—2
т—2
2
„ т—,
¿=-2
4т—(—1 ) = 2(Е /.т—, + 8!/ 1Ст—0 ' (29)
Таким образом, в двоично-рациональных точках получена предварительная оценка через модуль двоичной непрерывности.
Теперь возьмем произвольный х из е = 2(т1+2) — окрестности точки 7+т4. Тогда
|Ят+1(х)| <
Я (х) Я ^ + 1/^ I Я /3 + 1/4'
Ят+1 (х) - Ят+1 -^Тт- + Ят+1
<
Ят+1 (х) - Я
т+1
3 + 1/4 2т
+
Я
т+1
2т
3' + 1/4 ^
2т /
2 <
(30)
Учитывая (10), неравенство (30) примет вид
| Ят+1 (х)| <
/(х) - 5 *(х^ - - 5 Ь
3 + 1/4'
2т
+
<
/ (х) - /
3 + 1/4'
2т
+ т
+
¿=0
Я
т+1
3 + 1/4'
2т
<
ЗД - Ь
3 + 1/4' 2т
+
Я
т+1
3 + 1/4'
2т
Оценим второе слагаемое в (31). Заметим, что если х е
7 7+1/2
2т , 2т
(31)
, то
х
7 ё1у 2т_» 7 ё1у 2т_»+1
2» 5 2*
. Учитывая (6) и равенство
^(П П)
8Ир (х)| = 8Ир (х)| = у^т—:-- йир 1(х)| ,
же[0,1] же[0,1] ^(п, п - 1) же[0,1]
имеем
Е
¿=0
Ь (х) - Ь
—Я
, (3 + 1/4
2т
<
т _ (3 +1\ Ф
Я, I -- diу 2Т
Е
¿=0 ут—Ъ\ 1
3 а1у2т—- + ±\
diу 2Т
23 + 1/4'
(х)-
2г
т
^Е
¿=0
diу2m_i (х) - diу2m_i
2т
Я, (
<
3 + 1/^ о (3 ¿1у2т—- + 2
<
<
¿0 Фп (2-х - 3 а1у 2т—¿) - 2^- 3 а1у 2
•Я,
3' а1у2т—- + 2
<
¿=0
т
^Е
¿=0
д(п,п -1) же[0,1]
БИр 1 (х)
2М х-
3 + 4
Я,
3' а1у 2т—- + 2 2
<
2т—¿+2
Я,
т—г | 1 _2
2*
3' а1у 2т—^ + 2
<
т1 У ( —
т
Я»;
т—г | 1 _2
2^
3' а1у 2т—^ + 2
(32)
2
2
т
2
4
Подставим (32) в (31)
|Rm+i (x)| ^
/(x)-/
j + 1/4'
2
+
i=0
+
R
m+i
\v2m-i
j + 1/4' 2m
R(i_
(i-i)+i
2 (j div 2m-i) + 4 2(i-i)
+
(33)
Из определения модуля гладкости в (9) и определения модуля двоичной непрерывности второго порядка в (11) очевидно, что —2,т ^ и2 (^т). Первое слагаемое оценим с помощью (8). Второе и третье слагаемые содержат только двоично-рациональные точки, оценка для которых получена в (29).
Тогда (33) примет вид
|Rm+i (x)| ^
¿2) + Е (' U Е С^2 (¿г I + «И/NCi-i 1 1 +
vi=—2
2i-t
(S C-2 (¿t) +8И/ll^) =
m i—2
=
т+2 ) + 2m+i-i ( 2i-W + 2m—2—i
2m+2
i=0 t= 2
i=0
m 2 m
+m-2et 2( 1
+ 2^ y / 2m—
+
+4Cm- i
Ci
2m+2
+ E E -m^-2
i=-2
1
+e С *?( 2m1,) + (E
i=—2 4 7 \i=0
ti=—2 ii =ti +2
Ci-i
2m-2-i
2m+i—i1 f y 2i1 —11
+ 4Cm- i
+
(34)
Произведем замену переменных в двойной сумме в (34). Пусть т — Ь = г1 — , г = т — г1. Так как г1 — Ь1 ^ 2, г1 — Ь1 ^ т + 2, то —2 ^ Ь ^ т — 2. С другой стороны, т + Ь1 — г1 ^ —2 + т — г1, а значит, г ^ Ь + 2. Так как г1 ^ т, то г ^ 0. Окончательно получим
IRm+i(x)l < (+ Е (Е C—T + Т)
+
s Г
+ ( E Cms—i+4Cm—i
i=0
2i—2
(35)
Покажем с помощью метода математической индукции, что для всех к ^ —2
С < 2-зк. (36)
Из (25) для к = —2 и к = —1 имеем
6 з
1 = С-2 < 2 5, 0 = С-1 < 2зз.
Пусть утверждение доказано для к — 2 и к — 1, следовательно,
Ck-2 < 2—3 (k—2), С*.i < 2—3 (k—i) •
1
1
Пользуясь неравенством (25),
С = 4 (Ск—2 + Ск—0 < 4 (2—5(к-2) + 2—5(к-1)) < 2—3М '^т^) < 2
что доказывает неравенство (36). Из (35) и (36) получим
|Ят+1 (х)1 < —/ (+ 5 (5 ^ + 2—3—2 (+
/ т 2 — 5 (т—¿—1) ч \
3 £ + 22—3 (т-1)] I/1 <
1 т—2 3 1 1 13 3 1
<Ч ^+£2-5 'П Г^Т+1 ] —Н ^+2 ¥-1Ч т^—1+1) |/«<
■5 (+ 2 (£—; (+ 2»-1 •• II/11) . (37)
При больших £ модуль гладкости
—2( 1
2
т
/(х + 2|7) -2/(х + 2т1— )+ /(х)
нельзя оценить лучше, чем 4||/1|. Однако при таких значениях £ коэффициенты С, будут малы. С другой стороны, когда С, недостаточно малы, модуль двоичной непрерывности —2т—' становится достаточно мал из-за величины интервала разбиения. Перепишем (37) следующим образом:
|Ят+1 (х)1 < —/ (+5 (52—34—1—К+ 5522—34—14||/1 +213—3т1|) (38)
и выберем к = т diy2 - 1. Следовательно, (38) будет иметь вид
(х)| < —/ ( +5 (Т-^—2 ( ¿•¿л) + (2—3 т Лу2+1+2 - -3 т) ||/||) < < —/ (¿2) + ?—2 (¿т^) +5 ■2-5тdiv21|/1 +24-3т|/| (39)
или, подставив в (39) т diy2 ^ ,
|Ят+1 (х)| < —/ (¿2) + у—2 (^ + 5 ■ 2-130(т-1)||/|| + 24-5т||/1|.
Теперь необходимо доказать, что разложение в ряд по системе единственно. Возьмем произвольную функцию /0(х) е С0[0,1]. Рассмотрим двоично-рациональную точку 1. В этой точке /0(х) принимает произвольное значение. Единственная функция из системы фт,7(х), коэффициент которой не определен в этой точке и которая
не равна нулю, — ф0,0(x). Следовательно, f0(x) должна быть приближена с помощью коэффициента при ф0,0(x). Таким образом, коэффициент при ф0,0(x) определяется однозначно. Далее рассмотрим точки Г и 3 .В каждой из этих точек из системы 0m,j(x) существует ровно одна функция, не равная нулю в этой точке и коэффициент которой не был определен ранее (соответственно фг,0(x) и фг,г(x)). Продолжая далее данный процесс, заметим, что для каждой двоично-рациональной точки существует ровно одна функция, коэффициент которой не был определен на предыдущих шагах, и при этом отличная от нуля в этой двоично-рациональной точке. Таким образом, коэффициенты каждой функции при разложении в ряд определяются однозначно.
Для того чтобы система была базисом в [0,1], дополним ее следующими функциями: ф-Гд — (2x) (x G [О, -]) и ф-г,0 — ф(2x — 1) (x G [-, 1]). Приблизив произвольную функцию f(x) G C[0,1], соответственно, ф-г,0 в x — О и ф-Гд в x — 1, получим произвольную функцию f0(x) G Co [0,1] D
Библиографический список
1. Faber G. Uber die ortogonalenfunctionen des Herrn Haar // Jahresber. Deutsch Math. Verein. 1910. Vol. 19. P. 104-112.
2. Schauder J. Zur Theorie stetiger Abbildungen in Fimktionalraumen // Math. Z. 1927. Bd. 2б. P. 47-б5.
3. Матвеев В. А. О рядах по системе Шаудера // Mатем. заметки. 19б7. Т. 2, вып. 3. С. 2б7-278.
4. Ciesielski Z. Some properties of Schauder basis of space C[0, 1] // Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 19б0. Vol. 3. P. 141-144.
5. Бочкарев С. В. О рядах по системе Шаудера // Mатем. заметки. 19б8. Т. 4, вып. 4. C. 45З-4б0.
6. Ульянов П. Л. О некоторых свойствах рядов по системе Шаудера // Mатем. заметки. 1970. Т. 7, вып. 4. C. 431-442.
7. Сабурова Т. Н. Суперпозиции функций и их ряды по системе Фабера - Шаудера // Изв. АН СССР. Сер. матем. 1972. Т. Зб, вып. 2. C. 401-422.
8. Горячев А. П. О коэффициентах Фурье по системе Фабера - Шаудера // Mатем. заметки. 1974. Т. 15, вып. 2. C. 341-352.
9. Абрамова В. В. О системе Фабера - Шаудера на треугольнике // Mатематика. Mеханика. 2015. Вып. 17. C. З-б.
10. Кашин Б. С., Саакян А. А. Ортогональные ряды : M. : АФЦ, 1999. 550 c.
11. Аубакиров Т. У., Бокаев Н. А. О новом классе систем функций типа Фабера - Шаудера // Mатем. заметки. 1974. Т. 82, вып. 5. C. б43-б51. DOI: https://doi.org/10.4213/mzm3840
12. Шайдуков К. М. О базисах в пространстве непрерывных функций, построенных из дуг парабол // Учен. зап. Казан. ун-та. 19б5. Т. 125, № 2. C. 133-142.
13. Лукомский С. Ф., Терехин П. А., Чумаченко С. А. Хаосы Радемахера в задачах построения сплайновых аффинных систем // Mатем. заметки. 2018. Т. 103, вып. б. C. 8бЗ-874. DOI: https://doi.org/10.4213/mzm11654
14. Чумаченко С. А. Об одном из аналогов системы Фабера - Шаудера // Труды математического центра имени Н. И. Лобачевского. Казань, 201б. Т. 53. С. 1бЗ-1б4.
Образец для цитирования:
Чумаченко С. А. Гладкие аппроксимации в C[0,1] // Изв. Сарат. ун-та. Нов. сер. Сер. Mатематика. Mеханика. Информатика. 2020. Т. 20, вып. 3. С. З2б-З42. DOI: https://doi.org/10.18500/181б-9791-2020-20-3-32б-342
Smooth Approximations in C[0,1]
S. A. Chumachenko
Sergei A. Chumachenko, https://orcid.org/0000-0001-7088-3740, Saratov State University, 83 Ast-rakhanskaya St., Saratov 410012, Russia, chumachenkosergei@gmail.com
The first orthonormal basis in the space of continuous functions was constructed by Haar in 1909. In 1910, Faber integrated the Haar system and obtained the first basis of continuous functions in the space of continuous functions. Schauder rediscovered this system in 1927. All functions of Faber - Shauder are piecewise linear, and partial sums are inscribed polygons. There was many attempts to build smooth analogues of the Faber - Schauder basis. In 1965, K. M. Shaidukov succeeded. The functions he constructed were smooth, but consisted of parabolic arcs. Shaidukov proved the uniform convergence of the obtained expansions, but failed to obtain deviation estimates. Another analogue of the Faber - Schauder system was proposed by T. U. Aubakirov and N. A. Bokaev in 2007. They built a class of functions that form a basis in the space of continuous functions, obtained estimates of the deviation of partial sums from the approximated function. The functions constructed were piecewise linear, as in the Faber - Schauder system. We construct smooth analogues of the Faber - Schauder system and obtain estimates of the deviation of partial sums from the approximate function. Those are systems of compressions and shifts of a single function, which we call the binary basic spline. The binary basic spline is an integral of the n-th order of the Walsh function W2«-1. Thus, we were able to construct analogues of the Faber -Schauder system with a large degree of smoothness and obtain deviations in terms of module of continuity.
Keywords: basic splines, smooth interpolation, multi-scale analysis.
Received: 18.12.2019 / Accepted: 01.04.2020 / Published: 31.08.2020
This is an open access article distributed under the terms of Creative Commons Attribution License (CC-BY 4.0)
References
1. Faber G. Uber die ortogonalenfunctionen des Herrn Haar. Jahresber. Deutsch Math. Verein., 1910, vol. 19, pp. 104-112.
2. Schauder J. Zur Theorie stetiger Abbildungen in Fimktionalraumen. Math. Z., 1927, Bd. 26, pp. 47-65.
3. Matveev V. A. On Schauder system series. Math. Notes, 1967, vol. 2, iss. 3, pp. 646-652. DOI: https://doi.org/10.1007/BF01094054
4. Ciesielski Z. Some properties of Schauder basis of space C[0, 1]. Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys., 1960, vol. 3, pp. 141-144.
5. Bochkarev S. V. Series with respect to the Schauder system. Math. Notes, 1968, vol. 4, iss. 4, pp. 763-767. DOI: https://doi.org/10.1007/BF01093716
6. Ulianov P. L. On series with respect to a Schauder system. Math. Notes, 1970, vol. 7, iss. 4, pp. 261-268. DOI: https://doi.org/10.1007/BF01151699
7. Saburova T. N. Composite functions and their series in the Faber -Schauder system. Math. USSR-Izv., 1972, vol. 6, iss. 2, pp. 395-415. DOI: https://doi.org/10.1070/IM1972v006n02ABEH001879
8. Goryachev A. P. The Fourier coefficients with respect to the Faber -Schauder system. Math. Notes, 1974, vol. 15, iss. 2, pp. 192-198. DOI: https://doi.org/10.1007/BF02102406
9. Abramova V. V. Faber - Schauder system on the triangular mesh. Mathematics. Mechanics, 2015, iss. 17, pp. 3-6 (in Russian).
10. Kashin B. S., Saakian A. A. Ortogonal'nye riady [Ortogonal series]. Moscow, AFC, 1999. 550 p. (in Russian).
11. Aubakirov T. U., Bokaev N. A. On a new class of function systems of Faber - Schauder type. Math. Notes, 1974, vol. 82, iss. 5, pp. 643-651. DOI: https://doi.org/10.1134/S0001434607110016
12. Shaidukov K. M. Parabolic basis in continuos function space. Uchenie zapiski Kazanskogo universiteta, 1965, vol. 125, no. 2, pp. 133-142 (in Russian). DOI: https://doi.org/10.4213/mzm3840
13. Lukomskii S. F., Terekhin P. A., Chumachenko S. A. Rademacher Chaoses in Problems of Constructing Spline Affine Systems. Math. Notes, 2018, vol. 103, iss. 6, pp. 919-928. DOI: https://doi.org/10.1134/S0001434618050280
14. Chumachenko S. A. One analogue of Faber - Schauder system. Trudy matematicheskogo tsentra imeni Lobachevskogo. Kazan, 2016, vol. 53, pp. 163-164 (in Russian).
Cite this article as:
Chumachenko S. A. Smooth Approximations in C [0,1]. Izv. Saratov Univ. (N.S.),
Ser. Math. Mech. Inform., 2020, vol. 20, iss. 3, pp. 326-342 (in Russian). DOI: https://doi.org/10.18500/1816-9791-2020-20-3-326-342