解析学基礎/級数のソースを表示

==はじめに==
級数（或いは無限級数）というのは、項の和で書かれているものです。科学や工学、数学のいろいろな問題に現れる級数の一つに等比級数（或いは幾何級数）と呼ばれる級数があります。

:<math> r + r^2 + r^3 + r^4 + \cdots</math>

<math>...</math>は、この和が無限に続くことを示しています。
級数を調べるときによく使う方法としては、最初のn項の和を調べるという方法があります。

例えば、等比級数を考えるとき、最初の n項の和は
:<math>S_n(r) = \sum_{i=1}^{n} r^i </math>
となります。
一般に無限級数を調べるときには、このような部分和がとても役に立ちます。

級数を調べるときに重要なことは、次の 2つです。
*その級数は収束するのか？
*収束するとしたら何に収束するのか？

例えば、等比級数であれば、上で定義したS<sub>n</sub>(r) は r&gt;1の時に、n&rarr;&infin;とした場合、有限な値に収束しません。（+&infin;に発散します。）S<sub>n</sub>(r) の各項 r<sup>i</sup> は i が大きくなるにつれ大きくなっていくことからわかります。

|r| < 1 の時の方が面白い結果が得られます。項の数は無限なのに有限な値に収束します。
:<math>\lim_{n \rightarrow \infty} S_n(r) = \frac{r}{1-r} </math>
これは、等比数列の和の公式を考えると分かります。
:<math>S_n(r) = \sum_{i=1}^{n} r^i = \sum_{i=1}^{n}\left( r\frac{1-r^i}{1-r}- r\frac{1-r^{i-1}}{1-r}\right)= r \frac{1-r^n}{1-r}</math>
|r| < 1 の時は、 r<sup>n</sup> は n&rarr;&infin; で 0に収束するのでこの式が得られます。

他の級数でも、等比級数の場合と似たような評価をしていきます。

しかし、等比級数と違って和が簡単に表されるものは少なく、殆どの場合に分かるのは、その級数が収束するかどうか？だけです。
等比級数と畳み込み級数の場合だけは、比較的簡単に収束先まで求まるのです。

==収束性==
級数が収束するとき、項 ''a''<sub>''n''</sub> は ''n'' &rarr;&infin; で 0 に収束する事はあきらかですが、逆に項が 0 に収束するからといって、級数が収束するとは限りません。

次のような調和級数を考えてみましょう。 因みに調和級数というのは項が 1/''n'' で表される級数の事です。

<math>\sum_{n=1}^{2^m} \frac{1}{n} = 1+ \frac{1}{2}+ \frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}+ \ldots  + \frac{1}{2^m}</math>
:<math> > 1 + \frac{1}{2}+ \frac{1}{4}+\frac{1}{4}+\frac{1}{8}+\frac{1}{8}+\frac{1}{8}+\frac{1}{8}+ \ldots + \frac{1}{2^m}</math>
:<math> = 1+\frac{1}{2}+ \frac{1}{4}\cdot 2+ \frac{1}{8}\cdot 4+  \ldots+ \frac{1}{2^m}\cdot 2^{m-1} </math>
:<math> = 1+\frac{1}{2}+ \frac{1}{2} + \frac{1}{2} + \ldots+ \frac{1}{2} = 1+\frac{m}{2}</math>

''m''&rarr;&infin; の時、 最後の式も無限大に発散するため、この調和級数は発散するとわかります。
また、大体どのくらいの速さで発散するのかもわかります。同じように'''部分和'''を次のように上から評価する事ができます。
:<math>1+\frac{m}{2} <   \sum_{n=1}^{2^m} \frac{1}{n} <1+m </math>
或いは
:<math>1+\frac{\log_2 m}{2}< \sum_{n=1}^m \frac{1}{n} < 1+ \log_2 m</math>
下の式を見るとわかるとおり、部分和は大体 log ''m'' と同じくらいの速さで増加していることが分かります。とてもゆっくりな速さです。

