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
365
questions with no upvoted or accepted answers
27
votes
0
answers
1k
views
Unital $C^{*}$ algebras whose all elements have path connected spectrum
A unital $C^{*}$ algebra is called a "Path connected algebra" if the spectrum of all its elements is a path connected subset of $\mathbb{C}$.
What is an example of a non commutative ...
12
votes
0
answers
484
views
Weyl law for Maass forms with nontrivial character
The classical Weyl law for $\Gamma = \mathrm{SL}_2(\mathbb{Z})$ counts the number of Maass cusp forms on $\Gamma \backslash \mathbb{H}$ with Laplace eigenvalue less than $T$. This is originally due to ...
12
votes
0
answers
208
views
Classes for which the Spectrum determines a Convex Shape
Given a planar domain $\Omega \subset \Bbb{R}^2$ bounded and open we can associate to it the spectrum of the Laplace operator with Dirichlet boundary condition. It is known that there are planar ...
10
votes
0
answers
208
views
Is something known about the third term in Weyl law?
The well-known Weyl law states that if $\Omega$ is a open subset of $\mathbb R^d$ that is "nice enough" (I don't want to enter into details on this point) and if $N(\lambda)$ is the number ...
10
votes
0
answers
277
views
Comparing spectra of Laplacian and Schrödinger operator
Let $M$ be a closed (compact without boundary) Riemannian manifold. Is there a body of results that compares the eigenvalues of the Laplace-Beltrami operator with that of Schrödinger operators $-\...
9
votes
0
answers
209
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 ...
9
votes
0
answers
504
views
Why is spectral theory developed for $\mathbb C$
Spectral theory is a fundamental part of operator theory and the spectrum of many operators is investigated throughout the existing literature. And that is for a good reason: If $A$ is some closed ...
9
votes
0
answers
326
views
Connections between spectral geometry and critical point/Morse theory
I am researching electrostatic knot theory, which is essentially the theory of harmonic functions on knot complements. I want to understand the number of critical points of the electric potential, ...
9
votes
0
answers
796
views
Positive definiteness of matrix
This question is about the positive definiteness of a (non-random) matrix that is defined using random variables as follows:
We fix the vector $v=(1,1)$ (yet, it seems the final result does not ...
9
votes
0
answers
222
views
Using Property (T) to approximate invertible matrices
In the wikipedia article for Kazhdan's Property (T), there's an intriguing application:
Similarly, groups with property (T) can be used to construct finite sets of invertible matrices which can ...
9
votes
0
answers
347
views
Phillips-Sarnak conjecture in higher dimension
The Phillips-Sarnak conjecture states that for a generic Fuchsian lattice the space of Maass cusp forms is finite-dimensional. Generic here means in particular non-uniform, non-arithmetic, no special ...
8
votes
0
answers
218
views
Regularilty of Commutative Spectral Triples
In Connes' approach to non-commutative geometry, the notion of a spectral triple is said to generalize compact Riemannian manifolds to the non-commutative setting. Motivating classical examples ...
8
votes
0
answers
338
views
Two proofs of the Cheeger-Müller theorem
In the late 1970's, Cheeger and Müller independently proved the equality of analytic torsion and Reidemeister torsion for orthogonal representations, which had been conjectured by Ray-Singer. Their ...
8
votes
0
answers
722
views
Bounding sum of first singular values squared for Kronecker sum of traceless matrices
Let $A$ and $B$ be $4\times4$ traceless matrices with Hilbert-Schmidt norms summing up to $1/4$, i.e.
$$\text{Tr}\left[ A\right]=\text{Tr}\left[ B\right] = 0,\qquad\text{Tr}\left[ A^\dagger A + B^\...
7
votes
0
answers
146
views
Subleading terms in Weyl's Law
The two term Weyl's conjecture states that
$$N(\lambda)\sim\frac{\operatorname{area}(\Omega)}{4\pi}\lambda-\frac{\operatorname{perimeter}(\partial\Omega)}{4\pi}\sqrt\lambda$$
where $\Omega$ is a ...
7
votes
0
answers
175
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 \...
7
votes
1
answer
387
views
Deriving Sommerfeld radiation condition from limiting absorption principle
For the Helmholtz equation
$$
-(\Delta + k ^2) u = f, \label{1}\tag{1}
$$
imposing the Sommerfeld radiation condition
$$
\lim_{r\to\infty} r ^{\frac{m-1}2} \left( u_r - i k u\right) = 0
$$
on $u$ ...
7
votes
0
answers
285
views
"Non-critical" zeros of $\zeta$ and the $\zeta$-cycles of Connes and Consani
In the recent preprint of Connes and Consani https://arxiv.org/abs/2106.01715 a new spectral realization of the critical zeros of $\zeta$ (edit: defined as being those on the critical line only, see ...
7
votes
0
answers
361
views
Standard definition of a resolvent: A-zI must be onto, not merely have a dense range?
STANDING ASSUMPTIONS: Let $T:D_T\rightarrow X$ be a linear operator, where $X$ is a normed space and $D_T\subset X$.
DEFINITION 1 ("onto"): A complex number $\lambda$ belongs to the resolvent set $\...
7
votes
0
answers
83
views
Eigenvalue lower bounds for manifold with positive Ricci curvature
For closed $n$-manifold with Ricci curvature $\ge (n-1)$, it is known that the first eigenvalue $\lambda_1\ge n$ with equality holds if and only if $M$ is isometric to the Euclidean sphere $S^n$. My ...
7
votes
0
answers
236
views
For which type of potentials a Schrödinger operator will have discrete spectrum?
Let $-\frac{\mathrm{d}^2}{\mathrm{d} x^2} + V(x)$ be an one-dimensional Schrödinger operator for a given potential $V(x)$. Is it possible to know if such operator has a discrete spectrum (or not) ...
7
votes
0
answers
333
views
Locally symmetric spaces: spectrum of the Laplacian
Let $M = \Gamma\backslash X$ denote a locally symmetric space of non-compact type and $\Delta$ the Laplacian on $L^2(M)$.
It is known that the spectrum of $\Delta$ decomposes into finitely many
...
7
votes
0
answers
215
views
Characterizing matrices with rank constraint
Given matrix $M\in\Bbb\{0,1\}^{n\times n}$, is there a nice method to characterize $$\mathscr{D}[M]=\{Q\in\Bbb\{0,1\}^{n\times n}:\mathsf{rank}(M-Q)= \mathsf{rank}(Q),\quad M-Q\in\Bbb\{0,1\}^{n\times ...
6
votes
0
answers
171
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 $\...
6
votes
0
answers
146
views
Gap between consecutive Dirichlet eigenvalues
Suppose $\Omega \subset \mathbb R^2$ is a domain with a Lipschitz boundary and let $\{\lambda_k\}_{k=0}^n$ be the eigenvalues for the Laplacian operator on $\Omega$, that is to say
$$ -\Delta \phi_k = ...
6
votes
0
answers
106
views
Eigenvalues of splitting scheme
In numerical analysis it is common to approximate a solution to a PDE
$$u'(t) = (A+B) u(t), \quad u(0)=u_0$$
which is just given by $e^{t(A+B)}u_0$ by the splitting $e^{tB/2} e^{tA} e^{tB/2}u_0.$ Here,...
6
votes
0
answers
83
views
Finding approximate eigenvectors: quantitative results
Let $X$ be a complex Banach space and $T \colon X \to X$ be a bounded operator. For every $x \in X \setminus \{0\}$, denote by $Y_x$ the smallest closed $T$-invariant subspace of $X$ containing $x$. ...
6
votes
0
answers
339
views
Recent work on Pseudo-Laplacian and Pseudo-cuspform in the spirit of Riemann Hypothesis after the work of Bombieri and Garrett
( This is my first MO question . I'm totally inexperienced on MO so, forgive me for my mistakes .)
Paul Garrett and Enrico Bombieri were (are?) Secretly Working on Pseudo-Laplacians and Pseudo-...
6
votes
0
answers
221
views
Poking into a Lie group with your finger
I consider this as a differential geometry problem. I have asked some
of my classmates who are more interested in that, and also looked into
some literature, but none of what I've found seems to help.
...
6
votes
0
answers
265
views
Spectral properties of Non-local Differential operators on real line
I am encountering non-local (and nonlinear) PDEs in my work. To compute stability, I am trying to numerically estimate the spectrum of linearized-but-nonlocal version of the said PDEs.
Definition: A ...
6
votes
0
answers
380
views
Steklov eigenvalue problem for a planar region bounded by ellipse
The Steklov problem for a compact planar region $\Omega$ is
\begin{cases} \Delta u =0 &\text{in $\Omega$}, \\ \frac{\partial u}{\partial n} = \sigma u &\text{on $\partial \Omega$},
\end{...
6
votes
0
answers
136
views
Spectrum of perturbed differential operators
I am looking for a reference that could help me with the following two questions:
Let $\Omega \subset \mathbb{R}^d$ be a bounded domain with Lipschitz boundary. Consider a sequence of differential ...
6
votes
0
answers
184
views
Geometrically-explicit upper bound for on-diagonal heat kernel
Let $M$ be a compact Riemannian manifold, and $K(t;z,w)$ the heat kernel associated to the usual Laplace-Beltrami operator on functions. There are results of the form
$$K(t;z,z) \leq \frac{C_M}{f_z(t)...
6
votes
0
answers
566
views
Lower bound on the sum of singular values for a sum of Hermitian matrices
Denote the eigenvalues of an $n\times n$ matrix $\mathbf{X}$ by $\lambda_i(\mathbf{X})$ and its singular values by $\sigma_i(\mathbf{X})$, $i=1,\ldots,n$. When $\mathbf{X}$ is Hermitian, we know that $...
6
votes
0
answers
199
views
Spectral theory for Dirac Laplacian on a funnel
I would like to study the spectral theory of the Dirac Laplacian on a non-compact quotient of the hyperbolic plane by a discrete group (I am particularly interested in the simple case where the ...
6
votes
0
answers
368
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 ...
6
votes
0
answers
295
views
Spectrum of an operator arising in a dynamical problem
(Question edited according to Denis Serre comment).
While studying the action of dilating map of the circle on probability measures, I ran across the following operator:
$$\mathcal{K}^* : L^2_0(\mu)\...
5
votes
0
answers
206
views
Perturbation of Neumann Laplacian
Consider the $N \times N$ matrix
$$A_{\alpha}=\begin{pmatrix} \lambda_1 & -1 & -\alpha & 0 & \cdots & 0\\
-1 & \lambda_2 & -1 & -\alpha & \cdots & 0\\
-\alpha &...
5
votes
1
answer
611
views
Eigenvalue and eigenfunction convergence
Consider a bounded Euclidean domain $\Omega \subset \mathbb{R}^n$ (for simplicity, let's say, $\Omega$ has smooth boundary and is simply connected). Let $p \in \Omega$ be a point, and call $\Omega_n = ...
5
votes
0
answers
409
views
Spectral theory without topology
How much of spectral theory can be developed just working with vector spaces (finite or infinite dimensional) without referring to a choice of topology ?
Something along these lines, for example: ...
5
votes
0
answers
130
views
Laplace Beltrami eigenvalues on surface of polytopes
The recently posted arxiv paper Spectrum of the Laplacian on Regular Polyhedra
by Evan Greif, Daniel Kaplan, Robert S. Strichartz, and Samuel C. Wiese, collects numerical evidence for conjectured ...
5
votes
0
answers
226
views
Spectral gap for the Brownian motion with drift on a compact manifold
Let $M$ be a compact Riemannian manifold without boundary, $X$ a smooth vector field on $M$. Consider the Brownian motion $t\mapsto B_t$ on $M$ with drift $X$, so that its generator is $L=\Delta +X$. ...
5
votes
0
answers
121
views
How to solve this operator equation numerically?
I would like to know how one solves Sturm-Liouville problems on $(0,\infty)$ NUMERICALLY for the eigenvalues that are of the form
$$-f''(x)+\frac{1}{\sinh(x)^2}f(x)=\lambda f(x).$$
So even if there ...
5
votes
0
answers
157
views
A conjecture on shape optimization for Dirichlet-Laplacian
For a given domain $G$, with sufficiently smooth boundary, in the plane we denote the first two eigenvalues of Dirichlet-Laplacian on $G$ of by $\lambda_1(G)$ and $\lambda_2(G)$.
$\textbf{Open(?) ...
5
votes
0
answers
156
views
Eta invariants of fiber bundles
The general question is: What is known about the eta invariants of fiber bundles?
The particular case I am interested in is the following. The fiber bundle is a bundle $S$ of even-dimensional round ...
5
votes
0
answers
278
views
The Spectrum of certain differential operators
We fix a Hilbert space isomorphism $\phi:H^{1}\to H^{2}$. Here by $H^{s},\;s=1,2,\;$ we mean the sobolev space on $\mathbb{R}^{2}$ or $S^{2}$.
We consider the following polynomial vector field on ...
5
votes
0
answers
319
views
spectral decomposition for elliptic surfaces?
I'm looking for explicit formulae for the spectral decomposition of $L^2(S)$, where $S$ is an elliptic surface (of complex dimension 2).
To be precise, the elliptic surface I'm looking at is the ...
5
votes
0
answers
536
views
An inverse eigenvalue problem on Jacobi matrices
I am interested in trying to design a Hermitian Jacobi (tridiagonal) matrix $H$ that has specific properties. The basic property, which is simple enough to construct, is that for an $N\times N$ matrix ...
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 ...
4
votes
0
answers
123
views
Eigenvalues of Schrödinger operator with Robin condition on the boundary
Let $(M^2,g)$ be a compact Riemannian surface with boundary and let $L = \Delta_g + q$ be a Schrödinger operator, where $\Delta_g = -\operatorname{div} \nabla$ is the Laplacian with respect to the ...