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
0
answers
313
views
Heat equation damps backward heat equation?
In a previous question on mathoverflow, I was wondering about the following:
Let $\Delta$ be the Laplacian on some compact interval $I$ of the real line with let's say Dirichlet boundary conditions. ...
1
vote
0
answers
78
views
determine the spectrum of the operator [closed]
determine the spectrum of the operator
$$-\Delta-5\phi^4,\phi=3^{1/4}(1+|x|^2)^{-\frac{1}{2}},x\in R^3$$
4
votes
1
answer
184
views
Mapping properties of backward and forward heat equation
In a previous question on mathoverflow, I asked about the following:
Let $\Delta$ be the Laplacian on some compact interval $I$ of the real line with let's say Dirichlet boundary conditions.
The ...
5
votes
1
answer
144
views
Spectrum of an elliptic operator in divergence form with a reflecting boundary condition
Let $\Omega$ be a bounded open domain and $v:\Omega\to\mathbb{R}^n$. Consider the following elliptic operator in divergence form, defined on smooth functions $u: \Omega \to \mathbb{R}$
\begin{align}
L ...
2
votes
0
answers
101
views
Strongly continuous semigroups on weighted $\ell^1$ space
Let $x=(x_i)$ be a sequence in $\ell^1$ such that all $x_i>0.$
Let $T(t):\ell^1 \rightarrow \ell^1$ be a strongly continuous semigroup of, i.e. $t \mapsto T(t)y$ is continuous for every $y \in \ell^...
1
vote
0
answers
69
views
Show that the Laplacian on these domains is isospectral
Let $\Omega_i\subseteq\mathbb R^d$ be bounded and open, $A_i$ denote the weak Laplacian with domain $\mathcal D(A):=\{u\in H_0^1(\Omega_i):\Delta u\in L^2(\Omega_i)\}$ on $L^2(\Omega_i)$ and $$T_i(t)f:...
2
votes
0
answers
143
views
Are Weyl sequences polynomially bounded?
Look at the Hilbert space $l^2( \mathbb{Z}) $ and let $A$ be a translation invariant band operator. I.e. if $\{ e_n \}_{n \in \mathbb Z} $ is the standard basis for $l^2( \mathbb{Z}) $ then it holds ...
2
votes
0
answers
102
views
Spectral decomposition of idele class group $L^2(\mathbb{I}_F/ F^{\times})$
Let $F$ be a number field. Let $\mathbb{A}_F$ be the ring of adeles. The group of units of $\mathbb{A}_F$ is called the group of ideles $\mathbb{I}_F=\mathbb{A}_F^{\times}= GL_1(\mathbb{A}_F)$. The ...
1
vote
1
answer
99
views
Sum of positive self-adjoint operator and an imaginary "potential": literature request
To keep things simple, let us consider the following: $L$ is a positive, unbounded S.A. operator on $L_2(\mathbb{R},f(x))$, where $f(x)$ is a Gaussian. Assume that we know the spectrum and ...
2
votes
1
answer
258
views
Characterization of absolutely-continuous spectrum
The essential spectrum of a bounded linear operator $A$ on a separable Hilbert space $\mathcal{H}$ is defined as $$ \sigma_{\mathrm{ess}}(A) \equiv\left\{z\in\mathbb{C}\left.\right|A-z\mathbb{1}\text{ ...
1
vote
0
answers
41
views
On the boundary integral of Neumann eigenfunctions
Let $v$ be an eigenfunction corresponding to the first nonzero Neumann Laplacian eigenvalue on a domain $\Omega \subset \mathbb{R}^2$. By definition, we know that $\int_{\Omega} v \, dx=0$. If $\Omega$...
7
votes
3
answers
1k
views
Essential spectrum of multiplication operator
Let $a\in \mathcal{L}(L^2([0, 1], \mathbb{R}))$ be a multiplication operator. I wonder whether there is any work on calculating its essential spectrum. Is there any way to explicitly compute its ...
0
votes
1
answer
294
views
Proof of the analytic Fredholm theorem in Borthwick
I've stumbled across a proof of the analytic Fredholm theorem given in Theorem 6.1 in Spectral Theory of Infinite-Area Hyperbolic Surfaces by David Borthwick (see below).
Given the notion of being &...
1
vote
1
answer
117
views
Spectrum decomposition of the scaling operator on weighted spaces
Consider the bounded linear operator $M_a$ defined by $M_au(x)=\frac{1}{\sqrt{a}}u\left(\frac{x}{a}\right)$, for $a>1$. On $L^2(\mathbb{R})$, it is easy to see that this is a unitary operator and ...
4
votes
0
answers
182
views
Can the existence of geodesics be deduced from properties of the Laplacian?
As I understand it, the semiclassical trace formula in particular relates lengths of geodesics to eigenvalues of the Laplacian.
Is it possible to prove that every compact Riemannian manifold has a ...
2
votes
1
answer
214
views
Diagonalise self-adjoint operator explicitly?
Consider the linear constant coefficient differential operator
$P$ on the Hilbert space $L^2([0,1]^2;\mathbb C^2)$
$$P= \begin{pmatrix} D_{z}+c & a \\ b & D_{z}+c \end{pmatrix}$$
where $D_z=-...
3
votes
1
answer
158
views
Laplace eigenfunction on a polygonal domain symmetric about an axis
Consider a polygon $\Omega \subseteq \mathbb{R}^2$, and let us consider the usual Laplacian operator $\Delta = \partial_x^2 + \partial_y^2$, with Dirichlet boundary conditions. My question comes from ...
10
votes
0
answers
203
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 ...
1
vote
0
answers
66
views
Lower-bounding the eigenvalues of a certain positive-semidefinite kernel matrix, as a function of the norm of the input matrix
Let $\phi:[-1,1] \to \mathbb R$ be a function such that
$\phi$ is $\mathcal C^\infty$ on $(-1,1)$.
$\phi$ is continuous at $\pm 1$.
For concreteness, and if it helps, In my specific problem I have $\...
6
votes
1
answer
322
views
A better version of Weyl's Law or uniform estimates of Laplacian higher eigenvalues
Let $(M^n,g)$ be a closed $n$ dimensional Riemannian manifold with $\mathrm{Ric}_g\ge -K$, $(K\ge 0)$. Weyl's law(along with Karamata Tauberian Theorem) asserts that the eigenvalue $\lambda_i$ of $-\...
1
vote
0
answers
264
views
Calculating frequency of sound of ringing metal coin
I would like to reproduce the results of Manas - The music of gold: Can gold counterfeited coins be detected by ear?, but it skips a lot of steps, and the mathematics behind it is a bit advanced for ...
0
votes
1
answer
137
views
Relating classic spectral decomposition with Euclidean Jordan algebras
I'm currently getting into studying optimization problems over symmetric cones (NSCP) and I'm having some trouble to understand something.
Let me first give some context, sorry if it is repetitive to ...
0
votes
0
answers
53
views
Isolated eigenvalues of "bipartite" operators
Please note: This is a reformulation of a previous question of mine. The old question has been already answered to, so I prefer asking a new one. However, it looked like the old formulation did not ...
0
votes
1
answer
141
views
Detecting isolated eigenvalues from local spectral measures
Please note: This question has been edited after it became clear from Christian Remling's answer that the original formulation was far from what I really meant to ask.
Let $T\ne 0$ be a self-adjoint ...
0
votes
0
answers
274
views
Comparison of the spectrum decomposition
In the spectral theorem, we learned that the spectrum of a linear operator $A$ is a disjoint union of: point spectrum (eigenvalues), continuous spectrum (the kernel of $zI-A$ is zero, the closure of $\...
2
votes
0
answers
40
views
References on discrete Sturm-Liouville eigenvectors convergence
Let $ L : u_n \mapsto a_n u_{n + 1} + b_n u_n + a_{n - 1} u_{n -1} = \nabla ( a_n \Delta u_n ) + (b_n + a_n + a_{n - 1}) u_n $ be a discrete Sturm-Liouville operator, with $ \nabla u_n := u_{n + 1} - ...
0
votes
0
answers
202
views
A gap in the proof of uniqueness of functional calculus based on a spectral theorem
This question considers the proof of a fundamental theorem of functional calculus, given in the book Spectral Theory -
Basic Concepts and Applications by David Borthwick (Theorem 5.9).
Firstly we have ...
0
votes
0
answers
59
views
"Trade-off" between bound on the function and on the spectrum for functional calculus in spectral theory
Let $A$ be a self-adjoint (unbounded) operator on a separable Hilbert space $H$.
From the following form of spectral theorem, we may define a functional calculus by $f(A)=Q^{-1} M_{f\circ \alpha} Q$. (...
5
votes
1
answer
178
views
Canonical multiplication representation of self-adjoint operator in quantum chemistry and coding theory research
In my applied math research group, we are studying and going over functional analysis results from papers and theses from our institution to generalize their results and apply them in our discrete ...
4
votes
1
answer
248
views
Trying to recover a proof of the spectral mapping theorem from old thesis/paper with continuous functional calculus
In my research group in functional analysis and operator theory (where we do physics and computer science as well), we saw in an old Russian combination paper/PhD thesis in our library a nice claim ...
4
votes
0
answers
418
views
Learning from eigenvalues of Hilbert-Schmidt integral operator
Do eigenvalues of the Hilbert-Schmidt integral operator determine the underlying measure up to translation, reflection and rotation?
Details: Suppose we have a measure $\mu$ on a Euclidean space $X=\...
0
votes
0
answers
101
views
Isolated points of the spectra of self-adjoint operators on Hilbert spaces
Let $T$ be a (everywhere defined) self-adjoint operator on a complex Hilbert space $\mathcal{H}$.
I am interested in results that give (non-trivial, possibly mild) sufficient conditions on $T$ to ...
3
votes
1
answer
149
views
Commutation between integrating and taking the minimal eigenvalue
Let $S = (f_{ij})_{ij}$ be a $n \times n$ real symmetric matrix, with functions $f_{ij} \in L^1(\mathbb{R}^d,\mathbb{R})$ in it. We define $\left(\int u S \right)_{ij} = \int u S_{ij}$ as the ...
3
votes
1
answer
184
views
Spectrum of a self-adjoint operator and spectral measures
Let $T$ be a self-adjoint operator on a Hilbert space $\mathcal{H}$, with spectrum $\sigma(T)$. For any $x,y\in \mathcal{H}$, denote by $\mu_{xy}$ the spectral measure of $T$ with respect to $x$ and $...
1
vote
1
answer
616
views
A bounded operator $T$ is compact if and only if $\sigma_{\mathrm{ess}}(T)=\{0\}$
Theorem: Let $T$ be a bounded self-adjoint operator on a complex infinite-dimensional Hilbert space $H$. Then $T$ is compact if and only if $\sigma_{\mathrm{ess}}(T)=\{0\}$.
Proof: If $T$ is compact ...
17
votes
1
answer
2k
views
Why should I look at the resolvent formalism and think it is a useful tool for spectral theory?
Wikipedia calls resolvent formalism a useful tool for relating complex analysis to studying the spectra of a linear operator on a Banach space. Sure, I believe you because I've seen results that use ...
1
vote
0
answers
72
views
Basic question about convergence of top and penultimate eigenvalues of a sequence of operators
$\newcommand{\norm}[1]{\|#1\|}$ $\newcommand{\ab}[1]{\langle #1\rangle}$ $\newcommand{\C}{\mathbf C}$
Questions
Let $I$ be the unit interval.
Let $H=L^2(I)$ and $T:H\to H$ be a compact self-adjoint ...
6
votes
1
answer
2k
views
Operator norm and spectrum
I am wondering about when an operator norm coincides with the maximum eigenvalue of an operator and there is one particular aspect that confuses me quite a lot.
Let's say we have a symmetric positive ...
3
votes
0
answers
93
views
Determining what happens to the spectrum of Schrödinger operator as boundary condition changes
I recently came across a problem in research, and I'm asking about it here after trying in math stack exchange with no luck.
Suppose I have a metric graph $G$ (or even a closed interval, to make ...
5
votes
1
answer
153
views
For self-adjoint $A$ and $B$, when is $(A+iB)^*$ the closure of $A-iB$?
Suppose that I have two self-adjoint operators $A$ and $B$ such that $\mathcal{D}(A)\cap\mathcal{D}(B)$ is dense and $B$ positive. Then $A\pm iB$ (with domains $\mathcal{D}(A)\cap\mathcal{D}(B)$) are ...
4
votes
1
answer
304
views
Some question about the spectral function of Laplace operator on $\mathbb{R}^n$
I am studying the paper of Seeley, R., A sharp asymptotic remainder estimate for the eigenvalues of the Laplacian in a domain of (R^3), Adv. Math. 29, 244-269 (1978). ZBL0382.35043. There are some ...
2
votes
0
answers
129
views
Does a spectral theorem exist for linear operator pencils?
I was wondering if a version of the spectral theorem (the projection valued measure case) holds for linear pencils of the form
$$
A-\lambda B
$$
where $A,B$ are self-adjoint on some Hilbert space $\...
2
votes
1
answer
80
views
On the dimension of the range of the resolution of the identity
I want to prove the following: Let $A,B$ be bounded self-adjoint operators in a complex-Hilbert space and $E_A(\lambda)$, $E_B(\lambda)$ its corresponding spectral resolutions, i.e.,
$$A=\int_{[m_A,...
1
vote
1
answer
235
views
On a limit for the resolvent norm
Let $H$ be a complex, infinite dimensional, separable Hilbert space. Fix any two nonzero operators $A,B \in B(H)$ such that $B$ is not a scalar multiple of $A$. It is well known that:
$$ \| R_A (z) \| ...
6
votes
0
answers
82
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$. ...
1
vote
0
answers
104
views
Sturm-Liouville Problem: When does $w y^2$ vanish at a singular boundary point?
It is well known (e.g. Courant, Hilbert - Methods of Mathematical Physics) that solutions of the Sturm-Liouville problem on an interval $J=(a,b)$
\begin{equation} \tag{1}
\left(p y' \right)' - qy \; = ...
3
votes
1
answer
141
views
Reference for "the algebra of multiplication by all measurable bounded functions acts in Hilbert space in a unique manner"
I read a paper of Alain Connes on "Duality between shapes and spectra" and in page 4, he says
Due
to a theorem of von Neumann the algebra of
multiplication by all measurable bounded ...
4
votes
0
answers
88
views
Spectrum of Laplace-Beltrami with piecewise constant coefficients
By the Laplace-Beltrami with piecewise constant coefficients I means the operator $-div (f\, \nabla .)$ in the 2-sphere. Where $f$ is a piecewise constant function that takes two values $1$ and $a>...
2
votes
0
answers
246
views
Spectrum of the Witten Laplacian on compact Riemannian manifolds
Below I have given what I am calling as the ${\rm Witten{-}Laplacian}_{s,p}$ on a Riemannian manifold $(M,g)$ for any constant $s >0$ and $p \in C^2(M,g)$
How generally is it true that this ${\rm ...
3
votes
0
answers
250
views
Eigenvalue bounds and triple (and quadruple, etc.) products
Very basic and somewhat open-ended question:
Let $A$ be a symmetric operator on functions $f:X\to \mathbb{R}$, where $X$ is a finite
set. Assume that the $L^2\to L^2$ norm of $A$ is $\leq \epsilon$, i....