Positive Solutions for a One-Dimensional Minkowski-Curvature Equation with a Sign-Changing Nonlinearity under Mixed Boundary Conditions

技术摘要：具有符号变化非线性的单维闵可夫斯基曲率方程的正解问题

问题陈述
本文研究了在混合 Neumann–Dirichlet 边界条件下，一维闵可夫斯基曲率方程（Minkowski-curvature equation）正解的存在性。该边界值问题（BVP）定义在区间 $I = [a, b]$ 上：
$$\begin{cases} -\left( \frac{u'(t)}{\sqrt{1 - (u'(t))^2}} \right)' = f(t, u(t)), & t \in (a, b), \\ u'(a) = 0, \\ u(b) = 0. \end{cases}$$
主要的约束条件是解必须满足类时（spacelike）条件 $\|u'\|_\infty < 1$ 且为正解（对于 $a \le t < b$，有 $u(t) > 0$）。该问题的一个关键特征是，非线性项 $f: I \times [0, +\infty) \to \mathbb{R}$ 是连续的但具有符号变化性（即可能取负值），并且不要求是可分离的。这使本研究区别于以往的研究，以往研究通常假设非线性是非负的，或者处理的是结构不同的符号变化项（例如周期性或自治情形）。

研究方法
作者采用了基于巴拿赫空间锥集中的拓扑方法——不动点指数理论。该方法解决了闵可夫斯基曲率算子和符号变化非线性所带来的两个特定挑战：

1. 全局定义与斜率控制： 该算子涉及项 $(1 - (u')^2)^{-3/2}$，如果 $|u'| \ge 1$，则该项未定义。为了规避这一问题，作者引入了一个全局定义的辅助方程，利用因子 $(1-p^2)^{3/2}$ 的连续延展 $h(p)$。作者利用“首次接触论证”（first-contact argument）证明，任何关于该辅助方程的非负解都自动满足 $\|u'\|_\infty < 1$，从而恢复出原问题的解。
2. 处理符号变化非线性： 标准的锥扩张-压缩定理在 $f$ 发生符号变化时往往会失效，因为相关的积分算子可能无法保持正锥。作者通过以下方式克服了这一点：
   • 施加一个单侧线性界限：$f(t, s) \ge -\beta(t)s$，其中 $\beta$ 是某个非负连续函数。
   • 构造一个非负线性平移，将问题转化为涉及算子 $-u'' + \beta(t)u$ 的问题。
   • 利用与平移后的线性问题相关的 Green 函数 $G_\beta(t, s)$ 来定义 $C^1(I)$ 空间中的不变锥 $K$。

主要贡献与结果
在满足以下条件时，本文确立了至少存在一个正解的存在性：

• 假设 (H0)： 一个控制非线性负部分的下界条件 $f(t, s) \ge -\beta(t)s$。
• 假设 (H1)： 在零点附近的下比较，涉及权重函数 $b_0(t)$ 且主特征值 $\lambda_1(b_0) < 1$。
• 假设 (H2)： 在无穷远处的上比较，涉及权重函数 $b_\infty(t)$ 且主特征值 $\mu_1(b_\infty) > 1$。

主定理（定理 3.1）证明了在这些假设下，由辅助方程导出的不动点算子 $A$ 在锥 $K$ 中存在不动点。该不动点对应于原闵可夫斯基曲率方程的一个正解，且满足 $\|u'\|_\infty < 1$。

此外，作者推导出了推论 4.1，这是一个直接可验证的渐近准则。该结果允许直接从 $f(t, s)$ 当 $s \to 0^+$ 和 $s \to +\infty$ 时的一致渐近斜率来确定比较权重 $b_0$ 和 $b_\infty$，而无需进行抽象的权重构造。

意义与主张
本文声称填补了关于混合边界条件（Neumann–Dirichlet）结合一般非分离、符号变化非线性性的文献空白。不同于以往依赖于非负假设或特定结构形式（如 $a(t)g(u)$）的工作，本研究处理的是一般的连续函数 $f(t, u)$。

其意义在于处理符号变化特性的具体机制：

• 非线性部分的负值部分通过线性界限而非抽象的锥不变性得到显式控制。
• 线性平移、Green 核与主特征值比较的结合，产生了一个鲁棒的框架，用于实现零点附近的锥扩张和无穷远处的锥压缩。
• 论文提供了一个具体的例子（例 5.1），展示了定理所涵盖的符号变化函数类是非空的，通过对特定的三角非线性函数明确验证了所有假设。

作者保持了适度的研究范围，严格专注于正解的存在性和可验证准则的推导，而非试图进行全局分歧曲线的分类或多解性研究。