-
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.
-
Consensus Based Sampling
Authors:
J. A. Carrillo,
F. Hoffmann,
A. M. Stuart,
U. Vaes
Abstract:
We propose a novel method for sampling and optimization tasks based on a stochastic interacting particle system. We explain how this method can be used for the following two goals: (i) generating approximate samples from a given target distribution; (ii) optimizing a given objective function. The approach is derivative-free and affine invariant, and is therefore well-suited for solving inverse pro…
▽ More
We propose a novel method for sampling and optimization tasks based on a stochastic interacting particle system. We explain how this method can be used for the following two goals: (i) generating approximate samples from a given target distribution; (ii) optimizing a given objective function. The approach is derivative-free and affine invariant, and is therefore well-suited for solving inverse problems defined by complex forward models: (i) allows generation of samples from the Bayesian posterior and (ii) allows determination of the maximum a posteriori estimator. We investigate the properties of the proposed family of methods in terms of various parameter choices, both analytically and by means of numerical simulations. The analysis and numerical simulation establish that the method has potential for general purpose optimization tasks over Euclidean space; contraction properties of the algorithm are established under suitable conditions, and computational experiments demonstrate wide basins of attraction for various specific problems. The analysis and experiments also demonstrate the potential for the sampling methodology in regimes in which the target distribution is unimodal and close to Gaussian; indeed we prove that the method recovers a Laplace approximation to the measure in certain parametric regimes and provide numerical evidence that this Laplace approximation attracts a large set of initial conditions in a number of examples.
△ Less
Submitted 4 November, 2021; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Asymptotic simplification of Aggregation-Diffusion equations towards the heat kernel
Authors:
José A. Carrillo,
David Gómez-Castro,
Yao Yao,
Chongchun Zeng
Abstract:
We give sharp conditions for the large time asymptotic simplification of aggregation-diffusion equations with linear diffusion. As soon as the interaction potential is bounded and its first and second derivatives decay fast enough at infinity, then the linear diffusion overcomes its effect, either attractive or repulsive, for large times independently of the initial data, and solutions behave like…
▽ More
We give sharp conditions for the large time asymptotic simplification of aggregation-diffusion equations with linear diffusion. As soon as the interaction potential is bounded and its first and second derivatives decay fast enough at infinity, then the linear diffusion overcomes its effect, either attractive or repulsive, for large times independently of the initial data, and solutions behave like the fundamental solution of the heat equation with some rate. The potential $W(x) \sim \log |x|$ for $|x| \gg 1$ appears as the natural limiting case when the intermediate asymptotics change. In order to obtain such a result, we produce uniform-in-time estimates in a suitable rescaled change of variables for the entropy, the second moment, Sobolev norms and the $C^α$ regularity with a novel approach for this family of equations using modulus of continuity techniques.
△ Less
Submitted 27 May, 2021;
originally announced May 2021.
-
Unconditional bound-preserving and energy-dissipating finite-volume schemes for the Cahn-Hilliard equation
Authors:
Rafael Bailo,
José A. Carrillo,
Serafim Kalliadasis,
Sergio P. Perez
Abstract:
We propose finite-volume schemes for the Cahn-Hilliard equation which unconditionally and discretely preserve the boundedness of the phase field and the dissipation of the free energy. Our numerical framework is applicable to a variety of free-energy potentials, including Ginzburg-Landau and Flory-Huggins, to general wetting boundary conditions, and to degenerate mobilities. Its central thrust is…
▽ More
We propose finite-volume schemes for the Cahn-Hilliard equation which unconditionally and discretely preserve the boundedness of the phase field and the dissipation of the free energy. Our numerical framework is applicable to a variety of free-energy potentials, including Ginzburg-Landau and Flory-Huggins, to general wetting boundary conditions, and to degenerate mobilities. Its central thrust is the upwind methodology, which we combine with a semi-implicit formulation for the free-energy terms based on the classical convex-splitting approach. The extension of the schemes to an arbitrary number of dimensions is straightforward thanks to their dimensionally split nature, which allows to efficiently solve higher-dimensional problems with a simple parallelisation. The numerical schemes are validated and tested through a variety of examples, in different dimensions, and with various contact angles between droplets and substrates.
△ Less
Submitted 17 February, 2023; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Infinite-time concentration in Aggregation--Diffusion equations with a given potential
Authors:
Jose A. Carrillo,
David Gómez-Castro,
Juan Luis Vázquez
Abstract:
Typically, aggregation-diffusion is modeled by parabolic equations that combine linear or nonlinear diffusion with a Fokker-Planck convection term. Under very general suitable assumptions, we prove that radial solutions of the evolution process converge asymptotically in time towards a stationary state representing the balance between the two effects. Our parabolic system is the gradient flow of a…
▽ More
Typically, aggregation-diffusion is modeled by parabolic equations that combine linear or nonlinear diffusion with a Fokker-Planck convection term. Under very general suitable assumptions, we prove that radial solutions of the evolution process converge asymptotically in time towards a stationary state representing the balance between the two effects. Our parabolic system is the gradient flow of an energy functional, and in fact we show that the stationary states are minimizers of a relaxed energy. Here, we study radial solutions of an aggregation-diffusion model that combines nonlinear fast diffusion with a convection term driven by the gradient of a potential, both in balls and the whole space. We show that, depending on the exponent of fast diffusion and the potential, the steady state is given by the sum of an explicit integrable function, plus a Dirac delta at the origin containing the rest of the mass of the initial datum. Furthermore, it is a global minimizer of the relaxed energy. This splitting phenomenon is an uncommon example of blow-up in infinite time.
△ Less
Submitted 26 October, 2021; v1 submitted 23 March, 2021;
originally announced March 2021.
-
Large friction-high force fields limit for the nonlinear Vlasov--Poisson--Fokker--Planck system
Authors:
José A. Carrillo,
Young-Pil Choi,
Ying** Peng
Abstract:
We provide a quantitative asymptotic analysis for the nonlinear Vlasov--Poisson--Fokker--Planck system with a large linear friction force and high force-fields. The limiting system is a diffusive model with nonlocal velocity fields often referred to as aggregation-diffusion equations. We show that a weak solution to the Vlasov--Poisson--Fokker--Planck system strongly converges to a strong solution…
▽ More
We provide a quantitative asymptotic analysis for the nonlinear Vlasov--Poisson--Fokker--Planck system with a large linear friction force and high force-fields. The limiting system is a diffusive model with nonlocal velocity fields often referred to as aggregation-diffusion equations. We show that a weak solution to the Vlasov--Poisson--Fokker--Planck system strongly converges to a strong solution to the diffusive model. Our proof relies on the modulated macroscopic kinetic energy estimate based on the weak-strong uniqueness principle together with a careful analysis of the Poisson equation.
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
An Optimal Mass Transport Method for Random Genetic Drift
Authors:
José A. Carrillo,
Lin Chen,
Qi Wang
Abstract:
We propose and analyze an optimal mass transport method for a random genetic drift problem driven by a Moran process under weak-selection. The continuum limit, formulated as a reaction-advection-diffusion equation known as the Kimura equation, inherits degenerate diffusion from the discrete stochastic process that conveys to the blow-up into Dirac-delta singularities hence brings great challenges…
▽ More
We propose and analyze an optimal mass transport method for a random genetic drift problem driven by a Moran process under weak-selection. The continuum limit, formulated as a reaction-advection-diffusion equation known as the Kimura equation, inherits degenerate diffusion from the discrete stochastic process that conveys to the blow-up into Dirac-delta singularities hence brings great challenges to both the analytical and numerical studies. The proposed numerical method can quantitatively capture to the fullest possible extent the development of Dirac-delta singularities for genetic segregation on one hand, and preserves several sets of biologically relevant and computationally favored properties of the random genetic drift on the other. Moreover, the numerical scheme exponentially converges to the unique numerical stationary state in time at a rate independent of the mesh size up to a mesh error. Numerical evidence is given to illustrate and support these properties, and to demonstrate the spatio-temporal dynamics of random generic drift.
△ Less
Submitted 31 December, 2020;
originally announced December 2020.
-
Sharp conditions on global existence and blow-up in a degenerate two-species and cross-attraction system
Authors:
J. A. Carrillo,
K. Lin
Abstract:
We consider a degenerate chemotaxis model with two-species and two-stimuli in dimension $d\geq 3$ and find two critical curves intersecting at one same point which separate the global existence and blow up of weak solutions to the problem. More precisely, above these curves (i.e. subcritical case), the problem admits a global weak solution obtained by the limits of strong solutions to an approxima…
▽ More
We consider a degenerate chemotaxis model with two-species and two-stimuli in dimension $d\geq 3$ and find two critical curves intersecting at one same point which separate the global existence and blow up of weak solutions to the problem. More precisely, above these curves (i.e. subcritical case), the problem admits a global weak solution obtained by the limits of strong solutions to an approximated system. Based on the second moment of solutions, initial data are constructed to make sure blow up occurs in finite time below these curves (i.e. critical and supercritical cases). In addition, the existence or non-existence of minimizers of free energy functional is discussed on the critical curves and the solutions exist globally in time if the size of initial data is small. We also investigate the crossing point between the critical lines in which a refined criteria in terms of the masses is given again to distinguish the dichotomy between global existence and blow up. We also show that the blow ups is simultaneous for both species.
△ Less
Submitted 19 December, 2020;
originally announced December 2020.
-
Fast Diffusion leads to partial mass concentration in Keller-Segel type stationary solutions
Authors:
J. A. Carrillo,
M. G. Delgadino,
R. L. Frank,
M. Lewin
Abstract:
We show that partial mass concentration can happen for stationary solutions of aggregation-diffusion equations with homogeneous attractive kernels in the fast diffusion range. More precisely, we prove that the free energy admits a radial global minimizer in the set of probability measures which may have part of its mass concentrated in a Dirac delta at a given point. In the case of the quartic int…
▽ More
We show that partial mass concentration can happen for stationary solutions of aggregation-diffusion equations with homogeneous attractive kernels in the fast diffusion range. More precisely, we prove that the free energy admits a radial global minimizer in the set of probability measures which may have part of its mass concentrated in a Dirac delta at a given point. In the case of the quartic interaction potential, we find the exact range of the diffusion exponent where concentration occurs in space dimensions $N\geq6$. We then provide numerical computations which suggest the occurrence of mass concentration in all dimensions $N\geq3$, for homogeneous interaction potentials with higher power.
△ Less
Submitted 20 December, 2021; v1 submitted 15 December, 2020;
originally announced December 2020.
-
Computing Equilibrium Measures with Power Law Kernels
Authors:
Timon S. Gutleb,
José A. Carrillo,
Sheehan Olver
Abstract:
We introduce a method to numerically compute equilibrium measures for problems with attractive-repulsive power law kernels of the form $K(x-y) = \frac{|x-y|^α}α-\frac{|x-y|^β}β$ using recursively generated banded and approximately banded operators acting on expansions in ultraspherical polynomial bases. The proposed method reduces what is naively a difficult to approach optimization problem over a…
▽ More
We introduce a method to numerically compute equilibrium measures for problems with attractive-repulsive power law kernels of the form $K(x-y) = \frac{|x-y|^α}α-\frac{|x-y|^β}β$ using recursively generated banded and approximately banded operators acting on expansions in ultraspherical polynomial bases. The proposed method reduces what is naively a difficult to approach optimization problem over a measure space to a straightforward optimization problem over one or two variables fixing the support of the equilibrium measure. The structure and rapid convergence properties of the obtained operators results in high computational efficiency in the individual optimization steps. We discuss stability and convergence of the method under a Tikhonov regularization and use an implementation to showcase comparisons with analytically known solutions as well as discrete particle simulations. Finally, we numerically explore open questions with respect to existence and uniqueness of equilibrium measures as well as gap forming behaviour in parameter ranges of interest for power law kernels, where the support of the equilibrium measure splits into two intervals.
△ Less
Submitted 2 September, 2021; v1 submitted 30 October, 2020;
originally announced November 2020.
-
An invariance principle for gradient flows in the space of probability measures
Authors:
J. A. Carrillo,
R. S. Gvalani,
J. Wu
Abstract:
We seek to establish qualitative convergence results to a general class of evolution PDEs described by gradient flows in optimal transportation distances. These qualitative convergence results come from dynamical systems under the general name of LaSalle Invariance Principle. By combining some of the basic notions of gradient flow theory and dynamical systems, we are able to reproduce this invaria…
▽ More
We seek to establish qualitative convergence results to a general class of evolution PDEs described by gradient flows in optimal transportation distances. These qualitative convergence results come from dynamical systems under the general name of LaSalle Invariance Principle. By combining some of the basic notions of gradient flow theory and dynamical systems, we are able to reproduce this invariance principle in the setting of evolution PDEs under general assumptions. We apply this abstract theory to a non-exhaustive list of examples that recover, simplify, and even extend the results in their respective literatures.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
A Finite Volume Method for Continuum Limit Equations of Nonlocally Interacting Active Chiral Particles
Authors:
Nikita Kruk,
José A. Carrillo,
Heinz Koeppl
Abstract:
The continuum description of active particle systems is an efficient instrument to analyze a finite size particle dynamics in the limit of a large number of particles. However, it is often the case that such equations appear as nonlinear integro-differential equations and purely analytical treatment becomes quite limited. We propose a general framework of finite volume methods (FVMs) to numericall…
▽ More
The continuum description of active particle systems is an efficient instrument to analyze a finite size particle dynamics in the limit of a large number of particles. However, it is often the case that such equations appear as nonlinear integro-differential equations and purely analytical treatment becomes quite limited. We propose a general framework of finite volume methods (FVMs) to numerically solve partial differential equations (PDEs) of the continuum limit of nonlocally interacting chiral active particle systems confined to two dimensions. We demonstrate the performance of the method on spatially homogeneous problems, where the comparison to analytical results is available, and on general spatially inhomogeneous equations, where pattern formation is predicted by kinetic theory. We numerically investigate phase transitions of particular problems in both spatially homogeneous and inhomogeneous regimes and report the existence of different first and second order transitions.
△ Less
Submitted 11 March, 2021; v1 submitted 19 August, 2020;
originally announced August 2020.
-
Mean-field limits: from particle descriptions to macroscopic equations
Authors:
José A. Carrillo,
Young-Pil Choi
Abstract:
We rigorously derive pressureless Euler-type equations with nonlocal dissipative terms in velocity and aggregation equations with nonlocal velocity fields from Newton-type particle descriptions of swarming models with alignment interactions. We crucially make use of a discrete version of a modulated kinetic energy together with the bounded Lipschitz distance for measures in order to control terms…
▽ More
We rigorously derive pressureless Euler-type equations with nonlocal dissipative terms in velocity and aggregation equations with nonlocal velocity fields from Newton-type particle descriptions of swarming models with alignment interactions. We crucially make use of a discrete version of a modulated kinetic energy together with the bounded Lipschitz distance for measures in order to control terms in its time derivative due to the nonlocal interactions.
△ Less
Submitted 31 July, 2020;
originally announced July 2020.
-
Enhancement of damaged-image prediction through Cahn-Hilliard Image Inpainting
Authors:
José A. Carrillo,
Serafim Kalliadasis,
Fuyue Liang,
Sergio P. Perez
Abstract:
We assess the benefit of including an image inpainting filter before passing damaged images into a classification neural network. For this we employ a modified Cahn-Hilliard equation as an image inpainting filter, which is solved via a finite volume scheme with reduced computational cost and adequate properties for energy stability and boundedness. The benchmark dataset employed here is MNIST, whi…
▽ More
We assess the benefit of including an image inpainting filter before passing damaged images into a classification neural network. For this we employ a modified Cahn-Hilliard equation as an image inpainting filter, which is solved via a finite volume scheme with reduced computational cost and adequate properties for energy stability and boundedness. The benchmark dataset employed here is MNIST, which consists of binary images of handwritten digits and is a standard dataset to validate image-processing methodologies. We train a neural network based of dense layers with the training set of MNIST, and subsequently we contaminate the test set with damage of different types and intensities. We then compare the prediction accuracy of the neural network with and without applying the Cahn-Hilliard filter to the damaged images test. Our results quantify the significant improvement of damaged-image prediction due to applying the Cahn-Hilliard filter, which for specific damages can increase up to 50% and is in general advantageous for low to moderate damage.
△ Less
Submitted 15 March, 2021; v1 submitted 21 July, 2020;
originally announced July 2020.
-
The Landau equation as a Gradient Flow
Authors:
José A. Carrillo,
Matias G. Delgadino,
Laurent Desvillettes,
Jeremy S. H. Wu
Abstract:
We propose a gradient flow perspective to the spatially homogeneous Landau equation for soft potentials. We construct a tailored metric on the space of probability measures based on the entropy dissipation of the Landau equation. Under this metric, the Landau equation can be characterized as the gradient flow of the Boltzmann entropy. In particular, we characterize the dynamics of the PDE through…
▽ More
We propose a gradient flow perspective to the spatially homogeneous Landau equation for soft potentials. We construct a tailored metric on the space of probability measures based on the entropy dissipation of the Landau equation. Under this metric, the Landau equation can be characterized as the gradient flow of the Boltzmann entropy. In particular, we characterize the dynamics of the PDE through a functional inequality which is usually referred as the Energy Dissipation Inequality. Furthermore, analogous to the optimal transportation setting, we show that this interpretation can be used in a minimizing movement scheme to construct solutions to a regularized Landau equation.
△ Less
Submitted 30 October, 2022; v1 submitted 16 July, 2020;
originally announced July 2020.
-
Quantifying the hydrodynamic limit of Vlasov-type equations with alignment and nonlocal forces
Authors:
José A. Carrillo,
Young-Pil Choi,
**wook Jung
Abstract:
In this paper, we quantify the asymptotic limit of collective behavior kinetic equations arising in mathematical biology modeled by Vlasov-type equations with nonlocal interaction forces and alignment. More precisely, we investigate the hydrodynamic limit of a kinetic Cucker--Smale flocking model with confinement, nonlocal interaction, and local alignment forces, linear dam** and diffusion in ve…
▽ More
In this paper, we quantify the asymptotic limit of collective behavior kinetic equations arising in mathematical biology modeled by Vlasov-type equations with nonlocal interaction forces and alignment. More precisely, we investigate the hydrodynamic limit of a kinetic Cucker--Smale flocking model with confinement, nonlocal interaction, and local alignment forces, linear dam** and diffusion in velocity. We first discuss the hydrodynamic limit of our main equation under strong local alignment and diffusion regime, and we rigorously derive the isothermal Euler equations with nonlocal forces. We also analyze the hydrodynamic limit corresponding to strong local alignment without diffusion. In this case, the limiting system is pressureless Euler-type equations. Our analysis includes the Coulombian interaction potential for both cases and explicit estimates on the distance towards the limiting hydrodynamic equations. The relative entropy method is the crucial technology in our main results, however, for the case without diffusion, we combine a modulated macroscopic kinetic energy with the bounded Lipschitz distance to deal with the nonlocality in the interaction forces. For the sake of completeness, the existence of weak and strong solutions to the kinetic and fluid equations are also established.
△ Less
Submitted 9 July, 2020;
originally announced July 2020.
-
Variational Asymptotic Preserving Scheme for the Vlasov-Poisson-Fokker-Planck System
Authors:
Jose A. Carrillo,
Li Wang,
Wuzhe Xu,
Ming Yan
Abstract:
We design a variational asymptotic preserving scheme for the Vlasov-Poisson-Fokker-Planck system with the high field scaling, which describes the Brownian motion of a large system of particles in a surrounding bath. Our scheme builds on an implicit-explicit framework, wherein the stiff terms coming from the collision and field effects are solved implicitly while the convection terms are solved exp…
▽ More
We design a variational asymptotic preserving scheme for the Vlasov-Poisson-Fokker-Planck system with the high field scaling, which describes the Brownian motion of a large system of particles in a surrounding bath. Our scheme builds on an implicit-explicit framework, wherein the stiff terms coming from the collision and field effects are solved implicitly while the convection terms are solved explicitly. To treat the implicit part, we propose a variational approach by viewing it as a Wasserstein gradient flow of the relative entropy, and solve it via a proximal quasi-Newton method. In so doing we get positivity and asymptotic preservation for free. The method is also massively parallelizable and thus suitable for high dimensional problems. We further show that the convergence of our implicit solver is uniform across different scales. A suite of numerical examples are presented at the end to validate the performance of the proposed scheme.
△ Less
Submitted 15 December, 2020; v1 submitted 3 July, 2020;
originally announced July 2020.
-
Vortex formation for a non-local interaction model with Newtonian repulsion and superlinear mobility
Authors:
Jose A. Carrillo,
David Gómez-Castro,
Juan Luis Vázquez
Abstract:
We consider density solutions for gradient flow equations of the form $u_t = \nabla \cdot ( γ(u) \nabla \mathrm N(u))$, where $\mathrm N$ is the Newtonian repulsive potential in the whole space $\mathbb R^d$ with the nonlinear convex mobility $γ(u)=u^α$, and $α>1$. We show that solutions corresponding to compactly supported initial data remain compactly supported for all times leading to moving fr…
▽ More
We consider density solutions for gradient flow equations of the form $u_t = \nabla \cdot ( γ(u) \nabla \mathrm N(u))$, where $\mathrm N$ is the Newtonian repulsive potential in the whole space $\mathbb R^d$ with the nonlinear convex mobility $γ(u)=u^α$, and $α>1$. We show that solutions corresponding to compactly supported initial data remain compactly supported for all times leading to moving free boundaries as in the linear mobility case $γ(u)=u$. For linear mobility it was shown that there is a special solution in the form of a disk vortex of constant intensity in space $u=c_1t^{-1}$ supported in a ball that spreads in time like $c_2t^{1/d}$, thus showing a discontinuous leading front or shock. Our present results are in sharp contrast with the case of concave mobilities of the form $γ(u)=u^α$, with $0<α<1$ studied in [9]. There, we developed a well-posedness theory of viscosity solutions that are positive everywhere and moreover display a fat tail at infinity. Here, we also develop a well-posedness theory of viscosity solutions that in the radial case leads to a very detail analysis allowing us to show a waiting time phenomena. This is a typical behavior for nonlinear degenerate diffusion equations such as the porous medium equation. We will also construct explicit self-similar solutions exhibiting similar vortex-like behaviour characterizing the long time asymptotics of general radial solutions under certain assumptions. Convergent numerical schemes based on the viscosity solution theory are proposed analysing their rate of convergence. We complement our analytical results with numerical simulations ilustrating the proven results and showcasing some open problems.
△ Less
Submitted 22 December, 2021; v1 submitted 2 July, 2020;
originally announced July 2020.
-
High-order well-balanced finite volume schemes for hydrodynamic equations with nonlocal free energy
Authors:
José A. Carrillo,
Manuel J. Castro,
Serafim Kalliadasis,
Sergio P. Perez
Abstract:
We propose high-order well-balanced finite-volume schemes for a broad class of hydrodynamic systems with attractive-repulsive interaction forces and linear and nonlinear dam**. Our schemes are suitable for free energies containing convolutions of an interaction potential with the density, which are essential for applications such as the Keller-Segel model, more general Euler-Poisson systems, or…
▽ More
We propose high-order well-balanced finite-volume schemes for a broad class of hydrodynamic systems with attractive-repulsive interaction forces and linear and nonlinear dam**. Our schemes are suitable for free energies containing convolutions of an interaction potential with the density, which are essential for applications such as the Keller-Segel model, more general Euler-Poisson systems, or dynamic-density functional theory. Our schemes are also equipped with a nonnegative-density reconstruction which allows for vacuum regions during the simulation. We provide several prototypical examples from relevant applications highlighting the benefit of our algorithms elucidate also some of our analytical results.
△ Less
Submitted 19 November, 2020; v1 submitted 11 April, 2020;
originally announced April 2020.
-
Lagrangian schemes for Wasserstein gradient flows
Authors:
Jose A. Carrillo,
Daniel Matthes,
Marie-Therese Wolfram
Abstract:
This paper reviews different numerical methods for specific examples of Wasserstein gradient flows: we focus on nonlinear Fokker-Planck equations,but also discuss discretizations of the parabolic-elliptic Keller-Segel model and of the fourth order thin film equation. The methods under review are of Lagrangian nature, that is, the numerical approximations trace the characteristics of the underlying…
▽ More
This paper reviews different numerical methods for specific examples of Wasserstein gradient flows: we focus on nonlinear Fokker-Planck equations,but also discuss discretizations of the parabolic-elliptic Keller-Segel model and of the fourth order thin film equation. The methods under review are of Lagrangian nature, that is, the numerical approximations trace the characteristics of the underlying transport equation rather than solving the evolution equation for the mass density directly. The two main approaches are based on integrating the equation for the Lagrangian maps on the one hand, and on solution of coupled ODEs for individual mass particles on the other hand.
△ Less
Submitted 8 March, 2020;
originally announced March 2020.
-
Convergence of a Fully Discrete and Energy-Dissipating Finite-Volume Scheme for Aggregation-Diffusion Equations
Authors:
Rafael Bailo,
Jose A. Carrillo,
Hideki Murakawa,
Markus Schmidtchen
Abstract:
We study an implicit finite-volume scheme for non-linear, non-local aggregation-diffusion equations which exhibit a gradient-flow structure, recently introduced by Bailo, Carrillo, and Hu (2020). Crucially, this scheme keeps the dissipation property of an associated fully discrete energy, and does so unconditionally with respect to the time step. Our main contribution in this work is to show the c…
▽ More
We study an implicit finite-volume scheme for non-linear, non-local aggregation-diffusion equations which exhibit a gradient-flow structure, recently introduced by Bailo, Carrillo, and Hu (2020). Crucially, this scheme keeps the dissipation property of an associated fully discrete energy, and does so unconditionally with respect to the time step. Our main contribution in this work is to show the convergence of the method under suitable assumptions on the diffusion functions and potentials involved.
△ Less
Submitted 17 April, 2022; v1 submitted 25 February, 2020;
originally announced February 2020.
-
Coarse graining of a Fokker-Planck equation with excluded volume effects preserving the gradient-flow structure
Authors:
Maria Bruna,
Martin Burger,
José Antonio Carrillo
Abstract:
The propagation of gradient flow structures from microscopic to macroscopic models is a topic of high current interest. In this paper we discuss this propagation in a model for the diffusion of particles interacting via hard-core exclusion or short-range repulsive potentials. We formulate the microscopic model as a high-dimensional gradient flow in the Wasserstein metric for an appropriate free-en…
▽ More
The propagation of gradient flow structures from microscopic to macroscopic models is a topic of high current interest. In this paper we discuss this propagation in a model for the diffusion of particles interacting via hard-core exclusion or short-range repulsive potentials. We formulate the microscopic model as a high-dimensional gradient flow in the Wasserstein metric for an appropriate free-energy functional. Then we use the JKO approach to identify the asymptotics of the metric and the free-energy functional beyond the lowest order for single particle densities in the limit of small particle volumes by matched asymptotic expansions. While we use a propagation of chaos assumption at far distances, we consider correlations at small distance in the expansion. In this way we obtain a clear picture of the emergence of a macroscopic gradient structure incorporating corrections in the free energy functional due to the volume exclusion.
△ Less
Submitted 17 August, 2020; v1 submitted 18 February, 2020;
originally announced February 2020.
-
Recent development in kinetic theory of granular materials: analysis and numerical methods
Authors:
Jose Antonio Carrillo,
**gwei Hu,
Zheng Ma,
Thomas Rey
Abstract:
Over the past decades, kinetic description of granular materials has received a lot of attention in mathematical community and applied fields such as physics and engineering. This article aims to review recent mathematical results in kinetic granular materials, especially for those which arose since the last review by Villani on the same subject. We will discuss both theoretical and numerical deve…
▽ More
Over the past decades, kinetic description of granular materials has received a lot of attention in mathematical community and applied fields such as physics and engineering. This article aims to review recent mathematical results in kinetic granular materials, especially for those which arose since the last review by Villani on the same subject. We will discuss both theoretical and numerical developments. We will finally showcase some important open problems and conjectures by means of numerical experiments based on spectral methods.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Traveling Bands, Clouds, and Vortices of Chiral Active Matter
Authors:
Nikita Kruk,
José A. Carrillo,
Heinz Koeppl
Abstract:
We consider stochastic dynamics of self-propelled particles with nonlocal normalized alignment interactions subject to phase lag. The role of the lag is to indirectly generate chirality into particle motion. To understand large scale behavior, we derive a continuum description of an active Brownian particle (ABP) flow with macroscopic scaling in the form of a partial differential equation (PDE) fo…
▽ More
We consider stochastic dynamics of self-propelled particles with nonlocal normalized alignment interactions subject to phase lag. The role of the lag is to indirectly generate chirality into particle motion. To understand large scale behavior, we derive a continuum description of an active Brownian particle (ABP) flow with macroscopic scaling in the form of a partial differential equation (PDE) for a one-particle probability density function (DF). Due to indirect chirality, we find a new spatially homogeneous nonstationary analytic solution for this class of equations. Our development of kinetic and hydrodynamic theories towards such a solution reveals the existence of a wide variety of spatially nonhomogeneous patterns reminiscent of the traveling bands, clouds, and vortical structures of linear active matter. Our model may thereby serve as the basis for understanding the nature of chiral active media and designing multiagent swarms with designated behavior.
△ Less
Submitted 19 June, 2020; v1 submitted 24 January, 2020;
originally announced January 2020.
-
Equilibria of an anisotropic nonlocal interaction equation: Analysis and numerics
Authors:
José A. Carrillo,
Bertram Düring,
Lisa Maria Kreusser,
Carola-Bibiane Schönlieb
Abstract:
In this paper, we study the equilibria of an anisotropic, nonlocal aggregation equation with nonlinear diffusion which does not possess a gradient flow structure. Here, the anisotropy is induced by an underlying tensor field. Anisotropic forces cannot be associated with a potential in general and stationary solutions of anisotropic aggregation equations generally cannot be regarded as minimizers o…
▽ More
In this paper, we study the equilibria of an anisotropic, nonlocal aggregation equation with nonlinear diffusion which does not possess a gradient flow structure. Here, the anisotropy is induced by an underlying tensor field. Anisotropic forces cannot be associated with a potential in general and stationary solutions of anisotropic aggregation equations generally cannot be regarded as minimizers of an energy functional. We derive equilibrium conditions for stationary line patterns in the setting of spatially homogeneous tensor fields. The stationary solutions can be regarded as the minimizers of a regularised energy functional depending on a scalar potential. A dimension reduction from the two- to the one-dimensional setting allows us to study the associated one-dimensional problem instead of the two-dimensional setting. We establish $Γ$-convergence of the regularised energy functionals as the diffusion coefficient vanishes, and prove the convergence of minimisers of the regularised energy functional to minimisers of the non-regularised energy functional. Further, we investigate properties of stationary solutions on the torus, based on known results in one spatial dimension. Finally, we prove weak convergence of a numerical scheme for the numerical solution of the anisotropic, nonlocal aggregation equation with nonlinear diffusion and any underlying tensor field, and show numerical results.
△ Less
Submitted 7 January, 2021; v1 submitted 19 December, 2019;
originally announced December 2019.
-
Phase transitions for nonlinear nonlocal aggregation-diffusion equations
Authors:
José A. Carrillo,
Rishabh S. Gvalani
Abstract:
We are interested in studying the stationary solutions and phase transitions of aggregation equations with degenerate diffusion of porous medium-type, with exponent $1 < m < \infty$. We first prove the existence of possibly infinitely many bifurcations from the spatially homogeneous steady state. We then focus our attention on the associated free energy proving existence of minimisers and even uni…
▽ More
We are interested in studying the stationary solutions and phase transitions of aggregation equations with degenerate diffusion of porous medium-type, with exponent $1 < m < \infty$. We first prove the existence of possibly infinitely many bifurcations from the spatially homogeneous steady state. We then focus our attention on the associated free energy proving existence of minimisers and even uniqueness for sufficiently weak interactions. In the absence of uniqueness, we show that the system exhibits phase transitions: we classify values of $m$ and interaction potentials $W$ for which these phase transitions are continuous or discontinuous. Finally, we comment on the limit $m \to \infty$ and the influence that the presence of a phase transition has on this limit.
△ Less
Submitted 10 July, 2020; v1 submitted 4 December, 2019;
originally announced December 2019.
-
A fast regularisation of a Newtonian vortex equation
Authors:
José A. Carrillo,
David Gómez-Castro,
Juan Luis Vázquez
Abstract:
We consider equations of the form $ u_t = \nabla \cdot ( γ(u) \nabla \mathrm{N}(u))$, where $\mathrm{N}$ is the Newtonian potential (inverse of the Laplacian) posed in the whole space $\mathbb R^d$, and $γ(u)$ is the mobility. For linear mobility, $γ(u)=u$, the equation and some variations have been proposed as a model for superconductivity or superfluidity. In that case the theory leads to unique…
▽ More
We consider equations of the form $ u_t = \nabla \cdot ( γ(u) \nabla \mathrm{N}(u))$, where $\mathrm{N}$ is the Newtonian potential (inverse of the Laplacian) posed in the whole space $\mathbb R^d$, and $γ(u)$ is the mobility. For linear mobility, $γ(u)=u$, the equation and some variations have been proposed as a model for superconductivity or superfluidity. In that case the theory leads to uniqueness of bounded weak solutions having the property of compact space support, and in particular there is a special solution in the form of a disk vortex of constant intensity in space $u=c_1t^{-1}$ supported in a ball that spreads in time like $c_2t^{1/d}$, thus showing a discontinuous leading front.
In this paper we propose the model with sublinear mobility $γ(u)=u^α$, with $0<α<1$, and prove that nonnegative solutions recover positivity everywhere, and moreover display a fat tail at infinity. The model acts in many ways as a regularization of the previous one. In particular, we find that the equivalent of the previous vortex is an explicit self-similar solution decaying in time like $u=O(t^{-1/α})$ with a space tail with size $u=O(|x|^{- d/(1-α)})$. We restrict the analysis to radial solutions and construct solutions by the method of characteristics. We introduce the mass function, which solves an unusual variation of Burger's equation, and plays an important role in the analysis. We show well-posedness in the sense of viscosity solutions. We also construct numerical finite-difference convergent schemes.
△ Less
Submitted 28 June, 2021; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Fluid models with phase transition for kinetic equations in swarming
Authors:
Mihaï Bostan,
José Antonio Carrillo
Abstract:
We concentrate on kinetic models for swarming with individuals interacting through self-propelling and friction forces, alignment and noise. We assume that the velocity of each individual relaxes to the mean velocity. In our present case, the equilibria depend on the density and the orientation of the mean velocity, whereas the mean speed is not anymore a free parameter and a phase transition occu…
▽ More
We concentrate on kinetic models for swarming with individuals interacting through self-propelling and friction forces, alignment and noise. We assume that the velocity of each individual relaxes to the mean velocity. In our present case, the equilibria depend on the density and the orientation of the mean velocity, whereas the mean speed is not anymore a free parameter and a phase transition occurs in the homogeneous kinetic equation. We analyze the profile of equilibria for general potentials identifying a family of potentials leading to phase transitions. Finally, we derive the fluid equations when the interaction frequency becomes very large.
△ Less
Submitted 30 November, 2019;
originally announced December 2019.
-
Relative Entropy Method for the relaxation limit of Hydrodynamic models
Authors:
José A. Carrillo,
Ying** Peng,
Aneta Wróblewska-Kamińska
Abstract:
We show how to obtain general nonlinear aggregation-diffusion models, including Keller-Segel type models with nonlinear diffusions, as relaxations from nonlocal compressible Euler-type hydrodynamic systems via the relative entropy method. We discuss the assumptions on the confinement and interaction potentials depending on the relative energy of the free energy functional allowing for this relaxat…
▽ More
We show how to obtain general nonlinear aggregation-diffusion models, including Keller-Segel type models with nonlinear diffusions, as relaxations from nonlocal compressible Euler-type hydrodynamic systems via the relative entropy method. We discuss the assumptions on the confinement and interaction potentials depending on the relative energy of the free energy functional allowing for this relaxation limit to hold. We deal with weak solutions for the nonlocal compressible Euler-type systems and strong solutions for the limiting aggregation-diffusion equations. Finally, we show the existence of weak solutions to the nonlocal compressible Euler-type systems satisfying the needed properties for completeness sake.
△ Less
Submitted 27 October, 2019;
originally announced October 2019.
-
Wasserstein stability estimates for covariance-preconditioned Fokker-Planck equations
Authors:
J. A. Carrillo,
U. Vaes
Abstract:
We study the convergence to equilibrium of the mean field PDE associated with the derivative-free methodologies for solving inverse problems. We show stability estimates in the euclidean Wasserstein distance for the mean field PDE by using optimal transport arguments. As a consequence, this recovers the known convergence towards equilibrium estimates in the case of a linear forward model.
We study the convergence to equilibrium of the mean field PDE associated with the derivative-free methodologies for solving inverse problems. We show stability estimates in the euclidean Wasserstein distance for the mean field PDE by using optimal transport arguments. As a consequence, this recovers the known convergence towards equilibrium estimates in the case of a linear forward model.
△ Less
Submitted 23 October, 2019; v1 submitted 16 October, 2019;
originally announced October 2019.
-
A Finite-Volume Method for Fluctuating Dynamical Density Functional Theory
Authors:
Antonio Russo,
Sergio P. Perez,
Miguel A. Durán-Olivencia,
Peter Yatsyshin,
José A. Carrillo,
Serafim Kalliadasis
Abstract:
We introduce a finite-volume numerical scheme for solving stochastic gradient-flow equations. Such equations are of crucial importance within the framework of fluctuating hydrodynamics and dynamic density functional theory. Our proposed scheme deals with general free-energy functionals, including, for instance, external fields or interaction potentials. This allows us to simulate a range of physic…
▽ More
We introduce a finite-volume numerical scheme for solving stochastic gradient-flow equations. Such equations are of crucial importance within the framework of fluctuating hydrodynamics and dynamic density functional theory. Our proposed scheme deals with general free-energy functionals, including, for instance, external fields or interaction potentials. This allows us to simulate a range of physical phenomena where thermal fluctuations play a crucial role, such as nucleation and other energy-barrier crossing transitions. A positivity-preserving algorithm for the density is derived based on a hybrid space discretization of the deterministic and the stochastic terms and different implicit and explicit time integrators. We show through numerous applications that not only our scheme is able to accurately reproduce the statistical properties (structure factor and correlations) of the physical system, but, because of the multiplicative noise, it allows us to simulate energy barrier crossing dynamics, which cannot be captured by mean-field approaches.
△ Less
Submitted 31 December, 2020; v1 submitted 11 October, 2019;
originally announced October 2019.
-
A particle method for the homogeneous Landau equation
Authors:
Jose A. Carrillo,
**gwei Hu,
Li Wang,
Jeremy Wu
Abstract:
We propose a novel deterministic particle method to numerically approximate the Landau equation for plasmas. Based on a new variational formulation in terms of gradient flows of the Landau equation, we regularize the collision operator to make sense of the particle solutions. These particle solutions solve a large coupled ODE system that retains all the important properties of the Landau operator,…
▽ More
We propose a novel deterministic particle method to numerically approximate the Landau equation for plasmas. Based on a new variational formulation in terms of gradient flows of the Landau equation, we regularize the collision operator to make sense of the particle solutions. These particle solutions solve a large coupled ODE system that retains all the important properties of the Landau operator, namely the conservation of mass, momentum and energy, and the decay of entropy. We illustrate our new method by showing its performance in several test cases including the physically relevant case of the Coulomb interaction. The comparison to the exact solution and the spectral method is strikingly good maintaining 2nd order accuracy. Moreover, an efficient implementation of the method via the treecode is explored. This gives a proof of concept for the practical use of our method when coupled with the classical PIC method for the Vlasov equation.
△ Less
Submitted 22 May, 2020; v1 submitted 7 October, 2019;
originally announced October 2019.
-
On a Mean Field Optimal Control Problem
Authors:
Jose A. Carrillo,
Edgard A. Pimentel,
Vardan K. Voskanyan
Abstract:
In this paper we consider a mean field optimal control problem with an aggregation-diffusion constraint, where agents interact through a potential, in the presence of a Gaussian noise term. Our analysis focuses on a PDE system coupling a Hamilton-Jacobi and a Fokker-Planck equation, describing the optimal control aspect of the problem and the evolution of the population of agents, respectively. Th…
▽ More
In this paper we consider a mean field optimal control problem with an aggregation-diffusion constraint, where agents interact through a potential, in the presence of a Gaussian noise term. Our analysis focuses on a PDE system coupling a Hamilton-Jacobi and a Fokker-Planck equation, describing the optimal control aspect of the problem and the evolution of the population of agents, respectively. The main contribution of the paper is a result on the existence of solutions for the aforementioned system. We notice this model is in close connection with the theory of mean-field games systems. However, a distinctive feature concerns the nonlocal character of the interaction; it affects the drift term in the Fokker-Planck equation as well as the Hamiltonian of the system, leading to new difficulties to be addressed.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
A consensus-based global optimization method for high dimensional machine learning problems
Authors:
José A. Carrillo,
Shi **,
Lei Li,
Yuhua Zhu
Abstract:
We improve recently introduced consensus-based optimization method, proposed in [R. Pinnau, C. Totzeck, O. Tse and S. Martin, Math. Models Methods Appl. Sci., 27(01):183--204, 2017], which is a gradient-free optimization method for general non-convex functions. We first replace the isotropic geometric Brownian motion by the component-wise one, thus removing the dimensionality dependence of the dri…
▽ More
We improve recently introduced consensus-based optimization method, proposed in [R. Pinnau, C. Totzeck, O. Tse and S. Martin, Math. Models Methods Appl. Sci., 27(01):183--204, 2017], which is a gradient-free optimization method for general non-convex functions. We first replace the isotropic geometric Brownian motion by the component-wise one, thus removing the dimensionality dependence of the drift rate, making the method more competitive for high dimensional optimization problems. Secondly, we utilize the random mini-batch ideas to reduce the computational cost of calculating the weighted average which the individual particles tend to relax toward. For its mean-field limit--a nonlinear Fokker-Planck equation--we prove, in both time continuous and semi-discrete settings, that the convergence of the method, which is exponential in time, is guaranteed with parameter constraints {\it independent} of the dimensionality. We also conduct numerical tests to high dimensional problems to check the success rate of the method.
△ Less
Submitted 4 March, 2020; v1 submitted 19 September, 2019;
originally announced September 2019.
-
Boundary spike-layer solutions of the singular Keller-Segel system: existence and stability
Authors:
Jose A Carrillo,
**gyu Li,
Zhian Wang
Abstract:
We exploit the existence and nonlinear stability of boundary spike/layer solutions of the Keller-Segel system with logarithmic singular sensitivity in the half space, where the physical zero-flux and Dirichlet boundary conditions are prescribed. We first prove that, under above boundary conditions, the Keller-Segel system admits a unique boundary spike-layer steady state where the first solution c…
▽ More
We exploit the existence and nonlinear stability of boundary spike/layer solutions of the Keller-Segel system with logarithmic singular sensitivity in the half space, where the physical zero-flux and Dirichlet boundary conditions are prescribed. We first prove that, under above boundary conditions, the Keller-Segel system admits a unique boundary spike-layer steady state where the first solution component (bacterial density) of the system concentrates at the boundary as a Dirac mass and the second solution component (chemical concentration) forms a boundary layer profile near the boundary as the chemical diffusion coefficient tends to zero. Then we show that this boundary spike-layer steady state is asymptotically nonlinearly stable under appropriate perturbations. As far as we know, this is the first result obtained on the global well-posedness of the singular Keller-Segel system with nonlinear consumption rate. We introduce a novel strategy of relegating the singularity, via a Cole-Hopf type transformation, to a nonlinear nonlocality which is resolved by the technique of "taking antiderivatives", i.e. working at the level of the distribution function. Then, we carefully choose weight functions to prove our main results by suitable weighted energy estimates with Hardy's inequality that fully captures the dissipative structure of the system.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
The equilibrium measure for an anisotropic nonlocal energy
Authors:
J. A. Carrillo,
J. Mateu,
M. G. Mora,
L. Rondi,
L. Scardia,
J. Verdera
Abstract:
In this paper we characterise the minimisers of a one-parameter family of nonlocal and anisotropic energies $I_α$ defined on probability measures in $\R^n$, with $n\geq 3$. The energy $I_α$ consists of a purely nonlocal term of convolution type, whose interaction kernel reduces to the Coulomb potential for $α=0$ and is anisotropic otherwise, and a quadratic confinement. The two-dimensional case ar…
▽ More
In this paper we characterise the minimisers of a one-parameter family of nonlocal and anisotropic energies $I_α$ defined on probability measures in $\R^n$, with $n\geq 3$. The energy $I_α$ consists of a purely nonlocal term of convolution type, whose interaction kernel reduces to the Coulomb potential for $α=0$ and is anisotropic otherwise, and a quadratic confinement. The two-dimensional case arises in the study of defects in metals and has been solved by the authors by means of complex-analysis techniques. We prove that for $α\in (-1, n-2]$, the minimiser of $I_α$ is unique and is the (normalised) characteristic function of a spheroid. This result is a paradigmatic example of the role of the anisotropy of the kernel on the shape of minimisers. In particular, the phenomenon of loss of dimensionality, observed in dimension $n=2$, does not occur in higher dimension at the value $α=n-2$ corresponding to the sign change of the Fourier transform of the interaction potential.
△ Less
Submitted 30 June, 2019;
originally announced July 2019.
-
A proof of the mean-field limit for $λ$-convex potentials by $Γ$-Convergence
Authors:
J. A. Carrillo,
M. G. Delgadino,
G. A. Pavliotis
Abstract:
In this work we give a proof of the mean-field limit for $λ$-convex potentials using a purely variational viewpoint. Our approach is based on the observation that all evolution equations that we study can be written as gradient flows of functionals at different levels: in the set of probability measures, in the set of symmetric probability measures on $N$ variables, and in the set of probability m…
▽ More
In this work we give a proof of the mean-field limit for $λ$-convex potentials using a purely variational viewpoint. Our approach is based on the observation that all evolution equations that we study can be written as gradient flows of functionals at different levels: in the set of probability measures, in the set of symmetric probability measures on $N$ variables, and in the set of probability measures on probability measures. This basic fact allows us to rely on $Γ$-convergence tools for gradient flows to complete the proof by identifying the limits of the different terms in the Evolutionary Variational Inequalities (EVIs) associated to each gradient flow. The $λ$-convexity of the confining and interaction potentials is crucial for the unique identification of the limits and for deriving the EVIs at each description level of the interacting particle system.
△ Less
Submitted 11 June, 2019;
originally announced June 2019.
-
Segregation and Gap Formation in Cross-Diffusion Models
Authors:
M. Burger,
J. A. Carrillo,
J. -F. Pietschmann,
M. Schmidtchen
Abstract:
In this paper we analyse a class of nonlinear cross-diffusion systems for two species with local repulsive interactions that exhibit a formal gradient flow structure with respect to the Wasserstein metric. We show that systems where the population pressure is given by a function of the total population are critical with respect to cross-diffusion perturbations. This criticality is showcased by pro…
▽ More
In this paper we analyse a class of nonlinear cross-diffusion systems for two species with local repulsive interactions that exhibit a formal gradient flow structure with respect to the Wasserstein metric. We show that systems where the population pressure is given by a function of the total population are critical with respect to cross-diffusion perturbations. This criticality is showcased by proving that adding an extra cross-diffusion term that breaks the symmetry of the population pressure in the system leads to completely different behaviours, namely segregation or mixing, depending on the sign of the perturbation. We show these results at the level of the minimisers of the associated free energy functionals. We also analyse certain implications of these results for the gradient flow systems of PDEs associated to these functionals and we present a numerical exploration of the time evolution of these phenomena.
△ Less
Submitted 9 June, 2019;
originally announced June 2019.
-
Pressureless Euler with nonlocal interactions as a singular limit of degenerate Navier-Stokes system
Authors:
José A. Carrillo,
Aneta Wróblewska-Kamińska,
Ewelina Zatorska
Abstract:
We show that weak solutions of degenerate Navier-Stokes equations converge to the strong solutions of the pressureless Euler system with linear drag term, Newtonian repulsion and quadratic confinement. The proof is based on the relative entropy method using the artificial velocity formulation for the one-dimensional Navier-Stokes system.
We show that weak solutions of degenerate Navier-Stokes equations converge to the strong solutions of the pressureless Euler system with linear drag term, Newtonian repulsion and quadratic confinement. The proof is based on the relative entropy method using the artificial velocity formulation for the one-dimensional Navier-Stokes system.
△ Less
Submitted 3 June, 2019;
originally announced June 2019.
-
Uniqueness of stationary states for singular Keller-Segel type models
Authors:
Vincent Calvez,
Jose Antonio Carrillo,
Franca Hoffmann
Abstract:
We consider a generalised Keller-Segel model with non-linear porous medium type diffusion and non-local attractive power law interaction, focusing on potentials that are more singular than Newtonian interaction. We show uniqueness of stationary states (if they exist) in any dimension both in the diffusion-dominated regime and in the fair-competition regime when attraction and repulsion are in bala…
▽ More
We consider a generalised Keller-Segel model with non-linear porous medium type diffusion and non-local attractive power law interaction, focusing on potentials that are more singular than Newtonian interaction. We show uniqueness of stationary states (if they exist) in any dimension both in the diffusion-dominated regime and in the fair-competition regime when attraction and repulsion are in balance. As stationary states are radially symmetric decreasing, the question of uniqueness reduces to the radial setting. Our key result is a sharp generalised Hardy-Littlewood-Sobolev type functional inequality in the radial setting.
△ Less
Submitted 15 June, 2020; v1 submitted 19 May, 2019;
originally announced May 2019.
-
Phase transitions and bump solutions of the Keller-Segel model with volume exclusion
Authors:
Jose A. Carrillo,
Xinfu Chen,
Qi Wang,
Zhian Wang,
Lu Zhang
Abstract:
We show that the Keller-Segel model in one dimension with Neumann boundary conditions and quadratic cellular diffusion has an intricate phase transition diagram depending on the chemosensitivity strength. Explicit computations allow us to find a myriad of symmetric and asymmetric stationary states whose stability properties are mostly studied via free energy decreasing numerical schemes. The metas…
▽ More
We show that the Keller-Segel model in one dimension with Neumann boundary conditions and quadratic cellular diffusion has an intricate phase transition diagram depending on the chemosensitivity strength. Explicit computations allow us to find a myriad of symmetric and asymmetric stationary states whose stability properties are mostly studied via free energy decreasing numerical schemes. The metastability behavior and staircased free energy decay are also illustrated via these numerical simulations.
△ Less
Submitted 26 April, 2019;
originally announced April 2019.
-
A Lipschitz metric for the Camassa--Holm equation
Authors:
J. A. Carrillo,
K. Grunert,
H. Holden
Abstract:
We analyze stability of conservative solutions of the Cauchy problem on the line for the Camassa--Holm (CH) equation. Generically, the solutions of the CH equation develop singularities with steep gradients while preserving continuity of the solution itself. In order to obtain uniqueness, one is required to augment the equation itself by a measure that represents the associated energy, and the bre…
▽ More
We analyze stability of conservative solutions of the Cauchy problem on the line for the Camassa--Holm (CH) equation. Generically, the solutions of the CH equation develop singularities with steep gradients while preserving continuity of the solution itself. In order to obtain uniqueness, one is required to augment the equation itself by a measure that represents the associated energy, and the breakdown of the solution is associated with a complicated interplay where the measure becomes singular. The main result in this paper is the construction of a Lipschitz metric that compares two solutions of the CH equation with the respective initial data. The Lipschitz metric is based on the use of the Wasserstein metric.
△ Less
Submitted 4 April, 2019;
originally announced April 2019.
-
Numerical study of Bose-Einstein condensation in the Kaniadakis-Quarati model for bosons
Authors:
José A. Carrillo,
Katharina Hopf,
Marie-Therese Wolfram
Abstract:
Kaniadakis and Quarati (1994) proposed a Fokker--Planck equation with quadratic drift as a PDE model for the dynamics of bosons in the spatially homogeneous setting. It is an open question whether this equation has solutions exhibiting condensates in finite time. The main analytical challenge lies in the continuation of exploding solutions beyond their first blow-up time while having a linear diff…
▽ More
Kaniadakis and Quarati (1994) proposed a Fokker--Planck equation with quadratic drift as a PDE model for the dynamics of bosons in the spatially homogeneous setting. It is an open question whether this equation has solutions exhibiting condensates in finite time. The main analytical challenge lies in the continuation of exploding solutions beyond their first blow-up time while having a linear diffusion term. We present a thoroughly validated time-implicit numerical scheme capable of simulating solutions for arbitrarily large time, and thus enabling a numerical study of the condensation process in the Kaniadakis--Quarati model. We show strong numerical evidence that above the critical mass rotationally symmetric solutions of the Kaniadakis--Quarati model in 3D form a condensate in finite time and converge in entropy to the unique minimiser of the natural entropy functional at an exponential rate. Our simulations further indicate that the spatial blow-up profile near the origin follows a universal power law and that transient condensates can occur for sufficiently concentrated initial data.
△ Less
Submitted 24 January, 2020; v1 submitted 17 February, 2019;
originally announced February 2019.
-
Monte Carlo gPC methods for diffusive kinetic flocking models with uncertainties
Authors:
Jose Antonio Carrillo,
Mattia Zanella
Abstract:
In this paper we introduce and discuss numerical schemes for the approximation of kinetic equations for flocking behavior with phase transitions that incorporate uncertain quantities. This class of schemes here considered make use of a Monte Carlo approach in the phase space coupled with a stochastic Galerkin expansion in the random space. The proposed methods naturally preserve the positivity of…
▽ More
In this paper we introduce and discuss numerical schemes for the approximation of kinetic equations for flocking behavior with phase transitions that incorporate uncertain quantities. This class of schemes here considered make use of a Monte Carlo approach in the phase space coupled with a stochastic Galerkin expansion in the random space. The proposed methods naturally preserve the positivity of the statistical moments of the solution and are capable to achieve high accuracy in the random space. Several tests on a kinetic alignment model with self propulsion validate the proposed methods both in the homogeneous and inhomogeneous setting, shading light on the influence of uncertainties in phase transition phenomena driven by noise such as their smoothing and confidence band.
△ Less
Submitted 30 October, 2019; v1 submitted 12 February, 2019;
originally announced February 2019.
-
Hydrodynamic limits for kinetic flocking models of Cucker-Smale type
Authors:
P. Aceves-Sánchez,
M. Bostan,
J. A. Carrillo,
P. Degond
Abstract:
We analyse the asymptotic behavior for kinetic models describing the collective behavior of animal populations. We focus on models for self-propelled individuals, whose velocity relaxes toward the mean orientation of the neighbors. The self-propelling and friction forces together with the alignment and the noise are interpreted as a collision/interaction mechanism acting with equal strength. We sh…
▽ More
We analyse the asymptotic behavior for kinetic models describing the collective behavior of animal populations. We focus on models for self-propelled individuals, whose velocity relaxes toward the mean orientation of the neighbors. The self-propelling and friction forces together with the alignment and the noise are interpreted as a collision/interaction mechanism acting with equal strength. We show that the set of generalized collision invariants, introduced in \cite{DM08}, is equivalent in our setting to the more classical notion of collision invariants, i.e., the kernel of a suitably linearized collision operator. After identifying these collision invariants, we derive the fluid model, by appealing to the balances for the particle concentration and orientation. We investigate the main properties of the macroscopic model for a general potential with radial symmetry.
△ Less
Submitted 30 January, 2019;
originally announced January 2019.
-
On the singularity formation and relaxation to equilibrium in 1D Fokker-Planck model with superlinear drift
Authors:
José A. Carrillo,
Katharina Hopf,
José L. Rodrigo
Abstract:
We consider a class of Fokker--Planck equations with linear diffusion and superlinear drift enjoying a formal Wasserstein-like gradient flow structure with convex mobility function. In the drift-dominant regime, the equations have a finite critical mass above which the measure minimising the associated entropy functional displays a singular component. Our approach, which addresses the one-dimensio…
▽ More
We consider a class of Fokker--Planck equations with linear diffusion and superlinear drift enjoying a formal Wasserstein-like gradient flow structure with convex mobility function. In the drift-dominant regime, the equations have a finite critical mass above which the measure minimising the associated entropy functional displays a singular component. Our approach, which addresses the one-dimensional case, is based on a reformulation of the problem in terms of the pseudo-inverse distribution function. Motivated by the structure of the equation in the new variables, we establish a general framework for global-in-time existence, uniqueness and regularity of monotonic viscosity solutions to a class of nonlinear degenerate (resp. singular) parabolic equations, using as a key tool comparison principles and maximum arguments. We then focus on a specific equation and study in more detail the regularity and dynamics of solutions. In particular, blow-up behaviour, formation of condensates (i.e. Dirac measures at zero) and long-time asymptotics are investigated. As a consequence, in the mass-supercritical case, solutions will blow up in $L^\infty$ in finite time and---understood in a generalised, measure sense---they will eventually have condensate. We further show that the singular part of the measure solution does in general interact with the density and that condensates can be transient. The equations considered are motivated by a model for bosons introduced by Kaniadakis and Quarati (1994), which has a similar entropy structure and a critical mass if $d\ge3$.
△ Less
Submitted 24 October, 2019; v1 submitted 30 January, 2019;
originally announced January 2019.
-
Primal dual methods for Wasserstein gradient flows
Authors:
Jose A. Carrillo,
Katy Craig,
Li Wang,
Chaozhen Wei
Abstract:
Combining the classical theory of optimal transport with modern operator splitting techniques, we develop a new numerical method for nonlinear, nonlocal partial differential equations, arising in models of porous media, materials science, and biological swarming. Our method proceeds as follows: First, we discretize in time, either via the classical JKO scheme or via a novel Crank-Nicolson type met…
▽ More
Combining the classical theory of optimal transport with modern operator splitting techniques, we develop a new numerical method for nonlinear, nonlocal partial differential equations, arising in models of porous media, materials science, and biological swarming. Our method proceeds as follows: First, we discretize in time, either via the classical JKO scheme or via a novel Crank-Nicolson type method we introduce. Next, we use the Benamou-Brenier dynamical characterization of the Wasserstein distance to reduce computing the solution of the discrete time equations to solving fully discrete minimization problems, with strictly convex objective functions and linear constraints. Third, we compute the minimizers by applying a recently introduced, provably convergent primal dual splitting scheme for three operators [Yan 2018].
By leveraging the PDEs' underlying variational structure, our method overcomes stability issues present in previous numerical work built on explicit time discretizations, which suffer due to the equations' strong nonlinearities and degeneracies. Our method is also naturally positivity and mass preserving and, in the case of the JKO scheme, energy decreasing. We prove that minimizers of the fully discrete problem converge to minimizers of the spatially continuous, discrete time problem as the spatial discretization is refined. We conclude with simulations of nonlinear PDEs and Wasserstein geodesics in one and two dimensions that illustrate the key properties of our approach, including higher order convergence our novel Crank-Nicolson type method, when compared to the classical JKO method.
△ Less
Submitted 6 February, 2021; v1 submitted 23 January, 2019;
originally announced January 2019.
-
Quantitative error estimates for the large friction limit of Vlasov equation with nonlocal forces
Authors:
José A. Carrillo,
Young-Pil Choi
Abstract:
We study an asymptotic limit of Vlasov type equation with nonlocal interaction forces where the friction terms are dominant. We provide a quantitative estimate of this large friction limit from the kinetic equation to a continuity type equation with a nonlocal velocity field, the so-called aggregation equation, by employing $2$-Wasserstein distance. By introducing an intermediate system, given by…
▽ More
We study an asymptotic limit of Vlasov type equation with nonlocal interaction forces where the friction terms are dominant. We provide a quantitative estimate of this large friction limit from the kinetic equation to a continuity type equation with a nonlocal velocity field, the so-called aggregation equation, by employing $2$-Wasserstein distance. By introducing an intermediate system, given by the pressureless Euler equations with nonlocal forces, we can quantify the error between the spatial densities of the kinetic equation and the pressureless Euler system by means of relative entropy type arguments combined with the $2$-Wasserstein distance. This together with the quantitative error estimate between the pressureless Euler system and the aggregation equation in $2$-Wasserstein distance in [Commun. Math. Phys, 365, (2019), 329--361] establishes the quantitative bounds on the error between the kinetic equation and the aggregation equation.
△ Less
Submitted 4 March, 2020; v1 submitted 22 January, 2019;
originally announced January 2019.