[婆茶留高校数学科☆HP] Top pageに戻る このページを閉じる 探したい言葉はここへ→
Copyright (C) virtual_high_school, 2021
§1. 調和級数
§2. バーゼル問題
複素変数$s$を含む級数
$\zeta(s)=\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^s}$
を、リーマンのゼータ関数と呼ぶ。
【問題1】 調和級数 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{n}$ は発散することを証明せよ。---
【証明】 明らかに発散する級数より大きいことを言えばよい。
$1 =1$
$\frac{1}{2} =\frac{1}{2}$
$\frac{1}{3 } + \frac{1}{4 } > \frac{1}{4 } + \frac{1}{4 }=\frac{1}{2}$
$\frac{1}{5 } + \frac{1}{6 } + \frac{1}{7 } + \frac{1}{8 }>\frac{1}{8
} + \frac{1}{8 } +\frac{1}{8 } + \frac{1}{8 }=\frac{1}{2}$
$\frac{1}{9 } + \cdots +\frac{1}{16 } > \frac{1}{16 } + \cdots+ \frac{1}{16 }= \frac{1}{2 }$
$\frac{1}{17} + \cdots+ \frac{1}{32 } >\frac{1}{2 }$
$ \frac{1}{33 }+\cdots +\frac{1}{64 } > \frac{1}{2} $
……………………………………………………………………
だから
$1+\frac{1}{2} +\frac{1}{3}+ \cdots +\frac{1}{2^{k}} >1+\frac{1}{2}\times
k$
よって
$\displaystyle \sum_{n=1}^{\infty} \frac{1}{n} = \infty$ ■
【別証明】 積分を使って証明する。
上図から分かるように
$\displaystyle \sum_{n=1}^{\infty} \frac{1}{n} > \int_{1}^{\infty} \frac{1}{x}dx$
$=[\log x]_{1}^{\infty} =\infty$ ■
【さらに別証明】 有限確定値$S$に収束したとする。
$S=\frac{1}{1 } +\frac{1}{2 } +\frac{1}{3 } +\frac{1}{4 } +\cdots$
$ =(\frac{1}{1 } +\frac{1}{3 } +\frac{1}{5 } +\cdots)+(\frac{1}{2 }
+\frac{1}{4 } +\frac{1}{6 } +\cdots)$
$=(\frac{1}{1 } +\frac{1}{3 } +\frac{1}{5 } +\cdots)+\frac{1}{2}(\frac{1}{1
} +\frac{1}{2 } +\frac{1}{3 } +\cdots)$
$=(\frac{1}{1 } +\frac{1}{3 } +\frac{1}{5 } +\cdots)+\frac{1}{2}S$
移項すれば
$\frac{1}{2}(\frac{1}{1 } +\frac{1}{2 } +\frac{1}{3 } +\frac{1}{4 }
+\cdots)=\frac{1}{1 } +\frac{1}{3 } +\frac{1}{5 } +\frac{1}{7}+\cdots$,
$\frac{1}{2 } +\frac{1}{4 } +\frac{1}{6 } +\frac{1}{8 } +\cdots=\frac{1}{1
} +\frac{1}{3 } +\frac{1}{5 } +\frac{1}{7}+\cdots$
ところが、$\frac{1}{2 } <\frac{1}{1 }$, $\frac{1}{4 } <\frac{1}{3 }$,
$\frac{1}{6 } <\frac{1}{5 },\cdots$だから右辺の方が大きくなり、等しくはならない。これは矛盾。■
この証明の欠点は足す順序を変更している点にある。足す順序を変えれば和が変わる可能性がある。
実際そういう級数があることを大学で教わるのだが、今の場合は「収束する正項級数は順序を変えて足しても同じ値に収束する」という定理があって、それを前提とすればこの証明は正しい。
【問題2】 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^2}$ は収束することを証明せよ。---
【証明】 積分を使って証明しよう。
$\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^2} =1+\displaystyle \sum_{n=2}^{\infty} \frac{1}{n^2}
$
$<1+ \int_{1}^{\infty} \frac{1}{x^2}dx$
$=1-[\frac{1}{x} ]_{1}^{\infty} =2$
第$n$部分和 $S_{N}=\displaystyle \sum_{n=1}^{N} \frac{1}{n^2} $は単調増加で上に有界だから、有限確定値に収束する。■
【問題3】 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^2}$ の近似値を求めよ。---
【解答例】Excelで計算する。第100部分和を求めてみたのが、下図。
1=1/A1/A1=B12=1/A2/A2=C1+B23=1/A3/A3=C2+B34=1/A4/A4=C3+B45=1/A5/A5=C4+B5
11120.251.2530.1111111.36111140.06251.42361150.041.4636111000.00011.634984
近似値は1.63だが、これは$\frac{\pi^2}{6}=1.645$に近い。
【問題4】 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^2}=\frac{\pi^2}{6}$ であることを証明せよ。---
【証明】$\sin x$は奇関数だが、これをテイラー展開すると
$\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots$
であることと、零点が$x=\pm n \pi$ ($n$ 非負整数)であることから、次のように無限乗積に展開できる。
$\displaystyle \sin x=c x\prod_{n=1}^{\infty} (1-\frac{x^2}{n^2 \pi^2})$
ここで$c$は定数だが、テイラー展開の式と1次の項を比較すれば、$c=1$ を得る。よって
$\displaystyle \sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots=
x\prod_{n=1}^{\infty} (1-\frac{x^2}{n^2 \pi^2})$
次に3次の項を比較すれば
$-\frac{1}{3!}=-(\frac{1}{ \pi^2}+\frac{1}{2^2 \pi^2}+\frac{1}{3^2 \pi^2}+\cdots)$,
$\frac{1}{6}=\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^2 \pi^2}$■
上の問題をバーゼル問題と呼び、オイラーが解決した。
【問題5】 $s$を実数とするとき $\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^2}$ は$s \leq 1$のとき発散、$s>1$のとき収束することを証明せよ。
---
【証明】 $n>1$のとき$n^s$は$s$についての単調増加関数だから、$\frac{1}{n^s} (>0)$は単調減少である。
(ア)$s \leq 1$のとき
$\displaystyle \sum_{n=2}^{\infty} \frac{1}{n^s} \geq \displaystyle \sum_{n=2}^{\infty} \frac{1}{n}
\rightarrow \infty$
で発散。
(イ))$s > 1$のとき、$s=1+s'$ $(s'>0)$と置き換えれば
$\displaystyle \sum_{n=1}^{\infty} \frac{1}{n^s} =1+\displaystyle \sum_{n=2}^{\infty} \frac{1}{n^{1+s'}}
$
$<1+ \int_{1}^{\infty} \frac{1}{x^{1+s'}}dx$
$=1-\frac{1}{s'}[\frac{1}{x^{s'}} ]_{1}^{\infty} $
$=1-\frac{1}{s'}<\infty$
有限確定値に収束する。■
[婆茶留高校数学科☆HP] Top pageに戻る このページを閉じる 探したい言葉はここへ→