1.3 核心概念对照词典：线性语言对非线性语言

1.3 核心概念对照词典：线性语言对非线性语言

本节摘要：定义先行——本节把全册要用的核心术语整理成一张双栏词典：左栏是线性语境里你已经熟悉的说法，右栏是非线性语境里的对应物与升级版。术语不是新造的，多数只是"换了世界观重说一遍"。读完本节，你应能在后续章节遇到任何概念时迅速定位：它在对照轴的哪一侧，与哪条线性性质交接。

本节是第一章的收口：1.1 讲了对峙的历史，1.2 做了对峙的实验，这里把对峙双方的语言编成词典，供全册随手查。学习建议是把下面的总表先通读一遍，再读重点词条详解；不求一次记住，只求"知道去哪查"。

一张词典式对照表

图：术语对照双栏全景

重点词条详解

平衡点对不动点。 线性语境里"平衡点"几乎总是唯一且全局的——要么一切归于它，要么一切离开它。非线性语境里平衡点可以成群出现：势阱里的双稳态有两处平衡加一处鞍点分界；判定谁稳谁不稳需要第二章的两套判法。词典的第一行就是要在你脑中拆掉"平衡只有一个"的默认设定。

特征值谱对李雅普诺夫指数谱。 线性系统的误差增长率由常值矩阵的特征值给出，处处相同；非线性系统的增长率沿轨道逐点变化，李雅普诺夫指数是对整条轨道的平均。数量级要记牢：洛伦兹系统标准参数下最大指数约 0.906，意味着相邻轨道间隔约每 0.77 个时间单位翻倍——这就是"预测时限"的来源；而逻辑斯蒂映射在 r=4 处的指数恰为 ln2≈0.693，每迭代一步误差翻倍。

共振峰对跳跃与锁频。 线性共振的位置由系统固有频率决定，与激励幅度无关；非线性共振峰随幅度弯折，越过临界幅度出现突跳与迟滞（6.1 节单摆案例会画出来）。强激励下系统还会把自己的节奏"锁"到激励频率的整数分之一上（锁频）。这是词典里工程味道最浓的一行。

一个快速自查实验。 词典好不好用，跑一遍便知：

import numpy as np
from scipy.linalg import expm
from scipy.integrate import solve_ivp

A = np.array([[0.0, 1.0], [-2.0, -0.3]])      # 线性振子：欠阻尼，本征频率约 1.41
x0 = np.array([1.0, 0.0])

# 线性世界：t=3.7 的状态可一步算出，不必从 0 逐步走到 3.7
x_lin = expm(A * 3.7) @ x0

# 非线性世界：换洛伦兹方程，3.7 处的状态只能沿轨道积分得到
def lorenz(_t, s):
    x, y, z = s
    return [10 * (y - x), x * (28 - z) - y, x * y - 8 * z / 3]

sol = solve_ivp(lorenz, [0, 3.7], [1.0, 1.0, 1.0], rtol=1e-10)
print("线性一步到位:", x_lin.round(4))
print("洛伦兹沿轨到达:", sol.y[:, -1].round(4))
​

线性一侧体现"半群性质"：任意时刻独立可达。非线性一侧没有这张"时刻表"，只有"沿途风景"——这正是 1.1 节"解是什么对轨道去哪儿"那句方法论之别在代码里的样子。

问题：非线性系统的"解"没有显式表达式，这门学科还剩下什么可算？

剩下的是结构：轨道的长期归属（吸引子）、归属的分界（吸引域）、结构随参数的改组（分岔）、误差的增长率（李雅普诺夫指数）。这些对象都有严格定义与计算方法，而且比显式表达式更接近工程问题的答案——工程师通常不关心第几秒位移是多少，而关心"系统会不会振荡、会不会翻转、扰动多大会越界"。换个说法：显式解给出的是"无穷多帧画面"，工程问题问的却是"电影的结局有几种"——非线性动力学删掉帧、数结局，因此没有表达式照样把问题答完。

词典的第三栏：每个词条配一个检验动作

词典要好用，每个词条还得配一个"可执行动作"，把概念翻译成操作。叠加原理的检验是加倍输入看响应比（1.2 节的实验）；特征值谱的检验是对平衡点求雅可比；显式解对轨道的检验是"换一个时刻独立计算还是只能重跑"；吸引子的检验是换初值看终点是否汇聚同一处；分岔的检验是缓慢扫参数、盯结构改组的时刻；混沌的检验是双轨间距记账（5.3 节）。这张"词条—动作"对照表建议抄在笔记本第一页：后续各章引入任何新概念时，先问它的检验动作是什么，再谈理解——能动手验证的知识，才在非线性世界里站得住，因为这里的直觉比线性世界更常出错。

本节要点回顾

• 词典用法：遇到新概念先查左栏（它对应哪条线性性质），再看右栏（非线性把它改成了什么），最后看交接点（哪一章展开）。
• 三对核心搭档：特征值谱对李雅普诺夫指数谱、唯一稳态对吸引子谱系、共振峰对跳跃锁频——分别回答误差怎么长、终点有几个、频率怎么变。
• 半群性质之别：线性系统任意时刻可独立计算，非线性系统必须沿轨道走——这是数值方法在第二章起不可替代的根本原因。

词典在手，下一章进入数学框架：把"相空间""流""映射"这些词变成可计算的引擎。