Espai de Sóbolev

En anàlisi matemàtica, els espais de Sóbolev són espais funcionals particularment adaptats a la resolució dels problemes d'equacions en derivades parcials. Deuen el seu nom al matemàtic soviètic Serguei Sóbolev.

Més precisament, un espai de Sóbolev és un espai vectorial de funcions proveït de la norma obtinguda per la combinació de la norma L^p de la mateixa funció i de les seves derivades fins a un cert ordre. Les derivades són enteses en el seu sentit feble per tal de fer l'espai complet. Els espais de Sóbolev són, doncs, espais de Banach.

De forma intuïtiva, un espai de Sóbolev és un espai de Banach de funcions que poden ser derivades un nombre suficient de vegades, per donar sentit per exemple a una equació de derivades parcials i que disposa d'una norma que mesura, alhora, la mida i la regularitat de la funció.

Els espais de Sóbolev són un instrument essencial en l'estudi d'equacions en derivades parcials. De fet, les solucions d'aquestes equacions pertanyen més naturalment a un espai de Sóbolev que a un espai de funcions contínues parcialment derivables en el sentit clàssic.

Introducció

Existeixen diversos criteris per avaluar la regularitat d'una funció. El criteri més elemental és el de la continuïtat. Una noció més forta de regularitat és la diferenciabilitat. De fet, les funcions diferencials són igualment contínues. Finalment, un criteri encara més fort de regularitat és la continuïtat de les derivades parcials (tals funcions són anomenades de Classe ¹). Les funcions diferenciables són importants en molts contextos, en particular en les equacions diferencials (en el cas que depenguin d'una sola variable) o en les equacions en derivades parcials (en el cas de càlcul multi-variable). Tanmateix, en el decurs del Plantilla:Segle, els matemàtics es van adonar que l'espai C¹ (C² en el cas de continuïtat de la segona derivada, etc) no era el marc adequat per estudiar les solucions de les equacions en derivades parcials. Els espais de Sóbolev es presenten com l'eina moderna que proporciona el marc adequat per a la recerca de solucions a equacions en derivades parcials.

Definició dels espais de Sóbolev

Definicions

Sigui Ω un conjunt obert qualsevol de ${ℝ}^n$, $p\in [1,+\mathrm{\infty }]$ i $m$ un nombre natural. Es defineix l'expai de Sóbolev $W^{m,p}(\mathrm{\Omega })$ com

$W^{m,p}(\mathrm{\Omega })=\{u\in {\mathrm{L}}^p(\mathrm{\Omega })|\mathrm{\forall }\alpha \text{ tal que }|\alpha |\le m,D^{\alpha }u\in {\mathrm{L}}^p(\mathrm{\Omega })\}$

on $\alpha$ és un multi-índex, $D^{\alpha }u$ és una derivada parcial de $u$ en el sentit feble (en el sentit de les distribucions) i $L^p$ designa un espai de Lebesgue.

Es proporciona aquest espai vectorial $W^{m,p}$ de la norma següent:

$\Vert u{\Vert }_{W^{m,p}}=\{\begin{array}{cc}{(\sum _{|\alpha |\le m}\Vert D^{\alpha }u{\Vert }_{{\mathrm{L}}^p}^p)}^{1/p}& \text{si }1\le p<+\mathrm{\infty },\\ \max {\mathrm{\backslash limits}}_{|\alpha |\le m}\Vert D^{\alpha }u{\Vert }_{{\mathrm{L}}^{\mathrm{\infty }}}& \text{si }p=+\mathrm{\infty },\end{array}$

on $\Vert {\Vert }_{L^p}$ és la norma dels espais de Lebesgue.

Definició equivalent si Plantilla:Math és finit

En el cas en què $p$ és un nombre real, el teorema de Meyers-Serrin dona una definició equivalent, per completesa de l'espai vectorial normat

$\{u\in C^{\mathrm{\infty }}(\mathrm{\Omega })|\Vert u{\Vert }_{H^{m,p}}<\mathrm{\infty }\}$

amb

$\Vert u{\Vert }_{H^{m,p}}:={(\sum _{|\alpha |\le m}\Vert D^{\alpha }u{\Vert }_{{\mathrm{L}}^p}^p)}^{1/p}$

on $D^{\alpha }u$ és una derivada parcial de $u$ em eñ sentit clàssic ($u\in C^{\mathrm{\infty }}(\mathrm{\Omega })$).

Es té el mateix resultat que substituint $C^{\mathrm{\infty }}$ per $C^m(\mathrm{\Omega })$.

Propietats elementals

• Proveït d'aquesta norma, $W^{m,p}(\mathrm{\Omega })$ és un espai de Banach.

Demostració: sigui $(u_n)$ una successió de Cauchy en $W^{m,p}(\mathrm{\Omega })$. Per cada $\alpha$ tal que $|\alpha |\le m$, la successió $D^{\alpha }{u}_n$ és doncs una successió de Cauchy en $L^p(\mathrm{\Omega })$ en tenir un límit $v_{\alpha }$ en $L^p(\mathrm{\Omega })$. Atesa la desigualtat de Hölder, $D^{\alpha }{u}_n$ també tendeix a $v_{\alpha }$ en el sentit de les distribucions -més precisament: en el sentit de la convergència puntual en l'espai de les funcions de test- si bé $v_{\alpha }=D^{\alpha }{v}_0$ (per cada $\alpha$), es demostra que $u_n\to v_0$ en $W^{m,p}(\mathrm{\Omega })$. Q.E.D.

• En el cas en què p és finit, es tracta a més d'un espai separable.

• És fàcil notar que l'aplicació

$u\mapsto \sum _{|\alpha |\le m}\Vert D^{\alpha }u{\Vert }_{{\mathrm{L}}^p}$

és una norma equivalent a la precedent (sigui p finit o no). Aquestes normes es denoten indistintament ║ ║${}_{w^{m.p}}$ o ║ ║${}_{m,p}$.

El cas p = 2

En el cas en què p = 2, els espais de Sóbolev tenen un interès particular ja que es tracta llavors d'espais de Hilbert. La seva norma és induïda pel producte interior següent:

${(u,v)}_m=\sum _{0\le |\alpha |\le m}(D^{\alpha }u,D^{\alpha }v),$

on $(u,v)=\underset{\mathrm{\Omega }}{\int }u(x)\overline{v(x)}\mathrm{d}x$ és el producte interior en $L^2(\mathrm{\Omega })$, el producte escalar en el cas real i l'hermític en el cas complex. En aquest cas, per designar l'espai de Sóbolev, s'utilitza una notació especial:

$H^m(\mathrm{\Omega })=W^{m,2}(\mathrm{\Omega }).$

A més, en el cas en què la transformada de Fourier pot ser definida en $L^p(\mathrm{\Omega })$, l'espai $H^m(\mathrm{\Omega })$ pot ser definit de manera natural a partir de la transformada de Fourier.

• Per exemple si $\mathrm{\Omega }={ℝ}^n$, gràcies a la identitat de Parseval, es verifica fàcilment que si $\hat{u}$ és la transformada de Fourier de u :

$H^m\left({ℝ}^n\right)=\{u\in {\mathrm{L}}^2\left({ℝ}^n\right)|\underset{{ℝ}^n}{\int }|\hat{u}(\xi )|\xi {|}^{\alpha }{|}^2\mathrm{d}\xi <\mathrm{\infty }\text{ pour }|\alpha |\le m\}$

o, el que és equivalent:

$H^m\left({ℝ}^n\right)=\{u\in {\mathrm{L}}^2\left({ℝ}^n\right)|\underset{{ℝ}^n}{\int }|\hat{u}(\xi ){|}^2{(1+|\xi {|}^2)}^m\mathrm{d}\xi <\mathrm{\infty }\}$

i que

${(u,v)}_m:=\underset{{ℝ}^n}{\int }\hat{u}\left(\xi \right)\overline{\hat{v}(\xi )}{(1+|\xi {|}^2)}^m\mathrm{d}\xi$

és un producte hermític equivalent al definit més amunt.

• O, finalment, si Ω = ]0, 1[, es verifica que:

$H^m(]0,1[)=\{u\in {\mathrm{L}}^2(]0,1[)|\sum _{n\in \mathbb{Z}}(1+n^2{)}^m|{\hat{u}}_n{|}^2<\mathrm{\infty }\}$

on ${\hat{u}}_n$ és la sèrie de Fourier de $u$

També aquí, el resultat es dedueix fàcilment de la identitat de Parseval i del fet que la derivació correspon a multiplicar els coeficients de Fourier per in. Es veu aquí que una funció de $H^m(\mathrm{\Omega })$ és caracteritzada per un decreixement suficientment ràpid dels coeficients en la sèrie de Fourier.