[論文レビュー] Harmonic mappings between singular metric spaces

Chang‐Yu Guo|arXiv (Cornell University)|Feb 16, 2017

Geometric Analysis and Curvature Flows参考文献 70被引用数 3

ひとこと要約

本稿は、特異な計量空間間の調和写像の存在、一意性、および内部正則性を確立し、特にRCD(K,N)空間を定義域として、NPC（非正曲率）の被覆空間へ結果を拡張する。Korevaar-SchoenやKuwae-Shioyaのエネルギー関数を用い、調和写像に関するLiouville型定理を証明し、調和写像フローの構成を行う。これは、曲率に下界のある測度付き距離空間における先行研究を統合・一般化するものである。

ABSTRACT

In this paper, we survey the existence, uniqueness and interior regularity of solutions to the Dirichlet problem of Korevaar and Schoen in the setting of mappings between singular metric spaces. Based on known ideas and techniques, we separate the necessary analytical assumptions to axiomatizing the theory in the singular setting. More precisely, - We extend the existence result of Guo and Wenger [25] for solutions for the Dirichlet problem of Korevaar and Schoen to the purely singular setting. - When Y has non-positive curvature in the sense of Alexandrov (NPC), we show that the ideas of Jost [40] and Lin [52] can be adapted to the purely singular setting to yield local Holder continuity of solutions. - We extend the Liouville theorem of Sturm [67] for harmonic functions to harmonic mappings between singular metric spaces. - We extend the theorem of Mayer [57] on the existence of the harmonic mapping flow and solve the corresponding initial boundary value problem. Combing these known ideas, with the more or less standard techniques from analysis on metric spaces based on upper gradients, leads to new results when we consider harmonic mappings from RCD(K,N) spaces into NPC spaces. One advantage of this type of axiomatization is that it works for minimizers of other Dirichlet energy functional. In particular, as applications of the established theory, we deduce similar results for the Dirichlet problem based on the Kuwae-Shioya energy functional and for the Dirichlet problem based on upper gradients.

研究の動機と目的

• 特異計量空間における調和写像のDirichlet問題に対する解の存在および一意性を拡張すること。
• 非正曲率（NPC）の被覆空間を想定した設定において、解の局所 Hölder 継続性を確立すること。
• 調和関数のLiouville定理を特異計量空間間の調和写像へ一般化すること。
• 特異設定における調和写像フローの存在および適切な定義（well-posedness）を証明すること。
• 上付き勾配およびSobolev空間を用いて、特異空間におけるエネルギー関数の解析的仮定を統一的かつ公理的に定式化すること。

提案手法

• 球体上の平均を含む近似エネルギーを用いて、特異な計量測度空間へのKorevaar-Schoenエネルギー関数の適応。
• 上付き勾配技術および計量空間値Sobolev空間を用いて、弱解およびエネルギー関数を定義。
• RCD(K,N)空間および超完備化の理論を適用し、完備性および曲率条件を保証。
• 切断および切り捨て技術を用い、擬連続関数を介して調和性およびLiouville型結果を証明。
• L²(X,Y)のNPC構造とエネルギー関数の凸性を活用し、MayerおよびSturmの調和フローと最小化子に関する結果を適用。
• JostおよびLinの手法を計量空間解析と組み合わせ、NPC曲率仮定の下でHölder正則性を証明。

実験結果

リサーチクエスチョン

• RQ1 調和写像の存在および一意性は、特にRCD(K,N)領域とNPC被覆空間間の写像へ拡張可能か？
• RQ2 Korevaar-Schoenエネルギー関数のDirichlet問題の解は、特異設定においてどのような条件下で局所 Hölder 継続性を示すか？
• RQ3 RCD(K,N)空間からNPC空間への調和写像に対して、Liouville型定理が成立するか？
• RQ4 特異設定において調和写像フローを構成し、エネルギー最小化子に収束することを示せるか？
• RQ5 特異計量空間への調和写像理論を一般化するために、最小限の解析的仮定は何か？

主な発見

• Korevaar-Schoenエネルギー関数のDirichlet問題は、特異設定において一意解を有し、滑らかな多様体における結果を拡張する。
• 被覆空間がNPCであるとき、Dirichlet問題の解は局所 Hölder 継続的であり、古典的結果を特異空間へ一般化する。
• Liouville型定理が成立する：RCD(K,N)空間からNPC空間への任意の調和写像は定数写像である。
• 調和写像フローは存在し、エネルギー最小化子に収束する。これは特異設定における初期境界値問題を解く。
• 有界エネルギーを持つ写像の空間は閉かつNPC的であり、凸性および下方連続性により、フロー理論の適用が可能になる。
• 特異設定において、異なるSobolev空間定式化（Korevaar-Schoen、Kuwae-Shioya、上付き勾配に基づくもの）の同値性が確立された。