リウヴィル関数

**リウヴィルラムダ関数**（リウヴィルラムダかんすう、）は、フランスの数学者ジョセフ・リウヴィルにちなんで名付けられ、ギリシャ文字 \lambda を用いて \lambda (n) と表記する、重要な数論的関数である。
この関数の値は、n が素数を偶数回掛け合わせた数 (0 回でもよい) であるとき 1 となり、奇数回掛け合わせた数であるとき -1 となる。

## 定義
算術の基本定理より、任意の正整数 n は素数の冪乗の積の形に素因数分解表示することができ、（積の順序を除いて）その表示は一意に定まる。

: n = p_1^{a_1} \cdots p_k^{a_k}.

ここで p_1, \cdots, p_k はいずれも素数であり、a_1, \cdots, a_k はいずれも正整数とする。 \Omega(n)は、n の素因数分解に含まれる素数の個数を重複度を含めて数える関数である:

: \Omega(n) = a_1 + a_2 + \cdots + a_k

よって、リウヴィル関数は次式で定義される。

: \lambda(n) = (-1)^{\Omega(n)}
().

## 性質
\Omega(n) は完全加法的関数である、つまり、\Omega(ab) = \Omega(a) + \Omega(b) が常に成り立つから、\lambda(n) は完全乗法的関数である。1は素因数を含まないから\Omega(1)=0 となるので、\lambda(1)=1 である。

\lambda(n) はメビウス関数 \mu(n) とも関係している。n が平方因子をもたない整数 b を用いて n = a^2b と表されるとき、

: \lambda(n) = \mu(b)

となる。

n の約数 d についてリウヴィル関数の総和をとると、完全平方に関する指示関数となる。 

:
\sum_{d|n}\lambda(d) =
\begin{cases}
1 & \text{if }n\text{ is a perfect square,} \\
0 & \text{otherwise.}
\end{cases}


この式のメビウス反転は

: \lambda(n) = \sum_{d^2|n} \mu\left(\frac{n}{d^2}\right)

となる。

 \lambda  のディリクレ逆元はメビウス関数の絶対値であり、\lambda^{-1}(n)=|\mu(n)|=\mu^2(n) となる。これは平方因子をもたない整数の指示関数である。

## 級数
リウヴィル関数のディリクレ級数にはリーマンゼータ関数が登場する。

: \frac{\zeta(2s)}{\zeta(s)} = \sum_{n=1}^\infty \frac{\lambda(n)}{n^s}

また

: \sum\limits_{n=1}^{\infty} \frac{\lambda(n)\ln n}{n}=-\zeta(2)=-\frac{\pi^2}{6}.

リウヴィル関数のは

: \sum_{n=1}^\infty \frac{\lambda(n)q^n}{1-q^n} = 
\sum_{n=1}^\infty q^{n^2} = 
\frac{1}{2}\left(\vartheta_3(q)-1\right)

である。ここで \vartheta_3(q) はヤコビのテータ関数である。

## 重みつき累積和関数についての予想

ポリア問題は、1919 年ジョージ・ポリアによって提起された予想である。
この問題は、
:  L(n)=\sum_{k=1}^n\lambda (k)  ()
と定義された L(n) が L(n)\leq 0 となるような *n*&nbsp;>&nbsp;1 が存在するかという問いであった。この答えは肯定的であることが判明した。最小の反例は *n*&nbsp;=&nbsp;906150257 であり、1980年に田中穣により発見された。その後、*L*(*n*)&nbsp;>&nbsp;0.0618672 となる正整数 *n* が無限個存在することが示された一方、同じ手法を用いて、*L*(*n*)&nbsp;\varepsilon > 0 ごとにある絶対定数 C > 0 が存在し、累積和関数 L(x) \equiv L_0(x) は

:L(x) = O\left(\sqrt{x} \exp\left(C \cdot \log^{1/2}(x) \left(\log\log x\right)^{5/2+\varepsilon}\right)\right) 

のオーダーになる。

関連する総和を
: T(n) = \sum_{k=1}^n \frac{\lambda(k)}{k}
として、*T*(*n*)&nbsp;≥&nbsp;0 が十分大きな *n* ≥ *n*0 に対して成り立つかも未知であった（この予想は、しばしば誤ってトゥラーン・パールの予想と呼ばれている）。この予想は によって反証され、*T*(*n*) は無限回負の値を取ることが示された。常に正の値となる予想が正しければリーマン予想の証明が導けることは、トゥラーンによって証明されている。 

### 一般化

より一般的に、正整数 *x* に対するリウヴィル関数の重み付き累積和関数を、任意の \alpha \in \mathbb{R} について以下のように定義すれば、上に示した関数はその特殊例 L(x) := L_0(x) と T(x) = L_1(x) になる。

:L_{\alpha}(x) := \sum_{n \leq x} \frac{\lambda(n)}{n^{\alpha}}. 

これらの \alpha^{-1} で重みづけられた累積和関数は、すなわちメビウス関数の重み付き累積和に関連している。いわゆる「重みなし」または「通常の」関数 L(x) は総和

:L(x) = \sum_{d^2 \leq x} M\left(\frac{x}{d^2}\right) = \sum_{d^2 \leq x} \sum_{n \leq \frac{x}{d^2}} \mu(n) 

と完全に一致している。さらに、これらの関数もまた、同様な上限による漸近的関係を満たす。例えば、いかなる 0 \leq \alpha \leq \frac{1}{2} に対しても
 
:L_{\alpha}(x) = O\left(x^{1-\alpha}\exp\left(-C_{\alpha} \frac{(\log x)^{3/5}}{(\log\log x)^{1/5}}\right)\right).

を満たすような絶対定数 C_{\alpha} > 0が存在する。
ペロンの公式を適用するか、同じことだが主要部に（逆）メリン変換を施すことにより、 

:\frac{\zeta(2\alpha+2s)}{\zeta(\alpha+s)} = s \cdot \int_1^{\infty} \frac{L_{\alpha}(x)}{x^{s+1}} dx 

を得る。これに逆変換を施せば、x > 1, T \geq 1 かつ 0 \leq \alpha  のとき

:L_{\alpha}(x) = \frac{1}{2\pi\imath} \int_{\sigma_0-\imath T}^{\sigma_0+\imath T} \frac{\zeta(2\alpha+2s)}{\zeta(\alpha+s)} 
     \cdot \frac{x^s}{s} ds + E_{\alpha}(x) + R_{\alpha}(x, T)

であることが示せる（ここでは \sigma_0 := 1-\alpha+1 / \log(x) とおき、剰余項を E_{\alpha}(x) = O(x^{-\alpha}) および T \rightarrow \infty のとき R_{\alpha}(x, T) \rightarrow 0 としている）。 

とくに、リーマン予想 (RH) が真であり、\rho = \frac{1}{2} + \imath\gamma で表されるリーマンゼータ関数の非自明な零点が全て単純零点であると仮定すれば、任意の 0 \leq \alpha  および  x \geq 1 に対して、全ての *v* ごとに v \leq T_v \leq v+1 が

:L_{\alpha}(x) = \frac{x^{1/2-\alpha}}{(1-2\alpha) \zeta(1/2)} + \sum_{|\gamma|  

を満たすような \{T_v\}_{v \geq 1} の無限列が存在することになる。ただしここで、任意の順次小さくなる 0  に対し 

:I_{\alpha}(x) := \frac{1}{2\pi\imath \cdot x^{\alpha}} \int_{\varepsilon+\alpha-\imath\infty}^{\varepsilon+\alpha+\imath\infty} 
     \frac{\zeta(2s)}{\zeta(s)} \cdot \frac{x^s}{(s-\alpha)} ds 

と定義し、剰余項 

:R_{\alpha}(x, T) \ll x^{-\alpha} + \frac{x^{1-\alpha} \log(x)}{T} + \frac{x^{1-\alpha}}{T^{1-\varepsilon} \log(x)} 

はここでももちろん T \rightarrow \infty のとき *0* に収束するものとする。これらの正確な解析的式展開もまた、重み付きメルテンス関数の場合に対応する、同様な属性を共有している。それに加え、\zeta(1/2)  であるので、L_{\alpha}(x) to M(x) の形の新たな類似性により、上に示したいくつかの数式における主要項から、正整数 *x* 上のこれらの関数値に対する負のバイアスをほぼ予想することができる。

## 脚注

## 参考資料
* 
* 
* 
* 
* 
*