Teora de distribuciones

En anlisis matemtico, una distribucin o funcin generalizada es un objeto matemtico

que generaliza la nocin de funcin y la de medida.
Adems la nocin de distribucin sirve para extender el concepto de derivada a todas
las funciones localmente integrables y a entes an ms generales. Su uso es indispensable en
muchos campos de las matemticas, la fsica y la ingeniera. As, por ejemplo, se utiliza en
el anlisis de Fourier para obtener soluciones generalizadas de ecuaciones en derivadas
parciales. Tambin juegan un papel muy importante en electrodinmica cuntica y
en procesamiento de seales.
Las "funciones generalizadas" fueron introducidas por Sergui Sbolev en 1935.
Independientemente y a finales de la dcada de 1940 Laurent Schwartz formaliz la teora de
distribuciones, lo que le vali la medalla Fields en 1950.

ndice
[ocultar]

1Introduccin

2Definicin formal

o 2.1Soporte compacto

o 2.2Derivada de una distribucin

o 2.3Convolucin

3Tipos de distribuciones

o 3.1Distribuciones ordinarias

o 3.2Distribuciones temperadas

o 3.3Transformada de Fourier

4Referencias

o 4.1Bibliografa

Introduccin[editar]
En diversos ejemplos fsicos idealizados aparecen objetos matemticos (cuasi-funciones)
similares a las funciones convencionales cuyo uso daba soluciones consistentes a diversos
problemas fsicos, pero que no podan ser tratados estrictamente como funciones
matemticas convencionales. Algunos ejemplos de problemas donde aparecan estas "cuasi-
funciones":

Problemas donde apareca la "derivada" de una funcin discontinua. Obviamente en

ese tipo de problemas las derivadas convencionales no estaban definidas, pero existan
 substituciones formales que sugeran que el concepto de funcin matemtica deba ser
ampliado para incluir objetos que pudieran comportarse como la derivada convencional,
pero que fuera adems aplicable a funciones discontinuas.

Igualmente Dirac introdujo un objeto matemtico que deba tener la siguiente

propiedad:

Aunque ese objeto matemtico comparta ciertas propiedades con las funciones referente
a su integracin, se poda probar que no exista ninguna funcin matemtica convencional
que fuera solucin de la anterior ecuacin.
Los dos problemas anteriores estn relacionados, y la teora de distribuciones demostr
que pueden definirse un tipo de funciones generalizadas o distribuciones tales que
permiten tratar rigurosamente los dos problemas anteriores. El concepto de distribucin
generaliza al de funcin, ya que de hecho toda funcin matemtica convencional puede
ser considerada tambin como un caso particular de distribucin.

Definicin formal[editar]
Una distribucin convencional sobre es un elemento del espacio dual topolgico
del espacio vectorial de funciones de clase sobre un cierto conjunto cuyo soporte es
un conjunto compacto. Es decir, una distribucin es un funcional lineal definido sobre un
cierto espacio de funciones diferenciables definidas sobre conjuntos cerrados contenidos
en . Las funciones definidas sobre el conjunto se llama espacio de funciones test.
En el caso de las distribuciones convencionales sobre se requieren dos condiciones
sobre las funciones test definidas sobre :

Deben ser infinitamente diferenciables, es decir de clase, .

Deben ser funciones cuyo soporte sea compacto.

Si se relajan las condiciones sobre las funciones definidas sobre entonces se obtiene una
clase de distribuciones menos amplia que las distribuciones convencionales. Por ejemplo
si se substituye la segunda condicin por la siguiente condicin:

Las funciones test son funciones de decrecimiento rpido, es decir, tienden a cero ms
rpidamente que el inverso de cualquier polinomio.
La clase de distribuciones obtenidas se llama distribuciones temperadas.
Soporte compacto[editar]

Se dice que una funcin de test tiene soporte compacto si el conjunto de

puntos donde la funcin es diferente de cero es compacto.

Se dice que una distribucin S tiene soporte compacto si existe un conjunto

