Cancer is a disease that causes abnormal cell formation and spreads throughout the body, causing harm to other organs. Breast cancer is the most common kind among many of cancers worldwide. Breast cancer affects women due to hormonal changes or genetic mutations in DNA. Breast cancer is one of the primary causes of cancer worldwide and the second biggest cause of cancer-related deaths in women. Metastasis development is primarily linked to mortality. Therefore, it is crucial for public health that the mechanisms involved in metastasis formation are identified. Pollution and the chemical environment are among the risk factors that are being indicated as impacting the signaling pathways involved in the construction and growth of metastatic tumor cells. Due to the high risk of mortality of breast cancer, breast cancer is potentially fatal, more research is required to tackle the deadliest disease. We considered different drug structures as chemical graphs in this research and computed the partition dimension. This can help to understand the chemical structure of various cancer drugs and develop formulation more efficiently.
Citation: Qingqun Huang, Adnan Khalil, Didar Abdulkhaleq Ali, Ali Ahmad, Ricai Luo, Muhammad Azeem. Breast cancer chemical structures and their partition resolvability[J]. Mathematical Biosciences and Engineering, 2023, 20(2): 3838-3853. doi: 10.3934/mbe.2023180
[1] | Jun Pan, Yuelong Tang . Two-grid H1-Galerkin mixed finite elements combined with L1 scheme for nonlinear time fractional parabolic equations. Electronic Research Archive, 2023, 31(12): 7207-7223. doi: 10.3934/era.2023365 |
[2] | Hao Wang, Wei Yang, Yunqing Huang . An adaptive edge finite element method for the Maxwell's equations in metamaterials. Electronic Research Archive, 2020, 28(2): 961-976. doi: 10.3934/era.2020051 |
[3] | Victor Ginting . An adjoint-based a posteriori analysis of numerical approximation of Richards equation. Electronic Research Archive, 2021, 29(5): 3405-3427. doi: 10.3934/era.2021045 |
[4] | N. Bazarra, J. R. Fernández, R. Quintanilla . A dual-phase-lag porous-thermoelastic problem with microtemperatures. Electronic Research Archive, 2022, 30(4): 1236-1262. doi: 10.3934/era.2022065 |
[5] | Noelia Bazarra, José R. Fernández, Ramón Quintanilla . Numerical analysis of a problem in micropolar thermoviscoelasticity. Electronic Research Archive, 2022, 30(2): 683-700. doi: 10.3934/era.2022036 |
[6] | Wenyan Tian, Yaoyao Chen, Zhaoxia Meng, Hongen Jia . An adaptive finite element method based on Superconvergent Cluster Recovery for the Cahn-Hilliard equation. Electronic Research Archive, 2023, 31(3): 1323-1343. doi: 10.3934/era.2023068 |
[7] | Hsueh-Chen Lee, Hyesuk Lee . An a posteriori error estimator based on least-squares finite element solutions for viscoelastic fluid flows. Electronic Research Archive, 2021, 29(4): 2755-2770. doi: 10.3934/era.2021012 |
[8] | Ying Liu, Yanping Chen, Yunqing Huang, Yang Wang . Two-grid method for semiconductor device problem by mixed finite element method and characteristics finite element method. Electronic Research Archive, 2021, 29(1): 1859-1880. doi: 10.3934/era.2020095 |
[9] | Chunmei Wang . Simplified weak Galerkin finite element methods for biharmonic equations on non-convex polytopal meshes. Electronic Research Archive, 2025, 33(3): 1523-1540. doi: 10.3934/era.2025072 |
[10] | Guanrong Li, Yanping Chen, Yunqing Huang . A hybridized weak Galerkin finite element scheme for general second-order elliptic problems. Electronic Research Archive, 2020, 28(2): 821-836. doi: 10.3934/era.2020042 |
Cancer is a disease that causes abnormal cell formation and spreads throughout the body, causing harm to other organs. Breast cancer is the most common kind among many of cancers worldwide. Breast cancer affects women due to hormonal changes or genetic mutations in DNA. Breast cancer is one of the primary causes of cancer worldwide and the second biggest cause of cancer-related deaths in women. Metastasis development is primarily linked to mortality. Therefore, it is crucial for public health that the mechanisms involved in metastasis formation are identified. Pollution and the chemical environment are among the risk factors that are being indicated as impacting the signaling pathways involved in the construction and growth of metastatic tumor cells. Due to the high risk of mortality of breast cancer, breast cancer is potentially fatal, more research is required to tackle the deadliest disease. We considered different drug structures as chemical graphs in this research and computed the partition dimension. This can help to understand the chemical structure of various cancer drugs and develop formulation more efficiently.
In the present paper, we focus on the nonlocal dispersal equation with spatially dependent bistable nonlinearity
ut(x,t)=J∗u(x,t)−u(x,t)+f(x,u),x,t∈R, | (1) |
where the nonlinearity
(F) The nonlinearity
{f(x,u)=f1(u)forx≥0,u∈[0,1],f(x,u)=f2(u)forx≤−L,u∈[0,1],f2(u)≤f(x,u)≤f1(u),fu(x,u)<1forx∈[−L,0],u∈[0,1], | (2) |
where
fi∈C1,1([0,1]),fi(0)=fi(1)=0,f′i(0),f′i(1)<0,fi<0in(0,θi),fi>0in(θi,1),0<θ1<θ2<1,and∫10fi(s)ds>0,i=1,2. |
(J) The kernel function
{J(x)=J(−x),J(x)≥0,∫RJ(y)dy=1,∫R|J′(y)|dy<∞,∫RJ(y)e−λydy<∞for allλ>0. | (3) |
A typical example is
The nonlocal dispersal equation has attracted so much attention because of its extensive applications to account for diffusion phenomena involving jumps in biology, physics and chemistry [1,12]. Traveling waves as one kind of special solutions with invariant profile and fixed speed as well as entire solutions have been adequately investigated. It is well-known that the importance of the study of entire solutions of reaction-diffusion equations (nonlocal dispersal equations) is frequently recalled in the literature. Since the pioneering works of Hamel and Nadirashvili [13,14], there have been tremendous advances in studying the existence of entire solutions for various models. In particular, when the nonlinearity is homogeneous (i.e.
However, for the inhomogeneous nonlinearity, several works are devoted to transition fronts (see [3,19]) of nonlocal dispersal equations [17,20] and forced waves in shifting habitats [25]. Traveling waves and spreading speed of monostable nonlocal dispersal equations with space periodic nonlinearity were studied in [21]. Li et al. [16] further obtained the existence of entire solutions for space periodic nonlinearity. Particularly, Eberle [10,11] constructed a heteroclinic orbit connecting two traveling waves for bistable local dispersal equation 1 in cylinders. Meanwhile, Berestycki and Rodríguez [5] considered a bistable nonlocal dispersal equation with a gap in one dimension. As far as we know, there is no result on entire solutions for the nonlocal dispersal equation 1 with inhomogeneous nonlinearity
In this paper, we aim to construct an entire solution connecting traveling waves with the two different nonlinearities, motivated by [10,11]. By constructing suitable sub- and super-solutions, we establish the existence and uniqueness of the entire solution behaving as the traveling wave coming from one side and eventually going to the other side, which is different with the one constructed in [23] for the case
The crucial part of this paper is to figure out the long time asymptotic behavior of the entire solution. Since the lack of compactness of the nonlocal operator, we can not use the Lyapunov function argument as [10,11] to show that the entire solution converges to a translation of the other traveling wave as time goes to positive infinity. However, inspired by the idea in [7], we use a "squeezing" technique to address this issue. Furthermore, we also apply sub- and super-solutions method with comparison principle to establish Lyapunov stability of the entire solution. This can be done because that we can obtain a positive estimate on the derivative of the entire solution with respect to
Now we state the main results of this paper as follows.
Theorem 1.1. Let assumptions
u(x,t)−ϕ1(x+c1t)→0ast→−∞uniformly inx∈R |
and
u(x,t)−ϕ2(x+c2t+β)→0ast→+∞uniformly inx∈R |
for some
{J∗ϕi−ϕi+fi(ϕi)−ciϕ′i=0,ϕi(−∞)=0,ϕi(+∞)=1,0<ϕi<1. | (4) |
Theorem 1.2. The entire solution
|v(x,t,v0)−u(x+a,t+t0)|<ϵ |
for
The rest of this paper is organized as follows. In Section 2, we recall some results of the bistable traveling waves for homogeneous nonlinearities and prove the comparison principle for 1. Section 3 is devoted to constructing the unique entire solution. In Section 4, we study the asymptotic profile as time goes to positive infinity. Finally, we establish Lyapunov stability of the entire solution in Section 5.
In this section, some known results on the traveling waves of 4 are outlined and the comparison principle is established.
It follows from Theorem 2.7 in [2] and Theorem 2.7 in [23] that 4 admits a solution
{β0eλ0z≤ϕ1(z)≤α0eλ0z,z≤0,β1e−λ1z≤1−ϕ1(z)≤α1e−λ1z,z>0, | (5) |
where
cλ0=∫RJ1(y)e−λ0ydy−1+f′1(0)andcλ1=∫RJ1(y)e−λ1ydy−1+f′1(1), |
respectively. Moreover, we have
{˜β0eλ0z≤ϕ′1(z)≤˜α0eλ0z,z≤0,˜β1e−λ1z≤ϕ′1(z)≤˜α1e−λ1z,z>0 | (6) |
for some constants
|f1(u+v)−f1(u)−f1(v)|≤Lfuvfor0≤u,v≤1. |
We show that the following comparison principle holds by a contradiction argument.
Proposition 1. Suppose that assumptions
{∂u(x,t)∂t−(∫RJ(x−y)[u(y,t)−u(x,t)]dy)−f(x,u(x,t))≥0,∀(x,t)∈R×(0,T],u(x,0)≥0,x∈R, |
{∂v(x,t)∂t−(∫RJ(x−y)[v(y,t)−v(x,t)]dy)−f(x,v(x,t))≤0,∀(x,t)∈R×(0,T],v(x,0)≤0,x∈R, |
respectively. Then,
u(x,t)≥v(x,t)inR×[0,T]. |
Furthermore, if
Proof of Proposition 1. Let
limn→+∞ˇw(xn,tn)=infR×[0,ϵ0T]ˇw(x,t)<0. |
Observe that
ˇwt(x,t)=Zˇw(x,t)+eZtˉwt(x,t)≥Zˇw(x,t)+eZt∫RJ(x−y)[ˉw(y,t)−ˉw(x,t)]dy+eZt[f(x,u(x,t))−f(x,v(x,t))]=Zˇw(x,t)+∫RJ(x−y)[ˇw(y,t)−ˇw(x,t)]dy+fu(x,uθ(x,t))ˇw(x,t). |
where
ˇw(xn,tn)−ˇw(xn,0)≥∫tn0[J∗ˇw(xn,s)−ˇw(xn,s)+Zˇw(xn,s)+fu(x,uθ(x,s))ˇw(xn,s)]ds≥∫tn0[J∗ˇw(xn,s)+(‖fu(x,u)‖∞−fu(x,uθ(x,s)))infR×[0,ϵ0T]ˇw(x,t)]ds. |
Letting
infR×[0,ϵ0T]ˇw(x,t)≥(1+‖fu(x,u)‖∞−minR×[0,1]|fu(x,uθ(x,s))|)ϵ0TinfR×[0,ϵ0T]ˇw(x,t). |
Since
infR×[0,ϵ0T]ˇw(x,t)≥(1+‖fu(x,u)‖∞−minR×[0,1]|fu(x,uθ(x,s))|)ϵ0TinfR×[0,ϵ0T]ˇw(x,t)>infR×[0,ϵ0T]ˇw(x,t). |
Thus, we get a contradiction. Therefore, we obtain
infR×[0,ϵ0T]ˇw(x,t)≥(1+‖fu(x,u)‖∞−minR×[0,1]|fu(x,uθ(x,s))|−ϵinfR×[0,ϵ0T]ˇw(x,t))ϵ0TinfR×[0,ϵ0T]ˇw(x,t). |
Here, we can also choose
(1+‖fu(x,u)‖∞−minR×[0,1]|fu(x,uθ(x,s))|−ϵinfR×[0,ϵ0T]ˇw(x,t))ϵ0T<1. |
This finishes the proof.
In this section, we focus on the construction of the entire solution which behaves like a traveling wave approaching from infinity. The main idea is to establish suitable sub- and super-solutions, which are defined as follows.
W−(x,t)={ϕ1(x+c1t−ξ(t))−ϕ1(−x+c1t−ξ(t)),x≥0,0,x<0, |
and
W+(x,t)={ϕ1(x+c1t+ξ(t))+ϕ1(−x+c1t+ξ(t)),x≥0,2ϕ1(c1t+ξ(t)),x<0, |
here
˙ξ(t)=Meλ(c1t+ξ),t<−T,ξ(−∞)=0, |
where
ξ(t)=1λln11−c−11Meλc1t. |
For the function
c1t+ξ(t)≤0for−∞<t≤−T, |
where
Now we verify that
Lu=ut−(J∗u−u)−f(x,u). |
We first deal with the sub-solution
LW−(x,t)=(c1−˙ξ(t))[ϕ′1(x+c1t−ξ(t))−ϕ′1(−x+c1t−ξ(t))]−∫+∞0J(x−y)[ϕ1(y+c1t−ξ(t))−ϕ1(−y+c1t−ξ(t))]dy+[ϕ1(x+c1t−ξ(t))−ϕ1(−x+c1t−ξ(t))]−f(x,W−)=−˙ξ(t)[ϕ′1(x+c1t−ξ(t))−ϕ′1(−x+c1t−ξ(t))]+∫0−∞J(x−y)[ϕ1(y+c1t−ξ(t))−ϕ1(−y+c1t−ξ(t))]dy+f1(ϕ1(x+c1t−ξ(t)))−f1(ϕ1(−x+c1t−ξ(t)))−f(x,W−). |
Recall that
LW−(x,t)≤−˙ξ(t)[ϕ′1(x+c1t−ξ(t))−ϕ′1(−x+c1t−ξ(t))]+f1(ϕ1(x+c1t−ξ(t)))−f1(ϕ1(−x+c1t−ξ(t)))−f1(ϕ1(x+c1t−ξ(t))−ϕ1(−x+c1t−ξ(t))). |
Then we continue to show
Case 1. For
ϕ′1(x+c1t−ξ(t))−ϕ′1(−x+c1t−ξ(t))>m[ϕ1(x+c1t−ξ(t))−ϕ1(−x+c1t−ξ(t))] |
for some
LW−(x,t)≤−˙ξ(t)[ϕ′1(x+c1t−ξ(t))−ϕ′1(−x+c1t−ξ(t))]+Lfϕ1(−x+c1t−ξ(t)))[ϕ1(x+c1t−ξ(t))−ϕ1(−x+c1t−ξ(t))]≤[ϕ1(x+c1t−ξ(t))−ϕ1(−x+c1t−ξ(t))][−mMeλ(c1t+ξ(t))+Lfα0eλ0(−x+c1t−ξ(t))]=[ϕ1(x+c1t−ξ(t))−ϕ1(−x+c1t−ξ(t))]eλ(c1t+ξ(t))[−mM+Lfα0eλ0(−x−2ξ(t))]. |
Therefore, if we choose
Case 2. For
LW−(x,t)≤−Meλ(c1t+ξ(t))[~β1e−λ1(x+c1t−ξ(t))−˜αeλ0(−x+c1t−ξ(t))]+Lfα0eλ0(−x+c1t−ξ(t))[α1e−λ1(x+c1t−ξ(t))−β0eλ0(−x+c1t−ξ(t))]≤−eλ0(−x+c1t−ξ(t))[M~β1e(λ0−λ1)xe−(λ0+λ1−λ)c1t+(λ+λ0+λ1)ξ(t))−M˜αeλ(c1t+ξ(t))−Lfα0]. |
Since
For
LW−(x,t)≤Meλ(c1t+ξ(t))ϕ′1(−x+c1t−ξ(t))+f1(ϕ1(x+c1t−ξ(t)))−f1(ϕ1(−x+c1t−ξ(t)))−f1(ϕ1(x+c1t−ξ(t))−ϕ1(−x+c1t−ξ(t))). |
Moreover, if
LW−(x,t)≤Meλ(c1t+ξ(t))ϕ′1(−x+c1t−ξ(t))+[f′1(1)−f′(0)]ϕ1(−x+c1t−ξ(t))+o(ϕ1(−x+c1t−ξ(t)))≤eλ0(−x+c1t−ξ(t))[M˜α0eλ(c1t+ξ(t))+(f′1(1)−f′(0))−o(1)]. |
Since
LW−(x,t)≤−eλ0(−x+c1t−ξ(t))[M~β1e(λ0−λ1)xe−(λ0+λ1−λ)c1t+(λ+λ0+λ1)ξ(t))−M˜αeλ(c1t+ξ(t))−Lfα0]≤−eλ0(−x+c1t−ξ(t))[M~β1e(λ0−λ1)Le(λ−2λ0)c1t+(λ+2λ0)ξ(t))−M˜αeλ(c1t+ξ(t))−Lfα0]. |
Thanks to
LW−(x,t)≤0. |
We intend to testify the super-solution
Step 1.
LW+(x,t)=2(c1+˙ξ(t))ϕ′1(c1t+ξ(t))−∫RJ(x−y)W+(y,t)dy+2ϕ1(c1t+ξ(t))−f(x,2ϕ1(c1t+ξ(t)))≥2(c1+˙ξ(t))ϕ′1(c1t+ξ(t))−f1(2ϕ1(c1t+ξ(t)))−∫+∞0J(x−y)[ϕ1(y+c1t+ξ(t))+ϕ1(−y+c1t+ξ(t))]dy. |
Denote
I=∫+∞0J(x−y)[ϕ1(y+c1t+ξ(t))+ϕ1(−y+c1t+ξ(t))]dy. |
Then, it follows that
I=∫−c1t−ξ(t)0J(x−y)[ϕ1(y+c1t+ξ(t))+ϕ1(−y+c1t+ξ(t))]dy+∫+∞−c1t−ξ(t)J(x−y)[ϕ1(y+c1t+ξ(t))+ϕ1(−y+c1t+ξ(t))]dy≤α0eλ0(c1t+ξ(t))∫+∞0J(x−y)[eλ0y+e−λ0y]dy+2∫+∞−c1t−ξ(t)J(x−y)dy. |
Let
Jλ0=∫+∞0J(y)[eλ0y+e−λ0y]dy. |
It follows from assumption
J(x)≤KJe2λ0xforx≥0. |
Furthermore, there hold
I≤Jλ0α0eλ0(c1t+ξ(t))+2KJ∫+∞−c1t−ξ(t)e2λ0(x−y)dy≤Jλ0α0eλ0(c1t+ξ(t))+2KJλ0e2λ0(c1t+ξ(t)). |
Therefore, according to
LW+(x,t)≥2(c1+˙ξ(t))ϕ′1(c1t+ξ(t))−Jλ0α0eλ0(c1t+ξ(t))−2KJλ0e2λ0(c1t+ξ(t))−f1(2ϕ1(c1t+ξ(t)))≥(2c1~β0−α0Jλ0−2f′1(0)β0−o(1))eλ0(c1t+ξ(t))+(2M~β0−2KJλ0)e2λ0(c1t+ξ(t)). |
Since
M>KJ~β0λ0andJλ0<2c1~β0+2|f′1(0)|β0α0, |
consequently, we have
Step 2. For
LW+(x,t)=(c1+˙ξ(t))[ϕ′1(x+c1t+ξ(t))+ϕ′1(−x+c1t+ξ(t))]−∫RJ(x−y)W+(y,t)dy+[ϕ1(x+c1t+ξ(t))+ϕ1(−x+c1t+ξ(t))]−f1(W+)=˙ξ(t)[ϕ′1(x+c1t+ξ(t))+ϕ′1(−x+c1t+ξ(t))]+∫0−∞J(x−y)[ϕ1(y+c1t+ξ(t))+ϕ1(−y+c1t+ξ(t))−2ϕ1(c1t+ξ(t))]dy+f1(ϕ1(x+c1t+ξ(t)))+f1(ϕ1(−x+c1t+ξ(t)))−f1(ϕ1(x+c1t+ξ(t))+ϕ1(−x+c1t+ξ(t))). |
Denote
II=∫0−∞J(x−y)[ϕ1(y+c1t+ξ(t))+ϕ1(−y+c1t+ξ(t))−2ϕ1(c1t+ξ(t))]dy. |
We consider two cases.
Case 1.
II=∫0c1t+ξ(t)J(x−y)[ϕ1(y+c1t+ξ(t))+ϕ1(−y+c1t+ξ(t))−2ϕ1(c1t+ξ(t))]dy+∫c1t+ξ(t)−∞J(x−y)[ϕ1(y+c1t+ξ(t))+ϕ1(−y+c1t+ξ(t))−2ϕ1(c1t+ξ(t))]dy≥∫0c1t+ξ(t)J(x−y)Cλ0eλ0(c1t+ξ(t))[eλ0y+e−λ0y−2−(2+e(λ0+η)y+e−(λ0+η)y)Cηeη(c1t+ξ(t))]dy≥−(2+Jη)Cλ0Cηe(λ0+η)(c1t+ξ(t)). |
The second inequality follows from
|ϕ1(x)−Cλ0eλ0x|≤Cηe(λ0+η)xforx≤0and some0<η<λ0, |
which can be easily obtained by 5 and 6. As a consequence,
LW+(x,t)≥Me(λ+λ0)(c1t+ξ(t))~β0(eλ0x+e−λ0x)−(2+Jη)Cλ0Cηe(λ0+η)(c1t+ξ(t))−Lfα20e2λ0(c1t+ξ(t)))≥e(λ+λ0)(c1t+ξ(t))[2M~β0−(2+Jη)Cλ0Cηe(η−λ)(c1t+ξ(t))−Lfα20e(λ0−λ)(c1t+ξ(t))]≥e(λ+λ0)(c1t+ξ(t))[2M~β0−(2+Jη)Cλ0Cη−Lfα20]. |
The last inequality holds since
M≥(2+Jη)Cλ0Cη+Lfα202~β0. |
Case 2. Here
II≥−∫0c1t+ξ(t)J(x−y)Cλ0eλ0(c1t+ξ(t))(2+e(λ0+η)y+e−(λ0+η)y)Cηeη(c1t+ξ(t))dy≥−Cλ0CηKJe(λ0+η)(c1t+ξ(t))∫0c1t+ξ(t)e−2λ0(x−y)(3+e−(λ0+η)y)dy≥−Cλ0CηKJeλ0(−x+c1t+ξ(t))−λ0x(3λ0eη(c1t+ξ(t))+1η). |
Moreover, if
LW+(x,t)≥Meλ(c1t+ξ(t))(~β1e−λ1(x+c1t+ξ(t))+~β0eλ0(−x+c1t+ξ(t)))−Lfα0eλ0(−x+c1t+ξ(t))−Cλ0CηKJeλ0(−x+c1t+ξ(t))(3λ0eη(c1t+ξ(t))+1η)≥eλ(c1t+ξ(t))+λ0(−x+c1t+ξ(t))[M~β1e(λ0−λ1)x−(λ0+λ1)(c1t+ξ(t))−3Cλ0CηKJλ0e(η−λ)(c1t+ξ(t))−(Lfα0+Cλ0CηKJη)e−λ(c1t+ξ(t))]. |
Remember that
M~β1−3Cλ0CηKJλ0−(Lfα0+Cλ0CηKJη)≥0. | (7) |
This yields that
If
f1(ϕ1(x+c1t+ξ(t)))+f1(ϕ1(−x+c1t+ξ(t)))−f1(W+)=[f′1(0)−f′1(1)]ϕ1(−x+c1t+ξ(t))+o(ϕ1(−x+c1t+ξ(t))). |
Meanwhile,
LW+(x,t)≥eλ(c1t+ξ(t))+λ0(−x+c1t+ξ(t))(M~β1e(λ0−λ1)x−(λ0+λ1)(c1t+ξ(t))−3Cλ0CηKJλ0e(η−λ)(c1t+ξ(t)))+([f′1(0)−f′1(1)]β0−Cλ0CηKJηe−λ0x)eλ0(−x+c1t+ξ(t)). |
Then
[f′1(0)−f′1(1)]β0−Cλ0CηKJηe−λ0x≥0. |
When
LW+(x,t)≥eλ(c1t+ξ(t))+λ0(−x+c1t+ξ(t))[M~β1e(λ0−λ1)x−(λ0+λ1)(c1t+ξ(t))−3Cλ0CηKJλ0e(η−λ)(c1t+ξ(t))−(Lfα0+Cλ0CηKJη)e−λ(c1t+ξ(t))]≥eλ(c1t+ξ(t))+λ0(−x+c1t+ξ(t))[M~β1e(λ0−λ1)M−2λ0(c1t+ξ(t))−3Cλ0CηKJλ0e(η−λ)(c1t+ξ(t))−(Lfα0+Cλ0CηKJη)e−λ(c1t+ξ(t))]. |
Similar to the case
Proof of Theorem 1.1. Let
{(un)t(x,t)=J∗un(x,t)−un(x,t)+f(x,un),x∈R,t>−n,un(x,−n)=W−(x,−n),x∈R. |
Since
W−(x,t)≤un(x,t)≤W+(x,t)forx∈R,t∈[−n,−T]. |
Moreover, since
{v′(t)=Lη−mv(t),t>−n,v(−n)=Mη, |
where
Proposition 2. Let
|u(x+η,t)−u(x,t)|≤M′η, |
and
|∂u(x+η,t)∂t−∂u(x,t)∂t|≤M"η |
for
The proof is similar to that of Proposition 3.1 in [23] by virtue of the fact
As for the uniqueness, since it is easy to see
In this section, we are going to show the entire solution established in previous section converges to a shift of
ω<min{|f′1(0)|4,|f′2(0)|4,|f′1(1)|4,|f′2(1)|4}, |
there hold
ϕ1(x),ϕ2(x)≤σ2forx≤−Xandϕ1(x),ϕ2(x)≥1−σ2forx≥X, |
besides,
f′1(s),f′2(s)≤−ωfors∈[0,σ]∪[1−σ,1]. |
Theorem 4.1. Let assumptions
u(x,t)−ϕ1(x+c1t)→0ast→−∞uniformly inx∈R. | (8) |
Then
u(x,t)−ϕ2(x+c2t+β)→0ast→+∞uniformly inx∈R |
for some
Lemma 4.2. Suppose assumptions
u(x,t)≥max{ϕ2(x+c2t−β−)−δ−e−ωt,0} |
for
Proof of Lemma 4.2. In fact, it follows from 8 that there exists
|u(x,t−)−ϕ1(x+c1t−)|≤ϵ−2 |
for any
˜u(x,t)=u(x,t+t−)andu_(x,t)=max{ϕ2(ξ−(x,t))−Cve−ωt,0}, |
where
ξ−(x,t)=x+c2(t+t−)−β0+Cve−ωt−Cvfort≥0,x∈R. |
We first show
ϕ1(x+c1t−)≥1−ϵ−2andϕ2(x+c2t−)≥1−ϵ−2forx≥x1. |
As
1−ϵ−2≤u(x,t)≤1and1−ϵ−2≤ϕi≤1,i=1,2 |
for
|ϕi−u(x,t)|≤ϵ−,i=1,2fort≥t−,x≥x1. |
Meanwhile, there exists
0<ϕi(x+cit−)≤ϵ−2,i=1,2forx≤x2. |
Particularly, there holds
|u(x,t−)−ϕ2(x+c2t−)|≤ϵ−forx∈R∖(x1,x2). |
In addition,
ϕ2(x+c2t–β0)≤u(x,t−)forx∈[x1,x2]. |
From all the discussion above we obtain
Lu_(x,t)=u_t(x,t)−(J∗u_(x,t)−u_(x,t))−f(x,u_)≤0fort≥0,x∈R. |
In fact, we only need to consider
Lu_(x,t)=(c2−Cvωe−ωt)ϕ′2(ξ−(x,t))+Cvωe−ωt−∫RJ(x−y)ϕ2(ξ−(y,t))dy+ϕ2(ξ−(x,t))−f(x,u_(x,t))≤−Cvωe−ωtϕ′2(ξ−(x,t))+f2(ϕ2(ξ−(x,t)))−f2(ϕ2(ξ−(x,t))−Cve−ωt)+Cvωe−ωt. |
In the following, we continue the proof in three cases.
Case
ϕ2(ξ−)−Cve−ωt≤ϕ2(ξ−)≤σ. |
Then, by
Lu_(x,t)≤(f′2(0)+2ω)Cve−ωt≤0. |
Case
1−σ≤1−σ2−Cv≤ϕ2(ξ−)−Cve−ωt≤ϕ2(ξ−)<1. |
Then, since
Lu_(x,t)≤(f′2(1)+2ω)Cve−ωt≤0. |
Case
Lu_(x,t)≤−τ0Cvωe−ωt+‖f′2‖∞Cve−ωt+Cvωe−ωt≤(‖f′2‖∞Cv++Cvω−τ0Cvω)e−ωt. |
Choose
Similarly, we can prove the following lemma.
Lemma 4.3. Under the assumptions of Lemma 4.2, there exist
min{ϕ1(x+c1t+β+)+C+e−ωt,1}≥u(x,t) |
for
Now we are in a position to establish an important lemma.
Lemma 4.4. Under the assumptions of Lemma 4.2, there exist
min{ϕ2(x+c2t+β)+Ce−ωt,1}≥u(x,t) |
for
Proof of Lemma 4.4. Define
ξ+(x,t)=x+c2(t+T)+β++V(t),V(t)=KV∫t0v(s)ds, |
and
v(t)=(ϵ1+C3)e−ωt−C3e−λ1c2t |
for
c2λ1=∫RJ(x−y)e−λ1ydy−1+f′2(1). |
Then
v(0)=ϵ1,0<v(t)<σ2fort≥0 |
and
˙v(t)=−ωv(t)−(w−λ1c2)C3eλ1c2tfort≥0. |
Now we intend to show
|f1(s)−f2(s)|≤C0|1−s|fors∈[0,1]. |
Since
ϕ1(x+c1T+β+)<ϵ12andϕ2(x+c2T)<ϵ1forx<x3 |
as well as
ϕ2(x+c2T−β−)≥1−ϵ1andϕ2(x+c2T)≥1−ϵ1 |
for
max{C+,δ−}e−ωT<ϵ12andX−c2T≤−x0. |
Therefore, it is obvious that
u(x,T)≤min{ϕ2(x+c2T)+ϵ1,1}≤¯u(x,0)forx∈R∖(x3,x4). |
Furthermore, since
ϕ2(x+c2T+β+)≥u(x,T)forx∈[x3,x4]. |
This yields that
In the following, we are going to prove
L¯u(x,t)=¯ut(x,t)−(J∗¯u(x,t)−¯u(x,t))−f(x,¯u)≥0fort≥0,x∈R. |
Here we only need to consider
L¯u(x,t)=˙ξ+(x,t)ϕ′2(ξ+(x,t))+˙v(t)−∫RJ(x−y)ϕ2(ξ+(y,t))dy+ϕ2(ξ+(x,t))−f(x,ϕ2(ξ+(x,t))+v(t)) |
=˙V(t)ϕ′2(ξ+(x,t))+˙v(t)+f2(ϕ2(ξ+(x,t)))−f(x,ϕ2(ξ+(x,t))+v(t))≥{˙V(t)ϕ′2(ξ+(x,t))+˙v(t)+f2(ϕ2(ξ+(x,t)))−f2(ϕ2(ξ+(x,t))+v(t))forx<−L,˙V(t)ϕ′2(ξ+(x,t))+˙v(t)+f2(ϕ2(ξ+(x,t)))−f1(ϕ2(ξ+(x,t))+v(t))forx≥−L. |
We continue to prove
Case 1. If
L¯u(x,t)≥˙V(t)ϕ′2(ξ+(x,t))+˙v(t)+f1(ϕ2(ξ+(x,t)))−f1(ϕ2(ξ+(x,t))+v(t))−C0|1−ϕ2(ξ+(x,t))|≥˙V(t)ϕ′2(ξ+(x,t))+˙v(t)−(f′1(1)+ω)˙v(t)−C2C0e−λ1(x+c2(t+T)+β++V(t))≥˙V(t)ϕ′2(ξ+(x,t))+˙v(t)−(f′1(1)+ω)˙v(t)−C2C0e−λ1c2teλ1(L−c2T). |
Particularly, choose
˙v(t)=−ωv(t)+C2C0e−λ1c2teλ1(L−c2T), |
which means
C3=C2C0eλ1(L−c2T)λ1c2−ω. |
As a consequence,
L¯u(x,t)≥−(f′1(1)+2ω)v(t)≥0. |
In addition, if
L¯u(x,t)≥−ωv(t)−(w−λ1c2)C3eλ1c2t−(f′2(1)+ω)v(t)≥−(f′2(1)+2ω)v(t)≥0. |
Case 2. If
Case 3. For
L¯u(x,t)≥˙V(t)ϕ′2(ξ+(x,t))+˙v(t)−‖f′2‖∞v(t)≥˙V(t)τ0˙V(t)−ωv(t)−‖f′2‖∞v(t)≥(KVτ0−ω−‖f′2‖∞)v(t), |
where
KV≥ω+‖f′2‖∞τ0 |
that
Now we are ready to show that the entire solution converges to a shift of
\begin{equation*} \min\limits_{x\in[-n,n]}\{u_1(x,1)-u_2(x,1)\}\geq\zeta(n)\int_0^1[u_1(y,0)-u_2(y,0)]dy \; \text{for}\; m\geq1. \end{equation*} |
In fact, it follows from the comparison principle that
\begin{equation*} \begin{split} \breve{w}_t(x,t)\geq&K\breve{w}(x,t)+J*\breve{w}(x,t)-\breve{w}(x,t)+f(x,u(x,t))-f(x,v(x,t))\\ \geq&J*\breve{w}(x,t)+[K-(1+\max\limits_{s\in[-1,2]}|f_s(x,s)|)]\breve{w}(x,t)\\ \geq&J*\breve{w}(x,t), \end{split} \end{equation*} |
which implies that
\begin{equation*} \breve{w}(x,T)\geq\left(\frac{T}{N_0}\right)^NJ*\breve{w}(x,0)\geq\left(\frac{T}{N_0}\right)^N c(M)\int_0^1\breve{w}(y,0)dy, \end{equation*} |
where
\begin{equation*} c(M) = \min\limits_{x\in[-M-1,M+1]}J(x) > 0. \end{equation*} |
Thus, there exists a positive function
\begin{equation*} u(x,t)-v(x,t)\geq\eta(|x|,t)\int_0^1[u(y,0)-v(y,0)]dy\; \text{for}\; x\in\mathbb{R},t > 0, \end{equation*} |
which implies the assumption (A) holds.
Now, we start to prove the following lemma, which plays an important role in the proof of Theorem 4.1.
Lemma 4.5. Suppose that assumptions
\begin{equation} \phi_2(x+c_2\tau+\xi)-\delta\leq u(x,t)\leq\phi_2(x+c_2\tau+\xi+h)+\delta\; \mathit{\text{for}}\; x\in\mathbb{R}, \end{equation} | (9) |
then for every
\begin{align*} &\tilde{\xi}(t)\in\left[\xi-\delta\frac{\gamma}{C_m},\xi+h+\delta\frac{\gamma}{C_m}\right],\\ &\tilde{\delta}(t)\leq e^{-\omega(t-\tau-1)}\left[\delta+\epsilon_0 \min\{h,1\}\right],\\ &\tilde{h}(t)\leq\tau h-\frac{\gamma\epsilon_0}{C_m}\min\{h,1\}+2\delta\frac{\gamma}{C_m} \end{align*} |
such that 9 holds with
Proof of Lemma 4.5. In view of Lemmas 4.2 and 4.4, it is easy to see that
\begin{equation*} \phi_2(x+c_2t-\beta_-)-\delta_-e^{-\omega t}\leq u(x,t)\leq \phi_2(x+c_2t+\beta)+Ce^{-\omega t}. \end{equation*} |
Furthermore, as in the proofs of Lemmas 4.2 and 4.4,
\begin{equation*} \phi_2\left(x+c_2t-\beta^0+C^ve^{-\omega t}-C^v\right)-\delta_-e^{-\omega t}\leq u(x,t) \end{equation*} |
and
\begin{equation*} \phi_2\left(x+c_2t+\beta^++\frac{K_V}{\omega}-\frac{K_V}{\omega}e^{-\omega t}\right)+Ce^{-\omega t}\geq u(x,t). \end{equation*} |
Denote
\begin{equation*} \kappa = \max\{-\beta^0-\gamma\}, \; h = \beta^++\frac{K_V}{\omega}-\kappa. \end{equation*} |
In addition, by the definition of
\begin{equation*} \phi_2\left(x+c_2t+\gamma e^{-\omega t}\right)-C_me^{-\omega t}\leq\check{u}(x,t) \leq \phi_2\left(x+c_2t+h+\gamma e^{-\omega t}\right)+C_me^{-\omega t}. \end{equation*} |
Let
\begin{equation*} \int_0^1\left[\phi_2(y+\overline{h})-\phi_2(y)\right]dy\geq2\vartheta_0\overline{h}. \end{equation*} |
Therefore, at least one of the following two inequalities is true
\begin{equation*} \text{(i)}\; \int_0^1[\check{u}(y,0)-\phi_2(y)]dy\geq\vartheta_0\overline{h},\qquad\qquad \; \; \text{(ii)}\; \int_0^1[\phi_2(y+\overline{h})-\check{u}(y,0)]dy\geq\vartheta_0\overline{h}. \end{equation*} |
Next, we consider the case (i) since the case (ii) is similar. According to the assumption (A), for
\begin{equation*} \check{u}(x,1)-\left[\phi_2\left(x+\gamma e^{-\omega}\right)-C_me^{-\omega}\right]\geq\zeta\int_0^1[\check{u}(y,0)-(\phi_2(y)-C_m)]dy \geq\zeta\vartheta_0\overline{h}. \end{equation*} |
Now define
\begin{equation*} \epsilon_0 = \min\left\{\frac{\sigma}{2},\frac{\gamma}{2C_m},\min\limits_{x\in[-M-c_2-\gamma,M+c_2+\gamma]} \frac{\zeta\vartheta_0\gamma}{2C_m\phi'_2(x)}\right\}. \end{equation*} |
Accordingly, there exists
\begin{equation*} \begin{split} \phi_2\left(x+\gamma e^{-\omega}+2\epsilon_0\overline{h}\frac{\gamma}{C_m}\right)- \phi_2\left(x+\gamma e^{-\omega}\right) = &\phi'_2\left(x+\gamma e^{-\omega}+2\epsilon_0\overline{h}\tilde{\theta}\frac{\gamma} {C_m}\right)2\epsilon_0\overline{h}\frac{\gamma}{C_m}\\ \leq&\zeta\vartheta_0\overline{h} \end{split} \end{equation*} |
for all
\begin{equation*} \check{u}(x,1)\geq\phi_2\left(x+\gamma e^{-\omega}+2\epsilon_0\overline{h}\frac{\gamma}{C_m}\right)-C_me^{-\omega} \end{equation*} |
for
For
\begin{equation*} \phi_2\left(x+\gamma e^{-\omega}\right)\geq\phi_2\left(x+\gamma e^{-\omega}+2\epsilon_0\overline{h}\frac{\gamma}{C_m}\right)-\epsilon_0\overline{h}. \end{equation*} |
Then, it follows that
\begin{equation*} u(x,1)\geq\phi_2\left(x+\kappa+\gamma e^{-\omega}+2\epsilon_0\overline{h}\frac{\gamma}{C_m}\right)-\epsilon_0\overline{h}-C_me^{-\omega} \; \text{for}\; x\in\mathbb{R}. \end{equation*} |
Note that
\begin{equation*} \begin{split} u(x,1+t')\geq&\phi_2\left(x+c_2t+\kappa+\gamma e^{-\omega}+2\epsilon_0\overline{h}\frac{\gamma}{C_m}+\gamma e^{-\omega t'}\right)-pe^{-\omega t'}\\ \geq&\phi_2\left(x+c_2(t'+1)+\kappa+\epsilon_0\overline{h}\frac{\gamma}{C_m}-\frac{\delta \gamma}{C_m}\right)-(\delta+\epsilon_0\overline{h})e^{-\omega t'}. \end{split} \end{equation*} |
Thus we finish the proof by setting
\begin{align*} &t = 1+t',\; \tilde{\xi}(t) = \frac{\gamma\epsilon_0\overline{h}}{C_m} ,\; \tilde{\delta} = (\delta+\epsilon_0\overline{h})e^{-\omega (t-1)}\\ &\tilde{h} = \left[h+\delta\frac{\gamma}{C_m}e^{-\omega t}\right]-\tilde{\xi}(t) = h-\frac{\epsilon_0\gamma}{C_m}\overline{h}+\delta\frac{\gamma}{C_m}\left[2-e^{-\omega t}\right]. \end{align*} |
Now we shall prove Theorem 4.1.
Proof of Theorem 4.1. We shall divide the proof in three steps.
Step 1. Following from Lemmas 4.2 and 4.4, there exist
\begin{equation} \phi_2(x+c_2T^*-M^*)-C_m\leq u(x,T^*)\leq\phi_2(x+c_2T^*+M^*)+C_m\; \text{for}\; x\in\mathbb{R}. \end{equation} | (10) |
Here,
\begin{equation*} \epsilon^* = \min\left\{\frac{\sigma}{2},\frac{\epsilon_0}{4}\right\}\; \text{and} \; k_0 = \epsilon_0\frac{\gamma}{C_m}-2\epsilon^*\frac{\gamma}{C_m}\geq\frac{\gamma\epsilon_0}{2C_m} > 0. \end{equation*} |
Meanwhile, fix
\begin{equation*} e^{-\omega(t^*-1)}\left[1+\frac{\epsilon_0}{\epsilon^*}\right]\leq1-k^*. \end{equation*} |
Then, replace
By 10, applying Lemma 4.5 with
\begin{equation*} \hat{\delta}(T_0+t^*)\leq[\epsilon^*+\epsilon_0]e^{-\omega t^*}\leq\epsilon^*\; \text{and}\; \hat{h}(T_0+t^*)\leq h_0-\frac{\gamma}{C_m}\epsilon_0+2\epsilon^*\frac{\gamma}{C_m}\leq h_0-k^*. \end{equation*} |
Repeat the same process, it yields that 9 holds for
Step 2. In this step, we use a mathematical induction to show that for every nonnegative integer
\begin{equation*} \tau = T^k: = T_1+kt^*,\; \delta = \delta^k: = (1-k^*)^k\epsilon^*,\; h = h^k: = (1-k^*)^k. \end{equation*} |
It is obvious that the assertion holds for
\begin{align*} &\hat{\xi}\in\left[\xi^l-\delta^l\frac{\gamma}{C_m},\xi^l+\delta^l\frac{\gamma}{C_m}\right],\\ &\hat{\delta}\leq\left(\delta^l+\epsilon_0h^l\right) = [1-k^*]^l\epsilon^*\left(1 +\frac{\epsilon_0}{\epsilon^*}\right) e^{-\omega(t^*-1)}\leq(1-k^*)^{l+1}\epsilon^*,\\ &\hat{h}\leq h^l-h^l\epsilon_0\frac{\gamma}{C_m}+2\delta^l\frac{\gamma}{C_m} = [1-k^*]^l\left[1-\epsilon_0\frac{\gamma}{C_m}+2\epsilon^*\frac{\gamma}{C_m}\right] = [1-k^*]^{l+1} \end{align*} |
by the definition of
Step 3. So far, we have known that 9 holds for
Now we define
\begin{equation*} \delta(t) = \delta^k, \; \xi(t) = \xi^k-\delta^k\frac{\gamma}{C_m},\; h(t) = h^k+2\delta^k\frac{\gamma}{C_m} \end{equation*} |
for
\begin{equation*} \phi_2(x+c_2t+\xi(t))-\delta(t)\leq u(x,t)\leq\phi_2(x+c_2t+\xi(t+h(t))+\delta(t)\; \text{for}\; t\geq T_1,\; x\in\mathbb{R}. \end{equation*} |
It follows from the definition of
\begin{align*} &\delta(t) = \delta^k = [1-k^*]^k\epsilon^*\leq\epsilon^*\exp{\left[\left(\frac{t-T_1}{t^*}-1\right)\ln(1-k^*)\right]} \; \text{for}\; t\geq T_1,\\ &h(t) = h^k+2\delta^k\frac{\gamma}{C_m}\leq\left[1+2\epsilon^*\frac{\gamma}{C_m}\right] \exp{\left[\left(\frac{t-T_1}{t^*}-1\right)\ln(1-k^*)\right]} \; \text{for}\; t\geq T_1. \end{align*} |
Moreover, since for any
\begin{equation*} \xi(t)\in\left[\xi(\tau)-\delta(\tau)\frac{\gamma}{C_m},\xi(\tau)+h(\tau) +\delta(\tau)\frac{\gamma}{C_m}\right], \end{equation*} |
there holds
\begin{equation*} |\xi(t)-\xi(\tau)|\leq h(\tau)+2\delta(\tau)\frac{\gamma}{C_m}, \end{equation*} |
which implies that
\begin{equation*} |\xi(\infty)-\xi(\tau)|\leq h(\tau)+2\delta(\tau)\frac{\gamma}{C_m}\leq\left[1+4\epsilon^*2\delta(\tau) \frac{\gamma}{C_m}\right]e^{\left[\left(\frac{t-T_1}{t^*}-1\right)\ln(1-k^*)\right]} \; \text{for}\; t\geq T_1. \end{equation*} |
Therefore, we have that
\begin{equation*} |u(x,t)-\phi_2(x+c_2t+\xi(\infty))|\rightarrow0\; \text{as}\; t\rightarrow+\infty. \end{equation*} |
Furthermore, the convergence is exponential. Then we complete the proof.
We investigate the Lyapunov stability of the entire solution obtained in Theorem 1.1 in this section. That is, the aim here is to prove Theorem 1.2. The following lemma plays an important role in proving Theorem 1.2.
Lemma 5.1. Let
u_t(x,t)\geq K_\varphi\; \mathit{\text{for any}}\; t\geq T_\varphi\; \mathit{\text{and}}\; x\in\Omega_{\varphi}(t), |
where
\Omega_{\varphi}(t) = \left\{x\in\mathbb{R}:\; \varphi\leq u(x,t)\leq1-\varphi\right\}. |
Proof of Lemma 5.1. It is easy to choose
\begin{equation*} \Omega_{\varphi}(t)\subset\left\{x\in\mathbb{R}:\; |x+c_2t|\leq M_\varphi\right\}\subset\{x\in\mathbb{R}:\; x\leq-1\}. \end{equation*} |
Now suppose there exist sequences
\begin{equation*} u_t(t_k,x^k)\rightarrow0\; \text{as}\; k\rightarrow+\infty. \end{equation*} |
Here only two cases happen,
For the former case, denote
\begin{equation*} u_k(x,t) = u(x+x^k,t+t_k). \end{equation*} |
By Proposition 2,
\begin{equation*} u_k\rightarrow u_*\; \text{as}\; k\rightarrow+\infty \end{equation*} |
for some function
\begin{equation*} \frac{\partial u_*(x,t)}{\partial t}\equiv0\; \text{for}\; t\geq0. \end{equation*} |
However, this is impossible because by Theorem 4.1
\begin{equation*} u_*(x,t) = \phi_2(x+c_2t+\beta+a)\; \text{for some}\; a\in[-M_\eta,M_\eta]. \end{equation*} |
For the second case,
\begin{equation*} u_k(x,t): = u(x+x^k,t). \end{equation*} |
Then, each
\begin{equation*} u_k\rightarrow u^*\; \text{as}\; k\rightarrow+\infty \end{equation*} |
for some function
\begin{equation*} u^*(x,t)-\phi_2(x+\beta+x^*+c_2t)\rightarrow0\; \text{as}\; t\rightarrow+\infty. \end{equation*} |
This ends the proof.
Proof of Theorem 1.2. We first define a pair of sub- and super-solutions as follows.
\begin{equation*} U^{\pm}(x,t) = u(x+a,t+t_0\pm\tilde{\delta}\varpi(1-e^{-\omega t}))\pm\varpi e^{-\omega t}, \end{equation*} |
where
\begin{equation} U^-(x,t)\leq v(x,t)\leq U^+(x,t)\; \text{for}\; x\in\mathbb{R},\; t\geq0. \end{equation} | (11) |
In view of that for all
\begin{equation} \sup\limits_{x\in\mathbb{R},\; t\in\mathbb{R}}|u(x,t)-u(x,t+\tau)| \leq\sup\limits_{x\in\mathbb{R},\; t\in\mathbb{R}}|u_t(x,t)|\varpi\leq\frac{\epsilon}{2}. \end{equation} | (12) |
It then follows from 11 and 12 that
\begin{equation*} |v(x,t,v_0)-u(x+a,t+t_0)| < \epsilon \end{equation*} |
for
Now we prove the claim. We show
\begin{equation*} \begin{split} \mathcal{L}U^+(x,t) = &U_t^+(x,t)-(J*U^+(x,t)-U^+(x,t))-f(x,U^+)\\ = &\tilde{\delta}\varpi\omega e^{-\omega t}-\varpi\omega e^{-\omega t}+f(x,u)-f(x,U^+)\\ \geq&0. \end{split} \end{equation*} |
We go further to show
Case 1. For any
\begin{equation*} \begin{split} \mathcal{L}U^+(x,t)\geq&-\min\left\{\frac{|f_u(x,0)|}{2},\frac{|(f_u(x,1)|}{2}\right\}\varpi e^{-\omega t}-\omega\varpi e^{-\omega t}\\ \geq&\varpi e^{-\omega t}(2\omega-\omega)\\ \geq&0. \end{split} \end{equation*} |
Case 2. For
\begin{equation*} \begin{split} \mathcal{L}U^+(x,t)\geq&\tilde{\delta}\varpi\omega K_\sigma e^{-\omega t}-\varpi\omega e^{-\omega t}-\|f_u(x,u)\|_\infty\varpi e^{-\omega t}\\ \geq&\varpi e^{-\omega t}\left(\tilde{\delta}\omega K_\sigma-\omega-\|f_u(x,u))\|_\infty\right). \end{split} \end{equation*} |
Let
\begin{equation*} \tilde{\delta}\geq\frac{\omega K_\sigma}{\omega+\|f_u(x,u)\|_\infty}. \end{equation*} |
Thus, we have
Remark 1. In this paper, we have considered the existence, uniqueness, asymptotic behavior and Lyapunov stability of entire solutions of the nonlocal dispersal equation 1 under the assumption
Remark 2. The method used here can be also applied to consider the bistable lattice differential equations with
\begin{equation} \dot{u}_i(t) = u_{i+1}(t)+u_{i-1}(t)-2u_i(t)+f_i(u_i(t)),\; i\in\mathbb{Z},\; t\in\mathbb{R}. \end{equation} | (13) |
The existence, uniqueness, asymptotic behavior and the Lyapunov stability of entire solutions to 13 can be similarly obtained.
While for bistable random diffusion equations with
\begin{equation*} u_t = u_{xx}+f(x,u),\; x\in\mathbb{R},\; t\in\mathbb{R}, \end{equation*} |
the construction of the entire solution behaving as the traveling wave pertaining to
[1] |
B. Figuerola, C. Avila, The phylum bryozoa as a promising source of anticancer drugs, Mar. Drugs, 17 (2019), 477. https://doi.org/10.3390/md17080477 doi: 10.3390/md17080477
![]() |
[2] |
L. J. Kristjanson, T. Ashcroft, The family's cancer journey, Cancer Nurs., 17 (1994), 1–17. https://doi.org/10.1097/00002820-199402000-00001 doi: 10.1097/00002820-199402000-00001
![]() |
[3] |
S. Kumar, M. K. Ahmad, M. Waseem, A. K. Pandey, Drug targets for cancer treatment: an overview, Med. Chem., 5 (2015), 115123. https://doi.org/10.4172/2161-0444.1000252 doi: 10.4172/2161-0444.1000252
![]() |
[4] | R. C. Richie, J. O. Swanson, Breast cancer: a review of the literature, J. Insur. Med., 35 (2003), 85–101. Available from: https://www.aaimedicine.org/journal-of-insurance-medicine/jim/2003/035-02-0085.pdf. |
[5] |
A. G. Waks, E. P. Winer, Breast cancer treatment, JAMA, 321 (2019), 288–300. https://doi.org/10.1001/jama.2018.19323 doi: 10.1001/jama.2018.19323
![]() |
[6] |
S. Khuller, B. Raghavachari, A. Rosenfeld, Landmarks in graphs, Discrete Appl. Math., 70 (1996), 217–229. https://doi.org/10.1016/0166-218X(95)00106-2 doi: 10.1016/0166-218X(95)00106-2
![]() |
[7] |
M. F. Nadeem, M. Hassan, M. Azeem, S. U. Khan, M. R. Shaik, M. A. F. Sharaf, et al., Application of resolvability technique to investigate the different polyphenyl structures for polymer industry, J. Chem., 2021 (2021). https://doi.org/10.1155/2021/6633227 doi: 10.1155/2021/6633227
![]() |
[8] |
A. Ali, W. Nazeer, M. Munir, S. M. Kang, M-polynomials and topological indices of zigzagand rhombic benzenoid systems, Open Chem., 16 (2018), 73–78. https://doi.org/10.1515/chem-2018-0010 doi: 10.1515/chem-2018-0010
![]() |
[9] |
S. Hayat, S. Wang, J. B. Liu, Valency-based topological descriptors of chemical networks and their applications, Appl. Math. Modell., 60 (2018), 164–178. https://doi.org/10.1016/j.apm.2018.03.016 doi: 10.1016/j.apm.2018.03.016
![]() |
[10] |
S. Kavitha, J. Abraham, M. Arockiaraj, J. Jency, K. Balasubramanian, Topological characterization and graph entropies of tessellations of kekulene structures: existence of isentropic structures and applications to thermochemistry, nuclear magnetic resonance, and electron spin resonance, J. Phys. Chem. A, 125 (2021), 8140–8158. https://doi.org/10.1021/acs.jpca.1c06264 doi: 10.1021/acs.jpca.1c06264
![]() |
[11] |
M. K. Jamil, M. Imran, K. A. Sattar, Novel face index for benzenoid hydrocarbons, Mathematics, 8 (2020), 312. https://doi.org/10.3390/math8030312 doi: 10.3390/math8030312
![]() |
[12] |
M. F. Nadeem, M. Azeem, H. M. A. Siddiqui, Comparative study of zagreb indices for capped, semi-capped, and uncapped carbon nanotubes, Polycyclic Aromat. Compd., 42 (2022), 3545–3562. https://doi.org/10.1080/10406638.2021.1890625 doi: 10.1080/10406638.2021.1890625
![]() |
[13] |
M. F. Nadeem, M. Imran, H. M. A. Siddiqui, M. Azeem, A. Khalil, Y. Ali, Topological aspects of metal-organic structure with the help of underlying networks, Arabian J. Chem., 14 (2021), 103157. https://doi.org/10.1016/j.arabjc.2021.103157 doi: 10.1016/j.arabjc.2021.103157
![]() |
[14] |
A. Ahmad, A. N. A. Koam, M. H. F. Siddiqui, M. Azeem, Resolvability of the starphene structure and applications in electronics, Ain Shams Eng. J., 13 (2022), 101587. https://doi.org/10.1016/j.asej.2021.09.014 doi: 10.1016/j.asej.2021.09.014
![]() |
[15] |
A. Sebö, E. Tannier, On metric generators of graphs, Math. Oper. Res., 29 (2004), 191–406. https://doi.org/10.1287/moor.1030.0070 doi: 10.1287/moor.1030.0070
![]() |
[16] | P. J. Slater, Leaves of trees, Congr. Numer, 14 (1975), 549–559. |
[17] |
P. Singh, S. Sharma, S. K. Sharma, V. K. Bhat, Metric dimension and edge metric dimension of windmill graphs, AIMS Math., 6 (2021), 9138–9153. https://doi.org/10.3934/math.2021531 doi: 10.3934/math.2021531
![]() |
[18] |
A. E. Moreno, I. G. Yero, J. A. R. Velazquez, On the (k, t)-metric dimension of graphs, Comput. J., 64 (2021), 707–720. https://doi.org/10.1093/comjnl/bxaa009 doi: 10.1093/comjnl/bxaa009
![]() |
[19] |
S. Pirzada, M. Aijaz, On graphs with same metric and upper dimension, Discrete Math. Algorithms Appl., 13 (2021), 2150015. https://doi.org/10.1142/S1793830921500154 doi: 10.1142/S1793830921500154
![]() |
[20] |
M. Azeem, M. F. Nadeem, Metric-based resolvability of polycyclic aromatic hydrocarbons, Eur. Phys. J. Plus, 136 (2021), 395. https://doi.org/10.1140/epjp/s13360-021-01399-8 doi: 10.1140/epjp/s13360-021-01399-8
![]() |
[21] |
S. Imran, M. K. Siddiqui, M. Imran, M. Hussain, On metric dimensions of symmetric graphs obtained by rooted product, Mathematics, 6 (2018), 191. https://doi.org/10.3390/math6100191 doi: 10.3390/math6100191
![]() |
[22] |
A. N. Koam, A. Ahmad, M. E. Abdelhag, M. Azeem, Metric and fault-tolerant metric dimension of hollow coronoid, IEEE Access, 9 (2021), 81527–81534. https://doi.org/10.1109/ACCESS.2021.3085584 doi: 10.1109/ACCESS.2021.3085584
![]() |
[23] |
A. N. Koam, A. Ahmad, M. S. Alatawi, M. F. Nadeem, M. Azeem, Computation of metric-based resolvability of quartz without pendant nodes, IEEE Access, 9 (2021), 151834–151840. https://doi.org/10.1109/ACCESS.2021.3126455 doi: 10.1109/ACCESS.2021.3126455
![]() |
[24] |
K. Anitha, R. A. Devi, M. Munir, K. S. Nisar, Metric dimension of rough graphs, Int. J. Nonlinear Anal. Appl., 12 (2021), 1793–1806. https://doi.org/10.22075/ijnaa.2021.5891 doi: 10.22075/ijnaa.2021.5891
![]() |
[25] |
M. Moscarini, Computing a metric basis of a bipartite distance-hereditary graph, Theor. Comput. Sci., 900 (2022), 20–24. https://doi.org/10.1016/j.tcs.2021.11.015 doi: 10.1016/j.tcs.2021.11.015
![]() |
[26] |
A. N. A. Koam, A. Haider, M. A. Ansari, Pseudo-metric on KU-algebras, Korean J. Math., 27 (2019), 131–140. https://doi.org/10.11568/kjm.2019.27.1.131 doi: 10.11568/kjm.2019.27.1.131
![]() |
[27] | A. Ahmad, M. Baca, S. Sultan, On the minimal doubly resolving sets of Harary graph, Acta Math. Universitatis Comenianae, 89 (2019), 123–129. Available from: http://www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1032. |
[28] |
A. Ahmad, M. Baca, S. Sultan, Computing the metric dimension of Kayak Paddles graph and Cycles with chord, Proyecciones (Antofagasta, On line), 39 (2020), 287–300. https://doi.org/10.22199/issn.0717-6279-2020-02-0018 doi: 10.22199/issn.0717-6279-2020-02-0018
![]() |
[29] | A. Ahmad, M. Baca, S. Sultan, Minimal doubly resolving sets of Necklace graph, Math. Rep., 20 (2018), 123–129. Available from: http://www.imar.ro/journals/Mathematical_Reports/Pdfs/2018/2/2.pdf. |
[30] |
T. Vetrik, A. Ahmad, Computing the metric dimension of the categorial product of graphs, Int. J. Comput. Math., 94 (2017), 363–371. https://doi.org/10.1080/00207160.2015.1109081 doi: 10.1080/00207160.2015.1109081
![]() |
[31] |
A. Ahmad, S. Sultan, On minimal doubly resolving sets of circulant graphs, Acta Mech. Sin., 21 (2017), 6–11. https://doi.org/10.21496/ams.2017.002 doi: 10.21496/ams.2017.002
![]() |
[32] |
H. Raza, S. Hayat, X. F. Pan, On the fault-tolerant metric dimension of certain interconnection networks, J. Appl. Math. Comput., 60 (2019), 517–535. https://doi.org/10.1007/s12190-018-01225-y doi: 10.1007/s12190-018-01225-y
![]() |
[33] |
H. Raza, S. Hayat, M. Imran, X. F. Pan, Fault-tolerant resolvability and extremal structures of graphs, Mathematics, 7 (2019), 78–97. https://doi.org/10.3390/math7010078 doi: 10.3390/math7010078
![]() |
[34] |
H. Raza, S. Hayat, X. F. Pan, On the fault-tolerant metric dimension of convex polytopes, Appl. Math. Comput., 339 (2018), 172–185. https://doi.org/10.1016/j.amc.2018.07.010 doi: 10.1016/j.amc.2018.07.010
![]() |
[35] |
T. Mahapatra, G. Ghorai, M. Pal, Fuzzy fractional coloring of fuzzy graph with its application, J. Ambient Intell. Hum. Comput., 11 (2020), 5771–5784. https://doi.org/10.1007/s12652-020-01953-9 doi: 10.1007/s12652-020-01953-9
![]() |
[36] | F. Harary, F. H. Melter, On the metric dimension of a graph, Ars Combin, 2 (1976), 191–195. |
[37] |
J. P. Sturmberg, G. M. McDonnell, How modelling could contribute to reforming primary care—tweaking the ecology of medical care in Australia, AIMS Med. Sci., 3 (2016), 298–311. https://doi.org/10.3934/medsci.2016.3.298 doi: 10.3934/medsci.2016.3.298
![]() |
[38] |
R. Zheng, H. Jia, L. Abualigah, Q. Liu, S. Wang, An improved arithmetic optimization algorithm with forced switching mechanism for global optimization problems, Math. Biosci. Eng., 19 (2022), 473–512. https://doi.org/10.3934/mbe.2022023 doi: 10.3934/mbe.2022023
![]() |
[39] |
J. B. Liu, M. F. Nadeem, M. Azeem, Bounds on the partition dimension of convex polytopes, Comb. Chem. High Throughput Screening, 25 (2020), 547–557. https://doi.org/10.2174/1386207323666201204144422 doi: 10.2174/1386207323666201204144422
![]() |
[40] |
M. Azeem, M. Imran, M. F. Nadeem, Sharp bounds on partition dimension of hexagonal mobious ladder, J. King Saud Univ. Sci., 34 (2022), 101779. https://doi.org/10.1016/j.jksus.2021.101779 doi: 10.1016/j.jksus.2021.101779
![]() |
[41] |
A. Shabbir, M. Azeem, On the partition dimension of tri-hexagonal alpha-boron nanotube, IEEE Access, 9 (2021), 55644–55653. https://doi.org/10.1109/ACCESS.2021.3071716 doi: 10.1109/ACCESS.2021.3071716
![]() |
[42] | H. M. A. Siddiqui, M. Imran, Computing the metric and partition dimension of h-naphtalenic and VC_5C_7 nanotubes, J. Optoelectron. Adv. Mater., 17 (2015), 790–794. |
[43] |
H. M. A. Siddiqui, M. Imran, Computing metric and partition dimension of 2-dimensional lattices of certain nanotubes, J. Comput. Theor. Nanosci., 11 (2014), 2419–2423. https://doi.org/10.1166/jctn.2014.3656 doi: 10.1166/jctn.2014.3656
![]() |