Keller maps and holonomic $D$-modules

Let $\kk$ be a field of characteristic $p$ and $R=\kk[x_1,\dots,x_n]$. Let $D$ denote the ring of $\kk$-linear differential operators on $R$. Let $φ:R\to R$ be a $\kk$-algebra endomorphism whose Jacobian is a unit in $R$. We show that there is a unique $\kk$-algebra endomorphism $Φ:D\to D$ such that