Jan 6, 2017

p-series


雑誌や新聞等の連載記事,同テーマで続けて出版される書籍、テレビなどの連続番組,一定期間行われるスポーツの試合などをseriesといいますが,数学では数列の総和をseries(級数)といい,有限数列の和や無限数列の中の有限個の部分和は有限級数,無限数列の和は無限級数といいます.そして,和がある値に確定するときはその値を級数の和といいます.これでは級数の和は「数列の和の和」という意味になってしまいますが,級数は一般にΣまたは+と…などの記号で表したもので,値が確定した場合にのみ,その値を級数の和といいます.

Calculus(微分積分)のconvergence tests(収束判定)の中でよく登場する級数のひとつにp-series(p-級数)$$\displaystyle\sum_{n=1}^{\infty}\dfrac{1}{n^p}=\dfrac{1}{1^p}+\dfrac{1}{2^p}+\dfrac{1}{3^p}+\cdots$$があります.これはp=-qとすれば$\displaystyle\sum_{n=1}^{\infty}{n^q}$と表すこともできるのですが,逆数の和ということを強調するためにこう表しています.pの範囲を1より大きい数とする場合,正の数とする場合,実数とする場合などがありますが,p>1で収束し,p≤1で発散するので,Leonhard Euler(1707-1783)の時代はp>1のときにどんな値に収束するのかが主に話題になっていました.例えばp=2のとき,$$\displaystyle\sum_{n=1}^{\infty}\dfrac{1}{n^2}=\dfrac{1}{1^2}+\dfrac{1}{2^2}+\dfrac{1}{3^2}+\cdots=\frac{\pi^2}{6}$$となること(Basel problem)もEulerが発見しました.

P-seriesで特にp=1のときは,harmonic series(調和級数)$$\displaystyle\sum_{n=1}^{\infty}\dfrac{1}{n}=\dfrac{1}{1}+\dfrac{1}{2}+\dfrac{1}{3}+\cdots$$といい,項が限りなく0に近づくのに∞に発散する(値が無限に大きくなる)ことがよく知られています.この証明は多くの書籍やサイトで解説されていますので探してみてください.

P-seriesのpはpower(冪=べき)を意味するようですが,power series(冪級数)$$\displaystyle\sum_{n=0}^{\infty}{a_nx^n}=a_0+a_1x+a_2x^2+a_3x^3+\cdots$$とは別のものなので,p-seriesのpは,当初positive power(正の冪)のときだけを考えるという意味のpだったのではないかと思います.

因みに,p-seriesの式は,Riemann zeta function(リーマン-ゼータ関数)$$\zeta(s)=\displaystyle\sum_{n=1}^{\infty}\dfrac{1}{n^s}=\dfrac{1}{1^s}+\dfrac{1}{2^s}+\dfrac{1}{3^s}+\cdots$$でsをpで表したときと同じ式になっています.後に,Bernhard Riemann(1826-1866)が解析接続をした(定義域を複素数へ広げた)とき,$\zeta(s)$の表記を使ったことに敬意を表して変数にはsが用いられているそうです.

<reference>
Series Convergence Tests
http://aleph0.clarku.edu/~djoyce/ma122/posseries.pdf
"Calculus For Dummies"
by Mark Ryan (2003 For Dummies)
Riemann Zeta Function
http://mathworld.wolfram.com/RiemannZetaFunction.html