Showing 1–16 of 16 results for author: Stanfill, J

The exotic structure of the spectral $ζ$-function for the Schrödinger operator with Pöschl--Teller potential

Authors: Guglielmo Fucci, Jonathan Stanfill

Abstract: This work focuses on the analysis of the spectral $ζ$-function associated with a Schrödinger operator endowed with a Pöschl--Teller potential. We construct the spectral $ζ$-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 $ζ$-function in these cases c… ▽ More This work focuses on the analysis of the spectral $ζ$-function associated with a Schrödinger operator endowed with a Pöschl--Teller potential. We construct the spectral $ζ$-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 $ζ$-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öschl--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 $ζ$-function in surprising ways. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Comments: 33 pages, LaTex

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

Authors: Christoph Fischbacher, Jonathan Stanfill

Abstract: 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 bound… ▽ More 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. △ Less

Submitted 11 February, 2025; v1 submitted 6 October, 2024; originally announced October 2024.

Comments: 36 pages, updated references, fixed a few minor typos

MSC Class: Primary: 34B20; 34B24; 34L05; Secondary: 47A10; 47E05

The spectral $ζ$-function for quasi-regular Sturm--Liouville operators

Authors: Guglielmo Fucci, Mateusz Piorkowski, Jonathan Stanfill

Abstract: In this work we analyze the spectral $ζ$-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 empl… ▽ More In this work we analyze the spectral $ζ$-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 $ζ$-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 $ζ$-function to a larger region of the complex plane. We also present a method for computing the value of the spectral $ζ$-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 $ζ$-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$. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Comments: 39 pages

MSC Class: Primary: 47A10; 47B10; 47G10. Secondary: 34B27; 34L40

Factorizations and Power Weighted Rellich and Hardy--Rellich-Type Inequalities

Authors: Fritz Gesztesy, Michael M. H. Pang, Jake Parmentier, Jonathan Stanfill

Abstract: We revisit and extend a variety of inequalities related to power weighted Rellich and Hardy--Rellich inequalities, including an inequality due to Schmincke. We revisit and extend a variety of inequalities related to power weighted Rellich and Hardy--Rellich inequalities, including an inequality due to Schmincke. △ Less

Submitted 26 September, 2024; v1 submitted 26 July, 2024; originally announced August 2024.

Comments: 37 pages, corrections made and slight reorganization of appendix

MSC Class: Primary: 35A23; 35J30; Secondary: 47A63; 47F05

Logarithmic Refinements of a Power Weighted Hardy--Rellich-Type Inequality

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

Abstract: The principal purpose of this note is to prove a logarithmic refinement of the power weighted Hardy--Rellich inequality on $n$-dimensional balls, valid for the largest variety of underlying parameters and for all dimensions $n \in \mathbb{N}$, $n\geq 2$. The principal purpose of this note is to prove a logarithmic refinement of the power weighted Hardy--Rellich inequality on $n$-dimensional balls, valid for the largest variety of underlying parameters and for all dimensions $n \in \mathbb{N}$, $n\geq 2$. △ Less

Submitted 26 July, 2024; v1 submitted 6 July, 2024; originally announced July 2024.

Comments: 9 pages

MSC Class: Primary: 35A23; 35J30; Secondary: 47A63; 47F05

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

Authors: Mateusz Piorkowski, Jonathan Stanfill

Abstract: 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… ▽ More 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ödinger 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ödinger operators on the half-line with power potentials. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Comments: 47 pages

MSC Class: 34B20; 34B24; 34L05; 47A10 (Primary) 34B30; 34C10; 34C11 (Secondary)

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.

Comments: 59 pages. arXiv admin note: text overlap with arXiv:2102.00685, arXiv:2110.15913, arXiv:1910.13117

MSC Class: Primary: 33C45; 34B09; 34B24; 34C10; 34L40; Secondary: 34B20; 34B30

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.

Comments: 28 pages. arXiv admin note: substantial text overlap with arXiv:2107.09832; text overlap with arXiv:2102.00685, arXiv:1910.13117

MSC Class: Primary: 34B20; 34B24; 34L05; Secondary: 47A10; 47E05

Journal ref: Oper. Theory: Adv. Appl., Vol. 292, Birkh\auser, Springer, Cham (2023), pp. 145-181

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.

Comments: 35 pages. arXiv admin note: text overlap with arXiv:1910.13117, arXiv:2102.00685

MSC Class: Primary: 34B20; 34B24; 34L05; Secondary: 47A10; 47E05

Journal ref: St. Petersbg. Math. J. (Algebra Anal.) 35, 101-138 (2024)

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.

Comments: 37 pages, references updated

MSC Class: Primary: 26D10; 34A40; 34B20; 34B30; Secondary: 34L10; 34B24; 47A07

Journal ref: Discrete and Continuous Dynamical Systems - S, 2024, 17(5&6): 1911-1946

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.

Comments: 26 pages. arXiv admin note: text overlap with arXiv:1910.13117

MSC Class: Primary: 34B09; 34B24; 34C10; 34L40; Secondary: 34B20; 34B30

Journal ref: Applicable Anal. 2021, 25p

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.

Comments: 28 pages, some updates added

MSC Class: Primary: 47A30; 34L40; Secondary: 47B25; 47B44

Journal ref: Complex Analysis and Operator Theory 15, No. 23 (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.

Comments: 23 pages, updated references

MSC Class: Primary: 26D10; 34A40; 34B20; 34B30; Secondary: 34L10; 34B24; 47A07

Journal ref: In: Gesztesy, F., Martinez-Finkelshtein, A. (eds) From Operator Theory to Orthogonal Polynomials, Combinatorics, and Number Theory. Operator Theory: Advances and Applications, vol 285. Birkh\auser, Cham, 2021, pp. 143-172

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.

Comments: 44 pages

MSC Class: Primary: 47A10; 47B10; 47G10. Secondary: 34B27; 34L40

Journal ref: Res. Math. Sci. 8, No. 61 (2021), 46 pp

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.

MSC Class: Primary: 11P83; Secondary: 05A17

Journal ref: INTEGERS 23 (2023), Article A43

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.

MSC Class: 11P83; 05A17; 05A19

Journal ref: INTEGERS 22 (2022), Article A49