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

解析学フーリエ級数フーリエ変換積分三角関数
2025/7/14
## 問題1

1. 問題の内容

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

2. 解き方の手順

フーリエ級数は以下の式で表されます。
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
関数 f(x)=sinxf(x)=|\sin x| は偶関数なので、bn=0b_n = 0 となります。
a0=1πππsinxdx=2π0πsinxdx=2π[cosx]0π=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} (1+1) = \frac{4}{\pi}
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))\sin x \cos nx = \frac{1}{2} (\sin(x+nx) + \sin(x-nx)) を用いると
an=1π0π(sin(n+1)xsin(n1)x)dxa_n = \frac{1}{\pi} \int_{0}^{\pi} (\sin(n+1)x - \sin(n-1)x) dx
n=1n=1 のとき
a1=2π0πsinxcosxdx=1π0πsin2xdx=1π[12cos2x]0π=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} = 0
n1n \neq 1 のとき
an=1π[cos(n+1)xn+1+cos(n1)xn1]0πa_n = \frac{1}{\pi} [-\frac{\cos(n+1)x}{n+1} + \frac{\cos(n-1)x}{n-1}]_{0}^{\pi}
=1π[cos(n+1)πn+1+cos(n1)πn1+1n+11n1]= \frac{1}{\pi} [-\frac{\cos(n+1)\pi}{n+1} + \frac{\cos(n-1)\pi}{n-1} + \frac{1}{n+1} - \frac{1}{n-1}]
=1π[(1)n+1n+1+(1)n1n1+1n+11n1]= \frac{1}{\pi} [-\frac{(-1)^{n+1}}{n+1} + \frac{(-1)^{n-1}}{n-1} + \frac{1}{n+1} - \frac{1}{n-1}]
=1π[(1)nn+1+(1)nn1+1n+11n1]= \frac{1}{\pi} [\frac{(-1)^n}{n+1} + \frac{(-1)^n}{n-1} + \frac{1}{n+1} - \frac{1}{n-1}]
nn が偶数のとき、an=1π[1n+1+1n1+1n+11n1]=1π2n+1=2π(n+1)a_n = \frac{1}{\pi} [\frac{1}{n+1} + \frac{1}{n-1} + \frac{1}{n+1} - \frac{1}{n-1}] = \frac{1}{\pi} \frac{2}{n+1} = \frac{2}{\pi(n+1)}
nn が奇数のとき、an=1π[1n+11n1+1n+11n1]=1π(2n1)=2π(n1)a_n = \frac{1}{\pi} [-\frac{1}{n+1} - \frac{1}{n-1} + \frac{1}{n+1} - \frac{1}{n-1}] = \frac{1}{\pi} (-\frac{2}{n-1}) = - \frac{2}{\pi(n-1)}
したがって
nnが偶数のとき an=2πn1+n+1(n1)(n+1)(1)=2π2n1n2a_n = \frac{2}{\pi} \frac{n-1+n+1}{(n-1)(n+1)} (-1) = \frac{2}{\pi} \frac{2n}{1-n^2}
a2k=2π4k1(2k)2=8kπ(14k2)a_{2k} = \frac{2}{\pi} \frac{4k}{1 - (2k)^2} = \frac{8k}{\pi(1-4k^2)}
an=2π[(1)n(n1)+(1)n(n+1)+(n1)(n+1)(n21)]=2π[2n(1)n2n21]a_n = \frac{2}{\pi} [\frac{(-1)^n(n-1) + (-1)^n(n+1) + (n-1) - (n+1)}{(n^2-1)}] = \frac{2}{\pi} [\frac{2n(-1)^n-2}{n^2-1}]
したがって an=2π0πsinxcosnxdx=1π0π[sin((n+1)x)sin((n1)x)]dx=1π[cos((n+1)x)n+1+cos((n1)x)n1]0π=1π[cos((n+1)π)n+1+cos((n1)π)n1+1n+11n1]=1π[(1)n+1n+1+(1)n1n1+1n+11n1]=1π[(1)nn+1+(1)nn1+1n+11n1]=1π[(1)n(n1+n+1)+n1n1(n21)]=1π[2n(1)n2n21]=2πn((1)n1)n21a_n = \frac{2}{\pi} \int_0^\pi \sin x \cos nx dx = \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 = \frac{1}{\pi} [-\frac{\cos((n+1)\pi)}{n+1} + \frac{\cos((n-1)\pi)}{n-1} + \frac{1}{n+1} - \frac{1}{n-1}] = \frac{1}{\pi} [-\frac{(-1)^{n+1}}{n+1} + \frac{(-1)^{n-1}}{n-1} + \frac{1}{n+1} - \frac{1}{n-1}] = \frac{1}{\pi} [\frac{(-1)^n}{n+1} + \frac{(-1)^n}{n-1} + \frac{1}{n+1} - \frac{1}{n-1}] = \frac{1}{\pi} [\frac{(-1)^n (n-1 + n+1) + n-1 - n -1}{(n^2-1)}] = \frac{1}{\pi} [\frac{2n(-1)^n -2}{n^2-1}] = \frac{2}{\pi} \frac{n((-1)^n - 1)}{n^2-1}
nn が偶数なら、 an=2πn(11)n21=0a_n = \frac{2}{\pi} \frac{n(1-1)}{n^2-1} = 0
nn が奇数なら、an=2πn(2)n21=4nπ(n21)a_n = \frac{2}{\pi} \frac{n(-2)}{n^2-1} = \frac{-4n}{\pi(n^2-1)}

