Teoría de distribuciones

En Análisis matemático una distribución, también llamada función generalizada, es un objeto matemático que generaliza la noción de función y la de medida. Además la noción de distribución sirve para extender el concepto de derivada a todas las funciones localmente integrables y a entes aún más generales. Su uso es indispensable en muchos campos de las Matemáticas, la Física y la Ingeniería. Así, por ejemplo, se utiliza en el Análisis de Fourier para obtener soluciones generalizadas de Ecuaciones en Derivadas Parciales (EDP). También juegan un papel muy importante en Electrodinámica Cuántica y en Procesamiento de señales.

Las "funciones generalizadas" fueron introducidas por Sergéi Sóbolev en 1935. Independientemente y a finales de la década de 1940 Laurent Schwartz formalizó la teoría de distribuciones, lo que le valió la Medalla Fields en 1950.

Contenido

Introducción

En diversos ejemplos físicos idealizados aparecían objetos matemáticos similares a las funciones convencionales cuyo uso parecía daba soluciones consistentes a diversos problemas físicos, pero que no podían ser tratados como funciones matemáticas convencionales. Varios de estos problemas eran los siguientes:

  • En ciertos problemas era necesario considerar objetos que se comportaran como la "derivada" de una función discontinua. Obviamente en ese tipo de problemas las derivadas convencionales no estaban definidas, pero existían substituciones formales que sugerían que el concepto de función matemática debía ser ampliado para incluir objetos que pudieran comportarse como la derivada convencional, pero que fuera además aplicable a funciones discontinuas.
  • Igualmente Dirac introdujo un objeto matemático δ que debía tener la siguiente propiedad:


f(a) = \int_\R \delta(x-a)f(x) \ dx


Aunque ese objeto matemático compartía ciertas propiedades con las funciones referente a su integración, se podía probar que no existía ninguna función matemática convencional δ que fuera solución de la anterior ecuación.

Los dos problemas anteriores están relacionados, y la teoría de distribuciones vino a probar que pueden definirse un tipo de funciones generalizadas o distribuciones tales que resuelven los dos problemas anteriores. Además toda función matemática convencional puede ser considerada también como una distribución.

Definición formal

Una distribución convencional sobre \Omega\; es un elemento del espacio dual topológico del espacio vectorial de funciones de clase C^\infty(\Omega) sobre un cierto conjunto \Omega \subset \R^n cuyo soporte es compacto en ese conjunto. Es decir, una distribución es una función lineal y continua definida sobre un cierto espacio de funciones diferenciables definidas sobre conjuntos cerrados contenidos en \Omega\;. Las funciones definidas sobre el conjunto \Omega\; 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, C^\infty.
  • Deben ser funciones cuyo soporte sea compacto.

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

La clase de distribuciones obtenidas se llama distribuciones temperadas.

Soporte compacto

  • Decimos que una función de test φ tiene soporte compacto si el conjunto de puntos K = {x|no φ(x)=0} donde la función es diferente de cero es compacto.
  • Decimos que una distribución S tiene soporte compacto si existe un conjunto compacto K de U tal que para cada función 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 topología definida sobre este espacio por la convergencia uniforme.

Derivada de una distribución

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 extensión se realiza a partir del procedimiento de integración por partes. Dada una distribución o función discontinua f\; su derivada en el sentido de las distribuciones se define simplemente como la única función f'\; que satisface:

\forall \phi: (f',\phi) := \int_\Omega f'\phi = -\int_\Omega f\phi' = -(f,\phi')

Algunos ejemplos de derivadas en el sentido distribucional son:

  1. La función salto de Heaviside θ(x) tiene por derivada la delta de Dirac: \theta'(x) = \delta(x)\,
  2. La derivada en el sentido de las distribuciones de una función diferenciable coincide con su derivada ordinaria.

Convolución

