[论文解读] The Rad\'o-Kneser-Choquet theorem for $p$-harmonic mappings between Riemannian surfaces

Tomasz Adamowicz, Jarmo Jääskeläinen+1 more|arXiv (Cornell University)|Jun 8, 2018

Analytic and geometric function theory参考文献 56被引用 4

一句话总结

本文建立了黎曼曲面之间映射的 p-调和版 Radó–Kneser–Choquet 定理，证明了从具有非正曲率的紧致曲面到目标曲面非负曲率区域中测地线凸子区域的 p-调和极小化映射，若边界数据为 C1,α-同胚，则其为微分同胚。证明采用 ϵ-扰动的统一椭圆系统同伦论证，依赖于与雅可比行列式相关的表达式的次调和性，并通过极小值原理建立雅可比行列式为正，将经典结果推广至非线性、曲率情形。

ABSTRACT

In the planar setting the Rad\'o-Kneser-Choquet theorem states that a harmonic map from the unit disk onto a Jordan domain bounded by a convex curve is a diffeomorphism provided that the boundary mapping is a homeomorphism. We prove the injectivity criterion of Rad\'o-Kneser-Choquet for $p$-harmonic mappings between Riemannian surfaces. In our proof of the injecticity criterion we approximate the $p$-harmonic map with auxiliary mappings that solve uniformly elliptic systems. We prove that each auxiliary mapping has a positive Jacobian by a homotopy argument. We keep the maps injective all the way through the homotopy with the help of the minimum principle for a certain subharmonic expression that is related to the Jacobian.

研究动机与目标

• 将适用于欧氏平面上调和映射的经典 Radó–Kneser–Choquet 定理，推广至黎曼曲面之间的 p-调和映射。
• 建立 p-调和极小化映射在黎曼曲面之间为微分同胚的条件，确保单射性与光滑性。
• 通过扰动与同伦技术，克服 p-调和映射的 Euler–Lagrange 方程因曲率引入的挑战。
• 证明在同伦过程中，p-调和映射的雅可比行列式始终保持正数，从而保证单射性不变。

提出的方法

• 通过 ϵ-扰动的统一椭圆系统近似 p-调和映射，以保证正则性并避免 ϵ=0 时的退化。
• 使用连接扰动系统与原始 p-调和系统的同伦论证，保持整个过程中的单射性。
• 对与雅可比行列式相关的次调和表达式应用极小值原理，证明雅可比行列式在同伦过程中保持为正。
• 利用 ϵ-扰动系统解的 C1,α-正则性，确保光滑性并控制梯度。
• 在小球内利用高斯引理与测地线凸性，分析目标流形中的距离增长与角度条件。
• 在环形区域上构造局部压缩映射，以控制同伦行为，并确保像始终位于小测地线球内。

实验结果

研究问题

• RQ1 在何种几何与分析条件下，黎曼曲面之间的 p-调和映射为微分同胚？
• RQ2 经典 Radó–Kneser–Choquet 定理能否从调和映射推广至曲面上的 p-调和映射？
• RQ3 当曲率破坏系统调和性时，如何在扰动与同伦过程中保持雅可比行列式的正性？
• RQ4 源流形与目标流形的曲率在确保 p-调和极小化映射单射性方面起何作用？
• RQ5 当 Euler–Lagrange 系统因曲率而呈现非齐次性时，能否使用同伦论证证明 p-调和映射的单射性？

主要发现

• p-调和极小化映射 u: M → N' 是其像 N 上的 C1,α-微分同胚，且在 M 的内部雅可比行列式非零。
• 在同伦至共形极限的整个过程中，p-调和映射的雅可比行列式始终保持严格为正，从而保证单射性不变。
• 解在 M 的内部为 C∞-光滑，这是由 C1,α-正则性与雅可比行列式正性所决定。
• 证明依赖于与雅可比行列式相关的某一表达式的次调和性，该表达式在边界处取最小值，因此保持为正。
• 目标区域的小尺寸条件（包含于半径为 rN′,p 的测地线球内）确保了局部凸性，并允许在证明中使用比较几何。
• 扰动系统（ϵ > 0）为统一椭圆型，且存在 C1,α-正则解，当 ϵ → 0 时收敛于 p-调和解。