Table of Contents
Fetching ...

Two-species system with nonlocal interactions driven by Riesz potentials

Simone Fagioli, Valeria Iorio

Abstract

This paper investigates a system of nonlocal continuity equations modelling the interaction of two species coupled through Riesz-type potentials. The model incorporates self- and cross-interaction kernels of possibly different fractional orders. By exploiting optimal transportation theory and the theory of gradient flows in Wasserstein spaces, we establish the existence of weak solutions under singularity assumptions on all interaction potentials, provided the cross-interaction ones satisfy a symmetry condition. Our analysis extends previous results available for either single-species equations or multi-species systems with smoother cross-interaction kernels.

Two-species system with nonlocal interactions driven by Riesz potentials

Abstract

This paper investigates a system of nonlocal continuity equations modelling the interaction of two species coupled through Riesz-type potentials. The model incorporates self- and cross-interaction kernels of possibly different fractional orders. By exploiting optimal transportation theory and the theory of gradient flows in Wasserstein spaces, we establish the existence of weak solutions under singularity assumptions on all interaction potentials, provided the cross-interaction ones satisfy a symmetry condition. Our analysis extends previous results available for either single-species equations or multi-species systems with smoother cross-interaction kernels.

Paper Structure

This paper contains 14 sections, 17 theorems, 167 equations.

Key Result

Theorem 2.1

Let $T>0$ be fixed, and consider $0<s,r,q< \min \{1, \frac{d}{2} \}$, fixed exponent with Let $(\rho_0, \eta_0) \in X^{s,q}_2\times X^{r,q}_2$. Then, there exists a weak solution $(\rho, \eta)$ to eq:main_syst_1 in the sense of Definition def:weak_sol. Moreover, the energy dissipation inequality is satisfied for all $t\in[0,T]$. Finally, if $(\rho_0, \eta_0) \in L^p(\mathbb{R}^d)\times L^p(\math

Theorems & Definitions (31)

  • Definition 2.1
  • Remark 2.1
  • Definition 2.2: Weak solution to \ref{['eq:main_syst_1']}
  • Theorem 2.1
  • Remark 2.2: Choice of $q$
  • Remark 2.3: Case with more than two species
  • Proposition 2.1
  • Proposition 2.2
  • Proposition 3.1
  • proof
  • ...and 21 more