Buongiorno, vorrei segnalare quello che secondo me è un errore nella dimostrazione Q quadratico non negativo + [latex:2s2ln5wo]L^+[/latex:2s2ln5wo]+ coefficienti C1 implica J (lezione 26 2017-2018).  Si costruisce una funzione v non C^1, si dice che Q(v)=0 e allora v è un punto di minimo --&gt; soddisfa JDE ma non può farlo in quanto non C^2. A me pare che l'implicazione non sia corretta, perchè il punto di minimo soddisfa JDE se si può passare dalla forma integrale di ELE a quella differenziale, ovvero se tale minimo è abbastanza regolare, ma sappiamo già che non lo è. E non vedo contraddizioni, dato che v soddisfa tranquillamente le due forme integrali.
Stando così le cose mi pare che non sia facile sistemare la dimostrazione, sbaglio?