Fučik spectrum for the operator with rapidly increasing weight and applications

この論文「急速に増加する重みを持つ作用素に対するフチク（Fučík）スペクトルとその応用」は、全空間 $\mathbb{R}^N$ 上で定義された特定の線形作用素 $L$ に対するフチクスペクトルの構造を解析し、その性質を応用して非線形方程式の解の多重性を示すことを目的としています。以下に、論文の技術的な要約を記します。

1. 研究の背景と問題設定

対象とする作用素:
論文では、以下の作用素 $L$ を研究対象としています。
$$Lu := -\Delta u - \frac{1}{2}(x \cdot \nabla u)$$
この作用素は、熱方程式 $v_t - \Delta v = |v|^{p-2}v$ の自己相似解 $v(t, x) = t^{-1/(p-2)}u(t^{-1/2}x)$ を求める過程で現れます。Escobedo と Kavian によって、この作用素は重み関数 $K(x) := e^{|x|^2/4}$ を用いて発散型 $Lu = -\frac{1}{K}\nabla \cdot (K\nabla u)$ と書き換えられ、変分構造を持つことが知られています。

フチクスペクトルの定義:
全空間 $\mathbb{R}^N$ 上の問題
$$\begin{cases} Lu = \alpha u^+ - \beta u^- & \text{in } \mathbb{R}^N, \\ u \in X \end{cases}$$
が非自明な解（$u \not\equiv 0$）を持つようなパラメータ対 $(\alpha, \beta) \in \mathbb{R}^2$ の集合 $\Sigma$ を「フチクスペクトル」と定義します。ここで、$u^\pm = \max(\pm u, 0)$ であり、$X$ は重み付きソボレフ空間（$C_c^\infty(\mathbb{R}^N)$ のノルム $\|u\| = (\int |\nabla u|^2 K dx)^{1/2}$ に関する完備化）です。

主な課題:
従来のフチクスペクトルに関する研究は有界領域 $\Omega$ において行われてきましたが、本論文では全空間 $\mathbb{R}^N$ 上で扱います。このため、有界領域で成立するコンパクト性や評価がそのまま適用できず、重み関数 $K(x)$ の急速な増加（$x \to \infty$ で爆発）と、それに伴う関数空間の性質（急速な減衰）を考慮した新しい解析手法が必要となります。

2. 手法と主要な結果

2.1. 変分設定とスペクトルの構成

著者らは、Cuesta, de Figueiredo, Gossez の手法を拡張し、ミニマックス原理（minimax principle）を用いてスペクトル $\Sigma$ 内の曲線を構成しました。

• 関数の定義: 制約条件 $\int u^2 K dx = 1$ を満たす集合 $P$ 上で、汎関数 $\tilde{I}_p(u) = \int |\nabla u|^2 K dx - p \int (u^+)^2 K dx$ を定義します。
• 臨界値の構成: パラメータ $p \in \mathbb{R}$ に対して、$P$ 上のパス $\Gamma$（$-\phi_1$ から $\phi_1$ へ繋ぐ連続パス）を通る $\tilde{I}_p$ の最大値の下限 $c(p)$ を定義します。
  $$c(p) = \inf_{\gamma \in \Gamma} \max_{t \in [-1, 1]} \tilde{I}_p(\gamma(t))$$
• スペクトル曲線の導出: この臨界値 $c(p)$ を用いて、以下の 3 つの曲線がスペクトル $\Sigma$ に属することを示しました。
  1. 垂直線: $\{\lambda_1\} \times \mathbb{R}$
  2. 水平線: $\mathbb{R} \times \{\lambda_1\}$
  3. 非自明な曲線 $C$: $C = \{(p + c(p), c(p)) : p \in \mathbb{R}\}$
     ここで $\lambda_1 = N/2$ は作用素 $L$ の最小固有値です。

2.2. 曲線 $C$ の性質

構成された非自明な曲線 $C$ について、以下の重要な性質が証明されました。

