[论文解读] Contact Equivalence of the Generalized Hunter - Saxton Equation and the Euler - Poisson Equation

Oleg I. Morozov|ArXiv.org|Jun 9, 2004

Nonlinear Waves and Solitons参考文献 12被引用 8

一句话总结

本文通过构造的接触变换，建立了广义Hunter–Saxton方程与特定形式的Euler–Poisson方程之间的接触等价性。利用Cartan的等价方法与Laplace约化，作者在局部变量中推导出广义Hunter–Saxton方程的通解，避免了非局部变换，且对任意κ ≠ 0均成立。

ABSTRACT

We present a contact transformation of the generalized Hunter--Saxton equation to the Euler--Poisson equation with special values of the Ovsiannikov invariants. We also find the general solution for the generalized Hunter--Saxton equation.

研究动机与目标

• 建立广义Hunter–Saxton方程与具有特定Ovsiannikov不变量的特定Euler–Poisson方程之间的接触等价性。
• 使用局部变量推导广义Hunter–Saxton方程的通解，避免使用非局部变换。
• 应用Cartan的活动标架法，计算两个方程的Maurer–Cartan形式与对称性结构方程。
• 证明由于其半不变量结构，Euler–Poisson方程可通过Laplace变换化为可因式分解形式。
• 通过接触变换的逆像，为广义Hunter–Saxton方程提供参数形式的通解。

提出的方法

• 采用É. Cartan的等价方法，以活动标架法形式，计算Euler–Poisson方程的接触对称伪群的Maurer–Cartan形式。
• 推导Euler–Poisson方程的对称伪群结构方程，识别出不变量P = 2(1−κ)与Q = 2κ，且满足P + Q = 2。
• 通过Maurer–Cartan形式的拉回条件，构造一个接触变换Ψ，将Euler–Poisson方程映射到广义Hunter–Saxton方程。
• 利用Laplace半不变量H与K，通过中间积分将Euler–Poisson方程约化为可因式分解的双曲型系统。
• 通过逐次积分求解约化系统：首先求解关于v的一阶常微分方程，然后通过积分恢复u，最后应用逆变换。
• 利用所推导的接触映射，将Euler–Poisson方程的解变换回广义Hunter–Saxton方程，得到局部参数解。

实验结果

研究问题

• RQ1 广义Hunter–Saxton方程能否被证明与已知的线性双曲型偏微分方程（如Euler–Poisson方程）具有接触等价性？
• RQ2 广义Hunter–Saxton方程与Euler–Poisson方程之间的接触变换的显式形式是什么？
• RQ3 由于其Laplace不变量，Euler–Poisson方程是否可通过初等积分求得通解？该性质能否被用于求解广义Hunter–Saxton方程？
• RQ4 广义Hunter–Saxton方程的通解能否在不使用非局部变换的前提下，用局部变量表示？
• RQ5 Ovsiannikov不变量P与Q在决定Euler–Poisson方程的可积性与可因式分解性方面起什么作用？

主要发现

• 广义Hunter–Saxton方程与依赖于κ的Euler–Poisson方程之间存在接触等价性，通过Maurer–Cartan结构方程的匹配得到验证。
• 接触变换Ψ显式地将Euler–Poisson方程的解映射为广义Hunter–Saxton方程的解，其中Ψ由(t+x)的有理函数与幂函数构成。
• Euler–Poisson方程具有Ovsiannikov不变量P = 2(1−κ)与Q = 2κ，满足P + Q = 2，这表明存在中间积分与可因式分解性。
• Euler–Poisson方程的通解可通过初等积分求得：u = (t+x)^(1/κ)[κS′(t) + ∫R(x)(t+x)^((1−κ)/κ)dx] − (t+x)^((1−κ)/κ)[S(t) + ∫R(x)(t+x)^(1/κ)dx]，其中S与R为任意光滑函数。
• 广义Hunter–Saxton方程的通解以参数形式给出：ũ = κ²S′(t) + κ∫R(x)(t+x)^((1−κ)/κ)dx 与 x̃ = −κ[S(t) + ∫R(x)(t+x)^(1/κ)dx]，其中ũ(t̃)通过t̃ = κ⁻¹t定义。
• 该解完全为局部形式，避免了非局部变换，对所有κ ≠ 0均成立，且变换结构在与对称伪群元素复合下保持不变。