Colombeau algebra
|
|
In mathematics, the Colombeau algebra is an algebra introduced with the aim of constructing an improved theory of distributions, in which multiplication is not problematic. The origins of the theory are in applications to quasilinear hyperbolic partial differential equations.
It is defined as a quotient algebra
- <math>C^\infty_M(\mathbb{R}^n)/C^\infty_N(\mathbb{R}^n)<math>.
Here the moderate functions on Rn are defined as
- <math>C^\infty_M(\mathbb{R}^n)<math>
which are families f(x) of smooth functions on Rn such that
- <math>f:\mathbb{R}^+\rightarrow C^\infty(\mathbb{R}^n)<math>
(where R+=(0,∞)) and for all compact subsets K of Rn and multiindices α we have N > 0, η > 0 and c > 0 such that for all ε > 0 with ε < η and x in K
- <math>\left|\frac{\partial^{|\alpha|}}{(\partial x^1)^{\alpha_1}...(\partial x^n)^{\alpha_n}}f_\epsilon(x)\right|\leq\frac{c}{\epsilon^N}<math>
The ideal <math>C^\infty_N(\mathbb{R}^n)<math> of negligible functions is defined in the same way but with the partial derivatives instead bounded by cεN for all N>0.
Embedding of distributions
The space(s) of Schwartz distributions can be embedded into this simplified algebra by convolution with a net of suitable mollifiers.
(Details should be added here, from Generalized functions and/or mollifiers.)
This embedding is non-canonical, because it depends on the choice of the mollifier. The "full" (non-simplified) Colombeau algebra is obtained by adding the mollifiers as second indexing set. In this setting, Schwartz distributions can be canonically embedded.
See also
References
- J.F. Colombeau: New Generalized Functions and Multiplication of the Distributions. North Holland, 1983.