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
985
questions
0
votes
0
answers
8
views
Bound the $\infty$-norm of the eigenvector of the second minimum eigenvalue of normalized Laplacian from below
I meet the above problem while reading a paper. The problem can be stated as below.
Consider an undirected graph $G$. Let $\mathbf{v}$ be a vector such that $\mathbf{D}^{1/2}\mathbf{v}$ is the ...
3
votes
2
answers
356
views
Monotonicity of matrix conjugation
Let $A$ and $B$ be positive-definite matrices such that $A \le B.$
By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$
I am now curious under ...
2
votes
0
answers
99
views
Bourgain-Gamburd-like theorems in the non-algebraic case
For $\mu$ a Borel probability measure on the compact group $G=\operatorname{SU}(d)$, Bourgain-Gamburd prove that the spectral radius of the associated operator on $L^2(G)$ is strictly less than one, ...
2
votes
0
answers
190
views
+50
Do the eigenvalues of a thin strip around a semicircle converge to the respective eigenvalues of a semicircle?
Background:
Consider the sphere $S^2$ with the round metric $g$ and let $\gamma$ be one half of a great circle of length $\pi.$ Let $T_\epsilon$ denote a geodesically convex tube around $\gamma$ of ...
0
votes
0
answers
38
views
Computation of Brown measure of the shift operator on $\ell^2(\mathbb N)$?
This looks an extremely simple question - I am just trying to give an example of Brown measure, https://en.wikipedia.org/wiki/Brown_measure, so I try to compute it for the left/right-shift operator on ...
1
vote
0
answers
96
views
Discrete spectrum of $A \otimes 1+ 1 \otimes B$ [migrated]
Let $A, B$ be unbounded self-adjoint operators on Hilbert spaces $\mathcal{H_1}, \mathcal{H_2}$, with both non-empty discrete spectra. Let us say, for instance, $\inf \, \sigma(A) = \lambda_1^A$ and $...
2
votes
1
answer
129
views
Difference in essential spectrum between Schrodinger operators
I am considering two Schrodinger operators on $\mathbb{Z}^2$ and compare their essential spectrum. The operators are both of the form $H=A+V$ where $A$ is the adjacency operator on the $\mathbb{Z}^2$-...
3
votes
1
answer
99
views
Dimension of spectral projection subspaces under local convergence
I'm interested in estimates on dimension of spectral projection subspaces of some limit operator. I recently asked a related question in the thread Dimension of spectral projection subspaces under ...
3
votes
2
answers
148
views
Dimension of spectral projection subspaces under strong convergence of operators
I have a possibly simple question regarding estimating bounds on spectral projection subspace.
Let $H_n$ be a sequence of bounded self-adjoint operators on $\ell^2(\mathbb{Z}^2)$ converging in the ...
2
votes
0
answers
135
views
Spectrum of an almost Hamiltonian matrix
I have a complex-valued block matrix $N=\begin{bmatrix}
A & B \\
C & -A^*
\end{bmatrix}$, where $A$ is diagonal, $B=B^*$, and $C$ is rank-1 but not Hermitian.
If $C$ were Hermitian, $N$ would ...
1
vote
0
answers
82
views
Spectral gap of a Markov operator on $L^2$ with a symmetric $L^\infty$ kernel
Let $I$ be a compact interval, say $I:=(0,1)$, and $k\in L^\infty(I\times I)$ a symmetric Markov kernel, i.e. $k(x,y)=k(y,x)$ and
$$\int_I k(x,y) d y = 1\qquad\mbox{for almost all } x\in I.$$
Let $K:L^...
7
votes
1
answer
807
views
Why is the length spectrum called a spectrum?
Given a hyperbolic surface $X$, one considers the multiset of lengths of closed primitive geodesics. This multiset is called the length spectrum $\mathcal{L}(X)$.
Question: is $\mathcal{L}(X)$ a ...
3
votes
2
answers
210
views
Question about the Bessel operator
For $\nu>-1$ denote by $\{\lambda_{k,\nu}\}_{k\in\mathbb{N}}$ the succesive positive zeros of the Bessel function of the first kind $J_{\nu}$. The Bessel operator is given by
\begin{equation*}
L_\...
0
votes
0
answers
47
views
Induced higher Gershgorin estimate
I have a problem which I suspect appears in literature under a name I haven't found yet.
Let $H:\ell^2(\mathbb{Z}^2)\to \ell^2(\mathbb{Z}^2)$ given by $H=\Delta + D$, where $\Delta$ is the graph ...
5
votes
1
answer
181
views
In what sense does the Laplacian on compact intervals converge to one on all of $\mathbb{R}$?
I guess this topic may have been addressed somewhere but I cannot really find a reference myself, so I ask here.
For each $N \in \mathbb{N}$, consider the Laplacian $\Delta$ on the interval $[-N,N]$ ...
1
vote
1
answer
229
views
Eigenvalues of a Schrödinger operator
I'm interested in the existence of eigenfunctions and finding eigenvalues of the following operator
$$L(\varphi) = \varphi_{rr} - \frac{1}{r} \varphi_r - [V + \frac{m}{r^2}] \varphi$$
$$\varphi(0) = \...
1
vote
0
answers
37
views
Gradient estimate of the eigenfunction of Laplacian on hyperbolic space
I am trying to understand the asymptotic behaviors of the gradient of the eigenfunction function of the Laplace-Beltrami operator on the hyperbolic plane $\mathbb{H}^2$. Specifically, my focus lies on ...
1
vote
0
answers
95
views
If we have $\mu_{xy}$, why can we only construct the spectral measure if $\| \mu_{xy} \| \le \| x \| \|y \|$?
Definitions
Representation
Let $X \subset \mathbb{C}^N$ and $\mathcal{A}$ be an algebra in $\mathcal{C}(X)$. Also, we denote $L(H)$ as the set of all linear operators on HIlbert space $H$.
We call $\...
2
votes
1
answer
153
views
Estimate for the operator $A A_D^{-1}$
Let $O\subset\mathbb{R}^d$
be a bounded domain of the class $C^{1,1}$
(or $C^2$
for simplicity). Let the operator $A_D$
be formally given by the differential expression $A=-\operatorname{div}g(x)\...
1
vote
0
answers
174
views
Connection of eigenspace of finite Hilbert matrix and its continuous operator counterpart
I am trying to understand the connection between the eigenspace of the continuous operator
$$
H(x,y) = \frac{1}{x+y}
$$
which is nothing but the square of the Laplace operator, and its discrete ...
0
votes
0
answers
124
views
Self-adjoint operator with pure point spectrum
Suppose that A is a self-adjoint (possible unbounded) operator from a separable Hilbert space H to itself. I would like to know if the following statement is true:
A has pure point spectrum (i.e., the ...
3
votes
2
answers
171
views
How to diagonalize this tridiagonal difference operator with unbounded coefficients?
Problem: I have a self-adjoint operator in $\ell^2(\mathbb{Z})$ which acts as
$$T g(x)=q^{-2 x -3/2} g(x+1)+(1+q) q^{-2 x-1} g(x)+q^{-2 x +1/2} g(x-1),$$
and I am looking to diagonalize it. The ...
3
votes
1
answer
114
views
Spectra of products variously permutated
Let $x,y$ be elements of a Banach algebra $A$ and $\lambda\in\mathbb C\setminus\{0\}$. If $\lambda-xy $ is invertible, then $\frac1{\lambda}\big[1+y(\lambda-xy)^{-1}x \big]$ is clearly an inverse of $...
3
votes
1
answer
137
views
Operator Semigroup: Resolvent estimates and stabilization, a detail in the paper of Nicoulas Burq and Patrick Gerard
In Appendix A of the paper Stabilization of wave equations on the torus with rough dampings https://msp.org/paa/2020/2-3/p04.xhtml or https://arxiv.org/abs/1801.00983 by Nicoulas Burq and Patrick ...
2
votes
1
answer
169
views
On spectral calculus and commutation of operators
Let $\mathcal{H}$ be a Hilbert space, $B\in\mathcal{B}(\mathcal{H})$ be bounded and self-adjoint and $A:\mathcal{D}(A)\to\mathcal{H}$ closed (but not necessarily self-adjoint or bounded). The ...
0
votes
0
answers
89
views
Operator identity
Let $T:\mathcal{D}(A)\to\mathcal{H}$ be a unbounded, self-adjoint, operator with positive spectrum $\sigma(T)\subset [\varepsilon,\infty)$ for $\varepsilon>0$. Hence $T$ is bijective with bounded ...
2
votes
0
answers
89
views
Dimension of Laplacian eigenspaces along a smooth 1-parameter family of metrics
Let $(M^n,g)$ be a closed Riemannian manifold, $n \geq 2$. For a smooth 1-parameter family $g_t$, $t \in (-\varepsilon, \varepsilon)$, of Riemannian metrics on $M$ with $g_0 = g$, let $\lambda_k(t)$, $...
4
votes
1
answer
224
views
Spectral density of symmetrized Haar matrix
Let $O$ be a random orthogonal matrix (according to Haar measure) of size $n$. I found by simulations that the spectral density of $O+O^\top$ is the arcsin law rescaled to the interval $[-2,2]$. I can'...
0
votes
0
answers
47
views
Rotational invariance of Laplace-Beltrami eigenvalue problem on smooth manifolds
I am currently looking at the eigenvalue problems of the Laplace-Beltrami operator. Let $(M,g$) be a smooth and oriented Riemann manifold. I am investigating the eigenvalue problem of the Laplace-...
1
vote
0
answers
141
views
Generalization of Borel functional calculus
[Repost from https://math.stackexchange.com/questions/4802593/generalization-of-borel-functional-calculus]
Let $A$ be a normal operator on a Hilbert space $V$. The continuous functional calculus gives ...
1
vote
1
answer
72
views
Spectrum below zero for $-\beta(x) \partial^2_x : L^2(\mathbb{R}) \to L^2(\mathbb{R})$
Let $\beta \in L^\infty(\mathbb{R} ; (0, \infty))$ be bounded from above and below by positive constants. Consider the self-adjoint operator $ -\beta^{-1} \partial^2_x : L^2(\mathbb{R}; \beta dx) \to ...
3
votes
2
answers
197
views
Domain of spectral fractional Laplacian
Let $(M,g)$ be a complete Riemannian manifold with Laplacian $\Delta:C^{\infty}_{c}(M)\to C^{\infty}_{c}(M)$ (think of $\mathbb{R}^{d}$ if you wish). This operator is essentially self-adjoint in $L^{2}...
6
votes
0
answers
165
views
Dependence of Neumann eigenvalues on the domain
I have the following problem in hands, in the context of a broader investigation:
Let $V\in L^{n/2}$ compactly supported, where $n\geq 3$ is the dimension. I want to prove the following:
For any $\...
0
votes
0
answers
95
views
Reducing subspaces of unitary operators
Let $U$ be a unitary operator on a Hilbert space $\mathcal{H}$. We can assume $\mathcal{H}$ is an $L^2$ space and $U$ acts as multiplication by a function $u$ with $|u(x)| = 1$ a.e (by the spectral ...
1
vote
1
answer
111
views
Sobolev-type estimate for irrational winding on a torus
Let $\mathbb{T} = \{ (x, y) \in \mathbb{R}^2 \}/_{x \mapsto x + 1, y \mapsto y + 1}$ be a real 2-torus. Let $\mathscr{C}^{\infty}_0(\mathbb{T})$ be the subset of $\mathscr{C}^{\infty}(\mathbb{T})$ of ...
5
votes
2
answers
434
views
Reconstruction of second-order elliptic operator from spectrum
Let $M$ be a compact smooth manifold, $(\lambda_n)_{n=1}^{\infty}$ be a square-summable monotonically increasing sequence of non-negative numbers, and let $(f_k)_{k=1}^{\infty}$ be continuous ...
3
votes
1
answer
198
views
Convergence of spectrum
Let $M$ be a compact manifold and $g_k$ be a sequence of Riemannain metrics smoothly converging to another Riemannian metric $g$.
Let $\{\lambda^k_j\}$ be the spectrum of the Laplacian of the ...
2
votes
1
answer
66
views
Spectral threshold effect: examples
I know that the effect of homogenization can be treated as a spectral threshold effect. I want to know more examples of spectral threshold effects in mathematical physics.
2
votes
1
answer
114
views
Disturbance of self-adjoint operator
Assume that $ A $ is self-adjoint operator and $ B $ is a bounded self-adjoint operator. The definite domain of $ A,B $, denoted by $ D(A) $ and $ D(B) $ satisfies $ D(A)\subset D(B) $. Show that
\...
0
votes
0
answers
90
views
Applications of finite speed of propagation property
Consider the Laplace operator $\Delta:=\sum_{j=1}^{n}\partial_{x_{j}}^{2}$ on $\mathbb{R}^n$. Let $E_{\lambda}$ be the spectral resolution of $\Delta$, and
$$ H_{t}[f]:=\cos{(t\sqrt{-\Delta})}f=\int_{...
2
votes
0
answers
133
views
Lp eigenfuntion bounds for the hermite operator on domain (or manifolds) with boundary
Let's define the harmonic oscillator $H = -\Delta+x^2$ in a domain $\Omega$ of $\mathbb R^d$. Thus,
we consider the Dirichlet eigenvalue problem
$$ (H - \lambda^2)u (x) = 0, \ x \in \Omega ; \ \text{...
4
votes
0
answers
95
views
Eigenvalues of the Hodge-Laplace for 2-forms on $S^3$
Consider the Laplace operator $\Delta = d^{*} d + d d^{*}$ on $\Omega^2(S^3)$. What is the minimal eigenvalue of $\Delta$?
(My computations showed that the answer is 4; the eigenforms correspond to ...
3
votes
0
answers
126
views
the second largest eigenvalue of transfer operators
A Gauss map $T$ is mixing and satisfies Lasota-York inequalities. By Henon's theorem, we know that the transfer operator $\hat{T}$ associated with $T$ has a spectral gap. This means there exists a ...
0
votes
1
answer
147
views
Spectrum of a product of a symmetric positive definite matrix and a positive definite operator
Let $\mathbf H$ be an infinite dimensional Hilbert space.
I want to find an example of a $2\times 2$ real symmetric positive definite matrix $M$ and a positive definite bounded operator $A : \mathbf H ...
3
votes
0
answers
113
views
Leibniz rule bound for the inverse of the Laplacian?
Let $f, g \in L^2[\mathbb{T}^2]$ be real-valued functions without zero modes. That is, $\int_{\mathbb{T}^2}f=\int_{\mathbb{T}^2}g=0$. Here, ${\mathbb{T}^2}$ is the $2$-dimensional torus $[\mathbb{R}/\...
0
votes
0
answers
269
views
Spectral theorem for commuting operators
Let $A_{1},...,A_{n}$ be densely defined self-adjoint operators on a separable Hilbert space $\mathscr{H}$. Suppose these have a common dense domain $D\subset \mathscr{H}$ and satisfy commutation ...
1
vote
0
answers
140
views
Reference on spectral theory of self-adjoint operators
I am reading this paper on comparing different moments of independent random variables. A initial step in their approach is designing an operator $L$ over smooth functions (and extended to an self ...
3
votes
1
answer
94
views
First Dirichlet eigenvalue of the harmonic oscillator on a bounded interval $(-a,a)$?
Let $a>0$ be a fixed number and consider the Hermite operator (or harmonic oscillator) defined by
\begin{equation}
Hf(x)=x^2f(x)-f''(x)
\end{equation}
for any smooth function $f$ compactly ...
2
votes
1
answer
173
views
Leibniz rule for square root of Laplacian
Let $(M,g)$ be a compact Riemannian manifold (e.g. $M=S^3$ the 3-sphere) and let $\Delta$ be the metric Laplacian on $M$. Then $\Delta$ has an $L^2(M)$ basis of eigenfunctions $\pi_m$, $$ \Delta \pi_m ...
3
votes
0
answers
115
views
Reference request: trace norm estimate
In a paper I am currently reading, the author uses that if $T$ is an operator given by the kernel $$T(x,y) = \int_{\mathbb R} p(x,z) q(z,y) dz,$$
then $$\lvert \operatorname{tr} T \rvert \leq \lVert T ...