<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>博客 on soundadam.com</title><link>https://soundadam.com/zh/blog/</link><description>Recent content in 博客 on soundadam.com</description><generator>Hugo</generator><language>zh-CN</language><lastBuildDate>Tue, 13 Oct 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://soundadam.com/zh/blog/index.xml" rel="self" type="application/rss+xml"/><item><title>什么样的数值结果值得相信：以 Lorenz 系统为例</title><link>https://soundadam.com/zh/blog/lorenz63/</link><pubDate>Tue, 13 Oct 2026 00:00:00 +0000</pubDate><guid>https://soundadam.com/zh/blog/lorenz63/</guid><description>&lt;p&gt;一份计算物理课程汇报，题目是《从对流方程到可信的数值解》。幻灯片在线放映：&#10;&lt;a href="https://soundadam.github.io/lorenz63/"&gt;soundadam.github.io/lorenz63&lt;/a&gt;，方向键翻页，按 N 打开讲稿。&lt;/p&gt;&#10;&lt;h2 id="一个悖论"&gt;一个悖论&lt;/h2&gt;&#10;&lt;p&gt;用 &lt;code&gt;scipy.solve_ivp&lt;/code&gt; 的 DOP853 积分 Lorenz 方程（σ=10, ρ=28, β=8/3），同一个初值，&#10;一次 &lt;code&gt;rtol=1e-6&lt;/code&gt;，一次 &lt;code&gt;rtol=1e-12&lt;/code&gt;。前十个时间单位两条轨道贴得很好，然后各自脱钩，&#10;差到吸引子的尺度。&lt;/p&gt;&#10;&lt;p&gt;&lt;strong&gt;哪一条是对的？&lt;/strong&gt; 直觉说容差紧的那条。这在 t&amp;lt;10 时正确，在 t&amp;gt;40 时没有意义。&lt;/p&gt;&#10;&lt;h2 id="精度只换来对数的时间"&gt;精度只换来对数的时间&lt;/h2&gt;&#10;&lt;p&gt;把容差从 1e-4 扫到 1e-12，记下与参考解（rtol=1e-13）首次分离超过 1 的时刻：&lt;/p&gt;&#10;&lt;table&gt;&#10;&#9;&lt;thead&gt;&#10;&#9;&#9;&#9;&lt;tr&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;th&gt;rtol&lt;/th&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;th&gt;分离时刻&lt;/th&gt;&#10;&#9;&#9;&#9;&lt;/tr&gt;&#10;&#9;&lt;/thead&gt;&#10;&#9;&lt;tbody&gt;&#10;&#9;&#9;&#9;&lt;tr&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;1e-4&lt;/td&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;5.69&lt;/td&gt;&#10;&#9;&#9;&#9;&lt;/tr&gt;&#10;&#9;&#9;&#9;&lt;tr&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;1e-6&lt;/td&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;10.62&lt;/td&gt;&#10;&#9;&#9;&#9;&lt;/tr&gt;&#10;&#9;&#9;&#9;&lt;tr&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;1e-8&lt;/td&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;16.11&lt;/td&gt;&#10;&#9;&#9;&#9;&lt;/tr&gt;&#10;&#9;&#9;&#9;&lt;tr&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;1e-10&lt;/td&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;20.71&lt;/td&gt;&#10;&#9;&#9;&#9;&lt;/tr&gt;&#10;&#9;&#9;&#9;&lt;tr&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;1e-12&lt;/td&gt;&#10;&#9;&#9;&#9;&#9;&#9;&lt;td&gt;26.88&lt;/td&gt;&#10;&#9;&#9;&#9;&lt;/tr&gt;&#10;&#9;&lt;/tbody&gt;&#10;&lt;/table&gt;&#10;&lt;p&gt;分离时刻对 ln(1/rtol) 是一条直线，斜率是最大 Lyapunov 指数的倒数（λ₁ ≈ 0.904）。&#10;折成每一位：&lt;strong&gt;多一位精度，只多 ln 10 / λ₁ ≈ 2.55 个时间单位。&lt;/strong&gt;&#10;双精度的地板在 10⁻¹⁶，所以单条轨道的预报极限大约是 41，再怎么收紧容差也过不去。&lt;/p&gt;&#10;&lt;h2 id="但统计量不动"&gt;但统计量不动&lt;/h2&gt;&#10;&lt;p&gt;同样三次计算（rtol 取 1e-6、1e-9、1e-13），单条轨道在 t=10.5 和 18.3 就已经报废；&#10;可它们的 Lorenz 映射（z 的相邻两个局部极大）重合到线宽以内，厚度是 z 值域的 0.0086%；&#10;z 的不变密度之间最大总变差 1%，主要来自有限采样。Lyapunov 谱同样对容差不敏感，&#10;三个指数之和与相空间散度 −(σ+1+β) 的偏差在 10⁻⁹ 量级。&lt;/p&gt;</description></item></channel></rss>