Spectral Properties of the Logarithmic Laplacian with Indefinite Weights

技術的概要：不定重みを持つ対数ラプラシアンのスペクトル特性

問題提起
本論文は、有界領域 $\Omega \subseteq \mathbb{R}^N$ 上で対数ラプラシアン ($L_\Delta$) によって駆動される重み付き固有値問題のスペクトル特性を調査する。研究対象となる具体的な問題は以下の通りである：
$$\begin{cases} L_\Delta u = \lambda \omega(x) u & \text{in } \Omega, \\ u = 0 & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases}$$
ここで、$\omega: \Omega \to \mathbb{R}$ は符号変化する（不定な）重み関数である。対数ラプラシアンは、分数次ラプラシアン $(-\Delta)^s$ の $s \to 0^+$ における第一階展開として現れる。分数次ラプラシアンとは異なり、$L_\Delta$ のスペクトル理論は未発達であり、不定重みの存在は、関連するエネルギー汎関数の有界性および最小化列のコンパクト性に関する解析的な課題を特に引き起こす。

手法と枠組み
著者らは、$L_\Delta$ の非局所性と重み $\omega$ の不定性に対処するための変分論的およびスペクトル論的枠組みを開発した。主要な手法論的構成要素は以下の通りである：

1. 関数空間と埋め込み: 解析は、単位球内および外での相互作用を含む特定の非局所二次形式の有限性によって定義される空間 $H(\Omega)$ において行われる。著者らは、$\phi(t) = t^2 \ln(e+t)$ であるオルリッチ型空間 $L_\phi(\Omega)$ および $L_\eta(\Omega)$ への最適連続およびコンパクト埋め込み結果を利用する。これにより、分数次ラプラシアンに対して通常使用されるもの（例えば $L^\infty$ または $L^{N/2s}$）よりも広範な許容重みのクラスが可能となる。
2. 重みの仮定: 重み関数 $\omega$ は、以下の 3 つの条件を満たすと仮定される：
   • $(\omega_0)$: 正の部分 $\omega_+$ は恒等的にゼロではない。
   • $(\omega_1)$: $\omega$ はオルリッチ空間 $L_{\psi^*}(\Omega)$ に属し、解空間の特定の成長に関する積分可能性を確保する。
   • $(\omega_2)$: エネルギー汎関数が制約多様体上で下方有界であることを保証する、ピット型不等式に着想を得た構造的条件。
3. 変分原理: 固有値の存在は、ルシュターニク・シュニレルマン（LS）変分原理を用いて確立される。著者らは、制約多様体 $M = \{u \in H(\Omega) : \int_\Omega \omega(x)u^2 dx = 1\}$ の対称部分集合の種数を通じて、LS 固有値の列 $\lambda_k$ を定義する。
4. ハーディ型不等式: 重要な技術的道具は、$s=0$ において分数次ラプラシアンのハーディ不等式をパラメータ $s$ に関して微分することで導出された、$L_\Delta$ に対するピット型（ハーディ型）不等式である。この不等式は、エネルギー汎関数に必要な下方境界を提供する。

主要な貢献と結果

• 有界でない列の存在: 本論文は、$+\infty$ に発散する有界でない LS 固有値の列 $\lambda_0 \le \lambda_1 \le \lambda_2 \le \dots$ の存在を証明する。最初の固有値 $\lambda_1$ は、多様体 $M$ 上のレイリー商の下限と一致することが示される。
• 固有関数の符号特性:
  • 最初の固有値 $\lambda_1$ に対応する固有関数は、$\Omega$ 内で一定の符号を持つ。
  • より高い固有値（$\lambda \ne \lambda_1$）に対応する固有関数は、領域内で必ず符号を変える。
• 単純性と孤立性:
  • 最初の固有値 $\lambda_1$ は単純である（固有空間は 1 次元である）。
  • $\omega \in L^\infty(\Omega)$ という仮定の下で、$\lambda_1$ は孤立している。
• 節領域不等式: 著者らは、より高い固有値を対応する固有関数の正部および負部の測度に関連付ける節領域型の不等式を確立する。具体的には、$\lambda \ne \lambda_1$ に対応する固有関数 $v$ について、節領域 $\Omega^\pm_v$ の測度と埋め込み定数を含む $|\lambda|$ の下方境界が導出される。この結果は独立した興味を有するものであり、$L_\Delta$ の固有値が非正になり得るという事実に対処するものである。
• 代替的な特徴付け: 本論文は、分数次ラプラシアンに関する結果に類似した、第二固有値 $\lambda_2$ の代替的な変分的特徴付けを提供する。すなわち、円 $S^1$ から多様体 $M$ への奇数連続写像上の極小極大として表現される。
• 単調性特性:
  • 重みの単調性: 固有値は重み関数に関して非増加である。$\omega_1 \le \omega_2$ ならば、$\lambda_k(\omega_2) \le \lambda_k(\omega_1)$ である。さらに、$\omega_1 \le \omega_2$ かつ $\omega_1 \not\equiv \omega_2$ ならば、最初の固有値は厳密に減少する（$\lambda_1(\omega_1) > \lambda_1(\omega_2)$）。$\omega_1 < \omega_2$ が厳密に成り立つ場合、第二固有値も厳密に減少する。
  • 領域の単調性: 固有値は領域の包含関係に関して非増加である。$\Omega_1 \subsetneq \Omega_2$ ならば、$\lambda_k(\Omega_2) \le \lambda_k(\Omega_1)$ である。最初の固有値は領域の拡大に関して厳密に減少する。

意義と主張
本論文は、分数次ラプラシアンに比べて相対的に未発達であった対数ラプラシアンのスペクトル理論における空白を埋めると主張している。主な意義は、標準的な変分法が強制性の欠如およびエネルギー汎関数が下方に有界でない可能性のためにしばしば失敗する不定重みのシナリオに理論を拡張することにある。

著者らは、$L_\Delta$ の非局所性と不定重みの組み合わせが、局所作用素や分数次作用素に対して用いられる手法の直接的な適用を妨げる困難を生み出していると強調している。具体的には、単位球外の非局所的相互作用により双線形形式が符号を変え得ること、および最小化列が無限遠へ逃げ去る可能性があることである。重み（特にピット型条件）に対する特定の構造的仮定を課し、オルリッチ空間の埋め込みを利用することにより、著者らはこれらの障害を克服する変分枠組みを成功裏に構築した。

得られた結果は、対数ラプラシアンを含む非線形方程式の定性的解析に不可欠な、存在、単純性、孤立性、および単調性といった基本的なスペクトル特性を確立する。導出された節領域不等式は、スペクトルと固有関数の幾何学との間の定量的なつながりを提供する独立した興味を有する結果として注目されている。また、この研究は、特に $s \to 0^+$ の極限において、分数次ラプラシアンと対数ラプラシアンのスペクトル理論の間の関係を明確にしている。