Suppose I have $\|f\|_{2}=\int_{S}f(x)^2dx\rightarrow 0$ over a compact set $S\subset R^d$, and $f$ is Lipschitz and smooth. What kind of extra condition can I add on $S$ so that $\|f\|_{\infty}\rightarrow 0$?

If $S$ is $R^d$, no extra condition is needed, since for any $|f(x)|>0$ we can always construct a neighborhood $B(x,r)\subset S$ for some $r=\Theta(|f(x)|)$ and the integral over $B(x,r)$ is $\Theta(|f(x)|^{d+1})$. However, for a compact set it does not necessarily holds that $B(x,r)\subset S$, so I guess some regularization condition can be added to make the convergence still hold.