Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

A comparative framework for convergence analysis of perturbation series techniques in nonlinear fractional quadratic differential equations

Abstract

This study tackles the challenge of obtaining highly accurate approximate solutions for nonlinear fractional differential equations, which often lack exact solutions due to their inherent complexity. A unified perturbation framework is proposed based on homotopy topology theory, enabling multiple formulations depending on the number of convergence-control parameters. Through dynamic adjustment of these parameters, the Homotopy Method achieves enhanced precision, particularly for fractional-order models exhibiting long-memory behavior. Numerical results clearly demonstrate that increasing the number of convergence parameters leads to significantly improved accuracy. Supported by detailed graphs and tables, the proposed approach proves to be a flexible, robust, and reliable tool for solving nonlinear fractional differential equations.

Introduction

Recently applied mathematics plays a pivotal tool for modeling several models of real world application, especially in computer science [14], engineering [5], artificial intelligence [6], communication [78], and deep learning [910]. Fractional Differential Equations (FDEs) have recently been employed to describe the dynamics of several nonlocal complex systems based on the long-memory property, for instance, in fluid mechanics, chemistry, viscoelasticity, control theory, and several physical and engineering problems. Such systems cannot be accurately modeled by classical differential equations, especially for real-world phenomena that inherently involve memory effects [11].

In contrast to classical differential equations, FDEs are formulated using several fractional derivative definitions such as the Riemann–Liouville and Caputo derivatives. The Caputo fractional derivative is considered a more advanced form of the Riemann–Liouville derivative, making it more convenient for handling real applications, particularly in dynamic systems that are difficult to model using the Riemann–Liouville formulation [12].

The Perturbation Series Method (PSM) is regarded as a powerful technique, constructed independently of small or large parameters, to approximate analytical solutions of nonlinear problems. However, only HAM [13] and OHAM [14] provide a systematic procedure to control the convergence region of the series solution through the introduction of a convergence-control parameter. In other words, when solving strongly nonlinear problems that may lead to divergent solutions, overcoming such obstacles is one of the major challenges facing numerical techniques; in this case, HAM or OHAM can be employed to adjust the convergence of the series solution.

Despite the advantages of HAM and OHAM in adjusting the convergence of series solutions, these methods still suffer from certain limitations. In particular, their reliance on a single convergence-control parameter often restricts flexibility and may lead to suboptimal accuracy when dealing with highly nonlinear fractional systems. This highlights the need for a more general perturbation framework that incorporates multiple convergence parameters, thereby offering improved adaptability and precision. Addressing this gap is of significant importance, as accurate solutions of fractional differential equations play a crucial role in modeling real-world phenomena with memory effects in science and engineering.

The Italian nobleman Count Jacopo Francesco Riccati (1676–1754) introduced one of the most important quadratic nonlinear differential equations, which has been widely used to model several real applications in mathematical finance, engineering, and applied sciences, such as damping laws, rheology, diffusion processes, transmission line phenomena, and optimal control theory problems [15].

In this work, we introduce a new dynamic framework based on the Perturbation Series Method (PSM) for investigating the convergence behavior of the numerical solution of the quadratic fractional differential equation (QFDE) of the following form:

(1)

Subject to the following supplementary initial condition.

(2)

Here, and are real continuous functions, and represent the nonlocal fractional Caputo derivative. to present the main definitions and theories that help to handle this work see [6].

The outline of this research paper will be arranged as starting the introduce the general fractional perturbation structure in Section two, while Section three will present the application of fractional perturbation techniques for solving QFDE, finally we will present the conclusions and recommendation in section four.

2. PSM Technniqe

In this section, we will introduce a new PSM form involve HPM [7], HAM, and OHAM starting from employs the notion of the homotopy from topology to construct a convergent series solution as follows:

Consider QFDE in Eq. (1), followed by the nonlinear form of order

(3)

here, is a nonlinear fractional differential operator, is an independent variable, and is an unknown function of the independent variable , and described the Capotu fractional derivative in [16], then based on the approximate homotopy perturbation techniques were developed based on the notion of homotopy in topology between two continuous functions based on the deformation parameter as follows:

(4)

