[论文解读] Contact Equivalence Problem for Linear Hyperbolic Equations

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

Material Science and Thermodynamics参考文献 7被引用 4

一句话总结

本文使用嘉当的等价方法和移动标架法，解决了两个变量中线性二阶双曲型方程的局部接触等价问题。基于微分不变量和不变导数，将方程分类为六个不变子类，通过重叠的分类流形提供了等价性的充分必要条件。

ABSTRACT

We consider the local equivalence problem for the class of linear second order hyperbolic equations in two independent variables under an action of the pseudo-group of contact transformations. E. Cartan's method is used for finding the Maurer - Cartan forms for symmetry groups of equations from the class and computing structure equations and complete sets of differential invariants for these groups. The solution of the equivalence problem is formulated in terms of these differential invariants.

研究动机与目标

• 解决在接触变换下线性二阶双曲型方程的局部等价问题。
• 基于对称群结构和微分不变量，对方程进行不变子类分类。
• 为每个子类确定完整的微分不变量和不变导数集合。
• 利用分类流形建立局部等价的充分必要条件。
• 展示移动标架法在偏微分方程等价问题中处理结构非传递对称群的适用性。

提出的方法

• 应用埃利·嘉当的等价方法，采用Fels和Olver发展的形式，计算梅热-卡当形式和结构方程。
• 使用移动标架法系统推导方程对称群的不变1-形式和结构方程。
• 在喷丛框架 $J^2(υ)$ 上操作，使用坐标 $(t,x,u,u_t,u_x,u_{tx})$ 建模二阶喷射并定义接触形式。
• 通过映射到块矩阵李群的矩阵值函数 $S$，推导接触变换在标架上的作用。
• 执行挠率吸收和延拓，以获得对合标架，从而提取微分不变量。
• 计算不变导数，并为每个子类构造由微分不变量参数化的分类流形。

实验结果

研究问题

• RQ1 两个线性双曲型方程在接触变换下局部等价的充分必要条件是什么？
• RQ2 如何利用微分不变量对方程的对称群结构进行分类？
• RQ3 每个对称类存在哪些完整的微分不变量和不变导数集合？
• RQ4 移动标架法在此背景下如何处理结构非传递的对称群？
• RQ5 通过微分不变量的分类流形方法是否能完全解决该类方程的局部等价问题？

主要发现

• 线性双曲型方程类被划分为六个不变子类 $\mathcal{S}_1$ 到 $\mathcal{S}_6$，每个子类由 $H$、$K$、$P$ 和 $Q$ 的条件定义。
• 在 $\mathcal{S}_1$ 中的方程局部等价于波动方程 $u_{tx} = 0$。
• 在 $\mathcal{S}_6$ 中的方程局部等价于 $u_{tx} = \lambda (t+x)^{-2} u$（若 $Q=0$）或 $u_{tx} = \mu (t+x)^{-2} u$（若 $Q \neq 0$）。
• 对于 $\mathcal{S}_2$，基本不变量为 $P$、$Q$ 和 $J_2$，不变导数为 $\mathbb{D}_1 = P_t^{-1} D_t$、$\mathbb{D}_2 = P_t H^{-1} D_x$。
• 对于 $\mathcal{S}_3$，基本不变量为 $P$、$Q$ 和 $L$，不变导数为 $\mathbb{D}_1 = P_x H^{-1} D_t$、$\mathbb{D}_2 = P_x^{-1} D_x$。
• 在 $\mathcal{S}_2$、$\mathcal{S}_3$、$\mathcal{S}_4$ 或 $\mathcal{S}_5$ 中的两个方程局部等价，当且仅当它们的分类流形局部重叠。