Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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

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|cite|improve this answer

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.