Ir al contenido

Apaciguador (matemáticas)

De Wikipedia, la enciclopedia libre
Un apaciguador (arriba) en dimensión uno. En la parte inferior, en rojo hay una función con una esquina (izquierda) y un salto brusco (derecha), y en azul está su versión apaciguada

En matemáticas, un apaciguador (nombre original en inglés: mollifier),[1]​ también conocido como aproximación a la identidad, es una función suave con propiedades especiales, que se utiliza, por ejemplo, en la teoría de distribuciones para crear sucesiones de funciones suaves que se aproximan a funciones (generalizadas) no suaves, mediante convolución. Intuitivamente, dada una función que sea bastante irregular, puede "suavizarse" al convolucionarla con un apaciguador, es decir, se obtiene una función con los rasgos angulosos suavizados, pero sin dejar de permanecer cerca de la función (generalizada) original que no es suave.[2]

A estas funciones también se las conoce como apaciguadores de Friedrichs en referencia a Kurt Otto Friedrichs, el matemático que las ideó.[3]

Notas históricas

[editar]

Kurt Otto Friedrichs introdujo los apaciguadores en su artículo (Friedrichs, 1944, pp. 136–139), que se considera un hito en la teoría moderna de las ecuaciones en derivadas parciales.[4]​ El nombre de este objeto matemático tuvo una génesis curiosa, y Peter Lax cuenta toda la historia en su comentario sobre ese artículo publicado en la "Selecta" de Friedrichs.[5]​ Según él, en aquella época, el matemático Donald Alexander Flanders era colega de Friedrichs: como le gustaba consultar a sus colegas sobre el uso del inglés, le pidió consejo a Flanders sobre cómo nombrar el operador de suavizado que estaba utilizando.[4]​ Flanders era un puritano, apodado por sus amigos Moll en honor a Moll Flanders en reconocimiento a sus cualidades morales: sugirió llamar al nuevo concepto matemático "apaciguador" como un juego de palabras que incorpora tanto el apodo de Flanders como el verbo to mollify, que significa 'suavizar' en sentido figurado.[6]

Anteriormente, Serguéi Sóbolev usó apaciguadores en su artículo de época de 1938,[7]​, que contiene la prueba del teorema de embebido de Sobolev: el propio Friedrichs reconoció el trabajo de Sobolev sobre los apaciguadores, afirmando que: - "Estos apaciguadores fueron introducidos por Sobolev y el autor..." .[8]

Cabe señalar que el término apaciguador ha experimentado una deriva lingüística desde la época de estos trabajos fundacionales: Friedrichs definió como "apaciguador" al operador integral cuyo núcleo es una de las funciones hoy llamadas apaciguadores. Sin embargo, dado que las propiedades de un operador integral lineal están completamente determinadas por su núcleo, el núcleo mismo heredó el nombre de apaciguador como resultado de su uso común.

Definición

[editar]
Una función en proceso de apaciguamiento progresivo

Definición moderna (basada en la teoría de la distribución)

[editar]

Definition 1. Si es una función suave en ℝn, n ≥ 1, que satisface los siguientes tres requisitos

(1)   Es compactamente soportada[9]
(2)  
(3)  

donde es la delta de Dirac y el límite debe entenderse en el espacio de distribuciones de Schwartz, entonces es un apaciguador. La función también podría satisfacer otras condiciones:[10]​ por ejemplo, si satisface

(4)   ≥ 0 para todo x ∈ ℝn, entonces se llama apaciguador positivo
(5)  = para algunas funciones suaves  : ℝ+ → ℝ, entonces se llama apaciguador simétrico

Notas sobre la definición de Friedrichs

[editar]

Nota 1. Cuando la teoría de distribuciones todavía no era ampliamente conocida ni utilizada, la propiedad[11]​ anterior de (3) se formuló diciendo que la convolución de la función con una función dada perteneciente a un espacio de Hilbert propio o a un espacio de Banach converge como ε → 0 a esa función:[12]​ esto es exactamente lo que hizo Friedrichs.[13]​ Del mismo modo, esta circunstancia también aclara por qué los apaciguadores están relacionados con las identidades aproximadas.[14]

Nota 2. Como se señaló brevemente en la sección de "Notas históricas" de esta entrada, originalmente, el término "apaciguador" identificaba el siguiente operador de convolución:[14][15]

donde y es una función suave que satisface las tres primeras condiciones indicadas anteriormente y una o más condiciones suplementarias, como positividad y simetría.

Ejemplo concreto

[editar]
La función en dimensión uno

Considérese la función bulto de un variable en ℝn definida por

donde la constante numérica asegura la normalización. Esta función es Infinitamente diferenciable, pero no analítica, y su derivada se anula para |x| = 1. Por lo tanto, puede utilizarse como apaciguador tal como se describe anteriormente: se puede ver que define un apaciguador positivo y simétrico.[16]

Propiedades

[editar]

