Bounded Representatives in Critical Sobolev-Hodge Spaces

技術的要約：臨界ソボレフ・ホッジ空間における有界代表元

問題設定
本論文は、臨界ソボレフ空間における根本的な問い、すなわち「すべての臨界ソボレフ空間の元が有界な代表元を持つか」という問題に取り組んでいる。具体的には、$n \ge 2$、$1 \le \ell \le n-1$、$1 < p < \infty$ のとき、ソボレフ埋め込み $\dot{W}^{n/p, p}(\mathbb{R}^n) \hookrightarrow L^\infty$ は成立しない。著者らは、臨界同次ソボレフ・ホッジ空間 $\dot{W}^{n/p, p}(\mathbb{R}^n; \Lambda^\ell)$ における微分形式の「選択原理（selection principle）」を調査している。

核心となる問いは、同じ外微分を共有するアフィン類 $\{u : du = dv\}$ が、元の代表元 $v$ が非有界である場合であっても、常に有界（$u \in L^\infty$）であり、かつ定量的な制御を受けた代表元 $u$ を含むかどうかである。これは、一次の微分制約に対してこの現象を確立した Bourgain と Brezis の先駆的な研究を、高次、分数階、およびホッジ分解の文脈へと拡張するものである。

手法
証明戦略は、選択問題を、リースのポテンシャルと厳密なホッジ射影を組み合わせたエンドポイントのグラフ推定へと帰着させる。その手法は、以下の3つの実質的な解析的ステップを通じて進行する。

1. 演算子入力型 Maz'ya–$\Phi$ 不等式:
   著者らは、スカラー入力に対する Stolyarov の Maz'ya–$\Phi$ 不等式を、有限次元の演算子値設定へと一般化する。彼らは、ベクトル値入力 $f$ に作用する同次核演算子 $K$ に対する推定式を確立する。ここでの鍵となる革新は、問題の「マルチスケール」な性質を扱うことにある。すなわち、ベクトルの質量 $\int_Q f$ は厳密な原子的相殺（atomic cancellation）に入り、一方で誤差項は正のスカラー測度 $|f|dx$ によって整理される。これには以下が含まれる：

   • 核を鋭い環状部分へと分解すること。
   • 環状原子に対する厳密な相殺と環状演算子境界を証明すること。
   • 非線形積分推定を管理するために、ダイアディック・キューブと「三格子定理（Three Lattice Theorem）」を用いた空間的局在化を利用すること。
   • 混合スケールの総和を扱うために、$1 < r \le 2$ と $r > 2$ （ここで $r = p'$）の領域を区別し、関数 $\Gamma_r$ の特定の凸性を利用すること。

2. 射影された原子プロファイルと強形式性（Coercivity）:
   一般的な定理は、リースのポテンシャルとホッジのペアへと特殊化される。著者らは、射影された核から導かれる非線形球面プロファイル $A(a)$ を構成する。

   • 彼らは、ホッジ射影 $P$ の性質により、このプロファイルが「厳密な原子的相殺」を持つことを証明する。
   • 決定的な点として、恒等式 $\int_{S^{n-1}} P(\theta) d\bar{\sigma} = (\ell/n) \text{Id}$ を用いて、このプロファイルの強形式性を確立する。これにより、射程項が $L^r$ ノルムにおいて完全なポテンシャルを制御することが保証される。

3. グラフ閉包と双対性:
   この推定は、滑らかでコンパクトな台を持つ平均ゼロのデータに対して最初に証明される。全臨界空間へと拡張するために、著者らは以下の手順を踏む：

   • 誤った強い境界 $I_\alpha: L^1 \to L^r$ （エンドポイントにおいて失敗する）を避けるため、「エンドポイント・グラフ・ドメイン」上で作業を行う。
   • 周波数局在化されたグラフ閉包とハーン・バナッハ双対性を利用する。和空間 $X + L^1_0$（ここで $X$ はソボレフ空間の双対）上のグラフノルムが完全なポテンシャルを制御することを示すことで、双対性を通じて望ましい有界な代表元を与える有界線形汎関数を構成する。

主要な結果
主要な結果は 定理 1.1（臨界ソボレフ・ホッジ選択） である。これは以下を述べている：
$n \ge 2$、$1 \le \ell \le n-1$、$1 < p < \infty$ とする。このとき、臨界ソボレフ空間における外微分の像は、ソボレフ空間と $L^\infty$ の交わりにおける像と一致する：
$$d[\dot{W}^{n/p, p}(\mathbb{R}^n; \Lambda^\ell)] = d[(\dot{W}^{n/p, p} \cap L^\infty)(\mathbb{R}^n; \Lambda^\ell)]$$
さらに、誘導される商ノルムは同値である。具体的には、任意の $v \in \dot{W}^{n/p, p}(\mathbb{R}^n; \Lambda^\ell)$ に対して、以下の条件を満たす代表元 $u \in (\dot{W}^{n/p, p} \cap L^\infty)(\mathbb{R}^n; \Lambda^\ell)$ が存在する：
$$du = dv, \quad \max\{\|u\|_{\dot{W}^{n/p, p}}, \|u\|_{L^\infty}\} \le C \|v\|_{\dot{W}^{n/p, p}}$$

論文内で明記されている通り、選択演算子は本質的に非線形である。元の Bourgain–Brezis の現象と一致して、有界な線形選択演算子の存在は主張されていない。

その結果として、系 8.1 は中間次数の形式（$2 \le \ell \le n-2$）に対する有界ポテンシャル・ホッジ分解を提供し、空間 $\dot{W}^{n/p-1, p}(\Lambda^\ell)$ が、ともに有界な代表元を持つ完全項と余完全項に分解できることを示している。

意義と主張
本論文は、高次および分数階のケースにおける先行研究の限定的な結果を拡張し、臨界スケール全体における選択原理に関する未解決問題を解決したと主張している。その意義は以下の点にある：

• 有界性の回復： 微分制約（特にホッジ構造）によって、標準的な埋め込みが成立しない臨界ソボレフ空間において、有界性が回復されることを示したこと。
• 解析的革新： 演算子値核を持つ有限次元入力型の Maz'ya–$\Phi$ 不等式を導入し、微分形式のベクトル値的な性質とホッジ射影の特有の幾何学を扱ったこと。
• 定量的制御： 有界な代表元の大きさを元のソボレフノルムに結びつける明示的なノルム推定を提供し、選択が単なる存在論的なものではなく、定量的に制御されていることを示したこと。

著者らは、証明がホッジ射影の厳密な相殺と射影された核の強形式性の間の繊細な相互作用に依存しており、エンドポイントにおけるリースのポテンシャルの存在しない強い $L^1 \to L^r$ 境界を必要としないことを強調している。