几个月前，陶哲轩在一次访谈里提到数学发现与验证的关系：想法可以很多，但必须用严密的验证来支撑。这个观点在流体力学与线性代数交会的一个经典问题上尤为贴切——直觉上“几乎肯定正确”的结论，和真正被证明为正确之间，往往有很大差距。

1883年，雷诺在实验室里把染料注入玻璃管的入水口：在低流速下，染料沿直线穿过；当他逐渐增加流速，到了某个临界点，染料的直线突然瓦解，演化为紊乱的团块——层流转为湍流。按线性稳定性分析，圆管中的泊肃叶剪切流在任意雷诺数下都是线性稳定的：线性算子的所有特征值实部均为负，按谱定理系统不应发生不稳定。但实验显然与这个“特征值判断”相悖，差异的根源在于算子的非正规性（non-normality）。

当一个算子是正规矩阵时，特征向量两两正交，特征值能完整描述系统的行为；但剪切流的线性化算子通常高度非正规，特征向量严重倾斜甚至近似平行。在这种情况下，即便全部特征值指向衰减，不同模态之间还是可以在短时间内发生相长干涉，把扰动幅度显著放大，然后才按特征值预测的指数律衰减回去——这就是瞬态增长（Transient Growth）。数值计算显示，圆管流的最大瞬态放大因子会随雷诺数增长，如果初始扰动恰落在敏感的结构上，这样的放大足以把系统推入非线性作用显著的范围，进而触发持久的湍流。由此可见，特征值只描述渐近行为，而对有限时间内的瞬态放大“失明”。

要在有限时间尺度上控制或估计非正规矩阵的行为，需要比特征值更精细的工具。一个天然的候选就是数值域（numerical range）。给定任意 n × n 复矩阵 A，数值域 W(A) 定义为所有单位向量 x 下的 Rayleigh 商集合：W(A) = { x* A x : ||x|| = 1 }。数值域有两条重要性质：一是由 Toeplitz–Hausdorff 定理保证，W(A) 在复平面上总是一个凸集；二是 A 的所有特征值都位于 W(A) 的内部或边界上，所以数值域通常比谱（特征值集合）更大，更能反映非正规算子的行为。

数值域与动力学的联系很直接：对线性系统 x' = A x，取单位态 x，范数平方瞬时变化率与 Re(x* A x) 有关，W(A) 的实部边界为归一化瞬时增长率提供上界。因此，如果能把矩阵函数 ||f(A)|| 与 f 在 W(A) 上的取值联系起来，就能得到对有限时间行为的有力约束。

2004年，数学家 Michel Crouzeix 提出一个简洁而有力的猜想：对于任意 n × n 复矩阵 A（不受正规性限制）和任意在包含 W(A) 的邻域上全纯的函数 f，都有 ||f(A)|| ≤ 2 · sup_{z ∈ W(A)} |f(z)|。 换言之，只要知道 f 在数值域上的最大模长，把它乘以常数 2 就能控制矩阵函数的算子范数。更关键的是，这个常数 2 是不可改进的——存在简单例子把下界锁死。

为了说明 2 的不可降性，考虑最简单的非正规矩阵：2×2 的幂零 Jordan 块 A = [[0,1],[0,0]]。它的特征多项式为 λ^2，两个特征值都等于 0，看谱的话这矩阵似乎“什么都不做”。但算子范数却不为零：对任意向量 (x1,x2)，A(x1,x2) = (x2,0)，所以 ||A|| = 1（取单位向量 (0,1) 可达等号）。再看数值域，单位向量 x=(r e^{iα}, s e^{iβ}) 满足 r^2+s^2=1 时，x* A x = conj(x1) x2 的模为 r s，最大值在 r=s=1/√2 处取得，为 1/2。因此 W(A) 在复平面上正好是以原点为圆心、半径 1/2 的闭圆盘。取 f(z)=z，左边 ||f(A)|| = ||A|| = 1，右边 2·sup_{W(A)} |z| = 2·(1/2) = 1，等号成立，说明常数不能小于 2。

Crouzeix 猜想如果成立，就为处理非正规算子、估计瞬态放大以及研究矩阵函数提供了一个统一且绝对的界限：仅凭数值域上函数的最大值就可以控制矩阵上的相应算子范数，而不必依赖复杂的谱分解或特征模态。然而“非常可能正确”与“已经证明”之间仍然有差距，正如历史上的许多猜想所示，数学上的严格验证始终不可或缺。