[論文レビュー] Fixed points of Hammerstein-type equations on general cones

Rubén Figueroa, F. Adrián F. Tojo|arXiv (Cornell University)|Nov 8, 2016

Nonlinear Differential Equations Analysis参考文献 34被引用数 3

ひとこと要約

本稿では、連続的関数型と固定点指数論を組み合わせることで、一般の錐におけるハマーシュタイン型積分方程式の固定点の存在および多重性に関する新たな結果を確立する。主な貢献は、下付き性および正性条件を満たす関数型による錐の新しい特徴付けであり、これは、下に凸、非負、またはその他の構造的解を有する境界値問題の統一的解析を可能にする。

ABSTRACT

We obtain new results on the existence and multiplicity of fixed points of Hammerstein equations in very general cones. In order to achieve this, we combine a new formulation of cones in terms of continuous functionals with fixed point index theory. Many examples and an application to boundary value problems are also included.

研究の動機と目的

• 一般の錐におけるハマーシュタイン型方程式の固定点を分析する統一的枠組みの構築。
• 連続的下付き関数型を用いた錐の再定式化により、クラソノセルスキー型定理の一般化。
• 境界値問題に由来する錐における固定点の存在および多重性を保証する条件の提供。
• 抽象的結果を具体的な例に応用し、特に積分制約を伴う微分方程式の下に凸解の存在を検証。

提案手法

• ノルム空間内の錐を、特定の正性および非退化性条件を満たす連続的下付き関数型を用いて特徴付ける。
• 関数型 $ \mathcal{A} $ に属する $ \alpha $ に対して、$ K_\alpha = \{ u \in N : \alpha(u) \geq 0 \} $ を定義する。ここで $ \mathcal{A} $ は下付き性および斉次性を満たす関数型の集合である。
• これらの関数型で定義された錐上で固定点指数論を用い、存在および多重性の定理を導出する。
• 指数計算に必要な性質を満たすために、核および非線形項に (C1)–(C8) の条件を確立する。
• 非線形項 $ f(t,u) = 4/(|u|+4) $ を有する2階境界値問題に抽象的結果を適用し、$ \|u\|_2 $、$ \|u\|_1 $、および下に凸性制約を用いる。
• 特定のアニュラ領域における解の存在を確認するため、条件 (I_ρ₁⁰)、(I_ρ₂¹)、および (S₁) を検証する。

実験結果

リサーチクエスチョン

• RQ1 一般のノルム空間内の錐は、連続的下付き関数型を用いてどのように体系的に特徴付けられるか？
• RQ2 ハマーシュタイン方程式の核および非線形項にどのような条件が課されると、与えられた錐内での固定点の存在が保証されるか？
• RQ3 固定点指数論は、古典的な非負または下に凸関数の錐を超えて、関数型によって定義される抽象的錐に対しても拡張可能か？
• RQ4 ハマーシュタイン方程式が、$ L^1 $、$ L^2 $、または最大ノルムの制約下で、錐内に複数の固定点を有するための条件は何か？
• RQ5 抽象的枠組みは、積分制約を伴う境界値問題における下に凸で非負の解の存在を示すために応用可能か？

主な発見

• 本稿では、任意のノルム空間内の錐が、$ \mathcal{A} $ に属するある関数型 $ \alpha $ を用いて $ K_\alpha = \{ u \in N : \alpha(u) \geq 0 \} $ の形に表現可能であることを証明している。ここで $ \mathcal{A} $ は連続的、下付き的、非退化な関数型のクラスである。
• 条件 (C1)–(C8) および指数型不等式を満たす下で、一般の錐におけるハマーシュタイン方程式に対して、新たな存在および多重性の結果（定理3.6）が確立された。
• 方程式 $ -u''(t) = 4/(|u(t)|+4) $、$ u(0)=u(1)=0 $ の具体的な問題に対して、$ \int_0^1 u(s) \, ds \geq 1/20 $ および $ \|u\|_2 \leq 1/2 $ を満たす下に凸で非負の解が存在し、$ f_{\rho_1} \int \psi_\gamma g \, ds > 1 $ および $ f^{\rho_2} \int \psi_\beta g \, ds < 1 $ を満たす。
• 関数型 $ \alpha(u) = \min\{ \text{下に凸性項}, u(0), -u(0), u(1), -u(1) \} $ は、端点で消失する連続的下に凸関数の錐を特徴付ける。
• 結果を用いて、錐に属する関数に対して $ \|u\|_1 \geq \frac{1}{2} \|u\|_2 $ が成り立つことを示し、これにより $ b(\rho) = 2\rho $ および $ c(\rho) = \rho $ の境界の構成が可能になる。
• 例題により、$ \rho_1 = 1/20 $、$ \rho_2 = 1/2 $ が $ \rho_2 > b(\rho_1) $ を満たし、指数条件 $ (I_{\rho_1}^0) $ および $ (I_{\rho_2}^1) $ も成立することが確認され、アニュラ領域 $ K_\alpha^{\beta,\rho_2} \setminus K_\alpha^{\gamma,\rho_1} $ 内に解が存在することが保証される。