Bài toán biên dạng tuần hoàncho 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 BIÊN DẠNG TUẦN HỒN 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 MỞ ĐẦU Nhiều hệ thống thực tế điện, nước, mạng lưới truyền thơng, thường mơ hình hóa hệ phương trình vi phân Việc nghiên cứu lý thuyết định tính hệ động lực đem lại nhiều ứng dụng Trong lý thuyết điều khiển, quan sát trạng thái hệ động lực phản ánh dáng điệu hệ thống vật lý, thiết kế dựa thông tin đo đầu vào đầu hệ thống để cung cấp ước lượng cho trạng thái bên hệ động lực Yêu cầu việc thiết kế quan sát ước lượng trạng thái quan sát phải hội tụ tới giá trị thực tế trạng thái hệ thống Tiếp theo đưa điều kiện để tồn quan sát trạng thái 622 2 Nhóm đối xứng Trong mục chúng tơi tính tốn độ giao hốn tương đối nhóm thay phiên An nhóm đối xứng Sn Định nghĩa Cho n số nguyên dương Một phân hoạch n dãy không tăng số nguyên dương (k1 , k2 , , ks ) cho k1 + k2 + · · · + ks = n Từ Mệnh đề 45 ta có kết sau Mệnh đề Với n ⩾ Pr(An , Sn ) = 2c(n) n! c(n) số lớp liên hợp Sn nằm An Để tính c(n) ta cần kết sau Mệnh đề Cho n số nguyên, n ⩾ 2, (k1 , k2 , , ks ) phân hoạch n Giả sử π ∈ Sn có kiểu (k1 , k2 , , ks ) Khi π ∈ An s + k X ki số chẵn i=1 Chứng minh Vì phép π có kiểu (k1 , k2 , , ks ) cho nên, theo Mệnh đề 42, ta có s P (ki +1) sign(π) = (−1)i=1 s+ = (−1) s P i=1 ki Từ suy điều phải chứng minh Trong ví dụ sau chúng tơi tính tốn giá trị Pr(An , Sn ) với ⩽ n ⩽ cách áp dụng Mệnh đề 49 Với n ⩾ 2, ta liệt kê tất phân hoạch n ứng với kiểu phép An Từ ta đếm c(n) tính Pr(An , Sn ) Ví dụ (i) Với n = ta có phân hoạch (1, 1) Do c(2) = Cho nên Pr(A2 , S2 ) = 2c(2) = 2! (ii) Với n = ta có phân hoạch (3), (1, 1, 1) Do c(3) = Cho nên Pr(A3 , S3 ) = 2c(3) = 3! (iii) Với n = ta có phân hoạch (3, 1), (2, 2), (1, 1, 1, 1) Do c(4) = Cho nên Pr(A4 , S4 ) = 2c(4) = 4! (iv) Với n = ta có phân hoạch (5), (3, 1, 1), (2, 2, 1), (1, 1, 1, 1, 1) Do c(5) = Cho nên Pr(A5 , S5 ) = 2c(5) = 5! 15 (v) Với n = ta có phân hoạch (5, 1), (4, 2), (3, 3), (3, 1, 1, 1), (2, 2, 1, 1), (1, 1, 1, 1, 1, 1) Do c(6) = Cho nên Pr(A6 , S6 ) = 2c(6) = 6! 60 (vi) Với n = ta có phân hoạch (7), (5, 1, 1), (4, 2, 1), (3, 3, 1), (3, 2, 2), (3, 1, 1, 1, 1), (2, 2, 1, 1, 1), (1, 1, 1, 1, 1, 1, 1) Do c(7) = Cho nên Pr(A7 , S7 ) = 2c(7) = 7! 315 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 ĐỊNH LÝ ROLLE Cơ sở định lý Rolle dựa hai định lý Weierstrass Fermat Định lý Weierstrass khẳng định hàm số f liên tục đoạn [a, b] bị chặn tồn giá trị lớn nhất, giá trị nhỏ đoạn Định lý Fermat điểm cực trị hàm khẳng định hàm f khả vi khoảng (a, b) đạt cực trị địa phương (cực đại địa phương cực tiểu địa phương) thuộc khoảng giá trị đạo hàm điểm cực trị địa phương không Định lý (Định lý Rolle) Giả sử cho hàm số f liên tục [a, b], khả vi khoảng (a, b) f (a) = f (b) Khi tồn c ∈ (a, b) cho f ′ (c) = Chứng minh Vì f liên tục đoạn [a, b] Theo định lý Weierstrass hàm f phải tồn giá trị lớn giá trị nhỏ đoạn [a, b], nghĩa tồn x1 , x2 ∈ (a, b) cho f (x1 ) = f (x) = m, f (x2 ) = max f (x) = M [a,b] [a,b] Có hai khả xảy ra: 1) Nếu m = M Khi f (x) = const đoạn [a, b] Nên f ′ (c) = với c ∈ (a, b) 2) Nếu m < M Theo giả thiết ta có f (a) = f (b) nên hai điểm x1 , x2 phải thuộc khoảng (a, b) Khơng tính tổng quát ta giả sử x1 ∈ (a, b) Theo định lý Fermat đạo hàm điểm khơng Định lý chứng minh xong Ý nghĩa hình học định lý Rolle Cho C đường cong trơn với hai đầu mút A, B có "độ cao" (trong hệ trục tọa độ Descartes) C tồn điểm mà tiếp tuyến C điểm song song với AB(hay song song với trục hồnh f (a) = f (b)) Hệ Nếu hàm số f (x) có đạo hàm khoảng (a, b) phương trình f (x) = có n nghiệm phân biệt thuộc khoảng (a, b) phương trình f ′ (x) = có n − nghiệm phân biệt thuộc khoảng (a, b) (Phương trình f (k) (x) = có n − k nghiệm phân biệt thuộc khoảng (a, b) với (k = 1, 2, , n)) Chứng minh Giả sử phương trình f (x) = có n nghiệm phân biệt thuộc khoảng (a, b) thứ tự x1 < x2 < < xn Khi ta áp dụng định lý Rolle cho n − đoạn [x1 , x2 ], [x2 , x3 ], , [xn−1 , xn ] phương trình f ′ (x) = có n − nghiệm thuộc n − khoảng (x1 , x2 ), (x2 , x3 ), , (xn−1 , xn ) Gọi n − nghiệm ξ1 , ξ2 , , ξn−1 ta có: f (ξ1 ) = f (ξ2 ) = = f (ξn−1 ) = Tiếp tục áp dụng định lý Rolle cho n−2 khoảng (ξ1 , ξ2 ), (ξ2 , ξ3 ), , (ξn−2 , ξn−1 ) phương trình f ′′ (x) = có n−2 nghiệm phân biệt khoảng (a, b) Tiếp tục trình sau k bước phương trình f (k) (x) = có n − k nghiệm phân biệt thuộc khoảng (a, b) Hệ Giả sử hàm số f (x) liên tục đoạn [a, b] có đạo hàm khoảng (a, b) Khi phương trình f ′ (x) = có khơng q n − nghiệm phân biệt khoảng (a, b) phương trình f (x) = có khơng q n nghiệm phân biệt khoảng Chứng minh Giả sử phương trình f (x) = có nhiều n nghiệm phân biệt khoảng (a, b), chẳng hạn n + nghiệm Khi theo hệ phương trình f ′ (x) = có n nghiệm thuộc khoảng (a, b) Điều trái với giả thiết phương trình f ′ (x) = có khơng n − nghiệm Ta có điều phải chứng minh ĐỊNH LÝ ROLLE Cơ sở định lý Rolle dựa hai định lý Weierstrass Fermat Định lý Weierstrass khẳng định hàm số f liên tục đoạn [a, b] bị chặn tồn giá trị lớn nhất, giá trị nhỏ đoạn Định lý Fermat điểm cực trị hàm khẳng định hàm f khả vi khoảng (a, b) đạt cực trị địa phương (cực đại địa phương cực tiểu địa phương) thuộc khoảng giá trị đạo hàm điểm cực trị địa phương không Định lý (Định lý Rolle) Giả sử cho hàm số f liên tục [a, b], khả vi khoảng (a, b) f (a) = f (b) Khi tồn c ∈ (a, b) cho f ′ (c) = Chứng minh Vì f liên tục đoạn [a, b] Theo định lý Weierstrass hàm f phải tồn giá trị lớn giá trị nhỏ đoạn [a, b], nghĩa tồn x1 , x2 ∈ (a, b) cho f (x1 ) = f (x) = m, f (x2 ) = max f (x) = M [a,b] [a,b] Có hai khả xảy ra: 1) Nếu m = M Khi f (x) = const đoạn [a, b] Nên f ′ (c) = với c ∈ (a, b) 2) Nếu m < M Theo giả thiết ta có f (a) = f (b) nên hai điểm x1 , x2 phải thuộc khoảng (a, b) Khơng tính tổng qt ta giả sử x1 ∈ (a, b) Theo định lý Fermat đạo hàm điểm khơng Định lý chứng minh xong Ý nghĩa hình học định lý Rolle Cho C đường cong trơn với hai đầu mút A, B có "độ cao" (trong hệ trục tọa độ Descartes) C tồn điểm mà tiếp tuyến C điểm song song với AB(hay song song với trục hồnh f (a) = f (b)) Hệ Nếu hàm số f (x) có đạo hàm khoảng (a, b) phương trình f (x) = có n nghiệm phân biệt thuộc khoảng (a, b) phương trình f ′ (x) = có n − nghiệm phân biệt thuộc khoảng (a, b) (Phương trình f (k) (x) = có n − k nghiệm phân biệt thuộc khoảng (a, b) với (k = 1, 2, , n)) Chứng minh Giả sử phương trình f (x) = có n nghiệm phân biệt thuộc khoảng (a, b) thứ tự x1 < x2 < < xn Khi ta áp dụng định lý Rolle cho n − đoạn [x1 , x2 ], [x2 , x3 ], , [xn−1 , xn ] phương trình f ′ (x) = có n − nghiệm thuộc n − khoảng (x1 , x2 ), (x2 , x3 ), , (xn−1 , xn ) Gọi n − nghiệm ξ1 , ξ2 , , ξn−1 ta có: f (ξ1 ) = f (ξ2 ) = = f (ξn−1 ) = Tiếp tục áp dụng định lý Rolle cho n−2 khoảng (ξ1 , ξ2 ), (ξ2 , ξ3 ), , (ξn−2 , ξn−1 ) phương trình f ′′ (x) = có n−2 nghiệm phân biệt khoảng u(sh − f )dx ≤ ∥u∥ p′ ∥f − sh ∥Lp (Ω) → L (Ω) (12) Ω Điều kiện (45), (48) 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 (46) Trong trường hợp p = 1, giả sử M > cho EM := {x ∈ Ω : u(x) > M } Khi Z udx = ϕ(χEM ) ≤ ∥ϕ∥(Lp (Ω))′ |EM | M |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 (Ω))′ ′ 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| Ω, (13) lim sh (x) = |u(x)|, ∀x ∈ Ω (14) h→∞ Bây ta chứng minh ước lượng quan trọng sau ∥sh ∥Lp′ (Ω) ≤ ∥ϕ∥(Lp (Ω))′ , ∀h (15) 34 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 (49) ′ ∥sh ∥pLp′ (Ω) p′ |sh | dx ≤ = Ω Ω ′ shp −1 |u|dx Z (45) = uh u dx = ϕ(uh ) Ω Z ≤ ∥ϕ∥(Lp (Ω))′ ∥uh ∥Lp (Ω) = ∥ϕ∥(Lp (Ω))′ (p′ −1)p |sh |  p1 dx Ω Z  p1 p′ = ∥ϕ∥(Lp (Ω))′ |sh | dx Ω p′ = ∥ϕ∥(Lp (Ω))′ ∥sh ∥Lpp (Ω) Nếu ∥sh ∥Lp′ (Ω) = 0, (51) hiển nhiên Nếu ∥sh ∥Lp′ (Ω) > 0, bất đẳng thức (51) chia cho ∥sh ∥ p′ p Lp′ (Ω) Từ (50), (51) 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 (46) < 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 ′ 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 (16) ′ Từ bước 2, với h, tồn uh ∈ Lp (Ωh ) cho ∥uh ∥Lp′ (Ω) = ∥ϕ∥(Lp (Ωh ))′ Z ϕ(f ) = Ωh uh f dx, ∀f ∈ Lp (Ωh ) (17) (18) 35 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ừ (52), (53) đị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 ϕ (54), 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 Đị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 ã p = bit σ -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ể 36 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 đề 20 (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 (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 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 đề 30 Hiển nhiên Af tập mở Ta chứng minh f (x) = hầu khắp nơi x ∈ Af (19) Từ Rn không gian metric tách được, thỏa mãn tiên đề thứ hai tính đếm (Định lý 20) 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 37 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 (55) 12 Các vành nhóm Ánh xạ ε : RG → R cho ε( X g rg g) = X rg ánh xạ mở rộng g Iđêan ∇(RG) = ker(ε) gọi iđêan mở rộng Định lý 15 Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành iđêan mở rộng ∇(RG) ∆U -vành Chứng minh Đặt ∇ = ∇(RG) Giả sử G nhóm hữu hạn có cấp 1+2n R ∆U -vành Theo Mệnh đề ??, ta có ∈ ∆(R), 1+2n ∈ U (R) Khi RG có biểu diễn RG = ∇⊕H với H ∼ = R theo [4] Đặt ∇ = eRG H = (1 − e)RG Rõ ràng e phần tử tâm RG Nếu RG ∆U -vành, ∇ = eRG ∆U -vành theo Mệnh đề ?? Ngược lại, giả sử ∇ = eRG ∆U -vành Vì H ∼ = R nên H ∆U -vành Theo Bổ đề 4, RG ∆U -vành Một nhóm gọi hữu hạn địa phương nhóm sinh hữu hạn phần tử hữu hạn Bổ đề Nếu G 2-nhóm hữu hạn địa phương R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Chứng minh Giả sử G 2-nhóm hữu hạn địa phương R ∆U -vành ¯ Suy Khi R¯ := R/J(R) ∆U -vành Từ ∆(R) lũy linh, ∈ N (R) ¯ ⊆ N (RG) ¯ ¯ ∇(RG) theo [4, Hệ quả, trang 682] Do đó, ∇(RG) iđêan lũy ¯ Ta kiểm tra J(R)G ⊆ J(RG), linh chứa J(RG) J((R/J(R))G) ∼ = J(RG/J(R)G) = J(RG)/J(R)G Do ∇(RG) ⊆ J(RG) ⊆ ∆(RG) Định lý 16 Cho R ∆U -vành G 2-nhóm hữu hạn địa phương Nếu ∆(R) lũy linh, RG ∆U -vành 38 Chứng minh Lấy u ∈ U (RG) Khi ε(u) = + ε(u − 1) ∈ U (R) theo Bổ đề ?? (1) áp dụng cho ánh xạ mở rộng ε i Vì R ∆U -vành nên tồn j ∈ ∆(R) thỏa mãn ε(u) = + j Theo Bổ đề ?? (1) ta có ε(u − + j) = hay u − + j ∈ ∇(RG) ⊆ ∆(RG) Do u ∈ − j + ∆(RG) suy u ∈ + ∆(RG) Hệ 13 Cho R vành hoàn chỉnh phải trái G 2-nhóm hữu hạn địa phương Khi đó, R ∆U -vành RG ∆U -vành 13 Nhóm quaternion suy rộng Mệnh đề 21 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 đề ta có |Rk | = Do k Rk = ⟨r ⟩ = 2n 2n = (2n, k) k  2n r ⩽ i ⩽ −1 k  ik 39 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 1⩽i⩽ 2n k x∈Rk i̸= nk  2n = 4n + 4n + = 8n +  2n k Do đó, theo Mệnh đề 44, ta có X Pr(Rk , Q4n ) = |Rk ||Q4n | k  − |R1 |  − 2n = |CQ4n (x)| = x∈Rk 4n(n + k) k n+k 4n(n + k) = 2n k 2n 4n k Trường hợp 2: k ∤ n Khi đó, theo Mệnh đề 8, ta có X X |CQ4n (rik )| |CQ4n (x)| = |CQ4n (1)| + 1⩽i⩽ 2n −1 k x∈Rk = 4n +  2n k  − |R1 | = 4n +  2n k  − 2n = 2n(2n + k) k Từ suy Pr(Rn , Q4n ) = X 1 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} 40 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 X |CQ4n (rli )| + 1⩽l⩽k−1 l̸= k2 |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 đề 44 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 đề 23 Ví dụ (i) Với n = 2, xét nhóm quaternion Q8 (cho Ví dụ 5) 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+1 2+2 2·2+4 = , 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}