Visto che non risponde nessuno, rispondo io.

In effetti in quel punto ho tirato via un po' in fretta, perché il tempo stava scadendo  <!-- s:roll: --><img src="{SMILIES_PATH}/icon_rolleyes.gif" alt=":roll:" title="Rolling Eyes" /><!-- s:roll: --> 

Nella definizione del &quot;compattone&quot; serve ovviamente anche qualcosa che &quot;limiti le funzioni&quot;, e non solo le derivate. Quindi uno osserva che [latex:2tfwzhvb]F_n[/latex:2tfwzhvb] della funzione identicamente nulla è minore o uguale di 327, oppure anche di 3, e a quel punto può usare

[latex:2tfwzhvb]\displaystyle\left \{ u\in H^1:  \int_{0}^{1} u&#39;&#40;x&#41;^2\, dx \le 327,\ \int_{0}^{1} &#40;u&#40;x&#41;-\arctan x&#41;^2\, dx \le 327 \right \}.[/latex:2tfwzhvb]