이산 다루바우 다항식으로 유리 사상의 보존 적분과 측도 탐지

초록

본 논문은 유리 사상의 보존 적분과 보존 측도를 체계적으로 찾기 위한 알고리즘을 제시한다. 핵심은 이산 다루바우 다항식과 그 코팩터를 이용한 선형 방정식 풀이이며, 충분한 연산 자원이 주어지면 모든 유리 형태의 보존 적분을 찾아낼 수 있다. 두 차원 및 삼차원 예제를 통해 방법의 실용성을 확인하고, 파라미터 특수값에서 추가 적분이 나타나는 경우도 자동으로 탐지한다.

상세 분석

이 논문은 연속 미분 방정식에서의 다루바우 다항식(Darboux polynomial) 개념을 이산 시간, 즉 유리 사상에 그대로 적용하는 새로운 프레임워크를 제시한다. 연속 경우에는 다루바우 다항식 P(x)와 코팩터 C(x) 사이에 관계 (\dot P = C P) 가 성립하고, 같은 코팩터를 공유하는 두 다항식의 비율이 보존 적분이 된다. 그러나 이산 경우에는 (\displaystyle P(x_{n+1}) = C(x_n) P(x_n)) 라는 형태로 정의되며, 코팩터는 이제 유리 함수가 된다. 중요한 차이점은 이산 상황에서 코팩터들의 곱이 새로운 코팩터가 된다는 점이다. 이는 코팩터의 인수분해가 유일하게 결정되므로, 코팩터 후보를 체계적으로 열거하고 각각에 대해 선형 방정식(또는 선형 시스템)을 풀어 다루바우 다항식을 찾는 과정이 완전히 선형적 알고리즘으로 귀결된다.

저자들은 코팩터의 형태에 대한 구체적인 ‘Ansatz’를 제시한다. 사상의 공통 분모 (D(x)) 와 야코비안 행렬식 (J(x)) 의 분자 인수 (K_i(x)) 를 이용해
\