絶対収束級数とダランベールの判定法
無限級数\begin{equation*}
\sum_{n=1}^{+\infty }x_{n}=x_{1}+x_{2}+x_{3}+\cdots
\end{equation*}が絶対収束級数であることとは、この級数の絶対値級数\begin{equation*}
\sum_{n=1}^{+\infty }\left\vert x_{n}\right\vert =\left\vert
x_{1}\right\vert +\left\vert x_{2}\right\vert +\left\vert x_{3}\right\vert
+\cdots
\end{equation*}が収束することとして定義されます。絶対収束級数は収束するとともに、絶対収束級数\(\sum x_{n}\)とその絶対値級数\(\sum \left\vert x_{n}\right\vert \)の和の間には以下の関係\begin{equation*}\left\vert \sum_{n=1}^{\infty }x_{n}\right\vert \leq \sum_{n=1}^{\infty
}\left\vert x_{n}\right\vert
\end{equation*}が成り立つことが保証されます。
以上を踏まえると、無限級数\(\sum x_{n}\)が収束することを示す代わりに、それが絶対収束級数であることを示してもよいということになります。つまり、絶対値級数\(\sum \left\vert x_{n}\right\vert \)が収束することを示せば、もとの級数\(\sum x_{n}\)が収束することを示したことになります。さらに、絶対値級数\(\sum \left\vert x_{n}\right\vert \)は正項級数であるため、その収束可能性を判定する際に、正項級数を対象とした収束判定法を活用できます。
正項級数を対象とした収束判定の1つがダランベールの判定法です。つまり、以下の条件\begin{equation*}
\forall n\in \mathbb{N} :x_{n}>0
\end{equation*}を満たす数列\(\left\{ x_{n}\right\} \)を任意に選んだ上で、新たな数列\(\left\{ \frac{x_{n+1}}{x_{n}}\right\} \)を定義し、さらにその極限を、\begin{equation*}\lim_{n\rightarrow \infty }\left( \frac{x_{n+1}}{x_{n}}\right) =r
\end{equation*}と表記する場合、以下の関係\begin{eqnarray*}
&&\left( A\right) \ 0\leq r<1\Rightarrow \sum_{n=1}^{\infty }x_{n}\text{は収束する} \\
&&\left( A\right) \ 1<r\leq +\infty \Rightarrow \sum_{n=1}^{\infty }x_{n}\text{は発散する}
\end{eqnarray*}が成り立ちます。
以上を踏まえると以下の命題が導かれます。
\end{equation*}と表記する。このとき、以下の関係\begin{eqnarray*}
&&\left( A\right) \ 0\leq r<1\Rightarrow \sum_{n=1}^{\infty }x_{n}\text{は絶対収束する} \\
&&\left( B\right) \ 1<r\leq +\infty \Rightarrow \sum_{n=1}^{\infty }x_{n}\text{は発散する}
\end{eqnarray*}が成り立つ。
\sum_{n=1}^{+\infty }\left( -1\right) ^{n-1}\frac{2^{n}}{n!} \quad \cdots (1)
\end{equation}が与えられているものとします。この無限級数のもととなる数列を、\begin{equation*}
\left\{ x_{n}\right\} =\left\{ \left( -1\right) ^{n-1}\frac{2^{n}}{n!}\right\}
\end{equation*}と表記した上で、以下の数列\begin{eqnarray*}
\left\{ \left\vert \frac{x_{n+1}}{x_{n}}\right\vert \right\} &=&\left\{
\left\vert \frac{\left( -1\right) ^{\left( n+1\right) -1}\frac{2^{n+1}}{\left( n+1\right) !}}{\left( -1\right) ^{n-1}\frac{2^{n}}{n!}}\right\vert
\right\} \\
&=&\left\{ \left\vert -\frac{2}{n+1}\right\vert \right\} \\
&=&\left\{ \frac{2}{n+1}\right\}
\end{eqnarray*}を定義します。この数列の極限は、\begin{eqnarray*}
\lim_{n\rightarrow +\infty }\left\vert \frac{x_{n+1}}{x_{n}}\right\vert
&=&\lim_{n\rightarrow +\infty }\frac{2}{n+1} \\
&=&0 \\
&<&1
\end{eqnarray*}を満たすため、ダランベールの判定法より、もとの級数\(\left( 1\right) \)は絶対収束し、したがって収束します。
\sum_{n=0}^{+\infty }\frac{n!}{5^{n}} \quad \cdots (1)
\end{equation}が与えられているものとします。この無限級数のもととなる数列を、\begin{equation*}
\left\{ x_{n}\right\} =\left\{ \frac{n!}{5^{n}}\right\}
\end{equation*}と表記した上で、以下の数列\begin{eqnarray*}
\left\{ \left\vert \frac{x_{n+1}}{x_{n}}\right\vert \right\} &=&\left\{
\left\vert \frac{\frac{\left( n+1\right) !}{5^{n+1}}}{\frac{n!}{5^{n}}}\right\vert \right\} \\
&=&\left\{ \left\vert \frac{n+1}{5}\right\vert \right\} \\
&=&\left\{ \frac{n+1}{5}\right\}
\end{eqnarray*}を定義します。この数列の極限は、\begin{eqnarray*}
\lim_{n\rightarrow +\infty }\left\vert \frac{x_{n+1}}{x_{n}}\right\vert
&=&\lim_{n\rightarrow +\infty }\frac{n+1}{5} \\
&=&+\infty
\end{eqnarray*}を満たすため、ダランベールの判定法より、もとの級数\(\left( 1\right) \)は発散します。
ダランベールの判定法が役に立たないケース
無限級数\(\sum x_{n}\)が与えられたとき、数列\(\left\{ \left\vert \frac{x_{n+1}}{x_{n}}\right\vert \right\} \)の極限\begin{equation*}\lim_{n\rightarrow \infty }\left\vert \frac{x_{n+1}}{x_{n}}\right\vert =r
\end{equation*}を観察することにより、\(\sum x_{n}\)の絶対収束可能性を判定できることが明らかになりました。具体的には、以下の関係\begin{eqnarray*}&&\left( A\right) \ 0\leq r<1\Rightarrow \sum_{n=1}^{\infty }x_{n}\text{は絶対収束する} \\
&&\left( B\right) \ 1<r\leq +\infty \Rightarrow \sum_{n=1}^{\infty }x_{n}\text{は発散する}
\end{eqnarray*}が成り立ちます。ただ、この判定法は\(r<0\)や\(r=1\)の場合、または\(r\)が存在しない場合について何も主張していません。したがって、これらの場合には、ダランベールの判定法から\(\sum x_{n}\)の絶対収束可能性に関して何らかの結論を導くことはできません。順番に考えます。
まずは\(r<0\)の場合について考えます。数列\(\left\{\left\vert \frac{x_{n+1}}{x_{n}}\right\vert \right\} \)の任意の項は非負であるため、その極限\(r\)が負であるような状況はそもそも起こり得ません。
続いて\(r=1\)の場合ですが、以下の例が示唆するように、この場合には無限級数\(\sum x_{n}\)が絶対収束する場合と発散する場合の双方が起こり得るため、ダランベールの判定法は役に立ちません。
まずは、\(r=1\)であるとともに無限級数\(\sum x_{n}\)が絶対収束する例を挙げます。
\sum_{n=1}^{+\infty }\frac{\left( -1\right) ^{n}}{n^{2}} \quad \cdots (1)
\end{equation}が与えられているものとします。この無限級数のもととなる数列を、\begin{equation*}
\left\{ x_{n}\right\} =\left\{ \frac{\left( -1\right) ^{n}}{n^{2}}\right\}
\end{equation*}と表記した上で、以下の数列\begin{eqnarray*}
\left\{ \left\vert \frac{x_{n+1}}{x_{n}}\right\vert \right\} &=&\left\{
\left\vert \frac{\frac{\left( -1\right) ^{n+1}}{\left( n+1\right) ^{2}}}{\frac{\left( -1\right) ^{n}}{n^{2}}}\right\vert \right\} \\
&=&\left\{ \left\vert -\frac{n^{2}}{n^{2}+2n+1}\right\vert \right\} \\
&=&\left\{ \frac{n^{2}}{n^{2}+2n+1}\right\}
\end{eqnarray*}を定義します。この数列の極限は、\begin{eqnarray*}
\lim_{n\rightarrow +\infty }\left\vert \frac{x_{n+1}}{x_{n}}\right\vert
&=&\lim_{n\rightarrow +\infty }\frac{n^{2}}{n^{2}+2n+1} \\
&=&\lim_{n\rightarrow +\infty }\frac{1}{1+\frac{2}{n}+\frac{1}{n^{2}}} \\
&=&\frac{1}{1+0+0} \\
&=&1
\end{eqnarray*}となるため、ダランベールの判定法は役に立ちません。そこで、比較判定法を利用します。任意の\(n\in \mathbb{N} \)について、\begin{equation*}\left\vert \frac{\left( -1\right) ^{n}}{2^{n}}\right\vert =\frac{1}{2^{n}}
\end{equation*}が成り立つため、以下の無限級数\begin{equation}
\sum_{n=1}^{+\infty }\frac{1}{2^{n}} \quad \cdots (2)
\end{equation}に注目します。\(\left( 2\right) \)は初項が\(\frac{1}{2}\not=0\)を満たし公比が\(\frac{1}{2}\in \left( -1,1\right) \)を満たす等比級数であるため収束します。したがって、もとの級数\(\left( 1\right) \)は絶対収束し、ゆえに収束します。
続いて、\(r=1\)であるとともに無限級数\(\sum x_{n}\)が発散する例を挙げます。
\sum_{n=1}^{+\infty }\left( -1\right) ^{n} \quad \cdots (1)
\end{equation}が与えられているものとします。この無限級数のもととなる数列を、\begin{equation*}
\left\{ x_{n}\right\} =\left\{ \left( -1\right) ^{n}\right\}
\end{equation*}と表記した上で、以下の数列\begin{eqnarray*}
\left\{ \left\vert \frac{x_{n+1}}{x_{n}}\right\vert \right\} &=&\left\{
\left\vert \frac{\left( -1\right) ^{n+1}}{\left( -1\right) ^{n}}\right\vert
\right\} \\
&=&\left\{ \left\vert -1\right\vert \right\} \\
&=&\left\{ 1\right\}
\end{eqnarray*}を定義します。この数列の極限は、\begin{eqnarray*}
\lim_{n\rightarrow +\infty }\left\vert \frac{x_{n+1}}{x_{n}}\right\vert
&=&\lim_{n\rightarrow +\infty }1 \\
&=&1
\end{eqnarray*}となるため、ダランベールの判定法は役に立ちません。加えて、数列\(\left\{ x_{n}\right\} \)は振動列であるため、\begin{equation*}\lim_{n\rightarrow +\infty }x_{n}\not=0
\end{equation*}が成り立つため、級数\(\left( 1\right) \)は発散します。
最後に、\(r\)が存在しない場合ですが、この場合にもダランベールの判定法は役に立ちません。以下が具体例です。
\frac{1}{1^{2}}-\frac{1}{1^{3}}+\frac{1}{2^{2}}-\frac{1}{2^{3}}+\cdots +\frac{1}{n^{2}}-\frac{1}{n^{3}},\cdots
\end{equation*}が与えられているものとします。この無限級数のもととなる数列を、\begin{equation*}
\left\{ x_{n}\right\} =\left\{ \frac{1}{1^{2}},-\frac{1}{1^{3}},\frac{1}{2^{2}},-\frac{1}{2^{3}},\cdots ,\frac{1}{n^{2}},-\frac{1}{n^{3}},\cdots
\right\}
\end{equation*}と表記します。数列\(\left\{ x_{n}\right\} \)の一般項は、\begin{eqnarray*}x_{2n-1} &=&\frac{1}{n^{2}} \\
x_{2n} &=&-\frac{1}{n^{3}}
\end{eqnarray*}を満たすため、数列\(\left\{ \left\vert \frac{x_{n+1}}{x_{n}}\right\vert \right\} \)の一般項は、\begin{eqnarray*}\left\vert \frac{x_{2n}}{x_{2n-1}}\right\vert &=&\left\vert \frac{-\frac{1}{n^{3}}}{\frac{1}{n^{2}}}\right\vert =\frac{1}{n} \\
\left\vert \frac{x_{2n+1}}{x_{2n}}\right\vert &=&\left\vert \frac{\frac{1}{\left( n+1\right) ^{2}}}{-\frac{1}{n^{3}}}\right\vert =\frac{n^{3}}{\left(
n+1\right) ^{2}}
\end{eqnarray*}を満たします。部分列\(\left\{ \left\vert \frac{x_{2n}}{x_{2n-1}}\right\vert \right\} \)の極限は、\begin{eqnarray*}\lim_{n\rightarrow \infty }\left( \left\vert \frac{x_{2n}}{x_{2n-1}}\right\vert \right) &=&\lim_{n\rightarrow \infty }\left( \frac{1}{n}\right)
\\
&=&\frac{1}{+\infty } \\
&=&0
\end{eqnarray*}である一方、部分列\(\left\{ \left\vert \frac{x_{2n+1}}{x_{2n}}\right\vert \right\} \)の極限は、\begin{eqnarray*}\lim_{n\rightarrow \infty }\left( \left\vert \frac{x_{2n+1}}{x_{2n}}\right\vert \right) &=&\lim_{n\rightarrow \infty }\frac{n^{3}}{\left(
n+1\right) ^{2}} \\
&=&\lim_{n\rightarrow \infty }\left( \frac{n^{3}}{n^{2}+2n+1}\right) \\
&=&\lim_{n\rightarrow \infty }\left( \frac{n}{1+\frac{2}{n}+\frac{1}{n^{2}}}\right) \\
&=&\frac{+\infty }{1+0+0} \\
&=&+\infty
\end{eqnarray*}であるため、数列\(\left\{\left\vert \frac{x_{n+1}}{x_{n}}\right\vert \right\} \)の極限は存在しません。したがって、ダランベールの判定法は役に立ちません。
演習問題
\sum_{n=1}^{\infty }\left( -1\right) ^{n}\left( \frac{n}{5^{n}}\right)
\end{equation*}は絶対収束する、条件収束する、発散するのどれであるかを検証してください。
\sum_{n=1}^{\infty }\frac{9^{n}}{\left( -2\right) ^{n+1}n}
\end{equation*}は絶対収束する、条件収束する、発散するのどれであるかを検証してください。
\sum_{n=1}^{\infty }\frac{\left( -10\right) ^{n}}{4^{2n+1}\left( n+1\right) }
\end{equation*}は絶対収束する、条件収束する、発散するのどれであるかを検証してください。
\sum_{n=0}^{\infty }\frac{\left( -1\right) ^{n}}{n^{2}+1}
\end{equation*}は絶対収束する、条件収束する、発散するのどれであるかを検証してください。
\sum_{n=0}^{\infty }\frac{n+2}{2n+7}
\end{equation*}は絶対収束する、条件収束する、発散するのどれであるかを検証してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】