A Higher-Order Galerkin Time Discretization and Numerical Comparisons for Two Models of HIV Infection

Human immunodeficiency virus (HIV) infection affects the immune system, particularly white blood cells known as CD4+ T-cells. HIV destroys CD4+ T-cells and significantly reduces a human's resistance to viral infectious diseases as well as severe bacterial infections, which can lead to certain illnesses. The HIV framework is defined as a system of nonlinear first-order ordinary differential equations, and the innovative Galerkin technique is used to approximate the solutions of the model. To validate the findings, solve the model employing the Runge-Kutta (RK) technique of order four. The findings of the suggested techniques are compared with the results obtained from conventional schemes such as MuHPM, MVIM, and HPM that exist in the literature. Furthermore, the simulations are performed with different time step sizes, and the accuracy is measured at various time intervals. The numerical computations clearly demonstrate that the Galerkin scheme, in contrast to the Runge-Kutta scheme, provides incredibly precise solutions at relatively large time step sizes. A comparison of the solutions reveals that the obtained results through the Galerkin scheme are in fairly good agreement with the RK4 scheme in a given time interval as compared to other conventional schemes. Moreover, having performed various numerical tests for assessing the efficiency and computational cost (in terms of time) of the suggested schemes, it is observed that the Galerkin scheme is noticeably slower than the Runge-Kutta scheme. On the other hand, this work is also concerned with the path tracking and damped oscillatory behaviour of the model with a variable supply rate for the generation of new CD4+ T-cells (based on viral load concentration) and the HIV infection incidence rate. Additionally, we investigate the influence of various physical characteristics by varying their values and analysing them using graphs. The investigations indicate that the lateral system ensured more accurate predictions than the previous model.


Introduction
Despite recent scientific advancements and substantial health-care initiatives, HIV/AIDS infection remains one of the most devastating diseases in human history. So still, several communities are still seriously impacted by this disease. At the moment, the global spread of HIV infection has an influence on the rising prevalence of other infectious diseases. Infectious diseases are illnesses that can be diagnosed clinically and have a large impact on the human community. They are caused by bacterial pathogens such as microorganisms, retroviruses, fungal, and parasitic agents or by harmful proteins known as prions. The most common are bacterial infectious diseases and tuberculosis, as well as virus-borne HIV and influenza [1,2]. The hepatitis C virus (HCV) is highly widespread, with almost 71 million cases globally, and coinfections with HIV are also extremely frequent, with approximately 2.3 million coinfections [3]. Infection with HIV destroys the body's immune system; affects bodily organs such as the brain, kidney, and heart; and leads to death. Unfortunately, there is presently no treatment for this infectious illness. However, there are effective retroviral medications for improving patients' health complications. HIV is spread through sexual contact, sharing needles, and direct interaction with virus-infected blood or other bodily fluids, as well as mother-to-child transmission during delivery [2]. HIV is the virus that causes a disease known as immunodeficiency syndrome (AIDS), which weakens the body's capability to fight infection and leaves it vulnerable to attacks from contagious diseases. To improve healthcare therapy, a detailed overview of the inflammatory and coagulation processes in HIV infection is essential [4]. In humans, CD4+ T-cells are HIV's targeted cells, and these cells play an essential role in the immune system's response. Their depletion can have a wide range of implications, potentially disrupting the immune system's functionality. Therefore, the reduction in the number of these cells is utilised as a symptomatic and illness stage indicator. In illnesses such as allergies and autoimmune disorders, regulatory Tcells (Treg) play significant roles in maintaining selftolerance and immunological regulation. These cells also have a role in suppressing efficient immune responses to microbial organisms and cancerous cells [5]. Since the investigation is about the density of CD4+ T-cells, we will refer to T-cells and I-cells as healthy/infected CD4+ T-cells throughout the rest of the manuscript.
Numerous investigations have been conducted in order to identify the transmission dynamics of biological processes and infections. Cao et al. [6] presented a comprehensive approach to identifying successful treatment approaches and druggable targets by investigating regulatory interactions of cell phenotypic switching using precisely calculated  Computational and Mathematical Methods in Medicine probability landscapes of response networks. Mathematical formulation of infectious illnesses, such as HIV/AIDS coinfection and acute infection, is identified as a vital tool for understanding the dynamics of disease elimination and/or control [7]. The significance of immunological responses to HIV in modelling was highlighted by [8]. Omondi et al. [9] developed and evaluated a model containing a sex population that examined the HIV infection dynamics in both males and females. Vaidya et al. [10] examined how morphine affects resistivity to target cells, viral dynamics, and viral replication in a steady state, T-cell loss, and the effi-ciency of antiretroviral treatment (ART). They also looked into how morphine can boost basic reproduction rates, which poses significant challenges to HIV prevention. Vaidya et al. [11] established a viral infection model and investigated the role of antibody responses in reducing viral infection rates during infection. Calshaw and Raun [12] developed a model which consists of populations of T-cells, I-cells, and virus particles. Yusuf et al. [13] introduced a model and analysed the transmission behaviours of HIV infection. Singh [14] suggested a fractional order HIV model, with plasma densities of T-cells, I-cells, and free   [15] investigated the fractional order differential equations to analyse the combination of drug treatments for HIV infection. AlShamrani [16] suggested and evaluated an adaptive immune response model for HIV infection. Zaka Ullah and Baleanu [17] presented the SICA model in a fractional structure for the transmission dynamics of HIV/AIDS. Thir-umalai et al. [18] studied HIV infection for T-cells using a model based on a system of differential equations. They evaluated and assessed an approximate solution of the mathematical model and presented a count of T-cells, I-cells, and viruses present at any given instant. Khan and Odinsyah [19] investigated HIV dynamics using a fractional operator of the Caputo type. They utilised the data of HIV infection cases in Indonesia from 2006 to 2018 to approximate the  HIV model and determine the basic reproduction number. They proceeded by providing a mathematical description of the HIV/AIDS population. Chen and Zheng [20] explored the formation of spatial patterns in a predator-prey model with predator-taxis under homogenous zero-flux boundary conditions. They used the predator-taxis coefficient as the Turing bifurcation's possible critical value to play its part in constructing the spatial pattern. Chen and Wu [21] explored the diffusive nutrient-microorganism dynamics in a spatially heterogeneous environment. Chen et al. [22] studied the pattern formation and secondary instabilities of the Gierer-Meinhardt model, an activator-inhibitor system, including the Eckhaus instability and zigzag instability. By performing a linear stability analysis at the unique positive equilibrium, conditions on the Hopf bifurcation and Turing instability are discovered. Chen et al. [23] suggested a predator-prey model with a delayed ratio. They explored the system's Turing-Hopf bifurcation and established amplitude equations using the multiple time scale methodology. Theoretical and numerical simulations are used to find spatiotemporal solutions. Abdel et al. [24] examined the accurate travelling wave solutions of the fractional model of HIV-1 for T-cells and the effects of medication therapy. Naik et al. [25] suggested a Caputo-like fractional order model of HIV-1 that incorporates interactions between cancer cells and shows the chaotic behaviour. Raza et al. [26] developed a delayed model to study HIV dynamics in the community as well as the stability of a susceptibleinfectious-immune system with a delay period.
In the literature, a variety of traditional analytical and numerical schemes are used to find the approximate solution of various models to describe the HIV dynamics. The homotopy analysis method (HAM) was applied by Ismail and Alomari [27], Ongun [28] performed the Laplace Adomian decomposition technique (LADM), Doğan [29] implemented the multistep LADM, and Yüzbaşı and Karaçayır [30] developed a novel computational approach based on exponential polynomials related to the Galerkin scheme for the HIV infection model. Recently, Sohaib [31] have studied the Legendre wavelet collocation method and the continuous Galerkin-Petrov scheme to obtain the solutions to the HIV model. They made comparison of the outcomes and highlighted the precision and efficacy of the proposed schemes in contrast to other approaches employed to the model. Yüzbaşı et al. [32] presented an exponential approach for numerical solutions to the HIV model based on T-cells. The technique involves exponential polynomials and collocation points. Haq et al. [33] investigated the dynamics of a fractional order smoking cessation model and presented an approximate solution based on the Laplace transformation. Attaullah et al. [34] have applied the Galerkin time discretization scheme to the following HIV models and compared the results with the Runge-Kutta method. Yüzbaşı [35] developed the Bessel collocation approach  [36] proposed an extended temporal model of HIV with medication treatment impact using the backward Euler and Crank-Nicolson techniques. The HIV model of T-cells was explored by Yüzbaşı [37], and an operational technique was suggested to numerically address the model problem. Merdan [38] utilised the homotopy perturbation method (HPM) to examine the numerical outcomes of HIV model. Attaullah [39] approximates the solution of the HIV infection model with full logistic proliferation and variable source terms employing the Galerkin scheme. The modified multivariational iteration method (MVIM) is used by Merdan et al. [40] in order to approximate the suggested model. Multistage homotopy perturbation method (MuHPM) is used by Leal et al. [41] and demonstrated the path tracking behaviour of HIV dynamics.

Fundamental Objectives.
The fundamental aim of the present paper is to examine the well-known HIV infection model of T-cells characterized by Leal et al. [41] based on three coupled nonlinear ordinary differential equations. The mentioned model is solved by applying the Galerkin discretization scheme known as the continuous Galerkin-Petrov method, briefly cGP(2) method. This method has superiority to some extent over the other traditional techniques. Each time interval in the cGP(2) method has two unknowns that can be computed by solving a 2 × 2 block system. The suggested approach is accurate to three orders over the whole time period and even demonstrates super convergence to four orders in discrete time points. To illustrate the reliability of the Galerkin scheme, the model is solved using the Runge-Kutta technique of order four, shortened as the RK4 method. Our second aim is to compare the solutions of the Galerkin method with the findings of other techniques, e.g., MuHPM [42], MVIM [40], and HPM [38]. All the findings are visualised through different graphs. The comparative study was performed to validate the accuracy and computational cost (in terms of time) of the Galerkin and RK4 methods for the same and different time step sizes. Therefore, to having an idea about the accuracy and reliability of the approximate solutions obtained from the proposed technique, the well-known classical RK4 method is also implemented. Estimate the absolute errors between the results of both schemes to better understand and authenticate our proposed method's applicability in practical problems. The assessment of the absolute values of errors between the Galerkin scheme and RK4 scheme solutions shows that the solutions provided are more accurate in comparison to the solutions obtained through conventional schemes. The graphical and tabular outcomes demonstrated that the proposed scheme is very accurate and achieves highly accurate results at a larger step size in comparison    Computational and Mathematical Methods in Medicine to the existing techniques employed for the mentioned model. The Galerkin scheme is an adaptive scheme that achieves the same accuracy at a larger step size at a lower cost. The detailed analysis of the aforementioned model demonstrates that the Galerkin scheme is more authentic and accurate than the previous approaches employed for the model. Our third aim is to develop it by the insertion of a new dynamic supply term dependent on the viral density for the generation of new T-cells and a mass action term in the HIV model. Leal et al. [41] suggested the HIV infection model with a stable parameter for the production of new T-cells from the thymus. However, HIV has the potential to invade T-cells in the thymus, which might affect the generation of new cells from the thymus. Therefore, the model discussed in [41] is extended by introducing a variable source term ("sðVÞ = 0:5Is + ðsI/I + VÞ" discussed in [43,44]) based on viral density. In addition, the mass action term kVT is introduce to explain how infection occurs when the virus interacts with T-cells, causing free virus to be eradicated at a rate of −kVT, where k indicates the infection rate. Moreover, the variation of different clinical parameters involved in the model is observed by changing their values. A computer program written in mathematical software is used to perform these computations.

Basic Mathematical Structure of the HIV Infection Model
This section concerns the model suggested by Leal et al. [41].
Our first aim in this study is to apply the continuous Galerkin-Petrov time discretization scheme [31,34] to the following HIV model and to compare outcomes with the methods existing in literature to validate the accuracy and efficiency of the scheme and the MATLAB code. The model     Figure 3: The mesh graphs of the Galerkin method, RK4 method, MuHPM [41], MVIM [40], and HPM [38] for the model and the computation cost in terms of CPU time (f). 10 Computational and Mathematical Methods in Medicine is as follows: where the state variables TðtÞ,IðtÞ, and VðtÞ show the density of T-cells, I-cells, and the HIV virus in the blood, respectively. The diagrammatic illustration of the HIV model and the structure of the HIV virus are given in Figure 1. The initial conditions of state variables, different parameters, and constants with their explanations are provided in Table 1.

The Numerical Schemes
This section discusses the numerical schemes used to solve the above-mentioned model. Nowadays, the Galerkin approach has been used effectively to handle a wide range of complicated problems in engineering and science, seen for example [31,[45][46][47][48][49]. We implemented the technique on the HIV model discussed in [41]. In addition, we employ the conventional Runge-Kutta approach to assess the precision of the Galerkin scheme findings.

The Continuous
Galerkin-Petrov (cGP) Technique. The system of ODE's for the considered model can be written follows: Findũ : ½0, t max ⟶ V = ℝ d like as follows: where d t shows the time derivative ofũðtÞ, I = ½0, T is the total interval, andũðtÞ = ðũ 1 ðtÞ,ũ 2 ðtÞ,ũ 3 ðtÞÞ ∈ V ⇒ũð0Þ = ð u 1 ð0Þ,ũ 2 ð0Þ,ũ 3 ð0ÞÞ ∈ V are the initial values ofũðtÞ at t = 0 . We also assume that ðũ 1 ðtÞ,ũ 2 ðtÞ,ũ 3 ðtÞÞ = ðTðtÞ, IðtÞ, Vðt ÞÞ which implies that ðũ 1 ð0Þ,ũ 2 ð0Þ,ũ 3 ð0ÞÞ = ðTð0Þ, Ið0Þ, Vð 0ÞÞ. The function F = ðf 1 , f 2 , f 3 Þ is nonlinear and is described as F : I × K ⟶ K: The weak formulation (see [31,34,[45][46][47][48][49] for explanations) of a the problem (2) is follows: findũ ∈ X such that uð0Þ =ũ 0 and where X and Y represent the solution and test space, respectively, to explain the time discretization of a variational type problem (2). To characterize the function t ⟶ũðtÞ, we describe the space CðI , KÞ = C 0 ðI , KÞ that is the space of continuous functionsũ: I ⟶ K equipped with the norm as follows: We will use the space L 2 ðI , KÞ as the space of discontinuous functions which is given by In time discretization, we split the intervals I into N subintervals I τ = ½t τ−1 , t τ , where τ = 1, ⋯, N and 0 = t 0 < t 1 < t 2 < ⋯ < t N−1 < t N = T. The parameter j indicates the time discretization parameter, as well as the maximum time step size j = max 1≤τ≤N j τ , where j τ = t τ − t τ−1 is the length of nth time interval I τ . The following set of time intervals M j = f I 1 ,⋯,I N g will be called the time mesh. We find out the solutionũ: I ⟶ K on each time interval I τ by a functioñ u j : I ⟶ K which is a piecewise polynomial of some order l w.rt time. The time-discrete solution space forũ j is X l j ⊂ X and is defined by where The discrete test space forũ ȷ is Y l ȷ ⊂ Y and is defined by which is composed of l − 1 piecewise polynomials (see [31,34,[45][46][47][48][49] for details) and is discontinuous at the time step end nodes. We multiply equation (2) by the test function ν ȷ ∈ Y k ȷ and integrate over the interval I . We get the discrete-time problem: findũ ȷ ∈ X k ȷ such thatũ ȷ ð0Þ = 0 and ð where 〈·and·〉 represent the usual inner product in L 2 ðI , KÞ: This discretization is known as the exact continuous Galerkin-Petrov method or simply the "exact cGP(l) scheme" of order k. The Galerkin-Petrov name is due to the fact that the solution space X l ȷ is different from the test space Y l ȷ . The term "exact" denotes that the time integral on the right-hand side of equation (9) is determined exactly. Because the discrete test space Y l ȷ is discontinuous, equation (9)

14
Computational and Mathematical Methods in Medicine which local problems on the interval are handled successively. Therefore, we select the test function ν ȷ ðtÞ = νφðtÞ with arbitrary time independent ν ∈ K and a scalar function φ : I ⟶ ℝ which is zero on I j I τ and a polynomial of order less than or equal to l − 1 on the time interval I τ = ½ t τ−1 , t τ . Then, we get from (9) the I τ problem of the exact cGP scheme of order l: findũ ȷ j I τ ∈ ℙ l ðI τ , KÞ such that with the initial conditionũ In case of a nonlinear function Fh·, · i, we need to calculate the integrals numerically on the right-hand side of equation (10). The ðl + 1Þ-point Gauβ-Lobatto formula is exact if the function to be integrated has a polynomial of degree less than or equal to 2l − 1. As a result, this formula is applied to the integral on the left-hand side of (10) which will give the exact value. Then, the "I τ problem of the numerically integrated cGPðlÞ method" is as follows: where w s are the weights andt ∈ ½−1, 1, s = 0, 1, 2, 3, ⋯, l represent the nodes on the reference interval. To findũ ȷ on each time interval I τ , we use a polynomial ansatz to illustrate it as follows: where the coefficients U s τ are the components of K and the functions ϕ τ,s ∈ ℙ l ðI τ Þ are the Lagrange basis functions (see [31,34,[45][46][47][48][49] for more details) with respect to l + 1 suitable nodal points t τ,s ∈ I τ satisfying conditions mentioned below: where δ r,s is the Kronecker delta that is defined as Like in [50], the t τ,s have been defined as the quadrature points of ðl + 1Þ-point Gauβ-Lobatto formula (for detail information, see [31,34,[45][46][47][48][49]) on the interval I τ . For the selection of initial conditions, we can set t τ,0 = t τ−1 which denotes the initial condition for equation (10) We define the basis functions ϕ τ,s ∈ ℙ l ðI τ Þ via the affine reference transformation (see [31,34,[45][46][47][48][49] for detail explanations) T :Î ⟶ I τ , whereÎ = ½−1, 1 and Let b ϕ s ∈ ℙ l ðÎ Þ, s = 0, 1, ⋯, l, demonstrate the basis functions that meet the requirements wheret 0 = −1 andt r , r = 1, 2, ⋯, l, are the quadrature points for the reference intervalÎ . Then, we define the basis functions on the given interval I τ by the mapping Likewise, the test basis functions φ τ,r are described by the suitable reference basis functions b φ ∈ ℙ l−1 ðÎ Þ, i.e., From the representation (12), we get for d tũȷ By putting (20) in (10), we get The integral is now transformed into the reference interval hatI and computed using the ðl + 1Þ-point Gauβ-Lobatto quadrature formula which leads, for each test basis function

17
Computational and Mathematical Methods in Medicine φ ∈ ℙ l−1 and for all ν ∈ K, whereŵ μ are the weights andt μ ∈ ½−1, 1 are the points of integration witht 0 = −1 andt l = 1. If we choose the test Now find the coefficients that are unknown U s τ ∈ K for s = 1, ⋯, l, where U s τ = U s τ−1 for τ > 1 and U 0 1 =ũ 0 for τ = 1 and We will discuss the cGP(k) method for the cases l = 1 and l = 2 in the following subsections.

Runge-Kutta
Method. This is a well-known technique of order four, established by Kutta [51] and extensively utilised for initial value problems (see [52,53] for more details).

Comparison and Computation
Analysis. This section demonstrates the significance of the Galerkin and RK4 methods to the system of ODE's 4.1-4.3 in the aforementioned model. The initial conditions and parameter values are given in Table 1. In order to determine the effectiveness of the suggested technique, we contrasted the numerical and graphical solutions achieved by the Galerkin scheme with those obtained by the RK4 method and other conventional methods, i.e., MuHPM [41], MVIM [40], and HPM [38], provided in Tables 2-4 for TðtÞ, IðtÞ, and VðtÞ: After the evaluation, it was revealed that the proposed approach produced more precise findings than the solutions obtained through conventional approaches. Furthermore, numerical computations are carried out using the Galerkin scheme and the RK4 scheme with the same and different time step sizes. The absolute errors between the outcomes were assessed using both approaches, as demonstrated in Tables 5 and 6. From comparison, it is clearly visible that the Galerkin scheme achieves more precise findings at a larger step size as compared to the RK4 technique. Figure 2 shows the results of both methods for t ∈ ½0, 1 and t ∈ ½0, 70 with ȷ = 0:1 steps. The figures showed that the results overlapped over each other throughout the time period. In addition, the analysis of the numerical costs for different step sizes in terms of time shows that the Galerkin method is more time-consuming as in comparison to the RK4 method is presented in Table 7 and Figure 3(f). The polar and bar graphs illustrate the absolute errors between the solutions of the Galerkin and RK4 approaches depicted in Figure 4. The mesh graphs for the solutions of the Galerkin method, RK4 method, MuHPM [41], MVIM [40], and HPM [38] are visualised in 3. Overall, we may conclude that 18 Computational and Mathematical Methods in Medicine

Mathematical Formulation of the HIV Infection Model
The study of HIV/AIDS infection requires an understanding of T-cell population dynamics because T-cells are the major target of HIV particles. Since these cells are generated in the bone marrow, premature T-cells are directed to the thymus for further differentiation and maturation before becoming immune-competent T-cells. However, HIV may be able to infect these cells in both bone marrow and the thymus and destroy the supply of new cells [54]. But majority of the HIV models in the literature assumed with the constant rate of generation of new T-cells from the thymus. Herein, we modified the HIV model assumed by Leal et al. [41]. We consider the innovative model with the assumption that the production of new cells from the thymus is a decreasing function based on viral load ("sðVÞ = 0:5Is + ðsI/I + VÞ" used in [43,44,55]) rather than the constant source term. Further, include mass action term "kVT," where k is the infection rate. Infection occurs when a virus infects T-cells, reducing them at the rate of "−kVT" and producing virus at the rate of "kVT." It is observed that the mentioned model gives more accurate and realistic-based findings for T-cells, I-cells, and HIV. The new model is follows: where TðtÞ, IðtÞ, and VðtÞ represent the density of T-cells, Icells, and virus particles in the blood, respectively. The diagrammatic illustration of the HIV model and the structure of the HIV virus are illustrated in Figure 1. Following confirmation of the aforementioned scheme and validation of the MATLAB code, we applied the aforesaid scheme to a novel established model and visualised the dynamical behaviour of the model with the interaction of major clinical parameters. The initial conditions of state variables, various parameters, and constants with their explanations are provided in Table 1 and I = 1 mm -3 .

Analysis and Discussions.
In this section of the research, several numerical simulations are carried to illustrate the detailed behaviour of the proposed model. Figures 5(a)-5(c) depict that by increasing the quantity of free virus produced by reduction of T-cells, the concentration of T-cells increases at top level initially. But after ten days approximately, its wavelength starts decreasing with time and touches the lowest level. Due to killing of viral particles and cell response, the density of T-cells increases again after initial decline. However, immune cells are directly impacted by viral particles; their number steadily diminishes over time, indicating that T-cells are targeted by viruses. The increasing value of "N" gives rapid rise to the depletion of T-cells at huge level and is more predictable sign for AIDS. The profile of I-cells shows oscillatory behaviour, and the wavelength is increasing by increasing the generation rate of free virus "N:" The viruses attack the immunity cells and convert these T-cells into I-cells. Due to such virus replication and infection of T-cells, the amount of I-cells increases. Meanwhile, the immune system has the capability to identify viruses and destroy them to control the infection. Therefore, the rate of I-cells again decreases after seventy days approximately. The influence of growth rate ("r") of the T-cell population on the dynamical behaviour of sate variables ðTðtÞ, IðtÞVðtÞÞ is visualised in Figures 5(d)-5(f). From the graphical view, it could be observed that state variables show considerably the same dynamics by increasing the growth rate and death rate but speeds up the decaying oscillation. The impact of increasing the death rate ðμ T Þ of the T-cell population on the dynamical behaviour of sate variables is depicted in Figures 6(a)-6(c). If the mortality rate of T-cells increases, there is no significant influence on the density of T-cells in the earliest stages. Since the virus attacks T-cells on a continuous basis, a gradual but significant decline occurs after seventy days. Similarly, the time period for the concentration of I-cells and free HIV virus particles is affected slightly. Figures 6(d)-6(f) demonstrate that if the mortality rate of the I-cell population grows, the rate of T-cells reaches a maximum in the early days but begins to drop in concentration with the passage of time, and a continuous pattern of crest and trough with a small wavelength in density of T-cells could be noticed. The population of I-cells diminishes, although time has a vital effect, as seen in the graphs. Since HIV particles are latently present, they affect the number of I-cells, and their patterns display the same behaviour as I-cells. The infection rate oscillates over a seventy-day time-frame, and the death rate of I-cells has a significant effect on the growth of viral particles. By reducing the mortality rate of virus particles, the concentration of T-cells decreases with time, whereas speeding the depletion with longer wavelengths, as illustrated in Figure 7(a). The HIV particles target T-cells; their concentration rises if the mortality rate of HIV particles is lowered. Also, at the end of ten days, the initial and final densities of T-cells are almost identical, whereas the density of I-cells and viral particles grows and the time for growth in I-cell and viral particles decreases, as shown in Figures 7(b) and 7(c).
The phase and chaotic behaviour of the specified model are shown in Figures 7(d)-8(b). Many scientific and engineering applications are based on a system's chaotic nature [34]. It is well acknowledged that there is a substantial tendency toward understanding and representing chaotic system behaviours. The chaotic diagrams demonstrate the feasibility and application of the suggested numerical approach, which may be generalized to novel chaotic systems.

Concluding Remarks
In this paper, the continuous Galerkin-Petrov time discretization scheme is implemented for the model for HIV infection, which is comprised of three nonlinear ordinary differential equations. Afterwards, implement the RK4 method for solving the model and compare the solutions of both techniques. Moreover, a comprehensive analysis of the outcomes of the Galerkin method and RK4 method with findings of other schemes available in the literature is presented in detail. The assessment of the absolute values of errors between the Galerkin scheme and RK4 scheme solutions shows that the solutions provided are more accurate in comparison to the solutions obtained through conventional schemes. The graphical and tabular outcomes demonstrated that the proposed scheme is very accurate and achieves highly accurate results at a larger step size in comparison to the existing techniques employed for the mentioned model. The Galerkin scheme is an adaptive scheme that achieves the same accuracy at a larger step size at a lower cost. In comparison towards other approaches, our technique yields more accurate results than other methods that have addressed the same problem. The findings demonstrate that the approach employed may be utilised for numerous types of nonlinear systems of differential equations. The performance of the proposed approach demonstrates that these methods are logically effective and reliable for solving nonlinear problems in complex dynamical systems. On the other hand, we examined the dynamical behaviour of the model with a variable supply rate (depending on viral load) of new T-cells. The influence of significant clinical parameters on the dynamics of T-cells, I-cells, and free HIV virus particles is described and observed by varying their values. The main findings are as follows: In addition, the phase and chaotic behaviour of the aforementioned model are presented. Many scientific and technical applications are predicated on the chaotic character of a system. It is widely accepted that there is a heavy tendency toward comprehending and portraying chaotic system behaviours. The chaotic diagrams show the practicality and accessibility of the suggested numerical technique, which may be expanded to novel chaotic systems.
In the future, we plan to elaborate on the research by incorporating vaccination rates and investigating their impact on the model's dynamical behaviour.

Data Availability
All the data are available in the manuscript.

Conflicts of Interest
The authors declare that they have no conflicts of interest.