Prostor Soboljeva

Prostor Soboljeva je v matematični analizi normiran vektorski prostor. Norma je podana kot linearna kombinacija $L^{p}$ norm šibkih odvodov. Posledično je prostor Banachov. Izbrana norma omogoča preverjanje tako regularnosti kot velikosti funkciji na prostoru. Največkrat se prostori Soboljeva uporabljajo v analizi parcialnih diferencialnih enačb in Fourierevi analizi. Uporabljajo se predvsem zato, ker se pogosto zgodi, da so rešitev parcialnih diferencialnih enačb šibke, torej niso povsem zvezne, in posledično del prostorov Soboljeva. Pojavljajo se pa tudi v harmonični, funkcionalni in numerični analizi.

Prostor je kot prvi uvedel ruski matematik Sergej Soboljev.

Motivacija

Denimo, da je odvod funkcije $u$ na domeni $\Omega$ samo šibek (močne oblike nima). Za odvod velja, da ni povsem zvezen, zato funkcija ni del $C^{1}(\Omega )$. O odvodu funkcije še vedno lahko govorimo v smislu distribucije oz. v šibkem smislu. Naj bo funkcija $h\in L_{loc}^{1}(\Omega )$ šibek odvod funkcije $u$. Za šibek odvod velja sledeče$$\int _{\Omega }u\phi 'dx=u\phi |_{\partial \Omega }+\int _{\Omega }h\phi dx\qquad \forall \phi \in C_{0}^{\infty }(\Omega )$$Funkciji $\phi$ pravimo testna funkcija, izbrana je tako, da je $\phi =0$ na $\partial \Omega$ (torej podpora je kompaktna), zato se zgornji izraz poenostavi v$$\int _{\Omega }u\phi 'dx=\int _{\Omega }h\phi dx\qquad$$Posledično je naša funkcija $h$ enolično definirana in predstavlja šibek odvod, ki mora biti le integrabilen in merljiv. Sledeče lahko generaliziramo na poljuben $\alpha$-ti šibek odvod $v\in L_{loc}^{1}(\Omega )$,$$\int _{\Omega }D^{\alpha }\phi udx=(-1)^{|\alpha |}\int _{\Omega }\phi vdx$$Naš šibek odvod mora biti lokalno integrabilen, zato ker mora biti integrabilen le na kompaktni podpori $\phi$.

Formalna definicija

Prostor Soboljeva $W^{k,p}(\Omega )$ je prostor funkciji, ki imajo $k$ šibkih odvodov ($1\leq p\leq \infty$). Potemtakem je to prostor funkciji, katerih šibki odvodi imajo kočno $L^{p}$ normo$$||{\tilde {D}}^{\alpha }u||_{L^{p}(\Omega )}<\infty \quad \forall \alpha \leq k,$$kjer $\alpha$ predstavlja multi indeks oz. vse možne n-terice za tvorjenje odvoda$$D^{\alpha }f={\frac {\partial ^{|\alpha |}f}{\partial x_{1}^{\alpha _{1}}\partial x_{2}^{\alpha _{2}}...\partial x_{n}^{\alpha _{n}}}}$$Če povedano zapišemo v obliki množice, dobimo$$W^{k,p}(\Omega )=\{u\in L^{p}(\Omega ):D^{\alpha }u\in L^{p}(\Omega ),\forall |\alpha |\leq k\}.$$Obstaja več načinov za definicijo norme tovrstnega prostora, vendar se pogosto odločimo za sledečo$$||\cdot ||_{W^{k,p}(\Omega )}={\begin{cases}\left(\sum _{k\leq |\alpha |}||D^{\alpha }u||_{L^{p}(\Omega )}^{p}\right)^{\frac {1}{p}}\quad &\forall p<\infty \\\left(\sum _{k\leq |\alpha |}||D^{\alpha }u||_{L^{\infty }(\Omega )}\right)\quad &p=\infty \end{cases}}$$Ob izbiri norme postane prostor Banachov, za $p<\infty$ je tudi seperabilen. Za $p=2$ je prostor Hilbertov, označimo ga z $H^{k}(\Omega )$ ali $H_{0}^{k}(\Omega )$, če imajo funkcije kompaktno podporo. Tak Hilbertov prostor je opremljen z normo $||\cdot ||_{W^{k,2}(\Omega )}$, ki je pogosto tudi standardna norma Hilbertovih prostorov.