# Thread:

1. ## finding a specific operator

Hi! I am kinda going mad trying to find the following operator. Here goes the problem: Let $(z_n)$ be a complex seq. such that $\lim z_n=0$ and let $(x_n)$ be a seq. of pos. numbers such that $\lim x_n=\infty$. Show that there exists (i.e. find) a compact operator $P$ on $l^2$ so that the following two are satisfied:
(a) $\lim_n \frac{\|(z_n I-P)^{-1}\|}{ x_n}=\infty$
and
(b) All the $z_n$ lie in the resolvent of $P$.

Thank You!

2. ## Re: finding a specific operator

I've not done the computations, but did you try with $P$ diagonal?

3. ## Re: finding a specific operator

yes I did try... I'm not sure how that helps.

4. ## Re: finding a specific operator

It would reduce the problem to find a sequence instead of an operator.

5. ## Re: finding a specific operator

I'm sorry but I just can't get it to work. How am I supposed to find it?

6. ## Re: finding a specific operator

There is something I don't understand: if $z_n=0$ for all $n$, then $P$ has to be both compact and invertible in order to make the expression have a sense. It's impossible since $\ell^2$ is infinite dimensional.

7. ## Re: finding a specific operator

The assumptio is not $z_n=0$ $\forall n$, it is that $\lim_{n\rightarrow \infty} z_n=0$

8. ## Re: finding a specific operator

Yes, but $z_n=0$ for all n is a particular case of $\lim_{n\to \infty}z_n=0$. So we have to assume that $z_n\neq 0$ for all $n$ otherwise $P$ would be invertible.

9. ## Re: finding a specific operator

I see what you mean. Ok, how would I proceed after removing that special case.

10. ## Re: finding a specific operator

Originally Posted by Zeke
Hi! I am kinda going mad trying to find the following operator. Here goes the problem: Let $(z_n)$ be a complex seq. such that $\lim z_n=0$ and let $(x_n)$ be a seq. of pos. numbers such that $\lim x_n=\infty$. Show that there exists (i.e. find) a compact operator $P$ on $l^2$ so that the following two are satisfied:
(a) $\lim_n \frac{\|(z_n I-P)^{-1}\|}{ x_n}=\infty$
and
(b) All the $z_n$ lie in the resolvent of $P$.

Thank You!
As girdav pointed out, none of the $z_n$ can be 0. So make that assumption.

Following girdav again, let P be the operator on $\l^2(\mathbb{N})$ whose matrix (with respect to the standard basis) is diagonal, with diagonal elements $\alpha_n.$ Let $Z = \{z_n\}_{n\in\mathbb{N}}\cup\{0\}.$ For each n, choose $\alpha_n$ so that $\alpha_n\notin Z$ and $|\alpha_n-z_n| < (nx_n)^{-1}.$

Then P is compact (because $\alpha_n\to0$). The spectrum of P is $A = \{\alpha_n\}_{n\in\mathbb{N}}\cup\{0\}.$ Since, for each n, $z_n\notin A,$ it follows that (b) holds. Finally, $\|(z_nI-P)^{-1}\| = \max_{k\in\mathbb{N}}|z_n-\alpha_k|^{-1}\geqslant|z_n-\alpha_n|^{-1}>nx_n.$
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 42, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9321587681770325, "perplexity_flag": "head"}