Professional Documents
Culture Documents
(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