[논문 리뷰] On the Closed-Form Solution of a Nonlinear Difference Equation and Another Proof to Sroysang's Conjecture

Julius Fergy T. Rabago|arXiv (Cornell University)|2016. 04. 22.

Advanced Mathematical Theories and Applications참고 문헌 9인용 수 5

한 줄 요약

이 논문은 비선형 차분방정식 $ x_{n+1} = \frac{1}{\pm 1 + x_n} $에 대해 변환 기반 분석을 사용하여 닫힌 형태의 해를 유도하며, 이는 이전에 귀납법을 통해 구한 공식의 이론적 근거를 제공한다. 그 다음 이 해를 활용해 Sroysang의 추측에 대한 대체 증명을 제시하며, 임의의 실수 함수 $ f $가 $ f(x+2k) = f(x+k) + f(x) $를 만족할 경우, $ x \to \infty $일 때 비율 $ \frac{f(x+k)}{f(x)} \to \phi $임을 보여주며, 여기서 $ \phi = \frac{1+\sqrt{5}}{2} $는 황금비이다.

ABSTRACT

The purpose of this paper is twofold. First, we derive theoretically, using appropriate transformation on $x_n$, the closed-form solution of the nonlinear difference equation \[ x_{n+1} = \frac{1}{\pm 1 + x_n},\qquad n\in \mathbb{N}_0. \] We mention that the solution form of this equation was already obtained by Tollu et al. in 2013, but through induction principle, and one of our purpose is to clearly explain how was the formula appeared in such structure. After that, with the solution form of the above equation at hand, we prove a case of Sroysang's conjecture (2013); i.e., given a fixed positive integer $k$, we verify the validity of the following claim: \[ \lim_{x ightarrow \infty}\left\{ \frac{f(x+k)}{f(x)} ight\}= ϕ, \] where $ϕ=(1+\sqrt{5})/2$ denotes the well-known golden ratio and the real valued function $f$ on $\mathbb{R}$ satisfies the functional equation $f(x+2k)=f(x+k) + f(x)$ for every $x\in \mathbb{R}$. We complete the proof of the conjecture by giving out an entirely different approach for the other case.

연구 동기 및 목표

• 비선형 차분방정식 $ x_{n+1} = \frac{1}{\pm 1 + x_n} $에 대한 닫힌 형태의 해를 이론적으로 유도하여, 귀납법을 초월한 공식의 기원을 설명하는 것.
• 피보나치 유사 함수의 渐近적 행동에 관해 Sroysang의 추측을 대체로 증명하는 것. 특히, $ \lim_{x \to \infty} \frac{f(x+k)}{f(x)} = \phi $임을 보이는 것.
• 이 방법을 홀수 피보나치 함수와 호라담 형식의 함수로 확장하여, Sroysang의 두 번째 추측의 일반화된 형태를 검증하는 것.
• 고정점과 특이점의 역할을 명확히 하여, 잘 정의된 해를 보장하기 위해 제외된 초기값 $ x_0 \in \{\alpha^{-1}, \beta^{-1}\} \cup \{-\varphi_m\} $의 중요성을 밝혀내는 것.

제안 방법

• 비선형 차분방정식 $ x_{n+1} = \frac{1}{\pm 1 + x_n} $에 변환을 적용하여 피보나치 수를 포함한 닫힌 형태의 해를 도출하는 것.
• 변환된 방정식의 해를 사용하여 비율 수열 $ g_n = \frac{f(x + nk)}{f(x + (n+1)k)} $를 모델링하고, 이 수열이 $ g_{n+1} = \frac{1}{1 + g_n} $의 차분방정식과 연결됨을 보이는 것.
• 연분수의 성질과 $ \phi - 1 = [0;1,1,1,\ldots] $라는 사실을 이용하여 $ g_n $ 이 $ \phi - 1 $으로 수렴함을 분석하는 것.
• 관계식 $ \frac{f(x+k)}{f(x)} = \frac{1}{g_n} $를 이용하여 $ \frac{1}{\phi - 1} = \phi $ 이므로 $ \lim_{x \to \infty} \frac{f(x+k)}{f(x)} = \phi $임을 유도하는 것.
• 홀수 호라담 함수에 대해 $ w_{-n} = (-1)^{n+1} w_n $라는 항등식을 활용하고, $ h_{n+1} = \frac{q}{-p + h_n} $의 해 형태를 적용하여 Sroysang의 두 번째 추측을 검증하는 것.
• 기초 분석과 캄토르의 교차 정리(Intersection Theorem)를 사용하여 $ g_n $을 포함하는 중첩된 구간의 수렴성을 엄밀히 확립하여 극한 행동을 확인하는 것.

실험 결과

연구 질문

• RQ1 비선형 차분방정식 $ x_{n+1} = \frac{1}{\pm 1 + x_n} $의 닫힌 형태의 해는 어떻게 이론적으로 유도할 수 있으며, 귀납법을 초월한 공식의 기원은 무엇인가?
• RQ2 함수 $ f $가 $ f(x+2k) = f(x+k) + f(x) $를 만족할 경우, $ x \to \infty $일 때 비율 $ \frac{f(x+k)}{f(x)} $가 황금비 $ \phi $로 수렴하는가? 이는 이전 방법과 독립적으로 증명될 수 있는가?
• RQ3 동일한 분석적 접근법을 홀수 피보나치 함수와 주기 $ k $를 가진 호라담 함수로 확장할 수 있으며, 이는 Sroysang의 두 번째 추측을 검증하는가?
• RQ4 차분방정식의 잘 정의됨에 있어 $ \alpha^{-1}, \beta^{-1} $ 및 $ \{-\varphi_m\} $과 같은 제외된 초기값의 의미는 무엇인가?
• RQ5 연분수 표현과 중첩된 구간의 성질은 $ g_n $ 이 $ \phi - 1 $으로 수렴하는 데 어떻게 기여하며, 이는 황금비와 어떻게 관련되는가?

주요 결과

• 비선형 차분방정식 $ x_{n+1} = \frac{1}{\pm 1 + x_n} $의 닫힌 형태의 해는 변환을 통해 유도되었으며, $ x_n = \frac{F_{\pm n} + F_{\pm(n-1)}x_0}{F_{\pm(n+1)} + F_{\pm n}x_0} $로 표현되며, 이는 귀납법을 초월한 공식의 기원을 설명한다.
• 수열 $ g_n = \frac{f(x + nk)}{f(x + (n+1)k)} $는 $ \phi - 1 $로 수렴하며, 이는 $ \phi - 1 $의 연분수 표현 덕분이며, 이는 $ \frac{f(x+k)}{f(x)} \to \phi $를 의미한다.
• 모든 실수 함수 $ f $가 피보나치 함수 방정식 $ f(x+2k) = f(x+k) + f(x) $를 만족할 경우, 비율의 渐近적 비율 $ \lim_{x \to \infty} \frac{f(x+k)}{f(x)} = \phi $가 엄밀히 증명되었으며, Sroysang의 추측을 확인한다.
• 이 방법은 홀수 피보나치 함수로 확장되며, 주기 $ k $를 가진 홀수 호라담 함수에 대해 $ \lim_{x \to \infty} \frac{f(x+k)}{f(x)} = -\phi $임을 증명함으로써, Sroysang의 두 번째 추측을 특수 케이스로 검증한다.
• $ g_n $의 수렴성은 중첩된 구간의 성질을 이용하여 확립되었으며, $ g_n $은 $ \left[\frac{F_n}{F_{n+1}}, \frac{F_{n+1}}{F_{n+2}}\right] $ 또는 그 역순(짝수/홀수에 따라 다름)의 구간에 속하며, 여기서 $ \frac{F_n}{F_{n+1}} \to \phi^{-1} = \phi - 1 $이다.
• 음수 인덱스를 가진 호라담 함수로의 일반화는 항등식 $ w_{-n} = (-1)^{n+1} w_n $를 활용하고, $ h_{n+1} = \frac{q}{-p + h_n} $의 해를 결합하여, 짝수와 홀수의 경우 각각 $ \pm \phi $로 수렴함을 확인한다.