Skip to main content
Springer logoLink to Springer
. 2023 Apr 28;62(5):143. doi: 10.1007/s00526-023-02472-z

Homogenisation of dynamical optimal transport on periodic graphs

Peter Gladbach 1, Eva Kopfer 1, Jan Maas 2,, Lorenzo Portinale 1
PMCID: PMC10147821  PMID: 37131846

Abstract

This paper deals with the large-scale behaviour of dynamical optimal transport on Zd-periodic graphs with general lower semicontinuous and convex energy densities. Our main contribution is a homogenisation result that describes the effective behaviour of the discrete problems in terms of a continuous optimal transport problem. The effective energy density can be explicitly expressed in terms of a cell formula, which is a finite-dimensional convex programming problem that depends non-trivially on the local geometry of the discrete graph and the discrete energy density. Our homogenisation result is derived from a Γ-convergence result for action functionals on curves of measures, which we prove under very mild growth conditions on the energy density. We investigate the cell formula in several cases of interest, including finite-volume discretisations of the Wasserstein distance, where non-trivial limiting behaviour occurs.

Mathematics Subject Classification: Primary: 49Q22 Secondary: 49M25, 49J45, 65K10, 74Q10

Introduction

In the past decades there has been intense research activity in the field of optimal transport, both in pure mathematics and in applied areas [35, 39, 41, 42]. In continuous settings, a central result in the field is the Benamou–Brenier formula [6], which establishes the equivalence of static and dynamical optimal transport. It asserts that the classical Monge–Kantorovich problem, in which a cost functional is minimised over couplings of given probability measures μ0 and μ1, is equivalent to a dynamical transport problem, in which an energy functional is minimised over all solutions to the continuity equation connecting μ0 and μ1.

In discrete settings, the equivalence between static and dynamical optimal transport breaks down, and it turns out that the dynamical formulation [11, 30, 32] is essential in applications to evolution equations, discrete Ricci curvature, and functional inequalities [1520, 33]. Therefore, it is an important problem to analyse the discrete-to-continuum limit of dynamical optimal transport in various setting.

This limit passage turns out to be highly nontrivial. In fact, seemingly natural discretisations of the Benamou–Brenier formula do not necessarily converge to the expected limit, even in one-dimensional settings [25]. The main result in [26] asserts that, for a sequence of meshes on a bounded convex domain in Rd, an isotropy condition on the meshes is required to obtain the convergence of the discrete dynamical transport distances to W2. This is in sharp contrast to the scaling behaviour of the corresponding gradient flow dynamics, for which no additional symmetry on the meshes is required to ensure the convergence of discretised evolution equations to the expected continuous limit [12, 21].

The goal of this paper is to investigate the large-scale behaviour of dynamical optimal transport on graphs with a Zd-periodic structure. Our main contribution is a homogenisation result that describes the effective behaviour of the discrete problems in terms of a continuous optimal transport problem, in which the effective energy density depends non-trivially on the geometry of the discrete graph and the discrete transport costs.

Main results

We give here an informal presentation of the main results of this paper, ignoring several technicalities for the sake of readability. Precise formulations and a more general setting can be found from Sect. 2 onwards.

Dynamical optimal transport in the continuous setting

For 1p<, let Wp be the Wasserstein–Kantorovich–Rubinstein distance between probability measures on a metric space (X,d): for μ0,μ1P(X),

Wp(μ0,μ1):=infγΓ(μ0,μ1){X×Xd(x,y)pdγ(x,y)}1/p,

where Γ(μ0,μ1) denotes the set of couplings of μ0 and μ1, i.e., all measures γP(X×X) with marginals μ0 and μ1. On the torus Td (or more generally, on Riemannian manifolds), the Benamou–Brenier formula [3, 6] provides an equivalent dynamical formulation for p>1, namely

Wp(μ0,μ1)=inf(ρ,j){01Td|jt(x)|pρtp-1(x)dxdt}1/p, 1.1

where the infimum runs over all solutions (ρ,j) to the continuity equation tρ+·j=0 with boundary conditions ρ0(x)dx=μ0(dx) and ρ1(x)dx=μ1(dx).

In this paper we consider general lower semicontinuous and convex energy densities f:R+×RdR{+} under suitable (super-)linear growth conditions. (The Benamou–Brenier formula above corresponds to the special case f(ρ,j)=|j|pρp-1). For sufficiently regular curves of measures μ:(0,1)M+(Td), we consider the continuous action

A(μ):=infν{01Tdf(dμtdLd,dνtdLd)dxdt:(μ,ν)CE}. 1.2

Here, the infimum runs over all time-dependent vector-valued measures ν:(0,1)Md(Td) satisfying the continuity equation (CE) tμt+·νt=0 in the sense of distributions.

Dynamical optimal transport in the discrete setting

A natural discrete counterpart to (1.2) can be defined on finite (undirected) graphs (X,E). For each edge (x,y)E we fix a lower semicontinuous and convex energy density1Fxy:R+×R+×RR+. For sufficiently regular curves m:(0,1)M+(X) we then consider the discrete action

A(m):=infJ{01(x,y)EFxy(mt(x),mt(y),Jt(x,y))dt:(m,J)CE}. 1.3

Here, the infimum runs over all time-dependent “discrete vector fields”, i.e., all anti-symmetric functions J:(0,1)RE satisfying the discrete continuity equation (CE) tmt(x)+divJt(x)=0 for all xX, where divJt(x):=y:(x,y)EJt(x,y) denotes the discrete divergence. Variational problems of the form (1.3) arise naturally in the formulation of jump processes as generalised gradient flows [37].

Dynamical optimal transport on Zd-periodic graphs

In this work we fix a Zd-periodic graph (X,E) embedded in Rd, as in Fig. 1. For sufficiently small ε>0 with 1/εN, we then consider the finite graph (Xε,Eε) obtained by scaling (X,E) by a factor ε, and wrapping the resulting graph around the torus, so that the resulting graph is embedded in Td. We are interested in the behaviour of the rescaled discrete action, defined for curves m:(0,1)M+(Xε) by

Aε(m):=infJ{01(x,y)EεεdFxy(mt(x)εd,mt(y)εd,Jt(x,y)εd-1)dt:(m,J)CEε}. 1.4

As above, the infimum runs over all time-dependent “discrete vector fields” J:(0,1)REε satisfying the discrete continuity equation (CEε) on the rescaled graph (Xε,Eε).

Fig. 1.

Fig. 1

A fragment of a Zd-periodic graph (X,E). The unit cube Q:=[0,1)dRd is shown in red. In blue and in orange, respectively, XQ and EQ (color figure online)

Convergence of the action

One of our main results (Theorem 5.1) asserts that, as ε0, the action functionals Aε converge to a limiting functional A=Ahom of the form (1.2), with an effective energy density f=fhom which depends non-trivially on the geometry of the graph (X,E) and the discrete energy densities Fxy. We only require a very mild linear growth condition on the energy densities Fxy:

As ε0, the functionals Aε Γ-converge to Ahom in the weak (and vague) topology of M+((0,1)×Td).

The precise formulation of this result involves an extension of Ahom to measures on (0,1)×Td; see Sect. 3 below.

Let us now explain the form of the effective energy density fhom, which is given by a cell formula. For given ρ0 and jRd, fhom(ρ,j) is obtained by minimising the discrete energy per unit cube among all periodic mass distributions m:XR+ representing ρ, and all periodic divergence-free discrete vector fields J:ER representing j in the following sense. Set XQ:=X[0,1)d and EQ:={(x,y)E:xXQ}. Then fhom:R+×RdR+ is given by

fhom(ρ,j):=infm,J{(x,y)EQFxy(m(x),m(y),J(x,y)):(m,J)Rep(ρ,j)}, 1.5

where the set of representatives Rep(ρ,j) consists of all Zd-periodic functions m:XR+ and all Zd-periodic discrete vector fields satisfying

xXQm(x)=ρ,divJ=0,andEff(J):=12(x,y)EQJ(x,y)(y-x)=j. 1.6

Boundary value problems

Our second main result deals with the corresponding boundary value problems, which arise by minimising the action functional among all curves with given boundary conditions, as in the Benamou–Brenier formula (1.1). We define

MAε(m0,m1):=infm{Aε(m):m0=m0,m1=m1}form0,m1P(Xε),MAhom(μ0,μ1):=infμ{Ahom(μ):μ0=μ0,μ1=μ1}forμ0,μ1P(Td).

We then obtain the following result (Theorem 5.10):

As ε0, the minimal actions MAε Γ-converge to MAhom

in the weak topology of M+(Td)×M+(Td).

This result is proved under a superlinear growth condition on the discrete energy densities, which holds for discretisations of the Wasserstein distance Wp for p>1.

A special case of interest is the case where MAε is a Riemannian transport distance associated to a gradient flow structure for Markov chains as in [30, 32]. In this situation, we show that the discrete transport distances converge to a 2-Wasserstein distance on the torus (Corollary 5.3). Interestingly, the underlying distance is induced by a Finsler metric, which is not necessarily Riemannian.

We also investigate transport distances with nonlinear mobility [13, 29] and their finite-volume discretisations on the torus Td. In the spirit of [26], we give a geometric characterisation of finite-volume meshes for which the discretised transport distances converge to the expected limit.

Compactness

The results for boundary value problems are obtained by combining our first main result with a compactness result for sequence of measures with bounded action, which is of independent interest. We obtain two results of this type.

In the first compactness result (Theorem 5.4) we assume at least linear growth of the discrete energies Fxy at infinity. Under this condition we prove compactness in the space BVKR((0,1);M+(Td)), which consists of curves of bounded variation, with respect to the Kantorovich–Rubinstein (KR) norm on the space of measures. The convergence holds for almost every t(0,1).

In the second compactness result (Theorem 5.9), which is used in the analysis of the boundary value problems, we assume a stronger condition of at least superlinear growth on the energy densities Fxy. We then obtain compactness in the space WKR1,1((0,1);M+(Td)), which consists of absolutely continuous curves with respect to the KR-norm. The convergence is uniform for t(0,1). We refer to the “Appendix” for precise definitions of these spaces.

Related works

For a classical reference to the study of flows on networks, we refer to Ford and Fulkerson [22].

Many works are devoted to discretisations of continuous energy functionals in the framework of Sobolev and BV spaces, e.g., [1, 4, 5, 36]. Cell formulas appear in various discrete and continuous variational homogenisation problems; see, e.g., [4, 7, 9, 27, 31].

The large scale behaviour of optimal transport on random point clouds has been studied by Garcia–Trillos, who proved convergence to the Wasserstein distance [23].

Organisation of the paper

Sects. 2 and 3 contain the necessary definitions as well as the assumptions we use throughout the article in the discrete and continuous settings. Section 4 deals with the definition of the homogenised action functional. In Sect. 5 we present the rigorous statements of our main results, including the Γ-convergence of the discrete energies to the effective homogenised limit and the compactness theorems for curves of bounded discrete energies. The proof of our main results can be found in Sect. 6 (compactness and convergence of the boundary value problems) and Sects. 7 and 8 (Γ-convergence of Aε). Finally, in Sect. 9, we discuss several examples and apply our results to some common finite-volume and finite-difference discretisations.

Sketch of the proof of Theorem 5.1

In the last part of this section, we sketch the proof of our main result on the convergence of Aε to the homogenised limit (Theorem 5.1). Crucial tools to show both the lower bound and the upper bound in Theorem 5.1 are regularisation procedures for solutions to the continuity equation, both at the discrete and at the continuous level.

In this section, we use the informal notation and to mean that the corresponding inequality holds up to a small error in ε>0, e.g., AεBε means that AεBε+oε(1) where oε(1)0 as ε0.

For ε>0 and zZd (or more generally, for zRd), we set Qεz:=εz+[0,ε)dTd. For xXεTd, we denote by xz the unique element of Zεd satisfying xQεxz. Note that {Qεz:zZεd} defines a partition of Td.

To compare discrete and continuous objects, we consider embeddings of probability measures mP(Xε) and anti-symmetric functions J:EεR defined by

ιεm:=ε-dxXεm(x)Ld|QεxzP(Td),ιεJ:=ε-d+1(x,y)EεJ(x,y)2(01Ld|Qε(1-s)xz+syzds)(yz-xz)Md(Td).

These embeddings preserve the continuity equation in the following sense: if (m,J)CEε, then (ιεm,ιεJ)CE.

We also use the notation Fε(m,J):=(x,y)EεεdFxy(m(x)εd,m(y)εd,J(x,y)εd-1).

Sketch of the liminf inequality. For ε>0 with 1εN, consider the curve (mtε)t(0,1)M+(Xε) and let mεM+((0,1)×Xε) be the corresponding measure on space-time defined by mε(dx,dt)=mtε(dx)dt. Suppose that ιεmεμ vaguely in M+((0,1)×Td) as ε0. The goal is to show the liminf inequality

lim infε0Aε(mε)Ahom(μ). 1.7

Without loss of generality we assume that Aε(mε)=Aε(mε,Jε)C< for every ε>0, for some sequence of vector fields Jε such that (mε,Jε)CEε. As we will see in (4.11), the embedded solutions to the continuity equation (ιεmε,ιεJε)CE define curves of measures with densities with respect to Ld on Td of the form

ρt(u)=ε-dxXεxz=z¯mtε(x)andjt(u)=12εd-1(x,y)Eεxz=z¯Jt,uε(x,y)(yz-xz)

for every uQεz¯Td. Here, Jt,uεREε is a convex combination of the functions {Jtε(·-εz):zZεd,|z|R0+1}.

As we will estimate the discrete energies at any time t(0,1), for simplicity we drop the time dependence and write ρ=ρt, j=jt, mε=mtε, Jε=Jtε, Juε=Jt,uε. A crucial step is to construct, for every uQεz¯, a representative

(m^uεd,J^uεd-1)Rep(ρ(u),j(u)) 1.8

which is approximately equal to the values of (mε,Jε) close to X{xz=z¯}. The lower bound (1.7) would then follow by time-integration of the static estimate

Fε(mε,Jε)z¯Zεd(x,y)EQεdFxy(m^εz¯(x)εd,m^εz¯(y)εd,J^εz¯(x,y)εd-1)Tdfhom(ρ(u),j(u))du=Fhom(ιεmε,ιεJε), 1.9

together with the lower semicontinuity of Ahom. In the last inequality we used the definition of the homogenised density fhom(ρ(u),j(u)), which corresponds to the minimal microscopic cost with total mass ρ(u) and flux j(u).

To find the sought representatives in (1.8), it may seem natural to define m^uR+X and J~uRaE by taking the values of m and Ju in the ε-cube at z¯, and insert these values at every cube in (X,E), so that the result is Zd-periodic. Precisely:

m^u(x):=m(εx¯),J~u(x,y):=Ju(εx¯,ε(y-xz+z¯)),for(x,y)E,

where x¯:=x-xz+z¯. This would ensure that ε-dm^uRep(ρ(u)). Unfortunately, this construction produces a vector field ε-(d-1)J~u which does not in general belong to Rep(j(u)): indeed, while J~u has the desired effective flux (i.e., Eff(ε-(d-1)J~u)=j(u), as given in (1.6)), it is not in general divergence-free.

To deal with this complication, we introduce a corrector field J¯u associated to J~u, i.e., an anti-symmetric and Zd-periodic function J¯u:ER satisfying

divJ¯u=-divJ~u,Eff(J¯u)=0,andJ¯u(EQ)12divJ~u1(XQ), 1.10

whose existence we prove in Lemma 7.3.

It is clear that if we set J^u:=J~u+J¯u by construction we have divJ^u=0 and Eff(ε-(d-1)J^u)=j(u), thus

J^uεd-1:=J~u+J¯uεd-1Rep(ju).

To carry out this program and prove a lower bound of the form (1.9), we need to quantify the error we perform passing from (mε,Jε) to {(m^u,J^u):uTd}. It is evident by construction and from (1.10) that spatial and time regularity of (mε,Jε) are crucial to this purpose. For example, an -bound on the time derivative of the form tmtεCεd (or, in other words, a Lipschitz bound in time for ρt) together with (mε,Jε)CEε would imply a control on divJ and thus a control of the error in (1.10) of the form ε1-dJ¯uCε.

This is why the key first step in our proof is a regularisation procedure at the discrete level: for any given sequence of curves {(mε,Jε)CEε:ε>0} of (uniformly) bounded action Aε, we can exihibit another sequence {(m~ε,J~ε)CEε:ε>0}, quantitatively close as measures and in action Aε to the first one, which enjoy good Lipschitz and l properties and for which the above explained program can be carried out.

This result is the content of Proposition 7.1 and it is based on a three-fold regularisation, that is in energy, in time, and in space (see Sect. 7.1).

Sketch of the limsup inequality. Fix (μ,ν)CE. The goal is to find mεM+((0,1)×Xε) such that ιεmεμ weakly in M+((0,1)×Td) and

lim supε0Aε(mε)Ahom(μ,ν). 1.11

As in the the proof of the liminf inequality, the first step is a regularisation procedure, this time at the continuous level (Proposition 8.26). Thanks to this approximation result, we can assume without loss of generality that

Ahom(μ,ν)<and{(ρt(x),jt(x)):(t,x)(0,1)×Td}D(fhom), 1.12

where (ρt,jt)t are the smooth densities of (μ,ν)CE with respect to Ld+1 on (0,1)×Td, and D(fhom) denotes the interior of the domain of fhom (see “Appendix 1”). The convexity of fhom ensures its Lipschitz-continuity on every compact set KD(fhom), hence the assumption (1.12) allows us to assume such regularity for the rest of the proof.

We split the proof of the upper bound into several steps. In short, we first discretise the continuous measures (μ,ν) and identify an optimal discrete microstructure, i.e., minimisers of the cell problem described by fhom, on each ε-cube Qεz, zZεd. A key difficulty at this stage is that the optimal selection does not preserve the continuity equation, hence an additional correction is needed. For this purpose, we first apply the discrete regularisation result Proposition 7.1 to obtain regular discrete curves and then find suitable small correctors that provide discrete competitors for Aε, i.e., solutions to CEε which are close to the optimal selection.

Let us explain these steps in more detail.

Step 1: For every zZεd, t(0,1), and each cube Qεz we consider the natural discretisation of (μ,ν), that we denote by (Pεμt(z),Pενt(z))t,zR+×Rd, given by

Pεμt(z):=μt(Qεz),Pενt(z):=QεzQεz+eijt·eidHd-1i=1d.

An important feature of this construction is that the continuity equation is preserved from Td to Zεd, in the sense that

tPεμt(z)+i=1d(Pενt(z)-Pενt(z-ei))·ei=0

for t(0,1) and zZεd.

Step 2: We build the associated optimal discrete microstructure for the cell problem for each cube Qεz, meaning we select (m,J)=(mtz,Jtz)t(0,1),zZεd such that

(mtzεd,Jtzεd-1)Repo(Pεμt(z)εd,Pενt(z)εd-1),

where Repo denotes the set of optimal representatives in the definition of the cell-formula (1.5). Using the smoothness of μ and ν, one can in particular show that

zZεd(x,y)EQεdFxymtz(x)εd,mtz(y)εd,Jtz(x,y)εd-1Fhom(μt,νt). 1.13

Step 3: The next step is to glue together the microstructures (m,J) defined for every zZεd via a gluing operator Gε (Definition 8.4) to produce a global microstructure (m^ε,J^ε)M+((0,1)×Xε)×M((0,1)×Eε). As the gluing operators are mass preserving and mtzRep(Pεμt(z)), it is not hard to see that ιεm^εμ weakly in M+((0,1)×Td) as ε0.

Step 4: In contrast to Pε, the latter operation produces curves (m^ε,J^ε) which do not in general solve the discrete continuity equation CEε. Therefore, we seek to find suitable corrector vector fields in order to obtain a discrete solution, and thus a candidate for Aε(m^ε). For this purpose we regularise (m^ε,J^ε) using Proposition 7.1 below. This yields a regular curve which is close in the sense of measures and in energy to the original one. Note that no discrete regularity is guaranteed for (m^ε,J^ε), despite the smoothness assumption on (μ,ν), due to possible singularities of Fxy.

For the sake of the exposition, we shall discuss the last steps of the proof assuming that (m^ε,J^ε) already enjoy the Lipschitz and –regularity properties ensured by Proposition 7.1.

Step 5: For sufficiently regular (m^ε,J^ε), we seek a discrete competitor for Aε(m^ε) which is close to (m^ε,J^ε). As the latter does not necessary belong to CEε, we find suitable correctors Vε such that the corrected curves (m^ε,J^ε+Vε) belong to CEε, with Vε small in the sense that it satisfies the bound

supt(0,1)ε1-dVtε(Eε)Cε. 1.14

The proof of existence of the corrector Vε, together with the quantitative bound relies on a localisation argument (Lemma 8.22) and a study of the divergence equation on periodic graphs (Lemma 8.16), performed at the level of each cube Qεz, for every zZεd. The regularity of (m^ε,J^ε) is crucial in order to obtain the estimate (1.14).

Step 6: The final step consists of estimating the action of the measures defined by mε:=m^εμ weakly as ε0, and the vector fields Jε:=J^ε+Vε.

Using the regularity assumption on (m^ε,J^ε), the smoothness (1.12) of (μ,ν), and the convexity of fhom, together with the bounds (1.13) and (1.14) for the corrector, we obtain

Fε(mtε,Jtε)Fε(m^tε,J^tε)zZεd(x,y)EQεdFxymtz(x)εd,mtz(y)εd,Jtz(x,y)εd-1Fhom(μt,νt).

Using this bound and the fact that (mε,Jε)CEε, an integration in time yields

lim supε0Aε(mε)lim supε0Aε(mε,Jε)Ahom(μ,ν),

which is the sought upper bound (1.11).

Discrete dynamical optimal transport on Zd-periodic graphs

This section contains the definition of the optimal transport problem in the discrete periodic setting. In Sect. 2.1 we introduce the basic objects: a Zd-periodic graph (X,E) and an admissible cost function F. Given a triple (X,E,F), we introduce a family of discrete transport actions on rescaled graphs (Xε,Eε) in Sect. 2.2.

Discrete Zd-periodic setting

Our setup consists of the following data:

Assumption 2.1

(X,E) is a locally finite and Zd-periodic connected graph of bounded degree.

More precisely, we assume that

X=Zd×V,

where V is a finite set. The coordinates of x=(z,v)X will be denoted by

xz:=z,xv:=v.

The set of edges EX×X is symmetric and Zd-periodic, in the sense that

(x,y)Eiff(Sz(x),Sz(y))Efor allzZd.

Here, Sz¯:XX is the shift operator defined by

Sz¯(x)=(z¯+z,v)forx=(z,v)X.

We write xy whenever (x,y)E.

Let R0:=max(x,y)E|xz-yz|d be the maximal edge length, measured with respect to the supremum norm |·|d on Rd. It will be convenient to use the notation

XQ:={xX:xz=0}andEQ:={(x,y)E:xz=0}.

Remark 2.2

(Abstract vs. embedded graphs) Rather than working with abstract Zd-periodic graphs, it is possible to regard X as a Zd-periodic subset of Rd, by choosing V to be a subset of [0,1)d and using the identification (z,v)z+v, see Fig. 2. Since the embedding plays no role in the formulation of the discrete problem, we work with the abstract setup. Note that edges between nodes that are not in adjacent cells are also allowed.

Fig. 2.

Fig. 2

A fragment of a Zd-periodic graph (X,E). The blue nodes represent XQ and the orange edges represent EQ (color figure online)

Assumption 2.3

(Admissible cost function) The function F:R+X×RaER{+} is assumed to have the following properties:

  1. F is convex and lower semicontinuous.

  2. F is local in the sense that there exists R1< such that F(m,J)=F(m,J) whenever m,mR+X and J,JRaE agree within a ball of radius R1, i.e.,
    m(x)=m(x)for allxXwith|xz|dR1,andJ(x,y)=J(x,y)for all(x,y)Ewith|xz|d,|yz|dR1.
  3. F is of at least linear growth, i.e., there exist c>0 and C< such that
    F(m,J)c(x,y)EQ|J(x,y)|-C(1+xX|x|dRm(x)) 2.1
    for any mR+X and JRaE. Here, R:=max{R0,R1}.
  4. There exist a Zd-periodic function mR+X and a Zd-periodic and divergence-free vector field JRaE such that
    (m,J)D(F). 2.2

Remark 2.4

As F is local, it depends on finitely many parameters. Therefore, D(F), the topological interior of the domain D(F) of F is defined unambiguously.

Remark 2.5

In many examples, the function F takes one of the following forms, for suitable functions Fx and Fxy:

F(m,J)=xXQFx(m(x),(J(x,y))yx),F(m,J)=12(x,y)EQFxy(m(x),m(y),J(x,y)).

We then say that F is vertex-based (respectively, edge-based).

Remark 2.6

Of particular interest are edge-based functions of the form

F(m,J)=12(x,y)EQ|J(x,y)|pΛ(qxym(x),qyxm(y))p-1, 2.3

where 1p<, the constants qxy,qyx>0 are fixed parameters defined for (x,y)EQ, and Λ is a suitable mean (i.e., Λ:R+×R+R+ is a jointly concave and 1-homogeneous function satisfying Λ(1,1)=1). Functions of this type arise naturally in discretisations of Wasserstein gradient-flow structures [11, 30, 32].

We claim that these cost functions satisfy the growth condition (2.1). Indeed, using Young’s inequality |J|1p|J|pΛp-1+p-1pΛ we infer that

(x,y)EQ|J(x,y)|1p(x,y)EQ|J(x,y)|pΛ(qxym(x),qyxm(y))p-1+p-1p(x,y)EQΛ(qxym(x),qyxm(y))2pF(m,J)+CxX,|x|dR0m(x),

with constant C>0 depending on maxx,y(qxy+qyx). This shows that (2.1) is satisfied.

Rescaled setting

Let (X,E) be a locally finite and Zd-periodic graph as above. Fix ε>0 such that 1εN. The assumption that 1εN remains in force throughout the paper.

The rescaled graph. Let Tεd=(εZ/Z)d be the discrete torus of mesh size ε. The corresponding equivalence classes are denoted by [εz] for zZd. To improve readability, we occasionally omit the brackets. Alternatively, we may write Tεd=εZεd where Zεd=(Z/1εZ)d.

The rescaled graph (Xε,Eε) is constructed by rescaling the Zd-periodic graph (X,E) and wrapping it around the torus. More formally, we consider the finite sets

Xε:=Tεd×VandEε:={(Tε0(x),Tε0(y)):(x,y)E}

where, for z¯Zεd,

Tεz¯:XXε,(z,v)([ε(z¯+z)],v). 2.4

Throughout the paper we always assume that εR0<12, to avoid that edges in E “bite themselves in the tail” when wrapped around the torus. For x=([εz],v)Xε we will write

xz:=zZεd,xv:=vV.

The rescaled energies. Let F:R+X×RaER{+} be a cost function satisfying Assumption 2.3. For ε>0 satisfying the conditions above, we shall define a corresponding energy functional Fε in the rescaled periodic setting.

First we introduce some notation, which we use to transfer functions defined on Xε to X (and from Eε to E). Let z¯Zεd. Each function ψ:XεR induces a 1εZd-periodic function

τεz¯ψ:XR,(τεz¯ψ)(x):=ψ(Tεz¯(x))forxX.

see Fig. 3. Similarly, each function J:EεR induces a 1εZd-periodic function

τεz¯J:ER,(τεz¯J)(x,y):=J(Tεz¯(x),Tεz¯(y))for(x,y)E.

Fig. 3.

Fig. 3

On the left, the values of a function ψ:XεR correspond to different colors over the nodes. On the right, the corresponding values of τεzψ:XR (color figure online)

Definition 2.7

(Discrete energy functional) The rescaled energy is defined by

Fε:R+Xε×RaEεR{+},(m,J)zZεdεdF(τεzmεd,τεzJεd-1).

Remark 2.8

We note that Fε(m,J) is well-defined as an element in R{+}. Indeed, the (at least) linear growth condition (2.1) yields

Fε(m,J)=zZεdεdF(τεzmεd,τεzJεd-1)-CzZεdεd(1+xX|x|dRτεzm(x)εd)-C(1+(2R+1)dxXεm(x))>-.

For z¯Zεd it will be useful to consider the shift operator Sεz¯:XεXε and Sεz¯:EεEε defined by

Sεz¯(x)=([ε(z¯+z)],v)forx=([εz],v)Xε,Sεz¯(x,y)=(Sεz¯(x),Sεz¯(y))for(x,y)Eε.

Moreover, for ψ:XεR and J:EεR we define

σεz¯ψ:XεR,(σεz¯ψ)(x):=ψ(Sεz¯(x))forxXε,σεz¯J:EεR,(σεz¯J)(x,y):=J(Sεz¯(x,y))for(x,y)Eε. 2.5

Definition 2.9

(Discrete continuity equation) A pair (m,J) is said to be a solution to the discrete continuity equation if m:IR+Xε is continuous, J:IRaEε is Borel measurable, and

tmt(x)+yxJt(x,y)=0 2.6

for all xXε in the sense of distributions. We use the notation

(m,J)CEεI.

Remark 2.10

We may write (2.6) as tmt+divJt=0 using the notation (B.15).

Lemma 2.11

(Mass preservation) Let (m,J)CEεI. Then we have ms(Xε)=mt(Xε) for all s,tI.

Proof

Without loss of generality, suppose that s,tI with s<t. Approximating the characteristic function χ[s,t] by smooth test functions, we obtain, for all xXε,

mt(x)-ms(x)=styxJr(x,y)dr.

Summing the above over xXε and using the anti-symmetry of J, the result follows.

We are now ready to define one of the main objects in this paper.

Definition 2.12

(Discrete action functional) For any continuous function m:IR+Xε such that txXεmt(x)L1(I) and any Borel measurable function J:IRaEε, we define

AεI(m,J):=IFε(mt,Jt)dtR{+}.

Furthermore, we set

AεI(m):=infJ{AεI(m,J):(m,J)CEεI}.

Remark 2.13

We claim that AεI(m,J) is well-defined as an element in R{+}. Indeed, the (at least) linear growth condition (2.1) yields as in Remark 2.8

Fε(mt,Jt)-C(1+(2R+1)dxXεmt(x)).

for any tI. Since txXεmt(x)L1(I), the claim follows.

In particular, AεI(m,J) is well-defined whenever (m,J)CEεI, since txXεmt(x) is constant by Lemma 2.11.

Remark 2.14

If the time interval is clear from the context, we often simply write CEε and Aε.

The aim of this work is to study the asymptotic behaviour of the energies AεI as ε0.

Dynamical optimal transport in the continuous setting

We shall now define a corresponding class of dynamical optimal transport problems on the continuous torus Td. We start in Sect. 3.1 by defining the natural continuous analogues of the discrete objects from Sect. 2. In Sect. 3.2 we define generalisations of these objects that have better compactness properties.

Continuous continuity equation and action functional

First we define solutions to the continuity equation on a bounded open time interval I.

Definition 3.1

(Continuity equation) A pair (μ,ν) is said to be a solution to the continuity equation tμ+·ν=0 if the following conditions holds:

  • (i)

    μ:IM+(Td) is vaguely continuous;

  • (ii)

    ν:IMd(Td) is a Borel family satisfying I|νt|(Td)dt<;

  • (iii)
    The equation
    tμt(x)+·νt(x)=0 3.1
    holds in the sense of distributions, i.e., for all φCc1(I×Td),
    ITdtφt(x)dμt(x)dt+ITdφt(x)·dνt(x)dt=0.

We use the notation

(μ,ν)CEI.

We will consider the energy densities f with the following properties.

Assumption 3.2

Let f:R+×RdR{+} be a lower semicontinuous and convex function, whose domain has nonempty interior. We assume that there exist constants c>0 and C< such that the (at least) linear growth condition

f(ρ,j)c|j|-C(ρ+1) 3.2

holds for all ρR+ and jRd.

The corresponding recession function f:R+×RdR{+} is defined by

f(ρ,j):=limt+f(ρ0+tρ,j0+tj)t,

where (ρ0,j0)D(f) is arbitrary. It is well known that the function f is lower semicontinuous and convex, and it satisfies

f(ρ,j)c|j|-Cρ. 3.3

We refer to [2, Section 2.6] for a proof of these facts.

Let Ld denote the Lebesgue measure on Td. For μM+(Td) and νMd(Td) we consider the Lebesgue decompositions given by

μ=ρLd+μ,ν=jLd+ν

for some ρL+1(Td) and jL1(Td;Rd). It is always possible to introduce a measure σM+(Td) such that

μ=ρσ,ν=jσ,

for some ρL+1(σ) and jL1(σ;Rd). (Take, for instance, σ=μ+|ν|.) Using this notation we define the continuous energy as follows.

Definition 3.3

(Continuous energy functional) Let f:R+×RdR{+} satisfy Assumption 3.2. We define the continuous energy functional by

F:M+(Td)×Md(Td)R{+},F(μ,ν):=Tdf(ρ(x),j(x))dx+Tdf(ρ(x),j(x))dσ(x).

Remark 3.4

By 1-homogeneity of f, this definition does not depend on the choice of the measure σM+(Td).

Definition 3.5

(Action functional) For any curve μ:IM+(Td) with Iμt(Td)dt< and any Borel measurable curve ν:IMd(Td) we define

AI(μ,ν):=IF(μt,νt)dt.

Furthermore, we set

AI(μ):=infν{AI(μ,ν):(μ,ν)CEI}.

Remark 3.6

As f(ρ,j)-C(1+ρ) by (3.2), the assumption Iμt(Td)dt< ensures that AI(μ,ν) is well-defined in R{+}.

Remark 3.7

(Dependence on time intervals) Remark 2.14 applies in the continuous setting as well. If the time interval is clear from the context, we often simply write CE and A.

Under additional assumptions on the function f, it is possible to prove compactness for families of solutions to the continuity equation with bounded action; see [13, Corollary 4.10]. However, in our general setting, such a compactness result fails to hold, as the following example shows.

Example 3.8

(Lack of compactness) To see this, let yε(t) be the position of a particle of mass m that moves from 0 to y¯[0,12]d in the time interval (aε,bε):=(1-ε2,1+ε2) with constant speed |y¯|ε. At all other times in the time interval I=(0,1) the particle is at rest:

yε(t)=0,t[0,aε],(t-12(1-ε))ε-1y¯,t(aε,bε),y¯t[bε,1].

The associated solution (με,νε) to the continuity equation tμε+·νε=0 is given by

μtε(dx):=mδyε(t)(dx),νtε(dx):=m|y¯|εχ(aε,bε)(t)δyε(t)(dx).

Let f(ρ,j)=|j| be the total momentum, which satisfies Assumption 3.2. We then have F(μtε,νtε)=m|y¯|ε1(aε,bε)(t), hence AI(με,νε)=my¯, independently of ε.

However, as ε0, the motion converges to the discontinuous curve given by μt=δ0 for t[0,12) and μt=δy¯ for t(12,1]. In particular, it does not satisfy the continuity equation in the sense above.

Generalised continuity equation and action functional

In view of this lack of compactness, we will extend the definition of the continuity equation and the action functional to more general objects.

Definition 3.9

(Continuity equation) A pair of measures (μ,ν)M+(I×Td)×Md(I×Td) is said to be a solution to the continuity equation

tμ+·ν=0 3.4

if, for all φCc1(I×Td), we have

I×Tdtφdμ+I×Tdφ·dν=0.

As above, we use the notation (μ,ν)CEI.

Clearly, this definition is consistent with Definition 3.5.

Let us now extend the action functional AI as well. For this purpose, let Ld+1 denote the Lebesgue measure on I×Td. For μM+(I×Td) and νMd(I×Td) we consider the Lebesgue decompositions given by

μ=ρLd+1+μ,ν=jLd+1+ν

for some ρL+1(I×Td) and jL1(I×Td;Rd). As above, it is always possible to introduce a measure σM+(I×Td) such that

μ=ρσ,ν=jσ, 3.5

for some ρL+1(σ) and jL1(σ;Rd).

Definition 3.10

(Action functional) We define the action by

AI:M+(I×Td)×Md(I×Td)R{+},AI(μ,ν):=I×Tdf(ρt(x),jt(x))dxdt+I×Tdf(ρt(x),jt(x))dσ(t,x).

Furthermore, we set

AI(μ):=infν{AI(μ,ν):(μ,ν)CEI}.

Remark 3.11

This definition does not depend on the choice of σ, in view of the 1-homogeneity of f. As f(ρ,j)-C(1+ρ) and f(ρ,j)-Cρ from (3.2) and (3.3), the fact that μ(I×Td)< ensures that AI(μ,ν) is well-defined in R{+}.

Example 3.12

(Lack of compactness) Continuing Example 3.8, we can now describe the limiting jump process as a solution to the generalised continuity equation. Consider the measures μεM+(I×Td) and νεMd(I×Td) defined by

με(dx,dt)=μtε(dx)dt,νε(dx,dt)=νtε(dx)dt.

Then we have μεμ and νεν weakly, respectively, in M+(I×Td) and Md(I×Td), where μ represents the discontinuous curve

μ(dx,dt)=dμt(x)dt,whereμt=δ0,t[0,12),δy¯,t(12,1].

The measure ν does not admit a disintegration with respect to the Lebesgue measure on I; in other words, it is not associated to a curve of measures on Td. We have

ν(dx,dt)=m|y¯|H1|[0,y¯](dx)δ1/2(dt).

Here H1|[0,y¯] denotes the 1-dimensional Hausdorff measure on the (shortest) line segment connecting 0 and y¯.

Note that (μ,ν) solves the continuity equation, as CEI is stable under joint weak-convergence. Furthermore, we have AI(μ,ν)=my¯.

The next result shows that any solution to the continuity equation (μ,ν)CEI induces a (not necessarily continuous) curve of measures (μt)tI. The measure ν is not always associated to a curve of measures on I; see Example 3.12. We refer to “Appendix 1” for the definition of BVKR(I;M+(Td)).

Lemma 3.13

(Disintegration of solutions to CEI) Let (μ,ν)CEI. Then dμ(t,x)=dμt(x)dt for some measurable curve tμtM+(Td) with finite constant mass. If AI(μ)<, then this curve belongs to BVKR(I;M+(Td)) and

μBVKR(I;M+(Td))|ν|(I×Td). 3.6

Proof

Let λM+(I) be the time-marginal of μ, i.e., λ:=(e1)#μ where e1:I×TdI, e1(t,x)=t. We claim that λ is a constant multiple of the Lebesgue measure on I. By the disintegration theorem (see, e.g., [3, Theorem 5.3.1]), this implies the first part of the result.

To prove the claim, note that the continuity equation CEI yields

Itφ(t)dλ(t)=I×Tdtφ(t)dμ(t,x)=0 3.7

for all φCc(I).

Write I=(a,b), let ψCc(I) be arbitrary, and set ψ¯:=1|I|Iψ(t)dt. We define φ(t)=atψ(s)ds-(t-a)ψ¯. Then φCc(I) and tφ=ψ-ψ¯. Applying (3.7) we obtain I(ψ-ψ¯)dλ=0, which implies the claim, and hence the first part of the result.

To prove the second part, suppose that μM+(I×Td) has finite action, and let νMd(I×Td) be a solution to the continuity equation (3.4). Applying (3.4) to a test function φCc1(I;C1(Td))Cc1(I×Td) such that maxtIφtC1(Td)1, we obtain

I×Tdtφtdμtdt=-I×Tdφ·dν|ν|(I×Td)<, 3.8

which implies the desired bound in view of (B.14).

The next lemma deals with regularity properties for curves of measures with finite action and fine properties for the functionals A defined in Definition 3.10 with f=fhom.

Lemma 3.14

(Properties of AI) Let IR be a bounded open interval. The following statements hold:

  • (i)

    The functionals (μ,ν)AI(μ,ν) and μAI(μ) are convex.

  • (ii)
    Let μM+(I×Td). Let {In}n be a sequence of bounded open intervals such that InI and |I\In|0 as n. Let μnM+(In×Td) be such that2
    μnμvaguely inM+(I×Td)andμn(In×Td)μ(I×Td).
    as n. Then:
    lim infnAIn(μn)AI(μ). 3.9
    If, additionally, νMd(I×Td) and νnMd(In×Td) satisfy νnν vaguely in Md(I×Td), then we have
    lim infnAIn(μn,νn)AI(μ,ν). 3.10
    In particular, the functionals (μ,ν)AI(μ,ν) and μAI(μ) are lower semicontinuous with respect to (joint) vague convergence.

Proof

(i): Convexity of AI follows from convexity of f, f, and the linearity of the constraint (3.4).

(ii): First we show (3.10). Consider the convex energy density g(ρ,j):=f(ρ,j)+C(ρ+1), which is nonnegative by (2.1). Let Ag be the corresponding action functional defined using g instead of f. Using the nonnegativity of g, the fact that |I\In|0, and the lower semicontinuity result from [2, Theorem 2.34], we obtain

lim infnAgIn(μn,νn)lim infnAgI~(μn,νn)AgI~(μ,ν).

for every open interval I~I. Taking the supremum over I~, we obtain

lim infnAgIn(μn,νn)AgI(μ,ν). 3.11

Since we have μn(In×Td)μ(I×Td) by assumption, the desired result (3.10) follows from (3.11) and the identity

AgIn(μn,νn)=AIn(μn,νn)+C(μn(In×Td)+1).

Let us now show (3.9). Let {μn}nM+(In×Td) be such that supnAIn(μn)< and μnμ vaguely in M+(I×Td). Let νnMd(In×Td) be such that (μn,νn)CEIn and

AIn(μn,νn)AIn(μn)+1n.

From Lemma 3.13, we infer that dμn(t,x)=dμtn(x)dt where (μtn)tIn is a curve of constant total mass cn:=μtn(Td). Moreover, M:=supncn<+, since μnμ vaguely. The growth condition (3.2) implies that

supn|νn|(In×Td)1csupnAIn(μn)+C|I|c(M+1)<.

Hence, by the Banach–Alaoglu theorem, there exists a subsequence of {νn}n (still indexed by n) such that νnν vaguely in Md(I×Td) and (μ,ν)CEI. Another application of Lemma 3.13 ensures that dμ(t,x)=dμt(x)dt where (μt)tI is of constant mass c:=μt(Td)=limncn.

We can thus apply the first part of (ii) to obtain

AI(μ)AI(μ,ν)lim infnAIn(μn,νn)=lim infnAIn(μn),

which ends the proof.

The homogenised transport problem

Throughout this section we assume that (X,E) safisfies Assumption 2.1 and F safisfies Assumption 2.3.

Discrete representation of continuous measures and vector fields

To define fhom, the following definition turns out to be natural.

Definition 4.1

(Representation)

  • (i)
    We say that mR+X represents ρR+ if m is Zd-periodic and
    xXQm(x)=ρ.
  • (ii)
    We say that JRaE represents a vector jRd if
    1. J is Zd-periodic;
    2. J is divergence-free (i.e., divJ(x)=0 for all xX);
    3. The effective flux of J equals j; i.e., Eff(J)=j, where
      Eff(J):=12(x,y)EQJ(x,y)(yz-xz). 4.1

We use the (slightly abusive) notation mRep(ρ) and JRep(j). We will also write Rep(ρ,j)=Rep(ρ)×Rep(j).

Remark 4.2

Let us remark that xz=0 in the formula for Eff(J), since xzXQ.

Remark 4.3

The definition of the effective flux Eff(J) is natural in view of Lemmas 4.9 and 4.11 below. These results show that a solution to the continuous continuity equation can be constructed starting from a solution to the discrete continuity equation, with a vector field of the form (4.1).

Clearly, Rep(ρ) for every ρR+. It is also true, though less obvious, that Rep(j) for every jRd. We will show this in Lemma 4.5 using the Zd-periodicity and the connectivity of (X,E).

