Existence of Weak Solutions for a Nonlocal Klausmeier Model

TL;DR

This paper proves the existence of weak solutions for a nonlocal Klausmeier model, which describes plant and water dynamics in semi-arid regions, using a novel approach to handle nonlocal operators.

Contribution

It introduces a new method to establish weak solutions for a nonlocal PDE system by modifying the model to include derivatives, overcoming compactness challenges.

Findings

Existence of weak solutions established for the nonlocal Klausmeier model.

Modified the model to include derivative equations to handle nonlocal operator challenges.

Applied Galerkin method with new regularity techniques to prove solutions.

Abstract

We establish the existence of weak solutions for a nonlocal Klausmeier model within a small time interval $[0, T)$. The Klausmeier model is a coupled, nonlinear system of partial differential equations governing plant biomass and water dynamics in semiarid regions. The original model posits that plants disperse their seed according to classical diffusion. Instead, we opt for a nonlocal diffusive operator in alignment with ecological field data that validates long-range dispersive behaviors of plants and seeds. The equations, defined on a finite interval in $\mathbb{R}$, feature homogeneous Dirichlet boundary conditions for the water equation and nonlocal Dirichlet volume constraints for the plant biomass equation. The nonlocal operator involves convolution with a symmetric and spatially extended convolution kernel possessing mild integrability and regularity properties. We employ the Galerkin method to establish the existence of weak solutions. The key challenge comes from the nonlocal operator; we define it on a subspace of $L^{2}$ instead of $H^{1}$, precluding the use of Aubin's compactness theorem to prove the weak convergence of nonlinear terms. To overcome this, we modify the model and introduce two new equations for the spatial derivatives of plant biomass and water. This procedure allows us to recover enough regularity to establish compactness and complete the proof.