Diferencia entre revisiones de «Apaciguador (matemáticas)»
Página creada con «thumb|Un calmante (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 ''calmada'']] En matemáticas, una función '''calmante''' (nombre en inglés: ''mollifier''), también conocida como ''aproximación a la identidad'', son funciones suaves con propiedades especiales, que se ut…» |
(Sin diferencias)
|
Revisión del 11:28 19 ene 2024
En matemáticas, una función calmante (nombre en inglés: mollifier), también conocida como aproximación a la identidad, son funciones suaves con propiedades especiales, que se utilizan, 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 "apaciguarse" al convolucionarla con un calmante, es decir, se obtiene una función con los rasgos angulosos suavizados, pero sin dejar de permanecer cerca de la función (generalizada) original no suave.[1]
También se las conoce como calmantes de Friedrichs en referencia a Kurt Otto Friedrichs, quien ideó este tipo de funciones.[2]
Notas históricas
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 ecuación en derivadas parciales.[3] 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.[4] 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.[3] Flanders era un puritanismo, 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.[5]
Anteriormente, Serguéi Sóbolev usó apaciguadores en su artículo de época de 1938,[6], que contiene la prueba del Sobolev embedding theorem: el propio Friedrichs reconoció el trabajo de Sobolev sobre los apaciguadores afirmando que: - "Estos apaciguadores fueron introducidos por Sobolev y el autor..." .[7]
Cabe señalar que el término "apaciguador" ha pasado por linguistic drift desde la época de estos trabajos fundacionales: Friedrichs definió como "apaciguador" el operador integral cuya kernel es una de las funciones hoy llamadas apaciguadoras. 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 apaciguador como resultado del uso común.
Definición
Definición moderna (basada en distribución)
Definition 1. Si es un función infinitamente diferenciable en ℝn, n ≥ 1, que satisface los siguientes tres requisitos
- (1) es compactly supported[8]
- (2)
- (3)
donde es Delta de Dirac y el límite debe entenderse en el espacio de los distribution de Schwartz, entonces es un apaciguador. La función también podría satisfacer otras condiciones:[9] por ejemplo, si satisface
- (4) ≥ 0 para todo x ∈ ℝn, entonces se llama apaciguador positivo
- (5) = para algunos función infinitamente diferenciable : ℝ+ → ℝ, entonces se llama mollificador simétrico
===Notas sobre la definición de=== de Friedrichs Nota 1. Cuando la teoría de distributions todavía no era ampliamente conocida ni utilizada, la propiedad[10] anterior de (3) se formuló diciendo que el convolución de la función con una función dada perteneciente a un Hilbert adecuado o Espacio de Banach converge como ε → 0 a esa función:[11] esto es exactamente lo que hizo Friedrichs.[12] Esto también aclara por qué los apaciguadores están relacionados con approximate identities.[13]
Nota 2. Como se señaló brevemente en la sección "Historical notes" de esta entrada, originalmente, el término "apaciguador" identificaba el siguiente convolution operator:[13][14]
donde y es un función infinitamente diferenciable que satisface las tres primeras condiciones indicadas anteriormente y una o más condiciones suplementarias como positividad y simetría.
Ejemplo concreto
Considere el función bulto de un variable en ℝn definido por
donde la constante numérica asegura la normalización. Esta función es infinitely differentiable, non analytic y derivada desaparece para |x| = 1. Por lo tanto, puede utilizarse como apaciguador como se describe anteriormente: se puede ver que define un apaciguador positivo y simétrico.[15]
Propiedades
Todas las propiedades de un apaciguador están relacionadas con su comportamiento bajo la operación de convolución: enumeramos las siguientes, cuyas pruebas se pueden encontrar en cada texto sobre distribution theory.[16]
Propiedad de suavizado
Para cualquier distribución , la siguiente familia de convoluciones indexadas por número real
donde denota convolución, es una familia de función infinitamente diferenciable.
Aproximación de identidad
Para cualquier distribución , la siguiente familia de convoluciones indexadas por número real converge a
Soporte de convolución
Para cualquier distribución ,
- ,
donde indica support en el sentido de distribuciones y indica su Suma de Minkowski.
Aplicaciones
La aplicación básica de los apaciguadores es demostrar que las propiedades válidas para función infinitamente diferenciable también lo son en situaciones no fluidas:
Producto de distribuciones
En algunas teorías de generalized function, se utilizan apaciguadores para definir el multiplication of distributions: precisamente, dadas dos distribuciones y , el límite del product de un función infinitamente diferenciable y un distribution
define (si existe) su producto en varios
orías de generalized function.
Teoremas "débil = fuerte"
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 el weak extension. 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
Por convolución del characteristic function del 1-esfera con el función infinitamente diferenciable (definido como en (3) con ), se obtiene la función
que es un función infinitamente diferenciable igual a en , con soporte contenido en . Esto se puede ver fácilmente observando que si ≤ y ≤ entonces ≤ . Por tanto, para ≤ ,
- .
Se puede ver cómo esta construcción se puede generalizar para obtener una función suave idéntica a uno en un neighbourhood de un espacio compacto dado, e igual a cero en cada punto cuyo distancia de este conjunto sea mayor que un dado.[17] Esta función se llama función de corte (suave): esas functions se utilizan para eliminar singularidades de un (generalized) function dado por multiplicación. Dejan sin cambios el valor del (generalized) function y lo multiplican solo sobre un set dado, modificando así su support: también las funciones de corte son las partes básicas de smooth partitions of unity.
Véase también
- Approximate identity
- Función bulto
- Convolución
- Teoría de distribuciones
- Generalized function
- Kurt Otto Friedrichs
- Función suave no analítica
- Serguéi Sóbolev
- Weierstrass transform
Notas
- ↑ Respect to the topología of the given space of generalized functions.
- ↑ See (Friedrichs, 1944, pp. 136–139).
- ↑ a b See the commentary of Peter Lax on the paper (Friedrichs, 1944) in (Friedrichs, 1986, volume 1, p. 117).
- ↑ (Friedrichs, 1986, volume 1, p. 117)
- ↑ In (Friedrichs, 1986, volume 1, p. 117) Lax writes precisely that:-"On English usage Friedrichs liked to consult his friend and colleague, Donald Flanders, a descendant of puritans and a puritan himself, with the highest standard of his own conduct, noncensorious towards others. In recognition of his moral qualities he was called Moll by his friends. When asked by Friedrichs what to name the smoothing operator, Flander sremarked that they could be named mollifier after himself; Friedrichs was delighted, as on other occasions, to carry this joke into print."
- ↑ See (Sobolev, 1938).
- ↑ Friedrichs (1953, p. 196).
- ↑ Such as a función bulto
- ↑ See (Giusti, 1984, p. 11).
- ↑ As when the paper (Friedrichs, 1944) was published, few years before Laurent Schwartz widespread his work.
- ↑ Obviously the topología with respect to convergence occurs is the one of the Hilbert or Espacio de Banach considered.
- ↑ See (Friedrichs, 1944, pp. 136–138), properties PI, PII, PIII and their consequence PIII0.
- ↑ a b Also, in this respect, Friedrichs (1944, pp. 132) says:-"The main tool for the proof is a certain class of smoothing operators approximating unity, the "mollifiers".
- ↑ See (Friedrichs, 1944, p. 137), párrafo 2, "Integral operators".
- ↑ See (Hörmander, 1990, p. 14), lemma 1.2.3.: the example is stated in implicit form by first defining
- for ,
- for .
- ↑ See for example (Hörmander, 1990).
- ↑ A proof of this fact can be found in (Hörmander, 1990, p. 25), Theorem 1.4.1.
Referencias
- Friedrichs, Kurt Otto (January 1944), «The identity of weak and strong extensions of differential operators», Transactions of the American Mathematical Society 55 (1): 132-151, JSTOR 1990143, MR 0009701, Zbl 0061.26201, doi:10.1090/S0002-9947-1944-0009701-0.. El primer artículo donde se introdujeron los apaciguadores.
- Friedrichs, Kurt Otto (1953), «On the differentiability of the solutions of linear elliptic differential equations», Communications on Pure and Applied Mathematics VI (3): 299-326, MR 0058828, Zbl 0051.32703, doi:10.1002/cpa.3160060301, archivado desde el original el 5 de enero de 2013.. Un artículo donde se investiga el differentiability de soluciones de ecuación diferencial parcial elíptica mediante el uso de suavizadores.
- Friedrichs, Kurt Otto (1986), Morawetz, Cathleen S., ed., Selecta, Contemporary Mathematicians, Boston-Basilea-Stuttgart: Birkhäuser Verlag, pp. 427 (Vol. 1); pp. 608 (Vol. 2), ISBN 0-8176-3270-0, Zbl 0613.01020.. Una selección de las obras de Friedrichs con una biografía y comentarios de David Isaacson, Fritz John, Tosio Kato, Peter Lax, Louis Nirenberg, Wolfgag Wasow, Harold Weitzner.
- Giusti, Enrico (1984), Minimal surfaces and functions of bounded variations, Monographs in Mathematics 80, Basilea-Boston-Stuttgart: Birkhäuser Verlag, pp. xii+240, ISBN 0-8176-3153-4, MR 0775682, Zbl 0545.49018..
- Hörmander, Lars (1990), The analysis of linear partial differential operators I, Grundlehren der Mathematischen Wissenschaft 256 (2nd edición), Berlín-Heidelberg-New York: Springer Science+Business Media, ISBN 0-387-52343-X, MR 1065136, Zbl 0712.35001..
- Sobolev, Sergei L. (1938), «Sur un théorème d'analyse fonctionnelle», Recueil Mathématique (Matematicheskii Sbornik) (en russian, French), 4(46) (3): 471-497, Zbl 0022.14803.. El artículo donde Sergei Sobolev demostró su embedding theorem, introduciendo y usando operador integral muy similares a los apaciguadores, sin nombrarlos.