数理解析研究所講究録 1257 巻 2002 年 76-87

76「熱の解析的理論」
Fourier 展開公式と Fourier 積分公式
その Fourier 自身による証明
明治大学付属中野八王子高等学校

酉村重人 (Shigeto Nishimura)

Nakmo Hachioji Senior High Scool Attached to Meiji University-

Jean Baptiste Joseph Fourier(1768-1830) は 1822 年に自らの熱伝導の研究の集大成として 「熱の解析的理論」 ( “Th\’eorie analytique de la chaleur” , 1822) を出版した. Fourier は 1802 年 Isire 県知事に任命されるが, この頃から熱伝導の研究を初め, 最初の論文 「熱の伝播について」 ( “Sur la propagation de lachaleur” ,1807) をフランス学士院*1 に提出した.

しカル, この論文の審査員たち l から批判され, 出版されることはなかった. 学士院は熱の伝播に関する懸賞問題を出すが, これに応えて Fourier は論文「固体の中における熱の運動理論」 ( Th\’eorie de mouvement de la chaleur dams les corps solides” ,1811) を提出し賞を得た. しかし, この論文も批判され, 出版されたのは 1824,26 年, Fourier が科学アカデミー 03 の終身書記となってからである. したがって, 熱の理論に関する Fourier の研究が公になるのは 「熱の解析的理論」 の出版を待たなければならなかった。
「熱の解析的理論」 は, 序論 22 頁, 本論 601 頁, 目次 36 頁, 図版 2 頁, 正誤表 2 頁, 計 63 頁から構成され, 本論は 9 章 433 項目 04 から成っている. 1807 年の論文がその中核を成し, 順序を変えて各所に見られるが, 第 9 章に書かれたことは 1 帥 7 年の論文には見られない. また,

Fourier が行ったとされる実験に関しても一切述べられておらず, 熱の伝播に関する微分方程式とそれを解くための数学理論が重点的に述べられている. 特に重要なのは任意関数の Fourier 展開公式に関することである. これについて Fourier
は Fourier 展開公式を発見したものの証明はついにできなかったというのが定説だが, この書物を辛抱強く読むと Fourier が Fourier 展開公式や Fourier 積分公式について複数の証明を行っていることがわかる.
こうしたことが、 あまり一般に知られていないのは, 一つにはこの書物が大変に読みにくいことにあろう. 最初から読むと三角級数に関することが現れるまでに序論を含め 190 ページもあり,

しかも, 最初の三角級数展開を得る方法は現代の数学から見ると非常におかしなものである. しかし, この書物によって,Fourier が Fourier 展開公式をどのようにして発見し, 確かめ, 証明しようとしたかを知ることができる.
Fourier の研究で最も詳しく書かれた書物は IGrattan-Guiness “Joseph Fourier $1768- 183\wp$ (1972) であろう. 1807 年の論文をすべて収録しており, 英語による詳しい説明がなされている. したがって, その後に出版された書物はこれによるところが多いように思える. しかし, 1807 年の論文は熱の解析的理論の第9 章には達していないので, この章で述べられた Fourier 積分公式の証明について, 詳しいものは見当たらない.

この講究録は Fourier が Fourier 展開公式と Fourier 積分公式を得た過程とそれをどう証明したかを「熱の解析的理論」 をもとに整理してまとめたものである. ただ, 紙数の都合で幕級数展開から奇整関数のFourier 正弦級数展開を得る過程において, 無限連立一次方程式を解く部分については省略した.
$\mathrm{r}_{1}1’\mathrm{h}\mathrm{s}\mathrm{t}\mathrm{i}\mathrm{t}\mathrm{u}\mathrm{t}$

.2

C聞

de

$.31’\mathrm{A}\infty \mathrm{d}\mathit{6}\mathrm{m}\mathrm{i}\mathrm{e}$$\mathrm{r}_{4}$$\mathrm{F}\mathrm{r}u1\propto$$\mathrm{g}\mathrm{e},\mathrm{h}\mathrm{p}\mathrm{l}\mathrm{a}\mathrm{o}\mathrm{e},\mathrm{L}-\mathrm{i}\mathrm{x},\mathrm{M}\mathrm{o}\mathrm{n}\mathrm{g}\mathrm{e}$des sciences

項日 4 おまであるが, 実際には項日 64 が欠番, 項日 1\mbox{\boldmath $\omega$}\beta \mbox{\boldmath $\alpha$}, お 2 は 2 つすつある.

77
1

特別な関数の三角級数展開

Fourier は Fourier 展開公式を得る前に, 一辺を温度 1(水の沸騰する温度), その辺を挟む二辺を温度0(氷の溶解する温度) とした無限長方形 (lame) における熱の伝播を考察することでいくつかの特別な関数について三角級数展開を得ている :$\frac{\pi}{4}=\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{2n-1}\cos(2n-1)x$(第 3 章項目 177)$\frac{\pi}{4}x=\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{(2n-1)^{2}}\sin(2n-1)x$(第 3 章項目 181)$\frac{x}{2}=\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n}\sin nx$(第 3 章項目詔 2)$\log(2\cos\frac{x}{2})=\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n}\cos nx$(第 3 章項目 183)$\frac{\pi}{4}=\sum_{n=1}^{\infty}\frac{1}{2n-1}\sin(2n-1)x$(第 3 章項目 184)

これらはすべて 1807 年の論文 (Art 42\sim 45) に述ぺられていたものである.

2

幕級数展開に奇数幕だけを含む奇整関数の正弦級数展開

