北海道大学 大学院 理学院
物性物理学専攻, 宇宙理学専攻
2021年度 問題V 問3




3-1.

まず、 $m = 1, 2, \cdots$ について、 \begin{align} \int_{- \pi}^\pi \cos mx \ dx = 0 , \ \ \int_{- \pi}^\pi \sin mx \ dx = 0 \end{align} が成り立つから、与えられたフーリエ級数展開の式の両辺を $x$ について $- \pi$ から $\pi$ まで積分することで \begin{align} a_0 = \frac{1}{\pi} \int_{- \pi}^\pi f(x) dx \end{align} がわかる。

次に、 $m,n = 1, 2, \cdots$ について、 \begin{align} \int_{- \pi}^\pi \cos mx \cos nx \ dx &= \frac{1}{2} \int_{- \pi}^\pi \left[ \cos (m+n)x + \cos (m-n)x \right] dx = \pi \delta_{m,n} \\ \int_{- \pi}^\pi \sin mx \sin nx \ dx &= \frac{1}{2} \int_{- \pi}^\pi \left[ - \cos (m+n)x + \cos (m-n)x \right] dx = \pi \delta_{m,n} \\ \int_{- \pi}^\pi \sin mx \cos nx \ dx &= \frac{1}{2} \int_{- \pi}^\pi \left[ \sin (m+n)x + \sin (m-n)x \right] dx = 0 \end{align} が成り立つ( $\delta_{m,n}$ はクロネッカーのデルタ)から、 $n = 1, 2, \cdots$ について、与えられたフーリエ級数展開の式の両辺に、 $\cos nx$ をかけて $x$ について $- \pi$ から $\pi$ まで積分することで \begin{align} a_n = \frac{1}{\pi} \int_{- \pi}^\pi f(x) \cos nx \ dx \end{align} がわかり、 $\sin nx$ をかけて $x$ について $- \pi$ から $\pi$ まで積分することで \begin{align} b_n = \frac{1}{\pi} \int_{- \pi}^\pi f(x) \sin nx \ dx \end{align} がわかる。

以上より、題意が示された。

3-2.

まず、 \begin{align} a_0 &= \frac{1}{\pi} \int_0^\pi x \ dx = \frac{\pi}{2} \end{align} であり、次に、 $m = 1, 2, \cdots$ について \begin{align} a_m &= \frac{1}{\pi} \int_0^\pi x \cos mx \ dx \\ &= \frac{1}{m \pi} \left[ x \sin mx \right]_0^\pi - \frac{1}{m \pi} \int_0^\pi \sin mx \ dx \\ &= \frac{1}{m^2 \pi} \left[ \cos mx \right]_0^\pi \\ &= \begin{cases} - \frac{2}{m^2 \pi} & (m = 1, 3, \cdots) \\ 0 & (m = 2, 4, \cdots) \\ \end{cases} \\ b_m &= \frac{1}{\pi} \int_0^\pi x \sin mx \ dx \\ &= - \frac{1}{m \pi} \left[ x \cos mx \right]_0^\pi + \frac{1}{m \pi} \int_0^\pi \cos mx \ dx \\ &= \frac{(-1)^{m+1}}{m} + \frac{1}{m^2 \pi} \left[ \sin mx \right]_0^\pi \\ &= \frac{(-1)^{m+1}}{m} \end{align} である。 よって、与えられた関数のフーリエ級数展開は、次の通りである: \begin{align} f(x) &= \frac{\pi}{4} - \frac{2}{\pi} \sum_{k=0}^\infty \frac{1}{(2k+1)^2} \cos ((2k+1) x) + \sum_{m=1}^\infty \frac{(-1)^{m+1}}{m} \sin mx \end{align}

3-3.

3-2. で得たフーリエ級数展開の式において $x=0$ とすると \begin{align} 0 = \frac{\pi}{4} - \frac{2}{\pi} \left( 1 + \frac{1}{3^2} + \frac{1}{5^2} + \cdots \right) \end{align} となるので、これを整理して題意の式を得る。