[논문 리뷰] Linear Fractional Recurrences: Periodicities and Integrability

Eric Bedford, Kyounghee Kim|ArXiv.org|2009. 10. 22.

Fractional Differential Equations Solutions참고 문헌 9인용 수 3

한 줄 요약

이 논문은 비유리 다이나믹스와 코homological degree growth를 이용하여 복소수 위에서 k-단계 선형 분수 재귀의 주기성과 적분 가능성을 조사한다. 각 k에 대해 (5.3)식을 만족하는 α, β를 갖는 k개의 서로 다른 재귀가 주기 4k를 갖는다는 것을 증명한다. 이를 위해 Picard 군 위에서의 pullback 작용을 분석하고, blow-ups를 통한 정규화 모델을 구성함으로써, 주기성과 해소된 공간의 코homology에서의 고유값 성장 간의 연결 고리를 확립한다.

ABSTRACT

We consider k-step recurrences of the form $z_{n+k} = A(z)/B(z)$, where A and B are linear functions of $z_n, z_{n+1}, ..., z_{n+k-1}$, which we call k-step linear fractional recurrences. The first Theorem in this paper shows that for each k there are k-step linear fractional recurrences which are periodic of period 4k. Among this class of recurrences, there is also the so-called Lyness process, which has the form $A(z)/B(z) = (a +z_{n+1} + z_{n+2} + ... + z_{n+k-1})/z_n$. The second Theorem shows that the Lyness process has quadratic degree growth. The Lyness process is integrable, and we discuss its known integrals.

연구 동기 및 목표

• 복소수 위에서 모든 초기 조건에 대해 k-단계 선형 분수 재귀가 주기성을 갖는 데 필요한 매개변수 집합 (α, β)를 모두 규명하는 것.
• k=2 및 k=3 케이스에서의 이전 결과를 일반적인 k로 확장하여 새로운 주기적 행동을 규명하는 것.
• 주기성과 f*가 Pic(X)에 작용하는 pullback 사상의 스펙트럼 성질, 특히 degree 성장과의 연결 고리를 설정하는 것.
• Lyness 사상 h의 적분 가능성을 degree 성장과 불변 유리 함수의 분석을 통해 연구하는 것.
• 동차 다항식 p가 p∘f = J·p를 만족할 때, J가 f의 야코비안인 경우, 이를 통해 불변 유리 함수를 체계적으로 구성하는 방법을 제공하는 것.

제안 방법

• 재귀를 P^k 위의 비유리 사상 fα,β로 표현하며, 인덱스를 이동시키고 분자와 분모가 각각 차수 k인 유리 함수를 적용한다.
• 동적 복잡도의 척도로 cohomological degree growth δ(f) = lim ||(f^n)*||^{1/n}을 사용하며, 이는 f*가 Pic(X)에 작용할 때의 스펙트럼 반경을 통해 계산된다.
• 비정상성 문제를 해결하고 (f^n)* = (f*)^n 가 Pic(X)에서 성립하도록 하기 위해 반복적인 blow-ups를 통해 정규화 모델 X를 구성한다.
• f(E) 또는 f^{-1}(E)의 codimension이 1보다 큰 예외적 초곡면 E를 식별하고, 그 궤도 구조를 기반으로 블로우업 과정을 이끌어내는 것.
• Lyness 사상 h의 경우, pullback 연산자 T가 선형 형식의 곱에 작용하는 방식을 분석하여 h^n의 degree 성장을 연구한다.
• 동차 다항식 p가 p∘f = J·p를 만족할 때, 이를 통해 불변 유리 함수를 구성한다. 여기서 J는 f의 야코비안이다.

실험 결과

연구 질문

• RQ1 복소수 위에서 모든 초기 조건에 대해 k-단계 선형 분수 재귀 (0.1)가 주기성을 갖는 (α, β)는 무엇인가?
• RQ2 이러한 재귀의 최대 비자명한 주기는 얼마이며, 이는 k에 어떻게 의존하는가?
• RQ3 재귀의 반복적 적용 f^n의 degree 성장은 적분 가능성과 불변 유리 함수의 존재와 어떻게 관련되는가?
• RQ4 Lyness 사상 h는 k>3 또는 a≠1일 때 이차 degree 성장을 보일 수 있으며, 이는 어떤 동적 행동에 대한 함의를 갖는가?
• RQ5 f에 대한 유리 불변량의 구조는 무엇이며, p∘f = J·p의 해를 통해 어떻게 체계적으로 구성할 수 있는가?

주요 결과

• 각 k ≥ 1에 대해, (5.3)식을 만족하는 α, β를 갖는 k개의 서로 다른 재귀가 존재하며, 이들은 주기 4k를 갖는다.
• 일반적인 (α, β)에 대해 degree 성장 δ(f) = Δ_k > 1 이므로, 일반적인 재귀는 주기성을 갖지 않는다.
• k > 3 또는 a ≠ 1일 때 Lyness 사상 h는 n에 대해 이차 degree 성장을 보이며, 이는 타원 섬유화를 유지하지 않는다는 의미에서 비적분 가능함을 시사한다.
• k ≥ 3일 때, 다항식 p_0 = ∏_{j=0}^k x_j 는 p_0∘f = J·p_0를 만족하며, 따라서 불변 유리 함수를 유도한다. 여기서 J는 야코비안이다.
• k ≥ 5이면서 홀수일 때, 선형 형식의 곱의 합 Φ_even + Φ_odd 는 p∘f = J·p를 만족하며, 추가적인 불변량을 제공한다.
• k > 5이면서 짝수일 때, Ψ_a와 Ψ_b의 조합이 p∘f = J·p의 해를 이루며, 이는 반복적인 pullback T를 통해 구성되며, 불변 유리 함수의 존재를 확인한다.