Función infinitamente diferenciable

Una función de protuberancia es una función suave con soporte compacto

Una función suave o infinitamente diferenciable es una función que admite derivadas de cualquier orden, y por tanto todas sus derivadas de cualquier orden son continuas.

En análisis matemático, la suavidad de una función es una propiedad que se mide por el número de continua derivadas que tiene sobre algún dominio, llamado clase de diferenciabilidad. Como mínimo, una función puede considerarse suave si es diferenciable en todas partes (por tanto, continua). En el otro extremo, también podría poseer derivadas de todos los órdenes en su dominio, en cuyo caso se dice que es infinitamente diferenciable y se denomina función C-infinita' (o función $C^{\mathrm{\infty }}$).

Las funciones analíticas son casos particulares de funciones suaves, pero no toda función suave es analítica. Por ejemplo la función: Plantilla:Ecuación Es infinitamente diferenciable en todos sus puntos pero no es analítica.

Clases de diferenciabilidad

Clase de diferenciabilidad es una clasificación de funciones según las propiedades de sus derivadas. Es una medida del mayor orden de derivada que existe y es continua para una función.

Consideremos un conjunto abierto $U$ en la recta real y una función $f$ definida en $U$ con valores reales. Sea k un entero no negativo. Se dice que la función $f$ es de clase de diferenciabilidad $C^k$ si las derivadas $f^{″},f^{″},\dots ,f^{(k)}$ existen y son continua sobre $U$. Si $f$ es $k$-diferenciable en $U$, entonces está al menos en la clase $C^{k-1}$ ya que $f^{\prime },f^{″},\dots ,f^{(k-1)}$ son continuas en $U$. Se dice que la función $f$ es infinitamente diferenciable, suave, o de clase $C^{\mathrm{\infty }}$, si tiene derivadas de todos los órdenes en $U$. (Así que todas estas derivadas son funciones continuas sobre $U$.) Se dice que la función $f$ es de clase $C^{\omega }$, o analítica, si $f$ es suave (es decir, $f$ está en la clase $C^{\mathrm{\infty }}$) y su expansión en serie de Taylor alrededor de cualquier punto de su dominio converge a la función en alguna vecindad del punto. Por tanto, $C^{\omega }$ está estrictamente contenida en $C^{\mathrm{\infty }}$. Las funciones de choque son ejemplos de funciones en $C^{\mathrm{\infty }}$ pero no en $C^{\omega }$.

Dicho de otro modo, la clase $C^0$ está formada por todas las funciones continuas. La clase $C^1$ consiste en todas las funciones diferenciables cuya derivada es continua; tales funciones se llaman continuamente diferenciables'. Así, una función $C^1$ es exactamente una función cuya derivada existe y es de clase $C^0$. En general, las clases $C^k$ pueden definirse recursivamente declarando $C^0$ como el conjunto de todas las funciones continuas, y declarando $C^k$ para cualquier entero positivo $k$ como el conjunto de todas las funciones diferenciables cuya derivada está en $C^{k-1}$. En particular, $C^k$ está contenida en $C^{k-1}$ para cada $k>0$, y hay ejemplos para demostrar que esta contención es estricta ($C^k⊊C^{k-1}$). La clase $C^{\mathrm{\infty }}$ de funciones infinitamente diferenciables, es la intersección de las clases $C^k$ a medida que $k$ varía sobre los enteros no negativos.

Ejemplos

Ejemplo: Continuo (C⁰) pero no diferenciable

La función C⁰ Plantilla:Nowrap para Plantilla:Nowrap y 0 en caso contrario.

Función Plantilla:Nowrap para Plantilla:Nowrap.

Función $f:ℝ\to ℝ$ con $f(x)=x^2\sin \left(\frac{1}{x}\right)$ para $x\ne 0$ and $f(0)=0$ es diferenciable. Sin embargo, esta función no es continuamente diferenciable.

Función suave que no es analítica.

La función $$f(x)=\{\begin{array}{cc}x& \text{if }x\ge 0,\\ 0& \text{if }x<0\end{array}$$ es continua pero no diferenciable en Plantilla:Nowrap, por lo que es de clase C⁰, pero no de clase C¹.

Ejemplo: Diferenciable finitamente (C^{Plantilla:Mvar})

Para cada entero par Plantilla:Mvar, la función $$f(x)=|x{|}^{k+1}$$ es continua y Plantilla:Mvar veces diferenciable en todo Plantilla:Mvar. En Plantilla:Nowrap, sin embargo, $f$ no es Plantilla:Nowrap veces diferenciable, por lo que $f$ es de clase C^{Plantilla:Mvar}, pero no de clase C^{Plantilla:Mvar} donde Plantilla:Nowrap.

Ejemplo: Diferenciable pero no continuamente diferenciable (no C¹)

La función $$g(x)=\{\begin{array}{cc}{x}^2\sin \left(\frac{1}{x}\right)& \text{si }x\ne 0,\\ 0& \text{si }x=0\end{array}$$ es diferenciable, con derivada $$g^{\prime }(x)=\{\begin{array}{cc}-\cos \left(\frac{1}{x}\right)+2x\sin \left(\frac{1}{x}\right)& \text{si }x\ne 0,\\ 0& \text{si }x=0.\end{array}$$

Debido a que $\cos (1/x)$ oscila como Plantilla:Mvar. → 0, $g^{\prime }(x)$ no es continua en cero. Por tanto, $g(x)$ es diferenciable pero no de clase C¹.

Ejemplo: Diferenciable pero no Lipschitz Continuo

La función $$h(x)=\{\begin{array}{cc}{x}^{4/3}\sin \left(\frac{1}{x}\right)& \text{si }x\ne 0,\\ 0& \text{si }x=0\end{array}$$ es diferenciable pero su derivada no tiene límite en un conjunto compacto. Por tanto, $h$ es un ejemplo de función diferenciable pero no localmente Función lipschitziana.

Ejemplo: Analítica (C^{Plantilla:Mvar})

La función exponencial $e^x$ es analítica, y por tanto cae dentro de la clase C^ω. Las funciones trigonométricas también son analíticas allí donde se definen, ya que son combinaciones lineales de funciones exponenciales complejas. $e^{ix}$ y $e^{-ix}$.

Ejemplo: Suave (C^{Plantilla:Mvar}) pero no analítica (C^{Plantilla:Mvar})

La función de protuberancia $$f(x)=\{\begin{array}{cc}{e}^{-\frac{1}{1-x^2}}& \text{ si }|x|<1,\\ 0& \text{ en caso contrario }\end{array}$$ es suave, por lo tanto de clase C^∞, pero no es analítica en Plantilla:Nowrap, y por lo tanto no es de clase C^ω. La función Plantilla:Mvar es un ejemplo de función suave con soporte compacto.

Clases de diferenciabilidad multivariante

Una función $f:U\subset {ℝ}^n\to ℝ$ definida sobre un conjunto abierto $U$ de ${ℝ}^n$ se dice que es de la clase $C^k$ sobre $U$, para un entero positivo $k$, si todas las derivadas parciales $$\frac{{\partial }^{\alpha }f}{\partial x_1^{{\alpha }_1}\partial x_2^{{\alpha }_2}\cdots \partial x_n^{{\alpha }_n}}(y_1,y_2,\dots ,y_n)$$ existen y son continuas, para cada ${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_n$ enteros no negativos, tales que $\alpha ={\alpha }_1+{\alpha }_2+\cdots +{\alpha }_n\le k$, y cada $(y_1,y_2,\dots ,y_n)enU$. Equivalentemente, $f$ es de clase $C^k$ en $U$ si la $k$-ésimo orden derivada de Fréchet de $f$ existe y es continua en cada punto de $U$. Se dice que la función $f$ es de clase $C$ o $C^0$ si es continua en $U$. También se dice que las funciones de clase $C^1$ son continuamente diferenciables.

Una función $f:U\subset {ℝ}^n\to {ℝ}^m$, definida sobre un conjunto abierto $U$ de ${ℝ}^n$, se dice que es de clase $C^k$ sobre $U$, para un entero positivo $k$, si todas sus componentes $$f_i(x_1,x_2,\dots ,x_n)=({\pi }_i\circ f)(x_1,x_2,\dots ,x_n)={\pi }_i(f(x_1,x_2,\dots ,x_n))\text{ para }i=1,2,3,\dots ,m$$ son de clase $C^k$, donde ${\pi }_i$ son las proyecciones naturales. ${\pi }_i:{ℝ}^m\to ℝ$ definida por ${\pi }_i(x_1,x_2,\dots ,x_m)=x_i$. Se dice que es de clase $C$ o $C^0$ si es continua, o equivalentemente, si todas las componentes $f_i$ son continuas, en $U$.

Espacio de funciones C^k

Sea $D$ un subconjunto abierto de la recta real. El conjunto de todas las funciones $C^k$ de valor real definidas sobre $D$ es un espacio vectorial de Fréchet, con la familia contable de seminormas $$p_{K,m}=\underset{x\in K}{\sup }|f^{(m)}(x)|$$ donde $K$ varía sobre una secuencia creciente de conjunto compacto cuya unión es $D$, y $m=0,1,\dots ,k$.

El conjunto de funciones $C^{\mathrm{\infty }}$ sobre $D$ también forma un espacio de Fréchet. Se utilizan las mismas seminormas que en el caso anterior, excepto que $m$ puede abarcar todos los valores enteros no negativos.

Los espacios anteriores aparecen de forma natural en aplicaciones donde se necesitan funciones que tengan derivadas de ciertos órdenes; sin embargo, particularmente en el estudio de ecuaciones diferenciales parcialess, a veces puede ser más fructífero trabajar en su lugar con los espacios de Sóbolev.

Continuidad

Los términos continuidad paramétrica (C^k) y continuidad geométrica (Gⁿ) fueron introducidos por Brian Barsky, para demostrar que la suavidad de una curva podía medirse eliminando restricciones en la velocidad, con la que el parámetro traza la curva.

Continuidad paramétrica

Continuidad paramétrica (C^k) es un concepto aplicado a curva paramétricas, que describe la suavidad del valor del parámetro con la distancia a lo largo de la curva. Una curva (paramétrica) $s:[0,1]\to {ℝ}^n$ se dice que es de clase C^k, si $\frac{d^{k}s}{d{t}^k}$ existe y es continua en $[0,1]$, donde las derivadas en los puntos extremos $0,1\in [0,1]$ se toman como derivadas unilaterales (i. e., a $0$ por la derecha, y a $1$ por la izquierda).

Como aplicación práctica de este concepto, una curva que describe el movimiento de un objeto con un parámetro de tiempo debe tener continuidad ¹ y su primera derivada es diferenciable-para que el objeto tenga aceleración finita. Para un movimiento más suave, como el de la trayectoria de una cámara al filmar una película, se requieren órdenes superiores de continuidad paramétrica.

Orden de continuidad paramétrica

Dos segmentos de curva de Bézier unidos que sólo es continua C⁰.

Dos segmentos de curva de Bézier unidos de tal forma que son continuos C¹.

Los distintos órdenes de continuidad paramétrica pueden describirse de la siguiente manera:

• $C^0$: la derivada cero-ésima es continua (las curvas son continuas).
• $C^1$: la derivada cero-ésima y la primera son continuas
• $C^2$: las derivadas cero-ésima, primera y segunda son continuas
• $C^n$: las derivadas cero-ésima a enésima son continuas