By means of the Riemann-Liouville fractional calculus, extended Jacobi functions are de fined and some of their properties are obtained. Then, we compare some properties of the extended Jacobi functions extended Jacobi polynomials. Also, we derive fractional differential equation of generalized extended Jacobi functions.

1. Introduction

Fractional calculus is examined by many mathematicians such as Liouville, Riemann, and Caputo. In recent years, the theory of fractional calculus, integrals, and derivatives of fractional orders has become an active research area in mathematical analysis. This theory has also been applied for many fundamental areas such as biology, physics, electrochemistry, economics, probability theory, and statistics [1, 2].

In this paper, we use fractional calculus in the theory of special functions. More precisely, we study the extended Jacobi function via the Riemann-Liouville (fractional) operator. Furthermore, we define a generalized extended Jacobi function which is a solution of the fractional differential equation.

Throughout the paper, we consider the Riemann-Liouville fractional derivative of a function f with order μ defined by

()

where m ∈ ℕ, m − 1 ≤ μ < m, and

()

is the Riemann-Liouville fractional integral of f with order m − μ. Here, Γ denotes the classical gamma function. It is easy to see that the fractional derivative of the power function f(t) = t^α is given by

()

where α ≥ −1, μ ≥ 0, and t > 0. We know from [3] that if f is a continuous function in [0, t] and φ has n + 1 continuous derivatives in [0, t], then the fractional derivative of the product φf, that is, the Leibniz rule, is given as follows:

()

Furthermore, according to Jumarie [4], if both of the functions f(x) and x(t) from ℝ into itself have derivatives of order α, 0 < α < 1, one has the chain derivative rule for fractional calculus:

()

It is well known that the classical Gauss differential equation is given as follows:

()

As usual, (6) has a solution of the hypergeometric function defined by

()

where (λ)_k is the Pochhammer symbol

()

Furthermore, we have the following transformation for the hypergeometric functions

()

where |−x/(1 − x)| < 1, |x| < 1.

Fujiwara [5] studied the polynomial

which is called the extended Jacobi polynomial (EJP) and defined by the Rodrigues formula

()

where α, β > −1 and c > 0. The EJPs

are orthogonal over the interval (a, b) with respect to the weight function ω(x; a, b) = (x−a)^α(b−x)^β. In fact, it is hold that

()

where δ_m,n is the Kronecker delta and min {ℝ(α), ℝ(β)} > −1; m, n ∈ ℕ₀ : = ℕ ∪ {0}.

2. Extended Jacobi Functions (EJFs)

In this section, we define the extended Jacobi functions (EJFs) and obtain their some significant properties.

Definition 1. Assume that α, β > −1 and c > 0. The extended Jacobi functions are defined to be as the following Rodrigues formula:

()

where ν > 0 and d^ν/dx^ν is the Riemann-Liouville fractional differentiation operator.

Theorem 2. The explicit form of the EJFs is given by

()

where α, β > −1 and c > 0.

Proof. If we use the Leibniz rule (4) in (12), then we have

()

It follows from the definition of fractional derivative that

()

From (15) and (14), we get that

()

Using the fact that

()

the proof is completed.

Corollary 3. The another explicit form of the EJFs is given by

()

where α, β > −1 and c > 0.

Proof. This formula can be proved similar to Theorem 2 by taking the following:

()

Remark 4. If we get a = 1, b = −1, and c = 1/2 in (18), then (18) is reduced to the explicit formula satisfied by the g− Jacobi functions in [6].

Theorem 5. The extended Jacobi functions have the following representation:

()

where F is the hypergeometric function defined in (7).

Proof. Writing (x − a)+(a − b) instead of (x − b) in (13) and using binomial expansion, we obtain

()

Using the following identity:

()

we have

()

Substituting (23) in (21), we get that

()

which is the desired result.

Remark 6. If we get a = 1, b = −1, and c = 1/2 in (20), then (20) is reduced to the hypergeometric function representation satisfying the g− Jacobi functions in [6].

Corollary 7. The extended Jacobi functions (EJFs) hold the following hypergeometric function:

()

Proof. Applying (9) to (20), the proof follows.

Remark 8. Taking a = 1, b = −1, and c = 1/2 in Corollary 7, we give the following hypergeometric function representation for the g− Jacobi functions in [6]:

()

Corollary 9. The extended Jacobi functions can be presented as follows:

()

Remark 10. Taking a = 1, b = −1, and c = 1/2 in Corollary 9, we give the following hypergeometric function representation for the g− Jacobi functions in [6]:

()

Corollary 11. The EJFs hold the following hypergeometric function:

()

Proof. Using (9) and (27), we complete the proof immediately.

Remark 12. Taking a = 1, b = −1, and c = 1/2 in Corollary 11, we give the following hypergeometric function representation for the g− Jacobi functions in [6]:

()

Theorem 13. For the extended Jacobi functions, one has

()

Proof. For the proof of (31), it is enough to use Corollaries 7 and 11, respectively.

Theorem 14. The extended Jacobi functions hold the differential equation of second-order

()

Proof. With the help of (6) and (7), the hypergeometric function F(−ν, ν + α + β + 1; α + 1; t) satisfies

()

where 0 ≤ |t| < 1. Writing (a − x)/(a − b) instead of t in the last, we get

()

Thus, the extended Jacobi functions having the hypergeometric function (20) satisfy the above differential equation. Multiplying (32) by (x − a) ^α(b − x) ^β and rearranging, we have the second differential equation.

Theorem 15. The extended Jacobi functions satisfy the following properties:

(i)
,
(ii)
,
(iii)
,
(iv)
,
(v)
,
(vi)
.

Proof. Consider the following.

(i) By (20), we have

()

(ii) By (13), we get

()

(iii) It is enough to take x = a in (13).

(iv) It proof is enough to take x = b in (27).

(v) Using (20) and differentiating with respect to x, the result follows.

(vi) Repeating k times operation in (v), we obtain (vi).

Corollary 16. As a consequence of Theorem 15(v) and (31), one has the following recurrence relations:

()

Now, we compare some properties of the extended Jacobi functions with extended Jacobi polynomials.

(i)
Rodrigues Formula. Consider the following.
Extended Jacobi functions:
()
Extended Jacobi polynomials:
()
(ii)
Explicit Formula. Consider the following.
Extended Jacobi functions:
()
Extended Jacobi polynomials:
()
(iii)
Hypergeometric Representation. Consider the following.
Extended Jacobi functions:
()
Extended Jacobi polynomials:
()
(iv)
Value at x = a. Consider the following.
Extended Jacobi functions:
()
Extended Jacobi polynomials:
()
(v)
Value at x = b. Consider the following.
Extended Jacobi Functions:
()
Extended Jacobi polynomials:
()
(vi)
Differential Equation. Consider the following.
Extended Jacobi functions:
()
Extended Jacobi polynomials:
()
(vii)
Derivation. Consider the following.
Extended Jacobi functions:
()
Extended Jacobi polynomials:
()

3. Generalized Extended Jacobi Functions

In this section, we define a fractional extended Jacobi differential equation and its solution which is the generalized extended Jacobi function.

Definition 17 (see [6].)The fractional hypergeometric differential equation is defined as follows:

()

where 0 < μ ≤ 1.

Definition 18 (see [6].)The fractional hypergeometric matrix function is defined by

()

where 0 < μ ≤ 1 and

()

and the following property

()

holds for ρ > −1.

If we take −ν instead of a, a + b + ν + 1 instead of b, a + 1 instead of c, and t → (a − t)/(a − b) in (53), we obtain the generalized extended Jacobi functions and theirs fractional differential equation.

Definition 19. The fractional extended Jacobi matrix differential equation is defined by

()

where 0 < μ ≤ 1/2.

Definition 20. The generalized extended Jacobi functions (GEJFs) are defined by

()

where

()

and the equation

()

holds for ρ > −1.

Theorem 21. The generalized extended Jacobi function is a solution of (57).

Proof. Using Definitions 17 and 18 and (5), the theorem can be proved.

References

1 Miller K. S. and Ross B., An Introduction to the Fractional Calculus and Fractional Differential Equations, 1993, John Wiley & Sons, New York, NY, USA, MR1219954.
Google Scholar
2 Oldham K. B. and Spanier J., The Fractional Calculus; Theory and Applications of Differentiation and Integration to Arbitrary Order, 1974, Academic Press, New York, NY, USA, Mathematics in Science and Engineering, MR0361633.
Google Scholar
3 Podlubny I., Fractional Differential Equations, 1999, Academic Press, San Diego, Calif, USA, Mathematics in Science and Engineering, MR1658022.
Web of Science® Google Scholar
4 Jumarie G., Fractional Euler′sintegral of first and second kinds. Application to fractional Hermite′s polynomials and to probability density of fractional orders, Journal of Applied Mathematics & Informatics. (2010) 28, no. 1-2, 257–273.
Google Scholar
5 Fujiwara I., A unified presentation of classical orthogonal polynomials, Mathematica Japonica. (1966) 11, 133–148, MR0212232, ZBL0154.06402.
Google Scholar
6 Mirevski S. P., Boyadjiev L., and Scherer R., On the Riemann-Liouville fractional calculus, g-Jacobi functions and F-Gauss functions, Applied Mathematics and Computation. (2007) 187, no. 1, 315–325, https://doi.org/10.1016/j.amc.2007.01.035, MR2323584.
10.1016/j.amc.2007.01.035
Web of Science® Google Scholar

All articles

Extended Jacobi Functions via Riemann-Liouville Fractional Derivative

Abstract

1. Introduction

2. Extended Jacobi Functions (EJFs)

3. Generalized Extended Jacobi Functions

References

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

Extended Jacobi Functions via Riemann-Liouville Fractional Derivative

Abstract

1. Introduction

2. Extended Jacobi Functions (EJFs)

3. Generalized Extended Jacobi Functions

References

References

Related

Information