Función bulto

La gráfica de la función bulto $(x,y)\in {ℝ}^2\mapsto \mathrm{\Psi }(r),$ donde $r={(x^2+y^2)}^{1/2}$ y $\mathrm{\Psi }(r)=e^{-1/(1-r^2)}\cdot {\mathrm{𝟏}}_{\{|r|<1\}}.$

En matemáticas, una función bulto o función de prueba (en inglés, respectivamente "bump function" y "test function") es una función $f:{ℝ}^n\to ℝ$ en un espacio euclídeo ${ℝ}^n$ que es a la vez suave (en el sentido de tener derivadas continuas de todos los órdenes) y compactamente soportada. El conjunto de todas las funciones bulto con dominio ${ℝ}^n$ forma un espacio vectorial, denotado ${\mathrm{C}}_0^{\mathrm{\infty }}({ℝ}^n)$ o ${\mathrm{C}}_{\mathrm{c}}^{\mathrm{\infty }}({ℝ}^n).$ El espacio dual de este espacio dotado de una topología adecuada es el espacio de distribuciones.

Ejemplos

La función bulto 1d $\mathrm{\Psi }(x).$

La función $\mathrm{\Psi }:ℝ\to ℝ$ dada por

$\mathrm{\Psi }(x)=\{\begin{array}{cc}\exp (-\frac{1}{1-x^2}),& x\in (-1,1)\\ 0,& \text{ en caso contrario}\end{array}=\exp (-\frac{1}{1-\min (1,x^2)})$

es un ejemplo de una función bulto en una dimensión. De su construcción se desprende claramente que esta función tiene soporte compacto, ya que una función de la recta real tiene soporte compacto si y solo si tiene soporte cerrado acotado. La prueba de suavidad sigue la misma línea que para la función relacionada analizada en el artículo sobre funciones suaves no analíticas. Esta función se puede interpretar como la función gaussiana $\exp (-y^2)$ escalada para ajustarse en el disco unitario: la sustitución $y^2=1/(1-x^2)$ corresponde al envío de $x=\pm 1$ a $y=\mathrm{\infty }.$

Un ejemplo simple de una función bulto (cuadrada) en $n$ variables se obtiene tomando el producto de $n$ copias de la función bulto anterior en una variable, por lo que

$\mathrm{\Phi }(x_1,x_2,\dots ,x_n)=\mathrm{\Psi }(x_1)\mathrm{\Psi }(x_2)\cdots \mathrm{\Psi }(x_n).$

Funciones de transición suave

La función suave no analítica f(x) considerada en el artículo

Considérese la función

$f(x)=\{\begin{array}{cc}{e}^{-\frac{1}{x}}& \text{ si }x>0,\\ 0& \text{ si }x\le 0,\end{array}$

definida para cada número real x.

La transición suave g de 0 a 1 definida aquí

La función

$g(x)=\frac{f(x)}{f(x)+f(1-x)},x\in ℝ,$

tiene un denominador estrictamente positivo en toda la recta real, por lo que g también es suave. Además, g(x) = 0 para x ≤ 0 y g(x) =  1 para x ≥ 1, por lo que proporciona una transición suave del nivel 0 al nivel 1 en el intervalo unidad [0, 1]. Para tener una transición suave en el intervalo real [a, b] con a < b, considérese la función

$ℝ\ni x\mapsto g\left(\frac{x-a}{b-a}\right).$

Para números reales Plantilla:Math, la función suave

$ℝ\ni x\mapsto g\left(\frac{x-a}{b-a}\right)g\left(\frac{d-x}{d-c}\right)$

es igual a 1 en el intervalo cerrado [b, c] y desaparece fuera del intervalo abierto (a, d), por lo que puede servir como función bulto.

Se debe tener precaución ya que, por ejemplo, tomar $\{a=-1\}<\{b=c=0\}<\{d=1\}$ conduce a:

$q(x)=\frac{1}{1+e^{\frac{1-2|x|}{x^2-|x|}}}$

que no es una función infinitamente diferenciable (por lo tanto, no es suave), por lo que las restricciones Plantilla:Math deben cumplirse estrictamente.

Algunos datos interesantes sobre la función:

$q(x,a)=\frac{1}{1+e^{\frac{a(1-2|x|)}{x^2-|x|}}}$

Se da el caso de que el valor $q(x,\frac{\sqrt{3}}{2})$ produce curvas de transición suaves con bordes de pendiente "casi" constante (que se comportan como líneas rectas inclinadas en un intervalo de medida distinto de cero)

Un ejemplo propio de una función bulto será:

$u(x)=\{\begin{array}{cc}\frac{1}{1+e^{\frac{1-2|x|}{x^2-|x|}}}& \text{ si }|x|<1,\\ 0& \text{ si }|x|\ge 1,\end{array}$

Un ejemplo propio de una función de transición suave será:

$w(x)=\{\begin{array}{cc}\frac{1}{1+e^{\frac{2x-1}{x^2-x}}}& \text{ si }0<x<1,\\ 0& \text{ si }x\le 0,\\ 1& \text{ si }x\ge 1,\end{array}$

donde se puede observar que se puede representar también mediante la función hiperbólica:

$\frac{1}{1+e^{\frac{2x-1}{x^2-x}}}=\frac{1}{2}(1-\tanh \left(\frac{2x-1}{2(x^2-x)}\right))$

Existencia de funciones bulto

Una ilustración de la construcción de conjuntos

Es posible construir funciones de respuesta "según especificaciones dadas". Dicho formalmente, si $K$ es un espacio compacto arbitrario en $n$ dimensiones y $U$ es un conjunto abierto que contiene a $K,$ existe una función bulto $\varphi$ que es $1$ en $K$ y $0$ fuera de $U.$ Dado que $U$ puede considerarse un entorno muy pequeño de $K,$ esto equivale a poder construir una función que sea $1$ en $K$ y que caiga rápidamente a $0$ fuera de $K,$ sin dejar de ser suave.

Funciones bulto definidas en términos de convolución

La construcción se desarrolla de la siguiente manera. Se considera un entorno compacto $V$ de $K$ contenido en $U,$ por lo que $K\subseteq V^{\circ }\subseteq V\subseteq U.$ La función característica ${\chi }_V$ de $V$ será igual a $1$ en $V$ y $0$ fuera de $V,$ por lo que, en particular, será $1$ en $K$ y $0$ fuera de $U.$ Sin embargo, esta función no es suave. La idea clave es suavizar un poco ${\chi }_V$, tomando la convolución de ${\chi }_V$ con un apaciguador, una función bulto con un soporte muy pequeño y cuya integral es $1.$ Tal proceso de suavizado se puede obtener, por ejemplo, tomando la función bulto $\mathrm{\Phi }$ de la sección anterior y realizando los escalamientos apropiados.

Funciones bulto definidas en términos de una función $c:ℝ\to [0,\mathrm{\infty })$ con soporte $(-\mathrm{\infty },0]$

Ahora se detalla una construcción alternativa que no implica convolución. Se comienza construyendo una función suave $f:{ℝ}^n\to ℝ$ que es positiva en un subconjunto abierto dado $U\subseteq {ℝ}^n$ y desaparece en $U.$Plantilla:Sfn El soporte de esta función es igual al cierre $\bar{U}$ de $U$ en ${ℝ}^n,$ por lo que si $\bar{U}$ es compacto, entonces $f$ es una función bulto.

Comiéncese con cualquier función suave $c:ℝ\to ℝ$ que desaparezca en los reales negativos y sea positiva en los reales positivos (es decir, $c=0$ en $(-\mathrm{\infty },0)$ y $c>0$ en $(0,\mathrm{\infty }),$ donde la continuidad desde la izquierda requiere que $c(0)=0$). Un ejemplo de dicha función es $c(x):=e^{-1/x}$ para $x>0$ y $c(x):=0$ en caso contrario.Plantilla:Sfn Se corrige un subconjunto abierto $U$ de ${ℝ}^n$ y se denota el espacio euclídeo habitual por $\Vert \cdot \Vert$ (de modo que ${ℝ}^n$ está dotado de la distancia euclídea habitual). La siguiente construcción define una función suave $f:{ℝ}^n\to ℝ$ que es positiva en $U$ y desaparece fuera de $U.$Plantilla:Sfn Entonces, en particular, si $U$ es relativamente compacta, entonces esta función $f$ será una función bulto.

Si $U={ℝ}^n$, entonces sea $f=1$, mientras que si $U=\varnothing$, entonces sea $f=0.$ Supóngase que $U$ no es ninguno de estos dos conjuntos. Sea ${\left(U_k\right)}_{k=1}^{\mathrm{\infty }}$ un recubrimiento abierto de $U$ por bolas abiertas, donde la bola abierta $U_k$ tiene radio $r_k>0$ y centro $a_k\in U.$ Entonces, la aplicación $f_k:{ℝ}^n\to ℝ$ definida por $f_k(x)=c(r_k^2-{\Vert x-a_k\Vert }^2)$ es una función suave que es positiva en $U_k$ y desaparece de $U_k.$Plantilla:Sfn

Por cada $k\in \mathbb{N},$ sea

$M_k=\sup \{|\frac{{\partial }^p{f}_k}{{\partial }^{p_1}{x}_1\cdots {\partial }^{p_n}{x}_n}(x)|:x\in {ℝ}^n\text{ y }{p}_1,\dots ,p_n\in \mathbb{Z}\text{ satisface }0\le p_i\le k\text{ y }p=\sum _i{p}_i\},$

cuando este supremo no es igual a $+\mathrm{\infty }$ (por lo que $M_k$ es un número real no negativo) porque $({ℝ}^n\setminus U_k)\cup \overline{U_k}={ℝ}^n,$ todas las derivadas parciales desaparecen (es decir, son iguales a $0$) en cualquier $x$ fuera de $U_k,$ mientras que en el conjunto compacto $\overline{U_k},$ los valores de cada una de las (finitamente muchas) derivadas parciales están (uniformemente) superiormente acotadas por algún número real no negativo.

La serie

$f:=\sum _{k=1}^{\mathrm{\infty }}\frac{f_k}{2^k{M}_k}$

converge uniformemente en ${ℝ}^n$ a una función suave $f:{ℝ}^n\to ℝ$ que es positiva en $U$ y se anula fuera de $U.$Plantilla:Sfn Además, para cualquier número entero no negativo $p_1,\dots ,p_n\in \mathbb{Z},$Plantilla:Sfn

$\frac{{\partial }^{p_1+\cdots +p_n}}{{\partial }^{p_1}{x}_1\cdots {\partial }^{p_n}{x}_n}f=\sum _{k=1}^{\mathrm{\infty }}\frac{1}{2^k{M}_k}\frac{{\partial }^{p_1+\cdots +p_n}{f}_k}{{\partial }^{p_1}{x}_1\cdots {\partial }^{p_n}{x}_n}$

donde esta serie también converge uniformemente en ${ℝ}^n$ (porque siempre que $k\ge p_1+\cdots +p_n,$ entonces el valor absoluto del término $k$^th es $\le \frac{M_k}{2^k{M}_k}=\frac{1}{2^k}$). Esto completa la construcción.

Como corolario, dados dos subconjuntos cerrados disjuntos $A,B$ de ${ℝ}^n,$ la construcción anterior garantiza la existencia de funciones $f_A,f_B:{ℝ}^n\to [0,\mathrm{\infty })$ suaves y no negativas tales que para cualquier $x\in {ℝ}^n,$ $f_A(x)=0$ si y solo si $x\in A,$ y de manera similar, $f_B(x)=0$ si y solo si $x\in B,$ entonces la función

$h:=\frac{f_A}{f_A+f_B}:{ℝ}^n\to [0,1]$

es suave y para cualquier $x\in {ℝ}^n,$ $h(x)=0$ si y solo si $x\in A,$ $h(x)=1$ si y solo si $x\in B,$ y $0<h(x)<1$ si y solo si $x\in ̸A\cup B.$Plantilla:Sfn

En particular, $h(x)\ne 0$ si y solo si $x\in {ℝ}^n\setminus A,$ entonces si además $U:={ℝ}^n\setminus A$ es relativamente compacto en ${ℝ}^n$ (donde $A\cap B=\varnothing$ implica que $B\subseteq U$), entonces $h$ será una función bulto suave con soporte en $\bar{U}.$

Propiedades y usos

Si bien las funciones bulto son suaves, el teorema de identidad prohíbe que sean analíticas a menos que se anulen de manera idéntica. Las funciones bulto se utilizan a menudo como apaciguadores, como funciones de corte suaves y para formar particiones de la unidad suaves. Son la clase más común en la teoría de distribuciones utilizada en el análisis. El espacio de las funciones bulto está cerrado en muchas operaciones. Por ejemplo, la suma, producto o convolución de dos funciones bulto es nuevamente una función bulto, y cualquier operador diferencial con coeficientes suaves, cuando se aplica a una función bulto, producirá otra función bulto.

Si los límites del dominio de la función bulto son $\partial x,$ para cumplir el requisito de "suavidad", debe preservar la continuidad de todas sus derivadas, lo que lleva al siguiente requisito en los límites de su dominio:

$\underset{x\to \partial x^{\pm }}{\lim }\frac{d^n}{d{x}^n}f(x)=0,\text{ para todo }n\ge 0,n\in \mathbb{Z}$

La transformada de Fourier de una función bulto es una función analítica (real) y se puede extender a todo el plano complejo: por lo tanto, no se puede soportar de manera compacta a menos que sea cero, ya que la única función bulto analítica completa es la función cero (véase el teorema de Paley–Wiener) y el teorema de Liouville). Debido a que una función bulto es infinitamente diferenciable, su transformada de Fourier debe decaer más rápido que cualquier potencia finita de $1/k$ para una frecuencia angular grande $|k|.$ La transformada de Fourier de la función bulto particular

$\mathrm{\Psi }(x)=e^{-1/(1-x^2)}{\mathrm{𝟏}}_{\{|x|<1\}}$

vista anteriormente, puede ser analizada mediante el método del punto de silla, y decae asintóticamente como

$|k{|}^{-3/4}{e}^{-\sqrt{|k|}}$

para valores grandes de $|k|.$

Véase también

• Función de corte
• Laplaciano del indicador
• Función suave no analítica
• Espacio de Schwartz

Bibliografía

• Plantilla:Cita libro