On the series expansion of k-free Dirichlet series and its analytical continuation

Artur Kawalec による論文「On the series expansion of k-free Dirichlet series and its analytical continuation（k-フリー・ディリクレ級数の級数展開とその解析接続について）」の技術的サマリーを以下に記述します。

1. 研究の背景と問題設定

この論文は、著者が以前発表した「平方フリー（square-free）ディリクレ級数」に関する研究成果を、より一般的なk-フリー（k-free）整数のケースへ拡張することを目的としています。

• 対象関数: $k$-フリー整数（$k$ 乗で割り切れない整数）の特性関数 $\mu^{(k)}(n)$ を用いたディリクレ級数 $\frac{\zeta(s)}{\zeta(ks)} = \sum_{n=1}^{\infty} \frac{\mu^{(k)}(n)}{n^s}$。
• 既存の知見: $k=2$（平方フリー）の場合、この級数のローラン展開や解析接続、および $\zeta(1/2)$ の値をディリクレ級数で表す公式が既知でした。
• 課題: $k \ge 2$ の一般の整数 $k$ に対して、同様の級数展開の係数に関する定式化、解析接続の導出、および $\zeta(1/k)$ の値を算出する公式の一般化を行うこと。

2. 主要な手法と理論的枠組み

論文では、以下の数学的ツールと手法を駆使して解析を進めています。

• k-フリー指標関数:
  $\mu^{(k)}(n)$ を定義し、これをメビウス関数 $\mu(n)$ を用いて $\mu^{(k)}(n) = \sum_{d^k|n} \mu(d)$ と表現します。
• ローラン級数展開:
  極 $s=1$ における $\frac{\zeta(s)}{\zeta(ks)}$ のローラン展開を以下のように定式化します。
  $$\frac{\zeta(s)}{\zeta(ks)} = \frac{1}{\zeta(k)(s-1)} + \sum_{n=0}^{\infty} \frac{\gamma_{M,k}^n}{n!} (s-1)^n$$
  ここで、$\gamma_{M,k}^n$ は展開係数（一般化されたオイラー・マスケローニ定数）です。
• スティルチェス積分（Stieltjes Integration）:
  $k$-フリー数の個数関数 $Q_k(x)$ を $Q_k(x) = \frac{x}{\zeta(k)} + f_k(x)$ と分解し、$f_k(x)$ の振る舞い（リーマン予想仮定下では $O(x^{1/2k})$）を用いて積分評価を行います。これにより、級数の係数と積分項を結びつけます。
• 漸近解析と極限操作:
  $x \to \infty$ における和の漸近挙動を解析し、対数項を差し引くことで定数項（係数 $\gamma_{M,k}^n$）を抽出するロジックを構築します。

3. 主要な貢献と結果

A. 展開係数に対する一般化された Wolf 公式の導出

定理 1 として、展開係数 $\gamma_{M,k}^n$ に対する極限公式を導出しました。これは Wolf が $k=2$ の場合に発見した公式の一般化です。
$$\gamma_{M,k}^n = \lim_{x\to\infty} (-1)^n \left( \sum_{j=1}^{x} \frac{\mu^{(k)}(j) \log^n(j)}{j} - \frac{\log^{n+1}(x)}{\zeta(k)(n+1)} \right)$$
これにより、任意の $k \ge 2$ に対して、級数の正則部分の係数が $k$-フリー数の和の極限として表現可能であることが証明されました。

B. k-フリー版オイラー定数 $\gamma_{M,k}$ の解析的閉形式

$n=0$ の場合、$\gamma_{M,k}$ は $k$-フリー数の調和和の定数項に対応します。
$$\sum_{n\le x} \frac{\mu^{(k)}(n)}{n} = \gamma_{M,k} + \frac{1}{\zeta(k)}\log x + O\left(\frac{1}{x}\right)$$
この定数 $\gamma_{M,k}$ について、以下の閉形式式を導出しました。
$$\gamma_{M,k} = \frac{\gamma}{\zeta(k)} - \frac{k \zeta'(k)}{\zeta(k)^2}$$
ここで $\gamma$ は通常のオイラー定数、$\zeta'(k)$ はゼータ関数の微分です。
また、数値計算により $k=2$ から $11$までの高精度な値を算出（表 1）し、$k \to \infty$とすると$\gamma_{M,k} \to \gamma$ となることを示しました。

C. 高次係数の数値計算

Mathematica や Pari/GP を用いて、$k=2,3,4,5$ に対する高次係数 $\gamma_{M,k}^n$ ($n=0 \sim 10$) を 30 桁の精度で計算し、その値を提示しました（表 2-5）。

D. 解析接続と $\zeta(1/k)$ の公式

級数 $\frac{\zeta(s)}{\zeta(ks)}$ の解析接続を、$s=1$ 以外の領域（特に $s=1/k$ の近傍）へ拡張する公式を導出しました。
$$\frac{\zeta(s)}{\zeta(ks)} = \lim_{x\to\infty} \left( \sum_{n\le x} \frac{\mu^{(k)}(n)}{n^s} - \frac{x^{1-s}}{\zeta(k)(1-s)} \right)$$
この式を用いて、$s=1/k$ における極の性質を解析し、$\zeta(1/k)$ の値を $k$-フリー数の和で表す新しい極限公式を導きました（式 55, 56）。
$$\zeta(1/k) = \lim_{x\to\infty} \left( -\frac{1}{k} \sum_{n\le x} \frac{\mu^{(k)}(n)(\log n + \frac{k}{k-1})}{n^{1/k}} + \frac{1}{\zeta(k)(k-1)} x^{1-1/k} \log x \right)$$

4. 数値的検証と考察

• 振動特性: 導出した公式（特に $k=2,3,4,5$ の場合）を数値的に検証した結果、級数は真の値（$\zeta(1/2) \approx -1.46$, $\zeta(1/3) \approx -0.97$ など）の周りで振動することが確認されました。
• 収束性: 振幅は $x$ の増加とともに緩やかに減少しますが、収束は遅いことが観察されました（図 1-4）。これは、$k$-フリー数の分布の揺らぎに起因するものです。

5. 学術的意義

• 一般化の成功: 平方フリー（$k=2$）の特殊な結果を、任意の $k$-フリー整数に対する一般的な理論体系へと昇華させました。
• 定数と関数の関係の解明: 一般化されたオイラー定数 $\gamma_{M,k}$ とゼータ関数の微分値 $\zeta'(k)$ の間の明確な関係式を確立しました。
• 解析的接続の深化: ディリクレ級数の解析接続を、極 $s=1/k$ を含む領域へ拡張し、その極における値（$\zeta(1/k)$）を数論的な和として表現する新たなアプローチを提供しました。
• 計算論的貢献: 高次係数や定数に対する高精度な数値データを提供し、今後の数論研究におけるベンチマークとして機能します。

この論文は、数論的解析、特にディリクレ級数の極近傍での振る舞いと、その係数と数論的定数との関連性に関する理解を深める重要な貢献を果たしています。