The Dean-Kawasaki equation - one of the most fundamental SPDEs of fluctuating hydrodynamics - has been proposed as a model for density fluctuations in weakly interacting particle systems. In its original form it is highly singular and fails to be renormalizable even by approaches such as regularity structures and paracontrolled distrubutions, hindering mathematical approaches to its rigorous justification. It has been understood recently that it is natural to introduce a suitable regularization, e.g., by applying a formal spatial discretization or by truncating high-frequency noise. In the present work, we prove that a regularization in form of a formal discretization of the Dean-Kawasaki equation indeed accurately describes density fluctuations in systems of weakly interacting diffusing particles: We show that in suitable weak metrics, the law of fluctuations as predicted by the discretized Dean--Kawasaki SPDE approximates the law of fluctuations of the original particle system, up to an error that is of arbitrarily high order in the inverse particle number and a discretization error. In particular, the Dean-Kawasaki equation provides a means for efficient and accurate simulations of density fluctuations in weakly interacting particle systems.
翻译:Dian-Kawasaki 方程式是变化不定的流体动力学的最根本的SPDE之一,被提议作为低相互作用粒子系统中密度波动的模型。最初的形态是高度单数的,甚至无法通过常规结构和分层控制的振荡器等方法进行再适应,从而阻碍对其严格理由采取数学方法。最近人们的理解是,采用适当的正规化是自然的,例如,采用正式的空间离散法或抽调高频噪音。在目前的工作中,我们证明,Dean-Kawasaki 方程式以正式离散法形式进行正规化确实准确地描述了低相互作用粒子系统中的密度波动:我们表明,在适当的薄弱度结构中,Dean-Kawasaki SPDE预测的波动定律接近原始粒子系统波动的定律,直到一个错误在反粒子数中具有任意高的顺序和离散误差。特别是,Dean-Kawasaki 方程式为弱相互作用粒子系统中密度波动的高效和准确的模拟提供了手段。</s>