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


     Государственный комитет Российской Федерации по высшему образованию
  Саратовский ордена Трудового Красного Знамени государственный университет
                            им. Н.Г.Чернышевского

                                             Кафедра математического анализа



    ИССЛЕДОВАНИЕ НАИЛУЧШИХ ПРИБЛИЖЕНИЙ НЕПРЕРЫВНЫХ ПЕРИОДИЧЕСКИХ ФУНКЦИЙ
                       ТРИГОНОМЕТРИЧЕСКИМИ ПОЛИНОМАМИ



                              ДИПЛОМНАЯ РАБОТА
          студентки 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]   обыкновенными   многочленами   имеют
заданный порядок j (n-1 )?
 При каких ограничениях  на  непрерывную  периодическую  функцию  f  (x)  её
наилучшее приближение En[f] тригонометрическими  полиномами  имеют  заданный
порядок j (n-1 )?
Подстановка   u=cos(x)   сводит   задачу  1   к   задаче   2.    Достаточно,
следовательно, рассматривать лишь задачу 2.
       Мы ограничимся случаем, когда j(d) О N a , для  некоторого  a  ,  где
j(d) - функция сравнения р-го порядка и для 0< da,  и  достаточно,  чтобы  для
некоторого натурального k>a
                                    [pic]
где [pic]
       Изложим теперь кратко содержание каждого из параграфов работы.
       В §1 даётся ряд вспомогательных определений,  которые  понадобятся  в
дальнейшей работе.
       В  §2  выводятся  основные  свойства  модулей  непрерывности   высших
порядков. Почти все эти свойства используются в дальнейшем тексте.
       §3 посвящен обобщению теоремы Джексона. Как известно, Джексон доказал
следующую теорему: если f имеет непрерывную r-ую производную f (r) , то
                                    [pic]
       Таким образом, теорема Джексона  дает  оценку  сверху  для  наилучших
приближений,  если  известны  дифференциальные   свойства   аппроксимируемой
функции.
       В 1947 г. появилась работа С.Н.Бернштейна [1]. Одна  из  теорем  этой
работы содержит в качестве следствия такое предложение: пусть
                                    [pic]
Тогда
                                    [pic]
       В §3 доказываем:
                                                       [pic]             (*)
       В §4 формулируется доказанное в  работе  С.Б.Стечкина  [2]  обобщение
известного  неравенства  С.Н.Бернштейна  [3],   [4]   для   производных   от
тригонометрического полинома. Мы приводим  затем  ряд  следствий  из  нашего
неравенства (*). Они играют  существенную  роль  при  доказательстве  теорем
§5.
       В  §5  рассматривается  следующая  задача.  Пусть  тригонометрический
полином tn  ,  близок  в  равномерной  метрике  к  заданной  функции  f  или
последовательность полиномов {tn} достаточно хорошо аппроксимирует  заданную
функцию   f.   Как   связаны   тогда   дифференциальные   свойства    f    с
дифференциальными свойствами tn?
       Если  tn  ,  образуется  из   f    посредством   регулярного   метода
суммирования  рядов  Фурье,  то  ответ  тривиален:  для  того  чтобы  [pic],
необходимо и достаточно, чтобы [pic] равномерно  относительно  n.  (fОHk[w],
если [pic]).
       Оказывается,  что  этот  результат  сохраняется   и   для   полиномов
наилучшего приближения: для того, чтобы [pic] равномерно относительно n.
       Отметим  еще  один  результат  параграфа:  для  того   чтобы   [pic],
необходимо и достаточно чтобы
                                   [pic].
       §6 посвящён “обратным теоремам” теории приближения.
       Известно предложение: пусть
                                 [pic][pic].
Тогда, если a не целое, r=[a], b=a-r, то  f  имеет  нерперывную  производную
[pic].
       Случай целого a рассмотрен Зигмундом. В этом случае
                                   [pic].
       Нетрудно показать, что эти два предложения  эквивалентны  следующему:
пусть 00  таких,  что  [pic]  k-й
разностью функции f в точке x с шагом h называется величина
                                            [pic]                      (1.4)
а при [pic] и h>0 таких, что [pic] k-й симметричной разностью - величина
                                                           [pic]      (1.4’)
       Лемма 1. При любых натуральных j и k справедливо равенство
                                      [pic]                            (1.5)
       Доказательство. Действительно, так как при любом натуральном k
                                    [pic]
