[논문 리뷰] An irrationality measure for Liouville numbers and conditional measures for Euler's constant

Jonathan Sondow|ArXiv.org|2003. 07. 23.

Advanced Mathematical Identities참고 문헌 7인용 수 4

한 줄 요약

이 논문은 표준 무리수 측도를 밑 β로 대체함으로써 리우빌 수와 비리우빌 수를 구별하는 새로운 측도인 '무리수의 밑' β(t)를 소개한다. 로그 선형형식에 대한 조건을 가정하며, 이는 페르난도 세바의 수치적 증거에 의해 지지된다. 이 조건 하에 오일러 상수 γ의 무리수의 밑에 대한 상계를 증명한다. 만약 이 조건이 실패한다면, γ의 표준 무리수 측도 μ(γ)에 대한 상계를 확립한다.

ABSTRACT

The irrationality exponent $μ(t)$ of an irrational number t, defined using the irrationality measure $1/q^μ$, distinguishes among non-Liouville numbers and is infinite for Liouville numbers. Using the irrationality measure $1/β^q$, we define the "irrationality base" $β(t)$, which distinguishes among Liouville numbers and is 1 for non-Liouville numbers. We give some properties and examples. Assuming a condition on certain linear forms in logarithms, for which we present numerical evidence supplied by P. Sebah, we prove an upper bound on the irrationality base of Euler's constant, $γ$. If $γ$ is irrational and the condition turns out to be false in a certain strong sense, we prove an upper bound on $μ(γ)$.

연구 동기 및 목표

• 리우빌 수와 비리우빌 수를 구별할 수 있는 새로운 측도인 '무리수의 밑' β(t)를 정의하는 것.
• 로그 선형형식에 대한 조건을 가정하여 오일러 상수 γ의 무리수의 밑을 분석하는 것.
• 특정 수론적 조건을 가정할 경우 γ의 무리수의 밑에 대한 상계를 제공하는 것.
• 이 조건이 강한 의미에서 실패할 경우 표준 무리수 측도 μ(γ)에 미치는 영향을 탐구하는 것.

제안 방법

• t에 대한 유리수 근사의 감쇠율 1/β^q를 사용하여 무리수의 밑 β(t)를 정의한다.
• 표준 무리수 측도 μ(t)를 기준으로 삼지만, 이를 β(t)의 관점으로 재구성하여 리우빌 수를 구별한다.
• 페르난도 세바의 수치적 증거에 기반한 로그 선형형식에 대한 조건을 가정하여 β(γ)에 대한 상계를 도출한다.
• 특히 로그 형식을 포함한 초월수 이론의 결과를 적용하여 근사 오차의 증가를 제약한다.
• 조건부 추론을 사용: 로그 형식 조건이 강한 의미에서 실패한다면, μ(γ)에 대한 상계를 유도한다.
• 기존의 무리수 측도 및 리우빌 수 이론의 결과를 활용하여 β(t)의 이론적 프레임워크를 확립한다.

실험 결과

연구 질문

• RQ1 리우빌 수들 사이를 더 정교하게 구별할 수 있는 무리수 측도의 의미 있는 개선은 무엇인가?
• RQ2 로그 선형형식에 대한 특정 가정 하에 오일러 상수 γ의 무리수의 밑 β(γ)는 어떻게 행동하는가?
• RQ3 로그 선형형식 조건이 성립한다고 가정할 경우 β(γ)에 대해 어떤 상계를 확립할 수 있는가?
• RQ4 로그 선형형식 조건이 강한 의미에서 실패한다면 표준 무리수 측도 μ(γ)는 어떻게 되는가?
• RQ5 로그 선형형식 조건에 대한 수치적 증거는 γ의 무리수에 대한 이론적 상계를 뒷받침하는 데 사용될 수 있는가?

주요 결과

• 무리수의 밑 β(t)는 비리우빌 수에 대해 β(t) = 1이고 리우빌 수에 대해 β(t) > 1가 되도록 정의되며, 이는 리우빌 수들 사이의 더 정교한 구별을 가능하게 한다.
• 페르난도 세바의 수치적 증거에 의해 지지되는 로그 선형형식에 대한 조건을 가정할 경우, 오일러 상수 γ의 무리수의 밑에 대한 상계가 확립된다.
• 로그 선형형식 조건이 강한 의미에서 실패한다면, 논문은 표준 무리수 측도 μ(γ)에 대한 상계를 증명하지만, 정확한 값은 명시되지 않는다.
• 논문은 무리수의 밑의 예와 성질을 제시하며, 이가 리우빌 수를 분류하는 데 유용함을 보여준다.
• 결과는 초월수 이론의 깊은 추측에 조건적으로 의존하며, 조건의 타당성은 수치 계산에 의해 강화된다.
• 이 작업은 수론에서 가장 중요한 열린 문제 중 하나인 γ의 근사 성질에 대한 이해에 기여한다.