 Research
 Open Access
 Published:
Twelfth degree spline with application to quadrature
SpringerPlusvolume 5, Article number: 2096 (2016)
Abstract
In this paper existence and uniqueness of twelfth degree spline is proved with application to quadrature. This formula is in the class of splines of degree 12 and continuity order \(C^{12}\) that matches the derivatives up to order 6 at the knots of a uniform partition. Some mistakes in the literature are pointed out and corrected. Numerical examples are given to illustrate the applicability and efficiency of the new method.
Background
In the last two decades, Clarleft et al. (1967) have constructed a direct cubic spline that fits the first derivatives at the knots together with the value of the function and its second derivative at the beginning of the interval. They used it for the solution quadrature formula.
El Tarazi and Karaballi (1990) have constructed five types of even degree splines (\(j=2k,\,\,k=1,2,3,4,5\)) that match the derivatives up to the order k at the knots of a uniform partition for each \(k=1,\,2,\,3,\,4\), and 5. These splines are also applied to quadrature.
Recently, Rathod et al. (2010) presented a formulation and study of an interpolatory cubic spline (named Subbotin cubic spline) to compute the integration over curved domains in the Cartesian two space and the integral approximations (quadrature).
In this work, we construct a twelfth degree spline which interpolates the derivatives up to the order 6 of a given function at the knots and its value at the beginning of the interval. We obtain a direct simple formula for the proposed spline. Error bounds for the function is derived in the sense of the Hermite interpolation. Also, a mistakes in the literature was corrected. Finally, numerical examples and comparison with other available methods are presented to illustrate the usefullness of proposed method.
Description of the spline (existence and uniqueness)
We construct here a class of interpolating splines of degree 12. Error estimates for this spline is also represented.
Let \(0=x_{0}<x_{1}<\cdots<x_{n1}<x_{n}=1\) be a uniform partition of [0, 1]. We denote by \(S^{(6)}_{n,12}\) the linear space of twelfth degree spline s(x) such that

1
\(s(x)\in C^{(6)}[0,1]\);

