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
2answers
100 views

How to show Legendre Operator $L_{m}=-\frac{d}{dx}(1-x^{2})\frac{d}{dx}+\frac{m^{2}}{1-x^{2}}$ is Selfadjoint?

Let $m$ be a positive integer and define $$ Lf = -\frac{d}{dx}(1-x^{2})\frac{df}{dx}+\frac{m^{2}}{1-x^{2}}f $$ on the domain $\mathcal{D}(L)\subset L^{2}(-1,1)$ consisting of all twice ...
2
votes
1answer
177 views

Resolvent: Norm

Given a Banach space. Consider a closed operator: $$T:\mathcal{D}(T)\to E:\quad T=\overline{T}$$ Due to the Neumann series it holds: $$R(\lambda):=(\lambda- ...
2
votes
2answers
63 views

Is this some kind of Perron-Frobenius theorem?

If one has a matrix $A$ whose entries are all $\geq 0$ (or $>0$) then there apparently exists a diagonal matrix $D > 0$ (i.e all the diagonal entries are positive) and a constant $\alpha >0$ ...
2
votes
2answers
68 views

Spectral Measures: Unitary Map [duplicate]

This thread is a record. Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}\to\mathcal{H}:\quad N^*N=NN^*$$ and its spectral measure: ...
2
votes
1answer
68 views

Self adjoint operator has spectrum around 0 and 1

I need to prove the following statement: Let $\mathcal{A}$ be a unital $C^*-$Algebra, $A$ a self-adjoint element and $P$ a projection, so $P^2=P=P^*$. Let $\delta :=\|P-A\|$. I want to prove that ...
2
votes
1answer
37 views

Special Elements: Spectrum

Given a C*-algebra with unit $1\in\mathcal{A}$. For normal elements one has: $$A^*=A^{-1}\iff\sigma(A)\subseteq\mathbb{S}$$ $$A^*=A\iff\sigma(A)\subseteq\mathbb{R}$$ ...
2
votes
2answers
39 views

Construct a bounded linear operator S on H such that σ(S) = A

Given an infinite dimensional Hilbert space $H$. Let $A\subseteq \mathbb{C}$ be closed and bounded. Construct a bounded linear operator $S$ on $H$ such that $\sigma(S)=A$, where $\sigma(S)$ is the ...
2
votes
1answer
39 views

As $\lambda \to \infty$, $||R_{\lambda}(T)|| \to 0$

"Let $T \in B(X,X)$. Prove that $||R_{\lambda}(T)|| \to 0$ as $\lambda \to \infty$." We have that $R_{\lambda}(T)x=(T-\lambda I)^{-1}(x)$. The problem doesn't specify but the book says that they will ...
2
votes
1answer
147 views

Measurable functional calculus

I am struggeling with this exercise: Let $T \in L(H)$ be a self-adjoint operator and $\Psi$ be a measurable (Borel) functional calculus on the spectrum of $T$. For a Borel set $\Delta \subset \sigma ...
2
votes
1answer
117 views

Multiplication operator on $L^2$ and spectral theorem.

Let's consider the multiplication operator by the independent variable in $L^2(\mu)$, where $\mu$ is a borel regular measure on $\mathbb{C}$: $Mf(z)=zf(z)$. I want to show that if $\phi$ is a borel ...
2
votes
2answers
133 views

Definition of continuous spectrum of a bounded operator

Let $T$ be a bounded operator acting on a Banach space $X$. The point spectrum $\sigma_p(T)$ is of $T$ is defined to be $$\sigma_p(T):=\{\lambda\in\mathbb C~|~T-\lambda\text{ has nonempty kernel}\}$$ ...
2
votes
1answer
71 views

A characterization of a certain family of matrices in terms of another matrix.