то
                                    [pic]
Лемма доказана.
       Лемма 2. При любых натуральных k и n верна формула:
                                                        [pic]          (1.6)
       Доказательство. Воспользуемся индукцией по k. При k=1 тождество (1.6)
проверяется непосредственно:
                                   [pic].
Предполагая его справедливость при k-1 (kі2), получим
                                    [pic]
Лемма доказана.
       Определение 5. Если измеримая периода (b-a) функция f(x)ОLq (Lq-класс
всех вещественных измеримых на [a,b] функции f(x)), то под  её  интегральным
модулем гладкости порядка kі1 понимают функцию
                                    [pic]
       Лемма 3. Если [pic] то справедливо
                                                   [pic]               (1.7)
       Доказательство. В самом деле,
                                    [pic]
и так далее. Лемма доказана.
       Определение 6. Если функция f(x)  ограничена  на  [a,b],  то  под  её
модулем гладкости порядка kі1 понимают функцию
                                    [pic]
заданную  для  неотрицательных  значений  [pic]  и  в  случае,  когда   k=1,
представляющую собой модуль непрерывности.
       Свойства модулей гладкости:
[pic]
[pic] есть функция, монотонно возрастающая;
[pic] есть функция непрерывная;
При любом натуральном n имеет место ( точное) неравенство
                           [pic]                                       (1.8)
а при любом [pic]-неравенство
                                        [pic]                         (1.8’)
       5) Если функция f(x) имеет всюду на [a,b] непрерывные производные  до
(r-1)-го порядка, и при этом (r-1)-я производная [pic], то
                                  [pic]                                (1.9)
       Доказательство. 1) Свойство 1) немедленно вытекает из того, что
                                    [pic]
       2) Свойство 2) доказывается точно так же, как и для  случая  обычного
модуля непрерывности.
       3) Предполагая для определённости, что d>d’, получим
[pic][pic]
Этим непрерывность функции wk(d) доказана.
       4) Используя равенство лемму 2 §1, имеем
[pic]Этим  неравенство  (1.8)  доказано.  Неравенство  (1.8’)   следует   из
монотонности функции wk(t) и неравенства (1.8).
       5) Используя равенства лемму 1 и лемму 3 §1, получим
                                    [pic]
       Определение 7. Пусть k-натуральное число. Будем говорить, что функция
[pic] есть модуль непрерывности k-го порядка функции f, если
                                    [pic]
где [pic]-конечная разность функции f k-го порядка с шагом h:
                                    [pic]
       Среди модулей непрерывности всех порядков  особенно  важное  значение
имеют случаи k=1 и k=2. Случай k=1 является классическим;  вместо  [pic]  мы
будем писать просто [pic] и  называть  эту  функцию  модулем  непрерывности;
функцию [pic] мы будем называть модулем гладкости.
       Определение 8. Зададим  натуральное  число  k.  Будем  говорить,  что
функция  [pic]-есть функция сравнения k-го порядка, если  она  удовлетворяет
следующим условиям:
      1) [pic] определена для [pic],
      2) [pic] не убывает,
      3) [pic],
      4) [pic]
       Нетрудно показать, что если f є 0, то [pic] есть функция сравнения k-
го порядка (см. Лемму 5 §2).
       Определение 9. Зафиксируем натуральное число k и функцию сравнения k-
го порядка [pic]. Будем говорить, что функция f принадлежит к классу  [pic],
если найдётся константа С10>0 такая, что
                                    [pic]
Вместо [pic] будем писать просто Hka.
       Если для последовательности функций {fn} (n=1,2,...)
                                 [pic][pic]
где С10 не зависит от n, то будем писать: [pic] равномерно относительно n.
       Понятие  классов  [pic]  является  естественным  обобщением   классов
Липшица и классов функций, имеющих ограниченную k-ю производную.
       Определение 10. Зафиксируем число a>0 и обозначим через p  наименьшее
натуральное число, не меньше чем a (p=-[- a]). Будем говорить,  что  функция
[pic] принадлежит к классу [pic], если она
       1) есть функция сравнения p-го порядка и
       2) удовлетворяет условию: существует константа С11>0 такая,  что  для
[pic]
                                    [pic]
       Условие 2) является небольшим ослаблением условия «[pic] не убывает».
Функции класса Na будут играть основную роль во всём дальнейшем изложении.
       Определение 11. Будем  говорить,  что  функция  [pic]  имеет  порядок
[pic], если найдутся две положительные константы  С12 и С13 такие,  что  для
всех t, для которых определены функции [pic] и [pic],
                                   [pic].
       При выполнении этих условий будем писать
                                   [pic].
       Определение 12. Ядром Дирихле n-го порядка называется функция
                              [pic]                                   (1.10)
Это ядро является тригонометрическим полиномом порядка n и при этом
                                         [pic]                       (1.10’)
       Определение 13. Ядром Фейера n-го порядка называется функция
                             [pic]                                    (1.11)
Ядро Фейера Fn(t) является средним арифметическим первых n ядер  Дирихле,  и
значит, является  тригонометрическим   полиномом   порядка  (n-1).  Так  что
имеют место равенства
                                         [pic]                       (1.11’)
                                                       [pic]        (1.11’’)
где Dk(t)-ядра Дирихле.
       Определение 14. Ядром Джексона n-го порядка называется функция
                                                [pic]                 (1.12)
       Свойства ядер Джексона.
       а)  При  каждом  n  ядро  Jn(t)   является   чётным   неотрицательным
тригонометрическим полиномом порядка 2n-2 вида
                                   [pic],
где jk=jk(n) - некоторые числа
[pic]
       б) [pic]
       в) [pic]
       г) [pic]
       Доказательство.
       а) Учитывая, что для ядер Fn(t) Фейера имеют место равенства
[pic][pic] получим
[pic]
где  jk(k=1,2,...,2n-2)  -некоторые  числа,   и   в    частности,   в   силу
ортогональности тригонометрической системы функций найдем
[pic]
Этим свойство а) доказано.
       б) Это равенство следует из равенства, полученного для j0.
       в) Так как [pic] при любом [pic] и [pic] при [pic] (**), то
                                    [pic]
       г) Совершенно аналогично случаю в) получим
                                    [pic]
Что и требовалось доказать.
       Определение 15. Ядром типа Джексона порядка n называется функция
                                   [pic],                             (1.13)
n=1,2,3,...,k-натуральное, где
                                     [pic]                           (1.13’)
       Ядра типа Джексона обладают следующими свойствами:
       а) [pic]
       б) При фиксированном натуральном k и произвольном n ядро Jn,k(t)
является чётным неотрицательным тригонометрическим полиномом порядка k(n-1)
       в) [pic][pic]n2k-1, т.е. существуют постоянные С14>0 и С15>0,  такие,
что при всех n=1,2,3,... будет
                                    [pic]
       г) При любом s>0 имеет место неравенство
                                    [pic]
       д) При любом натуральном [pic]
                               [pic][pic][pic]
       Доказательство свойств ядер типа Джексона.
       а) Это свойство вытекает из равенств определения
       б) Это свойство следует из 1-го неравенства определения  и  из  того,
что в силу равенств (1.11) и (1.11‘’) будет
                                                [pic]                 (1.14)
где [pic] - некоторые целые числа.
       в) Учитывая неравенства (**), будем иметь
                                                                 [pic](1.15)
С другой стороны
                                                               [pic] (1.15‘)
       г) Это  неравенство  вытекает  из  первого  равенства  определения  и
неравенства (1.15‘)
                                    [pic]
       д) Действительно, с одной стороны, в силу неравенств (1.15‘) и (**)
                                                     [pic]            (1.16)
где A-const, а с другой стороны,  учитывая  соотношение  (1.15),  неравенств
(**) и из неравенства sintЈt, при всех tі0 (***), имеем
                                                [pic]                (1.16‘)
A1-const.  Неравенства  (1.16)  и  (1.16‘)  равносильны   условию,   что   и
требовалось доказать.


               §2. Простейшие свойства модулей нерперывности.
       Этот параграф носит вспомогательный характер.  Здесь  устанавливается
несколько простейших  свойств  модуля  нерперывности  высших  порядков.  Все
рассматриваемые здесь функции f1, f2, ... - непрерывны.
       ЛЕММА 1. Для любого натурального k  и любого dі0
                                              [pic]                    (2.1)
       Доказательство: по определению,
                                    [pic]
Лемма доказана.
       ЛЕММА 2. Пусть f и l -натуральные числа, l0, h>0. Тогда
                                       [pic]                           (2.6)
Если кроме того 00
                                     [pic]                             (5.7)
равномерно относительно n.
       Следствие  3.2.  Пусть  для  некоторого  натурального  k   и   любого
натурального n
                                    [pic]
Тогда
                                               [pic]                   (5.8)
       Теорема 4. Для того, чтобы [pic], необходимо и достаточно, чтобы
                          [pic]                                        (5.9)
равномерно относительно n.
       Это вытекает из теоремы 1, следствия 3.1 и того  замечания  что  если
выполнено условие (5.9), то [pic].
       Теорема 5. Для того, чтобы [pic], необходимо и достаточно, чтобы
                            [pic]                                     (5.10)
Это доказывается аналогично теореме 4, только  вместо  следствия  3.1  нужно
воспользоваться следствием 3.2.
       Неравенства теоремы 3 имеют тот недостаток, что их правые части  явно
зависят от константы С20. Таким образом, если вместо  фиксированного  номера
n и одного  полинома  tn  рассматривать  последовательность  полиномов  {tn}
(n=1,2,...), то С20  окажется, вообще говоря, независящей от n и  теорема  3
даёт оценки, не равномерные относительно n. Покажем как избавиться от  этого
неудобства.
       Теорема 6. Пусть для некоторого натурального k
                                [pic]                                 (5.11)
и
                                          [pic]                       (5.12)
       Тогда для любого d>0
                                  [pic]                               (5.13)
равномерно относительно n.
       Доказательство. Пусть сперва [pic]. Из неравенства (5.2) следует, что
                                    [pic]
и на основании (5.11)
                                                            [pic]     (5.14)
       Рассмотрим случай [pic]. Положим в (5.14) [pic]. Тогда получим
                                    [pic]
Из этого неравенства, в силу (4.7), следует, что
                                    [pic]
Но так как, по условию, [pic], то
                                    [pic]
Отсюда
                                    [pic]
       Окончательно,
                                    [pic]
и теорема доказана.
       В  следующем  параграфе  будет  показано,  как   можно   видоизменить
ограничения (5.11) теоремы 6.

            §6.  Обобщение  обратных  теорем  С. Н. Бернштейна и
                              Ш. Валле-Пуссена.
       В этом параграфе обобщаются и  уточняются  так  называемые  “обратные
теоремы” теории приближения. Речь идёт об  оценке  дифференциальных  свойств
функции  f,  если  известны   свойства   последовательности   её   наилучших
приближений {En}.
       Лемма 9. Зададим натуральное число k, и пусть
                                    [pic]                              (6.1)
и
                                   [pic].                              (6.2)
Тогда
                                                 [pic]                 (6.3)
       Доказательство. Имеем, согласно (2.1),
                                    [pic]
Но из (2.10) и (6.2) получаем
                                    [pic]
а из (2.2) и (6.1)
                                    [pic]
Поэтому
                                    [pic]
левая часть этого неравенства не зависит от n, а поэтому
                                    [pic]
и лемма доказана.
       Для получения хороших оценок [pic]  обычно  достаточно  взять  [pic].
Однако на исключена возможность, что в некоторых случаях другой выбор  [pic]
может оказаться предпочтительнее.
       Теорема 7. Пусть k-натуральное число, функция [pic] не убывает и
                                           [pic]                       (6.4)
Для того чтобы [pic], необходимо и достаточно выполнение условия
                                            [pic]                      (6.5)
       Доказательство. Необходимость условия  (6.5)  вытекает  из  следствия
3.2.  Установим  его  достаточность,  для  чего  воспользуемся   леммой   9.
Получаем:
                                    [pic]
Положим здесь [pic]; тогда для [pic] будем иметь [pic] и [pic]поэтому
                                    [pic]
и теорема доказана.
       Отметим два следствия из этой теоремы.
       Следствие 7.1. Пусть k-натуральное число, функция [pic] не убывает и
                                         [pic]                         (6.6)
