Un'altra cosa di cui non riesco a venire a capo, nonostante ci abbia provato per un po': quando nella lezione 37 si parla di estensione per rilassamento, per dimostrare che il presunto rilassato è SCI si prende una successione [latex:f6cg4qmd]u_n[/latex:f6cg4qmd] --&gt; [latex:f6cg4qmd]u_\infty[/latex:f6cg4qmd] e si mostra facilmente che se il liminf non è infinito allora [latex:f6cg4qmd]u_\infty[/latex:f6cg4qmd] è una sobolev e c'è una sottosuccessione delle derivate deboli delle [latex:f6cg4qmd]u_n[/latex:f6cg4qmd] che tende alla derivata debole di [latex:f6cg4qmd]u[/latex:f6cg4qmd]. Per guadagnare la semicontinuità del funzionale avrei però bisogno della convergenza debole di tutta la successione delle derivate deboli, poiché il liminf su una sottosuccessione è in generale più grande. Come ne esco?