1: \begin{proof}

2: Let $f\in \mathcal A_{\delta}$. Denote $g(x,s)=Q_{t-s}f(x)$. By the chain rule, one has $L \ln g=Lg/g-\Gamma(\ln g)$. Thus, proceeding as before, (rigorous justification is identical)

3: \begin{align*}

4: &\frac{\partial}{\partial s} Q_s (Q_{t-s} f\Gamma(\ln Q_{t-s} f))

5: \\&\qquad=Q_sL(g \Gamma(\ln g))-Q_s(Lg\Gamma(\ln g))-2Q_s(g\Gamma(\ln g, Lg/g))

6: \\ &\qquad=

7: Q_s(gL \Gamma(\ln g))+2Q_s(\Gamma(g,\Gamma(\ln g)))- 2Q_s(g\Gamma(\ln g, Lg+\Gamma(\ln g)))

8: \\ &\qquad=

9: 2Q_s(g \Gamma_2(\ln g)).

10: \end{align*}

11: 

12: Similarly, since  the condition \eqref{e:GammaZ} holds one has

13: \begin{align*}

14: &\frac{\partial}{\partial s} Q_s (Q_{t-s} f\Gamma^Z(\ln Q_{t-s} f))

15: \\&\qquad=Q_sL(g \Gamma^Z(\ln g))-Q_s(Lg\Gamma^Z(\ln g))-2Q_s(g\Gamma^Z(\ln g, Lg/g))

16: \\ &\qquad=

17: Q_s(gL \Gamma^Z(\ln g))+2Q_s(\Gamma(g,\Gamma^Z(\ln g)))- 2Q_s(g\Gamma(\ln g, Lg+\Gamma^Z(\ln g)))

18: \\ &\qquad=

19: Q_s(gL \Gamma^Z(\ln g))+2Q_s(\Gamma^Z(g,\Gamma(\ln g)))- 2Q_s(g\Gamma(\ln g, Lg+\Gamma^Z(\ln g)))

20: \\ &\qquad=

21: 2Q_s(g \Gamma_2^Z(\ln g)).

22: \end{align*}

23: 

24: Combining the above two equalities yields

25: \begin{align*}

26: &\frac{\partial}{\partial s} Q_s  \left( Q_{t-s} f (\Gamma(\ln Q_{t-s} f) +  \ve \Gamma^Z(\ln Q_{t-s} f) ) \right)

27: \\&\qquad \quad=2 Q_s  \left( Q_{t-s} f (\Gamma_2(\ln Q_{t-s} f) +  \ve \Gamma_2^Z(\ln Q_{t-s} f) ) \right)

28: \\&\qquad \quad \geq 2 \lambda_\ve  Q_s  \left( Q_{t-s} f (\Gamma(\ln Q_{t-s} f) +  \ve \Gamma^Z(\ln Q_{t-s} f) ) \right).

29: \end{align*}

30: The  claim then follows from the Gronwall Lemma.

31: \end{proof}

32: