東京大学 情報理工学研究科 2018年8月実施 数学 第2問
Author
etsurin
Description
実数値関数 u(x,t) が −∞<x<∞, t≥0 で定義されている。ここで、x と t は独立である。偏微分方程式
∂t2∂2u=c2∂x2∂2u(2.1)
の解を初期条件
u(x,0)=exp(−ax2)∂t∂u(x,0)=0(2.2)(2.3)
の下で求める。ただし、a,c は正の実数とする。
また、i を虚数単位とする。以下の問いに答えよ。
(1) 次の式を複素積分を用いて計算せよ。
∫−∞∞exp(−a(x+id)2)dx
ただし、d は実数である。また、以下の式を用いてもよい。
∫−∞∞exp(−x2)dx=π
(2) u(x,t) の x に関するフーリエ変換 U(k,t) を
U(k,t)=2π1∫−∞∞u(x,t)exp(−ikx)dx
と定義する。
ここで、x に関する積分と t に関する微分の順序の交換が可能であると仮定してよい。
さらに、u(x,t) と ∂x∂u(x,t) は任意の t に対して x→±∞ のとき 0 に収束するものとする。
- (i) u(x,t) が式 (2.1) を満たすとき、U(k,t) が従う偏微分方程式を求めよ。
- (ii) (i) の解は式 (2.3) の初期条件のもとで、k を変数とする関数 F(k) を用いて以下のように表せることを示せ。
U(k,t)=F(k)cos(kct)
- (iii) さらに、式 (2.2) の初期条件のもとで F(k) を求め、U(k,t) を与えよ。設問 (1) の結果を用いてもよい。
(3) 設問 (2) で得られた U(k,t) のフーリエ逆変換を計算することにより、u(x,t) を求めよ。ただし、フーリエ逆変換は次式で定義される。
u(x,t)=2π1∫−∞∞U(k,t)exp(ikx)dk
Kai
(1)
∫−∞∞e−a(x+id)2dx=∫−∞∞e−ax2dx=a1∫−∞∞e−(ax)2d(ax)=aπ
(2)
(i)
F[∂x∂u(x,t)]=2π1∫−∞∞e−ikxd(u(x,t))(对 x 微分)=2π1(eikxu(x,t)−∞∞−∫−∞∞u(x,t)(−ik)e−ikxdx)(由于 x→±∞ 时 u(x,t)=0, 左项为 0)=ikU(k,t)
由于 x→±∞ 时 ∂x∂u(x,t)=0, 同理可得
F[∂x2∂2u(x,t)]=−k2U(k,t)
F[∂t2∂2u(x,t)]=∂t2∂2F[u(x,t)]=∂t2∂2U(k,t)
满足的微分方程式为
∂t2∂2U(k,t)=−k2c2U(k,t)
(ii)
U(k,t) 有形式
U(k,t)=G(k)sin(kct)+F(k)cos(kct)
由初值条件 ∂∂u(x,0)=0
∂t∂U(k,t)t=0=kcG(k)cos(kct)−kcF(k)sin(kct)t=0=0
得到 G(k)=0, 因此
U(k,t)=F(k)cos(kct)
(iii)
由初值条件 u(x,0)=e−ax2
F(k)=U(k,0)=F[u(x,0)]=2π1∫−∞∞e−ax2e−ikxdx=2π1∫−∞∞exp(−a(x+2aik)2)exp(−4ak2)dx=2π1aπexp(−4ak2)=2a1exp(−4ak2)
(3)
U(k,t)=2a1exp(−4ak2)cos(kct)
u(x,t)=2π12a1∫−∞∞exp(−4ak2)exp(ikx)2exp(ikct)+exp(−ikct)dk=4πa1∫−∞∞exp(−4ak2)(exp(i(x−ct)k)+exp(i(x+ct)k))dk=4πa1∫−∞∞exp(−4a1(k2−i4a(x+ct)k))dk+4πa1∫−∞∞exp(−4a1(k2−i4a(x−ct)k))dk=I1+I2
I1=4πa1∫−∞∞exp(−4a1(k2−i4a(x+ct)k))dk=4πa1∫−∞∞exp(−4a1(k−2i(x+ct)a)2)exp(−4a1(4(x+ct)2a2))dk=4πa1exp(−4a1(4(x+ct)2a2))4aπ=21e−a(x+ct)2
同理 I2=21e−a(x−ct)2
u(x,t)=21e−a(x+ct)2+21e−a(x−ct)2