next up previous

С. Б. СТЕЧКИН И ТЕОРИЯ ПРИБЛИЖЕНИЙ

В. В. Арестов, В. И. Бердышев, Ю. Н. Субботин,
Н. И. Черных

22 ноября 1995 года ушел из жизни выдающийся математик Сергей Борисович Стечкин. В широком круге научных интересов профессора С.Б. Стечкина основное место занимают теория приближения функций и теория чисел. В теории приближения С.Б. Стечкин - признанный глава большой научной школы.

Первые работы С.Б. Стечкина [1, 2] относились к проблеме абсолютной сходимости тригонометрических рядов и методам суммирования числовых рядов. Но вскоре он увлекся вопросами теории приближения функций и в 1949 году опубликовал [3] (в [4] - с полными доказательствами) неравенства, связывающие наилучшие приближения tex2html_wrap_inline657 непрерывных tex2html_wrap_inline659-периодических функций f тригонометрическими полиномами порядки n-1 в равномерной метрике на периоде с модулями непрерывности k-го порядка tex2html_wrap_inline667 этих функций,
displaymath669
где
displaymath671
Он описал свойства tex2html_wrap_inline667 и доказал, что при некоторой константе tex2html_wrap_inline675 не зависящей от n и f, справедливы неравенства
equation5272
а для r раз непрерывно дифференцируемых периодических функций - справедливы неравенства
equation5274

Неравенства (1) и (2) при k=1 - это знаменитые неравенства Д. Джексона, которые были доказаны им в 1911 г. В 1945 г. А. Зигмунд оценил скорость убывания tex2html_wrap_inline657 при условии tex2html_wrap_inline687 или tex2html_wrap_inline689 В 1947 г. С.Н. Бернштейн оценил скорость убывания tex2html_wrap_inline657 при условии, что tex2html_wrap_inline693 а Н.И. Ахиезер доказал неравенство (1) при k=2. Окончательную точку здесь поставил С.Б. Стечкин и неравенства (1), (2) теперь называют неравенствами Джексона-Стечкина. Отметим, что методом Джексона нельзя доказать (1) при k>2, так как положительный полиномиальный оператор имеет порядок насыщения, равный 2. С.Б. Стечкину пришлось разработать здесь существенно новый метод, а построенный им класс полиномиальных операторов нашел значительные применения в дальнейшем.

В работах [3, 4] С.Б. Стечкин рассмотрел также относящийся к тематике обратных теорем теории приближения вопрос о характеризации периодических функций, допускающих заданную скорость убывания наилучших приближений, в терминах их свойств гладкости. Первый результат, полностью согласующийся с прямыми теоремами Джексона (см. (1), (2) при k=1) здесь был получен С.Н. Бернштейном, доказавшим, что из условия tex2html_wrap_inline703 вытекает непрерывная дифференцируемость функции f до порядка r включительно и вложение tex2html_wrap_inline709 что вместе с теоремами Джексона дает при tex2html_wrap_inline711 эквивалентность
displaymath713
Позже случай tex2html_wrap_inline715 был охарактеризован А. Зигмундом в терминах tex2html_wrap_inline717 Пусть tex2html_wrap_inline719 - класс tex2html_wrap_inline659-периодических непрерывных функций, для которых
displaymath723
где tex2html_wrap_inline725 при некотором c>0 (иначе класс tex2html_wrap_inline719 содержит только константы), и пусть tex2html_wrap_inline731 - класс таких tex2html_wrap_inline733 удовлетворяющих дополнительному условию: tex2html_wrap_inline735 такое, что для tex2html_wrap_inline737 выполняется неравенство
displaymath739
Обозначим через tex2html_wrap_inline741 полином наилучшего приближения порядка n-1 для f в tex2html_wrap_inline747 С.Б. Стечкин доказал, что

1) tex2html_wrap_inline749 где C не зависит от n;

2) если tex2html_wrap_inline755 то tex2html_wrap_inline757

3) если tex2html_wrap_inline759 то tex2html_wrap_inline761

4) если tex2html_wrap_inline763 то
displaymath765
(здесь tex2html_wrap_inline767 знак порядкового равенства: tex2html_wrap_inline769 если при некоторых абсолютных константах tex2html_wrap_inline771 и tex2html_wrap_inline773 для всех значений A и B - функций от tex2html_wrap_inline779 или n).

В 1952 г. С.М. Лозинский доказал, что заключения теорем 3) и 4) останутся справедливы, если в их посылках условие tex2html_wrap_inline783 заменить на другое условие медленного роста функции tex2html_wrap_inline785 а именно на условие tex2html_wrap_inline787 такое, что
displaymath789
и доказал, что при этом последние условия нельзя ослабить, не нарушив импликаций
displaymath791
Позже С.Б. Стечкин и Н.К. Бари [13] доказали, что условия Стечкина и Лозинского в этих теоремах эквивалентны.

Неравенства (1), (2) Джексона-Стечкина были распространены (с существенным использованием его метода) на метрики tex2html_wrap_inline793 на разные метрики (т.е. при естественных ограничениях получены оценки наилучших приближений tex2html_wrap_inline795 функций f в tex2html_wrap_inline799 через модули непрерывности tex2html_wrap_inline801 в tex2html_wrap_inline803 на дробные в смысле Вейля производные, на приближения функций нескольких переменных, на наилучшие приближения целыми функциями экспоненциального типа, на модули непрерывности дробного порядка. Тематика нашла продолжение в комонотонных и ковыпуклых приближениях, приближениях функций сплайнами и полиномами по другим системам функций (В.К. Дзядык, А.Ф. Тиман, М.Ф. Тиман, А.С. Шведов, И.А. Шевчук и др.).

Неравенство (2) связывает величины tex2html_wrap_inline657 и гладкость производной tex2html_wrap_inline807 Из него следует также оценка tex2html_wrap_inline657 непосредственно через tex2html_wrap_inline811 Известны и точные оценки такого рода:
displaymath813
где tex2html_wrap_inline815 - функция, тригонометрически сопряженная к f,
displaymath819
Неравенства точные на классах tex2html_wrap_inline821 и tex2html_wrap_inline823 периодических функций с непрерывными производными tex2html_wrap_inline825 и tex2html_wrap_inline827 Это результаты Ж. Фавара, Н.И. Ахиезера - М.Г. Крейна 1936 - 1937 годов, точнее, это тривиальные следствия из их неравенств
displaymath829

В работах [4], [5] С.Б. Стечкин получил в некотором роде обратные к этим оценки. Именно, справедлива теорема: если ряд tex2html_wrap_inline831 сходится (r - целое неотрицательное), то существуют непрерывные производные tex2html_wrap_inline825 (это результат С.Н. Бернштейна) и tex2html_wrap_inline837 и выполняются неравенства
equation5276

equation5278
точные по порядку на классах функций f, определяемых условиями
displaymath841
где
displaymath843
Эти неравенства получили название обратных теорем Стечкина и также обобщались в самых различных направлениях.

В работе [6] С.Б. Стечкин рассмотрел классы периодических функций tex2html_wrap_inline845 и tex2html_wrap_inline847 - вещественное). Эти классы определяются посредством ядер
displaymath849
следующим образом:
displaymath851

displaymath853
Классы функций tex2html_wrap_inline845 и tex2html_wrap_inline857 являются обобщениями классов tex2html_wrap_inline821 и tex2html_wrap_inline861 периодических функций, у которых нормы производных по Вейлю порядка tex2html_wrap_inline863 ограничены, соответственно, в tex2html_wrap_inline865 и tex2html_wrap_inline867 константой 1. При некоторых r и tex2html_wrap_inline871 он вычислил наилучшие приближения
displaymath873
этих классов тригонометрическими полиномами порядка n-1. До него кроме указанных выше результатов Ж. Фавара, Н.И. Ахиезера - М.Г. Крейна здесь были известны результаты С.М. Никольского, Б.-С. Надя, а также результат В.К. Дзядыка, доказавшего, что при 0<r<1
displaymath879
где
displaymath881
Указанный результат С.Б. Стечкина ближе примыкает к последнему результату и состоит в следующем: если tex2html_wrap_inline883 то
displaymath885
Отсюда, в частности, вытекает, что при tex2html_wrap_inline887
displaymath889

В связи с результатом Н.П. Корнейчука, нашедшего точную константу в неравенстве Джексона (1) (k=1)
displaymath893
где 1 в правой части нельзя уменьшить, сохраняя неравенство верным при всех tex2html_wrap_inline897 и tex2html_wrap_inline899-периодическая), С.Б. Стечкин [10] доказал замечательное неравенство:
displaymath901
справедливое для каждой tex2html_wrap_inline659-периодической функции tex2html_wrap_inline905 где tex2html_wrap_inline907 и tex2html_wrap_inline909 - наилучшее приближение тригонометрическими полиномами порядка n-1 и модуль непрерывности функции f в tex2html_wrap_inline793 и указал положительный линейный метод приближения, обеспечивающий эту оценку.

Известны глубокие результаты С.Б. Стечкина, относящиеся к проблеме абсолютной сходимости тригонометрических рядов, к проблеме поведения наилучших приближений функций, представимых лакунарными рядами, к оценкам норм полиномиальных операторов, определяемых последовательностью множителей перед гармониками полиномов, в частности, об асимптотике констант Лебега и Валле-Пуссена для частных сумм рядов Фурье и их средних Фейера и Валле-Пуссена, его результаты в задаче оценки уклонений частных сумм порядка n рядов Фурье функций классов tex2html_wrap_inline919 равномерной по всем параметрам tex2html_wrap_inline921 результаты по приближению рядами Тейлора-Маклорена, а также в проблеме экстремальных свойств тригонометрических полиномов и классов функций.

В недавней работе [11] С.Б. Стечкин вновь вернулся к проблематике прямых и обратных теорем теории приближения функций. В этой работе он описал широкий класс систем функций tex2html_wrap_inline923 на которые переносятся многие результаты для наилучших приближений тригонометрическими полиномами из серии прямых и обратных теорем.

Во всех этих работах С.Б. Стечкина отличает филигранная аналитическая техника, богатство идей и выбор методов решения, наиболее адекватных задачам. Хотя, конечно, это ему удавалось не всегда. Так, комментируя свою точную по порядку оценку колмогоровских поперечников классов tex2html_wrap_inline925 периодических функций снизу, он сетовал после вычисления этих поперечников В.М.Тихомировым, что вот он "вставлял в компактный класс tex2html_wrap_inline927 "ежа" и не догадался вставить "гладенький шарик", как это сделал Тихомиров. Но даже этот пример демонстрирует многообразие его идей и подходов (ведь "вставлял" же!), которые будут еще развиваться и способствовать развитию теории функций.

С.Б. Стечкин, виртуозный мастер тонких аналитических выкладок, всегда проявлял тягу к геометрической проблематике. Период 50-х и 60-х годов - время его активного интереса к геометрической теории приближения, в основном, в связи с проблемой выпуклости чебышевских множеств в гильбертовом пространстве, которая была сформулирована им и Н.В. Ефимовым одновременно с В. Кли (1961 г.). Имеющиеся к этому моменту геометрические результаты касались преимущественно конечномерных евклидовых пространств (см. [23, 25]). По инициативе С.Б. Стечкина и Н.В. Ефимова в нашей стране проводились исследования по геометрической тематике для произвольных, в том числе бесконечномерных, пространств по крайней мере по трем аспектам:

а) взаимосвязь геометрических и аппроксимативных характеристик множеств в банаховых пространствах (если множество чебышевское или является солнцем, то будет ли оно выпуклым?);

б) насколько богаты в смысле плотности, категории, меры и т.п. множества точек пространства, для которых существует хотя бы один, или имеется не более одного, или существует единственный ближайший элемент из заданного множества tex2html_wrap_inline929?

в) как влияют свойства пространства X на аппроксимативные характеристики множеств из X?

Благодаря С.Б. Стечкину и Н.В. Ефимову в обиход прочно вошли понятия: чебышевское множество, солнце, множество существования, множество единственности и т.д.

Пусть X - линейное нормированное пространство, M - множество из tex2html_wrap_inline939 tex2html_wrap_inline941 - расстояние от x до M,
displaymath947
- множество элементов наилучшего приближения. Множество M называется множеством существования (единственности, соответственно, чебышевским), если множество tex2html_wrap_inline951 не пусто (не более чем одноточечно, соответственно, одноточечно) для любого tex2html_wrap_inline953 П.Л. Чебышев показал, что для любой функции tex2html_wrap_inline955 множество tex2html_wrap_inline957 одноточечно, в случае, когда tex2html_wrap_inline959 - множество алгебраических многочленов степени не более tex2html_wrap_inline897 или tex2html_wrap_inline963 - множество дробей tex2html_wrap_inline965 В терминологии Н.В. Ефимова и С.Б. Стечкина множества tex2html_wrap_inline967 являются чебышевскими множествами в пространстве C[a, b]. Изучение чебышевских множеств привело их к новому и, как позже выяснилось, важному понятию аппроксимативной компактности. Множество tex2html_wrap_inline929 называется аппроксимативно компактным, если для любого tex2html_wrap_inline973 и любой минимизирующей последовательности tex2html_wrap_inline975 (т.е. такой, что tex2html_wrap_inline977) существует подпоследовательность tex2html_wrap_inline979 сходящаяся к некоторому элементу tex2html_wrap_inline981 Это понятие работает, в частности, в следующей характеризационной теореме Н.В. Ефимова и С.Б. Стечкина: для чебышевского множества M в гладком равномерно выпуклом банаховом пространстве следующие условия эквивалентны:

tex2html_wrap_inline985 выпукло;

tex2html_wrap_inline987 аппроксимативно компактно;

tex2html_wrap_inline989 секвенциально слабо замкнуто.

Н.В. Ефимов и С.Б. Стечкин установили, что множество дробей tex2html_wrap_inline991 в пространстве tex2html_wrap_inline993 аппроксимативно компактно, и поскольку tex2html_wrap_inline991 не выпукло, то это множество tex2html_wrap_inline991 по критерию не является чебышевским в tex2html_wrap_inline999 Тем самым они дали пример использования введенного понятия для конкретных пространств.

