Some notes on Hermite-Fejer type interpolation

Let S_n(f,x) be the Hermite-Fejér type interpolation satisfying S_n(f,x_k)=f(x_k), S′_n(f,x_k)=0, k=1,2,…,n and S_n(f,y_i)=f(y_i), j=1,2,…,m. For m=0, let H_n(f,x)≔S_n(f,x). This paper investigates relationship between S_n(f,x) and H_n(f,x), as well as, the saturation of S_n(f,x).     

The average errors for Hermite-Fejr interpolation on the Wiener space

For 1≤ p ∞, firstly we prove that for an arbitrary set of distinct nodes in [-1, 1], it is impossible that the errors of the Hermite-Fejr interpolation approximation in L p -norm are weakly equivalent to the corresponding errors of the best polynomial approximation for all continuous functions on [-1, 1]. Secondly, on the ground of probability theory, we discuss the p-average errors of Hermite-Fejr interpolation sequence based on the extended Chebyshev nodes of the second kind on the Wiener space. By our results we know that for 1≤ p ∞ and 2≤ q ∞, the p-average errors of Hermite-Fejr interpolation approximation sequence based on the extended Chebyshev nodes of the second kind are weakly equivalent to the p-average errors of the corresponding best polynomial approximation sequence for L q -norm approximation. In comparison with these results, we discuss the p-average errors of Hermite-Fejr interpolation approximation sequence based on the Chebyshev nodes of the second kind and the p-average errors of the well-known Bernstein polynomial approximation sequence on the Wiener space.     

One-sided convergence conditions for Hermite-Fejér interpolation of higher order of Lagrange type

The authors investigate the Hermite-Fejér interpolation of higher order of Lagrange type for continuous functions on the Jacobi abscissas. A uniform convergence theorem is stated, generalizing a previous result for Lagrange interpolation.     

Convergence of ray sequences of Padé approximants for 2 f 1(a, 1; c; z), (c > a > 0)

The Padé table of ₂ F ₁(a, 1; c; z) is normal for c > a > 0 (cf. [4]). For m ≥ n - 1 and c ? Z^-, the denominator polynomial Q _mn (z) in the [m/n] Padé approximant P _mn (z)/Q _mn (z) for ₂ F ₁(a, 1; c; z) and the remainder term Q _mn (z)₂ F ₁(a, 1; c; z)-P_mn (z) were explicitly evaluated by Padé (cf. [2], [6] or [9]). We show that for c > a > 0 and m ≥ n - 1, the poles of P_mn (z)/Q_mn (z) lie on the cut (1,∞). We deduce that the sequence of approximants P_mn (z)/Q_mn (z) converges to ₂ F ₁(a, 1; c; z) as m → ∞, n/m → ρ with 0 < ρ ≤ 1, uniformly on compact subsets of the unit disc |z| < 1 for c > a > 0.     

Lagrange插值和Hermite-Fejér插值在Wiener空间下的平均误差

在L_q-范数逼近的意义下,确定了基于Chebyshev多项式零点的Lagrange插值多项式列和Hermite-Fejér插值多项式列在Wiener空间下的p-平均误差的弱渐近阶.从我们的结果可以看出,当2≤q<∞,1≤p<∞时,基于第一类Chebyshev多项式零点的Lagrange插值多项式列和Hermite-Fejér插值多项式列的p-平均误差弱等价于相应的最佳逼近多项式列的p-平均误差.在信息基计算复杂性的意义下,如果可允许信息泛函为计算函数在固定点的值,那么当1≤p,q<∞时,基于第一类Chebyshev多项式零点的Lagrange插值多项式列和Hermite-Fejér插值多项式列在Wiener空间下的p-平均误差弱等价于相应的最小非自适应p-平均信息半径.     

Hermite-Fejér interpolation of higher order with varying weights

The authors obtain precise estimations for the coefficients of Hermite-Fejér interpolation of higher order based on Generalized Jacobi zeros.     

Exact constants of approximation for differentiable periodic functions

For all odd r we construct a linear operator B_r,r(f) which maps the set of 2-periodic functionsf(t) X^(r) (X^(r)=C^(r) or L₁ ^(r)) into a set of trigonometric polynomials of order not higher than n-1 such that where X is the C or L₁ metric, E_n(f)_X and (f, )_X are the best approximation by means of trigonometric polynomials of order not higher than n-1 and the modulus of continuity of the functionf in the X metric, respectively; K_r are the known Favard constants.Translated from Matematicheskie Zametki, Vol. 14, No. 1, pp. 21–30, July, 1973.In conclusion, the author wishes to express his deep gratitude to N. P. Korneichuk under whose guidance this paper was written.     

All idempotent hypersubstitutions of type (2,2)

A hypersubstitution of type (2,2) is a map σ which takes the binary operation symbols f and g to binary terms σ(f) and σ(g). Any such σ can be inductively extended to a map on the set of all terms of type (2,2). By using this extension on the set Hyp(2,2) of all hypersubstitutions of type (2,2) a binary operation can be defined. Together with the identity hypersubstitution mapping f to f(x ₁,x ₂) and g to g(x ₁,x ₂) the set Hyp(2,2) forms a monoid. This monoid is isomorphic to the endomorphism monoid of the clone of all binary terms of type (2,2). We determine all idempotent elements of this monoid. The results can be applied to the equational theory of Universal Algebra.     

Homotopy Types of Stabilizers and Orbits of Morse Functions on Surfaces

Let M be a smooth compact surface, orientable or not, with boundary or without it, P either the real line ℝ ¹ or the circle S ¹, and D(M) the group of diffeomorphisms of M acting on C^∞(M, P) by the rule h⋅ f = f ∘ h ⁻¹ for h ∊ D(M) and f ∊ C^∞ (M,P). Let f: M → P be an arbitrary Morse mapping, Σ _f the set of critical points of f, D(M,Σ _f ) the subgroup of D(M) preserving Σ _f , and S(f), S (f,Σ _f ), O(f), and O(f,Σ _f ) the stabilizers and the orbits of f with respect to D(M) and D(M,Σ _f ). In fact S(f) = S(f,Σ _f ).In this paper we calculate the homotopy types of S(f), O(f) and O(f,Σ _f ). It is proved that except for few cases the connected components of S(f) and O(f,Σ _f ) are contractible, π _k O(f) = π _k M for k ≥ 3, π₂ O(f) = 0, and π₁ O(f) is an extension of π₁ D(M) ⊕ Z ^k (for some k ≥ 0) with a (finite) subgroup of the group of automorphisms of the Kronrod-Reeb graph of f.We also generalize the methods of F. Sergeraert to give conditions for a finite codimension orbit of a tame smooth action of a tame Lie group on a tame Fréchet manifold to be a tame Fréchet manifold itself. In particular, we obtain that O(f) and O(f, Σ _f ) are tame Fréchet manifolds. Communicated by Peter Michor Vienna Mathematics Subject Classifications (2000): 37C05, 57S05, 57R45.     

Polynomial interpolation and sums of powers of integers

In this note, we revisit the problem of polynomial interpolation and explicitly construct two polynomials in n of degree k + 1, P_k(n) and Q_k(n), such that P_k(n) = Q_k(n) = f_k(n) for n = 1, 2,…?, k, where f_k(1), f_k(2),…?, f_k(k) are k arbitrarily chosen (real or complex) values. Then, we focus on the case that f_k(n) is given by the sum of powers of the first n positive integers S_k(n) = 1^k + 2^k + ??? + n^k, and show that S_k(n) admits the polynomial representations S_k(n) = P_k(n) and S_k(n) = Q_k(n) for all n = 1, 2,…?, and k ≥ 1, where the first representation involves the Eulerian numbers, and the second one the Stirling numbers of the second kind. Finally, we consider yet another polynomial formula for S_k(n) alternative to the well-known formula of Bernoulli.     

Convergence of the Multigrid Method of Ill-conditioned Block Toeplitz Systems

We study the solutions of block Toeplitz systems A _mn u = b by the multigrid method (MGM). Here the block Toeplitz matrices A _mn are generated by a nonnegative function f (x,y) with zeros. Since the matrices A _mn are ill-conditioned, the convergence factor of classical iterative methods will approach 1 as the size of the matrices becomes large. These classical methods, therefore, are not applicable for solving ill-conditioned systems. The MGM is then proposed in this paper. For a class of block Toeplitz matrices, we show that the convergence factor of the two-grid method (TGM) is uniformly bounded below 1 independent of mn and the full MGM has convergence factor depending only on the number of levels. The cost per iteration for the MGM is of O(mn log mn) operations. Numerical results are given to explain the convergence rate.     

A generalization of bounded variation

Generalized Wiener classes are considered. For these classes the exact order of Fourier coefficients with respect to the trigonometric system is established and the estimation of ‖S _n(·, f)-f(·)‖_{C [0,2π]} where S _n(·, f) are the Fourier partial sums, is given. In particular, a uniform convergence criterion for the Fourier trigonometric series is obtained. This revised version was published online in August 2006 with corrections to the Cover Date.     

Extreme Points and Minimal Outer Area Problem for Meromorphic Univalent Functions

For 0 < p < 1, letS_pdenote the class of functionsf(z) meromorphic univalent in the unit disk with the normalizationf(0) = 0,f′(0) = 1, andf(p) = ∞. LetS_p(a) be the subclass ofS_pwith the fixed residuea. In this note we determine the extreme points of the classS_p(a). As an application, we solve the problem of minimizing the outer area overS_p(a), which was posed by S. Zemyan (J. Analyse Math.39, 1981, 11–23).     

Degree of approximation of Hermite-Fejer interpolation based on the zeros of Legendre polynomial and its derivative

We discuss degree of approximation of Hermite-Fejér interpolation based on the zeros of Legendre polynomial and its derivative in this note. The main result is Theorem 2 in which the exact pointwise estimate for H_n(f, Z, x) is given.     

Hankel operators in Schatten ideals

We study membership to Schatten ideals S _E , associated with a monotone Riesz–Fischer space E, for the Hankel operators H _f defined on the Hardy space H ²(∂D). The conditions are expressed in terms of regularity of its symbol: we prove that H _f ∈S _E if and only if f∈B _E , the Besov space associated with a monotone Riesz–Fischer space E(dλ) over the measure space (D,dλ) and the main tool is the interpolation of operators. Received: December 17, 1999; in final form: September 25, 2000?Published online: July 13, 2001     

Calculation of the branch points of the eigenfunctions corresponding to wave spheroidal functions

A method for calculating eigenvalues λ_mn(c) corresponding to the wave spheroidal functions in the case of a complex parameter c is proposed, and a comprehensive numerical analysis is performed. It is shown that some points c _s are the branch points of the functions λ_mn(c) with different indexes n ₁ and n ₂ so that the value λ_{mn 1} (c _s ) is a double one: λ_{mn 1} (c _s ) = λ_{mn 2} (c _s ). The numerical analysis suggests that, for each fixed m, all the branches of the eigenvalues λ_mn(c) corresponding to the even spheroidal functions form a complete analytic function of the complex argument c. Similarly, all the branches of the eigenvalues λ_mn(c) corresponding to the odd spheroidal functions form a complete analytic function of c. To perform highly accurate calculations of the branch points c _s of the double eigenvalues λ_mn(c _s), the Padé approximants, the Hermite-Padé quadratic approximants, and the generalized Newton iterative method are used. A large number of branch points are calculated.     

Immagini inverse dei gruppi di omotopia

Riassunto SeM edN sono varietà poliedriche chiuse connesse ed orientate di dimensioni rispettivem edn, conm≥n>2, edf∶M→N è una trasformazione continua, allora per ognir, minore din e non inferiore a 2, si definisce un omomorfismo indotto ϕ_rπ:_r (N)→H _m-n+r (M) dal quale si ricavano certi invarianti topologici.

---

Résumé Soientm≥n>r≥2 des entiers etM, N des variétés polyédrales closes connexes orientées satisfaisant dimM=m et dimN=n, de plusH _i(M) le groupe de Betti à i dimensions deM,M,π _i (N) le groupe de Hurewicz ài dimensions deN, etf∶M→N une application continue. Alorsf définit, pour,r=2, 3, …n−1, un homomorphisme réciproque ϕ_rπ:_r (N)→H _m-n+r (M) comme il suit. Etant donné un élément α du groupe π_r (N) et uner-sphère continue orientéeS de α, on peut supposer quef ⁻¹(S) soit un polyèdre finiA àm−n+r dimensions. Parf est induit dansA un (m−n+r)-cyclez à coefficients entiers, et la classe d'homologie dez est justement l'image ϕr(α) de α par ϕr. Pourr=1, on obtient un homomorphisme réciproque ϕ_rπ:_r (N)→H _m-n+r (M) du groupe fondamentalF(N) deN dans le groupe d'homologie àm−n+1 dimensions deM. A l'aide des homomorphismes ϕ,,ϕ2,ϕ,3...,ϕn-i, on parvient à certaines expressions caractéristiques dépendantes seulement de la classe d'homotopie def, en particulier on obtient des constantes pour les images des bases de Betti deM, pour Fimage du groupe de torsion deM, et pour l'image réciproque du groupe fondamental deN.

     

On Generalized Hermite–Fejér Interpolation of Lagrange Type on the Chebyshev Nodes

For fC[−1, 1], let H_m, n(f, x) denote the (0, 1, …,anbsp;m) Hermite–Fejér (HF) interpolation polynomial of f based on the Chebyshev nodes. That is, H_m, n(f, x) is the polynomial of least degree which interpolates f(x) and has its first m derivatives vanish at each of the zeros of the nth Chebyshev polynomial of the first kind. In this paper a precise pointwise estimate for the approximation error |H_2m, n(f, x)−f(x)| is developed, and an equiconvergence result for Lagrange and (0, 1, …, 2m) HF interpolation on the Chebyshev nodes is obtained. This equiconvergence result is then used to show that a rational interpolatory process, obtained by combining the divergent Lagrange and (0, 1, …, 2m) HF interpolation methods on the Chebyshev nodes, is convergent for all fC[−1, 1].     

On double and multiple interval graphs

In this paper we discuss a generalization of the familiar concept of an interval graph that arises naturally in scheduling and allocation problems. We define the interval number of a graph G to be the smallest positive integer t for which there exists a function f which assigns to each vertex u of G a subset f(u) of the real line so that f(u) is the union of t closed intervals of the real line, and distinct vertices u and v in G are adjacent if and only if f(u) and f(v)meet. We show that (1) the interval number of a tree is at most two, and (2) the complete bipartite graph K_{m, n} has interval number ?(mn + 1)/(m + n)?.