Правило склеивания для полиномов Бернштейна на симметричном отрезке Текст научной статьи по специальности «Математика»

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 3

УДК 517.518.82

ПРАВИЛО СКЛЕИВАНИЯ ДЛЯ ПОЛИНОМОВ БЕРНШТЕЙНА НА СИММЕТРИЧНОМ ОТРЕЗКЕ

И. В. Тихонов1, В. Б. Шерстюков2, М. А. Петросова3

1 Тихонов Иван Владимирович, доктор физико-математических наук, профессор кафедры математической физики факультета ВМК, Московский государственный университет имени М. В. Ломоносова, [email protected] 2Шерстюков Владимир Борисович, кандидат физико-математических наук, доцент кафедры высшей математики, Национальный исследовательский ядерный университет «МИФИ», [email protected]

3Петросова Маргарита Арсеновна, аспирантка кафедры математического анализа, Московский педагогический государственный университет, [email protected]

Изучаются специальные закономерности, возникающие в последовательности полиномов Бернштейна на симметричном отрезке [-1,1]. Установлено явное правило регулярного попарного совпадения (правило склеивания), действующее для полиномов Бернштейна в случае кусочно-линейной порождающей функции с рациональными абсциссами точек излома. Показана точность этого правила для выпуклых кусочно-линейных порождающих функций. Отмечена возможность «случайных» склеиваний полиномов Бернштейна в невыпуклом случае. Рассмотрены примеры и иллюстрации.

Ключевые слова: полиномы Бернштейна, симметричный отрезок, кусочно-линейные функции, правило склеивания.

DOI: 10.18500/1816-9791 -2015-15-3-288-300

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

1. ПОЛИНОМЫ БЕРНШТЕЙНА

Для функции f (x), непрерывной на отрезке [a, b] с R, полиномы Бернштейна вводят формулой Bn(f,x) = ф-ГоуП Е f ((b-na)k + a) СП (x - a)k (b - x)n-k, n € N.

Здесь x — вещественная переменная, а СП — биномиальные коэффициенты:

СП =

n!

n € N,

k = 0, 1, ...,n; C0 = 1.

k) k! (n - k)V "0

Ясно, что Bn(f, x) — алгебраический полином переменной x, причем

deg Bn (f,x) < n, n € N.

В случае простейшего отрезка [0,1] получаем стандартные полиномы Бернштейна:

k=о

Bn (f,x) = E f Г СП xk (1 - x)

n-k

n € N.

Обычно изучают именно их (см. [1—5]).

Сейчас нас интересует случай симметричного отрезка [-1,1], имеющий свою специфику. Согласно общему определению полиномы Бернштейна для функции f € С[-1,1] вводят формулой

Bn (f,x) = -П Е f (2k - 1) СП (1 + x)k (1 - x)n-k,

k=0 ^ '

n € N.

(1)

Случай симметричного отрезка важен для практики. Структура многих функций более естественно проявляется на [-1,1], чем при переносе этих функций на [0,1].

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

п

n

© Тихонов И. В., Шерстюков В. Б., Петросова М. А., 2015

И. В. Тихонов и др. Правило склеивания для полиномов Бернштейна на симметричном отрезке

2. ХАРАКТЕРНЫЙ ПРИМЕР

Пусть

( 2x + 1, — 1 < x < —1/2,

/(x) = < О, — 1/2 < x < 1/2, (2)

Ux — 1, 1/2 < x < 1.

Функция (2) является нечетной, кусочно-линейной на [—1,1] с изломами в точках

1 1 ,оч

Xi = — 2 ’ Х2 = 2 • (3)

График функции представлен на рисунке.

Прямые вычисления по формуле (1) дают несколько первых полиномов Бернштейна:

Bi (/,x) = x, B2 (/,x) = x, B3 (/,x) = 8 (3x + x3) ,

B4 (/,X) = 1 (X + X3) , B5 (/,X) = 2 (X + X3) ,

Be (/, x) = -б (7x + 10x3 — X5) , B7 (/, x) = З2 (11X + 25x3 — 3x5 — X7) ,

Bs (/, x) = 8 (2x + 7x3 — x7) , B9 (/, x) = 8 (2x + 7x3 — x7) •

Обратим внимание на такие особенности. Большинство полиномов представленного списка вырождаются, т. е. имеют степень меньше собственного номера. Отчасти это связано с соображениями нечетности, но, впрочем, не только. Также влияют совпадения

B2 (/, X) = Bi (/, X), B5 (/, x) = B4 (/, x), B9 (/, x) = Bs (/, x) •

Первое из них вызвано особыми причинами — тем, что точки графика с абсциссами x = —1, x = О, x = 1 попадают на одну прямую y = x (ср. рисунок и лемму 5). Последующие совпадения вида

B4m+1 (/, x) = B4m(/, x), m G N, (4)

будут регулярными и продолжатся до бесконечности. Причина заключена в точках излома (3). Отнюдь не очевидно, но правило (4) «учитывает» то, что в записи несократимых дробей (3) содержится четное число (см. теорему 1).

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

Математика

289

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 3

3. СООБРАЖЕНИЯ ЧЕТНОСТИ И НЕЧЕТНОСТИ

Симметричный отрезок [—1,1] естественно приспособлен для изучения четных и нечетных функций. Логично предположить, что полиномы (1) наследуют свойства четности или нечетности порождающей функции f (x). Это действительно так.

Лемма 1. Пусть f е С[—1,1] с полиномами Бернштейна Bn (f, x), определенными по форму-

ле (1). Тогда справедливы утверждения: 1) если f (—x) = f (x) для всех x е [—1,1], то

