pp 1–9 | Cite as

On conditional expectations in \(L^p(\mu ;L^q(\nu ;X))\)

Open Access


Let \((A,{\mathscr {A}},\mu )\) and \((B,{\mathscr {B}},\nu )\) be probability spaces, let \({\mathscr {F}}\) be a sub-\(\sigma \)-algebra of the product \(\sigma \)-algebra \({\mathscr {A}}\times {\mathscr {B}}\), let X be a Banach space and let \(1< p,q< \infty \). We obtain necessary and sufficient conditions in order that the conditional expectation with respect to \({\mathscr {F}}\) defines a bounded linear operator from \(L^p(\mu ;L^q(\nu ;X))\) onto \(L^p_{\mathscr {F}}(\mu ;L^q(\nu ;X))\), the closed subspace in \(L^p(\mu ;L^q(\nu ;X))\) of all functions having a strongly \({\mathscr {F}}\)-measurable representative.


Conditional expectations in \(L^p(\mu ;L^q(\nu ;X))\) Dual of \(L_{\mathscr {F}}^p(\mu ;L^q(\nu ;X))\) Radon–Nikodým property 

Mathematics Subject Classification

47B38 46E40 47B65 60A10 

1 Introduction

Let \((A,{\mathscr {A}},\mu )\) and \((B,{\mathscr {B}},\nu )\) be probability spaces, \({\mathscr {F}}\) a sub-\(\sigma \)-algebra of the product \(\sigma \)-algebra \({\mathscr {A}}\times {\mathscr {B}}\) in \(A\times B\), and X a Banach space. For \(1\leqslant p,q\leqslant \infty \) we define \(L_{\mathscr {F}}^p(\mu ; L^q(\nu ;X))\) to be the closed subspace in \(L^p(\mu ; L^q(\nu ;X))\) consisting of those functions which have a strongly \({\mathscr {F}}\)-measurable representative. It is easy to see (e.g., by using [6, Corollary 1.7]) that
$$\begin{aligned} L_{\mathscr {F}}^p(\mu ; L^q(\nu ;X))= L^p(\mu ; L^q(\nu ;X)) \cap L_{\mathscr {F}}^1( \mu \times \nu ;X). \end{aligned}$$
Furthermore, \(L_{\mathscr {F}}^p(\mu ; L^q(\nu ;X))\) is closed in \(L^p(\mu ; L^q(\nu ;X))\). Indeed, if \(f_n\rightarrow f\) in \(L^p(\mu ; L^q(\nu ;X))\) with each \(f_n\) in \(L_{\mathscr {F}}^p(\mu ; L^q(\nu ;X))\), then also \(f_n\rightarrow f\) in \(L^1(\mu \times \nu ;X)\), and therefore \(f\in L_{\mathscr {F}}^1(\mu \times \nu ;X)\). The reader is referred to [2, 6] for the basic theory of the Lebesgue–Bochner spaces and conditional expectations in these spaces. The same reference contains some standard results concerning the Radon–Nikodým property that will be needed later on.

The aim of this paper is to provide a necessary and sufficient condition in order that conditional expectation \({\mathbb E}(\cdot |{\mathscr {F}})\) restrict to a bounded linear operator on \(L^p(\mu ;L^q(\nu ;X))\) when \(1<p,q<\infty \). We also show that \({\mathbb E}(\cdot |{\mathscr {F}})\) need not to be contractive. An example is given which shows that this result does not extend to the pair \(p=\infty \), \(q=2\).

Characterisations of conditional expectation operators on general classes of Banach function spaces E (and their vector-valued counterparts) have been given by various authors (see, e.g., [4] and the references therein), but these works usually assume that a bounded operator \(T: E\rightarrow E\) is given and investigate under what circumstances it is a conditional expectation operator. We have not been able to find any paper addressing the problem of establishing sufficient conditions for conditional expectation operators to act in concrete Banach function spaces such as the mixed-norm \(L^p(L^q)\)-spaces investigated here.

2 Results

Throughout this section, \((A,{\mathscr {A}},\mu )\) and \((B,{\mathscr {B}},\nu )\) are probability spaces. If \(1\leqslant p,q\leqslant \infty \), their conjugates \(1\leqslant p',q'\leqslant \infty \) are defined by \(\frac{1}{p}+\frac{1}{p'} =1\) and \( \frac{1}{q}+\frac{1}{q'} =1\).

It is clear that every \(f\in L_{{\mathscr {F}}}^p(\mu ; L^q(\nu ))\) induces a functional \(\phi _f\!\in \! (L_{{\mathscr {F}}}^{p'}(\mu ;L^{q'}(\nu )))^*\) in a canonical way, and the resulting mapping \(f\mapsto \phi _f\) is contractive. The first main result of this note reads as follows.

Theorem 2.1

Let \(1 <p\leqslant \infty \) and \(1<q\leqslant \infty \). If \(f\mapsto \phi _f\) establishes an isomorphism of Banach spaces
$$\begin{aligned} L_{\mathscr {F}}^p(\mu ; L^q(\nu )) \simeq (L_{{\mathscr {F}}}^{p'}(\mu ;L^{q'}(\nu )))^*, \end{aligned}$$
then for any Banach space X the conditional expectation operator \({\mathbb E}(\cdot |{\mathscr {F}})\) on \(L^1(\mu \times \nu ;X)\) restricts to a bounded projection on \(L^p(\mu ; L^q(\nu ;X))\).


We will show that \({\mathbb E}(f|{\mathscr {F}})\in L^p(\mu ; L^q(\nu ;X))\) for all \(f\in L^p(\mu ; L^q(\nu ;X))\). A standard closed graph argument then gives the boundedness of \({\mathbb E}(\cdot |{\mathscr {F}})\) as an operator in \(L^p(\mu ; L^q(\nu ;X))\).

Since \(\Vert {\mathbb E}(f|{\mathscr {F}})\Vert _X \leqslant {\mathbb E}(\Vert f\Vert _X | {\mathscr {F}})\) \(\mu \times \nu \)-almost everywhere, it suffices to prove that \({\mathbb E}(g|{\mathscr {F}})\in L^p(\mu ; L^q(\nu ))\) for all \(g\in L^p(\mu ; L^q(\nu ))\). To prove the latter, consider the inclusion mapping
$$\begin{aligned} I: L_{\mathscr {F}}^{p'}(\mu ; L^{q'}(\nu )) \rightarrow L^{p'}(\mu ;L^{q'}(\nu )). \end{aligned}$$
Every \(g\in L^p(\mu ; L^q(\nu ))\) defines an element of \((L^{p'}(\mu ; L^{q'}(\nu )))^*\) in the natural way and we have, for all \(F\in {\mathscr {F}}\),
$$\begin{aligned} \langle {\mathbf{1}}_F, I^*g\rangle = \langle I {\mathbf{1}}_F,g\rangle = \int _{F} g \,\mathrm{d}\mu \times \nu . \end{aligned}$$
The implicit use of Fubini’s theorem to rewrite the double integral over A and B as an integral over \(A\times B\) in the second equality is justified by non-negativity, writing \(g = g^+ - g^-\) and considering these functions separately. On the other hand, viewing g and \({\mathbf{1}}_F\) as elements of \(L^1(\mu \times \nu )\) and \(L^\infty (\mu \times \nu )\) respectively, we have
$$\begin{aligned} \int _{F} g \,\mathrm{d}\mu \times \nu = \int _{F} {\mathbb E}(g|{\mathscr {F}}) \,\mathrm{d}\mu \times \nu = \langle {\mathbf{1}}_F, {\mathbb E}(g|{\mathscr {F}}) \rangle . \end{aligned}$$
We conclude that \(\langle {\mathbf{1}}_F, I^*g\rangle = \langle {\mathbb E}(g|{\mathscr {F}}),{\mathbf{1}}_F \rangle \), where on the left the duality is between \(L^{p'}(\mu ; L^{q'}(\nu ))\) and its dual, and on the right between \(L^1(\mu \times \nu )\) and \(L^\infty (\mu \times \nu )\). Passing to linear combinations of indicators, it follows that
$$\begin{aligned} \sup _\phi |\langle \phi , I^*g\rangle | = \sup _\phi |\langle {\mathbb E}(g|{\mathscr {F}}), \phi \rangle | = \Vert {\mathbb E}(g|{\mathscr {F}})\Vert _1 < \infty , \end{aligned}$$
where both suprema run over the simple functions \(\phi \) in \(L^\infty _{\mathscr {F}}(\mu \times \nu )\) of norm \(\leqslant 1\). Denoting their closure by \(L^\infty _{0,{\mathscr {F}}}(\mu \times \nu )\), it follows that \(I^*g\) defines an element of \((L^\infty _{0,{\mathscr {F}}}(\mu \times \nu ))^*\). This identification is one-to-one: for if \(\langle \phi , I^*g\rangle = 0\) for all simple \({\mathscr {F}}\)-measurable functions \(\phi \), then \(\langle \phi , I^*g\rangle =0\) for all \(\phi \in L_{{\mathscr {F}}}^{{ p'}}(\mu ; L^{{ q'}}(\nu ))\), noting that the simple \({\mathscr {F}}\)-measurable functions are dense in \(L_{{\mathscr {F}}}^{{ p'}}(\mu ; L^{{ q'}}(\nu ))\) (here we use that \({ p'}\) and \({ q'}\) are finite).

As an element of \((L^\infty _{0,{\mathscr {F}}}(\mu \times \nu ))^*\), \(I^*g\) equals the function \({\mathbb E}(g|{\mathscr {F}})\), viewed as an element in the same space. Since the embedding of \( L_{\mathscr {F}}^1(\mu \times \nu )\) into \((L^\infty _{0,{\mathscr {F}}}(\mu \times \nu ))^*\) is isometric, it follows that \(I^*g = {\mathbb E}(g|{\mathscr {F}}) \in L_{\mathscr {F}}^1(\mu \times \nu )\). Since \(I^*g \in (L_{{\mathscr {F}}}^{p'}(\mu ;L^{q'}(\nu )))^*\), by the assumption of the theorem we may identify \(I^*g\) with a function in \(L^p(\mu ;L^q(\nu ))\). We conclude that \({\mathbb E}(g|{\mathscr {F}}) = I^*g\in L_{\mathscr {F}}^{p}(\mu ; L^{q}(\nu ))\). \(\square \)

If we make a stronger assumption, more can be said:

Theorem 2.2

Suppose that \(1<p,q<\infty \) and let X be a non-zero Banach space. Then the following assertions are equivalent:
  1. (1)

    the conditional expectation operator \({\mathbb E}(\cdot |{\mathscr {F}})\) restricts to a bounded projection on the space \(L^p(\mu ; L^q(\nu ;X))\);

  2. (2)

    the conditional expectation operator \({\mathbb E}(\cdot |{\mathscr {F}})\) restricts to a bounded projection on the space \(L^{p'}(\mu ; L^{q'}(\nu ;X))\);

  3. (3)
    \(f\mapsto \phi _f\) induces an isomorphism of Banach spaces
    $$\begin{aligned} L_{\mathscr {F}}^p(\mu ; L^q(\nu )) \simeq (L_{{\mathscr {F}}}^{p'}(\mu ;L^{q'}(\nu )))^*.\end{aligned}$$

Remark 2.3

In [7] it is shown that condition (3) is satisfied if
$$\begin{aligned} I \times {\mathbb E}_\nu \hbox { maps }L^1_{\mathscr {F}}(\mu \times \nu )\hbox { into itself.} \end{aligned}$$
Here \({\mathbb E}_\nu \) denotes the bounded operator on \(L^1(\nu )\) defined by
$$\begin{aligned} {\mathbb E}_\nu f := ({\mathbb E}_\nu f){\mathbf{1}}, \end{aligned}$$
with \({\mathbb E}_\nu f = \int f\,\mathrm{d}\nu \).

The proof of Theorem 2.2 is based on the following elementary lemma.

Lemma 2.4

Let P be a bounded projection on a Banach space X. Let \(X_0 = {\mathsf {R}}(P)\), \(X_1 = {\mathsf {N}}(P)\), \(Y_0 = {\mathsf {R}}(P^*)\) and \(Y_1 = {\mathsf {N}}(P^*)\), so that we have direct sum decompositions \(X = X_0\oplus X_1\) and \(X^*= Y_0\oplus Y_1\). Then we have natural isomorphisms of Banach spaces \(X_0^*= Y_0\) and \(X_1^*= Y_1\).

Proof of Theorem 2.2

We have already proved (3)\(\Rightarrow \)(1). For proving (1)\(\Rightarrow \)(2)\(\Rightarrow \)(3) there is no loss of generality in assuming that X is the scalar field, for instance by observing that the proof of Theorem [6, Theorem 2.1.3] also works for mixed \(L^p(L^q)\)-spaces.

