CC BY
16
Владикавказский математический журнал 2019, Том 21, Выпуск 3, С. 62-86
УДК 517.518.82+519.117 DOI 10.23671 /VNC.2019.3.36462
АЛГЕБРАИЧЕСКАЯ ЗАПИСЬ ПОЛИНОМОВ БЕРНШТЕЙНА НА СИММЕТРИЧНОМ ОТРЕЗКЕ И СВЯЗАННЫЕ С НЕЙ КОМБИНАТОРНЫЕ СООТНОШЕНИЯ*
М. А. Петросова1, И. В. Тихонов2, В. Б. Шерстюков3
1 Московский педагогический государственный университет, Россия, 107140, Москва, ул. Краснопрудная, 14; 2 Московский государственный университет имени М. В. Ломоносова,
Россия, 119991, Москва, ГСП-1, Ленинские горы, 1; 3 Национальный исследовательский ядерный университет «МИФИ»,
Россия, 115409, Москва, Каширское шоссе, 31 E-mail: petrosova05@mail.ru, ivtikh@mail.ru, shervb73@gmail.com
Аннотация. Ставится вопрос о явной алгебраической записи полиномов Бернштейна по степеням независимой переменной. Кратко обсуждается общая постановка задачи на произвольном отрезке [a,b]. Для полноты картины напоминаются формулы Вигерта, действующие для коэффициентов полиномов Бернштейна на стандартном отрезке [0,1]. В центре внимания сейчас другой случай — симметричного отрезка [— 1,1], что представляет несомненный интерес для теории аппроксимации. В работе найдены выражения, регулирующие образование коэффициентов полиномов Бернштейна на [-1,1]. Для интерпретации ответа потребовалось ввести новые числовые объекты — специальные «трапеции Паскаля». Они строятся аналогично классическому треугольнику по своим «начальным» и «краевым» условиям. С трапециями Паскаля связаны разнообразные соотношения, во многом обобщающие привычные комбинаторные тождества. В работе проведено систематическое исследование подобных свойств; составлена сводка основных формул. Полученные результаты находят применение при изучении поведения коэффициентов полиномов Бернштейна на [-1,1]. Так, например, оказывается, что есть универсальная связь двух коэффициентов a2m,m (f) и am,m(f), действующая при всех m £ N для любой функции f £ C [— 1,1]. В итоге установлено существенное отличие картины на [-1,1] от случая стандартного отрезка [0,1]. Намечен ряд перспективных тем для дальнейших исследований, часть из которых активно проводится в последнее время.
Ключевые слова: полиномы Бернштейна, симметричный отрезок, трапеции Паскаля, комбинаторные соотношения.
Mathematical Subject Classification (2000): 41A10, 11B83, 05A10, 05A19.
Образец цитирования: Петросова М. А., Тихонов И. В., Шерстюков В. Б. Алгебраическая запись полиномов Бернштейна на симметричном отрезке и связанные с ней комбинаторные соотношения // Владикавк. мат. журн.—2019.—Т. 21, вып. 3.—С. 62-86. DOI: 10.23671/VNC.2019.3.36462.
1. Введение
Полиномы Бернштейна — известный объект анализа, играющий значимую роль в задачах аппроксимации. Базовые сведения по теории классических полиномов Бернштейна см. в [1-7]. Дополнительная информация, связанная с недавними исследованиями авторов, представлена в обзоре [8]. Традиционно полиномы Бернштейна рассматривают на стандартном отрезке [0,1]. Считается, что переход к другому отрезку не несет ничего существенно нового. С точки зрения характера аппроксимации это действительно так:
#Работа выполнена при частичной финансовой поддержке Российского фонда фундаментальных исследований, проект № 18-01-00236.
© 2019 Петросова М. А., Тихонов И. В., Шерстюков В. Б.
основные закономерности, регулирующие сходимость полиномов Бернштейна к порождающей их непрерывной функции, сохраняются на любом отрезке [а, Ь] С М с соответствующими техническими поправками. Однако, алгебраическая и комбинаторная информация, обильно заложенная в полиномах Бернштейна, может неожиданно трансформироваться при формальном переходе на другой отрезок. Помимо стандартного случая [0,1] естественно выделить симметричный отрезок [-1,1], на котором полиномы Бернштейна ранее почти не изучались. Ясно, что симметричный отрезок тесно связан с соображениями «четности» и «нечетности», принципиально важными для анализа, но не очень органичными на стандартном отрезке [0,1]. В работе [9] авторы показали, какие изменения претерпевает формулировка так называемого «правила склеивания» при переходе к симметричному отрезку [-1,1].
Займемся теперь другим вопросом — о том, что произойдет с развернутой алгебраической записью полиномов по степеням переменной ж, если рассматривать конструкцию Бернштейна на [—1,1]. Оказывается, технические отличия от [0,1] будут весьма значительными — возникнут принципиально новые комбинаторные объекты в виде серии специальных «трапеций Паскаля», своеобразно обобщающих привычный треугольник.
Для традиционных биномиальных коэффициентов используем обозначение
СЦ=,„П- Л = 0,1,..., п; С0° = 1. (1)
к!(п - к)!'
Основное тождество
^~<к-1 . {-чк __(¡л\
сп + сп — сп+1, (2)
уп+1,
выполненное при всех п € N и к — 1,..., п, будем называть правилом Паскаля.
Для того чтобы более отчетливо проследить связь новых результатов с тем, что известно для стандартного случая, целесообразно начать с общих положений и изложить фактуру с единой точки зрения.
2. Общее определение полиномов Бернштейна
Для функции /: [а, Ь] ^ С, непрерывной на отрезке [а, Ь] С М, полиномы Бернштейна вводят формулой
= ХъЬхг Р/{а + "а)к{Ь"п 6 (3)
с независимой переменной ж и биномиальными коэффициентами (1). Формула (3) для полиномов Вп(/, ж) — Вп(/; а, Ь; ж) «привязана» к выбранному отрезку [а, Ь]. Для упрощения записей не будем отмечать зависимость от отрезка в последующих обозначениях, ограничиваясь четким указанием на обсуждаемый случай.
Ясно, что любой полином Вп(/, ж) имеет степень, не большую собственного номера:
deg Вп(/, ж) ^ п, п € N.
Поэтому полиномы (3) допускают алгебраическую запись
п
Вп (/, ж)— £ ап,т(/)жт, п € N. (4)
т=0
Числовые коэффициенты
ап,т(/), п € М, т = 0,1,...,п, (5)
являются линейными комбинациями, составленными из значений функции / в точках соответствующей равномерной сетки на [а, Ь], в том смысле, что
>(/) = Е+ т = 0,1,...,п. (6)
к=0 ^ '
Конкретные значения множителей АП,т € М зависят от выбора отрезка [а, Ь] С М, но не зависят от взятой функции / € С [а, Ь].
Если для некоторой функции / € С [а, Ь] каждое выражение (6) дает значение нуль, то все полиномы (4) тождественно равны нулю, и по аппроксимационной теореме Берн-штейна функция /(х) будет тождественно равна нулю на [а, Ь], как предельная функция последовательности полиномов Вп(/, х).
Другими словами, совокупность всех коэффициентов (5), возникающих на [а, Ь] при алгебраической записи полиномов Бернштейна (3), образует тотальную систему линейных непрерывных функционалов в пространстве С [а, Ь]. Эта система является избыточной — в зависимости от выбора отрезка [а, Ь] некоторые функционалы (5) могут линейно выражаться через другие. Например, на отрезке [-1,1] возникает особая последовательность коэффициентов ат,т(/) и а2т,т(/), связанных друг с другом пропорциональным образом (см. теорему 5 ниже).
Как уже сказано, конструкцию Бернштейна обычно рассматривают на стандартном отрезке [0,1]. Напомним, как выглядит запись (4) и какие выражения получаются для коэффициентов (5) в этом каноническом случае.
3. Случай стандартного отрезка
Согласно общему определению (3) для функции / € С[0,1] полиномы Бернштейна имеют вид
'К
.п.
вп(/,х) = ^Г/(-)с!;хк(1-хТ-к, пеп. к=0
(7)
Непосредственно из (7) нетрудно получить несколько первых явных формул:
ВД,х) = /(0) + (/(1)- /(0)) х,
Д>(/, х) = /(0) + 2 (/ (£) - /(0)) я + (/(1) - 2/ + /(0)) Ж2,
ад, х) = /(о) + з (/ - /(о))ж+3 (|) -(|) + /(°))ж2
+ (/(1)-3/0)+3/(1)-/(О)),з,
Б4(/, X) = /(0) + 4 (/ ф - /(0)) я + 6 (/ - 2/ ф + /(0)) Ж2
3\ 1V 1 \ „„Л з
+ (/(1)"4/ ПН +6/(Г) "4/ (1)+Д°))*4
а
Вопрос об общей алгебраической записи (4) для стандартных полиномов (7) поставил и решил Вигерт [10]. Он показал, что коэффициенты (5) в этом случае выглядят так:
т , _ . \
(/) = ¿Г £(-!)' / ) = С™А™/п /(0). (8)
к пз ( —_I
3=0
Здесь
т
ДГ/„/(о) = £(-!)'"<&/ ^
¿=0 4 7
есть конечная разность порядка т с шагом 1/п, взятая от функции / € С[0,1] в выделенной точке ж — 0. (Про конечные разности см. [11, с. 157-160].) Для сравнения с последующим напомним вывод результата (8) (см. также [5, с. 108-109], [7, с. 249-251]).
Определим стандартные первичные полиномы Бернштейна
Рп,к (ж)— Сп жк (1 - ж)п-к, п € N к — 0,1,...,п. (9)
По формуле бинома запишем
п- к п- к
Рп,к (ж) — Скжк £ (-1)3 сп-к ж3 — сп сп-к жк+3.
¿=0 3=0
Но
гкгз = п[ {п-к)\ =_п\_{к + э)\ = к
п п~к Щп- к)\ з\(п-к-з)\ (к+з)\(п-к-з)\ к\з\ п к+
Поэтому
п—к п
Рп,к(ж) — Е(-1)3 сп+3Ск+3 жк+3 — {т — к + Л — ^(-1)т—кстстж
3=0 т=к
Итак, для первичных полиномов (9) получено представление
п
Рп,к (ж) — е (-1)т—к стст жт (10)
т=
После подстановки (10) в формулу (7) имеем
п / к \ п к=0 ^ ' т=к
п т / 7 \ п
= ЕЕ (-1)"1""/ (-) = Е
где
\ П / — У ""ПуГпК т=0 =0 т=0
ащт(Л = / = {; = т - к} = С™ ¿(-1 уС>т / (
к=0 3=0 V п /
что и совпадает с указанным выше выражением (8).
Особо отметим «локальный» характер коэффициентов an,m(/) на стандартном отрезке [0,1]. Действительно, в выражении (8) для конкретного коэффициента an,m(/) участвуют значения функции / только из отрезка [0,m/n]. Но такие отрезки стягиваются к нулю, если зафиксировать m € N и положить n ^ то. Попросту говоря, коэффициенты an,m(/) при любой выбранной степени xm, начиная с соответствующего (достаточно большого) номера n, «чувствуют» значения функции лишь вблизи нуля — в малой окрестности [0,5] и «нечувствительны» к изменениям /(x) вне отрезка [0,5].
Точнее, справедлив принцип локализации: если /,g € C[0,1], и /(x) = g(x) на промежутке 0 ^ x ^ 5 с некоторым 5 € (0,1), то для коэффициентов (8) имеем совпадение
an,m(/) = an,m(g), vn ^ [m/5], (11)
где [m/5] — потолок числа m/5 по терминологии [12], т. е. наименьшее целое число, большее или равное m/5.
Дополнительную информацию о поведении коэффициентов an,m(/) в полиномах Бернштейна на стандартном отрезке [0,1] см. в [10, 13].
4. Полиномы Бернштейна на симметричном отрезке
Изучим теперь правила, регулирующие алгебраическую запись (4) для полиномов Бернштейна на симметричном отрезке [—1,1]. Краткое изложение полученных результатов дано нами в заметке [14]. Некоторые дополнительные сведения о полиномах Бернштейна на симметричном отрезке можно найти в [9, 15].
Согласно общему определению (3) для функции / € С[—1,1] полиномы Бернштейна принимают вид
1 / 2к\
1 ^^ " ' - ■ 2к > 'Укп , „лк(Л т\и-к
= ^ Е f -1 + - Сп(1 + х)'"(1 - х)п~\ п € N. (12)
к=0 '
Наряду с исходным определением (12) удобно использовать эквивалентную запись
ад> *) = ^ Е /(1 - Щ)с-+*)п~*' п е (13) к=0 ^ '
с суммированием от правой границы отрезка [-1,1], а не от левой, как в формуле (12). Элементарный переход от (12) к (13) происходит с учетом равенства С%-к = С^. Прямые вычисления по формуле (12) (или (13)) дают следующие результаты:
Вг(М = 1(/(1) + /(-!)) +1(/(1) -/(-1))®,
1 2 1 Д>(/, = 4 (/(1) + 2/(0) + /(-1)) + ~4 (/(1) - /(-1))® + ~4 (/(1) - 2/(0) + Д-1)>2,
Яз(/, х) = I (/(1) + 3/ + 3/ + /(-1) з Л,., . .(1 \ .( 1 \ .Л . з „(1 \ ,.( Л . \ 2
+ 5 ^/(1) + f{-3)-f{-3)~ /<-иj * + 5 [Ш) - / ^ - / Ь I + /(-« ) -
ад, х) = ^ (/(1) + 4/ + 6/(0) + 4/ + /(-1))
+ А (/(1) _ 2/(0) + /(-1)) ж2 + ± (/(1) - 2/ + 2/ - /(-1)) ж3
+ ^ (/(1) " 4/ + 6/(0) - 4/ + /(-1)) ж4.
Некоторые дроби специально оставлены не сокращенными для лучшего наблюдения за действующими закономерностями.
Требуется найти общие правила, регулирующие образование коэффициентов в подобных формулах. Понятно, что комбинаторная природа возникающих соотношений здесь более сложная, чем в аналогичных примерах на [0,1]. Сразу обратим внимание на одну особенность первых полиномов Вп(/, ж), записанных для [—1,1]. Все суммы в скобках перед степенями ж удобно начинать с / (1), поскольку именно / (1) всегда присутствует со знаком «плюс». Как выяснилось в процессе исследований, при выводе соответствующей общей формулы целесообразно исходить из представления (13), где суммирование также начинается с /(1). Именно на (13) и будем основываться.
5. Первичные полиномы в симметричном случае
Согласно (13) первичные полиномы Бернштейна на [—1,1] определим формулой
ТпА*) = ^Сп( 1-х)к(1 + х)п~к, п&П, к = 0,1,...,п. (14)
Для разложения полинома Тп,к(ж) по степеням ж надо перемножить два бинома, каждый из которых раскрывается со своим числом слагаемых. Перемножение упростится, если раскрывать биномы в виде бесконечных «рядов Лорана», стандартно расширив определение биномиальных коэффициентов (1) так, чтобы верхний индекс мог принимать любые целые значения.
При п € N и {0} положим
, п
Сп = тт,■—'—ГТ7 = Л €{...,-3,-2,-1} и {71+1,71+ 2,71 + 3,...}. (15) п к!(п - к)!
Это согласуется с известным свойством факториала
1
(—т)!
= 0, т € N
и с общим подходом к биномиальным коэффициентам [12, с. 178-180]. Понятно, что правило Паскаля (2) сохранится при всех п € N и {0} и к € Ъ.
Приняв соглашение (15), в формулах биномов можно перейти к бесконечным суммам:
к те
(1 - ж)к = £(-1)3Ск ж3 = £(-1У Ск ж3,
3=0 3=—те
п—к те
(1 + ж)п к = £ СП —к = £ СП—к
1=0 1=—те
Формально перемножим получившиеся ряды Лорана:
те
(1 - х)к(1 + х)П—к = Е(-1)'Ск х3 Е СП-к х1
„3=—те / \1=—те
\ те / те
3С3С1 . 1хт = ^ I ^ (_1УС3Ст—3 |хт
= Е Е (-1)3 Ск СП -Л х™ = £ Е (-1)3 Ск С„-к IX
т=—те \ 3+1=т ' т=—те \ 3=-те /
Отдельно рассмотрим возникшие свертки биномиальных коэффициентов
те
Е (-1)3 Ск СП—к3 - Е (-1)3 Ск СП—к3. (16)
3=—те 3
Как обычно, суммирование без указания пределов означает, что сумма вычисляется по всем возможным ненулевым слагаемым. Для того чтобы ^-е слагаемое в формуле (16) было отличным от нуля, должны выполняться соотношения
/о < ; < к,
|0 ^ т — j ^ п — к,
из которых следует, что 0 ^ т ^ п. Поэтому при т < 0 и при т > п все слагаемые в свертке (16) обращаются в нуль, и сама свертка тоже равна нулю. Оставляя лишь ненулевые свертки, приходим к формуле перемножения биномов
)п-к = 1)3 Ск СП—к I хт
(1 _ х)к (1 + х)П—к = £ ]Т(_1)3 С СП——3 хт. (17)
т=0 3
Подставим (17) в формулу (14). Получим
1 П / \ П
1 \ ^ I \ ^ / \ 1^ 3 ^т — 3 1 т 1
т=0 3 т=0 3
3 _ /^-<к—3 /1
СПСкСп—к = СП СтСП—т, (18)
Заметим, что
С С = С С С
уп^к п— к п ^т^п—т
ибо
п! к! (п _ к)
п к п-к-щп_ку_ (т-.])\(п-к-т + .])\
п! т! (п _ т)!
_ С тС 3 С к—3
Сп СтСп—т"
т!(п _ т)! j!(m _ ,?')! (к _ j)!(n _ т _ к + j)! Итак, для первичных полиномов (14) справедливы разложения
= ^ Е ( )^ га <е N. * = 0,1,... , п. (19)
т=0 3
С помощью формулы (19) легко вывести явное алгебраическое представление по степеням переменной х для полиномов Бернштейна на симметричном отрезке.
6. Алгебраическая запись полиномов Бернштейна на симметричном отрезке
Основное утверждение состоит в следующем.
Теорема 1. Пусть / € С[—1,1] с полиномами Бернштейна Вп(/, ж), определенными по формуле (13). Тогда коэффициенты полиномов Вп(/, ж) в алгебраической записи (4) выражаются в виде
1 п
п
Оп,т(Л = ^Сп Е°п,ш / 1 - — Ь п € М, т = 0,1,..., п, (20)
к=0 ^ '
со значениями
^ у( 1) СтСп—т• (21)
< Согласно (13) имеем
п / „к \ i.—п \ П /
с первичными полиномами Тп,к(ж) из формулы (14). Воспользуемся разложениями (19) и получим
к=0 ' т=0 \ 3
^ Е Е () / -1) = Е ^
где
т=0 к=0 V 7 / т=0
>(/) = Е (Е ыус^СЩ
к=0 \ 3
Но это и есть запись (20) с числами ^п,т из формулы (21). >
Установленные формулы содержат богатую комбинаторную информацию. Раскроем арифметическую природу чисел ^п т и покажем, что их можно находить через весьма регулярные процедуры.
Наиболее простая ситуация со значениями ^10, отвечающими выбору т = 0. Эти числа фигурируют в записи свободного коэффициента ап,0(/) полинома Вп(/, ж). Согласно (21) имеем
<0 = Е(-1)3С0Сп—3 = С00Сп = Ск, п € N, к = 0,1,..., п.
3
Поэтому формула (20) дает выражение
к=0 4 /
Последнее полностью согласовано с равенством ап,0(/) = Вп(/, 0), если вычислять значение Вп(/, 0), исходя из представления (13).
а
Итак, поскольку
= СП, п € N к = 0,(22)
то числа До находятся из обычного треугольника Паскаля, правда, со «срезанной» вершиной (ибо значение о просто не нужно). Следующее утверждение показывает, что при любом другом фиксированном т € N числа ПЛ,т с переменными п,к тоже образуют своеобразные «трапеции Паскаля», построенные по своим начальным и краевым условиям.
Теорема 2. При любом фиксированном т € N числа Д т, определенные по формуле (21), обладают свойствами:
<т = (-!)'ст, к €{0,1,..., т}, (23)
Д ,т = 1, ДЛ, т = (-1)т, п €{т,т + 1,...}, (24)
Д,"*1 + ДЛ, т = ДП+1 , т, п € {т, т + 1,...}, к €{1,...,п}. (25)
< Согласно (21) при п = т имеем
дт,т = Е(—1)3 ст со 3 =(—1)к ст,
3
так как единственное ненулевое слагаемое будет при j = к. Соотношение (23) доказано. Оба соотношения в (24) следуют из схожих соображений:
до = \^(_1)3 с3 с-3 = С о С о =1
^га,т / уV -V ^т^га- т ^т^га-т -*-)
3
пга = V"4/ 1)3С3 СЛ-3 =и1)тСтСи-т = ( —1)т
пга,т / у( 1) СтСга-т ( 1) СтСга-т ( 1) , 3
поскольку в первом случае единственное ненулевое слагаемое встретится при j = 0, а во втором — при j = т.
Осталось доказать (25). Используя определение (21), запишем
пк-1 + пк = V"4/ 1)3С3 Ск-1-3 + \"^(_1)3с3 Ск-3
"Т" ^га,т / ,V -V ^т^га-т "г" / Л / ^т^га-т
Е(_1)3С3 ГСк-3-1 + Ск-3 ^ = —1)3С3 Ск-3 = Дк
V ^т V п-т ^га-т) / уУ / ^т^га-т+1
33
Все заявленные факты установлены. >
Свойства, отмеченные в теореме 2, позволяют организовать регулярный процесс вычисления значений ПЛ,т при фиксированном т € N. Формулу (23) надо трактовать как начальное условие, а соотношения (24) — как краевые условия. Ключевое свойство (25) естественно считать правилом Паскаля, действующим при последовательном увеличении номера п. Вместо дальнейших объяснений проще перейти к наглядным иллюстрациям.
7. Трапеции Паскаля
Итак, при фиксированном т € N рассматриваем числа ^^ т, введенные в теореме 1. Они возникают в формуле (20), выражающей коэффициенты т (/) перед выбранной степенью хт в явной алгебраической записи (4) для полиномов Бернштейна (13). Используя свойства (23)—(25), будем записывать элементы ^^ , т в строки, каждая из которых соответствует своему номеру п в нумерации п = т, п = т + 1, п = т + 2 и так далее. Элементы фиксированной строки с номером п отвечают разным значениям к, взятым от 0 до п. Из-за сходства идеи с классической конструкцией будем называть возникающие таблицы трапециями Паскаля.
Напомним, что согласно (22) числам о со значением т — 0 отвечает обычный набор биномиальных коэффициентов:
11 121 13 3 1
1 4 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1 1 7 21 35 35 21 7 1 1 8 28 56 70 56 28 8 1
Приведены первые восемь строк, начиная с п = 1 и до п = 8. Ясно, что такую таблицу (как и все последующие) можно продолжать до бесконечности. При т = 1 для чисел ^ 1 получаем трапецию вида
1 -1 1 0 -1 11 -1 -1 1 2 0 -2 -1 1 3 2 -2 -3 -1
1 4 5 0 -5 -4 -1
1 5 9 5 -5 -9 -5 -1
1 6 14 14 0 14 14 6 1
Приведены строки, начиная с п = 1 до п = 8.
При т = 2 для чисел ^ 2 получаем трапецию вида
1 -2 1
1 -1 -11
1 0 -2 0 1
1 1 -2 -2 1 1
1 2 -1 -4 -1 2 1
1 3 1 -5 -5 1 3 1
1 4 4 4 10 4 4 4 1
Приведены строки, начиная с п = 2 до п = 8.
При m = 3 для чисел Dn 3 получаем трапецию вида
1 -3 3 -1
1 -2 0 2 -1 1 -1 -2 2 1
1 0 -3 0 3 0
1 1 -3 -3 3 3
12-2-606 2
-1
-1
-1 -1 21
Приведены строки, начиная с п = 3 до п = 8.
При т = 4 для чисел ^ 4 получаем трапецию вида
1 -4 6 -4 1
1 -3 2 2 -3 1
1 -2 -1 4 -1 -2 1
1 -1 -3 3 3 -3 -1 1
1
0
4
0
6
0
4
0
Приведены строки, начиная с п = 4 до п = 8.
При т = 5 для чисел ^ 5 получаем трапецию вида
1 -5 10 -10 5
1 -4 5 0 -5
1 -3 1 5 -5 -1
1-2-260 -6
1
1
1
1
Приведены строки, начиная с п = 5 до п = 8.
При т = 6 для чисел ^ 6 получаем трапецию вида
1 -6 15 -20 15 -6
1 -5 9 -5 -5 9
1 4 4 4 10 4 4
1
-5 1
41
Приведены строки, начиная с n = 6 до n = 8.
Дальнейший процесс понятен. Используя такие таблицы и формулу (20) из теоремы 1, легко получить развернутую алгебраическую запись для любого полинома Bn(f, ж), по крайней мере, при не слишком больших значениях n € N (ср. с примерами из п. 4 выше).
Разумеется, возникающие линейные комбинации (20) могут весьма нетривиально вычисляться даже для простых функций f (ж), когда требуется привести ответ (алгебраическую запись полиномов Бернштейна) к упрощенному «завершенному» виду. Но с теоретической точки зрения полезно иметь в распоряжении общие формулы, раскрывающие внутренний закон образования коэффициентов.
Заметим, между прочим, что большинство элементов в трапециях Паскаля заведомо отлично от нуля, хотя отдельные нули все же встречаются. Но тогда по формуле (20) при увеличении номера n вычисление коэффициентов an> m(f) неизбежно «размазывается» по всему отрезку [-1,1], не локализуясь в меньшие промежутки. Другими словами, в отличие от стандартного случая, на симметричном отрезке [-1,1] не действует принцип локализации: если вычислять коэффициенты полиномов Бернштейна по формуле (20), фиксируя m € N U {0}, то из совпадения двух функций f и g на каком-нибудь отдельном
1
4
3
2
2
промежутке [¿ь^2] ^ [—1,1] не следует совпадение значений ап,т(/) и ап,т(д) при всех достаточно больших номерах п (ср. с правилом (11) для коэффициентов (8)).
Систематическое изучение трапеций Паскаля обнаруживает множество закономерностей. Некоторые базовые факты полезно отметить сразу для применения в последующих исследованиях. Начнем с простых соображений «четности» и «нечетности».
8. По поводу четности и нечетности
Непосредственно из приведенных выше трапеций видно, что в распределении чисел есть естественная симметрия при четных т и антисимметрия при нечетных т. Точное правило в зависимости от т € N можно сформулировать так:
дт = (—1ГДт, п ^ т, к = 0,1,... ,п. (26)
Действительно, по определению (21) имеем
тлга—к = 1)3С СП—к—3 = ( —1)т V'(_1)т—3Ск—(т—3)
^га,т / у( 1) СтСга—т ( 1) / у( 1) Ст Сга—т
3 3
= ( —( —1)1 Ст СП—т = ( —1)т
что и требовалось показать. Понятно, что общее правило (26) распадается на два случая. При т = 2д, где д € N получаем соотношение симметрии
^П—к = <2,, п ^ 2д, к = 0,1,..., п. (27)
При т = 2д — 1, где д € N, получаем соотношение антисимметрии
к— 1 = —<2,-1, п ^ 2д — 1, к = 0,1,..., п. (28)
Как обычно, из (28) следует равенство
Ч-^—1 = 0, з = д,д + 1,д + 2,..., (29)
что также непосредственно наблюдается в трапециях с нечетными номерами.
Используя соотношения (27)—(29), можно отдельно упростить выражения для полиномов Бернштейна от четных и нечетных функций. Опустим элементарные обоснования и сразу приведем окончательный результат.
Итак, рассматриваем четную или нечетную функцию / € С [—1,1] и ее полиномы Бернштейна (13), для которых ставится вопрос о явной алгебраической записи (4). В зависимости от характера функции / имеем один из следующих ответов.
Если функция / является четной на [—1,1], то В1/, ж) = /(1) (константа), а затем
р
Вр(/, Ж) = £ Й2р,2д(/)ж2*, р € N (30)
,=0
где
1 Г р
а2р,2д(Л -
4,2,/(0) +
=1 р
(31)
Вр+1(/, ж) = ^ «2р+1 ,2д(/)Ж29, р € М, (32)
9=0
где
а2р+1,2д(/) - Е ^2р+1,2д / (2^+1) -
Числа т в формулах (31) и (33) определены по правилу (21).
Если функция / является нечетной на [-1,1], то В1/, ж) = /(1)ж, а затем
р
£2Р(/,ж) = ^] а2р,2,-1(/) ж2*-1, р € М, (34)
9=1
где
= / (£) , (35)
ч2д-1 ^ пр-й к=1
Р
В2р+1(/,ж)^ Й2р+1 ,29+1(/)ж29+1, р € М, (36)
9=0
где
®2р+1,2д+1 (/) - ^2рС2р+1 Е ^+1,2^+1 / ( 2р + 1 ) '
Числа в формулах (35) и (37) также определены по правилу (21).
По формулам (30), (32) и (34), (36) полиномы Бернштейна имеют ту же четность, что и порождающая их функция / € С [—1,1]. Этот элементарный факт очевидно связан с соотношениями симметрии и антисимметрии в трапециях Паскаля, но может быть легко доказан и другим, совсем простым способом (см., например, [9]).
Обсудим теперь закономерности иного характера. Краткое изложение последующих результатов дано нами в заметке [16].
и
и
9. Алгебраические тождества в трапециях Паскаля
Сравнивая определение (21) для чисел т с формулой перемножения биномов (17), замечаем связь этих соотношений. После элементарных переобозначений в (17) получим тождество
п
(1 - ж)т(1 + ж)п-т = ^2 т жк, т, п € М, п ^ т, (38)
к=0
с числами ^п,т из формулы (21). Отсюда делаем вывод: каждая трапеция Паскаля с выбранным номером т совпадает с таблицей коэффициентов для выражений
Дп ,т(ж) = (1 - Ж)т(1+ Ж)п-т, (39)
раскрываемых при фиксированном т и последовательном увеличении значения п ^ т.
Всюду в данном пункте полагаем, что т,п € N и п ^ т. Разумеется, формула (38) и ряд последующих соотношений (но не все!) будут справедливы также при т = 0 со
значениями Оп 0 = Сп (см. (22)). Но поскольку свойства биномиальных коэффициентов хорошо изучены, исключим из рассмотрения этот случай, считая везде, что т ^ 1.
Выражение Дп,т(ж) вида (39) будем называть двойным биномом или бибиномом, а формулу разложения (38) — формулой бибинома. Фактически бибином (39), взятый при фиксированных п, т, можно рассматривать как производящую функцию для п-й строки в т-й трапеции Паскаля. Подробнее про производящие функции для числовых последовательностей см. [12, гл. 5 и 7].
Из формулы бибинома (38) элементарно следуют все соотношения для чисел Оп , т, отмеченные в теореме 2 выше. Действительно, ввиду (38) свойства (23), (24) очевидны, а правило Паскаля (25) получается естественной индукцией по п, проводимой при последовательном умножении (1 — ж)т на (1 + ж), затем снова на (1 + ж), и снова на (1 + ж), и т. д.
Как всегда, при наличии хороших производящих функций можно установить много полезных фактов про коэффициенты, возникающие в разложениях. Отметим наиболее простые, базовые соотношения.
Теорема 3. Числа Оп т, определенные по формуле (21), обладают свойствами:
]Т<т = 0, п ^ т ^ 1, (40)
к=0 т
£(-!)*От,т = 2т, т > 1, (41)
£(-!)'Оп,т = 0, п > т ^ 1, (42)
к=0
[п/2] [(п 1) /2]
Е^п^т = 0, £ 3 = 0, п > т ^ 1, (43)
3=0 3=0
£ 2кОп , т = (-1)т3п-т, п ^ т ^ 1, (44)
к=0
п
£(-1)к2кОп,т = (-1)п-т3т, п ^ т ^ 1, (45)
[п/2] ( т | ( ^п-^т
£ = -^ > П > Ш > 1, (46)
2
3=0
т п- т п- т т
£ = -ЛЛ-п>т>1. (47)
3=0 2
< Используем формулу бибинома (38) и краткое обозначение Дп,т(ж), введенное в (39). При подстановке в (38) значения ж = 1 получаем тождество (40), ибо Дп,т(1) = 0. Если п = т, то при подстановке в (38) значения ж = -1 получим тождество (41), ибо Дт,т(-1) = 2т. Если же п > т, то при подстановке в (38) значения ж = -1 получим тождество (42), ибо тогда Дп,т(-1) = 0. Соотношения (43) получаются как сумма и разность тождеств (40) и (42). Соотношения (44) и (45) возникают при подстановке в (38) значений ж = 2 и ж = -2. Сумма и разность соотношений (44) и (45) дают соответственно (46) и (47). Доказательство завершено. >
Другие полезные формулы можно установить при последовательном дифференцировании базового тождества (38).
Теорема 4. Числа , определенные по формуле (21), обладают свойствами:
= —2П—1, п ^ 1, (48)
к=1
£ к^П,т = 0, п ^ т ^ 2. (49)
к=1
£к(к — 1)^к>1 = —(п — 1)2п—1, п ^ 2, (50)
к=2
п
£к(к — 1)^п,2 = 2п—1, п ^ 2, (51)
п
лк _ оп—1
п,2
к=2
пк, п,т
к=2
£ к(к — 1)^П,т = 0, п ^ т ^ 3. (52)
к=2
Общая формула, верная при любом фиксированном р € N выглядит так:
А/Мпк ((—1)т(р)т(п — т)р—т 2п—р, п ^ р ^ т,
(к)Р^п,т = < (53)
к=р
0, п ^ т ^ р + 1,
где (а)з —символ Похгаммера (убывающий факториал), определенный для любого а € С по правилу: (а)0 = 1, (а)1 = а, (а)2 = а(а — 1), (а)3- = а(а — 1)... (а — ] + 1) при ] € N, ] ^ 3. В частности, в дополнение к (48) и (50) имеем
п
£ к(к — 1)... (к — р + 1)^ = —р(п — 1)... (п — р + 1) 2п—Р, п ^ р, (54) к=р
для любого р ^ 3.
< Нетрудно убедиться, что все соотношения (48)—(52) и (54) являются частными случаями общей формулы (53). Сама же формула (53) получается р-кратным дифференцированием базового тождества (38) с последующей подстановкой в результат значения ж = 1. Так как бибином Яп,т(ж) в (38) имеет степень п, то требование п ^ р нужно для содержательности задачи. Затем, поскольку ж = 1 является для Лп>т(ж) корнем кратности т, то ЯШ« = 0 всякий раз, когда т > р, т. е. когда т ^ р + 1. Отсюда следует второе (нижнее) соотношение в (53) при п ^ т ^ р + 1. Для доказательства первого тождества при п ^ р ^ т воспользуемся правилом Лейбница, согласно которому
Е(к)р<т=ярт (1) = ((1—ж)т(1+ж)п—т (р) к=р
Р
]Тср ((1 — ж)т)(3) ((1+ ж)п—т) (р—3) 3=0
ж=1
= ср™((1 — ж)т) (т) ((1 + ж)п—т) (
х=1 Х=1
= Срт т! (—1Г (п — т)(п — т — 1)... (п — р + 1) 2п—Р = (—1)т(р)т(п — т)р—т 2п—Р, что и утверждается в (53). Теорема доказана. >
Установленные соотношения позволяют получить такие тождества
п
Е^д = —п2п—1, п ^ 1, (55)
к=1
]Гк2^п;2 = 2п—1, п ^ 2, (56)
к=1
п
Е к2^п,т = 0, п ^ т ^ 3, (57)
к=1
п
Ек3Дд = —(3п2 + 3п — 2)2п—3, п ^ 1, (58)
к=1
п
Е к3Д,2 = 3п ■ 2п—2, п ^ 2, (59)
к=1
п
Е к3Д,3 = —3 ■ 2п—2, п ^ 3, (60)
п
Е к3^п,т = 0, п ^ т ^ 4, (61)
к=1
и так далее. Подобные соотношения получаются как линейные комбинации соответствующих тождеств из теоремы 4. Например, для доказательства (55) воспользуемся тождествами (48) и (50), рассуждая по схеме
п
2 пп,1 = У>(к — 1) + к)<1 = V к(к — 1)^п,1 + V к^п,1
Е к2^п,1 = £(к(к — 1) + к)<1 = Е к(к — 1)<1 + Е кД к=1 к=1 к=2 к=1 = —(п — 1)2п—1 — 2п—1 = —п2п—1
Аналогичный прием действует в остальных примерах (56)-(61).
Еще одна любопытная формула обнаруживается при интегрировании бибинома. Речь идет о соотношении
[п/2] 1 2п
у ——= --——, (62)
3=0 2; + 1 п,т (п + 1)Ст' Действительно, согласно (38) имеем
1 [п/2]
У(1 - х)т(1 + Х)п~т бх = Е <т/^=Е 7ГГГТ^т
2
27 + 1
— 1 к=0 —1 3=0 3
при т,п € N и п ^ т. Интеграл в левой части с помощью подстановки ж = 2t — 1 сводится к эйлеровой бета-функции:
1 1
У(1 — ж)т(1 + ж)п—т ¿ж = 2п+1 у ¿п—т (1 — ¿)т ^ =
2п+1
т п
—1 0
(п + 1)сп
1
что верно, поскольку 1
У (р + д +1)! (р + я + 1 С? '
о
Из полученных выражений следует нужное тождество (62). Формула (62) при т = 0 переходит в известную сумму
К2] 2п
^ 23 + 1 п + 1'
Отметим, что внешне «более простые» суммы
П 1 П 1
/ у I, п>т' и га'
по-видимому, не имеют универсальных замкнутых выражений.
10. Комбинации с элементами из разных трапеций
Все перечисленные до сих пор соотношения «не перемешивали» элементы из разных трапеций Паскаля: в каждом отдельно взятом тождестве фигурировали числа т, выбранные из одной трапеции с фиксированным значением т € N. Впрочем, не подлежит сомнению, что разные трапеции сочетаются друг с другом многими связями.
Для примера отметим, что
= СП , п € N к, т € {0,1,..., п}. (63)
Действительно, используя определение (21) и тождество (18), имеем
С т дк = \ VI У С тс? Ск—3 = \ )3 С к С3 Ст—3 = С к Пт Сп дга,т = 1) Сга СтСга—т = 1) СгаСкСга—к = дга,к,
что и требовалось показать.
Полезно сравнить (63) с выражениями (20) для коэффициентов в алгебраической записи (4) полиномов Бернштейна (13). Полученное означает, что при любом фиксированном п € N вклад от значения / (1 — в коэффициент ага>т(/) при хт будет ровно тот же, что и вклад от значения / (1 — ^р) в коэффициент при хк (под «вкладом» мы
понимаем множитель, стоящий в коэффициентах ага>т(/) и ага>к(/) при указанных выше значениях). Это своеобразное правило баланса действует для коэффициентов полиномов Бернштейна именно на [—1,1].
Отметим также формулу
= (—1)к <„-т, п € N к, т €{0,1,...,п}, (64)
связывающую п-е строки в двух трапециях с номерами т и п т (эти номера очевидно различны при п = 2т). Соотношение (64) следует напрямую из (21), поскольку
\к—'ск—'с I _ \ V_1)к-'с I С к—I
'га,т / /V -V ^т^га—т /А Ст Сга—т / Л 1) Сга—тСт
дк _ \ V_1)3 с 3 Ск—3 _ \ V_1)к—¿С к—¿С' _ \ V_1)к—'С ' С к
дга,т / у( 1) СтСга—т / Д 1) Ст Сга—т / у( 1) Сга—тСп
(
( —( —1)1 СП—тСП- (п—т) = ( — 1)к т-
В частности, при п = т из (64) получаем Пт,т = (—1)КП^о = (—1)КС^, что совпадает с прежней формулой (23).
Приведем еще одно соотношение
= П^1 - п € N к,т € {0,1,...,п}, (65)
связывающее элементы из «соседних» трапеций Паскаля. Действительно, выкладка
пк+1 _ ПК = \ /1)3 СЗ СК+1-3 _ \ (_1)3 СЗ С 3
-^га,т / уV -V ^т^га-т / уУ / ^т^га-т
33
Е(_1)з'сЗ СК+1-3 _ -1С3-1СК+1-3
V ^т^га-т / уУ -V ^т ^га-т
3 3
Е(_1)3 ГС3 + С3-1\СК+1-3' = 1)3с3 СК+1-3 =
( 1) \Ст + Ст /Сга-т = / Д 1) Ст+1 Сга-т = Пга+1,т+1
33
сразу дает нужный результат. При к = п в формуле (65) принято соглашение ПП+ = 0. С учетом него ПП+{т+1 = — П™т, что согласуется со вторым условием в (24).
Обсудим теперь другое специальное свойство трапеций Паскаля, которое влечет весьма неожиданное следствие для коэффициентов полиномов Бернштейна.
11. Универсальная связь двух коэффициентов
Непосредственно изучая трапеции Паскаля, можно заметить одну закономерность: в т-й по счету трапеции с фиксированным т € N строка с номером п = 2т выглядит так же, как строка с номером п = т, только «прореженная» нулями. Аналитически этот факт выражается в виде
П23,т = (—1)3 С3 = П3,т, т € М з = 0,..., т, (66)
П3-1 = 0, т € М, ; = 1,...,т. (67)
Для обоснования соотношений (66), (67) подставим п = 2т в формулу (38). Получим
2 т
(1 — х)т(1+ х)т = Е Пт,т, т € N. (68)
к=0
С другой стороны, по традиционной формуле бинома
т
(1 — х)т(1 + х)т = (1 — х2)т = Е(—!)3стX23, т € N. (69)
3=0
Сравнивая (68) и (69), а затем учитывая (23), приходим к соотношениям (66), (67). Отметим, что (67) следует также из (64), если подставить туда п = 2т и к = 2^ — 1.
Обнаруженная закономерность позволяет установить следующее правило, связывающее коэффициенты ат,т(/) и а2т,т(/) в алгебраической записи полиномов Бернштейна на [—1,1].
Теорема 5. Пусть / € С[—1,1] с полиномами Бернштейна Вп(/, х), определенными по формуле (13). Тогда в алгебраической записи (4) для этих полиномов действует правило
а2т,т(/) = 2-тС2т ат,т(/), т € N. (70)
< По формуле (20) имеем выражения
= (71)
т
3=0
1 2т / к \
а2т,т(Л = Е
й=0 ^ '
Используем в (72) соотношения (66), (67). Получим
а2т,т(Л = £ -С24,т / ( 1 ~ ] = Е ^кт / ( 1 ~ ] •
3=0 ^ ' 3=0 ^ '
Сравнивая результат с (71), приходим к равенству (70). >
Подчеркнем, что правило (70) носит универсальный характер: оно связывает центральный коэффициент а2т,т(/) полинома В2т(/, х) со старшим коэффициентом ат,т(/) полинома Вт(/, х) для любой функции / € С[—1,1] при любом выборе т € N. Отмеченное свойство не имеет аналогов на стандартном отрезке [0,1].
Обратим также внимание на то, что множитель 2-тС2т в формуле (70) быстро увеличивается с ростом т. По формуле Стирлинга имеем
2т
2~тСТт~ т —> то. (73)
гт у/тгт у у
Используя асимптотику (73) и связь (70) между коэффициентами ат,т(/) и а2т,т(/), нетрудно обосновать экспоненциальный рост при т — то коэффициента а2т,т(/) на единичном шаре в пространстве С [—1,1]. Данный факт представляет интерес не только «сам по себе», но и в связи с вопросом о скорости роста коэффициентов в равномерных полиномиальных аппроксимациях (см. [17-19]).
(72)
12. Заключительные замечания
Итак, трапеции Паскаля полезны для теории полиномов Бернштейна и, кроме того, обладают богатым внутренним математическим содержанием. В связи с этим укажем несколько перспективных тем для дальнейших исследований.
1) Распределение нулей в трапециях Паскаля при различных т € N. Частотность и регулярность встречающихся нулей. Группы «очевидных» регулярных нулей описаны правилами (29) и (67). Есть ли какие-то содержательные дополнения к этим случаям?
2) Потенциальная скорость роста элементов в трапециях Паскаля при том или ином значении т € N. Требуется дать оценки для величин
п
^п,т = „т,ах |^п,т|, ^п,т = / ^ |^п,т| (74)
й=0
при увеличении номера п ^ т с фиксированным т € N.
3) Рекуррентные соотношения, связывающие элементы из разных трапеций Паскаля. Типичным примером такого соотношения служит формула (65) выше.
4) Простые выражения для элементов ^п>т при фиксированном т € N (наподобие известной формулы биномиальных коэффициентов). Возможно, что эта проблема имеет лишь частные решения, полезные при малых значениях т.
Так, для элементов первой трапеции имеем представление
ип1 = Сп_1 — ьп_1 = Сп — 2Сга_1 = - Сп, п ^ 1, /с = 0,1,..., п, легко выводимое из определения (21). Последующая серия выглядит так:
ДП,2 = СП - 4СП_1, п > 2,
д'
СО 'П & Сп — 6СП - 2СП_ -3 ■3,
&= п,4 = & Сп — 8СП -1 ог<к--4 - 8Сп_ 3, 4,
& Сп — 10СП _1 _5 - 20СП_3 - 2С;
п'. _С - ,..С — 20С — 2С
^п ^п_5 п_5 п_5>
при к = 0,1,... , п с учетом соглашения (15). Перечисленные формулы проще исходного определения (21). Они являются частными проявлениями универсального правила
[(т_ 1) /2]
<т = СП - 2 Е Ст'+1С^'_1, т,п € N п ^ т, (75)
3=0
верного при к = 0,1,..., п. Для вывода (75) надо вспомнить (см. [12, с. 195-196]) известную свертку Вандермонда
сп=естсп_т, п € N к=о, 1,...,п,
I
и применить ее в исходном определении (21) по схеме
_ \ V_1)1 С1 С_ \ Л С1 С+ \ Л((_1)1 _1)С 1 С
дп,т / \ 1) СтСп_т / у СтСп_т + / Д( 1) 1)СтСп_т
[(т_1)/2]
1с '_23_1
п " / , ^т Сп_т .
С' 2 V' С23+1С
Сп — 2 Ст
3=0
Использованный прием сократил количество слагаемых примерно в два раза.
И, наконец, последнее. Весьма перспективным представляется операторный анализ формул (20), (21), полученных на отрезке [—1,1] для коэффициентов ап,т(/). Напомним (см. п. 3 выше), что в случае стандартного отрезка [0,1] ответ записывается через оператор конечной разности. В случае симметричного отрезка [-1,1] картина оказывается более сложной — помимо оператора разности приходится привлекать еще оператор суммы.
Действительно, следуя классическому трактату Нерлунда [20] (но видоизменяя его обозначения), введем парные операторы разности и суммы
*н№ = + оъ№ = + ^ + (76)
вычисляемые от функции / в допустимой точке х € М с фиксированным шагом Н > 0. Нетрудно убедиться (эти соображения отсутствуют в [20]), что последовательные композиции операторов (76) записываются через элементы трапеций Паскаля.
Точнее, при каждом фиксированном m € N U {0} и последовательном увеличении значения n (n = m, n = m + 1, n = m + 2, ...) получаются формулы
1 n
<"mC/(x) = ^z^ E Dlm fix + {n- k)h) (77)
fc=0
с числами Dn,m, взятыми из m-й трапеции Паскаля. Сравнивая (77) с основной формулой (20), устанавливаем операторное представление
an,m(f) = ^2/Т 5?/J(-1), П € N, m = 0,1,... (78)
Аккуратное обоснование (78) и разбор возникающих следствий лучше провести отдельно.
Авторы признательны Д. Г. Цветкович за техническую помощь и проверку многих полученных соотношений.
Добавление к заключению. Почти весь предыдущий текст был подготовлен и сдан в печать в 2016 г., но его издание несколько затянулось. В связи с этим полезно отметить следующее. В недавней работе авторов [21] дано применение изложенной выше теории к задаче о скорости роста коэффициентов полиномов Бернштейна на симметричном отрезке. Некоторые из результатов [21] оказались весьма неожиданными (см., в частности, явные выражения и асимптотики для величины nn,m из формулы (74), указанные в [21] при малых значениях m € N).
Кроме того, в самое последнее время мы обнаружили, что объекты, родственные числам Dn,m, активно используются в теории вероятностей, криптографии и теории кодирования как значения некоторых специальных полиномов Кравчука (см. [22-24]). Математический контекст и принятые там обозначения существенно отличаются от наших, но многие имеющиеся параллели могут обогащать как теорию полиномов Бернштейна, так и теорию полиномов Кравчука.
Литература
1. Lorentz G. G. Bernstein Polynomials.—Toronto: Univ. of Toronto Press, 1953.—x+130 p.
2. ВиденскийВ. С. Многочлены Бернштейна. Учебное пособие к спецкурсу.—Л.: ЛГПИ им. А. И. Герцена, 1990.—64 с.
3. Натансон И. П. Конструктивная теория функций.—М.-Л: ГИТТЛ, 1949.—688 с.
4. Коровкин П. П. Линейные операторы и теория приближений.—М.: ГИФМЛ, 1959.—212 с.
5. Davis P. J. Interpolation and Approximation.—N. Y.: Dover, 1975.—xvi+394 p.
6. DeVore R. A., Lorentz G. G. Constructive Approximation.—Berlin-Heidelberg-N. Y.: Springer-Verlag, 1993.—x+450 p.
7. Phillips G. M. Interpolation and Approximation by Polynomials.—N.Y.-Berlin-Heidelberg: Springer, 2003.—xiv+312 p.
8. Тихонов И. В., Шерстюков В. Б., Петросова М. А. Полиномы Бернштейна: старое и новое // Мат. форум. Т. 8. Ч. 1. Исследования по математическому анализу.—Владикавказ: ЮМИ ВНЦ РАН и РСО-А, 2014.—С. 126-175.—(Итоги науки. Юг России).
9. Тихонов И. В., Шерстюков В. Б., Петросова М. А. Правило склеивания для полиномов Бернштейна на симметричном отрезке // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика.—2015.—Т. 15, вып. 3.—С. 288-300. DOI: 10.18500/1816-9791-2015-15-3-288-300.
10. Wigert S. Réflexions sur le polynome d'approximation xv{l — x)n~v // Arkiv for Mate-matik, Astronomi och Fysik.—1927.—Bd. 20, Hafte 2.—S. 1-15.
11. Дзядык В. К. Введение в теорию равномерного приближения функций полиномами.—М.: Наука, 1977.—512 с.
12. Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики.—М.: Мир, 1998.—704 с.
13. Тихонов И. В., Шерстюков В. Б. О поведении коэффициентов полиномов Бернштейна при алгебраической записи на стандартном отрезке // Материалы науч. конф. Герценовские чтения-2015. Некоторые актуальные проблемы современной математики и мат. образования.—СПб.: Изд-во РГПУ им. А. И. Герцена, 2015.—С. 115-121.
14. Тихонов И. В., Шерстюков В. Б., Петросова М. А. Явные выражения для коэффициентов полиномов Бернштейна при алгебраической записи на симметричном отрезке // Материалы науч. конф. Герценовские чтения-2015. Некоторые актуальные проблемы современной математики и мат. образования.—СПб.: изд-во РГПУ им. А. И. Герцена, 2015.—С. 121-124.
15. Петросова М. А., Тихонов И. В., Шерстюков В. Б. Случай симметричного отрезка в теории классических полиномов Бернштейна // Системы компьютерной математики и их приложения. Вып. 15. Материалы XV Междунар. науч. конф.—Смоленск: СмолГУ, 2014.—С. 184-186.
16. Петросова М. А., Тихонов И. В., Шерстюков В. Б. Комбинаторные соотношения, связанные с полиномами Бернштейна на симметричном отрезке // Системы компьютерной математики и их приложения. Вып. 17. Материалы XVII Междунар. науч. конф.—Смоленск: СмолГУ, 2016.—С. 177182.
17. Stafney J. D. A permissible restriction on the coefficients in uniform polynomial approximation to C[0,1] // Duke Math. J.—1967.—Vol. 34, № 3.—P. 393-396.
18. Roulier J. A. Permissible bounds on the coefficients of approximating polynomials // J. Approx. Theory.—1970.—Vol. 3, № 2.—P. 117-122.
19. Гурарий В. И., Мелетиди М. А. Об оценках коэффициентов полиномов, аппроксимирующих непрерывные функции // Функциональный анализ и его прил.—1971.—Т. 5, вып. 1.—С. 73-75.
20. Nörlund N. E. Vorlesungen Uber Differenzenrechnung.—Berlin: Springer Verlag, 1924.—ix+551 p.
21. Тихонов И. В., Шерстюков В. Б., Петросова М. А. Новые исследования, связанные с алгебраической записью полиномов Бернштейна на симметричном отрезке // Системы компьютерной математики и их приложения. Вып. 19. Материалы XIX Междунар. науч. конф.—Смоленск: СмолГУ, 2018.—С. 336-347.
22. Feinsilver P., Kocik J. Krawtchouk polynomials and Krawtchouk matrices // Recent Advances in Applied Probability / Eds.: Baeza-Yates R., Glaz J., Gzyl H., Hüsler J., Palacios J. L.—Boston, MA: Springer, 2005.—P. 115-141.
23. Ивченко Г. И., Медведев Ю. И., Миронова В. А. Анализ спектра случайных симметрических булевых матриц // Матем. вопр. криптогр.—2013.—Т. 4, вып. 1.—С. 59-76. DOI: 10.4213/mvk73.
24. Ивченко Г. И., Медведев Ю. И., Миронова В. А. Многочлены Кравчука и их применения в задачах криптографии и теории кодирования // Матем. вопр. криптогр.—2015.—Т. 6, вып. 1.—С. 33-56. DOI: 10.4213/mvk150.
Статья поступила 21 июня 2016 г. Дополненный вариант — 22 июня 2019 г.
Петросова Маргарита Арсеновна
Московский педагогический государственный университет, аспирант кафедры математического анализа РОССИЯ, 107140, Москва, Краснопрудная, 14 E-mail: petrosova05@mail.ru Тихонов Иван Владимирович
Московский государственный университет имени М. В. Ломоносова,
профессор кафедры математической физики
РОССИЯ, 119991, Москва, Ленинские горы, 1
E-mail: ivt ikh@mail. ru
Шерстюков Владимир Борисович
Национальный исследовательский ядерный университет «МИФИ», доцент кафедры высшей математики РОССИЯ, 115409, Москва, Каширское шоссе, 31 E-mail: shervb73@gmail.com
Vladikavkaz Mathematical Journal 2019, Volume 21, Issue 3, P. 68-86
ALGEBRAIC REPRESENTATION FOR BERNSTEIN POLYNOMIALS ON THE SYMMETRIC INTERVAL AND COMBINATORIAL RELATIONS
Petrosova, M. A.1, Tikhonov, I. V.2, Sherstyukov, V. B.3
1 Moscow State Pedagogical University, 14 Krasnoprudnaya Str., Moscow 107140, Russia;
2 Lomonosov Moscow State University, 1 Leninskie gory, Moscow 119991, Russia;
2 National Research Nuclear University MEPhI, 31 Kashirskoe shosse, Moscow 115409, Russia E-mail: petrosova05@mail.ru, ivtikh@mail.ru, shervb73@gmail.com
Abstract. We pose the question of explicit algebraic representation for Bernstein polynomials. The general statement of the problem on an arbitrary interval [a, b] is briefly discussed. For completeness, we recall Wigert formulas for the polynomials coefficients on the standard interval [0,1]. However, the focus of the paper is the case of the symmetric interval [— 1,1], which is of fundamental interest for approximation theory. The exact expressions for the coefficients of Bernstein polynomials on [-1,1] are found. For the interpretation of the results we introduce a number of new numerical objects named Pascal trapeziums. They are constructed by analogy with a classical triangle, but with their own "initial" and "boundary" conditions. The elements of Pascal trapeziums satisfy various relations which remind customary combinatorial identities. A systematic research on such properties is fulfilled, and summaries of formulas are given. The obtained results are applicable for the study of the behavior of the coefficients in Bernstein polynomials on [-1,1]. For example, it appears that there exists a universal connection between two coefficients a2m,m (f) and am,m(f), and this is true for all m £ N and for all functions f £ C[— 1,1]. Thus, it is set up that the case of symmetric interval [-1,1] is essentially different from the standard case of [0,1]. Perspective topics for future research are proposed. A number of this topics is already being studied.
Key words: Bernstein polynomials, symmetric interval, Pascal trapeziums, combinatorial relations.
Mathematical Subject Classification (2000): 41A10, 11B83, 05A10, 05A19.
For citation: Petrosova, M. A., Tikhonov, I. V. and Sherstyukov, V. B. Algebraic Representation for Bernstein Polynomials on the Symmetric Interval and Combinatorial Relations, Vladikavkaz Math. J., 2019, vol. 21, no. 3, pp. 62-86 (in Russian). DOI: 10.23671/VNC.2019.3.36462.
References
1. Lorentz, G. G. Bernstein Polynomials, Toronto, Univ. of Toronto Press, 1953, x+130 p.
2. Videnskij, V. S. Mnogochleny Bernshtejna. Uchebnoe posobie k speckursu [Bernstein Polynomials. Textbook for the Special Course], Leningrad, LSPI n. a. A. I. Herzen, 1990, 64 p. (in Russian).
3. Natanson, I. P. Konstruktivnaya teoriya funkcij [Constructive Theory of Functions], Moscow-Leningrad, GITTL, 1949, 688 p. (in Russian).
4. Korovkin, P. P. Linejnye operatory i teoriya priblizhenij [Linear Operators and the Theory of Approximation], Moscow, Fizmatgiz, 1959, 212 p. (in Russian).
5. Davis, P. J. Interpolation and Approximation, N. Y., Dover, 1975, xvi+394 p.
6. DeVore, R. A. and Lorentz, G. G. Constructive Approximation, Berlin-Heidelberg-N. Y., SpringerVerlag, 1993, x+450 p.
7. Phillips, G. M. Interpolation and Approximation by Polynomials, N.Y.-Berlin-Heidelberg, Springer, 2003, xiv+312 p.
8. Tikhonov, I. V., Sherstyukov, V. B. and Petrosova, M. A. Bernstein Polynomials: the Old and the New, Matematicheskij forum. T. 8. Ch. 1. Issledovaniya po matematicheskomu analizu (Itogi nauki. Yug Rossii) [Math. forum. Vol. 8. Part. 1. Studies in Mathematical Analysis (Results of Science. South of Russia)], Vladikavkaz, SMI VSC RAS & RNO-A, 2014, pp. 126-175 (in Russian).
9. Tikhonov, I. V., Sherstyukov, V. B. and Petrosova, M. A. Gluing rule for Bernstein polynomials on the symmetric interval, Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2015, vol. 15, no. 3, pp. 288300 (in Russian). DOI: 10.18500/1816-9791-2015-15-3-288-300.
10. Wigert S. Réflexions sur le polynome d'approximation O f (n) x
v (1 - x)n-v, Arkiv for Mate-
matik, Astronomi och Fysik, 1927, Bd. 20, Hafte 2, S. 1-15.
11. Dzyadyk, V. K. Vvedenie v teoriyu ravnomernogo priblizheniya funkcij polinomami [Introduction to the Theory of Uniform Approximation of Functions by Polynomials], Moscow, Nauka, 1977, 512 p. (in Russian).
12. Graham, R. L., Knuth, D. E. and Patashnik, O. Concrete Mathematics: A Foundation for Computer-Science, Boston, Addison-Wesley Longman Publ. Co., Inc., 1994, 672 p.
13. Tikhonov, I. V. and Sherstyukov, V. B. On the Behavior of the Coefficients of Bernstein Polynomials as Algebraic Notation on a Standard Interval, Materialy nauchnoj konferencii. Gercenovskie chteniya-2015. Nekotorye aktual'nye problemy sovremennoj matematiki i mat. obrazovaniya [Materials of the Sci. Conf. Herzen Readings-2015. Some Current Issues Modern Mathematics and Math. Education], Saint Petersburg, Publishing House of RSPU n. a. A. I. Herzen, 2015, pp. 115-121 (in Russian).
14. Tikhonov, I. V., Sherstyukov, V. B. and Petrosova, M. A. Explicit Expressions for Coefficients Bernstein Polynomials in Algebraic Notation on a Symmetric Interval, Materialy nauchnoj konferencii. Gercenovskie chteniya-2015. Nekotorye aktual'nye problemy sovremennoj matematiki i mat. obrazovaniya [Materials of the Sci. Conf. Herzen Readings-2015. Some Current Issues Modern Mathematics and Math. Education], Saint Petersburg, Publishing House of RSPU n. a. A. I. Herzen, 2015, pp. 121-124 (in Russian).
15. Petrosova, M. A., Tikhonov, I. V. and Sherstyukov, V. B. The Case of a Symmetric Interval in the Theory of Classical Bernstein Polynomials, Sistemy komp'yuternoj matematiki i ih prilozheniya. Vyp. 15. Materialy XV Mezhdunarodnoj nauchnoj konferencii [Computer Mathematics Systems and Their Applications. Vol. 15. Materials of the XV International Sci. Conf.], Smolensk, Smolensk State Univ., 2014, pp. 184-186 (in Russian).
16. Petrosova, M. A., Tikhonov, I. V. and Sherstyukov, V. B. Combinatorial Relations Related with Bernstein Polynomials on a Symmetric Interval, Sistemy komp'yuternoj matematiki i ih prilozheniya. Vyp. 17. Materialy XV Mezhdunarodnoj nauchnoj konferencii [Computer Mathematics Systems and Their Applications. Vol. 17. Materials of the XVII International Sci. Conf.], Smolensk, Smolensk State Univ., 2016, pp. 177-182 (in Russian).
17. Stafney, J. D. A Permissible Restriction on the Coefficients in Uniform Polynomial Approximation to C[0,1], Duke Math. J., 1967, vol. 34, no. 3, pp. 393-396.
18. Roulier, J. A. Permissible Bounds on the Coefficients of Approximating Polynomials, J. Approx. Theory, 1970, vol. 3, no. 2, pp. 117-122.
19. GurariiM, V. I. and. Meletidi, A Functional Analysis and Its Applications, Funct. Anal. Appl., 1971, vol. 5, no. 1, pp. 60-62. DOI: 10.1007/BF01075850.
20. Norlund, N. E. Vorlesungen iiber Differenzenrechnung, Berlin, Springer Verlag, 1924, ix+551 p.
21. Tikhonov, I. V., Sherstyukov, V. B. and Petrosova, M. A. New Research, Associated with the Algebraic Representation of Bernstein Polynomials on a Symmetric Interval, Sistemy komp'yuternoj matematiki i ih prilozheniya. Vyp. 19. Materialy XIX Mezhdunarodnoj nauchnoj konferencii [Computer Mathematics Systems and Their Applications. Vol. 19. Materials of the XIX International Sci. Conf.], Smolensk, Smolensk State Univ., 2018, pp. 336-347 (in Russian).
22. Feinsilver P., Kocik J. Krawtchouk Polynomials and Krawtchouk Matrices, Recent Advances in Applied Probability, Eds.: Baeza-Yates R., Glaz J., Gzyl H., Husler J., Palacios J. L., Boston, MA, Springer, 2005, pp. 115-141.
23. Ivchenko, G. I., Medvedev, Yu. I. and Mironova, V. A. Analysis of the Spectrum of Random Symmetric Boolean Functions, Mat. Vopr. Kriptogr., 2013, vol. 4, no. 1, pp. 59-76 (in Russian). DOI: 10.4213/mvk73.
24. Ivchenko, G. I., Medvedev, Yu. I. and Mironova, V. A. Krawtchouk Polynomials and their Applications in Cryptography and Coding Theory, Mat. Vopr. Kriptogr., 2015, vol. 6, no. 1, pp. 33-56 (in Russian). DOI: 10.4213/mvk150.
Received 21 June, 2016 Supplemented 22 Jule, 2019
Margarita A. Petrosova Moscow State Pedagogical University, 14 Krasnoprudnaya Str., Moscow 107140, Russia, Graduate Student of the Department of Math. Analysis E-mail: petrosova05@mail.ru
Ivan V. Tikhonov Lomonosov Moscow State University, 1 Leninskie gory, Moscow 119991, Russia, Professor of the Department of Math. Physics E-mail: ivt ikh@mail. ru
Vladimir B. Sherstyükov National Research Nuclear University MEPhI, 31 Kashirskoe shosse, Moscow 115409, Russia, Associate Professor of Higher Mathematics Department E-mail: shervb73@gmail.com