3. 最終的な答え

f(x)=2πk=14(2k)π((2k)21)cos(2kx)=2πk=18kπ(4k21)cos(2kx)f(x) = \frac{2}{\pi} - \sum_{k=1}^{\infty} \frac{4(2k)}{\pi((2k)^2-1)} \cos(2kx) = \frac{2}{\pi} - \sum_{k=1}^{\infty} \frac{8k}{\pi(4k^2-1)} \cos(2kx)
## 問題2

1. 問題の内容

ϵ>0\epsilon > 0 とし、関数 f(x)={12ϵ(xϵ)0(x>ϵ)f(x) = \begin{cases} \frac{1}{2\epsilon} & (|x| \le \epsilon) \\ 0 & (|x| > \epsilon) \end{cases} のフーリエ変換 F(u)F(u) を求め、さらに limϵ0F(u)\lim_{\epsilon \to 0} F(u) を求める問題です。

2. 解き方の手順

フーリエ変換は以下の式で定義されます。
F(u)=f(x)eiuxdxF(u) = \int_{-\infty}^{\infty} f(x) e^{-iux} dx
与えられた関数 f(x)f(x) を代入すると
F(u)=ϵϵ12ϵeiuxdx=12ϵϵϵeiuxdx=12ϵ[eiuxiu]ϵϵ=12ϵeiuϵeiuϵiu=12ϵ2isin(uϵ)iu=sin(uϵ)uϵF(u) = \int_{-\epsilon}^{\epsilon} \frac{1}{2\epsilon} e^{-iux} dx = \frac{1}{2\epsilon} \int_{-\epsilon}^{\epsilon} e^{-iux} dx = \frac{1}{2\epsilon} [\frac{e^{-iux}}{-iu}]_{-\epsilon}^{\epsilon} = \frac{1}{2\epsilon} \frac{e^{iu\epsilon} - e^{-iu\epsilon}}{iu} = \frac{1}{2\epsilon} \frac{2i\sin(u\epsilon)}{iu} = \frac{\sin(u\epsilon)}{u\epsilon}
次に、limϵ0F(u)\lim_{\epsilon \to 0} F(u) を求めます。
limϵ0F(u)=limϵ0sin(uϵ)uϵ\lim_{\epsilon \to 0} F(u) = \lim_{\epsilon \to 0} \frac{\sin(u\epsilon)}{u\epsilon}
ここで、limx0sinxx=1\lim_{x \to 0} \frac{\sin x}{x} = 1 を用いると、
limϵ0F(u)=limϵ0sin(uϵ)uϵ=1\lim_{\epsilon \to 0} F(u) = \lim_{\epsilon \to 0} \frac{\sin(u\epsilon)}{u\epsilon} = 1

3. 最終的な答え

フーリエ変換 F(u)=sin(uϵ)uϵF(u) = \frac{\sin(u\epsilon)}{u\epsilon}
limϵ0F(u)=1\lim_{\epsilon \to 0} F(u) = 1

「解析学」の関連問題

与えられた積分を計算します。積分は $\int \sin(\pi x) dx$ です。

積分三角関数置換積分
2025/7/14

$\int \sin(\pi x) dx$ を計算します。

積分三角関数置換積分
2025/7/14

数列 $\{a_n\}$ と $\{b_n\}$ が与えられており、$a_1 = 3$, $a_2 = 9$, $a_{n+1} = a_n + p$ および $b_1 = 4$, $b_{n+1} ...

数列極限等差数列等比数列積分
2025/7/14

与えられた定積分 $\int_1^2 \frac{dx}{(2x-1)\sqrt{2x-1}}$ を計算します。

定積分置換積分積分計算
2025/7/14

与えられた二次関数 $f(x) = -\frac{1}{2}x^2 + 4x + 1$ について、以下の2つの変化の割合を求め、さらに $h$ を0に近づけたときの $x=2$ におけるグラフの接線の...

二次関数変化の割合微分接線の傾き
2025/7/14

次の関数 $f(x)$ が $x=0$ で微分可能かどうかを調べる問題です。 (1) $f(x) = |x(x-2)|$ (2) $f(x) = |x^3|$

微分可能性絶対値関数極限
2025/7/14

直線 $y = \sqrt{3}x + 5$ となす角が $\pm \frac{\pi}{3}$ であり、直線上の点 $(0, 5)$ で交わる直線を求めよ。

三角関数三角関数の合成最大値最小値三角関数の恒等式不等式
2025/7/14

数列$\{a_n\}$と$\{b_n\}$が漸化式で定義されている。 (1) $a_1=3, a_2=9, a_{n+1} = a_n + p$を満たす$p$の値を求め、一般項$a_n$を$n$を用い...

数列漸化式極限等差数列極限値
2025/7/14

関数 $y = \frac{1}{2} \log \frac{1-x}{1+x} (-1 < x < 1)$ について、以下の問いに答える。 (1) 対数の性質を用いて、関数を微分する。 (2) $x...

対数関数微分逆関数合成関数
2025/7/14

数列 $\{a_n\}$ と $\{b_n\}$ が与えられており、以下の問いに答える問題です。 (1) $a_1 = 3$, $a_2=9$, $a_{n+1} = a_n + p$ を満たす数列 ...

数列極限等差数列等比数列
2025/7/14