(Luận văn) nghiệm đại số của một số lớp phương trình vi phân đại số cấp một

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN HÀ TRỌNG THI lu an n va PHƯƠNG TRÌNH VI PHÂN ĐẠI SỐ CẤP MỘT p ie gh tn to NGHIỆM ĐẠI SỐ CỦA MỘT SỐ LỚP d oa nl w m ll fu an nv a lu oi LUẬN ÁN TIẾN SĨ TOÁN HỌC z at nh z gm @ m co l an Lu Bình Định - 2022 n va ac th si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN HÀ TRỌNG THI NGHIỆM ĐẠI SỐ CỦA MỘT SỐ LỚP lu PHƯƠNG TRÌNH VI PHÂN ĐẠI SỐ CẤP MỘT an n va p ie gh tn to Chuyên ngành : Đại số lí thuyết số Mã số 9460104 : oa nl w d Phản biện thứ : GS.TSKH Phùng Hồ Hải a lu : PGS.TS Trương Công Quỳnh Phản biện thứ ba : PGS.TS Mai Hoàng Biên oi m ll fu an nv Phản biện thứ hai z at nh TẬP THỂ HƯỚNG DẪN KHOA HỌC z @ gm TS NGÔ LÂM XUÂN CHÂU m co l TS LÊ THANH HIẾU an Lu Bình Định - 2022 n va ac th si i Lời cam đoan Tôi xin cam đoan kết quả, nội dung luận án “Nghiệm đại số số lớp phương trình vi phân đại số cấp một” lu an thực hướng dẫn thầy giáo TS Ngô Lâm Xuân Châu va n TS Lê Thanh Hiếu gh tn to Các nội dung kết sử dụng Luận án có trích dẫn p ie thích nguồn gốc, kết trung thực, đồng tác giả cho phép sử oa nl w dụng Nếu có điều gian lận, tơi xin hồn tồn chịu trách nhiệm trước pháp luật d Quy Nhơn, ngày 14 tháng 01 năm 2022 a lu Tác giả oi m ll fu an nv TM Tập thể hướng dẫn z at nh TS Lê Thanh Hiếu Hà Trọng Thi z gm @ m co l an Lu n va ac th si ii Lời cảm ơn Luận án hoàn thành q trình học tập nghiên cứu Khoa Tốn Thống kê, Trường Đại học Quy Nhơn, hướng dẫn lu an TS Ngô Lâm Xuân Châu TS Lê Thanh Hiếu Các thầy bảo va n tận tình hướng dẫn tơi từ bước đầu làm nghiên cứu Các thầy gh tn to hướng dẫn nghiêm túc ln tạo tình cảm thân thiện suốt p ie thời gian học tập Trước tiên, tơi xin bày tỏ lịng biết ơn sâu sắc đến TS oa nl w Ngô Lâm Xuân Châu TS Lê Thanh Hiếu Tôi xin gửi lời cảm ơn chân thành đến Lãnh đạo Trường Đại học Quy d Nhơn, Phòng Đào tạo sau đại học tạo điều kiện tốt để học a lu fu an nv tập Đặc biệt, xin gửi lời cảm ơn đến Lãnh đạo Khoa Toán Thống kê thầy cô giáo Khoa ủng hộ, động viên m ll suốt thời gian tham gia học tập trường oi z at nh Tôi xin cảm ơn Lãnh đạo Sở Giáo dục Đào tạo Bình Định, đồng nghiệp bạn bè ủng hộ, động viên tạo điều kiện tốt để z gm m co l Trân trọng @ tham gia học tập an Lu n va ac th si iii Mục lục 1 Kiến thức chuẩn bị lu Mở đầu an va n 1.1 p ie gh tn to 1.1.1 Mở rộng trường 1.1.2 Kết thức 10 Đại số vi phân 13 oa nl w 1.2 Kiến thức sở đại số 1.2.1 Nghiệm đa thức vi phân 19 a lu Đường cong đại số hữu tỷ 24 fu an nv 1.3 d 1.2.2 Trường vi phân 14 27 oi đại số cấp m ll Phép biến đổi tương đương phương trình vi phân z at nh Phép biến đổi tương đương 27 2.2 Phép biến đổi Măobius 32 z 2.1 gm @ 40 m co l Nghiệm đại số phương trình vi phân đại số cấp Nghiệm đại số 40 3.2 Một số tính chất bảo toàn nghiệm 44 an Lu 3.1 n va ac th si iv 3.3 Một chặn bậc cho nghiệm tổng quát đại số 47 Sự tương đương phương trình vi phân đại số cấp tham số hóa hữu tỷ 4.1 52 Phương trình vi phân đa thức 53 4.1.1 Bất biến vi phân qua phép biến đổi y = z + b 53 4.1.2 Bất biến vi phân qua phép biến đổi z = aw 59 4.1.3 Bất biến vi phân qua phép biến đổi y = aw + b 60 lu an Phương trình vi phân Riccati 66 4.3 Phương trình vi phân Abel 69 4.4 Phương trình vi phân đại số cấp tham số hóa hữu tỷ n va 4.2 tn to p ie gh 74 4.5 Nghiệm tổng qt đại số phương trình tham số hóa hữu 89 fu an nv a lu Kết luận d oa nl w tỷ thuộc lớp autonom 80 Danh mục cơng trình tác giả liên quan đến Luận án 92 m ll Tài liệu tham khảo 93 oi z at nh z gm @ m co l an Lu n va ac th si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an v BẢNG CÁC KÝ HIỆU trường số phức i số phức đơn vị ảo C(x) trường vi phân hàm hữu tỷ theo biến x K bao đóng đại số trường K K[x] vành đa thức n biến x = (x1 , , xn ) với hệ số K deg(f ) bậc đa thức f K{y} vành đa thức vi phân theo biến y trường K lu C an n va p ie gh tn to oa nl w prem(P, F ) phần dư phép chia đa thức vi phân P d cho đa thức vi phân F a lu kết thức f g theo biến x fu an nv res(f, g, x) biệt thức đa thức biến f δF bậc tổng thể vi phân đa thức vi phân F (1) M tập phương trình vi phân đại số cấp trường K au + b phộp bin i Măobius trờn K ; M (u) = cu + d ánh xạ hữu tỷ tng ng vi phộp bin i Măobius M ;   ∂M (u) ∂M (u) ΦM (u, v) = M (u), ∂x + ∂u v z at nh AODE K oi m ll disc(f ) z gm @ ΦM m co l an Lu n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an vi (1) GK nhóm phép biến đổi song hữu tỷ dạng ΦM • tác động nhóm GK lên AODE K Tc ánh xạ tịnh tiến theo c (1) (1) lu an n va p ie gh tn to d oa nl w oi m ll fu an nv a lu z at nh z gm @ m co l an Lu n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an MỞ ĐẦU Một phương trình vi phân đại số cấp có dạng F (y, y ) = 0, lu an F ∈ C(x)[y, y ] F có chứa biến đạo hàm y Nếu F ∈ C[y, y ] ta va n nói phương trình F (y, y ) = autonom (tức hệ số F gh tn to số) p ie Việc nghiên cứu phương trình vi phân đại số cấp cuối oa nl w kỷ 19 đầu kỷ 20 với công trình tiêu biểu L Fuchs [14], d H Poincaré [27] J Malmquist [19] Một nghiệm chung F (y, y ) = ∂ F (y, y ) = gọi nghiệm kỳ dị Các nghiệm kỳ dị ∂y phương trình F (y, y ) = ln nghiệm đại số có hữu hạn nghiệm fu an nv a lu kỳ dị vậy, đồng thời việc tìm nghiệm kỳ dị đơn giản Tuy m ll nhiên, việc xác định liệu phương trình F (y, y ) = có nghiệm tổng quát oi z at nh đại số hay không đưa thuật tốn tính tốn tường minh nghiệm tổng quát đại số vấn đề khó z gm @ Cho đến nay, vấn đề tìm nghiệm tổng quát đại số phương l trình vi phân cấp giải cách có hệ thống cho trường m co hợp phương trình vi phân autonom Trong trường hợp tồn an Lu nghiệm đại số không tầm thường định tồn nghiệm tổng quát đại số Câu hỏi tự nhiên đặt liệu có cịn lớp phương trình n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an khác rộng có tính chất hay khơng? Vấn đề tương tự cho phương trình vi phân cấp khơng autonom (non-autonomous) giải cho số trường hợp đặc biệt; lớp nghiệm hình thức phương trình F (y, y ) = quan tâm nghiên cứu nghiệm hữu tỷ, nghiệm đại số, nghiệm liouville, Hiện thuật toán hữu hiệu để tìm kiếm dạng nghiệm nói giới hạn phương trình vi phân đặc biệt (hoặc có bậc thấp phương lu trình vi phân tuyến tính, phương trình Clairaut, phương trình Riccati, an phương trình Abel) va n Việc sử dụng phép biến i Măobius trỡnh by cỏc bi bỏo gh tn to [22, 23] lớp phương trình vi phân đại số cấp p ie khơng autonom biến đổi cách tương đương phương oa nl w trình autonom có nghiệm tổng quát đại số Như cần nghiên cứu lý thuyết cho vấn đề d Bên cạnh đó, dựa vào chặn bậc cho nghiệm đại số không tầm a lu fu an nv thường phương trình vi phân đại số cấp autonom, ta suy chặn bậc cho nghiệm tổng quát đại số Vấn đề mở m ll rộng cho phương trình vi phân cấp khơng autonom oi z at nh câu hỏi mở cần nghiên cứu Một nghiệm phương trình vi phân đại số cấp F (y, y ) = z gm @ trường mở rộng vi phân K C(x) phần tử η ∈ K l cho F (η, η ) = 0, “ ” phép đạo hàm K mở rộng phép đạo m co hàm thông thường C(x) Nếu F đa thức bậc theo y phương an Lu trình vi phân tương ứng viết dạng hữu tỷ y = P (z, y)/Q(z, y), n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 29 với ∈ C(x) với i = 0, 1, 2, ổn định qua phép biến đổi x = t, y= a(t)u + b(t) , c(t)u + d(t) với a, b, c, d ∈ C(t) ad − bc 6= Chứng minh Ta có y0 = ad − bc (a0 u + b0 )(cu + d) − (au + b)(c0 u + d0 ) u + (cu + d)2 (cu + d)2 Suy phương trình Riccati cho biến đổi thành lu an u0 = a ˜2 (t)u2 + a ˜1 (t)u + a ˜0 (t) n va p ie gh tn to với hệ số xác định sau     (a2 a2 + a1 ac + a0 c2 + (ac0 − a0 c)), a ˜ =   ad − bc   a ˜ = (2a2 ab + a1 (ad + bc) + 2a0 cd + (ad0 − a0 d) + (bc0 − b0 c)),  ad − bc      a (a2 b2 + a1 bd + a0 d2 + (bd0 − b0 d)) ˜0 = ad − bc (2.1) d oa nl w a lu fu an nv Đây rõ ràng phương trình Riccati Vậy tập hợp phương trình Riccati đóng tác động phép biến đổi m ll oi Lập luận tương tự ta có mệnh đề sau z at nh Mệnh đề 2.2 Tập hợp phương trình Abel loại loại hai y = a3 y + a2 y + a1 y + a0 , gm y= an Lu n va với a, b, c, d ∈ C(t) ad − bc 6= a(t)u + b(t) , c(t)u + d(t) m co l ổn định qua phép biến đổi x = t, a3 y + a2 y + a1 y + a0 y = y + b0 @ z ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 30 Nếu ta xét tập hợp phương trình Abel loại một, tức phương trình dạng y = a3 y + a2 y + a1 y + a0 , tập hợp ổn định qua phép biến đổi dạng x = t, y = a(t)u + b(t) Tổng quát hơn, ta xét tập phương trình vi phân đại số cấp tựa tuyến tính (quasilinear) dạng y = R(x, y), R(x, y) hàm hữu tỷ theo y với hệ số phụ thuộc vào lu an x Trong tập hợp hạn chế điều kiện bậc đạo hàm va n Một tập hợp khác lớn bao gồm phương trình vi phân gh tn to đại số cấp F (y, y ) = C(x) cho đường cong đại số tương p ie ứng F (y, w) = có giống 0, tức đường cong hữu tỷ Trong tập oa nl w hợp không hạn chế lên bậc đạo hàm mà hạn chế lên tính chất tham số hóa hữu tỷ đường cong đại số tương ứng d Trong luận án này, xét phương trình vi phân thường đại a lu fu an nv số (algebraic ordinary differential equations-AODEs) cấp F (y, y ) = trường vi phân K , với K mở rộng hữu hạn C(x); m ll nghiên cứu nghiệm (tổng quát) đại số chúng, từ đưa oi z at nh thuật tốn để tính tốn tường minh nghiệm Mỗi phương trình liên kết với đường cong đại số xác định phương z gm @ trình F (y, w) = 0, tức phương trình nhận từ phương trình vi phân l ban đầu cách xem biến hàm biến đạo hàm độc lập với m co Do đó, chúng tơi xét phép biến đổi phương trình vi phân an Lu cho chúng bảo tồn cấp phương trình, bảo toàn lũy thừa cao đạo hàm, bảo tồn tính chất có nghiệm đại số (tổng qt), bảo toàn giống n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 31 đường cong đại số tương ứng Khi xét phương trình vi phân hữu tỷ y = R(x, y), P Appell [1] xét phép biến đổi tương đương có dạng x = F (t), y(x) = P (t)u(t) + Q(t) t u(t) biến độc lập biến phụ thuộc mới, F, P Q hàm tùy ý thỏa mãn F 6= P 6= Với phép biến đổi tương đương nghiệm đại số phương trình lu an tương ứng với nghiệm không đại số phương trình ngược va n lại Chẳng hạn, xét phép biến đổi x = et , y(x) = u(t) Khi nghiệm gh tn to y(x) = x2 , đại số C(x), tương ứng với nghiệm u(t) = e2t không đại p ie số C(t) oa nl w Vì vậy, luận án chúng tơi xét nhóm khác phép biến đổi có dạng d fu an nv a lu x = t, y(x) = a(x)w + b(x) , c(x)w + d(x) ad − bc 6= xét tác động phép biến đổi phương trình vi oi m ll phân đại số cấp z at nh Khi xác định phép biến đổi tương đương phương trình vi phân xét, vấn đề xác định liệu hai phương trình z gm @ cho có tương đương qua phép biến đổi xét hay không Đây toán tương đương (equivalence problem) Một vấn đề tương tự l m co phương trình cho có thuộc vào lớp tương đương cho an Lu hay khơng (bài toán thành viên - membership problem) Để giải vấn đề chúng tơi tìm bất biến phương n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 32 trình vi phân tác động phép biến đổi xét Định nghĩa sau bất biến trình bày [31] Định nghĩa 2.3 Cho F (x, y, y ) = phương trình vi phân đại số cấp với hệ số a1 , , aN phụ thuộc vào x Giả sử a ˜1 , , a ˜N hệ số phương trình biến đổi thành qua phép biến đổi xét Một biểu thức Φ thỏa mãn Φ(˜ a1 , , a ˜N ) = Φ(a1 , , aN ) lu an gọi bất biến phương trình vi phân F (x, y, y ) = va n Một phương trình vi phân autonom phương trình có tất hệ số tn to Việc tìm nghiệm phương trình autonom thường dễ gh p ie nhiều so với phương trình khơng autonom Do đó, phương d oa nl w trình khơng autonom thường biến đổi dạng “gần autonom” fu an nv a lu Định nghĩa 2.4 Một dạng chuẩn tắc hữu tỷ (rational normal form) phương trình vi phân đại số phương trình với số hệ số khác m ll nhỏ mà phương trình nhận từ phương trình oi cho phép biến đổi theo biến phụ thuộc biến độc lập z at nh Như phương trình vi phân autonom dạng chuẩn tắc hữu tỷ z lớp tương đương autonom gm @ Phộp bin i Mă obius m co l 2.2 an Lu Trong phần đưa tác ng ca cỏc phộp bin i Măobius lờn cỏc phng trình vi phân đại số cấp Các kết phần n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 33 tác giả đăng báo [6] Cho C(x) trường vi phân hàm hữu tỷ theo biến x với phép đạo d = Ký hiệu K mở rộng trường hữu hạn hàm thơng thường dx trường C(x) Khi có phép đạo hàm K mở rộng phép đạo hàm để K trở thành trường vi phân Ta ký hiệu (1) AODE K = {F (y, y ) = | F ∈ K[y, w]} tập tất phương trình vi phân đại số cấp trường K Một lu an phộp bin i Măobius trờn K l mt hàm hữu tỷ có dạng n va au + b , cu + d gh tn to M (u) = a, b, c, d ∈ K ad − bc 6= Đặt p ie d oa nl w ∂M (u) (a0 u + b0 )(cu + d) − (au + b)(c0 u + d0 ) = ∂x (cu + d)2 (a0 c − ac0 )u2 + (a0 d − ad0 + b0 c − bc0 )u + (b0 d − bd0 ) = (cu + d)2 Au2 + Bu + C = , (cu + d)2 fu an nv a lu oi b0 c − bc0 , C = b0 d − bd0 m ll ≤ degu (Au2 + Bu + C) ≤ 2, A = a0 c − ac0 , B = a0 d − ad0 + z at nh ad − bc ∂M (u) = ∂u (cu + d)2 z gm @ a số c Tương ứng với M (u) ta có ánh xạ hữu tỷ ΦM : K 99K K Lưu ý A = c = m co l định nghĩa n va  ∂M (u) ∂M (u) ΦM (u, v) = M (u), + v ∂x ∂u an Lu  ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 34 Khi đó, ánh xạ đồng Φ(u, v) = (u, v) thuộc dạng (tương ứng với M (u) = u) ΦM ánh xạ song hữu tỷ nghịch đảo ánh du − b , tức xạ song hữu tỷ liên kết với M −1 (u) = −cu + a   ∂M −1 (u) ∂M −1 (u) −1 −1 ΦM (u, v) = M (u), + v ∂x ∂u Ta có mệnh đề sau (1) Mệnh đề 2.5 Tập hợp GK tất phép biến đổi song hữu tỷ dạng lu an ΦM lập thành nhóm phép hợp thành ánh xạ song hữu tỷ n va Nhóm đẳng cấu vi nhúm cỏc phộp bin i Măobius trờn K to (1) gh tn Tiếp theo, xét tác động nhóm GK lên tập hợp (1) p ie AODE K khảo sát lớp tương đương phương trình vi phân d oa nl w đại số cấp một, đặc biệt lớp tương đương phương trình với hệ số Chú ý qua phép nghịch đảo y 7→ , phương trình vi y phân với hệ số biến đổi thành phương trình vi phân với hệ a lu fu an nv số Do xét phương trình ta xét chúng tỏc ng ca cỏc phộp bin i Măobius trờn K với hệ số c 6= 0, tức phép biến m ll đổi thực phân thức oi (1) (1) z at nh Để biểu diễn tác động nhóm GK lên tập hợp AODE K , ta định nghĩa bậc tổng thể vi phân (differential total degree) phần tử z (1) gm @ AODE K sau (1) m co l Định nghĩa 2.6 (Bậc tổng thể vi phân F ) Cho F ∈ AODE K giả sử an Lu F (y, y ) = A0 y 0m + A1 y 0m−1 + · · · + Am−1 y + Am , n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 35 m ∈ N∗ , Ai ∈ K[y] với i = 0, , m, A0 6= Số δF := max{2(m − i) + degy Ai | i = 0, , m} gọi bậc tổng thể vi phân (differential total degree) F Nhắc lại bậc tổng thể (total degree) F định nghĩa dF := max{(m − i) + degy Ai | i = 0, , m} Do đó, dF ≤ δF lu Với đa thức vi phân bất khả quy F (y, y ) = Q(x, y)y − P (x, y) ta có an n va δF = max{2 + deg Q, deg P } Đặc biệt, bậc tổng thể vi phân đa thức Bậc tổng thể vi phân có tính chất thông thường bậc tương p ie gh tn to vi phân Riccati y − A(x)y − B(x)y − C(x) ứng với phép nhân đa thức vi phân, cụ thể sau oa nl w (1) Mệnh đề 2.7 Cho F, G ∈ AODE K khác khơng Khi δF ·G = δF + δG d Chứng minh Giả sử F = i 0j i,j bij y y G = P P a lu k,l ckl y (1) k 0l y thuộc AODE K fu an nv khác không Khi δG = max{2l + k | ckl 6= 0} oi m ll δF = max{2j + i | bij 6= 0}, Ta có z at nh F ·G= X gm @ Do z i,j,k,l bij ckl y i+k y 0j+l δF ·G = max{2(j + l) + i + k | bij ckl 6= 0} l an Mệnh đề chứng minh Lu =δF + δG m co = max{(2j + i) + (2l + k) | bij ckl 6= 0} n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 36 (1) (1) Định nghĩa 2.8 Tác động nhóm GK lên tập hợp AODE K định nghĩa ΦM • F = (−cy + a)δF (F (ΦM −1 (y, y ))), (1) với ΦM ∈ GK xác định M (u) = au + b (1) với F ∈ AODE K cu + d Các tính chất sau suy trực tiếp từ định nghĩa Mệnh đề 2.9 Ta có lu an n va ΦM • (ΦN • F ) = ΦM ◦N • F ; gh tn to ΦM • (F · G) = (ΦM • F ) · (ΦM • G) p ie Tác động nhóm định nghĩa quan hệ tương đương tập hợp (1) oa nl w AODE K sau (1) Định nghĩa 2.10 Cho F, G ∈ AODE K Ta nói F tương đương với G, d (1) fu an nv a lu ký hiệu F ∼ G tồn ΦM ∈ GK cho ΦM • F = G (1) Quan hệ tương đương ∼ phân hoạch tập AODE K thành lớp tương oi m ll đương Có vơ hạn lớp tương đương lớp tương đương chứa vơ hạn phương trình tương đương với Từ trở đi, nói z at nh lớp autonom phương trình vi phân đại số cấp có nghĩa z lớp tương đương phương trình vi phân đại số cấp autonom @ gm l m co Tiếp theo chứng tỏ bậc tổng thể vi phân bất biến số lớp tương đương, tức phương trình vi phân đại số Lu an lớp có bậc tổng thể vi phân Sau sử dụng kết n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 37 để đưa chặn bậc cho nghiệm đại số tổng quát lớp autonom phương trình vi phân đại số cấp Định lý 2.11 Giả sử F (y, y ) = A0 y 0m +· · ·+Am−1 y +Am ∈ K[y, y ], A0 6= (1) G = ΦM • F , ΦM ∈ GK Giả sử δF bậc tổng thể vi phân F Khi degy0 G = degy0 F ; lu degy G ≤ δF ; an n va δG = δF p ie gh tn to ay + b Ta có cy + d m−i  m −1 −1 X ∂M (y) ∂M (y) • F =(−cy + a)δF + y0 Ai (M −1 (y)) ∂x ∂y i=0 Chứng minh Giả sử M (y) = oa nl w G = ΦM δF =(−cy + a) m X d i=0 a lu Vì fu an nv Bi (y) = Pi j=0 Aj (M −1 (y)) m ll δF (ad − bc)m−i 0m−i y , Bi (y) (−cy + a)2(m−i) dy − b −cy + a
 ∂M −1 (y) i−j  oi (−cy + a) A0  m−j i−j ∂x (ad − bc)m 6= (−cy + a)2m z at nh nên z degy0 G = m = degy0 F gm @ Xét hệ số y 0m−i ta có ! ˜ + By ˜ + C˜ Ay (−cy + a)2 !i−j , an Lu n va m−j =(−cy + a)δF −2(m−i) Aj (M −1 (y)) i−j j=0 m co i X l (−cy + a)δF −2(m−i) Bi (y) ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 38 ˜ B, ˜ C˜ hệ số tử số A, ∂M −1 (y) ∂x ˜ + By ˜ + C) ˜ ≤ ≤ k ≤ Ta có trường hợp Gọi k = degy (Ay c sau: Nếu c degy Aj (M −1 (y)) = degy Aj Do degy (−cy + a)δF −2(m−i) Bi (y) ≤ max {degy Aj + k(i − j)} ≤δF 0≤j≤i Nếu c khác degy Aj (M −1 (y)) = Do lu degy (−cy + a)δF −2(m−i) Bi (y) ≤ max {δF − 2(m − i) + (k − 2)(i − j)} an 0≤j≤i va n ≤ δF − 2(m − i) ≤ δF p ie gh tn to Như hai trường hợp ta có degy G ≤ max oa nl w i∈{0,1, ,m} n o δF −2(m−i) degy (−cy + a) Bi (y) ≤ δF Mặt khác, i = 0, ta có d a lu δG = max {2(m − i) + degy (−cy + a)δF −2(m−i) Bi (y)} = δF 0≤i≤m fu an nv Định lý chứng minh m ll Nhận xét 2.12 Ta sử dụng tính chất thứ thứ ba Định oi z at nh lý 2.11 điều kiện cần để kiểm tra hai phương trình vi phân đại số có tương đương qua tác động nhóm khơng z @ gm Mệnh đề 2.13 Cho P (x, y) = a0 y m +a1 y m−1 +· · ·+am−1 y+am ∈ C[x][y] l m co a, b, c, d ∈ C[x]với ad − bc 6= Giả sử deg < n, i = 0, 1, , m
a, b, c, d đa thức bậc nhỏ N Khi tử số P x, ay+b cy+d an Lu đa thức theo x có bậc nhỏ n + mN n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 39 Chứng minh Cho P = m (cy + d) m X Pm i=0 y  i=0 ay + b cy + d m−i Khi tử số P (x, ay+b cy+d ) m−i = m X (ay + b)m−i (cy + d)i i=0 Ta có deg a ≤ N, deg b ≤ N, deg(ay + b) ≤ N, deg(cy + d) ≤ N Do deg (ay + b)m−i (cy + d)i ≤ n + (m − i)N + iN = n + mN lu Mệnh đề chứng minh an n va Từ định nghĩa phép biến đổi song hữu tỷ thấy hầu tn to hết nghiệm phương trình tương đương biến đổi qua lại p ie gh với (1) (1) oa nl w Hệ 2.14 Cho F ∈ AODE K ΦM ∈ GK với M (u) = au + b Đặt cu + d d d G = ΦM • F Khi nghiệm khác − F = biến đổi thành c a nghiệm G = nghiệm khác G = biến đổi c thành nghiệm F = fu an nv a lu m ll KẾT LUẬN CHƯƠNG oi Trong chương đưa số tính chất bậc tổng thể z at nh vi phân đa thức vi phân cấp Đó tính chất tương thích z bậc phép nhân đa thức (Mệnh đề 2.7), tính chất tương thích @ gm tác động nhóm với phép hợp thành ánh xạ (Mệnh đề 2.9), tính chất l bất biến bậc tổng thể vi phân tác động nhóm phép biến m co đổi Măobius (nh lý 2.11) an Lu n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 40 Chương Nghiệm đại số phương trình vi lu phân đại số cấp an n va gh tn to Trong chương này, chúng tơi thiết lập số tính chất bảo tồn nghiệm p ie phương trình vi phân đại số cấp thuộc lớp tương đương di tỏc ng ca cỏc phộp bin i Măobius c biệt, nghiệm oa nl w tổng quát đại số bảo tồn Kết hợp với tính chất bất biến bậc d a lu tổng thể vi phân, đưa chặn bậc cho nghiệm tổng fu an nv quát đại số phương trình vi phân đại số cấp thuộc lớp tương đương autonom Các kết chương đăng báo [6] oi m ll Nghiệm đại số z at nh 3.1 z Định nghĩa 3.1 Cho K trường vi phân F ∈ K{y} đa @ gm thức vi phân Một nghiệm đại số F = K nghiệm l m co F đồng thời phần tử đại số trường K phương trình vi phân đại số cấp F (y, y ) = K an Lu Trong luận án chúng tơi quan tâm đến việc tìm nghiệm đại số n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 41 Mệnh đề 3.2 Nếu F ∈ K{y} đa thức vi phân bất khả quy cấp nghiệm kỳ dị F (y, y ) = nghiệm đại số Hơn nữa, số nghiệm kỳ dị F (y, y ) = hữu hạn ∂F =0 ∂y nghiệm biệt thức F (disc(F ) = res(F, S, y )), Chứng minh Nhận xét nghiệm chung F = S = nghiệm hệ số đầu F Vì F đa thức vi phân cấp nên disc(F ) in(F ) đa thức biến theo y với hệ số lu K Từ suy nghiệm kỳ dị F (y, y ) = nghiệm an n va đại số K số nghiệm đại số F (y, y ) = nhỏ gh tn to degy disc(F ) + degy in(F ) p ie Mệnh đề 3.3 Cho P (y) đa thức tối tiểu nghiệm đại số η ∈ L oa nl w F (y, y ) = K Khi đó, ξ ∈ L thỏa P (ξ) = nghiệm đại số F (y, y ) = d a lu Chứng minh Vì P đa thức tối tiểu η nên η nghiệm tổng fu an nv quát hP i Giả sử F (η) = 0, theo Mệnh đề 1.53, ta có prem(F, P ) = Từ suy SPk IPl F = Q1 P + Q2 P , P đạo hàm P , SP m ll oi IP tương ứng tách hệ số đầu P Chú ý rằng, với ξ thỏa P (ξ) = z at nh ta có P (ξ) = SP (ξ) 6= 0, IP (ξ) 6= Do đó, F (ξ) = z Trong luận án này, ta xét K = C(x) tìm nghiệm đại số @ gm F (y, y ) = C(x) Thực việc tìm nghiệm đại số F (y, y ) = l việc tính đa thức tối tiểu trường sở C(x) Ta nói đa m co thức bất khả quy P (x, y) nghiệm đại số F (y, y ) = có nghĩa Lu an hàm đại số y(x), xác định P (x, y(x)) = 0, n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 42 nghiệm F (y, y ) = Bậc nghiệm đại số hiểu bậc đa thức tối tiểu xác định nghiệm đại số Phần cịn lại mục chúng tơi trình bày lại số kết nghiệm đại số phương trình vi phân đại số cấp autonom (tức hệ số hằng) báo J M Aroca cộng [2] Các kết chúng tơi tổng qt hóa cho phương trình khơng autonom tương đương với phương trình autonom lu Đối với phương trình vi phân đại số cấp autonom, để tính an nghiệm tổng quát đại số F (y, y ) = ta cần tính nghiệm đại va n số không tầm thường tn to p ie gh Định nghĩa 3.4 ([2]) Một nghiệm đại số P (x, y) = phương trình vi phân đại số cấp autonom F (y, y ) = gọi không tầm thường oa nl w degx P > d Mệnh đề 3.5 ([2]) Cho F ∈ C{y} đa thức vi phân bất khả quy a lu fu an nv cấp với hệ số Giả sử P (x, y) = nghiệm đại số không tầm thường F (y, y ) = Khi P (x + c, y) = nghiệm tổng oi m ll quát đại số F (y, y ) = 0, với c số tùy ý z at nh Chặn bậc sau sở để đưa thuật tốn tìm nghiệm đại số khơng tầm thường phương trình vi phân đại số cấp autonom z @ gm Định lý 3.6 ([2]) Cho F ∈ Q[y, y ] đa thức bất khả quy Q l m co Giả sử P ∈ Q[x, y] bất khả quy P (x, y) = nghiệm đại số khơng tầm thường phương trình vi phân autonom F (y, y ) = Khi an Lu degy P ≤ degy F + degy0 F n va degx P = degy0 F, ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 43 Hơn nữa, P (x + c, y) = nghiệm tổng quát đại số phương trình F (y, y ) = chặn bậc mịn theo nghĩa phương trình vi phân autonom F (y, y ) = mà chặn bậc đạt dấu Ví dụ 3.7 a) Cho phương trình vi phân đại số cấp autonom F (y, y ) = y 02 − 2y − = ∂ 0 F (y, y ) = 2y , nghiệm kỳ dị F = y = − ∂y Nghiệm tổng quát đại số F = lu Tách F S = an n va gh tn to y = ((x + c)2 + 3(x + c)) p ie Ở P (x, y) = 21 ((x + c)2 + 3(x + c)) − y Suy degx P = degy0 F = oa nl w degy P = thỏa mãn d = degy P ≤ degy F + degy0 F = + = fu an nv a lu b) ([2, Example 3.9]) Cho n > m > (m, n) = Đặt oi m ll P (x, y) = y n − xm phương trình vi phân đại số z at nh đa thức bất khả quy Rõ ràng P (x, y) = nghiệm đại số z  m m gm n = m co l Khi ta có degy P = degy F + degy0 F @ F (y, y ) = y n−m y 0m − an Lu n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si