[论文解读] Decay and non-decay of the local energy for the wave equation in the De Sitter - Schwarzschild metric

Jean‐François Bony, Dietrich Häfner|ArXiv.org|Jun 4, 2007

Black Holes and Theoretical Physics参考文献 22被引用 6

一句话总结

本论文为德西特-史瓦西时空中的波动方程解建立了共振展开，表明局部能量以多项式速率衰减，伴随对数型角向导数损失，或以指数速率衰减，伴随ε-导数损失。主要贡献来自零共振，通过谱理论和解析延拓的预解算子，误差项的衰减速率得到严格控制。

ABSTRACT

We describe an expansion of the solution of the wave equation in the De Sitter - Schwarzschild metric in terms of resonances. The main term in the expansion is due to a zero resonance. The error term decays polynomially if we permit a logarithmic derivative loss in the angular directions and exponentially if we permit an small derivative loss in the angular directions.

研究动机与目标

• 利用共振理论分析德西特-史瓦西度量中波动方程的局部能量衰减。
• 通过将解按共振展开，确定局部能量衰减速率的精确值。
• 量化角向上衰减速率与导数损失之间的权衡。
• 通过检验对数型导数损失的临界阈值，建立衰减估计的最优性。
• 将德西特-史瓦西情形与史瓦西情形进行对比，说明为何在后者中该方法无法直接应用，因共振可能在原点处聚集。

提出的方法

• 利用共振理论将波动方程的解分解为解析延拓后的预解算子极点的贡献。
• 应用Sá Barreto–Zworski关于德西特-史瓦西度量中共振局域化的结果，识别出零共振为主要项。
• 在复平面上使用围道积分，将传播子表示为谱投影与误差项的组合。
• 通过算子 $\langle -\Delta_\omega \rangle^M$ 在角向频率空间中的加权估计，控制导数损失。
• 应用径向分解 $u = \sum_\ell u_\ell$ 将问题约化为角动量模态，并控制依赖于 $\ell$ 的范数。
• 通过复平面上对预解算子 $\widehat{R}_\chi^\ell(\lambda)$ 的估计，建立误差项的有界性，利用多项式与对数增长的有界性。

实验结果

研究问题

• RQ1 德西特-史瓦西时空中波动方程的局部能量衰减速率是多少？
• RQ2 零共振的存在如何影响解的渐近行为？
• RQ3 在角向上，衰减速率与导数损失之间最优权衡为何？
• RQ4 该共振方法能否应用于史瓦西情形？若不能，原因是什么？
• RQ5 角向上导数损失的临界阈值为何，超过该阈值后衰减估计将失效？

主要发现

• 局部能量以多项式速率衰减，伴随角向的对数型导数损失：$\|E_1(t)\| \lesssim e^{-\mu t} \|\langle -\Delta_\omega \rangle^M \chi_0 u\|_{{\mathcal{E}}^{\rm mod}}$，其中 $M = C\mu/2$。
• 局部能量以指数速率衰减，伴随 $\varepsilon$-导数损失：$\|E_1(t)\| \lesssim e^{-\mu t} \|\chi_0 u\|_{{\mathcal{E}}^{\rm mod}}$，在角向导数损失为 $\varepsilon$ 的条件下。
• 对于属于一维子空间补集的初始数据，局部能量可积，且伴随 $\langle \ln \langle -\Delta_\omega \rangle \rangle^\alpha$ 导数损失，其中 $\alpha > 1$，且此结果近乎最优，因为当 $\alpha < 1/2$ 时估计不成立。
• 解展开中的主要贡献来自零共振，其主导了长时间行为。
• 该方法无法直接推广至史瓦西情形，原因在于共振可能在原点处聚集。
• 共振展开中的误差项满足 $\|I_1\| \lesssim e^{-\mu t} \ell^{C\mu} \|u\|_{{\mathcal{E}}^{\rm mod}}$ 与 $\|I_2\| \lesssim e^{-\mu t} \|u\|_{{\mathcal{E}}^{\rm mod}}$，从而导出前述衰减估计。