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

Основные сведения

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

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

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

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

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

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

Случай функций одной переменной

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

Рассматривают также дважды непрерывно дифференцируемые функции — функции имеющие непрерывную вторую производную.

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

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

Случай функций многих переменных

В этом случае понятие непрерывно дифференцируемой функции может рассматриваться в двух видах:

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

Приближение непрерывно-дифференцируемых функций аналитическими

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

См. также

• Кусочно-гладкая функция