To prove the result, we will first introduce a natural vector field associated to each simple directed path P on (X,E), For an edge e=(x,y)E, the corresponding reversed edge will be denoted by e¯=(y,x)E.

Definition 4.4

(Unit flux through a path; see Fig. 4) Let P:={xi}i=0m be a simple path in (X,E), thus ei=(xi-1,xi)E for i=1,,m, and xixk for ik. The unit flux through P is the discrete field JPRaE given by

JP(e)=1ife=eifor somei,-1ife=e¯ifor somei,0otherwise 4.2

The periodic unit flux through P is the vector field J~PRaE defined by

J~P(e)=zZdJP(Tze)foreE. 4.3
Fig. 4.

Fig. 4

In the first figure, in red, the (directed) path P from x0 to xm, support of the vector field JP. In the second one, in red, the support of the vector field J~P and its values (color figure online)

In the next lemma we collect some key properties of these vector fields. Recall the definition of the discrete divergence in (B.15).

Lemma 4.5

(Properties of JP) Let P:={xi}i=0m be a simple path in (X,E).

  • (i)
    The discrete divergence of the associated unit flux JP:ER is given by
    divJP=1{x0}-1{xm}. 4.4
  • (ii)
    The discrete divergence of the periodic unit flux J~P:ER is given by
    divJ~P(x)=1{(x0)v}(xv)-1{(xm)v}(xv),xX. 4.5
    In particular, divJ~P0 iff (x0)v=(xm)v.
  • (iii)

    The periodic unit flux J~P:ER satisfies Eff(J~P)=(xm)z-(x0)z.

  • (iv)

    For every jRd we have Rep(j).

Proof

(i) is straightforward to check, and (ii) is a direct consequence.

To prove (iii), we use the definition of J~P to obtain

(x,y)EQJ~P(x,y)(yz-xz)=(x,y)EQzZdJP(Tzx,Tzy)(yz-xz)=(x,y)EJP(x,y)(yz-xz).

By construction, we have

12(x,y)EJP(x,y)(yz-xz)=j=1m(xj)z-(xj-1)z=(xm)z-(x0)z,

which yields the result.

For (iv), taking j=ei, we use the connectivity and nonemptyness of (X,E) to find a simple path connecting some (v,z)X to (v,z+ei)X. The resulting J~PRaE is divergence-free by (ii) and Eff(J~P)=ei by (iii), so that J~PRep(ei). For a general j=i=1djiei we have Rep(j)i=1djiRep(ei).

The homogenised action

We are now in a position to define the homogenised energy density.

Definition 4.6

(Homogenised energy density) The homogenised energy density fhom:R+×RdR{+} is defined by the cell formula

fhom(ρ,j):=inf{F(m,J):(m,J)Rep(ρ,j)}. 4.6

For (ρ,j)R+×Rd, we say that (m,J)Rep(ρ,j) is an optimal representative if F(m,J)=fhom(ρ,j). The set of optimal representatives is denoted by

Repo(ρ,j).

In view of Lemma 4.5, the set of representatives Rep(ρ,j) is nonempty for every (ρ,j)R+×Rd. The next result shows that Repo(ρ,j) is nonempty as well.

Lemma 4.7

(Properties of the cell formula) Let (ρ,j)R+×Rd. If fhom(ρ,j)<+, then the set of optimal representatives Repo(ρ,j) is nonempty, closed, and convex.

Proof

This follows from the coercivity of F and the direct method of the calculus of variations.

Lemma 4.8

(Properties of fhom and fhom) The following properties hold:

  • (i)

    The functions fhom and fhom are lower semicontinuous and convex.

  • (ii)
    There exist constants c>0 and C< such that, for all ρ0 and jRd,
    fhom(ρ,j)c|j|-C(ρ+1),fhom(ρ,j)c|j|-Cρ. 4.7
  • (iii)
    The domain D(fhom)R+×Rd has nonempty interior. In particular, for any pair (m,J) satisfying (2.2), the element (ρ,j)(0,)×Rd defined by
    (ρ,j):=(xXQm(x),12(x,y)EQJ(x,y)(yz-xz)) 4.8
    belongs to D(fhom).

Proof

(i): The convexity of fhom follows from the convexity of F and the affinity of the constraints. Let us now prove lower semicontinuity of fhom.

Take (ρ,j)R+×Rd and sequences {ρn}nR+ and {jn}nRd converging to ρ and j respectively. Without loss of generality we may assume that L:=supnfhom(ρn,jn)<. By definition of fhom, there exist (mn,Jn)Rep(ρn,jn) such that F(mn,Jn)fhom(ρn,jn)+1n. From the growth condition (2.1) we deduce that, for some C<,

supnxXQmn(x)=supnρn<andsupn(x,y)EQ|Jn(x,y)|C(1+L+supnrn)<.

From the Bolzano–Weierstrass theorem we infer subsequential convergence of {(mn,Jn)}n to some Zd-periodic pair (m,J)R+X×RE. Therefore, by lower semicontinuity of F, it follows that

F(m,J)lim infnF(mn,Jn)lim infnfhom(ρn,jn) 4.9

Since (m,J)Rep(ρ,j), we have fhom(ρ,j)F(m,J), which yields the desired result. Convexity and lower semicontinuity of fhom follow from the definition, see [2, Section 2.6].

(ii) Take ρR+ and jRd. If fhom(ρ,j)=+, the assertion is trivial, so we assume that fhom(ρ,j)<+. Then there exists a competitor (m,J)Rep(ρ,j) such that F(m,J)fhom(ρ,j)+1. The growth condition (2.1) asserts that

F(m,J)c(x,y)EQ|J(x,y)|-CxXQm(x)-C

Therefore, the claim follows from the fact that

R0(x,y)EQ|J(x,y)||j|andxXQm(x)=r,

where R0=max(x,y)E|xz-yz|d.

(iii): Let (m,J)D(F) satisfy Assumption 2.3, and define (ρ,j)(0,)×Rd by (4.8). For i=1,,d, let ei be the coordinate unit vector. Using Lemma 4.5(iv) we take JiRep(ei). For αR with |α| sufficiently small, and β=i=1dβieiRd we define

mα(x):=m(x)+α#(XQ)xX,Jβ(x,y):=J(x,y)+i=1dβiJi(x,y)(x,y)E.

It follows that (mα,Jβ)Rep(ρ+α,j+β), and therefore, fhom(ρ+α,j+β)F(mα,Jβ). By Assumption 2.3, the right-hand side is finite for |α|+|β| sufficiently small. This yields the result.

The homogenised action AhomI can now be defined by taking f=fhom in Definition 3.10.

Embedding of solutions to the discrete continuity equation

For ε>0 and zZd (or more generally, for zRd) let Qεz:=εz+[0,ε)dTd denote the cube of side-length ε based at εz. For mR+Xε and JRaEε we define ιεmM+(Td) and ιεJMd(Td) by

ιεm:=ε-dxXεm(x)Ld|Qεxz, 4.10a
ιεJ:=ε-d+1(x,y)EεJ(x,y)2(01Ld|Qε(1-s)xz+syzds)(yz-xz), 4.10b

The embeddings (4.10) are chosen to ensure that solutions to the discrete continuity equation are mapped to solutions to the continuous continuity equation, as the following result shows.

Lemma 4.9

Let (m,J)CEεI solve the discrete continuity equation and define μt=ιεmt and νt=ιεJt. Then (μ,ν) solves the continuity equation (i.e., (μ,ν)CEI).

Proof

Let φ:I×TdR be smooth with compact support. Then:

ITdφ·dνtdt=12εd(x,y)EεIJt(x,y)01Qε(1-s)xz+syzφ(t,x)·ε(yz-xz)dLddsdt=12εd(x,y)EεIJt(x,y)01s(Qε(1-s)xz+syzφdLd)dsdt=12εd(x,y)EεIJt(x,y)(QεyzφdLd-QεxzφdLd)dt.

On the other hand, the discrete continuity equation yields

ITdtφdμtdt=1εdxXεImt(x)t(QεxzφdLd)dt=12εd(x,y)EεIJt(x,y)(QεxzφdLd-QεyzφdLd)dt.

Comparing both expressions, we obtain the desired identity tμ+·ν=0 in the sense of distributions.

The following result provides a useful bound for the norm of the embedded flux.

Lemma 4.10

For JRaEε we have

|ιεJ|(Td)εR0d2(x,y)Eε|J(x,y)|.

Proof

This follows immediately from (4.11), since Ld(Qε(1-s)xz+syz)=εd and |yz-xz|R0d for (x,y)Eε.

Note that both measures in (4.10) are absolutely continuous with respect to the Lebesgue measure. The next result provides an explicit expression for the density of the momentum field. Recall the definition of the shifting operators σεz¯ in (2.5).

Lemma 4.11

(Density of the embedded flux) Fix ε<12R0. For JRaEε we have ιεJ=jεLd where jε:TdRd is given by

jε(u)=ε-d+1zZεdχQεz(u)(12(x,y)Eεxz=zJu(x,y)(yz-xz))foruTd. 4.11

Here, Ju(x,y) is a convex combination of {σεz¯J(x,y)}z¯Zεd, i.e.,

Ju(x,y)=z¯Zεdλuε,z¯(x,y)σεz¯J(x,y),

where λuε,z¯(x,y)0 and z¯Zεdλuε,z¯(x,y)=1. Moreover,

λuε,z¯(x,y)=0wheneveruQεxz,|z¯|>R0+1. 4.12

Proof

Fix ε<12R0, let zZεd and uQεz. We have

jε(u)=ε-d+1(x,y)EεJ(x,y)2(01χQε(1-s)xz+syz(u)ds)(yz-xz)=ε-d+1(x,y)Eεxz=zz¯Zεdσεz¯J(x,y)2(01χQεz¯+(1-s)xz+syz(u)ds)(yz-xz),

which is the desired form (4.11) with

λuε,z¯(x,y)=(01χQεz¯+(1-s)xz+syz(u)ds)

for (x,y)Eε with xz=z. Since the family of cubes {Qεz¯+syz+(1-s)xz}z¯Zεd is a partition of Td, it follows that z¯Zεdλuε,z¯(x,y)=1.

To prove the final claim, let (x,y)Eε with xz=z as above and take z¯Zεd with |z¯|>R0+1. Since |xz-yz|R0, the triangle inequality yields

(z¯+syz+(1-s)xz)-xzz¯-(1-s)yz-xz>1,

for s[0,1]. Therefore, uQεz implies χQεz¯+(1-s)xz+syz(u)=0, hence λuε,z¯(x,y)=0 as desired.

Main results

In this section we present the main result of this paper, which asserts that the discrete action functionals Aε converge to a continuous action functional A=Ahom with the nontrivial homogenised action density function f=fhom defined in Sect. 4.

Main convergence result

We are now ready to state our main result. We use the embedding ιε:R+XεM+(Td) defined in (4.10a). The proof of this result is given in Sects. 7 and 8.

Theorem 5.1

(Γ-convergence) Let (X,E) be a locally finite and Zd-periodic connected graph of bounded degree (see Assumption 2.1). Let F:R+X×RaER{+} be a cost function satisfying Assumption 2.3. Then the functionals AεI Γ-converge to AhomI as ε0 with respect to the weak (and vague) topology. More precisely:

  • (i)
    (liminf inequality) Let μM+(I×Td). For any sequence of curves {mε}ε with mε=(mtε)tIR+Xε such that ιεmεμ vaguely in M+(I×Td) as ε0, we have the lower bound
    lim infε0AεI(mε)AhomI(μ). 5.1
  • (ii)
    (limsup inequality) For any μM+(I×Td) there exists a sequence of curves {mε}ε with mε=(mtε)tIR+Xε such that ιεmεμ weakly in M+(I×Td) as ε0, and we have the upper bound
    lim supε0AεI(mε)AhomI(μ). 5.2

Remark 5.2

(Necessity of the interior domain condition) Assumption 2.3 is crucial in order to obtain the Γ-convergence of the discrete energies. Too see this, let us consider the one-dimensional graph X=Z and the edge-based cost associated with

Fxy(m(x),m(y),J(x,y)):=J(x,y)2m(x)ifm(x)=m(y)0,0ifJ(x,y)=m(x)=m(y)=0,otherwise.

Clearly F satisfies conditions (a)-(c) from Assumption 2.3, but (d) fails to hold. The constraint m(x)=m(y) on neighbouring x,yX forces every m:IR+Xε with Aε(m)< to be constant in space (and hence in time, by mass preservation). Therefore, the Γ-limit of the Aε is finite only on constant measures μ=αLd+1, with αR+. On the other hand, we have3 that fhom(ρ,j)=|j|2ρ, which corresponds to the W2 action on the line.

It is interesting to note that if the constraint “m(x)=m(y)” is replaced by a weaker one of the form “|m(x)-m(y)|δ ” for some δ>0, then all the assumptions are satisfied and our theorem can be applied. Intuitively speaking, the constraint which forces admissible curves to be constant is replaced by a constraint that merely forces admissible curves to be Lipschitz; in this case the limit coincides with the W2 action.

See also Sect. 9.2 for a general treatment of the cell formula on the integer lattice X=Zd.

Scaling limits of Wasserstein transport problems

For 1p<, recall that the energy density associated to the Wasserstein metric Wp on Rd is given by f(ρ,j)=|j|pρp-1. This function satisfies the scaling relations f(λρ,λj)=λf(ρ,j) and f(ρ,λj)=|λ|pf(ρ,j) for λR.

In discrete approximations of Wp on a periodic graph (X,E), it is reasonable to assume analogous scaling relations for the function F, namely F(λm,λJ)=λF(m,J) and F(m,λJ)=|λ|pF(m,J). The next result shows that if such scaling relations are imposed, we always obtain convergence to Wp with respect to some norm on Rd. This norm does not have to be Hilbertian (even in the case p=2) and is characterised by the cell problem (4.6).

Corollary 5.3

Let 1p<, and suppose that F has the following scaling properties for mR+X and jRaE:

  • (i)

    F(λm,λJ)=λF(m,J) for all λ0;

  • (ii)

    F(m,λJ)=|λ|pF(m,J) for all λR.

Then fhom(ρ,j)=jpρp-1 for some norm · on Rd.

Proof

Fix ρ>0 and jRd. The scaling assumptions imply that

fhom(λρ,λj)=λfhom(ρ,j)andfhom(ρ,λj)=|λ|pfhom(ρ,j). 5.3

Consequently,

fhom(ρ,j)=ρfhom(1,j/ρ)=fhom(1,j)ρp-1.

We claim that fhom(1,j)>0 whenever j0. Indeed, it follows from (4.7) that fhom(1,j)>0 whenever |j| is sufficiently large. By homogeneity (5.3), the same holds for every j0. It also follows from (5.3) that fhom(1,0)=0.

We can thus define j:=fhom(1,j)1/p[0,). In view of the previous comments, we have 0=0 and j>0 for all jRd\{0}. The homogeneity (5.3) implies that λj=|λ|j for jRd and λR.

It remains to show the triangle inequality j1+j2j1+j2 for j1,j2Rd. Without loss of generality we assume that j1+j2>0. For λ(0,1), the convexity of fhom (see Lemma 4.8) and the homogeneity (5.3) yield

fhom(1,j1+j2)(1-λ)fhom(1,j11-λ)+λfhom(1,j2λ)=fhom(1,j1)(1-λ)p-1+fhom(1,j2)λp-1.

Substitution of λ=j2j1+j2 yields the triangle inequality.

Compactness results

As we frequently need to compare measures with unequal mass in this paper, it is natural to work with the the Kantorovich–Rubinstein norm. This metric is closely related to the transport distance W1; see “Appendix 1”.

The following compactness result holds for solutions to the continuity equation with bounded action. As usual, we use the notation μ(dx,dt)=μt(dx)dt.

Theorem 5.4

(Compactness under linear growth) Let mε:IR+Xε be such that

supε>0AεI(mε)<andsupε>0mε(I×Xε)<.

Then there exists a curve (μt)tIBVKR(I;M+(Td)) such that, up to extracting a subsequence,

  • (i)

    ιεmεμ weakly in M+(I×Td);

  • (ii)

    ιεmtεμt weakly in M+(Td) for almost every tI;

  • (iii)

    tμt(Td) is constant.

The proof of this result is given in Sect. 6.

Under a superlinear growth condition on the cost function F, the following stronger compactness result holds.

Assumption 5.5

(Superlinear growth) We say that F is of superlinear growth if there exists a function θ:[0,)[0,) with limtθ(t)t= and a constant CR such that

F(m,J)(m0+1)θ(J0m0+1)-C(m0+1) 5.4

for all mR+X and all JRaE, where

m0=xX|x|dRm(x)andJ0=(x,y)EQ|J(x,y)|, 5.5

with R=max{R0,R1} as in Assumption 2.3.

Remark 5.6

The superlinear growth condition (5.4) implies the linear growth condition (2.1). To see this, suppose that F has superlinear growth. Let v0>0 be such that θ(v)v for vv0. If J0m0+1v0, we have

F(m,J)(m0+1)θ(J0m0+1)-C(m0+1)J0-C(m0+1). 5.6

On the other hand, if J0m0+1<v0, the nonnegativity of θ implies that

F(m,J)-C(m0+1)Cv0J0-2C(m0+1). 5.7

Combining (5.6) and (5.7), we have

F(m,J)min{1,Cv0}J0-2C(m0+1),

which is of the desired form (2.1).

Example 5.7

The edge-based costs

F(m,J)=12(x,y)EQ|J(x,y)|p

have superlinear growth if and only if 1<p< (with θ(t)=ctp and c=|EQ|1-p). Indeed,

2F(m,J)=(x,y)EQ|J(x,y)|pcJ0pcJ0p(m0+1)p-1=c(m0+1)θJ0m0+1.

Example 5.8

The functions (2.3) arising in discretisation of p-Wasserstein distances have superlinear growth if and only if p>1 (with θ(t)=tp).

To see this, consider the function G(α,β,γ):=12|γ|pΛ(α,β)p-1. Since G is convex, non increasing in (α,β), and positively one-homogeneous, we obtain

F(m,J)=(x,y)EQG(qxym(x),qyxm(y),J(x,y))G(x,y)EQqxym(x),(x,y)EQqyxm(y),(x,y)EQ|J(x,y)|cG(m0,m0,J0)c2J0p(m0+1)p-1=c2(m0+1)θJ0m0+1,

where c>0 depends on R, the maximum degree and the weights qxy.

Theorem 5.9

(Compactness under superlinear growth) Suppose that Assumption 5.5 holds. Let mε:IR+Xε be such that

supε>0AεI(mε)<andsupε>0mε(I×Xε)<.

Then there exists a curve (μt)tIWKR1,1(I;M+(Td)) such that, up to extracting a subsequence,

  • (i)

    ιεmεμ weakly in M+(I×Td);

  • (ii)

    ιεmtε-μtKR(Td)0 uniformly for tI;

  • (iii)

    tμt(Td) is constant.

This is proven in Sect. 6.2.

Note that curve tμtWKR1,1(I;M+(Td)) can be continuously extended to I¯. Therefore, it is meaningful to assign boundary values to these curves.

Result with boundary conditions

Under Assumption 5.5, we are able to obtain the following result on the convergence of dynamical optimal transport problems. Fix I=(a,b)R an open interval. Define for ma,mbR+Xε with ma(Xε)=mb(Xε) the minimal action as

MAεI(ma,mb):=infAεI(m):ma=ma,mb=mb). 5.8

Similarly, define the minimal homogenised action for μa,μbM+(Td) with μa(Td)=μb(Td) as

MAhomI(μa,μb):=infAhomI(μ):μa=μa,μb=μb). 5.9

Note that in general, both MAhomI and MAεI may be infinite even if the two measures have equal mass. Here, the values μa and μb are well-defined under Assumption 5.5 by Theorem 5.9. Under linear growth, μa and μb can still be defined using the trace theorem in BV, but we cannot prove the following statement in that case (see also Remark 6.2). We prove this in Sect. 6.3.

Theorem 5.10

(Γ-convergence of the minimal actions) Assume that Assumption 5.5 holds. Then the minimal actions MAεI Γ-converge to MAhomI in the weak topology of M+(Td)×M+(Td). Precisely:

  • (i)
    For any sequences mεa, mεbR+Xε such that ιεmεiμi weakly in M+(Td) as ε0 for i=a,b, we have
    lim infε0MAεI(mεa,mεb)MAhomI(μa,μb). 5.10
  • (ii)
    For any (μa,μb)M+(Td)×M+(Td), there exist two sequences mεa,mεbR+Xε such that ιεmεiμi weakly in M+(Td) as ε0 for i=a,b and
    lim supε0MAεI(mεa,mεb)MAhomI(μa,μb). 5.11

Proof of compactness and convergence of minimal actions

This section is divided into three sub-parts: in the first one, we prove the general compactness result Theorem 5.4, which is valid under the linear growth assumption 2.3.

In the second and third part, we assume the stronger superlinear growth condition 5.5 and prove the improved compactness result Theorem 5.9 and the convergence results for the problems with boundary data, i.e. Theorem 5.10.

Compactness under linear growth

The only assumption here is the linear growth condition 2.3.

Proof of Theorem 5.4

For ε>0, let mε:IR+Xε be a curve such that

supε>0AεI(mε)<andsupε>0mε(I×Xε)<. 6.1

We can find a solution to the discrete continuity equation (mε,Jε)CEεI, such that

supε>0AεI(mε,Jε)<.

Set (μtε,νtε):=(ιεmtε,ιεJtε), where ιε is defined in (4.10). Lemma 4.9 implies that (με,νε)CEI for every ε>0.

Using Lemma 4.10, the growth condition (2.1), and the bounds (6.1) on the masses and the action, we infer that

supε>0|νε|(I×Td)R0d2supε>0εI(x,y)Eε|Jtε(x,y)|dt<. 6.2

Up to extraction of a subsequence, the Banach–Alaoglu Theorem yields existence of a measure ν¯Md(I¯×Td) such that νεν¯ weakly in Md(I¯×Td). It also follows that |ν¯|(I¯×Td)lim infε0|νε|(I×Td)<; see, e.g., [8, Theorem 8.4.7].

Furthermore, (6.1) and (6.2) imply that the BV-seminorms of με are bounded:

supε>0μεBVKR(I;M+(Td))supε>0|νε|(I×Td)<, 6.3

In particular, supε>0με(I×Td)<. Thus, by another application of the Banach–Alaoglu Theorem, there exists a measure μM+(I¯×Td) and a subsequence (not relabeled) such that μεμ weakly in M+(I¯×Td).

We claim that μ does not charge the boundary (I¯\I)×Td and that μ(dx,dt)=μt(dx)dt for a curve (μt)tI of constant total mass in time. To prove the claim, write e1(t,x):=t, and note that each curve tμtε is of constant mass. Therefore, the time-marginals (e1)#μεM+(I) are constant multiples of the Lebesgue measure. Since these measures are weakly-convergent to the time-marginal (e1)#μ, it follows that the latter is also a constant multiple of the Lebesgue measure, which implies the claim. See also the proof of Lemma 3.13 for a similar discussion.

By what we just proved, μ can be identified with a measure on the open set M+(I×Td). Let ν be the restriction of ν¯ to I×Td. Since με (resp. νε) converges vaguely to μ (resp. ν), it follows that (μ,ν) belongs to CEI.

In view of (6.3), we can apply the BV-compactness theorem (see, e.g., [34, Theorem B.5.10]) to obtain a further subsequence such that μtε-μtKR(Td)0 for almost every tI, and the limiting curve μ belongs to BVKR(I;M+(Td)). Proposition A.5 yields μtεμt weakly in M+(Td) for almost every tI.

Uniform compactness under superlinear growth

In the last two sections, we shall work with the stronger growth condition from Assumption 5.5.

Remark 6.1

(Property of fhom, superlinear case) Let us first observe that under Assumption 5.5, one has superlinear growth of fhom:

fhom(ρ,j)θ(|j|ρ+1)(ρ+1)-C(ρ+1),ρ0,jRd,

where we recall θ:[0,)[0,) is such that limtθ(t)t=+.

In addition for all j0 we have

fhom(0,j)=limt1tfhom(ρ0,j0+tj)limtθ|j0+tj|ρ0+1(ρ0+1)t=. 6.4

In particular, if AhomI(μ,ν)<, then νμ+Ld+1. Indeed, fix σM+(I×Td) as in (3.5) and suppose that (μ+Ld+1)(A)=0 for some AI×Td. By positivity of the measures, this implies that μ(A)=Ld+1(A)=0, thus by construction

μ(A)=0andν(A)=ν(A).

From the first condition and μ=ρσ, we deduce that ρ(t,x)=0 for σ-a.e. (t,x)A. From the assumption of finite energy and (6.4), writing ν=jσ, we infer that j(t,x)=0 for σ-a.e. (t,x)A as well. It follows that ν(A)=ν(A)=0, which proves the claim.

We are ready to prove Theorem 5.9.

Proof of Theorem 5.4

(Proof of Theorem 5.9) Let {mε}ε be a sequence of measures such that

M:=supεmε(I×Xε)+1<andA:=supεAεI(mε)<. 6.5

Thanks to Remark 6.1, we have that νμ+Ld+1 for all solutions (μ,ν)CEI with AhomI(μ)<. Applying Lemma 3.13 we can write μ=dtμt and because Ld+1=dtLd, we also have disintegration ν=dtνt with νtμt+Ld for almost every tI.

Moreover, it follows from the definition of CEI that, for any test function φCc1(I;C1(Td)) we have

μ,tφ=-ν,φ=-Idνtd(μt+Ld)(μt+Ld),φdt.

This shows that dtμtWKR1,1(I;M+(Td)), with weak derivative

tμt=·(dνtd(μt+Ld)(μt+Ld))KR(Td)for a.e.tI.

We are left with showing uniform convergence of ιεmtεμt in KR(Td). We claim that the curves {tιεmtε}ε are equicontinuous with respect to the Kantorovich–Rubinstein norm ·KR(Td).

To show the claimed equicontinuity, take φC1(Td) and s,tI with s<t. Since (ιεmtε,ιεJtε)CEI we obtain using Lemma 4.10,

|Tdφd(ιεmtε)-Tdφd(ιεmsε)|=|stTdφ·d(ιεJrε)dr|φC(Td)st|ιεJrε|(Td)drR0d2φC(Td)st(x,y)Eεε|Jrε(x,y)|dr, 6.6

To estimate the latter integral, we consider for zZεd the quantities

mrε(z):=xXε|xz-z|dRmrε(x)andJrε(z):=(x,y)Eεxz=z|Jrε(x,y)|.

We fix a “velocity threshold” v0>0, and split Zεd into the low velocity region Z-:={zZεdε|Jrε(z)|mrε(z)+εdv0} and its complement Z+:=Zεd\Z-. Then:

zZ-εJrε(z)v0zZ-(mrε(z)+εd)CR(mrε(Xε)+1)v0, 6.7

where CR:=(2R+1)d. For zZ+ we use the growth condition (5.4) to estimate

εJrε(z)(mrε(z)+εd)θ(εJrε(z)mrε(z)+εd)supv>v0vθ(v)εd(F(τεzmεd,τεzJεd-1)+C(mrε(z)εd+1))supv>v0vθ(v).

Since (5.4) implies non-negativity of the term in brackets, we obtain

zZ+εJrε(z)zTdεd(F(τεzmεd,τεzJεd-1)+C(mrε(z)εd+1))supv>v0vθ(v)Fε(mrε,Jrε)+C(mrε(Xε)+1)supv>v0vθ(v). 6.8

Integrating in time, we combine (6.7) and (6.8) with (6.5) to obtain

st(x,y)Eεε|Jrε(x,y)|dr=stzZεdεJrε(z)drg(t-s),whereg(r):=infv0>0{rCRMv0+(A+C(M+|I|))supv>v0vθ(v)}. 6.9

Combining (6.6) and (6.9) we conclude that

supε>0ιεmtε-ιεmsεKR(Td)supε>0supφC1(Td)1|Tdφd(ιεmtε)-Tdφd(ιεmsε)|R0d2g(t-s).

To prove the claimed equicontinuity, it suffices to show that g(r)0 as r0. But this follows from the growth properties of θ by picking, e.g., v0:=r-1/2.

Of course the masses are uniformly bounded in ε and t. The Arzela-Ascoli theorem implies that every subsequence has a subsequence converging uniformly in (M+(Td),·KR).

The boundary value problems under superlinear growth

The last part of this section is devoted to the proof of the convergence of the minimal actions, under the assumption of superlinear growth, i.e. Theorem 5.10. The proof is a straightforward consequence of the stronger compactness result Theorem 5.9 (and the general convergence result Theorem 5.1) proved in the previous section, which ensures the stability of the boundary conditions as well. We fix I=(a,b).

Proof of Theorem 5.10

We shall prove the upper and the lower bound.

Liminf inequality. Pick any ιεmaεμa, ιεmbεμb weakly in M+(Td), and let (mε,Jε)CEεI with the same boundary data such that

limε0AεI(mε,Jε)=limε0MAεI(maε,mbε)<.

By Theorem 5.9, there exists a (non-relabeled) subsequence of mε such that ιεmtε-μtKR0, uniformly for tI¯. In particular, μa=μa, μb=μb. We can then apply the lower bound of Theorem 5.1, and conclude

MAhomI(μa,μb)AhomI(μ)lim infεMAεI(maε,mbε).

Limsup inequality. Fix μa,μbM+(Td) such that MAhomI(μa,μb)<. By the definition of MAhomI and the lower semicontinuity of Ahom (Lemma 3.14), there exists μM+(I×Td) with AhomI(μ)=MAhomI(μa,μb) and μa=μa,μb=μb.

We can then apply Theorem 5.1 and find a recovery sequence (mε,Jε)CEεI such that ιεmεμ weakly and

lim supε0AεI(mε,Jε)AhomI(μ)=MAhomI(μa,μb).

By the improved compactness result Theorem 5.9, ιεmtεμt in KR(Td) for every tI¯, in particular for t=a,b. This allows us to conclude

lim supε0MAεI(maε,mbε)MAhomI(μa,μb),andιεmiεμiweakly

for i=a,b, which is the sought recovery sequence for MAhomI(μa,μb).

Remark 6.2

It is instructive to see that under the simple linear growth condition 2.3, the above written proof cannot be carried out. Indeed, by the lack of compactness in W1,1(I;M+(Td)) (but rather only in BV by Theorem 5.4), we are not able to ensure stability at the level of the initial data, i.e. in general, μaμa (and similarly for t=b).

Proof of the lower bound

In this section we present the proof of the lower bound in our main result, Theorem 5.1. The proof relies on two key ingredients. The first one is a partial regularisation result for discrete measures of bounded action, which is stated in Proposition 7.1 and proved in Sect. 7.1 below. The second ingredient is a lower bound of the energy under partial regularity conditions on the involved measures (Proposition 7.4). The proof of the lower bound in Theorem 5.1, which combines both ingredients, is given right before Sect. 7.1.

First we state the regularisation result. Recall the Kantorovich–Rubinstein norm ·KR (see “Appendix 1”).

Proposition 7.1

(Discrete Regularisation) Fix ε<12R0 and let (m,J)CEεI be a solution to the discrete continuity equation satisfying

M:=m0(Xε)<andA:=AεI(m,J)<.

Then, for any η>0 there exists an interval IηI:=(0,T) with |I\Iη|η and a solution (m~,J~)CEεIη such that:

  • (i)
    the following approximation properties hold:
    (measure approximation)ιε(m~-m)KR(Iη¯×Td)η, 7.1a
    (action approximation)AεIη(m~,J~)AεI(m,J)+η. 7.1b
  • (ii)
    the following regularity properties hold, uniformly for any tIη and any zTεd:
    (boundedness)m~t(Xε)+εJ~t(Eε)CBεd, 7.2a
    (time-reg.)divJ~t(Xε)CTεd, 7.2b
    (space-reg.)σεzm~t-m~t(Xε)+εσεzJ~t-J~t(Eε)CS|z|εd+1, 7.2c
    (domain reg.)(τεzm~tεd,τεzJ~tεd-1)K. 7.2d
    The constants CB,CT,CS< and the compact set KD(F) depend on η, M and A, but not on ε.

Remark 7.2

The -bounds in (7.2a) are explicitly stated for the sake of clarity, although they are implied by the compactness of the set K in (7.2d).

Since (m~,J~)CEεIη, inequality (7.2b) in effect bounds tm~t(Xε)CTεd.

In the next result, we start by showing how to construct Zd-periodic solutions to the static continuity equation by superposition of unit fluxes. Additionally, we can build these solutions with vanishing effective flux and ensure good -bounds.

Lemma 7.3

[Periodic solutions to the divergence equation] Let g:XR be a Zd-periodic function with xXQg(x)=0. There exists a Zd-periodic discrete vector field J:ER satisfying

divJ=g,Eff(J)=0,andJ(EQ)12g1(XQ).

Proof

For any v,wV, fix a simple path Pvw in (X,E) connecting (0, v) and (0, w). Let J~vw:=J~Pvw be the associated periodic unit flux defined in (4.3). Since vVg(0,v)=0, we can pick a coupling Γ between the negative part and the positive part of g. More precisely, we may pick a function Γ:V×VR+ with v,wVΓ(v,w)=12g1(XQ) such that

wVΓvw=g-(0,v)forvV,andvVΓvw=g+(0,w)forwV.

We then define

J:=v,wVΓvwJ~vw.

It is straightforward to verify using Lemma 4.5 that J has the three desired properties.

The following result states the desired relation between the functionals Fε and Fhom under suitable regularity conditions for the measures involved. These regularity conditions are consistent with the regularity properties obtained in Proposition 7.1.

Proposition 7.4

(Energy lower bound for regular measures) Let CB,CT,CS< and let KD(F) be a compact set. There exists a threshold ε0>0 and a constant C< such that the following implication holds for any ε<ε0: if mR+Xε and JRaEε satisfy the regularity properties (7.2a)–(7.2d), then we have the energy bound

Fhom(ιεm,ιεJ)Fε(m,J)+Cε.

Proof

Recall from (4.11) that ιεm=ρLd and ιεJ=jLd, where, for z¯Zεd and uQεz¯,

ρ(u):=ε-dxXεxz=z¯m(x)andj(u):=12εd-1(x,y)Eεxz=z¯Ju(x,y)(yz-xz),

where Ju(x,y) is a convex combination of {J(Tεzx,Tεzy)}zZεd, i.e.,

Ju(x,y)=zZεdλuε,z(x,y)J(Tεzx,Tεzy),

where λuε,z¯(x,y)0, zZεdλuε,z(x,y)=1, and λuε,z(x,y)=0 whenever |z|>R0.

Step 1. Construction of a representative. Fix z¯Zεd and uQεz¯. Our first goal is to construct a representative

(m^uεd,J^uεd-1)Rep(ρ(u),j(u)).

For this purpose we define candidates m^uR+X and J~uRaE as follows. We take the values of m and Ju in the ε-cube at z¯, and insert these values at every cube in (X,E), so that the result is Zd-periodic. In formulae:

m^u(z,v):=m(εz¯,v)for(z,v)XJ~u((z,v),(z,v)):=Ju((εz¯,v),(ε(z¯+z-z),v))for((z,v),(z,v))E.

see Fig. 5.

Fig. 5.

Fig. 5

On the left, using different colors for different values, the measures m and Ju. On the right, the corresponding m^u and J~u, for uQεz¯ (color figure online)

We emphasise that the right-hand side does not depend on z, hence mu and J~u are Zd-periodic. Our construction also ensures that

ε-dxXQm^u(x)=ρ(u),

hence ε-dm^uRep(ρ(u)). However, the vector field ε-(d-1)J~u does (in general) not belong to Rep(j(u)): indeed, while J~u has the desired effective flux (i.e., Eff(ε-(d-1)J~u)=j(u)), J~u is not (in general) divergence-free.

To remedy this issue, we introduce a corrector field J¯u, i.e., an anti-symmetric and Zd-periodic function J¯u:ER satisfying

divJ¯u=-divJ~u,Eff(J¯u)=0,andJ¯u(EQ)12divJ~u1(XQ). 7.3

The existence of such a vector field is guaranteed by Lemma 7.3. It immediately follows that J^u:=J~u+J¯u satisfies divJ^u=0 and Eff(ε-(d-1)J^u)=j(u), thus

J^uεd-1:=J~u+J¯uεd-1Rep(ju).

Step 2. Density comparison. We will now use the regularity assumptions (7.2a)-(7.2d) to show that the representative (m^u,J^u) is not too different from the shifted density (τz¯m,τz¯J). Indeed, for x=(z,v)X with |z|R1 we obtain using (7.2c),

|τεz¯m(x)-m^u(x)|=|m(ε(z¯+z),v)-m(εz¯,v)|CSεd+1|z|. 7.4

Let us now turn to the momentum field. For (x,y)=((z,v),(z,v))E with |z|,|z|R1, we have, using (7.2c),

|τεz¯J(x,y)-J~u(x,y)|=|J((ε(z¯+z),v),(ε(z¯+z),v))-Ju((εz¯,v),(ε(z¯+z-z),v))|=|z~Zεdλuε,z~(x,y){J((ε(z¯+z),v),(ε(z¯+z),v))-J((ε(z¯+z~),v),(ε(z¯+z~+z-z),v))}|CSεd|z-z~|R1CSεd.

Moreover, using (7.3), (7.2c), and (7.2b), we obtain

|J¯u(x,y)|12divJ~u1(XQ)CT(divJ(Eε)+εd)Cεd,

for some C< not depending on ε. Combining these bounds we obtain

|τεz¯J(x,y)-J^u(x,y)||τεz¯J(x,y)-J~u(x,y)|+|J¯u(x,y)|Cεd. 7.5

Step 3. Energy comparison. Since (τεz¯mεd,τεz¯Jεd-1)K by assumption, it follows from (7.4) and (7.5) that (m^uεd,J^uεd-1)K for ε>0 sufficiently small. Here K is a compact set, possibly slightly larger than K, contained in D(F).

Since F is convex, it is Lipschitz continuous on compact subsets in the interior of its domain. In particular, it is Lipschitz continuous on K. Therefore, there exists a constant CL< depending on F and K such that

F(τεz¯mεd,τεz¯Jεd-1)F(m^uεd,J^uεd-1)-CL(τεz¯m-m^uεdR1(X)+τεz¯J-J^uεd-1R1(E))F(m^uεd,J^uεd-1)-Cεfhom(ρ(u),j(u))-Cε,

with C< depending on CL, CS, CT, and R1, but not on ε. Here, the subscript R1 in R1(E) and R1(X) indicates that only elements with |xz|R1 are considered.

Integration over Qεz¯ followed by summation over z¯Zεd yields

Fε(m,J)=εdz¯ZεdF(τεz¯mεd,τεz¯Jεd-1)z¯ZεdQεz¯(fhom(ρ(u),j(u))-Cε)du=Tdfhom(ρ(u),j(u))du-Cε=Fhom(ιεm,ιεJ)-Cε,

which is the desired result.

We are now ready to give the proof of the lower bound in our main result, Theorem 5.1. We use the notation AB to denote the inequality ACB for some constant C< that only depends on the geometry of the graph (X,E), on the function F (see Assumption 2.3), and on the length of the time interval I.

Proof of Theorem 5.1 (lower bound)

Let μM+(I×Td) and let (mtε)tIR+Xε be such that the induced measures mεM+(I×Xε) defined by dmε(t,x)=dmtε(x)dt satisfy ιεmεμ vaguely in M+(I×Td) as ε0. Observe that

M:=supε>0mε(I×Xε)<.

Without loss of generality, we may assume that

A:=supε>0Aε(mε)<.

Step 1 (Regularisation): Fix η>0. Let (Jtε)tIRaEε be an approximately optimal discrete vector field, i.e.,

(mε,Jε)CEεIandAε(mε,Jε)Aε(mε)+η. 7.6

Using Proposition 7.1 we take an interval IηI:=(0,T), |I\Iη|η and an approximating pair (m~ε,J~ε)CEεIη satisfying

ιε(m~ε-mε)KR(Iη¯×Td)ηandAεIη(m~ε,J~ε)Aε(mε,Jε)+η, 7.7

together with the regularity properties (7.2) for some constants CB,CT,CS< and a compact set KD(F) depending on η, but not on ε. By virtue of these regularity properties, we may apply Proposition 7.4 to (m~ε,J~ε). This yields

AhomIη(ιεm~ε,ιεJ~ε)=IηFhom(ιεm~tε,ιεJ~tε)dtIηFε(m~tε,J~tε)dt+Cε, 7.8

with C< depending on η, but not on ε.

Step 2 (Limit passage ε0): It follows by definition of the Kantorovich–Rubinstein norm that

supειεm~ε(Iη¯×Td)supε(ιεmε(I×Td)+ιε(m~ε-mε)KR(Iη¯×Td))M+η.

It follows from the growth condition (2.1) and (7.7) that

supε|ιεJ~ε|(Iη¯×Td)supεIηεJ~tε1(Eε)dtsupεIη(1+m~tε1(Xε)+Fε(m~tε,J~tε))dtsupε(T+ιεm~ε(Iη×Td)+AεIη(m~ε,J~ε))T+(M+η)+(A+2η). 7.9

Therefore, there exist measures μηM+(Iη¯×Td) and νηMd(Iη¯×Td) and convergent subsequences satisfying

ιεm~εμηandιεJ~ενηweakly inM+(Iη¯×Td)andMd(Iη¯×Td)asε0. 7.10

The vague lower semicontinuity of the limiting functional (see Lemma 3.14), combined with (7.6), (7.7), and (7.8) thus yields

AhomIη(μη,νη)lim infε0AhomIη(ιεm~ε,ιεJ~ε)lim infε0Aε(mε)+2η. 7.11

Step 3 (Limit passage η0): Let φLip1(Iη¯×Td), φ1. For brevity, write φ,μ=Iη×Tdφdμ. Since from (7.10) ιεmεμ and ιεm~εμη weakly, and ιε(m~ε-mε)KR(Iη¯×Td)η we obtain

φ,μη-μlim supε0(|φ,μη-ιεm~ε|+|φ,ιε(m~ε-mε)|+|φ,ιεmε-μ|)0+η+0.

It follows that μη-μKR(Iη¯×Td)2η, which together with |I\Iη|η implies μημM+(I×Td) vaguely as η0.

Furthermore, (7.9) implies that supη|νη|(Iη×Td)<. Therefore, we may extract a subsequence so that νην vaguely in Md(I×Td) as η0. It thus follows from (7.11) and the joint vague-lower semicontinuity of Ahom (see Lemma 3.14) that

Ahom(μ,ν)lim infε0Aε(mε).

To conclude the desired estimate Ahom(μ)lim infε0Aε(mε), it remains to show that (μ,ν) solves the continuity equation. To show this, we first note that (ιεm~ε,ιεJ~ε)CEIη in view of Lemma 4.9. It then follows from the weak convergence in (7.10) that (μη,νη)CEIη. Since μημ, νην vaguely, and |I-Iη|η it holds (μ,ν)CEI, which completes the proof.

Proof of the discrete regularisation result

This section is devoted to the proof of main discrete regularisation result, Proposition 7.1.

The regularised approximations are constructed by a three-fold regularisation: in time, space, and energy. Let us now describe the relevant operators. Recall the definition of m and J as given in Assumption 2.3.

Energy regularisation

First we embed m and J into the graph (Xε,Eε). We thus define mεR+Xε and JεRaEε by

mε(εz,v):=εdm(0,v)Jε(εz,v):=εd-1J(0,v).

It follows that (mε,Jε)D(Fε) (by continuity of τεz, zZεd) and

Fε(mε,Jε)=F(m,J).

We then consider the energy regularisation operators defined by

Rδ:R+XεR+Xε,Rδm:=(1-δ)m+δmε0,Rδ:RaEεRaEε,RδJ:=(1-δ)J+δJε0.
Lemma 7.5

