Q:

Variant of parabolic maximum principle: $\partial_t u\ge \Delta_x u + b\cdot\nabla_x u-u \;\Rightarrow\; u\ge e^{-t}\inf_y u(0,y)$

Let $b\colon[0,\infty)\times\Bbb R^d\to\Bbb R^d$ some smooth bounded function and $u\colon[0,\infty)\times\Bbb R^d\to\Bbb R$ a smooth function with
$$ \partial_t u\ge \Delta_x u + b\cdot\nabla_x u-u. \label{1}\tag{1}$$
A paper I've been reading recently then quotes the maximum principle as
$$ u(t,x)\ge e^{-t}\inf_{y\in\Bbb R^d}u(0,y) \quad \text{for all $(t,x)\in[0,\infty)\times\Bbb R^d$.} \label{2}\tag{2}$$
No reference is provided.
I thought I was familiar with the parabolic maximum principle, but I have never seen this variant before. Can anyone give me a hint where I could find it in the literature? Would it need an additional growth condition on $u$?
I'm a bit puzzled by the fact that \eqref{2} is similar to what Gronwall's inequality would imply if one omitted the terms in \eqref{1} with derivatives with respect to $x$.

A:

Note that it suffices to show the inequality on $[0, C] \times \mathbb R^d$ for any $C>0$.
Part I: Changing $u$ to $w$: Write $U = \inf_y u(0,y)$ and let $w = u - e^{-t} U$. Then $\inf_y w(0,y) = 0$ and
\begin{align}
 \partial_t w &= \partial_t u + e^{-t} U \\
&\ge \Delta u + b \cdot \nabla u - u + e^{-t} U \\
&= \Delta w + b \cdot \nabla w - w.  
\end{align}
Thus we have
$$\tag{3} \partial_t w \ge \Delta w + b \cdot \nabla w - w$$
and we need to show that $w\ge 0$ given $\inf_y w(0,y) = 0$ and (3).
Part II: apply Parabolic Maximum Principle to $w$ (Heuristic): We argue by contradiction. Assume the contrary that $w<0$ somewhere. For the moment assume that the infimum
$$\inf w = \inf_{(t, y) \in [0,C] \times \mathbb R^d} w (t, y)$$
is attained at some $(t_0, y_0)$. Then $t_0>0$ and thus we have at $(t_0, y_0)$,
$$\tag{4} (\partial_t-\Delta) w \le 0,  \ \ \nabla w=0.$$
Then (3) implies that $w(t_0, y_0)\ge 0$, which is a contradiction.
Part III: Apply Non-compact Parabolic Maximum Principle:
In general, due to the non-compactness of $\mathbb R^d$ such a point $(t_0, y_0)$ might not exist. There are several ways to deal with this. One of them is the Parabolic version of Omori-Yau maximum principle:

Parabolic Omori Yau Maximum Principle: Let $w : [0, C]\times \mathbb R^d \to \mathbb R$ be a $C^2$ function so that $\inf_y w(0,y) = 0$, $\inf w <0$, and (Sublinear growth) $|w(t, y)|\le C o(|y|)$. Then there exists a sequence $(t_n, y_n)$ so that
\begin{align}
\lim_{n\to \infty} w(t_n, y_n) &=\inf w,\\
\tag{5}\lim_{n\to \infty} |\nabla w( t_n, y_n)|&= 0,\\
\limsup_{n\to \infty}\left(\partial_t - \Delta\right) w (t_n, y_n) &\le 0.
\end{align}

(5) should be compared to (4).
Using the above Theorem (i.e. we assume that sublinear growth of $w$), we argue similarly as in part II. Assume the contrary that $\inf w<0$. Then the Theorem implies the existence of a sequence $(t_n, y_n)$ which satisfies (5). Plug $(t_n, y_n)$ into (3) and let $n\to \infty$ (boundedness of $b$ used), we obtain $\inf w \ge 0$, which is a contradiction.
The Omori-Yau Maximum Principle is well known, in particular if you are working in Riemannian Geometry/Ricci-flow. One of the reference is this, which is in the context of Mean Curvature Flow. I will add more accessible references later.
One could assume, instead of the sublinear growth condition, some bound on the $L^p$-norm of $u$ to obtain different version of non-compact Parabolic Maximum Principle (I will add more references later). Without any growth assumption, maximum principle is false even for heat equation: the classical nontrivial solution $T(t, y)$ to the heat equation constructed by Tychonov satisfies $T(0, y) = 0$ for all $y$, but $T$ attains some negative values for all $t\neq 0$.

