Some identities on the Bernoulli, Euler and Genocchi polynomials via power sums and alternate power sums

In this paper, by the generating function method, we establish various identities concerning the (higher order) Bernoulli polynomials, the (higher order) Euler polynomials, the Genocchi polynomials and the degenerate higher order Bernoulli polynomials. Particularly, some of these identities are also related to the power sums and alternate power sums. It can be found that, many well known results, especially the multiplication theorems, and some symmetric identities demonstrated recently, are special cases of our results.     

关于Bell多项式及其它的一些恒等式

本文引入了一个新的多项式,即Bell多项式.利用初等数论及组合方法,证明了包含该多项式的一些恒等式.作为这些恒等式的应用,给出了关于Bell数的同余式.     

Leading coefficients of Morris type constant term identities

The Morris constant term identity is known to be equivalent to the famous Selberg integral. In this paper, we regard Morris type constant terms as polynomials of a certain parameter. Thus, we can take the leading coefficients and obtain new identities. These identities happen to be crucial in finding lower bounds for cardinalities of some restricted sumsets, and in calculating the volume of a Tesler polytope.     

Some Identities Involving Square of Fibonacci Numbers and Lucas Numbers

By studying the properties of Chebyshev polynomials, some specific and meaningful identities for the calculation of square of Chebyshev polynomials, Fibonacci numbers and Lucas numbers are obtained.     

关于包含Hermite-Laguerre多项式的恒等式

通过讨论一类函数的高阶导数 ,建立了一些包含 Hermite-Laguerre多项式的恒等式 ,推广了著名的 Cauchy-Sheehan组合恒等式 .     

一些关于Chebyshef多项式以及它们应用的恒等式(英文)

本文研究了Chebyshef多项式的一类幂和问题.利用初等方法以及Chebyshef多项式的性质,获得了一些有趣的恒等式,推广了Melham关于Lucas数的奇数次幂和的猜想.     

A new approach to constant term identities and Selberg-type integrals

Selberg-type integrals that can be turned into constant term identities for Laurent polynomials arise naturally in conjunction with random matrix models in statistical mechanics. Built on a recent idea of Karasev and Petrov we develop a general interpolation based method that is powerful enough to establish many such identities in a simple manner. The main consequence is the proof of a conjecture of Forrester related to the Calogero–Sutherland model. In fact we prove a more general theorem, which includes Aomoto's constant term identity at the same time. We also demonstrate the relevance of the method in additive combinatorics.     

基于吴方法的几何定理证明的恒等式方法

多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计算过程的恒等式明证.这样的恒等式可以转化为其他更简明且更有直观几何意义的点几何形式或向量及其他形式,从而获得多种证明方法.这也证明了点几何恒等式明证方法对等式型几何命题的普遍有效性.     

退化高阶伯努利多项式与广义等幂和多项式的对称等式

研究了退化伯努利多项式与广义等幂和多项式的对称关系,获得了关于多个退化高阶伯努利多项式与广义等幂和多项式的若干对称关系.     

一种三对角矩阵的特征值及其应用

给出了一种三对角矩阵的特征值和特征向量的算法,利用矩阵方法和对称多项式证明了一些与Lucas数以及第一类Chebyshev多项式有关的三角恒等式.     

Identities involving Narayana polynomials and Catalan numbers

We first establish the result that the Narayana polynomials can be represented as the integrals of the Legendre polynomials. Then we represent the Catalan numbers in terms of the Narayana polynomials by three different identities. We give three different proofs for these identities, namely, two algebraic proofs and one combinatorial proof. Some applications are also given which lead to many known and new identities.     

Pascal算子矩阵在组合恒等式中的应用

定义了四种Pascal算子矩阵,给出了它们的代数性质及它们之间的关系,并且利用二项式型多项式序列、算子及哑运算得到许多组合恒等式.     

Pascal算子矩阵在组合恒等式中的应用(英文)

定义了四种Pascal算子矩阵,给出了它们的代数性质及它们之间的关系,并且利用二项式型多项式序列、算子及哑运算得到许多组合恒等式.     

On an Identity of Mahler

We prove that certain multiple integrals depending on the complex parameter z can be expressed as polynomials in z and ln(1 ? z). Similar identities were first used by K. Mahler in connection with the proofs of certain results of the theory of transcendental numbers.     

Degenerate Bernoulli polynomials, generalized factorial sums, and their applications

We prove a general symmetric identity involving the degenerate Bernoulli polynomials and sums of generalized falling factorials, which unifies several known identities for Bernoulli and degenerate Bernoulli numbers and polynomials. We use this identity to describe some combinatorial relations between these polynomials and generalized factorial sums. As further applications we derive several identities, recurrences, and congruences involving the Bernoulli numbers, degenerate Bernoulli numbers, generalized factorial sums, Stirling numbers of the first kind, Bernoulli numbers of higher order, and Bernoulli numbers of the second kind.     

The method of combinatorial telescoping

We present a method for proving q-series identities by combinatorial telescoping, in the sense that one can transform a bijection or a classification of combinatorial objects into a telescoping relation. We shall illustrate this method by giving a combinatorial derivation of Watson's identity, which implies the Rogers-Ramanujan identities.     

Identities of symmetry for higher-order Euler polynomials in three variables (II)

We derive twenty five basic identities of symmetry in three variables related to higher-order Euler polynomials and alternating power sums. This demonstrates that there are abundant identities of symmetry in three-variable case, in contrast to two-variable case, where there are only a few. These are all new, since there have been results only about identities of symmetry in two variables. The derivations of identities are based on the p-adic integral expression of the generating function for the higher-order Euler polynomials and the quotient of integrals that can be expressed as the exponential generating function for the alternating power sums.     

关于Lucas多项式平方和的恒等式

利用广义Lucas多项式L n(x,y)的性质,通过构造组合和式T n(x,y;tx2),结合Bernoulli多项式的生成函数和Euler多项式的生成函数,采用分析学中的方法,得到两个有关L2n(x,y)的恒等式.并从这一结果出发,得到了两个推论,推广了相关文献的一些结果.     

The Combinatorics of Laguerre,Charlier, and Hermite Polynomials

This paper describes several combinatorial models for Laguerre, Charlier, and Hermite polynomials, and uses them to prove combinatorially some classical formulas. The so-called “Italian limit formula” (from Laguerre to Hermite), the Appel identity for Hermite polynomials, and the two Sheffer identities for Laguerre and Charlier polynomials are proved. We also give bijective proofs of the three-term recurrences. These three families form the bottom triangle in R. Askey's chart classifying hypergeometric orthogonal polynomials.     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.