Computing near-best fixed pole rational interpolants

We study rational interpolation formulas on the interval [−1,1] for a given set of real or complex conjugate poles outside this interval. Interpolation points which are near-best in a Chebyshev sense were derived in earlier work. The present paper discusses several computation aspects of the interpolation points and the corresponding interpolants. We also study a related set of points (that includes the end points), which is more suitable for applications in rational spectral methods. Some examples are given at the end of this paper.     

A matrix for determining lower complexity barycentric representations of rational interpolants

Among the representations of rational interpolants, the barycentric form has several advantages, for example, with respect to stability of interpolation, location of unattainable points and poles, and differentiation. But it also has some drawbacks, in particular the more costly evaluation than the canonical representation. In the present work we address this difficulty by diminishing the number of interpolation nodes embedded in the barycentric form. This leads to a structured matrix, made of two (modified) Vandermonde and one Löwner, whose kernel is the set of weights of the interpolant (if the latter exists). We accordingly modify the algorithm presented in former work for computing the barycentric weights and discuss its efficiency with several examples.     

A recursive method for computing interpolants

In this paper, we describe a recursive method for computing interpolants defined in a space spanned by a finite number of continuous functions in R^d${\mathbb{R}}^d$. We apply this method to construct several interpolants such as spline interpolants, tensor product interpolants and multivariate polynomial interpolants. We also give a simple algorithm for solving a multivariate polynomial interpolation problem and constructing the minimal interpolation space for a given finite set of interpolation points.     

A new formal approach to the rational interpolation problem

Summary An elegant and fast recursive algorithm is developed to solve the rational interpolation problem in a complementary way compared to existing methods. We allow confluent interpolation points, poles, and infinity as one of the interpolation points. Not only one specific solution is given but a nice parametrization of all solutions. We also give a linear algebra interpretation of the problem showing that our algorithm can also be used to handle a specific class of structured matrices.     

Rational interpolation through the optimal attachment of poles to the interpolating polynomial

