Research article Special Issues

Mathematical modeling approach to predict COVID-19 infected people in Sri Lanka

  • The novel corona virus (COVID-19) has badly affected many countries (more than 180 countries including China) in the world. More than 90% of the global COVID-19 cases are currently outside China. The large, unanticipated number of COVID-19 cases has interrupted the healthcare system in many countries and created shortages for bed space in hospitals. Consequently, better estimation of COVID-19 infected people in Sri Lanka is vital for government to take suitable action. This paper investigates predictions on both the number of the first and the second waves of COVID-19 cases in Sri Lanka. First, to estimate the number of first wave of future COVID-19 cases, we develop a stochastic forecasting model and present a solution technique for the model. Then, another solution method is proposed to the two existing models (SIR model and Logistic growth model) for the prediction on the second wave of COVID-19 cases. Finally, the proposed model and solution approaches are validated by secondary data obtained from the Epidemiology Unit, Ministry of Health, Sri Lanka. A comparative assessment on actual values of COVID-19 cases shows promising performance of our developed stochastic model and proposed solution techniques. So, our new finding would definitely be benefited to practitioners, academics and decision makers, especially the government of Sri Lanka that deals with such type of decision making.

    Citation: I. H. K. Premarathna, H. M. Srivastava, Z. A. M. S. Juman, Ali AlArjani, Md Sharif Uddin, Shib Sankar Sana. Mathematical modeling approach to predict COVID-19 infected people in Sri Lanka[J]. AIMS Mathematics, 2022, 7(3): 4672-4699. doi: 10.3934/math.2022260

    Related Papers:

    [1] Weili Kong, Yuanfu Shao . The effects of fear and delay on a predator-prey model with Crowley-Martin functional response and stage structure for predator. AIMS Mathematics, 2023, 8(12): 29260-29289. doi: 10.3934/math.20231498
    [2] Ting Gao, Xinyou Meng . Stability and Hopf bifurcation of a delayed diffusive phytoplankton-zooplankton-fish model with refuge and two functional responses. AIMS Mathematics, 2023, 8(4): 8867-8901. doi: 10.3934/math.2023445
    [3] 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
    [4] Weijie Lu, Yonghui Xia . Periodic solution of a stage-structured predator-prey model with Crowley-Martin type functional response. AIMS Mathematics, 2022, 7(5): 8162-8175. doi: 10.3934/math.2022454
    [5] Jorge Luis Ramos-Castellano, Miguel Angel Dela-Rosa, Iván Loreto-Hernández . Bifurcation analysis for the coexistence in a Gause-type four-species food web model with general functional responses. AIMS Mathematics, 2024, 9(11): 30263-30297. doi: 10.3934/math.20241461
    [6] Reshma K P, Ankit Kumar . Stability and bifurcation in a predator-prey system with effect of fear and additional food. AIMS Mathematics, 2024, 9(2): 4211-4240. doi: 10.3934/math.2024208
    [7] Yaping Wang, Yuanfu Shao, Chuanfu Chai . Dynamics of a predator-prey model with fear effects and gestation delays. AIMS Mathematics, 2023, 8(3): 7535-7559. doi: 10.3934/math.2023378
    [8] Yingyan Zhao, Changjin Xu, Yiya Xu, Jinting Lin, Yicheng Pang, Zixin Liu, Jianwei Shen . Mathematical exploration on control of bifurcation for a 3D predator-prey model with delay. AIMS Mathematics, 2024, 9(11): 29883-29915. doi: 10.3934/math.20241445
    [9] Qinghui Liu, Xin Zhang . Chaos detection in predator-prey dynamics with delayed interactions and Ivlev-type functional response. AIMS Mathematics, 2024, 9(9): 24555-24575. doi: 10.3934/math.20241196
    [10] Ruizhi Yang, Dan Jin, Wenlong Wang . A diffusive predator-prey model with generalist predator and time delay. AIMS Mathematics, 2022, 7(3): 4574-4591. doi: 10.3934/math.2022255
  • The novel corona virus (COVID-19) has badly affected many countries (more than 180 countries including China) in the world. More than 90% of the global COVID-19 cases are currently outside China. The large, unanticipated number of COVID-19 cases has interrupted the healthcare system in many countries and created shortages for bed space in hospitals. Consequently, better estimation of COVID-19 infected people in Sri Lanka is vital for government to take suitable action. This paper investigates predictions on both the number of the first and the second waves of COVID-19 cases in Sri Lanka. First, to estimate the number of first wave of future COVID-19 cases, we develop a stochastic forecasting model and present a solution technique for the model. Then, another solution method is proposed to the two existing models (SIR model and Logistic growth model) for the prediction on the second wave of COVID-19 cases. Finally, the proposed model and solution approaches are validated by secondary data obtained from the Epidemiology Unit, Ministry of Health, Sri Lanka. A comparative assessment on actual values of COVID-19 cases shows promising performance of our developed stochastic model and proposed solution techniques. So, our new finding would definitely be benefited to practitioners, academics and decision makers, especially the government of Sri Lanka that deals with such type of decision making.



    Henkin and Skolem introduced Hilbert algebras in the fifties for investigations in intuitionistic and other non-classical logics. Diego [5] proved that Hilbert algebras form a variety which is locally finite. Bandaru et al. introduced the notion of GE-algebras which is a generalization of Hilbert algebras, and investigated several properties (see [1,2,3,8,9]). The notion of interior operator is introduced by Vorster [13] in an arbitrary category, and it is used in [4] to study the notions of connectedness and disconnectedness in topology. Interior algebras are a certain type of algebraic structure that encodes the idea of the topological interior of a set, and are a generalization of topological spaces defined by means of topological interior operators. Rachůnek and Svoboda [7] studied interior operators on bounded residuated lattices, and Svrcek [12] studied multiplicative interior operators on GMV-algebras. Lee et al. [6] applied the interior operator theory to GE-algebras, and they introduced the concepts of (commutative, transitive, left exchangeable, belligerent, antisymmetric) interior GE-algebras and bordered interior GE-algebras, and investigated their relations and properties. Later, Song et al. [10,11] introduced the notions of an interior GE-filter, a weak interior GE-filter, a belligerent interior GE-filter, prominent interior GE-filter and investigate their relations and properties. They provided relations between a belligerent interior GE-filter and an interior GE-filter and conditions for an interior GE-filter to be a belligerent interior GE-filter is considered. Also, they provided relations between a prominent interior GE-filter and an interior GE-filter and conditions for an interior GE-filter to be a prominent interior GE-filter is considered. Given a subset and an element, they established an interior GE-filter, and they considered conditions for a subset to be a belligerent interior GE-filter. They studied the extensibility of the belligerent interior GE-filter and established relationships between weak interior GE-filter and belligerent interior GE-filter of type 1–type 3. Also, they introduced the concept of a prominent interior GE-filter of type 1 and type 2, and investigate their properties. They studied the relationship between a prominent interior GE-filter and a prominent interior GE-filter of type 1.

    In this manuscript, we introduce the concept of an imploring interior GE-filter, and investigate their properties. We discuss the relationship between an interior GE-filter and an imploring interior GE-filter. We provide conditions for an interior GE-filter to be an imploring interior GE-filter and give examples to show that an imploring interior GE-filter is independent to a belligerent interior GE-filter. We provide conditions for an imploring interior GE-filter to be a belligerent interior GE-filter. We discuss the relationship between imploring interior GE-filter and prominent interior GE-filter and give example to show that any imploring interior GE-filter is not a prominent interior GE-filter. We provide conditions for an imploring interior GE-filter to be a prominent interior GE-filter. Also, we consider conditions under which an interior GE-filter larger than a given interior GE-filter to become an imploring interior GE-filter.

    Definition 2.1 ([1]). By a GE-algebra we mean a non-empty set X with a constant 1 and a binary operation satisfying the following axioms:

    (GE1) ˜x˜x=1,

    (GE2) 1˜x=˜x,

    (GE3) ˜x(˜y˜z)=˜x(˜y(˜x˜z)),

    for all ˜x,˜y,˜zX.

    In a GE-algebra X, a binary relation "" is defined by

    (˜x,˜yX)(˜x˜y˜x˜y=1). (2.1)

    Definition 2.2 ([1,2]). A GE-algebra X is said to be

    transitive if it satisfies:

    (˜x,˜y,˜zX)(˜x˜y(˜z˜x)(˜z˜y)); (2.2)

    belligerent if it satisfies:

    (˜x,˜y,˜zX)(˜x(˜y˜z)=(˜x˜y)(˜x˜z)). (2.3)

    Proposition 2.3 ([1]). Every GE-algebra X satisfies the following items.

    (˜xX)(˜x1=1). (2.4)
    (˜x,˜yX)(˜x(˜x˜y)=˜x˜y). (2.5)
    (˜x,˜yX)(˜x˜y˜x). (2.6)
    (˜x,˜y,˜zX)(˜x(˜y˜z)˜y(˜x˜z)). (2.7)
    (˜xX)(1˜x˜x=1). (2.8)
    (˜x,˜yX)(˜x(˜y˜x)˜x). (2.9)
    (˜x,˜yX)(˜x(˜x˜y)˜y). (2.10)
    (˜x,˜y,˜zX)(˜x˜y˜z˜y˜x˜z). (2.11)

    If X is transitive, then

    (˜x,˜y,˜zX)(˜x˜y˜z˜x˜z˜y,˜y˜z˜x˜z). (2.12)
    (˜x,˜y,˜zX)(˜x˜y(˜y˜z)(˜x˜z)). (2.13)
    (˜x,˜y,˜zX)(˜x˜y,˜y˜z˜x˜z). (2.14)

    Lemma 2.4 ([1]). A GE-algebra X is transitive if and only if X satisfies the condition (2.13).

    Definition 2.5 ([1]). A subset F of a GE-algebra X is called a GE-filter of X if it satisfies:

    1F, (2.15)
    (˜x,˜yX)(˜x˜yF,˜xF˜yF). (2.16)

    Lemma 2.6 ([1]). In a GE-algebra X, every GE-filter F of X satisfies:

    (˜x,˜yX)(˜x˜y,˜xF˜yF). (2.17)

    Definition 2.7 ([2,8,9]). A subset F of a GE-algebra X containing the constant 1 is called:

    A belligerent GE-filter of X if it satisfies

    (˜x,˜y,˜zX)(˜x(˜y˜z)F,˜x˜yF˜x˜zF). (2.18)

    A prominent GE-filter of X if it satisfies

    (˜x,˜y,˜zX)(˜x(˜y˜z)F,˜xF((˜z˜y)˜y)˜zF). (2.19)

    An imploring GE-filter of X if it satisfies

    (˜x,˜y,˜zX)(˜x((˜y˜z)˜y)F,˜xF˜yF). (2.20)

    Lemma 2.8 ([8]). Let F be a GE-filter of a GE-algebra X. Then F is a prominent GE-filter of X if and only if it satisfies:

    (˜x,˜yX)(˜x˜yF((˜y˜x)˜x)˜yF). (2.21)

    Definition 2.9 ([6]). By an interior GE-algebra we mean a pair (X,ξ) in which X is a GE-algebra and ξ:XX is a mapping such that

    (˜xX)(˜xξ(˜x)), (2.22)
    (˜xX)((ξξ)(˜x)=ξ(˜x)), (2.23)
    (˜x,˜yX)(˜x˜yξ(˜x)ξ(˜y)). (2.24)

    Definition 2.10 ([6]). An interior GE-algebra (X,ξ) is said to be

    transitive if it satisfies:

    (˜x,˜y,˜zX)(ξ(˜x˜y)ξ((˜z˜x)(˜z˜y))); (2.25)

    belligerent if it satisfies:

    (˜x,˜y,˜zX)(ξ(˜x(˜y˜z))=ξ((˜x˜y)(˜x˜z))). (2.26)

    Definition 2.11 ([11]). Let (X,ξ) be an interior GE-algebra. A GE-filter F of X is said to be interior if it satisfies:

    (˜xX)(ξ(˜x)F˜xF). (2.27)

    Definition 2.12 ([11]). Let (X,ξ) be an interior GE-algebra. Then a subset F of X is called a belligerent interior GE-filter in (X,ξ) if F is a belligerent GE-filter of X which satisfies the condition (2.27).

    Definition 2.13 ([10]). Let (X,ξ) be an interior GE-algebra. Then a subset F of X is called a prominent interior GE-filter in (X,ξ) if F is a prominent GE-filter of X which satisfies the condition (2.27).

    Definition 3.1. An interior GE-algebra (X,ξ) is said to be pre-transitive (resp., pre-belligerent, if X itself is transitive (resp., belligerent).

    It is clear that every pre-transitive (resp., pre-belligerent) interior GE-algebra is a transitive (resp., belligerent) interior GE-algebra, but the converse is not true (see [6]).

    In what follows, let (X,ξ) denote an interior GE-algebra unless otherwise specified.

    Definition 3.2. A subset F of X in (X,ξ) is called an imploring interior GE-filter in (X,ξ) if F contains the constant "1" and satisfies (2.20) and (2.27).

    Example 3.3. Consider a set X={1,a,b,c,d} with the binary operation given as follows:

    1abcd11abcda111ccb111ddc1aa11d1aa11

    If we define a mapping ξ on X as follows:

    ξ:XX,x{1if ˜x=1,aif ˜x{a,b},cif ˜x{c,d},

    then (X,ξ) is an interior GE-algebra and F:={1,a,b} is an imploring interior GE-filter in in (X,ξ).

    We first discuss the relationship between interior GE-filter and imploring interior GE-filter.

    Theorem 3.4. Every imploring interior GE-filter is an interior GE-filter.

    Proof. Let F be an imploring interior GE-filter in (X,ξ). Then 1F and (2.27) is clearly true. Let x,yX be such that xyF and xF. The combination of (GE1) and (GE2) leads to

    x((yy)y)=xyF.

    It follows from (2.20) that yF. Hence F is an interior GE-filter in (X,ξ).

    The following example shows that the converse of Theorem 3.4 is not true.

    Example 3.5. Let X={1,a,b,c,d} and consider a binary operation and a mapping ξ on X given as follows:

    1abcd11abcda111cdb111cdc1aa1dd1bb11

    and

    ξ:XX,x{1if ˜x=1,aif ˜x{a,b},cif ˜x{c,d}.

    Then (X,ξ) is an interior GE-algebra and the set F:={1,a,b} is an interior GE-filter in (X,ξ). But it is not imploring interior GE-filter in (X,ξ) since

    1((cd)c)=1(dc)=11=1F

    and 1F but cF.

    We find and present the conditions under which interior GE-filter becomes imploring interior GE-filter.

    Theorem 3.6. Given an interior GE-filter F in (X,ξ), the following arguments are equivalent.

    (i) F is an imploring interior GE-filter in (X,ξ). (ii) F satisfies:

    (x,yX)(ξ((xy)x)FxF). (3.1)

    Proof. Assume that F is an imploring interior GE-filter in (X,ξ) and let x,yX be such that ξ((xy)x)F. Then

    1((xy)x)=(xy)xF

    by (GE2) and (2.27). It follows from (2.20) that xF.

    Conversely, let F be an interior GE-filter in (X,ξ) which satisfies the condition (3.1). It is clear that F contains the constant 1 and satisfies the condition (2.27). Let x,y,zX be such that x((yz)y)F and xF. Then (yz)yF by (2.16), and so (yz)yξ((yz)y) by (2.22). Hence ξ((yz)y)F since F is a GE-filter of X. Thus yF by (2.27). Therefore F is an imploring interior GE-filter in (X,ξ).

    Given a subset F of X in (X,ξ), consider the following argument.

    (x,yX)(ξ((xy)y)F(yx)xF). (3.2)

    The following example shows that (imploring) interior GE-filter F in (X,ξ) does not satisfy the argument (3.2).

    Example 3.7. (1) If we consider the interior GE-algebra (X,ξ) in Example 3.5, then the set F:={1,a,b} is an interior GE-filter in (X,ξ). But it does not satisfy the argument (3.2) since ξ((cd)d)=ξ(dd)=ξ(1)=1F but (dc)c=1c=cF.

    (2) Let X={1,a,b,c,d,e} and define binary operation as follows:

    1abcde11abcdea111cddb111cddc1aa1eed1aa111e1aac11

    If we define a mapping ξ on X as follows:

    ξ:XX,x{1if ˜x=1,aif ˜x{a,b},cif ˜x=c,dif ˜x{d,e},

    then (X,ξ) is an interior GE-algebra and the set F:={1,a,b} is an imploring interior GE-filter in (X,ξ). But it does not satisfy the argument (3.2) since ξ((cd)d)=ξ(ed)=ξ(1)=1F but (dc)c=1c=cF.

    We explore conditions under which imploring interior GE-filter can satisfy the argument (3.2).

    Proposition 3.8. If (X,ξ) is a pre-transitive interior GE-algebra, then every imploring interior GE-filter F satisfies the argument (3.2).

    Proof. Let F be an imploring interior GE-filter in a pre-transitive interior GE-algebra (X,ξ). Then F is an interior GE-filter in (X,ξ) by Theorem 3.4. Let x,yX be such that ξ((xy)y)F. Then (xy)yF by (2.27). Since x(yx)x by (2.9), it follows from (2.12) that ((yx)x)yxy. Hence

    (xy)y(yx)((xy)x)(xy)((yx)x)(((yx)x)y)((yx)x)

    by (2.7), (2.12) and (2.13). Using (GE2) and Lemma 2.6 derive

    1((((yx)x)y)((yx)x))=(((yx)x)y)((yx)x)F,

    which implies from (2.20) that (yx)xF.

    Corollary 3.9. If (X,ξ) is a pre-belligerent interior GE-algebra, then every imploring interior GE-filter F satisfies the argument (3.2).

    Question. If (X,ξ) is a pre-transitive interior GE-algebra, then

    1. is any interior GE-filter an imploring interior GE-filter?

    2. does any interior GE-filter F satisfy the argument (3.2)?

    The following example provides a negative answer to the above Question.

    Example 3.10. Let X={1,a,b,c,d} and define binary operation as follows:

    1abcd11abcda111cdb111cdc1aa1dd1ab11

    If we define a mapping ξ on X as follows:

    ξ:XX,x{1if x=1,aif x{a,b},cif x{c,d},

    then (X,ξ) is a pre-transitive interior GE-algebra. It is routine to verify that the set F:={1,a,b} is an interior GE-filter in (X,ξ). But it is not an imploring interior GE-filter in (X,ξ) since 1((cd)c)=1(dc)=11=1F and 1F but cF. Also, it does not satisfy (3.2) since ξ((cd)d)=ξ(dd)=ξ(1)=1F but (dc)c=1c=cF.

    We consider conditions for an interior GE-filter to be an imploring interior GE-filter.

    Theorem 3.11. Let F be an interior GE-filter in a pre-transitive interior GE-algebra (X,ξ). If F satisfies the argument (3.2), then it is an imploring interior GE-filter in (X,ξ).

    Proof. Assume that F is an interior GE-filter in a pre-transitive interior GE-algebra (X,ξ) which satisfies the argument (3.2). Let x,yX be such that ξ((xy)x)F. Since the combination of (2.5), (2.10) and (2.12) induces

    (xy)x(xy)((xy)y)=(xy)y,

    we get ξ((xy)y)F by (2.24) and Lemma 2.6. Hence (yx)xF by (3.2). Combining (2.6) and (2.12), we get (xy)xyx, and so ξ((xy)x)ξ(yx) by (2.24). Since ξ((xy)x)F, we obtain ξ(yx)F by Lemma 2.6. If follows from (2.27) that yxF. Since (yx)xF, we have xF by (2.16). Therefore F is an imploring interior GE-filter in (X,ξ) by Theorem 3.6.

    Corollary 3.12. Let F be an interior GE-filter in a pre-belligerent interior GE-algebra (X,ξ). If F satisfies the the argument (3.2), then it is an imploring interior GE-filter in (X,ξ).

    In the following example, we can confirm that an imploring interior GE-filter is independent to a belligerent interior GE-filter.

    Example 3.13. (1) Let X={1,a,b,c,d,e} and define binary operation as follows:

    1abcde11abcdea111cddb111cddc1aa1ddd1aac11e1aa111

    If we define a mapping ξ on X as follows:

    ξ:XX,x{1if x=1,aif x{a,b},cif x=c,dif x=d,eif x=e,

    then (X,ξ) is an interior GE-algebra which is not pre-transitive since

    (ec)((ae)(ac))=1(dc)=1c=c1.

    We can observe that the set F:={1,a,b} is an imploring interior GE-filter in (X,ξ). But F can not be a belligerent interior GE-filter in (X,ξ) because d(ec)=d1=1F and de=1F but dc=cF.

    (2) Let X={1,a,b,c,d} and define binary operation as follows:

    1abcd11abcda111cdb111cdc1ab1dd11b11

    If we define a mapping ξ on X as follows:

    ξ:XX,x{1if x=1,aif x{a,b},cif x=c,dif x=d,

    then (X,ξ) is an interior GE-algebra which is not pre-transitive since

    (ab)((da)(db))=1(1b)=1b=b1.

    Let F={1,a,b}. Then we can observe that F is a belligerent interior GE-filter in (X,ξ). But F is not imploring interior GE-filter in (X,ξ) since 1((cd)c)=1(dc)=11=1F and 1F but cF.

    We explore the conditions under which imploring interior GE-filter becomes belligerent interior GE-filter.

    Lemma 3.14. Let (X,ξ) be a pre-transitive interior GE-algebra. Then every interior GE-filter is a belligerent interior GE-filter.

    Proof. Let F be an interior GE-filter in (X,ξ). Clearly the argument (2.27) is valid and F contains the constant 1. Let x,y,zX be such that x(yz)F and xyF. By (2.7), (2.12) and (2.5), we have

    x(yz)y(xz)(xy)(x(xz))=(xy)(xz).

    Since F is a GE-filter of X and x(yz)F, we get (xy)(xz)F. Hence xzF by Lemma 2.6. Therefore F is a belligerent interior GE-filter in (X,ξ).

    Corollary 3.15. In a pre-transitive interior GE-algebra, every imploring interior GE-filter is a belligerent interior GE-filter.

    Corollary 3.16. In a pre-belligerent interior GE-algebra, every imploring interior GE-filter is a belligerent interior GE-filter.

    The following example shows that the converse of Corollary 3.15 and Corollary 3.16 is not true in general.

    Example 3.17. (1) Consider the pre-transitive interior GE-algebra (X,ξ) which is described in Example 3.10. As

    d(cb)=da=ab=1b=(dc)(db),

    it is not pre-belligerent. Then we can observe that F:={1,a,b} is a belligerent interior GE-filter in (X,ξ). But F is not imploring interior GE-filter in (X,ξ) since 1((cd)c)=1(dc)=11=1F and 1F but cF.

    (2) Let X={1,a,b,c,d} and define binary operation as follows:

    1abcd11abcda111cdb111cdc1aa1dd1aa11

    If we define a mapping ξ on X as follows:

    ξ:XX,x{1if x=1,aif x{a,b},cif x{c,d},

    then (X,ξ) is a pre-belligerent interior GE-algebra. Let F={1,a,b}. Then we can observe that F is a belligerent interior GE-filter in (X,ξ). But F is not imploring interior GE-filter in (X,ξ) since 1((cd)c)=1(dc)=11=1F and 1F but cF.

    We establish a relationship between imploring interior GE-filter and prominent interior GE-filter.

    Theorem 3.18. In a GE-algebra, every prominent interior GE-filter is an imploring interior GE-filter.

    Proof. Let F be a prominent interior GE-filter in (X,ξ). Then it is an interior GE-filter in (X,ξ) (see Theorem 3.4 in [10]), and so 1F and F satisfies (2.27). Let x,y,zX be such that x((yz)y)F and xF. Since F is a GE-filter of X, we have (yz)yF. Since F is a prominent GE-filter of X, it follows from (GE1), (GE2), (2.5) and Lemma 2.8 that

    y=1y=((yz)(yz))y=(((y(yz))(yz))yF.

    Therefore F is an imploring interior GE-filter in (X,ξ).

    The converse of Theorem 3.18 is not true as seen in the following example.

    Example 3.19. Consider the interior GE-algebra (X,ξ) in Example 3.7(2). It is not pre-transitive because

    (dc)((ed)(ec))=1(1c)=1c=c1.

    Let F:={1,a,b}. Then we can observe that F is an imploring interior GE-filter in (X,ξ). But F is not a prominent interior GE-filter in (X,ξ) since 1(dc)=11=1F and 1F but ((cd)d)c=(ed)c=1c=cF.

    The combination of Theorem 3.18 and Corollary 3.15 induces the next corollary.

    Corollary 3.20. In a pre-transitive GE-algebra, every prominent interior GE-filter is a belligerent interior GE-filter.

    Consider the pre-transitive interior GE-algebra (X,ξ) which is described in Example 3.10. As

    d(cb)=da=ab=1b=(dc)(db),

    it is not pre-belligerent. Then we can observe that F:={1,a,b} is a belligerent interior GE-filter in (X,ξ). But F is not a prominent interior GE-filter in (X,ξ) since 1(dc)=11=1F and 1F but ((cd)d)c=(dd)c=1c=cF. Hence we know that the converse of Corollary 3.20 is not true in general.

    We can strengthen the conditions of interior GE-algebra so that imploring interior GE-filter becomes prominent interior GE-filter.

    Theorem 3.21. If (X,ξ) is a pre-transitive interior GE-algebra, then every imploring interior GE-filter is a prominent interior GE-filter.

    Proof. Let F be an imploring interior GE-filter in a pre-transitive interior GE-algebra (X,ξ). Then F satisfies (2.27) and it is an interior GE-filter in (X,ξ) (see Theorem 3.4), and so F is a GE-filter of X. Let x,yX be such that xyF. Note that y((yx)x)y by (2.6), and thus (((yx)x)y)xyx by (2.12). It follows from (2.2), (2.7) and (2.12) that

    xy((yx)x)((yx)y)(yx)(((yx)x)y)((((yx)x)y)x)(((yx)x)y).

    Hence ((((yx)x)y)x)(((yx)x)y)F by Lemma 2.6, and so

    1(((((yx)x)y)x)(((yx)x)y))=((((yx)x)y)x)(((yx)x)y)F

    by (GE2). Since 1F, we have ((yx)x)yF by (2.20). This shows that F is a prominent GE-filter of X by Lemma 2.8, and therefore F is a prominent interior GE-filter in (X,ξ).

    Corollary 3.22. If (X,ξ) is a pre-belligerent interior GE-algebra, then every imploring interior GE-filter is a prominent interior GE-filter.

    The following example shows that prominent interior GE-filter and belligerent interior GE-filter are independent of each other.

    Example 3.23. (1) Let X={1,a,b,c,d,e} and define binary operation as follows:

    1abcde11abcdea111cdeb111cdec1aa1d1d1aac11e1aa111

    If we define a mapping ξ on X as follows:

    ξ:XX,x{1if x=1,aif x{a,b},cif x=c,dif x=d,eif x=e,

    then (X,ξ) is an interior GE-algebra. We can observe that the set F:={1,a,b} is a prominent interior GE-filter in (X,ξ). But it is not a belligerent interior GE-filter in (X,ξ) because of d(ec)=d1=1F and de=1F but dc=cF.

    (2) In Example 3.13(2), we can observe that F:={1,a,b} is a belligerent interior GE-filter in (X,ξ). But it is not a prominent interior GE-filter in (X,ξ) since 1(dc)=11=1F and 1F but ((cd)d)c=(dd)c=1c=cF.

    We build the extension property of imploring interior GE-filter.

    Lemma 3.24. In a pre-transitive interior GE-algebra (X,ξ), every interior GE-filter F satisfies:

    (x,y,zX)(ξ(x(yz))F(xy)(xz)F). (3.3)

    Proof. Let x,y,zX be such that ξ(x(yz))F. Since

    x(yz)x((xy)(xz))x(x((xy)z))=x((xy)z)(xy)(xz),

    we get ξ(x(yz))ξ((xy)(xz)) by (2.24). It follows from Lemma 2.6 and (2.27) that (xy)(xz)F.

    Theorem 3.25. Let F and G be interior GE-filters in a pre-transitive interior GE-algebra (X,ξ). If F is contained in G and F is an imploring interior GE-filter in (X,ξ), then G is also an imploring interior GE-filter in (X,ξ).

    Proof. Assume that FG and F is an imploring interior GE-filter in (X,ξ). Let x,yX be such that ξ((xy)y)G. Then (xy)yG by (2.27). Since ξ(((xy)y)((xy)y))=ξ(1)=1F, It follows from Lemma 3.24 that (((xy)y)(xy))(((xy)y)y)F. Using (2.7) and (2.12), we have

    (((xy)y)(xy))(((xy)y)y)(x(((xy)y)y))(((xy)y)y).

    Hence (x(((xy)y)y))(((xy)y)y)F by Lemma 2.6, and so

    ξ((x(((xy)y)y))(((xy)y)y))F

    by (2.22) and Lemma 2.6. Since F is an imploring interior GE-filter in (X,ξ), we have

    ((((xy)y)y)x)xFG

    by Proposition 3.8. Note that

    (xy)y(((xy)y)y)y(yx)((((xy)y)y)x)(((((xy)y)y)x)x)((yx)x).

    It follows from Lemma 2.6 that

    (((((xy)y)y)x)x)((yx)x)G.

    Thus (yx)xG, and consequently G is an imploring interior GE-filter in (X,ξ) by Theorem 3.11.

    Corollary 3.26. Let F and G be interior GE-filters in a pre-belligerent interior GE-algebra (X,ξ). If F is contained in G and F is an imploring interior GE-filter in (X,ξ), then G is also an imploring interior GE-filter in (X,ξ).

    We have introduced the concept of an imploring interior GE-filter and investigated their properties. We have discussed the relationship between an interior GE-filter and an imploring interior GE-filter. We have given an example to show that any interior GE-filter is not an imploring interior GE-filter. We have given conditions for an interior GE-filter to be an imploring interior GE-filter. We have provided examples to show that an imploring interior GE-filter is independent to a belligerent interior GE-filter. Conditions for an imploring interior GE-filter to be a belligerent interior GE-filter are given. We have discussed the relationship between imploring interior GE-filter and prominent interior GE-filter. We have provided an example to show that any imploring interior GE-filter is not a prominent interior GE-filter. Conditions for an imploring interior GE-filter to be a prominent interior GE-filter are given. Also, we have considered the conditions under which an interior GE-filter larger than a given interior GE-filter can become an imploring interior GE-filter. In future, we will study the prime and maximal imploring interior GE-filters and their topological properties. Moreover, based on the ideas and results obtained in this paper, we will study the interior operator theory in related algebraic systems such as MV-algebra, BL-algebra, EQ-algebra, etc. It will also be used for pseudo algebra systems and further to conduct research related to the very true operator theory.

    The authors wish to thank the anonymous reviewers for their valuable suggestions.

    All authors declare no conflicts of interest in this paper.



    [1] E. Allen, Modeling with Itô stochastic differential equations, Springer Science & Business Media, 2007. https://doi.org/10.1007/978-1-4020-5953-7
    [2] F. A. Rihan, Q. M. Al-Mdallal, H. J. Al-Sakaji, A. Hashish, A fractional-order epidemic model with time-delay and nonlinear incidence rate, Chaos Soliton. Fract., 126 (2019), 97–105. https://doi.org/10.1016/j.chaos.2019.05.039 doi: 10.1016/j.chaos.2019.05.039
    [3] N. Sharma, A. K. Verma, A. K. Gupta, Spatial network based model forecasting transmission and control of COVID-19, Physica A, 581 (2021), 126223. https://doi.org/10.1016/j.physa.2021.126223 doi: 10.1016/j.physa.2021.126223
    [4] J. Guan, Y. Wei, Y. Zhao, F. Chen, Modeling the transmission dynamics of COVID-19 epidemic: a systematic review, The Journal of Biomedical Research, 34 (2020), 422–430. https://doi.org/10.7555/JBR.34.20200119 doi: 10.7555/JBR.34.20200119
    [5] R. U. Din, A. R. Seadawy, K. Shah, A. Ullah, D. Baleanu, Study of global dynamics of COVID-19 via a new mathematical model, Results Phys., 19 (2020), 103468. https://doi.org/10.1016/j.rinp.2020.103468 doi: 10.1016/j.rinp.2020.103468
    [6] I. F. Mello, L. Squillante, G. O. Gomes, A. C.Seridonio, M. de Souza, Epidemics, the Ising-model and percolation theory: a comprehensive review focused on Covid-19, Physica A, 573 (2021) 125963. https://doi.org/10.1016/j.physa.2021.125963 doi: 10.1016/j.physa.2021.125963
    [7] H. A. Adekola, I. A. Adekunle, H. O. Egberongbe, S. A. Onitilo, I. N. Abdullahi, Mathematical modeling for infectious viral disease: The COVID‐19 perspective, J. Public Aff., 20 (2020), 2306. https://doi.org/10.1002/pa.2306 doi: 10.1002/pa.2306
    [8] A. M. Hajji, Q. Al-Mdallal, Numerical simulations of a delay model for immune system-tumor interaction, Sultan Qaboos University Journal for Science, 23 (2018), 19–31. https://doi.org/10.24200/squjs.vol23iss1pp19-31 doi: 10.24200/squjs.vol23iss1pp19-31
    [9] A. J. Kucharski, T. W. Russell, C. Diamond, Y. Liu, J. Edmunds, S. Funk, et al., Early dynamics of transmission and control of COVID-19: a mathematical modeling study, The Lancet Infectious Diseases, 20 (2020), 553–558. https://doi.org/10.1016/S1473-3099(20)30144-4 doi: 10.1016/S1473-3099(20)30144-4
    [10] E. Allen, Stochastic differential equation models for the wear of coins in circulation, Tribol. Lett., 64 (2016), 45. https://doi.org/10.1007/s11249-016-0780-x doi: 10.1007/s11249-016-0780-x
    [11] L. J. S. Allen, A primer on stochastic epidemic models: formulation, numerical simulation, and analysis, Infectious Disease Modelling, 2 (2017), 128–142. https://doi.org/10.1016/j.idm.2017.03.001 doi: 10.1016/j.idm.2017.03.001
    [12] E. Allen, Environmental variability and mean reverting processes, Discrete Cont. Dyn. Syst. B, 21 (2016), 2073–2089. https://doi.org/10.3934/dcdsb.2016037 doi: 10.3934/dcdsb.2016037
    [13] Q. Li, X. Guan, P. Wu, X. Wang, L. Zhou, Y. Tong, et al., Early transmission dynamics in Wuhan, China, of novel coronavirus–infected pneumonia, N. Engl. J. Med., 382 (2020), 1199–1207. https://doi.org/10.1056/NEJMoa2001316 doi: 10.1056/NEJMoa2001316
    [14] C. Huang, Y. Wang, X. Li, L. Ren, J. Zhao, Y. Hu, et al., Clinical features of patients infected with 2019 novel coronavirus in Wuhan, China, The Lancet, 395 (2020), 497–506. https://doi.org/10.1016/S0140-6736(20)30183-5 doi: 10.1016/S0140-6736(20)30183-5
    [15] S. Ahmad, A. Ullah, Q. M. Al-Mdallal, H. Khan, K. Shah, A. Khan, Fractional order mathematical modeling of COVID-19 transmission, Chaos Soliton. Fract., 139 (2020), 110256. https://doi.org/10.1016/j.chaos.2020.110256 doi: 10.1016/j.chaos.2020.110256
    [16] B. Bukiet, M. Ovens, A mathematical modeling approach to one-day cricket batting orders, J. Sports Sci. Med., 5 (2006), 495–502.
    [17] F. B. Agusto, S. Bewick, W, F. Fagan, Mathematical model of Zika virus with vertical transmission, Infectious Disease Modelling, 2 (2017), 244–267. https://doi.org/10.1016/j.idm.2017.05.003 doi: 10.1016/j.idm.2017.05.003
    [18] A. E. E. Eltoukhy, I. A. Shaban, F. T. S. Chan, M. A. M. Abdel-Aal, Data analytics for predicting COVID-19 cases in top affected countries: observations and recommendations, Int. J. Environ. Res. Public Health, 17 (2020), 7080. https://doi.org/10.3390/ijerph17197080 doi: 10.3390/ijerph17197080
    [19] D. Xu, Modeling of network based digital contact tracing and testing strategies, including the pre-exposure notification system, for the COVID-19 pandemic, Math. Biosci., 338 (2021), 108645. https://doi.org/10.1016/j.mbs.2021.108645 doi: 10.1016/j.mbs.2021.108645
    [20] I. J. Rao, M. L. Brandeau, Optimal allocation of limited vaccine to control an infectious disease: simple analytical conditions, Math. Biosci., 337 (2021), 108621. https://doi.org/10.1016/j.mbs.2021.108621 doi: 10.1016/j.mbs.2021.108621
    [21] S. M. Ciupe, J. M. Heffernan, In-host modeling, Infectious Disease Modelling, 2 (2017), 188–202. https://doi.org/10.1016/j.idm.2017.04.002 doi: 10.1016/j.idm.2017.04.002
    [22] A. Antonietta, J. P. Whiteley, Model reduction for initial value ODEs, Math. Biosci., 337 (2021), 108618. https://doi.org/10.1016/j.mbs.2021.108618 doi: 10.1016/j.mbs.2021.108618
    [23] A. Khan, H. M. Alshehri, T. Abdeljawad, Q. M. Al-Mdallal, H. Khan, Stability analysis of fractional nabla difference covid-19 model, Results Phys., 22 (2021), 103888. https://doi.org/10.1016/j.rinp.2021.103888 doi: 10.1016/j.rinp.2021.103888
    [24] T. N. Sindhu, A. Shafiq, Q. M. Al-Mdallal, On the analysis of number of deaths due to Covid-19 outbreak data using a new class of distributions, Results Phys., 21 (2021), 103747. https://doi.org/10.1016/j.rinp.2020.103747 doi: 10.1016/j.rinp.2020.103747
    [25] L. Vassallo, I. A. Perez, L. G. A. Zuzek, J. Amaya, M. F. Torres, L. D. Valdez, et al., An epidemic model for COVID-19 transmission in Argentina: Exploration of the alternating quarantine and massive testing strategies, Math. Biosci., 2021, 108664. https://doi.org/10.1016/j.mbs.2021.108664 doi: 10.1016/j.mbs.2021.108664
    [26] S. Winkelmanna, J. Zonkerab, C. Schütteab, N. D. Conrada, Mathematical modeling of spatio-temporal population dynamics and application to epidemic spreading, Math. Biosci., 336 (2021), 108619. https://doi.org/10.1016/j.mbs.2021.108619 doi: 10.1016/j.mbs.2021.108619
    [27] T. Y. Lin, A. Yen, S. Chen, Likelihood function for estimating parameters in multistate disease process with Laplace-transformation-based transition probabilities, Math. Biosci., 335 (2021), 108586. https://doi.org/10.1016/j.mbs.2021.108586 doi: 10.1016/j.mbs.2021.108586
    [28] H. Singh, H. M. Srivastava, Z. Hammouch, K. S. Nisar, Numerical simulation and stability analysis for the fractional-order dynamics of COVID-19, Results Phys., 20 (2021), 103722. https://doi.org/10.1016/j.rinp.2020.103722 doi: 10.1016/j.rinp.2020.103722
    [29] H. M. Srivastava, R. Jan, A. Jan, W. Deebani, M. Shutaywi, Fractional-calculus analysis of the transmission dynamics of the dengue infection, Chaos, 31 (2021), 53130. https://doi.org/10.1063/5.0050452 doi: 10.1063/5.0050452
    [30] H. M. Srivastava, I. Area, J. J. Nieto, Power-series solution of compartmental epidemiological models, Math. Biosci. Eng., 18 (2021), 3274–3290. https://doi.org/10.3934/mbe.2021163 doi: 10.3934/mbe.2021163
    [31] B. M. Henry, M. H. S. De Oliveira, S. Benoit, M. Plebani, G. Lippi, Hematologic, biochemical and immune biomarker abnormalities associated with severe illness and mortality in coronavirus disease 2019 (COVID-19): a meta-analysis, Clin. Chem. Lab. Med., 58 (2020), 1021–1028. https://doi.org/10.1515/cclm-2020-0369 doi: 10.1515/cclm-2020-0369
    [32] S. Bhattacharjee, A. Banerjee, A. Rakshit, S. Bhattacharyya, S. Chowdhuri, B. Sarkar, et al., Dynamics of cardiovascular muscle using a non-linear symmetric oscillator, Symmetry, 13 (2021), 151. https://doi.org/10.3390/sym13010151 doi: 10.3390/sym13010151
    [33] Martingale Probability Theory, Wikipedia, The Free Encyclopedia. Available From: https://en.wikipedia.org/wiki/Martingale_(probability_theory).
    [34] Markov Chains, Chapter-8, The University of Auckland, New Zealand. Available From: https://www.stat.auckland.ac.nz/~fewster/325/notes/ch8.pdf.
    [35] T. Sauer, Numerical solution of stochastic differential equations in finance, In: Handbook of computational finance, Berlin, Heidelberg: Springer, 2012,529–550. https://doi.org/10.1007/978-3-642-17254-0_19
    [36] I. I. Gikhman, A. V. Skorokhod, Stochastic differential equations, In: The theory of stochastic processes III, Berlin, Heidelberg: Springer, 2007,113–219. https://doi.org/10.1007/978-3-540-49941-1_2
    [37] A. M. Almeshal, A. I. Almazrouee, M. R. Aleniziand, S. N. Alhajeri, Forecasting the spread of COVID-19 in Kuwait using compartmental and logistic regression models, Appl. Sci., 10 (2020), 3402. https://doi.org/10.3390/app10103402 doi: 10.3390/app10103402
    [38] R. M. Anderson, Discussion: the Kermack-McKendrick epidemic threshold theorem, Bull. Math. Biol., 53 (1991), 3–32. https://doi.org/10.1016/S0092-8240(05)80039-4 doi: 10.1016/S0092-8240(05)80039-4
    [39] R. Singh, R. Adhikari, Age-structured impact of social distancing on the COVID-19 epidemic in India, 2020, arXiv: 2003.12055.
    [40] L. Zhong, L. Mu, J. Li, J. Wang, Z. Yin, D. Liu, Early prediction of the 2019 novel coronavirus outbreak in the mainland china based on simple mathematical model, IEEE Access, 8 (2020), 51761–51769. https://doi.org/10.1109/ACCESS.2020.2979599 doi: 10.1109/ACCESS.2020.2979599
    [41] D. I. Vega, Lockdown, one, two, none, or smart. Modeling containing COVID-19 infection. A conceptual model, Sci. Total Environ., 730 (2020), 138917. https://doi.org/10.1016/j.scitotenv.2020.138917 doi: 10.1016/j.scitotenv.2020.138917
    [42] T. N. Sindhu, A. Shafiq, Q. M. Al-Mdallal, Exponentiated transformation of Gumbel Type-Ⅱ distribution for modeling COVID-19 data, Alex. Eng. J., 60 (2021), 671–689. https://doi.org/10.1016/j.aej.2020.09.060 doi: 10.1016/j.aej.2020.09.060
    [43] Ministry of health, National Epidemiology report—Sri Lanka, cited April 19, 2020. Available from: https://www.epid.gov.lk/web/.
    [44] R. M. K. T. Rathnayaka, J. Wei, D. M. K. N. Seneviratna, Geometric Brownian motion with Ito's lemma approach to evaluate market fluctuations: A case study on Colombo Stock Exchange, In: 2014 International Conference on Behavioral, Economic, and Socio-Cultural Computing, 2014, 1–6. https://doi.org/10.1109/BESC.2014.7059517
    [45] I. Karatzas, S. E. Shreve, Brownian motion, In: Brownian motion and stochastic calculus, New York: Springer, 1998, 47–127. https://doi.org/10.1007/978-1-4612-0949-2_2
  • math-07-03-260-Appendix A.xlsx
  • Reader Comments
  • © 2022 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(4590) PDF downloads(340) Cited by(11)

Figures and Tables

Figures(9)  /  Tables(7)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog