2025-11-23T08:31:17.127218

Continued fractions and irrationality exponents for modified Engel and Pierce series

Hone, Varona

An Engel series is a sum of reciprocals of a non-decreasing sequence $(x_n)$ of positive integers, which is such that each term is divisible by the previous one, and a Pierce series is an alternating sum of the reciprocals of a sequence with the same property. Given an arbitrary rational number, we show that there is a family of Engel series which when added to it produces a transcendental number $Î±$ whose continued fraction expansion is determined explicitly by the corresponding sequence $(x_n)$, where the latter is generated by a certain nonlinear recurrence of second order. We also present an analogous result for a rational number with a Pierce series added to or subtracted from it. In both situations (a rational number combined with either an Engel or a Pierce series), the irrationality exponent is bounded below by $(3+\sqrt{5})/2$, and we further identify infinite families of transcendental numbers $Î±$ whose irrationality exponent can be computed precisely. In addition, we construct the continued fraction expansion for an arbitrary rational number added to an Engel series with the stronger property that $x_j^2$ divides $x_{j+1}$ for all $j$.

academic

수정된 Engel 및 Pierce 급수의 연분수와 무리수 지수

기본 정보

논문 ID: 1810.10127
제목: Continued fractions and irrationality exponents for modified Engel and Pierce series
저자: Andrew N. W. Hone (University of Kent), Juan Luis Varona (Universidad de La Rioja)
분류: math.NT (정수론)
발표 시간: 2018년 10월 23일
논문 링크: https://arxiv.org/abs/1810.10127

초록

본 논문은 수정된 Engel 급수와 Pierce 급수의 연분수 전개 및 무리수 지수를 연구한다. Engel 급수는 양의 정수의 비감소 수열 $(x_n)$ 의 역수의 합으로, 각 항이 이전 항으로 나누어떨어지는 성질을 가진다. Pierce 급수는 동일한 성질을 가진 수열의 역수의 교대 급수이다. 저자들은 임의의 유리수에 대해, 그 유리수에 더해진 Engel 급수로부터 생성되는 초월수 $\alpha$ 의 연분수 전개가 대응하는 수열 $(x_n)$ 에 의해 명시적으로 결정될 수 있음을 증명했다. 여기서 수열은 2차 비선형 점화식으로 생성된다. 논문은 또한 유리수와 Pierce 급수의 덧셈 또는 뺄셈에 대한 유사한 결과를 제시하며, 두 경우 모두에서 무리수 지수의 하한이 $(3+\sqrt{5})/2$ 임을 증명하고, 무리수 지수를 정확히 계산할 수 있는 무한 초월수 족을 식별한다.

연구 배경 및 동기

문제 배경

Engel 급수와 Pierce 급수: 이 두 급수 종류는 연분수 전개의 중요한 일반화로, 유사한 재귀적 성질과 측도론적 성질을 가진다
초월수의 구성: 명시적 연분수 전개를 가진 초월수를 찾는 것은 정수론의 중요한 문제이다
무리수 지수 이론: 무리수 지수 $\mu(\alpha)$ 는 실수 $\alpha$ 가 유리수로 근사되는 난이도를 측정하며, Roth 정리는 대수적 무리수의 무리수 지수가 2임을 나타낸다

연구 동기

기존 결과의 확장: 저자들의 이전 연구를 바탕으로 순수 Engel/Pierce 급수를 유리수와 이들 급수의 조합으로 확장
정확한 계산: 무리수 지수의 하한만 제시하는 것이 아니라 무리수 지수를 정확히 계산할 수 있는 무한 족을 찾기
통일된 틀: 수정된 Engel 급수와 Pierce 급수에 대한 통일된 이론적 틀 제공

핵심 기여

연분수 구성 정리의 확장: 임의의 유리수 $p/q$ 를 Engel 급수 또는 Pierce 급수와 결합하여 명시적 연분수 전개 제시
무리수 지수 하한의 개선: 모든 이러한 초월수의 무리수 지수 $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$ 증명
무리수 지수의 정확한 계산: 무리수 지수를 정확히 계산할 수 있는 무한 초월수 족 식별
강한 나누어떨어짐 성질을 가진 급수의 구성: $x_j^2|x_{j+1}$ 의 더 강한 조건을 만족하는 Engel 급수에 대한 완전한 연분수 구성 제시

방법론 상세 설명

문제 정의

다음 형태의 초월수의 연분수 전개와 무리수 지수를 연구:

수정된 Engel 급수: $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$
수정된 Pierce 급수: $\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}$

여기서 수열 $(x_n)$ 은 $x_j|x_{j+1}$ 을 만족하며 비선형 점화식으로 생성된다.

핵심 점화식

수열 $(x_n)$ 과 $(y_n)$ 은 다음 관계식으로 정의된다: $y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1$

여기서 $x_1 = q$ 이고, $(u_n)$ 은 양의 정수 수열이다. 이는 $x_n$ 이 2차 비선형 점화식을 만족하도록 한다: $x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2$

주요 정리

정리 2.1 (수정된 Engel 급수): 다음에 대해 $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$ $y_0 = mq + q_{2k-1} + 1$ 로 취하면, $\alpha$ 의 연분수 전개는:

처음 $2k+1$ 항은 $p/q$ 와 동일
$a_{2k+1} = m + u_1 y_0$
$a_{2k+2j} = x_j$ , $a_{2k+2j+1} = u_{j+1}y_j$ for $j \geq 1$

정리 2.2와 2.4 (수정된 Pierce 급수): 유사한 Pierce 급수 연분수 전개 공식을 제시하나, 구조가 더 복잡하며 3-주기 패턴을 포함한다.

무리수 지수 분석

보조정리 3.1: 수열의 증가율은 다음을 만족한다 $x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}$

이는 점화식 $\rho_{k+1} = 3 - \rho_k^{-1}$ 을 이용한 귀납법으로 증명되며, 여기서 $\rho_k$ 는 증가 지수이다.

정리 3.3: $u_n$ 이 $x_n$ 의 다항식일 때, 무리수 지수를 정확히 계산할 수 있다: $\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$ 여기서 $d$ 는 다항식의 차수이다.

실험 설정

이론적 검증

본 논문은 주로 이론 연구로, 엄밀한 수학적 증명을 통해 결과를 검증한다. 주요 검증 방법은:

귀납법 증명: 부분합이 특정 수렴 분수와 같음을 증명
점근 분석: 수열의 증가 거동 분석
행렬 방법: 연분수의 행렬 표현 활용

구체적 예시

예시 4.4: $q = 5$ , $z_j = (j+1)^2 + 1$ 에 대해, 4개의 서로 다른 $p$ 값에 대응하는 연분수 전개를 구성하여 방법의 구체적 응용을 보여준다.

실험 결과

주요 결과

무리수 지수 하한: 모든 수정된 Engel/Pierce 급수의 무리수 지수 $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$ 로, 이전의 $5/2 = 2.5$ 하한을 크게 개선했다
정확한 계산: 특정 형태의 수열 $(u_n)$ 에 대해, 무리수 지수를 $\lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$ 로 정확히 계산할 수 있다
무한 족 구성: 정리 3.4는 임의의 $\nu \geq (3+\sqrt{5})/2$ 에 대해, 무리수 지수가 정확히 $\nu$ 인 초월수가 무한히 많이 존재함을 증명한다