Scritti d'esame 2018
- Massimo Gobbino
- Amministratore del Sito
- Messaggi:2298
- Iscritto il:lunedì 29 novembre 2004, 19:00
- Località:Pisa
- Contatta:
Qui di seguito posterò gli scritti man mano che escono.
Con molto ritardo potrebbero arrivare anche delle .
Con molto ritardo potrebbero arrivare anche delle .
- Allegati
-
- CdV_18_CS6.pdf
- Scritto 6 (18 Settembre 2018)
- (114.17KiB)Scaricato 204 volte
-
- CdV_18_CS5.pdf
- Scritto 5 (20 Luglio 2018)
- (141.06KiB)Scaricato 192 volte
-
- CdV_18_CS4.pdf
- Scritto 4 (29 Giugno 2018)
- (33.89KiB)Scaricato 189 volte
-
- CdV_18_CS3.pdf
- Scritto 3 (08 Giugno 2018)
- (32.04KiB)Scaricato 265 volte
-
- CdV_18_CS2.pdf
- Scritto 2 (19 Febbraio 2018)
- (127.46KiB)Scaricato 261 volte
-
- CdV_18_CS1.pdf
- Scritto 1 (22 Gennaio 2018)
- (135.17KiB)Scaricato 335 volte
-
- Utente in crescita
- Messaggi:19
- Iscritto il:sabato 3 febbraio 2018, 13:04 [phpBB Debug] PHP Warning: in file [ROOT]/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1236: count(): Parameter must be an array or an object that implements Countable
Re: Scritti d'esame 2018
Salve a tutti,
Avrei una domanda relativa al quarto esercizio di questo scritto d'esame:
Ho dimostrato - sperando di non aver sbagliato - che la famiglia di funzionali dove varia in gamma converge (per in rispetto alla metrica indotta da al funzionale in modo equicoercivo.
Per rispondere all'ultima domanda posso quindi dire semplicemente che (minimo di in ) senza cercare di determinare quale esso sia?.
Grazie!
Avrei una domanda relativa al quarto esercizio di questo scritto d'esame:
Ho dimostrato - sperando di non aver sbagliato - che la famiglia di funzionali dove varia in gamma converge (per in rispetto alla metrica indotta da al funzionale in modo equicoercivo.
Per rispondere all'ultima domanda posso quindi dire semplicemente che (minimo di in ) senza cercare di determinare quale esso sia?.
Grazie!
- Massimo Gobbino
- Amministratore del Sito
- Messaggi:2298
- Iscritto il:lunedì 29 novembre 2004, 19:00
- Località:Pisa
- Contatta:
-
- Utente in crescita
- Messaggi:19
- Iscritto il:sabato 3 febbraio 2018, 13:04 [phpBB Debug] PHP Warning: in file [ROOT]/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1236: count(): Parameter must be an array or an object that implements Countable
Re: Scritti d'esame 2018
Salve Professore...a quanto pare ho sbagliato tutto E il fatto di non capire bene dove sta la falla nel mio ragionamento mi preoccupa abbastanza.
Scrivo la mia dimostrazione, sperando di capire dove stanno i problemi:
Supponiamo di aver dimostrato la parte , ovvero che è ben definito per ogni (Questo si fa usando il metodo indiretto).
Chiamo quindi la famiglia di funzionali e li vedo come funzionali da e non da (Forse ho già qui qualche problema? Anche se non capisco bene perché: la teoria fatta in classe non va bene per un qualsiasi spazio metrico, in questo caso un sottospazio metrico di ?).
Vorrei mostrare che gamma converge ad . Per far questo sfrutto il seguente lemma:
LEMMA:
Sia (X,d) spazio metrico, una famiglia di funzionali ed . E supponiamo che
Valga la lim-inf inequality;
Esista un denso in energia per tale che per ogni punto di esso valga la limsup-inequality;
allora è il gamma limite della famiglia.
Mostriamo quindi che vale la liminf inequality:
Sia per rispetto la metrica di . Consideriamo quindi 2 casi:
1) liminf e quindi è tutto ok;
2) A meno di una sottofamiglia per un certo .
In questo secondo caso, con considerazioni simili a quelle che si possono fare per risolvere il primo punto dell'esercizio, si trova - sfruttando condizioni al bordo, compattezza...- una sottofamiglia (che indicherò ancora con le stesso indice) tale che:
uniformente ad un certo , le derivate deboli (che in realtà sono proprio derivate, visto che siamo in ) tendono tendono uniformemente alle derivate di e le derivate deboli seconde tendono debolmente in alle derivate deboli seconde di . In particolare abbiamo estratto una sottofamiglia che converge (rispetto questa nozione di convergenza) ad un elemento che sta ancora in .
Per concludere quindi che vale la liminf inequality basta quindi osservare che
liminf liminf (sottofamiglia)
dove questo ultimo passaggio è vero per la convergenza addirittura uniforme della sottofamiglia e delle loro derivate.
Passiamo quindi alla limsup inequality:
Osservo che un denso in energia per è . Infatti se allora esiste una successione di funzioni in che converge ad in e tale che derivate e derivate deboli seconde convergono rispettivamente alla derivata e alla derivata debole seconda di . ( Sicuramente esiste una successione in che converge in quel modo, per la definizione alternativa dello spazio di sobolev, ma in effetti non mi sono soffermato troppo a pensare che le condizioni al bordo potessero essere un problema ).
Allora abbiamo chiaramente che il limite passa sotto il segno di integrale (per esempio perché cos è Lipschitz).
Resta quindi da mostrare che per ogni esiste una recovery. Per questo fine, basta in effetti prendere la successione costante uguale a se stessa: si vede subito che tutto torna.
Per quanto la coercività...( che a quanto pare ho ancora sbagliato ) magari la posto domani. Magari capire dove ho sbagliato in questa prima parte mi potrebbe aiutare anche per quell'altra.
Grazie (sopratutto per la pazienza!).
p.s. In generale passa qualche giorno tra lo scritto e l'eventuale orale?
Scrivo la mia dimostrazione, sperando di capire dove stanno i problemi:
Supponiamo di aver dimostrato la parte , ovvero che è ben definito per ogni (Questo si fa usando il metodo indiretto).
Chiamo quindi la famiglia di funzionali e li vedo come funzionali da e non da (Forse ho già qui qualche problema? Anche se non capisco bene perché: la teoria fatta in classe non va bene per un qualsiasi spazio metrico, in questo caso un sottospazio metrico di ?).
Vorrei mostrare che gamma converge ad . Per far questo sfrutto il seguente lemma:
LEMMA:
Sia (X,d) spazio metrico, una famiglia di funzionali ed . E supponiamo che
Valga la lim-inf inequality;
Esista un denso in energia per tale che per ogni punto di esso valga la limsup-inequality;
allora è il gamma limite della famiglia.
Mostriamo quindi che vale la liminf inequality:
Sia per rispetto la metrica di . Consideriamo quindi 2 casi:
1) liminf e quindi è tutto ok;
2) A meno di una sottofamiglia per un certo .
In questo secondo caso, con considerazioni simili a quelle che si possono fare per risolvere il primo punto dell'esercizio, si trova - sfruttando condizioni al bordo, compattezza...- una sottofamiglia (che indicherò ancora con le stesso indice) tale che:
uniformente ad un certo , le derivate deboli (che in realtà sono proprio derivate, visto che siamo in ) tendono tendono uniformemente alle derivate di e le derivate deboli seconde tendono debolmente in alle derivate deboli seconde di . In particolare abbiamo estratto una sottofamiglia che converge (rispetto questa nozione di convergenza) ad un elemento che sta ancora in .
Per concludere quindi che vale la liminf inequality basta quindi osservare che
liminf liminf (sottofamiglia)
dove questo ultimo passaggio è vero per la convergenza addirittura uniforme della sottofamiglia e delle loro derivate.
Passiamo quindi alla limsup inequality:
Osservo che un denso in energia per è . Infatti se allora esiste una successione di funzioni in che converge ad in e tale che derivate e derivate deboli seconde convergono rispettivamente alla derivata e alla derivata debole seconda di . ( Sicuramente esiste una successione in che converge in quel modo, per la definizione alternativa dello spazio di sobolev, ma in effetti non mi sono soffermato troppo a pensare che le condizioni al bordo potessero essere un problema ).
Allora abbiamo chiaramente che il limite passa sotto il segno di integrale (per esempio perché cos è Lipschitz).
Resta quindi da mostrare che per ogni esiste una recovery. Per questo fine, basta in effetti prendere la successione costante uguale a se stessa: si vede subito che tutto torna.
Per quanto la coercività...( che a quanto pare ho ancora sbagliato ) magari la posto domani. Magari capire dove ho sbagliato in questa prima parte mi potrebbe aiutare anche per quell'altra.
Grazie (sopratutto per la pazienza!).
p.s. In generale passa qualche giorno tra lo scritto e l'eventuale orale?
- Massimo Gobbino
- Amministratore del Sito
- Messaggi:2298
- Iscritto il:lunedì 29 novembre 2004, 19:00
- Località:Pisa
- Contatta:
-
- Affezionato frequentatore
- Messaggi:73
- Iscritto il:giovedì 23 ottobre 2014, 0:38 [phpBB Debug] PHP Warning: in file [ROOT]/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1236: count(): Parameter must be an array or an object that implements Countable
Re: Scritti d'esame 2018
Ciao! Provo a dare un suggerimento sperando di non aggiungere confusione
Consideriamo la famiglia di funzioni che verifica le condizioni al bordo.
Inoltre ,
d'altra parte non può convergere uniformemente a un limite perché per ogni si ha .
Questo ci dice che in generale da non si può dedurre uniformemente.
Nel punto (a) si gioca tutto ad fissato e quindi da si deduce che esiste una sottosuccessione , quando facciamo la liminf inequality invece e giocano alla pari quindi le cose si complicano.
Infatti da possiamo dedurre che che non aiuta a conquistare la (debole) compattezza.
Spero di essere stato utile e di non aver detto cavolate
Consideriamo la famiglia di funzioni che verifica le condizioni al bordo.
Inoltre ,
d'altra parte non può convergere uniformemente a un limite perché per ogni si ha .
Questo ci dice che in generale da non si può dedurre uniformemente.
Nel punto (a) si gioca tutto ad fissato e quindi da si deduce che esiste una sottosuccessione , quando facciamo la liminf inequality invece e giocano alla pari quindi le cose si complicano.
Infatti da possiamo dedurre che che non aiuta a conquistare la (debole) compattezza.
Spero di essere stato utile e di non aver detto cavolate
-
- Utente in crescita
- Messaggi:19
- Iscritto il:sabato 3 febbraio 2018, 13:04 [phpBB Debug] PHP Warning: in file [ROOT]/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1236: count(): Parameter must be an array or an object that implements Countable
Re: Scritti d'esame 2018
Grazie mille, sei stato chiarissimo!
Adesso dovrei solo cercare di capire come fare (davvero ) l'esercizio.
Adesso dovrei solo cercare di capire come fare (davvero ) l'esercizio.
-
- Affezionato frequentatore
- Messaggi:73
- Iscritto il:giovedì 23 ottobre 2014, 0:38 [phpBB Debug] PHP Warning: in file [ROOT]/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1236: count(): Parameter must be an array or an object that implements Countable
Re: Scritti d'esame 2018
Non so se è l'idea giusta, ma potrebbe essere conveniente cercare di capire chi è il rilassato di . Ma ancora prima quanto ci aspettiamo che valga il limite di ?
- Massimo Gobbino
- Amministratore del Sito
- Messaggi:2298
- Iscritto il:lunedì 29 novembre 2004, 19:00
- Località:Pisa
- Contatta:
-
- Utente in crescita
- Messaggi:19
- Iscritto il:sabato 3 febbraio 2018, 13:04 [phpBB Debug] PHP Warning: in file [ROOT]/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1236: count(): Parameter must be an array or an object that implements Countable
Re: Scritti d'esame 2018
Grazie! Provo a scrivere la soluzione:
Ricordo che .
se e altrimenti(in meno questo spazio).
Si vuole dimostrare che il gamma limite dei è se e -1 altrimenti ( mi sembra sia questo il rilassato del "gamma limite sbagliato") ed e è chiaro che basta dimostrare che il gamma limite dei è uguale su tutto .
LIM INF inequality:
Sia per .
Consideriamo quindi 2 casi:
1) liminf e quindi è tutto ok;
2) A meno di una sottofamiglia per un certo . In particolare abbiamo che (e verifica le condizioni al bordo) per ogni (della sottofamiglia..).
Abbiamo quindi che liminf liminf .
LIM SUP inequality:
Considero le funzioni affini a tratti:
-costituiscono un denso in energia per la funzione costante uguale a -1
-inoltre posso approssimare (addirittura uniformente) ogni funzione affine a tratti con delle rette di pendenza del tipo .
E' chiaro quindi che vale la limsup inequality.
Sia adesso il minimo di , allora osservo che:
liminf liminf.
E quindi abbiamo che il liminf, che è a questo punto un limite, è uguale a .
Ricordo che .
se e altrimenti(in meno questo spazio).
Si vuole dimostrare che il gamma limite dei è se e -1 altrimenti ( mi sembra sia questo il rilassato del "gamma limite sbagliato") ed e è chiaro che basta dimostrare che il gamma limite dei è uguale su tutto .
LIM INF inequality:
Sia per .
Consideriamo quindi 2 casi:
1) liminf e quindi è tutto ok;
2) A meno di una sottofamiglia per un certo . In particolare abbiamo che (e verifica le condizioni al bordo) per ogni (della sottofamiglia..).
Abbiamo quindi che liminf liminf .
LIM SUP inequality:
Considero le funzioni affini a tratti:
-costituiscono un denso in energia per la funzione costante uguale a -1
-inoltre posso approssimare (addirittura uniformente) ogni funzione affine a tratti con delle rette di pendenza del tipo .
E' chiaro quindi che vale la limsup inequality.
Sia adesso il minimo di , allora osservo che:
liminf liminf.
E quindi abbiamo che il liminf, che è a questo punto un limite, è uguale a .
- Massimo Gobbino
- Amministratore del Sito
- Messaggi:2298
- Iscritto il:lunedì 29 novembre 2004, 19:00
- Località:Pisa
- Contatta:
- Massimo Gobbino
- Amministratore del Sito
- Messaggi:2298
- Iscritto il:lunedì 29 novembre 2004, 19:00
- Località:Pisa
- Contatta:
Re: Scritti d'esame 2018
Mi ero dimenticato dello scritto 2, che ho aggiunto ora. Non sarebbe male che qualcuno postasse delle soluzioni.
-
- Utente in crescita
- Messaggi:9
- Iscritto il:mercoledì 18 febbraio 2015, 12:24 [phpBB Debug] PHP Warning: in file [ROOT]/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1236: count(): Parameter must be an array or an object that implements Countable
Re: Scritti d'esame 2018
Per l'esercizio 2 non riesco proprio a concludere in modo convincente e colgo l'occasione per fare qualche domanda.
con e
Porto al LHS il denominatore e integrando posso ridurmi a studiare il problema di minimo del funzionale
con DBC , sperando di trovare la condizione come NBC. Ma . Mi si aprono qui due strade, o modificare il funzionale o cambiare variabile. Mi piacerebbe molto adottare quest'ultima strada per "buttare" la modifica dentro il seno, che tanto è limitato dal basso, ma non riesco proprio a trovare una sostituzione che mi faccia tornare i conti (colpa di ). Adottando la prima strategia, il funzionale diventa
.
Vorrei adesso adottare il metodo diretto. Riguardo alla formulazione debole è tutto ben definito in , DBC comprese.
Per sistemare la compattezza riguardo alla solita nozione di convergenza, sfrutto che e . So che, poiché le son di Sobolev, allora
.
L'unico termine che mi mancherebbe da trattare è . Posso accorparlo al termine con un completamento di quadrati e dire che ? Non son andato avanti, ma penso che riguardo la SCI e la regolarità il procedimento sia standard.
con e
Porto al LHS il denominatore e integrando posso ridurmi a studiare il problema di minimo del funzionale
con DBC , sperando di trovare la condizione come NBC. Ma . Mi si aprono qui due strade, o modificare il funzionale o cambiare variabile. Mi piacerebbe molto adottare quest'ultima strada per "buttare" la modifica dentro il seno, che tanto è limitato dal basso, ma non riesco proprio a trovare una sostituzione che mi faccia tornare i conti (colpa di ). Adottando la prima strategia, il funzionale diventa
.
Vorrei adesso adottare il metodo diretto. Riguardo alla formulazione debole è tutto ben definito in , DBC comprese.
Per sistemare la compattezza riguardo alla solita nozione di convergenza, sfrutto che e . So che, poiché le son di Sobolev, allora
.
L'unico termine che mi mancherebbe da trattare è . Posso accorparlo al termine con un completamento di quadrati e dire che ? Non son andato avanti, ma penso che riguardo la SCI e la regolarità il procedimento sia standard.
Ultima modifica di Firnen il mercoledì 27 giugno 2018, 8:42, modificato 3 volte in totale.
-
- Utente in crescita
- Messaggi:9
- Iscritto il:mercoledì 18 febbraio 2015, 12:24 [phpBB Debug] PHP Warning: in file [ROOT]/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1236: count(): Parameter must be an array or an object that implements Countable
Re: Scritti d'esame 2018
Esercizio 4
esiste per applicazione del metodo diretto. Per ogni epsilon infatti il seno è limitato dal basso e , da cui ottengo la compattezza. La SCI si ottiene sapendo che il termine con il seno si sistema con la convergenza uniforme, mentre i termini con si sistemano assieme grazie alla convessità. La regolarità infine si conquista discutendo ELE debole (ad una certa sarà necessaria la monotonia di in [0,1] per poter invertire ed ottenere la regolarità di ).
Riguardo alla convessità secondo me . Scrivo (ELE) e ottengo , che può essere portata in forma normale . Devo quindi studiare il segno di . Esso ha deminatore sempre positivo, lo studio del segno si riduce allo studio di . Quest'ultimo è >0 quando , . So che . Quindi non può essere maggiore di , sennò, per continuità, esisterebbe un c tale , , portandomi ad avere . Dico che invece tutti gli vanno bene. Infatti il minimo non può superare , se lo superasse, potrei pagare sicuramente meno per troncamento ( i pezzi costanti costano poco).
Per il punto c) Ansatz .
Ottengo .
La dimostrazione che si fa sfruttando la convessità e Taylor.
Purtroppo, infine non ho ancora capito come approcciare l'esericizio 3. Vorrei affrontarlo in maniera identica a come fatto a lezione nella Lezione 28, approssimando arcotangente e seno con il loro Taylor (anche vicino ad l, u è nulla), ma non so proprio come formalizzarlo... quello che abbiamo fatto nella Lezione 41 mi sembra concettualmente molto diverso...
esiste per applicazione del metodo diretto. Per ogni epsilon infatti il seno è limitato dal basso e , da cui ottengo la compattezza. La SCI si ottiene sapendo che il termine con il seno si sistema con la convergenza uniforme, mentre i termini con si sistemano assieme grazie alla convessità. La regolarità infine si conquista discutendo ELE debole (ad una certa sarà necessaria la monotonia di in [0,1] per poter invertire ed ottenere la regolarità di ).
Riguardo alla convessità secondo me . Scrivo (ELE) e ottengo , che può essere portata in forma normale . Devo quindi studiare il segno di . Esso ha deminatore sempre positivo, lo studio del segno si riduce allo studio di . Quest'ultimo è >0 quando , . So che . Quindi non può essere maggiore di , sennò, per continuità, esisterebbe un c tale , , portandomi ad avere . Dico che invece tutti gli vanno bene. Infatti il minimo non può superare , se lo superasse, potrei pagare sicuramente meno per troncamento ( i pezzi costanti costano poco).
Per il punto c) Ansatz .
Ottengo .
La dimostrazione che si fa sfruttando la convessità e Taylor.
Purtroppo, infine non ho ancora capito come approcciare l'esericizio 3. Vorrei affrontarlo in maniera identica a come fatto a lezione nella Lezione 28, approssimando arcotangente e seno con il loro Taylor (anche vicino ad l, u è nulla), ma non so proprio come formalizzarlo... quello che abbiamo fatto nella Lezione 41 mi sembra concettualmente molto diverso...
Torna a “Calcolo delle Variazioni”
Chi c’è in linea
Visitano il forum: Nessuno e 5 ospiti