Colombeau algebra - Definition

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 Rⁿ are defined as

<math>C^\infty_M(\mathbb{R}^n)<math>

which are families f(x) of smooth functions on Rⁿ such that

<math>f:\mathbb{R}^+\rightarrow C^\infty(\mathbb{R}^n)<math>

and for all compact subsets K of Rⁿ 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.