-
The Jacobi operator on $(-1,1)$ and its various $m$-functions
Authors:
Fritz Gesztesy,
Lance L. Littlejohn,
Mateusz Piorkowski,
Jonathan Stanfill
Abstract:
We offer a detailed treatment of spectral and Weyl-Titchmarsh-Kodaira theory for all self-adjoint Jacobi operator realizations of the differential expression \begin{align*} τ_{α,β} = - (1-x)^{-α} (1+x)^{-β}(d/dx) \big((1-x)^{α+1}(1+x)^{β+1}\big) (d/dx),& \\ α, β\in \mathbb{R}, \; x \in (-1,1),& \end{align*} in $L^2\big((-1,1); (1-x)^α (1+x)^β dx\big)$, $α, β\in \mathbb{R}$. In addition to discussi…
▽ More
We offer a detailed treatment of spectral and Weyl-Titchmarsh-Kodaira theory for all self-adjoint Jacobi operator realizations of the differential expression \begin{align*} τ_{α,β} = - (1-x)^{-α} (1+x)^{-β}(d/dx) \big((1-x)^{α+1}(1+x)^{β+1}\big) (d/dx),& \\ α, β\in \mathbb{R}, \; x \in (-1,1),& \end{align*} in $L^2\big((-1,1); (1-x)^α (1+x)^β dx\big)$, $α, β\in \mathbb{R}$. In addition to discussing the separated boundary conditions that lead to Jacobi orthogonal polynomials as eigenfunctions in detail, we exhaustively treat the case of coupled boundary conditions and illustrate the latter with the help of the general $η$-periodic and Krein--von Neumann extensions. In particular, we treat all underlying Weyl-Titchmarsh-Kodaira and Green's function induced $m$-functions and revisit their Nevanlinna-Herglotz property. We also consider connections to other differential operators associated with orthogonal polynomials such as Laguerre, Gegenbauer, and Chebyshev.
△ Less
Submitted 22 July, 2023;
originally announced July 2023.
-
The Jacobi operator and its Donoghue $m$-functions
Authors:
Fritz Gesztesy,
Mateusz Piorkowski,
Jonathan Stanfill
Abstract:
In this paper we construct Donoghue $m$-functions for the Jacobi differential operator in $L^2\big((-1,1); (1-x)^α (1+x)^β dx\big)$, associated to the differential expression \begin{align*} \begin{split} τ_{α,β} = - (1-x)^{-α} (1+x)^{-β}(d/dx) \big((1-x)^{α+ 1}(1+x)^{β+ 1}\big) (d/dx),& \\ x \in (-1,1), \; α, β\in \mathbb{R}, \end{split} \end{align*} whenever at least one endpoint, $x=\pm 1$, is i…
▽ More
In this paper we construct Donoghue $m$-functions for the Jacobi differential operator in $L^2\big((-1,1); (1-x)^α (1+x)^β dx\big)$, associated to the differential expression \begin{align*} \begin{split} τ_{α,β} = - (1-x)^{-α} (1+x)^{-β}(d/dx) \big((1-x)^{α+ 1}(1+x)^{β+ 1}\big) (d/dx),& \\ x \in (-1,1), \; α, β\in \mathbb{R}, \end{split} \end{align*} whenever at least one endpoint, $x=\pm 1$, is in the limit circle case. In doing so, we provide a full treatment of the Jacobi operator's $m$-functions corresponding to coupled boundary conditions whenever both endpoints are in the limit circle case, a topic not covered in the literature.
△ Less
Submitted 29 October, 2021;
originally announced October 2021.
-
Donoghue $m$-functions for singular Sturm--Liouville operators
Authors:
Fritz Gesztesy,
Lance L. Littlejohn,
Roger Nichols,
Mateusz Piorkowski,
Jonathan Stanfill
Abstract:
Let $\dot A$ be a densely defined, closed, symmetric operator in the complex, separable Hilbert space $\mathcal{H}$ with equal deficiency indices and denote by $\mathcal{N}_i = \ker \big(\big(\dot A\big)^* - i I_{\mathcal{H}}\big)$, $\dim \, (\mathcal{N}_i)=k\in \mathbb{N} \cup \{\infty\}$, the associated deficiency subspace of $\dot A$ . If $A$ denotes a self-adjoint extension of $\dot A$ in…
▽ More
Let $\dot A$ be a densely defined, closed, symmetric operator in the complex, separable Hilbert space $\mathcal{H}$ with equal deficiency indices and denote by $\mathcal{N}_i = \ker \big(\big(\dot A\big)^* - i I_{\mathcal{H}}\big)$, $\dim \, (\mathcal{N}_i)=k\in \mathbb{N} \cup \{\infty\}$, the associated deficiency subspace of $\dot A$ . If $A$ denotes a self-adjoint extension of $\dot A$ in $\mathcal{H}$, the Donoghue $m$-operator $M_{A,\mathcal{N}_i}^{Do} (\, \cdot \,)$ in $\mathcal{N}_i$ associated with the pair $(A,\mathcal{N}_i)$ is given by \[ M_{A,\mathcal{N}_i}^{Do}(z)=zI_{\mathcal{N}_i} + (z^2+1) P_{\mathcal{N}_i} (A - z I_{\mathcal{H}})^{-1} P_{\mathcal{N}_i} \big\vert_{\mathcal{N}_i}\,, \quad z\in \mathbb{C} \backslash \mathbb{R}, \] with $I_{\mathcal{N}_i}$ the identity operator in $\mathcal{N}_i$, and $P_{\mathcal{N}_i}$ the orthogonal projection in $\mathcal{H}$ onto $\mathcal{N}_i$.
Assuming the standard local integrability hypotheses on the coefficients $p, q,r$, we study all self-adjoint realizations corresponding to the differential expression \[ τ=\frac{1}{r(x)}\left[-\frac{d}{dx}p(x)\frac{d}{dx} + q(x)\right] \, \text{ for a.e. $x\in(a,b) \subseteq \mathbb{R}$,} \] in $L^2((a,b); rdx)$, and, as the principal aim of this paper, systematically construct the associated Donoghue $m$-functions (resp., $2 \times 2$ matrices) in all cases where $τ$ is in the limit circle case at least at one interval endpoint $a$ or $b$.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
On domain properties of Bessel-type operators
Authors:
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 w…
▽ More
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}$.
△ Less
Submitted 15 November, 2021; v1 submitted 20 July, 2021;
originally announced July 2021.
-
The Krein-von Neumann extension revisited
Authors:
Guglielmo Fucci,
Fritz Gesztesy,
Klaus Kirsten,
Lance L. Littlejohn,
Roger Nichols,
Jonathan Stanfill
Abstract:
We revisit the Krein-von Neumann extension in the case where the underlying symmetric operator is strictly positive and apply this to derive the explicit form of the Krein-von Neumann extension for singular, general (i.e., three-coefficient) Sturm-Liouville operators on arbitrary intervals. In particular, the boundary conditions for the Krein-von Neumann extension of the strictly positive minimal…
▽ More
We revisit the Krein-von Neumann extension in the case where the underlying symmetric operator is strictly positive and apply this to derive the explicit form of the Krein-von Neumann extension for singular, general (i.e., three-coefficient) Sturm-Liouville operators on arbitrary intervals. In particular, the boundary conditions for the Krein-von Neumann extension of the strictly positive minimal Sturm-Liouville operator are explicitly expressed in terms of generalized boundary values adapted to the (possible) singularity structure of the coefficients near an interval endpoint.
△ Less
Submitted 7 October, 2022; v1 submitted 1 February, 2021;
originally announced February 2021.
-
A survey of some norm inequalities
Authors:
Fritz Gesztesy,
Roger Nichols,
Jonathan Stanfill
Abstract:
We survey some classical norm inequalities of Hardy, Kallman, Kato, Kolmogorov, Landau, Littlewood, and Rota of the type \[ \|A f\|_{\mathcal{X}}^2 \leq C \|f\|_{\mathcal{X}} \big\|A^2 f\big\|_{\mathcal{X}}, \quad f \in dom\big(A^2\big), \] and recall that under exceedingly stronger hypotheses on the operator $A$ and/or the Banach space $\mathcal{X}$, the optimal constant $C$ in these inequalities…
▽ More
We survey some classical norm inequalities of Hardy, Kallman, Kato, Kolmogorov, Landau, Littlewood, and Rota of the type \[ \|A f\|_{\mathcal{X}}^2 \leq C \|f\|_{\mathcal{X}} \big\|A^2 f\big\|_{\mathcal{X}}, \quad f \in dom\big(A^2\big), \] and recall that under exceedingly stronger hypotheses on the operator $A$ and/or the Banach space $\mathcal{X}$, the optimal constant $C$ in these inequalities diminishes from $4$ (e.g., when $A$ is the generator of a $C_0$ contraction semigroup on a Banach space $\mathcal{X}$) all the way down to $1$ (e.g., when $A$ is a symmetric operator on a Hilbert space $\mathcal{H}$).
We also survey some results in connection with an extension of the Hardy-Littlewood inequality involving quadratic forms as initiated by Everitt.
△ Less
Submitted 5 March, 2021; v1 submitted 29 January, 2021;
originally announced February 2021.
-
Bessel-Type Operators and a refinement of Hardy's inequality
Authors:
Fritz Gesztesy,
Michael M. H. Pang,
Jonathan Stanfill
Abstract:
The principal aim of this paper is to employ Bessel-type operators in proving the inequality \begin{align*} \int_0^πdx \, |f'(x)|^2 \geq \dfrac{1}{4}\int_0^πdx \, \dfrac{|f(x)|^2}{\sin^2 (x)}+\dfrac{1}{4}\int_0^πdx \, |f(x)|^2,\quad f\in H_0^1 ((0,π)), \end{align*} where both constants $1/4$ appearing in the above inequality are optimal. In addition, this inequality is strict in the sense that equ…
▽ More
The principal aim of this paper is to employ Bessel-type operators in proving the inequality \begin{align*} \int_0^πdx \, |f'(x)|^2 \geq \dfrac{1}{4}\int_0^πdx \, \dfrac{|f(x)|^2}{\sin^2 (x)}+\dfrac{1}{4}\int_0^πdx \, |f(x)|^2,\quad f\in H_0^1 ((0,π)), \end{align*} where both constants $1/4$ appearing in the above inequality are optimal. In addition, this inequality is strict in the sense that equality holds if and only if $f \equiv 0$. This inequality is derived with the help of the exactly solvable, strongly singular, Dirichlet-type Schrödinger operator associated with the differential expression \begin{align*} τ_s=-\dfrac{d^2}{dx^2}+\dfrac{s^2-(1/4)}{\sin^2 (x)}, \quad s \in [0,\infty), \; x \in (0,π). \end{align*}
The new inequality represents a refinement of Hardy's classical inequality \begin{align*} \int_0^πdx \, |f'(x)|^2 \geq \dfrac{1}{4}\int_0^πdx \, \dfrac{|f(x)|^2}{x^2}, \quad f\in H_0^1 ((0,π)), \end{align*} it also improves upon one of its well-known extensions in the form \begin{align*} \int_0^πdx \, |f'(x)|^2 \geq \dfrac{1}{4}\int_0^πdx \, \dfrac{|f(x)|^2}{d_{(0,π)}(x)^2}, \quad f\in H_0^1 ((0,π)), \end{align*} where $d_{(0,π)}(x)$ represents the distance from $x \in (0,π)$ to the boundary $\{0,π\}$ of $(0,π)$.
△ Less
Submitted 15 November, 2021; v1 submitted 29 January, 2021;
originally announced February 2021.
-
Spectral zeta-Functions and zeta-Regularized Functional Determinants for Regular Sturm-Liouville Operators
Authors:
Guglielmo Fucci,
Fritz Gesztesy,
Klaus Kirsten,
Jonathan Stanfill
Abstract:
The principal aim in this paper is to employ a recently developed unified approach to the computation of traces of resolvents and $ζ$-functions to efficiently compute values of spectral $ζ$-functions at positive integers associated to regular (three-coefficient) self-adjoint Sturm--Liouville differential expressions $τ$. Depending on the underlying boundary conditions, we express the $ζ$-function…
▽ More
The principal aim in this paper is to employ a recently developed unified approach to the computation of traces of resolvents and $ζ$-functions to efficiently compute values of spectral $ζ$-functions at positive integers associated to regular (three-coefficient) self-adjoint Sturm--Liouville differential expressions $τ$. Depending on the underlying boundary conditions, we express the $ζ$-function values in terms of a fundamental system of solutions of $τy = z y$ and their expansions about the spectral point $z=0$. Furthermore, we give the full analytic continuation of the $ζ$-function through a Liouville transformation and provide an explicit expression for the $ζ$-regularized functional determinant in terms of a particular set of this fundamental system of solutions.
An array of examples illustrating the applicability of these methods is provided, including regular Schrödinger operators with zero, piecewise constant, and a linear potential on a compact interval.
△ Less
Submitted 4 February, 2022; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Partitions With Designated Summands Not Divisible by $2^l$, $2$, and $3^l$ Modulo $2$, $4$, and $3$
Authors:
Daniel Herden,
Mark R. Sepanski,
Jonathan Stanfill,
Cordell Hammon,
Joel Henningsen,
Henry Ickes,
Indalecio Ruiz
Abstract:
Numerous congruences for partitions with designated summands have been proven since first being introduced and studied by Andrews, Lewis, and Lovejoy. This paper explicitly characterizes the number of partitions with designated summands whose parts are not divisible by $2^\ell$, $2$, and $3^\ell$ working modulo $2,\ 4,$ and $3$, respectively, greatly extending previous results on the subject. We p…
▽ More
Numerous congruences for partitions with designated summands have been proven since first being introduced and studied by Andrews, Lewis, and Lovejoy. This paper explicitly characterizes the number of partitions with designated summands whose parts are not divisible by $2^\ell$, $2$, and $3^\ell$ working modulo $2,\ 4,$ and $3$, respectively, greatly extending previous results on the subject. We provide a few applications of our characterizations throughout in the form of congruences and a computationally fast recurrence. Moreover, we illustrate a previously undocumented connection between the number of partitions with designated summands and the number of partitions with odd multiplicities.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Counting the parts divisible by k in all the partitions of n whose parts have multiplicity less than k
Authors:
Daniel Herden,
Mark R. Sepanski,
Jonathan Stanfill,
Cordell C. Hammon,
Joel Henningsen,
Henry Ickes,
Jorge Marchena Menendez,
Taylor Poe,
Indalecio Ruiz,
Edward L. Smith
Abstract:
Recent results by Andrews and Merca on the number of even parts in all partitions of n into distinct parts, a(n), were derived via generating functions. This paper extends these results to the number of parts divisible by k in all the partitions of n for which the multiplicity of each part is strictly less than k, ak(n). Moreover, a combinatorial proof is provided using an extension of Glaisher's…
▽ More
Recent results by Andrews and Merca on the number of even parts in all partitions of n into distinct parts, a(n), were derived via generating functions. This paper extends these results to the number of parts divisible by k in all the partitions of n for which the multiplicity of each part is strictly less than k, ak(n). Moreover, a combinatorial proof is provided using an extension of Glaisher's bijection. Finally, we give the generating functions for this new family of integer sequences and use it to verify generalized pentagonal, triangular, and square power recurrence relations.
△ Less
Submitted 8 October, 2020; v1 submitted 6 October, 2020;
originally announced October 2020.