Không gian Sobolev

Trong toán học, không gian Sobolev là một không gian vectơ của các hàm số trang bị với một chuẩn là tổng của chuẩn Lp của hàm số đó cùng với các đạo hàm cho tới một bậc nào đó. Các đạo hàm được hiểu theo một nghĩa yếu thích hợp để làm không gian trở thành đầy đủ, và do vậy là một không gian Banach. Nó được đặt theo tên của Sergei L. Sobolev. Sự quan trong của các không gian Sobolev nằm ở sự kiện là nghiệm của các phương trình vi phân thường nằm trong các không gian Sobolev hơn là các không gian thông thường của các hàm số liên tục với các đạo hàm được hiểu theo nghĩa thông thường.

Giới thiệu

Có nhiều tiêu chuẩn để định nghĩa độ trơn của hàm số. Tiểu chuẩn cơ bản nhất có lẽ là tính liên tục. Một khái niệm mạnh hơn của độ trơn là tính khả vi (bởi vì hàm số khả vi thì cũng liên tục) và một khái niệm còn mạnh hơn độ trơn là sự liên tục của đạo hàm của hàm số (những hàm số này được gọi là C^1 — xem hàm trơn). Hàm số khả vi đóng vai trò quan trọng trong nhiều lãnh vực, và đặc biệt trong các phương trình vi phân. Vào thế kỷ XX, người ta thấy rằng không gian C^1 (hay C^2, v.v.) không phải là không gian đúng để nghiên cứu phương trình vi phân.

Các không gian Sobolev là sự thay thế của toán học hiện đại cho các không gian cổ điển đó khi đi tìm nghiệm của các phương trình vi phân.

Không gian Sobolev trên hình tròn đơn vị

Trong trường hợp này không gian Sobolev W^{k,p} được định nghĩa là một tập con của Lp sao cho f và các đạo hàm yếu của nó tới bậc k nào đó có chuẩn Lp hữu hạn, với p ≥ 1 cho trước. Phải cẩn thận để định nghĩa đạo hàm một cách chặt chẽ. Trong bài toán 1 chiều đủ để giả sử rằng f^{(k-1)} là khả vi hầu như mọi nơi và bằng nhau hầu như khắp nơi với tích phân Lebesgue của đạo hàm của nó (điều này sẽ giúp loại bỏ các ví dụ như hàm số Cantor mà nó không liên quan gì đến định nghĩa mà chúng ta đang cố tiến tới).

Với định nghĩa này, không gian Sobolev có dạng một không gian vectơ định chuẩn tự nhiên sau đây,

:\|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} trang bị với chuẩn \|\cdot\|_{k,p} là một không gian Banach. Chỉ cần lấy phần đầu và phần cuối của tổng này, nghĩa là chuẩn được định nghĩa bằng

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

cũng tương đương với chuẩn định trên.

===Trường hợp p = 2===

Các không gian Sobolev với p = 2 là đặc biệt quan trọng bởi sự liên quan của chúng với chuỗi Fourier và bởi vì chúng tạo thành một không gian Hilbert. Một ký hiệu đặc biệt được dùng cho trường hợp này:
:\,H^k = W^{k,2}.

Không gian H^k có thể được định nghĩa một cách tự nhiên theo chuỗi Fourier, với cách sau,

: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

với \widehat{f}(n) là hệ số trong khai triển thành chuỗi Fourier của f. Tương tự như trên, chúng ta có thể sử dụng chuẩn tương đương

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

Cả hai cách thể hiện này suy theo định lý Parseval và đạo hàm tương đương với phép nhân hệ số Fourier với in.

Thêm vào đó, không gian H'k có một tích vô hướng, giống như là H0 = L2. Thật ra, tích vô hướng trong H'k được định nghĩa theo tích vô hướng L2 sau đây:

:\langle u,v\rangle_{H^k}=\sum_{i=0}^k\langle D^i u,D^i v\rangle_{L_2}.
Không gian H'k trở thành một không gian Hilbert với tích vô hướng đó.

Các ví dụ khác

Some other Sobolev spaces permit a simpler description. For example, W^{1,1}(0,1) is the space of absolutely continuous functions on (0,1), while W1,∞(I) is the space of Lipschitz functions on I, for every interval I.
All spaces Wk,∞ are (normed) algebras, i.e. the product of two elements is once again a function of this Sobolev space, which is not the case for p &lt; ∞. (E.g., functions behaving like |x|−1/3 at the origin are in L2, but the product of two such functions is not in L2).

