The Riemann-Hilbert approach to strong asymptotics for orthogonal polynomials on [−1,1]

We consider polynomials that are orthogonal on [−1,1] with respect to a modified Jacobi weight (1−x)^α(1+x)^βh(x), with α,β>−1 and h real analytic and strictly positive on [−1,1]. We obtain full asymptotic expansions for the monic and orthonormal polynomials outside the interval [−1,1], for the recurrence coefficients and for the leading coefficients of the orthonormal polynomials. We also deduce asymptotic behavior for the Hankel determinants and for the monic orthogonal polynomials on the interval [−1,1]. For the asymptotic analysis we use the steepest descent technique for Riemann-Hilbert problems developed by Deift and Zhou, and applied to orthogonal polynomials on the real line by Deift, Kriecherbauer, McLaughlin, Venakides, and Zhou. In the steepest descent method we will use the Szeg? function associated with the weight and for the local analysis around the endpoints ±1 we use Bessel functions of appropriate order, whereas Deift et al. use Airy functions.     

Recurrence relations for the coefficients of the Fourier series expansions with respect to q-classical orthogonal polynomials

We propose an algorithm to construct recurrence relations for the coefficients of the Fourier series expansions with respect to the q-classical orthogonal polynomials p_k(x;q). Examples dealing with inversion problems, connection between any two sequences of q-classical polynomials, linearization of ϑ_m(x) p_n(x;q), where ϑ_m(x) is x^mor (x;q)_m, and the expansion of the Hahn-Exton q-Bessel function in the little q-Jacobi polynomials are discussed in detail. This revised version was published online in June 2006 with corrections to the Cover Date.     

Differential operators associated with zonal polynomials. II

Summary LetC _κ(S) be the zonal polynomial of the symmetricm×m matrixS=(s_ij), corresponding to the partition κ of the non-negative integerk. If ∂/∂S is them×m matrix of differential operators with (i, j)th entry ((1+δ_ij)∂/∂s_ij)/2, δ being Kronecker's delta, we show that C_k(∂/∂S)C_λ(S)=k!δ_λkC_k(I), where λ is a partition ofk. This is used to obtain new orthogonality relations for the zonal polynomials, and to derive expressions for the coefficients in the zonal polynomial expansion of homogenous symmetric polynomials.     

Pseudozero Set of Real Multivariate Polynomials

The pseudozero set of a system P of polynomials in n variables is the subset of C ⁿ consisting of the union of the zeros of all polynomial systems Q that are near to P in a suitable sense. This concept arises naturally in Scientific Computing where data often have a limited accuracy. When the polynomials of the system are polynomials with complex coefficients, the pseudozero set has already been studied. In this paper, we focus on the case where the polynomials of the system have real coefficients and such that all the polynomials in all the perturbed polynomial systems have real coefficients as well. We provide an explicit definition to compute this pseudozero set. At last, we analyze different methods to visualize this set.      

On the Fourier transform of SO(d)-finite measures on the unit sphere

The paper presents a simple new approach to the problem of computing Fourier transforms of SO(d)-finite measures on the unit sphere in the euclidean space. Representing such measures as restrictions of homogeneous polynomials we use the canonical decomposition of homogeneous polynomials together with the plane wave expansion to derive a formula expressing such transforms under two forms, one of which was established previously by F. J. Gonzalez Vieli. We showthat equivalence of these two forms is related to a certain multi-step recurrence relation for Bessel functions, which encompasses several classical identities satisfied by Bessel functions. We show it leads further to a certain periodicity relation for the Hankel transform, related to the Bochner- Coifman periodicity relation for the Fourier transform. The purported novelty of this approach rests on the systematic use of the detailed form of the canonical decomposition of homogeneous polynomials, which replaces the more traditional approach based on integral identities related to the Funk-Hecke theorem. In fact, in the companion paper the present authors were able to deduce this way a fairly general expansion theorem for zonal functions, which includes the plane wave expansion used here as a special case.Received: 7 May 2004; revised: 11 October 2004     

On spherical expansions of zonal functions on Euclidean spheres

This paper describes a new approach to the problem of computing spherical expansions of zonal functions on Euclidean spheres. We derive an explicit formula for the coefficients of the expansion expressing them in terms of the Taylor coefficients of the profile function rather than (as done usually) in terms of its integrals against Gegenbauer polynomials. Our proof of this result is based on a polynomial identity equivalent to the canonical decomposition of homogeneous polynomials and uses only basic properties of this decomposition together with simple facts concerning zonal harmonic polynomials. As corollaries, we obtain direct and apparently new derivations of the so-called plane wave expansion and of the expansion of the Poisson kernel for the unit ball. Received: 26 January 2007     

Theq-gamma function forx<0

F. H. Jackson defined aq analogue of the gamma function which extends theq-factorial (n!) _q =1(1+q)(1+q+q ²)...(1+q+q ²+...+q ^n–1) to positivex. Askey studied this function and obtained analogues of most of the classical facts about the gamma function, for 0<q<1. He proved an analogue of the Bohr-Mollerup theorem, which states that a logarithmically convex function satisfyingf(1)=1 andf(x+1)=[(q ^x –1)/(q–1)]f(x) is in fact theq-gamma function He also studied the behavior of _q asq changes and showed that asq1^–, theq-gamma function becomes the ordinary gamma function forx>0.I proved many of these results forq>1. The current paper contains a study of the behavior of _q (x) forx<0 and allq>0. In addition to some basic properties of _q , we will study the behavior of the sequence {x _n (q)} of critical points asn orq changes.     

An Adaptive Compression Algorithm in Besov Spaces

Given a function f on [0,1] and a wavelet-type expansion of f , we introduce a new algorithm providing an approximation $\tilde f of f with a prescribed number D of nonzero coefficients in its expansion. This algorithm depends only on the number of coefficients to be kept and not on any smoothness assumption on f . Nevertheless it provides the optimal rate D ^-α of approximation with respect to the L _q -norm when f belongs to some Besov space B ^α _p,∈fty whenever α>(1/p-1/q) ⁺ . These results extend to more general expansions including splines and piecewise polynomials and to multivariate functions. Moreover, this construction allows us to compute easily the metric entropy of Besov balls. June 21, 1996. Dates revised: April 9, 1998; October 14, 1998. Date accepted: October 20, 1998.     

Some combinatorial conjectures for shifted Jack polynomials

We present several combinatorial conjectures related to Jack generalized binomial coefficients, or equivalently to shifted Jack polynomials. We prove these conjectures when the degree of these polynomials is 5.     

Sur les équations fonctionnelles aux itérées

Summary We study solutions of functional equationsP(f ^[10] ,,f ^[s] ) = 0, whereP is a non zero polynomial ins + 1 variables andf ^[k] denotes thekth iterate of a functionf. We deal with three distinct cases: first,f is an entire function of a complex variable, we show then thatf is a polynomial. Second, we also prove thatf is a polynomial if it is an entire function of ap-adic variable. Third, we considerf a formal power series with coefficients in a number fieldK; subject to some apparently natural restrictions onf and onP, we find thatf is an algebraic power series over the ring of polynomials inK[x].

---

Sur les équations fonctionnelles aux itérées

     

Multiple Orthogonal Polynomials Associated with the Modified Bessel Functions of the First Kind

   Abstract. We consider polynomials which are orthogonal with respect to weight functions, which are defined in terms of the modified Bessel function I _ν and which are related to the noncentral χ ² -distribution. It turns out that it is the most convenient to use two weight functions with indices ν and ν+1 and to study orthogonality with respect to these two weights simultaneously. We show that the corresponding multiple orthogonal polynomials of type I and type II exist and give several properties of these polynomials (differential properties, Rodrigues formula, explicit formulas, recurrence relation, differential equation, and generating functions).     

Sobolev inner products and orthogonal polynomials of Sobolev type

This survey paper deals with polynomials which are orthogonal with respect to scalar products of the form _R F ^T[A]G withF ^T=[f(x), f(Ⅎ(x),...f ^(y)(x)], [A] A _ji =A _ji =A _ij =d _ji (I _ji ) where d _ji is a measure of supportI _ij and [A] is positive semi-definite. Basic properties are indicated or proved in particular cases.     

Properties of a special class of doubly stochastic measures

Summary A measure on the unit squareI } I is doubly stochastic if(A } I) = (I } A) = the Lebesgue measure ofA for every Lebesgue measurable subsetA ofI = [0, 1]. By the hairpinL L ^–1, we mean the union of the graphs of an increasing homeomorphismL onI and its inverseL ^–1. By the latticework hairpin generated by a sequence {x _n :n Z} such thatx _n-1 < x_n (n Z), x _n = 0 and x _n = 1, we mean the hairpinL L ^–1 , whereL is linear on [x _n-1 ,x _n ] andL(n) =x _n-1 forn Z. In this note, a characterization of latticework hairpins which support doubly stochastic measures is given. This allows one to construct a variety of concrete examples of such measures. In particular, examples are given, disproving J. H. B. Kemperman's conjecture concerning a certain condition for the existence of doubly stochastic measures supported in hairpins.     

