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

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

Основные сведенияПравить

Рассматривают также гладкие функции высших порядков, а именно, функция с порядком гладкости $r⩾<!--\; ⩾\; -->0$$r\geqslant 0$  имеет непрерывные производные всех порядков до $r$$r$  включительно (производная нулевого порядка — сама функция). Такие функции называются $r$$r$ -гладкими. Множество $r$$r$ -гладких функций, определённых в области $\mathrm{\Omega <!--\; \Omega \; -->}$$\Omega$ , обозначается $C^r(\mathrm{\Omega <!--\; \Omega \; -->})$$C^{r}(\Omega )$ . Запись $f\in <!--\; \in \; -->C^{\mathrm{\infty <!--\; \infty \; -->}}(\mathrm{\Omega <!--\; \Omega \; -->})$$f\in C^{\infty }(\Omega )$  означает, что $f\in <!--\; \in \; -->C^r(\mathrm{\Omega <!--\; \Omega \; -->})$$f\in C^{r}(\Omega )$  для любого $r$$r$ , такие функции называют бесконечно-гладкими (иногда под гладкими функциями подразумевают именно бесконечно-гладкие). Иногда также используется запись $f\in <!--\; \in \; -->C^{\mathrm{\omega <!--\; \omega \; -->}}(\mathrm{\Omega <!--\; \Omega \; -->})$$f\in C^{\omega }(\Omega )$  или $f\in <!--\; \in \; -->C^a(\mathrm{\Omega <!--\; \Omega \; -->})$$f\in C^{a}(\Omega )$ , которая означает, что $f$$f$  — аналитическая.

Например, $C^0(\mathrm{\Omega <!--\; \Omega \; -->})$$C^{0}(\Omega )$  — множество непрерывных на $\mathrm{\Omega <!--\; \Omega \; -->}$$\Omega$  функций, а $C^1(\mathrm{\Omega <!--\; \Omega \; -->})$$C^{1}(\Omega )$  — множество непрерывно-дифференцируемых на $\mathrm{\Omega <!--\; \Omega \; -->}$$\Omega$  функций, то есть функций имеющих в каждой точке этой области непрерывную производную.

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

Приближение аналитическими функциямиПравить

Пусть $\mathrm{\Omega <!--\; \Omega \; -->}$$\Omega$  -- область в ${\mathbb{R}}^n$$\mathbb {R} ^{n}$  и $f\in <!--\; \in \; -->C^k(\mathrm{\Omega <!--\; \Omega \; -->})$$f\in C^{k}(\Omega )$ , $0⩽<!--\; ⩽\; -->k⩽<!--\; ⩽\; -->\mathrm{\infty <!--\; \infty \; -->}$$0\leqslant k\leqslant \infty$ . Пусть $\{K_p\}$$\{K_{p}\}$  — последовательность компактных подмножеств $\mathrm{\Omega <!--\; \Omega \; -->}$$\Omega$  такая, что $K_0=\mathrm{\varnothing <!--\; \varnothing \; -->}$$K_{0}=\varnothing$ , $K_p\subset <!--\; \subset \; -->K_{p+1}$$K_{p}\subset K_{{p+1}}$  и $\bigcup <!--\; \bigcup \; -->K_p=\mathrm{\Omega <!--\; \Omega \; -->}$$\bigcup K_{p}=\Omega$ . Пусть $\{n_p\}$$\{n_{p}\}$  — произвольная последовательность положительных целых чисел и $m_p=min(k,n_p)$$m_{p}=\min(k,\;n_{p})$ . Наконец, пусть $\{{\mathrm{\epsilon <!--\; \epsilon \; -->}}_p\}$$\{\varepsilon _{p}\}$  — произвольная последовательность положительных чисел. Тогда существует вещественно-аналитическая функция $g$$g$ , определённая в $\mathrm{\Omega <!--\; \Omega \; -->}$$\Omega$  такая, что для всякого $p⩾<!--\; ⩾\; -->0$$p\geqslant 0$  выполнено неравенство

$\|f-g\|_{C^{m_{p}}({K_{p+1}\backslash K_{p}})}<\varepsilon _{p},$ 

где $\Vert <!--\; \Vert \; -->f-<!--\; -\; -->g{\Vert <!--\; \Vert \; -->}_{C^{m_p}(K_{p+1}\mathrm{\setminus <!--\; \setminus \; -->}{K}_p)}$$\|f-g\|_{C^{m_{p}}({K_{p+1}\backslash K_{p}})}$  обозначает максимум из норм (в смысле равномерной сходимости, то есть максимума модуля на множестве $K_{p+1}\mathrm{\setminus <!--\; \setminus \; -->}{K}_p$${K_{p+1}\backslash K_{p}}$ ) производных функции $f-<!--\; -\; -->g$$f-g$  всех порядков от нуля до $m_p$${m_{p}}$  включительно.

Дробная гладкостьПравить

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

Функция $f$$f$  принадлежит классу $C^{r,\mathrm{\alpha <!--\; \alpha \; -->}}$$C^{r,\alpha }$ , где $r$$r$  — целое неотрицательное число и $0<\alpha \leqslant 1$ , если имеет производные до порядка $r$$r$  включительно и $f^{(r)}$$f^{{(r)}}$  является гёльдеровской с показателем $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$ .

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

См. такжеПравить

• Кусочно-гладкая функция
• Лемма Адамара
• Лемма Сарда