1. Trang chủ
  2. » Luận Văn - Báo Cáo

(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

103 0 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 103
Dung lượng 748,09 KB

Nội dung

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 nf va an lu lm ul z at nh oi LUẬN ÁN TIẾN SĨ TOÁN HỌC z m co l gm @ 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 Đại số lí thuyết số Mã số 9460104 : p ie gh tn to Chuyên ngành : oa nl w d Phản biện thứ : lu nf va an Phản biện thứ hai : PGS.TS Trương Công Quỳnh : PGS.TS Mai Hoàng Biên z at nh oi lm ul Phản biện thứ ba GS.TSKH Phùng Hồ Hải 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ử w dụng Nếu có điều gian lận, tơi xin hoàn toàn chịu trách nhiệm trước oa nl pháp luật d Quy Nhơn, ngày 14 tháng 01 năm 2022 an lu Tác giả nf va TM Tập thể hướng dẫn z at nh oi lm ul TS Lê Thanh Hiếu Hà Trọng Thi z m co l gm @ an Lu n va ac th si ii Lời cảm ơn Luận án hồn thành q trình học tập nghiên cứu Khoa Toá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, xin bày tỏ lòng biết ơn sâu sắc đến TS w Ngô Lâm Xuân Châu TS Lê Thanh Hiếu oa nl 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 an lu nf va tập Đặc biệt, xin gửi lời cảm ơn đến Lãnh đạo Khoa Toán Thống lm ul kê thầy cô giáo Khoa ủng hộ, động viên suốt thời gian tham gia học tập trường z at nh oi 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 m co l gm 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 1.1.1 Mở rộng trường 1.1.2 Kết thức 10 p ie gh tn to Kiến thức sở đại số Đại số vi phân 13 w 1.2 Trường vi phân 14 an Đường cong đại số hữu tỷ 24 nf va 1.3 Nghiệm đa thức vi phân 19 lu 1.2.2 d oa nl 1.2.1 lm ul Phép biến đổi tương đương phương trình vi phân 27 z at nh oi đại số cấp Phép biến đổi tương đương 27 2.2 Phộp bin i Măobius 32 z 2.1 gm @ 40 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 tồn nghiệm 44 m 3.1 an Lu 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 ie gh 74 p 4.5 Nghiệm tổng quát đại số phương trình tham số hóa hữu 89 nf va an 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 lm ul Tài liệu tham khảo 93 z at nh oi z m co l gm @ an Lu n va ac th si 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 lu C an n va p ie gh tn to vành đa thức vi phân theo biến y trường K w K{y} cho đa thức vi phân F d oa nl prem(P, F ) phần dư phép chia đa thức vi phân P an lu kết thức f g theo biến x disc(f ) 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 nf va res(f, g, x) M z at nh oi lm ul (1) AODE K z 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 m co l gm @ ΦM an Lu n va ac th si 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 nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si 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 w kỷ 19 đầu kỷ 20 với cơng trình tiêu biểu L Fuchs [14], d oa nl 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 nf va an lu kỳ dị vậy, đồng thời việc tìm nghiệm kỳ dị đơn giản Tuy lm ul nhiên, việc xác định liệu phương trình F (y, y ) = có nghiệm tổng quát z at nh oi đạ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 si 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 tố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 Vic s dng cỏc phộp bin i Măobius trỡnh by 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 w trình autonom có nghiệm tổng qt đại số Như cần oa nl 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 an lu nf va thường phương trình vi phân đại số cấp autonom, ta lm ul suy chặn bậc cho nghiệm tổng quát đại số Vấn đề mở rộng cho phương trình vi phân cấp không autonom z at nh oi 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 si 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ó ad − bc (a0 u + b0 )(cu + d) − (au + b)(c0 u + d0 ) y = 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 an lu nf va Đây rõ ràng phương trình Riccati Vậy tập hợp phương trình lm ul Riccati đóng tác động phép biến đổi z at nh oi Lập luận tương tự ta có mệnh đề sau 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 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 y= 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 si 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 w hợp không hạn chế lên bậc đạo hàm mà hạn chế lên tính oa nl 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 lu nf va an số (algebraic ordinary differential equations-AODEs) cấp F (y, y ) = lm ul trường vi phân K , với K mở rộng hữu hạn C(x); nghiên cứu nghiệm (tổng quát) đại số chúng, từ đưa z at nh oi 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 tồn lũy thừa cao đạo hàm, bảo tồn tính chất có nghiệm đại số (tổng quát), bảo toàn giống n va ac th si 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) w Vì vậy, luận án chúng tơi xét nhóm khác phép biến d oa nl đổi có dạng a(x)w + b(x) , c(x)w + d(x) ad − bc 6= nf va an lu x = t, y(x) = xét tác động phép biến đổi phương trình vi z at nh oi lm ul phân đại số cấp 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 si 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” an lu Định nghĩa 2.4 Một dạng chuẩn tắc hữu tỷ (rational normal form) nf va phương trình vi phân đại số phương trình với số hệ số khác lm ul nhỏ mà phương trình nhận từ phương trình z at nh oi cho phép biến đổi theo biến phụ thuộc biến độc lập Như phương trình vi phân autonom dạng chuẩn tắc hữu tỷ z lp tng ng autonom Phộp bin i Mă obius m co l gm @ 2.2 an Lu Trong phần đưa tác động 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 si 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 Mt lu an phộp bin i Măobius trờn K 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 ∂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 d oa nl w nf va an lu lm ul ≤ degu (Au2 + Bu + C) ≤ 2, A = a0 c − ac0 , B = a0 d − ad0 + z at nh oi b0 c − bc0 , C = b0 d − bd0 ∂M (u) ad − bc = ∂u (cu + d)2 z co l 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 định nghĩa an Lu  n va  ∂M (u) ∂M (u) ΦM (u, v) = M (u), + v ∂x ∂u ac th si 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   −1 −1 ∂M (u) ∂M (u) −1 Φ−1 + v M (u, v) = M (u), ∂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 với nhóm 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ệ an lu số Do xét phương trình ta xét chúng tác động nf va cỏc phộp bin i Măobius trờn K vi h s c 6= 0, tức phép biến lm ul đổi thực phân thức z at nh oi (1) (1) Để 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 giả sử co l Định nghĩa 2.6 (Bậc tổng thể vi phân F ) Cho F ∈ AODE K an Lu F (y, y ) = A0 y 0m + A1 y 0m−1 + · · · + Am−1 y + Am , n va ac th si 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 ie gh tn to vi phân Riccati y − A(x)y − B(x)y − C(x) p ứng với phép nhân đa thức vi phân, cụ thể sau w (1) oa nl 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 (1) k 0l y thuộc AODE K an lu k,l ckl y nf va khác khơng Khi δG = max{2l + k | ckl 6= 0} z at nh oi lm ul δF = max{2j + i | bij 6= 0}, Ta có 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 Mệnh đề chứng minh an Lu =δF + δG m co = max{(2j + i) + (2l + k) | bij ckl 6= 0} n va ac th si 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) nl w AODE K sau (1) d oa Định nghĩa 2.10 Cho F, G ∈ AODE K Ta nói F tương đương với G, (1) an lu ký hiệu F ∼ G tồn ΦM ∈ GK cho ΦM • F = G nf va (1) Quan hệ tương đương ∼ phân hoạch tập AODE K thành lớp tương lm ul đương Có vơ hạn lớp tương đương lớp tương đương chứa vô z at nh oi hạn phương trình tương đương với Từ trở đi, nói 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 l gm @ 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ố an Lu lớp có bậc tổng thể vi phân Sau sử dụng kết n va ac th si 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) = nl w G = ΦM δF d oa =(−cy + a) m X Bi (y) i=0 (ad − bc)m−i 0m−i y , (−cy + a)2(m−i) j=0 Aj (M nf va −1 (y)) m−j i−j lm ul Vì an lu Bi (y) = Pi  δF nên ∂x  z at nh oi (−cy + a) A0 dy − b −cy + a   ∂M −1 (y) i−j (ad − bc)m 6= (−cy + a)2m z degy0 G = m = degy0 F l gm @ Xét hệ số y 0m−i ta có m−j i−j ˜ + By ˜ + C˜ Ay (−cy + a)2 an Lu !i−j , n va j=0 Aj (M −1 (y)) ! m =(−cy + a)δF −2(m−i) i X co (−cy + a)δF −2(m−i) Bi (y) ac th si 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 w i∈{0,1, ,m} n o δF −2(m−i) degy (−cy + a) Bi (y) ≤ δF d oa nl Mặt khác, i = 0, ta có 0≤i≤m nf va an lu δG = max {2(m − i) + degy (−cy + a)δF −2(m−i) Bi (y)} = δF Định lý chứng minh lm ul Nhận xét 2.12 Ta sử dụng tính chất thứ thứ ba Định z at nh oi 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 @ l gm Mệnh đề 2.13 Cho P (x, y) = a0 y m +a1 y m−1 +· · ·+am−1 y+am ∈ C[x][y] 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 si 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) w Hệ 2.14 Cho F ∈ AODE K ΦM ∈ GK với M (u) = au + b Đặt cu + d d oa nl 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 = nf va an lu lm ul KẾT LUẬN CHƯƠNG z at nh oi Trong chương chúng tơi đưa số tính chất bậc tổng thể 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 @ l gm tác động nhóm với phép hợp thành ánh xạ (Mệnh đề 2.9), tính chất 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 si 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, 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 tác ng ca cỏc phộp bin i Măobius c bit, cỏc nghiệm nl w d oa 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 an lu tổng thể vi phân, đưa chặn bậc cho nghiệm tổng nf va quát đại số phương trình vi phân đại số cấp thuộc lớp tương 3.1 Nghiệm đại số z at nh oi lm ul đương autonom Các kết chương đăng báo [6] z Định nghĩa 3.1 Cho K trường vi phân F ∈ K{y} đa @ l gm thức vi phân Một nghiệm đại số F = K nghiệm m co F đồng thời phần tử đại số trường K an Lu Trong luận án chúng tơi quan tâm đến việc tìm nghiệm đại số phương trình vi phân đại số cấp F (y, y ) = K n va ac th si 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 w F (y, y ) = K Khi đó, ξ ∈ L thỏa P (ξ) = nghiệm d oa nl đại số F (y, y ) = an lu Chứng minh Vì P đa thức tối tiểu η nên η nghiệm tổng nf va quát hP i Giả sử F (η) = 0, theo Mệnh đề 1.53, ta có prem(F, P ) = lm ul Từ suy SPk IPl F = Q1 P + Q2 P , P đạo hàm P , SP z at nh oi IP tương ứng tách hệ số đầu P Chú ý rằng, với ξ thỏa P (ξ) = 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ố @ l gm F (y, y ) = C(x) Thực việc tìm nghiệm đại số F (y, y ) = việc tính đa thức tối tiểu trường sở C(x) Ta nói đa co m thức bất khả quy P (x, y) nghiệm đại số F (y, y ) = có nghĩa an Lu hàm đại số y(x), xác định P (x, y(x)) = 0, n va ac th si 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 ie gh Định nghĩa 3.4 ([2]) Một nghiệm đại số P (x, y) = phương trình vi p 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 lu nf va an 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 lm ul quát đại số F (y, y ) = 0, với c số tùy ý z at nh oi 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 @ l gm Định lý 3.6 ([2]) Cho F ∈ Q[y, y ] đa thức bất khả quy Q co Giả sử P ∈ Q[x, y] bất khả quy P (x, y) = nghiệm đại số m 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 si 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 = + = an lu nf va b) ([2, Example 3.9]) Cho n > m > (m, n) = Đặt lm ul P (x, y) = y n − xm z at nh oi đa thức bất khả quy Rõ ràng P (x, y) = nghiệm đại số phương trình vi phân đại số z y − n = m co l Khi ta có degy P = degy F + degy0 F  m m gm F (y, y ) = y n−m 0m @ an Lu n va ac th si

Ngày đăng: 19/07/2023, 04:58