Không gian Sobolev với k không phải là số tự nhiên k

Để tránh nhầm lẫn, khi nói về k không phải là số tự nhiên người ta thường ký hiệu bằng s, i.e. W^{s,p} hay là H^s.

=== Trường hợp p = 2 ===

Trường hợp p = 2 là trường hợp đơn giản nhất, chúng ta định nghĩa chuẩn sau

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

và không gian Sobolev H^s là không gian chứa các hàm số mà chuẩn này hữu hạn.

Đạo hàm bậc phân số

Một cách tương tự có thể được sử dụng nếu p khác 2. Trong trường hợp này định lý Parseval không còn đúng nữa, nhưng phép lấy đạo hàm vẫn tương ứng với phép nhân trong miền Fourier và có thể tổng quát hóa lên các bậc không phải là số tự nhiên. Do đó ta định nghĩa một toán tử của đạo hàm bậc phân số bậc s bởi

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

hay nói một cách khác, lấy biến đổi Fourier, nhân với (in)^s rồi lấy biến đổi Fourier nghịch (các toán tử được định nghĩa theo Fourier-nhân-nghịch Fourier được gọi là các toán tử nhân và là đề tài nghiên cứu riêng). Điều này cho phép chúng ta định nghĩa chuẩn Sobolev s,p bởi

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

và, như lệ thường, không gian Sobolev là không gian các hàm số mà chuẩn này là hữu hạn.

Nội suy phức

Một cách khác để đạt được các "không gian Sobolev bậc phân số" được đưa ra bởi nội suy phức(complex interpolation). Nội suy phức là một kỹ thuật tổng quát: với 0 ≤ t ≤ 1 và X và Y là hai không gian Banach được nhúng liên tục vào một không gian Banach lớn hơn nào đó chúng ta có thể tạo "không gian trung gian" ký hiệu là [X,Y]t.
Không gian X và Y như vậy được gọi là một cặp nội suy.

Chúng ta có một số định lý hữu dụng về nội suy phức:

Định lý (reinterpolation): [ [X,Y]a, [X,Y]b ]c = [X,Y]cb+(1-c)a.

Theorem (interpolation of operators): if {X,Y} and {A,B} are interpolation pairs, and if T là một linear map defined on X+Y into A+B so that T is continuous from X to A and from Y to B then T is continuous from [X,Y]t to [A,B]t. and we have the interpolation inequality:

||T||_{[X,Y]_t \to [A,B]_t}\leq C||T||_{X\to A}^{1-t}||T||_{Y\to B}^t.

Returning to Sobolev spaces, we want to get W^{s,p} for non-integer s by interpolating between W^{k,p}-s. The first thing is of course to see that this gives consistent results, and indeed we have

Theorem: \left[W^{0,p},W^{m,p}\right]_t=W^{n,p} if n is an integer such that n=tm.

Hence, complex interpolation is a consistent way to get a continuum of spaces W^{s,p} between the W^{k,p}. Further, it gives the same spaces as fractional order differentiation does (but see extension operators below for a twist).

Không gian nhiều chiều

Bây giờ chúng ta xét đến các không gian Sobolev trong Rn và các tập con của Rn. Việc thay đổi từ hình tròn sang đường thẳng chỉ làm thay đổi chuỗi Fourier thành biến đổi Fourier và tổng thành tích phân. Việc tổng quát lên không gian nhiều chiều cần thêm định nghĩa về đạo hàm theo lý thuyết phân bố.

Giả sử D là một tập mở trong không gian Rn. Chúng ta định nghĩa không gian Sobolev

:\,W^{k,p}(D)

như là tập của các hàm số f định nghĩa trên D sao cho mọi đa chỉ số (multi-index) \alpha với

:|\alpha|\leq k

chúng ta có f^{(\alpha)} là một hàm số và

:||f^{(\alpha)}||_p

Chuẩn là tổng của các chuẩn Lp trên các đa chỉ số α như vậy. Nó là đầy đủ, và do đó là một không gian Banach.

Thức ra thì cách tiếp cận này cũng đúng với trường hợp không gian 1 chiều, và không khác lắm với các định nghĩa trên.

