-
Well-posedness of aggregation-diffusion systems with irregular kernels
Authors:
José A. Carrillo,
Yurij Salmaniw,
Jakub Skrzeczkowski
Abstract:
We consider aggregation-diffusion equations with merely bounded nonlocal interaction potential $K$. We are interested in establishing their well-posedness theory when the nonlocal interaction potential $K$ is neither differentiable nor positive (semi-)definite, thus preventing application of classical arguments. We prove the existence of weak solutions in two cases: if the mass of the initial data…
▽ More
We consider aggregation-diffusion equations with merely bounded nonlocal interaction potential $K$. We are interested in establishing their well-posedness theory when the nonlocal interaction potential $K$ is neither differentiable nor positive (semi-)definite, thus preventing application of classical arguments. We prove the existence of weak solutions in two cases: if the mass of the initial data is sufficiently small, or if the interaction potential is symmetric and of bounded variation without any smallness assumption. The latter allows one to exploit the dissipation of the free energy in an optimal way, which is an entirely new approach. Remarkably, in both cases, under the additional condition that $\nabla K\ast K$ is in $L^2$, we can prove that the solution is smooth and unique. When $K$ is a characteristic function of a ball, we construct the classical unique solution. Under additional structural conditions we extend these results to the $n$-species system.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Aggregation-Diffusion Equations for Collective Behaviour in the Sciences
Authors:
Rafael Bailo,
José A. Carrillo,
David Gómez-Castro
Abstract:
This is a survey article based on the content of the plenary lecture given by José A. Carrillo at the ICIAM23 conference in Tokyo. It is devoted to produce a snapshot of the state of the art in the analysis, numerical analysis, simulation, and applications of the vast area of aggregation-diffusion equations. We also discuss the implications in mathematical biology explaining cell sorting in tissue…
▽ More
This is a survey article based on the content of the plenary lecture given by José A. Carrillo at the ICIAM23 conference in Tokyo. It is devoted to produce a snapshot of the state of the art in the analysis, numerical analysis, simulation, and applications of the vast area of aggregation-diffusion equations. We also discuss the implications in mathematical biology explaining cell sorting in tissue growth as an example of this modelling framework. This modelling strategy is quite successful in other timely applications such as global optimisation, parameter estimation and machine learning.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
An interacting particle consensus method for constrained global optimization
Authors:
José A. Carrillo,
Shi **,
Haoyu Zhang,
Yuhua Zhu
Abstract:
This paper presents a particle-based optimization method designed for addressing minimization problems with equality constraints, particularly in cases where the loss function exhibits non-differentiability or non-convexity. The proposed method combines components from consensus-based optimization algorithm with a newly introduced forcing term directed at the constraint set. A rigorous mean-field…
▽ More
This paper presents a particle-based optimization method designed for addressing minimization problems with equality constraints, particularly in cases where the loss function exhibits non-differentiability or non-convexity. The proposed method combines components from consensus-based optimization algorithm with a newly introduced forcing term directed at the constraint set. A rigorous mean-field limit of the particle system is derived, and the convergence of the mean-field limit to the constrained minimizer is established. Additionally, we introduce a stable discretized algorithm and conduct various numerical experiments to demonstrate the performance of the proposed method.
△ Less
Submitted 12 May, 2024; v1 submitted 1 May, 2024;
originally announced May 2024.
-
Finite Element Approximation of the Fractional Porous Medium Equation
Authors:
José A. Carrillo,
Stefano Fronzoni,
Endre Süli
Abstract:
We construct a finite element method for the numerical solution of a fractional porous medium equation on a bounded open Lipschitz polytopal domain $Ω\subset \mathbb{R}^{d}$, where $d = 2$ or $3$. The pressure in the model is defined as the solution of a fractional Poisson equation, involving the fractional Neumann Laplacian in terms of its spectral definition. We perform a rigorous passage to the…
▽ More
We construct a finite element method for the numerical solution of a fractional porous medium equation on a bounded open Lipschitz polytopal domain $Ω\subset \mathbb{R}^{d}$, where $d = 2$ or $3$. The pressure in the model is defined as the solution of a fractional Poisson equation, involving the fractional Neumann Laplacian in terms of its spectral definition. We perform a rigorous passage to the limit as the spatial and temporal discretization parameters tend to zero and show that a subsequence of the sequence of finite element approximations defined by the proposed numerical method converges to a bounded and nonnegative weak solution of the initial-boundary-value problem under consideration. This result can be therefore viewed as a constructive proof of the existence of a nonnegative, energy-dissipative, weak solution to the initial-boundary-value problem for the fractional porous medium equation under consideration, based on the Neumann Laplacian. The convergence proof relies on results concerning the finite element approximation of the spectral fractional Laplacian and compactness techniques for nonlinear partial differential equations, together with properties of the equation, which are shown to be inherited by the numerical method. We also prove that the total energy associated with the problem under consideration exhibits exponential decay in time.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Weak-strong uniqueness and high-friction limit for Euler-Riesz systems
Authors:
Nuno J. Alves,
José A. Carrillo,
Young-Pil Choi
Abstract:
In this work we employ the relative energy method to obtain a weak-strong uniqueness principle for a Euler-Riesz system, as well as to establish its convergence in the high-friction limit towards a gradient flow equation. The main technical challenge in our analysis is addressed using a specific case of a Hardy-Littlewood-Sobolev inequality for Riesz potentials.
In this work we employ the relative energy method to obtain a weak-strong uniqueness principle for a Euler-Riesz system, as well as to establish its convergence in the high-friction limit towards a gradient flow equation. The main technical challenge in our analysis is addressed using a specific case of a Hardy-Littlewood-Sobolev inequality for Riesz potentials.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Classical solutions of a mean field system for pulse-coupled oscillators: long time asymptotics versus blowup
Authors:
José Antonio Carrillo,
Xu'an Dou,
Pierre Roux,
Zhennan Zhou
Abstract:
We introduce a novel reformulation of the mean-field system for pulse-coupled oscillators. It is based on writing a closed equation for the inverse distribution function associated to the probability density of oscillators with a given phase in a suitable time scale. This new framework allows to show a hidden contraction/expansion of certain distances leading to a full clarification of the long-ti…
▽ More
We introduce a novel reformulation of the mean-field system for pulse-coupled oscillators. It is based on writing a closed equation for the inverse distribution function associated to the probability density of oscillators with a given phase in a suitable time scale. This new framework allows to show a hidden contraction/expansion of certain distances leading to a full clarification of the long-time behavior, existence of steady states, rates of convergence, and finite time blow-up of classical solutions for a large class of monotone phase response functions. In the process, we get insights about the origin of obstructions to global-in-time existence and uniform in time estimates on the firing rate of the oscillators.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Positivity-preserving and energy-dissipating discontinuous Galerkin methods for nonlinear nonlocal Fokker-Planck equations
Authors:
José A. Carrillo,
Hailiang Liu,
Hui Yu
Abstract:
This paper is concerned with structure-preserving numerical approximations for a class of nonlinear nonlocal Fokker-Planck equations, which admit a gradient flow structure and find application in diverse contexts. The solutions, representing density distributions, must be non-negative and satisfy a specific energy dissipation law. We design an arbitrary high-order discontinuous Galerkin (DG) metho…
▽ More
This paper is concerned with structure-preserving numerical approximations for a class of nonlinear nonlocal Fokker-Planck equations, which admit a gradient flow structure and find application in diverse contexts. The solutions, representing density distributions, must be non-negative and satisfy a specific energy dissipation law. We design an arbitrary high-order discontinuous Galerkin (DG) method tailored for these model problems. Both semi-discrete and fully discrete schemes are shown to admit the energy dissipation law for non-negative numerical solutions. To ensure the preservation of positivity in cell averages at all time steps, we introduce a local flux correction applied to the DDG diffusive flux. Subsequently, a hybrid algorithm is presented, utilizing a positivity-preserving limiter, to generate positive and energy-dissipating solutions. Numerical examples are provided to showcase the high resolution of the numerical solutions and the verified properties of the DG schemes.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
To blow-up or not to blow-up for a granular kinetic equation
Authors:
José A. Carrillo,
Ruiwen Shu,
Li Wang,
Wuzhe Xu
Abstract:
A simplified kinetic description of rapid granular media leads to a nonlocal Vlasov-type equation with a convolution integral operator that is of the same form as the continuity equations for aggregation-diffusion macroscopic dynamics. While the singular behavior of these nonlinear continuity equations is well studied in the literature, the extension to the corresponding granular kinetic equation…
▽ More
A simplified kinetic description of rapid granular media leads to a nonlocal Vlasov-type equation with a convolution integral operator that is of the same form as the continuity equations for aggregation-diffusion macroscopic dynamics. While the singular behavior of these nonlinear continuity equations is well studied in the literature, the extension to the corresponding granular kinetic equation is highly nontrivial. The main question is whether the singularity formed in velocity direction will be enhanced or mitigated by the shear in phase space due to free transport. We present a preliminary study through a meticulous numerical investigation and heuristic arguments. We have numerically developed a structure-preserving method with adaptive mesh refinement that can effectively capture potential blow-up behavior in the solution for granular kinetic equations. We have analytically constructed a finite-time blow-up infinite mass solution and discussed how this can provide insights into the finite mass scenario.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Mean-field derivation of Landau-like equations
Authors:
José Antonio Carrillo,
Shuchen Guo,
Pierre-Emmanuel Jabin
Abstract:
We derive a class of space homogeneous Landau-like equations from stochastic interacting particles. Through the use of relative entropy, we obtain quantitative bounds on the distance between the solution of the N-particle Liouville equation and the tensorised solution of the limiting Landau-like equation.
We derive a class of space homogeneous Landau-like equations from stochastic interacting particles. Through the use of relative entropy, we obtain quantitative bounds on the distance between the solution of the N-particle Liouville equation and the tensorised solution of the limiting Landau-like equation.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Global solutions of the one-dimensional compressible Euler equations with nonlocal interactions via the inviscid limit
Authors:
Jose A. Carrillo,
Gui-Qiang G. Chen,
Difan Yuan,
Ewelina Zatorska
Abstract:
We are concerned with the global existence of finite-energy entropy solutions of the one-dimensional compressible Euler equations with (possibly) dam**, alignment forces, and nonlocal interactions: Newtonian repulsion and quadratic confinement. Both the polytropic gas law and the general gas law are analyzed. This is achieved by constructing a sequence of solutions of the one-dimensional compres…
▽ More
We are concerned with the global existence of finite-energy entropy solutions of the one-dimensional compressible Euler equations with (possibly) dam**, alignment forces, and nonlocal interactions: Newtonian repulsion and quadratic confinement. Both the polytropic gas law and the general gas law are analyzed. This is achieved by constructing a sequence of solutions of the one-dimensional compressible Navier-Stokes-type equations with density-dependent viscosity under the stress-free boundary condition and then taking the vanishing viscosity limit. The main difficulties in this paper arise from the appearance of the nonlocal terms. In particular, some uniform higher moment estimates for the compressible Navier-Stokes equations on expanding intervals with stress-free boundary conditions are obtained by careful design of the approximate initial data.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Sparse identification of nonlocal interaction kernels in nonlinear gradient flow equations via partial inversion
Authors:
Jose A. Carrillo,
Gissell Estrada-Rodriguez,
Laszlo Mikolas,
Sui Tang
Abstract:
We address the inverse problem of identifying nonlocal interaction potentials in nonlinear aggregation-diffusion equations from noisy discrete trajectory data. Our approach involves formulating and solving a regularized variational problem, which requires minimizing a quadratic error functional across a set of hypothesis functions, further augmented by a sparsity-enhancing regularizer. We employ a…
▽ More
We address the inverse problem of identifying nonlocal interaction potentials in nonlinear aggregation-diffusion equations from noisy discrete trajectory data. Our approach involves formulating and solving a regularized variational problem, which requires minimizing a quadratic error functional across a set of hypothesis functions, further augmented by a sparsity-enhancing regularizer. We employ a partial inversion algorithm, akin to the CoSaMP [57] and subspace pursuit algorithms [31], to solve the Basis Pursuit problem. A key theoretical contribution is our novel stability estimate for the PDEs, validating the error functional ability in controlling the 2-Wasserstein distance between solutions generated using the true and estimated interaction potentials. Our work also includes an error analysis of estimators caused by discretization and observational errors in practical implementations. We demonstrate the effectiveness of the methods through various 1D and 2D examples showcasing collective behaviors.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Interacting particle approximation of cross-diffusion systems
Authors:
Jose Antonio Carrillo,
Shuchen Guo
Abstract:
We derive a class of multi-species cross-diffusion systems from stochastic interacting particles. We prove existence of weak solutions of the limiting cross-diffusion system as well as the propagation of chaos by means of nonlocal approximation of the nonlinear diffusion terms, coupling methods and compactness arguments. We show that these equations capture the macroscopic behavior of the interact…
▽ More
We derive a class of multi-species cross-diffusion systems from stochastic interacting particles. We prove existence of weak solutions of the limiting cross-diffusion system as well as the propagation of chaos by means of nonlocal approximation of the nonlinear diffusion terms, coupling methods and compactness arguments. We show that these equations capture the macroscopic behavior of the interacting particle system if the localisation parameter is chosen logarithmically with respect to the number of particles.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Novel approaches for the reliable and efficient numerical evaluation of the Landau operator
Authors:
Jose Antonio Carrillo,
Mechthild Thalhammer
Abstract:
When applying Hamiltonian operator splitting methods for the time integration of multi-species Vlasov-Maxwell-Landau systems, the reliable and efficient numerical approximation of the Landau equation represents a fundamental component of the entire algorithm. Substantial computational issues arise from the treatment of the physically most relevant three-dimensional case with Coulomb interaction. T…
▽ More
When applying Hamiltonian operator splitting methods for the time integration of multi-species Vlasov-Maxwell-Landau systems, the reliable and efficient numerical approximation of the Landau equation represents a fundamental component of the entire algorithm. Substantial computational issues arise from the treatment of the physically most relevant three-dimensional case with Coulomb interaction. This work is concerned with the introduction and numerical comparison of novel approaches for the evaluation of the Landau collision operator. In the spirit of collocation, common tools are the identification of fundamental integrals, series expansions of the integral kernel and the density function on the main part of the velocity domain, and interpolation as well as quadrature approximation nearby the singularity of the kernel. Focusing on the favourable choice of the Fourier spectral method, their practical implementation uses the reduction to basic integrals, fast Fourier techniques, and summations along certain directions. Moreover, an important observation is that a significant percentage of the overall computational effort can be transferred to precomputations which are independent of the density function. For the purpose of exposition and numerical validation, the cases of constant, regular, and singular integral kernels are distinguished, and the procedure is adapted accordingly to the increasing complexity of the problem. With regard to the time integration of the Landau equation, the most expedient approach is applied in such a manner that the conservation of mass is ensured.
△ Less
Submitted 3 February, 2024;
originally announced February 2024.
-
Statistical Accuracy of Approximate Filtering Methods
Authors:
J. A. Carrillo,
F. Hoffmann,
A. M. Stuart,
U. Vaes
Abstract:
Estimating the statistics of the state of a dynamical system, from partial and noisy observations, is both mathematically challenging and finds wide application. Furthermore, the applications are of great societal importance, including problems such as probabilistic weather forecasting and prediction of epidemics. Particle filters provide a well-founded approach to the problem, leading to provably…
▽ More
Estimating the statistics of the state of a dynamical system, from partial and noisy observations, is both mathematically challenging and finds wide application. Furthermore, the applications are of great societal importance, including problems such as probabilistic weather forecasting and prediction of epidemics. Particle filters provide a well-founded approach to the problem, leading to provably accurate approximations of the statistics. However these methods perform poorly in high dimensions. In 1994 the idea of ensemble Kalman filtering was introduced by Evensen, leading to a methodology that has been widely adopted in the geophysical sciences and also finds application to quite general inverse problems. However, ensemble Kalman filters have defied rigorous analysis of their statistical accuracy, except in the linear Gaussian setting. In this article we describe recent work which takes first steps to analyze the statistical accuracy of ensemble Kalman filters beyond the linear Gaussian setting. The subject is inherently technical, as it involves the evolution of probability measures according to a nonlinear and nonautonomous dynamical system; and the approximation of this evolution. It can nonetheless be presented in a fairly accessible fashion, understandable with basic knowledge of dynamical systems, numerical analysis and probability.
△ Less
Submitted 27 February, 2024; v1 submitted 2 February, 2024;
originally announced February 2024.
-
The Collisional Particle-In-Cell Method for the Vlasov-Maxwell-Landau Equations
Authors:
Rafael Bailo,
José A. Carrillo,
**gwei Hu
Abstract:
We introduce an extension of the particle-in-cell (PIC) method that captures the Landau collisional effects in the Vlasov-Maxwell-Landau equations. The method arises from a regularisation of the variational formulation of the Landau equation, leading to a discretisation of the collision operator that conserves mass, charge, momentum, and energy, while increasing the (regularised) entropy. The coll…
▽ More
We introduce an extension of the particle-in-cell (PIC) method that captures the Landau collisional effects in the Vlasov-Maxwell-Landau equations. The method arises from a regularisation of the variational formulation of the Landau equation, leading to a discretisation of the collision operator that conserves mass, charge, momentum, and energy, while increasing the (regularised) entropy. The collisional effects appear as a fully deterministic effective force, thus the method does not require any transport-collision splitting. The scheme can be used in arbitrary dimension, and for a general interaction, including the Coulomb case. We validate the scheme on scenarios such as the Landau dam**, the two-stream instability, and the Weibel instability, demonstrating its effectiveness in the numerical simulation of plasma.
△ Less
Submitted 31 March, 2024; v1 submitted 3 January, 2024;
originally announced January 2024.
-
Convergence and stability results for the particle system in the Stein gradient descent method
Authors:
José A. Carrillo,
Jakub Skrzeczkowski
Abstract:
There has been recently a lot of interest in the analysis of the Stein gradient descent method, a deterministic sampling algorithm. It is based on a particle system moving along the gradient flow of the Kullback-Leibler divergence towards the asymptotic state corresponding to the desired distribution. Mathematically, the method can be formulated as a joint limit of time $t$ and number of particles…
▽ More
There has been recently a lot of interest in the analysis of the Stein gradient descent method, a deterministic sampling algorithm. It is based on a particle system moving along the gradient flow of the Kullback-Leibler divergence towards the asymptotic state corresponding to the desired distribution. Mathematically, the method can be formulated as a joint limit of time $t$ and number of particles $N$ going to infinity. We first observe that the recent work of Lu, Lu and Nolen (2019) implies that if $t \approx \log \log N$, then the joint limit can be rigorously justified in the Wasserstein distance. Not satisfied with this time scale, we explore what happens for larger times by investigating the stability of the method: if the particles are initially close to the asymptotic state (with distance $\approx 1/N$), how long will they remain close? We prove that this happens in algebraic time scales $t \approx \sqrt{N}$ which is significantly better. The exploited method, developed by Caglioti and Rousset for the Vlasov equation, is based on finding a functional invariant for the linearized equation. This allows to eliminate linear terms and arrive at an improved Gronwall-type estimate.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Uncertainty Quantification for the Homogeneous Landau-Fokker-Planck Equation via Deterministic Particle Galerkin methods
Authors:
Rafael Bailo,
José Antonio Carrillo,
Andrea Medaglia,
Mattia Zanella
Abstract:
We design a deterministic particle method for the solution of the spatially homogeneous Landau equation with uncertainty. The deterministic particle approximation is based on the reformulation of the Landau equation as a formal gradient flow on the set of probability measures, whereas the propagation of uncertain quantities is computed by means of a sg representation of each particle. This approac…
▽ More
We design a deterministic particle method for the solution of the spatially homogeneous Landau equation with uncertainty. The deterministic particle approximation is based on the reformulation of the Landau equation as a formal gradient flow on the set of probability measures, whereas the propagation of uncertain quantities is computed by means of a sg representation of each particle. This approach guarantees spectral accuracy in uncertainty space while preserving the fundamental structural properties of the model: the positivity of the solution, the conservation of invariant quantities, and the entropy production. We provide a regularity results for the particle method in the random space. We perform the numerical validation of the particle method in a wealth of test cases.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Equivalence of entropy solutions and gradient flows for pressureless 1D Euler systems
Authors:
José Antonio Carrillo,
Sondre Tesdal Galtung
Abstract:
We study distributional solutions of pressureless Euler systems on the line. In particular we show that Lagrangian solutions, introduced by Brenier, Gangbo, Savaré and Westdickenberg, and entropy solutions, studied by Nguyen and Tudorascu for the Euler--Poisson system, are equivalent. For the Euler--Poisson system this can be seen as a generalization to second-order systems of the equivalence betw…
▽ More
We study distributional solutions of pressureless Euler systems on the line. In particular we show that Lagrangian solutions, introduced by Brenier, Gangbo, Savaré and Westdickenberg, and entropy solutions, studied by Nguyen and Tudorascu for the Euler--Poisson system, are equivalent. For the Euler--Poisson system this can be seen as a generalization to second-order systems of the equivalence between $L^2$-gradient flows and entropy solutions for a first-order aggregation equation proved by Bonaschi, Carrillo, Di Francesco and Peletier. The key observation is an equivalence between Oleĭnik's E-condition for conservation laws and a characterization due to Natile and Savaré of the normal cone for $L^2$-gradient flows. This new equivalence allows us to define unique solutions after blow-up for classical solutions of the Euler--Poisson system with quadratic confinement due to Carrillo, Choi and Zatorska, as well as to describe their asymptotic behavior.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
A frame approach for equations involving the fractional Laplacian
Authors:
Ioannis P. A. Papadopoulos,
Timon S. Gutleb,
José A. Carrillo,
Sheehan Olver
Abstract:
Exceptionally elegant formulae exist for the fractional Laplacian operator applied to weighted classical orthogonal polynomials. We utilize these results to construct a solver, based on frame properties, for equations involving the fractional Laplacian of any power, $s \in (0,1)$, on an unbounded domain in one or two dimensions. The numerical method represents solutions in an expansion of weighted…
▽ More
Exceptionally elegant formulae exist for the fractional Laplacian operator applied to weighted classical orthogonal polynomials. We utilize these results to construct a solver, based on frame properties, for equations involving the fractional Laplacian of any power, $s \in (0,1)$, on an unbounded domain in one or two dimensions. The numerical method represents solutions in an expansion of weighted classical orthogonal polynomials as well as their unweighted counterparts with a specific extension to $\mathbb{R}^d$, $d \in \{1,2\}$. We examine the frame properties of this family of functions for the solution expansion and, under standard frame conditions, derive an a priori estimate for the stationary equation. Moreover, we prove one achieves the expected order of convergence when considering an implicit Euler discretization in time for the fractional heat equation. We apply our solver to numerous examples including the fractional heat equation (utilizing up to a $6^\text{th}$-order Runge--Kutta time discretization), a fractional heat equation with a time-dependent exponent $s(t)$, and a two-dimensional problem, observing spectral convergence in the spatial dimension for sufficiently smooth data.
△ Less
Submitted 29 February, 2024; v1 submitted 21 November, 2023;
originally announced November 2023.
-
The graph limit for a pairwise competition model
Authors:
Immanuel Ben Porat,
José A. Carrillo,
Pierre-Emmanuel Jabin
Abstract:
This paper is aimed at extending the graph limit with time dependent weights obtained in [1] for the case of a pairwise competition model introduced in [10], in which the equation governing the weights involves a weak singularity at the origin. Well posedness for the graph limit equation associated with the ODE system of the pairwise competition model is also proved.
This paper is aimed at extending the graph limit with time dependent weights obtained in [1] for the case of a pairwise competition model introduced in [10], in which the equation governing the weights involves a weak singularity at the origin. Well posedness for the graph limit equation associated with the ODE system of the pairwise competition model is also proved.
△ Less
Submitted 10 February, 2024; v1 submitted 19 November, 2023;
originally announced November 2023.
-
A particle method for the multispecies Landau equation
Authors:
José A. Carrillo,
**gwei Hu,
Samuel Q. Van Fleet
Abstract:
The multispecies Landau collision operator describes the two-particle, small scattering angle or grazing collisions in a plasma made up of different species of particles such as electrons and ions. Recently, a structure preserving deterministic particle method arXiv:1910.03080 has been developed for the single species spatially homogeneous Landau equation. This method relies on a regularization of…
▽ More
The multispecies Landau collision operator describes the two-particle, small scattering angle or grazing collisions in a plasma made up of different species of particles such as electrons and ions. Recently, a structure preserving deterministic particle method arXiv:1910.03080 has been developed for the single species spatially homogeneous Landau equation. This method relies on a regularization of the Landau collision operator so that an approximate solution, which is a linear combination of Dirac delta distributions, is well-defined. Based on a weak form of the regularized Landau equation, the time dependent locations of the Dirac delta functions satisfy a system of ordinary differential equations. In this work, we extend this particle method to the multispecies case, and examine its conservation of mass, momentum, and energy, and decay of entropy properties. We show that the equilibrium distribution of the regularized multispecies Landau equation is a Maxwellian distribution, and state a critical condition on the regularization parameters that guarantees a species independent equilibrium temperature. A convergence study comparing an exact multispecies BKW solution to the particle solution shows approximately 2nd order accuracy. Important physical properties such as conservation, decay of entropy, and equilibrium distribution of the particle method are demonstrated with several numerical examples.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
A Finite-Volume Scheme for Fractional Diffusion on Bounded Domains
Authors:
Rafael Bailo,
José A. Carrillo,
Stefano Fronzoni,
David Gómez-Castro
Abstract:
We propose a new fractional Laplacian for bounded domains, expressed as a conservation law and thus particularly suited to finite-volume schemes. Our approach permits the direct prescription of no-flux boundary conditions. We first show the well-posedness theory for the fractional heat equation. We also develop a numerical scheme, which correctly captures the action of the fractional Laplacian and…
▽ More
We propose a new fractional Laplacian for bounded domains, expressed as a conservation law and thus particularly suited to finite-volume schemes. Our approach permits the direct prescription of no-flux boundary conditions. We first show the well-posedness theory for the fractional heat equation. We also develop a numerical scheme, which correctly captures the action of the fractional Laplacian and its anomalous diffusion effect. We benchmark numerical solutions for the Lévy-Fokker-Planck equation against known analytical solutions. We conclude by numerically exploring properties of these equations with respect to their stationary states and long-time asymptotics.
△ Less
Submitted 16 April, 2024; v1 submitted 15 September, 2023;
originally announced September 2023.
-
Competing effects in fourth-order aggregation-diffusion equations
Authors:
José Antonio Carrillo,
Antonio Esposito,
Carles Falcó,
Alejandro Fernández-Jiménez
Abstract:
We give sharp conditions for global in time existence of gradient flow solutions to a Cahn-Hilliard-type equation, with backwards second order degenerate diffusion, in any dimension and for general initial data. Our equation is the 2-Wasserstein gradient flow of a free energy with two competing effects: the Dirichlet energy and the power-law internal energy. Homogeneity of the functionals reveals…
▽ More
We give sharp conditions for global in time existence of gradient flow solutions to a Cahn-Hilliard-type equation, with backwards second order degenerate diffusion, in any dimension and for general initial data. Our equation is the 2-Wasserstein gradient flow of a free energy with two competing effects: the Dirichlet energy and the power-law internal energy. Homogeneity of the functionals reveals critical regimes that we analyse. Sharp conditions for global in time solutions, constructed via the minimising movement scheme, also known as JKO scheme, are obtained. Furthermore, we study a system of two Cahn-Hilliard-type equations exhibiting an analogous gradient flow structure.
△ Less
Submitted 27 July, 2023;
originally announced July 2023.
-
Well-posedness and stability of a stochastic neural field in the form of a partial differential equation
Authors:
José Antonio Carrillo,
Pierre Roux,
Susanne Solem
Abstract:
A system of partial differential equations representing stochastic neural fields was recently proposed with the aim of modelling the activity of noisy grid cells when a mammal travels through physical space. The system was rigorously derived from a stochastic particle system and its noise-driven pattern-forming bifurcations have been characterised. However, due to its nonlinear and non-local natur…
▽ More
A system of partial differential equations representing stochastic neural fields was recently proposed with the aim of modelling the activity of noisy grid cells when a mammal travels through physical space. The system was rigorously derived from a stochastic particle system and its noise-driven pattern-forming bifurcations have been characterised. However, due to its nonlinear and non-local nature, standard well-posedness theory for smooth time-dependent solutions of parabolic equations does not apply. In this article, we transform the problem through a suitable change of variables into a nonlinear Stefan-like free boundary problem and use its representation formulae to construct local-in-time smooth solutions under mild hypotheses. Then, we prove that fast-decaying initial conditions and globally Lipschitz modulation functions imply that solutions are global-in-time. Last, we improve previous linear stability results by showing nonlinear asymptotic stability of stationary solutions under suitable assumptions.
△ Less
Submitted 16 July, 2023;
originally announced July 2023.
-
Mean field limit for one dimensional opinion dynamics with Coulomb interaction and time dependent weights
Authors:
Immanuel Ben Porat,
José A. Carrillo,
Sondre T. Galtung
Abstract:
The mean field limit with time dependent weights for a 1D singular case, given by the attractive Coulomb interactions, is considered. This extends recent results [1,8] for the case of regular interactions. The approach taken here is based on transferring the kinetic target equation to a Burgers-type equation through the distribution function of the measures. The analysis leading to the stability e…
▽ More
The mean field limit with time dependent weights for a 1D singular case, given by the attractive Coulomb interactions, is considered. This extends recent results [1,8] for the case of regular interactions. The approach taken here is based on transferring the kinetic target equation to a Burgers-type equation through the distribution function of the measures. The analysis leading to the stability estimates of the latter equation makes use of Kruzkov entropy type estimates adapted to deal with nonlocal source terms.
△ Less
Submitted 23 November, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
FedCBO: Reaching Group Consensus in Clustered Federated Learning through Consensus-based Optimization
Authors:
Jose A. Carrillo,
Nicolas Garcia Trillos,
Sixu Li,
Yuhua Zhu
Abstract:
Federated learning is an important framework in modern machine learning that seeks to integrate the training of learning models from multiple users, each user having their own local data set, in a way that is sensitive to data privacy and to communication loss constraints. In clustered federated learning, one assumes an additional unknown group structure among users, and the goal is to train model…
▽ More
Federated learning is an important framework in modern machine learning that seeks to integrate the training of learning models from multiple users, each user having their own local data set, in a way that is sensitive to data privacy and to communication loss constraints. In clustered federated learning, one assumes an additional unknown group structure among users, and the goal is to train models that are useful for each group, rather than simply training a single global model for all users. In this paper, we propose a novel solution to the problem of clustered federated learning that is inspired by ideas in consensus-based optimization (CBO). Our new CBO-type method is based on a system of interacting particles that is oblivious to group memberships. Our model is motivated by rigorous mathematical reasoning, including a mean field analysis describing the large number of particles limit of our particle system, as well as convergence guarantees for the simultaneous global optimization of general non-convex objective functions (corresponding to the loss functions of each cluster of users) in the mean-field regime. Experimental results demonstrate the efficacy of our FedCBO algorithm compared to other state-of-the-art methods and help validate our methodological and theoretical work.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
A static memory sparse spectral method for time-fractional PDEs
Authors:
Timon S. Gutleb,
José A. Carrillo
Abstract:
We introduce a method which provides accurate numerical solutions to fractional-in-time partial differential equations posed on $[0,T] \times Ω$ with $Ω\subset \mathbb{R}^d$ without the excessive memory requirements associated with the nonlocal fractional derivative operator. Our approach combines recent advances in the development and utilization of multivariate sparse spectral methods as well as…
▽ More
We introduce a method which provides accurate numerical solutions to fractional-in-time partial differential equations posed on $[0,T] \times Ω$ with $Ω\subset \mathbb{R}^d$ without the excessive memory requirements associated with the nonlocal fractional derivative operator. Our approach combines recent advances in the development and utilization of multivariate sparse spectral methods as well as fast methods for the computation of Gauss quadrature nodes with recursive non-classical methods for the Caputo fractional derivative of general fractional order $α> 0$. An attractive feature of the method is that it has minimal theoretical overhead when using it on any domain $Ω$ on which an orthogonal polynomial basis is already available. We discuss the memory requirements of the method, present several numerical experiments demonstrating the method's performance in solving time-fractional PDEs on intervals, triangles and disks and derive error bounds which suggest sensible convergence strategies. As an important model problem for this approach we consider a type of wave equation with time-fractional dampening related to acoustic waves in viscoelastic media with applications in the physics of medical ultrasound and outline future research steps required to use such methods for the reverse problem of image reconstruction from sensor data.
△ Less
Submitted 10 October, 2023; v1 submitted 13 April, 2023;
originally announced April 2023.
-
Partial mass concentration for fast-diffusions with non-local aggregation terms
Authors:
José A. Carrillo,
A. Fernández-Jiménez,
D. Gómez-Castro
Abstract:
We study well-posedness and long-time behaviour of aggregation-diffusion equations of the form $\frac{\partial ρ}{\partial t} = Δρ^m + \nabla \cdot( ρ(\nabla V + \nabla W \ast ρ))$ in the fast-diffusion range, $0<m<1$, and $V$ and $W$ regular enough. We develop a well-posedness theory, first in the ball and then in $\mathbb R^d$, and characterise the long-time asymptotics in the space $W^{-1,1}$ f…
▽ More
We study well-posedness and long-time behaviour of aggregation-diffusion equations of the form $\frac{\partial ρ}{\partial t} = Δρ^m + \nabla \cdot( ρ(\nabla V + \nabla W \ast ρ))$ in the fast-diffusion range, $0<m<1$, and $V$ and $W$ regular enough. We develop a well-posedness theory, first in the ball and then in $\mathbb R^d$, and characterise the long-time asymptotics in the space $W^{-1,1}$ for radial initial data. In the radial setting and for the mass equation, viscosity solutions are used to prove partial mass concentration asymptotically as $t \to \infty$, i.e. the limit as $t \to \infty$ is of the form $αδ_0 + \widehat ρ\, dx$ with $α\geq 0$ and $\widehat ρ\in L^1$. Finally, we give instances of $W \ne 0$ showing that partial mass concentration does happen in infinite time, i.e. $α> 0$.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Structure preserving primal dual methods for gradient flows with nonlinear mobility transport distances
Authors:
Jose A. Carrillo,
Li Wang,
Chaozhen Wei
Abstract:
We develop structure preserving schemes for a class of nonlinear mobility continuity equation. When the mobility is a concave function, this equation admits a form of gradient flow with respect to a Wasserstein-like transport metric. Our numerical schemes build upon such formulation and utilize modern large scale optimization algorithms. There are two distinctive features of our approach compared…
▽ More
We develop structure preserving schemes for a class of nonlinear mobility continuity equation. When the mobility is a concave function, this equation admits a form of gradient flow with respect to a Wasserstein-like transport metric. Our numerical schemes build upon such formulation and utilize modern large scale optimization algorithms. There are two distinctive features of our approach compared to previous ones. On one hand, the essential properties of the solution, including positivity, global bounds, mass conservation and energy dissipation are all guaranteed by construction. On the other hand, it enjoys sufficient flexibility when applies to a large variety of problems including different free energy functionals, general wetting boundary conditions and degenerate mobilities. The performance of our methods are demonstrated through a suite of examples.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Degenerate Cahn-Hilliard systems: From nonlocal to local
Authors:
José A. Carrillo,
Charles Elbar,
Jakub Skrzeczkowski
Abstract:
We provide a rigorous mathematical framework to establish the limit of a nonlocal model of cell-cell adhesion system to a local model. When the parameter of the nonlocality goes to 0, the system tends to a Cahn-Hilliard system with degenerate mobility and cross interaction forces. Our analysis relies on a priori estimates and compactness properties.
We provide a rigorous mathematical framework to establish the limit of a nonlocal model of cell-cell adhesion system to a local model. When the parameter of the nonlocality goes to 0, the system tends to a Cahn-Hilliard system with degenerate mobility and cross interaction forces. Our analysis relies on a priori estimates and compactness properties.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Nonlocal approximation of nonlinear diffusion equations
Authors:
José Antonio Carrillo,
Antonio Esposito,
Jeremy Sheung-Him Wu
Abstract:
We show that degenerate nonlinear diffusion equations can be asymptotically obtained as a limit from a class of nonlocal partial differential equations. The nonlocal equations are obtained as gradient flows of interaction-like energies approximating the internal energy. We construct weak solutions as the limit of a (sub)sequence of weak measure solutions by using the Jordan-Kinderlehrer-Otto schem…
▽ More
We show that degenerate nonlinear diffusion equations can be asymptotically obtained as a limit from a class of nonlocal partial differential equations. The nonlocal equations are obtained as gradient flows of interaction-like energies approximating the internal energy. We construct weak solutions as the limit of a (sub)sequence of weak measure solutions by using the Jordan-Kinderlehrer-Otto scheme from the context of $2$-Wasserstein gradient flows. Our strategy allows to cover the porous medium equation, for the general slow diffusion case, extending previous results in the literature. As a byproduct of our analysis, we provide a qualitative particle approximation.
△ Less
Submitted 11 October, 2023; v1 submitted 16 February, 2023;
originally announced February 2023.
-
Global existence and decay rates to self-consistent chemotaxis-fluid system
Authors:
Jose A. Carrillo,
Ying** Peng,
Zhaoyin Xiang
Abstract:
In this paper, we investigate a chemotaxis-fluid system involving both the effect of potential force on cells and the effect of chemotactic force on fluid: \begin{equation*} \left\{ \begin{split} \partial_t n + \mathbf{u}\cdot\nabla n & = Δn - \nabla\cdot\left(χ(c)n\nabla c\right) + \nabla\cdot(n\nablaφ), \\ \partial_t c + \mathbf{u}\cdot\nabla c &= Δc - nf(c), \\ \partial_t\mathbf{u} + κ(\mathbf{…
▽ More
In this paper, we investigate a chemotaxis-fluid system involving both the effect of potential force on cells and the effect of chemotactic force on fluid: \begin{equation*} \left\{ \begin{split} \partial_t n + \mathbf{u}\cdot\nabla n & = Δn - \nabla\cdot\left(χ(c)n\nabla c\right) + \nabla\cdot(n\nablaφ), \\ \partial_t c + \mathbf{u}\cdot\nabla c &= Δc - nf(c), \\ \partial_t\mathbf{u} + κ(\mathbf{u}\cdot\nabla)\mathbf{u} + \nabla P & = Δ\mathbf{u} - n\nablaφ+ χ(c)n\nabla c, \\ \nabla\cdot\mathbf{u} &= 0 \end{split} \right. \end{equation*} in $\mathbb{R}^d\times(0,T)\, (d=2,3)$. One of the novelties and difficulties here is that the coupling in this model is stronger and more nonlinear than the most-studied chemotaxis-fluid model. We will first establish several extensibility criteria of classical solutions, which ensure us to extend the local solutions to global ones in the three dimensional chemotaxis-Stokes case and in the two dimensional chemotaxis-Navier-Stokes version under suitable smallness assumption on $\|c_0\|_{L^{\infty}}$ with the help of a new entropy functional inequality. Some further decay estimates are also obtained under some suitable growth restriction on the potential $\nabla φ$ at infinity. As a byproduct of the entropy functional inequality, we also establish the global-in-time existence of weak solutions to the three dimensional chemotaxis-Navier-Stokes system. To the best of our knowledge, this seems to be the first work addressing the global well-posedness and decay property of solutions to the Cauchy problem of self-consistent chemotaxis-fluid system.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
The Mean Field Ensemble Kalman Filter: Near-Gaussian Setting
Authors:
J. A. Carrillo,
F. Hoffmann,
A. M. Stuart,
U. Vaes
Abstract:
The ensemble Kalman filter is widely used in applications because, for high dimensional filtering problems, it has a robustness that is not shared for example by the particle filter; in particular it does not suffer from weight collapse. However, there is no theory which quantifies its accuracy as an approximation of the true filtering distribution, except in the Gaussian setting. To address this…
▽ More
The ensemble Kalman filter is widely used in applications because, for high dimensional filtering problems, it has a robustness that is not shared for example by the particle filter; in particular it does not suffer from weight collapse. However, there is no theory which quantifies its accuracy as an approximation of the true filtering distribution, except in the Gaussian setting. To address this issue we provide the first analysis of the accuracy of the ensemble Kalman filter beyond the Gaussian setting. We prove two types of results: the first type comprise a stability estimate controlling the error made by the ensemble Kalman filter in terms of the difference between the true filtering distribution and a nearby Gaussian; and the second type use this stability result to show that, in a neighbourhood of Gaussian problems, the ensemble Kalman filter makes a small error, in comparison with the true filtering distribution. Our analysis is developed for the mean field ensemble Kalman filter. We rewrite the update equations for this filter, and for the true filtering distribution, in terms of maps on probability measures. We introduce a weighted total variation metric to estimate the distance between the two filters and we prove various stability estimates for the maps defining the evolution of the two filters, in this metric. Using these stability estimates we prove results of the first and second types, in the weighted total variation metric. We also provide a generalization of these results to the Gaussian projected filter, which can be viewed as a mean field description of the unscented Kalman filter.
△ Less
Submitted 15 January, 2024; v1 submitted 26 December, 2022;
originally announced December 2022.
-
Convergence of a particle method for a regularized spatially homogeneous Landau equation
Authors:
José A. Carrillo,
Matias G. Delgadino,
Jeremy S. H. Wu
Abstract:
We study a regularized version of the Landau equation, which was recently introduced in~\cite{CHWW20} to numerically approximate the Landau equation with good accuracy at reasonable computational cost. We develop the existence and uniqueness theory for weak solutions, and we reinforce the numerical findings in~\cite{CHWW20} by rigorously proving the validity of particle approximations to the regul…
▽ More
We study a regularized version of the Landau equation, which was recently introduced in~\cite{CHWW20} to numerically approximate the Landau equation with good accuracy at reasonable computational cost. We develop the existence and uniqueness theory for weak solutions, and we reinforce the numerical findings in~\cite{CHWW20} by rigorously proving the validity of particle approximations to the regularized Landau equation.
△ Less
Submitted 13 November, 2022;
originally announced November 2022.
-
Existence of radial global smooth solutions to the pressureless Euler-Poisson equations with quadratic confinement
Authors:
José A. Carrillo,
Ruiwen Shu
Abstract:
We consider the pressureless Euler-Poisson equations with quadratic confinement. For spatial dimension $d\ge 2,\,d\ne 4$, we give a necessary and sufficient condition for the existence of radial global smooth solutions, which is formulated explicitly in terms of the initial data. This condition appears to be much more restrictive than the critical-threshold conditions commonly seen in the study of…
▽ More
We consider the pressureless Euler-Poisson equations with quadratic confinement. For spatial dimension $d\ge 2,\,d\ne 4$, we give a necessary and sufficient condition for the existence of radial global smooth solutions, which is formulated explicitly in terms of the initial data. This condition appears to be much more restrictive than the critical-threshold conditions commonly seen in the study of Euler-type equations. To obtain our results, the key observation is that every characteristic satisfies a periodic ODE system, and the existence of global smooth solution requires the period of every characteristic to be identical.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
A local continuum model of cell-cell adhesion
Authors:
Carles Falcó,
Ruth E. Baker,
José A. Carrillo
Abstract:
Cell-cell adhesion is one the most fundamental mechanisms regulating collective cell migration during tissue development, homeostasis and repair, allowing cell populations to self-organize and eventually form and maintain complex tissue shapes. Cells interact with each other via the formation of protrusions or filopodia and they adhere to other cells through binding of cell surface proteins. The r…
▽ More
Cell-cell adhesion is one the most fundamental mechanisms regulating collective cell migration during tissue development, homeostasis and repair, allowing cell populations to self-organize and eventually form and maintain complex tissue shapes. Cells interact with each other via the formation of protrusions or filopodia and they adhere to other cells through binding of cell surface proteins. The resulting adhesive forces are then related to cell size and shape and, often, continuum models represent them by nonlocal attractive interactions. In this paper, we present a new continuum model of cell-cell adhesion which can be derived from a general nonlocal model in the limit of short-range interactions. This new model is local, resembling a system of thin-film type equations, with the various model parameters playing the role of surface tensions between different cell populations. Numerical simulations in one and two dimensions reveal that the local model maintains the diversity of cell sorting patterns observed both in experiments and in previously used nonlocal models. In addition, it also has the advantage of having explicit stationary solutions, which provides a direct link between the model parameters and the differential adhesion hypothesis.
△ Less
Submitted 15 November, 2022; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Minimizers of 3D anisotropic interaction energies
Authors:
José A. Carrillo,
Ruiwen Shu
Abstract:
We study a large family of axisymmetric Riesz-type singular interaction potentials with anisotropy in three dimensions. We generalize some of the results of our recent work in two dimensions to the present setting. For potentials with linear interpolation convexity, their associated global energy minimizers are given by explicit formulas whose supports are ellipsoids. We show that for less singula…
▽ More
We study a large family of axisymmetric Riesz-type singular interaction potentials with anisotropy in three dimensions. We generalize some of the results of our recent work in two dimensions to the present setting. For potentials with linear interpolation convexity, their associated global energy minimizers are given by explicit formulas whose supports are ellipsoids. We show that for less singular anisotropic Riesz potentials, the global minimizer may collapse into one or two dimensional concentrated measures which minimize restricted isotropic Riesz interaction energies. Some partial aspects of these questions are also tackled in the intermediate range of singularities in which one dimensional vertical collapse is not allowed. Collapse to lower dimensional structures is proved at the critical value of the convexity but not necessarily to vertically or horizontally concentrated measures, leading to interesting open problems.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
Interpreting systems of continuity equations in spaces of probability measures through PDE duality
Authors:
José A. Carrillo,
David Gómez-Castro
Abstract:
We introduce a notion of duality solution for a single or a system of transport equations in spaces of probability measures reminiscent of the viscosity solution notion for nonlinear parabolic equations. Our notion of solution by duality is, under suitable assumptions, equivalent to gradient flow solutions in case the single/system of equations has this structure. In contrast, we can deal with a q…
▽ More
We introduce a notion of duality solution for a single or a system of transport equations in spaces of probability measures reminiscent of the viscosity solution notion for nonlinear parabolic equations. Our notion of solution by duality is, under suitable assumptions, equivalent to gradient flow solutions in case the single/system of equations has this structure. In contrast, we can deal with a quite general system of nonlinear nonlocal, diffusive or not, system of PDEs without any variational structure.
△ Less
Submitted 4 June, 2024; v1 submitted 8 June, 2022;
originally announced June 2022.
-
Noise-driven bifurcations in a nonlinear Fokker-Planck system describing stochastic neural fields
Authors:
José A. Carrillo,
Pierre Roux,
Susanne Solem
Abstract:
The existence and characterisation of noise-driven bifurcations from the spatially homogeneous stationary states of a nonlinear, non-local Fokker--Planck type partial differential equation describing stochastic neural fields is established. The resulting theory is extended to a system of partial differential equations modelling noisy grid cells. It is shown that as the noise level decreases, multi…
▽ More
The existence and characterisation of noise-driven bifurcations from the spatially homogeneous stationary states of a nonlinear, non-local Fokker--Planck type partial differential equation describing stochastic neural fields is established. The resulting theory is extended to a system of partial differential equations modelling noisy grid cells. It is shown that as the noise level decreases, multiple bifurcations from the homogeneous steady state occur. Furthermore, the shape of the branches at a bifurcation point is characterised locally. The theory is supported by a set of numerical illustrations of the condition leading to bifurcations, the patterns along the corresponding local bifurcation branches, and the stability of the homogeneous state and the most prevalent pattern: the hexagonal one.
△ Less
Submitted 23 March, 2023; v1 submitted 24 May, 2022;
originally announced May 2022.
-
A simplified voltage-conductance kinetic model for interacting neurons and its asymptotic limit
Authors:
José A. Carrillo,
Xu'an Dou,
Zhennan Zhou
Abstract:
The voltage-conductance kinetic model for the collective behavior of neurons has been studied by scientists and mathematicians for two decades, but the rigorous analysis of its solution structure has been only partially obtained in spite of plenty of numerical evidence in various scenarios. In this work, we consider a simplified voltage-conductance model in which the velocity field in the voltage…
▽ More
The voltage-conductance kinetic model for the collective behavior of neurons has been studied by scientists and mathematicians for two decades, but the rigorous analysis of its solution structure has been only partially obtained in spite of plenty of numerical evidence in various scenarios. In this work, we consider a simplified voltage-conductance model in which the velocity field in the voltage variable is in a separable form. The long time behavior of the simplified model is fully investigated leading to the following dichotomy: either the density function converges to the global equilibrium, or the firing rate diverges as time goes to infinity. Besides, the fast conductance asymptotic limit is justified and analyzed, where the solution to the limit model either blows up in finite time, or globally exists leading to time periodic solutions. An important implication of these results is that the non-separable velocity field, or physically the leaky mechanism, is a key element for the emergence of periodic solutions in the original model based on the available numerical evidence.
△ Less
Submitted 5 March, 2022;
originally announced March 2022.
-
Can the clocks tick together despite the noise? Stochastic simulations and analysis
Authors:
Stéphanie M. C. Abo,
José A. Carrillo,
Anita T. Layton
Abstract:
The suprachiasmatic nucleus (SCN), also known as the circadian master clock, consists of a large population of oscillator neurons. Together, these neurons produce a coherent signal that drives the body's circadian rhythms. What properties of the cell-to-cell communication allow the synchronization of these neurons, despite a wide range of environmental challenges such as fluctuations in photoperio…
▽ More
The suprachiasmatic nucleus (SCN), also known as the circadian master clock, consists of a large population of oscillator neurons. Together, these neurons produce a coherent signal that drives the body's circadian rhythms. What properties of the cell-to-cell communication allow the synchronization of these neurons, despite a wide range of environmental challenges such as fluctuations in photoperiods? To answer that question, we present a mean-field description of globally coupled neurons modeled as Goodwin oscillators with standard Gaussian noise. Provided that the initial conditions of all neurons are independent and identically distributed, any finite number of neurons becomes independent and has the same probability distribution in the mean-field limit, a phenomenon called propagation of chaos. This probability distribution is a solution to a Vlasov-Fokker-Planck type equation, which can be obtained from the stochastic particle model. We study, using the macroscopic description, how the interaction between external noise and intercellular coupling affects the dynamics of the collective rhythm, and we provide a numerical description of the bifurcations resulting from the noise-induced transitions. Our numerical simulations show a noise-induced rhythm generation at low noise intensities, while the SCN clock is arrhythmic in the high noise setting. Notably, coupling induces resonance-like behavior at low noise intensities, and varying coupling strength can cause period locking and variance dissipation even in the presence of noise.
△ Less
Submitted 3 January, 2023; v1 submitted 24 February, 2022;
originally announced February 2022.
-
Global Minimizers of a Large Class of Anisotropic Attractive-Repulsive Interaction Energies in 2D
Authors:
José A. Carrillo,
Ruiwen Shu
Abstract:
We study a large family of Riesz-type singular interaction potentials with anisotropy in two dimensions. Their associated global energy minimizers are given by explicit formulas whose supports are determined by ellipses under certain assumptions. More precisely, by parameterizing the strength of the anisotropic part we characterize the sharp range in which these explicit ellipse-supported configur…
▽ More
We study a large family of Riesz-type singular interaction potentials with anisotropy in two dimensions. Their associated global energy minimizers are given by explicit formulas whose supports are determined by ellipses under certain assumptions. More precisely, by parameterizing the strength of the anisotropic part we characterize the sharp range in which these explicit ellipse-supported configurations are the global minimizers based on linear convexity arguments. Moreover, for certain anisotropic parts, we prove that for large values of the parameter the global minimizer is only given by vertically concentrated measures corresponding to one dimensional minimizers. We also show that these ellipse-supported configurations generically do not collapse to a vertically concentrated measure at the critical value for convexity, leading to an interesting gap of the parameters in between. In this intermediate range, we conclude by infinitesimal concavity that any superlevel set of any local minimizer in a suitable sense does not have interior points. Furthermore, for certain anisotropic parts, their support cannot contain any vertical segment for a restricted range of parameters, and moreover the global minimizers are expected to exhibit a zigzag behavior. All these results hold for the limiting case of the logarithmic repulsive potential, extending and generalizing previous results in the literature. Various examples of anisotropic parts leading to even more complex behavior are numerically explored.
△ Less
Submitted 26 September, 2022; v1 submitted 18 February, 2022;
originally announced February 2022.
-
The mean field limit of stochastic differential equation systems modelling grid cells
Authors:
José A. Carrillo,
Andrea Clini,
Susanne Solem
Abstract:
Several differential equation models have been proposed to explain the formation of patterns characteristic of the grid cell network. Understanding the robustness of these patterns with respect to noise is one of the key open questions in computational neuroscience. In the present work, we analyze a family of stochastic differential systems modelling grid cell networks. Furthermore, the well-posed…
▽ More
Several differential equation models have been proposed to explain the formation of patterns characteristic of the grid cell network. Understanding the robustness of these patterns with respect to noise is one of the key open questions in computational neuroscience. In the present work, we analyze a family of stochastic differential systems modelling grid cell networks. Furthermore, the well-posedness of the associated McKean--Vlasov and Fokker--Planck equations, describing the average behavior of the networks, is established. Finally, we rigorously prove the mean field limit of these systems and provide a sharp rate of convergence for their empirical measures.
△ Less
Submitted 25 January, 2023; v1 submitted 12 December, 2021;
originally announced December 2021.
-
Consensus-based Optimization and Ensemble Kalman Inversion for Global Optimization Problems with Constraints
Authors:
J. A. Carrillo,
C. Totzeck,
U. Vaes
Abstract:
We introduce a practical method for incorporating equality and inequality constraints in global optimization methods based on stochastic interacting particle systems, specifically consensus-based optimization (CBO) and ensemble Kalman inversion (EKI). Unlike other approaches in the literature, the method we propose does not constrain the dynamics to the feasible region of the state space at all ti…
▽ More
We introduce a practical method for incorporating equality and inequality constraints in global optimization methods based on stochastic interacting particle systems, specifically consensus-based optimization (CBO) and ensemble Kalman inversion (EKI). Unlike other approaches in the literature, the method we propose does not constrain the dynamics to the feasible region of the state space at all times; the particles evolve in the full space, but are attracted towards the feasible set by means of a penalization term added to the objective function and, in the case of CBO, an additional relaxation drift. We study the properties of the method through the associated mean-field Fokker--Planck equation and demonstrate its performance in numerical experiments on several test problems.
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
Bound-Preserving Finite-Volume Schemes for Systems of Continuity Equations with Saturation
Authors:
Rafael Bailo,
José A. Carrillo,
**gwei Hu
Abstract:
We propose finite-volume schemes for general continuity equations which preserve positivity and global bounds that arise from saturation effects in the mobility function. In the case of gradient flows, the schemes dissipate the free energy at the fully discrete level. Moreover, these schemes are generalised to coupled systems of non-linear continuity equations, such as multispecies models in mathe…
▽ More
We propose finite-volume schemes for general continuity equations which preserve positivity and global bounds that arise from saturation effects in the mobility function. In the case of gradient flows, the schemes dissipate the free energy at the fully discrete level. Moreover, these schemes are generalised to coupled systems of non-linear continuity equations, such as multispecies models in mathematical physics or biology, preserving the bounds and the dissipation of the energy whenever applicable. These results are illustrated through extensive numerical simulations which explore known behaviours in biology and showcase new phenomena not yet described by the literature.
△ Less
Submitted 14 January, 2023; v1 submitted 15 October, 2021;
originally announced October 2021.
-
Random batch particle methods for the homogeneous Landau equation
Authors:
José Antonio Carrillo,
Shi **,
Yijia Tang
Abstract:
We consider in this paper random batch particle methods for efficiently solving the homogeneous Landau equation in plasma physics. The methods are stochastic variations of the particle methods proposed by Carrillo et al. [J. Comput. Phys.: X 7: 100066, 2020] using the random batch strategy. The collisions only take place inside the small but randomly selected batches so that the computational cost…
▽ More
We consider in this paper random batch particle methods for efficiently solving the homogeneous Landau equation in plasma physics. The methods are stochastic variations of the particle methods proposed by Carrillo et al. [J. Comput. Phys.: X 7: 100066, 2020] using the random batch strategy. The collisions only take place inside the small but randomly selected batches so that the computational cost is reduced to $O(N)$ per time step. Meanwhile, our methods can preserve the conservation of mass, momentum, energy and the decay of entropy. Several numerical examples are performed to validate our methods.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Noise-driven bifurcations in a neural field system modelling networks of grid cells
Authors:
Jose A. Carrillo,
Helge Holden,
Susanne Solem
Abstract:
The activity generated by an ensemble of neurons is affected by various noise sources. It is a well-recognised challenge to understand the effects of noise on the stability of such networks. We demonstrate that the patterns of activity generated by networks of grid cells emerge from the instability of homogeneous activity for small levels of noise. This is carried out by analysing the robustness o…
▽ More
The activity generated by an ensemble of neurons is affected by various noise sources. It is a well-recognised challenge to understand the effects of noise on the stability of such networks. We demonstrate that the patterns of activity generated by networks of grid cells emerge from the instability of homogeneous activity for small levels of noise. This is carried out by analysing the robustness of network activity patterns with respect to noise in an upscaled noisy grid cell model in the form of a system of partial differential equations. Inhomogeneous network patterns are numerically understood as branches bifurcating from unstable homogeneous states for small noise levels. We show that there is a phase transition occurring as the level of noise decreases. Our numerical study also indicates the presence of hysteresis phenomena close to the precise critical noise value.
△ Less
Submitted 18 May, 2022; v1 submitted 16 September, 2021;
originally announced September 2021.
-
Dissipative measure-valued solutions to the Euler-Poisson equation
Authors:
José A. Carrillo,
Tomasz Dębiec,
Piotr Gwiazda,
Agnieszka Świerczewska-Gwiazda
Abstract:
We consider several pressureless variants of the compressible Euler equation driven by nonlocal repulsionattraction and alignment forces with Poisson interaction. Under an energy admissibility criterion, we prove existence of global measure-valued solutions, i.e., very weak solutions described by a classical Young measure together with appropriate concentration defects. We then investigate the evo…
▽ More
We consider several pressureless variants of the compressible Euler equation driven by nonlocal repulsionattraction and alignment forces with Poisson interaction. Under an energy admissibility criterion, we prove existence of global measure-valued solutions, i.e., very weak solutions described by a classical Young measure together with appropriate concentration defects. We then investigate the evolution of a relative energy functional to compare a measure-valued solution to a regular solution emanating from the same initial datum. This leads to a (partial) weak-strong uniqueness principle.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Computation of Power Law Equilibrium Measures on Balls of Arbitrary Dimension
Authors:
Timon S. Gutleb,
José A. Carrillo,
Sheehan Olver
Abstract:
We present a numerical approach for computing attractive-repulsive power law equilibrium measures in arbitrary dimension. We prove new recurrence relationships for radial Jacobi polynomials on $d$-dimensional ball domains, providing a substantial generalization of the work based on recurrence relationships of Riesz potentials on arbitrary dimensional balls. Among the attractive features of the num…
▽ More
We present a numerical approach for computing attractive-repulsive power law equilibrium measures in arbitrary dimension. We prove new recurrence relationships for radial Jacobi polynomials on $d$-dimensional ball domains, providing a substantial generalization of the work based on recurrence relationships of Riesz potentials on arbitrary dimensional balls. Among the attractive features of the numerical method are good efficiency due to recursively generated banded and approximately banded Riesz potential operators and computational complexity independent of the dimension $d$, in stark contrast to the widely used particle swarm simulation approaches for these problems which scale catastrophically with the dimension. We present several numerical experiments to showcase the accuracy and applicability of the method and discuss how our method compares with alternative numerical approaches and conjectured analytical solutions which exist for certain special cases. Finally, we discuss how our method can be used to explore the analytically poorly understood gap formation boundary to spherical shell support.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
From radial symmetry to fractal behavior of aggregation equilibria for repulsive-attractive potentials
Authors:
José A. Carrillo,
Ruiwen Shu
Abstract:
For the interaction energy with repulsive-attractive potentials, we give generic conditions which guarantee the radial symmetry of the local minimizers in the infinite Wasserstein distance. As a consequence, we obtain the uniqueness of local minimizers in this topology for a class of interaction potentials. We introduce a novel notion of concavity of the interaction potential allowing us to show c…
▽ More
For the interaction energy with repulsive-attractive potentials, we give generic conditions which guarantee the radial symmetry of the local minimizers in the infinite Wasserstein distance. As a consequence, we obtain the uniqueness of local minimizers in this topology for a class of interaction potentials. We introduce a novel notion of concavity of the interaction potential allowing us to show certain fractal-like behavior of the local minimizers. We provide a family of interaction potentials such that the support of the associated local minimizers has no isolated points and any superlevel set has no interior points.
△ Less
Submitted 4 April, 2022; v1 submitted 11 July, 2021;
originally announced July 2021.