Table of Contents
Fetching ...

Evolution equations on co-evolving graphs: long-time behaviour and the graph continuity equation

José Antonio Carrillo, Antonio Esposito, László Mikolás

TL;DR

The paper develops a rigorous framework for evolution equations on co-evolving graphs, linking vertex-mass dynamics to a nonlinear graph-continuity equation via flow maps solving characteristic equations. It proves well-posedness for the coupled nonlinear Euler system governing the vertex mass and edge weights, using contraction arguments and explicit representations of the edge weights. By embedding Euler dynamics into a Vlasov-type graph-continuity equation and leveraging disintegration, the authors obtain well-posedness and stability results, including contraction in $L^2$-based metrics under upwind flux. For compact graphs with pointwise, monotone velocities, they establish long-time convergence to a uniform mass distribution, with $\,\sigma_t$ converging to $\delta_{M/\mu(K)}\otimes\mu$ in the weak-* sense, highlighting consensus formation on graphs with co-evolving topology.

Abstract

We focus on evolution equations on co-evolving, infinite, graphs and establish a rigorous link with a class of nonlinear continuity equations, whose vector fields depend on the graphs considered. More precisely, weak solutions of the so-called graph-continuity equation are shown to be the push-forward of their initial datum through the flow map solving the associated characteristics' equation, which depends on the co-evolving graph considered. This connection can be used to prove contractions in a suitable distance, although the flow on the graphs requires a too limiting assumption on the overall flux. Therefore, we consider upwinding dynamics on graphs with pointwise and monotonic velocity and prove long-time convergence of the solutions towards the uniform mass distribution.

Evolution equations on co-evolving graphs: long-time behaviour and the graph continuity equation

TL;DR

The paper develops a rigorous framework for evolution equations on co-evolving graphs, linking vertex-mass dynamics to a nonlinear graph-continuity equation via flow maps solving characteristic equations. It proves well-posedness for the coupled nonlinear Euler system governing the vertex mass and edge weights, using contraction arguments and explicit representations of the edge weights. By embedding Euler dynamics into a Vlasov-type graph-continuity equation and leveraging disintegration, the authors obtain well-posedness and stability results, including contraction in -based metrics under upwind flux. For compact graphs with pointwise, monotone velocities, they establish long-time convergence to a uniform mass distribution, with converging to in the weak-* sense, highlighting consensus formation on graphs with co-evolving topology.

Abstract

We focus on evolution equations on co-evolving, infinite, graphs and establish a rigorous link with a class of nonlinear continuity equations, whose vector fields depend on the graphs considered. More precisely, weak solutions of the so-called graph-continuity equation are shown to be the push-forward of their initial datum through the flow map solving the associated characteristics' equation, which depends on the co-evolving graph considered. This connection can be used to prove contractions in a suitable distance, although the flow on the graphs requires a too limiting assumption on the overall flux. Therefore, we consider upwinding dynamics on graphs with pointwise and monotonic velocity and prove long-time convergence of the solutions towards the uniform mass distribution.

Paper Structure

This paper contains 8 sections, 24 theorems, 150 equations.

Key Result

Theorem 2.1

Let $V:[0,T]\times \mathcal{\mathcal{M}}_{\mathrm{TV}}^M(\mathbb{R}^d)\to \mathcal{V}^{as}({\mathbb{R}^{2d}_{\!\diagup}})$ satisfy the uniform compressibility assumption for $C_V>0$. Assume there is a constant $L_V > 0$ such that, for all $t \in [0,T]$ and all $\rho, \sigma \in \mathcal{M}_{TV}^M(\mathbb{R}^d)$: Let $\omega:[0,T]\times\mathcal{\mathcal{M}}_{\mathrm{TV}}(\mathbb{R}^d)\times{\math

Theorems & Definitions (52)

  • Definition 1.1
  • Definition 2.1: Nonlocal gradient and divergence
  • Definition 2.2: Admissible flux interpolation
  • Example 2.1
  • Definition 2.3: Admissible flux
  • Definition 2.4: Solution to the initial value problem \ref{['eq:ivp']}
  • Theorem 2.1: Existence and uniqueness for \ref{['eq:ivp']}
  • proof
  • Definition 3.1: Solution to \ref{['eq:euler']}
  • Proposition 3.1
  • ...and 42 more