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

learn more… | top users | synonyms (1)

-1
votes
2answers
30 views

Selfadjoint Operator: Empty Spectrum

Can a selfadjoint operator have empty spectrum? (As far as I remember, yes; but just to be sure.) The point is that if so then the closure of its spectrum cannot equal the convex hull of its ...
0
votes
0answers
22 views

Define a positive dot product in $\mathbb{R^3}$

Consider the matrix $A= \begin{bmatrix} k & k-1 & 0 \\ 1-k & 2-k & 0 \\ 2k-3 & 2k-1 & 2 \end{bmatrix} $ with $k \in \mathbb{R}$ and let be $f_a: \mathbb{R^3} \rightarrow ...
1
vote
0answers
10 views

How to derive the spectral projection operator in finite element method?

For a compact self-adjoint operator $T$, the spectral operator can be defined as follows: $$E(\lambda) = \frac{1}{2\pi i}\int_{\Gamma}(z-T)^{-1}dz$$. For a finite dimensional approximate operator ...
0
votes
0answers
23 views

Question about the Averson's proof of the bicommutant theorem.

In the Averson's proof of the bicommutant theorem is proved that, if $A$ is a self-adjoint algebra of operators with trivial null space and $T \in A''$, for every $\epsilon>0$, $n=1,2..$ and every ...
3
votes
2answers
27 views

Question about a passage in the Bicommutant Theorem's proof.

In the Averson's book, in the proof of the Von Neumann's Bicommutant theorem there is this passage: ($A $ is a self-adjoint algebra of operators in $L(H)$) "Let $\xi_1$ be an element of the Hilbert ...
1
vote
0answers
17 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 ...
1
vote
1answer
13 views

Commutant of a set of operators and norm topology.

In the references I have it's remarked that the commutant $S'$ of a set $S$ in $B(H)$, where $H$ is a Hilbert space, is closed in the weak operator topology. And this is true because if ...
2
votes
2answers
32 views

Why is the Gelfand transform injective?

