The aim of this paper is to establish a precise illustration for the structure of the nonconstant steady states for a Beddington–DeAngelis and Tanner predator–prey reaction–diffusion system with prey‐taxis. We treat the nonlinear prey‐taxis as a bifurcation parameter to analyze the bifurcation structure of the system. Furthermore, the exported global bifurcation theorem, under a rather natural condition, offers the existence of nonconstant steady states. In the proof, a priori estimates of steady states will play an important role. The local stability analysis with a numerical simulation and bifurcation analysis are given. Finally, some conclusions including biological meanings are performed to summarize our main analytic results and future investigations. [ABSTRACT FROM AUTHOR]
Gu, Huipeng, Cai, Mingchao, Li, Jingzhi, and Ju, Guoliang
Subjects
*EULER method, *CRANK-nicolson method, *A priori
Abstract
This paper concentrates on a priori error estimates of two monolithic schemes for Biot's consolidation model based on the three‐field formulation introduced by Oyarzúa et al. (SIAM J Numer Anal, 2016). The spatial discretizations are based on the Taylor–Hood finite elements combined with Lagrange elements for the three primary variables. We employ two different schemes to discretize the time domain. One uses the backward Euler method, and the other applies the combination of the backward Euler and Crank‐Nicolson methods. A priori error estimates show that both schemes are unconditionally convergent with optimal error orders. Detailed numerical experiments are presented to validate the theoretical analysis. [ABSTRACT FROM AUTHOR]