Skip to main content
5 of 5
added 21 characters in body

How does convergence in $\ell^2$ norm imply convergence in $\ell^\infty$-norm with Lipschitz conditions?

Suppose I have $\|f_n\|_{2}^2=\int_{S}f_n(x)^2dx\rightarrow 0$ over a compact set $S\subset R^d$, and $\{f_n\}$ is $1$-Lipschitz and $1$-smooth. What kind of extra condition can I add on $S$ so that $\|f_n\|_{\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 squared integral over $B(x,r)$ is $\Theta(|f(x)|^{d+2})$. 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.