A character of the gradient estimate for diffusion semigroups
Feng‐Yu Wang · Proceedings of the American Mathematical Society · 2004
Let $P_t$ be the semigroup of the diffusion process generated by $L:= \sum _{i,j}a_{ij}\partial _i\partial _j +\sum _ib_i\partial _i$ on $\mathbb {R}^d$. It is proved that there exists $c\in \mathbb {R}$ and an $\mathbb {R}^d$-valued function $b=(b_i)$ such that $| abla P_tf|\le \text {\rm {e}} ^{ct}P_t| abla f|$ holds for all $t>0$ and all $f\in C_b^1(\mathbb {R}^d)$ if and only if $a=(a_{ij})$ satisfies the formula $\partial _k a_{ij}+\partial _ja_{ki} +\partial _i a_{kj}=0$ for all $i,j,k.$