(Energy regularisation) Let δ(0,1). The following inequalities hold for any ε<12R0, mR+Xε, and JRaEε:

Fε(Rδm,RδJ)(1-δ)Fε(m,J)+δFε(mε,Jε),Rδm(Xε)(1-δ)m(Xε)+δεdm(X),RδJ(Eε)(1-δ)J(Eε)+δεd-1J(E).
Proof

The proof is straightforward consequence of the convexity of F and the periodicity of m and J.

Space regularisation

Our space regularisation is a convolution in the z-variable with the discretised heat kernel. It is of crucial importance that the regularisation is performed in the z-variable only. Smoothness in the v-variable is not expected.

For λ>0 and xTd, let hλ(x) be the heat kernel on Td. We consider the discrete version

Hλε:ZεdR,Hλε([z]):=Qεzhλ(x)dx,

where the integration ranges over the cube Qεz:=εz+[0,ε)dTd. Using the boundedness and Lipschitz properties of hδ, we infer that for zZεd,

infZεdHλεcλεd,Hλε(Zεd)Cλεd, 7.12
Hλε1(Zεd)=1,Hλε(·+εz)-Hλε(Zεd)Cλεd+1|z| 7.13

for some non-negative constant Cλ< depending only on λ>0. We then define

Sλ:R+XεR+Xε,Sλm:=zZεdHλε(z)σεzm,Sλ:RaEεRaEε,SλJ:=zZεdHλε(z)σεzJ,

where σεz is defined in (2.5).

Lemma 7.6

(Regularisation in space) Let λ>0. There exist constants cλ>0 and Cλ< such that the following estimates hold, for any ε<12R0, mR+Xε, JMd(Eε), and zZεd:

  • (i)

    Energy bound: Fε(Sλm,SλJ)Fε(m,J).

  • (ii)
    Gain of integrability:
    Sλm(Xε)Cλεdm1(Xε)andSλJ(Eε)CλεdJ1(Eε).
  • (iii)

    Density lower bound: infxXεSλm(x)cλεdm1(X).

  • (iv)
    Spatial regularisation:
    τεzSλm-Sλm(Xε)Cλεd+1|z|m1(Xε)andτεzSλJ-SλJ(Eε)Cλεd+1|z|J1(Eε).
Proof

Using the convexity of F and the identity zHλε(z)=1 we obtain

Fε(Sλm,SλJ)=zZεdεdF(τεzSλmεd,τεzSλJεd-1)zZεdzZεdεdHλε(z)F(τεz+zmεd,τεz+zJεd-1)=zZεd(zZεdHλε(z-z))εdF(τεzmεd,τεzJεd-1)=F(M,J),

where in the last equality we used (7.13). This shows (i). Properties (ii), (iii), and (iv) are straightforward consequence of the uniform bounds (7.12), (7.13) for the discrete kernels Hλε.

Time regularisation

Fix an interval I=(a,b)R and a regularisation parameter τ>0. For (m,J)CEεI, we define for tIτ:=(a+τ,b-τ)

graphic file with name 526_2023_2472_Equ368_HTML.gif

Note that, thanks to the linearity of the continuity equation we get (Tτm,TτJ)CEεIτ.

We have the following regularisation properties for the operator Tτ.

Lemma 7.7

(Regularisation in time) Let τ(0,b-a2). The following estimates hold for all ε<12R0 and all Borel curves m=(mt)tIR+Xε and J=(Jt)tIMd(Eε):

  • (i)
    Energy estimate: for some 0C< depending only on (2.1) we have
    AεIτ(Tτm,TτJ)Aε(m,J)+Cτ(m(I×Xε)+1).
  • (ii)

    Mass estimate: suptIτ(Tτm)tp(Xε)suptImtp(Xε).

  • (iii)

    Momentum estimate: suptIτ(TτJ)tp(Xε)1τIJtp(Xε)dt.

  • (iv)

    Time regularity: suptIτt(Tτm)tp(Xε)1τsuptImtp(Xε).

Proof

Set wτ(s):=(2τ)-1|[(s-τ)a,(s+τ)b]| for sI. Then we have

graphic file with name 526_2023_2472_Equ82_HTML.gif 7.14

as a consequence of Jensen’s inequality and Fubini’s theorem. Using that 0wτ1, I(1-wτ(s))ds=2τ, and the growth condition (2.1) we infer

I(1-wτ(s))Fε(ms,Js)ds-Cτ(m(I×Xε)+1),

which together with (7.14) shows (i).

Properties (ii), (iii) follow directly from the convexity of the p-norms and the subadditivity of the integral.

Finally, (iv) follows from the direct computation t(Tτm)t=12τ(mt+τ-mt-τ).

Effects of the three regularisations

We start with a lemma that shows that the effect of the three regularising operators is small if the parameters are small.

Recall the definition of the Kantorovich-Rubinstein norm as given in “Appendix 1”.

Lemma 7.8

(Bounds in KR-norm) Let IR an interval and (mt)tIR+Xε be a Borel measurable curve of constant total mass (i.e., tmt(Xε) is constant), and let mM+(I×Xε) be the associated measure on space-time defined by m:=dtmt. Then there exists a constant C< depending on |I| such that:

  • (i)

    ιεTτm-ιεmKR(Iτ¯×Td)CτsuptImt1(Xε) for any τ<|I|/2.

  • (ii)

    ιεSλm-ιεmKR(I¯×Td)CλsuptImt1(Xε) for any λ>0.

  • (iii)

    ιεRδm-ιεmKR(I¯×Td)Cδ(m(XQ)+suptImt1(Xε)) for any δ(0,1).

Proof

(i): For any μM(I×Td) and any Lipschitz function φ:Iτ¯×TdR (and, in fact, for any temporally Lipschitz function) we have

graphic file with name 526_2023_2472_Equ369_HTML.gif

Since ιεm(I×Td)|I|suptImt1(Xε) we obtain the result.

(ii): In view of mass-preservation, we have

ιεSλm-ιεmKR(I¯×Td)IιεSλmt-ιεmtKR(Td)dtsuptImt(Xε)IιεHλ-ιεH0KR(Td)dtCλsuptImt(Xε).

Here in the last inequality we used scaling law of the heat kernel.

(iii): Let us write mε:=dtmε for brevity. By linearity, we have

ιε(Rδm-m)KR(I¯×Td)=διε(mε-m)KR(I¯×Td)δ(1+|I|)(mε(I×Tεd)+m(I×Tεd))δ|I|(1+|I|)(m(XQ)+suptImt(Xε)).
Proof of Proposition 7.1

We define

m~:=(RδSλTτ)mandJ~:=(RδSλTτ)J.

We will show that the desired inequalities hold if δ,λ,τ>0 are chosen to be sufficiently small, depending on the desired accuracy η>0. Set Iτ:=(τ,T-τ).

(i): We use the shorthand notation KRτ:=KR(I¯τ×Td). Using Lemma 7.8 we obtain

ιεm-ιεm~KRτιεm-ιεTτmKRτ+ιεTτm-ιε(SλTτ)mKRτ+ιε(SλTτ)m-ιε(RδSλTτ)mKRτM(τ+λ+δ)+m(XQ)δ. 7.15

Furthermore, using Lemma 7.5, Lemma 7.6(i), and Lemma 7.7(i) we obtain the action bound

AεIτ(m~,J~)=Eε((RδSλTτ)m,(RδSλTτ)J)(1-δ)Aε((SλTτ)m,(SλTτ)J)+δTFε(mε,Jε)(1-δ)Aε(m,J)+δTF(m,J)+Cτ(M+1). 7.16

The desired inequalities (7.1) follow by choosing δ, λ, and τ sufficiently small.

(ii): We will show that all the estimates hold with constants depending on η through the parameters δ, λ, and τ.

Boundedness: We apply Lemma 7.5, Lemma 7.6(ii), and Lemma 7.7(ii) &(iii) and obtain the uniform bounds on the mass

suptIτm~t(Xε)εd((1-δ)Cλsupt[0,T]mt1(Xε)+δm(Xε)),εd(CλM+δm(XQ)) 7.17

as well as the uniform bounds on the momentum

suptIτJ~t(Xε)εd-1(1-δτCλsupt[0,T]IεJt1(Xε)dt+δJ(Xε)),εd-1(Cλτ(T(1+M)+E)+δJ(EQ)). 7.18

Time-regularity: From Lemma 7.7(iv), together with Lemma 7.5 and Lemma 7.6(ii), we obtain the uniform bound on the time derivative

suptIτtm~t(Xε)εd(21-δτCλsupt[0,T]mt1(Xε)+δm(Xε)),εd(2CλτM+δm(XQ)). 7.19

Space-regularity: For z,zZεd and vV, Lemma 7.6(iv) and Lemma 7.7(ii) yield

|m~t(z,v)-m~t(z,v)|(1-δ)|(SλTτ)mt(z,v)-(SλTτ)mt(z,v)|Cλεd-1|z-z|Tτmt1(Xε)Cλεd+1|z-z|supt[0,T]mt1(Xε),

which shows that

suptIτσεzm~t-m~t(Xε)Cλεd+1|z|supt[0,T]mt1(Xε)Cλεd+1|z|M. 7.20

Similarly, using the growth condition (2.1) we deduce

suptIτσεzJ~t-J~t(Eε)Cλτεd+1|z|IJs1(Eε)dsCλτεd|z|(T(1+M)+E). 7.21

Domain-regularity: For all tIτ, reasoning as in (7.17) and (7.18), we observe that

ε-d(SλTτm)t(Xε)Cλ(Tτm)t1(Xε)Cλsupt[0,T]mt1(Xε)CλM,ε-d(SλTτJ)t(Eε)Cλ(Tτm)t1(Eε)CλτIJt1(Eε)dtCλτε(T(1+M)+E).

We infer that

τεz(SλTτm)tεd(X)CλMandτεz(SλTτJ)tεd-1(E)Cλτ(T(1+M)+E)

Since

(τεzm~tεd,τεzJ~tεd-1)=(1-δ)(τεz(SλTτm)tεd,τεz(SλTτJ)tεd-1)+δ(m,J),

the claim follows by an application of Lemma C.1 to the product of balls in (X) and (E), taking into account that F is defined on a finite-dimensional subspace by the locality assumption.

Proof of the upper bound

In this section we present the proof of the Γ-limsup inequality in Theorem 5.1. The first step is to introduce the notion of optimal microstructures.

The optimal discrete microstructures

Let I be an open interval in R. We will make use of the following canonical discretisation of measures and vector fields on the cartesian grid Zεd.

Definition 8.1

(Zεd-discretisation of measures) Let μM+(Td) and νMd(Td) have continuous densities ρ and j, respectively, with respect to the Lebesgue measure. Their Zεd-discretisations Pεμ:ZεdR+ and Pεν:ZεdRd are defined by

Pεμ(z):=μ(Qεz),Pεν(z):=QεzQεz+eij·eidHd-1i=1d.

An important feature of this discretisation is the preservation of the continuity equation, in the following sense.

Definition 8.2

(Continuity equation on Zεd) Fix IR an open interval. We say that r:I×ZεdR+ and u:I×ZεdRd satisfy the continuity equation on Zεd, and write (r,u)CEε,dI, if r is continuous, u is Borel measurable, and the following discrete continuity equation is satisfied in the sense of distributions:

trt(z)+i=1d(ut(z)-ut(z-ei))·ei=0,forzZεd. 8.1

Lemma 8.3

(Discrete continuity equation on Zεd) Let (μ,ν)CEI have continuous densities with respect to the space-time Lebesgue measure on I×Td. Then (Pεμ,Pεν)CEε,dI.

Proof

This follows readily from the Gauss divergence theorem.

The key idea of the proof of the upper bound in Theorem 5.1 is to start from a (smooth) solution to the continuous equation CEI, and to consider the optimal discrete microstructure of the mass and the flux in each cube Qεz. The global candidate is then obtained by gluing together the optimal microstructures cube by cube.

We start defining the gluing operator. Recall the operator Tε0 defined in (2.4).

Definition 8.4

(Gluing operator) Fix ε>0. For each zZεd, let

mzR+XandJzRaE

be Zd-periodic. The gluings of m=(mz)zZεd and J=(Jz)zZεd are the functions GεmR+Xε and GεJRaEε defined by

Gεm(Tε0(x)):=mxz(x)forxX,GεJ(Tε0(x),Tε0(y)):=12(Jxz(x,y)+Jyz(x,y))for(x,y)E. 8.2

Remark 8.5

(Well-posedness) Note that Gεm and GεJ are well-defined thanks to the Zεd-periodicity of the functions mz and Jz.

Remark 8.6

(Mass preservation and KR-bounds) The gluing operation is locally mass-preserving in the following sense. Let μM+(Td) and consider a family of measures m=(mz)zZεdR+X satisfying mzRep(Pεμ(z)) for some zZεd. Then:

Gεm(Xε{xz=z})=μ(Qεz)

for every ε>0. Consequently,

ιεGεm-μKR(I¯×Td)μ(I¯×Td)dε 8.3

for all weakly continuous curves μ=(μt)tI¯M+(Td) and all m=(mtz)tI¯,zZεd such that mtzRep(Pεμt(z)) for all tI¯ and zZεd.

Energy estimates for Lipschitz microstructures

The next lemma shows that the energy of glued measures can be controlled under suitable regularity assumptions.

Lemma 8.7

(Energy estimates under regularity) Fix ε>0. For each zZεd, let mzR+X and JzRaE be Zd-periodic functions satisfying:

  • (i)
    (Lipschitz dependence): For all z,z~Zεd
    mz-mz~(X)+εJz-Jz~(E)L|z-z~|εd+1.
  • (ii)
    (Domain regularity): There exists a compact and convex set KD(F) such that, for all zZεd,
    (mzεd,Jzεd-1)K. 8.4

Then there exists ε0>0 depending only on K, F such that for εε0

Fε(Gεm,GεJ)zZεdεdF(mzεd,Jzεd-1)+cε, 8.5

where c< depends only on L, the (finite) Lipschitz constant Lip(F;K), and the locality radius R1.

Proof

Fix z¯Zεd. As m is Zd-periodic, (i) yields for x=(z,v)XR1,

|τεz¯Gεm(x)-mz¯(x)|=|mz¯+z(x)-mz¯(x)|LR1εd+1, 8.6

Similarly, using the Zd-periodicity of J, (i) yields for (x,y)E with x=(z,v)XR1 and y=(z~,v~)XR1,

|τεz¯GεJ(x,y)-Jz¯(x,y)|=|(12Jz¯+z+12Jz¯+z~-Jz¯)(x,y)|LR1εd. 8.7

Hence the domain regularity assumption (ii) imply a domain regularity property for the glued measures, namely

(τεz¯Gεmεd,τεz¯GεJεd-1)K~

for all z¯Zεd and εε0:=12dist(K,D(F))(0,+), where K~D(F) is a slightly bigger compact set than K.

Consequently, we can use the Lipschitzianity of F on the compact set K~ and its locality to estimate the energy as

F(τεz¯Gεmεd,τεz¯GεJεd-1)-F(Mz¯εd,Jz¯εd-1)Lip(F;K~)(τεz¯Gεm-mz¯(XR1)εd+τεz¯GεJ-Jz¯(ER1)εd-1),

where XR:={xX|x|dR} and ER:={(x,y)E|x|d,|y|dR}.

Combining the estimate above with (8.6) and (8.7), we conclude that

F(τεz¯Gεmεd,τεz¯GεJεd-1)-F(Mz¯εd,Jz¯εd-1)2LR1Lip(F;K~)ε.

for εε0. Summation over z¯Zεd yields the desired estimate (8.5).

We now introduce the notion of optimal microstructure associated with a pair of measures (μ,ν)M+(Td)×Md(Td). First, let us define regular measures.

Definition 8.8

(Regular measures) We say that (μ,ν)M+(Td)×Md(Td) is a regular pair of measures if the following properties hold:

  • (i)

    (Lipschitz regularity): With respect to the Lebesgue measure on Td, the measures μ and ν have Lipschitz continuous densities ρ and j respectively.

  • (ii)
    (Compact inclusion): There exists a compact set K~D(fhom) such that
    (ρ(x),j(x))K~for allxTd.

We say that (μt,νt)tIM+(Td)×Md(Td) is a regular curve of measures if (μt,νt) are regular measures for every tI and t(ρt(x),jt(x)) is measurable for every xTd.

Definition 8.9

(Optimal microstructure) Let (μ,ν)M+(Td)×Md(Td) be a regular pair of measures.

  • (i)
    We say that (mz,Jz)zZεdR+X×RaE is an admissible microstructure for (μ,ν) if
    (mz,Jz)Rep(Pεμ(z)εd,Pεν(z)εd-1)
    for every zZεd.
  • (ii)

    If, additionally, (mz,Jz)Repo(Pεμ(z)εd,Pεν(z)εd-1) for every zZεd, we say that (mz,Jz)zZεd is an optimal microstructure for (μ,ν).

Remark 8.10

(Measurable dependence) If t(μt,νt) is a measurable curve in M+(Td)×Md(Td), it is possible to select a collection of admissible (resp. optimal) microstructures that depend measurably on t. This follows from Lemma 4.7; see e.g. [38, Theorem 14.37]. In the sequel, we will always work with measurable selections.

The next proposition shows that each optimal microstructures associated with a regular pair of measures (μ,ν) has discrete energy which can be controlled by the homogenised continuous energy Fhom(μ,ν).

Proposition 8.11

(Energy bound for optimal microstructures) Let (mz,Jz)zZεdR+X×RaE be an optimal microstructure for a regular pair of measures (μ,ν)M+(Td)×Md(Td). Then:

zZεdεdFmzεd,Jzεd-1Fhom(μ,ν)+Cε,

where C< depends only on Lip(fhom;K~) and the modulus of continuity of the densities ρ and j of μ and ν.

Proof

Let us denote the densities of μ and ν by ρ and j respectively. Using the regularity of μ and ν, and the fact that fhom is Lipschitz on K~, we obtain

zZεdεdFmzεd,Jzεd-1=zZεdεdfhom(Pεμ(z)εd,Pεν(z)εd-1)Tdfhom(ρt(a),jt(a))da+Cε,

which is the desired estimate.

Remark 8.12

(Lack of regularity) Suppose that m^:=Gεm and J^:=GεJ are constructed by gluing the optimal microstructure (m,J)=(mz,Jz)zZεd from the previous lemma. It is then tempting to seek for an estimate of the form

graphic file with name 526_2023_2472_Equ370_HTML.gif

However, (mJ) does not have the required a priori regularity estimates to obtain such a bound. Moreover, the gluing procedure does not necessarily produce solutions to the discrete continuity equation if we start with solutions to the continuous continuity equation.

We conclude the subsection with the following L1 and L estimates.

Lemma 8.13

(L1 and L estimates) Let (μt,νt)tIM+(Td)×Md(Td) be a regular curve of measures satisfying

M:=suptIμt(Td)<andA:=AhomI(μ,ν)<. 8.8

Let (mtz,Jtz)zZεdM+(Td)×Md(Td) be corresponding optimal microstructures. Then:

  • (i)
    (Pεμ,Pεν) satisfies the uniform estimate
    supε>0suptIPεμt1(Zεd)=M. 8.9
  • (ii)
    (mt,Jt)tI satisfies the uniform estimate
    supε>0sup(t,x)I×XzZεdmtz(x)M 8.10
    supε>0sup(x,y)EεIzZεd|Jtz(x,y)|dtA+M. 8.11
Proof

The first claim follows since Pεμt1(Zεd)=μt(Td) by construction.

To prove (ii), note that

zZεdxXQmtz(x)=zZεdPεμ(z)=μt(Td),

which yields (8.10).

To prove (8.11), we use the growth condition on F, the periodicity of Jtz, and (i) to obtain for (x,y)E and tI:

εzZεd|Jtz(x,y)|zZεdεd(x~,y~)EQ|Jtz(x~,y~)εd-1|zZεdεdF(mtzεd,Jtzεd-1)+MTdfhom(dμtdx,djtdx)dx+M,

where in the last inequality we applied Proposition 8.11. Integrating in time and taking the supremum in space and ε>0, we obtain (8.11).

Approximation result

The goal of this subsection is to show that despite the issues outlined in Remark 8.12, we can find a solution to CEεI with almost optimal energy that is ·KR-close to a glued optimal microstructure.

In the following result, Iη=(a-η,b+η) denotes the η-extension of the open interval I=(a,b) for η>0.

Proposition 8.14

(Approximation of optimal microstructures) Let (μ,ν)CEIη be a regular curve of measures sastisfying

M:=μ0(Td)<andA:=AhomIη(μ,ν)<.

Let (mtz,Jtz)tI,zZεdR+X×RaE be a measurable family of optimal microstructures associated to (μt,νt)tI and consider their gluing (m^t,J^t)tIR+Xε×RaEε. Then, for every η>0, there exists ε0>0 such that the following holds for all 0<εε0: there exists a solution (m,J)CEεI satisfying the bounds

(measure approximation)ιε(m^-m)KR(I¯×Td)η, 8.12a
(action approximation)AεI(m,J)AhomI(μ,ν)+η+Cε, 8.12b

where C< depends on M, A, |I|, and η, but not on ε.

Remark 8.15

It is also true that

AεI(m,J)AεI(m^,J^)+η+Cε,

but this information is not “useful”, as we do not expect to be able to control AεI(m^,J^) in terms of AhomI(μ,ν); see also Remark 8.12.

The proof consists of four steps: the first one is to consider optimal microstructures associated with (μ,ν) on every scale ε>0 and glue them together to obtain a discrete curve (m,J) (we omit the ε-dependence for simplicity). The second step is the space-time regularisation of such measures in the same spirit as done in the proof of Proposition 7.1. Subsequently, we aim at finding suitable correctors in order to obtain a solution to the continuity equation and thus a discrete competitor (in the definition of Aε). Finally, the energy estimates conclude the proof of Proposition 8.14.

