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

learn more… | top users | synonyms (1)

1
vote
1answer
62 views

Eigenvalue of the sum of a symmetric matrix and the outer product of it's eigenvector

I have a symmetric matrix $A$ with eigenpairs $(\lambda_k, v_k)$ with $k \in (1,..,n)$. A new matrix $B$ is made from an eigenpair $(\lambda_i, v_i)$ like this: $$B = A - \lambda_i v_i v_i^T$$ where ...
0
votes
0answers
9 views

Equivalent definition of the Kreiss constant

Let $A$ be an $n\times n$ matrix. The $\epsilon$-pseudospectrum of $A$ is defined to be $\{z\in\mathbb{C}:\|(zI-A)^{-1}\|\geq\frac{1}{\epsilon}\}$, where the norm considered is the operator norm ...
5
votes
1answer
117 views

Several questions about integral operators.

I have been fumbling with expressions of the form \begin{equation} A\{f\}(s) = \int A(s,t)f(t)\operatorname{dt} \tag{$\star$} \end{equation} as a generalization of the matrix product. When looking ...
1
vote
1answer
34 views

Heat operator formalism via spectral projections and Dirac measure

I am currently reading very helpful notes on the Heat kernel $p(t,x,y)$ on a Riemannian manifold $M$ -- there is one aspect though that I am not sure I understand notationally, it says that we can ...
3
votes
0answers
136 views

Why the equality of spectral zeta functions imply the isospectrality?

