Nghiệm không âm của phương trình vi phân hàm bậc nhất

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: NGHIỆM KHƠNG ÂM CỦA PHƯƠNG TRÌNH VI PHÂN HÀM BẬC NHẤT 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 Hiện có giải thuật cho chỉnh hóa thưa trình bày nhiều sách báo, tạp chí tốn học phương pháp loại Gradient [9], phương pháp Newton nửa trơn [11], phương pháp cải tiến Nesterov [9], phương pháp Stochastic [12], Trong số phương pháp kể trên, phương pháp Newton nửa trơn có tốc độ hội tụ bậc hai nhanh [11] Với tìm hiểu phương pháp Newton nửa trơn 304 2 Độ giao hốn tương đối nhóm Ta bắt đầu định nghĩa độ giao hoán nhóm Định nghĩa Cho G nhóm H nhóm G Ký hiệu C = {(h, g) ∈ H × G | hg = gh} Độ giao hốn tương đối nhóm H G, ký hiệu Pr(H, G), định nghĩa sau Pr(H, G) = |C| |H||G| Từ Định nghĩa ?? ta thấy Pr(G, G) = Pr(G), Pr(G) độ giao hốn nhóm G định nghĩa Định nghĩa 11 Sau số ví dụ độ giao hốn tương đối số nhóm Ví dụ Xét nhóm nhị diện D3 cho phần tử sinh hệ thức xác định sau D3 = ⟨r, s | r3 = s2 = 1, s−1 rs = r−1 ⟩ Khi D3 = {1, r, r2 , s, rs, r2 s} phép nhân phần tử D3 cho bảng sau • 1 r r2 s rs r2 s r r2 s rs r2 s r r r2 r2 r2 r rs r2 s s r s s rs s s rs r2 s r r2 r2 s r2 s s rs r r2 r rs rs r2 s s r2 Bằng cách đếm trực tiếp theo Định nghĩa ?? ta có bảng sau Các nhóm H = {1} H = ⟨r⟩ H = ⟨s⟩ H = ⟨rs⟩ H = ⟨r2 s⟩ H = D3 |C| 12 8 18 Pr(H, D3 ) 3 3 Ví dụ Xét nhóm nhị diện D4 cho phần tử sinh hệ thức xác định sau D4 = ⟨r, s | r4 = s2 = 1, s−1 rs = r−1 ⟩ Khi D4 = {1, r, r2 , r3 , s, rs, r2 s, r3 s} phép nhân phần tử D4 cho bảng sau • 1 r r2 r3 s rs r2 s r3 s r r2 r3 s rs r2 s r3 s r r r2 r3 r2 r2 r3 r3 r3 1 r r2 s r3 s s rs r r2 rs r2 s r3 s s r s s rs r2 s s s rs r2 s r3 s rs rs r2 s r3 s s r3 r r2 r3 r r2 r2 s r2 s r3 s s rs r2 r3 r3 s r3 s s rs r2 s r r2 r3 r Bằng cách đếm trực tiếp theo Định nghĩa ?? ta có bảng sau Các nhóm H = {1} H = ⟨r⟩ H = ⟨r2 , s⟩ H = ⟨r2 , rs⟩ H = ⟨s⟩ |C| 24 24 24 12 Pr(H, D4 ) 4 4 Các nhóm H = ⟨rs⟩ H = ⟨r2 s⟩ H = ⟨r3 s⟩ H = ⟨r2 ⟩ H = D4 |C| 12 12 12 16 40 Pr(H, D4 ) 4 Ví dụ Xét nhóm quaternion Q8 cho phần tử sinh hệ thức xác định sau Q8 = ⟨r, s | r4 = 1, s2 = r2 , s−1 rs = r−1 ⟩ Khi Q8 = {1, r, r2 , r3 , s, rs, r2 s, r3 s} phép nhân phần tử Q8 cho bảng sau • 1 r r2 r3 s rs r2 s r3 s r r2 r3 s rs s2 s r3 s r r r2 r3 r2 r2 r3 r3 r3 1 r r2 s r3 s s rs r r2 rs r2 s r3 s s r s s rs r2 s s s rs r2 s r3 s r2 r3 rs rs r2 s r3 s s r r2 r3 r r2 s r2 s r3 s s rs r r2 r3 r3 s r3 s s rs r2 s r3 r r2 Bằng cách đếm trực tiếp theo Định nghĩa ?? ta có bảng sau Các nhóm H = {1} H = ⟨r⟩ H = ⟨r2 ⟩ H = ⟨s⟩ H = ⟨rs⟩ H = Q8 |C| 24 16 24 24 40 Pr(H, Q8 ) 4 Từ định nghĩa độ giao hoán tương đối ta có kết sau Mệnh đề Cho G nhóm H nhóm G Khi X X Pr(H, G) = |H||G| |CG (x)| = x∈H |H||G| |CH (y)| y∈G Chứng minh Ký hiệu C = {(x, y) ∈ H × G | xy = yx} Với x ∈ H số cặp phần tử (x, y) ∈ C |CG (x)| CG (x) tâm hóa x G Với y ∈ G số cặp phần tử (x, y) ∈ C |CH (y)| CH (y) tâm hóa y H Cho nên ta có X X |C| = |CG (x)| = x∈H |CH (y)| y∈G Từ suy cơng thức cần chứng minh Kết sau cho ta cơng thức tính độ giao hốn tương đối nhóm chuẩn tắc nhóm nhờ số lớp liên hợp Mệnh đề Cho G nhóm H nhóm chuẩn tắc G Khi Pr(H, G) = k |H| k số lớp liên hợp G nằm H Chứng minh Với x ∈ G bất kỳ, ký hiệu lớp liên hợp x G O(x) Khi ta có |O(x)| = |G : CG (x)| Gọi x1 , x2 , , xk phần tử đại diện lớp liên hợp G nằm H Vì H ◁ G với x ∈ H ta có O(x) ⊂ H Do đó, theo Mệnh đề ??, ta có k X X |CG (x)| = |O(xi )||CG (xi )| Pr(H, G) = |H||G| |H||G| = |H||G| x∈H k X i=1 i=1 k X k |G : CG (xi )||CG (xi )| = |G| = |H||G| |H| i=1 Vậy ta có điều phải chứng minh Ta cần bổ đề sau phép chứng minh kết so sánh độ giao hoán tương đối nhóm nhóm với độ giao hốn nhóm nhóm Bổ đề Cho H nhóm G Khi với phần tử x ∈ G |H : CH (x)| ⩽ |G : CG (x)| Hơn nữa, dấu đẳng thức xảy G = HCG (x) Chứng minh Lấy x ∈ G Khi đó, theo Mệnh đề 42, ta có |H||CG (x)| = |HCG (x)| ⩽ |G| |H ∩ CG (x)| Do |H| |G| ⩽ |H ∩ CG (x)| |CG (x)| Mà H ∩ CG (x) = {a ∈ H | a ∈ CG (x)} = CH (x), từ suy |H| |G| ⩽ |CG (x)| |CH (x)| Do đó, theo Định lý Lagrange ta có |H : CH (x)| ⩽ |G : CG (x)| Từ lập luận ta thấy dấu đẳng thức xảy G = HCG (x) Vậy ta có điều phải chứng minh Mệnh đề sau cho ta đánh giá độ giao hốn tương đối nhóm nhóm nhờ độ giao hốn nhóm nhóm Mệnh đề Cho H nhóm nhóm G Khi Pr(G) ⩽ Pr(H, G) ⩽ Pr(H) Chứng minh Theo Mệnh đề ?? ta có X Pr(H, G) = |H||G| |CG (x)| = x∈H X |CG (x)| |H| |G| x∈H Theo Bổ đề ?? ta có |CG (x)| |C (x)| ⩽ H với x ∈ H |G| |H| Từ suy Pr(H, G) ⩽ X |CH (x)| X = |CH (x)| = Pr(H) |H| |H| |H| x∈H x∈H Theo Mệnh đề ?? ta có Pr(H, G) = X X |CH (y)| |CH (y)| = |H||G| |G| |H| y∈G y∈G Theo Bổ đề ?? ta có |CH (y)| |C (y)| ⩾ G với y ∈ G |H| |G| Từ suy Pr(H, G) ⩾ X |CG (y)| X = |CG (y)| = Pr(G) |G| |G| |G| y∈G y∈G Vậy ta có điều phải chứng minh Mệnh đề sau cho ta điều kiện cần đủ để xảy đẳng thức Mệnh đề Cho H nhóm nhóm G Khi (i) Pr(H, G) = Pr(H) G = HCG (x) với x ∈ H (ii) Pr(H, G) = Pr(G) G = HCG (x) với x ∈ G Chứng minh (i) Từ phép chứng minh Mệnh đề ?? ta thấy Pr(H, G) = Pr(H) |CG (x)| |CH (x)| = với x ∈ H |H| |G| Theo Bổ đề ??, điều xảy G = HCG (x) với x ∈ H Vậy ta có điều phải chứng minh (ii) Lập luận hồn tồn tương tự ta có điều phải chứng minh Từ Mệnh đề ?? ta có hệ sau Hệ Cho H nhóm nhóm G Nếu Pr(H, G) = Pr(G) Pr(H) = Pr(G) Mệnh đề sau cho ta điều kiện đủ để không xảy đẳng thức Mệnh đề ?? Mệnh đề Cho H nhóm nhóm G Nếu H khơng chuẩn tắc G Pr(G) < Pr(H, G) < Pr(H) Chứng minh Giả sử H không chuẩn tắc G Trước tiên ta chứng minh tồn x ∈ H cho G ̸= HCG (x) Thật vậy, giả sử trái lại G = HCG (x) với x ∈ H Lấy g ∈ G x ∈ H Khi g −1 ∈ G = HCG (x) Giả sử g −1 = với h ∈ H, a ∈ CG (x) Khi ta có g −1 xg = (ha)x(ha)−1 = haxa−1 h−1 = hxaa−1 h−1 = hxh−1 ∈ H Điều chứng tỏ H ◁ G, trái với giả thiết Vậy ta có điều phải chứng minh Do đó, theo Bổ đề ?? ta có Pr(H, G) ̸= Pr(H) Pr(H, G) ̸= Pr(G) Kết hợp điều với Mệnh đề ?? ta có bất đẳng thức cần chứng minh Biểu diễn ∆(R) tính chấ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) iđê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) ru−1 + ∈ U (R) 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 ∆(R) 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) suy ∆(R) ⊆ J(R) hay ∆(R) = J(R) Chiều ngược lại hiển nhiên ⩽ l ⩽ −1 i 36 Khi đó, theo Mệnh đề ??, ta có X X |CSD2n (rli )| + |CSD2n (x)| = 0⩽l⩽ 2i −1 0⩽l⩽ 2i −1 = |CSD2n (1)| + |CSD2n (r2 n−1 |CSD2n (rli+j s)| n n x∈Ui,j X )| + X |CSD2n (rli )| + n 1⩽l⩽ 2i −1 l̸=  = |SD2n | + |SD2n | + = n+1 +2 n+1  + 2n i X |CSD2n (rli+j s)| n 0⩽l⩽ 2i −1 n−1 i  − |R1 | + 2n |U n−1 | i ,li+j 2n 2n+1 (2n−1 + i + 2) 2n n −2 + = i i i  Do đó, theo Mệnh đề ?? ta có Pr(Ui,j , SD2n ) = = X 1 2n+1 (2n−1 + i + 2) |CSD2n (x)| = n+1 |Ui,j ||SD2n | i x∈Ui,j 2n+1 i 2n+1 (2n−1 + i + 2) 2n−1 + i + i+2 = = + n+1 i 2n+1 22(n+1) i Vậy ta có điều phải chứng minh Trong ví dụ sau ta tính độ giao hốn tương đối nhóm nhóm giả nhị diện SD8 SD16 cách áp dụng Mệnh đề ?? Ví dụ (i) Với n = 3, xét nhóm giả nhị diện SD8 = ⟨r, s | r8 = s2 = 1, s−1 rs = r3 ⟩ Các nhóm SD8 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = ⟨r4 ⟩, R8 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩ T3 = ⟨r3 s⟩, T4 = ⟨r4 s⟩, T6 = ⟨r6 s⟩; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩, U4,0 = ⟨r4 , s⟩, U4,2 = ⟨r4 , r2 s⟩; SD8 Khi Pr(R1 , SD8 ) = 1 + = , Pr(R2 , SD8 ) = + = , 8 37 Pr(R4 , SD8 ) = + = 1, Pr(R8 , SD8 ) = 1; Pr(T0 , SD8 ) = Pr(T1 , SD8 ) = Pr(T2 , SD8 ) = Pr(T3 , SD8 ) 1 = Pr(T4 , SD8 ) = Pr(T6 , SD8 ) = + = ; 8 2+2 Pr(U2,0 , SD8 ) = Pr(U2,1 , SD8 ) = + = , 16 1 Pr(U4,0 , SD8 ) = Pr(U4,2 , SD8 ) = + = ; 8 Pr(SD8 , SD8 ) = 16 (ii) Với n = 4, xét nhóm giả nhị diện SD16 = ⟨r, s | r1 = s2 = 1, s−1 rs = r7 ⟩ Các nhóm SD16 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = ⟨r4 ⟩, R8 = ⟨r8 ⟩, R16 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩, T3 = ⟨r3 s⟩, T4 = ⟨r4 s⟩, T5 = ⟨r5 s⟩, T6 = ⟨r6 s⟩, T7 = ⟨r7 s⟩, T8 = ⟨r8 s⟩, T10 = ⟨r10 s⟩, T12 = ⟨r12 s⟩, T14 = ⟨r14 s⟩; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩, U4,0 = ⟨r4 , s⟩, U4,2 = ⟨r4 , r2 s⟩, U4,3 = ⟨r4 , r3 s⟩, U8,0 = ⟨r8 , s⟩, U8,2 = ⟨r8 , r2 s⟩, U8,4 = ⟨r8 , r4 s⟩; SD16 Khi + = , Pr(R2 , SD16 ) = + = , 16 16 16 1 P r(R4 , SD16 ) = + = = Pr(R8 , SD16 ) = + = 1, Pr(R16 , SD16 ) = 16 2 16 Pr(R1 , SD16 ) = Pr(T0 , SD16 ) = Pr(T1 , SD16 ) = Pr(T2 , SD16 ) = Pr(T3 , SD16 ) = Pr(T4 , SD16 ) = Pr(T5 , SD16 ) = Pr(T6 , SD16 ) = Pr(T7 , SD16 ) = Pr(T8 , SD16 ) 1 = Pr(T10 , SD16 ) = Pr(T12 , SD16 ) = Pr(T14 , SD16 ) = + = ; 16 16 2+1 11 = , Pr(U2,0 , SD16 ) = Pr(U2,1 , SD16 ) = + 32 32 4+2 Pr(U4,0 , SD16 ) = Pr(U4,1 , SD16 ) = Pr(U4,2 , SD16 ) = Pr(U4,3 , SD16 ) = + = , 32 16 1 Pr(U8,0 , SD16 ) = Pr(U8,2 , SD16 ) = Pr(U8,4 , SD16 ) = Pr(U8,6 , SD16 ) = + = ; 16 16 11 Pr(SD16 , SD16 ) = Pr(SD16 ) = 32 38 13 Định lý tồn cho hệ thống tuyến tính Định lý 15 (Định lý tồn cho hệ thống tuyến tính) Cho I đoạn thực giả sử A ∈ C(I, Mn (F)), B ∈ C(I, F n ) Cho τ ∈ I, ξ ∈ F n tồn giải pháp X (IV P) đoạn I Chứng minh Cho t ∈ I , giả sử J = [c; d] đoạn bị chặn I cho τ, π ∈ J , Bởi định lý 7.3 tồn hàm Xj khác biệt đoạn [a, b] cho XJt (s) = A(s)XJ (s) + B(s), XJ (τ ) = ξ, s∈J Định nghĩa X(t) = Xj(t) Nếu ta chọn J1 = [c1 , c2 ] ⊂ I cho τ, t ∈ J1 , J1 ∩ J đoạn bị chặn chứa τ, t kết áp dụng cho đoạn cho thấy XJ1 (s) = XJ (s), s ∈ J1 ∩ J Đặc biệt, XJ1 (t) = XJ (t) Để định nghĩa X(t) không phụ thuộc vào J chọn Vì X có tính khả vi [a, b] thỏa mãn X ′ (t) = A(t)X(t) + B(t), X(τ ) = ξ, t∈I Nó giải pháp (IV P) đoạn I Nó nhất, Y mơt giải pháp I t thuộc I có đoạn nhỏ J chứa τ, t kết cho J ngụ ý X(t) = Y (t) Trước tiếp tục phát triển lý thuyết, xem xét ví dụ khác Xét tốn với n = : x′ = 3t2 x, x(0) = 1, t∈R Phương trình tích phân tương ứng Z t 3s2 x(s)ds = (T x)(t), x(t) = + t ∈ R Nếu x0 (t) = 1, Z xm+1 (t) = + t 3s2 xm (s)ds, m = 0, 1, 39 Do Z x1 (t) = + t 3s2 ds = + t3 , t Z 3s2 [1 + s3 ]ds = + t3 + t6 /2, x2 (t) = + Z x3 (t)1 + t 3s2 [1 + s3 + s6 /2]ds = + t3 + t6 /2 + t9 /6, Và quy nạp cho thấy xm = + t3 + (t3 )m (t3 )2 (t3 )3 + + ··· + 3! m! Chúng ta nhận xm (i) môt tổng riêng cho việc triển khai dãy số hàm x(t) = et Dãy số hội tụ đến x(t) cho t thuộc R, hàm x(t) kết vấn đề Nhìn lại phương pháp chứng minh định lý 7.3, khơng khó để nhận thấy lựa chọn hàm liên tục ban đầu X0 (t) dần đến giải pháp X(t) Thực sự, bất đẳng thức áp dụng Z t |Xm+1 (t) − Xm | ≤ ∥A∥∞ |Xm (s) − Xm−1 (s)|ds, m ≥ 1, t ∈ I τ Sự khác biệt phát sinh khác biệt ban đầu Xi (t) − X0 (t) Ước lượng thu từ lập luận quy nạp sau trở thành h im |Xm+1 (t) − Xm | ≤ ∥X1 − X0 ∥∞ ∥A∥∞ [t − τ ] /m! Phần lại lập luận diễn trước đây, đưa giải pháp X(t) (7.2) Nếu (IV P) xem xét đoạn I nào, ta ước lượng khoảng cách Xm (t) X(t) đoạn nhỏ J = [a, b] nằm I chứa τ Với k > m ∥X − Xm ∥∞,J ≤ ∥X − Xk ∥∞,J + ∥Xk − Xm ∥∞,J ≤ ∥X − Xk ∥∞,J + ∥(Xk − Xk−1 ) + (Xk−1 − Xk−2 ) + · · · + (Xm+1 − Xm )∥∞,J 40 Và sử dụng bất đẳng thức tam giác lấy giới hạn (7.10) ngụ ý ∥X − Xm ∥∞,J ≤ ∞ X ∥Xk+1 − Xk ∥∞,J , (7.11) k=m ≤ ∥X1 − X0 ∥∞,J ∞ h X ∥A∥∞,J [b − τ ] im /m! k=m Tất nhiên, chuỗi cuối lại phần lại chuỗi cho hàm mũ (∥A∥∞,J [b − τ ]) Do (7.11) ngụ ý Xm → X định mức tối đa J Chúng tơi tóm tắt định lý sau Định lý 16 (Định nghĩa xấp xỉ liên tiếp bởi) Z t Xm+1 (t) = ξ + [A(s)Xm (s) + B(s)]ds, t∈I τ Tại X0 ∈ C(I, F n ) tùy ý Nếu X(t) giải pháp (IV P) I , Xm → X đồng ∥X − Xm ∥∞,J → 0, k→∞ Trên đoạn nhỏ J ⊂ I chứa τ 14 Tính liên tục giải pháp Trở lại tình Định lý 7.3, [a, b] đoạn đóng, giải pháp X(t) tốn giá trị ban đầu X ′ = A(t)X + B(t), X(τ ) = ξ, t ∈ I, IV P Rõ ràng phụ thuộc vào τ ∈ I, ξ ∈ F n , A ∈ C(I, Mn (F)) B ∈ C(I, F n ) Kết phần khẳng định t ∈ I Giá trị X(t) hàm liên tục biến Phân tích phụ thuộc bắt đầu ước lượng cho ∥X∥∞ điều suy cách sử dụng phương pháp chứng minh Định lý 7.3 Bắt đầu với việc xấp xỉ từ Z t X0 (t) = ξ + B(s)ds, τ 41 Kết X(t) = lim Xk (t) k→∞ Sau đáp ứng ước lượng   k−1 X (Xm+1 (t) − xm (t)) ∥X∥∞ = ∥ lim Xk ∥ = lim X0 (t) + k→∞ k→∞ m=0 ≤ ∥X0 ∥ + ∞ X ∞ ∥Xm+1 − Xm ∥∞ m=0 Bây áp dụng bất đẳng thức (7.8), cho kết ∥X∥∞ ≤ ∥X0 ∥∞ + ∥X0 ∥∞ ∞ X ∥A∥m+1 [b − τ ]m+1 ∞ m=0 (m + 1)! = ∥X0 (t)∥∞ exp(∥A∥∞ [b − τ ]) Từ Z t ∥X0 (t)∥∞ = ξ + B(s)ds τ ∞ ≤ |ξ| + |b − a|∥B∥∞ , Ước lượng mong muốn cho ∥X∥∞   ∥X∥∞ ≤ |ξ| + |b − a|∥B∥∞ exp(∥A∥∞ [b − a]) (7.12) Ước lượng đơn giản (7.12) sử dụng để X hàm liên tục chung tất biến Do đó, thay đổi nhỏ t, A, b, τ, ξ tạo thay đổi nhỏ X Nếu ký hiệu giải pháp (IV P) thời điểm t X(t, A, B, τ, ξ), sau đó, định lý 7.6 cung cấp ý nghĩa xác cho phát biểu X(s, C, D, σ, η) → X(t, A, B, τ, ξ), (s, C, D, σ, η) → (t, A, B, τ, ξ) Đó là, X liên tục (t, A, B, τ, ξ) 42 Định lý 17 Đặt I đoạn [a, b] bị chặn, A, C ∈ C(I, Mn (F)), B, D ∈ C(I, F n ), τ, σ ∈ I , ξη ∈ F n Giả định X kết X ′ = A(t)X + B(t), X(τ ) = ξ, t∈I Cho t thuộc I e > 0, có tồn ϵ > Y kết Y ′ = C(t)Y + D(t), y(σ) = η, t∈I |s − t| < δ, ∥C − A∥∞ < δ, |σ − τ | < δ, ∥D − B∥∞ < δ |η − ξ| < δ Vậy |Y (s) − X(t)| < ϵ (7.14) Chứng minh Hiệu hai phương trình cho X(t) Y (t) ta (Y − X)′ = C(t)(Y − X) + (C(t) − A(t))X + D(t) − B(t) Do Z = Y − X Z đáp ứng giá trị toán ban đầu Z ′ = C(t)Z + E(t), Z(σ) = η − X(σ) Nơi E(t) = (C(t) − A(t))X(t) + D(t) − B(t) Chúng ta áp dụng đánh giá (7.12) cho Z thu   ∥Y − X∥∞ = ∥Z∥∞ ≤ |Z(σ)| + (b − a)∥E∥∞ exp(∥C∥∞ [b − a]) (7.15) Đặt e > cho Ta thấy |Y (s) − X(t)| < |Y (s) − X(s)| + |X(s) − X(t)| ≤ ∥Y − X∥∞ + |X(s) − X(t)| (7.16) Từ X liên tục t, cho e > có ϵ > |s − t| < δ1 Ngụ ý |X(s) − X(t)| < ϵ Mà |Z(σ)| = |η − X(σ)| ≤ |η − ξ| + |X(τ ) − X(σ)| 43 Từ X liên tục t, cho e > có ϵ2 > |η − ξ| < δ2 , Ngụ ý |τ − σ| < δ2 ϵ |Z(σ)| exp(∥C∥∞ [b − a]) < Cuối cùng, từ E(t) = (C(t) − A(t))X(t) + D(t) − B(t) Có ϵ3 ∥C − A∥∞ < ϵ3 , Ngụ ý ∥D − B∥∞ < ϵ3 ϵ |b − a|∥E∥∞ exp(∥C∥[b − a]) < Và chọn δ > thoả mãn δ = min(δ1 , δ2 , δ3 ) Vậy (7.13) hợp lệ cho ϵ (7.14) sau từ (7.15)-(7.19) 15 Mở rộng Dorroh mở rộng tail ring ∆U vành Mệnh đề 11 Cho R vành, điều kiện sau tương đương (1) R ∆U -vành (2) ∆(R) = U◦ (R) (3) Ánh xạ ε : (∆(R), ◦) → (U (R), ) cho ε(x) = − x đẳng cấu nhóm Định lý 18 Cho R vành có đơn vị Khi điều kiện sau tương đương (1) Mở rộng Dorroh Z ⊕ R ∆U -vành (2) R ∆U -vành Mệnh đề 12 R[D, C] ∆U -vành D C ∆U -vành 44 15.1 Các nhóm vành Định lý 19 Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành agumentation iđêan ∇(RG) ∆U -vành Bổ đề Nếu G locally finite 2-group R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Định lý 20 Cho R ∆U -vành G locally finite 2-group Nếu ∆(R) lũy linh, RG ∆U -vành Hệ 13 Cho R right (or left) perfect ring G locally finite 2-group Khi đó, R ∆U -vành RG ∆U -vành 16 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} p = ∞ Số ∥f ∥Lp gọi chuẩn Lp f A Định lý 21 (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ý 22 Cho Ω ⊂ Rn tập mở, (fh )h ⊂ Lp (Ω) f ∈ Lp (Ω) với ≤ p ≤ ∞ Giả sử lim ∥fh − f ∥Lp (Ω) = h→∞ 45 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 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ý 23 (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 46 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ý 36) có điều phải chứng minh Cuối cùng, nhớ lại đặc tính compact (Lp (Rn ), ∥.∥Lp ) Định lý 24 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ý ?? 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 47 Ω := (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 (12) 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 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∞ (Ω) (∗) 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 ⊇ Ω 48 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ý 25 (Định lý biểu diễn Riesz) Cho ≤ p < ∞ ký hiệu   p < p < ∞ (số mũ của) p p′ := 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 (Ω) (13) Theo bất đẳng thức Holder, suy bất đẳng thức ′ ∥T (u)∥(Lp (Ω))′ ≤ ∥u∥Lp′ (Ω) , ∀u ∈ Lp (Ω) (14) 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 Ω 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′ (Ω) 49 Vì Z ′ ′ ⟨T (u), fu ⟩(Lp (Ω))×Lp (Ω) = Ω u|u|p −2 udx = ∥u∥pLp′ (Ω) (15) 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 (Ω) (16) 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 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) (43b)