2026-10-09 · 折线为何能长成解

0. 导读与元结构 (Orientation & Meta-structure)

2026 年 10 月 9 日，星期五。 Develata，昨天回答“哪些曲线能抽出一致收敛子列”，今天追问：抽出的极限为什么恰好满足我们想解的方程？

常微分方程 $x^{\prime }=f(t,x)$ 只告诉我们当前位置的速度。Euler 方法每走一步就重新读取速度，可以制造折线；但折线一般不是精确解，节点处甚至不可微。因此不能把“数值曲线看起来稳定”当成存在性证明。

对象与量词。 固定连续向量场 $f$、初值 $(0,x_0)$ 和一个共同时间区间；$n$ 是网格精细程度，$x_n$ 是整条近似路径，$t$ 是路径上的观察时刻。需要统一于 $n$ 的幅度与速度界、统一于 $t$ 的残差估计，最后才抽子列。时间区间不能随 $n$ 缩到零。

位置与增量。 函数紧致性三日微弧的第 2/3 日，有意深化 10 月 8 日：今天将已知的 Ascoli 判据接入方程，补上“近似构造 → 残差消失 → 闭合”的完整链条；再明确存在、唯一、算法选择不是同一命题。

预备。 一元微积分、有限维闭有界集紧致、连续函数在紧集上一致连续，以及昨日的 Arzelà–Ascoli 定理。主证明引擎是先验估计 (a priori estimate) + 紧致抽取 (compactness extraction) + 积分形式传极限。研究生延伸讨论整个解集合，而不预设它只有一个点。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从切线近似走向局部存在

设 $d\ge 1$，$a,b>0$，$x_0\in {\mathbb{R}}^d$，用欧氏范数记 $|\cdot |$。令

$$Q=[0,a]\times \bar{B}(x_0,b),f:Q⟶{\mathbb{R}}^d$$

连续。闭圆柱 $Q$ 紧致，故

$$M=\underset{(t,z)\in Q}{max}|f(t,z)|<\mathrm{\infty },T=min\{a,b/(M+1)\}>0.$$

这里选一个略保守的 $T$，避免 $M=0$ 时除零，也保证 $MT<b$。

解 (solution) 指函数 $x\in C^1([0,T],{\mathbb{R}}^d)$，满足

$$x(0)=x_0,\mathrm{\forall }t\in [0,T],x^{\prime }(t)=f(t,x(t)),|x(t)-x_0|\le b.$$

端点导数按单侧理解。由微积分基本定理，它等价于连续函数满足

$$\mathrm{\forall }t\in [0,T],x(t)=x_0+{\int }_0^{t}f(s,x(s))ds.$$

从积分方程反推 $C^1$ 需要 $s\mapsto f(s,x(s))$ 连续；这是稍后恢复可微性的依据。

Peano 存在定理（前向局部版本）。 在上述全部假设下，至少存在一个这样的解。不假定 $f$ 对空间变量 Lipschitz，也不承诺唯一性。 Teschl 的作者授权预印本 §2.7、Theorem 2.19 给出此结果及 Euler–Ascoli 证明；本文用保守时间区间将其展开。[1]

1.2 第一步：折线必须在同一个圆柱里活下来

取 $n\ge 1$，令 $h=T/n$，$t_j=jh$。定义

$$x_n(0)=x_0,x_n(t)=x_n(t_j)+(t-t_j)f(t_j,x_n(t_j))(t_j\le t\le t_{j+1}).$$

这就是 Euler 折线 (Euler polygon)：每一小段冻结左端点处的速度。

定义的合法性不能省略。归纳地，已构造各段的斜率均不超过 $M$，因此在下一段任意时刻都有

$$|x_n(t)-x_0|\le Mt\le MT<b.$$

所有新节点仍在 $Q$ 的空间截面中，可继续读取 $f$。于是每条折线都定义在完整的 $[0,T]$ 上。将任意 $s<t$ 间的网格段长度相加，还得

