All Questions
61 questions
21
votes
1
answer
742
views
Non real eigenvalues for elliptic equations
I am looking for an example of a pure second order uniformly elliptic operator
$L=\sum_{i,j=1}^da_{ij}(x)D_{ij}$ in a bounded domain $\Omega$ (with Dirichlet boundary conditions, for example) having a ...
- 6,035
14
votes
1
answer
830
views
Spectrum of matrix involving quantum harmonic oscillator
The quantum harmonic oscillator relies on two classical objects, the so-called creation and annihilation operator
$$a ^* = x- \partial_x \text{ and }a = x+\partial_x.$$
Fix two numbers $\alpha,\beta \...
- 192
10
votes
3
answers
1k
views
References: spectral analysis of the Laplacian operator
I'm looking for several references on the spectral analysis of the Laplacian operator. It is such a well-known topic, but I'm a bit struggling to locate modern systematic expositions in the literature....
user89890
10
votes
1
answer
3k
views
Trace of integral trace-class operator
I have seen many answers to the converse question (which seems to be difficult in general), but I would like to ask the following:
Let $T: L^2 \rightarrow L^2$ be a trace-class operator that is also ...
user69109
9
votes
2
answers
778
views
Rellich's theorem from compact resolvent
On a compact Riemannian manifold, we know that the Laplacian $\Delta$ has compact resolvent. In proving this, one typical way is to use Rellich's theorem about the compact embedding of $H^1(M)$ into $...
- 91
7
votes
2
answers
920
views
Exotic spectrum of Laplace operator
Given a closed Riemannian manifold and a generalized Laplace $\Delta$ operator,
it is well known that $\Delta$ has discrete spectrum $(\lambda_n)_n$ (arranged in a increasing way, not counting ...
- 101
7
votes
2
answers
641
views
Decay of solutions to Schrodinger equation with local minimum in potential
Consider the one-dimensional Schrodinger operator on the real line $\mathbb{R}$ given by
$$ L = - \partial_x^2 + V $$
where $V$ is a potential with the following properties:
$V$ is non-negative, and ...
- 39k
6
votes
2
answers
529
views
Schrödinger eigenfunctions are bounded
Let $V:\mathbb{R}\rightarrow \mathbb{R}^{+ *}$ a real positive function such that $\displaystyle \lim_{ x \to \pm\infty} V(x)= +\infty $.
Then the Schrödinger operator $H=-\frac{d^2}{dx^2}+V(x)$ has ...
- 129
6
votes
0
answers
201
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 $\...
- 101
6
votes
0
answers
281
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 ...
- 318
5
votes
2
answers
1k
views
Compact operator without eigenvalues?
Consider the operator $M$ on $\ell^2(\mathbb{Z})$ defined by for $u\in \ell^2(\mathbb Z)$
$$Mu(n)=\frac{1}{\vert n \vert+1}u(n).$$ This is a compact operator!
Then, let $l$ be the left-shift and $r$ ...
- 173
5
votes
1
answer
487
views
Fokker-Planck: equivalence between linear spectral gap and nonlinear displacement convexity?
In a smooth, bounded and convex domain $\Omega\subset \mathbb R^d$ consider the usual linear Fokker-Planck equation with Neumann (some would say Robin) boundary conditions
\begin{equation}
\label{FP}
\...
- 5,380
5
votes
1
answer
224
views
Spectral theory of infinite volume hyperbolic manifolds
I have a question about the discrete spectrum of the Laplace operator on hyperbolic manifolds with infinite volume. I understand the case of infinite area surfaces: see Chapter 7 (Sections 1 and 2) of ...
- 1,407
5
votes
1
answer
564
views
Convergence of discrete Laplacian to continuous one
I make the following observation:
Let $\Delta^{(n)}$ be the discrete Laplacian on $\mathbb{C}^n$ (ie the $n\times n $ matrix with diagonal $-2$ and upper/lower diagonal $1$.)
This one has eigenvalues ...
- 536
5
votes
1
answer
573
views
Analytic perturbation of eigenfunctions
Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...
- 53
5
votes
0
answers
242
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$. ...
- 3,669
4
votes
1
answer
366
views
Dissipative operator on Banach spaces
An operator $A$ is called dissipative if for all $x \in D(A)$ and $\lambda >0$
$$ \left\lVert (A-\lambda)x \right\rVert \ge \lambda \left\lVert x \right\rVert.$$
On a Hilbert space this is ...
- 501
4
votes
1
answer
161
views
Commutator representation of certain smoothing operators
I have a question regarding the classical trace $\text{Tr} \colon \Psi^{-\infty}(S^1)\to \mathbb C$ on pseudodifferential operators of infinite negative order (i.e. smoothing operators), defined over ...
- 313
4
votes
1
answer
201
views
Spectrum Cauchy-Euler operator
A Cauchy-Euler operator is an operator that leaves homogeneous polynomial of a certain degree invariant, named after the Cauchy-Euler differential equations
We consider the operator
$$(Lf)(x) = \...
- 536
4
votes
1
answer
336
views
Fundamental gap for Schrödinger operator
Consider $ \Omega$ a smooth bounded domain in $ \mathbb R^N$.
I am interested in the gap between the first and second eigenvalues of the operator $ -\Delta + V(x)$. Let $ \phi_1>0$ and $ \phi_2$ ...
- 1,385
4
votes
1
answer
213
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 ...
- 536
4
votes
0
answers
199
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$ ...
- 2,816
4
votes
0
answers
146
views
Fourier transform without characters (Eigenfunctions of an operator)
Let's consider a very simple problem in quantum mechanics:
We have, in $\mathbb R,$ a potential barrier of the form
$$
V(x) = V_0 \mathbf 1_{[-a,a]}(x),
$$
where $\mathbf 1_{[-a,a]}$ denotes the ...
- 1,755
4
votes
0
answers
164
views
What's the essential definition of resonance of Schrodinger operator?
Rencently, I am reading some articles about time decay estimates or Strichartz estimates for Schrodinger equations with potential. When considering Strichartz estimates for potential $V$ with decay $|...
- 429
3
votes
1
answer
171
views
How to prove that there are infinitely many eigenvalues below $1$ of the following differential operator?
The question from Remark (2) below Lemma 7 in Enno Lenzmann: uniqueness of ground states for the pseudorelativistic Hartree equations. Let $l \ge 1$, and consider the following operator
\begin{...
- 429
3
votes
1
answer
214
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 ...
- 1,211
3
votes
1
answer
212
views
Eigenvalue estimates for operator perturbations
I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.
What was behind ...
- 536
3
votes
1
answer
190
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 ...
- 33
3
votes
1
answer
441
views
Courant nodal domain theorem for fractional Laplacian
Let $\lambda_k$ and $\varphi_k$ be the $k$-th eigenvalue and a corresponding eigenfunction of the fractional Laplacian in a bounded domain $\Omega \subset \mathbb{R}^N$, $N \geq 2$.
That is, $\...
- 205
3
votes
2
answers
642
views
Localization of Laplacian eigenfunction on the unit square?
Let A be the unit square, $\{u_k\}$ is the set of all L2-normalized Laplacian eigenfunctions with Dirichlet boundary condition. Is it true that for any open subset V, $C_V = \inf\limits_k \int\...
3
votes
1
answer
107
views
Finiteness of Schatten $p$-norm of truncated free resolvent
Consider the resolvent operator $ R(z) := (-\Delta - z)^{-1}$ of the Laplace operator on $L^2(\mathbb R^d)$, where $z\in \rho(-\Delta) = \mathbb C \setminus \mathopen [0, \infty)$.
For $p \geq 1$, let ...
- 91
3
votes
0
answers
322
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. ...
- 536
3
votes
0
answers
102
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 ...
- 251
3
votes
0
answers
163
views
Perturbation theory compact operator
Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$
$\Vert Kx-\lambda x \Vert \le \varepsilon.$
It is well-known ...
user136577
2
votes
1
answer
220
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=-...
- 536
2
votes
1
answer
244
views
Smoothness of distributions defined by oscillation integrals
In M.A. Shubin's book Pseudodifferential Operators and Spectral Theory, we have the following statement.
Let $X\subset\mathbb{R}^n$ be an open set, and fix a symbol $a\in S_{\varrho,\delta}^m(X\...
- 1,247
2
votes
1
answer
496
views
Some properties of fractional Dirichlet heat kernel
Let $\Omega\subset \mathbb{R}^n (n\geq 2)$ be a bounded open domain with smooth boundary $\partial\Omega$. Consider the fractional heat equation with Dirichlet boundary condition：
\begin{equation}
\...
- 287
2
votes
0
answers
102
views
Semiclassical limit of spectral gap of Schrödinger operators with nonsmooth potential
Let $\Omega$ be a connected compact subset of $\mathbb{R}^d$. It is well known that for a smooth potential $V:\Omega \to \mathbb{R}$ that has a unique nondegenerate minimum $V(0) = 0$, the operator $H ...
- 1,551
2
votes
1
answer
196
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)\...
2
votes
0
answers
159
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,350
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^...
- 536
2
votes
0
answers
149
views
Off-diagonal estimates for Poisson kernels on manifolds
Let $(M,g)$ be a complete Riemannian manifold, $\Delta$ its Laplace-Beltrami operator and $T_t = (e^{t \Delta})_{t \geq 0}$ the associated heat semigroup. We can define the subordinated Poisson ...
- 1,090
2
votes
0
answers
190
views
Absence of fixed points
Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function
$$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \frac{xy}{(x^2+y^2+1)} \ dx$$
where $x_0$ is an arbitrary but fixed ...
2
votes
0
answers
343
views
Spectrum of Laplacian depending on boundary conditions [closed]
Consider a compact domain $\Omega \subset \mathbb{R}^n$ with smooth boundary for simplicity. Consider the Laplacian operator with zero Dirichlet boundary conditions on $\Omega$. It is well-known that $...
- 1,407
2
votes
0
answers
78
views
Generalization of supersymmetry to dimension 3
in two dimensions there is a simple trick to study the spectrum of operators of the form
$$\textbf{A}:=\left( \begin{matrix}0 && A^* \\ A && 0 \end{matrix}\right)$$
The trick is to ...
- 167
2
votes
0
answers
142
views
Self-adjointness on Banach spaces
Let $A \in L(X,Y)$ be a bounded operator between Banach spaces. Then its dual operator $A' \in L(Y',X')$ has the same spectrum as $A$ by the closed range theorem.
Now, if we have an unbounded ...
- 501
2
votes
0
answers
116
views
The composition of a dissipative operator and a positive operator is dissipative?
Consider the following bilinear system on a open and bounded domain $\Omega$
\begin{equation}
\left\{\begin{array}{r c l}
\displaystyle\frac{dy(t)}{dt} &=& Ay(t)+u(t)By(t)\\
y(0) &...
- 23
1
vote
2
answers
219
views
Ground state has always constant sign?
Question: What hypothesis on the potential $V$ are required such that the ground state $\phi_0$ has constant sign?
Consider the Schrödinger operator in 1 dimension with potential $V$:
$$\mathcal{H}=-...
- 129
1
vote
1
answer
116
views
uniform convergence of $H^r$ projectors on compact sets?
Let $\Omega\subset \mathbb R^d$ be a smooth, bounded domain. Let $(e_n)_{n\geq 0}\subset L^2(\Omega)$ be the Hilbert basis generated by the Dirichlet-Laplacian eigenfunctions, i-e $-\Delta e_n=\...
- 5,380
1
vote
1
answer
136
views
Adjoint operator of OU generator
The generator an OU process is given by
$$A = \operatorname{tr}(QD^2)+\langle Bx,D\rangle.$$
This one possesses an invariant measure given by
$$d\mu(x) = b(x) \ dx \text{ with } b(x) = \frac{1}{(4\pi)^...
- 192