Abstract
Recently, motivated by problems in image processing, by the analysis of the peridynamic formulation of the continuous mechanic and by the study of Markov jump processes, there has been an increasing interest in the research of nonlocal partial differential equations. In the last years and with these problems in mind, we have studied some gradient flows in the general framework of a metric random walk space, that is, a Polish metric space (X, d) together with a probability measure assigned to each \(x\in X\), which encode the jumps of a Markov process. In this way, we have unified into a broad framework the study of partial differential equations in weighted discrete graphs and in other nonlocal models of interest. Our aim here is to provide a summary of the results that we have obtained for the heat flow and the total variational flow in metric random walk spaces. Moreover, some of our results on other problems related to the diffusion operators involved in such processes are also included, like the ones for evolution problems of p-Laplacian type with nonhomogeneous Neumann boundary conditions.
1 Introduction
The digital world has brought with it many different kinds of data of increasing size and complexity. Indeed, modern devices allow us to easily obtain images of higher resolution, as well as to collect data on internet searches, healthcare analytics, social networks, geographic information systems or business informatics. The study and treatment of these big data is of great interest and value. To this aim, weighted discrete graphs provide the most natural and flexible workspace in which to represent the data. For this purpose, a vertex represents a data point and each edge is weighted according to an appropriately chosen measure of “similarity” between the corresponding vertices. Historically, the main tools for the study of graphs came from combinatorial graph theory. However, following the implementation of the graph Laplacian in the development of spectral clustering in the seventies, the theory of partial differential equations on graphs has obtained important results in this field. This has prompted a big surge in the research of nonlocal partial differential equations. Moreover, interest has been further bolstered by the study of problems in image processing, by the analysis of the peridynamic formulation of the continuous mechanic and by the study of Markov jump processes among other problems. Some references on these topics are given along the survey, see also [11, 21, 27, 30, 31, 33, 39, 42, 53, 57,58,59].
In the last years and with these problems in mind, we have studied some gradient flows in the general framework of a metric random walk space, that is, a Polish metric space (X, d) together with a probability measure \(m_x\) assigned to each \(x\in X\) that encode the jumps of a Markov process. In particular, we have studied, in this framework, the heat flow, the total variational flow, and evolutions problems of Leray–Lions type with different types of nonhomogeneous boundary conditions. In doing so, we have been able to unify into a broad framework the study of these problems in weighted discrete graphs and other nonlocal models of interest. Specifically, together with the existence and uniqueness of solutions to the aforementioned problems, a wide variety of their properties have been studied (some of which are listed in the contents section), as well as the nonlocal diffusions operators involved in them. This survey is mainly based on the results that we have obtained in [46, 47] (see also the more recent work [55]) and [48]. Related to the above problems, we have also studied (see [49]) the \((BV,L^p)\)-decomposition, \(p=1\) and \(p=2\), of functions in metric random walk spaces.
Let us shortly describe the contents of the paper. To start with, in Sect. 2 we introduce the general framework of a metric random walk space and we give important examples.
Section 3 is devoted to the study of the heat flow. In our context, associated with the random walk \(m=(m_x)_{x\in X}\), the Laplace operator \(\Delta _m\) is defined as
Assuming that there exists a measure \(\nu \) satisfying a reversibility condition with respect to the random walk, the operator \(- \Delta _m\) generates in \(L^2(X, \nu )\) a Markovian semigroup \((e^{t \Delta _m})_{t \ge 0}\) (Theorem 3.1) called the heat flow on the metric random walk space. Thanks to the generality of our framework the results that we obtain are applicable, for example, to the heat flow on graphs or on nonlocal models in \({\mathbb {R}}^N\) associated to a nonsingular kernel. Moreover, we introduce a stability property for the random walk, called m-connectedness, which allows us, for example, to characterise the infinite speed of propagation of the heat flow (Theorem 3.8) and the ergodicity of the invariant measure associated with the random walk. Furthermore, the behaviour of the semigroup \((e^{t \Delta _m})_{t \ge 0}\) as \(t \rightarrow \infty \) is of great importance in many applications; in this regard, and with the help of a Poincaré inequality, we obtain rates of convergence. Finally, we study the relation between this Poincaré inequality and the Bakry–Émery curvature condition.
In Sect. 4 we study the total variation flow. For this purpose, we introduce the 1-Laplacian operator associated with a metric random walk space, as well as the notions of perimeter and mean curvature for subsets of a metric random walk space. In doing so, we generalize results obtained in [44, 45] for the particular case of \({\mathbb {R}}^N\) with a nonsingular kernel as well as some results in graph theory. We then proceed to prove existence and uniqueness of solutions of the total variation flow in metric random walk spaces and to study its asymptotic behaviour with the help of some Poincaré type inequalities.
One motivation for the study of the 1-Laplacian operator comes from spectral clustering. Partitioning data into sensible groups is a fundamental problem in machine learning, computer science, statistics and science in general. In these fields, it is usual to face large amounts of empirical data, and getting a first impression of these data by identifying groups with similar properties is proved to be very useful. One of the most popular approaches to this problem is to find the best balanced cut of a graph representing the data, such as the Cheeger ratio cut [19]. Consider a finite weighted connected graph \(G =(V, E)\), where \(V = \{x_1, \ldots , x_n \}\) is the set of vertices (or nodes) and E the set of edges, which are weighted by a function \(w_{ji}= w_{ij} \ge 0\), \((i,j) \in E\). The degree of the vertex \(x_i\) is denoted by \(d_i:= \sum _{j=1}^n w_{ij}\), \(i=1,\ldots , n\). In this context, the Cheeger cut value of a partition \(\{ S, S^c\}\) (\(S^c:= V \setminus S\)) of V is defined as
where
and \(\mathrm{vol}(S)\) is the volume of S, defined as \(\mathrm{vol}(S):= \sum _{i \in S} d_i\). Furthermore,
is called the Cheeger constant, and a partition \(\{ S, S^c\}\) of V is called a Cheeger cut of G if \(h(G)={\mathcal {C}}(S)\). Unfortunately, the Cheeger minimization problem of computing h(G) is NP-hard [36, 56]. However, it turns out that h(G) can be approximated by the second eigenvalue \(\lambda _2\) of the graph Laplacian thanks to the following Cheeger inequality [20]:
This motivates the spectral clustering method [43], which, in its simplest form, thresholds the second eigenvalue of the graph Laplacian to get an approximation to the Cheeger constant and, moreover, to a Cheeger cut. In order to achieve a better approximation than the one provided by the classical spectral clustering method, a spectral clustering based on the graph p-Laplacian was developed in [14], where it is showed that the second eigenvalue of the graph p-Laplacian tends to the Cheeger constant h(G) as \(p \rightarrow 1^+\). In [56] the idea was further developed by directly considering the variational characterization of the Cheeger constant h(G)
where
The subdifferential of the energy functional \(\vert \cdot \vert _{TV}\) is the 1-Laplacian in graphs \(\Delta _1\). Using the nonlinear eigenvalue problem \(\lambda \, \mathrm{sign}(u) \in \Delta _1 u\), the theory of 1-Spectral Clustering is developed in [16,17,18, 36]. In [46], we obtained a generalization, in the framework of metric random walk spaces, of the Cheeger inequality (1.1) and of the variational characterization of the Cheeger constant (1.2).
Moreover, in Sect. 4 we introduce the concepts of Cheeger and calibrable sets in metric random walk spaces and characterise the calibrability of a set by using the 1-Laplacian operator. Furthermore, we study the eigenvalue problem of the 1-Laplacian and relate it to the optimal Cheeger cut problem. These results apply, in particular, to locally finite weighted connected discrete graphs, complementing the results given in [16,17,18, 36].
Finally, in Sect. 5 we study p-Laplacian type evolution problems like the one given in the following reference model:
with
where \(\Omega \subset X\) and \(\partial _m\Omega =\{ x\in X\setminus \Omega : m_x(\Omega )>0 \}\) is the m-boundary of \(\Omega \). This reference model can be regarded as the nonlocal counterpart to the classical evolution problem
where U is a bounded smooth domain in \({\mathbb {R}}^n\), and \(\eta \) is the outer normal vector to \(\partial U\).
Nonlocal diffusion problems of p-Laplacian type with homogeneous Neumann boundary conditions have been studied in nonlocal models in \({\mathbb {R}}^N\) associated to a non-singular kernel (see, for example, [4, 5]) and also in weighted discrete graphs (see, for example, the work of Hafiene et al. [35]) with the following formulation:
However, the nonhomogeneous boundary conditions have only been studied for the liner case. For example, Cortazar et al. in [22] work on a perturbed version of the linear case of Problem (1.4) (\(p=2\)) in \({\mathbb {R}}^N\) with a non-singular kernel. Moreover, in [34], Gunzburger and Lehoucq develop a nonlocal vector calculus with applications to linear nonlocal problems in which the nonlocal Neumann boundary condition considered can be rewritten as
Another interesting approach is proposed by Dipierro et al. in [25] for the particular case of the fractional Laplacian diffusion (although the idea can be used for other kernels) with the following Neumann boundary condition, that we rewrite in the context of metric random walk spaces,
or, alternatively, if one prefers a normalized boundary condition with respect to the underlying probability measure induced by the jump process under consideration,
Therefore, in this latter case and as remarked in [25], when a particle of mass u(x) exits \(\Omega \) towards a point \(x\in \partial _m\Omega \), a mass \(u(x)-\varphi (x)\) immediately comes back into \(\Omega \) according to the distribution \(\frac{1}{m_x(\Omega )}m_x\):
A similar probabilistic interpretation can be given for the Neumann boundary condition (1.5) but involving all of \(\Omega \cup \partial _m\Omega \). Anyhow, observe that the formulations (1.5) and (1.6) have an important difference in their definition regarding the domain of integration.
In our work we study Problem (1.3) with the nonhomogeneous Neumann boundary conditions of Gunzburger–Lehoucq type and also of Dipierro–Ros-Oton–Valdinoci type.
2 Metric random walk spaces
Let (X, d) be a Polish metric space equipped with its Borel \(\sigma \)-algebra. Every measure considered in this survey is defined on this \(\sigma \)-algebra.
A random walk m on X is a family of probability measures \((m_x)_{x\in X}\) on X depending measurably on x, i.e., for any Borel set A of X and any Borel set B of \({\mathbb {R}}\), the set \(\{ x \in X \ : \ m_x(A) \in B \}\) is Borel. When dealing with optimal transport problems we will further assume that each measure \(m_x\) has finite first moment (see [52]).
Definition 2.1
A metric random walk space [X, d, m] is a Polish metric space (X, d) together with a random walk m on X.
For a metric random walk space [X, d, m], a Radon measure \(\nu \) on X is said to be invariant for the random walk \(m=(m_x)\) if
that is, for any \(\nu \)-measurable set A, it holds that A is \(m_x\)-measurable for \(\nu \)-almost all \(x\in X\), \( x\mapsto m_x(A)\) is \(\nu \)-measurable, and
Consequently, if \(\nu \) is an invariant measure with respect to m and \(f \in L^1(X, \nu )\), it holds that \(f \in L^1(X, m_x)\) for \(\nu \)-a.e. \(x \in X\), \( x\mapsto \int _X f(y) d{m_x}(y)\) is \(\nu \)-measurable, and
The measure \(\nu \) is said to be reversible for m if, moreover, the following detailed balance condition holds:
i.e., for all bounded Borel functions f defined on \(X\times X\)
Note that the reversibility condition is stronger than the invariance condition. Of course, if \(\nu (X)<+\infty \) then \(\nu \) can, and will, be normalized to a probability measure.
As mentioned by Ollivier in [52], a geometer may think of \(m_x\) as a replacement for the notion of ball around x, while in probabilistic terms we can rather think of this data as defining a Markov chain whose transition probability from x to y in n steps is
where \(m_x^{*0} = \delta _x\). Of course, \([X, d, m^{*n}]\) is also a metric random walk space. Moreover, if \(\nu \) is invariant (reversible) for m, then \(\nu \) is also invariant (reversible) for \(m^{*n}\).
We now give some well-known examples of metric random walk spaces which will aid in illustrating the generality of this abstract setting. In particular, Markov chains serve as paradigmatic examples that capture many of the properties of this general setting that we will encounter during this study.
Example 2.2
(1) Consider \(({\mathbb {R}}^N, d, {\mathcal {L}}^N)\), with d the Euclidean distance and \({\mathcal {L}}^N\) the Lebesgue measure. For simplicity we will write dx instead of \(d{\mathcal {L}}^N(x)\). Let \(J:{\mathbb {R}}^N\rightarrow [0,+\infty [\) be a measurable, nonnegative and radially symmetric function verifying \(\int _{{\mathbb {R}}^N}J(x)dx=1\). In \(({\mathbb {R}}^N, d, {\mathcal {L}}^N)\) we have the following random walk, starting at x,
Applying Fubini’s Theorem it is easy to see that the Lebesgue measure \({\mathcal {L}}^N\) is a reversible (thus invariant) measure for this random walk.
Observe that, if we assume that in \({\mathbb {R}}^N\) we have an homogeneous population and \(J(x-y)\) is thought of as the probability distribution of jumping from location x to location y, then, for a Borel set A in \({\mathbb {R}}^N\), \(m^J_x(A)\) is measuring how many individuals who started at x are arriving at A in one jump. The same ideas are applicable to the countable spaces given in the following two examples.
(2) Let \(K: X \times X \rightarrow {\mathbb {R}}\) be a Markov kernel on a countable space X, i.e.,
Then, for
\([X, d, m^K]\) is a metric random walk space for any metric d on X.
Moreover, in Markov chain theory terminology, a measure \(\pi \) on X satisfying
is called a stationary probability measure (or steady state) on X. This is equivalent to the definition of invariant probability measure for the metric random walk space \([X, d, m^K]\). In general, the existence of such a stationary probability measure on X is not guaranteed (see, for instance, [51, Example 1.7.11]). However, for irreducible and positive recurrent Markov chains (see, for example, [37] or [51]) there exists a unique stationary probability measure.
Furthermore, a stationary probability measure \(\pi \) is said to be reversible for K if the following detailed balance equation holds:
By Tonelli’s Theorem for series, this balance condition is equivalent to the one given in (2.1) for \(\nu =\pi \):
(3) Consider a locally finite weighted discrete graph \(G = (V(G), E(G))\), where each edge \((x,y) \in E(G)\) (we will write \(x\sim y\) if \((x,y) \in E(G)\)) has a positive weight \(w_{xy} = w_{yx}\) assigned. Suppose further that \(w_{xy} = 0\) if \((x,y) \not \in E(G)\).
A finite sequence \(\{ x_k \}_{k=0}^n\) of vertices of the graph is called a path if \(x_k \sim x_{k+1}\) for all \(k = 0, 1,\ldots , n-1\). The length of a path \(\{ x_k \}_{k=0}^n\) is defined as the number n of edges in the path. Then, \(G = (V(G), E(G))\) is said to be connected if, for any two vertices \(x, y \in V\), there is a path connecting x and y, that is, a path \(\{ x_k \}_{k=0}^n\) such that \(x_0 = x\) and \(x_n = y\). Finally, if \(G = (V(G), E(G))\) is connected, define the graph distance \(d_G(x,y)\) between any two distinct vertices x, y as the minimum of the lengths of the paths connecting x and y. Note that this metric is independent of the weights. We will always assume that the graphs we work with are connected.
For \(x \in V(G)\) we define the weighted degree at the vertex x as
and the neighbourhood of x as \(N_G(x) := \{ y \in V(G) \, : \, x\sim y\}\). Note that, by definition of locally finite graph, the sets \(N_G(x)\) are finite. When \(w_{xy}=1\) for every \(x\sim y\), \(d_x\) coincides with the degree of the vertex x in a graph, that is, the number of edges containing vertex x.
For each \(x \in V(G)\) we define the following probability measure
We have that \([V(G), d_G, m^G]\) is a metric random walk space and it is not difficult to see that the measure \(\nu _G\) defined as
is a reversible measure for this random walk.
Given a locally finite weighted discrete graph \(G = (V(G), E(G))\), there is a natural definition of a Markov chain on the vertices. We define the Markov kernel \(K_G: V(G)\times V(G) \rightarrow {\mathbb {R}}\) as
We have that \(m^G\) and \(m^{K_G}\) define the same random walk. If \(\nu _G(V(G))\) is finite, the unique reversible probability measure is given by
(4) From a metric measure space \((X,d, \mu )\) we can obtain a metric random walk space, the so called \(\epsilon \)-step random walk associated to \(\mu \), as follows. Assume that balls in X have finite measure and that \(\mathrm{Supp}(\mu ) = X\). Given \(\epsilon > 0\), the \(\epsilon \)-step random walk on X starting at \(x\in X\), consists in randomly jumping in the ball of radius \(\epsilon \) centered at x with probability proportional to \(\mu \); namely

If balls of the same radius have the same volume, then \(\mu \) is a reversible measure for the metric random walk space \([X, d, m^{\mu ,\epsilon }]\).
(5) Given a metric random walk space [X, d, m] with reversible measure \(\nu \), and given a \(\nu \)-measurable set \(\Omega \subset X\) with \(\nu (\Omega ) > 0\), if we define, for \(x\in \Omega \),
we have that \([\Omega ,d,m^{\Omega }]\) is a metric random walk space and it easy to see that is reversible for \(m^{\Omega }\). In particular, if \(\Omega \) is a closed and bounded subset of \({\mathbb {R}}^N\), we obtain the metric random walk space \([\Omega , d, m^{J,\Omega }]\), where \(m^{J,\Omega } = (m^J)^{\Omega }\), that is
See Example 3.5 to understand how we may take advantage of this random walk.
From this point onwards, when dealing with a metric random walk space [X, d, m], we will assume that there exists an invariant and reversible measure for the random walk, which we will always denote by \(\nu \). Then, for simplicity, we will denote the metric random walk space by \([X,d,m,\nu ]\). Furthermore, we assume that the measure space \((X,\nu )\) is \(\sigma \)-finite.
3 The heat flow on metric random walk spaces
3.1 The heat flow
Let \([X,d,m,\nu ]\) be a metric random walk. For a function \(u : X \rightarrow {\mathbb {R}}\) we define its nonlocal gradient \(\nabla u: X \times X \rightarrow {\mathbb {R}}\) as
and for a function \({\mathbf{z}}: X \times X \rightarrow {\mathbb {R}}\), its m-divergence \(\mathrm{div}_m {\mathbf{z}}: X \rightarrow {\mathbb {R}}\) is defined as
The averaging operator on [X, d, m] (see, for example, [52]) is defined as
when this expression has sense, and the Laplace operator as \(\Delta _m= M_m - I\), i.e.,
Note that
The invariance of \(\nu \) is equivalent to the following property:
In the case of the metric random walk space associated to a locally finite weighted discrete graph G (see Example 2.2), the above operator is the graph Laplacian studied by many authors (see e.g. [6, 9, 26, 38]).
If the invariant measure \(\nu \) is reversible, the following integration by parts formula is straightforward:
for \(f,g \in L^2(X, \nu )\cap L^1(X, \nu )\).
In \(L^2(X, \nu )\) we consider the symmetric form given by
with domain for both variables \(D({\mathcal {E}}_m) = L^2(X, \nu )\cap L^1(X, \nu )\), which is a linear and dense subspace of \(L^2(X,\nu )\). Recalling the definition of the generalized product \(\nu \otimes m_x\) (see, for instance, [2, Definition 2.2.7]), we can write
Theorem 3.1
[46] Let \([X,d,m,\nu ]\) be a metric random walk space. Then, \(- \Delta _m\) is a non-negative self-adjoint operator in \(L^2(X, \nu )\) with associated closed symmetric form \({\mathcal {E}}_m,\) which is, moreover, a Markovian form.
By Theorem 3.1, as a consequence of the theory developed in [28, Chapter 1], we have that if \((T^m_t)_{t \ge 0}\) is the strongly continuous semigroup associated with \({\mathcal {E}}_m\), then \((T^m_t)_{t \ge 0}\) is a positivity preserving (i.e., \(T^m_t f \ge 0\) if \(f \ge 0\)) Markovian semigroup (i.e., \(0 \le T^m_t f \le 1\) \(\nu \)-a.e. whenever \(f \in L^2(X, \nu )\), \(0 \le f \le 1\) \(\nu \)-a.e.). Moreover, \(\Delta _m\) is the infinitesimal generator of \((T^m_t)_{t \ge 0}\), that is
Definition 3.2
We denote \(e^{t\Delta _m}:= T^m_t\) and say that \(\{e^{t\Delta _m} \, : \, t \ge 0 \}\) is the heat flow on the metric random walk space \([X,d,m,\nu ]\).
For every \(u_0 \in L^2(X, \nu )\), \(u(t):= e^{t\Delta _m}u_0 \) is the unique solution of the heat equation
in the sense that \(u \in C([0,+\infty ): L^2(X, \nu )) \cap C^1((0,+\infty ): L^2(X, \nu ))\) and verifies (3.3), or equivalently,
By the Hille–Yosida exponential formula we have that
As a consequence of (3.1), if \(\nu (X) < +\infty \), we have that the semigroup \((e^{t\Delta _m})_{t \ge 0}\) conserves the mass. In fact,
and, therefore,
Associated with \({\mathcal {E}}_m\) we define the energy functional
i.e., \({\mathcal {H}}_m : L^2(X, \nu ) \rightarrow [0, + \infty ]\) with
We denote
Note that for \(f\in D({\mathcal {H}}_m)\), we have
Remark 3.3
The functional \({\mathcal {H}}_m\) is convex, closed and lower semi-continuous in \(L^2(X, \nu )\), and it is not difficult to see that \(\partial {\mathcal {H}}_m = - \Delta _m\). Consequently, \(- \Delta _m\) is a maximal monotone operator in \(L^2(X, \nu )\) (see [13]). We can also consider the heat flow in \(L^1(X,\nu )\). Indeed, if we define in \(L^1(X,\nu )\) the operator A as \(Au = v \iff v(x) = - \Delta _mu(x)\) for all \(x \in X\), then A is an m-completely accretive operator in \(L^1(X,\nu )\) [10]. Therefore, A generates a \(C_0\)-semigroup \((S(t))_{t \ge 0}\) in \(L^1(X,\nu )\) (see [10, 23]) such that \(S(t)f = e^{t\Delta _m} f\) for all \(f \in L^1(X,\nu ) \cap L^2(X,\nu )\), verifying
In the case that \(\nu (X) < \infty \), we have that S(t) is an extension to \(L^1(X, \nu )\) of the heat flow \(e^{t \Delta _m}\) in \(L^2(X, \nu )\), that we will denote equally.
Theorem 3.4
[46] a Let \([X, d, m,\nu ]\) be a metric random walk space. For \(u_0\in L^2(X, \nu )\cap L^1(X, \nu ),\)
where \(\int _{X} u_0(y)dm_x^{*0}(y)=u_0(x)\).
In particular, for \(D \subset X\) with \(\nu (D) < +\infty ,\) we have

where .
Example 3.5
Given a metric random walk space \([X,d,m,\nu ]\) and a Borel set \(\Omega \subset X\), we have that \(u(t):= e^{t\Delta _{m^{\Omega }}}u_0\) is the solution of
which is an homogeneous Neumann problem for the m-heat equation. See [5] for a comprehensive study of this problem in the case \(m=m^{J,\Omega }\). In Sect. 5 we will consider other types of Neumann problems.
3.2 Infinite speed of propagation and ergodicity
In this section we study the infinite speed of propagation of the heat flow \((e^{t\Delta _{m}})_{t \ge 0}\), that is, we study the conditions under which
We will see that this property is equivalent to a connectedness property of the space, to the ergodicity of the m-Laplacian \(\Delta _{m}\), and to the ergodicity of the measure \(\nu \).
Let [X, d, m] be a metric random walk space with invariant measure \(\nu \). For a \(\nu \) measurable set D, we set
Definition 3.6
A metric random walk space \([X, d, m,\nu ]\) is said to be random-walk-connected or m-connected if for any \(D \subset X\) with \(0<\nu (D)\) we have that \(\nu (N_D^m)=0.\)
This is equivalent to requiring that, for every Borel set \(D\subset X\) with \(\nu (D)>0\) and \(\nu \)-a.e. \(x\in X\),
For locally finite weighted connected graphs we have the following result.
Theorem 3.7
[46] Let \([V(G), d_G, (m^G_x),\nu _G]\) be the metric random walk space associated to a locally finite weighted connected graph \(G = (V(G), E(G))\). Then, \([V(G), d_G, (m^G_x),\nu _G]\) is m-connected.
The next result establishes a relation between the m-connectedness of a metric random walk space and the infinite speed of propagation of the heat flow.
Theorem 3.8
[46] \([X,d,m,\nu ]\) is m-connected if, and only if, for any non-\(\nu \)-null \(0 \le u_0 \in L^2(X, \nu ),\) we have \(e^{t\Delta _{m}} u_0> 0\) \(\nu \)-a.e., for all \(t > 0.\)
We now relate the m-connectedness notion with other known concepts in the literature. Let us begin with the concept of ergodicity of the invariant measure (see, for example, [37]).
Definition 3.9
Let \([X, d, m,\nu ]\) be a metric random walk space with \(\nu \) a probability measure.
-
(i)
A Borel set \(B \subset X\) is said to be invariant with respect to the random walk m if \(m_x(B) = 1\) whenever x is in B.
-
(ii)
The invariant probability measure \(\nu \) is said to be ergodic if \(\nu (B) = 0\) or \(\nu (B) = 1\) for every invariant set B with respect to the random walk m.
Theorem 3.10
[46] Let \([X, d, m,\nu ]\) be a metric random walk space with \(\nu \) a probability measure. Then, \([X, d, m,\nu ]\) is m-connected if, and only if, \(\nu \) is ergodic.
Following Bakry et al. [8], we give the following definition.
Definition 3.11
Let \([X, d, m,\nu ]\) be a metric random walk space. We say that \(\Delta _m\) is ergodic if
This concept is also equivalent to the m-connectedness of the metric random walk space:
Theorem 3.12
[46] Let \([X, d, m,\nu ]\) be a metric random walk space with \(\nu \) a probability measure. Then, \([X, d, m,\nu ]\) is m-connected if, and only if, \(\Delta _m\) is ergodic.
Consequently, m-connectedness is not a new concept; nevertheless, our aim with its introduction is to regard it as a kind of intrinsic geometric property of the metric random walk space. At the beginning of Sect. 4.1 we give another characterization of m-connectedness which justifies the choice of this terminology.
3.3 Functional inequalities
Suppose that \(\nu \) is a probability measure. We denote the mean value of \(f \in L^1(X, \nu )\), or the expected value of f, by
For \(f \in L^2(X, \nu )\), we denote the variance of f by
Definition 3.13
The spectral gap of \(-\Delta _m\) is defined as
or, equivalently,
Definition 3.14
We say that \([X,d,m,\nu ]\) satisfies a Poincaré inequality if there exists \(\lambda >0\) such that
or, equivalently,
Note that when \(\mathrm{gap}(-\Delta _m) >0\), \([X,d,m,\nu ]\) satisfies a Poincaré inequality with \(\lambda =\mathrm{gap}(-\Delta _m)\):
where \(\mathrm{gap}(-\Delta _m)\) is the best constant in the Poincaré inequality.
With such an inequality at hand and with a similar proof to the one done in the continuous setting (see, for instance, [8]), one can prove that if \(\mathrm{gap}(-\Delta _m) >0\) then \(e^{t\Delta _{m}} u_0\) converges to \(\nu (u_0)\) with exponential rate \(\lambda =\mathrm{gap}(-\Delta _m)\). In fact, we have:
Theorem 3.15
The following statements are equivalent :
-
(i)
There exists \(\lambda >0\) such that
$$\begin{aligned} \lambda \mathrm{Var}_\nu (f) \le {\mathcal {H}}_m(f) \quad \hbox {for all} \ f \in L^2(X,\nu ). \end{aligned}$$ -
(ii)
For every \(f \in L^2(X,\nu )\)
$$\begin{aligned} \Vert e^{t\Delta _m} f - \nu (f) \Vert _{L^2(X, \nu )} \le e^{- \lambda t} \Vert f - \nu (f) \Vert _{L^2(X, \nu )} \quad \hbox {for all} \ t \ge 0. \end{aligned}$$
We finish this subsection by relating Poincaré inequalities with the Bakry–Émery curvature-dimension condition for the random walk. Observe that, since \({\mathcal {E}}_m\) admits a Carré du champ \(\Gamma \) (see [8]) defined by
we can study the Bakry–Émery curvature-dimension condition in this context. Furthermore, we will address its relation with the spectral gap.
According to Bakry and Émery [7], we define the Ricci curvature operator \(\Gamma _2\) by iterating \(\Gamma \):
This is well defined for \(f,g\in L^2(X, \nu )\). Moreover, we write, for \(f\in L^2(X, \nu )\),
and
It is easy to see that
and
Consequently,
Furthermore, by (3.1) and (3.5), we get
and, therefore,
Definition 3.16
The operator \(\Delta _m\) satisfies the Bakry–Émery curvature-dimension condition BE(K, n) for \(n \in (1, +\infty )\) and \(K \in {\mathbb {R}}\) if
The constant n is the dimension of the operator \(\Delta _m\), and K is said to be the lower bound of the Ricci curvature of the operator \(\Delta _m\). If there exists \(K \in {\mathbb {R}}\) such that
then it is said that the operator \(\Delta _m\) satisfies the Bakry–Émery curvature-dimension condition \(BE(K, \infty )\).
The use of the Bakry–Émery curvature-dimension condition as a possible definition of Ricci curvature in Markov chains was first considered in 1998 by Schmuckenschlager [54]. This concept of Ricci curvature in the discrete setting has been frequently used following the work by Lin and Yau [41] (see [40] and the references therein).
Integrating the Bakry–Émery curvature-dimension condition BE(K, n) we have
Now, by (3.5) and (3.6), this inequality can be rewritten as
or, equivalently, as
Similarly, integrating the Bakry–Émery curvature-dimension condition \(BE(K, \infty )\) we have
We call the inequalities (3.7) and (3.8) the integrated Bakry–Émery curvature-dimension conditions.
Theorem 3.17
[46] Let \([X, d, m,\nu ]\) be a metric random walk space. Assume that \(\Delta _m\) is ergodic. Then,
Consequently, on account of Theorem 3.17, we have the following result.
Theorem 3.18
[46] Let \([X, d, m,\nu ]\) be a metric random walk with \(\nu \) a probability measure. Assume that \(\Delta _m\) is ergodic. Then,
-
(1)
\(\Delta _m\) satisfies an integrated Bakry–Émery curvature-dimension condition BE(K, n) with \(K >0\) if, and only if, a Poincaré inequality with constant \(K\frac{n}{n-1}\) is satisfied.
-
(2)
\(\Delta _m\) satisfies an integrated Bakry–Émery curvature-dimension condition \(BE(K, \infty )\) with \(K >0\) if, and only if, a Poincaré inequality with constant K is satisfied.
Therefore, if \(\Delta _m\) satisfies the Bakry–Émery curvature-dimension condition BE(K, n) with \(K>0,\) we have
In the case that \(\Delta _m\) satisfies the Bakry–Émery curvature-dimension condition \(BE(K,\infty )\) with \(K >0,\) we have
In [46] there is an example that shows that, in general, the integrated Bakry–Émery curvature-dimension condition BE(K, n) with \(K >0\) does not imply the Bakry–Émery curvature-dimension condition BE(K, n) with \(K >0\).
4 The total variation flow on metric random walk spaces
4.1 Perimeter, curvature and total variation
Let \([X,d,m,\nu ]\) be a metric random walk space. We define the m -interaction between two \(\nu \)-measurable subsets A and B of X as
Whenever \(L_m(A,B) < +\infty \), by the reversibility assumption on \(\nu \) with respect to m, we have that
With this concept in mind we have that (see [46, Proposition 2.11]) a metric random walk space \([X, d, m,\nu ]\) is m-connected if, and only if, for any pair of Borel sets \( A, B\subset X\) satisfying \(A\cup B=X\) and \(L_m(A,B)= 0\), either \(\nu (A)=0\) or \(\nu (B)=0\).
Let us now introduce the concept of perimeter of a set in this general setting.
Definition 4.1
We define the m-perimeter of a \(\nu \)-measurable subset \(E \subset X\) as
It is easy to see that

Moreover, if \(\nu (E)<+\infty \), we have
We may motivate this notion of perimeter as follows. For a population with starting distribution \(\nu \) which moves according to the law provided by the random walk m, \(L_m(A,B)\) measures how many individuals are moving from A to B, and, thanks to the reversibility of \(\nu \) for m, this is equal to the amount of individuals moving from B to A. In this regard, the m-perimeter measures the total flux of individuals that cross the “boundary” (in a very weak sense) of a set.
Consider the metric random walk space \([V(G), d_G, m^G,\nu ^G ]\) associated to a finite weighted discrete graph G. Given \(A, B \subset V(G)\), \(\mathrm{Cut}(A,B)\) is defined as
and the perimeter of a set \(E \subset V(G)\) is given by
Consequently, we have that
In the case of Example 2.2(1), this concept is the same as the one studied in [45] and whose origin goes back to [12, 15, 24].
In the same spirit, we define a nonlocal notion of the mean curvature of the boundary of a set.
Definition 4.2
Let \(E \subset X\) be a \(\nu \)-measurable set. For a point \(x \in X\) we define the m-mean curvature of \(\partial E\) at x as

Observe that
Finally, associated to the random walk \(m=(m_x)\) and the invariant measure \(\nu \), we define the following space of bounded nonlocal variation functions
which satisfies \(L^1(X,\nu )\subset BV_m(X,\nu )\). The m-total variation of a function \(u\in BV_m(X,\nu )\) is then defined by
and, as in the local case, we have that

Example 4.3
Let \([V(G), d_G, (m^G_x),\nu _G]\) the metric random walk space associated to a finite weighted discrete graph G. Then,
which coincides with the anisotropic total variation defined in [32].
As in the local case, we have the following coarea formula relating the total variation of a function with the perimeter of its superlevel sets.
Theorem 4.4
(Coarea formula) [48] For any \(u \in L^1(X,\nu ),\) let \(E_t(u):= \{ x \in X \ : \ u(x) > t \}.\) Then,
4.2 The 1-Laplacian and the TVF
Let \([X,d,m,\nu ]\) be an m-connected metric random walk space.
As motivation, consider the formal nonlocal evolution equation
In order to study the Cauchy problem associated to this equation, we will see in Theorem 4.8 that we can rewrite it as the gradient flow in \(L^2(X,\nu )\) of the functional \({\mathcal {F}}_m : L^2(X, \nu ) \rightarrow ]-\infty , + \infty ]\) defined by
which is convex and lower semi-continuous. Following the method used in [3], the subdifferential of the functional \({\mathcal {F}}_m\) is characterized as follows.
Theorem 4.5
[48] Let \(u \in L^2(X,\nu )\) and \(v \in L^2(X,\nu )\). The following assertions are equivalent :
-
(i)
\(v \in \partial {\mathcal {F}}_m (u);\)
-
(ii)
there exists \({\mathbf{z}}\in X_m^2(X),\) \(\Vert {\mathbf{z}}\Vert _{L^\infty (X\times X, \nu \otimes m_x)} \le 1\) such that
$$\begin{aligned} v = - \mathrm{div}_m {\mathbf{z}}\end{aligned}$$(4.2)and
$$\begin{aligned} \int _{X} u(x) v(x) d\nu (x) = {\mathcal {F}}_m (u); \end{aligned}$$ -
(iii)
there exists \({\mathbf{z}}\in X_m^2(X),\) \(\Vert {\mathbf{z}}\Vert _{L^\infty (X\times X, \nu \otimes m_x)} \le 1\) such that (4.2) holds and
$$\begin{aligned} {\mathcal {F}}_m (u) = \frac{1}{2}\int _{X \times X} \nabla u(x,y) {\mathbf{z}}(x,y) d(\nu \otimes m_x)(x,y); \end{aligned}$$ -
(iv)
there exists \(\mathbf{g}\in L^\infty (X\times X, \nu \otimes m_x)\) antisymmetric with \(\Vert \mathbf{g} \Vert _{L^\infty (X \times X,\nu \otimes m_x)} \le 1\) such that
$$\begin{aligned} -\int _{X}\mathbf{g}(x,y)\,dm_x(y)= v(x) \quad \hbox {for }\nu -\text{ a.e } x\in X, \end{aligned}$$(4.3)and
$$\begin{aligned} -\int _{X} \int _{X}{} \mathbf{g}(x,y)dm_x(y)\,u(x)d\nu (x)={\mathcal {F}}_m(u). \end{aligned}$$ -
(v)
there exists \(\mathbf{g}\in L^\infty (X\times X, \nu \otimes m_x)\) antisymmetric with \(\Vert \mathbf{g} \Vert _{L^\infty (X \times X,\nu \otimes m_x)} \le 1\) verifying (4.3) and
$$\begin{aligned} \mathbf{g}(x,y) \in \mathrm{sign}(u(y) - u(x)) \quad \hbox {for }(\nu \otimes m_x)-a.e. \ (x,y) \in X \times X. \end{aligned}$$
The m-1-Laplacian is defined via this subdifferential in the following manner.
Definition 4.6
We define in \(L^2(X,\nu )\) the multivalued operator \(\Delta ^m_1\) by
\((u, v ) \in \Delta ^m_1\) if, and only if, \(-v \in \partial {\mathcal {F}}_m(u)\).
As usual, we will write \(v\in \Delta ^m_1 u\) for \((u,v)\in \Delta ^m_1\).
Chang in [16] and Hein and Bühler in [36] defined a similar operator in the particular case of finite graphs.
Example 4.7
Let \([V(G), d_G, (m^G_x)]\) be the metric random walk space given in Example 2.2(3) with invariant measure \(\nu _G\). By Theorem 4.5, we have that \((u, v ) \in \Delta ^{m^G}_1\) if, and only if, there exists \(\mathbf{g}\in L^\infty (V(G)\times V(G), \nu _G \otimes m^G_x)\) antisymmetric with
such that
and
As a consequence of Theorem 4.5, we can give the following existence and uniqueness result for the Cauchy problem
which is a rewrite of the formal expression (4.1).
Theorem 4.8
For every \(u_0 \in L^2( X,\nu )\) and any \(T>0,\) there exists a unique solution of the Cauchy problem (4.4) in (0, T) in the following sense : \(u \in W^{1,1}(0,T; L^2(X,\nu )),\) \(u(0, \cdot ) = u_0\) in \(L^2(X,\nu ),\) and, for almost all \(t \in (0,T),\)
Moreover, we have the following contraction and maximum principle in any \(L^q(X,\nu )\)-space, \(1\le q\le \infty {:}\)
for any pair of solutions, \(u,\, v,\) of problem (4.4) with initial data \(u_0,\, v_0\) respectively.
Definition 4.9
Given \(u_0 \in L^2(X, \nu )\), we denote by \(e^{t \Delta ^m_1}u_0\) the unique solution of problem (4.4) and we call the semigroup \(\{e^{t\Delta ^m_1} \}_{t \ge 0}\) in \(L^2(X, \nu )\) the Total Variational Flow in the metric random walk space \([X,d,m,\nu ]\).
4.3 Asymptotic behaviour of the TVF and Poincaré type inequalities
Let \([X,d,m,\nu ]\) be an m-connected metric random walk space.
Definition 4.10
We say that \([X,d,m,\nu ]\) satisfies a (p, q)-Poincaré inequality (\(p, q\in [1,+ \infty [\)) if there exists a constant \(c>0\) such that, for any \(u \in L^q(X,\nu )\),
or, equivalently, there exists a \(\lambda > 0\) such that
When \([X,d,m,\nu ]\) satisfies a (p, 1)-Poincaré inequality, we will say that \([X,d,m,\nu ]\) satisfies a p-Poincaré inequality and write
If a Poincaré inequality is satisfied then we obtain the following result on the asymptotic behaviour of the total variation flow.
Theorem 4.11
[48] If \([X,d,m,\nu ]\) satisfies a 1-Poincaré inequality, then, for any \(u_0 \in L^2(X, \nu ),\)
The following result provides sufficient conditions for a Poincaré inequality to be satisfied by a metric random walk space. Two examples of metric random walk spaces in which a 1-Poincaré inequality is not satisfied are given in [48].
Theorem 4.12
[48] Suppose that \(\nu \) is a probability measure and
Let (H1) and (H2) denote the following hypothesis.
-
(H1)
Given a \(\nu \)-null set B, there exist \(x_1,x_2,\ldots , x_N\in X\setminus B\) and \(\alpha >0\) such that \(\nu \le \alpha (m_{x_1}+\cdots +m_{x_N})\).
-
(H2)
Let \( 1\le p<q\). Given a \(\nu \)-null set B, there exist \(x_1,x_2,\ldots , x_N\in X\setminus B\) and \(\nu \)-measurable sets \(\Omega _1,\Omega _2,\ldots ,\Omega _N\subset X,\) such that \( X= \bigcup _{i=1}^N\Omega _i\) and \(\frac{dm_{x_i}}{d\nu }\in L^{\frac{p}{q-p}}(\Omega _i),\) \(i=1,2,\ldots ,N\).
Then, if (H1) holds, we have that \([X,d,m,\nu ]\) satisfies a (p, p)-Poincaré inequality for every \(p\ge 1,\) and, if (H2) holds, then \([X,d,m,\nu ]\) satisfies a (p, q)-Poincaré inequality.
In [55] the condition “\(m_x\ll \nu \) for all \(x\in X\)” has been weakened to \( \nu \left( \left\{ x\in X \, : \, m_x\perp \nu \right\} \right) =0. \)
Example 4.13
Let \([V(G),d_G,m^G, \nu _G]\) the metric random walk space associated to a finite weighted connected graph G. Then,
Therefore, \([V(G),d_G,m^G, \nu _G]\) satisfies a 2-Poincaré inequality.
Corollary 4.14
Under the hypothesis of Theorem 4.12, for any \(u_0 \in L^2(X, \nu ),\)
Let us see that, when \([X,d,m,\nu ]\) satisfies a 2-Poincaré inequality, the total variation flow reaches the steady state in finite time.
Theorem 4.15
[48] Let \([X,d,m,\nu ]\) be a metric random walk. If \([X,d,m,\nu ]\) satisfies a 2-Poincaré inequality then, for any \(u_0 \in L^2(X, \nu ),\)
where \(\lambda ^{2}_{[X,d,m,\nu ]}\) is given in (4.5). Consequently,
Therefore, if we define the extinction time as
then, under the conditions of Theorem 4.15, we have that, for \(u_0\in L^2(X,\nu )\),
To obtain a lower bound on the extinction time, we introduce the following norm which, in the continuous setting, was introduced in [50]. Given a function \(f \in L^2(X, \nu )\), we define
Theorem 4.16
[48] Let \(u_0 \in L^2(X, \nu )\). If \(T^*(u_0) < \infty \) then
4.4 m-Cheeger and m-calibrable sets
Let \([X,d,m,\nu ]\) be an m-connected metric random walk space.
Definition 4.17
Given a set \(\Omega \subset X\) with \(0< \nu (\Omega ) < \nu (X)\), we define the m-Cheeger constant of \(\Omega \) as
A \(\nu \)-measurable set \(E \subset \Omega \) achieving the infimum in (4.6) is called an m-Cheeger set of \(\Omega \). Furthermore, we say that \(\Omega \) is m-calibrable if it is an m-Cheeger set of itself, that is, if
For ease of notation, we will denote
for any \(\nu \)-measurable set \(\Omega \subset X\) with \(0<\nu (\Omega )<\nu (X)\).
It is well known (see [29]) that the classical Cheeger constant
for a bounded smooth domain \(\Omega \), is an optimal Poincaré constant, namely, it coincides with the first eigenvalue of the 1-Laplacian:
In order to get a nonlocal version of this result, we introduce the following constant. For \(\Omega \subset X\) with \(0<\nu (\Omega )< \nu (X)\), we define
Theorem 4.18
[48] Let \(\Omega \subset X\) with \(0< \nu (\Omega ) < \nu (X)\). Then,
Let us recall that, in the local case, a set \(\Omega \subset {\mathbb {R}}^N\) is called calibrable if
The following characterization of convex calibrable sets is proved in [1].
Theorem 4.19
[1] Given a bounded convex set \(\Omega \subset {\mathbb {R}}^N\) of class \(C^{1,1},\) the following assertions are equivalent :
-
(a)
\(\Omega \) is calibrable.
-
(b)
satisfies \(,\) where \(\Delta _1 u:= \mathrm{div} \left( \frac{Du}{\vert Du \vert }\right) \).
-
(c)
\( (N-1) \underset{x \in \partial \Omega }{\mathrm{ess\, sup}} H_{\partial \Omega } (x) \le \frac{\text{ Per }(\Omega )}{\vert \Omega \vert }.\)
The next result is the nonlocal version of the fact that (a) is equivalent to (b) in Theorem 4.19.
Theorem 4.20
[48] Let \(\Omega \subset X\) be a \(\nu \)-measurable set with \(0<\nu (\Omega )<\nu (X)\). Then, the following assertions are equivalent :
-
(i)
\(\Omega \) is m-calibrable,
-
(ii)
there exists a \(\nu \)-measurable function \(\tau \) equal to 1 in \(\Omega \) such that
-
(iii)
for
$$\begin{aligned} \tau ^*(x)=\left\{ \begin{array}{ll} 1 &{}\quad \hbox {if } x\in \Omega ,\\ - \frac{1}{\lambda _\Omega ^m} m_x(\Omega )&{}\quad \hbox {if } x\in X\setminus \Omega . \end{array} \right. \end{aligned}$$
Remark 4.21
Let \(\Omega \subset X\) be a \(\nu \)-measurable set with \(0<\nu (\Omega )<\nu (X)\). We have shown,

If \(\nu (X)<\infty \), as a consequence of the above relation and the m-connectedness of the metric random walk space, we have that

does not hold true for any \(\nu \)-measurable set \(\Omega \) with \(0<\nu (\Omega )<\nu (X)\).
We also have:
Proposition 4.22
[48] Let \(\Omega \subset X\) be a \(\nu \)-measurable set with \(0<\nu (\Omega )<\nu (X) \). Then,
The above result relates the m-calibrability with the m-mean curvature, since it can be rewritten as
Therefore, this is the nonlocal version of one of the implications in the equivalence between (a) and (c) in Theorem 4.19. However, the converse of Proposition 4.22 is not true in general, an example is given in [44] (see also [45]) for \([{\mathbb {R}}^3, d, m^J]\), with d the Euclidean distance and . An example of a graph for which the converse of Proposition 4.22 is not true is also given.
4.5 The eigenvalue problem for the 1-Laplacian
In this section we introduce the eigenvalue problem associated with the 1-Laplacian \(\Delta ^m_1\) and its relation with the Cheeger minimization problem. For the particular case of finite weighted discrete graphs where the weights are either 0 or 1 this problem was first studied by Hein and Bühler ([36]); a more complete study was subsequently performed by Chang in [16].
Let \([X,d,m,\nu ]\) be an m-connected metric random walk space.
Definition 4.23
A pair \((\lambda , u) \in {\mathbb {R}}\times L^2(X, \nu )\) is called an m -eigenpair of the 1-Laplacian \(\Delta ^m_1\) on X if \(\Vert u \Vert _{L^1(X,\nu )} = 1\) and there exists \(\xi \in \mathrm{sign}(u)\) (i.e., \(\xi (x) \in \mathrm{sign}(u(x))\) for every \(x\in X\)) such that
The function u is called an m-eigenfunction and \(\lambda \) an m-eigenvalue associated to u.
We have the following relation between m-calibrable sets and m-eigenpairs of \(\Delta ^{m}_1\).
Theorem 4.24
[48] Let \(\Omega \subset X\) be a \(\nu \)-measurable set with \(0<\nu (\Omega )<\nu (X)\). We have :
-
(i)
If
is an m-eigenpair of \(\Delta _1^m,\) then \(\Omega \) is m-calibrable.
-
(ii)
If \(\Omega \) is m-calibrable and
$$\begin{aligned} m_x(\Omega ) \le \lambda _\Omega ^m \quad \hbox {for }\nu \hbox {-a.e. } \ x \in X \setminus \Omega , \end{aligned}$$then
is an m-eigenpair of \(\Delta _1^m\).
In [48] we give an example showing that, in Theorem 4.24, the reverse implications of (i) and (ii) are false in general.
Theorem 4.25
[48] If \((\lambda , u)\) is an m-eigenpair with \(\lambda >0\) and \(\nu (E_0(u)) > 0,\) then is an m-eigenpair, \(\lambda =\lambda _{E_0(u)}^m\) and \(E_0(u)\) is m-calibrable. Moreover, \(\nu (E_0(u))\le \frac{1}{2}\).
4.6 The m-Cheeger constant
Let [X, d, m] be an m-connected metric random walk space with \(\nu \) a probability measure. Assuming that \(\nu (X)=1\) is not a loss of generality since, for \(\nu (X)<+\infty \), we may work with \(\frac{1}{\nu (X)}\nu \). Observe that the ratio \(\lambda _D^m=\frac{P_m(D)}{\nu (D)}\) remains unchanged if we normalize the measure, and the same is true for the m-eigenvalues of the 1-Laplacian.
For a locally finite weighted discrete graph \(G=(V(G), E(G))\) the Cheeger constant is defined as
In [20] (see also [9]), the following relation between the Cheeger constant and the first positive eigenvalue \(\lambda _1(G)\) of the graph Laplacian \(\Delta _{m^G}\) is proved:
In this general context we define the following concept, which is consistent with the above definition on graphs.
Definition 4.26
The m-Cheeger constant of \([X,d,m,\nu ]\) is defined as
The above infimum is not attained in general, see, for instance, [48, Example 6.21].
We will now give a variational characterization of the m-Cheeger constant which generalizes the one obtained in [56] for the particular case of finite graphs. Recall that, given a function \(u : X \rightarrow {\mathbb {R}}\), \(\mu \in {\mathbb {R}}\) is a median of u with respect to \(\nu \) if
We denote by \(\mathrm{med}_\nu (u)\) the set of all medians of u.
Theorem 4.27
[46] We have that
Following [20] and using Theorem 4.27, one can show that the Cheeger inequality (4.7) also holds in this context.
Theorem 4.28
[46] The following Cheeger inequality holds
The Poincaré inequality (3.4), applied for characteristic functions, implies that there exists \(\lambda >0\) such that
Hence, since
inequality (4.9) implies the following isoperimetric inequality (see [2, Theorem 3.46]):
Definition 4.29
If there exists \(\lambda >0\) satisfying (4.10), we say that \([X,d,m, \nu ]\) satisfies an isoperimetric inequality.
In [46] we proved the following result.
Theorem 4.30
The following statements are equivalent :
-
(1)
\([X,d,m, \nu ]\) satisfies a Poincaré inequality,
-
(2)
\(\mathrm{gap}(-\Delta _m) > 0,\)
-
(3)
\([X,d,m, \nu ]\) satisfies an isoperimetric inequality,
-
(4)
\(h_m(X) > 0.\)
Recall that, for finite graphs, it is well known that the first non-zero eigenvalue coincides with the Cheeger constant (see [16]), that is,
In our context we have:
Theorem 4.31
[48] If \(\lambda \not = 0\) is an m-eigenvalue of \(\Delta ^m_1\) then
In the next result we see that if the infimum in (4.8) is attained then \(h_m(X)\) is an m-eigenvalue of \(\Delta ^m_1\).
Theorem 4.32
[48] Let \(\Omega \) be a \(\nu \)-measurable subset of X such that \(0<\nu (\Omega )\le \frac{1}{2}\).
-
(i)
If \(\Omega \) and \(X\setminus \Omega \) are m-calibrable then
is an m-eigenpair of \(\Delta ^m_1\).
-
(ii)
If \(h_m(X)=\lambda ^m_\Omega \) then \(\Omega \) and \(X\setminus \Omega \) are m-calibrable.
-
(iii)
If \(h_m(X)=\lambda ^m_\Omega \) then
is an m-eigenpair of \(\Delta ^m_1\).
As a consequence of Proposition 4.25 and Theorem 4.32 we have the following result.
Corollary 4.33
If \(h_m(X)\) is a positive m-eigenvalue of \(\Delta ^m_1,\) then, for any eigenvector u associated to \(h_m(X)\) with \(\nu (E_0(u))>0,\)
is an m-eigenpair of \(\Delta ^m_1,\)
\(\nu (E_0(u))\le \frac{1}{2},\) and
Moreover, both \({E_0(u)}\) and \(X\setminus {E_0(u)}\) are m-calibrable.
In [48] we give an example showing that (4.11) is not true in general.
5 Evolution problems of Leray–Lions type with nonhomogeneous Neumann boundary conditions
Let \([X,d,m,\nu ]\) be an m-connected metric random walk space. We assume that \(m_x\ll \nu \) for all \(x\in X\).
Definition 5.1
Given a \(\nu \)-measurable set \(\Omega \subset X\), we define its m-boundary as
and its m-closure as
We will assume that \(\nu (\Omega _m) < +\infty \) in what follows.
5.1 Nonlocal Leray–Lions operators
For \(1<p<+\infty \), let us consider a function \(\mathbf{a}_p:X\times X\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) such that
there exist constants \(c,C>0\) such that
and
This last condition implies that
An example of a function \(\mathbf{a}_p\) satisfying the above assumptions is
being \(\varphi :X\rightarrow {\mathbb {R}}\) a \(\nu \)-measurable function satisfying \(0<c\le \varphi \le C\) where c and C are constants. In particular, if \(\varphi =1\), we have that
is the p-Laplacian operator on the metric random walk space.
5.2 Neumann boundary operators
We define the nonlocal Neumann boundary operator (of Gunzburger–Lehoucq type) by
We also define the nonlocal Neumann boundary operator (of Dipierro–Ros-Oton–Valdinoci type) as
These type of nonlocal boundary conditions where introduced, for the linear case, in [34] to develop a nonlocal vector calculus, and in [25] for diffusion with the fractional Laplacian.
For each of these Neumann boundary operators our main goal is to study the evolution problem
\({\mathbf {j}}=1\), 2, and the following associated Neumann problem
In (5.2) and (5.3) we use the following simplified notation
and
Observe that \(\hbox {div}_m\mathbf{a}_p\) is a kind of Leray–Lions operator for the random walk m. On account of (5.1), we have that
Moreover, by the reversibility of \(\nu \) with respect to m, we have that \(m_x(X\setminus \Omega _m)=0\) for \(\nu \)-a.e. \(x\in \Omega \). Indeed,
Consequently,
Let
and
The following integration by parts formula follows by the reversibility of \(\nu \) with respect to m.
Proposition 5.2
[47] Let \({\mathbf {j}}\in \{1,2\}\). Let u be a \(\nu \)-measurable function such that
and let \(w \in L^{q'}(\Omega _m),\) then
5.3 Neumann boundary conditions of Gunzburger–Lehoucq type
In this subsection we study the problem
We will assume that the following Poincaré type inequality holds: there exists a constant \(\lambda >0\) such that, for any \(u \in L^p(\Omega _m,\nu )\),
or, equivalently,
It is shown in [48] (see also [4, 5]) that, under rather general conditions, there are metric random walk spaces satisfying this kind of inequality.
The main tool to study Problem (5.4) is Nonlinear Semigroup Theory. In order to use this theory, we define the following operator on \( L^1(\Omega ,\nu )\times L^1(\Omega ,\nu )\) associated to the problem. Observe that the space of definition is \(L^1(\Omega ,\nu )\) and not \( L^1(\Omega _m,\nu )\).
Definition 5.3
Let \(\varphi \in L^1(\partial _m\Omega ,\nu )\). We say that \((u,v) \in B^m_{\mathbf{a}_p,\varphi }\) if \( u,v \in L^1(\Omega ,\nu )\) and there exists \( {{\overline{u}}}\in L^p(\Omega _m,\nu )\) (that we will denote equally as u) such that \({\overline{u}}_{\vert \Omega } = u\),
and
that is,
and
Theorem 5.4
[47] Let \(\varphi \in L^{p'}(\partial _m\Omega ,\nu )\). The operator \(B^m_{\mathbf{a}_p,\varphi }\) is completely accretive and satisfies the range condition
Consequently, \(B^m_{\mathbf{a}_p,\varphi }\) is m-completely accretive in \(L^{p'}(\Omega ,\nu )\).
Theorem 5.5
[47] Let \(\varphi \in L^{p'}(\partial _m\Omega ,\nu )\). Then,
The following theorem is a consequence of the previous results thanks to the Nonlinear Semigroup Theory.
Theorem 5.6
Let \(\varphi \in L^{p'}(\partial _m\Omega ,\nu )\) and \(T>0\). For any \(u_0\in \overline{D(B^m_{\mathbf{a}_p,\varphi })}^{L^{p'}(\Omega ,\nu )}=L^{p'}(\Omega ,\nu )\) there exists a unique mild-solution u(t, x) of Problem (5.4). Moreover, for any \( q\ge p'\) and \(u_{0i}\in L^q(\Omega ,\nu ),\) \(i=1,2,\) we have the following contraction principle for the corresponding mild-solutions \(u_i{:}\)
If \(u_0\in D(B^m_{\mathbf{a}_p,\varphi })\) then the mild-solution is a strong solution.
5.4 Neumann boundary conditions of Dipierro–Ros-Oton–Valdinoci type
The aim now is to study Problem 5.2 with \({\mathbf {j}}=2\), that is, with Neumann boundary conditions of Dipierro–Ros-Oton–Valdinoci type:
Here we do not assume the existence of a Poincaré type inequality.
The following space of functions will play an important role for this problem.
Definition 5.7
Let
Note that
Example 5.8
If \([V,d_G,m^G]\) is the metric random walk space associated to a locally finite weighted discrete graph and \(\Omega \subset V\) then, if \(\partial _m\Omega \subset V\) is a finite set, we have that
For the metric random walk space \([{\mathbb {R}}^N, d, m^J]\) (suppose that \(\hbox {supp}(J)=B(0,R)\)), if \(\Omega \subset {\mathbb {R}}^N\) is a bounded domain and \(\Omega _r:=\{x\in {\mathbb {R}}^N : \hbox {dist}(x,\Omega )<r\}\), then
To study Problem 5.5 we define the following operator in \( L^1(\Omega ,\nu )\times L^1(\Omega ,\nu )\).
Definition 5.9
Let \(1< p < \infty \). Let \(\varphi \in L^{m, \infty }(\partial _m\Omega ,\nu )\). We say that \((u,v) \in A^m_{\mathbf{a}_p,\varphi }\) if \( u,v \in L^1(\Omega ,\nu )\), and there exists a \(\nu \)-measurable function \({{\overline{u}}}\) in \(\Omega _m\) with \({\overline{u}}_{\vert \Omega } = u\) (that we denote equally as u) satisfying
and
that is,
and
Theorem 5.10
[47] Let \(\varphi \in L^{m, \infty }(\partial _m\Omega ,\nu )\). The operator \(A^m_{\mathbf{a}_p,\varphi }\) is completely accretive and satisfies the range condition
Theorem 5.11
[47] Let \(\varphi \in L^{m,\infty }(\partial _m\Omega ,\nu )\). Then, we have
and, consequently,
For \(p\ge 2,\)
The following theorem is a consequence of the previous results thanks to the Nonlinear Semigroups Theory.
Theorem 5.12
Let \(\varphi \in L^{m,\infty }(\partial _m\Omega ,\nu )\) and \(T>0\). For any \(u_0\in \overline{D(A^m_{\mathbf{a}_p,\varphi })}^{L^{p'}(\Omega ,\nu )}=L^{p'}(\Omega ,\nu )\) there exists a unique mild-solution u(t, x) of Problem (5.5). Moreover, for any \( q\ge p'\) and \(u_{0i}\in L^q(\Omega ,\nu ),\) \(i=1,2,\) we have the following contraction principle for the corresponding mild-solutions \(u_i{:}\)
If \(u_0\in D(A^m_{\mathbf{a}_p,\varphi }),\) then the mild-solution is a strong solution. In particular, if \(u_0\in L^{\infty }(\Omega ,\nu ),\) Problem (5.5) has a unique strong solution. For \(p\ge 2\) this is true for data in \(L^{p-1}(\Omega ,\nu )\).
In [55] doubly nonlocal diffusion problems of Leray–Lions type with further nonlinearities on the boundary have also been studied.
References
Alter, F., Caselles, V., Chambolle, A.: A characterization of convex calibrable sets in \({{\mathbb{R}}}^N\). Math. Ann. 332, 329–366 (2005)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. New York (2000)
Andreu, F., Caselles, V., Mazón, J.M.: Parabolic Quasilinear Equations Minimizing Linear Growth Functionals. Progress in Mathematics, vol. 223. Birkhäuser, Basel (2004)
Andreu, F., Mazón, J.M., Rossi, J., Toledo, J.: A nonlocal p-Laplacian evolution equation with Neumann boundary conditions. J. Math. Pures Appl. 90, 201–227 (2008)
Andreu-Vaillo, F., Mazón, J.M., Rossi, J.D., Toledo, J.: Nonlocal Diffusion Problems. Mathematical Surveys and Monographs, vol. 165. AMS, Providence (2010)
Bauer, F., Jost, J., Liu, S.: Ollivier–Ricci curvature and the spectrum of the normalized graph Laplace operator. Math. Res. Lett. 19, 1185–1205 (2012)
Bakry, D., Émery, M.: Diffusions Hypercontractives. (French) [Hypercontractive Diffusions] Séminaire de probabilités, XIX, 1983/84. Lecture Notes in Mathematics, vol. 1123, pp. 177–206. Springer, Berlin (1985)
Bakry, D., Gentil, I., Ledoux, M.: Analysis and Geometry of Markov Diffusion Operators. Grundlehren der Mathematischen Wissenschafter, vol. 348. Springer, Berlin (2014)
Banerjee, A., Jost, J.: On the spectrum of the normalized graph Laplacian. Linear Algebra Appl. 428, 3015–3022 (2008)
Bénilan, Ph., Crandall, M.G.: Completely accretive operators. In: Clement, Ph., et al. (eds.) Semigroups Theory and Evolution Equations (Delft, 1989). Lecture Notes in Pure and Applied Mathematics, vol. 135, pp. 41–75. Marcel Dekker, New York (1991)
Bougleux, S., Elmoataz, A., Melkemi, M.: Local and nonlocal discrete regularization on weighted graphs for image and mesh filtering. Int. J. Comput. Vis. 84, 220–236 (2009)
Bourgain, J., Brezis, H., Mironescu, P.: Another look at Sobolev spaces. In: Menaldi, J.L., et al. (eds.) Optimal Control and Partial Differential Equations. A Volume in Honour of A. Bensoussan’s 60th Birthday, pp. 439–455. IOS Press, Amsterdam (2001)
Brezis, H.: Operateurs Maximaux Monotones. North Holland, Amsterdam (1973)
Bühler, T., Hein, M.: Spectral clustering based on the graph p-Laplacian. In: Proceedings of the 26th International Conference on Machine Learning, pp. 81–88. Omnipress, New York (2009)
Caffarelli, L., Roquejoffre, J.M., Savin, O.: Nonlocal minimal surfaces. Commun. Pure Appl. Math. 63, 1111–1144 (2010)
Chang, K.C.: Spectrum of the \(1\)-Laplacian and Cheeger’s constant on graphs. J Graph Theory 81, 167–207 (2016)
Chang, K.C., Shao, S., Zhang, D.: The 1-Laplacian Cheeger cut: theory and algorithms. J. Comput. Math. 33, 443–467 (2015)
Chang, K.C., Shao, S., Zhang, D.: Cheeger’s cut, maxcut and the spectral theory of \(1\)-Laplacian on graphs. Sci. China Math. 60, 1963–1980 (2017)
Cheeger, J.: A lower bound for the smallest eigenvalue of the Laplacian. In: Gunning, R.C. (ed.) Problems in Analysis, pp. 195–199. Princeton University Press, Princeton (1970)
Chung, F.: Spectral Graph Theory. CBMS Regional Conference Series in Mathematics, vol. 92. American Mathematical Society, Providence (1997)
Chung, F., Yau, S.T.: Eigenvalues of graphs and Sobolev inequalities. Comb. Probab. Comput. 4, 11–25 (1995)
Cortazar, C., Elgueta, M., Rossi, J., Wolanski, N.: How to approximate the heat equation with Neumann boundary conditions by nonlocal diffusion problems. Arch. Ration. Mech. Anal. 187, 137–156 (2008)
Crandall, M.G., Liggett, T.M.: Generation of semigroups of nonlinear transformations on general Banach spaces. Am. J. Math. 93, 265–298 (1971)
Dávila, J.: On an open question about functions of bounded variation. Calc. Var. Partial Differ. Equ. 15, 519–527 (2002)
Dipierro, S., Ros-Oton, X., Valdinoci, E.: Nonlocal problems with Neumann boundary conditions. Rev. Mat. Iberoam. 33, 377–416 (2017)
Dodziuk, J., Karp, L.: Spectral and Function Theory for Combinatorial Laplacian. Contemporary Mathematics, vol. 73. American Mathematical Society, Providence (2001)
Elmoataz, A., Lezoray, O., Bougleux, S.: Nonlocal discrete regularization on weighted graphs: a framework for image and manifold processing. IEEE Trans. Image Process. 17, 1047–1060 (2008)
Fukushima, M., Oshima, Y., Takeda, M.: Dirichlet Forms and Symmetric Markov Processes. Studies in Mathematics, vol. 19. De Gruyter, Berlin (2011)
Fridman, V., Kawohl, B.: Isoperimetric estimates for the first eigenvalue of the p-Laplace operator and the Cheeger constant. Comment. Math. Univ. Carol. 44, 659–667 (2003)
García-Trillo, N., Slepȩv, D.: Continuum limit of total variation on point clouds. Arch. Ration. Mech. Anal. Res. 220, 193–241 (2016)
García-Trillo, N., Slepȩv, D., von Brecht, J., Laurent, T., Bresson, X.: Consistency of Cheeger and ratio graph cuts. J. Mach. Learn. Res. 17, 1–46 (2016)
van Gennip, Y., Guillen, N., Osting, B., Bertozzi, A.: Mean curvature, threshold dynamics, and phase field theory on finite graphs. Milan J. Math. 82, 3–65 (2014)
Gilboa, G., Osher, S.: Nonlocal operators with applications to image processing. Multiscale Model. Simul. 7, 1005–1028 (2008)
Gunzburger, M., Lehoucq, R.B.: A nonlocal vector calculus with application to nonlocal boundary value problems. Multiscale Model. Simul. 8, 1581–1598 (2010)
Hafiene, Y., Fadili, J., Elmoataz, A.: Nonlocal \(p\)-Laplacian evolution problems on graphs. SIAM J. Numer. Anal. 56, 1064–1090 (2018)
Hein, M., Bühler, T.: An inverse power method for nonlinear eigenproblems with applications in \(1\)-spectral clustering and sparse PCA. Adv. Neural Inf. Process. Syst. 23, 847–855 (2010)
Hernández-Lerma, O., Laserre, J.B.: Markov Chains and Invariant Probabilities. Birkhäuser Verlag, Basel (2003)
Jost, J., Liu, S.: Ollivier’s Ricci curvature, local clustering and curvature-dimension inequalities on graphs. Discret. Comput. Geom. 51, 300–322 (2014)
Kindermann, S., Osher, S., Jones, P.: Deblurring and denoising of images by nonlocal functionals. Multiscale Model. Simul. 4, 1091–1115 (2005)
Klartag, B., Kozma, G., Ralli, P., Tetali, P.: Discrete curvature and abelian groups. Can. J. Math. 68, 655–674 (2016)
Lin, Y., Yau, S.-T.: Ricci curvature and eigenvalue estimates on locally finite graphs. Math. Res. Lett. 17, 343–356 (2010)
Lozes, F., Elmoataz, A., Lézoray, O.: Partial difference operators on weighted graphs for image processing on surfaces and point clouds. IEEE Trans. Image Process. 23, 3896–3909 (2014)
von Luxburg, U.: A tutorial on spectral clustering. Stat. Comput. 17, 395–416 (2007)
Mazón, J.M., Rossi, J.D., Toledo, J.: Nonlocal perimeter, curvature and minimal surfaces for measurable sets. Journal D’Analyse Mathématique 138, 235–279 (2019)
Mazón, J.M., Rossi, J.D., Toledo, J.: Nonlocal Perimeter, Curvature and Minimal Surfaces for Measurable Sets. Frontiers in Mathematics, Birkhäuser, Basel (2019)
Mazón, J.M., Solera, M., Toledo, J.: The heat flow on metric random walk spaces. J. Math. Anal. Appl. 483, 123645 (2020)
Mazón, J.M., Solera, M., Toledo, J.: Evolution problems of Leray–Lions type with nonhomogeneous Neumann boundary conditions in metric random walk spaces. Nonlinear Anal. 197, 111813 (2020)
Mazón, J.M., Solera, M., Toledo, J.: The total variation flow in metric random walk spaces. Calc. Var. 59, 29 (2020)
Mazón, J.M., Solera, M., Toledo, J.: \((BV,L^p)\)-decomposition, \(p=1,2\), of functions in metric random walk spaces. Adv. Cal. Var (To appear)
Meyer, Y.: Oscillating Patterns in Image Processing and Nonlinear Evolution Equations. University Lecture Series, vol. 22. American Mathematical Society, Providence (2001)
Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1997)
Ollivier, Y.: Ricci curvature of Markov chains on metric spaces. J. Funct. Anal. 256, 810–864 (2009)
Rudin, L., Osher, S., Fatemi, E.: Nonlinear total variation based noise removal algorithms. Physica D 60, 259–268 (1992)
Schmuckenschlager, M.: Curvature of nonlocal Markov generators. In: Convex Geometric Analysis (Berkeley, CA, 1996), pp. 189–197. Cambridge University Press, Cambridge (1999)
Solera, M., Toledo, J.: Nonlocal doubly nonlinear diffusions problems with nonlinear boundary conditions. arXiv:2103.00340
Szlam, A., Bresson, X.: Total variation and Cheeger cuts. In: Proceedings of the 27th International Conference on Machine Learning, Haifa, Israel, pp. 1039–1046 (2010)
Tillich, J.-P.: Edge isoperimetric inequalities for product graphs. Discret. Math. 213, 291–320 (2000)
Varopoulos, N.T.: Isoperimetric inequalities and Markov chains. J. Funct. Anal. 63, 215–239 (1985)
Yaroslavsky, L.P.: Digital Picture Processing. An Introduction. Springer, Berlin (1985)
Acknowledgements
The authors have been partially supported by the Spanish MCIU and FEDER, project PGC2018-094775-B-100. The second author was also supported by the Spanish Ministerio de Ciencia, Innovación y Universidades under Grant BES-2016-079019.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mazón, J.M., Solera, M. & Toledo, J. Gradient flows in metric random walk spaces. SeMA 79, 3–35 (2022). https://doi.org/10.1007/s40324-021-00272-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40324-021-00272-z
Keywords
- Random walk
- Total variation flow
- Sets of finite perimeter
- Nonlocal operators
- Cheeger sets
- Calibrable sets
- Functions of bounded variation