Convergence of Brownian motions on RCD*(K,N) spaces

Abstract: Suppose that a sequence of metric measure spaces X_n=(X_n, d_n, m_n) satisfies RCD*(K,N) with Diam(X_n) <D and m_n(X_n)=1. Then Sturm's D-convergence of X_n is equivalent to the weak convergence of the laws of Brownian motions on X_n.

\section{Introduction}

In this paper, we consider the following problem:
\begin{description}
\item[(Q)]Does the weak convergence of Brownian motions follow {\it only} from some convergence of the underlying spaces (or, vice versa)?
\end{description}

On metric measure spaces, {\it Brownian motions} are defined to be Hunt processes associated with the Cheeger energies when the Cheeger energies induce strongly local regular Dirichlet forms.
Since Brownian motions are determined only by geometrical information of the underlying metric measure spaces, behaviors of Brownian motions should be described only by geometrical information of the underlying metric measure spaces.

As a main result in the present paper, we show that the weak convergence of the laws of Brownian motions is {\it equivalent} to Sturm's $\mathbb D$-convergence of the underlying metric measure spaces under the following assumption:
\begin{asmp} \label{asmp: 1} \normalfont
Let $N, K$ and $D$ be constants with $1< N<\infty$, $K \in \mathbb R$ and $0<D<\infty$. For $n \in \overline{\N}:=\mathbb N\cup\{\infty\}$, let $\mathcal X_n=(X_n, d_n, m_n)$ be a metric measure space satisfying the $\mathrm{RCD}^*(K,N)$ condition with Diam$(X_n)\le D$ and $m_n(X_n)=1$.
\end{asmp}

In the sequel paper, we will consider the problem (Q) in the case of $\mathrm{RCD}(K,\infty)$ spaces. See Section \ref{subsec: RCD} for details of the $\mathrm{RCD}^*(K,N)$ spaces. Note that, under Assumption \ref{asmp: 1}, we have the global volume doubling property, and this implies ${\rm supp}[m_n]=X_n$ for any $n \in \overline{\N}$. We also note that, under Assumption \ref{asmp: 1}, Sturm's $\mathbb D$-convergence is equivalent to the measured Gromov--Hausdorff convergence (see \cite{GMS13}, or Proposition \ref{prop: doubling} in the present paper).

Under Assumption \ref{asmp: 1},  it is known that there exists a conservative Hunt process on $\mathcal X_n$ associated with the Cheeger energy and unique in all starting points in $X_n$ (see \cite{AGS14b} and Section \ref{subse: BM} in the present paper). We denote it by  $(\{\mathbb P_n^{x}\}_{x \in X_n}, \{B_t^n\}_{t \ge 0})$, called {\it the Brownian motion on $\mathcal X_n$}.

We state our main theorem precisely:
\begin{thm} \label{thm: mthm1}
 Suppose that Assumption \ref{asmp: 1} holds.
 Then the following statements are equivalent:
\begin{description}

\item[(i)] {\rm \bf ($\mathbb D$-convergence of the underlying spaces)} \vspace{-4mm} \\

$\mathcal X_n$ converges to $\mathcal X_\infty$ in the Sturm's $\mathbb D$-distance$.$
\vspace{1mm}
\item[(ii)] {\rm \bf (Weak convergence of the laws of Brownian motions)} \vspace{2mm}\\ There exist \begin{align}
\begin{cases}
\text{a compact metric space } (X,d) \notag
\\
\text{isometric embeddings $\iota_n: X_n \to X$  $(n \in \overline{\N})$} \notag
\\
\text{$x_n \in X_n$ $(n \in \overline{\N})$}
\end{cases}
\end{align}
such that
\begin{align*}
\iota_n(B^n_\cdot)_\#\mathbb P_n^{x_n} \ {\to} \ \iota_\infty(B^\infty_\cdot)_\#\mathbb P_\infty^{x_\infty} \quad \text{weakly} \quad \text{in $\mathcal P(C([0,\infty); X))$}.
\end{align*}

\end{description}
{\normalfont Here $\mathcal P(C([0,\infty); X))$ denotes the set of all Borel probability measures on $\bigl(C([0,\infty); X), \delta\bigr)$, which means the set of continuous functions from $[0,\infty)$ to $X$ with the local uniform distance $\delta$ (see Section \ref{subsec: Pre}).
The subscript $\#$ means the operation of the push-forward of measures. }
\end{thm}

\begin{comment}
\begin{figure}
\vspace{0mm}
$$
\begin{CD}
\mathcal X_n @> \text{{\bf(A)} $\mathbb D$-conv.} >> \mathcal X_\infty \\
@V \text{\sf Ch}_n VV @V\text{\sf Ch}_\infty VV \\
\mathbb B_n @> \text{{\bf(B)} in law} >> \mathbb B_\infty
\end{CD}
\vspace{-3mm}
$$
\caption{\small Theorem \ref{thm: mthm1} states that {\bf (A)} and {\bf (B)} are equivalent}
\end{figure}
\end{comment}
\begin{comment}

\begin{rem} \label{rem: 1}
\normalfont
We give several comments.
\begin{enumerate}
\item For the proof of {\bf (i)$\Rightarrow$ (ii)} in Theorem \ref{thm: mthm1}, the following conditions are essential:
\\
Let $\mathcal X_n=(X_n,d_n,m_n)$ be metric measure spaces satisfying
\begin{enumerate}
\vspace{-1mm}
\item $X_n$ is compact for any $n \in \mathbb N$;
\item ${\rm Diam}(X_n) \le D$ for any $n \in \mathbb N$;
\item  $m_n(X_n)=1$ for any $n \in \mathbb N$;
\item $\{\mathcal X_n\}_{n \in \mathbb N}$ is uniform doubling, that is, there exists $C>0$ independent of $n \in \mathbb N$, such that
$$m_n(B_{2r}(x)) \le Cm_n(B_{r}(x)) \quad \forall x \in X_n, \quad \forall r>0, \quad \forall n \in \mathbb N. $$
\item $\mathcal X_n$ converges to $\mathcal X_\infty$ in Sturm's $\mathbb D$-distance;
\item Cheeger energies ${\sf Ch}_n$ on $\mathcal X_n$ ($n \in \overline{\N}$) are linear (in the sense of \eqref{defn: Cheeger});
 \item For $n \in \overline{\N}$, ${\sf Ch}_n$ induces a Feller semigroup $\{T^n_t\}_{t>0}$(see Section \ref{subse: BM});
 \item For any $f \in C_b(X_n)$, $T^n_tf$ is H\"older continuous for any $t>0$ with its H\"older exponent and H\"older constant independent of $n \in \overline{\N}$;
 \item  Tightness in Lemma \ref{lem: T} holds;
\item  ${\sf Ch}_n$ converges to ${\sf Ch}_\infty$ in the Mosco sense (in the sense of Theorem \ref{thm: Mosco of Ch}).
\end{enumerate}
With the above conditions, we need not assume ${\rm RCD}^*(K,N)$ for the proof of {\bf (i)$\Rightarrow$ (iii)} in Theorem \ref{thm: mthm1}.

\item For the proof of {\bf (ii)$\Rightarrow$ (i)} in Theorem \ref{thm: mthm1}, the above (a)--(g) in (1) and the following conditions are essential:
\begin{enumerate}
\vspace{-1mm}
\item[(k)] $(\{B_t^n\}_{t \ge 0}, \{\mathbb P_n^{x_n}\}_{x \in X_n})$ are irreducible and recurrent for any $n \in \overline{\N}$;
\item[(l)] An integral kernel $p_n(t,x,dy)$ of $T_t^n$ has a density $p_n(t,x,y)$ with respect  to $m_n$ for any $x,y \in X_n$ and $t>0$ for any $n \in \overline{\N}$;
\item[(m)] $\sup_{n \in \mathbb N}\|p_n(t,x,\cdot)\|_{L^2(X_n,m_n)} <\infty$ for any $x \in X_n$ and $t>0$;
\item [(n)] The spectral gaps $\lambda_n^1$ of ${\sf Ch}_n$ satisfy $\liminf_{n \to \infty}\lambda_n^1>0$.
\end{enumerate}
\end{enumerate}
\item[(2)] For {\bf (i)} $\Leftrightarrow$ {\bf (ii)} in Theorem \ref{thm: mthm1}, we need not assume the compactness of $(X,d)$, and it suffices to assume only the completeness and separability of $(X,d)$. To show {\bf (iii)}$\Rightarrow${\bf (ii)}  in Theorem \ref{thm: mthm1}, we use the compactness of $(X,d)$.
See also Remark \ref{rem: CPT}.

 \item
 For {\bf (i)} $\Leftrightarrow$ {\bf (ii)} in Theorem \ref{thm: mthm1}, we need not assume the compactness of the ambient space $(X,d)$, and it suffices to assume only the completeness and separability of $(X,d)$. To show {\bf (iii)}$\Rightarrow${\bf (ii)}  in Theorem \ref{thm: mthm1}, we use the compactness of $(X,d)$.
See also Remark \ref{rem: CPT}.

\end{rem}

\end{comment}

As a corollary of Theorem \ref{thm: mthm1}, the following holds:
\begin{cor} \label{cor: D}
Suppose that Assumption \ref{asmp: 1} holds. Then the following (i) implies (ii):
\begin{description}
\item[(i)] {\rm \bf ($\mathbb D$-convergence of underlying spaces)} \vspace{2mm}\\
$\mathcal (X_n,d_n, m_n)$ converges to $(\mathcal X_\infty, d_\infty, m_\infty)$ in the Sturm's $\mathbb D$-distance$;$
\vspace{2mm}
\item[(ii)] {\rm \bf ($\mathbb D$-convergence of continuous path spaces with the laws of Brownian motions)}\vspace{2mm}\\
$\bigl(C([0,\infty); X_n), \delta_n, {B_\cdot^n}_\#\mathbb P^{x_n}_n\bigr)$ converges to $\bigl(C([0,\infty); X_\infty), \delta_\infty, {B_\cdot^\infty}_\#\mathbb P^{x_\infty}_\infty\bigr)$ in the Sturm's $\mathbb D$-distance for some sequence $x_n \in X_n$.
\end{description}
\end{cor}

We explain Assumption \ref{asmp: 1}.
The $\mathrm{RCD}^*(K,N)$ ({\it Riemannian curvature-dimension condition}) space was first introduced by Erbar--Kuwada--Sturm \cite{EKS15}, which is the class of metric measure spaces satisfying {\it the reduced curvature-dimension condition $\mathrm{CD}^*(K,N)$} with the Cheeger energies being {\it quadratic}. Roughly speaking, $\mathrm{RCD}^*(K,N)$ condition is a generalization of $\mathrm{Ricci} \ge K$ and $\mathrm{dim} \le N$  to metric measure spaces.
We will recall the precise definition of the $\mathrm{RCD}^*(K,N)$ in Section \ref{subsec: RCD}. It is known that several important classes of metric measure spaces are included in $\mathrm{RCD}^*(K,N)$ spaces: the measured Gromov--Hausdorff limit spaces of $N$-dimensional complete Riemannian manifolds with $\mathrm{Ricci} \ge K$; $N$-dimensional Alexandrov spaces with curvature $\ge K/(N-1)$ (see Kuwae--Machigashira--Shioya\cite{KMS01}, Petrunin \cite{Pet11} and Zhang--Zhu \cite{ZZ10}).
Note that the Sierpi\'nski gasket $(K,\rho_\mathcal H, \mu)$ with the harmonic geodesic metric $\rho_\mathcal H$ and the Kusuoka measure $\mu$ does not satisfy the $\mathrm{CD}^*(K,N)$ condition (see Kajino \cite{K13}).

\begin{rem} \label{rem: relw}\normalfont
We give comments to several related works.
\begin{description}
\item[(i)] In \cite{O01}, Ogura studied the weak convergence of the laws of the Brownian motions on Riemannian manifolds by a different approach. He assumed uniform upper bounds for heat kernels, and the Kasue--Kumura spectral convergence of the underlying manifolds $M_n$. He push-forward each Brownian motions on $M_n$ to the Kasue--Kumura limit space $M_\infty$ with respect to $\varepsilon_n$-isometry $f_n: M_n \to M_\infty$, and show the convergence in law on the c\`adl\`ag space of the push-forwarded Brownian motions on $M_\infty$ with time-discretization.

\begin{comment}
Let $N$ be a positive integer with $N\ge 1$ and $\alpha, \nu, \beta>0$. He considered the set $\mathscr R(N, \alpha, \nu, \beta)$ of isomorphism classes of $N$-dimensional connected compact weighted Riemannian manifolds $(M,g,w)$ with a weighted measure $\mu^w_g=w\mu_g$ for $w \in C^\infty(M)$ satisfying
\begin{align*}
p(t,x,y) &\le \frac{\alpha}{(t\wedge 1)^{\nu/2}} \quad t>0, \ x,y \in M,
\\
\mu^w_g(M)& \le \beta,
\end{align*}
where $p(t,x,y)$ is the heat kernel of $(M,g,w)$.
He assumed that a sequence of Riemannian manifolds $(M_n, g_n, w_n) \in \mathscr R(N, \alpha, \nu, \beta)$ converges to $M_\infty$ in {\it the spectral distance} introduced in Kasue--Kumura \cite{KK94,KK96} (called {\it spectral convergence}).
Then, after each Brownian motions are push-forwarded to the limit space $M_\infty$ by approximation maps $f_n: M_n \to M_\infty$, he showed that the weak convergence of the laws of these push-forwarded Brownian motions with time-discretization.
\\
\end{comment}

\item[(ii)]
In \cite{AK12}, Albeverio and Kusuoka considered diffusion processes associated with SDEs on thin tubes in $\mathbb R^d$ shrinking to one-dimensional spider graphs. They studied the weak convergence of these diffusions to one-dimensional diffusions on the limit graphs. We note that their setting does not satisfy the $\mathrm{RCD}^*(K,N)$ condition because Ricci curvatures are not bounded below at points of conjunctions in spider graphs.
\end{description}
\end{rem}

Finally we list related studies not stated in Remark \ref{rem: relw}.
In \cite{S15}, the author studied a convergence of continuous stochastic processes on compact metric spaces converging in the Lipschitz distance.
In Stroock--Varadhan \cite{SV79}, Stroock--Zheng \cite{SZ97} and Burdzy--Chen \cite{BC08}, they studied approximations of diffusion processes on $\mathbb R^d$ by discrete Markov chains on $(1/n)\mathbb Z^d$. In Bass--Kumagai--Uemura \cite{BKU10} and Chen--Kim--Kumagai \cite{CKK13}, they investigated approximations of jump processes on proper metric spaces by Markov chains on discrete graphs, and on ultra-metric spaces in \cite{S14}. There are many studies about scaling limits of random processes on random environments (see, e.g., Kumagai \cite{K14} and references therein).

The present paper is organized as follows: In Section \ref{sec: Pre}, we prepare notation and preliminary facts.
In Section \ref{sec: proof}, we give a proof of Theorem \ref{thm: mthm1} and Corollary \ref{cor: D}.

\section{Notation \& Preliminary Results} \label{sec: Pre}
\subsection{Notation} \label{subsec: Pre}
Let $\mathbb N=\{0,1,2,...\}$ and $\overline{\mathbb N}:=\mathbb N \cup \{\infty\}.$

Let $(X,d)$ be a complete separable metric space. We write $B_r(x)=\{y \in X: d(x,y)<r\}$ for a open ball centered at $x \in X$ with radius $r>0$.
We denote by $\mathscr B(X)$ the family of all Borel sets in $(X,d)$.
We denote by $\mathcal B_b(X)$ the set of real-valued bounded Borel-measurable functions on $X$.
Let $C(X)$ denote the set of real-valued continuous functions on $X$. Let $C_b(X), C_0(X)$ and $C_{bs}(X)$ denote the subsets of $C(X)$ consisting of bounded functions, functions with compact support and bounded functions with bounded support, respectively.
Let $\mathcal P(X)$ denote  the set of Borel probability measures on $X$.

We denote by $C([0,\infty), X)$ the set of continuous functions on $[0,\infty)$ valued in $X$. Let $\delta$ denote the local uniform distance for $v,w\in C([0,\infty), X)$
$$\delta(v,w)=\int_{[0,\infty)} e^{-T}(1 \wedge \sup_{t \in [0,T]}d(v(t), w(t))) dT. $$
It is known that $(C([0,\infty, X), \delta)$ is a complete separable metric space.

We say that $\gamma:[a,b] \to X$ is a {\it curve on $X$} if $\gamma: [a,b] \to X$ is continuous.
A curve $\gamma: [a,b] \to X$ is said to be {\it connecting $x$ and $y$} if $\gamma_a=x$ and $\gamma_b=y$.
A curve $\gamma: [a,b] \to X$ is said to be {\it a minimal geodesic} if
$$d(\gamma_t, \gamma_s)=\frac{|s-t|}{|b-a|}d(\gamma_a, \gamma_b) \quad a \le t \le s \le b.$$
In particular, if $\frac{d(\gamma_a, \gamma_b)}{|b-a|}$ can be replaced to $1$, we say that $\gamma$ is {\it  unit-speed}.

In this paper, we say that $(X,d,m)$ is {\it a metric measure space} if
\begin{description}
\item[(i)] $(X,d)$ is a complete separable metric space;
\item[(ii)] $m$ is a non-zero Borel measure on $X$ which is locally finite in the sense that $m(B_r(x))<\infty$ for all $x \in X$ and sufficiently small $r>0$.
\end{description}
Let $\mathrm{supp}[m]=\{x \in X: m(B_r(x))>0, \ \forall r>0\}$ denote the support of $m$.
Let $(Y,d_Y)$ be a complete separable metric space. For a Borel measurable map $f: X \to Y$, let $f_\#m$ denote the push-forward measure on $Y$:
$${f}_\#m(B) = m(f^{-1}(B)) \quad \text{for any Borel set} \quad  B \in \mathscr B(Y).$$

\subsection{$L^2$-Wasserstein Space}

Let $(X_i,d_i)$ $(i=1,2)$ be complete separable metric spaces.
For $\mu_i \in \mathcal P(X_i)$, a probability measure $q \in \mathcal P(X_1 \times X_2)$ is called {\it a coupling of $\mu_1$ and $\mu_2$} if
$${\pi_1}_\#q = \mu_1 \quad \text{and} \quad {\pi_2}_\#q=\mu_2,$$
where $\pi_i$ $(i=1,2)$ is the projection $\pi_i: X_1 \times X_2 \to X_i$ as $(x_1,x_2) \mapsto x_i$. We denote by $\Pi(\mu, \nu)$ the set of all coupling of $\mu$ and $\nu$.

Let $(X,d)$ be a complete separable metric space. Let $\mathcal P_2(X)$ be the subset of $\mathcal P(X)$ consisting of all Borel probability measures $\mu$ on $X$ with finite second moment:
$$\int_Xd^2(x,\overline{x})d\mu(x)<\infty \quad \text{for some (and thus any) $\overline{x} \in X.$}$$
We endow $\mathcal P_2(X)$ with the quadratic transportation distance $W_2$, called {\it $L^2$-Wasserstein distance}, defined as follows:
\begin{align} \label{eq: Was}
W_2(\mu,\nu)=\Bigl(\inf_{q \in \Pi(\mu,\nu)}\int_{X\times X}d^2(x,y)dq(x,y)\Bigr)^{1/2}.
\end{align}
A coupling $q \in \Pi(\mu,\nu)$ is called {\it an optimal coupling} if $q$ attains the infimum in the equality \eqref{eq: Was}. It is known that, for any $\mu,\nu$, there always exists an optimal coupling $q$ of $\mu$ and $\nu$ (e.g., \cite[\S 4]{V09}).

It is known that $(\mathcal P_2(X), W_2)$ is a complete separable metric space (e.g., \cite[Theorem 6.18]{V09}).

\subsection{Sturm's $\mathbb D$-distance and measured Gromov--Hausdorff convergence} \label{subsec: D}
In this subsection, following \cite{GMS13, Sturm06}, we recall two notions of convergences, {\it Sturm's $\mathbb D$-convergence} and {\it the measured Gromov--Hausdorff convergence}, and state when two notions are equivalent.

Let $(X,d,m)$ be a normalized metric measure space, that is,
\begin{description}
\item[(i)] $(X,d,m)$ is a metric measure space;
\item[(ii)]  $m(X)=1.$
\end{description}
Two metric measure spaces $(X_1,d_1,m_1)$ and $(X_2,d_2,m_2)$ are said to be {\it isomorphic} if there exists an isometry $\iota: \mathrm{supp}[m_1] \to \mathrm{supp}[m_2]$ such that $$\iota_\#m_1=m_2.$$
{\it The variance of $(X,d,m)$} is defined as follows:
$$\mathbb Var(X,d,m)=\inf\int_{X'} d'^2(z,x)dm'(x),$$
where the infimum is taken over all metric measure spaces $(X',d',m')$ isomorphic to $(X,d,m)$ and over all $z \in X'$.
Note that $(X,d,m)$ has a finite variance if and only if
$$\int_Xd^2(z,x)dm(x)<\infty,$$
for some (hence all) $z \in X$.

Let $\mathbb X_1$ be the set of isomorphism classes of normalized metric measure spaces with finite variances. Now we equip $\mathbb X_1$ with a metric called {\it Sturm's $\mathbb D$-distance} (\cite{Sturm06}):
\begin{defn}$(${\rm See \cite[Definition 3.2]{Sturm06}}$)$ \label{defn: Ddist} \normalfont
For $(X_1,d_1, m_1), (X_2,d_2,m_2)\in \mathbb X_1$,
\begin{align*}
\mathbb D((X_1,d_1,m_1), (X_2,d_2,m_2))=\inf\Bigl\{ \Bigl( & \int_{X_1 \times X_2}\hat{d}(x,y)^2dq(x,y)\Bigr)^{1/2}:
\\
&\text{$\hat{d}$ is a coupling of $d_1$ and $d_2$,}
\\
& \text{$q$ is a coupling of $m_1$ and $m_2$}
\Bigr\},
\end{align*}
where a pseudo metric $\hat{d}$ on the disjoint union $X_1 \sqcup X_2$ is called {\it a coupling of $d_1$ and $d_2$} if
$$\hat{d}(x,y)=d_i(x,y), \quad x,y \in \mathrm{supp}[m_i] \quad (i=1,2).$$
Here we mean that $\hat{d}$ is {\it a pseudo metric} if $\hat{d}$ satisfies all the conditions of metric except {\it non-degeneracy}, i.e., $\hat{d}(x,y)=0$ does not necessarily imply $x=y$.

We say that a sequence $\mathcal X_n=(X_n,d_n,m_n)$ is {\it $\mathbb D$-convergent to $\mathcal X_\infty=(X_\infty,d_\infty,m_\infty)$} if $\mathbb D(\mathcal X_n,\mathcal X_\infty)\to 0$ as $n \to \infty$.
\end{defn}

It is known that $(\mathbb X_1, \mathbb D)$ becomes a complete separable metric space (see \cite{Sturm06}).

We know the following equivalent statement:
\begin{prop}$(${\rm See \cite[Proposition 2.7]{AGS14b}}$)$  \label{prop: Dconv}
Let $(X_n,d_n,m_n) \in \mathbb X_1$ for $n \in \overline{\N}$. Then the following are equivalent:
\begin{description}
	\item[(i)] $(X_n,d_n,m_n) \overset{\mathbb D}\to (X_\infty,d_\infty,m_\infty)$ as $n \to \infty$$;$
	\item[(ii)]  There exists a complete separable metric space $(X,d)$ and isometric embeddings $\iota_n: \mathrm{supp}[m_n] \to X$ for $n \in \overline{\N}$ such that
	$$W_2({\iota_n}_\#m_n, {\iota_\infty}_\#m_\infty) \to 0.$$
\end{description}
\end{prop}

Now we recall {\it the measured Gromov--Hausdorff convergence}. Since we only consider compact metric measure spaces in this paper, we give the definition only for compact metric measure spaces. (For the non-compact case, see e.g., \cite[Definition 3.24]{GMS13} for the definition of {\it the pointed measured Gromov--Hausdorff convergence}.)
\begin{defn}[\cite{F87}] \label{defn: GH} \normalfont Let $(X_n,d_n,m_n)$ be a sequence of compact metric measure spaces for $n \in \overline{\N}$.
We say that $(X_n,d_n,m_n)$ converges to $(X_\infty, d_\infty, m_\infty)$ in the sense of {\it the measured Gromov--Hausdorff} (mGH for short) if there exist $\varepsilon_n \to 0$ $(n \to \infty)$ and Borel measurable maps $f_n: X_n \to X_\infty$ for each $n \in \mathbb N$ such that
\begin{description}
\item[(i)] $\sup_{x,y \in X_n}|d_n(x,y)-d_\infty(f_n(x), f_n(y))| \le \varepsilon_n$;
\item[(ii)] $X_\infty \subset B_{\varepsilon_n}(f_n(X_n));$
\item[(iii)] for any $\phi \in C_b(X_\infty)$, it holds that $$\lim_{n \to \infty}\int_{X_n}\phi \circ f_n \ dm_n \to \int_{X_\infty}\phi\ dm_\infty.$$
\end{description}
The map $f_n$ is called {\it an $\varepsilon_n$-approximation} ({\it an $\varepsilon_n$-isometry} is also a standard name).
\end{defn}

In general, the (pointed) mGH-convergence is stronger than the $\mathbb D$-convergence. However, if a sequence $(X_n, d_n,m_n)$ has  {\it $c$-doubling property} for a positive constant $c>0$ and $\mathrm{supp}[m_\infty]=X_\infty$, these two notions of convergences are equivalent. Here we mean that, for a positive constant $c>0$, a metric measure space $(X,d,m)$ satisfies {\it $c$-doubling property} if
\begin{align} \label{condition: doubl}
m(B_{2r}(x)) \le cm(B_{r}(x)) \quad \forall x \in X, \quad \forall r>0.
\end{align}
Note that the condition \eqref{condition: doubl} implies that ${\rm supp}[m_n]=X_n$ for all $n \in \mathbb N$.
\begin{prop}$(${\rm See \cite[Proposition 3.33]{GMS13}}$)$ \label{prop: doubling}
Let $(X_n,d_n,m_m)$ be a sequence of normalized metric measure spaces.
Under the following two conditions, the (pointed) mGH-convergence and the $\mathbb D$-convergence are equivalent:
\begin{description}
	\item[(i)] $(X_n, d_n,m_n)$ has $c$-doubling property for some $c>0$ where $c$ is independent of each $n$$;$
	\item[(ii)] $\mathrm{supp}[m_\infty]=X_\infty$.
\end{description}
\end{prop}

In the setting of Assumption \ref{asmp: 1}, we can check both of (i) and (ii) of Proposition \ref{prop: doubling}. In fact, as we will state in Fact \ref{prop: list}, we have the uniform global volume doubling property when ${\rm Diam}(X_n)\le D$. This implies (i) of Proposition \ref{prop: doubling}. Since the $\mathrm{RCD}^*(K,N)$ is stable under $\mathbb D$-convergence (see (i) of Fact \ref{prop: list}), we have that $(X_\infty,d_\infty,m_\infty)$ also satisfies  the $\mathrm{RCD}^*(K,N)$ with ${\rm Diam}(X_\infty) \le D$. This implies that $(X_\infty,d_\infty,m_\infty)$ satisfies the global volume doubling property, and we have $\mathrm{supp}[m_\infty]=X_\infty$.

\subsection{Cheeger's $L^2$-energy functional} \label{subsec: Ch}
In this subsection, we follow Ambrosio--Gigli--Savar\'e \cite{AGS14b} to recall Cheeger's $L^2$-energy functional on metric measure spaces.

Let $(Z, d_Z)$ be a complete separable metric space and $I \subset \mathbb R$ be a non-trivial interval. A curve $I \ni t \mapsto z_t \in Z$ is absolutely continuous if there exists a function $f \in L^1(I,dt)$ such that ($dt$ denotes the Lebesgue measure on $I$)
\begin{align} \label{AC}
d_Z(z_t,z_s) \le \int_t^sf(r)dr \quad \forall t,s \in I, \ t<s.
\end{align}
For an absolutely continuous curve $z_t$, the limit $\lim_{h \to 0}\frac{d_Z(z_{t+h},z_t)}{|h|}$ exists for a.e.\ $t \in I$ and, this limit defines an $L^1(I,dt)$ function. We  denote $\lim_{h \to 0}\frac{d_Z(z_{t+h},z_t)}{|h|}$ by $|\dot{z}_t|$ called {\it the metric speed at $t$.} Note that the metric speed $|\dot{z}_t|$ is the minimal function in the a.e.\ sense among $L^1(I,dt)$ functions satisfying \eqref{AC} (see \cite{AGS05}).
We denote by $\mathrm{AC}^p(I;Z)$ the set of all absolutely continuous curves with their metric derivatives in $L^p(I)$. Let $C(I;Z)$ denote the set of continuous functions from $I$ to $Z$.
Define a map
$$C(I;Z) \ni \gamma \mapsto \mathcal E_2[\gamma]=
\begin{cases} \displaystyle
\int_I|\dot{\gamma_t}|^2dt, \quad \text{if} \quad \gamma \in \mathrm{AC}^2(I;Z),
\\
+ \infty \quad \text{otherwise}.
\end{cases}
$$

Given an absolutely continuous curve $\mu \in \mathrm{AC}(I;(\mathcal P_2(Z), W_2))$, we denote by $|\dot{\mu}_t|$ its metric speed in the space $(\mathcal P_2(Z), W_2)$. Let $e_t: C(I;Z) \to Z$ be the evaluation map $e_t(\gamma)=\gamma_t$.
If $\pi \in \mathcal P(C(I;Z))$ satisfies $(e_t)_\# \pi=\mu_t$ for any $t \in I$, it is easy to see that
$$\int_I |\dot{\mu_t}|dt \le \int\mathcal E_2[\gamma]d\pi(\gamma).$$

Let $(X,d,m)$ be a metric measure space. We now recall notions of {\it  test plan, weak upper gradient, Sobolev class and Cheeger energy} on $(X,d,m)$.
\begin{defn}$(${\rm See \cite[Definition 5.2]{AGS14}}$)$ \normalfont (test plan) \label{defn: test}\\
We say that $\pi \in \mathcal P(C([0,1];X))$ is {\it a test plan} if there exists a constant $c>0$ such that
\begin{align*}
(e_t)_{\#}\pi \le cm \quad \text{for every} \quad t \in [0,1], \quad \int\mathcal E_2[\gamma]d\pi(\gamma) < \infty.
\end{align*}
\end{defn}
\begin{defn}$(${\rm See \cite[Definition 5.3]{AGS14}}$)$\normalfont (weak upper gradient, Sobolev class and Cheeger energy)
\begin{description}
\item[(i)] For a Borel function $f: X \to \mathbb R$, we say that $G \in L^2(X,m)$ is {\it a weak upper gradient of $f$} if the following inequality holds:
\begin{align} \label{def: UG}
\int|f(\gamma_1)-f(\gamma_0)|d\pi(\gamma) \le \int\int_0^1G(\gamma_t)|\dot{\gamma}_t|dtd\pi(\gamma),
\end{align}
for every test plan $\pi$.
\item[(ii)]We say that $f$ belongs to the Sobolev class $S^{2}(X,d,m)$ if there exists $G \in L^2(X,m)$ satisfying $\eqref{def: UG}$.
For $f \in S^{2}(X,d,m)$, it turns out that there exists a minimal (in the $m$-a.e.\ sense) weak upper gradient $G$ and we denote it by $|\nabla f|_w$.
\item[(iii)] For $f \in L^2(X,m)$,  {\it the Cheeger energy} ${\sf Ch}(f)$ is defined by
\begin{align} \label{def: Ch}
{\sf Ch}(f)=
\begin{cases} \displaystyle
	\frac{1}{2}\int|\nabla f|^2_w dm, \quad \text{if} \quad f \in L^2(X,m) \cap S^{2}(X,d,m),
	\\
	+\infty, \quad \text{otherwise}.
\end{cases}
\end{align}
\end{description}
\end{defn}

Note that ${\sf Ch}: L^2(X,m) \to [0,+\infty]$ is a lower semi-continuous and convex functional but not necessarily quadratic form.
Let $W^{1,2}(X,d,m)=L^2(X,m) \cap S^2(X,d,m)$ endowed with the following norm:
$$\|f\|_{W^{1,2}}=\sqrt{\|f\|^2_{L^2}+2{\sf Ch}(f)}.$$
Note that $(W^{1,2}(X,d,m), \|\cdot\|_{W^{1,2}})$ is a Banach space, but not necessarily a Hilbert space.

The Cheeger energy ${\sf Ch}$ can be defined also as the limit of the integral of local Lipschitz constants.
Let $\mathrm{Lip}(X)$ denote the set of real-valued Lipschitz continuous functions on $X$. For $f \in \mathrm{Lip}(X)$, the local Lipschitz constant $|\nabla f|: X \to \mathbb R$ is defined as follows:
$$|\nabla f|(x)=
\begin{cases} \displaystyle
\limsup_{y \to x}\frac{|f(y)-f(x)|}{d(y,x)} \quad \text{if $x$ is not isolated},
\\ \displaystyle
0\quad \text{otherwise}.
\end{cases}
$$
Then, for $f \in W^{1,2}(X,d,m)$, we have (see \cite{AGS14})
$${\sf Ch}(f)=\frac{1}{2}\inf\Bigl\{ \liminf_{n \to \infty} \int |\nabla f_n|^2 dm: f_n \in \mathrm{Lip}(X), \int_X|f_n -f|^2 dm \to 0 \Bigr\}.$$

\subsection{$\mathrm{RCD^*}(K,N)$ condition} \label{subsec: RCD}
In this subsection, we recall the definition of metric measure spaces satisfying the $\mathrm{RCD}^*(K,N)$ condition following Erbar--Kuwada--Sturm \cite{EKS15}. We also recall several properties satisfied by  $\mathrm{RCD}^*(K,N)$ spaces.

For each $\theta \in [0,\infty)$, we set
$$
\Theta_\kappa(\theta)=
\begin{cases} \displaystyle
\frac{\sin(\sqrt{\kappa}\theta)}{\sqrt{\kappa}} \hfill \text{if} \quad \kappa>0,
\\
\displaystyle
\theta \hfill \text{if} \quad \kappa=0,
\\
\displaystyle
\frac{\sinh(\sqrt{-\kappa}\theta)}{\sqrt{-\kappa}} \quad \hfill \text{if} \quad \kappa<0,
\end{cases}
$$
and set for $t \in [0,1]$,
\begin{align*} \displaystyle
\sigma_{\kappa}^{(t)}(\theta)=
\begin{cases} \displaystyle \frac{\Theta_{\kappa}(t\theta)}{\Theta_{\kappa}(\theta)} \quad \hspace{15mm} \text{if} \quad \kappa \theta^2 \neq0 \quad \text{and} \quad \kappa \theta^2< \pi^2,
\\
t \quad \hspace{25.5mm} \text{if} \quad \kappa \theta^2=0,
\\
\displaystyle
+\infty \quad \hspace{20mm}\text{if} \quad \kappa \theta^2 \ge \pi^2.
\end{cases}
\end{align*}

Let $(X,d,m)$ be a metric measure space.
Let $\mathcal P_2(X,d,m)$ be the subset of $\mathcal P_2(X)$ consisting of $\mu \in \mathcal P_2(X)$ which is absolutely continuous with respect to $m$.
Let $\mathcal \mathbb P_\infty(X,d,m)$ be the subset of  $\mathcal P_2(X,d,m)$ consisting of $\mu  \in \mathcal P_2(X,d,m)$ which has bounded support.

\begin{defn}[\cite{BS10, EKS15}] \normalfont ($\mathrm{CD}^*(K,N)$ and $\mathrm{RCD}^*(K,N)$)
\begin{description}
\item[(i)] We say that $(X,d,m)$ satisfies {\it the reduced curvature-dimension condition} $\mathrm{CD}^*(K,N)$ for $K, N \in \mathbb R$ with $N > 1$ if,
for each pair $\mu_0=\rho_0m$ and  $\mu_1=\rho_1m$ in $\mathcal \mathbb P_\infty(X,d,m)$, there exists an optimal coupling $q$ of $\mu_0$ and $\mu_1$  and a geodesic $\mu_t=\rho_tm$ $(t \in [0,1])$ in $(\mathcal \mathbb P_\infty(X,d,m), W_2)$ connecting $\mu_0$ and $\mu_1$ such that, for all $t \in [0,1]$ and $N' \ge N$, we have
\begin{align} \label{ineq: CD*}
\int\rho_t^{-\frac{1}{N'}} d\mu_t \ge  \int_{X \times X} & \Bigl[\sigma_{K/N'}^{(1-t)}(d(x_0,x_1))\rho_0^{-1/N'}(x_0)
\\
&+\sigma_{K/N'}^{(t)}(d(x_0,x_1))\rho_1^{-1/N'}(x_1)\Bigr]dq(x_0,x_1).\notag
\end{align}
\item[(ii)] We say that $(X,d,m)$ satisfies {\it the Riemannian curvature-dimension condition} $\mathrm{RCD}^*(K,N)$ if the following two conditions hold:
\begin{description}
	\item[(a)] $\mathrm{CD}^*(K,N)$
	\item[(b)] the infinitesimal Hilbertian, that is the Cheeger energy {\sf Ch} is quadratic:
	\begin{align}
	2{\sf Ch}(u)+2{\sf Ch}(v)={\sf Ch}(u+v) + {\sf Ch}(u-v), \label{defn: Cheeger}
	\\
	\hfill \forall u,v \in W^{1,2}(X,d,m). \notag
	\end{align}
\end{description}
\end{description}
\end{defn}

When $(X,d,m)$ satisfies the $\mathrm{RCD}^*(K,N)$, we define the Dirichlet form (i.e., symmetric closed Markovian bilinear form) $(\mathcal E, \mathcal F)$ induced by the Cheeger energy ${\sf Ch}$ as follows:
\begin{align} \label{defn: CH}
\mathcal E(u,v)=\frac{1}{4}({\sf Ch}(u+v)-{\sf Ch}(u-v)) \quad u,v \in \mathcal F=W^{1,2}(X,d,m).
\end{align}
By \cite{AGS14}, the Dirichlet form $(\mathcal E, \mathcal F)$ is strongly local and regular.

\begin{exa} \label{ex: RIC} \normalfont We give several examples satisfying the $\mathrm{RCD}^*(K,N)$.
\begin{description}
\item[(A)] (Ricci limit spaces)
Let $M_n=(M_n,d_{g_n},m_{g_n})$ be $N$-dimensional complete Riemannian manifolds with $\mathrm{Ricci}\ge K$ where $d_{g_n}$ is the metric induced by $g_n$, and $m_{g_n}$ is the Riemannian measure induced by $g_n$ and satisfies $m_{g_n} \in \mathcal P_2(M_n,d_{g_n})$. Let $\mathcal X=(X,d,m)$ be a metric measure space satisfying $\mathbb D(M_n,\mathcal X)\to 0$ as $n \to \infty$. Then $\mathcal X$ satisfies the $\mathrm{RCD}^*(K,N)$ condition (see \cite{EKS15}).

 \item[(B)] (Alexandrov spaces)  \\
  Let $\mathcal X=(X,d,\overline{m}_d)$ be an $N$-dimensional Alexandrov space with ${\sf Curv} \ge K$ where $\overline{m}_d$ denotes the normalized Hausdorff measure induced by $d$ (see e.g., \cite{BBI01} for details).

By \cite{Pet11, ZZ10}, $\mathcal X$ satisfies $\mathrm{CD}^*((N-1)K,N)$. Moreover, by \cite{KMS01}, $\mathcal X$ satisfies the infinitesimal Hilbertian condition, and as a result, $\mathcal X$ satisfies $\mathrm{RCD}^*((N-1)K,N)$.

\item[(C)] (Weighted spaces) [\cite{EKS15}] \\
For a functional $S: X \to [-\infty, +\infty]$ on a complete separable metric space $(X,d)$, let $D(S)=\{x \in X: S(x)<\infty\} \subset X$.
For $N \in (0,\infty)$, define the functional $U_N: X \to [0, +\infty]$ as follows:
$$U_N(x)=\exp\Bigl(-\frac{1}{N}S(x)\Bigr).$$
Let $K \in \mathbb R$ and $N \in (0,\infty)$. A functional $S: X \to [-\infty, +\infty]$ is said to be {\it strongly $(K,N)$-convex} if, for each $x_0, x_1 \in D(S)$ and every unit-speed geodesic $\gamma: [0,1] \to X$ connecting $x_0$ and $x_1$, the following holds: for all $t \in [0,1]$
$$U_N(\gamma_t) \ge \sigma_{K/N}^{(1-t)}(d(\gamma_0,\gamma_1))\cdot U_N(\gamma_0)+\sigma_{K/N}^{(t)}(d(\gamma_0,\gamma_1))\cdot U_N(\gamma_1).$$

Let $(X,d,m)$ be a $\mathrm{RCD}^*(K,N)$ space. Let $V: X \to \mathbb R$ be continuous, bounded below and strongly $(K',N')$-convex function with $\int e^{-V}dm<\infty.$ Then
$$(X,d,e^{-V}dm) \text{ satisfies the $\mathrm{RCD}^*(K+K',N+N')$}.$$
\item[(D)] (Cones) [\cite{Ket14a}] \\
Let us define, for $t\ge 0$,
$$\cos_K(t)=
\begin{cases}
\cos(\sqrt{K}t) \hfill \text{if $K>0$,}
\\
\cosh(\sqrt{-K}t) \quad  \text{if $K < 0$,}
\end{cases}
$$
and
$$\sin_K(t)=
\begin{cases}
\frac{1}{\sqrt{K}}\sin(\sqrt{K}t) \hfill \text{if $K>0$,}
\\
t \hfill  \text{if $K =0$,}
\\
\frac{1}{\sqrt{-K}}\sinh(\sqrt{-K}t) \quad \text{if $K<0$.}
\end{cases}
$$
For a metric measure space $(X,d,m)$, the $(K,N)$-cone is a metric measure space defined as follows:
\begin{itemize}
	\item A set $\mathrm{Con}_K(X)$ is defined as follows:
	$$\mathrm{Con}_K(X)=
	\begin{cases} \displaystyle
		X \times [0,\pi/\sqrt{K}]/(X \times \{0,\pi/\sqrt{K}\}) \quad \text{if $K > 0$,}
		\\ \displaystyle
		X \times [0,\infty)/(X\times\{0\}) \hfill \text{if $K \le0$.}
	\end{cases}
	$$
	\item A distance $d_{Con_K}$ is defined as follows: for $(x,t), (y,s) \in \mathrm{Con}_K(X)$,
	\begin{align*}
	&d_{Con_K}((x,t), (y, s))
	\\
	&=
	\begin{cases} \displaystyle
	\cos_K^{-1}\bigl(\cos_K(s)\cos_K(t)+K\sin_K(s)\sin_K(t)\cos(d(x,y)\wedge \pi)\bigr)
	\\
	\hfill \text{if $K\neq 0$},
	\\
	\displaystyle
	\sqrt{s^2+t^2-2st\cos(d(x,y)\wedge \pi)} \hfill \text{if $K=0$}.
	\end{cases}
	\end{align*}
	\item A measure $m_{Con_K}^N$ is defined as follows:
	$$m_{Con_K}^N=\sin_K^Ntdt\otimes m.$$
\end{itemize}
Let $K\ge 0$ and $N \ge 1$.
Then, by \cite[Corollary 1.3]{Ket14a},  we have that
{\it $(\mathrm{Con}_K(X),d_{Con_K}, m_{Con_K})$ satisfies the $\mathrm{RCD}^*(KN,N+1)$ if and only if  $(X,d,m)$ satisfies the $\mathrm{RCD}^*(N-1,N)$ and $\mathrm{Diam}(X) \le \pi.$}
\end{description}
 \end{exa}

We list below several properties of metric measure spaces satisfying the $\mathrm{RCD}^*(K,N)$.
\begin{fact} \label{prop: list} \normalfont Assume that  $(X_n,d_n,m_m)$ ($n \in \mathbb N$) and $(X,d,m)$ satisfy the $\mathrm{RCD}^*(K,N)$ condition. Then the following statements hold.
\begin{description}
	\item[(i)] (Stability under the $\mathbb D$-convergence)(\cite[Theorem 3.22]{EKS15}) \\
	If $(X_n,d_n,m_n) \overset{\mathbb D}\to (X_\infty, d_\infty,m_\infty)$ with $m_n \in \mathcal P_2(X_n,d_n)$, then
	 $$\text{$(X_\infty, d_\infty,m_\infty)$ satisfies the $\mathrm{RCD}^*(K,N)$.}$$

	 \item[(ii)] (Tensorization)(\cite[Theorem 3.23]{EKS15})\\ The product space $(X_1\times X_2, d_1\otimes d_2, m_1\otimes m_2)$, defined by
$$d_1 \otimes d_2\bigl((x, y), (x', y')\bigr)^2 = d_1(x, x')^2 + d_2(y, y')^2,$$
	 also satisfies the $\mathrm{RCD}^*(K, 2N)$.
	\item[(iii)] (Generalized Bishop--Gromov inequality) (\cite[Propsition 3.6]{EKS15}) \\
	Fix $x_0 \in \mathrm{supp}[m]$. Let us set
	$$v(r)=m(\overline{B_r(x_0)}), \quad \text{and}\quad s(r)=\limsup_{\delta \to 0}\frac{1}{\delta}m(\overline{B_{r+\delta}(x_0)} \setminus B_r(x_0)),$$
where $\overline{A}$ means the closure of a subset $A \subset X$.
Then, for each $x_0 \in X$ and $0 < r < R < \pi\sqrt{N/(K \vee 0)}$, the following inequalities hold:
\begin{align} \label{ineq: BG}
\frac{v(r)}{v(R)} \ge \frac{\int_0^r\Theta_{K/N}(t)^Ndt}{\int_0^R\Theta_{K/N}(t)^Ndt}, \quad \frac{s(r)}{s(R)} \ge\Bigl(\frac{\Theta_{K/N}(r)}{\Theta_{K/N}(R)}\Bigr)^N.
\end{align}
	\item[(iv)] (local uniform volume doubling property) (implied by \eqref{ineq: BG}) \\
	For each bounded subset $B \subset \mathrm{supp}[m]$,
	there exists a positive constant  $C_V=C_V(N,K,B)>0$ depending only on $N,K,B$ such that, for any $B_r(x)$ such that $B_{2r}(x)\subset B$,
	$$m(B_{2r}(x)) \le C_Vm(B_r(x)).$$
	\item[(v)] (local uniform weak (2,2)-Poincar\'e inequality) (\cite{HK95, Raj12a, Raj12b})
For each bounded subset $B \subset \mathrm{supp}[m]$,
	there exists a positive constant  $C_P=C_P(N,K,B)>0$ depending only on $N,K,B$ such that, for any $B_r(x)$ such that $B_{2r}(x)\subset B$,
	and all $u \in W^{1,2}(B_{2r}(x))$,
\begin{align} \label{Poin}
\frac{1}{m(B_r(x))}\int_{B_r(x)}|u-u_{B_r}|^2dm \le \frac{C_Pr^2}{m(B_{2r}(x))}\int_{B_{2r}(x)}|\nabla u|_w^2 dm,
\end{align}
where $W^{1,2}(B_{r}(x))=W^{1,2}(B_{r}(x), d|_{B_r(x)}, m|_{B_{r}(x)}) \subset W^{1,2}(X,d,m)$ defined in Section \ref{subsec: Ch}  and
$$u_{B_r}(x)=\frac{1}{m(B_r(x))}\int_{B_r(x)}udm.$$

\item[(vi)] (The intrinsic distance  coincides with $d$) (\cite[Theorem 6.10]{AGS14b}) \\
By \cite{AGS14b}, $(\mathcal E, \mathcal F)$ is a strongly local regular Dirichlet form.
Let $d_\mathcal E$ denote the intrinsic distance defined by $(\mathcal E, \mathcal F)$:
$$d_\mathcal E(x,y)=\sup\{u(x)-u(y): u \in \mathcal F_{\rm loc} \cap C_0(X), \ |\nabla u|_w\le 1 \quad m\text{-a.e.}\},$$
where $\mathcal F_{\rm loc}$ is defined as follows:
\begin{align}
\mathcal F_{\rm loc}=\{u \in L^2_{\rm loc}(X,m): \ & \text{\rm for all } K \subset X\ \text{\rm relative compact}, \notag
\\
&  \text{\rm there exists } v \in \mathcal F\ {\rm s.t.} \ u=v \ \text{on} \  K \ \text{\rm a.e.}\}. \notag
\end{align}
Then we have $$d_\mathcal E=d.$$

\item[(vii)] (Parabolic Harnack inequality) (follows from (iv), (v) and (vi) (see \cite[Theorem 3.5]{Sturm96}))
\\
Let $A$ be the non-negative self-adjoint operator associated with the Cheeger energy ${\sf Ch}$.
For each bounded subset $B \subset \mathrm{supp}[m]$, there exists a positive constant $C_H=C_H(N,K,B)>0$ such that, for any ball $B_r(x) \subset A$ satisfying $B_{2r}(x) \subset B$,
\begin{align} \label{PHI}
\sup_{(s,y) \in Q^-}u(s,y) \le C_H\inf_{(s,y) \in Q^+}u(s,y),
\end{align}
whenever $u$ is a nonnegative local solution of the parabolic equation $\frac{\partial}{\partial t}u=-Au$ on $Q=(t-4r^2,t) \times B_{2r}(x)$.
Here $Q^-=(t-3r^2,t-2r^2) \times B_{r}(x)$ and $Q^+=(t-r^2,t) \times B_{r}(x)$.

\item[(viii)] (H\"older continuity of the local solutions) (follows from (vii) (see \cite[Propostion 3.1]{Sturm96}))
\
Let $A$ be the non-negative self-adjoint operator associated with the Cheeger energy ${\sf Ch}$. For each bounded subset $B \subset \mathrm{supp}[m]$, there exists positive constants  $\alpha=\alpha(N,K,B) \in (0,1)$ and $C=C(N,K,B)>0$ depending only on $N,K,B$ such that for all $T >0$ and all balls $B_r(x)$ satisfying $B_{2r}(x)\subset B$, it holds that, for all $(s,y), (t,z) \in Q_1=(T-r^2,T) \times B_{r}(x)$,
\begin{align} \label{ineq: Hol}
|u(s,y)-u(t,z)| \le C\sup_{Q_2}|u|\Bigl(\frac{|s-t|^{1/2}+d(y,z)}{r}\Bigr)^{\alpha} ,
\end{align}
whenever $u$ is a local solution of the parabolic equation $\frac{\partial}{\partial t}u=-Au$ on $Q_2=(T-4r^2,T) \times B_{2r}(x)$.
\end{description}
\end{fact}

\subsection{Brownian motions on $\mathrm{RCD}^*(K,N)$ spaces} \label{subse: BM}
In this subsection, we suppose Assumption \ref{asmp: 1}, that is, we assume the following
\begin{itemize}
\item $\mathrm{RCD}^*(K,N)$;
\item $\mathrm{Diam}(X) \le D$;
\item $m(X)=1$.
\end{itemize}
 Note that any $(X,d,m)$ satisfying above is compact.
By (iii) and (iv) of Fact \ref{prop: list},  the global volume doubling property and the global weak $(2,2)$-Poincar\'e inequality hold. Moreover, the parabolic Harnack inequality (vii) of Fact \ref{prop: list} holds globally (i.e., bounded subsets $B$ in the statements can be replaced to the whole space $X$).

Let $\{T_t\}_{t>0}$ be the semigroup on $L^2(X,m)$ associated with the Dirichlet form $(\mathcal E, \mathcal F)$ associated with the Cheeger energy.
We say that a jointly measurable function $p(t,x,y)$ in $(0,\infty)\times X \times X$ is {\it a heat kernel} if
$$T_tf(x)=\int_X p(t,x,y) f(y) m(dy), \quad f \in L^2(X,m), \quad \text{$m$-a.e. $x \in X$}.$$
By \cite[Theorem 7.4 \& Proposition 7.5]{St98}, the global parabolic Harnack inequality implies that there exists a heat kernel $p(t,x,y)$ which is locally H\"older continuous in $(t,x,y) \in (0,\infty) \times X \times X$ satisfying
\begin{description}
\item[(a)] (Strong Feller property) \\
For any $f \in \mathcal B_b(X)$,
\begin{align} \label{SF}
T_tf=\int_Xf(y)p(t,\cdot,y)m(dx) \in C(X) \quad (\forall t>0).
\end{align}
\item[(b)] (Gaussian estimate) \\
There exist positive constants $C_1=C_1(N,K,D)$, $C_1'=C_1'(N,K,D)$, $C_2=C_2(N,K,D)$ and $C_2'=C'_2(N,K,D)$ depending only on $N,K,D$ such that
 \begin{align} \label{GE1}
  \frac{C'_1}{m(B_{\sqrt{t}}(x))}\exp\Bigl\{-C'_2\frac{d(x,y)^2}{t}\Bigr\} \le p(t,x,y) \le \frac{C_1}{m(B_{\sqrt{t}}(x))}\exp\Bigl\{-C_2\frac{d(x,y)^2}{t}\Bigr\},
 \end{align}
for all $x, y \in X$ and $0 < t \le D^2$.
\end{description}

By (a) and (b), we know that $\{T_t\}_{t>0}$ is \underline{a Feller semigroup}, that is, the following conditions hold:
\begin{description}
\item[(F-1)] For any $f \in C(X)$, $T_tf \in C(X)$ for any $t>0$.
\item[(F-2)] For any $f \in C(X)$, $\|T_tf-f\|_\infty \to 0 \quad t \downarrow 0$.
\end{description}
(Note that the strong Feller property is not actually stronger than the Feller property. Just a conventional use.)

In fact, (F-1) follows directly from the strong Feller property (a).

We show the condition (F-2).
By the generalized Bishop--Gromov inequality \eqref{ineq: BG}, we have the following volume growth estimate: there exist positive constants $\nu=\nu(N,K, D)>0$ and $c=c(N,K,D)>0$ such that, for all $n \in \mathbb N$
\begin{align} \label{VE}
	m_n(B_r(x)) \ge cr^{2\nu} \quad  (0 \le  r \le 1 \wedge D).
\end{align}
In fact, taking $B=B_D(x_0)$ in \eqref{ineq: BG} for some $x_0 \in X$, we have
\begin{align*}
m_n(B_r(x))\ge \frac{\int_0^r\Theta_{K/N}(t)^Ndt}{\int_0^D\Theta_{K/N}(t)^Ndt}m_n(B_D(x)) = {c(N,K,D)}\int_0^r\Theta_{K/N}(t)^Ndt.
\end{align*}
Here we used $m_n(X_n)=1$ and $c(N,K,D)=\frac{1}{\int_0^D\Theta_{K/N}(t)^Ndt}$. Thus we have \eqref{VE}.
Combining with the Gaussian heat kernel estimate \eqref{GE1}, we have the following upper heat kernel estimate:
 \begin{align} \label{GE}
p(t,x,y) \le \frac{C_1}{ct^\nu}\exp\Bigl\{-C_2\frac{d(x,y)^2}{t}\Bigr\},
 \end{align}
for all $x, y \in X$ and $0<t\le D^{2}$.

For given $\varepsilon>0$, take $\delta>0$ such that $|f(x)-f(y)|<\varepsilon$ whenever $d(x,y)<\delta$. By the Gaussian estimate \eqref{GE}, we can choose a positive number $T$ such that $p(t,x,y)<\varepsilon$ for any $0<t<T$ and any $x,y \in X$ satisfying $d(x,y) \ge \delta$.
Then we have that, for any $x \in X$
\begin{align*}
&|T_tf(x)-f(x)|=\Bigl|\int_{X}p(t,x,y)f(y)m(dy)-f(x)\Bigr|
\\
&\le \int_{X}p(t,x,y)|f(y)-f(x)|m(dy)
\\
&=\int_{B_x(\delta)}p(t,x,y)|f(y)-f(x)|m(dy) + \int_{X\setminus B_x(\delta)}p(t,x,y)|f(y)-f(x)|m(dy)
\\
&\le\  \varepsilon + 2\varepsilon\|f\|_\infty.
\end{align*}
Thus we have shown that (F-2) holds.

By the Feller property of $\{T_t\}_{t>0}$, there exists the Hunt process $(\{\mathbb P^x\}_{x \in X}, \{B_t\}_{t \ge 0})$ satisfying (see e.g., \cite{BG68})
$$\mathbb E^x(f(B(t)))=T_tf(x)$$
for all $f \in \mathcal B_b(X) \cap L^2(X,m)$, all $t>0$ and  all $x \in X$.
We call $(\{\mathbb P^x\}_{x \in X}, \{B_t\}_{t \ge 0})$ \underline{the Brownian motion} on $(X,d,m)$. Since $(\mathcal E, \mathcal F)$ is strongly local by \cite{AGS14b},  $B(\cdot)$ has continuous paths without inside killing almost surely with respect to $\mathbb P^x$ for all $x \in X$. See \cite{FOT11} for details.

 \subsection{Mosco convergence of Cheeger energies} \label{sec: MC}
In Gigli--Mondino--Savar\'e \cite{GMS13}, they introduced $L^2$-convergences on varying metric measure spaces and showed a Mosco convergence of the Cheeger energies.  We recall their results briefly.

\begin{defn}$(${\rm See \cite[Definition 6.1]{GMS13}}$)$ \label{defn: Weak} \normalfont
Let $(X_n,d_n,m_n)$ be normalized metric measure spaces. Assume that $(X_n,d_n,m_n)$ converges to $(X_\infty, d_\infty, m_\infty)$ in the $\mathbb D$-distance.  Let $(X,d)$ be a complete separable metric space and
$\iota_n: \mathrm{supp}[m_n] \to X$ be isometries as in Proposition \ref{prop: Dconv}. We identify $(X_n, d_n, m_n)$ with $(\iota_n(X_n), d, {\iota_n}_\#m_n)$ and omit $\iota_n$.
\begin{description}
	\item[(i)] We say that {\it $u_n \in L^2(X, m_n)$ converges weakly to $u_\infty \in L^2(X,m_\infty)$} if the following hold:
$$\sup_{n \in \mathbb N}\int|u_n	|^2\ dm_n < \infty \quad \text{and} \quad \int \phi u_n \ dm_n \to \int \phi u_\infty \ dm_\infty \quad \forall \phi \in C_{bs}(X),$$
where recall that $C_{bs}(X)$ denotes the set of bounded continuous functions with bounded support.
 \item[(ii)] We say that {\it $u_n \in L^2(X,m_n)$ converges strongly to $u_\infty \in L^2(X, m_\infty)$} if $u_n$ converges weakly to $u_\infty$ and the following holds:
$$\limsup_{n \to \infty}\int |u_n|^2 \ dm_n \le \int|u_\infty|^2\ dm_\infty.$$
\end{description}
\end{defn}

\begin{thm}$(${\rm See \cite[Theorem 6.8]{GMS13}}$)$ \label{thm: Mosco of Ch}
Let $(X_n, d_n, m_n)$ a sequence of normalized compact metric measure spaces satisfying the $\mathrm{CD}(K,\infty)$ for all $n \in \mathbb N$.  Assume $(X_n, d_n, m_n) \overset{\mathbb D}\to (X_\infty,d_\infty,m_\infty)$ and $(X,d)$ be a complete separable metric space as in Proposition \ref{prop: Dconv}. Let ${\sf Ch}_n$ be the Cheeger energy on $L^2(X,m_n)$ for $n \in \overline{\N}$.
Then ${\sf Ch}_n$ {\rm Mosco-converges} to ${\sf Ch}_\infty$, that is, the following two statements hold:
\begin{description}
	\item[(M1)] for every $u_n \in L^2(X,m_n)$ converges weakly to some $u_\infty \in L^2(X,m_\infty),$ the following holds:
	$$\liminf_{n \to \infty}{\sf Ch}_n(u_n)\ge {\sf Ch}_\infty(u_\infty).$$
	\item[(M2)] for every $u_\infty \in L^2(X, m_\infty)$, there exits a sequence $u_n \in L^2(X,m_n)$ such that $u_n$ converges strongly to $u_\infty$ and the following holds:
	$$\limsup_{n \to \infty}{\sf Ch}_n(u_n) \le {\sf Ch}_\infty(u_\infty).$$
\end{description}
\end{thm}
In \cite[Theorem 6.8]{GMS13}, Theorem \ref{thm: Mosco of Ch} was stated under more general assumptions (under {\it pmG}-convergence).
Note that, under  the infinitesimal Hilbertian condtion \eqref{defn: Cheeger}, we have $\mathrm{CD}(K,N) \Longrightarrow \mathrm{CD}^*(K,N) \Longleftrightarrow \mathrm{CD}^e(K,N)\Longrightarrow \mathrm{CD}(K, \infty)$ (see \cite{BS10}\&\cite{EKS15}).
Thus Theorem \ref{thm: Mosco of Ch} holds for $\mathrm{RCD}^*(K,N)$ spaces.

The Mosco convergence of the Cheeger energies implies the convergence of the Heat semigroups. Assume the same conditions as in Theorem \ref{thm: Mosco of Ch} and ${\sf Ch}_n$ are linear for any $n \in \mathbb N$. Let $\{T^n_t\}_{t>0}$ be the $L^2$-semigroup corresponding to the Cheeger energy ${\sf Ch}_n$.
\begin{thm} $(${\rm See \cite[Theorem 6.11]{GMS13}}$)$ \label{thm: Mosco of SG}
Assume the same conditions as in Theorem \ref{thm: Mosco of Ch} and ${\sf Ch}_n$ are quadratic in the sense of \eqref{defn: Cheeger} for any $n \in \mathbb N$. Then, for any $u_n \in L^2(X,m_n)$ converging strongly to $u_\infty \in L^2(X,m_\infty)$, we have
$$T_t^nu_n \text{ converges strongly to } T_t^\infty u_\infty \quad (\forall t>0).$$
\end{thm}
Note that, in \cite{GMS13}, Theorem \ref{thm: Mosco of SG} was stated without the condition of quadraticity of ${\sf Ch}_n$. In this case, $\{T^n_t\}_{t >0}$ means the $L^2$-gradient flow of ${\sf Ch}_n$ (see e.g., \cite[\S 5.1.4]{GMS13}).

 \section{Proof of Theorem \ref{thm: mthm1} and Corollary  \ref{cor: D}} \label{sec: proof}

 {\it Proof of  Theorem \ref{thm: mthm1}.}
 \\
 \underline{\it Proof of  {\bf (i)} $\Rightarrow$ {\bf (ii)} in Theorem \ref{thm: mthm1}}
 \\
 By Proposition \ref{prop: Dconv}, there exist a complete separable metric space $(X,d)$ and a family of isometric embeddings $\iota_n: X_n \to X$ such that
 \begin{align} \label{eq: W2}
 W_2({\iota_n}_\#m_n, {\iota_\infty}_\#m_\infty) \to 0.
 \end{align}
By Proposition  \ref{lem: Haus} (see Appendix), we have that  $\iota_n(X_n)$ converges to  $\iota_\infty(X_\infty)$ in the Hausdorff sence in $(X,d)$. Since each $X_n$ are compact with ${\rm Diam}(X_n)\le D$, we can take $X$ as a compact set (e.g., see the proof of \cite[Proposition 2.7]{AGS14b}).

 Let $x_n \in X_n$ be a sequence satisfying $\iota_n(x_n) \to \iota_\infty(x_\infty)$ in $(X,d)$ (such sequence always exists because of the Hausdorff convergence of $\iota_n(X_n)$).
 For $n \in \overline{\N}$, let
 $$\mathbb B_n:=\iota_n (B_\cdot^n)_\# \mathbb P_n^{x_n},$$
 which is a sequence of probability measures on $\mathcal P(C([0,\infty);X))$.

 Hereafter we identify $\iota_n(X_n)$ with $X_n$, and we sometimes omit $\iota_n$.

 To show $\mathbb B_n \to \mathbb B_\infty$ weakly, it is enough to show (see e.g., \cite[\S 6]{B99})
\begin{description}
\item[(A)] $\{\mathbb B_n\}_{n \in \mathbb N}$ is tight in $\mathcal P(C([0,\infty), X))$ with respect to the weak topology;
\item[(B)] Convergence of the finite-dimensional distributions: For any $k \in \mathbb N$, $0 =t_0 < t_1 <t_2< \cdot \cdot \cdot <t_k<\infty$ and $g_1, g_2, ..., g_k \in C_b(X)$, the following holds:
\begin{align} \label{eq: FDC}
\mathbb E^{x_n}[g_1(B^n_{t_1})\cdot\cdot\cdot g_k(B^n_{t_k})] \overset{n \to \infty}\to \mathbb E^{x_\infty}[g_1(B^\infty_{t_1})\cdot\cdot\cdot g_k(B^\infty_{t_\infty})].
\end{align}
\end{description}

We first show (A), that is, the following statement holds:
\begin{lem} \label{lem: T}
 $\{\mathbb B_n\}_{n \in \mathbb N}$ is tight in $\mathcal P(C([0,\infty), X))$ with respect to the weak topology.
 \end{lem}
 {\it Proof.}
Since $x_n$ converges to $x_\infty$ in $(X,d)$, the laws of the initial distributions $\{B^n_0\}_{n \in \mathbb N}=\{\delta_{x_n}\}_{n \in \mathbb N}$ is clearly tight in $\mathcal P(X)$.
Thus it suffices for (A) to show the following (see \cite[Theorem 12.3]{B99}):
for each $T>0$, there exist $\beta>0$, $C>0$ and $\theta>1$ such that, for all $n \in \mathbb N$
	\begin{align} \label{criterion: tight5}
	&\mathbb E^{x_n}[\tilde{d}^{\beta}(B^{n}_t, B^{n}_{t+h})]
	\le Ch^{\theta}, \quad (0 \le t \le T \quad \text{and} \quad 0 \le h \le 1),
	\end{align}
	where $\tilde{d}(x,y):=d(x,y) \wedge 1$.
	Take $\beta>0$ such that $\beta/2-\nu>1$, and set $\theta=\beta/2-\nu$.
By the Markov property, we have
\begin{align} \label{eq: tight5}
	&\text{L.H.S. of \eqref{criterion: tight5}}  \notag
	\\
	& =\int_{X_n \times X_n} p_n(t,x_n,y)p_n(h,y,z)\tilde{d}^\beta(y,z) m_n(dy)m_n(dz). \notag
	\\
	& \le \int_{X_n \times X_n} p_n(t,x_n,y)p_n(h,y,z){d}^\beta(y,z)m_n(dy)m_n(dz).
\end{align}

By the Gaussian heat kernel estimate \eqref{GE} and noting $d=d_n$ on $X_n \times X_n$, we have
\begin{align}
	\int_{X_n} &p_n(s,y,z){d}^\beta(y,z) m_n(dz) \notag
	\\
	&\le \frac{C_1}{cs^{\nu}}\int_{X_n}\exp\Bigl(- C_2\frac{d_n(y,z)^2}{s}\Bigr){d}^\beta(y,z)m_n(dz) \notag
	\\
	& \le C_1c^{-1}C_2^{2/\beta}s^{\beta/2-\nu}m_n(X_n)\sup_{y,z\in X_n}\Bigl\{\Bigl(C_2\frac{d_n(y,z)^2}{s}\Bigr)^{\beta/2}\exp\Bigl(- C_2\frac{d_n(y,z)^2}{s}\Bigr)\Bigr\} \notag
	\\ \label{ineq: UGEP}
	& \le  C_1c^{-1}C_2^{2/\beta}M_\beta s^{\beta/2-\nu}\notag
	\\
	& = C_4s^{\beta/2-\nu},
\end{align}
where $M_\beta:=\sup_{t \ge 0}{t^{\beta/2}\exp(-t)}$, and $C_4=C_4(N,K,D, \beta)=C_1c^{-1}C_2^{2/\beta}M_\beta>0$ is a constant dependent only on $N,K,D$ (independent of $n$). Note that, in the 4th line in \eqref{ineq: UGEP}, we used $m_n(X_n)=1$ for all $n \in \overline{\N}$.

By \eqref{ineq: UGEP}, we have
\begin{align}
	\text{R.H.S. of \eqref{eq: tight5}} & \le C_4h^{\beta/2-\nu} \int_{X_n} p_n(t,x_n,y)m_n(dy) \notag
	\\
	& \le C_4h^{\beta/2-\nu}.
\end{align}
Thus we finish the proof.
\ \hfill \fbox{} \bigskip

Now we show (B), that is, the following statement holds:
\begin{lem} \label{lem: FDC}
For any $k \in \mathbb N$, $0 =t_0 < t_1 <t_2< \cdot \cdot \cdot <t_k<\infty$ and $g_1, g_2, ..., g_k \in C_b(X)$, the following holds:
\begin{align} \label{eq: FDC}
\mathbb E^{x_n}[g_1(B^n_{t_1})\cdot\cdot\cdot g_k(B^n_{t_k})] \overset{n \to \infty}\to \mathbb E^{x_\infty}[g_1(B^\infty_{t_1})\cdot\cdot\cdot g_k(B^\infty_{t_\infty})].
\end{align}
\end{lem}
{\it Proof.}
Recall in \S \ref{subse: BM} that we have
$$T^n_tf(x)=\mathbb E_n^{x}[f(B_n(t))],$$
for all $x \in X_n$, and $f \in L^2(X_n,m_n) \cap \mathcal B_b(X_n).$
For $g \in C_b(X)$, we set
\begin{align*}
g^{(n)}:=g|_{X_n}:=
\begin{cases} \displaystyle
g \quad \text{on} \quad X_n,
\\
0 \quad \text{otherwise}.
\end{cases}
\end{align*}
Since $X_n$ is compact, we have $g^{(n)} \in L^2(X, m_n)$ for all $n \in \overline{\N}$.
Now we show $g^{(n)} \to g^{(\infty)}$ strongly in the sense of Definition \ref{defn: Weak}.
\begin{lem} \label{lem: Strong g1}
For any $g \in C_b(X)$, it holds that $g^{(n)}$ converges strongly to $g^{(\infty)}$ in the sense of Definition \ref{defn: Weak}.
\end{lem}
{\it Proof.}
Since $g$ is bounded and $m_n(X_n)=1$ for all $n \in \mathbb N$, we have
\begin{align} \label{weak0}
\sup_{n \in \mathbb N}\|g^{(n)}\|_{L^2(m_n)}<\infty.
\end{align}
The remainder to show are the following:
\begin{align} \label{pf: weak conv1}
&\quad \int_Xg^{(n)} \phi dm_n \to \int_Xg^{(\infty)}\phi dm_\infty \quad \text{for any $\phi \in C_{bs}(X)$},
\\
\text{and} \notag
\\
&\int_{X}|g^{(n)}|^2dm_n \to \int_{X}|g^{(\infty)}|^2 dm_\infty.
\end{align}
Noting, for any $n \in \overline{\N}$,
\begin{align*}
& \quad \int_Xg^{(n)} \phi dm_n= \int_Xg\phi dm_n
\\
\text{and}
\\
&\quad \int_{X}|g^{(n)}|^2dm_n=\int_{X}|g|^2dm_n,
\end{align*}
and $g\phi$ and $|g|^2$ are both in $C_b(X)$, we obtain the desired result by using $m_n \to m_\infty$ weakly in $\mathcal P(X)$.

\ \hfill \fbox{} \bigskip
\\
Now we resume the proof of Lemma \ref{lem: FDC}.
\\
{\it Proof of Lemma \ref{lem: FDC}}:
For $g \in C_b(X)$, we have
\begin{align*}
\mathbb E_n^{x_n}[g(B^{n}_t)]=\mathbb E_n^{x_n}[g^{(n)} (B^{n}_t)]=T^n_tg^{(n)}(x_n).
\end{align*}
By using the Markov property, for all $n \in \overline{\N}$, we have
\begin{align} \label{eq: SE}
&\mathbb E^{x_n}[g_{1}(B^{n}_{t_1})\cdot\cdot\cdot g_k(B^{n}_{t_k})]  \notag
\\
&=T^n_{t_1-t_0}\Bigl(g_{1}^{(n)} T^n_{t_2-t_1} \Bigl(g_{2}^{(n)} \cdot \cdot \cdot T^n_{t_k-t_{k-1}}g_{k}^{(n)} \Bigr)\Bigr)(x_n) \notag
\\
&=:\mathcal T_k^n(x_n).
\end{align}

By the H\"older continuity of the local solutions (viii) of Fact \ref{prop: list}, we have that $T_t^ng$ is H\"older continuous on $(X_n,d_n)$ ($T_t^ng$ is a global solution of $\frac{\partial}{\partial t}u=Lu$ with $u_0=g$), and
\begin{align*}
 \sup_{n \in \mathbb N}\ (\text {H\"older constant of $T_t^ng$}) &\le  \sup_{n \in \mathbb N}\frac{C}{r^\alpha} \|T_t^ng\|_\infty
 \\
 &\le  \sup_{n \in \mathbb N}\frac{C}{r^\alpha} \|g\|_\infty <\infty \quad (0<r<D),
 \end{align*}
 where $0<\alpha <1$ and $C>0$ are constant depending only on $N,K,D$.
 Thus we have
 \begin{align}
  \sup_{n \in \mathbb N}\ (\text{H\"older constant of $\mathcal T_k^n$})  &\le  \sup_{n \in \mathbb N}\frac{C}{r^\alpha} \|\mathcal T_k^n\|_\infty  \notag
  \\
  &\le  \sup_{n \in \mathbb N}\frac{C}{r^\alpha} \|g_{k}\mathcal T_{k-1}^n\|_\infty \notag
  \\
  &\le  \sup_{n \in \mathbb N}\frac{C}{r^\alpha} \prod_{i=1}^k\|g_{i}\| =: H < \infty. \label{ineq: HOLDER}
  \end{align}

Now we extend $\mathcal T_k^n$ to the whole space $X$ preserving its H\"older regularity (note that $\mathcal T_k^n$ is defined only on each $X_n$).
Let $\widetilde{\mathcal T}_k^n$ be the following function on the whole space $X$
\begin{align} \label{eq: EX}
\widetilde{\mathcal T}_k^n(x) := \sup_{a \in X_n}\{\mathcal T_k^n(a)-H{d(a,x)^{\alpha}}\} \quad x \in X.
\end{align}
Then we have that $\widetilde{\mathcal T}_k^n$ is a $\alpha$-H\"older continuous function on the whole space $X$ with its H\"older constant $H$  such that $\tilde{\mathcal T}_k^n=\mathcal T_k^n$ on $X_n$:
\begin{lem} $(${\bf H\"older extension}$)$ \label{lem: Holder}
$\tilde{\mathcal T}_k^n$ is a $\alpha$-H\"older continuous function on $X$ with its H\"older constant $H$ such that $\tilde{\mathcal T}_k^n=\mathcal T_k^n$ on $X_n$. Here $\alpha$ and $H$ are the same H\"older exponent and constant as  those of $\mathcal T_k^n$.
\end{lem}
{\it Proof.}
For $x \in X_n$, the supremum of \eqref{eq: EX}  is attained at $x$ because of the H\"older continuity of $\mathcal T_k^n$ on $(X_n,d_n)$.
Thus  $\tilde{\mathcal T}_k^n=\mathcal T_k^n$ on $X_n$.

We now show the $\alpha$-H\"older continuity of $\tilde{\mathcal T}_k^n$. We may assume $\tilde{\mathcal T}_k^n(x) -\tilde{\mathcal T}_k^n(y) \ge 0$ (in the case of $\tilde{\mathcal T}_k^n(x) -\tilde{\mathcal T}_k^n(y) < 0$, we can do the same proof).
Then we have
\begin{align*}
\tilde{\mathcal T}_k^n(x) -\tilde{\mathcal T}_k^n(y) &= \sup_{a \in X_n}\{\mathcal T_k^n(a)-H{d(a,x)^{\alpha}}\}-\sup_{b \in X_n}\{\mathcal T_k^n(b)-H{d(b,y)^{\alpha}}\}
\\
& \le \sup_{a \in X_n}\{\mathcal T_k^n(a)-H{d(a,x)^{\alpha}}-(\mathcal T_k^n(a)-H{d(a,y)^{\alpha}})\}
\\
& =H\sup_{a \in X_n}\{d(a,y)^{\alpha}-d(a,x)^{\alpha}\}
\\
& \le H d(x,y)^{\alpha},
\end{align*}
where in the last inequality, we used the triangle inequality with $(u+v)^\alpha \le u^{\alpha}+v^\alpha$ for $u,v>0$ and $0<\alpha<1$.

Thus we finish the proof.
\ \hfill \fbox{} \bigskip

Now we resume the proof of Lemma \ref{lem: FDC}.
\\
{\it Proof of Lemma \ref{lem: FDC}}:
It suffices for the desired result to show $\tilde{\mathcal T}_k^n \to \tilde{\mathcal T}_k^\infty$ uniformly. In fact, we have
\begin{align*}
&\Bigl| \mathbb E^{x_n}[g_1(B^n_{t_1})\cdot\cdot\cdot g_k(B^n_{t_k})] -\mathbb E^{x_\infty}[g_1(B^\infty_{t_1})\cdot\cdot\cdot g_k(B^\infty_{t_\infty})]\Bigr|
\\
&= |\mathcal T_k^n(x_n)-\mathcal T_k^\infty(x_\infty)|
\\
& \le |\mathcal T_k^n(x_n)-\tilde{\mathcal T}_k^\infty(x_n)| + |\tilde{\mathcal T}_k^\infty(x_n)-\mathcal T_k^\infty(x_\infty)|
\\
&=: {\rm (I)}_n+{\rm (II)}_n.
\end{align*}
The quantity (I)$_n$ goes to zero as $n \to \infty$ because of $\mathcal T_k^n(x_n)=\tilde{\mathcal T}_k^n(x_n)$ (by $x_n \in X_n$) and the uniform convergence $\tilde{\mathcal T}_k^n \to \tilde{\mathcal T}_k^\infty$.

The quantity (II)$_n$ goes to zero as $n \to \infty$ because of of $\mathcal T_k^\infty(x_\infty)=\tilde{\mathcal T}_k^\infty(x_\infty)$ and the continuity of $\tilde{\mathcal T}_k^\infty$.

Thus we now show $\tilde{\mathcal T}_k^n \to \tilde{\mathcal T}_k^\infty$ uniformly.
\begin{lem} \label{lem: unif}
$\tilde{\mathcal T}_k^n \to \tilde{\mathcal T}_k^\infty$ uniformly.
\end{lem}
{\it Proof.}
It suffices to show
\begin{description}
	\item[(a)]   ${\mathcal T}_k^n \to {\mathcal T}_k^\infty$ strongly in the Definition \ref{defn: Weak};
	\item[(b)] $\{\tilde{\mathcal T}_k^n\}_{n \in \mathbb N}$ is relatively compact with respect to the uniform topology in $C_b(X)$.
	\item[(c)] If a subsequence $\tilde{\mathcal T}_k^{n_1}$ converges uniformly to some function $F_1$ as $n_1 \to \infty$, then
	\begin{align} \label{eq: EXTENT}
	\widetilde{F_1|_{X_\infty}}=F_1.
	\end{align}
\end{description}
In fact, by (b), $\{\tilde{\mathcal T}_k^n\}_{n \in \mathbb N}$ has a converging subsequence with respect to the uniform topology (Ascoli--Arzel\`a theorem). Let $\{\tilde{\mathcal T}_k^{n_1}\}$ and $\{\tilde{\mathcal T}_k^{n_2}\}$ be two subsequences with these limits $F_1$ and $F_2$, respectively. By using (a) and continuity of the limit functions $F_1$ and $F_2$, we have
\begin{align} \label{eq: REST}
F_1|_{X_\infty}(x)=F_2|_{X_\infty}(x)= {\mathcal T}_k^\infty(x) \quad \forall x \in X_\infty.
\end{align}
By \eqref{eq: EXTENT} and \eqref{eq: REST} , we have $F_1=F_2=\tilde{\mathcal T}_k^\infty$ on the whole space $X$ and thus every subsequence of $\{\tilde{\mathcal T}_k^n\}_{n \in \mathbb N}$ converges to the same limit $\tilde{\mathcal T}_k^\infty$.

We first show (a) by induction in $k$. By Lemma \ref{lem: Strong g1}, we have  $g_{1,n} \to g_{1, \infty}$ strongly. Thus by Theorem \ref{thm: Mosco of SG}, the statement (a) is true for $k=1$. Assume that (a) is true when $k=l$. By noting
$$\mathcal T_{l+1}^n=T^n_{t_{l+1}-t_l}(g_{l+1,n}\mathcal T_l^n),$$
it suffices to show $g_{l+1,n}\mathcal T_l^n \to g_{l+1,\infty}\mathcal T_l^\infty$ strongly. This is easy to show because $\mathcal T_l^n \to \mathcal T_l^\infty$ strongly (the assumption of the induction), $g_{l+1,n} \to g_{l+1, \infty}$ strongly (by Lemma \ref{lem: Strong g1}), and $\mathcal T_l^n$ and $g_{l+1,n}$ are bounded uniformly in $n$. Thus (a) is true for any $k \in \mathbb N$.

We show (b). By Ascoli--Arzel\'a theorem, it suffices to show
\begin{itemize}
	\item $\sup_{n \in \mathbb N}\|\mathcal T_k^n\|_\infty<\infty$;
	\item $\{\mathcal T_k^n\}_{n \in \mathbb N}$ is equi-continuous.
\end{itemize}
By $\|T_t^ng\|_\infty \le \|g\|_\infty$, we have
$$\sup_{n \in \mathbb N}\|\mathcal T_k^n\|_\infty \le \prod_{i=1}^k \|g_i\|_\infty<\infty.$$

The equi-continuity follows from \eqref{ineq: HOLDER}.

Now we show (c).
Let $\tilde{\mathcal T}_k^{n_1}$ be a subsequence converging uniformly to $F_1$. It suffices for (c) to show $\tilde{\mathcal T_k^{n_1}}(x)$ converges to $\tilde{F_1|_{X_\infty}}(x)$ for all $x \in X$.
We have
\begin{align*}
&\Bigl| \tilde{\mathcal T}_k^{n_1}(x)-\tilde{F_1|_{X_\infty}}(x)\Bigr|
\\
&\le \Bigl|\tilde{\mathcal T}_k^{n_1}(x)-\tilde{F_1|_{X_{n_1}}}(x)\Bigr|+\Bigl| \tilde{F_1|_{X_{n_1}}}(x)-\tilde{F_1|_{X_\infty}}(x)\Bigr|
\\
& = \Bigl|\sup_{a \in X_{n_1}}\{\mathcal T_k^{n_1}(a)-Hd(a,x)^{\alpha}\}- \sup_{b \in X_{n_1}}\{F_1|_{X_{n_1}}(b)-Hd(b,x)^{\alpha}\}\Bigr|
\\
&\quad + \Bigl|\sup_{c \in X_{n_1}}\{F_1|_{X_{n_1}}(c)-Hd(c,x)^{\alpha}\}- \sup_{d \in X_\infty}\{F_1|_{X_\infty}(d)-Hd(d,x)^{\alpha}\}\Bigr|
\\
&= \Bigl|\sup_{a \in X_{n_1}}\{\mathcal T_k^{n_1}(a)-Hd(a,x)^{\alpha}\}- \sup_{b \in X_{n_1}}\{F_1(b)-Hd(b,x)^{\alpha}\}\Bigr|
\\
&\quad + \Bigl|\sup_{c \in X_{n_1}}\{F_1(c)-Hd(c,x)^{\alpha}\}- \sup_{d \in X_\infty}\{F_1(d)-Hd(d,x)^{\alpha}\}\Bigr|
\\
& =: |{\rm (I)}_{n_1} |+ |{\rm (II)}_{n_1}|.
\end{align*}
Since we have
\begin{align*}
&-\sup_{b \in X_{n_1}}\{\bigl| F_1(b)-\mathcal T_k^{n_1}(b)\bigr|\}
\le -\sup_{b \in X_{n_1}}\{F_1(b)-\mathcal T_k^{n_1}(b)\}
\\
& \le
\sup_{a \in X_{n_1}}\{\mathcal T_k^{n_1}(a)-Hd(a,x)^{\alpha}\}- \sup_{b \in X_{n_1}}\{F_1(b)-Hd(b,x)^{\alpha}\}
\\
&\le \sup_{a \in X_{n_1}}\{\mathcal T_k^{n_1}(a)-F_1(a)\}
\\
&\le \sup_{a \in X_{n_1}}\{\bigl|\mathcal T_k^{n_1}(a)-F_1(a)\bigr|\},
\end{align*}
the quantity $|{\rm (I)}_{n_1}|$ goes to zero because $\tilde{\mathcal T}_k^{n_1}$ converges uniformly to $F_1$.

We show that the quantity $|{\rm (II)}_{n_1}|$ goes to zero as $n_1 \to \infty$. Let
$$L(\cdot):=F_1(\cdot)-Hd(\cdot,x)^{\alpha}.$$
Let $c_{n_1}^* \in X_{n_1}$ and $d^* \in X_\infty$ such that
$$  L(c_{n_1}^*)=\sup_{c \in X_{n_1}}L(c), \quad L(d^*)=\sup_{d \in X_\infty}L(d).$$
Since $X_\infty$ is a closed set (by the compactness of $X_\infty$), there exists  $z_{n_1} \in X_\infty$ such that $d(c_{n_1}^*,z_{n_1})=d(c_{n_1}^*, X_\infty)$.
Since $X_{n_1}$ converges to $X_\infty$ in $(X,d)$ in the Hausdorff sense by Proposition \ref{lem: Haus}, we have $d(c_{n_1}^*,z_{n_1})=d(c_{n_1}^*, X_\infty) \to 0$ as $n_1 \to \infty$.
Thus, by the uniform continuity of $L(\cdot)$ (implied by the compactness of $X$ and the continuity of $L(\cdot)$ on $X$),
 we have
\begin{align} \label{ineq: ATTAIN1}
{\rm (II)}_{n_1}=L(c_{n_1}^*)-L(d^*)\le L(c_{n_1}^*)-L(z_{n_1}) \to 0.
\end{align}

On the other hand, by the same argument, there exists $w_{n_1} \in X_{n_1}$ such that $d(d^*, w_{n_1})=d(d^*, X_{n_1})$.  By the Hausdorff convergence of $X_n$ to $X_\infty$, we have
$d(d^*, w_{n_1})=d(d^*, X_{n_1})\to 0$. Thus we have
\begin{align} \label{ineq: ATTAIN2}
{\rm (II)}_{n_1} = L(c_{n_1}^*)-L(d^*)\ge L(w_{n_1})-L(d^*) \to 0.
\end{align}
By \eqref{ineq: ATTAIN1} and \eqref{ineq: ATTAIN2}, we have $|{\rm (II)}_{n_1}| \to 0$ as $n_1 \to \infty$, and we completed the proof.
\ \hfill \fbox{} \bigskip
\\
Now we resume the proof of Lemma \ref{lem: FDC}.
\\
{\it Proof of Lemma \ref{lem: FDC}}:
By Lemma \ref{lem: unif}, we completed the proof of Lemma \ref{lem: FDC}.
\ \hfill \fbox{} \bigskip
\\
Now we resume the proof of {\bf (i)} $\Rightarrow$ {\bf (ii)} in Theorem \ref{thm: mthm1}.
\\
{\it Proof of  {\bf (i)} $\Rightarrow$ {\bf (ii)} in Theorem \ref{thm: mthm1}}:
\\
By Lemma \ref{lem: T} and Lemma \ref{lem: FDC}, we have completed the proof of  {\bf (i)} $\Rightarrow$ {\bf (ii)} in Theorem \ref{thm: mthm1}.

 \noindent \underline{\it Proof of  {\bf (ii)} $\Rightarrow$ {\bf (i)} in Theorem \ref{thm: mthm1}}:
 \\
 Recall that we identified ${\iota_n}_\#m_n$ with $m_n$, and we consider $m_n$ as measures on $X$.  Since $X$ is compact, $m_n \to m_\infty$ weakly if and only if $m_n \to m_\infty$ in the $W_2$-distance. Thus, by Proposition \ref{prop: Dconv},  it suffices for the desired result to show $m_n \to m_\infty$ weakly.
To show $m_n \to m_\infty$ weakly is equivalent to show
\begin{align} \label{convergence: one-dim}
\liminf_{n \to \infty}m_n (G) \ge m_\infty(G) \quad \forall G \subset X \quad open.
\end{align}

The key point for the proof is how to get information about $m_n$ from the Brownian motions $B_t^n$.
The following ergodic theorem gives us information about $m_n$ as a equilibrium state of $B_t^n$ as $t \to \infty$.
\begin{lem} \label{lem: ERG}
For any open set $G \subset X$,
\begin{align} \label{thm: ergodic}
\mathbb E_n^{x_n}(\mathbf 1_G(B_t^n)) \overset{t \to \infty}\to \int_X \mathbf 1_G dm_n,
\end{align}
where $\mathbf 1_G$ denotes the indicator function on $G$.
\end{lem}
{\it Proof.}
By the ergodic theorem of Markov processes (see e.g., \cite[Theorem 4.7.3 \& Exercise 4.7.2]{FOT11}), it suffices for the desired result to check that the Brownian motion $(\{\mathbb P_n^x\}_{x \in X_n}, \{B_t^n\}_{t \ge 0})$ is irreducible and recurrent.
\\
\underline{Irreducibility}:
\\
We show that, for any $T_t^n$-invariant set $A\subset X_n$, it holds either $m_n(A)=0$, or $m_n(X_n \setminus A)=0$.
Let $A$ be a  $T_t^n$-invariant set, that is,  (see \cite[Lemma 1.6.1]{FOT11})
$$T^n_t (\mathbf 1_Af)=0, \quad \text{$m_n$-a.e. on $X_n \setminus A$, }$$
for any $f \in L^2(X_n,m_m)$ and any $t>0$. Assume that neither $m_n(A)=0$ and $m_n(X_n \setminus A)=0$ hold.
Then, taking $f=\mathbf 1_A$,  by the Gaussian estimate \eqref{GE1}, we have, for each $x \in X_n \setminus A$,
\begin{align} \label{ineq: IRR}
T^n_t (\mathbf 1_Af)(x)&=\int_{A}p_n(t,x,y) m_n(dy) \notag
\\
&\ge \frac{C_1'}{m_n(B_{\sqrt{t}}(x))}\int_A\exp\Bigl\{-C'_2\frac{d(x,y)^2}{t}\Bigr\} m_n(dy)
\\
& >0. \notag
\end{align}
This contradicts the $T_t$-invariance of $A$, and we finish the proof of the irreducibility.
\\
\underline{Recurrence}:
Let $f:X_n \to \mathbb R$ be a non-negative measurable function such that $m_n(\{x: f(x)>0\})>0$ and $\int_{X_n}|f|dm_n < \infty$. By \cite[Lemma 1.6.4]{FOT11}, it suffices to show
\begin{align} \label{con: REC}
Gf(x):=\lim_{t \to \infty}\int_0^t T_t^n f (x) dt=\infty \quad \text{$m_n$-a.e. $x$}.
\end{align}
Since $m_n(B_{\sqrt{t}}(x)) = m_n(X_n)=1$ for any $t>D^2$, we have
$$Gf(x) > \lim_{t \to \infty}\int_0^t \frac{C_1'}{m_n(B_{\sqrt{t}}(x))}\int_{X_n}\exp\Bigl\{-C'_2\frac{d(x,y)^2}{t}\Bigr\} f(y) m_n(dy) = \infty.$$
Thus we have \eqref{con: REC} and the desired result is obtained.

Thus we finish the proof.
\ \hfill \fbox{} \bigskip

Now we resume the proof of {\bf (ii) $\Rightarrow$ (i)}.
\\
{\it Proof of $(ii) \Rightarrow (i)$}:
By {\bf (ii)}, we have the convergence of the finite-dimensional distributions of $B_t^n$, and thus the following holds
\begin{align} \label{equality: exchange}
\liminf_{n \to \infty}\mathbb P_n^{x_n}(B_t^n \in G) \ge \mathbb P_\infty^{x_\infty}(B_t^\infty \in G).
\end{align}
It suffices for the proof to show that $\liminf_{n \to \infty}$ and $\lim_{t \to \infty}$ are exchangeable:
\begin{align} \label{goal}
\liminf_{n \to \infty}\lim_{t \to \infty}\mathbb P_n^{x_n}(B_t^n \in G) = \lim_{t \to \infty}\liminf_{n \to \infty}\mathbb P_n^{x_n}(B_t^n \in G).
\end{align}
In fact, by \eqref{convergence: one-dim}-\eqref{goal},
\begin{align*}
\liminf_{n \to \infty}m_n(G) &=\liminf_{n \to \infty}\lim_{t \to \infty}\mathbb P_n^{x_n}(B_t^n \in G) =\lim_{t \to \infty} \liminf_{n \to \infty} \mathbb P_n^{x_n}(B_t^n \in G)
\\
&\ge \lim_{t \to \infty}\mathbb P_\infty^{x_\infty}(B_t^\infty \in G) = m_\infty(G).
\end{align*}

Thus we now show \eqref{goal}. To show \eqref{goal}, it suffices to show that, for each Brownian motions, rates of convergences to the equilibrium states are controlled uniformly in $n$.
This is done by an uniform estimate of the spectral gaps because rates of convergences to the equilibrium states are controlled by the spectral gaps. We now show it concretely.

By the Cauchy--Schwarz inequality, we have
\begin{align} \label{ineq: Equi}
|\mathbb P_n^{x_n}(B_t^n \in G)-m_n(G)| &= |\mathbb E_n^{x_n}(\mathbf 1_G(B_t^n))-\int_X \mathbf 1_G dm_n| \notag
\\
&\le \int_{X}|p_n(t,x,y)-\mathbf 1|1_Gdm_m \notag
\\
&\le m_n(G)^{1/2}\|p_n(t,x,\cdot)-\mathbf 1\|_{L^2(m_n)} \notag
\\
&\le \|p_n(t,x,\cdot)-\mathbf 1\|_{L^2(m_n)}.
\end{align}

Let $\lambda_n^1$ be the spectral gap of ${\sf Ch}_n$:
\begin{align} \label{defn: SG}
\lambda_n^1 :=\inf\{\frac{{\sf Ch}_n(f)}{\|f\|^2_{L^2(m_n)}}: f \in {\rm Lip}(X_n)\setminus \{0\}, \int_{X_n} f dm_n =0\}.
\end{align}
The following is a well-known fact (easy to obtain by using the spectral resolution)
\begin{align} \label{eq: equiri}
\|T_t^n f - m_n(f)\|_{L^2(m_n)} \le e^{-\lambda_n^1 t}\|f-m_n(f)\|_{L^2(m_n)},
\end{align}
for any $f \in L^2(X_n,m_n)$ and  any $t>0$. Here we mean $m_n(f):=\int_{X_n}f dm_n$.

By \eqref{eq: equiri} and the Gaussian estimate \eqref{GE},
\begin{align} \label{ineq: speed of equi}
\|p_n(t,x,\cdot)-\mathbf 1\|_{L^2(m_n)} &= \|(T_s^n-m_n(\cdot))p_n(t-s,x,\cdot)\|_{L^2(m_n)} \notag
\\
&\le e^{-\lambda_n^1s}\|p_n(t-s, x, \cdot)-m_n(p_n(t-s, x, \cdot))\|_{L^2(m_n)}  \notag
\\
&=e^{-\lambda_n^1 s}\|p_n(t-s, x, \cdot)-\mathbf 1\|_{L^2(m_n)}  \quad (0 < s< t, \quad \varepsilon:=t-s) \notag
\\
&< C(N,K,D)e^{-\lambda_n^1(t-\varepsilon)},
\end{align}
where $C(N,K,D)>0$ is a positive constant depending only on $N,K,D$.
To show the desired result \eqref{goal}, it suffices to show
\begin{align} \label{ineq: SGL}
\limsup_{n\to \infty} e^{-\lambda_n^1 t} \to 0 \quad (t \to \infty).
\end{align}
In fact, by the ergodic theorem,  we have
\begin{align*}
&\lim_{t \to \infty}\liminf_{n \to \infty}\mathbb P_n^{x_n}(B_t^n \in G)-\liminf_{n \to \infty}\lim_{t \to \infty}\mathbb P_n^{x_n}(B_t^n \in G)
\\
&=\lim_{t \to \infty}\bigl(\liminf_{n \to \infty}\mathbb P_n^{x_n}(B_t^n \in G)-\liminf_{n \to \infty}\lim_{t \to \infty}\mathbb P_n^{x_n}(B_t^n \in G)\bigr)
\\
&=\lim_{t \to \infty}\bigl(\liminf_{n \to \infty}\mathbb P_n^{x_n}(B_t^n \in G)-\liminf_{n \to \infty}m_n(B_t^n \in G)\bigr)
\\
&=:\lim_{t \to \infty}{\rm (I)}_t.
\end{align*}
By \eqref{ineq: Equi} and \eqref{ineq: speed of equi} with the sub-linearity of $\limsup_{n \to \infty}$ (or the super-linearity of $\liminf_{n \to \infty}$), we have
\begin{align*}
{\rm (I)}_t &= \limsup_{n \to \infty}\bigl(-\mathbb P_n^{x_n}(B_t^n \in G)\bigr)-\limsup_{n \to \infty}\bigl(-m_n(B_t^n \in G)\bigr)
 \\
&\le\limsup_{n \to \infty}\bigl(-\mathbb P_n^{x_n}(B_t^n \in G)+m_n(B_t^n \in G)\bigr)
\\
& \le C(N,K,D)\limsup_{n \to \infty}e^{-\lambda_n^1(t-\varepsilon)},
\end{align*}
and
\begin{align*}
 {\rm (I)}_t &\ge \liminf_{n \to \infty}\bigl(\mathbb P_n^{x_n}(B_t^n \in G)-m_n(B_t^n \in G)\bigr)
\\
& \ge C(N,K,D)\liminf_{n \to \infty}(-e^{-\lambda_n^1(t-\varepsilon)})
\\
& =-C(N,K,D)\limsup_{n \to \infty}e^{-\lambda_n^1(t-\varepsilon)}.
\end{align*}
Thus the statement \eqref{ineq: SGL} implies $\lim_{t \to \infty}{\rm (I)}_t=0$, that is, the desired result \eqref{goal}.

Thus we now show \eqref{ineq: SGL}. For \eqref{ineq: SGL}, it suffices to show $\liminf_{n \to \infty} \lambda_n^1 >0$, which follows immediately from the uniform Poincar\'e inequality (v) in Fact \ref{prop: list} (in fact, we have $\inf_{n \in \mathbb N}\lambda^1_n>0$. See \cite{JZ15} for detailed estimates of $\lambda_n^1$).

We finish the proof of {\bf (ii) $\Rightarrow$ (i)} in Theorem \ref{thm: mthm1}.

Thus we finish the proof of Theorem \ref{thm: mthm1}.
\ \hfill \fbox{} \bigskip

\begin{comment}
\begin{rem} \label{rem: CPT} \normalfont
In the proof of (ii) $\Rightarrow$ (i), we need not assume the compactness of the ambient space $(X,d)$, only need the completeness and separability of $(X,d)$. In fact, in the proof of (ii) $\Rightarrow$ (i), we showed $m_n \to m_\infty$ weakly in $\mathcal P(X)$ without the compactness of $(X,d)$. If $m_n \to m_\infty$ weakly, then, by Lemma \ref{lem: Haus}, $X_n$ converges to $X_\infty$ in the Hausdorff sense in $(X,d)$. By this fact and the compactness of each $X_n$, we can take another ambient space $(X',d')$ as a compact set (see \cite[Proposition 2.7]{AGS14b}) and isometric embeddings $\iota_n' :X_n \to X'$ such that $${\iota'_n}_\#m_n \overset{\rm weakly}\to {\iota'_\infty}_\#m_\infty.$$
Since the weak convergence and the $W_2$-convergence in $\mathcal P_2(X')$ are equivalent by the compactness of $X'$, we obtain  (ii) $\Rightarrow$ (i) without the compactness of $(X,d)$.
\end{rem}
\end{comment}
Now we prove Corollary \ref{cor: D}
\\
{\it Proof of Corollary  \ref{cor: D}}:
Assume (i) in Corollary  \ref{cor: D}. By Theorem \ref{thm: mthm1}, there exists a compact metric space $(X,d)$ satisfying
\begin{align*}
\iota_n(B^n_\cdot)_\#\mathbb P_n^{x_n} \ {\to} \ \iota_\infty(B^\infty_\cdot)_\#\mathbb P_\infty^{x_\infty} \quad \text{weakly} \quad \text{in $\mathcal P(C([0,\infty); X))$},
\end{align*}
for some $x_n$.
Let $\mathbb B_n:=\iota_n(B^n_\cdot)_\#\mathbb P_n^{x_n}$ for any $n \in \overline{\N}$.
By Proposition \ref{prop: Dconv}, it suffices to show
$$W_2(\mathbb B_n, \mathbb B_\infty) \to 0.$$

 Since ${\rm Diam}(X_n)<D$ and $X_n$ Hausdorff-converges to $X_\infty$ in $(X,d)$, we have ${\rm Diam}(C([0,\infty), X))<\infty$ with respect to the local uniform distance $\delta$. It is known that the $W_2$-convergence is equivalent to the weak convergence and the convergence of the second morment (see \cite[Theorem 6.9]{V09}):
 \begin{align} \label{W_2W}
 \int_{C([0,\infty),X)}\delta^2(x,x_0)d\mathbb B_n(x) \to \int_{C([0,\infty),X)}\delta^2(x,x_0)d\mathbb B_\infty(x)
 \end{align}
 for some (thus any) $x_0 \in X$.
By  ${\rm Diam}(C([0,\infty), X))<\infty$, the function $\delta(\cdot, x_0)$ is a bounded continuous function and thus the weak convergence of $\mathbb B_n$ implies \eqref{W_2W}.
We finish the proof.
\ \hfill \fbox{} \bigskip

Probability (math.PR); Metric Geometry (math.MG)