\( L^1 \not\subset H^{-n/2}\)

Messaggioda Delirium » 17/11/2017, 19:05

Si definisce per \(s \in \mathbb{R} \) lo spazio di Sobolev frazionario \[H^s = H^s (\mathbb{R}^n) = \left\{ u \in \mathcal{S}' \, : \, \int_{\mathbb{R}^n} (1 + |\xi|^2)^s |\hat{u}(\xi)|^2 \, d \xi < \infty \right\} \]ove con \(\mathcal{S}' \) e' indicato lo spazio delle distribuzioni temperate mentre con \(\hat{\cdot} \) indico la trasformata di Fourier. Al solito \[ L^1 (\mathbb{R}^n ) = \left\{f \text{ misurabile} \, : \, \int_{\mathbb{R}^n} |f| \, dx < \infty \right\}. \]

Problema: mostrare che \( L^1 \not\subset H^{-n/2}\).
E intorno milioni di case
ritrovarsi in una
Avatar utente
Delirium
Cannot live without
Cannot live without
 
Messaggio: 3043 di 3481
Iscritto il: 16/07/2010, 11:13

Re: \( L^1 \not\subset H^{-n/2}\)

Messaggioda dissonance » 22/11/2017, 16:56

Testo nascosto, fai click qui per vederlo
IDEA. Sia \(\delta\) la distribuzione di Dirac. Allora "\(\delta\in L^1(\mathbb R^n)\)" (link), ma \(\delta\notin H^{-\frac n 2}(\mathbb R^n)\).

Dimostrazione formale. Occorre trovare una successione \(f_k\) tale che \(\|f_k\|_1\le C\) e \(\|f_k\|_{H^{-\frac n 2} } \to \infty\). Fissata \(f\in \mathcal S\) tale che \(\int_{\mathbb R^n} f(x)\, dx\ne 0\), si definisce
\[
f_k(x):=k^n f(kx).\]
Per costruzione, \(\|f_k\|_1=\|f\|_1\). Siccome \(\hat{f}_k(\xi)= \hat{f} (k^{-1}\xi)\), si ha che \[\| f_k\|_{H^{-\frac n 2}}^2 = \int_{\mathbb R^n} (1+|\xi|^2)^{-n/2} |\hat{f}(k^{-1}\xi)|^2\, d\xi\to |\hat{f}(0)|^2\int_{\mathbb R^n}(1+|\xi|^2)^{-\frac n 2}\, d\xi=+\infty.\]
Qui abbiamo usato il fatto che \(\hat{f}(0)=\int_{\mathbb R^n} f(x)\, dx\).
dissonance
Cannot live without
Cannot live without
 
Messaggio: 13281 di 14774
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: \( L^1 \not\subset H^{-n/2}\)

Messaggioda Delirium » 22/11/2017, 23:33

Esatto. Io l'avevo fatto col teorema del grafico chiuso, sempre partendo dall'idea della \(\delta\).
"Dualmente" si può mostrare che \(H^{n/2} \not\subset L^\infty\).
E intorno milioni di case
ritrovarsi in una
Avatar utente
Delirium
Cannot live without
Cannot live without
 
Messaggio: 3053 di 3481
Iscritto il: 16/07/2010, 11:13

Re: \( L^1 \not\subset H^{-n/2}\)

Messaggioda dissonance » 23/11/2017, 13:22

Qui sollevi una riflessione secondo me interessante. Abbiamo dimostrato che \(L^1\) non è contenuto in \(H^{-\frac n 2}\) con un esempio molto semplice, la delta di Dirac. Per dualità questo equivale a dimostrare che \(H^\frac{n}{2}\) non è contenuto in \(L^\infty\). La dimostrazione diretta di quest'ultimo fatto in genere usa esempi più complicati. Sull'Evans si mostra che una funzione con un polo di ordine \(\log\log\) è in \(H^{\frac n 2}\) pur non essendo in \(L^\infty\).

Domanda. Esiste un esempio "distribuzionale", più semplice possibile, che mostri come \(H^{\frac n 2}\not\subset L^\infty\)? Tale esempio dovrebbe essere in qualche senso duale al fatto che \(\delta\in L^1\) e \(\delta\notin H^{-\frac n 2}\).
dissonance
Cannot live without
Cannot live without
 
Messaggio: 13287 di 14774
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: \( L^1 \not\subset H^{-n/2}\)

Messaggioda Delirium » 23/11/2017, 17:58

dissonance ha scritto:[...] Per dualità questo equivale a dimostrare che \(H^\frac{n}{2}\) non è contenuto in \(L^\infty\). [...]

Pero' aspetta, questo non e' vero in generale (se ho capito bene quello che stai dicendo). Se hai due spazi di Banach \(E \subset F\) potrebbe non darsi \(F^* \hookrightarrow E^*\). Credo ti serva la densita' di \(E\) in \(F\) per avere un'immersione iniettiva.

dissonance ha scritto:Domanda. Esiste un esempio "distribuzionale", più semplice possibile, che mostri come \(H^{\frac n 2}\not\subset L^\infty\)? Tale esempio dovrebbe essere in qualche senso duale al fatto che \(\delta\in L^1\) e \(\delta\notin H^{-\frac n 2}\).

Con "dualmente" intendevo esattamente questo. Credo si possa fare, forse giocando un po' con il prodotto scalare di \(H^s\).
E intorno milioni di case
ritrovarsi in una
Avatar utente
Delirium
Cannot live without
Cannot live without
 
Messaggio: 3054 di 3481
Iscritto il: 16/07/2010, 11:13

Re: \( L^1 \not\subset H^{-n/2}\)

Messaggioda dissonance » 23/11/2017, 18:09

Delirium ha scritto:Pero' aspetta, questo non e' vero in generale (se ho capito bene quello che stai dicendo). Se hai due spazi di Banach \(E \subset F\) potrebbe non darsi \(F^* \hookrightarrow E^*\). Credo ti serva la densita' di \(E\) in \(F\) per avere un'immersione iniettiva.
Si, va bene, ma tanto qui tutte le immersioni sono dense. Non ci perdiamo in quisquilie. Meglio ragionare su questo:
Con "dualmente" intendevo esattamente questo. Credo si possa fare, forse giocando un po' con il prodotto scalare di \(H^s\).

Se ti va, fai qualche conto, anche informale, anzi, meglio se informale. Sono curioso di sapere che aspetto potrebbe avere questa distribuzione in \(H^\frac{n}2\) e non in \(L^\infty\).
dissonance
Cannot live without
Cannot live without
 
Messaggio: 13294 di 14774
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: \( L^1 \not\subset H^{-n/2}\)

Messaggioda Delirium » 23/11/2017, 22:18

Ci ho provato un po' ma non ho ottenuto niente di sensato. C'è un collega dottorando che aveva ottenuto qualcosa di esplicito, domani mi faccio dare qualche suggerimento.
E intorno milioni di case
ritrovarsi in una
Avatar utente
Delirium
Cannot live without
Cannot live without
 
Messaggio: 3055 di 3481
Iscritto il: 16/07/2010, 11:13

Re: \( L^1 \not\subset H^{-n/2}\)

Messaggioda Delirium » 24/11/2017, 14:01

Ok, scrivo quello che ho; e' un argomento di dualita' (uso il pairing tra \(H^{n/2}\) e \(H^{-n/2}\)), ma non so se da questo si possa ottenere qualcosa di esplicito: se supponiamo \(L^\infty \supseteq H^{n/2} \), allora \( \| f\|_{L^\infty} \lesssim \|f\|_{H^{n/2}} \) per il teorema del grafico chiuso (l'immersione e' continua). Allora si ha che, per ogni \(g \in H^{-n/2}\), \[\|g\|_{H^{-n/2}} = \sup_{h \in \mathcal{S}, \, \|h\|_{H^{n/2}}=1} \left| \int_{\mathbb{R}^n} \hat{g}(x) \hat{h}(x) \, dx \right|=\sup_{h \in \mathcal{S}, \, \|h\|_{H^{n/2}}=1} \left| \int_{\mathbb{R}^n} g(x) h(x) \, dx \right| \lesssim \|g\|_{L^1} \|h\|_{L^\infty} \lesssim \|g\|_{L^1}, \]assurdo per quanto hai dimostrato tu.
E intorno milioni di case
ritrovarsi in una
Avatar utente
Delirium
Cannot live without
Cannot live without
 
Messaggio: 3056 di 3481
Iscritto il: 16/07/2010, 11:13

Re: \( L^1 \not\subset H^{-n/2}\)

Messaggioda LoreT314 » 16/12/2017, 21:54

Scusate ma queste cose (bellissime ma per me incomprensibili) a che punto di un cdl in matematica si affrontano?
“Alaska, it means 'that which the sea breaks against', and I love that. But at the time, I just saw Alaska up there. And it was big, just like I wanted to be. And it was damn far away from Vine Station, Alabama, just like I wanted to be.” ~ Looking for Alaska
Avatar utente
LoreT314
Junior Member
Junior Member
 
Messaggio: 75 di 374
Iscritto il: 03/11/2016, 18:56
Località: Borgomanero

Re: \( L^1 \not\subset H^{-n/2}\)

Messaggioda Delirium » 16/12/2017, 23:02

LoreT314 ha scritto:Scusate ma queste cose (bellissime ma per me incomprensibili) a che punto di un cdl in matematica si affrontano?

C'e' un po' di tutto; direi teoria degli spazi \(L^p\) e Analisi Funzionale al terzo anno, Teoria delle Distribuzioni (comprensiva di trasformate di Fourier e spazi di Sobolev con esponente "frazionario") alla magistrale. Ma questo esercizio e' preso da un libro avanzato sugli operatori pseudo-differenziali, roba che gli interessati vedono in corsi avanzati della magistrale o di dottorato.
E intorno milioni di case
ritrovarsi in una
Avatar utente
Delirium
Cannot live without
Cannot live without
 
Messaggio: 3100 di 3481
Iscritto il: 16/07/2010, 11:13


Torna a Pensare un po' di più

Chi c’è in linea

Visitano il forum: Nessuno e 0 ospiti

cron