И. Зингер [31] ввел класс пространств Ефимова-Стечкина, в которых каждое секвенциально слабо замкнутое множество является аппроксимативно компактным (что эквивалентно условию: каждое выпуклое замкнутое множество аппроксимативно компактно). Пространства Ефимова-Стечкина важны не только для теории приближений (см., напр., [23], но и для многих смежных разделов математики: обоснование методов регуляризации некорректных задач [18], устойчивость решений экстремальных задач (см., напр., [21]), существование неподвижных точек отображений [24] и др.

В связи с упомянутым выше направлением исследований б) приведем обозначения, здесь tex2html_wrap_inline1001 tex2html_wrap_inline3419 пусто или одноточечно tex2html_wrap_inline3421
tex2html_wrap_inline3423 одноточечно tex2html_wrap_inline3425

С.Б. Стечкин показал [7], что банахово пространство X строго выпукло тогда и только тогда, когда для любого tex2html_wrap_inline1009 множество tex2html_wrap_inline1011 является дополнением множества первой категории (в частности, плотно в X). Эти результаты С.Б. Стечкина стимулировали исследования множеств точек пространства со специальными аппроксимативными свойствами (С.В. Конягин, П.С. Кендеров, Л. Заячек и др.).

С.Б. Стечкин поддерживал работу по изучению вопросов непрерывности, слабой непрерывности, равномерной непрерывности, сильной единственности, дифференцируемости оператора метрического проектирования tex2html_wrap_inline1015 в общих и специальных пространствах (В.С. Балаганский, В.И. Бердышев, Л.П. Власов, А.В. Колушов, А. Кроо, А.В. Маринов, И.Г. Царьков).

Непосредственным обобщением классической задачи П.Л. Чебышева о приближении функций многочленами является задача аппроксимации обобщенными полиномами непрерывных на компакте функций со значениями в банаховом пространстве. С.Б. Стечкин совместно с С.И. Зуховицким в случае строго выпуклого пространства установил критерий полинома наилучшего приближения и критерий единственности.

Важное место в исследованиях С.Б. Стечкина и его Школы по теории приближения занимает задача о наилучшем приближении неограниченного линейного оператора линейными ограниченными операторами на классе элементов банахова пространства. Эту задачу в настоящее время называют задачей Стечкина. Она появилась в исследованиях С.Б. Стечкина в 1965 году [8]. Его работа [9] 1967 года содержит постановку задачи, первые принципиальные результаты и ее решение для операторов дифференцирования малого порядка. Точная постановка задачи такова. Пусть tex2html_wrap_inline1017 - банаховы пространства; tex2html_wrap_inline1019 - некоторый линейный оператор с областью определения tex2html_wrap_inline1021 - некоторый класс элементов из D(A); tex2html_wrap_inline1025 - множество линейных ограниченных операторов из X в Y, норма которых tex2html_wrap_inline1031 не превосходит числа tex2html_wrap_inline1033 Величина
displaymath1035
является уклонением оператора tex2html_wrap_inline1037 от оператора A на классе Q, а
equation5280
есть наилучшее приближение оператора A множеством ограниченных операторов tex2html_wrap_inline1045 на классе Q. Задача состоит в вычислении (исследовании) величины E(N), нахождении (исследовании вопросов существования, единственности, характеризации) экстремального оператора, на котором в (5) достигается нижняя грань.

С.Б. Стечкин [9] дал простую, но часто используемую и эффективную оценку снизу
equation5282
величины наилучшего приближения E(N) через модуль непрерывности
equation5284
оператора A на классе Q. Именно это неравенство Стечкина применялось в большинстве работ, содержащих решение задачи (5).

Первый точный результат в задаче (5) получил С.Б. Стечкин. Он дал [9], [8] решение этой задачи для операторов дифференцирования tex2html_wrap_inline1057 порядка k на классе tex2html_wrap_inline1061 раз дифференцируемых функций в пространстве C(S) непрерывных ограниченных функций на оси tex2html_wrap_inline1065 и полуоси tex2html_wrap_inline1067 для значений n=2 и tex2html_wrap_inline1071 в частности, выписал для этих случаев экстремальные операторы tex2html_wrap_inline1073 А именно, он показал, что на оси tex2html_wrap_inline1075 экстремальными являются операторы
equation5286

equation5288
а на полуоси tex2html_wrap_inline1077 таковыми являются операторы
equation5290

equation5292

equation5294
здесь h положительный параметр.