Let us first discuss the third step, i.e. how to find small correctors for (m,J) in order to obtain discrete solutions to CEεI which are close to the first ones. Suppose for a moment that (m,J) are "regular", as in the outcome of Proposition 7.1. Then the idea is to consider how far they are from solving the continuity equation, i.e. to study the error in the continuity equation

gt(x):=tmt(x)+divJt(x),xXε,

and find suitable (small) correctors J~ to J in such a way that (m,J+J~)CEεI.

This is based on the next result, which is obtained on the same spirit of Lemma 7.3 in a non-periodic setting. In this case, we are able to ensure good -bounds and support properties.

Lemma 8.16

(Bounds for the divergence equation) Let g:XεR with xXεg(x)=0. There exists a vector field J:EεR such that

divJ=gandJ(Eε)12g1(Xε). 8.13

Moreover, suppVconvsuppg+BCε with C depending only on X.

Proof

Let g+ be the positive part of g, and let g- be the negative part. By assumption, these functions have the same 1-norm N:=g-1(Xε)=g+1(Xε). Let Γ be an arbitrary coupling between the discrete probability measures g-/N and g+/N.

For any x,ysuppg: take an arbitrary path Pxy connecting these two points. Let Jxy be the unit flux field constructed in Definition 4.4. Then the vector field J:=x,yΓ(x,y)Jxy has the desired properties.

Remark 8.17

(Measurability) It is clear from the previous proof that one can choose the vector field J:EεR in such a way that the function gJ is a measurable map.

The plan is to apply Lemma 8.16 to a suitable localisation of gt, in each cube Qεz, for every zZεd. Precisely, the goal is to find gt(z;·) for every zZεd such that

zZεdgt(z;x)=gt(x),xXεgt(z;x)=0, 8.14

which is small on the right scale, meaning

suppgt(z;·)B(z,Rε),gt(z;·)Cεd. 8.15

Remark 8.18

Note that xXεgt(x)=0 for all tI, since m has constant mass in time and J is skew-symmetric. However, an application of Lemma 8.16 without localisation would not ensure a uniform bound on the corrector field, as we are not able to control the 1-norm of gt a priori.

Remark 8.19

A seemingly natural attempt would be to define gt(z;x):=gt(x)1{z}(xz). However, this choice is not of zero-mass, due to the flow of mass across the boundary of the cubes.

Recall that we use the notation (r,u)CEε,dI to denote solutions to the continuity equation on Zεd in the sense of Definition 8.2. We shall later apply Lemma 8.22 to the pair (r,u)=(Pεμ,Pεν)CEε,dI, thanks to Lemma 8.3.

The notion of shortest path in the next definition refers to the 1-distance on Zεd.

Definition 8.20

For all z,zZεd, we choose simultaneously a shortest path p(z,z):=(z0,,zN) of nearest neighbors in Zεd connecting z0=z to zN=z such that p(z+z~,z+z~)=p(z,z)+z~ for all z~Zεd. Then define for z,z,zZεd and i=1,,d the signs σiz;z,z{-1,0,1} as

σiz;z,z:=-1if(zk-1,zk)=(z,z-ei)for somekwithinp(z,z),1if(zk-1,zk)=(z-ei,z)for somekwithinp(z,z),0otherwise.

Note that since the paths p(z,z) are simple, each pair of nearest neighbours appears at most once in any order, so that σiz;z,z is well-defined.

It follows readily from Definition 8.20 that

zZεdσiz;z,z=(z-z)·ei 8.16

for all z,zZεd and i=1,,d.

Remark 8.21

A canonical choice of the paths p(z,z) is to interpolate first between z1Zε1 and z1Zε1 one step at a time, then between z2 and z2, and so on. The precise choice of path is irrelevant to our analysis as long as paths are short and satisfy p(z+z~,z+z~)=p(z,z)+z~. Since the paths are invariant under translations, so are the signs, i.e.

σiz;z+z~,z+z~=σiz-z~;z,z 8.17

for all z,z~,z,zZεd, which is used in the prof of Lemma 8.22 below.

Lemma 8.22 shows that if we start from a solution to the continuity equation (μ,ν)CEI and consider an admissible microstructure (m,J)=(mtz,Jtz)tI,zZεd associated to (Pεμ,Pεν), then it is possible to localise the error in the continuity equation arising from the gluing (GεM,GεU) as in (8.14).

Lemma 8.22

(Localisation of the error to CEεI) Let (r,u)CEε,dI and suppose that mt:=(mtz)zZεdR+X and Jt:=(Jtz)zZεdRaE satisfy

(mtz,Jtz)Rep(rt(z),ut(z))

for every tI and zZεd. Consider their gluings m^t:=Gεmt and J^t:=GεJt and define, for zZεd and xXε,

gt(x):=tm^t(x)+divJ^t(x), 8.18
gt(z;x):=tm^t(x)1{z}(xz)+12yxi=1dσiz;xz,yz(J~t(z;x,y)-J~t(z-ei;x,y)), 8.19

where J~t(z;·):EεR is the Tεd-periodic map satisfying J~t(z;Tε0(x),Tε0(y))=Jtz(x,y) for all (x,y)E. Then the following statements hold for every tI:

  • (i)
    gt(z;x) is a localisation of the error gt(x) of (m^,J^) from solving CEεI, i.e.,
    zZεdgt(z;x)=gt(x)for allxXε.
  • (ii)
    Each localised error gt(z;·) has zero mass, i.e.,
    xXεgt(z;x)=0for allzZεd.

Proof

(i): For (x,y)Eε, consider the path p(xz,yz)=(z0,,zN) constructed in Definition 8.20. For all tI we have

zZεdi=1dσiz;xz,yz(J~t(z;x,y)-J~t(z-ei;x,y))=k=1N(J~t(zk;x,y)-J~t(zk-1;x,y))=J~t(yz;x,y)-J~t(xz;x,y).

Summation over all neighbours of xXε yields, for all tI,

zZεdgt(z;x)=tmt(x)+12yxzZεdi=1dσiz;xz,yz(J~t(z;x,y)-J~t(z-ei;x,y))=tmt(x)+12yx(J~t(yz;x,y)-J~t(xz;x,y))=tmt(x)+12yx(J~t(yz;x,y)+J~t(xz;x,y))=gt(x),

where we used the Zd-periodicity of (X,E) and the vanishing divergence of Jtxz.

(ii): Fix zZεd and tI. Using the periodicity of J~t(z;·), the identity (8.17), the group structure of Zεd, the relation between J~ and J, the fact that JtzRep(ut(z)), and the identity (8.16), we obtain

(x,y)Eεi=1dσiz;xz,yzJ~t(z;x,y)-J~t(z-ei;x,y)=(x,y)Eεxz=zz~Zεdi=1dσiz;xz+z~,yz+z~J~t(z;x,y)-J~t(z-ei;x,y)=(x,y)Eεxz=zz~Zεdi=1dσiz-z~;xz,yzJ~t(z;x,y)-J~t(z-ei;x,y)=(x,y)Eεxz=zi=1dJ~t(z;x,y)-J~t(z-ei;x,y)z~Zεdσiz~;xz,yz=(x,y)EQi=1d(Jtz(x,y)-Jtz-ei(x,y))(yz-xz)·ei=2i=1d(ut(z)-ut(z-ei))·ei.

By definition of gt(z;·) we obtain

xXεgt(z;x)=xXεxz=ztmt(x)+12i=1d(x,y)Eεσiz;xz,yz(J~t(z;x,y)-J~t(z-ei;x,y))=trt(z)+i=1d(ut(z)-ut(z-ei))·ei=0,

where we used that mtzRep(rt(z)) and eventually that (r,u)CEε,dI.

Now we are ready to prove Proposition 8.14.

Proof of Proposition 8.14

The proof consists of four steps. For simplicity: I:=Iη.

Step 1: Regularisation. Recall the operators Rδ, Sλ, and Tτ as defined in Sect. 7.1. We define

m:=(RδSλTτ)m^andJ¯:=(RδSλTτ)J^,

where δ,λ>0, 0<τ<η will be chosen sufficiently small, depending on the desired accuracy η>0. Due to special linear structure of the gluing operator Gε, it is clear that

m=Gεm¯andJ¯=GεJ¯,

for some (m¯,J¯)=(m¯tz,J¯tz)tI,zZεd. More precisely, they correspond to the regularised version of the measures (mtz,Jtz)tI,zZεd with respect to the graph structure of Zεd. In particular, an application4 of Lemma 8.13, Lemma 7.6, and Lemma 7.7 yields

suptIm¯t·+z-m¯t(Zεd×X)+εJ¯t·+z-J¯t(Zεd×E)C|z|εd+1,suptItm¯t(Zεd×X)Cεd, 8.20

for any zZεd, as well as the domain regularity

{(m¯tzεd,J¯tzεd-1):zZεd,tI}K(DF), 8.21

for a constant C and a compact set K depending only on M, A, δ, λ, and τ. We can then apply Lemma 8.7 and deduce that for every tI, εε0 (depending on K and F),

Fε(mt,J¯t)zZεdεdF(m¯tzεd,J¯tzεd-1)+cε, 8.22

for a cR+ depending on the same set of parameters (via C and Lip(F;K)) and R1.

Step 2: Construction of a solution to CEεI. From now on, the constant C appearing in the estimates might change line by line, but it always depends on the same set of parameters as the constant C in Step 1, and possibly on the size of the time interval |I|.

The next step is to find a quantitative small corrector V in such a way that (m,J¯+V)CEεI. To do so, we observe that by construction we have for every tI

(m¯tz,J¯tz)Rep(rt(z),ut(z)),

where (r,u)CEε,dI (by the linearity of equation (8.1)). Consider the corresponding error functions, for (x,y)Eε, tI, zZεd given by (8.18) and (8.19),

gt(x):=tmt(x)+divJ¯t(x),gt(z;x):=tmt(x)1{xz=z}(x)+12yxi=1dσiz;xz,yz(J~(z;x,y)-J~(z-ei;x,y)),

where J~(z;·):EεR is the Tεd-periodic map satisfying J~(z;Tε0(x),Tε0(y))=J¯tz(x,y), for any (x,y)E. Thanks to Lemma 8.22, we know that

xXεgt(z;x)=0,zZεdgt(z;x)=gt(x),xXε,zZεd.

Moreover, from the regularity estimates (8.20) and the local finiteness of the graph (X,E), we infer for every zZεd

gt(z;·)(Xε)Cεd,suppgt(z;·){xXε:xz-z(Zεd)C}, 8.23

where C only depends on (X,E). Hence, as an application of Lemma 8.16, we deduce the existence of corrector vector fields VtRaZεd×Eε such that

divVt(z;·)=gt(z;·),suppVt(z;·){(x,y)Eε:xz-z(Zεd)C~},Vt(z;·)(Eε)12gt(z;·)1(Xε)Cεd, 8.24

for every tI, zZεd. The existence of a measurable (in tI and zZεd) map Vt(z;·) follows from the measurability of gt(z;·) and Remark 8.17.

We then define V:IRaEε and J:IRaEε as

V:=zZεdV(z;·),J:=J¯+V,

and obtain a solution to the discrete continuity equation (m,J)CEεI.

Step 3: Energy estimates. The locality property (8.24) of Vt(z;·) and local finiteness of the graph (X,E) allow us to deduce the same uniform estimates on the global corrector as well. Indeed for every tI, xXε we have

Vt(x,y):=zB(xz;C~)V(z;x,y),B(xz;C~):=zZεd:z-xz(Zεd)C~,

and hence from the estimate (8.24) we also deduce V(I×Eε)Cεd.

Since (8.21) implies that (τεzmtεd,τεzJ¯tεd-1)K, it then follows that (τεzmtεd,τεzJtεd-1)K for 0<εε0 sufficiently small, where ε0 depends on K and C. Here K is a compact set, possibly slightly larger than K, contained in D(F).

Therefore, we can estimate the energy

suptIsupzZεdF(τεzmtεd,τεzJ¯tεd-1)-F(τεzmtεd,τεzJtεd-1)Lip(F;K)1εd-1V(I×Eε)Cε,

and hence AεI(m,J)AεI(m,J¯)+Cε. Together with (8.22), this yields

AεI(m,J)IzZεdεdF(m¯tzεd,J¯tzεd-1)dt+Cε.

Finally, to control the action of the regularised microstructures (m¯,J¯), we take advantage (as in (7.16)) of Lemma 7.5, Lemma 7.6 (i), and Lemma 7.7 (i) to obtain5

graphic file with name 526_2023_2472_Equ371_HTML.gif

for a c<, where at last we used Proposition 8.11 and that fhom is Lipschitz on K~.

For every given η>0, the action bound (8.12b) then follows choosing τ,δ>0 small enough.

Step 4: Measures comparison. We have seen in (7.15) that Lemma 7.8 implies

ιεm-ιεm^KR([0,T]×Td)M(τ+λ+δ)+m(XQ)δ,

where we also used that mass preservation of the gluing operator, see Remark 8.6. For every η>0, the distance bound (8.12a) can be then obtained choosing τ, λ, δ sufficiently small.

Proof of the upper bound

This subsection is devoted to the proof of the limsup inequality in Theorem 5.1. First we formulate the existence of a recovery sequence in the smooth case.

Proposition 8.23

(Existence of a recovery sequence, smooth case) Fix I=(a,b), a<b, η>0, and set Iη:=(a-η,b+η). Let (μ,ν)CEIη be a solution to the continuity equation with smooth densities (ρt,jt)tIη and such that

AhomIη(μ,ν)<and{(ρt(x),jt(x)):(t,x)Iη×Td}D(fhom). 8.25

Then there exists a sequence of curves (mtε)tI¯R+Xε such that ιεmεμ|I¯×Td weakly in M+(I¯×Td) as ε0 and

lim supε0AεI(mε)AhomIη(μ,ν)+Cη|I|(μ0(Td)+1), 8.26

for some C<.

Proof

We write KRI:=KR(I¯×Td). Let (μ,ν)CEIη be smooth curves of measures satisfying the assumptions (8.25). Let (m^,J^) be the gluing of a measurable family of optimal microstructure associated with (μ,ν), for every ε>0. For every η>0, Proposition 8.14 yields the existence of (mη,Jη)CEεI, a constant Cη, and ε0=ε0(η) depending on η such that

ιε(mη-m^)KRIη,Aε(mη,Jη)Ahom(μ,ν)+η+εCη,

for every εε0.

Using Remark 8.6, in particular (8.3), and that (mη,Jη)CEεI, we infer

ιε(mη)-μKRIη+μ(I¯×Td)εd,Aε(mη)Ahom(μ,ν)+η+εCη.

for every εε0. Therefore, we can find a diagonal sequence η=η(ε)0 as ε0 such that, if we set mε:=mη(ε), we obtain

limε0ιε(mε)-μKRI=0,lim supε0AεI(mε)AhomI(μ,ν)AhomIη(μ,ν)+Cη|I|(μ0(Td)+1),

where at last we used the growth condition (3.2).

In order to apply Proposition 8.23 for the existence of the recovery sequence in Theorem 5.1 we prove that the set of solutions to the continuity equation (3.4) with smooth densities are dense-in-energy for AhomI.

Definition 8.24

(Affine change of variable in time) Fix I=(a,b). For any η>0, we consider the unique bijective increasing affine map Sη:I(a-2η,b+2η). For every interval I~I and every vector-valued measure ξMn(I~×Td), nN, we define the changed-variable measure

Sη[ξ]Mn(Sη(I~)×Td),Sη[ξ]:=|I|+4η|I|(Sη,id)#ξ. 8.27

Remark 8.25

(Properties of Sη) The scaling factor of Sη[ξ] is chosen so that if ξLd+1, then Sη[ξ]Ld+1 and we have for (t,x)Sη(I~)×Td the equality of densities

dSη[ξ]dLd+1(t,x)=dξdLd+1((Sη)-1(t),x). 8.28

Moreover, if (μ,ν)CEI then (|I|+4η|I|Sη[μ],Sη[ν])CESη(I).

We are ready to state and prove the last result of this section.

Proposition 8.26

(Smooth approximation of finite action solutions to CEI) Fix I:=(a,b) and fix (μ,ν) CEI with Ahom(μ,ν)<. Then there exists a sequence {ηk}kR+ such that ηk0 as k and measures (μk,νk)CEIk for Ik:=(a-ηk,b+ηk) so that as k

(μk,νk)(μ,ν)weakly inM+(I×Td)×Md(I×Td), 8.29
dμkdLd+1Cb(Ik×Td),dνkdLd+1Cb(Ik×Td;Rd), 8.30

and such that the following action bound holds true:

lim supkAhomIk(μk,νk)AhomI(μ,ν). 8.31

Moreover, for any given kN we have the inclusion

{(dμkdLd+1(t,x),dνkdLd+1(t,x)):(t,x)Ik×Td}(Dfhom). 8.32

Proof

Without loss of generality we can assume fhom0, if not we simply consider g(ρ,j)=fhom(ρ,j)+Cρ+C for CR+ as in Lemma 3.14. For simplicity, we also assume I:=(0,T), the extension to a generic interval is straightforward.

Fix (μ,ν) CET with Ahom(μ,ν)<.

Step 1: regularisation. The first step is to regularise in time and space. To do so, we consider two sequences of smooth mollifiers φ1k:RR+, φ2k:TdR for kN of integral 1, where suppφ1k=[-αk,αk], suppφ2k=B1k(0)Td with αk0 as k to be suitably chosen. We then set φk:R×TdR+ as φk(t,x):=φ1k(t)φ2k(x).

We define space-time regular solutions to the continuity equation as

(m~uk,ν~k):=φk(μ,ν)CE(αk,T-αk),(m^uk,ν^k):=(T+4ηkTSηk[m~uk],Sηk[ν~k])CEIk,

where Ik:=Sηk((αk,T-αk)). Note that the mollified measures are defined only We choose αk:=TηkT+4ηk, so that Ik=(-ηk,T+ηk).

Finally, for (ρ,j) as given in (4.8), we define

(μk,νk):=(1-δk)(m^uk,ν^k)+δk(ρ,j)Ld+1CEIk, 8.33

for some suitable choice of ηk,δk0.

Step 2: Properties of the regularised measures. First of all, we observe that (μk,νk)Ld+1 with smooth densities for every kN, so that (8.30) is satisfied. Secondly, the convergence (8.29) easily follows by the properties of the mollifiers and the fact that Sηid uniformly in (0, T) as η0.

Moreover, we note that for t>0, using that μt(Td) is constant on (0, T) one gets

supt(αk,T-αk)dμ~tkdxφ2kμ((0,T)×Td)=:Ck<+,dν~kdLd+1φk|ν|((0,T)×Td)<, 8.34

and thanks to (8.28) an analogous uniform estimate holds true for (μ^k,ν^k) too. We can then apply Lemma C.1 and find convex compact sets Kk(Dfhom) such that {(dμkdLd+1(·),dνkdLd+1(·))}Kk, so that (8.32) follows.

Additionally, pick θ>0 such that B:=B((ρ,j),θ)(Dfhom). From (8.28), if one sets Sk:=Sηk, we see that

(dμkdLd+1,dνkdLd+1)(t,x)=(1-δk)(dμ~kdLd+1,dμ~kdLd+1)(Sk-1(t),x)+δk(ρ~tk(x),j) 8.35

for tIk and xTd, where the functions ρ~k are given by

ρ~tk(x):=ρ+1-δkδk2ηkdμ~kdLd+1(Sk-1(t),x).

We choose δk such that θδk>2ηkCk and from (8.34) we get that

(ρ~tk(x),j)B,tIk,xTd,kN. 8.36

For example we can pick ηk:=(4kCk)-1 and θδk=k-1, both going to zero when k+.

Step 3: action estimation. As the next step we show that

Ahom(αk,T-αk)(μ~k,ν~k)AhomT(μ,ν),kN. 8.37

One can prove (8.37) using e.g. the fact [10] that for every interval I the action AhomI is the relaxation of the functional

(μ,ν)I×TdfhomdμdLd+1,dνdLd+1dLd+1,if(μ,ν)dLd+1,+,otherwise,

for which (8.37) follows from the convexity and nonnegativity of fhom and the properties of the mollifiers φk.

We shall then estimate the action of (μk,νk). From (8.35) and (8.36), using the convexity of fhom and the definition of the map Sη, we obtain

AhomIk(μk,νk)-(1+2ηk)δksupBfhom(1-δk)Ik×Tdfhom(dμ~kdLd+1(Sk-1(t),x),dν~kdLd+1(Sk-1(t),x))dLd+1(1-δk)(1+4ηk)Ahom(αk,T-αk)(μ~k,ν~k)(1-δk)(1+4ηk)AhomT(μ,ν),

where in the last inequality we used (8.37). Taking the limsup in k

lim supk+AhomIk(μk,νk)AhomT(μ,ν) 8.38

which concludes the proof of (8.31).

Now we are ready to prove the limsup inequality (5.2) in Theorem 5.1.

Proof of Theorem 5.1 (upper bound)

Fix μM+(I×Td). By definition of AhomI(μ), it suffices to prove that for every νMd(I×Td) such that (μ,ν)CET and AhomI(μ,ν)<+, we can find mε:I¯R+Xε such that ιεmεμ weakly in M+(I×Td) and lim supεAεI(mε)AhomI(μ,ν).

For any such (μ,ν), we apply Proposition 8.26 and find a smooth sequence (μk,νk)kCEI(k) where I(k)=(-ηk,T+ηk), where ηk0 and such that (8.31) and (8.32) hold with (μk,νk)(μ,ν) weakly in M+(I×Td)×Md(I×Td) as k+. In particular

supkNsuptIμtk(Td)=supkNμ0k(Td)<. 8.39

Hence we can apply Proposition 8.23 and find mε,kM+(I¯×Td) such that ιεmε,kμk weakly in M+(I¯×Td) and for each kN,

lim supε0AεI(mε,k)AhomI(k)(μk,νk)+Cηk|I|(μ0k(Td)+1). 8.40

We conclude by extracting a subsequence mε:=mε,k(ε) such that ιεmεμ weakly in M+(I×Td) as ε0 and from (8.39), (8.40), (8.31) we have

