[논문 리뷰] On the point transformations for the second order differential equations. I

V. V. Dmitrieva, Руслан Шарипов|arXiv (Cornell University)|1997. 03. 06.

Differential Equations and Boundary Problems참고 문헌 7인용 수 19

한 줄 요약

이 논문은 일반적인 점 변환 하에서 형태 $ y'' = P + 3Qy' + 3R(y')^2 + S(y')^3 $ 의 2차 상미분방정식에 대한 동치 문제를 해결한다. 캐르탕의 이동 기저법을 사용하여 불변량을 구성하고, 이를 통해 표준형을 유도하며, 불변량과 계수 사이의 명시적 관계를 수립한다. 일반 위치에 있는 방정식과 상수 불변량을 가진 특수 케이스에 대한 핵심 결과를 제시한다.

ABSTRACT

Point transformations for the ordinary differential equations of the form $y''=P(x,y)+3 Q(x,y) y'+3 R(x,y) (y')^2+S(x,y) (y')^3$ are considered. Some classical results are resumed. Solution for the equivalence problem for the equations of general position is described.

연구 동기 및 목표

• 일반적인 점 변환 하에서 형태 $ y'' = P + 3Qy' + 3R(y')^2 + S(y')^3 $ 의 2차 상미분방정식에 대한 동치 문제를 해결하기 위해.
• 특수 대칭성에 의해 제약을 받지 않는 일반 위치에 있는 방정식으로 테스트와 카르탕의 고전 결과를 일반화하기 위해.
• 미분 불변량을 구성하고 관련 구조 방정식을 풀어 이러한 방정식에 대한 표준형을 도출하기 위해.
• 불변량이 일정할 경우, 불변량과 계수 사이의 기능적 관계를 규명하여 이러한 방정식을 분류하기 위해.

제안 방법

• 계수 $ P, Q, R, S $ 로부터 대칭적인 3차원 배열 $ \theta_{ijk} $ 를 구성하며, $ \theta_{111} = P $, $ \theta_{112} = \theta_{121} = \theta_{211} = Q $ 등으로 정의한다.
• 비대칭 행렬 $ d^{ij} = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} $ 를 사용해 지표를 상승시켜 $ \theta^k_{ij} = \sum_r d^{kr} \theta_{rij} $ 를 정의한다.
• 직접 변환 행렬 $ S $ 와 역행렬 행렬 $ T $ 를 사용하여 점 변환 하에서 $ \theta^k_{ij} $ 의 변환 법칙을 유도한다.
• 캐르탕의 이동 기저법을 사용하여 함수 $ u $ 와 $ v $ 에 대한 PDE 시스템을 풀어 표준 좌표를 구성한다. 예를 들어 $ v \partial u / \partial y = -L u $ 와 $ u \partial v / \partial x = -K v $ 등의 식이 포함된다.
• 특수 해 $ u = -K(\tilde{x} + \tilde{y}) $, $ v = -L(\hat{x} + \tilde{y}) $ 를 선택함으로써 표준 변수 $ \tilde{x}, \tilde{y} $ 를 도입한다. 이때 $ K \neq 0 $, $ L \neq 0 $ 이다.
• 구조 방정식과 정규화 조건을 사용하여 변환된 계수 $ \tilde{P}, \tilde{Q}, \tilde{R}, \tilde{S} $ 의 명시적 표현을 불변량 $ I_3, I_7 $ 과 매개변수 $ K, L $ 에 대해 유도한다.

실험 결과

연구 질문

• RQ1 형태 $ y'' = P + 3Qy' + 3R(y')^2 + S(y')^3 $ 의 두 2차 상미분방정식이 일반적인 점 변환 하에서 동치일 필요 및 충분 조건은 무엇인가?
• RQ2 미분 불변량이 일정할 경우, 이러한 방정식에 대한 표준형을 어떻게 구성할 수 있는가?
• RQ3 $ K \neq 0 $, $ L \neq 0 $ 이고 불변량이 일정할 경우, 불변량 $ I_3 $ 과 $ I_7 $ 이 만족해야 할 기능적 관계는 무엇인가?
• RQ4 방정식이 일반 위치에 있을 경우, 계수는 점 변환 하에서 어떻게 변하는가?
• RQ5 캐르탕의 이동 기저법을 사용하여 일반 위치에 있는 모든 방정식에 대해 동치 문제를 균일하게 해결할 수 있는가?

주요 결과

• F = 0 인 경우, 표준형은 $ \tilde{y}'' = -\frac{1}{3}e^{-K\tilde{x}} + 2K\tilde{y}' + 3I_3 e^{K\tilde{x}} (\tilde{y}')^2 + I_7 e^{2K\tilde{x}} (\tilde{y}')^3 $ 이며, $ I_7 + KI_3 = 0 $ 과 $ -8I_7K^2 + 6KI_3^2 + 9 = 0 $ 이다.
• K \neq 0, L \neq 0 이고 불변량이 일정할 경우, 표준 계수는 $ \tilde{F} = \frac{3}{KL(\tilde{x}+\tilde{y})^2} $, $ \tilde{B} = -\frac{9}{KL^2(\tilde{x}+\tilde{y})^3} $, $ \tilde{P} = -\frac{L}{3K^2(\tilde{x}+\tilde{y})} $, $ \tilde{Q} = -\frac{1}{\tilde{x}+\tilde{y}} $ 로 주어진다.
• $ \tilde{R} $ 과 $ \tilde{S} $ 는 $ \tilde{R} = \frac{-3I_3 - 2}{3(\tilde{x}+\tilde{y})} $, $ \tilde{S} = -\frac{I_7K}{L^2(\tilde{x}+\tilde{y})} $ 로 주어지며, $ I_3 $ 과 $ I_7 $ 은 $ 3KI_7 + 3(K^2 - 2L)I_3 + 6L^2 - 8LK^2 = 0 $ 과 $ 6KI_3^2 - 7KLI_3 - 8K^2I_7 - I_7L + 9 = 0 $ 을 만족한다.
• 점 변환 하에서 $ \theta^k_{ij} $ 의 변환 법칙은 $ \theta^k_{ij} = \sum_{m,p,q} S^k_m T^p_i T^q_j \tilde{\theta}^m_{pq} + \sum_m S^k_m \frac{\partial T^m_i}{\partial x^j} - \frac{\tilde{\sigma}_i \delta^k_j + \tilde{\sigma}_j \delta^k_i}{3} $ 로 주어지며, 이는 전체 동치 구조를 포함한다.
• 논문은 테스트와 카르탕의 고전 결과를 일반 위치에 있는 방정식으로 일반화하여, 이 클래스에 대한 동치 문제의 완전한 해결책을 제공한다.