Loading [MathJax]/jax/output/SVG/jax.js
Research article

Approximate solution of nonlinear Black–Scholes equation via a fully discretized fourth-order method

  • In this work, a new fourth-order finite difference (FD) approximation (for both structured and unstructured grid of nodes) is contributed and equipped with the fourth-order Runge–Kutta scheme to tackle the financial nonlinear partial differential equation (PDE) of Black–Scholes. This timedependent PDE problem is converted to a set of ordinary differential equations (ODEs). It is proved that under several criteria the procedure is time stable. Computational illustrations presented here, show that our approach is fast and accurate. The proposed technique reduces the computational cost, when more accurate results are requested.

    Citation: Azadeh Ghanadian, Taher Lotfi. Approximate solution of nonlinear Black–Scholes equation via a fully discretized fourth-order method[J]. AIMS Mathematics, 2020, 5(2): 879-893. doi: 10.3934/math.2020060

    Related Papers:

    [1] Yao Shi, Zhenyu Wang . Bifurcation analysis and chaos control of a discrete fractional-order Leslie-Gower model with fear factor. AIMS Mathematics, 2024, 9(11): 30298-30319. doi: 10.3934/math.20241462
    [2] Fatao Wang, Ruizhi Yang, Yining Xie, Jing Zhao . Hopf bifurcation in a delayed reaction diffusion predator-prey model with weak Allee effect on prey and fear effect on predator. AIMS Mathematics, 2023, 8(8): 17719-17743. doi: 10.3934/math.2023905
    [3] Ibraheem M. Alsulami . On the stability, chaos and bifurcation analysis of a discrete-time chemostat model using the piecewise constant argument method. AIMS Mathematics, 2024, 9(12): 33861-33878. doi: 10.3934/math.20241615
    [4] Fethi Souna, Salih Djilali, Sultan Alyobi, Anwar Zeb, Nadia Gul, Suliman Alsaeed, Kottakkaran Sooppy Nisar . Spatiotemporal dynamics of a diffusive predator-prey system incorporating social behavior. AIMS Mathematics, 2023, 8(7): 15723-15748. doi: 10.3934/math.2023803
    [5] Abdul Qadeer Khan, Ayesha Yaqoob, Ateq Alsaadi . Neimark-Sacker bifurcation, chaos, and local stability of a discrete Hepatitis C virus model. AIMS Mathematics, 2024, 9(11): 31985-32013. doi: 10.3934/math.20241537
    [6] Ali Al Khabyah, Rizwan Ahmed, Muhammad Saeed Akram, Shehraz Akhtar . Stability, bifurcation, and chaos control in a discrete predator-prey model with strong Allee effect. AIMS Mathematics, 2023, 8(4): 8060-8081. doi: 10.3934/math.2023408
    [7] Xiaoming Su, Jiahui Wang, Adiya Bao . Stability analysis and chaos control in a discrete predator-prey system with Allee effect, fear effect, and refuge. AIMS Mathematics, 2024, 9(5): 13462-13491. doi: 10.3934/math.2024656
    [8] Limei Liu, Xitong Zhong . Analysis and anti-control of period-doubling bifurcation for the one-dimensional discrete system with three parameters and a square term. AIMS Mathematics, 2025, 10(2): 3227-3250. doi: 10.3934/math.2025150
    [9] A. Q. Khan, Ibraheem M. Alsulami, S. K. A. Hamdani . Controlling the chaos and bifurcations of a discrete prey-predator model. AIMS Mathematics, 2024, 9(1): 1783-1818. doi: 10.3934/math.2024087
    [10] Weili Kong, Yuanfu Shao . Bifurcations of a Leslie-Gower predator-prey model with fear, strong Allee effect and hunting cooperation. AIMS Mathematics, 2024, 9(11): 31607-31635. doi: 10.3934/math.20241520
  • In this work, a new fourth-order finite difference (FD) approximation (for both structured and unstructured grid of nodes) is contributed and equipped with the fourth-order Runge–Kutta scheme to tackle the financial nonlinear partial differential equation (PDE) of Black–Scholes. This timedependent PDE problem is converted to a set of ordinary differential equations (ODEs). It is proved that under several criteria the procedure is time stable. Computational illustrations presented here, show that our approach is fast and accurate. The proposed technique reduces the computational cost, when more accurate results are requested.


    Ecological balance is defined as a "state of dynamic equilibrium within an organismal community in which genetic, species, and ecosystem diversities remain relatively stable". An ecological imbalance results from a breakdown of an ecosystem's natural equilibrium. Natural habitat degradation, climate change, global warming, and biodiversity loss are all results of an ecological imbalance. Therefore, ecological balance is necessary to preserve the diverse and abundant organismal variety. The survival, reproduction, and fitness of an individual are determined by responses to environmental factors. When one creature uses a habitat or food supply in a certain way, it modifies the temporal and spatial dynamics of the habitat structure and resource distribution for another organism. To maintain the balance and stability, scientists and ecologist study different factors involved in ecology where prey-predator is most essential to consider [1]. Ecological relationships between predators and prey are crucial. Predators pursue and consume prey, which has an impact on both population's dynamics. The population dynamics of predators and prey are shown mathematically by the Lotka-Volterra model. The model may be used to estimate how predator and prey populations can evolve under various situations by taking variables like birth rates, death rates, and the availability of resources into consideration. For instance, if there are many preys and few predators, the predator population will probably grow since more food is available. However, if the quantity of predators is too high, it may diminish the number of prey, resulting in a drop in both populations. Ecologists may learn about the numerous links that exist between various species within an ecosystem and create plans for biodiversity preservation and resource management by understanding predator-prey interactions. Prey-predator models have important mathematical implications because they clarify ecosystem dynamics and the interactions of various species. These models enable us to estimate how these populations will evolve over time by using mathematical equations to represent the interactions between predators and prey. For instance, differential equalizations are used in the popular prey-predator Lotka-Volterra model to explain how the populations of predators and prey fluctuate over time. These equations may be used to estimate how predator and prey populations would fluctuate under various circumstances which mentioned above. By analyzing these models, ecologists may learn about the complex interactions between various species in an ecosystem and create plans for biodiversity preservation and resource management [2]. Therefore, prey-predator models are building blocks of bio and ecosystems. In an ecosystem, millions of species interact with each other. They compete, change, and disperse simply to seek recourses. In their struggle for existence in this universe, they compete with each other and may attain different attributes or shapes of population interactions. Depending upon their specific settings of applications, they can take the forms of resource-consumer, parasite-host, plant-herbivore, etc. Among prey-predator interactions, predators are those species that kill and eat another species, to be eaten called prey. In this interaction, when the prey population decreases, the predator population also decreases; moreover, when the prey population increases, the predator population also increases. Many models have been proposed to comprehend the process of competition among populations of two species. Among these models, the most well-known model is the following predator-prey model which was proposed by Volterra in 1931 [3]:

    dxdt=axbxy, dydt=cy+dxy, (1.1)

    where the number of prey and predator are denoted by x and y at time t, respectively, whereas all involved model's parameters are positive. This model represents the direct relationship between the prey and predator populations. If predators are absent, then the number of prey grows exponentially; when the prey population decreases, the predator population also decreases exponentially. Moreover, in the model, dxy and bxy denote the predator-prey confrontation, respectively, which are useful to predators and harmful to prey. It is noted here that due to the harvesting effect, model (1.1) becomes [4]:

    dxdt=axbxyγx, dydt=cy+dxyγy. (1.2)

    Reaction-diffusion, which is another factor in the interaction of prey-predator, was considered by Lazaar et al.; they studied the local and global dynamics of prey-predator by considering the prey refuge [5]. Saadeh et al. [6] considered the following model to describe different dynamical properties which are effected by commensurate and incommensurate orders:

    xn+1=xn+δxn(1xnynx2n+c), yn+1=yn+δyn(abynxn), (1.3)

    where a, b, c, and δ are positive parameters. Elettreby et al. [7] studied the dynamics of a discrete prey-predator model with mixed functional response. Many other mathematical models which were considered in continues form showed different results to contribute to the stability of ecosystem. For instance, Chen et al. [8] examined the hopf bifurcation of a species interaction model. Chen and Wu [9] investigated the dynamics of a diffusive predator-prey model with a harvesting policy and a network connection. Chen and Srivastava [10] investigated the bifurcating solution of a predator-prey model. Chen and Wu [11] studied bifurcation in the Previte-Hoffman model. Chen and Wu [12] studied the dynamics of a diffusive predator-prey model. Britton [13] suggested the following Leslie's model:

    dxdt=axbx2cxy, dydt=dyαy2x, (1.4)

    where all involved model's parameters are positive. The British mathematician Patrick Leslie created the Leslie model in the 1940s for examining the dynamics of fish populations. Leslie was fascinated by how populations of fish and other species changed over time, and he realized that a mathematical model may assist him in forecasting these changes. According to the Leslie model, the population may be split into several age groups, and the birth and death rates of people in each group can be used to forecast how the population will change over time. Since then, a variety of creatures have been studied using the model, making it a crucial tool in ecology and conservation biology. The following assumptions constitute the foundation of the Leslie model [14,15]: There are discrete age groups within the population; the birth rate is consistent throughout all age groups; the mortality rate is consistent among all age groups; and there is no inward or outward population migration.

    Predator-prey models and other population dynamics are studied using the Leslie model; it considers elements including population interactions, mortality rates, and birth rates. The model is helpful for understanding the effects of environmental variables, researching long-term ecosystem dynamics, and anticipating changes through time. Moreover, it is well known that when the populations have non-overlapping generations, the discrete models defined by maps are more logical than the continuous models. Additionally, the discrete-time models offer richer dynamics and more capable computational results for numerical simulations than the continuous ones [16,17,18,19]. Therefore, in the present study, we will study the hybrid control and bifurcations of the following discrete Leslie's model:

    xn+1=(1+ah)xnbhx2nchxnyn, yn+1=(1+dh)xnynαhy2nxn, (1.5)

    which is a discrete analogue of (1.4) by the Euler forward formula.

    The layout of rest of the paper is as follows. The stability analysis at fixed points is given in Section 2. In Section 3, bifurcations at equilibria are given, whereas Section 4 describes the control of the N-S bifurcation. In Section 5, the obtained results are verified numerically, whereas a concise summary is provided in Section 6.

    In this study, we explore stability analysis at equilibria of the discrete Leslie's model (1.5) by the stability theory [20,21,22,23,24,25]. In this respect, we first find equilibria of the discrete Leslie's model (1.5) by algebraic techniques. By definition of a fixed point, if Exy(x,y) is the equilibrium point of the model (1.5), then

    x=(1+ah)xbhx2chxy, y=(1+dh)xyαhy2x. (2.1)

    Since Ex0(ab,0) satisfied (2.1), then for all model's parameters, Ex0(ab,0) is the boundary fixed point of Leslie's model (1.5). For the interior equilibrium point, from (2.1) one has

    bx+cy=a, dxαy=0. (2.2)

    From 1st equation of (2.2), one has

    x=acyb. (2.3)

    From 2nd equation of (2.2) and (2.3), one gets:

    y=adcd+bα. (2.4)

    Utilizing (2.4) in (2.3), one gets:

    x=aαcd+bα. (2.5)

    In view of (2.4) and (2.5), one can say that for all model's parameters, the Leslie's model (1.5) has an interior fixed point E+xy(aαcd+bα,adcd+bα). The variational matrix Λ|Exy(x,y) at Exy(x,y) under the map is as follows:

    (f1,f2)(xn+1,yn+1), (2.6)

    where

    f1=(1+ah)xbhx2chxy, f2=(dh+1)xyαhy2x, (2.7)

    is

    Λ|Exy(x,y)=(1+ah2bhxchychxαhy2x2(1+dh)x2αhyx). (2.8)

    Now, in subsequent sections, we will explore the stability analysis at Ex0(ab,0) and E+xy(aαcd+bα,adcd+bα).

    It is stated that at Ex0(ab,0), (2.8) implies

    Λ|Ex0(ab,0)=(1ahachb01+dh), (2.9)

    whose characteristic roots are

    λ1=1+dh, λ2=1ah. (2.10)

    From (2.10), the dynamics of the Leslie's model (1.5) at Ex0(ab,0) can be summarized as

    Lemma 2.1. (i) Ex0(ab,0) is never sink;

    (ii) Ex0(ab,0) is a source if

    h>2a; (2.11)

    (iii) Ex0(ab,0) is a saddle if

    0<h<2a; (2.12)

    (iv) Ex0(ab,0) is non-hyperbolic if

    h=2a. (2.13)

    Remark 1. The topological classifications at Ex0(ab,0) of Leslie's model (1.5) are given in Figure 1.

    Figure 1.  Dynamics of Leslie's model (1.5) at Ex0(ab,0) if h(0,8) and a(0,4).

    At E+xy(aαcd+bα,adcd+bα), (2.8) takes the following form:

    Λ|E+xy(aαcd+bα,adcd+bα)=(1abhαcd+bαachαcd+bαhd2α1hd), (2.14)

    whose characteristic equation is

    λ2Tλ+D=0, (2.15)

    where

    T=2hdabhαcd+bα,D=a(bdh2α+ch2d2bhα)cd+bα+1hd. (2.16)

    Lastly, roots of (2.15) are

    λ1,2=T±Δ2, (2.17)

    where

    Δ=T24D=(2hdabhαcd+bα)24(a(bdh2α+ch2d2bhα)cd+bα+1hd). (2.18)

    Hereafter, two Lemmas for Δ<0 (Δ0 are presented to show the complete topological classifications at E+xy(aαcd+bα,adcd+bα) of the discrete model (1.5).

    Lemma 2.2. (i) E+xy(aαcd+bα,adcd+bα) is a stable focus if

    0<a<d(cd+bα)bdhα+chd2bα; (2.19)

    (ii) E+xy(aαcd+bα,adcd+bα) is an unstable focus if

    a>d(cd+bα)bdhα+chd2bα; (2.20)

    (iii) E+xy(aαcd+bα,adcd+bα) is non-hyperbolic if

    a=d(cd+bα)bdhα+chd2bα. (2.21)

    Lemma 2.3. (i) E+xy(aαcd+bα,adcd+bα) is a stable node if

    0<a<(cd+bα)(2hd4)h(bdhα+chd22bα); (2.22)

    (ii) E+xy(aαcd+bα,adcd+bα) is an unstable node if

    a>(cd+bα)(2hd4)h(bdhα+chd22bα); (2.23)

    (iii) E+xy(aαcd+bα,adcd+bα) is non-hyperbolic if

    a=(cd+bα)(2hd4)h(bdhα+chd22bα). (2.24)

    Remark 2. The topological classifications at E+xy(aαcd+bα,adcd+bα) of Leslie's model (1.5) if Δ<0 and Δ>0, respectively, are given in Figures 2 and 3.

    Figure 2.  Dynamics of Leslie's model (1.5) at E+xy(aαcd+bα,adcd+bα) if Δ<0, b=0.5,d=1.4,α=2.5,c=0.8, h(1,4) and a(0,1.6).
    Figure 3.  Dynamics of Leslie's model (1.5) at E+xy(aαcd+bα,adcd+bα) if Δ>0, b=1.5,c=0.8,d=0.4,α=2.5, h(0,4) and a(0,3).

    The possible bifurcation analysis are explored in this section at fixed points Ex0(ab,0) and E+xy(aαcd+bα,adcd+bα). First, we will study the bifurcation analysis at Ex0(ab,0). Recall that |Ex0(ab,0) at Ex0(ab,0) has eigenvalues, which are depicted in (2.10), and if (2.13) holds, then λ2|(2.13)=1 but λ1|(2.13)=2d+aa1 or 1. This grantees the fact that the discrete model (1.5) may undergo the flip bifurcation if :=(a,b,c,d,h,α) passes through the curve:

    FB|Ex0(ab,0)={, h=2a}. (3.1)

    Therefore, in the following theorem, we are going to study the detailed indicated bifurcation analysis at Ex0(ab,0).

    Theorem 3.1. At Ex0(ab,0), the Leslie's model (1.5) does not undergo a flip bifurcation if FB|Ex0(ab,0).

    Proof. Since w.r.t y=0, the discrete Leslie's model (1.5) is invariant, and therefore, one restricts (1.5) to line y=0 to explore the indicated bifurcation where it becomes

    xn+1=(1+ah)xnbhx2n. (3.2)

    From (3.2), one has

    f(h,x):=(1+ah)xbhx2. (3.3)

    From (3.1), one denotes h=h=2a and x=x=ab. Now, from (3.3) one obtains the following

    fx|h=2a, x=ab=1, (3.4)
    fxx|h=2a, x=ab=4ba0, (3.5)

    and

    fh|h=2a, x=ab=0. (3.6)

    Equation (3.6) clearly indicates that the Leslie's model (1.5) does not undergo a flip bifurcation if FB|Ex0(ab,0), and therefore as a result, the predator population goes to an extension while the prey undergoes a flip bifurcation to chaos.

    Now, the bifurcation analysis at E+xy(aαcd+bα,adcd+bα) of the Leslie's model (1.5) is investigated. Recall that if Δ<0, then |E+xy(aαcd+bα,adcd+bα) about E+xy(aαcd+bα,adcd+bα) has complex conjugate pairs. Moreover, if (2.21) holds, then |λ1,2|(2.21)=1. This gives the fact that model (1.5) may undergo a N-S bifurcation if crosses the curve:

    NSB|E+xy(aαcd+bα,adcd+bα)={, a=d(cd+bα)bdhα+chd2bα }. (3.7)

    However, the following theorem gives the detailed analysis of N-S bifurcation at E+xy(aαcd+bα,adcd+bα) by the bifurcation theory [26,27,28,29,30,31].

    Theorem 3.2. If NSB|E+xy(aαcd+bα,adcd+bα) then at E+xy(aαcd+bα,adcd+bα), the N-S bifurcation must exists.

    Proof. If parameter a is designated as a bifurcation parameter, then (1.5) becomes

    xn+1=(1+(a+ϵ)h)xnbhx2nchxnyn, yn+1=(1+dh)xnynαhy2nxn, (3.8)

    whose interior fixed point is E+xy((a+ϵ)αcd+bα,(a+ϵ)dcd+bα). Moreover, at E+xy((a+ϵ)αcd+bα,(a+ϵ)dcd+bα), (2.15) becomes

    λ2T(ϵ)λ+D(ϵ)=0, (3.9)

    where

    T(ϵ)=2hd(a+ϵ)bhαcd+bα,D(ϵ)=(a+ϵ)(bdh2α+ch2d2bhα)cd+bα+1hd. (3.10)

    Roots of (3.9) are

    λ1,2=T(ϵ)±ι4D(ϵ)(T(ϵ))22=1hd2(a+ϵ)bhα2(cd+bα)   ±ι24((a+ϵ)(bdh2α+ch2d2bhα)cd+bα+1hd)(2hd(a+ϵ)bhαcd+bα)2. (3.11)

    From (3.11), one computes

    |λ1,2|=D(ϵ),d|λ1,2|dϵ|ϵ=0=h(bdhα+chd2bα)2(cd+bα)0. (3.12)

    Additionally, one needs to determine that λυ1,21,υ=1,,4 which is equivalent to T(ϵ)2,0,1,2 if ϵ=0. Since if (2.21) holds then D(0)=1, and hence T(0)2,2. Therefore, it further requires that T(0)1,0, that is, αchd2(hd2)b(2hd2h2d2), chd2(hd1)b(hd1h2d2). Now, by the following transformation

    un=xnx, vn=yny, (3.13)

    E+xy(aαcd+bα,adcd+bα) transforms into Etrival where x=aαcd+bα and y=adcd+bα. In view of (3.13), (3.8) takes the following form:

    un+1=(1+(a+ϵ)h)(un+x)bh(un+x)2ch(un+x)(vn+y)x,vn+1=(1+dh)(un+x)(vn+y)αh(vn+y)2un+xy. (3.14)

    Now, for ϵ=0, we will explore the normal form of (3.14). For this system (3.14), after expanding up to 3rd-order at Etrival, becomes

    un+1=δ11un+δ12vn+δ13u2n+δ14unvn,vn+1=δ21un+δ22vn+δ23un2+δ24unvn+δ25vn2+δ26un3+δ27un2vn+δ28unvn2, (3.15)

    where

    δ11=1+ah2bhxchy, δ12=chx, δ13=bh, δ14=ch, δ21=αhy2x2,δ22=1+dh2αhyx, δ23=αhy2x3, δ24=2αhyx2, δ25=αhx,δ26=αhy2x2, δ27=2αhyx3, δ28=αhx2. (3.16)

    Now, using the following translation:

    (unvn):=(δ120ηδ11ξ)(UnVn), (3.17)

    the system (3.14) implies

    Un+1=ηUnξVn+F1(Un,Vn),Vn+1=ξUn+ηVn+F2(Un,Vn), (3.18)

    where

    F1(Un,Vn)=β11U2n+β12UnVn,F2(Un,Vn)=β21Un3+β22Un2+β23Un2Vn+β24UnVn+β25UnVn2, (3.19)

    with

    β11=δ12δ13+(ηδ11)δ14, β12=ξδ14,β21=1ξ(δ312δ26(ηδ11)(δ212δ27+δ12δ28(ηδ11))),β22=(ηδ11)(δ12+δ14(ηδ11)δ12δ14)δ212δ23δ122δ25ξ,β23=δ212δ27+2δ12δ28,β24=δ12δ24δ14(ηδ11), β25=ξδ12δ28, (3.20)

    and

    η=1hd2abhα2(cd+bα),ξ=124(a(bdh2α+ch2d2bhα)cd+bα+1hd)(2hdabhαcd+bα)2. (3.21)

    From (3.19), one gets:

    2F1UnUn|Etrival=2β11, 2F1UnVn|Etrival=β12, 2F1VnVn|Etrival=0,3F1UnUnUn|Etrival=3F1UnUnVn|Etrival=3F1UnVnVn|Etrival=3F1VnVnVn|Etrival=0,2F2UnUn|Etrival=2β22, 2F2UnVn|Etrival=β24, 2F2VnVn|Etrival=0,3F2UnUnUn|Etrival=6β21, 3F2UnUnVn|Etrival=2β23, 3F2UnVnVn|Etrival=2β25,3F2VnVnVn|Etrival=0. (3.22)

    Finally, for the occurrence of the indicated bifurcation, the following quantity is required to be non-zero:

    ˆψ=((12ˉλ)ˉλ21λT11T20)12T112T022+(ˉλT21), (3.23)

    where

    T02=18[2F1UnUn2F1VnVn+22F2UnVn+ι(2F2UnUn2F2VnVn+22F1UnVn)]|Etrival,T11=14[2F1UnUn+2F1VnVn+ι(2F2UnUn+2F2VnVn)]|Etrival,T20=18[2F1UnUn2F1VnVn+22F2UnVn+ι(2F2UnUn2F2VnVn22F1UnVn)]|Etrival,T21=116[3F1UnUnUn+3F1VnVnVn+3F2UnUnVn+3F2VnVnVn+ι(3F2UnUnUn+3F2UnVnVn3F1UnUnVn3F1VnVnVn)]|Etrival. (3.24)

    From (3.24), the computation yields

    T02=14[β11+β24+ι(β12+β22)],T11=12[β11+ιβ22],T20=14[β11+β24+ι(β22β12)],T21=18[β23+ι(3β21+β25)]. (3.25)

    From the above manipulation, we therefore say that if ˆψ0, then the Leslie's model (1.5) undergoes a N-S bifurcation. Additionally, the repelling (attracting) invariant closed curve bifurcates from E+xy(aαcd+bα,adcd+bα) if ˆψ>0 (ˆψ<0), respectively.

    In prey-predator Leslie models, controlling the Neimark-Sacker bifurcation is essential since it enables us to stabilize the dynamics of the populations. A sort of bifurcation called a Neimark-Sacker bifurcation occurs when a stable limit cycle, which is a population dynamics repeating pattern, loses stability and gives rise to a new, unstable limit cycle. Chaos in dynamics can result from this, which can be challenging to forecast and manage. In prey-predator Leslie models, we may prevent chaotic dynamics and stabilize the populations by managing the N-S bifurcation. As a result, we are able to better anticipate and lessen the consequences of environmental variables like habitat loss, climate change, and other disturbances. This is crucial for managing natural resources and protecting bio-diversity. In prey-predator Leslie models, the N-S bifurcation needs to be controlled in order to comprehend long-term ecosystem dynamics and create management plans for natural resources. We may learn more about the intricate interactions between many species in an ecosystem, establish plans for biodiversity preservation, and manage resources by researching the interactions between predator and prey populations. Furthermore, by limiting the N-S bifurcation, we can forecast how ecological changes in populations will impact it over time and create plans to reduce the impact of disturbances. Therefore, hereafter we will control the N-S bifurcation by the hybrid control method motivated from existing literatures [32,33,34]. If β is a bifurcation parameter, then the Leslie's model (1.5) becomes

    xn+1=β[(1+ah)xnbhx2nchxnyn]+(1β)xn,yn+1=β[(1+dh)xnynαhy2nxn]+(1β)yn, (4.1)

    where E+xy(aαcd+bα,adcd+bα) is the interior fixed point. Moreover, the auxiliary equation of Λ|E+xy(aαcd+bα,adcd+bα) at E+xy(aαcd+bα,adcd+bα) for controlled system, which is depicted in (4.1), is

    λ2T(β)λ+D(β)=0, (4.2)

    where

    T(β)=2βhdβabhαcd+bα,D(β)=a(β2bdh2α+β2ch2d2βbhα)cd+bα+1βhd. (4.3)

    The roots of (4.2) with β are

    λ1,2=T(β)±ι4D(β)(T(β))22=1βhd2βabhα2(cd+bα)   ±ι24(a(β2bdh2α+β2ch2d2βbhα)cd+bα+1βhd)(2βhdβabhαcd+bα)2. (4.4)

    Recall that if (2βhdβabhαcd+bα)24(a(β2bdh2α+β2ch2d2βbhα)cd+bα+1βhd)<0, then the auxiliary equation, which is depicted in (4.2), has two conjugate roots with modulo 1. Additionally, it is easy to establish that E+xy(aαcd+bα,adcd+bα) of the system (4.1) is non-hyperbolic, stable focus, and unstable if following conditions hold, respectively:

    a=d(cd+bα)βbdhα+βchd2bα, (4.5)
    0<a<d(cd+bα)βbdhα+βchd2bα, (4.6)

    and

    a>d(cd+bα)βbdhα+βchd2bα. (4.7)

    Recall that if a is a bifurcation parameter, then the system (4.1) becomes

    xn+1=β((1+(a+ϵ)h)xnbhx2nchxnyn)+(1β)xn, yn+1=β((1+dh)xnynαhy2nxn)+(1β)yn, (4.8)

    where characteristics roots are

    λ1,2=1βhd2β(a+ϵ)bhα2(cd+bα)±ι2   ×4((a+ϵ)(β2bdh2α+β2ch2d2βbhα)cd+bα+1βhd)(2βhdβ(a+ϵ)bhαcd+bα)2. (4.9)

    Furthermore, for the system (4.1) to undergo N-S bifurcation, the following non-degenerate condition(s) should hold:

    |λ1,2|=D(β), d|λ1,2|dϵ|ϵ=0=βh(βbdhα+βchd2bα)2(cd+bα)0. (4.10)

    Furthermore, it is also require that λυ1,21,υ=1,,4 which corresponds to T(β)2,0,1,2 if ϵ=0. This compute to get αchd2(β2hd2)b(3βhd2β2h2d2hd), chd2(β2hd1)b(2βhd1β2h2d2hd). Now, by (3.13), the system (4.1) becomes

    un+1=β[(1+(a+ϵ)h)(un+x)bh(un+x)2ch(un+x)(vn+y)]β(un+x)+un,vn+1=β[(1+dh)(un+x)(vn+y)αh(vn+y)2un+x]β(vn+y)+vn, (4.11)

    with x=(a+ϵ)αcd+bα and y=(a+ϵ)dcd+bα. Now, the system (4.11) becomes

    un+1=^δ11un+^δ12vn+^δ13u2n+^δ14unvn,vn+1=^δ21un+^δ22vn+^δ23un2+^δ24unvn+^δ25vn2+^δ26un3+^δ27un2vn+^δ28unvn2, (4.12)

    where

    ^δ11=β(1+ah2bhxchy)+1β, ^δ12=βchx, ^δ13=βbh, ^δ14=βch, ^δ21=βαhy2x2,^δ22=β(1+dh2αhyx), ^δ23=βαhy2x3, ^δ24=2βαhyx2, ^δ25=βαhx,^δ26=βαhy2x4, ^δ27=2βαhyx3, ^δ28=βαhx2. (4.13)

    Now, using the following translation,

    (unvn):=(^δ120η^δ11ξ)(UnVn), (4.14)

    system (4.11) gives

    Un+1=ηUnξVn+~F1(Un,Vn),Vn+1=ξUn+ηVn+~F2(Un,Vn), (4.15)

    where

    ~F1(Un,Vn)=~β11U2n+~β12UnVn,~F2(Un,Vn)=~β21Un3+~β22Un2+~β23Un2Vn+~β24UnVn+~β25UnVn2, (4.16)

    with

    ~β11=^δ12^δ13+(η^δ11)^δ14, ~β12=ξ^δ14,~β21=1ξ(^δ312^δ26+(η^δ11)(^δ212^δ27+^δ12^δ28(η^δ11))),~β22=(η^δ11)(^δ12+^δ14(η^δ11)^δ12^δ14)^δ212~δ23^δ122^δ25ξ,~β23=^δ212^δ27+2^δ12^δ28,~β24=^δ12^δ24^δ14(η^δ11), ~β25=ξ^δ12^δ28, (4.17)

    and

    η=1βhd2βabhα2(cd+bα),ξ=124(a(β2bdh2α+β2ch2d2βbhα)cd+bα+1βhd)(2βhdβabhαcd+bα)2. (4.18)

    From (4.16), one gets:

    2~F1UnUn|Etrival=2~β11, 2~F1UnVn|Etrival=~β12, 2~F1VnVn|Etrival=0,3^F1UnUnUn|Etrival=3~F1UnUnVn|Etrival=3~F1UnVnVn|Etrival=3~F1VnVnVn|Etrival=0,2~F2UnUn|Etrival=2~β22, 2~F2UnVn|Etrival=~β24, 2~F2VnVn|Etrival=0,3~F2UnUnUn|Etrival=6~β21, 3~F2UnUnVn|Etrival=2~β23, 3~F2UnVnVn|Etrival=2~β25,3~F2VnVnVn|Etrival=0. (4.19)

    From (4.16), the computation yields

    T02=14[~β11+~β24+ι(~β12+~β22)],T11=12[~β11+ι~β22],T20=14[~β11+~β24+ι(~β22~β12)],T21=18[~β23+ι(3~β21+~β25)]. (4.20)

    Finally, from view (4.20) and (3.23), one can summarize that if ˆψ0 as NSB|E+xy(aαcd+bα,adcd+bα), then the controlled Leslie's system (4.1) undergoes a N-S bifurcation. Additionally, the dynamical classifications of the controlled Leslie's system (4.1) E+xy(aαcd+bα,adcd+bα) are given in Figure 4.

    Figure 4.  Dynamics of control Leslie's model (4.1) at E+xy(aαcd+bα,adcd+bα) if Δ<0, b=0.5,d=1.4,α=2.5,c=0.8,β=0.85, h(1,9) and a(0,1.5).

    If c=0.8,α=2.5,d=1.4,b=0.5,h=0.9, then from obtained parametric condition, which is shown in (2.21), one has a=1.9110701532081558. Therefore, if a<1.9110701532081558, then E+xy(aαcd+bα,adcd+bα) is a stable focus; change the dynamics if a=1.9110701532081558 and becomes unstable if a>1.9110701532081558. An illustration, let a=1.7<1.9110701532081558, then from Figure 5a it is obtained that E+xy(1.8565400843881856,1.0396624472573839) is a stable focus. Moreover, if a=1.78, 1.8, 1.83, 1.87, 1.9<1.9110701532081558 then Figure 5b5f demonstrate that corresponding equilibrium is a stable focus. On the other hand, if a=1.92>1.9110701532081558, then Figure 6a implies that E+xy(2.0253164556962022,1.1282700421940928) is an unstable focus and as a result, subsequent computations demonstrate that the model undergoes supercritical N-S bifurcation. If a=1.92>1.9110701532081558, then from (2.17), (3.12) and (3.25), we have

    λ1,2=0.11481012658227852±0.9963464406374272ι, (5.1)
    d|λ1,2|dϵ|ϵ=0=0.3296582278481013>0, (5.2)

    and

    T02=0.3585723295164055+0.8032257975598602ι,T11=0.3186683544303798+1.2477668764902468ι,T20=0.3585723295164055+0.44454107893038647ι,T21=0.3632647500000002+0.9357173128467617ι. (5.3)
    Figure 5.  Stable focus for discrete Leslie's model (1.5) with (0.56,0.35).
    Figure 6.  Invariant closed curves for discrete Leslie's model (1.5) with (0.56,0.35).

    Using (5.3) and (5.1) in (3.23), one has ˆψ=0.9756591603967086<0. Hence, if a=1.92>1.9110701532081558, then Leslie's model (1.5) undergoes a supercritical N-S bifurcation. Similarly, if a=1.9234, 1.94, 1.97, 1.98, 2.1>1.9110701532081558, then the corresponding numerical values of ˆψ are given in Table 1. These calculations demonstrate that Leslie's model (1.5) undergoes a supercritical N-S bifurcation for a=1.9234,1.94,1.97,1.98,2.1>1.9110701532081558 (see Figure 6b6f). Finally, N-S bifurcation diagrams are presented in Figure 7 alongside the associated Maximum Lyapunov exponent, demonstrating the accuracy of the results in Sections 2 and 3.

    Table 1.  Value of ˆψ if a>1.9110701532081558.
    Variation of bifurcation value if a>1.9110701532081558 Respective value of ˆψ
    1.92 0.9756591603967086<0
    1.9234 1.7137873141808981<0
    1.94 1.7231554266350702<0
    1.97 1.7396393092677402<0
    2.1 1.8035711535193681<0

     | Show Table
    DownLoad: CSV
    Figure 7.  7a, 7b N-S bifurcation diagrams where a[0.9,2.95] with (0.56,0.35). 7c Maximum Lyapunov exponents correspond to 7a,7b.

    Finally, simulations are given for the controlled Leslie's model (4.1). If b=0.5,α=2.5,h=0.9,c=0.8,d=1.4,a=2.2 and β=0.85, then from (4.4), (4.10) and (4.20), we have

    λ1,2=0.2159556962025317±0.7798704440030912ι, (5.4)
    d|λ1,2|dϵ|ϵ=0=0.17887798101265812>0, (5.5)

    and

    T02=0.4635377088607595+0.5592628574353724ι,T11=0.19198401265822795+0.8798853590057989ι,T20=0.4635377088607595+0.3206225015704265ι,T21=0.22637354236363644+0.9625855794555787ι. (5.6)

    Using (5.6) and (5.4) in (3.23), we get ˆψ=0.9756591603967086<0. This implies that the controlled model (4.1) undergoes a supercritical hopf bifurcation (see Figure 8). To conclude, N-S bifurcation diagrams are presented in Figure 9 alongside the associated Maximum Lyapunov exponent, demonstrating the accuracy of the results in Section 4.

    Figure 8.  Invariant closed curve for discrete controlled Leslie's model (4.1) with (0.56,0.35).
    Figure 9.  9a, 9b N-S bifurcation diagrams for (4.1) where a[0.9,2.95] with (0.56,0.35). 7c Maximum Lyapunov exponents correspond to 9a,9b.

    In the current study, we investigated the hybrid control and bifurcation analysis of a discrete Leslie's model (1.5). More precisely, for all model's parameters, it is shown that Leslie's model (1.5) has boundary and interior equilibria Ex0(ab,0), E+xy(aαcd+bα,adcd+bα), respectively. Additionally, we investigated the topological classifications at equilibria Ex0(ab,0) and E+xy(aαcd+bα,adcd+bα) whose main finding are given in Table 2. Moreover, we studied the existence of possible bifurcations at equilibria Ex0(ab,0) and E+xy(aαcd+bα,adcd+bα). For the fixed point Ex0(ab,0), it is proved that Leslie's model (1.5) does not undergo a flip bifurcation if FB|Ex0(ab,0); however, at E+xy(aαcd+bα,adcd+bα), Leslie's model (1.5) undergoes only a N-S bifurcation if NSB|E+xy(aαcd+bα,adcd+bα). In Leslie models, the development of a Neimark-Sacker bifurcation can result in unexpected and chaotic population dynamics, making it challenging to predict the ecosystem's long-term dynamics. However, by comprehending the fundamental causes of N-S bifurcations, we may create plans for population stabilization and environmental impact reduction. Changes in birth and death rates, interactions between predator and prey populations, and environmental issues like habitat loss and temperature change are some of the underlying reasons that can cause N-S bifurcations in Leslie models. These elements have the potential to disrupt population dynamics, resulting in unpredictably erratic population growth. We can create plans for protecting bio-diversity and managing natural resources by researching these aspects. Furthermore, we have studied bifurcation analysis by bifurcation theory. Additionally, we have controlled the N-S bifurcation by employing a hybrid control method. Finally, numerical simulations are also presented to validate the results.

    Table 2.  Dynamics at Ex0(ab,0) and E+xy(aαcd+bα,adcd+bα) of discrete Leslie's model (1.5).
    Fixed points Corresponding topological classifications
    Px0(ab,0) non-hyperbolic if h=2a; saddle if 0<h<2a; source if h>2a; never sink.
    E+xy(aαcd+bα,adcd+bα) stable focus if 0<a<d(cd+bα)bdhα+chd2bα; unstable focus if a>d(cd+bα)bdhα+chd2bα;
    non-hyperbolic if a=d(cd+bα)bdhα+chd2bα.
    stable node if 0<a<(cd+bα)(2hd4)h(bdhα+chd22bα); unstable node if a>(cd+bα)(2hd4)h(bdhα+chd22bα);
    non-hyperbolic if a=2(chd2+bhdα)4(cd+bα)bdh2αch2d22bhα.

     | Show Table
    DownLoad: CSV

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The authors declare that they have no conflicts of interest regarding the publication of this paper.



    [1] Y. Adam, Highly accurate compact implicit methods and boundary conditions, J. Comput. Phys., 24 (1977), 10-22. doi: 10.1016/0021-9991(77)90106-1
    [2] A. Akgül, F. Soleymani, How to construct a fourth-order scheme for Heston-Hull-White equation?, AIP Conference Proceedings, 2116 (2019), 240002.
    [3] Z. Al-Zhour, M. Barfeie, F. Soleymani, et al. A computational method to price with transaction costs under the nonlinear Black-Scholes model, Chaos Soliton. Fract., 127 (2019), 291-301. doi: 10.1016/j.chaos.2019.06.033
    [4] J. Ankudinova, M. Ehrhardt, On the numerical solution of nonlinear Black-Scholes equations, Comput. Math. Appl., 56 (2008), 799-812. doi: 10.1016/j.camwa.2008.02.005
    [5] A. Babucke, M. J. Kloker, Accuracy analysis of the fundamental finite-difference methods on non-uniform grids, Internal report, Stuttgart University, 2009.
    [6] L. V. Ballestra, C. Sgarra, The evaluation of American options in a stochastic volatility model with jumps: An efficient finite element approach, Comput. Math. Appl., 60 (2010), 1571-1590. doi: 10.1016/j.camwa.2010.06.040
    [7] G. Barles, H. M. Soner, Option pricing with transaction costs and a nonlinear Black-Scholes equation, Financ. Stoch., 2 (1998), 369-397. doi: 10.1007/s007800050046
    [8] F. Black, M. Scholes, The pricing of options and corporate liabilities, J. Polit. Econ., 81 (1973), 637-654. doi: 10.1086/260062
    [9] R. Company, L. Jódar, J. R. Pintos, A numerical method for European option pricing with transaction costs nonlinear equation, Math. Comput. Model., 50 (2009), 910-920. doi: 10.1016/j.mcm.2009.05.019
    [10] M. Cummins, F. Murphy, J. J. H. Miller, Topics in Numerical Methods for Finance, Springer, New York, 2012.
    [11] B. Düring, M. Fournié, A. Jüngel, High order compact finite difference schemes for a nonlinear Black-Scholes equation, Int. J. Theor. Appl. Financ., 6 (2003), 767-789. doi: 10.1142/S0219024903002183
    [12] B. Fornberg, A Practical Guide to Pseudospectral Methods, Cambridge University Press, UK, 1996.
    [13] E. Hairer, G. Wanner, Solving Ordinary Differential Equations II, Springer-Verlag, Berlin Heidelberg, 1996.
    [14] D. J. Higham, An Introduction to Financial Option Valuation, Cambridge University Press, UK, 2004.
    [15] M. Jandačka, D. Ševčovič, On the risk adjusted pricing methodology based valuation of vanilla options and explanation of the volatility smile, J. Appl. Math., 2005 (2005), 235-258. doi: 10.1155/JAM.2005.235
    [16] M. K. Kadalbajoo, A. Kumar, L. P. Tripathi, An efficient numerical method for pricing option under jump diffusion model, Int. J. Adv. Eng. Sci. Appl. Math., 7 (2015), 114-123. doi: 10.1007/s12572-015-0136-z
    [17] R. Knapp, A method of lines framework in mathematica, J. Numer. Anal. Indust. Appl. Math., 3 (2008), 43-59.
    [18] N. Krejić, M. Kumaresan, A. Rožnjik, VaR optimal portfolio with transaction costs, Appl. Math. Comput., 218 (2011), 4626-4637.
    [19] G. H. Meyer, The Time-Discrete Method of Lines for Options and Bonds: A PDE Approach, World Scientific Publishing, USA, 2015.
    [20] S. Milovanović, L. von Sydow, Radial basis function generated finite differences for option pricing problems, Comput. Math. Appl., 75 (2018), 1462-1481. doi: 10.1016/j.camwa.2017.11.015
    [21] R. Mohammadi, Quintic B-spline collocation approach for solving generalized Black-Scholes equation governing option pricing, Comput. Math. Appl., 69 (2015), 777-797. doi: 10.1016/j.camwa.2015.02.018
    [22] M. Monoyios, Option pricing with transaction costs using a Markov chain approximation, J. Econ. Dyn. Control, 28 (2004), 889-913. doi: 10.1016/S0165-1889(03)00059-9
    [23] A. Parás, M. Avellaneda, Dynamic hedging portfolios for derivative securities in the presence of large transaction costs, Appl. Math. Financ., 1 (1994), 165-193. doi: 10.1080/13504869400000010
    [24] P. Roul, A high accuracy numerical method and its convergence for time-fractional Black-Scholes equation governing European options, Appl. Numer. Math., (2020), DOI: https://doi.org/10.1016/j.apnum.2019.11.004.
    [25] P. Roul, V. M. K. P. Goura, A new higher order compact finite difference method for generalised Black-Scholes partial differential equation: European call option, J. Comput. Appl. Math., 363 (2020), 464-484. doi: 10.1016/j.cam.2019.06.015
    [26] T. Sauer, Numerical Analysis, 2 Eds., Pearson Publication, USA, 2012.
    [27] D. Ševčovič, M. Žitnanská, Analysis of the nonlinear option pricing model under variable transaction costs, Asia-Pac. Financ. Mark., 23 (2016), 153-174. doi: 10.1007/s10690-016-9213-y
    [28] R. U. Seydel, Tools for Computational Finance, 6 Eds, Springer, United Kingdom, 2017.
    [29] A. R. Soheili, F. Soleymani, Construction of some accelerated methods for solving scalar stochastic differential equations, Int. J. Comput. Sci. Math., 7 (2016), 537-547. doi: 10.1504/IJCSM.2016.081680
    [30] A. R. Soheili, F. Soleymani, A new solution method for stochastic differential equations via collocation approach, Int. J. Comput. Math., 93 (2016), 2079-2091. doi: 10.1080/00207160.2015.1085029
    [31] M. Sofroniou, R. Knapp, Advanced Numerical Differential Equation Solving in Mathematica, Wolfram Mathematica, Tutorial Collection, USA, 2008.
    [32] F. Soleymani, Pricing multi-asset option problems: A Chebyshev pseudo-spectral method, BIT, 59 (2019), 243-270. doi: 10.1007/s10543-018-0722-0
    [33] F. Soleymani, A. Akgül, Improved numerical solution of multi-asset option pricing problem: A localized RBF-FD approach, Chaos Soliton. Fract.,119 (2019), 298-309. doi: 10.1016/j.chaos.2019.01.003
    [34] D. Tavella, C. Randall, Pricing Financial Instruments - The Finite Difference Method, John Wiley & Sons Inc., New York, 2000.
    [35] M. Trott, The Mathematica GuideBook for Numerics, Springer, NY, USA, 2006.
    [36] P. Ursone, How to Calculate Options Prices and their Greeks, Wiely, UK, 2015.
    [37] P. R. Wellin, R. J. Gaylord, S. N. Kamin, An Introduction to Programming with Mathematica, Cambridge University Press, UK, 2005.
  • This article has been cited by:

    1. Saud Fahad Aldosary, Rizwan Ahmed, Stability and bifurcation analysis of a discrete Leslie predator-prey system via piecewise constant argument method, 2024, 9, 2473-6988, 4684, 10.3934/math.2024226
    2. Arild Wikan, Ørjan Kristensen, On bifurcations, resonances and dynamical behaviour in nonlinear iteroparous Leslie matrix models, 2024, 112, 0924-090X, 2265, 10.1007/s11071-023-09143-w
    3. Ibraheem M. Alsulami, On the stability, chaos and bifurcation analysis of a discrete-time chemostat model using the piecewise constant argument method, 2024, 9, 2473-6988, 33861, 10.3934/math.20241615
  • Reader Comments
  • © 2020 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(5213) PDF downloads(639) Cited by(4)

Figures and Tables

Figures(1)  /  Tables(2)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog