Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userEssential self-adjointness and the $L^2$-Liouville property
113
0
0.0
(
0
)
Added by
Radoslaw Wojciechowski
Publication date
2020
fields
Physics
and research's language is
English
Ask ChatGPT about the research
No Arabic abstract
We discuss connections between the essential self-adjointness of a symmetric operator and the constancy of functions which are in the kernel of the adjoint of the operator. We then illustrate this relationship in the case of Laplacians on both manifolds and graphs. Furthermore, we discuss the Greens function and when it gives a non-constant harmonic function which is square integrable.
rate research
Read More
Considering singular Sturm--Liouville differential expressions of the type [ tau_{alpha} = -(d/dx)x^{alpha}(d/dx) + q(x), quad x in (0,b), ; alpha in mathbb{R}, ] we employ some Sturm comparison-type results in the spirit of Kurss to derive criteria for $tau_{alpha}$ to be in the limit point and limit circle case at $x=0$. More precisely, if $alpha in mathbb{R}$ and for $0 < x$ sufficiently small, [ q(x) geq [(3/4)-(alpha/2)]x^{alpha-2}, ] or, if $alphain (-infty,2)$ and there exist $Ninmathbb{N}$, and $varepsilon>0$ such that for $0<x$ sufficiently small, begin{align*} &q(x)geq[(3/4)-(alpha/2)]x^{alpha-2} - (1/2) (2 - alpha) x^{alpha-2} sum_{j=1}^{N}prod_{ell=1}^{j}[ln_{ell}(x)]^{-1} &quadquadquad +[(3/4)+varepsilon] x^{alpha-2}[ln_{1}(x)]^{-2}. end{align*} then $tau_{alpha}$ is nonoscillatory and in the limit point case at $x=0$. Here iterated logarithms for $0 < x$ sufficiently small are of the form, [ ln_1(x) = |ln(x)| = ln(1/x), quad ln_{j+1}(x) = ln(ln_j(x)), quad j in mathbb{N}. ] Analogous results are derived for $tau_{alpha}$ to be in the limit circle case at $x=0$. We also discuss a multi-dimensional application to partial differential expressions of the type [ - Div |x|^{alpha} abla + q(|x|), quad alpha in mathbb{R}, ; x in B_n(0;R) backslash{0}, ] with $B_n(0;R)$ the open ball in $mathbb{R}^n$, $nin mathbb{N}$, $n geq 2$, centered at $x=0$ of radius $R in (0, infty)$.
We extend the classical boundary values begin{align*} & g(a) = - W(u_{a}(lambda_0,.), g)(a) = lim_{x downarrow a} frac{g(x)}{hat u_{a}(lambda_0,x)}, &g^{[1]}(a) = (p g)(a) = W(hat u_{a}(lambda_0,.), g)(a) = lim_{x downarrow a} frac{g(x) - g(a) hat u_{a}(lambda_0,x)}{u_{a}(lambda_0,x)} end{align*} for regular Sturm-Liouville operators associated with differential expressions of the type $tau = r(x)^{-1}[-(d/dx)p(x)(d/dx) + q(x)]$ for a.e. $xin[a,b] subset mathbb{R}$, to the case where $tau$ is singular on $(a,b) subseteq mathbb{R}$ and the associated minimal operator $T_{min}$ is bounded from below. Here $u_a(lambda_0, cdot)$ and $hat u_a(lambda_0, cdot)$ denote suitably normalized principal and nonprincipal solutions of $tau u = lambda_0 u$ for appropriate $lambda_0 in mathbb{R}$, respectively. We briefly discuss the singular Weyl-Titchmarsh-Kodaira $m$-function and finally illustrate the theory in some detail with the examples of the Bessel, Legendre, and Kummer (resp., Laguerre) operators.
Given a self-adjoint operator $H_0$ and a relatively $H_0$-compact self-adjoint operator $V,$ the functions $r_j(z) = - sigma_j^{-1}(z),$ where $sigma_j(z)$ are eigenvalues of the compact operator $(H_0-z)^{-1}V,$ bear a lot of important information about the pair $H_0$ and $V.$ We call them coupling resonances. In case of rank one (and positive) perturbation $V,$ there is only one coupling resonance function, which is a Herglotz function. This case has been studied in depth in the literature, and appears in different situations, such as Sturm-Liouville theory, random Schrodinger operators, harnomic and spectral analyses, etc. The general case is complicated by the fact that the resonance functions are no longer single valued holomorphic functions, and potentially can have quite an erratic behaviour, typical for infinitely-valued holomorphic functions. Of special interest are those coupling resonance functions $r_z$ which approach a real number $r_{lambda+i0}$ from the interval $[0,1]$ as the spectral parameter $z=lambda+iy$ approaches a point $lambda$ of the essential spectrum, since they are responsible for spectral flow through $lambda$ inside essential spectrum when $H_0$ gets deformed to $H_1 = H_0+V$ via the path $H_0 + rV, r in [0,1].$ In this paper it is shown that if the pair $H_0,$ $V$ satisfies the limiting absorption principle, then the coupling resonance functions are well-behaved near the essential spectrum in the following sense. Let $I$ be an open interval inside the essential spectrum of $H_0$ and $epsilon>0.$ Then there exists a compact subset~$K$ of~$I$ such that $| I setminus K | < epsilon,$ and $K$ has a non-tangential neighbourhood in the upper complex half-plane, such that any coupling resonance function is either single-valued in the neighbourhood, or does not take a real value in the interval $[0,1].$
The spectral flow is a classical notion of functional analysis and differential geometry which was given different interpretations as Fredholm index, Witten index, and Maslov index. The classical theory treats spectral flow outside the essential spectrum. Inside essential spectrum, the spectral shift function could be considered as a proper analogue of spectral flow, but unlike the spectral flow, the spectral shift function is not an integer-valued function. In this paper it is shown that the notion of spectral flow admits a natural integer-valued extension for a.e. value of the spectral parameter inside essential spectrum too and appropriate theory is developed. The definition of spectral flow inside essential spectrum given in this paper applies to the classical spectral flow and thus gives one more new alternative definition of it.
We study perturbations of the self-adjoint periodic Sturm--Liouville operator [ A_0 = frac{1}{r_0}left(-frac{mathrm d}{mathrm dx} p_0 frac{mathrm d}{mathrm dx} + q_0right) ] and conclude under $L^1$-assumptions on the differences of the coefficients that the essential spectrum and absolutely continuous spectrum remain the same. If a finite first moment condition holds for the differences of the coefficients, then at most finitely many eigenvalues appear in the spectral gaps. This observation extends a seminal result by Rofe-Beketov from the 1960s. Finally, imposing a second moment condition we show that the band edges are no eigenvalues of the perturbed operator.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
