On the second anisotropic Cheeger constant and related questions

技術要約：第2異方性チェーガー定数および関連する問題について

問題提起
本論文は、指数 $p$ が 1 より大きい値から 1 へと近づく場合（$p \to 1^+$）における、異方性 $p$-ラプラシアンの第2固有値 $\lambda_{2,F}(p, \Omega)$ の漸近挙動を調査するものである。この作用素は $-Q_p u := -\text{div}(F^{p-1}(\nabla u)\nabla_\xi F(\nabla u))$ として定義され、ここで $F$ は $\mathbb{R}^n$ 上の滑らかで凸な 1 次同次ノルムである。第1固有値と第1異方性チェーガー定数（$h_{1,F}$）との関係は確立されているが、第2固有値の挙動およびそれに対応する「第2」チェーガー定数（$h_{2,F}$）との関連については、さらなる厳密な解析が必要である。また、本稿では「ねじれた（twisted）」異方性 $q$-チェーガー定数に関連する制約付き最小化問題についても探究する。

手法
著者は、変分法、およびフィンズラー幾何学と有界変動（BV）関数の理論を用いる。主要な手法の構成要素は以下の通りである：

• 変分的特徴付け： ラスタニク・シュニレルマン理論、および領域を2つの互いに素な部分領域に分割する手法を用いて、第2固有値の min-max 特徴付けを利用する。
• 近似技術： 境界に関する制限的な仮定を課すことなく、正則性の問題を処理するために、BV 関数をコンパクトな台を持つ滑らかな関数で内部近似する結果（具体的には [BDPP, Theorem 4.3] を引用）を活用する。
• 共面積公式： 関数の全変動をレベルセットの異方性周囲長に関連付けるために、異方性共面積公式を適用する。
• 等周不等式： Wulff 形状が一定の体積に対して異方性周囲長を最小化するという異方性等周不等式を用いて、下界を導出し、最小化問題を特徴付ける。
• ねじれた定数の解析： ねじれた異方性 $q$-チェーガー定数問題を、互いに素な集合に対する最小化問題として定式化し、Wulff 形状を含む1次元の最適化問題へと帰着させる。

主要な貢献および結果

1. 第2固有値に対する異方性チェーガー不等式：
   本論文は、第2固有値に対して以下のチェーガー型の不等式を確立する：
   $$\lambda_{2,F}(p, \Omega) \geq \left( \frac{h_{2,F}(\Omega)}{p} \right)^p$$
   ここで、第2異方性チェーガー定数は以下のように定義される：
   $$h_{2,F}(\Omega) := \inf \left\{ \max \left\{ \frac{P_F(E_1)}{|E_1|}, \frac{P_F(E_2)}{|E_2|} \right\} : E_1, E_2 \subset \Omega, E_1 \cap E_2 = \emptyset, |E_1|, |E_2| > 0 \right\}$$
   ここで、$P_F(E)$ は異方性周囲長を表す。

2. $p \to 1^+$ における極限挙動：
   主要な結果として、第2固有値が極限において第2チェーガー定数に収束することを証明する：
   $$\lim_{p \to 1^+} \lambda_{2,F}(p, \Omega)^{1/p} = h_{2,F}(\Omega)$$
   証明は、チェーガー不等式による下界の提示と、$h_{2,F}$ の最小化集合に基づくテスト関数の構成による上界の提示の両方を通じて行われる。

3. 固有関数の収束：
   正規化された第2固有関数 $u_{2,p}$ が、$L^1$ ノルムが 1 である関数 $u_2 \in BV(\Omega)$ に（部分列として）$L^1(\Omega)$ で収束することを実証する。この極限関数は $\int_\Omega |Du_2|_F \leq h_{2,F}(\Omega)$ を満たし、正でも負でもない（strictly positive or negative ではない）ことを反映して、第2固有関数の節構造（nodal structure）を示す。

4. 高次固有値における相違：
   著者は、$k=2$ の場合は成立するものの、$k \geq 3$ の場合には $\limsup_{p \to 1^+} \lambda_{k,F}(p, \Omega)^{1/p} \leq h_{k,F}(\Omega)$ という不等式のみが保証されることを指摘している。この相違は、第 $k$ 固有関数が通常、$k$ 個の異なる節領域（nodal domains）を持たないことに起因する。

5. ねじれた異方性 $q$-チェーガー定数：
   本稿では、平均がゼロである関数の $L^q$ ノルムに対する異方性全変動の比の下限として定義される定数 $K_{q,F}(\Omega)$ を研究する。これは $h_{1,F}(\Omega) \leq K_{1,F}(\Omega) \leq h_{2,F}(\Omega)$ を満たすことが示されている。

• 最小化： 固定された体積を持つ集合に対する $K_{q,F}(\Omega)$ の最小化関数は、2つの互いに素な Wulff 形状の和であることが証明されている。
• 一意性と幾何学： 臨界指数 $\tilde{q}(n)$ が特定されている。$q < \tilde{q}$ の場合、一意な最小化集合は半径が等しい2つの互いに素な Wulff 形状からなる。$q > \tilde{q}$ の場合、一意な最小化集合は半径が異なる2つの互いに素な Wulff 形状からなる。$n=2$ のとき $\tilde{q} = 7/4$ であり、最小化集合は臨界値においても一意かつ対称性を保つ。

意義および主張
本論文は、第1固有値から第2固有値への、異方性設定における既知の漸近理論を拡張することを主張している。$\lambda_{2,F}$ が $h_{2,F}$ に収束することを証明することにより、本研究はスペクトル理論と幾何学的最適化の間の隔たりを埋め、第2モードに関する理論を強化している。著者は、BV 関数の内部近似技術を利用することで、先行文献（[Li, S] など）に見られる特定の正則性仮定を克服していることを明示している。さらに、ねじれたチェーガー定数の最小化集合の特性付けは、異方性コンテキストにおけるゼロ平均条件によって課される制約に対する幾何学的理解を提供するものであり、従来のユークリッド空間における結果を一般化している。本論文は新しい実験的応用を提案するものではなく、非線形固有値問題、異方性幾何学、およびチェーガー型定数を結びつける理論的枠組みを強固にするものである。