3
$\begingroup$

Let $f: \mathbb{R}\rightarrow \mathbb{C}$ be a measurable function, $H$ some Hilbert space and

$$ f_E := \int_{\mathbb{R}} f dE$$ for some spectral measure $E$.

Now, my question is: When do we have $f_E\circ g_E = (fg)_E$ for two measurable functions $f$ and $g$?

My idea was that $g$ should be bounded.

The domain of $f_E$ is defined as $D(f_E):=\{x \in H: f \in L^2( \mu_x)\}$, where $\mu_x$ is the Borel measure $\mu_x(\Delta):= \langle E(\Delta)x,x\rangle.$

Then we should have $D(f_E \circ g_E)= D(g_E) \cap D((fg)_E).$ Now let's assume that $g$ is bounded, then $D(g_E)= H$ by the finiteness of the measure. Thus, we have equality of domains.

Is this correct or is also $f$ bounded a sufficient condition?- I don't think so, but is there a better way to say when we get equality?

$\endgroup$
0

1 Answer 1

3
$\begingroup$

The best reference I know on these questions is Fell & Doran, Representations of ${}^*$-algebras, locally compact groups, and Banach ${}^*$-algebraic bundles. Vol. 1 (1988).

First they show your equality for $f$ and $g$ "$E$-measurable and $E$-essentially bounded" (11.8.III), and then I quote from (11.21):

Let $f:X\to\mathbf C$ and $g:X\to\mathbf C$ be $E$-measurable. Then: (...)

(III) $\left(\int f\,dE\right)\left(\int g\,dE\right)\subset\int fg\, dE$

(...) Equality holds in (III) provided that there exist positive numbers $k_1$, $k_2$ satisfying $$ \left|g(x)\right|\geqslant k_1\Rightarrow\left|f(x)\right|\geqslant k_2 $$ for $E$-almost all $x$ in $X$. In particular, equality holds in (III) if $g$ is $E$-essentially bounded. (...)

(V) If $\xi$ belongs to the domains of both $\int g\,dE$ and $\int fg\,dE$, then $(\int g\,dE)(\xi)$ belongs to the domain of $\int f\,dE$, that is, $\xi$ belongs to the domain of the left side of (III).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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