(1)\(\Rightarrow \)(2):  The assumption (1) implies that \(L_{\mathscr {F}}^{p}(\mu ;L^{q}(\nu ))\) is the range of the bounded projection \(({\mathbb E}(\cdot |{\mathscr {F}}))\) in \(L^{p}(\mu ;L^{q}(\nu ))\). Moreover, \(\langle {\mathbb E}(f|{\mathscr {F}}),g\rangle = \langle f,{\mathbb E}(g|{\mathscr {F}})\rangle \) for all \(f\in L^p(\mu ;L^q(\nu ))\) and \(g\in L^{p'}(\mu ;L^{q'}(\nu ))\), since this is true for f and g in the (dense) intersections of these spaces with \(L^2(\mu \times \nu )\). It follows that the conditional expectation \({\mathbb E}(\cdot |{\mathscr {F}})\) is bounded on \(L^{p'}(\mu ;L^{q'}(\nu )) =(L^{p}(\mu ;L^{q}(\nu )) )^*\) and equals \(({\mathbb E}(\cdot |{\mathscr {F}}))^*\). Clearly it is a projection and its range equals \(L_{\mathscr {F}}^{p'}(\mu ;L^{q'}(\nu ))\).

(2)\(\Rightarrow \)(3):  This implication follows Lemma 2.4.\(\square \)

Inspection of the proof of Theorem 2.1 shows that if for all \(f\in L_{\mathscr {F}}^{p}(\mu ; L^{q}(\nu ))\) we have \(\Vert f\Vert _{L_{\mathscr {F}}^p(\mu ;L^q(\nu ))} = \Vert f\Vert _{(L_{\mathscr {F}}^{p'}(\mu ; L^{q'}(\nu )))^*}\), then \({\mathbb E}(\cdot |{\mathscr {F}})\) is contractive on \(L^p(\mu ;L^q(\nu ))\). The next example, due to Qiu [11], shows that the conditional expectation, when it is bounded, may fail to be contractive.

Example 2.5

Let \(A = B = \{0,1\}\) with \({\mathscr {A}}= {\mathscr {B}}= \{\emptyset , \{0\}, \{1\},\{0,1\}\}\) and \(\mu = \nu \) the measure on \(\{0,1\}\) that gives each point mass \(\frac{1}{2}\), and let \({\mathscr {F}}\) be the \(\sigma \)-algebra generated by the three sets \(\{(0,1)\}\), \(\{(1,1)\}\), \(\{(0,0),(1,0)\}\). If we think of B as describing discrete ‘time’, then \({\mathscr {F}}\) is the progressive \(\sigma \)-algebra corresponding to the filtration \(({\mathscr {F}}_t)_{t\in \{0,1\}}\) in A given by \({\mathscr {F}}_0 = \{\emptyset ,\{0,1\}\}\) and \({\mathscr {F}}_1 = \{\emptyset , \{0\}, \{1\},\{0,1\}\}\).

Let \(f: A\times B \rightarrow {\mathbb R}\) be defined by
$$\begin{aligned} f(0,0) = 0, \quad f(1,0) = 1, \quad f(0,1) = 1, \quad f(1,1)=0. \end{aligned}$$
$$\begin{aligned} {\mathbb E}(f|{\mathscr {F}})(0,0)= & {} \frac{1}{2}, \quad {\mathbb E}(f|{\mathscr {F}})(1,0) = \frac{1}{2}, \\ {\mathbb E}(f|{\mathscr {F}})(0,1)= & {} 1, \quad {\mathbb E}(f|{\mathscr {F}})(1,1)=0. \end{aligned}$$
Hence in this example we have
$$\begin{aligned} \begin{aligned} \Vert f\Vert _{L^p(\mu ;L^2(\nu ))}&= \Big [\Big (\frac{1}{2}\Big )^{p/2} + \Big (\frac{1}{2}\Big )^{p/2}\Big ]^{1/p}, \\ \Vert {\mathbb E}(f|{\mathscr {F}})\Vert _{L^p(\mu ;L^2(\nu ))}&= \Big [\Big (\frac{1}{8}\Big )^{p/2} + \Big (\frac{5}{8}\Big )^{p/2}\Big ]^{1/p}. \end{aligned} \end{aligned}$$
Consequently, for large enough p the conditional expectation fails to be contractive in \(L^p(\mu ;L^2(\nu ))\).

We continue with two examples showing that the condition expectation operator on \(L^1(\mu \times \nu )\) may fail to restrict to a bounded operator on \(L^p(\mu ;L^q(\nu ))\). The first was communicated to us by Gilles Pisier.

Example 2.6

Let \((A,{\mathscr {A}}, \mu )\) and \((B,{\mathscr {B}}, \nu )\) be probability spaces and let \((C,{\mathscr {C}},{\mathbb P}) = (A,{\mathscr {A}}, \mu )\times (B,{\mathscr {B}}, \nu )\) be their product. Consider the infinite product \((C,{\mathscr {C}},{\mathbb P})^{\mathbb N}= (C^{\mathbb N}, {\mathscr {C}}^{\mathbb N},{\mathbb P}^{\mathbb N})\); with an obvious identification it may be identified with \( (A^{\mathbb N},{\mathscr {A}}^{\mathbb N}, \mu ^{\mathbb N})\times (B^{\mathbb N},{\mathscr {B}}^{\mathbb N}, \nu ^{\mathbb N})\).

Consider the sub-\(\sigma \)-algebra \({\mathscr {F}}^{\mathbb N}\) of \({\mathscr {A}}^{\mathbb N}\times {\mathscr {B}}^{\mathbb N}= {\mathscr {C}}^{\mathbb N}\), where \({\mathscr {F}}\subseteq {\mathscr {A}}\times {\mathscr {B}}= {\mathscr {C}}\) is a given sub-\(\sigma \)-algebra. Let \(T:= {\mathbb E}(\cdot |{\mathscr {F}})\) and \(T^{\mathbb N}:= {\mathbb E}(\cdot |{\mathscr {F}}^{\mathbb N})\) be the conditional expectation operators on \(L^1(\mu \times \nu )\) and \(L^1(\mu ^{\mathbb N}\times \nu ^{\mathbb N})\), respectively. For a function \(f\in L^\infty (\mu ^{\mathbb N}\times \nu ^{\mathbb N})\) of the form \(f = f_1\otimes \cdots \otimes f_N\otimes {\mathbf{1}}\otimes {\mathbf{1}}\otimes \cdots \) with \(f_n\in L^1(\mu \times \nu )\) for all \(n=1,\dots ,N\), we have
$$\begin{aligned} T^{\mathbb N}f = Tf_1 \otimes \cdots \otimes T f_N\otimes {\mathbf{1}}\otimes {\mathbf{1}}\otimes \cdots \end{aligned}$$
By an elementary computation,
$$\begin{aligned} \Vert f\Vert _{L^p(\mu ^{\mathbb N};L^q(\nu ^{\mathbb N}))} = \prod _{n=1}^N \Vert f_n \Vert _{L^p(\mu ;L^q(\nu ))} \end{aligned}$$
$$\begin{aligned} \Vert T^{\mathbb N}f\Vert _{L^p(\mu ^{\mathbb N};L^q(\nu ^{\mathbb N}))} = \prod _{n=1}^N \Vert Tf_n \Vert _{L^p(\mu ;L^q(\nu ))}. \end{aligned}$$
This being true for very \(N\geqslant 1\) we see that \(T^{\mathbb N}\) is bounded if and only if T is contractive. Example 2.5, however, shows that the latter need not always be the case.

The second example is due to Tuomas Hytönen:

Example 2.7

Let \({\mathscr {B}}\) the Borel \(\sigma \)-algebra of [0, 1). For \(A \in {\mathscr {B}}\times {\mathscr {B}}\), let
$$\begin{aligned} \widetilde{A} := \{(y, x) : (x, y) \in A\} \end{aligned}$$
and let
$$\begin{aligned} {\mathscr {F}}:= \{A \in {\mathscr {B}}\times {\mathscr {B}}:\, \widetilde{A}= A\} \end{aligned}$$
be the symmetric sub-\(\sigma \)-algebra of the product \(\sigma \)-algebra. Then \({\mathbb E}(\cdot |{\mathscr {F}})\) does not restrict to a bounded operator on \(L^p(L^q):= L^p(0, 1; L^q (0, 1))\) when \(p \not = q\). To see this let \(\widetilde{f}(x, y) := f (y, x)\). One checks that
$$\begin{aligned} {\mathbb E}(f |{\mathscr {F}}) = \frac{1}{2}(f + \widetilde{f}) \geqslant \frac{1}{2} \widetilde{f} \end{aligned}$$
if \(f \geqslant 0\). In particular, \({\mathbb E}(\phi \otimes \psi |{\mathscr {F}}) \geqslant \frac{1}{2} \psi \otimes \phi \) if \(\phi , \psi \geqslant 0\). Let then \(\phi \in L^p(0, 1)\), \(\psi \in L^q (0, 1)\) be positive functions such that only one of them is in \(L^{p\vee q} (0, 1)\). If \(f = \phi \otimes \psi \), then
$$\begin{aligned} \Vert f \Vert _{L^p (L^q )} = \Vert \phi \Vert _{L^p} \Vert \psi \Vert _{L^q} < \infty \end{aligned}$$
$$\begin{aligned} \Vert {\mathbb E}(f |{\mathscr {F}})\Vert _{ L^p (L^q )}\geqslant \frac{1}{2} \Vert \psi \otimes \phi \Vert _{ L^p(L^q )} = \frac{1}{2}\Vert \psi \Vert _{ L^p }\Vert \phi \Vert _{ L^q} . \end{aligned}$$
If \(p> q\), then \(\Vert \psi \Vert _{ L^p} = \infty \), and if \(p < q\), then \(\Vert \phi \Vert _{L^q} = \infty \), so that in either case \(\Vert {\mathbb E}(f |{\mathscr {F}})\Vert _{ L^p (L^q ) }= \infty \).
Let us check that (2.1) fails in the above examples. As in Example 2.5 let \(A = B = \{0,1\}\) with \({\mathscr {A}}= {\mathscr {B}}= \{\emptyset , \{0\}, \{1\},\{0,1\}\}\), \(\mu = \nu \) the measure on \(\{0,1\}\) that gives each point mass \(\frac{1}{2}\), and \({\mathscr {F}}\) the \(\sigma \)-algebra generated by the three sets \(\{(0,1)\}\), \(\{(1,1)\}\), \(\{(0,0),(1,0)\}\). Let \(f: A\times B \rightarrow {\mathbb R}\) be defined by
$$\begin{aligned} f(0,0) = 1, \quad f(1,0) = 1, \quad f(0,1) = 0, \quad f(1,1)=1. \end{aligned}$$
This function is \({\mathscr {F}}\)-measurable, but \((I\otimes {\mathbb E}_\nu )f\) is not:
$$\begin{aligned} (I\otimes {\mathbb E}_\nu )f(0,0)= & {} \frac{1}{2}, \ \ (I\otimes {\mathbb E}_\nu )f(1,0) = 1,\\ (I\otimes {\mathbb E}_\nu )f(0,1)= & {} \frac{1}{2}, \ \ (I\otimes {\mathbb E}_\nu )f(1,1) = 1. \end{aligned}$$
Thus (2.1) fails in Example 2.5. It is clear that if we start from this example, (2.1) also fails in Example 2.6. In Example 2.7 (2.1) also fails, for obvious reasons.

An interesting example where condition (2.1) is satisfied is the case when \(A =[0,1]\) is the unit interval, \(B = \Omega \) a probability space, and \({\mathscr {F}}= {\mathscr {P}}\) the progressive \(\sigma \)-algebra in \([0,1]\times \Omega \). From Theorem 2.1 we therefore obtain the following result:

Corollary 2.8

For all \(1<p,q<\infty \) and all Banach spaces X, the conditional expectation with respect to the progressive \(\sigma \)-algebra on \([0,1]\times \Omega \) is bounded on \(L^p(0,1;L^q(\Omega ;X))\).

This quoted result of [7] plays an important role in the study of well-posedness and control problems for stochastic partial differential equations. For example, in [9], it is used to show the well-posedness of stochastic Schrödinger equations with non-homogeneous boundary conditions in the sense of transposition solutions, in [8] it is applied to obtain a relationship between null controllability of stochastic heat equations, and in [7] it is used to establish a Pontryagin type maximum for controlled stochastic evolution equations with non-convex control domain.

As a consequence of (a special case of) [3, Theorem A.3] we obtain that the assumptions of Theorem 2.1 are also satisfied for progressive \(\sigma \)-algebra \({\mathscr {F}}= {\mathscr {P}}\) if we replace \(L^p(0,1;L^q(\Omega ;X))\) by \(L^p(\Omega ;L^q(0,1;X))\). The quoted theorem is stated in terms of the predictable \(\sigma \)-algebra \(\mathscr {G}\). However, since every progressively measurable set \(P\in \mathscr {P}\) is of the form \(P = G \Delta N\) with \(G\in \mathscr {G}\) and N a null set in the product \(\sigma \)-algebra \(\mathscr {F}\times \mathscr {B}([0,1])\) (see [1, Lemma 3.5]), we have \(L_\mathscr {G}^p(\Omega ;L^q(0,1;X)) = L_\mathscr {P}^p(\Omega ;L^q(0,1;X))\). Therefore, [3, Theorem A.3] remains true if we replace the predictable \(\sigma \)-algebra by the progressive \(\sigma \)-algebra and we obtain the following result:

Corollary 2.9

For all \(1<p,q<\infty \) and all Banach spaces X, the conditional expectation with respect to the progressive \(\sigma \)-algebra on \(\Omega \times [0,1]\) is bounded on \(L^p(\Omega ;L^q(0,1;X))\).


In the scalar-valued case we apply [3, Theorem A.3] (with J a singleton). The vector-valued case then follows from the observation, already made in the proof of Theorem 2.2, that Theorem [6, Theorem 2.1.3] also holds for mixed \(L^p(L^q)\)-spaces. \(\square \)

Our final example shows that condition (2) in Theorem 2.2 fails for the pair \(p=1\), \(q=2\) even when X is the scalar field.

Example 2.10

