[논문 리뷰] On the Lax pairs of the sixth Painleve' equation

Robert Conte|arXiv (Cornell University)|2007. 01. 24.

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

한 줄 요약

이 논문은 제6 피카르 방정식(P6)에 대한 해석적 행렬 라크스 쌍의 구축을 조사한다. 존재하는 행렬 이소모노드로omic 공식화에서 한 개의 단순주기 지수에 대해 유리형 의존성을 보이는 주요 한계를 해결하고자 한다. L 행렬에 대해 키무라 유형의 가정(Ansatz)을 제안함으로써, 매개변수 θj에 대해 해석적 의존성과 u, u', x에 대해 유리형 의존성을 동시에 확보하고자 하며, 아직 해결되지 않은 과제로 남아 있는 완전히 해석적이고 유리형인 행렬 라크스 쌍의 구축로 이르는 길을 제시한다.

ABSTRACT

The dependence of the sixth equation of Painleve' on its four parameters $(2 α,-2 β,2 γ,1-2 δ) =(θ_{\infty}^2,θ_{0}^2,θ_{1}^2,θ_{x}^2)$ is holomorphic, therefore one expects all its Lax pairs to display such a dependence. This is indeed the case of the second order scalar ``Lax'' pair of Fuchs, but the second order matrix Lax pair of Jimbo and Miwa presents a meromorphic dependence on $θ_\infty$ (and a holomorphic dependence on the three other $θ_j$). We analyze the reason for this feature and make suggestions to suppress it.

연구 동기 및 목표

• P6에 대한 지마보-미와 행렬 라크스 쌍에서 θ∞에 대해 유리형 의존성을 보이는 문제를 해결하고자 하며, 이는 P6 자체의 해석적 매개변수 의존성과 모순된다.
• 모든 네 개의 단순주기 지수 θj = (θ∞, θ0, θ1, θx)에 대해 해석적인 라크스 쌍을 갖는 두 번째 차수의 행렬 라크스 쌍을 구축하고자 한다.
• 지마보-미 구축 방식을 초월하여, 이전 연구에서 제안된 바와 같이 t에 대한 선형 항을 포함하는 라크스 행렬 L에 대한 다른 가정(Ansatz)을 탐색하고자 한다.
• 결과적으로 유도된 행렬 라크스 쌍이 u, u', x에 대해 유리형 의존성을 유지하면서도 θj 매개변수에 대해 해석적이게 되는 조건을 규명하고자 한다.

제안 방법

• 라크스 행렬 L에 대해 키무라 유형의 가정을 채택하며, L = -Mx/(t-x) + m M∞로 가정한다. 여기서 m는 구해야 할 함수이다.
• t에 대한 미분방정식 시스템을 통해 단순주기 행렬 M을 정의하며, M∞는 상수이고, M0, M1, Mx는 특정한 교환관계를 만족시킨다.
• 통합성 확보를 위해 t-미분에 대한 변수 zj의 도함수와 진화 방정식 간의 일致성을 요구함으로써 시스템의 닫힘 조건을 도입한다.
• 행렬 시스템과 스칼라 푸크시안 공식화를 연결하기 위해 공식 X = Sx + Cttt + CSt + 2CtS = 0의 공통성 조건을 통해 스칼라 라크스 쌍을 식별한다.
• t = u에서의 잠재적 특이점이 Fuchs 지수 차이가 3(표준 P6의 경우 2와 다름)가 되도록 하는 조건을 도입함으로써 시스템을 제약한다. 이는 표준 P6 라크스 쌍과의 차이를 나타낸다.
• 일致성 조건을 만족하기 위해 필요로 하는 다항식 관계 F(z∞, u∞, θ∞, u0, θ0, ux, θx, u, x, e^{iφ}) = 0를 유도하며, F는 각 변수에 대해 차수 2이다.

실험 결과

연구 질문

• RQ1 왜 지마보-미 행렬 라크스 쌍은 P6 자체의 해석적 매개변수 의존성과는 대조적으로 θ∞에 대해 유리형 의존성을 보이는가?
• RQ2 모든 네 개의 단순주기 지수 θj에 대해 해석적인 라크스 쌍을 갖는 P6에 대한 두 번째 차수의 행렬 라크스 쌍을 구성할 수 있는가?
• RQ3 라크스 형식에 대해 θj에 대해 해석적 의존성과 동시에 u, u', x에 대해 유리형 의존성을 동시에 확보하는 것이 가능한가?
• RQ4 지마보-미 구축 방식을 초월하여, 해석적이고 유리형인 행렬 라크스 쌍을 도출할 수 있는 라크스 행렬 L에 대한 다른 가정(Ansatz)은 무엇인가?
• RQ5 키무라 유형의 시스템에서의 잠재적 특이점의 구조와 표준 P6 라크스 쌍 간의 변환은 결과적으로 라크스 쌍의 성질에 어떤 영향을 미치는가?

주요 결과

• 지마보-미 행렬 라크스 쌍은 P6 방정식 자체의 해석적 매개변수 의존성과는 대조적으로 θ∞에 대해 유리형 의존성을 보인다.
• L에 대해 키무라 유형의 가정을 적용하면 모든 θj에 대해 해석적 의존성을 갖는 시스템을 얻을 수 있지만, 결과적으로 유도된 행렬 요소는 u', u, x에 대해 대수적 함수이지 유리 함수가 아니다.
• t = u에서 단일한 잠재적 특이점이 존재하는 조건은 Fuchs 지수 차이가 3이 되도록 하며, 이는 표준 P6의 경우(차이가 2)와 다름을 의미한다. 이는 다른 기저 ODE 구조를 암시한다.
• 시스템의 일치성은 z∞, u∞, θ∞, u0, θ0, ux, θx, u, x, 그리고 각도 φ를 포함하는 다항식 관계 F = 0를 통해 보장되며, 이 관계는 시스템을 닫기 위해 반드시 해결되어야 한다.
• 최종적으로 유도된 행렬 라크스 쌍은 표준 스칼라 P6 라크스 쌍으로의 이분형 변환을 거쳐서는 안 되며, 이는 다른 해 공간을 의미한다.
• 논문은 θj에 대해 해석적이면서도 u, u', x에 대해 유리형인 라크스 쌍을 달성하기 위해서는 선형 항을 포함하는 새로운 가정(가능한 한)이 필요하다고 결론을 내린다.