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 ...
19
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
757 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
992 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
636 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
923 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
283 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
386 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
187 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
675 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
887 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
228 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
166 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
293 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
177 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
2answers
91 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
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
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
440 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
480 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
135 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
193 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
338 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
201 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
413 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
256 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
69 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
682 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
198 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
109 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
612 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
89 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
184 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
334 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
57 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
199 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
149 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
141 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
1answer
94 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 ...
5
votes
0answers
112 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
341 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
870 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
316 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 ...