Consider a real matrix $A$ of dimension $n \times n$. Assume $k \leq n$ is given. I am looking for ways to describe the following set of matrices in terms of properties of $A$. $\mathcal{S}(A) = \{B ...
2
votes
1answer
48 views

Prove that spec$(f(A)) = f$(spec$(A)).$

Can someone please explain this proof to me? Thanks! Let $A \in \mathbb{C}^n$ and let $f(x)$ be a polynomial. Prove that spec$(f(A)) = f$(spec$(A))$ (where if $S \subseteq \mathbb{C},$ $f(S) :=$ $\{ ...
2
votes
1answer
73 views

Definition of exponential for operators

if I have a self-adjoint operator $T:D(T) \rightarrow L^2$, then I define its unitary exponential operator by $$e^{iT}(f) := \lim_{k \rightarrow \infty} e^{iT_{k}}(f),$$ where $T_k(f):=\frac{1}{2} ...
2
votes
3answers
93 views

Prove that if $T=T^*$ and $\sigma(T)=\{\lambda\}$, then $T=\lambda I$

Show that if $T$ is a self adjoint linear operator on a Hilbert space such that the spectrum contains a single point $\lambda$, then $T=\lambda I$. Then, show this is false if $T$ is not self ...
2
votes
1answer
113 views

Selfadjoint Restrictions of Legendre Operator $-\frac{d}{dx}(1-x^{2})\frac{d}{dx}$

Problem: Let $Lf =-((1-x^{2})f')'$ be the Legendre differential operator defined on the domain $\mathcal{D}(L)$ consisting of twice absolutely continuous functions on $(-1,1)$ for which $f, Lf \in ...
2
votes
1answer
161 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$.
2
votes
1answer
113 views

Generalized eigenvalue problem; why do real eigenvalues exist?

Under this text, you can see two pairs of matrices $(A,C)$. I am currently solving the generalized eigenvalue $(A-\lambda C)v=0$ for several pairs of $(A,C)$ and found out that they also have real ...
2
votes
1answer
71 views

Establishing an inequality between the $2^{nd}$ largest eigenvalue of $A$ and a related matrix.

Let $A$ be an irreducible, aperiodic matrix with non-negative entries, with $1 \in \ker(A - I)$, $w \in \ker(A^\top - I)$, $w_i > 0$ $\forall i$. Define $W = \text{diag}(w)$. I am studying the ...
2
votes
1answer
103 views

Approximate point spectrum and left topological zero divisors

Recall that a left topological zero divisor in a Banach algebra $A$ is an element $a\in A$ such that there exists a sequence of unit vectors $(a_{n})$ in $A$ with $\lim_{n\rightarrow\infty}aa_{n}=0$. ...
2
votes
1answer
128 views

Closure of numerical range contains spectrum

Let $A: D(A) \subset \mathcal{H} \to \mathcal{H}$ be a densely defined operator on a Hilbert space $\mathcal{H}$ with adjoint operator $A^{*}$. Given that $D(A) = D(A^{*})$ I'm trying to show that the ...
2
votes
1answer
146 views

Eigenvalues and adjoint of operator $T(x_k)_{k=1}^{\infty} = (x_{2k})_{k=1}^{\infty}$

Let $T$: $l^2 \rightarrow l^2$ denote the operator \begin{align} T(x_1,x_2,\dots, x_n,\dots) = (x_2,x_4,\dots,x_{2n},\dots). \end{align} There are several questions regarding this operator that I need ...
2
votes
1answer
169 views

Spectrum of linear operators

I can't solve the following: i) Let $T:l^2 \rightarrow l^2$ , $Tx=\{ (Tx)_n\}_{n=1}^{\infty}$ given by $$(Tx)_n = \dfrac{1}{2}x_{n-1} + \dfrac{1}{2}x_n.$$ Find $\sigma(T)$. ii) Let $S : l^2 ...
2
votes
1answer
297 views

Spectral family property: $\lambda \geq M \Rightarrow E_{\lambda} = I$

I'm following Kreyszig's "Introductory Functional Analysis with Applications" and I'm trying to follow his proof about some properties of a spectral family associated with a bounded self-adjoint ...
2
votes
1answer
116 views

spectral radius monotonicity

I encountered an inequality when reading a paper. Can someone help to show how to prove it? Let be the spectral radius of matrix $A$ or $\rho(A)=\max\{|\lambda|, \lambda \text{ are eigenvalues of ...
2
votes
1answer
367 views

Residual spectrum is empty

I'm following Kreyszig's "Introductory Functional Analysis with Applications" and am trying to follow the proof of the following Theorem (9.2-4 on p. 468) For a bounded self-adjoint linear operator ...
2
votes
1answer
71 views

Proof that $A^n = \frac{1}{2\pi i} \oint _C z^n \left(z - A \right)^{-1} dz$

I'm working my way through Martin Schechter's 'Principles of Functional Analysis' (2nd ed.) and am trying to understand his proof of the following theorem, given on page 136: "Let $T:X\to X$ be any ...
2
votes
1answer
140 views

Show for compact operator $K$, if $||Kf|| < ||f|| \forall f$, then $||K|| < 1$.

I wanted to check my reasoning on proving this statement, and see if anyone had suggestions for other proofs of this fact. Again, the statement is, if $K$ is a compact operator on a Hilbert space ...
2
votes
1answer
271 views

Compact resolvent

Given that the operator $$ Hf(x) = -xf''(x) + (x - 1)f'(x) $$ on the Hilbert space $L^2([0,\infty),e^{-x}dx)$ possesses, for each $n \in \mathbb{N}$, an eigenvalue $\lambda_n = n$ with eigenvector ...
2
votes
1answer
215 views

What is the spectral radius of the operator $T_k:C[0,1]\to C[0,1]$ defined as $T_k x (t)= \int_0^1 k(t,s) x(s) ds$?

I would like to know the spectral radius of the operator $T_k$ from $C[0,1] \to C[0,1]$ : $$T_k x (t)= \int_0^1 k(t,s) x(s) ds$$ where $k(x,y)\colon [0,1]^2 \to \mathbb C$ is continuous. And ...
2
votes
1answer
274 views

Reconstructing a Matrix in $\Bbb{R}^3$ space with $3$ eigenvalues, from matrices in $\Bbb{R}^2$

I have a matrix which represents a closed loop matrix of a control system with delays (Control Systems Theory) in $\Bbb{R}^3$ space that has $3$ eigenvalues. Through some process I have obtained three ...
2
votes
1answer
42 views

Tensoring Spectral triples that are composed from Real algebras.

I have a misunderstanding that I am hoping is really quite trivial. In connes standard Non-commutative geometry model of electroweak interactions he takes the algebra input in his finite spectral ...
2
votes
1answer
251 views

Fixed-point method in many-dimensions

A well known method of easily solving multi-dimensional non-linear root finding problems, is to bring the equations into the form: $$\bf x = g(x)$$ And then iterating. The problem is, one has to find ...
2
votes
2answers
117 views

can I decide the following from the inverse of I-A?

I have a square matrix $A$. Is it possible to determine if its largest eigenvalue is smaller (by magnitude) than 1 by inspecting the matrix $(I-A)^{-1}$? (we can assume that $I-A$ is invertible.) ...
2
votes
1answer
214 views

Characterizations of the form domain for unbounded selfadjoint operators

This question follows from this one and especially from Willie Wong's answer: link. In Reed & Simon's book Methods of modern mathematical physics, vol. I, pag.277, the form domain of a ...
2
votes
1answer
372 views

Simple isolated eigenvalue and pole of the resolvent

Let $T$ be bounded linear operator on some complex Banach space, and $\lambda$ an eigenvalue of $T$ which is isolated in its spectrum, and such that $\bigcup_{n\ge 1} N((T- \lambda I)^n)$ is ...
2
votes
1answer
32 views

Spectrum is finite or unbounded

Let $X$ be a Banach space and $A:D(A)\subset X\to X$ be a linear and closed operator with $\rho(A)\neq \emptyset$. Suppose that the map $$j:\left(D(A),\|\bullet\|_A\right)\hookrightarrow ...
2
votes
0answers
21 views

Image density in spectral theory

The operator $T$ is $\dfrac{d}{dt}$ and $$\left\{\begin{array}{lc}x'(t)-\lambda x(t)=-y(t)\\ x(0)=0\end{array}\right.$$ and the domain of $T$ is $D(T)=\{x\in L^2(0,\infty):\; x\; \text{absolutely ...
2
votes
0answers
52 views

Isolated Eigenvalues on the Extensions.

I asked this question on Mathoverflow http://mathoverflow.net/questions/226484/isolated-eigenvalue-of-t-is-also-an-isolated-eigenvalue-of-overlinet and because of the comments apparently the answer ...
2
votes
1answer
24 views

Is $f$ unitary if $f\in L(V,V)$ such that $a<\frac{\|f^n(v)\|}{\|v\|}<b$, with $0<a<1<b$, for all $n\in \mathbb{N}$ and nonzero $v$

Let $V$ be a complex inner product space. Is $f$ unitary if $f\in L(V,V)$ such that $a<\frac{\|f^n(v)\|}{\|v\|}<b$, with $0<a<1<b$, for all $n\in \mathbb{N}$ and nonzero $v$? If not, ...
2
votes
1answer
78 views

If $0\leq a \leq b$ and $a$ is invertible, then $b$ is invertible

Let $\mathscr A$ be a unital C*-algebra and let $a,b\in \mathscr A$ such that $0\leq a \leq b$ and $a$ is invertible. How to show that $b$ is invertible? ($0\leq a \leq b$ means that $a,b$ is ...
2
votes
1answer
27 views

How to do spectral decomposition?

I missed the last couple classes due to a family emergency and am trying to catch up with review questions. However, I can't seem to find an online source that teaches how to compute a spectral ...
2
votes
0answers
39 views

Linearization of PDE: $0$ is an eigenvalue since all translates of travelling waves are also travelling waves

Consider the following PDE: $$ u_t=u_{xx}+f(u)-w,~~~~~w_t=\varepsilon (u-\gamma w),~~~~~~~~~(1) $$ where $f(u)=u(u-a)(1-u), 0<a<\frac{1}{2}, \varepsilon,\gamma >0, \varepsilon\ll 1,\gamma\ll ...
2
votes
0answers
45 views

Laplace-Beltrami operator

I'm interesting in the Laplace-Beltrami operator on a sphere, more precisely its spectral properties including the spectral function, etc. So if someone can give me some references that treats this ...
2
votes
0answers
32 views

What theorem is this in the infinite dimensional case?

The spectral theorem for compact, self-adjoint operators is as I have understood the infinite dimensional case for orthogonal diagonalisation of a symmetric case in linear algebra? But in linear ...
2
votes
1answer
57 views

Estimate spectral radius of operator product

In my research problem, I have to estimate the spectral radius of the following operator $\chi A$ where $\chi$ is a scalar function taking values 0 or 1 and $A$ is an operator. I can compute ...
2
votes
1answer
39 views

The distribution solution to $L^{+} u=0$ is u=0, where $L^{+}=-\frac{d}{dx}+x$?

Consider the creation operator $L^{+}=-\frac{d}{dx}+x$. If $u\in L^2(\mathbb{R})$ and is a distribution solution to the equation $L^{+}u=0$, then for any $\phi\in C_0^{\infty}(\mathbb{R})$ we have ...
2
votes
0answers
29 views

Calabi's theorem

I've just heard about Calabi's theorem (Minimal immersions of surfaces in Euclidean spheres). Theorem Let $\phi : \mathbb{C}\mathbb{P}^1 \longrightarrow (S^n,g_{S^n})$ be a full harmonic map. ...
2
votes
0answers
41 views

Proposed proof Decomposition theorem

Let $\mathcal{A}$ be a unital Banach algebra. I want to prove that if $a \in \mathcal{A}$ and spectrum $\sigma(a) = \sigma_{1} \cup \sigma_{2}$ where $\sigma_{1} \cap \sigma_{2} = \emptyset$, ...
2
votes
1answer
52 views

Spectral theorem for momentum operator

I'm trying to apply the spectral theorem to the explicit example of the momentum operator: \begin{equation} p:= i\frac{d}{dx} \end{equation} on the domain $D=\{\psi\in H^1(0,2\pi)\ |\ ...