[논문 리뷰] Contact Equivalence Problem for Linear Hyperbolic Equations

Oleg I. Morozov|ArXiv.org|2004. 06. 01.

Material Science and Thermodynamics참고 문헌 7인용 수 4

한 줄 요약

이 논문은 카르탕의 등가 방법과 움직이는 코프레임 접근법을 사용하여 두 변수에 대한 선형 2차 쌍곡형 방정식의 국소 접촉 등가 문제를 해결한다. 미분 불변량과 불변 도함수를 기반으로 방정식을 여섯 개의 불변 부분군으로 분류하며, 겹치는 분류 다양체를 통해 등가성을 위한 필요 및 충분 조건을 제공한다.

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.

연구 동기 및 목표

• 접촉 변환 하에서 선형 2차 쌍곡형 방정식의 국소 등가 문제를 해결하기 위해.
• 대칭군의 구조와 미분 불변량을 기반으로 방정식을 불변 부분군으로 분류하기 위해.
• 각 부분군에 대해 완전한 집합의 미분 불변량과 불변 도함수를 결정하기 위해.
• 분류 다각형을 사용하여 국소 등가를 위한 필요 및 충분 조건을 설정하기 위해.
• 이론적 PDE 등가 문제에서 구조적으로 비이행성 대칭군에 대해 움직이는 코프레임 방법의 적용 가능성을 보여주기 위해.

제안 방법

• 펠스와 올버의 방법으로 발전된 에리 빌랑의 등가 방법을 적용하여 마우라-카르탕 형식과 구조 방정식을 계산한다.
• 움직이는 코프레임 방법을 사용하여 방정식의 대칭군에 대한 불변 1형식과 구조 방정식을 체계적으로 유도한다.
• 두 번째 순서의 임펄스를 모델링하고 접촉 형식을 정의하기 위해 좌표 $(t,x,u,u_t,u_x,u_{tx})$ 를 가진 제트 배럴 프레임워크 $J^2(υ)$ 를 사용한다.
• 블록 행렬로 구성된 리 군으로 가는 행렬 값 함수 $S$ 를 통해 코프레임 위에서의 접촉 변환 작용을 유도한다.
• 비틀림 흠스와 연장 기법을 통해 등식적 코프레임을 달성하고, 이를 통해 미분 불변량을 추출한다.
• 불변 도함수를 계산하고, 각 부분군에 대해 미분 불변량으로 매개변수화된 분류 다각형을 구성한다.

실험 결과

연구 질문

• RQ1 두 선형 쌍곡형 방정식이 접촉 변환 하에서 국소적으로 등가가 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 이러한 방정식의 대칭군의 구조는 미분 불변량을 통해 어떻게 분류될 수 있는가?
• RQ3 각 대칭 군 클래스에 대해 존재하는 완전한 집합의 미분 불변량과 불변 도함수는 무엇인가?
• RQ4 움직이는 코프레임 방법은 이 맥락에서 구조적으로 비이행성 대칭군을 어떻게 다루는가?
• RQ5 미분 불변량을 통한 분류 다각형 접근법이 이 클래스의 국소 등가 문제를 완전히 해결할 수 있는가?

주요 결과

• 선형 쌍곡형 방정식의 집합은 $H$, $K$, $P$, $Q$ 에 대한 조건을 만족하는 여섯 개의 불변 부분군 $\mathcal{S}_1$ 에서 $\mathcal{S}_6$ 으로 나뉜다.
• $\mathcal{S}_1$ 에 속하는 방정식은 파동 방정식 $u_{tx} = 0$ 과 국소적으로 등가이다.
• $\mathcal{S}_6$ 에 속하는 방정식은 $Q=0$ 이면 $u_{tx} = \lambda (t+x)^{-2} u$ 와, $Q \neq 0$ 이면 $u_{tx} = \mu (t+x)^{-2} u$ 와 국소적으로 등가이다.
• $\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$ 에 속하는 두 방정식은 그들의 분류 다각형이 국소적으로 겹칠 때이고 그때에만 국소적으로 등가이다.