Spazio di Sobolev

Da Wikipedia, l'enciclopedia libera.
Se riscontri problemi nella visualizzazione dei caratteri, clicca qui.

In matematica, uno spazio di Sobolev è uno spazio vettoriale di funzioni munito di una norma che è combinazione delle norme Lp della funzione stessa e delle sue derivate deboli fino ad un certo ordine. Rispetto a tale norma lo spazio è completo,[1] e quindi di Banach.

Nello specifico, uno spazio di Sobolev W^{l,p} è uno spazio di funzioni f=f(x)=f(x_1,x_2,\dots , x_n) definite su un sottoinsieme \Omega \subset \R^n tali per cui sono integrabili la p-esima potenza del valore assoluto di f e delle sue derivate deboli fino all'ordine l. La norma di una funzione f \in W^{l,p} viene definita come:

\|f\|_{W^{l,p}(\Omega)}=\sum_{|\alpha | \le l} \| D^\alpha f \|_{L^p (\Omega)}

con:

D^{\alpha}f = \frac{\partial^{| \alpha |} f}{\partial x_{1}^{\alpha_{1}} \dots \partial x_{n}^{\alpha_{n}}} \qquad D^0 f = f \qquad |\alpha | =\sum_{j=1}^n \alpha_j

e  \| \cdot \|_{L^p (\Omega)} l'usuale norma:

\| \psi \|_{L^p (\Omega)} = \left( \int_\Omega |\psi |^p dx \right)^{\frac{1}{p}} \qquad 1 \le p < \infty

Gli spazi di Sobolev devono il proprio nome al matematico russo Sergei Lvovich Sobolev, e sono particolarmente utilizzati quando si trattano le distribuzioni. La loro importanza è dovuta al fatto che le soluzioni delle equazioni alle derivate parziali vengono normalmente cercate in spazi di Sobolev, piuttosto che negli spazi di funzioni continue dotate di derivate intese in senso classico, secondo un approccio detto formulazione debole del problema differenziale dato.

Introduzione[modifica | modifica wikitesto]

Exquisite-kfind.png Per approfondire, vedi Formulazione debole.

