Explicit bounds for 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)$ の数値的に明示的な上界および下界を確立することである。

手法
著者は、$\rho(u)$ の逆ラプラス積分表現に適用される鞍点法を用いる。このアプローチは、相対誤差 $O(u^{-1})$ で Alladi の結果を確立した Tenenbaum の研究における証明技法を洗練させたものである。ここで求められるよりタイトな明示的境界を実現するために、以下の手法を用いる：

1. 精密な誤差追跡： すべての定数係数を $O$ 記法の中に吸収させるのではなく、正確に追跡する。
2. 積分の精緻化： 積分範囲を複数の区間に分割することで、寄与をより正確に分離する。
3. 高次展開： 積分関数の展開において、鞍点付近で（3次ではなく）7次のテイラー多項式を利用し、被積分関数の高次項を捉える。
4. 明示的な補題： 関数 $I(s) = \int_0^s \frac{e^z-1}{z} dz$ の導関数の具体的な不等式を導出し、不完全ガンマ関数に関連する補題を用いて積分の裾（テイル）の寄与を抑え込む。

主要な近似関数として用いられる $\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)$ に対する明示的な境界と推定を与える2つの主要な定理を確立している：

• 定理 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$ 関数のみを用いて、基本関数による $\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, および Marsaglia によるテイラー多項式アルゴリズムを使用する。
• より大きな $u$ では、逆ラプラス積分を数値的に評価する。その際、被積分関数が標準正規密度関数に収束することに留意している。

意義と主張
本論文は、これらの結果によって「遅延微分方程式を数値的に解く必要なく $\rho(u)$ の近似評価が可能になる」と主張している。定数と誤差範囲を明示的に提供することで、de Bruijn や Alladi による漸近的推定を「完全に明示的」なものにしている。

著者は、Smida や Xuan による他の研究がより小さな誤差量を持つ推定を提供しているものの、数値的な明示性に欠けていることを指摘している。ここで導出された明示的な境界は、特に $\Psi(x, y)$（最大素因子が $y$ 以下である $x$ までの整数の個数）を扱うアプリケーションにおいて有用である。具体的には、Gorodetsky による条件付きの結果（リーマン予想を仮定したもの）と組み合わせることで、これらの境界は「数値的に容易に評価可能な」 $\Psi(x, y)$ の条件付き下限を与える。

本論文は、van de Lune および Wattel が台形則を用いて $u \le 1000$ において少なくとも5桁の精度で $\rho(u)$ を近似した値と比較することで、結果の妥当性を検証している。定理1および定理2から導かれる値は、これらの確立された数値的ベンチマークと一致している。