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

learn more… | top users | synonyms (1)

42
votes
1answer
2k views

Example of a compact set that isn't the spectrum of an operator

This question is a follow-up to this recent question and related to that one. Is there an easy example of an (infinite-dimensional) Banach space $X$ and a non-empty compact set $K \subset ...
22
votes
5answers
21k views

What is the difference between Singular Value and Eigenvalue?

I am trying to prove some statements about singular value decomposition, but I am not sure what the difference between singular value and eigenvalue is. Is singular value just another name for ...
16
votes
3answers
785 views

Can spectrum “specify” an operator?

Given a bounded operator $A$ on a Banach space $X$, one may find the spectrum $\sigma(A)\subset{\bf C}$. Here are my questions: Given some set in the complex plane, say, $S\subset{\bf C}$, ...
16
votes
3answers
1k views

Ratio of largest eigenvalue to sum of eigenvalues — where to read about it?

Let $E_j$ be the $j$th largest-magnitude eigenvalue of a real symmetric $N \times N$ matrix $M$. I've found that the ratio $$\frac{|E_1|}{\sum_{j=1}^N{|E_j|}},$$ is a measure of the "rank-one-ness" ...
14
votes
2answers
722 views

The spectrum of an unbounded operator

It's well known that the spectrum of a bounded operator on a Banach space is a closed bounded set (and non-empty)on the complex plane. And it's also not hard to find unbounded operators which their ...
13
votes
1answer
983 views

Spectrum of a linear operator

Let $\ell^2 =\ell^2(\mathbb{Z})$. Choose $\theta \in ]0,1[$ and set: $$Tx=(\theta x_{n-1} +(1-\theta)x_{n+1})_{n\in \mathbb{z}}$$ for each $x=(x_n)_{n\in \mathbb{Z}}\in \ell^2$ (thus $T$ is a convex ...
12
votes
1answer
307 views

Singular-value inequalities

This is my question: Is the following statement true ? Let $H$ be a real or complex Hilbertspace and $R,S:H \to H$ compact operators. For every $n\in\mathbb{N}$ the following inequality holds: ...
11
votes
1answer
400 views

Quantization of angular momentum: is Dirac's proof wrong?

I'm trying to understand the physicist's proof of the theorem on the spectral structure of angular momentum operators (I'm being told that this proof is due to Dirac). I will refer to Ballentine's ...
11
votes
1answer
199 views

why is the spectrum of the schrödinger operator discrete?

let (M,g) be a compact riemannian manifold. Then the spectrum of the Schrödinger opartor $H=-\Delta +V$ with bounded potential V acting on $L^2(M)$ consists of discrete Eigenvalues ...
10
votes
1answer
789 views

Importance of Toeplitz operators?

I am reading Arveson's A Short Course on Spectral Theory, in which the author states that Toeplitz operators are very important without giving references on their applications. After some searching, I ...
9
votes
1answer
929 views

How to understand spectral decomposition geometrically

Let $A$ be a $k\times k$ positive definite symmetric matrix. By spectral decomposition, we have $$A = \lambda_1e_1e_1'+ ... + \lambda_ke_ke_k'$$ and $$A^{-1} = ...
9
votes
2answers
231 views

Are there n-th roots of differential operators?

In analogy to a Dirac operator, it seems to me that formally, the equation $$\frac{\partial^n}{\partial x^n}f(x,y)=D_yf(x,y)$$ is solved by $$f(x,y)=\exp{(x \sqrt[n]{D_y})}\ g(y).$$ Is there a ...
9
votes
3answers
210 views

What is spectrum for Laplacian in $\mathbb{R}^n$?

I know very well that Laplacian in bounded domain has a discrete spectrum. How about Laplacian in $\mathbb{R}^n$?(not in some fancy-shaped unbounded domain, but the whole domain) Where can I find ...
9
votes
1answer
342 views

An approximate eigenvalue for $ T \in B(X) $.

This is a problem from Conway’s Functional Analysis: Definition An approximate eigenvalue for $ T \in B(X) $ is a scalar $ \lambda $ such that there is a sequence of unit vectors $ x_{n} \in X $ ...
9
votes
1answer
191 views

Help computing an integral for Green's function of a discrete Laplacian on a square lattice

I need to calculate the following integral: $$ \int_0^1 \int_0^1 \frac{1-\cos(2 \pi k_1 x) \cos(2 \pi k_2 y)}{4 \sin(\pi k_1)^2 + 4 \sin( \pi k_2)^2} dk_1 dk_2 $$ I have tried to use some contour ...
8
votes
3answers
565 views

Spectral radius inequality

Suppose $A,B \in M(n \times n, \mathbb{C})$ or $ A,B \in M(n \times n, \mathbb{R}) $. Under wich hypothesis can I state that: $\rho(AB) \leq \rho(A)\rho(B)$ ?
8
votes
2answers
124 views

Ways to calculate the spectrum of an operator

Friends, I am learning some very basic stuff of spectral theory and kind of lost, in some sense. I am trying to find ways to compute the spectra of different operators, when they work and don't work. ...
8
votes
1answer
273 views

Does there exist a self-adjoint operator whose spectrum consists wholly of prime numbers?

The zeros of the canonical Riemann zeta function have been compared to the prime numbers, and they have a number of special, definite connections. The infamous zeros have also been conjectured to be ...
8
votes
1answer
560 views

What is the use of Spectral Theorem?

Obviously the version for compact and self-adjoint linear operators on Hilbert Spaces is very useful since it decomposes the operators into orthogonal projections. However, the following more general ...
8
votes
1answer
100 views

The spectrum of a product of operators

Suppose $A,B\in\mathcal{B}(\mathcal{H})$, where $\mathcal{H}$ is an infinite dimensional Hilbert space. In general, we know that there is no relationship between $\sigma(AB)$ and $\sigma(A)$ and ...
8
votes
0answers
491 views

Eigenvalues of doubly stochastic matrices

There was a long standing conjecture stating that the geometric location of eigenvalues of doubly stochastic matrices of order $n$ is exactly the union of regular $k$-gons anchored at $1$ in the unit ...
7
votes
1answer
2k views

What's the connection between the Laplace transform and the Fourier transform?

Both the Laplace transform and the Fourier transform in some sense decode the "spectrum" of a function. The Laplace transform gives a power-series decomposition whereas the Fourier transform gives a ...
7
votes
3answers
176 views

Spectrum of a compact operator

If the spectrum of a compact operator is finite, I don't understand why $0$ has to be a member. I have proved that for all $\epsilon > 0$, there is only a finite number of eigenvectors which have ...
7
votes
1answer
204 views

Is there a residue theorem for holomorphic operator-valued functions?

I'm wondering whether there is such a thing as a "residue theorem for holomorphic operator-valued functions". More precisely, I want to evaluate an integral of the form $P:=\int_{\Gamma} (A(\lambda) ...
7
votes
3answers
342 views

Nonexistence of a cyclic vector for a representation on $\ell^2(\mathbb{Z})$

Let $S$ be the bilateral shift on $\ell^2(\mathbb{Z})$ and let $T = S + S^*$. I want to show that there is no cyclic vector for the representation of $T$ on $\ell^2(\mathbb{Z})$ i.e. $\forall x\in ...
6
votes
2answers
2k views

Spectrum of Indefinite Integral Operators

I've considered the following spectral problems for a long time, I did not kow how to tackle them. Maybe they needs some skills with inequalities. For the first, suppose $T:L^{2}[0,1]\rightarrow ...
6
votes
4answers
252 views

Reason for Continuous Spectrum of Laplacian

For the circle $S^1$, it is well-known that the Laplace-Beltrami operator $\Delta=\text{ div grad}$ has a discrete spectrum consisting of the eigenvalues $n^2,n\in \mathbb{Z}$, as can be seen from the ...
6
votes
3answers
731 views

Spectral measure of the multiplication operator

I have the following question: let $(X,\mathcal B,\mu)$ be a finite measure space and consider the operator $T\colon L^2(X,\mu)\to L^2(X,\mu)$ given by $Tf(x)=\varphi(x)f(x)$, where $\varphi\colon ...
6
votes
2answers
462 views

Why do we distinguish the continuous spectrum and the residual spectrum?

As we know, continuous spectrum and residual spectrum are two cases in the spectrum of an operator, which only appear in infinite dimension. If $T$ is a operator from Banach space $X$ to $X$, $aI-T$ ...
6
votes
1answer
143 views

Do elliptic operators on Riemannian manifolds have a regularizing effect?

I'm working on my master thesis and need to handle some spectral theory of the Laplace operator on compact Riemannian manifolds and especially on the sphere. While investigating essential ...
6
votes
1answer
281 views

Convergence of spectra under strong convergence of operators

Say $\left\{A_n\right\}$ is a sequence of bounded self-adjoint operators on a separable Hilbert space, converging in strong operator topology to a (bounded, self-adjoint) operator $A$. Denote the ...
6
votes
3answers
2k views

Spectral decomposition of a normal matrix

I'd like to find the spectral decomposition of $A$: $$A = \begin{pmatrix} 2-i & -1 & 0\\ -1 & 1-i & 1\\ 0 & 1 & 2-i \end{pmatrix}$$ i.e. $A=\sum_{i}\lambda_i P_i$ where ...
6
votes
1answer
76 views

About some properties of the heat kernel

Maybe my questions are stupit, but I'm so unsure about some properties of the heat equation. Suppose we have a compact and smooth manifold M (possibly with boundary), then in a lot of books they ...
6
votes
0answers
100 views

Doubt about integration over a curve

I'm reading a paper and I have a doubt: Suppose we have a compact Riemannian manifold and an eigenfunction of the Laplace operator $\Delta u=-\lambda u$. Suppose in addition that we have the following ...
6
votes
0answers
379 views

Why is the numerical range of an operator convex?

Let $T$ be a Hilbert space operator. Its numerical range is \begin{equation} W(T)=\{\langle Tx,x\rangle:\|x\|=1\}.\end{equation} It is a well-known fact that $W(T)$ is a convex subset of the complex ...
5
votes
1answer
339 views

Spectrum of Laplace operator

How can I prove that the spectrum of the Laplace operator $\Delta: H^2(\mathbb{R}^N)\subset L^2(\mathbb{R}^N)\rightarrow L^2(\mathbb{R}^N)$ is $\sigma(\Delta)=]-\infty,0]$?
5
votes
1answer
208 views

Why is it important to study the eigenvalues of the Laplacian?

Why is it important to study the eigenvalues of the Laplacian acting on regions in $\mathbb R^n$? What information does this give us? What problems does this information help us solve? In particular, ...
5
votes
2answers
116 views

Looking for a first order perturbation of the Laplacian having 0 in its spectrum

I would like to find an explicit example of a linear elliptic operator having the following form: $$Lu=-\Delta u +b(x)\cdot \nabla u, $$ where $b\colon \mathbb{R}^n \to \mathbb{R}^n$, and such that ...
5
votes
1answer
637 views

spectrum of the “discrete Laplacian operator”

In numerical analysis, the discrete Laplacian operator $\triangle$ on $\ell^2({\bf Z})$ can be written in terms of the shift operator $\triangle=S+S^*-2I$ where $S$ is the right shift operator. ...
5
votes
2answers
98 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: ...
5
votes
2answers
2k views

spectrum of the right shift operator

Here is the question: Considering the right shift operator $S$ on $l^2({\bf Z})$, what can one know about ran$(S-\lambda)$? Here is what I thought: If one wants to prove that the operator ...
5
votes
1answer
84 views

Simple proof that $\|p(A)\|\le \sup_{|z|\le 1}|p(z)|$ for polynomials $p$ and $\|A\| \le 1$.

Let $\mathcal{H}$ be a complex Hilbert space, and let $A$ be a bounded operator linear operator on $\mathcal{H}$ with $\|A\| \le 1$. It is known that $\|p(A)\|\le \sup_{|z|=1}|p(z)|$ for all complex ...
5
votes
1answer
348 views

Is it true that the Laplace-Beltrami operator on the sphere has compact resolvents?

We consider the Riemannian structure on the sphere $\mathbb{S}^n$ seen as a submanifold of $\mathbb{R}^{n+1}$ and the Laplace-Beltrami operator defined on $C^\infty(\mathbb{S}^n)$ by the equation ...
5
votes
1answer
67 views

Spectrum of idempotent element

Let $A$ be some unitary algebra over $\mathbb{C}$. If $a^2=a$ and $0\ne a\ne 1$ then $\{0,1\}\subset \sigma_A(a)$ ($\sigma_A(a)$ is the spectrum if $a$). I believe that also $\sigma_A(a)\subset ...
5
votes
1answer
212 views

How to prove that the spectrum of the Laplacian over $\Omega\subset \mathbb{R}^n$ is negative?

I am looking for a proof of this well known fact and I guess it has to do with integration by parts (Green's identity). Unfortunately, I only know about 1-d integration by parts( I am just 3rd ...
5
votes
1answer
164 views

Self adjointness of an elliptic differential operator

Let $A:D(a)\to L^2(\mathbb{R}^n)$ be an elliptic partial differential operator $$ A(f)=\sum_{i,j=1}^{\infty}\partial_{x_j}(a_{ij}(x)\partial_{x_i}f) $$ where $a_{ij}\in C^{\infty}_b(\mathbb{R}^n)$, ...
5
votes
1answer
46 views

How to show $e^{-x}$ is a cyclic vector for $-\frac{d^{2}}{dx^{2}}$ in $L^{2}[0,\infty)$?

Let $\mathcal{H}=L^{2}[0,\infty)$. How can one easily show that $e^{-x}$ is a cyclic vector under the $C^{\star}$ subalgebra of operators on $\mathcal{L}(H)$ generated by all resolvents $(L-\lambda ...
5
votes
1answer
144 views

Spectrum of a weakly compact operator

It is well known that the power of a weakly compact operator is compact. Is the spectrum of a weakly compact operator is the same as a compact operator?
5
votes
2answers
173 views

Spectral measures

Let $E:\Sigma\to\mathcal{L}(\mathcal{H})$ be a spectral measure on the Borel $\sigma$-algebra $\Sigma$ of $\mathbb{C}$. Assume also that $E$ is compactly supported in the sense that ...
5
votes
1answer
117 views

Gelfand's formula, different field

Gelfand's formula says that for a complex matrix $A \in \mathbb{C}^{n \times n}$, $$\rho(A) = \lim_{m \rightarrow \infty} \|A^m\|^{1/m},$$ where $\rho$ is the spectral radius (norm of maximal ...