От аналитичности к гладкости функций

Рассмотрим некоторую дифференцируемую функцию и разложим ее ряд Тейлора в окрестности некоторой точки :

(4.11)

По традиции представление этим рядом считается полезным только в том случае, если он сходится в некоторой окрестности и сумма его равна . В этом случае f(x) называют аналитической в точке х₀.

Ряд можно дифференцировать в некоторой (возможно) меньшей окрестности и его коэффициенты равны:

, (4.12)

где .

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

Определения:

1. Отображение является дифференцируемым класса , если каждая из функций является раз дифференцируемой;

2. Отображение называется аналитическим, если каждая из функций является аналитической, то есть может быть разложена в сходящийся ряд Тейлора;

3. Отображение называется гладким (или бесконечно дифференцируемым), если для всякого неотрицательного целого отображение является дифференцируемым.

Рассмотрим теперь функцию . Данная функция является аналитической, и ее ряд Тейлора имеет вид:

. (4.13)

На рисунке 4.3 показаны графики полиномиальных функций, которые получаются, если ограничиться первыми членами .

Рисунок 4.3 – Усечение ряда Тейлора для аналитической функции (цифры определяют число членов разложения)

Из рисунка 4.3 отчетливо видна сходимость ряда Тейлора. Однако замечаем, что даже при очень большом числе членов разложения приближение ухудшается с удалением от начала координат. С другой стороны, вблизи начала координат приближение очень хорошее. С увеличением числа членов разложения интервал, на котором точность приближения улучшается, также растёт. Это принципиальное отличие aнaлитических функций от другого класса функций, а именно гладких функций.

Для гладких функций ряд Тейлора может расходиться или сходиться, но не к той сумме.

Рассмотрим пример.

Пусть задана функция:

(4.14)

Данная функция имеет следующий вид (рис. 4.4).

Рисунок 4.4 – Гладкая функция

Легко проверить, что для любого :

.

Действительно, например, для имеем:

.

Таким образом, для любого , ряд Тейлора вблизи начала координат имеет вид

0 + 0 х² +0 х³ + …

Этот ряд, конечно, сходится, но не к , а к , то есть является гладкой, но не аналитической функцией.

Однако из этого не следует, что гладкие функции не могут использоваться для приближений. Как остроумно заметил один из теоретиков теории катастроф Зиман, пора, когда сходимость остаточного члена при являлась основным инструментом приближений и когда «было дозволено, чтобы «хвост» ряда Тейлора вилял собакой», явно прошла. Так, например, ряд Тейлора хотя и не сходится к , хорошо приближает эту функцию в начале координат с качественной точки зрения. Он чётко улавливает, что очень плоская в нуле. Чего он не улавливает, так это то, что начало есть локальный минимум для .

Для любой гладкой функции определим ряд Тейлора в начале как формальный ряд:

. (4.15)

Ограничиваясь членами степени не выше , получаем -струю.

Дата добавления: 2014-01-04