[论文解读] A nonlinear theory of tensor distributions

James Vickers, Julie Wilson|ArXiv.org|Jul 24, 1998

Mathematical and Theoretical Analysis参考文献 6被引用 17

一句话总结

本文利用科洛mb埃乌的广义函数，发展了一套非线性、坐标不变的张量分布理论，将框架扩展以确保张量变换与嵌入在微分同胚下保持交换。关键贡献在于构建了一套一致的、微分同胚协变的广义张量场形式，保留了经典变换定律，并实现了广义相对论中分布曲率的坐标无关计算。

ABSTRACT

The coordinate invariant theory of generalised functions of Colombeau and Meril is reviewed and extended to enable the construction of multi-index generalised tensor functions whose transformation laws coincide with their counterparts in classical distribution theory.

研究动机与目标

• 解决科洛mb埃乌原始理论在应用于广义相对论中张量分布时缺乏微分同胚不变性的问题。
• 将科洛mb埃乌代数扩展，以定义具有与经典分布理论相匹配变换定律的多指标广义张量函数。
• 构造一个映射 $\tilde{\mu}^*$，使其与嵌入 $\iota$ 交换，并在光滑微分同胚下保持正规与零理想。
• 确保广义函数与分布之间的关联（弱等价）关系与微分同胚交换，从而实现在不同坐标系下的一致物理解释。

提出的方法

• 通过弱化矩条件，采用坐标不变的平滑核空间 $\mathcal{A}_k$ 的定义，遵循科洛mb埃乌与梅里尔（1994）的方法。
• 在基代数 $\mathcal{E}_s(\Omega)$ 上定义一个拉回映射 $\tilde{\mu}^*$，使其保持正规子代数 $\mathcal{E}_{M,s}(\Omega)$ 与零子代数 $\mathcal{N}_s(\Omega)$。
• 将广义张量代数 $\mathcal{G}^p_q(\Omega)$ 构造为 $\mathcal{E}_{M,s}(\Omega)$ 关于 $\mathcal{N}_s(\Omega)$ 的商代数，以确保张量变换定律被保留。
• 使用与背景无 torsion 连接相关的协变导数，以确保与嵌入 $\iota$ 的相容性，使得 $[\iota(X), \iota(Y)] = \iota([X,Y])$。
• 通过弱极限定义关联关系：若对测试函数的积分极限等于分布对偶配对，则 $[\tilde{T}] \approx S$。
• 验证拉回 $\tilde{\mu}^*$ 与关联关系交换：若 $[\tilde{T}'] \approx S'$，则 $[\tilde{\mu}^* \tilde{T}'] \approx \mu^* S'$。

实验结果

研究问题

• RQ1 科洛mb埃乌广义函数代数能否被扩展，以定义在光滑微分同胚下按张量方式变换的张量值广义函数？
• RQ2 在广义函数框架中，经典分布到广义函数的嵌入 $\iota$ 是否与微分同胚拉回交换？
• RQ3 如何修改定义平滑核空间的矩条件，以确保广义函数构造中的微分同胚不变性？
• RQ4 广义函数与分布之间的关联关系能否与微分同胚兼容？
• RQ5 是否可以利用该扩展框架实现广义相对论中分布曲率（如 $\tilde{R}\sqrt{\tilde{g}}$）的坐标无关计算？

主要发现

• 所扩展的理论确保广义函数上的拉回映射 $\tilde{\mu}^*$ 与经典分布的嵌入 $\iota$ 交换，从而保持微分同胚不变性。
• 广义张量场在 $\tilde{\mu}^*$ 下的变换遵循与经典张量分布相同的规律，从而实现在不同坐标系下的物理解释一致性。
• 向量场的李括号满足 $[\iota(X), \iota(Y)] = \iota([X,Y])$，证实了与李代数结构的相容性。
• 对于光滑度量，Levi-Civita 连接的协变导数与嵌入 $\iota$ 交换，确保了曲率计算的一致性。
• 关联关系与微分同胚交换：若 $[\tilde{T}'] \approx S'$，则 $[\tilde{\mu}^* \tilde{T}'] \approx \mu^* S'$，验证了该框架的物理一致性。
• 该框架实现了分布曲率的坐标无关计算，例如 $\tilde{R}\sqrt{\tilde{g}} \approx 4\pi(1-A)\delta^{(2)}$ 对于锥形奇点，如 Clarke 等人（1996）先前所确认。