解析関数

私たちがここまで扱ってきた常微分方程式は，求積法により解が得られるものばかりでした．そこで，ここでは求積法で解を得るのが困難な場合や近似解を得たいとき用いられる級数による解法(infinite series method)を学びます．この方法は無限級数を与えられた微分方程式の解と考え，無限級数の係数を決めていくという方法で，じつは微分方程式を解くうえでもっとも初歩的な方法かも知れません．ただ，しばしば起きることですが，無限級数の係数をすべて決めるのが困難なことがよくあります．そんなときは，最初の何項かが解の近似として用いられることがよくあります．

まずは整級数の性質に関する基本的な定理について考えてみましょう．各項が関数であるような級数を関数項級数(series of functions)といいます．

$\{a_{n}(x)\}_{n=1}^{\infty}$ を区間で定義された関数の列とします．この関数列 $\{a_{n}(x)\}_{n=1}^{\infty}$ より

$\displaystyle S_{1}(x) = a_{1}(x),S_{2}(x) = a_{1}(x)+a_{2}(x),S_{3}(x) = a_{1}(x)+a_{2}(x)+a_{3}(x),\ldots$

を考えます．区間

のすべての点

で数列 $\{S_{n}(x)\}_{n=1}^{\infty}$ が収束するとき，つまり

$\displaystyle \lim_{n \rightarrow \infty}S_{n}(x) = S(x)$

であるような関数

が存在するとき，級数 $\sum_{n=1}^{\infty}a_{n}(x)$ は収束するといい，

を無限級数の和とよびます．とくに収束が区間

において一様収束である場合，つまり，区間

の任意の

に対して

$\displaystyle n \geq N$ ならば $\displaystyle \ \vert S_{n}(x) - S(x)\vert < \epsilon$

となる

が区間

の

に無関係に存在する場合，級数 $\sum a_{n}(x)$ は区間

で一様収束する(uniformly convergent)といいます．

ここで $S(x) - S_{n}(x) = R(x)$ とおくと，無限級数の一様収束は次のように表わせます．つまり区間の任意のに対して

$\displaystyle n \geq N$ ならば $\displaystyle \ \vert R(x)\vert < \epsilon$

となる

が存在します．

定理 4.1 (Weierstrassの判定法) ある区間

の任意の

に対して
$(1) \ \vert a_{n}(x)\vert \leq M_{n} , \ n = 1,2,\ldots$
$(2) \ \sum M_{n} < \infty$
であるような実数列 $\{M_{n}\}$ が存在するとき， $\sum a_{n}(x)$ は区間

で一様収束かつ絶対収束である．

証明

$\displaystyle \vert R_{n}(x)\vert$	$\displaystyle =$	$\displaystyle \vert a_{n+1}(x) + a_{n+2}(x) + \cdots \vert \leq \vert a_{n+1}(x)\vert + \vert a_{n+2}(x)\vert + \cdots$
	$\displaystyle \leq$	$\displaystyle M_{n+1} + M_{n+2} + \cdots$

ところで $\sum M_{n} < \infty$ より，どんな $\epsilon > 0$ に対しても

が存在し， $n \geq N$ ならば

$\displaystyle M_{n+1} + M_{n+2} + \cdots < \epsilon.$

ここで

は明らかに

とは無関係なので，

のとき $\vert R_{n}(x)\vert < \epsilon$ が成り立つ． $\ \blacksquare$

無限級数が一様収束するとき，級数は有限級数のもっている多くの性質を継承します．

定理 4.2 (無限級数の連続性) $a_{n}(x)$ が区間

で連続で $\sum a_{n}(x)$ が区間

で一様収束ならば， $S(x) = \sum a_{n}(x)$ も区間

で連続である．

定理 4.3 (項別積分の定理) $a_{n}(x)$ が区間

で連続で $\sum a_{n}(x)$ が

で一様収束ならば，

$\displaystyle \int (\sum a_{n}(x))dx = \sum \int a_{n}(x)dx$

定理 4.4 (項別微分の定理) $a_{n}(x)$ が区間

で $C^{(1)}$ -級で， $\sum a_{n}^{\prime}(x)$ が一様収束するならば

$\displaystyle (\sum a_{n}(x))^{\prime} = \sum a_{n}^{\prime}(x)$

無限級数 $\sum a_{n}(x)$ において，とくに $a_{n}(x) = a_{n}x^{n}$ のときを整級数(power series)といいます．たとえば $e^{x},\sin{x},\cos{x},\log{(1+x)}$ のTaylor級数

		$\displaystyle e^{x} = 1 + x + \frac{x^{2}}{2!} + \cdots + \frac{x^{n}}{n!}+ \cdots = \sum_{n=0}^{\infty} \frac{x^{n}}{n!}$
		$\displaystyle \sin{x} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots = \sum_{n=0}^{\infty} \frac{(-1)^{n}x^{2n+1}}{(2n+1)!}$
		$\displaystyle \cos{x} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots = \sum_{n=0}^{\infty} \frac{(-1)^{n}x^{2n}}{(2n)!}$
		$\displaystyle \log{(1+x)} = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \cdots = \sum_{n=0}^{\infty} (-1)^{n}\frac{x^{n+1}}{n+1}$

は整級数のひとつです．

さて $\sum a_{n}x^{n}$ はのどんな値に対して収束するのでしょうか． $c_{n} = a_{n}x^{n}$ とおき，D'Alembertの判定法を用いると

$\displaystyle \lim_{n \rightarrow \infty}\mid \frac{c_{n+1}}{c_{n}}\mid$	$\displaystyle =$	$\displaystyle \lim_{n \rightarrow \infty}\mid \frac{a_{n+1}x^{n+1}}{a_{n}x^{n}} \mid$
	$\displaystyle =$	$\displaystyle \vert x\vert \lim_{n \rightarrow \infty}\mid \frac{a_{n+1}}{a_{n}} \mid .$

ここで $\vert x\vert < \lim_{n \rightarrow \infty}\vert\frac{a_{n}}{a_{n+1}}\vert$ ならば $\sum \vert a_{n}x^{n}\vert$ は収束し， $\vert x\vert > \lim_{n \rightarrow \infty}\vert\frac{a_{n}}{a_{n+1}}\vert$ ならば $\sum a_{n}x^{n}$ は発散するのでこの極限値

$\displaystyle \rho = \lim_{n \rightarrow \infty} \mid \frac{a_{n}}{a_{n+1}} \mid$

を収束半径(radius of convergence)といいます．

例題 4.1 次の整級数の収束半径を求めよ．
$(a) \ \sum \frac{x^{n}}{n^{2}} \ \ \ (b) \ \sum \frac{x^{n}}{n!}$

解 $\begin{displaymath}\begin{array}{lll} (a)& \ \rho &= \lim_{n \rightarrow \infty}... ...infty} \vert\frac{(n+1)!}{n!}\vert \\ &&= \infty . \end{array}\end{displaymath}$