主題
Search

索伯列夫空間


對於 d>=1, OmegaR^d 的開子集, p in [1;+infty]s in N, 索伯列夫空間 W^(s,p)(R^d) 定義為

 W^(s,p)(Omega)={f in L^p(Omega): forall |alpha|<=s,partial_x^alphaf in L^p(Omega)},
(1)

其中 alpha=(alpha_1,...,alpha_d), |alpha|=alpha_1+...+alpha_d, 並且導數 partial_x^alphaf=partial_(x_1)^(alpha_1)...partial_(x_d)^(alpha_d)f 是在弱意義下取的。

當賦予 範數

 ||f||_(s,p,Omega)=sum_(|alpha|<=s)||partial_x^alphaf||_(L^p(Omega)),
(2)

W^(s,p)(Omega) 時,它是一個 巴拿赫空間

在特殊情況 p=2 下,W^(s,2)(Omega) 記為 H^s(Omega)。對於 內積,這個空間是一個 希爾伯特空間

 <f,g>_(s,Omega)=sum_(|alpha|<=s)<partial_x^alphaf,partial_x^alphag>_(L^2(Omega))=sum_(|alpha|<=s)int_Omegapartial_x^alphafpartial_x^alphag^_dmu.
(3)

索伯列夫空間在偏微分方程理論中起著重要作用。


另請參閱

巴拿赫空間, 希爾伯特空間, L-p空間, 偏微分方程

此條目由 Filipe Oliveira 貢獻

使用 探索

參考文獻

Mazja, V. Sobolev Spaces. 紐約:Springer-Verlag,1985年。

在 中引用

索伯列夫空間

請引用為

Oliveira, Filipe. "索伯列夫空間。" 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/SobolevSpace.html

主題分類