There is a theorem that proves that if $A$ is a commutative C*-Algebra, the Gelfand map is an isometric *-isomorphism of $A$ onto $\hat{A}$ i.e. the spectrum of $A$. (Theorem 1.1 in Averson's "An ...
1
vote
1answer
65 views

Continuity of the spectral radius

Let $M \in \mathbb{R}^{n\times n}$ be a nonnegative irreducible matrix with strictly positive entries on its main diagonal. Then $M$ is primitive and by the Perron-Frobenius Theorem we know that the ...
2
votes
0answers
27 views

Resolvent and spectrum of a self-adjoint extension

In this paper, they give the resolvent, spectrum, and eigenfunctions of the self-adjoint extension of the Laplacian on a rectangle that corresponds to a delta potential at an arbitrary point (items ...
0
votes
0answers
46 views

Finding the smallest max eigenvalues for related matrices?

While messing around with a spectral approach to a graph coloring question, I happened upon a type of problem I hadn't seen before. Suppose you have two symmetric $n$ x $n$ matrices in the form ...
2
votes
0answers
81 views

Spectrum of $Tu=\int^1_{-1} (1-|x-y|)u(y)dy $

Consider the operator $$ Tu(x)=\int^1_{-1} (1-|x-y|)u(y)dy $$ We want to find the spectrum of $T$. The kernel is certainly bounded and so this operator is Hilbert-Schmidt, so $T$ is compact. We ...
1
vote
1answer
40 views

Just a translation issue.

I'm italian and my professor of spectral theory wrote the list to the arguments to be studied in italian. The problem is that all the literature is in english and often the translation are a bit ...
0
votes
1answer
35 views

Prove that for a bounded self adjoint operator, $\langle Tx,x\rangle \geq 0$ is equivalent to $\sigma(T)\subset [0,\infty)$

Prove that for a bounded self adjoint operator, the following are equivalent: A: $\langle Tx,x\rangle \geq 0$ B: $\sigma(T)\subset [0,\infty)$ What I have said so far: Since $T$ is self adjoint, ...
1
vote
0answers
31 views

Spectral decomposition of a Hilbert space

I have this proof, but I don't understand how they do the spectral decomposition of $H$ into $H_-$and $H_+$? Please help me. Thank you.
-1
votes
1answer
16 views

Normal Matrices Unitarily Diagonazible

Disclaimer: This thread is just meant to record (Q&A). Are the unitarily diagonazible matrices precisely the normal ones? Surely, every normal matrix has an eigenbasis. Now I got asked by a ...
0
votes
1answer
23 views

Non-Unitarily Diagonalizable Matrices

When searching for matrices that are similar to a diagonal matrix but not in a unitary way then a first hint would be to exclude the normal ones. But apart from that is there a general form for such ...
2
votes
1answer
38 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
13 views

Consider a symmetric matrix $X$ with eigendecomposition $X=UVU^T$, how to call $\sum_{v_{k,k}>0}v_{k,k}u_ku_k^T$?

Consider a symmetric matrix $X$ with eigendecomposition $X=UVU^T$ How do people call $\sum_{v_{k,k}>0}v_{k,k}u_ku_k^T$? Sum of positive components of $X$? The positive semi definite part of $X$? ...
0
votes
0answers
16 views

Eigenvalues of correlation matrices in the limit of infinite dimensions

Consider a continuous function $f(x,t)$ with $x\in X$ and $t\in[0,1]$, then one may define a series of functions $f_n\in\mathbb{R}^n$ defined naturally as $f_n(x)_i=f(x,i/n)$. Now compare the ...
1
vote
1answer
25 views

Skew-adjoint differential operator $B$ with spectrum $\sigma(B)=i(-\infty,-1]$

Consider the Hilbert space $X=L^{2}\left(\mathbb{R}^n\right)$ and the Schrödinger operator $A=i\Delta$ defined on the domain $D(A)=H^2(\mathbb{R}^n)$. It is known that the spectrum of $A$ is ...
2
votes
2answers
34 views

Spectra of operators on different spaces

Can the same operator when defined on two different spaces have different spectra? For example and operator defined on $C_0$ and on $\ell_2$?
1
vote
0answers
14 views

Resolvent set of extension

Suppose X is an incomplete normed space and X' is its completion. Let T be a bounded linear operator on T and T' the linear extension of T to X'. How do I prove that the resolvent set p(T) of T ...
1
vote
1answer
45 views

Spectrum of a finite rank operator

If $ T\in B(H)$ is a finite rank operator, then there are orthonormal vectors $e_1,...,e_n$ and vectors $g_1,...,g_n$ such that $Th=\sum_{i=1}^n (h,e_i )g_i$, then we can easily see that $T$ is ...
2
votes
1answer
45 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} ...
1
vote
1answer
37 views

Relation between $\epsilon$-pseudospectrum of operators

If $H$ is a Hilbert space and $\sigma_{\epsilon}(T)$ denotes the space of all $\epsilon$-pseudospectrum of the operator $T$ and $S, T\in B(H)$ be such that $TS=ST=0$, why ...
0
votes
1answer
22 views

estimate the upper bound for the number of the nodes of length $l$

I have a graph $G=(V,E)$, where $V$ is a vertex set, and $E$ is an arc set. Now given a vertex $i\in V$, I want to find the (small) upper bound for the number of the nodes in $V$ that has the length ...
0
votes
2answers
31 views

Example: Algebraic Multiplicity vs Geometric Multiplicity

Is there a simple example of a matrix having an eigenvalue whose geometric multiplicity is strictly smaller than its algebraic multiplicity?
1
vote
3answers
59 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 ...
8
votes
2answers
86 views

Ways to calculate the spectrum of an operator

Friends, I am learning some very basic stuff of spectral theory and kind of lost, in some sense. I am trying to find ways to compute the spectra of different operators, when they work and don't work. ...
2
votes
1answer
56 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 ...
0
votes
0answers
47 views

Infinite Dimensional Vector Space Equivalence of Positive Matrix

What is the corresponding linear operator on an infinite dimensional vector space, say a Banach space or Hilbert space, to the nonnegative matrix on a finite dimensional vector space? What is the ...
3
votes
1answer
46 views

Is $AA^*$ and $A^*A$ self-adjoint?

if I have a densely defined closed linear operator $A$ and $A^* = -A$(same domain also closed). Is this sufficient that $AA^*$ and $A^*A$ are proper self-adjoint operators, assuming that we can also ...
1
vote
0answers
23 views

Helffer-Sjöstrand-Formula: Idea behind?

I have to present the Helffer-Sjöstrand-Formula. Now I'm wondering: Why does it include a factor $\chi(y\langle x\rangle^{-1})$ for some bump function $\chi$ and the chinese symbol ...
1
vote
1answer
53 views

Domain of densely-defined second derivative operator, and its factorization

Let $$-d_x^2: \{f \in L^2[0,1];f \in AC^1[0,1] , f(0)=f(1)\} \rightarrow L^2[0,1]$$ be the second derivative operator. Here $AC^1[0,1]$ is the space of functions whose first derivative is absolutely ...
2
votes
2answers
52 views

Decomposition of a positive semidefinite self-adjoint operator?

If I have a positive semi-definite self-adjoint operator $H:D(H) \rightarrow L^2$, is it true that there is always a decomposition $H=A^* A$ available? If this is true, what can we say about the ...
1
vote
0answers
39 views

Proving that a Sturm-Liouville problem is in the limit-point/-circle case

I would like to understand techniques anybody is able to detail to me on how one may actually prove that a particular Sturm-Liouville (S-L) problem, i.e., of the form \begin{equation} ...
4
votes
2answers
101 views

Spectral theory - continuous spectrum

imagine that I have some differential operator $D$ that is defined on an interval $[a,b]$. Now, assume that we take the boundary conditions in such a way that this operator is self-adjoint. Then, I ...
0
votes
0answers
15 views

Characteristic Function of a Spextral Density Function

I am struggling with understanding the link between the Spectral Density Function and the Characteristic Function. In particular, can you find the Characteristic function when only the SPX and ...
1
vote
1answer
42 views

Fredholm index for 1-d Schroedinger operator

if I look at a Schroedinger-operator $-\frac{d^2}{dx^2} +V$ on a compact intervall $[a,b] \subset \mathbb{R}$ and I take boundary conditions that this operator is self-adjoint (for example periodic ...
0
votes
1answer
33 views

Exercise about spectrum of selfadjoint operator.

I'm stuck on an exercise about the spectrum of a selfadjoint operator on a Hilbert space. The problem is the following: Let $(X,\langle \cdot, \cdot\rangle)$ a Hilbert space and let $A \in B(H)$ a ...
3
votes
2answers
100 views

Two questions in spectral theory: the spectrum of the Fourier transform and the Hamiltonian of the hydrogen atom.

I have the following two questions: The Fourier transform defines a unitary (provided that it is normalized properly) map $\hat{\cdot}:L^2(\mathbf{R})\rightarrow L^2(\mathbf{R})$. I figured out its ...
1
vote
1answer
93 views

Spectral theory

I have absolutely no idea about Spectral theory and want to ask some fundamental questions. 1.) What does it mean that the resolvent of an operator is Hilbert-Schmidt? (Cause I saw a theorem that was ...
0
votes
1answer
26 views

logarithm of projection

I want to prove what's used in the fourth line below the "Proof" section here: http://en.wikipedia.org/wiki/Quantum_relative_entropy#The_result The statement is: Let $\rho$ be a density operator on a ...
2
votes
0answers
58 views

Reference for simplicity of the principal eigenvalue of the Laplacian

i'm currently searching for a proper reference or proof to see that the first eigenvalue $\lambda \in \mathbb{R}$ of \begin{equation*} - \Delta u = \lambda u \text{ in } \Omega, \\ u \in ...
2
votes
1answer
38 views

To What Extent is the Fourier Inversion Theorem Due to the Self-Adjointedness of the Laplacian

I've tried looking this up (I looked at various spectral theorems) but couldn't find anything that talks about the connection between Fourier transforms and the eigenfunctions of the Laplacian (we may ...
3
votes
1answer
66 views

Spectrum of normal elements in C*-algebras

Let $\mathcal{A}$ be a C*-algebra and $x \in \mathcal{A}$ a normal element. Can you show that $\left\{ \phi(x) : \phi \text{ is a state on } \mathcal{A} \right\}$ is the closed convex hull of the ...
2
votes
1answer
28 views

Lower bound for the spectralradius of a matrix

Any submultiplicative norm (for example the row-sum-norm) is an upper bound for the spectralradius of a matrix A. But is there a way to get a suitable LOWER bound for the spectralradius ? ...
0
votes
1answer
37 views

Pseudospectrum of an $n\times n$ matrix has at most n connected components

For $\epsilon>0$, the $\epsilon$ pseudospectrum of an $n\times n$ matrix $A$ is given by $\sigma_{\epsilon}(A)=\{z\in \mathbb{C}:\|(z-A)^{-1}\|>\epsilon^{-1}\}$, with the convention that ...
0
votes
1answer
61 views

C*-Algebra: Positive Operator

Let $\mathcal{A}$ be a C*-algebra. If $A\in\mathcal{A}$ is a selfadjoint element then $A^*A=A^2$ has positive spectrum since: ...