やりなおしの数学・微分積分篇（52/X） - 「大人の教養・知識・気付き」を伸ばすブログ

　以下の書籍を参考に、改めて微分積分を復習していく。

理工系のための微分積分〈2〉

作者:武, 鈴木,良弘, 柴田,和永, 田中,義雄, 山田
内田老鶴圃

Amazon

前回

power-of-awareness.com

前回
今日のまとめ
9.　関数列の収束
- 9.8　整数級
  - 9.8.1　具体的な展開
- 9.9　関数空間C(I)と縮小写像の原理
  - 9.9.1　関数空間
次回

今日のまとめ

収束半径 $r\gt0$ を持ち、 $|x|\lt r$ で無限回微分可能な関数 $f(x)$ が
$\begin{aligned}f(x)=\displaystyle{\sum_{n=0}^{\infty}\frac{f^{(n)(0)}}{n!} x^n },\ |x|\lt r\end{aligned}$
と展開されるとき、関数 $f(x)$ を実解析的関数と呼ぶ。

線形空間 $X$ において実数値関数 $\|\cdot\|:X\rightarrow[0,\infty)$ が3つの条件：① ${}^{\forall}x\in X\|x\|\geq0$ , $\|x\|=0\Leftrightarrow x=0$ *1、② ${}^{\forall}x\in X,{}^{\forall}\alpha\in\mathbb{R}\left(\|\alpha x\|=|\alpha|\|x\|\right)$ 、③ ${}^{\forall}x,{}^{\forall}y\in X\left(\|x+y\|\leq\|x\|+\|y\|\right)$ を満たすとき、 $\|\cdot\|$ を $X$ 上のノルムといい $X$ をノルム空間という。

9.　関数列の収束

　本節では関数の数列（関数列）に関する収束概念を扱う。

9.8　整数級

9.8.1　具体的な展開

　具体的な関数を展開してみる、すなわち $|x|\lt r$ で無限回微分可能な関数 $f(x)$ について

$\begin{aligned} f(x)=\displaystyle{\sum_{n=0}^{\infty}a_n x^n },\ |x|\lt r \end{aligned}$

と展開することを考える。ここで $r$ は $f(x)$ の収束半径である。
　前回示した定理から、 $f(x)$ が上記の形で書けるとき、 $a_n=\displaystyle{\frac{f^{(n)(0)}}{n!}}$ が成り立つ。こうして

$\begin{aligned} f(x)=\displaystyle{\sum_{n=0}^{\infty}\frac{f^{(n)(0)}}{n!} x^n },\ |x|\lt r \end{aligned}$

が成り立つ。このように展開される関数 $f(x)$ を実解析的関数と呼ぶ。すべての無限回微分可能な関数がすべて解析関数というわけではない。
　 $\mathrm{Maclaurin}$ 展開と比較することで

$\begin{aligned} f(x)=f(0)+f^{\prime}(0)x+\displaystyle{\frac{f^{(2)}(0)}{2!}}+\cdots+\displaystyle{\frac{f^{(n-1)}(0)}{(n-1)!}}+R_n(x) \end{aligned}$

を得る。ここで

$\begin{aligned} R_n(x)=\displaystyle{\frac{x^n}{(n-1)!}\int_0^1(1-\theta)^{n-1}f^{(n)}(\theta x)d\theta} \end{aligned}$

と書かれる剰余項である。もし $|x|\lt r$ で $\displaystyle{\lim_{n\rightarrow\infty}}R_n(x)=0$ が成り立てば、 $f(x)$ は解析関数であると言える。

例：
　等比級数 $1+x+x^2+\cdots+x^{n}=\displaystyle{\frac{1-x^{n+1}}{1-x}}$ より、 $|x|\lt1$ ならば $\displaystyle{\frac{1-x^{n+1}}{1-x}}\rightarrow\displaystyle{\frac{1}{1-x}}(n\rightarrow\infty)$ であるから、

$\begin{aligned} \displaystyle{\frac{1}{1-x}}=\displaystyle{\sum_{n=1}^{\infty}x^n},\ |x|\lt1 \end{aligned}$

