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

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

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

Розглядають також гладкі функції вищих порядків, а саме, функція з порядком гладкості $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$.

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

Джерела

• Warner, Frank Wilson Foundations of differentiable manifolds and Lie groups. 1983, Springer
• Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2023. — 1900+ с.(укр.)