The eigentheory for nonlocal cooperative-advective system and its role in the study of free boundary system for directional epidemic models

Basic Information

• Paper ID: 2510.10024
• Title: The eigentheory for nonlocal cooperative-advective system and its role in the study of free boundary system for directional epidemic models
• Authors: Soufiane Bentout (University of Ain Temouchent), Hoang-Hung Vo (Saigon University)
• Classification: math.AP (Partial Differential Equations)
• Submission Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2510.10024

Abstract

This paper investigates nonlocal cooperative reaction-diffusion systems driven by directional epidemic propagation, incorporating free boundaries and drift terms. The model presents substantial analytical challenges compared to prior work due to the absence of a variational structure combined with stringent regularity requirements for solutions. The authors first establish well-posedness of the local problem and global existence and uniqueness of classical solutions in C¹ spaces. Subsequently, they investigate the associated nonlocal eigenvalue problem, proving the existence, simplicity, qualitative properties, and asymptotic behavior of the principal eigenvalue. The analysis employs Fredholm theory, the Crandall-Rabinowitz bifurcation theorem, and Hadamard-type derivative formulas to characterize parameter dependence and its connection to the basic reproduction number R₀. Based on this spectral characterization, the authors establish a sharp vanishing-spreading dichotomy in the long-term dynamics: when R₀ ≤ 1, all solutions vanish; when R₀ > 1, the outcome depends on the initial domain size h₀ and the free boundary expansion rate μ.

Research Background and Motivation

Problem Background

1. Threat of waterborne diseases: Waterborne diseases such as cholera, botulism, and giardiasis continue to pose significant threats to global public health, particularly in developing countries. It is estimated that waterborne diseases account for approximately 3.6% of the global disease burden (DALYs), causing approximately 1.5 million deaths annually.
2. Limitations of existing models: Classical reaction-diffusion frameworks based on the Laplacian operator are inadequate for handling inherently nonlocal or directionally-biased movement. Traditional models often neglect long-distance transmission and directional drift driven by environmental flow or human activity.
3. Mathematical challenges: The combination of nonlocal diffusion systems with drift terms results in the absence of a variational structure, making classical spectral theory methods difficult to apply directly, necessitating the development of new analytical techniques.

Research Motivation

• Practical necessity: Accurate modeling of pathogen transmission in water bodies, accounting for environmental factors such as river flow and wind direction
• Theoretical challenges: Development of new mathematical theory for handling nonlocal cooperative systems with free boundary problems
• Applied value: Provision of mathematical foundations for epidemiology, biological invasion, and population dynamics research

Core Contributions

1. Well-posedness theory: In the absence of a variational structure, the authors establish a global well-posedness theory for nonlocal cooperative reaction-diffusion systems, proving existence, uniqueness, and global existence of classical solutions in C¹ spaces.
2. Spectral theory development:
   • Proof of existence and simplicity of the principal eigenvalue
   • Establishment of continuity and monotonicity of the principal eigenvalue with respect to parameters
   • Analysis of differentiability of the principal eigenvalue with respect to diffusion coefficients using Hadamard-type formulas
3. Characterization of basic reproduction number: Establishment of equivalence between the sign of the principal eigenvalue and the basic reproduction number R₀: R₀ > 1 ⟺ λₚ < 0
4. Vanishing-spreading dichotomy: Complete classification of long-term dynamics:
   • When R₀ ≤ 1, all solutions vanish
   • When R₀ > 1 and h₀ < L*, there exists a critical threshold μ̂ distinguishing vanishing and spreading behavior
   • In the spreading case, solutions converge to a unique positive steady state

Detailed Methodology

Mathematical Model

Consider the following nonlocal cooperative reaction-diffusion system:

where:

• u(t,x), v(t,x) represent the pathogen density in the environment and infected individual density, respectively
• J₁, J₂ are symmetric diffusion kernels
• p, q are drift coefficients representing directional transmission
• H(v), G(u) are cooperative interaction terms satisfying concavity conditions
• g(t), h(t) is the time-varying spatial domain

Free Boundary Conditions

The boundary motion is determined by the following equations:

Technical Innovations

1. Generalization of comparison principles: Establishment of new comparison principles for nonlocal diffusion-advection operators, overcoming technical difficulties posed by drift terms.
2. Spectral analysis methods:
   • Utilization of operator decomposition techniques: L = J - T, where J is a compact positive operator and T contains drift terms
   • Analysis of spectral radius through properties of the resolvent R(ξ) = (T + ξI)⁻¹
   • Application of the Krein-Rutman theorem to handle non-self-adjoint operators
3. Application of Hadamard formulas: Establishment of differentiability of the principal eigenvalue with respect to diffusion coefficients:$∂λ*/∂d_j = ∫_{-Z}^Z w*_j(x)[∫_{-Z}^Z J_j(x-y)φ_j(y)dy - φ_j(x)]dx$

Main Theoretical Results

Theorem 1 (Global Existence and Uniqueness)

