Convolution Series and the Generalized Convolution Taylor
Total Page:16
File Type:pdf, Size:1020Kb
CONVOLUTION SERIES AND THE GENERALIZED CONVOLUTION TAYLOR FORMULA YURI LUCHKO Abstract. In this paper, we deal with the convolution series that are a far reach- ing generalization of the conventional power series and the power series with the fractional exponents including the Mittag-Leffler type functions. Special attention is given to the most interesting case of the convolution series generated by the So- nine kernels. In this paper, we first formulate and prove the second fundamental theorem for the general fractional integrals and the n-fold general sequential frac- tional derivatives of both the Riemann-Liouville and the Caputo types. These results are then employed for derivation of two different forms of a generalized convolution Taylor formula for representation of a function as a convolution poly- nomial with a remainder in form of a composition of the n-fold general fractional integral and the n-fold general sequential fractional derivative of the Riemann- Liouville and the Caputo types, respectively. We also discuss the generalized Tay- lor series in form of convolution series and deduce the formulas for its coefficients in terms of the n-fold general sequential fractional derivatives. 1. Introduction The power series are a very important instrument both in mathematics and its applications. Without any loss of generality, a power series can be represented in the form +∞ Σ(x)= aj hj (x), aj R, (1) +1 ∈ j=0 X where with hβ we denote the following power function xβ−1 h (x)= , β> 0. (2) β Γ(β) n−1 arXiv:2107.10198v3 [math.CA] 2 Aug 2021 A given function f (f C ( δ, δ), δ > 0) can be approximated by its Taylor polynomial through the∈ well-known− Taylor formula n−1 (j) f(x)= aj hj (x) + rn(x), aj = f (0), j =0, 1,...,n 1 (3) +1 − j=0 X with the remainder rn = rn(x) in different forms including the one suggested by Lagrange (for the functions f Cn( δ, δ)): ∈ − (n) rn(x)= f (ξ) hn (x), ξ (0, x). (4) +1 ∈ 2010 Mathematics Subject Classification. 26A33; 26B30; 44A10; 45E10. Key words and phrases. Convolution series, convolution polynomials, Sonine kernel, general fractional derivative, general fractional integral, sequential general fractional derivative, generalized convolution Taylor formula. 1 2 YURI LUCHKO In the case of a function f C∞( δ, δ), its Taylor series is introduced by letting n go to + in the formula (3):∈ − ∞ +∞ (j) f(x)= aj hj+1(x), aj = f (0). (5) j=0 X To illustrate the main objects of this paper, let us represent the power function hj+1 from the formulas (1), (3), and (5) as a convolution power. We start with the following important formula that is a direct consequence from the well-known representation of the Euler Beta-function in terms of the Gamma-function: (hα hβ)(x) = hα β(x), α,β> 0, x> 0, (6) ∗ + where is the Laplace convolution ∗ x (f g)(x)= f(x ξ)g(ξ) dξ. (7) ∗ − Z0 Then, by repeatedly applying the formula (6), we get the representation <n> h (x)= hnα(x), n N, (8) α ∈ where the expression g<n> stands for a convolution power 1, n =0, g(x), n =1, g<n>(x) := (9) (g ... g)(x), n =2, 3,.... ∗ ∗ n times Setting α = 1 in the formula (8) leads| {z to the} representation <n> h1 (x)= hn(x), j =0, 1, 2 .... (10) Denoting h1 with κ, the formulas (1), (3), and (5) can be rewritten as follows: +∞ <j+1> Σκ(x)= aj κ (x), (11) j=0 X n−1 <j+1> f(x)= aj κ (x) + rn(x), aj = a(f, κ, j), (12) j=0 X +∞ <j+1> f(x)= aj κ (x), aj = a(f, κ, j). (13) j=0 X The series in form (11) with the functions κ that are continuous on the positive real semi-axis and can have an integrable singularity at the origin were recently introduced and studied in [1] in the framework of an operational calculus for the general fractional derivatives with the Sonine kernels. In [1], these series were called convolution series. In the case, the function κ is a Sonine kernel, solutions to the initial-value problems for the linear single- and multi-term fractional differential equations with the n-fold general fractional derivatives were derived in [1] in terms of the convolution series (11). The main focus of this paper is on the generalized convolution Taylor formula in form (12) and the generalized convolution Taylor series in form (13) with the Sonine CONVOLUTION SERIES 3 kernels κ. It is worth mentioning that some generalizations of the Taylor formula (3) and the Taylor series (5) to the case of the power series with the fractional exponents have been already considered in the literature (see [2] and the references therein). In this paper, we obtain some formulas of this kind as a particular case of our general results while specifying them for the Sonine kernel κ(x)= hα(x), 0 <α< 1. The rest of the paper is organized as follows. In the 2nd Section, we introduce the main tools needed for derivation of our results including the suitable spaces of functions, the Sonine kernels, and the general fractional integrals and derivatives with the Sonine kernels. The 3rd Section is devoted to the generalized Taylor series in form of a convolution series generated by the Sonine kernels. In particular, the formulas for the coefficients of the generalized convolution Taylor series in terms of the generalized fractional integrals and derivatives are derived and some particular cases are discussed in details. In the 4th Section, the convolution Taylor polyno- mials, approximations of the functions from some special spaces in terms of these polynomials (generalized convolution Taylor formula), as well as the formulas for a remainder in the generalized convolution Taylor formula are presented. 2. Preliminary results Recently, the general fractional integrals (GFIs) and the general fractional deriva- tives (GFDs) with the Sonine kernels became a subject of active research in Frac- tional Calculus (FC), see [1, 3–10]. In this paper, we first derive the second funda- mental theorem for the n-fold general sequential fractional derivatives of both the Riemann-Liouville and the Caputo types and then employ them for derivation of the generalized convolution Taylor formulas in two different forms. The GFD in the Riemann-Liouville sense is defined in form of the following integro-differential operator of convolution type d d t (D f)(x)= (k f)(x)= k(x ξ)f(ξ) dξ, (14) (k) dx ∗ dx − Z0 whereas in the definition of the GFD in the Caputo sense the order of differentiation and integration is interchanged: t ′ ′ ( D k f)(x)=(k f )(x)= k(x ξ)f (ξ) dξ. (15) ∗ ( ) ∗ − Z0 The prominent particular cases of the GFDs (14) and (15) are the Riemann- Liouville and the Caputo fractional derivatives of order α, 0 <α< 1 (k(x) = h1−α(x), 0 <α < 1), the multi-term Riemann-Liouville and Caputo fractional n R derivatives (k(x) = k=1 ak h1−αk (x), 0 < α1 < < αn < 1, ak , k = 1,...,n), and the Riemann-Liouville and Caputo fractional··· derivatives of dis∈ tributed 1 P order (k(x)= 0 h1−α(x) dρ(α) with a Borel measure ρ defined on the interval [0, 1]). For other particular cases see [7, 8] and the references therein. For applications of the GFDs in generalR fractional dynamics and in general non-Markovian quantum dynamics we refer the interested readers to the recent publications [11, 12]. It is worth mentioning that the Laplace convolution of the kernel κ(x)= hα(x), α> 0 with a function f is known as the Riemann-Liouville fractional integral of order 4 YURI LUCHKO α: x α 1 α−1 I f (x)=(hα f)(x)= (x ξ) f(ξ) dξ, x> 0. (16) 0+ ∗ Γ(α) − Z 0 Thus, the Riemann-Liouville fractional derivative of order α, 0 <α< 1 can be represented as a composition of the first-order derivative and the Riemann-Liouville fractional integral of order 1 α: − α d d 1−α (D f)(x)= (h α f)(x)= (I f)(x), x> 0. (17) 0+ dx 1− ∗ dx 0+ The Caputo fractional derivative is the Riemann-Liouville fractional integral of order 1 α applied to the first order derivative of a function f: − α ′ 1−α ′ ( D f)(x)=(h α f )(x)=(I f )(x), x> 0. (18) ∗ 0+ 1− ∗ 0+ Applying the formula (6) to the kernels hα(x) and h1−α(x) of the Riemann- Liouville fractional integral and the Riemann-Liouville or Caputo fractional deriva- tives, respectively, we get the relation (hα h α)(x)= h (x)= 1 , 0 <α< 1, x> 0, (19) ∗ 1− 1 { } where by 1 we denote the function that is identically equal to 1. In [13],{ the} general kernels κ, k that satisfy the condition (κ k)(x)= h (x)= 1 , x> 0 (20) ∗ 1 { } have been introduced and studied. Nowadays, the functions that satisfy the condition (20) (Sonine condition) are called the Sonine kernels. For a Sonine kernel κ, the kernel k that satisfies the Sonine condition (20) is called its associated kernel. Of course, κ is then an associated kernel to k. The set of the Sonine kernels is denoted by . It was known already to Sonine ( [13]) that theS GFD (14) with the Sonine kernel k and the GFI with its associated kernel κ in form t (I κ f)(x)=(κ f)(x)= κ(x ξ)f(ξ) dξ (21) ( ) ∗ − Z0 satisfy the so called 1st fundamental theorem of FC (see [14]), i.e., d d (D I f)(x)= (k (κ f))(x)= ( 1 f)(x)= f(x) (22) (k) (κ) dx ∗ ∗ dx { } ∗ on the corresponding spaces of functions.