compacto K de U tal que para cada funcin test cuyo soporte no se interseca
con K se tiene que S() = 0. Alternativamente podemos definir las distribuciones de
soporte compacto como funciones lineales continuas sobre el espacio C (U), con una
topologa definida sobre este espacio por la convergencia uniforme.
Derivada de una distribucin[editar]
El concepto de derivada distribucional o derivada en el sentido de las
distribuciones generaliza el concepto de derivada ordinaria a distribuciones y funciones
no-continuas. Esta extensin se realiza a partir del procedimiento de integracin por
partes. Dada una distribucin o funcin discontinua su derivada en el sentido de las
distribuciones se define simplemente como la nica funcin que satisface:
Algunos ejemplos de derivadas en el sentido distribucional son:

1. La funcin salto de Heaviside tiene por derivada distribucional la delta de Dirac:

2. La derivada en el sentido de las distribuciones de una funcin diferenciable

coincide con su derivada ordinaria.

3. La funcin valor absoluto tiene por derivada distribucional la funcin signo.

4. La funcin rampa tiene por derivada funcional la funcin salto de Heaviside.

Convolucin[editar]
Dadas dos distribuciones S y T definidas sobre algn subconjunto de y una de ellas tiene
soporte compacto se puede definir una nueva distribucin llamada convolucin de S y T,
que se denota mediante S T, definida como sigue: Si es una funcin test
sobre definimos:
La ltima de estas tres definiciones generaliza el producto de convolucin clsico de
funciones. Adems este producto tiene, tambin para distribuciones, la propiedad de ser
compatible con la derivada en el sentido siguiente:
Esta definicin de convolucin sigue siendo vlida an si se relajan las restricciones
sobre S y T.1 2

Tipos de distribuciones[editar]
Distribuciones ordinarias[editar]
Las distribuciones ordinarias son el dual topolgico de las funciones
suaves de soporte compacto . Dada una sucesin en el conjunto , se define la siguiente
convergencia:
Si y slo si:

1. Existe un conjunto acotado B que contiene los soportes de todas las funciones .

2. La sucesin converge uniformemente a en B, y las sucesiones de todas las

derivadas de orden finito de convergen tambin uniformemente en B a la
respectiva derivada de orden finito de .
Ese tipo de convergencia convierte al conjunto en un espacio topolgico .
Las distribuciones ordinarias sern por tanto las funciones continuas respecto a dicha
convergencia (o equivalentemente la topologa generada). Es decir si f es una distribucin
convencional se cumplir que:3
Distribuciones temperadas[editar]
Las distribuciones temperadas constituyen una subclase de distribuciones
convencionales. Tcnicamente son el dual topolgico del espacio de Schwartz , formado
por funciones suaves de decrecimiento rpido. El espacio de funciones de decrecimiento
rpido generaliza el espacio , ms concretamente . El espacio de Schwartz de funciones
de decrecimiento rpido es interesante porque permite definir la transformada de Fourier
con toda generalidad. Adems siempre es posible definir la transformada de Fourier no
slo de funciones de decrecimiento rpido, sino tambin de distribuciones temperadas.
El espacio de Schwartz est formado por funciones : Rn R tales que cualquier
derivada de , multiplicada por cualquier potencia de |x|, converge hacia 0 para |x| .
Estas funciones forman un espacio vectorial topolgico mediante una familia adecuada
de seminormas:
para los multi-ndices , de tamao n. Entonces es una funcin de decrecimiento
rpido si los valores
La familia de seminormas p, define una topologa convexa sobre el espacio de Schwartz.
Las seminormas son, de hecho, normas sobre el espacio de Schwartz, puesto que estas
funciones son suaves. El espacio de Schwartz es metrizable y completo, porque la
transformada de Fourier convierte en la derivada segn x en la multiplicacin por x y
viceversa, esta simetra implica que las transformadas de Fourier de una funcin de
decrecimiento rpido es otro funcin de decrecimiento rpido.
El espacio de distribuciones temperadas se define como el dual topolgico del espacio
de Schwartz. En otras palabras, una distribucin F es una distribucin temperada si y slo
si:
es igualmente cierto que:
es correcto para cualquier par de multi-ndices , .

Transformada de Fourier[editar]
Artculo principal: Transformada de Fourier

La transformada de Fourier se define como aplicacin lineal biyectiva y continua u

homeomorfismo lineal del espacio de distribuciones temperadas. La frmula de clculo
usual viene dada por: