The inclusion of cognitive processes, such as perception, learning and memory, are inevitable in mechanistic animal movement modelling. Cognition is the unique feature that distinguishes animal movement from mere particle movement in chemistry or physics. Hence, it is essential to incorporate such knowledge-based processes into animal movement models. Here, we summarize popular deterministic mathematical models derived from first principles that begin to incorporate such influences on movement behaviour mechanisms. Most generally, these models take the form of nonlocal reaction-diffusion-advection equations, where the nonlocality may appear in the spatial domain, the temporal domain, or both. Mathematical rules of thumb are provided to judge the model rationality, to aid in model development or interpretation, and to streamline an understanding of the range of difficulty in possible model conceptions. To emphasize the importance of biological conclusions drawn from these models, we briefly present available mathematical techniques and introduce some existing "measures of success" to compare and contrast the possible predictions and outcomes. Throughout the review, we propose numerous open problems relevant to this relatively new area, ranging from precise technical mathematical challenges to broader conceptual challenges at the cross-section between mathematics and ecology. This review paper is expected to act as a synthesis of existing efforts while also pushing the boundaries of current modelling perspectives to better understand the influence of cognitive movement mechanisms on movement behaviours and space use outcomes.
On a PDE-ODE-PDE model for two interacting cell populations under the influence of an acidic environment and with nonlocal intra- and interspecific growth limitation
In this article, we will prove the existence of infinitely many positive weak solutions to the following nonlocal elliptic PDE. \begin{align} (-Δ)^s u&= \fracλ{u^γ}+ f(x,u)~\text{in}~Ω,\nonumber u&=0~\text{in}~\mathbb{R}^N\setminusΩ,\nonumber \end{align} where $Ω$ is an open bounded domain in $\mathbb{R}^N$ with Lipschitz boundary, $N>2s$, $s\in (0,1)$, $γ\in (0,1)$. We will employ variational techniques to show the existence of infinitely many weak solutions of the above problem.
We consider parabolic equations on bounded smooth open sets $\Om\subset \R^N$ ($N\ge 1$) with mixed Dirichlet type boundary-exterior conditions associated with the elliptic operator $\mathscr{L} \coloneqq - Δ+ (-Δ)^{s}$ ($0<s<1$). Firstly, we prove several well-posedness and regularity results of the associated elliptic and parabolic problems with smooth, and then with singular boundary-exterior data. Secondly, we show the existence of optimal solutions of associated optimal control problems, and we characterize the optimality conditions. This is the first time that such topics have been prese…
In this paper, we study a certain class of nonlocal partial differential equations (PDEs). The equations arise from a key problem in network science, i.e., network generation from local interaction rules, which result in a change of the degree distribution as time progresses. The evolution of the generating function of this degree distribution can be described by a nonlocal PDE. To address this equation we will rigorously convert it into a local first order PDE. Then, we use theory of characteristics to prove solvability and regularity of the solution. Next, we investigate the existence of ste…
In this paper, we prove the existence of multiple solutions for a nonlinear nonlocal elliptic PDE involving a singularity which is given as \begin{eqnarray} (-Δ_p)^s u&=& \fracλ{u^γ}+u^q~\text{in}~Ω,\nonumber u&=&0~\text{in}~\mathbb{R}^N\setminusΩ,\nonumber u&>& 0~\text{in}~Ω\nonumber, \end{eqnarray} where $Ω$ is an open bounded domain in $\mathbb{R}^N$ with smooth boundary, $N>ps$, $s\in (0,1)$, $λ>0$, $0<γ<1$, $1<p<\infty$, $p-1<q\leq p_s^{*}=\frac{Np}{N-ps}$. We employ variational techniques to show the existence of multiple positive weak solutions of the above problem. We also prove that f…
The magnetization ripple is a microstructure formed by the magnetization in a thin-film ferromagnet. It is triggered by the random orientation of the grains in the poly-crystalline material. In an approximation of the micromagnetic model, which is sketched in this paper, this leads to a nonlocal (and strongly anisotropic) elliptic equation in two dimensions with white noise as a right hand side. However, like in singular Stochastic PDE, this right hand side is too rough for the non-linearity in the equation. In order to develop a small-date well-posedness theory, we take inspiration from the r…
We prove the well-posedness results, i.e. existence, uniqueness, and stability, of the solutions to a class of nonlocal fully nonlinear parabolic partial differential equations (PDEs), where there is an external time parameter $t$ on top of the temporal and spatial variables $(s,y)$ and thus the problem could be considered as a flow of equations. The nonlocality comes from the dependence on the unknown function and its first- and second-order derivatives evaluated at not only the local point $(t,s,y)$ but also at the diagonal line of the time domain $(s,s,y)$. Such equations arise from time-in…
In this paper we study the existence and multiplicity of two distinct nontrivial weak solutions of the following equation in Nehari manifold. We have also proved that these solutions are in $L^{\infty}(Ω)$. \begin{align*} \begin{split} -Δ_{p(x,y)}^{s(x,y)}u &= β|u|^{α(x)-2}u+λf(x,u)\,\,\mbox{in}\,\,Ω,\\ u &= 0\,\, \mbox{in}\,\, \mathbb{R}^{N}\setminusΩ\end{split} \end{align*} Here, $λ, β> 0$ are parameters and $f(x,u)$ is a general nonlinear term satisfying certain conditions. The domain $Ω\subset\mathbb{R}^N (N\geq 2)$ is smooth and bounded. The relation between the exponents are assumed in t…
We consider several non-local models for traffic flow, including both microscopic ODE models and macroscopic PDE models. The ODE models describe the movement of individual cars, where each driver adjusts the speed according to the road condition over an interval in the front of the car. These models are known as the FtLs (Follow-the-Leaders) models. The corresponding PDE models, describing the evolution for the density of cars, are conservation laws with non-local flux functions. For both types of models, we study stationary traveling wave profiles and stationary discrete traveling wave profil…
We derive the solution representation for a large class of nonlocal boundary value problems for linear evolution PDEs with constant coefficients in one space variable. The prototypical such PDE is the heat equation, for which problems of this form model physical phenomena in chemistry and for which we formulate and prove a full result. We also consider the third order case, which is much less studied and has been shown by the authors to have very different structural properties in general. The nonlocal conditions we consider can be reformulated as \emph{multipoint conditions}, and then an expl…
We introduce the problem of parameter identification for a coupled nonlocal Cahn-Hilliard-reaction-diffusion PDE system stemming from a recently introduced tumor growth model. The inverse problem of identifying relevant parameters is studied here by relying on techniques from optimal control theory of PDE systems. The parameters to be identified play the role of controls, and a suitable cost functional of tracking-type is introduced to account for the discrepancy between some a priori knowledge of the parameters and the controls themselves. The analysis is carried out for several classes of mo…
In this work, given $p\in (1,\infty)$, we prove the existence and simplicity of the first eigenvalue $λ_p$ and its corresponding eigenvector $(u_p,v_p)$, for the following local/nonlocal PDE system \begin{equation}\label{Eq0} \left\{ \begin{array}{rclcl} -Δ_p u + (-Δ)^r_p u & = & \frac{2α}{α+β}λ|u|^{α-2}|v|^βu & \mbox{in} & Ω\\ -Δ_p v + (-Δ)^s_p v& = & \frac{2β}{α+β}λ|u|^α|v|^{β-2}v & \mbox{in} & Ω u& =& 0&\text{ on } & \mathbb{R}^N \setminus Ω v& =& 0&\text{ on } & \mathbb{R}^N \setminus Ω, \end{array} \right. \end{equation} where $Ω$$\subset$ $\mathbb{R}^N$ is a bounded open domain, $0<r, s<…
We provide a review of recent advancements in nonlocal continuous models for migration, mainly from the perspective of its involvement in embryonal development and cancer invasion. Particular emphasis is placed on spatial nonlocality occurring in advection terms, used to characterise a cell's motility bias according to its interactions with other cellular and acellular components in its vicinity (e.g., cell-cell and cell-tissue adhesions, nonlocal chemotaxis), but we also shortly address spatially nonlocal source terms. Following a brief introduction and motivation, we give a systematic classi…
The nonlinear and nonlocal PDE $$ |v_t|^{p-2}v_t+(-Δ_p)^sv=0 \, , $$ where $$ (-Δ_p)^s v\, (x,t)=2 \,\text{PV} \int_{\mathbb{R}^n}\frac{|v(x,t)-v(x+y,t)|^{p-2}(v(x,t)-v(x+y,t))}{|y|^{n+sp}}\, dy, $$ has the interesting feature that an associated Rayleigh quotient is non-increasing in time along solutions. We prove the existence of a weak solution of the corresponding initial value problem which is also unique as a viscosity solution. Moreover, we provide Hölder estimates for viscosity solutions and relate the asymptotic behavior of solutions to the eigenvalue problem for the fractional $p$-Lap…
For some spatially nonlocal diffusion models with a finite range of nonlocal interactions measured by a positive parameter $δ$, we review their formulation defined on a bounded domain subject to various conditions that correspond to some inhomogeneous data. We consider their consistency to similar inhomogeneous boundary value problems of classical partial differential equation (PDE) models as the nonlocal interaction kernel gets localized in the local $δ\to 0$ limit, and at the same time, for rescaled fractional type kernels, to corresponding inhomogeneous nonlocal boundary value problems of f…
Nonlocal models provide accurate representations of physical phenomena ranging from fracture mechanics to complex subsurface flows, where traditional partial differential equations fail to capture effects caused by long-range forces at the microscale and mesoscale. However, the application of nonlocal models to problems involving interfaces such as multimaterial simulations and fluid-structure interaction, is hampered by the lack of a rigorous nonlocal interface theory needed to support numerical developments. In this paper, we use an energy-based approach to develop a mathematically rigorous …
We analyze a mean-field game model proposed by economists R.E. Lucas and B. Moll (2014) to describe economic systems where production is based on knowledge growth and diffusion. This model reduces to a PDE system where a backward Hamilton-Jacobi-Bellman equation is coupled with a forward KPP-type equation with nonlocal reaction term. We study the existence of traveling waves for this mean-field game system, obtaining the existence of both critical and supercritical waves. In particular we prove a conjecture raised by economists on the existence of a critical balanced growth path for the descri…
We consider the Cauchy problem for the integrable nonlocal nonlinear Schrödinger (NNLS) equation $ \I\partial_t q(x,t)+\partial_{x}^2q(x,t)+2σq^{2}(x,t)\overline{q(-x,t)}=0 $ with initial data $q(x,0)\in H^{1,1}(\mathbb{R})$. It is known that the NNLS equation is integrable and it has soliton solutions, which can have isolated finite time blow-up points. The main aim of this work is to propose a suitable concept for continuation of weak $H^{1,1}$ local solutions of the general Cauchy problem (particularly, those admitting long-time soliton resolution) beyond possible singularities. Our main to…
We study interior $L^p$-regularity theory, also known as Calderon-Zygmund theory, of the equation \[ \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \frac{K(x,y)\ (u(x)-u(y))\, (φ(x)-φ(y))}{|x-y|^{n+2s}}\, dx\, dy = \langle f, φ\rangle \quad φ\in C_c^\infty(\mathbb{R}^n). \] For $s \in (0,1)$, $t \in [s,2s]$, $p \in [2,\infty)$, $K$ an elliptic, symmetric, Hölder continuous kernel, if $f \in \left (H^{t,p'}_{00}(Ω)\right )^\ast$, then the solution $u$ belongs to $H^{2s-t,p}_{loc}(Ω)$ as long as $2s-t < 1$. The increase in differentiability is independent of the Hölder coefficient of $K$. For example, …
We determine the nonlinear stability of shock-fronted travelling waves arising in a reaction-nonlinear diffusion PDE, subject to a fourth-order spatial derivative term multiplied by a small parameter $\varepsilon$ that models {\it nonlocal regularization}. Motivated by the authors' recent stability analysis of shock-fronted travelling waves under viscous relaxation, our numerical analysis is guided by the observation that there is a fast-slow decomposition of the associated eigenvalue problem for the linearised operator. In particular, we observe an astonishing reduction of the complex four-di…
A rigorous mathematical framework is provided for a substructuring-based domain-decomposition approach for nonlocal problems that feature interactions between points separated by a finite distance. Here, by substructuring it is meant that a traditional geometric configuration for local partial differential equation problems is used in which a computational domain is subdivided into non-overlapping subdomains. In the nonlocal setting, this approach is substructuring-based in the sense that those subdomains interact with neighboring domains over interface regions having finite volume, in contras…
In this paper, we propose a new mathematical model nonlinear reaction-diffusion PDE's describing the dynamics of propagation of cancer. Here the mixed problem for the proposed PDE's is investigated and by applying obtained results conclusions on the dynamics of propagation of cancer are drawn. These problems have nonlocal nonlinearity with variable exponents and possess special properties: these can be to remain either dissipative all time or become non-dissipative after a finite time. Here the solvability and behavior of solutions both when problems are yet dissipative and when become nondiss…
Nonlocal, nonlinear Fokker-Planck equations and nonlinear martingale problems
Al.I. Cuza University（阿尔·伊·库扎大学）；Octav Mayer Institute of Mathematics of Romanian Academy（罗马尼亚科学院奥克塔夫·梅耶尔数学研究所）；CIMA – Faculty of Exact Sciences and Engineering, University of Madeira（马德拉大学精确科学与工程学院）；Fakultät für Mathematik, Universität Bielefeld（比勒费尔德大学数学系）；Academy of Mathematics and System Sciences, CAS（中国科学院数学与系统科学研究院）
For a given Lipschitz domain $Ω$, it is a classical result that the trace space of $W^{1,p}(Ω)$ is $W^{1-1/p,p}(\partialΩ)$, namely any $W^{1,p}(Ω)$ function has a well-defined $W^{1-1/p,p}(\partialΩ)$ trace on its codimension-1 boundary $\partialΩ$ and any $W^{1-1/p,p}(\partialΩ)$ function on $\partialΩ$ can be extended to a $W^{1,p}(Ω)$ function. Recently, Dyda and Kassmann (2019) characterize the trace space for nonlocal Dirichlet problems involving integrodifferential operators with infinite interaction ranges, where the boundary datum is provided on the whole complement of the given domai…
In this article we consider the problem of finding the visibility set from a given point when the obstacles are represented as the level set of a given function. Although the visibility set can be computed efficiently by ray tracing, there are advantages to using a level set representation for the obstacles, and to characterizing the solution using a Partial Differential Equation (PDE). A nonlocal PDE formulation was proposed in Tsai et. al. (Journal of Computational Physics 199(1):260-290, 2004): in this article we propose a simpler PDE formulation, involving a nonlinear obstacle problem. We …
