Scritti d'esame 2018

Metodo indiretto, metodo diretto, rilassamento, Gamma convergenza
Messaggio
Autore
Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1880
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Scritti d'esame 2018

#1 Messaggioda Massimo Gobbino » venerdì 26 gennaio 2018, 17:03

Qui di seguito posterò gli scritti man mano che escono.
Allegati
CdV_18_CS1.pdf
Scritto 1 (22 Gennaio 2018)
(135.17 KiB) Scaricato 68 volte

Crusp
Utente in crescita
Utente in crescita
Messaggi: 19
Iscritto il: sabato 3 febbraio 2018, 14:04

Re: Scritti d'esame 2018

#2 Messaggioda Crusp » domenica 11 febbraio 2018, 23:54

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 [math] dove [math] varia in [math] gamma converge (per [math]in [math] rispetto alla metrica indotta da [math] al funzionale [math] in modo equicoercivo.

Per rispondere all'ultima domanda posso quindi dire semplicemente che [math](minimo di [math] in [math]) senza cercare di determinare quale esso sia?.

Grazie!

Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1880
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Re: Scritti d'esame 2018

#3 Messaggioda Massimo Gobbino » lunedì 12 febbraio 2018, 23:33

Crusp ha scritto:Ho dimostrato - sperando di non aver sbagliato -


:shock: :shock: O tempora, o mores! Non ci sono più i Gamma-limiti di una volta, che avevano la buona creanza di essere LSC ... :lol: :lol:

Ora invece pure l'equicoercività non si nega più a nessuno. :wink:

Crusp
Utente in crescita
Utente in crescita
Messaggi: 19
Iscritto il: sabato 3 febbraio 2018, 14:04

Re: Scritti d'esame 2018

#4 Messaggioda Crusp » martedì 13 febbraio 2018, 2:13

Salve Professore...a quanto pare ho sbagliato tutto :roll: 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 [math], ovvero che [math] è ben definito per ogni [math](Questo si fa usando il metodo indiretto).

Chiamo quindi [math] la famiglia di funzionali [math] e li vedo come funzionali da [math] e non da [math] (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 [math]?).

Vorrei mostrare che [math] gamma converge ad [math]. Per far questo sfrutto il seguente lemma:

LEMMA:

Sia (X,d) spazio metrico, [math] una famiglia di funzionali ed [math]. E supponiamo che

[math] Valga la lim-inf inequality;

[math] Esista un denso in energia per [math] tale che per ogni punto di esso valga la limsup-inequality;

allora [math] è il gamma limite della famiglia.



Mostriamo quindi che vale la liminf inequality:

Sia [math] per [math] rispetto la metrica di [math]. Consideriamo quindi 2 casi:

1) liminf[math] e quindi è tutto ok;

2) A meno di una sottofamiglia [math] per un certo [math].

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:

[math] uniformente ad un certo [math], le derivate deboli (che in realtà sono proprio derivate, visto che siamo in [math]) tendono tendono uniformemente alle derivate di [math] e le derivate deboli seconde tendono debolmente in [math] alle derivate deboli seconde di [math]. In particolare abbiamo estratto una sottofamiglia che converge (rispetto questa nozione di convergenza) ad un elemento che sta ancora in [math].

Per concludere quindi che vale la liminf inequality basta quindi osservare che

liminf [math]liminf (sottofamiglia)[math]

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 [math] è [math]. Infatti se [math] allora esiste una successione di funzioni in [math] che converge ad [math] in [math] e tale che derivate e derivate deboli seconde convergono rispettivamente alla derivata e alla derivata debole seconda di [math]. ( Sicuramente esiste una successione in [math]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 [math] 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 :roll: ) 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?

Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1880
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Re: Scritti d'esame 2018

#5 Messaggioda Massimo Gobbino » martedì 13 febbraio 2018, 10:57

Crusp ha scritto:p.s. In generale passa qualche giorno tra lo scritto e l'eventuale orale?


Intanto rispondo sulla burocrazia: essendo un esame per pochi studenti, di solito gli orali sono ragionevolmente "trattabili", nel senso che ci si mette d'accordo. Questo ovviamente non vuol dire che da febbraio si passa ad aprile o giugno :lol: .

Per quanto riguarda la matematica, ovviamente l'errore c'è, e sono praticamente sicuro che è lo stesso che produce l'equicoercività abusiva. Vorrei però aspettare un attimo a rivelarlo, sperando che nel frattempo intervenga qualcuno del "popolo di internet" ad evidenziarlo. Si impara molto di più postando soluzioni e controllando quelle degli altri che ascoltando i video delle lezioni. Per questo ringrazio Crusp e gli altri che intervengono. Crusp, dopo averlo visto, non farà più quell'errore per tutta la sua vita, mentre chi non interviene lo rifarà all'esame :( .

Faccio però intanto un'osservazione generale che non ha a che fare con l'errore. Di solito è comodo ambientare i problemi in tutto [math], ammettendo come valore anche [math] al di fuori del "dominio naturale". Non voglio con questo dire che l'ambientazione in X sia sbagliata, solo che suona un po' buffa questa paura atavica dell'infinito (almeno di quello con il +, perché quello con il meno è più subdolo).

C_Paradise
Affezionato frequentatore
Affezionato frequentatore
Messaggi: 56
Iscritto il: giovedì 23 ottobre 2014, 0:38

Re: Scritti d'esame 2018

#6 Messaggioda C_Paradise » mercoledì 14 febbraio 2018, 1:09

Ciao! Provo a dare un suggerimento sperando di non aggiungere confusione :?

