跳到主要内容

神戸大学 システム情報学研究科 2018年8月実施 数学 3

Author​

祭音Myyura (co-authored with GPT 5.6 SOL)

Description​

nn を自然数とし,関数

fn(x)={n,∣x∣≤1n,0,∣x∣>1nf_n(x)= \begin{cases} n,&|x|\le \dfrac1n,\\ 0,&|x|>\dfrac1n \end{cases}

を考える。

  1. fn(x)f_n(x) のフーリエ変換

    f^n(t)=12π∫−∞∞fn(x)e−itx dx,−∞<t<∞\widehat f_n(t)=\frac1{\sqrt{2\pi}} \int_{-\infty}^{\infty}f_n(x)e^{-itx}\,dx, \qquad -\infty<t<\infty

    を求めよ。

  2. 任意に固定された t≠0t\ne0 に対して lim⁡n→∞f^n(t)\displaystyle\lim_{n\to\infty}\widehat f_n(t) を求めよ。また,任意に固定された自然数 nn に対して lim⁡t→0f^n(t)\displaystyle\lim_{t\to0}\widehat f_n(t) を求めよ。

  3. (1) の結果を利用して,定積分

    ∫0∞sin⁡(t/n)t dt\int_0^\infty\frac{\sin(t/n)}t\,dt

    の値を求めよ。

题目描述​

令 nn 为自然数,并定义

fn(x)={n,∣x∣≤1/n,0,∣x∣>1/n.f_n(x)= \begin{cases} n,&|x|\le1/n,\\ 0,&|x|>1/n. \end{cases}
  1. 按题中给定的对称归一化定义求 fnf_n 的 Fourier 变换 f^n(t)\widehat f_n(t)。

  2. 对固定的 t≠0t\ne0 求 n→∞n\to\infty 时的极限;对固定的自然数 nn 求 t→0t\to0 时的极限。

  3. 利用第 1 问求

    ∫0∞sin⁡(t/n)t dt.\int_0^\infty\frac{\sin(t/n)}t\,dt.

Kai​

(1)​

t≠0t\ne0 のとき

f^n(t)=n2π∫−1/n1/ne−itx dx=2π ntsin⁡tn.\begin{aligned} \widehat f_n(t) &=\frac{n}{\sqrt{2\pi}}\int_{-1/n}^{1/n}e^{-itx}\,dx\\ &=\sqrt{\frac2\pi}\,\frac n t\sin\frac t n. \end{aligned}

t=0t=0 では直接積分して f^n(0)=2/2π\widehat f_n(0)=2/\sqrt{2\pi}。したがって

f^n(t)={2πntsin⁡tn,t≠0,2π,t=0.\boxed{ \widehat f_n(t)= \begin{cases} \displaystyle\sqrt{\frac2\pi}\frac n t\sin\frac t n,&t\ne0,\\[6pt] \displaystyle\sqrt{\frac2\pi},&t=0. \end{cases}}

(2)​

lim⁡u→0sin⁡uu=1\displaystyle\lim_{u\to0}\frac{\sin u}{u}=1 より,

lim⁡n→∞f^n(t)=2π(t≠0),lim⁡t→0f^n(t)=2π(n を固定).\boxed{ \lim_{n\to\infty}\widehat f_n(t)=\sqrt{\frac2\pi}\quad(t\ne0), \qquad \lim_{t\to0}\widehat f_n(t)=\sqrt{\frac2\pi}\quad(n\text{ を固定}).}

(3)​

fnf_n は x=0x=0 で連続なので,フーリエ反転公式を x=0x=0 で用いると

n=fn(0)=12π∫−∞∞f^n(t) dt=nπ∫−∞∞sin⁡(t/n)t dt.\begin{aligned} n=f_n(0) &=\frac1{\sqrt{2\pi}} \int_{-\infty}^{\infty}\widehat f_n(t)\,dt\\ &=\frac n\pi\int_{-\infty}^{\infty} \frac{\sin(t/n)}t\,dt. \end{aligned}

被積分関数は偶関数であるから,

∫0∞sin⁡(t/n)t dt=π2.\boxed{\displaystyle \int_0^\infty\frac{\sin(t/n)}t\,dt=\frac\pi2}.