[논문 리뷰] On the reducibility of Schlesinger isomonodromic families

Renat Gontsov, V. P. Leksin|arXiv (Cornell University)|2013. 09. 29.

Nonlinear Waves and Solitons참고 문헌 7인용 수 6

한 줄 요약

이 논문은 단일계수 변환을 통한 슈레지너 등형성 가역성 가족의 블록 상삼각형 형태로의 환원 가능성을 보장하는 충분조건을 제시한다. 단, 단일계수 변환 전에 단일계수 행렬이 이미 상삼각형 형태일 경우를 가정한다. 또한, 복소수 해석적 벡터 다발과 날카로운 호모로지 이론을 활용하여 슈레지너 방정식의 상삼각형 해의 성분에 대한 초함수적 적분 표현을 유도한다. 이는 조르당-포하머 시스템과 유사한 연결성을 가진 편미분 시스템을 통해 이루어진다.

ABSTRACT

We obtain some sufficient conditions for reducibility of a Schlesinger isomonodromic family with the (block) upper-triangular monodromy to the same (block) upper-triangular form via a constant gauge transformation. We also obtain integral representations of hypergeometric type for entries of upper-triangular solutions of the Schlesinger equation.

연구 동기 및 목표

• 블록 상삼각형 단일계수 행렬을 가진 슈레지너 등형성 가족이 고정된 게이지 변환을 통해 동일한 블록 상삼각형 형태로 환원될 수 있는 충분조건을 규명하는 것.
• 슈레지너 방정식의 상삼각형 해의 성분에 대한 초함수적 적분 표현을 수립하는 것.
• 푸크시안 시스템과 그 등형성 변형의 매개변수적 환원 가능성에 대해 단일계수 행렬의 구조와 연관하여 분석하는 것.
• 등형성 가족에서 잔여 행렬의 환원 가능성과 단일계수 행렬의 블록 구조 간의 관계를 탐색하는 것.
• 해석적 벡터 다발과 계수를 가진 유리형 접속을 이용한 슈레지너 방정식의 해를 구성하는 프레임워크를 제공하는 것.

제안 방법

• 푸크시안 시스템의 등형성 변형을 연구하기 위해 해석적 벡터 다발과 유리형 접속을 활용한다.
• 다중값 함수 $ F(t) = (t - a_1)^{\beta_1} \cdots (t - a_n)^{\beta_n} $에 관련된 국소계의 쌍대 국소계를 계수로 하는 날카로운 호모로지 이론을 적용하여 적분 표현을 가능하게 한다.
• 조르당-포하머 시스템을 활용하여 상삼각형 잔여 행렬의 비대각성 성분 $ u_i(a), v_i(a) $ 의 진화를 행렬 1형식 $ \Omega^u, \Omega^v $ 를 가진 편미분 시스템으로 기술한다.
• 상단 우측 성분 $ b_i(a) $ 에 대한 비동차 시스템 $ db = \Omega b + \theta $ 를 유도하며, 여기서 $ \Omega $ 는 행렬 1형식이고 $ \theta $ 는 벡터값 미분형식이다.
• 동차 시스템의 기본 행렬 $ Y(a) $ 를 사용하고 $ c(a) = \text{const} + \int_{a^0}^a Y^{-1} \theta $ 를 구성하며, $ Y^{-1}\theta $ 가 닫혀 있음을 통해 적분의 경로 불변성을 보여준다.
• 레마 2(Varchenko)를 적용하여 $ Y^{-1} = (Y^*)^T \Lambda $ 를 표현한다. 여기서 $ Y^* $ 는 $ -\beta $ 를 가진 쌍대 시스템의 해이며, $ \Lambda = \text{diag}(1/\beta_1, \dots, 1/\beta_n) $ 이다. 이를 통해 $ Y^{-1} $ 의 성분에 대한 적분 표현을 가능하게 한다.

실험 결과

연구 질문

• RQ1 블록 상삼각형 단일계수 행렬을 가진 슈레지너 등형성 가정이 고정된 게이지 변환을 통해 동일한 블록 상삼각형 형태로 환원될 수 있는 조건은 무엇인가?
• RQ2 슈레지너 방정식의 상삼각형 해의 성분에 대해 초함수적 적분 표현을 어떻게 구성할 수 있는가?
• RQ3 등형성 가정에서 잔여 행렬 $ B_i(a) $ 의 환원 가능성과 단일계수 행렬 $ G_i $ 의 블록 구조 간의 관계는 무엇인가?
• RQ4 상삼각형 해의 비대각성 성분 $ u_i(a), v_i(a), b_i(a) $ 가 슈레지너 방정식에 따라 어떻게 진화하는가? 그 행동을 지배하는 시스템은 무엇인가?
• RQ5 $ \tau $-함수와 말라그랑주 $ \Theta $-분열이 등형성 가정의 매개변수적 환원 가능성에서 어떤 역할을 하는가?

주요 결과

• 단일계수 행렬이 이미 블록 상삼각형 형태일 경우, 슈레지너 등형성 가정의 잔여 행렬 $ B_i(a) $ 가 고정된 게이지 변환을 통해 블록 상삼각형 형태로 환원될 수 있는 충분조건가 도출되었다.
• 3차 블록의 경우 첫 번째 및 두 번째 비대각성 성분을 나타내는 벡터 함수 $ u(a) $ 와 $ v(a) $ 는 조르당-포하머 시스템 $ du = \Omega^u u $, $ dv = \Omega^v v $ 를 만족하며, 행렬 1형식 $ \Omega^u, \Omega^v $ 는 지수 차이 $ \beta_i^1 - \beta_i^2 $, $ \beta_i^2 - \beta_i^3 $ 에 따라 결정된다.
• 상단 우측 성분 $ b_i(a) $ 는 비동차 시스템 $ db = \Omega b + \theta $ 를 만족한다. 여기서 $ \Omega $ 는 슈레지너 방정식의 행렬 1형식이고, $ \theta $ 는 비대각성 성분의 곱을 포함하는 벡터값 미분형식이다.
• 해 $ b(a) = Y(a)c(a) $ 는 $ c(a) = \text{const} + \int_{a^0}^a Y^{-1}\theta $ 를 통해 구성되며, $ Y^{-1}\theta $ 가 닫혀 있음을 통해 적분의 경로 불변성이 보장되어 적분 가능성 확보된다.
• 모든 $ \beta_i \neq 0 $ 인 경우, 기본 행렬의 역행렬 $ Y^{-1} $ 는 $ Y^{-1} = (Y^*)^T \Lambda $ 를 통해 적분 표현이 가능하다. 여기서 $ Y^* $ 는 $ -\beta $ 를 가진 쌍대 시스템의 해이며, $ \Lambda = \text{diag}(1/\beta_1, \dots, 1/\beta_n) $ 이다.
• 상삼각형 해의 성분에 대해 초함수적 적분 표현이 수립되었으며, 이는 등형성 변형과 상삼각형 해의 맥락에서 날카로운 사이클 통합 기법을 일반화한 것이다.