On interpolation by almost trigonometric splines Текст научной статьи по специальности «Математика»

URAL MATHEMATICAL JOURNAL, Vol. 3, No. 2, 2017

ON INTERPOLATION BY ALMOST TRIGONOMETRIC SPLINES1

Sergey I. Novikov

Krasovskii Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, Ekaterinburg, Russia [email protected]

Abstract: The existence and uniqueness of an interpolating periodic spline defined on an equidistant mesh by the linear differential operator L2n+2(D) = D2(D2 + 12)(D2 + 22) • • • (D2 + n2) with n € N are reproved under the final restriction on the step of the mesh. Under the same restriction, sharp estimates of the error of approximation by such interpolating periodic splines are obtained.

Key words: Splines, Interpolation, Approximation, Linear differential operator.

Introduction

Let D = d/dx, n € N, and let

L2n+2(D) = D2(D2 + 12)(D2 + 22) ■ ■ ■ (D2 + n2) (0.1)

be the (2n + 2)th-order linear differential operator with constant real coefficients. We denote the characteristic polynomial of L2n+2(D) by p2n+2, and let T2n+2 = {0,0, ±i,..., ±in} be the set of its zeros, with each zero repeated according to its multiplicity, where i is the imaginary unit. The kernel of the differential operator (0.1) is the linear space spanned by the system of functions {1,x, sin x, cos x,..., sinnx, cos nx}.

Denote by T the circumference considered as the interval [0,2n] with identified ends, and let II ' Hlp(t) = II ' Hp (1 < P < with the usual modification in the case p = to.

We associate with the differential operator L2n+2(D) the standard class of differentiable functions

W^(L2n+2) = {f € C(2n+1)(T) : f(2n+1) is abs. cont., ||L2n+2(D)f|U < 1}.

Let N € N and h = n/N. Denote by An = {jh : j = 0,1,..., 2N — 1} the uniform mesh on [0,2n) which can be extended on R if required; h is the step of the mesh.

We say that a 2n-periodic function s2n+2 is a periodic almost trigonometric spline with knots at the points of AN if s2n+2 satisfies the following conditions:

1) S2n+2 € C(2n)(T),

2) L2n+2(D)S2n+2(x) =0 Vx € (jh, (j + 1)h), j € Z.

The set of all almost trigonometric splines is denoted by S(L2n+2, AN).

Almost trigonometric splines are a special case of the large family of L-splines defined by linear differential operators (see [2], [3], [8], and others).

The term "almost trigonometric spline" is explained by the fact that such a spline is formed by functions which differ from trigonometric polynomials for only one addend ax, where a is some

1This work was supported by the Program "Modern problems in function theory and applications" of the

Ural Branch of RAS (project no. 15-16-1-4).

constant. This term is not standard, and we use it only not to specify every time by what differential operator the considered splines are defined.

We interpolate at the knots of the mesh AN by elements from S(L2n+2, AN); i.e., for every bounded 2N-periodic sequence y = {yv : v € Z}, yv = yv+2N, we consider the interpolation problem: to find s € S(L2n+2, AN) such that s(vh) = yv, v € Z.

For interpolation by polynomial splines, the existence, uniqueness and estimates of the error of approximation in many classes of functions are well-known (see, for instance, [1, Ch. V], [11], [12], [13], and references therein).

The existence and uniqueness of periodic interpolating L-splines corresponding to an arbitrary linear differential operator with constant real coefficients were established in [10]. As far as almost trigonometric splines are concerned the result in [10] means that if N > n, then for every bounded 2N-periodic interpolated sequence, there exists a unique interpolating almost trigonometric spline.

In the present paper, we give another proof of this result and observe such an important feature that the inequality N > n cannot be replaced by a weaker one (Theorem 1). After this, for N > n, we obtain a sharp estimate of the error of pointwise approximation by periodic interpolating almost trigonometric splines in the class of functions W^(L2n+2) (Theorem 2).

Theorem 1. If N > n, then, for every bounded 2N-periodic sequence {yv }veZ, yv = yv+2N, there exists a unique s € S (C2n+2, AN) such that s(vh) = yv ,v € Z.

If N < n, then periodic interpolating almost trigonometric spline cannot exist.

Let N > n. We set

for 0 < x < h and extend An(x) to the whole real line by the equality An(x + h) = -An(x) for x € R\[0,h].

We show that An € C(2n+1)(T). In the class W^(L2n+2), the deviation from the periodic interpolating almost trigonometric splines is estimated by this function.

Theorem 2. If N > n, then, for every function f € W^(L2n+2), the inequality

holds at any point x € R. The inequality turns into an equality for f (x) = 2An(x).

For interpolation by periodic polynomial splines, inequality (0.3) was proved by Tikhomirov [12]. For N > 3n-1n, inequality (0.3) is a particular case of the author's result [3]. For periodic trigonometric splines, the corresponding result was established by Nguen [5], [6, Ch. 2, §6].

