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

learn more… | top users | synonyms (1)

1
vote
1answer
69 views

Spectrum of Verschiebung

I read that the shift operator $A:\ell_2\to\ell_2$, $(x_1,x_2,x_3,...)\mapsto(0,x_1,x_2,...)$ contains $0$ in its spectrum, and that's clear to me. It is also clear to me that it has no eigenvalue. ...
0
votes
1answer
74 views

Banach Algebras: Continuity of Inversion?

Context: This question is related to this thread: Spaces of Functions Given a topological space $X$ and a Banach algebra with unit $B$. Consider a continuous map $F:X\to B$ that is invertible ...
2
votes
1answer
64 views

Eigenfunctions and spectrum of $T:H \to H^*$ where $H$ is a Hilbert space

Let $H$ be a Hilbert space with dual $H^*$. Suppose $T:H \to H^*$ is a linear bounded symmetric operator. (We probably don't want to identify $H$ with $H^*$). Can we talk about the ...
1
vote
1answer
89 views

spectral decomposition of a bivariate function

Now I have a function $f=f(x,y)$, smooth and symmetric(i.e. $f(x,y)=f(y,x)$ everywhere), with arguments defined on a compact set: $(x,y)\in[0,1]\times[0,1]$. I'd wish to know if $f$ can be expanded ...
2
votes
1answer
92 views

Is a bounded Borel function of a normal operator normal

I am playing around with Borel functional calculus to try to understand it, and made the following argument: Let $T\in B(H)$ (bounded operator on Hilbert space) be normal. Let $f\in C(\sigma(T)) $ ...
4
votes
1answer
171 views

Spectrum of an integral operator.

For any $f\in C([0,1],\mathbb{R})$ set $$ Tf(x) = \int_0^1 [\min\{x,y\}\cdot f(y)]dy. $$ I have just proved that $T$ is a compact operator from $C([0,1],\mathbb{R})$ into itself. I would like to know ...
0
votes
1answer
44 views

Invariant functions on product of ergodic systems is determined by eigenfunctions?

Given an ergodic measure-preserving system $(X,\mathcal{B},\mu,T)$, the product system $(X\times X, T \times T, \mu \times \mu )$ need not be ergodic, in other words: It may have non-trivial invariant ...
2
votes
1answer
57 views

Positive Linear Transformations: What good for?

Positivity is a concept appearing quite frequently in the study of algebras and its related spectral theory. Positive elements naturally give rise to an ordering and therefore allows to construct ...
1
vote
1answer
303 views

Riesz Functional Calculus vs. Holomorphic Functional Calculus

"Functional calculus" is a word used to describe the practice of taking some functions or formulas defined on complex numbers, and apply them in some way to certain kinds of operators, despite that ...
0
votes
2answers
66 views

Function Spaces: Characterizations of Positivity

Context The problem here is about the characterization of positivity for real or complex valued functions: $$\sigma(f)\geq 0\iff\sigma(f(x))\geq 0\text{ for all }x\in X\iff f(x)\geq 0\text{ for all ...
0
votes
3answers
197 views

Normal Operator: Empty Spectrum

Given a Hilbert space $\mathcal{H}$. For normal operators: $$N^*N=NN^*:\quad\sigma(N)\neq\varnothing$$ How can I check this?
1
vote
0answers
35 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
44 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
41 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 ...
2
votes
1answer
70 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
39 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
80 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
135 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
59 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
1answer
87 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
96 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
42 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
64 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
38 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
35 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
36 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
47 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
19 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$? ...
1
vote
1answer
129 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 ...
3
votes
2answers
73 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
22 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 ...
2
votes
1answer
198 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
67 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
63 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
81 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
340 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?
2
votes
3answers
88 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
483 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
108 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 ...
3
votes
1answer
87 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
1answer
80 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
89 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
1answer
65 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
267 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 ...
1
vote
1answer
58 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
61 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
223 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
166 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
42 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
88 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 ...