Under assumptions (J) and (GH), for any h₀ > 0, problem (1) admits a unique positive solution (u,v,g,h) defined for all t > 0.

Theorem 2 (Principal Eigenvalue)

The linearized eigenvalue problem admits a principal eigenvalue λ*, which is simple and corresponds to a strictly positive eigenfunction.

Theorem 3 (Parameter Dependence)

The principal eigenvalue λ*(Z) is strictly increasing and continuous with respect to domain size Z. There exists a critical domain size Z* such that:

• λ*(Z) < 0 when Z < Z*
• λ*(Z) > 0 when Z > Z*
• Z* < ∞ if and only if R₀ > 1

Theorem 4 (Vanishing-Spreading Dichotomy)

Assume R₀ > 1 and h₀ < L*. Then there exists a threshold μ̂ > 0 such that:

• Vanishing occurs when μ ∈ (0, μ̂]
• Spreading occurs and converges to a positive steady state when μ > μ̂

Key Proof Techniques

Well-posedness Proof

1. Local existence: Application of the Banach fixed-point theorem through construction of a contraction mapping
2. Global existence: Utilization of comparison principles and a priori estimates to prove solutions do not blow up in finite time
3. Regularity: Establishment of C¹ regularity through the method of characteristics and integral equation techniques

Spectral Analysis

1. Operator decomposition: Transformation of the problem into spectral analysis of compact operators
2. Monotonicity: Utilization of operator sequences and monotonicity of spectral radius
3. Continuity: Establishment through continuous dependence of operator norms

Long-term Behavior Analysis

1. Vanishing case: Construction of supersolutions and application of comparison principles
2. Spreading case: Combination of subsolution construction and asymptotic analysis
3. Critical threshold: Determination through combination of continuity and monotonicity

Applications

Epidemiological Applications

• Provision of mathematical models for spatial transmission of waterborne diseases (e.g., cholera)
• Quantification of environmental factors' (river flow, wind direction) impact on epidemic propagation
• Theoretical basis for public health intervention strategies

Ecological Applications

• Simulation of invasive species dispersal in heterogeneous environments
• Analysis of habitat fragmentation effects on population dynamics
• Prediction of species distribution changes under climate change

In-depth Evaluation

Strengths

1. Strong theoretical innovation:
   • First systematic study of free boundary problems for nonlocal cooperative-advective systems
   • Development of new techniques for handling systems without variational structure
   • Establishment of a complete spectral theory framework
2. Advanced mathematical techniques:
   • Skillful combination of Fredholm theory, bifurcation theory, and Hadamard formulas
   • Innovative handling of technical difficulties posed by drift terms
   • Rigorous mathematical proofs and comprehensive theoretical framework
3. Completeness of results:
   • Complete analysis from well-posedness to long-term behavior
   • Sharp characterization of vanishing-spreading dichotomy
   • Precise description of parameter dependence
4. Significant practical value:
   • Direct application to epidemiological and ecological problems
   • Mathematical foundation for practical prediction and control

Limitations

1. Restrictions of model assumptions:
   • Assumption of symmetric kernels, though asymmetry may exist in practice
   • Constant drift coefficients, which may vary spatially in reality
   • One-dimensional spatial setting; higher-dimensional generalizations require further study
2. Absence of numerical verification:
   • Pure theoretical analysis lacking numerical experiments
   • No practical methods for parameter estimation provided
   • Lack of comparison with real data
3. Limited application scope:
   • Primarily focused on cooperative systems; competitive systems require different treatment
   • Assumption of environmental homogeneity; generalization to heterogeneous environments is complex

Impact Assessment

1. Academic value: Significant contribution to nonlocal diffusion equation theory, expected to have broad influence in mathematical analysis
2. Application prospects: Provision of new tools for epidemic modeling and ecological research with important practical value
3. Future research directions: Opens multiple new research avenues including higher-dimensional generalizations, stochastic perturbations, and heterogeneous environments

Applicable Scenarios

1. Epidemiological research: Spatial transmission modeling and prediction of waterborne diseases
2. Ecological applications: Invasive species dispersal, population dynamics analysis
3. Theoretical mathematics: Nonlocal diffusion equations, free boundary problems research
4. Numerical analysis: Provision of theoretical foundation for development of related numerical methods

Conclusion and Perspectives

This paper achieves important breakthroughs in the study of free boundary problems for nonlocal cooperative-advective systems, establishing a comprehensive mathematical theoretical framework. Major achievements include well-posedness theory, spectral analysis, and complete characterization of long-term dynamics. This work is not only theoretically significant in mathematics but also provides powerful tools for practical applications in epidemiology and ecology.

Future research directions include:

1. Generalization to higher-dimensional spaces
2. Treatment of asymmetric kernels
3. Effects of stochastic perturbations
4. Development of numerical methods
5. Validation with real data

This work lays a solid theoretical foundation for further development in related fields and is expected to have sustained and profound impact.