Martingales, laminates and minimal Korn inequalities

技術要約：マルチンゲール、ラミネート、および最小コルニーの不等式

問題設定
コルニーの不等式は、ベクトル場 $u$ の勾配 $\nabla u$ の $L^2$ ノルムが、その対称部分 $\text{Sym}(\nabla u)$ の $L^2$ ノルムによって制御可能であることを確立している。ここで、$\text{Sym}(\nabla u)$ は $d(d+1)/2$ 個の成分を持つが、完全な勾配は $d^2$ 個の成分を持つ。Chipotは [J. Math. Pures Appl. 148 (2021)] において、コルニー型の不等式において $\nabla u$ を制御するために必要なスカラー測定値（線形汎関数）の最小数 $N(d)$ を決定するという問題を提起した。具体的には、$N(d)$ を、以下の条件を満たす $d \times d$ 行列の空間 $M_d(\mathbb{R})$ 上の $k$ 個の線形汎関数 $\ell_1, \dots, \ell_k$ が存在する最小の整数 $k$ と定義した：
$$\|\nabla u\|_{L^2(\mathbb{R}^d)} \lesssim \sum_{i=1}^k \|\ell_i(\nabla u)\|_{L^2(\mathbb{R}^d)}$$
これはすべての $u \in C_c^\infty(\mathbb{R}^d, \mathbb{R}^d)$ に対して成立する。同様に、$H^1$ ノルムに関する第2コルニー不等式に関する量 $N'(d, \Omega)$ も定義された。Chipotは一般的な境界を確立し、低次元の具体的な値を算出したものの、$N(d)$ の漸近的成長および高次元における $N'(d)$ の正確な値は未解決のままであった。

手法
本論文は、Chipotの問題を変分法の言葉、特にランクワン凸性と準凸性を用いて再構成している。核心となる手法上の革新は、ラミネート（ランクワン凸結合から生じる確率測度）とマルチンゲール（特に二分マルチンゲール）の間の系統的な接続である。

1. 代数的特徴付け: 著者らは、コルニー型の不等式の存在を、測定される汎関数の部分空間の直交補空間が、ゼロでないランクワン行列を回避するという条件へと翻訳している。これにより、この偏微分方程式（PDE）の問題を、ランクワン方向を回避する行列の部分空間の最大次元に関する代数的位相の問題へと還元している。
2. マルチンゲールとラミネートの接続: 不等式の定数を推定するために、著者らは二分木を用いた明示的なラミネートの族を構成している。重心がゼロである有限次数のラミネートは、増分がランクワン行列であるマルチンゲールと見なすことができる。これにより、バークホルダーのシャープなマルチンゲール不等式を適用して、関連する不等式の定数の定量的境界を導出することが可能となる。
3. 位相幾何学的ツール: $N(d)$ の正確な値の決定は、非特異な双線形写像および実射影空間（$\mathbb{R}P^{d-1}$）の埋め込みに関する結果に基づいている。これは、問題を古典的な代数的位相の結果へと結びつけている。

主要な貢献と結果

• 代数的特徴付け: 本論文は、$N(d) = d^2 - n_{\mathbb{R}}(d, 1)$ および $N'(d) = d^2 - n_{\mathbb{C}}(d, 1)$ であることを証明している。これにより、最小の測定数の決定を、ランクワン行列を回避する部分空間の次元へと結びつけている。
• $N(d)$ および $N'(d)$ のシャープな境界:
  • 漸近的挙動: 著者らは、$d \to \infty$ において $N(d) \sim 2d$ であること、具体的には $N(d) = 2d(1 - o(1))$ であることを確立している。これは、$N(d)$ が二次的に成長するか線形的に成長するかという疑問を解決し、本質的に線形であることを示している。
  • 正確な値: すべての $d$ に対して $N'(d) = 2d - 1$ であることを証明している。$N(d)$ については、$N(d) \le 2d - 2$（$d = 2n+1$ のときに達成される）であることを示し、$N(d) \ge 2\lceil \log_2(d) \rceil$ という下界を提供している。
  • 特定の次元: 本論文は $d \le 19$ に対して $N(d)$ を正確に計算し、$d=33$ までの境界を提供している。特筆すべきは、$d \in \{1, 2, 4, 8\}$ の場合に限り $N(d) = d$ となる点である。
• 次元最適の不等式: 著者らは、ハンケル行列（$H$）の空間を用いて、次元最適のコルニー不等式を導出している。以下を示す：
  $$\|u\|_{H^1(\Omega)} \lesssim \|u\|_{L^2(\Omega)} + \|P_H(\nabla u)\|_{L^2(\Omega)}$$
  ここで $\dim(H) = 2d - 1$ である。これが第2の不等式に対する最小の次元であることが示されている。
• 定量的定数: マルチンゲールとラミネートの接続を用いて、これらの不等式のシャープな推定値を提供している。
  • ハンケル・コルニー不等式について、定数 $C(H(d))$ は次元に対して指数関数的に増大する。具体的には、$\log(C(H(d))) \approx \frac{2G}{\pi}d$ である（$G$ はカタランの定数）。
  • 次元 $k \approx d^2$ の一般的な部分空間については、定数を次元に依存しないものにできるが、最小の $N(d)$ に近い次元では、定数は $d$ と共に増大する。
• 一般化: 結果は、ベクトル場 $u: \mathbb{R}^m \to \mathbb{R}^d$ の矩形ケース $N(m, d)$ へと拡張されている。また、$p \neq 2$ の場合の $L^p$ 推定についても、最小測定数 $N_p(d)$ が $N_2(d)$ と等しいままであることを示している。
• オルンシュタインの非不等式: 副産物として、本手法はオルンシュタインの非不等式に対する、新しく、迅速で、定量的な証明を与える。これは、核（kernel）がランク2の行列を含む任意の一次同次演算子 $L$ に対して、不等式 $\|\nabla u\|_{L^1} \lesssim \|L(u)\|_{L^1}$ が成立しないことを示している。さらに、本論文は $p \to 1$ または $p \to \infty$ の際の必要定数の発散を定量化しており、それが $p^* - 1$（ここで $p^* = \max(p, p/(p-1))$）のスケールで増大することを示している。

意義
本論文は、いつ最小のコルニー型不等式が成立するかについて、純粋に代数的な特徴付けを提供し、これまで未知であったシャープな境界を導き出したと主張している。ラミネートとマルチンゲールを関連付けることで、著者らは変分法のための新しいツールを提供しており、これにより、定性的な存在証明を超えて、明示的な反例（ラミネート）の構成とシャープな定数の計算が可能となる。$N(d)$ の決定における代数的位相（特に非特異な双線形写像と射影空間）への接続は、偏微分方程式の問題に対する斬新なアプローチとして強調されている。また、オルンシュタインの非不等式の定量的な証明は、開発された手法の重要な応用として提示されている。