[논문 리뷰] Differential Invariants and Application to Riccati-Type Systems

Roman O. Popovych, V. Boyko|ArXiv.org|2001. 12. 24.

Nonlinear Waves and Solitons인용 수 7

한 줄 요약

이 논문은 독립 변수와 종속 변수의 임의의 수를 가진 시스템에 작용하는 일파라미터 군으로의 리의 고전적 미분 불변량 이론을 일반화한다. 주어진 일반 불변량이 있을 때, 하나의 적분과 반복 미분을 통해 기능적으로 독립적인 전체 미분 불변량 집합을 구성할 수 있음을 증명하며, 이 틀을 이용해 리카티 형 시스템을 명시적으로 통합한다.

ABSTRACT

We generalize the classical Lie results on a basis of differential invariants for a one-parameter group of local transformations to the case of arbitrary number of independent and dependent variables. It is proved that if universal invariant of a one-parameter group is known then a complete set of functionally independent differential invariants can be constructed via one quadrature and differentiations. Some applications of first-order differential invariants to Riccati-type systems are also presented.

연구 동기 및 목표

• 일파라미터 군이 임의의 수의 독립 변수와 종속 변수를 가진 시스템에 작용할 때 리의 고전적 미분 불변량 이론을 일반화하는 것.
• 일반 불변량이 주어졌을 때, 오직 하나의 적분과 미분만을 사용하여 기능적으로 독립적인 전체 미분 불변량 집합을 구성하는 구축 가능한 방법을 확립하는 것.
• 미분 불변량 이론과 리카티 형 시스템의 적분 가능성 간의 연결 고리를 탐색하는 것.
• 불변량 틀을 이용해 특정 클래스의 리카티 형 시스템에 대해 명시적인 통합 공식을 제공하는 것.

제안 방법

• 일파라미터 군이 $ n $ 개의 독립 변수와 $ m $ 개의 종속 변수에 작용할 때, 순서 $ m+n-1 $ 의 일반 불변량 $ I $ 를 도입한다.
• 불변량 $ I $ 와 $ QJ = 1 $ 의 해 $ J $ 를 사용하여 변수를 바꾸며, 벡터장을 $ \frac{\tau}{\tau y_n} $ 로 변환함으로써 확장된 군 작용의 구조를 단순화한다.
• 기본적인 미분 불변량 집합을 $ (\tilde{y}, v_{(r)}) $ 로 유도하며, 여기서 $ \tilde{y} $ 는 기저 공간의 불변량이고 $ v_{(r)} $ 는 새로운 변수에서의 제트 좌표이다.
• 얻어진 불변량 구조를 이용해, 하나의 적분을 포함하는 유리 함수 변환을 통해 리카티 형 시스템의 일반 해 공식을 유도한다.
• 특정 예시들에 대해 $ n=1 $, $ m=2 $ 를 적용하며, 결정 방정식 $ QJ = 1 $ 의 명시적 해를 사용하여 관련 리카티 시스템의 일반 해를 구성한다.
• 새로운 좌표에서의 불변량 미분 연산자를 활용하여 일반 해를 불변량과 그 도함수의 유리 함수로 표현한다.

실험 결과

연구 질문

• RQ1 리의 고전적 결과인 미분 불변량의 유한 기저가 임의의 수의 독립 변수와 종속 변수를 가진 시스템에 대해 일파라미터 군이 작용할 때 일반화될 수 있는가?
• RQ2 일반 불변량이 주어졌을 때, 오직 하나의 적분과 미분만을 사용하여 기능적으로 독립적인 전체 미분 불변량 집합을 구성할 수 있는가?
• RQ3 미분 불변량 이론은 어떻게 리카티 형 방정식 시스템의 통합에 적용될 수 있는가?
• RQ4 일파라미터 군 작용으로 유도된 리카티 형 시스템의 일반 해는 어떤 구조를 갖는가?
• RQ5 리카티 형 시스템의 일반 해가 불변량과 적분을 포함한 유리 표현으로 나타날 수 있는 조건은 무엇인가?

주요 결과

• 일파라미터 군이 $ n $ 개의 독립 변수와 $ m $ 개의 종속 변수에 작용할 때, 일반 불변량이 주어지면 오직 하나의 적분과 반복적인 미분만을 사용하여 기능적으로 독립적인 전체 미분 불변량 집합을 구성할 수 있다.
• 새로운 좌표 $ (y, v) $ 에서의 확장된 군 작용은 $ \frac{\tau}{\tau y_n} $ 으로 단순화되며, 이는 $ \tilde{y} $ 와 $ v_{(r)} $ 에서의 불변량을 체계적으로 구성할 수 있도록 한다.
• 군 작용으로부터 유도된 리카티 형 시스템의 일반 해는 식 (8)과 예시들에서 보듯이 불변량과 하나의 적분 $ J $ 를 포함하는 유리 표현으로 명시적으로 주어진다.
• 예제 1에서 리카티 방정식 $ \frac{du_x}{dx} = -\frac{1}{Cx^k}u_x^2 + \frac{2(k-1)}{x}u_x + kCx^{k-2} $ 의 해는 $ k \neq -1 $ 일 때 $ u_x = Cx^{k-1}\big(k - \frac{k+1}{1 + \tilde{C}x^{k+1}}\big) $ 이고, $ k = -1 $ 일 때는 $ u_x = -\frac{C}{x^2}\big(1 + \frac{1}{\tilde{C} - \bar{\nu}}\big) $ 이다.
• 예제 4에서 두 성분 리카티 시스템의 해는 $ \begin{pmatrix} u_x^1 \\ u_x^2 \\\right) = \text{exp}(x)\begin{pmatrix} C^1 \\ C^2 \\\right) + \frac{(C^1 + C^2)\text{exp}(2x)J}{1 - (\tilde{C}^1 + \tilde{C}^2)(\text{exp}(x) - (C^1 + C^2)^{-1})J}\begin{pmatrix} \tilde{C}^1 \\ \tilde{C}^2 \\\right) $ 로 주어지며, 여기서 $ J $ 는 적분이다.
• 예제 5에서 해는 $ \begin{pmatrix} u_x^1 \\ u_x^2 \\\right) = \begin{pmatrix} -C^1\text{sin}x + C^2\text{cos}x \\ -C^1\text{cos}x - C^2\text{sin}x \\\right) + \frac{\text{exp}(- (C^1 + C^2)\text{cos}x - (C^2 - C^1)\text{sin}x)}{1 - \tilde{C}^1 J_{C^1} - \tilde{C}^2 J_{C^2}} \begin{pmatrix} \tilde{C}^1\text{cos}x + \tilde{C}^2\text{sin}x \\ -\tilde{C}^1\text{sin}x + \tilde{C}^2\text{cos}x \\\right) $ 로 표현되며, $ J $ 는 적분을 통해 계산된다.