Bn (f, —x) = Bn (f, x), x е R, n е N; (5)

2) если f (—x) = —f (x) для всех x е [—1,1], то

Bn (f, —x) = —Bn (f, x), x е R, n е N. (6)

Доказательство. При всех x е R и всех n е N по формуле (1) получаем:

n(f, —x) = ^ Ё f(f — ^ СП (1 — x)k (1 + x)n-k = { k = n — m } =

k=0

= 2n E f (2(n— m) — ^ cn-m (1 — x)n-m (1 + x)m =

= 2n E f (1 — 2m) cm (1+x)m (1—x)n-m.

iy~yt —П E /

Обозначим индекс суммирования снова через k. В результате имеем:

Если f (x) является четной, то

Сравнивая (1) и (7), видим, что тогда Bn(f, —x) = Bn(f, x), т. е. выполнено соотношение (5). Если f(x) является нечетной, то

1n 2. у f 2n k=0 (1 — 2k) cn (1 + x)k (1 — x)n-k, n е N. (7)

f ( ■—2k)=f (n—■)■

n

fi ■—2k)=f 2k—■

Но тогда Bn(f, —x) = —Bn(f, x), т. е. выполнено соотношение (6). Тем самым, оба утверждения леммы доказаны. □

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

Лемма 2. Пусть f е С[—1,1] с полиномами Бернштейна Bn(f, x), определенными по формуле (1). Тогда справедливы такие утверждения:

1) если f (—x) = f (x) для всех x е [—1,1], то

deg B2m+i (f,x) < 2m, m е Z+ = N U {0};

2) если f (—x) = —f (x) для всех x е [—1,1], то

deg B2m (f,x) < 2m —

290

1

m е N.

Научный отдел

И. В. Тихонов и др. Правило склеивания для полиномов Бернштейна на симметричном отрезке

Доказательство. Отмеченные соотношения суть прямые следствия того, что полиномы Бернштейна сохраняют четность или нечетность порождающей функции f (x). □

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

4. ПРАВИЛО СКЛЕИВАНИЯ НА СИММЕТРИЧНОМ ОТРЕЗКЕ

Возможность попарных совпадений в последовательности полиномов Бернштейна впервые подмечена в [6] для кусочно-линейных выпуклых функций f (x) на [0,1]. Некоторые аспекты такого явления изучались затем в [7-10]. Формулировка, восходящая к [6], кажется нам не вполне удачной: соотношение Bn+1 (f, x) = Bn(f, x) с фиксированным n £ N гарантируется для стандартных полиномов Бернштейна на [0,1] при условии, что функция f (x) линейна на отрезках вида

j - 1 j

nn

j = 1, ...,n.

Подобный подход, исходящий из номера совпадения, а не из особенностей выбранной функции, не слишком удобен на практике. Поставим, например, вопрос о возможных совпадениях стандартных полиномов Бернштейна для кусочно-линейной функции f (x), заданной на [0,1], с изломами в точках

1 1 1 1 1 1

7, x2 = 6, x3 = 5 ’ x4 = 4, x = 3 - x6 =2

(8)

Пользуясь указанной формулировкой, трудно угадать правильный ответ, который состоит в том, что B420m+1 (f,x) = B420m (f, x) ПрИ Любом m £ N.

Более практичная формулировка предложена в [11]: на [0,1] действует универсальное правило Bqm+1 (f, x) = Bqm(f, x), где m £ N, a q — наименьший общий знаменатель дробей, выражающих абсциссы точек излома. От функции f (x) требуется только кусочная линейность, от точек излома — только рациональность абсцисс. Прочие соображения оказываются не важны; разбор примера (8) становится элементарным. Отметим также, что наш интерес к проблематике вызван предыдущим исследованием [12], посвященным полиномам Бернштейна для функции

f(x) = |2x - 1|, x £ [0,1].

В этом принципиальном примере правило склеивания B2m+1 (f, x) = B2m (f, x) играло центральную роль. Дополнительные подробности по свойству склеивания на [0,1] представлены в обзоре [5].

Обратимся теперь к симметричному отрезку [— 1,1]. Простая идея — взять кусочно-линейную функцию на [—1,1], перенести ее на [0,1] и воспользоваться прежними результатами — вполне пригодна в каждом конкретном случае. Но такой подход не позволяет выявить подлинной закономерности. Дело в том, что несократимые дроби на [— 1,1] переходят в некие дроби на [0,1], чей наименьший общий знаменатель сложно зависит от характера первоначальных дробей на [-1,1]. Желательно дать универсальное правило в терминах исходной функции. Окончательный результат выглядит так.

Теорема 1. Пусть функция f (x) непрерывна и кусочно-линейна на [—1,1] с конечным числом точек излома, причем абсциссы всех точек излома рациональны и записаны в виде несократимых дробей

xj = ^, j = 1, ...,r, (9)

qj

где

Pj £ Z, qj £ N, |pj | < qj, j = 1, ..., r. (10)

Пусть q — наименьшее общее кратное знаменателей q1, ...,qr. Тогда если все числа pj, qj, j = 1, ..., r, являются нечетными, то полиномы Бернштейна (1) функции f (x) подчинены правилу попарного склеивания:

Bqm+1 (f, x) Bqm (f, x) , m £ N.

(11)

Математика

291

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 3

Если же среди чисел pj, qj, j = 1, ..., r, есть хотя бы одно четкое число, то правило склеивания приобретает вид

B2qm+1 (f,x) = B2qm(f,x), m £ N. (12)

