Báo cáo chuyên đề môn đại số máy tính và cơ sở grobner chủ đề nghiệm của hệ phương trình đa thức

ỦY BAN NHÂN DÂN TP HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC SÀI GỊN BÁO CÁO CHUN ĐỀ MƠN: ĐẠI SỐ MÁY TÍNH VÀ CƠ SỞ GROBNER Chủ đề: Nghiệm hệ phương trình đa thức Giáo viên bợ mơn: TS.Phan Đức Tuấn Thành viên nhóm 2: 3119480030 Huỳnh Nguyễn Minh Khoa 3119480032 Phan Nguyễn Trung Kiên 3119480082 Phan Minh Thương 3119480083 Huỳnh Quang Tiến 3119480087 Đoàn Phạm Thùy Trang 3119480091 Võ Thị Thùy Trang 3119480099 Lê Minh Trường 3119480109 Huỳnh Vũ Phương Vy 3119480113 Mai Thị Hồng Xuyên Khoa: Toán – Tin ứng dụng Nhóm mơn học: 848306 TP HỒ CHÍ MINH – THÁNG 12 NĂM 2022 Nhóm Hệ phương trinh đa nghiệm MỤC LỤC PHẦN 1: TÌM HIỂU HỆ PHƯƠNG TRÌNH ĐA NGHIỆM Hệ phương trình đa thức 1.1 Nghiệm phương trình đa thức 1.2 Cách giải hệ phương trình đa thức 1.2.1 Giải hệ phương trình 1.2.2 Cách tìm sở Grobner _ PHẦN 2: BÀI TẬP ÁP DỤNG Tóm tắt đề bài _9 Gỉai bài tập _12 Báo cáo “Đại số máy tính và sở Grobner” Trang Nhóm Hệ phương trinh đa nghiệm PHẦN TÌM HIỂU HỆ PHƯƠNG TRÌNH ĐA THỨC Hệ phương trình đa thức 1.1 Nghiệm phương trình đa thức Xét hệ S ( , , ( , , Gọi I là ideal sinh các đa thức: I=( Mệnh đề 1.1.1 F I (S) F( ( , , … , ), ( , , ) ) ) = với ( … , ) là nghiệm S Chứng minh: F I (S) F = r1P1 + r2P2 + … + rmPm Từ đó suy ra: F( + … , ) = r1 ( … , … + rm ( = r1 ( , , … , ) P1 ( , , ) + r2 ( , , ) P2 ( ) Pm ( , , ) ) + r2 ( , , ) +…+ rm ( Mệnh đề 1.1.2 Cho K là một trường đóng đại số và f1,… fm Các điều kiện sau tương đương: , , , , ) ) = K (i) Hệ phương trình f1 (x) = … = fm(x) = vô nghiệm (ii) Tồn sở Grobner I = (f1,… fm) (đối với thứ tự chứa một đa thức hằng) (iii) Mọi sở Grobner I = (f1,…fm) chứa một đa thức Đối với hệ ta có Báo cáo “Đại số máy tính và sở Grobner” Trang Nhóm Hệ phương trinh đa nghiệm Mệnh đề 1.1.3 Cho f1,… fm K là các đa thức khắc hằng, đó K là tường đóng đại số Các điều kiện sau tương đương: (i) Hệ phương trình f1 (x) = … = fm (x) = chỉ có nghiệm tầm thường (0,…0) (ii) Tồn một sở Grobner G I = (f1,…fm), cho với g (iii) G để lm (g) = , , n, tồn >0 Mọi Grobner G I = (f1,…fm) có tính chất: với cho lm (g) = i i n, tồn g G >0 Bây ta xem xét hệ phương tình đa thức có hữu hạn nghiệm Mệnh đề 1.1.4 Cho I là iđêan thực vành K (i) Với i, (ii) Với (iii) i i Các điều kiện sau tương đương: n, I có một đa thức khác chỉ chứa biến n, có một đa thức khác mà từ khởi đầu nó chỉ chứa biến Mọi sở Grobner I có tính chất: với i n G có một đa thức mà khởi đầu nó chỉ chứa biến Bổ đề 1.1.5 Cho L là một mở rộng trường K Gỉa sử dim I=0 Đặt mi  min{deg( f i ) |  f i  I  K [ xi ]},1  i  n, Và m  m m Khi đó I có tối đa m không điểm khác Ln in Chú ý với thìn inf( f f i ) = x deg( f ) Do đó, từ i i ta có thể áp dụng định lý i Macaulay, suy dim I=0, thì dimK K [ x ] / I  m Dễ dàng đưa ví dụ chứng tỏ dấu không xảy Do đó kết sau mạnh mệnh đề Định lý 1.1.6 Giả sử dim I=0 Khi đó số không điểm của I A Kn nhỏ hoặc bằng dimK K [ x ] / I Nếu K là trường hoàn hảo và I là iđêan thì ta có dấu bằng Báo cáo “Đại số máy tính và sở Grobner” Trang Nhóm Hệ phương trinh đa nghiệm 1.2 Cách giải hệ phương trình đa thức 1.2.1 Giải hệ phương trình =0 =0 (I) =0 Để giải hệ phương trình (I), ta làm sau: Gọi I ideal sinh các đa thức , , , Ta tính sở Grobner ideal I theo một thứ tự nào đó (ở ta xét thứ tự từ điển), ta sở G = { , , , } Giải hệ: =0 =0 (II) =0 Khi đó nghiệm hệ (II) là nghiệm hệ (I) (theo bổ đề 1.1.1) 1.2.2 Cách tìm sở Grobner Ta lựa chọn mợt ba thứ tự từ, luận văn này ta quan tâm tới thứ tự từ điển Để tìm sở Grobner mợt ideal trước hết ta cần tìm từ khởi đầu các đa thức, sau đó tính các S− đa thức theo tiêu chuẩn Buchberge Ví dụ 1: Cho ideal I = ( + y, y – z) Tìm sở Grobner ideal I Giải Xét thứ tự từ điển với x > y > z và hai đa thức = Báo cáo “Đại số máy tính và sở Grobner” + y,= y – z Trang Nhóm Hệ phương trinh đa nghiệm Ta có: in( )= ; in( ) = y = = ; = =y Dùng thuật toán Buchberge ta nhận được: S( , ) = y.( + y) − (−x) ( y – z) = −xz + = Tương tự ta tính S( , ) = (−z).( S( , ) = (−z).( S( , + y) − ( = (x ), S( ) + =− ) , ).( −xz + y – z) − xy (−xz + )=− ( = (−xz + S( , + y) – ( )= −yz = y )= ).( + += )= − 0 ) không cần xét từ khởi đầu nguyên tố Vậy sở Grobner I là: = + y; = y – z; = −xz + ; = + ; = + Như vậy qua ví dụ ta thấy bài toán giải hệ phương trình, phương pháp giải khá là đơn giản và đồng ta tìm cho nó sở Grobner việc tính toán thì lại dài dòng và phức Ví dụ 1: Chi Idêan I  ( x  y, y  z )  K [ x, y, z] Chứng tỏ rằng các đa thức x  y, y  z là sở Grobnẻ của I đối với thứ tự từ điển Bài giải Báo cáo “Đại số máy tính và sở Grobner” Trang Nhóm Hệ phương trinh đa nghiệm I =(x y , y z) với thứ tự từ điến x>y>z Ta chứng tỏ x y , y z là sở Grobner I Thật vậy, phần tử có dạng : f=g(x+y)+h(y+z) Nếu in(f) không chứa x và y chỉ chứa z, tức là f=f(z) Thay x = z, y = -z vào biểu diễn vừa nêu f Ta có f = f(z) = g(z ,-z ,z).0 + h(z, -z ,z).0 =0 (vô lý ) Vậy in(f) (x,y) = [in(x+y),in(y+z) hay x+y , y+z là sở Grobner I thứ tự từ điển Ví dụ 2: Tìm một sở Grobner của idêan I  ( x  y3 , y  z4 ) Bài giải Báo cáo “Đại số máy tính và sở Grobner” Trang Nhóm f1 x, y  Hệ phương trinh đa nghiệm Ví dụ 3: Cho các đa thức  2xy  3x  y  6, f x, y  x2  y  4x  12 y  3C x, y Tìm một cở sở Grobner của Iđêan sinh bởi các đa thức f1, f2 Bài giải Xét idean: I = (2xy + 3x + 4y + 6, x2 + 4y2 + 4x + 12y – 3) Theo thứ tự từ điển Áp dụng thuật toán tiêu chuẩn Buchberger Bước 1: Tiêu chuẩn Bước 2: Báo cáo “Đại số máy tính và sở Grobner” Trang Nhóm  Hệ phương trinh đa nghiệm S(f1, f2) = x ( 2xy + 3x + 4y + ) - 2y ( x2 + 4y2 + 4x + 12y – ) = 3x2 - 4xy - 8y3 + 6x - 24y2 + 6y = f3 Tiếp tục lặp lại bước ta nhận  S(f1, f3) = 3x ( 2xy + 3x + 4y + ) – 2y ( 3x2 – 4xy – 8y3 + 6x – 24y2 + 6y ) 9x2 + 18x + 8xy2 + 16y4 + 48y3 – 12y2 = f4 =  S(f2, f3) = ( x2 +4y2 + 4x + 12y – ) – ( 3x2 – 4xy – 8y3 + 6x – 24y2 + 6y ) 36y2 + 6x + 30y + 4xy + 8y3 – = f5 =  2 2 S(f1, f4) = 9x ( 2xy + 3x + 4y + ) – 2y ( 9x + 18x + 8xy + 16y + 48y – 12y ) =  27x + 54x – 16xy – 32y – 96y + 24y = f6 2 S(f2, f4) = ( x +4y + 4x + 12y – ) – ( 9x + 18x + 8xy + 16y + 48y – 12y ) =  48y2 + 18x + 108y – 27 – 8xy2 – 16y4 – 48y3 = f7 S(f3, f4) = ( 3x2 – 4xy – 8y3 + 6x – 24y2 + 6y ) – ( 9x2 + 18x + 8xy2 + 16y4 + 48y3 – 12y2 ) =  = – 36y – 216y3 – 108y2 + 54y – 24xy2 – 48y4 = f8 S(f1, f5) = – ( 2xy + 3x + 4y + ) + ( 36y2 + 6x + 30y + 4xy + 8y3 – ) 22y + 8y3 + 36y2 – 21 = f9 Thuật toán dừng lại f9 Do sở Grobner nhận là tối thiểu Báo cáo “Đại số máy tính và sở Grobner” Trang Nhóm Hệ phương trinh đa nghiệm PHẦN 2: BÀI TẬP ÁP DỤNG GIẢI HỆ PHƯƠNG TRÌNH ĐA THỨC TÓM TẮT ĐỀ Bài Giải hệ phương trình sau: Bài Giải hệ phương trình sau: Bài Giải hệ phương trình sau: Bài Giải hệ phương trình sau: Bài Giải hệ phương trình sau: Bài Giải hệ phương trình sau: Báo cáo “Đại số máy tính và sở Grobner” Trang Nhóm Hệ phương trinh đa nghiệm +) Với y = –1, thay vào g2 = ta x = –3 +) Với y = thay vào g2 = ta x = +) Với y = thay vào g2 = ta x = Vậy nghiệm hệ Bài Giải hệ phương trình sau: Giải Xét iđêan I = ( ; ) Theo thứ tự từ điển ta có sở Gröbner: Xét g1 = 0, suy +) Với y = , thay vào g2 = suy x = –4 Vậy nghiệm hệ Báo cáo “Đại số máy tính và sở Grobner” Trang 16 Nhóm Hệ phương trinh đa nghiệm Bài Giải hệ phương trình sau: Giải Xét iđêan I = ( ) Theo thứ tự từ điển ta có sở Gröbner: Xét g1 = ta z = hoặc z = +) Với z = , thay vào g2 = ta y = , thay vào g3 = ta x = +) Với z = , thay vào g2 = ta y = , thay vào g3 = ta x = Vậy nghiệm hệ Bài Giải hệ phương trình sau: Giải Xét iđêan I = ( ; ) Theo thứ tự từ điển ta có sở Gröbner: Báo cáo “Đại số máy tính và sở Grobner” Trang 17 Nhóm Hệ phương trinh đa nghiệm Xét g1 = 0, suy +) Với y = , thay vào g2 = ta x = –2 +) Với y = , thay vào g2 = ta x = –2 +) Với y = thay vào g2 = suy đúng với x Thay vào g3 = ta tìm x = hoặc x = –6 Vậy nghiệm hệ Bài Giải hệ phương trình sau: Giải Xét iđêan I = ( ; ) Theo thứ tự từ điển ta có sở Grưbner: Báo cáo “Đại sớ máy tính và sở Grobner” Trang 18 Nhóm Hệ phương trinh đa nghiệm Xét g1 = 0, suy +) Với z = , thay vào g2 = suy y = Thay z = 0, y = vào g4 = suy x = +) Với z = , suy y = 0, x = +) Với z = suy x = –1, y = Vậy nghiệm hệ Bài 10 Giải hệ phương trình sau: Giải Xét iđêan I = ( ; ) Theo thứ tự từ điển ta có sở Grưbner: Báo cáo “Đại sớ máy tính và sở Grobner” Trang 19