Dimostrazione disuguaglianza di Sobolev-Wirtinger

Spazi di Banach, spazi di Hilbert, spazi di Sobolev, problemi variazionali, problemi di evoluzione
Messaggio
Autore
tommy1996q
Affezionato frequentatore
Affezionato frequentatore
Messaggi: 48
Iscritto il: martedì 1 gennaio 2019, 23:05

Dimostrazione disuguaglianza di Sobolev-Wirtinger

#1 Messaggioda tommy1996q » martedì 22 gennaio 2019, 17:46

La dimostrazione vista a lezione usa un argomento di minimalità, e usa il metodo diretto. Per la larte di compattezza, di usa la nozione di convergenza che richiede la convergenza debole del gradiente in [math]. Il problema è che questa convergenza debole dovrebbe derivare dalla compattezza debole delle palle, che però abbiamo se [math]. Tuttavia la disuguaglianza dovrebbe valere pure se [math], dove non ho compattezza debole. Come me la cavo in questo caso?

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

Re: Dimostrazione disuguaglianza di Sobolev-Wirtinger

#2 Messaggioda Massimo Gobbino » martedì 22 gennaio 2019, 18:41

tommy1996q ha scritto:Come me la cavo in questo caso?

Giusto, ottima osservazione. Grazie!

Direi che non te la cavi, almeno non per quella via variazionale basic, nemmeno in dimensione 1.

Capire il perché è molto istruttivo. Poi discutiamo delle vie d'uscita.

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

Re: Dimostrazione disuguaglianza di Sobolev-Wirtinger

#3 Messaggioda Massimo Gobbino » venerdì 25 gennaio 2019, 18:22

Nessuno interviene? Provo a dire qualcosa io.

[+] Fallimento_Variazionale
Perché l'approccio variazionale non funziona nemmeno in dimensione 1 se p=1? Perché il minimo non esiste! Non sarebbe male che qualcuno provasse a spiegare perché.


Come uscirne? Vedo almeno 3 modi.

[+] Uscita_1
Uno si impara la teoria degli spazi BV. Lì si dimostra facilmente che il minimo esiste, dunque il metodo variazionale lì funziona, e vissero tutti felici e contenti :D :mrgreen:

Insoddisfatti del primo approccio?

[+] Uscita_2
Supponiamo che non esista la costante richiesta. Allora esiste una successione [math] (dove?) con

[math] e [math].

Ora si dimostra (esercizio facile) che a meno di sottosuccessioni [math] (in quali spazi?) e che (esercizio leggermente meno facile, e sicuramente meno ovvio di come possa sembrare all'inizio) [math]. Da qui è discesa totale (perché?).

E infine, perché non provare pure con un cannoncino?

[+] Uscita_3
Sia V lo spazio delle funzioni in [math] a media nulla. La norma dello spazio ambiente (1-norma di funzione + 1-norma di gradiente) lo rende un Banach. Ma anche la norma risparmiosa (solo 1-norma di gradiente) lo rende un Banach (questo non è ovvio, ma va dimostrato, perché anche i cannoni sono faticosi da usare). Ma allora ...

Tutto ok?

tommy1996q
Affezionato frequentatore
Affezionato frequentatore
Messaggi: 48
Iscritto il: martedì 1 gennaio 2019, 23:05

Re: Dimostrazione disuguaglianza di Sobolev-Wirtinger

#4 Messaggioda tommy1996q » sabato 26 gennaio 2019, 18:19

Vediamo, per quanto riguarda il terzo approccio, a meno di dimostrare che sotto entrambe le norme è un banach, direi che basta
[+] Spiegazione_uscita_3
osservare che l'identità è una funzione lineare, continua e bigettiva, quindi l'inversa è anche lei lineare e continua, quindi Lipschitz. Allora le due norme sono equivalenti, e avrei finito.

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

Re: Dimostrazione disuguaglianza di Sobolev-Wirtinger

#5 Messaggioda Massimo Gobbino » sabato 26 gennaio 2019, 19:19

La spiegazione forse è un po' contorta ... avute entrambe le Banach-ità basta usare

[+] rullo_di_tamburi...
il corollario per l'equivalenza di norme (la disuguaglianza da una parte è ovvia).

L'unica piccola seccatura è la verifica della Banach-ità rispetto alla norma risparmiosa.

tommy1996q
Affezionato frequentatore
Affezionato frequentatore
Messaggi: 48
Iscritto il: martedì 1 gennaio 2019, 23:05

Re: Dimostrazione disuguaglianza di Sobolev-Wirtinger

#6 Messaggioda tommy1996q » domenica 27 gennaio 2019, 19:42

Provo a dare una dimostrazione anche dell'uscita 2.
[+] Dimostrazione_uscita_2
A meno di sottosuccessioni, le [math] tendono a una [math] in [math], per immersione compatta. Noto poi che le [math] sono una successione di Cauchy in [math], quindi per completezza convergono a una certa [math]. Allora [math] (non dovrebbe essere complicato, basta prendere la sottosuccessione che realizza entrambe le convergenze, e stimare quella con funzioni [math]). Il fatto che [math] sia uguale a 0 dovrebbe seguire semplicemente dal fatto che:
[math], e posso rendere entrambi gli addendi piccoli a piacere. Ora, per approssimazione deluxe (che ho grazie alla regolarità del dominio) approssimo la [math] in [math] con funzioni [math] a media nulla (le posso prendere a caso, e poi aggiungere una costante per avere la media nulla). Ma essendo che [math] in [math], ho che le [math] devono tendere a una costante, che dovrà essere 0 per via della media nulla. ma allora [math], assurdo perché limite di funzioni che hanno tutte norma 1.


Torna a “Istituzioni di Analisi Matematica”

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite