Analytical properties and solution methods of differential equations involving Atangana–baleanu fractional operators
Namrata Pandey1*, Dr. Neelam Pandey2
1 Research Scholar of Mathematics, Govt. Model Science College, A.P.S. University, Rewa, Madhya Pradesh, India
namrata503044@gmail.com
2 Professor of Mathematics, Govt. Model Science College, A.P.S. University, Rewa, Madhya Pradesh, India
Abstract: The fractional calculus is known as a powerful mathematical tool for the description of systems with memory, hereditary properties and non-locality. The Atangana–Baleanu (AB) fractional operators based on the non-singular, non-local Mittag-Leffler kernel has attracted much research attention of the fractional operators developed to overcome the singular-kernel limitations of the classical Riemann–Liouville and Caputo derivatives. In this paper, a systematic analytical study of differential equations with Atangana-Baleanu fractional operators are presented. We introduce an extended modified Atangana-Baleanu Caputo derivative together with its associated integral operator and prove their main properties including linearity, boundedness, non-locality and consistency with the classical derivatives. A generalised Laplace transform of the extended operator is derived and employed to develop methods for analytical solutions of linear and nonlinear Atangana-Baleanu fractional differential equations (AB-FDEs) including initial value and boundary value problems. Existence, uniqueness and Ulam-Hyers stability of solutions are proved via Banach and Krasnoselskii type fixed point theorems. Furthermore, within the extended AB framework we obtain new fractional derivative relations for the Gamma, Beta, hypergeometric and orthogonal polynomial functions. Numerical examples are provided to validate the theoretical results and a comparative discussion is provided to place the Atangana–Baleanu operator with regard to classical fractional derivatives. The results provide analytical tools that help in the treatment of memory dependent differential equations arising in applied mathematics, physics and engineering.
Keywords: Atangana–Baleanu fractional derivative, Mittag-Leffler kernel, fixed-point theorem, Laplace transform, Ulam–Hyers stability,Fractional calculus
INTRODUCTION
Fractional calculus has gained significance in recent years as an analytical tool for modeling complex dynamical systems with memory and inheritance. Whereas classical calculus limits differentiation and integration to integers, fractional calculus extends differentiation and integration to any real or complex order. The ability of a single operator to represent the whole history of a process is critical in modeling viscoelastic materials, anomalous diffusion, control systems, and other physical and engineering applications not adequately represented by integer-order models. The earliest and most frequently encountered fractional operators are the Riemann–Liouville (RL) and Caputo derivatives. However, both types are based on power-law or singular kernels with singularities at zero. This gives rise to analytical and computational problems, especially in modeling systems with smooth and gradually decreasing memory (Caputo, 1967). To remedy these problems, nonsingular kernel operators have been proposed. The Caputo–Fabrizio operator, which utilizes an exponential kernel, became available in 2015; shortly thereafter, Atangana and Baleanu introduced a fractional operator based on the Mittag-Leffler function — the Mittag-Leffler function is itself an appropriate generalization of the exponential function and can be closely associated with the solutions to fractional differential equations (Atangana &Baleanu, 2016).
The Atangana–Baleanu (AB) operator is available in RiemannLiouville (ABR) and Caputo (ABC) forms, and combines non-singularity and nonlocality such that it provides a more physically realistic representation of memory effects compared to either classical power-law operators or the Caputo–Fabrizio operator. Since its introduction, the AB operator has provided a framework for reformulating a wide variety of differential equations. The analytical properties of the AB operator, the integral transforms associated with the AB operator, and the methods of numerically implementing the AB operator have led to a large body of literature (Baleanu, Fernandez & Akgül, 2018). In spite of this progress, there are a number of analytical issues that require further investigation: boundedness and consistency properties of generalized AB-type operators, designing a Laplace transform that works with generalized AB-type operators, establishing general existence–uniqueness and stability theorems for the corresponding fractional differential equations, and creating constructive analytical solution methods applicable to both linear and nonlinear fractional differential equations are all issues that will be examined in the context of a unified analytical framework.
2. PRELIMINARIES
In this section we recall the definitions and basic results needed in the following analysis.
Gamma and Mittag-Leffler Functions
The Gamma function, defined for , generalizes the factorial and appears in almost every fractional operator through its role in normalizing power-law kernels:
The one-parameter and two-parameter Mittag-Leffler functions are defined respectively as
for α, β > 0 and . These functions reduce to the classical exponential function when , and plays the same structural role in fractional calculus as the exponential function in classical calculus, especially as the kernel of the Atangana-Baleanu operators and the natural form of solution for linear fractional differential equations(Gorenflo, Kilbas, Mainardi & Rogosin, 2014).
The Atangana–Baleanu Fractional Derivative and Integral
For a function and order , the Atangana–Baleanu derivative in the Caputo sense (ABC) is defined as
where B(α) is a normalization function satisfying (Atangana & Baleanu, 2016). The corresponding derivative in the Riemann-Liouville sense (ABR) is obtained by taking the derivative outside of the integral:
The associated Atangana–Baleanu fractional integral is given by
and it satisfies the fundamental relation
analogous to the classical fundamental theorem of calculus (Atangana & Baleanu, 2017).
Function Spaces, Fixed-Point Theorems, and Notation
Throughout this paper, denotes the Banach space of continuous functions on equipped with the supremum norm , and is the space of Sobolev functions with square-integrable weak derivatives. Two fixed-point results are repeatedly used. The first is the Banach contraction principle which guarantees a unique fixed-point for a contraction mapping on a complete metric space. The second is the Krasnoselskii fixed-point theorem which is applicable when an operator can be decomposed into a contraction and a compact, continuous component.(Agarwal, Hristova & O'Regan, 2021).
3. THE EXTENDED MODIFIED ATANGANA–BALEANU CAPUTO OPERATOR
We define an extended modified Atangana-Baleanu Caputo (E-ABC) fractional derivative, which is an extension of the classical ABC operator with an extra weight/order parameter, and study its main analytical properties.
Definition
For and an auxiliary parameter ψ associated with a strictly increasing, continuously differentiable function with the extended modified Atangana–Baleanu Caputo derivative with respect to ψ is defined as:
When ψ(t) = t, the operator reduces precisely to the classical ABC derivative, so the extension is conservative with respect to the original definition (Almeida, 2019).
Linearity and Boundedness
Property 1 (Linearity). For f and scalars λ, μ:
This follows immediately from the linearity of the integral defining the operator.
Property 2 (Boundedness). If is bounded on with for all, then
using the fact that for x. Thus, the extended operator maps functions with bounded derivative to bounded functions, and is therefore a bounded linear operator on the appropriate function space(cf. Baleanu, Mustafa & Agarwal, 2019).
Non-locality and Consistency
Non-locality is evident from the definition: the value of the extended derivative at a point t depends on for the entire interval weighted by the Mittag-Leffler kernel, rather than on the local behaviour of f near t alone. This is the essential mathematical mechanism through which the operator encodes memory.
Consistency with the classical derivative is verified in the limit since and the kernel concentrates near giving
so, the classical first derivative is recovered, matching the corresponding limiting behaviour of the standard ABC operator (Atangana & Baleanu, 2016).
Operator Commutativity
For sufficiently smooth , the extended derivative and integral operators commute up to a boundary term:
while
The asymmetry between the two compositions reflects the familiar situation for classical Caputo-type operators, where differentiation then integration recovers the function exactly, whereas integration then differentiation recovers the function up to its initial value (Atangana, 2018).
4. GENERALIZED LAPLACE TRANSFORM ANALYSIS
We need a Laplace-transform framework compatible with the extended operator to develop closed-form solutions of AB fractional differential equations.
Generalized Laplace Transform of the Extended Operator
Define the generalized Laplace transform with respect to as
Applying this transform to the extended ABC derivative and using the known Laplace transform pair for the Mittag-Leffler kernel,
yields
This generalises the classical Laplace transform formula for the ABC derivative given by Atangana and Baleanu (2016) to the setting of ψ weighted derivative.
Application to Linear Fractional Differential Equations
Consider the extended AB linear fractional differential equation
The closed form solution is obtained by solving algebraically for the transformed variable from the transform derived above and inverting it via partial fraction decomposition and the known inverse pairs for Mittag-Leffler type kernels.
where
is an effective decay parameter which reduces to as . This closed form representation generalises the classical Mittag-Leffler-kernel solution structure for linear ABC-type equations. (Kumar, Singh & Baleanu, 2018).
The Corresponding Fractional Integral Operator: Properties and Inversion
The extended Atangana–Baleanu integral operator,
is bounded on using and evaluating the resulting Beta-function integral gives
proving boundedness by providing an explicit bound on the operator norm.
The generalised Laplace transform of the integral operator is obtained directly from the convolution theorem:
Combining this with the transform of the derivative operator also verifies the inversion identity derived at the transform level because the product of both transform multipliers simplifies to s-1 or the transform of the constant function; thus, providing an independent proof of the operator relation in the transform domain. (cf. Atangana &Baleanu, 2017; Jarad, Abdeljawad & Baleanu, 2017).
5. EXISTENCE, UNIQUENESS, AND STABILITY OF SOLUTIONS
In this section we give rigorous solvability results for the nonlinear extended AB fractional differential equation.
Reformulation as an Integral Equation
That means you can express the initial value problem in terms of a fixed-point equation by applying the integral operator to both sides and using the inversion identity of Section 5
Existence and Uniqueness
Theorem 1. Suppose is continuous and satisfies a Lipschitz condition
for all and . If
Next, we show that the operator T defined by this method is a contraction mapping on and hence by the Banach fixed-point theorem, the initial value problem will have exactly one solution
Proof (sketch). For
After solving the remaining integral, we verify that there is only one solution to the initial value problem because is a contraction mapping and hence has a unique fixed point. If the Lipschitz condition holds locally, then we utilize the Krasnoselskii fixed-point theorem to obtain an analogous conclusion to that of Theorem 1 by writing as a product of a contraction and a compact operato (Malik & Ahmad, 2017).
Ulam–Hyers Stability
Ulam–Hyers stability for every and for every function satisfying
there exists a solution y of the original problem and a constant , independent of ε, such that
We illustrate the proof of this result by boundingwith the standard approach used for obtaining bounds and then using the triangle inequality in conjunction with the contractive properties of T. This approach mirrors stability analysis techniques that have previously been used for Mittag-Leffler-type operators (Wang, Lv& Zhou, 2011).
Boundedness of Solutions
If, in addition, f is bounded on by a constant then every solution obtained above satisfies
The solution set is bounded uniformly on compact sets and this is an important property that should be considered while analysing the long-time behaviour of the dynamical system associated (Hammad & De la Sen, 2019).
6. ANALYTICAL SOLUTION METHODS
This section describes constructive analytical techniques for analytically solving both linear and nonlinear Atangana-Baleanu Fractional Differential Equations using their operator properties and results from the Existence Theory. It will demonstrate that these techniques can be used to solve problems with both initial- and boundary-value data.
Laplace-Transform Method for Linear Equations
The Laplace Transformation approach presented in Section 4 provides an exact closed-form analytical solution to linear AB-FDEs with constant coefficient forcing terms with known Laplace Transforms. The general procedure consists of (i) Laplace transforming the equations via a generalized Laplace Transformation; (ii) solving the resulting algebraic equation in the transformed domain, and then (iii) inverting the solution back to the time domain by using known Mittag-Leffler Transform Pairs or using the numerical methods for Laplace Transform Inversion described in (Garrappa, 2015).
Successive Approximation (Picard Iteration) for Nonlinear Equations
The fixed-point formulation will lead naturally to the application of the Picard Iteration approach for solving the nonlinear problem outlined in section 6
Under the Lipschitz and contraction conditions of Theorem 1,
so, the sequence converges geometrically to the unique solution, giving both a proof technique and a practical semi-analytical algorithm.
Method for Boundary Value Problems
For a two-point boundary value problem with the extended AB-Caputo operator, , the integral reformulation is modified by introducing a Green's-function representation constructed from the AB integral kernel, so that
where referenced AB-integral term is evaluated at time, then from there either the existence and uniqueness of the solution to the boundary value problem can be deduced, through the application of the corresponding integral operator for functions subject to the boundary conditions. (Ahmad, Alsaedi, Ntouyas & Tariboon, 2016; Almeida, Malinowska & Torres, 2015).
Worked Example: Linear Relaxation Equation
Consider the AB-Caputo relaxation equation with
By Section 4.2 with the exact solution is
As and , The result shows that for , when looking at long tail "memory'' behavior seen in fractional relaxation type processes, the decay of the Mittag-Leffler function as compared to an exponential function will happen with a longer time for large (compared to ).
Worked Example: Nonlinear Logistic-Type Fractional Equation
Consider
According to the Theorem 1 is locally Lipschitz on all bounded sets), so it follows that a unique local solution exists. Using the Picard iteration we obtain successive approximations approaches the actual solution; the second and first iterates provide evidence of what we expect qualitatively: monotonic growth to K with α controlling the speed at which the growth term with memory is influenced by Rahimy (2010).
7. NEW FRACTIONAL DERIVATIVE RELATIONS FOR SPECIAL FUNCTIONS
The extended Atangana-Baleanu Caputo derivative acts on a number of classical special functions in closed form; this provides both a means of finding an exact solution and a basis for numerically implementing it.
Gamma and Beta Function Relations
For the power function, can evaluate in closed form through a series using the Gamma function, the extended ABC derivative:
where is used as a foundation for building polynomial and power-series solutions to AB-FDEs through an explicit summation over the kernel (via term wise integration) and the corresponding power law factor. The final expression, containing the sum of the two types of functions, can be calculated in terms of the incomplete Gamma and Beta functions.
Orthogonal Polynomials
The AB-Caputo derivative of classical orthogonal polynomials (such as Chebyshev polynomials and Legendre polynomials may be represented as a finite linear combination of lower degree polynomials, whose coefficients have been weighted by the Mittag-Leffler function. This extends previous results on the Riemann–Liouville and Caputo derivatives that were published in the literature (Zayernouri & Karniadakis 2015). The relationships established above serve as the basis for numerically solving AB-Fractional Differential Equations using both AB-Fractional Spectral and Collocation methods.
Hypergeometric Functions
Generalized hypergeometric functions have a derivative relationship under the extended AB-Caputo operator that also preserves their hypergeometric structure while allowing for shifting of parameters (comparable to a classical Riemann–Liouville fractional derivative formula for (Agarwal, Choi & Paris 2019). This relationship is particularly useful for obtaining solutions of AB-Fractional Differential Equations where the forcing function is itself hypergeometric in form; therefore, this provides connections from the development of the theory discussed in this work to the broader approach to generalized fractional calculus based on special functions.
8. COMPARATIVE DISCUSSION: ATANGANA–BALEANU VERSUS CLASSICAL FRACTIONAL OPERATORS
The analytical framework in this paper highlights many ways in which the Atangana-Baleanu operator differs positively from classical Riemann-Liouville, Caputo and Caputo-Fabrizio operators. For example, the Mittag-Leffler kernel has no singularity at (similarly to the Riemann-Liouville and Caputo derivatives), which eliminates the integrable but numerically problematic singularity associated with the power-law kernels of the Riemann-Liouville and Caputo derivatives, therefore simplifying both analytical estimates and numerical quadrature (Atangana, Gómez-Aguilar & Baleanu, 2018).
As another example, the Mittag-Leffler kernel decays algebraically with distance from , thereby allowing the presence of long-range memory, unlike the Caputo-Fabrizio operator where the exponential kernel is non-singular, however, it is only weakly non-local (rapidly decaying). This difference is evidenced by the solutions to the relaxation the Mittag-Leffler-type decay of the AB solution demonstrates that it has heavier tails than the pure exponential decay associated with the Caputo-Fabrizio based models (Hilfer & Luchko, 2018).
In addition, the existence, uniqueness and stability theory for the AB-Caputo operator is structurally similar (i.e. Lipschitz condition, contraction constant, Ulam-Hyers estimate) to that for classical Caputo theory; however, the Mittag-Leffler function evaluations of the classical theory are replaced with an effective decay parameter so that, as the classical results are continuously recovered. The structural similarity demonstrates that the Atangana-Baleanu operator can be considered a true generalization of classical as opposed to an unrelated alternative (Baleanu, Jajarmi& Asad, 2020).
9. CONCLUSION
This paper has developed a unified analytical treatment of differential equations involving Atangana–Baleanu fractional operators. An extended modified Atangana–Baleanu Caputo derivative and its integral counterpart were formulated and shown to be linear, bounded, non-local, and consistent with the classical derivative in the appropriate limit. A generalized Laplace transform for the extended operator was derived and used to obtain closed-form solutions of linear AB fractional differential equations, while Banach and Krasnoselskii-type fixed-point arguments were used to establish existence, uniqueness, and Ulam–Hyers stability for the corresponding nonlinear initial and boundary value problems. Constructive solution methods — Laplace-transform inversion for linear equations and Picard iteration for nonlinear equations — were illustrated through relaxation-type and logistic-type worked examples, and new derivative relations were obtained for the Gamma, Beta, hypergeometric, and orthogonal polynomial functions. The comparative discussion confirmed that the non-singular, genuinely non-local Mittag-Leffler kernel gives the Atangana–Baleanu operator distinct analytical advantages over the Riemann–Liouville, Caputo, and Caputo–Fabrizio derivatives while preserving continuity with classical results. These analytical foundations set the stage for the applications of Atangana–Baleanu operators to memory-dependent physical and engineering systems addressed in the companion paper. Future work may extend the fixed-point framework to systems of AB-FDEs, multi-term AB equations, and AB fractional partial differential equations.
References
- Abdeljawad, T., Baleanu, D., & Jarad, F. (2017). Caputo-type modification of the Hadamard fractional derivatives. Advances in Difference Equations, 2017, 1–8.
- Agarwal, P., Choi, J., & Paris, R. B. (2019). Extended hypergeometric functions and fractional calculus operators. Mathematics, 7(3), 1–20.
- Agarwal, R. P., Hristova, S., & O'Regan, D. (2021). Stability analysis of fractional differential equations. Elsevier.
- Ahmad, B., Alsaedi, A., Ntouyas, S. K., &Tariboon, J. (2016). Fractional differential equations and inclusions with nonlocal conditions. Springer.
- Almeida, R. (2019). A Caputo fractional derivative of a function with respect to another function. Communications in Nonlinear Science and Numerical Simulation, 44, 460–481.
- Almeida, R., Malinowska, A. B., & Torres, D. F. M. (2015). Fractional differential equations with mixed boundary conditions. Boundary Value Problems, 2015, 1–15.
- Atangana, A. (2018). Blind in a commutative world: Simple illustrations with functions and chaotic attractors. Chaos, Solitons & Fractals, 114, 347–363.
- Atangana, A., &Baleanu, D. (2016). New fractional derivatives with nonlocal and non-singular kernel: Theory and application to heat transfer model. Thermal Science, 20(2), 763–769.
- Atangana, A., &Baleanu, D. (2017). Caputo–Fabrizio derivative applied to groundwater flow within confined aquifer. Journal of Engineering Mechanics, 143(5), 04017017.
- Atangana, A., Gómez-Aguilar, J. F., &Baleanu, D. (2018). Fractional calculus and its applications in engineering. Chaos, Solitons & Fractals, 117, 117–130.
- Baleanu, D., Fernandez, A., & Akgül, A. (2018). Fractional calculus with generalized Mittag–Leffler kernels. Applied Mathematics and Computation, 318, 18–27.
- Baleanu, D., Jajarmi, A., & Asad, J. H. (2020). Classical and fractional aspects of complex systems. Chaos, Solitons & Fractals, 131, 109510.
- Baleanu, D., Mustafa, O. G., & Agarwal, R. P. (2019). On fractional differential equations involving generalized Mittag–Leffler kernels. Advances in Difference Equations, 2019, 1–15.
- Caputo, M. (1967). Linear models of dissipation whose Q is almost frequency independent. Geophysical Journal International, 13(5), 529–539.
- Diethelm, K. (2010). The analysis of fractional differential equations. Springer.
- Garrappa, R. (2015). Numerical evaluation of two and three parameter Mittag–Leffler functions. SIAM Journal on Numerical Analysis, 53(3), 1350–1369.
- Gorenflo, R., Kilbas, A. A., Mainardi, F., & Rogosin, S. V. (2014). Mittag–Leffler functions, related topics and applications. Springer.
- Hammad, M. A., & De la Sen, M. (2019). Stability of fractional differential systems with generalized kernels. Mathematics, 7(12), 1–21.
- Hilfer, R., & Luchko, Y. (2018). Desiderata for fractional derivatives and integrals. Mathematics, 6(9), 149.
- Jarad, F., Abdeljawad, T., &Baleanu, D. (2017). Caputo-type modification of the Hadamard fractional derivatives. Advances in Difference Equations, 2017, 1–8.
- Kumar, D., Singh, J., &Baleanu, D. (2018). Numerical computation of fractional differential equations using Laplace transform methods. Mathematical Methods in the Applied Sciences, 41(7), 2763–2776.
- Malik, M., & Ahmad, B. (2017). Boundary value problems for nonlinear fractional differential equations. Boundary Value Problems, 2017, 1–14.
- Rahimy, M. (2010). Applications of fractional differential equations in biological systems. Applied Mathematical Sciences, 4(49), 2453–2461.
- Wang, J., Lv, L., & Zhou, Y. (2011). New concepts and results in stability theory for fractional systems. Nonlinear Analysis, 74(17), 6319–6327.
- Zayernouri, M., &Karniadakis, G. E. (2015). Fractional spectral collocation methods for linear and nonlinear fractional differential equations. Journal of Computational Physics, 293, 312–338.