が成り立つ。いま右辺の係数は $a_n=1$ であるから $\displaystyle{\frac{a_{n+1}}{a_n}}=1$ より右辺の収束半径は $1$ である。したがって両辺を $k$ 回微分することで

$\begin{aligned} \displaystyle{\frac{k!}{(1-x)^{k+1}}}=\displaystyle{\sum_{n=1}^{\infty}n(n-1)\cdots(n-k+1)x^{n-k}}=\displaystyle{\sum_{n=0}^{\infty}\frac{(n+k)!}{n!}}x^n,\ |x|\lt1 \end{aligned}$

を得、

$\begin{aligned} \displaystyle{\frac{1}{(1-x)^{k+1}}}=\displaystyle{\sum_{n=0}^{\infty}\frac{(n+k)!}{n!k!}}x^n,\ |x|\lt1 \end{aligned}$

である。
　また $x=-x$ と置き換えることで

$\begin{aligned} \displaystyle{\frac{1}{1+x}}=\displaystyle{\sum_{n=1}^{\infty}(-1)^nx^n},\ |x|\lt1 \end{aligned}$

である。両辺を積分することで

$\begin{aligned} \displaystyle{\log(1+x)}=\displaystyle{\sum_{n=0}^{\infty}\frac{(-1)^n}{n+1}x^{n+1}},\ |x|\lt1 \end{aligned}$

が得られる。特に $x=1$ のとき $\displaystyle{\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n}}$ は交項級数の定理から収束する。 $\mathrm{Abel}$ の連続性定理から $0\leq x\leq1$ で右辺が連続であることが分かる。一方で $\log(1+x)$ も $0\leq x\leq1$ で連続であるから $x=1$ でも成立する。以上から、

$\begin{aligned} \log2=\displaystyle{\sum_{n=0}^{\infty}\frac{(-1)^n}{n+1}} \end{aligned}$

が得られた。

9.9　関数空間C(I)と縮小写像の原理

　連続関数空間 $C(I)$ とその上でのノルムを導入し、関数列の一様収束を整理する。その上で縮小写像の原理と逐次近似法を導入する。

9.9.1　関数空間

　 $I=[a,b]\subset\mathbb{R}$ について、 $I$ 上で定義された実数値連続関数の全体を $C(I)$ と表す。 $f(x),g(x)\in C(I)$ と実数 $\alpha,\beta\in\mathbb{R}$ に対して関数 $\alpha f+\beta g$ を、 $x\in I$ に対して

$\begin{aligned} (\alpha f+\beta g)(x)=\alpha f(x)+\beta g(x) \end{aligned}$

で定義する。この演算により $C(I)$ は $\mathbb{R}$ 上の線型空間となる。 $f(x)\in C(I)$ に対してそのノルム $\|f\|$ を

$\begin{aligned} \|f\|=\displaystyle{\sup_{x\in I}|f(x)|} \end{aligned}$

で定義する。このノルム $\|\|$ について

${}^{\forall}f\in C(I)\left( \|f\|\geq0\right)$ , $\|f\|=0\Leftrightarrow {}^{\forall}x\in I\left(f(x)=0\right)$
${}^{\forall}\alpha\in I\land {}^{\forall}f\in C(I)\left(\|\alpha f\|=|\alpha|\|f\|\right)$
${}^{\forall}f,g\in C(I)\left(\|f+g\|\leq\|f\|+\|g\|\right)$

が成り立つ。
　更に以下の2つの命題が成り立つ：

${}^{\forall}f_1,\cdots,{}^{\forall}f_n\in C(I)\left(\|f_1+\cdots+f_n\|\leq\|f_1\|+\cdots+\|f_n\|\right)$
${}^{\forall}f,{}^{\forall}g\in C(I)\left(\left|\|f\|-\|g\|\right|\leq\|f-g\|\right)$

　より一般的に線形空間 $X$ において実数値関数 $\|\cdot\|:X\rightarrow[0,\infty)$ が3つの条件

${}^{\forall}x\in X\|x\|\geq0$ , $\|x\|=0\Leftrightarrow x=0$ *2
${}^{\forall}x\in X,{}^{\forall}\alpha\in\mathbb{R}\left(\|\alpha x\|=|\alpha|\|x\|\right)$
${}^{\forall}x,{}^{\forall}y\in X\left(\|x+y\|\leq\|x\|+\|y\|\right)$

を満たすとき、 $\|\cdot\|$ を $X$ 上のノルムといい $X$ をノルム空間という。

　ノルム空間 $X$ においても点列の収束などを定義できる。

ノルム空間における収束　ノルム空間 $X$ の点列 $\{u_n\}_{n=1,2,\cdots}$ について

$\begin{aligned} \displaystyle{\lim_{n\rightarrow\infty}\left\|u_n-u\right\|}=0 \end{aligned}$

が成り立つとき、 $\{u_n\}_{n=1,2,\cdots}$ は $u\in X$ に収束するという。
　より厳密には、　ノルム空間 $X$ の点列 $\{u_n\}_{n=1,2,\cdots}$ について、

$\begin{aligned} {}^{\forall}\varepsilon\in\mathbb{R}\land\varepsilon\gt0\left({}^{\exists}N\in\mathbb{N}\left(n\geq N\Longrightarrow\|u_n-u\|\lt\varepsilon\right)\right) \end{aligned}$

が成立するとき、 $\{u_n\}_{n=1,2,\cdots}$ は $u\in X$ に収束するという。

　また $\mathrm{Cauchy}$ 列も定義することができる。

ノルム空間における $\mathrm{Cauchy}$ 列　ノルム空間 $X$ の点列 $\{u_n\}_{n=1,2,\cdots}$ が

$\begin{aligned} \displaystyle{\lim_{n\rightarrow\infty,m\rightarrow\infty}\|u_n-u_m\|}=0 \end{aligned}$

が成立するとき、点列 $\{u_n\}_{n=1,2,\cdots}$ は $\mathrm{Cauchy}$ 列という。
　より厳密には、ノルム空間 $X$ の点列 $\{u_n\}_{n=1,2,\cdots}$ が

$\begin{aligned} {}^{\forall}\varepsilon\in\mathbb{R}\land\varepsilon\gt0\left({}^{\exists}N\in\mathbb{N}\left(m,n\geq N\Longrightarrow\|u_n-u_m\|\lt\varepsilon\right)\right) \end{aligned}$

を満たすとき、 $\{u_n\}_{n=1,2,\cdots}$ は $\mathrm{Cauchy}$ 列であるという。

　ノルム空間 $X$ について、 $u\in X$ と $\varepsilon\gt0$ に対して $u$ の $\varepsilon$ -近傍を

$\begin{aligned} U_{\varepsilon}(u)=\left\{v\in X|\|v-u\|\lt\varepsilon\right\} \end{aligned}$

と定義する。これを用いることで点列の収束をよりコンパクトに表現できる。

点列の収束( $\varepsilon$ -近傍)　ノルム空間 $X$ 上の点列 $\{u_n\}_{n=1,2,\cdots}$ が $u\in X$ に収束するとは、

$\begin{aligned} {}^{\forall}\varepsilon\gt0\left({}^{\exists}N\in\mathbb{N}\left(n\geq N\Longrightarrow u_n\in U_{\varepsilon}(u)\right)\right) \end{aligned}$

が成立することをいう。

　もしノルム空間 $X$ が連続関数空間 $C(I)$ の場合には、

$\{f_n\}_{n=1,2,\cdots}\subset C(I)$ が $f\in C(I)$ に収束することの必要十分条件は $\{f_n\}_{n=1,2,\cdots}$ が $f$ に一様収束することである。
$\{f_n\}_{n=1,2,\cdots}\subset C(I)$ が $C(I)$ における $\mathrm{Cauchy}$ 列であるための必要十分条件は $\mathrm{Cauchy}$ の判定法、すなわち
$\begin{aligned}{}^{\forall}\varepsilon\gt0\left({}^{\exists}N\in\mathbb{N}\left({}^{\forall}x\in C(I),{}^{\forall}n,m\geq N\left(\|f_n-f_m\|\lt\varepsilon\right)\right)\right)\end{aligned}$
が成り立つことである。