All Questions
Tagged with fa.functional-analysis sp.spectral-theory
385 questions
5
votes
4
answers
839
views
Norm bounds on spectral variation and eigenvalue variation
Let $A$ and $B$ be two matrices of eigenvalues $\lambda_i$ and $\mu_i$, respectively.
The spectral variation of $B$ w.r.t. $A$ and the eigenvalue variation of $B$ and $A$ are, respectively,
\begin{...
- 43.2k
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
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
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
2
votes
1
answer
155
views
Do we require $A$ and $B$ to be semi-simple?
I previously asked the following question of MathOverflow: Showing that $\phi$ is a Jordan morphism
in which I was asking assistance with proving the following statement made in the introduction ...
- 289
6
votes
3
answers
3k
views
Non-empty resolvent set, then operator closed?
On Hilbert spaces, the following is true:
Let $T$ be a densely-defined linear operator with non-empty resolvent set, then $T$ is closed.
The obvious proof I see to show this uses explicitly the ...
- 115
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
1
vote
0
answers
124
views
Singular value decomposition in two spaces (reference in Russian paper?)
Let $H$ be a Hilbert space and $X$ be a Banach space such that $H \cap X$ is dense in both.
Now, let $T$ be an operator such that $T: H \rightarrow H$ and $T:X \rightarrow X$ exists in the sense that ...
4
votes
0
answers
361
views
Spectral mapping theorem
Rudin's book contains in chapter 10 a spectral mapping theorem for (self-adjoint) unbounded operators that respects the point-spectrum, in the sense that he shows $f(\sigma_p(T))=\sigma_p(f(T))$ for ...
- 305
12
votes
1
answer
191
views
Spectra on different spaces
This is a method request: I am looking for techniques that allow me to investigate problems like this:
Let $T_1: \ell^1 \rightarrow \ell^1$ be a bounded operator with $\Re(\sigma(T_1)) \subset (-\...
- 305
1
vote
0
answers
151
views
Continuity of the spectrum under weaker notions of convergence
Let $T:X\to X$ be a linear operator on a Banach space $X$.
We know that the spectrum of $T$ is an upper semicontinuous
function of $T$ for the uniform convergence: that is, if $T_n:X\to X$ is a ...
- 757
6
votes
1
answer
778
views
Resolvents of Schrodinger operators
In the free case one can compute the resolvents of the Laplacian $-\Delta$ in many cases explicitly, in the sense that they are given by an integral operator. Often, one uses the Hille-Yosida theorem ...
- 305
1
vote
0
answers
80
views
What is the character space of $\mathcal P(K)$?
Let $K$ be a compact subset of $\Bbb C$. Let $\mathcal P(K)$ be the closed algebra generated by the complex polynomials on $K$.
What is the character space $\Phi_{\mathcal P(K)}$ of $\mathcal P(K)$?...
- 1,245
1
vote
2
answers
274
views
$\mathcal P(K)=\mathcal R(K)$ iff $\Bbb C\backslash K$ is connected
Let $K$ be a compact set in $\Bbb C$. Let $\mathcal P(K)$ be the closed algebra generated by polynomials on $K$ and $\mathcal R(K)$ the closed algebra generated by rational functions without poles in $...
- 1,245
6
votes
0
answers
137
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 ...
- 61
1
vote
1
answer
178
views
Parabolic PDE Long Time Asymptotics and Elliptic Operator Spectrum II
This is a follow-up on a previous question. Now the parabolic PDE of $P(t,x,v)$ has two spatial dimensions.
$$
\partial_t P = L^* P \tag1
$$
$$L^*P = \frac12\left(\kappa^2\frac{\partial^2}{\partial v^...
- 2,239
2
votes
1
answer
315
views
Parabolic PDE Long Time Asymptotics and Elliptic Operator Spectrum
How does one show directly that the solution following parabolic partial differential equation (PDE) of $p(t,v)$ approaches its stationary solution which is a solution of an elliptic partial ...
- 2,239
1
vote
0
answers
66
views
How to define spectral multiplier for −Δ?
Put $e_{n}(t)=e^{int}=\prod_{j=1}^{d}e^{in_{j}t_{j}}$, $t\in \mathbb T^d, n\in \mathbb Z^d.$ ($t=(t_{1},..., t_d), n=(n_1,..., n_d)$)
We note that $\{e_{n}\}_{n\in \mathbb Z^d}$ forms an orthonormal ...
- 233
8
votes
3
answers
556
views
Finite-dimensional approximations of the shift operator
On the standard space $l^2$ let us consider the left shift operator
$$
L(c_1,c_2,c_3,\ldots)=(c_2,c_3,c_4,\ldots).
$$
It is well known that the spectrum of $L$ is the whole unit disk in the complex ...
- 383
0
votes
1
answer
388
views
Why do the eigenfunctions of a 1D Schroedinger operator with even potential alternate in parity?
Let $\mathcal L$ be a Schroedinger operator on the real line of the form
$\mathcal L = -\frac {d^2} {dx^2} + V(x),$
where $V$ is an even, smooth function. I am interested in the case where $V(x)\to ...
user101142
1
vote
1
answer
241
views
Is the trace of the heat kernel always finite?
consider any smooth Riemannian manifold $(N,g)$, an open subset $U\subset N$ and the Dirichlet heat kernel $p(t;x,y)$ for $U$. I am wondering, if it is true that
$\int_U p(t;x,x)dx <\infty$ for any ...
- 107
1
vote
1
answer
192
views
Neumann-Poincare operator is in the Schatten class
Let $\Omega$ be a bounded domain in $\mathbb{R}^d$, $d\ge 3$. We define the Neumann-Poincare operator(or double layer potential) $K: L^2(\partial\Omega)\to L^2(\partial\Omega)$ by
$$(Kf)(x)=\int_{\...
- 171
1
vote
1
answer
210
views
Eigenvalues of the double layer potential
Consider the double layer potential $K: L^2(S^2)\to L^2(S^2)$
$$(Kf)(x)=\int_{S^2}f(y)\frac{\partial}{\partial v_y}E(x,y)dS_y,$$
where $E(x,y)=||x-y||^{-1}$ and $\frac{\partial}{\partial v_y}$ means ...
- 171
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
4
votes
0
answers
171
views
quasi-nilpotent part of a dual operator
Definitions and notation.
Let $X$ be a complex Banach space and $T\in\mathcal{L}(X)$ a continuous linear operator on $X$. We define the quasi-nilpotent part of $T$ as
\begin{equation*}H_0(T):=\left\{...
- 1,591
2
votes
1
answer
291
views
analytic continuation argument
In "Pseudo-spectra, the harmonic oscillator and
complex resonances" (login required), the author says
Sections $2$ and $3$ of this paper concern the operator $Hf(x)=(-\frac{d^{2}}{dx^{2}}+...
- 135
0
votes
1
answer
348
views
Request for references about computing or estimating Rademacher complexity
Is Rademacher complexity defined for any space of functions?
Or are there restrictions on the function space over which this can be defined?
For example is the Rademacher complexity defined or has ...
- 617
4
votes
1
answer
371
views
Functional Calculus of closed operators
I learned that there is a holomorphic functional calculus for closed operators: If $T$ is a closed operator on a Hilbert space, and $f$ is a function that is holomorphic on some open subset $\Omega$ ...
- 9,853
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
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
1
vote
0
answers
93
views
inverse problem to resolution of the identity
Suppose $f_\lambda(x),\lambda \in \mathbb{R}$ is a continuous/smooth family of bounded function on $\mathbb{R}$. Given a measurable set $\mathfrak{m}$ on $\mathbb{R}$, define $$E_\mathfrak{m}:L^2\...
- 587
6
votes
3
answers
917
views
Non-self adjoint Sturm-Liouville problem
I'm new to this site, but I felt the need to post when I recently came in to an ordinary differential equation/boundary value problem with this form:
$(1)- \frac{d^2 y}{d x^2} + \frac{m(m+1)} {x^2(...
- 71
4
votes
1
answer
172
views
For self-adjoint $T$ on $L^2(\mathbb{R}^n)$, when does $(1 + |x|)^{-1} (T - i \varepsilon)^{-1}(1 + |x|)^{-1}$ have a limit as $\varepsilon \to 0$?
Let $T : L^2(\mathbb{R}^n) \to L^2(\mathbb{R}^n)$ be a possibly unbounded self adjoint operator. Let $R_\varepsilon$ denote the resolvent $(T - i \varepsilon)^{-1}$, $\varepsilon > 0$. Suppose that,...
- 481
1
vote
0
answers
159
views
Partial trace with spectral measure
I'm a physicist who needs mathematical advice:
Let $A= \sum_{i=1}^{\infty} a_i P_{\phi_i}$ be a self-adjoint operator with projectors $P_{\phi_i}$ on the orthonormal eigenbasis $(\phi_i).$ Let $$B= \...
- 11
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
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
6
votes
1
answer
1k
views
Is the sum of spectral projections a projection?
Let $T$ be a closed operator on a Hilbert space with discrete spectrum. Then for $\{\lambda_1,...\lambda_n\}\in\sigma(T)$ one can define the spectral projections
$$P_{\{\lambda_1,...\lambda_n\}}=\frac{...
- 241
8
votes
1
answer
421
views
$C^k$ one-parameter family of metrics
Consider a smooth Riemannian manifold $M$ and a $C^k$ one-parameter family of Riemannian metrics $g_t$ on $M$. Here $k$ could be any integer, $k$ could be infinity, when the one-parameter family $g_t$ ...
- 1,407
2
votes
0
answers
214
views
About optimizing a convex function on a hypercube
Given a real valued convex function $g$ on $[-1,1]^n$, let $f$ be the restriction of it on the hypercube $\{-1,1\}^n$. I want to find a vertex on the hypercube $\{-1,1\}^n$ on which either (1) $f$ ...
4
votes
0
answers
112
views
Determinant of quotient of unbounded operators
I have been trying to prove this for a while but failed so far.
Let $A$ and $B$ are two positive, self-adjoint operators with compact resolvent on a Hilbert space $H$ defined on the same dense ...
- 9,853
2
votes
0
answers
71
views
Error bounds for eigenvalue expansion of the Mathieu equation
The Mathieu equation is an important eigenvalue problem in Mathematical Physics that is completely understood in its properties, although there is no "direct way" of expressing eigenvalues and ...
- 259
0
votes
1
answer
622
views
Is there any way to compare between diagonals of a resolvent and a Cauchy transform?
Say $A$ is a symmetric matrix of $n$ dimensions. Then let the ``resolvent" of $A$ be the matrix valued function $R_A(z) = \frac{1}{z-A}$ and its Cauchy transform be the real valued function $C_A(z) = ...
- 617
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
0
votes
1
answer
152
views
When can two Cauchy transforms intersect?
Given two polynomials $p$ and $q$ over reals and being guaranteed that both have all roots real I want to know if there is any characterization of the solutions of the equation $\frac{p'}{p} = \frac{q'...
- 1,893
1
vote
0
answers
125
views
Transformation of kernel
I have the following problem at hand.
Define the kernel
$$K(x_1,x_2) = \int_{-1}^1\int_{-1}^1 \exp(-2\pi\jmath x_1 y_1)R(y_1,y_2)\exp(2\pi\jmath x_2 y_2)\mathrm{d}y_1\mathrm{d_2}.$$
Now, if $R(y_1,...
- 21
-1
votes
1
answer
360
views
Which operators other than self-adjoint operators have no purely imaginary eigenvalues? [closed]
Given an operator mapping between suitable spaces, what is the condition that guarantees all eigenvalues have nonzero real part? Obviously self-adjointness implies all eigenvalues are real, but how ...
- 7
2
votes
0
answers
350
views
On isolated points of the approximate point spectrum of a bounded operator
Let $X$ be a complex Banach space and $T$ be a bounded operator acting on $X$.
Let $\sigma(T)$ and $\sigma_{ap}(T)$ denote the spectrum and approximate point spectrum of $T$, respectively.
Let $\...
- 515
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
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
9
votes
1
answer
693
views
What happens to continuous spectrum upon discretization?
Excuse me for a bit of an vague question, but I haven't been able to find a definite answer for this for quite some time. My question is regarding (mostly non-normal )linear operators and their ...
- 91