
Methods based on deep learning have shown good advantages in skin lesion recognition. However, the diversity of lesion shapes and the influence of noise disturbances such as hair, bubbles, and markers leads to large intra-class differences and small inter-class similarities, which existing methods have not yet effectively resolved. In addition, most existing methods enhance the performance of skin lesion recognition by improving deep learning models without considering the guidance of medical knowledge of skin lesions. In this paper, we innovatively construct feature associations between different lesions using medical knowledge, and design a medical domain knowledge loss function (MDKLoss) based on these associations. By expanding the gap between samples of various lesion categories, MDKLoss enhances the capacity of deep learning models to differentiate between different lesions and consequently boosts classification performance. Extensive experiments on ISIC2018 and ISIC2019 datasets show that the proposed method achieves a maximum of 91.6% and 87.6% accuracy. Furthermore, compared with existing state-of-the-art loss functions, the proposed method demonstrates its effectiveness, universality, and superiority.
Citation: Li Zhang, Xiangling Xiao, Ju Wen, Huihui Li. MDKLoss: Medicine domain knowledge loss for skin lesion recognition[J]. Mathematical Biosciences and Engineering, 2024, 21(2): 2671-2690. doi: 10.3934/mbe.2024118
[1] | Haoyang Ji, Wenxiu Ma . Phase transition for piecewise linear fibonacci bimodal map. AIMS Mathematics, 2023, 8(4): 8403-8430. doi: 10.3934/math.2023424 |
[2] | Skander Hachicha, Najmeddine Attia . Probabilistic approaches to exploring Binet's type formula for the Tribonacci sequence. AIMS Mathematics, 2025, 10(5): 11957-11975. doi: 10.3934/math.2025540 |
[3] | Waleed Mohamed Abd-Elhameed, Omar Mazen Alqubori . New expressions for certain polynomials combining Fibonacci and Lucas polynomials. AIMS Mathematics, 2025, 10(2): 2930-2957. doi: 10.3934/math.2025136 |
[4] | Ümit Tokeşer, Tuğba Mert, Yakup Dündar . Some properties and Vajda theorems of split dual Fibonacci and split dual Lucas octonions. AIMS Mathematics, 2022, 7(5): 8645-8653. doi: 10.3934/math.2022483 |
[5] | Moussa Benoumhani . Restricted partitions and convex topologies. AIMS Mathematics, 2025, 10(4): 10187-10203. doi: 10.3934/math.2025464 |
[6] | Taja Yaying, S. A. Mohiuddine, Jabr Aljedani . Exploring the q-analogue of Fibonacci sequence spaces associated with c and c0. AIMS Mathematics, 2025, 10(1): 634-653. doi: 10.3934/math.2025028 |
[7] | Man Chen, Huaifeng Chen . On ideal matrices whose entries are the generalized k−Horadam numbers. AIMS Mathematics, 2025, 10(2): 1981-1997. doi: 10.3934/math.2025093 |
[8] | Rajiniganth Pandurangan, Sabri T. M. Thabet, Imed Kedim, Miguel Vivas-Cortez . On the Generalized ¯θ(t)-Fibonacci sequences and its bifurcation analysis. AIMS Mathematics, 2025, 10(1): 972-987. doi: 10.3934/math.2025046 |
[9] | Kritkhajohn Onphaeng, Prapanpong Pongsriiam . Exact divisibility by powers of the integers in the Lucas sequence of the first kind. AIMS Mathematics, 2020, 5(6): 6739-6748. doi: 10.3934/math.2020433 |
[10] | Faik Babadağ, Ali Atasoy . On hyper-dual vectors and angles with Pell, Pell-Lucas numbers. AIMS Mathematics, 2024, 9(11): 30655-30666. doi: 10.3934/math.20241480 |
Methods based on deep learning have shown good advantages in skin lesion recognition. However, the diversity of lesion shapes and the influence of noise disturbances such as hair, bubbles, and markers leads to large intra-class differences and small inter-class similarities, which existing methods have not yet effectively resolved. In addition, most existing methods enhance the performance of skin lesion recognition by improving deep learning models without considering the guidance of medical knowledge of skin lesions. In this paper, we innovatively construct feature associations between different lesions using medical knowledge, and design a medical domain knowledge loss function (MDKLoss) based on these associations. By expanding the gap between samples of various lesion categories, MDKLoss enhances the capacity of deep learning models to differentiate between different lesions and consequently boosts classification performance. Extensive experiments on ISIC2018 and ISIC2019 datasets show that the proposed method achieves a maximum of 91.6% and 87.6% accuracy. Furthermore, compared with existing state-of-the-art loss functions, the proposed method demonstrates its effectiveness, universality, and superiority.
Competition is the fundamental relation of ecological systems in which species of one kind have to fight for limited resources in some particular habitat. These sorts of competitions become severe when the potential biological needs exceed the resources. The predator-prey populations are reasonably the building blocks for dynamic ecosystems. In ecology, among different kinds of relationships between species, the most important relationship is the predator-prey relationship. Mathematical models governed by differential equations are more appropriate for modeling the interaction in which populations are overlapped. Lotka and Volterra first put forward the fundamental predator-prey model in the early twentieth century. This basic model comprises two first-order nonlinear ordinary differential equations. Since then, researchers have presented many models covering several issues regarding the complex natural relationship. Consider
dUdt=α1U−α2UV | (1) |
dVdt=α3UV−α4V | (2) |
where U and V respectively indicate the populations of prey and predator; α1,α2,α3 and α4 are the positive real parameters. Holling introduced the density-dependent response [1], after which several researchers came forward to contribute their valuable research using density-dependent responses. The main concern in the population dynamical models is the stability of fixed points. Many mathematical models have been presented and fixed-point stability has been studied [2]. The stability of the predator-prey model has been brought into the discussion by many researchers [3,4,5]. The other targeted area is the positivity of the solution of the prey-predator relation [6]. During the last few decades, many species have faced extinction due to limited resources, over-exploitation, pollution and predation exercise. Mostly, the extinction of some species occurs due to transgression of the environment or ecological structure. To impede species from extinction, external supporting trends are the refuge and restriction of the population to a specific area [7,8,9]. Considering the issue of extinction, many researchers have formulated models to deal with the problem and discussed the factors in detail. A mathematical model of two prey and one predator was considered by Takeuchi and Adachi [10]. Equilibrium points were investigated, and a mathematical analysis of equilibrium points was performed. Another important issue is bifurcation, which is the critical behavior of fixed points. Bifurcation analysis for interacting predator-prey models has been provided by many investigators [10,11,12,13]. In [14], the authors investigated the influence of nonlocal competition among the species. The study was further enhanced to investigate the effects of such competition on the stability of equilibrium points. Due to the overuse of chemicals for the higher production of crops and other factors, infectious diseases are spreading among the human population and animals. Researchers have published several articles on the problem of population density dynamics. Whenever a disease spreads in an environment, it seriously affects the population dynamics and disturbs the whole ecosystem. A model was presented by Haque [15] to discuss the impact of the diseased predator on the population dynamics of predator and prey. He showed that the absence of prey has a moderately strong impact on the predator population when there exists an infection in the predator. The mathematical model for infected predator and prey, as presented by the author, is as follows:
dUdt=aU(1−UM)−cV1U−cqV2 | (3) |
dFdt=rF(1−FK)+ecV1U+ecqV2U | (4) |
dV1dt=(b−θrFK)F−(d+(1−θ)rFk)V1−βV1V2F+γV2+ecV1U | (5) |
dV2dt=FV2(1−V2K)+βV1V2F−γV2−(d+(1−θ)rFk)V2+ecqV2U | (6) |
Here, P and F=V1+V2 respectively represent the prey and predator populations (susceptible and infected). Fang and Wang discussed the interaction between two species when the predator and prey use common food resources. Moreover, the predator is also consuming the prey species. The model suggested by them is as follows [16]:
dUdt=U(afaU+bV+α1V−m) | (7) |
dVdt=V(bfaU+bV−α1U−n) | (8) |
where U and V respectively represent the population of predator and prey, f is the common resource, a and b are the consumption rates of resources by predator and prey, respectively, and m and n are the natural death rates of predator and prey, respectively. Fang and his co-author discussed the global stability of the above dynamical system with the additional effects of diffusion. A detailed discussion was provided on the effects of diffusion by the authors. They discussed the instability of equilibrium points due to the involvement of diffusion. Moreover, to carry out the stability of the system the Lyapunov method was employed. Inseba et al. studied the nonlinear interaction of multi-species, taking into account diffusion and prey taxis. The authors also investigated the linearized stability of the system [17]. Chen and Yu discussed the multi-species predator-prey diffusive system. They showed the pattern formation of the bifurcating system in which the conversion rate was taken as a bifurcation parameter [18]. Djilali discussed the effect of the prey's social behavior on the diffusive predator-prey system. He also discussed the bifurcation and stability analysis [19]. In [20], Ferreira et al. studied the stability of the cross-diffusive system for the three-species interacting model. The equilibrium points were examined to perform a local stability analysis. Kant and Kumar studied the interacting model of species in which predator and prey are diseased. They showed that, for the basic reproductive number R0>1, the disease spread [21]. Owolabi formulated a numerical scheme to deal with the fractional diffusion system of interacting species. He applied the Caputo fractional operator rather than the first-order time derivative [22]. Song et al. presented a qualitative approach to study the diffusive predator-prey system. They also discussed the system's instability when cross-diffusion was introduced [23]. Zhang et al. discussed the influence of diffusion on predator-prey predators' hyperbolic mortality. The turning instability region was also found by linear stability [24]. Ghosh et al. investigated the stability and performed a bifurcation analysis of Bozykin's prey-predator model. The authors also discussed some properties of the solution, like uniqueness and boundedness [25]. In [26], Owolabi formulated a numerical scheme for the computation of fractional (time) derivatives by using the finite difference and Fourier algorithm. Many researchers have discussed the effects of diseased species on the evolution of population dynamics when prey, predator or both have some infection. The authors have investigated the models by using core characteristics like the existence and positivity of equilibria and local and global stability. Some authors have also discussed the bifurcation parameters in the model. Such studies have been supported by simulating the models via numerical schemes [27,28,29,30,31].
Recent years have seen a rise in the application of fractional differential calculus to solve critical and practical problems. In [32], a prey-predator model with three species is examined within the framework of a fractional operator. Two species, both of which grow logistically, are represented in the model. A competitor is considered to fall behind the third group due to their Holling type II functional response. To represent the interplay between tumor growth and the immune system, the authors of [33] provided some new approximate solutions to a computational formulation by using numerous fractional and fractal operators.
In [34], the researcher looked at a computer model to investigate the spread of a viral infectious disease that is more common in children, i.e., hand, foot, and mouth syndrome. A contribution of [35] is the development of a new, time-saving method for obtaining exact fractional solutions to local fractional equations. Equation of Gardner on Cantor sets defined by efficient numerical methods are studied.
In [36], the authors study the stability of a disease model with susceptible prey and infected predators around an internal steady state. The Mittag-Leffler kernels from the Liouville-Caputo idea, which are used to calculate fractional derivatives, have been considered for this purpose. In [37], the researchers looked at one realistic application from the current state of edge detection research. To achieve this goal, they first suggested two overarching structures that can be used to create brand-new fractional masks. Then, the Atangana-Baleanu operator, a fractional integral, was used to assess the roles of the various parts in these two architectures.
In [38], the authors suggested a predator-prey model with a Michaelis–Menten functional response and split prey into susceptible and infected subpopulations. The researchers presented an eco-epidemiological model of an infected predator-prey system [39]. Incorporating prey refuge ensures that a portion of the diseased prey is available for ingestion by the predator. The authors of [40] suggested a predator-prey model in which the prey population is affected by a disease. Here, healthy prey species exhibited defense mechanisms in response to a predator attack. A Leslie-Gower predator-prey model incorporating disease in the predator has been developed [41]. The genetic repercussions of the Lesli-Gower model allow it to be considered an evolutionary version of the Lotka-Volterra model. In [42], the authors created an eco-epidemic model with two prey populations and one predator population, where only the first prey population is affected by an infectious disease. More literature on predator-prey models can be seen in [43,44,45,46,47].
In the present research work, we formulate a multi-species eco-epidemiological model. Two major aspects of ecology are discussed, i.e., food resources and infection in the species. These factors bring drastic changes in the population density of the species under consideration. It is shown that this kind of interaction leads to system stability even under self-diffusion. It is also proved that the system becomes unstable when cross-diffusion is considered. A two-stage numerical scheme is also applied in the present work, and numerical simulations support the theoretical findings. The stability of the proposed scheme is presented by using the von Neumann stability criterion. It is proved that the scheme is conditionally stable.
The ecosystem refers to a natural complex structure in which interacting species affect the population density of one another on a large scale. At the same time, the interacting species are in danger of infectious diseases in the real environment. Numerous mathematical models present the interaction among species with infection in some species. The infections are so critical that they disturb the whole ecosystem. The population density of all species is affected badly, as they depend on one another directly or indirectly. This problem has motivated several investigators to develop their model to study population dynamics effectively. Here, we propose a model to study the predator-prey system in which both species use the same food resources and there is a fatal infectious disease in the prey population. Suppose that U,V respectively represent the predator and prey populations at any time t. Here, we assume that V=VS+VI, where VS∧VI respectively denote the susceptible and infected prey.
dUdt=U(afaU+bVS+cVI+α1VS+α2VI−m) | (9) |
dVSdt=VS(bfaU+bVS+cVI−γVI−α1U−n1 | (10) |
dVIdt=VI(cfaU+bVS+cVI+γVS−α2U−n2) | (11) |
where
ϕ0={U(0)=U0≥0,VS(0)=VS,0≥0,VI(0)=VI,0≥0} | (12) |
is the set of initial conditions. Here, m, n1 and n2 are the death rates of the predator and preys, and n2=n1+δ displays the sum for the related natural and infectious disease.
The present section deals with the computation and stability of the equilibria of the system described by (9)–(11). By solving the system when the rate of change of population becomes zero, it is easy to obtain the equilibria of the system, which are seven in number for the present case. The equilibria of the system are described as follows:
E1=(0,fn1, 0),E2=(0, 0,fn2),E3=(fm, 0, 0) |
E4=(U4,VS,4,VI,4),E5=(U5,VS,5,VI,5),E6=(U6,VS,6,VI,6),E7=(U∗,V∗S,V∗I) | (13) |
where
U4=0,VS,4=−−bn22+cfγ+cn1n2γ(bn2−cn1),VI,4=bfγ−bn1n2+cn12γ(bn2−cn1) |
U5=−an12+bfα1−bmn1α1(an1−bm),VS,5=afα1+amn1−bm2α1(an1−bm),VI,5=0 |
U6=−an22+cfα2−cmn2α2(an2−cm),VS,6=0,VI,6=afα2+amn2−cm2α2(an2−cm) |
U∗=cn1−bn2aγ−cα1+bα2+fγmγ−n2α1+n1α2 | (14) |
V∗S=−cm+an2aγ−cα1+bα2+fα2mγ−n2α1+n1α2 | (15) |
V∗I=bm−an1aγ−cα1+bα2−fα1mγ−n2α1+n1α2 | (16) |
In the present section, we study the stability of the fixed point, which deals with the coexistence of all species. The existence condition for the coexistence equilibrium point E7 is
f𝛾(χ1+aγ)>δ1(γm+ξ1),fα2(χ2+bα2)>−δ2(n1α2+ξ2),fα1(χ3+cα1)>−δ3(n2α1−ξ3) and αβ>0 | (17) |
where
δ1=bn2−cn1,δ2=an2−cm,δ3=an1−bm,ξ1=n1α2−n2α1, |
ξ2=γm−n2α1,ξ3=γm+n1α2,α=γm+ξ1,β=aγ+χ1, |
χ1=bα2−cα1,χ2=aγ−cα1,χ3=−bα2−aγ |
Theorem 1: Let a,b,c,f,α1,α2,m,n1 and n2 be positive; then, (U∗,V∗S,V∗I) is globally stable in ω={(U,VS,VI):U>0,VS>0,VI>0}.
Proof: We construct the Lyapunov function to determine the stability of the coexistence equilibrium point. Consider the following
W(U,VS,VI)=∫UU∗η−U∗ηdη+∫VSV∗Sκ−V∗Sκdκ+∫VIV∗Iξ−z∗ξdξ | (18) |
By taking derivative with respect to t, we have
dWdt=U−U∗UdUdt+VS−V∗SVSdVSdt+VI−V∗IVIdVIdt | (19) |
dWdt=(U−U∗)(afaU+bVS+cVI+α1VS+α2VI−m) |
+(VS−VS∗)(bfaU+bVS+cVI−α1U−γVI−n1) |
+(VI−VI∗)(cfaU+bVS+cVI−α2U+γVS−n2) | (20) |
After some simplification, we get
dWdt=(U−U∗)afaU∗+bV∗S+cV∗I−aU−bVS−cVI(aU+bVS+cVI)(aU∗+bV∗S+cV∗I) |
+(VS−V∗S)bfaU∗+bV∗S+cV∗I−aU−bVS−cVI(aU+bVS+cVI)(aU∗+bV∗S+cV∗I) |
+(VI−V∗I)cfaU∗+bV∗S+cV∗I−aU−bVS−cVI(aU+bVS+cVI)(aU∗+bV∗S+cV∗I) |
dWdt=−f(aU+bVS+cVI−(aU∗+bV∗S+cV∗I))2(aU+bVS+cVI)(aU∗+bV∗S+cV∗I)≤0 | (21) |
dWdt=0 iff aU+bVS+cVI=aU∗+bV∗S+cV∗I |
Using the values from (16)–(18) and applying further simplification of (9) leads to the following result
dUdt=U(α1ab(U∗−U)+(α1cb−α2)(V∗I−VI)) | (22) |
Then U → U∗ and VI → V∗I when t→∞ provided that U(0)≥0. Similarly VS → V∗S; hence, the largest invariant set {U, VI,VSϵω: dWdt=0} has the unique positive equilibrium (U∗,V∗S,V∗I). According to the LaSalle theorem (U∗,V∗S,V∗I) is globally stable in ω.
Corollary 1. For the equilibrium points Ei (i=1,2,3,…,6), we have the following results.
(a). E1, E2 and E3 always exist and are globally stable.
(b). E4 exists if n2δ1>cfγ and n2δ1>cfγ, and it is globally stable.
(c). E5 and E6 do not exist.
Proof:
(a). The results are straightforward from Eqs (13) and (22).
(b). Consider E4=(U4,VS,4,VI,4), where
U4=0,VS,4=−−bn22+cfγ+cn1n2γ(bn2−cn1),VI,4=bfγ−bn1n2+cn12γ(bn2−cn1) |
VS,4=−−bn22+cfγ+cn1n2γ(bn2−cn1) |
=bn22−cfγ−cn1n2γ(bn2−cn1) |
We can rewrite as
VS,4=n2δ1−cfγγδ1⇒n2δ1>cfγ |
Similarly,
VI,4=bfγ−bn1n2+cn12γ(bn2−cn1)⇒bfγ>n1δ1 |
The global stability is obvious from Eq (22).
(c). Consider E5=(U5,VS,5,VI,5), where
U5=−an12+bfα1−bmn1α1(an1−bm),VS,5=afα1+amn1−bm2α1(an1−bm),VI,5=0 |
U5=−an12+bfα1−bmn1α1(an1−bm)⇒U5=−bfα1−n1δ3<0 |
Hence, the result, similarly, E6 does not exist.
In the dynamical population model, random walking plays a central role in the structure of the habitat. The movement of species can vary from region to region depending on the distribution of food resources in the habitat. In addition, the species can vary with respect to density in the area where they live. The following section deals with the influence of diffusion on the coexistence of fixed points.
The self-diffusive system for (9)–(11) can be written as
dUdt=D11△U+U(afaU+bVS+cVI+α1VS+α2VI−m), x ϵ Ω, t > 0 | (23) |
dVSdt=D22△VS+VS(bfaU+bVS+cVI−γVI−α1U−n1), x ϵ Ω, t > 0 | (24) |
dVIdt=D33△VI+VI(cfaU+bVS+cVI+γVS−α2U−n2), x ϵ Ω, t > 0 | (25) |
∂U∂ϑ=∂VS∂ϑ=∂VI∂ϑ=0,xϵ∂Ω, t>0 | (26) |
with the following initial condition
ϕ(0)={U(0)=U0≥0,VS(0)=VS,0≥0,VI(0)=VI,0≥0} | (27) |
where the self-diffusion coefficients D11,D22,D33 are non-negative. According to Hollis' results, the solution to the above system has global existence and boundedness [47]. The self-diffusive system has an equilibrium point E7=(U∗,V∗S,V∗I) under the assumption of (17)
Theorem 2: Let a,b,c,D11,D22,D33,f,g,m,n1,n2,α1,α2 and γ be positive; then, (U∗,V∗S,V∗I) is globally stable in ꙍ={(U,VS,VI):U>0,VS,VI>0}.
Proof. It is obvious that {(U,VS,VI):U=0}, {(U,VS,VI):VS=0} and {(U,VS,VI):VI=0} are the invariant manifolds. We establish the Lyapunov function to determine the global stability of the self-diffusive system as follows
W(U,VS,VI)=∫Ω∫UU∗η−U∗ηdηdX+∫Ω∫NSN∗Sκ−V∗SκdκdX+∫Ω∫NIN∗Iξ−V∗IξdξdX | (28) |
Now, taking derivative with respect to t on both sides, we get
dWdt=∫ΩU−U∗U∂UdtdX+∫ΩVS−V∗SVS∂VSdtdX+∫ΩVI−V∗IVI∂VIdtdX |
=∫ΩU−U∗U(D11△U+U(afaU+bVS+cVI+α1VS+α2VI−m)) |
+∫ΩVS−V∗SVS(D22△VS+VS(bfaU+bVS+cVI−γVI−α1U−n1)) |
+∫ΩVI−V∗IVI(D33△VI+VI(cfaU+bVS+cVI+γVS−α2U−n2)) |
dWdt≕M1+M2+M3+M4 | (29) |
where
M1=−D11U∗∫Ω1U2|∇U|2dX≤0 | (30) |
M2=−D22V∗S∫Ω1V2S|∇V2S|dX≤0 | (31) |
M3=−D33V∗I∫Ω1V2I|∇V2I|dX≤0 | (32) |
M4=∫Ω(U−U∗)[(afaU+bVS+cVI+α1VS+α2VI−m)]dX |
+∫Ω(VS−V∗S)[(bfaU+bVS+cVI−γVI−α1U−n1)]dX |
+∫Ω(VI−V∗I)[(cfaU+bVS+cVI+γVS−α2U−n2)]dX≤0 | (33) |
M4=−∫Ωf(aU+bVS+cVI−(aU∗+bV∗S+cV∗I))2(aU+bVS+cVI)(aU∗+bV∗S+cV∗I)≤0 | (34) |
It is obvious that
dWdt≤0 | (35) |
dWdt=0 iff aU+bVS+cVI=aU∗+bV∗S+cV∗I |
Further simplification of (23) by using the values of the coexistence equilibrium point (U∗,V∗S,V∗I) leads to the following
dUdt=D11+U(α1ab(U∗−U)+(α1cb−α2)(V∗I−VI)) |
It is well known that the above equation represents a gradient system, where every orbit converges to a unique steady state U=U∗ and VI=V∗I [47]. Thus, VS → V∗S since (U,VS,VI) is on Γ≔{(U,VS,VI):aU+bVS+cVI=aU∗+bV∗S+cV∗I,U≥0,VS≥0,VI≥0}. Therefore, positive solution (U∗,V∗S,V∗I) is globally asymptotically stable.
The predator is attracted to its prey in search of food resources. This attraction causes prey taxis, which is the predator's movement as controlled by the density of prey, and on the contrary, the prey is repelled by the predator. This results in the cross-diffusion of species in the habitat. Consider the following system of equations:
dUdt=D11△U+D12△VS+D13△VI+U(afaU+bVS+cVI+α1VS+α2VI−m), |
xϵΩ,t>0 | (36) |
dVSdt=D21△U+D22△VS+VS(bfaU+bVS+cVI−γVI−α1U−n1), |
xϵΩ,t>0 | (37) |
dVIdt=D31△U+D33△VI+VI(cfaU+bVS+cVI+γVS−α2U−n2), |
xϵΩ,t>0 | (38) |
∂U∂ϑ=∂VS∂ϑ=∂VI∂ϑ=0,xϵ∂Ω,t>0 |
ϕ(0)={U(0)=U0≥0,VS(0)=VS,0≥0,VI(0)=VI,0≥0}, x ϵ Ω, t > 0 | (39) |
One can see that the coexisting equilibrium point also holds for the cross-diffusive system. The self-diffusive system does not induce instability, but the Turing instability can be seen in the following section. The above system, as described by Eqs (36)–(38), can be written in the following way:
RΦ=D△Φ+JΦ | (40) |
Φ(t,x)=[ϕ(t,x)φ(t,x)ψ(t,x)],D=[D11D12D13D21D220D310D33] and J=[A11A12A13A21A22A23A31A32A33] |
where
A11=−a2fU∗(aU∗+cV∗I+bV∗S)2, |
A12=−abfU∗(aU∗+cV∗I+bV∗S)2+α1U∗, |
A13=−acfU∗(aU∗+cV∗I+bV∗S)2+α2U∗, |
A21=−abfV∗S(aU∗+cV∗I+bV∗S)2−α1V∗S, |
A22=−b2fV∗S(aU∗+cV∗I+bV∗S)2, |
A23=−bcfV∗S(aU∗+cV∗I+bV∗S)2−γV∗S, |
A31=−acfV∗I(aU+cVI+bVS)2−α2V∗I, |
A32=−bcfV∗I(aU∗+cV∗I+bV∗S)2+γV∗I, |
A33=−c2fV∗I(aU∗+cV∗I+bV∗S)2 | (41) |
If all of the eigenvalues of the operator R are negative, then (U∗,V∗S,V∗I) is asymptotically stable [47]. Next, it is clear that −△ under the Neumann boundary condition has eigenvalues
0=μ0<μ1≤μ2≤… |
and μi → ∞ when t → ∞. It is also known that ν is the eigenvalue of the operator R if and only if it is the eigenvalue of Ji=−μiD+J for i ≥ 0. Moreover, we obtain
trace(Ji)=−μi(D11+D22+D33)+trace(J) |
It is obvious from (41) that
trace(J)=A11+A22+A33<0. |
Next, we prove Turing instability for the cross-diffusive system described by (36)–(38).
Theorem 3: Let a,b,c,D11,D22,D33,f,g,m,n1,n2,α1,α2 and γ be positive and
det(D)=(D11D22D33−D12D21D33+D13D22D31)>0 |
then, there exists an unbounded region where s1<s2+s3+s4
such that (U∗,V∗S,V∗I) is unstable in the region where the above condition holds.
Additionally,
s1=−[13F(J,D)−√3 det(D)f(J,D)+(F(J,D))2det(D)]3det(D) |
s2=[13F(J,D)−√3 det(D)f(J,D)+(F(J,D))2det(D)]2F(J,D) |
s3=[1/3F(J,D)−√3 det(D)f(J,D)+(F(J,D))2det(D)]f(J,D) |
s4=A11A22A33−A11A23A32−A12A21A33 |
+A12A23A31+A13A21A32−A13A22A31 |
Proof. It is clear from the value of Ji that trace(Ji) is negative. To show the instability of (U∗,V∗S,V∗I), we shall prove that det(Ji)>0 for some i, where i≥1. As
det(J0)=−A11A21A33+A11A22A33 |
+A11A23A31−A11A23A32 |
+A13A21A32−A13A22A31 | (42) |
det(Ji)=[−μiD11+A11−μiD12+A12−μiD13+A13−μiD21+A21−μiD22+A22A23−μiD31+A31A32−μiD33+A33] | (43) |
det(Ji)=−D11D22D33μi3+A11D22D33μi2+A22D11D33μi2+A33D11D22μi2−A11A22D33μi−A11A33D22μi−A22A33D11μi+A23A32D11μi+D12D21D33μi3−A12D21D33μi2−A21D12D33μi2+A32D13D21μi2−A33D12D21μi2+A12A21D33μi+A12A33D21μi−A13A32D21μi−A21A32D13μi+A21A33D12μi+D13D22D31μi3−A13D22D31μi2−A22D13D31μi2+A23D12D31μi2−A31D13D22μi2−A12A23D31μi+A13A22D31μi+A13A31D22μi+A22A31D13μi−A23A31D12μi−A12A21A33+A13A21A32+A12A23A31−A13A22A31+A11A22A33−A11A23A32 |
By collecting the terms containing μi, we obtain
det(Ji)=(−D11D22D33+D12D21D33+D13D22D31)μi3+(A11D22D33+A22D11D33+A33D11D22−A12D21D33−A21D12D33+A32D13D21−A33D12D21−A13D22D31−A22D13D31+A23D12D31−A31D13D22)μi2+(−A11A22D33−A11A33D22−A22A33D11+A23A32D11+A12A21D33+A12A33D21−A13A32D21−A21A32D13+A21A33D12−A12A23D31+A13A22D31+A13A31D22+A22A31D13−A23A31D12)μi+A11A22A33−A11A23A32−A12A21A33+A12A23A31+A13A21A32−A13A22A31 |
det(Ji)=−μi3det(D)+μi2F(J,D) |
+μif(J,D)+A11A22A33−A11A23A32−A12A21A33 |
+A12A23A31+A13A21A32−A13A22A31 | (44) |
where
det(D)=(D11D22D33−D12D21D33+D13D22D31)>0 |
F(J,D)=(A11D22D33+A22D11D33+A33D11D22−A12D21D33−A21D12D33+A32D13D21−A33D12D21−A13D22D31−A22D13D31+A23D12D31−A31D13D22) | (45) |
f(J,D)=−A11A22D33−A11A33D22−A22A33D11 |
+A23A32D11+A12A21D33 |
+A12A33D21−A13A32D21−A21A32D13 |
+A21A33D12−A12A23D31+A13A22D31 |
+A13A31D22+A22A31D13−A23A31D12 | (46) |
The above equality of (44) leads to its minimum value minμiϵR+ det(Ji) at
μ= 1/3F(J,D)−√3 det(D)f(J,D)+(F(J,D))2det(D) |
After substituting the above value in (44), we get
Det(Ji)= −[1/3F(J,D)−√3 det(D)f(J,D)+(F(J,D))2det(D)]3det(D) |
+[1/3F(J,D)−√3 det(D)f(J,D)+(F(J,D))2det(D)]2F(J,D) |
+[13F(J,D)−√3 det(D)f(J,D)+(F(J,D))2det(D)]f(J,D) |
+A11A22A33−A11A23A32−A12A21A33 |
+A12A23A31+A13A21A32−A13A22A31 |
det(Ji)=−s1+s2+s3+s4 | (47) |
For the instability of the system, we must have det(Ji)>0. Therefore above the equilibrium point (U∗,V∗S,V∗I) is unstable in the region where s1<s2+s3+s4.
A numerical scheme is constructed for solving Eqs (23)–(27). The scheme's construction discretizes the time variable, and suitable difference formula can be adopted to discretize the space variable. The scheme is the two-stage explicit scheme. The scheme is constructed on three-time levels. Consider the following equation:
∂V∂t=G(V1∂2V∂x2) | (48) |
The first stage of the scheme is written as
−Vn+1i=Vni+Δt(∂V∂t)ni | (49) |
The second stage of the scheme contains three unknowns. Their values will be found later. The second stage is written as
Vn+1i=12(−Vn+1i+Vn−1i)+Δt{a1(∂V∂t)n+1i+b1(∂V∂t)ni+c1(∂V∂t)n−1i} | (50) |
To find the values of unknowns a1,b1 and c1, the Taylor series expansions for Vn+1i,Vn−1i,(∂V∂t)n+1i and (∂V∂t)n−1i are given as
Vn+1i=Vni+Δt(∂V∂t)ni+(Δt)22(∂2V∂t2)ni+(Δt)36(∂3v∂t3)ni+O((Δt)4) | (51) |
Vn−1i=Vni−Δt(∂V∂t)ni+(Δt)22(∂2V∂t2)ni−(Δt)36(∂3V∂t3)ni+O((Δt)4) | (52) |
(∂V∂t)n+1i=(∂V∂t)ni+Δt(∂2V∂t2)ni+(Δt)22(∂3V∂t3)ni+O((Δt)3) | (53) |
(∂V∂t)n−1i=(∂V∂t)ni−Δt(∂2V∂t2)ni+(Δt)22(∂3V∂t3)ni+O((Δt)3) | (54) |
Substituting Taylor series expansions (51)–(54) into Eq (50), we obtain the following
Comparison of coefficients of uni,Δt(∂u∂t)ni,(Δt)2(∂2u∂t2)ni and (Δt)3(∂3u∂t3)ni leads to the following
{1=a1+b1+c112=14+a1−c116=−112+c12 | (55) |
Solving the above system of equations gives the values of the unknown parameters a1,b1 and c1 as
a1=34,b1=−14,c1=12 | (56) |
The stability condition of the proposed scheme for the parabolic Eq (48) von Neumann stability criterion is applied. For applying the stability analysis, some transformations are substituted into difference equations. For the considered problem, the transformations are given as follows.
Using a second-order central difference formula for the diffusion term, the first stage of the proposed scheme for the linearized equation is given as
−Vn+1i=Vni+14un−1i+d(Vni+1−2Vni−Vni−1) | (57) |
where
d=Δt(Δx)2 |
According to von Neumann's stability criterion, consider the following transformations
Vn+1i=−En+1eiIθ,Vni±1=Ene(i±1)Iθ,un−1i±1=En+1e(i±1)Iθ |
where I=√−1 | (58) |
Substituting the transformations of (50) into Eq (49), the following is obtained:
−En+1=En+d(eIθ−2+e−Iθ)En |
−En+1=(1+2d(cosθ−1))En | (59) |
By using the second-order central difference formula for the diffusion term, the second stage of the proposed scheme for the linearized equation is given as
Vn+1i=12(−Vn+1i+Vn−1i)+d{a1(−Vn+1i+1−2−Vn+1i+−Vn+1i−1)+b1(Vni+1−2Vni+Vni−1)+c1(Vn−1i+1−2} |
Vn−1i+Vn−1i−1)} | (60) |
Substituting the transformations of (58) into (60) and dividing the resulting equation by eiIθ, we get
En+1=12(−En+1i+En−1i)+d{a1(eIθ−2+e−Iθ)−En+1+b1(eIθ−2+e−Iθ)En+c1(eIθ−2+e−Iθ)En−1} |
Collecting the coefficients of En+1 on the left-hand side of Eq (61) provides
En+1=(12+2a1d(cosθ−1))−En+1+2bd(cosθ−1)En+(12+2c1d(cosθ−1))En−1 |
En+1=A1En+B1En−1 | (61) |
A1=(12+2a1d(cosθ−1))(1+2d(cosθ−1))+2b1d(cosθ−1) |
B1=12+2c1d(cosθ−1) |
En=En+0En−1 | (62) |
Equations (61) and (62) can be written in matrix form as
⌈En+1En⌉=[A1B110][EnEn−1] | (63) |
The stability conditions can be imposed on the eigenvalue of the coefficient matrix, and these conditions are expressed as
|A1+√A12+4B12|≤1 and |A1−√A12+4B12|≤1 | (64) |
The proposed scheme will be stable if it satisfies inequalities of (64).
The spatial terms in (23)–(25) are discretized by using the classical central difference formula to apply the proposed scheme for the considered diffusive model. The discretized equations for the model are given as
−Un+1i=Uni+Δt{D11(Uni+1−2Uni+Uni−1)/(Δx)2+Uni(afaUni+bVnS,i+cVnI,i+α1VnS,i+α2VnI,i−m)} | (65) |
−Vn+1S,i=VnS,i+Δt{D22(VnS,i+1−2VnS,i+VnS,i−1)/(Δx)2+UnS,i(bfaUni+bVnS,i+cVnI,i−α1Uni−γVnI,i−n1)} | (66) |
−Vn+1S,i=VnI,i+Δt{D33(VnI,i+1−2VnI,i+VnI,i−1)/(Δx)2+UnI,i(cfaUni+bVnS,i+cVnI,i−α2Uni−γVnS,i−n2)} | (67) |
Un+1i=Uni+Δt[a1{D11(−Un+1i+1−2−Un+1i+−Un+1i−1)/(Δx)2+−Un+1i(afa−Un+1i+b−Vn+1S,i+c−Vn+1I,i+α1−Vn+1S,i+α2−Vn+1I,i−m)}+b1{D11(Uni+1−2Uni+Uni−1)/(Δx)2+Uni(afaUni+bVnS,i+cVnI,i+α1VnS,i+α2VnI,i−m)}+c1{D11(Un−1i+1−2Un−1i+Un−1i−1)/(Δx)2+Un−1i(afaUn−1i+bUn−1i+cVn−1I,i+α1Vn−1S,i+α2Vn−1I,i−m)}] |
Vn+1S,i=Vn+1S,i+Δt[a1{D22(−Vn+1S,i+1−2−Vn+1S,i+−Vn+1S,i−1)/(Δx)2+−Un+1i(bfa−Un+1i+b−Vn+1S,i+c−Vn+1I,i+α1−Vn+1S,i+α2−Vn+1I,i−n1)}+b1{D22(VnS,i+1−2VnS,i+VnS,i−1)/(Δx)2+Uni(bfaUni+bVnS,i+cVnI,i+α1VnS,i+α2VnI,i−n2)}+c1{D22(Vn−1S,i+1−2Vn−1S,i+Vn−1S,i−1)/(Δx)2+Un−1i(bfaUn−1i+bUn−1i+cVn−1I,i+α1Vn−1S,i+α2Vn−1I,i−n2)}] |
Vn+1I,i=VnI,i+Δt[a1{D33(−Vn+1I,i+1−2−Vn+1I,i+−Vn+1I,i−1)/(Δx)2+−Vn+1I,i(cfa−Un+1i+b−Vn+1S,i+c−Vn+1I,i+γ−Vn+1S,i−α2Un+1i−n2)}+b1{D33(VnI,i+1−2Vni,i+VnI,i−1)/(Δx)2+VnI,i(cfaUni+bVnS,i+cVnI,i+γVnS,i−α2Uni−n2)}+c1{D33(Vn−1I,i+1−2Vn−1I,i+Vn−1I,i−1)/(Δx)2+Vn−1I,i(cfaUn−1i+bVn−1S,i+cVn−1I,i+α1Vn−1S,i+α2Vn−1I,i−n2)}] |
T he present research yielded an eco-epidemiological model for the predator-prey system. We considered two classes of prey species, i.e., susceptible and infected prey. It is supposed in this study that the transmission of infection is non-vertical. Predation activity influences the biological environment on a large scale. Here, we considered that there is no disease transmission due to predation. The populations of two classes of prey species face disturbance due to infection. Figures 1 and 2 show the stability of the coexisting equilibrium point for the original and self-diffusive systems. The parameters used for the simulation in Figure 1 are \bf \boldsymbol{a} = 0.45, \boldsymbol{b} = 0.64, \bf \boldsymbol{c} = 0.53, \bf \boldsymbol{f} = 0.53, {\boldsymbol{\alpha }}_{1} = 0.14, \bf {\boldsymbol{\alpha }}_{2} = 0.27, \boldsymbol{m} = 0.56, \bf {\boldsymbol{n}}_{1} = 0.55, \bf {\boldsymbol{n}}_{2} = 0.49, \bf \boldsymbol{\gamma } = 0.49, whereas, in Figure 2, the values of all of the parameters are the same as in Figure 1, with the diffusion coefficients \bf {\boldsymbol{D}}_{11} = 0.10, \bf {\boldsymbol{D}}_{22} = 0.20\wedge {\boldsymbol{D}}_{33} = 0.10 . Figure 3 shows the solution of the system for \bf \boldsymbol{\gamma } = 0.20, 0.30, 0.35, \wedge 0.45 . Other parameters have the same values as in Figure 1. Figures 4–6 show time-series solutions for the self-diffusive system with \bf {\boldsymbol{D}}_{11} = 0.01, \bf {\boldsymbol{D}}_{22} = 0.06\wedge {\boldsymbol{D}}_{33} = 0.07 for different resource values (\bf \boldsymbol{f} = 0.40, 0.45, \wedge 0.50 ); the values of the other parameters were the same as in Figure 1. For Figure 3, the initial condition was (0.1, 0.1, 0.1), whereas, for all Figures 4–6, the initial condition was (0.6096, 0.2060, 0.1533). The Figures 4–6 results indicate that the oscillation produced in the system dies out, resulting in the stability of the species' coexistence. Figures 7–9 present contour plots for the predator, susceptible prey and infected prey, respectively. The values of the parameters were \bf \boldsymbol{a} = 0.91, \bf \boldsymbol{b} = 0.50, \bf \boldsymbol{c} = 0.55, \boldsymbol{f} = 0.91, \bf {\boldsymbol{\alpha }}_{1} = 0.77, \bf {\boldsymbol{\alpha }}_{2} = 0.95, \boldsymbol{m} = 0.06, {\boldsymbol{n}}_{1} = 0.85, {\boldsymbol{n}}_{2} = 0.055, \boldsymbol{\gamma } = 0.60 . The values of the diffusion parameters were \bf {\boldsymbol{D}}_{11} = 0.02, {\boldsymbol{D}}_{12} = 0.84, {\boldsymbol{D}}_{13} = 0.5 , \bf {\boldsymbol{D}}_{21} = 0.4, \bf {\boldsymbol{D}}_{22} = 0.07, \bf {\boldsymbol{D}}_{23} = 0 , \bf {\boldsymbol{D}}_{31} = 0.2, \bf {\boldsymbol{D}}_{32} = 0\wedge {\boldsymbol{D}}_{33} = 0.01 . In Figures 1 and 2, it is evident that the systems described by (9)–(11) and (23)–(25) turn to the coexistence of the fixed point, which is biologically important. Figure 3 shows the direct impact of 𝛾 on the infected prey population. When the value of 𝛾 is raised from 0.20 to 0.45, there is a significant increase in the said population. In the time-series plots, it is interesting to note that increased values of the food parameter f lead to a remarkable increase in the predator and susceptible prey populations. Still, a reverse effect is obvious on the infected population of prey species. Figures 10–12 show a comparison among the systems presented in (9)–(11), (23)–(25) and (36)–(38). The population density of all species is remarkably affected by the inclusion of self- and cross-diffusion. The values of the parameters taken in Figure 9 are \bf \boldsymbol{a} = 0.1, \boldsymbol{b} = 0.50, \bf \boldsymbol{c} = 0.05, \boldsymbol{f} = 0.01, \bf {\boldsymbol{\alpha }}_{1} = 0.0177, \bf {\boldsymbol{\alpha }}_{2} = 0.95, \bf \boldsymbol{m} = 0.06, \bf {\boldsymbol{n}}_{1} = 0.185, \bf {\boldsymbol{n}}_{2} = 0.055, \bf \wedge \boldsymbol{\gamma } = 0.60 . In Figure 10, all of the parameters have the same value, except \bf {\boldsymbol{\alpha }}_{1} = 0.0177 , and the diffusion coefficients are \bf {\boldsymbol{D}}_{11} = 0.46, \bf {\boldsymbol{D}}_{22} = 0.7\wedge {\boldsymbol{D}}_{33} = 0.71 . All of the parameters have the same values as those applied in Figure 9, except \bf {\boldsymbol{D}}_{12} = 0.31, \bf {\boldsymbol{D}}_{13} = 0.75\wedge {\boldsymbol{D}}_{21} = 0.14, \bf {\boldsymbol{D}}_{23} = 0 , \bf {\boldsymbol{D}}_{31} = 0.65\wedge {\boldsymbol{D}}_{32} = 0 .
In the present article, we have formulated a dynamical nonlinear eco-epidemiological population model considering two species, i.e., the predator and prey, taking into account the species' dependence on the same food resources. Moreover, it is assumed that a fatal infectious, transmissible disease is present in the prey species. The equilibria of the proposed model have been found. We analyzed the global stability of the coexistence equilibrium point for the non-diffusive and diffusive cases by establishing the Lyapunov function. We have proved in Theorems 1 and 2 that the coexisting equilibrium point ({U}^{\mathrm{*}}, {V}_{S}^{\mathrm{*}}, {V}_{I}^{\mathrm{*}}) is globally stable for the original and self-diffusive models, respectively. Also, it is proved in Theorem 3 that Turing instability of the system for the cross-diffusive case exists conditionally. Phase portraits were drawn to support the theoretical results and show the equilibrium point's stability for the non-diffusive and self-diffusive cases. Moreover, a two-stage explicit numerical scheme was constructed, and the stability of the proposed scheme was evaluated by using the von Neumann stability criterion. The impacts of parameters like the disease transmission parameter 𝛾 and food resource f have been analyzed through the use of plots. It is obvious from the plots that increasing the disease transmission parameter 𝛾 enhances the infected population density, and vice versa. The solution of the self-diffusive system for different values of the resource parameter f has been obtained, and it is shown that the increment in the food resource affects the population size.
The authors wish to express their gratitude to Prince Sultan University for facilitating the publication of this article through the Theoretical and Applied Sciences Lab. Funding Statement: The authors would like to acknowledge the support of Prince Sultan University for paying the Article Processing Charges for this publication.
The authors declare that they have no conflict of interest to report regarding the present study
For the proof of (22):
\frac{dU}{dt} = U(\frac{{\alpha }_{1}a}{b}\left({U}^{\mathrm{*}}-\mathrm{U}\right)+(\frac{{\alpha }_{1}c}{b}-{\alpha }_{2}\left)\right({V}_{I}^{\mathrm{*}}-{V}_{I}) ) |
We consider
aU+b{V}_{S}+c{V}_{I} = a{U}^{\mathrm{*}}+b{V}_{S}^{\mathrm{*}}+c{V}_{I}^{\mathrm{*}} |
aU+b{V}_{S}+c{V}_{I} = a\left(\frac{af{\gamma }^{2}+bf\gamma {\alpha }_{2}-b\gamma m{n}_{2}-b{n}_{1}{n}_{2}{\alpha }_{2}+b{{n}_{2}}^{2}{\alpha }_{1}-cf\gamma {\alpha }_{1}+c\gamma m{n}_{1}+c{{n}_{1}}^{2}{\alpha }_{2}-c{n}_{1}{n}_{2}{\alpha }_{1}}{\left(a\gamma +b{\alpha }_{2}-c{\alpha }_{1}\right)\left(\gamma m+{n}_{1}{\alpha }_{2}-{n}_{2}{\alpha }_{1}\right)}\right) |
+b\left(\frac{af\gamma {\alpha }_{2}+a\gamma m{n}_{2}+a{n}_{1}{n}_{2}{\alpha }_{2}-a{{n}_{2}}^{2}{\alpha }_{1}+bf{{\alpha }_{2}}^{2}-cf{\alpha }_{1}{\alpha }_{2}-c\gamma {m}^{2}-cm{n}_{1}{\alpha }_{2}+cm{n}_{2}{\alpha }_{1}}{\left(a\gamma +b{\alpha }_{2}-c{\alpha }_{1}\right)\left(\gamma m+{n}_{1}{\alpha }_{2}-{n}_{2}{\alpha }_{1}\right)}\right) |
+c(-\frac{af\gamma {\alpha }_{1}+a\gamma m{n}_{1}+a{{n}_{1}}^{2}{\alpha }_{2}-a{n}_{1}{n}_{2}{\alpha }_{1}+bf{\alpha }_{1}{\alpha }_{2}-b\gamma {m}^{2}-bm{n}_{1}{\alpha }_{2}+bm{n}_{2}{\alpha }_{1}-cf{{\alpha }_{1}}^{2}}{\left(a\gamma +b{\alpha }_{2}-c{\alpha }_{1}\right)\left(\gamma m+{n}_{1}{\alpha }_{2}-{n}_{2}{\alpha }_{1}\right)}) |
= \frac{f\left(a\gamma +b{\alpha }_{2}-c{\alpha }_{1}\right)}{(\gamma m+{n}_{1}{\alpha }_{2}-{n}_{2}{\alpha }_{1)}} |
b{V}_{S} = \frac{f\left(a\gamma +b{\alpha }_{2}-c{\alpha }_{1}\right)}{(\gamma m+{n}_{1}{\alpha }_{2}-{n}_{2}{\alpha }_{1)}}-aU-c{V}_{I} |
{\alpha }_{1}{V}_{S} = \frac{{\alpha }_{1}f\left(a\gamma +b{\alpha }_{2}-c{\alpha }_{1}\right)}{(\gamma m+{n}_{1}{\alpha }_{2}-{n}_{2}{\alpha }_{1)}}-\frac{{\alpha }_{1}aU}{b}-\frac{{\alpha }_{1}c{V}_{I}}{b} |
Using above value in (9) and applying simplification leads us to the following result:
\frac{dU}{dt} = U(\frac{{\alpha }_{1}a}{b}\left({U}^{\mathrm{*}}-\mathrm{U}\right)+(\frac{{\alpha }_{1}c}{b}-{\alpha }_{2}\left)\right({V}_{I}^{\mathrm{*}}-{V}_{I}) ) |
To prove the value of {M}_{1} = -{D}_{11}{U}^{\mathrm{*}}{\int }_{\mathrm{\Omega }}\text{}\frac{1}{{U}^{2}}|\nabla {U|}^{2}dX\le 0 in (28), we proceed as follows:
\text{ As } \ \ \ {M}_{1} = {\int }_{\mathrm{\Omega }}\text{}\frac{U-{U}^{\mathrm{*}}}{U}{D}_{11}△UdX |
By using Green's first identity, we have
{\int }_{\mathrm{\Omega }}\text{}\frac{U-{U}^{\mathrm{*}}}{U}{D}_{11}△UdX |
= {D}_{11} ( {\int }_{\mathrm{\Omega }}\text{}\frac{U-{U}^{\mathrm{*}}}{U}\frac{\partial U}{\partial \vartheta }dX - {\int }_{\mathrm{\Omega }}\text{}{\nabla }_{\mathrm{x}}\frac{U-{U}^{\mathrm{*}}}{U}.{\nabla }_{\mathrm{x}}UdX ) | (-) |
= - {D}_{11}{\int }_{\mathrm{\Omega }}\text{}{\nabla }_{\mathrm{x}}\frac{U-{U}^{\mathrm{*}}}{U}.{\nabla }_{\mathrm{x}}UdX |
= - {D}_{11}{\int }_{\mathrm{\Omega }}\text{}{\nabla }_{\mathrm{x}}\left(1-\frac{{U}^{\mathrm{*}}}{U}\right){\nabla }_{\mathrm{x}}UdX |
Further simplification leads to the following:
= -{D}_{11}{\int }_{\mathrm{\Omega }}\text{}\frac{{U}^{\mathrm{*}}}{{U}^{2}}|\nabla {U|}^{2}dX |
So, we have
{M}_{1} = -{D}_{11}{U}^{\mathrm{*}}{\int }_{\mathrm{\Omega }}\text{}\frac{1}{{U}^{2}}|\nabla {U|}^{2}dX\le 0 |
Similarly, (31) and (32) can be proved.
[1] |
K. Doi, Computer-aided diagnosis in medical imaging: historical review, current status and future potential, Comput. Med. Imaging Graphics, 31 (2007), 198–211. https://doi.org/10.1016/j.compmedimag.2007.02.002 doi: 10.1016/j.compmedimag.2007.02.002
![]() |
[2] |
M. Ahammed, M. A. Mamun, M. S. Uddin, A machine learning approach for skin disease detection and classification using image segmentation, Healthcare Anal., 2 (2022), 100122. https://doi.org/10.1016/j.health.2022.100122 doi: 10.1016/j.health.2022.100122
![]() |
[3] |
J. Zhang, Y. Xia, Y. Xie, M. Fulham, D. D. Feng, Classification of medical images in the biomedical literature by jointly using deep and handcrafted visual features, IEEE J. Biomed. Health. Inf., 22 (2017), 1521–1530. https://doi.org/10.1109/JBHI.2017.2775662 doi: 10.1109/JBHI.2017.2775662
![]() |
[4] |
P. I. R. Jenifer, S. Kannan, Deep learning with optimal hierarchical spiking neural network for medical image classification, Comput. Syst. Sci. Eng., 44 (2023), 1081–1097. https://doi.org/10.32604/csse.2023.026128 doi: 10.32604/csse.2023.026128
![]() |
[5] |
J. Dominic, N. Bhaskhar, A. D. Desai, A. Schmidt, E. Rubin, B. Gunel, et al., Improving data-efficiency and robustness of medical imaging segmentation using inpainting-based self-supervised learning, Bioengineering, 10 (2023), 207. https://doi.org/10.3390/bioengineering10020207 doi: 10.3390/bioengineering10020207
![]() |
[6] |
L. Tan, H. Wu, J. Xia, Y. Liang, J. Zhu, Skin lesion recognition via global-local attention and dual-branch input network, Eng. Appl. Artif. Intell., 127 (2023), 107385. https://doi.org/10.1016/j.engappai.2023.107385 doi: 10.1016/j.engappai.2023.107385
![]() |
[7] |
F. Bozkurt, Skin lesion classification on dermatoscopic images using effective data augmentation and pre-trained deep learning approach, Multimedia Tools Appl., 82 (2023), 18985–19003. https://doi.org/10.1007/s11042-022-14095-1 doi: 10.1007/s11042-022-14095-1
![]() |
[8] |
X. Feng, T. Wang, X. Yang, M. Zhang, W. Guo, W. Wang, Convwin-unet: unet-like hierarchical vision transformer combined with convolution for medical image segmentation, Math. Biosci. Eng., 20 (2023), 128–144. https://doi.org/10.3934/mbe.2023007 doi: 10.3934/mbe.2023007
![]() |
[9] |
M. Abdar, M. A. Fahami, L. Rundo, P. Radeva, A. F. Frangi, U. R. Acharya, et al., Hercules: deep hierarchical attentive multilevel fusion model with uncertainty quantification for medical image classification, IEEE Trans. Ind. Inf., 19 (2023), 274–285. https://doi.org/10.1109/TII.2022.3168887 doi: 10.1109/TII.2022.3168887
![]() |
[10] |
Z. Yang, Y. Bao, Y. Liu, Q. Zhao, H. Zheng, Research on deep learning garbage classification system based on fusion of image classification and object detection classification, Math. Biosci. Eng., 20 (2022), 4741–4759. https://doi.org/10.3934/mbe.2023219 doi: 10.3934/mbe.2023219
![]() |
[11] |
H. Rastegar, D. Giveki, Designing a new deep convolutional neural network for skin lesion recognition, Multimedia Tools Appl., 82 (2023), 18907–18923. https://doi.org/10.1007/s11042-022-14181-4 doi: 10.1007/s11042-022-14181-4
![]() |
[12] |
Z. Wu, C. Liu, J. Wen, Y. Xu, J. Yang, X. Li, Selecting high-quality proposals for weakly supervised object detection with bottom-up aggregated attention and phase-aware loss, IEEE Trans. Image Process., 32 (2023), 682–693. https://doi.org/10.1109/TIP.2022.3231744 doi: 10.1109/TIP.2022.3231744
![]() |
[13] |
T. Diwan, G. Anirudh, J. V. Tembhurne, Object detection using yolo: challenges, architectural successors, datasets and applications, Multimedia Tools Appl., 82 (2023), 9243–9275. https://doi.org/10.1007/s11042-022-13644-y doi: 10.1007/s11042-022-13644-y
![]() |
[14] |
T. Shen, F. Huang, X. Zhang, CT medical image segmentation algorithm based on deep learning technology, Math. Biosci. Eng., 20 (2023), 10954–10976. https://doi.org/10.3934/mbe.2023485 doi: 10.3934/mbe.2023485
![]() |
[15] |
Y. Zhong, Z. Tang, H. Zhang, Y. Xie, X. Gao, A froth image segmentation method via generative adversarial networks with multi-scale self-attention mechanism, Multimedia Tools Appl., 2023. https://doi.org/10.1007/s11042-023-16397-4 doi: 10.1007/s11042-023-16397-4
![]() |
[16] |
S. Xue, H. Wang, X. Guo, M. Sun, K. Song, Y. Shao, et al., Cts-net: A segmentation network for glaucoma optical coherence tomography retinal layer images, Bioengineering, 10 (2023), 230. https://doi.org/10.3390/bioengineering10020230 doi: 10.3390/bioengineering10020230
![]() |
[17] |
H. Li, X. Tao, T. Liang, J. Jiang, J. Zhu, S. Wu, et al., Comprehensive ai-assisted tool for ankylosing spondylitis based on multicenter research outperforms human experts, Front. Public Health, 11 (2023), 1063633. https://doi.org/10.3389/fpubh.2023.1063633 doi: 10.3389/fpubh.2023.1063633
![]() |
[18] |
B. Cassidy, C. Kendrick, A. Brodzicki, J. Jaworek-Korjakowska, M. H. Yap, Analysis of the isic image datasets: usage, benchmarks and recommendations, Med. Image Anal., 75 (2022), 102305. https://doi.org/10.1016/j.media.2021.102305 doi: 10.1016/j.media.2021.102305
![]() |
[19] |
P. Tang, Q. Liang, X. Yan, S. Xiang, D. Zhang, Gp-cnn-dtel: Global-part cnn model with data-transformed ensemble learning for skin lesion classification, IEEE J. Biomed. Health. Inf., 24 (2020), 2870–2882. https://doi.org/10.1109/JBHI.2020.2977013 doi: 10.1109/JBHI.2020.2977013
![]() |
[20] |
X. He, Y. Wang, S. Zhao, C. Yao, Deep metric attention learning for skin lesion classification in dermoscopy images, Complex Intell. Syst., 8 (2022), 1487–1504. https://doi.org/10.1007/s40747-021-00587-4 doi: 10.1007/s40747-021-00587-4
![]() |
[21] |
F. Golnoori, F. Z. Boroujeni, A. Monadjemi, Metaheuristic algorithm based hyper-parameters optimization for skin lesion classification, Multimedia Tools Appl., 82 (2023), 25677–25709. https://doi.org/10.1007/s11042-023-14429-7 doi: 10.1007/s11042-023-14429-7
![]() |
[22] |
S. Ayas, Multiclass skin lesion classification in dermoscopic images using swin transformer model, Neural Comput. Appl., 35 (2023), 6713–6722. https://doi.org/10.1007/s00521-022-08053-z doi: 10.1007/s00521-022-08053-z
![]() |
[23] |
Z. Wei, Q. Li, H. Song, Dual attention based network for skin lesion classification with auxiliary learning, Biomed. Signal Process. Control, 74 (2022), 103549. https://doi.org/10.1016/j.bspc.2022.103549 doi: 10.1016/j.bspc.2022.103549
![]() |
[24] |
L. Wang, L. Zhang, X. Shu, Z. Yi, Intra-class consistency and inter-class discrimination feature learning for automatic skin lesion classification, Med. Image Anal., 85 (2023), 102746. https://doi.org/10.1016/j.media.2023.102746 doi: 10.1016/j.media.2023.102746
![]() |
[25] | M. Versaci, G. Angiulli, F. La Foresta, P. Crucitti, F. Lagana, D. Pellicano, et al., Innovative soft computing techniques for the evaluation of the mechanical stress state of steel plates, in Applied Intelligence and Informatics, (2022), 14–28. https://doi.org/10.1007/978-3-031-24801-6_2 |
[26] |
D. Zhuang, K. Chen, J. M. Chang, Cs-af: A cost-sensitive multi-classifier active fusion framework for skin lesion classification, Neurocomputing, 491 (2022), 206–216. https://doi.org/10.1016/j.neucom.2022.03.042 doi: 10.1016/j.neucom.2022.03.042
![]() |
[27] |
Y. Wang, Y. Feng, L. Zhang, J. T. Zhou, Y. Liu, R. S. M. Goh, et al., Adversarial multimodal fusion with attention mechanism for skin lesion classification using clinical and dermoscopic images, Med. Image Anal., 81 (2022), 102535. https://doi.org/10.1016/j.media.2022.102535 doi: 10.1016/j.media.2022.102535
![]() |
[28] |
X. Deng, Q. Yin, P. Guo, Efficient structural pseudoinverse learning-based hierarchical representation learning for skin lesion classification, Complex Intell. Syst., 8 (2022), 1445–1457. https://doi.org/10.1007/s40747-021-00588-3 doi: 10.1007/s40747-021-00588-3
![]() |
[29] |
S. Zhou, S. Tian, L. Yu, W. Wu, D. Zhang, Z. Peng, et al., Fixmatch-ls: Semi-supervised skin lesion classification with label smoothing, Biomed. Signal Process. Control, 84 (2023), 104709. https://doi.org/10.1016/j.bspc.2023.104709 doi: 10.1016/j.bspc.2023.104709
![]() |
[30] |
Y. Wan, Y. Cheng, M. Shao, Mslanet: Multi-scale long attention network for skin lesion classification, Appl. Intell., 53 (2023), 12580–12598. https://doi.org/10.1007/s10489-022-03320-x doi: 10.1007/s10489-022-03320-x
![]() |
[31] |
K. A. Ogudo, R. Surendran, O. I. Khalaf, Optimal artificial intelligence based automated skin lesion detection and classification model, Comput. Syst. Sci. Eng., 44 (2023), 693–707. https://doi.org/10.32604/csse.2023.024154 doi: 10.32604/csse.2023.024154
![]() |
[32] |
W. X. Tsai, Y. C. Li, C. H. Lin, Skin lesion classification based on multi-model ensemble with generated levels-of-detail images, Biomed. Signal Process. Control, 85 (2023), 105068. https://doi.org/10.1016/j.bspc.2023.105068 doi: 10.1016/j.bspc.2023.105068
![]() |
[33] |
F. Miao, L. Yao, X. Zhao, Adaptive margin aware complement-cross entropy loss for improving class imbalance in multi-view sleep staging based on eeg signals, IEEE Trans. Neural Syst. Rehabil. Eng., 30 (2022), 2927–2938. https://doi.org/10.1109/TNSRE.2022.3213848 doi: 10.1109/TNSRE.2022.3213848
![]() |
[34] |
D. Zabihzadeh, A. Tuama, A. Karami-Mollaee, S. J. Mousavirad, Low-rank robust online distance/similarity learning based on the rescaled hinge loss, Appl. Intell., 53 (2023), 634–657. https://doi.org/10.1007/s10489-022-03419-1 doi: 10.1007/s10489-022-03419-1
![]() |
[35] | T. Y. Lin, P. Goyal, R. Girshick, K. He, P. Dollár, Focal loss for dense object detection, in Proceedings of the IEEE International Conference on Computer Vision (ICCV), (2017), 2980–2988. |
[36] |
G. Yue, P. Wei, T. Zhou, Q. Jiang, W. Yan, T. Wang, Toward multicenter skin lesion classification using deep neural network with adaptively weighted balance loss, IEEE Trans. Med. Imaging, 42 (2022), 119–131. https://doi.org/10.1109/TMI.2022.3204646 doi: 10.1109/TMI.2022.3204646
![]() |
[37] |
J. Du, K. Guan, P. Liu, Y. Li, T. Wang, Boundary-sensitive loss function with location constraint for hard region segmentation, IEEE J. Biomed. Health. Inf., 27 (2022), 992–1003. https://doi.org/10.1109/JBHI.2022.3222390 doi: 10.1109/JBHI.2022.3222390
![]() |
[38] |
K. Chaitanya, E. Erdil, N. Karani, E. Konukoglu, Local contrastive loss with pseudo-label based self-training for semi-supervised medical image segmentation, Med. Image Anal., 87 (2023), 102792. https://doi.org/10.1016/j.media.2023.102792 doi: 10.1016/j.media.2023.102792
![]() |
[39] | K. He, X. Zhang, S. Ren, J. Sun, Deep residual learning for image recognition, in Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR), (2016), 770–778. |
[40] | M. Tan, Q. Le, Efficientnetv2: Smaller models and faster training, in Proceedings of the 38th International Conference on Machine Learning, 139 (2021), 10096–10106. |
[41] | Z. Liu, H. Mao, C. Y. Wu, C. Feichtenhofer, T. Darrell, S. Xie, A convnet for the 2020s, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), (2022), 11976–11986. |
[42] |
X. Wu, Z. Tao, B. Jiang, T. Wu, X. Wang, H. Chen, Domain knowledge-enhanced variable selection for biomedical data analysis, Inf. Sci., 606 (2022), 469–488. https://doi.org/10.1016/j.ins.2022.05.076 doi: 10.1016/j.ins.2022.05.076
![]() |
[43] | A. Marghoob, R. Braun, An Atlas of Dermoscopy, CRC Press, 2012. https://doi.org/10.3109/9781841847627 |
[44] | F. Schroff, D. Kalenichenko, J. Philbin, Facenet: A unified embedding for face recognition and clustering, in 2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), (2015), 815–823. https://doi.org/10.1109/CVPR.2015.7298682 |
[45] |
P. Tschandl, C. Rosendahl, H. Kittler, The ham10000 dataset, a large collection of multi-source dermatoscopic images of common pigmented skin lesions, Sci. Data, 5 (2018), 180161. https://doi.org/10.1038/sdata.2018.161 doi: 10.1038/sdata.2018.161
![]() |
[46] | M. Combalia, N. C. F. Codella, V. Rotemberg, B. Helba, V. Vilaplana, O. Reiter, et al., Bcn20000: Dermoscopic lesions in the wild, preprint, arXiv: 1908.02288. |
[47] | J. Deng, W. Dong, R. Socher, L. J. Li, K. Li, F. F. Li, Imagenet: A large-scale hierarchical image database, in 2009 IEEE Conference on Computer Vision and Pattern Recognition, (2009), 248–255. https://doi.org/10.1109/CVPR.2009.5206848 |
[48] | Y. Cui, M. Jia, T. Y. Lin, Y. Song, S. Belongie, Class-balanced loss based on effective number of samples, in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), (2019), 9268–9277. |
1. | Skander Hachicha, Najmeddine Attia, Probabilistic approaches to exploring Binet's type formula for the Tribonacci sequence, 2025, 10, 2473-6988, 11957, 10.3934/math.2025540 |