Open Access

Weak Poincaré inequalities and hitting times for jump processes

Journal of Inequalities and Applications20162016:192

https://doi.org/10.1186/s13660-016-1134-9

Received: 8 April 2016

Accepted: 20 July 2016

Published: 3 August 2016

Abstract

In this paper, we get a criteria of weak Poincaré inequality by some integrability of hitting times for jump processes. In fact, integrability of hitting times on a subset F of state space E implies that the taboo process restricted on \(E\setminus F\) is decay, from which we get a weak Poincaré inequality with absorbing (Dirichlet) boundary. Using it and a local Poincaré inequality, we obtain a weak Poincaré inequality by the decomposition method.

Keywords

weak Poincaré inequalityhitting timesjump process

1 Introduction and main results

During the recent years, a lot of progress has been made in the understanding of functional inequalities and their links with the convergence rates of Markov processes. As we know, the convergence rates of a Markov semigroup and the corresponding functional inequalities can be determined by each other. To describe the convergence rates slower than exponential, Röckner and Wang [1] introduced the following weak Poincaré inequality (WPI):
$$ \operatorname{Var}_{\mu}(f)\leq\alpha(r)D(f,f)+r\Phi(f),\quad f\in \mathcal {D}(D), r>0, $$
(1.1)
where \(\operatorname{Var}_{\mu}(f)=\|f-\mu(f)\|_{2}^{2}\), α is a nonnegative decreasing function on \((0,\infty)\), \(D(f,f)=-\mu(fLf)\), L is the generator of a Markov semigroup \(P_{t}\) on \(L^{2}(\mu)\), and \(\Phi:L^{2}(\mu)\rightarrow(0,\infty)\) satisfies \(\Phi(cf)=c^{2}\Phi(f)\) and \(\Phi(P_{t}f)\leq\Phi(f)\) for any \(c\in\mathbb{R}\) and \(f\in L^{2}(\mu)\). They proved that the \(L^{2}\)-convergence rate of a Markov semigroup and the corresponding weak Poincaré inequality can be determined by each other. We restate the results as follows. Let \((P_{t})_{t\geq0}\) be the Markov semigroup determined by the Dirichlet form \((D,\mathcal{D}(D))\). Assume that (1.1) holds. Then
$$ \bigl\Vert P_{t}f-\mu(f)\bigr\Vert _{2}^{2}\leq\xi(t)\bigl[\Phi(f)+\Vert f\Vert _{2}^{2}\bigr],\quad t>0, $$
(1.2)
where \(\xi(t)=\inf\{r>0:-\frac{1}{2}\alpha(r)\log(r)\leq t\}\). Conversely, in the reversible case, (1.2) implies the weak Poincaré inequality (1.1) for \(\alpha(r)= 2r\inf_{s>0}\frac{1}{s}\xi^{-1}(s\exp[1-s/r])\). In this paper, we choose \(\Phi(\cdot)=\|\cdot\|_{L^{\infty}(\mu)}^{2}=:\|\cdot\|_{\infty}^{2}\).

Recently, much literature was devoted to the relationships of the Poincaré-type inequalities and Lyapunov conditions used in the ‘Meyn-Tweedie’ theory (see [2, 3]). Cattlaux et al. [4] went a step further by showing the equivalence between the (usual) Poincaré inequality, Lyapunov conditions, and the existence of exponential moments for hitting times for reversible diffusion processes. Now it is interesting to look at more general moments of hitting times and other processes. Mao and Xia [5] obtained a criterion for spectral gap by hitting times for jump processes via decomposition method. Cheng and Wang [6] studied the algebraic convergence rates for diffusion processes on Riemannian manifolds with boundary by using a Lyapunov condition. In the present paper, we use some integrability of hitting times to get a type of weak Poincaré inequality for jump processes, which can be used to study the convergence rates for jump processes in the sense of \(\|P_{t}-\pi\|_{\infty \rightarrow2}\).

Let \((q(x),q(x,dy))\) be the q-pair of a regular reversible q-process with transition kernel \(P_{t}(x,dy)\) on a probability space \((E,\mathscr{E},\mu)\). Denote by \({}_{b}\mathscr{E}\) the set of bounded functions on \(\mathscr{E}\). For \(f\in{}_{b}\mathscr{E}\), denote by L and \(P_{t}\) the generator and semigroup, respectively, where \(Lf(x)=\int_{E}q(x,dy)(f(y)-f(x))\), and \(P_{t}f(x)=\int_{E} f(y)P_{t}(x,dy)\). The Dirichlet form D is defined by \(D(f,f)=\frac{1}{2}\int_{E\times E}\mu(dx)q(x,dy)(f(y)-f(x))^{2}\), where \(f\in\mathcal{D}(D)=\{f\in L^{2}(\mu):D(f,f)<\infty\}\). Now, we introduce two inequalities used in this paper.

Taking \(F\in\mathscr{E}\) such that \(\mu(F)>0\), we have the inequality
$$ \mu\bigl(f^{2}\bigr)\leq\alpha_{F}(r)D(f,f)+r \|f\|_{\infty}^{2},\quad f\in\mathcal{D}(D),f|_{F}=0,r>0, $$
(1.3)
which is said to be a weak Poincaré inequality with Dirichlet boundary (WPID).
A local Poincaré inequality (LPI) restricted on F is satisfied if
$$ \operatorname{Var}_{\mu_{F}}(f)\leq CD_{F}(f,f), \quad f\in \mathcal{D}(D_{F}), $$
(1.4)
where \(D_{F}(f,f)=\frac{1}{2}\int_{F\times F}\mu_{F}(dx)q(x,dy)(f(y)-f(x))^{2}\) and \(\mu_{F}(\cdot)=\frac{\mu(\cdot\cap{F})}{\mu(F)}\). Define
$$ \lambda_{1}(F)=\inf\bigl\{ D_{F}(f,f):\mu _{F}(f)=0, \mu_{F}\bigl(f^{2}\bigr)=1\bigr\} . $$
(1.5)
Then \(\lambda_{1}(F)^{-1}\) is the smallest constant such that local Poincaré inequality restricted on F holds.

This paper is organized as follows. In Section 2, we prove that some integrability of hitting times on a subset of state space is sufficient for the WPID (1.3). In Section 3, we show how to use LPI and WPID to get WPI.

The following is the main result of this paper.

Theorem 1.1

Fix \(F\in\mathscr{E}\) with \(\mu(F)>0\). Assume that a local Poincaré inequality restricted on F is satisfied for a reversible q-processes with q-pair \((q(x),q(x,dy))\). Let \(\tau_{F}:=\inf\{t\geq0: X_{t}\in F\}\) be the hitting time of F. If there exist a decreasing function \(\xi:[0, \infty)\rightarrow (0,\infty)\) such that \(\xi(t)\rightarrow0\) as \(t\rightarrow\infty\), \(\mathbb{E}_{\mu}\xi(\tau_{F})^{-1}=:c<\infty\), and \(M_{F}:=\sup_{x\in F}q(x,F^{c})<\infty\), then we have the weak Poincaré inequality
$$ \operatorname{Var}_{\mu}(f)\leq\alpha(r)D(f,f)+r\|f\|_{\infty}^{2}, \quad f\in\mathcal{D}(D),r>0, $$
(1.6)
for \(\alpha(r)\leq(1+\frac{M_{F} }{\lambda_{1}(F)}) \xi^{-1}(\frac{r}{4c})+ \frac{1}{\lambda_{1}(F)}\).

In this theorem, we get a criterion of weak Poincaré inequality by integrability of hitting times and a local Poincaré inequality on a fixed subset for jump processes. Since the subset is fixed, it is different from the criterion of WPI in Theorem 4.3.1 of [7].

2 The hitting time and weak Poincaré inequality with Dirichlet boundary

In this section, we prove that some integrability of hitting times on a subset F implies that the taboo process restricted on \(E\setminus F\) is decay, by which we get a weak Poincaré inequality with Dirichlet boundary.

