Spectral theory is the study of generalized notions of eigenvalues and eigenvectors for linear operators in Banach spaces.

learn more… | top users | synonyms (1)

2
votes
1answer
40 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
59 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
116 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
107 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
189 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
81 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
22 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
33 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
83 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
62 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
38 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
66 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
67 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 ...
1
vote
1answer
70 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
90 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
51 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
2answers
83 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
122 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
139 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 ...
1
vote
1answer
100 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 ...
2
votes
1answer
120 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
35 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
125 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.) ...
1
vote
2answers
138 views

Normal Operators: 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
102 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
91 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
93 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
78 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
85 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 ...
5
votes
1answer
130 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
367 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: ...
2
votes
0answers
36 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
76 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
95 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 ...
1
vote
1answer
36 views

When $A_y$ is invertible?

Given $y\in C[0,1]$ Let $A_y:C[0,1]\rightarrow C[0,1]: x\mapsto xy$ When $A_y$ is invertible? Could you please help.
1
vote
1answer
35 views

How to find the point spectrum $\sigma_p(A)$ of $A$

How to find the point spectrum $\sigma_p(A)$ of $A$ Consider the Hilbert space $H=l_2$ over the complex field and $A:H\rightarrow H.$ ...
-2
votes
1answer
103 views

eigenvalues to Laplacian

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2(\Omega )$. Let $(\lambda_n)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and $(e_n)_n$ the ...
1
vote
1answer
106 views

Help please eigenvalue of Laplacian

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2\left(\Omega \right)$. Let $\left(\lambda_n\right)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and ...
6
votes
0answers
107 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 ...
0
votes
1answer
65 views

Positive Operator: Norm Estimate

In class we encountered the statement: $$H\geq C1\quad(C>0)\implies\|\mathrm{e}^{-\beta H}\|<1\quad(\beta>0)$$ How does one prove this? Moreover, what about the weakened version: $$H\geq ...
0
votes
0answers
53 views

Question with tried Eigenvalues of Laplacian operator and Sobolev spaces III.

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2(\Omega )$. Let $(\lambda_n)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and $(e_n)_n$ the ...
2
votes
1answer
54 views

Module algebras

Spectrum: For Banach algebra $A$ spectrum is denoted by $\sigma(A)$ and defined as the set of all non-zero bounded linear multiplicative function from $A$ to $\Bbb C$.(Function $\psi:A\to\Bbb C$ is ...
0
votes
1answer
48 views

How to find the spectrum $\sigma_p(P)$

How to find the spectrum $\sigma_p(P)$: Let $P:H\rightarrow H$ be an orthoprojection, $P\neq 0, P\neq I$. could you please help
2
votes
2answers
74 views

How to show: $A_y$ has no eigenvectors if $y$ is not constant on any subinterval of $[0,1]$

Let $y\in C[0,1]$ and $A_y : C[0,1]\rightarrow C[0,1]: x\mapsto xy$ How to show: $A_y$ has no eigenvectors if $y$ is not constant on any subinterval of $[0,1]$. Could you please help.
1
vote
1answer
32 views

Proof that solution of $\lambda$-affine, linear ODE is entire in $\lambda$

Suppose $F(\lambda)~(\lambda\in\mathbb{C})$ is a linear ordinary differential operator (with, say, domain $D$ dense in some Hilbert space), and is also affine-linear in $\lambda$. Is there a proof ...
1
vote
2answers
229 views

Eignvalues of Laplacian operator and Sobolev spaces

Let $\Omega$ an open bounded in $\mathbb{R}^n$ and $I$ un interval in $\mathbb{R}$, let $t_0 \in I$, $f\in H^1_0(\Omega)$, $g\in L^2(\Omega)$. Let $(\lambda_n)_{n\in \mathbb{N}}$ the eigen values od ...