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

Filter by
Sorted by
Tagged with
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. ...
Sascha's user avatar
  • 496
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$$
none Yuan's user avatar
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 ...
Sascha's user avatar
  • 496
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 ...
Mr_Rabbit's user avatar
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^...
Sascha's user avatar
  • 496
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:...
0xbadf00d's user avatar
  • 131
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 ...
Frederik Ravn Klausen's user avatar
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 ...
JACK's user avatar
  • 421
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 ...
justin123's user avatar
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{ ...
PPR's user avatar
  • 386
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$...
student's user avatar
  • 1,330
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 ...
potionowner's user avatar
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 &...
0xbadf00d's user avatar
  • 131
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 ...
Yonah Borns-Weil's user avatar
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 ...
Vivek Shende's user avatar
  • 8,643
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=-...
Sascha's user avatar
  • 496
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 ...
user170399's user avatar
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 ...
Héhéhé's user avatar
  • 584
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 $\...
dohmatob's user avatar
  • 6,586
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 $-\...
WhiteDwarf's user avatar
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 ...
Black Carrot's user avatar
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 ...
Ariel Serranoni's user avatar
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 ...
Maurizio Moreschi's user avatar
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 ...
Maurizio Moreschi's user avatar
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 $\...
qingerCS's user avatar
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} - ...
Synia's user avatar
  • 549
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 ...
Ma Joad's user avatar
  • 1,569
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$. (...
Ma Joad's user avatar
  • 1,569
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 ...
groupoid's user avatar
  • 580
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 ...
groupoid's user avatar
  • 580
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=\...
Uzu Lim's user avatar
  • 649
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 ...
Maurizio Moreschi's user avatar
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 ...
user avatar
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 $...
Maurizio Moreschi's user avatar
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 ...
Andrés Felipe's user avatar
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 ...
William Bell's user avatar
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 ...
caffeinemachine's user avatar
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 ...
Peppermint's user avatar
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 ...
GSofer's user avatar
  • 141
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 ...
Mathmo's user avatar
  • 223
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 ...
pxchg1200's user avatar
  • 265
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 $\...
Mathmo's user avatar
  • 223
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,...
Andrés Felipe's user avatar
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) \| ...
Manuel Norman's user avatar
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$. ...
N. de Rancourt's user avatar
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 \; = ...
stewori's user avatar
  • 183
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 ...
dohmatob's user avatar
  • 6,586
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>...
rihani's user avatar
  • 61
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 ...
gradstudent's user avatar
  • 2,136
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....
H A Helfgott's user avatar
  • 19.1k

1
3 4
5
6 7
20