Startseite Mathematik A note on the rate of convergence for Chebyshev-Lobatto and Radau systems
Artikel Open Access

A note on the rate of convergence for Chebyshev-Lobatto and Radau systems

  • Elías Berriochoa , Alicia Cachafeiro EMAIL logo , Jaime Díaz und Eduardo Martínez
Veröffentlicht/Copyright: 29. März 2016

Abstract

This paper is devoted to Hermite interpolation with Chebyshev-Lobatto and Chebyshev-Radau nodal points. The aim of this piece of work is to establish the rate of convergence for some types of smooth functions. Although the rate of convergence is similar to that of Lagrange interpolation, taking into account the asymptotic constants that we obtain, the use of this method is justified and it is very suitable when we dispose of the appropriate information.

MSC 2010: 41A05; 65D05; 41A25; 65M60

1 Introduction

The nodal systems related to the Jacobi polynomials play an important role in the theory of Hermite interpolation on the bounded interval, (see [13]). The Hungarian interpolatory school, beginning with Fejér, has used these systems for Lagrange and Hermite interpolation. Szegő, who is one of the more important references in these subjects, proves for Hermite interpolation that the generalized step polynomials converge to continuous functions uniformly on [-1+ε,1-ε], for every ε > 0, when the nodes are the zeros of the Jacobi polynomials, with parameters α and β. Moreover, if α ≥ 0 and the function is merely continuous in [-1,1], then the step polynomials are in general divergent at x = 1, and a similar result holds for β ≥ 0 and x = −1, (see [4]). P. Szász improves these results of convergence by adding the endpoints to the nodal system and by using them as Lagrange data points, (see [5, 6]). The most important, among these nodal systems, is that corresponding to the Chebyshev polynomials of the second kind joined with the endpoints ±1. This set of points is usually called Chebyshev-Lobatto nodal system. Other useful systems are the so called Chebyshev-Radau nodal systems, which correspond to the zeros of the Chebyshev polynomials of the third and fourth kind joined with the points −1 and 1, respectively. Since the derivative at the endpoints is not prescribed, this approach improves the results of convergence but it does not solve a proper Hermite interpolation problem. Nevertheless, Hermite and Hermite-Fejér interpolation problems with extended nodal systems are interesting problems that have been subject of study for several researchers, obtaining algorithms for computing the interpolation polynomials and results of convergence. Indeed, barycentric formulas presented in [7] were improved in [8] and barycentric methods for more general Hermite interpolation problems can be seen in [9]. The convergence of the Hermite-Fejér process has been proved for continuous functions using the Chebyshev-Lobatto nodal systems and the rate of convergence was obtained in terms of the modulus of continuity, (see [10, 11]). The study of the convergence of the Hermite interpolants for continuous functions using Chebyshev-Lobatto and Chebyshev-Radau nodal systems can be seen in [8]. The technique used in [8] is based on the idea to pass the problem to the unit circle by the Szegő transformation x=z+z¯2, to apply the convergence result of Hermite-Fejér interpolation for continuous functions on the circle given in [12], and then to recover the convergence results for the interpolants on the interval [-1, 1].

Hermite interpolation problems have also been studied with more general nodal systems such as normal and strongly normal point systems, that were introduced by G. Grünwald. The zeros of certain Jacobi polynomials satisfy this last condition. Other important sets of zeros of orthogonal polynomial that were used as nodal points are those corresponding to Legendre and ultraspherical polynomials. In the case of unbounded intervals, some results about convergence of interpolation polynomials were obtained by using as nodes the zeros of orthogonal polynomials with respect to the weights of Hermite, Laguerre, Sonin-Markov and Freud-type.

This note attempts to complete the Hermite interpolation theory with Chebyshev-Lobatto and Chebyshev-Radau systems and in order to extend the results in [8] to another more wide class of functions, we use a new technique in this paper. First we obtain a new representation for the Hermite interpolation polynomials related to the Chebyshev

polynomials of the first kind. As a consequence, we present some results on the rate of convergence for these extended interpolants when applied to some types of smooth functions. Although the rate of convergence is similar to that of Lagrange interpolation, taking into account the asymptotic constants that we obtain; the use of this method is justified when we have more information in the problem to be solved, that is, if we know the values of the derivatives on the nodal points. Really we have proved that with 2ninterpolation conditions the rate of convergence is O(1(2n)s1), while by using Lagrange interpolation with n interpolation conditions the rate of convergence is O(1ns1). In both cases, s is a parameter related to the smoothness of the coefficients of functions represented by Chebyshev series. Hence, when we dispose of the appropriate information the use of this method is very suitable. For example, in the numerical solution of differential equations, if the values of the solution and its derivative in these nodal points are known, this type of interpolation could be applied to rebuild the solution.

2 Chebyshev-Lobatto Hermite interpolation. Rate of convergence for smooth functions

Let us consider the nodal system {xj}j=0n={cosπjn}j=0n that is, x0 = 1, x1, …, xn−1 the zeros of the Chebyshev polynomial of the second kind Un-1(x) and xn = −1. This nodal system is named Chebyshev-Lobatto system and the nodal polynomial is

(1)Nn+1(x)=Un1(x)(1x2).

Now our aim is to obtain results on the rate of convergence when we interpolate some types of smooth functions. So if f is a differentiable function defined on [-1,1] we denote by ℒ2n+1(f, x) a polynomial in the space ℙ2n+1 satisfying

(2)2n+1(f,xj)=f(xj),2n+1(f,xj)=f(xj)forj=0,,n.

To reach our goal we use some well known results on the Chebyshev polynomials of the first kind {Tn} and the second kind {Un} that can be seen in [13, 14].

First we examine the auxiliary polynomials, closely related with the nodal system, and defined by E0(x)=(Nn+1(x))24n2(x1) and En(x)=(Nn+1(x))24n2(x+1)

Lemma 2.1

The polynomials E0, En ϵ ℙ2n+1satisfy the following properties:

  1. E0(xj) = 0 for j = 0; …, n.

  2. E0'(1)  =E0'(xj)  =  0 for j = 1; …, n.

  3. En'(1)=1,En'(xj)  =  0 for j = 0; …, n-1.

  4. If x ∈ [-1, 1] then |E(x)|, |En(x)|12n2.

Proof

(i) - (iii) can be seen in [8].

(iv) If we take into account the definition for E0 we have

E0(x)=(Un1(x)(1x2))24n2(x1)=(sin(narccosx)sin(arccosx)(1x2))24n2(x1)=(x+1)(sin(narccosx))24n2,

from which it follows (iv). One can obtain the same bound for En proceeding in a similar way.□

The following result establishes a new representation for the interpolation polynomial corresponding to the Chebyshev polynomial of the first kind Th, when h ≥ 2n.

Proposition 2.2

Let h be a natural number, h = 2n(l+1)+k, with l and k nonnegative integers, n a positive integer and 0≤k≤2n-1.Then

(3)2n+1(Th,x)=akTk(x)+b2nkT2nk(x)+c0E0(x)+dnEn(x),

where:

  1. If k ≠ 0 then ak = 2 + ℓ, b2n-k = -1-ℓ, c0 = 4(2n2 +3n2ℓ+n22) and dn = (-1)k-1 4(2n2+3n2ℓ+n22)

  2. If k = 0 then a0 = -2ℓ-ℓ2, b2n = (ℓ+1)2, c0 = 0 and dn = 0.

Actually the coefficients depend on h but we omit it in the notation for the sake of simplicity.

Proof

Taking into account that both expressions in the representation (3) belong to ℙ2n+1, we only have to prove that the expression for ℒ2n+1 (Th, x) given in (3) fulfills the corresponding interpolation conditions.

  1. Let k ≠ 0. Now the interpolation conditions for ℒ2n+1 (Th, x) are:

    Th(xj)=cos(harccosxj)=cosπjkn,for0jn,Th(xj)=hsin(harccosxj)sinarccosxj=hsinπjkn1xj2,for1jn1,Th(1)=h2andTh(1)=(1)h1h2=(1)k1h2.

    On the other hand the next relations hold.

    For j ∈ {0,…,n}

    akTk(xj)+b2nkT2nk(xj)+c0E0(xj)+dnEn(xj)=akcos(kπjn)+b2nkcos((2nk)πjn)=(ak+b2nk)cos(πjkn)=cos(πjkn).

    For j ∈ {1,…, n-1}

    akTk(xj)+b2nkT2nk(xj)+c0E0(xj)+dnEn(xj)=akksin(kπjn)1xj2+b2nk(2nk)sin((2nk)πjn)1xj2=sin(πjkn)1xj2(kakb2nk(2nk))=hsin(πjkn)1xj2.

    For j = 0 and j = n it holds

    akTk(1)+b2nkT2nk(1)+c0E0(1)+dnEn(1)=akk2+b2nk(2nk)2+c0=h2,akTk(1)+b2nkT2nk(1)+c0E0(1)+dnEn(1)=akk2+b2nk(2nk)2+dn=(1)k1h2.

    Thus for k ≠ 0 equality (3) is proved.

  2. When k = 0 we have a similar situation. On the one hand we have the interpolation conditions:

    Th(xj)=cos(harccosxj)=cos((2+2)πj)=1,for0jn,Th(xj)=hsin(harccosxj)sin(arccosxj)=hsin(2n+2n)πjnsin(arccosxj)=0,for1jn1,Th(1)=h2andTh(1)h1h2=h2.

    On the other hand the following relations hold.

    For j ∈ {0,…,n}

    a0T0(xj)+b2nT2n(xj)=a0+b2ncos(2nπjn)=a0+b2n=1.

    For j ∈ {1,…,n-1}

    a0T0(xj)+b2nT2n(xj)=b2n2nsin(2narccosxj)sinarccosxj=0.

    For j = 0and for j = nit holds

    a0T0(1)+b2nkT2nk(1)=b2n(2n)2=h2,a0T0(1)+b2nT2n(1)=b2n(2n)2=h2.

    So for k = 0 the statement is also proved. □

Remark 2.3

Notice that the preceding representation is valid for h ≥ 2n and for h = 2n+1 it gives an alternative representation of the polynomial T2n+1(x)

Corollary 2.4

Let h be a natural number, h = 2n(𝓵 + 1) + k, with 𝓵 and k nonnegative integers, n a positive integer and 0 ≤ k ≤ 2n − 1. Then

  1. If k ≠ 0 it holds that|L2n+1(Th,x)|42+14+11,x[1,1].

  2. If k =0 it holds that|L2n+1(Th,x)|22+4+1,x[1,1].

Proof

(i) and (ii) are straightforward consequences of the previous representations. □

Now we are in a position to study the rate of convergence of the interpolation polynomials for some kind of smooth functions, (see [15]).

Proposition 2.5

Let f be a function defined on.[-1; 1] by f(x)=k=0akTk(x)with|ak|K1ksfork0, s ≥ 4 and K a positive constant. Then ℒ 𝓛2n+1(f,.) uniformly converges to f on [-1; 1] with rate of convergenceO(1ns1).

Proof

We decompose f as follows f = f1, 2n+1 + f2, 2n+1 with f1,2n+1=k=02n+1akTk and f2,2n+1=k=2n+2akTk. Since ℒ2n + 1(f1, 2n + 1,..) = f1, 2n+1, we study the behavior of ℒ2n + 1(f2, 2n+1,..) − f2, 2n+1.

If we denote by Hn, s the generalized harmonic number defined by Hn,s=k=1n1ks and by H(s)=k=11ks then

(4)|f2,2n+1(x)|k=2n+2|ak|k=2n+2k1ks=k(H(s)H2n+1,s)k(s1)(2n+1)s1,

where the last inequality comes from the classical method of the integral for approximating the sum of the series.

Proceeding in a similar way we obtain

(5)|2n+1(f2,2n+1,..)|k=2n+2|ah||2n+1(Th,.)|=0k=02n1|a2n(+1)+k||2n+1(T2n(+1)+k,..)|=0k=12n1|a2n(+1)+k||2n+1(T2n(+1)+k,..)|+=0|a2n(+1)||2n+1(T2n(+1),.)|

and taking into account the previous corollary we get

(6)=0k=12n1k(2n(+1)+k)s(42+14+11)=02nk(2n(+1))s(42+14+11)k(2n)s1=042+14+11(+1)s11k(2n)s1=01(+1)s2

and

(7)=0k(2n(+1))s(22+4+1)k(2n)s=022+4+1(+1)s2k(2n)s=01(+1)s2.

Hence the interpolation error can be bounded as follows:

|f(x)2n+1(f,x)|=|f2,2n+1(x)2n+1(f2,2n+1,x)||f2,2n+1(x)|+|2n+1(f2,2n+1,x)|

and using (4), (5), (6) and (7), the result is obtained. □

Remark 2.6

It is well known that the Chebyshev-Fourier coefficients of functions in L2 converge to zero, and for smooth functions they behave like in Proposition 2.5. Indeed some kind of smooth functions satisfy the preceding requirements. For example, it is easy to conclude that a function with the third derivative of bounded variation on. [-1, 1] fulfills the hypothesis of Proposition 2.5. It can also be proved that functions s times continuously differentiable on. [-1, 1], with s ≥ 4, fulfill the hypothesis of the preceding Proposition. Another interesting question is that we can weaken the hypothesis on the parameter s asking only for s > 3. Moreover, for infinitely differentiable functions their Chebyshev-Fourier coefficients converge to zero geometrically, that is, exponentially with k.

Remark 2.7

The strategy used in the preceding proposition is different from the one used in [8]; hence by passing the results to the unit circle one can obtain similar results.

Next we study the case of analytic functions on [-1, 1].

Proposition 2.8

If f is an analytic function on [-1, 1], then ℒ2n+1 (f,..)uniformly converges to f on [-1, 1] with a geometric rate of convergence.

Proof

Let f be an analytic function on [-1, 1]. Then f can be represented as f(x)=k=0akTk(x) and it holds that |aK| ≤ Krk for some K > 0 and 0 < r < 1, as can be seen in [4].

We decompose f as follows f = f1, 2n+1 + f2, 2n+1 with f1,2n+1=k=02n+1akTk and f2,2n+1=k=2n+2akTk. Since ℒ2n(f1, 2n + 1,..) = f1, 2n+1 we study the behavior of |f2, 2n+1 − ℒ2n(f2, 2n + 1,..)|. Proceeding like in the previous proposition we get

(8)|f2,2n+1|k=2n+2|ak|k1rr2n+2,

and taking into account Corollary 2.4 it is clear that for h ≥ 2n it holds |ℒ2n(Th,..)| ≤ 4h2 + 14h + 11) = p2(n)r2n+2, Therefore

(9)|2n+1(f2,2n+1,..)|h=2n+2|ah||2n+1(Th,..)|h=2n+2krh(4h2+14h+11)=p2(n)r2n+2,

where p2(n) is a well determined polynomial of degree 2. Then by using (8) and (9) the result is proved. □

