跳到主要内容

東京大学 工学系研究科 2025年8月実施 数学 第5問

Author​

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

Description​

I​

Fourier transform を

F(k)=∫−∞∞f(x)e−ikx dxF(k)=\int_{-\infty}^{\infty}f(x)e^{-ikx}\,dx

と定義する。a,b>0a,b>0 として、次の関数の Fourier transform を求めよ。

f(x)={12a,∣x∣≤a,0,∣x∣>a.f(x)=\begin{cases} \dfrac1{2a},&|x|\le a,\\ 0,&|x|>a. \end{cases}
  1. f(x)=e−a∣x∣cos⁡bxf(x)=e^{-a|x|}\cos bx。
f(x)=∫−∞∞e−y2−∣x−y∣ dy.f(x)=\int_{-\infty}^{\infty}e^{-y^2-|x-y|}\,dy.

II​

2π2\pi 周期関数 gg の Fourier 級数を

g~(x)=a02+∑n=1∞(ancos⁡nx+bnsin⁡nx)\widetilde g(x)=\frac{a_0}{2} +\sum_{n=1}^{\infty}(a_n\cos nx+b_n\sin nx)

とする。

  1. −π≤x<π-\pi\le x<\pi で

    g(x)={0,−π≤x<0,1,0≤x<πg(x)=\begin{cases} 0,&-\pi\le x<0,\\ 1,&0\le x<\pi \end{cases}

    と定義した関数の係数を求めよ。

  2. g(x)=cos⁡(x/2)g(x)=\cos(x/2) の係数を求めよ。

  3. ∑n=1∞(−1)n−12n−1\displaystyle\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{2n-1} の収束値を求めよ。

係数の定義は

a0=1π∫−ππg(x) dx,an=1π∫−ππg(x)cos⁡nx dx,bn=1π∫−ππg(x)sin⁡nx dxa_0=\frac1\pi\int_{-\pi}^{\pi}g(x)\,dx,\quad a_n=\frac1\pi\int_{-\pi}^{\pi}g(x)\cos nx\,dx,\quad b_n=\frac1\pi\int_{-\pi}^{\pi}g(x)\sin nx\,dx

である。II.2 の cos⁡(x/2)\cos(x/2) は −π≤x<π-\pi\le x<\pi 上で定義して周期的に拡張する。また、∫−∞∞e−y2 dy=π\int_{-\infty}^{\infty}e^{-y^2}\,dy=\sqrt\pi を用いてよい。

题目描述​

I. 采用

F(k)=∫−∞∞f(x)e−ikx dxF(k)=\int_{-\infty}^{\infty}f(x)e^{-ikx}\,\mathrm dx

的 Fourier 变换约定。对 a,b>0a,b>0,分别求以下函数的变换:

  1. [−a,a][-a,a] 上等于 1/(2a)1/(2a)、其余处为零的矩形函数;

  2. e−a∣x∣cos⁡bxe^{-a|x|}\cos bx;

  3. 卷积型函数

    f(x)=∫−∞∞e−y2−∣x−y∣ dy.f(x)=\int_{-\infty}^{\infty}e^{-y^2-|x-y|}\,\mathrm dy.

II. 对 2π2\pi 周期 Fourier 级数

g~(x)=a02+∑n=1∞(ancos⁡nx+bnsin⁡nx),\widetilde g(x)=\frac{a_0}{2} +\sum_{n=1}^{\infty}(a_n\cos nx+b_n\sin nx),

求下列内容:

  1. [−π,0)[-\pi,0) 上为 00、[0,π)[0,\pi) 上为 11 的阶跃周期函数的全部系数;
  2. 在 −π≤x<π-\pi\le x<\pi 上取 g(x)=cos⁡(x/2)g(x)=\cos(x/2) 并作 2π2\pi 周期延拓时的全部系数;
  3. 求 ∑n=1∞(−1)n−1/(2n−1)\sum_{n=1}^{\infty}(-1)^{n-1}/(2n-1) 的和。

可使用 ∫−∞∞e−y2 dy=π\int_{-\infty}^{\infty}e^{-y^2}\,dy=\sqrt\pi。傅里叶系数定义为

a0=1π∫−ππg(x) dx,an=1π∫−ππg(x)cos⁡nx dx,bn=1π∫−ππg(x)sin⁡nx dx.a_0=\frac1\pi\int_{-\pi}^{\pi}g(x)\,dx,\quad a_n=\frac1\pi\int_{-\pi}^{\pi}g(x)\cos nx\,dx,\quad b_n=\frac1\pi\int_{-\pi}^{\pi}g(x)\sin nx\,dx.

Kai​

I.1​

F(k)=12a∫−aae−ikx dx=sin⁡akak.\begin{aligned} F(k) &=\frac1{2a}\int_{-a}^{a}e^{-ikx}\,dx\\ &=\frac{\sin ak}{ak}. \end{aligned}

k=0k=0 では極限を取れば F(0)=1F(0)=1 なので、

F(k)={sin⁡akak,k≠0,1,k=0\boxed{ F(k)=\begin{cases} \dfrac{\sin ak}{ak},&k\ne0,\\ 1,&k=0 \end{cases}}

である。

I.2​

基本変換

∫−∞∞e−a∣x∣e−ikx dx=2aa2+k2\int_{-\infty}^{\infty}e^{-a|x|}e^{-ikx}\,dx =\frac{2a}{a^2+k^2}

と

cos⁡bx=eibx+e−ibx2\cos bx=\frac{e^{ibx}+e^{-ibx}}2

を用いる。周波数移動により、

F(k)=aa2+(k−b)2+aa2+(k+b)2\boxed{ F(k)=\frac{a}{a^2+(k-b)^2} +\frac{a}{a^2+(k+b)^2} }

となる。

I.3​

p(x)=e−x2,q(x)=e−∣x∣p(x)=e^{-x^2},\qquad q(x)=e^{-|x|}

とおくと、与えられた ff は畳み込み p∗qp*q である。それぞれの変換は

p^(k)=πe−k2/4,q^(k)=21+k2.\widehat p(k)=\sqrt\pi e^{-k^2/4}, \qquad \widehat q(k)=\frac{2}{1+k^2}.

畳み込み定理より、

F(k)=2πe−k2/41+k2\boxed{F(k)=\frac{2\sqrt\pi e^{-k^2/4}}{1+k^2}}

を得る。

II.1​

定義から

a0=1π∫0π1 dx=1,a_0=\frac1\pi\int_0^\pi1\,dx=1,
an=1π∫0πcos⁡nx dx=0,a_n=\frac1\pi\int_0^\pi\cos nx\,dx=0,
bn=1π∫0πsin⁡nx dx=1−(−1)nπn.b_n=\frac1\pi\int_0^\pi\sin nx\,dx =\frac{1-(-1)^n}{\pi n}.

したがって、

a0=1,an=0,bn=1−(−1)nπn\boxed{a_0=1,\qquad a_n=0,\qquad b_n=\frac{1-(-1)^n}{\pi n}}

である。特に bnb_n は奇数 nn で 2/(πn)2/(\pi n)、偶数 nn で 00 となる。

II.2​

gg は偶関数なので bn=0b_n=0 である。また、

a0=1π∫−ππcos⁡x2 dx=4π.a_0=\frac1\pi\int_{-\pi}^{\pi}\cos\frac{x}{2}\,dx =\frac4\pi.

n≥1n\ge1 について積和公式を用いると、

an=2π∫0πcos⁡x2cos⁡nx dx=4(−1)n+1π(4n2−1).\begin{aligned} a_n &=\frac2\pi\int_0^\pi\cos\frac{x}{2}\cos nx\,dx\\ &=\frac{4(-1)^{n+1}}{\pi(4n^2-1)}. \end{aligned}

よって、

a0=4π,an=4(−1)n+1π(4n2−1),bn=0\boxed{a_0=\frac4\pi,\qquad a_n=\frac{4(-1)^{n+1}}{\pi(4n^2-1)},\qquad b_n=0}

である。

II.3​

II.1 で得た Fourier 級数は、連続点 x=π/2x=\pi/2 で g(π/2)=1g(\pi/2)=1 に収束する。したがって、

1=12+2π∑m=0∞sin⁡((2m+1)π/2)2m+1.1=\frac12+\frac2\pi \sum_{m=0}^{\infty}\frac{\sin((2m+1)\pi/2)}{2m+1}.

sin⁡((2m+1)π/2)=(−1)m\sin((2m+1)\pi/2)=(-1)^m なので、

∑n=1∞(−1)n−12n−1=π4\boxed{ \sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{2n-1}=\frac\pi4 }

を得る。

Reference​