Для того чтобы [pic], необходимо и достаточно выполнение условия
                                         [pic]                         (6.7)
       Следствие 7.2. Пусть k-натуральное число и [pic] Если
                                    [pic]
и
                                       [pic]                           (6.8)
то
                                    [pic]
равномерно относительно n.
       Это вытекает из теорем 7 и 6.
       Теорема 7 показывает, что  нужно  добавить  к  условию  (6.4),  чтобы
получить [pic]. Теперь  мы  получим  оценки  для  [pic],  исходя  только  из
условий вида (6.4). Попутно выясняется,  что  при  некоторых  дополнительных
ограничениях на функцию [pic] условие (6.5) становится излишним.  Суть  дела
в том, что при этих ограничениях (6.4) влечёт (6.5).
       Лемма 10. Пусть
                                     [pic]                             (6.9)
где [pic]. Тогда для любого натурального k
                                            [pic]                     (6.10)
       Доказательство.   Зафиксируем   натуральное   число   n,    определим
натуральное p из условий
                                    [pic]
и построим последовательность номеров [pic] положив
                                    [pic]
       Для оценки [pic] представим [pic] в таком виде:
                                    [pic]
Так как [pic], то отсюда
                                    [pic]
                                 [pic]                                (6.11)
       Оценим Ul(k). Имеем для l=1,2,...,p
                                    [pic]
откуда
                                    [pic]
Но [pic] есть тригонометрический полином порядка  не  выше  nl.  Поэтому  по
неравенству С.Н. Бернштейна,
                                      [pic]                           (6.12)
       Заметим теперь, что, в силу определения последовательности {nl},
                           [pic] и [pic] для [pic]
Поэтому, пользуясь ещё монотонностью последовательности {Fn}2  находим,  что
для [pic]
                                                              [pic]   (6.13)
       При помощи (6.11), (6.12) и (6.13) находим окончательно:
                                    [pic]
и лемма доказана.
       Теорема 8. Для любого натурального k и любого [pic]
                                                    [pic]             (6.14)
       Доказательство. Имеем
                                    [pic]
Отсюда, по лемме 10,
                                    [pic]
Воспользуемся теперь леммой 9. Получаем:
                                    [pic]
Если [pic], то [pic]. Кроме того,
                                    [pic]
Поэтому для [pic]
                                    [pic]
и теорема доказана.
       Мы  обращаемся  теперь  к  рассмотрению  вопроса  о  том,  при  каких
ограничениях на {En} условие (6.4) влечёт [pic]
       Теорема 9. Зададим натуральное число k; пусть [pic] и [pic]. Для того
чтобы [pic], необходимо и достаточно выполнение условия
                                     [pic]                            (6.15)
       Доказательство. Необходимость условия (6.15) вытекает из  теоремы  1.
Докажем его достаточность. Согласно теореме 8, для [pic]
                                    [pic]
Положим здесь [pic] и заметим, что тогда [pic] для [pic] и, в  силу  условия
[pic],
                                    [pic]
Поэтому для [pic]
                                 [pic][pic]
и теорема доказана.
       Следствие 9.1. Пусть [pic] и [pic]. Тогда для всех натуральных  [pic]
классы [pic] эквивалентны.
       Следствие 9.2. Пусть [pic] и [pic]. Если
                                    [pic]
то для любого фиксированного натурального [pic]
                                    [pic]
равномерно относительно n.
       Рассмотрим теперь следующий вопрос. как связаны приближения функции f
с приближениями и дифференциальными свойствами её производных f (r)?
       Теорема 10. Зададим натуральное число r, и пусть
                                       [pic]                          (6.16)
где
                                             [pic]                    (6.17)
Тогда f имеет непрерывную производную f(r) и
                                                            [pic]     (6.18)
       С.Н.Бернштейн [3] доказал такую теорему: если ряд [pic] сходится,  то
функция  f  имеет  непрерывную  производную  f   (r).   Рассмотрение   этого
доказательства С.Н.Бернштейна показывает, что на самом деле  им  установлено
следующее,  более  общее  предложение:  пусть  выполнены  условия  (6.16)  и
(6.17).  Тогда  функция  f  имеет  непрерывную  производную  f(r)  и   [pic]
равномерно относительно  x.  В  ходе  доказательства  теоремы  10  мы  вновь
установим это предложение.
       Доказательство.   [pic]   при   [pic].   Поэтому   [pic]   равномерно
