[论文解读] A characterization related to a two-point boundary value problem

Biagio Ricceri|arXiv (Cornell University)|Dec 7, 2013

Differential Equations and Boundary Problems被引用 7

一句话总结

本文通过变分法和对函数 $ F(\xi)/\xi^2 $ 的刻画，建立了非线性项 $ f(u) $ 的两点边值问题存在小能量正解的必要且充分条件。关键结果是：$ F(\xi)/\xi^2 $ 在任意区间 $ (0,b] $ 上的非恒定性，等价于参数 $ \lambda $ 在某一范围内存在任意小能量解。

ABSTRACT

In this short note, we establish the following result: Let $f:[0,+\infty[ o [0,+\infty[$, $α:[0,1] o ]0,+\infty[$ be two continuous functions, with $f(0)=0$. Assume that, for some $a>0$, the function $ξ o {{\int_0^ξf(t)dt}\over {ξ^2}}$ is non-increasing in $]0,a]$. Then, the following assertions are equivalent: $(i)$ for each $b>0$, the function $ξ o {{\int_0^ξf(t)dt}\over {ξ^2}}$ is not constant in $]0,b]$ ; $(ii)$ for each $r>0$, there exists an open interval $I\subseteq ]0,+\infty[$ such that, for every $λ\in I$, the problem $$\cases {-u''=λα(t)f(u) & in $[0,1]$\cr & \cr u>0 & in $]0,1[$\cr & \cr u(0)=u(1)=0\cr}$$ has a solution $u$ satisfying $$\int_0^1|u'(t)|^2dt

研究动机与目标

• 研究非线性两点边值问题存在任意小能量正解的条件。
• 以函数 $ F(\xi)/\xi^2 $ 的行为来刻画此类解存在的条件，其中 $ F(\xi) = \int_0^\xi f(t)dt $。
• 建立 $ F(\xi)/\xi^2 $ 在每个区间 $ (0,b] $ 上的非恒定性与存在正参数区间 $ I $ 使得对每个 $ \lambda \in I $，均存在解满足 $ \int_0^1 |u'|^2 dt < r $ 的等价性。
• 提供一个变分框架，利用希尔伯特空间 $ H^1_0(0,1) $ 和泛函 $ J(u) = \int_0^1 \alpha(t)F(u(t))dt $ 来分析该问题。
• 将结果推广至满足特定光滑性和零点附近曲率条件的一类广义函数 $ f $。

提出的方法

• 通过变分方法分析问题，其中解对应于定义在 $ H^1_0(0,1) $ 上的泛函 $ J $ 的非零临界点。
• 关键工具包括使用一个在序列弱上半连续且具有 Gateaux 可微性的泛函 $ J $，且满足 $ J(0) = 0 $。
• 证明依赖于先前工作中定理 A，该定理在导数满足严格不等式条件下，保证在闭球 $ B_r $ 内部存在非零解。
• 在假设 $ F(\xi)/\xi^2 $ 非恒定的条件下，推导出不等式 $ \langle J'(u), u \rangle < 2J(u) $，从而触发定理 A 的应用。
• 利用嵌入不等式 $ \|u\|_{L^\infty} \leq \frac{1}{2}\|u\|_{H^1_0} $ 控制 $ u $ 的逐点取值，将 $ L^\infty $-范数与能量联系起来。
• 反证法用于反向推理：假设 $ F(\xi)/\xi^2 $ 在某区间上为常数，将导致仅有可数多个 $ \lambda $-值允许解存在，与存在开区间 $ I $ 的假设矛盾。

实验结果

研究问题

• RQ1 在何种 $ f $ 的条件下，两点边值问题 $ -u'' = \lambda \alpha(t)f(u) $，$ u(0) = u(1) = 0 $ 允许存在任意小能量的解？
• RQ2 是否 $ F(\xi)/\xi^2 $ 在每个区间 $ (0,b] $ 上的非恒定性，等价于存在一个正参数区间 $ I $，使得对每个 $ \lambda \in I $，存在解满足 $ \int_0^1 |u'|^2 dt < r $，其中 $ r > 0 $ 为任意给定值？
• RQ3 函数 $ F(\xi)/\xi^2 $ 在 $ (0,a] $ 上的单调性如何影响非线性特征值问题解集的结构？
• RQ4 该结果能否推广至一类广义非线性项 $ f $，特别是那些在零点附近具有特定高阶导数的函数？
• RQ5 泛函 $ J(u) = \int_0^1 \alpha(t)F(u(t))dt $ 在连接 $ F(\xi)/\xi^2 $ 的非恒定性与小能量解的存在性之间起到何种作用？

主要发现

• 函数 $ F(\xi)/\xi^2 $ 在每个区间 $ (0,b] $ 上的非恒定性，是存在开区间 $ I \subseteq (0,\infty) $ 的必要且充分条件，使得对每个 $ \lambda \in I $，问题存在解 $ u $ 满足 $ \int_0^1 |u'(t)|^2 dt < r $，其中 $ r > 0 $ 为任意给定值。
• 若 $ F(\xi)/\xi^2 $ 在某区间 $ (0,b] $ 上为常数，则 $ f(\xi) = 2c\xi $ 在 $ [0,b] $ 上成立，导致问题退化为线性问题，仅有可数多个 $ \lambda $-值允许解存在，与存在开区间 $ I $ 的假设矛盾。
• 若 $ F(\xi)/\xi^2 $ 在 $ (0,a] $ 上非增，则有 $ f(\xi)\xi \leq 2F(\xi) $，这是在定理 A 中推导出严格不等式 $ \langle J'(u), u \rangle < 2J(u) $ 所必需的条件。
• 对于在零点附近具有 $ 2k+1 $ 阶可微性、且满足 $ f^{(2k)}(0) < 0 $、低阶偶数阶导数在零点处为零的函数 $ f $，$ F(\xi)/\xi^2 $ 在零点附近严格递减，满足定理的假设条件。
• 该结果适用于一类广义非线性项，包括那些在零点附近行为类似 $ 2c\xi $ 但以受控方式偏离线性的函数，从而确保非恒定性条件成立。