lim supε0AεI(mε)AhomI(μ,ν),

which concludes the proof.

Analysis of the cell problem

In the final section of this work, we discuss some properties of the limit functional Ahom and analyse examples where explicit computations can be performed. For ρR+ and jRd, recall that

fhom(ρ,j):=inf{F(m,J):(m,J)Rep(ρ,j)},

where Rep(ρ,j) denotes the set of representatives of (ρ,j), i.e., all Zd-periodic functions mR+X and JRaE satisfying

xXQm(x)=ρ,Eff(J)=12(x,y)EQJ(x,y)(yz-xz)=j,anddivJ0.

Invariance under rescaling

We start with an invariance property of the cell-problem. Fix a Zd-periodic graph (X,E) as defined in Assumption 2.1. For fixed ε>0 with ε1N, we consider the rescaled Zd-periodic graph (X~,E~) obtained by zooming out by a factor 1ε, so that each unit cube contains (1ε)d copies of XQ. Slightly abusing notation, we will identify the corresponding set V~ with the points in Tεd.

Let F~ be the analogue of F on (X~,E~), and let f~hom be the corresponding limit density. In view of our convergence result, the cell-formula must be invariant under rescaling, namely fhom=f~hom. We will verify this identity using a direct argument that crucially uses the convexity of F.

One inequality follows from the natural inclusion of representatives

Rep(ρ)εdRep~(ρ),Rep(j)εd-1Rep~(j), 9.1

which is obtained as m~:=εd(τε0)-1(m) and J~:=εd-1(τε0)-1(J) for every (m,J)Rep(ρ,j). Here we note that the inverse of τε0 is well-defined on Zd-periodic maps. In particular we have

xX~Qm~(x)=xXQm(x)=ρ,Eff(J~)=Eff(J),andF~(m~,J~)=F(m,J),

which implies that fhomf~hom.

The opposite inequality is where the convexity of F comes into play. Pick (m~,J~)Rep~(ρ,j). A first attempt to define a couple in Rep(ρ,j) would be to consider the inverse map of what we did in (9.1), but the resulting maps would not be Zd-periodic (but only 1εZd-periodic). What we can do is to consider a convex combination of such values. Precisely, we define

m(x):=εdzZεdτεzm~(x)εdandJ(x,y):=εdzZεdτεzJ~(x,y)εd-1

for all (x,y)XQ. The linearity of the constraints implies that (m,J)Rep(ρ,j). Moreover, using the convexity of F we obtain

F(m,J)=F(εdzZεd(τεzm~εd,τεzJ~εd-1))zZεdεdF(τεzmεd,τεzJεd-1)=F~(m~,J~),

which in particular proves that fhomf~hom.

The simplest case: V={v} and nearest-neighbor interaction.

The easiest example we can consider is the one where the set V consists of only one element vV. In other words, we focus on the case when XZd and thus XεTεd. We then consider the graph structure defined via the nearest-neighbor interaction, meaning that E consists of the elements of (x,y)Zd×Zd such that |x-y|=1.

In this setting, XQV consists of only one element and EQ(v,v±ei):i=1,,d has cardinality 2d. In particular, for every ρR+ and jRd, the set Rep(ρ,j) consists of only one element (m_,J_) given by

m_(x)=ρ,J_(v,v±ei)=±ji,for all(x,y)Eandi=1,,d.

Consequently, the homogenised energy density is given by fhom(ρ,j)=F(m_,J_).

In the special case where F is edge-based (see Remark 2.5) with edge-energies {F±i} for i=1,,d, we have

F(m,J)=i=1dFi(m(0),m(ei),J(0,ei))+F-i(m(0),m(-ei),J(0,-ei)),andfhom(ρ,j)=i=1dFi(ρ,ρ,ji)+F-i(ρ,ρ,-ji)for allρR+,jRd.

The even more special case of the discretised p-Wasserstein distance corresponds to Fi(ρ1,ρ2,j)=|j|p2Λ(ρ1,ρ2)p-1, where the mean Λ is a mean as in (2.3). We then obtain

fhom(ρ,j)=|j|ppρp-1,

for ρR+ and jRd, which corresponds to the p-Wasserstein distance induced by the p-distance |·|p on the underlying space Td. The case p=2 corresponds to the framework studied in [24].

As we will discuss in Sect. 9.4, this result can also be cast in the more general framework of isotropic finite-volume partitions of Td.

Embedded graphs

In this section, we shall use an equivalent geometric definition of the effective flux. We can indeed formulate an interesting expression for fhom in the case where (X,E) is an embedded Zd-periodic graph in Td, in the sense of Remark 2.2. We thus choose V to be a subset of [0,1)d and use the identification (z,v)z+v, so that X can be identified with a Zd-periodic subset of Rd.

Let us define

Effgeo(J):=12(x,y)EQJ(x,y)(y-x).

Note that we simply replaced yz-xzZ by y-xRd in the definition of Eff(J). Remarkably, the following result shows that Eff(J)=Effgeo(J) for any periodic and divergence-free vector field J. In particular, Effgeo(J) does not depend on the choice of the embedding into Td. As a consequence, one can equivalently define Rep(j), and hence the homogenised energy density fhom(ρ,j), in terms of Effgeo(J) instead of Eff(J).

Proposition 9.1

For every periodic and divergence-free vector field JRaE we have Eff(J)=Effgeo(J).

Proof

Note first that any given point configuration can be transformed into any other configuration by successively shifting each of the points. Therefore it suffices to show that Effgeo(J) is invariant when perturbing the location of any single point.

Fix x0XQ. For a positive (small enough) parameter t>0 and a vector vRd, consider the modified embedded Zd-periodic graph (X(t),E(t)) in Td obtained from X by shifting the nodes x0+Zd by tvTd, i.e., we consider the shifted node x0(t):=x0+tv instead of x0 (and with it, the associated edges). Fix a divergence-free and Zd-periodic discrete vector field JRaERaE(t) and consider, for t>0, the corresponding effective flux

Effgeo(t,J):=12(x,y)EQ(t)J(x,y)(y-x).

We claim that ddtEffgeo(t,J)=0. Indeed, by construction we have

2ddtEffgeo(t,J)=-yx0J(x0,y)v+zZdxXQxx0+zJ(x,x0+z)v=Jper.-divJ(x0)v+zZdxXQx-zx0J(x-z,x0)v=-divJ(x0)v+xx0J(x,x0)v=-divJ(x0)v+xx0J(x0,x)v=-2divJ(x0)v.

Since J is divergence-free, this proves the claim. In particular, tEffgeo(t,J) is constant, hence the value of Effgeo does not depend on the location of the embedded points. This also implies the sought equality Eff(J)=Effgeo(J), since Eff(J) corresponds to the limiting case where all the elements of V “collapse” into a single point of [0,1)d.

Periodic finite-volume partitions

The next class of examples are the graph structures associated with Zd-periodic finite-volume partitions (FVPs) T of Rd. We refer to [14] for a general treatment.

Definition 9.2

(Zd-periodic finite-volume partition) Consider a countable, locally finite, Zd-periodic family of points XRd together with a family of nonempty open bounded convex polytopes KxRd for xX, such that Kx+z=Kx+z for all xX and zZd. We call

T:={(x,Kx):xX}

a Zd-periodic finite-volume partition of Rd if

  1. xXKx¯=Rd;

  2. KxKy= whenever xyX;

  3. y-xKxKy whenever Hd-1(KxKy)>0.

We define a graph structure on X by declaring those pairs (x,y)X×X with Hd-1(KxKy)>0 to be nearest neighbors.

It is not difficult to see that the graph (X,E) is connected, Zd-periodic, and locally finite, even if xKx. Throughout this section we use the following notation for x,yX:

|Kx|:=Ld(Kx),dxy:=|y-x|,sxy:=Hd-1(KxKy),nxy:=y-xdxySd-1.

In the finite-volume framework, we are interested in transport distances with a nonlinear mobility. These distances were introduced in [13] as natural generalisations of the 2-Wasserstein metric. We thus fix a concave upper-semicontinuous function m:R+×RdR+ and consider the energy density functional

f(ρ,j):=|j|22m(ρ)ifm(ρ)>0,+ifm(ρ)=0andj0,0ifm(ρ)=0andj=0. 9.2

To discretise this energy density, we fix for every edge (x,y)E an admissible version of m:R+R+, i.e., a nonnegative concave upper-semicontinuous function mxy:R+×R+R+ satisfying mxy(ρ,ρ)=m(ρ) for all ρR+ and (x,y)E. We always assume that mxy(ρ1,ρ2)=myx(ρ2,ρ1) for all ρ1,ρ2R+. It is easy to check that F satisfies the superlinear growth condition 5.4. Furthermore, concavity of mxy implies convexity of F.6 We then consider the edge-based cost defined by

F(m,J):=12(x,y)EQdxysxyJ(x,y)2mxy(m(x)|Kx|,m(y)|Ky|), 9.3

Consistent with (9.2), we use the convention that

J(x,y)2mxy(m(x)|Kx|,m(y)|Ky|)=+ifmxy(m(x)|Kx|,m(y)|Ky|)=0andJ(x,y)0,0ifmxy(m(x)|Kx|,m(y)|Ky|)=0andJ(x,y)=0. 9.4

It is now natural to ask whether the discrete action functionals associated to F converge to the continuous action funtional associated to f: is it true that fhom=f?

In the linear case where m(ρ)=ρ, which corresponds to the 2-Wasserstein metric, this question has been extensively studied in [26] for a large class of (not necessarily periodic) meshes. The main result in [26] asserts that the limit of the discrete transport distances Wε (in the Gromov-Hausdorff sense) as ε0 coincides with the 2-Wasserstein distance W2 on P(Td) if an asymptotic local isotropy condition is satisfied. Moreover, it is shown that this convergence fails to hold if the isotropy condition fails to hold (in a sufficiently strong sense).

For periodic finite-volume partitions we show here that these results are direct consequences of Theorem 5.1. In particular, the following result contains a necessary and condition on a periodic finite-volume partition that ensures that fhom=f.

Proposition 9.3

Consider a Zd-periodic finite-volume partition of Rd, and let F and f be as in (9.2) and (9.3) respectively. The following assertions hold:

  • (i)

    fhom(ρ,j)f(ρ,j) for all ρR+ and jRd.

  • (ii)
    Suppose that for every ρR+ and jRd there is a family of vectors (pxy)(x,y)ER2 such that
    pxy=(p1xy,p2xy)+mxy(ρ,ρ)for all(x,y)E,and 9.5
    1|Kx|yx(p1xy+p2yx)dxysxy(nxy·j)2is independent ofxX. 9.6
    Then: fhom=f.
  • (iii)
    Suppose that all mxy are differentiable in a neigbourhood of the diagonal in (0,)2. Then fhom=f if and only if
    yx1mxy(ρ,ρ)m(ρ)dxysxynxynxy=|Kx|idfor allxXandρ>0. 9.7

Remark 9.4

The condition (iii) is satisfied for a class of meshes satisfying a weighted isotropy condition. For given edge weights λxy(0,1), this condition reads as

yxλxydxysxynxynxy=|Kx|idfor allxX.

We refer to [26, Definition 1.4] for this notion on domains in Rd and to [25, Definition 4.3] for the one-dimensional periodic setting. In this case, given a mobility function m, the functions mxy can be chosen to be of the form mxy(ρ,ρ)=m(θxy(ρ,ρ)) where θxy is a mean that is compatible with λxy in the sense that 1θxy(1,1)=λxy; see [26, Definition 1.4]. In this situation the identity f=fhom holds for all choices of the mobility m, since 1mxy(ρ,ρ)=m(ρ)1θxy(ρ,ρ)=m(ρ)λxy. Therefore, the condition (9.7) reduces to the isotropy condition above; in particular, it does not depend on m.

Before we prove Proposition 9.3, we first show an elementary identity for finite-volume partitions; see also [26, Lemma 5.4] for a similar result in a non-periodic setting.

Lemma 9.5

Let T be a Zd-periodic finite-volume partition of Rd. Then

12(x,y)EQdxysxynxynxy=id. 9.8

Proof

For vRd\{0} and (x,y)E, consider the open bounded convex polytope

Cxy:={z(KxKy)+Rv:z·v(conv(x·v,y·v))}.

Note that Cxy=Cyx. We claim that the family {Cxy:(x,y)E} forms a partition of Rd up to a set of Lebesgue measure zero. To see this, fix a point zRd and consider the function X:RX defined by X(t)=x if z+tvKx. If v is not orthogonal to any of the finitely many nxy, then X(t) is well-defined up to a countable set NR. By Fubini’s theorem, it follows that Ld(Rd\(x,y)ECxy)=0.

If tN and X(t-)=x, X(t+)=y, then (y-x)·v=dxynxy·v>0. This shows that tv·X(t) is nondecreasing and that z is in at most one parallelepiped.

On the other hand, we have

Ld(Cxy)=dxysxynxy·v|v|2.

Then we have

1=12xXyxLd(Cxy[0,1)d)=12xXQyxLd(Cxy)=12(x,y)EQdxysxy(nxy·v|v|)2=v|v|·(12(x,y)EQdxysxynxynxy)v|v|.

Since this identity holds for almost every vRd, (9.8) holds by polarization.

Proof of Proposition 9.3

(i): We construct a competitor (m,J) to the cell problem (4.6) for ρR+ and jRd. Define

m(x):=|Kx|ρandJ(x,y):=sxy(j·nxy). 9.9

We claim that (m,J)Rep(ρ,j). Indeed, the periodicity of T yields

xXQm(x)=ρxXQ|Kx|=ρLd([0,1)d)=ρ,

which shows that mRep(ρ). To show that JRep(j), we use the divergence theorem to obtain, for xX,

divJ(x)=yxJ(x,y)=yxsxy(j·nxy)=Kxj·ndHd-1=0.

Moreover, using Proposition 9.1 and Lemma 9.5 we find

Eff(J)=12(x,y)EQJ(x,y)(yz-xz)=12(x,y)EQJ(x,y)(y-x)=12(x,y)EQsxy(j·nxy)(y-x)=12(x,y)EQdxysxy(nxynxy)j=j,

which proves that JRep(j). Therefore, using that mxy is an admissible version of m, another application of Lemma 9.5 yields (taking (9.4) into account),

fhom(ρ,j)F(m,J)=12(x,y)EQdxysxyJ(x,y)2mxy(ρ,ρ)=1m(ρ)j·12(x,y)EQdxysxynxynxyj=|j|2m(ρ)=f(ρ,j),

which proves (i).

(iii): Suppose first that condition (9.7) holds. We will show that (m,J) is a critical point of F. Take (m~,J~)Rep(0,0) and define, for ε>0 sufficiently small,

mε:=m+εm~andJε:=J+εJ~.

Then:

ε|ε=0F(m,Jε)=12ε|ε=0(x,y)EQdxysxyJ(x,y)2mxy(ρ,ρ)=1m(ρ)(x,y)EQdxysxyJ(x,y)J~(x,y)=1m(ρ)(x,y)EQj·(y-x)J~(x,y)=1m(ρ)j·Eff(J~)=0.

Furthermore, using the symmetry mxy(a,b)=myx(b,a)= for a,b0, we obtain

ε|ε=0F(mε,J)=-12(x,y)EQdxysxyJ(x,y)2m(ρ)2(m~(x)|Kx|1mxy(ρ,ρ)+m~(y)|Ky|2mxy(ρ,ρ))=-(x,y)EQdxysxyJ(x,y)2m(ρ)2m~(x)|Kx|1mxy(ρ,ρ)=-m(ρ)m2(ρ)|j|2xXQbx(ρ,j)m~(x)|Kx|, 9.10

