二阶常微分方程边值问题解的有界性证明求助及PDE教材示例修正咨询

架构老林

2026-4-17

大家好，我目前在学习过程中遇到了两个相关的问题，希望能得到大家的帮助：

一、二阶ODE边值问题解的非负性证明卡壳了

先跟大家说第一个问题：设 (a) 是正数，函数 (u: [0, a] \to \mathbb{R}) 满足这些条件：

在闭区间 ([0, a]) 上连续，且端点值 (u(0) = u(a) = 0)
一阶和二阶导数在开区间 ((0, a)) 内连续
对所有 (x \in (0, a))，都满足微分方程 (u''(x) + u(x)(1 - u(x)) = 0)

需要证明的是：对任意 (x \in [0, a])，都有 (0 \leq u(x) \leq 1)。

其中上界的证明我已经搞定了，过程是这样的：

上界 (u(x) \leq 1) 的证明

假设存在某个 (t_0 \in [0, a]) 使得 (u(t_0) > 1)，因为 (u) 连续，所以它在 ([0, a]) 上肯定有最大值点 (t_1)，满足 (u(t_1) \geq u(t_0) > 1)，而且 (t_1) 绝对不可能是端点0或者a（毕竟端点处函数值都是0，比1小）。

根据微积分里极值点的性质，最大值点处的二阶导数 (u''(t_1) \leq 0)，把它代入原方程：
$$
0 = u''(t_1) + u(t_1)(1 - u(t_1))
$$
因为 (u(t_1) > 1)，所以 (1 - u(t_1) < 0)，那 (u(t_1)(1 - u(t_1))) 就是负数，再加上 (u''(t_1) \leq 0)，等式左边就会小于0，这和右边等于0矛盾了。所以 (u(x) \leq 1) 对所有 (x \in [0, a]) 都成立。

但是下界 (u(x) \geq 0) 的证明我怎么都搞不定，模仿上界的思路试了好几次，就是推不出矛盾，有没有大佬能指点一下？

二、PDE教材示例的推导疑问，疑似作者疏漏？

第二个问题是和我正在学的PDE教材有关的。我用的是J. David Logan的《An Introduction to Nonlinear Partial Differential Equations》第二版，现在在看一个用存在性定理证明边值问题解存在的示例，先给大家说下背景：

设 (D) 是 (\mathbb{R}^n) 里的有界、开、连通子集，算子 (L) 在 (D) 内是一致椭圆的，它的形式是：
$$
Lu := \sum_{1 \leq i,j \leq n} a_{i,j}(x) \frac{\partial^2 u}{\partial x_i \partial x_j} + \sum_{1 \leq j \leq n} b_j(x) \frac{\partial u}{\partial x_j}
$$
这里的系数 (a_{i,j}) 和 (b_j) 在 (D) 内连续可微，在闭包 (\overline{D}) 上连续，而且存在一个正数 (\mu)，使得对任意 (x \in D) 和实数 (\xi_j)，都有：
$$
\sum_{1 \leq i,j \leq n} a_{i,j}(x) \xi_i \xi_j \geq \mu \sum_{1 \leq j \leq n} \xi_j^2
$$

教材里的这个示例，是想通过构造上解 (\overline{u}) 和下解 (\underline{u})（要求 (\underline{u} \leq \overline{u})）来套用存在性定理。但我看到作者写了这么一句：“Then (\overline{u}(x) \geq 0) on (\partial D) and (-\Delta \overline{u} = -\overline{u}'' = \overline{u}(1 - \overline{u}) \geq 0)”。其中 (\overline{u} \leq 1) 前面已经用ODE的结论证明了，但 (\overline{u} \geq 0) 这个结论作者根本没证啊？

看了大家的回复之后，我怀疑作者这里是不是犯了个错误？如果真的是疏漏的话，我该怎么修正这个示例的推导呢？

下面是教材里的相关截图，供大家参考：