Приближение Функций

Замена по определенному правилу функции f(t).близкой к ней в том или ином смысле функцией j(t). из заранее фиксированного множества (приближающего множества). Предполагается, что функция f определена на том множестве Qm-мерного евклидова пространства (в частности, действительной оси), на к-ром осуществляется приближение, она может быть задана явно через элементарные функции или быть решением нек-рого уравнения. Если о функции f(t) располагают неполной информацией, то тогда речь идет, по существу, о приближении задаваемого этой информацией целого класса функций. Практич. необходимость в П. ф. возникает в самых различных ситуациях, когда нужно функцию f(t).заменить более гладкой или более простой и удобной для вычислений, восстановить функциональную зависимость по экспериментальным данным и т. п. В общей задаче П. ф. обычно можно выделить следующие более частные задачи: выбор приближающего множества ; выбор меры погрешности приближения; выбор метода приближения, т. е. правила, по к-рому функции f(t).сопоставляетcя функция j(t).из ; исследование и оценка, погрешности приближения. При выборе приближающего множества , помимо безусловного требования обеспечить нужную точность приближения, руководствуются стремлением иметь дело с простыми по структуре и удобными для вычисления функциями j(t), на к-рые могут накладываться априорные условия, связанные, напр., с гладкостью. Классич. аппаратами приближения являются алгебраические (если Q- ограниченное замкнутое множество) и тригонометрические (в периодич. случае) полиномы одного и многих переменных. Широкое применение их в качестве приближающего множества обусловлено, в частности, принципиальной возможностью приблизить непрерывную функцию алгебраическими или тригонометрич. полиномами с любой наперед заданной погрешностью. Точность приближения может быть повышена за счет увеличения степени полинома, что, однако, усложняет приближающий аппарат и увеличивает вычислительные трудности при его использовании. На практике в качестве приближающего множества берут подпространства алгебраических или тригонометрич. полиномов фиксированного порядка и стремятся получить нужную точность с помощью полиномов возможно меньшей степени. Более общий и в то же время более гибкий аппарат приближения получают, рассматривая обобщенные полиномы где — нек-рая система линейно независимых функций, к-рую можно выбирать в зависимости от условий конкретной задачи и априорных требований на j(t). Во многих задачах более естественным и удобным с вычислительной точки зрения, чем классич. полиномы, аппаратом приближения оказались сплайны. Если (1) фиксированное разбиение отрезка [а, b], то (полиномиальным) сплайном порядка гдефекта k(k=l, 2, ..., r).по разбиению DN наз. функцию s(t),"склеенную" в точках t1, t2, ..., tN-1 из алгебраич. многочленов степени rтак, что на всем отрезке [а, b]она непрерывна вместе со своими производными до (r-k )-го порядка включительно. Таким образом, s(t)Cr-k[a, b]и s(t).есть алгебраич. многочлен степени rна каждом промежутке (ti-1, ti), i=l, 2, ..., N. Напр., ломаная с узлами в точках ti есть сплайн первого порядка дефекта 1; непрерывно дифференцируемая на [а, b]функция s(t), совпадающая на [ti-1, ti],. i=1, ..., N, с кубич. многочленом, есть кубический сплайн дефекта 2 и т. д. Аналогично определяются сплайны двух и большего числа переменных. Имея конечную гладкость, сплайны обладают большей, чем полиномы, локальной гибкостью: изменение значений сплайна на нек-ром промежутке (a, b) мало сказывается (или совсем не сказывается) на поведении его вне (a, b). Преимущества сплайнов, помимо простоты машинной реализации, сказываются, в частности, там, где информация о приближаемой функции имеет дискретный характер, напр. значения в нек-рых точках самой функции f и, быть может, нек-рых ее производных. Если f(t).имеет особенности или приближение осуществляется в неограниченной области, то удобным аппаратом приближения являются рациональные дроби p(t)/q(t), где p(t).и q(t) — алгебраич. многочлены. Заданные на всей действительной оси непериодич. функции приближают также целыми функциями экспоненциального типа. Мера погрешности m(f, j) выбирается обычно с учетом условий конкретной задачи и имеющейся информации о приближаемой функции f(t). Чаще всего дело сводится к выбору содержащего f функционального пространства, в метрике к-рого целесообразно оценивать погрешность приближения. Если то речь идет оравно мерном, или чебышевском, приближении, если же то говорят о среднестепенном приближении, к-рое при р=1 наз. приближением в среднем. Особое значение имеет случай р=2 — средне к вадратическое приближение, когда погрешность наилучшего приближения функции f конечномерным подпространством может быть точно выражена через нек-рые определители. В нек-рых задачах требования близости функций f и j в различных точках различны; для учета этой неоднородности вводят весовую функциюr(t)0 и рассматривают взвешенное приближение с мерой погрешности или Весовая функция позволяет также обеспечить конечность погрешности, если, напр., f(t).ноограничена. Если погрешность должна учитывать близость f и j только в отдельных точках tk(k=1, . . ., N).из Q, то в качестве m (f, j) можно выбрать одну из величин или в к-рые также могут вводиться весовые коэффициенты. При решении вопроса о том, по какому правилу выбирать из множества приближающую функцию j(t)=j(f, t) (при выборе метода приближения), естественно стремление обеспечить по возможности более высокую точность приближения и одновременно простоту построения j (f, t).по имеющейся информации о приближаемой функции f(t). Первое требование ориентирует на "ближайшую" к f(t) функцию jf(t) из , т. е. такую, что Здесь сразу же возникают вопросы о существовании и единственности такой функции (функции наилучшего приближения), а также о ее характеристич. свойствах (см. [5]). Существование гарантируется, если — замкнутое локально компактное множество, в частности конечномерное подпространство. Единственность зависит как от свойств приближающего множества (см. Хаара условие, Чебяшева система функций), так и от метрики, определяющей меру погрешности m(f, j). Известен ряд необходимых и достаточных условий, к-рым должна удовлетворять функция наилучшего приближения jf(t).в той или иной ситуации (см. Наилучшего приближения многочлен, Чебышева теорема, Маркова критерий). Однако эти критерии, как правило, не дают способов эффективного построения функции jf(t). Поэтому большое значение имеют методы, к-рые позволяют по информации о приближаемой функции f(t).эффективно построить нек-рую функцию j(f, t).из , обеспечивающую приемлемое приближение. Здесь, в первую очередь, надо говорить о линейных методах (когда , к к-рым, в частности, относится метод интерполяции. Зафиксировав точки t1 . . ., tN из Q, можно выбирать j(f, t).среди тех функций j(t).из , к-рые удовлетворяют условию интерполяции (2) Если — линейное многообразие и в нем существует система функции j1; . . ., jN такая, что ji(ti)=1, ji(tk)=0 (ki) , то функция принадлежит и удовлетворяет условиям (2); она задает интерполяционный метод приближения, являющийся, очевидно, линейным. Функцию j(f, t).можно выбирать, требуя совпадения в точках tk не только f(t).и j(f, t), но и нек-рых их производных; в этом случае говорят об интерполировании с кратными узлами. Если , то существует единственный алгебраич. многочлен степени N-1, а в непериодич. случае (b- а=2p, tN=t2n-1<b) — единственный тригонометрич. полином порядка п-1, совпадающий с f(t).в точках tk. Кратное интерполирование осуществляют интерполяционные полиномы Эрмита, частным случаем к-рых является многочлен Тейлора, когда в одной точке алгебраич. многочленом степени пинтерполируются значения функции и ее первых ппроизводных. Интерполирование сплайнами имеет свои особенности, связанные с выбором точек интерполяции и краевых условий, обеспечивающих существование и единственность интерполяционного сплайна. Напр., сплайн s(t).порядка дефекта 1 по разбиению (1), принимающий заданные значения в Nразличных точках ti интервала ( а, b).таких, что , i=1, 2, . . ., N, существует и единствен, если задать определенным образом краевые условия в виде т а чисел и т b чисел , причем ma+mb=r. Функции можно однозначно сопоставить сплайн s(f, t).порядка 2r-1 дефекта по разбиению (1), потребовав выполнения равенств , v=0, 1, ..., k-1; i=0, 1, . . ., N, а при k<r -также нек-рых краевых условий. При k=r этот сплайн иаз. эрмитовым, а также локальным, т. где Qесть [ а, b]или, соответственно, вся числовая ось. Аналогичные факты имеют место и в случае, когда мера погрешности определяется интегральной метрикой, а также для функций многих переменных. Особую важность приобретает исследование скорости убывания числовой последовательности m (f, Р п(f)) в зависимости от свойств приближаемой функции и от выбора приближающих полиномов Р n(f, t). Наибольший интерес представляет изучение наилучшего приближения, а также приближения, доставляемого линейными методами, позволяющими но функции f(t) эффективно построить полином Pn(f, t). Важный этап в развитии теории П. ф., связанный с именами Ш. Ж. Балле Пуссена (Ch. J. La Vallee Poussin), Д. Джексона (D. Jackson), С. Н. Бернштейна, составили исследования связи между скоростью убывания погрешности приближения функции f(t) выбранными тем или иным способом многочленами Pn(f, t).степени п(при ) и дифференциально-разностными свойствами f(t). Оказалось, что эти свойства, т. е. наличие у f(t).производных, их гладкость и т. д., можно в ряде случаев охарактеризовать через последовательность приближающих полиномов и поведение доставляемой ими погрешности (см. ;прямые и обратные теоремы). Этим давалась новая, конструктивная характеристика непрерывных и дифференцируемых функций. В первой трети 20 в. такая проблематика была доминирующей в теории приближения, что дало повод говорить о ней как о конструктивной теории функций. В 30-40-х гг. появились работы Л. Н. Колмогорова, Ж. Фавара (J. Favard) и С. М. Никольского, к-рые положили начало новому направлению исследований, связанному с приближением классов функций конечномерными подпространствами и получением точных оценок погрешности через задающие класс дифференциально-разностные характеристики. Речь идет об отыскании величин где m (g,j) — выбранная мера погрешности приближения, — нек-рый класс функций, a PN(f, t).- приближающий (вообще говоря, обобщенный) полином, коэффициенты к-рого определяются выбором метода приближения. Результаты такого рода позволяют сравнивать методы приближения с точки зрения их аппроксимативных возможностей и ставить важную для приложений задачу отыскания для данного класса функций оптимального (наилучшего) приближающего аппарата (фиксированной размерности N). Исследования в этом направлении, базирующиеся как на изучении свойств конкретных методов приближения, так и на самых общих положениях функционального анализа, оказались весьма плодотворными и в идейном отношении, т. к. привели к установлению принципиально новых фактов о связи между различными по характеру экстремальными задачами, позволили выявить глубокие и тонкие зависимости в теории функций. Благодаря этому оказалось возможным до конца решить ряд экстремальных задач по наилучшему приближению важнейших классов функций (см. [5], [7], а также ;экстремальные задачи на классах функций). О некоторых других аспектах П.