относительно  x.  Отсюда  следует,  что   если   {nk}   (k=0,1,2,...)   есть
возрастающая последовательность номеров, то
                                    [pic]
Зафиксируем натуральное число n и положим
                                    [pic]
Тогда будем иметь
                                  [pic]                               (6.19)
где
                                    [pic]
       Докажем, что формулу (6.19) можно продифференцировать почленно r раз,
т.е.
                                      [pic]                           (6.20)
Для этого достаточно установить, что ряд справа равномерно сходится.  Прежде
всего, оценим [pic]. Имеем
                                    [pic]
откуда
                                    [pic]
Оценим теперь [pic]. По неравенству С.Н.Бернштейна,
                                    [pic]
Пользуясь этой оценкой, получаем:
                                    [pic]
Но
                                    [pic]
Поэтому
                                                            [pic]     (6.21)
       Итак, доказана сходимость ряда [pic], а вместе с этим  установлена  и
формула (6.20). Из (6.20) и (6.21) вытекает, что
                                    [pic]
и теорема доказана.
       В  некоторых  случаях  оценка  (6.18)  может  быть  упрощена.  Пусть,
например,
                          [pic]                                       (6.22)
Тогда
                                    [pic]
Поэтому при выполнении условия (6.22) вместо (6.18) можно написать
                                    [pic]
       Следствие 10.1. Пусть r-натуральное число и сходится ряд
                                    [pic]
Тогда
                                                         [pic]        (6.23)
       Теорема 11. Пусть r-натуральное число и для функции f сходится ряд
                                    [pic]
Тогда для любого натурального k и любого [pic]
                                                           [pic]      (6.24)
       Доказательство. Имеем
                                    [pic]
Отсюда, по лемме 10,
                                    [pic]
Далее, согласно теореме 10,
                                    [pic]
Воспользуемся теперь леммой 9. Получаем
                                    [pic]
Заметим, что
                                    [pic]
Таким образом, если [pic], то
                                    [pic]
и теорема доказана.
                            §7. Основная теорема.
       Обратимся  теперь   к   рассмотрению   следующего   вопроса:   каковы
необходимые и достаточные условия того, чтобы
                                    [pic]
где [pic]-заданная невозрастающая функция?
       Насколько нам известно, эта задача не была до сих пор решена даже для
случая [pic]. Мы решим её для функций сравнения [pic].
       Лемма 11. Пусть [pic] и для некоторого натурального [pic]
                             [pic]                                     (7.1)
Тогда существует такая константа с>0, что
                                     [pic]                             (7.2)
       Доказательство. Согласно (7.1), найдутся две такие константы С60>0  и
C61>0, что
                                              [pic]                    (7.3)
       Последнее  из  этих  неравенств,  теорема  1  и  теорема   3   влекут
неравенство
                                                    [pic]              (7.4)
       В силу (2.1) и (2.2), имеем
                                    [pic]
Отсюда
                                    [pic]
Пользуясь (7.3) и (7.4), находим, далее
                                              [pic]                    (7.5)
       Вспомним теперь, что [pic]. Это даёт нам для [pic]
                                    [pic]
Подставляя эту оценку в (7.5), получаем
                                                     [pic]             (7.6)
       Мы можем без ограничения общности считать, что здесь [pic]. Положим в
(7.6)
                                    [pic]
Тогда получим окончательно
                                    [pic]
и лемма доказана.
       Основная теорема. Пусть [pic]. Для того чтобы
                          [pic]                                        (7.7)
необходимо, чтобы для  всех  натуральных  [pic],  и  достаточно,  чтобы  для
некоторого натурального [pic]
                           [pic].                                      (7.8)
       Доказательство.  Пусть  имеет  место   (7.7),   т.е.   найдутся   две
положительные константы С67 и С68, для которых
                                               [pic]                   (7.9)
Тогда, по теореме 1 и в силу первой половины неравенства (7.9),  для  любого
k имеем
                                    [pic]
т.е.
                                    [pic]
Отсюда, в силу [pic],
                                    [pic]
и если [pic], то, ввиду монотонности [pic] и [pic],
                                    [pic]
       Далее, из второй половины неравенства  (7.9)  и  теоремы  9  вытекает