С.Б. Стечкин понял также (см.,например, работы [19-20]), что задача (5) взаимосвязана с некорректной задачей оптимального восстановления значений оператора A на элементах класса Q, заданных с (известной) ошибкой tex2html_wrap_inline1085 Пусть tex2html_wrap_inline1087 есть либо множество tex2html_wrap_inline1089 всех (однозначных) отображений пространства X в пространство Y, либо множество tex2html_wrap_inline1095 линейных операторов из X в Y. Для числа tex2html_wrap_inline1101 и оператора tex2html_wrap_inline1103 полагаем
displaymath1105
Тогда
equation5296
есть величина наилучшего восстановления (наименьшая погрешность восстановления) оператора A с помощью множества отображений (методов восстановления) tex2html_wrap_inline1087 на элементах класса Q, заданных с погрешностью tex2html_wrap_inline1113 С.Б. Стечкин заметил, что имеют место неравенства
equation5298
В частности, он установил, что операторы (8) - (12) дают оптимальные (наилучшие) формулы численного дифференцирования функций соответствующих классов tex2html_wrap_inline1115, заданных с погрешностью tex2html_wrap_inline1117 (при определенной связи между параметрами h и tex2html_wrap_inline779).

Публикация работы С.Б. Стечкина [9], его неоднократные выступления с научными докладами и лекциями на Конференциях и Школах по теории приближения, начиная с 1965 года, и, особенно, многократные обсуждения задачи (5) на руководимом С.Б. Стечкиным семинаре в Свердловском отделении Математического института им В.А. Стеклова АН СССР (ныне Институт математики и механики УрО РАН) в 1965 - 1967 годах, способствовали развитию этой проблематики и превращению ее в интенсивно развивающееся, содержательное направление исследований в теории функций. Существенный вклад в развитие этой тематики наряду с С.Б. Стечкиным внесли ученики С.Б. Стечкина и участники его Семинаров - Л.В. Тайков, Ю.Н. Субботин, Н.И. Черных, В.Н. Габушин, В.В. Арестов, В.И. Бердышев, О.А. Тимошин. На развитие этой тематики большое влияние оказали тонкие результаты по точным неравенствам между нормами производных дифференцируемых функций (неравенствам Колмогорова) В.М. Тихомирова и его учеников А.П. Буслаева, Б.Е. Клоца, Г.Г. Магарил-Ильяева.

К настоящему времени в задаче Стечкина получены следующие результаты. Выяснена взаимосвязь этой задачи с другими экстремальными задачами. В дополнение к соотношениям (6), (14) С.Б. Стечкина между модулем непрерывности линейного неограниченного оператора, наилучшим приближением такого оператора линейными ограниченными операторами и некорректной задачей оптимального равномерного восстановления значений оператора на элементах класса в предположении, что эти элементы заданы неточно (с известной погрешностью), установлены естественные двусторонние неравенства, связывающие E(N) и tex2html_wrap_inline1125 а также tex2html_wrap_inline1127 и tex2html_wrap_inline1129 Получены двойственные соотношения между модулем непрерывности tex2html_wrap_inline1127 оператора и наилучшим приближением одного класса элементов другим, а также между E(N) и наилучшим линейным приближением класса классом. Получен ряд общих теорем существования и характеризации экстремального приближающего оператора в задачах (5) и (13). Обстоятельно изучено наилучшее приближение функционалов. Подробно исследовано приближение операторов, инвариантных относительно некоторых полугрупп (групп) преобразований. Более полно и результативно изучено наилучшее приближение операторов, инвариантных относительно сдвига, в пространствах tex2html_wrap_inline1135 Дано решение задачи для конкретных операторов в классических функциональных пространствах. При этом наиболее полно исследовано наилучшее приближение операторов дифференцирования порядка k на классе n раз дифференцируемых функций tex2html_wrap_inline1141 в пространствах tex2html_wrap_inline1143 на числовой оси tex2html_wrap_inline1075 и полуоси tex2html_wrap_inline1147 На этом пути найдены наилучшие константы в неравенствах Колмогорова в ряде новых случаев. Вычислено наилучшее приближение операторов дифференцирования в частных производных на классах функций многих переменных в ряде случаев. Обзор результатов по этой тематике можно найти в работе [20].

Отличительной чертой научной деятельности Сергея Борисовича являлось то, что он всегда целеустремленно содействовал развитию новых направлений, в том числе и теории сплайнов. Этому способствовало и его умение ставить острые проблемные задачи. У С.Б. Стечкина практически нет индивидуальных работ по теории сплайнов. Лишь однажды он делал доклад по этой теме на конференции по теории функций в 1983 году в Днепропетровске. В нем речь шла о построении интерполяционных кусочно полиномиальных функций на сгущающихся хаотических сетках. Был предложен метод интерполяции, обеспечивающий безусловную (без дополнительных условий на последовательность сеток кроме естественного - диаметр разбиения стремится к нулю) равномерную сходимость к функции и производным кусочно полиномиальных функций и соответствующих их производных по второй порядок включительно. При этом сходимость обеспечивалась на классе функций с непрерывными частными производными второго порядка. Насколько известно, доклад не был опубликован.

