[论文解读] Symmetry of stochastic equations

Giuseppe Gaeta|ArXiv.org|Jan 13, 2004

Theoretical and Computational Physics参考文献 25被引用 16

一句话总结

本文通过引入保持时间变量和随机结构的可投影对称性，为伊tô随机微分方程的对称性建立了一个严格的框架。它建立了伊tô方程与其关联的福克-普朗克方程之间对称性的对应关系，并证明了KPZ方程已知的连续与离散对称性在此形式体系中被一致地恢复，验证了该方法在随机系统中的适用性。

ABSTRACT

Symmetry methods are by now recognized as one of the main tools to attack deterministic differential equations (both ODEs and PDEs); the situation is quite different for what concerns stochastic differential equations: here, symmetry considerations are of course quite widely used by theoretical physicists, but a rigorous and general theory comparable to the one developed for deterministic equation is still lacking. In the following I will report on some work I have done on symmetries of stochastic (Ito) equations, and how these compare with the symmetries of the associated diffusion (Fokker-Planck) equations.

研究动机与目标

• 为伊tô随机微分方程建立一个与确定性常微分方程和偏微分方程中成熟理论相媲美的严格、通用的对称性理论。
• 定义并表征“可投影”对称性——即保持时间的特殊角色并在状态空间上纤维化作用的变换——适用于随机系统。
• 阐明伊tô随机方程的对称性与其关联的福克-普朗克（扩散）方程对称性之间的精确关系。
• 验证已知的KPZ方程连续与离散对称性是否能在所提出的对称性框架中被正确识别并恢复。
• 提供一种系统化方法，通过推导并求解对称性生成元的确定方程，以确定随机方程的对称性。

提出的方法

• 本文引入了如下形式的可投影对称性：$ X = \tau(t)\partial_t + \xi^i(x,t)\partial_i + \phi(x,t,u)\partial_u $，确保时间独立于状态变量处理。
• 通过要求对称性生成元作用下随机微分形式的不变性，推导出伊tô方程对称性的确定方程。
• 该方法涉及分析漂移 $ f^i $ 和扩散 $ \sigma^i_k $ 系数在对称性作用下的变换，从而导出对称性分量 $ \tau, \xi^i, \phi $ 的偏微分方程组。
• 对于连续对称性，确定方程从伊tôSDE的不变性出发，涉及李导数和伊tô公式。
• 对于离散对称性，该方法使用线性变换 $ x \to Fx $，$ w \to Rw $，并满足条件 $ F^i_j f^j = f^i(Fx) $ 和 $ F^i_j \sigma^j_p (R^{-1})^p_k = \sigma^i_k $，从而导出矩阵方程。
• 通过证明已知的KPZ方程对称性——时间平移、空间平移、伽利略变换、空间反演以及全局符号翻转——满足所推导的确定方程，验证了该方法的正确性。

实验结果

研究问题

• RQ1 如何为伊tô随机微分方程形式化一个一致且严格的对称性定义，类似于确定性方程的李对称理论？
• RQ2 伊tôSDE的对称性与其关联的福克-普朗克方程对称性之间的确切关系是什么？
• RQ3 已知的KPZ方程连续与离散对称性是否能自然地从所提出的随机方程对称性框架中涌现？
• RQ4 能否系统地推导并求解伊tô方程对称性的确定方程，以识别非平凡的对称性生成元？
• RQ5 所提出的对称性框架是否能够正确识别并分类已知的KPZ方程对称性，包括连续与离散对称性？

主要发现

• 所提出的框架成功识别了KPZ方程的时间平移对称性，对应于 $ \tau = 1 $，$ \xi^i = 0 $，$ \alpha^i = 0 $，和 $ B = 0 $，且满足确定方程。
• 空间平移对称性（$ \tau = 0 $，$ \xi^i = 1 $，$ \alpha^i = 1 $，$ \Lambda = 0 $，$ B = 0 $）被验证满足确定方程，特别是条件 $ \sum_j \Gamma^i_{jk} = 0 $。
• 伽利略变换对称性作为连续对称性被恢复，其参数为 $ \tau = 0 $，$ \xi^i = 1 $，$ \alpha^i = 1 $，且 $ B $ 非零，在给定条件下满足确定方程。
• 离散平移对称性（单格点位移）被证实满足矩阵方程 $ [F,M] = 0 $ 和 $ F^i_m \Gamma^m_{jk} = \Gamma^i_{pq} F^p_j F^q_k $，其中 $ F^i_j = \delta^i_{j+1} $。
• 关于某一位点 $ m $ 的空间反演对称性，其中 $ F^i_k = \delta^{i-m}_{m-k} $，同时满足 $ [F,M] = 0 $ 和 $ \Gamma $ 的二次变换条件，确认其作为对称性的有效性。
• 全局符号翻转对称性 $ F = -I $ 仅在线性（爱德华兹-威尔金森）极限下成立，此时 $ \Gamma = 0 $，这证实了该框架与已知物理约束的一致性。