According to [17,18],and [19], we can construct the general overall perturbation zeroth order deformation equation as below:

(5)

here, indicate to Caputo fractional derivative, are the unknown functions that must be satisfied in the initial condition, and refer to the auxiliary convergence functions, is the initial guess of the approximate solution , and is the embedding parameter, such that embedding parameter generate the approximate perturbation series solution when it is deforming from zero to one.

According to Eq. (5), we can conclude that OHAM series built independent of the initial approximation while for HPM and HAM one can construct the initial approximation series by setting in Eq. (5) as follows:

(6)

On the other hand, the exact solution via HPM, HAM, and OHAM will be formulated by setting , as follows:

(7)

Eq. (7) employ to find the exact analytical solution of fractional differential equation via PSM for , in other word that is mean we must formulate infinite PSM series and that will be impossible especially for nonlinear cases.

When varying from zero to one, the solution changing from the initial guess to the exact solution . Now, we will expand the approximate solution of PSM as a Tylor series about to obtain the following PSM series solution:

(8)

Such that, for HPM and HAM we will construct the first until order of series as follows:

From Eq. (8) we have

(9)

Now by defining the vectors in Eq. (10), it is possible to deduce the governing equations from the zero-order deformation in Eq. (10) as in

(10)

For time derivatives of Eq. (10) in terms of , and then set followed by dividing them by , we obtain the -order deformation equation

(11)

Followed by employ Riemann-Liouville integral concept in [6] and utilize the property of Caputo derivative we can reformulate Eq. (11) in the following form

(12)

where

(13)

Here, Eq. (12) employ to approximate the analytical solution of nonlinear differential equation via PSM technique.

PSM method have different accuracy level depending on the auxiliary convergence functions mentioned Eq. (5) such that we can define the convergence functions of HPM, HAM, and OHAM as below in Eq. (14)

(14)

Such that, for HPM is a special case of HAM for , while HAM have different values of , and for OHAM provide many convergence control parameters at each series term and that will help us to control the convergence area of PSM series based on the residual form of Eq. (8).

In this research paper we will find the convergence parameters at each different value of the pair , that means we must find the convergence parameters at each different value of for different value of fractional order .

Now, by employing Eq. (7), Eq. (8), and Eq. (14) into Eq. (5) we can formulate the order PSM approximate series solution as follows:

(15)

Here, Eq. (15) will be use in order to find the approximate solutions of the nonlinear fractional differential equation under the Caputo fractional derivative.

Now we will move to the practical section to show the capability of the above algorithm for solving QFDE to refute the idea that say HPM, and HAM provide same accuracy for QFDE.

1. Numerical experiments

To give a clear overview of PSM technique, we present the following illustrative Applications, including first and second order QFDE

Application 1:

Consider the following first order QFDE [19].

(16)

Subject to the following exact solution, when

(17)

Firstly, and according to Section 2 and based on Eq. (5), we can construct the sixth-order PSM series solution of Eq. (16) as follows:

(18)

Now, by applying Riemann-Liouville integration and based on the property of Caputo derivative we can rewrite the PSM form as below

(19)

Secondly, we will utilize the algorithm in Section 2, and based on the residual error of Eq. (16), we will find the optimal convergence parameters of PSM series as follows:

For HAM case we will plot the valid region of the optimal convergence parameter at different value of

This figure illustrates the range of admissible values of the convergence-control parameter , showing where the homotopy analysis method yields a stable and convergent series solution of Eq. (16).

According to Fig 1, the valid region of bounded by then we collect the optimal value of the convergence control parameter such that . On the other hand, OHAM provide more strong procedure to control the convergence area such that we have (Table 4),

thumbnail
Fig 1. The valid region of -curve for solving Eq. (16) via sixth-order HAM series.

https://doi.org/10.1371/journal.pone.0337884.g001

In the next step, we shall employing the convergence control parameter that extracted based on the minimum residual of HAM series which is , and the convergence control parameters listed in Table 1 for OHAM series in order to optimize the solution of QFDE of order , on the other hand, for solving QFDE of order , we will use , and the convergence control parameters listed in Table 2 for HAM series and OHAM series respectively (Fig 2).

thumbnail
Table 1. The optimal convergence parameter of sixth-order OHAM for solving Eq. (16) of order for different values of .

https://doi.org/10.1371/journal.pone.0337884.t001

thumbnail
Table 2. The optimal convergence parameter of sixth-order OHAM for solving Eq. (16) of order for different values of .

https://doi.org/10.1371/journal.pone.0337884.t002

thumbnail
Fig 2. The exact solution and approximate solution via HPM series at and .

https://doi.org/10.1371/journal.pone.0337884.g002

(20)

The figure above compares the HPM approximate solutions with the exact solution, illustrating the accuracy and convergence of the method over the considered time interval (Fig 3).

thumbnail
Fig 3. The exact solution and approximate solution via HAM series at and .

https://doi.org/10.1371/journal.pone.0337884.g003

(21)

The figure above demonstrates the accuracy of the HAM approximate solutions by comparing them with the exact solution over the specified time interval (Fig 4).

thumbnail
Fig 4. The exact solution and approximate solution via OHAM series at and for .

https://doi.org/10.1371/journal.pone.0337884.g004

(22)

The figure above illustrates how the OHAM approximate solutions compare with the exact solution, highlighting the convergence and accuracy of the method over the considered time interval (Fig 5).

thumbnail
Fig 5. The exact solution and approximate solution via PSM series at and .

https://doi.org/10.1371/journal.pone.0337884.g005

For more illustrate, Table 3 shows the accuracy of the given problem based on the different PSM series

thumbnail
Table 3. The residual error of Eq. (21) via PSM series for different values of fractional order , and for .

https://doi.org/10.1371/journal.pone.0337884.t003

The figure above compares each approximate solution with the exact solution, demonstrating the accuracy and convergence of the respective methods over the considered time interval.

Application 2:

consider the following second order QFDE [19].

(23)

For HAM case we will plot the valid region of the optimal convergence parameter at different value of

The figure illustrates the range of admissible values of the convergence-control parameter , showing where the sixth-order homotopy analysis method produces a stable and convergent series solutio

According to Fig 6, the valid region of bounded by then we collect the optimal value of the convergence control parameter such that . On the other hand, OHAM provide more strong procedure to control the convergence area such that we have

thumbnail
Fig 6. The valid region of -curve for solving Eq. (23) via sixth-order HAM series.

https://doi.org/10.1371/journal.pone.0337884.g006

thumbnail
Table 4. The optimal convergence parameter of fifth-order OHAM for solving Eq. (23) of order .

https://doi.org/10.1371/journal.pone.0337884.t004

For more illustrate, Table 5 and Fig 7 shows the accuracy of the given problem based on the different PSM series at .9

thumbnail
Table 5. The residual error of Eq. (23) via PSM series for different values of fractional order , and for .

https://doi.org/10.1371/journal.pone.0337884.t005

thumbnail
Fig 7. The approximate via fifth-order HAM and fifth-order OHAM series at for .

https://doi.org/10.1371/journal.pone.0337884.g007

The figure compares the HAM and OHAM approximate solutions, illustrating the accuracy and convergence behavior of both methods over the considered time interva

6. Conclusion

This research paper presented the PSM method based on the principle of topology to generate approximate series to solve nonlinear equations based on the long memory principle, whose exact solutions cannot be found based on traditional methods. The proposed method provides solutions in the form of series governed by the control parameters of the series convergence of solutions with different degrees of accuracy. The proposed convergence dynamics has been shown to be effective in controlling the convergence of approximate solutions by providing approximate series with different number of convergence coefficients. The proposed method provided three types of series that differ in terms of the number of convergence parameters. The numerical results proved that increasing the convergence coefficients in the approximate series provides more accurate results as a result of the dynamics of convergence.