Minimizing bumps in linear extensions of ordered sets

A linear extension x ₁ x ₂ x ₃ ... of a partially ordered set (X, <) has a bump whenever x _i <x _i +1. We examine the problem of determining linear extensions with as few bumps as possible. Heuristic algorithms for approximate bump minimization are considered.     

Spreading lengths of Hermite polynomials

The Renyi, Shannon and Fisher spreading lengths of the classical or hypergeometric orthogonal polynomials, which are quantifiers of their distribution all over the orthogonality interval, are defined and investigated. These information-theoretic measures of the associated Rakhmanov probability density, which are direct measures of the polynomial spreading in the sense of having the same units as the variable, share interesting properties: invariance under translations and reflections, linear scaling and vanishing in the limit that the variable tends towards a given definite value. The expressions of the Renyi and Fisher lengths for the Hermite polynomials are computed in terms of the polynomial degree. The combinatorial multivariable Bell polynomials, which are shown to characterize the finite power of an arbitrary polynomial, play a relevant role for the computation of these information-theoretic lengths. Indeed these polynomials allow us to design an error-free computing approach for the entropic moments (weighted L^q-norms) of Hermite polynomials and subsequently for the Renyi and Tsallis entropies, as well as for the Renyi spreading lengths. Sharp bounds for the Shannon length of these polynomials are also given by means of an information-theoretic-based optimization procedure. Moreover, the existence of a linear correlation between the Shannon length (as well as the second-order Renyi length) and the standard deviation is computationally proved. Finally, the application to the most popular quantum-mechanical prototype system, the harmonic oscillator, is discussed and some relevant asymptotical open issues related to the entropic moments, mentioned previously, are posed.     

A note on the zeros of Freud–Sobolev orthogonal polynomials

We prove that the zeros of a certain family of Sobolev orthogonal polynomials involving the Freud weight function e^-x4${\mathrm{e}}^{-x^4}$ on R$\mathbb{R}$ are real, simple, and interlace with the zeros of the Freud polynomials, i.e., those polynomials orthogonal with respect to the weight function e^-x4${\mathrm{e}}^{-x^4}$. Some numerical examples are shown.     

Meixner polynomials in several variables satisfying bispectral difference equations

We construct a set _Md${\mathfrak{M}}_d$ whose points parametrize families of Meixner polynomials in d   variables. There is a natural bispectral involution b$\mathfrak{b}$ on _Md${\mathfrak{M}}_d$ which corresponds to a symmetry between the variables and the degree indices of the polynomials. We define two sets of d   commuting partial difference operators diagonalized by the polynomials. One of the sets consists of difference operators acting on the variables of the polynomials and the other one on their degree indices, thus proving their bispectrality. The two sets of partial difference operators are naturally connected via the involution b$\mathfrak{b}$.     

Necessary and sufficient conditions for mean convergence of orthogonal expansions for Freud weights

A classic 1970 paper of B. Muckenhoupt established necessary and sufficient conditions for weightedL _p convergence of Hermite series, that is, orthogonal expansions corresponding to the Hermite weight. We generalize these to orthogonal expansions for a class of Freud weightsW ²:=e ^–2Q , by first proving a bound for the difference of the orthonormal polynomials of degreen+1 andn–1 of the weightW ². Our identical necessary and sufficient conditions close a slight gap in Muckenhoupt's conditions for the Hermite weight at least forp>1. Moreover, our necessary conditions apply whenQ(x)=|x|, >1 while our sufficient conditions apply at least for =2,4,6,....Communicated by Vilmos Totik.     

Asymptotic properties of generalized Laguerre orthogonal polynomials

In the present paper we deal with the polynomials L_n^(α,M,N) (x) orthogonal with respect to the Sobolev inner product