Continuity of critical points for 1-dimensional non-local energies

技術要約：1次元非局所エネルギーにおける臨界点の連続性

問題設定
本論文は、1次元の確率測量上で定義された、ある種の非局所エネルギーにおける有界な臨界点の正則性を調査するものである。エネルギー汎関数は、以下の形式の吸引・反発型のカーネル $g$ を用いて定義される：
$$E(\mu) = \iint g(x-y) d\mu(x) d\mu(y)$$
ここで、$g: \mathbb{R} \to [0, +\infty]$ は対称なカーネルである。著者らは、密度 $\mu = f \mathcal{L}^1$（ルベーグ測度 $\mathcal{L}^1$ に関する絶対連続な関数）に焦点を当て、これらは局所的な最小化因子としてのオイラー＝ラグランジュ条件、すなわち、誘導されたポテンシャル $\psi_f = g * f$ が $f$ の台の上でほとんど至る所定数となる条件を満たす。特定の条件下での最小化因子の存在および $L^\infty$ 境界に関する結果は既知であるが、その密度の内部正則性（特に連続性）は依然として中心的な課題である。本論文では、カーネル $g$ が原点付近で特定の成長および凸性の条件を満たす場合、有界な臨界点はその台の内部で連続であるかどうかを扱う。

手法
著者らは、ポテンシャルの二階微分に焦点を当てた背理法による証明を採用している。核となる戦略は、以下のステップを含む：

1. 正則化: 密度 $f$ を滑らかなモルフィア $\rho_\delta$ との畳み込みによって正則化し、滑らかな関数 $f_\delta$ を得る。$\psi_f$ は $f$ の台上で定数であるため、$\psi_{f_\delta}$ もまた、わずかに小さい区間上で定数となる。
2. 臨界点解析: 著者らは、$f$ がある点で不連続である（具体的には、本質的な極限が一致しない）と仮定する。これは、十分小さな $\delta$ に対して、正則化された関数 $f_\delta$ がその点の近傍で振動（局所的な極大値および極小値）を示さなければならないことを意味する。
3. 二階微分評価: 著者らは、$f_\delta$ の臨界点におけるポテンシャルの二階微分 $\psi''_{f_\delta}$ を解析することに依拠している。$\psi_{f_\delta}$ は定数であるため、これらの点において $\psi''_{f_\delta}$ はゼロにならなければならない。
4. 打ち消し補題: 論文の大部分は、カーネルの微分の寄与をポテンシャルの二階微分に対して見積もるための積分不等式（補題 2.2, 2.3, 2.4）を導出する作業である。これらの補題は、$g$ の凸性と原点近傍における $g'$ の凹性を利用している。これらは、もし $f_\delta$ が $f$ のジャンプに対応する値の間で振動する場合、カーネルの微分の比（$x/2$ と $x$ における微分）に関する特定の成長条件が満たされていれば、積分項がゼロに打ち消し合うことはできないことを確立している。
5. 「良質な」臨界点の選択: 著者らは、不連続点の近傍における $f_\delta$ の交互に現れる極小値と極大値の列を構成する。そして、隣接する点との距離が近傍の点に対して特定の幾何学的制約を満たすような、連続する「良質な一対（good couple）」の臨界点を選択する。
6. 対称性の簡約: 一般的な不連続性を扱うために、問題は密度の対称部分（偶関数部分）と反対称部分（奇関数部分）に分解される。著者らは、両方の成分の本質的な極限が存在する場合、それらは等しくなければならないことを証明し、したがって $f$ の一意の本質的極限が存在することを導く。

主要な貢献と結果
主要な結果は定理 A である：
$g$ が仮定 (i) および (ii)（対称性、$0$以外での$C^1$級、単調減少、凸性、および$0$近傍での$g'$に関する定数$\Lambda > 1$を含む特定の成長条件）を満たすとする。$f \in L^\infty(\mathbb{R})$を台$[a, b]$を持つ有限測度とし、そのポテンシャル$\psi_f$が$[a, b]$内でほとんど至る所定数であるとき、$f$は開区間$(a, b)$ 内で連続である。

• カーネルに関する仮定: カーネルは凸であり、原点近傍で微分が凹である必要がある。決定的なのは、$\liminf_{x \to 0} |g'(x/2)|/|g'(x)|$ が $1$より厳密に大きいという条件である。この条件は、$g(x) = \frac{|x|^\alpha}{\alpha} - \frac{|x|^\lambda}{\lambda}$という適切な$\alpha, \lambda$ を持つ典型的な吸引・反発型カーネルによって満たされる。
• 有界性の仮定: 定理は、測度が有界な密度（$f \in L^\infty$）を持つことを仮定している。著者らは、これはカーネルに関するより強い条件の下で最小化因子に対して $L^\infty$ 境界が成立することが知られているため、緩やかな仮定であると述べている。
• 内部正則性: この結果は、支持部の内部における連続性を保証するものである。論文では、境界付近（$a$ および $b$ 付近）の挙動については明示的に扱っておらず、最小化因子が境界において非有界または特異になる可能性があるため、挙動が異なる可能性があることを認めている。

意義と主張
本論文は、広範なクラスの1次元非局所エネルギーにおける有界な臨界点の内部連続性を確立することを主張している。その意義は、最小化因子の存在と $L^\infty$ 境界に関する既知の結果と、その点逐次的な連続性の間の溝を埋めることにある。

著者らは、本アプローチが分数ラプラシアンに関連する偏微分方程式（例：[8]）の手法を用いる先行研究とは異なることを強調している。代わりに、本研究は、直接的な畳み込み構造とカーネルの特定の特異性の性質に依拠している。本論文は、非有界な最小化因子の正則性問題を解決したり、高次元への拡張を行ったり、あるいは最小化因子の明示的な公式を提供したりするものではない。本論文は厳密に、仮定されたカーネルの条件（$\Lambda > 1$ によって制御される）の下で、密度の有界性が、ポテンシャルの振動を打ち消すことで連続性を強制するのに十分であることを示しており、密度がその支持部内でジャンプ不連続を持つことはできないことを確立している。証明は、カーネルの特定の特異性が、ポテンシャルの振動を打ち消すことを強制するのに十分であることを示している。