Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 92 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
92
Dung lượng
570,88 KB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: BÀI TỐN BIÊN DẠNG TUẦN HỒN VỚI TỐN TỬ THUẦN NHẤT DƯƠNG CHO PHƯƠNG TRÌNH HÀM 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 Tác giả học tập vận dụng công cụ Giải tích hàm phi tuyến để khảo sát sư tồn nhât nghiêm toán biên phi tuyến, chẳng hạn như: phương pháp Galerkin liên hệ vời kỹ thuật đánh giá tiên nghiệm, kỹ thuật tính compacl hội tụ yếu Trong phần nầy, chúng tơi có dịp sử dụng dược định lý Schauder việc chứng minh tồn nghiệm xấp xỉ Galerkin Tác giả cụ thể vấn đề vào ví dụ trình bày chương 4, để minh hoạ phương pháp tìm nghiệm tốn 661 2 Nhóm quaternion suy rộng Mệnh đề Cho nhóm quaternion suy rộng Q4n = ⟨r, s | r2n = 1, s2 = rn = 1, s−1 rs = r−1 ⟩ với n ⩾ H nhóm Q4n Khi (i) Nếu H = Rk với k|2n, ⩽ k ⩽ 2n Pr(H, Q4n ) = n+k k | n, 2n 2n + k k ∤ n 4n (ii) Nếu H = Ui,j với i|n, ⩽ i ⩽ n, ⩽ j ⩽ i − Pr(H, Q4n ) = n+i+2 4n Chứng minh (i) Giả sử H = Rk với k|2n, ⩽ k ⩽ 2n Theo Mệnh đề 48 ta có 2n 2n = (2n, k) k |Rk | = Do 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 đề 49 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 đề ??, 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 Trường hợp 2: k ∤ n Khi đó, theo Mệnh đề 49, 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 đề 48 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 đề ?? 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 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ụ ??) 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 ) = = i 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 Khi đó, theo Mệnh đề 46 ta có X X n |CDn (ril )| = CDn (r ) + |CDn (ril )| 1⩽l⩽ ni −1 1⩽l⩽ ni −1 n l̸= 2i = |Dn | + X n i − |R1 | = 2n + n n i −2 = n2 , i 4n n |CDn (ril+j s)| = U n2 ,il+j = i 0⩽l⩽ ni −1 i Từ suy X |CDn (x)| = 2n + x∈Ui,j Áp dụng Mệnh đề ?? ta có X Pr(Ui,j , Dn) = |Ui,j ||Dn | n2 4n n(n + 2i + 4) + = i i i |CDn (x)| = x∈Ui,j Vậy ta có điều phải chứng minh n(n + 2i + 4) n + 2i + = 2n i 4n 2n i 53 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 đề 12 Ví dụ (i) Với n = 3, xét nhóm nhị diện D3 (cho Ví dụ ??) Các nhóm D3 R1 = ⟨r⟩, R3 = {1}; T0 = ⟨s⟩, T1 = ⟨rs⟩, T2 = ⟨r2 s⟩; D3 Khi 3+3 3+1 = , Pr(R3 , D3 ) = = 1; 2·3 2·3 3+1 Pr(T0 , D3 ) = Pr(T1 , D3 ) = Pr(T2 , D3 ) = = ; 2·3 Pr(D3 , D3 ) = Pr(D3 ) = Pr(R1 , D3 ) = (ii) Với n = 4, xét nhóm nhị diện D4 (cho Ví dụ ??) 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·1 4+2·2 4+4 = , 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 ) = 19 4+2 = ; 2·4 4+2·2+4 = ; Pr(D4 , D4 ) = Pr(D4 ) = 4·4 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 54 Mệnh đề 34 Cho H nhóm G, p ước nguyên tố nhỏ |G| Khi |Z(G) ∩ H| p(|H| − |Z(G) ∩ H|) |Z(G) ∩ H| + |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 hoá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 đề 35 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) ⩽ 55 Chứng minh X (i) Vì H ⊆ Z(G) nên |CG (x)| = |H||G| Do x∈H Pr(H, G) = 1 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ý 54 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 đề 55 Mệnh đề 36 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ý 54 ta có |Z(G) ∩ H| + |H| |Z(G) ∩ H| = Pr(H, G) ⩽ = + 2|H| 2|H| Từ suy |H| ⩽ |Z(G) ∩ H| 56 |H| = |H| = |Z(G) ∩ H|, từ suy H ⊆ Z(G) Khi |Z(G) ∩ H| theo Mệnh đề 55 (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 (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 20 ĐẠI SỐ VÀ SIGMA ĐẠI SỐ Định nghĩa 15 Cho tập X tùy ý khác rỗng Ta gọi P (X) tập hợp tất tập X Gọi A∗ họ tập X A∗ gọi đại số tập X A∗ thỏa ba tiên đề sau: X ∈ A∗ ∀A ∈ A∗ ⇒ Ac ∈ A∗ (Đóng kín với phép tốn lấy phần bù) ∀A, B ∈ A∗ , A ∪ B ∈ A∗ (Đóng kín với phép tốn hợp) Định nghĩa 16 Cho tập X tùy ý khác rỗng Ta gọi P (X) tập hợp tất tập X Gọi A∗ họ tập X A∗ gọi