论爱因斯坦方程最大柯西发展的存在性——去 Zorn 化
广义相对论与量子宇宙学
2015-07-03 v3 数学物理
偏微分方程分析
微分几何
math.MP
摘要
1969 年，Choquet-Bruhat 和 Geroch 确立了给定初始数据下爱因斯坦方程存在唯一的最大全局双曲柯西发展。然而，他们的证明有一个令人不满的特征，即它关键地依赖于选择公理形式的 Zorn 引理。在本文中，我们提出了一种避免使用 Zorn 引理的证明。特别是，我们提供了这一最大全局双曲发展的显式构造。
引用
@article{arxiv.1309.7591,
title = {On the Existence of a Maximal Cauchy Development for the Einstein Equations - a Dezornification},
author = {Jan Sbierski},
journal= {arXiv preprint arXiv:1309.7591},
year = {2015}
}
备注
25 pages, 6 figures, v2 small changes and minor correction, v3 version accepted for publication