Nel teorema di regolarità su tutto [latex:3j8h69ud]\mathbb{R}^d[/latex:3j8h69ud], nel caso generale, alla fine si è trovato che si possono stimare le derivate discrete del gradiente di u. Questo, per la proposizione di caratterizzazione (enunciato precedente) implica che allora la derivata Sobolev corrispondente alla derivata discreta sta in [latex:3j8h69ud]L^2[/latex:3j8h69ud]. Tuttavia la stima della caratterizzazione stima la derivata discreta con la derivata Sobolev e non il viceversa, dunque mi chiedo come si possa ottenere la stima sulla derivata Sobolev [latex:3j8h69ud]\left\lVert D_{x_k}&#40;Du&#41;\right\rVert _2 \leq \left\lVert f\right\rVert _2[/latex:3j8h69ud] a partire da quella sulla derivata discreta.

Una possibile risposta potrebbe risiedere nel fatto citato, ma non mostrato, che in realtà le derivate discrete convergono forte in [latex:3j8h69ud]L^2[/latex:3j8h69ud]?