arXiv Science⌕ Search

arXiv subjects

Jonathan Stanfill

Publications and source records attributed to Jonathan Stanfill.

At least 19 recordsLinked to original sources
arXiv2026

On the fundamental solutions of two nonlocal parabolic equations related to logarithmic Laplacians

We answer in the affirmative a question posed by V. Maz'ya of whether one can continue as a meromorphic function of $t$ the series representation of the fundamental solution of a certain nonlocal parabolic equation associated to a logarithmic Laplacian on the circle, which arises in the study of boundary value problems associated to the ordinary Laplacian on domains with thin cavities. The $a\ln(n) +O(1)$ growth of the eigenvalues of the integral operator, together with explicit formulas for the eigenfunctions and the subleading asymptotic behavior of the eigenvalues, allows us to show that the fundamental solution is reminiscent of a sum of shifted Riemann zeta functions or polylogarithms, depending on the spatial variable. We show an analogous result for an operator related to a different logarithmic Laplacian on the interval, whose structure is similar. Along the way we are led to prove and to conjecture a number of curious identities involving Bell polynomials and Bernoulli numbers related to the exponential of the digamma function which are of independent interest.

math.CV↗
arXiv2026

Complex analytic theory of Sturm-Liouville operators with Schatten $p$-class resolvents

We use the theory of entire functions of finite order to prove a universal spectral dependence of the blowup/decay rate of solutions of the Sturm-Liouville eigenvalue equation for problems with Schatten $p$-class resolvents. The general form of the asymptotics turns out to depend exclusively on the largest integer $\mathfrak{p}$ such that the underlying resolvents fail to be in the Schatten $\mathfrak{p}$-class. We then use the above result to construct a characteristic function of minimal order for Sturm-Liouville problems with Schatten $p$-class resolvents. This immediately yields contour integral representations of spectral $\zeta$-functions that were previously only known for quasi-regular problems (except for a few examples). We also demonstrate how our methods lead to new results in connection to important classic topics of Liouville-Green (or WKB) asymptotics and the approximation of the spectrum of singular problems via underlying truncated regular problems. All our applications are accompanied by illustrative examples, including the Airy differential equation, harmonic oscillator (and general power potentials), and the Laguerre differential equation.

math.SP↗
arXiv2025

An elementary approach to integral inequalities involving higher order derivatives

Motivated by previous work leveraging factorizations of second- and fourth-order differential operators, a general integral inequality involving higher order derivatives is proven by elementary means. It is then shown how this framework generalizes the notions of Hardy improving potentials and Bessel pairs. Numerous examples of inequalities both new and previously known in the literature are given that may be proven in this manner.

math.CA↗
arXiv2025

Maximally dissipative and self-adjoint extensions of $K$-invariant operators

We introduce the notion of $K$-invariant operators, $S$, (in a Hilbert space) with respect to a bounded and boundedly invertible operator $K$ defined via $K^*SK=S$. Conditions such that self-adjoint and maximally dissipative extensions of $K$-invariant symmetric operators are also $K$-invariant are investigated. In particular, the Friedrichs and Krein--von Neumann extensions of a nonnegative $K$-invariant symmetric operator are shown to always be $K$-invariant, while the Friedrichs extension of a $K$-invariant sectorial operator is as well. We apply our results to the case of Sturm--Liouville operators where $K$ is given by $(Kf)(x)=A(x)f(\phi(x))$ under appropriate assumptions. Sufficient conditions on the coefficient functions for $K$-invariance to hold are shown to be related to Schr\"oder's equation and all $K$-invariant self-adjoint extensions are characterized. Explicit examples are discussed including a Bessel-type Schr\"odinger operator satisfying a nontrivial $K$-invariance on the half-line.

math.SP↗
arXiv2025

$\zeta$-functions via contour integrals and universal sum rules

This work develops an analytic framework for the study of the $\zeta$-function associated with general sequences of complex numbers. We show that a contour integral representation, commonly used when studying spectral $\zeta$-functions associated with self-adjoint differential operators, can be extended far beyond its traditional setting. In contrast to representations utilizing integrals of $\theta$-functions, our method applies to arbitrary sequences of complex numbers with minimal assumptions. This leads to a set of universal identities, including sum rules and meromorphic properties, that hold across a broad class of $\zeta$-functions. Additionally, we discuss the connection to regularized (modified) Fredholm determinants of $p$-Schatten--von Neumann class operators. We illustrate the versatility of this representation by computing special values and residues of the $\zeta$-function for a variety of sequences of complex numbers, in particular, the zeros of Airy functions, parabolic cylinder functions, and confluent hypergeometric functions. Furthermore, we employ the adaptive Antoulas--Anderson (AAA) algorithm for rational interpolation in the study of the Airy $\zeta$-function.

math.CA↗
arXiv2024

The exotic structure of the spectral $\zeta$-function for the Schr\"odinger operator with P\"oschl--Teller potential

This work focuses on the analysis of the spectral $\zeta$-function associated with a Schr\"{o}dinger operator endowed with a P\"oschl--Teller potential. We construct the spectral $\zeta$-function using a contour integral representation and, for particular self-adjoint extensions, we perform its analytic continuation to a larger region of the complex plane. We show that the spectral $\zeta$-function in these cases can possess a very unusual and remarkable structure consisting of a series of logarithmic branch points located at every nonpositive integer value of $s$ along with infinitely many additional branch points (and finitely many simple poles) whose locations depend on the parameters of the problem. By comparing the P\"oschl--Teller potential to the classic Bessel potential, we further illustrate that perturbing a given potential by a smooth potential on a finite interval can greatly affect the meromorphic structure and branch points of the spectral $\zeta$-function in surprising ways.

math-ph↗
arXiv2024

Nonnegative extensions of Sturm-Liouville operators with an application to problems with symmetric coefficient functions

The purpose of this paper is to study nonnegative self-adjoint extensions associated with singular Sturm-Liouville expressions with strictly positive minimal operators. We provide a full characterization of all possible nonnegative self-adjoint extensions of the minimal operator in terms of generalized boundary values, as well as a parameterization of all nonnegative extensions when fixing a boundary condition at one endpoint. In addition, we investigate problems where the coefficient functions are symmetric about the midpoint of a finite interval, illustrating how every self-adjoint operator of this form is unitarily equivalent to the direct sum of two self-adjoint operators restricted to half of the interval. We also extend these result to symmetric two interval problems. We then apply our previous results to parameterize all nonnegative extensions of operators with symmetric coefficient functions. We end with an example of an operator with a symmetric Bessel-type potential (i.e., symmetric confining potential) and an application to integral inequalities.

math.SP↗
arXiv2024

The spectral $\zeta$-function for quasi-regular Sturm--Liouville operators

In this work we analyze the spectral $\zeta$-function associated with the self-adjoint extensions, $T_{A,B}$, of quasi-regular Sturm--Liouville operators that are bounded from below. By utilizing the Green's function formalism, we find the characteristic function which implicitly provides the eigenvalues associated with a given self-adjoint extension $T_{A,B}$. The characteristic function is then employed to construct a contour integral representation for the spectral $\zeta$-function of $T_{A,B}$. By assuming a general form for the asymptotic expansion of the characteristic function, we describe the analytic continuation of the $\zeta$-function to a larger region of the complex plane. We also present a method for computing the value of the spectral $\zeta$-function of $T_{A,B}$ at all positive integers. We provide two examples to illustrate the methods developed in the paper: the generalized Bessel and Legendre operators. We show that in the case of the generalized Bessel operator, the spectral $\zeta$-function develops a branch point at the origin, while in the case of the Legendre operator it presents, more remarkably, branch points at every nonpositive integer value of $s$.

math-ph↗
arXiv2024

Finer limit circle/limit point classification for Sturm-Liouville operators

