You are on page 1of 5

Teora de distribuciones

En Anlisis matemtico una distribucin, tambin llamada funcin generalizada, es un


objeto matemtico que generaliza la nocin defuncin 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 (EDP).
Tambin juegan un papel muy importante en Electrodinmica Cuntica y en Procesamiento
de seales.
Las "funciones generalizadas" fueron introducidas por Sergi 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.
Introduccin
En diversos ejemplos fsicos idealizados aparecan objetos matemticos similares a las
funciones convencionales cuyo uso pareca daba soluciones consistentes a diversos
problemas fsicos, pero que no podan ser tratados como funciones
matemticas convencionales. Varios de estos problemas eran los siguientes:
En ciertos problemas era necesario considerar objetos que se comportaran como 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 vino a probar
que pueden definirse un tipo de funciones generalizadas o distribuciones tales que
resuelven los dos problemas anteriores. Adems toda funcin matemtica convencional
puede ser considerada tambin como una distribucin.

Definicin formal
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 compacto en ese conjunto. Es decir, una
distribucin es una funcin lineal y continua definida 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 la 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
Decimos que una funcin de test tiene soporte compacto si el conjunto de
puntos K = {x|no (x)=0} donde la funcin es diferente de cero es compacto.
Decimos 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
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 (x) tiene por derivada la delta de
Dirac:
2. La derivada en el sentido de las distribuciones de una funcin diferenciable
coincide con su derivada ordinaria.

Convolucin
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.
Distribuciones convencionales
Las distribuciones convencionales 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.
Ese tipo de convergencia convierte al conjunto en un espacio topolgico
. Las distribuciones convencionales 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
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 grfico, sino tambin de distribuciones temperadas.
El espacio de Schwartz est formado por funciones : R
n
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 es una distribucin temperada
si y slo si:

is igualmente cierto que:

es correcto para cualquier par de multi-ndices , .

You might also like