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
0answers
39 views

Dirichlet eigenfunction cannot be extended to a continuous function on the closure

I need to show that there exist a bounded domain $ \Omega \subset \mathbb{R}^2 $, and a Dirichlet eigenfunction $u$ on $ \Omega$ such that u cannot be extended to a continuous function on $ ...
2
votes
2answers
24 views

Example of an operator whose spectrum satisfies this condition

Give an example of a Hilbert space $\mathcal{H}$ and an operator $A: \mathcal{H} \to \mathcal{H}$ satisfying $$\sigma \left( A \right) = \varnothing \neq \sigma \left( A^2 \right),$$ where $\sigma ...
1
vote
0answers
40 views

Finding the spectral representation of the Delta function given the Green function of an operator

I'm working through the problems of a book on Sturm-Liouville problems. In a problem I found the Green function for the following SLP2 problem $$\frac{-d^2g}{dx^2}-\lambda g=\delta(x-\xi)$$ ...
0
votes
0answers
41 views

Complete orthonormal system of eigenfunctions for trace-class nonnegative operator on a Hilbert space

In Da Prato/Zabczyk's book "Stochastic equations in inifinite dimension" I stumbled over the following paragraph: Let $Q$ be a trace class nonnegative operator on a Hilbert space $U$. [...] Note that ...
0
votes
0answers
26 views

Stability of least isolated eigenvalue under positive perturbation

This would be a useful theorem. Have you seen it anywhere? $\mathbf{Theorem:}$ Suppose a self-adjoint operator $H_0$ on a Hilbert space has a simple isolated least eigenvalue $0$ with separation ...
0
votes
0answers
16 views

Abel transform of $R_z(\Delta)$

The spectrum of the Laplace operator $\Delta$, as self-adjoint unbounded operator on $L^2$ is equal $]-\infty ,0]$. The resolvent $R_z$ is defined for $z \in \mathbb C \setminus ]-\infty ,0] $. Using ...
1
vote
1answer
16 views

rad(T)=||T|| for non-normal T

It is well-known that for normal bounded operators $T$ on a Hilbert space one has $\mathrm{rad}(T)=\|T\|$ (where rad is the spectral radius). Are there any sufficient conditions under which a ...
1
vote
0answers
74 views

Eigenvalues of a certain product of matrices with special structure

Sorry for cross-posting from MO. Let $d$ and $c$ be positive integers and $q = dc$. Let $G$ be a $q$-by-$q$ positive semi-definite real matrix with eigenvalues all $\le 1$, and define the ...
3
votes
0answers
36 views

operator ideals and their relationship to the geometry of Banach spaces, and other questions [closed]

Albrecht Pietsch wrote an excellent book on operator ideals in 1978, which I use frequently. But, I was reading the preface to his book, and I do not understand it. He writes (in English ...
9
votes
2answers
176 views

Is $\int |x\rangle \langle x|dx$ Mathematical?

I am enrolling in a Quantum Mechanics class. As we all know, the formulation of the basic ideas from QM relies heavily on the notion of Hilbert Space. I decide to take the course since it might help ...
4
votes
1answer
88 views

proving a quadratic form is closed

I'm trying to show that, given a spectral measure $d\mu_\psi(\lambda)$ for a self-adjont operator $A$, for the following quadratic form $$q_\lambda(\psi)=\int_{\mathbb ...
2
votes
0answers
41 views

Proposed proof Decomposition theorem

Let $\mathcal{A}$ be a unital Banach algebra. I want to prove that if $a \in \mathcal{A}$ and spectrum $\sigma(a) = \sigma_{1} \cup \sigma_{2}$ where $\sigma_{1} \cap \sigma_{2} = \emptyset$, ...
3
votes
2answers
33 views

Spectral Decomposition of A and B.

I was given the following question in my linear algebra course. Let $A$ be a symmetric matrix, $c >0$, and $B=cA$, find the relationship between the spectral decompositions of $A$ and $B$. ...
0
votes
1answer
35 views

What defines a Pseudospectral Method?

I'm trying to understand pseudospectral methods in the context of solving PDEs. However, I can't seem to find a solid definition for this. Is it simply a general term for solving a problem in parts: ...
3
votes
2answers
58 views

Simple example of operator spectral analysis.

I'm studying on Rudin - Functional Analysis the part related to Banach algebra Bounded/Unbounded operator. Specifically i've studied the part of Banach algebra (where the concept of spectrum is ...
2
votes
1answer
52 views

Spectral theorem for momentum operator

I'm trying to apply the spectral theorem to the explicit example of the momentum operator: \begin{equation} p:= i\frac{d}{dx} \end{equation} on the domain $D=\{\psi\in H^1(0,2\pi)\ |\ ...
1
vote
1answer
179 views

Proof of Spectral Theorem

There are a number of results called Spectral Theorems. This question deals with the Linear Algebra result on normal operators, which has the self-adjoint case as a particular case. In class, we saw ...
1
vote
1answer
59 views

Looking for a general approach to proving compactness of linear operators.

Preparing for my exam in functional analysis, I often have to prove that certain explicitly given operators are compact. I now have a decent amount of operators of which I can prove the compactness, ...
0
votes
1answer
56 views

Some claims about spectra

I see the following equalities used sometimes, but couldn't find proofs. How is it done? $$\overline{Ran(L-\lambda\mathbb{1})}^{\perp}=ker(L^*-\overline{\lambda}\mathbb{1})$$ and ...
3
votes
0answers
44 views

Sobolev spaces and symmetric operators

I am slightly confused with regards to the way one obtains self - adjoint differential operators in spectral theory. The aspect that I'd like to understand better is the following: Suppose we are ...
5
votes
0answers
53 views

$C^k$ one-parameter family of metrics

Consider a smooth Riemannian manifold $M$ and a $C^k$ one-parameter family of Riemannian metrics $g_t$ on $M$. Here $k$ could be any integer, $k$ could be infinity, when the one-parameter family $g_t$ ...
1
vote
1answer
32 views

Do you need to know a lot of (regular?) graph theory to get into spectral graph theory?

Do you need to know a lot of (regular?) graph theory to get into spectral graph theory? What are the prerequisites?
0
votes
0answers
28 views

Inverse of a dissipative operator

In the spectral theory of linear operators it is often helpful in the development of proofs for many results to proceed with the inverse of a (boundedly invertible) dissipative operator. For example, ...
6
votes
2answers
79 views

The subgroup of $GL_{n}(\mathbb{R})$ inside $B(1, 1)$ is $\lbrace I \rbrace$

Let $G \subset GL_{n}(\mathbb{R})$ be a subgroup such that $G \subset B$ where $$B = \lbrace M \in \mathcal{M}_{n}(\mathbb{R}), ||M-I|| < 1\rbrace $$ Let $g \in G$. I'm asked to show: The ...
2
votes
1answer
31 views

Show that $\lim \frac{f_\epsilon -1}{\epsilon}$ is purely imaginary if each $|f_\epsilon| = 1$

For $0< \epsilon < 1$, suppose we have complex numbers $f_{\epsilon}$ such that each $|f_{\epsilon}| =1$ and $$ \lim_{\epsilon \to 0} \frac{f_\epsilon - 1}{\epsilon} := a $$ exists. Prove ...
3
votes
1answer
74 views

Using Fubini's Theorem in Contour Integrals proof

I have a few questions regarding the following proof: Suppose that $\mathcal{A}$ is a unital Banach algebra, and that $g$ is a complex-valued function which is analytic on $\sigma(a)$ while $f$ is a ...
2
votes
1answer
53 views

Proof involving invertible elements of Banach algebra

I want to prove for a unital Banach algebra $\mathcal{A}$, it follows that if $\|a-b \| < \frac{1}{\|a^{-1} \|}$ then $b \in \mathcal{A}^{-1}$ (where $\mathcal{A}^{-1}$ is the subset of invertible ...
1
vote
0answers
34 views

Proposed proof of operator theory result

Hi I am interested in checking my proposed solution to the following problem in Operator Theory: Please give me hints as to how to improve the proposed proof rather than the full correct solution. ...
3
votes
1answer
48 views

Is this possible to decompose 2 arbitrary unitary matrices as: $U_{1}=ADB^{\dagger},U_{2}=BDA^{\dagger}$?

I guess this statement is true, but I can't prove it: "For any 2 arbitrary unitary matrices $U_{1}$ and $U_{2}$, we can always decompose them into $U_{1}=ADB^{\dagger},U_{2}=BDA^{\dagger}$, where $A$ ...
1
vote
1answer
44 views

Spectrum of compact operators on an infinite dimensional normed space

The question is as follows: Let $T:X \to X$ be a compact linear operator on a normed space. If the $dim X= \infty$ then show that $0 \in \sigma(T)$. My attempt: Suppose on the contrary that $0 ...
0
votes
1answer
27 views

About finding the common diagonalizing similarity transformation.

Say I have $2k$ matrices $M_{a_1b_1}$, $M_{a_2b_2}$,..,$M_{a_kb_k}$ and their negatives. Here $M_{a_ib_i}$ is such that it has $0$ everywhere except that it has $1$ at $(a_i,b_i)$ and $(b_i,a_i)$ ...
0
votes
1answer
63 views

Is the spectral radius of a matrix a convex norm of it?

I am wondering if the spectral radius of a matrix is may be some kind of a norm ($l_{\infty}$-norm?) of it and if that is convex. Any pointers to related ideas would be helpful too.
1
vote
0answers
37 views

A question about minimizing the $\lambda_{max}$ over a set of diagonal perturbations

Say I have an off-diagonal symmetric $0,1,-1$ entry matrix $B$ and a set of $2k$ diagonal matrices, $D_{11}, D_{12}, D_{21}, D_{22},..,D_{k1},D_{k2}$. (if it helps you can assume that $(1)$ all the ...
2
votes
0answers
34 views

Given a spectrum, what can we know about its function?

Say we are given a well-behaved function $f(t)$ (either discrete or continuous) and are able to compute its spectrum $F(k)$ using the (discrete) Fourier transform. Then say we lose $f(t)$ and know ...
1
vote
1answer
34 views

significance and importance of spectral theorem

I have started recently started Operator Theory and have been introduced to the Spectral Mapping Theorem: If $a \in \mathcal{A}$, where $\mathcal{A}$ is a unital Banach Algebra and $f \in ...
1
vote
0answers
101 views

Eigenvalues of Moore–Penrose Pseudo-Inverse of a Symmetric Matrix

I was wondering if there is any bound or inequality for the eigenvalues of Moore–Penrose pseudo-inverse of a real $n\times n$ symmetric matrix $A$ in terms of eigenvalues of $A$, namely $\lambda_i$'s ...
3
votes
0answers
52 views

Spectral measures, supports, compact operators

Let $H$ be a Hilbert space, $K:H\rightarrow H$ a compact self-adjoint operator. The spectral measure of $K$ wrt $v\in H$ is uniquely determined by $$\langle K^n v,v \rangle=\int_{\mathbb{R}} x^n ...
1
vote
1answer
32 views

Continuous spectrum is a subset of point spectrum

I have to prove that the continuous spectrum $\sigma_c(T)$ is a subset of the point spectrum $\sigma_p(T)$. I started off by supposing that there is some spectral value $\lambda$ such that $\lambda ...
2
votes
1answer
49 views

Real eigenvalues, similar symmetric matrix

I know that symmetric matrices have real eigenvalues, and that non-symmetric matrices that are similar to symmetric matrices must also have real eigenvalues, but is the converse true? That is, if a ...
2
votes
1answer
62 views

Eigenvalues of matrix sums

Under what conditions are the eigenvalues of $A+B$ equal to the eigenvalues of $A$ plus the eigenvalues of $B$, where $A,B$ are square matrices? From searching, it seems that the condition is that ...
2
votes
3answers
55 views

Matrix spectral space vs entry space in symmetric matrices

Is is known that the space of symmetric matrices $\mathbb{R}_{sym}^{n \times n}$ has $\binom{n}{2}$ dimensions. And according to the spectral theorem every symmetric matrix $A \in ...
2
votes
0answers
45 views

Absolutely Continuous Spectrum and Norm of Resolvent

Problem. Let $H$ be a Hilbert space, and let $A:H\rightarrow H$ be a bounded, linear operator. Suppose $A$ has purely absolutely continuous spectrum and $\sigma_{ac}(A)=[0,1]$. Find the set of ...
3
votes
1answer
142 views

Spectral resolution of multiplication operator

Kosaku YOSIDA claims in his book "Functional Analysis" that it is easy to see that the multiplication operator $Hx(t) = tx(t)$ in $L^2(-\infty,+\infty)$ admits the spectral resolution $H = ...
2
votes
1answer
29 views

A property of normal matrices

The statement I am trying to understand is that if $A$ is nilpotent and normal, then $A$ is the zero matrix. Here, I believe we take $A$ to be a square matrix over $\mathbb{C}$. Is this related to the ...
2
votes
1answer
50 views

Operators whose spectrum has a finite number of connected component

Assume that $H$ is a separable Hilbert space. Let $Q$ be the set of all operators$T \in B(H)$ such that the spectrum of $T$ has a finite number of connected component. Is $Q$ a subvector space ...
3
votes
1answer
142 views

Construction of a Strongly Regular Graph which has regular Neighbourhood graphs in all iteration.

Notation and Definition: $G$ is a Strongly Regular Graph (not complete or a cycle) and is denoted by $\mathrm{SRG}(n,r, \lambda, \mu)$ if it has the following properties: Every two adjacent ...
1
vote
2answers
51 views

Trace evaluation via complex analysis

We are given $U$, $V$ unitary matrices of size $N \times N$ whose spectral decomposition is known (in my specific problem, $N=4$, and $U$, $V$ are matrices with real coefficients but we can keep it ...
0
votes
0answers
21 views

spectrum of weighted translation semigroup

My Banach space is $\mathcal X=\rm{L}^1(\mathbb R_+)$. I would like to know the spectrum of $A\phi(x)=-\phi'(x)-f(x)\phi(x)$ on $D(A) = \{g\in\mathcal X,\ g\text{ absolutely continuous}, g(0)=0\text{ ...
2
votes
2answers
31 views

How does the product of sets of complex numbers give a character?

I'm working through this "Introduction to Banach Algebras" and just after proposition 8.2 they say: If $A$ is a commutative Banach algebra, $a\in A$ and $\phi\in M(A)$, then $\phi(a)\in sp(a)$. ...
0
votes
2answers
47 views

In an inner product space, if the matrix is symmetric, is an eigenspace necessarily orthogonal to the range space?

Say I have 3 distinct eigenvalues for a symmetric matrix. By the Spectral Theorem, the three eigenspaces are mutually orthogonal. But, if I just wanted to compute the first eigenspace, ...