解答:
(問1)
(1) ヤコビアン J は
J = det ( ∂ r ∂ x ∂ θ ∂ x ∂ r ∂ y ∂ θ ∂ y ) = det ( cos θ − r sin θ sin θ r cos θ ) = r cos 2 θ + r sin 2 θ = r
r
(2) R = 0 より f ( x , y ) = exp ( − 2 x 2 + y 2 ) である。極座標変換を用いると、
∫ − ∞ ∞ ∫ − ∞ ∞ exp ( − 2 x 2 + y 2 ) d x d y = ∫ 0 2 π ∫ 0 ∞ e − r 2 /2 r d r d θ
= ( ∫ 0 2 π d θ ) [ − e − r 2 /2 ] 0 ∞ = 2 π ⋅ ( 0 − ( − 1 )) = 2 π
2 π
(3) I = ∫ − ∞ ∞ exp ( − a x 2 ) d x とおく(a > 0 より I > 0 )。
I 2 = ∫ − ∞ ∞ ∫ − ∞ ∞ exp ( − a ( x 2 + y 2 )) d x d y
極座標変換を用いると、
I 2 = ∫ 0 2 π ∫ 0 ∞ exp ( − a r 2 ) r d r d θ = 2 π [ − 2 a 1 e − a r 2 ] 0 ∞ = a π
I > 0 であるから、
I = a π
(証明終)
(問2)
(1) f ( x , y ) は以下のように平方完成できる。
f ( x , y ) = exp ( − 2 x 2 ) exp ( − 2 ( 1 − R 2 ) ( y − R x ) 2 )
u = y − R x とおくと d y = d u であり、
g ( x ) = exp ( − 2 x 2 ) ∫ − ∞ ∞ exp ( − 2 ( 1 − R 2 ) u 2 ) d u
(問1)(3) の結果にて a = 2 ( 1 − R 2 ) 1 とすると、
g ( x ) = 2 π ( 1 − R 2 ) exp ( − 2 x 2 )
次に I 1 = ∫ − ∞ ∞ xg ( x − x 0 ) d x を求める。v = x − x 0 とおくと d x = d v であり、
I 1 = 2 π ( 1 − R 2 ) ∫ − ∞ ∞ ( v + x 0 ) e − v 2 /2 d v
奇関数の積分 ∫ − ∞ ∞ v e − v 2 /2 d v = 0 および (問1)(3) の結果より、
I 1 = 2 π ( 1 − R 2 ) ⋅ x 0 ∫ − ∞ ∞ e − v 2 /2 d v = 2 π ( 1 − R 2 ) ⋅ x 0 2 π = 2 π ( 1 − R 2 ) x 0
2 π ( 1 − R 2 ) x 0
(2) (問1)(3) の結果 ∫ − ∞ ∞ e − a x 2 d x = π a − 1/2 の両辺をパラメータ a について微分すると、
∫ − ∞ ∞ ( − x 2 ) e − a x 2 d x ⟹ ∫ − ∞ ∞ x 2 e − a x 2 d x = − 2 π a − 3/2 = 2 π a − 3/2
さらに両辺を a で微分すると、
∫ − ∞ ∞ ( − x 2 ) x 2 e − a x 2 d x ⟹ ∫ − ∞ ∞ x 4 e − a x 2 d x = − 4 3 π a − 5/2 = 4 3 π a − 5/2
a = 1/2 を代入し、
∫ − ∞ ∞ x 2 e − x 2 /2 d x = 2 π ∫ − ∞ ∞ x 4 e − x 2 /2 d x = 3 2 π
ゆえに、
∫ − ∞ ∞ x 2 g ( x ) d x = 2 π ( 1 − R 2 ) ⋅ 2 π = 2 π ( 1 − R 2 )
2 π ( 1 − R 2 )
∫ − ∞ ∞ x 4 g ( x ) d x = 2 π ( 1 − R 2 ) ⋅ 3 2 π = 6 π ( 1 − R 2 )
6 π ( 1 − R 2 )
(問3)
求める積分を K とおく。
K = ∫ 0 ∞ { ∫ 0 ∞ y exp ( − 2 x 2 ) exp ( − 2 ( 1 − R 2 ) ( y − R x ) 2 ) d y } d x
t = y − R x とおくと、内側の積分は
∫ 0 ∞ y exp ( − 2 ( 1 − R 2 ) ( y − R x ) 2 ) d y = ∫ − R x ∞ ( t + R x ) exp ( − 2 ( 1 − R 2 ) t 2 ) d t
= [ − ( 1 − R 2 ) exp ( − 2 ( 1 − R 2 ) t 2 ) ] − R x ∞ + R x ∫ − R x ∞ exp ( − 2 ( 1 − R 2 ) t 2 ) d t
= ( 1 − R 2 ) exp ( − 2 ( 1 − R 2 ) R 2 x 2 ) + R x ∫ − R x ∞ exp ( − 2 ( 1 − R 2 ) t 2 ) d t
これを K に代入して2つの項に分ける。第1項の積分 K 1 は、
K 1 = ( 1 − R 2 ) ∫ 0 ∞ exp ( − 2 ( 1 − R 2 ) x 2 ) d x = 2 1 − R 2 2 π ( 1 − R 2 )
第2項の積分 K 2 について部分積分を用いると、
K 2 = R ∫ 0 ∞ x e − x 2 /2 ( ∫ − R x ∞ exp ( − 2 ( 1 − R 2 ) t 2 ) d t ) d x
= R [ − e − x 2 /2 ∫ − R x ∞ exp ( − 2 ( 1 − R 2 ) t 2 ) d t ] 0 ∞ − R ∫ 0 ∞ ( − e − x 2 /2 ) ⋅ R exp ( − 2 ( 1 − R 2 ) R 2 x 2 ) d x
= R ( 0 − ( − 1 ) ∫ 0 ∞ exp ( − 2 ( 1 − R 2 ) t 2 ) d t ) + R 2 ∫ 0 ∞ exp ( − 2 ( 1 − R 2 ) x 2 ) d x
= 2 R 2 π ( 1 − R 2 ) + 2 R 2 2 π ( 1 − R 2 ) = 2 R ( 1 + R ) 2 π ( 1 − R 2 )
よって、
K = K 1 + K 2 = ( 2 1 − R 2 + 2 R + R 2 ) 2 π ( 1 − R 2 ) = 2 1 + R 2 π ( 1 − R 2 )
( 1 + R ) 2 π ( 1 − R 2 )
这道题目的核心背景是概率论中的二维正态分布(Bivariate Normal Distribution)。题干给出的函数实际上是一个未经过归一化的相关系数为 R 、标准差均为 1 的二维正态分布密度函数的核心部分。
在第一问中,主要考察了通过极坐标变换求解高斯积分的基础方法,这也是多元微积分中非常经典的内容。第二问通过关于 y 的积分求出了边际分布函数 g ( x ) ,本质上是在求解随机变量的边缘概率密度,随后计算了平移后的期望以及二阶和四阶矩。这里使用含参变量积分求导(即费曼积分法)来求高阶矩是非常高效且不易出错的技巧,能有效避开繁琐的多次分部积分。
第三问是整道题的难点,要求在第一象限内计算带有交叉项的二维高斯积分。由于积分区域的限制以及 y 作为被积函数的权重,通常的极坐标或简单的线性旋转变换在处理边界时会变得非常复杂。解答中采取了先对 y 进行配方并积分,再利用分部积分法处理留下的累积分布函数(误差函数形式)的思路,巧妙地使得边界项相互抵消,最终化简得出了一个相对简洁的闭式解。