[논문 리뷰] Linear differential systems over the quaternion skew field

Ivan Kyrchei|arXiv (Cornell University)|2018. 12. 08.

Algebraic and Geometric Analysis참고 문헌 16인용 수 7

한 줄 요약

이 논문은 비가환 허미션 수체 위에서 첫째단계 선형 허미션 미분계수계(LQDS)에 대한 종합적인 이론을 열차-행렬 행렬식이라는 새로운 비가환 행렬식 프레임워크를 사용하여 수립한다. 상수 계수 행렬을 가진 시스템에 대해 일반해의 행렬식 표현을 유도하며, 역행렬이 존재하는 경우와 존재하지 않는 경우를 모두 다루며, 허미션 Drazin 역행렬을 열차-행렬 행렬식을 통해 표현한다. 수치적 검증도 제공된다.

ABSTRACT

A basic theory on the first order right and left linear quaternion differential systems (LQDS) is given systematic in this paper. To proceed the theory of LQDS we adopt the theory of column-row determinants recently introduced by the author. In this paper, the algebraic structure of their general solutions are established. Determinantal representations of solutions of systems with constant coefficient matrices and sources vectors are obtained in both cases when coefficient matrices are invertible and singular. In the last case, we use determinantal representations of the quaternion Drazin inverse within the framework of the theory of column-row determinants. Numerical examples to illustrate the main results are given.

연구 동기 및 목표

• 비가환 허미션 수체 위에서 첫째단계 오른쪽 및 왼쪽 선형 허미션 미분계수계(LQDS)에 대한 체계적인 이론을 개발하기 위해.
• 허미션 수체 위에서 행렬식을 정의하고 선형 계수계를 풀 때 발생하는 비가환성에 의한 도전 과제를 극복하기 위해.
• 상수 계수 행렬을 가진 LQDS의 일반해의 대수적 구조를 수립하기 위해.
• 계수 행렬이 가역 또는 비가역인 경우에 대해 Drazin 역행렬을 사용하여 해의 행렬식 표현을 도출하기 위해.
• Maple과 CLIFFORD 패키지를 사용하여 계산된 수치 예제를 통해 이론적 결과를 검증하기 위해.

제안 방법

• 저자가 최근 도입한 열차-행렬 행렬식 이론을 활용하여 허미션 대수에서 비가환 행렬 행렬식을 다루기 위해.
• 특이 행렬 시스템에 대해 열차-행렬 행렬식 프레임워크 내에서 허미션 Drazin 역행렬의 행렬식 표현을 적용하기 위해.
• 열 및 행 행렬식을 통한 허미션 계수계에 대한 Cramer 법칙 유사 방법을 사용하여 해를 명시적으로 표현하기 위해.
• 비가환 구조인 허미션의 설정에 적합하게 조정된 기본 행렬 및 해의 구조 이론을 사용하기 위해.
• 상수 계수를 가진 LQDS에 대한 일반해 공식을 유도하며, 계수 행렬이 가역인지 여부에 따라 구분하기 위해.
• Maple과 CLIFFORD 패키지를 사용하여 계산된 수치 예제를 통해 결과를 검증하기 위해.

실험 결과

연구 질문

• RQ1 허미션의 비가환성 때문에 선형 허미션 미분계수계에 대해 일관된 이론을 어떻게 수립할 수 있는가?
• RQ2 허미션 수체 위에서 첫째단계 LQDS의 일반해의 대수적 구조는 무엇인가?
• RQ3 계수 행렬이 특이일 경우 해의 행렬식 표현은 어떻게 구성할 수 있는가?
• RQ4 허미션 행렬의 Drazin 역행렬은 열차-행렬 행렬식을 통해 행렬식으로 표현될 수 있는가?
• RQ5 상수 계수를 가진 LQDS에 대해 수치적 해를 어떻게 계산하고 검증할 수 있는가?

주요 결과

• 논문은 열차-행렬 행렬식을 사용하여 오른쪽 및 왼쪽 선형 허미션 미분계수계의 일반해의 구조를 수립한다.
• 계수 행렬이 가역인 경우에 대해 해의 행렬식 표현을 도출하였으며, 이를 통해 허미션으로의 Cramer 법칙 확장이 가능해졌다.
• 계수 행렬이 특이일 경우, 해는 Drazin 역행렬을 통해 표현되며, 그 행렬식 표현은 열차-행렬 행렬식에 기반한다.
• 수치 예제를 통해 이론적 해를 확인하였다: 시스템의 일반해는 x₁ = 0.5j + (-0.5 + 0.5j)t, x₂ = -0.5i - 0.5k, x₃ = 0.5k + (0.5i - 0.5k)t로 구성된다.
• 이 방법은 비가환 행렬식을 효과적으로 다루며, Maple과 같은 기호 계산 도구 및 CLIFFORD 패키지를 통해 명시적 해 계산이 가능하게 한다.
• 이 접근법은 계수 행렬이 특이하거나 비가역일 경우에도 일관되고 계산 가능한 프레임워크를 제공한다.