On the first stochastic controls homework we have the following bonus problem (which is apparently now superbonus, since the instructor sent out an email saying we aren’t expected to be able to do this rigorously ),
Suppose that we have a sequence
which are i.i.d. Gaussian random variables with mean zero and unit variance under
, and such that
are i.i.d. Gaussian random variables with mean zero and unit variance under
. Give a necessary and sufficient condition on the non-random sequence
such that
. In the case that
, give the corresponding Radon-Nikodym derivative. If
, find an event
so that
but
. in theory, how would you solve the hypothesis testing problem when
? How about when
?
(Here I’m assuming that
where
, and similarly for
.)
I’m stumped on it. I have the intution that the sequence of means
should be bounded, and I can construct an example where the fact that the
aren’t bounded is crucial in establishing that
. I can’t establish either the necessity or sufficiency, however. Aaargh!
For the necessity, given an unbounded sequence of means, I’ve been trying to construct a sequence
of sets such that
, but
, using the fact that the ‘mass’ of the
are moving away from the origin. The easiest way of doing this that occured to me is to take the sets
such that under the Gaussian measure
, shift them, and define
so
, but these sets don’t move away from the origin fast enough to get
. Stumped there.
For the sufficiency, given a bounded set of means, I’ve been attempting to use the facts

and likewise for
, where the inf is taken over the
in the algebra of finite Borel cylinders. Then if I could show that
goes to zero fast enough when
does, just for the finite Borel cylinders, then I’d be done. But that fast enough is eluding me.
Any hints?
Update I got the necessity; it was actually trivial. My complaint above can be avoided by just taking an (absolutely) increasing subsequence of means which move away from the origin fast enough, doing the construction on it, and ignoring the other means by setting the other
… Now on to sufficiency.