Spectral theory is a study of generalized notions of eigenvalues and eigenvectors.

learn more… | top users | synonyms (1)

1
vote
0answers
49 views

Proving that a Sturm-Liouville problem is in the limit-point/-circle case

I would like to understand techniques anybody is able to detail to me on how one may actually prove that a particular Sturm-Liouville (S-L) problem, i.e., of the form \begin{equation} ...
4
votes
2answers
197 views

Spectral theory - continuous spectrum

imagine that I have some differential operator $D$ that is defined on an interval $[a,b]$. Now, assume that we take the boundary conditions in such a way that this operator is self-adjoint. Then, I ...
1
vote
1answer
52 views

Fredholm index for 1-d Schroedinger operator

if I look at a Schroedinger-operator $-\frac{d^2}{dx^2} +V$ on a compact intervall $[a,b] \subset \mathbb{R}$ and I take boundary conditions that this operator is self-adjoint (for example periodic ...
0
votes
1answer
52 views

Exercise about spectrum of selfadjoint operator.

I'm stuck on an exercise about the spectrum of a selfadjoint operator on a Hilbert space. The problem is the following: Let $(X,\langle \cdot, \cdot\rangle)$ a Hilbert space and let $A \in B(H)$ a ...
3
votes
2answers
158 views

Two questions in spectral theory: the spectrum of the Fourier transform and the Hamiltonian of the hydrogen atom.

I have the following two questions: The Fourier transform defines a unitary (provided that it is normalized properly) map $\hat{\cdot}:L^2(\mathbf{R})\rightarrow L^2(\mathbf{R})$. I figured out its ...
1
vote
1answer
138 views

Spectral theory

I have absolutely no idea about Spectral theory and want to ask some fundamental questions. 1.) What does it mean that the resolvent of an operator is Hilbert-Schmidt? (Cause I saw a theorem that was ...
0
votes
1answer
28 views

logarithm of projection

I want to prove what's used in the fourth line below the "Proof" section here: http://en.wikipedia.org/wiki/Quantum_relative_entropy#The_result The statement is: Let $\rho$ be a density operator on a ...
2
votes
0answers
71 views

Reference for simplicity of the principal eigenvalue of the Laplacian

i'm currently searching for a proper reference or proof to see that the first eigenvalue $\lambda \in \mathbb{R}$ of \begin{equation*} - \Delta u = \lambda u \text{ in } \Omega, \\ u \in ...
2
votes
1answer
57 views

To What Extent is the Fourier Inversion Theorem Due to the Self-Adjointedness of the Laplacian

I've tried looking this up (I looked at various spectral theorems) but couldn't find anything that talks about the connection between Fourier transforms and the eigenfunctions of the Laplacian (we may ...
3
votes
1answer
99 views

Spectrum of normal elements in C*-algebras

Let $\mathcal{A}$ be a C*-algebra and $x \in \mathcal{A}$ a normal element. Can you show that $\left\{ \phi(x) : \phi \text{ is a state on } \mathcal{A} \right\}$ is the closed convex hull of the ...
2
votes
1answer
39 views

Lower bound for the spectralradius of a matrix

Any submultiplicative norm (for example the row-sum-norm) is an upper bound for the spectralradius of a matrix A. But is there a way to get a suitable LOWER bound for the spectralradius ? ...
-1
votes
1answer
48 views

Pseudospectrum of an $n\times n$ matrix has at most n connected components

For $\epsilon>0$, the $\epsilon$ pseudospectrum of an $n\times n$ matrix $A$ is given by $\sigma_{\epsilon}(A)=\{z\in \mathbb{C}:\|(z-A)^{-1}\|>\epsilon^{-1}\}$, with the convention that ...
0
votes
2answers
113 views

Positive Elements: Characterization

Problem Given a C*-algebra with unit $1\in\mathcal{A}$. Define positive elements as: $$A\geq0\iff\sigma(A)\geq0\quad(A=A^*)$$ Positive elements can be characterized by: $$A\geq0\iff A=B^*B$$ ...
1
vote
1answer
101 views

Mathieu differential equation

Given the operator $T (\psi)(x):= \psi''(x)-2q \cos(2x)\psi(x)$ with $T : D(T) \subset L^2[0,2\pi] $ I was wondering: What is the right domain $D(T)$ for this operator if we want to solve the ...
4
votes
1answer
163 views

Proving the spectral theorem for unbounded self-adjoint operators

Let $A$ be (densely-defined) self-adjoint operator on a (complex) Hilbert space $H$. Then, the Cayley transform $U=(A-i)(A+i)^{-1}$ is a unitary operator, and $(A\pm i)^{-1} \in B(H)$. Using the ...
2
votes
2answers
72 views

What is the right domain for this Hamiltonian

I want to define a proper domain $D(H) \subset L^2$ for this Hamiltonian ( $\theta$, $\phi$ are the standard angles in spherical coordinates). Furthermore, the wave function is supposed to satisfy ...
0
votes
1answer
19 views

Question about Joint spectral radius.

Given a bounded set $\mathcal A\subset \Bbb R^{n x n}$. The joint spectral radius is given by: $\sigma(\mathcal A)$=$limsup_{m\to\infty}(sup_{A\in\mathcal A^m} \rho(A))$ where $\rho$ is the normal ...
0
votes
1answer
26 views

Diagonalisation spectral theorem

For the proof of the spectral theorem for complex numbers I know that the proof follows that, as T is normal then the algebraic and geometric multiplicities coincide. This means that there will be n ...
2
votes
1answer
82 views

Eigenvalues of polynomials of a matrix and its inverse up to summation by identity

There is a paper that I am reading and the following has been considered without proof: (Suppose $\lambda(.)$ defines the spectrum of a matrix and one can define a random variable on this spectrum say ...
0
votes
2answers
58 views

Spectrum of a bounded operator $T$ satisfying $T^n=I$

Let $\mathcal{H}$ be an infinite dimensional Hilbert space, suppose $T\in \mathcal{B}(\mathcal{H})$ is a bounded operator and suppose that $n$ is the smallest natural number so that $T^n=I$. Let ...
1
vote
1answer
31 views

A little question about using spectral mapping theorem for polynomials

A question from Kreyszig: Let $X$ be complex Banach space with $T\in B(X,X)$ and a $p$ a polynomial. Show that the equation $p(T)x=y$ has a unique solution $x$ for every $y \in X$ if and only if ...
1
vote
1answer
61 views

Spectral radius of an operator equals its norm

Let $X$ be a Banach space and $A:X\to X$ a bounded operator. We know that the spectrum of $A$ is always included in the ball $B(0,|A|)$ and the spectral radious $r(A)$ is the smalest radius such that ...
0
votes
0answers
64 views

Spectrum of a bounded operator and Liouville's theorem

Let $X$ be a Banach space and $A:X\to X$ be a bounded operator. We know that the spectrum of $A$ is not empty, because otherwise we find a contradiction by using the holomorphy of the function ...
0
votes
0answers
26 views

Spectrum of the sum on a tensor product?

I have the following problem. Consider the operator $R= H\otimes 1 + 1 \otimes K$ on the tensor product $\mathcal H \otimes \mathcal K$ where $H$ and $K$ are self-adjoint. I know that $R$ has a ...
0
votes
1answer
62 views

Spectrum of the operator $A(f,g)=(g,\Delta f-f)$

Let $\Omega$ be an open set in $\mathbb{R^n}$. We consider the product Hilbert space $H=H^1_0(\Omega)\times L^2(\Omega)$ with the norm $$|(f,g)|^2=\int_\Omega (|\nabla f|^2+|f|^2+|g|^2 ) dx$$ We ...
0
votes
1answer
79 views

A decomposition of Hilbert space via self-adjoint operator

Let $H$ be a complex Hilbert space and $A:H\to H$ self-adjoint. Show that one can decompose $H$ into two $A$-invariant closed subspaces as $H=H_{p} \bigoplus H_{c}$ such that the spectrum of ...
1
vote
0answers
43 views

Skew adjoint operator with uncountable spectrum

Let $H$ be a Hilbert space. I just want an example of a skew adjoint operator $(A^*=-A)$ with uncountable spectrum. I also want an example for unbounded differential operators. The only example I ...
0
votes
0answers
16 views

Integral representation of joint projection valued measures

Given two positive $\sigma$-finite measures $\mu_{1/2}$ on the spaces $X_{1/2}$ one can define the product measure $\mu_1\otimes\mu_2$ on the product space $X_1\times X_2$. It can be proved that the ...
0
votes
2answers
76 views

Selfadjoint Operator: Basic Criterion

For symmetric operators one has: $$A\text{ symmetric}:\quad\mathcal{R}(A\pm\imath)=\mathcal{H}\implies A^*=A$$ How to prove this in an unveiling way?
5
votes
2answers
113 views

What's the spectrum of this operator in $\ell^2$?

Suppose that $\ell^2 = \biggl\{(x_n)_n \in \mathbb{K}^{\mathbb{N}_0} \biggm| \sum_{n=1}^{\infty}|{x_n}^2| < +\infty \biggr\}$ is a Hilbert-space with the inproduct $\langle\cdot,\cdot\rangle_2: ...
1
vote
2answers
121 views

Book: Functional Calculus

Is there a good book that investigates in detail the various kinds of functional calculus? I'm having now some knowledge about unbounded operators and integration but I would like to understand ...
0
votes
1answer
98 views

Application of eigenvalueproblems for the wave equation

I'm currently searching for a nice little application of an eigenvalueproblem and found the following for acoustics - but one part doesn't make sense for me. Consider the wave equation to find some ...
1
vote
1answer
104 views

“right shift” il $L^1$

Let $X=L^1(\mathbb{R})$ be the space of Lebesgue integrable functions $f:\mathbb{R}\rightarrow \mathbb{C}$ with the usual norm. Let $T\in B(X)$ be defined by $$(Tf)(t)= f(t+1)$$ I need to find the ...
0
votes
1answer
33 views

Why is this subspectrum closed

Let $u: X \to X $ be a compact operator on a Banach space $X$ and let $\lambda \in \mathbb C$ be non zero. We know that $u-\lambda$ is Fredholm and that $X=\mathrm{ker}(u-\lambda)^n \oplus ...
0
votes
2answers
103 views

Symmetric Operator vs. Real Spectrum

For symmetric operators one has a characterization: $$A\text{ symmetric}:\quad A=A^*\iff\sigma(A)\subseteq\mathbb{R}$$ (I want to investigate to what extend symmetry is a necessary assumption.) ...
0
votes
2answers
114 views

Normal Operators: Spectrum vs. Numerical Range

Disclaimer: As I realized in the comments that this works for normal operators I decided to modify this question. Besides, I got the proof now - thanks to T.A.E.! Prove that for normal operators the ...
2
votes
2answers
90 views

Adjoint of sum of two operators

Let $A$ be self-adjoint and $B$ symmetric (which means densely defined for me as well) with $A$-bound less than $1$. Does this imply that $(A+iB)^*=A-iB$ ?
1
vote
1answer
73 views

Operator: not closable!

Is there an operator between Banach spaces with the following properties: $$T:\mathcal{D}(T)\subseteq X\to Y:\text{ injective, dense range, continuously invertible, not closable!}$$ (Note that the ...
2
votes
1answer
84 views

Cayley Transform: well defined?

Why is the Cayley backtransformation well-defined: $$A_U:=\imath(1+U)(1-U)^{-1}$$ In general $1-U$ is not invertible for example for $U=1$.
1
vote
2answers
74 views

Book on periodic Schrödinger operators

I am looking for good books about the spectral theory of periodic (1-dimensional) Schrödinger operators on a compact interval. A good reference I found was Reed/Simon Analysis of Operators (and a ...
4
votes
2answers
79 views

Question about a counterexample concerning compact operators

Does anybody know if the following is true, Let $H$ be an infinite dimensional Hilbert-space and $K:H\rightarrow H$ a compact operator. Then if $|\mathrm{spec}(K)|<\infty$ i.e the spectrum is ...
4
votes
1answer
108 views

What makes compact operators special?

I would like to understand why compact operators are considered so special to consider them as an extra class of operators. Over Hilbert spaces these (as far as I know) these are the ones with ...
1
vote
1answer
37 views

Inequality norms

Let $A$ be a bounded linear operator on a Banach space $X$. Can we show that for an arbitrary $n \in \mathbb{N}$ and $x \in X$ such that $\|x\|_X \geq 1$ we have that $$\|A^n x \| \leq \|Ax\|^n.$$ ...
3
votes
2answers
253 views

Resolvent: Definition

Given a Banach space. Consider linear operators: $$T:\mathcal{D}(T)\to E:\quad T(\kappa x+\lambda y)=\kappa T(x)+\lambda T(y)$$ (No other assumptions on the operator!) Denote for shorthand: ...
1
vote
0answers
34 views

Spectral theory - how to prove this lemma?

in Anver Friedman, Foundations of Modern Analysis I found a lemma (6.7.3): If A is a self-adjoint operator and $\{E_\lambda\}$ is a spectral family such that $A=\int_m^{M+\varepsilon} \lambda ...
4
votes
2answers
75 views

Operators $A$ such that $e^A$ is norm preserving

Let $X$ be a Banach space. $A$ a bounded operator. We can define the exponential of $A$ by $$e^{A}=\sum_{n=0}^{+\infty}\frac{A^n}{n!},$$ which is also a bounded operator. Is there any sufficient ...
1
vote
3answers
91 views

Finding spectrum of the operator A

$A:\mathcal{l}_2\rightarrow \mathcal{l}_2:(x_n)_{n=1}^\infty \rightarrow (x_{n+1})_{n=1}^\infty$ (left shift) Find the spectrum and all its parts for the operator A. What should I do?
1
vote
1answer
45 views

How to show whether this operator is normal? self-adjoint? unitary?

Consider the Hilbert space $H=l_2$ over the complex field and $A:H\rightarrow H.$ How to show whether this operator is normal? self-adjoint? unitary? ...
1
vote
1answer
27 views

How to show that the spectrum is equal to the range of $y$

How to show that the spectrum of $T_y$ is equal to the range of $y$ Given $y\in C[0,1]$ and $T_y: C[0,1] \rightarrow C[0,1]: x\mapsto x\cdot y$ Any help is appreciated, thanks.
0
votes
0answers
22 views

When can we get discrete spectrum?

Suppose that $T$ is a densely defined closed operator on a separable Hilbert space $H$. Form $N = T^*T$. Assume further that $T$ has a finite dimensional kernel and satisfies the commutation relation ...