A Local Linking Theorem for Relativistic Action Functionals

技術的要約：相対論的作用汎関数に関する局所連結定理

問題設定
本論文は、相対論的な作用原理から生じる変分問題における非定数解の多重性を扱う。具体的には、ヒルベルト空間 $H$ 上で定義されるが、その有効領域 $K \subset H$ においてのみ有限となる、Szulkin型の非平滑な汎関数の一種を対象としている。典型的な例は、以下の相対論的作用汎関数である：
$$I(q) = \int_{\Omega} \left( 1 - \sqrt{1 - |\nabla q|^2} + F(x, q, \nabla q) \right) dx,$$
ここで、領域 $K$ は $|\nabla q| \leq 1$ によって制約されている。

中心となる課題は、これらの汎関数が $C^1$ 級ではなく（非平滑であり）、さらに決定的なことに、古典的な強パレ・スメール（PS）条件を $H$ の位相において満たさないことである。すなわち、Palais–Smale 列のコンパクト性は、有効領域 $K$ によって誘導されるより弱い位相 $\tau$ に関してのみ得られる。著者らは、特定の幾何学的条件と強PS条件の下で少なくとも2つの非ゼロの臨界点を保証する、古典的なブレジス・ニレンバーグ（Brezis–Nirenberg）局所連結定理を、この非平滑かつ $\tau$-コンパクトな設定へと拡張することを目指している。

手法
著者らは、$I = \Psi + F$ という形式の、クラス $X(K)$ に属する汎関数に対する抽象的な多重性定理（定理 2.1）を開発している。ここで $\Psi$ は、領域 $K$ を持つ、固有かつ凸な下半連続な汎関数であり、$F$ は $C^1$ 級の摂動である。その手法には、以下の主要な技術的革新が含まれる：

1. 位相とコンパクト性： この枠組みは、補助的なバナッハ空間 $E$（$H$ が連続的に埋め込まれている空間）における有界集合が $\tau$-コンパクトとなるような、$K$ 上の位相 $\tau$ を利用している。コンパクト性の仮定は、$(PS)^*_\tau$ 条件に置き換えられている。すなわち、非ゼロのレベルにおけるすべてのPalais–Smale列が、$\tau$ において臨界点へと収束する部分列を持つという条件である。
2. Ekeland–Lasry 正則化： 滑らかさの欠如と強PS条件の不在に対処するため、著者らはEkeland–Lasry正則化手法を採用している。彼らは、元の汎関数 $I$ と同じ臨界点を持ち、かつ $C^1$ 級である正則化された汎関数 $I_\varepsilon$ を定義する。
3. 摂動によるミン・マックス幾何学の構成： 大きな困難は、$I_\varepsilon$ の負の勾配流が自然には $H$ の強位相に関連付けられている一方で、$I$ のコンパクト性は $\tau$ においてのみ保証されることである。著者らは、勾配流の軌跡の特定の摂動 $\omega_\varepsilon$ を用いた連続写像 $\gamma^*$ を構成することで、この問題を克服している。この写像は、$I_\varepsilon$ の正則性を利用しつつ、その像が有効領域 $K$ 内に留まり、かつ $I$ の $\tau$-コンパクト性を尊重するように設計されている。
4. 局所連結条件： 本定理は、汎関数が有限次元の部分空間 $H_1$ 上で非正であり、原点の近傍において補空間 $H_2$ 上で厳密に正（ノルムの関数によって下から抑えられる）であるという、局所連結幾何学を仮定している。正則化の手続きを容易にするために、追加の凸性仮定（$I + \mu\|\cdot\|_H^2$ が凸であること）が必要とされる。

主要な貢献と結果
主要な貢献は定理 2.1であり、これは、汎関数 $I \in X(K)$ が下から有界であり、負のグローバル最小値を持ち、$(PS)^*_\tau$ 条件を満たし、かつ局所連結幾何学を満たすならば、$I$ は少なくとも2つの非ゼロの臨界点を持つことを確立している。

本論文は、この抽象的な結果を2つの具体的な相対論的モデルに適用している：

1. ローレンツ力方程式：

   • 文脈： スカラーポテンシャルが消失する電磁場中における荷電粒子の力学。これは $\frac{d}{dt}\left(\frac{\dot{q}}{\sqrt{1-|\dot{q}|^2}}\right) = E(t,q) + \dot{q} \times B(t,q)$ によって記述される。
   • 結果： 電磁場の孤立平衡およびベクトルポテンシャルの特定の減衰／有界性に関する仮定の下で、著者らは少なくとも2つの非定数な $T$-周期解の存在を証明した。これは、唯一のグローバルな極小値の存在を確立した先行研究（例：[24, Theorem 2.1]）を拡張するものである。

2. ミンコフスキー空間における指定平均曲率方程式：

   • 文脈： ディリクレ問題 $\text{div}\left(\frac{\nabla q}{\sqrt{1-|\nabla q|^2}}\right) = f(x, q)$。ここで、演算子はミンコフスキー空間における平均曲率に対応する。
   • 結果： $f(x, s) = a(x)s - g(s)$ という非線形性（ここで $a(x)$ は関連する線形演算子の負の固有値を生成し、$g$ はゼロ付近での特定の成長条件を満たす）の場合について、本論文は少なくとも2つの非自明な解の存在を証明している。これは、この特定の演算子に対して局所連結定理を適用した最初の事例である。

意義と主張
本論文は、強Palais–Smale条件が成立しない、相対論的力学に由来するSzulkin型汎関数の枠組みに対して、ブレジス・ニレンバーグ局所連結定理の最初の拡張を提供すると主張している。

• 理論的進展： 本研究は、Ekeland–Lasry正則化に求められる強位相と、コンパクト性が成立する弱い位相（$\tau$）との間の不整合を解決している。著者らは、以前の局所連結定理の拡張（例：[34]）は、有効領域の境界付近での正値性の仮定や強コンパクト性に依存していたが、これらは研究対象である相対論的モデルとは両立しないことを明示している。
• 手法の新規性： 摂動 $\omega_\varepsilon$ を介した写像 $\gamma^*$ の構成が、核心的な技術的成果として提示されている。これにより、フローがドメインの内部に留まることを強制したり、強コンパクト性を要求したりすることなく、必要なミン・マックス幾何学を回復することが可能となった。
• 適用の範囲： これらの結果は、非平滑かつ強コンパクト性を欠く場合であっても、自然な物理的仮定（孤立平衡や線形部分の特定のスペクトル特性など）の下で、相対論的システムにおける解の多重性が保証され得ることを示している。

著者らは、その範囲に関して控えめなトーンを維持しており、結果は特定のクラスの汎関数に適用されること、および凸性仮定（15）が正則化の手続きに必要であることを注記している。彼らは、あらゆる相対論的変分問題の一般的な多重性問題を解決すると主張しているのではなく、むしろ重要なクラスの系に対する堅牢な枠組みを提供しているのである。