[논문 리뷰] Little q-Legendre polynomials and irrationality of certain Lambert series

Walter Van Assche|arXiv (Cornell University)|2001. 01. 23.

Mathematical functions and polynomials참고 문헌 14인용 수 6

한 줄 요약

이 논문은 작고 $q$-레지스터 다항식과 패드 근사법을 기반으로 한 유리수 근사자들을 사용하여, $h_p(1)$ 및 $\ln_p(2)$와 같은 특정 $q$-람베르트 급수의 무리수성을 증명하는 새로운 방법을 제시한다. 유한한 무리수 성질의 상한을 이전 결과보다 더 날카롭게 설정하여 $\ln_p(2)$의 경우 $3.36295$로 개선하였고, $h_p(1)$의 경우 기존에 알려진 최고의 상한과 일치시켰다. 이는 수직 다항식 이론과 수론적 분석을 통해 달성되었다.

ABSTRACT

We show how one can obtain rational approximants for $q$-extensions of the harmonic series and the logarithm (and many other similar quantities) by Padé approximation using little $q$-Legendre polynomials and we show that properties of these orthogonal polynomials indeed prove the irrationality, with an upper bound of the measure of irrationality which is as sharp as the upper bound given by Bundschuh and Väänänen for the harmonic series and a better upper bound than the one given by Matala-aho and Väänänen for the logarithm.

연구 동기 및 목표

• 작고 $q$-레지스터 다항식을 기반으로 한 수직 다항식을 사용하여 $q$-호모로지 급수와 로그의 무리수성을 증명하는 새로운 방법을 개발한다.
• $\ln_p(2)$의 무리수 성질에 대한 상한을 이전 결과, 특히 Matala-aho와 Vänänen의 결과를 초월하여 향상시킨다.
• 소형 $q$-레지스터 다항식이 패드 근사법을 통해 $q$-람베르트 급수에 대해 효과적인 유리수 근사자들을 생성함을 보인다.
• $c$가 유리수일 때 형식 $\sum_{k=1}^\infty \frac{1}{cp^k - 1}$을 가진 일반화된 람베르트 급수로 이 방법을 확장한다.
• 기존의 $q$-수직 다항식과 점근 분석을 사용한 무리수 증명을 통합하고 강화한다.

제안 방법

• 소형 $q$-레지스터 다항식 $P_n(x|q)$를 기반으로 한 패드 근사법을 사용하여 $h_p(1)$ 및 $\ln_p(2)$의 유리수 근사자들을 구성한다.
• $\{q^k\}$에서의 $P_n(x|q)$의 수직성과 점근적 성질을 이용하여 근사 오차의 상한을 유도한다.
• $c$가 유리수일 때 $a_n$과 $b_n$을 $P_n(cp^n|q)$와 $Q_n(cp^n|q)$의 정수 조합으로 정의하며, $b^{2n}d_n(p)(c;p)_n$으로 스케일링한다.
• 레마 1을 적용하여 $b_n \in \mathbb{N}$ 및 $a_n \in \mathbb{Z}$를 만족하면서 $|b_n x - a_n| \to 0$임을 보임으로써 무리수성을 증명한다.
• $\lim_{n\to\infty} |b_n x - a_n|^{1/n^2} = p^{-\frac{3(\pi^2-4)}{2\pi^2}} < 1$의 점근적 성장률을 확립하여 무리수 성질의 상한을 유도한다.
• 부등식 $|x - a_n/b_n| = \mathcal{O}(1/b_n^{1 + \frac{\pi^2-4}{\pi^2+4} - \epsilon})$를 유도함으로써 무리수 성질을 도출하며, 이에 따라 $r \leq \frac{2\pi^2}{\pi^2 - 4}$가 된다.

실험 결과

연구 질문

• RQ1 소형 $q$-레지스터 다항식은 $h_p(1)$ 및 $\ln_p(2)$와 같은 $q$-람베르트 급수에 대해 효과적인 유리수 근사자들을 구성하는 데 사용될 수 있는가?
• RQ2 이 방법을 사용할 경우 $\ln_p(2)$의 무리수 성질에 대한 상한은 얼마이며, 이는 이전의 상한과 어떻게 비교되는가?
• RQ3 이 방법은 $c$가 유리수일 때 형식 $\sum_{k=1}^\infty \frac{1}{cp^k - 1}$을 가진 다른 람베르트 급수로 일반화될 수 있는가?
• RQ4 소형 $P_n(x|q)$에서 유도된 근사자들의 점근적 성질이 어떻게 무리수성의 증명으로 이어지는가?
• RQ5 $\ln_p(2)$의 경우 Amdeberhan과 Zeilberger의 $q$-WZ 쌍 방법보다 더 날카로운 무리수 성질 상한을 이 방법이 도출하는가?

주요 결과

• 이 방법은 $\ln_p(2)$의 무리수 성질에 대한 상한을 $\frac{2\pi^2}{\pi^2 - 4} \approx 3.36295$로 도출하였으며, 이는 Matala-aho와 Vänänen의 3.9461보다 더 날카로운 상한이다.
• $h_p(1)$의 경우, 이 방법은 기존에 알려진 최고의 상한인 $1 + \frac{\pi^2 + 2}{\pi^2 - 2} \approx 2.50828$를 재현하였으며, Bundschuh와 Vänänen의 결과와 일치한다.
• $\ln_p(2)$의 무리수성은 점근적 감쇠 $|b_n \ln_p(2) - a_n|^{1/n^2} \to p^{-\frac{3(\pi^2-4)}{2\pi^2}} < 1$을 통해 증명되었으며, 이는 레마 1의 조건을 만족한다.
• $c$가 유리수일 때 $L = \sum_{k=1}^\infty \frac{1}{cp^k - 1}$로 일반화된 경우, 무리수 성질의 상한은 $\frac{3\pi^2}{\pi^2 - 3} \approx 4.310119$로 유도되었으며, 이는 Bundschuh와 Vänänen의 결과와 일치한다.
• 분모 $b_n$의 성장률은 $b_n = p^{\frac{3(\pi^2+4)}{2\pi^2}n^2 + o(n^2)}$로 표현되며, 이는 유도된 무리수 성질 상한을 뒷받침한다.
• 소형 $q$-레지스터 다항식의 사용은 아페리의 방법 정신에 부합하는 체계적이고 강력한 무리수 증명 프레임워크를 제공하며, $\zeta(2)$ 및 $\zeta(3)$의 $q$-확장으로까지 확장 가능하다.