解答:
(1)
積分領域 D={(x,y)∣x≥0,y≥0} は、極座標変換 x=rcosθ,y=rsinθ により、E={(r,θ)∣r≥0,0≤θ≤2π} に移される。この変換のヤコビアンは r である。
∫0∞∫0∞e−a(x2+y2)dxdy=∬De−a(x2+y2)dxdy=∬Ee−ar2rdrdθ=∫02πdθ∫0∞re−ar2dr=[θ]02π[−2a1e−ar2]0∞=2π(0−(−2a1))=4aπ
∫0∞∫0∞e−a(x2+y2)dxdy=4aπ
(2)
(1) の結果を利用する。被積分関数が正であるため、フビニの定理より以下が成り立つ。
∫0∞∫0∞e−a(x2+y2)dxdy=(∫0∞e−ax2dx)(∫0∞e−ay2dy)=(∫0∞e−ax2dx)2={f(a)}2
f(a)>0 であるから、
f(a)=4aπ=2πa−21
a=1 を代入して、
f(1)=2π
f(a) を a について微分すると、
f′(a)=2π(−21)a−23=−4πa−23
a=1 を代入して、
f′(1)=−4π
(3)
f(a)=∫0∞e−ax2dx の両辺を a について n 回微分する。積分記号下での微分法により、
f(n)(a)=dandn∫0∞e−ax2dx=∫0∞∂an∂n(e−ax2)dx=∫0∞(−x2)ne−ax2dx=(−1)n∫0∞x2ne−ax2dx
したがって、
∫0∞x2ne−ax2dx=(−1)nf(n)(a)
一方、f(a)=2πa−21 の n 次導関数は、
f(n)(a)=2π(−21)(−23)⋯(−22n−1)a−22n+1=2π(−1)n2n(2n−1)!!a−22n+1
ここで、a=1 を代入して整理すると、求める定積分が得られる。
∫0∞e−x2x2ndx=(−1)nf(n)(1)=(−1)n(2π(−1)n2n(2n−1)!!)=2n+1(2n−1)!!π
(階乗を用いて 22n+1n!(2n)!π と表すこともできる)
∫0∞e−x2x2ndx=2n+1(2n−1)!!π
本题考查了广义积分的计算、含参变量积分的求导以及高斯积分的推广。第一问是经典的高斯积分二维形式,通过向极坐标系转换,将原本在直角坐标系下难以求原函数的积分化为可分离变量的积分,从而轻松求解。第二问利用了二重积分可以分离为两个独立的一维积分乘积的性质,通过第一问的结果逆推出一维高斯积分的值,并直接对其含参变量进行求导。第三问则是典型的利用含参变量积分求导法(即费曼积分法)来求解复杂积分的例子。通过对高斯积分关于参数连续求高阶导数,每次求导都会在被积函数中多出一个因子,进而建立起原含参积分导数与所求积分的直接联系。最后只需写出幂函数求高阶导数的通式并代入参数为一的情况,即可得到含有双阶乘的最终结果。