Estoy intentando resolver el siguiente ejercicio de los apuntes de mi profesor sobre la expectativa condicional:
Sea x:Ω→Rn , x∈G(0,Qx) , Qx=QTx>0 , y:Ω→Rk , y∈G(0,Qy) . Supongamos que x , y son conjuntamente variables aleatorias gaussianas y que E[exp(iuTy)|Fx]=exp(iuTCx−12uT˜Qu), para algunos C∈Rk×n , ˜Q=˜QT≥0 . Demostrar que existe una variable aleatoria w:Ω→Rk tal que x , w son independientes, w∈G(0,Qw) y y=Cx+w
Mi problema es que no encuentro la forma de demostrar la existencia (la inversa es fácil de demostrar). Estaba pensando en utilizar la propiedad E[E[exp(iuTy)|Fx]]=E[exp(iuTy)] (porque la función característica daría una expresión para y ) pero siguiendo este camino se vuelve excesivamente complejo.