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
48 views

Show self-adjointness elementary

Is anybody aware of an elementary proof that $T^*T$ is self-adjoint where $T$ is closed and densely-defined? All proofs I found so far use the Friedrich's extension or other more sophisticated ...
0
votes
0answers
16 views

Random matrix on Clifford algebra within a specific grade

There has been some discussions about random matrices on generic Clifford algebra arXiv:1312.6291. However I would like to consider a more specific case by restricting the random matrix within a ...
1
vote
0answers
31 views

Reference for the spectrum of the Bochner Laplacian on the 2-sphere.

I am looking for a reference for the spectrum of the Bochner Laplacian on $S^2$.
0
votes
0answers
23 views

Detecting eigenvals of opposite sign

Consider a large (in the region of 500 by 500 up to 2000 by 2000) real, square symmetric matrix. What would be a good way of algorithmically determining if it has any pair of eigenvals with opposite ...
3
votes
0answers
63 views

Convergence of spectrum [closed]

Consider a one-parameter real analytic family of metrics $g_t$ on a compact manifold $M$ converging to a metric $g$ in $C^k$-norm, for some $k$. It is known that the Laplace spectrum of $g_t$ will ...
2
votes
1answer
40 views

Spectrum of unbounded operators

I am currently a little bit confused. I am aware of a theorem that says that any closed and densely defined operator satisfies $\sigma(T^*)=\overline{\sigma(T)}.$ On the other hand, the operator $$T:...
2
votes
1answer
39 views

The distribution solution to $L^{+} u=0$ is u=0, where $L^{+}=-\frac{d}{dx}+x$?

Consider the creation operator $L^{+}=-\frac{d}{dx}+x$. If $u\in L^2(\mathbb{R})$ and is a distribution solution to the equation $L^{+}u=0$, then for any $\phi\in C_0^{\infty}(\mathbb{R})$ we have $\...
1
vote
0answers
16 views

Spectral Representation of a Linear Combination of Sinoids

Let $\left\{X_t\right\}$ be the process defined by $$ X_t=\sum_{j=1}^nA(\lambda_j)e^{it\lambda_j} $$ in which $-\pi<\lambda_1<\lambda_2<\ldots <\lambda_n=\pi$ and $A(\lambda_1),\ldots,A(\...
0
votes
2answers
106 views

Reference for Harmonic Analysis?

I'm looking primarily for references for Harmonic Analysis. I'm mostly considering Doran&Fell or Deitmar, but I have access to lectures using Stein as well. The important thing is covering ...
2
votes
2answers
100 views

Ordering: Definition

This was a real question! Given a unital C*-algebra $1\in\mathcal{A}$. For $A\in\mathcal{A}$ denote its spectrum by $\sigma(A)$. Consider the selfadjoints: $$\mathcal{A}_*:=\{A\in\mathcal{A}:A=A^*\}...
1
vote
1answer
43 views

The Laplacian as the difference between mean value and a point

I am reading a book (Spectral Theory in Riemannian Geometry), which opens with an interpretation of the Laplacian. To get a better feeling about the Laplacian operator, consider for example a one-...
0
votes
2answers
27 views

To prove this associative statement about spectral theory

Show that $\sigma(AB) \cup \{0\} = \sigma(BA) \cup \{0\}$ in general, and that $\sigma(AB) = \sigma(BA)$ if $A$ is bijective. I studied the associative statement of this somewhere but it did not ...
1
vote
1answer
41 views

Convert partial fraction to continued fraction?

Lets say you have a partial fraction of the form: $$ f(x) = a_0 + \sum_{n=0}^{\infty} \frac{a_n}{\lambda_n + x} $$ Can anyone explain to me, in mildly plain English, how to convert this partial ...
2
votes
0answers
29 views

Calabi's theorem

I've just heard about Calabi's theorem (Minimal immersions of surfaces in Euclidean spheres). Theorem Let $\phi : \mathbb{C}\mathbb{P}^1 \longrightarrow (S^n,g_{S^n})$ be a full harmonic map. ...
0
votes
0answers
40 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 $ \bar{\...
2
votes
2answers
26 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
44 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)$$ $$g(0,\...
0
votes
0answers
48 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
45 views

$H$ self-adjoint with mass gap, $P \ge 0,\Omega \in D(P)$, $H + \lambda P$ self-adjoint $\implies$ for $\lambda$ small, $H+ \lambda P $ has gap?

Suppose $H$ is a self-adjoint operator on a Hilbert space having a simple isolated least eigenvalue $0$ with gap $1$ ( $H\Omega = 0$, $\Vert \Omega\Vert = 1$ ), $P$ is a non-negative symmetric ...
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 non-...
1
vote
0answers
75 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 $q$-by-$2q$...
3
votes
0answers
38 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 translation)...
10
votes
2answers
205 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
95 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 R}\chi_{(-\infty,\lambda]}(\tau)...
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$, $\sigma_{...
3
votes
2answers
34 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
39 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
59 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
56 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)\ |\ \psi(0)=\psi(2\...
1
vote
1answer
235 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
77 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 $$\lambda\in\sigma_p(...
3
votes
0answers
46 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
54 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
34 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
31 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
81 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
55 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
49 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
48 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
73 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
38 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 \text{hol}(a)...
1
vote
0answers
110 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 ?...