Зміст
Вступ
1. Основні означення та властивості
2. Теорема Джексона
3. Узагальнення теореми Джексона
4. Теорема С.Н. Бернштейна
5. Теорема про рівність класу Ліпшиця і класу Діціана і Тотіка
Висновок
Список використаної
літератури
Вступ
Нехай ![]()
-
неперервна, ![]()
-
періодична функція, а ![]()
-
її найкраще наближення тригонометричними поліномами не вище ![]()
-го
порядку. В силу другої теореми Вейєрштраса виявляється, що
Чим «простіше» буде наближення функції ![]()
,
тим точніше вона буде представлятися тригонометричним поліномом. Інакше кажучи,
для більш простіших функцій, ![]()
повинно
прямувати до нуля швидше, ніж для функцій складної природи. В дипломній роботі
буде розглядатися питання, як впливає покращення структурних властивостей
функції, що наближається, на порядок спадання її найкращого наближення ![]()
.
Ці результати, головним чином, належать Джексону.
Теорема Джексона дає оцінку зверху для найкращого наближення функції многочленами або періодичної функції тригонометричними поліномами. Теорема дає можливість досліджувати властивості найкращих наближень в залежності від диференційованих властивостей функції.
Зручною характеристикою структурних властивостей функції є величина, яка називається «модулем неперервності» цієї функції. У роботі вивчаються властивості звичайного модуля неперервності і властивості введені Діціаном і Тотіка, і на їх базі досліджується поведінка найкращих наближень неперервної функції алгебраїчними многочленами.
В дипломній роботі будуть згадані деякі результати С.Н. Бернштейна,
обмежуючись, розглядом неперервних, ![]()
-
періодичних функцій. С.Н. Бернштейну належить ряд важливих результатів, де він
вирішує обернену задачу: задачу характеристики структурно-диференційовних
властивостей функції на основі порядку малості її найкращого наближення. В
цілому всі ці дослідження дають класифікацію неперервних функцій за порядками
їх найкращих наближень.
неперервність теорема многочлен
Означення 1.1. Нехай на проміжку ![]()
задана функція ![]()
.
Візьмемо будь-яке додатне число ![]()
і
розглянемо всі пари чисел ![]()
і
![]()
,
які належать ![]()
і
задовольняють наступну нерівність
Точна верхня межа чисел ![]()
називається модулем неперервності функції ![]()
.
Властивості модуля неперервності. . Функція ![]()
монотонно
зростає. Дійсно, якщо ![]()
то
множина пар ![]()
які задовольняють умову ![]()
ширше, ніж множина таких пар, для яких ![]()
.
Зважаючи на те, що при розширенні числової множини її точна верхня межа може
хіба лише збільшитись, ясно те, що
II. Для того, щоб функція ![]()
була
рівномірно неперервна на проміжку ![]()
необхідно
та достатньо, щоб
.
Якщо ![]()
- натуральне число, то
Дійсно, нехай
Розіб’ємо сегмент
![]()
на
![]()
рівних
частин точками
Очевидно, що
З іншого боку, ![]()
звідки
і тому
Властивість доведена.. При будь-якому додатному ![]()
Дійсно, нехай ![]()
є
ціла частина ![]()
,
така що ![]()
.
Тоді
Означення 1.2. Якщо функція ![]()
задана
на проміжку ![]()
і
при всіх ![]()
і
![]()
із
цього проміжку задовольняє нерівність
то кажуть, що функція ![]()
задовольняє
умову Ліпшиця з показником ![]()
і
коефіцієнтом ![]()
,
і пишуть
Інакше кажучи, ![]()
є
клас всіх функцій, які задовольняють умову Ліпшиця даного порядку ![]()
із
заданим коефіцієнтом ![]()
,
а ![]()
є
класом функцій, які задовольняють умові Ліпшиця порядку ![]()
з
будь-яким коефіцієнтом.
Означення 1.3. Найкраще наближення. Для будь-якої обмеженої
вимірної функції ![]()
,
заданої на кінцевому відрізку ![]()
,
і будь-якого натурального ![]()
існує
звичайний многочлен
степеня не вище ![]()
,
що найменш ухиляється від неї на цьому відрізку, тобто такий, що серед усіх
інших многочленів ![]()
,
які мають степінь, не більше ніж ![]()
,
реалізує найменше значення для відхилення
Означення 1.4. Нехай функція ![]()
належить
![]()
, тобто неперервна і має період ![]()
.
Взявши будь-який тригонометричний поліном ![]()
порядку
не вище ![]()
,
покладемо
Будемо називати цю величину відхиленням полінома ![]()
від
функції ![]()
.
Змушуючи поліном ![]()
пробігати
всю множину ![]()
*) ми
отримаємо цілу множину невід’ємних відхилень ![]()
.
Точна нижня межа
цієї множини називається найменшим відхиленням поліномів із ![]()
від
![]()
або
найкращим наближенням до ![]()
поліномами
із ![]()
.
Означення 1.5. Нехай ![]()
-
натуральне число. Будемо казати, що функція ![]()
![]()
є
модуль неперервності ![]()
-го
порядку функції ![]()
, якщо
де ![]()
-
кінцева різниця функції ![]()
![]()
-го
порядку з шагом ![]()
:
Властивості модуля неперервності ![]()
-го
порядку.
Лема 1.1. Для будь-якого натурального ![]()
і
будь - якого ![]()
![]()
Лема 1.2. Нехай ![]()
і ![]()
-
натуральні числа, ![]()
Тоді
для будь-якого ![]()