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

необходимо, чтобы для любого натурального k> a, и достаточно, чтобы для некоторого натурального k> a

где

Изложим теперь кратко содержание каждого из параграфов работы.

В §1 даётся ряд вспомогательных определений, которые понадобятся в дальнейшей работе.

В §2 выводятся основные свойства модулей непрерывности высших порядков. Почти все эти свойства используются в дальнейшем тексте.

§3 посвящен обобщению теоремы Джексона. Как известно, Джексон доказал следующую теорему: если f имеет непрерывную r-ую производную f ^(r) , то

Таким образом, теорема Джексона дает оценку сверху для наилучших приближений, если известны дифференциальные свойства аппроксимируемой функции.

В 1947 г. появилась работа С.Н.Бернштейна [1]. Одна из теорем этой работы содержит в качестве следствия такое предложение: пусть

Тогда

В §3 доказываем:

(*)

В §4 формулируется доказанное в работе С.Б.Стечкина [2] обобщение известного неравенства С.Н.Бернштейна [3], [4] для производных от тригонометрического полинома. Мы приводим затем ряд следствий из нашего неравенства (*). Они играют существенную роль при доказательстве теорем §5.

В §5 рассматривается следующая задача. Пусть тригонометрический полином t_n , близок в равномерной метрике к заданной функции f или последовательность полиномов {t_n } достаточно хорошо аппроксимирует заданную функцию f . Как связаны тогда дифференциальные свойства f с дифференциальными свойствами t_n ?

Если t_n , образуется из f посредством регулярного метода суммирования рядов Фурье, то ответ тривиален: для того чтобы , необходимо и достаточно, чтобы равномерно относительно n . (f ÎH_k [w ], если ).

Оказывается, что этот результат сохраняется и для полиномов наилучшего приближения: для того, чтобы равномерно относительно n .

Отметим еще один результат параграфа: для того чтобы , необходимо и достаточно чтобы

.

§6 посвящён “обратным теоремам” теории приближения.

Известно предложение: пусть

.

Тогда, если a не целое, r= [a ], b =a -r , то f имеет нерперывную производную .

Случай целого a рассмотрен Зигмундом. В этом случае

.

Нетрудно показать, что эти два предложения эквивалентны следующему: пусть 0<a <k и

.