[论文解读] Generalized analytic functions on generalized domains

Hans Vernaeve|ArXiv.org|Nov 10, 2008

Mathematical and Theoretical Analysis参考文献 12被引用 8

一句话总结

本文在柯尔莫布勒代数框架下，引入了广义域上的广义解析函数，定义了子集 $A \subseteq \widetilde{\mathbb{R}}^d$ 上的 $\mathcal{G}(A)$，并在尖锐范数下刻画了 $\widetilde{\mathbb{C}}$ 中开球上的解析性。它建立了此类球上广义全纯函数的唯一性定理，恢复了经典广义函数理论中丢失的性质。

ABSTRACT

We define the algebra of Colombeau generalized functions on a subset A of the space of d-dimensional generalized points. If the domain A is open, such generalized functions can be identified with pointwise maps from A into the ring of Colombeau generalized numbers. We study analyticity in these algebras, if the domain is an open subset of the complex generalized points. In particular, if the domain is an open ball for the sharp norm, we characterize analyticity and give a unicity theorem involving the values at generalized points.

研究动机与目标

• 将柯尔莫布勒广义函数理论扩展到 $\widetilde{\mathbb{R}}^d$ 和 $\widetilde{\mathbb{C}}$ 中的广义域。
• 解决复平面上开域中广义全纯函数缺乏唯一性定理的问题，该问题在经典广义函数理论中不成立。
• 在尖锐范数下，刻画 $\widetilde{\mathbb{C}}$ 中开球上广义函数的解析性。
• 在这些球上建立广义全纯函数的唯一性定理，恢复经典唯一性行为。
• 为巴拿赫 $\widetilde{\mathbb{C}}$-代数中的谱半径公式和广义积分理论提供基础。

提出的方法

• 定义子集 $A \subseteq \widetilde{\mathbb{R}}^d$ 上的广义函数代数 $\widetilde{\mathcal{G}}(A)$，通过 $\widetilde{\mathcal{G}}(\widetilde{\Omega}_c)$ 扩展经典柯尔莫布勒代数 $\mathcal{G}(\Omega)$。
• 利用 $\widetilde{\mathbb{C}}$ 上的尖锐拓扑，由尖锐范数 $|\cdot|_e$ 定义开球 $\{\tilde{z} \in \widetilde{\mathbb{C}} : |\tilde{z} - \tilde{z}_0|_e < r\}$。
• 通过修改的广义路径定义（定义 4.5），建立复平面上广义路径上的广义柯西积分公式。
• 通过四个等价条件（定理 4.20）刻画 $\widetilde{\mathcal{G}}(A)$ 中的解析性，包括幂级数展开和柯西积分表示。
• 证明唯一性定理（命题 4.24）：若广义全纯函数的所有导数在球内某点处为零，则该函数在整个球上恒为零。
• 通过截断和柯西积分构造，为内部且尖锐有界的集合上的广义函数构造解析代表元（命题 4.25）。

实验结果

研究问题

• RQ1 能否在广义域上，特别是在尖锐范数下的 $\widetilde{\mathbb{C}}$ 中的开球上，恢复广义全纯函数的唯一性定理？
• RQ2 广义函数在广义域上的解析性如何通过多种等价方式刻画？
• RQ3 为何传统全纯广义函数在复平面上的开域 $\Omega \subseteq \mathbb{C}$ 上不满足唯一性定理？广义域框架如何解决此问题？
• RQ4 尖锐拓扑与尖锐范数在广义函数设定中恢复经典解析性质方面起什么作用？
• RQ5 广义域上的广义函数能否拥有解析代表元？在何种条件下？

主要发现

• 在尖锐范数下，广义全纯函数在 $\widetilde{\mathbb{C}}$ 中的开球上满足唯一性定理：若 $u$ 在某点 $\tilde{z}_0$ 处的所有导数为零，则 $u$ 在整个球上恒为零。
• 在该球上，$\widetilde{\mathcal{G}}(A)$ 中的解析性由四个等价条件刻画：幂级数展开、柯西公式积分表示、在某点所有导数为零，以及代表元在代表集上的解析性。
• 经典广义函数理论在开域 $\Omega \subseteq \mathbb{C}$ 上失败唯一性，原因在于 $\widetilde{\Omega}_c$ 位于收敛圆盘边界附近；广义域框架通过在完整开球内工作避免了此问题。
• 在尖锐有界的内部集合 $A$ 上，广义全纯函数具有代表元 $(u_\varepsilon)$，使得每个 $u_\varepsilon$ 在 $A_\varepsilon$ 上解析，从而保证了代表元层次上解析性的保持。
• 在 $\widetilde{\mathcal{G}}(A)$ 中，广义刘维尔定理成立，意味着在整个 $\widetilde{\mathbb{C}}$ 上有界全纯广义函数必为常数。
• 通过截断和柯西积分构造解析代表元，确保广义函数 $u$ 等于解析函数类 $[(v_\varepsilon)]$，其中 $v_\varepsilon$ 在 $A_\varepsilon$ 上解析。