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 ...
18
votes
5answers
17k 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
753 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
978 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
627 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
906 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
276 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
382 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
186 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
650 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
881 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
226 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
158 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
291 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
174 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
1answer
270 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
2answers
81 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
535 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
0answers
426 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
3answers
469 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)$ ?
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
123 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
184 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
337 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
194 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
2answers
402 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
136 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
252 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
1k 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
67 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
97 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 ...
5
votes
3answers
675 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 ...
5
votes
1answer
191 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
108 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
607 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
88 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
1answer
144 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
2answers
228 views

Why is the numerical range of a self-adjoint operator an interval?

I was reviewing for a test for functional analysis when I came across the following statement: Let $T$ be a bounded self-adjoint operator on a Hilbert space $H$. Then the numerical range of it is ...
5
votes
1answer
332 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
196 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
145 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
140 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
168 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
0answers
109 views

renorm a Banach space to make an operator have spectral radius equal to norm

Let $X$ be an infinite-dimensional complex Banach space equipped with the norm $\lVert\cdot\rVert$, and let $T\in\mathcal{L}(X)$ a bounded linear operator on $X$. Let $r(T)$ denote the spectral ...
5
votes
0answers
218 views

Question about the Spectral Theorem for Self Adjoint Operators and Eigenvalues

I have been working through Teschl's book "Mathematical Methods in Quantum Mechanics with Applications to Schrodinger Operators" and I am stuck on a problem in Chapter 3. I am trying to prove that if ...
5
votes
0answers
329 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 ...
4
votes
1answer
864 views

Spectrum of a product of operators on a Banach space

Let $A$ and $B$ be two operators on a Banach space X. I am interested in the relationship between the spectra of $A$, $B$ and $AB$. In particular, are there any set theoretic inclusions or everything ...
4
votes
2answers
310 views

Explicit expression for eigenpairs of Laplace-Beltrami operator

In $R^n$, the Laplace-Beltrami operator is just the Laplacian, and its eigenstructure is well known. There are also explicit expressions for the eigenvalues/eigenvectors of the Laplace-Beltrami ...
4
votes
2answers
99 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 ...