비선형 평면 사상의 아놀드 복잡도와 차분 방정식

이 논문은 복소 평면 C²에 정의된 비선형 다항식 사상 Fₙ을 프로젝트화하여 CP² 상의 사상 Φₙ: CP²→CP²를 만든 뒤, 그 반복 사상 Φₙᵏ의 차수 d(k)=deg(Φₙᵏ)를 연구한다. 차수 d(k)는 아놀드 복잡도 C_A(k)와 직접적인 관계가 있으며, 이는 동역학계의 복잡도와 적분 가능성을 판단하는 중요한 양이다. 먼저, 사상 Φₙ은 동차 다항식 φ₁, φ₂, φ₃으로 표현되며 차수 n을 갖는다. 역사상 Φₙ^{-1}도 동일한 형태로 정의된다. 두 사상 모두 정의되지 않는 점, 즉 인디터미니시티 점(F‑점) O_α와 O^{(-1)}_β가 존재한다. 각각 σ, σ개의 점이 존재하며, 이 점들은 사상의 기하학적 구조를 결정한다. 핵심 아이디어는 인디터미니시티 점 사이에 존재하는 관계 Φₙ^{-m_i}(O_{α_i})=O^{(-1)}_{β_i}를 이용해 정수 m_i(≥0)를 정의하는 것이다. 이러한 관계는 σ₁개의 서로 다른 쌍을 만든다(σ₁≤σ). 저자는 이 관계들을 통해 차수 d(k)의 재귀식을 유도한다. 구체적인 차분 방정식은  d(k)=n·d(k‑1)−∑_{i=1}^{σ₁} d(k‑m_i‑1) (k≥max m_i+1) 이며, 초기값 d(0)=1, d(1)=n, 그리고 필요에 따라 d(k) for k≤max m_i는 직접 계산한다. 이 방정식은 자율적이며 정수 계수를 가진 선형 차분 방정식이다. 차분 방정식의 특성 다항식(세큘러 방정식)  λ^{σ₁+1}−n·λ^{σ₁}+∑_{i=1}^{σ₁} λ^{σ₁−m_i}=0 의 근 λ_j는 복소 평면에 위치한다. d(k)는 λ_j⁽ᵏ⁾의 선형 결합으로 전개되므로, 근의 절대값이 성장률을 결정한다. - 모든 λ_j의 절대값이 1보다 작으면 d(k)는 유한한 상수에 수렴한다. - 어떤 λ_j가 절대값 1이면 d(k)는 다항식적으로 성장한다(예: λ=1이면 d(k)∼k^{p}). - 절대값이 1보다 크면 지수적 성장 d(k)∼|λ|^{k}가 된다. 특히 σ₁=0인 경우, 즉 인디터미니시티 점 사이에 위와 같은 매핑이 존재하지 않으면 차분 방정식이 단순히 d(k)=n·d(k‑1)으로 귀결되어 d(k)=n^{k}가 된다. 이는 일반적인 비정규 사상의 차수 성장과 일치한다. 반면 σ₁>0이면 차수 성장은 근 스펙트럼에 의해 완전히 규정된다. 베셀로프가 제시한 “아놀드 복잡도는 다항적으로 제한된다”는 추측은 바로 λ_j의 절대값이 1 이하라는 조건과 동치이다. 따라서 적분 가능한 사상은 반드시 σ₁>0이며, 그에 대응하는 m_i 값이 존재하고, 차분 방정식의 근이 단위 원 안에 있거나 원 위에 있어야 한다. 논문은 이러한 일반 이론을 구체적인 예제로 뒷받침한다. 먼저 Cremona 변환(특히 2차 Cremona 사상)의 구조를 소개한다. Noether 정리에 따라 임의의 Cremona 사상은 선형 변환과 2차 사상의 합성으로 표현될 수 있다. 이를 이용해 인디터미니시티 점들의 위치와 multiplicity를 계산하고, σ와 σ₁을 구한다. 예시 1에서는 σ₁=1, m₁=1인 경우를 다루며, 차분 방정식은 d(k)=n·d(k‑1)−d(k‑2) 형태가 된다. 특성 방정식 λ²−nλ+1=0의 근이 복소 단위 원 위에 있으면 d(k)∼k·(n/2)^{k}와 같은 다항-지수 혼합 성장이다. 예시 2에서는 σ₁=2, m₁=1, m₂=2인 경우를 분석한다. 차분 방정식은 d(k)=n·d(k‑1)−d(k‑2)−d(k‑3)이며, 특성 방정식 λ³−nλ²+λ+1=0의 근을 통해 성장률을 정확히 예측한다. 이러한 구체적 계산은 차분 방정식이 실제 사상의 복잡도와 정확히 일치함을 보여준다. 또한, 차분 방정식의 계수가 정수이고, 근이 대수적 수이므로, 수치적으로도 안정적인 계산이 가능하다. 마지막으로, 논문은 차분 방정식이 동역학계의 적분 가능성을 판단하는 새로운 대수기하학적 도구가 될 수 있음을 강조한다. 기존의 베셀로프 추측은 경험적 사례에 기반했지만, 여기서는 차분 방정식과 근 스펙트럼을 통해 일반적인 증명 틀을 제시한다. 향후 연구 방향으로는 고차원(CPⁿ) 사상에 대한 확장, 비정규(σ₁=0) 사상의 특수한 성장 패턴 분석, 그리고 차분 방정식의 계수를 직접적으로 인디터미니시티 점의 기하학적 데이터와 연결하는 방법론 개발이 제시된다.