Interacting dynamical systems on networks and fractals: discrete and continuous models, mean-field limit, and convergence rates

We develop a continuum limit and mean-field theory for interacting particle systems (IPS) on self-similar networks, a new class of discrete models whose large-scale behavior gives rise to nonlocal evolution equations on fractal domains. This work extends the graphon-based framework for IPS, used to derive continuum and mean-field limits in the non-exchangeable setting, to situations where the spatial domain is fractal rather than Euclidean. The motivation arises from both physical models naturally formulated on fractals and real-world networks exhibiting hierarchical or quasi-self-similar structure. Our analysis relies on tools from fractal geometry, including Iterated Function Systems and self-similar measures. A central result is an explicit isomorphism between self-similar IPS and graphon IPS, which allows us to justify the continuum and mean-field limits in the self-similar setting. This connection reveals that macroscopic dynamics on fractal domains emerge naturally as limits of dynamics on appropriate discretizations of fractal sets. Another contribution of the paper is the derivation of optimal convergence rates for the discrete self-similar models. We introduce a scale of generalized Lipschitz spaces on fractals, extending the Nikolskii-Besov spaces used in the Euclidean setting, and obtain convergence estimates for discontinuous Galerkin approximations of nonlocal equations posed on fractal domains. These results apply to kernels with minimal regularity addressing models relevant in applications.

💡 Research Summary

The paper develops a rigorous continuum‑limit and mean‑field (Vlasov) theory for interacting particle systems (IPS) defined on self‑similar (fractal) networks. Starting from the well‑established graphon framework for non‑exchangeable IPS, the authors construct a precise isomorphism between self‑similar sets generated by iterated function systems (IFS) and the unit interval equipped with the Lebesgue measure. This isomorphism transfers functions, measures, and integrals on a fractal domain K to corresponding objects on