Painlevé 급수만으로 찾는 준다항식 첫 적분법

본 논문은 Painlevé‑Laurent 급수만을 이용해 자율 미분계의 준다항식(first‑integral) 형태를 체계적으로 구축하는 새로운 알고리즘을 제시한다. 연구 배경으로는 Painlevé 검사가 시스템의 적분가능성에 대한 필요조건을 제공하지만, 실제 첫 적분을 찾는 과정은 별도의 대수·기하학적 방법에 의존해 왔다는 점을 들었다. 저자들은 이러한 절차를 Painlevé 급수 자체만으로 첫 적분을 복원할 수 있는 방법으로 통합한다. **1. 문제 설정 및 기본 가정** 시스템은 \(\dot x_i = F_i(x_1,\dots ,x_n)\) 형태이며, \(F_i\)는 유리 지수 \(q_{ijk}\)를 갖는 준모노미얼들의 합으로 표현된다(식 (2)). 이는 Goriely가 제시한 ‘quasi‑polynomial’ 형태와 동일하다. 첫 적분 \(I(\mathbf{x})\)는 \(\frac{dI}{dt}=0\)을 만족하는 함수이며, 특히 ‘quasi‑polynomial’ 형태를 가정한다. **2. Yoshida 정리와 차수 제한** Yoshida(1983)의 정리를 활용해, 특정 밸런스 \(x_i = b_i \tau^{\lambda_i}\)에 대해 가중‑동차 적분 \(\Phi\)의 차수 \(M\)이 해당 밸런스의 Kowalevski 고유값 중 하나와 일치한다는 제약을 도출한다(정리 1). 이는 \(\sum_i k_i \lambda_i = M\)이라는 관계를 통해 적분에 포함될 준모노미얼 항들의 지수 조합을 제한한다. 실제 구현에서는 이 제약을 부등식 형태(예: \(2q_1+3q_2\le6\))로 변환한다. **3. Painlevé 급수 전개와 선형 방정식** 시스템이 갖는 Painlevé‑type 급수 \