On the time derivative in an obstacle problem (Q427933)

The author studies the obstacle problem NEWLINE\[NEWLINE\int_0^T\int_\Omega\big(\langle|\nabla u|^{p-2}\nabla u,\nabla(\phi-u)\rangle+(\phi-u) \frac{\partial \phi}{\partial t} \big)dx\,dt\geq \frac 12 \int_\Omega (\phi(x,T)-u(x,T))^2\,dx\;\forall \phi\in \mathcal{F}_\psi,NEWLINE\]NEWLINE where \(\Omega\) is a bounded domain in \(\mathbb{R}^n\) with a Lipschitz boundary. The function \(\psi\) acts as an obstacle, and \(\mathcal{F}_\psi\) is the class of admissible functions. The solution exists and is unique. The author proves the regularity of its time derivative provided that the given obstacle is smooth enough.