References

  1. 1. Mezaal AA, Zaghir SH, Abbas EM, Hashim DJ, Almusawi M, Sabah M, et al. Automated IoT Security Testbed: Design and Implementation Insights. In: Proc. 2024 Int. Conf. IoT, Commun. Autom. Technol. (ICICAT). 2024. 561–7.
  2. 2. Habelalmateen MI, Hashim DJ, Lal ND, Hameed AA, Aljawaheri K, Alsalamy FH. Energy Consumption Aware Route Discovery using Improved Ant Colony Optimization in UAVs Guided VANETs. In: Proc. 2025 Int. Conf. Next Generation Computing Systems (ICNGCS). 2025. 1–7.
  3. 3. Habelalmateen MI, Hashim DJ, Alsalamy FH, Aljawaheri K, Zoori AK. Experimental design of effective QoS performance using advanced shortest path algorithm for vehicular ad-hoc network. In: Proc. 2025 11th Int. Conf. Commun. Signal Process. (ICCSP). 2025. 1107–11.
  4. 4. Habelalmateen MI, Hashim DJ, Arunagiri B, Aljawaheri K, Alsalamy FH, Khalaf IB. An Effectual Approach for Mobility and Traffic Monitoring Based VANET’s Routing Protocol in Urban Environment. In: Proc. 2025 11th Int. Conf. Commun. Signal Process. (ICCSP). 2025. 1130–4.
  5. 5. Ali MJ, et al., “Computational Fluid Dynamics Techniques for Modelling Dust Storm Turbulence Patterns in Iraq,” Math. for Applications, vol. 12, no. 2, 2023.
  6. 6. Alkubaisy MM, et al. AI in neurodegenerative disease research: IBM Watson identifying RNA binding proteins. In: Proc. 2024 Int. Conf. IoT, Commun. Autom. Technol. (ICICAT). 2024. 669–74.
  7. 7. Habelalmateen MI, Hashim DJ, Aljawaheri K, Alsalamy FH, Khalaf IB. Optimal roadside unit deployment with effective collision detection for smart vehicular communication. In: Proc. 2025 Int. Conf. Next Generation Computing Systems (ICNGCS). 2025. 1–6.
  8. 8. Habelalmateen MI, et al. Distributed utility guided joint optimization with quality of service enhancement in UAV communication. In: Proc. 2025 Int. Conf. Next Generation Computing Systems (ICNGCS), 2025. 1–6.
  9. 9. Mutar MH, et al. Innovative deep learning solutions for image forgery detection. In: Proc. 2024 Asian Conf. Commun. Netw. (ASIANComNet). 2024;1–7.
  10. 10. Manimaran A, et al. Deep learning analysis and detection of functional genomics in druggable human genes across the genome. In: Proc. 2024 Asian Conf. Commun. Netw. (ASIANComNet). 2024. 1–7.
  11. 11. Hashim DJJ, et al. “New series approach implementation for solving fuzzy fractional two-point boundary value problems applications”. Math Probl Eng. 2022.
  12. 12. Li C, Deng W. Remarks on fractional derivatives. Appl Math Comput. 2007;187(2):777–84.
  13. 13. Hashim DJ, Jameel AF, Ying TY. Approximate Solutions of Fuzzy Fractional Differential Equations via Homotopy Analysis Method. 2023.
  14. 14. Hashim DJ, Jameel AF, Ying TY. “Analysis of Semi-Analytical Method for Solving Fuzzy Fractional Differential Equations with Strongly Nonlinearity Under Caputo Derivative Sense”, AIP Conf. Proc. 2023.
  15. 15. Ritelli D. A forgotten differential equation studied by Jacopo Riccati revisited in terms of lie symmetries. Mathematics. 2021;9(11):1312.
  16. 16. Akhadkulov H, et al. Theoretical and computational aspects of fractional hybrid differential equations.
  17. 17. Jalili P, Jalili B, Ahmad I, Hendy AS, Ali MR, Ganji DD. Python approach for using homotopy perturbation method to investigate heat transfer problems. Case Stud Thermal Eng. 2024;54:104049.
  18. 18. Liao S. On the homotopy analysis method for nonlinear problems. Appl Mathematics Computation. 2004;147(2):499–513.
  19. 19. Hashim DJ, Jameel AF, Ying TY, Alomari AK, Anakira NR. Optimal homotopy asymptotic method for solving several models of first order fuzzy fractional IVPs. Alexandria Eng J. 2022;61(6):4931–43.