[논문 리뷰] Irrationality Measures, Irrationality Bases, and a Theorem of Jarnik

Jonathan Sondow|ArXiv.org|2004. 06. 15.

Advanced Mathematical Identities참고 문헌 5인용 수 13

한 줄 요약

이 논문은 무리수 측도와 기수 이론을 발전시키며, 연속 분수와 피보나치 수열을 사용한 공식을 도입한다. 무리수 기수를 정확히 지정한 시리즈를 생성하는 구조적 방법을 증명하고, 자르니크의 정리를 적용하여 특정 무리수 측도를 갖는 수를 생성하며, 명시적인 예와 경계를 제시한다.

ABSTRACT

In math.NT/0307308 we defined the irrationality base of an irrational number and, assuming a stronger hypothesis than the irrationality of Euler's constant, gave a conditional upper bound on its irrationality base. Here we develop the general theory of the irrationality exponent and base, giving formulas and bounds for them using continued fractions and the Fibonacci sequence. A theorem of Jarnik on Diophantine approximation yields numbers with prescribed irrationality measure. By another method we explicitly construct series with prescribed irrationality base. Many examples are given.

연구 동기 및 목표

• 무리수에 대한 무리수 측도와 기수의 포괄적인 이론을 수립하기 위해.
• 연속 분수와 피보나치 수열을 사용하여 무리수 측도에 대한 명시적 공식과 경계를 유도하기 위해.
• 새로운 방법을 활용하여 임의의 정해진 무리수 기수를 갖는 명시적 시리즈를 구성하기 위해.
• 자르니크의 디오판틴 근사 정리를 활용하여 주어진 무리수 측도를 갖는 수를 생성하기 위해.
• 무리수 측도와 기수에 대한 구체적인 예와 정량적 경계를 제공하기 위해.

제안 방법

• 무리수 측도와 기수를 분석하고 계산하기 위해 연속 분수 전개를 사용한다.
• 피보나치 수열의 성질을 적용하여 무리수 측도의 경계를 도출한다.
• 디오판틴 근사에 관한 자르니크의 정리를 활용하여 특정 무리수 측도를 갖는 수를 구성한다.
• 무리수 기수가 정확히 지정된 무한 급수를 생성하는 구조적 방법을 도입한다.
• 분석 기법과 수론적 도구를 결합하여 무리수 측도에 대한 명시적 공식을 도출한다.
• 유리수 근사에서 분모의 성장률과 근사 품질 간의 관계를 활용한다.

실험 결과

연구 질문

• RQ1 연속 분수를 사용하여 무리수 측도와 기수를 체계적으로 계산할 수 있는가?
• RQ2 피보나치 수열은 무리수 측도의 경계에 어떤 역할을 하는가?
• RQ3 무리수 기수가 정확히 주어진 값이 되는 명시적 급수를 구성할 수 있는가?
• RQ4 자르니크의 정리는 어떤 방식으로 정해진 무리수 측도를 갖는 수의 구성에 기여하는가?
• RQ5 이러한 방법을 사용하여 알려진 가장 날카로운 경계는 무엇인가?

주요 결과

• 논문은 연속 분수 수렴근을 사용하여 무리수 측도에 대한 명시적 공식을 제공한다.
• 피보나치 수열이 무리수 측도의 경계에 최적의 성장률을 제공함을 입증한다.
• 임의의 정해진 무리수 기수를 갖는 급수를 생성하는 구조적 방법이 개발된다.
• 자르니크의 정리를 활용하여 무리수 측도가 2 이상인 임의의 수가 존재함을 증명한다.
• 오일러 상수의 무리수 기수에 대한 경계를 조건부 가정 하에 포함한 수치적 예가 제시된다.
• 일부 근사 맥락에서 무리수 기수가 무리수 측도보다 더 정교한 불변량임이 입증된다.