Пpиближения непpеpывных пеpиодических фyнкций тpигонометpическими полиномами - (реферат)
Пpиближения непpеpывных пеpиодических фyнкций тpигонометpическими полиномами - (реферат)
Дата добавления: март 2006г.
Государственный комитет Российской Федерации по высшему образованию Саратовский ордена Трудового Красного Знамени государственный университет им. Н. Г. Чернышевского
Кафедра математического анализа
ИССЛЕДОВАНИЕ НАИЛУЧШИХ ПРИБЛИЖЕНИЙ НЕПРЕРЫВНЫХ ПЕРИОДИЧЕСКИХ ФУНКЦИЙ ТРИГОНОМЕТРИЧЕСКИМИ ПОЛИНОМАМИ
ДИПЛОМНАЯ РАБОТА
студентки 524 группы механико-математического факультета
Чуркиной Любови Васильевны
Научный руководитель
к. ф. -м. н, доцент
Тимофеев В. Г.
Заведующий кафедрой
доктор ф. -м. н. , профессор
Прохоров Д. В.
г. Саратов-1996 г.
Оглавление.
Наименование
Стр.
Введение
3
§1. Некоторые вспомогательные определения
7
§2. Простейшие свойства модулей нерперывности
20
§3. Обобщение теоремы Джексона
24
§4. Обобщение неравенства С. Н. Бернштейна
27
§5. Дифференциальные свойства тригонометрических полиномов, аппроксимирующих заданную функцию
30
§6. Обобщение обратных теорем С. Н. Бернштейна и Ш. Валле-Пуссена 34
§7. Основная теорема
44
§8. Решение задач
47
Литература
50
Введение
Дипломная работа посвящена исследованию наилучших приближений непрерывных периодических функций тригонометрическими полиномами. В ней даются необходимые и достаточные условия для того, чтобы наилучшие приближения имели заданный (степенной) порядок убывания.
Дипломная работа носит реферативный характер и состоит из “Введения” и восьми параграфов.
В настоящей работе мы рассматриваем следующие задачи:
При каких ограничениях на непрерывную функцию F(u) (-1 ? u ? +1) её наилучшие приближения En [F; -1, +1] обыкновенными многочленами имеют заданный порядок ? ?(n-1 )? При каких ограничениях на непрерывную периодическую функцию f (x) её наилучшее приближение En[f] тригонометрическими полиномами имеют заданный порядок ? ?(n-1 )? Подстановка u=cos(x)сводит задачу 1 к задаче 2. Достаточно, следовательно, рассматривать лишь задачу 2.
Мы ограничимся случаем, когда ? ?? ?? ? N? ? , для некоторого ? , где ? ?? ? - функция сравнения р-го порядка и для 0
С. Н. Бернштейн, Д. Джексон и Ш. Валле-Пуссен получили зависимости между оценками сверху дляEn[f] и дифференциальными свойствами f. Некоторые дополнения к их теоремам доказаны А. Зигмундом. нам предстоит, поэтому, получить зависимости между дифференциальными свойствамиf и оценками En[f] снизу. Впервые задачами типа 1 занимался С. Н. Бернштейн. А именно, им получено ассимптотическое равенство:
,
где ? - некоторое число.
Наша основная теорема формулируется следующим образом:
Пусть ? ?? N? ?? Для того чтобы
необходимо, чтобы для любого натурального k>? , и достаточно, чтобы для некоторого натурального k>?
где
Изложим теперь кратко содержание каждого из параграфов работы. В §1 даётся ряд вспомогательных определений, которые понадобятся в дальнейшей работе.
В §2 выводятся основные свойства модулей непрерывности высших порядков. Почти все эти свойства используются в дальнейшем тексте.
§3 посвящен обобщению теоремы Джексона. Как известно, Джексон доказал следующую теорему: еслиf имеет непрерывную r-ую производную f (r) , то
Таким образом, теорема Джексона дает оценку сверху для наилучших приближений, если известны дифференциальные свойства аппроксимируемой функции. В 1947 г. появилась работа С. Н. Бернштейна [1]. Одна из теорем этой работы содержит в качестве следствия такое предложение: пусть
Тогда
В §3 доказываем:
(*)
В §4 формулируется доказанное в работе С. Б. Стечкина [2] обобщение известного неравенства С. Н. Бернштейна [3], [4] для производных от тригонометрического полинома. Мы приводим затем ряд следствий из нашего неравенства (*). Они играют существенную роль при доказательстве теорем §5.
В §5 рассматривается следующая задача. Пусть тригонометрический полином tn , близок в равномерной метрике к заданной функции f или последовательность полиномов {tn} достаточно хорошо аппроксимирует заданную функцию f. Как связаны тогда дифференциальные свойства f с дифференциальными свойствами tn? Если tn , образуется из fпосредством регулярного метода суммирования рядов Фурье, то ответ тривиален: для того чтобы, необходимо и достаточно, чтобы равномерно относительно n. (f? Hk[? ], если ). Оказывается, что этот результат сохраняется и для полиномов наилучшего приближения: для того, чтобы равномерно относительно n.
Отметим еще один результат параграфа: для того чтобы , необходимо и достаточно чтобы .
§6 посвящён “обратным теоремам” теории приближения.
Известно предложение: пусть
.
Тогда, если ? не целое, r=[? ], ? =? -r, то f имеет нерперывную производную . Случай целого ? ?рассмотрен Зигмундом. В этом случае
.
Нетрудно показать, что эти два предложения эквивалентны следующему: пусть 0
Тогда
.
В работе [3] С. Н. Бернштейн доказал также эквивалентность условий и . Мы переносим эти теоремы на условия вида
,
где ? ?? N? ??
Кроме того, в этом параграфе доказано, например, такое предложение: пусть k - натуральное число и ;
для того, чтобы , необходимо и достаточно выполнение условия .
В конце параграфа даются уточнения теорем Валле-Пуссена.
В §7 доказывается основная теорема. Мы даём здесь же оценку En[f] снизу, если .
Именно, тогда
Случай ? =0 установлен С. Н. Бернштейном [3].
В §8 мы рассматриваем несколько решений задач с использованием различных модулей непрерывности.
§1. Некоторые вспомогательные определения.
В работе рассматриваются непрерывные функции f с периодом 2? и их приближение тригонометрическими полиномами. Через tn(x) обозначается тригонометрический полином порядка не выше n, а через tn*(x)=tn*(x, f)-тригонометрический полином, наименее уклоняющийся от f среди всех tn(x). Мы полагаем и пишем
Введём ряд определений.
Определение 1. При каждом фиксированном классом Липшица порядка ? называется множество всех непрерывных функция f, модуль непрерывности каждой из которых удовлетворяет условию
где С8-какая-нибудь положительная постоянная, которая не зависит от ? и которая, вообще говоря, является различной для разных функций. Этот класс обозначаетсяH? или Lip ? ?
Определение 2. Обозначим при фиксированном натуральном r через W(r)L класс функций f, которая имеет абсолютно непрерывные производные до (r-1) порядка и у которой r-я производная принадлежит классу L. Определение 3. Для непрерывной на [a, b] функции f (x) назовём модулем непрерывности первого порядка или же просто модулем непрерывности функцию ? ?? ?? ?? f; ?? , определённую на [0, b-a] при помощи следующего равенства: (1. 1)
или, что то же самое,
(1. 1’)
Свойства модуля непрерывности:
? ?? ?? ??
? ?? ?? есть функция, монотонно возрастающая;
? ?? ? есть функция непрерывная;
? ?? ?? есть функция полуаддитивная в том смысле, что для любых и (1. 2)
Доказательство. Свойство 1) вытекает из определения модуля непрерывности.
Свойство 2) вытекает из того, что при больших ? нам приходится рассматривать sup на более широком множестве значений h. Свойство 4) следует из того, что если мы число представим в виде h=h1+h2, и , то получим
Из неравенства (1. 2) вытекает, что если то т. е.
(1. 3)
Теперь докажем свойство 3). Так как функция f (x) равномерно непрерывна на [a, b], то при и, следовательно, для любых ? , при
а это и означает, что функция ? ?? ? непрерывна.
Определение 4. Пусть функция f (x) определена на сегменте [a, b]. Тогда для любого натурального k и любых и h>0 таких, что k-й разностью функции f в точке x с шагом h называется величина (1. 4)
а при и h>0 таких, что k-й симметричной разностью - величина (1. 4’)
Лемма 1. При любых натуральных j и k справедливо равенство
(1. 5)
Доказательство. Действительно, так как при любом натуральном k
то
Лемма доказана.
Лемма 2. При любых натуральных k и n верна формула:
(1. 6)
Доказательство. Воспользуемся индукцией по k. При k=1 тождество (1. 6) проверяется непосредственно: .
Предполагая его справедливость при k-1 (k? 2), получим
Лемма доказана.
