Burgers 方程

Burgers 方程 ${\partial }_{t}u+u{\partial }_{x}u=\nu {\partial }_x^{2}u$ 是含对流非线性与粘性耗散的最简偏微分方程——“一维无穷小 Navier-Stokes”（Johannes Burgers，1948 年提出作为湍流模型）。它足够简单到可以线性化求解，又足够复杂到会产生激波，因此成为非线性 PDE 数值方法与量子算法共同的实验场。

两种形式与等价性

非守恒形式：

$${\partial }_{t}u+u{\partial }_{x}u=\nu {\partial }_x^{2}u;$$

守恒形式（通量 $f(u)=u^2/2$）：

$${\partial }_{t}u+{\partial }_x\left(\frac{u^2}{2}\right)=\nu {\partial }_x^{2}u.$$

光滑解上两者恒等（$u{\partial }_{x}u={\partial }_x(u^2/2)$）；间断解上只有守恒形式正确——它保证弱解满足守恒律，激波速度由 Rankine-Hugoniot 条件给出。这是有限体积法全部哲学的微型版（见 finite-volume-method）。

激波形成：特征线相交

无粘极限（$\nu =0$）是纯对流，特征线 $x(t)$ 满足

$$\frac{\mathrm{d}x}{\mathrm{d}t}=u(x,t)\text{且}\frac{\mathrm{d}u}{\mathrm{d}t}=0⟹x(t)=x_0+u_0(x_0)t,$$

特征线是直线、斜率由初值决定。初始速度的递减段（${\partial }_x{u}_0<0$）使快特征线追上慢特征线，相交时刻

$$t^{\ast }=-\frac{1}{{\min }_x{\partial }_x{u}_0},$$

之后解变为多值、物理上坍缩为激波间断，以 Rankine-Hugoniot 速度

$$s=\frac{f(u_L)-f(u_R)}{u_L-u_R}=\frac{u_L+u_R}{2}$$

传播。粘性 $\nu >0$ 时没有真正间断，而是形成宽度 $O(\nu )$ 的陡峭过渡层——非线性变陡与耗散涂抹的平衡。这也是”湍流候选模型”失败的原因：一维 Burgers 无涡 stretching，级串与三维湍流本质不同（见 kolmogorov-cascade）。

Cole-Hopf 变换：非线性 → 线性

1950 年代初 Cole 与 Hopf 独立发现替换

$$u=-2\nu \frac{{\partial }_x\varphi }{\varphi }⟺\varphi =\exp \left[-\frac{1}{2\nu }{\int }^{x}u\mathrm{d}{x}^{\prime }\right],$$

把 Burgers 方程化为热方程 ${\partial }_t\varphi =\nu {\partial }_x^2\varphi$。验证骨架：代入 $u{\partial }_{x}u$ 与 ${\partial }_x^{2}u$ 的组合后，非线性项 $u{u}_x$ 恰好与 $2{\nu }^2({\varphi }_x/\varphi {)}^3$ 型三阶项相消，剩下 $\varphi$ 的线性扩散。初始条件经指数变换后用热核卷积即得精确解——激波是热方程解的陡峭前沿。

这个”可线性化的非线性方程”在量子计算里有两个化身：其一，提示非线性变换 + 线性求解的算法结构；其二，Uchida 等的方案不做全场重构，直接在 Cole-Hopf 变换后的线性结构上提取 $⟨u⟩$、$⟨u^2⟩$ 等统计量，绕过读出瓶颈Uchida et al. 2024 (arXiv)。

量子算法的实验场

Burgers 是量子非线性 PDE 论文出现频率最高的对象：

• 量子格子气：Yepez 2002 年用 type-II 量子格子气解一维 Burgers，是量子流体模拟最早的显式线路方案之一Yepez 2002 (arXiv)（见 quantum-lattice-gas）；
• Carleman 线性化：Liu 等在 16 个格点、4000 个时间步、4 阶截断下用 Carleman 嵌入解 Burgers（至 $Re=40$），给出对数级格点标度的复杂度证明Liu et al. 2021 (PNAS)（见 carleman-linearization）；
• 变分方法：Lubasch 等用变分量子算法解 Burgers 与 Kuramoto-Sivashinsky 型问题Lubasch et al. 2020 (PRA)（见 variational-pde-solver）。

各家方案的完整对照见 quantum-burgers。

延伸阅读

• advection-diffusion-equation
• navier-stokes
• quantum-burgers
• carleman-linearization
• variational-pde-solver