In this paper we introduce an index $\ell_c \in \mathbb{N}_0 \cup \lbrace \infty \rbrace$ which we call the `regularization index' associated to the endpoints, $c\in\{a,b\}$, of nonoscillatory Sturm-Liouville differential expressions with trace class resolvents. This notion extends the limit circle/limit point dichotomy in the sense that $\ell_c~=~0$ at some endpoint if and only if the expression is in the limit circle case. In the limit point case $\ell_c>0$, a natural interpretation in terms of iterated Darboux transforms is provided. We also show stability of the index $\ell_c$ for a suitable class of perturbations, extending earlier work on perturbations of spherical Schr\"odinger operators to the case of general three-coefficient Sturm-Liouville operators. We demonstrate our results by considering a variety of examples including generalized Bessel operators, Jacobi differential operators, and Schr\"odinger operators on the half-line with power potentials.

math.SP↗
arXiv2023

The Jacobi operator on $(-1,1)$ and its various $m$-functions

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*} \tau_{\alpha,\beta} = - (1-x)^{-\alpha} (1+x)^{-\beta}(d/dx) \big((1-x)^{\alpha+1}(1+x)^{\beta+1}\big) (d/dx),& \\ \alpha, \beta \in \mathbb{R}, \; x \in (-1,1),& \end{align*} in $L^2\big((-1,1); (1-x)^{\alpha} (1+x)^{\beta} dx\big)$, $\alpha, \beta \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 $\eta$-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.

math.CA↗
arXiv2021

The Jacobi operator and its Donoghue $m$-functions

In this paper we construct Donoghue $m$-functions for the Jacobi differential operator in $L^2\big((-1,1); (1-x)^{\alpha} (1+x)^{\beta} dx\big)$, associated to the differential expression \begin{align*} \begin{split} \tau_{\alpha,\beta} = - (1-x)^{-\alpha} (1+x)^{-\beta}(d/dx) \big((1-x)^{\alpha + 1}(1+x)^{\beta + 1}\big) (d/dx),& \\ x \in (-1,1), \; \alpha, \beta \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.

math.CA↗
arXiv2021

Donoghue $m$-functions for singular Sturm--Liouville operators

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 \[ \tau=\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 $\tau$ is in the limit circle case at least at one interval endpoint $a$ or $b$.

math.SP↗
arXiv2021

On domain properties of Bessel-type operators

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,\pi)$, 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 \[ \omega_{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*} \tau_{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 $\omega_{s_a}$ and $\tau_{s_a,s_b}$.

math.CA↗
arXiv2021

The Krein-von Neumann extension revisited

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.

math.FA↗
arXiv2021

A survey of some norm inequalities

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.

math.FA↗
arXiv2021

Bessel-Type Operators and a refinement of Hardy's inequality

The principal aim of this paper is to employ Bessel-type operators in proving the inequality \begin{align*} \int_0^\pi dx \, |f'(x)|^2 \geq \dfrac{1}{4}\int_0^\pi dx \, \dfrac{|f(x)|^2}{\sin^2 (x)}+\dfrac{1}{4}\int_0^\pi dx \, |f(x)|^2,\quad f\in H_0^1 ((0,\pi)), \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\"{o}dinger operator associated with the differential expression \begin{align*} \tau_s=-\dfrac{d^2}{dx^2}+\dfrac{s^2-(1/4)}{\sin^2 (x)}, \quad s \in [0,\infty), \; x \in (0,\pi). \end{align*} The new inequality represents a refinement of Hardy's classical inequality \begin{align*} \int_0^\pi dx \, |f'(x)|^2 \geq \dfrac{1}{4}\int_0^\pi dx \, \dfrac{|f(x)|^2}{x^2}, \quad f\in H_0^1 ((0,\pi)), \end{align*} it also improves upon one of its well-known extensions in the form \begin{align*} \int_0^\pi dx \, |f'(x)|^2 \geq \dfrac{1}{4}\int_0^\pi dx \, \dfrac{|f(x)|^2}{d_{(0,\pi)}(x)^2}, \quad f\in H_0^1 ((0,\pi)), \end{align*} where $d_{(0,\pi)}(x)$ represents the distance from $x \in (0,\pi)$ to the boundary $\{0,\pi\}$ of $(0,\pi)$.

math.SP↗