The use of fractional derivatives to expand analytical functions in terms of quadratic functions with applications to special functions
Introduction
A fractional derivative of arbitrary order α (integral, rational, irrational or complex), denoted by , is an extension of the familiar nth derivative of the function F(z) with respect to g(z) to non-integral values of n.
This concept has been introduced in many ways, by generalizing the classical definitions of the nth derivative where the order n is replaced by an arbitrary α. Some of these generalizations have been obtained by: (i) the limit of finite differences [19], [29], [51], [3]; (ii) the classical integral along the real axis [30], [54], [67] leads indirectly to a definition of derivative of complex order [14], [26]; (iii) the Cauchy loop-integral can be extended to many-valued integrands, and with an appropriate choice of the contour of integration relative to the branch-cuts, provides definitions of derivative of complex order for functions which are analytic except for isolated singularities [37], [41], [42], [27], [28], [4], [5], [6]. We can find many surveys and discussions on several of these approaches in texts on the fractional calculus [36], [57], [56], [39], [38]. Most of the familiar properties and manipulations from elementary calculus have been extended to fractional calculus. For instance; the association rule [4], [8], [27], the Leibniz rule and its extension [41], [43], [45], [46], [27], the chain rule [42], the Taylor’s and Laurent’s series [7], [9], [44], [47], etc. The study of the special functions of mathematical physics is also facilitated [7], [39], [33], [35] by the introduction of fractional differential operators.
The literature contains many examples of the use of fractional derivatives to solve ordinary [24], partial [15], [17], [55] differential equations and integral equations [16], [17], [23]. Many authors also have investigated differential equations of non-integer order and its applications in various fields of science and engineering: fluid flow, electrical networks, electromagnetic theory, visco-elasticity, electrochemistry of corrosion, mechanics, etc. [2], [39], [18], [32], etc. see more details in [56], [57].
It seems reasonable to assume that important properties of higher transcendental functions [40], [41], [42], [43], [44], [45], [46], [59], [60], [62], [10] and extensions of fractional operators [62], [64], [65], [34] could be derived from a knowledge of rules to manipulate fractional derivatives.
In 1971, Osler obtained with the use of a Cauchy integral formula for fractional derivatives the interesting following generalization for the Taylor’s series involving the fractional derivatives [44, p. 37, Eq. (1.2)]where a is a positive real number, b ≠ z0, ω = exp(2πi/a), α and γ are arbitrary complex numbers, f(z) is an analytic function in a simply connected region and θ(z) = (z − z0)q(z) with q(z) is a regular and univalent function without zero in and K = {0, 1, … , [a]}, [a] being the largest integer not greater then a. If 0 < a ⩽ 1 and θ(z) = z − z0 then K = {0} and the formula (1.1) reduces to (mentioned in the abstract)usually called the Taylor–Riemann formula. The case a = 1 was considered formally by Riemann [54] in 1847 in a manuscript probably never intended for publication. Nevertheless its structure suggests a definition for fractional differentiation. The formula (1.2) was explored by Heaviside [22] and Watanabe [66] for the special cases f(z) = ez and f(z) = zp. In 1945, Hardy [21] used (1.2) for arbitrary functions f(z) and considered this formula as an asymptotic expansion of f(z) and also as a Borel series of f(z) summable . The first analysis on the point-wise convergence of the Taylor–Riemann formula (1.2) for fractional derivative (1.1) of the function f(z) in the complex z-plane seems to have been done by Osler [40, chapter 3]. At this point it is essential to note that all the works mentioned so far consider the expansion of an analytic function f(z) in terms of a power series of (z − z0) but none considered a general expansion of f(z) in terms of a power series of an arbitrary quadratic, cubic or in terms of higher degrees functions.
The purpose of this paper is to obtain the power series of an analytic function f(z) in terms of arbitrary function (z − z1)(z − z2) where zl and z2 are two arbitrary points inside the analycity region of f(z). There are two equivalent forms of our result namely:andwhere P(c) = {C1 ∪ C2 ∪ − C1 ∪ − C2} is Pochhammer’s contour starting and ending at c and made of four loops running around the two branch points zl and z2 as shown in Fig. 1,andThe proof is given in Theorem 3.1 of Section 3 where we determine the region of validity of (1.3), (1.4).
There are several restrictions to be imposed on the functions and parameters in (1.3), (1.4), all of which are listed in the hypothesis of Theorem 3.1. At this point, the following list is considered:
- (i)
α, β and γ are arbitrary complex numbers.
- (ii)
a > 0 is a real and n is the integral index of summation.
- (iii)
z1 and z2 are two fixed points in the z-plane and {z∥θ((z − z1)(z − z2))∣ = ∣θ((z1 − z2)2/4)∣} defines a double-loop curve C = C1 ∪ C2 on which the series (1.4), (1.5) converge with zl ≠ z2.
- (iv)
z is on the loop C1 around the point z1 but z ≠ (z1 + z2)/2.
- (v)
ω = exp(2πi/a).
- (vi)
K is a set of integers k defined by arg(θ{((z1 + z2)/2)2}) < arg(θ{(z − z1)(z − z2)}) + 2π/a < θ{((z1 + z2)/2)2} + 2π.
The general formulas (1.3), (1.4) seem to be new to the authors. Not only that but likewise the simple case f(z) = (θ′(z))−1, q(z) = 1, 0 < a ⩽ 1 gives the following new result:whereis the generalized binomial coefficient. These formula is valid for .
In Section 2, we recall the definition of the fractional derivative using a Pochhamer’s contour definition introduced in [27, p. 331, Eq. 2.9] with δ = 0 (see also [28], [63]) on which is based the proof of the main result given in Theorem 3.1 of the Section 3. A special form is given in Corollaries 3.1 and we also deduce some identities involving special functions and integrals in Section 4.
Section snippets
Pochhammer integral representation for fractional derivative
The most common representation for fractional derivative of zpf(z) of order α found in the literature is the well-known Rieman–Liouville integral [30], [55], [16], [42], [43]which is valid for Re(α) < 0 and Re(p) > − 1. Integration is done on the path along a line from 0 to z in the ξ-plane. By integration by part m times, we easily obtainThis allows the removal of the restriction Re(α) < 0 to Re(α) < m [55]. Eq. (2.1) with (2.2) is a
The main result
In this section, we use the Pochhammer’s contour representation for the fractional derivative to proceed to develop a rigorous derivation of the main result of this paper. Theorem 3.1 (i) Let a be real and positive, and let ω = exp(2πi/a). (ii) Let f(z) be analytic in the simply connected region , with z1 and z2 being interior points of . (iii) Let θ(z) = zq(z) be a given function such that q(z) is regular and univalent for . (iv) Let the set of curves {C(t)∣0 < t ⩽ r}, , defined by
Special cases
In this section we examine some interesting special cases and examples of series which can be obtained from the main formula (1.3) by choosing specific functions f(z) and θ(z) and parameters α, β, γ and a. Many formulas obtained seem to be new for the authors. These different forms of formulas reveal that the fractional derivative is a powerful tool for the discovery of new series involving special functions of mathematical physics. Remark 4.1 In the following examples, K and ω are defined in the statement
Conclusion
It is a well known fact that with the use of fractional calculus most of the formulas of classical calculus can be generalized. An important class of these generalizations involved special functions as illustrated in Section 3 of the present paper. In particular the use of the formalism of the fractional derivative with the Pochhamner’s integral representation has allowed us to find a new series development for f(z). This development has been in terms of quadratic polynomials (Theorem 3.1).
References (68)
Fractional relaxation in anelastic solids
J. Alloys Compd.
(1994)- et al.
New generating functions for Jacobi and related polynomials
J. Math. Anal. Appl.
(1973) Series of hypergeometric type which are infinite in both directions
Quart. J. Math. Oxford Ser.
(1936)Differential equations of noninteger order
Canad. J. Math.
(1954)- et al.
An access to fractional differentiation via fractional difference quotients
On a concept of derivative of complex order with application to special functions
IMA J. Appl. Math.
(1984)On rules of derivation with complex order of analytic and branched functions
Portugal. Math.
(1985)On a systematic approach to some properties of special functions
IMA J. Appl. Math.
(1986)On extensions of Laurent’s theorem in the fractional calculus, with applications to the generating of higher transcendental functions
Mat. Vestnik
(1986)On a branch-point operator and the annihilation of differintegration
SIAM J. Math. Anal.
(1989)
On generalizations of the series of Taylor, Lagrange, Laurent and Texiara
Int. J. Math. Sci.
Application of fractional calculus to the generation of special functions with complex parameters
J. Fract. Calc.
Some generating functions for Laguerre polynomials
Duke Math. J.
On fractional integration and its applications to the theory of Hankel transforms
Quart. J. Math. Oxford Ser.
An integral equation involving Legendre polynomials
SIAM J. Appl. Math.
Axially symmetric potentials and fractional integration
SIAM J. Appl. Math.
Abel Integral Equations: Analysis and Applications
Uber’begrenzte’derivationen und deren Anwendung
Z. Math. Phys.
Die Euler’sschen integrale bei unbeschrankter Varialilitat des Argumentes
Z. Math. Phys.
Riemann’s form of Taylor’s series
J. London Math. Soc.
A hypergeometric function transform
SIAM J. Math. Anal.
On fractional integrals and derivatives
Quart. J. Math. Oxford Ser.
Fundamental properties of fractional derivatives via Pochhammer integrals
Fractional Calculus and its Applications
Fractional derivatives and special functions
SIAM Rev.
Theory of differentiation of fractional order
Mat. Sbornik
Mémoire sur le calcul des différentielles à indices quelconques
J. l’École Polytechn.
Fractional Calculus and Integral Transforms of Generalized Functions
Cited by (25)
Numerical scheme for calculating of the fractional two-power relaxation laws in time-domain of measurements
2012, Computer Physics CommunicationsA symmetric expansion of an analytical function in terms of quadratic functions involving the fractional derivative and some applications to special functions
2024, Montes Taurus Journal of Pure and Applied MathematicsSome examples of application of the operator<inf>z</inf> O<sup>α</sup>β to special functions, in particular to the Christoffel-Darboux identity for orthogonal polynomials
2023, Montes Taurus Journal of Pure and Applied MathematicsFractional Derivatives of Logarithmic Singular Functions and Applications to Special Functions
2021, Montes Taurus Journal of Pure and Applied MathematicsUsing the Well-Poised Fractional Calculus Operator g(z)O<sup>α</sup><inf>β</inf> to obtain transformations of the Gauss hypergeometric function with higher level arguments
2021, Montes Taurus Journal of Pure and Applied MathematicsNew Quadratic Transformations of Hypergeometric Functions and Associated Summation Formulas Obtained with the Well-Poised Fractional Calculus Operator
2020, Montes Taurus Journal of Pure and Applied Mathematics