Các phương pháp nghiên cứu định lí krasnoselskii về điểm bất động trong nón

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: CÁC PHƯƠNG PHÁP NGHIÊN CỨU ĐỊNH LÍ KRASNOSELSKII VỀ ĐIỂM BẤT ĐỘNG TRONG NÓN 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 Luận văn trình bày số lý thuyết nhánh nghiệm phương trình: f(x,?)=0 Trong chương, ánh xạ f xét ánh xạ khả vi theo biến x – ánh xạ f trường compact – ánh xạ f trường tốn tử đặc Trường hợp phương trình f(x,?) = có nhánh nghiệm, ta khơng có phân nhánh Nếu phương trình có nhiều hai nhánh nghiệm ta có phân nhánh Tại điểm (xo, ?o) xuất phát nhiều hai nhánh nghiệm (xo, ?o) gọi điểm phân nhánh phương trình f(x, ?) = 583 2 Nhóm nhị diện Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ 3, H nhóm Dn Khi (i) Nếu H = Rk với k|n, ⩽ k ⩽ n Pr(H, Dn ) =  n+k   n n lẻ, n chẵn k ∤ , 2n   n + 2k n chẵn k | n 2n (ii) Nếu H = Tl với ⩽ l ⩽ n − Pr(H, Dn ) =  n+1   n lẻ, 2n   n + n chẵn 2n (iii) Nếu H = Ui,j với i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − Pr(H, Dn ) =  n+i+2     4n         n lẻ, n+i+4 n n chẵn i ∤ , 4n n + 2i + n n chẵn i | 4n Chứng minh (i) Giả sử H = Rk với k|n, ⩽ k ⩽ n Theo Mệnh đề ?? ta có |Rk | = Do Rk = ⟨rk ⟩ =  n n = (n, k) k  n rkl ⩽ l ⩽ − k Khi X |CDn (x)| = |CDn (1)| + x∈Rk Ta xét hai trường hợp n sau X 1⩽l⩽ nk −1 |CDn (rkl )| Trường hợp 1: n lẻ Theo Mệnh đề ?? ta có X kl |CDn (r )| = n k 1⩽l⩽ nk −1 Từ suy X |CDn (x)| = |Dn | + n k x∈Rk  − |R1 |  − |R1 | = 2n + n k  −1 n= n(n + k) k Áp dụng Mệnh đề 12 ta có Pr(Rk , Dn ) = X 1 n+k n+k |CDn (x)| = n n = |Rk ||Dn | k 2n 2n x∈Rk k Trường hợp 2: n chẵn Ta xét hai trường hợp k n Trường hợp 2a: k ∤ Khi đó, theo Mệnh đề ?? ta có n  X |CDn (rkl )| = k 1⩽l⩽ nk −1 Từ suy X |CDn (x)| = |Dn | + x∈Rk n k − |R1 |  − |R1 | = 2n + n k  −1 n= n(n + k) k Áp dụng Mệnh đề 12, ta có X n+k n+k |CDn (x)| = n n = |Rk ||Dn | k 2n 2n x∈Rk k n Trường hợp 2b: k | Khi đó, theo Mệnh đề ?? ta có n  X X n
U n2 ,il+j = i i Từ suy X |CDn (x)| = 2n + x∈Ui,j Áp dụng Mệnh đề 12 ta có X Pr(Ui,j , Dn) = |Ui,j ||Dn | n(n + 2i + 4) n2 4n + = i i i |CDn (x)| = x∈Ui,j n(n + 2i + 4) n + 2i + = 2n i 4n 2n i Vậy ta có điều phải chứng minh Trong ví dụ sau ta tính lại độ giao hốn tương đối nhóm nhóm nhị diện D3 D4 cách áp dụng Mệnh đề Ví dụ (i) Với n = 3, xét nhóm nhị diện D3 (cho Ví dụ 3) Các nhóm D3 R1 = ⟨r⟩, R3 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩; D3 Khi Pr(R1 , D3 ) = 3+3 3+1 = , Pr(R3 , D3 ) = = 1; 2·3 2·3 35 Pr(T0 , D3 ) = Pr(T1 , D3 ) = Pr(T2 , D3 ) = 3+1 = ; 2·3 Pr(D3 , D3 ) = Pr(D3 ) = (ii) Với n = 4, xét nhóm nhị diện D4 (cho Ví dụ 4) Các nhóm D4 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩, T3 = ⟨r3 s⟩; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩; D4 Khi Pr(R1 , D4 ) = 4+2·2 4+4 4+2·1 = , Pr(R2 , D4 ) = = 1, Pr(R4 , D4 ) = = 1; 2·4 2·4 2·4 Pr(T0 , D4 ) = Pr(T1 , D4 ) = Pr(T2 , D4 ) = Pr(T3 , D4 ) = Pr(U2,0 , D4 ) = Pr(U2,1 , D4 ) = 11 4+2 = ; 2·4 4+2·2+4 = ; Pr(D4 , D4 ) = Pr(D4 ) = 4·4 ĐỊNH LÝ CAUCHY Định lý 11 (Định lý Cauchy) Giả sử hàm số f g liên tục [a, b], khả vi khoảng (a, b) g ′ (x) ̸= với x ∈ (a, b) Khi tồn c ∈ (a, b) cho: f (b) − f (a) f ′ (c) = ′ g(b) − g(a) g (c) Chứng minh Trước hết ta nhận xét g(a) ̸= g(b) Nghĩa công thức kết luận định lý ln ln có nghĩa Thật vậy, giả sử g(a) = g(b) Khi theo định lý Rolle, tồn ξ ∈ (a, b) cho g ′ (ξ) = Điều mâu thuẫn với giả thiết g ′ (x) ̸= với x ∈ (a, b) Xét hàm số F (x) = [f (a) − f (b)]g(x) − [g(a) − g(b)]f (x) Do hàm f (x), g(x) liên tục đoạn [a, b] khả vi khoảng (a, b) nên hàm số F (x) có tính chất Mặt khác, F (a) = F (b) 36 Theo định lý Rolle, tồn c ∈ (a, b) cho F ′ (c) = Nhưng ta có F ′ (x) = [f (a) − f (b)]g ′ (x) − [g(a) − g(b)]f ′ (x) Suy F ′ (c) = [f (a) − f (b)]g ′ (c) − [g(a) − g(b)]f ′ (c) = Từ ta nhận điều phải chứng minh Nhận xét Định lý Lagrange trường hợp riêng định lý Cauchy g(x)=x Chú ý: Các định lý Rolle, Lagrange, Cauchy khơng cịn điều kiện giả thiết không thỏa mãn Nghĩa hàm f g không khả vi khoảng (a, b) hay khơng liên tục đoạn [a, b] định lý không 12 Không gian hàm khả vi liên tục C1 (Ω) Định nghĩa 10 Cho Ω ⊂ Rn tập mở (i) Cho f : Ω → R i = 1, , n, ta nói f liên tục khả vi cấp ∂f = Di f ∈ C0 (Ω)) có tồn g ∈ C0 (Ω) thỏa mãn ∂xi ∂f ∂f = Di f Ω, = Di f hiểu lớp đạo hàm g= ∂xi ∂xi riêng thứ i f i Ω (∃ (i) C (Ω) :=   ∂f f ∈ C (Ω) : ∃ ∈ C0 (Ω), ∀i = 1, , n ∂xi (iii) Cho f C1 (Ω) Ta biểu thị ∥f ∥C1 = ∥f ∥C1 ,Ω = X |α|≤1 ∥.∥C1 gọi chuẩn C1 ∥Dα f ∥∞,Ω 37 Định lý 12 Cho Ω ⊂ Rn tập mở, bị chặn Khi (C1 (Ω), ∥.∥C1 ) khơng gian Banach vô hạn chiều, không không gian Hilbert Chứng minh Ta xét trường hợp n = Ω = (a, b) Đầu tiên ta phải đầy đủ khơng khơng gian Hilbert Xét ánh xạ tuyến tính T : (C1 (Ω), ∥.∥C1 ) → (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ), T (f ) := (f, f ′ ) (4) ∥f, g∥C0 (Ω)×C0 (Ω) := ∥f ∥∞ + ∥g∥∞ (f, g) ∈ C0 (Ω) × C0 (Ω) Chú ý T đẳng cự, nghĩa ∥T (f )∥C0 (Ω)×C0 (Ω) = ∥f ∥C1 ∀f ∈ C1 (Ω) Đặc biệt, ta định nghĩa M := T (C1 (Ω)), ánh xạ T : (C1 (Ω), ∥.∥C1 ) → (M, ∥.∥C0 (Ω)×C0 (Ω) ) đẳng cự Bài tập Cho (E, ∥.∥E ) (F, ∥.∥F ) khơng gian Banach Cho E × F với chuẩn ∥(x, y)∥F = ∥x∥E + ∥y∥F Khi (E × F, ∥(x, y)∥E×F ) không gian Banach Do đó, ta phải M đóng (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ), để hồn thành chứng minh Giả sử ((fh , fh′ ))h ⊂ M dãy mà lim ∥(fh − f, fh′ − g)∥C0 (Ω)×C0 (Ω) = h→∞ (5) 38 với (f, g) ∈ C0 (Ω) × C0 (Ω chứng minh ∃f ′ = g [a, b] (6) Theo (43), ta fh → f fh′ → g [a, b] hội tụ theo điểm Theo định lý tích phân cổ điển Z x fh′ (t)dt fh (x) − fh (a) = ∀x ∈ [a, b], ∀h, a ta lấy qua giới hạn, h → ∞, đồng thức trước theo (44) Bài tập Chỉ (C1 (Ω), ∥.∥C1 ) không gian Banach, X ∥Dα u∥∞ ∥u∥C1 := |α|≤1 Ω ⊂ Rn tập mở bị chặn C1 (Ω) khơng gian vector vơ hạn chiều chứa tập hợp đa thức C1 (Ω) không không gian Hilbert Tính compact (C1 (Ω), ∥.∥C1 ) Định lý 13 Cho F ⊂ C1 (Ω) Fi := {Di f : f ∈ F}, i = 1, , n Khi F compact (C1 (Ω), ∥.∥C1 ) F Fi , với i = 1, , , n (i) Bị chặn (C0 (Ω), ∥.∥C0 ); (ii) đóng (C0 (Ω), ∥.∥C0 ); (iii) liên tục Ω Chứng minh Ta xét trường hợp n = Ω = (a, b) Sự cần thiết: Chỉ rằng, F compact (C1 (Ω), ∥.∥C1 ), (i), (ii) (iii) Cho T : (C1 (Ω), ∥.∥C1 ) → (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) ánh xạ định nghĩa (42) 39 Trong chứng minh định lý 47 ta tồn T −1 : (M, ∥.∥C0 (Ω)×C0 (Ω) ) → (C1 (Ω), ∥.∥C1 ) liên tục Do F compact (C1 (Ω), ∥.∥C1 ) tương đương với T (F) compact (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) Giờ ta quan sát, xác biểu thị πi : C0 (Ω) × C0 (Ω) → C0 (Ω), (i = 1, 2) phép chiếu không gian tọa độ, nghĩa πi (f1 , f2 ) = fi (f1 , f2 ) ∈ C0 (Ω) × C0 (Ω), πi liên tục Từ F compact (C1 (Ω), ∥.∥C1 ), T (F) compact (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) Điều có nghĩa π1 (T (F)) = F π2 (T (F)) = F ′ compact (C0 (Ω), ∥.∥C0 ) Theo định lý Arzelà - Ascoli ta (i), (ii), (iii) Tính đầy đủ: Chứng minh Bài tập F compact (C1 (Ω), ∥.∥C1 ), cho trước (i), (ii) (iii) Nhận xét Cho F = BC1 ([a,b]) := {f ∈ C1 ([a, b]) : ∥f ∥C1 = ∥f ∥∞ + ∥f ′ ∥∞ ≤ 1} Khi F khơng compact (C1 ([a, b]), ∥.∥C1 ) theo định lý Riesz’s (nhớ C1 ([a, b]) không gian vô hạn chiều) Nhưng F compact tương đối (C0 ([a, b]), ∥.∥∞ ), nghĩa là, ∀(fh )h ⊂ F tồn (fhk )k f ∈ C0 ([a, b]) thỏa mãn lim ∥fhk − f ∥∞ = k→∞ Tính tách (C1 (Ω), ∥.∥C1 ) Định lý 14 (C1 (Ω), ∥.∥C1 ) tách Chứng minh Cho T : (C1 (Ω), ∥.∥C1 ) → (M, ∥.∥C0 (Ω)×C0 (Ω) ) 40 ánh xạ định nghĩa (42) Vì T đồng phơi tính tách được bảo tồn qua phép đồng phơi, ta cần khơng gian (M, ∥.∥C0 (Ω)×C0 (Ω) ) khơng gian metric (C0 (Ω) × C0 (Ω), ∥.∥C0 (Ω)×C0 (Ω) ) tách Điều tính tách (C0 (Ω), ∥.∥∞ ) (Định lý ??), tập 10 từ tính chất tách qua giới hạn đến không gian (Xem định lý ?? (ii)) 13 Các tính chất tổng quát ∆U -vành Ta biết + J(R) ⊆ U (R) Vành R gọi U J -vành U (R) ⊆ + J(R), nghĩa + J(R) = U (R) Lưu ý R U J -vành ∆(R) = J(R) Một vành R gọi ∆U -vành + ∆(R) = U (R) Mệnh đề 13 Một vành R ∆U -vành U (R)+U (R) ⊆ ∆(R) (khi U (R) + U (R) = ∆(R)) Chứng minh Giả sử R ∆U -vành, lấy u, v ∈ U (R), ta có + u ∈ ∆(R) − v ∈ ∆(R), u + v = (1 + u) − (1 − v) ∈ ∆(R) hay U (R) + U (R) ⊆ ∆(R) Ngược lại, giả sử U (R) + U (R) ⊆ ∆(R), suy U (R) + U (R) = ∆(R) (vì ∆(R) ⊂ U (R) + U (R)) hay + ∆(R) = U (R) Vậy R ∆U -vành Mệnh đề sau trình bày số tính chất ∆U -vành Mệnh đề 14 Cho R ∆U -vành Khi (1) ∈ ∆(R); (2) Nếu R thể, R ∼ = F2 ; (3) Nếu x2 ∈ ∆(R) x ∈ ∆(R) (do N (R) ⊆ ∆(R)); (4) R hữu hạn Dedekind; (5) Cho I ⊆ J(R) iđêan R Khi R ∆U -vành R/I ∆U -vành; Y Ri ∆U vành Ri ∆U , với i ∈ I (6) Vành i∈I 41 (7) Nếu T vành R thỏa mãn U (T ) = U (R) ∩ T , T ∆U -vành Cụ thể áp dụng cho Z = Z(R) tâm R Chứng minh (1) Từ Mệnh đề ?? ta dễ dàng suy ∈ ∆(R) (2) Nếu R thể ∆(R) = Vì R U J -vành nên ta suy ∼ R = F2 (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 đề 32 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ý 15 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 42   0 − a 0 0        kỳ a ∈ R, a ̸= 0, ta có X =   ∈ Mn (R) X =       0 Do M   tử khả nghịch n (R) ∆U -vành,ta lấy X ∈ ∆(Mn (R)) Lấy phần 0 0 0 0  0 0          0     ∈ M (R) Khi I −U X = U =    n n             0 a 0 0 khả nghịch Mn (R), hay a ∈ U (R) Do đó, R thể ∼ Tiếp  minh R = F2 Lấy a ∈ R, a ̸= a ̸= Lấy  theo, ta chứng a 0 0 a 0      0 X=  ∈ Mn (R) Khi X khả nghịch Vì Mn (R)       0 a   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 43   Suy In − X khả nghịch, mâu thuẫn Do đó, n = X2 = 1 R ∼ = M1 (R) ∆U -vành Mệnh đề 15 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 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  Mở rộng tầm thường T (R, M ) đẳng cấu với vành : r ∈ R m ∈ M   R M vành ma trận × Hơn nữa, kiểm tra R T (R, R) ∼ = R[x]/(x ) Theo Mệnh đề 21, 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 )   Morita context gồm thành phần A M N B A, B vành, 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 kết hợp với phép toán ma trận B  44   A M gọi tầm thường tích context Morita 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 [?] Định lý 16 Cho M (R, R) song môđun Vành R ∆U -vành T (R, M ) ∆U -vành   u m ∈ U (T (R, M )) = T (U (R), M ), Chứng minh (:⇒) Lấy u¯ = 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 ≥ 14 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 11 Cho A ⊂ Rn tập đo Lebesgue p ∈ [1, ∞], Lp (A) := {f : A → R : f đo Lebesgue ∥f ∥Lp < +∞} 45 ∥f ∥Lp Z 1/p   p |f (x)| dx = ∥f ∥Lp (A) := A   ≤ p ≤ ∞ inf{M > : |f (x)| ≤ M, x ∈ A} p = ∞ Số ∥f ∥Lp gọi chuẩn Lp f A Định lý 17 (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ý 18 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 Nó khơng cịn giữ ý nghĩa (MC) ⇒ fh (x) → f (x) hầu khắp nơi x ∈ Ω Nhận xét 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 46 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) Định lý 19 (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ý 39 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ý 39, 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ý ??) có điều phải chứng minh 47 Cuối cùng, nhớ lại đặc tính compact (Lp (Rn ), ∥.∥Lp ) Định lý 20 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; (iii) lim ∥τv f − f ∥Lp = f ∈ F v→∞ Nhận xét (i) Giả thiết (ENF ) cần thiết định lý 39 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ý 39 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 (7) 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