We investigate the asymptotic behavior of the polynomials p, q, r of degrees n in type I Hermite-Pade approximation to the exponential function, defined by p(z)e^{-z}+q(z)+r(z)e^{z} = O(z^{3n+2}) as z -> 0. These polynomials are characterized by a Riemann-Hilbert problem for a 3x3 matrix valued function. We use the Deift-Zhou steepest descent method for Riemann-Hilbert problems to obtain strong uniform asymptotics for the scaled polynomials p(3nz), q(3nz), and r(3nz) in every domain in the complex plane. An important role is played by a three-sheeted Riemann surface and certain measures and functions derived from it. Our work complements recent results of Herbert Stahl.
We study the logarihtnmic asymptotic of multiple orthogonal polynomials arising in a mixed type Hermite-Padé approximation problem associated with the rational perturbation of a Nikishin system of functions. The formulas obtained allow to give exact estimates of the rate of convergence of the corresponding Hermite-Padé approximants.
We investigate the asymptotic behavior for type II Hermite-Pade approximation to two functions, where each function has two branch points and the pairs of branch points are separated. We give a classification of the cases such that the limiting counting measures for the poles of the Hermite-Pade approximants are described by an algebraic function of order 3 and genus 0. This situation gives rise to a vector-potential equilibrium problem for three measures and the poles of the common denominator are asymptotically distributed like one of these measures. We also work out the strong asymptotics f…
We propose an algorithm for producing Hermite-Padé polynomials of type I for an arbitrary tuple of $m+1$ formal power series $[f_0,\dots,f_m]$, $m\geq1$, about $z=0$ ($f_j\in{\mathbb C}[[z]]$) under the assumption that the series have a certain (`general position') nondegeneracy property. This algorithm is a straightforward extension of the classical Viskovatov algorithm for construction of Padé polynomials (for $m=1$ our algorithm coincides with the Viskovatov algorithm). The algorithm proposed here is based on a recurrence relation and has the feature that all the Hermite-Padé polynomials co…
In the present paper we prove a Stieltjes type theorem on the convergence of a sequence of rational functions associated with a mixed type Hermite-Padé approximation problem of a Nikishin system of functions and analyze the ratio asymptotic of the corresponding Hermite-Padé polynomials.
We obtain strong and uniform asymptotics in every domain of the complex plane for the scaled polynomials $a (3nz)$, $b (3nz)$, and $c (3nz)$ where $a$, $b$, and $c$ are the type II Hermite-Padé approximants to the exponential function of respective degrees $2n+2$, $2n$ and $2n$, defined by $a (z)e^{-z}-b (z)=Ø(z^{3n+2})$ and $a (z)e^{z}-c (z)=Ø(z^{3n+2})$ as $z\to 0$. Our analysis relies on a characterization of these polynomials in terms of a $3\times 3$ matrix Riemann-Hilbert problem which, as a consequence of the famous Mahler relations, corresponds by a simple transformation to a similar R…
In this work type II Hermite-Padé approximants for a vector of Cauchy transforms of smooth Jacobi-type densities are considered. It is assumed that densities are supported on mutually disjoint intervals (an Angelesco system with complex weights). The formulae of strong asymptotics are derived for any ray sequence of multi-indices.
Motivated by the Novikov equation and its peakon problem, we propose a new mixed type Hermite--Padé approximation whose unique solution is a sequence of polynomials constructed with the help of Pfaffians. These polynomials belong to the family of recently proposed partial-skew-orthogonal polynomials. The relevance of partial-skew-orthogonal polynomials is especially visible in the approximation problem germane to the Novikov peakon problem so that we obtain explicit inverse formulae in terms of Pfaffians by reformulating the inverse spectral problem for the Novikov multipeakons. Furthermore, w…
We develop an underlying relationship between the theory of rational approximations and that of isomonodromic deformations. We show that a certain duality in Hermite's two approximation problems for functions leads to the Schlesinger transformations, i.e. transformations of a linear differential equation shifting its characteristic exponents by integers while keeping its monodromy invariant. Since approximants and remainders are described by block-Toeplitzs determinants, one can clearly understand the determinantal structure in isomonodromic deformations. We demonstrate our method in a certain…
Type I Hermite--Padé polynomials for a set of functions $f_0, f_1, ..., f_s$ at infinity, $Q_{n,0}$, $Q_{n,1}$, ..., $Q_{n,s}$, is defined by the asymptotic condition $$ R_n(z):=\bigl(Q_{n,0}f_0+Q_{n,1}f_1+Q_{n,2}f_2+...+Q_{n,s}f_s\bigr)(z) =\mathcal O (\frac1{z^{s n+s}}), \quad z\to\infty, $$ with the degree of all $Q_{n,k}\leq n$. We describe an approach for finding the asymptotic zero distribution of these polynomials as $n\to \infty$ under the assumption that all $f_j$'s are semiclassical, i.e. their logarithmic derivatives are rational functions. In this situation $R_n$ and $Q_{n,k}f_k$ s…
K. Mahler introduced the concept of perfect systems in the theory of simultaneous Hermite-Padé approximation of analytic functions. Recently, we proved that Nikishin systems, generated by measures with bounded support and non-intersecting consecutive supports contained on the real line, are perfect. Here, we prove that they are also perfect when the supports of the generating measures are unbounded or touch at one point. As an application, we give a version of Stieltjes' theorem in the context of simultaneous Hermite-Padé approximation.
In this paper we study linear and non-linear Fourier-Padé approximation for Angelesco systems of functions. This construction is similar to that of Hermite-Padé approximation. Instead of considering power series expansions of the functions in the system, we take their expansion in a series of orthogonal polynomials.
In 1986 J. Nuttall published in Constructive Approximation the paper "Asymptotics of generalized Jacobi polynomials", where with his usual insight he studied the behavior of the denominators ("generalized Jacobi polynomials") and the remainders of the Pade approximants to a special class of algebraic functions with 3 branch points. 25 years later we try to look at this problem from a modern perspective. On one hand, the generalized Jacobi polynomials constitute an instance of the so-called Heine-Stieltjes polynomials, i.e. they are solutions of linear ODE with polynomial coefficients. On the o…
In this paper, we consider a new class of convex functions which is called $λ$-preinvex functions. We prove several Hermite-Hadamard type inequalities for differentiable $λ$-preinvex functions via Fractional Integrals. Some special cases are also discussed.
In this paper we obtain the Hermite-Hadamard and Hermite-Hadamard-Fejér type inequalities for fractional integrals which generalize the two familiar fractional integrals namely, the Riemann-Liouville and the Hadamard fractional integrals into a single form. We prove that, in most cases, we obtain the Riemann--Liouville and the Hadamard equivalence just by taking limits when a parameter $ρ\rightarrow 1$ and $ρ\rightarrow 0^+$, respectively.
Recently there has been a renewed interest in an extension of the notion of orthogonal polynomials known as multiple orthogonal polynomials. This notion comes from simultaneous rational approximation (Hermite-Pade approximation) of a system of several functions. We describe seven families of multiple orthogonal polynomials which have he same flavor as the very classical orthogonal polynomials of Jacobi, Laguerre and Hermite. We also mention some open research problems and some applications.
We give the strong asymptotic of Cauchy biorthogonal polynomials under the assumption that the defining measures are supported on non intersecting intervals of the real line and satisfy Szegő's condition. The biorthogonal polynomials are connected with certain mixed type Hermite-Padé polynomials, which verify full orthogonality relations with respect to some varying measures. Thus, the strong asymptotic of orthogonal polynomials with respect to varying measures plays a key role in the study.
We consider sequences of biorthogonal polynomials with respect to a Cauchy type convolution kernel and give the weak and ratio asymptotic of the corresponding sequences of biorthogonal polynomials. The construction is intimately related with a mixed type Hermite-Padé approximation problem whose asymptotic properties is also revealed.
Given $K$ arbitrary poles, which are neither necessarily distinct nor bounded, on the extended real line, a corresponding ordered base of rational functions orthogonal with respect to varying exponential weights is constructed: this gives rise to a $K$-fold family of orthogonal rational functions (ORFs). The ORF problem is characterised as a family of $K$ matrix Riemann-Hilbert problems (RHPs) on the extended real line, and a corresponding family of $K$ energy minimisation (variational) problems containing external fields with singular points is formulated, and the existence, uniqueness, and r…
We consider multiple orthogonal polynomials corresponding to two Macdonald functions (modified Bessel functions of the second kind), with emphasis on the polynomials on the diagonal of the Hermite-Padé table. We give some properties of these polynomials: differential properties, a Rodrigues type formula and explicit formulas for the third order linear recurrence relation.
This paper proposes a global Padé approximation of the generalized Mittag-Leffler function $E_{α,β}(-x)$ with $x\in[0,+\infty)$. This uniform approximation can account for both the Taylor series for small arguments and asymptotic series for large arguments. Based on the complete monotonicity of the function $E_{α,β}(-x)$, we work out the global Padé approximation [1/2] for the particular cases $\{0<α<1, β>α\}$, $\{0<α=β<1\}$, and $\{α=1, β>1\}$, respectively. Moreover, these approximations are inverted to yield a global Padé approximation of the inverse generalized Mittag-Leffler function $-L_…
The main goal of the paper is to connect matrix polynomial biorthogonality on a contour in the plane with a suitable notion of scalar, multi-point Padé approximation on an arbitrary Riemann surface endowed with a rational map to the Riemann sphere. To this end we introduce an appropriate notion of (scalar) multi-point Padé\ approximation on a Riemann surface and corresponding notion of biorthogonality of sections of the semi-canonical bundle (half-differentials). Several examples are offered in illustration of the new notions.
We study double integral representations of Christoffel-Darboux kernels associated with two examples of Hermite-type matrix orthogonal polynomials. We show that the Fredholm determinants connected with these kernels are related through the Its-Izergin-Korepin-Slavnov (IIKS) theory with a certain Riemann-Hilbert problem. Using this Riemann-Hilbert problem we obtain a Lax pair whose compatibility conditions lead to a non-commutative version of the Painleve' IV differential equation for each family.
We solve a Padé-type problem of approximating three specific functions simultaneously by $q$-analogues of polylogarithms, respectively by powers of the logarithm. This problem is intimately related to recent results of the authors and Wadim Zudilin ["Séries hypergéométriques basiques, fonction $q$-zêta et séries d'Eisenstein", J. Inst. Math. Jussieu (to appear)] on the dimension of the vector space generated by $q$-analogues of values of the Riemann zeta function at integers. We also show that our result can be considered as a $q$-analogue of a result of Stéphane Fischler and the second author…
We design convergent multipoint Pade interpolation schemes to Cauchy transforms of non-vanishing complex densities with respect to Jacobi-type weights on analytic arcs, under mild smoothness assumptions on the density. We rely on our earlier work for the choice of the interpolation points, and dwell on the Riemann-Hilbert approach to asymptotics of orthogonal polynomials introduced by Kuijlaars, McLaughlin, Van Assche, and Vanlessen in the case of a segment. We also elaborate on the $\bar\partial$-extension of the Riemann-Hilbert technique, initiated by McLaughlin and Miller on the line to rel…
We establish new integral inequalities of Hermite-Hadamard type for the recent class of $η$-convex functions. This is done via generalized $(k,r)$-Riemann-Liouville fractional integral operators. Our results generalize some known theorems in the literature. By choosing different values for the parameters $k$ and $r$, one obtains interesting new results.
By the method of weight coefficients, techniques of real analysis and Hermite-Hadamard's inequality, a half-discrete Hardy-Hilbert-type inequality related to the kernel of the hyperbolic cosecant function with the best possible constant factor expressed in terms of the extended Riemann-zeta function is proved. The more accurate equivalent forms, the operator expressions with the norm, the reverses and some particular cases are also considered.
We construct a new scheme of approximation of any multivalued algebraic function $f(z)$ by a sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ of rational functions. The latter sequence is generated by a recurrence relation which is completely determined by the algebraic equation satisfied by $f(z)$. Compared to the usual Padé approximation our scheme has a number of advantages, such as simple computational procedures that allow us to prove natural analogs of the Padé Conjecture and Nuttall's Conjecture for the sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ in the complement $\mathbb{CP}^1\setminus \D_{f}$…
The Painleve-IV equation has three families of rational solutions generated by the generalized Hermite polynomials. Each family is indexed by two positive integers m and n. These functions have applications to nonlinear wave equations, random matrices, fluid dynamics, and quantum mechanics. Numerical studies suggest the zeros and poles form a deformed n by m rectangular grid. Properly scaled, the zeros and poles appear to densely fill certain curvilinear rectangles as m and n tend to infinity with r=m/n fixed. Generalizing a method of Bertola and Bothner used to study rational Painleve-II func…
An algebraic function of the third order plays an important role in the problem of asymptotics of Hermite-Padé approximants for two analytic functions with branch points. This algebraic function appears as the Cauchy transform of the limiting measure of the asymptotic distribution of the poles of the approximants. In many cases this algebraic function can be determined by using the given position of the branch points of the functions which are approximated and by the condition that its Abelian integral has purely imaginary periods. In the present paper we obtain a hyperelliptic uniformization …
Using methods of weight functions, techniques of real analysis as well as the Hermite-Hadamard inequality, a half-discrete Hardy-Hilbert-type inequality with multi-parameters and a best possible constant factor related to the Hurwitz zeta function and the Riemann zeta function is obtained. Equivalent forms, normed operator expressions, their reverses and some particular cases are also considered.
The concept of Riemann-Stieltjes integral $\int_a^b {f\left( t \right)du\left( t \right)}$; where $f$ is called the integrand, $u$ is called the integrator, plays an important role in Mathematics. The approximation problem of the Riemann-Stieltjes integral $\int_a^b {f\left( t \right)du\left( t \right)}$ in terms of the Riemann-Stieltjes sums have been considered recently by many authors. However, a small attention and a few works have been considered for mappings of two variables; i.e., The approximation problem of the Riemann-Stieltjes double integral $\int_a^b {\int_c^d {f\left( {t,s} \righ…
Polynomials $Q_n(z)$, $n=0,1,\ldots,$ that are multi-orthogonal with respect to a Nikishin system of $p\geq 1$ compactly supported measures over the star-like set of $p+1$ rays $S_+:=\{z\in \mathbb{C}: z^{p+1}\geq 0 \}$ are investigated. We prove that the Nikishin system is normal, that the polynomials satisfy a three-term recurrence relation of order $p+1$ of the form $z Q_{n}(z)=Q_{n+1}(z)+a_{n}\,Q_{n-p}(z)$ with $a_n>0$ for all $n\geq p$, and that the nonzero roots of $Q_n$ are all simple and located in $S_+$. Under the assumption of regularity (in the sense of Stahl and Totik) of the measu…
