Đang tải... (xem toàn văn)
Một số vấn đề về không gian Sobolev
- 1 -Lời cảm tạThời gian thắm thoát thoi đưa, chớp mắt mà em đã hoàn thành bốn năm đại học. Nhớ ngày nào, đầu khóa học, ba còn đưa đến trường gặp thầy cô mới, bạn bè mới với bao bỡ ngỡ lo lắng. Vậy mà cuối cùng em cũng trải qua bốn năm học. Bốn năm học tập với biết bao khó khăn, vất vả, có những lúc vấp ngã em tưởng như mình không thể vượt qua. Nhưng mong muốn được làm luận văn khi tốt nghiệp đã thúc đẩy em phấn đấu nhiều trong học tập. Cuối cùng với kết quả đạt được trong các năm đầu, em được bộ môn phân công làm luận văn dưới sự hướng dẫn của thầy Phạm Gia Khánh. Được làm luận văn là một niềm vui, niềm vinh dự lớn đối với em. Nhưng bên cạnh đó cũng có không ít nỗi lo và gặp nhiều khó khăn, nào là khan hiếm tài liệu, thời gian hạn hẹp, mà kiến thức thì mới và tương đối khó… Nhưng với kiến thức mà em được thầy cô bộ môn trang bị trong các năm qua cùng với sự hướng dẫn nhiệt tình của thầy Phạm Gia Khánh cũng như sự động viên giúp đỡ của gia đình, bạn bè, cuối cùng cuốn luận văn cũng được hoàn thành. Em xin gửi lời cảm ơn chân thành nhất đến thầy hướng dẫn, các thầy cô khác trong bộ môn, cùng gia đình và bạn bè.Cần Thơ, tháng 5 năm 2009 PHẦN MỞ ĐẦU1. LÍ DO CHỌN ĐỀ TÀINhư đã biết, việc nghiên cứu quá trình động trong tự nhiên cũng như trong xã hội thường dẫn đến việc khảo sát một hay nhiều phương trình đạo hàm riêng bằng việc định lượng hóa các đặc trưng của đối tượng nghiên cứu bằng các đại lượng toán học. Nhưng ta cũng dễ nhận thấy rằng các quy luật tự nhiên thường dẫn đến các hệ thức phi tuyến giữa các tham biến nên cần phải xét phương trình vi phân phi tuyến. Tuy nhiên, khi đó xuất hiện những khó khăn toán học thực sự. Bởi vậy, khi xây dựng mô hình toán học chúng ta buộc phải bớt tính chính xác và bỏ qua những phần thêm phi tuyến bé hoặc chuyển sang tuyến tính hóa trong một lân cận của nghiệm đã cho bằng cách đưa bài toán về bài toán tuyến tính. Vẫn chưa đủ, để giải bài toán này ta lại có những sự thay đổi nhất định đối với giả thiết của bài toán tương ứng nghiệm của nó cũng có những thay đổi nhất định. Khi đó, việc tìm nghiệm cổ điển của bài toán mới vẫn còn rất phức tạp, vì thế, đầu tiên người ta xây dựng nghiệm suy rộng của nó, sau đó thiết lập độ trơn của chúng và chứng minh nó là nghiệm cổ điển của bài toán. Nói như vậy để thấy rằng, không gian nghiệm của bài toán được giải đã có nhiều thay đổi so với không gian nghiệm của bài toán thực tế ban đầu. Vì vậy, việc chọn các không gian hàm cho nghiệm của các bài toán có một vai trò quan trọng để đảm bảo tính đặt đúng của bài toán. Một không gian phiếm hàm tuyến tính được sử dụng rộng rãi trong lý thuyết phương trình đạo hàm riêng là không gian Sobolev.Có phần yêu thích toán học ứng dụng và được sự hướng dẫn gợi ý của thầy Phạm Gia Khánh để hoàn thành luận văn tốt nghiệp khóa học cũng như bước đầu làm quen với “Phương trình đạo hàm riêng hiện đại” em đã quyết định chọn đề tài “Một số vấn đề về không gian Sobolev”.2. MỤC ĐÍCH NGHIÊN CỨUMục đích nghiên cứu nhằm nắm được các định nghĩa, định lí, tính chất liên quan đến không gian Sobolev. Đặc biệt quan trọng và cũng là mục tiêu chính đó là xây dựng hệ thống ví dụ minh họa và giải các bài tập có liên quan đến nó. Qua đó, - 2 - giúp củng cố các kiến thức đã được học trong suốt 4 năm đại học như: giải tích 1, 2, không gian tôpô, độ đo và tích phân Lebesgue, giải tích hàm…3. PHƯƠNG PHÁP NGHIÊN CỨUQuá trình làm luận văn đã sử dụng kết hợp nhiều phương pháp nghiên cứu, nhưng chủ yếu là phương pháp tổng kết kinh nghiệm.Cụ thể, kết hợp phương pháp tổng hợp, so sánh, phân tích, nhận xét trong quá trình nghiên cứu lí thuyết. Đầu tiên, sau khi tìm được nguồn tài liệu tham khảo thì tổng hợp các kiến thức trong đó với các kiến thức sẵn có. Sau đó, tiến hành so sánh, phân tích chúng, chọn ra những kiến thức trọng tâm, đáng ghi nhớ, từ đó đưa ra những nhận xét riêng. Cuối cùng, tổng hợp, trình bày lại theo ý hiểu một cách rõ ràng. Phương pháp tổng hợp, phân tích, so sánh, đánh giá cũng được kết hợp sử dụng trong giải và sắp xếp các bài tập. Sau khi tổng hợp các bài tập từ các nguồn tư liệu khác nhau, sẽ tiến hành phân tích, so sánh, chọn lọc các bài tập hay phù hợp với nội dung lí thuyết sắp xếp chúng theo một trình tự hợp lí. Cuối cùng, tiến hành phân tích, đánh giá để giải một cách chi tiết, trình bày một cách rõ rang.4. NỘI DUNG LUẬN VĂNNội dung của luận văn gồm 2 chương.Chương 1. Gồm 4 §, trong đó §1. Không gian pL, §2. Biến đổi Fourier, §3. Hàm suy rộng, §4. Không gian Sobolev. Ở đây, chỉ tập trung giới thiệu một số định nghĩa, định lí, tính chất và các ví dụ có liên quan mà không quan tâm đến việc chứng minh các định lí, tính chất đó.Chương 2. Giải chi tiết và sắp xếp một cách tương đối hợp lí các bài tập có liên quan đến phần lí thuyết đã giới thiệu ở chương 1.- 3 - PHẦN NỘI DUNGCHƯƠNG 1KIẾN THỨC CHUẨN BỊ§1. Không gian pL1.1 Không gian pLCho ( )µ,, SΩ là một không gian độ đo, trong đó Ω là một tập con mở của không gian Euclide n chiều Rn, Slà σ-đại số trên tập đo được Lebesgue vൠlà độ đo Lebesgue. Cho ∞≤≤ p1, ta định nghĩa không gian pL như sauVới ∞<≤ p1, ta định nghĩa=pL{ff :là hàm đo được và ( ) ( )∞<∫Ωxdxfpµ}và( ) ( )( ) ( )pppppdfxdxff/1/1==∫∫ΩµµVới ∞=p, ta định nghĩa=∞L{ff :là hàm đo được và ( )kxf ≤ hầu khắp nơi0, >k}và∞finf={( )KxfK ≤> :0 hầu khắp nơi}Chú ý. Nói ( )kxf ≤ hầu khắp nơi tương đương với nói rằng ( ){ }( )0: => Kxfxµ.Nếu gf , là hai hàm đo được thỏa ( ) ( )xgxf = hầu khắp nơi thì f và g được xem là giống nhau. Do đó, 0=pf khi và chỉ khi ( )0=xf hầu khắp nơi, với ∞≤≤ p1.Cho ∞≤≤ p1, chỉ số q thỏa 111=+qp được gọi là số mũ liên hợp của p. Ta thấy, 1=p thì ∞=q. Ngược lại, ∞=p thì 1=q.- 4 - 1.2 Một số định lí và bất đẳng thức1.2.1 Bổ đề Cho a, b là hai số thực không âm, p, q là cặp số mũ liên hợp. Khi đó, qbpaabqp+≤.1.2.2 Bất đẳng thức Hoder. Nếu qpLgvàLf ∈∈ thì 1Lfg ∈ và qpgffg ≤1Dấu “=” xảy ra khi và chỉ khi ∈∃ BA,R+ sao cho ( ) ( )qpxgBxfA =.1.2.3 Bất đẳng thức Minkowski. Nếu pLgf ∈, thì pppgfgf +≤+, với ∞≤≤ p1.Dấu “=” xảy ra khi và chỉ khi ∈∃ BA,R+, 022≠+ BA sao cho BgAf =.1.2.4 Định lí. pLlà không gian Banach. 1.2.5 Định lí. pLlà không gian phản xạ, với ∞<< p1.1.3 Tích chậpCho ( )Ω∈1, Lgf, tích chập của f và g được định nghĩa là( ) ( ) ( )∫Ω−=∗ dyygyxfxgf1.4 Giá của hàm1.4.1 Định nghĩa. Cho f là một hàm liên tục trên Rn. Giá của f, kí hiệu là suppf, là bao đóng của tập ( ){ }0: ≠xfx.Kí hiệu cC(Rn) là kí hiệu tập tất cả các hàm liên tục với giá compact.cC(Rn) thường được viết là D(Rn).1.4.2 Ví dụ• Cho :fR→R được xác định( )≤>=−0,00,2/1xxexfx Khi đó, ∞∈Cf.- 5 - • Cho :fRn→R được xác định ( )≥<=−−axaxexfxaa,0,))/((222, với 2212 .nxxx ++=Khi đó, ( )∈xfD(Rn) và supp( )f{ }axxaB ≤=⊆ :),0(.• Cho 0>ε và định nghĩa ( ) ( )εφεφε/xxn−=, với 1L∈φ(Rn), 11=φ và ( )0≥xφ khi đó 11=εφ. Thật vậy,( ) ( ) ( )1/ ===∫∫∫−nnnRRnRdyydxxdxxφεφεφε, với ε/xy =.• Cho 0>ε và định nghĩa ( ) ( )εφεφε/xCxn−=, với ( )∫=−nRdxxCφ1 và :φRn→R được cho bởi hàm ( )≥<=−−1,01,))1/(1(2xxexxφKhi đó, ( )xεφD∈(Rn) và supp( )),0(εφεB=§2. Biến đổi Fourier2.1 Kí hiệu •( )∈=nxxxx , .,,21(Rn), ∑==njjjxx1.ξξ, với ∈ξ,x(Rn).•( )( )nndxdxdxxdm .21212/π= đo được Lebesgue trên Rn.•( ) ( )yxfxfy−=τ, với y thay đổi trên Rn, ( ) ( )λλλ/1xfxfn=, 0>λ, ;11ffy=τ11ff =λ.• Cho 1, Lgf ∈(Rn), tích chập ( ) ( ) ( )∫−=∗nRdyygyxfxgf, 111gfgf ≤∗.• Đa chỉ số ( )∈=jna,, .,,21ααααN, ∑==njja1α. Cho ∈ξRn, nnααααξξξξ .2121= với jjx∂∂=∂, và nnDαααα∂∂∂= .2121.- 6 - • Cho 1Lf ∈(Rn), biến đổi Fourier của fđược định nghĩa là( ) ( ) ( )∫−=nRxixdmexffξξˆ.Với mỗi ∈ξ Rn, xiexξ−→là một hàm đặc trưng trong Rn.2.2 Tính chất cơ bản•1Lf ∈(Rn), 1ˆff ≤∞.•1Lf ∈(Rn), 0ˆCf ∈( Rn).•1, Lgf ∈(Rn), ( ) ( ) ( ) ( )ξξξgfgfˆˆ^ =∗.•( )( ) ( )ξξτξfefyiyˆ^−=, ( )( )( ) ( )ξτξξξfxfexiˆ^00= và ( ) ( )λξξλffˆˆ=.• Nếu 1Lf ∈(Rn) và 1Lfj∈∂( Rn) thì ( )( ) ( )ξξξfifjjˆ^ =∂.Nếu 1Lf ∈(Rn) và 1LfD ∈α(Rn), k≤∀α, thì ( )( ) ( ) ( ).ˆ^ξξξααfifD =• Nếu 1Lf ∈(Rn) và ( )1Lxfxj∈(Rn) thì fˆ khả vi đến jξ và ( ) ( )( )( )ξξ^ˆxfixfjj−=∂Nếu 1Lf ∈(Rn), 1Lfx ∈α(Rn) và fDˆα tồn tại, thì ( ) ( ) ( )( )( )ξξαα^ˆxfixfD −=2.3 Ví dụ• (Gauss) ( )2/2xex−=φ; ( )2/2ˆξξφ−= e; 2/12=∑=nijjxx.• (Poisson) ( )( )( )+=+ 2/121/nnxCxφ, với nC làm cho 11=φ thì ( )ξξφ−= eˆ.• (Fejer) ( )( )∏==njjjnxxCxK1222/2/sin; ( )( )∏−=njK11ˆξξ.• (de la Vallie Pousin) (cho 1=n) ( ) ( ) ( )xKxKxVλλλ−=22. Khi đó,- 7 - ( )≤≤≤−≤=ξλλξλλξλξξλ2,02,2,1ˆV.2.4 Định lí đảo của biến đổi FourierNếu 1Lf ∈(Rn) và 1ˆLf ∈(Rn) thì ( ) ( ) ( )ξξξdmefxfxiRn∫=ˆ hầu khắp nơi.2.5 Định lí PlancherelNếu 21LLf ∩∈(Rn) thì 2ˆLf ∈(Rn), 22ˆff = và ánh xạ :F21LL ∩(Rn)→ 2L(Rn) được cho bởi fFfˆ= được thác triển thành một đẳng cự 2L(Rn)→ 2L(Rn).2.6 Không gian Schwartz SKhông gian Schwartz S là không gian của các hàm tiêu chuẩn mà bất biến đối với các phép toán biến đổi, phép nhân cân bằng, mở rộng, nhân bởi hàm đặc trưng, tích ánh xạ, phép tính tích phân và phép biến đổi Fourier. Không gian Schwartz S được mô tả=S{∞∈Cφ(Rn):( )( )βαφβα,,supnR∀∞<∈xDxx} Ở đây βα, là đa chỉ số.Một vài chú ý• Chú ý SD⊂ nên S trù mật trong pL(Rn), ∞≤≤ p1. Một hàm ( )2xexδφ−=, 0>δ thuộc S nhưng không thuộc D.• Cho một đa thức P và S∈φ, ( ) ( )SxxP ∈φ và ( )SDP ∈φ.•S∈φkhi và chỉ khi với mọi số nguyên 0≥k và với mọi đa chỉ số β ta có ( )( )xDxkφβ21+ giới nội.•φφˆ→ là song ánh từ S vào S. Khi đó, ta có các kết quả i. ( ) ( ) ( )( )( )ξφξφαα^ˆxixD −=.ii. ( )( ) ( ) ( )ξφξξφββˆ^ iD =.- 8 - 2.7 Hàm suy rộng điều hòa2.7.1 Định nghĩa. Không gian tôpô đối ngẫu 'S của không gian Schwartz S được gọi là không gian của những hàm suy rộng điều hòa.2.7.2 Ví dụ• Cho pLf ∈(Rn), ∞≤≤ p1, định nghĩa CSTf→: được xác định bởi ( ) ( ) ( )∫==nRfdxxxffTφφφ,Khi đó, ( )'ppffTφφ≤ do đó fT là liên tục.• Nếu M∈µ(Rn) (Không gian của các độ đo giới nội thông thường, đối ngẫu của 0C(Rn)), xét ( ) ( ) ( )∫=nRxdxTµφφµKhi đó 'ST ∈µ.• Cho f là một hàm đo được trên Rn sao cho với mọi số nguyên không âm k ta có ( )pkLfx ∈+−21(Rn), với ∞≤≤ p1. Khi đó, ( ) ( ) ( )∫=nRfdxxxfTφφxác định một hàm trong 'S, do ( )≤φfT( )( )( )( )∫−−++nRkkdxxxxfxφ2211 nên hàm đã cho là hàm điều hòa.• Nếu µ là một độ đo thông thường trên Rn sao cho ( )Mxk∈+−µ21(Rn), theo cách xác định ở trên 'ST ∈µ. Độ đo đã cho được gọi là độ đo điều hòa.2.7.3 Định lí. Một hàm tuyến tính L trên S là một hàm điều hòa nếu và chỉ nếu tồn tại một hằng số 0>Cvà số nguyên l, m sao cho - 9 - ( ) ( )SCLml∈∀≤∑≤≤φφρφβαβα,,,.2.7.4 Toán tử trong S′. Cho T ∈ S’.• Phép tịnh tiến. Nếu h∈Rn, định nghĩa ( )( ) ( )STThh∈∀=−φφτφτ, thì 'STh∈τ.• Phép nhân với một phần tử của S. Cho S∈φ, định nghĩa ( )( ) ( )φψψφTT =. Khi đó, 'ST ∈φ. Nếu P là một đa thức trên Rn, PT được định nghĩa giống như trên cũng là một hàm điều hòa.• Phép phản xạ. ( )( )φφ~~TT =. Khi đó, ST ∈~.• Phép tính vi phân. Cho một đa chỉ số α, định nghĩa( ) ( )( )SDTTD ∈∀−=φφφααα,1(Công thức trên cho ta một phép tính tích phân). Do đó, 'STD ∈α.• Tích chập. Cho S∈ψ định nghĩa ( ) ( )∧∗=∗φψφψTT. Khi đó, 'ST ∈∗ψ.• Lúc đó, ta xét hàm ( ) ( )ψτxTxF =. Khi đó ∞∈CF(Rn) và ( ) ( ) ( ) ( ) ( ) ( )( )( ).φψφψτφψτφ∗===∫∫∫TdxxTdxxTdxxxFnnnRxRxRĐiều này chỉ ra rằng, tích chập với một phần tử của S là một quá trình trơn. Với mọi hàm điều hòa T, thì ∞∈∗ CTφ.• Biến đổi Fourier. Định nghĩa ( )( ),ˆˆφφTT = S∈∀φ. Khi đó, 'ˆST ∈.Kết hợp phép biến đổi Fourier và phép vi tích phân, ta cói. ( )( )∧−= TxiTDαααˆii. ( )( )TiTDˆαααξ=∧2.7.5 Ví dụ. Cho δ=T thỏa ( ) ( ) ( )0φφδφ==T. Khi đó•( ) ( )xxφφδτ=•( ))0('φφδ−=∂j- 10 - [...]... → ∞ ≥ µ ( B (0, k )) → ∞ , khi k → ∞ 4.2 Không gian đối ngẫu của không gian Sobolev Ở phần này ta xét không gian sobolev của số nguyên âm cũng như phân số 4.2.1 Định nghĩa Cho 1 ≤ p < ∞ , q là số mũ liên hợp của p Không gian đối ngẫu của không gian W0m , p (Ω) , với m là số nguyên lớn hơn 1, được kí hiệu là W − m , q (Ω) m Như vậy, H −m ( Ω ) là không gian đối ngẫu của H ( Ω ) 0 4.2.2 Định lí Cho... với mọi φ ∈ D (Rn) § Không gian Sobolev 4 4.1 Không gian Sobolev Cho Ω là một tập mở con của Rn có biên là ∂Ω Ta bắt đầu với định nghĩa 4.1.1 Định nghĩa Cho số nguyên m>0 và 1 ≤ p ≤ ∞ Không gian Sobolev được định nghĩa { } W m, p (Ω) = u ∈ Lp (Ω) Dα u ∈ Lp (Ω), α ≤ m p W m , p là tập hợp tất cả các hàm thuộc L (Ω) có đạo hàm suy rộng đến m cũng thuộc L p (Ω) Ta có D(Ω) , không gian của tất cả các... là không gian tách được, với 1 ≤ p < ∞ • H m (Ω) là không gian Hilbert tách được, với 1 ≤ p < ∞ 4.1.6 Định nghĩa m, p Cho 1 ≤ p < ∞ , đặt W0 (Ω) bằng bao đóng của D(Ω) trong W m , p (Ω) W0m , p (Ω) là một không gian con đóng của W m , p (Ω) - 17 - m, p Phần tử của W0 (Ω) gần giống trong không gian định chuẩn W m , p (Ω) bằng những hàm thuộc C ∞ ( Ω ) có giá compact trên Ω W0m , p (Ω) là không gian. .. nghĩa về dãy rỗng Chúng ta nói một dãy {φ m } ⊂ D( Ω ) là một dãy rỗng trong D( Ω ) nếu φ m → 0 , trong D( Ω ) tồn tại một tập con compact cố định K ⊂ Ω sao cho supp (φ m ) ⊆ K với tất cả m, φ m và tất cả đạo hàm của nó đều hội tụ đều đến 0 trên K 3.3 Định nghĩa về hàm suy rộng Một hàm tuyến tính T trên D( Ω ) được gọi là một hàm suy rộng trên Ω nếu Tφ m → 0 với mọi dãy rỗng {φ m } trong Ω Không gian. .. ∂f i Một hàm ∂xi trên W 1, p ( Ω ) thì được xác định với một hàm suy rộng, là đạo hàm suy rộng của 1, p một phần tử trong Lq ( Ω ) Do đó, không gian đối ngẫu của W0 ( Ω ) được kí hiệu là W −1,q ( Ω ) Định lí trên cũng đúng với không gian đối ngẫu của W 1, p ( Ω ) (trừ trường hợp ta không giả sử f 0 = 0 ngay cả khi Ω giới nội), nhưng sự xác định với hàm suy rộng thì không thể Thật vậy, không gian. .. ∞ , W m, p (Ω) là một không gian Banach * Xét không gian tích: ( L p ( Ω ) ) n+1 Với chuẩn u = ∑ ui i =1 n +1 1/ p Lp ( Ω ) p = L p ( Ω ) × × L p ( Ω ) , ((n + 1) lần) , với u = (u1 , , u n +1 ) ∈ ( L p ( Ω ) ) m, p Khi đó, ánh xạ u ∈ W (Ω) → u , ∂u ∂u , , ∂x1 ∂x n ∈ Lp ( Ω) ( ) n +1 n +1 là một phép đẳng cự Ta có một số tính chất • W m , p (Ω) là không gian phản xạ, với... là một toán tử compact Trên không gian W m , p (Ω) , ta định nghĩa nửa chuẩn u m , p ,Ω = ∑ Dα u a ≤m p L ( Ω) 1/ p p được xem là đạo hàm cao nhất của không gian định chuẩn L p 4.1.12 Bổ đề (Bất đẳng thức Poincare) Cho Ω là một tập mở giới nội trong Rn Khi đó, tồn tại một số nguyên dương C = C ( Ω, p ) sao cho u Lp ( Ω ) ≤ C u 1, p ,Ω , u ∈ W01, p (Ω) u → C u 1, p ,Ω định nghĩa một. .. và tính liên 0 tục được thác triển đến W m, p 0 ( Ω ) Suy ra δ x 0 ∈ W − m,q ( Ω ) , với m > n / p Với mọi miền xác định Ω , hàm suy rộng Dirac thuộc không gian Sobolev của một số âm đủ lớn nào đó Bây giờ, ta định nghĩa không gian Sobolev cho một số thực s bất kì Định nghĩa Cho 1 ≤ p < ∞ , thì u( x ) − u( y ) W s , p ( Ω ) = u ∈ L p ( Ω ) : ∈ L p ( Ω × Ω) s+n / p x− y Cho s =... , trong đó α i , i = 1,2, , n , là các số nguyên dương, khi đó α được gọi là một đa chỉ số Kí hiệu một số phép toán liên quan đến đa chỉ số α n • α = ∑α i • α != ∏i =1α i ! • x α = ∏i =1 xiα i , x ∈ Rn i =1 n n Cho hai đa chỉ số α = ( α 1 , α 2 , , α n ) , β = ( β1 , β 2 , , β n ) Khi đó, α ≤ β khi và chỉ khi α i ≤ β i , với mọi i = 1, 2, …, n α là một đa chỉ số, ta định nghĩa phép toán vi phân D... x) =φ ( x) • ∂ j φ = φ ∗ ∂ j δ , φ ∈ S , vi phân là một trường hợp đặc biệt của tích chập § Hàm suy rộng 3 3.1 Không gian các hàm chuẩn D( Ω ) 3.1.1 Định nghĩa Một hàm tiêu chuẩn φ ( x ) = φ ( x1 , x2 , , x n ) trên Ω ⊆ Rn là một hàm khả vi vô hạn trên Ω và triệt tiêu ở bên ngoài miền giới hạn, miền giới hạn có thể phụ thuộc vào hàm tiêu chuẩn Không gian tất cả các hàm tiêu chuẩn trên Ω được kí hiệu . BỊ§1. Không gian pL1.1 Không gian pLCho ( )µ,, SΩ là một không gian độ đo, trong đó Ω là một tập con mở của không gian Euclide n chiều Rn, Slà σ-đại số trên. đề tài Một số vấn đề về không gian Sobolev .2. MỤC ĐÍCH NGHIÊN CỨUMục đích nghiên cứu nhằm nắm được các định nghĩa, định lí, tính chất liên quan đến không