Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $A$ be an unbounded self-adjoint operator with spectrum $\sigma(A)=\mathbb R$ in a Hilbert space $\mathcal H$. Let $P$ be a bounded operator in $\mathcal H$ satisfying $P\ge1$ and $$ {\rm Domain}(AP) \equiv\big[\varphi\in\mathcal H:P\varphi\in{\rm Domain}(A)\big] ={\rm Domain}(A). $$ Finally, suppose that the operator $$ H:=PAP,\quad{\rm Domain}(H):={\rm Domain}(A), $$ is self-adjoint in $\mathcal H$.

Question: Can we find conditions on $A$ and $P$ guaranteeing that the spectrum of $H$ is the same of that of $A$; that is, guaranteeing that $\sigma(H)=\sigma(A)=\mathbb R$ ?

Even though operators like $H$ appear in Spectral Theory, I haven't been able to find much information on their spectrum in the literature. I am only aware of the paper:

Hladnik, Milan, Omladic, Matjaz, Spectrum of the product of operators. Proc. Amer. Math. Soc. 102 (1988), no. 2, 300–302,

whose results are too general to answer the present question.

share|improve this question
    
Shouldn't a polar decomposition help here? –  Kofi Feb 2 '12 at 15:54
    
Simplest condition $P = P^{-1}$. (So $P = g(Q)$ for $g$ taking values in $+1, -1$.) Note, this condition corresponds to preserving eigenvalues & eigenfunctions. Of course one can imagine many other reasons for the claim to hold ... in the form stated it is just TOO general to handle. –  Helge Feb 2 '12 at 21:17
add comment

1 Answer

up vote 0 down vote accepted

The only reasonable condition I can think of is that $P = g(A)$ where $g \ge 1$ is a bounded continuous function on $\mathbb R$.

It is instructive to consider the case where $A$ is the multiplication operator $(A f)(x) = x f(x)$ on $L^2({\mathbb R})$ and $P = g(A)$ for some bounded measurable function $g \ge 1$. Then $\sigma(PAP)$ is the essential range of $\{ x g(x)^2: x \in {\mathbb R}\}$. For suitable discontinuous $g$, this could be any closed subset $S$ of the plane that intersects $(-\infty,N)$, $(-1/N,0)$, $(0,1/N)$ and $(N,\infty)$ for all $N$.

share|improve this answer
    
Unfortunately, in the example I have in mind the operators $A$ and $P$ do not commute. The typical situation would be the one where $A$ is the operator of differentiation $(Af):=-if'(x)$ in $L^2(\mathbb R)$ and $P=g(X)$ with a bounded $C^1$ function $g\ge1$ and $X$ the multiplication operator $(Xf):=xf(x)$ in $L^2(\mathbb R)$. –  Peter F Feb 2 '12 at 19:40
    
Have you looked at the results on perturbation of continuous spectrum in Kato, "Perturbation Theory for Linear Operators"? –  Robert Israel Feb 3 '12 at 17:47
    
I guess that Kato's book is indeed the best we can get. Thanks for the answer. –  Peter F Feb 20 '12 at 21:16
add comment

Your Answer

 
discard

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.