7
votes
1answer
240 views

Error in Maurins proof for the nuclear spectral theorem?

I am currently studying the nuclear spectral theorem as presented in K. Maurins Monograph "General Eigenfunction Expansions and Unitary Representations of Topological Groups", second chapter or ...
6
votes
1answer
193 views

Spectrum of this ODE

I noticed something interesting studying this Sturm-Liouville Problem: $$ \frac{d}{dx}\left(\sqrt{(1-x^{2})}\frac{df}{dx} \right)+\frac{\left(n \alpha x+\alpha^2 x^{2} + ...
0
votes
0answers
91 views

Equivalence of Positive Matrix in Infinite Dimensional Vector Space

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 ...
2
votes
0answers
118 views

Error in trace of operator

Imagine you have a Schroedinger operator $H:=-\frac{d^2}{dx^2}+V$ with $V \in C[a,b]$ on some compact interval $[a,b]$. The boundary conditions are supposed to be taken in such a way that this ...
4
votes
1answer
162 views

Asymptotic behavior of Schrödinger operators

I am currently dealing with $1$ or at most $2$-dimensional Schrödinger operators on compact domains. A classical result of spectral theory is the Weyl approximations for this operator $H = -\Delta ...
1
vote
1answer
116 views

Cauchy-Schwarz type formula for positive integral operator

This question arises when I am reading Klainerman&Machedon's paper "On the Uniqueness of Solutions to the Gross-Pitaevskii Hierarchy". The author made a comment on page 3, which in effect is as ...
4
votes
0answers
150 views

Adjoint of sum of two operators. Kato-Rellich

Let $A$ be self-adjoint and $B$ be symmetric with $A$-bound less than $1$. By Kato-Rellich, I know that $(A+B)^*=A+B$. Could I also get something like $(A+iB)^*=A-iB$ or is there a counterexample to ...
0
votes
0answers
75 views

Is the exponential Mathieu operator trace-class?

Let $H \psi(x) = -\frac{d^2}{dx^2} \psi(x) - \alpha \cos(x) \psi(x)$ on $[0,2\pi]$ be the Mathieu operator ( according to Mathieu's ODE). My question is: Do we know whether $U(t):=e^{-tH}$ for some ...
1
vote
2answers
352 views

Spectrum of Mathieu equation

I have the differential equation $-f''(x)-q \cos(x) f(x) = \lambda f(x)$ and I want to find all the eigenvalues of this equation analytically on $[0,2\pi]$ that satisfy the boundary condition $f(0) = ...
16
votes
4answers
697 views

Who first used the multiplication operator version of spectral theory

This is another history question. Hilbert phrased the spectral theorem in terms of resolutions of the identity. While this remained the form of Stone and von Neumann, they did also have the ...
0
votes
2answers
281 views

Spectral decomposition of compact operators

Let T be a compact operator on an infinite dimensional hilbert space H. I am proving the theorem which says that $Tx=\sum_{n=1}^{\infty}{\lambda}_{n}\langle x,x_{n}\rangle y_{n}$ where ($x_{n}$) is an ...
4
votes
0answers
110 views

Solving a Fredholm equation with a piecewise kernel : Karhunen-Loeve of a stopped Brownian motion

Is there a way to solve analytically the Fredholm integral equation of the second kind $$ \int_0^{100} K(s, t) f(s) ds = \lambda f(t) $$ where the kernel has the piecewise 'linear' form \begin{align} ...
0
votes
1answer
131 views

Showing there is a unique spectral measure

All the books I have seen have proved that, for a normal bounded operator $T$, there is a unique spectral measure $E$ such that $\int_{\sigma(T)}^{}\lambda\,dE=T$ by first proving in it for a general ...
0
votes
0answers
65 views

Fractional power and norm's operators

Let $T$ be a linear densely defined operator on a Hilbert space $H$ and $L$ be a selfadjoint operator with discrete spectrum such that $L^{-1}$ is bounded and $$\|Tf\| \leq \Phi_{\eta}(f) + \eta ...
5
votes
1answer
139 views

Is irreducibility sufficient for uniqueness of invariant distribution for a Feller Semigroup?

Let $(T_t)$ be a strongly continuous semigroup of positive operators on $C(K)$, where $K$ is a compact space. Assume also that $T_t1 =1 $ for every $t\geq 0$. (This is also called a Feller Semigroup.) ...
0
votes
0answers
27 views

Vanishing of non commutative ( Wodzicki) residue on pseudo differential projections

Its a known fact that the non-commutative (Wodzicki) residue of a pseudo-differential projection is always zero. My question is: Is it possible to get this result by looking at structure of the ...
2
votes
2answers
162 views

What is the right initial domain for the Dirichlet-Laplacian on a bounded domain?

Given some bounded domain $\Omega\subset \mathbb{R}^n$ with sufficiently regular boundary (e.g. smooth boundary). Then I saw two slightly different definitions for the Dirichlet-Laplacian. Some books ...
2
votes
2answers
209 views

Schrodinger's equation via Spectral Theorem

How do you prove basic facts on the Schrodinger equation using the spectral theorem? More precisely, here is what I have in mind. The version of the Spectral Theorem I am familiar with is the ...
1
vote
1answer
126 views

Relation of spectrum

Let $X$ denotes a complex $C^*$-algebra and $\{Z(t)\}_{t\geq 0}$ is a $C_0$-Semigroup of operators on $X$. If for $x\in X$, I have $x=x^*$ (x is selfadjoint), and its spectrum $\sigma(x)\subset ...
0
votes
1answer
193 views

Spectral measure and Stone's theorem

Let $T$ be an unbounded self-adjoint operator on a Hilbert space and let $E(\lambda )$ be the associated spectral measure and $R(\lambda ) = (T-\lambda )^{-1}$ the resolvent. By Stone's theorem we ...
1
vote
0answers
129 views

Constructing an $\epsilon$-net for a Lipschitz subspace of $L^2$

Let $X$ be a subset of $L^2([0,1])$ which contains only Lipschitz function. Also, the member of $X$ are uniformly bounded $$ |x(t)| < M, \text{ for all $x \in X$ and $t \in [0,1]$}. $$ Let $F: X ...
0
votes
1answer
187 views

Trace, eigenvalues and functional calculus

Let $T$ be a (possibly unbounded) self-adjoint operator on a Hilbert space. Assume that we for some reason know that the point spectrum of $T$ consists of a finite number of eigenvalues $\lambda _1, ...
4
votes
1answer
156 views

A.C. spectrum of the non additive perturbation BAB of a self-adjoint operator A where B is strictly positive

If have the following problem: Let $A : \mathcal{H} \to \mathcal{H}$ be a bounded, self-adjoint operator on some Hilbert space $\mathcal{H}$. Let $B: \mathcal{H} \to \mathcal{H}$ be a bounded, ...
1
vote
1answer
222 views

Reference request: Spectral analysis of advection diffusion PDE

As the title says, I am looking for a authoritative reference/monograph on this topic. My interest is in spectral properties of this PDE, and NOT on existence/uniqueness etc. which is usually the ...
9
votes
3answers
391 views

Why is this operator compact?

Let $D$ be the Dirac-Operator on $\mathbb{R}^n$ or more generally the Dirac spinor bundle $\mathcal{S}\to M$ of a (semi-)Riemannian spin manifold $M$. Then we consider $D$ as an unbouded Operator on ...
5
votes
2answers
324 views

Generalized basis

In quantum mechanics, people introduce the notion of "continuous basis" (I actually don't know the mathematical denomination of it). It is not a Schauder basis. I would like to know what could be a ...
0
votes
1answer
161 views

Spectral decomposition function [closed]

Once I met a notation of "spectral decomposition function" (for a self-adjoint operator). No definition was given. Could someone give me a clue what can that be, cause I can't find this exact phrase ...
5
votes
3answers
787 views

Spectral theorem for self-adjoint differential operator on Hilbert space

I need a reference concerning a theorem that shows the following result, stated very roughly: Given a self-adjoint differential operator densely defined on a Hilbert space, then the given Hilbert ...
1
vote
0answers
198 views

bivariate polynomial

Hello, Let $p(x,y) = \sum_{m=1}^M\sum_{n=1}^N a_{m,n}x^{m-1}y^{n-1}$ be a bivariate polynomial where $\{a_{m,n}\}$ are complex. If $(x_k, y_k), k=1,2,\cdots, MN-1$ are roots of $p(x,y)=0$ where ...
2
votes
1answer
221 views

Asymptotic Behavior of Non-Analytic Function of the Eigenvalues

Hello, Let $A_n = (a_{k-j};\;k,j = 0,1,\ldots,n-1)$ be a sequence of $n\times n$ Toeplitz matrices, with eigenvalues $(\lambda_{n,i};\;i = 0,1,\ldots,n-1)$. If $A_n$ were a sequence of Hermitian ...
3
votes
0answers
146 views

spectrum of a polygon and zeta function

Let $\Delta(x,y) = 1,0$ according to whether $(x,y)$ is in some polygon (symmetric with respect to the diagonal axis). E.g. The convex hull of three points (taken from a paper on dominoes) $$ ...
2
votes
0answers
164 views

Spectrum of the Normal Operator associated to compact supported spectral measures

Let $\mathcal{H}$ be a Hilbert space and $E:\Sigma\to\mathcal{L}(\mathcal{H})$ be a compactly supported spectral on the Borel $\sigma$-algebra $\Sigma$ of $\mathbb{C}$. Then we can form the bounded, ...
3
votes
3answers
1k views

Integral kernel for the resolvent of the laplace operator

Consider the Laplace operator defined in the biggest possible subset of $L^2(\mathbb{R}^2)$ and let $z \in \mathbb{C}\backslash\mathbb{R}$. Therefore $z \notin \sigma (\Delta)$ the spectrum of ...
1
vote
1answer
140 views

Maximal spectrum of a complex, unital and commutative Banach-algebra

Let $A$ be a complex, unital and commutative Banach-algebra. Question: Is the maximal spectrum $Max(A)$ of $A$ endowed with the topology induced by the prime spectrum $Spec(A)$ of $A$, Hausdorff? ...
6
votes
0answers
239 views

Paving conjecture for Toeplitz matrices

Let me first recall what is the so-called paving conjecture: for any $\epsilon >0$, there exists $r\in \mathbb N$ such that for any bounded operator $A$ on $\ell^2(\mathbb Z)$, there exists a ...
2
votes
1answer
210 views

Partial order on self-adjoint extensions?

Is there a natural partial order and/or lattice structure on the set of closed symmetric or self-adjoint extensions of a densely defined, unbounded, symmetric operator on a Hilbert space? Any ...
6
votes
1answer
241 views

A doubt about the parts of the spectrum of tensor products

Let $\mathcal{H}$ be any complex Hilbert space of infinite dimensional. By an operator $T$ I mean a linear bounded transformation from $\mathcal{H}$ into $\mathcal{H}$, i.e, ...
4
votes
1answer
283 views

Finding the spectrum of the composition of a projection with a multiplication operator

In reading a paper on numerical quadrature I've come across a result that is proved in a manner that is very clever: Let $X \subset \mathbb{C}$ be a compact, convex set. If $U$ is a ...
6
votes
4answers
2k views

Eigenvalues of infinite matrices [closed]

I am trying to find some literature on infinite matrices because I want to know how to get the eigenvalues of infinite matrices. Seriously, it seems there are very few references available. Can ...
1
vote
0answers
155 views

Banach Algebras and the peripheral spectrum

Here is a little theorem that I'm trying to prove. I haven't seen it in literature before, but I think the applications will be quite useful, particularly in the context of Banach algebras. Denote ...
5
votes
3answers
571 views

Why do we distinguish the continuous spectrum and the residual spectrum?

As we know, continuous spectrum and residual spectrum are two cases in the spectrum of an operator, which only appear in infinite dimension. If $T$ is a operator from Banach space $X$ to $X$, $aI-T$ ...
1
vote
1answer
558 views

Some Functional Analysis Questions (Laplace Operator And Fourier Transform)

Given a set of the k first eigenvalues $ (\lambda_i)_ 1 ^k $ of some operator , and a set of the first k orthomormal eigenfunctions for these eigenvalues : $ ( \phi_i ) $ . Define: $ \Phi(x,y) = ...
3
votes
2answers
610 views

Sum of two essentially self-adjoint operators

Hi, I hope this question will make more sense than the one I posted yesterday. I have two operators $p$ and $q$ which are essentially self-adjoint on a common domain $D$. Now I define $A = c_1 p + ...
4
votes
1answer
293 views

Spectrum of $L^\infty(X,\mu)$

Suppose that $(X,\Sigma,\mu)$ is a measured set with respect to $\sigma$-algebra $\Sigma$. Suppose that $L^\infty(X,\mu)$ is the set of all $\mu$-equal bounded $\Sigma$-measurable functions on $X$. ...
1
vote
0answers
116 views

showing convergence of a function recursion relation

I have obtained (formally) a perturbative solution $$ H(y) = \sum_{n=0}^\infty \delta^n H_n(y) $$ to the following integro-differential equation ($\delta$ is a small constant, $\nu$ is a L\'evy ...
5
votes
1answer
355 views

About the quantum spectrum of a certain potential.

Intuitively one understands that if one is solving the Schroedinger's equation for energies $E$ such that $\{ x \vert U(x)\leq E \}$ is compact (..is there a weaker criteria?..) then the spectrum ...
8
votes
2answers
979 views

What is a good reference that compact resolvent implies Fredholm operator?

Suppose $A \in \mathcal{L}(E_1, E_0)$ is a bounded linear operator between Banach spaces $E_1$ and $E_0$, and we also have that $E_1$ is densely, continuously embedded in $E_0$ (i.e. $A$ can be ...
2
votes
2answers
550 views

Exotic spectrum of Laplace operator

Given a closed Riemannian manifold and a generalized Laplace $\Delta$ operator, it is well known that $\Delta$ has discrete spectrum $(\lambda_n)_n$ (arranged in a increasing way, not counting ...
1
vote
0answers
146 views

Inequalities between self-adjoint operators

Let $T_s$ ($s\ge0$) be a smooth family of non-negative self-adjoint operators in a separable Hilbert space $H$. Suppose that, for some $C'>C>0$, we have $T_0+Cs^2\le T_s\le T_0+C's^2$ for all ...
4
votes
1answer
255 views

Spectral Properties of $A(I-A)^{-1}$

I am working with a class of matrices $A$ which are non-negative-definite, not symmetric, and have maximum eigenvalue less than 1. I am interested in the spectral properties of the matrix $H = A(I - ...