1. リプシッツ連続性: 写像 $p \mapsto (p+c(p), c(p))$ は $\mathbb{R}$ 上でリプシッツ連続です。
2. 単調性: $p_1 < p_2$ ならば、$p_1 + c(p_1) < p_2 + c(p_2)$ かつ $c(p_1) > c(p_2)$ が成り立ちます。つまり、曲線は厳密に減少します。
3. 漸近挙動: $p \to \infty$ のとき、$c(p) \to \lambda_1$ となります。
4. 符号変化解との関係: 曲線 $C$ 上の点は、符号を変える解（sign-changing solution）に対応します。また、$\Sigma$ 内の符号を変える解はすべて、直線 $L_2 = \{(a,b) : \min\{a,b\} = \lambda_1\}$ の右上（$a > \lambda_1, b > \lambda_1$）に位置することが示されました。

2.3. 技術的な困難と解決

全空間 $\mathbb{R}^N$ における最大の困難は、ソボレフ埋め込みのコンパクト性の欠如と、重み $K(x)$ の性質です。

• PS 条件の検証: 汎関数が Palais-Smale 条件（または (C)c 条件）を満たすことを証明するために、解の列が有界であることを示し、重み付き $L^q$ 空間へのコンパクトな埋め込み（Lemma 2.1）を巧みに利用しました。
• 符号変化の制御: 最小固有値 $\lambda_1$ に対応する固有関数 $\phi_1$ は正であるため、符号を変える解が存在する領域を特定するために、固有関数の符号変化に関する補題（Lemma 3.1）や、測度が小さくなる領域でのノルム評価（Lemma 3.2）を用いました。

3. 応用：非線形方程式の解の多重性

得られたフチクスペクトルの性質を応用し、以下の非線形問題の解の存在と多重性を証明しました。
$$\begin{cases} -\Delta u - \frac{1}{2}(x \cdot \nabla u) = f(x, u) & \text{in } \mathbb{R}^N, \\ u \in X \end{cases}$$
ここで、非線形項 $f(x, u)$ は $u=0$ および $u \to \infty$ において漸近的に線形であり、その傾きがそれぞれ $f_0, f_\infty$ であると仮定します（$f_0, f_\infty > \lambda_1$）。

定理 5.1 の結果:
条件 (f1)-(f3) の下で、この問題は少なくとも 2 つの正の解を持つことが示されました。

• 証明の概要:
  1. 対応するエネルギー汎関数 $I(u)$ が「マウンテンパス幾何（mountain pass geometry）」を満たすことを示します（原点近傍では正、遠くでは負）。
  2. フチクスペクトルの曲線 $C$ が固有値 $\lambda_1$ から離れている性質を利用し、解の存在領域を特定します。
  3. Ekeland の変分原理を用いて局所最小解（正の解）を 1 つ得ます。
  4. マウンテンパス定理を用いて、もう 1 つの臨界点（正の解）を得ます。
  5. 解が正であることを、$u^-$ をテスト関数として用いる標準的な議論で示します。

4. 論文の意義と貢献

1. 全空間におけるフチクスペクトルの拡張: 有界領域での既知の結果を、重み付き全空間 $\mathbb{R}^N$ に初めて拡張し、そのスペクトル構造（特に非自明な曲線 $C$ の存在と性質）を詳細に記述しました。
2. 急速増加重みの扱い: 熱方程式の自己相似解に関連する急速に増加する重み $e^{|x|^2/4}$ を持つ問題に対して、変分法が有効に機能することを示しました。これは、従来の有界領域の手法では扱えなかった新しいクラスの問題を解明するものです。
3. 解の多重性の保証: 得られたスペクトル構造を非線形問題に応用し、漸近的に線形な非線形項を持つ方程式に対して、複数の正解が存在することを証明しました。これは、物理・工学における拡散過程のモデル化において重要な知見となります。

総じて、この論文は非線形偏微分方程式論、特にスペクトル理論と変分法の分野において、全空間上の重み付き作用素に関する重要な進展を提供しています。