(0.2)

|f (x) - s(f )(x)| < 2|An(x)|

(0.3)

1. Auxiliary results

First, we study the properties of the function An(x). Lemma 1. If N > n, then

Aj)(x) |x=h= -Anj)(x) |x=o, j = 1,3,..., 2n + 1,

and

An)(x) |x=h= An)(x) |x=o= 0, j = 0,2,..., 2n.

Proof. By easy calculations, we verify that An(h) = An(0) = 0 and A^(x) |x=h= —An(x) |x=0. Further,

A>>(x) \x=h = A>>(x) U=0 = X 1 j

2(n!)2 (n - v)! (n + v)! Using the known identity [7, Ch.IV, § 4.2.1, eq. 4], we obtain

f (-1Г-1 (-1Г+"-1 _(-i)"-1

Z^ (n - uV (n -I- iA\ Z^rnU^n -mV '

m

(n — u)\ (n + u)\ ^^m\{2n — m)\ (2n)\ ^^ \mJ 2(n!)2'

From this, it follows that АП(ж) |x=h= АП(ж) |x=0= 0. For j =3,4,..., 2n + 1, we have

ra W ^ (n-v)\(n + v)\ cos(yh/2)

For j = 2k + 1 (k = 1,2,..., n), easy calculations yield

u=*= -Ag^Hx) u=o = (-i)fcE ("ir_1 "2fc_1 ian(uh/2)

V=1

For j = 2k (k = 2,3,..., n), we obtain

(n - v)! (n + v)!

Ai2fc)(x) |x=h = Ai2fc)(ж) |x=0 = (-1)fcE

n ' 1 \ v— 1 ,,2fc—2

=1 (n - v)! (n + v)!

( — 1)n+fc

m=0 \ '

(2n)!m

v y m=0 v '

Here, we used the identity [7, Ch.IV, § 4.2.2, eq. 34]. The lemma is proved. □

We now extend the function An(x) from [0, h] to the whole real line by setting An(x + h) = —An(x). Lemma 1 gives that An belongs to C(2n+1)(R) and is 2n-periodic.

Lemma 2. If N > n, then L2n+2(D)(2An(x)) = sign sin Nx, ж € R.

Proof. Let 0 < ж < h. Since

. vж . v (ж - h) л . ^

sin — sin---= Av cos их + Bv sin их + Cv, и = 1, 2,..., n,

where Av, and Cv are independent of ж, the sum on the right-hand side of (0.2) vanishes by the differential operator D(D2 + 12)(D2 + 22) ■ ■ ■ (D2 + n2). Taking into account that the factors on the right-hand side of (0.1) can be rearranged, we obtain

i^n2 i i2\ cn2 i „2\ / ж(ж — h)\ 1 /г-,2 , i2\ , uw"

D^ + 1") ■ ■ ■ (D* + „0 [^f) = ад!+ ''' + «')(*(* " Л))" = 1-

For ж € R\[0, h], we use the equality Ап(ж + h) = — Ап(ж). □

The next statement is a special case of a result proved in [9] for an arbitrary linear differential operator with constant real coefficients.

Lemma 3. If N > n, then x = 0 is the unique zero of An(x) in [0, h) and this zero is simple.

Proof. By Lemma 1, An(0) = 0. Moreover, the function An(x) coincides, up to a nonzero constant, with some function Pn(x) introduced in [9]. It was proved in [9] that if N > n, then Pn(x) has a unique zero in [0, h) and this zero is simple. Therefore, An(x) has the same property. □

To prove our two theorems, we also need the periodic analog of the Rolle theorem on the relation between the number of zeros of a smooth function p(x) and the number of sign changes of D(D2 + 12)(D2 + 22) ■ ■ ■ (D2 + n2)p(x) on T.

We say that a continuous function f changes sign at some point t0 if the inequality f (to — e)f (to + e) < 0 holds for all sufficiently small e > 0. If f has a jump at the point to, then, instead of f (t0 — e) and f (t0 + e), we write lim f (t) and lim f (t), respectively. Denote

t^to-0 t^to +0

by Z(f, T) the number of zeros of the function f on T, and by v(f, T) the number of sign changes of f ^ 0 on T (the number of sign changes of f = 0 is not defined). The number v(f, T) is always even. We denote by G(T) the set of 2n-functions of bounded variation with a finite number of jumps on the period and absolutely continuous on all intervals of continuity. We also denote by Gm(T) the set of 2n-periodic functions whose derivatives of order m — 2 are absolutely continuous on T and f(m-1) € G(T). Let Tn be the set of trigonometric polynomials of order at most n.

