リース平均

数学におけるリース平均（リースへいきん、テンプレート:Lang-en-short）とは、ある級数に関する項の平均のことを言う。1911年、リース・マルツェルによってチェザロ平均を改善するものとして導入されたテンプレート:Refテンプレート:Ref。テンプレート:仮リンクや強リース平均（strong-Riesz mean）とは異なる。

定義

級数 $\{s_n\}$ に対するリース平均は、次で定義される。

$s^{\delta }(\lambda )=\sum _{n\le \lambda }{(1-\frac{n}{\lambda })}^{\delta }{s}_n$

しばしば次の一般化リース平均も用いられる。

$R_n=\frac{1}{{\lambda }_n}\sum _{k=0}^n({\lambda }_k-{\lambda }_{k-1}{)}^{\delta }{s}_k.$

ここで ${\lambda }_n$ は、$n\to \mathrm{\infty }$ に対して ${\lambda }_n\to \mathrm{\infty }$ と ${\lambda }_{n+1}/{\lambda }_n\to 1$ を満たす数列である。それ以外の性質に関しては ${\lambda }_n$ は任意に選ばれる。

リース平均はしばしば、数列の総和可能性を調べるために用いられる。総和可能性に関する典型的な定理では、ある列 $\{a_n\}$ に対して $s_n=\sum _{k=0}^n{a}_n$ となる場合が扱われる。通常、列が総和可能であるための十分条件は、極限 $\underset{n\to \mathrm{\infty }}{\lim }{R}_n$ あるいは $\underset{\delta \to 1,\lambda \to \mathrm{\infty }}{\lim }{s}^{\delta }(\lambda )$ が存在することである。ただし厳密には追加条件が課されることもしばしばある。

特別な場合

すべての $n$ に対して $a_n=1$ の場合を考える。このとき

$\sum _{n\le \lambda }{(1-\frac{n}{\lambda })}^{\delta }=\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(s)}{\mathrm{\Gamma }(1+\delta +s)}\zeta (s){\lambda }^{s}ds=\frac{\lambda }{1+\delta }+\sum _n{b}_n{\lambda }^{-n}$

となる。ここで $c>1$ であり、$\mathrm{\Gamma }(s)$ はガンマ函数、$\zeta (s)$ はリーマンゼータ函数である。冪級数

$\sum _n{b}_n{\lambda }^{-n}$

は、$\lambda >1$ に対して収束することが示される。この形式の積分はメリン逆変換であることに注意されたい。

その他、数論と関連する興味深いケースは、テンプレート:仮リンク $\mathrm{\Lambda }(n)$ に対して $a_n=\mathrm{\Lambda }(n)$ とすることで得られる。このとき

$\sum _{n\le \lambda }{(1-\frac{n}{\lambda })}^{\delta }\mathrm{\Lambda }(n)=-\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(s)}{\mathrm{\Gamma }(1+\delta +s)}\frac{{\zeta }^{\prime }(s)}{\zeta (s)}{\lambda }^{s}ds=\frac{\lambda }{1+\delta }+\sum _{\rho }\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(\rho )}{\mathrm{\Gamma }(1+\delta +\rho )}+\sum _n{c}_n{\lambda }^{-n}$

となる。ここで再び c > 1 であり、ρ についての和はリーマンゼータ函数の零点についての和を意味し、

$\sum _n{c}_n{\lambda }^{-n}$

は λ > 1 に対して収束する。

ここで現れる積分はネアルン＝ライス積分に似たものである。非常に大雑把に言うと、それらはペロンの公式によって関連付けられる。

関連項目

• 平均
• テンプレート:仮リンク

参考文献

• テンプレート:Note M. Riesz, Comptes Rendus, 12 June 1911
• テンプレート:Note テンプレート:Cite journal
• テンプレート:SpringerEOM