Большая Советская Энциклопедия (ПР)

Большая Советская Энциклопедия

Для того чтобы функция f периода 2p имела производную порядка r, r = 0, 1,2,..., удовлетворяющую условию

|f ^(r) (x + h ) - f ^(r) (x )| lb M|h |^a,

0 < a < 1, М — некоторое положительное число, или условию

|f ^(r) (x + h ) - 2f ^(r) (x ) + f ^(r) (x - h )| lb M|h |^a

(в

этом случае a = 1), необходимо и достаточно, чтобы для наилучших приближений функции f тригонометрическими полиномами была справедлива оценка

Е_п

  lb А/n ^r+a,

где А — некоторое положительное число, не зависящее от n. В этом утверждении прямая теорема была в основном получена Д. Джексоном (США), а обратная является результатом исследований С. Н. Бернштейна , Ш. Ж. Ла Валле Пуссена и А. Зигмунда (США). Характеристика подобных классов функций, заданных на отрезке, в терминах наилучших приближении алгебраическими многочленами оказалась невозможной. Её удалось получить, привлекая к рассмотрению приближение функций с улучшением порядка приближения вблизи концов отрезка.

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

Для приближений в метрике L₂ полином наилучшего приближения может быть легко построен. Для других пространств нахождение полиномов наилучшего приближения является трудной задачей и её удаётся решить только в отдельных случаях. Это привело к разработке разного рода алгоритмов для приближённого нахождения полиномов наилучшего приближения.

Трудность нахождения полиномов наилучшего приближения отчасти объясняется тем, что оператор, сопоставляющий каждой функции её полином наилучшего приближения, не является линейным: полином наилучшего приближения для суммы f + g не обязательно равен сумме полиномов наилучшего приближения функций f и g. Поэтому возникла задача изучения (по возможности простых) линейных операторов, сопоставляющих каждой функции полином, дающий хорошее приближение. Например, для периодической функции f (x ) можно брать частные суммы её ряда Фурье S_n (f, х ). При этом справедлива оценка (теорема А. Лебега )

||f - S_n

||_c lb (L_n + 1) E_n

,

где L_n — числа, растущие при n ® yen как (4/p² ) lnn . Они получили название констант Лебега. Эта оценка показывает, что полиномы S_n

доставляют приближение, не очень сильно отличающееся от наилучшего. Подобная оценка имеет место и для приближений интерполяционными тригонометрическими полиномами с равноотстоящими узлами интерполирования, а также для приближений интерполяционными алгебраическими многочленами на отрезке [-1, 1]

с узлами

, k = 1, 2,..., n, т. е. в нулях полинома Чебышева cosn arccosx. Для основных встречающихся в анализе классов функций известны такие линейные операторы, построенные с помощью рядов Фурье или на основе интерполяционных полиномов, что значениями этих операторов являются полиномы, дающие на классе тот же порядок убывания приближений при n ® yen, что и наилучшие приближения.

А. Н. Колмогоров начал изучение нового вопроса теории приближений — задачи о нахождении при фиксированном n такой системы функций j₁ ,..., j_n , для которой наилучшие приближения функций заданного класса полиномами

 были бы наименьшими (т. н. задача о поперечнике класса функций). В этом направлении в дальнейшем было выяснено, например, что для ряда важных классов периодических функций наилучшими в указанном смысле системами являются тригонометрические полиномы.

Теория приближений функций является одним из наиболее интенсивно разрабатываемых направлений в теории функций. Идеи и методы теории приближений являются отправной точкой исследования в ряде вопросов вычислительной математики. С 1968 в США издаётся специализированный журнал «Journal of Approximation Theory».

См. также Приближение функций комплексного переменного .

Лит.:Монографии . Ахиезер Н. И., Лекции по теории аппроксимации, 2 изд., М., 1965; Гончаров В. Л., Теория интерполирования и приближения функций, 2 изд., М., 1954; Натансон И. П., Конструктивная теория функций, М. — Л., 1949; Никольский С. М., Приближение функций многих переменных и теоремы вложения, М., 1969; Тиман А. Ф., Теория приближения функций действительного переменного, М., 1960.

Обзоры. Математика в СССР за тридцать лет. 1917—1947, М. — Л., 1948, с. 288—318; Математика в СССР за сорок лет. 1917—1957, т. 1, М., 1959, с. 295—379; История отечественной математики, т. 3, К., 1968, с. 568—588.

С. А. Теляковский.

Приближение функций комплексного переменного

Приближе'ние фу'нкций ко'мплексного переме'нного, раздел комплексного анализа, изучающий вопросы приближённого представления (аппроксимации) функций комплексного переменного посредством аналитических функций специальных классов. Центральная проблематика относится к приближению функций полиномами и рациональными функциями. Основными являются задачи о возможности приближения, скорости приближения и аппроксимационных свойствах различных способов представления функций (интерполяционных последовательностей и рядов, рядов по ортогональным полиномам и полиномам Фабера, разложений в непрерывные дроби и т.п.). Теория приближений тесно связана с др. разделами комплексного анализа (теорией конформных отображений, интегральными представлениями, теорией потенциала и др.); многие теоремы, формулируемые в терминах теории приближений, являются, по существу, глубокими результатами о свойствах аналитических функций и природе аналитичности.

Одним из первых результатов о полиномиальной аппроксимации является теорема Рунге, согласно которой любая функция, голоморфная в односвязной области плоскости комплексного переменного z, может быть равномерно аппроксимирована на компактных подмножествах (см. Компактность ) этой области посредством полиномов от z. Общая задача о возможности равномерного приближения полиномами ставится так: для каких компактов К в комплексной плоскости любая функция f, непрерывная на К и голоморфная на множестве внутренних точек К, допускает равномерную аппроксимацию на К (с любой степенью точности) посредством полиномов от z. Необходимым и достаточным условием возможности такой аппроксимации является связность дополнения компакта К. Эта теорема для компактов без внутренних точек была доказана М. А. Лаврентьевым (1934), для замкнутых областей — М. В. Келдышем (1945) и в общем случае — С. Н. Мергеляном (1951).