この記事では関数項級数に関する定理について雑にまとめていきます。
なお通常の級数に関する収束判定法については
この記事
を参照してください。
$|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)$$
とわかる。
$|f_n(x)|\leq M_n$かつ$\sum^\infty_{n=0}M_n$が収束するような数列$M_n$が存在するとき
$$\sum^\infty_{n=0}f_n(x)$$
は一様収束する。
$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$において広義一様収束する。
一様有界かつ$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|$$
のように求まる。
$|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$$
を得る。
$|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}
が成り立つ。
下の定理については適当なルベーグ積分のテキストを参照されたい。
$$\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}$$
が成り立つ。