[论文解读] A global theory of algebras of generalized functions

Michael Grosser, Michael Kunzinger+2 more|ArXiv.org|Dec 28, 1999

Mathematical and Theoretical Analysis参考文献 15被引用 5

一句话总结

本文 develops a global, geometric theory of algebras of generalized functions on smooth manifolds, constructing a differential algebra $\u02c7{\mathcal G}(M)$ that extends distributions and smooth functions while preserving Lie derivatives. The key contribution is an intrinsic, convenient calculus-based construction that embeds ${\mathcal D}'(M)$ into $\u02c7{\mathcal G}(M)$ faithfully and commutes with Lie derivatives, unifying local generalized function theory in a global differential-geometric framework.

ABSTRACT

We present a geometric approach to defining an algebra $\hat{\mathcal G}(M)$ (the Colombeau algebra) of generalized functions on a smooth manifold $M$ containing the space ${\mathcal D}'(M)$ of distributions on $M$. Based on differential calculus in convenient vector spaces we achieve an intrinsic construction of $\hat{\mathcal G}(M)$. $\hat{\mathcal G}(M)$ is a{\em differential} algebra, its elements possessing Lie derivatives with respect to arbitrary smooth vector fields. Moreover, we construct a canonical linear embedding of ${\mathcal D}'(M)$ into $\hat{\mathcal G}(M)$ that renders ${\mathcal C}^\infty (M)$ a faithful subalgebra of $\hat{\mathcal G}(M)$. Finally, it is shown that this embedding commutes with Lie derivatives. Thus $\hat{\mathcal G}(M)$ retains all the distinguishing properties of the local theory in a global context.

研究动机与目标

• To develop a global, geometric framework for algebras of generalized functions on smooth manifolds, extending beyond local constructions.
• To embed the space of distributions ${\mathcal D}'(M)$ into a differential algebra of generalized functions $\u02c7{\mathcal G}(M)$ in a canonical, linear way.
• To ensure that smooth functions ${\mathcal C}^\infty(M)$ remain a faithful subalgebra within $\u02c7{\mathcal G}(M)$.
• To preserve the compatibility of the embedding with Lie derivatives, ensuring consistency with differential geometric operations.
• To provide a global version of Colombeau's generalized functions using intrinsic differential calculus in convenient vector spaces.

提出的方法

• Using differential calculus in convenient vector spaces to construct the algebra $\u02c7{\mathcal G}(M)$ intrinsically, without relying on local coordinates.
• Defining generalized functions as equivalence classes of nets of smooth functions, with growth conditions controlled via convenient calculus.
• Constructing a canonical linear embedding $\iota: {\mathcal D}'(M) \to \u02c7{\mathcal G}(M)$ that preserves the distributional structure.
• Ensuring that the embedding commutes with Lie derivatives along arbitrary smooth vector fields, thus preserving geometric consistency.
• Verifying that $\u02c7{\mathcal G}(M)$ is a differential algebra, meaning Lie derivatives exist and are well-defined for all elements.
• Establishing that $\u02c7{\mathcal G}(M)$ contains ${\mathcal C}^\infty(M)$ as a faithful subalgebra, with the embedding being injective and compatible with multiplication.

实验结果

研究问题

• RQ1 How can Colombeau's theory of generalized functions be extended to a global, manifold-based framework without relying on local coordinates?
• RQ2 What is the appropriate differential-geometric structure that allows generalized functions to be closed under Lie derivatives?
• RQ3 Can a canonical, linear embedding of distributions into generalized functions be constructed that preserves both algebraic and differential properties?
• RQ4 How can smooth functions be embedded as a faithful subalgebra within the global algebra of generalized functions?
• RQ5 Does the global construction preserve the compatibility of the embedding with Lie derivatives, as in the local theory?

主要发现

• The algebra $\u02c7{\mathcal G}(M)$ is constructed intrinsically using differential calculus in convenient vector spaces, ensuring global consistency on smooth manifolds.
• The space of distributions ${\mathcal D}'(M)$ embeds linearly and canonically into $\u02c7{\mathcal G}(M)$, preserving distributional operations.
• The embedding of ${\mathcal C}^\infty(M)$ into $\u02c7{\mathcal G}(M)$ is faithful, meaning no loss of information or structure.
• The Lie derivative of any generalized function in $\u02c7{\mathcal G}(M)$ with respect to a smooth vector field is well-defined and lies within the same algebra.
• The embedding of distributions into $\u02c7{\mathcal G}(M)$ commutes with Lie derivatives, ensuring geometric compatibility.
• The construction generalizes the local Colombeau theory to a global differential-geometric setting while retaining all essential properties.