[论文解读] Second order periodic boundary value problems with reflection and piecewise constant arguments

A. Cabada, Paula Cambeses-Franco|arXiv (Cornell University)|Jan 19, 2026

Nonlinear Differential Equations Analysis被引用 0

一句话总结

论文推导并分析了具有反射和分段常数参数的二阶常微分方程在周期边界条件下的Green函数；将常数符号区域与Dirichlet特征值联系起来，并利用Krasnosel’skii理论证明非线性解的存在性，包括带扰动的薛定谔方程的正解。

ABSTRACT

In this paper, we analyze a second-order differential equation with a piecewise constant argument and reflection coupled to periodic boundary conditions. Our main contribution is the construction of the related Green's function and a detailed analysis of its properties. In particular, we determine the region in which the Green's function has constant sign, depending on the parameters $m$ and $M$ on which it depends. In some cases, we are able to characterize these parameter values in terms of the first eigenvalue related to suitable Dirichlet problems. Building in these results, we apply the Krasnosel'skii method to establish the existence of solutions for different nonlinear problems, and prove the existence of a positive solution of a perturbed Schrodinger equation.

研究动机与目标

• 在周期边界条件下分析具有反射和分段常数参数的二阶微分方程。
• 构建并研究显式Green函数及其符号性质。
• 通过相关Dirichlet问题的特征值表征Green函数的常数符号区域。
• 应用不动点方法（Krasnosel’skii）证明非线性解的存在性，包括带扰动的薛定谔方程的正解。

提出的方法

• 推导对 v''(t)+m v(-t)=σ(t) 在周期边界条件下的Green函数 G_m（问题4.2）。
• 利用与 G_m 的关系，将两参数Green函数 H_{m,M} 推广至 v''(t)+m v(-t)+M v([t])=σ(t)（方程4.15 与 4.16）。
• 确立 G_m 与 H_{m,M} 的对称性、连续性及跃变条件（命题4.3 与 定理/命题4.6）。
• 确定 H_{m,M} 具有恒定符号的区域（命题5.1、定理4.5），并将正/负区域与 m、M 联系起来。
• 给出常数符号区域的数值近似及边界的猜测（图1–3）。
• 通过特征值（Dirichlet 问题）的方式表征常数符号区域（定理6.1），并将 Krasnosel’skii 方法应用于非线性问题（薛定谔方程）。

Figure 1: Numerical approximation of the regions in which the Green’s function $H_{m,M}$ maintains a constant sign. The domain where $H_{m,M}>0$ is depicted in blue, while the domain where $H_{m,M}<0$ is depicted in red.

实验结果

研究问题

• RQ1 在 I×I 上，参数 m 与 M 何条件下 Green 函数 H_{m,M} 能保持恒定符号？
• RQ2 是否能通过相关Dirichlet问题的特征值来表征常数符号区域，而无需显式计算Green函数？
• RQ3 如何利用 Krasnosel’skii 不动点理论来保证具有反射和分段常数参数的问题的非线性解的存在性？
• RQ4 在该框架下能否为带扰动的薛定谔方程得到正解？
• RQ5 耦合问题（同时具有反射与分段常数参数）Green函数的显式形式及其性质是什么？

主要发现

• 对于 m ∈ (0, (π/(2T))^2)，G_m 在 I×I 上严格正。
• 当 m = (π/(2T))^2 时，G_m 在一个有限集合上消失，其他地方保持正性。
• 对于某些负的 m（由临界值 c¯ 定义），G_m 在 I×I 上严格为负。
• 当 M=0 时，H_{m,0} 可以与 G_m 直接关系表达；对于小的 T，H_{m,M} 具有显式形式（式4.17）。
• H_{m,M} 的正性的必要条件是 m+M>0；负性的必要条件是 m+M<0。
• 数值方法近似 H_{m,M} 具有恒定符号的区域，图1给出的可视化支持对符号区域的猜想（图2）。
• 对于 m≥0 且 M≥0，只有当 M 落在区间 (-m, λ1) 时，H_{m,M} 为正，其中 λ1 是相关问题的最小正Dirichlet特征值（定理6.1）。
• 本工作提供了通过特征值问题获得常数符号区域的框架，在某些情况下无需显式求解Green函数即可得到结果。

Figure 2: Explicitly conjectured regions in which the Green’s function $H_{m,M}$ maintains a constant sign when $T=1.6$ . The domain where $H_{m,M}>0$ is depicted between the black and blue curves, while the domain where $H_{m,M}<0$ is shown between the black and red curves.