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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

Основні відомості[ред.ред. код]

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