Тем не менее роль С.Б. Стечкина в развитии теории сплайнов была значительной. Он не только поддерживал и направлял исследования в этой области своих учеников и учеников учеников (Ю.Н. Субботин, Н.И. Черных, П.В. Галкин, Ал.А. Привалов, А.Ю. Шадрин, Н.Л. Зматраков, В.Т. Шевалдин, С.И. Новиков, и др.), но и ряда других математиков (Ю.С. Завьялов, А.А. Женсыкбаев и др.). Кроме того в 60-х годах он сформулировал ряд экстремальных задач, решение которых естественным образом приводило к сплайнам. Он активно пропагандировал сплайны и всегда настойчиво приглашал выступить с докладом на своем научном семинаре в МИ АН СССР им. В.А. Стеклова и своих учебных семинарах на механико-математическом факультете МГУ специалистов по сплайнам, приезжавших в Москву.

На развитие теории сплайнов большое влияние оказала задача
Н.Н. Яненко, сформулированная С.Б. Стечкиным в 1960 г. в экстремальной постановке: найти величину
equation5300
где tex2html_wrap_inline1149 берется по всем функциям с локально абсолютно непрерывной (n-1)-й производной, удовлетворяющим условиям tex2html_wrap_inline1153 а tex2html_wrap_inline1155 - по всем последовательностям tex2html_wrap_inline1157 удовлетворяющим условию
tex2html_wrap_inline1159

Кроме того он высказал две гипотезы:

1) Наихудшей последовательностью будет последовательность tex2html_wrap_inline1161

2) Величина tex2html_wrap_inline1163

Первая гипотеза полностью подтвердилась. Вторая подтвердилась лишь при n=1,2,3, (см. [27]).

В дальнейшем эта задача обобщалась в различных направлениях в работах Ю.Н. Субботина, А. Шармы, И. Цимбаларио и В.Т. Шевалдина. Кстати, во всех обобщениях в случае конечности соответствующей величины всегда выполнялась первая гипотеза С.Б. Стечкина, что облегчало решение задачи. При решении задачи (15) и ее аналогов для дифференциальных операторов естественным образом возникали полиномиальные и L-сплайны. При этом найденные явные представления для таких сплайнов в значительной степени способствовали изучению их аппроксимативных свойств. В частности, решение задачи (15) способствовало правильному определению интерполяционных сплайнов четной степени.

Сергей Борисович высоко оценивал перспективы теории сплайнов в теоретической и прикладной математике и поэтому предпринял большие усилия по организации перевода книги Дж. Алберга, Э. Нильсона и Дж. Уолша "Теория сплайнов и ее приложения". Задача состояла в том, кому доверить перевод книги. Человеку, знающему английский, но не знающему сплайнов или наоборот. С.Б. Стечкин убедил редакцию издательства "Мир" выбрать второй вариант. Выбор пал на одного из авторов этой заметки - Ю.Н.Субботина. Первый пробный перевод нескольких страничек был ужасен. Тем не менее Сергей Борисович убедил редакцию дать еще одну попытку. Второй пробный перевод удовлетворил редакцию, Возникла проблема перевода английского термина "spline" на русский язык. Существовал термин "многозвенные функции", введенный Ю.С. Завьяловым. С.Б. Стечкину он не понравился, так как больше отражал понятие "кусочно линейные функции", но в то же время более подходящего термина в русском языке мы не нашли. По-видимому, мы настолько привыкли к слову "сплайн", что оно не резало нам слух, и мы продолжали настаивать на его сохранении в русском языке. Основное возражение редакции состояло в том, что в русском языке нет ни одного слова, заканчивающегося на "айн". После такого ответа, был приведен контрпример: "комбайн". Последняя проблема была снята и перевод появился.

К переводу С.Б. Стечкин и Ю.Н. Субботин написали добавление [12], в котором содержались и оригинальные результаты указанных авторов. В частности, существенно усилен пример С. Норда к проблеме И. Шоенберга о расходимости интерполяционных сплайнов. В связи с этим примером по инициативе С.Б. Стечкина мы потратили значительные усилия, чтобы охарактеризовать тот класс функций, для которого последовательность интерполяционных кубических (параболических, правильное определение которых было дано в Добавлениях) безусловно сходится к любой функции из этого класса. Однако несколько лет спустя ученик С.Б. Стечкина Ал.А. Привалов усилил наш пример расходимости. В итоге из положительных результатов С.Б. Стечкина-Ю.Н. Субботина и контрпримера Ал.А. Привалова вытекал следующий результат: для того чтобы для непрерывной периодической функции имела место безусловная сходимость интерполяционных параболических (кубических) сплайнов, необходимо и достаточно, чтобы она принадлежала классу tex2html_wrap_inline1169

В 1973 г. в связи с обсуждением докторской диссертации Ю.С. Завьялова в СОМИ АН СССР (ныне ИММ УрО РАН) возникла задача о нахождении окончательных условий на параметр tex2html_wrap_inline1171 фигурирующий в локальных условиях на узлы интерполяции кубического сплайна, обеспечивающих равномерную сходимость таких сплайнов на классе непрерывных функций. Эти условия были найдены Н.Л. Зматраковым. Он же нашел окончательные условия на p в случае, когда рассматриваемые функции принадлежат классу tex2html_wrap_inline1175. Последняя задача была сформулирована С.Б. Стечкиным.

