[论文解读] On the foundations of nonlinear generalized functions I

Éva Farkas, Michael Grosser+2 more|ArXiv.org|Dec 28, 1999

Mathematical and Theoretical Analysis参考文献 1被引用 57

一句话总结

本文建立了一套微分同胚不变的广义函数微分代数，将柯洛姆布罗（Colombeau）代数扩展至解决非线性分布理论中的基础性问题。通过采用便捷向量空间上的微积分，并利用光滑函数在 $Ω_\varepsilon$ 上的严格且不变的构造方法，实现了对具有奇异数据的非线性偏微分方程的一致处理，确保与光滑运算兼容并保持微分同胚不变性。

ABSTRACT

We construct a diffeomorphism invariant (Colombeau-type) differential algebra canonically containing the space of distributions in the sense of L. Schwartz. Employing differential calculus in infinite dimensional (convenient) vector spaces, previous attempts in this direction are unified and completed. Several classification results are achieved and applications to nonlinear differential equations involving singularities are given.

研究动机与目标

• 解决柯洛姆布罗型广义函数代数中微分同胚不变性的基础性问题。
• 统一并完善先前使用无穷维微分几何构造非线性广义函数代数的尝试。
• 提供分布到微分代数的典范嵌入，保持光滑函数的逐点乘积，并支持非线性运算。
• 建立一个与包含奇异系数、数据或解的非线性偏微分方程兼容的框架。
• 克服早期构造中未能保持微分同胚不变性的局限性，特别是基于非不变测试对象的构造。

提出的方法

• 通过在集合 $U_\varepsilon(\Omega)$ 上使用光滑函数构造广义函数的微分代数，这些集合虽非线性空间，但可通过便捷向量空间理论实现微积分。
• 应用便捷向量空间中的微分几何，定义广义函数的光滑性与可微性，取代早期基于 Silva 可微性的方法。
• 引入 C 形式与 J 形式之间的变换形式化，统一构造过程，确保不同表示之间的一致性。
• 采用基于代表元的构造方法，利用网 $R \circ S^\varepsilon$ 定义广义函数，通过由 Gronwall 不等式导出的估计确保其适度性与零性条件。
• 利用伏尔泰拉积分方程与基尔霍夫公式，推导非线性偏微分方程的存在性与唯一性结果，通过光滑曲线复合确保参数的光滑依赖性。
• 应用定理 7.12 与注记 6.7，证明对测试函数的微分与积分可交换，从而实现对 $\mathcal{E}_M$ 与 $\mathcal{N}$ 估计的严格推导。

实验结果

研究问题

• RQ1 能否构造一种柯洛姆布罗型代数，使其在基域的微分同胚下保持不变？
• RQ2 是否可能实现分布到微分代数的典范嵌入，同时保持光滑函数的逐点乘积？
• RQ3 如何在非线性空间如 $U_\varepsilon(\Omega)$ 上一致地应用微分几何以定义广义函数的光滑性？
• RQ4 能否利用无穷维微积分高效验证广义函数代数中的适度性与零性条件？
• RQ5 在该框架内，非线性偏微分方程的奇异数据问题在多大程度上可解？唯一性如何确立？

主要发现

• 本文构造了一个微分同胚不变的广义函数微分代数，其在施瓦茨意义下自然包含分布空间。
• 通过基于便捷向量空间与光滑曲线的严格框架，解决了早期柯洛姆布罗代数中长期存在的非不变性问题。
• 利用迭代微分与 Gronwall 不等式验证广义函数的适度性，避免了对网的直接且繁琐的估计。
• 在不显式使用微分的情况下，基于代数结构与代表映射的性质，确立了非线性常微分方程与波动方程解的唯一性。
• 该方法实现了解对参数与测试函数的光滑依赖性，确保与非线性运算及偏微分方程理论的兼容性。
• 该框架支持对具有奇异数据的半线性波动方程的应用，将经典柯洛姆布罗理论的结果扩展至不变设置。