Abstract
In this article, the authors present two identities involving products of the Bernoulli numbers, provide four alternative proofs for these two identities, derive two closed-form formulas for the Bernoulli numbers in terms of central factorial numbers of the second kind, and supply simple proofs of series expansions of (hyperbolic) cosecant and cotangent functions.
1 Introduction
The Bernoulli numbers
More generally, the Bernoulli polynomials
for
The central factorial numbers of the second kind
In [7, Chapter 6, equation (26)], it was established that
with
In this article, we present two identities involving the products
2 The first identity and its two proofs
At the site https://www.researchgate.net/post/How_can_I_compute_the_symbolic_expression_of_the_Taylor_series_of_x2cscxcschx, Roudy El Haddad asked a question: How can I compute the symbolic expression of the Taylor series of
Theorem 2.1
For
For
First proof
On page 42 in the handbook [11], the series expansions
and
for
for
Since the function
Making use of identity (2.1) and the fact that
listed in [12, p. 805, 23.1.15], we finally deduce
for
Identity (2.1) was also announced as a question at https://mathoverflow.net/q/419493/ for a reference or a proof of it. At the site https://mathoverflow.net/a/419498/, Alapan Das (adas2001.suri@gmail.com, https://stackexchange.com/users/14939952/alapan-das) at West Bengal in India provided an alternative proof of identity (2.1). For completeness, we recite Das’ proof with slight modifications as follows.
Second proof
Let
The left-hand side of identity (2.1) can be broken into four parts as
The first part is
at
3 The second identity and its two proofs
The second identity involving the products
Theorem 3.1
For
First proof
It is known that
Hence, making use of the series expansions (2.3) and (2.4) and considering the series expansions
and
for
and
for
or
and comparing coefficients of the terms
Identity (3.1) was also posted as a question at https://mathoverflow.net/q/419528/for an alternative proof. At the website https://mathoverflow.net/a/419561/, an anonymous mathematician EFinat-S (https://stackexchange.com/users/10780809/efinat-s) gave a proof of identity (3.1). For comparison, we recite EFinat-S’ proof with slight modifications as follows.
Second proof
The Bernoulli polynomials
which can be proved using the definition of
See also [13, p. 595, 24.14.2]. Especially when
Since
Hence, we acquire
If
which proves identity (3.1).
4 Two closed-form formulas for Bernoulli numbers
In this section, basing on Theorems 2.1 and 3.1 and their proofs, we derive two closed-form formulas for the Bernoulli numbers
Theorem 4.1
For
and
where
Proof
In [14, Theorem 4.1], it was established that, when
is convergent in
Taking
for
Letting
for
and
for
for
for
which can be reformulated as
Substituting (4.1) into (4.7) leads to
Finally, identity (4.8) can be reformulated as
where we used formula (4.1). Consequently, the explicit formula (4.2) is derived. Theorem 4.1 is thus proved.□
5 Simple proofs of series expansions of cosecant and cotangent
In this section, we supply simple proofs of series expansions (2.3), (2.4), (3.2), and (3.3) for (hyperbolic) cosecant and cotangent functions by the Euler formula in complex analysis.
At the site https://math.stackexchange.com/a/4427590/, there is a simple proof of the series expansion (2.3). We quote it with slight modifications as follows:
By the Euler formula
we find the relation
Then,
for
A similar and independent proof of the series expansion (2.3) is at the site https://math.stackexchange.com/a/649039/.
Since the relation
As done in the above proof of the series expansion (2.3), we have
for
From the relation
6 Conclusion
In this article, we presented two identities (2.1) and (3.1) in Theorems 2.1 and 3.1, in which the products
Acknowledgment
The authors are thankful to anonymous referees for their careful corrections to and helpful comments on the original version of this article.
-
Funding information: The first two authors, X.-Y. Chen and L. Wu, were supported by the College Scientific Research Project of Inner Mongolia (Grant No. NJZZ19144 and Grant No. NJZY19156), the Development Plan for Young Technological Talents in Colleges and Universities of Inner Mongolia (Grant No. NJYT22051), the Natural Science Foundation Project of Inner Mongolia (Grant No. 2021LHMS05030), the Basic Scientific Research Business Expense Project of Colleges and Universities Directly Under Inner Mongolia Autonomous Region (Grant No. GXKY22045), the Intelligent Agricultural Machinery Equipment and Technology Team of Inner Mongolia Minzu University, the Teaching Team of “Fundamentals of Control Engineering”, and the National Natural Science Foundation of China (Grant No. 61440041). The third and corresponding author, D. Lim, was supported by the National Research Foundation of Korea under Grant NRF-2021R1C1C1010902, Republic of Korea.
-
Author contributions: The authors have accepted responsibility for the entire content of this manuscript and approved its submission.
-
Conflict of interest: The authors declare that they have no conflict of competing interests.
-
Data availability statement: Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
-
Ethical approval: The conducted research is not related to either human or animal use.
References
[1] N. M. Temme, Special Functions: An Introduction to Classical Functions of Mathematical Physics, A Wiley-Interscience Publication, John Wiley & Sons, Inc., New York, 1996, http://dx.doi.org/10.1002/9781118032572. Search in Google Scholar
[2] F. Qi, A double inequality for the ratio of two non-zero neighbouring Bernoulli numbers, J. Comput. Appl. Math. 351 (2019), 1–5, https://doi.org/10.1016/j.cam.2018.10.049. Search in Google Scholar
[3] F. Qi, On signs of certain Toeplitz-Hessenberg determinants whose elements involve Bernoulli numbers, Contrib. Discrete Math. 18 (2023), no. 1, in press.10.55016/ojs/cdm.v18i2.73022Search in Google Scholar
[4] Y. Shuang, B.-N. Guo, and F. Qi, Logarithmic convexity and increasing property of the Bernoulli numbers and their ratios, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 115 (2021), no. 3, Paper No. 135, 12 pages, https://doi.org/10.1007/s13398-021-01071-x. Search in Google Scholar
[5] P. L. Butzer, M. Schmidt, E. L. Stark, and L. Vogt, Central factorial numbers; their main properties and some applications, Numer. Funct. Anal. Optim. 10 (1989), no. 5–6, 419–488, https://doi.org/10.1080/01630568908816313. Search in Google Scholar
[6] M. Merca, Connections between central factorial numbers and Bernoulli polynomials, Period. Math. Hungar. 73 (2016), no. 2, 259–264, https://doi.org/10.1007/s10998-016-0140-5. Search in Google Scholar
[7] J. Riordan, Combinatorial Identities, Reprint of the 1968 original, Robert E. Krieger Publishing Co., Huntington, N.Y., 1979. Search in Google Scholar
[8] F. Qi and B.-N. Guo, Relations among Bell polynomials, central factorial numbers, and central Bell polynomials, Math. Sci. Appl. E-Notes 7 (2019), no. 2, 191–194, https://doi.org/10.36753/mathenot.566448. Search in Google Scholar
[9] F. Qi, G.-S. Wu, and B.-N. Guo, An alternative proof of a closed formula for central factorial numbers of the second kind, Turk. J. Anal. Number Theory 7 (2019), no. 2, 56–58, https://doi.org/10.12691/tjant-7-2-5. Search in Google Scholar
[10] R. E. Haddad, A generalization of multiple zeta values. Part 2: Multiple sums, Notes Number Theory Discrete Math. 28 (2022), no. 2, 200–233, https://doi.org/10.7546/nntdm.2022.28.2.200-233. Search in Google Scholar
[11] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, Translated from the Russian, Translation edited and with a preface by Daniel Zwillinger and Victor Moll, Eighth edition, Revised from the seventh edition, Elsevier/Academic Press, Amsterdam, 2015, https://doi.org/10.1016/B978-0-12-384933-5.00013-8. Search in Google Scholar
[12] M. Abramowitz and I. A. Stegun (Eds), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, National Bureau of Standards, Applied Mathematics Series 55, 10th printing, Washington, 1972. Search in Google Scholar
[13] F. W. J. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark (Eds), NIST Handbook of Mathematical Functions, Cambridge University Press, New York, 2010, http://dlmf.nist.gov/. Search in Google Scholar
[14] F. Qi and P. Taylor, Several series expansions for real powers and several formulas for partial Bell polynomials of sinc and sinhc functions in terms of central factorial and Stirling numbers of second kind, arXiv (2022), available online at https://arxiv.org/abs/2204.05612v4. Search in Google Scholar
© 2022 Xue-Yan Chen et al., published by De Gruyter
This work is licensed under the Creative Commons Attribution 4.0 International License.
Articles in the same Issue
- Regular Articles
- On some summation formulas
- A study of a meromorphic perturbation of the sine family
- Asymptotic behavior of even-order noncanonical neutral differential equations
- Unconditionally positive NSFD and classical finite difference schemes for biofilm formation on medical implant using Allen-Cahn equation
- Starlike and convexity properties of q-Bessel-Struve functions
- Mathematical modeling and optimal control of the impact of rumors on the banking crisis
- On linear chaos in function spaces
- Convergence of generalized sampling series in weighted spaces
- Persistence landscapes of affine fractals
- Inertial iterative method with self-adaptive step size for finite family of split monotone variational inclusion and fixed point problems in Banach spaces
- Various notions of module amenability on weighted semigroup algebras
- Regularity and normality in hereditary bi m-spaces
- On a first-order differential system with initial and nonlocal boundary conditions
- On solving pseudomonotone equilibrium problems via two new extragradient-type methods under convex constraints
- Local linear approach: Conditional density estimate for functional and censored data
- Some properties of graded generalized 2-absorbing submodules
- Eigenvalue inclusion sets for linear response eigenvalue problems
- Some integral inequalities for generalized left and right log convex interval-valued functions based upon the pseudo-order relation
- More properties of generalized open sets in generalized topological spaces
- An extragradient inertial algorithm for solving split fixed-point problems of demicontractive mappings, with equilibrium and variational inequality problems
- An accurate and efficient local one-dimensional method for the 3D acoustic wave equation
- On a weighted elliptic equation of N-Kirchhoff type with double exponential growth
- On split feasibility problem for finite families of equilibrium and fixed point problems in Banach spaces
- Entire and meromorphic solutions for systems of the differential difference equations
- Multiplication operators on the Banach algebra of bounded Φ-variation functions on compact subsets of ℂ
- Mannheim curves and their partner curves in Minkowski 3-space E13
- Characterizations of the group invertibility of a matrix revisited
- Iterates of q-Bernstein operators on triangular domain with all curved sides
- Data analysis-based time series forecast for managing household electricity consumption
- A robust study of the transmission dynamics of zoonotic infection through non-integer derivative
- A Dai-Liao-type projection method for monotone nonlinear equations and signal processing
- Review Article
- Remarks on some variants of minimal point theorem and Ekeland variational principle with applications
- Special Issue on Recent Methods in Approximation Theory - Part I
- Coupled fixed point theorems under new coupled implicit relation in Hilbert spaces
- Approximation of integrable functions by general linear matrix operators of their Fourier series
- Sharp sufficient condition for the convergence of greedy expansions with errors in coefficient computation
- Approximation of conic sections by weighted Lupaş post-quantum Bézier curves
- On the generalized growth and approximation of entire solutions of certain elliptic partial differential equation
- Existence results for ABC-fractional BVP via new fixed point results of F-Lipschitzian mappings
- Linear barycentric rational collocation method for solving biharmonic equation
- A note on the convergence of Phillips operators by the sequence of functions via q-calculus
- Taylor’s series expansions for real powers of two functions containing squares of inverse cosine function, closed-form formula for specific partial Bell polynomials, and series representations for real powers of Pi
- Special Issue on Recent Advances in Fractional Calculus and Nonlinear Fractional Evaluation Equations - Part I
- Positive solutions for fractional differential equation at resonance under integral boundary conditions
- Source term model for elasticity system with nonlinear dissipative term in a thin domain
- A numerical study of anomalous electro-diffusion cells in cable sense with a non-singular kernel
- On Opial-type inequality for a generalized fractional integral operator
- Special Issue on Advances in Integral Transforms and Analysis of Differential Equations with Applications
- Mathematical analysis of a MERS-Cov coronavirus model
- Rapid exponential stabilization of nonlinear continuous systems via event-triggered impulsive control
- Novel soliton solutions for the fractional three-wave resonant interaction equations
- The multistep Laplace optimized decomposition method for solving fractional-order coronavirus disease model (COVID-19) via the Caputo fractional approach
- Special Issue on Problems, Methods and Applications of Nonlinear Analysis
- Some recent results on singular p-Laplacian equations
- Infinitely many solutions for quasilinear Schrödinger equations with sign-changing nonlinearity without the aid of 4-superlinear at infinity
- Special Issue on Recent Advances for Computational and Mathematical Methods in Scientific Problems
- Existence of solutions for a nonlinear problem at resonance
- Asymptotic stability of solutions for a diffusive epidemic model
- Special Issue on Computational and Numerical Methods for Special Functions - Part I
- Fully degenerate Bernoulli numbers and polynomials
- Wigner-Ville distribution and ambiguity function associated with the quaternion offset linear canonical transform
- Some identities related to degenerate Stirling numbers of the second kind
- Two identities and closed-form formulas for the Bernoulli numbers in terms of central factorial numbers of the second kind
- λ-q-Sheffer sequence and its applications
- Special Issue on Fixed Point Theory and Applications to Various Differential/Integral Equations - Part I
- General decay for a nonlinear pseudo-parabolic equation with viscoelastic term
- Generalized common fixed point theorem for generalized hybrid mappings in Hilbert spaces
- Computation of solution of integral equations via fixed point results
- Characterizations of quasi-metric and G-metric completeness involving w-distances and fixed points
- Notes on continuity result for conformable diffusion equation on the sphere: The linear case
Articles in the same Issue
- Regular Articles
- On some summation formulas
- A study of a meromorphic perturbation of the sine family
- Asymptotic behavior of even-order noncanonical neutral differential equations
- Unconditionally positive NSFD and classical finite difference schemes for biofilm formation on medical implant using Allen-Cahn equation
- Starlike and convexity properties of q-Bessel-Struve functions
- Mathematical modeling and optimal control of the impact of rumors on the banking crisis
- On linear chaos in function spaces
- Convergence of generalized sampling series in weighted spaces
- Persistence landscapes of affine fractals
- Inertial iterative method with self-adaptive step size for finite family of split monotone variational inclusion and fixed point problems in Banach spaces
- Various notions of module amenability on weighted semigroup algebras
- Regularity and normality in hereditary bi m-spaces
- On a first-order differential system with initial and nonlocal boundary conditions
- On solving pseudomonotone equilibrium problems via two new extragradient-type methods under convex constraints
- Local linear approach: Conditional density estimate for functional and censored data
- Some properties of graded generalized 2-absorbing submodules
- Eigenvalue inclusion sets for linear response eigenvalue problems
- Some integral inequalities for generalized left and right log convex interval-valued functions based upon the pseudo-order relation
- More properties of generalized open sets in generalized topological spaces
- An extragradient inertial algorithm for solving split fixed-point problems of demicontractive mappings, with equilibrium and variational inequality problems
- An accurate and efficient local one-dimensional method for the 3D acoustic wave equation
- On a weighted elliptic equation of N-Kirchhoff type with double exponential growth
- On split feasibility problem for finite families of equilibrium and fixed point problems in Banach spaces
- Entire and meromorphic solutions for systems of the differential difference equations
- Multiplication operators on the Banach algebra of bounded Φ-variation functions on compact subsets of ℂ
- Mannheim curves and their partner curves in Minkowski 3-space E13
- Characterizations of the group invertibility of a matrix revisited
- Iterates of q-Bernstein operators on triangular domain with all curved sides
- Data analysis-based time series forecast for managing household electricity consumption
- A robust study of the transmission dynamics of zoonotic infection through non-integer derivative
- A Dai-Liao-type projection method for monotone nonlinear equations and signal processing
- Review Article
- Remarks on some variants of minimal point theorem and Ekeland variational principle with applications
- Special Issue on Recent Methods in Approximation Theory - Part I
- Coupled fixed point theorems under new coupled implicit relation in Hilbert spaces
- Approximation of integrable functions by general linear matrix operators of their Fourier series
- Sharp sufficient condition for the convergence of greedy expansions with errors in coefficient computation
- Approximation of conic sections by weighted Lupaş post-quantum Bézier curves
- On the generalized growth and approximation of entire solutions of certain elliptic partial differential equation
- Existence results for ABC-fractional BVP via new fixed point results of F-Lipschitzian mappings
- Linear barycentric rational collocation method for solving biharmonic equation
- A note on the convergence of Phillips operators by the sequence of functions via q-calculus
- Taylor’s series expansions for real powers of two functions containing squares of inverse cosine function, closed-form formula for specific partial Bell polynomials, and series representations for real powers of Pi
- Special Issue on Recent Advances in Fractional Calculus and Nonlinear Fractional Evaluation Equations - Part I
- Positive solutions for fractional differential equation at resonance under integral boundary conditions
- Source term model for elasticity system with nonlinear dissipative term in a thin domain
- A numerical study of anomalous electro-diffusion cells in cable sense with a non-singular kernel
- On Opial-type inequality for a generalized fractional integral operator
- Special Issue on Advances in Integral Transforms and Analysis of Differential Equations with Applications
- Mathematical analysis of a MERS-Cov coronavirus model
- Rapid exponential stabilization of nonlinear continuous systems via event-triggered impulsive control
- Novel soliton solutions for the fractional three-wave resonant interaction equations
- The multistep Laplace optimized decomposition method for solving fractional-order coronavirus disease model (COVID-19) via the Caputo fractional approach
- Special Issue on Problems, Methods and Applications of Nonlinear Analysis
- Some recent results on singular p-Laplacian equations
- Infinitely many solutions for quasilinear Schrödinger equations with sign-changing nonlinearity without the aid of 4-superlinear at infinity
- Special Issue on Recent Advances for Computational and Mathematical Methods in Scientific Problems
- Existence of solutions for a nonlinear problem at resonance
- Asymptotic stability of solutions for a diffusive epidemic model
- Special Issue on Computational and Numerical Methods for Special Functions - Part I
- Fully degenerate Bernoulli numbers and polynomials
- Wigner-Ville distribution and ambiguity function associated with the quaternion offset linear canonical transform
- Some identities related to degenerate Stirling numbers of the second kind
- Two identities and closed-form formulas for the Bernoulli numbers in terms of central factorial numbers of the second kind
- λ-q-Sheffer sequence and its applications
- Special Issue on Fixed Point Theory and Applications to Various Differential/Integral Equations - Part I
- General decay for a nonlinear pseudo-parabolic equation with viscoelastic term
- Generalized common fixed point theorem for generalized hybrid mappings in Hilbert spaces
- Computation of solution of integral equations via fixed point results
- Characterizations of quasi-metric and G-metric completeness involving w-distances and fixed points
- Notes on continuity result for conformable diffusion equation on the sphere: The linear case