$$\mathrm{\forall }n\ge 1\mathrm{\forall }s,t\in [0,T],|x_n(t)-x_n(s)|\le M|t-s|.$$

这是统一有界且一致等度连续的函数族。例如给定 $\epsilon >0$，取 $\delta =\epsilon /(M+1)$，便对所有 $n,s,t$ 同时得到 $|t-s|<\delta \Rightarrow |x_n(t)-x_n(s)|<\epsilon$。

Ascoli 只做这一件事： 给出严格递增的 $n_k$ 以及连续路径 $x$，使

$$\mathrm{\forall }\epsilon >0\mathrm{\exists }{k}_0=k_0(\epsilon )\mathrm{\forall }k\ge k_0,\underset{t\in [0,T]}{sup}|x_{n_k}(t)-x(t)|<\epsilon .$$

向量值版本可逐坐标有限次抽取获得。此时还没有证明 $x$ 是解。

1.3 第二步：积分残差为什么统一消失

在 $Q$ 上定义联合连续模量 (joint modulus of continuity)

$$\omega (r)=sup\{|f(s,y)-f(t,z)|:(s,y),(t,z)\in Q,|s-t|+|y-z|\le r\}.$$

紧性与连续性给出

$$\mathrm{\forall }\epsilon >0\mathrm{\exists }{r}_0=r_0(\epsilon ,f,Q)>0\mathrm{\forall }r\in [0,r_0),\omega (r)<\epsilon .$$

对 $s\in [t_j,t_{j+1})$ 令 ${\tau }_n(s)=t_j$，在终点任选相邻节点的值，不影响积分。折线满足精确的“冻结速度积分式”

$$x_n(t)=x_0+{\int }_0^{t}f({\tau }_n(s),x_n({\tau }_n(s)))ds.$$

比较它与真正积分方程，定义积分残差 (integral residual)

$$R_n(t)=x_n(t)-x_0-{\int }_0^{t}f(s,x_n(s))ds.$$

因为

$$|s-{\tau }_n(s)|\le h,|x_n(s)-x_n({\tau }_n(s))|\le Mh,$$

所以

$$\parallel R_n{\parallel }_{\mathrm{\infty }}\le T\omega ((1+M)h)⟶0.$$

关键并不是折线导数逐点收敛，而是整条路径偏离积分方程的程度趋于零。节点的不可微性在积分形式中没有造成障碍。[1, 式 (2.73)–(2.76)]

1.4 第三步：把非线性方程传给极限

一致极限仍满足 $x(0)=x_0$、$|x(t)-x_0|\le MT<b$。而且

$$\underset{s}{sup}|f(s,x_{n_k}(s))-f(s,x(s))|\le \omega (\parallel x_{n_k}-x{\parallel }_{\mathrm{\infty }})⟶0.$$

因此

$${\Vert x-x_0-{\int }_0^{\cdot }f(s,x(s))ds\Vert }_{\mathrm{\infty }}\le \parallel x-x_{n_k}{\parallel }_{\mathrm{\infty }}+\parallel R_{n_k}{\parallel }_{\mathrm{\infty }}+T\omega (\parallel x_{n_k}-x{\parallel }_{\mathrm{\infty }})⟶0.$$

左侧不依赖 $k$，只能为零。积分方程成立；再用连续被积函数的微积分基本定理，得到 $x\in C^1$ 和 $x^{\prime }=f(t,x)$。证明完成。

条件职责表。

• 连续性 + 紧圆柱：给出有限速度 $M$ 与统一连续模量 $\omega$。
• 有限维空间：使有界的路径值拥有收敛子列；在一般无限维 Banach 空间里，仅有界不足以复制这一步。
• 共同时间区间：保证抽取的是同一函数空间中的对象。
• 积分残差：将离散构造与连续方程连接起来。
• Lipschitz 条件：本证明没有用；它属于一种更强的唯一性与稳定性机制。

