[論文レビュー] n-Harmonic mappings between annuli

Tadeusz Iwaniec, Jani Onninen|arXiv (Cornell University)|Feb 4, 2011

Analytic and geometric function theory参考文献 44被引用数 17

ひとこと要約

本稿は、R^n 内の同心な球面アニュラス間の n-調和写像を調査し、Sobolev 空間 W^{1,n} 内のエネルギー最小化ホメオモルフィズムに焦点を当てる。自由ラグランジアンと変分解析を用いることで、極値写像の存在、一意性、対称性の性質を確立し、n ≥ 4 の場合に臨界 Nitsche 界を越えて径対称性が成立しないという予期せぬ現象を明らかにする。

ABSTRACT

The central theme of this paper is the variational analysis of homeomorphisms $h\colon \mathbb X \onto \mathbb Y$ between two given domains $\mathbb X, \mathbb Y \subset \mathbb R^n$. We look for the extremal mappings in the Sobolev space $\mathscr W^{1,n}(\mathbb X,\mathbb Y)$ which minimize the energy integral \[ \mathscr E_h=\int_{\mathbb X} ||Dh(x)||^n dx. \] Because of the natural connections with quasiconformal mappings this $n$-harmonic alternative to the classical Dirichlet integral (for planar domains) has drawn the attention of researchers in Geometric Function Theory. Explicit analysis is made here for a pair of concentric spherical annuli where many unexpected phenomena about minimal $n$-harmonic mappings are observed. The underlying integration of nonlinear differential forms, called free Lagrangians, becomes truly a work of art.

研究の動機と目的

• n-調和エネルギー積分 ∫|Dh|^n dx を最小化するアニュラス間の極値ホメオモルフィズムを分析すること。
• 特に擬等角写像と非線形弾性論の文脈において、アニュラス間の n-調和写像の存在と一意性を解明すること。
• 自由滑りを許す境界条件の役割を調査し、古典的な対称性仮定に挑戦すること。
• 特に Nitsche 界を超えた場合に、最小化写像における径対称性の有効性と限界を確立すること。
• 自由ラグランジアン理論を構築・適用し、非線形微分形式の正確な統合と鋭いエネルギー推定の導出を行うこと。

提案手法

• 主な変分積分として W^{1,n}(X,Y) 内の n-調和エネルギー関数 E_h = ∫_X |Dh(x)|^n dx を用いる。
• 非線形微分形式の統合とエネルギー評価の導出を可能にするために、自由ラグランジアンの概念を適用し、極値写像の正確な計算を可能にする。
• 極座標および球座標を用いて問題を径対称性に還元し、ひずみ関数の n-ラプラシアンを分析する。
• h(x) = |x|^α Φ(x/|x|) の形の極値写像を構成する。ここで Φ は |DΦ| ≤ α かつ J(ω,Φ) ≡ 1 を満たす球面写像である。
• 逆写像 f = h^{-1} を用いて外部および内部の歪み率を関連させ、擬等角写像において K_O(x,h) = K_I(y,f) が成り立つことを証明する。
• ラムベルトの円柱射影と区分的線形変形を用いて、S^{n-1} 上の恒等写像の面積保存型摂動を明示的に構成する。

実験結果

リサーチクエスチョン

• RQ1 R^n 内の同心なアニュラス間で、n-調和ホメオモルフィズムが存在する条件は何か？
• RQ2 n ≥ 4 の場合に、径対称性が n-調和エネルギーの最小化に失敗するのはどのようなときか？
• RQ3 境界の滑りが極値写像の存在と一意性に果たす役割は何か？
• RQ4 自由ラグランジアンは、変分問題における非線形微分形式の正確な統合をどのように可能にするか？
• RQ5 極値 n-調和ホメオモルフィズムが存在するための、ターゲットアニュラスのモジュラスの鋭い上界は何か？

主な発見

• n ≥ 4 の場合、ターゲットアニュラスのモジュラスが臨界 Nitsche 型の界を超えると、径対称性が最小化に失敗し、非径対称な極値写像が生じる。
• アニュラス間で極値 n-調和ホメオモルフィズムが存在するための必要十分条件は、ターゲットアニュラスのモジュラスが N^†(Mod A) 以下であることである。ここで N^† は n に依存する鋭い上界である。
• エネルギー関数 E_h は、Φ が |DΦ| ≤ α かつ J(ω,Φ) ≡ 1 几乎 everywhere を満たすとき、h(x) = |x|^α Φ(x/|x|) の形の写像によって最小化される。
• 縮小対 (Mod A* ≤ Mod A) の場合、一意な最小化写像は径対称的かつ等角的であり、エネルギーは等角エネルギーに一致する。
• 拡大対 (Mod A* > Mod A) の場合、極値写像は Nitsche 界までしか存在せず、それ以上ではそのようなホメオモルフィズムは存在しない。
• S^{n-1} 上で C^0 範囲が任意に小さく、ヤコビアンが恒等的に 1 である面積保存ホメオモルフィズムの明示的構成が提示され、フレームワークの柔軟性が示される。