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

learn more… | top users | synonyms (1)

3
votes
1answer
237 views

Spectrum of shift-operator

Hoi, consider the Hilbertspace $l^2$ and the Left and Right-shift operator \begin{align*} L(x_1,x_2,\cdots) &= (x_2,x_3,\cdots)\\ R(x_1,x_2,\cdots) &= (0,x_1,x_2,\cdots ) \end{align*} I know ...
1
vote
1answer
121 views

Relation of Hodge Theorem to Eigenfunction Basis of Laplacian

The classical Hodge theorem I know of relates the de Rham cohomology groups isomorphically to the space of harmonic forms and shows that $Id=\pi+\Delta G$, where $\pi$ is the harmonic projection of ...
6
votes
4answers
220 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 ...
0
votes
0answers
30 views

Spectral radius as the inf of norms of conjugates

I need help with the following problem: Let $A$ be a unital $C^{*}$-algebra. (a) If $r(a)<1$ and $b=(\sum_{n=0}^{\infty}a^{*n}a^{n})^{1/2}$, show that $b\geq 1$ and $||bab^{-1}||<1$. (b) ...
0
votes
1answer
55 views

Resolvent properties

Suppose that $A$ is a $n \times n$ matrix with $n$ different eigenvalues $\lambda_k.$ Corresponding eigenvectors are denoted as $x_k$, $x_k^Tx_k =1.$ Now $A=X\Lambda X^{-1}$. Denote $Q=X^{-1}$. ...
0
votes
1answer
80 views

Spectrum of a product

Let $A$ be a unital $C^{*}$-algebra. I am trying to show that if $a,b\in A$ are positive elements, then the spectrum of $ab$ is contained in the positive real numbers. I know that in the commutative ...
1
vote
0answers
132 views

Inverse of bounded self adjoint operator on HS is self adjoint?

Let $A=A^{*}$ be a bounded self adjoint operator on a Hilbert space $\mathcal{H}$ with Range Ran$(A) = D$ dense in $\mathcal{H}$. $A$ is injective, since Ran$(B) \perp ker(B^{*}) = ker(B)$. So ...
1
vote
2answers
45 views

Why these are equivalent?

Situation: operator theory, spectrum of a operator. We consider this as definition: $\lambda$ is a eigenvalue if $\lambda x=Tx$ for some $x\ne 0$ but I see someone saying this: $\lambda ...
0
votes
0answers
86 views

Find the spectrum of this operator

$$O:l_p\to l_p\quad p\in[1,\infty]$$ $$Ox=(0,x_1,x_2,x_3,...)\quad \forall x=(x_1,x_2,x_3,...)\in l_p$$ if $\lambda\ne0$ then we have $$\lambda x-Ox=(\lambda x_1,\lambda x_2-x_1,\lambda ...
3
votes
1answer
41 views

Estimate loss of information due to a low rank approximization by SVD

I have a matrix $X$ and I compute its Singular Value Decomposition: $$X = U \Sigma V^T$$ then, I take the lower rank approximization: $$X_k = U_k \Sigma_k V^T_k$$ where $k < rank(X)$, $U_k$ is made ...
2
votes
1answer
68 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 ...
0
votes
3answers
67 views

Positive unbounded operator with zero not as an eigenalue

I am currently doing Quantum Mechanics and I am supposed to show that zero is an eigenvalue of a positive operator. I have no knowledge of Functional Analysis at that kind of level, so I was wondering ...
2
votes
2answers
138 views

Problem with spectral theorem and spectral measure.

There is a passage in a book that is not very clear to me: A is a C*Algebra and $a$ is selfadjoint. Then "Indeed identifying A with an algebra of operators on a Hilbert space $\mathcal{H}$, by the ...
0
votes
0answers
34 views

A domain in which the dirichlet laplacian has eigen values of all orders

I am trying to come up with an example to the following. Construct a domain $\Omega$ in all dimensions $n \in \mathbb{N}$, such that the spectrum of the Dirichlet Laplacian on such a domain (i.e., ...
1
vote
0answers
42 views

Fourier Transform of Fractional Laplacian

I'm trying to solve a PDE with a spectral method. The PDE has a fractional Laplacian... $\Delta^s$. In regards to a numerical implementation, will the "s" term simply become the exponent of the ...
0
votes
1answer
30 views

Strict inequality in spectral radius estimate

I am interested to find an example which shows strict inequality in the spectral radius estimate that is $r(x) \leq \|x \|$ . I would like to see when $r(x) < \|x\|$.Normal operator is the case ...
4
votes
1answer
80 views

Eigenvalues of the operator $(Tu)(x)=\int_0^x (\int_t^1 u(s)ds)dt.$

Consider the linear operator $T$ in $L^2(0,1)$ defined by: $$(Tu)(x)=\int_0^x \left(\int_t^1 u(s)ds\right)dt.$$ I have managed to prove that it's continuous,self adjoint,compact but now I have to ...
1
vote
0answers
40 views

Properties of the operator $ (Tu)(n)=u(n+1)-u(n-1)$

Let $T:l^2(Z,R)\to l^2(Z,R)$ the linear bounded operator defined by: $$ (Tu)(n)=u(n+1)-u(n-1)$$ a)Prove that the image of T is dense. b)Prove that $\forall \lambda\neq 0\quad t-\lambda I$ is ...
2
votes
1answer
34 views

