Một số phương pháp nghiên cứu bao hàm thức trong không gian có thứ tự

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: MỘT SỐ PHƯƠNG PHÁP NGHIÊN CỨU BAO HÀM THỨC TRONG KHÔNG GIAN CÓ THỨ TỰ - TRẦN GIA HUY 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 Mục đích luận văn nghiên cứu tồn tại, tính xấp xỉ nghiệm toán biên nhiều điểm cho hệ phương trình vi phân thường Nội dung luận văn gồm ba chương: Chương chúng tơi trình bày kết tổng quát tồn tại, xấp xỉ nghiệm toán biên tổng quát cho hệ phương trình vi phân tuyến tính Trong chương nhờ khái niệm ma trận Oplia phương pháp đánh giá tiệm cận đưa số điều kiện đủ cho tồn tại, xấp xỉ nghiệm toán biên tổng quát cho hệ phương trình vi phân phi tuyến tính Trên sở kiến thức chuẩn bị từ chương chương 2, chương nhận điều kiện cần đủ điều kiện đủ cho tồn nghiệm toán biên nhiều điểm Sau phương pháp đánh giá tiệm cận chúng tơi có dấu hiệu cụ thể cho vấn đề xấp xỉ nghiệm toán 357 2 Không gian hữu hạn chiều Định nghĩa (i) Một không gian vector E trường số thực gọi hữu hạn chiều bao gồm hữu hạn vector độc lập tuyến tính (ii) Số lớn vector độc lập tuyến tính khơng gian vector hữu hạn chiều E gọi chiều ký hiệu dimR E Hệ B ⊂ E sinh dimR E vector độc lập tuyến tính gọi sở Định lý Giả sử E không gian vector hữu hạn chiều dimR E = n (i) Nếu B ⊂ E sở, B sinh E , cụ thể spanR B = E (ii) E Rn đẳng cấu tuyến tính (iii) Giả sử ∥.∥1 ∥.∥2 hai chuẩn E Khi (E, ∥.∥1 ) (E, ∥.∥2 ) đẳng cấu topo (iv) Giả sử ∥.∥ chuẩn E Khi (E, ∥.∥) (E ′ , ∥.∥E ′ ) đẳng cấu topo Theo tập trước, không gian định chuẩn hữu hạn chiều (E, ∥.∥) đẳng cấu topo với không gian Hilbert Rn Đây đặc trưng mạnh, khơng cịn cho khơng gian định chuẩn vơ hạn chiều Các cận cho độ giao hoán tương đối nhóm Mệnh đề sau cho ta cận cận cho độ giao hoán tương đối nhóm nhóm Mệnh đề Cho H nhóm G, p ước nguyên tố nhỏ |G| Khi |Z(G) ∩ H| + |H| |Z(G) ∩ H| p(|H| − |Z(G) ∩ H|) + ⩽ Pr(H, G) ⩽ |H| |H||G| 2|H| Chứng minh Đặt K = Z(G) ∩ H Khi theo Mệnh đề ?? ta có X X X |H||G| Pr(H, G) = |CG (x)| = x∈H |CG (x)| + x∈K = |K||G| + X |CG (x)| x∈H\K |CG (x)| x∈H\K Rõ ràng x ∈ H \ K {1} ⊊ CG (x) ⊊ G p ⩽ |CG (x)| ⩽ Do p(|H| − |K|) ⩽ X |CG (x)| ⩽ (|H| − |K|) x∈H\K |G| |G| Cho nên |K||G| + p(|H| − |K|) ⩽ |H||G| X |CG (x)| ⩽ |K||G| + (|H| − |K|) x∈H\K |G| Từ suy |K| p(|H| − |K|) |K| |H| − |K| + ⩽ Pr(H, G) ⩽ + , |H| |H||G| |H| 2|H| ta có cơng thức cần chứng minh Rõ ràng độ giao hốn tương đối nhóm nhóm giao hốn Kết sau cho ta cận cho độ giao hốn tương đối nhóm một nhóm khơng giao hốn Mệnh đề Cho G nhóm khơng giao hốn H nhóm G Khi (i) Nếu H ⊆ Z(G) Pr(H, G) = Hơn nữa, H nhóm khơng giao hốn Pr(H, G) ⩽ (ii) Nếu H ⊈ Z(G) Pr(H, G) ⩽ Chứng minh X (i) Vì H ⊆ Z(G) nên |CG (x)| = |H||G| Do x∈H Pr(H, G) = X |CG (x)| = |H||G| = |H||G| |H||G| x∈H (ii) Giả sử H ⊈ Z(G) Khi dó Z(G) ∩ H ⊊ H , Cho nên |Z(G) ∩ H| ⩽ |H| Áp dụng Định lý ?? ta |H| + |H| |Z(G) ∩ H| + |H| Pr(H, G) ⩽ ⩽ = |H| |H| Giả sử H không nhóm giao hốn Khi theo Mệnh đề 23 ta có Pr(H) ⩽ Do đó, theo Định lý ?? ta có Pr(H, G) ⩽ Pr(H) ⩽ Vậy ta có điều phải chứng minh Kết sau mơ tả cấu trúc nhóm trường hợp đạt đươc cận Mệnh đề ?? Mệnh đề Cho H nhóm nhóm G Khi đó: H/(Z(G) ∩ H) ∼ = Z2 ; (ii) Nếu Pr(H, G) = H khơng giao hốn H/(Z(G)∩H) ∼ = Z2 × Z2 (i) Nếu Pr(H, G) = Chứng minh (i) Giả sử Pr(H, G) = Khi đó, theo Định Lý ?? ta có |Z(G) ∩ H| + |H| |Z(G) ∩ H| = Pr(H, G) ⩽ = + 2|H| 2|H| Từ suy |H| ⩽ |Z(G) ∩ H| |H| = |H| = |Z(G) ∩ H|, từ suy H ⊆ Z(G) Khi |Z(G) ∩ H| theo Mệnh đề ?? (i) ta có Pr(H, G) = Điều mâu thuẫn với giả |H| thiết Do = 2, H/(Z(G) ∩ H) ∼ = Z2 , ta có điều |Z(G) ∩ H| Nếu phải chứng minh 5 (ii) Giả sử Pr(H, G) = Bằng cách lập luận tượng tự ta suy |H| ⩽ |Z(G) ∩ H| Vì Z(G) ∩ H ⩽ Z(H) nên H/Z(H) ⩽ H/(Z(G) ∩ H) Vì H khơng giao hốn nên H/Z(H) khơng nhóm xiclíc Do H/(Z(G) ∩ H) khơng nhóm xiclíc Từ suy |H| ⩾ |Z(G) ∩ H| Điều chứng tỏ |H| = 4, |Z(G) ∩ H| H/(Z(G) ∩ H) ∼ = Z2 × Z2 Các đặc trưng ∆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) 4.1 Các tính chất tổng quát ∆U -vành Bổ đề Cho R vành tùy ý, ta có (1) ∆(R) vành R (2) ∆(R) iđêan R ∆(R) = J(R) (3) Với r ∈ ∆(R) u ∈ U (R), ur, ru ∈ ∆(R) Y Y Y (4) Nếu R = Ri tích vành Ri , ∆( Ri ) = ∆(Ri ) i∈I i∈I (5) Nếu R vành nửa địa phương, ∆(R) = J(R) i∈I (6) ∆(R[x]/(xn )) = ∆(R)[x]/(xn ) (7) ∆(R[[x]]) = ∆(R)[[x]] Vành R gọi ∆U -vành + ∆(R) = U (R) Mệ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) Các tính chất ∆U -vành Mệnh đề Cho R ∆U -vành Khi (1) ∈ ∆(R); (2) Nếu R division ring, R ∼ = F2 ; (3) Nếu x2 ∈ ∆(R) x ∈ ∆(R); (4) R Dedekind finite; (5) Cho I ⊆ J(R) iđêan R Khi R ∆U -vành R/I ∆U -vành; Y (6) Vành Ri ∆U vành Ri ∆U , với i ∈ I i∈I (7) Nếu T vành R thỏa mãn U (T ) = U (R) ∩ T , T ∆U -vành Cụ thể, điều áp dụng cho Z = Z(R) tâm R Chứng minh (1) Hiển nhiên (2) (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, 1+x ∈ 1+∆(R), x ∈ ∆(R) (4) Giả sử a, b ∈ R với ab = Khi − 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)] ∈ ∆ Từ đó, ba ∈ U (R) ba = (5) Nếu I ⊆ J(R) ideal, ∆(R/I) = ∆(R)/I Giả sử R ∆U vành Khi 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) Giả thiết U (T ) = U (T ) ∩ T nghĩa ∆(R) ∩ T ⊆ ∆(T ) Bây U (R) = + ∆(R) cho + ∆(T ) ⊆ U (T ) = U (R) ∩ T = (1 + ∆(R)) ∩ T = + (∆(R) ∩ T ) ⊆ + ∆(T ) Định lý 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  0 − a     0 0    minh R division Lấy a ∈ R, a ̸= 0, ta có X =     0 Mn (R) X = DoMn (R) ∆U -vành, ta lấy X ∈∆(Mn (R)) Lấy U=  0 1 0 0 0 0 0          0     ∈ M (R) Khi I − U X =     n n             0 0 0 a khả nghịch Mn (R), hay a ∈ U (R) Do đó, R division ∈    ∼ 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   X2 = Suy In − X khả nghịch, mâu thuẫn Do đó, n = 1 R ∼ = M1 (R) ∆U -vành Mệnh đề 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 Định lý Cho M (R, R) song môđun Vành R ∆U -vành = ∥ϕ∥(Lp (Ω))′ ∪∞ h=m+1 Eh udx = ν(En± ) < ∞ 48 Do u± ∈ L1 (Ω) Từ tuyến tính ϕ tích phân, rõ ràng Z ϕ(s) = (26) u s dx Ω với hàm đơn giản đo s : Ω → R Để kết luận, cần chứng minh ′ u ∈ Lp (Ω), ∀p ∈ [1, ∞) (27) Thật vậy, với f ∈ Lp (Ω), theo xấp xỉ hàm đơn giản (Định lý ??), tồn dãy sh : Ω → R, (h = 1, 2, ) hàm đơn gian đo thỏa mãn sh → f Lp (Ω) (28) Từ (21), (22) bất đẳng thức Holder, suy Z u(sh − f )dx ≤ ∥u∥ p′ ∥f − sh ∥Lp (Ω) → L (Ω) (29) Ω Điều kiện (20), (23) tính liên tục ϕ cho Z Z ϕ(f ) = lim ϕ(sh ) = lim h→∞ u sh dx = h→∞ Ω u f dx, ∀f ∈ Lp (Ω) Ω ′ Đặc biệt, tồn u ∈ Lp (Ω) cho T (u) = ϕ Ta điều phải chứng minh Ta chứng minh (21) Trong trường hợp p = 1, giả sử M > cho EM := {x ∈ Ω : u(x) > M } Khi Z M |EM | ≤ udx = ϕ(χEM ) ≤ ∥ϕ∥(Lp (Ω))′ |EM | EM Vì |EM | = M > ∥ϕ∥(Lp (Ω))′ , từ ta suy ≤ u+ (x) ≤ ∥ϕ∥(Lp (Ω))′ hầu khắp nơi x ∈ Ω ⇔ ∥u+ ∥L∞ (Ω) ≤ ∥ϕ∥(Lp (Ω))′ Tương tự ∥u− ∥L∞ (Ω) ≤ ∥ϕ∥(Lp (Ω))′ 49 ′ u = u+ − u− ∈ L∞ (Ω) = L1 (Ω) Trong trường hợp < p < ∞, theo xấp xỉ hàm đơn giản, cho (sh ) dãy hàm đơn giản đo cho ≤ s1 ≤ s2 ≤ ≤ sh ≤ ≤ |u| Ω, (30) lim sh (x) = |u(x)|, ∀x ∈ Ω (31) h→∞ Bây ta chứng minh ước lượng quan trọng sau ∥sh ∥Lp′ (Ω) ≤ ∥ϕ∥(Lp (Ω))′ , ∀h (32) Tập hợp ′ uh (x) := |sh (x)|p −1 sign(u(x)) x ∈ Ω Khi (uh ) dãy hàm đơn giản Z Z (24) ′ ∥sh ∥pLp′ (Ω) p′ |sh | dx ≤ = Ω Ω ′ shp −1 |u|dx Z (20) = uh u dx = ϕ(uh ) Ω Z ≤ ∥ϕ∥(Lp (Ω))′ ∥uh ∥Lp (Ω) = ∥ϕ∥(Lp (Ω))′  p1 ′ |sh |(p −1)p dx Ω Z  p1 p′ = ∥ϕ∥(Lp (Ω))′ p′ p Lp (Ω) = ∥ϕ∥(Lp (Ω))′ ∥sh ∥ |sh | dx Ω Nếu ∥sh ∥Lp′ (Ω) = 0, (26) hiển nhiên Nếu ∥sh ∥Lp′ (Ω) > 0, bất p′ p p′ đẳng thức (26) chia cho ∥sh ∥L Từ (25), (26) bổ đề Fatou ta có Z Z ′ p ∥u∥L = p′ (Ω) ′ |u|p dx ≤ lim inf Ω h→∞ Ω (Ω) p ý p′ (1 − ) = ′ ′ ′ |sh |p dx = lim inf ∥sh ∥pLp′ (Ω) ≤ ∥ϕ∥p(Lp (Ω))′ < ∞ h→∞ Do (21) < p < ∞ Bước 3: Giả sử |Ω| = ∞ ta chứng minh T is still onto Cho (Ω)h dãy tăng tập bị chặn cho Ω = ∪∞ h=1 Ωh 50 ′ Ta đồng ý với nhận định Lp (Ωh ) Lp (Ωh ), (h = 1, 2, ) với không gian ′ Lp (Ω) Lp (Ω) bao gồm hàm khuyết bên Ωh Đặc biệt, với ϕ ∈ (Lp (Ω))′ suy ϕ ∈ (Lp (Ω))′ ∥ϕ∥(Lp (Ωh ))′ ≤ ∥ϕ∥(Lp (Ω))′ , ∀h (33) ′ Từ bước 2, với h, tồn uh ∈ Lp (Ωh ) cho ∥uh ∥Lp′ (Ω) = ∥ϕ∥(Lp (Ωh ))′ Z ϕ(f ) = (34) uh f dx, ∀f ∈ Lp (Ωh ) (35) Ωh Chú ý từ Lp (Ωh ) ⊂ Lp (Ωh+1 ), theo tính uh+1 = uh hầu khắp nơi Ωh Vì vậy, suy định nghĩa hàm u : Ω → R u(x) := uh (x) x ∈ Ωh Từ (27), (28) định lý đơn điệu hội tụ ∥u∥Lp′ (Ω) = lim ∥u∥Lp′ (Ωh ) = lim ∥uh ∥Lp′ (Ω) ≤ ∥ϕ∥(Lp (Ω))′ < ∞, h→∞ h→∞ ′ u ∈ Lp (Ω) Hơn nữa, f ∈ Lp (Ω), theo định lý tính hội tụ trội f χΩh → f LP (Ω), thế, theo tính liên tục ϕ (29), Z ϕ(f ) = lim ϕ(f χΩh ) = lim h→∞ h→∞ Z u f dx = Ωh u f dx Ω Ta hoàn tất chứng minh Nhận xét 16 Định lý biểu diễn Riesz mở rộng đến không gian đo (X, M, µ) Chính xác hơn, ta xác định ′ Lp (X, µ) ≡ (Lp (X, µ))′ cịn giữ • < p < ∞ cho o tng quỏt 51 ã p = biết µ σ -hữu hạn Cách xác định sai trường hợp khác Support hàm Lp Ta biết rằng, cho hàm f : Rn R, support f tập hợp spt(f ) := Bao đóng{x ∈ Rn : f (x) ̸= 0} = {x ∈ Ω : f (x) ̸= 0} (S) Định nghĩa khơng cịn phù hợp cho hàm f ∈ Lp (Rn ) Thật vậy, ta muốn khái niệm thỏa mãn tính chất sau f1 = f2 hầu khắp nơi Rn ⇒ spt(f1 ) = spt(f2 ), trừ số phần không đáng kể Nhưng trường hợp khơng Thật Ví dụ: Cho f1 := χQ : R → R f2 ≡ Khi đó, rõ ràng f1 = f2 hầu khắp nơi R spt(f1 ) = Q = R spt(f2 ) = ∅ Mệnh đề 25 (Support thiết yếu cùa hàm) Cho f : Rn → R Ký hiệu Af := {ω ⊂ Rn : ω tập mở f = hầu khắp nơi ω} cho Af := ∪ω∈Af ω Khi Af tập mở f = hầu khắp nơi Af Tập đóng spte (f ) := Rn \ Af (ES) gọi support cần thiết f Rn Nhận xét 17 (i) Từ định nghĩa (ES), suy ra, f1 = f2 hầu khắp nơi Rn , spte (f1 ) = spte (f2 ) (ii) Định nghĩa (S) (ES) giống hàm liên tục Chính xác 52 Bài tập Nếu f : Rn → R liên tục, Rn \ Af = {x ∈ Rn : f (x) ̸= 0} Chứng minh mệnh đề Hiển nhiên Af tập mở Ta chứng minh f (x) = hầu khắp nơi x ∈ Af (36) Từ Rn không gian metric tách được, thỏa mãn tiên đề thứ hai tính đếm (Định lý 16) Do tồn họ đếm tập mở U = {Ui : i ∈ N} thỏa mãn với tập mở Rn hợp phần tử đếm U Với ω ∈ Af , giả sử ω = ∪i∈Jω Ui cho số phù hợp Jω ⊂ N cho J := ∪ω∈Af Jω Do Af = ∪i∈J Ui Từ f = hầu khắp nơi Ui với i ∈ J , theo (30) 13 13.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 toá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;