# Schwartz space

Last updated

In mathematics, Schwartz space ${\displaystyle {\mathcal {S}}}$ is the function space of all functions whose derivatives are rapidly decreasing. This space has the important property that the Fourier transform is an automorphism on this space. This property enables one, by duality, to define the Fourier transform for elements in the dual space ${\displaystyle {\mathcal {S}}^{*}}$ of ${\displaystyle {\mathcal {S}}}$, that is, for tempered distributions. A function in the Schwartz space is sometimes called a Schwartz function.

## Contents

Schwartz space is named after French mathematician Laurent Schwartz.

## Definition

### Motivation

The idea behind the Schwartz space is to consider the set of all smooth functions on ${\displaystyle \mathbb {R} ^{n}}$ which decrease rapidly. This is encoded by considering all possible derivatives ${\displaystyle D^{\alpha }f=\partial _{x_{1}}^{\alpha _{1}}\cdots \partial _{x_{n}}^{\alpha _{n}}f}$ (with multi-index ${\displaystyle \alpha }$) on a smooth complex-valued function ${\displaystyle f:\mathbb {R} ^{n}\to \mathbb {C} }$ and the supremum of all possible values of ${\displaystyle D^{\alpha }f}$ multiplied by any monomial ${\displaystyle x^{\beta }}$ and bounding them. This restriction is encoded as the inequality

${\displaystyle \sup _{x\in \mathbb {R} ^{n}}|x^{\beta }D^{\alpha }f|<\infty }$

Notice if we only required the derivatives to be bounded, i.e.,

${\displaystyle \sup _{x\in \mathbb {R} ^{n}}|D^{\alpha }f|<\infty }$

this would imply all possible derivatives of a smooth function must be bounded by some constant ${\displaystyle c_{\alpha }}$, so

${\displaystyle \sup _{x\in \mathbb {R} ^{n}}|D^{\alpha }f|=c_{\alpha }<\infty }$

For example, the smooth complex-valued function ${\displaystyle f\in C^{\infty }(\mathbb {R} )}$ with ${\displaystyle f(x)=x^{2}}$ gives ${\displaystyle D^{1}f(x)=2x}$, which is an unbounded function, so any polynomial could not be in this space. But, if we require in addition the original inequality, then this result is even stronger because it implies the inequality

${\displaystyle D^{\alpha }f<{\frac {k_{\alpha ,\beta }}{x^{\beta }}}}$

for any ${\displaystyle \beta }$ and some constant ${\displaystyle k_{\alpha ,\beta }}$ since

