Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 117 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
117
Dung lượng
621,85 KB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: NGHIỆM HẦU TUẦN HỒN CỦA PHƯƠNG TRÌNH VI PHÂN - HÀM TRONG KHÔNG GIAN BANACH LUẬN VĂN THẠC SĨ Năm: BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC Chuyên ngành: : Mã số: : LUẬN VĂN THẠC SĨ Người hướng dẫn TS 1 PHẦN MỞ ĐẦU Bài toán bất đẳng thức biến phân vấn đề quan trọng Toán học ứng dụng, bắt đầu nghiên cứu từ thập kỷ 60 kỷ trước gắn liền với cơng trình G.Stampacchia Philip Hartman Những nghiên cứu bất đẳng thức biến phân liên quan đến việc giải toán biến phân, toán điều khiển tối ưu tốn có dạng phương trình đạo hàm riêng 47 2 Các vành nhóm Ánh xạ ε : RG → R cho ε( X g rg g) = X rg ánh xạ mở rộng g Iđêan ∇(RG) = ker(ε) gọi iđêan mở rộng Định lý Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành iđêan mở rộng ∇(RG) ∆U -vành Chứng minh Đặt ∇ = ∇(RG) Giả sử G nhóm hữu hạn có cấp 1+2n R ∆U -vành Theo Mệnh đề 16, ta có ∈ ∆(R), 1+2n ∈ U (R) Khi RG có biểu diễn RG = ∇⊕H với H ∼ = R theo [4] Đặt ∇ = eRG H = (1 − e)RG Rõ ràng e phần tử tâm RG Nếu RG ∆U -vành, ∇ = eRG ∆U -vành theo Mệnh đề 17 Ngược lại, giả sử ∇ = eRG ∆U -vành Vì H ∼ = R nên H ∆U -vành Theo Bổ đề 1, RG ∆U -vành Một nhóm gọi hữu hạn địa phương nhóm sinh hữu hạn phần tử hữu hạn Bổ đề Nếu G 2-nhóm hữu hạn địa phương R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Chứng minh Giả sử G 2-nhóm hữu hạn địa phương R ∆U -vành ¯ Suy Khi R¯ := R/J(R) ∆U -vành Từ ∆(R) lũy linh, ∈ N (R) ¯ ⊆ N (RG) ¯ ¯ ∇(RG) theo [4, Hệ quả, trang 682] Do đó, ∇(RG) iđêan lũy ¯ linh chứa J(RG) Ta kiểm tra J(R)G ⊆ J(RG), J((R/J(R))G) ∼ = J(RG/J(R)G) = J(RG)/J(R)G Do ∇(RG) ⊆ J(RG) ⊆ ∆(RG) Định lý Cho R ∆U -vành G 2-nhóm hữu hạn địa phương Nếu ∆(R) lũy linh, RG ∆U -vành Chứng minh Lấy u ∈ U (RG) Khi ε(u) = + ε(u − 1) ∈ U (R) theo Bổ đề (1) áp dụng cho ánh xạ mở rộng ε i Vì R ∆U -vành nên tồn j ∈ ∆(R) thỏa mãn ε(u) = + j Theo Bổ đề (1) ta có ε(u − + j) = hay u − + j ∈ ∇(RG) ⊆ ∆(RG) Do u ∈ − j + ∆(RG) suy u ∈ + ∆(RG) Hệ Cho R vành hoàn chỉnh phải trái G 2-nhóm hữu hạn địa phương Khi đó, R ∆U -vành RG ∆U -vành 3.1 Một số đặc biệt hóa Jacobson vành Biểu diễn ∆(R) tính chất Trong mục này, khảo sát tập ∆(R) =: {r ∈ R|r+U (R) ⊆ U (R)} vành R Tập vành có quan hệ chặt chẽ với Jacobson R Ta ∆(R) vành Jacobson lớn R đóng với phép tốn nhân phần tử khả nghịch R Các tính chất ∆ cấu trúc vành nghiên cứu, trình bày số họ vành mà ∆(R) = J(R) Các phương pháp cấu trúc vành với ∆(R) ̸= J(R) mô tả Bổ đề Cho R vành bất kỳ, ta có (1) ∆(R) = {r ∈ R | ru + ∈ U (R), ∀u ∈ U (R)} = {r ∈ R | ur + ∈ U (R), ∀u ∈ U (R)}; (2) Với r ∈ ∆(R) u ∈ U (R), ur, ru ∈ ∆(R); (3) ∆(R) vành vành R; (4) ∆(R) idêan R ∆(R) = J(R); Y Y (5) Với họ vành Ri , i ∈ I , ∆( Ri ) = ∆(Ri ) i∈I i∈I Chứng minh (1) Cho r ∈ ∆(R) u thuộc U (R), r + u ∈ U (R) tương đương ru−1 + ∈ U (R) tương đương u−1 r + ∈ U (R) (2) Ta có ruu′ + ∈ U (R), ∀u, u′ ∈ U (R) r ∈ ∆(R), suy ru ∈ ∆(R) Tương tự ur ∈ ∆(R) (3) Lấy r, s ∈ ∆(R) Khi −r + s + U (R) ⊆ −r + U (R) = −r − U (R) ⊆ U (R), hay ∆ nhóm với phép cộng R Hơn rs = r(s+1)−r ∈ ∆(R) r(s + 1) ∈ ∆(R) theo (2) (4) Rõ ràng J(R) ⊆ ∆(R) Ta giả sử ∆(R) iđêan R r ∈ R Khi rx + ∈ U (R), với x thuộc ∆(R) ∆(R) ⊆ J(R) hay ∆(R) = J(R) Chiều ngược lại dễ thấy Hệ Cho R vành: (1) ∆(R) đóng với phép nhân phần tử lũy linh; (2) Nếu ∈ U (R), ∆(R) đóng với phép nhân phần tử lũy đẳng Định lý Cho R vành có đơn vị T vành R sinh U (R) Khi đó: (1) ∆(R) = J(R) ∆(S) = ∆(R), với S vành R thỏa T ⊆ S ; (2) ∆(R) vành Jacobson lớn chứa R đóng với phép nhân phần tử khả nghịch R Chứng minh (1) T vành sinh U (R) nên T vành bao gồm tất tổng hữu hạn đơn vị R Do đó, theo (2) Bổ đề 1, ∆(T ) iđêan T Theo (4) Bổ đề 1, ∆(T ) = J(T ) Nếu r ∈ ∆(R), r + U (R) ⊆ U (R) Điều có nghĩa r biểu diễn thành tổng hai đơn vị Do r ∈ T , suy ∆(R) ⊆ T Giả sử S vành R thỏa mãn T ⊆ S Khi U (S) = U (R), ∆(S) = {r ∈ S | r + U (S) ⊆ U (S)} = {r ∈ S | r + U (R) ⊆ U (R)} = S ∩ ∆(R) = ∆(R), ∆(R) ⊆ T ⊆ S (2) Theo (1), ∆ vành Jacobson R theo Bổ đề (2) ∆(R) đóng với phép nhân phần tử khả nghịch phía trái phải R Bây giờ, ta giả sử S vành Jacobson chứa R đóng với phép nhân phần tử khả nghịch Nếu s ∈ S u ∈ U (R), su ∈ S = J(S) Do su quasi-regular S + su ∈ U (R) Theo Bổ đề (1) s ∈ ∆(R) hay S ⊆ ∆(R) Hệ Giả sử R vành mà phần tử biểu diễn thành tổng đơn vị Khi ∆(R) = J(R) Hệ Giả sử R vành đại số trường F Nếu dimF R < |F |, ∆(R) vành lũy linh Mệnh đề Giả sử R vành có đơn vị Khi (1) Cho S vành R thỏa U (S) = U (R) ∩ S Khi ∆(R) ∩ S ⊆ ∆(S) [ = U (R) ∩ ∆(R) [; (2) U (∆(R)) (3) Cho I iđêan R thỏa I ⊆ J(R) Khi ∆(R/I) = ∆(R)/I Chứng minh (1) suy từ định nghĩa ∆ (2) Nếu r ∈ ∆(R), v = + r ∈ U (R) v −1 = − rv −1 ∈ [ ∩ U (R), −rv −1 ∈ ∆(R), Bổ đề ∆(R) [ = ∆(R), nghĩa ∆ Hệ Cho R vành có đơn vị, ∆(∆(R)) tốn tử đóng Hệ ∆(R) ∩ Z(R) ⊆ ∆(Z(R)) Hệ Cho R vành (1) ∆(Tn (R)) = Dn (∆(R)) + Jn (R); (2) ∆(R[x]/(xn )) = ∆(R)[x]/(xn ); (3) ∆(R[[x]]) = ∆(R)[[x]] Hệ Cho R vành, ∆(R) = J(R) ∆(R/J(R)) = Định lý ∆(R) = J(R) R thỏa mãn điều kiện sau (1) R/J(R) đẳng cấu với phép nhân vành ma trận division rings (2) R vành nửa địa phương (3) R clear ring thỏa ∈ U (R) (4) R U J -vành, nghĩa U (R) = + J(R) (5) R có stable range (6) R = F G nhóm đại số trường F Bổ đề Giả sử G nhóm R Khi G đóng với phép nhân phần tử khả nghịch đóng với phép nhân phần tử quasi-invertible R Định lý Giả sử R vành có đơn vị G nhóm phép cộng R Khi điều kiện sau tương đương (1) G = ∆(R) (2) R vành Jacobson lớn đóng với phép nhân phần tử quasi-invertible R (3) G nhóm lớn R phép cộng bao gồm phần tử quasi-invertible đóng với phép nhân phần tử quasi-invertible R 3.2 Mở rộng toán tử ∆ cho vành khơng có đơn vị Bổ đề Cho R vành khơng thiết phải có đơn vị, ta có ∆◦ (R) = ∆◦ (R1 ) = ∆(R1 ) Mệnh đề Cho R vành bất kỳ, ta có điều sau (1) Cho e2 = e thỏa mãn e∆(R)e ⊆ ∆(R) Khi e∆(R)e ⊆ ∆(eRe) (2) ∆(R) không chứa phần tử lũy đẳng khác không (3) ∆(R) không chứa phần tử unit regular khác không Hệ Cho R vành có unit regular, ∆(R) = Hệ 10 Giả sử ∈ U (R) Khi e∆(R)e ⊆ ∆(eRe) với e phần tử lũy đẳng R Mệnh đề Giả sử R vành 2-primal Khi ∆(R[x]) = ∆(R)+J(R[x]) ĐẠI SỐ VÀ SIGMA ĐẠI SỐ Định nghĩa Cho tập X tùy ý khác rỗng Ta gọi P (X) tập hợp tất tập X Gọi A∗ họ tập X A∗ gọi đại số tập X A∗ thỏa ba tiên đề sau: X ∈ A∗ ∀A ∈ A∗ ⇒ Ac ∈ A∗ (Đóng kín với phép tốn lấy phần bù) ∀A, B ∈ A∗ , A ∪ B ∈ A∗ (Đóng kín với phép tốn hợp) Định nghĩa Cho tập X tùy ý khác rỗng Ta gọi P (X) tập hợp tất tập X Gọi A∗ họ tập X A∗ gọi σ - đại số tập X A∗ thỏa mãn ba tiên đề sau: X ∈ A∗ ∀A ∈ A∗ ⇒ Ac ∈ A∗ (Đóng[kín với phép tốn lấy phần bù) ∀A1 , A2 , , An , ∈ A∗ ⇒ Ai ∈ A∗ i≥1 Dựa vào hai định nghĩa ta có nhận xét Nhận xét Khái niệm "đại số tập tập X " khái niệm "σ - đại số tập X " gần với Điều thể qua giống hai tiên đề Sự khác biệt hai khái niệm tiên đề số Đối với "đại số tập X hợp "HỮU HẠN" phần tử thuộc A∗ phần tử thuộc A∗ Còn "σ - đại số tập X " hợp "VÔ HẠN" phần tử A∗ phần tử thuộc A∗ Mệnh đề Cho X tập tùy ý khác rỗng Gọi A∗ "đại số tập X " Khi đó: ∅ ∈ A∗ Hợp hữu hạn phần tử thuộc A∗ phần tử thuộc A∗ n [ ∗ Hay A1 , A2, , An ∈ A ⇒ Ai ∈ A∗ i=1 Giao hữu hạn phần tử thuộc A∗ phần tử thuộc A∗ (Đóng kín với phép toán giao) n \ ∗ Hay A1 , A2, , An ∈ A ⇒ Ai ∈ A∗ i=1 Đóng kín với phép tốn hiệu nghĩa là: ∀A, B ∈ A∗ ⇒ A\B ∈ A∗ Đóng kín với phép toán lấy hiệu đối xứng nghĩa là: ∀A, B ∈ A∗ ⇒ A△B ∈ A∗ Định lý Cho tập X khác rỗng Giả sử X có phép toán α Phép toán α gọi đóng kín với tập X ta lấy hai phần tử thuộc X , thao tác qua phép toán ta phần tử phần tử thuộc X Để dễ hiểu ta lấy ví dụ đơn giản Trên tập N có phép tốn cộng thơng thường Ta lấy hai phần tử thuộc N (lấy hai số tự nhiên) Dễ thấy cộng hai số tự nhiên số tự nhiên số tự nhiên thuộc N Như ta nói N đóng kín với phép cộng Trong trường hợp tổng qt tập X Tiếp theo ta chứng minh ý mệnh đề Chứng minh: Vì X ∈ A∗ (Tiên đề 1) nên X c = ∅ ∈ A∗ (Tiên đề 2) Ta quy nạp dựa theo tiên đề có điều phải chứng minh ∀A, B ∈ A∗ ta có Ac , B c ∈ A∗ Khi (Ac ∪ B c ) ∈ A∗ ⇒ [(Ac ∪ B c )]c ∈ A∗ hay A ∩ B ∈ A∗ Từ ta quy nạp lên giao hữu hạn phần tử có điều phải chứng minh Chưa chứng minh Chưa chứng minh Xấp xỉ tích chập Lp Ta thấy rằng, cho f ∈ Lp (Ω) với ≤ p < ∞, tồn (fh )h ⊂ C0c (Ω) cho fh → f Lp (Ω) Ta chứng minh tính xấp xỉ này, tìm kiếm xấp xỉ theo hàm quy Chính xác Câu hỏi: (i) Có tồn (fh )h ⊂ C1c cho fh → f Lp (Ω)? (ii) Có thể xây dựng cách rõ ràng xấp xỉ thứ h hàm fh cho f ∈ Lp (Ω)? Câu trả lời cho câu hỏi thứ hai có ý nghĩa xấp xỉ số Định nghĩa (Friedrichs’ mollifiers) Một dãy mollifiers 39 (3) Giả sử x2 ∈ ∆(R) Khi (1+x)(1−x) = (1−x)(1+x) = 1−x2 ∈ U (R) tức 1+x ∈ U (R) Vì R ∆U -vành nên 1+x ∈ 1+∆(R), x ∈ ∆(R) (4) Giả sử a, b ∈ R với ab = Khi phần tử − ba lũy đẳng R, [b(1 − ba)]2 = = [(1 − ba)a]2 ∈ ∆(R) Từ (3), ta có b(1 − ba) ∈ ∆(R) (1 − ba)a ∈ ∆(R) Suy − ba = (1 − ba)2 = [(1 − ba)a][b(1 − ba)] ∈ ∆(R) Từ đó, ba ∈ U (R) ba = (5) Nếu I ⊆ J(R) iđêan, ∆(R/I) = ∆(R)/I theo Mệnh đề ?? Giả sử R ∆U -vành Khi đó, u + I ∈ U (R/I), ta có u ∈ U (R) u ∈ + ∆(R) Suy u + I ∈ + ∆(R)/I = + ∆(R/I) Do R/I ∆U -vành Ngược lại, giả sử R/I ∆U -vành Lấy u ∈ U (R) tùy ý Khi u + I ∈ + ∆(R)/I Ta kiểm tra u ∈ + ∆(R) Do đó, R ∆U -vành (6) Hiển nhiên (7) Từ giả thiết U (T ) = U (R) ∩ T suy ∆(R) ∩ T ⊆ ∆(T ) Bây U (R) = + ∆(R) cho + ∆(T ) ⊆ U (T ) = U (R) ∩ T = (1 + ∆(R)) ∩ T = + (∆(R) ∩ T ) ⊆ + ∆(T ) suy + ∆(T ) ⊆ U (T ) hay T ∆U -vành Định lý 26 Vành ma trận Mn (R) ∆U -vành n = R ∆U -vành Chứng minh (⇐:) Hiển nhiên (:⇒) Giả sử Mn (R) ∆U -vành n > Đầu tiên ta chứng minh R thể, tức phần tử khác không khả nghịch Lấy bất 0 − a 0 0 kỳ a ∈ R, a = ̸ 0, ta có X = ∈ Mn (R) X = 0 Do Mn (R) ∆U -vành, ta lấy X ∈ ∆(Mn (R)) Lấy phần tử khả nghịch 40 0 0 0 ∈ Mn (R) Khi In −U X = 0 a 0 0 khả nghịch Mn (R), hay a ∈ U (R) Do đó, R thể ∼ Tiếp theo, ta chứng minh R = F2 Lấy a ∈ R, a ̸= a ̸= Lấy a 0 0 a 0 0 X= ∈ Mn (R) Khi X khả nghịch Vì Mn (R) 0 a 0 U = 0 0 0 0 1−a 0 − a ∆U -vành nên ta có In − X = ∈ ∆(Mn (R)) 0 − a Vì − a khả nghịch nên In − X khả nghịch, mâu thuẫn Do R∼ = F2 1 X1 Cuối cùng, ta n = Lấy X1 = X = ∈ 0 In−2 Mn (R) Khi X khả nghịch Mn (R) Bởi giả thuyết, ta có X2 In − X ∈ ∆(Mn (R)) Mặt khác, ta có In − X = In−2 X2 = Suy In − X khả nghịch, mâu thuẫn Do đó, n = 1 R ∼ = M1 (R) ∆U -vành Mệnh đề 11 Giả sử R ∆U -vành e phần tử lũy đẳng R Khi eRe ∆U -vành Chứng minh Lấy u ∈ U (eRe) Khi u + − e ∈ U (R) Vì R ∆U -vành 41 nên ta có u − e ∈ ∆(R) Ta chứng minh u − e ∈ ∆(eRe) Lấy tùy ý v khả nghịch eRe Rõ ràng v + − e ∈ U (R) Vì u − e ∈ ∆(R) nên u−e+v+1−e ∈ U (R) theo định nghĩa ∆, đặt u−e+v+1−e = t ∈ U (R) Ta kiểm tra et = te = ete = u − e + v , ete ∈ U (eRe) Suy u − e + U (eRe) ⊆ U (eRe), u − e ∈ ∆(eRe) Vì vậy, u ∈ e + ∆(eRe) hay eRe ∆U -vành Cho R vành M song môđun vành R Một mở rộng tầm thường R M T (R, M ) = {(r, m) : r ∈ R m ∈ M }, với phép cộng theo thành phần phép nhân định nghĩa (r, m)(s, n) = (rs, rn + ms) r m r : r ∈ R m ∈ M Mở rộng tầm thường T (R, M ) đẳng cấu với vành R M Hơn nữa, kiểm tra vành ma trận × R T (R, R) ∼ = R[x]/(x ) Theo Mệnh đề ??, có tập phần tử khả nghịch mở rộng tầm thường T (R, M ) T (U (R), M ), ∆(T (R, M )) = T (∆(R), M ) A M A, B vành, Morita context gồm thành phần N B B NA song môđun, tồn tích context M ×N → A A M N × M → B với (ω, z) = ωz (z, ω) = zω , thỏa mãn vành A MB N B kết hợp với phép toán trên ma trận A M Morita context gọi tầm thường tích context N B tầm thường, nghĩa M N = N M = (xem [?], trang 1993) Ta có A M N B A M N B ∼ = T (A × B, M ⊕ N ) Morita context tầm thường theo [?] 42 Định lý 27 Cho M (R, R) song môđun Vành R ∆U -vành T (R, M ) ∆U -vành u m Chứng minh (:⇒) Lấy u¯ = ∈ U (T (R, M )) = T (U (R), M ), u u ∈ U (R) m ∈ M Ta u¯ − ∈ ∆(T (R, M )) Rõ ràng, u ∈ U (R) u = + a ∈ + ∆(R) với a thuộc ∆(R) Suy a ¯= 0 + a m a ∈ T (∆(R), M ) = ∆(T (R, M )) Vì T (R, M ) ∆U -vành (⇐:) Điều ngược lại dễ thấy Hệ 12 Giả sử M là(R, S) song môđun Khi vành ma trận R M tam giác dạng ∆U -vành R S S ∆U -vành Hệ 13 R ∆U -vành vành ma trận tam giác Tn (R) ∆U -vành, n ≥ 12 Khơng gian hàm p-khả tích Lp (Ω) Ta nhớ lại khơng gian hàm p-khả tích độ đo Lebesgue n chiều Định nghĩa Cho A ⊂ Rn tập đo Lebesgue p ∈ [1, ∞], Lp (A) := {f : A → R : f đo Lebesgue ∥f ∥Lp < +∞} ∥f ∥Lp Z 1/p p |f (x)| dx = ∥f ∥Lp (A) := A ≤ p ≤ ∞ inf{M > : |f (x)| ≤ M, x ∈ A} Số ∥f ∥Lp gọi chuẩn Lp f A p = ∞ 43 Định lý 28 (Fisher - Riesz) (Lp (A), ∥.∥Lp ) không gian Banach ≤ p ≤ ∞ Hơn L2 (A) khơng gian Hilbert với tích vơ hướng Z (f, g)L2 := f g dx f, g ∈ L2 (A) A Theo kết định lý Riesz - Fisher ta thu kết hữu ích Định lý 29 Cho Ω ⊂ Rn tập mở, (fh )h ⊂ Lp (Ω) f ∈ Lp (Ω) với ≤ p ≤ ∞ Giả sử lim ∥fh − f ∥Lp (Ω) = h→∞ Khi đó, tồn dãy (fhk )k hàm g ∈ Lp (Ω) thỏa mãn (i) fhk (x) → f (x) hầu khắp nơi x ∈ Ω (ii) |fhk (x)| ≤ g(x) hầu khắp nơi x ∈ Ω, ∀k Nhận xét 15 Nó khơng cịn giữ ý nghĩa (MC) ⇒ fh (x) → f (x) hầu khắp nơi x ∈ Ω Nhận xét 16 Chú ý C0 ⊂ Lp (Ω) với p ∈ [1, ∞], với Ω ⊂ Rn tập mở bị chặn, khơng quan hệ bao hàm khơng giữ giữ quan hệ bao hàm C0c (Ω) ⊂ Lp (Ω) với p ∈ [1, ∞] tập mở Ω, C0c (Ω) := {f ∈ C0 (Ω) : spt(f ) compact chứa Ω} spt(f ) := Bao đóng{x ∈ Ω : f (x) ̸= 0} Hơn nhớ lại C0 (Ω, ∥.∥L2 ) khơng gian tuyến tính định chuẩn, khơng phải khơng gian Banach Tính compact (Lp (Ω), ∥.∥Lp ) Trong mục thảo luận kết compact không gian Lp Chúng ta nêu kết không chứng minh Cho f : Rn → R v ∈ Rn , ta định nghĩa τv f : Rn → R hàm v -dịch chuyển f định nghĩa (τv f )(x) := f (x + v) 44 Định lý 30 (M.Riesz - Fréchét - Kolmogorov) Cho F tập bị chặn (Lp (Rn ), ∥.∥Lp ) với ≤ p < ∞ Giả sử lim ∥τv f − f ∥Lp = v→0 với f ∈ F , nghĩa ∀ϵ > 0, ∃δ(ϵ) > : ∥τv f − f ∥Lp < ϵ, ∀v ∈ Rn với |v| < δ, ∀f ∈ F (N EF ) Khi F|Ω := {f |Ω : f ∈ F} compact tương đối (Lp (Ω), ∥.∥Lp ), nghĩa bao đóng compact (Lp (Ω), ∥.∥Lp ), với tập mở Ω ⊂ Rn với độ đo Lebesgue hữu hạn Từ định lý ?? ta suy điều kiện compact (Lp (Ω), ∥.∥Lp ) Nếu f : Ω → R, ta ký hiệu fe : Rn → R hàm định nghĩa ( f (x) x ∈ Ω fe(x) := x ∈ /Ω Hệ 14 Cho Ω ⊂ Rn tập mở với độ đo hữu hạn, cho F ⊂ Lp (Ω) cho Fe := {fe : f ∈ F} Giả sử (i) F bị chặn (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞; (ii) lim ∥τv f − f ∥Lp = với f ∈ F , nghĩa Fe thỏa mãn (ENF ) v→0 Khi F compact tương đối (Lp (Ω), ∥.∥Lp ) Chứng minh Từ định lý ??, Fe tập compact tương đối Lưu ý Fe compact dãy tương đối (Lp (Rn ), ∥.∥Lp ) F compact dãy tương đối (Lp (Ω), ∥.∥Lp ) Do đặc tính tập compact khơng gian metric (Định lý 25) có điều phải chứng minh Cuối cùng, nhớ lại đặc tính compact (Lp (Rn ), ∥.∥Lp ) Định lý 31 Cho F ⊂ Lp (Rn ) với ≤ p < ∞ Khi F compact tương đối (Lp (Rn ), ∥.∥Lp ) (i) F bị chặn (Lp (Rn ), ∥.∥Lp ); (ii) với ϵ > 0, tồn rϵ > thỏa mãn ∥f ∥Lp (Rn \B(0,rϵ )) < ϵ ∀f ∈ F; 45 (iii) lim ∥τv f − f ∥Lp = f ∈ F v→∞ Nhận xét 17 (i) Giả thiết (ENF ) cần thiết định lý ?? Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa ≤ x ≤ h fh (x) := h 0 ngược lại Ω := (0, 1) Khi dễ thấy ∥f ∥L1 R = với h ∈ N F|Ω không compact tương đối (L1 (Ω), ∥.∥L1 ), khơng có dãy (fh )h hội tụ L1 (Ω) Mặt khác, v > 0, với h > 1/v Z Z v ∥τv fh − fh ∥L1 (R) ≥ fh (x + v) dx = −∞ fh (x) = Do đó, (ENF ) khơng cịn cho F (ii) Nếu Ω khơng có độ đo hữu hạn, kết định lý ?? khơng cịn Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa fh (x) := f (x + h) f ∈ Lip(R) với spt(f ) = [−a, a], a > 0, f khơng triệt tiêu Khi ∥f ∥L1 (R) = ∥f ∥L1 (R) > ∀h (53) Hơn F thỏa mãn (ENF ), |τv f − f (x)| = |f (x + v)f (x)| ≤ L|v|X [−a−1,a+1] (x) ∀x ∈ R, v ∈ [−1, 1] ∥τc fh − fh ∥L1 (R) = ∥τv f − f ∥L1 (R) ∀h L := Lip(f ) Cho Ω := R quan sát F = F|Ω không compact tương đối (L1 (R), ∥.∥L1 ) Ngược lại mâu thuẫn nảy sinh (??), từ fh (x) → với x ∈ R Tính tách (Lp (Ω), ∥.∥Lp ) Nhận xét 18 Cho Ω ⊂ tập bị chặn, quan hệ bao hàm C0 (Ω) ⊂ L∞ (Ω) chặt Hơn nữa, với f ∈ C0 (Ω) ∥f ∥∞,Ω = ∥f ∥L∞ (Ω) (∗) 46 Thật ∥f ∥L∞ (Ω) := inf{M > : |f (x)| ≤ M, x ∈ Ω} ≤ sup |f (x)| := ∥f ∥∞,Ω x∈Ω Để chứng minh bất đẳng thức ngược lại, ta quan sát, N ⊂ Ω tập không đáng kể với mối quan hệ đến L, Ω \ N ⊇ Ω Vì thế, theo tính liên tục f , tồn M > cho |f (x)| < M, x ∈ Ω ⇒ |f (x)| ≤ M ∀x ∈ Ω Đặc biệt, từ (∗), C0 (Ω) hóa đóng (L∞ (Ω), ∥.∥L∞ (Ω) ) Không gian đối ngẫu Lp (Ω) Định lý 32 (Định lý biểu diễn Riesz) Cho ≤ p < ∞ ký hiệu p < p < ∞ p′ := p − (số mũ của) p ∞ p = ′ Khi ánh xạ T : Lp (Ω) → (Lp (Ω))′ , định nghĩa Z uf dx, ∀f ∈ Lp (Ω), ⟨T (u), f ⟩(Lp (Ω))×Lp (Ω) := Ω đẳng cấu metric có đặc trưng xác định ′ Lp (Ω) ≡ (Lp (Ω))′ ≤ p < ∞ Chứng minh Ta chia chứng minh thành ba bước Bước 1: Ta chứng minh T phép đẳng cự, nghĩa ′ ∥T (u)∥(Lp (Ω))′ = ∥u∥Lp′ (Ω) , ∀u ∈ Lp (Ω) (54) Theo bất đẳng thức Holder, suy bất đẳng thức ′ ∥T (u)∥(Lp (Ω))′ ≤ ∥u∥Lp′ (Ω) , ∀u ∈ Lp (Ω) (55) Ta bất thức ngược lại Đầu tiên, giả sử < p < ∞, điều có nghĩa < p′ < ∞ Nếu ∥u∥Lp′ (Ω) = 0, đó, u = hầu khắp nơi 47 Ω bất đẳng thức rõ ràng Giả sử < ∥u∥Lp′ (Ω) < ∞, ta cần giả sử < |u(x)| < ∞ hầu khắp nơi x ∈ Ω Định nghĩa ′ fu (x) := |u(x)|p −2 u(x) hầu khắp nơi x ∈ Ω Quan sát fn ∈ Lp (Ω), từ ′ 1/p−1 |fu (x)|p = |u(x)|p hầu khắp nơi x ∈ Ω ⇒ ∥fu ∥Lp (Ω) = ∥u∥Lp′ (Ω) Vì Z ′ ′ ⟨T (u), fu ⟩(Lp (Ω))×Lp (Ω) = Ω u|u|p −2 udx = ∥u∥pLp′ (Ω) (56) Từ (??) (??), suy ′ ∥u∥pLp′ (Ω) = ⟨T (u), fu ⟩(Lp (Ω))′ ×Lp (Ω) ≤ ∥T (u)∥(Lp (Ω))′ ∥fu ∥Lp (Ω) 1/p−1 = ∥T (u)∥(Lp (Ω))′ ∥u∥Lp′ (Ω) Điều có nghĩa ∥T (u)∥(Lp (Ω))′ ≥ ∥u∥Lp′ (Ω) ′ ∀u ∈ Lp (Ω) (57) Vì (??) (??) cho ta (??) Cuối cùng, cho trường hợp p = 1, p′ = ∞, giả sử < M < ∥u(x)∥L∞ (Ω) Khi tập hợp EM := {x ∈ Ω : |u(x)| > M } ∈ M |EM | > Từ không gian đo (Ω, Mn ∩ Ω, Ln ) σ−hữu hạn, tồn tập F ∈ Mn ∩ Ω cho < |EM ∩ F | < ∞ Tập hợp fu (x) := sign(u(x))χEM ∩F (x) hầu khắp nơi x ∈ Ω |EM ∩ F | Khi Z ∥fu ∥L1 (Ω) = |fu (x)|dx = Ω ⟨T (u), fu ⟩(L1 (Ω))′ ×L1 (Ω) = |EM ∩ F | Z |u|dx ≥ M, ∀M ∈ (0, ∥u∥L∞ (Ω) ) EM ∩F (43b) 48 Từ (??) (43b), suy M ≤ ⟨T (u), fu ⟩(L1 (Ω))′ ×L1 (Ω) ≤ ∥T (u)∥(L1 (Ω))′ ∥fu ∥L1 (Ω) = ∥T (u)∥(L1 (Ω))′ , ∀M ∈ (0, ∥u∥L∞ (Ω) ), Từ ∥T (u)∥(L1 (Ω))′ ≥ ∥u∥L∞ (Ω) , ∀u ∈ L∞ (Ω) (24b) Từ (??) (44b), đồng (??) p = Bước 2: Đầu tiên giả sử |Ω| < ∞ ta chứng minh T toàn ánh, ′ nghĩa ∀ϕ ∈ (Lp (Ω))′ , ∃u ∈ Lp (Ω) cho T (u) = ϕ ⇔ ⟨T (u), f ⟩(Lp (Ω))′ ×Lp (Ω) = ϕ(f ), ∀f ∈ Lp (Ω) Bởi |Ω| < ∞, χE ∈ Lp (Ω) với E ∈ M := Mn ∩ Ω, p ∈ [1, ∞) Định nghĩa tập hợp hàm ν : M → R ν(E) := ϕ(χE ), E ∈ M Chỉ ν σ -hữu hạn, độ đo có dấu; (58) ν ≪ Ln M (59) Thật |ν(E)| < ∞ với E ∈ M, ν σ -hữu hạn Giả sử (Eh )h ⊂ M dãy rời nhau, ta chưng minh ν(∪∞ h=1 Eh ) = ∞ X ν(Eh ) Tập hợp E := ∪∞ h=1 Eh Với số nguyên m h=1 !