逻辑谱系。 切线近似 → Euler 折线 → 有界速度给出共同模量 → Ascoli 回收路径 → 非线性积分关系闭合。这是方法依赖链，不将今日证明冒称为 Peano 原文的历史复原。

1.5 Graduate extension：紧的是解集合，不只是某个子列

令 $\mathcal{S}$ 为上述圆柱内、同一初值和同一时间区间的全部解，视为 $C([0,T],{\mathbb{R}}^d)$ 的子集。存在定理说明 $\mathcal{S}\ne \varnothing$。

每个解都满足 $|x(t)-x_0|\le MT$ 和共同 $M$-Lipschitz 界，所以 $\mathcal{S}$ 相对紧致。若 $x_j\in \mathcal{S}$ 一致收敛到 $x$，则前一节的传极限论证（现在残差恒为零）说明 $x\in \mathcal{S}$。故 $\mathcal{S}$ 闭，从而非空且紧致。

但紧集可以含有无穷多个点。要把 $\mathcal{S}$ 压成一个点，必须另有唯一性论证。反之，即使没有定量误差率，若已经知道唯一性，紧致性也可能足够升级整个逼近序列的收敛——这留到第 5 节。

2. 固定模板习题 (Template Exercise)

题目

设 $u:[0,T]\to [0,\mathrm{\infty })$ 连续，$A,L\ge 0$，且

$$\mathrm{\forall }t\in [0,T],u(t)\le A+L{\int }_0^{t}u(s)ds.$$

1. 证明 $u(t)\le A{e}^{Lt}$，包括 $A=0$ 的情形。
2. 设 $x,y$ 是同一方程 $z^{\prime }=f(t,z)$ 在 $[0,T]$ 上的两个解，且在两条路径所处的共同空间区域 $D$ 上

$$\mathrm{\exists }L\ge 0\mathrm{\forall }t\in [0,T]\mathrm{\forall }p,q\in D,|f(t,p)-f(t,q)|\le L|p-q|.$$

证明 $|x(t)-y(t)|\le |x(0)-y(0)|e^{Lt}$，并说明相同初值时的结论。

模板识别

右侧出现“常数 + 未知量的累积积分”，这是 Gronwall 不等式 (Gronwall inequality) 的信号。不要直接对 $u$ 求导：题目只给了连续性。需要先构造一个可微的上包络。

分级提示

1. 将不等式右侧单独命名为 $v(t)$，比较 $u,v,v^{\prime }$。
2. 寻找乘在 $v$ 前的指数因子，使乘积的导数有确定符号。
3. 第二问先写两条路径的积分方程再相减；避免对距离函数 $|x-y|$ 求导，从而不用处理零点的可微性。

3. 大家之言 (Mathematician in Their Own Words)

语境。 William P. Thurston 在第一人称反思文章 On Proof and Progress in Mathematics（Bulletin of the AMS, 30(2), April 1994）第 2 节讨论人如何理解数学。他以导数为例，并列符号运算、几何切线、运动速度、局部线性近似等认知方式；随后讨论“过程与时间”。[2, pp. 163–165]

“Another use of this facility is in remembering proofs: people often remember a proof as a process consisting of several steps.”

中译。 “这种能力的另一种用途在于记忆证明：人们常把一个证明记作由若干步骤组成的过程。”

转述（paraphrase）。 Thurston 认为人的理解并非只沿一条轨道运作；语言、空间感觉、逻辑推理和过程感等能力相对独立，又在较高层次互相协作。他也回忆自己如何分别消化导数的不同理解，再将它们调和起来。

本文评论。 今天的证明恰好要切换表征：折线运动帮助我们发现速度界；函数空间语言负责抽取；积分恒等式负责确认方程；最后才恢复导数。若死守“微分方程一定要逐点处理导数”这一表征，节点不可微看似是障碍；换到积分语言，它只是一个已被吸收的离散细节。

