Lý thuyết nevanlinna và ứng dụng

www.VNMATH.com ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM    ĐÀO THỊ THANH THUỶ LÝ THUYẾT NEVANLINNA VÀ ỨNG DỤNG LUẬN VĂN THẠC SĨ KHOA HỌC TOÁN HỌC THÁI NGUYÊN - 2007 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM    ĐÀO THỊ THANH THUỶ LÝ THUYẾT NEVANLINNA VÀ ỨNG DỤNG Chuyên ngành : GIẢI TÍCH Mã số : 60.46.01 LUẬN VĂN THẠC SĨ KHOA HỌC TOÁN HỌC Ngƣời hƣớng dẫn khoa học : GS.TSKH.HÀ HUY KHOÁI THÁI NGUYÊN - 2007 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com MỤC LỤC trang Mở đầu Chương Kiến thức sở 1.1 Trường định chuẩn không Acsimet 1.2 Trường số p - adic 1.3 Hàm chỉnh hình trường khơng Acsimet Chương Lý thuyết Nevanlinna trƣờng p - adic ………… …… 14 2.1 Các hàm đặc trưng Nevanlinna 14 2.2 Các định lý phân phối giá trị hàm phân hình 20 2.3 Tập xác định hàm phân hình 25 Chương Phƣơng trình hàm P(f) = Q(g) trƣờng p - adic 30 Kết luận .54 Tài liệu tham khảo 55 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com MỞ ĐẦU Luận văn trình bày số kết Lý thuyết Nevanlinna ứng dụng phương trình hàm P( f ) = Q( g ) trường p adic Nội dung luận văn gồm ba chương Chương 1: Trình bày số kiến thức trường định chuẩn không Acsimet , trường số p - adic , số tính chất đặc biệt hàm phân hình trường khơng Acsimet áp dụng cho chương sau Chương 2: Nêu định nghĩa , số tính chất hàm đặc trưng Nevanlinna , hai định lý lý thuyết Nevanlinna số kết toán xác định tập hàm phân hình trường p - adic Chương 3: Trình bày số kết phương trình hàm P( f ) = Q( g ) trường p - adic Kết luận văn : Cho P , Q đa thức thuộc K[x] với P 'Q '  Xét hai hàm phân biệt f , g giải tích phân hình đĩa x  a  r ( tương ứng K ), thoả mãn P( f ) = Q( g ) Sử dụng lý thuyết phân phối giá trị hàm phân hình Nevanlinna , đưa điều kiện đủ không điểm P ' ,Q ' để f g bị chặn đĩa x  a  r ( tương ứng số ) Trường hợp đặc biệt degP = 4, xét trường hợp riêng Q  P (  K ) đưa số điều kiện đặc trưng cho tồn hai hàm phân biệt khác f , g phân hình K thoả mãn P( f )  P( g ) Luận văn hoàn thành hướng dẫn bảo tận tình GS TSKH Hà Huy Khối Tơi xin bày tỏ lịng biết ơn sâu sắc thành kính đến Thầy , Thầy không hướng dẫn nghiên cứu khoa học mà Thầy Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com thông cảm tạo điều kiện động viên suốt q trình làm luận văn Tơi xin chân thành cảm ơn khoa Toán , khoa sau Đại học trường đại học sư phạm Thái Nguyên , Viện toán học Việt Nam giúp đỡ tạo điều kiện để tơi hồn thành luận văn Cuối xin chân thành cảm ơn ban giám hiệu trường CĐCN Việt Đức , đặc biệt đồng nghiệp khoa KHCB , gia đình bạn bè tơi quan tâm giúp đỡ thời gian học hoàn thành luận văn Trong trình viết luận văn việc xử lý văn chắn không tránh khỏi hạn chế thiếu sót Rất mong nhận góp ý thầy cơ, bạn đồng nghiệp để luận văn hoàn thiện Thái Nguyên , tháng năm 2007 Học viên Đào Thị Thanh Thuỷ Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Chƣơng Kiến thức sở 1.1.Trƣờng định chuẩn không Acsimet Định nghĩa 1.1.1 Giả sử K trường , chuẩn K hàm : K  R+ thoả mãn : i) x =  x = 0, ii) xy = x y ,  x, y  K, iii) x  y  x + y ,  x, y  K Chuẩn gọi chuẩn không Acsimet thoả mãn điều kiện iv) x  y  max { x , y },  x, y  K Một chuẩn K cảm sinh hàm khoảng cách d định nghĩa d(x,y) = x  y ,  x, y  K Nếu chuẩn khơng Acsimet mêtric cảm sinh d thoả mãn: d(x,y)  max {d(x,z) , d(z,y)},  x, y ,z  K mêtric ứng với chuẩn không Acsimet gọi siêu mêtric Ví dụ 1.1.2 Xét hàm : K  R+ 1  x x = 0  Khi , nÕu x  nÕu x  chuẩn không Acsimet K mêtric cảm sinh d : K  K  R+ 1 nÕu x  y  (x,y)  d(x,y) =  0 nÕu x  y  Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com siêu mêtric Mêtric gọi mêtric tầm thưòng Ta xét số đặc trưng tôpô sinh chuẩn không Acsimet thông qua hình cầu sau: Với r  R+ ta định nghĩa hình cầu mở , đóng tâm a , bán kính r : K(a;r) =  x  K d(x,a) < r  K [a;r] =  x  K d(x,a)  r  Mênh đề 1.1.3 Giả sủ K trường định chuẩn không Acsimet Ta có : i ) Nếu b  K(a;r) K(a;r) = K(b;r) ii ) Hình cầu K(a;r) tập mở tập đóng iii ) Hai hình cầu mở (hình cầu đóng) rời chứa Trƣờng số p - adic1 Với p  Z , p số nguyên tố số nguyên a  biểu diễn dạng: a = p  a’ , với p không chia hết a’ , a’  Z \   Kí hiệu :  =  p (a) Vậy ta có hàm :  p :Z\    N a   p (a) Ta mở rộng hàm  với x =  a  Q sau Đặt : b  p (a)   p (b), nÕu x  p (x) =   , nÕu x  Với số nguyên p , xét  p : Q  R  +  x  xp = p , với  =  p (x) Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Khi , p chuẩn không Acsimet Q gọi chuẩn p - adic Mệnh đề 1.2.1(Ostrowski) Mọi chuẩn không tầm thường Q tương đương với hai chuẩn sau : 1) Chuẩn p - adic , với p số nguyên tố; 2) Giá trị tuyệt đối thông thường Như ta có hai hướng làm đầy trường số hữu tỷ Q + Làm đầy theo giá trị tuyệt đối thông thường ta thu trường số thực R + Làm đầy theo chuẩn p - adic ta thu trường số p - adic Cụ thể , xây dựng Q p đầy đủ hoá Q theo chuẩn p sau Dãy x n  gọi dãy Cauchy theo p   ,  n0  N cho  m , n > n0 xm  xn p   Hai dãy Cauchy x n  , y n  gọi tương đương xn  y n p  Với x n  dãy Cauchy theo p , ta kí hiệu xn  tập dãy Cauchy tương đương với xn  Đặt Q p tập tất lớp tương đương theo chuẩn p Trên Q p trang bị phép toán sau Với xn  , y n   Q p , ta định nghĩa: xn  + y n  = xn  y n  ; xn  y n  = xn y n  Ta thấy định nghĩa không phụ thuộc vào phần tử đại diện lớp tương đương Khi , Q p trường trường định chuẩn với chuẩn p Định nghĩa 1.2.2 Với   Q p x n   Q cho xn  =  ta xác định : Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com  p = lim xn p n  Chú ý định nghĩa xác định theo tính chất sau chuẩn p adic Mệnh đề 1.2.3 Q p đầy đủ hoá Q theo chuẩn Q Q p theo p p tập giá trị trùng , tập p n , n  Z  0 Tương tự q trình đầy đủ hố Q theo  , ta nhận trường Q p đầy đủ khơng đóng đại số Người ta giải vấn đề mở rộng trường sau Xét mở rộng chuẩn tắc Q p  K nhóm Galois G(K/ Q p ) Đặt: N K / Qp : K    Qp N K / Qp (  ) =  ( ) ,  G ( K / QP ) với  tự đẳng cấu K giữ nguyên phần tử Q p Chú ý bậc mở rộng trường [K : Q p ] = n N K / Q (  ) =  n ,   Q p p Mệnh đề 1.2.4 Giả sử K/ Q p mở rộng chuẩn tắc bậc n Khi tồn chuẩn khơng Acsimet K mở rộng chuẩn p - adic xác định sau : x  n N K / Q p ( x) trường K đầy đủ với chuẩn p , Đặt Q p trường đóng đại số Q p Trên Q p ta trang bị chuẩn không Acsimet sau : Với x  Q p , tồn mở rộng chuẩn tắc bậc n cho x  K, : x  n N K / Q p ( x) p Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com chuẩn x không phụ thuộc vào tồn K Ta có kết sau : Mệnh đề 1.2.5 Hàm : Qp  R+ xác định chuẩn không Acsimet mở rộng chuẩn p - adic Q p Tuy nhiên, Q p không đầy đủ theo chuẩn Ta đầy đủ hoá Q p theo mệnh đề sau Mệnh đề 1.2.6 Tồn trường C p với chuẩn không Acsimet cho: i) Q p trù mật C p chuẩn không Acsimet mở rộng chuẩn Q p ban đầu; ii) C p đầy đủ với chuẩn C p trường đóng đại số 1.3 Hàm chỉnh hình trƣờng khơng Acsimet Ta kí hiệu K trường đóng đại số , đầy đủ với chuẩn khơng Acsimet có đặc số Các khái niệm dãy , chuỗi hội tụ dãy, chuỗi giống trường định chuẩn Acsimet Tuy nhiên với chuẩn khơng Acsimet ta có số tính chất đặc biệt sau Bổ đề 1.3.1 Giả sử x n  dãy K Dãy x n  dãy Cauchy x n 1  x n = lim n  Chứng minh Điều kiện đủ hiển nhiên theo định nghĩa dãy Cauchy Ta chứng minh điều kiện cần với n , p  N ta có : x n  p  x n = xn p  xn p 1  xn p 1  xn p 2   xn 1  xn   max xn p  xn p 1 , xn p 1  xn p 2 , , xn1  xn  Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Giả sử kết luận sai , tức f g không bị chặn Kr Theo mệnh đề 3.5, f g không bị chặn Kr Theo mệnh đề 3.6, ta có : N (, f )  2.3  T (  , f )  O(1)  T (  , f )  O(1) Vì f khơng bị chặn nên T (, f ) không bị chặn Do : lim N (  , f )  lim T (  , f )  O(1)        Nhưng f  A( K r ) nên N (  , f ) = 0, suy điều vô lý  Hệ 3.9 Cho P , Q  K[x] với P 'Q '  deg P = deg Q = Giả sử P thoả mãn Điều kiện (F) tồn hai không điểm phân biệt c1 , c2 P ' thoả mãn P (ci )  Q ( d ) (i = , 2) với không điểm d Q ' Khi , hai hàm f , g  A( K r ) thoả mãn P ( f )= Q ( g ) f , g  Ab ( K r ) Chứng minh Vì P thoả mãn Điều kiện (F) c1 , c2 hai khơng điểm phân biệt P ' nên P(c1 )  P(c2 ) Lập luận tương tự hệ 3.7 ta có điều phải chứng minh  Hệ 3.10 Cho P , Q  K[x] với P 'Q '  deg P < deg Q Giả sử tồn không điểm c P ' cho P(c )  Q(d ) với không điểm d Q ' Khi , hai hàm f , g  A( K r ) thoả mãn P ( f )= Q ( g ) f , g  Ab ( K r ) Chứng minh Đặt p = deg P , q = deg Q giả sử f g không bị chặn Theo mệnh đề 3.5 f g không bị chặn Theo mệnh đề 3.6 ta có: 42 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com N (, f )  q p T (  , f )  O(1) q Do p < q suy q - p > nên : lim N (  , f )    q p lim T (  , f )  O(1)   q   Nhưng f  A( K r ) nên N (  , f ) = 0, suy điều vô lý  Hệ 3.11 Cho P , Q  K[x] với P 'Q '  p = deg P , q = deg Q thoả mãn p  q 2p < 3q Giả sử tồn hai không điểm c1 c2 P ' cho P(c1 )  P(c2 ) P (ci )  Q (d ) (i = , 2) với không điểm d Q ' Khi đó, hai hàm f , g  M ( K r ) thoả mãn P( f ) = Q( g ) f , g  M b ( K r ) Chứng minh Đặt k số không điểm ci P ' cho P(ci )  P(c j ) i  j P (ci )  Q ( d ) (i = , 2) với không điểm d Q ' Vậy k  Theo mệnh đề 3.5, hai hàm f g  M u ( K r ) hai hàm  M u ( K r ) Vì , f g  M u ( K r ) theo mệnh đề 3.6 giả thiết 2p < 3q , ta có k = , mâu thuẫn  Vậy f , g  M b ( K r ) Hệ 3.12 Cho P , Q  K[x] với P 'Q '  deg P = , deg Q > Giả sử tồn hai không điểm c1 c2 P ' cho P (ci )  Q (d ) (i = , 2) với không điểm d Q ' Khi đó, hai hàm f , g  M ( K r ) thoả mãn P( f )= Q( g ) f , g  M b ( K r ) Chứng minh Giả sử P(c1) = P( c2 ).Vậy P - P(c1 ) có hai không điểm c1 , c2 cấp  2, mâu thuẫn với giả thiết deg P = Suy P(c1 )  P(c2 ) 43 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Đặt q = deg Q giả sử f g không bị chặn Kr Theo hệ 3.5 f g không bị chặn Kr Theo mệnh đề 3.6 , ta có : N (, f )  2q  3 T (  , f )  O(1)  (2  )T (  , f )  O(1) q q Vì q > , nên N (  , f )  T (  , f )  O(1) ,suy điều vô lý  Hệ 3.13 Cho P , Q  K[x] với P 'Q '  deg P = ,  deg Q  Giả sử P thoả mãn Điều kiện (F) tồn hai không điểm phân biệt c1 , c2 P ' thoả mãn P (ci )  Q (d ) (i = , 2) với không điểm d Q ' Khi đó, hai hàm f , g  M ( K r ) thoả mãn P( f ) = Q ( g ) f , g M b ( K r ) Chứng minh Đặt k số không điểm ci P ' cho P(ci )  P(c j ) , i  j Vì c1  c2 P thoả mãn Điều kiện (F) nên P(c1 )  P(c2 ) , k  Giả sử f g không bị chặn Theo mệnh đề 3.5, f g không bị chặn Đặt q = deg Q , deg P = , deg Q  nên 2p < 3q , theo mệnh đề 3.6 ta có k  Vậy k = Vì q  nên theo mệnh đề 3.6 suy k = 1, mâu thuẫn, tức điều giả  sử vô lý Hệ 3.14 Cho P , Q  K[x] với P 'Q '  p = deg P , q = deg Q thoả mãn q  p  ( p, q) p < q Giả sử tồn hai không điểm c1 c2 P ' cho P (ci )  Q ( d ) (i = , 2) với khơng điểm d Q ' Khi đó, hai hàm f , g  M ( K r ) thoả mãn P( f )= Q( g ) f , g  M b ( K r ) Chứng minh Giả sử f g không bị chặn Theo mệnh đề 3.5, f g khơng bị chặn Vì p < q nên 2p < 3q , theo mệnh đề 3.6 ta có q < p 44 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com (p , q) = q - p , hai trường hợp mâu thuẫn với giả thiết , nên điều  giả sử vô lý Hệ 3.15 Cho P , Q  K[x] với P 'Q '  deg P = deg Q  Giả sử tồn ba không điểm phân biệt c1 , c2 , c3 P ' thoả mãn P(ci )  P(c j ) , i  j P (ci )  Q (d ) (i = , , 3) với không điểm d Q ' Khi đó, hai hàm f , g  M ( K r ) thoả mãn P( f )= Q ( g ) f , g  M b ( K r ) Chứng minh Đặt q = deg P = deg Q , giả sử kết luận sai , tức f g không bị chặn Kr Theo mệnh đề 3.5, f g không bị chặn Kr Theo mệnh đề 3.6 , ta có : N (, f )  3q  q T (  , f )  O(1)  2T (  , f )  O(1) , q Do : lim N (  , f )  T (  , f )  lim T (  , f )  O(1)          vơ lý T (  , f )  N (  , f ) nên điều giả sử vô lý Hệ 3.16 Cho P , Q  K[x] với P 'Q '  deg P = deg Q = Giả sử P thoả mãn Điều kiện (F) tồn ba không điểm phân biệt c1 , c2 , c3 P ' thoả mãn P (ci )  Q ( d ) (i = , , 3) với không điểm d Q ' Khi đó, hai hàm f , g  M ( K r ) thoả mãn P( f )= Q ( g ) f , g  M b ( K r ) Chứng minh Vì P thoả mãn Điều kiện (F) c1 , c2 , c3 ba không điểm phân biệt P ' nên P(ci )  P(c j ) , i  j Lập luận tương tự hệ 3.15 ta điều phải chứng minh  45 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Mệnh đề 3.17 Cho P , Q  K[x] với P 'Q '  cho p = deg P , q = deg Q với = (p , q) Giả sử tồn không điểm phân biệt c1 , c2 , , ck P ' thoả mãn P(ci )  P(c j ) , i  j P (ci )  Q ( d ) (i = , , , k) với không điểm d Q ' Giả sử tồn hai hàm khác f , g  M (K ) thoả mãn P( f )= Q ( g ) Khi , ta có q  p N (  , f )  (kq  p) (T (  , f )  log   O(1) q Hơn p  q k = c1 không điểm đơn P ' Chứng minh Tương tự mệnh đề 3.6 ta có : N (  , f )  (kq  p) T (  , f )  log   O(1) q Hơn , log       nên : k (kq  1) p  qkp  q  si  qk  w i 1 S q  p  1, tức : S q  p (*) Vì S  nên p  q Giả sử p  q , từ (*) suy bất đẳng thức S  xảy ,  đó: S = k = c1 không điểm đơn P ' Hệ 3.18 Cho P , Q  K[x] với P 'Q '  thoả mãn deg P  deg Q Giả sử tồn không điểm c P ' thoả mãn P(c)  Q(d ) với không điểm d Q ' Khi đó, hai hàm f , g  A(K ) thoả mãn P ( f ) = Q ( g ) f g số Chứng minh 46 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Đặt p = deg P , q = deg Q P '  tồn khơng điểm c P ' nên p  Giả sử f g khác số Theo mệnh đề 3.17 ta có : N (, f )  q p T (  , f )  log   O(1) q Vì q  p , ta có : lim N (  , f )  lim [log   O(1)]   ,       mâu thuẫn với f  A(K ) nên f g số  Hệ 3.19 Cho P , Q  K[x] với P 'Q '  thoả mãn deg P < 2deg Q Giả sử tồn hai không điểm phân biệt c1 , c2 P ' thoả mãn P(c1 )  P(c2 ) P (ci )  Q (d ) (i = , 2) với không điểm d Q ' Khi , hai hàm f , g  M (K ) thoả mãn P ( f )= Q ( g ) f g số Chứng minh Đặt p = deg P , q = deg Q Vì P '  tồn hai không điểm phân biêt c1 , c2 P ' , nên p  Theo giả thiết : deg Q  deg P  , 2 suy q  Giả sử f g khác số Theo mệnh đề 3.17 ta có k =1 ,  mâu thuẫn Vậy f g số Hệ 3.20 Cho P , Q  K[x] với P 'Q '  deg P = , deg Q  Giả sử tồn hai không điểm c1 c2 P ' cho P (ci )  Q (d ) (i = , 2) với không điểm d Q ' Khi đó, hai hàm f , g  M (K ) thoả mãn P( f )= Q( g ) f g số 47 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Chứng minh Giả sử P(c1) = P( c2 ) Vậy P - P(c1 ) có hai khơng điểm c1 , c2 cấp  mâu thuẫn với giả thiết deg P = Suy P(c1 )  P(c2 ) Giả sử f g khác số Đặt p = deg P , q = deg Q , ta có = p <  2q nên theo mệnh đề 3.17 ta có k =1 , mâu thuẫn Vậy f g số  Hệ 3.21 Cho P , Q  K[x] với P 'Q '  deg P = , deg Q  Giả sử P thoả mãn Điều kiện (F) tồn hai không điểm phân biệt c1 , c2 P ' thoả mãn P (ci )  Q (d ) (i = , ) với không điểm d Q ' Khi , hai hàm f , g  M ( K r ) thoả mãn P( f )= Q ( g ) f g số Chứng minh Vì P thoả mãn Điều kiện (F) nên P(c1)  P( c2 ) Giả sử f g khác số Đặt p = deg P , q = deg Q , ta có = p <  2q nên theo mệnh đề 3.17 ta có k =1 , mâu thuẫn  Vậy f g số Định nghĩa 3.22 Một tập S K gọi tập cứng afin không tồn phép biến đổi afin (tức phép biến đổi có dạng  ( x)  ax  b ) khác phép đồng thoả mãn  (S )  S Bổ đề 3.23 Cho S tập gồm bốn phần tử K Khi , hai điều kiện sau tương đương : i ) S không tập cứng afin , ii ) Hoặc S có dạng a, a  u, a  wu , a  w u , với w2  w   , S có dạng a  h, a  h, a  k , a  k , với h, k  K * Chứng minh 48 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com (i)  (ii) Giả sử S không tập cứng afin Khi , tồn phép biến đổi afin khác phép đồng  ( x)  mx  n thoả mãn  (S )  S Vì S gồm bốn phần tử nên ta đặt : S = a, b  a  u, c  a  u1 , d  a  u  Do  (S )  S nên ta chia làm hai trường hợp : Trường hợp : Tồn x  S cho ( x)  x Giả sử (a)  a , tồn y  S , y  a thoả mãn  ( y)  y Thật , :  (a)  a ma  n  a m      (b)  b mb  n  b n  suy  phép đồng , mâu thuẫn Do , khơng tính tổng quát , ta giả sử  (b)  c , (c)  d , (d )  b Ta có : ma  n  a  (a )  a m ( a  u )  n  a  u  (b)  c      (c)  d m(a  u1 )  n  a  u  (d )  b m(a  u )  n  a  u u1  n  (  m )a  (  u )a  m  u  u   u1 u1  u1 u1  u  ( a  u )  (  a )   a  (  a )  u u  u u   m( a  u )  n  a  u u1  n  (  u )a  m  u  u   u1 u  u  u     a  u1   (  a ) u1  a  u u  u  u  49 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Đặt u1  w Suy u1  wu , u  w u Ta có : u w(a  w u )  (1  a) w  a  u  w3u  w  a  u Vì a  wa  w(1  a) , suy a  w Do : ( w  1)u  Do S gồm bốn phần tử phân biệt nên w  , u  Suy : w2  w   Trường hợp : Không tồn x  S thoả mãn ( x)  x Giả sử  (a)  b ,  (b)  c ,  (c)  d ,  (d )  a Tức : ma  n  b  mb  n  c  mc  n  d  md  n  a (1) ( 2) (3) ( 4) Lấy (1) trừ (2) , (1) trừ (3) , (1) trừ (4) ta : bc  ma  n  b m  ab   m(a  b)  b  c (5) b  c   (a  c)  b  d  m ( a  c )  b  d a  b  b  c m(a  d )  b  a (6)  a  b (a  d )  b  a  (b  c)(a  c)  (b  d )(a  b) (5) b  bc  ac  ad  bd  c  (7)    (b  c)(a  d )  (b  a)(a  b) (6) b  ad  ac  cd  bd  a  (8) Lấy (7) trừ (8) ta : ab  bc  ad  cd  c  a   (a  c)(b  d  a  c)  50 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Vì a  c suy b  c  a  d Từ (6) ta có : (b  c)(a  d )  (b  a)(a  b)  (a  d )  (a  b)  Suy a  b  d , mâu thuẫn với giả thiết S gồm bốn phần tử Vì ta xét:  (a)  b ,  (b)  a , (c)  d , (d )  c Tức : ma  n  b  mb  n  a  mc  n  d  md  n  c (9) (10) (11) (12) Lấy (9) trừ (10) ta m  1 Lấy (9) cộng (10) n  a  b Đặt a  t  h , b  t  h , c  t  k Từ (11) suy d  (t  k )  (t  h)  (t  h)  t  k Vậy S  t  h, t  h, t   k , t  k Vì S gồm bốn phần tử nên h, k  K * (ii)  (i) Nếu S có dạng a, a  u, a  wu , a  w u , với w2  w   , đặt :  ( x)  wx  (1  w)a Khi , ta có :  (a)  a  (a u)ă w(a u) (1 w)a a  wu  (a  wu )  w(a  wu )  (1  w)a  a  w u  (a  w u )  w(a  w u )  (1  w)a  w(a  ( w  1)u )  (1  w)  wa  ( w  w)u  a  wa  a  u Nếu S có dạng a  h, a  h, a  k , a  k , với h, k  K * , đặt :  ( x)  x  2a Khi , ta có :  (a  h)  h  a  2a  h  a  (a  h)  a  h  2a  a  h 51 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com  (a  k )  k  a  2a  a  k  (a  k )  a  k  2a  a  k  Vậy S không tập cứng afin Q  P (  K ) Ta xét trường hợp riêng Định lý 3.24 Cho P  K[x] , deg P  n , khơng điểm bội l thoả mãn Điều kiện ( F ) Cho P ' ( x)  b ( x  c j ) m , víi ci  c j i  j , cho S j j 1 tập không điểm P Khi , khơng tồn   K hàm phân biệt khác f , g  M (K ) thoả mãn P( f )  P( g ) S tập cứng afin : l  min(m1 , m2 )  , l  P không thoả mãn : n  , m1  m  m3  , P(c1 ) P(c ) P(c3 )    w , với w2  w   P(c ) P(c3 ) P(c1 ) Khi   không tồn hàm phân biệt khác f , g  M (K ) thoả mãn P( f )  P( g ) : l (n  2)(n  3)   m j (m j  1) j 1 Xét trường hợp đặc biệt n = Định lý 3.25 Cho P  K[x] , deg P  với bốn không điểm phân biệt cho S tập khơng điểm Khi , khơng tồn   K hàm phân biệt khác f , g  M (K ) thoả mãn P( f )  P( g ) P thoả mãn ba điều kiện : + S tập cứng afin , + P ' có ba khơng điểm c1 , c2, c3 , +P không thoả mãn đẳng thức P(c1 ) P(c ) P(c3 )    P(c ) P(c3 ) P(c1 ) , với 2     Chứng minh Khơng tính tổng quát ta giả sử P có hệ số cao Vì n = nên điều kiện l = min(m1 , m2 )  định lý 3.24 xảy 52 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Theo định lý 3.14 ta cần chứng minh , S tập cứng afin P ' có ba khơng điểm phân biệt không thoả mãn P(c2 )  P(c1 ) , P(c3 )  P(c ) , P (c1 )  P (c3 ) , với 2     khơng tồn hàm phân biệt khác f , g  M (K ) thoả mãn P( f )  P( g ) Theo định lý 3.24 , Điều kiện (F) hệ giả thiết “S tập cứng afin” Thật , theo bổ đề 3.23, S khơng có dạng a  h, a  h, a  k , a  k , với h, k  K * Vì P khơng có dạng ( x  a  h)(x  a  h)(x  a  k )(x  a  k ) , tức P khơng có dạng P  (( x  a)  l )  A  Do theo bổ đề 3.4, P thoả mãn Điều kiện (F) Định lý 3.26 Cho P  K[x] , deg P  với bốn không điểm phân biệt cho S tập khơng điểm Khi , khơng tồn   K hàm phân biệt khác f , g  M (K ) thoả mãn P( f )  P( g ) P thoả mãn ba điều kiện : + P thoả mãn Điều kiện (F) , + P ' có ba khơng điểm c1 , c2, c3 , + P không thoả mãn đẳng thức P(c1 ) P(c ) P(c3 )    P(c ) P(c3 ) P(c1 ) , với 2     Chứng minh Khơng tính tổng qt ta giả sử P có hệ số cao Theo định lý 3.25 ta cần chứng minh P thoả mãn Điều kiện (F) , P ' có ba khơng điểm c1 , c2, c3,P không thoả mãn đẳng thức P(c1 ) P(c ) P(c3 )    , P(c ) P(c3 ) P(c1 ) với 2     , S tập cứng afin Giả sử S không tập cứng afin, theo bổ đề 3.23, S có dạng a, a  u, a  u, a  2 u với 2     , S có dạng a  h, a  h, a  k , a  k với h, k  K * Nếu S có dạng a  h, a  h, a  k , a  k , với h, k  K * P có dạng P  (( x  a )  l )  A , với a, A  K , l  K * theo bổ đề 3.4 , P không thoả mãn Điều kiện (F) , mâu thuẫn Do , S có dạng a, a  u, a  u, a  2 u , với 2     , P có dạng P  ( x  a)   ( x  a) , với   K , suy P '  4( x  a )   53 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com Lấy   K cho      K cho 2     , không điểm P ' : c1    a , c2    a , c3  2   a Khi P thoả mãn đẳng thức: P(c1 ) P(c ) P(c3 )     , mâu thuẫn P(c ) P(c3 ) P(c1 )  Vì S tập cứng afin Nhận xét 3.27 Cho P  (( x  a)  l )  A , với a, A  K , l  K * Khi đó, P ' nhận ba khơng điểm phân biệt c1 , c2 , c3 cho P(c1) = P(c3) l4 Hơn nữa, P(c1) = - P(c2) A   Chứng minh Ta có : P ' ( x)  4( x  a)[( x  a)  l ] Suy a, a  l , a  l không điểm phân biệt P(a  l )  A, P(a)  l  A Như , P(a)   P(a  l )  l  A   A  A   P ' Có l4  Nhận xét 3.28 Cho P  K[x] đa thức bậc , hệ số cao có bốn khơng điểm phân biệt Khi , P ' có hai khơng điểm phân biệt P có dạng ( x  a)   ( x  a)  B , với B,  K Và có khơng điểm P có dạng ( x  a )  k Hơn , P ' nhận hai không điểm phân biệt tồn f , g  K[ x] , f  g , thoả mãn P( f )  P( g ) 54 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com KẾT LUẬN Luận văn trình bày sở lý thuyết Nevanlinna áp dụng lý thuyết để nghiên cứu tính chất nghiệm phương trình hàm P( f ) = Q( g ) trường khơng Acsimet có đặc số 55 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn www.VNMATH.com TÀI LIỆU THAM KHẢO [1] Ha Huy Khoai On p - adic meromorphic functions Duke Math J Vol 50, 1983, 695 - 711 [2] Ha Huy Khoai, My Vinh Quang On p - adic Nevanlinna Theory Lecture Notes in Math 1351, 1988, 137 - 151 [3] Ha Huy Khoai, Ta Thi Hoai An On uniquenes polynomials and bi URS for p - adic meromorphic functions J Number Theory 87 (2001) 211 -221 [4] Ha Huy Khoai, C C Yang On the functional equation P( f ) = Q( g ) Value Distribution Theory, Marcel Dekker, NewYork, 2003, 201- 231 [5] W K Hayman meromorphic functions Oxford at the Clarendon Press, 1964 [6] P C Hu, C C Yang Value Distribution Theory on Non - Archimedear filds Kluwer 2003 [7] P Li, C C Yang Some further results on the functional equation P( f ) = Q( g ) Value Distribution and Related topics 219 - 231, Kluwer 2005 56 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ... hàm nguyên khác K thoả mãn E f (S )  E g ( S ) kéo theo f  g Vào năm 1920 , ứng dụng Lý thuyết Nevanlinna , Nevanlinna đă chứng minh hàm phân hình khác mặt phẳng phức xác định nghịch ảnh giá... biệt hàm phân hình trường khơng Acsimet áp dụng cho chương sau Chương 2: Nêu định nghĩa , số tính chất hàm đặc trưng Nevanlinna , hai định lý lý thuyết Nevanlinna số kết toán xác định tập hàm phân... r ( tương ứng K ), thoả mãn P( f ) = Q( g ) Sử dụng lý thuyết phân phối giá trị hàm phân hình Nevanlinna , đưa điều kiện đủ không điểm P ' ,Q ' để f g bị chặn đĩa x  a  r ( tương ứng số )