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

解析学フーリエ級数三角関数積分
2025/7/9

1. 問題の内容

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

2. 解き方の手順

f(x)f(x) のフーリエ級数は、次のように表されます。
f(x)=a02+n=1(ancosnx+bnsinnx)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)cosnxdxa_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \cos nx dx
bn=1πππf(x)sinnxdxb_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \sin nx dx
まず、a0a_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}
次に、ana_n を計算します。
an=1πππsinxcosnxdx=2π0πsinxcosnxdxa_n = \frac{1}{\pi} \int_{-\pi}^{\pi} |\sin x| \cos nx dx = \frac{2}{\pi} \int_{0}^{\pi} \sin x \cos nx dx
三角関数の積和公式 sinxcosnx=12[sin(x+nx)+sin(xnx)]=12[sin((n+1)x)sin((n1)x)]\sin x \cos nx = \frac{1}{2}[\sin(x+nx) + \sin(x-nx)] = \frac{1}{2}[\sin((n+1)x) - \sin((n-1)x)] を用いると、
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} [-\frac{\cos((n+1)x)}{n+1} + \frac{\cos((n-1)x)}{n-1}]_0^{\pi} (ただし、n1n \ne 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)π)=cos((n1)π)=(1)n+1\cos((n+1)\pi) = \cos((n-1)\pi) = (-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]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]
an=1(1)n+1πn1(n+1)(n+1)(n1)=1(1)n+1π2n21=2((1)n+11)π(n21)a_n = \frac{1 - (-1)^{n+1}}{\pi} \frac{n-1 - (n+1)}{(n+1)(n-1)} = \frac{1 - (-1)^{n+1}}{\pi} \frac{-2}{n^2 - 1} = \frac{2( (-1)^{n+1} - 1 )}{\pi (n^2 - 1)}
n=1n=1 のとき、
a1=2π0πsinxcosxdx=1π0πsin2xdx=1π[12cos2x]0π=1π[12(11)]=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} [-\frac{1}{2} \cos 2x]_0^{\pi} = \frac{1}{\pi} [-\frac{1}{2} (1 - 1)] = 0
したがって、
an=0a_n = 0 (nn が奇数のとき)
an=4π(n21)a_n = -\frac{4}{\pi (n^2 - 1)} (nn が偶数のとき)
次に、bnb_n を計算します。
bn=1πππsinxsinnxdxb_n = \frac{1}{\pi} \int_{-\pi}^{\pi} |\sin x| \sin nx dx
sinxsinnx|\sin x| \sin nx は奇関数なので、bn=0b_n = 0
以上より、フーリエ級数は次のようになります。
f(x)=2π+n=1a2ncos2nx=2πn=14π(4n21)cos2nxf(x) = \frac{2}{\pi} + \sum_{n=1}^{\infty} a_{2n} \cos 2nx = \frac{2}{\pi} - \sum_{n=1}^{\infty} \frac{4}{\pi (4n^2 - 1)} \cos 2nx
f(x)=2π4πn=114n21cos2nxf(x) = \frac{2}{\pi} - \frac{4}{\pi} \sum_{n=1}^{\infty} \frac{1}{4n^2 - 1} \cos 2nx

3. 最終的な答え

f(x)=2π4πn=114n21cos2nxf(x) = \frac{2}{\pi} - \frac{4}{\pi} \sum_{n=1}^{\infty} \frac{1}{4n^2 - 1} \cos 2nx

「解析学」の関連問題

(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