After recalling some pitfalls of polynomial interpolation (in particular, slopes limited by Markov's inequality) and rational interpolation (e.g., unattainable points, poles in the interpolation interval, erratic behavior of the error for small numbers of nodes), we suggest an alternative for the case when the function to be interpolated is known everywhere, not just at the nodes. The method consists in replacing the interpolating polynomial with a rational interpolant whose poles are all prescribed, written in its barycentric form as in [4], and optimizing the placement of the poles in such a way as to minimize a chosen norm of the error. This revised version was published online in June 2006 with corrections to the Cover Date.     

Newton-Thiele's rational interpolants

It is well known that Newton's interpolation polynomial is based on divided differences which produce useful intermediate results and allow one to compute the polynomial recursively. Thiele's interpolating continued fraction is aimed at building a rational function which interpolates the given support points. It is interesting to notice that Newton's interpolation polynomials and Thiele's interpolating continued fractions can be incorporated in tensor‐product‐like manner to yield four kinds of bivariate interpolation schemes. Among them are classical bivariate Newton's interpolation polynomials which are purely linear interpolants, branched continued fractions which are purely nonlinear interpolants and have been studied by Chaffy, Cuyt and Verdonk, Kuchminska, Siemaszko and many other authors, and Thiele-Newton's bivariate interpolating continued fractions which are investigated in another paper by one of the authors. In this paper, emphasis is put on the study of Newton-Thiele's bivariate rational interpolants. By introducing so‐called blending differences which look partially like divided differences and partially like inverse differences, we give a recursive algorithm accompanied with a numerical example. Moreover, we bring out the error estimation and discuss the limiting case. This revised version was published online in June 2006 with corrections to the Cover Date.     

一类收敛的线性Hermite重心权有理插值

众所周知, Hermite有理插值比Hermite多项式插值具有更好的逼近性, 特别是对于插值点序列较大时, 但很难解决收敛性问题和控制实极点的出现. 本文建立了一类线性Hermite重心有理插值函数$r(x)$,并证明其具有以下优良性质: 第一, 在实数范围内无极点; 第二, 当$k=0,1,2$时,无论插值节点如何分布, 函数$r^{(k)}(x)$具有$O(h^{3d+3-k})$的收敛速度; 第三, 插值函数$r(x)$仅仅线性依赖于插值数据.     

On Rational Interpolation to |x|

We consider Newman-type rational interpolation to |x| induced by arbitrary sets of interpolation nodes, and we show that under mild restrictions on the location of the interpolation nodes, the corresponding sequence of rational interpolants converges to |x|. Date received: August 18, 1995. Date revised: January 10, 1996.     

Rational interpolation with a single variable pole

In this paper the necessary and sufficient conditions for given data to admit a rational interpolant in _k,1 with no poles in the convex hull of the interpolation points is studied. A method for computing the interpolant is also provided.Partially supported by DGICYT-0121.     

A multivariate QD-like algorithm

The problem of constructing a univariate rational interpolant or Padé approximant for given data can be solved in various equivalent ways: one can compute the explicit solution of the system of interpolation or approximation conditions, or one can start a recursive algorithm, or one can obtain the rational function as the convergent of an interpolating or corresponding continued fraction.In case of multivariate functions general order systems of interpolation conditions for a multivariate rational interpolant and general order systems of approximation conditions for a multivariate Padé approximant were respectively solved in [6] and [9]. Equivalent recursive computation schemes were given in [3] for the rational interpolation case and in [5] for the Padé approximation case. At that moment we stated that the next step was to write the general order rational interpolants and Padé approximants as the convergent of a multivariate continued fraction so that the univariate equivalence of the three main defining techniques was also established for the multivariate case: algebraic relations, recurrence relations, continued fractions. In this paper a multivariate qd-like algorithm is developed that serves this purpose.     

On the structure of a table of multivariate rational interpolants

In the table of multivariate rational interpolants the entries are arranged such that the row index indicates the number of numerator coefficients and the column index the number of denominator coefficients. If the homogeneous system of linear equations defining the denominator coefficients has maximal rank, then the rational interpolant can be represented as a quotient of determinants. If this system has a rank deficiency, then we identify the rational interpolant with another element from the table using less interpolation conditions for its computation and we describe the effect this dependence of interpolation conditions has on the structure of the table of multivariate rational interpolants. In the univariate case the table of solutions to the rational interpolation problem is composed of triangles of so-called minimal solutions, having minimal degree in numerator and denominator and using a minimal number of interpolation conditions to determine the solution.Communicated by Dietrich Braess.     

Lagrange基函数的复矩阵有理插值及连分式插值

1引言 矩阵有理插值问题与系统线性理论中的模型简化问题和部分实现问题有着紧密的联系~[1][2]，在矩阵外推方法中也常常涉及线性或有理矩阵插值问题~[3]。按照文~[1]的阐述。目前已经研究的矩阵有理插值问题包括矩阵幂级数和Newton-Pade逼近。Hade逼近，联立Pade逼近，M-Pade逼近，多点Pade逼近等。显然，上述各种形式的矩阵Pade逼上梁山近是矩     

Padé–type rational and barycentric interpolation

In this paper, we consider the particular case of the general rational Hermite interpolation problem where only the value of the function is interpolated at some points, and where the function and its first derivatives agree at the origin. Thus, the interpolants constructed in this way possess a Padé–type property at 0. Numerical examples show the interest of the procedure. The interpolation procedure can be easily modified to introduce a partial knowledge on the poles and the zeros of the function to approximated. A strategy for removing the spurious poles is explained. A formula for the error is proved in the real case. Applications are given.     

The barycentric weights of rational interpolation with prescribed poles

We introduce a method for calculating rational interpolants when some (but not necessarily all) of their poles are prescribed. The algorithm determines the weights in the barycentric representation of the rationals; it simply consists in multiplying each interpolated value by a certain number, computing the weights of a rational interpolant without poles, and finally multiplying the weights by those same numbers. The supplementary cost in comparison with interpolation without poles is about (v + 2)N, where v is the number of poles and N the number of interpolation points. We also give a condition under which the computed rational interpolation really shows the desired poles.     

Convergence of Multipoint Padé-type Approximants

Let μ be a finite positive Borel measure whose support is a compact subset K of the real line and let I be the convex hull of K. Let r denote a rational function with real coefficients whose poles lie in C\I and r(∞)=0. We consider multipoint rational interpolants of the function where some poles are fixed and others are left free. We show that if the interpolation points and the fixed poles are chosen conveniently then the sequence of multipoint rational approximants converges geometrically to f in the chordal metric on compact subsets of C\I.     

S-convex,monotone, and positive interpolation with rational bicubic splines of C2-continuity

In this paper we deal with shape preserving interpolation of data sets given on rectangular grids. The aim is to show that there exist spline interpolants of the continuity classC ² which areS-convex, monotone, or positive if the data sets have these properties. This is done by using particular rational bicubic splines defined on the grids introduced by the data. Interpolants of the desired type can be constructed by a simple search procedure.     

Bivariate Lagrange interpolation at the Padua points: the ideal theory approach

The Padua points are a family of points on the square [−1, 1]² given by explicit formulas that admits unique Lagrange interpolation by bivariate polynomials. Interpolation polynomials and cubature formulas based on the Padua points are studied from an ideal theoretic point of view, which leads to the discovery of a compact formula for the interpolation polynomials. The L ^p convergence of the interpolation polynomials is also studied. S. De Marchi and M. Vianello were supported by the “ex-60%” funds of the University of Padua and by the INdAM GNCS (Italian National Group for Scientific Computing). Y. Xu was partially supported by NSF Grant DMS-0604056.     

Convergence rates of a family of barycentric osculatory rational interpolation

It is well-known that osculatory rational interpolation sometimes gives better approximation than Hermite interpolation, especially for large sequences of points. However, it is difficult to solve the problem of convergence and control the occurrence of poles. In this paper, we propose and study a family of barycentric osculatory rational interpolation function, the proposed function and its derivative function both have no real poles and arbitrarily high approximation orders on any real interval.     

Continued fractions associated with the Newton-Padé table

Summary We discuss first the block structure of the Newton-Padé table (or, rational interpolation table) corresponding to the double sequence of rational interpolants for the data{(z _k, h(z_k)} _k =0. (The (m, n)-entry of this table is the rational function of type (m,n) solving the linearized rational interpolation problem on the firstm+n+1 data.) We then construct continued fractions that are associated with either a diagonal or two adjacent diagonals of this Newton-Padé table in such a way that the convergents of the continued fractions are equal to the distinct entries on this diagonal or this pair of diagonals, respectively. The resulting continued fractions are generalizations of Thiele fractions and of Magnus'sP-fractions. A discussion of an some new results on related algorithms of Werner and Graves-Morris and Hopkins are also given.Dedicated to the memory of Helmut Werner (1931–1985)