Table of Contents
Fetching ...

Dynamics of a coupled nonlocal PDE-ODE system with spatial memory: well-posedness, stability, and bifurcation analysis

Yurij Salmaniw, Di Liu, Junping Shi, Hao Wang

TL;DR

This work analyzes a one-dimensional reaction–diffusion–aggregation model coupled to a dynamically evolving spatial memory map $k(x,t)$, where $k_t = g_1(u) - g_2(u) k$ and movement is biased by a nonlocal term via $ar{k} = G*k$ with an exponential kernel. By proving well-posedness and establishing a local equivalence to a local parabolic–ODE–elliptic system, the authors perform a linear stability and Crandall–Rabinowitz bifurcation analysis to characterize when nonuniform steady states arise and whether the bifurcations are subcritical or supercritical. A central finding is that the map can act attractively or repulsively depending on the relative excitation and adaptation rates near the homogeneous steady state, which, together with population growth, drives multi-peak patterns and potential tipping-point behavior. Numerically, the framework reveals how growth, memory encoding, and kernel range interact to produce in-phase or out-of-phase patterns and to determine the stability and direction of bifurcating branches, offering insights into ecological pattern formation and abrupt abundance shifts.

Abstract

Nonlocal aggregation-diffusion models, when coupled with a spatial map, can capture cognitive and memory-based influences on animal movement and population-level patterns. In this work, we study a one-dimensional reaction-diffusion-aggregation system in which a population's spatiotemporal dynamics are tightly linked to a separate, dynamically updating map. Depending on the local population density, the map amplifies and suppresses certain landscape regions and contributes to directed movement through a nonlocal spatial kernel. After establishing the well-posedness of the coupled PDE-ODE system, we perform a linear stability analysis to identify critical aggregation strengths. We then perform a rigorous bifurcation analysis to determine the precise solution behavior at a steady state near these critical thresholds, deciding whether the bifurcation is sub- or supercritical and the stability of the emergent branch. Based on our analytical findings, we highlight several interesting biological consequences. First, we observe that whether the spatial map functions as attractive or repulsive depends precisely on the map's relative excitation rate versus adaptory rate: when the excitatory effect is larger (smaller) than the adaptatory effect, the map is attractive (repulsive). Second, in the absence of growth dynamics, populations can only form a single aggregate. Therefore, the presence of intraspecific competition is necessary to drive multi-peaked aggregations, reflecting higher-frequency spatial patterns. Finally, we show how subcritical bifurcations can trigger abrupt shifts in average population abundance, suggesting a tipping-point phenomenon in which moderate changes in movement parameters can cause a sudden population decline.

Dynamics of a coupled nonlocal PDE-ODE system with spatial memory: well-posedness, stability, and bifurcation analysis

TL;DR

This work analyzes a one-dimensional reaction–diffusion–aggregation model coupled to a dynamically evolving spatial memory map , where and movement is biased by a nonlocal term via with an exponential kernel. By proving well-posedness and establishing a local equivalence to a local parabolic–ODE–elliptic system, the authors perform a linear stability and Crandall–Rabinowitz bifurcation analysis to characterize when nonuniform steady states arise and whether the bifurcations are subcritical or supercritical. A central finding is that the map can act attractively or repulsively depending on the relative excitation and adaptation rates near the homogeneous steady state, which, together with population growth, drives multi-peak patterns and potential tipping-point behavior. Numerically, the framework reveals how growth, memory encoding, and kernel range interact to produce in-phase or out-of-phase patterns and to determine the stability and direction of bifurcating branches, offering insights into ecological pattern formation and abrupt abundance shifts.

Abstract

Nonlocal aggregation-diffusion models, when coupled with a spatial map, can capture cognitive and memory-based influences on animal movement and population-level patterns. In this work, we study a one-dimensional reaction-diffusion-aggregation system in which a population's spatiotemporal dynamics are tightly linked to a separate, dynamically updating map. Depending on the local population density, the map amplifies and suppresses certain landscape regions and contributes to directed movement through a nonlocal spatial kernel. After establishing the well-posedness of the coupled PDE-ODE system, we perform a linear stability analysis to identify critical aggregation strengths. We then perform a rigorous bifurcation analysis to determine the precise solution behavior at a steady state near these critical thresholds, deciding whether the bifurcation is sub- or supercritical and the stability of the emergent branch. Based on our analytical findings, we highlight several interesting biological consequences. First, we observe that whether the spatial map functions as attractive or repulsive depends precisely on the map's relative excitation rate versus adaptory rate: when the excitatory effect is larger (smaller) than the adaptatory effect, the map is attractive (repulsive). Second, in the absence of growth dynamics, populations can only form a single aggregate. Therefore, the presence of intraspecific competition is necessary to drive multi-peaked aggregations, reflecting higher-frequency spatial patterns. Finally, we show how subcritical bifurcations can trigger abrupt shifts in average population abundance, suggesting a tipping-point phenomenon in which moderate changes in movement parameters can cause a sudden population decline.

Paper Structure

This paper contains 29 sections, 13 theorems, 111 equations, 8 figures.

Key Result

Proposition 2.1

Assume $(u_0,k_0)$ are even functions satisfying Hinitialdata. The following equivalence holds.

Figures (8)

  • Figure 1: A graphical depiction of the region of (local) stability of the homogeneous state in the $(R,\alpha)$-plane for system \ref{['1.1']} with growth dynamics. The shaded region corresponds to local stability, while the white regions correspond to linear instability. The black dividing line is given by Equation \ref{['1.13']}. The dashed line corresponds to the wavenumber at which destabilization occurs. The specific points $P=(2,17.7895)$, $Q=(0.3,3.0242)$, $H=(0.12,2.2328)$ are used in Example\ref{['ex1']} of Section \ref{['1.13']}; these are also the values chosen for Figures \ref{['fig:3']}, \ref{['fig:4']} and \ref{['fig:2']}.
  • Figure 2: A bifurcation diagram near the critical threshold $\alpha^*$ when $R=0.3$ for Example\ref{['ex1']} of Section \ref{['sec:apps']} (left panel) and the solution profile at steady state just beyond the critical threshold (right panel).
  • Figure 3: A bifurcation diagram near the critical threshold $\alpha^*$ when $R=2.0$ for Example\ref{['ex1']} of Section \ref{['sec:apps']} (left panel) and the solution profile at steady state just beyond the critical threshold (right panel).
  • Figure 4: The average population density as a function of aggregation strength $\alpha$ for four $R$ values (colored dots). The vertical dashed lines correspond to the critical threshold $\alpha^*(R)$ obtained from a linear stability analysis (see \ref{['alpha*']}). The right panels depict a zoomed-in version of the $R=0.3$ case (red dots) and the $R=2.0$ case (black dots), exemplifying the influence of subcritical versus supercritical bifurcation structure and the impact on the average population density.
  • Figure 5: A bifurcation diagram near the critical threshold $\alpha^*$ when $R=0.12$ for Example\ref{['ex1']} of Section \ref{['sec:apps']} (left panel) and the solution profile at steady state just beyond the critical threshold (right panel).
  • ...and 3 more figures

Theorems & Definitions (27)

  • Proposition 2.1: Equivalence to a local system
  • Proposition 2.2: Equivalence of stability between nonlocal and local systems
  • Theorem 2.3: Existence of unique classical solution
  • Theorem 2.4: Local stability of constant states
  • Theorem 2.5: Description of bifurcations I
  • Theorem 2.6: Description of bifurcations II
  • Definition 4.1: weak solution
  • Definition 4.2: classical solution
  • Lemma 5.1
  • proof
  • ...and 17 more