[論文レビュー] 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

ひとこと要約

本稿は、符号が変化する重み関数と非線形項が不確定な1次元非線形楕円型問題に対して、厳密に正の解が存在するか否かの必要十分条件を確立する。特に、非線形項の成長が部分線形（$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.

研究の動機と目的

• 不確定な非線形項を有する1次元非線形楕円型問題に対して、厳密に正の解が存在するための十分かつ必要十分条件を確立すること。
• 解が存在する指数$p \in (0,1)$の集合を特徴づけること。
• 累乗型項を超えるより一般な非線形項に対しても解の存在を拡張すること。
• 標準的条件が成立しない場合でさえも、解の存在を保証する重み関数$m(x)$に関する非比較可能な十分条件を提供すること。
• 解が正の錐の内部に存在しない可能性があることを示し、部分線形問題における正の性質の微妙さを強調すること。

提案手法

• 区間$\Omega = (\alpha, \beta)$における問題$Lu = m(x)u^p$に対して、下界・上界解法を用いて比較枠組みを構築する。
• グリーン関数と関連する積分作用素$\overline{B}_\alpha$、$\underline{B}_\alpha$を用いて解を推定し、明示的な上界解を構成する。
• 最大原理を適用して下界解と上界解を比較し、$u \leq w$を部分区間で保証し、正の性質が成立しない場合に矛盾を導く。
• $L^\infty$ノルムの上界を、$\|m^+ \underline{B}_\alpha\|_{L^1}$と$\|\overline{B}_\alpha\|_{L^\infty}$を含む積分不等式から導出する。
• 一般非線形項$f(u)$の成長を制御するため、$L\varphi = m^+$を満たす$\varphi$を用いて、上界解$k(\varphi + 1)$を構成する。
• 重み付き積分推定とパrameter$k$を用いて、$L(k(\varphi+1)) \geq m f(k(\varphi+1))$を保証し、$f$が原点近傍および無限遠で累乗型の境界を満たす場合に解の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 符号が変化する重み関数$m(x)$がどのような条件下で、$p \in (0,1)$に対して問題$Lu = m(x)u^p$が厳密に正の解を有するか。
• 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$の場合に、互いに比較不能な2つの十分条件を提供し、ラプラシアンの場合の先行研究を拡張・改善する。
• $b \not\equiv 0$の場合、新たな十分条件（定理3.5および推論3.8）を確立し、これらは$b \equiv 0$の場合の条件や互いに比較不能である。
• 解の存在に対する必要条件を導出（定理3.11）、$m$が領域であまりに負くなると、$m^+ \not\equiv 0$であっても解が存在しないことを示す。
• 解が存在する$p \in (0,1)$の集合は、$m^-$、$\overline{B}_\alpha$、および$\|m^+ \underline{B}_\alpha\|_{L^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)}$である。これにより、累乗型境界が適用可能となる。