Consideriamo la famiglia di funzioni [math] che verifica le condizioni al bordo.

Inoltre [math],

d'altra parte [math] non può convergere uniformemente a un limite perché per ogni [math] si ha [math].

Questo ci dice che in generale da [math] non si può dedurre [math] uniformemente.

Nel punto (a) si gioca tutto ad [math] fissato e quindi da [math] si deduce che esiste una sottosuccessione [math], quando facciamo la liminf inequality invece [math] e [math] giocano alla pari quindi le cose si complicano.

Infatti da [math] possiamo dedurre che [math] che non aiuta a conquistare la (debole) compattezza.

Spero di essere stato utile e di non aver detto cavolate :mrgreen:

Crusp
Utente in crescita
Utente in crescita
Messaggi: 19
Iscritto il: sabato 3 febbraio 2018, 14:04

Re: Scritti d'esame 2018

#7 Messaggioda Crusp » mercoledì 14 febbraio 2018, 16:01

Grazie mille, sei stato chiarissimo!

Adesso dovrei solo cercare di capire come fare (davvero :roll: ) l'esercizio.

C_Paradise
Affezionato frequentatore
Affezionato frequentatore
Messaggi: 56
Iscritto il: giovedì 23 ottobre 2014, 0:38

Re: Scritti d'esame 2018

#8 Messaggioda C_Paradise » mercoledì 14 febbraio 2018, 16:12

Non so se è l'idea giusta, ma potrebbe essere conveniente cercare di capire chi è il rilassato di [math]. Ma ancora prima quanto ci aspettiamo che valga il limite di [math]?

Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1880
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Re: Scritti d'esame 2018

#9 Messaggioda Massimo Gobbino » mercoledì 14 febbraio 2018, 22:14

C_Paradise ha scritto:Spero di essere stato utile e di non aver detto cavolate :mrgreen:


Certo che no: ottima spiegazione! L'errore era quindi nella frase

Crusp ha scritto:con considerazioni simili a quelle che si possono fare per risolvere il primo punto dell'esercizio


Proprio un paio di giorni fa si commentava con un collega francese che spesso gli errori si nascondono dietro espressioni del tipo "è ovvio che", "si vede facilmente che", "in modo analogo si ottiene che". Con l'esperienza si impara a diffidare di quelle espressioni.

Quanto al vero Gamma-limite, mi pare che ci sia un typo nell'aiutino di C_Paradise, che suppongo volesse suggerire di capire chi è il rilassato di quello che è risultato essere il Gamma-limite sbagliato. A quel punto si conclude in poche righe (il rilassato dei [math] sono chiaramente loro stessi, essendo LSC).

Crusp
Utente in crescita
Utente in crescita
Messaggi: 19
Iscritto il: sabato 3 febbraio 2018, 14:04

Re: Scritti d'esame 2018

#10 Messaggioda Crusp » giovedì 15 febbraio 2018, 22:07

Grazie! Provo a scrivere la soluzione:

Ricordo che [math].

[math] se [math] e [math] altrimenti(in [math] meno questo spazio).

Si vuole dimostrare che il gamma limite dei [math] è [math] se [math] e -1 altrimenti ( mi sembra sia questo il rilassato del "gamma limite sbagliato") ed e è chiaro che basta dimostrare che il gamma limite dei [math] è uguale [math] su tutto [math].

LIM INF inequality:

Sia [math] per [math].

Consideriamo quindi 2 casi:

1) liminf[math] e quindi è tutto ok;

2) A meno di una sottofamiglia [math] per un certo [math]. In particolare abbiamo che [math] (e verifica le condizioni al bordo) per ogni [math] (della sottofamiglia..).

Abbiamo quindi che liminf[math] liminf [math].

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 [math].

E' chiaro quindi che vale la limsup inequality.

Sia adesso [math] il minimo di [math], allora osservo che:

liminf[math] [math]liminf[math].

E quindi abbiamo che il liminf, che è a questo punto un limite, è uguale a [math].

Avatar utente
Massimo Gobbino
Amministratore del Sito
Amministratore del Sito
Messaggi: 1880
Età: 50
Iscritto il: lunedì 29 novembre 2004, 20:00
Località: Pisa
Contatta:

Re: Scritti d'esame 2018

#11 Messaggioda Massimo Gobbino » venerdì 16 febbraio 2018, 20:32

Meglio di prima, ma ci sono ancora un po' di cose che non vanno.

Intanto il Gamma-limite è

[math]

per ogni [math].

Questo si dimostra abbastanza facilmente.
  • La liminf segue dalla disuguaglianza [math], valida su tutto [math], e dalla continuità in [math] di [math] (che va giustificata, anche se è praticamente ovvia).
  • Per quanto riguarda la limsup, basta fare il limite puntuale sulle funzioni regolari che verificano le BCs (cosa banale), osservare che viene il "Gamma-limite sbagliato", e concludere osservando che il rilassato del Gamma-limite sbagliato è proprio [math] (questo va dimostrato, ovviamente, tenendo conto con cura di cosa accade delle BCs). Questa è una tecnica standard: se si riesce a dimostrare che un Gamma-limsup è minore di qualcosa, allora è minore pure del rilassato del qualcosa.

Poi quel [math] finale va calcolato esplicitamente (è una banalità, ma va detto), ed anche le due disuguaglianze finali con il limite di [math] vanno spiegate per bene.


Torna a “Calcolo delle Variazioni”

Chi c’è in linea

Visitano il forum: Nessuno e 2 ospiti