Bài toán cauchy cho phương trình vi phân hàm bậc nhất tuyến tính

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: BÀI TỐN CAUCHY CHO PHƯƠNG TRÌNH VI PHÂN HÀM BẬC NHẤT TUYẾN TÍNH 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 Các phép biến đổi tích phân cơng cụ tốn học đem lại thành công đáng kể việc giải nhiều tốn phương trình vi phân, phương trình sai phân phương trình tích phân lĩnh vực: tốn học ứng dụng, vật lí tốn nhiều lĩnh vực khoa học kĩ thuật khác Một số phép biến đổi tích phân quan trọng biến đổi Fourier, Laplace, Hankel, Trong bật phép biến đổi Hankel mang tên nhà Toán học người Đức Hermann Hankel (1839 - 1873) giải số toán xuất từ lĩnh vực vật lý 277 2 Mở rộng Dorroh mở rộng ∆U -vành Mệnh đề Cho R vành Khi đó, đ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 Chứng minh (1) ⇒ (2) Giả sử R ∆U -vành Mỗi x ∈ ∆(R), ta có − x ∈ U (R), x = − (1 − x) ∈ U◦ (R) Suy ∆(R) ⊆ U◦ (R) Ngược lại, y ∈ U◦ (R) − y ∈ U (R) = + ∆(R) Suy y ∈ ∆(R) hay ∆(R) = U◦ (R) (2) ⇒ (3) Hiển nhiên (3) ⇒ (1) Giả sử ánh xạ ε : (∆(R), ◦) → (U (R), ) cho ε(x) = − x đẳng cấu nhóm Khi u ∈ U (R), tồn x ∈ ∆(R) thỏa mãn u = ε(x) = − x Điều nghĩa U (R) ⊆ + ∆(R) hay U (R) = + ∆(R) Nếu R vành, mở rộng Dorroh vành có đơn vị Z ⊕ R, với phép toán cộng cộng theo thành phần phép nhân cho (n1 , r1 )(n2 , r2 ) = (n1 n2 , r1 r2 + n1 r2 + n2 r1 ) Chú ý Cho R vành có đơn vị Khi (1) u ∈ U (R) − u ∈ U◦ (R) (2) (1, u − 1) ∈ U (Z ⊕ R) với u ∈ U (R) (3) (1, −x)(1, −y) = (1, −x◦y) (−1, x)(−1, y) = (1, −x◦y) với x, y ∈ R Định lý 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 Chứng minh (1) ⇒ (2) Lấy u ∈ U (R) Khi − u ∈ U◦ (R) Tồn v ∈ R thỏa mãn (1 − u) ◦ v = = v ◦ (1 − u) Khi ta có (1, u−1)(1, −v) = (1, −(1−u))(1, −v) = (1, −(1−u)◦v) = (1, 0) = (1, −v)(1, u−1) Điều nghĩa (1, u − 1) ∈ U (Z ⊕ R) Vì Z ⊕ R ∆U -vành, (1, u − 1) ∈ + ∆(Z ⊕ R) (0, u − 1) ∈ ∆(Z ⊕ R) Tiếp theo, ta U (R) = + ∆(R) Thật vậy, t ∈ U (R), ta có + t ∈ U◦ (R), (1 + t) ◦ s = = s ◦ (1 + t) với s ∈ R Khi (−1, + t)(−1, s) = (1, −(1 + t) ◦ s) = (1, 0) = (−1, s)(−1, + t) Do (−1, + t) ∈ U (Z ⊕ R) Theo định nghĩa ∆, ta có (0, u − 1) + (−1, + t) ∈ U (Z ⊕ R) (−1, u + t) ∈ U (Z ⊕ R) Đặt x = u + t Khi đó, (−1, x) ∈ U (Z ⊕ R) (1, −x) ∈ U (Z ⊕ R) Suy tồn (1, −y) ∈ Z ⊕ R thỏa mãn (1, −x)(1, −y) = (1, 0) = (1, −y)(1, −x) Ta có x ◦ y = = y ◦ x nên x ∈ U◦ (R) Vì − x ∈ U (R) nên x − = u + t − ∈ U (R) Suy u + t − = (u − 1) + t ∈ U (R) với t ∈ U (R) Điều nghĩa u − ∈ ∆(R), u ∈ + ∆(R) (2) ⇒ (1) Giả sử R ∆U -vành Ta mở rộng Dorroh Z ⊕ R ∆U -vành, nghĩa U (Z ⊕ R) = + ∆(Z ⊕ R) Lấy ω ∈ U (Z ⊕ R) Khi đó, ω có dạng ω = (1, a) ω = (−1, b) với a, b ∈ R Trường hợp ω = (1, a) ∈ U (Z ⊕ R): Lấy x = −a, tồn (1, −y) Z ⊕ R thỏa mãn (1, −x)(1, −y) = (1, 0) = (1, −y)(1, −x) Điều có nghĩa x◦y = = y ◦x x ∈ U◦ (R), 1+a = 1−x ∈ U (R) Từ R ∆U -vành, 1+a ∈ 1+∆(R) Vì a ∈ ∆(R) a+U (R) ⊆ U (R) Tiếp theo ta chứng minh (1, a) ∈ + ∆(Z ⊕ R), nghĩa ta chứng minh (0, a) + U (Z ⊕ R) ⊆ U (Z ⊕ R) Với α ∈ U (Z ⊕ R), α có dạng (1, u) (−1, v) với u, v ∈ R Nếu α = (1, u), từ chứng minh ω ta có + u ∈ U (R) Từ a + U (R) ⊆ U (R), ta lấy a + + u ∈ U (R), −(a + u) ∈ U◦ (R) Lấy b ∈ R với (−(a + u)) ◦ b = = b ◦ (−(a + u)) Đặt c = −(a + u) Khi c ◦ b = b ◦ c (1, a + u)(1, −b) = (1, −c)(1, −b) = (1, −b ◦ c) = (1, 0) = (1, −b)(1, a + u) Ta suy (1, a + u) ∈ U (Z ⊕ R) Hơn nữa, ta có (0, a) + α = (1, a + u) ∈ U (Z ⊕ R), nghĩa (0, a) + U (Z ⊕ R) ⊆ U (Z ⊕ R) Nếu α = (−1, v) ∈ U (Z⊕R), (−1, v)(−1, d) = (1, 0) = (−1, d)(−1, v) với d ∈ R Ta suy v◦d = = d◦v = v ∈ U◦ (R), 1−v ∈ U (R) Khi đó, v − ∈ U (R) Từ a + U (R) ⊆ U (R), ta có a + v − ∈ U (R) − (a + v) ∈ U (R) Do đó, a + v ∈ U◦ (R) Nghĩa tồn e ∈ R thỏa mãn (a + v) ◦ e = = e ◦ (a + v), (−1, a + v)(−1, e) = (1, −(a + v) ◦ e) = = (−1, e)(−1, a+v) Điều có nghĩa (−1, a+v) ∈ U (Z ⊕R) Hơn nữa, ta có (0, a) + α = (−1, a + v) ∈ U (Z ⊕ R) Do đó, (0, a) + U (Z ⊕ R) ⊆ U (Z ⊕ R) Trường hợp ω = (−1, a) ∈ U (Z ⊕ R): Tương tự Trường hợp Cho C vành vành D, tập hợp R[D, C] := {(d1 , , dn , c, c ) : di ∈ D, c ∈ C, n ≥ 1}, với phép cộng phép nhân định nghĩa theo thành phần gọi vành mở rộng đuôi ký hiệu R[D, C] Mệnh đề R[D, C] ∆U -vành D C ∆U -vành Chứng minh (:⇒) Đầu tiên ta chứng minh D ∆U -vành Lấy u tùy ý thuộc U (D) Khi u¯ = (u, 1, 1, 1, ) ∈ U (R[D, C]) Theo giả thuyết, u¯ ∈ + ∆(R[D, C]), (u − 1, 0, 0, 0, ) + U (R[D, C]) ⊆ U (R[D, C]) Do đó, với v ∈ U (D), (u − + v, 1, 1, 1, ) = (u − 1, 0, 0, 0, ) + (v, 1, 1, 1, ) ∈ U (R[D, C]) Vì u − + v ∈ U (D), nghĩa u − ∈ ∆(D) u ∈ + ∆(D) Để C ∆U -vành, ta lấy v ∈ U (C) thỏa mãn v¯ = (1, , 1, v, v, ) ∈ U (R[D, C]) chứng minh (⇐:) Giả sử D C ∆U -vành Lấy u¯ = (u1 , u2 , , un , v, v, ) ∈ U (R[D, C]), ui ∈ U (D) với ≤ i ≤ n v ∈ U (C) ⊆ U (D) Ta u¯ ∈ ∆(R[D, C]) u¯ − + U (R[D, C]) ⊆ U (R[D, C]) Thật vậy, tất a¯ ∈ (a1 , a2 , , am , b, b, ) ∈ U (R[D, C]) ∈ U (D), ≤ i ≤ m b ∈ U (C) ⊆ U (D) Lấy k = max{m, n} Khi đó, ta có u1 , u2 , , un ∈ U (D), v ∈ U (C) ⊆ U (D) ta suy u1 − + U (D), u2 − + U (D), , un − + U (D) ⊆ U (D), v − + U (D) ⊆ U (D) v − + U (C) ⊆ U (C) Ta có u¯ − = (u1 − 1, u2 − 1, , un − 1, un+1 − 1, , uk − 1, v − 1, v − 1, ), với uj = v j ≥ k , a ¯ = (a1 , a2 , , am , am+1 , , ak , b, b, ), với al = b với l ≥ m Khi ta có u¯ − + a ¯ = (u1 − + a1 , u2 − + a2 , , uk − + ak , v − + b, v − + b, ) Lưu ý ui − + ∈ U (D) với ≤ i ≤ k v − + b ∈ U (C) Ta suy u¯ − + a ¯ ∈ R[U (D), U (C)] = U (R[C, D]) Vì u¯ − ∈ ∆(R[D, C]) u¯ ∈ + ∆(R[D, C]), hay R[D, C] ∆U -vành Nhóm giả nhị diện Mệnh đề Cho nhóm giả nhị diện n SD2n = ⟨r, s | r2 = s2 = 1, s−1 rs = r2 n−1 −1 ⟩ với n ⩾ 3, H nhóm SD2n Khi (i) Nếu H = Rk với k | 2n , ⩽ k ⩽ 2n ( Pr(H, SD2n ) = k = 2n , k + n k ̸= 2n 2 (ii) Nếu H = Tl với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ Pr(Tl , SD2n ) = 1 + n 2 (iii) Nếu H = Ui,j với i|2n , ⩽ i ⩽ 2n − 1, ⩽ j ⩽ i −  1   + n i = 2n−1 , 2 Pr(H, SD2n ) =   + i + i ̸= 2n−1 2n+1 Chứng minh (i) Giả sử H = Rk với k|2n , ⩽ k ⩽ 2n Ta xét hai trường hợp k sau Trường hợp 1: k = 2n Khi Rk = {1} Rõ ràng Pr(Rk , SD2n ) = Trường hợp 2: k ̸= 2n Theo Mệnh đề ?? ta có 2n 2n = |Rk | = n (2 , k) k Khi đó, theo Mệnh đề ?? ta có X n−1 |CSD2n (x)| = |CSD2n (1)| + |CSD2n (r2 )| + X |CSD2n (rik )| n x∈Rk 1⩽i⩽ 2k −1 i̸=  = |SD2n | + |SD2n | + = n+1 +2 n+1  + 2n k 2n−1 k  − |R1 | 2n 2n+1 (2n−1 + k) − 2n = k k  Từ suy Pr(Rk , SD2n ) = X |CSD2n (x)| |Rk ||SD2n | x∈Rk = k 2n+1 (2n−1 + k) 2n−1 + k k · = = + 2n · 2n+1 k 2n 2n (ii) Giả sử H = Tl với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ Khi l chẵn với ⩽ l ⩽ 2n − Theo Mệnh đề ??, ta có |Tl | = Do Tl = {1, rl s} Khi đó, theo Mệnh đề 54 ta có X Pr(Tl , SD2n ) = |Tl ||SD2n |
l |C n (1)| + |CSD2n (r s)| SD 2 · 2n+1 |CSD2n (x)| = x∈Tl
1 1 n+1 n | + |U n−1 | = |SD = + (2 + 4) = 2 ,l · 2n+1 · 2n+1 2n Khi l lẻ với ⩽ l ⩽ 2n−1 − Theo Mệnh đề ?? ta có |Tl | = Do n−1 Tl = {1, rl s, r2 n−1 , rl+2 s} Khi đó, theo Mệnh đề 54 ta có X |CSD2n (x)| |Tl ||SD2n | Pr(Tl , SD2n ) = x∈Tl n−1 n−1 |CSD2n (1)| + |CSD2n (rl s)| + |CSD2n (r2 )| + |CSD2n (rl+2 s)| n+1 4·2
n | + |U n−1 | + |SD2n | + |U n−1 n−1 | = |SD 2 ,l+2 ,l · 2n+1
1 n+1 n+1 = + + + + = · 2n+1 2n =   Như hai trường hợp l ta có Pr(Tl , SD2n ) = 1 + n 2 (iii) Giả sử H = Ui,j với ⩽ i ⩽ 2n − 1, i|2n , ⩽ j ⩽ i − Ta xét hai trường hợp i sau Trường hợp 1: i = 2n−1 Theo Mệnh đề ??, ta có 2n+1 2n+1 = n−1 = i |Ui,j | = Do Ui,j = {1, r2 n−1 , rj s, r2 n−1 +j s} Khi đó, theo Mệnh đề 54 ta có Pr(Ui,j , SD2n ) = X |CSD2n (x)| |Ui,j ||SD2n | x∈Ui,j 2n−1 j 2n−1 +j |C )| + |C s)| n (1)| + |CSD2n (r n (r s)| + |CSD2n (r SD SD 2 · 2n+1
n n n−1 n−1 n−1 |SD | + |SD | + |U | + |U | = 2 ,j ,2 +j · 2n+1 1 = (2n+1 + 2n+1 + + 4) = + n n+1 4·2 2  =  Trường hợp 2: i ̸= 2n−1 Theo Mệnh đề ?? ta có |Ui,j | = Do 2n+1 i  2n r ⩽ i ⩽ −1 k  k Rk = ⟨r ⟩ = ik Ta xét hai trường hợp k sau Trường hợp 1: k | n Khi đó, theo Mệnh đề ?? ta có X X |CQ4n (x)| = |CQ4n (1)| + |CQ4n (rn )| + |CQ4n (rik) | 1⩽i⩽ 2n −1 k x∈Rk i̸= nk = 4n + 4n + = 8n +  2n k Do đó, theo Mệnh đề 54, ta có X Pr(Rk , Q4n ) = |Rk ||Q4n | x∈Rk  2n k  − |R1 |  − 2n = |CQ4n (x)| = 4n(n + k) k 4n(n + k) n+k = 2n k 2n 4n k 32 Trường hợp 2: k ∤ n Khi đó, theo Mệnh đề ??, ta có X X |CQ4n (rik )| |CQ4n (x)| = |CQ4n (1)| + −1 1⩽i⩽ 2n k x∈Rk = 4n +  2n k  − |R1 | = 4n +  2n k  − 2n = 2n(2n + k) k Từ suy Pr(Rn , Q4n ) = X 2n(2n + k) 2n + k · |CQ4n (x)| = = 2n |Rk ||Q4n | k 4n 4n x∈Rk k (ii) Giả sử H = Ui,j với i|n, ⩽ i ⩽ n, ⩽ j ⩽ i − Theo Mệnh đề ?? ta có |Ui,j | = Đặt k = 4n 4n = (n, i) i 2n Khi i |Ui,j | = 4n = 2k i Do Ui,j = {rli , rli+j s | ⩽ l ⩽ k − 1} Từ suy X X |CQ4n (x)| = x∈Ui,j |CQ4n (rli )| + 0⩽l⩽k−1 = |CQ4n (1)| + |CQ4n (rn )| + X |CQ4n (rli+j s)| 0⩽l⩽k−1 X |CQ4n (rli )| + 1⩽l⩽k−1 l̸= k2 X |CQ4n (rli+j s)| 0⩽l⩽k−1 = |Q4n | + |Q4n | + (k − 2)|R1 | + k|Un,j | 4n(n + i + 2) = 4n + 4n + (k − 2)2n + 4k = i Do đó, theo Mệnh đề 54 Pr(Ui,j , Q4n ) = X 1 4n(n + i + 2) n+i+2 · |CQ4n (x)| = = 4n |Ui,j ||Q4n | i 4n 4n x∈Ui,j i 33 Trong ví dụ sau ta tính lại độ giao hốn tương đối nhóm nhóm quaternion Q8 , tính độ giao hốn tương đối nhóm nhóm Q12 cách áp dụng Mệnh đề ?? Ví dụ (i) Với n = 2, xét nhóm quaternion Q8 (cho Ví dụ 12) Các nhóm Q8 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = {1}; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩; Q8 Khi Pr(R1 , Q8 ) = 2+2 2·2+4 2+1 = , Pr(R2 , Q8 ) = = 1, Pr(R4 , Q8 ) = = 1; 2·2 2·2 4·2 Pr(U2,0 , Q8 ) = Pr(U2,1 , Q8 ) = 2+2+2 = ; Pr(Q8 , Q8 ) = Pr(Q8 ) = 4·2 (ii) Với n = 3, xét nhóm quaternion Q12 = {1, r, r2 , r3 , r4 , r5 , s, rs, r2 s, r3 s, r4 s, r5 s} Các nhóm Q12 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R3 = ⟨r3 ⟩, R6 = {1}; U3,0 = ⟨r3 , s⟩, U3,1 = ⟨r3 , rs⟩, U3,2 = ⟨r3 , r2 s⟩; Q12 Khi Pr(R1 , Q12 ) = 3+1 2·3+2 = , Pr(R2 , Q12 ) = = , 2·3 4·3 3+3 2·3+6 = 1, Pr(R6 , Q12 ) = = 1; 2·3 4·3 3+3+2 Pr(U3,0 , Q12 ) = Pr(U3,1 , Q12 ) = Pr(U3,2 , Q12 ) = = ; 4·3 Pr(Q12 , Q12 ) = Pr(Q12 ) = Pr(R3 , Q12 ) = 34 11 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 đề 10 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 đề 11 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 (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ể áp dụng cho Z = Z(R) tâm R Chứng minh (1) Từ Mệnh đề 19 ta dễ dàng suy ∈ ∆(R) (2) Nếu R thể ∆(R) = Vì R U J -vành nên ta suy ∼ R = F2 35 (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 đề 45 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ý 13 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 36     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 đề 12 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 37 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 đề 39, 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 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 [?]  38 Định lý 14 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ệ 11 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ệ 12 R ∆U -vành vành ma trận tam giác Tn (R) ∆U -vành, n ≥ 12 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 đề 13 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; 39 (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 đề 14 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 đề 15 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 đề 16 Cho nhóm quaternion suy rộng Q4n với n ⩾ Khi 2n , d = (2n, k), với ⩽ k ⩽ 2n; d 4n (ii) Ui,j nhóm quaternion suy rộng cấp , d = (n, i), d với ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − (i) Rk nhóm xiclíc cấp 40 Mệnh đề 17 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 đề 18 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 đề 19 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 d = (2n , i) Mệnh đề 20 Cho nhóm giả nhị diện SD2n với n ⩾ Khi CSD2n (1) = CSD2n (r2 n−1 ) = SD2n , CSD2n (ri ) = R1 , với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − CSD2n (rj s) = U2n−1 ,j 41 Mệnh đề 21 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 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) 42 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, t Z 3s2 xm (s)ds, xm+1 (t) = + m = 0, 1, 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