Does non-Hermitian implies at least one complex eigenvalue?

Ok so I'm studying linear algebra and we went trough the Spectral Theorem, including and proving the fact that for every Herimitian matrix, its eigenvalues have $0$ imaginary parts. I was wondering is ...
3
votes
1answer
71 views

Connections between Lebesgue-Radon-Nikodym decomposition and spectral decomposition

Perhaps this is a silly question to ask but it's been on my mind for a bit. When I took my first course in functional analysis a year ago, we covered spectral theory. Particularly, we covered spectral ...
1
vote
1answer
460 views

Why does spectral norm equal the largest singular value?

This may be a trivial question yet I was unable to find an answer: $$\left \| A \right \| _2=\sqrt{\lambda_{\text{max}}(A^{^*}A)}=\sigma_{\text{max}}(A)$$ where the spectral norm $\left \| A \right ...
2
votes
1answer
104 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 ...
1
vote
1answer
89 views

Bounded Self-adjoint Operator on Hilbert Space

I am trying to show that if $A$ is a bounded, self-adjoint and positive operator on a Hilbert space $H$, $0 \in \rho(A)$, the following inequality holds for all $x \in H$ with $\|x\| = 1$: ...
0
votes
1answer
75 views

Square root in Banach algebra

Suppose we are given a unital Banach algebra $A$ and an element $a\in A$ such that the spectrum is a subset of the positive reals $\mathbb{R}_{>0}$. Then by a theorem (see for example W. Rudin ...
0
votes
1answer
734 views

The eigenvectors of a matrix and its transpose that correspond to the same eigenvalue are not orthogonal

Spent hours trying to prove this after encountering it in Lax's discussion of the spectral theorem, but no luck. Here's the problem (it is Theorem 18 in Lax 2ed, Chapter 6): A mapping $A$ has ...
3
votes
1answer
68 views

Spectrum of Symmetrizable Matrix

A matrix $ M $ is symmetrizable if $ M = D S $ with $ D $ a square diagonal matrix with positive entries, and $ S $ a symmetric matrix. What can be said about the spectrum of $ M $? It seems like I ...
0
votes
2answers
98 views

Prove that if $\lambda$ is an isolated eigen-value of $T=T^*$, then $\ker(T-\lambda)=E_{\{\lambda\}}H$

Here we have a self-adjoint, densely-defined operator $T$ on a Hilbert space $H$, and $E_M$ is the usual spectral projector for any Borel set $M$, i.e., $E_M=\int_M\text{d}E_t$ (this means, by ...
0
votes
1answer
34 views

“Almost orthogonalizing” matrices using a signature matrix

Suppose $A$ and $B$ are two real symmetric $n \times n$ matrices (If simpler, consider $A$ and $B$ to be 0/1 matrices, say, adjacency matrices of d-regular graphs). Then $||AB||_{op} \leq ...
2
votes
1answer
66 views

Spectral theorem for $n$-tuples of selfadjoint operators

I need a 'good' reference to the following version of the Spectral Theorem: Given $n$ commuting selfadjoint operators on an infinite-dimensional Hilbert space, there exist a Borel measure $\mu$ on ...
2
votes
1answer
121 views

expectation of norm of orthogonal projector

The question has to do with calculating the expected squared norm of a random projection. We have a 2D subspace $T := span\{U1, U2\}$ where $U1$ is a random vector uniformly distributed over unit ...
3
votes
1answer
63 views

equality of two operators…

Please help me with the following problem( give some hints or references): Let $X$ be a Banach space and $B(X)$ be the algebra of bounded linear operators on $X$. Suppose that $A$ and $B$ are two ...
0
votes
1answer
56 views

Proof of a Lemma guaranteeing the existence of the Borel-measurable functional calculus

In my lecture I had the following Lemma, which guarantees the existence of the Borel-measurable functional calculus: Le $(H,<,>)$ be a complex Hilbert space and let $q:H\rightarrow \mathbb{C}$ ...
1
vote
1answer
66 views

Using Weyl sequences to prove relation between quadratic form and spectral radius

I know that the formula $$\lVert A\lVert=\sup_{\lVert x\lVert=1} \langle x,Ax\rangle$$ holds true for self adjoint operators. While reading Teschl's book I saw a comment that on can prove this formula ...
0
votes
0answers
27 views

Time Series: Spectral Density

Prove that $$ \int_{-\pi}^\pi e^{i(k-h)λ} dλ = 0 $$ if k!=h solving the integral gives $$ \frac{2 sinh(\pi * i(k-h))}{i(k-h)} $$ I don't see how this will give 0 with k!=h (also if k=h, the ...
2
votes
1answer
144 views

Holomorphic functional Calculus in Dunford and Schwartz

I am currently studying the spectral theory for bounded operators as described in the book "Linear Operators" by Dunford and Schwartz because I would like to obtain a better understanding of the ...
3
votes
1answer
136 views

A simple question about *-homomorphism in C*-algebra

Let $A$ and $B$ be C*-algebra, $h\colon A\rightarrow B$ is *-homomorphism. If $a\in A_{\operatorname{sa}}$, then $\operatorname{sp}(h(a))\backslash \{0\}\subset \operatorname{sp}(a)\backslash\{0\}$. ...
1
vote
1answer
139 views

Adjoint of resolvent of self-adjoint, densely-defined operator on a Hilbert space

Let $H$ be a Hilbert space, $T=T^*$ a densely-defined linear operator on $H$. Denote the resolvent set of $T$ as $\rho(T)=\{\lambda\in\mathbb{C}~|~T-\lambda$ has bounded, everywhere-defined inverse}, ...
0
votes
0answers
38 views

Do eigenfunctions from symmetric ODEs really make up a base for $L^2$?

I'm confused about a theorem in some hand-out material on spectral theory for ODEs. The BVP is stated in the form $$ \begin{cases} L u = f\\ R u = 0 \end{cases} $$ over $I = [a,b]$. And ...
2
votes
0answers
71 views

Change of basis and spectral theorem

I've been having trouble with such a rudimentary problem. Let us define a matrix $A$: $$A = \begin{pmatrix} 3 & 0 & -i \\ 0 & 3 & 0 \\ i & 0 & 3 \end{pmatrix}$$ A is a 3 by 3 ...
0
votes
2answers
63 views

if T is normal, then $‎\sigma(T)=‎\sigma‎‎_{‎ap‎}‎(T)‎‎‎‎‎$‎

I want to show that if the operator T is normal, then $‎\sigma(T)=‎\sigma‎‎_{‎ap‎}‎(T)‎‎‎‎‎$‎ Its proof is obvious from one hand.But i cant prove that ...
3
votes
1answer
118 views

Real life applications of Maass wave forms

Explaining my work on Maass wave forms to friends and family (all non-mathematician) typically earns me blank faces. So I wonder whether there is some good example to explain their meaning to laymen. ...
4
votes
0answers
94 views

For $A$ self-adjoint, $\sup_{|x|=1}\langle Ax,x\rangle = \max \sigma(A)$

For a self-adjoint operator $A$ on a Hilbert space $H$, one has $\sup_{|x|=1}\langle Ax,x \rangle = \max\sigma(A)$. I want to prove this using the spectral theorem. My idea is: Let $a = ...
2
votes
0answers
67 views

Banach algebra.

Iam new in this field. I am reading a paper and have encoutered the following Lemma. Let $u\in F_{1}.$ Then $Sp(u)=\{0, tr(u)\},$ where $F_{1}$ is the set of one-dimensional elements and tr(u) is the ...
1
vote
1answer
64 views

Asymptotic of the heat kernel

I read Proposition 3.23(page 101) in Rosenberg's book "The Laplacian on a Riemannian Manifold" and not quite clear how to get the estimate $(4\pi t)^{n/2}|Q_k * H_k|\leq C \cdot t^{k+1}$ on a compact ...
4
votes
1answer
228 views

An alternate proof of Fuglede's theorem

To prove Fuglede's Theorem for normal operators on a separable Hilbert space, why does it suffice to show that $E(S_1)T E(S_2)=0$ for all disjoint Borel sets $S_1$ and $S_2$, where $E$ is the spectral ...
1
vote
0answers
96 views

Compactness of advection diffusion operator (elliptic operator)

Consider the ADE defined on a compact domain $\Omega \in \mathbb R^n$, with boundary $\partial \Omega$ Assume $u(x)$ is smooth incompressible vector field, with $u(x).\hat n(x)=0$ for $x\in \partial ...
1
vote
0answers
43 views

Solving an inverse spectral problem

In order to solve the inverse spectral problem: $$ -y''(x)+q(x)y(x)= \lambda _{n}y(x) $$ If we want to obtain $ q(x) $ what we should need about the spectrum? a) The eigenvalue staircase $ ...
1
vote
0answers
92 views

Examples of deeper results in finite-dimensional vector spaces?

this one is a bit inverted! So I am busy doing an advanced undergrad course in Linear algebra, and it is going very well, the problems in the book seem fairly routine. To be able to see if I am any ...
1
vote
0answers
43 views

How many projectors do two commuting self-adjoints have in their common spectral decomposition?

If $A$ and $B$ are two commuting observables on a Hilbert space of dimension $n$ say. So, $$A = \sum_{j \leq a} \lambda_j P_j $$ $$B = \sum_{i \leq b} \mu_i Q_i $$ $$I_n = \sum_{i \leq b} Q_j = ...
2
votes
1answer
213 views

How to convert between the hyperboloid model and the Poincare patch for $\mathbb{H}_n$?

This question is motivated by the results in this paper, http://calvino.polito.it/~camporesi/JMP94.pdf In this paper some of its most important results about the asymptotics of symmetric traceless ...