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

learn more… | top users | synonyms (1)

0
votes
0answers
6 views

Holomorphic functional calculus and idempotents

Let $A$ be a unital Banach algebra. Given an element $a\in A$ with spectrum contained in the union of the balls of radius $\frac{1}{4}$ around 0 and 1, we may take a holomorphic function $f$ taking ...
1
vote
2answers
48 views

Making it possible to do a Fourier transform on it: $\frac{1}{(k+w)^2(a^2 +w^2)}$

Sorry for all the edits, I'm very stressed and not so used to Latex. Full question: consider a filter with impulse response $$h(t)=e^{-bt} u(t)$$ where $u$ is the unit step function. The input ...
1
vote
0answers
5 views

Spectral radius of matrix from SOR method

Suppose we write a matrix $A = L + D + U$ with lower triangular, diagonal and upper triangular parts. When trying to solve the equation $Ax=b$, we use a successive overrelaxation technique such that ...
1
vote
0answers
25 views

Applying holomorphic functional calculus to produce idempotents in a Banach algebra

Let $a$ be an element of a unital Banach algebra $A$. Suppose the spectrum of $a$ is contained in $B(0,\sqrt{\varepsilon})\cup B(1,\sqrt{\varepsilon})$ where $B(z,r)$ denotes the open ball of radius ...
2
votes
1answer
14 views

Efficiently compute the eigenvectors of the Laplacian of a symmetric positive matrix

I am working with a matrix A relatively large (200k x 200k), and I want to compute the eigenvectors of the Laplacian: $L = D - A^2$, where $A$ is symmetric. I don't need all eigenvectors, just a few ...
1
vote
0answers
9 views

Spectral convergence for collocation methods

Spectral methods work (simplified) as follows. Consider the problem \begin{align} \partial_t u(t,x) = \mathcal{L} u(t,x) \end{align} where $\mathcal{L}$ is some differential operator. We then try to ...
2
votes
1answer
21 views

adjoint of an operator. on $L^2(0,1)$, $Bf(x)=\int_0^x f(t)dt$

I see that the above operator is bounded. I ended up with an argument to calculate the adjoint as follows, $$ <f,Bg>=\int_0^1\overline{f(x)} \int_0^xg(t)\,dt\,dx $$ I see $f(x)$ as the ...
1
vote
0answers
34 views

Spectral Theorem for bounded, selfadjoint operators

I am trying to understand the proof of the spectral theorem for bounded, selfadjoint operators on a Hilbertspace $H$ in the book 'Functional Analysis' from Dirk Werner. The structure of the proof ...
0
votes
0answers
17 views

Extension of a self adjoint Operator

Suppose we have a open (bounded) domain $\Omega$ in $\mathbb R^d$. And let a plane $\mathcal P$ in $\mathbb R^d$ divides the domain in two (disjoint) open sets. (say $\Omega_1$ and $\Omega_2$) Hence ...
2
votes
0answers
35 views

A sequence of strongly continuous one-parameter unitary groups

Suppose that for a sequence $\{A_n\}_n$ of bounded self-adjoint operators in a Hilbert space $\mathcal H$ we have $e^{itA_n} \to e^{itA}$ strongly, for all $t \in \mathbb R$, where $A$ is a (possibly ...
3
votes
0answers
25 views

About prime geodesic cycles and deck transformations group

I'm proving theorem 2 occurring in Sunada's paper Riemannian coverings and isospectral manifolds. Unfortunately Sunada's quotes himself to the following paper: Tchbotarev’s density theorem for closed ...
3
votes
1answer
38 views

Discrete and Essential spectrum of Laplacian in $\mathbb R_{+}$ (with weird boundary conditions)

I am given on Hilbert Space $\mathcal H=L^2(\mathbb R_{+})$ $$ Af(x)=-f''(x) $$ and Domain of A is $$ D(A)=\{f\in H_2(\mathbb R_{+})\;\;| \;\;f'(0)+\alpha f(0)=0\} $$ for some $\alpha \in ...
0
votes
1answer
64 views

Convergence of the spectrum under norm resolvent convergence

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 norm resolvent sense. Since $A_n \to A$ in strong ...
1
vote
1answer
38 views

Relation between residual spectrum and point spectrum.

Suppose T is a bounded operator on a Hilbert space. Show that if λ is in the residual spectrum of T, then $\bar{λ}$ is in the point spectrum of the adjoint. Here is what I think needs to be done. ...
1
vote
1answer
46 views

When the point spectrum is discrete?

Are there some criteria to tell when the point spectrum of a linear operator is discrete? In general it is not the same (take the spectrum of the "annihilation" operator). More specifically, what are ...
5
votes
0answers
35 views

bounds of spectral radius of hadamard product

In Topics in matrix analysis by R. A. Horn, C. J. Johnson it's shown that for two positive matrices $A$ and $B$, $\rho(A\circ B)<\rho(A)\rho(B)$. I'm wondering whether the extension of this to ...
1
vote
1answer
38 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
7 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
104 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
25 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
125 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
49 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
29 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
19 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
29 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
19 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
22 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 ...
2
votes
0answers
34 views

Computing the Spectrum of an integral operator

Let $K:L^2([0,1])\rightarrow L^2([0,1]),$ $(Kx)(t)=\int_0^tx(s)ds$. Now I have to compute the spectrum. But I don't have any idea how to do this. If I would know when $(K-\lambda)$ is bijective then ...
3
votes
0answers
61 views

Spectral Measures: Helffer-Sjöstrand

Problem Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard almost analytic extensions: $$f_E\in\mathcal{C}^\infty_0(\mathbb{C}):\quad ...
1
vote
1answer
36 views

Spectral Measures: Stone's Formula

Given a Hilbert space. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Then Stone's theorem says: ...
2
votes
2answers
30 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
52 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
55 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
37 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
27 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
59 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= ...
1
vote
0answers
28 views

An integral identity in the spectral theorem

I have the following question concerning the spectral theorem: Let's suppose that $T$ is some self-adjoint operator (unbounded) in some Hilbert space $H$. Suppose in addition that ...
3
votes
2answers
52 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
23 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
81 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
44 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
115 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
29 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
31 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
18 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
38 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
29 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
23 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
61 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 ...