Представленные правила (11) и (12) описывают регулярные цепочки склеиваний, неизбежно возникающие в последовательностях полиномов Бернштейна для кусочно-линейных функций на [— 1, 1]. Полезно иметь в виду, что при дополнительном требовании выпуклости, наложенном на порождающую функцию f (x), какие-либо иные попарные совпадения, кроме отмеченных в теореме 1, будут уже невозможны. Другими словами, справедлив такой результат, показывающий точность теоремы 1 для выпуклых кусочно-линейных функций.

Теорема 2. Пусть непрерывная кусочно-линейная функция f (x) удовлетворяет предположениям теоремы 1 и, кроме того, является выпуклой вверх или выпуклой вниз на [—1,1]. Тогда для полиномов Бернштейна (1) функции f (x) действует соотношение

Bn+1 (f, x) = Bn (f, x)

(13)

при всех номерах n £ N, кроме указанных в теореме 1.

Точнее, если несократимые дроби (9), выражающие абсциссы точек излома функции f (x), содержат только нечетные значения pj, qj, j = 1, ..., r, то соотношение (13) действует при всех n £ N, кроме случаев, отмеченных в правиле (11). Значение q в правиле (11) есть наименьшее общее кратное для знаменателей дробей (9).

Если же несократимые дроби (9) содержат в своей записи хотя бы одно четное число среди значений pj, qj, j = 1, ..., r, то соотношение (13) действует при всех n £ N, кроме случаев, отмеченных в правиле (12), где q — по-прежнему наименьшее общее кратное для знаменателей дробей (9).

Теоремы 1 и 2 являются основными результатами статьи. Для замкнутости изложения обоснуем их независимо, не апеллируя к отрезку [0,1]. Ключевую роль в рассуждениях играет специальная формула, выражающая разность двух последовательных полиномов Бернштейна.

5. МОДИФИЦИРОВАННАЯ ФОРМУЛА ТЕМПЛА

Нужная формула впервые появилась в работе Темпла [13] для стандартных полиномов Бернштейна на [0,1]. Позже и независимо это же соотношение переоткрывалось в работах [6,14] (см. также [3, с. 115] и [4, с. 309-310]). Модификация на [—1,1] выглядит более громоздко, но будет полезной при систематическом изучении полиномов Бернштейна на симметричном отрезке. Приведем соответствующий результат вместе с полным выводом.

Лемма 3. Пусть f £ C[—1,1] с полиномами Бернштейна Bn (f, x), определенными по формуле (1). Тогда

Bn+1 (f,x) — Bn(/,*) = ДгЁ Qn,k(f)(1 + x)k (1 — x)n-k+1, n £ N,

2n + 1

k = 1

где

