|∫Y0e−a(X+iy)2dy|≤∫Y0|e−a(X2+2iXy−y2)|dy=e−aX2∫Y0eay2dyX→∞→0
(問1) と同様に、 |∫Y0e−a(−X+iy)2dy|≤∫Y0|e−a(X2−2iXy−y2)|dy=e−aX2∫Y0eay2dyX→∞→0 である。
複素数 z の関数 e−az2 は与えられた積分経路の内側で特異点を持たないので、 積分は 0 となる: 0=∫X−Xe−ax2dy+∫Y0e−a(X+iy)2dy+∫−XXe−a(x+iY)2dx+∫0Ye−a(−X+iy)2dy=∫X−Xe−ax2dy+∫Y0e−a(X+iy)2dy−∫X−Xe−a(x+iY)2dx−∫Y0e−a(−X+iy)2dy よって、 ∫X−Xe−a(x+iY)2dx=∫X−Xe−ax2dy+∫Y0e−a(X+iy)2dy−∫Y0e−a(−X+iy)2dy ここで、 X→∞ とすると、 ∫∞−∞e−a(x+iY)2dx=√πa を得る。
∂U(k,t)∂t=∫∞−∞∂u(x,t)∂te−ikxdx=∫∞−∞∂2u(x,t)∂x2e−ikxdx=[∂u(x,t)∂xe−ikx]∞−∞+ik∫∞−∞∂u(x,t)∂xe−ikxdx=ik[u(x,t)e−ikx]∞−∞−k2∫∞−∞u(x,t)e−ikxdx=−k2U(k,t)
(問3) で得た微分方程式より、 U(k,t)=U(k,0)e−k2t がわかる。 さらに、条件 u(x,0)=δ(x−1) より、 U(k,0)=∫∞−∞u(x,0)e−ikxdx=∫∞−∞δ(x−1)e−ikxdx=e−ik であるから、 U(k,t)=e−k2t−ik を得る。
u(x,t)=12π∫∞−∞U(k,t)eikxdk=12π∫∞−∞e−k2t+ik(x−1)dk=12πe−(x−1)24t∫∞−∞e−t(k−ix−12t)2dk=12πe−(x−1)24t√πt=1√4πte−(x−1)24t