Korn's inequality from the viewpoint of calculus of variations

この論文「KORN'S INEQUALITY FROM THE VIEWPOINT OF CALCULUS OF VARIATIONS（変分法の観点からのコーンの不等式）」は、ガブリエーレ・カッセセ（Gabriele Cassece）によって執筆されたものであり、コーンの不等式における最適定数の評価、特に次元に依存しない（dimension-free）上界の導出と、変分法におけるモレーの問題（Morrey's problem）との関連性について深く考察しています。

以下に、論文の技術的な詳細を問題設定、手法、主要な貢献、結果、そして意義に分けて要約します。

1. 問題設定 (Problem)

コーンの不等式は、線形弾性力学や流体力学において基本的な役割を果たす不等式です。領域 $\Omega \subset \mathbb{R}^d$ 上のベクトル場 $u \in W^{1,p}_0(\Omega, \mathbb{R}^d)$ に対して、歪みテンソル $E(u) = \frac{1}{2}(\nabla u + \nabla u^T)$ の $L^p$ ノルムが、回転成分 $A(u) = \frac{1}{2}(\nabla u - \nabla u^T)$ の $L^p$ ノルムを制御することを主張します。

$$\|A(u)\|_{L^p} \leq C(p, \Omega) \|E(u)\|_{L^p}$$

従来の研究では、$p=2$ の場合の定数が 1 であることが知られていましたが、一般の $p$ における最適定数 $C(p, d)$ の精密な評価、特に次元 $d$ に依存しない上界（dimension-free bound）の存在と値は長年の課題でした。また、この問題は複素解析におけるブルア・アイルフォース変換（Beurling-Ahlfors transform）のノルム評価問題や、変分法における「準凸性（quasiconvexity）」と「ランク 1 凸性（rank-one convexity）」の等価性（モレーの問題）と密接に関連しています。

2. 手法 (Methodology)

著者は、従来の関数解析的なアプローチに加え、以下の 3 つの強力な手法を組み合わせています。

1. 確率論的アプローチ（マルティンゲールと微分従属）:

   • コーンの不等式を、Riesz 変換のテンソル積 $R \otimes R$ に関連する特異積分作用素として捉えます。
   • バンベロス（Bañuelos）とバウドアン（Baudoin）が導入した「熱マルティンゲール（heat martingale）」表現を用います。これは、ブラウン運動 $B_t$ と熱半群 $P_t$ を用いて、関数 $\nabla u$ をマルティンゲール $M_t = P_{T-t}\nabla u(B_t)$ として表現する手法です。
   • バークホルダーの微分従属定理（Burkholder's differential subordination theorem） を適用します。これは、あるマルティンゲール $X$ が他のもう一つのマルティンゲール $Y$ に「微分従属（differentially subordinated）」している場合（$|dX| \leq |dY|$ など）、その $L^p$ ノルムが $(p^*-1)\|Y\|_{L^p}$ 以下で抑えられるという結果です（ここで $p^* = \max(p, p')$）。

2. 変分法と凸性の概念:

   • コーンの不等式の最適定数は、特定の積分関数（integrand）の「準凸性」や「ランク 1 凸性」という変分法の概念と等価であることを利用します。
   • 特に、ランク 1 凸性の評価がマルティンゲール変換の問題に帰着されることを示し、バークホルダーの関数 $G_p$ を用いて下界を評価します。

3. 重み付き空間への拡張:

   • ドメレボ、ペーターミヒル、スクレブ（Domelevo, Petermichl, Skreb）による重み付きマルティンゲール不等式を応用し、Muckenhoupt 重み（$A_p$ 重み）に対するコーンの不等式を導出します。

3. 主要な貢献と結果 (Key Contributions and Results)

A. 次元に依存しない上界の導出

著者は、コーンの不等式における最適定数 $C(p, d)$ に対して、次元 $d$ に依存しない上界を証明しました。

• 定理 1.1: 任意の $u \in \dot{W}^{1,p}(\mathbb{R}^d, \mathbb{R}^d)$ に対して、
  $$\|A(u)\|_{L^p} \leq \sqrt{3}(p^* - 1) \|E(u)\|_{L^p}$$
  が成り立ちます。ここで $p^* = \max(p, p')$ です。
  • この結果は、従来の次元に依存する評価（例：$d$ に比例するもの）を改善し、定数が $\sqrt{3}(p^*-1)$ で抑えられることを示しました。
  • 追跡自由（trace-free）バージョンについても同様の評価が得られています。

B. 最適定数の推定と鋭さ（Sharpness）

• 下界の評価: $C(p, d) \geq p^* - 1$ であることを示しました。
• ラジアルケースでの鋭さ: $u$ が一般化ラジアル関数（$u(x) = r(|x|)x$）である場合、定数は $\sqrt{3}$ 因子なしに $p^* - 1$ まで改善され、$p \geq 2, d=2$ の場合にこの定数は最適（sharp）であることが示されました。
• 予想: 著者は、すべてのケースにおいて $p^* - 1$ が真の最適定数であるという予想を立てています。これはイワニエック（Iwaniec）のブルア・アイルフォース作用素に関する予想と整合します。

C. 関数空間への拡張

• オルリッチ空間（Orlicz spaces）: 不等式が成立するオルリッチ空間 $\dot{W}^{1}L^\Phi$ に対して、次元に依存しない定数による評価を導出しました（定理 1.2）。
• 重み付きソボレフ空間: $A_p$ 重み $w$ に対して、重み付きコーンの不等式が成立することを証明しました（定理 1.3）。
  $$\|A(u)\|_{L^p(w)} \leq K(p^* - 1)[w]_{A_p}^{\max(1, \frac{1}{p-1})} \|E(u)\|_{L^p(w)}$$

D. ランク 1 凸性と準凸性の関係

• 変分法の観点から、ランク 1 凸性（rank-one convexity）の定数 $C_{rc}$ が $p^* - 1$ であることを厳密に証明しました（定理 5.1）。
• これは、モレーの問題（ランク 1 凸性 $\iff$ 準凸性）における重要な一歩であり、特定の積分関数の準凸性がランク 1 凸性と一致する可能性を示唆しています。

4. 意義 (Significance)

1. 定数の精密化: コーンの不等式における定数の次元依存性を排除し、$p$ のみに依存する明確な上界を与えたことは、弾性力学や流体の数値解析、存在定理の証明において極めて重要です。特に $p$ が大きい場合や次元が高い場合の定数制御が可能になりました。
2. 分野間の架け橋: 確率論（マルティンゲール）、調和解析（Riesz 変換）、変分法（準凸性）、そして複素解析（ブルア・アイルフォース変換）という、一見すると異なる分野の手法を統合して問題を解決した点に大きな学術的価値があります。
3. モレーの問題への示唆: ランク 1 凸性と準凸性の関係について、バークホルダーの関数を用いた具体的な評価を提供し、高次元におけるモレーの問題の進展に寄与しています。
4. 応用可能性: 得られた重み付き不等式やオルリッチ空間への拡張は、非線形偏微分方程式の正則性理論や、より一般的な変分問題の解の存在・正則性の研究に直接応用可能です。

結論

この論文は、コーンの不等式という古典的な問題に対して、現代的な確率論的・変分法的アプローチを駆使することで、次元に依存しない最適に近い定数評価を達成した画期的な研究です。特に、$p^* - 1$ という定数が本質的であるという強い証拠を示し、変分法における未解決問題（モレーの問題）との深い結びつきを浮き彫りにしました。