周期 $2\pi$ の関数 $f(x) = |\sin x|$ ($-\pi \le x < \pi$), $f(x+2\pi) = f(x)$ のフーリエ級数を求める。

解析学フーリエ級数三角関数積分偶関数積和の公式
2025/7/9

1. 問題の内容

周期 2π2\pi の関数 f(x)=sinxf(x) = |\sin x|πx<π-\pi \le x < \pi), f(x+2π)=f(x)f(x+2\pi) = f(x) のフーリエ級数を求める。

2. 解き方の手順

関数 f(x)f(x) のフーリエ級数は以下のように表されます。
f(x)=a02+n=1(ancos(nx)+bnsin(nx))f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty} (a_n \cos(nx) + b_n \sin(nx))
ここで、a0a_0, ana_n, bnb_n はフーリエ係数であり、以下のように計算されます。
a0=1πππf(x)dxa_0 = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) dx
an=1πππf(x)cos(nx)dxa_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \cos(nx) dx
bn=1πππf(x)sin(nx)dxb_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \sin(nx) dx
f(x)=sinxf(x) = |\sin x| は偶関数なので、bn=0b_n = 0 となります。
a0=1πππsinxdx=2π0πsinxdx=2π[cosx]0π=2π(cosπ+cos0)=2π(1+1)=4πa_0 = \frac{1}{\pi} \int_{-\pi}^{\pi} |\sin x| dx = \frac{2}{\pi} \int_{0}^{\pi} \sin x dx = \frac{2}{\pi} [-\cos x]_0^{\pi} = \frac{2}{\pi} (-\cos \pi + \cos 0) = \frac{2}{\pi} (1+1) = \frac{4}{\pi}
an=1πππsinxcos(nx)dx=2π0πsinxcos(nx)dxa_n = \frac{1}{\pi} \int_{-\pi}^{\pi} |\sin x| \cos(nx) dx = \frac{2}{\pi} \int_{0}^{\pi} \sin x \cos(nx) dx
ここで積和の公式 sinAcosB=12(sin(A+B)+sin(AB))\sin A \cos B = \frac{1}{2} (\sin(A+B) + \sin(A-B)) を用いると、
an=1π0π(sin((n+1)x)sin((n1)x))dx=1π[cos((n+1)x)n+1+cos((n1)x)n1]0πa_n = \frac{1}{\pi} \int_{0}^{\pi} (\sin((n+1)x) - \sin((n-1)x)) dx = \frac{1}{\pi} \left[ -\frac{\cos((n+1)x)}{n+1} + \frac{\cos((n-1)x)}{n-1} \right]_0^{\pi}
(n1n \neq 1 の場合)
an=1π(cos((n+1)π)n+1+cos((n1)π)n1+1n+11n1)a_n = \frac{1}{\pi} \left( -\frac{\cos((n+1)\pi)}{n+1} + \frac{\cos((n-1)\pi)}{n-1} + \frac{1}{n+1} - \frac{1}{n-1} \right)
cos((n+1)π)=(1)n+1\cos((n+1)\pi) = (-1)^{n+1}, cos((n1)π)=(1)n1=(1)n+1\cos((n-1)\pi) = (-1)^{n-1} = (-1)^{n+1} なので、
an=1π((1)n+1n+1+(1)n+1n1+1n+11n1)=1π(1(1)n+1n+11(1)n+1n1)=1(1)n+1π(1n+11n1)=1(1)n+1π(n1(n+1)(n+1)(n1))=1(1)n+1π(2n21)a_n = \frac{1}{\pi} \left( -\frac{(-1)^{n+1}}{n+1} + \frac{(-1)^{n+1}}{n-1} + \frac{1}{n+1} - \frac{1}{n-1} \right) = \frac{1}{\pi} \left( \frac{1-(-1)^{n+1}}{n+1} - \frac{1-(-1)^{n+1}}{n-1} \right) = \frac{1-(-1)^{n+1}}{\pi} \left( \frac{1}{n+1} - \frac{1}{n-1} \right) = \frac{1-(-1)^{n+1}}{\pi} \left( \frac{n-1-(n+1)}{(n+1)(n-1)} \right) = \frac{1-(-1)^{n+1}}{\pi} \left( \frac{-2}{n^2-1} \right)
nn が偶数のとき、an=0a_n = 0.
nn が奇数のとき、an=2π2n21=4π(n21)a_n = \frac{2}{\pi} \frac{-2}{n^2-1} = -\frac{4}{\pi (n^2-1)}
n=1n=1 のとき、a1=2π0πsinxcosxdx=1π0πsin(2x)dx=1π[cos(2x)2]0π=1π(12+12)=0a_1 = \frac{2}{\pi} \int_{0}^{\pi} \sin x \cos x dx = \frac{1}{\pi} \int_{0}^{\pi} \sin(2x) dx = \frac{1}{\pi} \left[ -\frac{\cos(2x)}{2} \right]_0^{\pi} = \frac{1}{\pi} \left( -\frac{1}{2} + \frac{1}{2} \right) = 0
a2k+1=4π((2k+1)21)=4π(4k2+4k)=1π(k2+k)a_{2k+1} = -\frac{4}{\pi ((2k+1)^2 - 1)} = -\frac{4}{\pi (4k^2+4k)} = -\frac{1}{\pi (k^2+k)}
したがって、フーリエ級数は
f(x)=2πk=14π(4k21)cos(2kx)f(x) = \frac{2}{\pi} - \sum_{k=1}^{\infty} \frac{4}{\pi(4k^2-1)} \cos(2kx)