Các ví dụ

In multiple dimensions, it is no longer true that, for example, W^{1,1} contains only continuous functions. For example, 1/|x| belong to W^{1,1}(B^3) where B^3 is the unit ball in three dimensions. It is true that for k sufficiently large, W^{k,p}(D) will contain only continuous functions, but for which k this is already true depends both on p and on the dimension.

However, the descriptions of W1,∞ and W^{k,2} above hold, mutatis mutandis.

Định lý nhúng Sobolev
:xem thêm bất đẳng thức Sobolev.
The Sobolev space W^{k,p}(\mathbb{R}^n) is a subset of L^p(\mathbb{R}^n) by definition. A natural question to ask is: are there other Lp spaces which contain W^{k,p}(\mathbb{R}^n)? The following answer admits a simple representation (cf.):

Theorem: Let k,n\in\mathbb{Z}_{>0} and 1\leq p\leq\infty. Then the following statements hold:
if \frac{1}{p}>\frac{k}{n} then W^{k,p}(\mathbb{R}^n)\subseteq L^{\frac{1}{\frac{1}{p}-\frac{k}{n}}}(\mathbb{R}^n) as sets. Moreover, the inclusion is a bounded operator.
if \frac{1}{p}=\frac{k}{n} then all functions f\in W^{k,p}(\mathbb{R}^n) with compact support are elements of L^q(\mathbb{R}^n) for any q.

Traces
:Main article Trace operator.

Let s > ½. If X is an open set such that its boundary G is "sufficiently smooth", then we may define the trace (that is, restriction) map P by

:Pu=u|_G,

i.e. u restricted to G. A sample smoothness condition is uniformly C^m, m ≥ s. (NB There is no connection here to trace of a matrix.)

This trace map P as defined has domain H^s(X), and its image is precisely H^{s-1/2}(G). To be completely formal, P is first defined for infinitely differentiable functions and is extended by continuity to H^s(X). Note that we 'lose half a derivative' in taking this trace.

Identifying the image of the trace map for W^{s,p} is considerably more difficult and demands the tool of real interpolation, which we shall not go into. The resulting spaces are the Besov spaces. It turns out that in the case of the W^{s,p} spaces, we don't lose half a derivative; rather, we lose 1/p of a derivative.

Các toán tử mở rộng

If X is an open domain whose boundary is not too poorly behaved (e.g., if its boundary is a manifold, or satisfies the more permissive but more obscure "cone condition") then there is an operator A mapping functions of X to functions of Rn such that:

Au(x) = u(x) for almost every x in X and
A is continuous from W^{k,p}(X) to W^{k,p}({\mathbb R}^n), for any 1 ≤ p ≤ ∞ and integer k.

We will call such an operator A an extension operator for X.

Extension operators are the most natural way to define H^s(X) for non-integer s (we cannot work directly on X since taking Fourier transform is a global operation). We define H^s(X) by saying that u is in H^s(X) if and only if Au is in H^s(\mathbb R^n). Equivalently, complex interpolation yields the same H^s(X) spaces so long as X has an extension operator. If X does not have an extension operator, complex interpolation is the only way to obtain the H^s(X) spaces.

As a result, the interpolation inequality still holds.

Mở rộng bởi zero

We define H^s_0(X) to be the closure in H^s(X) of the space C^\infty_c(X) of infinitely differentiable compactly supported functions. Given the definition of a trace, above, we may state the following

Theorem: Let X be uniformly Cm regular, m ≥ s and let P be the linear map sending u in H^s(X) to

:\left.\left(u,\frac{du}{dn},...,\frac{d^k u}{dn^k}\right)\right|_G

where d/dn is the derivative normal to G, and k is the largest integer less than s. Then H^s_0 is precisely the kernel of P.

If u\in H^s_0(X) we may define its extension by zero \tilde u \in L^2({\mathbb R}^n) in the natural way, namely

:\tilde u(x)=u(x) \; \textrm{ if } \; x \in X, 0 \; \textrm{ otherwise.}

Theorem: Let s>&frac12;. The map taking u to \tilde u is continuous into H^s({\mathbb R}^n) if and only if s is not of the form n+&frac12; for n an integer.

Xem thêm
Không gian Hilbert
Không gian Besov

Tham khảo