2
$\begingroup$

I should first mention this: I have asked this question previously but I only got a partial answer that does not suit the actual assumptions but only the related ones, it reads as follows:

Define the infinite matrix $ A = [a_{ij}]_{i,j=1}^{\infty} $ using a sequence $ \{ \alpha_n \}_{n=-\infty}^{\infty} $ such that $ a_{i,j} = \alpha_{i-j} $ and also we know $ 0 < \sum_{n=-\infty}^{\infty}{|\alpha_n|} < \infty $.

a. We need to show the matrix A defines a bounded operator on the space of sequences $ \mathcal{l}^2 $ and to find it's operator norm

b. Then we need to check if this operator is compact or not

Hint : Try to think of A as the matrix representing an operator acting on a subspace of $ L^2[-\pi,\pi] $

Here is a link to the question and the solutions I got

As you can see the problem here is that my matrix has only positive indices so it is not negative infinite as well and as you can see this doesn't change much but the essence is of course that the matrix looks like the representation matrix of the product operator with a well defined function but because of the basis enumeration $ \{ e^{inx} \} $ including negatives this is not completely the case. The question said a subspace of $ L^2[-\pi,\pi] $ so maybe change some assumptions to make the method work. Help needed and appreciated

$\endgroup$
  • $\begingroup$ It's clear that the operator cannot be compact since the identity operator can be thusly constructed. $\endgroup$ – Omnomnomnom Sep 23 '15 at 15:50
  • $\begingroup$ @Omnomnomnom : Yes this I know that it is not necessarily compact but proving it is never compact is not much more difficult, but can you help me figure out the operator the matrix represents please? $\endgroup$ – kroner Sep 23 '15 at 15:52
  • 1
    $\begingroup$ Not that it directly helps, but for Googling purposes: a Toeplitz matrix is one with uniform elements along its diagonals e.g. your matrices above. $\endgroup$ – Semiclassical Sep 23 '15 at 20:26
3
$\begingroup$

I had not noticed before that your indices on the matrix were restricted to positive entries. This matrix has the form $$ \begin{pmatrix} \alpha_0 & \alpha_{-1} & \alpha_{-2} & \alpha_{-3} & \cdots \\ \alpha_1 & \alpha_{0} & \alpha_{-1} & \alpha_{-2} & \cdots \\ \alpha_2 & \alpha_{1} & \alpha_{0} & \alpha_{-1} & \cdots \\ \vdots & \vdots & \vdots & \ddots \end{pmatrix}. $$ The subspace $H^{2}$ of $L^{2}$ of interest consists of all $f \in L^{2}[-\pi,\pi]$ for which $$ (f,e^{-inx})=\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)e^{inx}dx = 0,\;\;\; n=1,2,3,\cdots. $$ Every $f \in H^{2}$ has the form $$ \sum_{n=0}^{\infty}f_n e^{inx},\;\;\; \|f\|^{2}=\sum_{n}|f_n|^{2} < \infty. $$ Let $P$ denote the orthogonal projection of $L^{2}$ onto $H^{2}$ given by $$ Pf = \sum_{n=0}^{\infty}f_n e^{inx} $$ In other words, $P\sum_{n=-\infty}^{\infty}f_ne^{inx} = \sum_{n=0}^{\infty}f_ne^{inx}$.

Define a function $a(z)=\sum_{n=-\infty}^{\infty}\alpha_n e^{inx}$. If you multiply $a$ by $f \in H^{2}$, and then project, you get \begin{align} P(a(z)f(z)) & = (\alpha_0 f_0 + \alpha_{-1} f_1 + \alpha_{-2} f_2 +\cdots) \\ & + (\alpha_1 f_0 + \alpha_0 f_1 + \alpha_{-1}f_2+\cdots)e^{ix} \\ & + (\alpha_2 f_0 + \alpha_1 f_1 + \alpha_0 f_2 +\cdots) e^{2ix} \\ & + \cdots \end{align} The first term is where the sum of the indices is always 0. The second term is where the sum of the indices is always 1. Etc.. The negative powers are truncated by the projection $P$. This operator has the desired matrix representation. The only question is whether or not this operator maps back into $H^{2}$, which is to say that the sum of the squares of the coefficients of $P(af)$ is finite. Check this $$ \|P(af)\|^{2}=\sum_{k=0}^{\infty}|\sum_{n=k}^{\infty}\alpha_{k-n}f_{n}|^{2} $$ You can apply Cauchy-Schwarz to the inner sum after writing $$ |\alpha_{k-n}f_{n}|=|\alpha_{k-n}|^{1/2}(|\alpha_{k-n}|^{1/2}||f_{n}|). $$ Let $\|a\|_{1} = \sum_{k=-\infty}|\alpha_k|$. The result is \begin{align} \|P(af)\|^{2} & \le \sum_{k=0}^{\infty}\left(\sum_{n=0}^{\infty}|\alpha_{k-n}|\sum_{n=0}^{\infty}|\alpha_{k-n}||f_{n}|^{2}\right) \\ & \le \|a\|_1\sum_{k=0}^{\infty}\sum_{n=0}^{\infty}|\alpha_{k-n}||f_{n}|^{2} \\ & = \|a\|_1\sum_{n=0}^{\infty}|f_{n}|^{2}\sum_{k=0}^{\infty}|\alpha_{k-n}| \\ & \le \|a\|_1^{2}\|f\|^{2}. \end{align} So $P(af)$ is a bounded operator, with $\|P(af)\|\le \|a\|_1\|f\|$. This isn't the tightest bound. For example, if $\|a\|_{\infty}=\sup_{x}|a(x)|$, then $\|P(af)\| \le \|af\| \le \|a\|_{\infty}\|f\|$. Clearly $\|a\|_{\infty}\le \|a\|_1$.

$\endgroup$
  • 2
    $\begingroup$ I just wanted to ask about compactness, of course the identity operator shows it is not necessarily compact but can it ever be compact? I know for a fact that the multiplication operator by a non zero function such as our $ \alpha $ cannot be compact, can we relate this here? i.e. show that it is never a compact operator using this theorem $\endgroup$ – kroner Sep 24 '15 at 16:21
  • $\begingroup$ @zbigniew2015 : I'm not sure what the best approach would be for dealing with compactness. I was thinking of looking at eigenvectors, but I'm not sure that leads to the right place, especially considering the identity operator. $\endgroup$ – DisintegratingByParts Sep 24 '15 at 16:32
  • 1
    $\begingroup$ Right will think about it then thanks a lot my friend $\endgroup$ – kroner Sep 24 '15 at 16:34
  • 1
    $\begingroup$ @zbigniew2015 : I haven't given up on that part yet. Very interesting. $\endgroup$ – DisintegratingByParts Sep 24 '15 at 16:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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