Lipschitz regularity of harmonic quasiconformal maps between Lyapunov domains in $\mathbb{R}^n$

技術要約：リアプノフ・ドメイン間の調和擬共形写像のリプシッツ正則性

問題設定
本論文は、$\mathbb{R}^n$ における有界領域間の調和擬共形（HQC）写像の正則性について扱っている。具体的には、向きを保存する調和 $K$-擬共形同相写像 $f: D \to \Omega$ が、ソース領域 $D$ とターゲット領域 $\Omega$ がともにリアプノフ・ドメイン（これは $\alpha \in (0, 1]$ である有界 $C^{1,\alpha}$ ドメインと同等である）であるとき、大域的にリプシッツ連続になるかどうかを調査している。

先行研究（具体的には [11]）では、ソース領域が単位球 $B^n$ であり、ターゲットが $C^{1,\alpha}$ 境界を持つ場合にはリプシッツ連続性が確立されていたが、ソース領域 $D$ が任意の $C^{1,\alpha}$ ドメインである一般の場合については未解決のままであった。著者らは、この結果を任意の $C^{1,\alpha}$ ソースおよびターゲット領域へと拡張することを目指している。

手法
証明は、境界トレースの初期のヘルダー連続性を、より高い正則性へと、最終的には境界までの有界な勾配へと変換する「境界反復スキーム」に基づいている。その手法は以下の段階を経て進行する：

1. 大域的ヘルダー連続性： 著者らはまず、$f$ がある $\beta \in (0, 1)$ に対して大域的に $\beta$-ヘルダー連続であることを確立する。これは、$C^{1,\alpha}$ 有界ドメインがユニフォーム・ドメイン（したがってジョン・ドメイン）であり、ユニフォーム・ドメインとジョン・ドメイン間の写像に関する既存の定理を適用できることから導かれる。
2. 境界から内部への勾配評価： 核となる解析的手法は、境界点 $x_0 \in \partial D$ の近傍における局所的な評価である。
   • 補題 3.1： 調和関数 $u$ の境界トレースが $x_0$ において $\mu$-ヘルダー条件 ($0 < \mu < 1$) を満たす場合、内向き法線方向の勾配 $|\nabla u(x)|$ は、境界からの距離を $t$ とすると $t^{\mu-1}$ に従って減衰する。
   • 補題 3.2： ヘルダー指数 $\mu > 1$ の場合、勾配評価は境界付近で一様（有界）になる。
   • これらの補題は、$C^{1,\alpha}$ ドメインにおける調和測度評価を用い、境界をグラフへと平坦化し、標準的な境界リプシッツ評価を適用することで利用される。
3. 擬共形性による指数の改善：
   • 著者らは、境界点 $q = f(\xi)$ において座標系を回転させ、ターゲット境界 $\partial \Omega$ が局所的に $C^{1,\alpha}$ グラフ $y_n = \Phi(y')$ として表されるようにする。
   • 写像の法線成分 $f_n$ は、境界の幾何学的構造によって制約を受ける：$f_n(\eta) = \Phi(\tilde{f}(\eta))$ である。$\Phi$ は $C^{1,\alpha}$ であり、接線成分が $\beta$-ヘルダーであるため、法線成分は正則性を獲得し、指数 $\beta_1 = (1+\alpha)\beta$ のヘルダー条件を満たす。
   • 擬共形性は、この制御を法線成分から全微分 $|Df|$ へと伝播させるために用いられる。具体的には、微分の中の最小特異値が全ノルムを制御しており、法線成分の境界勾配評価が、必要なバウンドを提供する。
4. 反復： 改良されたヘルダー指数 $\beta_1$ が、勾配評価へとフィードバックされる。このプロセス（$\beta_{m+1} = (1+\alpha)\beta_m$）を反復することで、指数は最終的に 1 を超える。$\beta_m > 1$ となると、補題 3.2 が適用され、境界のカラー近傍における一様な $|Df|$ の上界が得られる。
5. 大域化： 境界近傍での局所的なバウンドを、標準的な内部勾配評価（$f$ は内部で調和かつ滑らかであるため有効）と組み合わせることで、大域的な $|Df|$ のバウンドを確立する。

主要な貢献と結果

• 主定理 (Theorem 2.1)： 著者らは、もし $D$ と $\Omega$ が $\mathbb{R}^n$ ($\alpha \in (0, 1)$) の有界 $C^{1,\alpha}$ ドメインであれば、任意の調和 $K$-擬共形同相写像 $f: D \to \Omega$ は大域的にリプシッツ連続であることを証明する。
• 先行研究の拡張： この結果は、ソースが単位球であるという制限を取り除くことで、[11] の知見を一般化するものである。
• 技術的枠組み： 本論文は、「境界反復スキーム」を詳細に提供しており、それが境界の $C^{1,\alpha}$ 正則性と、法線成分のヘルダー指数の獲得、さらには全勾配の有界性をどのように明示的に結びつけているかを記述している。
• 補助的評価： 論文は、$C^{1,\alpha}$ ドメインにおける調和関数の境界ヘルダー制御と内部勾配バウンドの関係に関する、精密な定量的評価（補題 3.1 および 3.2）を確立しており、$\mu < 1$ と $\mu > 1$ のケースを区別している。

意義と主張
本論文は、任意のリアプノフ・ドメイン間の HQC 写像の正則性の問題を解決したと主張している。その意義は以下の通りである：

• 幾何学的制約の除去： ソースを単なる単位球ではなく、任意の $C^{1,\alpha}$ ドメインとして許容することで、この結果はより広範な幾何学的構成に適用可能となる。
• 統一的アプローチ： 議論は、調和解析（調和測度、境界評価）と擬共形的幾何学（微分の歪み、特異値）のツールを統合し、境界から内部へと正則性を伝播させている。
• 範囲の限定： 著者らは、ソースの境界に $C^{1,\alpha}$ の滑らかさのみを仮定するという点で、[11] に対する改善として本研究を位置づけている。彼らは、より正則性の低いドメイン（例：$C^{1,\alpha}$ の滑らかさを持たないリプシッツ・ドメイン）に対する問題の解決や、ビリプシッツ定数の提供については主張しておらず、厳密に大域的リプシッツ特性に焦点を当てている。

最後に、論文では、平面の場合については、単位円への還元と共形写像理論を通じて同様の結果が以前に得られていたことが述べられているが、ここで提示されている高次元の証明は、上述の固有の反復スキームに依存している。