Skip to main content
4 of 5
improved formating
Schüler
  • 724
  • 4
  • 15

Why this equality holds for a tuple of operators?

Let ${\bf S} = (S_1,...,S_d) \in \mathcal{L}(E)^d$. We recall that the norm of $\|{\bf S}\|$ is defined by \begin{eqnarray*} \|{\bf S}\| &=&\sup\left\{\bigg(\displaystyle\sum_{k=1}^d\|S_kx\|^2\bigg)^{\frac{1}{2}},\;x\in E,\;\|x\|=1\;\right\}, \end{eqnarray*}

I want to show that if the operators $S_k$ are commuting, then $$\displaystyle\sup_{\|x\|=1}\displaystyle\sum_{|\alpha|=n}\frac{n!}{\alpha!}\|{\bf S}^{\alpha}x\|^2=||{\bf S}^n||^2,$$ where ${\bf S}^n:={\bf S}\cdot{\bf S}\cdot\cdots\cdot{\bf S}$.

Note that ${\bf S}^2 :={\bf S}\cdot{\bf S}= (S_1 S_1,\cdots,S_1 S_d,S_2S_1,\cdots,S_2S_d,S_dS_1\cdots,S_d S_d)$, and ${\bf S}^n$ is defined by induction.

Thank you!

Schüler
  • 724
  • 4
  • 15