Questions tagged [sp.spectral-theory]
Schrodinger operators, operators on manifolds, general differential operators, numerical studies, integral operators, discrete models, resonances, non-self-adjoint operators, random operators/matrices
967
questions
3
votes
1
answer
144
views
Must solutions to the time-independent Schrodinger equation that have discrete or negative eigenvalues be square-integrable?
This is a very straightforward question (although the answer may not be!) about a ubiquitous textbook physics situation. I assume that the answer is probably well-known, but I asked it on both Math ...
- 1,243
0
votes
1
answer
68
views
Orthogonality to a one parameter family of eigenfunctions
Let $\rho>0$ be a smooth realvalued function such that $\rho=1$ outside the unit interval $(-1,1)$. For each $t>0$, let us denote by $\{\lambda_n(t)\}_{n=1}^{\infty}$ and $\{\phi_n(t;x)\}_{n=1}^{...
- 3,987
2
votes
0
answers
43
views
A mapping property for fractional Laplace--Beltrami operator
Suppose that $g$ is a smooth Riemannian metric on $\mathbb R^3$ that is equal to the Euclidean metric outside the unit ball. Let us define the fractional Laplace--Beltarmi operator on $\mathbb R^3$ of ...
- 3,987
0
votes
0
answers
135
views
About the proof of Lebesgue decomposition theorem for Hilbert spaces
Let $\mu$ be a Borel measure on $\mathbb{R}$. By the Lebesgue decomposition theorem, there exists measures $\mu_\text{pp}$, $\mu_\text{ac}$ and $\mu_\text{sing}$ such that $\mu = \mu_\text{pp}+\mu_\...
- 1,145
2
votes
0
answers
52
views
Examples of elementary group of isometries of the ideal boundary of hyperbolic plane
A Riemannian manifold $(X,g)$ is called Hadamard manifold if it is complete and simply connected and has everywhere non-positive sectional curvature. An example of such a manifold would be the ...
- 41
1
vote
0
answers
104
views
Uniqueness of Borel functional calculus for unbounded self-adjoint operators
I was reading these short notes on the Borel functional calculus where the author discusses the uniqueness property of this calculus for both bounded and unbounded self-adjoint operators.
When it ...
- 1,145
3
votes
1
answer
130
views
Existence of eigen basis for elliptic operator on compact manifold
Let $M$ be a compact Riemannian manifold. Let $E$ be a vector bundle over $M$ equipped with a Hermitian (or Euclidean) metric on its fibers. Let $D$ be a linear elliptic differential operator acting ...
- 20.5k
3
votes
1
answer
288
views
Spectral Radius and Spectral Norm for Markov Operators
My question concerns differences between the spectral radius $\rho$ and norm $\| \cdot \|$ of Markov operators in infinite-dimensional Banach spaces. This is far from my area of expertise, that is ...
- 540
0
votes
0
answers
33
views
Uniqueness of solution to abstract wave equation with unsigned energy
Let $H$ be a self-adjoint operator on a Hilbert space $(\mathcal{H}, \langle \cdot, \cdot \rangle$). Suppose the spectrum of $H$ in $(-\infty, 0)$ consists of only finitely many eigenvalues $\mu^2_k &...
- 459
8
votes
1
answer
239
views
Spectral decomposition of $\Gamma\backslash X$
Let $X$ be a reasonable manifold of non-positive curvature (could be $\mathbb{H}^n$, symmetric or locally symmetric space, homogeneous Hadamard manifold etc.), and let $\Gamma$ be a reasonable group ...
- 81
3
votes
1
answer
163
views
$\tau$-measurable operator
Problem: Let $M$ be a semifinite von Neumann algebra with a faithful semifinite normal trace $\tau$. Let $m$ be a positive element in $M$ and let $e_{(0,\infty)}(m)$ be the spectral projection of $m$ ...
- 45
1
vote
0
answers
46
views
$L^2$ norm of a kernel with a variable width
Suppose you have a kernel operator on a torus, with a kernel of a spatially varying width $\epsilon(x)$, which might be zero at certain points. That is to say, for some approximate identity $\psi_h(x)$...
4
votes
1
answer
155
views
Characters of algebra of Schwartz functions
Consider the (non-unital) $\mathbb{C}$-algebra (point-wise multiplication) of $\mathcal{S}$ of Schwartz functions on $\mathbb{R}$.
Question: Does there exist some character (non-zero multiplicative ...
- 960
1
vote
0
answers
51
views
What do you call this class of matrices with a unique positive eigenvalue associated to a graph?
I am looking for the name of a class of symmetric matrices $M\in\Bbb R^{n\times n}$ that I can associate to a (finite simple) graph $G=(V,E)$ with $V=\{1,...,n\}$ and that have the following ...
- 11.9k
8
votes
2
answers
242
views
Is the $n/2$-th heat kernel coefficient topological?
I have asked the same question on math.SE, without much success so I'm trying my luck here too.
Let $M$ be an $n$-dimensional manifold, with $n$ even and consider the heat kernel of the Laplacian on $...
- 191
1
vote
0
answers
64
views
The spectral measure of the integral of an operator-valued function with respect to a projection-valued measure
Let $\mathcal{H}$ be a Hilbert space, $T$ a bounded self-adjoint operator, and $F:\left[a,b\right]\to\mathcal{B}\left(\mathcal{H}\right)$ such that for any $t\in\left[a,b\right]$, $F\left(t\right)$ is ...
- 11
0
votes
0
answers
19
views
How to calculate the power transformation of a spectral density function
There is a problem I have been trying to solve for a while. Let $X_t$ be a stationary (univariate) time series. The spectral density of the moving average process $$X_t=\sum^{\infty}_{j=-\infty}a_je_{...
- 109
4
votes
1
answer
152
views
Spectrum near zero of $-\partial^2_x + V : L^2(\mathbb{R}) \to L^2(\mathbb{R})$, where $V = O(|x|^{-2 - \delta})$
Let $H = -\partial^2_x + V(x) : L^2(\mathbb{R}) \to L^2(\mathbb{R})$ be a one dimensional Schrödinger operator, where the potential $V$ is real-valued, belongs to $L^\infty(\mathbb{R})$, and, as $|x| \...
- 459
1
vote
1
answer
75
views
Show $A_0 + S$ is invertible, where $S$ is the Riesz projection of bounded $A_0$
Let $A_0$ be a bounded linear operator on a Hilbert space $H$. Suppose $0$ is an isolated point of the spectrum of $A_0$. Let $S$ be the corresponding Riesz projection, namely,
$$S = -\frac{1}{2\pi i} ...
- 459
1
vote
1
answer
245
views
Question on possibility of uniquely defining the FRFT via certain properties
I was working around with the fractional Fourier transform (FRFT) when the mathematics undergrad found out, by brute-force computations, that the derivative of the FRFT with respect to the parameter ...
- 181
5
votes
1
answer
188
views
Domains with discrete Laplace spectrum
Let $\Omega \subset \mathbb{R}^n$ be a domain. Assume that the Laplacian $-\Delta=-(\partial^2/\partial x_1^2+\cdots+\partial^2/\partial x_n^2)$ has a discrete spectrum on $L^2(\Omega)$ (i.e., we are ...
- 423
3
votes
0
answers
153
views
Spectrum of large Hilbert matrices
Let $x_k>0$ be a increasing sequence of real numbers, such that
$$\sum_0^\infty\frac1{x_k}<+\infty.$$
Let us form the (infinite) Hilbert matrix $A\in{\bf Sym}({\mathbb N};{\mathbb R})$ with
$$a_{...
- 50.6k
2
votes
1
answer
189
views
Spectrum of $(Jx)_n =i((2n+1)x_{n+1}-(2n-1)x_{n-1})$ on $\ell^2(\mathbb{Z})$
I've been working on the spectrum of the closure of the operator $J: \mathcal{D}(J)= \mbox{span}\{ e_n: n \in \mathbb{Z}\} \subseteq \ell^2(\mathbb{Z}) \to \ell^2(\mathbb{Z})$ defined for $x=(x_n)_{n \...
- 229
2
votes
0
answers
111
views
On Fredholm alternative for Neumann conditions
Let $\Omega$ be a bounded Lipschitz domain in $\mathbb{R}^n$ and $f \in L^2(\Omega)$. It is well known that if $\lambda$ is a Dirichlet Laplacian eigenvalue, then the equation $$\begin{cases}
-\Delta ...
- 1,330
4
votes
1
answer
661
views
Left and right eigenvectors are not orthogonal
Consider a compact operator $T$ on a Hilbert space with algebraically simple eigenvalue $\lambda$. Is it then true that left (the eigenvector of the adjoint with complex-conjugate eigenvalue) and ...
- 53
4
votes
1
answer
101
views
Uniform decay of operator norm for smooth family of operators
Let $\mathscr{H}$ be a Hilbert space and let $\mathbb{R} \to B(\mathscr{H}), r \mapsto S_r$ be a continuous (or smooth) family of operators, where $B(\mathscr{H})$ is the space of bounded operators on ...
- 419
0
votes
0
answers
142
views
Eigenvalue multiplicity of tensor product of positive operator with itself
Let $H$ be a separable complex Hilbert space and let $A\in B(H)$ be positive with $||A||=1$ and have eigenvalue 1 with multiplicity 1. Suppose $A=T^*T$ for some $T\in B(H)$. Denote the spectrum of $A$ ...
- 203
7
votes
0
answers
166
views
Hölder continuity of spectrum of matrices
Endow $\mathbb{C}^{d \times d}$ with the norm induced by the Euclidean norm on $\mathbb{C}^d$. It is well-known (to those who know it well, I guess) that the spectrum $\sigma(A)$ of a matrix $A \in \...
- 11.5k
9
votes
1
answer
681
views
Counterexamples to weak dispersion for the Schrödinger group
Let $A$ be a selfadjoint operator on some Hilbert space $H$, let $U(t)=e^{itA}$ be the corresponding continuous group, and let $f\in H$ be orthogonal to all eigenvectors of $A$. Are there examples ...
- 8,621
3
votes
0
answers
169
views
Where could a paper on a unification of matrix decompositions be published?
I've got a paper which shows that when the spectral theorem (as a statement that every self-adjoint matrix can be unitarily diagonalised) is naively generalised to $*$-algebras other than the complex ...
- 4,752
4
votes
1
answer
147
views
Is the Sobolev space $H^1(\mathbb{R})$ contained in the domain of $(-\partial_x \alpha(x) \partial_x)^{1/2}$?
Let $\alpha(x) : \mathbb{R} \to (0,\infty)$ have bounded variation (BV) and suppose $\inf_{\mathbb{R}} \alpha > 0$. Consider the second order differential operator
$$H : =-\partial_x (\alpha(x) \...
- 459
2
votes
1
answer
279
views
On a theorem of Carlson on the necessary and sufficient condition for a matrix to have $m$ real eigenvalues
Background: In the physics of open quantum systems the Lindbladian $\mathcal{L}$ governs the evolution of quantum states through the Lindblad master equation.
The Lindblad operator usually has ...
3
votes
2
answers
213
views
Regularity of eigenfunctions of a self-adjoint differential operator in Gilbarg-Trudinger
Let $\Omega$ be a bounded smooth domain,
$Lu = D_i \left( a^{ij} (x) D_ju \right)$, and two constants
$\lambda, \Lambda > 0$. Suppose the coefficient $a$ is measurable,
symmetric, and satisfies
$$
...
- 33
1
vote
1
answer
177
views
Spectral perturbation theory of discrete spectra in presence of continuous spectrum
This is a 2 part question:
1). I am looking for a (hopefully accessible to beginning grad student who knows matrix perturbation theory) reference for doing concrete calculations of perturbed discrete ...
- 2,176
1
vote
0
answers
33
views
Approximating spectra of (finite rank pertubations of) Laurent operators by spectra of (pertubations of) periodic finite operators
A tridiagonal matrix is a matrix which only has elements on three diagonals.
So for $\alpha, \beta, \gamma \in \mathbb{C}$ consider the bi-infinite tridiagonal Laurent operator $T$ with $\beta $ on ...
6
votes
1
answer
560
views
Spectrum of the complex harmonic oscilllator
Let
$$
H_\lambda=-\frac{d^2}{dx^2}+\lambda^2 x^2,\quad\lambda>0.
$$ It is known that the spectrum of $H_\lambda$ is the set $\{(2n-1)\lambda,n\in \Bbb N^*\}$. Now put
$$
(U_\mu \phi)(x)= e^{\mu\...
- 469
1
vote
0
answers
67
views
Spectral measure for a finite set of mutually commuting normal operators
The following question is from Exercise $\S 11.11$ in A Course in Operator Theory written by John B. Conway:
Suppose $\{N_1, \cdots, N_p\}$ is a finite set of mutually commuting normal operators in $...
- 245
0
votes
0
answers
90
views
Necessary and sufficient conditions for $\mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}) \ge 0$ for all $t$
Let $A$ and $B$ be positive-definite matrices of the same size. For any $t \ge 0$, define
$$
u(t) := \mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}).
$$
Question. What are necessary and ...
- 6,586
2
votes
0
answers
45
views
Right spectral gap of vector of two independent Markov chains
Let $(X_i)$ be a stationary Markov chain on $S$ (a potentially uncountable space with a Borel sigma algebra) with stationary distribution $\pi$ and transition kernel $P$. Let $(Y_i)$ be a stationary ...
- 203
0
votes
1
answer
137
views
Determine if an integral expression is in $L^2(\mathbb{R})$
Note: This is a simplified version of the following question. I did not get a full response and realized can make it simpler to have my main interrogation answered. I decided to write it as a ...
1
vote
1
answer
184
views
Eigenvalues invariant under 90° rotation
Consider $N \times N$ matrices
$$A = \begin{bmatrix}
0 & 0 & \cdots & 0 & 1 \\
1 & 0 & 0 & & 0 \\
\vdots & 1 & 0 & \...
- 496
4
votes
0
answers
197
views
Spectral problems with the wrong sign on the Poincaré disk
Let $\mathbb{D}$ denote the open unit disk in $\mathbb{C}$ equipped with the Poincaré metric $g$ of negative scalar curvature $-1$. Denote by $\Delta_g = \mathrm{Tr}_g(\nabla^g d) = - d^{\ast_g} d$ ...
- 3,044
5
votes
1
answer
284
views
The discrete Fourier transform's Gaussian-like eigenvector
I have the $N$x$N$ matrix below where $N$ is a power of 2 (usually 64 or 256) and $\omega = 2\pi/N$. What is its largest eigenvalue?
$\begin{bmatrix}
2 & 1 & 0 & 0 & \cdots & 0 &...
- 1,527
2
votes
1
answer
185
views
Kernel for an equation involving the Ornstein-Uhlenbeck operator
Consider the following PDE on $\Omega\subset \mathbb{R}^n$ for $n\geq 2:$
\begin{align}
\Delta u - x\cdot \nabla u &= f(x),\text{ in } \Omega\\
u&=0 \text{ on }\partial \Omega
\end{align}
Are ...
- 601
4
votes
1
answer
141
views
prove spectral equivalence bounds for inverse fractional power of matrices
The question is an extention to the answered question prove spectral equivalence bounds for fractional power of matrices.
Let $A, D \in \mathbb{R}^{n \times n}$ be two symmetric,positive definite and ...
- 75
5
votes
1
answer
226
views
Resources on the stationary Schrödinger equation with the soliton potential
I am studying the following Lamé equation in the Jacobi form
\begin{equation}
-\frac{d^2 v}{dx^2} - \left(2k^2 \operatorname{cn}^{2}\left [x\;|\;k\right ]\right)v = \lambda v,
\end{equation}
...
- 51
3
votes
1
answer
65
views
prove spectral equivalence bounds for fractional power of matrices
Let $A, D \in \mathbb{R}^{n \times n}$ be two symmetric,positive definite and tri-diagonal matrices for that we know that they are spectrally equivalent, thus ist holds
$$ c^- x^\top D x \le x^\top A ...
- 75
2
votes
2
answers
185
views
Prove spectral equivalence of matrices
Let $A,D \in \mathbb{R}^{n\times n}$ be two positive definite matrices given by
$$
D =
\begin{bmatrix}
1 & -1 & 0 & 0 & \dots & 0\\
-1 & 2 & -1 & 0 & \dots & 0\\...
- 31
9
votes
0
answers
207
views
Why and how is a representation "continuously decomposable"?
What I am asking may apply to a much more general setting and I am interested in the underlying level of generality of these statements, mostly with canonical references. However I state the question ...
- 5,324
0
votes
1
answer
109
views
Existence of an eigenpair for d-bar operator in the unit disck
Let $\overline{\partial}=\frac{1}{2}(\partial_{x}+\textrm{i} \,\partial_y)$ and let $D$ be the unit disc in the complex plane. For each $\lambda \in \mathbb C$, consider the problem:
$$ \overline{\...
- 3,987