Explicit bounds for Dickman's function

기술 요약: 디크만 함수(Dickman's Function)에 대한 명시적 경계값

문제 정의
디크만 함수 $\rho(u)$는 초기 조건 $\rho(u) = 1$ ($0 \le u \le 1$)을 갖는 지연 미분 방정식 $u\rho'(u) + \rho(u-1) = 0$의 연속 해로 정의된다. 이는 최대 소인수가 $n^{1/u}$를 넘지 않는 정수 $n$의 자연 밀도를 나타낸다. $u \to \infty$일 때 $\rho(u)$의 점근적 거동은 드 브루인(de Bruijn)과 알라디(Alladi)의 연구를 통해 잘 알려져 있으나, 이러한 결과들은 일반적으로 암시적 오차항(예: $O(1/u)$)을 포함한다. 본 논문에서 다루는 주요 과제는 미분 방정식을 수치적으로 풀지 않고도 $\rho(u)$를 근사적으로 평가할 수 있도록 하는 수치적으로 명시적인(numerically explicit) 상한 및 하한을 설정하는 것이다.

방법론
저자는 $\rho(u)$의 역 라플라스 적분 표현에 적용된 안장점 방법(saddle point method)을 사용한다. 이 접근 방식은 테넨바움(Tenenbaum)의 연구에서 발견된 증명 기법을 개선한 것으로, 테넨바움은 알라디의 결과를 상대 오차 $O(u^{-1})$ 내에서 확립하였다. 여기에서 요구되는 더 정밀한 명시적 경계값을 달상하기 위해, 다음과 같은 방법론을 사용한다:

1. 정밀한 오차 추적: 모든 상수 계수를 빅오(big-O) 표기법에 흡수시키지 않고 정밀하게 추적한다.
2. 정교한 적분: 적분의 기여도를 더 정확하게 분리하기 위해 적분 범위를 추가적인 구간으로 나눈다.
3. 고차 전개: 적분 함수의 안장점 근처에서 적분 함수의 항을 포착하기 위해 3차 대신 7차 테일러 다항식을 활용한다.
4. 명시적 보조정리: 적분 함수 $I(s) = \int_0^s \frac{e^z-1}{z} dz$의 도함수에 대한 구체적인 부등식을 유도하고, 불완전 감마 함수와 관련된 보조정리를 사용하여 적분의 꼬리 부분(tail contribution)의 기여를 제한한다.

주요 근사 함수인 $\tilde{\rho}(u)$는 다음과 같이 정의된다:
$$\tilde{\rho}(u) := \frac{\exp\{\gamma - u\xi + I(\xi)\}}{\sqrt{2\pi I''(\xi)}}$$
여기서 $\xi = \xi(u)$는 $e^\xi = 1 + u\xi$를 만족하는 유일한 양의 해이며, $\gamma$는 오일러 상수이다.

주요 기여 및 결과
본 논문은 $\rho(u)$에 대한 명시적 경계와 추정치를 제공하는 두 가지 주요 정리를 확립한다:

• 정리 1 (명시적 경계): $u > 1$에 대하여, $\rho(u)$는 다음의 범위를 갖는다:
  $$\tilde{\rho}(u) \left(1 - \frac{1}{12u}\right) < \rho(u) < \tilde{\rho}(u) \left(1 - \frac{1}{12u(1 + \frac{1}{\log u})}\right)$$
  이는 $\xi$를 구하기 위한 람베르트 W 함수(Lambert $W$ function)와 기초적인 함수만을 사용하여 $\rho(u)$의 편리한 범위를 제공한다.

• 정리 2 (오차항을 포함한 정교한 추정): $u > 1$에 대하여, 함수는 다음과 같이 표현될 수 있다:
  $$\rho(u) = \tilde{\rho}(u) \left(1 + \alpha(u) + \frac{\theta(u)}{u^2}\right)$$
  여기서 $\alpha(u)$는 $I(\xi)$의 도함수들을 포함하는 명시적 표현식이다:
  $$\alpha(u) := \frac{1}{8}\frac{I^{(4)}(\xi)}{(I''(\xi))^2} - \frac{5}{24}\frac{(I^{(3)}(\xi))^2}{(I''(\xi))^3}$$
  결정적으로, 오차항은 명시적으로 제한된다: 모든 $u \ge 5$에 대해 $|\theta(u)| < 0.005$이다. 이는 $0.005/u^2$ 미만의 상대 오차를 결과로 가져온다.

또한 본 논문은 검증을 위한 $\rho(u)$의 수치 계산 방법을 제공한다:

• $1 \le u \le 50$의 경우, 마르사글리아, 자만, 마르사글리아(Marsaglia, Zaman, and Marsaglia)의 테일러 다항식 알고리즘을 사용한다.
• 더 큰 $u$의 경우, 적분 함수가 표준 정규 밀도 함수로 수렴한다는 점에 유의하며 역 라플라스 적분을 수치적으로 평가한다.

의의 및 주장
본 논문은 이러한 결과들이 "지연 미분 방정식을 수치적으로 풀 필요 없이 $\rho(u)$의 근사적 평가를 가능하게 한다"고 주장한다. 명시적 상수와 오차 경계를 제공함으로써, 본 연구는 드 브루인과 알라디의 점근적 추정을 "완전히 명시적"으로 만든다.

저자는 스미다(Smida)나 쉬안(Xuan)의 연구가 더 작은 오차 크기를 제공할 수는 있으나, 수치적 명시성이 결여되어 있다고 언급한다. 여기서 유도된 명시적 경계는 $\Psi(x, y)$(최대 소인수가 $y$ 이하인 $x$까지의 정수의 개수)와 관련된 응용 분야에서 특히 유용하다. 구체적으로, 고로데츠키(Gorodetsky)의 조건부 결과(리만 가설 가정 시)와 결組み合わせ어, 이 경계값들은 "수치적으로 평가하기 쉬운" $\Psi(x, y)$의 조건부 하한을 제공한다.

본 논문은 사다리꼴 공식(trapezoidal rule)을 사용하여 $u \le 1000$인 $u$에 대해 최소 5자리의 유효 숫자로 $\rho(u)$를 근사한 반 더 룬(van de Lune)과 와텔(Wattel)의 값과 비교함으로써 결과를 검증한다. 정리 1과 정리 2로부터 도출된 값들은 이러한 확립된 수치적 벤치마크와 일치한다.