Let p > 3 be a prime, and let Rₚ be the set of rational numbers whose denominator is not divisible by p. Let Pₙ(x) be the Legendre polynomials. In this paper we mainly show that for m,n,t ∈ Rₚ with m≢ 0 (mod p), $P_{[p/6]}\left(t\right)\equiv -(3/p){\sum }_{x=0}^{p-1}((x³-3x+2t)/p)\left(modp\right)$ and $\left({\sum }_{x=0}^{p-1}((x³+mx+n)/p)\right)²\equiv ((-3m)/p){\sum }_{k=0}^{[p/6]}\left(\genfrac{}{}{0pt}{}{2k}{k}\right)\left(\genfrac{}{}{0pt}{}{3k}{k}\right)\left(\genfrac{}{}{0pt}{}{6k}{3k}\right){((4m³+27n²)/\left(12³·4m³\right))}^k\left(modp\right)$, where (a/p) is the Legendre symbol and [x] is the greatest integer function. As an application we solve some conjectures of Z. W. Sun and the author concerning ${\sum }_{k=0}^{p-1}\left(\genfrac{}{}{0pt}{}{2k}{k}\right)\left(\genfrac{}{}{0pt}{}{3k}{k}\right)\left(\genfrac{}{}{0pt}{}{6k}{3k}\right)/m^k\left(modp²\right)$, where m is an integer not divisible by p.

Certain generating fuctions for multiple zeta values are expressed as values at some point of solutions of linear meromorphic differential equations. We apply asymptotic expansion methods (like the WKB method and the Stokes operators) to solutions of these equations. In this way we give a new proof of the Euler formula ζ(2) = π²/6. In further papers we plan to apply this method to study some third order hypergeometric equation related to ζ(3).

For $x\in ℂ$, $\left|x\right|\<1$, $s\in \mathbb{N}$, let ${\mathrm{Li}}_s\left(x\right)$ be the $s$-th polylogarithm of $x$. We prove that for any non-zero algebraic number $\alpha$ such that $\left|\alpha \right|\<1$, the $\mathbb{Q}\left(\alpha \right)$-vector space spanned by $1,{\mathrm{Li}}_1\left(\alpha \right),{\mathrm{Li}}_2\left(\alpha \right),\cdots$ has infinite dimension. This result extends a previous one by Rivoal for rational $\alpha$. The main tool is a method introduced by Fischler and Rivoal, which shows the coefficients of the polylogarithms in the relevant series to be the unique solution of a suitable Padé approximation problem.

A procedure is proposed in order to expand $w={\prod }_{j=1}^N{P}_{i_j}\left(x\right)={\sum }_{k=0}^M{L}_k{P}_k\left(x\right)$ where $P_i\left(x\right)$ belongs to aclassical orthogonal polynomial sequence (Jacobi, Bessel, Laguerre and Hermite) ($M={\sum }_{j=1}^N{i}_j$). We first derive a linear differential equation of order $2^N$ satisfied by w, fromwhich we deduce a recurrence relation in k for the linearizationcoefficients $L_k$. We develop in detail the two cases ${\left[P_i\left(x\right)\right]}^N$, $P_i\left(x\right)P_j\left(x\right)P_k\left(x\right)$ and give the recurrencerelation in some cases (N=3,4), when the polynomials $P_i\left(x\right)$are monic Hermite orthogonal polynomials.

Let $P_k$ be any sequence of classical orthogonal polynomials of a discrete variable. We give explicitly a recurrence relation (in k) for the coefficients in $P_i{P}_j={\sum }_{k}c(i,j,k)P_k$, in terms of the coefficients σ and τ of the Pearson equation satisfied by the weight function ϱ, and the coefficients of the three-term recurrence relation and of two structure relations obeyed by $P_k$.

The main object of this paper is to investigate several general families of hypergeometric polynomials and their associated multiple integral representations. By suitably specializing our main results, the corresponding integral representations are deduced for such familiar classes of hypergeometric polynomials as (for example) the generalized Bedient polynomials of the first and second kinds. Each of the integral representations, which are derived in this paper, may be viewed also as a linearization...

The extremal functions f0(z) realizing the maxima of some functionals (e.g. max |a3|, and max arg f′(z)) within the so-called universal linearly invariant family Uα (in the sense of Pommerenke [10]) have such a form that f′0(z) looks similar to generating function for Meixner-Pollaczek (MP) polynomials [2], [8]. This fact gives motivation for the definition and study of the generalized Meixner-Pollaczek (GMP) polynomials Pλn (x; θ,ψ) of a real variable x as coefficients of [###] where the parameters...