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

这是一份关于论文《具有吸引型奇异非线性的 $p(t)$-Liénard 方程的周期解》（Periodic Solutions for $p(t)$-Liénard Equations with a Singular Nonlinearity of Attractive Type）的详细技术总结。

1. 研究问题 (Problem Statement)

本文主要研究定义在区间 $[0, T]$ 上的一类具有变指数 $p(t)$-Laplacian 和吸引型奇异非线性项的 Liénard 型微分方程的 $T$-周期解存在性问题。

方程形式如下：
$$(\phi_{p(t)}(u'(t)))' + f(u(t))u'(t) + g(u(t)) = h(t)$$
其中：

• 算子：$\phi_{p(t)}(x) = |x|^{p(t)-2}x$，其中 $p: [0, T] \to (1, \infty)$ 是连续函数且满足 $p(0)=p(T)$。
• 边界条件：周期边界条件 $u(0) - u(T) = 0 = u'(0) - u'(T)$。
• 函数性质：
  • $f: [0, \infty) \to \mathbb{R}$ 和 $g: (0, \infty) \to \mathbb{R}$ 是连续函数。
  • $h \in C([0, T]; \mathbb{R})$。
  • 奇异项：$g$ 在 $x=0$ 处具有吸引型奇异性（attractive singularity），即 $\lim_{x \to 0^+} g(x) = +\infty$。这意味着解必须严格大于零（$u(t) > 0$）。
  • 当 $x \to +\infty$ 时，$g(x) \to 0$。

核心挑战：

1. 变指数 $p(t)$：使得方程失去了标准 $p$-Laplacian 的齐次性和简单的结构性质，增加了先验估计的难度。
2. 奇异性：$g(u)$ 在 $u=0$ 处趋于无穷大，导致解必须在正半轴上，且无法直接应用标准的变分法（因为该问题不具备变分结构）。
3. 非线性阻尼：$f(u)u'$ 项的存在增加了处理的复杂性。

2. 方法论 (Methodology)

作者没有使用变分法（因为问题缺乏变分结构），而是采用了拓扑方法，具体结合了以下三种核心工具：

1. 延拓定理 (Continuation Theorem)：

   • 基于 Mawhin 重合度理论（Coincidence Degree Theory）的推广形式（引用自文献 [4]）。
   • 该定理用于证明算子方程 $Lx = Nx$在特定开集$\Omega$ 内存在解，需要验证三个条件：(H1) 同伦路径上无边界解；(H2) 平均方程无边界解；(H3) Brouwer 度非零。

2. 上下解方法 (Method of Lower and Upper Solutions)：

   • 这是本文的核心构造工具。作者定义了 $p(t)$-Liénard 方程的上下解概念。
   • 下解 $\alpha$：满足 $(\phi_{p(t)}(\alpha'))' + f(\alpha)\alpha' + g(\alpha) \ge h(t)$ 且 $\alpha(0)=\alpha(T), \alpha'(0) \ge \alpha'(T)$。
   • 上解 $\beta$：满足相反的不等式和边界条件。
   • 如果存在 $\alpha \le \beta$，则存在解 $u$ 使得 $\alpha \le u \le \beta$。

3. 先验估计 (A Priori Estimates)：

   • 利用 Sobolev 不等式、Poincaré-Wirtinger 不等式以及 $L^1$ 范数估计，建立了解及其导数的有界性。
   • 特别处理了 $p(t)$ 变化带来的积分估计困难，通过分区域讨论（$|u'| \le 1$ 和 $|u'| > 1$）来推导 $L^{p^-}$ 范数的界。

3. 主要步骤与辅助结果 (Key Steps & Auxiliary Results)

为了证明主定理，作者分步解决了几个辅助问题：

• 辅助问题 1 (定理 2.4)：研究带有正则化项 $-\varepsilon u$ 的方程 $(\phi_{p(t)}(u'))' + \theta(u)u' - \varepsilon u = e(t)$。证明了对于 $\varepsilon > 0$，解存在且有界，且平均值为零。
• 辅助问题 2 (定理 2.7)：通过取极限 $\varepsilon \to 0$，证明了无正则化项的方程 $(\phi_{p(t)}(u'))' + \theta(u)u' = e(t)$ 的解存在性。
• 辅助问题 3 (命题 2.8)：证明了对于形如 $(\phi_{p(t)}(u'))' + \theta(c+u)u' = e(t)$ 的方程，其解的 $L^\infty$ 范数有一个与 $\theta$ 和常数 $c$ 无关的界 $K$。这是构造上解的关键。
• 上下解定理 (定理 3.3)：利用截断函数（truncation function）构造修改后的问题，结合延拓定理，严格证明了若存在有序的下解 $\alpha$ 和上解 $\beta$，则原问题在 $[\alpha, \beta]$ 之间存在解。

4. 主要结果 (Main Results)

定理 4.1 (存在性定理)：
如果存在常数 $\alpha > 0$ 使得 $g(\alpha) \ge \max_{t \in [0, T]} h(t)$，且满足渐近条件：
$$\limsup_{x \to +\infty} g(x) < \bar{h} \quad (\text{其中 } \bar{h} \text{ 是 } h \text{ 的平均值，或者更准确地说是 } h \text{ 的某种下界控制})$$
(注：原文条件 (4.1) 写作 $\limsup_{x \to +\infty} g(x) < \bar{h}$，但在证明中实际上利用了 $g(x) < h(t)$ 对于大 $x$ 成立，结合 $h$ 的平均值性质)。
则问题 (1.1) 至少存在一个解 $u(t)$，且满足 $u(t) \ge \alpha$ 对所有 $t \in [0, T]$ 成立。

推论 4.3 (吸引型奇异力的充要条件)：
若 $g: (0, \infty) \to (0, \infty)$ 连续，满足 $\lim_{x \to 0^+} g(x) = +\infty$ 且 $\lim_{x \to +\infty} g(x) = 0$，则问题 (1.1) 存在正周期解的充要条件是：
$$h > 0 \quad (\text{即 } h(t) \text{ 恒大于 0，或者更严格地，其平均值需为正且满足特定条件，文中结论为 } h > 0)$$

• 必要性：通过对方程在 $[0, T]$ 上积分，利用 $g>0$ 和周期边界条件导出。
• 充分性：直接由定理 4.1 保证。

例子 4.4：
对于具体的奇异项 $g(u) = \sigma / u^\mu$ ($\sigma, \mu > 0$)，方程存在周期解当且仅当 $h > 0$。

5. 创新点与意义 (Significance & Contributions)

1. 推广了 $p$-Laplacian 到 $p(t)$-Laplacian：
   之前的研究多集中在 $p$ 为常数的情况（如文献 [7]）。本文成功将结果推广到变指数情形，克服了 $p(t)$ 变化带来的非线性算子性质差异，这是该领域的一个重要进展。

2. 处理吸引型奇异性：
   针对 $g(u)$ 在 $0$处趋于$+\infty$ 的吸引型奇异性，建立了一套完整的上下解构造框架。特别是通过命题 2.8 证明了上解的存在性，解决了变指数下构造上解的难点。

3. 无需变分结构：
   由于 $p(t)$-Liénard 方程通常不具备变分结构（即不能写成某个泛函的临界点），传统的变分法（如山路定理）无法直接应用。本文完全依赖拓扑度理论和上下解方法，展示了处理此类非变分问题的有效途径。

4. 明确的存在性判据：
   给出了清晰、具体的条件（关于 $g$ 在 $0$和$+\infty$处的行为以及$h$ 的正负性），使得物理或工程模型中（如带有奇异恢复力的振动系统）的周期解存在性判断变得可操作。

5. 填补空白：
   作者指出，对于排斥型奇异性（repulsive singularity，即 $g(x) \to -\infty$）的情况，在 $p(t)$-Laplacian 框架下的推广目前仍是开放问题，本文专注于吸引型情况，为后续研究奠定了基础。

总结

该论文通过结合Mawhin 延拓定理、上下解方法以及精细的先验估计，成功解决了具有变指数 $p(t)$-Laplacian 和吸引型奇异非线性的 Liénard 方程周期解的存在性问题。其结果不仅推广了经典 $p$-Laplacian 的已知结论，也为处理非变分、变指数及奇异微分方程提供了强有力的理论工具。