[論文レビュー] Non-trivial solutions of local and non-local Neumann boundary-value problems

Gennaro Infante, Paolamaria Pietramala+1 more|arXiv (Cornell University)|Apr 4, 2014

Differential Equations and Numerical Methods参考文献 54被引用数 41

ひとこと要約

本稿は、局所的および非局所的ノイマン境界値問題の非自明解の存在、非存在、局在化、多重性に関する新たな結果を、特に摂動されたハマーシュタイン積分方程式に固定点指数理論を適用した位相的方法によって確立する。主な貢献は、スペクトル半径の比較と改良されたグリーン関数の推定を用いて、符号変化解と非局所的条件を扱える一般枠組みを提供することである。この枠組みは、サーモスタットモデルや非線形固有値問題を含む3つの詳細な例を通じて検証されている。

ABSTRACT

We prove new results on the existence, non-existence, localization and multiplicity of nontrivial solutions for perturbed Hammerstein integral equations. Our approach is topological and relies on the classical fixed point index. Some of the criteria involve a comparison with the spectral radius of some related linear operators. We apply our results to some boundary value problems with local and nonlocal boundary conditions of Neumann type. We illustrate in some examples the methodologies used.

研究の動機と目的

• 2階微分方程式におけるノイマン型境界条件を有する非自明解を解析する一般的な位相的枠組みの構築を目的とする。
• スペクトルパラメータ λ = 0 が固有値である場合にグリーン関数が存在しないという課題に対処するため、関連する可解な問題を構成するためにシフト技法を用いる。
• 従来の正の解に関する結果を、符号が変化する解を含むように拡張し、フィードバック制御を施したサーモスタットのようなモデルへの適用範囲を広げる。
• スペクトル半径の比較とカーネルの符号解析を用いて、鋭い局在化および非存在基準を導出する。
• 非局所サーモスタットモデルおよびBonannoとPizzimenti（2013）が提示した非線形固有値問題を含む、明示的な例を通じて理論を検証する。

提案手法

• 非局所境界条件を表すためにスティルチェス積分を用いた摂動されたハマーシュタイン積分方程式としてBVPを定式化する。
• u(t) における下界と α[u]、β[u] の非負性に基づく錐 K 上で固定点指数理論を適用する。
• 非線形関数 f に関する条件 (I0ρ) および (I1ρ) を用いて、小さな球および大きな球上で指数 0 および指数 1 を保証することで存在性を確立する。
• クリン＝ルトマンの定理を活用し、関連する線形作用素とのスペクトル半径の比較により、f における成長制限を導出する。
• グリーン関数の符号変化性に対応するために複数の線形作用素を導入し、先行研究の推定を改善する。
• 例において、c、M、fρ,ρ/c、および [a,b] 上での KA(s)、KB(s) の積分といった定数の数値的検証により条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 2階微分方程式がノイマン境界条件を満たす場合、符号が変化する可能性のある非自明解が少なくとも1つ存在する条件は何か？
• RQ2 標準的なグリーン関数が存在しない場合、スティルチェス積分で表される非局所的境界条件を扱うために固定点指数理論をどのように適合できるか？
• RQ3 関連する線形作用素のスペクトル半径が、非自明解の存在または非存在を決定する上で果たす役割は何か？
• RQ4 非線形関数が必ずしも正でない場合でも、鋭い局在化および非存在結果を導出できるか？
• RQ5 グリーン関数カーネルの改善された推定値は、存在基準の適用範囲および精度をどのように向上させるか？

主な発見

• 非局所BVP (6.3) において ω ∈ (π/2, π) のとき、数値的に (I0ρ) および (I1ρ) 条件を満たすため、この区間内のすべての ω に対して錐 K 内に非自明解が存在することが確認された。
• 例 6.3 において、BVP −u′′ + u = λte^u かつ u′(0) = u′(1) = 0 は、λ ∈ (0, (e+1)/e²) ≈ (0, 0.546) の範囲で少なくとも1つの正の解を有する。これは、BonannoとPizzimenti（2013）の (0, 2e⁻²) ≈ (0, 0.271) の範囲を改善したものである。
• 非存在結果が証明された：λ > (e+1)/(e(e−1)) ≈ 0.797 のとき、錐 K 内に非自明解は存在しない。これは以前の境界よりも鋭いものである。
• 本手法により局在化が得られた：λ = 1/4 のとき、すべての t ∈ [0,1] に対して 0.064 ≤ u(t) ≤ 0.16 が成り立つ。これは固定点理論と区間解析を用いて得られた。
• 第5節においてカーネル推定値が改善され、特に作用素 −u′′ + ω²u に関連するグリーン関数に対して、先行研究より tighter な境界が得られた。
• 本枠組みは符号変化非線形性を効果的に扱うことができ、2つの例で解が符号を変化させることを示し、正の解理論の範囲を超えて拡張された。