Espacio de Schwartz
# Espacio de Schwartz

En matemáticas, un espacio de Schwartz es un espacio funcional de funciones de decrecimiento rápido. Este tipo de espacio tiene la propiedad interesante de que la transformada de Fourier es un automorfismo de este espacio. Esta propiedad permite, por dualidad, extender la definición de la transformada de Fourier a funciones generalizadas pertenecientes al espacio dual del espacio de Schwartz.

Este tipo de espacios se nombra así en honor a Laurent Schwartz. Una función del espacio de Schwartz se llama a veces función de Schwartz.

## Definición

El espacio de Schwartz o espacio de funciones de decrecimiento rápido ${\mathcal {S}}(\mathbb {R} ^{n})$ definido sobre el espacio euclídeo $\mathbb {R} ^{n}$ es el conjunto de funciones:

   ${\mathcal {S}}\left(\mathbb {R} ^{n}\right)=\{f\in C^{\infty }(\mathbb {R} ^{n})\mid \forall \,\alpha ,\beta :\ \|f\|_{\alpha ,\beta }<\infty \},$

Donde:

    $\alpha ,\beta \,$ son multíndices (conjuntos ordenados de índices).
    $C^{\infty }(\mathbb {R} ^{n})$ es el conjunto de funciones reales suaves sobre $\mathbb {R} ^{n}$.
    $\|\cdot \|$ es una norma definida a partir de la norma del supremo como:
   $\|f\|_{\alpha ,\beta }:=\|x^{\alpha }D^{\beta }f\|_{\infty }=\sup _{\mathbf {x} \in \mathbb {R} ^{n}}\left|x_{i_{1}}^{\alpha _{1}}\ldots x_{i_{m}}^{\alpha _{m}}{\frac {\partial ^{|\beta |}f}{\partial x_{j_{1}}^{\beta _{1}}\ldots x_{j_{k}}^{\beta _{k}}}}\right|$

Donde los números $\alpha _{i},\beta _{j}$ son enteros positivos que satisfacen:

   $\sum _{i=1}^{m}\alpha _{i}=|\alpha |,\qquad \sum _{j=1}^{k}\beta _{j}=|\beta |$

## Ejemplos de funciones en ${\mathcal {S}}(\mathbb {R} ^{n})$

* Si $a,n>0\,$, entonces $x^{n}e^{-ax^{2}}\in {\mathcal {S}}(\mathbb {R} ^{n})$.
* Cualquier función suave de soporte compacto está en ${\mathcal {S}}(\mathbb {R} ^{n})$.

## Propiedades

* ${\mathcal {S}}$ es un espacio de Fréchet sobre los números complejos $\mathbb {C}$.
* Por la regla de Leibniz se sigue que ${\mathcal {S}}(\mathbb {R} ^{n})$ es cerrado bajo la multiplicación punto a punto, es decir, $f,g\in {\mathcal {S}}(\mathbb {R} ^{n})\Rightarrow h(x):=f(x)g(x)\in {\mathcal {S}}(\mathbb {R} ^{n})$.
* La transformada de Fourier es un automorfismo lineal acotado de ${\mathcal {S}}(\mathbb {R} ^{n})$ en sí mismo.
* Para cualquier $1\leq p\leq \infty$, se tiene que ${\mathcal {S}}\subset L^{p},$ donde $L^{p}$($\mathbb {R} ^{n}$) es el espacio de funciones p-integrables en $\mathbb {R} ^{n}$. En particular, cualquier función de ${\mathcal {S}}$ es una función acotada.