Denote \({}_{F}P_{t}(x,H)=\mathbb{P}_{x}[X_{t}\in H, t<\tau_{F}]\). Then \({}_{F}P_{t}(x,dy)\) satisfies the backward Kolmogorov equation (see [8])
$$ _{F}P_{t}(x,H)= \int_{0}^{t}e^{-q(x)(t-s)} \int\frac{q(x,dy\setminus F)}{q(x)} {}_{F}P_{s}(y,H)\, ds+e^{-q(x)t}1_{F}(x), \quad x\in{F^{c}}. $$
So the q-pair of \({}_{F}P_{t}(x,dy)\) is \(({}_{F}q(x),{}_{F}q(x,dy))\) with \({}_{F}q(x,H)=q(x,H\setminus F)\) and \({}_{F}q(x)=q(x)\) for \(x\in F^{c}\) and 0 otherwise; \({}_{F}P_{t}\) is a Markov semigroup,
$$ {}_{F}P_{t}f(x)= \int _{F^{c}}{}_{F}P_{t}(x,dy)f(y), \quad f \in L^{2}\bigl(F^{c},\mu\bigr). $$
Its generator F L is defined as
$$ {}_{F}Lf(x)= \int_{F^{c}}q(x,dy)f(y)-q(x)f(x),\quad f\in L^{2} \bigl(F^{c},\mu\bigr). $$
Here \((\cdot,\cdot)\) denotes the inner product in \(L^{2}(F^{c},\mu)\). We can prove that the generator F L is self-adjoint in \(L^{2}(F^{c},\mu)\). Then \({}_{F}P_{t}\) is reversible with respect to μ. We also define the Dirichlet form
$$\begin{aligned} {}_{F}D(f,f):&=-({}_{F}Lf,f) \\ &= \int_{F^{c}}\mu(dx)q(x)f^{2}(x)- \int_{{F^{c}}\times{F^{c}}}\mu (dx)q(x,dy)f(x)f(y). \end{aligned}$$
(2.1)

Lemma 2.1

If there exist a decreasing function \(\xi:[0, \infty)\rightarrow (0,\infty)\) such that \(\xi(t)\rightarrow0\) as \(t\rightarrow\infty\) and \(\mathbb{E}_{\mu}\xi(\tau_{F})^{-1}=:c<\infty\), then WPID holds for \(\alpha_{F}(r)\leq\xi^{-1}(\frac{r}{c})\).

Proof

$$\begin{aligned} \bigl\vert (f,{}_{F}P_{t}f)\bigr\vert &= \biggl\vert \int_{F^{c}} \mu (dx)f(x){}_{F}P_{t}f(x) \biggr\vert \\ &\leq\|f\|_{L^{\infty}(F^{c},\mu)}^{2} \int\mu(dx)\mathbb{P}_{x}[\tau _{F}>t] \\ &\leq\|f\|_{L^{\infty}(F^{c},\mu)}^{2} \int\mu(dx)\mathbb{E}_{x}\xi(\tau _{F})^{-1} \xi(t) \\ &=c\|f\|_{L^{\infty}(F^{c},\mu)}^{2}\xi(t) , \end{aligned}$$
(2.2)
where the last inequality holds since \(\xi(t)\) is decreasing.
Since \({}_{F}P_{t}\) is reversible with respect to μ, by (2.2) we have
$$ \Vert {}_{F}P_{t/2}f\Vert _{2}^{2} \leq c\Vert f\Vert _{L^{\infty}(F^{c},\mu)}^{2}\xi(t) . $$
Set \(\eta(t)=c\xi(2t)\). Then
$$ \Vert {}_{F}P_{t }f\Vert _{2}^{2} \leq \Vert f\Vert _{L^{\infty}(F^{c},\mu)}^{2}\eta(t). $$
By [9] this implies the nonergodic weak Poincaré inequality
$$ \|f\|_{L^{2}(F^{c},\mu)}^{2}\leq{}_{F} \alpha(r)_{F}D(f,f)+r\|f\|_{L^{\infty}(F^{c},\mu )}^{2},\quad r>0, $$
(2.3)
for
$$ {}_{F}\alpha(r)\leq2\eta^{-1}(r)=\xi^{-1}\biggl( \frac{r}{c}\biggr). $$
For every g with \(g|_{F}=0\), let \(f=g|_{F^{c}}\). Thus,
$$ \|f\|_{L^{2}(F^{c},\mu)}=\|g\|_{2}, \qquad \|f\|_{L^{\infty}(F^{c},\mu)}=\|g\| _{\infty}. $$
Besides, by (2.1) we have
$$\begin{aligned} D(g,g):&=-({}Lg,g) \\ &= \int_{E}\mu(dx)q(x)g^{2}(x)- \int_{{E}\times{E}}\mu (dx)q(x,dy)g(x)g(y) \\ &= \int_{F^{c}}\mu(dx)q(x)g^{2}(x)- \int_{{F^{c}}\times{F^{c}}}\mu (dx)q(x,dy)g(x)g(y) \\ &={}_{F}D(f,f). \end{aligned}$$
By (2.3) it follows that
$$ \mu\bigl(g^{2}\bigr)\leq{}_{F}\alpha(r)D(g,g)+r\|g \|_{\infty}^{2},\quad g\in\mathcal{D}(D),g|_{F}=0,r>0. $$
Thus, (1.3) holds for \(\alpha_{F}(r)\leq{}_{F}\alpha(r)\leq\xi^{-1}(\frac{r}{c})\). □

