Table of Contents
Fetching ...

On domain properties of Bessel-type operators

Fritz Gesztesy, Michael M. H. Pang, Jonathan Stanfill

Abstract

Motivated by a recent study of Bessel operators in connection with a refinement of Hardy's inequality involving $1/\sin^2(x)$ on the finite interval $(0,π)$, we now take a closer look at the underlying Bessel-type operators with more general inverse square singularities at the interval endpoints. More precisely, we consider quadratic forms and operator realizations in $L^2((a,b); dx)$ associated with differential expressions of the form \[ ω_{s_a} = - \frac{d^2}{dx^2} + \frac{s_a^2 - (1/4)}{(x-a)^2}, \quad s_a \in \mathbb{R}, \; x \in (a,b), \] and \begin{align*} τ_{s_a,s_b} = - \frac{d^2}{dx^2} + \frac{s_a^2 - (1/4)}{(x-a)^2} + \frac{s_b^2 - (1/4)}{(x-b)^2} + q(x), \quad x \in (a,b),& \\ s_a, s_b \in [0,\infty), \; q \in L^{\infty}((a,b); dx), \; q \text{ real-valued~a.e.~on $(a,b)$,}& \end{align*} where $(a,b) \subset \mathbb{R}$ is a bounded interval. As an explicit illustration we describe the Krein-von Neumann extension of the minimal operator corresponding $ω_{s_a}$ and $τ_{s_a,s_b}$.

On domain properties of Bessel-type operators

Abstract

Motivated by a recent study of Bessel operators in connection with a refinement of Hardy's inequality involving on the finite interval , we now take a closer look at the underlying Bessel-type operators with more general inverse square singularities at the interval endpoints. More precisely, we consider quadratic forms and operator realizations in associated with differential expressions of the form and \begin{align*} τ_{s_a,s_b} = - \frac{d^2}{dx^2} + \frac{s_a^2 - (1/4)}{(x-a)^2} + \frac{s_b^2 - (1/4)}{(x-b)^2} + q(x), \quad x \in (a,b),& \\ s_a, s_b \in [0,\infty), \; q \in L^{\infty}((a,b); dx), \; q \text{ real-valued~a.e.~on ,}& \end{align*} where is a bounded interval. As an explicit illustration we describe the Krein-von Neumann extension of the minimal operator corresponding and .

Paper Structure

This paper contains 7 sections, 17 theorems, 185 equations.

Key Result

Theorem 2.2

${}$ Assume Hypothesis h2.1. Then the following alternative holds: Either $(i)$ for every $z\in{\mathbb{C}}$, all solutions $u$ of $(\tau-z)u=0$ are in ${L^2((a,b);rdx)}$ near $b$$($resp., near $a$$)$, or, $(ii)$ for every $z\in{\mathbb{C}}$, there exists at least one solution $u$ of $(\tau-z)u=0$ w

Theorems & Definitions (32)

  • Theorem 2.2: Weyl's Alternative
  • Definition 2.3
  • Theorem 2.4
  • Theorem 2.6
  • Remark 2.7
  • Theorem 2.8
  • Lemma 3.1
  • proof
  • Theorem 3.2
  • proof
  • ...and 22 more