Periodic solutions for p(t)-Lienard equations with a singular nonlinearity of attractive type

論文概要：ATTRACTIVE TYPE の特異非線形性を持つ p(t)-Li´enard 方程式の周期解

著者: Petru Jebelean, Jean Mawhin, C˘alin S¸erban
対象: $p(t)$-Laplacian を含む Li´enard 型微分方程式の $T$-周期解の存在問題。特に、非線形項 $g(u)$ が $u \to 0+$ で $+\infty$ に発散する「引力型（attractive）」の特異性を持つ場合を扱います。

---

1. 問題設定

論文は、以下の形をした $p(t)$-Li´enard 方程式の $T$-周期解の存在を研究しています。

$$\begin{cases} (\phi_{p(t)}(u'(t)))' + f(u(t))u'(t) + g(u(t)) = h(t), & t \in [0, T] \\ u(0) - u(T) = 0, \quad u'(0) - u'(T) = 0 \end{cases}$$

ここで、

• $\phi_{p(t)}(x) = |x|^{p(t)-2}x$ は $p(t)$-Laplacian 演算子。
• $p: [0, T] \to (1, \infty)$ は連続関数で、$p(0)=p(T)$ を満たす（変数指数）。
• $f: [0, \infty) \to \mathbb{R}$ と $g: (0, \infty) \to \mathbb{R}$ は連続関数。
• $h \in C([0, T]; \mathbb{R})$ は外力項。
• 特異性: $g$ は $(0, \infty)$ で定義されており、$x \to 0+$ のとき $g(x) \to +\infty$ となる「引力型（attractive）」の特異性を持つことを想定しています（例：$g(x) = \sigma x^{-\mu}$）。
• 解 $u$ は、区間 $[0, T]$ 上で正の値 ($u(t) > 0$) を取り、$C^1$ 級かつ $\phi_{p(\cdot)}(u'(\cdot))$ も $C^1$ 級であるものを指します。

この問題は、変分構造を持たないため、従来の変分法では扱えず、位相的な手法（位相次数や上下解法）が必要となります。

---

2. 手法とアプローチ

著者らは、以下の 3 つの主要な数学的ツールを組み合わせて問題を解決しています。

2.1 接続定理（Continuation Theorem）

Mawhin などの研究に基づき、$p(t)$-Laplacian を含む一般の写像に対する接続定理（Theorem 2.3）を使用します。これは、非同次問題の解の存在を保証するために、以下の条件を確認する枠組みを提供します。

1. 同次問題（パラメータ $\lambda \in (0,1)$ を含む）の解が境界上に存在しないこと（先験的推定）。
2. 平均値問題の解が境界上に存在しないこと。
3. ブラウアー次数（Brouwer degree）がゼロでないこと。

2.2 補助問題の解析

まず、特異性のない補助問題（特に $\epsilon u$ 項を含む問題や、$g(u)$ の代わりに線形項や有界項を入れた問題）の解の存在と、その解の $C^1$ ノルムに関する先験的推定（a priori estimates）を確立します（Theorem 2.4, 2.7, Proposition 2.8）。
特に、Proposition 2.8 では、外力項 $e(t)$ の平均値が 0 である場合、解の最大値が非線形項 $\theta$ や定数 $c$ に依存しない一定の範囲内に収まることを示しています。これは後の上下解の構成に不可欠です。

2.3 上下解法（Method of Lower and Upper Solutions）

問題 (1.1) の解の存在を証明するために、上下解の理論を $p(t)$-Laplacian の文脈で再構築・適用します（Section 3）。

• 下限解（Lower solution）$\alpha$: 不等式 $(\phi_{p(t)}(\alpha'))' + f(\alpha)\alpha' + g(\alpha) \ge h(t)$ を満たす関数。
• 上限解（Upper solution）$\beta$: 不等式 $(\phi_{p(t)}(\beta'))' + f(\beta)\beta' + g(\beta) \le h(t)$ を満たす関数。
• 定理 3.3: $\alpha(t) \le \beta(t)$ となる上下解が存在すれば、その間に解が存在することを示す直接証明を提供します。

---

3. 主要な結果

3.1 主要定理（Theorem 4.1）

引力型特異性を持つ場合の解の存在に関する十分条件を提示しました。
もし、ある定数 $\alpha > 0$ が存在して $g(\alpha) \ge \max_{[0,T]} h(t)$ であり、かつ
$$\limsup_{x \to +\infty} g(x) < \min_{[0,T]} h(t)$$
（論文の記述では $h$ の平均値や最小値との比較ですが、文脈から $h$ が正で十分小さい値をとる領域が存在すること）が成り立つならば、問題 (1.1) は少なくとも 1 つの解 $u$ を持ち、その解は $u(t) \ge \alpha$ を満たします。

3.2 特異性の扱いと解の存在条件（Corollary 4.3）

$g(x)$ が $x \to 0+$ で $+\infty$ に発散し、$x \to +\infty$ で $0$に収束する典型的な引力型の場合、問題 (1.1) が正の周期解を持つための必要十分条件は **$h(t) > 0$** （厳密には$h$の平均値が正、あるいは$h$ が正であること）であることが示されました。

• 必要性: 方程式を $[0, T]$ で積分し、$g > 0$ であることから導かれます。
• 十分性: Theorem 4.1 を適用することで保証されます。

3.3 具体例（Example 4.4）

$g(u) = \sigma u^{-\mu}$ ($\sigma, \mu > 0$) のような具体的な特異性を持つ場合も、同様に $h > 0$ ならば解が存在することが示されました。

---

4. 貢献と意義

1. 変数指数 $p(t)$ への拡張:
   従来の研究が主に定数 $p$（特に $p=2$ や $p>1$ の定数）に焦点を当てていたのに対し、本論文は $p(t)$ が変化する一般化された $p(t)$-Laplacian に対して、特異非線形性を含む Li´enard 方程式の周期解の存在理論を確立しました。

2. 変分構造を持たない問題へのアプローチ:
   $p(t)$-Laplacian 付きの Li´enard 方程式は、一般に変分構造（エネルギー汎関数の臨界点として記述可能）を持ちません。そのため、変分法（Sobolev 空間の理論など）ではなく、位相的度数理論と上下解法を組み合わせる手法が有効であることを示しました。

3. 上下解法の体系的な適用:
   $p(t)$-Laplacian における上下解法の直接証明（Theorem 3.3）を提供し、これが特異性を持つ問題の解の存在と局在化（解が正の範囲に収まること）を証明するための強力な道具であることを示しました。

4. 物理的・工学的背景への寄与:
   引力型特異性（$g(x) \to +\infty$ as $x \to 0+$）は、電気回路、天体力学（重力）、流体力学などの物理モデルで現れます。本結果は、これらの物理現象を記述する非線形微分方程式が、適切な外力条件下で安定した周期運動（周期解）を持つことを数学的に保証するものです。

結論

この論文は、変数指数 $p(t)$ を持つ Li´enard 方程式において、引力型の特異性を持つ非線形項が存在する場合でも、適切な条件（外力項 $h$ の符号と大きさ）の下で正の周期解が存在することを証明しました。これは、従来の定数 $p$ の結果を一般化し、変分構造のない非線形問題に対する位相的解析手法の適用範囲を広げた重要な成果です。