The trace-free Beurling--Ahlfors transform and the Bourgain--Brezis problem for Hodge systems

技術的要約：トレースフリー・ベールリング・アフラーツ変換とホッジ・システムにおけるブールガン・ブレジスの問題

問題設定
本論文は、$\mathbb{R}^n$ 上のクリティカルな劣決定偏微分方程式、特にホッジ・システムに関するブールガン・ブレジス（Bourgain–Brezis）の問題を扱う。中心となる問いは、与えられた完全微分形式 $dv$がクリティカルなソボレフ空間$\dot{W}^{n/p,p}\Lambda^l$（またはより一般的には、トリーブリー・リゾリン空間およびベゾフ空間）に属する場合、$du = dv$かつ$u$が当該のクリティカルな空間と$L^\infty$の共通部分に属するような原始関数$u$ が存在するかどうかである。

標準的な解 $u = -|D|^{-2}\nabla f$（発散の場合）やそのホッジ型の類似物は、クリティカルなソボレフ埋め込み $\dot{W}^{n/p,p} \not\subset L^\infty$ の失敗により、有界性を欠くことが多い。しかし、ブールガンとブレジスは以前、特定のケース（例：発散方程式における $p=n$、またはホッジ・システムにおけるヒルベルト空間的な $p=2$ の場合）において、有界な解が存在することを確立した。一般的な予想では、この現象はすべての $1 < p < \infty$ およびすべての形式次数 $1 \le l \le n-1$ に対して成立するとされている。本研究以前の進展は、双対法がヒルベルト的なケース（$p=2$）に限定されていたこと、および近似手法が大きな $p$（具体的には $n < p+l$ となる範囲）においてのみ有効であったことにより、限定的であった。これにより、$1 < p \le 2$ の範囲は依然として未開の領域であった。

手法
本論文は、問題の双対定式化における新しいアプローチを導入している。核心となる手法は、微分形式に作用するトレースフリー・ベールリング・アフラーツ変換（$S$）の特定と活用にある。

1. $S$ の定義: 著者は、$S$ を、一般化されたベールリング・アフラーツ変換 $\tilde{S} = P - P^\perp$（ここで $P$ と $P^\perp$ は完全形式および余完全形式へのホッジ射影である）の標準的な正規化として定義する。この変換は次のように定義される：
   $$S = \frac{n-l}{n}P - \frac{l}{n}P^\perp = \frac{1}{2}\left(\tilde{S} - \frac{2l-n}{n}\text{Id}\right).$$
   この正規化により、すべての $\xi \neq 0$ に対して $S(\xi)$ のトレースが消滅することが保証される。

2. 反射による打ち消し（Reflection Cancellation）: 主要な技術的洞察は、$S$ の行列シンボルが $\frac{\xi_i^2 - \xi_j^2}{|\xi|^2}$ および $\frac{\xi_i \xi_j}{|\xi|^2}$ という形のスカラ倍数に分解できることである。これらの倍数は、特定の直交反射の下で奇関数となる。この対称性により、著者はエンドポイント打ち消し評価、すなわち、演算子 $|D|^{-n}S$ が有限ラドン測度（特に $L^1_0$ 関数）を $L^\infty$ へ有界に写すことを証明できる。これは、恒等演算子が測度から $L^\infty$ への有界性を備えていないことと比較して、重要な改善である。

3. 双対性の原理: 本論文は、プリマルなホッジ・システムの有界な選択の存在を、双対空間における可積分形式の余完全成分のエンドポイント評価と等価付ける双対性の原理（命題 3.2）を利用する。具体的には、余完全形式に対して $\|\omega\|_X \lesssim \|\omega\|_{L^1_0} + \|P\omega\|_X$ が成り立つことを示すことで、ブールガン・ブレジスの選択推定を回収できる。

4. 多重線形への拡張: ヒルベルト的なケース（$p=2$）を超えて進むために、著者は線形な反射打ち消しを多重線形の設定へと拡張する。ディアディック・ブロック（リトルウッド・パレー理論）の冪を展開し、倍数の反射対称性を利用することで、非ヒルベルト的な指数に対する評価を導出する。これには、倍数の奇関数性を利用して、$\int (\Delta_j S\omega) (\Delta_j u)^{k}$ という形の多重線形表現を制御することが含まれる。

主要な貢献と結果

• ヒルベルト的なケースの完遂: 本論文は、すべての次元 $n \ge 2$ およびすべての形式次数 $1 \le l \le n-1$ において、ヒルベルト的なケース（$p=2$）におけるブールガン・ブレジスの予想を証明した。

  • 結果: $d[\dot{H}^{n/2}\Lambda^l] = d[(\dot{H}^{n/2} \cap L^\infty)\Lambda^l]$。

• 新しい非ヒルベルト的な範囲: $p=1$ に任意に接近する新しい一族の指数の範囲に対して、ブールガン・ブレジスの評価を確立した。

  • トリーブリー・リゾリン・スケール: $1 < p \le q \le 2$ において、$q'$ が偶数かつ $p'/q' \in \mathbb{N}$ であるとき、予想は成立する。
  • ベゾフ・スケール: $1 < p \le 2$ および $1 \le q \le p$ において、$p'$ が偶数であるとき、予想は成立する。
  • ソボレフの結果: $q=2$ と設定する（$\dot{W}^{n/p,p} = \dot{F}^{n/p}_{p,2}$ と識別する）ことで、整数 $k \ge 1$ に対して $p = \frac{2k}{2k-1}$ の場合に予想が証明される。これは、すべての次元と形式次数に対して成立する、1に収束する指数の列を提供している。

• エンドポイント・ホッジ分解: これらの結果は、完全成分と余完全成分の両方のポテンシャルが有界に選べる新しいホッジ分解をもたらす。具体的には、特定されたクリティカルな空間において、完全形式の空間 $d[\dot{X}\Lambda^{l-1}]$ は、ポテンシャルが $(\dot{X} \cap L^\infty)\Lambda^{l-1}$ に属れるような分解を許容する。

• 内在的な非線形性: 本論文は、これらの評価によって保証される有界な選択が、有界な線形作用素によって実現されることはない（クリティカルな空間が既に $L^\infty$ に埋め込まれている自明なケース、すなわち $q=1$ のベゾフ空間を除いて）ことを証明している。これは、特異な標準的解を有界な解へと「補正」するプロセスが、本質的に非線形であることを裏付けている。

意義
本論文は、ブールガン・ブレジスの問題に対する双対的アプローチが「従来理解されていたよりも大幅に柔軟である」と主張している。ベールリング・アフラーツのトレースフリー構造を孤立させることにより、著者は、双対的手法がヒルベルト的な設定（$p=2$）に限定されるものではなく、多重線形反射評価を通じて $p=1$ 近傍のクリティカルな指数をカバーするように拡張可能であることを示している。これは、近似手法（大きな $p$ で有効）を補完し、クリティカルなパラメータ範囲全体にわたって予想を統一する枠組みを提供する。また、本研究は、エンドポイントでの打ち消しを可能にする（倍数の反射対称性という）構造的な理由を明らかにしており、クリティカルな正則度におけるホッジ・システムの振る舞いについて、より深い幾何学的理解を提供している。