Một số lớp bài toán cauchy trong thang các không gian banach

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: MỘT SỐ LỚP BÀI TỐN CAUCHY TRONG THANG CÁC 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 Như biết, tốn biên elliptic phương trình đạo hàm riêng xuất phát từ mơ hình toán độc lập thời gian ngành khoa học kỹ thuật (xem [12]) Bên cạnh toán biên elliptic mô tả không gian Sobolev với số mũ thường W1,p(Ω), cịn bắt gặp mơ hình tốn khơng nhất, chẳng hạn số toán liên quan đến chất lỏng điện biến (hay cịn gọi chất lỏng thơng minh) thường nhà tốn học mơ tả khơng gian Sobolev với số mũ biến thiên W1,p(x) (Ω), p(x) hàm số 589 2 So sánh không gian vector hữu hạn chiều không gian vector vô hạn chiều Chúng ta nhắc lại sơ qua điểm khác không gian vector hữu hạn chiều khơng gian vector vơ hạn chiều từ cách nhìn đại số topo Định nghĩa (i) Cho E F hai không gian vector Ta nói E F đẳng cấu tuyến tính tồn ánh xạ T : E → F ánh xạ tuyến tính − từ E vào F (ii) Cho (E, ∥.∥E ) (F, ∥.∥F ) Ta nói (E, ∥.∥E ) (F, ∥.∥F ) đẳng cấu topo tồn ánh xạ liên tục T : E → F ánh xạ tuyến tính − với ánh xạ ngược liên tục T −1 : F → E (ii) Cho (E, ∥.∥E ) (F, ∥.∥F ) Ta nói (E, ∥.∥E ) (F, ∥.∥F ) đẳng cấu metric tồn ánh xạ T : E → F ánh xạ tuyến tính − từ E vào F với ∥T (x)∥F = ∥x∥E với x ∈ E Ta nhớ lại khái niệm không gian đối ngẫu không gian vector định chuẩn Định nghĩa Cho (E, ∥.∥) không gian vector định chuẩn Không gian đối ngẫu E ′ E khơng gian tuyến tính định nghĩa bởi: E ′ := {f : E → R : f tuyến tính liên tục} E ′ trang bị chuẩn ∥f ∥E ′ := |f (x)| < +∞ x∈E\{0} ∥x∥ sup Định lý (E ′ , ∥.∥E ′ ) không gian Banach Chứng minh Ta chứng minh dãy Cauchy E ′ hội tụ Giả sử {fn } dãy Cauchy E ′ , tức ∥fm − fn ∥E ′ → m, n → ∞, với x ∈ E ta có |fm (x) − fn (x)| = |(fm − fn )(x)| tính tuyến tính, hay |fm (x) − fn (x)| ≤ ∥fm − fn ∥E ′ ∥x∥E → m, n → ∞, {fn } dãy Cauchy E ′ Ta suy fn (x) dãy Cauchy R, fn (x) hội tụ, nghĩa tồn f (x) cho f (x) = lim fn (x) n→∞ Ta cần chứng minh f (x) tuyến tính liên tục Tính tuyến tính hiển nhiên, ta cần chứng minh tính liên tục, hay ta chứng minh f (x) bị chặn |f (x)| = lim |fn (x)| ≤ lim ∥fn ∥E ′ ∥x∥E , n→∞ n→∞ Vì fn ∈ E ′ nên fn tuyến tinh bị chặn, tức tồn M > cho ∥fn ∥ ≤ M , từ ta suy |f (x)| ≤ lim M ∥x∥E = M ∥x∥E n→∞ Ta có điều phải chứng minh Lưu ý: Nếu f ∈ E ′ x ∈ E ta viết ⟨f, x⟩E ′ ×E thay cho f (x) ta gọi ⟨., ⟩E ′ ×E tích vơ hướng không gian đối ngẫu E, E ′ Ký hiệu chung không gian đối ngẫu thực E không gian Hilbert Cấu trúc nhóm số nhóm hữu hạn Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm Dn có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ n, ⩽ l ⩽ n − 1, ⩽ i ⩽ n − 1, ⩽ j ⩽ n − Sau số tính chất nhóm nhị diện, xem [?] Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (i) Rk nhóm xiclíc cấp n , d = (n, k), với ⩽ k ⩽ n; d (ii) Tl nhóm xiclíc cấp với ⩽ l ⩽ n − 1; (iii) Ui,j nhóm nhị diện cấp 2n , d = (n, i), với i|n, ⩽ i ⩽ n− d ⩽ j ⩽ n − Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (i) Nếu n lẻ CDn (ri ) = R1 , CDn (1) = Dn , CDn (rj s) = Tj với ⩽ i ⩽ n − 1, ⩽ j ⩽ n − 1; (ii) Nếu n chẵn CDn (1) = Dn , CDn (rm ) = Dn , CDn (ri ) = R1 , CDn (rj s) = Um,j n với m = , ⩽ i ⩽ n − 1, i ̸= m, ⩽ j ⩽ 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 nhóm Dn Khi H nhóm sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với k|n, ⩽ k ⩽ n, ⩽ l ⩽ n − 1, i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − Cho nhóm quaternion suy rộng Q4n = ⟨r, s | r2n = 1, s2 = rn , s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Ui,j nhóm Q4n có dạng sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n, ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − Sau số tính chất nhóm quaternion suy rộng, xem [?] Mệnh đề Cho nhóm quaternion suy rộng Q4n với n ⩾ Khi (i) Rk nhóm xiclíc cấp 2n , d = (2n, k), với ⩽ k ⩽ 2n; d (ii) Ui,j nhóm quaternion suy rộng cấp 4n , d = (n, i), d với ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − Mệnh đề Cho nhóm Quaternion suy rộng Q4n với n ⩾ Khi CQ4n (1) = CQ4n (rn ) = Q4n , CQ4n (ri ) = R1 , CQ4n (rj s) = Un,j với ⩽ i ⩽ 2n − 1, i ̸= n, ⩽ j ⩽ 2n − Mệnh đề Cho nhóm quaternion suy rộng Q4n với n ⩾ 2, H nhóm Q4n Khi H nhóm sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với k|2n, ⩽ k ⩽ 2n, ⩽ i ⩽ n, i|n, ⩽ j ⩽ i − Cho nhóm giả nhị diện n n−1 SD2n = ⟨r, s | r2 = s2 = 1, s−1 rs = r2 −1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm nhóm giả nhị diện SD2n có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n , ⩽ l ⩽ 2n − 1, ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − Sau số tính chất nhóm giả nhị diện, xem [?] Mệnh đề Cho nhóm giả nhị diện SD2n với n ⩾ Khi (i) Rk nhóm xiclíc cấp 2n d = (2n , k), với ⩽ k ⩽ 2n ; d (ii) Tl nhóm xiclíc cấp l chẵn, cấp l lẻ với ⩽ l ⩽ 2n − 1; (iii) Ui,j nhóm giả nhị diện i lẻ với ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − 1; Ui,j nhóm nhị diện i chẵn j chẵn, nhóm quaternion tổng quát i chẵn j lẻ với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − 1; Với i = 2n−1 , Ui,j nhóm xiclíc cấp j lẻ, Ui,j ∼ = C2 × C2 j chẵn 2n+1 Trong tất trường hợp nhóm Ui,j có cấp d n d = (2 , i) Mệnh đề Cho nhóm giả nhị diện SD2n với n ⩾ Khi CSD2n (1) = CSD2n (r2 n−1 ) = SD2n , CSD2n (ri ) = R1 , CSD2n (rj s) = U2n−1 ,j với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − Mệnh đề Cho nhóm giả nhị diện SD2n với n ⩾ 3, H nhóm SD2n Khi nhóm H SD2n nhóm sau (i) Rk = ⟨rk ⟩ với ⩽ k ⩽ 2n ; (ii) Tl = ⟨rl s⟩ với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ; (iii) Ui,j với ⩽ i ⩽ 2n−2 , i|2n , ⩽ j ⩽ i−1, U2n−1 ,j với ⩽ j ⩽ 2n−1 − 1, j chẵn So sánh không gian vector hữu hạn chiều không gian vector vô hạn chiều Chúng ta nhắc lại sơ qua điểm khác không gian vector hữu hạn chiều không gian vector vơ hạn chiều từ cách nhìn đại số topo Định nghĩa (i) Cho E F hai khơng gian vector Ta nói E F đẳng cấu tuyến tính tồn ánh xạ T : E → F ánh xạ tuyến tính − từ E vào F (ii) Cho (E, ∥.∥E ) (F, ∥.∥F ) Ta nói (E, ∥.∥E ) (F, ∥.∥F ) đẳng cấu topo tồn ánh xạ liên tục T : E → F ánh xạ tuyến tính − với ánh xạ ngược liên tục T −1 : F → E (ii) Cho (E, ∥.∥E ) (F, ∥.∥F ) Ta nói (E, ∥.∥E ) (F, ∥.∥F ) đẳng cấu metric tồn ánh xạ T : E → F ánh xạ tuyến tính − từ E vào F với ∥T (x)∥F = ∥x∥E với x ∈ E Ta nhớ lại khái niệm không gian đối ngẫu không gian vector định chuẩn Định nghĩa Cho (E, ∥.∥) không gian vector định chuẩn Không gian đối ngẫu E ′ E khơng gian tuyến tính định nghĩa bởi: E ′ := {f : E → R : f tuyến tính liên tục} E ′ trang bị chuẩn ∥f ∥E ′ := |f (x)| < +∞ x∈E\{0} ∥x∥ sup Định lý (E ′ , ∥.∥E ′ ) không gian Banach Chứng minh Ta chứng minh dãy Cauchy E ′ hội tụ Giả sử {fn } dãy Cauchy E ′ , tức ∥fm − fn ∥E ′ → m, n → ∞, với x ∈ E ta có |fm (x) − fn (x)| = |(fm − fn )(x)| tính tuyến tính, hay |fm (x) − fn (x)| ≤ ∥fm − fn ∥E ′ ∥x∥E → m, n → ∞, {fn } dãy Cauchy E ′ Ta suy fn (x) dãy Cauchy R, fn (x) hội tụ, nghĩa tồn f (x) cho f (x) = lim fn (x) n→∞ Ta cần chứng minh f (x) tuyến tính liên tục Tính tuyến tính hiển nhiên, ta cần chứng minh tính liên tục, hay ta chứng minh f (x) bị chặn |f (x)| = lim |fn (x)| ≤ lim ∥fn ∥E ′ ∥x∥E , n→∞ n→∞ ′ Vì fn ∈ E nên fn tuyến tinh bị chặn, tức tồn M > cho ∥fn ∥ ≤ M , từ ta suy |f (x)| ≤ lim M ∥x∥E = M ∥x∥E n→∞ Ta có điều phải chứng minh Lưu ý: Nếu f ∈ E ′ x ∈ E ta viết ⟨f, x⟩E ′ ×E thay cho f (x) ta gọi ⟨., ⟩E ′ ×E tích vơ hướng không gian đối ngẫu E, E ′ Ký hiệu chung không gian đối ngẫu thực E khơng gian Hilbert Tính chất ∆U lớp vành Một phần tử r ∈ R gọi ∆-clean r biểu diễn thành r = e + t e phần lũy đẳng R t ∈ ∆(R) Vành R gọi ∆-clean phần tử R ∆-clean Chú ý, phẩn tử ∆-clean clean Mệnh đề 10 Các điều kiện sau tương đương vành R (1) R ∆U -vành; (2) Tất phần tử clean R ∆-clean Chứng minh (1) ⇒ (2) Giả sử R ∆U -vành Lấy r ∈ R clean, r = e + u Vì R ∆U -vành, ta có u = + a với a ∈ ∆(R) Lưu ý − 2e ∈ U (R) = + ∆(R), 2e ∈ ∆(R) Khi 2e + a ∈ ∆(R) r = e + + a = (1 − e) + (2e + a) biểu diễn ∆-clean r (2) ⇒ (1) Lấy u ∈ U (R) Khi u clean nên theo giả thiết u ∆-clean Giả sử u = e + a biểu diễn ∆-clean u với a ∈ ∆(R) e lũy đẳng Ta có = eu−1 + au−1 suy eu−1 = − au−1 khả nghịch R Vì e = Điều nghĩa u = + a ∈ + ∆(R) U (R) = + ∆(R) Định lý Cho R vành, điều kiện sau tương đương (1) R clean ∆U -vành; (2) Nếu a ∈ R thỏa mãn a − a2 ∈ ∆(R), tồn tử phẩn tử lũy đẳng e ∈ R cho a − e ∈ ∆(R); (3) R ∆-clean ∆U -vành; (4) R vành ∆-clean |CDn (rkl )| = CDn r + |CDn (rkl )| = |Dn |+ − |R1 | k n n Pr(Rk , Dn ) = 1⩽l⩽ k −1 1⩽l⩽ k −1 n l̸= 2k 73 Từ suy X |CDn (x)| = |Dn | + |Dn | + x∈Rk = 2n + 2n + n k n  − |R1 | k  −2 n= n(n + 2k) k Áp dụng Mệnh đề ?? ta có Pr(Rk , Dn ) = X 1 n(n + 2k) n + 2k |CDn (x)| = n = |Rk ||Dn | k 2n 2n x∈Rk k Vậy ta có điều phải chứng minh (ii) Giả sử H = Tl với ⩽ l ⩽ n − Theo Mệnh đề ??, |Tl | = Tl = ⟨rl s⟩ = {1, rl s} Theo Mệnh đề ??, ta có Pr(Tl , Dn ) = X 1 (|CDn (1)| + |CDn (rl s)|) |CDn (x)| = |Tl ||Dn | · 2n x∈Tl (|Dn | + |CDn (rl s)|) = 4n Ta áp dụng Mệnh đề ?? cho hai trường hợp n sau Nếu n lẻ |CDn (rl s)| = |Tl | = Từ suy Pr(Tl , Dn ) = Nếu n chẵn, giả sử m = n+1 (2n + 2) = 4n n |CDn (rl s)| = |Um,l | = 2n 2n = = (n, m) m Từ suy Pr(Tl , Dn ) = n+2 (2n + 4) = 4n 2n Vậy ta có điều phải chứng minh (iii) Giả sử H = Ui,j với i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − Theo Mệnh đề ?? ta có |Ui,j | = 2n 2n = (n, i) i 74 Do i  j Ui,j = ⟨r , r s⟩ = Khi X r ,r il+j X |CDn (x)| = |CDn (1)| + x∈Ui,j il 1⩽l⩽  n s 0⩽l ⩽ −1 i X |CDn (ril )| + n −1 i 0⩽l⩽ Ta xét hai trường hợp n Trường hợp 1: n lẻ Khi đó, theo Mệnh đề ?? ta có n  n X il |CDn (r )| = n 1⩽l⩽ −1 i X 0⩽l⩽ Từ suy X − |R1 | = n |CDn (ril+j s)| = n −1 i |CDn (x)| = 2n + n x∈Ui,j Áp dụng Mệnh đề ?? ta có X Pr(Ui,j , Dn) = i |Ui,j ||Dn | n i i |CDn (ril+j s)| n −1 i  −1 , n 2n |Til+j | = i i  −1 + |CDn (x)| = x∈Ui,j 2n n(n + i + 2) = i i n+i+2 n(n + i + 2) = 2n i 4n 2n i Trường hợp 2: n chẵn Ta xét hai trường hợp i n Trường hợp 2a: i ∤ Khi đó, theo Mệnh đề ?? ta có X |CDn (ril )| = 1⩽l⩽ ni −1 X 0⩽l⩽ ni −1 n i  − |R1 | = n |CDn (ril+j s)| = n i  −1 , 4n n U n2 ,il+j = i i 75 Từ suy X |CDn (x)| = 2n + n n x∈Ui,j Áp dụng Mệnh đề ?? ta có X Pr(Ui,j , Dn) = |Ui,j ||Dn | i  −1 + |CDn (x)| = x∈Ui,j 4n n(n + i + 4) = i i n(n + i + 4) n+i+4 = 2n i 4n 2n i n Trường hợp 2b: i