[论文解读] The Campbell--Magaard Theorem is inadequate and inappropriate as a protective theorem for relativistic field equations

Edward Anderson|ArXiv.org|Sep 30, 2004

Black Holes and Theoretical Physics参考文献 17被引用 7

一句话总结

本文挑战了在高维引力模型（如非紧致Kaluza–Klein理论和膜世界模型）中将Campbell–Magaard（CM）定理用作相对论场方程基础保护定理的做法。尽管作者提供了该定理的改进、协变的证明，并明确了拓扑和局部性条件，但核心论点是：该定理依赖于解析函数，且缺乏因果结构和对初值数据的连续依赖性，因此在现代相对论物理中本质上是不充分的，导致其关键应用缺乏严格的数学依据。

ABSTRACT

Given a particular prescription for the Einstein field equations (EFE's), it is important to have general protective theorems that lend support to it. The prescription of data on a timelike hypersurface for the (n + 1)-d EFE's arises in `noncompact Kaluza--Klein theory', and in certain kinds of braneworlds and low-energy string theory. The Campbell--Magaard (CM) theorem, which asserts local existence (and, with extra conditions, uniqueness) of analytic embeddings of completely general n-d manifolds into vacuum (n + 1)-d manifolds, has often recently been invoked as a protective theorem for such prescriptions. But in this paper I argue that there are problems with loosening the CM thoerem of restrictive meanings in its statement, which is worthwhile thing to do in pursuit of the proposed applications. While I remedy some problems by identifying the required topology, delineating what `local' can be taken to mean, and offering a new, more robust and covariant proof, other problems remain unsurmountable. The theorem lends only inadequate support, both because it offers no guarantee of continuous dependence on the data and because it disregards causality. Furthermore, the theorem is only for the analytic functions which renders it inappropriate for the study of the relativistic equations of modern physics. Unfortunately, there are no known general theorems that offer adequate protection to the proposed applications' prescription. I conclude by making some suggestions for more modest progress.

研究动机与目标

• 批判性评估Campbell–Magaard定理作为非紧致Kaluza–Klein理论和膜世界模型等高维相对论场方程之保护定理的适用性。
• 识别并解决原始CM定理表述与证明中的技术缺陷，特别是关于拓扑、局部性和协变性的方面。
• 证明尽管已有改进，该定理仍因局限于解析函数且缺乏对初值数据的连续依赖性，而本质上不充分。
• 论证缺乏良好定义的初值问题框架，使得该定理在现代理论物理中的应用缺乏根基。
• 提出更谦逊、切实可行的前进路径，以在严格的数学物理框架下研究膜世界动力学。

提出的方法

• 明确识别所需拓扑条件，以确保嵌入定义良好，从而重新表述CM定理。
• 重新解释定理陈述中“局部”一词的含义，以明确其有效范围，将其与全局或扩展区域区分开来。
• 提供一种新的、协变的证明，避免依赖坐标系的构造，增强几何清晰度。
• 分析CM定理在早期广义相对论初值问题文献中的历史渊源，特别是Darmois和Fourès-Bruhat的工作。
• 将CM定理的局限性与广义相对论中已确立的柯西问题框架进行比较，突出其缺乏连续依赖性和因果性。
• 评估现有膜世界和高维模型构建中实际采用的方法，表明它们通常依赖于Lichnerowicz–York共形方法，而非CM定理。

实验结果

研究问题

• RQ1 Campbell–Magaard定理能否被严格重述，以支持非紧致Kaluza–Klein和膜世界模型中使用的初值设定？
• RQ2 为何原始CM定理无法为现代物理中的相对论场方程提供充分保护？
• RQ3 CM定理在因果性和对初值数据连续依赖性方面的根本局限性是什么？
• RQ4 现有膜世界模型的实际构建在多大程度上依赖于CM定理？它们实际使用的是何种其他方法（如共形方法）？
• RQ5 是否存在更可行、更谦逊的替代方案，可用于在高维引力模型中建立良好定义的适定性？

主要发现

• Campbell–Magaard定理虽在解析嵌入下局部成立，但无法保证对初值数据的连续依赖性，而这是广义相对论中良好定义的初值问题的关键要求。
• 该定理忽视了因果性，因其未考虑相对论场论中至关重要的依赖域结构。
• 对解析函数的限制使该定理不适合现代相对论物理，后者通常处理光滑或Sobolev类解。
• 尽管作者提供了新的、协变的、拓扑上清晰的CM定理证明，但这并未解决其应用中的深层基础问题。
• 实际的膜世界和高维模型构建通常依赖于Lichnerowicz–York共形方法，而非CM定理，表明理论与应用之间存在脱节。
• 对于如1+1或2+0维约化问题等高度对称情形，可建立保护定理，但这些结果严格局限于对称模型，无法推广至完整动力学或一般情形。