这里的“过程”不应变成四字口诀。真正可迁移的是每一步输出什么：共同界输出预紧性，子列输出连续极限，残差与算子连续性输出精确解。 换到别的方程时，必须重新核对这些接口，不能仅凭流程相似就宣布成功。这是本文对 Thurston 方法观的应用，不是他对 Peano 证明的原话。

4. 反例与边界 (Counterexample & Boundary)

考虑一维初值问题

$$x^{\prime }(t)=2\sqrt{|x(t)|},x(0)=0,0\le t\le 1.$$

对每个 $c\in [0,1]$ 定义

$$x_c(t)=\{\begin{array}{ll}0,& 0\le t\le c,\\ (t-c{)}^2,& c<t\le 1.\end{array}$$

这族曲线表示“等待 $c$ 时间后再启动”。逐项核对：

1. 连续向量场。 $f(x)=2\sqrt{|x|}$ 在整条实线上连续，所以局部存在性适用。
2. 拼接处确实可微。 两段在 $t=c$ 取值均为零；左导数为零，右导数 $2(t-c)$ 趋于零。因此 $x_c\in C^1([0,1])$。
3. 方程逐点成立。 $t<c$ 时两边都是零；$t>c$ 时 $2\sqrt{|x_c(t)|}=2(t-c)=x_c^{\prime }(t)$；$t=c$ 时仍都为零。
4. 初值相同而解不同。 全部 $x_c(0)=0$。若 $c_1<c_2$，取 $t\in (c_1,c_2)$，则 $x_{c_1}(t)>0=x_{c_2}(t)$。在任意正长度初始区间内，零解与 $t^2$ 已足以否定唯一性。
5. 空间 Lipschitz 正是在原点失效。 对 $z>0$，

$$\frac{|f(z)-f(0)|}{|z-0|}=\frac{2}{\sqrt{z}}⟶\mathrm{\infty }.$$

连续性不能提供习题所需的有限常数 $L$。

更细的边界：算法会选择，却未必穷尽。 从初始值零出发的标准显式 Euler 法，每一步计算的速度都为零。归纳可知每条 Euler 折线恒为零，因而整列一致收敛到零解。其他等待时间解同样精确，却不会由这个特定初始化的 Euler 方案产生。

所以本例并不是“Euler 法必不收敛”；它恰恰收敛，但没有恢复所有解。Peano 证明只承诺至少找到一条路径。

残差也不是相对于指定解的误差。 $x_0(t)=t^2$ 与 $x_1(t)=0$ 的积分残差都恒为零，但它们在 $[0,1]$ 上的距离为 $1$。没有唯一性／稳定性机制，不能从残差小推出接近任意指定解。

最后，若直接分离变量并除以 $\sqrt{x}$，就已经限制在 $x>0$ 的区间，可能遗漏静止段。算出一条公式不等于列出了所有初值解。以上性质均由显式解析验算得到，没有借数值图像代替证明。

5. 今日一问与数学地图 (Question & Map)

今日一问。 保留第 1 节连续性、共同圆柱与 Euler 构造的全部假设，并额外知道这个初值问题在 $[0,T]$ 上只有一个解 $x$；但不提供 Lipschitz 常数或任何收敛速率。是否必有

$$\parallel x_n-x{\parallel }_{\mathrm{\infty }}⟶0$$

对整列成立，而不只是某条子列？你的论证能否直接用于任意共同有界、等度连续且积分残差一致趋于零的近似路径列（初值固定、取值仍在同一圆柱中）？

短提示。 如果整列不收敛，挑出始终与 $x$ 保持某个固定距离的坏子列，再问紧性和极限方程分别会对它做什么。此处不展开完整反证。

数学地图。

$$\text{有限维紧性与共同模量}⟶\text{路径族预紧}⟶\text{残差消失与闭合}⟶\text{精确解集合}.$$

• 邻接一：Gronwall 把 Lipschitz 空间控制转成唯一性和初值稳定性；这是另一种信息，不是 Ascoli 的附赠品。
• 邻接二：非线性偏微分方程也常用“先验估计—抽取—传极限”，但弱收敛下的非线性项未必闭合，须另寻结构。
• 下一日：从确定性路径集合转到路径空间上的概率律；不是让每条随机路径共享同一个确定速度界，而是用高概率的模量控制构造承载大部分概率质量的紧集。

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：积分上包络 → 微分不等式 → 指数积分因子 → 稳定性。

令

$$v(t)=A+L{\int }_0^{t}u(s)ds.$$

由 $u$ 连续，$v\in C^1$，且 $v(0)=A$。题设与非负性给出 $0\le u(t)\le v(t)$，因而

$$v^{\prime }(t)=Lu(t)\le Lv(t).$$

所以

$$\frac{d}{dt}(e^{-Lt}v(t))=e^{-Lt}(v^{\prime }(t)-Lv(t))\le 0.$$

积分或单调性得 $e^{-Lt}v(t)\le v(0)=A$，故

$$0\le u(t)\le v(t)\le A{e}^{Lt}.$$

没有除以 $A$ 或 $v$，所以 $A=0$ 时同样成立，并立即得到 $u\equiv 0$；$L=0$ 也已包含在证明中。

第二问，两条解的积分方程相减，再用三角不等式与空间 Lipschitz 界：

$$\begin{array}{rl}|x(t)-y(t)|& \le |x(0)-y(0)|+{\int }_0^t|f(s,x(s))-f(s,y(s))|ds\\ & \le |x(0)-y(0)|+L{\int }_0^t|x(s)-y(s)|ds.\end{array}$$

应用第一问，取连续非负函数 $u(t)=|x(t)-y(t)|$、$A=|x(0)-y(0)|$，得到

$$|x(t)-y(t)|\le |x(0)-y(0)|e^{Lt}.$$

特别地，初值相同则 $x=y$。这同时说明固定时间窗内的初值稳定性；但它只比较已存在且留在共同假设区域内的解，不凭空保证全局存在。

资料与来源 (Sources)

1. L2／作者授权教材原文。 Gerald Teschl, Ordinary Differential Equations and Dynamical Systems, 作者网站提供的 AMS 授权 preliminary version。§2.7 “Euler’s method and the Peano theorem”，印刷页 54–58；Theorems 2.18–2.19 与式 (2.73)–(2.79) 核对紧性、积分残差及 Peano 结论。本文给出自足的保守时间区间版本；未将在线版本误标成某个未经核对的版次。 https://www.mat.univie.ac.at/~gerald/ftp/book-ode/ode.pdf
2. L2／第一人称方法论原文。 William P. Thurston, “On Proof and Progress in Mathematics,” Bulletin (New Series) of the American Mathematical Society, Volume 30, Number 2, April 1994。第 2 节，pp. 163–165；引句取自 p. 165 的 “Process and time” 段。本期只采用认知与方法反思，不把文中当年的几何化猜想状态当作今日状态。 https://www.ams.org/journals/bull/1994-30-02/S0273-0979-1994-00502-6/S0273-0979-1994-00502-6.pdf
3. L1／明确接续的本刊档案。 2026-10-08，有限采样何时控制整条曲线：Arzelà–Ascoli 定理与共同连续模量。本期使用其函数族判据，新增方程闭合而非重复判据证明。 本地路径：/opt/data/output/daily-mathematics-journal/2026/10/2026-10-08.md。

核验说明。 来源核验截至 2026-10-09（Asia/Shanghai）。当日 RSS 发现上下文及同日刷新回执成功，来源平衡投影覆盖 5 个来源、8 条线索；本期按质量选择既有教材和第一人称原文，不将发现时间当发表时间，不作短期新闻结论。定理、反例与习题采用解析证明；没有声称执行数值实验。