いくつかの関数の三角級数展開に成功した Fourier は, つぎに Maclaurin 展開式に奇数幕だけを含む奇が整関数$\varphi(x)$$\varphi(x)=\sum_{n=1}^{\infty}a_{n}\sin nx$の形に展開できると仮定して, Fourier 正弦級数を導いていく (第 3 章項目 207\sim . 219).
を Maclaulin 展開すると$\varphi(x)$.

$\varphi(x)=x\varphi’(0)+$$\varphi(x)$に与えられた仮定から,$\frac{x^{2}}{2!}\varphi’’(0)+\frac{x^{3}}{3!}\varphi’’’(0)+\frac{x^{4}}{4!}\varphi^{(4)}(0)+\frac{x^{5}}{5!}\varphi^{(5)}(0)+\cdots$$\varphi^{(2n)}(0)=0$

であり,さらに \mbox{\boldmath $\varphi$}(2n-l)(0)=A。とおくことで得られた無限連

立方程式$A_{1}=a_{1}+2a_{2}+3a_{3}+4a_{4}+5a_{5}+\cdots$$A_{2}=a_{1}+2^{3}a_{2}.+3^{3}a_{3}+4^{3}.a_{4}$ $+5^{3}a_{5}+\cdots$.

$A_{3}=a_{1}+2^{5}a_{2}+3^{5}a_{3}+4^{5}a_{4}+5^{5}a\mathrm{s}+\cdots$$A_{4}$.-$\Delta$.

$=a_{1}+..2^{7}a_{2}+3^{7}.a_{3}.+4^{7}a_{4}+5^{7}a_{5}+\cdots$$A_{5}=a_{1}+2^{7}a_{2}+3^{7}a_{3}+4^{7}a_{4}+5^{7}a_{5}+\cdots$

78
を 14 ページに及ぶ長い計算によって解き,$a_{i}(i=1,2, \cdots)$を求めた. 紙数の制限からここでは述べることはできないが. その結果$\frac{1}{2}\varphi(x)=\sin x\{\varphi’(0)+\varphi^{(3)}(0)(\frac{\pi^{2}}{3!}-\frac{1}{1^{2}})+\varphi^{(5)}(0)(\frac{\pi^{4}}{5!}-\frac{1}{1^{2}}$$+ \varphi^{(7)}(0)(\frac{\pi^{6}}{7!}-\frac{1}{1^{2}}$.

.

$\frac{\pi^{2}}{3!}+\frac{1}{1^{4}})$$\frac{\pi^{4}}{5!}+\frac{1}{1^{4}}\cdot\frac{\pi^{2}}{3!}-\frac{1}{1^{6}})+\cdots\}$$- \frac{1}{2}\sin(2x)\{\varphi’(0)+\varphi^{(3)}(0)(\frac{\pi^{2}}{3!}-\frac{1}{2^{2}})+\varphi^{(}(0)(\frac{\pi^{4}}{5!}-\frac{1}{2^{2}}\cdot\frac{\pi^{2}}{3!}+\frac{1}{2^{4}})$$+ \varphi^{(7)}(0)(\frac{\pi^{6}}{7!}-\frac{1}{2^{2}}\cdot\frac{\pi^{4}}{5!}+\frac{1}{2^{4}}\cdot\frac{\pi^{2}}{3!}-\frac{1}{2^{6}})+\cdots\}$$+ \frac{1}{3}\sin(3x)\{\varphi’(0)+\varphi^{(3)}(0)(\frac{\pi^{2}}{3!}-\frac{1}{3^{2}})+\varphi^{(}(0)(\frac{\pi^{4}}{5!}-\frac{1}{3^{2}}\cdot\frac{\pi^{2}}{3!}+\frac{1}{3^{4}})$$+ \varphi^{(7)}(0)(\frac{\pi^{6}}{7!}-\frac{1}{3^{2}}$.

$\frac{\pi^{4}}{5!}+\frac{1}{3^{4}}\cdot\frac{\pi^{2}}{3!}-\frac{1}{3^{6}})+\cdots\}$$- \frac{1}{4}\sin(4x)\{\varphi’(0)+\varphi^{(3)}(0)(\frac{\pi^{2}}{3!}-\frac{1}{4^{2}})+\varphi^{(5)}(0)(\frac{\pi^{4}}{5!}-\frac{1}{4^{2}}\cdot\frac{\pi^{2}}{3!}+\frac{1}{4^{4}})$$+ \varphi^{(7)}(0)(\frac{\pi^{6}}{7!}-\frac{1}{4^{2}}$.

$\frac{\pi^{4}}{5!}+\frac{1}{4^{4}}\cdot\frac{\pi^{2}}{3!}-\frac{1}{4^{6}})+\cdots\}$

を得る (第 3 章項目 215(A)). さらに $\{\}$ 内の計算に工夫をして$\frac{1}{2}\pi\varphi(x)=\{\varphi(\pi)-\frac{1}{1^{2}}\varphi’’(\pi)+\frac{1}{1^{4}}\varphi^{(4)}(\pi)-\frac{1}{1^{6}}\varphi^{(6)}(\pi)+\cdots\}\sin x$$- \frac{1}{2}\{\varphi(\pi)-\frac{1}{2^{2}}\varphi’’(\pi)+\frac{1}{2^{4}}\varphi^{(4)}(\pi)-\frac{1}{2^{6}}\varphi^{(6)}(\pi)+\cdots\}\sin 2x$$+ \frac{1}{3}\{\varphi(\pi)-\frac{1}{3^{2}}\varphi’’(\pi)+\frac{1}{3^{4}}\varphi^{(4)}(\pi)-\frac{1}{3^{6}}\varphi^{(6)}(\pi)+\cdots\}\sin 3x$$- \frac{1}{4}\{\varphi(\pi)-\frac{1}{4^{2}}\varphi’’(\pi)+\frac{1}{4^{4}}\varphi^{(4)}(\pi)-\frac{1}{4^{6}}\varphi^{(6)}(\pi)+\cdots\}\sin 4x$$+\cdots$

を得る (第 3 章項目 217(B)) が,まず,$\sin$ $nx$

この $\sin nx$ の係数が積分で表されることに次のようにして気づく.

に掛けられている $\{\}$ の中を$\delta$

とおく:$\epsilon=\varphi(\pi)-\frac{1}{n^{2}}\varphi’’(\pi)+\frac{1}{n^{4}}\varphi^{(4)}(\pi)-\frac{1}{n^{6}}\varphi^{(6)}(\pi)+\cdots$

この $s$ を$\pi$の関数と考えると$t+ \frac{1}{n^{2}}\cdot\frac{\theta s}{d\pi}=\varphi(\pi)$を得る. 微分方程式$\epsilon+\frac{1}{n^{2}}\cdot\frac{d^{2}\epsilon}{\ }= \varphi(x)$は解$x)$ coe nx&-ncoe
nxdt-ncoe $nx \int\varphi(x)\sin$ nxdx
$s=a$ coe $nx+b$ sin $nx+n \sin nx\int\varphi(x)$

をもつ.

$x$

に再ひ

$\pi$

を与えると

$s=\pm n[\varphi(x)\sin$nx&( が奇数のとき $+,$
$n$

$n$

が偶数のときー)79
実際に部分積分を繰り返すことによって-in$\int_{0}^{\pi}\varphi(x)\sin$ $nxdx= \varphi(\pi)-\frac{1}{n^{2}}\varphi’’(\pi)+\frac{1}{n^{4}}\varphi^{(4)}(\pi)-\frac{1}{n^{6}}\varphi^{(6)}(\pi)+\cdots$となるので$s= \pm n\int_{0}^{\pi}\varphi(x)\sin$nxdx( が奇数のとき $+,$
$n$

$n$

が偶数のときー)を得る. こうして? Fourier 正弦級数{1)$\frac{1}{2}\pi\varphi(x)=.\sum_{1=1}^{\infty}\sin ix\int_{0}^{\pi}\varphi(x)\sin ix$に達する. (第 3 章項目 219(D)). Fourier 正弦級数を得るこの方法は, 1807 年の論文にも殆どこのままの形で述べられている (Art .51\sim 61). この方法は現代の数学から見れば, かなりおかしなものに見えるが, 非常に強い条件を与えた関数については, 幕級数から Fourier 正弦級数が得られることを J.Peetre が未発表の論文の中で述べてい$\text{る^{}\mathrm{s}_{5}}$. Fourier 余弦級数についてはこの方法による記述はない. 係数が積分を用いて表すことができることに気づいた Fourier は, まったく任意の関数 (fonctions enti\‘erement arbitrair\rightarrow が正弦級数に展開できると主張し始める (第 3 章項目 220).

3三角関数の直交性を用いて, Fourier 展開公式を導く
続いて, 三角関数の直交性を利用して, Fourier 正弦級数, Fourier 余弦級数,ていく$*_{6}$.

任意関数$\varphi(x)$Fourier 展開公式を導いが$\varphi(x)=\sum_{j=0}^{\infty}a_{j}\sin jx$と展開できたと仮定して, その両辺に $\sin ix$ を掛け, 区間 $[0, \pi]$ で積分する. 直交性$\frac{\pi}{2}$,$(: =j)$$\int_{0}^{\pi}\sin ix\sin jxdx=\{$0,$(i\neq j)$が成り立つことを示した上で$a:= \frac{2}{\pi}\int_{0}^{\pi}\varphi(x)\sin$

を求め,

ixdx

Fourier 正弦級数$\frac{1}{2}\pi\varphi(x)=\sum_{-=1}^{\infty}\sin ix\int_{0}^{\pi}\varphi(:)\sin ixdx$

を得る (第 3 章項 8221). こんどは, 任意関数$\varphi(x)$が$\varphi(x)=\sum_{-=0}^{\infty}a$$*\mathrm{s}$$\sim 0$Jaak Peetre$u\mathrm{O}\mathrm{n}\mathrm{F}\mathrm{o}\mathrm{u}\dot{\mathrm{n}}\mathrm{e}\mathrm{r}’\mathrm{s}$:c 屋 S $ix$

discovery of Fourier series and Fourier$\mathrm{i}\mathrm{n}\mathrm{t}\mathrm{e}\mathrm{g}\mathrm{r}\mathrm{a}1\epsilon’’$

この部分に関しては Umbato Bottuzini 著好田順治訳「解析学の歴史」 に詳しい解説がある.

80と展開できたと仮定する. この両辺に coe $jx$ を掛け, 区間 $[0, \pi]$ で定積分する. ここでも三角関数の直交性$\pi$$\int_{0}^{\pi}$c へ-x coejx $dx=\{$,$(i=j=0)$$(: =j\neq 0)$$\frac{\pi}{2’}$0,$(i\neq j)$を示して$a_{0}= \frac{1}{\pi’}$を得て,Fourier 余弦級数$\frac{1}{2}\pi\varphi(x)=\frac{1}{2}\int_{0}^{\pi}\varphi(x)dx+\sum_{=j1}^{\infty}$

を得る (第 3 章項目 224(n)). 任意関数 $F(x)$ が偶関数に,$(: >0)$$= \frac{2}{\pi}$果coe$x \int_{0}’\varphi(x)$coe $xdx$と奇関数 $\psi(x)$ の和で表され, 前者が余弦級数$\varphi(x)$後者が正弦級数に展開できることを示して (第 3 章項目 233), Fourier 展開公式$\pi F(x)=\frac{1}{2}\int_{-\pi}^{\pi}F(x)\ + \sum_{=1}^{\infty}$coe$x \int_{-l}^{\pi}F(x)_{\mathrm{C}\propto:}xdx+\sum_{=1}^{\infty}\sin _{X}\mathcal{L}F(x)\sin x\$

を得る (第 3 章項目 233(p)). ここまでの結果も既に 1807 年の論文で述べられていた (Art.63,67,83) が, 最後の式の導き方はこれとは異$\dot{r}x$

る J 熱の解析的理論』 ではさらに計算が続けられ, この式を次のように変形した$\pi F(x)=\int_{-\pi}^{\pi}F(\alpha)d\alpha\{\frac{1}{2}+\sum_{=1}^{\infty}\mathrm{c}\mathrm{o}\mathrm{e}|.x$coe$\alpha+\sum_{=1}^{\infty}\sin x$

sin$\alpha\}$よって$F(x)= \frac{1}{\pi}\int_{-\pi}^{\pi}F(\alpha)$

あ$\{\frac{1}{2}$$+ \sum_{-=1}^{\infty}\mathrm{c}\mathrm{o}\mathrm{e}:(x-\alpha)\}$を得る (第 3 章項目 235). ここに, デルタ関数が現れる.

4Fourier 展開公式の証明
第 4 章第 2 節「離れた物体間の熱の伝播について』 で, 初期温度の与えられた $n=2^{k}$ 個の柱体が円周上に並べられた場合の熱の伝播を考察し,$k$を無限大にすることによって, Fourier 展開全式を証明する(第 4 章項目 259\sim 277).
円周上に $n$ 個の質量 $m$ の同じ柱体が等間 R- に$1,$$\cdots,$

$n),$

$t$

時間後の温度を$\alpha$: とする. ニず, これを表す方程式を決定する.

$\mathcal{O}2$$\dot{\mathrm{n}}$かれているとする. それぞれの柱体の初期温度をとき,: は明らかに$\alpha$$t$$a$: $(:=$と $a\mathrm{j}(j=1, \cdots, n)$ の関数である. ま$r$

番目の柱体から質量 の限りなく小さな薄片が剥がれ $i+1$ 番目 ( $:=n$ のときは 1 番町の柱体に結合して熱を移したとき, :+1 番目の柱体に含まれる熱量は$i$$\omega$$(m-\omega)\alpha:+1+\omega\alpha_{j}$$m$で割ることで, 各柱体の温度は$\alpha:+1+\frac{\omega}{m}1^{\alpha}:-\alpha:+1)$81となる. そして, この薄片が再ひもとの柱体に戻るとすれば, $i+1$ 番目の柱体の熱を移すので 番目の柱$i$体に含まれる熱量は. $+ \frac{\omega}{m}(\alpha_{i-1}-\alpha_{\dot{*}})\}(m-\omega)+\{\alpha:+1+\frac{\omega}{m}(\alpha_{i}-\alpha:+1)\}\omega$$\{\alpha_{*}$となる.

$\omega$は微小なので$\omega^{2}$の項を省き,$m$

で割ることによって 番目の柱体の温度は$i$$\alpha:+\frac{\omega}{m}(\alpha_{1-1}.-\alpha:)+\frac{\omega}{m}(\alpha:+1-\alpha_{i})$となる. ただし, これら 2 式においては $i=1$ のとき $i-1$ はとし, 以後の式についても同様とする. このような微小薄片$n$$\omega$[こ, $i=n$ のとき $i+1$ は 1 に書き換えるの往復によって各瞬間に熱の伝導が行われると考える.

単位時間を

.

$p$

等分し, その一つを瞬間 $dt$ と考えると $pdt=$

れを $p$ で割ったものを微小薄片$\alpha$$1$である. 質量の単位の個数をとすれば $\mu v=k$ となるから,$\omega$:\emptyset \leq 瞬間 $dt$ に受ける限りなく小さな増加分を$d\alpha$$\omega=kdt$ を得るので,$i$: とすると$= \frac{\omega}{m}(\alpha:-1-2\alpha_{i}+\alpha_{\dot{*}+1})$$= \frac{k}{m}dt(\alpha:-1-2\alpha:+\alpha:+1)$$(i=1, \cdots, n),$$b_{i},$$h$を未定定数として,$\alpha_{i}=b_{i}e^{ht}$$b_{:}h= \frac{k}{m}(b:-1-2b:+b_{\dot{\iota}+1})$

ここで $q= \frac{hm}{k}$ とおくと,漸化式$b_{:}=(q+2)b_{*-1}..-b:-2$を得る. ところで,$u= \frac{2\pi}{n}$とおくと, 正弦の列$\sin$

Ou,$\sin 1u,$$\sin 2u,$$\sin 3u,$$\cdots,$$\sin(n-1)u$は関係式$\sin iu=2\cos u\sin(i-1)$ u-sin(i-2)uを満たすので, これと漸化式を比較して$b_{:}=\sin(i-1)u$ ,$(i=1, \cdots, n)$$q+2=2\cos u$とすることができる.

この 2 番目の式より$q\cdot=-2(1-\mathrm{c}_{1}\mathrm{o}\mathrm{s}u)|$$=-2$ vers$=-2$ vers

である $*7$.

$q= \frac{hm}{k}$$u$$\frac{2\pi}{n}$であったから$h=- \frac{2k}{m}$*7jE 矢, Fourier –.
sin.V(u) と記した.
$\ell$$\mathrm{v}\mathrm{e}\mathrm{n}\mathrm{u}=1-\cos u$

$l1$

vers

$\underline{2\pi}$$n$.

として, こ番目の柱体の温度$d \alpha:=\frac{\omega}{m}(\alpha:-1-\alpha:)+\frac{\omega}{m}(_{1}\alpha:+1-\alpha:)$である. これを解くため [ニ,

$k$

とすれば

82
$\alpha:=e^{-\mathrm{Z}}\sim^{\iota_{t\mathrm{v}\mathrm{e}\mathrm{r}\epsilon^{2\mathrm{z}}}}\cdot\sin(:-1)u$,$(: =1, \cdots,n)$を得る (第 4 章項目 261). さらに余弦の列

coe Ou, coe $1u,$ coe $2u,$ coe $3u,$$\cdots,$coe(n-l)uについても同様の考察から$\alpha:=e^{-\underline{\mathrm{u}}_{t\mathrm{v}\mathrm{e}n}\mathrm{a}=}.m(:-1)u$も得る (第 4 章項目 263).

$u$

の代わりに

$u \mathrm{j}=\frac{2\pi}{n}(j-1)$,,$(: =1, \cdots, n)$$(j=1, \cdots,n)$をとれば-1 $)uj$ ,$(: =1, \cdots, n)$coe (:-l)uj,$(:=1, \cdots, n)$$\alpha:=e^{-\mathrm{Z}_{t\mathrm{v}\mathrm{e}\mathrm{r}\iota u_{\mathrm{j}}}}\sim\sin$

$(:$

または
$\alpha:=e^{-}$

埜$t\mathrm{v}\mathrm{e}\mathrm{n}u_{\mathrm{j}}$をとることができる (第 4 章項目 263). これらの解を重ね合わせることによって$\alpha:=\sum_{\mathrm{j}=1}^{n}${coe$A\mathrm{j}\sin(:-1)u\mathrm{j}+Bj$$= \sum_{j=1}^{n}\{Aj$}$e^{-}\sim \mathrm{z}\iota_{t\mathrm{v}\mathrm{e}nu_{j}}$si $((i-1)(j-1) \frac{2\pi}{n})+B\mathrm{j}$ coe $((i-1)(j-1) \frac{2\pi}{n})\}e^{-}$ 埜を得る (第 4 章項目 264,266(\mu )). ここで,この式で $t=0$ とすれば初期値$A_{\mathrm{j}}= \frac{2}{n}\sum_{-=1}^{n}$$(:-1)u\mathrm{j}$: の一般解$\alpha$果$a_{j}$$A\mathrm{j},$$B\mathrm{j},$$t$ゞ$\mathrm{e}[]*$

埜 $(j-1)$$(j=1, \cdots, n)$ は任意の定数である.

を得なければならないから, そのことから

sin $\{(:-1)(j-1)\frac{2\pi}{n}\}$ ,$B_{\mathrm{j}}= \frac{2}{n}\sum_{-=1}^{n}$

果 $\dashv(i-\mathfrak{y}(j-\mathfrak{y}\frac{2\pi}{n}\}$(第 4 章項目 271). よって$\alpha_{j}=\frac{1}{n}\sum_{\mathrm{j}=1}^{n}a_{j}$$+ \{\frac{2}{n}\sin((:-1)\frac{2\pi}{n})\sum_{\mathrm{j}=1}^{n}$$+ \frac{2}{n}$

coe

\‘aj

$((:-1) \frac{2\pi}{n})\sum_{j=1}^{n}a_{\mathrm{j}}$$\sin((j-1).\frac{2\pi}{n})$coe $((j-1) \frac{2\pi}{n})\}e^{-}$ 埜$+ \{\frac{2}{n}\sin((:-1)\frac{2\cdot 2\pi}{n})\sum_{\mathrm{j}=1}^{n}a_{j}$$+ \frac{2}{n}$coe.

$t\mathrm{w}\mathrm{e}\mathrm{r}$替s 可 $((j-1) \frac{2\cdot 2\pi}{n})$.

$((:-1) \frac{2\cdot 2\pi}{n})\sum_{\mathrm{j}=1}^{n}a_{\dot{g}}\mathrm{c}\mathrm{o}\mathrm{e}((j-1)\frac{2\cdot 2\pi}{n})\}e^{-2}\sim^{4l2\mathrm{z}}u\mathrm{G}\cdot\cdot.$$+\cdots$$+ \{\frac{2}{n}\sin((:-1)\frac{2(n-1)\pi}{n})\sum_{\mathrm{j}=1}^{n}a_{\mathrm{j}}\sin(0-\mathfrak{y}\frac{2(n-1)\pi}{n}\ovalbox{\tt\small REJECT}$$+ \frac{2}{n}\mathrm{c}\mathrm{o}\mathrm{e}((i-1)\frac{2(n-1)\pi}{n})\sum_{\mathrm{j}=1}^{n}a_{j}\prec(j-\mathfrak{y}\frac{2(n-1)\pi}{n})\}e^{-}$

普$t\mathrm{v}\alpha[]$$\sim*\cdot-.1[perp]*$

(2)

83
を得る (第 4 章項目 273(\epsilon )). ここに $aj$
体の個数,

$t$

$(j=1, \cdots, n)$ は柱体の初期温度,

は伝導度,

$k$

$m$

は質量,

$n$

は柱

は経過時間を表す.

このようにして, 円周上の柱体の個数を $n=2,4,8,$個の質点での温度を得た後,$n$と増やし, その長さを$\cdots$$\pi,$$\frac{\pi}{2},$$\frac{\pi}{4},$これを連続した物体の熱伝導へ発展させる.
$\cdots$とし, 伝導度を $k=g,$ $2g,$ $4g,$$\cdots$と仮定する.

(2) 式で, 柱体 $m$ を限りなく小さな要素 $dx$ と書き, 物体の個数$\frac{\pi g}{dx}$を代入する. 初期温度

$a_{j}$は弧$x$$\frac{x}{dx}$

に

と時間

$x$

$t$

伝導度

$\frac{2\pi}{dx}$の任意関数 $f(x)$ で表され, $j-1$ はの各物体の温度 $\alpha:(i=1, \cdots n)$ は弧を示す $i-1$ を

$n$

$k$

に

$\frac{gn}{2}$, すなわち,に置き換えられる.

時間後
1 こ依存する関数 $v=\varphi(x,t)$ である. そして, 物体の場所$\frac{x}{dx}$$t$に置き換える. すなわち
$m,$

$n,$

$k,$

$a_{j},$$j-1,$$\alpha:,$$i-1$のそれぞれに$\frac{2\pi}{dx}$$dx,$$\frac{\pi g}{dx}$$f(x),$$\frac{x}{dx},$$\varphi(x, t),$$\frac{x}{dx}$を代入する. また,vers(f $dx$ ) $=1-\cos(l dx)$$=1- \{1-\frac{(ldx)^{2}}{2!}+\frac{(ldx)^{4}}{4!}-\cdots\}$であるから vers(ldx) は $\frac{(ldx)^{2}}{2}(l=1,2,3, \cdots, n-1)$ となる. すると, (2) 式の右辺で$\frac{1}{n}\sum_{\mathrm{j}=1}^{n}a_{\mathrm{j}},$$\sin((i-1)\frac{2\pi}{n}),$$\frac{2}{n}\sum_{j=1}^{n}a_{j}\sin((j-1)\frac{2\pi}{n}),$coe $((i-1) \frac{2\pi}{n}),$$\frac{2}{n}\sum_{j=1}^{n}a_{j}\cos((j-1)\frac{2\pi}{n})$はそれぞれ$\frac{1}{2\pi}\int_{0}^{2\pi}f(x)dx,$$\sin x,$$\frac{1}{\pi}\int_{0}^{2\pi}f(x)\sin xdx,$$\cos x,$$\frac{1}{\pi}\int_{0}^{2\pi}f(x)$coe $xdx$になる. これによって$\varphi(x, t)=\frac{1}{2\pi}\int_{0}^{2\pi}f(x)dx$$+ \frac{1}{\pi}$($\sin x\int_{0}^{2\pi}f(x)$s 石 $xdx+ \cos x\int_{0}^{2\pi}f(x)\cos xdx$)$e^{-g\pi t}$$+ \frac{1}{\pi}(\sin 2x\int_{0}^{2\pi}f(x)\sin 2xdx+\mathrm{c}\mathrm{o}\mathrm{e}2x\int_{0}^{2\pi}f(x)\cos 2xdx)e^{-2^{2}g\pi t}$(3)$+\cdots$

を得る (第 4 章項目 277(E)). $t=0$ とすることによって Fourier 展開公式$\pi f(x)=\frac{1}{2}\int_{0}^{2\pi}f(x)dx+.\sum_{1=1}^{\infty}\sin ix\int_{0}^{2\pi}f(x)\sin ixdx+\sum_{=1}^{\infty}$

を得る (第 4 章項目$278,3^{\mathrm{o}}$coe$ix \int_{0}^{2\pi}f(x)\infty \mathrm{s}$

ixdx

).

こうして’ Fourier は第 3 章で自らが得た Fourier 展開公式を環状に並べられた$2^{n}$

個の質点がある離散的な場合の極限として証明したのである. これもまた, 1807 年の論文ですでに述べられてぃたが離散的な場合が Art .6\sim 11 に, 連続的な場合への発展が Art .95,96 に書かれており, 前述の幕級数展開から Fourier

84
正弦級数を得る方法や三角関数の直交性を用いる方法がその間に述べられていた.
さらに, (3) 式の計算を進めて$2 \pi\varphi(x,t)=\int_{0}^{2}’ f(\alpha)\sum_{:=-\infty}^{+\infty}$

coe $i(\alpha-x)e^{-:kt}d\alpha 2$$t=0$ とおいて.

$f(x)= \frac{1}{2\pi}\int_{0}^{2\pi}f(\alpha)\sum_{:=-\infty}^{+\infty}$coe$i(\alpha-x)d\alpha$を得る (第 4 章項目 279(B)) が, ニこで, Fourier 積分公式の萌芽が現れる.

5Fourier 積分公式
微分方程式$\frac{du}{dt}=k\frac{d^{2}u}{dx^{2}}$を初期条件 $v=F(x)$ で $F(x)=F$ (-\rightarrow を満たす揚合について考える (第 9 章項目 345,346).

特殊解$ae^{-kq^{2}}{}^{t}\mathrm{c}\mathrm{o}\mathrm{e}qx$の重ね合わせによって$u=a_{1}e^{-kq_{1}^{2}}{}^{t}\mathrm{c}\mathrm{o}\mathrm{e}q_{1}x+a_{2}e^{-kq_{2}^{2}t}$coe$q_{2}x+a_{\theta}e^{-kq_{\theta}^{2}t}$coe 伽 $x+\cdots$

ここで, $q-=idx$ とし, 果 $=g(q:)\phi$ $(:=1,2,3, \cdots)$ となる関数 $g(q)$ をとれば
$u= \int_{0}^{\infty}g(q)e^{-kq^{2}}{}^{t}\mathrm{c}\alpha$qxdqと表すことができる. この関数 $g(q)$ をまず決定する. この式で $t=0$ とおくと$F(x)= \int_{0}^{\infty}g(q)$coe qxdq$ndq=1$ とすると $F(x)$ は$F(x)=\phi\dot{g}(q_{1})$coe$q_{1}x+dqg(q_{2})\mathrm{c}\mathrm{o}\mathrm{e}.q_{2}x+dqg(q_{\theta})$

coe $q_{3}x+\phi g(q_{4})$ coe$q_{4}x+\cdot$

この両辺に $dx$ coe $qj^{X}$ を掛けて区間 $(0, n\pi)$ で積分すると三角関数の直交関係にょって$\int_{0}^{n\pi_{F(X)\mathrm{c}\mathrm{o}\mathrm{e}qxd_{l}=dqg(q\mathrm{j}}})\frac{1}{2}n\pi$を得るが $ndq=1$ であるから$\cdot$$\frac{\pi}{2}g(q_{l})=\int_{0}^{n}.F(x)$$narrow\infty$coe qとすることによって, 一般に$\frac{\pi}{2}g(q)=\int_{0}^{\infty}F(x)$coe qxdx

呻.

85$g(q)= \frac{2}{\pi}\int_{0}^{\infty}F(x)\cos$

qxdx

これより
$\frac{\pi}{2}F(x)=\int_{0}^{\infty}\{\int_{0}^{\infty}F(x)\cos qxdx\}\cos$

(4)

qxdq

を得る (第 9 章項目 346(\epsilon )).

その次に前に得られた奇関数$\varphi(x)$の正弦級数への展開式$\frac{\pi}{2}\varphi(u)=\sin u\int_{0}^{\pi}\varphi(u)\sin udu+\sin 2u\int_{0}^{\pi}\varphi(u)\sin 2udu+\sin 3u\int_{0}^{\pi}\varphi(u)\sin 3udu+\cdots$

において,$u= \frac{x}{n}$$n= \frac{1}{dq}$として第 項に代入すると$i$$\sin\frac{ix}{n}\int_{0}^{n\pi}\varphi(\frac{x}{n})\sin\frac{ix}{n}\cdot\frac{1}{n}dx$

ここで,$\varphi(\frac{x}{n})$を $f(x)$ と書き,

$i= \frac{q}{dq}$とすれば$\sin$

qxdq $\int_{0}^{n\pi}f(x)\sin$ qxdx

このことから$\frac{\pi}{2}f(x)=\int_{0}^{\infty}\{\int_{0}^{\infty}f(x)$si。$qxdx\}\sin$ qxdq(5)を得る (第 9 章項目 359(e)).
$f(x)$ は奇関数,$F(x)$ は偶関数であるから,これらは条件$F(\alpha)=F(-\alpha)$$f(\alpha)=-f(-\alpha)$を満たしているので (4) 式と (5) 式はそれぞれ$\pi f(x)=\int_{0}^{\infty}\{\int_{-\infty}^{\infty}f$\pi F(x)=と書ける. 任意関数$\varphi(x)$(。)01 -\sim (。)$\int$$\int$$\sin q\alpha d+\mathrm{i}\mathrm{n}$qxdx$\cos q\alpha d\alpha\}\cos$qxdx

は奇関数と偶関数の和, すなわち$\varphi(x)=f(x)+F(x)$と表すことができるので$\pi\varphi(x)=\pi\{f(x)+F(x)\}$$= \int_{0}^{\infty}\{\int_{-\infty}^{\infty}f(\alpha)\sin q\alpha d\alpha\}\sin qxdx+\int_{0}^{\infty}\{\int_{-\infty}^{\infty}F(\alpha)$coe$q\alpha d\alpha.\}\cos$

qxdx

86

$\int_{-\infty}^{\infty}f(\alpha)\mathrm{c}\infty q\alpha=0$$\int_{-\infty}^{\infty}F(\alpha)\sin q\alpha=0$

であることに注意すると$\pi\varphi(x)=\int_{0}^{\infty}\{\int_{-\infty}^{\infty}(f(\alpha)+F(\alpha))\sin q\alpha\ \}\sin qxdx+\int_{0}^{\infty}\{\int_{-\infty}^{\infty}(f(\alpha)+F(\alpha))\mathrm{c}\mathrm{o}\mathrm{e}q\alpha d\alpha\}\mathrm{c}\mathrm{o}\mathrm{e}$$= \int_{0}^{\infty}\{\int_{-\infty}^{\infty}\varphi(x)\sin q\alpha d\alpha\}\sin qxdx+\int_{0}^{\infty}\{\int_{-\infty}^{\infty}\varphi(x)\infty \mathrm{s}qad\alpha\}\mathrm{c}\mathrm{o}\mathrm{e}$

qxdx

qxdx

すなわち
$\pi\varphi(x)\int_{-\infty}^{\infty}\{\int_{0}^{\infty}$(8。

$qx\sin q\alpha+\mathrm{c}\mathrm{o}\mathrm{e}qx$

coe qa)dq}\mbox{\boldmath $\varphi$}(。)d。

ゆえに, 積分公式$\varphi(x)=\frac{1}{\pi}\int_{-\infty}^{\infty}\varphi(\alpha)\{\int_{0}^{\infty}$

を得る (第 9 章項目 361(E)).

coe $q(x-\alpha)dq\}\$

この $\{\}$ の中の結果は現在デルタ関数 (Dirac 関数) と呼ばれるものの積分表示である.

6Fourier 積分公式の証明
Fourier は第 9 章項目 415,416 で Fourier は自らの Fourier 展開公式に対する厳密な検討を加えている.
Fourier 積分公式
$f(x)= \frac{1}{\pi}\int_{0}^{\infty}\{\int_{-\infty}^{\infty}f(\alpha)\mathrm{c}\mathrm{o}\mathrm{e}(px-p\alpha)d\alpha\}dp$

は,

$p$

に関する積分を先に行えば, 極限において$f(x)= \frac{1}{\pi}\int_{-\infty}^{+\infty}f(\alpha)\frac{\sin(\mu-px)}{\alpha-x}d\alpha$が成り立つことと同等である.
これを証明するために, まず第 9 章項目 J5 では積分$\int_{0}^{\infty}\frac{\sin px}{x}dx$について述べている. まず, Fourier

は第 9 章項目易 6 で$\int_{0}^{+\infty}\frac{\sin x}{x}\ = \frac{\pi}{2}$を得るが, $z=px$ とすれば$l^{+}" \frac{\sin px}{x}dx=\int_{0}^{+\infty}\frac{\sin z}{z}dz=\frac{\pi}{2}$となることに注意する。 $\omega>0$ ならば $parrow\infty$ とするとき, 曲線$x>\omega$ において隣り合う面積同士が相殺するので極限において$y= \frac{s\mathrm{i}\mathrm{n}pae}{x}$$\int_{0}^{+\infty}\frac{\sin px}{x}$ $d \text{、}=\int_{0}^{w}\frac{\epsilon \mathrm{i}\mathrm{n}px}{x}dx=\frac{\pi}{2}$を得ることを示している. そのつぎに問題となっている積分$\frac{1}{\pi}\int_{-\infty}^{+\infty}f(\alpha)\frac{\sin(p\alpha-px)}{\alpha-x}d\alpha$が $x$ 軸と囲む面積を考えれば,

87
を考える.

$x$

と

$\alpha$の距離 $\alpha-x$ が限りなく小さいとき,$f(\alpha)$

したがって $f(\alpha)$ は積分記号の外に出すことができる. また,る.

したがって,$\omega$

を限りなく小さい量とするとき,の値はほぼ変化することなく $f(x)$ に等しく,$x>\omega$$t=\alpha-x$の積分は上と同じ理由で 0 に収束すと置換すれば (Fourier 自身はこのような置換は書かなかったが)$\frac{1}{\pi}\int_{-\infty}^{+\infty}f\langle\alpha$)$\frac{\sin(p\alpha-px)}{\alpha-x}d\alpha=\frac{1}{\pi}f(x)\int_{-\omega}^{\omega}\frac{\sin pt}{t}$漬$= \frac{2}{\pi}f(x)\int_{0}^{\{v}\frac{\sin pt}{t}dt$$= \frac{2}{\pi}f(x)\cdot\frac{\pi}{2}$$=f(x)$

を得るのである. そこから最後に$f(x)= \frac{1}{2\pi}\int_{-\infty}^{+\infty}f(\alpha)\frac{2\sin p(\alpha-x)}{\alpha-x}$da$= \frac{1}{2\pi}\int_{-\infty}^{+\infty}f(\alpha)\{\int_{-\infty}^{+\infty}\cos(px-p\alpha)dp\}d\alpha$を結論する (第 9 章項目 416(B)).

7

任意関数について

一般に 「関数」 というものについて, Fourier は第 9 章項目 417 で次のように述べている.
“En g\’en\’eral, la fonction fix repr\’esente une suite de valeurs ou ordonn\’ees dont chacune est arbitraire.
’abscisse pouvant recevoir une infinite’ de valeurs, il aun pareil nombre ’ordonn\’ees $fx$ . Toutes
ont des valeurs num\’eriques actuelles, ou positives, ou n\’egatives, ou nulles. On ne suppose point que cesordonnis soient assujetties \‘a une
commune ;elles se succ\‘edent ’une mani\‘e quelconque, et chacune’elles est donn\’ee comme le serait une seule quantite’. (一般に, 関数 $f(x)$ は各々が任意の値, すなわち,$\mathrm{L}$$x$$\mathrm{d}$$\mathrm{y}$$1\mathrm{o}\mathrm{i}$$\mathrm{d}$$\mathrm{r}\mathrm{e}$$\mathrm{d}$縦座標の列を表している. 横座標 は無数の値をとることができ, 同じ個数の縦座標 $f(x)$ がある. すべて
は実在の数値, すなわち, 正または負または 0 の数値をもっ. 我々はこれらの縦座標が共通の法則に従っ$x$ていることを仮定しない. それらは任意の方法で接続され, そしてそれらの各々は, 唯一っの量であるかのように与えられる. )”この中に出てくる “des valeurs num\’eriques actuelles” とは正確な定義はできないものの実数を表現しようとしたものであろう. Fourier は定義域全体で共通な法則に従う関数だけを考えるのではなく, ある区間ごとには規則的な関数をつなぎ合わせたような関数を任意関数と考えたようである. すなわち. 現在の区分的実解析朋数である.