-
A Partition Identity Related to Stanley's Theorem
Authors:
Mircea Merca,
Maxie D. Schmidt
Abstract:
In this paper, we use the Lambert series generating function for Euler's totient function to introduce a new identity for the number of $1$'s in the partitions of $n$. A new expansion for Euler's partition function $p(n)$ is derived in this context. These surprising new results connect the famous classical totient function from multiplicative number theory to the additive theory of partitions.
In this paper, we use the Lambert series generating function for Euler's totient function to introduce a new identity for the number of $1$'s in the partitions of $n$. A new expansion for Euler's partition function $p(n)$ is derived in this context. These surprising new results connect the famous classical totient function from multiplicative number theory to the additive theory of partitions.
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
The partition function $p(n)$ in terms of the classical Möbius function
Authors:
Mircea Merca,
Maxie D. Schmidt
Abstract:
In this paper, we investigate decompositions of the partition function $p(n)$ from the additive theory of partitions considering the famous Möbius function $μ(n)$ from multiplicative number theory. Some combinatorial interpretations are given in this context. Our work extends several analogous identities proved recently relating $p(n)$ and Euler's totient function $\varphi(n)$.
Keywords: Lambert…
▽ More
In this paper, we investigate decompositions of the partition function $p(n)$ from the additive theory of partitions considering the famous Möbius function $μ(n)$ from multiplicative number theory. Some combinatorial interpretations are given in this context. Our work extends several analogous identities proved recently relating $p(n)$ and Euler's totient function $\varphi(n)$.
Keywords: Lambert series; Möbius function; $q$-series; partition function
△ Less
Submitted 20 October, 2023;
originally announced October 2023.
-
Factorization theorems and canonical representations for generating functions of special sums
Authors:
Maxie Dion Schmidt
Abstract:
This manuscript explores many convolution (restricted summation) type sequences via certain types of matrix based factorizations that can be used to express their generating functions. The last primary (non-appendix) section of the thesis explores the topic of how to best rigorously define a so-termed ``\emph{canonically best}'' matrix based factorization for a given class of convolution sum seque…
▽ More
This manuscript explores many convolution (restricted summation) type sequences via certain types of matrix based factorizations that can be used to express their generating functions. The last primary (non-appendix) section of the thesis explores the topic of how to best rigorously define a so-termed ``\emph{canonically best}'' matrix based factorization for a given class of convolution sum sequences. The notion of a canonical factorization for the generating function of such sequences needs to match the qualitative properties we find in the factorization theorems for Lambert series generating functions (LGFs). The expected qualitatively most expressive expansion we find in the LGF case results naturally from algebraic constructions of the underlying LGF series type. We propose a precise quantitative requirement to generalize this notion in terms of optimal cross-correlation statistics for certain sequences that define the matrix based factorizations of the generating function expansions we study. We finally pose a few conjectures on the types of matrix factorizations we expect to find when we are able to attain the maximal (respectively minimal) correlation statistic for a given sum type.
△ Less
Submitted 25 September, 2022;
originally announced September 2022.
-
Exact formulas for partial sums of the Möbius function expressed by partial sums weighted by the Liouville lambda function
Authors:
Maxie Dion Schmidt
Abstract:
The Mertens function, $M(x) := \sum_{n \leq x} μ(n)$, is defined as the summatory function of the classical Möbius function. The Dirichlet inverse function $g(n) := (ω+1)^{-1}(n)$ is defined in terms of the shifted strongly additive function $ω(n)$ that counts the number of distinct prime factors of $n$ without multiplicity. The Dirichlet generating function (DGF) of $g(n)$ is…
▽ More
The Mertens function, $M(x) := \sum_{n \leq x} μ(n)$, is defined as the summatory function of the classical Möbius function. The Dirichlet inverse function $g(n) := (ω+1)^{-1}(n)$ is defined in terms of the shifted strongly additive function $ω(n)$ that counts the number of distinct prime factors of $n$ without multiplicity. The Dirichlet generating function (DGF) of $g(n)$ is $ζ(s)^{-1} (1+P(s))^{-1}$ for $\Re(s) > 1$ where $P(s) = \sum_p p^{-s}$ is the prime zeta function. We study the distribution of the unsigned functions $|g(n)|$ with DGF $ζ(2s)^{-1}(1-P(s))^{-1}$ and $C_Ω(n)$ with DGF $(1-P(s))^{-1}$ for $\Re(s) > 1$. We establish formulas for the average order and variance of $\log C_Ω(n)$ and prove a central limit theorem for the distribution of its values on the integers $n \leq x$ as $x \rightarrow \infty$. Discrete convolutions of the partial sums of $g(n)$ with the prime counting function provide new exact formulas for $M(x)$.
△ Less
Submitted 17 July, 2022; v1 submitted 10 February, 2021;
originally announced February 2021.
-
A catalog of interesting and useful Lambert series identities
Authors:
Maxie Dion Schmidt
Abstract:
A Lambert series generating function is a special series summed over an arithmetic function $f$ defined by \[ L_f(q) := \sum_{n \geq 1} \frac{f(n) q^n}{1-q^n} = \sum_{m \geq 1} (f \ast 1)(m) q^m. \] Because of the way the left-hand-side terms of this type of generating function generate divisor sums of $f$ convolved by Dirichlet convolution with one, these expansions are natural ways to enumerate…
▽ More
A Lambert series generating function is a special series summed over an arithmetic function $f$ defined by \[ L_f(q) := \sum_{n \geq 1} \frac{f(n) q^n}{1-q^n} = \sum_{m \geq 1} (f \ast 1)(m) q^m. \] Because of the way the left-hand-side terms of this type of generating function generate divisor sums of $f$ convolved by Dirichlet convolution with one, these expansions are natural ways to enumerate the ordinary generating functions of many multiplicative special functions in number theory. We present an overview of key properties of Lambert series generating function expansions, their more combinatorial generalizations, and include a compendia of tables illustrating known formulas for special cases of these series. In this sense, we focus more on the formal properties of the sequences that are enumerated by the Lambert series, and do not spend significant time treating these series as analytic objects subject to rigorous convergence constraints.
The first question one might ask before reading this document is: Why has is catalog of interesting Lambert series identities compiled? As with the indispensible reference by H. W. Gould and T. Shonhiwa, A catalog of interesting Dirichlet series, for Dirichlet series (DGF) identities, there are many situations in which one needs a summary reference on Lambert series and their properties. New work has been done recently tying Lambert series expansions to partition functions by expansions of their generating functions. In addition to these new expansions and providing an introduction to Lambert series, we have listings of classically relevant and "odds and ends'' examples for Lambert series summations that are occasionally useful in applications. If you see any topics or identities the author has missed, please contact us over email to append to this reference.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Factorization Theorems for Relatively Prime Divisor Sums, GCD Sums and Generalized Ramanujan Sums
Authors:
Hamed Mousavi,
Maxie D. Schmidt
Abstract:
We generalize recent matrix-based factorization theorems for Lambert series generating functions generating the coefficients $(f \ast 1)(n)$ for some arithmetic function $f$. Our new factorization theorems provide analogs to these established expansions generating sums of the form $\sum_{d: (d,n)=1} f(d)$ (type I) and the Anderson-Apostol sums $\sum_{d|(m,n)} f(d) g(n/d)$ (type II) for any arithme…
▽ More
We generalize recent matrix-based factorization theorems for Lambert series generating functions generating the coefficients $(f \ast 1)(n)$ for some arithmetic function $f$. Our new factorization theorems provide analogs to these established expansions generating sums of the form $\sum_{d: (d,n)=1} f(d)$ (type I) and the Anderson-Apostol sums $\sum_{d|(m,n)} f(d) g(n/d)$ (type II) for any arithmetic functions $f$ and $g$. Our treatment of the type II sums includes a matrix-based factorization method relating the partition function $p(n)$ to arbitrary arithmetic functions $f$. We also conclude the last section of the article by directly expanding new formulas for an arithmetic function $g$ by the type II sums using discrete Fourier transforms for functions over inputs of greatest common divisors and by suitably defined orthogonal polynomial sequences whose weight function we can define by a discrete time Fourier transform (DTFT) involving the partition function $p(n)$. There are numerous applications and special cases of our new results which we are able to cite as examples in the article. Particular cases of the applications we give in the article include new identities for Euler's totient function, the Ramanujan sums $c_q(n)$, the generalized sum-of-divisors functions, the Mertens function which is the summatory function of the Möbius function, and the cyclotomic polynomials.
△ Less
Submitted 19 September, 2019; v1 submitted 19 October, 2018;
originally announced October 2018.
-
A Short Note on Integral Transformations and Conversion Formulas for Sequence Generating Functions
Authors:
Maxie D. Schmidt
Abstract:
The purpose of this note is to provide an expository introduction to some more curious integral formulas and transformations involving generating functions. We seek to generalize these results and integral representations which effectively provide a mechanism for converting between a sequence's ordinary and exponential generating function (OGF and EGF, respectively) and vice versa. The Laplace tra…
▽ More
The purpose of this note is to provide an expository introduction to some more curious integral formulas and transformations involving generating functions. We seek to generalize these results and integral representations which effectively provide a mechanism for converting between a sequence's ordinary and exponential generating function (OGF and EGF, respectively) and vice versa. The Laplace transform provides an integral formula for the EGF-to-OGF transformation, where the reverse OGF-to-EGF operation requires more careful integration techniques. We prove two variants of the OGF-to-EGF transformation integrals from the Hankel loop contour for the reciprocal gamma function and from Fourier series expansions of integral representations for the Hadamard product of two generating functions, respectively. We also suggest several generalizations of these integral formulas and provide new examples along the way.
△ Less
Submitted 18 May, 2019; v1 submitted 11 September, 2018;
originally announced September 2018.
-
Factorization Theorems for Generalized Lambert Series and Applications
Authors:
Mircea Merca,
Maxie D. Schmidt
Abstract:
We prove new variants of the Lambert series factorization theorems studied by Merca and Schmidt (2017) which correspond to a more general class of Lambert series expansions of the form $L_a(α, β, q) := \sum_{n \geq 1} a_n q^{αn-β} / (1-q^{αn-β})$ for integers $α, β$ defined such that $α\geq 1$ and $0 \leq β< α$. Applications of the new results in the article are given to restricted divisor sums ov…
▽ More
We prove new variants of the Lambert series factorization theorems studied by Merca and Schmidt (2017) which correspond to a more general class of Lambert series expansions of the form $L_a(α, β, q) := \sum_{n \geq 1} a_n q^{αn-β} / (1-q^{αn-β})$ for integers $α, β$ defined such that $α\geq 1$ and $0 \leq β< α$. Applications of the new results in the article are given to restricted divisor sums over several classical special arithmetic functions which define the cases of well-known, so-termed "ordinary" Lambert series expansions cited in the introduction. We prove several new forms of factorization theorems for Lambert series over a convolution of two arithmetic functions which similarly lead to new applications relating convolutions of special multiplicative functions to partition functions and $n$-fold convolutions of one of the special functions.
△ Less
Submitted 2 December, 2017;
originally announced December 2017.
-
Factorization Theorems for Hadamard Products and Higher-Order Derivatives of Lambert Series Generating Functions
Authors:
Maxie D. Schmidt
Abstract:
We first summarize joint work on several preliminary canonical Lambert series factorization theorems. Within this article we establish new analogs to these original factorization theorems which characterize two specific primary cases of the expansions of Lambert series generating functions: factorizations for Hadamard products of Lambert series and for higher-order derivatives of Lambert series. T…
▽ More
We first summarize joint work on several preliminary canonical Lambert series factorization theorems. Within this article we establish new analogs to these original factorization theorems which characterize two specific primary cases of the expansions of Lambert series generating functions: factorizations for Hadamard products of Lambert series and for higher-order derivatives of Lambert series. The series coefficients corresponding to these two generating function cases are important enough to require the special due attention we give to their expansions within the article, and moreover, are significant in that they connect the characteristic expansions of Lambert series over special multiplicative functions to the explicitly additive nature of the theory of partitions. Applications of our new results provide new exotic sums involving multiplicative functions, new summation-based interpretations of the coefficients of the integer-order $j^{th}$ derivatives of Lambert series generating functions, several new series for the Riemann zeta function, and an exact identity for the number of distinct primes dividing $n$.
△ Less
Submitted 2 December, 2017;
originally announced December 2017.
-
Pair Correlation and Gap Distributions for Substitution Tilings and Generalized Ulam Sets in the Plane
Authors:
Maxie D. Schmidt
Abstract:
We study empirical statistical and gap distributions of several important tilings of the plane. In particular, we consider the slope distributions, the angle distributions, pair correlation, squared-distance pair correlation, angle gap distributions, and slope gap distributions for the Ammann Chair tiling, the recently discovered fifteenth pentagonal tiling, and a few pertinent tilings related to…
▽ More
We study empirical statistical and gap distributions of several important tilings of the plane. In particular, we consider the slope distributions, the angle distributions, pair correlation, squared-distance pair correlation, angle gap distributions, and slope gap distributions for the Ammann Chair tiling, the recently discovered fifteenth pentagonal tiling, and a few pertinent tilings related to these famous examples. We also consider the spatial statistics of generalized Ulam sets in two dimensions. Additionally, we carefully prove a tight asymptotic formula for the time steps in which Ulam set points at certain prescribed geometric positions in their plots in the plane formally enter the recursively-defined sets.
The software we have developed to these generate numerical approximations to the distributions for the tilings we consider here is written in Python under the Sage environment and is released as open-source software which is available freely on our websites. In addition to the small subset of tilings and other point sets in the plane we study within the article, our program supports many other tiling variants and is easily extended for researchers to explore related tilings and iterative sets.
△ Less
Submitted 18 July, 2017;
originally announced July 2017.
-
New Factor Pairs for Factorizations of Lambert Series Generating Functions
Authors:
Mircea Merca,
Maxie D. Schmidt
Abstract:
We prove several new variants of the Lambert series factorization theorem established in the first article "Generating special arithmetic functions by Lambert series factorizations" by Merca and Schmidt (2017). Several characteristic examples of our new results are presented in the article to motivate the formulations of the generalized factorization theorems. Applications of these new factorizati…
▽ More
We prove several new variants of the Lambert series factorization theorem established in the first article "Generating special arithmetic functions by Lambert series factorizations" by Merca and Schmidt (2017). Several characteristic examples of our new results are presented in the article to motivate the formulations of the generalized factorization theorems. Applications of these new factorization results include new identities involving the Euler partition function and the generalized sum-of-divisors functions, the Möbius function, Euler's totient function, the Liouville lambda function, von Mangoldt's lambda function, and the Jordan totient function.
△ Less
Submitted 7 June, 2017;
originally announced June 2017.
-
Generating Special Arithmetic Functions by Lambert Series Factorizations
Authors:
Mircea Merca,
Maxie D. Schmidt
Abstract:
We summarize the known useful and interesting results and formulas we have discovered so far in this collaborative article summarizing results from two related articles by Merca and Schmidt arriving at related so-termed Lambert series factorization theorems. We unify the matrix representations that underlie two of our separate papers, and which commonly arise in identities involving partition func…
▽ More
We summarize the known useful and interesting results and formulas we have discovered so far in this collaborative article summarizing results from two related articles by Merca and Schmidt arriving at related so-termed Lambert series factorization theorems. We unify the matrix representations that underlie two of our separate papers, and which commonly arise in identities involving partition functions and other functions generated by Lambert series. We provide a number of properties and conjectures related to the inverse matrix entries defined in Schmidt's article and the Euler partition function $p(n)$ which we prove through our new results unifying the expansions of the Lambert series factorization theorems within this article.
△ Less
Submitted 3 August, 2017; v1 submitted 1 June, 2017;
originally announced June 2017.
-
Exact Formulas for the Generalized Sum-of-Divisors Functions
Authors:
Maxie D. Schmidt
Abstract:
We prove new exact formulas for the generalized sum-of-divisors functions, $σ_α(x) := \sum_{d|x} d^α$. The formulas for $σ_α(x)$ when $α\in \mathbb{C}$ is fixed and $x \geq 1$ involves a finite sum over all of the prime factors $n \leq x$ and terms involving the $r$-order harmonic number sequences and the Ramanujan sums $c_d(x)$. The generalized harmonic number sequences correspond to the partial…
▽ More
We prove new exact formulas for the generalized sum-of-divisors functions, $σ_α(x) := \sum_{d|x} d^α$. The formulas for $σ_α(x)$ when $α\in \mathbb{C}$ is fixed and $x \geq 1$ involves a finite sum over all of the prime factors $n \leq x$ and terms involving the $r$-order harmonic number sequences and the Ramanujan sums $c_d(x)$. The generalized harmonic number sequences correspond to the partial sums of the Riemann zeta function when $r > 1$ and are related to the generalized Bernoulli numbers when $r \leq 0$ is integer-valued.
A key part of our new expansions of the Lambert series generating functions for the generalized divisor functions is formed by taking logarithmic derivatives of the cyclotomic polynomials, $Φ_n(q)$, which completely factorize the Lambert series terms $(1-q^n)^{-1}$ into irreducible polynomials in $q$. We focus on the computational aspects of these exact expressions, including their interplay with experimental mathematics, and comparisons of the new formulas for $σ_α(n)$ and the summatory functions $\sum_{n \leq x} σ_α(n)$.
Keywords: divisor function; sum-of-divisors function; Lambert series; perfect number.
MSC (2010): 30B50; 11N64; 11B83
△ Less
Submitted 19 April, 2019; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Combinatorial Sums and Identities Involving Generalized Sum-of-Divisors Functions with Bounded Divisors
Authors:
Maxie D. Schmidt
Abstract:
The class of Lambert series generating functions (LGFs) denoted by $L_α(q)$ formally enumerate the generalized sum-of-divisors functions, $σ_α(n) = \sum_{d|n} d^α$, for all integers $n \geq 1$ and fixed real-valued parameters $α\geq 0$. We prove new formulas expanding the higher-order derivatives of these LGFs. The results we obtain are combined to express new identities expanding the generalized…
▽ More
The class of Lambert series generating functions (LGFs) denoted by $L_α(q)$ formally enumerate the generalized sum-of-divisors functions, $σ_α(n) = \sum_{d|n} d^α$, for all integers $n \geq 1$ and fixed real-valued parameters $α\geq 0$. We prove new formulas expanding the higher-order derivatives of these LGFs. The results we obtain are combined to express new identities expanding the generalized sum-of-divisors functions. These new identities are expanded in the form of sums of polynomially scaled multiples of a related class of divisor sums depending on $n$ and $α$.
△ Less
Submitted 17 November, 2020; v1 submitted 18 April, 2017;
originally announced April 2017.
-
Continued Fractions and $q$-Series Generating Functions for the Generalized Sum-of-Divisors Functions
Authors:
Maxie D. Schmidt
Abstract:
We construct new continued fraction expansions of Jacobi-type J-fractions in $z$ whose power series expansions generate the ratio of the $q$-Pochhamer symbols, $(a; q)_n / (b; q)_n$, for all integers $n \geq 0$ and where $a,b,q \in \mathbb{C}$ are non-zero and defined such that $|q| < 1$ and $|b/a| < |z| < 1$. If we set the parameters $(a, b) := (q, q^2)$ in these generalized series expansions, th…
▽ More
We construct new continued fraction expansions of Jacobi-type J-fractions in $z$ whose power series expansions generate the ratio of the $q$-Pochhamer symbols, $(a; q)_n / (b; q)_n$, for all integers $n \geq 0$ and where $a,b,q \in \mathbb{C}$ are non-zero and defined such that $|q| < 1$ and $|b/a| < |z| < 1$. If we set the parameters $(a, b) := (q, q^2)$ in these generalized series expansions, then we have a corresponding J-fraction enumerating the sequence of terms $(1-q) / (1-q^{n+1})$ over all integers $n \geq 0$. Thus we are able to define new $q$-series expansions which correspond to the Lambert series generating the divisor function, $d(n)$, when we set $z \mapsto q$ in our new J-fraction expansions. By repeated differentiation with respect to $z$, we also use these generating functions to formulate new $q$-series expansions of the generating functions for the sums-of-divisors functions, $σ_α(n)$, when $α\in \mathbb{Z}^{+}$. To expand the new $q$-series generating functions for these special arithmetic functions we define a generalized classes of so-termed Stirling-number-like "$q$-coefficients", or Stirling $q$-coefficients, whose properties, relations to elementary symmetric polynomials, and relations to the convergents to our infinite J-fractions are also explored within the results proved in the article.
△ Less
Submitted 4 May, 2017; v1 submitted 18 April, 2017;
originally announced April 2017.
-
Jacobi-Type Continued Fractions and Congruences for Binomial Coefficients Modulo Integers $h \geq 2$
Authors:
Maxie D. Schmidt
Abstract:
We prove two new forms of Jacobi-type J-fraction expansions generating the binomial coefficients, $\binom{x+n}{n}$ and $\binom{x}{n}$, over all $n \geq 0$. Within the article we establish new forms of integer congruences for these binomial coefficient variations modulo any (prime or composite) $h \geq 2$ and compare our results with existing known congruences for the binomial coefficients modulo p…
▽ More
We prove two new forms of Jacobi-type J-fraction expansions generating the binomial coefficients, $\binom{x+n}{n}$ and $\binom{x}{n}$, over all $n \geq 0$. Within the article we establish new forms of integer congruences for these binomial coefficient variations modulo any (prime or composite) $h \geq 2$ and compare our results with existing known congruences for the binomial coefficients modulo primes $p$ and prime powers $p^k$. We also prove new exact formulas for these binomial coefficient cases from the expansions of the $h^{th}$ convergent functions to the infinite J-fraction series generating these coefficients for all $n$.
△ Less
Submitted 5 February, 2017;
originally announced February 2017.
-
New Recurrence Relations and Matrix Equations for Arithmetic Functions Generated by Lambert Series
Authors:
Maxie D. Schmidt
Abstract:
We consider relations between the pairs of sequences, $(f, g_f)$, generated by the Lambert series expansions, $L_f(q) = \sum_{n \geq 1} f(n) q^n / (1-q^n)$, in $q$. In particular, we prove new forms of recurrence relations and matrix equations defining these sequences for all $n \in \mathbb{Z}^{+}$. The key ingredient to the proof of these results is given by the statement of Euler's pentagonal nu…
▽ More
We consider relations between the pairs of sequences, $(f, g_f)$, generated by the Lambert series expansions, $L_f(q) = \sum_{n \geq 1} f(n) q^n / (1-q^n)$, in $q$. In particular, we prove new forms of recurrence relations and matrix equations defining these sequences for all $n \in \mathbb{Z}^{+}$. The key ingredient to the proof of these results is given by the statement of Euler's pentagonal number theorem expanding the series for the infinite $q$-Pochhammer product, $(q; q)_{\infty}$, and for the first $n$ terms of the partial products, $(q; q)_n$, forming the denominators of the rational $n^{th}$ partial sums of $L_f(q)$. Examples of the new results given in the article include new exact formulas for and applications to the Euler phi function, $φ(n)$, the Möbius function, $μ(n)$, the sum of divisors functions, $σ_1(n)$ and $σ_α(n)$, for $α\geq 0$, and to Liouville's lambda function, $λ(n)$.
△ Less
Submitted 5 July, 2017; v1 submitted 22 January, 2017;
originally announced January 2017.
-
New Congruences and Finite Difference Equations for Generalized Factorial Functions
Authors:
Maxie D. Schmidt
Abstract:
We use the rationality of the generalized $h^{th}$ convergent functions, $Conv_h(α, R; z)$, to the infinite J-fraction expansions enumerating the generalized factorial product sequences, $p_n(α, R) = R(R+α)\cdots(R+(n-1)α)$, defined in the references to construct new congruences and $h$-order finite difference equations for generalized factorial functions modulo $h α^t$ for any primes or odd integ…
▽ More
We use the rationality of the generalized $h^{th}$ convergent functions, $Conv_h(α, R; z)$, to the infinite J-fraction expansions enumerating the generalized factorial product sequences, $p_n(α, R) = R(R+α)\cdots(R+(n-1)α)$, defined in the references to construct new congruences and $h$-order finite difference equations for generalized factorial functions modulo $h α^t$ for any primes or odd integers $h \geq 2$ and integers $0 \leq t \leq h$. Special cases of the results we consider within the article include applications to new congruences and exact formulas for the $α$-factorial functions, $n!_{(α)}$. Applications of the new results we consider within the article include new finite sums for the $α$-factorial functions, restatements of classical necessary and sufficient conditions of the primality of special integer subsequences and tuples, and new finite sums for the single and double factorial functions modulo integers $h \geq 2$.
△ Less
Submitted 17 January, 2017;
originally announced January 2017.
-
Continued Fractions for Square Series Generating Functions
Authors:
Maxie D. Schmidt
Abstract:
We consider new series expansions for variants of the so-termed ordinary geometric square series generating functions originally defined in the recent article titled "Square Series Generating Function Transformations" (arXiv: 1609.02803). Whereas the original square series transformations article adapts known generating function transformations to construct integral representations for these squar…
▽ More
We consider new series expansions for variants of the so-termed ordinary geometric square series generating functions originally defined in the recent article titled "Square Series Generating Function Transformations" (arXiv: 1609.02803). Whereas the original square series transformations article adapts known generating function transformations to construct integral representations for these square series functions enumerating the square powers of $q^{n^2}$ for some fixed non-zero $q$ with $|q| < 1$, we study the expansions of these special series through power series generated by Jacobi-type continued fractions, or J-fractions. We prove new exact expansions of the $h^{th}$ convergents to these continued fraction series and show that the limiting case of these convergent generating functions exists.
We also prove new infinite $q$-series representations of special square series expansions involving square-power terms of the series parameter $q$, the $q$-Pochhammer symbol, and double sums over the $q$-binomial coefficients. Applications of the new results we prove within the article include new $q$-series representations for the ordinary generating functions of the special sequences, $r_p(n)$, and $σ_1(n)$, as well as parallels to the examples of the new integral representations for theta functions, series expansions of infinite products and partition function generating functions, and related unilateral special function series cited in the first square series transformations article.
△ Less
Submitted 17 February, 2017; v1 submitted 8 December, 2016;
originally announced December 2016.
-
Combinatorial Identities for Generalized Stirling Numbers Expanding $f$-Factorial Functions and the $f$-Harmonic Numbers
Authors:
Maxie D. Schmidt
Abstract:
We introduce a class of $f(t)$-factorials, or $f(t)$-Pochhammer symbols, that includes many, if not most, well-known factorial and multiple factorial function variants as special cases. We consider the combinatorial properties of the corresponding generalized classes of Stirling numbers of the first kind which arise as the coefficients of the symbolic polynomial expansions of these $f$-factorial f…
▽ More
We introduce a class of $f(t)$-factorials, or $f(t)$-Pochhammer symbols, that includes many, if not most, well-known factorial and multiple factorial function variants as special cases. We consider the combinatorial properties of the corresponding generalized classes of Stirling numbers of the first kind which arise as the coefficients of the symbolic polynomial expansions of these $f$-factorial functions. The combinatorial properties of these more general parameterized Stirling number triangles we prove within the article include analogs to known expansions of the ordinary Stirling numbers by $p$-order harmonic number sequences through the definition of a corresponding class of $p$-order $f$-harmonic numbers.
△ Less
Submitted 29 March, 2017; v1 submitted 15 November, 2016;
originally announced November 2016.
-
Zeta Series Generating Function Transformations Related to Generalized Stirling Numbers and Partial Sums of the Hurwitz Zeta Function
Authors:
Maxie D. Schmidt
Abstract:
We define a generalized class of modified zeta series transformations generating the partial sums of the Hurwitz zeta function and series expansions of the Lerch transcendent function. The new transformation coefficients we define within the article satisfy expansions by generalized harmonic number sequences, or the partial sums of the Hurwitz zeta function, which are analogous to known properties…
▽ More
We define a generalized class of modified zeta series transformations generating the partial sums of the Hurwitz zeta function and series expansions of the Lerch transcendent function. The new transformation coefficients we define within the article satisfy expansions by generalized harmonic number sequences, or the partial sums of the Hurwitz zeta function, which are analogous to known properties for the Stirling numbers of the first kind and for the known transformation coefficients employed to enumerate variants of the polylogarithm function series. Applications of the new results we prove in the article include new series expansions of the Dirichlet beta function, the Legendre chi function, BBP-type series identities for special constants, alternating and exotic Euler sum variants, alternating zeta functions with powers of quadratic denominators, and particular series defining special cases of the Riemann zeta function constants at the positive integers $s \geq 3$.
△ Less
Submitted 9 November, 2016; v1 submitted 3 November, 2016;
originally announced November 2016.
-
Jacobi Type Continued Fractions for the Ordinary Generating Functions of Generalized Factorial Functions
Authors:
Maxie D. Schmidt
Abstract:
The article studies a class of generalized factorial functions and symbolic product sequences through Jacobi type continued fractions (J-fractions) that formally enumerate the divergent ordinary generating functions of these sequences. The more general definitions of these J-fractions extend the known expansions of the continued fractions originally proved by Flajolet that generate the rising fact…
▽ More
The article studies a class of generalized factorial functions and symbolic product sequences through Jacobi type continued fractions (J-fractions) that formally enumerate the divergent ordinary generating functions of these sequences. The more general definitions of these J-fractions extend the known expansions of the continued fractions originally proved by Flajolet that generate the rising factorial function, or Pochhammer symbol, $(x)_n$, at any fixed non-zero indeterminate $x \in \mathbb{C}$. The rational convergents of these generalized J-fractions provide formal power series approximations to the ordinary generating functions that enumerate many specific classes of factorial-related integer product sequences.
The article also provides applications to a number of specific identities, new integer congruence relations satisfied by generalized factorial-related product sequences and the $r$-order harmonic numbers, among several other notable motivating examples as immediate applications of the new results. In this sense, the article serves as a semi-comprehensive, detailed survey reference that introduces applications to many established and otherwise well-known combinatorial identities, new cases of generating functions for factorial-function-related product sequences, and other examples of the generalized integer-valued multifactorial, or $α$-factorial, function sequences. The convergent-based generating function techniques illustrated by the particular examples cited within the article are easily extended to enumerate the factorial-like product sequences arising in the context of many other specific applications.
△ Less
Submitted 17 January, 2017; v1 submitted 30 October, 2016;
originally announced October 2016.
-
Generating Function Transformations Related to Polylogarithm Functions and the $k$-Order Harmonic Numbers
Authors:
Maxie D. Schmidt
Abstract:
We define a new class of generating function transformations related to polylogarithm functions, Dirichlet series, and Euler sums. These transformations are given by an infinite sum over the $j^{th}$ derivatives of a sequence generating function and sets of generalized coefficients satisfying a non-triangular recurrence relation in two variables. The generalized transformation coefficients share a…
▽ More
We define a new class of generating function transformations related to polylogarithm functions, Dirichlet series, and Euler sums. These transformations are given by an infinite sum over the $j^{th}$ derivatives of a sequence generating function and sets of generalized coefficients satisfying a non-triangular recurrence relation in two variables. The generalized transformation coefficients share a number of analogous properties with the Stirling numbers of the second kind and the known harmonic number expansions of the unsigned Stirling numbers of the first kind.
We prove a number of properties of the generalized coefficients which lead to new recurrence relations and summation identities for the $k$-order harmonic number sequences. Other applications of the generating function transformations we define in the article include new series expansions for the polylogarithm function, the alternating zeta function, and the Fourier series for the periodic Bernoulli polynomials. We conclude the article with a discussion of several specific new "almost" linear recurrence relations between the integer-order harmonic numbers and the generalized transformation coefficients, which provide new applications to studying the limiting behavior of the zeta function constants, $ζ(k)$, at integers $k \geq 2$.
△ Less
Submitted 30 October, 2016;
originally announced October 2016.
-
A Computer Algebra Package for Polynomial Sequence Recognition
Authors:
Maxie D. Schmidt
Abstract:
The software package developed in the MS thesis research implements functions for the intelligent guessing of polynomial sequence formulas based on user-defined expected sequence factors of the input coefficients. We present a specialized hybrid approach to finding exact representations for polynomial sequences that is motivated by the need for an automated procedures to discover the precise forms…
▽ More
The software package developed in the MS thesis research implements functions for the intelligent guessing of polynomial sequence formulas based on user-defined expected sequence factors of the input coefficients. We present a specialized hybrid approach to finding exact representations for polynomial sequences that is motivated by the need for an automated procedures to discover the precise forms of these sums based on user guidance, or intuition, as to special sequence factors present in the formulas. In particular, the package combines the user input on the expected special sequence factors in the polynomial coefficient formulas with calls to the existing functions as subroutines that then process formulas for the remaining sequence terms already recognized by these packages.
The factorization-based approach to polynomial sequence recognition is unique to this package and allows the search functions to find expressions for polynomial sums involving Stirling numbers and other special triangular sequences that are not readily handled by other software packages. In contrast to many other sequence recognition and summation software, the package not provide an explicit proof, or certificate, for the correctness of these sequence formulas -- only computationally guided educated guesses at a complete identity generating the sequence over all $n$. The thesis contains a number of concrete, working examples of the package that are intended to both demonstrate its usage and to document its current sequence recognition capabilities.
△ Less
Submitted 23 September, 2016;
originally announced September 2016.
-
Square Series Generating Function Transformations
Authors:
Maxie D. Schmidt
Abstract:
We construct new integral representations for transformations of the ordinary generating function for a sequence, $\langle f_n \rangle$, into the form of a generating function that enumerates the corresponding "square series" generating function for the sequence, $\langle q^{n^2} f_n \rangle$, at an initially fixed non-zero $q \in \mathbb{C}$. The new results proved in the article are given by int…
▽ More
We construct new integral representations for transformations of the ordinary generating function for a sequence, $\langle f_n \rangle$, into the form of a generating function that enumerates the corresponding "square series" generating function for the sequence, $\langle q^{n^2} f_n \rangle$, at an initially fixed non-zero $q \in \mathbb{C}$. The new results proved in the article are given by integral-based transformations of ordinary generating function series expanded in terms of the Stirling numbers of the second kind. We then employ known integral representations for the gamma and double factorial functions in the construction of these square series transformation integrals. The results proved in the article lead to new applications and integral representations for special function series, sequence generating functions, and other related applications. A summary Mathematica notebook providing derivations of key results and applications to specific series is provided online as a supplemental reference to readers.
△ Less
Submitted 29 March, 2017; v1 submitted 9 September, 2016;
originally announced September 2016.