${\displaystyle x^{\beta }\cdot D^{\alpha }f

This demonstrates the growth of all derivatives of ${\displaystyle f}$ must be far lesser than the inverse of any monomial.

### Definition

Let ${\displaystyle \mathbb {N} }$ be the set of non-negative integers, and for any ${\displaystyle n\in \mathbb {N} }$, let ${\displaystyle \mathbb {N} ^{n}:=\underbrace {\mathbb {N} \times \dots \times \mathbb {N} } _{n{\text{ times}}}}$ be the n-fold Cartesian product. The Schwartz space or space of rapidly decreasing functions on${\displaystyle \mathbb {R} ^{n}}$ is the function space

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

where ${\displaystyle C^{\infty }(\mathbb {R} ^{n},\mathbb {C} )}$ is the function space of smooth functions from ${\displaystyle \mathbb {R} ^{n}}$ into ${\displaystyle \mathbb {C} }$, and

${\displaystyle \|f\|_{\alpha ,\beta }:=\sup _{x\in \mathbb {R} ^{n}}\left|x^{\alpha }(D^{\beta }f)(x)\right|.}$

Here, ${\displaystyle \sup }$ denotes the supremum, and we use multi-index notation.

To put common language to this definition, one could consider a rapidly decreasing function as essentially a function f(x) such that f(x), f′(x), f′′(x), ... all exist everywhere on R and go to zero as x→ ±∞ faster than any reciprocal power of x. In particular, S(Rn, C) is a subspace of the function space C(Rn, C) of smooth functions from Rn into C.

## Examples of functions in the Schwartz space

• If α is a multi-index, and a is a positive real number, then
${\displaystyle x^{\alpha }e^{-a|x|^{2}}\in {\mathcal {S}}(\mathbf {R} ^{n}).}$
• Any smooth function f with compact support is in S(Rn). This is clear since any derivative of f is continuous and supported in the support of f, so (xαDβ) f has a maximum in Rn by the extreme value theorem.
• Because the Schwartz space is a vector space, any polynomial ${\displaystyle \phi (x^{\alpha })}$ can by multiplied by a factor ${\displaystyle e^{-ax^{2}}}$ for ${\displaystyle a>0}$ a real constant, to give an element of the Schwartz space. In particular, there is an embedding of polynomials inside a Schwartz space.

## Properties

### Analytic properties

It is known that in the dual space of any Montel space, a sequence converges in the strong dual topology if and only if it converges in the weak* topology, [1]

### Relation of Schwartz spaces with other topological vector spaces

• If 1 ≤ p ≤ ∞, then 𝒮(Rn) ⊂ Lp(Rn) .
• If 1 ≤ p < ∞, then 𝒮(Rn) is dense in Lp(Rn).
• The space of all bump functions, C
c
(Rn)
, is included in 𝒮(Rn).

## Related Research Articles

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative. Distributions are widely used in the theory of partial differential equations, where it may be easier to establish the existence of distributional solutions than classical solutions, or appropriate classical solutions may not exist. Distributions are also important in physics and engineering where many problems naturally lead to differential equations whose solutions or initial conditions are distributions, such as the Dirac delta function.

In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions. A function is analytic if and only if its Taylor series about x0 converges to the function in some neighborhood for every x0 in its domain.

In mathematics, a function space is a set of functions between two fixed sets. Often, the domain and/or codomain will have additional structure which is inherited by the function space. For example, the set of functions from any set X into a vector space has a natural vector space structure given by pointwise addition and scalar multiplication. In other scenarios, the function space might inherit a topological or metric structure, hence the name function space.

In mathematics, a Colombeau algebra is an algebra of a certain kind containing the space of Schwartz distributions. While in classical distribution theory a general multiplication of distributions is not possible, Colombeau algebras provide a rigorous framework for this.

In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = np is called its codimension.

In mathematics, smooth functions and analytic functions are two very important types of functions. One can easily prove that any analytic function of a real argument is smooth. The converse is not true, as demonstrated with the counterexample below.

In mathematics, the Radon transform is the integral transform which takes a function f defined on the plane to a function Rf defined on the (two-dimensional) space of lines in the plane, whose value at a particular line is equal to the line integral of the function over that line. The transform was introduced in 1917 by Johann Radon, who also provided a formula for the inverse transform. Radon further included formulas for the transform in three dimensions, in which the integral is taken over planes. It was later generalized to higher-dimensional Euclidean spaces, and more broadly in the context of integral geometry. The complex analogue of the Radon transform is known as the Penrose transform. The Radon transform is widely applicable to tomography, the creation of an image from the projection data associated with cross-sectional scans of an object.

In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense to make the space complete, i.e. a Banach space. Intuitively, a Sobolev space is a space of functions possessing sufficiently many derivatives for some application domain, such as partial differential equations, and equipped with a norm that measures both the size and regularity of a function.

In quantum mechanics, information theory, and Fourier analysis, the entropic uncertainty or Hirschman uncertainty is defined as the sum of the temporal and spectral Shannon entropies. It turns out that Heisenberg's uncertainty principle can be expressed as a lower bound on the sum of these entropies. This is stronger than the usual statement of the uncertainty principle in terms of the product of standard deviations.

In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain. At the very minimum, a function could be considered smooth if it is differentiable everywhere. At the other end, it might also possess derivatives of all orders in its domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function.

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a linear space to allow one to do calculus. Any manifold can be described by a collection of charts, also known as an atlas. One may then apply ideas from calculus while working within the individual charts, since each chart lies within a linear space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In the mathematical field of analysis, the Nash–Moser theorem, discovered by mathematician John Forbes Nash and named for him and Jürgen Moser, is a generalization of the inverse function theorem on Banach spaces to settings when the required solution mapping for the linearized problem is not bounded.

In mathematics, a real or complex-valued function f on d-dimensional Euclidean space satisfies a Hölder condition, or is Hölder continuous, when there are nonnegative real constants C, α>0, such that

In applied mathematics, comparison functions are several classes of continuous functions, which are used in stability theory to characterize the stability properties of control systems as Lyapunov stability, uniform asymptotic stability etc.

In mathematics, a Schwartz–Bruhat function, named after Laurent Schwartz and François Bruhat, is a complex valued function on a locally compact abelian group, such as the adeles, that generalizes a Schwartz function on a real vector space. A tempered distribution is defined as a continuous linear functional on the space of Schwartz–Bruhat functions.

In mathematical analysis, the Schur test, named after German mathematician Issai Schur, is a bound on the operator norm of an integral operator in terms of its Schwartz kernel.

In mathematics, Katugampola fractional operators are integral operators that generalize the Riemann–Liouville and the Hadamard fractional operators into a unique form. The Katugampola fractional integral generalizes both the Riemann–Liouville fractional integral and the Hadamard fractional integral into a single form and It is also closely related to the Erdelyi–Kober operator that generalizes the Riemann–Liouville fractional integral. Katugampola fractional derivative has been defined using the Katugampola fractional integral and as with any other fractional differential operator, it also extends the possibility of taking real number powers or complex number powers of the integral and differential operators.

Functional regression is a version of regression analysis when responses or covariates include functional data. Functional regression models can be classified into four types depending on whether the responses or covariates are functional or scalar: (i) scalar responses with functional covariates, (ii) functional responses with scalar covariates, (iii) functional responses with functional covariates, and (iv) scalar or functional responses with functional and scalar covariates. In addition, functional regression models can be linear, partially linear, or nonlinear. In particular, functional polynomial models, functional single and multiple index models and functional additive models are three special cases of functional nonlinear models.

In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a physical model of some natural phenomenon.

In mathematical analysis, the spaces of test functions and distributions are topological vector spaces (TVSs) that are used in the definition and application of distributions. Test functions are usually infinitely differentiable complex-valued functions on a non-empty open subset that have compact support. The space of all test functions, denoted by is endowed with a certain topology, called the canonical LF-topoogy, that makes into a complete Hausdorff locally convex TVS. The strong dual space of is called the space of distributions on and is denoted by where the "" subscript indicates that the continuous dual space of denote by is endowed with the strong dual topology.

## References

1. Trèves 2006, pp. 351–359.

### Sources

• Hörmander, L. (1990). The Analysis of Linear Partial Differential Operators I, (Distribution theory and Fourier Analysis) (2nd ed.). Berlin: Springer-Verlag. ISBN   3-540-52343-X.
• Reed, M.; Simon, B. (1980). Methods of Modern Mathematical Physics: Functional Analysis I (Revised and enlarged ed.). San Diego: Academic Press. ISBN   0-12-585050-6.
• Stein, Elias M.; Shakarchi, Rami (2003). Fourier Analysis: An Introduction (Princeton Lectures in Analysis I). Princeton: Princeton University Press. ISBN   0-691-11384-X.
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN   978-0-486-45352-1. OCLC   853623322.