[论文解读] Colombeau's Generalized Functions on Arbitrary Manifolds

Herbert Balasin|ArXiv.org|Oct 10, 1996

Mathematical and Theoretical Analysis被引用 6

一句话总结

本文通过在切丛 TM 上引入一族 n-形式，使其在纤维积分后诱导出一个单位分解，将柯尔莫贝乌的广义函数代数扩展至任意光滑、仿紧的 n 维流形。该构造实现了流形上连续函数与分布的一致嵌入，为微分几何与数学物理中奇异对象的非线性运算提供了框架。

ABSTRACT

We extend the Colombeau algebra of generalized functions to arbitrary (infinitely differentiable, paracompact) n-dimensional manifolds M. Embedding of continuous functions and distributions is achieved with the help of a family of n-forms defined on the tangent bundle TM, which form a partition of unity upon integration over the fibres.

研究动机与目标

• 将柯尔莫贝乌的广义函数代数从欧几里得空间推广至任意光滑、仿紧流形。
• 在柯尔莫贝乌代数中为流形上的连续函数与分布提供一致的嵌入框架。
• 通过在切丛 TM 上使用一族 n-形式，使其在纤维积分后产生单位分解，确保与流形结构的兼容性。
• 在几何与物理背景下（如广义相对论）支持对分布进行非线性运算。
• 为在弯曲时空上处理几何偏微分方程与场论中的奇点与非线性性奠定基础。

提出的方法

• 该构造使用定义在流形 M 的切丛 TM 上的一族 n-形式，这些形式与流形的微分结构相适应。
• 这些 n-形式被选择为：其在 TM 的每个纤维上的积分在 M 上产生一个单位分解。
• 通过使用纤维积分形式的拉回与正则化，实现连续函数与分布向柯尔莫贝乌代数的嵌入。
• 该方法保持了柯尔莫贝乌理论的代数结构，包括具有明确定义乘法的广义函数环。
• 该方法确保广义函数在微分同胚下正确变换，从而在流形上保持协变性。
• 使用 amstex 宏与 LaTeX2e 表明其为具有严格微分几何基础的正式数学表达。

实验结果

研究问题

• RQ1 柯尔莫贝乌的广义函数如何能一致地扩展至任意光滑流形，而不仅限于平坦或黎曼情形？
• RQ2 在切丛上需要何种结构，才能通过纤维积分定义单位分解以实现分布的嵌入？
• RQ3 能否通过使用纤维积分形式，使柯尔莫贝乌代数在一般流形上保持微分同胚协变性？
• RQ4 通过此构造，连续函数与分布如何嵌入到流形上的广义函数代数中？
• RQ5 该框架对几何与相对论场论中对分布进行非线性运算有何影响？

主要发现

• 本文成功在任意光滑、仿紧的 n 维流形 M 上构造了柯尔莫贝乌广义函数代数。
• 通过 TM 上一族在 M 上积分后产生单位分解的 n-形式，实现了连续函数与分布向广义函数代数的嵌入。
• 该方法确保广义函数代数在乘法下封闭，并尊重流形的微分结构。
• 该构造在微分同胚下保持不变，从而在几何与物理应用中保持协变性。
• 该框架允许在流形上以一致且明确定义的方式处理对分布的非线性运算，例如分布的乘积。
• 该方法为在广义相对论与弯曲时空上的量子场论中处理奇点提供了严格的理论基础。