Processing math: 35%
Research article

Weighted pseudo almost periodic solutions of octonion-valued neural networks with mixed time-varying delays and leakage delays

  • Received: 22 February 2023 Revised: 27 March 2023 Accepted: 05 April 2023 Published: 21 April 2023
  • MSC : 34A34, 34C25, 34D23, 34K20

  • In this paper, we propose a class of octonion-valued neural networks with leakage delays and mixed delays. Considering that the multiplication of octonion algebras does not satisfy the associativity and commutativity, we can obtain the existence and global exponential stability of weighted pseudo almost periodic solutions for octonion-valued neural networks with leakage delays and mixed delays by using the Banach fixed point theorem, the proof by contradiction and the non-decomposition method. Finally, we will give one example to illustrate the feasibility and effectiveness of the main results.

    Citation: Jin Gao, Lihua Dai. Weighted pseudo almost periodic solutions of octonion-valued neural networks with mixed time-varying delays and leakage delays[J]. AIMS Mathematics, 2023, 8(6): 14867-14893. doi: 10.3934/math.2023760

    Related Papers:

    [1] Hengjie Peng, Changcheng Xiang . A Filippov tumor-immune system with antigenicity. AIMS Mathematics, 2023, 8(8): 19699-19718. doi: 10.3934/math.20231004
    [2] Jun Moon . The Pontryagin type maximum principle for Caputo fractional optimal control problems with terminal and running state constraints. AIMS Mathematics, 2025, 10(1): 884-920. doi: 10.3934/math.2025042
    [3] Muhammad Farman, Aqeel Ahmad, Ali Akgül, Muhammad Umer Saleem, Kottakkaran Sooppy Nisar, Velusamy Vijayakumar . Dynamical behavior of tumor-immune system with fractal-fractional operator. AIMS Mathematics, 2022, 7(5): 8751-8773. doi: 10.3934/math.2022489
    [4] Meroua Medjoudja, Mohammed El hadi Mezabia, Muhammad Bilal Riaz, Ahmed Boudaoui, Saif Ullah, Fuad A. Awwad . A novel computational fractional modeling approach for the global dynamics and optimal control strategies in mitigating Marburg infection. AIMS Mathematics, 2024, 9(5): 13159-13194. doi: 10.3934/math.2024642
    [5] Hongyan Wang, Shaoping Jiang, Yudie Hu, Supaporn Lonapalawong . Analysis of drug-resistant tuberculosis in a two-patch environment using Caputo fractional-order modeling. AIMS Mathematics, 2024, 9(11): 32696-32733. doi: 10.3934/math.20241565
    [6] Sayed Saber, Azza M. Alghamdi, Ghada A. Ahmed, Khulud M. Alshehri . Mathematical Modelling and optimal control of pneumonia disease in sheep and goats in Al-Baha region with cost-effective strategies. AIMS Mathematics, 2022, 7(7): 12011-12049. doi: 10.3934/math.2022669
    [7] Zahra Pirouzeh, Mohammad Hadi Noori Skandari, Kamele Nassiri Pirbazari, Stanford Shateyi . A pseudo-spectral approach for optimal control problems of variable-order fractional integro-differential equations. AIMS Mathematics, 2024, 9(9): 23692-23710. doi: 10.3934/math.20241151
    [8] Ahmed J. Abougarair, Mohsen Bakouri, Abdulrahman Alduraywish, Omar G. Mrehel, Abdulrahman Alqahtani, Tariq Alqahtani, Yousef Alharbi, Md Samsuzzaman . Optimizing cancer treatment using optimal control theory. AIMS Mathematics, 2024, 9(11): 31740-31769. doi: 10.3934/math.20241526
    [9] Changjin Xu, Chaouki Aouiti, Zixin Liu, Qiwen Qin, Lingyun Yao . Bifurcation control strategy for a fractional-order delayed financial crises contagions model. AIMS Mathematics, 2022, 7(2): 2102-2122. doi: 10.3934/math.2022120
    [10] Devendra Kumar, Jogendra Singh, Dumitru Baleanu . Dynamical and computational analysis of a fractional predator-prey model with an infectious disease and harvesting policy. AIMS Mathematics, 2024, 9(12): 36082-36101. doi: 10.3934/math.20241712
  • In this paper, we propose a class of octonion-valued neural networks with leakage delays and mixed delays. Considering that the multiplication of octonion algebras does not satisfy the associativity and commutativity, we can obtain the existence and global exponential stability of weighted pseudo almost periodic solutions for octonion-valued neural networks with leakage delays and mixed delays by using the Banach fixed point theorem, the proof by contradiction and the non-decomposition method. Finally, we will give one example to illustrate the feasibility and effectiveness of the main results.



    Lung cancer is a prevalent cancer globally and a major cause of cancer deaths, responsible for 18% of cancer-related mortality and 11% of cancer cases[1,2,3,4]. It not only affects the health and quality of life of millions of people but also places a tremendous burden on global healthcare systems. The occurrence of lung cancer stems from gene mutations and unregulated growth control, leading to abnormal cell proliferation[5]. These abnormally proliferating cells gradually form tumors, which can infiltrate nearby tissues and metastasize.

    Lung cancer risk factors are smoking, occupational hazards, air pollution, and genetics. Smoking is the most significant causative factor, greatly increasing the likelihood of developing the disease[6]. Additionally, prolonged exposure to air pollution, radiation, and chemicals like heavy metals can also raise lung cancer risk[7]. People working in the mining, construction, and chemical industries face higher risks due to occupational exposure[8]. Genetic factors also play a role in some cases, with individuals having a family history of lung cancer being at a higher risk[9]. These factors together raise the likelihood of lung cancer.

    The metastasis and spread of cancer cells are among the primary reasons why lung cancer is so deadly [10]. Cancer cells spread via the blood and lymphatic systems, such as the brain, bones, and liver, forming metastatic tumors[11]. These tumors severely disrupt the structure and function of the affected organs and weaken the immune system, leading to decreased resistance and making patients more susceptible to infections and other diseases[12]. The presence of metastatic tumors not only affects the patient's quality of life but also makes treatment more complex and difficult, thereby further increasing the mortality rate of lung cancer.

    Cancer treatments encompass chemotherapy, immunotherapy, targeted therapy, radiation, and surgical procedures[13,14]. Surgery is suitable for early-stage lung cancer and involves removing the tumor and affected tissues to control the disease[15]. Radiation therapy uses high-energy rays to kill cancer cells and is often combined with surgery or chemotherapy. Chemotherapy uses drugs to kill or inhibit the growth of cancer cells and is applicable for advanced lung cancer or as adjuvant therapy after surgery[16]. Targeted therapy employs specific drugs to attack the genes or proteins of cancer cells, reducing damage to normal cells[17]. Immunotherapy, an emerging treatment method, boosts the immune system to identify and destroy cancer cells. In order to quickly develop effective treatment strategies, we need to thoroughly study the interaction mechanisms between cancer cells and other cells.

    Some researchers have attempted to investigate the interactions between tumor cells and immune cells using mathematical models to better understand the dynamic characteristics of cancer[18,19,20,21,22]. These models not only capture the interactions between different cell types but also account for factors such as immune evasion, changes in the tumor microenvironment, and the effects of drug treatments. By simulating tumor progression under various environmental and therapeutic conditions, researchers can predict the trajectory of tumor development, evaluate treatment efficacy, and provide support for personalized treatment strategies[23]. These models are particularly valuable in the context of immunotherapy, targeted therapy, and other emerging treatments as they help optimize therapeutic approaches, minimize side effects, and promote more precise cancer treatment.

    With the development of fractional calculus, its application in modeling cancer growth has become increasingly widespread[24,25,26,27,28]. In particular, the Caputo derivative, which can more accurately describe systems with memory effects and historical dependence, has shown significant advantages in simulating complex biological processes[26]. Studies have shown that fractional-order models, when analyzing the impact of chemotherapy on cancer cell growth, align better with experimental data and more accurately reflect the interactions between cancer cells, chemotherapy drugs, and immune cells compared to integer-order models[29,30,31]. Since fractional-order models can capture the non-locality and long-term memory effects of the system, they have demonstrated higher precision and effectiveness in cancer modeling, drawing increasing attention from researchers.

    Lung cancer, as a high-mortality cancer, has attracted many researchers who use fractional-order mathematical models to analyze the dynamic behavior of its cells and their interactions with other cells[32,33,34,35,36]. Amilo et al.[34] established a Nablara discrete fractional-order model, revealing how the growth of lung epithelial cells and their interactions with immune cells promote the increase in the number of lung cancer cells. At the same time, they combined immunotherapy with targeted therapy to analyze the effects of these two treatment strategies on cancer cells and explored in-depth the role of genetic mutations in the spread of cancer cells[35]. In addition, Özköse et al.[36] developed a model that includes lung cancer tumor cells, lung cancer stem cells, CD8+ T cells, interleukin-12 (IL-12), and natural immune cells, studying the dynamic relationships between these factors and cell types. The results showed that after tumor formation, an increase in the number of CD8+ T cells significantly reduced the numbers of cancer stem cells and tumor cells.

    In the aforementioned studies, the dynamic interactions between cancer cells and immune cells, as well as the effects of different treatment strategies on cancer cells, have been effectively modeled. However, optimizing these interactions during the treatment process to achieve the best therapeutic outcomes remains an important and unresolved issue. To address this, many researchers have focused on optimal control under various treatment strategies, aiming to determine the best control policies to inhibit cancer growth and spread through mathematical models[37,38,39,40,41,42]. For example, one study analyzed the optimal treatment plan combining chemotherapy with a healthy lifestyle, and the results showed that this combination enhances the effectiveness of chemotherapy and reduces side effects [43]. Another study explored the optimal combination of surgery and programmed cell death ligand 1 (PD-L1) monoclonal antibody immunotherapy in the treatment of lung cancer, and the findings also indicated that the combined therapy significantly improves patient prognosis compared to single treatments[44]. Through these studies, researchers aim to provide more precise guidance for clinical treatment and optimize therapeutic outcomes.

    This paper establishes a Caputo fractional-order model for lung cancer, aiming to explore the dynamics of lung cancer from two key aspects. First, the model focuses on the complex interactions between lung cancer cells, immune cells, healthy cells, and metastatic cancer cells, revealing the underlying mechanisms involved in tumor growth and cancer cell metastasis. Second, the model incorporates surgery and immunotherapy as intervention factors to evaluate the impact of different treatment strategies on tumor growth rate, immune response, and other dynamic changes. Through these studies, this paper aims to provide theoretical support for lung cancer treatment, enhance the understanding of tumor evolution under different treatment interventions, and provide scientific guidance for optimizing clinical treatment strategies.

    The key contributions and innovations of this paper are as follows:

    a. Unlike [37], the new model presented in this paper takes into account the interaction between healthy cells and tumor cells in nutrient competition. This competitive mechanism inhibits tumor cell growth, leading to a more comprehensive description of its growth dynamics.

    b. Existing research on fractional-order optimization control often overlooks the time-dependent changes in control parameters and the performance of the objective function under different treatment strategies[38,39,40]. This paper analyzes these issues through numerical simulations and demonstrates the impact of different treatment strategies on control parameters and the objective function, as shown in Figures 1 and 2.

    Figure 1.  Time series of control parameter ui (i=1,2) under different treatment strategies. Parameters: α=0.95, r1=1.5, K1=10, μ1=0.025, λ1=0.002, c1=0.2, a1=5, c2=0.15, a2=5, μ2=0.03, d1=0.01, r2=0.4, K2=12, μ3=0.02, λ2=0.02, d2=0.05, s=0.5.
    Figure 2.  Time series of objective function J under different treatment strategies, with parameters consistent with those in Figure 1.

    c. Based on real data regarding the changes in cancer cells in lung cancer patients, we evaluated the model parameters using the least squares method and performed curve fitting.

    The remainder of this paper is organized as follows: Section 2 introduces the model construction and key definitions. Section 3 analyzes the conditions for the existence and uniqueness of the solution. Section 4 explores the stability theorems of the equilibrium points. Section 5 investigates the combined optimization strategy of surgery and immunotherapy, proposing the conditions for the existence of an optimal solution and deriving its expression. Section 6 validates the theory through numerical simulations. Section 7 performs parameter evaluation and curve fitting using real data. Finally, Section 8 summarizes the main conclusions of this paper.

    Bashkirtseva et al. [23] developed a three-dimensional system based on the Lotka-Volterra competition model to study the dynamic interactions between tumor cells, immune cells, and healthy cells. The system considers the competition between healthy cells and tumor cells and introduces the stimulatory effect of tumor cell proliferation on immune cell proliferation. Specifically, tumor cell proliferation stimulates the growth of immune cells, but the proliferation of immune cells is not unlimited. Therefore, the authors use a second-type functional response function to describe this relationship. The system is

    {˙T=r1T(1Tk1)a12THa13TE,˙H=r2H(1Hk2)a21HT,˙E=r3ETT+k3a31ETd3E, (2.1)

    where T, H, and E represent tumor cells, healthy cells, and immune cells, respectively. ri and ki (i=1,2,3) denote the growth rate and the maximum carrying capacity of each cell type. a12 represents the competition coefficient between healthy cells and tumor cells, a13 represents the killing rate of tumor cells by effector cells, a21 represents the rate at which tumor cells inactivate healthy cells, a31 represents the rate at which tumor cells kill immune cells, and d3 represents the death rate of immune cells.

    Meanwhile, in order to investigate the interactions between lung cancer cells, immune cells, and disseminated cancer cells, Amilo et al.[37] developed a three-dimensional system. In this system, in addition to considering the stimulatory effect of cancer cell proliferation on the immune system, it also takes into account the natural proliferation rate of immune cells in the absence of cancer cells. This three-dimensional system is

    {dαN(t)dtα=λN(t)(1N(t)K)μN(t)P(t)β1N(t)I(t),dαI(t)dtα=ϕ1I0+ϕ2N(t)2ϕ3I(t)β2I(t)N(t),dαP(t)dtα=γN(t)P(t)δP(t)β3I(t)P(t), (2.2)

    where N(t), P(t), and I(t) represent the number of lung cancer cells, disseminated cancer cells, and immune cells, respectively. λ, K, μ, and β1 denote the growth rate of lung cancer cells, carrying capacity, spread rate, and the rate at which immune cells eliminate cancer cells. ϕ1, ϕ2, and ϕ3 are the factors influencing immune cells. β2 indicates the rate at which cancer cells kill immune cells, while γ, δ, and β3 represent the spread rate, death rate of disseminated cancer cells, and the rate at which immune cells destroy them. The fractional order of the Caputo derivative α ranges from 0<α1.

    Inspired by systems (2.1) and (2.2) and considering that when the number of cancer cells becomes too high, the lack of nutrients or oxygen may lead to the death or slowed proliferation of cancer cells, resulting in a gradual reduction in the rate of cancer cell spread and eventually leading to stabilization. To better describe this phenomenon, we use a second-order functional response function to model the dynamic process of cancer cell diffusion. This function effectively simulates the rapid spread of cancer cells in the early stages, and as the number of tumor cells increases, resource limitations gradually become apparent, causing the diffusion rate to slow down and eventually stabilize. Therefore, we have established a four-dimensional fractional-order system that includes lung cancer cells, immune cells, healthy cells, and diffusing cancer cells to analyze the dynamic behaviors of these cells, as schematically shown in Figure 3. The specific form of the system is as follows:

    {DαT(t)=r1T(t)(1T(t)K1)μ1I(t)T(t)λ1H(t)T(t)c1T(t)P(t)a1+T(t),DαI(t)=s+c2T(t)I(t)a2+T(t)μ2I(t)T(t)d1I(t),DαH(t)=r2H(t)(1H(t)K2)μ3H(t)T(t),DαP(t)=c1T(t)P(t)a1+T(t)λ2I(t)P(t)d2P(t), (2.3)
    Figure 3.  The schematic diagram of the tumor model (2.3).

    where T(t), I(t), H(t), and P(t), respectively, represent the tumor cell density, immune cell density, healthy cell density, and tumor cell density diffused out at time t in the lungs. Other parameters are detailed in Table 1. To better understand the following content, we will first introduce some basic definitions and concepts.

    Table 1.  Definitions of parameters for model (2.3).
    Parameter Definition Unit
    r1 The net growth rate of tumor cells day1[45]
    r2 The net growth rate of healthy cells day1[46]
    K1 The maximum carrying capacity of lung tissue for tumor cells cells[47]
    K2 The maximum carrying capacity of lung tissue for healthy cells cells[47]
    μ1 The tumor cell mortality rate induced by the immune response cell1 day1
    μ2 The mortality rate of healthy cells induced by the immune response cell1 day1[48]
    μ3 The rate of healthy cell death due to tumor cells cell1 day1
    λ1 The tumor cell mortality rate caused by competition with healthy cells cell1 day1
    λ2 The mortality rate of disseminated tumor cells caused by the immune response cell1 day1
    c1 The speed at which tumor cells spread from the lungs to other tissues cell1 day1
    c2 The rate at which tumor cell formation stimulates the production of immune cells day1[49]
    a1 The half-maximal carrying capacity of the tumor cell environment cells
    a2 The maximum response threshold of immune cells cells[50]
    d1 The natural apoptotic rate of immune cells day1[46]
    d2 The natural death rate of metastatic tumor cells day1
    s The generation rate of immune cells in the absence of tumors cell day1[49]

     | Show Table
    DownLoad: CSV

    Definition 2.1. [33] The Riemann-Liouville fractional integral is given by

    0Iαth(t)=1Γ(α)t0(tτ)α1h(τ)dτ,

    where α>0 and Γ() is the Gamma function.

    Definition 2.2. [33] The Caputo derivative is given by:

    C0Dαth(t)=0Inαt=1Γ(nα)t0h(n)(τ)(tτ)αn+1dτ.

    To simplify the notation, we use Dαh(t) to represent the Caputo derivative operator C0Dαth(t).

    Definition 2.3. [37] Let (X,d) be a metric space and T:XX be a function. If there exists a constant 0k<1 such that for any x,yX the following holds, d(T(x),T(y))kd(x,y), then T is called a Banach contraction.

    Definition 2.4. [37] If a function f:RnRm on a set DRn has a constant K0 such that for any two points x and y in D it holds that |f(x)f(y)|K|xy|, then the function is Lipschitz continuous on D.

    Definition 2.5. [37] The Laplace transform of the Caputo fractional derivative is given by the following formula:

    L(Dαf(t))=ϑαF(ϑ)n1j=0f(j)(0)ϑαj1,n1<αn.

    We first focus on the existence and uniqueness of the solution to system (2.3). Since directly proving the solution to system (2.3) is challenging, we will transform it into

    {DαX(t)=A1X(t)+T(t)A2X(t)+I(t)A3X(t)+H(t)A4X(t)+T(t)a1+T(t)A5X(t)+T(t)a2+T(t)A6X(t)+A7,X(0)=X0, (3.1)

    where

    X(t)=(T(t)I(t)H(t)P(t)),X(0)=(T(0)I(0)H(0)P(0)),A1=(r10000d10000r20000d2),
    A2=(r1K1μ1λ100μ20000μ300000),A4=(0000000000r2K200000),
    A3=(000000000000000λ2),A5=(000c100000000000c1),
    A6=(00000c20000000000),A7=(0s00).

    According to [33], we can provide the following definition:

    Definition 3.1. [33] Let C[0,a] be the set of continuous column vectors X(t), where the components T(t), I(t), H(t), and P(t) of X(t) are continuous functions on the interval [0,a]. The norm of XC[0,a] is defined as follows:

    X=supt|eNtT(t)|+supt|eNtI(t)|+supt|eNtH(t)|+supt|eNtP(t)|, (3.2)

    if t>εm, it can be represented as Cε[0,a] and Cε[0,a].

    Definition 3.2. [33] If XC[0,a] satisfies the following conditions:

    (1) (t,X(t))B, t[0,a], where B=[0,a]×L,

    L={(T,I,H,P)R4+:|T|<e1,|I|<e2,|H|<e3,|P|<e4},

    e1, e2, e3, and e1 are real numbers.

    (2) X(t) satisfies the initial value problem (3.1).

    At this point, X(t) is called the solution to initial value problem (3.1).

    Theorem 3.1. For the initial value problem (3.1), there exists a unique solution XC[0,a].

    Proof. Based on the relevant properties of Caputo fractional order, (3.1) can be reformulated as

    I(1α)ddtX(t)=A1X(t)+T(t)A2X(t)+I(t)A3X(t)+H(t)A4X(t)+T(t)a1+T(t)A5X(t)+T(t)a2+T(t)A6X(t)+A7.

    Thus,

    X(t)=X(0)+Iα(A1X(t)+T(t)A2X(t)+I(t)A3X(t)+H(t)A4X(t)+T(t)a1+T(t)A5X(t)+T(t)a2+T(t)A6X(t)+A7). (3.3)

    Let F:C[0,a]C[0,a], and we obtain

    FX(t)=X(0)+Iα(A1X(t)+T(t)A2X(t)+I(t)A3X(t)+H(t)A4X(t)+T(t)a1+T(t)A5X(t)+T(t)a2+T(t)A6X(t)+A7), (3.4)

    then

    eNt(FX1FX2)=eNtIα(A1(X1(t)X2(t))+T(t)A2(X1(t)X2(t))+I(t)A3(X1(t)X2(t))+H(t)A4(X1(t)X2(t))+T(t)a1+T(t)A5(X1(t)X2(t))+T(t)a2+T(t)A6(X1(t)X2(t))),1Γ(α)t0(ts)α1eN(ts)(X1(s)X2(s))×eNs(A1+e1A2+e2A3+e3A4+e1a1A5+e1a2A6)dsA1+e1A2+e2A3+e3A4+e1a1A5+e1a2A6NαX1X2t0sα1Γ(α)ds.

    This suggests

    FX1FX2A1+e1A2+e2A3+e3A4+e1a1A5+e1a2A6NαX1X2.

    When N, we have

    A1+e1A2+e2A3+e3A4+e1a1A5+e1a2A6Nα<1

    and

    FX1FX2<X1X2.

    Based on the definition of operator F in Eq (3.4) having a unique fixed point, it follows that Eq (3.3) exists a unique solution XC[0,τ]. From Eq (3.3), we can deduce that

    X(t)=X(0)+tαΓ(α+1)(A1X(0)+T(0)A2X(0)+I(0)A3X(0)+H(0)A4X(0)+T(0)a1+T(0)A5X(0)+T(0)a2+T(0)A6X(0)+A7)+Iα+1(A1X(t)+T(t)A2X(t)+T(t)A2X(t)+I(t)A3X(t)+I(t)A3X(t)+H(t)A4X(t)+H(t)A4X(t)+a1T(t)(a1+T(t))A5X(t)+T(t)a1+T(t)A5X(t)+a2T(t)(a2+T(t))A6X(t)+T(t)a2+T(t)A6X(t))

    and

    dX(t)dt=tα1Γ(α)(A1X(0)+T(0)A2X(0)+I(0)A3X(0)  +H(0)A4X(0)+T(0)a1+T(0)A5X(0)+T(0)a2+T(0)A6X(0)+A7)  +Iα(A1X(t)+T(t)A2X(t)+T(t)A2X(t)+I(t)A3X(t)  +I(t)A3X(t)+H(t)A4X(t)+H(t)A4X(t)+a1T(t)(a1+T(t))A5X(t)  +T(t)a1+T(t)A5X(t)+a2T(t)(a2+T(t))A6X(t)+T(t)a2+T(t)A6X(t)),eNtX(t)=eNt[tα1Γ(α)(A1X(0)+T(0)A2X(0)+I(0)A3X(0)  +H(0)A4X(0)+T(0)a1+T(0)A5X(0)+T(0)a2+T(0)A6X(0)+A7)  +Iα(A1X(t)+T(t)A2X(t)+T(t)A2X(t)+I(t)A3X(t)  +I(t)A3X(t)+H(t)A4X(t)+H(t)A4X(t)+a1T(t)(a1+T(t))A5X(t)  +T(t)a1+T(t)A5X(t)+a2T(t)(a2+T(t))A6X(t)+T(t)a2+T(t)A6X(t))].

    This implies that XCε[0,a]. From (3.3), we can deduce

    dX(t)dt=ddtIα(A1X(t)+T(t)A2X(t)+I(t)A3X(t)+H(t)A4X(t)+T(t)a1+T(t)A5X(t)+T(t)a2+T(t)A6X(t)+A7),Iα1dX(t)dt=Iα1ddtIα(A1X(t)+T(t)A2X(t)+I(t)A3X(t)+H(t)A4X(t)+T(t)a1+T(t)A5X(t)+T(t)a2+T(t)A6X(t)+A7),DαX(t)=A1X(t)+T(t)A2X(t)+I(t)A3X(t)+H(t)A4X(t)+T(t)a1+T(t)A5X(t)+T(t)a2+T(t)A6X(t)+A7,X(0)=X0+Iα(A1X(t)+T(t)A2X(t)+I(t)A3X(t)+H(t)A4X(t)+T(t)a1+T(t)A5X(t)+T(t)a2+T(t)A6X(t)+A7).

    Therefore, the initial value problem of Eq (3.3) corresponds to the solution of Eq (3.1).

    Theorem 3.2. The solution of system (2.3) is positively invariant in the set

    R4+={XR4;X(0)0}

    and

    X(t)=(T,I,H,P)T.

    That is, if X(0)>0, then the model remains greater than zero for t>0.

    Proof. Obviously,

    DαT(t)|T=00,DαI(t)|I=0>0,DαH(t)|H=00,DαP(t)|P=00.

    We can derive the following conclusion from the first equation of system (2.3)

    DαT=r1T(1TK1)μ1ITλ1HTc1TPa1+T(r1K1T+μ1I+λ1H+c1Pa1+T)T.

    Let

    Te1,Ie2,He3,Pe4

    and

    λ3=r1K1e1+μ1e2+λ1e3+c1e4a1+e1.

    Therefore, we can obtain

    DαT(t)λ3T(t). (3.5)

    Next, by applying the Laplace transform to (3.5), we derive

    L(DαT(t))L(λ3T(t)).

    Based on the Laplace transform of the Caputo fractional derivative, we have

    ϑαL{T}(ϑ)T(0)ϑα1λ3L{T}(ϑ)

    and

    ϑαL{T}(ϑ)(ϑα+λ3)ϑαT(0)ϑ.

    Thus,

    L{T(t)}ϑα1T(0)(ϑα+λ3).

    By applying the inverse Laplace transform,

    T(t)L1{ϑα1T(0)(ϑα+λ3)}. (3.6)

    As each term on the right side of Eq (3.6) is a positive constant, T(t) is positive for any t>0. The positivity of the remaining three variables in system (2.3) can be proven similarly to T(t).

    In this section, we will investigate the equilibria of system (2.3). First, we analyze the equilibria in the absence of tumor cells. Second, we explore the equilibria when tumor cells coexist with other cell populations. Finally, we examine the local stability of these equilibria under different parameter conditions. Based on

    {r1T(1TK1)μ1ITλ1HTc1TPa1+T=0,s+c2TIa2+Tμ2ITd1I=0,r2H(1HK2)μ3HT=0,c3TPa3+Tλ2IPd2P=0, (4.1)

    we can obtain two equilibria without tumor cells, denoted as E1=(0,sd1,0,0) and E2=(0,sd1,K2,0).

    Basic Reproduction Number: As an important indicator for assessing the progression of cancer, we will then apply the next-generation matrix[51,52] method for calculation, namely,

    0=ρ(FV1), (4.2)

    where F=FT and V=VT. It follows from (2.3) that

    F(x)=(r1T(1TK1)),V(x)=(μ1IT+λ1HT+c1TPa1+T)

    and

    F=FT=r12r1K1T,V=VT=μ1I+λ1H+a1c1P(a1+T)2. (4.3)

    After substituting E1 and E2, we get

    F1=r1,V1=sμ1d1,F2=r1,V2=sμ1d1+λ1K2

    and

    V11=d1sμ1,V12=d1sμ1+d1λ1K2.

    Therefore, it can be concluded that

    10=ρ(F1V11)=r1d1sμ1,20=ρ(F2V12)=r1d1sμ1+d1λ1K2. (4.4)

    Next, we will analyze the existence of equilibria of system (2.3) when T0. According to the first equation of system (4.1), we can derive

    P=a1+Tc1[r1(1TK1)μ1Iλ1H].

    From the second equation of system (4.1), we have

    I=s(a2+T)c2T(μ2T+d1)(a2+T).

    From the third equation of system (4.1), it can be deduced that

    H=K2r2K2μ3Tr2.

    Based on the fourth equation of system (4.1), we can obtain

    I=(c1d2)Ta1d2λ2(a1+T).

    Therefore, system (2.3) has an interior equilibrium E3=(T,I,H,P).

    This section examines the local stability of tumor-free equilibria.

    Lemma 4.1. If r1<μ1sd1+λ1K2, equilibrium point E2 exhibits local asymptotic stability.

    Proof. The Jacobian matrix of system (2.3) is

    J=(r12r1K1Tμ1Iλ1Ha1c1P(a1+T)2μ1Tλ1Tc1Ta1+Ta2c2I(a2+T)2μ2Ic2Ta2+Tμ2Td100μ3H0r22r2K2Hμ3T0a1c1P(a1+T)2λ2P0c1Ta1+Tλ1Id2).

    Thus, the Jacobian matrix at E1 is

    JE2=(r1μ1sd1λ1K2000c2sa2μ2sa2d1d100μ3K20r20000λ2s+d1d2d1).

    Obviously, the eigenvalues of matrix JE2 are

    λ1=r1μ1sd1λ1K2,λ2=d1,λ3=r2,λ4=λ2s+d1d2d1.

    This means that when r1<μ1sd1+λ1K2, E2 exhibits local asymptotic stability.

    Next, we will examine the local stability of the internal equilibria.

    Lemma 4.2. If C1>0, C2>0, C3>0, and C4>0, then E3 is locally asymptotically stable.

    Proof. The Jacobian matrix at E3 is

    JE3=(B1μ1Tλ1TB2B3B400μ3H0B50B6B70B8),

    where

    B1=2r1K1T+μ1I+λ1H+a1c1P(a1+T)2r1,B2=c1Ta1+T,
    B3=μ2Ia2c2I(a2+T)2,B4=μ2T+dc2Ta2+T,
    B5=2r2K2H+μ3Tr2,B6=a1c1P(a1+T)2,
    B7=λ2P,B8=λ2I+d2c1Ta1+T.

    Therefore, the characteristic polynomial of matrix JE3 is

    f(λ)=|λEJE3|=|λ+B1μ1Tλ1TB2B3λ+B400μ3H0λ+B50B6B70λ+B8|.

    Through calculation, we can obtain

    \begin{aligned} & f\left( \lambda \right) = {{\lambda }^{4}}+\left( {{B}_{1}}+{{B}_{4}}+{{B}_{5}}+{{B}_{8}} \right){{\lambda }^{3}}+\left[ {{B}_{1}}{{B}_{8}}+{{B}_{2}}{{B}_{6}}+{{B}_{4}}{{B}_{5}}+\left( {{B}_{1}}+{{B}_{8}} \right)\left( {{B}_{4}}+{{B}_{5}} \right) \right]{{\lambda }^{2}} \\ & \quad \quad \quad +\left[ {{B}_{2}}{{B}_{3}}{{B}_{7}}+{{B}_{2}}{{B}_{4}}{{B}_{6}}+{{B}_{2}}{{B}_{5}}{{B}_{6}}+{{B}_{4}}{{B}_{5}}\left( {{B}_{1}}+{{B}_{8}} \right)+{{B}_{1}}{{B}_{8}}\left( {{B}_{4}}+{{B}_{5}} \right) \right]\lambda \\ & \quad \quad \quad +{{B}_{2}}{{B}_{3}}{{B}_{5}}{{B}_{7}}+{{B}_{2}}{{B}_{4}}{{B}_{5}}{{B}_{6}}+{{B}_{1}}{{B}_{4}}{{B}_{5}}{{B}_{8}}. \\ \end{aligned}

    According to the Hurwitz criterion[37], if {{C}_{1}} > 0, {{C}_{2}} > 0, {{C}_{3}} > 0 , and {{C}_{4}} > 0 , then {{E}_{3}} is locally asymptotically stable, where

    {{C}_{1}} = {{B}_{1}}+{{B}_{4}}+{{B}_{5}}+{{B}_{8}},
    {{C}_{2}} = {{B}_{1}}{{B}_{8}}+{{B}_{2}}{{B}_{6}}+{{B}_{4}}{{B}_{5}}+\left( {{B}_{1}}+{{B}_{8}} \right)\left( {{B}_{4}}+{{B}_{5}} \right),
    {{C}_{3}} = {{B}_{2}}{{B}_{3}}{{B}_{7}}+{{B}_{2}}{{B}_{4}}{{B}_{6}}+{{B}_{2}}{{B}_{5}}{{B}_{6}}+{{B}_{4}}{{B}_{5}}\left( {{B}_{1}}+{{B}_{8}} \right)+{{B}_{1}}{{B}_{8}}\left( {{B}_{4}}+{{B}_{5}} \right),
    {{C}_{4}} = {{B}_{2}}{{B}_{3}}{{B}_{5}}{{B}_{7}}+{{B}_{2}}{{B}_{4}}{{B}_{5}}{{B}_{6}}+{{B}_{1}}{{B}_{4}}{{B}_{5}}{{B}_{8}}.

    We will continue to formulate a fractional-order optimal control problem, targeting model (2.3), and study and design an optimal control strategy. By analyzing the basic reproduction number, it is evident that parameters r_1 and \mu_1 play critical roles in tumor control. To effectively regulate tumor cell numbers, we need to decrease r_1 while enhancing \mu_1 . This will achieve the goal of reducing tumor density and minimizing control costs. This approach not only improves treatment efficacy but also reduces the burden on patients while controlling the tumor.

    In our optimal control problem, we introduce two control functions: u_1(t) and u_2(t) . Here, u_1(t) represents surgical treatment and u_2(t) represents immunotherapy. Surgical treatment reduces the number of tumor cells by directly removing tumor tissue, while immunotherapy boosts the immune system's ability to target cancer cells. Through these measures, our aim is to minimize the objective function, thereby achieving optimal treatment outcomes while controlling costs.

    From the above description, we introduce the following control model on the basis of the existing system (2.3) to address this issue more systematically. This model considers both the dynamic interaction between tumor cells and immune cells, as well as the effects of surgery and immunotherapy, aiming to achieve effective tumor control through optimized control strategies.

    \begin{equation} \left\{ \begin{aligned} & {{D}^{\alpha }}T\left( t \right) = {{r}_{1}}T\left( t \right){(1-{{u}_{1}}\left( t \right))}\left( 1-\frac{T\left( t \right)}{{{K}_{1}}} \right)-{\left( 1+{{u}_{2}}\left( t \right)\right){\mu }_{1}}I\left( t \right)T\left( t \right)\\ &\quad\quad\quad\quad\quad -{{\lambda }_{1}}H\left( t \right)T\left( t \right)-\frac{{{c}_{1}}T\left( t \right)P\left( t \right)}{{{a}_{1}}+T\left( t \right)}, \\ & {{D}^{\alpha }}I\left( t \right) = s+ \frac{{{c}_{2}}T\left( t \right)I\left( t \right)}{{{a}_{2}}+T\left( t \right)}-{{\mu }_{2}}I\left( t \right)T\left( t \right)-{{d}_{1}}I\left( t \right), \\ & {{D}^{\alpha }}H\left( t \right) = {{r}_{2}}H\left( t \right)\left( 1-\frac{H\left( t \right)}{{{K}_{2}}} \right)-{{\mu }_{3}}H\left( t \right)T\left( t \right), \\ & {{D}^{\alpha }}P\left( t \right) = \frac{{{c}_{1}}T\left( t \right)P\left( t \right)}{{{a}_{1}}+T\left( t \right)}-{{\lambda }_{2}}I\left( t \right)P\left( t \right)-{{d}_{2}}P\left( t \right), \\ \end{aligned} \right. \end{equation} (5.1)

    The initial condition is T\left(0 \right) = {{T}_{0}} , I\left(0 \right) = {{I}_{0}} , H\left(0 \right) = {{H}_{0}} , and P\left(0 \right) = {{P}_{0}} . Our objective function is as follows:

    \begin{equation} \mathbb{J}\left( {{u}_{1}}, {{u}_{2}} \right) = \min \int_{0}^{{{t}_{f}}}{T\left( t \right)}+{{D}_{1}}u_{1}^{2}+{{D}_{2}}u_{2}^{2}dt, \end{equation} (5.2)

    D_1 and D_2 are both positive constants, representing the weights of the control measures' costs in the objective function. Meanwhile, we define the following control set:

    \begin{equation} \mathbb{U} = \{\left. u = ({{u}_{1}}, {{u}_{2}}) \right|{{u}_{i}}\left( t \right), 0\le {{u}_{i}}\left( t \right)\le 1, t\in \left[ 0, {{t}_{f}} \right], i = 1, 2\}, \end{equation} (5.3)

    where {{u}_{i}} is measurable.

    The main challenge is to discover an optimal control solution (u_{1}^{*}, u_{2}^{*}) that minimizes the objective function \mathbb{J}\left({{u}_{1}}, {{u}_{2}} \right) . Therefore, our initial focus will be on exploring the existence of this optimal control solution.

    Theorem 5.1. If these conditions are all fulfilled:

    (1) The control set \mathbb{U} contains at least one element.

    (2) The control set is both convex and closed.

    (3) The righthand side of system (5.1) is subject to linear constraints on the state and control variables.

    (4) The objective function's integrand exhibits convexity.

    (5) Exist a constant \sigma and two positive numbers k_1 and k_2 such that the integrated function G\left(T, {{u}_{1}}, {{u}_{2}}, t \right) satisfies

    \begin{equation} G\left( T, {{u}_{1}}, {{u}_{2}}, t \right)\ge {{k}_{1}}{{\left( {{\left| {{u}_{1}}\left( t \right) \right|}^{2}}+{{\left| {{u}_{2}}\left( t \right) \right|}^{2}} \right)}^{\frac{\sigma }{2}}}-{{k}_{2}}, \end{equation} (5.4)

    then a set of controls u_{1}^{*}, u_{2}^{*}\in \mathbb{U} can be found such that

    \begin{equation} \mathbb{J}\left( u_{1}^{*}, u_{2}^{*} \right) = \min \mathbb{J}\left( u \right), \quad u\in \mathbb{U}. \end{equation} (5.5)

    Proof. According to the existence of bounded system solutions in Lukes' literature[53], condition (1) holds, and based on the definition of the control set, condition (2) also holds. Our focus is on proving the last three conditions, and below is the proof for condition (3).

    By simplifying (5.1), we obtain

    {{D}^{\alpha }}X\left( t \right) = M\left( X \right) = NX+O\left( X \right),

    where

    X\left( t \right) = {{\left( T\left( t \right), I\left( t \right), H\left( t \right), P\left( t \right) \right)}^{T}}

    and

    N = \left( \begin{matrix} {{r}_{1}}{(1-{u}_{1})} & 0 & 0 & 0 \\ 0 & -{{d}_{1}} & 0 & 0 \\ 0 & 0 & {{r}_{2}} & 0 \\ 0 & 0 & 0 & -{{d}_{2}} \\ \end{matrix} \right), \quad O\left( X \right) = \left( \begin{matrix} -\frac{{{r}_{1}}{(1-{u}_{1}})}{{{K}_{1}}}{{T}^{2}}-{(1+{u}_{2})}{{\mu }_{1}}IT-{{\lambda }_{1}}HT-\frac{{{c}_{1}}TP}{{{a}_{1}}+T} \\ s+\frac{{{c}_{2}}TP}{{{a}_{2}}+T}-{{\mu }_{2}}IT \\ -\frac{{{r}_{2}}}{{{K}_{2}}}{{H}^{2}}-{{\mu }_{3}}HT \\ \frac{{{c}_{1}}TP}{{{a}_{1}}+T}-{{\lambda }_{2}}IP \\ \end{matrix} \right).

    Obviously, we can find a constant {{e}^{*}} such that

    T\left( t \right), I\left( t \right), H\left( t \right), P\left( t \right) < {{e}^{*}}.

    Let

    {{X}_{1}}\left( t \right) = \left( {{T}_{1}}\left( t \right), {{I}_{1}}\left( t \right), {{H}_{1}}\left( t \right), {{P}_{1}}\left( t \right) \right)

    and

    {{X}_{2}}\left( t \right) = \left( {{T}_{2}}\left( t \right), {{I}_{2}}\left( t \right), {{H}_{2}}\left( t \right), {{P}_{2}}\left( t \right) \right).

    According to the Hölder inequality[54], we can derive

    \begin{align*} \left| O\left( {{X}_{1}} \right)-O\left( {{X}_{2}} \right) \right| & = \frac{{{r}_{1}}\left( 1-{{u}_{1}} \right)}{{{K}_{1}}}\left| T_{1}^{2}-T_{2}^{2} \right|+{{\mu }_{1}}\left( 1+{{u}_{2}} \right)\left| {{I}_{1}}{{T}_{1}}-{{I}_{2}}{{T}_{2}} \right|+{{\lambda }_{1}}\left| {{H}_{1}}{{T}_{1}}-{{H}_{2}}{{T}_{2}} \right| \\ & \ \ +2{{c}_{1}}\left| \frac{{{T}_{1}}{{P}_{1}}}{{{a}_{1}}+{{T}_{1}}}-\frac{{{T}_{2}}{{P}_{2}}}{{{a}_{1}}+{{T}_{2}}} \right|+{{c}_{2}}\left| \frac{{{T}_{1}}{{I}_{1}}}{{{a}_{2}}+{{T}_{1}}}-\frac{{{T}_{2}}{{I}_{2}}}{{{a}_{2}}+{{T}_{2}}} \right|+{{\mu }_{2}}\left| {{I}_{1}}{{T}_{1}}-{{I}_{2}}{{T}_{2}} \right| \\ & \ \ +\frac{{{r}_{2}}}{{{K}_{2}}}\left| H_{1}^{2}-H_{2}^{2} \right|+{{\mu }_{3}}\left| {{H}_{1}}{{T}_{1}}-{{H}_{2}}{{T}_{2}} \right|+{{\lambda }_{2}}\left| {{I}_{1}}{{P}_{1}}-{{I}_{2}}{{P}_{2}} \right|. \end{align*}

    Therefore, we have

    \begin{align*} \left| O\left( {{X}_{1}} \right)-O\left( {{X}_{2}} \right) \right| & = \frac{{{r}_{1}}\left( 1-{{u}_{1}} \right)}{{{K}_{1}}}\left| T_{1}^{2}-T_{2}^{2} \right|+\left[ {{\mu }_{1}}\left( 1+{{u}_{2}} \right)+{{\mu }_{2}} \right]\left| {{I}_{1}}{{T}_{1}}-{{I}_{2}}{{T}_{2}} \right|+\left( {{\lambda }_{1}}+{{\mu }_{3}} \right)\left| {{H}_{1}}{{T}_{1}}-{{H}_{2}}{{T}_{2}} \right| \\ & \ \ +2{{c}_{1}}\left| \frac{{{T}_{1}}{{P}_{1}}}{{{a}_{1}}+{{T}_{1}}}-\frac{{{T}_{2}}{{P}_{2}}}{{{a}_{1}}+{{T}_{2}}} \right|+{{c}_{2}}\left| \frac{{{T}_{1}}{{I}_{1}}}{{{a}_{2}}+{{T}_{1}}}-\frac{{{T}_{2}}{{I}_{2}}}{{{a}_{2}}+{{T}_{2}}} \right|+\frac{{{r}_{2}}}{{{K}_{2}}}\left| H_{1}^{2}-H_{2}^{2} \right|+{{\lambda }_{2}}\left| {{I}_{1}}{{P}_{1}}-{{I}_{2}}{{P}_{2}} \right| \\ & \le \frac{{{r}_{1}}}{{{K}_{1}}}\left| {{T}_{1}}+{{T}_{2}} \right|\left| {{T}_{1}}-{{T}_{2}} \right|+\left( 2{{\mu }_{1}}+{{\mu }_{2}} \right)\left| {{I}_{1}} \right|\left| {{T}_{1}}-{{T}_{2}} \right|+\left( 2{{\mu }_{1}}+{{\mu }_{2}} \right)\left| {{T}_{2}} \right|\left| {{I}_{1}}-{{I}_{2}} \right| \\ & \ \ +\left( {{\lambda }_{1}}+{{\mu }_{3}} \right)\left| {{H}_{1}} \right|\left| {{T}_{1}}-{{T}_{2}} \right|+\left( {{\lambda }_{1}}+{{\mu }_{3}} \right)\left| {{T}_{2}} \right|\left| {{H}_{1}}-{{H}_{2}} \right|+2{{c}_{1}}\left| {{T}_{1}}{{T}_{2}} \right|\left| {{P}_{1}}-{{P}_{2}} \right| \\ & \ \ +2{{a}_{1}}{{c}_{1}}\left| {{T}_{1}} \right|\left| {{P}_{1}}-{{P}_{2}} \right|+2{{a}_{1}}{{c}_{1}}\left| {{P}_{2}} \right|\left| {{T}_{1}}-{{T}_{2}} \right|+{{c}_{2}}\left| {{T}_{1}}{{T}_{2}} \right|\left| {{I}_{1}}-{{I}_{2}} \right|+{{a}_{2}}{{c}_{2}}\left| {{T}_{1}} \right|\left| {{I}_{1}}-{{I}_{2}} \right| \\ & \ \ +{{a}_{2}}{{c}_{2}}\left| {{I}_{2}} \right|\left| {{T}_{1}}-{{T}_{2}} \right|+\frac{{{r}_{2}}}{{{K}_{2}}}\left| {{H}_{1}}+{{H}_{2}} \right|\left| {{H}_{1}}-{{H}_{2}} \right|+{{\lambda }_{2}}\left| {{I}_{1}} \right|\left| {{P}_{1}}-{{P}_{2}} \right|+{{\lambda }_{2}}\left| {{I}_{2}} \right|\left| {{I}_{1}}-{{I}_{2}} \right| \\ & \le \frac{{{r}_{1}}}{{{K}_{1}}}\left( \left| {{T}_{1}} \right|+\left| {{T}_{2}} \right| \right)\left| {{T}_{1}}-{{T}_{2}} \right|+\left( 2{{\mu }_{1}}+{{\mu }_{2}} \right)\left| {{I}_{1}} \right|\left| {{T}_{1}}-{{T}_{2}} \right|+\left( 2{{\mu }_{1}}+{{\mu }_{2}} \right)\left| {{T}_{2}} \right|\left| {{I}_{1}}-{{I}_{2}} \right| \\ & \ \ +\left( {{\lambda }_{1}}+{{\mu }_{3}} \right)\left| {{H}_{1}} \right|\left| {{T}_{1}}-{{T}_{2}} \right|+\left( {{\lambda }_{1}}+{{\mu }_{3}} \right)\left| {{T}_{2}} \right|\left| {{H}_{1}}-{{H}_{2}} \right|+2{{c}_{1}}\left| {{T}_{1}}{{T}_{2}} \right|\left| {{P}_{1}}-{{P}_{2}} \right| \\ & \ \ +2{{a}_{1}}{{c}_{1}}\left| {{T}_{1}} \right|\left| {{P}_{1}}-{{P}_{2}} \right|+2{{a}_{1}}{{c}_{1}}\left| {{P}_{2}} \right|\left| {{T}_{1}}-{{T}_{2}} \right|+{{c}_{2}}\left| {{T}_{1}}{{T}_{2}} \right|\left| {{I}_{1}}-{{I}_{2}} \right|+{{a}_{2}}{{c}_{2}}\left| {{T}_{1}} \right|\left| {{I}_{1}}-{{I}_{2}} \right| \\ & \ \ +{{a}_{2}}{{c}_{2}}\left| {{I}_{2}} \right|\left| {{T}_{1}}-{{T}_{2}} \right|+\frac{{{r}_{2}}}{{{K}_{2}}}\left( \left| {{H}_{1}} \right|+\left| {{H}_{2}} \right| \right)\left| {{H}_{1}}-{{H}_{2}} \right|+{{\lambda }_{2}}\left| {{I}_{1}} \right|\left| {{P}_{1}}-{{P}_{2}} \right|+{{\lambda }_{2}}\left| {{P}_{2}} \right|\left| {{I}_{1}}-{{I}_{2}} \right| \\ & = \left[ \frac{{{r}_{1}}}{{{K}_{1}}}\left( \left| {{T}_{1}} \right|+\left| {{T}_{2}} \right| \right)+\left( 2{{\mu }_{1}}+{{\mu }_{2}} \right)\left| {{I}_{1}} \right|+\left( {{\lambda }_{1}}+{{\mu }_{3}} \right)\left| {{H}_{1}} \right|+2{{a}_{1}}{{c}_{1}}\left| {{P}_{2}} \right|{{a}_{2}}{{c}_{2}}\left| {{I}_{2}} \right| \right]\left| {{T}_{1}}-{{T}_{2}} \right| \\ & \ \ +\left[ \left( 2{{\mu }_{1}}+{{\mu }_{2}} \right)\left| {{T}_{2}} \right|+{{c}_{2}}\left| {{T}_{1}}{{T}_{2}} \right|+{{a}_{2}}{{c}_{2}}\left| {{T}_{1}} \right|+{{\lambda }_{2}}\left| {{P}_{2}} \right| \right]\left| {{I}_{1}}-{{I}_{2}} \right| \\ & \ \ +\left[ \left( {{\lambda }_{1}}+{{\mu }_{3}} \right)\left| {{T}_{2}} \right|+\frac{{{r}_{2}}}{{{K}_{2}}}\left( \left| {{H}_{1}} \right|+\left| {{H}_{2}} \right| \right) \right]\left| {{H}_{1}}-{{H}_{2}} \right| \\ & \ \ +\left( 2{{c}_{1}}\left| {{T}_{1}}{{T}_{2}} \right|+2{{a}_{1}}{{c}_{1}}\left| {{T}_{1}} \right| \right)\left| {{P}_{1}}-{{P}_{2}} \right| \\ & \le {{\varpi }_{1}}\left| {{T}_{1}}-{{T}_{2}} \right|+{{\varpi }_{2}}\left| {{I}_{1}}-{{I}_{2}} \right|+{{\varpi }_{3}}\left| {{H}_{1}}-{{H}_{2}} \right|+{{\varpi }_{4}}\left| {{P}_{1}}-{{P}_{2}} \right| \\ & \le \theta \left( \left| {{T}_{1}}-{{T}_{2}} \right|+\left| {{I}_{1}}-{{I}_{2}} \right|+\left| {{H}_{1}}-{{H}_{2}} \right|+\left| {{P}_{1}}-{{P}_{2}} \right| \right), \end{align*}

    where

    {{\varpi }_{1}} = \left( 2\frac{{{r}_{1}}}{{{K}_{1}}}+2{{\mu }_{1}}+{{\mu }_{2}}+{{\mu }_{3}}+{{\lambda }_{1}}+2{{a}_{1}}{{c}_{1}}+{{a}_{2}}{{c}_{2}} \right){{e}^{*}},
    {{\varpi }_{2}} = \left( 2{{\mu }_{1}}+{{\mu }_{2}}+{{\lambda }_{2}}+{{a}_{2}}{{c}_{2}} \right){{e}^{*}}+{{c}_{2}}{{e}^{*}}^{2}, \; \; {{\varpi }_{3}} = \left( {{\mu }_{3}}+{{\lambda }_{1}}+2\frac{{{r}_{2}}}{{{K}_{2}}} \right){{e}^{*}},
    {{\varpi }_{4}} = \left( 2{{a}_{1}}{{c}_{1}}+{{\lambda }_{2}} \right){{e}^{*}}+2{{c}_{1}}{{e}^{*}}^{2}, \; \; \theta = \max \left\{ {{\varpi }_{1}}, {{\varpi }_{2}}, {{\varpi }_{3}}, {{\varpi }_{4}} \right\}.

    This implies

    \left| M\left( {{X}_{1}} \right)-M\left( {{X}_{2}} \right) \right|\le \eta \left| {{X}_{1}}-{{X}_{2}} \right|,

    where \eta = \max \{\theta, \left\| N \right\|\} < \infty. Therefore, M is Lipschitz continuous. This implies that condition (3) is satisfied.

    Next, we will demonstrate condition (4). Let

    S\left( t, T, \vec{u} \right) = T\left( t \right)+{{D}_{1}}u_{1}^{2}\left( t \right)+{{D}_{2}}u_{2}^{2}\left( t \right),

    where \vec{u} = \left({{u}_{1}}, {{u}_{2}} \right)\in \mathbb{U}, \vec{w} = \left({{w}_{1}}, {{w}_{2}} \right)\in \mathbb{U} , and 0\le \beta \le 1. To prove that S is convex, it suffices to demonstrate

    \left( 1-\beta \right)S\left( t, T, \vec{u} \right)+\beta S\left( t, T, \vec{w} \right)\ge S\left( t, T, \left( 1-\beta \right)\vec{u}+\beta \vec{w} \right),

    namely,

    \left( 1-\beta \right)S\left( t, T, \vec{u} \right)+\beta S\left( t, T, \vec{w} \right)-S\left( t, T, \left( 1-\beta \right)\vec{u}+\beta \vec{w} \right)\ge 0.

    According to the definition of convex functions,

    \begin{aligned} & \left( 1-\beta \right)S\left( t, T, \vec{u} \right)+\beta S\left( t, T, \vec{w} \right)-S\left( t, T, \left( 1-\beta \right)\vec{u}+\beta \vec{w} \right) \\ & = \left( 1-\beta \right)\left[ T\left( t \right)+{{D}_{1}}u_{1}^{2}\left( t \right)+{{D}_{2}}u_{2}^{2}\left( t \right) \right]+\beta [T\left( t \right)+{{D}_{1}}w_{1}^{2}\left( t \right) +{{D}_{2}}w_{2}^{2}\left( t \right)]-[T\left( t \right)\\ &+{{D}_{1}}{{(\left( 1-\beta \right){{u}_{1}}+\beta {{w}_{1}})}^{2}}+{{D}_{2}}{{(\left( 1-\beta \right){{u}_{2}}+\beta {{w}_{2}})}^{2}}]. \\ \end{aligned}

    Derived through simplification,

    \begin{aligned} & \left( 1-\beta \right)S(t, T, \vec{u})+\beta S(t, T, \vec{w})-S(t, T, \left( 1-\beta \right)\vec{u}+\beta \vec{w}) \\ & = {{D}_{1}}u_{1}^{2}-\beta {{D}_{1}}u_{1}^{2}+{{D}_{2}}u_{2}^{2}-\beta {{D}_{2}}u_{2}^{2}+\beta {{D}_{1}}w_{1}^{2}+\beta {{D}_{1}}w_{2}^{2}-{{D}_{1}}{{[\left( 1-\beta \right){{u}_{1}}+\beta {{w}_{1}}]}^{2}}\\ &-{{D}_{2}}{{[\left( 1-\beta \right){{u}_{2}}+\beta {{w}_{2}}]}^{2}} \\ & = {{D}_{1}}\left( 1-\beta \right)\beta \left( u_{1}^{2}-2{{u}_{1}}{{w}_{1}}+w_{1}^{2} \right)+{{D}_{2}}\left( 1-\beta \right)\beta (u_{2}^{2}-2{{u}_{2}}{{w}_{2}}+w_{2}^{2}) \\ & = {{D}_{1}}\left( 1-\beta \right)\beta {{\left( {{u}_{1}}-{{w}_{1}} \right)}^{2}}+{{D}_{2}}\left( 1-\beta \right)\beta {{({{u}_{2}}-{{w}_{2}})}^{2}}\ge 0. \\ \end{aligned}

    Finally, our proof of condition (5) is as follows:

    As S\left(t, T, \vec{u} \right) is a convex function, therefore,

    T\left( t \right)+{{D}_{1}}u_{1}^{2}\left( t \right)+{{D}_{2}}u_{2}^{2}\left( t \right)\ge {{\varphi }_{1}}{{({{\left| {{u}_{1}}(t) \right|}^{2}}+{{\left| {{u}_{2}}(t) \right|}^{2}})}^{\frac{\varsigma }{2}}}-{{\varphi }_{2}}.

    In this case, if we choose {{\varphi }_{1}} = \frac{1}{2}\min \{{{D}_{1}}, {{D}_{2}}\} , {{\varphi }_{2}} > 0 , and \varsigma = 2 , then condition (5) is also satisfied.

    Theorem 5.2. In the optimal control problem formulated by Eqs (5.1) and (5.2), if {{u}^{*}} = \left(u_{1}^{*}, u_{2}^{*} \right) , {{X}^{*}} = \left({{T}^{*}}, {{I}^{*}}, {{H}^{*}}, {{P}^{*}} \right) is the optimal solution, then there exists an adjoint variable {{\delta }_{i}}, \ i = 1, 2, 3, 4 such that

    \begin{equation} \left\{ \begin{aligned} & {{D}^{\alpha }}{{\delta }_{1}}(t) = 1+{{\delta }_{1}}[{{r}_{1}}(1+{{u}_{1}})-2\frac{{{r}_{1}}(1+{{u}_{1}})}{{{K}_{1}}}T-(1+{{u}_{2}}){{\mu }_{1}}I-{{\lambda }_{1}}H-\frac{{{a}_{1}}{{c}_{1}}P}{\left( {{a}_{1}}+T \right)}] \\ & \quad \quad \quad \quad +{{\delta }_{2}}[\frac{{{a}_{2}}{{c}_{2}}I}{\left( {{a}_{2}}+T \right)}-{{\mu }_{2}}I]-{{\delta }_{3}}{{\mu }_{3}}H+{{\delta }_{4}}\frac{{{a}_{1}}{{c}_{1}}P}{\left( {{a}_{1}}+T \right)}, \\ & {{D}^{\alpha }}{{\delta }_{2}}(t) = -{{\delta }_{1}}(1+{{u}_{2}}){{\mu }_{1}}T+{{\delta }_{2}}(\frac{{{c}_{2}}T}{{{a}_{2}}+T}-{{\mu }_{2}}T-{{d}_{1}})-{{\delta }_{4}}{{\lambda }_{2}}P, \\ & {{D}^{\alpha }}{{\delta }_{3}}(t) = -{{\delta }_{1}}{{\lambda }_{1}}T+{{\delta }_{3}}\left( {{r}_{2}}-2\frac{{{r}_{2}}}{{{K}_{2}}}H-{{\mu }_{3}}T \right), \\ & {{D}^{\alpha }}{{\delta }_{4}}(t) = -{{\delta }_{1}}\frac{{{c}_{1}}T}{{{a}_{1}}+T}+{{\delta }_{4}}\left( \frac{{{c}_{1}}T}{{{a}_{1}}+T}-{{\lambda }_{2}}I-{{d}_{2}} \right), \\ \end{aligned} \right. \end{equation} (5.6)

    and the intercept condition is {{\delta }_{i}}\left({{t}_{f}} \right) = 0 . The optimal control solution is

    u_{1}^{*} = \min \{\max \{0, \frac{{{\delta }_{1}}{{r}_{1}}T(1-\frac{T}{{{K}_{1}}})}{2{{D}_{1}}}\}, {{u}_{\max }}\},
    u_{2}^{*} = \min \{\max \{0, \frac{{{\delta }_{1}}{{\mu }_{1}}IT}{2{{D}_{2}}}\}, {{u}_{\max }}\}.

    Proof. We begin by defining the Lagrangian function Z_1 and the Hamiltonian function Z_2 as follows:

    {{Z}_{1}} = T\left( t \right)+{{D}_{1}}u_{1}^{2}\left( t \right)+{{D}_{2}}u_{2}^{2}\left( t \right),
    \begin{aligned} & {{Z}_{2}} = {{Z}_{1}}+{{\delta }_{1}}[{{r}_{1}}(1-{{u}_{1}})T(1-\frac{T}{{{K}_{1}}})-(1+{{u}_{2}}){{\mu }_{1}}IT-{{\lambda }_{1}}HT-\frac{{{c}_{1}}TP}{{{a}_{1}}+T}]+{{\delta }_{2}}[s+\frac{{{c}_{2}}TI}{{{a}_{2}}+T}\\ &-{{\mu }_{2}}IT-{{d}_{1}}I]+{{\delta }_{3}}[{{r}_{2}}H(1-\frac{H}{{{K}_{2}}})-{{\mu }_{3}}HT]+{{\delta }_{4}}[\frac{{{c}_{1}}TP}{{{a}_{1}}+T}-{{\lambda }_{2}}IP-{{d}_{2}}P], \\ \end{aligned}

    where {{\delta }_{i}}, i = 1, 2, 3, 4 is the adjoint variable. By further applying the Pontryagin maximum principle [37], the following state equation can be derived:

    \left\{ \begin{aligned} & {{D}^{\alpha }}{{\delta }_{1}}(t) = \frac{\partial {{Z}_{2}}}{\partial T} = 1+{{\delta }_{1}}[{{r}_{1}}(1+{{u}_{1}})-2\frac{{{r}_{1}}(1+{{u}_{1}})}{{{K}_{1}}}T-(1+{{u}_{2}}){{\mu }_{1}}I-{{\lambda }_{1}}H-\frac{{{a}_{1}}{{c}_{1}}P}{\left( {{a}_{1}}+T \right)}] \\ & \quad \quad \quad \quad \quad \quad \quad +{{\delta }_{2}}[\frac{{{a}_{2}}{{c}_{2}}I}{\left( {{a}_{2}}+T \right)}-{{\mu }_{2}}I]-{{\delta }_{3}}{{\mu }_{3}}H+{{\delta }_{4}}\frac{{{a}_{1}}{{c}_{1}}P}{\left( {{a}_{1}}+T \right)}, \\ & {{D}^{\alpha }}{{\delta }_{2}}(t) = \frac{\partial {{Z}_{2}}}{\partial I} = -{{\delta }_{1}}(1+{{u}_{2}}){{\mu }_{1}}T+{{\delta }_{2}}(\frac{{{c}_{2}}T}{{{a}_{2}}+T}-{{\mu }_{2}}T-{{d}_{1}})-{{\delta }_{4}}{{\lambda }_{2}}P, \\ & {{D}^{\alpha }}{{\delta }_{3}}(t) = \frac{\partial {{Z}_{2}}}{\partial H} = -{{\delta }_{1}}{{\lambda }_{1}}T+{{\delta }_{3}}\left( {{r}_{2}}-2\frac{{{r}_{2}}}{{{K}_{2}}}H-{{\mu }_{3}}T \right), \\ & {{D}^{\alpha }}{{\delta }_{4}}(t) = \frac{\partial {{Z}_{2}}}{\partial P} = -{{\delta }_{1}}\frac{{{c}_{1}}T}{{{a}_{1}}+T}+{{\delta }_{4}}\left( \frac{{{c}_{1}}T}{{{a}_{1}}+T}-{{\lambda }_{2}}I-{{d}_{2}} \right), \\ \end{aligned} \right.

    simultaneously satisfying the transversality condition

    {{\delta }_{1}}\left( {{t}_{f}} \right) = {{\delta }_{2}}\left( {{t}_{f}} \right) = {{\delta }_{3}}\left( {{t}_{f}} \right) = {{\delta }_{4}}\left( {{t}_{f}} \right) = 0.

    According to the necessary conditions of the control equation,

    \frac{\partial {{Z}_{2}}}{\partial {{u}_{i}}} = 0, \quad i = 1, 2.

    Therefore, the optimal control solution {{u}^{*}} = \left(u_{1}^{*}, u_{2}^{*} \right) is

    u_{1}^{*} = \frac{{{\delta }_{1}}{{r}_{1}}T}{2{{D}_{1}}}(1-\frac{T}{{{K}_{1}}}), \quad u_{2}^{*} = \frac{{{\delta }_{1}}{{\mu }_{1}}IT}{2{{D}_{2}}}.

    As a result of u_{1}^{*}\left(t \right), u_{1}^{*}\left(t \right)\in \mathbb{U} , the expression for the optimal control solution is

    u_{1}^{*} = \min \{\max \{0, \frac{{{\delta }_{1}}{{r}_{1}}T(1-\frac{T}{{{K}_{1}}})}{2{{D}_{1}}}\}, {{u}_{\max }}\},
    u_{2}^{*} = \min \{\max \{0, \frac{{{\delta }_{1}}{{\mu }_{1}}IT}{2{{D}_{2}}}\}, {{u}_{\max }}\}.

    In this section, we will conduct numerical simulations to validate the theoretical derivations and assess the model's accuracy. Additionally, we will discuss the complex dynamic behaviors of the system under different parameters and conditions. These simulations help in understanding the stability and response characteristics of the system and reveal various dynamic phenomena that may be encountered in practical applications. Through numerical simulations, we can intuitively observe and explain the nonlinear characteristics of the system, providing a reference for further research and applications. In the following figures, when K_1 = 100 , we set the initial values to [10,12,15,2]; when K_1 = 10 , the initial values are set to [5,6,7,2].

    From Figure 4, it can be seen that in the initial period, both tumor cells and healthy cells increase due to the immune system not being severely compromised. However, as time progresses, the immune system becomes increasingly damaged, and cancer cells continue to proliferate and absorb a large amount of nutrients, leading to a decrease in healthy cells. Eventually, the four state variables stabilize. Additionally, when \alpha increases, the number of healthy cells and cancer cells at equilibrium becomes closer and when \alpha = 1 , their numbers are almost equal. This indicates that \alpha has a significant impact on the stability of system (2.3).

    Figure 4.  The dynamic behavior of system (2.3) with the same \alpha value. Parameters: r_1 = 0.5 , K_1 = 10 , \mu_1 = 0.03 , \lambda_1 = 0.002 , c_1 = 0.2 , a_1 = 5 , c_2 = 0.15 , a_2 = 5 , \mu_2 = 0.03 , d_1 = 0.01 , r_2 = 0.4 , K_2 = 12 , \mu_3 = 0.02 , \lambda_2 = 0.02 , d_2 = 0.05 , s = 0.5 . [A] \alpha = 0.7 . [B] \alpha = 0.8 . [C] \alpha = 0.9 . [D] \alpha = 1 .

    To better analyze the impact of \alpha on each state variable, Figure 5 presents the time series of the same state variable under different \alpha values. From Figure 5[A], it can be seen that as \alpha increases, the number of tumor cells at equilibrium continuously rises, indicating that higher \alpha values accelerate the growth of tumor cells. Figures 5[B–D] show that as \alpha increases, the number of immune cells, healthy cells, and metastatic cancer cells at equilibrium continuously decreases. However, it is noteworthy that the maximum number of healthy cells that can be reached is also higher with larger \alpha values, possibly due to the stronger protective effect on healthy cells during the initial stages. These results indicate that \alpha has a significant overall impact on the system and that fractional-order models have an advantage in capturing the dynamic behavior of the system, making them more suitable for predicting and analyzing complex scenarios.

    Figure 5.  The dynamic behavior of system (2.3) with different \alpha values, with other parameters the same as in Figure 4.

    The basic reproduction number is crucial in cancer treatment. To delve deeper into the effects of different parameters in the basic regeneration expression on state variables, Figures 69 respectively show the comparative impacts of varying r_1 , \mu_1 , d_1 , and s on each state variable. From the figures, it can be seen that as r_1 increases, the quantities of state variables T and P at equilibrium gradually increase, while I and H gradually decrease. Conversely, increases in \mu_1 and s have the opposite effect of r_1 , leading to decreases in T and P quantities and increases in I and H quantities.

    Figure 6.  The dynamic behavior of system (2.3) with different r_1 values. Parameters: \alpha = 0.95 . Other parameters are the same as in Figure 4.
    Figure 7.  The dynamic behavior of system (2.3) with different \mu_1 values. Parameters: \alpha = 0.95 . Other parameters are the same as in Figure 4.
    Figure 8.  The dynamic behavior of system (2.3) with different d_1 values. Parameters: \alpha = 0.95 . Other parameters are the same as in Figure 4.
    Figure 9.  The dynamic behavior of system (2.3) with different s values. Parameters: \alpha = 0.95 . Other parameters are the same as in Figure 4.

    Notably, in Figure 8[A], during the initial period, as d_1 increases, T continuously increases while H gradually decreases. This is due to the high death rate of immune cells, resulting in a sharp decrease in their number. However, over time, the increase in tumor cells stimulates the proliferation of immune cells. As a result, the proliferation rate of immune cells far exceeds their death rate, leading to a higher immune cell production rate with larger d_1 values, ultimately reducing the number of tumor cells.

    Figure 10 shows the time series and phase plots of the nodes. Subsequently, by fixing other parameters and adjusting \alpha from 0.84 to 0.9, the state variables no longer stabilize at the nodes but exhibit periodic fluctuations, eventually settling into a limit cycle, as shown in Figure 11. This indicates that as \alpha changes, the system (2.3) transitions from one stable state to another, with increasingly complex dynamic behavior. To more clearly analyze the impact of \alpha changes on the system dynamics, Figure 12 presents the time series and phase plots of each state variable under different \alpha values, providing a more intuitive validation of our analysis.

    Figure 10.  The time series and phase diagram of system (2.3). Parameters: \alpha = 0.84 , r_1 = 0.65 , K_1 = 100 , \mu_1 = 0.02 , \lambda_1 = 0.001 , c_1 = 2 , a_1 = 50 , c_2 = 1.5 , a_2 = 50 , \mu_2 = 0.03 , d_1 = 0.01 , r_2 = 0.15 , K_2 = 120 , \mu_3 = 0.015 , \lambda_2 = 0.02 , d_2 = 0.01 , s = 0.8 .
    Figure 11.  The time series and phase diagram of system (2.3). Parameters: \alpha = 0.9 . Other parameters are consistent with Figure 10.
    Figure 12.  The time series and phase diagram of system (2.3) with other parameters consistent with Figure 10.

    Next, we will analyze the existence of chaos in system (2.3). First, we computed the Lyapunov exponent of system (2.3), which is a numerical feature that represents the average exponential divergence rate of nearby trajectories in phase space and is one of the key indicators for identifying chaotic motion. The Lyapunov exponents of system (2.3) are shown in Table 2 and Figure 13. By observing the Lyapunov exponents, we can see that since there is a positive Lyapunov exponent, the system is expected to exhibit chaotic behavior within the parameter range specified in Table 2.

    Table 2.  The Lyapunov exponents ( \alpha = 0.85 ).
    t LE_T LE_I LE_H LE_P t LE_T LE_I LE_H LE_P
    10 -0.1551 -0.0131 -1.2056 -1.3859 100 0.8621 -0.1742 -0.6623 -1.0283
    20 0.5700 -0.5235 -0.5740 -0.6670 300 0.8337 -0.3379 -0.5994 -1.2045
    30 0.7545 -0.3418 -0.6011 -0.6055 500 0.8833 -0.2905 -0.5432 -1.1698
    40 0.5516 -0.6181 -1.3066 -1.3565 700 0.8744 -0.3094 -0.5554 -1.1951
    50 0.5659 -0.4543 -0.9360 -1.1777 1000 0.8918 -0.2897 -0.5413 -1.1829

     | Show Table
    DownLoad: CSV
    Figure 13.  The Lyapunov spectrum of model (2.3). The red line represents the Lyapunov exponent of tumor cells, the black line represents the Lyapunov exponent of immune cells, the blue line represents the Lyapunov exponent of healthy cells, and the green line represents the Lyapunov exponent of tumor cells diffusing outward. Parameters: \alpha = 0.85 , r_1 = 1.1 , K_1 = 100 , \mu_1 = 0.02 , \lambda_1 = 0.001 , c_1 = 1.2 , a_1 = 50 , c_2 = 2 , a_2 = 50 , \mu_2 = 0.03 , d_1 = 0.01 , r_2 = 0.4 , K_2 = 120 , \mu_3 = 0.03 , \lambda_2 = 0.01 , d_2 = 0.01 , s = 0.5 .

    Additionally, the dimension of a chaotic attractor serves as a key numerical measure for assessing its characteristics. In this study, we use the Lyapunov dimension to quantify the chaotic attractor's dimension in system (2.3)[55]. The calculation formula is

    \begin{equation} {{d}_{L}} = j+\frac{\sum\limits_{i = 1}^{j}{L{{E}_{i}}}}{\left| L{{E}_{j+1}} \right|}, \end{equation} (6.1)

    where \sum\limits_{i = 1}^{j}{L{{E}_{i}}} > 0 and \sum\limits_{i = 1}^{j}{L{{E}_{i}}+L{{E}_{j+1}} < 0} . For model (2.3), it follows from LE_T = 0.8918 , LE_I = -0.2897 , LE_H = -0.2897 , and LE_P = -1.1829 that LE_T+LE_I+LE_H = 0.06077 > 0 and LE_T+LE_I+LE_H+LE_P = -1.12213 < 0 . Therefore, the Lyapunov dimension is {{d}_{L}}\approx 3.05137 , indicating that the model is a fractal with a dimension between 3 and 4.

    To further investigate the chaotic phenomena in system (2.3), we selected a new set of parameters and continuously adjusted the value of \alpha . We found that the system tends to exhibit chaos when \alpha is around 0.85, as shown in Figure 14. To more intuitively demonstrate the presence of chaos, we plotted two-dimensional phase diagrams of some combinations of state variables (Figure 15), three-dimensional phase diagrams of combinations of three state variables (Figure 16), and three-dimensional plots of two state variables over time (Figure 17). Chaotic phenomena can be explained by the irregular division of tumor cells and the complex dynamic relationships between cells. When the system exhibits chaos, the unpredictability and extreme sensitivity of chaotic behavior make cancer treatment more complex and challenging.

    Figure 14.  The time series diagram of system (2.3) with parameters consistent with Figure 13.
    Figure 15.  Phase diagram of system (2.3) with parameters consistent with Figure 13.
    Figure 16.  Phase diagram of system (2.3) with parameters consistent with Figure 13.
    Figure 17.  The time series diagram of system (2.3) with other parameters consistent with Figure 13.

    Combining the above analysis, it can be observed that varying the value of \alpha leads to a transition of system (2.3) from chaotic behavior to a stable limit cycle, suggesting the presence of bifurcations within system (2.3). From a dynamical systems perspective, bifurcation refers to a phenomenon in which the continuous variation of a parameter causes a sudden and significant change in the system's behavior, thereby altering its dynamical properties. Bifurcation diagrams are crucial tools for analyzing how system properties change with respect to parameter variations, and they aid in uncovering the underlying dynamics of the system. In this study, four parameters are chosen as bifurcation parameters, and their relationships with the system state variable T are examined. The corresponding bifurcation diagrams are presented in Figure 18.

    Figure 18.  The bifurcation diagram of the system state variable tumor cells T under different parameter values in system (2.3). Here, blue represents the local maxima of the tumor cells, and red represents the local minima of the tumor cells with other parameters consistent with those in Figure 13.

    Figure 18[A, C, D] illustrates the occurrence of period-doubling bifurcations in system (2.3) under specific parameter values \alpha = 0.8 , s = 0.3 , and \mu_1 = 0.00187 . In Figure 18[A], a period-doubling bifurcation is observed when r_1 = 1.12 , and the relationship between the chaotic state and the intensity of immunotherapy \mu_1 is also evident. Before \mu_1 = 0.0196 , the system exhibits period-doubling bifurcations, transitioning into chaotic behavior thereafter. This suggests that even small variations in these parameters can significantly influence the system's dynamic behavior. Therefore, in cancer treatment, adjusting these parameters could lead to more effective therapeutic strategies. For instance, the value of r_1 can be altered through surgery, while \mu_1 can be regulated via immunotherapy. Next, we will conduct numerical simulations to investigate the effects of these two treatment methods on cancer, providing further insight into their role and effectiveness in modulating system parameters.

    We designate the treatment method combining surgery and immunotherapy as Treatment Strategy A, surgery alone as Treatment Strategy B, and immunotherapy alone as Treatment Strategy C. Figure 1 shows the time series of the control parameter u_i(i = 1, 2) under the three treatment strategies. From Figure 1[A], it can be seen that in the comprehensive Treatment Strategy A, the highest intensity of treatment is not required, and as the treatment progresses, the intensity gradually decreases, eventually reaching a very small value.

    Interestingly, in the early stages of treatment, surgery dominates, while over time, immunotherapy becomes increasingly important. This aligns with real-world scenarios, where in the early stages, a larger number of tumor cells are present and surgery is used to remove most of the tumor, while the remaining tumor cells are eliminated through immunotherapy. This indicates that through comprehensive treatment, cancer can be effectively controlled without requiring extremely high treatment intensity, gradually reducing the treatment intensity and improving the sustainability and effectiveness of the treatment.

    Figure 1[B] illustrates the scenario where only surgical treatment is performed. Compared to treatment strategy A, surgical treatment requires a higher intensity of treatment initially, and the treatment intensity remains higher even when it stabilizes in the later stages. This presents several issues: The high intensity of treatment not only demands a lot from doctors but also requires highly advanced medical facilities, increasing the complexity of the treatment. Therefore, the advantages of comprehensive treatment are particularly prominent, as it can reduce the intensity of treatment while improving the sustainability and effectiveness of the treatment.

    Figure 1[C] shows the time series of the control function when only immunotherapy is administered. It can be seen that immunotherapy alone requires a period of high-intensity treatment, and the intensity remains relatively high in the later stages, which could result in higher costs. Therefore, among these three treatment strategies, treatment strategy A is preferred, as it can reduce the overall treatment intensity while improving treatment efficacy and sustainability.

    After analyzing the treatment intensity under the three treatment strategies, we further examined their impact on the objective function, as shown in Figure 2. The objective function reflects the overall effect and cost of the treatment. From the figure, it can be seen that the objective function value for treatment strategy A is the lowest, indicating that the combined treatment (surgery and immunotherapy) is optimal in terms of effectiveness and cost. In contrast, the objective function value for treatment strategy B (surgery only) is higher. Although surgical treatment is effective in some aspects, it requires a higher initial treatment intensity, resulting in higher overall costs and less favorable outcomes.

    The objective function value for treatment strategy C (immunotherapy only) is the highest, suggesting that immunotherapy alone not only requires a prolonged period of high-intensity treatment but also incurs higher costs. Considering both the treatment effect and cost, treatment strategy A is clearly superior to the other two strategies. This indicates that combining surgery and immunotherapy can achieve the best treatment outcomes while reducing treatment intensity and costs. Future research and practical treatments should focus on combined treatment. Finally, Figure 19 presents the time series of various state variables under different control strategies. It can be seen that treatment strategy A has the best control effect on cancer cells, followed by treatment strategy B, while treatment strategy C shows relatively poorer results, although all strategies are better than no treatment at all. Specifically, treatment strategy A not only significantly reduces the number of cancer cells but also effectively protects the immune system and healthy cells. In contrast, treatment strategy B is slightly less effective in controlling cancer cells than strategy A but still performs significantly better than strategy C and no treatment.

    Figure 19.  Time series of state variables under different treatment strategies, with parameters consistent with those in Figure 1.

    Moreover, although treatment strategy C is not as effective as the other two strategies, it still manages to control the growth of cancer cells to some extent and better protects healthy cells and the immune system compared to no treatment. This indicates that although single treatment methods (such as immunotherapy alone) have limited effectiveness, they still have some therapeutic value.

    Overall, treatment strategy A, by combining surgery and immunotherapy, achieves the best results, not only excelling in inhibiting cancer cells but also maximizing the protection of the immune system and healthy cells. Although treatment strategy B is not as effective as strategy A, it still provides significant therapeutic benefits. Treatment strategy C, despite being weaker, still has its role as an adjunctive treatment. Therefore, in practical applications, comprehensive treatment strategy A should be prioritized to achieve the best clinical outcomes and patient prognosis.

    Parameter estimation (PE) is crucial in the identification and validation of cancer models. The occurrence and progression of cancer involve various complex biological processes, and accurately translating these processes into mathematical models is a significant challenge. Through PE, model parameters can be determined using real data within a reasonable range, ensuring that the model can more accurately represent the biological characteristics of cancer. Accurate PE not only improves the predictive accuracy of the model but also helps reveal the underlying biological mechanisms of cancer progression, providing stronger support for clinical decision-making, ultimately driving the optimization and personalized development of cancer treatment plans.

    In this section, we used real data on the growth of lung cancer cells over 14 days from a patient at Kayseri Erciyes University Hospital, with specific data points including 50, 000, 80, 000, 80, 000, 80, 000, 100, 000, 140, 000, 140, 000, 200, 000, 200, 000, 240, 000, 240, 000, 200, 000, 180, 000, and 180, 000, as mentioned in reference [33]. Given the limited real data points and the relatively large number of model parameters, we used interpolation to increase the number of data points for fitting and then applied the least squares method. The specific fitting process and details are as follows:

    Step 1: First, define the real experimental data, including the time series and tumor cell count. Since the experimental data points are limited, which makes it difficult to fully capture the changes in tumor cell growth, we use spline interpolation to generate more data points, allowing for a more accurate reflection of tumor cell growth at different stages.

    Step 2: Second, initialize the model parameters, such as tumor growth rate, carrying capacity, etc., and set reasonable upper and lower bounds for each parameter to ensure the optimization results are biologically plausible. At the same time, configure the parameters of the least squares optimizer, such as the maximum number of iterations and convergence tolerance, to ensure the stability of the optimization process.

    Step 3: Next, the lsqcurvefit function is employed to optimize the parameters by minimizing the sum of squared residuals between the model predictions and experimental data, thereby improving the fitting accuracy. Additionally, the Akaike information criterion and the Bayesian information criterion are used to mitigate the risk of overfitting.

    Step 4: Finally, a comparison plot of the fitting results is created, showing the real data points, interpolated data, and the model's predicted curve. Additionally, a residual analysis plot is generated to evaluate the model's prediction bias at different time periods, as shown in Figure 20.

    Figure 20.  [A] is the best-fitting curve of system (2.3) with the 14-day real data of a lung cancer patient and [B] is the residual analysis between the real data and the fitted data.

    Using this method, the optimal fitting parameter value at \alpha = 0.9 was obtained, with the specific results shown in Table 3. In Figure 20[A], the optimal fitting curve is presented, where red points represent the observed real data, the blue curve represents the fitted curve, and green points indicate the interpolated data points. Figure 20[B] shows the residual analysis, where smaller differences from zero indicate better fitting performance. As seen in Figure 20, the fitting performance is relatively good between days 0–9, while it worsens between days 9–14. This may be due to larger fluctuations in the later data and the significant influence of the estimated parameter values on the fitting process. This also suggests that different prediction strategies should be applied based on the data characteristics of different stages when making predictions.

    Table 3.  Parameter values and their fitting status.
    Parameter Value ( \alpha=0.9 ) Status
    {r}_{1} 3.001424e-01 Fitted
    {r}_{2} 4.886303e-01 Fitted
    {K}_{1} 2.686256e+05 Fitted
    {K}_{2} 2.283360e+05 Fitted
    {\mu}_{1} 1.000000e-05 Fitted
    {\mu}_{2} 1.000000e-05 Fitted
    {\mu}_{3} 1.000000e-05 Fitted
    {\lambda}_{1} 8.912330e-05 Fitted
    {\lambda}_{2} 8.875427e-05 Fitted
    {c}_{1} 9.836971e-04 Fitted
    {c}_{2} 9.874923e-04 Fitted
    {a}_{1} 2.942564e+04 Fitted
    {a}_{2} 2.959367e+04 Fitted
    {d}_{1} 1.144475e-02 Fitted
    {d}_{2} 1.004176e-02 Fitted
    s 4.801490e-01 Fitted

     | Show Table
    DownLoad: CSV

    Cancer treatment remains a significant challenge. This paper introduces a new Caputo fractional-order model to describe the progression of lung cancer. The model includes tumor cells, immune cells, healthy cells, and the spread of tumor cells from the lungs to surrounding organs. The main objective of this paper is to analyze the complex dynamic behaviors between these cell populations and assess the impact of different treatment strategies on cancer cell growth. By incorporating Caputo fractional-order differential equations, we are able to capture the complex interactions between cells more accurately. Compared to traditional integer-order models, the fractional-order model has a clear advantage in describing the memory effects and genetic characteristics of biological systems. Its flexibility and accuracy make it better suited for simulating the growth and spread dynamics of tumor cells.

    Our model not only considers the growth of lung tumors but also includes the process of tumor cell dissemination to surrounding organs. This spread is crucial in the progression of lung cancer, and an accurate model to predict tumor dissemination is essential for devising effective treatment strategies. Additionally, the dynamic changes of immune cells and healthy cells included in the model help us understand the role of the immune system in tumor progression and the impact of different treatment regimens on the immune system.

    We investigated the system's solutions to ensure that subsequent research is both reasonable and biologically meaningful, focusing on their existence, uniqueness, and positivity. First, we discussed the existence and stability conditions of tumor-free equilibria and internal equilibria. Furthermore, we calculated the basic reproduction number to determine whether the tumor will deteriorate. These analyses lay the theoretical foundation for introducing control terms and conducting numerical simulations in subsequent studies, particularly in selecting sensitive parameters, laying the groundwork for analyzing how parameters affect the system.

    Considering the different impacts of surgery and immunotherapy on tumors, we introduced control parameters into the model. Surgical treatment directly affects the natural growth rate r_1 of tumor cells, while immunotherapy increases the killing rate \mu_1 of immune cells against tumor cells. By incorporating control parameters into these two aspects, we can simulate the effects of surgery and immunotherapy on the system. After introducing the control terms, we first theoretically proved the necessary conditions for the existence of optimal control solutions and then used Pontryagin's maximum principle to calculate the expressions for the optimal solutions.

    We used numerical simulations to verify the correctness of the above theoretical derivations and explored some complex dynamic behaviors that are difficult to prove theoretically. First, we studied the system without the control terms and analyzed the effects of key parameters \alpha , r_1 , and \mu_1 on the system's dynamics. The results showed that small variations in these parameters significantly affect the system's dynamic behavior. Since fractional-order systems exhibit more complex dynamic behaviors, they are more suitable for predicting the growth of tumor cells.

    By continuously adjusting the parameters, we found that the system stabilizes at a node, as shown in Figure 8. This is a positive signal for cancer patients, indicating a lower number of cancer cells and higher numbers of healthy and immune cells. This suggests that as long as the immune system is strong enough, it can control tumor cells at a low level and ensure normal immune function, even if it cannot completely eliminate the tumor cells. Therefore, regular exercise and a consistent daily routine are crucial for both cancer prevention and treatment.

    When only modifying \alpha , the system transitions from a stable node to a stable limit cycle, as illustrated in Figure 9. Further parameter adjustments lead to chaotic phenomena, which can be explained by the irregular proliferation of tumor cells and the complex dynamic interactions between cells. Chaotic behavior is detrimental to cancer treatment because it complicates monitoring cell growth, necessitating multiple treatment approaches to stabilize the condition before devising a reasonable treatment strategy. Analysis shows that the system may exhibit bifurcation phenomena. Therefore, we selected r_1 , \mu_1 , \alpha , and s as bifurcation parameters and plotted the corresponding period-doubling or period-halving bifurcation diagrams. These diagrams indicate that small perturbations in these parameters can shift the system from one state to another, highlighting the importance of closely monitoring these parameter changes during cancer treatment.

    After introducing controls, we studied three treatment strategies: simultaneous surgery and immunotherapy (Strategy A), surgery alone (Strategy B), and immunotherapy alone (Strategy C). Through numerical simulations, we evaluated the required control intensity, the size of the objective function, and the dynamic changes of each state variable for these three treatment strategies during the treatment process. The results showed that the combined treatment strategy performed best in terms of treatment intensity, efficacy, and cost, consistent with theoretical predictions. Surgery treatment was the next most effective, followed by immunotherapy. Regardless of the treatment strategy adopted, all were more effective than no treatment.

    To validate the accuracy of the model, we used real data from lung cancer patients, recording the changes in cancer cells over a 14-day period. Given the limited amount of real data, we first applied spline interpolation to augment the dataset, then estimated parameters using the least squares method and performed curve fitting. Figure 18[A] shows the fitting results when \alpha = 0.9 , while Figure 18[B] presents the residual analysis between the real data and the fitted data. It can be observed that the model fits well in the early stages, but the deviation increases in the later stages. This indicates that while the model effectively captures the trend of cancer cell changes, there are potential limitations in its ability to predict changes over longer periods.

    Considering that in actual treatment processes, the monitored data may have a certain time delay, we plan to introduce time-delay parameters in future research. This will make the model more accurately reflect the dynamic processes in clinical treatment, simulating and predicting changes in tumor cells, immune cells, and healthy cells. By calibrating with actual clinical data, we can optimize treatment strategies, improve treatment outcomes, and reduce side effects and costs, thus providing more scientific theoretical support and effective clinical guidance for cancer treatment. Ultimately, this will help enhance patient outcomes.

    Xingxiao Wu: Software, Writing; Lidong Huang: Idea, Methodology; Zhang Shan: Formal analysis; Wenjie Qin: Project Administration and Review Editing. All authors read and approved the final manuscript.

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

    This work is supported by National Natural Science Foundation of China (Nos. 12261104, 12361104), the Youth Talent Program of Xingdian Talent Support Plan (No. XDYC-QNRC-2022-0708), and the Yunnan Provincial Basic Research Program Project (Nos. 202401AT070036, 202301AT070016).

    Declare that there are no conflicts of interest regarding the publication of this paper.



    [1] C. Huang, X. Long, J. Cao, Stability of antiperiodic recurrent neural networks with multiproportional delays, Math. Methods Appl. Sci., 43 (2020), 6093–6102. https://doi.org/10.1002/mma.6350 doi: 10.1002/mma.6350
    [2] X. Fu, F. Kong, Global exponential stability analysis of anti-periodic solutions of discontinuous bidirectional associative memory (BAM) neural networks with time-varying delays, Int. J. Nonlinear Sci. Numer. Simul., 21 (2020), 807–820. https://doi.org/10.1515/ijnsns-2019-0220 doi: 10.1515/ijnsns-2019-0220
    [3] N. Radhakrishnan, R. Kodeeswaran, R. Raja, C. Maharajan, A. Stephen, Global exponential stability analysis of anti-periodic of discontinuous BAM neural networks with time-varying delays, J. Phys.: Conf. Ser., 1850 (2021), 012098. https://doi.org/10.1088/1742-6596/1850/1/012098 doi: 10.1088/1742-6596/1850/1/012098
    [4] M. Khuddush, K. R. Prasad, Global exponential stability of almost periodic solutions for quaternion-valued RNNs with mixed delays on time scales, Bol. Soc. Mat. Mex., 28 (2022), 75. https://doi.org/10.1007/s40590-022-00467-y doi: 10.1007/s40590-022-00467-y
    [5] L. T. H. Dzung, L. V. Hien, Positive solutions and exponential stability of nonlinear time-delay systems in the model of BAM-Cohen-Grossberg neural networks, Differ. Equ. Dyn. Syst., 159 (2022). https://doi.org/10.1007/s12591-022-00605-y doi: 10.1007/s12591-022-00605-y
    [6] L. Li, D. W. C. Ho, J. Cao, J. Lu, Pinning cluster synchronization in an array of coupled neural networks under event-based mechanism, Neural Networks, 76 (2016), 1–12. https://doi.org/10.1016/j.neunet.2015.12.008 doi: 10.1016/j.neunet.2015.12.008
    [7] R. Li, X. Gao, J. Cao, Exponential synchronization of stochastic memristive neural networks with time-varying delays, Neural Process. Lett., 50 (2019), 459–475. https://doi.org/10.1007/s11063-019-09989-5 doi: 10.1007/s11063-019-09989-5
    [8] Y. Sun, L. Li, X. Liu, Exponential synchronization of neural networks with time-varying delays and stochastic impulses, Neural Networks, 132 (2020), 342–352. https://doi.org/10.1016/j.neunet.2020.09.014 doi: 10.1016/j.neunet.2020.09.014
    [9] Q. Xiao, T. Huang, Z. Zeng, Synchronization of timescale-type nonautonomous neural networks with proportional delays, IEEE Trans. Syst., Man, Cybern.: Syst., 52 (2021), 2167–2173. https://doi.org/10.1109/tsmc.2021.3049363 doi: 10.1109/tsmc.2021.3049363
    [10] J. Gao, L. Dai, Anti-periodic synchronization of quaternion-valued high-order Hopfield neural networks with delays, AIMS Math., 7 (2022), 14051–14075. https://doi.org/10.3934/math.2022775 doi: 10.3934/math.2022775
    [11] B. Liu, S. Gong, Periodic solution for impulsive cellar neural networks with time-varying delays in the leakage terms, Abstr. Appl. Anal., 2013 (2013), 1–10. https://doi.org/10.1155/2013/701087 doi: 10.1155/2013/701087
    [12] L. Peng, W. Wang, Anti-periodic solutions for shunting inhibitory cellular neural networks with time-varying delays in leakage terms, Neurocomputing, 111 (2013), 27–33. https://doi.org/10.1016/j.neucom.2012.11.031 doi: 10.1016/j.neucom.2012.11.031
    [13] Y. Xu, Periodic solutions of BAM neural networks with continuously distributed delays in the leakage terms, Neural Process. Lett., 41 (2015), 293–307. https://doi.org/10.1007/s11063-014-9346-9 doi: 10.1007/s11063-014-9346-9
    [14] H. Zhang, J. Shao, Almost periodic solutions for cellular neural networks with time-varying delays in leakage terms, Appl. Math. Comput., 219 (2013), 11471–11482. https://doi.org/10.1016/j.amc.2013.05.046 doi: 10.1016/j.amc.2013.05.046
    [15] P. Jiang, Z. Zeng, J. Chen, Almost periodic solutions for a memristor-based neural networks with leakage, time-varying and distributed delays, Neural Networks, 68 (2015), 34–45. https://doi.org/10.1016/j.neunet.2015.04.005 doi: 10.1016/j.neunet.2015.04.005
    [16] H. Zhou, Z. Zhou, W. Jiang, Almost periodic solutions for neutral type BAM neural networks with distributed leakage delays on time scales, Neurocomputing, 157 (2015), 223–230. https://doi.org/10.1016/j.neucom.2015.01.013 doi: 10.1016/j.neucom.2015.01.013
    [17] M. Song, Q. Zhu, H. Zhou, Almost sure stability of stochastic neural networks with time delays in the leakage terms, Discrete Dyn. Nat. Soc., 2016 (2016), 1–10. https://doi.org/10.1155/2016/2487957 doi: 10.1155/2016/2487957
    [18] H. Li, H. Jiang, J. Cao, Global synchronization of fractional-order quaternion-valued neural networks with leakage and discrete delays, Neurocomputing, 383 (2020), 211–219. https://doi.org/10.1016/j.neucom.2019.12.018 doi: 10.1016/j.neucom.2019.12.018
    [19] W. Zhang, H. Zhang, J. Cao, H. Zhang, D. Chen, Synchronization of delayed fractional-order complex-valued neural networks with leakage delay, Phys. A: Stat. Mech. Appl., 556 (2020), 124710. https://doi.org/10.1016/j.physa.2020.124710 doi: 10.1016/j.physa.2020.124710
    [20] A. Singh, J. N. Rai, Stability analysis of fractional order fuzzy cellular neural networks with leakage delay and time varying delays, Chinese J. Phys., 73 (2021), 589–599. https://doi.org/10.1016/j.cjph.2021.07.029 doi: 10.1016/j.cjph.2021.07.029
    [21] C. Xu, M. Liao, P. Li, S. Yuan, Impact of leakage delay on bifurcation in fractional-order complex-valued neural networks, Chaos, Solitons Fract., 142 (2021), 110535. https://doi.org/10.1016/j.chaos.2020.110535 doi: 10.1016/j.chaos.2020.110535
    [22] C. Xu, Z. Liu, C. Aouiti, P. Li, L. Yao, J. Yan, New exploration on bifurcation for fractional-order quaternion-valued neural networks involving leakage delays, Cogn. Neurodyn., 16 (2022), 1233–1248. https://doi.org/10.1007/s11571-021-09763-1 doi: 10.1007/s11571-021-09763-1
    [23] C. A. Popa, Octonion-valued neural networks, In: A. Villa, P. Masulli, A. Pons Rivero, Artificial Neural Networks and Machine Learning–ICANN 2016, Lecture Notes in Computer Science, Cham: Springer, 2016,435–443. https://doi.org/10.1007/978-3-319-44778-0_51
    [24] J. C. Baez, The octonions, Bull. Am. Math. Soc., 39 (2002), 145–205.
    [25] A. K. Kwaśniewski, Glimpses of the octonions and quaternions history and today's applications in quantum physics, Adv. Appl. Clifford Algebras, 22 (2012), 87–105. https://doi.org/10.1007/s00006-011-0299-z doi: 10.1007/s00006-011-0299-z
    [26] C. A. Popa, Global asymptotic stability for octonion-valued neural networks with delay, In: F. Cong, A. Leung, Q. Wei, Advances in Neural Networks–ISNN 2017, Lecture Notes in Computer Science, Cham: Springer, 2017,439–448. https://doi.org/10.1007/978-3-319-59072-1_52
    [27] C. A. Popa, Exponential stability for delayed octonion-valued recurrent neural networks, In: I. Rojas, G. Joya, A. Catala, Advances in Computational Intelligence–IWANN 2017, Lecture Notes in Computer Science, Cham: Springer, 2017,375–385. https://doi.org/10.1007/978-3-319-59153-7_33
    [28] C. A. Popa, Global exponential stability of octonion-valued neural networks with leakage delay and mixed delays, Neural Networks, 105 (2018), 277–293. https://doi.org/10.1016/j.neunet.2018.05.006 doi: 10.1016/j.neunet.2018.05.006
    [29] C. A. Popa, Global exponential stability of neutral-type octonion-valued neural networks with time-varying delays, Neurocomputing, 309 (2018), 117–133. https://doi.org/10.1016/j.neucom.2018.05.004 doi: 10.1016/j.neucom.2018.05.004
    [30] J. Wang, X. Liu, Global \mu-stability and finite-time control of octonion-valued neural networks with unbounded delays, arXiv Preprint, 2020. https://doi.org/10.48550/arXiv.2003.11330
    [31] M. S. M'hamdi, C. Aouiti, A. Touati, A. M. Alimi, V. Snasel, Weighted pseudo almost-periodic solutions of shunting inhibitory cellular neural networks with mixed delays, Acta Math. Sci., 36 (2016), 1662–1682. https://doi.org/10.1016/s0252-9602(16)30098-4 doi: 10.1016/s0252-9602(16)30098-4
    [32] G. Yang, W. Wan, Weighted pseudo almost periodic solutions for cellular neural networks with multi-proportional delays, Neural Process. Lett., 49 (2019), 1125–1138. https://doi.org/10.1007/s11063-018-9851-3 doi: 10.1007/s11063-018-9851-3
    [33] X. Yu, Q. Wang, Weighted pseudo-almost periodic solutions for shunting inhibitory cellular neural networks on time scales, Bull. Malay. Math. Sci. Soc., 42 (2019), 2055–2074. https://doi.org/10.1007/s40840-017-0595-4 doi: 10.1007/s40840-017-0595-4
    [34] C. Huang, H. Yang, J. Cao, Weighted pseudo almost periodicity of multi-proportional delayed shunting inhibitory cellular neural networks with D operator, Discrete Cont. Dyn. Syst.-Ser. S, 14 (2020), 1259–1272. https://doi.org/10.3934/dcdss.2020372 doi: 10.3934/dcdss.2020372
    [35] M. Ayachi, Existence and exponential stability of weighted pseudo-almost periodic solutions for genetic regulatory networks with time-varying delays, Int. J. Biomath., 14 (2021), 2150006. https://doi.org/10.1142/s1793524521500066 doi: 10.1142/s1793524521500066
    [36] M. M'hamdi, On the weighted pseudo almost-periodic solutions of static DMAM neural network, Neural Process. Lett., 54 (2022), 4443–4464. https://doi.org/10.1007/s11063-022-10817-6 doi: 10.1007/s11063-022-10817-6
    [37] A. Fink, Almost periodic differential equations, Berlin: Springer, 1974. https://doi.org/10.1007/BFb0070324
  • Reader Comments
  • © 2023 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(1399) PDF downloads(57) Cited by(5)

Figures and Tables

Figures(4)  /  Tables(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog