Гладкість функції

Гла́дкість функції або неперервно-диференційовність функції — це властивість функції, що має неперервну похідну на всій області визначення.

Основні відомості

Розглядають також гладкі функції вищих порядків, а саме, функція з порядком гладкості $r$ має неперервну похідну порядку $r$ . Множина таких функцій, визначених у області $\Omega$ позначається $C^{r}(\Omega )$ .

$f\in C^{\infty }(\Omega )$ означає, що $f\in C^{r}(\Omega )$ для будь-якого $r$ , а $f\in C^{\omega }(\Omega )=C^{a}(\Omega )$ означає, що $f$ — аналітична.

Якщо порядок гладкості не вказаний, то звичайно припускають його достатнім для того, щоб мали сенс всі дії, що виконуються над функцією по ходу поточного міркування.

Для тонкого аналізу класів диференційовних функцій вводять також поняття дробової гладкості в точці або показника Гельдера, яке узагальнює всі вище перераховані поняття гладкості.

Функція $f$ належить класу $C^{r,\alpha }$ , де $r$ — ціле невід'ємне число і $0<\alpha \leqslant 1$ , якщо має похідні до порядку $r$ включно і $f^{(r)}$ є гельдерівською з показником $\alpha$ .