[论文解读] Schroedinger flow into almost Hermitian manifolds

Hiroyuki Chihara|ArXiv.org|Jul 22, 2008

Geometry and complex manifolds参考文献 9被引用 4

一句话总结

本文建立了从紧致黎曼流形到紧致几乎殆复流形的薛定谔映射的短时存在性定理，通过引入一个有界伪微分算子来恢复椭圆性，从而克服了由于几乎复结构不平行而导致的导数损失问题。关键贡献在于在经典能量法失效的一般几何条件下，给出了严格的解的存在性证明。

ABSTRACT

We present a short-time existence theorem of solutions to the initial value problem for Schroedinger maps of a closed Riemannian manifold to a compact almost Hermitian manifold. The classical energy method cannot work for this problem since the almost complex structure of the target manifold is not supposed to be parallel with respect to the Levi-Civita connection. In other words, a loss of one derivative arises from the covariant derivative of the almost complex structure. To overcome this difficulty, we introduce a bounded pseudodifferential operator acting on sections of the pullback bundle, and essentially eliminate the loss of one derivative from the partial differential equation of the Schroedinger map.

研究动机与目标

• 建立从紧致黎曼流形到紧致几乎殆复流形的薛定谔映射初值问题解的短时存在性定理。
• 解决由于目标流形上几乎复结构不平行于Levi-Civita联络而引起的能量法中导数损失问题。
• 将存在性理论推广至凯勒流形之外，其中先前的结果依赖于曲率或对称性假设。
• 为具有非可积几乎复结构的流形上的几何薛定谔方程提供一个通用框架。

提出的方法

• 引入一个作用于拉回丛截面上的有界伪微分算子，以控制几乎复结构的协变导数所导致的导数损失。
• 通过移动标架构造和局部坐标表达式，推导出映射 u 的拟线性薛定谔系统。
• 通过在两个解的差上分部积分进行能量估计，证明唯一性。
• 利用弱*收敛性和 L²-范数的下半连续性，建立高阶 Sobolev 范数的时间连续性。
• 使用中值定理估计涉及几乎复结构及其导数的非线性项。
• 结合椭圆正则化与先验估计，证明在 H^{2k} Sobolev 空间中的存在性。

实验结果

研究问题

• RQ1 当几乎复结构不平行于Levi-Civita联络时，能否为映射到几乎殆复流形的薛定谔映射建立短时存在性？
• RQ2 何种技术可克服由于几乎复结构不平行而导致能量法中损失一个导数的问题？
• RQ3 是否可以将存在性理论推广至凯勒目标之外，其中曲率和对称性假设可简化分析？
• RQ4 如何利用伪微分算子在具有几何非线性的拟线性薛定谔系统中恢复椭圆性？
• RQ5 当目标流形非凯勒时，解在Sobolev空间中的正则性与时间连续性如何？

主要发现

• 建立了从紧致黎曼流形到紧致几乎殆复流形的薛定谔映射的短时存在性定理。
• 通过在拉回丛上使用有界伪微分算子，消除了由于几乎复结构不平行而导致的导数损失。
• 通过能量估计和两个解之差的分部积分，证明了解在 H^{2k} 中的唯一性。
• 证明了解在时间上取值于 H^{2k-1} 中连续，并在 H^{2k} 中弱*连续，从而保证了解的正则性与稳定性。
• 通过弱*收敛性和 L²-范数的下半连续性，建立了高阶 Sobolev 范数的时间连续性。
• 该方法适用于一般紧致黎曼流形和紧致几乎殆复目标，超越了以往在欧氏空间或凯勒流形上的结果。