Abstract
We present a construction of algebras of generalized functions of Colombeau-type which, instead of asymptotic estimates with respect to a regularization parameter, employs only topological estimates on certain spaces of kernels for its definition.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Colombeau algebras, as introduced by Colombeau [1, 2], today represent the most widely studied approach to embedding the space of Schwartz distributions into an algebra of generalized functions such that the product of smooth functions as well as partial derivatives of distributions are preserved. These algebras have found numerous applications in situations involving singular objects, differentiation and nonlinear operations (see, e.g., [9, 12, 15]).
All constructions of Colombeau algebras so far incorporate certain asymptotic estimates for the definition of the spaces of moderate and negligible functions, the quotient of which constitutes the algebra. There is a certain degree of freedom in the asymptotic scale employed for these estimates; while commonly a polynomial scale is used, generalizations in several directions are possible. For an overview we refer to works on asymptotic scales [3, 7], \((\mathcal {C}, \mathcal {E}, \mathcal {P})\)-algebras [5], sequence spaces with exponent weights [6] and asymptotic gauges [8].
In this article we will present an algebra of generalized functions which instead of asymptotic estimates employs only topological estimates on certain spaces of kernels for its definition. This is a direct generalization of the usual seminorm estimates valid for distributions.
We will first develop the most general setting in the local scalar case, namely that of diffeomorphism invariant full Colombeau algebras. We will then derive a simpler variant, similar to Colombeau’s elementary algebra. Finally, we give canonical mappings into the most important Colombeau algebras, which points to a certain universality of the construction offered here.
2 Preliminaries
\(\mathbb {N}\) and \(\mathbb {N}_0\) denote the sets of positive and non-negative integers, respectively, and \(\mathbb {R}^+\) the set of nonnegative real numbers. Concerning distribution theory we use the notation and terminology of L. Schwartz [18].
Given any subsets \(K,L \subseteq \mathbb {R}^n\) (with \(n \in \mathbb {N}\)) the relation \(K \Subset L\) means that K is compact and contained in the interior \(L^\circ \) of L.
Let \(\Omega \subseteq \mathbb {R}^n\) be open. \(C^\infty (\Omega )\) is the space of complex-valued smooth functions on \(\Omega \). For any \(K,L \Subset \Omega \), \(m,l \in \mathbb {N}_0\) and any bounded subset \(B \subseteq C^\infty (\Omega )\) we set
Note that \(||\cdot ||_{K,m}\), \(||\cdot ||_{K,m; L, l}\) and \(||\cdot ||_{K,m; B}\) are continuous seminorms on the respective spaces.
We define \(\vec \delta \in C^\infty (\Omega , \mathcal {E}'(\Omega ))\) by \(\vec \delta (x) \mathrel {\mathop :}=\delta _x\) for \(x \in \Omega \), where \(\delta _x\) is the delta distribution at x.
\(\mathcal {D}_L(\Omega )\) is the space of test functions on \(\Omega \) with support in L. For two locally convex spaces E and F, \(\mathcal {L}(E,F)\) denotes the space of linear continuous mappings from E to F, endowed with the topology of bounded convergence. By \(\mathcal {U}_x(\Omega )\) we denote the filter base of open neighborhoods of a point x in \(\Omega \), and by \(\mathcal {U}_K(\Omega )\) the filter base of open neighborhoods of K. By \(\mathrm {csn}(E)\) we denote the set of continuous seminorms of a locally convex space E. \(B_r(x) \mathrel {\mathop :}=\{ y \in \mathbb {R}^n : ||y-x|| < r \}\) is the open Euclidean ball of radius \(r>0\) at \(x \in \mathbb {R}^n\), and for any subset \(K \subseteq \mathbb {R}^n\) we define \(B_r(K) \mathrel {\mathop :}=\bigcup _{x \in K} B_r(x)\).
Our notion of smooth functions between arbitrary locally convex spaces is that of convenient calculus [11]. In particular, \(\mathrm {d}^k f\) denotes the k-th differential of a smooth mapping f.
3 Construction of the algebra
Throughout this section let \(\Omega \subseteq \mathbb {R}^n\) be a fixed open set. Let \(\mathcal {C}\) be the category of locally convex spaces with smooth mappings in the sense of convenient calculus as morphisms.
Definition 1
Consider \(C^\infty ({-}, \mathcal {D}(\Omega ))\) and \(C^\infty ({-})\) as sheaves with values in \(\mathcal {C}\). We define the basic space of nonlinear generalized functions on \(\Omega \) to be the set of sheaf homomorphisms
Hence, an element of \(\mathcal {B}(\Omega )\) is given by a family \((R_U)_U\) of mappings
satisfying \(R_U(\vec \varphi )|_V = R_V(\vec \varphi |_V)\) for all open subsets \(V \subseteq U\) and \(\vec \varphi \in C^\infty (U, \mathcal {D}(\Omega ))\). We will casually write R in place of \(R_U\).
Remark 2
The basic space \(\mathcal {B}(\Omega )\) can be identified with the set of all mappings \(R \in C^\infty ( C^\infty (\Omega , \mathcal {D}(\Omega )), C^\infty (\Omega ))\) such that for any open subset \(U \subseteq \Omega \) and \(\vec \varphi , \vec \psi \in C^\infty (\Omega , \mathcal {D}(\Omega ))\) the equality \(\vec \varphi |_U = \vec \psi |_U\) implies \(R(\vec \varphi )|_U = R(\vec \psi )|_U\) (cf. [10]).
\(\mathcal {B}(\Omega )\) is a \(C^\infty (\Omega )\)-module with multiplication
for \(R \in \mathcal {B}(\Omega )\), \(f \in C^\infty (\Omega )\), \(U \subseteq \Omega \) open and \(\vec \varphi \in C^\infty (U, \mathcal {D}(\Omega ))\). Moreover, it is an associative commutative algebra with product \((R \cdot S)_U(\vec \varphi ) \mathrel {\mathop :}=R_U(\vec \varphi ) \cdot S_U(\vec \varphi )\).
A distribution \(u \in \mathcal {D}'(\Omega )\) defines a sheaf morphism from \(C^\infty ({-}, \mathcal {D}(\Omega ))\) to \(C^\infty ({-})\). In fact, for \(U \subseteq \Omega \) open and \(\vec \varphi \in C^\infty (U, \mathcal {D}(\Omega ))\) the function \(x \mapsto \langle u, \varphi (x) \rangle \) is an element of \(C^\infty (U)\) (see [18, Chap. IV, §1, Th. II, p. 105] or [20, Theorem 40.2, p. 416]). More abstractly, this can be seen using the theory of topological tensor products [16, 17, 20] as follows:
where \(C^\infty (U) \mathbin {{\widehat{\otimes }}} \mathcal {D}(\Omega )\) denotes the completed projective tensor product of \(C^\infty (U)\) and \(\mathcal {D}(\Omega )\). The assignment \(\vec \varphi \mapsto \langle u, \vec \varphi \rangle \) is smooth, being linear and continuous [11, 1.3, p. 9]. Hence, we have the following embeddings of distributions and smooth functions into \(\mathcal {B}(\Omega )\):
Definition 3
We define \(\iota :\mathcal {D}'(\Omega ) \rightarrow \mathcal {B}(\Omega )\) and \(\sigma :C^\infty (\Omega ) \rightarrow \mathcal {B}(\Omega )\) by
for \(\vec \varphi \in C^\infty (U, \mathcal {D}(\Omega ))\) with \(U \subseteq \Omega \) open and \(x \in U\).
Clearly \(\iota \) is linear and \(\sigma \) is an algebra homomorphism. Directional derivatives on \(\mathcal {B}(\Omega )\) then are defined as follows:
Definition 4
Let \(X \in C^\infty (\Omega , \mathbb {R}^n)\) be a smooth vector field and \(R \in \mathcal {B}(\Omega )\). We define derivatives \({\widetilde{\mathrm {D}}}_X :\mathcal {B}(\Omega ) \rightarrow \mathcal {B}(\Omega )\) and \({\widehat{\mathrm {D}}}_X :\mathcal {B}(\Omega ) \rightarrow \mathcal {B}(\Omega )\) by
for \(\vec \varphi \in C^\infty (U, \mathcal {D}(\Omega ))\) with \(U \subseteq \Omega \) open, where we set
Here, \((\mathrm {D}_X \vec \varphi )(x)\) is the directional derivative of \(\vec \varphi \) at x in direction X(x) and \((\mathrm {D}_X^\omega \circ \vec \varphi )(x)\) is the Lie derivative of \(\vec \varphi (x)\) considered as a differential form, given by \(\mathrm {D}_X^\omega ( \vec \varphi (x)) = \mathrm {D}_X ( \vec \varphi (x)) + ({{\mathrm{Div}}}X)(x) \cdot \vec \varphi (x)\).
Note that both \({\widetilde{\mathrm {D}}}_X\) and \({\widehat{\mathrm {D}}}_X\) satisfy the Leibniz rule. We have
While \({\widetilde{\mathrm {D}}}_X\) is \(C^\infty (\Omega )\)-linear in X, \({\widehat{\mathrm {D}}}_X\) is only \(\mathbb {C}\)-linear in X. We refer to [13, 14] for a discussion of the role of these derivatives in differential geometry.
Definition 5
For \(k \in \mathbb {N}_0\) we set
More explicitly, \(\mathcal {P}_k\) is the commutative semiring of polynomials in the \(k+1\) commuting variables \(y_0, \ldots , y_k\) with coefficients in \(\mathbb {R}^+\). Similarly, \(\mathcal {I}_k\) is the commutative semiring in the \(2(k+1)\) commuting variables \(y_0, \ldots , y_k, z_0, \ldots , z_k\) with coefficients in \(\mathbb {R}^+\) and such that, if \(\lambda \in \mathcal {I}_k\) is given by the finite sum
then \(\lambda _{\alpha 0} = 0\) for all \(\alpha \). Note that \(\mathcal {P}_k\) is a subsemiring of \(\mathcal {P}_{k+1}\) and \(\mathcal {I}_k\) a subsemiring of \(\mathcal {I}_{k+1}\). Furthermore, \(\mathcal {I}_k\) is an ideal in \(\mathcal {P}_k\) if \(\mathcal {P}_k\) is considered as a subsemiring of \(\mathbb {R}^+ [y_0, \ldots , y_k, z_0, \ldots , z_k]\). Given \(\lambda \in \mathcal {P}_k\) and \(y_i \le y_i'\) for \(i=0 \ldots k\) we have \(\lambda (y) \le \lambda (y')\). For \(\lambda , \mu \in \mathcal {P}_k\) we write \(\lambda \le \mu \) if \(\lambda (y) \le \mu (y)\) for all \(y \in (\mathbb {R}^+)^{k+1}\), and similarly for \(\lambda , \mu \in \mathcal {I}_k\).
We can now formulate the following definitions of moderateness and negligibility, not involving any asymptotic estimates:
Definition 6
An element \(R \in \mathcal {B}(\Omega )\) is called moderate if
The subset of all moderate elements of \(\mathcal {B}(\Omega )\) is denoted by \(\mathcal {M}(\Omega )\).
Definition 7
An element \(R \in \mathcal {B}(\Omega )\) is called negligible if
The subset of all negligible elements of \(\mathcal {B}(\Omega )\) is denoted by \(\mathcal {N}(\Omega )\).
It is worthwile to discuss possible simplifications of these definitions, which at this stage should be considered more as a proof of concept than as the definite form they should have. First, we note that we cannot replace \((\forall x \in \Omega )\ (\exists U \in \mathcal {U}_x(\Omega ))\ (\forall K,L \Subset U)\) by \((\forall K,L \Subset \Omega )\). In fact, in the second case K and L can be distant from each other, while in the first case it suffices to control the situation where K and L are close to each other. However, the following result shows that we can always assume \(K \Subset L\) and that the \(\vec \varphi _0,\ldots ,\vec \varphi _k\) are given merely on an arbitrary open neighborhood of K, i.e., as elements of the direct limit \(C^\infty (K, \mathcal {D}_L(\Omega )) \mathrel {\mathop :}=\varinjlim \nolimits _{V \in \mathcal {U}_K(\Omega )} C^\infty (V, \mathcal {D}_L(\Omega ))\):
Proposition 8
Let \(R \in \mathcal {B}(\Omega )\). Then R is moderate if and only if
Similarly, R is negligible if and only if
Proof
Obviously each of these conditions is weaker than the corresponding one of Definition 6 or Definition 7.
Suppose we are given \(R \in \mathcal {B}(\Omega )\) such that the condition stated for moderateness holds. Given \(x \in \Omega \) there hence exists some \(U \in \mathcal {U}_x(\Omega )\). Now given arbitrary \(K, L \Subset U\) we choose a set \(L' \Subset U\) such that \(K \cup L \Subset L'\). Fixing \(m, k \in \mathbb {N}_0\) for the moderateness test, for \((K,L')\) we hence obtain \(c,l \in \mathbb {N}_0\) and \(\lambda \in \mathcal {P}_k\). Now fix some \(\vec \varphi _0, \ldots , \vec \varphi _k \in C^\infty (U, \mathcal {D}_L(U))\); each of those represents an element of \(C^\infty (K, \mathcal {D}_{L'}(U))\), whence we have the estimate
where the last equality follows because the \(\vec \varphi _0,\ldots ,\vec \varphi _k\) take values in \(\mathcal {D}_L(U)\). This shows that R is moderate.
For the case of negligibility we proceed similarly until we obtain \(c,l \in \mathbb {N}_0\), \(\lambda \in \mathcal {I}_k\) and \(B \subseteq C^\infty (U)\). Let \(\chi \in \mathcal {D}(U)\) be such that \(\chi \equiv 1\) on a neighborhood of \(L'\) and set \(B' \mathrel {\mathop :}=\{ \chi f\ |\ f \in B \} \subseteq C^\infty (\Omega )\), which is bounded. For any \(\vec \varphi _0, \ldots , \vec \varphi _k\) we then obtain
which proves negligibility of R. \(\square \)
If the test of Definition 6, Definition 7 or Definition 8 holds on some U then clearly it also holds on any open subset of U. The following characterization of moderateness and negligiblity is obtained by applying polarization identities to the differentials of R:
Lemma 9
Let \(R \in \mathcal {B}(\Omega )\).
-
(i)
R is moderate if and only if
$$\begin{aligned}&(\forall x \in \Omega )\ (\exists U \in \mathcal {U}_x(\Omega ))\ (\forall K,L \Subset U)\ (\forall m,k \in \mathbb {N}_0)\\&\quad (\exists c,l \in \mathbb {N}_0)\ (\exists \lambda \in \mathcal {P}_{\min (1,k)}) \ (\forall \vec \varphi , \vec \psi \in C^\infty (U, \mathcal {D}_L(U))):\\&\quad || \mathrm {d}^k R(\vec \varphi )(\vec \psi ,\ldots ,\vec \psi )||_{K, m} \le \left\{ \begin{aligned}&\lambda ( ||\vec \varphi ||_{K,c; L, l} )&\text {if }k = 0, \\&\lambda ( ||\vec \varphi ||_{K,c; L, l}, ||\vec \psi ||_{K,c; L, l} )&\text {if }k \ge 1. \end{aligned} \right. \end{aligned}$$ -
(ii)
R is negligible if and only if
$$\begin{aligned}&(\forall x \in \Omega )\ (\exists U \in \mathcal {U}_x(\Omega ))\ (\forall K,L \Subset U)\ (\forall m,k \in \mathbb {N}_0)\ (\exists c,l \in \mathbb {N}_0)\\&\quad (\exists \lambda \in \mathcal {I}_{\min (1,k)})\ (\exists B \subseteq C^\infty (\Omega )\ \text {bounded})\ (\forall \vec \varphi , \vec \psi \in C^\infty (U, \mathcal {D}_L(U))):\\&\quad ||\mathrm {d}^kR(\vec \varphi )(\vec \psi ,\ldots ,\vec \psi )||_{K, m} \\&\quad \le \left\{ \begin{aligned}&\lambda ( ||\vec \varphi ||_{K,c; L, l}, || \vec \varphi - \vec \delta ||_{K, c; B} )&\text {if }k = 0, \\&\lambda ( ||\vec \varphi ||_{K,c; L, l}, ||\vec \psi ||_{K,c; L, l}, || \vec \varphi - \vec \delta ||_{K, c; B}, || \vec \psi ||_{K, c; B} )&\text {if }k \ge 1. \end{aligned} \right. \end{aligned}$$
Proof
We assume \(k \ge 1\), as for \(k=0\) the statements are identical. (i) “\(\Rightarrow \)”: One obtains \(\lambda \in \mathcal {P}_k\) such that
with \(\lambda ' \in \mathcal {P}_1\) given by \(\lambda '(y_0, y_1) = \lambda (y_0, y_1, \ldots , y_1)\).
“\(\Leftarrow \)”: One obtains \(\lambda \in \mathcal {P}_1\). We then use the polarization identity [19, eq. (7), p. 471]
where \(S_J \mathrel {\mathop :}=\sum _{i \in J} \vec \varphi _i\) and we have set \(\Delta ^*(\mathrm {d}^k R ( \vec \varphi _0))(\vec \psi ) = \mathrm {d}^k R (\vec \varphi _0)(\vec \psi , \ldots , \vec \psi )\).
Hence,
with \(\lambda ' \in \mathcal {P}_k\) given by
(ii) “\(\Rightarrow \)”: We have \(\lambda \in \mathcal {I}_k\) such that
with \(\lambda ' \in \mathcal {I}_k\) given by
“\(\Leftarrow \)”: We obtain \(\lambda \in \mathcal {I}_1\) such that, as above,
with \(\lambda ' \in \mathcal {I}_k\) given by
\(\square \)
Note that the polarization identities could be applied also in the formulation of Proposition 8.
Proposition 10
\(\mathcal {N}(\Omega ) \subseteq \mathcal {M}(\Omega )\).
Proof
Let \(R \in \mathcal {N}(\Omega )\) and fix \(x \in \Omega \) for the moderateness test. By negligibility of R there exists \(U \in \mathcal {U}_x(\Omega )\) as in Definition 7. Let \(K,L \Subset U\) and \(m,k \in \mathbb {N}_0\) be arbitrary. Then there exist \(c,l,\lambda \) and B such that the estimate of Definition 7 holds. We know that \(\lambda \in \mathcal {I}_k\) is given by a finite sum
It suffices to show that there are \(\lambda _1, \lambda _2 \in \mathcal {P}_0\) such that for any \(\vec \varphi \in C^\infty (U, \mathcal {D}_L(U))\) we have the estimates
In fact, these inequalities imply
with \(\lambda ' \in \mathcal {P}_k\) given by
Inequality (1) is seen as follows:
with \(\lambda _1(y_0) = \left| L\right| \cdot \sup _{f \in B} ||f||_{L,0} \cdot y_0 + \sup _{f \in B} ||f||_{K,c}\), where \(\left| L\right| \) denotes the Lebesgue measure of L. Similarly, inequality (2) results from
with \(\lambda _2(y_0) = \left| L\right| \cdot \sup _{f \in B} ||f||_{L,0} \cdot y_0\). \(\square \)
Proposition 11
\(\mathcal {M}(\Omega )\) is a subalgebra of \(\mathcal {B}(\Omega )\) and \(\mathcal {N}(\Omega )\) is an ideal in \(\mathcal {M}(\Omega )\).
Proof
This is evident from the definitions. \(\square \)
Theorem 12
Let \(u \in \mathcal {D}'(\Omega )\) and \(f \in C^\infty (\Omega )\). Then
-
(i)
\(\iota u\) is moderate,
-
(ii)
\(\sigma f\) is moderate,
-
(iii)
\(\iota f - \sigma f\) is negligible, and
-
(iv)
if \(\iota u\) is negligible then \(u=0\).
Proof
(i): Fix x for the moderateness test and let \(U \in \mathcal {U}_x(\Omega )\) be arbitrary. Fix any \(K,L \Subset U\) and \(m \in \mathbb {N}_0\). Then there are constants \(C = C(L) \in \mathbb {R}^+\) and \(l = l(L) \in \mathbb {N}_0\) such that \(\left| \langle u, \varphi \rangle \right| \le C ||\varphi ||_{L,l}\) for all \(\varphi \in \mathcal {D}_L(\Omega )\). Hence, we see that
with \(\lambda ( y_0 ) = C y_0\). Moreover, we have
with \(\lambda (y_0, y_1) = C y_1\). Higher differentials of \(\iota u\) vanish and the moderateness test is satisfied with \(\lambda = 0\) for \(k \ge 2\).
(ii): Fix x and let \(U \in \mathcal {U}_x(\Omega )\) be arbitrary. For any \(K,L \Subset U\) and \(m \in \mathbb {N}_0\) we have
with \(\lambda (y_0) = ||f||_{K,m}\). Differentials of \(\sigma f\) vanish, i.e., \(\lambda = 0\) for \(k\ge 1\).
(iii): Fix x and let \(U \in \mathcal {U}_x(\Omega )\) be arbitrary. For any \(K,L \Subset U\) and \(m,k \in \mathbb {N}_0\) we have
Hence, with \(c = m\), \(l = 0\) and \(B = \{ f \}\) the negligibility test is satisfied with \(\lambda (y_0, z_0) = z_0\) for \(k=0\), \(\lambda (y_0, y_1, z_0, z_1) = z_1\) for \(k=1\) and \(\lambda =0\) for \(k \ge 2\).
(iv): We show that every point \(x \in \Omega \) has an open neighborhood V such that \(u|_V = 0\), which implies \(u=0\).
Given \(x \in \Omega \), let \(U \in \mathcal {U}_x(\Omega )\) be as in the characterization of negligibility in Proposition 8. Choose an open neighborhood V of x such that \(K \mathrel {\mathop :}=\overline{V} \Subset U\) and \(r>0\) such that \(L \mathrel {\mathop :}=\overline{B_r(K)} \Subset U\). With \(k=m=0\), Proposition 8 gives \(c,l \in \mathbb {N}_0\), \(\lambda \in \mathcal {I}_0\) and \(B \subseteq C^\infty (U)\), where \(\lambda \) has the form
Choose \(\varphi \in \mathcal {D}(\mathbb {R}^n)\) with \({{\mathrm{supp}}}\varphi \subseteq B_1(0)\), \(\int \varphi (x) \,\mathrm {d}x = 1\) and \(\int x^\gamma \varphi (x) \,\mathrm {d}x = 0\) for \(\gamma \in \mathbb {N}_0^n\) with \(0 < \left| \gamma \right| \le q\), where q is chosen such that \(\beta (q+1) > \alpha (n\,+\,c\,+\,l)\) for all \(\alpha ,\beta \) with \(\lambda _{\alpha \beta } \ne 0\) (e.g., take \(q = (n\,+\,c\,+\,l) \deg _y \lambda \), where \(\deg _y \lambda \) is the degree of \(\lambda \) with respect to y). For \(\varepsilon >0\) set \(\varphi _\varepsilon (y) = \varepsilon ^{-n} \varphi (y/\varepsilon )\). Then for \(\varepsilon <r\), \(\vec \varphi _\varepsilon (x)(y) \mathrel {\mathop :}=\varphi _\varepsilon (y-x)\) defines an element \(\vec \varphi _\varepsilon \in C^\infty (K, \mathcal {D}_L(\Omega ))\) because \({{\mathrm{supp}}}\varphi _\varepsilon (.-x) = x + {{\mathrm{supp}}}\varphi _\varepsilon \subseteq B_\varepsilon (x) \subseteq B_r(K) \subseteq L\) for \(x \in B_{r-\varepsilon }(K)\). Consequently, we have
Because of the estimates
which may be verified by a direct calculation, we have
by the choice of q, which means that \((\iota u)(\vec \varphi _\varepsilon )|_V \rightarrow 0\) in C(V) and hence also in \(\mathcal {D}'(V)\). On the other hand, we have
in \(\mathcal {D}'(V)\), as is easily verified. This completes the proof. \(\square \)
Theorem 13
For \(X \in C^\infty (\Omega , \mathbb {R}^n)\) we have
-
(i)
\({\widetilde{\mathrm {D}}}_X ( \mathcal {M}(\Omega )) \subseteq \mathcal {M}(\Omega )\) and \({\widehat{\mathrm {D}}}_X ( \mathcal {M}(\Omega )) \subseteq \mathcal {M}(\Omega )\),
-
(ii)
\({\widetilde{\mathrm {D}}}_X ( \mathcal {N}(\Omega )) \subseteq \mathcal {N}(\Omega )\) and \({\widehat{\mathrm {D}}}_X ( \mathcal {N}(\Omega )) \subseteq \mathcal {N}(\Omega )\).
Proof
The claims for \({\widetilde{\mathrm {D}}}_X\) are clear because
for some constant C depending on X. As to \({\widehat{\mathrm {D}}}_X\), we have to deal with terms of the form
for which we use the estimate
for some constant C depending on X. \(\square \)
We now come to the quotient algebra.
Definition 14
We define the Colombeau algebra of generalized functions on \(\Omega \) by \(\mathcal {G}(\Omega ) \mathrel {\mathop :}=\mathcal {M}(\Omega ) / \mathcal {N}(\Omega )\).
\(\mathcal {G}(\Omega )\) is a \(C^\infty (\Omega )\)-module and an associative commutative algebra with unit \(\sigma (1)\). \(\iota \) is a linear embedding of \(\mathcal {D}'(\Omega )\) and \(\sigma \) an algebra embedding of \(C^\infty (\Omega )\) into \(\mathcal {G}(\Omega )\) such that \(\iota f = \sigma f\) in \(\mathcal {G}(\Omega )\) for all smooth functions \(f \in C^\infty (\Omega )\). Furthermore, the derivatives \({\widehat{\mathrm {D}}}_X\) and \({\widetilde{\mathrm {D}}}_X\) are well-defined on \(\mathcal {G}(\Omega )\).
Finally, we establish sheaf properties of \(\mathcal {G}\). Note that for \(\Omega ' \Subset \Omega \) open, the restriction \(R|_{\Omega '}(\vec \varphi ) \mathrel {\mathop :}=R(\vec \varphi )\) is well-defined because for \(U \subseteq \Omega '\) open we have \(C^\infty (U, \mathcal {D}(\Omega ')) \subseteq C^\infty (U, \mathcal {D}(\Omega ))\).
Proposition 15
Let \(R \in \mathcal {B}(\Omega )\) and \(\Omega ' \subseteq \Omega \) be open. If R is moderate then \(R|_{\Omega '}\) is moderate; if R is negligible then \(R|_{\Omega '}\) is negligible.
Proof
Suppose that \(R \in \mathcal {M}(\Omega )\). Fix \(x \in \Omega '\), which gives \(U \in \mathcal {U}_x(\Omega )\). Set \(U' \mathrel {\mathop :}=U \cap \Omega ' \in \mathcal {U}_x(\Omega ')\) and let \(K,L \Subset U'\) and \(m,k \in \mathbb {N}_0\) be arbitrary. Then there are \(c,l,\lambda \) as in Definition 6. Let now \(\vec \varphi _0', \ldots , \vec \varphi _k' \in C^\infty (U', \mathcal {D}_L(U'))\) be given. Choose \(\rho \in \mathcal {D}(U')\) such that \(\rho \equiv 1\) on a neighborhood of K. Then \(\rho \cdot \vec \varphi '_i \in C^\infty (U, \mathcal {D}_L(U))\) (\(i=0 \ldots k\)) and
Hence, the moderateness test is satisfied for \(R|_{\Omega '}\).
Now suppose that \(R \in \mathcal {N}(\Omega )\). For the negligibility test fix \(x \in \Omega '\), which gives \(U \in \mathcal {U}_x(\Omega )\). Set \(U' \mathrel {\mathop :}=U \cap \Omega '\) and let \(K,L \Subset U'\) and \(m,k \in \mathbb {N}_0\) be arbitrary. Then \(\exists c,l,B,\lambda \) as in Definition 7. Let now \(\vec \varphi _0', \ldots , \vec \varphi _k' \in C^\infty (U', \mathcal {D}_L(U'))\) be given. Choose \(\rho \in \mathcal {D}(U')\) such that \(\rho \equiv 1\) on a neighborhood of K. Then \(\rho \cdot \vec \varphi '_i \in C^\infty (U, \mathcal {D}_L(U))\) (\(i=0 \ldots k\)) and
which shows negligibility of \(R|_{\Omega '}\). \(\square \)
Proposition 16
\(\mathcal {G}({-})\) is a sheaf of algebras on \(\Omega \).
Proof
Let \(X \subseteq \Omega \) be open and \((X_i)_i\) be a family of open subsets of \(\Omega \) such that \(\bigcup _i X_i = X\).
We first remark that if \(R \in \mathcal {B}(X)\) satisfies \(R|_{X_i} \in \mathcal {N}(X_i)\) for all i then \(R \in \mathcal {N}(X)\), as is evident from the definition of negligibility.
Suppose now that we are given \(R_i \in \mathcal {M}(X_i)\) such that \(R_i|_{X_i \cap X_j} - R_j|_{X_i \cap X_j} \in \mathcal {N}(X_i \cap X_j)\) for all i, j with \(X_i \cap X_j \ne \emptyset \). Let \((\chi _i)_i\) be a partition of unity subordinate to \((X_i)_i\), i.e., a family of mappings \(\chi _i \in C^\infty (X)\) such that \(0 \le \chi _i \le 1\), \(({{\mathrm{supp}}}\chi _i)_i\) is locally finite, \(\sum _i \chi _i(x) = 1\) for all \(x \in X\) and \({{\mathrm{supp}}}\chi _i \subseteq X_i\). Choose functions \(\rho _i \in C^\infty (X_i, \mathcal {D}(X_i))\) which are equal to 1 on an open neighborhood of the diagonal in \(X_i \times X_i\) for each i. For \(V \subseteq X\) open and \(\vec \varphi \in C^\infty (V, \mathcal {D}(X))\) we define \(R_V(\vec \varphi ) \in C^\infty (V)\) by
For showing smoothness of \(R_V\) consider a curve \(c \in C^\infty (\mathbb {R}, C^\infty (V, \mathcal {D}(X)))\). We have to show that \(t \mapsto R_V(c(t))\) is an element of \(C^\infty (\mathbb {R}, C^\infty (V))\). By [11, 3.8, p. 28] it suffices to show that for each open subset \(W \subseteq V\) which is relatively compact in V the curve \(t \mapsto R_V(c(t))|_W = R_W(c(t)|_W)\) is smooth, but this holds because the sum in (3) then is finite. Hence, \((R_V)_V \in \mathcal {B}(\Omega )\).
Fix \(x \in X\) for the moderateness test. There is a finite index set F and an open neighborhood \(W \in \mathcal {U}_x(X)\) such that \(W \cap {{\mathrm{supp}}}\chi _i \ne \emptyset \) implies \(i \in F\). We can also assume that \(x \in \bigcap _{i \in F}X_i\). Let Y be a neighborhood of x such that \(\rho _i \equiv 1\) on \(Y \times Y\) for all \(i \in F\). For each \(i \in F\) let \(U_i \in \mathcal {U}_x(X_i)\) be obtained from moderateness of \(R_i\) as in Definition 6. Set \(U \mathrel {\mathop :}=\bigcap _{i \in F} U_i \cap W \cap Y \in \mathcal {U}_x(X)\), and let \(K,L \Subset U\) as well as \(m,k \in \mathbb {N}_0\) be arbitrary. For each \(i \in F\) there are \(c_i, l_i,\lambda _i\) such that for any \(\vec \varphi _0, \ldots , \vec \varphi _k \in C^\infty (U, \mathcal {D}_L(U))\) we have
Now we have, for \(\vec \varphi \in C^\infty (U, \mathcal {D}_L(U))\),
and hence, for \(\vec \varphi _0, \ldots , \vec \varphi _k \in C^\infty (U, \mathcal {D}_L(U))\),
We see that
with \(c = \max _{j \in F} c_j\), \(l = \max _{j\in F} l_j\), some constant C(m) coming from the Leibniz rule, and \(\lambda \in \mathcal {P}_k\) given by
This shows that R is moderate. Finally, we claim that \(R|_{X_j} - R_j \in \mathcal {N}(X_j)\) for all j. For this we first note that
for \(\vec \varphi \in C^\infty (X_j, \mathcal {D}(X_j))\). Again, for \(x \in X_j\) there is a finite index set F and an open neighborhood \(W \in \mathcal {U}_x(X)\) such that \(W \cap {{\mathrm{supp}}}\chi _i \ne \emptyset \) implies \(i \in F\), and we can assume that \(x \in \bigcap _{i \in F}X_i\). Let Y be a neighborhood of x such that \(\rho _i \equiv 1\) on \(Y \times Y\) for all \(i \in F\) and let \(U_i \in \mathcal {U}_x ( X_i \cap X_j)\) be given by the negligibility test of \(R_i|_{X_i \cap X_j} - R_j|_{X_i \cap X_j}\) according to Definition 7. Set \(U \mathrel {\mathop :}=\bigcap _{i \in F} U_i \cap W \cap Y\). Fix any \(K,L \Subset U\) and \(m,k \in \mathbb {N}_0\). For each \(i \in F\) there are \(c_i, l_i, \lambda _i, B_i\) such that for \(\vec \varphi _0, \ldots , \vec \varphi _k \in C^\infty (U, \mathcal {D}_L(U))\) we have
As above, we then have
with \(c = \max _{i \in F} c_i\), \(l = \max _{i \in F} l_i\), \(B = \bigcup _{i\in F} B_i\), and \(\lambda \in \mathcal {I}_k\) given by
This completes the proof. \(\square \)
4 An elementary version
We will now give a variant of the construction of Sect. 3 similar in spirit to Colombeau’s elementary algebra [2]: if we only consider derivatives along the coordinate lines of \(\mathbb {R}^n\) we can replace the smoothing kernels \(\vec \varphi \in C^\infty (U, \mathcal {D}_L(\Omega ))\) by convolutions. This way, one can use a simpler basic space which does not involve calculus on infinite dimensional locally convex spaces anymore:
Definition 17
Let \(\Omega \subseteq \mathbb {R}^n\) be open. We set
and define \(\mathcal {B}^{\text {c}}(\Omega )\) to be the set of all mappings \(R :U(\Omega ) \rightarrow \mathbb {C}\) such that \(R(\varphi , \cdot )\) is smooth for fixed \(\varphi \).
Note that this is almost the basic space used originally by Colombeau (see [2, 1.2.1, p. 18] or [9, Definition 1.4.3, p. 59]) but with \(\mathcal {D}(\mathbb {R}^n)\) in place of the space of test functions whose integral equals one. We now introduce a notation for the convolution kernel determined by a test function.
Definition 18
For \(\varphi \in \mathcal {D}(\mathbb {R}^n)\) we define by
In fact, with this definition we have , where as usually we set \({{\check{\varphi }}}(y) \mathrel {\mathop :}=\varphi (-y)\). Furthermore, for \(c \in \mathbb {N}_0\) we write
The direct adaptation of Definition 6,7 then looks as follows:
Definition 19
Let \(R \in \mathcal {B}^{\text {c}}(\Omega )\). Then R is called moderate if
The subset of all moderate elements of \(\mathcal {B}^{\text {c}}(\Omega )\) is denoted by \(\mathcal {M}^{\text {c}}(\Omega )\).
Similarly, R is called negligible if
The subset of all negligible elements of \(\mathcal {B}^{\text {c}}(\Omega )\) is denoted by \(\mathcal {N}^{\text {c}}(\Omega )\).
It is convenient to work with the following simplification of these definitions.
Proposition 20
\(R \in \mathcal {B}^{\text {c}}(\Omega )\) is moderate if and only if
Similarly, \(R \in \mathcal {B}^{\text {c}}(\Omega )\) is negligible if and only if
Proof
Suppose R is moderate and fix \(K \Subset \Omega \). We can cover K by finitely many open sets \(U_i\) obtained from Definition 19 and write \(K = \bigcup _i K_i\) with \(K_i \Subset U_i\). Choose \(r>0\) such that \(L_i \mathrel {\mathop :}=\overline{B_r(K_i)} \Subset U_i\) for all i. Fixing m, by moderateness there exist \(c_i\) and \(\lambda _i\) for each i. Set \(c = \max _i c_i\) and choose \(\lambda \) with \(\lambda \ge \lambda _i\) for all i. Now given \(\varphi \in \mathcal {D}(\mathbb {R}^n)\) with \({{\mathrm{supp}}}\varphi \subseteq B_r(0)\) we also have \(K_i + {{\mathrm{supp}}}\varphi \subseteq L_i\) and we can estimate
Conversely, suppose the condition holds and fix \(x \in \Omega \) for the moderateness test. Choose \(a>0\) such that \(\overline{B_a(x)} \Subset \Omega \). By assumption there is \(r>0\) with \(\overline{B_{r+a}(x)} \Subset \Omega \). Set \(U \mathrel {\mathop :}=B_{r/2}(x)\). Then, fix \(K \Subset L \Subset U\) and m for the moderateness test. There are c and \(\lambda \) by assumption. Now given \(\varphi \) with \(K + {{\mathrm{supp}}}\varphi \subseteq L\), we see that for \(y \in {{\mathrm{supp}}}\varphi \) and an arbitrary point \(z \in K\) we have \(\left| y\right| \le \left| y+z-x\right| + \left| z-x\right| < r\), which means that \({{\mathrm{supp}}}\varphi \subseteq B_r(0)\). But then \(||R(\varphi ,.)||_{K,m} \le \lambda (||\varphi ||_c)\) as desired.
If R is negligible we proceed similarly until the choice of \(K_i \Subset L_i \Subset U_i\) and m gives \(c_i, \lambda _i\) and \(B_i\). Choose \(\chi _i \in \mathcal {D}(U_i)\) with \(\chi _i \equiv 1\) on a neighborhood of \(L_i\), and define \(B \mathrel {\mathop :}=\bigcup _i \{ \chi _i f\ |\ f \in B_i \}\), which is bounded in \(C^\infty (\Omega )\). Then with \(c = \max _i c_i\) and \(\lambda \ge \lambda _i\) for all i we have
The converse is seen as for moderateness by restricting the elements of \(B \subseteq C^\infty (\Omega )\) to U. \(\square \)
The embeddings now take the following form.
Definition 21
We define \(\iota ^{\text {c}}:\mathcal {D}'(\Omega ) \rightarrow \mathcal {B}^{\text {c}}(\Omega )\) and \(\sigma ^{\text {c}}:C^\infty (\Omega ) \rightarrow \mathcal {B}^{\text {c}}(\Omega )\) by
Partial derivatives on \(\mathcal {B}^{\text {c}}(\Omega )\) then can be defined via differentiation in the second variable:
Definition 22
Let \(R \in \mathcal {B}^{\text {c}}(\Omega )\). We define derivatives \(\mathrm {D}_i :\mathcal {B}^{\text {c}}(\Omega ) \rightarrow \mathcal {B}^{\text {c}}(\Omega )\) (\(i=1, \ldots , n\)) by
Theorem 23
We have \(\mathrm {D}_i ( \mathcal {M}^{\text {c}}(\Omega )) \subseteq \mathcal {M}^{\text {c}}(\Omega )\) and \(\mathrm {D}_i ( \mathcal {N}^{\text {c}}(\Omega )) \subseteq \mathcal {N}^{\text {c}}(\Omega )\).
Proof
This is evident from the definitions. \(\square \)
Proposition 24
We have \(\mathrm {D}_i \circ \iota = \iota \circ \partial _i\) and \(\mathrm {D}_i \circ \sigma = \sigma \circ \partial _i\).
Proof
\(\mathrm {D}_i ( \iota u)(\varphi , x) = \frac{\partial }{\partial x_i} \langle u(y), \varphi (y-x) \rangle = \langle u(y), - (\partial _i \varphi )(y-x) \rangle = \langle \partial _i u(y), \varphi (y-x) \rangle = \iota ( \partial _i u)(\varphi , x)\). The second claim is clear. \(\square \)
Proposition 25
\(\mathcal {N}^{\text {c}}(\Omega ) \subseteq \mathcal {M}^{\text {c}}(\Omega )\).
Proof
The result follows from
for suitable \(\lambda _1\) and \(c_1\), which is seen as in the proof of Proposition 10. \(\square \)
Similarly to Proposition 11 we have:
Proposition 26
\(\mathcal {M}^{\text {c}}(\Omega )\) is a subalgebra of \(\mathcal {B}^{\text {c}}(\Omega )\) and \(\mathcal {N}^{\text {c}}(\Omega )\) is an ideal in \(\mathcal {M}^{\text {c}}(\Omega )\).
Theorem 27
Let \(u \in \mathcal {D}'(\Omega )\) and \(f \in C^\infty (\Omega )\). Then
-
(i)
\(\iota ^{\text {c}}u\) is moderate,
-
(ii)
\(\sigma ^{\text {c}}f\) is moderate,
-
(iii)
\(\iota ^{\text {c}}f - \sigma ^{\text {c}}f\) is negligible, and
-
(iv)
if \(\iota ^{\text {c}}u\) is negligible then \(u=0\).
The proof is almost identical to that of Theorem 12 and hence omitted.
Definition 28
We define the elementary Colombeau algebra of generalized functions on \(\Omega \) by \(\mathcal {G}^{\text {c}}(\Omega ) \mathrel {\mathop :}=\mathcal {M}^{\text {c}}(\Omega ) / \mathcal {N}^{\text {c}}(\Omega )\).
As before, one may show that \(\mathcal {G}^{\text {c}}\) is a sheaf.
5 Canonical mappings
In this section we show that the algebra \(\mathcal {G}\) constructed above is near to being universal in the sense that there exist canonical mappings from it into most of the classical Colombeau algebras which are compatible with the embeddings.
We begin by constructing a mapping \(\mathcal {G}(\Omega ) \rightarrow \mathcal {G}^{\text {c}}(\Omega )\).
Definition 29
Given \(R \in \mathcal {B}(\Omega )\) we define \({\widetilde{R}} \in \mathcal {B}^{\text {c}}(\Omega )\) by
where \(\vec \varphi \in C^\infty (\Omega , \mathcal {D}(\Omega ))\) is chosen such that in a neighborhood of x.
This definition is meaningful: given \((\varphi ,x)\) in \(U(\Omega )\) we have \({{\mathrm{supp}}}\varphi (.-x') \subseteq \Omega \) for \(x'\) in a neighborhood V of x. Choosing \(\rho \in \mathcal {D}(\Omega )\) with \({{\mathrm{supp}}}\rho \subseteq V\) and \(\rho \equiv 1\) in a neighborhood of x, we can take . Obviously, \({\widetilde{R}}(\varphi ,x)\) does not depend on the choice of \(\vec \varphi (x)\) and \({\widetilde{R}}(\varphi , .)\) is smooth, so indeed we have \({\widetilde{R}} \in \mathcal {B}^{\text {c}}(\Omega )\).
Proposition 30
Let \(R \in \mathcal {B}(\Omega )\). Then the following holds:
-
(i)
\(\widetilde{\left. \iota u\right. } = \iota ^{\text {c}}u\) for \(u \in \mathcal {D}'(\Omega )\).
-
(ii)
\(\widetilde{\left. \sigma f\right. } = \sigma ^{\text {c}}f\) for \(f \in C^\infty (\Omega )\).
-
(iii)
\({\widetilde{R}} \in \mathcal {M}^{\text {c}}(\Omega )\) for \(R \in \mathcal {M}(\Omega )\).
-
(iv)
\({\widetilde{R}} \in \mathcal {N}^{\text {c}}(\Omega )\) for \(R \in \mathcal {N}(\Omega )\).
Proof
(i): For \(u \in \mathcal {D}'(\Omega )\) we have
(ii) is clear.
(iii): Suppose that \(R \in \mathcal {M}(\Omega )\). Fixing \(x \in \Omega \), we obtain U as in Proposition 8. Let \(K \Subset L \Subset U\) and m be given, set \(k=0\), and choose \(L'\) such that \(L \Subset L' \Subset U\). Then Proposition 8 gives \(c,l,\lambda \) such that for \(\vec \varphi \in C^\infty (K, \mathcal {D}_{L'}(U))\),
Now for \(\varphi \in \mathcal {D}(\mathbb {R}^n)\) with \(K + {{\mathrm{supp}}}\varphi \subseteq L\) we have , which gives
which proves that \({\widetilde{R}} \in \mathcal {M}^{\text {c}}(\Omega )\).
(iv): Similarly, if \(R \in \mathcal {N}(\Omega )\) then for \(x \in \Omega \) we have U as in Proposition 8. For \(K \Subset L \Subset U\), m given, \(k=0\), and \(L'\) such that \(L \Subset L' \Subset U\), we obtain \(c,l,\lambda , B\) as in Proposition 8 such that
and hence
which gives negligibility of \({\widetilde{R}}\). \(\square \)
5.1 The special algebra
We define the special Colombeau algebra \(\mathcal {G}^s\) with the embedding as in [4]: fix a mollifier \(\rho \in \mathcal {S}(\mathbb {R}^n)\) with
Choosing \(\chi \in \mathcal {D}(\mathbb {R}^n)\) with \(0 \le \chi \le 1\), \(\chi \equiv 1\) on \(B_1(0)\) and \({{\mathrm{supp}}}\chi \subseteq B_2(0)\) we set
Moreover, with
we choose functions \(\kappa _\varepsilon \in \mathcal {D}(\Omega )\) such that \(0 \le \kappa _\varepsilon \le 1\) and \(\kappa _\varepsilon \equiv 1\) on \(K_\varepsilon \). Then the special algebra \(\mathcal {G}^s(\Omega )\) is given by
Definition 31
For \(R \in \mathcal {B}(\Omega )\) we define \(R^s = (R^s_\varepsilon )_\varepsilon \in \mathcal {E}^s(\Omega )\) by
Proposition 32
-
(i)
\((\iota u)^s = \iota ^s u\) for \(u \in \mathcal {D}'(\Omega )\).
-
(ii)
\((\sigma f)^s = \sigma ^s f\) for \(f \in C^\infty (\Omega )\).
-
(iii)
\(R^s \in \mathcal {E}^s_M(\Omega )\) for \(R \in \mathcal {M}(\Omega )\).
-
(iv)
\(R^s \in \mathcal {N}^s(\Omega )\) for \(R \in \mathcal {N}(\Omega )\).
Proof
(i) and (ii) are clear.
For (iii) it suffices to show the needed estimate locally. Fix \(x \in \Omega \), which gives \(U \in \mathcal {U}_x(\Omega )\) as in Proposition 8. Choose any K, L such that \(x \in K \Subset L \Subset U\), fix m, and set \(k=0\). Then there are \(c,l,\lambda \) as in Proposition 8. Because \({{\mathrm{supp}}}\vec \psi _\varepsilon (x) \subseteq B_{2 \left| \ln \varepsilon \right| ^{-1}}(x)\) we have \(\vec \psi _\varepsilon \in C^\infty (K, \mathcal {D}_L(U))\) for \(\varepsilon \) small enough, which gives
Consequently, \((R^s_\varepsilon )_\varepsilon \in \mathcal {E}^s_M(\Omega )\) follows from
For negligibility we proceed similarly; the claim then follows by using that for a bounded subset \(B \subseteq C^\infty (U)\) we have \(||\vec \psi _\varepsilon - \vec \delta ||_{K,c; B} = O(\varepsilon ^N)\) for all \(N \in \mathbb {N}\), which is seen as in [4, Prop. 12, p. 38] and actually merely a restatement of the fact that \(\iota ^s f - \sigma ^s f = O(\varepsilon ^N)\) for all N uniformly for \(f \in B\). \(\square \)
5.2 The diffeomorphism invariant algebra
There are several variants of the diffeomorphism invariant algebra \(\mathcal {G}^d\); we will employ the following formulation [10, 13, 14]:
The spaces \(S(\Omega )\) and \(S^0(\Omega )\) employed in this definition are given as follows:
Definition 33
Let a net of smoothing kernels \((\vec \varphi _\varepsilon )_\varepsilon \in C^\infty (\Omega , \mathcal {D}(\Omega ))^I\) be given and denote the corresponding net of smoothing operators by \((\Phi _\varepsilon )_\varepsilon \in \mathcal {L}( \mathcal {D}'(\Omega ), C^\infty (\Omega ))^I\). Then \((\vec \varphi _\varepsilon )_\varepsilon \) is called a test object on \(\Omega \) if
-
(i)
\(\Phi _\varepsilon \rightarrow {{\mathrm{id}}}\) in \(\mathcal {L}(\mathcal {D}'(\Omega ), \mathcal {D}'(\Omega ))\),
-
(ii)
\(\forall p \in \mathrm {csn}( \mathcal {L}(\mathcal {D}'(\Omega ), C^\infty (\Omega )) )\)\(\exists N \in \mathbb {N}\): \(p ( \Phi _\varepsilon ) = O (\varepsilon ^{-N})\),
-
(iii)
\(\forall p \in \mathrm {csn}( \mathcal {L}(C^\infty (\Omega ), C^\infty (\Omega )))\)\(\forall m \in \mathbb {N}\): \(p( \Phi _\varepsilon |_{C^\infty (\Omega )} - {{\mathrm{id}}}) = O(\varepsilon ^m)\),
-
(iv)
\(\forall x \in \Omega \)\(\exists V \in \mathcal {U}_x(\Omega )\)\(\forall r>0\)\(\exists \varepsilon _0>0\)\(\forall y \in V\)\(\forall \varepsilon < \varepsilon _0\): \({{\mathrm{supp}}}\varphi _\varepsilon (y) \subseteq B_r(y)\).
We denote the set of test objects on \(\Omega \) by \(S(\Omega )\). Similarly, \((\vec \varphi _\varepsilon )_\varepsilon \) is called a 0-test object if it satisfies these conditions with (i) and (iii) replaced by the following conditions:
-
(i’)
\(\Phi _\varepsilon \rightarrow 0\) in \(\mathcal {L}(\mathcal {D}'(\Omega ), \mathcal {D}'(\Omega ))\),
-
(iii’)
\(\forall p \in \mathrm {csn}( \mathcal {L}(C^\infty (\Omega ), C^\infty (\Omega )))\)\(\forall m \in \mathbb {N}\): \(p( \Phi _\varepsilon |_{C^\infty (\Omega )} ) = O(\varepsilon ^m)\).
The set of all 0-test objects on \(\Omega \) is denoted by \(S^0(\Omega )\).
Definition 34
For \(R \in \mathcal {B}(\Omega )\) we define \(R^d \in \mathcal {E}^d(\Omega )\) by
Proposition 35
-
(i)
\((\iota u)^d = \iota ^d u\) for \(u \in \mathcal {D}'(\Omega )\).
-
(ii)
\((\sigma f)^d = \sigma ^d u\) for \(f \in C^\infty (\Omega )\).
-
(iii)
\(R^d \in \mathcal {E}^d_M(\Omega )\) for \(R \in \mathcal {M}(\Omega )\).
-
(iv)
\(R^d \in \mathcal {N}^d(\Omega )\) for \(R \in \mathcal {N}(\Omega )\).
Proof
(i) and (ii) are clear from the definition. (iii) and (iv) follow directly from the estimates
which hold by definition of the spaces \(S(\Omega )\) and \(S^0(\Omega )\). \(\square \)
5.3 The elementary algebra
For Colombeau’s elementary algebra we employ the formulation of [9, Section 1.4], Sect. 1.4. For \(k \in \mathbb {N}_0\) we let \(\mathcal {A}_k(\mathbb {R}^n)\) be the set of all \(\varphi \in \mathcal {D}(\mathbb {R}^n)\) with integral one such that, if \(k \ge 1\), all moments of \(\varphi \) order up to k vanish.
Definition 36
For \(R \in \mathcal {B}^{\text {c}}(\Omega )\) we define \(R^e \in \mathcal {E}^e(\Omega )\) by \(R^e(\varphi , x) \mathrel {\mathop :}=R(\varphi , x)\).
Proposition 37
-
(i)
\((\iota ^{\text {c}}u)^e = \iota ^e u\) for \(u \in \mathcal {D}'(\Omega )\).
-
(ii)
\((\sigma ^{\text {c}}f)^e = \sigma ^e u\) for \(f \in C^\infty (\Omega )\).
-
(iii)
\(R^e \in \mathcal {E}^e_M(\Omega )\) for \(R \in \mathcal {M}^{\text {c}}(\Omega )\).
-
(iv)
\(R^e \in \mathcal {N}^e(\Omega )\) for \(R \in \mathcal {N}^{\text {c}}(\Omega )\).
Proof
Again, (i) and (ii) are clear from the definition. For (iii), fix \(K \Subset \Omega \) and \(m \in \mathbb {N}_0\). From Proposition 20 we obtain r, c and \(\lambda \) such that for \({{\mathrm{supp}}}\varphi \subseteq B_r(0)\), \(||R(\varphi , .)||_{K,m} \le \lambda ( ||\varphi ||_c)\). For \(\varphi \in \mathcal {A}_0(\mathbb {R}^n)\) and \(\varepsilon \) small enough, \({{\mathrm{supp}}}S_\varepsilon \varphi \subseteq B_r(0)\), so we only have to take into account that \(||S_\varepsilon \varphi ||_c = O(\varepsilon ^{-N})\) for some \(N \in \mathbb {N}\). Similarly, (iv) is obtained from the fact that given any N, for q large enough we have \(|| (S_\varepsilon \varphi )^* - \vec \delta ||_{K,c; B} = O(\varepsilon ^N)\) for all \(\varphi \in \mathcal {A}_q(\mathbb {R}^n)\). \(\square \)
References
Colombeau, J.F.: New Generalized Functions and Multiplication of Distributions. North-Holland Mathematics Studies 84. North-Holland Publishing Co., Amsterdam (1984)
Colombeau, J.F.: Elementary Introduction to New Generalized Functions. North-Holland Mathematics Studies 113. North-Holland Publishing Co., Amsterdam (1985)
Delcroix, A., Scarpalézos, D.: Asymptotic scales—asymptotic algebras. Integral Transforms Spec. Funct. 6(1–4), 181–190 (1998). https://doi.org/10.1080/10652469808819162
Delcroix, A.: Remarks on the embedding of spaces of distributions into spaces of Colombeau generalized functions. Novi Sad J. Math. 35(2), 27–40 (2005)
Delcroix, A.: Topology and functoriality in \((\cal{C}, \cal{E}, \cal{P} )\)-algebras. Application to singular differential problems. J. Math. Anal. Appl. 359(1), 394–403 (2009). https://doi.org/10.1016/j.jmaa.2009.05.046. issn: 0022-247X
Delcroix, A., Hasler, M.E., Pilipović, S., Valmorin, V.: Sequence spaces with exponent weights. Realizations of Colombeau type algebras. Diss. Math. 447, 447 (2007). https://doi.org/10.4064/dm447-0-1
Delcroix, A., Scarpalézos, D.: Topology on asymptotic algebras of generalized functions and applications. Monatsh. Math. 129, 1–14 (2000). https://doi.org/10.1007/s006050050001
Giordano, P., Luperi Baglini, L.: Asymptotic gauges: generalization of Colombeau type algebras. Math. Nachr. 289(2–3), 247–274 (2016)
Grosser, M., Kunzinger, M., Oberguggenberger, M., Steinbauer, R.: Geometric Theory of Generalized Functions with Applications to General Relativity. Mathematics and its Applications 537. Kluwer Academic Publishers, Dordrecht (2001)
Grosser, M., Nigsch. E.A.: Full and special Colombeau Algebras. Proc. Edinb. Math. Soc. to appear (2017)
Kriegl, A., Michor, P.W.: The Convenient Setting of Global Analysis. Mathematical Surveys and Monographs 53. American Mathematical Society, Providence, RI (1997)
Nedeljkov, M., Pilipović, S.: Generalized function algebras and PDEs with singularities. A survey. Zb. Rad. (Beogr.) 11(19), 61–120 (2006)
Nigsch, E.A.: The functional analytic foundation of Colombeau algebras. J. Math. Anal. Appl. 421(1), 415–435 (2015). https://doi.org/10.1016/j.jmaa.2014.07.014
Nigsch, E.A.: Nonlinear generalized sections of vector bundles. J. Math. Anal. Appl. 440, 183–219 (2016). https://doi.org/10.1016/j.jmaa.2016.03.022
Oberguggenberger, M.: Multiplication of Distributions and Applications to Partial Differential Equations. Pitman Research Notes in Mathematics 259. Longman, Harlow (1992)
Schwartz, L.: Espaces de fonctions différentiables à valeurs vectorielles. J. Anal. Math. 4(1), 88–148 (1955). https://doi.org/10.1007/BF02787718
Schwartz, L.: Théorie des distributions à valeurs vectorielles. Ann. Inst. Fourier 7 (1957). https://doi.org/10.5802/aif.68. issn: 0373-0956
Schwartz, L.: Théorie des distributions. Nouvelle édition, entièrement corrigée, refondue et augmentée. Paris: Hermann, (1966)
Thomas, E.G.F.: A polarization identity for multilinear maps. Indag. Math. New Ser. 25(3), 468–474 (2014). https://doi.org/10.1016/j.indag.2013.11.003
Treves, F.: Topological Vector Spaces, Distributions and Kernels. Academic Press, New York (1976)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). This research was supported by project P26859-N25 of the Austrian Science Fund (FWF). The author expresses his thanks to D. Scarpalézos for a remark inciting the present study.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Prof. Todor Gramchev.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Nigsch, E.A. Colombeau algebras without asymptotics. J. Pseudo-Differ. Oper. Appl. 10, 133–154 (2019). https://doi.org/10.1007/s11868-017-0230-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11868-017-0230-z
Keywords
- Nonlinear generalized functions
- Colombeau algebras
- Asymptotic estimates
- Elementary Colombeau algebra
- Diffeomorphism invariance