Citation: Shujie Jing, Jixiang Guan, Zhiyong Si. A modified characteristics projection finite element method for unsteady incompressible Magnetohydrodynamics equations[J]. AIMS Mathematics, 2020, 5(4): 3922-3951. doi: 10.3934/math.2020254
[1] | Kenneth H. Karlsen, Süleyman Ulusoy . On a hyperbolic Keller-Segel system with degenerate nonlinear fractional diffusion. Networks and Heterogeneous Media, 2016, 11(1): 181-201. doi: 10.3934/nhm.2016.11.181 |
[2] | José Antonio Carrillo, Yingping Peng, Aneta Wróblewska-Kamińska . Relative entropy method for the relaxation limit of hydrodynamic models. Networks and Heterogeneous Media, 2020, 15(3): 369-387. doi: 10.3934/nhm.2020023 |
[3] | Piotr Biler, Grzegorz Karch, Jacek Zienkiewicz . Morrey spaces norms and criteria for blowup in chemotaxis models. Networks and Heterogeneous Media, 2016, 11(2): 239-250. doi: 10.3934/nhm.2016.11.239 |
[4] | Panpan Xu, Yongbin Ge, Lin Zhang . High-order finite difference approximation of the Keller-Segel model with additional self- and cross-diffusion terms and a logistic source. Networks and Heterogeneous Media, 2023, 18(4): 1471-1492. doi: 10.3934/nhm.2023065 |
[5] | Steinar Evje, Kenneth H. Karlsen . Hyperbolic-elliptic models for well-reservoir flow. Networks and Heterogeneous Media, 2006, 1(4): 639-673. doi: 10.3934/nhm.2006.1.639 |
[6] | Raul Borsche, Axel Klar, T. N. Ha Pham . Nonlinear flux-limited models for chemotaxis on networks. Networks and Heterogeneous Media, 2017, 12(3): 381-401. doi: 10.3934/nhm.2017017 |
[7] | Avner Friedman . PDE problems arising in mathematical biology. Networks and Heterogeneous Media, 2012, 7(4): 691-703. doi: 10.3934/nhm.2012.7.691 |
[8] | Hirotada Honda . Global-in-time solution and stability of Kuramoto-Sakaguchi equation under non-local Coupling. Networks and Heterogeneous Media, 2017, 12(1): 25-57. doi: 10.3934/nhm.2017002 |
[9] | Caihong Gu, Yanbin Tang . Global solution to the Cauchy problem of fractional drift diffusion system with power-law nonlinearity. Networks and Heterogeneous Media, 2023, 18(1): 109-139. doi: 10.3934/nhm.2023005 |
[10] | Stefan Berres, Ricardo Ruiz-Baier, Hartmut Schwandt, Elmer M. Tory . An adaptive finite-volume method for a model of two-phase pedestrian flow. Networks and Heterogeneous Media, 2011, 6(3): 401-423. doi: 10.3934/nhm.2011.6.401 |
Predator-prey model is one of basic interspecies relations for ecological and social system [1]. The more complex biochemical network structure and food chain are based on the predator-prey model [2]. The study of Lotka and Volterra [3,4] has opened the way to study the dynamics of the predator-prey systems. After that, Gause and Smaragdova also proposed a well-known Gause-type predator-prey model. Kolmogorov first focused on the qualitative analysis of this Gause-type predator-prey model in 1972. Freedman [5] introduced the generalized autonomous Gause model, which comes from accounting for periodic changes of the environment. Gause-type predator-prey models have been widely applied to describe some population models [6,7,8,9]. For example, Hasik [6] considered the generalized Gause-type predator-prey model
{x′=xg(x)−yp(x),y′=y[q(x)−γ], | (1.1) |
here g(x) represents the increase in prey density. When the natural environment is relatively bad, the mortality rate of the population is higher than its birth rate, so the g(x) here can get a negative value. p(x) represents the amount of prey consumed by a single predator per unit time. q(x)−γ represents the growth rate of the predator, and the same as g(x), q(x)−γ can also be taken to a negative value. Ding et al. [7] considered the periodic Gause-type predator-prey system with delay
{x′(t)=x(t)f(t,x(t−τ(t)))−g(t,x(t))y(t−σ1(t)),y′(t)=y(t)[−d(t)+h(t,x(t−σ2(t)))], | (1.2) |
where x(0),y(0)≥0 are the prey and the predator and obtained the positive periodic solution of this system (1.2) by using the continuation theorem.
For the past few years, more and more researchers are interested in the dynamic behavior of predator-prey systems with Allee effect. The Allee effect describes that the low population is affected by the positive relationship between population growth rate and density, which increases the likelihood of their extinction. Terry [10] considered predator-prey systems with Allee effect and described how to extend the traditional definition of effective components and population Allee effect for a single species model to predators in the predator-prey model. Cui et al. [11] focused on the dynamic behavior and steady-state solutions of a class of reaction-diffusion predator-prey systems with strong Allee effect. Cai et al. [12] explored the complex dynamic behavior for a Leslie-Gower predation model with additive Allee effect on prey. Without considering the influence of Allee effect on prey, the model has a unique global asymptotically stable equilibrium point. However, considering the influence of Allee reaction on prey, the model has no definite positive equilibrium point [12]. Baisad and Moonchai [13] were interested in a Gause-type predator-prey model with Holling type-Ⅲ functional response and Allee effect on prey as follows
{dxdt=r(1−xK)(x−m)x−sx2x2+a2y,dydt=(px2x2+a2−c)y. | (1.3) |
Using the linearization method, they gave the local stability of three equilibrium types and also carried out a numerical simulation of the results. Guan and Chen [14] studied the dynamical analysis of a two species amensalism model with Beddington-DeAngelis functional response and Allee effect.
The study of the dynamics of a harvested population is a topic studied in mathematical bioeconomics [15], inside a larger chapter dealing with optimal management of renewable resources. The exploitation of biological resources and the harvesting of interacting species is applied in fisheries, forestry and fauna management [15,16,17]. Etoua and Rousseau [16] studied a generalized Gause model with both prey harvesting and Holling response function of type Ⅲ:
{dxdt=rx(1−xK)−mx2yax2+bx+1−h1,dydt=y(−d+cmx2ax2+bx+1),x≥0, y≥0, | (1.4) |
where the eight parameters: r,k,m,a,c,d,h are strictly positive and b≥0. Through the following linear transformation and time scaling
(X,Y,T)=(1kx,1cky,cmk2t). |
Laurin and Rousseau[17] transformed the model (1.4) into the simplified system with the number of parameters reduced to five
{˙x=ρx(1−x)−yx2αx2+βx+1−λ,˙y=y(−δ+x2αx2+βx+1),x≥0, y≥0, | (1.5) |
with parameters
(ρ,α,β,δ,λ)=(rcmk2,ak2,bk,dcmk2,hcmk3). |
And the Hopf bifurcation was studied in [16,17]. Du et al. [18] considered a general predator-prey model with prey and predator harvesting and proved that the predator-prey system has at least four positive periodic solutions. In addition, some other predator-prey models have been studied widely [19,20,21,22].
In this paper, we consider a generalized Gause-type predator-prey model with Allee effect, Holling type Ⅲ functional response and harvesting terms
{dxdt=r(t)(1−x(t)K)(x(t)−m(t))x(t)−s(t)x2x2(t)+a2(t)y(t)−H1(t),dydt=(p(t)x2(t)x2(t)+a2(t)−b(t)y(t)−c(t))y(t)−H2(t),x(0)>0, y(0)>0, t∈[0,T], | (1.6) |
where x=x(t) and y=y(t) represent the population sizes of prey and predator at time t, respectively. The size can represent numbers of individuals or density in the unit space of the population. To ensure biological significance, the parameter of K is positive, and a, b, c, H1, H2, m, p, r, s are positive T−periodic functions. The meaning of the parameters in system (1.6) is given as follows:
∙ a is the amount of prey at which predation rate is maximal.
∙ b is the predator population decays in the competition among the predators.
∙ c is the natural per capita death rate of the predator.
∙ K is the environmental capacity of the prey.
∙ m is the minimum viable population.
∙ p is the conversion efficiency of reduction rate of the predator.
∙ r is the growth rate of the prey.
∙ s is the maximum per capita consumption rate.
In system (1.6), the Allee effect is defined by the term r(t)(1−x(t)K)(x(t)−m(t))x(t) and the Holling type-Ⅲ functional response is represented by the term s(t)x2x2(t)+a2(t). This Holling type-Ⅲ functional response describes a behavior in which the number of prey consumed per predator initially increases quickly as the density of prey grows and levels off with further increase in prey density [13]. H1(t) and H2(t) describe the harvesting rate of prey and predators. We consider four important assumptions as regards the interactions between prey and predator:
∙ the prey population is affected by the Allee effect,
∙ the functional response is Holling type-Ⅲ,
∙ the influence of artificial harvest is considered on predator and prey, and
∙ the predator population decays in the competition among the predators is investigated.
In this paper, we establish some conditions to ensure that system (1.6) has at least two positive periodic solutions. We outline the format for the rest of this paper. In Sect. 2, we describe several technical lemmas. In Sect. 3, using a systematic qualitative analysis and employing the Mawhin coincidence degree theory, we obtain that system (1.6) has at least two positive T−periodic solutions of system (1.6).
In this section, we will give relevant definitions of the Mawhin coincidence degree theory [23] and several technical lemmas.
Let both X and Y be Banach spaces, L: DomL⊂X⟶Y be a linear map and N: X×[0,1]⟶Y be a continuous map. If ImL∈Y is closed and dimKerL=codimImL<+∞, then we call the operator L is a Fredholm operator of index zero. If L is a Fredholm operator with index zero and there exists continuous projections P: X⟶X and Q: Y⟶Y such that ImP=KerL and ImL=KerQ=Im(I−Q), then L|DomL∩KerP:(I−P)X⟶ImL has an inverse function, and we set it as KP. Assume that Ω×[0,1]∈X is an open set. If QN(¯Ω×[0,1]) is bounded and KP(I−Q)N(¯Ω×[0,1])∈X is relatively compact, then we say that N(¯Ω×[0,1]) is L−compact.
Next, we will give the Mawhin coincidence degree theorem.
Lemma 2.1. ([23,24]) Let X and Y be two Banach spaces, L: DomL⊂X⟶Y be a Fredholm operator with index zero, Ω∈Y be an open bounded set, and N:¯Ω×[0,1]⟶X be L−compact on ¯Ω×[0,1]. If all the following conditions hold
[C1] Lx≠λNx, for x∈∂Ω∩DomL, λ∈(0,1);
[C2] QNx≠0, for every x∈∂Ω∩KerL;
[C3] Brouwer degree deg{JQN,Ω∩KerL,0}≠0, where J: ImQ⟶KerL is an isomorphism.
Then the equation Lx=Nx has at least one solution on ¯Ω∩DomL.
Lemma 2.2. ([19]) Let x>0, y>0, z>0 and x>2√yz. For functions f(x,y,z)=x+√x2−4yz2z and g(x,y,z)=x−√x2−4yz2z, the following assertions hold:
(ⅰ) f(x,y,z) and g(x,y,z) are monotonically increasing and monotonically decreasing with respect to the variable x∈(0,∞);
(ⅱ) f(x,y,z) and g(x,y,z) are monotonically decreasing and monotonically increasing with respect to the variable y∈(0,∞);
(ⅲ) f(x,y,z) and g(x,y,z) are monotonically decreasing and monotonically increasing with respect to the variable z∈(0,∞).
Throughout this paper, we denote by C[0,T] the space of all bounded continuous functions f: R→R, and denote by C+ the set of all functions f∈C and f≥0. For the convenience of statement, we use the notations as follows
¯f=1T∫T0f(t)dt, fL=mint∈[0,T]f(t), fM=maxt∈[0,T]f(t). |
In this section, we will establish the existence results of at least two positive periodic solutions for the system (1.6).
Theorem 2.1. Assume the following conditions hold:
(H1) (pMu+2u−2+(aL)2−cL)2>4bLHL2;
(H2) (pLu−2u+2+(aM)2−cM)2>4bMHM2;
(H3) the algebra equation system
{ˉr(1−euK)(eu−ˉm)−ˉseueve2u+(ˉa)2−¯H1eu=0,ˉpe2ue2u+(ˉa)2−ˉbev−ˉc−¯H2ev=0, |
has finite real-valued solutions (uk∗,vk∗), k=1, 2,..., n, satisfying
∑(uk∗,vk∗)detG(uk∗, vk∗)n∏k=1uk∗n∏k=1vk∗≠0, |
where
G(uk,vk)=(ˉreu(ˉmK+1−euK)−ˉseueve2u+(ˉa)2+2ˉse3uev[e2u+(ˉa)2]2+¯H1e2u−ˉseueve2u+(ˉa)22ˉpe2ue2u+(ˉa)2+2ˉpe4u[e2u+(ˉa)2]2−ˉbev+¯H2e2v). |
Then system (1.6) has at least two positive T−periodic solutions.
Proof of Theorem 2.1.. Suppose (x(t),y(t))∈R2 is an arbitrary positive of system (1.6). Let x=eu(t), y=ev(t), it follows from system (1.6) we can obtain
{˙u(t)=r(t)(1−eu(t)K)(eu(t)−m(t))−s(t)eu(t)ev(t)e2u(t)+a2(t)−H1(t)eu(t),˙v(t)=p(t)e2u(t)e2u(t)+a2(t)−b(t)ev(t)−c(t)−H2(t)ev(t), | (3.1) |
where ˙=ddt.
Let
X=Y={z(t)=(u(t), v(t))T∈C(R, R2):z(t+T)≡z(t)}, |
be equipped with the norm
‖z(t)‖=‖(u(t), v(t))T‖=maxt∈[0,T]|u(t)|+maxt∈[0,T]|v(t)|, |
where X and Y are Banach spaces, T is the transpose.
Taking z∈X and then we will define operators of L, P and Q as follows.
Firstly, let
L: DomL∩X⟶Y, Lz=dzdt. |
It is clear that
KerL={z∈domL: z=c, c∈R2}, |
that is dimKerL=dimR2=2. Next we calculate ImL. Let
dzdt=y(t), y(t)∈Y. |
Integrating both sides of this equation, we have
∫T0dzdtdt=∫T0y(t)dt, |
thus
∫T0y(t)dt=z(T)−z(0)=0. |
From
X=Y={z(t)=(u(t), v(t))T∈C(R, R2):z(t+T)≡z(t)}, |
we can obtain y(t)=z(t), that is
ImL={z∈Y: ∫T0z(t)dt=0} |
is closed in Y. Obviously, ImL∩R2={0}.
Considering P, Q are both continuous projections satisfying
ImP=KerL, ImL=KerQ=Im(I−Q). |
Let
P: X⟶KerL, |
then, we get P(z) is a constant. Here, we denote it by
P(z)=1T∫T0z(t)dt. |
Secondly, let
Q: Y⟶Y∖ImL, β=∫T0z(t)dt and Q(z)=αβ, |
then, we have
Q(Q(z))=Q(αβ)=α∫T0αβdt=α2β∫T0dt=α2βT=Q(z)=αβ, |
i.e.
α=1T. |
Hence,
Q(z)=1T∫T0z(t)dt. |
Thirdly, for ∀z∈Y, z1(t)=z(t)−Q(z), we're going to verify z1(t)∈ImL, i.e. ∫T0z1(t)dt=0. Here
∫T0z1(t)dt=∫T0z(t)dt−∫T0Q(z)dt=β−α∫T0∫T0z(t)dtdt=β−αβT=β−β=0, |
that is
z1(t)∈ImL. |
Moreover, we can obtain
Y=ImL⊕R2, codimImL=dimR2=2. |
i.e.,
dimKerL=codimImL. |
So L is a Fredholm operator with index zero, which implies L has a unique inverse. We define by KP: ImL⟶KerP∩DomL the inverse of L.
By simply calculating, we have
KP(z)=∫t0z(w)dw−1T∫T0∫t0z(w)dwdt. |
Define N: X⟶Y by the form
Nz=(Δ1(z(t), t)Δ2(z(t), t)), |
where
Δ1(z(t), t)=r(t)(1−eu(t)K)(eu(t)−m(t))−s(t)eu(t)ev(t)e2u(t)+a2(t)−H1(t)eu(t),Δ2(z(t), t)=p(t)e2u(t)e2u(t)+a2(t)−b(t)ev(t)−c(t)−H2(t)ev(t). |
Thus
QNz=(1T∫T0Δ1(z(t), t)dt1T∫T0Δ2(z(t), t)dt), |
and
KP(I−Q)Nz=(∫t0Δ1(z(w), w)dw∫t0Δ2(z(w), w)dw)−(1T∫T0∫t0Δ1(z(w), w)dwdt1T∫T0∫t0Δ2(z(w), w)dwdt) −(1T∫t0∫T0Δ1(z(w), w)dwdw1T∫t0∫T0Δ2(z(w), w)dwdw)+(1T2∫T0∫t0∫T0Δ1(z(w), w)dwdwdt1T2∫T0∫t0∫T0Δ2(z(w), w)dwdwdt)=(∫t0Δ1(z(w), w)dw−1T∫T0∫t0Δ1(z(w), w)dwdt−(tT−12)∫T0Δ1(z(w), w)dw∫t0Δ2(z(w), w)dw−1T∫T0∫t0Δ2(z(w), w)dwdt−(tT−12)∫T0Δ2(z(w), w)dw). | (3.2) |
Let Ω⊂X be bounded. For ∀z∈Ω, we have that ‖z‖≤M1, |u(t)|≤M1 and |v(t)|≤M1.
Next, we see that QN(¯Ω) is bounded.
|1T∫T0Δ1(z(t), t)dt|≤|1T∫T0r(t)(1−eu(t)K)(eu(t)−m(t))dt| +|1T∫T0s(t)eu(t)ev(t)e2u(t)+a2(t)dt|+|1T∫T0H1(t)eu(t)dt|≤|1T∫T0[r(t)eu(t)−r(t)m(t)−r(t)e2u(t)K+r(t)m(t)eu(t)K]dt| +|1T∫T0s(t)eu(t)ev(t)a2(t)dt|+|1T∫T0H1(t)eu(t)dt|≤ˉreM1+¯rm+ˉre2M1K+¯rmeM1K+¯(sa2)e2M1+¯H1eM1, |
and
|1T∫T0Δ2(z(t), t)dt|≤|1T∫T0p(t)e2u(t)e2u(t)+a2(t)dt|+|1T∫T0b(t)ev(t)dt| +|1T∫T0c(t)dt|+|1T∫T0H2(t)ev(t)dt|≤|1T∫T0p(t)e2u(t)+p(t)a2(t)e2u(t)+a2(t)dt|+ˉbeM1+ˉc+¯H2eM1=|1T∫T0p(t)dt|+ˉbeM1+ˉc+¯H2eM1=ˉp+ˉbeM1+ˉc+¯H2eM1. |
It is immediate that QN and KP(I−Q)N are continuous.
Consider a sequence of function {z}⊂Ω. We have the following inequality for the first function of KP(I−Q)Nz.
KP(I−Q)NΔ1(z(t1), t1)−KP(I−Q)NΔ1(z(t2), t2)=∫t1t2[r(w)(1−eu(w)K)(eu(w)−m(w))−s(w)eu(w)ev(w)e2u(w)+a2(w)−H1(w)eu(w)]dw −(t1−t2T)∫T0[r(w)(1−eu(w)K)(eu(w)−m(w))−s(w)eu(w)ev(w)e2u(w)+a2(w)−H1(w)eu(w)]dw≤(t1−t2)[rMeM1−rLmL−rLe−2M1K+rMmMeM1K] −(t1−t2)[ˉre−M1−¯rm−ˉre2M1K+¯rme−M1K]. |
For another function, we have similar inequalities as follows
KP(I−Q)NΔ2(z(t1), t1)−KP(I−Q)NΔ2(z(t2), t2)=∫t1t2[p(w)e2u(w)e2u(w)+a2(w)−b(w)ev(w)−c(w)−H2(w)ev(w)]dw −(t1−t2T)∫T0[p(w)e2u(w)e2u(w)+a2(w)−b(w)ev(w)−c(w)−H2(w)ev(w)]dw≤(t1−t2)[pMe2M1a2L−bLe−M1−cL−H2LeM1] +(t1−t2)[ˉbeM1+ˉc+¯H2eM1]. |
Hence the sequence {KP(I−Q)Nz} is equicontinuous. Using the periodicity of the functions, we know that the sequence {KP(I−Q)Nz} is uniformly bounded.
An application of Ascoli-Arzela's theorem shows that {KP(I−Q)N(¯Ω)} is compact for any bounded set Ω⊂X. Since QN(¯Ω) is bounded, we conclude that N is L−compact on Ω for any bounded set Ω⊂X.
Then, considering the operator equation Lx=λNx, as follows
{˙u(t)=λΔ1(z(t), t),˙v(t)=λΔ2(z(t), t), | (3.3) |
where λ∈(0,1). Let
u(ξ1)=maxt∈[0,T]u(t), u(η1)=mint∈[0,T]u(t), |
v(ξ2)=maxt∈[0,T]v(t), v(η2)=mint∈[0,T]v(t). |
Through simple analysis, we have
˙u(ξ1)=˙u(η1)=0, ˙v(ξ2)=˙v(η2)=0. |
From (3.3), we can find that
r(ξ1)(1−eu(ξ1)K)(eu(ξ1)−m(ξ1))−s(ξ1)eu(ξ1)ev(ξ1)e2u(ξ1)+a2(ξ1)−H1(ξ1)eu(ξ1)=0, | (3.4) |
p(ξ2)e2u(ξ2)e2u(ξ2)+a2(ξ2)−b(ξ2)ev(ξ2)−c(ξ2)−H2(ξ2)ev(ξ2)=0, | (3.5) |
and
r(η1)(1−eu(η1)K)(eu(η1)−m(η1))−s(η1)eu(η1)ev(η1)e2u(η1)+a2(η1)−H1(η1)eu(η1)=0 | (3.6) |
p(η2)e2u(η2)e2u(η2)+a2(η2)−b(η2)ev(η2)−c(η2)−H2(η2)ev(η2)=0, | (3.7) |
In view of (3.4), we have
r(ξ1)(1−eu(ξ1)K)(eu(ξ1)−m(ξ1))=s(ξ1)eu(ξ1)ev(ξ1)e2u(ξ1)+a2(ξ1)+H1(ξ1)eu(ξ1)>0, |
then, we get
rLKe2u(ξ1)−(rM+rMmMK)eu(ξ1)+rLmL<0, |
which implies that
eu−=:rM+rMmMK−√(rM+rMmMK)2−4(rL)2mLK2rLK<eu(ξ1)<rM+rMmMK+√(rM+rMmMK)2−4(rL)2mLK2rLK:=eu+. |
Similarly, we can discuss the range of eu(η1) from (3.6)
r(η1)(1−eu(η1)K)(eu(η1)−m(η1))=s(η1)eu(η1)ev(η1)e2u(η1)+a2(η1)+H1(η1)eu(η1)>0, |
A direct calculation gives
rLKe2u(η1)−(rM+rMmMK)eu(η1)+rLmL<0, |
so we can obtain
eu−=:rM+rMmMK−√(rM+rMmMK)2−4(rL)2mLK2rLK<eu(η1)<rM+rMmMK+√(rM+rMmMK)2−4(rL)2mLK2rLK:=eu+. |
From (3.5), we have
b(ξ2)e2v(ξ2)−(p(ξ2)e2u(ξ2)e2u(ξ2)+a2(ξ2)−c(ξ2))ev(ξ2)+H2(ξ2)=0, |
and
bLe2v(ξ2)−(pMe2u+e2u−+(aL)2−cL)ev(ξ2)+H2L<0, |
then, we get
ev−=:pMe2u+e2u−+(aL)2−cL−√(pMe2u+e2u−+(aL)2−cL)2−4bLH2L2bL<ev(ξ2)<pMe2u+e2u−+(aL)2−cL+√(pMe2u+e2u−+(aL)2−cL)2−4bLH2L2bL:=ev+. |
By (3.7), we obtain
b(η2)e2v(η2)−(p(η2)e2u(η2)e2u(η2)+a2(η2)−c(η2))ev(η2)+H2(η2)=0, |
and
bLe2v(η2)−(pMe2u+e2u−+(aL)2−cL)ev(η2)+H2L<0, |
this implies that
ev−=:pMu2+e2u−+(aL)2−cL−√(pMu2+e2u−+(aL)2−cL)2−4bLH2L2bL<ev(η2)<pMu2+e2u−+(aL)2−cL+√(pMe2u+e2u−+(aL)2−cL)2−4bLH2L2bL:=ev+. |
And then, in view of (3.5) and (3.7) we have
bMe2v(ξ2)−(pLe2u−e2u++(aM)2−cM)ev(ξ2)+H2M>0, |
that is
ev(ξ2)>pLe2u−e2u++(aM)2−cM+√(pLe2u−e2u++(aM)2−cM)2−4bMH2M2bM:=el+ |
or
ev(ξ2)<pLe2u−e2u++(aM)2−cM−√(pLe2u−e2u++(aM)2−cM)2−4bMH2M2bM:=el−. |
From (3.7), we obtain
bMe2v(η2)−(pLe2u−e2u++(aM)2−cM)ev(η2)+H2M>0, |
i.e.
ev(ξ2)>l+ or ev(ξ2)<el−. |
In view of Lemma 2.2, we can find that v−<l−<l+<v+. Thus, we have
{v(ξ2)>l+ or v(ξ2)<l−,v−<v(ξ2)<v+, |
and
{v(η2)>l+ or v(η2)<l−,v−<v(η2)<v+, |
that is
v(ξ2)∈(v−, l−)∪(l+, v+), v(η2)∈(v−, l−)∪(l+, v+). |
Similarly, we get
u(ξ1)∈(u−, u+), u(η1)∈(u−, u+). |
It is easy to know that u±,v±,l± are independent of λ. Consider the following two sets
Ω1={z=(u,v)T∈X|u−<u< u+, v−<v< l−}, |
Ω2={z=(u,v)T∈X|u−<u< u+, l+<v< v+}. |
Obviously, Ωi∈X and ¯Ω1⋂¯Ω2=∅. So Ωi's (i=1, 2) satisfy the condition [C1] of Lemma 2.1.
Next, we show that QNz≠0, for ∀z∈∂Ωi∩KerL=∂Ωi∩R2 (i=1,2).
If it is not true, then there exists (u,v)T∈∂Ωi, such that
{∫T0Δ1(z(t), t)dt=0,∫T0Δ2(z(t), t)dt=0. |
By virtue of the mean value theorem, there exists two points tj∈[0,T] (j=1, 2) satisfying
{Δ1(z(t1), t1)=0,Δ2(z(t2), t2)=0. |
So, we obtain
u∈(u−, u+), |
and
v∈(v−, l−)∪(l+, v+), |
which contradicts (u,v)T∈∂Ωi∩R2. So the condition [C2] in Lemma 2.1 holds.
Then, we check the condition [C3] in Lemma 2.1. Define the homomorphism J: ImQ⟶KerL, Jz≡z. From [H3], we have
deg{JQN,Ωi∩KerL,0}=∑z∗k∈QN−1(0)sgnJQN(z∗k)=∑z∗k∈QN−1(0)detG(u∗k,v∗k)n∏k=1u∗kn∏k=1v∗k≠0. |
This implies that the condition [C3] in Lemma 2.1 holds too. Note that, Ω1 and Ω2 satisfies all conditions of Lemma 2.1. Therefore, system (1.6) has at least two T−periodic solutions.
Here, we would like to give two remarks.
Remark 2.1. If we take H1(t)=0,H2(t)=0 and b(t)=0, i.e., system (1.6) without considering the harvesting terms of prey and predator, as well as the predator competition, we find that the system (1.3) in [13] is the system (1.6).
Remark 2.2. In [16] and [17], the authors only considered the Gause model (1.4) and (1.5) with prey harvesting h1, respectively, but they don't investigate the influence of the predator harvesting. In fact, the influence of the predator harvesting is very important in biological populations and bioeconomics, especially in fisheries management etc.
In this paper, we are concerned with a Gause-type predator-prey model with Allee effect, Holling type Ⅲ functional response and the artificial harvesting terms, which are very important in biological populations and bioeconomics. Four important assumptions as regards the interactions between prey and predator is considered. By applying the Mawhin coincidence degree theory, we obtain the existence of multiple positive periodic solutions for the predator-prey model.
We express our sincere thanks to the anonymous reviewers for their valuable comments and suggestions. This work is supported by the Natural Science Foundation of China (Grant No.11771185). The first author supported by Postgraduate Research and Practice Innovation Program of Jiangsu Province (Grant Nos. KYCX18-2091, KYCX20-2082 and KYCX20-2206).
The authors declare no conflict of interest in this paper.
[1] | R. Moreau, Magnetohydrodynamics, Kluwer Academic Publishers, 1990. |
[2] | W. Hughes, F. Young, The Electromagnetodynamics of Fluids, Wiley: New York, 1966. |
[3] | M. D. Gunzburger, A. J. Meir, J. S. Peterson, On the existence, uniqueness, and finite element approximation of solutions of the equations of stationary, incompressible magnetohydrodynamics, Math. Comput., 56 (199), 523-563. |
[4] | J. Gerbeau, C. Bris, T. Lelièvre, Mathematical methods for the Manetohydrodynamics of liquid metals, Oxford University Press, 2006. |
[5] |
M. Sermange, R. Temam, Some mathematical questions related to the magnetohydrodynamic equations, Comput. Compacts, 1 (1983), 212. doi: 10.1016/0167-7136(83)90286-X
![]() |
[6] |
U. Hasler, A. Schneebeli, D. Schötzau, Mixed finite element approximation of incompressible MHD problems based on weighted regularization, Appl. Numer. Math., 51 (2004), 19-45. doi: 10.1016/j.apnum.2004.02.005
![]() |
[7] |
J. L. Guermond, P. D. Minev, Mixed Finite Element approximation of an MHD problem involving conducting and insulating regions: The 2D case, ESAIM: Math. Modell. Numer. Analy., 36 (2002), 517-536. doi: 10.1051/m2an:2002024
![]() |
[8] |
J. L. Guermond, P. D. Minev, Mixed finite element approximation of an MHD problem involving conducting and insulating regions: The 3D case, Numer. Methods Partial Differential Equations, 19 (2002), 709-731. doi: 10.1002/num.10067
![]() |
[9] |
D. Schötzau, Mixed finite element methods for stationary incompressible magneto-hydrodynamics, Numer. Math., 96 (2004), 771-800. doi: 10.1007/s00211-003-0487-4
![]() |
[10] |
J. F. Gerbeau, A stabilized finite element method for the incompressible magnetohydrodynamic equations, Numerische Mathematik, 87 (2000), 83-111. doi: 10.1007/s002110000193
![]() |
[11] |
N. B. Salah, A. Soulaimani, W. G. Habashi, A finite element method for magnetohydrodynamics, Comput. Methods Appl. Mech. Eng., 190 (2001), 5867-5892. doi: 10.1016/S0045-7825(01)00196-7
![]() |
[12] | A. I. Nesliturk, M. Tezer-Sezgin, Two-evel finite element method with a stabilizing subgrid for the incompressible MHD equations, Int. J. Numer. Methods Fluids, 62 (2010), 188-210. |
[13] | X. J. Dong, Y. N. He, Y. Zhang, Convergence analysis of three finite element iterative methods for the 2D/3D stationary incompressible magnetohydrodynamics, Comput. Method. Appl. Math., 276 (2014), 287-311. |
[14] |
Y. N. He, Unconditional convergence of the Euler semi-implicit scheme for the three-dimensional incompressible MHD equations, IMA. J. Numer. Anal., 35 (2015), 767-801. doi: 10.1093/imanum/dru015
![]() |
[15] |
X. J. Dong, Y. N. He, Two-level newton iterative method for the 2D/3D stationary incompressible magnetohydrodynamics, J. Sci. Comput., 63 (2015), 426-451. doi: 10.1007/s10915-014-9900-7
![]() |
[16] | R. Ingram, Numerical analysis of a finite element Crank-Nicolson discretization for MHD flows at small magnetic Reynolds numbers, Int. J. Numer. Analy. Model., 10 (2012), 74-98. |
[17] |
Y. F. Lei, Y. Yang, Z. Y. Si, Error estimate of fully discrete dc-fem for unsteady incompressible magnetohydrodynamics equations, Appl. Anal., 97 (2018), 2355-2376. doi: 10.1080/00036811.2017.1366990
![]() |
[18] | Z. Y. Si, S. J. Jing, Y. X. Wang, Defect correction finite element method for the stationary incompressible magnetohydrodynamics equation, Appl. Math. Comput., 285 (2016), 184-194. |
[19] |
Z. Y. Si, C. Liu, Y. X. Wang, A semi-discrete defect correction finite element method for unsteady incompressible magnetohydrodynamics equations, Math. Method Appl. Sci., 40 (2017), 4179-4196. doi: 10.1002/mma.4296
![]() |
[20] |
J. E. Deng, Z. Y. Si, A decoupling penalty finite element method for the stationary incompressible magnetohydrodynamics equation, Int. J. Heat. Mass. Tran., 128 (2019), 601-612. doi: 10.1016/j.ijheatmasstransfer.2018.08.096
![]() |
[21] |
W. Layton, H. Tran, C. Trenchea, Numerical analysis of two parititioned methods for uncoupling evolutionary MHD flows, Numer. Methods Partial Differ. Equ., 30 (2014), 1083-1102. doi: 10.1002/num.21857
![]() |
[22] |
G. D. Zhang, Y. N. He, D. Yang, Analysis of coupling iterations based on the finite element method for stationary magnetohydrodynamics on a general domain, Comput. Math. Appl., 68 (2014), 770-788. doi: 10.1016/j.camwa.2014.07.025
![]() |
[23] |
G. D. Zhang, Y. N. He, Decoupled schemes for unsteady MHD equations. II: Finite element spatial discretization and numerical implementation, Comput. Math. Appl., 69 (2015), 1390-1406. doi: 10.1016/j.camwa.2015.03.019
![]() |
[24] | R. A. Adams, Sobolev Space, In: Pure and Applied Mathematics, vol. 65, Academic Press, New York, 1975. |
[25] | V. Girault, P. Raviart, Finite element methods for Navier-Stokes equations, 1986. |
[26] |
J. Heywood, G. John, The Navier-Stokes equations: On the existence, regularity and decay of solutions, Indiana University Math. J., 29 (1980), 639-681. doi: 10.1512/iumj.1980.29.29048
![]() |
[27] | Y. N. He, Two-level method based on finite element and Crank-Nicolson extrapolation for the timedependent Navier-Stokes equations, SIAM J. Numer. Anal., 41 (2004), 1263-1285. |
[28] | G. Galdi, An introduction to the mathematical theory of the Navier-Stokes equations: Steady-state problems, Springer, New Yourk, 2011. |
[29] |
Y. Achdou, J. L. Guermond, Convergence analysis of a finite element projection/Lagrange-Galerkin method for the incompressible Navier-Stokes equations, SIAM J. Numer. Anal., 37 (2000), 799-826. doi: 10.1137/S0036142996313580
![]() |
[30] |
R. Bermejo, P. Galán del Sastre, L. Saavedra, A second order in time modified Lagrange-Galerkin finite element method for the incompressible Navier-Stokes equations, SIAM J. Numer. Anal., 50 (2012), 3084-3109. doi: 10.1137/11085548X
![]() |
[31] |
Z. Y. Si, J. L. Wang, W. W. Sun, Unconditional stability and error estimates of modified characteristics FEMs for the Navier-Stokes equations, Numer. Math., 134 (2016), 139-161. doi: 10.1007/s00211-015-0767-9
![]() |
[32] | F. Hecht, New development in FreeFem++, J. Numer. Math., 20 (2012), 251-265. |