근호 계수 미분방정식의 유리화 변환 알고리즘

초록

본 논문은 근호 함수를 계수로 갖는 상미분방정식(ODE)과 편미분방정식(PDE)을, 유리 함수 계수를 가진 대수적 미분방정식으로 변환하는 알고리즘을 제시한다. 핵심은 적절한 유리 변수 변환 x = r(z)를 찾는 것으로, 이 변환은 원래 방정식의 계수에 나타나는 근호들을 유리화한다. 이 방법은 선형 ODE 시스템에도 적용 가능하며, 근호 대수 다양체의 유리 재매개변수화 이론에 기반을 둔다.

상세 분석

이 논문의 기술적 핵심은 ‘타워 다양체(Tower Variety)’ V_T의 유리성 판별에 있다. 주어진 근호 계수 ODE/PDE에서 비유리 계수들을 모아 ‘근호 매개변수화(radical parametrization)’ P=(x, a(x))를 구성한다. 여기서 a(x)는 모든 비유리 계수의 튜플이다. 이 P로부터 정의되는 타워 다양체 V_T는 변수 x와 각 근호 δ_i(x)의 그래프의 Zariski 폐포이다.

핵심 정리(Corollary 3.4, 4.3)에 따르면, 이 V_T가 유리 다양체(rational variety)라면, V_T의 유리 매개변수화 Q(z) = (r(z), δ(r(z)))에서 첫 번째 성분 r(z)가 바로 우리가 찾는 유리 변수 변환이 된다. 이 r(z)를 원래 방정식에 적용하면, a(r(z))의 모든 성분이 유리 함수가 되어 전체 방정식이 대수적 미분방정식으로 변환된다. 또한 Q(z)가 가역(invertible) 매개변수화라면, 그 역함수 h를 통해 변환된 방정식의 해 Y(z)로부터 원래 방정식의 해 y(x) = Y(h(x, δ(x)))를 쉽게 복원할 수 있다.

알고리즘의 성공 여부는 V_T의 유리성에 달려 있으며, ‘추적 지수(tracing index)‘가 1인 경우 V_T가 비유리하면 변환이 존재하지 않음을 보장할 수 있다(Remark 3.6). 이 접근법의 강점은 기존의 특정 함수 형태(예: 제곱근)에 국한된 특수 기법이 아닌, 일반적인 근호 확장 체(field extension)에 대한 대수기하학적 프레임워크를 제공한다는 점이다. 이를 통해 단순한 제곱근은 물론, 중첩된 근호를 포함하는 복잡한 계수에도 체계적으로 대응할 수 있다. 논문은 이 이론이 ODE에서 PDE와 선형 시스템으로 자연스럽게 일반화됨을 보여주며, Lemma 3.1과 Theorem 4.1에서 변수 변환 시 미분 연산자가 어떻게 변환되는지 선형 변환 행렬을 통해 명시적으로 기술하여 이론의 엄밀성을 더했다.