Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Define a pair of operators $S\colon\ell^2 \rightarrow \ell^2$ and $M\colon\ell^2 \to\ell^2$ as follows: $$S(x_1,x_2,x_3,x_4,\ldots)=(0,x_1,x_2,x_3,\ldots) $$ and $$M(x_1,x_2,x_3,x_4,\ldots)=(x_1,\frac{x_2}{2},\frac{x_3}{3},\frac{x_4}{4},\ldots).$$ Let $T=M \circ S$.

Then how to prove that $T$ has no eigenvalues? Is $T$ a compact operator? And self-adjoint? Also, if let $T^m$ denote the composition of $T$ with itself $m$ times. Then how to show directly from the formula for $T$ that $\lim_{m\rightarrow \infty} \|T^m\|^{1/m}=0$.

I think I need to use the Stirling's formula, but I don't know what to do. Please help me. Thank you.

share|improve this question
I would start by computing $T$ and a few powers of it in order to see what $T^m$ does. Then show that $M$ is compact, so $T = MS$ is compact. Compute the adjoint of $T$. Does it equal $T$? Also, read this page attentively, in particular look at what is called Gelfand's formula there. –  t.b. May 3 '12 at 14:18
I changed the formatting a little to work around this bug. –  Nate Eldredge May 3 '12 at 15:00
add comment

1 Answer

Denote $x=(x(k))_{k\geq 1}$ a sequence in $\ell^2$. We have $$T^{j+1}(x)=M((T^jx(k+1))_{k\geq 1})=\left(\frac{T^j(k+1)}k\right)_{k\geq 1}$$ hence we have $(T^{j+1}(x))(k)=\frac{(T^j(x))(k+1)}k$. By induction, we get that $$(T^j(x))(k)=\begin{cases} 0&\mbox{ if }j\geq k\\\ \frac{x(k+j)}{\prod_{l=k}^{k+j}l}&\mbox{ if }j<k. \end{cases}$$ We can see that $$\lVert T^j\rVert=\frac 1{\prod_{l=j+1}^{2j+1}l}=\frac{j!}{(2j+1)!}\sim\frac{\sqrt{2j\pi}(j/e)^j)}{\sqrt{2(2j-1)\pi}((2j+1)/e)^{2j+1}}=\frac{\sqrt jj^j}{\sqrt{2j-1}2^{2j+1}(j+1/2)^{2j+1}}$$ therefore $$\lVert T^j\rVert^{1/j}\sim \frac{j}{4(j+1/2)^2},$$ which converge to $0$. In particular, the spectral radius of $T$ is $0$, so the only possible eigenvalue of $T$ is $0$ (but we can see it's not the case because both $S$ and $M$ are injective). So $T$ has no eigenvalues.

We can show that $M$ is compact, for example writing it has the limit of the finite rank operators $M_n$ given by $M_n(x)(k)=\begin{cases}\frac 1kx(k)&\mbox{ if }k\leq n\\\ 0&\mbox{ otherwise} \end{cases}$. So $T$ is compact.

For the adjoint, write $T^*=S^*\circ M^*=S^*\circ M$, and look for example at the value at $(1,0,0,\ldots)$.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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