«... If) - cn+i f (nfr — >) — cn f (2? — ■) — cn-1 f ( ^ — 0 .

n + 1 n

Доказательство. Основываясь на (1), имеем:

Bn (f, x) = Bn (f, x)

(1 — x) + (1 + x)

= 2STT E f (2k — 0 cn (1 + x)n (1 — x)n"n+1 + (1 + x)k+1 (1 — x)n-k

k—n \

k=0

2

(14)

(15)

292

Научный отдел

П. В. Тихонов и др. Правило склеивания для полиномов Бернштейна на симметричном отрезке

Разобьем на две суммы и во второй перейдем к нумерации по к от 1 до n + 1. Получим: Bn(f, x) = -+1 £ f(2k - Л СП (1 + x)k (1 - x)"-k+1 +

k=0 ' '

+ ^ E f 0 Ck-1 (1 + x)k (1 - *rk+‘.

k — 1

Из первой суммы выделим слагаемое с к = 0, из второй — с k = n + 1. В итоге Bn(f,x) = f(-1)(1 - X)n+T + f(1)(1 + x)"+^ +

+

[ck /(2k -1)+ c„k—1 f (M -1)

(1 + x)k (1 - x)

n —k + 1

Для полинома Bn+T (f, x) имеем соответственно

n+1

k—0

1 2k

Bn+1 (f,x) = 2n+T I] f (^+1 - 0 Cn+1(1 + x)k (1 - x)

ш—k+1 _

2n+1 f (-1)(1 - x)n+‘ + f (1)(1 + x)n+‘) +

+ 2Л+^Ё C»k+1 Hn2TI - 0 (1 + x)k(x -x)

k—1

\n — k +1

Взяв разность Bn+1 (f, x) - Bn(f, x), приходим к заявленной формуле (14) с коэффициентами вида (15). □

Тот же Темпл, первым подметил в [13], что коэффициенты подобных формул допускают геометрическое истолкование (см. также [4, с. 309-310] и [6,14]). В нашем случае эта идея воплощается так.

Рассмотрим коэффициенты Qn,k(f) в записи (15). Применим тождество

Ck ____ s~ik — 1 I s~ik

n+1 = Cn + Cn

и получим

}n,k

2k

Qn-k (f ) = cn—м Hn^r - 0 - f(^ - 0)- cn (/(2k - О - An+1

Теперь, воспользовавшись обозначением для разделенных разностей

[f 1 _ f(x1) - f(xo)

[f; x1 ,xo] _

x1 - x0

нетрудно проверить, что

2

f ;2k - 1,-+- - 1

n n + 1

n+1

Qn ,k (f ) = - -T1 cn—1

Переходя к разделенным разностям второго порядка

_ [f; x2 ,x1 ] - [f; x1 ,xo]

f-1,kik-T. _!

(16)

имеем запись

Qn,k (f ) = -

[f; x2 ,x1 ,xo] _

4 cfc—1

n(n +1) n—1

x2 - xo

f; 2k - - 1, kik-1 _ !

n n +1 n

(17)

При работе с формулами (16), (17) полезно учитывать расположение точек

, ^ 2(к - 1) 2к 1 2к 1

-1 < —-------- - 1 < ----- - 1 <----1 < 1, к = 1,...,n,

n n + 1 n

верное при любом n G N.

1

Математика

293

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 3

6. НУЖНЫЕ СЛЕДСТВИЯ ИЗ ФОРМУЛЫ ТЕМПЛА

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

Справедлив очевидный принцип: разделенная разность [f; x2, xt , x0] равна нулю тогда и только тогда, когда тройка точек

(xo, f (xo)), (xi, f (xi)), (X2, f (X2)) расположена на одной прямой, Отсюда извлекаем следующий результат,

Лемма 4. Пусть f е C[—1,1] с полиномами Бернштейна Bn(f, x), определенными по формуле (1). Для выполнения соотношения

Bv+i(f,x) = Bv (f,x)

(18)

с некоторым фиксированным значением v е N необходимо и достаточно, чтобы при каждом k е { 1, ..., v } точка

2 k

v + 1

- 1,

f

2k

v + 1

-1

(19)

находилась на прямой, соединяющей точки

2(k - 1) _ f (2(k - 1) _ 1

2k

v

1, f

2k _ 1

v

(20)

Доказательство. Согласно формуле (14), примененной к фиксированному значению n = v, для выполнения соотношения (18) необходимо и достаточно, чтобы коэффициенты Qv,k(f) обращались в нуль при k =1, ..., v, Достаточность понятна, Для доказательства необходимости надо заметить, что система функций

Pk(x) = (1 + x)k (1 _ x)v fc+i, k = 1, ..., v

линейно независима на [_1,1], поскольку после подстановки x = y(t) = (t — 1)/(t + 1) с переменной t > 0 получим систему

tk

Дк(t) = Pk(Y(t)) = (t + X)v+i > k = 1, ..., v,

очевидно линейно независимую на [0, то), Основываясь затем на записи (17), замечаем, что каждый коэффициент Qv,k(f) равен нулю тогда и только тогда, когда соответствующая точка (19) попадает на прямую, соединяющую точки (20), Лемма доказана, □

Особо отметим следующий частный случай леммы 4, Он, кстати, был реализован ранее в примере для функции (2),

Лемма 5. Пусть f е C[—1,1] с полиномами Бернштейна Bn (f, x), определенными по формуле (1). Для выполнения соотношения

B2 (f,x)= Bi (f, x) (21)

необходимо и достаточно, чтобы серединная точка (0, f (0)) графика функции f (x) находилась на прямой, соединяющей концевые точки (—1, f (—1)), (1, f (1)). В частности, для выпуклой на [—1,1] функции f (x) (неважно, выпуклой вверх или выпуклой вниз) соотношение (21) возможно тогда и только тогда, когда f (x) линейна на [—1,1].

Доказательство. Утверждение леммы 5 непосредственно следует из леммы 4, взятой со значением v = 1, Понятно, что в выпуклом случае промежуточная точка (0, f (0)) может находиться на прямой,

294

Научный отдел

И. В. Тихонов и др. Правило склеивания для полиномов Бернштейна на симметричном отрезке

соединяющей концевые точки (-1, f (—1)), (1, f (1)), тогда и только тогда, когда функция f (x) линейна на [-1,1]. □

Совпадение (21) возникает обычно изолировано — оно не вписывается в общие правила (11), (12), отмеченные в теореме 1. Приведем теперь другой результат, также основанный на лемме 4, но имеющий прямое отношение к регулярным цепочкам склеиваний.

Лемма 6. Пусть f е C[—1,1] с полиномами Бернштейна Bn(f, x), определенными по формуле (1). Предположим, что функция f (x) кусочно-линейна на [—1,1] с конечным числом точек излома, абсциссы которых рациональны и записаны в виде несократимых дробей (9) при ограничениях (10). Допустим, что дроби (9) представимы в виде

р1 = Щ -1, е N, kj <v, j = 1, (22)

qj v

с общим фиксированным значением v е N, v > 2. Тогда для такого v имеет место совпадение (18).

Доказательство. Действительно, пусть дроби (9), выражающие абсциссы точек излома, представимы в виде (22) с общим фиксированным значением v е N, v > 2. Тогда все отрезки

Afc =

' 2(k - 1)

v

1,2k

v

1

k =1, 2, ..., v,

(23)

попадают на промежутки линейности функции f(x), и при каждом k е {1, 2, ..., v} точка (19) находится на прямой, соединяющей точки (20). Применяя лемму 4, получаем требуемое соотношение (18). □

Для выпуклых функций утверждение леммы 6 допускает такое обращение (ср. с [3, с. 115] и [6, с. 253], где аналогичное свойство с несколько иной точки зрения обсуждается на стандартном отрезке [0,1]).

Лемма 7. Пусть f е C[-1,1] с полиномами Бернштейна Bn(f,x), определенными по формуле (1). Предположим, что функция f (x) выпукла вверх или выпукла вниз на [-1,1] и отлична от линейной функции. Допустим, что при некотором v е N, v > 2, имеет место совпадение (18). Тогда функция f (x) является кусочно-линейной на [-1,1] с конечным числом точек излома, количество которых r е N подчинено ограничению r < v. Абсциссы точек излома рациональны, и дроби, их выражающие, представимы в виде (22) с тем же значением v, что и в (18).

Доказательство. Действительно, пусть выполнено соотношение (18) с некоторым фиксированным значением v е N, v ^ 2. По лемме 4 каждая промежуточная точка (19) должна попадать на прямую, соединяющую соответствующие точки (20). Для выпуклой функции это возможно, если f (x) линейна на каждом отрезке (23). Следовательно, функция f(x) непременно будет кусочно-линейной; ее точки излома находятся среди концевых точек отрезков (23) и допускают представление вида (22). Количество таких точек может быть любым числом r е N, подчиненным ограничению r < v. Лемма доказана. □

После проделанной подготовительной работы можно приступить к доказательству основных теорем 1 и 2.

7. ДОКАЗАТЕЛЬСТВО ОСНОВНЫХ РЕЗУЛЬТАТОВ

Итак, пусть функция f(x) непрерывна и кусочно-линейна на [-1,1] с конечным числом точек излома. Считаем, что абсциссы всех точек излома рациональны и записаны в виде несократимых дробей (9) с естественными ограничениями (10).

По лемме 6 если дроби (9) представимы в виде (22) с фиксированным v е N, v > 2, то гарантировано совпадение (18) с тем же значением v е N. Другими словами, представления (22) достаточны для совпадения (18). Более того, по лемме 7 если f(x) является выпуклой на [-1,1] (неважно, выпуклой вверх или выпуклой вниз), то представления (22) не только достаточны, но и необходимы для совпадения (18). Проанализируем представления (22) и установим, при каких v они возможны.

Математика

295

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 3

Выражая из (22) значения kj, получим:

, _ (Pj + qj) v

j 2qj

j = 1, ..., r.

(24)

С учетом предположений (10) ясно, что 0 < kj < v. Но числа kj обязаны быть также натуральными. Выявим точное ограничение на v, обусловленное данным требованием. Именно оно необходимо и достаточно для справедливости представлений (22).

Поскольку дроби pj/qj считаем несократимыми, то дроби (pj + qj)/qj тоже несократимы. Поэтому число v в (24) должно делиться нацело на наименьшее общее кратное q чисел qi, ..., qr. Наличие двойки в знаменателях дробей (24) влечет необходимость различать два случая.

Допустим сначала, что все числа pj, qj, j = 1, ..., r, являются нечетными. В таком случае все суммы pj + qj окажутся четными, и для принадлежности чисел (24) множеству N необходимо и достаточно, чтобы v = qm с некоторым значением m е N. Итак, для справедливости представлений (22) необходимо и достаточно, чтобы v = qm с некоторым значением m е N. Но тогда действует правило склеивания (11), как и утверждает теорема 1. Более того, если f(x) является выпуклой на [— 1, 1], то никакие иные последовательные совпадения, кроме (11), становятся невозможны, как утверждает теорема 2.

Пусть теперь среди чисел pj, qj, j = 1, ..., r, есть какие-то четные, например, в парах

pjs, qjs, s = 1 ...,*.

Так как дроби (9) предполагаем несократимыми, то в каждой такой паре может быть только один четный элемент, и, значит, все суммы pjs + qjs, s = 1, ..., t, заведомо окажутся нечетными. Следовательно, для принадлежности чисел (24) множеству N необходимо и достаточно, чтобы v делилось нацело на

,.., 2j, (25)

а также на все остальные числа

qj, je {ji, ...,jt } , (26)

если они есть. Среди чисел (26) четные точно отсутствуют. Поэтому наименьшим общим кратным всех чисел (25), (26) будет 2q, и значение v обязано делиться на 2q. Точнее, для принадлежности чисел (24) множеству N необходимо и достаточно, чтобы v = 2qm с некоторым m е N. Тем самым, для справедливости представлений (22) необходимо и достаточно, чтобы v = 2qm с некоторым значением m е N. Но тогда действует правило склеивания (12). Более того, если f (x) является выпуклой на [—1,1], то никакие иные последовательные совпадения, кроме (12), становятся невозможны. Теоремы 1 и 2 полностью доказаны.

8. ПРИМЕРЫ И КОММЕНТАРИИ

Установленные правила позволяют быстро выявлять регулярные цепочки склеиваний в последовательностях полиномов Бернштейна для кусочно-линейных функций на [—1,1]. Требуется только следить, какой из случаев — (11) или (12) — соответствует имеющимся точкам излома. Для наглядности приведем несколько примеров. Как и прежде, обозначаем через q наименьшее общее кратное (НОК) знаменателей q1, ..., qr несократимых дробей (9), выражающих абсциссы точек излома. Другими словами, значение q есть наименьший общий знаменатель указанных дробей.

1. Пусть f(x) = |3x — 1| на [—1,1]. Функция имеет точку излома с абсциссой х1 = 1/3. Здесь p1 = 1, q1 = 3 и q = 3. Числа p1, q1 являются нечетными, и по формуле (11) полиномы Бернштейна склеиваются цепочкой B3m+1 (f, x) = B3m (f, x) при m e N.

2. Пусть f(x) = |2x — 1| на [—1,1]. Функция имеет точку излома с абсциссой x1 = 1/2. Здесь p1 = 1, q1 = 2 и q = 2, причем число q1 является четным. По формуле (12) полиномы Бернштейна склеиваются цепочкой B4m+1 (f, x) = B4m (f, x) при m e N.

3. Пусть f (x) = |5x + 3| + |3x —1| на [—1,1]. Функция имеет точки излома с абсциссами x1 = —3/5, x2 = 1/3. Числа p1 = —3, q1 = 5, p2 = 1, q2 = 3 являются нечетными, причем q = НОК(5, 3) = 15. По формуле (11) полиномы Бернштейна склеиваются цепочкой B15m+1 (f, x) = B15m (f, x) при m e N.

296

Научный отдел

И. В. Тихонов и др. Правило склеивания для полиномов Бернштейна на симметричном отрезке

4. Пусть f (х) = |5х + 3| + |3х — 2| на [-1,1]. Функция имеет точки излома с абсциссами х1 = -3/5, х2 = 2/3. Здесь р1 = —3, q1 =5, р2 = 2, q2 = 3. Снова q = НОК( 5, 3) = 15, но число р2 = 2 является четным. По формуле (12) полиномы Бернштейна склеиваются цепочкой B30m+1(f, х) = B30m(f,x) при m G N, что в два раза реже, чем в предыдущем примере.

5. Пусть f (х) = |7х —1| + |6х —1| + |5х —1| + |4х —1| + |3х —1| + |2х —1| на [—1,1]. Функция имеет те же точки излома, что и в примере (8), обсуждавшемся на [0,1] ранее. Поскольку в записи дробей (8) встречаются четные числа, то по формуле (12) полиномы Бернштейна на [—1,1] склеиваются цепочкой B840m+i (f, х) = B840m (f, х) при m G N, что в два раза реже, чем для того же выражения f (х), но взятого на [0,1].

6. Пусть f(х) = |х| на [—1,1]. Единственная точка излома х1 =0 дает значения р1 =0, q1 = 1 и q =1. Так как число р1 является четным, то по формуле (12) полиномы Бернштейна склеиваются цепочкой

B2m+1 (f, х) = B2m(f, х), m G N. (27)

Регулярная цепочка (27) — наиболее «частая» из возможных. Ее также порождает любая другая кусочно-линейная функция на [—1,1] с единственной точкой излома в нуле. Отметим, кстати, что свойство склеивания обладает сильной неустойчивостью, и при малейших возмущениях точки излома регулярная цепочка склеиваний «переформатируется», выдавая результат, сколь угодно далекий от исходного.

7. Пусть f (х) = |х|, f1 (х) = |х — х1|, f2(х) = |х — х21 на [—1,1] со значениями

х _ 1 х _ 1

х1 _ 1Ш , х2 _ 1002.

Структура функций однотипна, значения Близки, но правило склеивания действует совершенно по-разному: для функции f (х) выполнено прежнее соотношение (27), в то время как для возмущенных функций имеем цепочки

B1001m+1 (f1 ,х)= B1001m B2004m+1 (f2, х) = B2004m(f2,x), m G N.

Поскольку HOK(2, 1001, 2004) = 1001 • 2004 = 2006004, то первое совместное совпадение произойдет лишь на номере v = 2006004, когда

B2006005 (f, х) _ B2006004 (f, х), B2006005 (fk, х) _ B2006004 (fk, х), k = 1, 2, сразу для трех указанных функций.

В представленных примерах все функции являются выпуклыми вниз на [—1,1]. По теореме 2 отсюда следует, что среди их полиномов Бернштейна нет никаких других последовательных совпадений, кроме указанных выше по правилам теоремы 1. Иначе говоря, в примерах 1-7 указанными цепочками склеиваний всЕ и исчерпывается.

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

Без требования выпуклости картина сложнее. Исправляя неточность, допущенную в [5, с. 144], специально подчеркнем, что в невыпуклом случае, помимо регулярных цепочек склеиваний, возможны и случайные совпадения отдельных полиномов, возникающие из-за специфики той или иной порождающей функции. Соответствующий пример уже фигурировал в п. 2 для функции f (х) из формулы (2). Напомним, что там B2(f, х) = B1 (f, х) = х вне всякой связи с регулярным законом (4). Отмеченное совпадение полностью объясняется частной леммой 5. Множество других примеров случайных склеиваний без труда строится с учетом основной леммы 4. Обсудим это обстоятельство отдельно.

Математика

297

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 3

9. СЛУЧАЙНОЕ СКЛЕИВАНИЕ В НЕВЫПУКЛОМ СЛУЧАЕ

Каждое разовое совпадение Bv +1 (f, x) = Bv(f, x) двух последовательных полиномов Бернштейна должно Быть согласовано с леммой 4. Однако точки (19) могут «случайно» оказаться на прямых, соединяющих соответствующие точки (20), без непосредственной связи с расположением точек излома. Именно так и происходит со значением v = 1 для функции (2), когда точка графика (0, f (0)) попадает на прямую, проходящую через точки (—1, f (—1)) и (1, f (1)) (см. рисунок).

Развивая идею, легко указать конструкцию кусочно-линейной функции f (x) с выполненным соотношением Bv+1 (f, x) = Bv(f, x) для любого заранее предписанного значения v > 2, не обусловленного теоремой 1.

Проще всего поступить следующим образом. Зафиксируем значение v е N, v > 2, и рассмотрим точки

2k

xv k —-----1, k = 0, 1,

2k

, v;

xv+1, k —

v ■ ' v + 1

расположив их в одну возрастающую последовательность:

1, k = 1, ..., v,

1 — xv,0 < xv+1,1 < xv, 1 < xv+1,2 < xv,2 < ... < xv, v—1 < xv+1, v < xv,v — 1. (28)

Проведем теперь ломаную так, чтобы ее последовательные изломы располагались между точками (28), а в самих точках (28) ломаная пересекала бы ось абсцисс. Отождествим эту ломаную с графиком кусочно-линейной функции f(x). Поскольку f(x) обращается в нуль во всех точках (28), то Bv+1 (f, x) = Bv(f, x) = 0 просто по определению (1). Ясно, что данное совпадение полностью согласовано с леммой 4, но никак не связано с правилами (11) или (12) из теоремы 1, ибо абсциссы точек излома могут произвольно варьироваться между точками последовательности (28).

Подобная конструкция позволяет построить функцию f(x) — 0 (кусочно-линейную или даже просто непрерывную, но непременно не выпуклую) с совпадением любой наперед заданной конечной выборки полиномов Бернштейна:

Bni (f, x) = Bn2 (f,x) = ... = Bn (f, x)

вне всякой связи с теоремой 1.

Но можно ли хоть для какой-то непрерывной функции f(x) добиться появления бесконечной цепочки регулярных склеиваний, не подпадающих под действие теоремы 1, нам пока неясно. Эта так называемая «проблема Пассоу» [8] до сих пор не решена и требует специального исследования. Разумеется, принципиальный ответ достаточно получить для стандартного отрезка [0,1]. Некоторые подготовительные соображения и обсуждение задачи см. в [9,10].

Работа выполнена при финансовой поддержке РФФИ (проект № 13-01-00281).

Библиографический список

1. Lorentz G. G. Bernstein Polynomials. N.Y. : Chelsea Publ. Comp., 1986. xi+134 p.

2. Виденский В. С. Многочлены Бернштейна : учеб. пособие к спецкурсу. Л. : ЛГПИ им. А. И. Герцена, 1990. 64 с.

3. Davis Р. J. Interpolation and Approximation. N.Y. : Dover, 1975. xvi+394 p.

4. DeVore R. A., Lorentz G. G. Constructive Approximation. Berlin ; Heidelberg ; N.Y. : Springer-Verlag, 1993. x+450 p.

5. Тихонов И. В., Шерстюков В. Б., Петросова М. А. Полиномы Бернштейна : старое и новое // Математический форум. Т. 8, ч. 1. Исследования по математическому анализу. Владикавказ : ЮМИ ВИД ран и РСО-А, 2014. С. 126-175.

6. Schoenberg I. J. On Variation Diminishing Approximation Methods // On Numerical Approximation. Proceedings of a Symposium conducted by the Math. Research Center US Army, University of Wisconsin, Madison, April 21-23, 1958 / ed. by R. E. Langer. Madison : University of Wisconsin Press, 1959. P. 249-274.

7. Freedman D., Passow E. Degenerate Bernstein polynomials // J. Approx. Theory. 1983. Vol. 39, № 1. P. 89-92.

8. Passow E. Some unusual Bernstein polynomials // Approximation Theory IV. Proc. Intern. Symposium on Approximation Theory Held at Texas A&M University, College Station, Texas, on January 10-14, 1983 / eds. C. K. Chui, L. L. Schumaker,

298

Научный отдел

И. В. Тихонов и др. Правило склеивания для полиномов Бернштейна на симметричном отрезке

J. D. Ward, N.Y. ; London : Academic Press, 1983. P. 649-652.

9. Passow E. Deficient Bernstein polynomials // J. Approx. Theory. 1989. Vol. 59, № 3. P. 282-285.

10. Kocic Lj. M., Della Veccla B. Degeneracy of positive linear operators // Facta Universitatis (Nis). Ser. Mathematics and Informatics. 1998. Vol. 13. P. 59-72.

11. Петухова H. Ю., Тихонов И. В., Шерстюков В. Б. Свойство склеивания полиномов Бернштейна для кусочно-линейных непрерывных функций // Математика, информатика, физика в науке и образо-

вании : сб. науч. трудов к 140-летию МПГУ. М. : Прометей, 2012. С. 81-82.

12. Тихонов И. В., Шерстюков В. Б. Приближение модуля полиномами Бернштейна // Вестн. Челяб. гос. ун-та. Математика. Механика. Информатика. 2012. Т. 15, № 26. С. 6-40.

13. Temple W. B. Stieltjes integral representation of convex functions // Duke Mathematical Journal. 1954. Vol. 21, № 3. P. 527-531.

14. AramA O. RroprientAfi privind monotonia sirului polinoamelor de interpolare ale lui S. N. Bernstein si aplicarea lor la studiul aproximArii funcfiilor // Studii si cercetAri de MatematicA (Cluj). 1957. Vol. 8, № 3-4. P. 195-210.

Gluing Rule for Bernstein Polynomials on the Symmetric Interval

I. V. Tikhonov1, V. B. Sherstyukov2, M. A. Petrosova3

1 Tikhonov Ivan Vladimirovich, Moscow State University, Faculty of Computational Mathematics and Cybernetics, GSP-1, 1-52, Leninskiye Gory, 119991, Moscow, Russia, [email protected]

2Sherstyukov Vladimir Borisovich, National Research Nuclear University MEPhI, 31, Kashirskoe shosse, 115409, Moscow, Russia, [email protected]

3Petrosova Margarita Arsenovna, Moscow Pedagogical State University, 1, M. Pirogovskaya st., 199296, Moscow, Russia, [email protected]

We study special laws that arise in a sequence of the Bernstein polynomials on a symmetric interval. In particular, we set the exact rule of regular pairwise coincidence (gluing rule) which is acting for the Bernstein polynomials of a piecewise linear generating function with rational abscissas of break points. The accuracy of this rule for convex piecewise linear generating functions is shown. The possibility of “random” gluing for the Bernstein polynomials in a non-convex case is noted. We give also some examples and illustrations.

Keywords: Bernstein polynomials, symmetric interval, piecewise linear functions, gluing rule.

This work was supported by the Russian Foundation for Basic Research (project no. 13-01-00281).

References

1. Lorentz G. G. Bernstein Polynomials. New York, Chelsea Publ. Comp., 1986, xi+134 p.

2. Videnskii V. S. Mnogochleny Bernshteina [Bernstein Polynomials]. Posobie k spetskursu. Leningrad, LGPI, 1990, 64 p. (in Russian).

3. Davis P. J. Interpolation and Approximation. New York, Dover, 1975, xvi+394 p.

4. DeVore R. A., Lorentz G. G. Constructive Approximation. Berlin, Heidelberg, New York, Springer-Verlag, 1993, x+450 p.

5. Tikhonov I. V., Sherstyukov V. B., Petrosova M. A. Polynomy Bernshteina: staroe i novoe [Bernstein Polynomials: the old and the new]. Matematiches-kii forum. Issledovaniia po matematicheskomu analizu, Vladikavkaz, Publ. VNTs RAN, 2014, vol. 8, pt. 1, pp. 126-175 (in Russian).

6. Schoenberg I. J. On Variation Diminishing Approximation Methods. On Numerical Approximation. Proceedings of a Symposium conducted by the

Math. Research Center US Army, University of Wisconsin, Madison, April 21-23, 1958 / ed. by R. E. Langer. Madison, University of Wisconsin Press, 1959, pp. 249-274.

7. Freedman D., Passow E. Degenerate Bernstein polynomials. Journal of Approximation Theory, 1983, vol. 39, no. 1, pp. 89-92. DOI: 10.1016/0021-9045(83)90071-0.

8. Passow E. Some unusual Bernstein polynomials. Approximation Theory IV. Proceedings of the International Symposium on Approximation Theory Held at Texas A&M University, College Station, Texas, on January 10-14, 1983 / eds. C. K. Chui, L. L. Schumaker, J. D. Ward. New York, London, Academic Press, 1983, pp. 649-652.

9. Passow E. Deficient Bernstein polynomials. Journal of Approximation Theory, 1989, vol. 59, no. 3, pp. 282-285. DOI: 10.1016/0021-9045(89) 90092-0.

Математика

299

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2015. Т. 15, вып. 3

10. Kocic Lj, М., Della Veeeia В. Degeneracy of positive linear operators. Facta Universitatis (NIs). Ser. Mathematics and Informatics, 1998, vol. 13, pp. 59-72.

11. Petukhova N. Yu., Tikhonov I. V., Sherstyu-kov V. В. Svoistvo skleivaniia polinomov Bern-shteina dlia kusochno-lineinykh nepreryvnykh funktsii [Gluing property of Bernstein polynomials for piecewise linear continuous functions]. Matematika, informatika, phizika v nauke i obrazovanii. Sbornik nauchnykh trudov k 140-letiyu MPGU. Moscow, Prometei, 2012, pp. 81-82 (in Russian).

12. Tikhonov I. V., Sherstyukov V. B. Priblizhenie УДК 517.518

modulia polinomami Bernshteina [The module function approximation by Bernstein polynomials]. Vestnik ChelGU. Matematika. Mekhanika. Informatika, 2012, vol. 15, no. 26, pp. 6-40 (in Russian).

13. Temple W. B. Stieltjes integral representation of convex functions. Duke Mathematical Journal, 1954, vol. 21, no. 3, pp. 527-531. DOI: 10.1215/ S0012-7094-54-02152-3.

14. AramA O. RroprientAfi privind monotonia sirului polinoamelor de interpolare ale lui S. N. Bernstein si aplicarea lor la studiul aproximArii funcfiilor. Studii si cercetari de MatematicA (Cluj), 1957, vol. 8, no. 3-4, pp. 195-210.

ПРИБЛИЖЕНИЕ ФУНКЦИЙ ОГРАНИЧЕННОЙ p-ВАРИАЦИИ

СРЕДНИМИ ЭЙЛЕРА

А. А. Тюленева

Тюленева Анна Анатольевна, аспирантка кафедры теории функций и приближений, Саратовский государственный университет им. Н. Г. Чернышевского, [email protected]

В настоящей статье мы изучаем средние Эйлера:

eUf)(x) =

П

Е

k=Q

n

k

qn~k (1 + q)~nSk (f )(x)

q > 0, n G Z+,

где Sk (f) есть k-я частичная сумма тригонометрического ряда Фурье. Для p-абсолютно непрерывных функций (f g Cp, 1 < p < то) мы рассматриваем их приближения средними Эйлера в равномерной и Cp-метрике в терминах модулей непрерывности wk (f )cp, k g N, и наилучших приближений тригонометрическими полиномами En (f )cp. Можно отметить следующее неравенство разных метрик из теоремы 2:

If - el(f)|U < Ci(1 + q)-

Е

j=Q

qn-j Ej (f )

n

p

n G N,

которое является точным. Доказано также следующее обобщение результата Ч. Чуи и А. Холланда.

Если ш является модулем непрерывности на [0, п], таким что S t-2w(t) dt = 0(x(S)), 1 < p < то и f g Cp удовлетворяет двум свойствам: 1) ш2 (f,t)cp < Cw(t) ;2) J2n/(n+1) t-1 \\px(tl)-px (t+2n/(n+1))|cp dt = 0(ш(1/п)), где рх(t) = f (x +1) + f (x -1) - 2f (х),то ||еП(f) - f\\cp < Cw(1/n), n g N. Даны также некоторые приложения к приближениям в метриках типа Гёльдера.

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

DOI: 10.18500/1816-9791 -2015-15-3-300-309

ВВЕДЕНИЕ

Пусть 1 < p < то, f (x) — измеримая ограниченная 2п-периодическая функция и £ = {x0 < <x1 < ... < xn = xo + 2п} — разбиение периода. Введем p-вариационную сумму:

Kp(f)= |f (x*) - f (xi-1)|p

\i=1

© Тюленева А. А., 2015