Quando le derivate aumentano

[teremin]

Ciao a tutti!

Ho un dubbio che sembra un po' scemo ma non capisco dove sbaglio...

Il problema è il seguente: trovare i minimizers di , dove u varia tra le . Le BC sono diverse a seconda della richiesta, ma poco importa. Per adesso affrontiamo il problema senza condizioni ulteriori.

Il problema di per sè è semplice: sempre, e implica , ovvero le rette (che effettivamente realizzano lo zero).
Ma se provo con approcci classici ho difficoltà per la derivata doppia:

APPROCCIO 1 (forma integrale): la variazione prima del funzionale lungo è 2 .
Ponendola uguale a zero, otteniamo con metodi alla DBR che . Nello specifico, riconosciamo che le v'' al variare di sono tutte e sole le f a media nulla e con primitiva a media nulla. Aggiungendo una retta alla nostra u'' possiamo fare in modo che sia a media nulla e con primitiva a media nulla, perciò si approssima con funzioni con la stessa proprietà, e otteniamo al solito che u''-nostra retta ha norma quadra nulla, ovvero è nulla. Dunque u è una cubica (???). Ma non è neanche il problema più grosso, magari riusciamo ancora a fare in modo che sia una retta.
Se ora vogliamo dimostrare con disuguaglianza che vanno bene, il termine centrale che solitamente va via per la ELE non se ne va, perchè non è detto che il competitor sia e in questo caso il termine non si annulla automaticamente (come fa solitamente con un pizzico di fortuna) perchè al bordo non è necessariamente nulla.

APPROCCIO 2 (forma differenziale): ritornando alla variazione prima, possiamo fare l'integrazione per parti facendo guadagnare derivate alla v (ma non alla u, perchè non abbiamo la giusta regolarità). Otteniamo così
$$ \int_0^{\pi} u v^{(4)} -[uv^{(3)} ]_0^{\pi} + [u' v'']_0^{\pi} $$
Che ci dà, scegliendo ordinatamente le v da provare, che u è una cubica che soddisfa . Quattro parametri, quattro condizioni... come immaginate l'unica soluzione è , ma questa è una bugia! Sappiamo che ci dovrebbero essere anche le rette, già non ci piace.

Che si fa? Grazie dell'aiuto!
P.S. Il double dollar mi funziona per il latex non inline, ma il singolo no. E neanche \(. C'è un modo più comodo di [latex] ?

[Massimo Gobbino]

Intanto sposto nella sezione giusta

[FApples97]

Per quanto riguarda l'approccio1:
Tutte le funzioni tali che non sono tutti punti di minimo, infatti: se calcoli nelle funzioni tali che (cioè per c=0 e d=1) il funzionale vale ; mentre se lo calcoli in (cioè per c=d=0) si ha che F vale 0. Dunque per questo motivo non si riesce a portare avanti la "dimostrazione per disuguaglianza".
Il minimo al variare di e di F calcolato nelle funzioni tali che si ottiene per . Quindi ora basta fare la "dimostrazione per disuguaglianza" per le funzioni tali che (che si fa).

(Fra poco invio le mie considerazioni sull'approccio2)

[FApples97]

Per quanto riguarda l'approccio2:
Credo hai fatto un errore nel dedurre che .
Una volta ottenuto che (eq.1) , considerando solo le si ottiene e dunque u è una cubica. Una volta fatto ciò non si può porre uguale a 0 il termine nell'equazione precedente (cioè l'eq.1) perchè quella è mentre sappiamo che quel termine è nullo solo per le .
Se non sono stato chiaro dillo pure e nel caso cerco di spiegarmi meglio

[teremin]

Grazie mille!

Per l'approccio 1, chiaro: in realtà eravamo nel giusto bastava minimizzare a mano il funzionale derivando in . Mi è capitato peraltro un problema un sacco interessante in cui avevo provato a fare a mano i conti con i parametri e mi veniva incredibilmente una soluzione diversa da quella che pareva ad occhio! Alla fine c'era anche un altro metodo un po' meno contoso, comunque te lo consiglio perchè è divertente (esercizio 4 a pag 17 della raccolta di esercizi).

Per l'approccio 2, anzitutto ho capito che le mie pare mentali sulla regolarità erano superflue perchè l'inf è lo stesso in (e poi se trovo una funzione con cui dimostro la minimalità, cavoli miei di come ho fatto). Poi sì, ho capito i tuoi commenti ma allora non saprei come andare avanti: prendersi i quattro parametri, buttarli dentro e far restare solo termini di bordo? (perchè noi segretamente sappiamo che da rimangono solo termini di bordo se u è una cubica).

Grazie ancora e a buon rendere,
Andrea

[Massimo Gobbino]

Provo ad aggiungere qualche commento, anche se faccio fatica ad interpretare i dubbi di taremin. Tra l'altro, mi pare che la situazione sarebbe esattamente la stessa anche con una derivata in meno.

Vogliamo minimizzare l'integrale della derivata seconda al quadrato tra tutte le funzioni o o , senza ulteriori condizioni.

Se decidiamo di andare di metodo indiretto, possiamo (detto tra di noi) fregarcene della regolarità, perché quello che scriviamo è brutta copia. In bella copia, volendo, potremo riportare solo la disuguaglianza finale, che è quella che sistema tutto rigorosamente.

Detto questo, la variazione prima diventa



L'annullamento di questa è quella che nel corso ho chiamato prima forma integrale dell'equazione di Eulero. L'importante è precisare qui per quali la cosa deve essere vera. Non avendo condizioni al bordo, può essere una qualunque funzione .

Ora, fregandocene della regolarità, possiamo integrare per parti ottenendo



e tutto questo deve annullarsi per ogni . Questa è la seconda forma integrale di Eulero.

Scegliendo le nulle al bordo scopriamo che deve essere nell'intervallo, la quale ha come soluzione tutte le cubiche. Scegliendo ora delle opportune non nulle al bordo troviamo delle condizioni al bordo che sono nate nel processo di minimizzazione, e sono quelle che uccidono le cubiche che non sono rette (fare il conto per credere).

A questo punto osserviamo che tutte le rette verificano la prima forma integrale di Eulero e chiudiamo con la disuguaglianza.

Per come la vedo io, l'errore di fondo nell'approccio 1 è nel non aver considerato tutte le variazioni ammissibili, ma solo quelle a supporto compatto. Queste, per dirla con un linguaggio complicato, non spannano tutto lo spazio tangente, quindi non forniscono abbastanza condizioni, il che permette a dei candidati abusivi (le cubiche non rette) di restare in vita.

Se uno è seccato dalla questione di regolarità (comunque inessenziale, visto che la parte rigorosa è la disuguaglianza finale), se ne può uscire comunque, ma occorre fare un salto avanti di qualche lezione ... arrivando alle derivate deboli. Dalla prima forma integrale di Eulero si scopre che in realtà sta in ed a quel punto di può davvero integrare per parti ... quello che ha fatto teremin nel suo approccio 1 è stato mettere tutto insieme ... dalla dimostrazione dell'ulteriore regolarità al DBR ...

L'errore di fondo nell'approccio 2, che non ho capito perché si chiama forma differenziale, è molto più riposto. Per individuarlo, suggerisco di esplicitare l'argomento "scegliendo ordinatamente le v da provare".