3 The relationship of WPID and WPI

In this section, we show how to use the local Poincaré inequality and weak Poincaré inequality with absorbing boundary to obtain a weak Poincaré inequality.

3.1 The relationship of WPID and WPI when F is a singleton

First, we consider the case that F is a singleton. Assume that \(F=\{ \theta\}\) and \(\mu(\theta)>0\). For convenience, we denote \(\mu(\theta)=:\mu_{\theta}\) and \(f(\theta )=:f_{\theta}\).

Lemma 3.1

For any \(r>0\), define
$$ \alpha(r):=\inf \bigl\{ C>0 \mid \operatorname{Var}_{\mu}(f)\leq C D(f,f)+r\|f \|_{\infty}^{2}, f\in\mathcal{D}(D) \bigr\} $$
and
$$ \alpha_{\theta}(r):=\inf \bigl\{ C_{\theta}>0 \mid \mu \bigl(f^{2}\bigr)\leq C_{\theta}D(f,f)+r\|f\|_{\infty}^{2}, f\in\mathcal {D}(D),f(\theta)=0 \bigr\} . $$
Then
$$ \alpha_{\theta}\biggl(\frac{r}{\mu_{\theta}}\biggr) \mu_{\theta}\leq\alpha(r)\leq \alpha _{\theta}\biggl( \frac{r}{4}\biggr). $$
(3.1)

Proof

(a) For the upper bound of \(\alpha (r)\), noticing that \(\operatorname{Var}_{\mu}(f)=\inf_{c}\mu((f-c)^{2})\) and \(\|f-f_{\theta}\|_{\infty}\leq2\|f\|_{\infty}\), for any \(f\in \mathcal{D}(D)\), we have
$$\begin{aligned} \operatorname{Var}_{\mu}(f)&\leq\mu\bigl((f-f_{\theta})^{2}\bigr) \\ &\leq\alpha_{\theta}(r)D(f-f_{\theta},f-f_{\theta})+r \|f-f_{\theta}\| _{\infty}^{2} \\ &\leq\alpha_{\theta}(r)D(f,f)+4r\|f\|_{\infty}^{2}. \end{aligned}$$
Then, by the definition of \(\alpha(r)\) we have
$$ \alpha(r)\leq\alpha_{\theta}\biggl(\frac{r}{4} \biggr). $$
(3.2)
(b) On the other hand, for any \(f\in L^{2}(E)\) with \(f_{\theta}=0\), we have
$$\begin{aligned} \operatorname{Var}_{\mu}(f)&=\mu\bigl(f^{2}\bigr)-\mu(f)^{2}=\mu \bigl(f^{2}\bigr)-\mu(f\mathbf{1}_{\{ \theta\} ^{c}})^{2} \\ &\geq\mu\bigl(f^{2}\bigr)-\mu\bigl(f^{2}\bigr)\mu\bigl( {\{ \theta\} ^{c}}\bigr)=\mu\bigl(f^{2}\bigr)\mu_{\theta}. \end{aligned}$$
Thus,
$$ \mu\bigl(f^{2}\bigr)\mu_{\theta}\leq \operatorname{Var}_{\mu}(f)\leq \alpha(r)D(f,f)+r\|f\| _{\infty}^{2} $$
and
$$ \mu\bigl(f^{2}\bigr)\leq\frac{1}{\mu_{\theta}}\alpha(r)D(f,f)+ \frac{r}{\mu _{\theta}}\| f\|_{\infty}^{2}. $$
Then, by the definition of \(\alpha_{\theta}(r)\) we have
$$ \alpha_{\theta}\biggl(\frac{r}{\mu_{\theta}}\biggr)\leq \frac{1}{\mu_{\theta}}\alpha(r). $$
(3.3)
Thus, by (3.2) and (3.3) we have \(\alpha_{\theta}( \frac {r}{\mu _{\theta}})\mu_{\theta}\leq\alpha(r)\leq\alpha_{\theta}(\frac{r}{4})\). □

3.2 The relationship of WPI and WPID for general F

For a general set F, we consider the relationships of \(\alpha(r)\) and \(\alpha_{F}(r)\) by the decomposition method and the conclusions given in Section 3.1.

