En análisis matemático , la suavidad de una función es una propiedad medida por el número, llamado clase de diferenciabilidad , de derivadas continuas que tiene sobre su dominio . [1]
Una función de clase es una función de suavidad al menos k ; es decir, una función de clase es una función que tiene una k -ésima derivada que es continua en su dominio.
Una función de clase o -función (pronunciada C-infinity function ) es una función infinitamente diferenciable , es decir, una función que tiene derivadas de todos los órdenes (esto implica que todas estas derivadas son continuas).
Generalmente, el término función suave se refiere a una función. Sin embargo, también puede significar "suficientemente diferenciable" para el problema considerado.
La clase de diferenciabilidad es una clasificación de funciones según las propiedades de sus derivadas . Es una medida del orden más alto de derivada que existe y es continua para una función.
Considere un conjunto abierto sobre la recta real y una función definida con valores reales. Sea k un número entero no negativo . Se dice que la función es de clase de diferenciabilidad si las derivadas existen y son continuas . Si es diferenciable, entonces está al menos en la clase ya que son continuas. Se dice que la función es infinitamente diferenciable , suave o de clase si tiene derivadas de todos los órdenes en (Entonces todas estas derivadas son funciones continuas sobre ) [2] Se dice que la función es de clase o analítica , si es suave (es decir, está en la clase ) y su expansión en serie de Taylor alrededor de cualquier punto en su dominio converge a la función en alguna vecindad del punto. Existen funciones que son fluidas pero no analíticas; por lo tanto, está estrictamente contenido en Las funciones Bump son ejemplos de funciones con esta propiedad.
Para decirlo de otra manera, la clase consta de todas las funciones continuas. La clase consta de todas las funciones diferenciables cuya derivada es continua; tales funciones se llaman continuamente diferenciables . Por lo tanto, una función es exactamente una función cuya derivada existe y es de clase. En general, las clases se pueden definir recursivamente declarando que son el conjunto de todas las funciones continuas y declarando que cualquier entero positivo es el conjunto de todas las funciones diferenciables cuyas La derivada está en En particular, está contenida en para cada y hay ejemplos que muestran que esta contención es estricta ( ). La clase de funciones infinitamente diferenciables es la intersección de las clases que varían sobre los números enteros no negativos.
La función es continua, pero no diferenciable en x = 0 , por lo que es de clase C 0 , pero no de clase C 1 .
Para cada entero par k , la función es continua y k veces diferenciable en todo x . En x = 0 , sin embargo, no es ( k + 1) veces diferenciable, por lo que lo es de clase C k , pero no de clase C j donde j > k .
La función es diferenciable, con derivada.
Debido a que oscila cuando x → 0, no es continua en cero. Por tanto, es diferenciable pero no de clase C 1 .
La función es diferenciable pero su derivada no está acotada en un conjunto compacto . Por lo tanto, es un ejemplo de una función que es derivable pero no localmente continua de Lipschitz .
La función exponencial es analítica y, por tanto, pertenece a la clase C ω . Las funciones trigonométricas también son analíticas dondequiera que se definan, porque son combinaciones lineales de funciones exponenciales complejas y .
La función de tope es suave, por lo tanto de clase C ∞ , pero no es analítica en x = ±1 y, por lo tanto, no es de clase C ω . La función f es un ejemplo de función suave con soporte compacto .
Se dice que una función definida en un conjunto abierto de [3] es de clase on , para un entero positivo , si todas las derivadas parciales existen y son continuas, para cada entero no negativo, tal que , y cada . De manera equivalente, es de clase si la derivada de Fréchet de -ésimo orden de existe y es continua en cada punto de . Se dice que la función es de clase o si es continua . También se dice que las funciones de clase son continuamente diferenciables .
Una función , definida en un conjunto abierto de , se dice que es de clase en , para un entero positivo , si todos sus componentes son de clase , donde están las proyecciones naturales definidas por . Se dice que es de clase o si es continuo, o equivalentemente, si todos sus componentes son continuos, en .
Sea un subconjunto abierto de la recta real. El conjunto de todas las funciones con valores reales definido en es un espacio vectorial de Fréchet , con la familia contable de seminormas donde varía en una secuencia creciente de conjuntos compactos cuya unión es , y .
El conjunto de funciones encima también forma un espacio de Fréchet. Se utilizan las mismas seminormas que las anteriores, excepto que se permite abarcar todos los valores enteros no negativos.
Los espacios anteriores ocurren naturalmente en aplicaciones donde son necesarias funciones que tienen derivadas de ciertos órdenes; sin embargo, particularmente en el estudio de ecuaciones diferenciales parciales , a veces puede resultar más fructífero trabajar con los espacios de Sobolev .
Los términos continuidad paramétrica ( C k ) y continuidad geométrica ( G n ) fueron introducidos por Brian Barsky , para mostrar que la suavidad de una curva se podía medir eliminando las restricciones en la velocidad con la que el parámetro traza la curva. [4] [5] [6]
La continuidad paramétrica ( C k ) es un concepto aplicado a las curvas paramétricas , que describe la suavidad del valor del parámetro con la distancia a lo largo de la curva. Se dice que una curva (paramétrica) es de clase C k , si existe y es continua en , donde las derivadas en los puntos finales y se consideran derivadas unilaterales (desde la derecha en y desde la izquierda en ).
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 C 1 y su primera derivada es diferenciable, para que el objeto tenga una aceleración finita. Para un movimiento más suave, como el de la trayectoria de una cámara mientras se hace una película, se requieren órdenes más altos de continuidad paramétrica.
Los distintos órdenes de continuidad paramétrica se pueden describir de la siguiente manera: [7]
Se puede describir que una curva o superficie tiene continuidad, siendo la medida creciente de suavidad. Considere los segmentos a ambos lados de un punto en una curva:
En general, existe continuidad si las curvas se pueden reparametrizar para que tengan continuidad (paramétrica). [8] [9] Una reparametrización de la curva es geométricamente idéntica a la original; sólo el parámetro se ve afectado.
De manera equivalente, dos funciones vectoriales y similares que tienen continuidad en el punto donde se encuentran si satisfacen ecuaciones conocidas como restricciones Beta. Por ejemplo, las restricciones Beta para la continuidad son:
donde , y son arbitrarios, pero están obligados a ser positivos. [8] : 65 En el caso , esto se reduce a y , para un escalar (es decir, la dirección, pero no necesariamente la magnitud, de los dos vectores es igual).
Si bien puede ser obvio que una curva requeriría continuidad para parecer suave, para una buena estética , como la que se aspira en la arquitectura y el diseño de automóviles deportivos , se requieren niveles más altos de continuidad geométrica. Por ejemplo, los reflejos en la carrocería de un automóvil no aparecerán uniformes a menos que la carrocería tenga continuidad. [ cita necesaria ]
Un rectángulo redondeado (con arcos circulares de noventa grados en las cuatro esquinas) tiene continuidad, pero no tiene continuidad. Lo mismo ocurre con un cubo redondeado , con octantes de esfera en sus esquinas y cuartos de cilindro en sus aristas. Si se requiere una curva editable con continuidad, normalmente se eligen splines cúbicas ; Estas curvas se utilizan con frecuencia en el diseño industrial .
Si bien todas las funciones analíticas son "suaves" (es decir, tienen todas las derivadas continuas) en el conjunto en el que son analíticas, ejemplos como las funciones de relieve (mencionadas anteriormente) muestran que lo contrario no es cierto para las funciones en los reales: existen funciones reales suaves. funciones que no son analíticas. Se pueden crear ejemplos sencillos de funciones que son fluidas pero no analíticas en ningún punto mediante series de Fourier ; Otro ejemplo es la función de Fabius . Aunque podría parecer que tales funciones son la excepción y no la regla, resulta que las funciones analíticas están muy dispersas entre las suaves; Más rigurosamente, las funciones analíticas forman un escaso subconjunto de las funciones suaves. Además, para cada subconjunto abierto A de la línea real, existen funciones suaves que son analíticas en A y en ningún otro lugar [ cita necesaria ] .
Es útil comparar la situación con la de la ubicuidad de los números trascendentales en la recta real. Tanto en la recta real como en el conjunto de funciones suaves, los ejemplos que se nos ocurren a primera vista (números algebraicos/racionales y funciones analíticas) se comportan mucho mejor que la mayoría de los casos: los números trascendentales y las funciones analíticas en ninguna parte tienen medida completa (sus complementos son escasos).
La situación así descrita contrasta marcadamente con las funciones diferenciables complejas. Si una función compleja es diferenciable solo una vez en un conjunto abierto, es infinitamente diferenciable y analítica en ese conjunto [ cita necesaria ] .
Las funciones suaves con soporte cerrado dado se utilizan en la construcción de particiones suaves de unidad (ver partición de unidad y glosario de topología ); Estos son esenciales en el estudio de variedades suaves , por ejemplo, para mostrar que las métricas de Riemann se pueden definir globalmente a partir de su existencia local. Un caso simple es el de una función de tope sobre la recta real, es decir, una función suave f que toma el valor 0 fuera de un intervalo [ a , b ] y tal que
Dado un número de intervalos superpuestos en la línea, se pueden construir funciones de relieve en cada uno de ellos, y en intervalos semiinfinitos y para cubrir toda la línea, de modo que la suma de las funciones sea siempre 1.
Por lo que se acaba de decir, las particiones de la unidad no se aplican a funciones holomorfas ; su comportamiento diferente en relación con la existencia y la continuación analítica es una de las raíces de la teoría de la gavilla . Por el contrario, los haces de funciones suaves tienden a no contener mucha información topológica.
Dada una variedad suave , de dimensión y un atlas , entonces un mapa es suave si para todos existe un gráfico tal que y es una función suave desde una vecindad de en a (todas las derivadas parciales hasta un orden dado son continuas). La suavidad se puede verificar con respecto a cualquier carta del atlas que contenga, ya que los requisitos de suavidad en las funciones de transición entre cartas aseguran que si es suave en un gráfico, lo será en cualquier otro gráfico.
Si es un mapa de a una variedad dimensional , entonces es suave si, para cada hay un gráfico que contiene y un gráfico que contiene tal que y es una función suave de
Los mapas suaves entre variedades inducen mapas lineales entre espacios tangentes : para , en cada punto, el empuje hacia adelante (o diferencial) asigna vectores tangentes en a vectores tangentes en : y en el nivel del paquete tangente , el empuje hacia adelante es un homomorfismo de paquete de vectores : el dual al avance está el retroceso , que "tira" de los covectores de regreso a los covectores y de las formas a las formas: de esta manera, las funciones fluidas entre variedades pueden transportar datos locales , como campos vectoriales y formas diferenciales , de una variedad a otra, o hasta el espacio euclidiano donde se entienden bien cálculos como la integración .
Las imágenes previas y los avances a lo largo de funciones suaves, en general, no son múltiples sin suposiciones adicionales. Las preimágenes de puntos regulares (es decir, si el diferencial no desaparece en la preimagen) son variedades; este es el teorema de la preimagen . De manera similar, los avances a lo largo de las incrustaciones son múltiples. [10]
Existe una noción correspondiente de mapa suave para subconjuntos arbitrarios de variedades. If es una función cuyo dominio y rango son subconjuntos de variedades y respectivamente. se dice que es suave si para todos hay un conjunto abierto con una función suave tal que para todos