Remark 2.9

We want to point out that the results in Propositions 2.5 and 2.8 justify the practical use of these interpolants for smooth functions when we have information about the values of the function and its first derivative on the nodal points.

3 Chebyshev-Radau Hermite interpolation. Rate of convergence for smooth functions

3.1 The case of Chebyshev polynomials of the fourth kind

Let us consider the nodal system {xj}j=0n1={cos2πj2n1}j=0n1 that is, x0 = 1 and x1, …, xn − 1 the zeros of the Chebyshev polynomial of the fourth kind Wn-1.(x) Then, the nodal polynomial is

Mn(x)=wn1(x)(1x).

Our aim is to obtain results on the rate of convergence when we interpolate some types of smooth functions. So we consider f a differentiable function defined on [-1, 1] and we denote by 2n − 1.(f, x) the interpolation polynomial in the space ℙ2n − 1 characterized by satisfying the interpolation conditions

(10)2n1(f,xj)=f(xj),2n1(f,xj)=f(xj)forj=0,,n-1.

Next we examine some auxiliary polynomials, closely related with the nodal system.

Lemma 3.1

The polynomial D0(x)=(Mn(x))2(2n1)2(x1)2n1 satisfies the following properties:

  1. D0(xj) = 0 forj = 0; …; n − 1:

  2. D0'(1)=1,D0'(xj)=0forj = 1; …, n − 1.

  3. If x 𝜖 [-1; 1] then it holds|D0(x)|4(2n1)2.

Proof

  1. It is immediate.

  2. It can be seen in [8].

  3. It is a straightforward consequence of the definition of D0 and Wn − 1, (see [13, 14]):

    D0(x)=(Mn(x))2(2n1)2(x1)=(wn1(x))2(x1)(2n1)2=2sin2(n12arccosx)(x1)(2n1)2.

Next we obtain a new representation of the interpolation polynomials related to the Chebyshev polynomials of the first kind.

Proposition 3.2

Let h be a natural number h =(2n-1)(+1)+k with n a positive integer, ℓ and k nonnegative integers and0 ≤ k < 2n-1. If Th(x) is the Chebyshev polynomial of degree h then ℋ2n-1(Th, x) can be represented as:

(11)2n1(Th,x)=akTk(x)+b2n1kT2n1k(x)+c0D0(x),

where:

  1. If k≠ 0 then ak = 2 + , b2n-1-k =−1−ℓ and c0 = (2 + 3ℓ+ℓ2)(2n-1)2.

  2. If k = 0 then a0 = −2ℓ – ℓ2, b2n-1 =(ℓ+1)2 and c0 = 0.

Actually the coefficients depend on h but we omit it in the notation for the sake of simplicity.

Proof

Taking into account that both representations in (11) belong to ℙ2n-1, we only have to prove that 2n-1(Th, x) given in (11) fulfills the corresponding interpolations conditions.

  1. If k ≠0, on the one hand we have the following interpolation conditions:

    Th(xj)=cos(harccosxj)=cos(((2n1)(l+1)+k)2πj2n1)=cos(2πjk2n1),for0jnTh'(xj)=hsin(harccosxj)sinarccosxj=hsin(((2n1)(l+1)+k)2πj2n1)sinarccosxj=hsin(2πjk2n1)1xj2,for0jn1Th(x0)=Th(1)=h2.

    On the other hand we have:

    Forj ϵ {0,…., n }

    For j ∈ {1,…, n}

    akTk(xj)+b2n1kT2n1k(xj)+c0D0(xj)=akcos(k2πj2n1)+b2n1kcos((2n1k)2πj2n1)=(ak+b2n1k)cos(2πjk2n1)=cos(2πjk2n1).

    For j∈{1,…n−1}

    akTk(xj)+b2n1kT2n1k(xj)+c0D0(xj)=akksin(karccosxj)sinarccosxj+b2n1k(2n1k)sin((2n1k)arccosxj)sinarccosxj=akksin(k2πj2n1)1xj2+b2n1k(2n1k)sin((2n1k)2πj2n1)1xj2=sin(2πjk2n1)1xj2(akkb2n1k(2n1k))=hsin(2πjk2n1)1xj2.

    For j = 0 it holds

    akTk(x0)+b2n1kT2n1k(x0)+c0D0(x0)=akk2+b2n1k(2n1k)2+c0=h2.

    Hence, for k≠ 0, we have proved expression (11).

  2. When k = 0 we have a similar situation. On the one hand we get:

    Th(xj)=cos(harccosxj)=cos((2n1)(+1)2πj2n1)=1,for0jn,Th(xj)=hsin(harccosxj)sinarccosxj=hsin((2n1)(+1)2πj2n1)sinarccosxj=0,for1jn1,Th'(x0)=Th'(1)=h2.

    On the other hand the following relations hold.

    For j ϵ {0,…, n}

    a0T0(xj)+b2n1T2n1(xj)=a0+b2n1cos((2n1)arccosxj)=a0+b2n1cos((2n1)2πj2n1)=a0+b2n1=1.

    For j ϵ {1,…, n–1}

    a0T0(xj)+b2n1T2n1(xj)=b2n1(2n1)sin((2n1)arccosxj)sinarccosxj=0.

    For j = 0

    a0T0(1)+b2n1T2n1(1)=b2n1(2n1)2=h2.

    So, for k = 0, the statement has also been proved.

Corollary 3.3

Let h be h = (2n – 1)(ℓ + 1)+ k with n a positive integer, ℓ and k nonnegative integers and 0 ≤ k < 2n – 1. Then we have:

  1. If k ≠ 0 then 𝓗2n – 1(Th, x)| ≤ 4ℓ2 + 14ℓ + 11 ∀x ∊ [–1, 1].

  2. If k = 0 then 𝓗2n – 1(Th, x)| ≤ 2ℓ2 + 4ℓ + 1 ∀x ∊ [–1, 1].

Proof

Both statements are straightforward consequences of the previous representations.

Now we are in a position for proving our main results concerning some kind of smooth functions.

Proposition 3.4

Let f be a function defined for x ∈ [-1, 1] byf(x)=k=0akTk(x)with|ak|K1ksfor k ≠ 0 and s ≥ 4. Then 𝓗2n–1(f,.) uniformly converges to f on [-1, 1] and the rate of convergence isO(1ns1).

Proof

By using the same technique as in Proposition 2.5, we can write f = f1, 2n–1 + f2, 2n–1 with f1,2n1=k=02n1akTk and f2,2n1=k=2nakTk.

Since ℋ2n–1(f1,2n–1,.) = f1,2n–1, we study the behavior of ℋ2n–1(f2,2n–1,.) – f2,2n–1. If we denote by Hn, s the generalized harmonic number defined by Hn,s=k=1n1ks and H(s)=k=11ks then

(12)|f2,2n1(x)|k=2n|ak|k=2nk1ks=k(H(s)H2n1,s)k(s1)(2n1)s1.

Proceeding in a similar way

(13)H2n1f2,2n1,.h=2nahH2n1Th,.=0k=02n2a2n1+2n1+kH2n1T2n1+2n1+k,.=0k=12n2a2n1+2n1+kH2n1T2n1+2n1+k,.+=0|a2n1+(2n1)||H2n1(T2n1+(2n1).,)|

and taking into account the previous corollary we obtain

(14)=0k=12n2k2n1+1+ks42+14+11=02n1k2n1+1s42+14+11k2n1s1=042+14+11+1s11k2n1s1=01+1s2

and

(15)=0k2n1+1s22+4l+1k2n1s=022+4+1+1s2k2n1s=01+1s2.

Therefore, taking into account

|f(x)2n1(f,x)|=|f2,2n1(x)2n1(f2,2n1,x)||f2,2n1(x)|+|2n1(f2,2n1,x)|,

if we use (12), (13), (14) and (15), the result is obtained.

Next we study the case of analytic functions on [-1, 1].

Proposition 3.5

Let f be an analytic function on [-1, 1]. Then ℋ2n-1(f,.) uniformly converges to f on [-1, 1] with a geometric rate of convergence.

Proof

Proceeding like in Proposition 2.8, f can be represented as f=k=0akTk, with |ak| ≤ Krk for some K > 0 and 0 < r < 1. We decompose f as follows f = f1,2n-1 + f2,2n-1 with f1,2n1=k=02n1akTk and f2,2n1=k=2nakTk. Since ℋ2n-1(f1,2n-1,.) = f1,2n-1 we study the behavior of |f2,2n-1 − 𝓗2n-1(f2,2n-1.,)|. Thus, we have

(16)|f2,2n1|=|k=2nakTk|k=2n|ak|k1rr2n,

and

(17)|2n1(f2,2n1,.)|=|k=2nak2n1(Tk,.)|k=2n|ak||2n1(Tk,.)|k=2nkrk(4k2+14k+11)=p2(n)r2n,

where p2(n)denotes a polynomial of degree 2.

Hence using (16) and (17) the result is proved.

3.2 The case of Chebyshev polynomials of the third kind

Let us consider the nodal system {xj}j=1n={cos(2j1)π2n1}j=1n, that is, x1,...,xn-1 are the zeros of the Chebyshev polynomial of the third kind Vn-1(x) and xn = -1. Then the nodal polynomial is Vn-1(x)(1+x).

If f is a differentiable function defined on [-1, 1], we denote by 𝒦2n-1(f, x) the interpolation polynomial in the space ℙ2n-1 characterized by satisfying the interpolation conditions

K2n1(f,xj)=(fxj),K2n1(f,xj)=f(xj)forj=1,, n.

It is clear that all the asserts related to the extended nodal system corresponding to Wn-1 can be reproduced with the extended nodal system corresponding to Vn-1. The Hermite interpolation polynomial corresponding to a smooth function f(x) with the extended nodal system of Vn-1 is the Hermite interpolation polynomial corresponding to a smooth function g(x) = f(-x) on the extended nodal system corresponding to Wn-1 and vice versa.

