[论文解读] On the derivation of Fourier's law for coupled anharmonic oscillators

Jean Bricmont, A. Kupiainen|ArXiv.org|May 22, 2006

Advanced Thermodynamics and Statistical Mechanics参考文献 29被引用 6

一句话总结

本文针对在边界处具有随机热浴的三维晶格上弱耦合非谐振子系统，首次从第一性原理推导出傅里叶定律。通过截断稳态的霍普夫方程，作者证明了在大N极限下解的存在性与唯一性，该解表现出满足傅里叶定律的局域平衡态，具有非线性温度分布，且热流与温度梯度成正比。

ABSTRACT

We study the Hamiltonian system made of weakly coupled anharmonic oscillators arranged on a three dimensional lattice and subjected to a stochastic forcing mimicking heat baths of temperatures T_1 and T_2 on the hyperplanes at x_1=0 and N. We introduce a truncation of the Hopf equations describing the stationary state of the system which leads to a nonlinear equation for the two-point stationary correlation functions. We prove that these equations have a unique solution which, for N large, is approximately a local equlibrium state satisfying Fourier law that relates the heat current to a local temperature gradient. The temperature exhibits a nonlinear profile.

研究动机与目标

• 从经典多体系统的微观动力学出发，严格推导傅里叶定律。
• 解决非平衡统计力学中弱耦合非谐振子系统稳态存在性与唯一性的开放问题。
• 基于微观可观测量定义宏观温度与热流，并通过局域梯度证明其正比关系。
• 证明当系统尺寸N较大时，稳态近似为与傅里叶定律一致的局域平衡态。

提出的方法

• 建立一个具有哈密顿动力学和边界处随机扰动的三维弱耦合非谐振子晶格模型，以模拟温度为T₁和T₂的热浴。
• 引入稳态霍普夫方程的截断形式，导出关于两体关联函数的封闭非线性方程组。
• 利用泛函分析技术与在合适函数空间S中的有界性估计，证明截断方程解的存在性与唯一性。
• 在大N极限下分析解的性质，证明其收敛至具有满足傅里叶定律的温度分布的局域平衡态。
• 将宏观温度T(x)定义为动能的局域平均，将热流J(x)定义为微观电流的局域平均。
• 利用微扰展开与对称性分析（奇性、周期性）控制关联函数的行为，确保解的收敛性。

实验结果

研究问题

• RQ1 能否在耦合非谐振子的古典多体系统中，从第一性原理推导出傅里叶定律？
• RQ2 在非平衡边界条件（T₁ ≠ T₂）下，此类系统是否存在唯一的稳态？
• RQ3 当系统尺寸N较大时，该稳态是否近似为局域平衡态？
• RQ4 所得温度分布是否表现出与傅里叶定律一致的非线性依赖关系？
• RQ5 在大N极限下，能否证明热流与局域温度梯度成正比？

主要发现

• 在大N极限下，稳态的截断霍普夫方程具有唯一解。
• 该解收敛至局域平衡态，其温度分布为非线性，且热流与局域温度梯度成正比。
• 宏观温度T(x)定义为动能的期望值，热流J(x)定义为微观电流的期望值。
• 系统表现出满足傅里叶定律的非线性温度分布，其热导率k(T)依赖于温度。
• 局域平衡的收敛性以o(1/N)阶误差得到证明，与傅里叶定律的预期标度一致。
• 证明依赖于函数空间S中具有受控衰减与正则性的泛函分析有界性，确保微扰展开的有效性。