積の期待値と期待値の積

久しぶりの投稿。

私用で，二つの確率変数の積がどのような分布に従うのか（というかその期待値はどのように表現されるか）を明らかにする必要があったので少し調べてみた所を記述します。

問題設定

2つの確率変数
{x, y}を考える。
ここで，

{x \sim N(\mu\_x, \sigma^{2}_x)}, {y \sim N(\mu\_y, \sigma^{2}_y)}

とする。
今回考える問題は，
{E(xy)}がどのように表現されるかを得ること。
みなさんご存知の通り，{x, y}が独立である場合は{E(xy) = E(x)E(y)}とはよく言われます。実際にぐぐれば導出式はたくさん出てくるはず。

では，こいつらが独立ではない場合はどうなるのか？となるのは自然な流れ。
以下，導出を行ないます。
ちなみに，以下の記事は正規分布に従う確率変数同士の積の分布について - 数学 締切済 | 教えて！gooで見かけたやり取りを参考にしています。役立つときは役立つもんですね。（それでも間違っている可能性はあるけど）

変数変換

まず，以下のように変数変換を行なう。

\displaystyle {U = \frac{1}{\sqrt{2}}\ (\frac{x}{\sigma_x} + \frac{y}{\sigma_y})}
\displaystyle {V = \frac{1}{\sqrt{2}}\ (\frac{x}{\sigma_x} - \frac{y}{\sigma_y})}

すると，{U,V}は以下の正規分布に従う。

\displaystyle {U \sim N(\mu_1, 1^2)}
\displaystyle {V \sim N(\mu_2, 1^2)}

但し,

\displaystyle {\mu_1 = \frac{1}{\sqrt{2}}(\frac{\mu_x}{\sigma_x}+\frac{\mu_y}{\sigma_y})}
\displaystyle {\mu_2 = \frac{1}{\sqrt{2}}(\frac{\mu_x}{\sigma_x}-\frac{\mu_y}{\sigma_y})}

と置いている。
ちなみに，この{U,V}は共分散が0，すなわち独立である。

{xy}の表現

次に，この{U,V}を使って{xy}の表現を得てみる。
これらを二乗すると，以下のようになる。

\displaystyle {U^{2} = \frac{1}{2}(\frac{x^{2}}{\sigma^{2}_x} + \frac{2xy}{\sigma_x \sigma_y} + \frac{y^{2}}{\sigma^{2}_y})}
\displaystyle {V^{2} = \frac{1}{2}(\frac{x^{2}}{\sigma^{2}_x} - \frac{2xy}{\sigma_x \sigma_y} + \frac{y^{2}}{\sigma^{2}_y})}

これらの両辺を減算すると

\displaystyle {U^2-V^2 = \frac{2xy}{\sigma_x \sigma_y}}

{xy}について整理して，

\displaystyle {xy = \frac{\sigma_x \sigma_y}{2}(U^2-V^2)}

期待値の計算

ここで，{U,V}をよく見ると，こいつらは自由度1，非心度それぞれ{\mu_1^{2}, \mu_2^{2}}の非心カイ二乗分布に従っている。
ここで，自由度k, 非心度\lambdaのの非心カイ二乗分布に従う確率変数の期待値は(k+\lambda)で与えられる。
それを利用すると，今回求めようと考えている期待値は

\displaystyle {\begin{eqnarray} E(xy) &=& E\Bigl(\frac{\sigma_x\sigma_y}{2}(U^2-V^2)\Bigr) \\ &=& \frac{\sigma_x\sigma_y}{2}E(U^2-V^2) \\ &=& \frac{\sigma_x\sigma_y}{2}\Bigl(E(U^2)-E(V^2)\Bigr) \\ &=& \frac{\sigma_x\sigma_y}{2}\Bigl((1+\mu_1^2)-(1+\mu_2^2)\Bigr) \\ &=& \frac{\sigma_x\sigma_y}{2}\Bigl(\mu_1^2 - \mu_2^2\Bigr)\\ &=& \frac{\sigma_x\sigma_y}{2}\Bigl(\frac{1}{2}(\frac{\mu_x^{2}}{\sigma^{2}_x} + \frac{2\mu_x\mu_y}{\sigma_x \sigma_y} + \frac{\mu_y^{2}}{\sigma^{2}_y}) - \frac{1}{2}(\frac{\mu_x^{2}}{\sigma^{2}_x} - \frac{2\mu_x\mu_y}{\sigma_x \sigma_y} + \frac{\mu_y^{2}}{\sigma^{2}_y})\Bigr)\\ &=& \frac{\sigma_x\sigma_y}{2}\frac{2\mu_x\mu_y}{\sigma_x\sigma_y}\\ &=& \mu_x\mu_y \end{eqnarray} }

となる。

以上から，確率変数{x,y}の独立性を仮定していなくても{E(xy) = E(x)E(y)}となってしまった。非常に気持ち悪い。
おそらくどこかに間違いがあるんじゃないかと思いますが，現状では見つけられていないのでどなたか間違っている点があれば教えてください･･･。