[논문 리뷰] Construction of Single-valued Solutions for Nonintegrable Systems with the Help of the Painleve Test

S. Yu. Vernov|arXiv (Cornell University)|2004. 07. 27.

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

한 줄 요약

이 논문은 비통합 비선형 상미분방정식(nonintegrable nonlinear ODEs)에 대해 파벨레 테스트를 사용하여 단일값 해(타원, 삼각함수, 유리)를 구성하는 컴퓨터 대수 알고리즘을 제시한다. 로렌트 급수 해를 고정된 매개변수 변수에서 비선형 대수계로 변환함으로써, 일阶 미분방정식의 차수에 의존하지 않도록 하여 맵과 레드류에서 그로버 기반을 이용한 효율적인 전역 해 계산을 가능하게 한다.

ABSTRACT

The Painleve test is very useful to construct not only the Laurent-series solutions but also the elliptic and trigonometric ones. Such single-valued functions are solutions of some polynomial first order differential equations. To find the elliptic solutions we transform an initial nonlinear differential equation in a nonlinear algebraic system in parameters of the Laurent-series solutions of the initial equation. The number of unknowns in the obtained nonlinear system does not depend on number of arbitrary coefficients of the used first order equation. In this paper we describe the corresponding algorithm, which has been realized in REDUCE and Maple.

연구 동기 및 목표

• 비통합 비선형 상미분방정식에 대해 전역 단일값 해(타원, 삼각함수, 유리)를 체계적으로 구성하는 방법을 개발한다.
• 기존의 파벨레 테스트 적용의 한계를 극복하기 위해 국소 로렌트 급수 해를 이용해 전역 일阶 다항 상미분방정식을 유도한다.
• 불필요한 계산을 피하기 위해 관련 항들만 계산하는 컴퓨터 대수 알고리즘을 설계한다.
• 결과로 얻어진 대수계에서의 미지수의 수가 일阶 상미분방정식의 차수에 독립적이게 하여 확장 가능성을 확보한다.

제안 방법

• 이동 가능한 특이점 근처의 국소 로렌트 급수 해의 주요 행동과 공진성을 식별하기 위해 파벨레 테스트를 적용한다.
• 다음 형태의 일계 자율 다항 상미분방정식을 구성한다: $\sum_{k=0}^{m}\sum_{j=0}^{2m-2k}a_{jk}y^j y_t^k = 0$ 이며 $a_{0m} = 1$ 이다. 브리오-부아 쟈 정리에 의해 단일값 일반 해를 확보한다.
• 이 상미분방정식을 로렌트 급수 전개 $F(y_t, y) = \sum_{s=-m(p+1)}^{N_{\text{max}}}} K_s t^s$ 로 변환하고, 계수 $K_s = 0$ 를 등치시켜 $a_{ij}$ 에 대한 과잉 결정된 대수계를 형성한다.
• 맵과 레드류에서 기호 계산을 사용하여 로렌트 전개에서 유용한 항들만 생성함으로써 계산 오버헤드를 최소화한다.
• 이를 통해 다섯 개의 매개변수에만 의존하는 비선형 대수계로 시스템을 축소한다: $\lambda_1, \lambda_2, H$, 그리고 로렌트 급수에서 유도된 두 개의 임의 계수로, $m$ 에 무관하다.
• 그로버 기반 방법을 사용하여 결과 대수계를 풀어 타당한 단일값 해를 유도하는 일致한 매개변수 조합을 찾는다.

실험 결과

연구 질문

• RQ1 파벨레 테스트를 형식적 로렌트 급수를 초월해 전역 단일값 해를 체계적으로 구성하는 데 사용할 수 있는가?
• RQ2 결과 대수계의 미지수 수를 일계 상미분방정식의 차수 $m$ 에서 분리할 수 있는가?
• RQ3 로렌트 전개에서 불필요한 계산을 피하기 위해 필요한 항들만 효율적으로 계산하는 가장 좋은 방법은 무엇인가?
• RQ4 이 방법은 일반화된 헨온-헤일레 시스템과 같이 비통합 시스템에 대해 타원, 삼각함수, 또는 유리 해를 생성할 수 있는가?
• RQ5 맵과 레드류와 같은 기호 계산 도구를 어떻게 최적화하여 사전에 정의된 로렌트 급수 해를 갖는 일계 상미분방정식 유도를 자동화할 수 있는가?

주요 결과

• 알고리즘은 로렌트 급수 해를 비선형 대수계로 변환함으로써, 상미분방정식의 차수 $m$ 에 관계없이 오직 다섯 개의 미지수만을 포함하는 전역 단일값 해를 성공적으로 구성한다.
• 불필요한 항들을 계산하지 않도록 로렌트 전개에서만 유용한 구성요소를 생성함으로써, 낭비적인 접근에 비해 계산 효율성이 크게 향상된다.
• C = -16/5 인 일반화된 헨온-헤일레 시스템의 경우, 알고리즘은 $x^2$ 가 타원 함수임을 식별하여, 네계 미분방정식을 유도하지 않고도 해를 구성할 수 있게 한다.
• 이 알고리즘은 맵과 레드류 모두에 구현되었으며, `equlaurlist` 및 `equalist` 와 같은 절차를 통해 로렌트 급수와 계수계의 자동 생성이 가능하다.
• 최종적으로 얻어진 매개변수에 대한 비선형 대수계는 그로버 기반으로 해를 구할 수 있으며, 타당한 특수해를 유도하는 일치하는 매개변수 조합을 회복할 수 있다.
• 이 방법은 일반적이며, 로렌트 급수 해가 알려진 모든 시스템에 적용 가능하며, 해가 탈탈 타원 또는 유리 함수일 경우에도 적용 가능하다.