where we write bx(ρ,j):=(x,yEQ1mxy(ρ,ρ)m(ρ)dxysxy(nxy·j)2|j|2, so that the condition (9.7) reads as bx(ρ,j)=|Kx| for all ρ>0, jRd, and xXQ. Hence, if this condition holds, we obtain, since m~(x)Rep(0),

ε|ε=0F(mε,J)=-m(ρ)m2(ρ)|j|2xXQm~(x)=0.

Adding the identities above, we conclude that ddε|ε=0F(mε,Jε)=0 whenever (9.7) holds. Therefore, (m,J) is a critical point of F in Rep(ρ,j). By convexity of F, it is a minimiser. Consequently, using Lemma 9.5, we obtain

fhom(ρ,j)=F(m,J)=12m(ρ)(x,y)EQdxysxy(j·nxy)2=|j|2m(ρ)=f(ρ,j),

which is the desired identity.

To prove the converse, we assume that (9.7) does not hold, i.e., we have bx¯(ρ,j)|Kx¯| for some ρ>0, jRd, and x¯X. On the other hand, we claim that

xXQbx(ρ,j)=1.

To see this, observe first that, by definition of admissibility of mxy and the symmetry assumption mxy(a,b)=myx(b,a), we have

m(ρ)=ε|ε=0m(ρ+ε)=ε|ε=0mxy(ρ+ε,ρ+ε)=1mxy(ρ,ρ)+2mxy(ρ,ρ)=1mxy(ρ,ρ)+1myx(ρ,ρ).

Using this identity, the periodicity of m and J, and the identity (9.8) we obtain

xXQbx(ρ,j)=(x,yEQ1mxy(ρ,ρ)m(ρ)dxysxy(nxy·j)2|j|2=12(x,yEQ1mxy(ρ,ρ)+1myx(ρ,ρ)m(ρ)dxysxy(nxy·j)2|j|2=12(x,yEQdxysxy(nxy·j)2|j|2=1,

which proves the claim.

We thus infer that bx(ρ,j)/|Kx| is non-constant in x. (If it were, the identity x|Kx|=1=xbx(ρ,j) would imply that bx(ρ,j)=|Kx| for all x. But we assume that this doesn’t hold for x=x¯.) Consequently, there exists a Zd-periodic function m~:XR with xXQm~(x)=0 such that

xXQbx(ρ,j)m~(x)|Kx|0.

As before, we consider (m,J)Rep(ρ,j) defined by (9.9). In view of (9.10), we infer that (m,J) is not a critical point of F in Rep(ρ,j). As (m,J) is a relatively interior point of Rep(ρ,j), it cannot be a minimiser, hence fhom(ρ,j)<F(m,J)=f(ρ,j).

(ii): We construct an element of the subgradient (pm,pJ)-F(m,J) with pm,dm=pJ,dJ=0 for all dmRep(0), dJRep(0).

We set

pm(x):=yxJ(x,y)2|Kx|m2(ρ)dxysxy(p1xy+p2yx)

and check by a simple calculation involving the chosen supergradients pxy that F(m+dm,J)-F(m,J)pm,dm for all dmRX periodic. The isotropy condition (9.6) implies that pm is independent of x and thus pm,dm=0 for all dmRep(0).

Since F is differentiable in J, we have to choose pJ:=JF(m,J). By the same calculation as in (3) we see that pJ,dJ=0 for all dJRep(0).

To see that (mJ) is indeed a local (and thus global) minimiser of F in Rep(ρ,j), we introduce a parameter ε>0 and show that

lim infε01εF(m+εdm,J+εdJ)-F(m,J)0 9.11

for all dmRep(0) and dJRep(0).

To see this, we expand the difference

1εF(m+εdm,J+εdJ)-F(m,J)=1εF(m+εdm,J+εdJ)-F(m+εdm,J)+1εF(m+εdm,J)-F(m,J)0JF(m,J)+o(1),dJε00,

where we used that (m,J)JF(m,J) is continuous. Because F is convex, (9.11) implies that (mJ) is a minimiser of F in Rep(ρ,j).

Remark 9.6

Given a concave mobility m:R+R+, a popular admissible version is to take mxy(a,b):=m(λxya+(1-λxy)b), with weights λxy[0,1]. If m is differentiable, this means that 1mxy(ρ,ρ)=λxym(ρ). As a result, for certain finite-volume partitions we have to choose the weights λxy to satisfy (9.7).

Of particular importance is the W2 case m(ρ)=ρ, which was treated in [26] and [25]. Here an admissible version mxy is called an admissible mean. For differentiable mxy, condition (9.7) reduces to

yx1m(ρ,ρ)dxysxynxynxy=|Kx|id.

We note that condition (9.7) cannot be satisfied for a large class of finite-volume partitions, although the square partition fulfills it with 1m(ρ,ρ)=1/2. The condition also holds for some other partitions that are not Zd-periodic, such as the equilateral triangular and hexagonal partitions; see [26].

If we allow ourselves to use nonsmooth admissible versions of m, it makes sense to use mxy(a,b):=m(min(a,b)), as this choice guarantees the largest possible supergradient +mxy=+m{(λ,1-λ):λ[0,1]} along the diagonal, making it more likely that fhom(ρ,j)=|j|22m(ρ).

Example 9.7

Let us consider the triangulation given in Fig. 6, where each unit square consists of four triangles: north, south, west, and east. We now show that (9.7) cannot be satisfied here, but (9.6) is satisfied for the particular nonsmooth choice mxy(ρ1,ρ2)=min(ρ1,ρ2).

Fig. 6.

Fig. 6

A Z2-periodic finite-volume partition of R2. The unit cube [0,1]2R2 is shown in red (color figure online)

For the smooth case we assume that mxy(ρ,ρ)=ρ and define λxy=1mxy and λyx=2mxy. Note that by the chain rule λxy+λyx=1. Let

Ax:=yxλxydxysxynxynxy.

For xN in the north triangle and xS in the south triangle we obtain that

e2·(AN+AS)e2=12+18(λSE+λNE+λSW+λNW)

since dNWsNW=14, dNSsNS=12, nNS=e2 and nNE=(12,-12)T Similarly we obtain for xW in the west and xE in the east triangle

e1·(AW+AE)e1=12+18(λES+λEN+λWS+λWN).

Inserting the last two equalities into (9.7) we find that e2·Axe2=e1·Axe1=14 for all x{S,E,N,W}, i.e. that

λSE+λNE+λSW+λNW=λES+λEN+λWS+λWN=0.

But this is a contradiction to λxy+λyx=1. In particular there exists no mxy satisfying (9.7).

For the nonsmooth case note that the supergradient for mxy(ρ1,ρ2)=min(ρ1,ρ2) is given by

+mxy(ρ,ρ)={(λ,1-λ):λ[0,1]}.

For ρR+ and jRd we set

pNS=pSN=pEW=pWE=12,12+mxy(ρ,ρ)pNE=pNW=pSE=pSW=j12|j|22,j22|j|22+mxy(ρ,ρ)pEN=pWN=pES=pWS=j22|j|22,j12|j|22+mxy(ρ,ρ).

We need to show that ax,j:=1|Kx|yx(p1xy+p2yx)dxysxy(nxy·j)2 is independent of x. For x in the north or the south triangle we find

aS,j=aN,j=412j22+282j12|j|22(j1-j2)22+(j1+j2)22=412j22+12j12|j|22|j|22=2|j|22.

Similarly for x in the west or east triangle we obtain

aE,j=aW,j=412j12+282j22|j|22(j2-j1)22+(j1+j2)22=412j12+12j22|j|22|j|22=2|j|22.

Consequently, this is independent of x and (9.6) holds.

Acknowledgements

J.M. gratefully acknowledges support by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 716117). J.M and L.P. also acknowledge support from the Austrian Science Fund (FWF), grants No F65 and W1245. E.K. gratefully acknowledges support by the German Research Foundation through the Hausdorff Center for Mathematics and the Collaborative Research Center 1060. P.G. is partially funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)—350398276. We thank the anonymous reviewer for the careful reading and for useful suggestions.

Appendix A: The Kantorovich–Rubinstein metric on signed measures

We collect some facts on the Kantorovich–Rubinstein metric that are used in the paper. We refer to [8, Section 8.10(viii)] for more details.

Let (Xd) be a metric space. Let M(X) denote the space of finite signed Borel measures on X. For μM(X), let μ+,μ-M+(X) be the positive and negative parts, respectively. Let |μ|=μ++μ- be its variation, and μTV:=|μ|(X) be its total variation.

Definition A.1

(Weak and vague convergence) Let μ,μnM(X) for n=1,2,.

  • (i)

    We say that μnμ weakly in M(X) if XψdμnXψdμ for every ψCb(X).

  • (ii)

    We say that μnμ vaguely in M(X) if XψdμnXψdμ for every ψCc(X).

If (Xd) is compact, M(X) is a Banach space endowed with the norm μTV. By the Riesz-Markov theorem, it is the dual space of the Banach space C(X) of all continuous functions ψ:XR endowed with the supremum norm ψ=supxX|ψ(x)|.

For ψ:XR let Lip(ψ):=supxy|ψ(x)-ψ(y)|d(x,y) be its Lipschitz constant.

Definition A.2

Let (Xd) be a compact metric space. The Kantorovich–Rubinstein norm on M(X) is defined by

μKR(X):=sup{Xψdμ:ψC(X),ψ1,Lip(ψ)1}. A.12

In non-trivial situations (i.e., when X contains an infinite convergent sequence), the norms ·KR and ·TV are not equivalent. Thus, by the open mapping theorem, (M(X),·KR) is not a complete space.

A closely related norm on M(X) that is often considered is

μKR~(X):=|μ(X)|+sup{Xψdμ:ψC(X),ψ(x0)=0,Lip(ψ)1},

for some fixed x0X; see [8, Section 8.10(viii)]. The next result shows that these norms are equivalent.

Proposition A.3

Let (Xd) be a compact metric space. For μM(X) we have

μKR(X)μKR~(X)cXμKR(X),

where cX< depends only on diam(X).

Proof

We start with the first inequality. Let ψC(X) with ψ1 and Lip(ψ)1. Define φ:=ψ-ψ(x0), so that φ(x0)=0 and Lip(φ)=Lip(ψ)1. Then

ψdμ=ψ(x0)+φdμ=ψ(x0)μ(X)+φdμ|μ(X)|+φdμμKR~.

Taking the supremum over ψ yields the desired bound.

Let us now prove the second inequality. Set Δ:=1diam(X). Take ψC(X) with ψ(x0)=0 and Lip(ψ)1. Then |ψ(x)|=|ψ(x)-ψ(x0)|d(x,x0)diam(X)Δ for all xX, so that ψΔ1 and Lip(ψΔ)1. We obtain

ψdμ=ΔψΔdμΔμKR.

Moreover, |μ(X)|μKR as can be seen by taking ψ=±1 in (A.12) It follows that

μKR~(1+Δ)μKR,

as desired.

Proposition A.4

(Relation to W1) Let (Xd) be a compact metric space. If μ1,μ2M+(X) are nonnegative measures of equal total mass, we have μ1-μ2KR~=W1(μ1,μ2).

Proof

This follows from the Kantorovich duality for the distance W1.

On the subset of nonnegative measures, the KR-norm induces the weak topology:

Proposition A.5

(Relation to weak-convergence) Let (Xd) be a compact metric space. For μn,μM+(X) we have

μnμweaklyif and only ifμn-μKR0.

Proof

See [8, Theorem 8.3.2].

Remark A.6

(Testing against smooth functions) If X=Td, the space of C1 functions ψ with Lip(ψ)1 is dense in the set of Lipschitz functions with Lip(ψ)1; see, e.g., [40, Proposition A.5]. Consequently,

μKR(X)=sup{Xψdμ:ψC1(Td),ψ1,ψ1}. A.13

Remark A.7

The identity (A.13) shows that ·KR is the dual norm of the separable Banach space C1(Q). The dual space of C1(Q) is a strict superset of the finite Borel measures.

Appendix B: Norms on curves in the space of measures

We work with curves of bounded variation taking values in the space M+(Td).

Definition B.1

(Curves of bounded variation) The space BVKR(I;M+(Td)) consists of all curves of measures μ:IM+(Td) such that the BV-seminorm

μBVKR(I;M+(Td)):=supITdtφtdμtdt:φCc1(I;C1(Td)),maxtIφC1(Td)1 B.14

is finite.

Remark B.2

The space BVKR(I;M+(Td)) is a (non-closed) subset of the space BV(I;X), where X is the separable Banach space C1(Td). We refer to [28, Section 2] for the equivalence of several definitions of BV(I;X).

Definition B.3

The space WKR1,1(I;M+(Td)) consists of all curves (μt)tI in the Banach space-valued Sobolev space W1,1(I;(C1(Td))) such that μtM+(Td) for a.e. tI.

Appendix C: Domain property of convex functions

Lemma C.1

(Domain properties of convex functions) Let f:RnR{+} be convex, and let xD(f). For every λ(0,1) and every bounded set KD(f), there exists a compact convex set KλD(f) such that

(1-λ)K+λxKλ.

Proof

Let KD(f) be bounded and λ(0,1). Since xD(f), we can pick r>0 such that B(x,r)D(f). Fix yK¯ and set yλ:=(1-λ)y+λx. We claim that B(yλ,λr)D(f).

To prove the claim, it suffices to show that B(yλ,λr)D(f), since B(yλ,λr) is open. Take zB(yλ,λr) and pick a sequence (yn)nK such that yny. Observe that z=(1-λ)yn+λx~n with x~nB(x,r) if n is large enough (indeed, x~n-x=1λ(z-yλ)+1-λλ(y-yn) and |z-yλ|<λr ). Since yn,x~nD(f), the claim follows by convexity of f.

We now define

Cλ:=yKB(yλ,λr3)andKλ:=Conv(Cλ¯).

By construction, Kλ is convex, bounded, and closed, thus compact. Let us show that KλD(f).

By convexity of f, it suffices to show that Cλ¯D(f). Pick zCλ¯ and {zn}nCλ such that znz. Then there exists ynK such that znB((yn)λ,λr3). Passing to a subsequence, we may assume that yny¯ for some y¯K¯ and znB(y¯λ,λr2) for nn¯N. Taking the limit as n+ we infer that zB(y¯λ,λr2)¯. Since B(y¯λ,λr)D(f), it follows that zD(f).

Appendix D: Notation

For the convenience of the reader we collect some notation used in this paper.

A Topological interior of a set A.
D(F) The domain D(F)={xX:F(x)<} of F:XR{+}.
I Bounded open time interval.
Md(A) The space of finite Rd-valued Radon measures on A.
M+(A) The space of finite (positive) Radon measures on A.
RaE Anti-symmetric vector fields on E: RaE={JRE:J(x,y)=J(y,x)}.
XQ The set of all xX with xz=0.
EQ The set of all (x,y)E with xz=0.
RaE The set of anti-symmetric real functions on E.
Tεd, Zεd The discrete torus of mesh size ε>0: Tεd=(εZ/Z)d=εZεd.
Eff(J) The effective flux of J: Eff(J)=12(x,y)EQJ(x,y)(yz-xz).
Rep(ρ) The set of representatives of ρR+, i.e, all mR+X s.t. xXQm(x)=ρ.
Rep(j) The set of representatives of jRd, i.e, all JRaE divergence-free and s.t.
12(x,y)XQJ(x,y)(yz-xz)=j.
Rep(ρ,j) The set of representatives of ρR+, jRd: Rep(ρ,j)=Rep(ρ)×Rep(j).
Qεz The cube of size ε>0 centered in εzTd: for zZεd, Qεz:=[0,ε)d+εz.
Sz¯ Shift operator: Sεz¯:XX, Sεz¯(x)=(z¯+z,v) for x=(z,v)X.
Shift operator: Sεz¯:EE, Sεz¯(x,y):=(Sεz¯(x),Sεz¯(y)) for (x,y)Eε
σz σεz¯ψ:XεR,(σεz¯ψ)(x):=ψ(Sεz¯(x))forxXε.
σεz¯J:EεR,(σεz¯J)(x,y):=J(Sεz¯(x,y))for(x,y)Eε.
Tεz¯ Rescaling operator: Tεz¯:XXε: Tεz¯(x)=(ε(z¯+z),v) for x=(z,v)X.
τεz τεz¯ψ:XR,(τεz¯ψ)(x):=ψ(Tεz¯(x))forxX.
τεz¯J:ER,(τεz¯J)(x,y):=J(Tεz¯(x),Tεz¯(y))for(x,y)E.
CE Discrete continuity equation: (m,J)CE iff tmt+divJ=0 on (X,E).
CE Continuous continuity equation: (μ,ν)CE iff tμt+·ν=0 on Td.
BV More precisely BVKR(I;M+(Td)): the space of time-dependent curves of
(Positive) measures with bounded variation with respect to the KR norm
(Kantorovich–Rubenstein) on M+(Td).
W1.1 More precisely WKR1,1(I;M+(Td)): the space of time-dependent curves of
(Positive) measures belonging to the Banach space W1,1(I;(C1(Td))).
Pεμ,Pεν Discretisation of μM+(Td), νMd(Td): for zZεd, (Pεμ(z),Pεν(z))
R+×Rd, given by Pεμ(z)=μ(Qεz), Pεν(z)=((ν·ei)(QεzQεz+ei))i.

In the paper we use some standard terminology from graph theory. Let (X,E) be a locally finite graph.

A discrete vector field is an anti-symmetric function J:ER.

Its discrete divergence is the function divJ:XR defined by

divJ(x):=yxJ(x,y). B.15

We say that J is divergence-free if divJ=0.

Funding Information

Open access funding provided by Austrian Science Fund (FWF).

Data Availability

Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

Footnotes

1

In the sequel we consider more general discrete energy densities F(mJ), not necessarily sums of edge-energies.

2

We regard measures on In×Td as measures on the bigger set I×Td by the canonical inclusion.

3

See also Sect. 9.2.

4

To be precise, this is an application of these lemmas to the case of V:={v}, thus XεZεd.

5

As before, it’s an application of these lemmas on Zεd (corresponding to V={v}).

6

Concavity of mxy is not necessary for convexity of F. If mxy is not concave, a local version of the supergradient can be substituted into (9.6). For readability we restrict ourselves to the concave case.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Contributor Information

Peter Gladbach, Email: gladbach@iam.uni-bonn.de.

Eva Kopfer, Email: eva.kopfer@iam.uni-bonn.de.

Jan Maas, Email: jan.maas@ist.ac.at.

Lorenzo Portinale, Email: portinale@iam.uni-bonn.de.

References

  • 1.Alicandro R, Cicalese M, Gloria A. Integral representation results for energies defined on stochastic lattices and application to nonlinear elasticity. Arch. Ration. Mech. Anal. 2011;200(3):881–943. doi: 10.1007/s00205-010-0378-7. [DOI] [Google Scholar]
  • 2.Ambrosio L, Fusco N, Pallara D. Functions of Bounded Variation and Free Discontinuity Problems. Oxford University Press, New York: Oxford Mathematical Monographs. The Clarendon Press; 2000. [Google Scholar]
  • 3.Ambrosio L, Gigli N, Savaré G. Gradient Flows in Metric Spaces and in the Space of Probability Measures. Lectures in Mathematics ETH Zürich. 2. Basel: Birkhäuser Verlag; 2008. [Google Scholar]
  • 4.Alicandro R, Cicalese M. A general integral representation result for continuum limits of discrete energies with superlinear growth. SIAM J. Math. Anal. 2004;36(1):1–37. doi: 10.1137/S0036141003426471. [DOI] [Google Scholar]
  • 5.Bach A, Braides A, Cicalese M. Discrete-to-continuum limits of multibody systems with bulk and surface long-range interactions. SIAM J. Math. Anal. 2020;52(4):3600–3665. doi: 10.1137/19M1289212. [DOI] [Google Scholar]
  • 6.Benamou J-D, Brenier Y. A computational fluid mechanics solution to the Monge–Kantorovich mass transfer problem. Numer. Math. 2000;84(3):375–393. doi: 10.1007/s002110050002. [DOI] [Google Scholar]
  • 7.Braides A, Fonseca I, Leoni G. A-quasiconvexity: relaxation and homogenization. ESAIM Control Optim. Calculus Var. 2000;5:539–577. doi: 10.1051/cocv:2000121. [DOI] [Google Scholar]
  • 8.Bogachev VI. Measure Theory. II. Berlin: Springer-Verlag; 2007. [Google Scholar]
  • 9.Braides A, Defranceschi A. Homogenization of Multiple Integrals. Oxford: Oxford University Press; 1998. [Google Scholar]
  • 10.Buttazzo G, Freddi L. Functionals defined on measures and applications to non-equi-uniformly elliptic problems. Ann. Mat. Pura Appl. 1991;4(159):133–149. doi: 10.1007/BF01766298. [DOI] [Google Scholar]
  • 11.Chow S-N, Huang W, Li Y, Zhou H. Fokker-Planck equations for a free energy functional or Markov process on a graph. Arch. Ration. Mech. Anal. 2012;203(3):969–1008. doi: 10.1007/s00205-011-0471-6. [DOI] [Google Scholar]
  • 12.Disser K, Liero M. On gradient structures for Markov chains and the passage to Wasserstein gradient flows. Netw. Heterog. Media. 2015;10(2):233–253. doi: 10.3934/nhm.2015.10.233. [DOI] [Google Scholar]
  • 13.Dolbeault J, Nazaret B, Savaré G. A new class of transport distances between measures. Calc. Var. Partial Differ. Equ. 2009;34(2):193–231. doi: 10.1007/s00526-008-0182-5. [DOI] [Google Scholar]
  • 14.Eymard, R., Gallouët, T., Herbin, R.: Finite Volume Methods. In: Handbook of Numerical Analysis, Vol. VII, Handb. Numer. Anal., VII, pp. 713–1020. North-Holland, Amsterdam (2000)
  • 15.Erbar M, Henderson C, Menz G, Tetali P. Ricci curvature bounds for weakly interacting Markov chains. Electron. J. Probab. 2017;22:23. doi: 10.1214/17-EJP49. [DOI] [Google Scholar]
  • 16.Erbar M, Maas J, Tetali P. Discrete Ricci curvature bounds for Bernoulli–Laplace and random transposition models. Ann. Fac. Sci. Toulouse Math. 2015;24(4):781–800. doi: 10.5802/afst.1464. [DOI] [Google Scholar]
  • 17.Erbar M, Fathi M. Poincaré, modified logarithmic Sobolev and isoperimetric inequalities for Markov chains with non-negative Ricci curvature. J. Funct. Anal. 2018;274(11):3056–3089. doi: 10.1016/j.jfa.2018.03.011. [DOI] [Google Scholar]
  • 18.Erbar M, Maas J. Ricci curvature of finite Markov chains via convexity of the entropy. Arch. Ration. Mech. Anal. 2012;206(3):997–1038. doi: 10.1007/s00205-012-0554-z. [DOI] [Google Scholar]
  • 19.Erbar M, Maas J. Gradient flow structures for discrete porous medium equations. Discrete Contin. Dyn. Syst. 2014;34(4):1355–1374. doi: 10.3934/dcds.2014.34.1355. [DOI] [Google Scholar]
  • 20.Fathi M, Maas J. Entropic Ricci curvature bounds for discrete interacting systems. Ann. Appl. Probab. 2016;26(3):1774–1806. doi: 10.1214/15-AAP1133. [DOI] [Google Scholar]
  • 21.Forkert D, Maas J, Portinale L. Evolutionary Γ-convergence of entropic gradient flow structures for Fokker-Planck equations in multiple dimensions. SIAM J. Math. Anal. 2022;54(4):4297–4333. doi: 10.1137/21M1410968. [DOI] [Google Scholar]
  • 22.Ford LR, Jr, Fulkerson DR. Flows in Networks. Princeton: Princeton University Press; 1962. [Google Scholar]
  • 23.García Trillos, N.: Gromov–Hausdorff limit of Wasserstein spaces on point clouds. Calc. Var. Partial Differ. Equ. 59(2), 43 (2020)
  • 24.Gigli N, Maas J. Gromov-Hausdorff convergence of discrete transportation metrics. SIAM J. Math. Anal. 2013;45(2):879–899. doi: 10.1137/120886315. [DOI] [Google Scholar]
  • 25.Gladbach P, Kopfer E, Maas J, Portinale L. Homogenisation of one-dimensional discrete optimal transport. J. Math. Pures Appl. 2020;9(139):204–234. doi: 10.1016/j.matpur.2020.02.008. [DOI] [Google Scholar]
  • 26.Gladbach P, Kopfer E, Maas J. Scaling limits of discrete optimal transport. SIAM J. Math. Anal. 2020;52(3):2759–2802. doi: 10.1137/19M1243440. [DOI] [Google Scholar]
  • 27.Gladbach, P., Kopfer, E.: Limits of density-constrained optimal transport. Calc. Var. Partial Differential Equations. 61(2), (2022). 10.1007/s00526-021-02163-7 [DOI] [PMC free article] [PubMed]
  • 28.Heida M, Patterson RIA, Renger DRM. Topologies and measures on the space of functions of bounded variation taking values in a Banach or metric space. J. Evol. Equ. 2019;19(1):111–152. doi: 10.1007/s00028-018-0471-1. [DOI] [Google Scholar]
  • 29.Lisini S, Marigonda A. On a class of modified Wasserstein distances induced by concave mobility functions defined on bounded intervals. Manuscr. Math. 2010;133(1–2):197–224. doi: 10.1007/s00229-010-0371-3. [DOI] [Google Scholar]
  • 30.Maas J. Gradient flows of the entropy for finite Markov chains. J. Funct. Anal. 2011;261(8):2250–2292. doi: 10.1016/j.jfa.2011.06.009. [DOI] [Google Scholar]
  • 31.Marcellini P. Periodic solutions and homogenization of non linear variational problems. Annali di Matematica. 1978;117(1):139–152. doi: 10.1007/BF02417888. [DOI] [Google Scholar]
  • 32.Mielke A. A gradient structure for reaction–diffusion systems and for energy-drift-diffusion systems. Nonlinearity. 2011;24(4):1329–1346. doi: 10.1088/0951-7715/24/4/016. [DOI] [Google Scholar]
  • 33.Mielke A. Geodesic convexity of the relative entropy in reversible Markov chains. Calc. Var. Partial Differ. Equ. 2013;48(1–2):1–31. doi: 10.1007/s00526-012-0538-8. [DOI] [Google Scholar]
  • 34.Mielke, A., Roubíček, T.: Rate-Independent Systems. Applied Mathematical Sciences, vol. 193. Springer, New York (2015)
  • 35.Peyré, G., Cuturi, M.: Computational optimal transport. Found. Trends® Mach. Learn. 11(5-6), 355–607 (2019)
  • 36.Piatnitski A, Remy E. Homogenization of elliptic difference operators. SIAM J. Math. Anal. 2001;33(1):53–83. doi: 10.1137/S003614100033808X. [DOI] [Google Scholar]
  • 37.Peletier, M., Rossi, R., Savaré, G., Tse, O.: Jump processes as generalized gradient flows. Calc. Var. Partial Differential Equations. 61(1), (2022). 10.1007/s00526-021-02130-2
  • 38.Rockafellar, R.T., Wets, R.J.-B.: Variational analysis. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 317. Springer-Verlag, Berlin (1998)
  • 39.Santambrogio, F.: Optimal transport for applied mathematicians. Progress in Nonlinear Differential Equations and their Applications, vol. 87. Birkhäuser/Springer, Cham (2015)
  • 40.Schmitzer B , Wirth B. Dynamic models of Wasserstein-1-type unbalanced transport. ESAIM Control Optim. Calc. Var. 2019;25:54. doi: 10.1051/cocv/2018017. [DOI] [Google Scholar]
  • 41.Villani, C.: Topics in Optimal Transportation. Graduate Studies in Mathematics, vol. 58. American Mathematical Society, Providence, RI (2003)
  • 42.Villani, C.: Optimal Transport, volume 338 of Grundlehren der Mathematischen Wissenschaften. Springer-Verlag, Berlin (2009)

Associated Data

This section collects any data citations, data availability statements, or supplementary materials included in this article.

Data Availability Statement

Data sharing not applicable to this article as no datasets were generated or analysed during the current study.


Articles from Calculus of Variations and Partial Differential Equations are provided here courtesy of Springer

RESOURCES