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
el conjunto

. Las funciones definidas sobre

se llama espacio de funciones test.

En el caso de las distribuciones convencionales sobre

condiciones sobre las funciones test definidas sobre

se requieren dos
:

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.