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

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

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(x)f(x) のフーリエ変換 F(u)F(u) は、次のように定義される。
F(u)=f(x)eiuxdxF(u) = \int_{-\infty}^{\infty} f(x) e^{-iux} dx
与えられた関数 f(x)f(x) を代入すると、
F(u)=ϵϵ12ϵeiuxdxF(u) = \int_{-\epsilon}^{\epsilon} \frac{1}{2\epsilon} e^{-iux} dx
=12ϵϵϵeiuxdx= \frac{1}{2\epsilon} \int_{-\epsilon}^{\epsilon} e^{-iux} dx
=12ϵ[eiuxiu]ϵϵ= \frac{1}{2\epsilon} \left[ \frac{e^{-iux}}{-iu} \right]_{-\epsilon}^{\epsilon}
=12ϵ(eiuϵiueiuϵiu)= \frac{1}{2\epsilon} \left( \frac{e^{-iu\epsilon}}{-iu} - \frac{e^{iu\epsilon}}{-iu} \right)
=12ϵ(eiuϵeiuϵiu)= \frac{1}{2\epsilon} \left( \frac{e^{iu\epsilon} - e^{-iu\epsilon}}{iu} \right)
=12ϵ2isin(uϵ)iu= \frac{1}{2\epsilon} \cdot \frac{2i \sin(u\epsilon)}{iu}
=sin(uϵ)uϵ= \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}
ここで、x=uϵx = u\epsilon とおくと、ϵ0\epsilon \to 0 のとき x0x \to 0 となる。
limϵ0sin(uϵ)uϵ=limx0sin(x)x=1\lim_{\epsilon \to 0} \frac{\sin(u\epsilon)}{u\epsilon} = \lim_{x \to 0} \frac{\sin(x)}{x} = 1
ただし、u=0u=0 の場合は limϵ0F(0)=limϵ0sin(0)0\lim_{\epsilon \to 0} F(0) = \lim_{\epsilon \to 0} \frac{\sin(0)}{0} となり不定形となるので、フーリエ変換の定義に戻って考える。
F(0)=f(x)ei(0)xdx=ϵϵ12ϵdx=12ϵ[x]ϵϵ=12ϵ(ϵ(ϵ))=12ϵ(2ϵ)=1F(0) = \int_{-\infty}^{\infty} f(x) e^{-i(0)x} dx = \int_{-\epsilon}^{\epsilon} \frac{1}{2\epsilon} dx = \frac{1}{2\epsilon} [x]_{-\epsilon}^{\epsilon} = \frac{1}{2\epsilon} (\epsilon - (-\epsilon)) = \frac{1}{2\epsilon} (2\epsilon) = 1
よって、u=0u=0 であっても、limϵ0F(u)=1\lim_{\epsilon \to 0} F(u) = 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 \frac{\tan^2 x}{\cos^2 x} dx$ を計算します。

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

曲線 $y = \log x$ について、以下の問いに答える問題です。 (1) 曲線上の点 $(e, 1)$ における接線の方程式を求め、$y = \frac{\fbox{1}}{\fbox{2}}x...

微分積分接線面積
2025/7/9

関数 $f(x, y) = e^{x^3 y}$、 $x(t) = \cos(t)$、 $y(t) = t^3$ が与えられています。合成関数 $F(t) = f(x(t), y(t))$ の導関数 ...

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

関数 $f(x, y) = \tan^{-1}(\frac{x-y}{x+y})$ が与えられています。この関数について、具体的に何を求めるべきかは問題文には記載されていません。しかし、典型的な問題と...

偏微分合成関数の微分tan^-1多変数関数
2025/7/9

定積分 $\int_{0}^{\pi} |\sin x - \sqrt{3} \cos x| dx$ の値を求める。

定積分三角関数絶対値積分
2025/7/9

与えられた関数 $f(x)$ に対して、以下の操作を行います。 - $f(x)$ を微分し、微分係数 $f^{(k)}(0)$ ($k = 0, 1, 2$) を求める。 - $x = 0...

Taylor展開微分関数
2025/7/9

関数 $f(x)$ が与えられたとき、以下のことを行う。 (1) $f(x)$ を微分して、微分係数 $f^{(k)}(0)$ ($k = 0, 1, 2$) を求める。 (2) $x = 0$ での...

微分テイラー展開指数関数
2025/7/9

関数 $f(x) = \frac{1}{(1+x)^2}$ の $x=0$ における微分係数 $f(0)$, $f'(0)$, $f''(0)$ を求め、2次までのテイラー展開を剰余項 $R_3$ を...

微分係数テイラー展開微分関数
2025/7/9

関数 $f(x) = \frac{1}{(1+x)^2}$ について、その微分 $f'(x)$ および $f''(x)$ を求め、微分係数 $f^{(k)}(0)$ ($k=0, 1, 2$) を計算...

微分テイラー展開微分係数関数の解析
2025/7/9

問題は、関数 $f(x) = \frac{1}{(1+x)^2}$ を微分し、微分係数 $f^{(k)}(0)$ ($k = 0, 1, 2$) を求め、2次までの $x=0$ でのテイラー展開を剰余...

微分テイラー展開微分係数関数
2025/7/9