Abstract
We present a variant of the classical integration by parts to introduce a new type of Taylor series expansion and to present some closed forms for integrals involving Jacobi and Laguerre polynomials, which cannot be directly obtained by usual symbolic computation programs, i.e., only some very specific values can be computed by the mentioned programs. An error analysis is given in the sequel for the introduced expansion.
Similar content being viewed by others
1 Introduction
Let \(\lbrace x_{j}\rbrace_{j=0}^{n}\in [a,b] \) and \(\lbrace f_{j}\rbrace_{j=0}^{n} \), which may be samples of a function, say \(f(x) \), be given. The main aim of an interpolation problem is to find an appropriate model to approximate \(f(x) \) at any arbitrary point of \([a,b] \) other than \(x_{j} \). In other words, if \(\Psi(x;a_{0},\ldots,a_{n}) \) is a family of functions of a single variable x with \(n+1 \) free parameters \(\lbrace a_{j}\rbrace_{j=0}^{n} \), then the interpolation problem for Ψ consists of determining \(\lbrace a_{j}\rbrace_{j=0}^{n} \) so that, for \(n+1 \) given real or complex pairs of distinct numbers \(\lbrace (x_{j},f_{j}) \rbrace_{j=0}^{n} \), we have
For a polynomial type interpolation problem, various classical methods, such as Lagrange, Newton, and Hermite interpolations, are used. Lagrange’s interpolation as a classical method for approximating a continuous function \(f:[a,b]\to\mathbb{R} \) at \(n+1\) distinct nodes \(a\le x_{0}<\cdots<x_{n}\le b\) is applied in several branches of numerical analysis and approximation theory. It is expressed in the form [1, pp. 39–40]
for
where \(w_{n}(x)=\prod_{j=0}^{n}(x-x_{j})\) is the node polynomial and \(\ell_{j}^{(n)}(x) \) are the Lagrange polynomials.
Then \({\mathrm{P}}_{n}(f;x) \) is a unique element in the space of all polynomials of degree at most n, say \(\mathcal{P}_{n}\), which solves the interpolation problem
For non-polynomial type interpolation problems, an interpolating function of the form
is usually considered [2], where \(\lbrace u_{j}(x) \rbrace_{j=0}^{n} \) is a set of linearly independent real-valued continuous functions on \([a,b] \) and \(\lbrace a_{j}\rbrace_{j=0}^{n} \) are determined by the initial conditions
The function \(\psi_{n}(x) \) exists and is unique in the space of \(\text{span}\lbrace u_{j} \rbrace_{j=0}^{n} \) for all \(f\in C[a,b] \) if and only if the matrix \(\lbrace u_{j}(x_{k}) \rbrace_{j,k=0}^{n} \) is nonsingular.
The general case of an interpolation problem was proposed by Davis [3] containing all the above-mentioned cases. It is indeed concerned with reconstructing functions on a basis of certain functional information, which are linear in many cases. Let Π be a linear space of dimension \(n+1 \) and \(L_{0},L_{1},\ldots, L_{n} \) be \(n+1 \) given linear functionals defined on Π, which are independent in \(\Pi^{*} \) (the algebraic conjugate space of Π). For a given set of values \(w_{0},w_{1},\ldots , w_{n} \), we can find an element \(f\in \Pi \) such that
Hence, one can construct new interpolation formulae using linear operators [4]. For instance, considering \(\Pi=\mathcal{P}_{n} \) and linear independent functionals as
leads to Taylor’s interpolation problem.
Davis also mentioned that the expansion of a function based on a series of predetermined (basis) functions can be interpreted as an interpolation problem with an infinite number of conditions. See also [5] in this regard.
The problem of the representation of an arbitrary function by means of linear combinations of prescribed functions has received a lot of attention in approximation theory. It is well known that a special case of this problem directly leads to the Taylor series expansion where the prescribed functions are monomial bases [6].
The main aim of this paper is to introduce a new type of Taylor series expansion through a variant of the classical integration by parts. In the next section, we present the general form of this expansion and consider some interesting cases of it leading to new closed forms for integrals involving Jacobi and Laguerre polynomials. Also, an error analysis is given in Sect. 3 for the introduced expansion.
2 A new type of Taylor series expansion
Let F and G be two smooth enough functions such that repeated differentiation and repeated integration by parts are allowed for them. The rule of integration by parts [7] allows one to perform successive integrations on the integrals of the form \(\int F(t) G(t) \,dt\) without tedious algebraic computations.
By the general rule
one obtains
where \(G_{n} \) denotes the nth antiderivative of G.
Formula (1) provides a straightforward proof for Taylor’s theorem with an integral remainder term, according to the following result.
Theorem 2.1
Let \(f\in C^{n+1}[a,b] \) and \(x_{0}\in [a,b] \). Then, for all \(a\leq x \leq b \), we have
Proof
For a classical proof using different arguments, see, e.g., [3]. However, if in (1) one chooses \(F(t)=\frac{1}{n!}(x-t)^{n} \), \(G(t)=f^{(n+1)}(t) \) and then calculates
formula (2) is obtained. □
For a given function f, assume in (1) that \(G(t)=f^{(n+1)}(t) \) and \(F(t)=p_{n}(x-t) \), where \(p_{n}(x)=\sum_{k=0}^{n}c_{k}x^{k} \) is an arbitrary polynomial of degree n. So, we have
which is equivalent to
and can be written as
Remark 1
If \(p_{n}(x-t)=\frac{1}{n!}(x-t)^{n} \), then \(c_{j}=0 \) for every \(j=0,1,\ldots,n-1 \) and \(c_{n}=\frac{1}{n!} \). In this case, (3) is reduced to
which is the same as formula (2).
Now, let us consider some particular examples of the main formula (3). We would like to notice here that the closed forms for the integrals involving Jacobi and Laguerre polynomials in the following examples are new in the literature (see, e.g., [8, 9]) to the best of our knowledge, and they can be computed only for specific values of the parameters by using symbolic computation.
Example 2.2
Let \(p_{n}(x)=P_{n}^{(\alpha,\beta)}(x) \) be the Jacobi polynomials [10]. It is known that, for \(\alpha,\beta>-1\),
satisfies the orthogonality relation
where
Moreover, they satisfy the important relation
Now, according to (3), we obtain
For instance, if \(f(x)=\frac{1}{1-x} \), then
and relation (4) for \(a=0 \) and \(x<1 \) reads as
Also if for example \(f(x)=e^{x} \), then for \(a=0 \) we obtain
Remark 2
In Example 2.2, choosing \(\alpha=\beta=-\frac{1}{2} \) gives the first kind of Chebyshev polynomials [10] as
with
This means that
Hence, replacing \(p_{n}(x)=T_{n}(x) \) in (3) gives
For instance, if \(f(x)=e^{x} \), then
and for \(x=a \) we obtain
Another special case of Jacobi polynomials is the Legendre polynomials, which are directly derived from the definition of \(P_{n}^{(\alpha,\beta)}(x) \) for \(\alpha=\beta=0 \) and has the explicit representation [10]
Hence, according to (4), we obtain
in which
For instance, replacing \(f(x)=\cos x \) for \(a=0 \) in (5) gives
generating many new identities for different values of x.
Example 2.3
For \(\alpha>-1\), let \(p_{n}(x)=L_{n}^{(\alpha)}(x) \) be the Laguerre polynomials [10] given by
It is known that
Hence, according to (3), we have
As a special case, assume that \(f(x)=xe^{x} \). Since \(\frac{{\mathrm{d}}^{k}}{{\mathrm{d}}x^{k}} (xe^{x})=(x+k)e^{x}\), we get
For instance, if \(x=1 \) and \(a=0 \) in (6), then
For \(\alpha=0\), the right-hand side of (7) can be expressed in terms of hypergeometric series and evaluations of Laguerre polynomials as
For \(\alpha \neq 0\), the right-hand side of (7) can be written as
where the latter sum can be expressed in terms of hypergeometric series as
For more certain new, interesting, and useful integrals and expansion formulas involving the hypergeometric function and the Laguerre polynomials, see [11].
3 Error analysis
It is clear that relation (3) can be considered as an approximation. This means that the expression \(\sum_{k=0}^{n}k! c_{k} f^{(n-k)}(x)\) can be approximated by \(\sum_{k=0}^{n}p_{n}^{(k)}(x-a)f^{(n-k)}(a) \), which is indeed a polynomial of degree n. Hence, the exact remainder [3] of this approximation reads as
Now, if \(f\in C^{n+1}[a,b] \), a direct result for the corresponding error term is that
where \(M_{n}=\max_{a\leq t \leq x}\vert f^{(n+1)}(t)\vert \).
Moreover, if the polynomial \(p_{n}(\cdot) \) is nonnegative on \([0,x-a] \), e.g., when the coefficients \(\lbrace c_{k}\rbrace_{k=0}^{n} \) are all nonnegative, then we have
and therefore
For instance, let us consider the function \(f\in C^{(n+1)}[0,1] \) and choose the polynomial as
Then we obtain
As another example, consider the polynomial \(p_{n}(x)=\sum_{k=0}^{n} \frac{(m)_{k}}{k!} x^{k} \) for \(0< m<1 \), where \((m)_{k}=\prod_{j=0}^{k-1}(m+j) \) is the Pochhammer symbol. If \(f\in C^{(n+1)}[0,1] \), then for any \(x\in [0,1] \) we obtain
Now if \(n\rightarrow\infty \), then we get
where \(_{2}F_{1}(m,1;2;x) \) denotes the Gauss hypergeometric function [12]. For instance, replacing \(f(x)=e^{x} \) in (8) yields
and the error bound for \(x=1 \) can be computed as
where we have used the Gauss formula [13, 14]
References
Mastroianni, G., Milovanović, G.V.: Interpolation Processes—Basic Theory and Applications. Springer Monographs in Mathematics. Springer, Berlin (2008)
Sloan, I.H.: Nonpolynomial interpolation. J. Approx. Theory 39, 97–117 (1983)
Davis, P.J.: Interpolation and Approximation. Dover, New York (1975)
Masjed-Jamei, M.: On constructing new interpolation formulas using linear operators and an operator type of quadrature rules. J. Comput. Appl. Math. 216, 307–318 (2008)
Masjed-Jamei, M.: On constructing new expansions of functions using linear operators. J. Comput. Appl. Math. 234, 365–374 (2010)
Widder, D.V.: A generalization of Taylor’s series. Trans. Am. Math. Soc. 30, 126–154 (1927)
Horowitz, D.: Tabular integration by parts. Coll. Math. J. 21, 307–311 (1990)
Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series and Products. Academic Press, London (1980)
Prudnikov, A.P., Brychkov, Yu.A., Marichev, O.I.: Integrals and Series, Volumes 2 and 3. Gordon & Breach, New York (1986)
Szegö, G.: Orthogonal Polynomials. Am. Math. Soc., Providence (1975)
Agarwal, P., Qi, F., Chand, M., Jain, S.: Certain integrals involving the generalized hypergeometric function and the Laguerre polynomials. J. Comput. Appl. Math. 313, 307–317 (2017)
Slater, L.J.: Generalized Hypergeometric Functions. Cambridge University Press, Cambridge (1966)
Agarwal, P., Jain, S., Choi, J.: Certain q-series identities. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 111, 139–146 (2017)
Ruzhansky, M., Cho, Y.J., Agarwal, P., Area, I. (eds.): Advances in Real and Complex Analysis with Applications. Springer, Singapore (2017)
Acknowledgements
The work of the first author has been supported by the Alexander von Humboldt Foundation under the grant number: Ref 3.4–IRN–1128637–GF-E. The third and fourth authors thank for the financial support from the Agencia Estatal de Innovación (AEI) of Spain under grant MTM2016–75140–P, co-financed by the European Community fund FEDER and Xunta de Galicia, grants GRC 2015–004 and R 2016/022.
Author information
Authors and Affiliations
Contributions
Each of the authors contributed to each part of this study equally and read and approved the final version of the paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Cite this article
Masjed-Jamei, M., Moalemi, Z., Area, I. et al. A new type of Taylor series expansion. J Inequal Appl 2018, 116 (2018). https://doi.org/10.1186/s13660-018-1709-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1709-8