[論文レビュー] 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) $ を含む2点境界値問題に対して、小エネルギー正解が存在するための必要十分条件を確立している。主な結果は、任意の区間 $ (0,b] $ において $ F(\xi)/\xi^2 $ が定数でないことは、パラメータ $ \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

研究の動機と目的

• 非線形2点境界値問題に対して、任意に小エネルギーの正解が存在するかを検討する。
• 関数 $ F(\xi)/\xi^2 $ の挙動に基づいて、そのような解が存在する条件を特徴づける。ここで $ F(\xi) = \int_0^\xi f(t)dt $ である。
• 任意の区間 $ (0,b] $ において $ F(\xi)/\xi^2 $ が定数でないことに、正のパラメータの区間 $ 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 $ の非自明な臨界点に対応する変分的アプローチにより分析される。
• 主な道具は、$ J(0) = 0 $ を満たす、逐次弱上半連続かつゲートー微分可能な汎関数 $ J $ の使用である。
• 証明は、先行研究における定理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} $ を用い、$ L^\infty $-ノルムとエネルギーを結びつける。
• 逆方向では背理法が用いられる：$ F(\xi)/\xi^2 $ がある区間で定数であると仮定すると、解が存在する $ \lambda $-値は高々可算個に限られ、開区間 $ I $ の存在と矛盾する。

実験結果

リサーチクエスチョン

• RQ1 非線形2点境界値問題 $ -u'' = \lambda \alpha(t)f(u) $, $ u(0) = u(1) = 0 $ が、任意に小エネルギーの解をもつための $ f $ に関する条件は何か？
• RQ2 $ F(\xi)/\xi^2 $ がすべての区間 $ (0,b] $ で定数でないことは、任意の $ r > 0 $ に対して $ \int_0^1 |u'|^2 dt < r $ を満たす解が存在するような正のパラメータの区間 $ I $ が存在することと同値か？
• 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 $ の非定数性と小エネルギー解の存在をどのように結びつけるか？

主な発見

• 任意の区間 $ (0,b] $ において $ F(\xi)/\xi^2 $ が定数でないことは、任意の $ r > 0 $ に対して $ \int_0^1 |u'(t)|^2 dt < r $ を満たす解が存在するような開区間 $ I \subseteq (0,\infty) $ が存在することの必要十分条件である。
• もし $ 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 $ かつ 0 次より低い偶数階微分係数がすべて 0 であるような関数 $ f $ に対しては、$ F(\xi)/\xi^2 $ は原点付近で厳密に減少するため、定理の仮定を満たす。
• この結果は、原点付近で $ f $ が $ 2c\xi $ のように振る舞い、しかし制御された方法で線形から逸脱する非線形関数の広いクラスに適用可能であり、非定数性条件が満たされる。