Las distribuciones se utilizan ampliamente en la teoría de ecuaciones diferenciales parciales , donde puede ser más fácil establecer la existencia de soluciones distribucionales ( soluciones débiles ) que las soluciones clásicas , o donde pueden no existir soluciones clásicas apropiadas. Las distribuciones también son importantes en física e ingeniería , donde muchos problemas conducen naturalmente a ecuaciones diferenciales cuyas soluciones o condiciones iniciales son singulares, como la función delta de Dirac .
Normalmente se piensa que una función actúa sobre los puntos en el dominio de la función "enviando" un punto en el dominio al punto. En lugar de actuar sobre los puntos, la teoría de la distribución reinterpreta funciones como si actuaran sobre funciones de prueba de cierta manera. En aplicaciones a la física y la ingeniería, las funciones de prueba suelen ser funciones de valores complejos (o de valores reales ) infinitamente diferenciables con soporte compacto que se definen en algún subconjunto abierto no vacío determinado . ( Las funciones de respuesta son ejemplos de funciones de prueba). El conjunto de todas estas funciones de prueba forma un espacio vectorial que se denota por o
Las funciones más comunes, incluidos todos los mapas continuos , si se usan, se pueden reinterpretar canónicamente como si actuaran a través de una " integración contra una función de prueba". Explícitamente, esto significa que dicha función "actúa sobre" una función de prueba "enviándola" al número que a menudo se denota por Esta nueva acción de define un mapa con valores escalares cuyo dominio es el espacio de funciones de prueba. Esta función resulta tener las dos propiedades definitorias de lo que se conoce como distribución : es lineal y también es continua cuando se le da una determinada topología llamada topología canónica LF . La acción (la integración ) de esta distribución sobre una función de prueba se puede interpretar como un promedio ponderado de la distribución sobre el soporte de la función de prueba, incluso si los valores de la distribución en un solo punto no están bien definidos. Distribuciones como ésta que surgen de funciones de esta manera son ejemplos prototípicos de distribuciones, pero existen muchas distribuciones que no pueden definirse mediante integración con ninguna función. Ejemplos de esto último incluyen la función delta de Dirac y distribuciones definidas para actuar mediante la integración de funciones de prueba contra ciertas medidas . Sin embargo, siempre es posible reducir cualquier distribución arbitraria a una familia más simple de distribuciones relacionadas que surgen a través de tales acciones de integración.
De manera más general, una distribución on es, por definición, una funcional lineal que es continua cuando se le da una topología llamada topología LF canónica . Esto lleva al espacio de (todas) las distribuciones en , generalmente denotado por (obsérvese el primo ), que por definición es el espacio de todas las distribuciones en (es decir, es el espacio dual continuo de ); Son estas distribuciones las que son el foco principal de este artículo.
El uso práctico de las distribuciones se remonta al uso de las funciones de Green en la década de 1830 para resolver ecuaciones diferenciales ordinarias, pero no se formalizó hasta mucho más tarde. Según Kolmogorov y Fomin (1957), las funciones generalizadas se originaron en el trabajo de Sergei Sobolev (1936) sobre ecuaciones diferenciales parciales hiperbólicas de segundo orden , y las ideas fueron desarrolladas de forma algo ampliada por Laurent Schwartz a finales de la década de 1940. Según su autobiografía, Schwartz introdujo el término "distribución" por analogía con la distribución de carga eléctrica, incluyendo posiblemente no sólo cargas puntuales sino también dipolos, etc. Gårding (1997) comenta que si bien las ideas contenidas en el libro transformador de Schwartz (1951) no eran enteramente nuevas, lo que marcó la diferencia fue el amplio ataque y la convicción de Schwartz de que las distribuciones serían útiles en casi todas partes del análisis.
Notación
A lo largo de este artículo se utilizará la siguiente notación:
Para dos funciones, la siguiente notación define un emparejamiento canónico :
Un índice múltiple de tamaño es un elemento en (dado que es fijo, si se omite el tamaño de los índices múltiples, se debe suponer que el tamaño es ). La longitud de un índice múltiple se define y se denota como Los índices múltiples son particularmente útiles cuando se trata de funciones de varias variables; en particular, introducimos las siguientes notaciones para un índice múltiple dado : También introducimos un orden parcial de todos índices múltiples por si y solo si para todos Cuando definimos su coeficiente binomial de índices múltiples como:
Definiciones de funciones y distribuciones de prueba.
En esta sección, se introducen algunas nociones y definiciones básicas necesarias para definir distribuciones de valores reales en U. En el artículo sobre espacios de funciones y distribuciones de prueba se ofrece más información sobre las topologías de los espacios de funciones y distribuciones de prueba .
Para cualquier subconjunto compacto, sea y ambos denoten el espacio vectorial de todas aquellas funciones tales que
Si entonces el dominio de es U y no K. Entonces, aunque depende tanto de K como de U , normalmente solo se indica K. La justificación de esta práctica común se detalla a continuación. La notación sólo se utilizará cuando exista riesgo de ser ambigua.
Cada contiene el mapa constante 0 , incluso si
Denotemos el conjunto de todos los tales que para algún subconjunto compacto K de U .
De manera equivalente, es el conjunto de todos los que tienen soporte compacto.
es igual a la unión de todos los rangos de todos los subconjuntos compactos de
Si es una función de valor real en , entonces es un elemento de si y solo si es una función de aumento . Cada función de prueba de valor real en es también una función de prueba de valor complejo en
La gráfica de la función de impacto donde y Esta función es una función de prueba y es un elemento de El soporte de esta función es el disco unitario cerrado en Es distinto de cero en el disco unitario abierto y es igual a 0 en todas partes fuera de él.
Para todos y cada uno de los subconjuntos compactos y de , tenemos:
Definición : Los elementos de se denominan funciones de prueba en U y se denomina espacio de funciones de prueba en U. Usaremos ambos y para denotar este espacio.
Las distribuciones en U son funcionales lineales continuas cuando este espacio vectorial está dotado de una topología particular llamada topología LF canónica . La siguiente proposición establece dos condiciones necesarias y suficientes para la continuidad de una función lineal que a menudo son sencillas de verificar.
Proposición : Una funcional lineal T on es continua, y por tanto una distribución , si y sólo si se satisface alguna de las siguientes condiciones equivalentes:
Para cada subconjunto compacto existen constantes y (dependientes de ) tales que para todos los que tienen soporte contenido en , [1] [2]
Para cada subconjunto compacto y cada secuencia en cuyos soportes están contenidos , si converge uniformemente a cero para cada índice múltiple , entonces
Topología endok(Ud.)
Ahora presentamos las seminormas que definirán la topología. A veces, diferentes autores utilizan diferentes familias de seminormas, por lo que a continuación enumeramos las familias más comunes. Sin embargo, la topología resultante es la misma sin importar qué familia se utilice.
Supongamos que and es un subconjunto compacto arbitrario de Supongamos que es un número entero tal que [nota 1] and es un índice múltiple con longitud For y define:
mientras que para definir todas las funciones anteriores como el mapa 0 constante .
Cada uno de los siguientes conjuntos de seminormas
genera la misma topología vectorial localmente convexa en (por ejemplo, la topología generada por las seminormas en es igual a la topología generada por las de ).
El espacio vectorial está dotado de la topología localmente convexa inducida por cualquiera de las cuatro familias de seminormas descritas anteriormente. Esta topología también es igual a la topología vectorial inducida por todas las seminormas en
Con esta topología, se convierte en un espacio de Fréchet localmente convexo que no es normable . Cada elemento de es una seminorma continua en
Bajo esta topología, una red en converge a si y sólo si para cada índice múltiple con y cada compacto la red de derivadas parciales converge uniformemente a on [3] Para cualquier cualquier (von Neumann) acotado el subconjunto de es un subconjunto relativamente compacto de [4] En particular, un subconjunto de está acotado si y sólo si está acotado para todos [4] El espacio es un espacio de Montel si y sólo si [5]
Un subconjunto de es abierto en esta topología si y sólo si existe tal que esté abierto cuando esté dotado de la topología subespacial inducida sobre él por
Topología endok(k)
Como antes, corrija. Recuerde que si es cualquier subconjunto compacto de entonces
Extensiones triviales e independencia dedok(k) la topología deUd.
Supongamos que es un subconjunto abierto de y es un subconjunto compacto. Por definición, los elementos de son funciones con dominio (en símbolos, ), por lo que el espacio y su topología dependen de para dejar clara esta dependencia del conjunto abierto , denotado temporalmente por
Es importante destacar que cambiar el conjunto a un subconjunto abierto diferente (con ) cambie el conjunto de a [nota 3] para que los elementos de sean funciones con dominio en lugar de
A pesar de que dependiendo del conjunto abierto ( ), la notación estándar para no lo menciona. Esto se justifica porque, como se explicará ahora en esta subsección, el espacio se identifica canónicamente como un subespacio de (tanto algebraica como topológicamente).
Basta explicar cómo identificarse canónicamente cuando uno de y es un subconjunto del otro. La razón es que si y son subconjuntos abiertos arbitrarios de contención, entonces el conjunto abierto también contiene , de modo que cada uno de y se identifica canónicamente con y ahora por transitividad, por lo tanto se identifica con.
Entonces, supongamos que son subconjuntos abiertos de contención
Dada su extensión trivial a es la función definida por:
Esta extensión trivial pertenece a (porque tiene soporte compacto) y se denotará por (es decir, ). Por lo tanto, la asignación induce un mapa que envía una función a su extensión trivial en Este mapa es una inyección lineal y para cada subconjunto compacto (donde también es un subconjunto compacto de desde ),
si se restringe a entonces el siguiente mapa lineal inducido es un homeomorfismo (los homeomorfismos lineales se denominan isomorfismos TVS ):
y, por lo tanto, el siguiente mapa es una incrustación topológica :
mediante la inyección ,
el espacio vectorial se identifica canónicamente con su imagen en Porque a través de esta identificación, también se puede considerar como un subconjunto de
Por lo tanto, la topología on es independiente del subconjunto abierto de que contiene [7] lo que justifica la práctica de escribir en lugar de
Topología canónica LF
Recuerde que denota todas las funciones que tienen soporte compacto en donde tenga en cuenta que es la unión de todos los rangos sobre todos los subconjuntos compactos de Además, cada uno es un subconjunto denso de El caso especial cuando nos da el espacio de funciones de prueba.
Se llama espacio de funciones de prueba y también puede denotarse por A menos que se indique lo contrario, está dotado de una topología llamada topología canónica LF , cuya definición se da en el artículo: Espacios de funciones y distribuciones de prueba .
Por definición, una distribución on es un funcional lineal continuo on. Dicho de otra manera, una distribución on es un elemento del espacio dual continuo de cuando está dotado de su topología LF canónica.
Se interpreta esta notación como la distribución que actúa sobre la función de prueba para dar un escalar, o simétricamente como la función de prueba que actúa sobre la distribución.
Caracterizaciones de distribuciones.
Proposición. Si es un funcional lineal , entonces los siguientes son equivalentes:
explícitamente, para cada Mackey la secuencia nula convergente de la secuencia está acotada;
se dice que una secuencia es Mackey convergente al origen si existe una secuencia divergente de números reales positivos tal que la secuencia esté acotada; toda secuencia que sea Mackey convergente al origen necesariamente converge al origen (en el sentido habitual);
El núcleo de T es un subespacio cerrado de
La gráfica de T es cerrada;
Existe una seminorma continua tal que
Existe un subconjunto constante y finito (donde está cualquier colección de seminormas continuas que define la topología canónica de LF en ) tal que [nota 6]
Para cada subconjunto compacto existen constantes tales que para todos [1]
Para cada subconjunto compacto existen constantes tales que para todos los que tienen soporte contenido en [10]
Para cualquier subconjunto compacto y cualquier secuencia en si converge uniformemente a cero para todos los índices múltiples, entonces
Topología sobre el espacio de distribuciones y su relación con la topología débil-*
El conjunto de todas las distribuciones on es el espacio dual continuo del cual, cuando está dotado de la topología dual fuerte, se denota como Es importante destacar que, a menos que se indique lo contrario, la topología on es la topología dual fuerte ; si la topología es, en cambio, la topología débil-* , se indicará esto. Ninguna topología es metrizable aunque, a diferencia de la topología débil*, la topología dual fuerte se convierte en un espacio nuclear completo , por nombrar sólo algunas de sus propiedades deseables.
Ni su dual fuerte ni su dual son un espacio secuencial y, por lo tanto, ninguna de sus topologías puede describirse completamente mediante secuencias (en otras palabras, definir solo qué secuencias convergen en estos espacios no es suficiente para definir completa/correctamente sus topologías). Sin embargo, una secuencia en converge en la topología dual fuerte si y sólo si converge en la topología débil-* (esto lleva a muchos autores a usar la convergencia puntual para definir la convergencia de una secuencia de distribuciones; esto está bien para secuencias, pero es no se garantiza que se extienda a la convergencia de redes de distribuciones porque una red puede converger puntualmente pero no converge en la topología dual fuerte). Más información sobre la topología de la que está dotado se puede encontrar en el artículo sobre espacios de funciones de prueba y distribuciones y los artículos sobre topologías polares y sistemas duales .
No hay forma de definir el valor de una distribución en un punto particular de U. Sin embargo, como es el caso con las funciones, las distribuciones en U se restringen a dar distribuciones en subconjuntos abiertos de U. Además, las distribuciones se determinan localmente en el sentido de que se puede ensamblar una distribución en todo U a partir de una distribución en una cubierta abierta de U que satisfaga algunas condiciones de compatibilidad en los solapamientos. Esta estructura se conoce como gavilla .
Extensiones y restricciones a un subconjunto abierto
Sean subconjuntos abiertos de
Cada función se puede extender en cero desde su dominio V a una función en U igualándola a en el complemento. Esta extensión es una función suave y compactamente soportada llamada extensión trivial de a y se denotará por
This La asignación define el operador de extensión trivial
que es un mapa lineal inyectivo continuo. Se utiliza para identificar canónicamente como un subespacio vectorial de (aunque no como un subespacio topológico ). Su transpuesta (explicada aquí)
se llamarestricción de distribuciones en [11]y como su nombre indica, la imagende una distribuciónbajo este mapa es una distribuciónllamadarestricción deLacondición definitoria de la restricciónes:
Sientonces el mapa de extensión trivial (lineal inyectivo continuo)noesuna incrustación topológica (en otras palabras, si esta inyección lineal se usara para identificarcomo un subconjunto deentoncesseríaestrictamente más finaque latopología subespacialqueinduce en él; lo que es más importante,nounsubespacio topológicoya que eso requiere igualdad de topologías) y su rango tampoco esdensoen sucodominio[11]En consecuencia, sientonces el mapeo de restricción no es ni inyectivo ni sobreyectivo.[11]una distribuciónesextensible a U si pertenece al rango de la transpuesta dey se llamaextensiblesi es extensible a[11]
A menos que la restricción a V no sea ni inyectiva ni sobreyectiva . Se produce una falta de sobreyectividad , ya que las distribuciones pueden explotar hacia el límite de V. Por ejemplo, si y entonces la distribución
está en pero no admite extensión a
Pegados y distribuciones que se desvanecen en un conjunto.
Teorema [12] - Sea una colección de subconjuntos abiertos de For each let y supongamos que para todos la restricción de to es igual a la restricción de to (tenga en cuenta que ambas restricciones son elementos de ). Entonces existe un único tal que para toda la restricción de T to es igual a
Sea V un subconjunto abierto de U. se dice que desaparece en V si para todo lo que tenemos T desaparece en V si y sólo si la restricción de T a V es igual a 0, o de manera equivalente, si y sólo si T se encuentra en el núcleo del mapa de restricción
Corolario [12] — Sea una colección de subconjuntos abiertos de y sea si y solo si para cada uno la restricción de T to es igual a 0.
Corolario [12] - La unión de todos los subconjuntos abiertos de U en los que una distribución T desaparece es un subconjunto abierto de U en el que T desaparece.
Soporte de una distribución.
Este último corolario implica que para cada distribución T en U , existe un único subconjunto más grande V de U tal que T desaparece en V (y no desaparece en ningún subconjunto abierto de U que no esté contenido en V ); el complemento en U de este único subconjunto abierto más grande se llama soporte de T. [12] Así
Si es una función localmente integrable en U y si es su distribución asociada, entonces el soporte de es el subconjunto cerrado más pequeño de U en cuyo complemento es casi en todas partes igual a 0. [12] Si es continuo, entonces el soporte de es igual al cierre del conjunto de puntos en U en el que no desaparece. [12] El soporte de la distribución asociada a la medida de Dirac en un punto es el conjunto [12] Si el soporte de una función de prueba no intersecta el soporte de una distribución T entonces una distribución T es 0 si y sólo si su soporte está vacío. Si es idénticamente 1 en algún conjunto abierto que contiene el soporte de una distribución T , entonces si el soporte de una distribución T es compacto, entonces tiene orden finito y hay una constante y un entero no negativo tal que: [7]
Si T tiene soporte compacto, entonces tiene una extensión única a un funcional lineal continuo en ; esta función se puede definir por dónde está cualquier función que sea idénticamente 1 en un conjunto abierto que contenga el soporte de T. [7]
Si y entonces y Por lo tanto, las distribuciones con soporte en un subconjunto dado forman un subespacio vectorial de [13] Además, si es un operador diferencial en U , entonces para todas las distribuciones T en U y todas tenemos y [13]
Distribuciones con soporte compacto
Apoyo en un set de puntos y medidas de Dirac
Para cualquier, denotemos la distribución inducida por la medida de Dirac en Para cualquier distribución, el soporte de T está contenido en si y sólo si T es una combinación lineal finita de derivadas de la medida de Dirac en [14] Si además el orden de T entonces existen constantes tales que: [15]
Dicho de otra manera, si T tiene apoyo en un solo punto , entonces T es de hecho una combinación lineal finita de derivadas distributivas de la función en P. Es decir, existe un número entero m y constantes complejas tales que
donde está el operador de traducción.
Distribución con soporte compacto
Teorema [7] — Supongamos que T es una distribución en U con soporte compacto K. Existe una función continua definida en U y un índice múltiple p tal que
las derivadas se entienden en el sentido de distribuciones. Es decir, para todas las funciones de prueba en U ,
Distribuciones de orden finito con soporte en un subconjunto abierto
Teorema [7] - Supongamos que T es una distribución en U con soporte compacto K y sea V un subconjunto abierto de U que contiene K. Dado que toda distribución con soporte compacto tiene orden finito, tome N como el orden de T y defina Existe una familia de funciones continuas definidas en U con soporte en V tal que
las derivadas se entiendan en el sentido de distribuciones. Es decir, para todas las funciones de prueba en U ,
Estructura global de distribuciones.
La definición formal de distribuciones las muestra como un subespacio de un espacio muy grande, es decir, el dual topológico de (o el espacio de Schwartz para distribuciones templadas). De la definición no queda inmediatamente claro cuán exótica podría ser una distribución. Para responder a esta pregunta, resulta instructivo ver distribuciones construidas a partir de un espacio más pequeño, es decir, el espacio de funciones continuas. En términos generales, cualquier distribución es localmente una derivada (múltiple) de una función continua. Una versión precisa de este resultado, que se proporciona a continuación, es válida para distribuciones de soporte compacto, distribuciones templadas y distribuciones generales. En términos generales, ningún subconjunto propio del espacio de distribuciones contiene todas las funciones continuas y está cerrado bajo diferenciación. Esto significa que las distribuciones no son objetos particularmente exóticos; son tan complicados como sea necesario.
Teorema [16] — Sea T una distribución en U. Existe una secuencia tal que cada Ti tiene soporte compacto y cada subconjunto compacto interseca el soporte de solo un número finito y la secuencia de sumas parciales definida por converge en T ; en otras palabras tenemos:
Recuerde que una secuencia converge (con su fuerte topología dual) si y sólo si converge puntualmente.
Descomposición de distribuciones como sumas de derivadas de funciones continuas.
Combinando los resultados anteriores, se puede expresar cualquier distribución en U como la suma de una serie de distribuciones con soporte compacto, donde cada una de estas distribuciones puede a su vez escribirse como una suma finita de derivadas distributivas de funciones continuas en U. En otras palabras, para arbitrario podemos escribir:
donde hay conjuntos finitos de índices múltiples y las funciones son continuas.
Teorema [17] — Sea T una distribución en U. Para cada índice múltiple p existe una función continua en U tal que
cualquier subconjunto compacto K de U interseca el soporte de sólo un número finito y
Además, si T tiene orden finito, entonces se puede elegir de tal manera que sólo un número finito de ellos sean distintos de cero.
Tenga en cuenta que la suma infinita anterior está bien definida como una distribución. El valor de T para un dado se puede calcular usando los números finitos que intersecan el soporte de
Operaciones sobre distribuciones.
Muchas operaciones que se definen en funciones fluidas con soporte compacto también se pueden definir para distribuciones. En general, si es un mapa lineal que es continuo con respecto a la topología débil , entonces no siempre es posible extenderlo a un mapa mediante teoremas de extensión clásicos de topología o análisis funcional lineal. [nota 7] La extensión “distributiva” del operador lineal continuo A anterior es posible si y sólo si A admite un adjunto de Schwartz, es decir, otro operador lineal continuo B del mismo tipo tal que , para cada par de funciones de prueba. En esa condición, B es única y la extensión A' es la transpuesta del adjunto B de Schwartz. [ cita necesaria ] [18] [ aclaración necesaria ]
Preliminares: Transposición de un operador lineal
Las operaciones sobre distribuciones y espacios de distribuciones a menudo se definen mediante la transposición de un operador lineal. Esto se debe a que la transpuesta permite una presentación unificada de las muchas definiciones de la teoría de distribuciones y también a que sus propiedades son bien conocidas en el análisis funcional . [19] Por ejemplo, el conocido adjunto hermitiano de un operador lineal entre espacios de Hilbert es solo la transpuesta del operador (pero con el teorema de representación de Riesz utilizado para identificar cada espacio de Hilbert con su espacio dual continuo ). En general, la transpuesta de una aplicación lineal continua es la aplicación lineal
o, equivalentemente, es la aplicación única que satisface para todos y todos (el símbolo primo en no denota una derivada de ningún tipo; simplemente indica que es un elemento de la aplicación). espacio dual continuo ). Como es continua, la transpuesta también lo es cuando ambos duales están dotados de sus respectivas topologías duales fuertes ; también es continuo cuando ambos duales están dotados de sus respectivas topologías débiles* (consulte los artículos topología polar y sistema dual para obtener más detalles).
En el contexto de las distribuciones, la caracterización de la transpuesta se puede refinar ligeramente. Sea un mapa lineal continuo. Entonces, por definición, la transpuesta de es el único operador lineal que satisface:
Dado que es denso en (aquí, en realidad se refiere al conjunto de distribuciones ), es suficiente que la igualdad definitoria se cumpla para todas las distribuciones de la forma donde. Explícitamente, esto significa que un mapa lineal continuo es igual a si y solo si se cumple la siguiente condición. :
donde el lado derecho es igual
Operadores diferenciales
Diferenciación de distribuciones.
Sea el operador de derivada parcial. Para extender calculamos su transpuesta:
Por lo tanto, la derivada parcial de con respecto a la coordenada está definida por la fórmula
Con esta definición, toda distribución es infinitamente diferenciable y la derivada en la dirección es un operador lineal en
De manera más general, si es un índice múltiple arbitrario , entonces la derivada parcial de la distribución se define por
La diferenciación de distribuciones es un operador continuo; esta es una propiedad importante y deseable que no es compartida por la mayoría de las otras nociones de diferenciación.
Si es una distribución en entonces
donde es la derivada de y es una traducción de por tanto, la derivada de puede verse como un límite de cocientes. [20]
Operadores diferenciales que actúan sobre funciones suaves.
Un operador diferencial lineal con coeficientes suaves actúa en el espacio de funciones suaves. Dado tal operador,
nos gustaría definir un mapa lineal continuo, que extienda la acción de on a distribuciones en. En otras palabras, nos gustaría definir tal que el siguiente diagrama conmuta :
donde los mapas verticales se dan asignando su distribución canónica que está definida por:
Con esta notación, el diagrama conmuta equivale a:
En el siguiente lema se considera encontrar la transpuesta del mapa inducido continuo definido por . Esto lleva a la siguiente definición del operador diferencial llamado cuya transposición formal se denotará por para evitar confusión con el mapa de transposición, que se define por
Lema : Sea un operador diferencial lineal con coeficientes suaves en Entonces, para todo lo que tenemos
, es equivalente a:
El Lema combinado con el hecho de que la transpuesta formal de la transpuesta formal es el operador diferencial original, es decir, [21] nos permite llegar a la definición correcta: la transpuesta formal induce el operador lineal canónico (continuo) definido por Afirmamos que la transposición de este mapa, se puede tomar como Para ver esto, para cada uno calcula su acción sobre una distribución de la forma con :
Al operador lineal continuo lo llamamos operador diferencial en distribuciones que se extienden . [21] Su acción sobre una distribución arbitraria se define mediante:
Si converge a entonces para cada índice múltiple converge a
Multiplicación de distribuciones por funciones suaves.
Un operador diferencial de orden 0 es simplemente una multiplicación por una función suave. Y a la inversa, si es una función suave entonces es un operador diferencial de orden 0, cuya transpuesta formal es ella misma (es decir, ). El operador diferencial inducido asigna una distribución a una distribución denotada por. Por lo tanto, hemos definido la multiplicación de una distribución por una función suave.
Ahora damos una presentación alternativa de la multiplicación de una distribución por una función suave. El producto está definido por
Esta definición coincide con la definición de transposición ya que si es el operador de multiplicación por la función (es decir, ), entonces
para que
Bajo multiplicación por funciones suaves, hay un módulo sobre el anillo. Con esta definición de multiplicación por una función suave, la regla ordinaria del producto del cálculo sigue siendo válida. Sin embargo, también surgen algunas identidades inusuales. Por ejemplo, si la distribución delta de Dirac es entonces y si es la derivada de la distribución delta, entonces
El mapa de multiplicación bilineal dado por no es continuo; sin embargo, es hipocontinuo . [22]
Ejemplo. El producto de cualquier distribución con la función idéntica 1 en es igual a
Ejemplo. Supongamos que hay una secuencia de funciones de prueba que converge a la función constante. Para cualquier distribución en la secuencia converge a [23]
Si converge a y converge a entonces converge a
Problema de multiplicar distribuciones.
Es fácil definir el producto de una distribución con una función suave, o más generalmente el producto de dos distribuciones cuyos soportes singulares son disjuntos. [24] Con más esfuerzo, es posible definir un producto de buen comportamiento de varias distribuciones siempre que sus conjuntos de frentes de onda en cada punto sean compatibles. Una limitación de la teoría de las distribuciones (y de las hiperfunciones) es que no existe un producto asociativo de dos distribuciones que extienda el producto de una distribución mediante una función suave, como lo demostró Laurent Schwartz en la década de 1950. Por ejemplo, si es la distribución obtenida por el valor principal de Cauchy
Si es la distribución delta de Dirac, entonces
, pero,
el producto de una distribución por una función suave (que siempre está bien definida) no puede extenderse a un producto asociativo en el espacio de distribuciones.
Por tanto, los problemas no lineales no pueden plantearse en general y, por tanto, no se resuelven únicamente dentro de la teoría de la distribución. Sin embargo, en el contexto de la teoría cuántica de campos se pueden encontrar soluciones. En más de dos dimensiones del espacio-tiempo el problema está relacionado con la regularización de divergencias . Aquí Henri Epstein y Vladimir Glaser desarrollaron la teoría de la perturbación causal matemáticamente rigurosa (pero extremadamente técnica) . Esto no resuelve el problema en otras situaciones. Muchas otras teorías interesantes son no lineales, como por ejemplo las ecuaciones de dinámica de fluidos de Navier-Stokes .
Inspirándose en la teoría del camino aproximado de Lyons , [25] Martin Hairer propuso una forma consistente de multiplicar distribuciones con ciertas estructuras ( estructuras de regularidad [26] ), disponibles en muchos ejemplos del análisis estocástico, en particular ecuaciones diferenciales parciales estocásticas. Véase también Gubinelli–Imkeller–Perkowski (2015) para un desarrollo relacionado basado en el paraproducto de Bony del análisis de Fourier.
Composición con una función suave.
Sea una distribución en Sea un conjunto abierto en y Si es una inmersión entonces es posible definir
Esta es la composición de la distribución con , y también se llama retroceso de , a veces escrito
A menudo se indica el retroceso, aunque esta notación no debe confundirse con el uso de '*' para indicar el adjunto de un mapeo lineal.
La condición de que sea una inmersión es equivalente al requisito de que la derivada jacobiana de sea una aplicación lineal sobreyectiva para cada Una condición necesaria (pero no suficiente) para extender a las distribuciones es que sea una aplicación abierta . [27] El teorema de la función inversa asegura que una inmersión satisface esta condición.
Si es una inmersión, entonces se define en distribuciones encontrando el mapa de transposición. La unicidad de esta extensión está garantizada ya que es un operador lineal continuo en Existencia; sin embargo, requiere el uso de la fórmula de cambio de variables , el teorema de la función inversa (localmente) y un argumento de partición de unidad . [28]
En el caso especial en el que un difeomorfismo de un subconjunto abierto de a un subconjunto abierto de cambio de variables bajo la integral da:
En este caso particular, entonces, queda definido por la fórmula de transposición:
Circunvolución
En algunas circunstancias, es posible definir la convolución de una función con una distribución, o incluso la convolución de dos distribuciones. Recuerde que si y son funciones de entonces lo denotamos por la convolución de y definimos como la integral
siempre que la integral exista. Si son tales que entonces para cualquier función y tenemos y [29] Si y son funciones continuas en al menos una de las cuales tiene soporte compacto, entonces y si entonces el valor de on no depende de los valores de fuera de la suma de Minkowski [29]
Es importante destacar que si tiene soporte compacto, para cualquier mapa de convolución es continuo cuando se considera como el mapa o como el mapa [29]
Traducción y simetría
Dado el operador de traducción envía a definido por Esto se puede extender mediante la transposición a distribuciones de la siguiente manera: dada una distribución, la traducción de por es la distribución definida por [30] [31]
Dado definir la función por Dada una distribución sea la distribución definida por El operador se llama simetría con respecto al origen . [30]
Convolución de una función de prueba con una distribución.
La convolución de con una distribución se puede definir tomando la transposición de relativa al emparejamiento de dualidad de con el espacio de distribuciones. [32] Si entonces por el teorema de Fubini
Extendiendo por continuidad, la convolución de con una distribución se define por
Una forma alternativa de definir la convolución de una función de prueba y una distribución es usar el operador de traducción. La convolución de la función soportada de forma compacta y la distribución es entonces la función definida para cada una por
Se puede demostrar que la convolución de una función suave y con soporte compacto y una distribución es una función suave. Si la distribución tiene soporte compacto, y si es un polinomio (resp. una función exponencial, una función analítica, la restricción de una función analítica completa a la restricción de una función completa de tipo exponencial en to ), entonces lo mismo es cierto de [30] Si la distribución también tiene soporte compacto, entonces es una función con soporte compacto, y el teorema de convolución de Titchmarsh Hörmander (1983, Teorema 4.3.3) implica que:
donde denota el casco convexo y denota el soporte.
Convolución de una función suave con una distribución.
Sea y y supongamos que al menos uno de y tiene soporte compacto. La convolución de y denotada por o por es la función suave: [30]
satisfactoria para todos :
Sea el mapa . Si es una distribución, entonces es continua como un mapa . Si también tiene soporte compacto, entonces también es continuo como el mapa y continuo como el mapa [30]
Si es un mapa lineal continuo tal que para todos y todos entonces existe una distribución tal que para todos [7]
Sea la medida de Dirac en 0 y sea su derivada como distribución. Entonces , y lo más importante, la ley asociativa no se cumple:
Convolución de distribuciones
También es posible definir la convolución de dos distribuciones y siempre que una de ellas tenga soporte compacto. De manera informal, para definir dónde tiene soporte compacto, la idea es extender la definición de la convolución a una operación lineal en distribuciones para que la fórmula de asociatividad
continúe siendo válida para todas las funciones de prueba [33]
También es posible proporcionar una caracterización más explícita de la convolución de distribuciones. [32] Supongamos que y son distribuciones y que tiene soporte compacto. Entonces los mapas lineales
son continuos. Las transpuestas de estos mapas:
son, en consecuencia, continuas y también se puede demostrar que [30]
Este valor común se llama convolución de y y es una distribución que se denota por o Satisface [30] Si y son dos distribuciones, al menos una de las cuales tiene soporte compacto, entonces para cualquier [30] Si es una distribución en y si es una medida de Dirac entonces ; [30] es , por tanto, el elemento de identidad de la operación de convolución. Además, si es una función, entonces la asociatividad de la convolución implica que para todas las funciones y
Supongamos que es el que tiene soporte compacto. Para considerar la función
Se puede demostrar fácilmente que esto define una función suave que además tiene un soporte compacto. La convolución de y está definida por
Esto generaliza la noción clásica de convolución de funciones y es compatible con la diferenciación en el siguiente sentido: para cada índice múltiple
La convolución de un número finito de distribuciones, todas las cuales (excepto posiblemente una) tienen soporte compacto, es asociativa . [30]
Esta definición de convolución sigue siendo válida bajo supuestos menos restrictivos sobre y [34]
La convolución de distribuciones con soporte compacto induce un mapa bilineal continuo definido por donde denota el espacio de distribuciones con soporte compacto. [22] Sin embargo, el mapa de convolución como función no es continuo [22] aunque sí es continuo por separado. [35] Los mapas de convolución y dados por ambos no logran ser continuos. [22] Cada uno de estos mapas no continuos es, sin embargo, por separado continuo e hipocontinuo . [22]
Convolución versus multiplicación
En general, se requiere regularidad para los productos de multiplicación y localidad para los productos de convolución. Se expresa en la siguiente extensión del Teorema de la Convolución que garantiza la existencia tanto de productos de convolución como de multiplicación. Sea una distribución templada decreciente rápidamente o, de manera equivalente, una función ordinaria (de crecimiento lento, suave) dentro del espacio de distribuciones templadas y sea la transformada de Fourier normalizada (unitaria, de frecuencia ordinaria) . [36] Luego, según Schwartz (1951),
se mantienen dentro del espacio de distribuciones templadas. [37] [38] [39] En particular, estas ecuaciones se convierten en la fórmula de suma de Poisson si es el peine de Dirac . [40] El espacio de todas las distribuciones templadas que decrecen rápidamente también se denomina espacio de operadores de convolución y el espacio de todas las funciones ordinarias dentro del espacio de distribuciones templadas también se denomina espacio de operadores de multiplicación. Más generalmente, y [41] [42] Un caso particular es el Teorema de Paley-Wiener-Schwartz que establece que y Esto se debe a que y En otras palabras, las distribuciones templadas con soporte compacto pertenecen al espacio de operadores de convolución y las funciones de Paley-Wiener , más conocidas como funciones de banda limitada , pertenecen al espacio de operadores de multiplicación [43]
Dejar y ser conjuntos abiertos. Suponga que todos los espacios vectoriales están sobre el campo donde o For define para todas y cada una de las siguientes funciones:
Dadas y definidas las siguientes funciones:
donde y
Estas definiciones asocian cada y con el (respectivo) mapa lineal continuo:
Además, si cualquiera de los dos (resp. ) tiene soporte compacto, entonces también induce un mapa lineal continuo de (resp. ). [44]
Elproducto tensorial deydenotado poroes la distribucióndefinida por:[44]
Espacios de distribuciones
Por todas y cada una de las siguientes inyecciones canónicas es continua y tiene una imagen (también llamada rango) que es un subconjunto denso de su codominio:
donde las topologías en ( ) se definen como límites directos de los espacios de manera análoga a cómo se definieron las topologías (por lo que, en particular, no son las topologías estándar habituales). El rango de cada uno de los mapas anteriores (y de cualquier composición de los mapas anteriores) es denso en su codominio. [45]
Supongamos que es uno de los espacios (for ) o (for ) o (for ). Debido a que la inyección canónica es una inyección continua cuya imagen es densa en el codominio, la transpuesta de este mapa es una inyección continua. Este mapa transpuesto inyectivo permite así identificar el espacio dual continuo de con un determinado subespacio vectorial del espacio de todas las distribuciones (en concreto, se identifica con la imagen de este mapa transpuesto). Este mapa de transposición es continuo pero no es necesariamente una incrustación topológica . Un subespacio lineal que lleva una topología localmente convexa que es más fina que la topología del subespacio inducida en él se llama espacio de distribuciones . [46]
Casi todos los espacios de distribuciones mencionados en este artículo surgen de esta manera (por ejemplo, distribución templada, restricciones, distribuciones de orden algún número entero, distribuciones inducidas por una medida positiva de radón, distribuciones inducidas por una función -, etc. ) y cualquier teorema de representación sobre el espacio dual continuo de puede, a través de la transpuesta, transferirse directamente a elementos del espacio
Medidas de radón
El mapa de inclusión es una inyección continua cuya imagen es densa en su codominio, por lo que la transpuesta también es una inyección continua.
Nótese que el espacio dual continuo puede identificarse como el espacio de medidas de Radón , donde existe una correspondencia uno a uno entre los funcionales lineales continuos e integrales con respecto a una medida de Radón; eso es,
si entonces existe una medida de radón en U tal que para todos y
Si es una medida de radón en U, entonces la función lineal definida mediante el envío a es continua.
Mediante la inyección cada medida de radón se convierte en una distribución en U. Si es una función localmente integrable en U, entonces la distribución es una medida de radón; por lo que las medidas de radón forman un amplio e importante espacio de distribuciones.
El siguiente es el teorema de la estructura de distribuciones de medidas de radón , que muestra que cada medida de radón se puede escribir como una suma de derivadas de funciones locales en U :
Teorema. [47] — Supongamosque es una medida de radón, dondeseauna vecindad del soporte dey seaExiste una familiafuncioneslocalmente en U tal quepara caday
Además,también es igual a una suma finita de derivadas de funciones continuas endonde cada derivada tiene orden
Medidas positivas de radón
Una función lineal en un espacio de funciones se llama positiva si siempre que una función que pertenece al dominio de no es negativa (es decir, tiene valor real y ), entonces se puede demostrar que toda función lineal positiva en es necesariamente continua (es decir, es, necesariamente, una medida de radón). [48] La medida de Lebesgue es un ejemplo de medida positiva de radón.
Funciones localmente integrables como distribuciones.
Una clase particularmente importante de medidas de radón son aquellas que son funciones inducidas localmente integrables. La función se llama localmente integrable si es integrable de Lebesgue en cada subconjunto compacto K de U. Esta es una gran clase de funciones que incluye todas las funciones continuas y todas las funciones espaciales Lp . La topología on se define de tal manera que cualquier función localmente integrable produce un funcional lineal continuo on – es decir, un elemento de – denotado aquí por cuyo valor en la función de prueba está dado por la integral de Lebesgue:
Convencionalmente, se abusa de la notación identificándose con siempre que no pueda surgir confusión y, por lo tanto, el emparejamiento entre y a menudo se escribe
Si y son dos funciones localmente integrables, entonces las distribuciones asociadas y son iguales al mismo elemento de si y sólo si y son iguales en casi todas partes (ver, por ejemplo, Hörmander (1983, Teorema 1.2.5)). De manera similar, cada medida de radón define un elemento cuyo valor en la función de prueba es. Como se indicó anteriormente, es convencional abusar de la notación y escribir el emparejamiento entre una medida de radón y una función de prueba como . A la inversa, como se muestra en un teorema de Schwartz (similar Según el teorema de representación de Riesz ), toda distribución que no sea negativa en funciones no negativas tiene esta forma para alguna medida de radón (positiva).
Funciones de prueba como distribuciones.
Las funciones de prueba son en sí mismas integrables localmente y, por lo tanto, definen distribuciones. El espacio de funciones de prueba es secuencialmente denso con respecto a la topología fuerte en [49]. Esto significa que para cualquiera hay una secuencia de funciones de prueba, que converge (en su topología dual fuerte) cuando se considera como una secuencia de distribuciones. O equivalentemente,
Distribuciones con soporte compacto
El mapa de inclusión es una inyección continua cuya imagen es densa en su codominio, por lo que el mapa de transposición también es una inyección continua. Así, la imagen de la transpuesta, denotada por, forma un espacio de distribuciones. [13]
Los elementos de se pueden identificar como el espacio de distribuciones con soporte compacto. [13] Explícitamente, si es una distribución en U , entonces las siguientes son equivalentes,
El soporte de es compacto.
La restricción de cuándo ese espacio está equipado con la topología subespacial heredada (una topología más burda que la topología LF canónica) es continua. [13]
Existe un subconjunto compacto K de U tal que para cada función de prueba cuyo soporte está completamente fuera de K , tenemos
Las distribuciones con soporte compacto definen funcionales lineales continuas en el espacio ; Recuerde que la topología de se define de manera que una secuencia de funciones de prueba converge a 0 si y sólo si todas las derivadas de convergen uniformemente a 0 en cada subconjunto compacto de U. Por el contrario, se puede demostrar que cada funcional lineal continua en este espacio define una distribución de soporte compacto. Por lo tanto, las distribuciones con soporte compacto se pueden identificar con aquellas distribuciones que se pueden extender de a
Distribuciones de orden finito
Dejemos que el mapa de inclusión es una inyección continua cuya imagen es densa en su codominio, por lo que la transpuesta también es una inyección continua. En consecuencia, la imagen de denotada por forma un espacio de distribuciones. Los elementos de son las distribuciones de orden [16] Las distribuciones de orden que también se llaman distribuciones de orden 0 son exactamente las distribuciones que son medidas de radón (descritas anteriormente).
Para una distribución de orden k es una distribución de orden que no es una distribución de orden . [16]
Se dice que una distribución es de orden finito si hay algún número entero tal que sea una distribución de orden y el conjunto de distribuciones de orden finito se denota por. Tenga en cuenta que si es así, entonces es un subespacio vectorial de , y además, si y sólo si [16]
Estructura de distribuciones de orden finito.
Toda distribución con soporte compacto en U es una distribución de orden finito. [16] De hecho, toda distribución en U es localmente una distribución de orden finito, en el siguiente sentido: [16] Si V es un subconjunto abierto y relativamente compacto de U y si es el mapeo de restricción de U a V , entonces la imagen de debajo está contenido en
El siguiente es el teorema de la estructura de distribuciones de orden finito, que muestra que toda distribución de orden finito se puede escribir como una suma de derivadas de medidas de radón :
Teorema [16] - Supongamos que tiene orden finito y Dado cualquier subconjunto abierto V de U que contenga el soporte de hay una familia de medidas de radón en U , tal que para muy y
Ejemplo. (Distribuciones de orden infinito) Sea y para cada función de prueba sea
Entonces es una distribución de orden infinito en U. Además, no se puede extender a una distribución en ; es decir, no existe ninguna distribución tal que la restricción de a U sea igual a [50]
Distribuciones templadas y transformada de Fourier.
A continuación se definen las distribuciones templadas , que forman un subespacio del espacio de distribuciones en Este es un subespacio propio: mientras que cada distribución templada es una distribución y un elemento de lo contrario no es cierto. Las distribuciones templadas son útiles si se estudia la transformada de Fourier, ya que todas las distribuciones templadas tienen una transformada de Fourier, lo que no es cierto para una distribución arbitraria en
espacio de schwartz
El espacio de Schwartz es el espacio de todas las funciones suaves que disminuyen rápidamente en el infinito junto con todas las derivadas parciales. Por lo tanto , en el espacio de Schwartz, cualquier derivada de multiplicada por cualquier potencia de converge a 0, ya que estas funciones forman un TVS completo con una familia de seminormas adecuadamente definida . Más precisamente, para cualquier índice múltiple y definir
Entonces está en el espacio de Schwartz si todos los valores satisfacen
La familia de seminormas define una topología localmente convexa en el espacio de Schwartz. Porque las seminormas son, de hecho, normas en el espacio de Schwartz. También se puede utilizar la siguiente familia de seminormas para definir la topología: [51]
De lo contrario, se puede definir una norma a través de
El espacio de Schwartz es un espacio de Fréchet (es decir, un espacio localmente convexo metrizable completo ). Debido a que la transformada de Fourier cambia a multiplicación por y viceversa, esta simetría implica que la transformada de Fourier de una función de Schwartz también es una función de Schwartz.
Una secuencia en converge a 0 en si y solo si las funciones convergen a 0 uniformemente en todo lo cual implica que dicha secuencia debe converger a cero en [51]
es denso en El subconjunto de todas las funciones analíticas de Schwartz también es denso. [52]
El espacio de Schwartz es nuclear , y el producto tensorial de dos mapas induce isomorfismos TVS sobreyectivos canónicos
donde representa la finalización del producto tensorial inyectivo (que en este caso es idéntico a la finalización del producto tensorial proyectivo ). [53]
Distribuciones templadas
El mapa de inclusión es una inyección continua cuya imagen es densa en su codominio, por lo que la transpuesta también es una inyección continua. Así, la imagen del mapa transpuesto, denotada por, forma un espacio de distribuciones.
El espacio se denomina espacio de distribuciones templadas . Es el espacio dual continuo del espacio de Schwartz. De manera equivalente, una distribución es una distribución templada si y sólo si
La derivada de una distribución templada es nuevamente una distribución templada. Las distribuciones templadas generalizan las funciones localmente integrables acotadas (o de crecimiento lento); todas las distribuciones con soporte compacto y todas las funciones integrables en cuadro son distribuciones templadas. De manera más general, todas las funciones que son productos de polinomios con elementos del espacio Lp son distribuciones templadas.
Las distribuciones templadas también se pueden caracterizar como de crecimiento lento , lo que significa que cada derivada de crece como máximo tan rápido como algún polinomio . Esta caracterización es dual al comportamiento de caída rápida de las derivadas de una función en el espacio de Schwartz, donde cada derivada de decae más rápido que cada potencia inversa de Un ejemplo de función de caída rápida es para cualquier positivo
transformada de Fourier
Para estudiar la transformada de Fourier, es mejor considerar funciones de prueba de valores complejos y distribuciones lineales complejas. La transformada de Fourier continua ordinaria es un automorfismo TVS del espacio de Schwartz, y la transformada de Fourier se define como su transpuesta que (abusando de la notación) se denotará nuevamente por Por lo tanto, la transformada de Fourier de la distribución templada se define por para cada función de Schwartz De nuevo se trata de una distribución moderada. La transformada de Fourier es un isomorfismo TVS del espacio de distribuciones templadas sobre sí mismo. Esta operación es compatible con la diferenciación en el sentido de que
y también con la convolución: if es una distribución templada y es una función suave que aumenta lentamente on es nuevamente una distribución templada y
es la convolución de y En particular, la transformada de Fourier de la función constante es igual a 1 es la distribución.
Expresar distribuciones templadas como sumas de derivadas.
Si es una distribución templada, entonces existen números enteros constantes y positivos tales que para todas las funciones de Schwartz
Esta estimación, junto con algunas técnicas del análisis funcional , se puede utilizar para mostrar que existe una función continua que aumenta lentamente y un índice múltiple tal que
Restricción de distribuciones a conjuntos compactos
Si entonces, para cualquier conjunto compacto existe una función continua soportada de forma compacta (posiblemente en un conjunto más grande que el propio K ) y un índice múltiple tal que en
Usar funciones holomorfas como funciones de prueba
Valor principal de Cauchy : método para asignar valores a ciertas integrales impropias que de otro modo no estarían definidas
Triple de Gelfand : construcción que vincula el estudio de valores propios "ligados" y continuos en el análisis funcionalPages displaying short descriptions of redirect targets
Álgebra de Colombeau : álgebra diferencial asociativa conmutativa de funciones generalizadas en la que las funciones suaves (pero no las continuas arbitrarias) se integran como una subálgebra y las distribuciones se integran como un subespacio.Pages displaying wikidata descriptions as a fallback
^ Tenga en cuenta que ser un número entero implica que esto a veces se expresa como Dado que la desigualdad " " significa: si mientras si entonces significa
^ La imagen del conjunto compacto bajo un mapa de valores continuos (por ejemplo, para ) es en sí misma un subconjunto compacto y, por lo tanto, acotado de If , entonces esto implica que cada una de las funciones definidas anteriormente tiene valores (es decir, ninguna de los supremos anteriores son siempre iguales a ).
^ Exactamente como ocurre con el espacio, se define como el subespacio vectorial que consta de mapas con soporte contenido en dotados de la topología del subespacio del que hereda .
^ Aunque la topología de no es metrizable, una funcional lineal es continua si y solo si es secuencialmente continua.
^ Una secuencia nula es una secuencia que converge al origen.
^ Si también se refiere a la comparación de funciones habitual, entonces podemos considerar que la colección finita consta de un solo elemento.
^ El teorema de extensión para asignaciones definidas desde un subespacio S de un espacio vectorial topológico E al propio espacio topológico E también funciona para asignaciones no lineales, siempre que se suponga que son uniformemente continuas . Pero, desafortunadamente, este no es nuestro caso, desearíamos “extender” un mapeo lineal continuo A desde un tvs E a otro tvs F, para obtener un mapeo lineal continuo del dual E' al dual F' ( tenga en cuenta el orden de los espacios). En general, esto ni siquiera es un problema de extensión, porque (en general) E no es necesariamente un subconjunto de su propio dual E'. Además, no es un problema de transposición topológica clásico, porque la transposición de A va de F' a E' y no de E' a F'. Nuestro caso necesita, de hecho, un nuevo orden de ideas, que involucre las propiedades topológicas específicas de los espacios de Laurent Schwartz D(U) y D'(U), junto con el concepto fundamental de adjunto débil (o de Schwartz) del operador lineal continuo. A.
^ Por ejemplo, sea y tome como la derivada ordinaria de funciones de una variable real y suponga que el soporte de está contenido en el intervalo finito, entonces desde
donde está la última igualdad porque
Referencias
^ ab Trèves 2006, págs. 222-223.
^ Grubb 2009, pag. 14
^ Trèves 2006, págs. 85–89.
^ ab Trèves 2006, págs. 142-149.
^ Trèves 2006, págs. 356–358.
^ ab Trèves 2006, págs. 131-134.
^ abcdefg Rudin 1991, págs.
^ Trèves 2006, págs. 526–534.
^ Tréves 2006, pag. 357.
^ Véase, por ejemplo, Grubb 2009, p. 14.
^ abcd Trèves 2006, págs. 245-247.
^ abcdefg Trèves 2006, págs. 253-255.
^ abcde Trèves 2006, págs. 255-257.
^ Trèves 2006, págs. 264-266.
^ Rudin 1991, pag. 165.
^ abcdefg Trèves 2006, págs. 258-264.
^ Rudin 1991, págs. 169-170.
^ Strichartz, Robert (1993). Una guía para la teoría de la distribución y las transformadas de Fourier . EE.UU. pag. 17.{{cite book}}: CS1 maint: location missing publisher (link)
^ Strichartz 1994, §2.3; Tréves 2006.
^ Rudin 1991, pag. 180.
^ ab Trèves 2006, págs. 247-252.
^ abcde Trèves 2006, pag. 423.
^ Tréves 2006, pag. 261.
^ Per Persson (nombre de usuario: md2perpe) (27 de junio de 2017). "Multiplicación de dos distribuciones cuyos soportes singulares son disjuntos". Red de intercambio de pila.{{cite web}}: CS1 maint: numeric names: authors list (link)
^ Lyon, T. (1998). "Ecuaciones diferenciales impulsadas por señales aproximadas". Revista Matemática Iberoamericana . 14 (2): 215–310. doi : 10.4171/RMI/240 .
^ Hairer, Martín (2014). "Una teoría de las estructuras de regularidad". Invenciones Mathematicae . 198 (2): 269–504. arXiv : 1303.5113 . Código Bib : 2014 InMat.198..269H. doi :10.1007/s00222-014-0505-4. S2CID 119138901.
^ Véase, por ejemplo, Hörmander 1983, Teorema 6.1.1.
^ Véase Hörmander 1983, Teorema 6.1.2.
^ abc Trèves 2006, págs. 278–283.
^ abcdefghij Trèves 2006, págs. 284-297.
^ Véase, por ejemplo, Rudin 1991, §6.29.
^ ab Trèves 2006, Capítulo 27.
↑ Hörmander 1983, §IV.2 demuestra la singularidad de tal extensión.
^ Véase, por ejemplo, Gel'fand & Shilov 1966–1968, v. 1, págs. 103–104 y Benedetto 1997, Definición 2.5.8.
^ Tréves 2006, pag. 294.
^ Folland, GB (1989). Análisis Armónicos en el Espacio de Fases . Princeton, Nueva Jersey: Princeton University Press.
^ Horváth, John (1966). Distribuciones y espacios vectoriales topológicos . Reading, MA: Compañía editorial Addison-Wesley.
^ Barros-Neto, José (1973). Introducción a la teoría de las distribuciones . Nueva York, Nueva York: Dekker.
^ Petersen, doblado E. (1983). Introducción a la transformada de Fourier y a los operadores pseudodiferenciales . Boston, MA: Pitman Publishing.
^ Woodward, primer ministro (1953). Probabilidad y Teoría de la Información con Aplicaciones al Radar . Oxford, Reino Unido: Pergamon Press.
^ Trèves 2006, págs. 318–319.
^ Friedlander, FG; Joshi, MS (1998). Introducción a la Teoría de las Distribuciones . Cambridge, Reino Unido: Cambridge University Press.
^ Schwartz 1951.
^ abc Trèves 2006, págs. 416–419.
^ Trèves 2006, págs. 150-160.
^ Trèves 2006, págs. 240-252.
^ Trèves 2006, págs. 262-264.
^ Tréves 2006, pag. 218.
^ Trèves 2006, págs. 300–304.
^ Rudin 1991, págs. 177-181.
^ ab Trèves 2006, págs. 92–94.
^ Tréves 2006, pag. 160.
^ Tréves 2006, pag. 531.
Bibliografía
Barros-Neto, José (1973). Introducción a la teoría de las distribuciones . Nueva York, Nueva York: Dekker.
Benedetto, JJ (1997), Análisis y aplicaciones armónicas , CRC Press.
Folland, GB (1989). Análisis Armónicos en el Espacio de Fases . Princeton, Nueva Jersey: Princeton University Press.
Friedlander, FG; Joshi, MS (1998). Introducción a la Teoría de las Distribuciones . Cambridge, Reino Unido: Cambridge University Press..
Gårding, L. (1997), Algunos puntos de análisis y su historia , Sociedad Matemática Estadounidense.
Gel'fand, IM ; Shilov, GE (1966-1968), Funciones generalizadas , vol. 1–5, prensa académica.
Grubb, G. (2009), Distribuciones y operadores , Springer.
Hörmander, L. (1983), El análisis de operadores diferenciales parciales lineales I , Grundl. Matemáticas. Wissenschaft., vol. 256, Springer, doi :10.1007/978-3-642-96750-4, ISBN 3-540-12104-8, señor 0717035.
Horváth, John (1966). Distribuciones y espacios vectoriales topológicos . Serie Addison-Wesley en matemáticas. vol. 1. Reading, MA: Compañía editorial Addison-Wesley. ISBN 978-0201029857.
Kolmogorov, Andrei ; Fomin, Sergei V. (1957). Elementos de la Teoría de Funciones y Análisis Funcional . Libros de Dover sobre matemáticas. Nueva York: Dover Books. ISBN 978-1-61427-304-2. OCLC 912495626.
Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . vol. 8 (Segunda ed.). Nueva York, NY: Springer Nueva York Pie de imprenta Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Schwartz, Laurent (1954), "Sur l'impossibilité de la multiplications des Distributions", CR Acad. Ciencia. París , 239 : 847–848.
Schwartz, Laurent (1951), Teoría de las distribuciones , vol. 1-2, Hermann.
Sobolev, SL (1936), "Méthode nouvelle à résoudre le problème de Cauchy pour les équations linéaires hyperboliques normales", Mat. Sborník , 1 : 39–72.
Stein, Elías ; Weiss, Guido (1971), Introducción al análisis de Fourier en espacios euclidianos , Princeton University Press, ISBN 0-691-08078-X.
Strichartz, R. (1994), Una guía para la teoría de la distribución y las transformadas de Fourier , CRC Press, ISBN 0-8493-8273-4.
Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322.
Woodward, PM (1953). Probabilidad y Teoría de la Información con Aplicaciones al Radar . Oxford, Reino Unido: Pergamon Press.
Lectura adicional
MJ Lighthill (1959). Introducción al Análisis de Fourier y Funciones Generalizadas . Prensa de la Universidad de Cambridge. ISBN 0-521-09128-4 (requiere muy poco conocimiento de análisis; define distribuciones como límites de secuencias de funciones bajo integrales)