Гладкая функция

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Гладкая функция или непрерывно дифференцируемая функция — это функция, имеющая непрерывную производную на всём множестве определения. Очень часто под гладкими функциями подразумевают функции, имеющие непрерывные производные всех порядков.

Основные сведения[править | править код]

Рассматривают также гладкие функции высших порядков, а именно, функция с порядком гладкости имеет непрерывные производные всех порядков до включительно (производная нулевого порядка — сама функция). Такие функции называются -гладкими. Множество -гладких функций, определённых в области , обозначается . Запись означает, что для любого , такие функции называют бесконечно-гладкими (иногда под гладкими функциями подразумевают именно бесконечно-гладкие). Иногда также используется запись или , которая означает, что  — аналитическая.

Например,  — множество непрерывных на функций, а  — множество непрерывно-дифференцируемых на функций, то есть функций имеющих в каждой точке этой области непрерывную производную.

Если порядок гладкости не указан, то обычно предполагают его достаточным для того, чтобы имели смысл все действия, выполняемые над функцией по ходу текущего рассуждения.

Приближение аналитическими функциями[править | править код]

Пусть область открыта в и , . Пусть  — последовательность компактных подмножеств такая, что , и . Пусть  — произвольная последовательность положительных целых чисел и . Наконец, пусть  — произвольная последовательность положительных чисел. Тогда существует вещественно-аналитическая функция , определённая в такая, что для всякого выполнено неравенство

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

Дробная гладкость[править | править код]

Для тонкого анализа классов дифференцируемых функций вводят также понятие дробной гладкости в точке или показателя Гёльдера, которое обобщает все выше перечисленные понятия гладкости. Функция принадлежит классу , где — целое неотрицательное число и , если имеет производные до порядка включительно и является гёльдеровской с показателем .

В переводной литературе, наравне с термином «показатель Гёльдера», используется термин «показатель Липшица».

См. также[править | править код]