Lemma 4. For every function f € G2n+1(T)\7^, the following inequality holds: v(D(D2 + 12)(D2 + 22) ■ ■ ■ (D2 + n2)f, T) > Z(f, T).

This result was established by Nguen [5] (see also [6]) and is the periodic analog of the Rolle theorem for the trigonometric differential operator.

Note that the periodic analog of the Rolle theorem in the form of Lemma 4 exists not for any linear differential operator. More detailed information on some results and open problems in this area can be found in [4] and references therein.

2. Proofs of Theorems

We now pass directly to the proofs of Theorems 1 and 2.

Proof of Theorem 1. Let N > n. We prove that if s € S(L2n+2, AN) and s(jh) = 0 Vj € Z, then s = 0. After this, the existence and uniqueness of the interpolating periodic almost trigonometric spline for every interpolated periodic sequence is a simple consequence of the Kramer theorem for the corresponding system of linear algebraic equations.

Suppose that there exist s1,s2 € S(L2n+2, AN) such that sk(jh) =0 Vj € Z (k = 1,2) and s1 ^ s2. This means that there is a point x* € AN such that s1(x*) = s2(x*). Let s1(x*) = 0 and C = s2(x*)/s1(x*). Then the function p(x) = Cs1(x) — s2(x) has the following properties:

1) p € S(L2n+2, An);

2) p(jh)=0, j = 0,1,..., 2N — 1;

3) p(x*) = 0.

Thus, p(x) has at least 2N + 1 zeros on the period. From Lemma 4, we have

v(D(D2 + 12)(D2 + 22) ■ ■ ■ (D2 + n2)p, T) > 2N + 1.

But D(D2 + 12)(D2 + 22) ■ ■ ■ (D2 + n2)p(x) is a piecewise constant function with possible jumps at the points of the mesh An. Therefore, this function cannot change sign more than 2N times on T. We have a contradiction from which it easily follows that s1 = s2 = 0.

The inequality N > n cannot be replaced by a weaker one. Indeed, if N = n, then the function sin nx interpolates the sequence y = 0 at the points of AN. This function lies in the kernel of the linear differential operator (0.1) and can be interpreted as an element of the space S(£2n+2, AN). Theorem 1 is proved. □

Proof of Theorem 2 is based on the ideas of [12]. Let N > n. Suppose that (0.3) fails; i.e., there exist a point x* € [0,2n) and a function f € W^(£2n+2) such that the inequality

|f(x*) — s(f)(x*)| > 2|An(x*)|

holds. Define ¿(x) = f (x) — s(f )(x). This function is zero at the points of the mesh AN. According to Lemma 3, the function An(x) vanishes at the same points. From these facts, we have x* € AN. Therefore, there is a number A, 0 < |A| < 1, such that A^(x*) = 2An(x*).

We now introduce the function A(x) = A^(x) — 2An(x). It is zero at all points of the set An U {x*} and possibly also at some other points. Therefore Z(A(x), T) > 2N + 1. It is clear that A € G2n+1(T)\7n. We denote £2n+1(D) = D(D2 + 12)(D2 + 22) ■ ■ ■ (D2 + n2), apply Lemma 4, and obtain

v (L2n+1(D)A(x), T) > 2N + 1. (2.1)

From (0.1) and the definition of almost trigonometric splines, we have the equalities L2n+1(D)^(x) = L2n+1(D)f (x) — Cj on every interval [jh, (j + 1)h), j = 0,1,..., 2N — 1, where Cj are constants. Using the Lagrange finite increments formula and the inequality |A| < 1, we obtain

|L2n+1(D)(AS(t')) — L2n+1(D)(A^(t"))| < |Ln+1(D)f(t') — £2^+1 (D)f(t'')|

= |£2n+2(D)f (e)Ht' — t''| <|t' — t''|

on an arbitrary subinterval [t',t''] C [jh, (j + 1)h) for every interpolated function of our class. From (0.2), it follows that £2n+1(D)(2An(x)) = x — h/2 Vx € [0,h). Hence, |t' — t''| = |£2n+1(D)(2An(t')) — £2n+1(D)(2An(t''))|. Thus,

|£2n+1(D)(AS(t')) — £2n+1(D)(A^(t''))| < |£2n+1(D)(2An(t')) — ¿2n+1(D)(2An(t''))|.

It is easy to see that if |a| < |b|, then sign(b — a) = sign b. Applying this fact, we come to the conclusion that the function £2n+1(D)A(x) changes sign no more than once in every interval [jh, (j + 1)h). If £2n+1(D)A(x) changes sign at the point jh (this is possible if the function is discontinuous at jh), then £2n+1(D)A(x) preserves sign in one of two adjacent intervals ((j—1)h, jh) or (jh, (j + 1)h). Thus, we arrive at the inequality

v (£2n+1(D)A(x), T) < 2N.

The obtained inequality contradicts to (2.1). The simple observation that inequality (0.3) turns into an equality for f = 2An completes the proof. □

Corollary 1. If N > n, then

sup ||f — s(f)||p = 2||An||p, 1 < p< TO,

f €WTC(L2n+2)

and

sup ||f — s(f )|

f €WTC(L2n+2)

h2

+ 4E'

(—l)1' sin2 —p 4

V=1 V2 (n — v)\ (n + Z/)!

We now consider separately the case n = 1, i.e., the case of L-splines corresponding to the differential operator £4(D) = D2(D2 + 1). They belong piecewise to the space span{1,t, sin t, cos t}. These splines generalize the well-known cubic splines and have many applications in numerical analysis for the shape preserving approximation, the description of curves and their parametriza-tion, and other problems (see, for instance, [14], [15], [16], and references therein). In particular (see [15]) these splines are attractive from a geometrical point of view, because they are able to provide parameterizations of conic sections with respect to the arc length so that equally spaced points in the parameter domain correspond to equally spaced points on the described curve.

The restriction on the grid step is the least strong here: h < n/2, and the "minimal" equidistant grid on the period is {0, n/2,n, 3n/2}. Theorem 1 gives the existence and uniqueness of spline interpolants for N > 2. According to Corollary 1, the error of approximation in the class W^(£4)

is

sup f ewœ(£4)

- )IU =

1 +

n

8N2

1

cos ■

n

2N

3. Conclusion

We established that, for 2n-periodic L-splines corresponding to the differential operator (0.1)

on the equidistant mesh with the step h = n/N, the restriction N > n provides the existence and

uniqueness of the £-spline interpolant as well as the exact estimates of the error of approximation.

This restriction is final, i.e., cannot be replaced by a weaker one.

REFERENCES

1. Korneichuk N.P. Splines in approximation theory. Moscow: Nauka, 1984. 352 p. [in Russian]

2. Micchelli C.A. Cardinal L-splines // Studies in spline functions and approximation theory, New York etc.: Acad. Press, 1976. P. 203-250.

3. Novikov S.I. Approximation of the class W^" by interpolation periodic L-splines // Approximation of functions by polynomials and splines, Sverdlovsk: Akad. Nauk SSSR, Ural. Sc. Center, 1985. P. 118-126. [in Russian]

4. Novikov S.I. Generalization of the Rolle theorem // East J. Approx., 1995. Vol. 1, no. 4. P. 571-575.

5. Nguen Thi T.H. The operator D(D2 + 12) • • • (D2 + n2) and trigonometric interpolation // Anal. Math., 1989. Vol. 15, no. 4. P. 291-306. [in Russian]

6. Nguen Thi T.H. Extremal problems for some classes of smooth periodic functions // Doctoral dissertation, 1994. Moscow: Steklov Institute of Math. 219 p. [in Russian]

7. Prudnikov A.P., Brychkov Yu.A., Marichev O.I. Integrals and series. Elementary functions, Moscow: Nauka, 1981. 800 p. [in Russian]

8. Schoenberg I.J. On Micchelli's theory of cardinal L-splines // Studies in spline functions and approximation theory, New York etc.: Acad. Press, 1976. P. 251-276.

9. Shevaldin V.T. A problem of extremal interpolation // Mat. Zametki, 1981. Vol. 29, no. 4. P. 603-622. [in Russian]

10. Shevaldin V.T. Interpolation periodic L-splines with uniform nodes // Approximation of functions by polynomials and splines, Sverdlovsk: Akad. Nauk SSSR, Ural. Sc. Center, 1985. P. 140-147. [in Russian]

11. Stechkin S.B., Subbotin Yu.N. Splines in numerical mathematics. Moscow: Nauka, 1976. 248 p. [in Russian]

12. Tikhomirov V.M. Best methods of approximation and interpolation of differentiable functions in the space C[—1,1] // Mat. Sb., 1969. Vol. 80, no. 122. P. 290-304. [in Russian]

13. Zhensykbaev A.A. Approximation of differentiable periodic functions by splines on a uniform subdivision // Mat. Zametki, 1973. Vol. 13, no. 6. P. 807-816. [in Russian]

14. Zhang J. C-curves: an extension of cubic curves // Comput. Aided Geom. Design, 1996. Vol. 13. P. 199-217.

15. Roman F., Manni C., Speleers H. Spectral analysis of matrices in Galerkin methods based on generalized B-splines with high smoothness // Numer. Math., 2017. Vol. 135, no. 1. P. 169-216. DOI: 10.1007/s00211-016-0796-z

16. Mainar E., Pena J.M., Sanchez-Reyes J. Shape preserving alternatives to the rational Bezier model // Comput. Aided Geom. Design, 2001. Vol. 18. P. 37-60. DOI: 10.1016/S0167-8396(01)00011-5