В 1975 году С.Б. Стечкин предложил Ю.Н. Субботину написать совместную книгу по теории сплайнов. В 1976 году книга "Сплайны в вычислительной математике" вышла в свет [17]. В качестве одной из важных задач при написании книги С.Б. Стечкин считал ее широкую доступность. В частности, по этой причине мы ограничились в оценках погрешности аппроксимации лишь равномерной, tex2html_wrap_inline1177 и tex2html_wrap_inline867 метриками. Другой важной задачей он считал необходимость проиллюстрировать, хотя бы на простейших примерах, возможность применения сплайнов в различных задачах вычислительной математики.

В книге детально исследовались определяющие уравнения для интерполяционных параболических сплайнов с различными краевыми условиями и различным расположением узлов сплайна и узлов интерполяции, а также аппроксимативные свойства таких сплайнов. Далее кратко изложены основные результаты по аппроксимативным свойствам кубических сплайнов. В частности, доказан упоминавшийся выше результат о безусловной сходимости кубических сплайнов для функций из класса tex2html_wrap_inline1169 В заключительной части главы приведены результаты по многомерным параболическим сплайнам. Здесь, пожалуй, важно отметить, что С.Б. Стечкин всегда обращал внимание на важность многомерных задач. Далее изложены известные результаты по аппроксимативным свойствам сплайнов произвольной степени с равномерными узлами. Новым здесь можно считать лишь заключительный параграф, посвященный многомерным сплайнам с равномерными узлами. Кроме того, в книге обсуждаются проблемы наилучшего среднеквадратического и равномерного приближения сплайнами с фиксированными узлами и классические варианты проблемы сглаживания, берущие свое начало с работы Рейнша, в том числе модельная проблема сглаживания для функции двух переменных. Заключительная глава книги посвящена применению сплайнов в численном анализе. Здесь в модельном случае дано точное решение задачи С.Б. Стечкина о наилучшем приближении оператора дифференцирования линейными ограниченными операторами и задачи наилучшего численного дифференцирования при информации, известной с погрешностью. Здесь же впервые рассмотрены подобные экстремальные задачи, когда значения функции известны (точно или с погрешностью) лишь на сетке. Кроме того в этой главе предложен алгоритм для построения интерполяционного параболического сплайна в случае, когда интерполируемая функция y(x) задана на отрезке [a, b] неявным уравнением tex2html_wrap_inline1187

Далее в этой главе демонстрировались возможности применения сплайнов для построения численных решений интегральных уравнений второго рода, краевых задач и задачи Коши для обыкновенных дифференциальных уравнений с помощью параболических и кубических сплайнов. При этом систематически использовались в качестве базисных функций B-сплайны. Идея использования B-сплайнов более высоких степеней в дальнейшем активно использовалась Де Буром. Выше уже отмечались трудности применения сплайнов при численном решении задачи Коши. В дальнейшем И.А. Пахнутов [29] широко использовал для этих целей сплайны с дополнительными узлами, введенные в [28]. Выбирая специальным образом дополнительные узлы, ему удалось построить устойчивые методы приближенного решения задач Коши.

В главе "Эрмитовы сплайны и нелинейные приближения" впервые рассматриваются аналоги эрмитовых сплайнов в случае, когда сплайн склеивается из полиномов четной степени. Приводятся оценки погрешности аппроксимации. В этой же главе изучалась погрешность аппроксимации эрмитовыми сплайнами нечетной степени с n нефиксированными узлами. Используя результаты В.Л. Великина [22], см. также [26], соответствующее утверждение можно записать в точной форме: если tex2html_wrap_inline1195 то существует сетка tex2html_wrap_inline1197 что для эрмитового интерполяционного сплайна tex2html_wrap_inline1199 выполняется неравенство
displaymath1201

Здесь важно отметить, что в оценке погрешности отражена зависимость как от числа узлов n, так и от степени 2m-1 эрмитового сплайна. Приведены численные алгоритмы для нахождения узлов сетки tex2html_wrap_inline1207

