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.

  • 1
    $\begingroup$ 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. $\endgroup$ Apr 19 '11 at 12:59

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.

  • 2
    $\begingroup$ 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. $\endgroup$
    – weakstar
    Apr 19 '11 at 20:26
  • $\begingroup$ 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. $\endgroup$
    – Jerry
    Apr 20 '11 at 8:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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