2
s(x) is a polynomial of degree 12 in each subinterval \([x_i,x_{i+1}]\).
Set the stepsize \(h=x_{i+1}x_{i}\,(i=0(1)n)\). Note that if g is a realvalued function in [0, 1], then \(g_{i}\) stands for \(g(x_{i})\,(i=0(1)n)\).
Theorem 1
Let s(x) be the spline defined in section “Description of the spline (existence and uniqueness)”. Given the real numbers \(f_{0}\) and \(s^{(k)}_{i}=f^{(k)}_{i}\) for \(\,\,i=0(1)n,\,\,k=1(1)6\). Then, there exist a unique \(s(x)\in S^{(6)}_{n,12}\) such that
The twelfth degree spline s(x) which satisfies (1) in \([x_{i},x_{i+1}]\) is of the form:
where
and \(x=x_{i}+th\), \(t\in [0,1]\), with a similar expression for s(x) in \([x_{i1},x_{i}]\).
The coefficient \(s_{i}\) in (2) are given by the recurrence formula:
Proof
We can express any polynomial p(t) in [0, 1] of degree 12 in terms of its values and its derivatives upto order 5 at 0 and 1, and its sixth derivative at 0,
and to determine the coefficients \(A_{j},\,j=0,1,\ldots ,12\), we write the above equality for \(p(t)=1,\,t,\,t^{2},\ldots ,t^{12}\), we obtain the following system:
Solving this system, to obtain \(A_{j},\,\,j=0(1)12\), above.
Now for a fixed \(i\in \{0,\,1,\ldots ,n\}\), set \(x=x_i+th,\,\,0<t<1\). In \([x_i,x_{i+1}]\) the spline s(x) of degree 12 satisfying (1) is
We have a similar expression for s(x) in \([x_{i1},x_i]\). Since \(s(x)\in C^{(6)}[0,1]\), we have
This gives the above recurrence formula (3). Thus, the proof is completed. \(\square\)
Error bounds
In this section, error estimates for the above interpolatory twelfth spline is considered. Note that \(\Vert \cdot \Vert\) represents the \(L_{\infty }\) norm.
Theorem 2
(Birkhoff and Priver 1967; Clarleft et al. 1967; Varma and Howell 1983) Let \(g\in C^{2m}[0,h]\) be given. Let \(p_{2m1}\) be the unique Hermite interpolation polynomial of degree \(2m1\) that matches g and its first \(m1\) derivatives \(g^{(r)}\) at 0 and h. Then
where
The bounds in (2) are best possible for \(r=0\) only.
Theorem 3
Suppose that s(x) be the twelfth degree spline defined in section “Description of the spline (existence and uniqueness)” and \(f\in C^{13}[0,1]\) , then for any \(x\in [0,1]\) we have
Proof
Since \(s'(x)\) is the Hermite interpolation polynomial of degree 11 matching \(f^{(j)},\,\,(j=1,2,\ldots ,6)\) at \(x=x_{i}\) and \(x_{i+1}\). So, by using (2) for \(x\in [x_{i},x_{i+1}]\) (with \(\; m=6,\,g=f',\;\text {and}\; p_{1}=s'\)), we have (see Clarleft et al. 1967)
Because \(x_i\le x\le x_{i+1}\) so that \((xx_i)(x_{i+1}x)\le h^2\) and hence
Then for any \(x\in [0,1]\) and \(r=0\) this becomes
Integrating over [0, x] and using \(s(0)=f(0)\), the last equation becomes
Thus we have proved the theorem. \(\square\)
Remark 1
The inequality (6) provides a correction of inequalities (5), (10), (15.4), (20), and (25) in El Tarazi and Karaballi (1990).
Algorithms
We have to use following steps for solving a problem:
 Step 1 :

Note that the above formulation and analysis was done in [0, 1]. However, this does not constitute a serious restriction since the same techniques can be carried out for the general interval [a, b]. This is achieved from [a, b] to [0, 1] using the linear transformation
$$\begin{aligned} x&=\frac{1}{ba}t\frac{a}{ba} \end{aligned}$$(7)  Step 2 :

Use (3) to compute \(s_{i}\), \((i=0(1)n)\).
 Step 3 :

Use (2) to compute s(x) at n equally spaced points in \([x_{i},x_{i+1}],\;(i=1(1)n)\).
Illustrations
In this section, we illustrate the numerical technique discussed in the previous section by the following problems, in order to illustrate the comparative performance of the proposed spline method over other existing spline methods. All computations are performed using MATLAB 12b.
Example 1
Consider the following Logarithmic Function (El Tarazi and Karaballi 1990; Rathod et al. 2010):
The numerical solutions using twelfth degree spline are represented in Table 1, in case of \(h=0.1\). In Table 2, maximum errors are reported corresponding to the present spline method and the spline method in El Tarazi and Karaballi (1990) for various values of h. Tables 3 and 4 show the comparison of the proposed spline method with the standard cubic splines (natural, clamped and a not a knot) and Subbotin cubic spline method developed in Rathod et al. (2010). Also, the exact and the numerical solutions are plotted in Fig. 1 for the step size \(h=1/20\). It has been observed that our method is more efficient.
Example 2
Consider the following function (Phythian and Williams 1986):
The numerical solutions using twelfth degree spline are represented in Table 5, for \(h=0.1\). The maximum absolute errors are tabulated in Table 6 for various values of h and compared with Anwar and ElTarazi (1989). Figure 2 illustrates the comparison of numerical solution and analytical solution values at \(h=1/40\). The proposed numerical solution gives almost overlapping behavior with the corresponding exact solution values.
Example 3
Consider the Indefinite integral of Runge Function (Rathod et al. 2010):
Table 7 demonstrates the comparison of the proposed spline method with the Subbotin cubic spline method developed in Rathod et al. (2010).
Example 4
Finally, we consider the Normal Distribution (Rathod et al. 2010):
The numerical results are tabulated in Table 8. Also comparison is made with the existing method in Rathod et al. (2010).
It is clear from the Tables 1, 2, 3, 4, 5, 6, 7 and 8 that our methods are better than the other existing methods. The results of our methods are better than those has lower order (Anwar and ElTarazi 1989; El Tarazi and Karaballi 1990; Rathod et al. 2010).
Conclusion
In this paper, the existence and uniqueness of a twelfth degree spline are derived and in which we have obtained a direct simple formula. This formula is agree with those obtained in Clarleft et al. (1967), El Tarazi and Karaballi (1990), Phythian and Williams (1986), where a different approach was used. Moreover, the performance of the proposed twelfth degree spline with the even degree splines (El Tarazi and Karaballi 1990), direct cubic spline (Anwar and ElTarazi 1989), standard cubic splines (natural, clamped and a not a knot) and Subbotin cubic spline (Rathod et al. 2010; Rathod et al. 2010). For which, error estimates and numerical examples are presented. On the basis of the examples, the proposed method yields much better results than the other methods. Also, a mistake is corrected in the literature that occurred in error bounds.
References
Anwar M, ElTarazi M (1989) Direct cubic spline with application to quadrature. Commun Appl Numer Methods 5:237–246
Birkhoff G, Priver A (1967) Hermite interpolation errors for derivatives. J Math Phys 46:440–447
Clarleft P, Schultz M, Varga R (1967) Numerical methods of highorder accuracy. Numer Math 9:394–430
El Tarazi M, Karaballi A (1990) On evendegree splines with application to quadrature. J Approx Theory 60:157–167
Phythian J, Williams R (1986) Direct cubic spline approximation to integrals. Int J Numer Methods Eng 23:305–315
Rathod HT, Shrivalli HY, Nagarajac KV (2010) On a new cubic spline interpolation with application to quadrature. Int J Math Anal 4:1387–1415
Varma A, Howell G (1983) Best error bounds for derivatives in two point Birkhoff interpolation problems. J Approx Theory 38:258–268
Authors’ contributions
POM is one of the authors of the original idea, mathematical background and all numerical simulations. He proved the Existence and Uniqueness of the proposed method and presented the first two examples. FKH made substantial contributions to the design and execution of this study and made critical revisions to the manuscript. He also presented and solved the last two examples. POM and FKH both provided the guidance and reviewed the manuscript. Both authors read and approved the final manuscript.
Acknowledgements
The work was supported by the University Of Human Development (UHD). The authors would like to thank the referees for their useful and constructive comments.
Competing interests
The authors declare that they have no competing interests.
Author information
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 Interpolation
 Spline approximation
 Quadrature
Mathematics Subject Classification
 65D05
 65D07
 41A15