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

learn more… | top users | synonyms (1)

0
votes
1answer
79 views

Proof that the spectrum of an element of a Banach Algebra is non-empty

I don't see why the line indicated with ***** in the following proof is true in the proof that spectrum of an element of a Banach Algebra is non-empty (Arveson, p.27) : For every $\lambda_0 \not\in ...
0
votes
1answer
53 views

Spectrum of Unitary Operators

Let $T_1$ and $T_2$ be two unitary operators. Is it true that the spectrum of $T_1+T_2$ is contained in the closed disc of radius 2?
0
votes
0answers
35 views

Spectral methods with linear programming

Is it possible to model and solve some fundamental spectral methods (say Singular-Value Decomposition) with (Integer?) Linear Programming? Update: say you want to do SVD. Can you model it as a ...
1
vote
3answers
312 views

Spectrum of a nilpotent operator

Let $X$ be a Banach space and $A:X\to X$ be a bounded operator such that $A^n=0$ for some $n\in \mathbb{N}$. Is the spectrum of $A$ finite, countable ?
0
votes
0answers
17 views

pertubation of an operator by orthogonal projection

Let $G$ be an operator with compact resolvent on Hilbert space $H$ such that $\ker G$ is different from $\{0\}$. Let $P$ be the orthogonal projection onto $\ker G$, and let $G_{0} = G+P$ My question ...
0
votes
1answer
58 views

Eigenfunctions of a second derivative operator

Consider the operator $L :=\frac{-d^2}{dy^2}+ \alpha^2 - K(y)$ on the space of functions $f(y) $ on $H^2(-a,a) \cap H_0^1(-a,a)$. Here $K(y)$ is an even function and $\alpha >0$ is a positive real ...
0
votes
0answers
15 views

wave propagation - Memory variables and weak formulation

Working on the acoustic wave equation (not in terms of displacement $u$ but in displacement potential $X$ s.t. $\rho u = \nabla X$), I'm trying to get a proper viscoacoustic model by the mean of ...
0
votes
1answer
44 views

Eigenvalue of Compact Operators

To prove that the set of eigenvectors of a compact linear operator on a normed space $X$ is countable, I read "it suffices to show that for every real $k > 0$ the set of all eigenvalues whose ...
0
votes
1answer
41 views

spectrum of compact operators

Let $\phi\in\ell^\infty(\mathbb{N})$. For $p\in[1,\infty]$, define $$M_\phi:\ell^p\to\ell^p,\quad f\mapsto\phi f.$$ Use spectral theory to show that, if $M_\phi$ is compact, then $\phi\in c_0$. Here ...
4
votes
1answer
260 views

Proving Stone's Formula for Constructively obtaining the Spectral Measure for $A=A^\star$

Let $A$ be a bounded or unbounded selfadjoint linear operator on a complex Hilbert space $H$ with spectral representation $A=\int_{\sigma}\lambda \, dE(\lambda)$ given by the Spectral Theorem for ...
0
votes
1answer
36 views

Where is a mistake in my proof concerning the spectrum of elements of a unital Banach algebra?

I was going to prove: Let $A$ be a unital Banach algebra. Then $$\sigma(a) = \{\tau(a) \mid \tau \in \Omega (A)\}$$ and I started the following argument: Let $\lambda \in \sigma (a)$ and let ...
1
vote
1answer
152 views

Norm of the Resolvent of a Self-Adjoint Operator

Let $\mathcal H$ be a Hilbert space and $\mathcal L$ is a self- adjoint operator with a discrete spectrum $\{\lambda_{j}\}$. I read that it is well known that for, $\lambda \notin \sigma(\mathcal ...
1
vote
2answers
92 views

Spectrum of Self-Adjoint Operators

This is an exercise (5-i) from here. It has two parts as follows. For a self-adjoint operator $A$. Show that $A \geq k I, \ k \in \mathbb R$ if and only if $\lambda \geq k$ for all $\lambda$ ...
3
votes
1answer
156 views

How to use the Spectral Theorem to Derive $L^{2}(\mathbb{R})$ Fourier Transform Theory

Without using Fourier transforms, how do I derive the spectral measure for $A=\frac{1}{i}\frac{d}{dt}$ on the domain $\mathcal{D}(A)$ consisting of absolutely continuous functions $f\in ...
1
vote
2answers
33 views

A question about spectral measure

The following is a part of a theorem of Takesaki's Operator theory: Let $T$ be an positive operator. Suppose $T = \int_0^{\|T\|} \lambda \, de(\lambda)$ is the spectral measure of $T$. Also put ...
0
votes
0answers
22 views

Modifications to the definition of graph Laplacian?

Many people have defined various definitions for graph Laplacian. For example see here [1]. What is common between various definitions of Laplacian that makes all of them ``Laplacian"? For example ...
1
vote
1answer
52 views

A question about spectral theorem

The following is a discussion about spectral theorem of Folland's Harmonic analysis page 18. Suppose $A$ is a unital commutative C*- subalgebra of $B(H)$ and $u,v\in H$. Put $\Sigma = \sigma(A)$ . ...
2
votes
1answer
108 views

Spectral convergence of coefficients of a Fourier series

I have seen claims that if a smooth function $f(x)$ is represented by its Fourier series, $f(x)=\sum_{n=-\infty}^\infty a_ne^{i(nt)}$, then as $|n|\rightarrow\infty$, then $|a_n|\rightarrow 0$ ...
2
votes
1answer
107 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 ...
5
votes
1answer
74 views

Is there a cyclic vector for $-\frac{d^{2}}{dx^{2}}$ on $L^{2}[0,2\pi]$ with periodic conditions?

Let $\mathcal{H}=L^{2}[0,2\pi]$, and let $L=-\frac{d^{2}}{dx^{2}}$ on the domain $\mathcal{D}(L)$ consisting of twice absolutely continuous functions $f$ on $[0,2\pi]$ with $f''\in\mathcal{H}$ and ...
5
votes
1answer
64 views

How to show $e^{-x}$ is a cyclic vector for $-\frac{d^{2}}{dx^{2}}$ in $L^{2}[0,\infty)$?

Let $\mathcal{H}=L^{2}[0,\infty)$. How can one easily show that $e^{-x}$ is a cyclic vector under the $C^{\star}$ subalgebra of operators on $\mathcal{L}(H)$ generated by all resolvents $(L-\lambda ...
2
votes
1answer
50 views

Cheeger constant for $S^2$

I want to calculate explicitly Cheeger constant for $S^2$, but I haven't found any sources or examples. I'm using this definition $$h(M)=\inf_A\{\frac{vol_{n-1}(\partial A)}{vol_n{(A)}}:vol_n(A)\leq ...
1
vote
0answers
63 views

Selfadjointness of the differential operator in a singular potential

The free Dirac operator is the differential operator of the following form $$ T_0 = i \alpha \nabla + \beta,$$ where $\alpha$ and $\beta$ are Hermitian $4 \times 4$ matrices, and $T_0$ is selfadjoint ...
0
votes
0answers
91 views

Mysterious Commutation in an Unbounded Operators Argument (Compact Resolvent) — Is there a typo?

While reading A.S. Markus, Introduction to the Spectral Theory of Polynomial Operator Pencils, Chapter 1, Section 4, I came across a passage that I really do not understand, and I am trying to see if ...
0
votes
1answer
15 views

Showing T intertwines $D_T$ and $D_{T^*}$ using Spectral Theorem

Suppose $T$ is a contraction on a Hilbert space $H$ (separable, if you wish). $D_T=(I-T^*T)^{1/2}$ and $D_{T^*}=(I-TT^*)^{1/2}$. I want to show that $TD_T=D_{T^*}T$. I had done this before using a ...
2
votes
1answer
93 views

How to show a Borel Operator Measure dilates to a Spectral Measure?

Does anyone know a simple proof of the following theorem stating that a positive Borel operator measure $P$ on $\mathbb{R}$ can be written as $V^{\star}EV$ for a Borel spectral measure $E$? ...
1
vote
2answers
141 views

Spectral Measures: Spectral Spaces (I)

Problem Given a Hilbert space $\mathcal{H}$. Let the Lebesgue measure be $\lambda$. Consider a Borel spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ Denote its ...
2
votes
0answers
58 views

A Direct Proof of Representation Theorem for Positive Harmonic Functions in the Half Plane?

Does anyone know a direct proof of this representation theorem for non-negative harmonic functions in the half-plane that doesn't appeal to a similar result in the unit disk? Also, does anyone who ...
1
vote
1answer
57 views

spectral projection of an element in a C*-algebra

I'm studying Takesaki's Operator theory and I preferred "spectral projection "in the page 43 of this book while he didn't speak about it before. I searched it, but I could not find it. Please explain ...
1
vote
0answers
63 views

On calculating spectral projections

Consider following operator from this paper; Let $h$ be any function in $L^1$ relative to the measure $g(w)dw$ and $K\in\mathbb{C}$ Consider the linear operator $B$ on $L^1$ defined by $$(Bh)(x) = ...
2
votes
1answer
215 views

Eigenvalues of tridiagonal matrix

on page 13 of the paper here there is a proof in theorem 4 that all eigenvalues of this tridiagonal matrix, which has strictly positive entries down the subdiagonals, are simple. Unfortunately, I ...
0
votes
0answers
24 views

Numerical range of closure of operator

Let $B$ be an unbounded densely defined and closable operator. If $\mathcal{N}(B)$ is the numerical range, what can be said about the numerical range of its closure $\overline{B}$?
2
votes
1answer
83 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 ...
0
votes
1answer
54 views

Spectrum of multiplication operator by the independent variable in $L^2$

If $\mu$ is a regular Borel measure on $\mathbb{C}$ with compact support $K$, define $N_\mu$ on $L^2(\mu)$ by $N_\mu f=zf$ (the multiplication by the indipendent variable). An exercise in "Conway" ...
5
votes
1answer
95 views

Simple proof that $\|p(A)\|\le \sup_{|z|\le 1}|p(z)|$ for polynomials $p$ and $\|A\| \le 1$.

Let $\mathcal{H}$ be a complex Hilbert space, and let $A$ be a bounded operator linear operator on $\mathcal{H}$ with $\|A\| \le 1$. It is known that $\|p(A)\|\le \sup_{|z|=1}|p(z)|$ for all complex ...
0
votes
1answer
38 views

Spectral measure and commutativity.

I want to prove that if $A\in B(H)$ and $N\in B(H)$ is a normal operator, and $AE(\Delta)=E(\Delta)A$, where $E$ is the spectral measure given by $N$ and $\Delta$ is a Borel subset of $\sigma(N)$, ...
1
vote
0answers
26 views

Eigenvalues of Hankel matrices

Let $\mathbf{A}$ be a $4-$ dimensional symmetric matrix with real entries, whose elements are given as \begin{equation} \mathbf{A} = \left( \begin{array}{cccc} a & b & c & d \\ b & c ...
0
votes
2answers
37 views

Some doubts concerning spectral theory.

Probably I'm saying something wrong (that's why the conclusions are strange) so please correct me! There is the continuous functional calculus for a normal element $N$ of a C*-Algebra. This means ...
8
votes
1answer
153 views

The spectrum of a product of operators

Suppose $A,B\in\mathcal{B}(\mathcal{H})$, where $\mathcal{H}$ is an infinite dimensional Hilbert space. In general, we know that there is no relationship between $\sigma(AB)$ and $\sigma(A)$ and ...
6
votes
0answers
334 views

A question about the article 'You can't hear the shape of a drum'

I have read the article http://www.math.upenn.edu/~kazdan/425S11/Drum-Gordon-Webb.pdf, , where Gordon and Webb describe in a simple a way the contruction of a pair of isospectral but non isometric ...
0
votes
0answers
42 views

Stability conditions for a non-negative AR(k) model

Given the sequence $\vec{x}_{n} = [A\vec{x}_{n-1}]_+$ where $[.]_+$ denotes the ramp function, i.e., $[.]_+ = x$ for $x>0$ and $0$ otherwise. $A$ is a $k$-by-$k$ matrix given by $$ A= ...
0
votes
0answers
79 views

Kac's question 'Can one hear the shape of a drum' and Sunada method, a clarification

I'm reading the article http://www.math.upenn.edu/~kazdan/425S11/Drum-Gordon-Webb.pdf, , where Gordon and Webb describe in a simple a way the contruction of a pair of isospectral but non isometric ...
0
votes
1answer
40 views

A Representation of $C(X)$ is a positive map.

I quote this excerpt from Conway: "A representation $\rho:C(X) \rightarrow \mathcal{B(\mathcal{H}})$ is a $\ast$-homomorphism with $\rho(1)=1$. Also, $\|\rho\|=1$. If $f\in C(X)_+$, then $f=g^2$ ...
1
vote
2answers
66 views

An exercise about the spectrum of an element in Banach algebra.

An exercise of Banach algebra, section of spectrum has wanted the proof of this statement: Let $A$ be a Banach algebra and $x\in A$. Show that for every open set $U$ in $\mathbb{C}$ that contains ...
1
vote
0answers
38 views

Representations and mutually singular measures

I'm finding some difficulties with an exercise from Conway and I ask for some help in understanding it: "Let X be a compact space and let $\{\mu_n\}$ be a sequence of measures in X. For each $n$ let ...
3
votes
2answers
114 views

Why is the spectrum usually defined for operators between Banach spaces?

The spectrum of a linear operator $L: \mathcal{D}(L) \rightarrow \mathcal{X} $ is generally defined for $\mathcal{X}$ a Banach space (as seen for example wikipedia on link above, or spectral ...
0
votes
0answers
10 views

Has the degree to which a partial eigensystem of a large sparse matrix approximates the complete eigensystem been determined?

Does anyone know of any studies or results regarding the degree of approximation or the error in estimating the complete spectrum of a large sparse matrix by means of its first $n$ eigenvalues and ...
0
votes
1answer
42 views

In Hilbert-space theory, is there a name for an operator “erasing” a projection?

Let $L$ be a self-adjoint operator with discrete spectrum $S=\{\lambda_1 < \lambda_2 < \dots \}$ on a Hilbert space $H$ such that the spectral theorem holds, i.e. for any $F \in H$ we have the ...
5
votes
2answers
83 views

Necessary and sufficient conditions for when spectral radius equals the largest singular value. [duplicate]

One well known fact about matrix norms is the following: If $\lambda_1\geq \dots\geq \lambda_n$ are eigenvalues of a square matrix $A$, then: $$\frac{1}{||A^{-1}||} \leq |\lambda|\leq ||A||$$ If we ...
0
votes
0answers
32 views

Dense invariant domain stable under resolvent?

I have thought about the following problem: Let $A_1\dots A_n$ a family of (unbounded) essentially selfadjoint operators on some Hilbert space $\mathcal{H}$ and $\Phi\subset\mathcal{H}$ the maximal ...