[论文解读] 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.

研究动机与目标

• 开发一个统一框架，用于分析一般锥中哈默斯汀型方程的不动点。
• 通过将锥重新表述为连续次可加泛函，推广克拉斯诺斯尔斯基型定理。
• 提供确保边值问题中所产生锥内不动点存在性与多重性的条件。
• 将抽象结果应用于具体例子，特别是具有积分约束的微分方程的凹解。

提出的方法

• 利用满足特定正性与非退化条件的连续次可加泛函，表征赋范空间中的锥。
• 对 $ \alpha \in \mathcal{A} $，定义锥 $ K_\alpha = \{ u \in N : \alpha(u) \geq 0 \} $，其中 $ \mathcal{A} $ 为具有次可加性与齐次性性质的泛函集合。
• 在这些泛函定义的锥上应用不动点指数理论，推导出存在性与多重性定理。
• 建立关于核与非线性项的条件 (C1)–(C8)，以确保算子满足指标计算所需的性质。
• 将抽象结果应用于二阶边值问题，其中非线性项为 $ f(t,u) = 4/(|u|+4) $，并使用 $ \|u\|_2 $、$ \|u\|_1 $ 及凹性约束。
• 验证条件 (I_ρ₁⁰)、(I_ρ₂¹) 与 (S₁)，以确认在锥的指定环形区域内存在解。

实验结果

研究问题

• RQ1 如何系统地利用连续次可加泛函表征一般赋范空间中的锥？
• RQ2 哈默斯汀方程的核与非线性项需满足何种条件，才能确保在给定锥中存在不动点？
• RQ3 不动点指数理论能否推广至通过泛函定义的抽象锥，而不仅限于经典的非负或凹锥？
• RQ4 在 $ L^1 $、$ L^2 $ 或最大范数约束下，哈默斯汀方程在何种条件下会在锥中存在多个不动点？
• RQ5 该抽象框架能否用于证明具有积分约束的边值问题中凹解与非负解的存在性？

主要发现

• 本文证明了任一赋范空间中的锥均可表示为 $ K_\alpha = \{ u \in N : \alpha(u) \geq 0 \} $，其中 $ \alpha \in \mathcal{A} $，且 $ \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} $ 中存在解。