Todas las propiedades de un apaciguador están relacionadas con su comportamiento bajo la operación de convolución: se enumeran las siguientes, cuyas demostraciones se pueden encontrar en distintos textos sobre teoría de distribuciones.[17]

Propiedad de suavizado

[editar]

Para cualquier distribución , la siguiente familia de convoluciones indexadas por números reales

donde denota una convolución, es una familia de funciones suaves.

Aproximación de identidad

[editar]

Para cualquier distribución , la siguiente familia de convoluciones indexadas por números reales converge a

Soporte de convolución

[editar]

Para cualquier distribución ,

,

donde indica un soporte en el sentido de la teoría de distribuciones, y indica su suma de Minkowski.

Aplicaciones

[editar]

La aplicación básica de los apaciguadores es demostrar que las propiedades válidas para las funciones suaves también lo son para casos en los que no se verifica esta propiedad:

Producto de distribuciones

[editar]

En algunas teorías de funciones generalizadas, se utilizan apaciguadores para definir la multiplicación de distribuciones: precisamente, dadas dos distribuciones y , el límite del producto de una función suave y una distribución

define (si existe) su producto en varias funciones generalizadas.

Teoremas "débil=fuerte"

[editar]

De manera muy informal, los apaciguadores se utilizan para demostrar la identidad de dos tipos diferentes de extensión de operadores diferenciales: la extensión fuerte y la extensión débil. El artículo (Friedrichs, 1944) ilustra bastante bien este concepto. Sin embargo, la gran cantidad de detalles técnicos necesarios para mostrar lo que esto realmente significa impiden que se detallen formalmente en esta breve descripción.

Funciones de corte suaves

[editar]

Por convolución de la función característica de la bola unitaria con la función suave (definida como en (3) con ), se obtiene la función

que es un suave e igual a en , con soporte contenido en . Esto se puede ver fácilmente observando que si y , entonces . Por lo tanto, para ,

.

Se ve cómo esta construcción se puede generalizar para obtener una función suave idéntica a uno en un entorno de un conjunto compacto dado, e igual a cero en cada punto cuya distancia a este conjunto sea mayor que un dado.[18]​ Esta función se llama función de corte (suave): esas funciones se utilizan para eliminar singularidades de una función ((generalizada)) dada por multiplicación. Dejan sin cambios el valor de la mencionada función y lo multiplican solo sobre un Conjunto dado, modificando así su soporte: también las funciones de corte son las partes básicas de particiones de la unidad suaves.

Véase también

[editar]

Referencias

[editar]
  1. También podría traducirse por el término emoliente, con el sentido de ablandante o suavizante; y que además, guarda un cierto parecido fonético con la forma inglesa.
  2. Respeto a la topología del espacio dado de funciones generalizadas.
  3. See (Friedrichs, 1944, pp. 136–139).
  4. a b Véase el comentario de Peter Lax on the paper (Friedrichs, 1944) en (Friedrichs, 1986, volume 1, p. 117).
  5. (Friedrichs, 1986, volume 1, p. 117)
  6. In (Friedrichs, 1986, volume 1, p. 117) Lax escribe precisamente eso: "Sobre el uso del inglés, a Friedrichs le gustaba consultar a su amigo y colega, Donald Flanders, descendiente de puritanos y puritano él mismo, con el más alto nivel de conducta, sin censura hacia los demás. En reconocimiento a sus cualidades morales, sus amigos lo llamaban Moll. Cuando Friedrichs le preguntó cómo llamar al alisador, Flander respondió que podrían llamarlo mollifier en su honor; Friedrichs se alegró, como en otras ocasiones, de aceptar este juego de palabras."
  7. Véase (Sobolev, 1938).
  8. Friedrichs (1953, p. 196).
  9. Tal como una función bulto
  10. Véase (Giusti, 1984, p. 11).
  11. Como cuando se publicó el artículo (Friedrichs, 1944), pocos años antes Laurent Schwartz difundió su obra.
  12. Evidentemente la topología respecto a la convergencia que se da es la del espacio de Hilbert o el espacio de Banach considerado.
  13. Véase (Friedrichs, 1944, pp. 136–138), propiedades PI, PII, PIII y su consecuencia PIII0.
  14. a b Además, a este respecto, Friedrichs (1944, pp. 132) dice:-"La herramienta principal para la demostración es una cierta clase de operadores de suavizado que se aproximan a la unidad, los "apaciguadores".
  15. Véase (Friedrichs, 1944, p. 137), párrafo 2, "Integral operators".
  16. Véase (Hörmander, 1990, p. 14), lema 1.2.3.: el ejemplo se establece en forma implícita definiendo primero
    para ,
    y luego considerando
    for .
  17. Véase por ejemplo (Hörmander, 1990).
  18. Una demostración de este hecho se puede encontrar en (Hörmander, 1990, p. 25), Teorema 1.4.1.

Bibliografía

[editar]