Thinking of F as a point θ, we construct another state space Ê and q-process with q-pair \((\hat{q}(x), \hat{q}(x, dy))\) as follows: \(\hat{E}=\{\theta\}\cup F^{c}\) and \(\hat{\mathscr{E}}=\sigma(\{\theta\}, \mathscr{E}\cap F^{c})\). For any \(x\in F^{c}\) and \(H\in\hat{\mathscr{E}}\), define
$$ \hat{q}(x,H) = \left \{ \textstyle\begin{array}{l@{\quad}l} q(x,F)+q(x,H\setminus\{\theta\}), &\theta\in H, \\ q(x,H),&\theta\notin H, \end{array}\displaystyle \right . $$
and, for \(x=\theta\) and \(H\in\hat{\mathscr{E}}\),
$$ \hat{q}(\theta,H)= \frac{1}{\mu(F)} \int_{F}\mu(dy)q\bigl(y,H\setminus\{\theta\}\bigr), $$
and, for \(x\in E\), \(\hat{q}(x)=\hat{q}(x,\hat{E})\). Then \((\hat{q}(x),\hat{q}(x,dy))\) is a reversible q-pair on \((\hat {E},\hat{\mathscr{E}})\) with respect to the probability measure μ̂, where, for any \(H\in\hat{\mathscr{E}}\),
$$ \hat{\mu}(H)= \left \{ \textstyle\begin{array}{l@{\quad}l} \mu(F)+\mu(H\setminus\{\theta\}), &\theta\in H, \\ \mu(H),&\theta\notin H. \end{array}\displaystyle \right . $$
Denote
$$ \hat{\alpha}_{\theta}(r):=\inf \bigl\{ \hat{C}_{\theta}\mid \hat{\mu} \bigl(\hat{f}^{2}\bigr)\leq\hat {C}_{\theta}\hat {D}(\hat{f}, \hat{f}) +r\|\hat{f}\|_{\infty}^{2},\hat{f}\in\mathcal{D}(\hat{D}), \hat {f}(\theta )=0 \bigr\} $$
and
$$ \hat{\alpha}(r):=\inf \bigl\{ \hat{C} \mid \operatorname{Var}{\mu}(\hat{f})\leq\hat{C}\hat{D}(\hat {f},\hat{f}) +r\|\hat{f}\|_{\infty}^{2},\hat{f}\in\mathcal{D}( \hat{D}) \bigr\} , $$
where \(\hat{D}(\hat{f},\hat{f})=\frac{1}{2}\int_{\hat{E}\times \hat {E}}\hat{\mu}(dx) \hat{q}(x,dy)(\hat{f}(y)-\hat{f}(x))^{2}\) is the Dirichlet form of the q-pair \((\hat{q}(x), \hat{q}(x,dy))\) in \(L^{2}(\hat{E},\hat {\mathscr{E}})\).

It is easy to see that \(\hat{\alpha}_{\theta}(r)=\alpha_{F}(r)\). By Lemma 3.1 we have a nice relationship \(\hat{\alpha}_{\theta}(\frac{ r}{\hat{\mu}_{\theta}})\hat{\mu}_{\theta}\leq\hat{\alpha}(r)\leq \hat{\alpha}_{\theta}(\frac{r}{4} )\). So we obtain the following lemma.

Lemma 3.2

$$ \alpha_{F} \biggl(\frac{ r}{\mu(F)}\biggr)\mu(F) \leq \hat{\alpha}(r)\leq\alpha_{F}\biggl( \frac{r}{4}\biggr). $$
(3.4)

Next, we first prove the relationships between \(\hat{\alpha}(r)\) and \(\alpha(r)\).

Lemma 3.3

$$ \hat{\alpha}(r)\leq\alpha(r)\leq\biggl(1+\frac{M_{F}}{\lambda _{1}(F)}\biggr) \hat{\alpha}(r)+\frac{1}{\lambda_{1}(F)}. $$
(3.5)

Proof

(a) For the lower bound, given an arbitrary function on Ê, set
$$ f(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} \hat{f}(\theta), &x\in F, \\ \hat{f}(x), &x\in F^{c}. \end{array}\displaystyle \right . $$
By the definition of \(\alpha(r)\), for this function f, we have
$$ \operatorname{Var}_{\mu}(f)\leq\alpha(r)D(f,f)+r\|f\|_{L^{\infty}(E,\mu)}^{2}. $$
By a simple calculation we get \(\mu(f)=\hat{\mu}(\hat{f})\), \(\mu(f^{2})=\hat{\mu}(\hat{f}^{2})\), and \(D(f,f)=\hat{D}(\hat{f},\hat{f})\). Noticing that \(\|f\|_{L^{\infty}(E,\mu)}=\|\hat{f}\|_{L^{\infty}(\hat {E},\hat{\mu})}\), we have
$$ \operatorname{Var}_{\hat{\mu}}(\hat{f})\leq\alpha(r)\hat {D}(\hat {f},\hat{f}) +r\|\hat{f} \|_{L^{\infty}(\hat{E},\hat{\mu})}^{2}. $$
We obtain
$$ \hat{\alpha}(r)\leq\alpha(r). $$
(3.6)
(b) On the other hand, for any function f on E, we set
$$ g(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} \mu_{F}(f), &x\in F, \\ f(x), &x\in F^{c}, \end{array}\displaystyle \right . $$
and
$$ \hat{f}(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} \mu_{F}(f), &x=\theta, \\ f(x), &x\in F^{c}. \end{array}\displaystyle \right . $$
It is easy to see that \(\mu(g)=\hat{\mu}(\hat{f})=\mu(f)\). Thus, we have
$$\begin{aligned} \operatorname{Var}_{\mu}(f) =&\mu\bigl(\bigl(f-\mu(f) \bigr)^{2}\bigr) \\ =&\mu\bigl((f-g)^{2}\bigr)+\mu\bigl(\bigl(g-\mu(f) \bigr)^{2}\bigr) \\ =&\mu(F)\operatorname{Var}_{\mu_{F}}(f)+\operatorname{Var}_{\hat{\mu}}(\hat{f}) \\ \leq&\frac{\mu(F)}{\lambda_{1}(F)}D_{F}(f,f)+\hat{\alpha}(r)\hat {D}(\hat {f}, \hat{f})+ r\|\hat{f}\|_{L^{\infty}(\hat{E},\hat{\mu})}^{2} \\ =&\frac{1}{2\lambda_{1}(F)} \int_{F\times F}\mu (dx)q(x,dy) \bigl(f(y)-f(x)\bigr)^{2} \\ &{} +\hat{\alpha}(r) \biggl( \int_{F^{c}}\mu(dx)q(x,F) \bigl(f(x)-\mu _{F}(f) \bigr)^{2} \\ &{} +\frac{1}{2} \int_{F^{c}\times F^{c}}\mu (dx)q(x,dy) \bigl(f(y)-f(x)\bigr)^{2} \biggr)+r\|f\|_{L^{\infty}(E,\mu)}^{2}. \end{aligned}$$
(3.7)
For each \(x\in F^{c}\) with \(q(x,F)>0\), we set
$$ \mu_{F}^{x}(dy)=\frac{q(x,dy)}{q(x,F)}. $$
Let \(1\leq p,q\leq\infty\) such that \(\frac{1}{p}+\frac{1}{q}=1\) to be determined later. Then we have
$$\begin{aligned}& \int_{F^{c}}\mu(dx)q(x,F) \bigl(f(x)-\mu_{F}(f) \bigr)^{2} \\& \quad \leq \int_{F^{c}}\mu(dx)q(x,F)\bigl[p\bigl(f(x)-\mu_{F}^{x}(f) \bigr)^{2}+ q\bigl(\mu _{F}^{x}(f)-\mu _{F}(f)\bigr)^{2}\bigr] \\& \quad \leq \int_{F^{c}}\mu(dx)q(x,F)\biggl[p \int_{F}\mu_{F}^{x}(dy) \bigl(f(x)-f(y) \bigr)^{2}+q \int_{F} \mu_{F}^{x}(dy) \bigl( f(y)- \mu_{F}(f)\bigr)^{2}\biggr] \\& \quad \leq p \int_{F\times F^{c}}\mu(dx)q(x,dy) \bigl(f(y)-f(x)\bigr)^{2} \\& \qquad {}+ \frac {qM_{F}}{2\lambda_{1}(F)} \int_{F\times F}\mu(dx)q(x,dy) \bigl(f(y)-f(x)\bigr)^{2}. \end{aligned}$$
(3.8)
Combining (3.7) and (3.8), we have
$$\begin{aligned} \operatorname{Var}_{\mu}(f) \leq&\frac{1}{2\lambda_{1}(F)} \int_{F\times F}\mu(dx)q(x,dy) \bigl(f(y)-f(x)\bigr)^{2} \\ &{} +\hat{\alpha}(r) \biggl\{ \frac{1}{2 } \int_{F^{c}\times F^{c}}\mu(dx)q(x,dy) \bigl(f(y)-f(x)\bigr)^{2} \\ &{} +p \int_{F\times F^{c}}\mu(dx)q(x,dy) \bigl(f(y)-f(x)\bigr)^{2} \\ &{} +\frac{qM_{F}}{2\lambda_{1}(F)} \int_{F \times F }\mu(dx)q(x,dy) \bigl(f(y)-f(x)\bigr)^{2} \biggr\} +r\|f\|_{\infty}^{2} \\ \leq&\max \biggl\{ p\hat{\alpha}(r), \frac{1+qM_{F}\hat{\alpha}(r)}{\lambda_{1}(F)} \biggr\} D(f,f)+r\|f\| _{\infty}^{2}. \end{aligned}$$
Recall that \(p^{-1}+q^{-1}=1\). Let \({p}_{0}\) be the solution to the equation
$$ p\hat{\alpha}(r)=\frac{1+\frac{p}{p-1}M_{F}\hat{\alpha}(r)}{\lambda_{1}(F)}. $$
Then we have
$$ p_{0}=\frac{(\lambda_{1}(F)+M_{F}) \hat{\alpha}(r)+1+\sqrt{((\lambda_{1}(F)+M_{F}) \hat{\alpha}(r)+1)^{2}-4\lambda_{1}(F) \hat{\alpha}(r)}}{2\lambda_{1}(F)\hat{\alpha}(r)}. $$
So we obtain \(\operatorname{Var}_{\mu}(f)\leq\alpha(r)D(f,f)+r\|f\|_{\infty}^{2}\), \(f\in \mathcal{D}(D)\), \(r>0\), where
$$\begin{aligned} \alpha(r)&\leq{p}_{0}\hat{\alpha}(r) \\ &=\frac{(\lambda_{1}(F)+M_{F})\hat{\alpha}(r) +1+\sqrt{((\lambda_{1}(F)+M_{F}) \hat{\alpha}(r) +1)^{2}-4\lambda_{1}(F) \hat{\alpha}(r)}}{2\lambda_{1}(F) } \\ &\leq\frac{(\lambda_{1}(F)+{M_{F}})\hat{\alpha}(r)+1}{\lambda_{1}(F)}. \end{aligned}$$
(3.9)
Combining (3.6) and (3.9), we have
$$ \hat{\alpha}(r)\leq\alpha(r)\leq\biggl(1+\frac {M_{F}}{\lambda_{1}(F)}\biggr) \hat{ \alpha}(r)+\frac{1}{\lambda_{1}(F)}. $$
 □
So by (3.4) we get
$$ \alpha_{F} \biggl(\frac{ r}{\mu(F)} \biggr)\mu(F) \leq \alpha(r)\leq\biggl(1+\frac {M_{F}}{\lambda_{1}(F)}\biggr)\alpha_{F}\biggl( \frac{r}{4}\biggr)+\frac {1}{\lambda_{1}(F)}. $$
(3.10)
Recall that by Lemma 2.1 we have \(\alpha_{F}(r)\leq\xi ^{-1}(\frac {r}{c})\). Then Theorem 1.1 follows from Lemma 2.1.

Declarations

Acknowledgements

The authors would like to thank the referees for their careful reading and constructive comments. This study was partially supported by the NSFC (Nos. 11201145; 11526075).

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.

Authors’ Affiliations

(1)
College of Mathematics and Information Sciences, North China University of Water Resources and Electric Power
(2)
School of Mathematics and Statistics, Henan University

References

  1. Röckner, M, Wang, FY: Weak Poincaré inequalities and \(L^{2}\)-convergence rates of Markov semigroups. J. Funct. Anal. 185(2), 564-603 (2001) MathSciNetView ArticleMATHGoogle Scholar
  2. Barkry, D, Cattiaux, P, Guillin, A: Rate of convergence for ergodic continuous Markov processes: Lyapunov versus Poincaré. J. Funct. Anal. 254, 727-759 (2008) MathSciNetView ArticleMATHGoogle Scholar
  3. Cattiaux, P, Guillin, A, Wang, FY, Wu, LM: Lyapunov conditions for super Poincaré inequality. J. Funct. Anal. 256, 1821-1841 (2009) MathSciNetView ArticleMATHGoogle Scholar
  4. Cattlaux, P, Guillin, A, Zitt, PA: Poincaré inequalities and hitting times. Ann. Inst. Henri Poincaré Probab. Stat. 49(1), 95-118 (2013) View ArticleMATHGoogle Scholar
  5. Mao, YH, Xia, XH: Spectral gap for jump processes by decomposition method. Front. Math. China 4(2), 335-348 (2009) MathSciNetView ArticleMATHGoogle Scholar
  6. Cheng, LJ, Wang, YZ: Algebraic convergence rate for reflecting diffusion processes on manifolds with boundary. Potential Anal. 44, 91-107 (2016) MathSciNetView ArticleMATHGoogle Scholar
  7. Wang, FY: Functional Inequalities, Markov Semigroups and Spectral Theory. Science Press, Beijing (2005) Google Scholar
  8. Chen, MF: From Markov Chains to Non-equilibrium Partical Systems. World Scientific, Beijing (2004) View ArticleGoogle Scholar
  9. Wang, FY: Functional inequalities for the decay of sub-Markov semigroups. Potential Anal. 18, 1-23 (2003) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Cheng and Xiao 2016