We determine the full statistics of nonstationary heat transfer in the Kipnis-Marchioro-Presutti lattice gas model at long times by uncovering and exploiting complete integrability of the underlying equations of the macroscopic fluctuation theory. These equations are closely related to the derivative nonlinear Schrödinger equation (DNLS), and we solve them by the Zakharov-Shabat inverse scattering method (ISM) adapted by Kaup and Newell (1978) for the DNLS. We obtain explicit results for the exact large deviation function of the transferred heat for an initially localized heat pulse, where we uncover a nontrivial symmetry relation.
论文ID : 2112.02474标题 : Inverse Scattering Method Solves the Problem of Full Statistics of Nonstationary Heat Transfer in the Kipnis-Marchioro-Presutti Model作者 : Eldad Bettelheim (Hebrew University), Naftali R. Smith (ENS Paris & Ben-Gurion University), Baruch Meerson (Hebrew University)分类 : cond-mat.stat-mech, math.PR, nlin.SI提交时间 : 2021年12月论文链接 : https://arxiv.org/abs/2112.02474 本文通过发现并利用宏观涨落理论(MFT)基础方程的完全可积性,确定了Kipnis-Marchioro-Presutti(KMP)格子气体模型在长时间非平稳热传导的完整统计性质。这些方程与导数非线性薛定谔方程(DNLS)密切相关,作者采用Kaup和Newell(1978)为DNLS适配的Zakharov-Shabat逆散射方法(ISM)求解。对于初始局域化热脉冲,获得了传输热量精确大偏差函数的显式结果,并发现了一个非平凡的对称关系。
本研究要解决的核心问题是确定非平衡态宏观系统中物质或能量流的完整统计性质,特别是非平稳涨落统计 问题。这在统计物理学中是一个基础且困难的问题。
理论意义 : 非平衡态统计物理的基本问题,涉及大偏差理论和涨落定理实用价值 : 热传导、扩散过程在材料科学、生物物理等领域有广泛应用数学挑战 : 非平稳过程的精确求解极其困难,现有方法主要局限于渐近分析稳态结果 : 对于非平衡稳态,已有重要进展,但非平稳涨落分析仍然困难渐近分析 : 之前的工作主要获得小偏差和大偏差的渐近行为,缺乏精确解数值限制 : 蒙特卡洛模拟在大偏差区域计算成本禁止性地高KMP模型作为热传导的范式模型,是第一个被严格证明在粗粒化水平上满足傅里叶热扩散定律的模型。本文旨在获得该模型非平稳热传输统计的首个精确解析结果 。
发现完全可积性 : 首次揭示了KMP模型宏观涨落理论方程与导数非线性薛定谔方程(DNLS)的关系精确解析求解 : 利用逆散射方法获得了淬火初始条件下格子气体相互作用粒子流统计的首个精确非稳态大偏差结果非平凡对称性 : 发现并证明了时间反演镜像对称性关系:v ( x , t ) = − λ u ( − x , 1 − t ) v(x,t) = -λu(-x,1-t) v ( x , t ) = − λ u ( − x , 1 − t ) 完整率函数 : 获得了传输热量大偏差函数的显式参数表示渐近行为 : 导出了小偏差(j → 0 j \to 0 j → 0 )和大偏差(∣ j ∣ → 1 / 2 |j| \to 1/2 ∣ j ∣ → 1/2 )的精确渐近表达式输入 : 初始条件为局域化热脉冲 u ( x , t = 0 ) = W δ ( x ) u(x,t=0) = W\delta(x) u ( x , t = 0 ) = W δ ( x ) 输出 : 在时间 T T T 时右半轴 x > 0 x > 0 x > 0 上观测到的热量超额 J = ∫ 0 ∞ u ( x , T ) d x − W / 2 J = \int_0^∞ u(x,T)dx - W/2 J = ∫ 0 ∞ u ( x , T ) d x − W /2 的概率分布
目标 : 求解大偏差率函数 s ( j ) s(j) s ( j ) ,其中 ln P ( J , T , W ) ≃ − T s ( J / W ) \ln P(J,T,W) \simeq -\sqrt{T}s(J/W) ln P ( J , T , W ) ≃ − T s ( J / W )
从随机Langevin方程出发:
∂ t u = ∂ x ( ∂ x u + 2 u η ) \partial_t u = \partial_x(\partial_x u + \sqrt{2u}\eta) ∂ t u = ∂ x ( ∂ x u + 2 u η )
通过路径积分的鞍点近似,得到MFT方程组:
∂ t u = ∂ x ( ∂ x u + 2 u 2 v ) \partial_t u = \partial_x(\partial_x u + 2u^2 v) ∂ t u = ∂ x ( ∂ x u + 2 u 2 v ) ∂ t v = ∂ x ( − ∂ x v + 2 u v 2 ) \partial_t v = \partial_x(-\partial_x v + 2uv^2) ∂ t v = ∂ x ( − ∂ x v + 2 u v 2 )
初始条件 : u ( x , 0 ) = δ ( x ) u(x,0) = \delta(x) u ( x , 0 ) = δ ( x ) 终端条件 : v ( x , 1 ) = − λ δ ( x ) v(x,1) = -λ\delta(x) v ( x , 1 ) = − λ δ ( x ) 约束条件 : ∫ 0 ∞ u ( x , 1 ) d x − 1 / 2 = j \int_0^∞ u(x,1)dx - 1/2 = j ∫ 0 ∞ u ( x , 1 ) d x − 1/2 = j 关键发现是MFT方程组等价于虚时虚空间的DNLS方程。构造Lax对:
∂ x ψ = U ( x , t , k ) ψ , ∂ t ψ = V ( x , t , k ) ψ \partial_x \psi = U(x,t,k)\psi, \quad \partial_t \psi = V(x,t,k)\psi ∂ x ψ = U ( x , t , k ) ψ , ∂ t ψ = V ( x , t , k ) ψ
其中矩阵 U U U 和 V V V 的相容性条件 ∂ t U − ∂ x V + [ U , V ] = 0 \partial_t U - \partial_x V + [U,V] = 0 ∂ t U − ∂ x V + [ U , V ] = 0 等价于MFT方程。
定义全空间传播算子:
G ( t , k ) = lim x → ∞ y → − ∞ ( e i k x / 2 0 0 e − i k x / 2 ) T ( x , y , t , k ) ( e − i k y / 2 0 0 e i k y / 2 ) G(t,k) = \lim_{\substack{x \to \infty \\ y \to -\infty}} \begin{pmatrix} e^{ikx/2} & 0 \\ 0 & e^{-ikx/2} \end{pmatrix} T(x,y,t,k) \begin{pmatrix} e^{-iky/2} & 0 \\ 0 & e^{iky/2} \end{pmatrix} G ( t , k ) = lim x → ∞ y → − ∞ ( e ik x /2 0 0 e − ik x /2 ) T ( x , y , t , k ) ( e − ik y /2 0 0 e ik y /2 )
散射振幅的时间演化具有简单形式:
G ( t , k ) = ( a ( 0 , k ) b ~ ( 0 , k ) e k 2 t b ( 0 , k ) e − k 2 t a ~ ( 0 , k ) ) G(t,k) = \begin{pmatrix} a(0,k) & \tilde{b}(0,k)e^{k^2 t} \\ b(0,k)e^{-k^2 t} & \tilde{a}(0,k) \end{pmatrix} G ( t , k ) = ( a ( 0 , k ) b ( 0 , k ) e − k 2 t b ~ ( 0 , k ) e k 2 t a ~ ( 0 , k ) )
通过计算 t = 0 t=0 t = 0 和 t = 1 t=1 t = 1 时的 G ( t , k ) G(t,k) G ( t , k ) ,得到关键方程:
i k [ Q + ( k ) + Q − ( k ) ] − i k Q − ( k ) × i k Q + ( k ) = − λ i k e − k 2 ik[Q_+(k) + Q_-(k)] - ikQ_-(k) \times ikQ_+(k) = -λike^{-k^2} ik [ Q + ( k ) + Q − ( k )] − ik Q − ( k ) × ik Q + ( k ) = − λik e − k 2
其中 Q ± ( k ) Q_±(k) Q ± ( k ) 是 v ( z , 0 ) v(z,0) v ( z , 0 ) 在 z ≷ 0 z \gtrless 0 z ≷ 0 区域的傅里叶变换。
解得:
i k Q ± ( k ) = 1 − ( 1 ± v ± ) e Φ ± ( k ) ikQ_±(k) = 1 - (1 \pm v_±)e^{\Phi_±(k)} ik Q ± ( k ) = 1 − ( 1 ± v ± ) e Φ ± ( k )
其中:
Φ ± ( k ) = ± ∫ − ∞ ∞ ln ( 1 + i λ k ′ e − k ′ 2 ) k ′ − k ∓ i 0 + d k ′ 2 π i \Phi_±(k) = ± \int_{-\infty}^∞ \frac{\ln(1 + iλk'e^{-k'^2})}{k' - k \mp i0^+} \frac{dk'}{2πi} Φ ± ( k ) = ± ∫ − ∞ ∞ k ′ − k ∓ i 0 + l n ( 1 + iλ k ′ e − k ′2 ) 2 πi d k ′
热量超额与拉格朗日乘子的关系:
j ( λ ) = 1 4 π λ ∫ − ∞ ∞ ln ( 1 + λ 2 k 2 e − 2 k 2 ) k 2 d k j(λ) = \frac{1}{4πλ} \int_{-\infty}^∞ \frac{\ln(1 + λ^2k^2e^{-2k^2})}{k^2} dk j ( λ ) = 4 πλ 1 ∫ − ∞ ∞ k 2 l n ( 1 + λ 2 k 2 e − 2 k 2 ) d k
率函数:
s ( λ ) = Q + ( 0 ) + ∫ − ∞ ∞ Li 2 ( − λ 2 k 2 e − 2 k 2 ) 8 π k 2 d k + λ 2 s(λ) = Q_+(0) + \int_{-\infty}^∞ \frac{\text{Li}_2(-λ^2k^2e^{-2k^2})}{8πk^2} dk + \frac{λ}{2} s ( λ ) = Q + ( 0 ) + ∫ − ∞ ∞ 8 π k 2 Li 2 ( − λ 2 k 2 e − 2 k 2 ) d k + 2 λ
其中 Li 2 ( z ) \text{Li}_2(z) Li 2 ( z ) 是双对数函数。
s ( j → 0 ) ≃ 8 π j 2 s(j \to 0) \simeq \sqrt{8π}j^2 s ( j → 0 ) ≃ 8 π j 2
这给出正态分布的涨落,方差按 T − 1 / 2 T^{-1/2} T − 1/2 标度。
s ( ∣ j ∣ → 1 / 2 ) ≃ 4 3 π ln 3 / 2 ( 2 π ∆ ln 2 π ∆ ln 2 π ∆ ⋯ ) s(|j| \to 1/2) \simeq \frac{4}{3π} \ln^{3/2}\left(\frac{2}{π∆}\sqrt{\ln\frac{2}{π∆}\sqrt{\ln\frac{2}{π∆}\cdots}}\right) s ( ∣ j ∣ → 1/2 ) ≃ 3 π 4 ln 3/2 ( π ∆ 2 ln π ∆ 2 ln π ∆ 2 ⋯ )
其中 ∆ = 1 / 2 − ∣ j ∣ ≪ 1 ∆ = 1/2 - |j| \ll 1 ∆ = 1/2 − ∣ j ∣ ≪ 1 ,展现出嵌套对数的奇异行为。
发现了非平凡的时间反演对称性:
v ( x , t ) = − λ u ( − x , 1 − t ) v(x,t) = -λu(-x,1-t) v ( x , t ) = − λ u ( − x , 1 − t )
这个关系在数学上简化了边界值问题的求解。
进行了 10 6 10^6 1 0 6 次直接蒙特卡洛模拟验证理论结果 参数设置:T = 10 2 T = 10^2 T = 1 0 2 ,格点数 2 L + 1 = 51 2L+1 = 51 2 L + 1 = 51 理论预测与数值结果高度吻合 使用Chernykh-Stepanov迭代算法数值求解MFT方程,验证了解析结果的正确性。
KMP模型 : Kipnis, Marchioro, Presutti (1982) 提出,首个被严格证明满足傅里叶定律的模型宏观涨落理论 : Bertini等人发展的弱噪声理论框架逆散射方法 : Zakharov-Shabat方法,Kaup-Newell对DNLS的适配稳态统计 : Derrida等人在稳态大偏差方面的重要工作阶跃初始条件 : 之前的研究主要关注阶跃函数初始条件KPZ方程 : 最近在界面生长统计方面的类似突破首个精确解 : 淬火初始条件下的首个完整解析结果方法简洁 : 相比Fredholm行列式方法更为直接普适性 : 方法可推广到其他可积系统完全求解 : 首次完全求解了KMP模型非平稳热传输的大偏差统计可积结构 : 揭示了宏观涨落理论的深层可积结构精确公式 : 获得了率函数的显式参数表示和渐近行为特定初始条件 : 结果仅适用于δ函数初始条件长时间极限 : 理论在 T ≫ 1 T \gg 1 T ≫ 1 时有效一维系统 : 结果局限于一维格子系统扩展到SSEP : 简单对称排斥过程的类似分析其他初始条件 : 推广到更一般的初始条件高维推广 : 多维系统的可积性研究实验验证 : 在实际物理系统中的验证理论突破 : 在非平衡统计物理领域取得重大理论进展数学严谨 : 逆散射方法的应用严格且创新结果完整 : 从小偏差到大偏差的完整描述验证充分 : 理论、数值和模拟三重验证适用范围 : 仅限于特定模型和初始条件物理直觉 : 某些数学结果的物理解释不够深入计算复杂性 : 虽然精确但计算仍较复杂学术价值 : 为非平衡统计物理提供新的精确求解范例方法论 : 逆散射方法在统计物理中的新应用启发性 : 为其他可积系统的大偏差分析提供思路一维热传导系统的精确分析 可积随机过程的大偏差理论 非平衡态统计物理的理论研究 数学物理中可积系统的应用 本文引用了统计物理、可积系统和大偏差理论的重要文献,包括:
Derrida等人的宏观涨落理论工作 Kaup-Newell的DNLS逆散射方法 Bertini等人的非平衡统计物理理论 最近KPZ方程大偏差分析的相关工作 总结 : 这是一篇在非平衡统计物理领域具有重要理论意义的论文,首次利用可积系统理论精确求解了经典统计模型的非平稳大偏差问题,为该领域提供了新的研究范式和精确结果。