MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 5 added 134 characters in body

Given a one-parametric random function on a probability space $(\Omega,\mathcal F,\mathbb P)$:

$X:U\times\Omega\to \mathbb R \text{ and } (a,w)\mapsto X(a,w), \text{ with } \sigma(X(a))\subseteq \mathcal F\quad\quad\forall a\in U\subseteq\mathbb R, $

Then the following holds:

$E\left[\sup\limits_{a\in U}X(a)\right]=\sup\Bigr\lbrace E\left[X(A)\right]\Bigr|\sigma(A)\subseteq{\mathcal F},\;A(\omega)\in U\Bigr\rbrace$ and also $E\left[\sup\limits_{a\in U}X(a)\right]=\sup\Bigr\lbrace E\left[X(A)\right]\Bigr|\sigma(A)\subseteq{\bigcup\limits_{a\in U}\sigma(X(a))},\;A(\omega)\in U\Bigr\rbrace$

Proof:

(

The following holds trivially:

$E[X(A)]\le E[\sup_{a\in U} X(a)]$

it remains to show the other direction. This is done by applying zhoraster's answer):

Clearly, $M(\omega) = \sup_{a\in U} X(a,w)$ is $\mathcal F$-measurable.

Define for $\delta>0$

$\mathfrak A_\delta = \lbrace(a,\omega)\in U\times \Omega\mid X(a,w) >M(\omega)-\delta\rbrace$

This set is in $\mathcal B(\mathbb R)\otimes \mathcal F_t$, and it has a full projection onto $\Omega$. By a measurable selection theorem (which I think one can find in Bogachev Measure Theory) there is an $\mathcal F$-measurable $A_\delta$ such that $(A_\delta(\omega),\omega)\in\mathfrak A_\delta$ almost surely. Hence $E[X(A_\delta)]≥E[M(\omega)]−\delta$. We get the desired statement by letting $\delta\to 0$.

(One can also use Kuratowski--Ryll-Nardzewski theorem to prove the existence of a measurable $A_\delta$.)

After a very good answer of zhoraster, I realized, that my initial question was a mixup of several different things. Thats why I changed it community wiki and clearified the problem.
show/hide this revision's text 4 clearify the question and summerize the given answers; added 10 characters in body; added 2 characters in body

Hi

My question

Given some a one-parametric random function on a probability space $f:\mathbb R^n (\Omega,\mathcal F,\mathbb P)$:

$X:U\times\Omega\to \rightarrow\mathbb R$ mathbb R \text{ and a compact set $U\subset\mathbb R$} (a,w)\mapsto X(a,w), what properties for the process $S_t$, which is adapted to a filtration $\mathcal F$ are needed\text{ with } \sigma(X(a))\subseteq \mathcal F\quad\quad\forall a\in U\subseteq\mathbb R,so that $

Then the following holds:

$E\left[\sup\limits_{a\in U}E\left[f(a,(S_{t_i})_{i< n,t_i\ge t})\Bigr|\mathcal F_t\right]\right]=\sup\limits_{A,\;\sigma(A)\subseteq{\mathcal F_t},\;A(\omega)\in U}E\left[f(A,(S_{t_i})_{i< n,t_i\ge t})\right]$

The second supremum should be taken over all random variables $A$, that are $\mathcal F_t$-measurable U}X(a)\right]=\sup\Bigr\lbrace E\left[X(A)\right]\Bigr|\sigma(A)\subseteq{\mathcal F},\;A(\omega)\in U\Bigr\rbrace$and take values in also$U$.

My Solution E\left[\sup\limits_{a\in U}X(a)\right]=\sup\Bigr\lbrace E\left[X(A)\right]\Bigr|\sigma(A)\subseteq{\bigcup\limits_{a\in U}\sigma(X(a))},\;A(\omega)\in U\Bigr\rbrace$

Proof:

(so farapplying zhoraster's answer)

If

Clearly, $S$ M(\omega) = \sup_{a\in U} X(a,w)$ is Markov, the equality holds$\mathcal F$-measurable.

Idea of Proof: Using iterated conditioning on the r.h.s leads to

Define for $\sup\limits_{A,\;\sigma(A)\subseteq{\mathcal F_t},\;A(\omega)\in U}E\left[E\left[f(A,(S_{t_i})_{i< n,t_i\ge t})\Bigr|\mathcal F_t\right]\right]$

Using the Markov property of S and the \delta>0$

$\mathcal F_t$-measurability of \mathfrak A_\delta = \lbrace(a,\omega)\in U\times \Omega\mid X(a,w) >M(\omega)-\delta\rbrace$

This set is in $A$, \mathcal B(\mathbb R)\otimes \mathcal F_t$, and it can be shown that has a function full projection onto $g(a,s)$ exists with\Omega$. By a measurable selection theorem (which I think one can find in Bogachev Measure Theory) there is an $g(A,S_t)=E\left[f(A,(S_{t_i})_{i< n,t_i\ge t})\Bigr|\mathcal F_t\right]$

leading to \mathcal F$-measurable $\sup\limits_{A,\;\sigma(A)\subseteq{\mathcal F_t},\;A(\omega)\in U}E\left[g(A,S_t)\right]$

It can easily be seen, A_\delta$ such that $(A_\delta(\omega),\omega)\in\mathfrak A_\delta$ almost surely. Hence $E[X(A_\delta)]≥E[M(\omega)]−\delta$. We get the l.h.s of equaility provides an upper bound:desired statement by letting $E\left[g(A,S_t)\right]\leq E\left[\sup\limits_{a\in U}\;g(a,S_t)\right]=E\left[\sup\limits_{a\in U}E\left[f(a,(S_{t_i})_{i< n,t_i\ge t})\Bigr|\mathcal F_t\right]\right]$

It remains \delta\to 0$.

(One can also use Kuratowski--Ryll-Nardzewski theorem to show prove the other direction:existence of a measurable $E\left[\sup\limits_{a\in U}\;g(a,S_t)\right]\leq \sup\limits_{A,\;\sigma(A)\subseteq{\mathcal F_t},\;A(\omega)\in U} E\left[g(A,S_t)\right]$

But I am stuck here.

I would appreciate some helpA_\delta$.)

After a very good answer of zhoraster, like telling meI realized, if that my initial question was a mixup of several different things. Thats why I am heading in changed it community wiki and clearified the right direction or other hints!

Thanksproblem.
show/hide this revision's text 3 deleted 3 characters in body; edited title; [made Community Wiki]

Expectation of a Commuting supremum of conditional expectationsand expectation

Hi!

My question

Given some function $f:\mathbb R^n \rightarrow\mathbb R$ and a compact set $U\subset\mathbb R$, what properties for the process $S_t$, which is adapted to a filtration $\mathcal F$ are needed, so that the following holds:

$E\left[\sup\limits_{a\in U}E\left[f(a,(S_{t_i})_{i< n,t_i\ge t})\Bigr|\mathcal F_t\right]\right]=\sup\limits_{A,\;\sigma(A)\subseteq{\mathcal F_t},\;A(\omega)\in U}E\left[f(A,(S_{t_i})_{i< n,t_i\ge t})\right]$

The second supremum should be taken over all random variables $A$, that are $\mathcal F_t$-measurable and take values in $U$.

My Solution (so far)

If $S$ is Markov, the equality holds.

Idea of Proof: Using iterated conditioning on the r.h.s leads to

$\sup\limits_{A,\;\sigma(A)\subseteq{\mathcal F_t},\;A(\omega)\in U}E\left[E\left[f(A,(S_{t_i})_{i< n,t_i\ge t})\Bigr|\mathcal F_t\right]\right]$

Using the Markov property of S and the $\mathcal F_t$-measurability of $A$, it can be shown that a function $g(a,s)$ exists with

$g(A,S_t)=E\left[f(A,(S_{t_i})_{i< n,t_i\ge t})\Bigr|\mathcal F_t\right]$

leading to

$\sup\limits_{A,\;\sigma(A)\subseteq{\mathcal F_t},\;A(\omega)\in U}E\left[g(A,S_t)\right]$

It can easily be seen, that the l.h.s of equaility provides an upper bound:

$E\left[g(A,S_t)\right]\leq E\left[\sup\limits_{a\in U}\;g(a,S_t)\right]=E\left[\sup\limits_{a\in U}E\left[f(a,(S_{t_i})_{i< n,t_i\ge t})\Bigr|\mathcal F_t\right]\right]$

It remains to show the other direction:

$E\left[\sup\limits_{a\in U}\;g(a,S_t)\right]\leq \sup\limits_{A,\;\sigma(A)\subseteq{\mathcal F_t},\;A(\omega)\in U} E\left[g(A,S_t)\right]$

But I am stuck here.

I would appreciate some help, like telling me, if I am heading in the right direction or other hints!

Thanks
show/hide this revision's text 2 deleted 114 characters in body
show/hide this revision's text 1