2주기 린네스 방정식의 주기해 연구

초록

본 논문은 양의 주기계수 a, b를 갖는 2주기 비자율 린네스 재귀식 u_{n+2}=(a_n+u_{n+1})/u_n의 주기해 존재성을 조사한다. a=b=1인 경우 모든 궤도가 5주기를 보이는 것이 알려져 있으나, (a,b)≠(1,1)이면 무한히 많은 초기값이 주기열을 만들고, 짝수 주기는 거의 전부, a≠b일 때는 1을 제외한 모든 홀수 주기가 나타난다.

상세 분석

린네스 방정식은 고전적인 비선형 2차 차분식으로, u_{n+2}=(a+u_{n+1})/u_n 형태에서 a가 상수일 때는 5주기 현상이 전역적으로 나타난다. 이 논문은 a와 b가 교대로 나타나는 2주기 계열 a_n을 도입함으로써 비자율 시스템으로 일반화한다. 주요 연구 질문은 “(a,b)≠(1,1)인 경우, 어떤 초기값이 주기해를 생성하는가?”와 “가능한 주기의 분포는 어떻게 되는가?”이다. 저자들은 먼저 이 차분식을 2차원 평면에 정의된 비선형 사상 T_{a,b}:(x,y)↦(y,(a+ y)/x) 로 표현하고, 이 사상이 QRT 맵의 일종임을 확인한다. QRT 맵은 보존된 대수곡면, 즉 첫 적분 I_{a,b}(x,y)=const 로 정의되는 타원곡선을 갖는다. 따라서 궤적은 해당 타원곡면 위에서 회전운동을 하는 것으로 해석될 수 있다. 저자는 회전수(리만 면 위의 각도 변위 비율)를 분석하여, 특정 초기값이 유리 회전수를 가질 때 궤적이 폐곡선이 되어 주기해가 된다. 특히, (a,b)≠(1,1)인 경우 첫 적분이 비자명하게 변형되어, 회전수의 값이 연속적인 실수 구간을 차지함을 보인다. 이 연속성은 Diophantine 근사와 Kronecker 정리를 이용해, 임의의 유리수 q/p (p≥2)에 대해 회전수가 q/p에 근접하도록 초기값을 조정할 수 있음을 의미한다. 결과적으로, 모든 짝수 주기 p=2k (k≥2)는 적절한 초기값을 선택하면 실현된다. 또한 a≠b일 때는 사상의 대칭성이 깨지면서 홀수 주기도 발생한다. 저자는 1주기(고정점)와 3주기(특수 경우)만이 예외적으로 존재하지 않을 수 있음을 증명한다. 기술적으로는 타원곡선 위의 복소 매핑을 이용해 주기점의 존재와 개수를 계산하고, 베르누이 곡선의 차수와 교차수를 통해 무한히 많은 주기점이 존재함을 보인다. 마지막으로, 수치 실험을 통해 (a,b)=(0.5,2) 등 다양한 파라미터 조합에서 실제 주기열을 확인하고, 이론적 결과와 일치함을 검증한다.