Extension by continuity. Let (T: L^{2}(mu) ightarrow L^{2}(mu)) be a linear operator such that (|T u|_{p} leqslant)

Question:

Extension by continuity. Let \(T: L^{2}(\mu) ightarrow L^{2}(\mu)\) be a linear operator such that \(\|T u\|_{p} \leqslant\) \(c\|u\|_{p}\) for \(u \in L^{2}(\mu) \cap L^{p}(\mu)\) for some \(p eq 2\). Show that there is a unique extension \(\tilde{T}: L^{p}(\mu) ightarrow L^{p}(\mu)\) defined by \(L^{p}-\lim _{n ightarrow \infty} T u_{n}\) for any sequence \(u_{n} \in L^{2}(\mu) \cap L^{p}(\mu)\) with \(u_{n} ightarrow u\) in \(L^{p}(\mu)\). If \(T\) is monotone, i.e. \(u \leqslant w \Longrightarrow T u \leqslant T w\), then \(u_{n} \uparrow u\) a.e. implies that \(T u_{n} \uparrow T u\) a.e.

[ have a look at the remark preceding Theorem 27.5 .]

Data from theorem 27.5

Theorem 27.5 Let (X, A, ) be a o-finite measure space. The conditional expec- tation E has an extension

where we use Hlder's inequality (Theorem 13.2) with p+q = 1 and 1/q 1/q C = (  Eu (0-1)41 6, d) " = (S1E uP 1

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: