[论文解读] Remarks on the embedding of spaces of distributions into spaces of Colombeau generalized functions

Antoine Delcroix|ArXiv.org|Mar 18, 2004

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

一句话总结

本文通过紧台支卷积核，建立了将施瓦茨分布嵌入科尔莫贝乌广义函数的多种构造方法之间的等价性。证明了当使用相同的卷积核族时，先前通过层论或截断技术导出的全局与局部嵌入方法产生相同结果，统一了不同方法并确认了嵌入结果与构造方式无关。

ABSTRACT

We present some remarks about the embedding of spaces of Schwartz distributions into spaces of Colombeau generalized functions. We show that the various constructions of such embeddings existing in the literature lead in fact to the same one.

研究动机与目标

• 调和并比较将施瓦茨分布嵌入科尔莫贝乌广义函数的不同方法。
• 证明当使用相同的卷积核族时，分布嵌入到科尔莫贝乌代数的过程与构造技术无关。
• 表明使用层论或截断卷积核的全局与局部嵌入方法产生相同结果。
• 阐明卷积核选择在确保嵌入与光滑函数的典范嵌入可交换中的作用。

提出的方法

• 使用标准卷积核的正则化形式作为紧台支卷积核，其增长率（例如对数型）慢于原始卷积核族。
• 通过与卷积核的卷积定义分布到简化科尔莫贝乌代数 $\mathcal{G}(\Omega)$ 的全局嵌入。
• 采用 $ \Omega $ 的局部有限开覆盖 $ (\Omega_\lambda)_{\lambda \in \Lambda} $ 及其相关的单位分解，将局部嵌入粘合为全局嵌入。
• 依赖 $ \mathcal{G}(\Omega) $ 的层性质，确保在重叠区域的一致性。
• 将 [6] 中的全局嵌入与 [3] 中的局部嵌入以及本文提出的新局部版本进行比较，证明其相等性。
• 使用显式代表公式：$ \iota_S(T) = \sum_{\lambda} \Psi_\lambda \iota_\lambda(T) $，其中 $ \iota_\lambda $ 是在 $ \Omega_\lambda $ 上的局部嵌入。

实验结果

研究问题

• RQ1 能否在不依赖层论粘合技术的前提下构造分布到科尔莫贝乌广义函数的全局嵌入？
• RQ2 基于紧台支卷积核的嵌入是否与基于层论论证的嵌入结果相同？
• RQ3 当使用相同的卷积核族时，$ \mathcal{D}'(\Omega) $ 到 $ \mathcal{G}(\Omega) $ 的嵌入是否与构造方法无关？
• RQ4 卷积核的增长率在确保嵌入与光滑函数的典范嵌入可交换中起什么作用？
• RQ5 能否在 $ \Omega $ 上直接构造全局嵌入，而无需先在相对紧子集上进行嵌入？

主要发现

• 使用紧台支卷积核的 $ \mathcal{D}'(\Omega) $ 到 $ \mathcal{G}(\Omega) $ 的全局嵌入，与通过层论构造的局部嵌入等价。
• 当使用相同的卷积核族时，[3] 中的嵌入 $ \iota_A $ 与 [6] 中的全局构造 $ \iota_S $ 产生相同结果。
• 通过单位分解从局部嵌入构造的嵌入 $ \iota_S' $ 与 $ \iota_A $ 和 $ \iota_S $ 均相等，确认了不同方法间的一致性。
• 该构造不依赖于开覆盖 $ (\Omega_\lambda)_{\lambda \in \Lambda} $ 的选择，仅取决于卷积核族。
• 典范嵌入 $ \sigma: \mathrm{C}^\infty(\Omega) \to \mathcal{G}(\Omega) $ 可通过分布嵌入因子化，确保图 (1) 的交换性。
• 对于任意固定的卷积核族 $ \rho \in \mathcal{B}^\infty(\mathbb{R}^d) $，存在唯一一类嵌入 $ \iota_\rho $，将 $ \mathcal{D}'(\Omega) $ 嵌入 $ \mathcal{G}(\Omega) $，且与光滑函数嵌入可交换。