[论文解读] Strictly positive solutions for one-dimensional nonlinear elliptic problems

Uriel Kaufmann, Iván Medri|arXiv (Cornell University)|May 14, 2014

Nonlinear Partial Differential Equations参考文献 7被引用 4

一句话总结

本文建立了关于一维非线性椭圆问题在不定非线性项下严格正解的存在性与非存在性准则，重点关注次线性增长（$p \in (0,1)$）和变号权函数的情形。通过上下解方法与积分估计，推导出非可比较的存在性充分条件，刻画了允许解存在的 $p$ 值集合，并利用比较原理与加权积分不等式将结果推广至一般非线性项。

ABSTRACT

We study existence and nonexistence of strictly positive solutions for the elliptic problems of the form $Lu=m\left( x ight) u^{p}$ in a bounded open interval, with zero boundary conditions, where $L$ is a strongly uniformly elliptic differential operator, $p\in\left( 0,1 ight) $, and $m$ is a function that changes sign. We also characterize the set of values $p$ for which the problem admits a solution, and in addition an existence result for other nonlinearities is presented.

研究动机与目标

• 建立一维非线性椭圆问题在不定非线性项下严格正解存在的充分与必要条件。
• 刻画使得问题存在严格正解的指数 $p \in (0,1)$ 的集合。
• 将存在性结果推广至超越幂次项的一般非线性项。
• 提供关于权函数 $m(x)$ 的非可比较充分条件，以保证存在性，即使在标准条件不成立时亦然。
• 表明解可能不位于正锥的内部，凸显次线性问题中正性问题的微妙性。

提出的方法

• 采用上下解技术，为问题 $Lu = m(x)u^p$ 在有界区间 $\Omega = (\alpha, \beta)$ 上构建比较框架。
• 利用格林函数及相关的积分算子 $\overline{B}_\alpha$、$\underline{B}_\alpha$ 估计解并构造显式上解。
• 应用最大值原理比较上下解，确保在子区间内 $u \leq w$，并在正性不成立时导出矛盾。
• 通过涉及 $\|m^+ \underline{B}_\alpha\|_{L^1}$ 与 $\|\overline{B}_\alpha\|_{L^\infty}$ 的积分不等式，推导解的 $L^\infty$ 估计。
• 构造上解 $k(\varphi + 1)$，其中 $\varphi$ 满足 $L\varphi = m^+$，以控制一般非线性项 $f(u)$ 的增长。
• 利用加权积分估计与参数 $k$，确保 $L(k(\varphi+1)) \geq m f(k(\varphi+1))$，从而在 $f$ 在零与无穷远处满足类似幂次有界性时，保证存在性。

实验结果

研究问题

• RQ1 在变号权函数 $m(x)$ 满足何种条件时，问题 $Lu = m(x)u^p$ 在 $p \in (0,1)$ 下存在严格正解？
• RQ2 使得解存在的 $p \in (0,1)$ 的精确集合是什么？其依赖于 $m(x)$ 与算子 $L$ 的关系如何？
• RQ3 当非线性项 $f(u)$ 不一定为凹或单调时，是否仍可建立存在性，只要其在零与无穷远处满足类似幂次有界性？
• RQ4 是否存在关于 $m(x)$ 的必要条件，以保证严格正解的存在，而不仅仅是 $m^+ \not\equiv 0$？
• RQ5 对于一般算子 $L = -u'' + b(x)u' + c(x)u$，其结果与 $L = -u''$ 情形相比有何推广或差异？

主要发现

• 本文在 $b \equiv 0$ 时，提供了两个非可比较的存在性充分条件，扩展并改进了此前针对拉普拉斯算子的结果。
• 当 $b \not\equiv 0$ 时，本文建立了新的充分条件（定理 3.5 与推论 3.8），其与 $b \equiv 0$ 情形的条件或彼此之间均不可比较。
• 推导出一个存在性的必要条件（定理 3.11），表明若 $m$ 在某区域过于负，即使 $m^+ \not\equiv 0$，解也不存在。
• 通过涉及 $m^-$、$\overline{B}_\alpha$ 与 $\|m^+ \underline{B}_\alpha\|_{L^1}$ 的显式积分条件，刻画了解存在的 $p \in (0,1)$ 的集合。
• 对于满足在零附近 $k_1 \xi^p \leq f(\xi) \leq k_2 \xi^p$ 与在无穷远处 $f(\xi) \leq k_3 \xi^q$ 的一般非线性项 $f(u)$，通过与上解 $k(\varphi + 1)$ 比较，证明了存在性。
• 解 $u$ 满足 $\|u\|_{L^\infty} \leq \underline{K}$，其中 $\underline{K} = \left[k_1 \int_\alpha^\beta \overline{B}_\alpha(x) \|m^+ \underline{B}_\alpha\|_{L^1(\alpha,x)} dx\right]^{1/(1-p)}$，确保幂次有界性成立。