OSSERVAZIONE: Il funzionale integrale
COROLLARIO: Sia
,
il funzionale
Se infine è strettamente convessa nelle variabili per ogni fissato , l'evuentuale punto di minimo è unico.
Si noti che, nel corollario precedente, la sufficienza dell'equazione di
Eulero debole segue dal risultato sulle funzioni convesse, mentre la
necessità l'abbiamo ottenuta già nella prima lezione! Per avere la
stretta convessità del funzionale, l'ipotesi che sia
strettamente convessa nelle ultime due variabili può essere
indebolita:
grazie
alla particolare forma del funzionale variazione prima, basta che
nella condizione di convessità
Per vedere il teorema in azione, cominciamo con un semplice esempio:
ESEMPIO: Si consideri il funzionale
ESEMPIO: Vediamiamo ora una famiglia di funzionali non convessi, in cui l'equazione di Eulero ha sempre almeno una
soluzione ammissibile (mentre per certi valori del parametro ne ha
infinite). Vedremo però che, a seconda dei valori del parametro ,
possiamo avere , infinite o nessuna soluzione del problema variazionale.
La famiglia di funzionali che vogliamo considerare è
L'equazione di Eulero-Lagrange è , la cui soluzione generale è . Andando ad imporre le condizioni al bordo, si trova sempre la soluzione ``banale'' . Se è intero, anche le funzioni sono soluzioni (per ogni ), altrimenti c'è solo la soluzione banale.
Mostreremo che per , la soluzione è l'unico punto di minimo del funzionale. Per , le infinite funzioni del tipo sono tutti e soli i minimi assoluti, mentre per il funzionale non è nemmeno inferiormente limitato: le soluzioni dell'equazione di Eulero non sono minimi!
Per dimostrare le nostre affermazioni, abbiamo bisogno di una disuguaglianza che riincontreremo (in un contesto leggermente diverso) anche nel seguito: la disuguaglianza di Poincarè-Wirtinger.
TEOREMA (Disuguaglianza di Poincaré-Wirtinger): Sia
. Allora si ha
DIM.: Estendiamo ad una funzione dispari definita
anche in , ed estendiamola poi ulteriormente ad una funzione
-periodica definita su tutta la retta reale. La funzione
rimane di classe a tratti grazie alle condizioni al contorno.
Una tale funzione e la sua derivata hanno la serie di Fourier che
converge in : possiamo scrivere
Dalla disuguaglianza di Poincarè-Wirtinger segue subito il nostro
asserto sulla famiglia di funzionali dell'esempio: se il
funzionale è non negativo e vale se e soltanto se
oppure (nel solo caso ) quando .
Se poi , per verificare che il funzionale non è inferiormente limitato basta calcolarlo sulle funznioni . Si potrebbe far vedere che, in questo caso, le soluzioni dell'equazione di Eulero sono punti di sella del funzionale.
ESEMPIO (Brachistocrona): Torniamo al funzionale della
brachistocrona. Abbiamo visto che occorre minimizzare
Purtroppo la funzione
non è
convessa (per esempio, si vede subito che non lo è la restrizione
alla retta ).
Se però restringiamo le curve ammissibili a quelle che sono grafico
di una funzione di (cioè a quelle del tipo ), con le
stesse considerazioni fisiche della volta scorsa arriviamo al
funzionale:
L'equazione di Eulero è
La funzione trovata rappresenta un arco di cicloide...anche se non è così immediato riconoscerlo! Analizzeremo più in dettaglio questo fatto la prossima volta, facendo anche qualche considerazione sulla possibilità di soddisfare le condizioni al contorno.