[论文解读] Ground state solution for a class of differential equations with left and right fractional derivatives

César E. Torres Ledesma|arXiv (Cornell University)|Aug 20, 2013

Nonlinear Differential Equations Analysis参考文献 35被引用 9

一句话总结

本文通过山路定理和Sobolev空间 $H^\alpha(\mathbb{R})$ 中的比较论证，证明了对于阶数 $\alpha \in (1/2, 1)$ 的同时包含左、右Riemann-Liouville分数阶导数的分数阶微分方程，至少存在一个非平凡的基态解。关键贡献在于，在非线性项 $f(t,u)$ 满足一般增长条件、无需施加潜在项的限制性强制条件的情况下，证明了有限能量临界点的存在性。

ABSTRACT

In this work we study the existence of solution for a class of fractional differential equation given by \begin{eqnarray}\label{eq00} _{t}D_{\infty}^α{_{-\infty}}D_{t}^αu(t) + u(t) = & f(t,u(t))\\ u\in H^α(\mathbb{R}). onumber \end{eqnarray} where $α\in (1/2, 1)$, $t\in \mathbb{R}$, $u\in \mathbb{R}$, $f\in C(\mathbb{R}, \mathbb{R})$. Using mountain pass theorem and comparison argument we prove that ( ef{eq00}) at least has one nontrivial solution.

研究动机与目标

• 建立涉及左、右Riemann-Liouville分数阶导数的一类分数阶微分方程的非平凡解的存在性。
• 通过在 $H^\alpha(\mathbb{R})$ 中构建合适的变分框架，克服将临界点理论应用于具有混合导数的分数阶问题的困难。
• 在非线性项 $f(t,u)$ 满足一般增长条件的前提下，证明基态解的存在性，而无需像以往研究中那样要求潜在项 $L(t) \geq l(t)I$ 的强制性条件。
• 证明 (PS) 条件成立，且泛函满足山路定理的几何条件，从而确保临界点的存在性。

提出的方法

• 在分数阶Sobolev空间 $H^\alpha(\mathbb{R})$ 中（$\alpha \in (1/2, 1)$）将问题表述为变分方程，使用算子 ${}_{t}D_{\infty}^{\alpha}{{}_{-\infty}}D_{t}^{\alpha}u(t)$。
• 定义与方程 ${{}_{t}D_{\infty}^{\alpha}{{}_{-\infty}}D_{t}^{\alpha}u(t)} + u(t) = f(t,u(t))$ 相关的能量泛函 $I(u)$，并分析其临界点。
• 通过验证几何条件（$I(0) = 0$，沿某条路径 $I(u) \to -\infty$，且存在一条路径使 $I$ 达到正的最大值）应用山路定理。
• 通过原始泛函 $I$ 与截断非线性项 $\overline{f}$ 相关的修正泛函 $\overline{I}$ 之间的比较论证，控制Palais-Smale序列的行为。
• 利用 $H^\alpha(\mathbb{R})$ 中的紧嵌入定理和弱收敛性论证，证明有界Palais-Smale序列在平移后强收敛。
• 通过反证法证明非平凡弱解的存在性：若序列 $\{w_n\}$ 在无穷远处消失，则与严格不等式 $c < \overline{c}$ 矛盾。

实验结果

研究问题

• RQ1 阶数为 $\alpha \in (1/2, 1)$ 的分数阶微分方程，若同时包含左、右Riemann-Liouville分数阶导数，是否在 $H^\alpha(\mathbb{R})$ 中至少存在一个非平凡解？
• RQ2 尽管分数阶导数具有非局部性且缺乏标准强制性，是否仍可将山路定理应用于此类方程？
• RQ3 是否可能在不假设潜在项 $L(t)$ 满足如 $L(t) \geq l(t)I$ 的强制性条件的情况下，证明基态解的存在性？
• RQ4 非线性项 $f(t,u)$ 的行为如何影响临界点的存在性，特别是当 $f$ 在零处为次二次、在无穷远处为超二次时？
• RQ5 能否利用 $I$ 与 $\overline{I}$ 之间的比较论证，排除Palais-Smale序列的消失，从而确保非平凡解的存在性？

主要发现

• 对于 $\alpha \in (1/2, 1)$ 且 $f \in C(\mathbb{R} \times \mathbb{R})$ 满足适当增长条件，方程 ${{}_{t}D_{\infty}^{\alpha}{{}_{-\infty}}D_{t}^{\alpha}u(t)} + u(t) = f(t,u(t))$ 在 $H^\alpha(\mathbb{R})$ 中至少存在一个非平凡解。
• 与方程相关的泛函 $I(u)$ 满足山路定理的几何条件和 (PS) 条件，从而确保在水平 $c < \overline{c}$ 处存在临界点。
• 存在一个非平凡弱解 $u \in H^\alpha(\mathbb{R})$，其为基态解，因其在所有非平凡临界点中能量最低。
• 证明避免了以往研究中使用的限制性强制条件 $L(t) \geq l(t)I$，使结果适用于更广泛的问题类别。
• 结合集中紧致性原理，$I$ 与 $\overline{I}$ 之间的比较论证排除了Palais-Smale序列的消失，从而确保了非平凡解的存在性。
• 泛函 $I$ 的临界值 $c$ 严格小于修正泛函的对应临界值 $\overline{c}$，这对证明中的反证法至关重要。