Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

There is a definition that has always left nagging questions in my mind. To set it up, let $(\Omega, \cal{A}, (\cal{F}_t)_{t\geq 0}, P)$ be a filtered probability space. From Comets & Meyre's Calcul stochastique et modèles de diffusions,

Definition 3.2. A real-valued function $\phi$ on $\mathbb{R}^+\times \Omega$ is progressively measurable if, for all $t\in \mathbb{R}^+$, the mapping $(s,\omega) \mapsto \phi(s, \omega)$ on $[0, t]\times \Omega$ is $\cal{B}[0,t] \otimes \cal{F}_t$-measurable.

Clear enough. The authors go on to define $M^2(\mathbb{R}^+)$ to define the set (space) of all progressively measurable stochastic processes $\phi$ such that

$\mathbf{E}\int_{\mathbb{R}^+} \phi^2(t, \omega) dt < \infty$.

(This formula is verbatim from the book.)

My question is: does one simply interpret the expression on the left as a double integral à la the Fubini-Tonelli theorem, $\int_\Omega\int_{R^+} \ldots dt dP$, and if so, does progressive measurability ensure that $\phi$ is $\cal{B}(\mathbb{R}^+)\otimes \cal{A}$ measurable, so that this interpretation makes sense?

My attempts to realize $\phi$ as the limit of a sequence of measurable functions (like $\phi|_{[0, n]\times\Omega}$) have yielded nothing to convince me yet.

share|improve this question
1  
Yes. But I don't understand the problem. The restriction of $\phi$ to each of a countable collection of sets, whose union is the whole space, is measurable. So $\phi$ is measurable. –  George Lowther Apr 19 '11 at 12:59
add comment

1 Answer 1

up vote 3 down vote accepted

The formula

$$\mathbb{E} \int_{R+} \phi^{2}(t,\omega)dt$$

is a double integral a la Fubini-Tonelli. And if you did back there is probably a condition on the filtration saying that $\mathcal{F}_t \subset \mathcal{A}$ for all $t \ge 0$. So that progressive measurability does imply that $\phi^{2}(t,\omega)$ is $\mathcal{B}(\mathbb{R}^{+}) \otimes \mathcal{A}$ measurable. But making this integrand measurable isn't the main purpose of the progressive measurability condition. The main point is so that something like $f(t,X_t)$ where $X_t$ is an adapted process is again an adapted process. The integrability condition is to give $\mathcal{M}^{2}$ a Hilbert space structure.

share|improve this answer
1  
In particular, for $\theta_t(\omega)$ progressively measurable, $\theta_T \in \mathcal{F}_T$ when $T$ is an arbitrary stopping time. If $\theta$ is just adapted, this will only hold true when $T$ is countably valued. I think an ok analogy is progressively measurable is to adapted as strong markov is to markov. –  weakstar Apr 19 '11 at 20:26
    
Okay, in establishing measurability of $\phi$, I was getting confused by trivialities that I shouldn't have. (I actually did pass the comprehensive exam on measure theory and analysis in grad school :-) I'm accepting your answer for pointing out the fact about $t \mapsto f(t, X_t)$. I'll take it that that's important for things like Itô's formula. Details like that are often passed over in the texts that I've been reading. –  Jerry Gagelman Apr 20 '11 at 8:09
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.