[논문 리뷰] Characterization of the class of canonical forms for systems of linear equations

J. C. Ndogmo|arXiv (Cornell University)|2015. 02. 25.

Nonlinear Waves and Solitons참고 문헌 15인용 수 3

한 줄 요약

이 논문은 표준형과 정규형 모두에 대해 선형 상미분방정식계의 정규형 클래스를 규명하기 위해 등가군을 결정함으로써 그 특성을 규명한다. 선형계가 가역적인 점변환을 통해 정규형 $\mathbf{y}^{(n)} = 0$ 으로 간소화될 수 있음은 그 정규형이 동일한 원천 매개변수를 가진 동일한 반복형 미분방정식의 복제로 구성되어 있을 때에만 성립하며, 일반해에 대해 초월 공식을 유도한다.

ABSTRACT

The equivalence group is determined for systems of linear ordinary differential equations in both the standard form and the normal form. It is then shown that the normal form of linear systems reducible by an invertible point transformation to the canonical equation $\by^{(n)}=0$ consists of copies of the same iterative equation. Other properties of iterative linear systems are also derived, as well as the superposition formula for their general solution.

연구 동기 및 목표

• 표준형과 정규형 모두에 대해 선형 상미분방정식계의 등가군을 규명하는 것.
• 가역적인 점변환을 통해 정규형 $\mathbf{y}^{(n)} = 0$ 으로 간소화될 수 있는 선형계의 클래스를 규명하는 것.
• 선형계의 정규형이 동일한 원천 매개변수를 가진 반복형 미분방정식으로 구성되는 조건을 설정하는 것.
• 해당 계열의 일반해에 대해 초월 공식을 유도하는 것.
• 반복계와 정규형 클래스 간의 관계를 규명하며, 특히 스칼라 경우와의 대비를 명확히 하는 것.

제안 방법

• 리 대칭 분석을 사용하여 표준형과 정규형 모두에 대해 선형 ODE계의 등가군을 유도한다.
• 행렬 계수 $\mathbf{r}$ 과 $\mathbf{s}$ 를 가진 연산자 $\Psi = \mathbf{r}\frac{d}{dx} + \mathbf{s}$ 를 통해 반복형 미분방정식의 개념을 도입한다.
• 재귀관계를 사용하여 $n$차 반복계 $\Psi^n[\mathbf{y}] = 0$ 의 계수 $K_n^j$ 를 $\mathbf{r}$ 과 $\mathbf{s}$ 로 표현한다.
• 행렬 $\mathfrak{q}$ 로부터 유도된 $Q$ 를 사용하여 변수변환 $\mathbf{y} = Q\mathbf{w}$ 를 적용하여 계를 정규형으로 변환한다.
• 정규형을 정규형 클래스로 매핑하기 위해 치환 $f^{(j)} = D_x^{j-2}(-f\mathfrak{q})$ 를 적용한다.
• 두 번째 차수의 원천 방정식의 해의 거듭제곱과 적분의 선형 조합으로 $\mathbf{w}$ 를 표현함으로써 일반해에 대한 초월 원리를 수립한다.

실험 결과

연구 질문

• RQ1 표준형과 정규형 모두에 대해 선형 ODE계의 등가군은 무엇인가?
• RQ2 선형계가 가역적인 점변환을 통해 정규형 $\mathbf{y}^{(n)} = 0$ 으로 간소화될 수 있는 조건은 무엇인가?
• RQ3 반복형 계는 선형 ODE의 정규형 클래스와 어떻게 관련이 있는가?
• RQ4 정규형 클래스에 속하는 선형계의 일반해는 무엇이며, 원천 방정식의 해로부터 어떻게 구성할 수 있는가?
• RQ5 모든 반복형 계가 정규형 클래스에 속하는 것은 아니며, 정규형 계를 생성하는 연산자 $\Psi = \mathbf{r}\frac{d}{dx} + \mathbf{s}$ 의 일반형은 무엇인가?

주요 결과

• 표준형과 정규형 모두에 대해 선형 ODE계의 등가군은 리 대칭 방법을 통해 완전히 규명된다.
• 선형계가 가역적인 점변환을 통해 정규형 $\mathbf{y}^{(n)} = 0$ 으로 간소화될 수 있음은 그 정규형이 동일한 원천 매개변수를 가진 동일한 반복형 미분방정식의 복제로 구성되어 있을 때에만 성립한다.
• 정규형 $\mathbf{y}^{(n)} + A_n^2\mathbf{y}^{(n-2)} + \cdots + A_n^n\mathbf{y} = 0$ 에서의 계수 $A_n^j$ 는 두 번째 차수의 원천 방정식을 정의하는 스칼라 매개변수 $\mathfrak{q}$ 의 미분함수로 명시적으로 표현된다.
• 정규형 클래스에 속하는 계의 일반해는 초월 원리에 의해 구성된다: $w_i = \sum_{j=1}^n C_{ij} u^{n-j} v^{j-1}$, 여기서 $u$ 와 $v$ 는 두 번째 차수의 원천 방정식의 선형독립해이다.
• 행렬 $\mathbf{r} = \operatorname{diag}(u_1^2, \dots, u_m^2)$ 또는 $\mathbf{r} = u^2(r_{ij})$ 인 경우, $u_j$ 가 원천 방정식의 해를 만족할 때, 행렬 $\mathbf{r}$ 은 그 도함수와 교환되며 $\mathcal{A}(\mathbf{r}) = \mathfrak{q}I_m$ 를 만족하여 계가 정규형 클래스에 속하게 된다.
• 모든 반복형 계가 정규형 클래스에 속하는 것은 아니며, 이는 벡터 경우에서 최대 대칭성은 반드시 $\mathbf{y}^{(n)} = 0$ 으로의 간소화를 의미하지는 않음을 시사하며, 스칼라 경우와는 다름을 나타낸다.