# フーリエ級数：Dirichlet–Jordan の収束定理・Fejér の定理・Parseval の等式・Gibbs 現象 > トーラス上の Fourier 級数について、Riemann–Lebesgue の補題、Dirichlet–Jordan の各点収束定理、Fejér の定理と Parseval の等式を証明し、Gibbs 現象の定量的な評価まで示す。 > https://rikai.mugen-giken.com/mathematics/fourier-analysis/fourier-series ## 0. この記事の要点 音や電気信号のように同じ形を繰り返す波形は、ゆっくり振動する波と速く振動する波を足し合わせて作れます。この記事では、どんな周期的な関数もそのように分解できるのか、足し合わせは元の関数にどんな意味で近づくのかを調べます。近づき方には「各点で近づく」「全体として近づく」などの違いがあり、関数の形によって成り立つ場合と成り立たない場合があります。読み終えると、その見分け方と、分解から有名な級数の和（たとえば $\sum 1/n^2$）を求める方法が分かります。 - 周期 $2\pi$ の可積分関数 $f$ の Fourier 係数 $\hat f(n)$ は $n\to\pm\infty$ で $0$ に収束します（**Riemann–Lebesgue の補題**）。証明は平行移動の $L^1$ 連続性だけです。 - 部分和 $S_Nf$ は **Dirichlet 核**（部分和を作る特別な関数。第 3 節）との畳み込みで、その各点収束は微妙です。$f$ が一点の近くで[有界変動](/mathematics/real-analysis/radon-nikodym#def-bv-ac)（グラフの上下の動きの合計が有限）なら、その点で左右の極限の平均に収束します（**Dirichlet–Jordan の定理**）。 - Cesàro 平均 $\sigma_Nf$（部分和を最初から $N$ 番目まで平均したもの）は**正値**（負の値をとらない）の Fejér 核との畳み込みなので、連続関数に一様収束し、$L^p$（$1\le p\lt\infty$）でも収束します（**Fejér の定理**）。ここから Fourier 係数による関数の一意性、三角多項式の稠密性、Weierstrass の近似定理が出ます。 - $\{e^{in\theta}\}$ は $L^2(\mathbb{T})$ の[正規直交基底](/mathematics/functional-analysis/hilbert-spaces#def-orthonormal-system)で、**Parseval の等式** $\sum|\hat f(n)|^2=\|f\|_2^2$ が成り立ち、$L^2(\mathbb{T})\cong\ell^2(\mathbb{Z})$ は[ユニタリ](/mathematics/functional-analysis/hilbert-spaces#def-unitary)（内積を保つ対応）です。 - 跳びのある関数では部分和が跳びの手前で約 $9\%$ 行き過ぎます（**Gibbs 現象**）。部分和は一様収束しません。 - 級数が収束しない関数でも、Fourier 級数は項別に**積分**できます。積分は係数に $1/n$ をかけて滑らかにするためです。項別微分は一般には許されません。 ## 1. 動機 周期的な現象を、振動数が整数倍の単振動の重ね合わせとして分解するのが Fourier 級数です。Fourier が熱方程式を解くために導入しました（1822 年）が、「どんな関数が級数に展開できて、どの意味で収束するのか」という問いは、19 世紀を通して積分論と関数の概念そのものを作り直させました。 この記事は、テーマ「フーリエ解析と超関数」の最初の章です。テーマ全体の流れは次のとおりです。 - **この章**: 円周（トーラス）上の Fourier 級数。収束の様々な意味を比べます。 - **次の章**: $\mathbb{R}^n$ 上の Fourier 変換（反転公式、Plancherel の定理、Poisson 和公式）。トーラスとの橋が Poisson 和公式です。 - **続く章**: Schwartz 空間と緩増加超関数、核型空間と Bochner–Minlos の定理、Sobolev 空間、補間不等式、Hardy 空間と Hilbert 変換など。関数解析・作用素論の解析的な道具を、証明つきで集めます。 円周は最も簡単なコンパクト可換群（点の足し算ができるコンパクトな集合）で、$e^{in\theta}$ はその既約表現（それ以上分解できない表現）である指標です。この章の結果は、[Peter–Weyl の定理](/mathematics/compact-groups/peter-weyl) の可換な場合にあたり、格子上の Fourier 変換（第 7 節）の連続版でもあります。 ## 2. 準備 $\mathbb{T}=\mathbb{R}/2\pi\mathbb{Z}$ 上の関数を周期 $2\pi$ の関数と同一視し、測度は $\frac{d\theta}{2\pi}$ にします（全測度 $1$）。$\|f\|_p=\bigl(\frac1{2\pi}\int_{-\pi}^\pi|f|^p\,d\theta\bigr)^{1/p}$ です。 $f\in L^1(\mathbb{T})$ に対し、$\hat f(n)=\frac1{2\pi}\int_{-\pi}^\pi f(\theta)e^{-in\theta}\,d\theta$（$n\in\mathbb{Z}$）を **Fourier 係数**、$S_Nf(\theta)=\sum_{|n|\le N}\hat f(n)e^{in\theta}$ を**部分和**という。$f,g\in L^1(\mathbb{T})$ の**畳み込み**を $(f*g)(\theta)=\frac1{2\pi}\int_{-\pi}^\pi f(\theta-\varphi)g(\varphi)\,d\varphi$ で定め、平行移動を $(\tau_tf)(\theta)=f(\theta-t)$ と書く。 Fubini–Tonelli の定理（、）から、$f*g$ はほとんど至るところ定義されて $L^1$ に属し、$\|f*g\|_1\le\|f\|_1\|g\|_1$ と $\widehat{f*g}(n)=\hat f(n)\hat g(n)$ が成り立ちます（積分の順序を入れ替えて $e^{-in\theta}=e^{-in(\theta-\varphi)}e^{-in\varphi}$ と分ければよい）。 $1\le p\lt\infty$、$f\in L^p(\mathbb{T})$ なら $\|\tau_tf-f\|_p\to0$（$t\to0$）。 まず連続な周期関数が $L^p(\mathbb{T})$ で稠密なことを示します。$\varepsilon>0$ に対し、優収束定理で $\delta>0$ を $\|f1_{|\theta|>\pi-\delta}\|_p\lt\varepsilon$ となるようにとります。$\mathbb{R}$ 上の $f1_{|\theta|\lt\pi-\delta}$ は $L^p(\mathbb{R})$ に属し、コンパクト台の連続関数は $L^p(\mathbb{R})$ で稠密（）なので、$g\in C_c(\mathbb{R})$ で距離が $\varepsilon$ 未満のものがあります。$\chi$ を $[-\pi+\delta,\pi-\delta]$ で $1$、$|\theta|\ge\pi-\delta/2$ で $0$ の連続関数（$0\le\chi\le1$）として $G=\chi g$ を周期的に拡張すると連続で、$\|f-G\|_{L^p(\mathbb{T})}\le\|f1_{|\theta|>\pi-\delta}\|_p+\|\chi(f1_{|\theta|\lt\pi-\delta}-g)\|_p\lt2\varepsilon$ です。 連続な周期関数 $G$ は一様連続なので $\|\tau_tG-G\|_p\le\|\tau_tG-G\|_\infty\to0$ です。よって $\|\tau_tf-f\|_p\le2\|f-G\|_p+\|\tau_tG-G\|_p$ は $\limsup_{t\to0}\le4\varepsilon$ です。 ## 3. Dirichlet 核と各点収束 $D_N(t)=\sum_{|n|\le N}e^{int}$ とおくと、$D_N$ は偶関数で $\frac1{2\pi}\int_{-\pi}^\pi D_N=1$、$D_N(t)=\dfrac{\sin\bigl((N+\frac12)t\bigr)}{\sin(t/2)}$、そして $S_Nf=D_N*f$ である。 $S_Nf(\theta)=\sum_{|n|\le N}\frac1{2\pi}\int f(\varphi)e^{-in\varphi}d\varphi\,e^{in\theta}=\frac1{2\pi}\int f(\varphi)D_N(\theta-\varphi)\,d\varphi$ です。公式は $D_N(t)(e^{it/2}-e^{-it/2})=e^{i(N+1/2)t}-e^{-i(N+1/2)t}$（等比級数の和の telescoping）から従います。 $f\in L^1(\mathbb{T})$ なら $\hat f(n)\to0$（$n\to\pm\infty$）である。 $n\neq0$ で $\theta$ を $\theta+\pi/n$ にずらすと $e^{-in(\theta+\pi/n)}=-e^{-in\theta}$ なので $\hat f(n)=-\frac1{2\pi}\int f(\theta+\frac\pi n)e^{-in\theta}d\theta$ です。元の式との平均を取って $$ |\hat f(n)|=\Bigl|\frac12\cdot\frac1{2\pi}\int\bigl(f(\theta)-f(\theta+\tfrac\pi n)\bigr)e^{-in\theta}d\theta\Bigr|\le\frac12\bigl\|f-\tau_{-\pi/n}f\bigr\|_1 $$ で、 により右辺は $0$ に収束します。 次の補題は Dirichlet–Jordan の定理の証明の道具です。核の $\sin Mt/t$ は振動が激しく、そのままでは積分の大きさを抑えにくいので、相手の関数が単調ならば積分の大きさが振動の部分積分の上界だけで決まる、という形にしておきます。 $h$ を $[a,b]$ 上の連続関数で、全ての $a\le x\le y\le b$ について $\bigl|\int_x^yh\bigr|\le C$ を満たすものとし、$g:[a,b]\to[0,G]$ を単調とする。このとき $\bigl|\int_a^bgh\bigr|\le2CG$。 $g$ は単調なので Riemann 可積分で、分割 $a=t_0\lt\cdots\lt t_K=b$ について $\sum_kg(t_k)\int_{t_k}^{t_{k+1}}h$ は、分割の幅を $0$ にすると $\int gh$ に収束します（誤差は $\sup|h|\cdot\max(t_{k+1}-t_k)\cdot|g(b)-g(a)|$ 以下）。$g_k=g(t_k)$、$C_k=\int_a^{t_k}h$（$C_0=0$、$|C_k|\le C$）として Abel の総和法を使うと、$\sum_{k=0}^{K-1}g_k(C_{k+1}-C_k)=g_{K-1}C_K-\sum_{k=1}^{K-1}(g_k-g_{k-1})C_k$ で、絶対値は $C\bigl(g_{K-1}+\sum_k|g_k-g_{k-1}|\bigr)=C\bigl(g_{K-1}+|g_{K-1}-g_0|\bigr)\le2CG$ です（単調なので差の絶対値の和は端点の差）。 $f\in L^1(\mathbb{T})$ が、ある点 $\theta_0$ のまわりの区間 $[\theta_0-\delta,\theta_0+\delta]$ で有界変動であるとする。このとき片側極限 $f(\theta_0\pm)$ が存在し $$ \lim_{N\to\infty}S_Nf(\theta_0)=\frac{f(\theta_0+)+f(\theta_0-)}2. $$ とくに $f$ が $\theta_0$ で連続なら $S_Nf(\theta_0)\to f(\theta_0)$ である。
f(θ₀−) f(θ₀+) 平均 (f(θ₀+)+f(θ₀−))/2 θ₀
定理の主張どおり、証明の方針は次のとおりです。まず $S_Nf(\theta_0)$ を Dirichlet 核との積分で書き、$\theta_0$ から離れた部分は Riemann–Lebesgue の補題で $0$ に落とします。$\theta_0$ の近くでは、有界変動関数が単調関数の差に分けられることを利用して、補題で積分の大きさを抑えます。 有界変動関数は単調関数の差なので片側極限は存在します。$A=f(\theta_0+)+f(\theta_0-)$、$\varphi(t)=f(\theta_0+t)+f(\theta_0-t)-A$ とおくと $\varphi(0+)=0$ で、$D_N$ が偶関数で $\frac1{2\pi}\int_0^\pi D_N=\frac12$ であることから $$ S_Nf(\theta_0)-\frac A2=\frac1{2\pi}\int_0^\pi\varphi(t)D_N(t)\,dt,\qquad D_N(t)=\frac{\sin Mt}{\sin(t/2)},\ M=N+\tfrac12 $$ です。$\delta\lt\pi$ としてよく、積分を $[\delta,\pi]$ と $(0,\delta]$ に分けます。 (i) $[\delta,\pi]$: $\varphi/\sin(t/2)$ は可積分で、$\sin Mt=\mathrm{Im}\,e^{it/2}e^{iNt}$ なので により $\to0$。 (ii) $(0,\delta]$: $\frac1{\sin(t/2)}=\frac2t+k(t)$ とすると $k$ は有界連続なので、$\varphi k\sin Mt$ の積分は同様に $\to0$ です。残りは $J_M=2\int_0^\delta\varphi(t)\frac{\sin Mt}t\,dt$ です。$V(t)=\mathrm{Var}(\varphi;[t,\delta])$ とおくと $t\lt s$ で $|\varphi(t)-\varphi(s)|\le V(t)-V(s)$ なので、$V\pm\varphi$ はともに $t$ について非増加です。$t\downarrow0$ で $V(t)\uparrow V_0\lt\infty$、$\varphi(t)\to0$ なので、$g_\pm=V_0-(V\pm\varphi)$ は $t$ について非減少・非負で $g_\pm(0+)=0$ となり、$\varphi=\frac12(g_--g_+)$ です。 $\eta\in(0,\delta)$ を固定します。$\int_\eta^\delta g_\pm\frac{\sin Mt}t\,dt\to0$（Riemann–Lebesgue）。$[0,\eta]$ では $h(t)=\frac{\sin Mt}t$ について $\int_x^yh=\int_{Mx}^{My}\frac{\sin s}sds$ で、$\int_0^u\frac{\sin s}sds$ は $u$ について有界（符号が交代し絶対値が減少する級数の評価）なので、$M$ によらない定数 $C$ で $|\int_x^yh|\le C$ です。 により $\bigl|\int_0^\eta g_\pm h\bigr|\le2C\,g_\pm(\eta)$ です。よって $\limsup_M|J_M|\le2C\bigl(g_+(\eta)+g_-(\eta)\bigr)$ で、$\eta\to0$ とすれば $J_M\to0$ です。 連続関数でも Fourier 級数が一点で発散する例（du Bois-Reymond, 1873 年）があり、$L^1$ 関数では至るところ発散する例（Kolmogorov, 1926 年）まで知られています。そこで次の節では、収束の意味を変えます。 ## 4. Fejér の定理 $F_N=\frac1{N+1}\sum_{n=0}^ND_n$ とおくと $$ F_N(t)=\frac1{N+1}\left(\frac{\sin\frac{(N+1)t}2}{\sin\frac t2}\right)^2\ge0,\qquad\frac1{2\pi}\int_{-\pi}^\pi F_N=1, $$ $0\lt\delta\le|t|\le\pi$ で $F_N(t)\le\frac1{(N+1)\sin^2(\delta/2)}$ であり、$\sigma_Nf=\frac1{N+1}\sum_{n=0}^NS_nf=F_N*f$ である。 $2\sin\frac t2\sin(n+\frac12)t=\cos nt-\cos(n+1)t$ を $n=0,\dots,N$ で足すと $1-\cos(N+1)t=2\sin^2\frac{(N+1)t}2$ なので、$\sum_nD_n=\frac{1}{\sin(t/2)}\sum_n\sin(n+\frac12)t=\frac{\sin^2\frac{(N+1)t}2}{\sin^2\frac t2}$ です。積分は各 $D_n$ の積分が $1$ であることから、評価は分子を $1$ で抑えて出ます。最後は の畳み込みの線形性です。 1. $f\in C(\mathbb{T})$ なら $\sigma_Nf\to f$ は一様収束である。 2. $1\le p\lt\infty$ で $f\in L^p(\mathbb{T})$ なら $\|\sigma_Nf-f\|_p\to0$ である。 証明の見方は、畳み込み $F_N*f$ が「$f$ の平行移動 $\tau_tf$ を、重み $F_N$ で平均したもの」だということです。重みが負でなく総量 $1$ なので、$\sigma_Nf-f$ は $\tau_tf-f$ の平均で表せ、$F_N$ が原点に集中すれば小さくなります。 $\sigma_Nf(\theta)-f(\theta)=\frac1{2\pi}\int F_N(t)\bigl(f(\theta-t)-f(\theta)\bigr)dt$ で、$F_N\,\frac{dt}{2\pi}$ は確率測度です。 2: Jensen（または Hölder）の不等式で $|\sigma_Nf(\theta)-f(\theta)|^p\le\frac1{2\pi}\int F_N(t)|f(\theta-t)-f(\theta)|^pdt$。$\theta$ について積分して Tonelli の定理（）で積分の順序を入れ替えると $\|\sigma_Nf-f\|_p^p\le\frac1{2\pi}\int F_N(t)\|\tau_tf-f\|_p^pdt$。$\varepsilon>0$ に対し で $\delta$ をとり、$|t|\lt\delta$ では $\|\tau_tf-f\|_p^p\lt\varepsilon$、$|t|\ge\delta$ では $\le2^p\|f\|_p^p$ と $F_N\le\frac1{(N+1)\sin^2(\delta/2)}$ を使うと、右辺は $\varepsilon+\frac{2^p\|f\|_p^p}{(N+1)\sin^2(\delta/2)}$ 以下です。 1: 同様に $|\sigma_Nf-f|\le\sup_{|t|\lt\delta}\|\tau_tf-f\|_\infty+\frac{2\|f\|_\infty}{(N+1)\sin^2(\delta/2)}$ で、$f$ の一様連続性から従います。 1. （一意性）$f\in L^1(\mathbb{T})$ の Fourier 係数が全て $0$ なら $f=0$ ほとんど至るところ。 2. 三角多項式の全体は $C(\mathbb{T})$ で一様ノルムについて、$L^p(\mathbb{T})$（$1\le p\lt\infty$）で $L^p$ ノルムについて稠密である。 3. （Weierstrass の近似定理）$[a,b]$ 上の連続関数は多項式で一様に近似できる。 1: $\sigma_Nf=0$ なので の 2（$p=1$）から $\|f\|_1=0$。2: $\sigma_Nf$ は三角多項式です。3: アフィン変換で $[-1,1]$ としてよい。$F(\theta)=f(\cos\theta)$ は連続な偶関数で、$\sigma_NF$ は偶な三角多項式、すなわち $\sum_kc_k\cos k\theta$ です。$\cos(k+1)\theta=2\cos\theta\cos k\theta-\cos(k-1)\theta$ から $\cos k\theta=T_k(\cos\theta)$（$T_k$ は $k$ 次多項式）なので、$\sigma_NF(\theta)=q_N(\cos\theta)$（$q_N$ は多項式）で、$\sup_{[-1,1]}|f-q_N|=\sup_\theta|F-\sigma_NF|\to0$ です。 ## 5. Parseval の等式と一様収束 $e_n(\theta)=e^{in\theta}$ は $L^2(\mathbb{T})$ の正規直交基底である。したがって $f,g\in L^2(\mathbb{T})$ について $$ \frac1{2\pi}\int_{-\pi}^\pi\overline{f}\,g\,d\theta=\sum_{n\in\mathbb{Z}}\overline{\hat f(n)}\,\hat g(n),\qquad\|f\|_2^2=\sum_n|\hat f(n)|^2, $$ $S_Nf\to f$ は $L^2$ で成り立ち、$f\mapsto(\hat f(n))_n$ は $L^2(\mathbb{T})$ から $\ell^2(\mathbb{Z})$ へのユニタリ写像である。 $\langle e_n,e_m\rangle=\frac1{2\pi}\int e^{i(m-n)\theta}d\theta=\delta_{nm}$ で正規直交です。有限一次結合（三角多項式）は の 2 により $L^2$ で稠密なので、完全です。完全な正規直交系の特徴づけ（）から、残りの主張が従います。$\langle e_n,f\rangle=\hat f(n)$ に注意します。 $f(\theta)=\theta$（$-\pi\lt\theta\lt\pi$）の係数は部分積分で $\hat f(n)=\frac{i(-1)^n}n$（$n\ne0$）、$\hat f(0)=0$ です。Parseval の等式の左辺は $\frac1{2\pi}\int\theta^2d\theta=\frac{\pi^2}3$、右辺は $\sum_{n\neq0}\frac1{n^2}=2\zeta(2)$ なので $\zeta(2)=\frac{\pi^2}6$ です。 同じ方法を $\theta^2$ に使うと $\zeta(4)$ が求まります。黒体放射のシュテファン・ボルツマンの法則などで使うので、命題として証明しておきます。 $\displaystyle\sum_{n=1}^{\infty}\frac1{n^4}=\frac{\pi^4}{90}$ である。 $f(\theta)=\theta^2$（$-\pi\lt\theta\le\pi$）は有界なので $L^2(\mathbb{T})$ に属します。$\hat f(0)=\frac1{2\pi}\int_{-\pi}^{\pi}\theta^2d\theta=\frac{\pi^2}3$ です。$n\ne0$ のとき、まず部分積分で $$ \frac1{2\pi}\int_{-\pi}^{\pi}\theta e^{-in\theta}d\theta=\frac1{2\pi}\Bigl[\frac{\theta e^{-in\theta}}{-in}\Bigr]_{-\pi}^{\pi}+\frac1{2\pi in}\int_{-\pi}^{\pi}e^{-in\theta}d\theta=\frac{2\pi(-1)^n}{2\pi(-in)}+0=\frac{i(-1)^n}{n} $$ です（$e^{\pm in\pi}=(-1)^n$）。もう一度部分積分すると、境界項は $\frac{\pi^2e^{-in\pi}-\pi^2e^{in\pi}}{-in}=0$ なので $$ \hat f(n)=\frac1{2\pi}\int_{-\pi}^{\pi}\theta^2e^{-in\theta}d\theta=\frac{2}{in}\cdot\frac1{2\pi}\int_{-\pi}^{\pi}\theta e^{-in\theta}d\theta=\frac2{in}\cdot\frac{i(-1)^n}{n}=\frac{2(-1)^n}{n^2} $$ です。 の $\|f\|_2^2=\sum_n|\hat f(n)|^2$ に代入すると $$ \frac{\pi^4}5=\frac1{2\pi}\int_{-\pi}^{\pi}\theta^4d\theta=\frac{\pi^4}9+\sum_{n\ne0}\frac4{n^4}=\frac{\pi^4}9+8\sum_{n=1}^\infty\frac1{n^4} $$ で、$\sum_{n\ge1}n^{-4}=\frac18\bigl(\frac15-\frac19\bigr)\pi^4=\frac{\pi^4}{90}$ を得ます。 滑らかさは Fourier 係数の減衰を、減衰は一様収束を与えます。 $f\in C(\mathbb{T})$ が区分的に $C^1$（有限個の点を除いて $C^1$ で、各点で片側微分係数が存在する）なら、$\sum_n|\hat f(n)|\lt\infty$ で、$S_Nf$ は $f$ に一様収束する。 $f'$ は有界（区分的連続）です。各 $C^1$ 級の区間で部分積分すると、$f$ が連続かつ周期的なので端点の項が相殺して $\widehat{f'}(n)=in\hat f(n)$ です。Cauchy–Schwarz と Bessel の不等式（）により $$ \sum_{n\ne0}|\hat f(n)|\le\Bigl(\sum_{n\neq0}\frac1{n^2}\Bigr)^{1/2}\Bigl(\sum_n|\widehat{f'}(n)|^2\Bigr)^{1/2}\le\frac{\pi}{\sqrt3}\,\|f'\|_2\lt\infty. $$ Weierstrass の M 判定法（）により $S_Nf$ は連続関数 $g$ に一様収束し、一様収束は項別積分できるので $\hat g=\hat f$ です。 の 1 により $g=f$ です。 Fourier 級数は項別に**積分**できます。これは級数が収束しない関数でも成り立つ、積分が係数を $1/n$ の因子で滑らかにする効果の表れです。 $f\in L^1(\mathbb{T})$ とする。$f$ の Fourier 級数が収束するかどうかによらず、すべての $\alpha<\beta$ について $$ \int_\alpha^\beta f(t)\,dt=\lim_{N\to\infty}\int_\alpha^\beta S_Nf(t)\,dt=\hat f(0)(\beta-\alpha)+\lim_{N\to\infty}\sum_{0<|n|\le N}\hat f(n)\,\frac{e^{in\beta}-e^{in\alpha}}{in} $$ が成り立つ。さらに $f\in L^2(\mathbb{T})$ ならば、右辺の級数は $\alpha,\beta$ について一様に、かつ絶対収束する。 $c=\hat f(0)$ とおき、$F(\theta)=\int_0^\theta\bigl(f(t)-c\bigr)dt$ を考えます。$F$ は連続で、$|F(x)-F(y)|\le\int_y^x|f-c|$ から有界変動です。$f-c$ の周期 $2\pi$ の区間での積分は $2\pi(\hat f(0)-c)=0$ なので $F$ は周期 $2\pi$ です。 **$F$ の Fourier 係数.** $g=f-c$ とし $n\ne0$ とします。Fubini の定理（）で積分の順序を交換すると、$\int_{-\pi}^{\pi}F(\theta)e^{-in\theta}d\theta=\int_0^\pi g(t)\Bigl(\int_t^\pi e^{-in\theta}d\theta\Bigr)dt-\int_{-\pi}^0g(t)\Bigl(\int_{-\pi}^te^{-in\theta}d\theta\Bigr)dt$ です。内側の積分は $\frac{(-1)^n-e^{-int}}{-in}$ と $\frac{e^{-int}-(-1)^n}{-in}$ なので、$\int_{-\pi}^\pi g=0$ を使って、全体は $\frac1{-in}\bigl(-\int_{-\pi}^\pi g(t)e^{-int}dt\bigr)=\frac{2\pi\,\hat g(n)}{in}$ です。$\hat g(n)=\hat f(n)$（$n\ne0$）なので $$ \hat F(n)=\frac{\hat f(n)}{in}\qquad(n\ne0). $$ **各点収束.** $F$ はどの点の近くでも有界変動で連続なので、 により、すべての $\theta$ で $S_NF(\theta)\to F(\theta)$ です。$S_NF(\theta)=\hat F(0)+\sum_{0<|n|\le N}\frac{\hat f(n)}{in}e^{in\theta}$ ですから、$\theta=\beta$ と $\theta=\alpha$ の差を取って $$ F(\beta)-F(\alpha)=\lim_{N\to\infty}\sum_{0<|n|\le N}\hat f(n)\frac{e^{in\beta}-e^{in\alpha}}{in} $$ です。左辺は $\int_\alpha^\beta f\,dt-c(\beta-\alpha)$ です。また $\int_\alpha^\beta e^{int}dt=\frac{e^{in\beta}-e^{in\alpha}}{in}$（$n\ne0$）なので $\int_\alpha^\beta S_Nf=c(\beta-\alpha)+\sum_{0<|n|\le N}\hat f(n)\frac{e^{in\beta}-e^{in\alpha}}{in}$ で、主張の 2 つの等式が出ます。 **$f\in L^2$ の場合.** Cauchy–Schwarz の不等式と Parseval の等式（）により $\sum_{n\ne0}\frac{|\hat f(n)|}{|n|}\le\bigl(\sum_{n\ne0}\frac1{n^2}\bigr)^{1/2}\|f\|_2<\infty$ です。$\bigl|\frac{e^{in\beta}-e^{in\alpha}}{in}\bigr|\le\frac2{|n|}$ なので、級数は M 判定法（）により $\alpha,\beta$ について一様に絶対収束します（部分和の誤差は $2\sum_{|n|>N}|\hat f(n)|/|n|\to0$ で、$\alpha,\beta$ によりません）。 $f=\mathrm{sgn}$ の部分和は $S_{2m+1}f(t)=\frac4\pi\sum_{k=0}^m\frac{\sin(2k+1)t}{2k+1}$ です（）。$[0,\theta]$ で項別積分すると $\int_0^\theta\mathrm{sgn}\,dt=|\theta|$（$|\theta|\le\pi$）に対し、 から $$ |\theta|=\frac4\pi\sum_{k\ge0}\frac{1-\cos(2k+1)\theta}{(2k+1)^2}\qquad(|\theta|\le\pi) $$ が従います（$\mathrm{sgn}\in L^2$ なので級数は一様収束）。$\theta=\pi$ では $\cos(2k+1)\pi=-1$ なので $\pi=\frac8\pi\sum_{k\ge0}\frac1{(2k+1)^2}$、すなわち $\sum_{k\ge0}\frac1{(2k+1)^2}=\frac{\pi^2}8$ が得られます。これを戻すと $|\theta|=\frac\pi2-\frac4\pi\sum_{k\ge0}\frac{\cos(2k+1)\theta}{(2k+1)^2}$ で、 の級数です。 項別**微分**は一般には成り立ちません。$f(\theta)=\theta$（$-\pi<\theta<\pi$）の Fourier 級数は $\sum_{n\ge1}\frac{2(-1)^{n+1}}n\sin n\theta$ ですが、これを項別に微分した $\sum_n2(-1)^{n+1}\cos n\theta$ は、どの $\theta$ でも収束しません。一般項が $0$ に収束しないからです（$\cos n\theta\to0$ なら、部分列 $\cos2n\theta$ も $0$ に収束するはずですが、$\cos2n\theta=2\cos^2n\theta-1\to-1$ で矛盾します）。$f$ が跳びをもつ関数だからで、導関数の Fourier 係数 $in\hat f(n)$ が $0$ に収束するには、$f$ が連続で区分的に $C^1$ などの条件が要ります（ の証明の部分積分）。 ## 6. Gibbs 現象 跳びのある関数では、Fourier 級数は跳びの近くで一様収束しません。 $f(\theta)=\mathrm{sgn}\,\theta$（$-\pi\lt\theta\lt\pi$、$f(0)=0$）とする。$S_{2m+1}f(\theta)=\frac4\pi\sum_{k=0}^m\frac{\sin(2k+1)\theta}{2k+1}$ であり、 $$ \lim_{m\to\infty}S_{2m+1}f\Bigl(\frac\pi{2m+2}\Bigr)=\frac2\pi\int_0^\pi\frac{\sin u}u\,du\approx1.1790\gt1=f(0+). $$ 証明の方針は、部分和の導関数を求めて跳びのすぐ右の最初の山の値を積分で表し、$u=(2m+2)t$ と置き換えることです。$m$ が大きいと $t$ が $0$ から $\theta_m$ まで動く間に $u$ は $0$ から $\pi$ まで動き、$\sin\frac u{2m+2}$ は $\frac u{2m+2}$ にほぼ等しくなるので、被積分関数が $\frac{\sin u}u$ に近づきます。 係数は $\hat f(n)=\frac1{2\pi}\bigl(\int_0^\pi-\int_{-\pi}^0\bigr)e^{-in\theta}d\theta=\frac{1-(-1)^n}{i\pi n}$（$n\ne0$）で、偶数 $n$ では $0$、奇数 $n$ では $\frac2{i\pi n}$ です。$n$ と $-n$ をまとめると $\frac{2}{i\pi n}(e^{in\theta}-e^{-in\theta})=\frac{4\sin n\theta}{\pi n}$ で、前半の式を得ます。$S_{2m+1}f(0)=0$ で、微分は $$ S_{2m+1}f\,'(t)=\frac4\pi\sum_{k=0}^m\cos(2k+1)t=\frac{2\sin(2m+2)t}{\pi\sin t} $$ （$2\sin t\sum_{k=0}^m\cos(2k+1)t=\sum_k\bigl(\sin(2k+2)t-\sin2kt\bigr)=\sin(2m+2)t$）です。したがって $\theta_m=\frac\pi{2m+2}$ で $$ S_{2m+1}f(\theta_m)=\int_0^{\theta_m}\frac{2\sin(2m+2)t}{\pi\sin t}dt=\frac2\pi\int_0^\pi\frac{\sin u}{(2m+2)\sin\frac u{2m+2}}\,du $$ （$u=(2m+2)t$）で、$[0,\pi]$ で $(2m+2)\sin\frac u{2m+2}\to u$ は一様収束し $\ge\frac{2u}\pi$ なので、被積分関数は $\frac{\sin u}u$ に一様収束し、極限が従います。数値積分で $\int_0^\pi\frac{\sin u}udu=1.85194\cdots$ です。
1−1 −ππ0
符号関数のフーリエ部分和を N=1 から 401 まで増やすアニメーション。跳びの右側にできる最初の山が原点へ寄って細くなるが、高さは約 1.179 のまま残る。
行き過ぎの大きさは $0.1790$、跳びの高さ $2$ に対する比は約 $8.95\%$ で、$m$ を大きくしても消えず、場所が跳びに近づくだけです。跳びのある波形を有限個の項で表す際の、信号処理でのリンギングの原因でもあります。点列 $\theta_m\to0$ では $f(\theta_m)=1$ なのに $S_{2m+1}f(\theta_m)\to1.179\cdots$ なので、$S_{2m+1}f$ は $\{\theta\gt0\}$ 上で $f$ に一様収束しません。Fejér 平均 $\sigma_Nf$ は正値の核との畳み込みなので $\|f\|_\infty$ を超えず、この現象が起きません。 ## 7. 高次元トーラスと格子上の Fourier 変換 $\mathbb{T}^d$ 上でも、$\hat F(n)=(2\pi)^{-d}\int F(\theta)e^{-in\cdot\theta}d\theta$（$n\in\mathbb{Z}^d$）と定めます。 $F\in C(\mathbb{T}^d)$ の Fourier 係数が全て $0$ なら $F=0$ である。 積核 $\Phi_N(t)=\prod_{j=1}^dF_N(t_j)\ge0$ を使います。平均は $1$、$\Phi_N*F=\sum_{|n_j|\le N}\prod_j\bigl(1-\frac{|n_j|}{N+1}\bigr)\hat F(n)e^{in\cdot\theta}=0$ です。一方 の 1 の証明と同様に、$|\Phi_N*F-F|\le\sup_{|t|\lt\delta}\|\tau_tF-F\|_\infty+2\|F\|_\infty\cdot\frac1{(2\pi)^d}\int_{\max|t_j|\ge\delta}\Phi_N$ で、最後の積分は各 $j$ について $\frac1{2\pi}\int_{|t_j|\ge\delta}F_N\le\frac1{(N+1)\sin^2(\delta/2)}$ の $d$ 倍以下なので $0$ に収束します。よって $F=\lim\Phi_N*F=0$。 有限の格子 $\mathbb{Z}/L\mathbb{Z}$ では、すべてが有限和になります。$u:\mathbb{Z}/L\mathbb{Z}\to\mathbb{C}$ に対し $\hat u(k)=\frac1L\sum_{x}u(x)e^{-2\pi ikx/L}$ とすると、等比級数の和 $\sum_{x=0}^{L-1}e^{2\pi i(k-k')x/L}=L\delta_{kk'}$（$k,k'$ は $L$ を法とする）から、$u(x)=\sum_k\hat u(k)e^{2\pi ikx/L}$ と $\frac1L\sum_x|u(x)|^2=\sum_k|\hat u(k)|^2$ が従います。$(\mathbb{Z}/L\mathbb{Z})^d$ では各座標について同じことをします。周期的境界条件をもつ格子系の運動量表示は、この変換です。 ## 8. 演習 $f(\theta)=|\theta|$（$-\pi\le\theta\le\pi$）の Fourier 級数を求め、$\sum_{k\ge0}\frac1{(2k+1)^2}=\frac{\pi^2}8$ を導け。 $\hat f(0)=\frac\pi2$、$n\ne0$ では $\hat f(n)=\frac1\pi\int_0^\pi\theta\cos n\theta\,d\theta=\frac{(-1)^n-1}{\pi n^2}$ です（部分積分）。したがって $f(\theta)=\frac\pi2-\frac4\pi\sum_{k\ge0}\frac{\cos(2k+1)\theta}{(2k+1)^2}$ です。$f$ は連続で区分的に $C^1$ なので により級数は $f$ に一様収束します。$\theta=0$ で $0=\frac\pi2-\frac4\pi\sum\frac1{(2k+1)^2}$ から結論が出ます。 $f(\theta)=\theta^2$ に Parseval の等式を適用して $\zeta(4)=\frac{\pi^4}{90}$ を導け。 $\hat f(0)=\frac{\pi^2}3$、$n\ne0$ で $\hat f(n)=\frac{2(-1)^n}{n^2}$（部分積分を 2 回）です。$\frac1{2\pi}\int_{-\pi}^\pi\theta^4d\theta=\frac{\pi^4}5$ なので、Parseval の等式は $\frac{\pi^4}5=\frac{\pi^4}9+\sum_{n\ne0}\frac4{n^4}=\frac{\pi^4}9+8\zeta(4)$。$\zeta(4)=\frac18\bigl(\frac15-\frac19\bigr)\pi^4=\frac{\pi^4}{90}$ です。 $f\in C(\mathbb{T})$ で $\sum_n|\hat f(n)|\lt\infty$ なら、$S_Nf\to f$ は一様収束であることを示せ。ここで $f$ に区分的 $C^1$ の仮定は要らない。 M 判定法により $S_Nf$ は連続関数 $g$ に一様収束し、$\hat g=\hat f$ です（一様収束は項別積分できる）。$f-g\in C(\mathbb{T})$ の Fourier 係数が全て $0$ なので、 の 1 により $f=g$ です。 ## 参考文献 - Yitzhak Katznelson, *An Introduction to Harmonic Analysis*, 3rd edition, Cambridge University Press, 2004 — 第 I 章（Fourier 級数、Fejér 核、Dirichlet–Jordan）。 - Antoni Zygmund, *Trigonometric Series*, 3rd edition, Cambridge University Press, 2002 — 第 I–II 章。 - Elias M. Stein, Rami Shakarchi, *Fourier Analysis: An Introduction*, Princeton University Press, 2003 — 第 2–3 章。 - Walter Rudin, *Real and Complex Analysis*, 3rd edition, McGraw-Hill, 1987 — 第 4 章（三角級数）。 - Gerald B. Folland, *Fourier Analysis and Its Applications*, Brooks/Cole, 1992 — 第 2 章（Gibbs 現象を含む）。