Generalization to the spectral Theorem of self-adjoint operators

Let $M\in \mathcal{B}(F)^+$ and $S_1,S_2\in \mathcal{B}(F)$.

I claim that if $S_1$ and $S_2$ are $M$-self adjoint (i.e. $MS_1=S_1^*M$ and $MS_2=S_2^*M$) such that $S_1S_2=S_2S_1$, then $\exists\,(X,\mu)$, $\varphi_1,\varphi_2\in L^\infty(\mu)$ and a unitary operator $U:F\longrightarrow L^2(\mu)$, such that $$U(MS_k)U^*h=\varphi_kh,\;\forall h\in F,\,k=1,2.$$ Do you think that this claim is true?

Thanks.

• Your assumptions imply that $(MS)^* = S^*M = MS$, so $MS$ is self-adjoint, which shows that your claim is true, right? (I'm not quite convinced, however, that $(X,\mu)$ can be chosen as a ($\sigma$-)finite space, in particular if $F$ is not assumed to be separable.) – Jochen Glueck Dec 1 '17 at 10:11
• Thank you. Do you mean that $\mu(X)$ can be equal to $\infty$? – Schüler Dec 1 '17 at 10:16
• Well, that depends. If $X$ can be chosen to be $\sigma$-finite, then $X$ can also be chosen to be finite by a simple change-of-density argument. However, I doubt that $X$ can always be chosen to be $\sigma$-finite in the spectral theorem (in particular, if $F$ is not separable). To be sure, I suggest to look it up in a textbook or a monograph where the spectral theorem is treated. – Jochen Glueck Dec 1 '17 at 10:26
• I have edited my question. – Schüler Dec 1 '17 at 12:55
• The answer will be negative if (and only if) you can find $S_1,S_2$ commuting, with $MS_i$ self-adjoint for both $i$, but with $MS_1$ not commuting with $MS_2$. – Matthew Daws Dec 1 '17 at 13:28

$$M = \begin{pmatrix} 1 & 0 \\ 0 & 2 \end{pmatrix}, \quad S_1 = \begin{pmatrix} 1 & 2 \\ 1 & 4 \end{pmatrix}, S_2 = \begin{pmatrix} a & 2c \\ c & d \end{pmatrix}.$$ Then $$MS_1 = \begin{pmatrix} 1 & 2 \\ 2 & 8 \end{pmatrix}, \quad MS_2 = \begin{pmatrix} a & 2c \\ 2c & 2d \end{pmatrix}$$ so $MS_1$ is self-adjoint, and $MS_2$ is when $a,c, d\in\mathbb R$. Then $$S_1S_2 = \begin{pmatrix} a + 2c & 2c+2d \\ a+4c & 2c+4d \end{pmatrix}, \quad S_2S_1 = \begin{pmatrix} a+2c & 2a+8c \\ c+d & 2c+4d \end{pmatrix}.$$ So these commute when $d = a + 3c$. But then $$MS_2 = \begin{pmatrix} a & 2c \\ 2c & 2a+6c \end{pmatrix}$$ Tediously multiplying out shows these commute only when $a=c$.
• What is $b$? I get that the commutator of $MS_1$ and $MS_2$ vanishes when $a=c$. – Igor Khavkine Dec 1 '17 at 15:51
• Yes, well spotted. $b=2c$ (from some paper calculation I did). Answer corrected. – Matthew Daws Dec 1 '17 at 16:43