[논문 리뷰] Sur l'autocorrélation multiplicative de la fonction "partie fractionnaire" et une fonction définie par J. R. Wilton

Michel Balazard, Bruno Martin|arXiv (Cornell University)|2013. 05. 19.

Analytic Number Theory Research참고 문헌 15인용 수 5

한 줄 요약

이 논문은 분수부 $\{\cdot\}$를 나타내는 함수 $ A(\lambda) = \int_0^\infty \{t\}\{\lambda t\} \frac{dt}{t^2} $의 미분 가능성 문제를 해결한다. J. R. Wilton이 1933년에 도입한 함수 $ \mathcal{W}(x) $와 $ A(\lambda) $를 연결함으로써, $ A(\lambda) $가 정확히 $ \lambda $가 양의 무리수이면서 연속분수 수렴근의 분모 $ q_k $에 대해 $ \sum_{k \geq 0} (-1)^k \frac{\log q_{k+1}}{q_k} $가 수렴하는 경우에만 미분 가능하다는 것을 증명한다.

ABSTRACT

We describe the points of diff erentiability of the multiplicative autocorrelation function of the "fractional part" function. In connection with this question, we study series involving the fi rst Bernoulli function, the arithmetical function "number of divisors", and the Gauss map from the theory of continued fractions. A key role is played by a function defi ned in 1933 by J. R. Wilton, similar to the Brjuno function of dynamical systems theory. A unifying theme of our exposition is the use of functional equations involving the Gauss map, allowing us to reprove and re fine a theorem of Wilton, la Bretèche and Tenenbaum.

연구 동기 및 목표

• 곱형 자기상관 함수 $ A(\lambda) = \int_0^\infty \{t\}\{\lambda t\} \frac{dt}{t^2} $가 미분 가능한 점들의 집합을 규명하는 것.
• 함수 $ A(\lambda) $와 연속분수를 통해 정의되고 가우스 사상 $ \alpha(x) = \{1/x\} $를 포함하는 함수방정식을 만족하는 Wilton 함수 $ \mathcal{W}(x) $ 사이의 깊은 연관성을 설정하는 것.
• $ \mathcal{W}(x) $의 국소적 행동과 그 원시함수 $ \Upsilon(x) = \int_0^x \mathcal{W}(t) dt $를 분석하여, $ A $의 미분 가능성 문제가 $ \Upsilon $의 미분 가능성으로 환원됨을 보이는 것.
• 기능방정식과 연속분수 전개의 평균값 분석을 이용하여 Wilton, la Bretèche, Tenenbaum의 정리를 재정비하고 재증명하는 것.
• $ \lambda $의 연속분수 분모 $ q_k $를 포함하는 급수의 수렴 여부로 $ A(\lambda) $의 미분 가능성 집합을 특성화하는 것.

제안 방법

• 연속분수 전개를 통해 $ (0,1) $ 내의 $ x $에 대해 Wilton 함수 $ \mathcal{W}(x) $를 정의하고, 기능방정식 $ \mathcal{W}(x) = \log(1/x) - x \mathcal{W}(\{1/x\}) $를 만족시킴.
• 원시함수 $ \Upsilon(x) = \int_0^x \mathcal{W}(t) dt $를 도입하고, $ 0 < \lambda < 1 $에 대해 $ A(\lambda) = \rho(\lambda) - \frac{\Upsilon(\lambda)}{2\lambda} $라는 핵심 항등식을 확립함. 여기서 $ \rho $는 연속적이며 무리수에서 미분 가능함.
• 기능방정식을 이용해 연속분수 수렴근으로 정의된 간격에서 $ \mathcal{W} $와 $ \Upsilon $에 대한 재귀관계를 유도함.
• 가우스 사상의 에르고딕 성질과 평균값 추정을 활용하여 유리수 및 특수한 무리수(예: Wilton-Cremer 수) 근처에서 $ \Upsilon $의 행동을 분석함.
• Mellin 및余弦Fourier 변환 기법을 적용하여 $ A(\lambda) $를 $ \tau(n) $와 같은 산술함수와 연결하고, 근사 기능방정식을 도출함.
• $ \Upsilon $의 연속성 모듈러스를 확립하고, 이로써 급수 $ \sum_{k \geq 0} (-1)^k \frac{\log q_{k+1}}{q_k} $의 수렴 여부를 통해 미분 가능성 점 집합을 특성화함.

실험 결과

연구 질문

• RQ1 곱형 자기상관 함수 $ A(\lambda) $가 어떤 양의 실수 $ \lambda $에서 미분 가능한가?
• RQ2 $ A(\lambda) $의 미분 가능성은 특히 그 수렴근 분모 $ q_k $의 성장과 어떻게 관련되어 있는가?
• RQ3 연속분수를 통해 정의되고 $ \mathcal{W}(x) = \log(1/x) - x \mathcal{W}(\{1/x\}) $를 만족하는 Wilton 함수 $ \mathcal{W}(x) $는 $ A(\lambda) $의 미분 가능성 특성화에 어떤 역할을 하는가?
• RQ4 $ \Upsilon(x) = \int_0^x \mathcal{W}(t) dt $의 유리수 및 무리수 근처 행동이 $ A(\lambda) $의 미분 가능성에 어떻게 영향을 주는가?
• RQ5 $ \lambda $의 연속분수 전개에 대해 급수 $ \sum_{k \geq 0} (-1)^k \frac{\log q_{k+1}}{q_k} $가 수렴하는 정확한 조건은 무엇이며, 이는 $ A(\lambda) $의 미분 가능성과 어떻게 관련되어 있는가?

주요 결과

• $ A(\lambda) $는 양의 실수 $ \lambda $에서 미분 가능할 조건이 $ \lambda $가 무리수이면서 급수 $ \sum_{k \geq 0} (-1)^k \frac{\log q_{k+1}}{q_k} $가 수렴하는 것과 정확히 일치한다. 여기서 $ q_k $는 $ \lambda $의 연속분수 수렴근의 분모이다.
• $ A(\lambda) $의 미분 가능성은 가우스 사상과 연결된 기능방정식을 만족하는 Wilton 함수 $ \mathcal{W}(x) $의 원시함수 $ \Upsilon(x) $의 행동에 의해 완전히 결정된다.
• $ \Upsilon(x) $는 $ (0,1) $에서 연속이며, 무리수 $ x $에서의 미분 가능성은 급수 $ \sum_{k \geq 0} (-1)^k \frac{\log q_{k+1}}{q_k} $의 수렴과 동치이다.
• 유리수 근처에서 $ \Upsilon(x) $는 통제된 진동을 보이며, 그 연속성 모듈러스는 $ \log q_{k+1}/q_k $를 항으로 포함하는 급수의 수렴 여부로 유계화된다.
• $ \lambda = 0 $에서 $ A(\lambda) $는 오른쪽에서 미분 가능하지 않으며, $ \lambda \to 0^+ $일 때 점근적 행동은 $ A(\lambda) \sim \frac{1}{2} \lambda \log(1/\lambda) $이다.
• Wilton 함수를 정의하는 기능방정식 $ \mathcal{W}(x) = \log(1/x) - x \mathcal{W}(\{1/x\}) $는 분석의 중심에 있으며, 이는 미분 가능성 문제를 연속분수 동역학의 연구로 환원시켜 주는 데 핵심적인 역할을 한다.