Schwartz space

From Wikipedia, the free encyclopedia

In mathematics, Schwartz space is the function space of rapidly decreasing functions. This space has the important property that the Fourier transform is an endomorphism on this space. This property enables one, by duality, to define the Fourier transform for elements in the dual space of $\mathcal{S}$ , that is, for tempered distributions. Schwartz space is named in honour of Laurent Schwartz. A function in the Schwartz space is sometimes called a Schwartz function.

A two-dimensional Gaussian function is an example of a rapidly decreasing function.

1 Definition
2 Examples of functions in S
3 Properties
4 References

[edit] Definition

The Schwartz space or space of rapidly decreasing functions $\mathcal{S}$ on Rⁿ is the function space

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

where α, β are multi-indices, C^∞(Rⁿ) is the set of smooth functions from Rⁿ to C, and

$||f||_{\alpha,\beta}=||x^\alpha D^\beta f||_\infty\,.$

Here, $||\cdot||_\infty$ is the supremum norm, and we use multi-index notation. When the dimension n is clear, it is convenient to write $\mathcal{S}=\mathcal{S}(\mathbb{R}^n)$ .

[edit] Examples of functions in S

If i is a multi-index, and a is a positive real number, then

$x^i e^{-a x^2} \in \mathcal{S} (\mathbb{R}).$

Any smooth function f with compact support is in $\mathcal{S}$ . This is clear since any derivative of f is continuous, so (x^α D^β) f has a maximum in Rⁿ.

[edit] Properties

$\mathcal{S}$ is a Fréchet space over complex numbers. In other words, $\mathcal{S}$ is closed under point-wise addition and under multiplication by a complex scalar.

Using Leibniz' rule, it follows that $\mathcal{S}$ is also closed under point-wise multiplication; if $f,g \in \mathcal{S}$ , then $fg: x\mapsto f(x)g(x)$ is also in $\mathcal{S}$ .

For any 1 ≤ p ≤ ∞, we have $\mathcal{S}\subset L^p,$ where L^p(Rⁿ) is the space of p-integrable functions on Rⁿ. In particular, functions in $\mathcal{S}$ are bounded (Reed & Simon 1980).

The Fourier transform is a linear isomorphism $\mathcal{S} \to \mathcal{S}$ .

[edit] References

L. Hörmander, The Analysis of Linear Partial Differential Operators I, (Distribution theory and Fourier Analysis), 2nd ed, Springer-Verlag, 1990.
M. Reed, B. Simon, Methods of Modern Mathematical Physics: Functional Analysis I, Revised and enlarged edition, Academic Press, 1980.

This article incorporates material from Space of rapidly decreasing functions on PlanetMath, which is licensed under the GFDL.

See also ebooksgratis.com: no banners, no cookies, totally FREE.

Schwartz space

From Wikipedia, the free encyclopedia

Contents

[edit] Definition

[edit] Examples of functions in S

[edit] Properties

[edit] References

Views

Navigation

Interaction

Search

Languages