Indeed, it is easy to obtain that if h is a natural number h = (2n-1)(l+1)+k with n a positive integer, l and k nonnegative integers and 0 ≤ k < 2n-1, then 𝒦2n-1(Th,x) can be represented as:

K2n1(Th,x)=2n1(Th(x),x)=ak(1)kTk(x)+b2n1k(1)2n1kT2n1k(x)+c0D0(x),

where the sequences of coefficients are given in Proposition 3.2.

Moreover, proceeding like in the previous subsection one can obtain similar results as those in Propositions 3.4 and 3.5 in a straight way as follows.

Proposition 3.6

Let f be a function defined for x ∈[-1, 1] byf(x)=k=0akTk(x)with|ak|k1ksfork ≠ 0 and s ≥ 4. Then𝒦2n-1(f,.) uniformly converges to f on [-1, 1] and the rate of convergence isO(1ns1).

Proposition 3.7

Let f be an analytic function on [-1, 1]. Then𝒦2n-1(f,.) uniformly converges to f on [-1, 1] with a geometric rate of convergence.

Acknowledgement

The research was supported by Ministerio de Educación y Ciencia of Spain under grant number MTM2011-22713.

References

1 Davis, P.J., Interpolation and Approximation, Dover Publications, New York, 1975Suche in Google Scholar

2 Henrici, P., Essentials of Numerical Analysis with Pocket Calculator Demonstrations, Wiley, New York, 1982Suche in Google Scholar

3 Szabados, J., Vértesi, P., Interpolation of Functions, World Scientific, Singapore, 199010.1142/0861Suche in Google Scholar

4 Szegő, G., Orthogonal Polynomials, Amer. Math. Soc. Coll. Publ., Vol. 23, 4th ed., Amer. Math. Soc., Providence, 1975Suche in Google Scholar

5 Szász, P., On quasi-Hermite-Fejér interpolation, Acta Math. Acad. Sci. Hungar., 1959, 10, 413-43910.1007/BF02024506Suche in Google Scholar

6 Szász, P., The extended Hermite-Fejér interpolation formula with application to the theory of generalized almost-step parabolas, Publ. Math. Debrecen, 1964, 11, 85-10010.5486/PMD.1964.11.1-4.13Suche in Google Scholar

7 Schneider, C., Werner, W., Hermite Interpolation: The Barycentric Approach, Computing, 1991, 46, 35-5110.1007/BF02239010Suche in Google Scholar

8 Berriochoa, E., Cachafeiro, A., Díaz, J., Illán, J., Algorithms and convergence for Hermite interpolation based on extended Chebyshev nodal systems, Appl. Math. Comput., 2014, 234, 223-23610.1016/j.amc.2014.02.027Suche in Google Scholar

9 Corless, R.M., Fillion, N., A Graduate Introduction to Numerical methods, Springer, New York, 201310.1007/978-1-4614-8453-0Suche in Google Scholar

10 Bojanic, R., Prasad, J., Saxena, R.B., An upper bound for the rate of convergence of the Hermite-Fejér process on the extended Chebyshev nodes of the second kind, J. Approx. Theory, 1979, 26,195-20310.1016/0021-9045(79)90057-1Suche in Google Scholar

11 Saxena, R.B., The Hermite-Fejér process on the Tchebycheff matrix of second kind, Stud. Sci. Math. Hungar., 1974, 9, 223-232Suche in Google Scholar

12 Darius, L., González-Vera, P., A Note on Hermite-Fejér Interpolation for the Unit Circle, Appl. Math. Letters, 2001, 14, 997-100310.1016/S0893-9659(01)00078-7Suche in Google Scholar

13 Mason, J.C., Handscomb, D.C., Chebyshev Polynomials, Chapman & Hall/CRC, Boca Raton, 200310.1201/9781420036114Suche in Google Scholar

14 Rivlin, T., The Chebyshev Polynomials, Pure and Applied Mathematics, John Wiley & Sons, New York, 1974Suche in Google Scholar

15 Trefethen, Ll.N., Approximation Theory and Approximation practice, SIAM, Philadelphia, 2013Suche in Google Scholar

Received: 2015-9-28
Accepted: 2016-2-12
Published Online: 2016-3-29
Published in Print: 2016-1-1

© 2016 Berriochoa et al.,

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Artikel in diesem Heft

  1. Regular Article
  2. A metric graph satisfying w41=1 that cannot be lifted to a curve satisfying dim(W41)=1
  3. Regular Article
  4. On the Riemann-Hilbert problem in multiply connected domains
  5. Regular Article
  6. Hamilton cycles in almost distance-hereditary graphs
  7. Regular Article
  8. Locally adequate semigroup algebras
  9. Regular Article
  10. Parabolic oblique derivative problem with discontinuous coefficients in generalized weighted Morrey spaces
  11. Corrigendum
  12. Corrigendum to: parabolic oblique derivative problem with discontinuous coefficients in generalized weighted Morrey spaces
  13. Regular Article
  14. Some new bounds of the minimum eigenvalue for the Hadamard product of an M-matrix and an inverse M-matrix
  15. Regular Article
  16. Integral inequalities involving generalized Erdélyi-Kober fractional integral operators
  17. Regular Article
  18. Results on the deficiencies of some differential-difference polynomials of meromorphic functions
  19. Regular Article
  20. General numerical radius inequalities for matrices of operators
  21. Regular Article
  22. The best uniform quadratic approximation of circular arcs with high accuracy
  23. Regular Article
  24. Multiple gcd-closed sets and determinants of matrices associated with arithmetic functions
  25. Regular Article
  26. A note on the rate of convergence for Chebyshev-Lobatto and Radau systems
  27. Regular Article
  28. On the weakly(α, ψ, ξ)-contractive condition for multi-valued operators in metric spaces and related fixed point results
  29. Regular Article
  30. Existence of a common solution for a system of nonlinear integral equations via fixed point methods in b-metric spaces
  31. Regular Article
  32. Bounds for the Z-eigenpair of general nonnegative tensors
  33. Regular Article
  34. Subsymmetry and asymmetry models for multiway square contingency tables with ordered categories
  35. Regular Article
  36. End-regular and End-orthodox generalized lexicographic products of bipartite graphs
  37. Regular Article
  38. Refinement of the Jensen integral inequality
  39. Regular Article
  40. New iterative codes for 𝓗-tensors and an application
  41. Regular Article
  42. A result for O2-convergence to be topological in posets
  43. Regular Article
  44. A fixed point approach to the Mittag-Leffler-Hyers-Ulam stability of a fractional integral equation
  45. Regular Article
  46. Uncertainty orders on the sublinear expectation space
  47. Regular Article
  48. Generalized derivations of Lie triple systems
  49. Regular Article
  50. The BV solution of the parabolic equation with degeneracy on the boundary
  51. Regular Article
  52. Malliavin method for optimal investment in financial markets with memory
  53. Regular Article
  54. Parabolic sublinear operators with rough kernel generated by parabolic calderön-zygmund operators and parabolic local campanato space estimates for their commutators on the parabolic generalized local morrey spaces
  55. Regular Article
  56. On annihilators in BL-algebras
  57. Regular Article
  58. On derivations of quantales
  59. Regular Article
  60. On the closed subfields of Q¯~p
  61. Regular Article
  62. A class of tridiagonal operators associated to some subshifts
  63. Regular Article
  64. Some notes to existence and stability of the positive periodic solutions for a delayed nonlinear differential equations
  65. Regular Article
  66. Weighted fractional differential equations with infinite delay in Banach spaces
  67. Regular Article
  68. Laplace-Stieltjes transform of the system mean lifetime via geometric process model
  69. Regular Article
  70. Various limit theorems for ratios from the uniform distribution
  71. Regular Article
  72. On α-almost Artinian modules
  73. Regular Article
  74. Limit theorems for the weights and the degrees in anN-interactions random graph model
  75. Regular Article
  76. An analysis on the stability of a state dependent delay differential equation
  77. Regular Article
  78. The hybrid mean value of Dedekind sums and two-term exponential sums
  79. Regular Article
  80. New modification of Maheshwari’s method with optimal eighth order convergence for solving nonlinear equations
  81. Regular Article
  82. On the concept of general solution for impulsive differential equations of fractional-order q ∈ (2,3)
  83. Regular Article
  84. A Riesz representation theory for completely regular Hausdorff spaces and its applications
  85. Regular Article
  86. Oscillation of impulsive conformable fractional differential equations
  87. Regular Article
  88. Dynamics of doubly stochastic quadratic operators on a finite-dimensional simplex
  89. Regular Article
  90. Homoclinic solutions of 2nth-order difference equations containing both advance and retardation
  91. Regular Article
  92. When do L-fuzzy ideals of a ring generate a distributive lattice?
  93. Regular Article
  94. Fully degenerate poly-Bernoulli numbers and polynomials
  95. Commentary
  96. Commentary to: Generalized derivations of Lie triple systems
  97. Regular Article
  98. Simple sufficient conditions for starlikeness and convexity for meromorphic functions
  99. Regular Article
  100. Global stability analysis and control of leptospirosis
  101. Regular Article
  102. Random attractors for stochastic two-compartment Gray-Scott equations with a multiplicative noise
  103. Regular Article
  104. The fuzzy metric space based on fuzzy measure
  105. Regular Article
  106. A classification of low dimensional multiplicative Hom-Lie superalgebras
  107. Regular Article
  108. Structures of W(2.2) Lie conformal algebra
  109. Regular Article
  110. On the number of spanning trees, the Laplacian eigenvalues, and the Laplacian Estrada index of subdivided-line graphs
  111. Regular Article
  112. Parabolic Marcinkiewicz integrals on product spaces and extrapolation
  113. Regular Article
  114. Prime, weakly prime and almost prime elements in multiplication lattice modules
  115. Regular Article
  116. Pochhammer symbol with negative indices. A new rule for the method of brackets
  117. Regular Article
  118. Outcome space range reduction method for global optimization of sum of affine ratios problem
  119. Regular Article
  120. Factorization theorems for strong maps between matroids of arbitrary cardinality
  121. Regular Article
  122. A convergence analysis of SOR iterative methods for linear systems with weak H-matrices
  123. Regular Article
  124. Existence theory for sequential fractional differential equations with anti-periodic type boundary conditions
  125. Regular Article
  126. Some congruences for 3-component multipartitions
  127. Regular Article
  128. Bound for the largest singular value of nonnegative rectangular tensors
  129. Regular Article
  130. Convolutions of harmonic right half-plane mappings
  131. Regular Article
  132. On homological classification of pomonoids by GP-po-flatness of S-posets
  133. Regular Article
  134. On CSQ-normal subgroups of finite groups
  135. Regular Article
  136. The homogeneous balance of undetermined coefficients method and its application
  137. Regular Article
  138. On the saturated numerical semigroups
  139. Regular Article
  140. The Bruhat rank of a binary symmetric staircase pattern
  141. Regular Article
  142. Fixed point theorems for cyclic contractive mappings via altering distance functions in metric-like spaces
  143. Regular Article
  144. Singularities of lightcone pedals of spacelike curves in Lorentz-Minkowski 3-space
  145. Regular Article
  146. An S-type upper bound for the largest singular value of nonnegative rectangular tensors
  147. Regular Article
  148. Fuzzy ideals of ordered semigroups with fuzzy orderings
  149. Regular Article
  150. On meromorphic functions for sharing two sets and three sets in m-punctured complex plane
  151. Regular Article
  152. An incremental approach to obtaining attribute reduction for dynamic decision systems
  153. Regular Article
  154. Very true operators on MTL-algebras
  155. Regular Article
  156. Value distribution of meromorphic solutions of homogeneous and non-homogeneous complex linear differential-difference equations
  157. Regular Article
  158. A class of 3-dimensional almost Kenmotsu manifolds with harmonic curvature tensors
  159. Regular Article
  160. Robust dynamic output feedback fault-tolerant control for Takagi-Sugeno fuzzy systems with interval time-varying delay via improved delay partitioning approach
  161. Regular Article
  162. New bounds for the minimum eigenvalue of M-matrices
  163. Regular Article
  164. Semi-quotient mappings and spaces
  165. Regular Article
  166. Fractional multilinear integrals with rough kernels on generalized weighted Morrey spaces
  167. Regular Article
  168. A family of singular functions and its relation to harmonic fractal analysis and fuzzy logic
  169. Regular Article
  170. Solution to Fredholm integral inclusions via (F, δb)-contractions
  171. Regular Article
  172. An Ulam stability result on quasi-b-metric-like spaces
  173. Regular Article
  174. On the arrowhead-Fibonacci numbers
  175. Regular Article
  176. Rough semigroups and rough fuzzy semigroups based on fuzzy ideals
  177. Regular Article
  178. The general solution of impulsive systems with Riemann-Liouville fractional derivatives
  179. Regular Article
  180. A remark on local fractional calculus and ordinary derivatives
  181. Regular Article
  182. Elastic Sturmian spirals in the Lorentz-Minkowski plane
  183. Topical Issue: Metaheuristics: Methods and Applications
  184. Bias-variance decomposition in Genetic Programming
  185. Topical Issue: Metaheuristics: Methods and Applications
  186. A novel generalized oppositional biogeography-based optimization algorithm: application to peak to average power ratio reduction in OFDM systems
  187. Special Issue on Recent Developments in Differential Equations
  188. Modeling of vibration for functionally graded beams
  189. Special Issue on Recent Developments in Differential Equations
  190. Decomposition of a second-order linear time-varying differential system as the series connection of two first order commutative pairs
  191. Special Issue on Recent Developments in Differential Equations
  192. Differential equations associated with generalized Bell polynomials and their zeros
  193. Special Issue on Recent Developments in Differential Equations
  194. Differential equations for p, q-Touchard polynomials
  195. Special Issue on Recent Developments in Differential Equations
  196. A new approach to nonlinear singular integral operators depending on three parameters
  197. Special Issue on Recent Developments in Differential Equations
  198. Performance and stochastic stability of the adaptive fading extended Kalman filter with the matrix forgetting factor
  199. Special Issue on Recent Developments in Differential Equations
  200. On new characterization of inextensible flows of space-like curves in de Sitter space
  201. Special Issue on Recent Developments in Differential Equations
  202. Convergence theorems for a family of multivalued nonexpansive mappings in hyperbolic spaces
  203. Special Issue on Recent Developments in Differential Equations
  204. Fractional virus epidemic model on financial networks
  205. Special Issue on Recent Developments in Differential Equations
  206. Reductions and conservation laws for BBM and modified BBM equations
  207. Special Issue on Recent Developments in Differential Equations
  208. Extinction of a two species non-autonomous competitive system with Beddington-DeAngelis functional response and the effect of toxic substances
Heruntergeladen am 9.12.2025 von https://www.degruyterbrill.com/document/doi/10.1515/math-2016-0015/html
Button zum nach oben scrollen