Поступила 7.09.96

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

  1. Стечкин С.Б. Об абсолютной сходимости ортогональных рядов // Успехи матем. наук.- 1947.- Т. 19, N 2:3.- С. 177-178.
  2. Стечкин С.Б. Теоремы тауберова типа // Успехи матем. наук.-1947.- Т. 19, N 2:3.- С. 187-188.
  3. Стечкин С.Б. О порядке наилучших приближений непрерывных функций// Докл. АН СССР.- 1949.- Т. 65, N 2. - С. 135-137.
  4. Стечкин С.Б. О порядке наилучших приближений непрерывных функций// Изв. АН СССР, сер. матем.- 1951.- Т. 15, N 3.- С. 219-242.
  5. Стечкин С.Б. О наилучшем приближении сопряженных функций тригонометрическими полиномами// Изв. АН СССР, сер. матем.- 1956.- Т. 20.- С. 197-206.
  6. Стечкин С.Б. О наилучшем приближении некоторых классов периодических функций тригонометрическими полиномами. Изв. АН СССР, сер. матем.- 1956.- Т. 20.- С. 643-648.
  7. Стечкин С.Б. Аппроксимативные свойства множеств в линейных нормированных пространствах// Rev. Roum. Math. Pur. et Appl.- 1963.- Vol. 8, N 1.- P. 5-18.
  8. Стечкин С.Б. Неравенства между нормами производных произвольной функции // Acta sci. math.- 1965.- T. 26, N 3-4.- P. 225-230.
  9. Стечкин С.Б. Наилучшее приближение линейных операторов // Матем. заметки.- 1967.- Т. 1, N 2. - С. 137-148.
  10. Стечкин С.Б. Замечание к теореме Джексона // Тр. МИАН СССР.- 1967.- Т. 88.- С. 17-19.
  11. Стечкин С.Б. О порядке приближений функций // Тр. ИММ УрО РАН.- 1992.- Т. 1. - С. 90-96.
  12. Стечкин С.Б., Субботин Ю.Н. Добавления к книге Алберг Дж., Нильсон Э., Уолш Дж. Теория сплайнов и ее приложения.- М.: Мир, 1972.
  13. Бари Н.К., Стечкин С.Б. Наилучшие приближения и дифференциальные свойства двух сопряженных функций// Труды Матем. об-ва.- 1956.- Т. 5.- С. 483-522.
  14. Ефимов Н.В., Стечкин С.Б. Некоторые свойства чебышевских множеств// Докл. АН СССР.- 1958.- Т. 118, N 1.- С. 17-19.
  15. Ефимов Н.В., Стечкин С.Б. Опорные свойства множеств в банаховых пространствах и чебышевские множества// Докл. АН СССР.- 1959.- Т. 127, N 2. - С. 254-257.
  16. Ефимов Н.В., Стечкин С.Б. Аппроксимативная компактность и чебышевские множества// Докл. АН СССР.- 1961.- Т. 140, N 3.- С. 522-524.
  17. Стечкин С.Б., Субботин Ю.Н. Сплайны в вычислительной математике.- М.: Наука, 1976.
  18. Агеев А.Л., Васин В.В. Некорректные задачи с априорной информацией.- Екатеринбург.: УИФ "Наука", 1993.- 262 с.
  19. Арестов В.В. О равномерной регуляризации задачи вычисления значений оператора // Матем. заметки.- 1977.- Т. 22, N 2.- С. 231-244.
  20. Арестов В.В., Габушин В.Н. Наилучшее приближение неограниченных операторов ограниченными // Известия вузов. Математика.- 1995, N 11.- С. 44-66.
  21. Бердышев В.И. Непрерывность многозначных отображений, связанных с задачей минимизации функционала // Изв. АН СССР, Сер. матем.- 1980.- Т. 44, N 3.- С. 483-509.
  22. Великин В.Л. Точные значения приближения эрмитовыми сплайнами на классах дифференцируемых функций // Изв. АН СССР, сер. матем.- 1973.- Т. 37, N. 1.- С. 165-185.
  23. Власов Л.П. Аппроксимативные свойства множеств в линейных нормированных пространствах// Успехи матем. наук.- 1973.- Т. 28, N 6.- C. 3-66.
  24. Власов Л.П. Непрерывность метрической проекции на выпуклые множества// Матем. заметки.- 1992.- Т. 52, N 6.- C. 3-9.
  25. Гаркави А.Л. Теория наилучшего приближения в линейных нормированных пространствах// Итоги науки и техники. Мат. анализ, 1967.- М.: ВИНИТИ, 1969.- С. 75-132.
  26. Корнейчук Н.П. Сплайны в теории приближения.- М.: Наука, 1984.
  27. Субботин Ю.Н. О связи между конечными разностями и соответствующими производными// Тр. МИАН СССР.- 1965.- T. 78.- С. 24-42.
  28. Субботин Ю.Н., Черных Н.И. Порядок наилучших сплайн приближений некоторых классов функций // Матем. заметки.- 1970.- Т. 7, N. 1.- С. 31-42.
  29. Пахнутов И.А. Сплайны с начальными условиями.- Свердловск: УНЦ АН СССР, 1984.
  30. Peetre J. Approximation of linear operators // Тр. Междунар. конф. по конструктивной теории функций (Варна, 1970), София, 1972.- С. 245-263.
  31. Singer I. Some remarks on approximative compactness// Rev. Roum. Math. Pur. et Appl.- 1964.-Vol. 9, N 2.- P. 167-177.