All Questions
Tagged with fa.functional-analysis sp.spectral-theory
385 questions
3
votes
1
answer
1k
views
Different definitions of a relatively compact operator
(Cross-post from Math Stackexchange, where some work has been done in the comments)
Let $T,K$ be unbounded operators on a Hilbert space $H$.
I've seen the following definition of a relatively compact ...
- 1,474
3
votes
2
answers
527
views
Holomorphic functional calculus and idempotents
One of the applications of the holomorphic functional calculus is with regard to idempotents. For instance, if an element $a$ in a unital Banach algebra $A$ has spectrum contained in two balls, each ...
- 251
3
votes
2
answers
280
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_\...
- 421
3
votes
1
answer
162
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 ...
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
106
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 ...
- 3,477
3
votes
1
answer
192
views
Characters of algebra of Schwartz functions
Consider the (non-unital) $\mathbb{C}$-algebra (point-wise multiplication) of $\mathcal{S}$ of Schwartz functions on $\mathbb{R}$.
Question: Does there exist some character (non-zero multiplicative ...
- 960
3
votes
1
answer
228
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 $...
3
votes
1
answer
113
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 ...
- 633
3
votes
1
answer
226
views
$\tau$-measurable operator
Problem: Let $M$ be a semifinite von Neumann algebra with a faithful semifinite normal trace $\tau$. Let $m$ be a positive element in $M$ and let $e_{(0,\infty)}(m)$ be the spectral projection of $m$ ...
- 85
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
529
views
Spectrum of self-adjoint operator
As a non functional analyst, I stumbled over the following question:
Given a self-adjoint Operator $T:D(T) \subset H \rightarrow H.$ Assume we know that $T$ has some eigenvalue $\lambda$ which is ...
- 173
3
votes
2
answers
735
views
Schrodinger's equation via Spectral Theorem [closed]
How do you prove basic facts on the Schrodinger equation using the spectral theorem? More precisely, here is what I have in mind.
The version of the Spectral Theorem I am familiar with is the ...
- 371
3
votes
1
answer
67
views
Infinite direct sum decomposition of the heat semigroup on $\mathbb R$
This question is based on a very similar question posted by me yesterday. A very nice solution was provided by Aleksei Kulikov. Here I modify my question slightly.
Let $Q_t$ be the heat semigroup on $...
- 407
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
115
views
Approximation of vectors using self-adjoint operators
Let $T$ be an unbounded self-adjoint operator.
Does there exist, for any $\varphi$ normalized in the Hilbert space, a constant $k(\varphi)>0$ and a sequence of normalized $(\varphi_n)$ such that $$...
- 173
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
1
answer
170
views
How does $E$ closed follow from the upper semicontinuity of the spectrum?
Let $f$ be an analytic function for a domain $D$ of $\mathbb{C}$ into a Banach algebra $A$. Suppose that, for all $\lambda \in D$, $\text{Sp}f(\lambda)$ is finite or a sequence converging to $0$.
...
- 289
3
votes
1
answer
136
views
Composition of spectral measures
Let $f: \mathbb{R}\rightarrow \mathbb{C}$ be a measurable function, $H$ some Hilbert space and
$$ f_E := \int_{\mathbb{R}} f dE$$ for some spectral measure $E$.
Now, my question is: When do we have $...
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
209
views
Must solutions to the time-independent Schrodinger equation that have discrete or negative eigenvalues be square-integrable?
This is a very straightforward question (although the answer may not be!) about a ubiquitous textbook physics situation. I assume that the answer is probably well-known, but I asked it on both Math ...
- 1,311
3
votes
1
answer
498
views
Spectral Radius and Spectral Norm for Markov Operators
My question concerns differences between the spectral radius $\rho$ and norm $\| \cdot \|$ of Markov operators in infinite-dimensional Banach spaces. This is far from my area of expertise, that is ...
- 560
3
votes
1
answer
215
views
Discrete spectrum of Schrodinger operator
Assume $\Omega$ is a non-compact region or manifold with dimension $\geq4$. Let $H=-\Delta+V$ be Schrodinger operator. Here $V$ is a (smooth)function.
I know that if $V\geq c>0$ or $V\to c>0$,...
- 1,915
3
votes
1
answer
133
views
Restrictions on spectral measure
Given any Borel measure $\mu$ on $\mathbb{R}$, define a map that sends any $f\in C_c(\mathbb{R})$ to $$T_\mu(f)(y)=\int \langle\exp(-i x \lambda),f(x)\rangle\exp(iy\lambda)d\mu(\lambda).$$
Here $\...
- 587
3
votes
2
answers
968
views
Can one estimate the distribution of eigenvalues of a matrix by its Cauchy/Stieltje transform?
Given a real symmetric $n$ dimensional matrix $A$, with eigenvalues $\lambda_i$ I am defining its Cauchy transform as the function, $f_A(z) = \sum_i \frac{1}{z-\lambda_i}\,$
Is there any information ...
- 617
3
votes
1
answer
277
views
adjoint of this closed (?) operator
I am currently dealing with an unbounded operator
$T:\{f \in L^2(-2\pi,2\pi); f \in AC((-2\pi,2\pi)), T(f) \in L^2, \lim_{x \rightarrow \pm 2 \pi} f(x)g(x)=0\} \subset L^2(-2\pi,2\pi)\rightarrow L^2(...
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
1
answer
497
views
Hilbert-Schmidt integral operator with missing eigenfunctions
I'm having some issues with the spectral decomposition of the integral operator
\begin{equation}
(Af)(x)=\int_0^1|x-y|f(y)dy,\text{ with $f\in L^2[0,1]$}.
\end{equation}
Since
\begin{equation}
...
- 33
3
votes
1
answer
151
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 ...
user140442
3
votes
1
answer
146
views
spectrum of multiplicative morphisms
Let $T:[0,1]\to[0,1]$ be a continuous map, which is neither surjective nor injective. Put
$$
C([0,1])\ni f\mapsto \Phi(f):=f\circ T\in C([0,1]).
$$
Notice that, under the above conditions, $0\in\sigma(...
- 41
3
votes
1
answer
588
views
orthonormal basis of eigenvectors for laplacian on a concave polygon
I am interested in the Laplace operator $\Delta$ on a concave polygon.
When the polygon is convex, it is known that $\Delta: H^2(\Omega) \rightarrow L^2(\Omega)$
is boundedly invertible. In addition, ...
- 31
3
votes
0
answers
124
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}/\...
- 3,477
3
votes
0
answers
151
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 ...
- 101
3
votes
0
answers
214
views
Extended adjoint of Volterra operator
Let $V$ be a Volterra operator on $L^2 [0,1]$.
Does there exist a nonzero operator $X $ satisfying the following system
$VX=XV^∗$, where $V^∗$ is the adjoint of the Volterra operator?
$$ V(f) (x) =\...
3
votes
0
answers
160
views
Non-emptiness of spectrum $\sigma(a)$ in non-Archimedean Banach algebras
I'm trying to determine whether or not the standard proof that the spectrum of a point in a unital Banach algebra is non-empty can be adapted to prove the same thing over certain non-Archimedean ...
3
votes
0
answers
282
views
Extending Ky Fan's eigenvalues inequality to kernel operators
--Migrating from MSE since it might fit better here--
Base result
The following result in Terry Tao's book, 'p. 47, Ky Fan inequality' reads as:
$$\sum_i\lambda_i(A+B) \leq \sum_i \lambda_i(A) + \...
- 255
3
votes
0
answers
461
views
Analytic formula for the eigenvalues of kernel integral operator induced by Laplace kernel $K(x,x') = e^{-c\|x-x'\|}$ on unit-sphere in $\mathbb R^d$
Let $d \ge 2$ be an integer and let $X=\mathcal S_{d-1}$ the unit-sphere in $\mathbb R^d$. Let $\tau_d$ be the uniform distribution on $X$. Define a function $K:X \times X \to \mathbb R$ by $K(x,y) := ...
- 6,853
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
251
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....
- 20.2k
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
3
votes
0
answers
198
views
Asymptotic stability of eigenvalues by compact perturbations
I need some references concerning the asymptotic stability of eigenvalues by compact perturbations. In [T. Kato, Perturbation theory for linear operators] there are some results concerning stability ...
- 1,329
3
votes
0
answers
190
views
Error term in the Euclidean Weyl law
Let $\Omega\subset \mathbb R^n$ be an open bounded set with smooth boundary. The Laplacian on $\Omega$ with Dirichlet boundary conditions has discrete spectrum $\lambda_1\le \lambda_2\le \ldots$ that ...
- 381
3
votes
0
answers
91
views
The numerical range of a composition of two operators
For a problem I'm working on, I need the following implication. $A,B$ are two closed densely defined operators on a Hilbert space $H$. I'll be a bit vague about the setting, add assumptions at will as ...
- 9,007
3
votes
0
answers
80
views
When does the ground state energy continuously depend on a parameter?
Given a family of Schrödinger operators $H_\gamma=-\Delta+V_\gamma$, under which condition is the map $\gamma\mapsto\inf\sigma(H_\gamma)$ continuous?
This is surely the case for many textbook ...
- 428
3
votes
0
answers
300
views
Isolated Eigenvalue of $T$ is also an isolated eigenvalue of $\overline{T}$?
I am working with transfer operators and I reach a point where would be nice if I could use a result from Tosio Kato's book about perturbation theory of linear operators. I think I am able to use Kato'...
- 2,044
3
votes
0
answers
185
views
spectrum of a polygon and zeta function
Let $\Delta(x,y) = 1,0$ according to whether $(x,y)$ is in some polygon (symmetric with respect to the diagonal axis).
E.g. The convex hull of three points (taken from a paper on dominoes)
$$ \...
- 22.8k
3
votes
1
answer
791
views
Real part of eigenvalues and Laplacian
I am working on imaging and I am a bit puzzled by the behaviour of this matrix:
$$A:=\left(
\begin{array}{cccccc}
1 & 0 & 0 & -1 & 0 & 0 \\
0 & 0 & 0 & 0 & -1 &...
user136033
2
votes
3
answers
216
views
Equivalence of operators
let $T$ and $S$ be positive definite (thus self-adjoint) operators on a Hilbert space.
I am wondering whether we have equivalence of operators
$$ c(T+S) \le \sqrt{T^2+S^2} \le C(T+S)$$
for some ...
- 23
2
votes
1
answer
466
views
Positiveness of Banach limit [closed]
I‘m currently reading Arveson’s “A Short Course on Spectral Theory”, and I’m stuck at Exercise 3.1 (1). The question is:
Let $l^{\infty}(\mathbb{N})$ be the set of all bounded sequences of complex ...
- 23