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

一句话总结

本文通过拓扑方法，特别是将不动点指数理论应用于扰动的Hammerstein积分方程，建立了局部与非局部Neumann边值问题非平凡解的存在性、非存在性、局部化及多重性结果的新结论。关键贡献是一个通用框架，通过谱半径比较与改进的Green函数估计，处理符号变化解与非局部条件，经由三个详细示例（包括一个恒温箱模型与一个非线性特征值问题）得到验证。

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.

研究动机与目标

• 开发一个用于分析具有Neumann型边界条件的二阶微分方程中非平凡解的通用拓扑框架。
• 通过平移技巧构造可解的相关问题，解决当谱参数 λ = 0 为特征值时Green函数不存在的挑战。
• 将现有正解结果扩展至包含符号变化解的情形，扩大在具有反馈控制的恒温箱等模型中的适用性。
• 通过谱半径比较与核符号分析，推导出精确的局部化与非存在性准则。
• 通过显式示例验证理论，包括一个非局部恒温箱模型与Bonanno和Pizzimenti（2013）提出的非线性特征值问题。

提出的方法

• 将BVP表述为涉及Stieltjes积分的扰动Hammerstein积分方程，以处理非局部边界条件。
• 在由 u(t) 在 [a,b] 上的下界及泛函评估 α[u]、β[u] 的非负性所定义的锥 K 上应用不动点指数理论。
• 通过非线性项 f 上的条件 (I0ρ) 与 (I1ρ)，确保在小球与大球上分别具有指数 0 与指数 1，从而建立存在性。
• 通过与相关线性算子的谱半径比较，推导出 f 的增长限制，利用Krein-Rutman定理。
• 引入多个线性算子以处理Green函数的符号变化性质，改进先前的估计。
• 通过数值检查常数 c、M、fρ,ρ/c 以及 [a,b] 上 KA(s)、KB(s) 的积分，在示例中验证条件。

实验结果

研究问题

• RQ1 在何种条件下，具有Neumann边界条件的二阶微分方程至少存在一个可能变号的非平凡解？
• RQ2 当标准Green函数不存在时，如何将不动点指数理论适配于通过Stieltjes积分表达的非局部边界条件？
• RQ3 相关线性算子的谱半径在确定非平凡解的存在性或非存在性方面起什么作用？
• RQ4 能否针对非 necessarily 为正的非线性项，推导出精确的局部化与非存在性结果？
• RQ5 对Green函数核的改进估计如何提升存在性准则的适用性与精确性？

主要发现

• 对于非局部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) 时至少存在一个正解，优于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 的Green函数，提供了比先前工作更紧的界。
• 该框架成功处理了符号变化的非线性项，如两个示例所示，解发生符号变化，从而将理论范围扩展至正解理论之外。