Let \(\{\mathscr {F}_t\}_{t\in [0,1]}\) be the filtration generated by a one-dimensional standard Brownian motion \(\{W(t)\}_{t\in [0,1]}\) defined on a probability space \((\Omega ,\mathscr {F},{\mathbb {P}})\). Let \(\mathscr {P}\) be the associated progressive \(\sigma \)-algebra on \(\Omega \times [0,1]\). We will show that
$$\begin{aligned} L^\infty _\mathscr {P}(\Omega ;L^2(0,1)) \subsetneq (L^1_\mathscr {P}(\Omega ;L^2(0,1)))^* \end{aligned}$$
in the sense that the former is contained isometrically as a proper closed subspace of the latter.
For \(v\in L^1_\mathscr {P}(\Omega ;L^2(0,1))\) consider the solution x to the following problem:
$$\begin{aligned} \left\{ \begin{aligned} \,\mathrm{d}x(t)&=v(t)\,\mathrm{d}W(t), \quad t\in [0,1],\\ x(0)&=0. \end{aligned} \right. \end{aligned}$$
By the classical well-posedness theory of SDEs (e.g. [10, Chapter V, Section 3]), \(x\in L^1_\mathscr {P}(\Omega ;C([0,1]))\) and
$$\begin{aligned} \Vert x\Vert _{L^1_\mathscr {P}(\Omega ;C([0,1]))}\le C\Vert v\Vert _{L^1_\mathscr {P}(\Omega ;L^2(0,1))} \end{aligned}$$
for some constant C independent of v. Let \(\xi \in L^{\infty }_{\mathscr {F}_1}(\Omega )\). Define a linear functional L on \(L^1_\mathscr {P}(\Omega ;L^2(0,1))\) as follows:
$$\begin{aligned} L(v):={\mathbb {E}}(\xi x(1)). \end{aligned}$$
By (2.3), L is bounded. Suppose now, for a contradiction, that \((L^1_\mathscr {P}(\Omega ;L^2(0,1)))^* = L^{\infty }_\mathscr {P}(\Omega ;L^2(0,1))\) with equivalent norms. Then there is an \(f\in L^{\infty }_\mathscr {P}(\Omega ;L^2(0,1))\) such that
$$\begin{aligned} L(v)={\mathbb {E}}\int _0^1 f(t)v(t)\,\mathrm{d}t \end{aligned}$$
for all \(v\in L^1_\mathscr {P}(\Omega ;L^2(0,1))\). On the other hand, by the martingale representation theorem there is a \(g\in L_\mathscr {P}^2(\Omega ;L^2(0,1))\) such that
$$\begin{aligned} \xi = {\mathbb {E}}(\xi ) + \int _0^1 g(t)\,\mathrm{d}W(t). \end{aligned}$$
Take now \(v\in L_\mathscr {P}^2(\Omega ;L^2(0,1))\) in (2.2). Then by Itô’s formula,
$$\begin{aligned} {\mathbb {E}}(\xi x(1))= {\mathbb {E}}\int _0^1 g(t)v(t)\,\mathrm{d}t. \end{aligned}$$
Since (2.4) and (2.6) hold for all \(v\in L_\mathscr {P}^2(\Omega ;L^2(0,1))\), it follows that \(f=g\) for almost all \((t,\omega )\in (0,1)\times \Omega \). Hence, \(g\in L^{\infty }_\mathscr {P}(\Omega ;L^2(0,1))\). This leads to a contradiction, since it would imply that the isometry from \(\{\xi \in L_{{\mathscr {F}}_1}^2(\Omega ): \, {\mathbb E}\xi = 0\}\) into \(L_{\mathscr {P}}^2(\Omega ;L^2(0,1))\) given by (2.5) sends \(\{\xi \in L_{{\mathscr {F}}_1}^\infty (\Omega ):\, {\mathbb E}\xi = 0\}\) into \(L^{\infty }_\mathscr {P}(\Omega ;L^2(0,1))\). This is known to be false (see, e.g., [5, Lemma A.1]).

It would be interesting to determine an explicit representation for the dual of \(L_\mathscr {P}^1(\Omega ;L^2(0,1))\).

Remark 2.11

In [7], the authors proved that \((L^1_\mathscr {P}(0,1;L^2(\Omega )))^* = L^\infty _\mathscr {P}(0,1;L^2(\Omega )).\) It seems that this result cannot be obtained by the method in this paper.



The authors thank Gilles Pisier for pointing out an error in an earlier version of the paper and communicating to us Example 2.6 and Tuomas Hytönen for showing us Example 2.7.


  1. 1.
    Chung, K.-L., Williams, R.: Introduction to Stochastic Integration. Modern Birkhäuser Classics, 2nd edn. Springer, New York (2014)CrossRefGoogle Scholar
  2. 2.
    Diestel, J., Uhl, J.J.: Vector Measures, Mathematical Surveys, vol. 15. American Mathematical Society, Providence, RI (1977)CrossRefMATHGoogle Scholar
  3. 3.
    Dirksen, S., Yaroslavtsev, I.: \(L^q\)-valued Burkholder–Rosenthal inequalities and sharp estimates for stochastic integrals. arXiv:1707.00109
  4. 4.
    Dodds, P., Huijsmans, P., de Pagter, B.: Characterizations of conditional expectation-type operators. Pacific J. Math. 141(1), 55–77 (1990)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Frei, C., dos Reis, G.: A financial market with interacting investors: Does an equilibrium exist? Math. Financ. Econ. 4(3), 161–182 (2011)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Hytönen, T., van Neerven, J., Veraar, M., Weis, L.: Analysis in Banach Spaces, Volume 1: Martingales and Littlewood–Paley theory, Ergebnisse der Math, vol. 63. Springer, Berlin (2016)CrossRefMATHGoogle Scholar
  7. 7.
    Lü, Q., Yong, J., Zhang, X.: Representation of Itô integrals by Lebesgue/Bochner integrals, J. Eur. Math. Soc. 14 (2012), no. 6, 1795–1823; Erratum: J. Eur. Math. Soc. 20 (2018), no. 1, 259–260Google Scholar
  8. 8.
    Lü, Q.: Some results on the controllability of forward stochastic heat equations with control on the drift. J. Funct. Anal. 260(3), 832–851 (2011)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Lü, Q.: Exact controllability for stochastic Schrödinger equations. J. Differ. Equ. 255(8), 2484–2504 (2013)CrossRefMATHGoogle Scholar
  10. 10.
    Protter, P.E.: Stochastic Integration and Differential Equations. Applications of Mathematics. Stochastic Modelling and Applied Probability, vol. 21, 2nd edn. Springer, Berlin (2004)Google Scholar
  11. 11.
    Qiu, Y.: On the UMD constants for a class of iterated \(L^p(L^q)\) spaces. J. Funct. Anal. 263(8), 2409–2429 (2012)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© The Author(s) 2018

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.School of MathematicsSichuan UniversityChengduChina
  2. 2.Delft University of TechnologyDelftThe Netherlands

Personalised recommendations