# Tagged Questions

**7**

votes

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**4**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**3**answers

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

**2**answers

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

**1**answer

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

**3**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**3**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**4**answers

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

**0**answers

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

**3**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**0**answers

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

**1**answer

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 - ...