[论文解读] Lie symmetries of fundamental solutions of one (2+1)-dimensional ultra-parabolic Fokker--Planck--Kolmogorov equation

Sergii Kovalenko, Valeriy Stogniy+1 more|arXiv (Cornell University)|Aug 1, 2014

Nonlinear Waves and Solitons参考文献 10被引用 4

一句话总结

本论文应用Berest–Aksenov方法，推导(2+1)维超抛物Fokker–Planck–Kolmogorov方程基本解的李对称代数。通过识别二维对称代数，利用对称约化与广义函数技术，构造出显式弱不变基本解，以群论方法验证了Kolmogorov早期结果，并表明线性PDE的基本解自然地在对称代数下不变。

ABSTRACT

A (2+1)-dimensional linear ultra-parabolic Fokker--Planck--Kolmogorov equation is investigated from the group-theoretical point of view. By using the Berest--Aksenov approach, an algebra of invariance of fundamental solutions of the equation is found. A fundamental solution of the equation under study is computed in an explicit form as a weak invariant solution.

研究动机与目标

• 确定(2+1)维超抛物Fokker–Planck–Kolmogorov方程基本解的不变代数。
• 应用Berest–Aksenov方法，通过对称约化构造弱不变基本解。
• 为Kolmogorov先前推导的基本解提供群论解释。
• 证明线性PDE的基本解自然地在方程的对称代数下不变。

提出的方法

• 通过分析Fokker–Planck–Kolmogorov方程的点对称性，使用Berest–Aksenov方法识别基本解的不变代数。
• 由对称生成元Y₁和Y₄导出经典不变量，形成将PDE约化为ODE的假设形式。
• 利用该假设构造经典不变解，随后通过广义函数（分布）技术推广为弱不变解。
• 广义函数h(t,x,y)被确定为h = C₁θ(t−t₀) + C₀，以在分布意义下满足对称条件。
• 通过将弱不变解代入原PDE，固定常数C₁，得到C₁ = √3/(2π)的基本解。
• 最终基本解以闭式表达为具有时变方差与漂移的高斯型函数，通过Heaviside阶跃函数体现因果性。

实验结果

研究问题

• RQ1 对于(2+1)维超抛物Fokker–Planck–Kolmogorov方程，其基本解的不变代数是什么？
• RQ2 能否通过李群方法的对称约化构造该方程的基本解？
• RQ3 Kolmogorov已知的基本解是否在二维对称代数下弱不变？
• RQ4 Berest–Aksenov方法如何通过弱不变性促进基本解的构造？

主要发现

• 发现(2+1)维Fokker–Planck–Kolmogorov方程基本解的不变代数由两个向量场张成，具体为算子Y₁和Y₄。
• 通过对称约化导出经典不变解，将PDE约化为ODE φ'' + (3/2)ωφ' + (3/2)φ = 0，其解为φ = C exp(−3ω²/4)。
• 弱不变解以形式u = h(t,x,y)/(t−t₀)² × exp(−(x−x₀)²/(4(t−t₀)) − 3(y−y₀−(t−t₀)(x+x₀)/2)²/(t−t₀)³) 构造，其中h为广义函数。
• 广义函数h被确定为h = C₁θ(t−t₀) + C₀，且C₁ = √3/(2π)，确保解在分布意义下满足PDE。
• 所得基本解与Kolmogorov原始结果一致，证实其群论起源，并验证了基本解在对称代数下不变的原则。
• 解显式表达为u = [√3/(2π)θ(t−t₀) + C₀]/(t−t₀)² × exp(−(x−x₀)²/(4(t−t₀)) − 3(y−y₀−(t−t₀)(x+x₀)/2)²/(t−t₀)³)，其中C₀为任意常数，源于齐次性。