существование константы С72 такой, что для любого [pic]
                                    [pic]
       Этим заканчивается доказательство необходимости условия (7.8).
       Пусть имеет место (7.8):
                                              [pic]                   (7.10)
с С73>0. Тогда по теореме 1 и в силу второй половины неравенства (6.10),
                                    [pic]
а по лемме 11,
                                    [pic]
где С77>0.
       Таким образом, установлена достаточность условия  (7.8),  и  основная
теорема полностью доказана.
       Приведём в заключение обобщение леммы 11 на тот случай, когда  оценки
[pic] сверху и снизу имеют разные порядки.
       Теорема 12. Пусть [pic] и
                                         [pic]                        (7.11)
Тогда
                                        [pic]                         (7.12)
       Доказательство. Имеем, как при доказательстве леммы 11,
                                    [pic]
       Положим здесь
                                    [pic]
Тогда получим, что
                                    [pic]
       Теорема доказана.

                             §8. Решение задач.
       Пример 1. Пусть [pic] Тогда при каждом [pic]
                                    [pic]
       Пример 2. Пусть  график  функции  f(x)  имеет  вид,  изображённый  на
рис.8.1. Тогда график функции [pic] показан на рис.8.2.
                                    [pic]
                         Рис.  8.1.                                     Рис.
8.2.
       Пример 3. Пусть при [pic]
                                    [pic]
и пусть [pic] - периодическое продолжение функции [pic] на всю ось.

[pic]
                                  Рис. 8.3.
                               [pic]Рис. 8.4.
Тогда если функцию [pic] рассматривать на сегменте [pic]  длины  [pic]  так,
что (рис. 8.3)
                                    [pic]
то (рис. 8.4)
                                    [pic]
т.е. модуль непрерывности функции [pic] в точке [pic]  не  достигает  своего
наибольшего значения и, следовательно, отличается  от  модуля  непрерывности
этой функции на всей оси.
       Пример 4. При [pic] функция
                                    [pic]
является модулем непрерывности.
       Пример 5. При [pic] функция
                                    [pic]
является модулем непрерывности.
       Пример 6. При [pic] имеем [pic] так что при всех [pic] будет
                                   [pic].
                                 Литература.
1. Бернштейн С.Н. О свойствах однородных функциональных классов  //  Доклады
  Ак. Наук СССР,-1947.-№57.-с.111-114.
2. Стечкин С.Б. О  порядке  наилучших  приближений  непрерывных  функций  //
  Доклады Ак. Наук СССР,-1949.-№65.-с.135-137.
3. Бернштейн С.Н. О наилучшем приближении  непрерывных  функций  посредством
  многочленов данной степени // Сообщ. Харьк. Матем. о-ва (2), -1912.-№13.-
  с.49-144.
4. Бернштейн С.Н. Экстремальные свойства полиномов и  наилучшее  приближение
  непрерывных функций одной вещественной переменной. Часть I,-М.-Л.,-1937.
5. Никольский С. Обобщение одного неравенства С.Н.Бернштейна // Доклады  Ак.
  Наук СССР,-1948.-№65.-с.135-137.
6. Гончаров В.Л.  Теория  интерполирования  и  приближения  функций.-М.-Л.,-
  1934.
7.  Дзядык  В.К.  Введение  в  теорию   равномерного   приближения   функций
  полиномами. -М.: Наука.-1977.-с.512.
8. Стечкин С.Б. О  порядке  наилучших  приближений  непрерывных  функций  //
  Доклады Ак. Наук СССР,-1949.-№65.-с.135-137.
9.  Тиман  А.Ф.   Теория   приближения   функций   функций   действительного
  переменного. -М.:ГИФМЛ,-1960.-с. 624.
10.  Ахиезер Н.И. Лекции по теории аппроксимаций.-М.:ГИТТЛ,-1947.-324.
11.  Арестов В.В. О равномерной  регуляризации  задачи  вычисления  значений
  оператора // Математические заметки,-т.22.-1977.-№2.-с.231-243.
12.  Стечкин С.Б. О порядке наилучших  приближений  непрерывных  функций  //
  Изв. АН СССР-Математика,-1931.-№15.-с.219-242.