-
Convergence to equilibrium for cross diffusion systems with nonlocal interaction
Authors:
Daniel Matthes,
Christian Parsch
Abstract:
We study the existence and the rate of equilibration of weak solutions to a two-component system of non-linear diffusion-aggregation equations, with small cross diffusion effects. The aggregation term is assumed to be purely attractive, and in the absence of cross diffusion, the flow is exponentially contractive towards a compactly supported steady state. Our main result is that for small cross di…
▽ More
We study the existence and the rate of equilibration of weak solutions to a two-component system of non-linear diffusion-aggregation equations, with small cross diffusion effects. The aggregation term is assumed to be purely attractive, and in the absence of cross diffusion, the flow is exponentially contractive towards a compactly supported steady state. Our main result is that for small cross diffusion, the system still converges, at a slightly lower rate, to a deformed but still compactly supported steady state.
Our approach relies on the interpretation of the PDE system as a gradient flow in a two-component Wasserstein metric. The energy consists of a uniformly convex part responsible for self-diffusion and non-local aggregation, and a totally non-convex part that generates cross diffusion; the latter is scaled by a coupling parameter $\varepsilon>0$. The core idea of the proof is to perform an $\varepsilon$-dependent modification of the convex/non-convex splitting and establish a control on the non-convex terms by the convex ones.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Solution of the Björling problem by discrete approximation
Authors:
Ulrike Bücking,
Daniel Matthes
Abstract:
The Björling problem amounts to the construction of a minimal surface from a real-analytic curve with a given real-analytic normal vector field. We approximate that solution locally by discrete minimal surfaces as special discrete isothermic surfaces (as defined by Bobenko and Pinkall in 1996). The main step in our construction is the approximation of the sought surface's Weierstrass data by discr…
▽ More
The Björling problem amounts to the construction of a minimal surface from a real-analytic curve with a given real-analytic normal vector field. We approximate that solution locally by discrete minimal surfaces as special discrete isothermic surfaces (as defined by Bobenko and Pinkall in 1996). The main step in our construction is the approximation of the sought surface's Weierstrass data by discrete conformal maps. We prove that the approximation error is of the order of the square of the mesh size.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
A structure preserving discretization for the Derrida-Lebowitz-Speer-Spohn equation based on diffusive transport
Authors:
Daniel Matthes,
Eva-Maria Rott,
Giuseppe Savaré,
André Schlichting
Abstract:
We propose a spatial discretization of the fourth-order nonlinear DLSS equation on the circle. Our choice of discretization is motivated by a novel gradient flow formulation with respect to a metric that generalizes martingale transport. The discrete dynamics inherits this gradient flow structure, and in addition further properties, such as an alternative gradient flow formulation in the Wasserste…
▽ More
We propose a spatial discretization of the fourth-order nonlinear DLSS equation on the circle. Our choice of discretization is motivated by a novel gradient flow formulation with respect to a metric that generalizes martingale transport. The discrete dynamics inherits this gradient flow structure, and in addition further properties, such as an alternative gradient flow formulation in the Wasserstein distance, contractivity in the Hellinger distance, and monotonicity of several Lypunov functionals. Our main result is the convergence in the limit of vanishing mesh size. The proof relies an a discrete version of a nonlinear functional inequality between integral expressions involving second order derivatives.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Covariance-modulated optimal transport and gradient flows
Authors:
Martin Burger,
Matthias Erbar,
Franca Hoffmann,
Daniel Matthes,
André Schlichting
Abstract:
We study a variant of the dynamical optimal transport problem in which the energy to be minimised is modulated by the covariance matrix of the distribution. Such transport metrics arise naturally in mean-field limits of certain ensemble Kalman methods for solving inverse problems. We show that the transport problem splits into two coupled minimization problems: one for the evolution of mean and co…
▽ More
We study a variant of the dynamical optimal transport problem in which the energy to be minimised is modulated by the covariance matrix of the distribution. Such transport metrics arise naturally in mean-field limits of certain ensemble Kalman methods for solving inverse problems. We show that the transport problem splits into two coupled minimization problems: one for the evolution of mean and covariance of the interpolating curve and one for its shape. The latter consists in minimising the usual Wasserstein length under the constraint of maintaining fixed mean and covariance along the interpolation. We analyse the geometry induced by this modulated transport distance on the space of probabilities as well as the dynamics of the associated gradient flows. Those show better convergence properties in comparison to the classical Wasserstein metric in terms of exponential convergence rates independent of the Gaussian target. On the level of the gradient flows a similar splitting into the evolution of moments and shapes of the distribution can be observed.
△ Less
Submitted 15 February, 2023;
originally announced February 2023.
-
Entropic transfer operators
Authors:
Oliver Junge,
Daniel Matthes,
Bernhard Schmitzer
Abstract:
We propose a new concept for the regularization and discretization of transfer and Koopman operators in dynamical systems. Our approach is based on the entropically regularized optimal transport between two probability measures. In particular, we use optimal transport plans in order to construct a finite-dimensional approximation of some transfer or Koopman operator which can be analysed computati…
▽ More
We propose a new concept for the regularization and discretization of transfer and Koopman operators in dynamical systems. Our approach is based on the entropically regularized optimal transport between two probability measures. In particular, we use optimal transport plans in order to construct a finite-dimensional approximation of some transfer or Koopman operator which can be analysed computationally. We prove that the spectrum of the discretized operator converges to the one of the regularized original operator, give a detailed analysis of the relation between the discretized and the original peripheral spectrum for a rotation map on the $n$-torus and provide code for three numerical experiments, including one based on the raw trajectory data of a small biomolecule from which its dominant conformations are recovered.
△ Less
Submitted 13 September, 2023; v1 submitted 11 April, 2022;
originally announced April 2022.
-
Exponential convergence to equilibrium for coupled systems of nonlinear degenerate drift diffusion equations
Authors:
Lisa Beck,
Daniel Matthes,
Martina Zizza
Abstract:
We study the existence and long-time asymptotics of weak solutions to a system of two nonlinear drift-diffusion equations that has a gradient flow structure in the Wasserstein distance. The two equations are coupled through a cross-diffusion term that is scaled by a parameter $\varepsilon\ge0$. The nonlinearities and potentials are chosen such that in the decoupled system for $\varepsilon=0$, the…
▽ More
We study the existence and long-time asymptotics of weak solutions to a system of two nonlinear drift-diffusion equations that has a gradient flow structure in the Wasserstein distance. The two equations are coupled through a cross-diffusion term that is scaled by a parameter $\varepsilon\ge0$. The nonlinearities and potentials are chosen such that in the decoupled system for $\varepsilon=0$, the evolution is metrically contractive, with a global rate $Λ>0$. The coupling is a singular perturbation in the sense that for any $\varepsilon>0$, contractivity of the system is lost.
Our main result is that for all sufficiently small $\varepsilon>0$, the global attraction to a unique steady state persists, with an exponential rate $Λ_\varepsilon=Λ-K\varepsilon$. The proof combines results from the theory of metric gradient flows with further variational methods and functional inequalities.
△ Less
Submitted 10 December, 2021;
originally announced December 2021.
-
Gradient Flow Structure of a Multidimensional Nonlinear Sixth Order Quantum-Diffusion Equation
Authors:
Daniel Matthes,
Eva-Maria Rott
Abstract:
A nonlinear parabolic equation of sixth order is analyzed. The equation arises as a reduction of a model from quantum statistical mechanics, and also as the gradient flow of a second-order information functional with respect to the $L^2$-Wasserstein metric. First, we prove global existence of weak solutions for initial conditions of finite entropy by means of the time-discrete minimizing movement…
▽ More
A nonlinear parabolic equation of sixth order is analyzed. The equation arises as a reduction of a model from quantum statistical mechanics, and also as the gradient flow of a second-order information functional with respect to the $L^2$-Wasserstein metric. First, we prove global existence of weak solutions for initial conditions of finite entropy by means of the time-discrete minimizing movement scheme. Second, we calculate the linearization of the dynamics around the unique stationary solution, for which we can explicitly compute the entire spectrum. A key element in our approach is a particular relation between the entropy, the Fisher information and the second order functional that generates the gradient flow under consideration.
△ Less
Submitted 24 August, 2021;
originally announced August 2021.
-
Construction of a two-phase flow with singular energy by gradient flow methods
Authors:
Clément Cancès,
Daniel Matthes
Abstract:
We prove the existence of weak solutions to a system of two diffusion equations that are coupled by a pointwise volume constraint. The time evolution is given by gradient dynamics for a free energy functional. Our primary example is a model for the demixing of polymers, the corresponding energy is the one of Flory, Huggins and deGennes. Due to the non-locality in the equations, the dynamics consid…
▽ More
We prove the existence of weak solutions to a system of two diffusion equations that are coupled by a pointwise volume constraint. The time evolution is given by gradient dynamics for a free energy functional. Our primary example is a model for the demixing of polymers, the corresponding energy is the one of Flory, Huggins and deGennes. Due to the non-locality in the equations, the dynamics considered here is qualitatively different from the one found in the formally related Cahn-Hilliard equations.
Our angle of attack is from the theory of optimal mass transport, that is, we consider the evolution equations for the two components as two gradient flows in the Wasserstein distance with one joint energy functional that has the volume constraint built in. The main difference to our previous work arXiv:1712.06446 is the nonlinearity of the energy density in the gradient part, which becomes singular at the interface between pure and mixed phases.
△ Less
Submitted 17 March, 2020;
originally announced March 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.
-
The waiting time phenomenon in spatially discretized porous medium and thin film equations
Authors:
Julian Fischer,
Daniel Matthes
Abstract:
Various degenerate diffusion equations exhibit a waiting time phenomenon: Dependening on the "flatness" of the compactly supported initial datum at the boundary of the support, the support of the solution may not expand for a certain amount of time. We show that this phenomenon is captured by particular Lagrangian discretizations of the porous medium and the thin-film equations, and we obtain suff…
▽ More
Various degenerate diffusion equations exhibit a waiting time phenomenon: Dependening on the "flatness" of the compactly supported initial datum at the boundary of the support, the support of the solution may not expand for a certain amount of time. We show that this phenomenon is captured by particular Lagrangian discretizations of the porous medium and the thin-film equations, and we obtain suffcient criteria for the occurrence of waiting times that are consistent with the known ones for the original PDEs.
Our proof is based on estimates on the fluid velocity in Lagrangian coordinates. Combining weighted entropy estimates with an iteration technique à la Stampacchia leads to upper bounds on free boundary propagation. Numerical simulations show that the phenomenon is already clearly visible for relatively coarse discretizations.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Barycenters for the Hellinger--Kantorovich distance over $\mathbb{R}^d$
Authors:
Gero Friesecke,
Daniel Matthes,
Bernhard Schmitzer
Abstract:
We study the barycenter of the Hellinger--Kantorovich metric over non-negative measures on compact, convex subsets of $\mathbb{R}^d$. The article establishes existence, uniqueness (under suitable assumptions) and equivalence between a coupled-two-marginal and a multi-marginal formulation. We analyze the HK barycenter between Dirac measures in detail, and find that it differs substantially from the…
▽ More
We study the barycenter of the Hellinger--Kantorovich metric over non-negative measures on compact, convex subsets of $\mathbb{R}^d$. The article establishes existence, uniqueness (under suitable assumptions) and equivalence between a coupled-two-marginal and a multi-marginal formulation. We analyze the HK barycenter between Dirac measures in detail, and find that it differs substantially from the Wasserstein barycenter by exhibiting a local `clustering' behaviour, depending on the length scale of the input measures. In applications it makes sense to simultaneously consider all choices of this scale, leading to a 1-parameter family of barycenters. We demonstrate the usefulness of this family by analyzing point clouds sampled from a mixture of Gaussians and inferring the number and location of the underlying Gaussians.
△ Less
Submitted 25 January, 2021; v1 submitted 31 October, 2019;
originally announced October 2019.
-
Discretization of Flux-Limited Gradient Flows: $Γ$-convergence and numerical schemes
Authors:
Daniel Matthes,
Benjamin Söllner
Abstract:
We study a discretization in space and time for a class of nonlinear diffusion equations with flux limitation. That class contains the so-called relativistic heat equation, as well as other gradient flows of Renyi entropies with respect to transportation metrics with finite maximal velocity. Discretization in time is performed with the JKO method, thus preserving the variational structure of the g…
▽ More
We study a discretization in space and time for a class of nonlinear diffusion equations with flux limitation. That class contains the so-called relativistic heat equation, as well as other gradient flows of Renyi entropies with respect to transportation metrics with finite maximal velocity. Discretization in time is performed with the JKO method, thus preserving the variational structure of the gradient flow. This is combined with an entropic regularization of the transport distance, which allows for an efficient numerical calculation of the JKO minimizers. Solutions to the fully discrete equations are entropy dissipating, mass conserving, and respect the finite speed of propagation of support.
First, we give a proof of $Γ$-convergence of the infinite chain of JKO steps in the joint limit of infinitely refined spatial discretization and vanishing entropic regularization. The singularity of the cost function makes the construction of the recovery sequence significantly more difficult than in the $L^p$-Wasserstein case. Second, we define a practical numerical method by combining the JKO time discretization with a "light speed" solver for the spatially discrete minimization problem using Dykstra's algorithm, and demonstrate its efficiency in a series of experiments.
△ Less
Submitted 22 October, 2019;
originally announced October 2019.
-
A two-phase two-fluxes degenerate Cahn-Hilliard model as constrained Wasserstein gradient flow
Authors:
Clément Cancès,
Daniel Matthes,
Flore Nabet
Abstract:
We study a non-local version of the Cahn-Hilliard dynamics for phase separation in a two-component incompressible and immiscible mixture with linear mobilities. In difference to the celebrated local model with nonlinear mobility, it is only assumed that the divergences of the two fluxes --- but not necessarily the fluxes themselves --- annihilate each other. Our main result is a rigorous proof of…
▽ More
We study a non-local version of the Cahn-Hilliard dynamics for phase separation in a two-component incompressible and immiscible mixture with linear mobilities. In difference to the celebrated local model with nonlinear mobility, it is only assumed that the divergences of the two fluxes --- but not necessarily the fluxes themselves --- annihilate each other. Our main result is a rigorous proof of existence of weak solutions. The starting point is the formal representation of the dynamics as a constrained gradient flow in the Wasserstein metric. We then show that time-discrete approximations by means of the incremental minimizing movement scheme converge to a weak solution in the limit. Further, we compare the non-local model to the classical Cahn-Hilliard model in numerical experiments. Our results illustrate the significant speed-up in the decay of the free energy due to the higher degree of freedom for the velocity fields.
△ Less
Submitted 6 March, 2019; v1 submitted 18 December, 2017;
originally announced December 2017.
-
A Variational Formulation of the BDF2 Method for Metric Gradient Flows
Authors:
Daniel Matthes,
Simon Plazotta
Abstract:
We propose a variational form of the BDF2 method as an alternative to the commonly used minimizing movement scheme for the time-discrete approximation of gradient flows in abstract metric spaces. Assuming uniform semi-convexity --- but no smoothness --- of the augmented energy functional, we prove well-posedness of the method and convergence of the discrete approximations to a curve of steepest de…
▽ More
We propose a variational form of the BDF2 method as an alternative to the commonly used minimizing movement scheme for the time-discrete approximation of gradient flows in abstract metric spaces. Assuming uniform semi-convexity --- but no smoothness --- of the augmented energy functional, we prove well-posedness of the method and convergence of the discrete approximations to a curve of steepest descent. In a smooth Hilbertian setting, classical theory would predict a convergence order of two in time, we prove convergence order of one-half in the general metric setting and under our weak hypotheses. Further, we illustrate these results with numerical experiments for gradient flows on a compact Riemannian manifold, in a Hilbert space, and in the $L^2$-Wasserstein metric.
△ Less
Submitted 22 December, 2017; v1 submitted 8 November, 2017;
originally announced November 2017.
-
A Lagrangian scheme for the solution of nonlinear diffusion equations using moving simplex meshes
Authors:
José A. Carrillo,
Bertram Düring,
Daniel Matthes,
David S. McCormick
Abstract:
A Lagrangian numerical scheme for solving nonlinear degenerate Fokker-Planck equations in space dimensions $d\ge2$ is presented. It applies to a large class of nonlinear diffusion equations, whose dynamics are driven by internal energies and given external potentials, e.g. the porous medium equation and the fast diffusion equation. The key ingredient in our approach is the gradient flow structure…
▽ More
A Lagrangian numerical scheme for solving nonlinear degenerate Fokker-Planck equations in space dimensions $d\ge2$ is presented. It applies to a large class of nonlinear diffusion equations, whose dynamics are driven by internal energies and given external potentials, e.g. the porous medium equation and the fast diffusion equation. The key ingredient in our approach is the gradient flow structure of the dynamics. For discretization of the Lagrangian map, we use a finite subspace of linear maps in space and a variational form of the implicit Euler method in time. Thanks to that time discretisation, the fully discrete solution inherits energy estimates from the original gradient flow, and these lead to weak compactness of the trajectories in the continuous limit. Consistency is analyzed in the planar situation, $d=2$. A variety of numerical experiments for the porous medium equation indicates that the scheme is well-adapted to track the growth of the solution's support.
△ Less
Submitted 6 February, 2017;
originally announced February 2017.
-
Discrete approximation of the minimizing movement scheme for evolution equations of Wasserstein gradient flow type with nonlinear mobility
Authors:
Jonathan Zinsl,
Daniel Matthes
Abstract:
We propose a fully discrete variational scheme for nonlinear evolution equations with gradient flow structure on the space of finite Radon measures on an interval with respect to a generalized version of the Wasserstein distance with nonlinear mobility. Our scheme relies on a spatially discrete approximation of the semi-discrete (in time) minimizing movement scheme for gradient flows. Performing a…
▽ More
We propose a fully discrete variational scheme for nonlinear evolution equations with gradient flow structure on the space of finite Radon measures on an interval with respect to a generalized version of the Wasserstein distance with nonlinear mobility. Our scheme relies on a spatially discrete approximation of the semi-discrete (in time) minimizing movement scheme for gradient flows. Performing a finite-volume discretization of the continuity equation appearing in the definition of the distance, we obtain a finite-dimensional convex minimization problem usable as an iterative scheme. We prove that solutions to the spatially discrete minimization problem converge to solutions of the spatially continuous original minimizing movement scheme using the theory of $Γ$-convergence, and hence obtain convergence to a weak solution of the evolution equation in the continuous-time limit if the minimizing movement scheme converges. We illustrate our result with numerical simulations for several second- and fourth-order equations.
△ Less
Submitted 28 September, 2016; v1 submitted 22 September, 2016;
originally announced September 2016.
-
Existence of solutions for a class of fourth order cross-diffusion systems of gradient flow type
Authors:
Daniel Matthes,
Jonathan Zinsl
Abstract:
This article is concerned with the existence and the long time behavior of weak solutions to certain coupled systems of fourth-order degenerate parabolic equations of gradient flow type. The underlying metric is a Wasserstein-like transportation distance for vector-valued functions, with nonlinear mobilities in each component. Under the hypothesis of (flat) convexity of the driving free energy fun…
▽ More
This article is concerned with the existence and the long time behavior of weak solutions to certain coupled systems of fourth-order degenerate parabolic equations of gradient flow type. The underlying metric is a Wasserstein-like transportation distance for vector-valued functions, with nonlinear mobilities in each component. Under the hypothesis of (flat) convexity of the driving free energy functional, weak solutions are constructed by means of the variational minimizing movement scheme for metric gradient flows. The essential regularity estimates are derived by variational methods.
△ Less
Submitted 22 September, 2016;
originally announced September 2016.
-
Computing Coherent Sets using the Fokker-Planck Equation
Authors:
Andreas Denner,
Oliver Junge,
Daniel Matthes
Abstract:
We perform a numerical approximation of coherent sets in finite-dimensional smooth dynamical systems by computing singular vectors of the transfer operator for a stochastically perturbed flow. This operator is obtained by solution of a discretized Fokker-Planck equation. For numerical implementation, we employ spectral collocation methods and an exponential time differentiation scheme. We experime…
▽ More
We perform a numerical approximation of coherent sets in finite-dimensional smooth dynamical systems by computing singular vectors of the transfer operator for a stochastically perturbed flow. This operator is obtained by solution of a discretized Fokker-Planck equation. For numerical implementation, we employ spectral collocation methods and an exponential time differentiation scheme. We experimentally compare our approach to the more classical method by Ulam that is based on integration of the exact transfer operator.
△ Less
Submitted 14 October, 2016; v1 submitted 11 December, 2015;
originally announced December 2015.
-
A fully discrete variational scheme for solving nonlinear Fokker-Planck equations in higher space dimensions
Authors:
Oliver Junge,
Daniel Matthes,
Horst Osberger
Abstract:
We introduce a novel spatio-temporal discretization for nonlinear Fokker-Planck equations on the multi-dimensional unit cube. This discretization is based on two structural properties of these equations: the first is the representation as a gradient flow of an entropy functional in the $L^2$-Wasserstein metric, the second is the Lagrangian nature, meaning that solutions can be written as the push…
▽ More
We introduce a novel spatio-temporal discretization for nonlinear Fokker-Planck equations on the multi-dimensional unit cube. This discretization is based on two structural properties of these equations: the first is the representation as a gradient flow of an entropy functional in the $L^2$-Wasserstein metric, the second is the Lagrangian nature, meaning that solutions can be written as the push forward transformation of the initial density under suitable flow maps. The resulting numerical scheme is entropy diminishing and mass conserving. Further, the scheme is weakly stable, which allows us to prove convergence under certain regularity assumptions. Finally, we present results from numerical experiments in space dimension $d=2$.
△ Less
Submitted 8 January, 2016; v1 submitted 25 September, 2015;
originally announced September 2015.
-
Convergence of a fully discrete variational scheme for a thin-film equation
Authors:
Horst Osberger,
Daniel Matthes
Abstract:
This paper is concerned with a rigorous convergence analysis of a fully discrete Lagrangian scheme for the Hele-Shaw flow, which is the fourth order thin-film equation with linear mobility in one space dimension. The discretization is based on the equation's gradient flow structure in the $L^2$-Wasserstein metric. Apart from its Lagrangian character --- which guarantees positivity and mass conserv…
▽ More
This paper is concerned with a rigorous convergence analysis of a fully discrete Lagrangian scheme for the Hele-Shaw flow, which is the fourth order thin-film equation with linear mobility in one space dimension. The discretization is based on the equation's gradient flow structure in the $L^2$-Wasserstein metric. Apart from its Lagrangian character --- which guarantees positivity and mass conservation --- the main feature of our discretization is that it dissipates both the Dirichlet energy and the logarithmic entropy. The interplay between these two dissipations paves the way to proving convergence of the discrete approximations to a weak solution in the discrete-to-continuous limit. Thanks to the time-implicit character of the scheme, no CFL-type condition is needed. Numerical experiments illustrate the practicability of the scheme.
△ Less
Submitted 4 September, 2015;
originally announced September 2015.
-
Existence of weak solutions to a class of fourth order partial differential equations with Wasserstein gradient structure
Authors:
Daniel Loibl,
Daniel Matthes,
Jonathan Zinsl
Abstract:
We prove the global-in-time existence of nonnegative weak solutions to a class of fourth order partial differential equations on a convex bounded domain in arbitrary spatial dimensions. Our proof relies on the formal gradient flow structure of the equation with respect to the $L^2$-Wasserstein distance on the space of probability measures. We construct a weak solution by approximation via the time…
▽ More
We prove the global-in-time existence of nonnegative weak solutions to a class of fourth order partial differential equations on a convex bounded domain in arbitrary spatial dimensions. Our proof relies on the formal gradient flow structure of the equation with respect to the $L^2$-Wasserstein distance on the space of probability measures. We construct a weak solution by approximation via the time-discrete minimizing movement scheme; necessary compactness estimates are derived by entropy-dissipation methods. Our theory essentially comprises the thin film and Derrida-Lebowitz-Speer-Spohn equations.
△ Less
Submitted 20 July, 2015;
originally announced July 2015.
-
Constructing solutions to the Björling problem for isothermic surfaces by structure preserving discretization
Authors:
Ulrike Bücking,
Daniel Matthes
Abstract:
In this article, we study an analog of the Björling problem for isothermic surfaces (that are more general than minimal surfaces): given a real analytic curve $γ$ in ${\mathbb R}^3$, and two analytic non-vanishing orthogonal vector fields $v$ and $w$ along $γ$, find an isothermic surface that is tangent to $γ$ and that has $v$ and $w$ as principal directions of curvature. We prove that solutions t…
▽ More
In this article, we study an analog of the Björling problem for isothermic surfaces (that are more general than minimal surfaces): given a real analytic curve $γ$ in ${\mathbb R}^3$, and two analytic non-vanishing orthogonal vector fields $v$ and $w$ along $γ$, find an isothermic surface that is tangent to $γ$ and that has $v$ and $w$ as principal directions of curvature. We prove that solutions to that problem can be obtained by constructing a family of discrete isothermic surfaces (in the sense of Bobenko and Pinkall) from data that is sampled along $γ$, and passing to the limit of vanishing mesh size. The proof relies on a rephrasing of the Gauss-Codazzi-system as analytic Cauchy problem and an in-depth-analysis of its discretization which is induced from the geometry of discrete isothermic surfaces. The discrete-to-continuous limit is carried out for the Christoffel and the Darboux transformations as well.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
Long-time behavior of a finite volume discretization for a fourth order diffusion equation
Authors:
Jan Maas,
Daniel Matthes
Abstract:
We consider a non-standard finite-volume discretization of a strongly non-linear fourth order diffusion equation on the $d$-dimensional cube, for arbitrary $d \geq 1$. The scheme preserves two important structural properties of the equation: the first is the interpretation as a gradient flow in a mass transportation metric, and the second is an intimate relation to a linear Fokker-Planck equation.…
▽ More
We consider a non-standard finite-volume discretization of a strongly non-linear fourth order diffusion equation on the $d$-dimensional cube, for arbitrary $d \geq 1$. The scheme preserves two important structural properties of the equation: the first is the interpretation as a gradient flow in a mass transportation metric, and the second is an intimate relation to a linear Fokker-Planck equation. Thanks to these structural properties, the scheme possesses two discrete Lyapunov functionals. These functionals approximate the entropy and the Fisher information, respectively, and their dissipation rates converge to the optimal ones in the discrete-to-continuous limit. Using the dissipation, we derive estimates on the long-time asymptotics of the discrete solutions. Finally, we present results from numerical experiments which indicate that our discretization is able to capture significant features of the complex original dynamics, even with a rather coarse spatial resolution.
△ Less
Submitted 20 May, 2015; v1 submitted 12 May, 2015;
originally announced May 2015.
-
A convergent Lagrangian discretization for a nonlinear fourth order equation
Authors:
Daniel Matthes,
Horst Osberger
Abstract:
A fully discrete Lagrangian scheme for numerical solution of the nonlinear fourth order DLSS equation in one space dimension is analyzed. The discretization is based on the equation's gradient flow structure in the $L^2$-Wasserstein metric. We prove that the discrete solutions are strictly positive and mass conserving. Further, they dissipate both the Fisher information and the logarithmic entropy…
▽ More
A fully discrete Lagrangian scheme for numerical solution of the nonlinear fourth order DLSS equation in one space dimension is analyzed. The discretization is based on the equation's gradient flow structure in the $L^2$-Wasserstein metric. We prove that the discrete solutions are strictly positive and mass conserving. Further, they dissipate both the Fisher information and the logarithmic entropy. Numerical experiments illustrate the practicability of the scheme. Our main result is a proof of convergence of fully discrete to weak solutions in the limit of vanishing mesh size. Convergence is obtained for arbitrary non-negative initial data with finite entropy, without any CFL type condition. The key ingredient in the proof is a discretized version of the classical entropy dissipation estimate.
△ Less
Submitted 7 October, 2014;
originally announced October 2014.
-
Transport distances and geodesic convexity for systems of degenerate diffusion equations
Authors:
Jonathan Zinsl,
Daniel Matthes
Abstract:
We introduce Wasserstein-like dynamical transport distances between vector-valued densities on the real line. The mobility function from the scalar theory is replaced by a mobility matrix, that is subject to positivity and concavity conditions. Our primary motivation is to cast certain systems of nonlinear parabolic evolution equations into the variational framework of gradient flows. In the first…
▽ More
We introduce Wasserstein-like dynamical transport distances between vector-valued densities on the real line. The mobility function from the scalar theory is replaced by a mobility matrix, that is subject to positivity and concavity conditions. Our primary motivation is to cast certain systems of nonlinear parabolic evolution equations into the variational framework of gradient flows. In the first part of the paper, we investigate the structural properties of the new class of distances like geodesic completeness. The second part is devoted to the identification of $λ$-geodesically convex functionals and their $λ$-contractive gradient flows. One of our results is a generalized McCann condition for geodesic convexity of the internal energy. In the third part, the existence of weak solutions to a certain class of degenerate diffusion systems with drift is shown. Even if the underlying energy function is not geodesically convex w.r.t. our new distance, the construction of a weak solution is still possible using de Giorgi's minimizing movement scheme.
△ Less
Submitted 8 October, 2014; v1 submitted 23 September, 2014;
originally announced September 2014.
-
Asymptotic Behavior of Gradient Flows Driven by Nonlocal Power Repulsion and Attraction Potentials in One Dimension
Authors:
Marco Di Francesco,
Massimo Fornasier,
Jan-Christian Hütter,
Daniel Matthes
Abstract:
We study the long time behavior of the Wasserstein gradient flow for an energy functional consisting of two components: particles are attracted to a fixed profile $ω$ by means of an interaction kernel $ψ_a(z)=|z|^{q_a}$,and they repel each other by means of another kernel $ψ_r(z)=|z|^{q_r}$. We focus on the case of one space dimension and assume that $1\le q_r\le q_a\le 2$.
Our main result is th…
▽ More
We study the long time behavior of the Wasserstein gradient flow for an energy functional consisting of two components: particles are attracted to a fixed profile $ω$ by means of an interaction kernel $ψ_a(z)=|z|^{q_a}$,and they repel each other by means of another kernel $ψ_r(z)=|z|^{q_r}$. We focus on the case of one space dimension and assume that $1\le q_r\le q_a\le 2$.
Our main result is that the flow converges to an equilibrium if either $q_r<q_a$ or $1\le q_r=q_a\le4/3$,and if the solution has the same (conserved) mass as the reference state $ω$. In the cases $q_r=1$ and $q_r=2$, we are able to discuss the behavior for different masses as well, and we explicitly identify the equilibrium state, which is independent of the initial condition. Our proofs heavily use the inverse distribution function of the solution.
△ Less
Submitted 10 January, 2014;
originally announced January 2014.
-
Exponential convergence to equilibrium in a coupled gradient flow system modelling chemotaxis
Authors:
Jonathan Zinsl,
Daniel Matthes
Abstract:
We study a system of two coupled nonlinear parabolic equations. It constitutes a variant of the Keller-Segel model for chemotaxis, i.e. it models the behaviour of a population of bacteria that interact by means of a signalling substance. We assume an external confinement for the bacteria and a nonlinear dependency of the chemotactic drift on the signalling substance concentration. We perform an an…
▽ More
We study a system of two coupled nonlinear parabolic equations. It constitutes a variant of the Keller-Segel model for chemotaxis, i.e. it models the behaviour of a population of bacteria that interact by means of a signalling substance. We assume an external confinement for the bacteria and a nonlinear dependency of the chemotactic drift on the signalling substance concentration. We perform an analysis of existence and long-time behaviour of solutions based on the underlying gradient flow structure of the system. The result is that, for a wide class of initial conditions, weak solutions exist globally in time and converge exponentially fast to the unique stationary state under suitable assumptions on the convexity of the confinement and the strength of the coupling.
△ Less
Submitted 12 May, 2014; v1 submitted 15 October, 2013;
originally announced October 2013.
-
Infinite energy solutions to inelastic homogeneous Boltzmann equation
Authors:
Federico Bassetti,
Lucia Ladelli,
Daniel Matthes
Abstract:
This paper is concerned with the existence, shape and dynamical stability of infinite-energy equilibria for a general class of spatially homogeneous kinetic equations in space dimensions $d \geq 3$. Our results cover in particular Bobylëv's model for inelastic Maxwell molecules. First, we show under certain conditions on the collision kernel, that there exists an index $α\in(0,2)$ such that the eq…
▽ More
This paper is concerned with the existence, shape and dynamical stability of infinite-energy equilibria for a general class of spatially homogeneous kinetic equations in space dimensions $d \geq 3$. Our results cover in particular Bobylëv's model for inelastic Maxwell molecules. First, we show under certain conditions on the collision kernel, that there exists an index $α\in(0,2)$ such that the equation possesses a nontrivial stationary solution, which is a scale mixture of radially symmetric $α$-stable laws. We also characterize the mixing distribution as the fixed point of a smoothing transformation. Second, we prove that any transient solution that emerges from the NDA of some (not necessarily radial symmetric) $α$-stable distribution converges to an equilibrium. The key element of the convergence proof is an application of the central limit theorem to a representation of the transient solution as a weighted sum of i.i.d. random vectors.
△ Less
Submitted 27 September, 2013;
originally announced September 2013.
-
Convergence of a variational Lagrangian scheme for a nonlinear drift diffusion equation
Authors:
Daniel Matthes,
Horst Osberger
Abstract:
We study a Lagrangian numerical scheme for solution of a nonlinear drift diffusion equation on an interval. The discretization is based on the equation's gradient flow structure with respect to the Wasserstein distance. The scheme inherits various properties of the continuous flow, like entropy monotonicity, mass preservation, metric contraction and minimum/maximum principles. As the main result,…
▽ More
We study a Lagrangian numerical scheme for solution of a nonlinear drift diffusion equation on an interval. The discretization is based on the equation's gradient flow structure with respect to the Wasserstein distance. The scheme inherits various properties of the continuous flow, like entropy monotonicity, mass preservation, metric contraction and minimum/maximum principles. As the main result, we give a proof of convergence in the limit of vanishing mesh size under a CFL-type condition. We also present results from numerical experiments.
△ Less
Submitted 4 January, 2013;
originally announced January 2013.
-
Curves of steepest descent are entropy solutions for a class of degenerate convection-diffusion equations
Authors:
Marco Di Francesco,
Daniel Matthes
Abstract:
We consider a nonlinear degenerate convection-diffusion equation with inhomogeneous convection and prove that its entropy solutions in the sense of Kružkov are obtained as the - a posteriori unique - limit points of the JKO variational approximation scheme for an associated gradient flow in the $L^2$-Wasserstein space. The equation lacks the necessary convexity properties which would allow to dedu…
▽ More
We consider a nonlinear degenerate convection-diffusion equation with inhomogeneous convection and prove that its entropy solutions in the sense of Kružkov are obtained as the - a posteriori unique - limit points of the JKO variational approximation scheme for an associated gradient flow in the $L^2$-Wasserstein space. The equation lacks the necessary convexity properties which would allow to deduce well-posedness of the initial value problem by the abstract theory of metric gradient flows. Instead, we prove the entropy inequality directly by variational methods and conclude uniqueness by doubling of the variables.
△ Less
Submitted 3 August, 2012;
originally announced August 2012.
-
Cahn-Hilliard and Thin Film equations with nonlinear mobility as gradient flows in weighted-Wasserstein metrics
Authors:
Stefano Lisini,
Daniel Matthes,
Giuseppe Savaré
Abstract:
In this paper, we establish a novel approach to proving existence of non-negative weak solutions for degenerate parabolic equations of fourth order, like the Cahn-Hilliard and certain thin film equations. The considered evolution equations are in the form of a gradient flow for a perturbed Dirichlet energy with respect to a Wasserstein-like transport metric, and weak solutions are obtained as curv…
▽ More
In this paper, we establish a novel approach to proving existence of non-negative weak solutions for degenerate parabolic equations of fourth order, like the Cahn-Hilliard and certain thin film equations. The considered evolution equations are in the form of a gradient flow for a perturbed Dirichlet energy with respect to a Wasserstein-like transport metric, and weak solutions are obtained as curves of maximal slope. Our main assumption is that the mobility of the particles is a concave function of their spatial density. A qualitative difference of our approach to previous ones is that essential properties of the solution - non-negativity, conservation of the total mass and dissipation of the energy - are automatically guaranteed by the construction from minimizing movements in the energy landscape.
△ Less
Submitted 11 January, 2012;
originally announced January 2012.
-
Homogeneous kinetic equations for probabilistic linear collisions in multiple space dimensions
Authors:
Federico Bassetti,
Daniel Matthes
Abstract:
We analyze the convergence to equilibrium in a family of Kac-like kinetic equations in multiple space dimensions. These equations describe the change of the velocity distribution in a spatially homogeneous gas due to binary collisions between the particles. We consider a general linear mechanism for the exchange of the particles' momenta, with interaction coefficients that are random matrices with…
▽ More
We analyze the convergence to equilibrium in a family of Kac-like kinetic equations in multiple space dimensions. These equations describe the change of the velocity distribution in a spatially homogeneous gas due to binary collisions between the particles. We consider a general linear mechanism for the exchange of the particles' momenta, with interaction coefficients that are random matrices with a distribution that is {independent} of the velocities of the colliding particles. Applying a synthesis of probabilistic methods and Fourier analysis, we are able to identify sufficient conditions for the existence and uniqueness of a stationary state, we characterize this stationary state as a mixture of Gaussian distributions, and we prove equilibration of transient solutions under minimal hypotheses on the initial conditions. In particular, we are able to classify the high-energy tails of the stationary distribution, which might be of Pareto type. We also discuss several examples to which our theory applies, among them models with a non-symmetric stationary state.
△ Less
Submitted 12 May, 2011;
originally announced May 2011.
-
A Family of Nonlinear Fourth Order Equations of Gradient Flow Type
Authors:
Daniel Matthes,
Robert J. McCann,
Giuseppe Savar'e
Abstract:
Global existence and long-time behavior of solutions to a family of nonlinear fourth order evolution equations on $R^d$ are studied. These equations constitute gradient flows for the perturbed information functionals $F[u] = 1/(2α) \int | D (u^α) |^2 dx + λ/2 \int |x|^2 u dx$ with respect to the $L^2$-Wasserstein metric. The value of $α$ ranges from $α=1/2$, corresponding to a simplified quantum…
▽ More
Global existence and long-time behavior of solutions to a family of nonlinear fourth order evolution equations on $R^d$ are studied. These equations constitute gradient flows for the perturbed information functionals $F[u] = 1/(2α) \int | D (u^α) |^2 dx + λ/2 \int |x|^2 u dx$ with respect to the $L^2$-Wasserstein metric. The value of $α$ ranges from $α=1/2$, corresponding to a simplified quantum drift diffusion model, to $α=1$, corresponding to a thin film type equation.
△ Less
Submitted 5 January, 2009;
originally announced January 2009.
-
Central limit theorem for a class of one-dimensional kinetic equations
Authors:
Federico Bassetti,
Lucia Ladelli,
Daniel Matthes
Abstract:
We introduce a class of Boltzmann equations on the real line, which constitute extensions of the classical Kac caricature. The collisional gain operators are defined by smoothing transformations with quite general properties. By establishing a connection to the central limit problem, we are able to prove long-time convergence of the equation's solutions towards a limit distribution. If the initi…
▽ More
We introduce a class of Boltzmann equations on the real line, which constitute extensions of the classical Kac caricature. The collisional gain operators are defined by smoothing transformations with quite general properties. By establishing a connection to the central limit problem, we are able to prove long-time convergence of the equation's solutions towards a limit distribution. If the initial condition for the Boltzmann equation belongs to the domain of normal attraction of a certain stable law $g_α$, then the limit is non-trivial and is a statistical mixture of dilations of $g_α$. Under some additional assumptions, explicit exponential rates for the equilibration in Wasserstein metrics are calculated, and strong convergence of the probability densities is shown.
△ Less
Submitted 16 October, 2008; v1 submitted 9 September, 2008;
originally announced September 2008.
-
Discrete and smooth orthogonal systems: $C^\infty$-approximation
Authors:
A. I. Bobenko,
D. Matthes,
Yu. B. Suris
Abstract:
Discrete conjugate systems are quadrilateral nets with all planar faces. Discrete orthogonal systems are defined by the additional property of all faces being concircular. Their geometric properties allow one to consider them as proper discretization of conjugate, resp. orthogonal coordinate systems of classical differential geometry. We develop techniques that allow us to extend this known qual…
▽ More
Discrete conjugate systems are quadrilateral nets with all planar faces. Discrete orthogonal systems are defined by the additional property of all faces being concircular. Their geometric properties allow one to consider them as proper discretization of conjugate, resp. orthogonal coordinate systems of classical differential geometry. We develop techniques that allow us to extend this known qualitative analogy to rigorous convergence results. In particular, we prove the $C^\infty$-convergence of discrete conjugate/orthogonal coordinate systems to smooth ones. We also show how to construct the approximating discrete nets. Coordinate systems and their transformations are treated on an equal footing, and the approximation results hold for transformations as well.
△ Less
Submitted 26 March, 2003;
originally announced March 2003.
-
Nonlinear hyperbolic equations in surface theory: integrable discretizations and approximation results
Authors:
A. I. Bobenko,
D. Matthes,
Yu. B. Suris
Abstract:
A numerical scheme is developed for solution of the Goursat problem for a class of nonlinear hyperbolic systems with an arbitrary number of independent variables. Convergence results are proved for this difference scheme. These results are applied to hyperbolic systems of differential-geometric origin, like the sine-Gordon equation describing the surfaces of the constant negative Gaussian curvat…
▽ More
A numerical scheme is developed for solution of the Goursat problem for a class of nonlinear hyperbolic systems with an arbitrary number of independent variables. Convergence results are proved for this difference scheme. These results are applied to hyperbolic systems of differential-geometric origin, like the sine-Gordon equation describing the surfaces of the constant negative Gaussian curvature (K-surfaces). In particular, we prove the convergence of discrete K--surfaces and their Backlund transformations to their continuous counterparts. This puts on a firm basis the generally accepted belief (which however remained unproved untill this work) that the classical differential geometry of integrable classes of surfaces and the classical theory of transformations of such surfaces may be obtained from a unifying multi-dimensional discrete theory by a refinement of the coordinate mesh-size in some of the directions
△ Less
Submitted 6 August, 2002;
originally announced August 2002.