上の方法に注目してください。調和級数の収束性を調べるために、発散すると分かっている数列と比べています。
これは'''収束性の判定'''によく用いられ、どんな数列であっても似たような判定法を取る事ができます。

<!--
内容が怪しいのでコメントアウト
This is a ''convergence test'' (also known as the direct comparison test) we can apply to any pair of series.
* If ''b''<sub>''n''</sub> converges and |''a''<sub>''n''</sub>|&le;|''b''<sub>''n''</sub>| then  ''a''<sub>''n''</sub> converges.
* If ''b''<sub>''n''</sub> diverges and |''a''<sub>''n''</sub>|&ge;|''b''<sub>''n''</sub>| then  ''a''<sub>''n''</sub> diverges.
-->

級数の収束性を調べるにはいろいろな方法がありますが、どれもここで述べたような考え方が根底にあります。

===絶対収束===

定理: 各項の絶対値を取った級数 <math>\sum_{n=1}^\infty \left| a_n \right|</math> が収束するならば、 <math>\sum_{n=1}^\infty a_n</math> も収束する。

この定理の条件が満たされるとき、級数 <math>\sum_{n=1}^\infty a_n</math> は'''絶対収束する'''といいます。

収束はしますが、絶対収束しない級数の例としては、1-(1/2)+(1/3)-(1/4) ... があります。この各項の絶対値を取ったものは、上でみた調和級数なので発散しています。この級数は ln(2) に収束します。

このように絶対収束していないけれど、収束する場合、級数は'''条件収束'''するといいます。

級数が絶対収束しているとき、項の和を取る順番をどのように変えても同じ値に収束します。

級数が条件収束しているとき、項の順序を変えると任意の値に収束させたり発散させたりできます。

例えば、級数 1-(1/2)+(1/3)-(1/4) ... は条件収束しますが、正の項と負の項にわけ、正の項を足し、100 を超えたところで、負の項を足し、100より小さくなったところで、また100を超えるまで正の項を足し…ということを繰り返していけば、100に収束する級数ができあがります。

有限個の項の和を取る場合は自由に順序を変更できるのですが、無限和を取る場合はこのような「項の順序」に気をつけなければならない場合があります。そういった意味で絶対収束する級数は扱いやすく、これから述べる収束性の判定法の条件が全て正の項であると仮定していたりするのも、絶対収束を考えてのことです。全てが正の項である級数であれば、絶対収束するか、+&infin;に発散するかのどちらかです。

===比による判定法===
正項級数 <math>\sum_{n=1}^\infty a_n</math> に対し
:<math> \lim_{n \to \infty } \frac{a_{n+1}}{a_n} = r</math>
という極限があるとします。この時
*''r''<1 ならば級数は収束します。
*''r''>1 ならば級数は発散します。
*''r''=1 ならば、この判定法では収束するかどうか判断できません。
ということが言えます。

例えば
:<math>a_n=\frac{n!n!}{(2n)!}</math>
ならば
:<math>\frac{a_{n+1}}{a_n}=\frac{(n+1)^2}{(2n+1)(2n+2)}=\frac{n+1}{4n+2} \to \frac{1}{4}</math>
なので、この級数は収束します。

===積分による判定法===
''f''(''x'') は正の値を取る単調減少関数であるとします。 
級数
:<math>\sum_{n=1}^\infty f(n)</math>
を考えると、この級数は、次の広義積分
:<math>\int_1^\infty f(x)dx</math>
が収束するとき、かつ、その時に限り収束します。

例えば、定数''p''に対して、関数
:<math>f(x)=\frac{1}{x^p}</math>
を考えれば

*''p''=1 の時は、調和級数なので発散します。
*''p''<1 の時は、調和級数の時よりも、各項が大きいので発散します。
*''p''>1 の時は、収束します。これは次の計算からわかります。
:<math>\begin{matrix}\int_1^\infty x^{-p}dx & = & \lim_{s \to \infty}\int_1^s x^{-p}dx & \\ 
& = & \lim_{s \to \infty } \left. \frac{-1}{(p-1)x^{p-1}} \right|^s_1 &  \\ 
& = & \lim_{s \to \infty } \left( \frac{1}{p-1}-\frac{1}{(p-1)s^{p-1}} \right) 
& =\frac{1}{p-1} \end{matrix}</math>
したがって、''p''>1 の時、この広義積分は収束するとわかり、級数が収束するとわかります。

この判定法の正当性は次のようにするとわかります。
:<math>\int_1^\infty f(x)dx=\sum_{n=1}^\infty \int_n^{n+1} f(x)dx</math>
広義積分をこのように和に分割した後に、''f''(''x'')が単調減少であることを考えれば、各項は次のように評価できるとわかります。
:<math>f(n) \ge \int_n^{n+1} f(x)dx \ge f(n+1)</math>
この不等式の和を取れば、広義積分の収束性と、級数の収束性が同値であるとわかります。

===項の極限の比較による判定===
* 級数 &Sigma; ''b''<sub>n</sub> が収束し
:<math> \lim_{n \rightarrow \infty} \frac{|a_n|}{b_n}</math>
が有限の値に収束するならば、&Sigma;''a''<sub>n</sub> も収束します。

* ''c''<sub>n</sub> が発散し
:<math> \lim_{n \rightarrow \infty} \frac{|a_n|}{c_n} > 0</math>
であるならば ''a''<sub>n</sub> も発散します。

'''例'''
:<math>a_n=n^{-\frac{n+1}{n}}</math>
の時、大きな ''n'' に対して、この一般項は 0 に収束しますが、調和級数の一般項 ''c''<sub>n</sub> = ''n''<sup>&minus;1</sup> と比べて
:<math>\lim_{n \rightarrow \infty} \frac{|a_n|}{c_n} = \lim_{n \rightarrow \infty} \frac{n}{n^{\frac{n+1}{n}}} = 
\lim_{n \rightarrow \infty} \frac {1}{n^{\frac {1}{n}}}=1>0</math>
となるので、級数 &Sigma; ''a''<sub>n</sub>は発散します。

=== 交代級数 ===
数列 ''a''<sub>n</sub> の項の正負の符号が1項ごとに入れ替わるとき、つまり
:<math>a_n=(-1)^n |a_n| \,</math>
を満たすとき、この数列の和を交代級数といいます。交代級数は、
:<math>\lim_{n \to \infty}a_n=0</math> かつ <math>\ |a_{n+1}| < |a_n|</math>.
を満たすとき収束します。

またこのとき、級数の収束先と部分和との誤差の大きさは、部分和に含まれなかった最初の項よりも小さくなります。すなわち、

:<math>\left| \sum_{n=1}^\infty a_n - \sum_{n=1}^m a_n \right| < |a_{m+1}|</math>

== 幾何級数 ==
幾何級数とは、
:<math>\sum_{n=0}^\infty ar^n</math> または <math>\sum_{n=1}^\infty ar^{n-1}</math>
のようにかける級数のことです。日本語では等比級数ということが多いです。このページの最初に見たように、幾何級数は<math>|r|<1</math>のとき収束し、その収束先は
:<math>\ S = \frac{a}{1-r}. </math>
です。

==畳み込み級数==
次の形の級数
:<math>\sum_{n=0}^\infty( b_n - b_{n+1})</math>
を畳み込み級数という。
この形の級数は有限和を展開すると

:<math>\sum_{n=0}^k (b_n - b_{n+1})= (b_0 - b_1) + (b_1 - b_2) + \dots + (b_{k-1} - b_k)</math>

となり、和が打ち消すことで

:<math>\sum_{n=0}^k (b_n - b_{n+1})= b_0 - b_k</math>

となる。したがって、

:<math>\sum_{n=0}^\infty (b_n - b_{n+1}) = 
\lim_{k \to \infty} \sum_{n=0}^k (b_n - b_{n+1}) =
\lim_{k \to \infty} (b_0 - b_k) = b_0 - \lim_{k \to \infty} b_k</math>

となるので、極限の存在によって収束を判定することができる。

その他の判定法も存在するが、多くの級数についてはこれらの判定法で十分であろう。

[[Category:解析学|きゆうすう]]