New identities involving Bernoulli and Euler polynomials

Using the finite difference calculus and differentiation, we obtain several new identities for Bernoulli and Euler polynomials; some extend Miki's and Matiyasevich's identities, while others generalize a symmetric relation observed by Woodcock and some results due to Sun.     

q-Pell sequences and two identities of V.A. Lebesgue

We examine a pair of Rogers-Ramanujan type identities of Lebesgue, and give polynomial identities for which the original identities are limiting cases. The polynomial identities turn out to be q-analogs of the Pell sequence. Finally, we provide combinatorial interpretations for the identities.     

Algebraic and multiple integral identities

In this paper we develop some identities involving symmetric products in an abstract algebra which was formerly introduced by Rimark Ree to investigate the shuffle product and relations with skew symmetric (Lie) products. His motivation was partially the characterization of homogeneous Lie polynomials in noncommuting variables, while our motivation is derived from problems in systems theory. The main link in these applications is the need for identities involving multiple integrals of functions of many variables. The relation between these identities and some of the abstract identities developed here is also worked out and some of the applications to systems theory reviewed.     

Symmetric identities on Bernoulli polynomials

In this paper, we obtain a generalization of an identity due to Carlitz on Bernoulli polynomials. Then we use this generalized formula to derive two symmetric identities which reduce to some known identities on Bernoulli polynomials and Bernoulli numbers, including the Miki identity.     

A geometric perspective on counting non-negative integer solutions and combinatorial identities

We consider the effect of constraints on the number of non-negative integer solutions of x+y+z = n, relating the number of solutions to linear combinations of triangular numbers. Our approach is geometric and may be viewed as an introduction to proofs without words. We use this geometrical perspective to prove identities by counting the number of solutions in two different ways, thereby combining combinatorial proofs and proofs without words.     

Optimal Packing Behavior of Some 2-Block Patterns

In this paper, a result of Albert, Atkinson, Handley, Holton, and Stromquist [1, Proposition 2.4] which characterizes the optimal packing behavior of the pattern 1243 is generalized in two directions. The packing densities of layered patterns of type (1.) and (1, 1, ) are computed.     

Strongly regular rings and rational identities of division rings

We look at division rings in the variety of strongly regular rings and show a connection to the study of rational identities on division rings.Research partially supported by a Grant from NSERC.     

An identity involving partitional generalized binomial coefficients

Define coefficients (_κ^λ) by C_λ(I_p + Z)/C_λ(I_p) = Σ_k=0^l Σ_{?∈$\text{P}$k} (_?^λ) C_κ(Z)/C_κ(I_p), where the C_λ's are zonal polynomials in p by p matrices. It is shown that C_?(Z) etr(Z)/k! = Σ_l=k^∞ Σ_{λ∈$\text{P}$l} (_?^λ) C_λ(Z)/l!. This identity is extended to analogous identities involving generalized Laguerre, Hermite, and other polynomials. Explicit expressions are given for all (_?^λ), ? ∈ $\text{P}$_k, k ≤ 3. Several identities involving the (_?^λ)'s are derived. These are used to derive explicit expressions for coefficients of $\text{C}{}_{\mathrm{\lambda }}\text{(Z)}\text{l}\text{!}$ in expansions of P(Z), $\text{etr}\text{(Z)}\text{k!}$ for all monomials P(Z) in s_j = tr Z^j of degree k ≤ 5.     

Generalized Levinson-Durbin sequences, binomial coefficients and autoregressive estimation

For a discrete time second-order stationary process, the Levinson-Durbin recursion is used to determine the coefficients of the best linear predictor of the observation at time k+1, given k previous observations, best in the sense of minimizing the mean square error. The coefficients determined by the recursion define a Levinson-Durbin sequence. We also define a generalized Levinson-Durbin sequence and note that binomial coefficients form a special case of a generalized Levinson-Durbin sequence. All generalized Levinson-Durbin sequences are shown to obey summation formulas which generalize formulas satisfied by binomial coefficients. Levinson-Durbin sequences arise in the construction of several autoregressive model coefficient estimators. The least squares autoregressive estimator does not give rise to a Levinson-Durbin sequence, but least squares fixed point processes, which yield least squares estimates of the coefficients unbiased to order 1/T, where T is the sample length, can be combined to construct a Levinson-Durbin sequence. By contrast, analogous fixed point processes arising from the Yule-Walker estimator do not combine to construct a Levinson-Durbin sequence, although the Yule-Walker estimator itself does determine a Levinson-Durbin sequence. The least squares and Yule-Walker fixed point processes are further studied when the mean of the process is a polynomial time trend that is estimated by least squares.     

Some trace formulae involving the split sequences of a Leonard pair

Let K denote a field, and let V denote a vector space over K with finite positive dimension. We consider a pair of linear transformations A : V → V and A^∗ : V → V that satisfy (i) and (ii) below:

(i)

There exists a basis for V with respect to which the matrix representing A is irreducible tridiagonal and the matrix representing A^∗ is diagonal.

(ii)

There exists a basis for V with respect to which the matrix representing A^∗ is irreducible tridiagonal and the matrix representing A is diagonal.

We call such a pair a Leonard pair on V. Let diag(θ₀, θ₁, … , θ_d) denote the diagonal matrix referred to in (ii) above and let denote the diagonal matrix referred to in (i) above. It is known that there exists a basis u₀, u₁, … , u_d for V and there exist scalars ?₁, ?₂, … , ?_d in K such that Au_i = θ_iu_i + u_i+1 (0 ? i ? d − 1), Au_d = θ_du_d, , . The sequence ?₁, ?₂, … , ?_d is called the first split sequence of the Leonard pair. It is known that there exists a basis v₀, v₁, … , v_d for V and there exist scalars ?₁, ?₂, … , ?_d in K such that Av_i = θ_d−iv_i + v_i+1 (0 ? i ? d − 1),Av_d = θ₀v_d, , . The sequence ?₁, ?₂, … , ?_d is called the second split sequence of the Leonard pair. We display some attractive formulae for the first and second split sequence that involve the trace function.