Let $\Delta_{M_1}$ and $\Delta_{M_2}$ be the Laplace-Beltrami operators on two compact and connected Riemannian manifolds $M_1$ and $M_2$ respectively. We define the spectral zeta function (or ...
2
votes
2answers
64 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 ...
1
vote
1answer
39 views

Question on the spectral radius, regular splitting, and non-singularity/non-negativity

Given $A$ in $R^{nxn}$ and its regular splitting M and N (A = M - N), $M$ is nonsingular and $M^{-1}$ and $N$ are nonnegative. If the spectral radius $p(M^{-1}N)<1$, show $A$ nonsingular and ...
0
votes
0answers
24 views

Self adjoint operator with countable eigenvalues

It has been explained here that any self adjoint operator on a seperable Hilbert space inhabits at most countable many eigenvalues. Now I wonder, can one construct an operator $$ T : L^2([0,1]) \to ...
0
votes
0answers
11 views

Relationship between pseudospectral abscissa and inverse of the norm of the resolvent

For $\epsilon>0$, the $\epsilon$-pseudospectrum $\Lambda_{\epsilon}(a)$ of an element $a$ of a Banach algebra $A$ is defined to be ...
0
votes
1answer
30 views

Notion of eigenspace preserving transformations

I was reading through a linear algebra textbook, and I'm not sure what does the following statement refer to: $\textbf{"For a vector space V, the eigenspaces of a transformation}$ $T: V \rightarrow ...
0
votes
1answer
27 views

Isolated eigenvalues of a self adjoint operator

If $X$ is a separable Hilbert Space and $T : X \to X$ selfadjoint and bounded, then the point spectrum $$ \sigma_p(T) $$ is only countable as explained here. I have the following three questions: ...
0
votes
1answer
35 views

GNS Construction on non-unital algebra

STATEMENT: If A has a multiplicative identity 1, then it is immediate that the equivalence class $ξ$ in the GNS Hilbert space H containing 1 is a cyclic vector for the above representation. If $A$ is ...
4
votes
1answer
66 views

Compute the spectrum of the integral operator $K:L^2([0,1]) \to L^2([0,1])$ defined as $(Kx)(t) = \int_0^t x(s) ds$

Let $K:L^2([0,1])\rightarrow L^2([0,1])$ be the linear operator defined by $$(Kx)(t)=\int_0^tx(s)ds, \quad x \in L^2([0,1]).$$ Now I have to compute the spectrum, but I don't have any idea how to do ...
3
votes
1answer
98 views

Spectral Measures: Helffer-Sjöstrand

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard a function: $$f\in\mathcal{C}^\infty_0(\mathbb{R}):\quad ...
1
vote
1answer
72 views

Spectral Measures: Stone's Formula

Given a Hilbert space. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard its spectral measure: $$E:\mathcal{B}(\mathbb{R})\to\mathcal{B}(\mathcal{H}):\quad ...
2
votes
2answers
35 views

Product unbounded operators

Let $A : D(A) \subset H \rightarrow H$ be unbounded and $B$ be a bounded operator, both of them are self-adjoint, then $(AB)^* = B^*A^*$ and $(BA)^* = A^*B^*$, right? I just wanted to be sure that ...
0
votes
1answer
90 views

Spectral theorem for unbounded self-adjoint operators, questions about the proof

I want to understand the proof of the Spectral theorem for unbounded self-adjoint operators. First the theorem: Let H be a separable complex Hilbert space, $A:D(A)\subseteq H\to H$ a densily defined ...
4
votes
1answer
78 views

Existence of idempotents versus existence of projections in a C*-algebra

Let $\mathcal{A}$ be any C*-algebra. Suppose $x\in\mathcal{A}$ is idempotent, with $x\neq 0$ and $x\neq 1$. Does it follow that $\mathcal{A}$ admits nontrivial projections? Clearly, when $x$ is ...
1
vote
1answer
41 views

Is the minimiser of the quadratic form of a semi-bounded self-adjoint operator an eigenstate?

I am wondering whether the following fact, for which I know well the proof when $H$ is a Schroedinger operator (see Lieb-Loss, Analysis, Chapter 11), is also true in the general setting used below, ...
0
votes
1answer
34 views

Stieltjes inversion formula

Let $[a,b] \subset \rho(T)$ and $T$ be a self-adjoint operator then I want to show that $0=\frac{1}{\pi} \lim_{\varepsilon \downarrow 0} \lim_{\delta \downarrow 0} \int_{a+\delta}^{b+\delta} ...
3
votes
1answer
77 views

Proof of the spectral theorem

I am currently going to through my proof of the spectral theorem that we had in class, but I feel that I have copied some nonsense from the board. So we defined the Cayley transform $U= ...
3
votes
2answers
58 views

Approximate Identities

Statement : Let $U$ be a C* algebra and$\lambda=\left\{A\in U:A\geq 0, ||A||<1\right\}$. If $B\in \lambda$ then if $X\in U$ $$||X^*(I-B)^2X||\leq ||X^*(I-B)X||$$ For reference this is from ...
0
votes
0answers
24 views

Discrete Laplace: ONB

Before, consider the discrete Laplace without boundary: $$\Delta:\ell^2(\mathbb{N})\to\ell^2(\mathbb{N}):(\Delta u)_k:=\frac12(u_{k-1}+u_{k+1})$$ Regard the unitary transformation: ...
7
votes
0answers
98 views

Essential Selfadjointness of Quantum Harmonic Oscillator Hamiltonian

The Hamiltonian for the Quantum Harmonic Oscillator is (disregarding constants) the Hermite operator $$ Hf = -f''+x^{2}f, $$ where $\mathcal{D}(H)$ consists of all twice absolutely ...
1
vote
1answer
65 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- ...
3
votes
2answers
129 views

Maximal Ideal Spaces

STATEMENT: Let $C_b(\mathbb{R})$ be the $C^*$-algebra of bounded continuous functions on $\mathbb{R}$. Let $A$ be the $C^*$-subalgebra of $C_b(\mathbb{R})$ generated by $C_∞(\mathbb{R})$ together with ...
0
votes
1answer
33 views

What is the notion of “character” in the context of Cayley graphs?

I am looking at these notes, http://www.eecs.berkeley.edu/~luca/books/expanders.pdf On page 37, Lemma 5.16, the notion of "character" defined seems to be any map from the finite Abelian group to ...
1
vote
0answers
33 views

Can one go from eigenvectors (and eigenvalues) to the SVD of a matrix?

If I know all the eigenvectors and eigenvalues of a matrix, can I use that to directly write down the SVD of a matrix? (...of course one trouble is that for the $0$ eigenvalues of the matrix, the ...
1
vote
0answers
19 views

Relationship between spectrum of $-\Delta:H^1(M) \to H^{-1}(M)$ and $-\Delta:L^2(0,T;H^1(M)) \to L^2(0,T;H^{-1}(M))$?

Let us take a compact Riemannian manifold $M$. Let us define $-\Delta:H^1(M) \to H^{-1}(M)$ by $$\langle -\Delta u, v \rangle = \int_M \nabla u \nabla v$$ and $-\tilde \Delta:L^2(0,T;H^1(M)) \to ...
1
vote
1answer
44 views

The second smallest eigenvalue of a complete binary tree

Apparently it is true that the second smallest eigenvalue of a complete binary tree is $\theta(\frac{1}{n})$. Can someone point out a reference which proves this?
1
vote
1answer
39 views

C* Algebra Positivity

STATEMENT: This is a proof from one of Qiaochu's notes on $C^*$ algebras. Proof: Let A be a $C^*$ algebra.We now want to show that for any $c\in A$ we have $c^*c\geq 0$. Suppose otherwise.We know ...
1
vote
1answer
27 views

C* algebra and ordering

It seems that given positive elements in a $C^*$ algebra A, we can give an ordering on its elements. Namely given elements $a,b\in A$ is positive iff $a\geq 0$ and $b\leq 0$ iff $-b\geq 0$. My ...
4
votes
1answer
69 views

Is this graph and its spectrum understood?

Consider the graph whose vertices are labelled by the binary representation of the integers from $0$ to $2^{d}-1$ for some $d \in \mathbb{N}$. So its a graph with $2^d$ vertices. An edge exists ...
3
votes
1answer
65 views

Spectral mapping theorem of the measurable functional calculus

Let $H$ be a hilbert space and $T\in L(H)$ a self adjoint operator. Show that we have in general $\sigma(f(T))\neq f(\sigma(T))$ Any tips? If I choose a self adjoint operator how the measurable ...
4
votes
1answer
44 views

Application of the spectral mapping theorem

Let $T:L^2((0,2)\rightarrow L^2((0,2))$, $(Tx)(t):=\begin{cases} x(t+1), & 0<t<1\\ 0,& \text{elsewhere} \end{cases} $ Show that $T$ is well defined and $\sigma(T)=\sigma_p(T)=\{0\}$ ...
0
votes
1answer
88 views

Spectrum of Laplacian on Half line. $\left [0, \infty \right)$

I would like to calculate the spectrum of Dirichlet and Neumann Laplacian of the domain $\left [0,\infty \right)$. To be precise, Define the Operator $T$ on $L^2\left[0,\infty\right)$ as $Tf=-f''$ ...
2
votes
2answers
130 views

Is there a diagonal matrix D such that DMD is SDD, where M is SPD matrix?

Let $M$ be symmetric and positive definite matrix (SPD). It is known [1] that if $M$ is SPD and in addition satisfies $M_{ij}\leq 0$, for $i\neq j$ (called M-matrix) then there is a positive ...
2
votes
1answer
46 views

Unitary Equivalent of Derivative in Fourier Space

It is known that for $L^2(\mathbb R)$ the operator $Tf(x) = if'(x)$ is unitary equivalent to $\hat T \hat f(\xi )= \xi \hat f(\xi) $. Where domain of T is $H^1(\mathbb R)$. Hence the Spectrum of T in ...
1
vote
1answer
33 views

Do spectrum and Eigenvalues of $Af=-f''$ concide (under dirichlet boundary conditions)

I am asked to show that for the operator $$ Af = -f'' $$ with $D(A)=\left\{f\in H^2(0,1), f(1)=f(0)=0 \right\} \subset L^2(0,1)$ is self Adjoint in $L^2(0,1)$ (This part is solved). I cannot see ...
2
votes
0answers
45 views

Strong resolvent convergence and spectral measures

Suppose $\{A_n\}$ is a sequence of self-adjoint operators in a Hilbert space $\mathcal H$, and $A$ is a self-adjoint operator, with $A_n \to A$ in the strong resolvent sense. Denoting by $E_n$ and $E$ ...
1
vote
1answer
81 views

Almost Mathieu operator

I'm having trouble showing that the almost Mathieu operator given by $$(Hu)_n = u_{n+1} + u_{n-1} + 2\lambda \cos \ [2 \pi (w + n\alpha)]u_n$$ Where $\lambda, \in \mathbb{R}$$, \alpha, w \in ...
2
votes
2answers
53 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$ ...
1
vote
0answers
46 views

For a Banach algebra $\mathcal{A}$ and an idempotent $e$, show that $\mathcal{A}e$ is a Banach algebra

I am studying the spectral theory of operators on Banach and Hilbert spaces, reading through Conway's A Course in Functional Analysis. In section VII.4, Conway states Proposition 4.11 as a consequence ...
1
vote
1answer
50 views

Understanding a proof from Conway: showing existence of idempotents using functional calculus

I am studying the spectral theory of operators on Banach and Hilbert spaces, making use of Conway's A Course in Functional Analysis. In section VII.4, Conway states Proposition 4.11 as a consequence ...
2
votes
2answers
60 views

Self-adjoint operator- domain unique?

I was wondering about the following: Let $T : dom(T) \subset H \rightarrow H$ be a self-adjoint operator, does this mean that the domain of $T$ is uniquely defined or is it possible to make the same ...
0
votes
0answers
58 views

Spectrum of convolution operator

I was trying to find the spectrum of the convolution operator $$ J \ast u = \int_D J(x-y) u(y) dy $$ for bounded domain $D \subset \mathbb{R}$. Does anybody know it or have a reference for me? ...
2
votes
2answers
62 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: ...
1
vote
1answer
56 views

Spectral Measures: Embedding

This thread is just a note! Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ And its spectral measure: ...
0
votes
1answer
112 views

Spectral Measures: Uniqueness

Given a Hilbert space $\mathcal{H}$. Consider spectral measures: $$E^{(\prime)}:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ Denote their operators by: ...
1
vote
0answers
52 views

Schrödinger Semigroup is compact if potential goes to infinity

Several papers (e.g. this one: arXiv:0810.3275v1 [math.SP] 17 Oct 2008 ) claim that if $H=-\Delta+V$ and $V(x)\to\infty$ if $|x|\to\infty$, then the semigroup $e^{-tH}$ is eventually compact. Does ...