3. 最終的な答え

f(x)=2πk=14π(4k21)cos(2kx)=2π4πk=1cos(2kx)4k21f(x) = \frac{2}{\pi} - \sum_{k=1}^{\infty} \frac{4}{\pi(4k^2-1)} \cos(2kx) = \frac{2}{\pi} - \frac{4}{\pi} \sum_{k=1}^{\infty} \frac{\cos(2kx)}{4k^2-1}

「解析学」の関連問題

(2) $1 \le x \le 4$ のとき、関数 $y = 2(\log_2 x)^2 + 4\log_{\frac{1}{4}}(2x) + \log_2 64$ の最大値、最小値、およびそれら...

対数関数最大値最小値関数の最大最小二次関数
2025/7/9

$\epsilon > 0$ とする。関数 $f(x) = \begin{cases} \frac{1}{2\epsilon} & (|x| \le \epsilon) \\ 0 & (|x| > \...

フーリエ変換極限積分関数
2025/7/9

与えられた積分を計算します。 積分は以下の通りです。 $\int \frac{e^{2x}}{(e^x+1)^2} dx$

積分置換積分指数関数
2025/7/9

数列の第$n$項が $a_n = \frac{(-2)^{n+1} + 2 \cdot 5^n}{5^n + 2^{n+1}}$ で表されるとき、この数列の極限 $\lim_{n \to \infty...

数列極限lim収束
2025/7/9

与えられた無限等比級数 $x + \frac{x}{1+x} + \frac{x}{(1+x)^2} + \frac{x}{(1+x)^3} + \dots$ が収束するような実数 $x$ の範囲を求...

無限級数等比級数収束不等式
2025/7/9

次の不定積分を求めよ。 (1) $\int 3x^2 \sqrt{x^3-1} dx$ (2) $\int \cos^3x \sin x dx$ (3) $\int xe^{x^2} dx$ (4) ...

不定積分置換積分積分
2025/7/9

問題1では、与えられた6つの関数をそれぞれ微分する必要があります。 問題2では、問題1で微分した関数について、$x=2$ の時の微分係数を求めます。ただし、ネイピア数 $e$ を含む微分係数は、$e=...

微分微分係数関数の微分指数関数多項式
2025/7/9

$p$を定数とする。2つの関数$f(x) = x^2 - 2x$、$g(x) = -\frac{1}{2}x^2 + \frac{5}{2}x$があり、$f(p) = g'(\frac{1}{2})$...

積分二次関数面積微分
2025/7/9

与えられた問題は以下の4つです。 (1) $z = f(ax+by)$ ($a,b$は定数)のとき、$b\frac{\partial z}{\partial x} = a\frac{\partial ...

偏微分連鎖律陰関数合成関数
2025/7/9

問題は、$x > 0$ を定義域とする関数 $f(x)$ が等式 $f(x) = \int_1^e \log(xt) f(t) dt + x$ を満たすとき、以下の問いに答えるものです。 (1) $\...

積分部分積分関数定積分
2025/7/9