Molti problemi matematici e fisici richiedono come soluzione una funzione che sia "regolare" secondo precisi criteri. Si può ad esempio richiedere la continuità della funzione soluzione; ma solitamente si cercano vincoli più forti, come la differenziabilità (le funzioni se sono differenziabili sono a maggior ragione continue) o la continuità della derivata (ovvero chiedendo l'appartenenza allo spazio C^1). In particolare, la soluzione di un'equazione differenziale alle derivate parziali (PDE) di ordine k si dice soluzione classica o forte se è una funzione differenziabile fino all'ordine k-esimo e tutte le derivate esistono e sono continue, ovvero si tratta di una funzione liscia o almeno di classe C^k. La maggior parte delle equazioni differenziali alle derivate parziali, tuttavia, non ammette soluzioni di questo tipo. Se si ammette una funzione non differenziabile come soluzione di un problema ben posto, tale soluzione è una soluzione debole o "soluzione integrale". Nel corso del XX secolo si è trovato che lo spazio all'interno del quale cercare soluzioni di questo tipo è un opportuno spazio di Sobolev.

Per mostrare come la derivata debole entra in gioco nella ricerca delle soluzioni di una PDE, si consideri una funzione u\in C^k(\Omega), con k un numero naturale. L'integrazione per parti consente di scrivere per tutte le funzioni lisce a supporto compatto \varphi \in C_c^\infty(\Omega):

 \int_\Omega uD^\alpha\varphi\;dx=(-1)^{|\alpha|}\int_\Omega \varphi D^\alpha u\;dx

dove \alpha è un multi-indice di ordine |\alpha|=k, \Omega \subset \R^n è un insieme aperto e D^\alpha f denota D^{\alpha}f = \partial^{| \alpha |} f / \partial x_{1}^{\alpha_{1}} \dots \partial x_{n}^{\alpha_{n}}

Se si assume u una funzione localmente integrabile il membro di sinistra di questa equazione ha ancora senso. Se esiste quindi una funzione localmente integrabile v tale che:

 \int_\Omega uD^\alpha\varphi\;dx=(-1)^{|\alpha|}\int_\Omega \varphi v \;dx \qquad \varphi\in C_c^\infty(\Omega)

allora v è detta la α-esima derivata parziale debole di u. Se la derivata debole esiste, è unicamente definita quasi ovunque. D'altra parte, se u\in C^k(\Omega) le derivate classica e debole coincidono.

Ad esempio, la funzione:

u(x)=\begin{cases}
1+x & \text{se }-1<x<0 \\
10 & \text{se }x=0\\
1-x & \text{se }0<x<1\\
0 & \text{altrimenti}
\end{cases}

non è continua in zero e non è differenziabile in −1, 0, e 1. La funzione:

v(x)=\begin{cases}
1 & \text{se }-1<x<0 \\
-1 & \text{se }0<x<1\\
0 & \text{altrimenti}
\end{cases}

soddisfa le richieste per essere considerata la derivata debole di u(x), ed appartiene allo spazio di Sobolev W^{1,p} per ogni p consentito.

Spazi sul cerchio unitario[modifica | modifica wikitesto]

Il modo più facile per introdurre gli spazi di Sobolev riguarda il caso unidimensionale costituito dal cerchio unitario. In questo caso lo spazio di Sobolev W^{k,p} viene definito, per un dato p \ge 1, come il sottoinsieme di Lp formato dalle funzioni le cui derivate deboli fino a un certo ordine k hanno norma L^p:

 W^{k,p}=\{f \in L^{p}|D^{\alpha}f \in L^{p} \; \forall \alpha \leq k\}

Con questa definizione lo spazio di Sobolev ammette in modo naturale una norma:

\|f\|_{k,p}=\Big(\sum_{i=0}^k \|f^{(i)}\|_p^p\Big)^{1/p} = \Big(\sum_{i=0}^k \int |f^{(i)}(t)|^p\,dt \Big)^{1/p}

W^{k,p} munito di questa norma \|\cdot\|_{k,p} è uno spazio di Banach. Si può dimostrare che la più semplice norma

\|f^{(k)}\|_p + \|f\|_p

è equivalente a quella precedentemente definita.

Il caso p = 2[modifica | modifica wikitesto]

Lo spazio di Sobolev con p = 2 ha un ruolo importante per i suoi collegamenti con le serie di Fourier, e per il fatto di essere uno spazio di Hilbert. Per questo caso particolare viene adottata una notazione specifica:[2]

\,H^k = W^{k,2}

Lo spazio H^k può essere definito in modo naturale a partire dalle serie di Fourier i cui coefficienti decadono con sufficiente rapidità, cioè:

H^k({\mathbb T}) = \Big\{ f\in L^2({\mathbb T}):\sum_{n=-\infty}^\infty (1+n^2 + \dotsb + n^{2k}) |\widehat{f}(n)|^2 < \infty\Big\}

dove \widehat{f} denota la trasformata di Fourier di f. Anche in questo caso è possibile utilizzare una norma equivalente:

\|f\|^2=\sum_{n=-\infty}^\infty (1 + n^2)^k |\widehat{f}(n)|^2

Entrambe le rappresentazioni seguono facilmente dall'identità di Parseval e dalla nota proprietà per cui derivare n volte significa moltiplicare il coefficiente di Fourier per \mathrm{i}n.

Inoltre, lo spazio H^k ammette un prodotto interno, come accade allo spazio H^0=L^2. In effetti il prodotto interno in H^k viene definito in termini del prodotto scalare di L^2:

\langle u,v\rangle_{H^k}=\sum_{i=0}^k\langle D^i u,D^i v\rangle_{L_2}

Con questo prodotto scalare H^k diventa uno spazio di Hilbert.

Altri esempi[modifica | modifica wikitesto]

Alcuni spazi di Sobolev possono essere interpretati in maniera più semplice: W^{1,1}(0,1) è lo spazio delle funzioni assolutamente continue su (0,1), mentre W^{1,\infty}(I) è lo spazio delle funzioni lipschitziane su I per ogni intervallo I.

Tutti gli spazi W^{k,\infty} sono algebre normate, in quanto il prodotto di due funzioni in questi spazi di Sobolev appartiene ancora allo stesso spazio di Sobolev. Questa proprietà non vale per p < \infty (ad esempio, funzioni che in un intorno dell'origine si comportano come |x|^{- 1 / 3 } appartengono a L^2, ma il loro prodotto non appartiene a L^2).

Operatori di estensione[modifica | modifica wikitesto]

Se X è un dominio aperto il cui contorno soddisfa certe condizioni (ad esempio, se il contorno è una varietà o soddisfa la "condizione del cono") allora esiste un operatore A che mappa funzioni di X in funzioni di \R^n tali che:

  • Au(x) = u(x) per quasi ogni x \in X
  • A è continuo da W^{k,p}(X) a W^{k,p}({\mathbb R}^n), per ogni 1 \le p \le \infty e intero k.[3]

Allora si chiama tale operatore A un operatore di estensione per X.

Gli operatori di estensione sono il modo più naturale per definire H^s(X) per un s non intero (non si può lavorare direttamente su X poiché considerare la trasformata di Fourier è un'operazione globale). Si definisce H^s(X) con la condizione che u appartiene a H^s(X) se e solo se Au appartiene a H^s(\mathbb R^n). In maniera equivalente, anche l'interpolazione complessa porta agli stessi spazi H^s(X) se X ammette un operatore di estensione. Se X non ammette un operatore di estensione, l'unico modo per ottenere gli spazi H^s(X) è tramite l'interpolazione complessa.

Spazi con k non intero[modifica | modifica wikitesto]

Per chiarezza, quando l'esponente chiamato k non sarà intero, verrà indicato con s, ovvero W^{s,p} o H^s.

Il caso p = 2[modifica | modifica wikitesto]

Il caso p=2 è il più semplice, dal momento che la descrizione di Fourier è facile da generalizzare. Si definisce la norma:

||f||^2_{2,s} := \sum (1+n^2)^s|\widehat{f}(n)|^2

e lo spazio di Sobolev H^s come lo spazio di tutte le funzioni di cui questa norma è finita.

Differenziazione di ordine frazionario[modifica | modifica wikitesto]

Un approccio simile si può utilizzare quando p è diverso da 2. In questo caso non vale più il teorema di Parseval, ma dal momento che nel dominio della trasformata la differenziazione corrisponde ancora alla moltiplicazione, essa può quindi essere generalizzata per ordini non interi. Si definisce così un operatore di ordine frazionario s come:

F^{s}(f) := \sum_{n=-\infty}^\infty (in)^s \widehat{f}(n)e^{int}

In altre parole, prendendo la trasformata di Fourier, moltiplicando per (in)^s e poi prendendo l'inversa della trasformata di Fourier, si può definire la norma di Sobolev di s, p come:

\|f\|_{s,p} := \|f\|_{p}+\|F^s(f)\|_p

e, come nei casi precedenti, lo spazio di Sobolev è lo spazio delle funzioni che ammettono questa norma finita.

Spazi di Sobolev-Slobodeckij[modifica | modifica wikitesto]

Un altro approccio utilizzato per definire spazi di Sobolev di ordine frazionario deriva dall'idea di generalizzare la condizione di Hölder allo spazio Lp. Per un aperto \Omega \subset \R^n si definisce la seminorma (di Slobodeckij):

 [f]_{\theta, p, \Omega} :=\left(\int_{\Omega} \int_{\Omega} \frac{|f(x)-f(y)|^p}{|x-y|^{\theta p + n}} \; dx \; dy\right)^{\frac{1}{p}} \qquad \theta \in (0,1) \quad 1 \le p < \infty

dove f \in L^p (\Omega). Preso un s>0 non intero, sia \theta = s - \lfloor s \rfloor \in (0,1).

In modo simile alla definizione degli spazi di Hölder, uno spazio di Sobolev-Slobodeckij W^{s,p}(\Omega) è dato da:

 W^{s,p}(\Omega) := \left\{f \in W^{\lfloor s \rfloor, p}(\Omega) : \sup_{|\alpha| = \lfloor s \rfloor} [D^\alpha f]_{\theta, p, \Omega} < \infty \right\}

In letteratura uno spazio frazionario di questo tipo viene anche chiamato spazio di Aronszajn, spazio di Gagliardo o spazio di Slobodeckij.

Si tratta di uno spazio di Banach per la norma:

 \|f \| _{W^{s, p}(\Omega)} := \|f\|_{W^{\lfloor s \rfloor,p}(\Omega)} + \sup_{|\alpha| = \lfloor s \rfloor} [D^\alpha f]_{\theta, p, \Omega}

Se \Omega è sufficientemente "regolare" da garantire l'esistenza di opportuni operatori di estensione, allora si hanno le immersioni continue:

 W^{k+1,p}(\Omega) \hookrightarrow W^{s',p}(\Omega) \hookrightarrow W^{s,p}(\Omega) \hookrightarrow W^{k, p}(\Omega) \qquad k \leq s \leq s' \leq k+1

Vi sono esempi di \Omega tali per cui W^{1,p}(\Omega) non è più un sottospazio di W^{s,p}(\Omega).

Da un punto di vista più astratto, gli spazi di Sobolev W^{s,p}(\Omega) coincidono con gli spazi di interpolazione reali di spazi di Sobolev.

Gli spazi di Sobolev-Slobodeckij sono casi speciali di spazi di Besov.

Interpolazione complessa[modifica | modifica wikitesto]

Per ogni 0 \le t \le 1, e per ogni coppia X e Y di spazi di Banach inclusi con continuità in uno spazio di Banach più ampio, si può infatti definire uno spazio di Banach "intermedio" che si indica con [X,Y]_t. Gli spazi X e Y sono detti coppia di interpolazione, e valgono i seguenti risultati:

  • Il teorema re-interpolazione:
[[X,Y]_a , [X,Y]_b]_c=[X,Y]_{cb+(1-c)a}
  • Il teorema di interpolazione di operatori, che afferma che se \{X,Y \} e \{A,B \} sono una coppia di interpolazione e se T è una mappa non lineare definita da X+Y a A+B tale che T sia continua da X ad A e da Y a B allora T è continua da [X,Y]_t a [A,B]_t e vale la seguente disuguaglianza:
||T||_{[X,Y]_t \to [A,B]_t}\leq C||T||_{X\to A}^{1-t}||T||_{Y\to B}^t
\left[W^{0,p},W^{m,p}\right]_t=W^{n,p}
L'interpolazione complessa è una tecnica efficace per ottenere spazi continui W^{s,p} compresi fra W^{k,p}. Inoltre, genera gli stessi spazi della differenziazione di ordine frazionario.

Dimensioni multiple[modifica | modifica wikitesto]

Si considerano nel seguito gli spazi di Sobolev in \R^n e sui sottoinsiemi di \R^n. Mentre il passaggio dalla circonferenza alla linea coinvolge soltanto cambiamenti tecnici nelle formule di Fourier (principalmente un cambiamento delle serie di Fourier e delle trasformate), il passaggio a dimensioni multiple presenta maggiori difficoltà, a partire dalla definizione. La richiesta che f^{k-1} sia l'integrale di f^k, infatti, non si può generalizzare, e la via più semplice è quella di considerare derivate nel senso della teoria delle distribuzioni.

Sia D un sottoinsieme aperto di \R^n, sia k un numero naturale e sia 1 \le p \le \infty. Lo spazio di Sobolev W^{k,p}(D) è definito come l'insieme di tutte le funzioni f definite su D tali che per ogni multiindice \alpha, con |\alpha| \le k, la derivata parziale mista:

f^{(\alpha)} = \frac{\partial^{| \alpha |} f}{\partial x_{1}^{\alpha_{1}} \dots \partial x_{n}^{\alpha_{n}}}

è integrabile sia localmente che in L^p(D), cioè:

\|f^{(\alpha)}\|_{L^{p}} < \infty

Ci sono diverse scelte per la norma di W^{k,p}(D). Le due presentate nel seguito sono fra le più comuni e sono equivalenti nel senso di equivalenza delle norme:

\| f \|_{W^{k, p}} = \begin{cases} \left( \sum_{| \alpha | \leq k} \| f^{(\alpha)} \|_{L^{p}}^{p} \right)^{1/p} & 1 \leq p < + \infty \\ \sum_{| \alpha | \leq k} \| f^{(\alpha)} \|_{L^{\infty}} & p = + \infty \end{cases}

e:

\| f \|'_{W^{k, p}} = \begin{cases} \sum_{| \alpha | \leq k} \| f^{(\alpha)} \|_{L^{p}} & 1 \leq p < + \infty \\ \sum_{| \alpha | \leq k} \| f^{(\alpha)} \|_{L^{\infty}} & p = + \infty \end{cases}

Lo spazio W^{k,p}(D) dotato di ciascuna delle due è uno spazio di Banach. Nel caso in cui p sia finito, W^{k,p}(D) è anche uno spazio separabile. Come notato precedentemente, è convenzione indicare W^{k,2}(D) con H^k(D).

Gli spazi di Sobolev di ordine frazionario H^s(\R^n), con s \ge 0, possono essere definiti per mezzo della trasformata di Fourier come fatto in precedenza:

H^{s} (\mathbb{R}^{n}) = \left\{ f \colon \mathbb{R}^{n} \to \mathbb{R} \left| \| f \|_{H^{s}}^{2} = \int_{\mathbb{R}^{n}} \big( 1 + | \xi |^{2} \big)^s \big| \hat{f} (\xi) \big|^{2} \, \mathrm{d} \xi < + \infty \right. \right\}

Tuttavia, se D è un dominio non periodico come \R^n o il toro T^n, questa definizione non è sufficiente, dato che la trasformata di Fourier di una funzione definita in un dominio aperiodico è difficile da definire. Fortunatamente esiste una caratterizzazione intrinseca degli spazi di Sobolev (di ordine frazionario) che è essenzialmente l'analogo in L^2 della continuità di Holder. Un prodotto interno equivalente per H^s(D) è dato da:

(f, g)_{H^{s} (D)} = (f, g)_{H^{k} (D)} + \sum_{| \alpha | = k} \int_{D} \int_{D} \frac{\big( f^{(\alpha)} (x) - f^{(\alpha)} (y) \big) \big( g^{(\alpha)} (x) - g^{(\alpha)} (y) \big)}{| x - y |^{n + 2 t}} \, \mathrm{d} x \mathrm{d} y

dove s=k+t, con k un intero e 0 < t < 1. Si noti che la dimensione n del dominio appare in questa formula per il prodotto interno.

Esempi[modifica | modifica wikitesto]

In dimensioni più elevate non vale più il fatto che, ad esempio, W^{1,1} contiene solo funzioni continue. Infatti, si consideri 1/|x| che appartiene a W^{1,1}(B^3), dove B^3 è la palla di raggio unitario in tre dimensioni. Per k sufficientemente grande W^{k,p}(D) contiene solo funzioni continue, ma per quale k questo sia già vero dipende sia da p che dalla dimensione. Per esempio, come si può facilmente verificare usando le coordinate sferiche polari, la funzione f : B^n \to \R \cup \{ + \infty \} definita sulla palla n-dimensionale e data da:

f(x) = \frac1{| x |^{\alpha}}

appartiene a W^{1,1}(B^n) se e solo se:

\alpha < \frac{n}{p} - k

Immersione di Sobolev[modifica | modifica wikitesto]

Exquisite-kfind.png Per approfondire, vedi Disuguaglianza di Sobolev.

Sia W^{k,p} lo spazio di Sobolev di una varietà compatta di Riemann di dimensione n, in cui k può essere un numero reale qualsiasi e 1 \le p \le \infty (per p=\infty lo spazio di Sobolev W^{k,\infty} è definito come lo spazio di Holder C^{n,\alpha}, dove k=n+\alpha e 0 \le \alpha \le 1.). Il teorema di immersione di Sobolev afferma che se k \ge l e k - n / p \ge l - n / q allora:

W^{k,p}\subseteq W^{l,q}

e l'inclusione è continua. Inoltre se k > 1 e k - n / p > l - n / q allora l'inclusione è completamente continua. Questa proprietà è nota come teorema di Kondrakov.

Funzioni in W^{l,\infty} hanno tutte le derivate di ordine minore di l continue, quindi questo determina delle condizioni particolari negli spazi di Sobolev in cui le derivate sono continue. In maniera non formale si può dire che con queste immersioni si può convertire una stima in L^p con una sulla limitatezza e ciò "costa" 1/p derivata per ogni dimensione.

Tracce[modifica | modifica wikitesto]

Sia s > 1/2. Se x è un insieme aperto tale che il suo contorno G è "sufficientemente regolare", allora si può definire la funzione traccia (cioè la restrizione) P come:

Pu=u|_G

cioè u ristretta a G. La funzione traccia P così definita ha dominio H^s(X) e codominio H^{s-1/2}(G). Per essere più precisi, P è prima definita per funzioni infinitamente differenziabili e poi viene estesa con continuità a H^s(X). Si noti che in questo passaggio si perde metà derivata.

Identificare il codominio della funzione traccia per W^{s,p} è molto più difficile, e richiede le tecniche dell'interpolazione reale. Gli spazi che ne derivano sono gli spazi di Besov. Nel caso degli spazi W^{s,p} non si perde mezza derivata, ma 1/p.

Note[modifica | modifica wikitesto]

  1. ^ H. Brezis, Pag. 192
  2. ^ H. Brezis, Pag. 210
  3. ^ H. Brezis, Pag. 250

Bibliografia[modifica | modifica wikitesto]

  • (EN) R.A. Adams, J.J.F. Fournier, 2003. Sobolev Spaces. Academic Press.
  • (EN) L.C. Evans, 1998. Partial Differential Equations. American Mathematical Society.
  • S. Salsa, Equazioni a derivate parziali, Springer-Verlag Italia, Milano, 2004. ISBN 88-470-0259-1
  • Haïm Brezis, Analisi funzionale - Teoria e applicazioni, Napoli, Liguori, 1990, ISBN 88-207-1501-5.

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di Matematica