[논문 리뷰] On monotonicity of some combinatorial sequences

Qing-Hu Hou, Zhi‐Wei Sun외 1명|arXiv (Cornell University)|2012. 08. 19.

Advanced Mathematical Identities참고 문헌 3인용 수 10

한 줄 요약

이 논문은 루트 비율을 포함하는 여러 조합적 수열의 단조성을 증명한다: 피보나치 수열 $(\sqrt[n+1]{F_{n+1}}/\sqrt[n]{F_n})_{n \geq 4}$은 1로 엄격히 감소한다; 데라ange 수열 $(\sqrt[n+1]{D_{n+1}}/\sqrt[n]{D_n})_{n \geq 3}$은 1로 엄격히 감소한다; 그리고 $m$-번째 순서의 조화수 $(\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3}$는 모든 $m \geq 1$에 대해 엄격히 증가한다. 증명은 로그 차분의 渐近 분석과 $\gamma = \beta/\alpha$ 및 $\log(1 - \gamma^n)$의 급수 전개를 포함한 부등식에 기반한다.

ABSTRACT

We confirm Sun's conjecture that $( oot{n+1}\of{F_{n+1}}/ oot{n}\of{F_n})_{n\ge 4}$ is strictly decreasing to the limit 1, where $(F_n)_{n\ge0}$ is the Fibonacci sequence. We also prove that the sequence $( oot{n+1}\of{D_{n+1}}/ oot{n}\of{D_n})_{n\ge3}$ is strictly decreasing with limit $1$, where $D_n$ is the $n$-th derangement number. For $m$-th order harmonic numbers $H_n^{(m)}=\sum_{k=1}^n 1/k^m\ (n=1,2,3,\ldots)$, we show that $( oot{n+1}\of{H^{(m)}_{n+1}}/ oot{n}\of{H^{(m)}_n})_{n\ge3}$ is strictly increasing.

연구 동기 및 목표

• Sun의 추측, 즉 수열 $ (\sqrt[n+1]{F_{n+1}}/\sqrt[n]{F_n})_{n \geq 4} $가 엄격히 감소하고 1로 수렴한다는 것을 확인하는 것.
• 데라ange 수 $ D_n $에 대해 $ (\sqrt[n+1]{D_{n+1}}/\sqrt[n]{D_n})_{n \geq 3} $가 엄격히 감소하고 극한이 1임을 증명하는 추측을 증명하는 것.
• Sun의 추측을 검증하는 것, 즉 $ (\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3} $가 모든 양의 정수 $ m $에 대해 엄격히 증가한다는 것.
• 조합적 수열 $ (a_n) $에 대해 형태 $ (\sqrt[n+1]{a_{n+1}}/\sqrt[n]{a_n}) $의 수열이 단조성을 보일 수 있는 일반적인 조건을 설정하는 것.
• 로그 차분과 $ \log(1 - \gamma^n) $의 급수 전개를 사용한 엄밀한 渐近 및 해석적 증명을 제공하는 것.

제안 방법

• 특성 방정식의 근인 $ \alpha $와 $ \beta $를 사용하여 루카스 수열의 닫힌 표현식 $ u_n = (\alpha^n - \beta^n)/(\alpha - \beta) $을 이용해 $ \log u_n $를 분석한다.
• $ \gamma = \beta / \alpha $로 정의하고 $ \log u_n = n \log \alpha + \log(1 - \gamma^n) - \log \sqrt{\Delta} $로 표현함으로써 渐近 분석이 가능하게 한다.
• 수열의 단조성을 판단하기 위해 차분 $ \Delta_n = \frac{2\log u_{n+1}}{n+1} - \frac{\log u_n}{n} - \frac{\log u_{n+2}}{n+2} $을 분석한다.
• 조화수 분석에서 로그 항을 유계로 둘러싸기 위해 $ x > 0 $에 대해 $ \log(1 + x) > x - x^2/2 $의 부등식을 적용한다.
• $ H_n^{(m)} \log H_n^{(m)} $의 유계와 渐近 추정치를 사용하여 차분 $ \Delta_n(m) $가 음수임을 보이고, 이는 엄격한 증가를 의미한다.
• 소규모 $ n $ 및 $ m $에 대해 직접 계산을 통해 엄격한 단조성을 검증하고, 분석적 유계를 사용하여 모든 $ n \geq 30 $ 또는 $ m \geq 11 $로 확장한다.

실험 결과

연구 질문

• RQ1 수열 $ (\sqrt[n+1]{F_{n+1}}/\sqrt[n]{F_n})_{n \geq 4} $는 엄격히 감소하고 1로 수렴하는가?
• RQ2 $ \sqrt[n+1]{D_{n+1}}/\sqrt[n]{D_n} $는 $ n \geq 3 $에서 엄격히 감소하며 1로 수렴하는가?
• RQ3 $ (\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3} $는 모든 양의 정수 $ m $에 대해 엄격히 증가하는가?
• RQ4 모든 $ A > 0 $, $ B \neq 0 $, $ \Delta > 0 $를 만족하는 일반 루카스 수열 $ u_n(A,B) $에 대해 비율 $ \sqrt[n+1]{u_{n+1}}/\sqrt[n]{u_n} $는 최종적으로 엄격히 감소하고 1로 수렴하는가?
• RQ5 조합적 수열 $ a_n $에 대해 $ (\sqrt[n+1]{a_{n+1}}/\sqrt[n]{a_n}) $의 단조성을 증명하는 데 사용할 수 있는 분석 기법은 무엇인가?

주요 결과

• 수열 $ (\sqrt[n+1]{F_{n+1}}/\sqrt[n]{F_n})_{n \geq 4} $는 엄격히 감소하고 1로 수렴하며, Sun의 추측을 확인한다.
• 수열 $ (\sqrt[n+1]{D_{n+1}}/\sqrt[n]{D_n})_{n \geq 3} $는 엄격히 감소하고 1로 수렴하며, 데라ange 수에 대한 Sun의 추측을 증명한다.
• 모든 $ m \geq 1 $에 대해 수열 $ (\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3} $는 엄격히 증가하며, Sun의 추측 2.16을 확인한다.
• 모든 $ A > 0 $, $ B \neq 0 $, $ \Delta > 0 $를 만족하는 루카스 수열 $ u_n(A,B) $에 대해 비율 $ \sqrt[n+1]{u_{n+1}}/\sqrt[n]{u_n} $는 최종적으로 엄격히 감소하고 1로 수렴한다.
• 로그 차분과 $ \log(1 - \gamma^n) $에 대한 유계를 사용한 증명 기법은 조합적 수열의 루트 비율 단조성 분석에 효과적이다.
• $ \sqrt[n+1]{a_{n+1}}/\sqrt[n]{a_n} $가 단조성을 가지는 수열의 집합은 곱셈에 대해 닫혀 있으며, 이러한 수열의 구조적 성질을 시사한다.