Dadas dos distribuciones S y T definidas sobre algún subconjunto de \R^n y una de ellas tiene soporte compacto se puede definir una nueva distribución llamada convolución de S y T, que se denota mediante ST, definida como sigue: Si φ es una función test sobre D(\R^n) definimos:

\phi_x(y):= \phi(x+y), \qquad \psi:= T(\phi_x), \qquad (S*T)(\phi):= S(\psi)

La última de estas tres definiciones generaliza el producto de convolución clásico de funciones. Además este producto tiene, también para distribuciones, la propiedad de ser compatible con la derivada en el sentido siguiente:

\frac{d(S*T)}{dx} = \frac{dS}{dx}*T + S*\frac{dT}{dx}

Esta definición de convolución sigue siendo válida aún si se relajan las restricciones sobre S y T.[1] [2]

Distribuciones convencionales

Las distribuciones convencionales son el dual topológico de las funciones suaves de soporte compacto C^\infty_0(\R^n). Dada una sucesión en el conjunto C^\infty_0(\R^n), se define la siguiente convergencia:

\phi_j \xrightarrow{\mathcal{D}} \psi\,

Si y sólo si:

  1. Existe un conjunto acotado B que contiene los soportes de todas la funciones \phi_j\,.
  2. La sucesión \phi_j(x)\, converge uniformemente a \psi_(x)\, en B.

Ese tipo de convergencia convierte al conjunto C^\infty_0(\R^n) en un espacio topológico \mathcal{D} = (C^\infty_0(\R^n),\mathcal{T}). Las distribuciones convencionales serán por tanto las funciones continuas respecto a dicha convergencia (o equivalentemente la topología generada). Es decir si f es una distribución convencional se cumplirá que:[3]

\phi_j \xrightarrow{\mathcal{D}} \psi \qquad \Longrightarrow \qquad
f(\phi_j) \xrightarrow{\mathcal{D}} f(\psi)

Distribuciones temperadas

Las distribuciones temperadas constituyen una subclase de distribuciones convencionales. Técnicamente son el dual topológico del espacio de Schwartz \mathcal{S}(\R^n), formado por funciones suaves de decrecimiento rápido. El espacio de funciones de decrecimiento rápido generaliza el espacio \mathcal{D}(\R^n), más concretamente \mathcal{D}(\R^n) \subset \mathcal{S}(\R^n). El espacio de Schwartz de funciones de decrecimiento rápido es interesante porque permite definir la transformada de Fourier con toda generalidad. Además siempre es posible definir la transformada de Fourier no sólo de funciones de decrecimiento gráfico, sino también de distribuciones temperadas.

El espacio de Schwartz está formado por funciones φ : RnR tales que cualquier derivada de φ, multiplicada por cualquier potencia de |x|, converge hacia 0 para |x| → ∞. Estas funciones forman un espacio vectorial topológico mediante una familia adecuada de seminormas:

 p_{\alpha , \beta} (\varphi) = \sup_{x \in \mathbf{R}^n} | x^\alpha D^\beta \varphi(x)|

para los multi-índices α, β de tamaño n. Entonces φ es una función de decrecimiento rápido si los valores

 p_{\alpha, \beta} (\varphi) < \infty.

La familia de seminormas pα, β define una topología 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 según xα en la multiplicación por xα y viceversa, esta simetría implica que las transformadas de Fourier de una función de decrecimiento rápido es otro función de decrecimiento rápido.

El espacio de distribuciones temperadas se define como el dual topológico del espacio de Schwartz. En otras palabras, una distribución F es una distribución temperada si y sólo si:

 \lim_{m\to\infty} F(\varphi_m)=0.

is igualmente cierto que:

 \lim_{m\to\infty} p_{\alpha , \beta} (\varphi_m) = 0

es correcto para cualquier par de multi-índices α, β.

Transformada de Fourier

Artículo principal: Transformada de Fourier

La transformada de Fourier se define como aplicación lineal biyectiva y continua u homeomorfismo lineal del espacio de distribuciones temperadas. La fórmula de cálculo usual viene dada por:

\mathcal{F}[f](\xi ) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{+\infty} f(x)e^{-i\xi\,x} dx

Referencias

  1. I.M. Gel'fand and G.E. Shilov, Generalized Functions, v. 1, Academic Press, 1964, pp. 103--104.
  2. J.J. Benedetto, Harmonic Analysis and Applications, CRC Press, 1997, Definition 2.5.8.
  3. Richtmyer, 1978, p. 24
  • Richtmyer, Robert D. (1978): Principles of advanced mathematical physics, Springer-Verlag, New York, ISBN 0-387-08873-3.
  • M. J. Lighthill (1958): Introduction to Fourier Analysis and Generalized Functions. Cambridge University Press. ISBN 0-521-09128-4 (defines distributions as limits of sequences of functions under integrals)
  • L. Schwartz (1954): Sur l'impossibilité de la multiplications des distributions, C.R.Acad. Sci. Paris 239, pp 847-848.

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Teoría de la Relatividad — Saltar a navegación, búsqueda Con el nombre de Teoría de la Relatividad se engloban generalmente dos cuerpos de investigación en ciencias físicas, usualmente conectadas con las investigaciones del físico Albert Einstein: su Teoría de la… …   Wikipedia Español

  • Teoría del cisne negro — Un Cisne Negro, del especies Cygnus atratus,desconocido del mundo ocidental hasta el siglo XVIII La Teoría del Cisne Negro o Teoría de los Eventos del Cisne Negro es una metáfora que encierra el concepto de que un evento es una sorpresa (para el… …   Wikipedia Español

  • Teoría de la relatividad — Dibujo artístico sobre la teoría de la relatividad La teoría de la relatividad incluye dos teorías (la de la relatividad especial y la de la relatividad general) formuladas por Albert Einstein a principios del siglo XX, que pretendían resolver la …   Wikipedia Español

  • Teoría de la decisión — La teoría de la decisión es una área interdisciplinaria de estudio, relacionada con casi todos los participantes en ramas de la ciencia, ingeniería principalmente la psicología del consumidor (basados en perspectivas cognitivo conductuales).… …   Wikipedia Español

  • Teoría cable — Figura.1: Visión simplificada de la teoría del cable en una fibra neuronal. La teoría del cable clásica utiliza modelos matemáticos para calcular el flujo de una corriente eléctrica (y de la tensión asociada) a lo largo de fibras neuronales… …   Wikipedia Español

  • Teoría de la probabilidad — La teoría de la probabilidad es la parte de las matemáticas que estudia los fenómenos aleatorios. Estos deben contraponerse a los fenómenos determinísticos, los cuales son resultados únicos y/o previsibles de experimentos realizados bajo las… …   Wikipedia Español

  • Sistemas dinámicos y teoría del caos — Un atractor. Sistemas Dinámicos y Teoría del Caos es la rama de las Matemáticas que trata acerca del comportamiento cualitativo a largo plazo de un sistema dinámico. No se trata de encontrar soluciones exactas a las ecuaciones que definen dicho… …   Wikipedia Español

  • Matemáticas discretas — Las matemáticas discretas son un área de las matemáticas encargadas del estudio de los conjuntos discretos: finitos o infinitos numerables. En oposición a las matemáticas continuas, que se encarga del estudio de conceptos como la continuidad y el …   Wikipedia Español

  • Espacio de Hilbert equipado — Saltar a navegación, búsqueda En matemáticas, un espacio de Hilbert equipado (EHE) es una generalización de los espacios de Hilbert que permite ligar la teoría de distribuciones y los aspectos cuadrado integrables del análisis funcional. Tales… …   Wikipedia Español

  • Historia de la matemática — Página del Compendio de cálculo por el método de completado y balanceado de Muhammad ibn Mūsā al Khwārizmī (820 d.C.) La historia de las matemáticas es el área de estudio que abarca las investigaciones sobre los orígenes de los descubrimi …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”