[論文レビュー] Uniqueness of positive solutions to semilinear elliptic equations with double power nonlinearities

Shinji Kawano|ArXiv.org|Nov 6, 2008

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

ひとこと要約

本稿では、二重べき乗非線形項 $ f(u) = -\omega u + u^p - u^q $（$ \omega > 0 $, $ q > p > 1 $）を有する半線形楕円型方程式の正の解の一意性が、単に $ \int_0^u f(s)\,ds > 0 $ であるという存在条件によって保証されることを示している。これにより、従来必要とされていた追加の曲率条件 $ \tilde{f}(u) < 0 $ は不要となる。主な結果は、存在閾値 $ \omega_{p,q} $ が一意性閾値 $ \eta_{p,q} $ より厳密に小さいことであり、解が存在する限り一意性が保証されることを意味する。

ABSTRACT

We consider semilinear elliptic equations with double power nonlineaities. The condition to assure the existence of positive solutions is well-known. In the present paper, we remark that the additional condition to assure uniqueness proposed by Ouyang and Shi is unnecessary.

研究の動機と目的

• 二重べき乗非線形項を有する半線形楕円型方程式の正の解に関する長年の未解決問題、すなわち一意性の解明を目的とする。
• このような方程式において、追加の曲率条件 $ \tilde{f}(u) < 0 $ が一意性に必要かどうかを特定すること。
• 非線形関数 $ f(u) = -\omega u + u^p - u^q $ に対して、存在条件と一意性条件の直接的な関係を確立すること。
• 存在条件が満たされる限り、一意性条件が自動的に満たされることを示すこと。

提案手法

• 解析は $ \mathbb{R}^n $ における方程式の径数的形に集中し、偏微分方程式を径数変数 $ r $ に関する常微分方程式に簡約する。
• 正の解の存在は、ある $ u > 0 $ に対して $ F(u) = \int_0^u f(s)\,ds > 0 $ であるという条件によって特徴づけられ、これが閾値 $ \omega_{p,q} $ を定義する。
• 一意性条件 $ \tilde{f}(u) = (u f'(u))' f(u) - u (f'(u))^2 < 0 $ が解析され、$ \omega < \eta_{p,q} $ と同値であることが示される。
• 明示的な式 $ \omega_{p,q} $ と $ \eta_{p,q} $ が導出され、$ \omega_{p,q} < \eta_{p,q} $ であることを比較により示す。
• 証明は、$ \omega_{p,q} $ と $ \eta_{p,q} $ の閾値を直接比較することに依拠し、存在条件が一意性条件を含意することを示している。

実験結果

リサーチクエスチョン

• RQ1 二重べき乗非線形項を有する半線形楕円型方程式の正の解の一意性において、曲率条件 $ \tilde{f}(u) < 0 $ は必要か？
• RQ2 ある $ u > 0 $ に対して $ \int_0^u f(s)\,ds > 0 $ であるという存在条件のみで、一意性を確立できるか？
• RQ3 存在閾値 $ \omega_{p,q} $ と一意性閾値 $ \eta_{p,q} $ の関係は何か？
• RQ4 すべての $ q > p > 1 $ に対して、$ \omega < \omega_{p,q} $ が $ \omega < \eta_{p,q} $ を含意するか？

主な発見

• 正の解の存在は $ \omega < \omega_{p,q} $ と同値であり、ここで $ \omega_{p,q} = \frac{2(q-p)}{(p+1)(q-1)} \left[ \frac{(p-1)(q+1)}{(p+1)(q-1)} \right]^{\frac{p-1}{q-p}} $ である。
• 一意性条件 $ \tilde{f}(u) < 0 $ は $ \omega < \eta_{p,q} $ と同値であり、$ \eta_{p,q} = \frac{q-p}{q-1} \left[ \frac{p-1}{q-1} \right]^{\frac{p-1}{q-p}} $ である。
• すべての $ q > p > 1 $ に対して $ \omega_{p,q} < \eta_{p,q} $ が厳密に成り立つことが厳密に示され、存在条件が一意性条件を含意することを意味する。
• したがって、追加の曲率条件 $ \tilde{f}(u) < 0 $ は余分である。正の解が存在する限り、一意性は自動的に成立する。
• この結果により、OuyangとShiの1998年の一意性証明から不要な技術的仮定を排除する、長年の文献上のギャップが解消された。