Article
Ann. Henri Poincaré 26, 165-201, (2025)
[DOI: 10.1007/s00023-024-01451-0]
Essential Self-Adjointness of Even-Order, Strongly Singular, Homogeneous Half-Line Differential Operators
Fritz Gesztesy, Markus Hunziker, and Gerald Teschl
We consider essential self-adjointness on the space C0∞((0,∞)) of even order, strongly singular, homogeneous differential operators associated with differential expressions of the type
τ2n(c) = (-1)n \frac{d2n}{d x2n} + c/x2n , x > 0, n ∈ ℕ, c ∈ ℝ,
in L2((0,∞);dx). While the special case n=1 is classical and it is well-known that
τ2(c)\big|C0∞((0,∞)) is essentially self-adjoint if and only if c ≥ 3/4, the case n ∈ ℕ, n ≥ 2, is far from obvious. In particular, it is not at all clear from the outset that
\begin{align*}
\begin{split}
& \text{\it there exists } c_n \in \mathbb{R}, \, n \in \mathbb{N}, \text{\it such that}
\it for which values of c \it is τ2n(c)\big|C0∞((0,∞)) \it bounded from below?,
which permits the sharp (and explicit) answer c ≥ [(2n -1)!!]2\big/22n, n ∈ ℕ, the answer for \eqref{0.1} is surprisingly complex and involves various aspects of the geometry and analytical theory of polynomials. For completeness we record explicitly,
c1 = 3/4, c2= 45, c3 = 2240 (214+7 \sqrt{1009} )\big/27,
and remark that cn is the root of a polynomial of degree n-1. We demonstrate that for n=6,7, cn are algebraic numbers not expressible as radicals over ℚ (and conjecture this is in fact true for general n ≥ 6).
& \quad \tau_{2n}(c)\big|_{C_0^\infty((0,\infty))} \, \text{\it is essentially self-adjoint if and only if } c \geq c_n. \end{split}\tag{*}\label{0.1} \end{align*}
As one of the principal results of this paper we indeed establish the existence of cn, satisfying cn ≥ (4n-1)!!\big/22n, such that property \eqref{0.1} holds.
In sharp contrast to the analogous lower semiboundedness question,
MSC2010: Primary: 34B20, 34D15, 34M03; Secondary: 34D10, 34L40.
Keywords: Homogeneous differential operators, Euler differential operator, strongly singular coefficients, essential self-adjointness.
Download