5

雑記:関数項級数に関する定理まとめ

359
1
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{c}[0]{\cdot} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{FF}[6]{{}_3F_2\left(\begin{matrix}#1,#2,#3\\#4,#5\end{matrix};#6\right)} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathbb{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{L}[0]{\Lambda} \newcommand{la}[0]{\lambda} \newcommand{La}[0]{\Lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{M}[4]{\begin{pmatrix}#1& #2\\#3& #4\end{pmatrix}} \newcommand{N}[0]{\mathbb{N}} \newcommand{o}[0]{\omega} \newcommand{O}[0]{\Omega} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{q}[0]{\mathfrak{q}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{ul}[1]{\underline{#1}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事では関数項級数に関する定理について雑にまとめていきます。
 なお通常の級数に関する収束判定法については この記事 を参照してください。

一様収束判定法

優級数定理

 $|f_n(x)|\leq g_n(x)$かつ$\sum^\infty_{n=0}g_n(x)$が一様収束するような関数列$g_n(x)$が存在するとき
$$\sum^\infty_{n=0}f_n(x)$$
は一様収束する。

証明

$$\l|\sum^n_{k=m}f_k(x)\r|\leq\sum^n_{k=m}g_k(x)\to0\quad(m,n\to\infty)$$
とわかる。

WierstrassのM判定法

 $|f_n(x)|\leq M_n$かつ$\sum^\infty_{n=0}M_n$が収束するような数列$M_n$が存在するとき
$$\sum^\infty_{n=0}f_n(x)$$
は一様収束する。

Dirichletの一様収束定理

 $n$について一様かつ単調に$0$に収束する関数列$a_n(x)$と部分和$\sum^n_{k=0}b_k(x)$$n,x$について有界な関数列$b_n(x)$に対し
$$\sum^\infty_{n=0}a_n(x)b_n(x)$$
は一様収束する。

証明

  ディリクレの判定法 と同様にして
$$\l|\sum^n_{k=m+1}a_k(x)b_k(x)\r|\leq2Kb_m(x)\to0\quad(m,n\to0)$$
がわかる。

 一様かつ単調に$0$に収束する関数列$a_n(x)$に対し
$$\sum^\infty_{n=0}a_n(x)e^{2\pi inx}$$
$0< x<2\pi$において広義一様収束する。

Abelの一様収束定理

 一様有界かつ$n$について単調な関数列$a_n(x)$と一様収束する関数項級数$\sum^\infty_{n=0}b_n(x)$に対し
$$\sum^\infty_{n=0}a_n(x)b_n(x)$$
は一様収束する。

証明

 $|a_n(x)|< A$なる$A>0$をとる。いま
$$B_n(x)=\sum^n_{k=m}b_k(x)$$
とおくと十分大きい任意の$m,n$に対し$|B_n(x)|<\e$が成り立つので部分和分により
\begin{align} \l|\sum^n_{k=m}a_k(x)b_k(x)\r| &=\l|a_n(x)B_n(x)+\sum^{n-1}_{k=m}B_k(x)(a_k(x)-a_{k+1}(x))\r|\\ &<\e\l(|a_n(x)|+\l|\sum^{n-1}_{k=m}(a_k(x)-a_{k+1}(x))\r|\r)\\ &=\e(|a_n(x)|+|a_m(x)-a_n(x)|)\\\ &<3A\e \end{align}
がわかる。

ディリクレ級数の収束判定法

 以下$\la_n$を非有界単調増加数列とし、$s$についての関数
$$\sum^\infty_{n=1}a_ne^{-\la_n s}$$
の収束性について考える。
 本節で紹介する定理は この記事 にて証明しているので本記事では特に解説しない。

収束軸

\begin{align} \s_c&=\limsup_{n\to\infty}\frac{\log|\sum^n_{k=1}a_k|}{\la_n} &\l(\sum^\infty_{n=1}a_n\ \mbox{が発散するとき}\r)\\ \s_c&=\limsup_{n\to\infty}\frac{\log|\sum^\infty_{k=n}a_k|}{\la_n} &\l(\sum^\infty_{n=1}a_n\ \mbox{が収束するとき}\r) \end{align}
とおくと
$$\sum^\infty_{n=1}a_ne^{-\la_n s}$$
$\Re(s)>\s_c$において(広義一様)収束し、$\Re(s)<\s_c$において発散する。

絶対収束軸

\begin{align} \s_a&=\limsup_{n\to\infty}\frac{\log\sum^n_{k=1}|a_k|}{\la_n} &\l(\sum^\infty_{n=1}|a_n|\ \mbox{が発散するとき}\r)\\ \s_a&=\limsup_{n\to\infty}\frac{\log\sum^\infty_{k=n}|a_k|}{\la_n} &\l(\sum^\infty_{n=1}|a_n|\ \mbox{が収束するとき}\r) \end{align}
とおくと
$$\sum^\infty_{n=1}a_ne^{-\la_n s}$$
$\Re(s)>\s_c$において絶対収束し、$\Re(s)<\s_c$において絶対収束しない。

冪級数の収束半径

 ある$r\geq0$が存在して冪級数
$$\sum^\infty_{n=0}a_nz^n$$
$|z|< r$において(絶対)収束し、$|z|>r$において発散する。またこの$r$
$$\frac1r=\limsup_{n\to\infty}\sqrt[n]{|a_n|}$$

$$\frac1r=\lim_{n\to\infty}\l|\frac{a_{n+1}}{a_n}\r|$$
のように求まる。

冪級数の極限

Abelの連続性定理

 $|z|<1$において定まる関数
$$f(z)=\sum^\infty_{n=0}a_nz^n$$
について、$\sum^\infty_{n=0}a_n$が収束すれば
$$\lim_{x\to1-0}f(x)=\sum^\infty_{n=0}a_n$$
が成り立つ。

証明

 $a_0$の値を適当に取り換えることで
$$\sum^\infty_{n=0}a_n=0$$
としてよい。つまり$A_n=\sum^n_{k=0}a_k$とおいたとき十分大きい任意の$n$に対し$|A_n|<\e$が成り立つことに注意すると、部分和分により$0< x<1$において
\begin{align} |f(x)| &=\l|\sum^\infty_{n=0}A_n(x^n-x^{n+1})\r|\\ &\leq(1-x)\c\l|\sum^N_{n=0}A_nx^n\r|+(1-x)\sum^\infty_{n=N+1}\e x^n\\ &=(1-x)\c\l|\sum^N_{n=0}A_nx^n\r|+\e x^{N+1} \end{align}
と評価できる。したがって
$$\lim_{x\to1-0}f(x)=0=\sum^\infty_{n=0}a_n$$
を得る。

Tauber型定理

 $|z|<1$において定まる関数
$$f(z)=\sum^\infty_{n=0}a_nz^n$$
に対し$\lim_{x\to1-0}f(x)$が存在し、また
$$\lim_{n\to\infty}na_n=0$$
であれば
$$\lim_{x\to1-0}f(x)=\sum^\infty_{n=0}a_n$$
が成り立つ。

証明

 $a_0$を適当に取り換えることによって
$$\lim_{x\to1-0}f(x)=0$$
としてよい。いま仮定およびStolz-Cesàroの定理より
$$\lim_{n\to\infty}\frac1n\sum^n_{k=0}k|a_k|=0$$
が成り立つことに注意すると十分大きい$N$に対し$1-\frac1N\leq x<1,n\geq N$において
$$\l|\sum^\infty_{k=0}a_kx^k\r|,\quad n|a_n|,\quad\frac1n\sum^n_{k=0}k|a_k|<\e$$
とできる。
 このとき$X=1-\frac1N$とおくと
\begin{align} \l|\sum^\infty_{n=N+1}a_nX^n\r| &=\l|\sum^\infty_{n=N+1}na_n\frac{X^n}{n}\r|\\ &\leq\sum^\infty_{n=N+1}\e\frac{X^n}{N+1}\\ &\leq\frac\e{N+1}\sum^\infty_{n=0}X^n=\frac\e{N+1}\frac1{1-X}=\e\frac N{N+1}<\e\\ \l|\sum^N_{n=0}a_n(1-X^n)\r| &=(1-X)\l|\sum^N_{n=0}a_n\sum^{n-1}_{k=0}X^k\r|\\ &\leq\frac1N\sum^N_{n=0}a_n\sum^{n-1}_{k=0}1 =\frac1N\sum^N_{n=0}na_n<\e \end{align}
と評価できるので
$$\l|\sum^N_{n=0}a_n\r| \leq\l|\sum^N_{n=0}a_n(1-X^n)\r|+\l|\sum^\infty_{n=0}a_nX^n\r|+\l|\sum^\infty_{n=N+1}a_nX^n\r| <3\e$$
つまり
$$\sum^\infty_{n=0}a_n=0=\lim_{x\to1-0}f(x)$$
を得る。

項別の極限・微分・積分

 連続関数の列$f_n(x)$$f$に一様収束するとき
\begin{align} \lim_{n\to\infty}f_n(a)&=\lim_{x\to a}f(x)\\ \lim_{n\to\infty}\int^b_af_n(x)dx&=\int^b_af(x)dx \end{align}
が成り立つ。また$f'_n(x)$が一様収束するとき
$$\lim_{n\to\infty}f'_n(x)=f'(x)$$
も成り立つ。

証明

 雑に証明する。
 連続性については
$$|f(x)-f(a)|<|f(x)-f_n(x)|+|f_n(x)-f_n(a)|+|f_n(a)-f(a)|<3\e$$
とわかる。
 積分については
$$\l|\int^b_a(f(x)-f_n(x))dx\r|<(b-a)\e$$
とわかる。
 微分については$f'_n\to g$とおくと
$$\int^x_ag(x)dx=\lim_{n\to\infty}\int^b_af'_n(x)dx=f(x)-f(a)$$
とわかる。

 $\sum^\infty_{n=0}f_n(x),\sum^\infty_{n=0}f'_n(x)$が一様収束するとき
\begin{align} \lim_{x\to a}\sum^\infty_{n=0}f_n(x)&=\sum^\infty_{n=0}f_n(a)\\ \int^b_a\l(\sum^\infty_{n=0}f_n(x)\r)dx&=\sum^\infty_{n=0}\int^b_af_n(x)dx\\ \frac d{dx}\sum^\infty_{n=0}f_n(x)&=\sum^\infty_{n=0}f'_n(x) \end{align}
が成り立つ。

 下の定理については適当なルベーグ積分のテキストを参照されたい。

Fubiniの定理

$$\int_X\l(\int_Y|f(x,y)|d\nu(y)\r)\mu(x)=\int_Y\l(\int_X|f(x,y)|d\mu(x)\r)\nu(y)$$
が成り立つ。特にこれが有限値を取るとき
$$\int_X\l(\int_Yf(x,y)d\nu(y)\r)\mu(x)=\int_Y\l(\int_Xf(x,y)d\mu(x)\r)\nu(y)$$
が成り立つ。

 これにおいて$X=\R,Y=\N_0$とすることで以下を得る。

広義積分と級数の交換

$$\int^\infty_{-\infty}\l(\sum^\infty_{n=0}|f_n(x)|\r)dx =\sum^\infty_{n=0}\int^\infty_{-\infty}|f_n(x)|dx$$
が成り立つ。特にこれが有限値を取るとき
$$\int^\infty_{-\infty}\l(\sum^\infty_{n=0}f_n(x)\r)dx =\sum^\infty_{n=0}\int^\infty_{-\infty}f_n(x)dx$$
が成り立つ。

 ちなみに$X=Y=\N_0$とすることで下のような主張も得られる。

二重級数の順序交換

$$\sum^\infty_{m=0}\sum^\infty_{n=0}|a_{m,n}|=\sum^\infty_{n=0}\sum^\infty_{m=0}|a_{m,n}|$$
が成り立つ。特にこれが有限値を取るとき
$$\sum^\infty_{m=0}\sum^\infty_{n=0}a_{m,n}=\sum^\infty_{n=0}\sum^\infty_{m=0}a_{m,n}$$
が成り立つ。

投稿日:127
更新日:212
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
988
227697
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中