MỞ ĐẦU
Vấn đề phân tích hàm phân hình, hàm nguyên là một trong những vấn đề quan trọng của lý thuyết hàm và giải tích phức, có nhiều ứng dụng trong lý thuyết hệ động lực. Trong những năm gần đây, các kết quả và công cụ của lý thuyết Nevanlinna được áp dụng rộng rãi vào bài toán phân tích các hàm nguyên và hàm phân hình.
Mục đích của luận văn là trình bày cơ sở lý thuyết Nevanlinna, đặc biệt là những phần liên quan đến bài toán phân tích hàm phân hình và trình bày một số kết quả gần đây trong lý thuyết phân tích hàm nguyên và hàm phân
hình.
Nội dung luận văn gồm 2 chương:
Chương 1: Cơ sở lý thuyết Nevanlinna, trong chương này trình bày các
định lý cơ bản, quan hệ số khuyết và một số ví dụ ứng dụng.
Chương 2: Phương trình hàm
P ()f() Q g
, trong chương này trình
bày về sự tồn tại nghiệm
f ,g đối với phương trình hàm
P ()f() Q g
, khi
P ,Q là 2 đa thức thuộc [z ] .
Để hoàn thành được luận văn này, tác giả xin bày tỏ lòng kính trọng và biết ơn sâu sắc tới GS-TSKH Hà Huy Khoái, người thầy đã tận tình dạy bảo, hướng dẫn tác giả trong suốt quá trình học tập và nghiên cứu.
Tác giả xin trân trọng bày tỏ lòng biết ơn đến các thầy cô giáo trong trường Đại học sư phạm Thái Nguyên, Đại học sư phạm Hà Nội, Viện toán học Việt Nam đã giảng dạy và giúp đỡ tác giả hoàn thành khoá học.
Đồng thời tác giả xin chân thành cảm ơn Sở giáo dục và đào tạo tỉnh Bắc Giang, trường THPT Lục Ngạn số 2 Bắc Giang, gia đình và các bạn đồng nghiệp đã tạo điều kiện giúp đỡ về mọi mặt trong suốt quá trình tác giả
học tập và hoàn thành luận văn.
56 trang |
Chia sẻ: maiphuongtl | Lượt xem: 1675 | Lượt tải: 0
Bạn đang xem trước 20 trang tài liệu Luận văn Lý thuyết Nevanlinna và ứng dụng nghiên cứu phương trình hàm, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
c, nếu 0c thì
1( , ) ( , ) (1) v vf r f T r f O , ( 0...4)v .
Như thế: 0 1 2( , ) ( , ) ( , ) (1) ( , ) (1)T r f T r f T r f O T r f O
3 4 5( , ) (1) ( , ) (1) ( , ) (1)T r f O T r f O T r f O
( , ) (1).T r g O
Ta được điều phải chứng minh.
1.2.4. Định lý Cartan về đồng nhất thức và tính lồi
Bây giờ chúng ta sẽ phát biểu và chứng minh một số định lý của H.Cartan
1.2.4.1. Định lý Giả sử ( )f z là một hàm phân hình trong z R . Khi đó:
2
0
1( , ) ( , ) log (0)
2
iT r f N r e d f
, với (0 )r R .
17
Chứng minh. Ta áp dụng công thức Jensen (1.6) cho hàm ( )f z a z với
1R và thu được:
2
0
log 11 log
2 log log 0 1
i a aa e d a a a
nÕu
nÕu
Như vậy trong mọi trường hợp ta đều có:
2
0
1 log log
2
ia e d a
. (t)
Bây giờ chúng ta lại áp dụng (1.6) cho hàm số ( ) if z e và có:
2
0
1log (0) log ( . ) ( , ) ( , )
2
i i i if e f r e e d N r N r e .
Lấy tích phân hai vế theo biến và thay đổi thứ tự lấy tích phân trong
tích phân vế phải ta có:
2 2 2
0 0 0
1 1 1log (0) log ( . )
2 2 2
i i if e f r e e d d
+
+
2 2
0 0
1 1( , ) ( , )
2 2
iN r d N r e d =
2 2 2
0 0 0
1 1 1log ( . ) ( , ) ( , )
2 2 2
i i if r e e d d N r N r e d
.
Áp dụng công thức (t) ta có:
2 2
0 0
1 1log (0) log ( ( , ) ( , )
2 2
i if f re d N r N r e d
,
Từ đó:
2 2
0 0
1 1( , ) log ( ) ( , ) log (0)
2 2
i iN r f re d N r e d f
2
0
1( , ) ( , ) ( , ) log (0)
2
iN r f m r f N r e d f
2
0
1( , ) ( , ) log (0)
2
iT r f N r e d f
, với (0 )r R .
Vậy Định lý được chứng minh.
18
1.2.4.2. Hệ quả 1 Hàm đặc trưng Nevanlinna ( , )T r f là một hàm lồi tăng của
logr với 0 r R .
Chứng minh. Ta thấy rằng ( , )iN r e hiển nhiên là hàm tăng, lồi của logr nên
ta suy ra hàm ( , )T r f cũng có tính chất như vậy và bổ đề được chứng minh.
Trong trường hợp này chúng ta có:
2
0
1( , ) ( , )
2
idr T r f n r e ddr
.
1.2.4.3. Hệ quả 2. Trong mọi trường hợp chúng ta đều có:
2
0
1 ( , ) log 2
2
im r e d .
Chứng minh. Sử dụng định lý cơ bản thứ nhất cho hàm ( )f z với ia a
chúng ta có:
( , ) ( , ) ( , ) log (0) ( )i i iT r f m r e N r e f e G ,
trong đó ( ) log 2G . Lấy tích phân hai vế theo biến ta có:
2 2 2
0 0 0
1 1 1( , ) ( , ) ( , )
2 2 2
i iT r f d m r e d N r e d
2 2
0 0
1 1log (0) ( )
2 2
if e d G d .
Sử dụng định lý (1.2.4.1), công thức (t) ta sẽ thu được:
2 2
0 0
1 1( , ) ( , ) ( , ) log (0) log (0) ( )
2 2
iT r f m r e d T r f f f G d
.
Như thế
2 2 2
0 0 0
1 1 1( , ) ( ) log 2 log 2
2 2 2
im r e d G d d .
Hệ quả 2 được chứng minh.
19
1.3. Định lý cơ bản thứ hai
1.3.1. Giới thiệu:
Trong mục trước chúng ta đã định nghĩa hàm đặc trưng Nevanlinna và
có được định lý: với mỗi số phức a , ( , ) ( , ) ( ) (1)m R a N R a T R O . Từ đó
chúng ta cũng thấy rằng tổng m N có thể xem là độc lập với a . Đó chính là
kết quả của định lý cơ bản thứ nhất. Định lý cơ bản thứ hai sẽ cho ta thấy rằng
trong trường hợp tổng quát số hạng ( , )N R a chiếm ưu thế trong tổng
m N và thêm nữa trong ( , )N R a chúng ta không thể làm giảm tổng đó
nhiều nếu các nghiệm bội được tính một lần. Từ kết quả này cũng suy ra
định lý Picard, nói rằng hàm phân hình nhận mọi giá trị, trừ ra cùng lắm là
hai giá trị.
Trong phần này, chúng tôi sẽ trình bày định lý cơ bản thứ hai của
Nevanlinna và đưa ra một số ứng dụng trực tiếp của định lý đó.
1.3.2. Bất đẳng thức cơ bản
Để đơn giản, chúng ta sẽ viết ( , )m r a thay cho ( ,1/ )m r f a và ( , )m r
thay cho ( , )m r f .
1.3.2.1. Định lý. Giả sử ( )f z là hàm phân hình khác hằng số trong z r .
Giả sử 1 2, ,..., qa a a là các số phức hữu hạn riêng biệt, 0 và va a
với 1 v q . Khi đó:
1
1
( , ) ( , ) 2 ( , ) ( ) ( )
q
v
v
m r m r a T r f N r S r
,
trong đó: 1( )N r dương và được định nghĩa bởi:
1( ) ( ,1/ ) 2 ( , ) ( , )N r N r f N r f N r f , và
1
3 1( ) , , log log 2 log (0)
q
v v
f f qS r m r m r qf f a f
.
20
Chứng minh. Với các số phân biệt va ; (1 )v q , ta xét hàm:
1
1( ) ( ( ) )
q
v v
F z f z a
a) Giả sử rằng với một số v nào đó. ( ) /3vf z a q .Khi đó với v , ta có:
2( ) ( )
3 3v v
f z a a a f z a q
.
Bởi vậy, với v
1 3 1 1
2 2 ( )( ) vq f z af z a
Như thế ta có:
1 1 1 1 1( ) 1( ) ( ) 2 2 ( )( )vv v v
qF z f z a f z a q f z af z a
.
Từ đó ta có:
1log ( ) log log 2( ) v
F z f z a
.
Trong trường hợp này:
1
1 2log ( ) log log log 2( )
q
F z qf z a
1
1 3log log log 2( )
q qqf z a
. (*)
Bởi vì, với v
1 3 2log log log
2( )f z a
.
nên ta có:
1
1 1 1log log log( )( ) ( )
q
vvf z af z a f z a
21
1 2log ( 1)log( ) v
qf z a
.
suy ra:
1 2log ( 1)log( )v
qf z a
.
từ đó ta có:
1log ( ) log log 2( ) v
f z f z a
1
1 1log log log 2( ) ( )
q
vf z a f z a
1
1 2log ( 1)log log 2( )
q
qf z a
,
suy ra:
1
1 3log ( ) log log log 2( )
q qF z qf z a
.
Vậy (*) đã được chứng minh.
Như vậy nếu tồn tại một giá trị v q để ( ) /3vf z a q thì (*) hiển
nhiên đúng.
b) Ngược lại, giả sử ( ) /3vf z a q , v , khi đó có một điều hiển nhiên là:
1
1 3log ( ) log log log 2.( )
q
v v
qF z qf z a
Bởi vì, do ( ) /3vf z a q v nên 1 3 /( ) v
qf z a v suy ra
1log log 3 /( ) v
qf z a
,
suy ra
1
1log log 3 / log 2( )
q
v v
q qf z a
.
22
Từ đó:
1
1log ( ) 0 log log 3 / log 2( )
q
v v
F z q qf z a
.
Như vậy trong mọi trường hợp ta đều có được:
1
1 3log ( ) log log log 2( )
q
v v
qF z qf z a
,
Với iz re lấy tích phân hai vế chúng ta suy ra:
2 2
0 0
1
1 3log ( ) log log log 2( )
q
i
v v
qF re d q df z a
.
Nên
1
3( , ) ( , ) log log 2
q
v
v
qm r F m r a
. (1.14)
mặt khác, ta xét:
'
1 1( , ) , , , ( , )f fm r F m r f F m r m r m r f Ff f f f
. (1a)
Theo công thức Jensen (1.12) ta có:
( , ) ( ,1/ ) log (0)T r f T r f f ,
(0)
, , log (0)
f f fT r T rf f f
, hay
(0)
, , , , log (0)
f f f f fm r N r m r N rf f f f f
suy ra:
(0)
, , , , log (0)
f f f f fm r m r N r N rf f f f f
(2a)
và ngoài ra ta có:
1 1( , ) , , log (0)T r f m r N r ff f
Hay
23
1 1 1
, ( , ) , log (0)m r T r f N rf f f
. (3a)
Kết hợp (2a) và (3a) thay vào bất đẳng thức (1a) ta được:
1 1( , ) ( , ) , log ,(0)
fm r F T r f N r m rf f f
+
+
'
(0)
, , log ( , )(0)
f f fN r N r m r f Ff f f
.
Bất đẳng thức trên kết hợp với (1.14) chúng ta sẽ có:
1
3( , ) ( , ) ( , ) ( , ) log log 2
q
v
v
qm r a m r m r F m r f q
1( , ) , , , ,f f fT r f N r N r N r m rf f f f
1 3( , ) log ( , ) ( , ) log log 2(0)
qm r f F T r f N r f qf
.
Sử dụng công thức Jensen cho hàm
'
f
f ta có:
2
0
(0) 1 ( )log log , ,(0) 2 ( )
i
i
f f re f fd N r N rf f re f f
Suy ra:
2
0
1 ( ) (0)
, , log log
2 ( ) (0)
i
i
f f f re fN r N r df f f re f
2
0
1 log ( ) log (0)
2
if re d f
2
0
1 log ( ) log (0)
2
if re d f
1 1
, ( , ) , ( , )N r N r f N r N r ff f
.
24
Cuối cùng chúng ta nhận được:
1
1( , ) ( , ) 2 ( , ) 2 ( , ) ( , ) ( , )
q
v
v
m r a m r T r f N r f N r f N r f
1 3
, ( , ) log log log 2(0)
f qm r m r f F qf f
.
Chú ý rằng
1
( , ) ,
q
v v
fm r f F m r f a
và đặt
1( ) ( ,1/ ) 2 ( , ) ( , )N r N r f N r f N r f ,
và
1
3 1( ) , , log log 2 log (0)
q
v v
f f qS r m r m r qf f a f
,
khi đó ta có:
1
1
( , ) ( , ) 2 ( , ) ( ) ( )
q
v
v
m r a m r T r f N r S r
.
Đây là điều cần chứng minh.
1.3.2.2. Nhận xét
1( )N r trong định lý (1.3.2.1) là dương vì:
1
( , ) log
q
v v
RN r f b ,
trong tổng trên nếu vb là cực điểm bội k thì được tính k lần. Giả sử 1,..., Nb b
là các cực phân biệt của ( )f z với cấp lần lượt là: 1,..., Nk k . Xét tại điểm vb ta
thấy khai triển của ( )f z sẽ có dạng:
( ) ...( )
v
v
k
k
v
cf z z b
Khi đó ( )f z sẽ có khai triển là:
1
1( ) ...( )
v
v
k
k
v
cf z z b
25
Tức là vb sẽ là cực điểm cấp 1vk của hàm ( )f z . Như vậy 1,..., Nb b sẽ là các
cực điểm của ( )f z với cấp lần lượt là 1 1,..., 1Nk k . Tất nhiên ( )f z không
có cực điểm nào khác. Như vậy:
1
( , ) log
N
v
v v
RN r f k b và 1( , ) ( 1)log
N
v
v v
RN r f k b
,
Nên:
1 1
2 ( , ) ( , ) 2 log ( 1)log
N N
v v
v vv v
R RN r f N r f k kb b
1
((2 ( 1))log
N
v v
v v
Rk k b
1
(2 1)log 0
N
v
v v
Rk b .
Từ đó ta có:
1( ) ( ,1/ ) 2 ( , ) ( , ) 0N r N r f N r f N r f .
1.3.3. Định lý cơ bản thứ hai của Nevanlinna
Định lý.
Giả sử f là một hàm phân hình khác hằng trên và 1 2, ,..., qa a a là
2q điểm phân biệt. Khi đó
1
1
1( 1) ( , ) ( , ) , ( , ) ( , )
q
j j
q T r f N r f N r N r f S r ff a
0
1
1( , ) , ( , ) ( , )
q
j j
N r f N r N r f S r ff a
.
trong đó ( , ) ( ( , ))S r f o T r f khi ,r r nằm ngoài một tập có độ đo hữu
hạn, 1( , ) ( ,1/ ) 2 ( , ) ( , )N r f N r f N r f N r f và 0 ( ,1/ )N r f là hàm đếm tại
các không điểm của f mà không phải là không điểm của jf a , với 1... ..j q
26
1.3.4. Quan hệ số khuyết
Chúng ta kí hiệu lại: ( , ) ( , , )n t a n t a f là số các nghiệm của phương
trình ( )f z a trong z t , nghiệm bội được tính cả bội và kí hiệu ( , )n t a là
số nghiệm phân biệt của ( )f z a trong z t . Tương ứng ta định nghĩa:
0
( , ) (0, )( , ) ( , , ) (0, ) logr n t a n aN r a N r a f dt n a rt
,
0
( , ) (0, )( , ) ( , , ) (0, ) logr n t a n aN r a N r a f dt n a rt
.
Như trước đây, chúng ta sẽ kí hiệu ( , ), ( , )N r f T r f tương ứng thay cho
( , , )N r f , ( , , )T r f . Chúng ta sẽ giả sử rằng ( )f z là hàm phân hình trong
0z R , và như thế: ( , )T r f khi 0r R ,
Theo định lý (1.2.3.1): ( , ) ( , ) ( , ) (1)m r a N r a T r f O , khi 0r R .
Chúng ta định nghĩa:
00
( , ) ( , )( ) ( , ) lim 1 lim( ) ( )r Rr R
m r a N r aa a f T r T r ;
0
( , )( ) ( , ) 1 lim ( )r R
N r aa a f T r ;
0
( , ) ( , )( ) ( , ) lim ( )r R
N r a N r aa a f T r
.
Hiển nhiên, cho cho 0 , với r đủ gần 0R chúng ta có:
( , ) ( , ) ( ) ( )N r a N r a a T r , ( , ) 1 ( ) ( )N r a a T r .
và từ đó ta có: ( , ) 1 ( ) ( ) 2 ( ),N r a a a T r
như vậy: ( ) ( ) ( )a a a .
Lượng ( )a được gọi là số khuyết của giá trị , ( )a a gọi là bậc của bội.
Bây giờ chúng ta chứng minh một kết quả cơ sở của lý thuyết Nevanlinna
Định lý sau đây được gọi là quan hệ số khuyết.
27
1.3.4.1. Định lý. Giả sử ( )f z là hàm phân hình khác hằng số trong 0z R .
Khi đó tập hợp các giá trị của a mà ( ) 0a cùng lắm là đếm được, đồng
thời ta có:
( ) ( ) ( ) 2
a a
a a a .
Chứng minh. ( , ) ( , )n nS r f o T r f khi 0nr R .
Chúng ta chọn một dãy nr , sao cho 0nr R khi n . Xét q điểm
khác nhau 1 2, ,..., qa a a . Theo bất đẳng thức cơ bản ta có:
1
1
( , ) ( , ) 2 ( , ) ( ) ( ( , ))
q
n n v n n n
v
m r m r a T r f N r o T r f
.
Cộng thêm đại lượng
1
( , ) ( , )
q
n n v
v
N r N r a
vào hai vế của bất đẳng thức
trên, ta có:
1
1
( , ) ( , ) 2 ( , ) ( , ) ( , ) ( ) ( ( , ))
q
n n n n n v n n
v
T r f qT r f T r f N r N r a N r o T r f
.
Suy ra:
1
1
( 1) ( , ) ( ( , )) ( , ) ( , ) ( )
q
n n n n v n
v
q T r f o T r f N r N r a N r
.
Mặt khác ta biết: 1( ) ( ,1/ ) 2 ( , ) ( , )n n n nN r N r f N r f N r f . Đặt:
1
( , ) ( , ) ( ,1/ ) 2 ( , ) ( , )
q
n n v n n n
v
A N r N r a N r f N r f N r f
.
Khi đó bất đẳng thức trên được viết lại là:
( 1) ( , ) ( ( , ))n nq T r f o T r f A . (1.15)
Giả sử f có cực điểm cấp k tại va , khi đó:
( ) ...( )
k
k
v
cf z z a
28
1
1( ) ...( )
k
k
v
cf z z a
Do đó va sẽ là cực điểm cấp 1k của f .
Giả sử ; 1,vb v p là các cực điểm phân biệt của hàm f , với bội tương
ứng là 1 2, ,..., pk k k Khi đó:
1
( , ) ( , ) log ;
p
n
n n p
v v
rN r N r f k b ' 1( , ) ( 1)log
p
n
n p
v v
rN r f k b .
Từ đó
1
( , ) 2 ( , ) ( , ) ( 2 1)log
p
n
n n n p p p
v v
rN r N r f N r f k k k b
1
log ( , )
p
n
n
v v
r N rb .
Như vậy (1.15) có thể viết lại như sau:
1
1 (1) ( , ) ( , ) ( , ) ( ,1/ )
q
n n v n n
v
q o T r f N r a N r N r f
.
Chúng ta thấy rằng một nghiệm của phương trình ( ) vf z a có bậc p thì
nó cũng là không điểm bậc 1p của ( )f z và như thế nó đóng góp một lần
vào ( , ) ( ,1/ )vn t a n t f . Như vậy chúng ta có thể viết lại bất đẳng thức trên
như sau:
0
1
1 (1) ( , ) ( , ) ( , ) ( ,1 / )
q
n n v n n
v
q o T r f N r a N r N r f
. (1.16)
Trong đó 0 ( ,1/ )nN r f được tính tại những điểm là không điểm của f
nhưng không phải là nghiệm của phương trình ( ) vf z a , với 1...v q . Chú ý
rằng 0 ( ,1/ ) 0nN r f nên từ (1.16) ta có
1
1 (1) ( , ) ( , ) ( , )
q
n n v n
v
q o T r f N r a N r
. (1.17)
29
Chia cả hai vế của (1.17) cho ( , )nT r f và bỏ qua đại lượng (1)o ta có:
1
( , ) ( , ) 1( , ) ( , )
q
n v n
v n n
N r a N r qT r f T r f
.
Lấy giới hạn khi 0nr R ta suy ra:
0 01
( , ) ( , )lim lim 1( , ) ( , )n n
q
n v n
r R r Rv n n
N r a N r qT r f T r f
,
hay
0 01 1
( , ) ( , )lim lim 1( ) ( )n n
q q
n v n
r R r Rv v
N r a N r qT f T f
,
tức là
1
1 ( ) 1 ( ) 1
q
v
v
a q
,
hay
1
( ) ( ) 2
q
v
v
a
,
Do q bất kỳ nên định lý được chứng minh xong.
Chúng ta có định lí sau, là hệ quả trực tiếp của quan hệ số khuyết.
1.3.4.2. Định lý Picard. Giả sử ( )f z là hàm phân hình, không nhận 3 giá trị
0,1,Khi đó f là hàm hằng.
Chứng minh. Giả sử f không phải là hàm hằng. Không mất tổng quát, có thể
xem ( )f z không nhận 3 giá trị 0,1, . Từ đó, ( ,0) 0;N r ( ,1) 0;N r
( , ) 0N r f .
Suy ra (0) 1; (1) 1; ( ) 1 , nên ( ) 3
a
a
: điều này mâu thuẫn
với quan hệ số khuyết. Vậy ( )f z phải là hàm hằng.
1.4. Một số ứng dụng của các định lý cơ bản
1.4.1. Một số ví dụ:
Ví dụ 1: Giả sử ( )f z a vô nghiệm. Khi đó ta có ( , ) 0,N r a r suy ra
( ) 1a . Chẳng hạn: (0) 1z ff e .
30
Ví dụ 2: Giả sử có ( , ) ( ( , )) ( ) 1N r a O T r f a (số khuyết bằng 1 khi số
nghiệm của phương trình quá ít so với cấp tăng của nó).
Ví dụ 3: cho f là một hàm phân hình, khi đó tập hợp các giá trị của a sao
cho phương trình ( )f z a gồm toàn nghiệm bội có không quá 4 điểm.
Thật vậy, nếu mọi nghiệm của phương trình ( )f z a đều là nghiệm bội
thì ta có:
1 1( , ) ( , ) ( , )
2 2
N r a N r a T r f
Suy ra: ( , ) 1 ( , ) 1( ) 1 lim( , ) 2 ( , ) 2
N r a N r aaT r f T r f .
Theo định lý số khuyết ta có ( ) 2
a
a nên số các điểm a để phương
trình ( )f z a gồm toàn nghiệm bội sẽ không quá 4 điểm.
Trong thực tế tồn tại hàm phân hình mà có 4 giá trị của a để phương
trình ( )f z a gồm toàn nghiệm bội 2. Đó chính là hàm elliptic Weiestrass
( )z , là hàm thoả mãn phương trình:
2
1 2 3( ) ( ( ) )( ( ) )( ( ) )z z a z a z a .
với 1 2 3, ,a a a là các số phức hữu hạn phân biệt. Rõ ràng ( ) 0z khi
( ) vz a với 1,2,3.v Như vậy, mọi nghiệm của 3 phương trình 1( ) ;z a
2 3( ) ; ( )z a z a đều là nghiệm bội. Ngoài ra hàm elliptic Weiestrass có
cực điểm bội 2 tại . Đặt 1 2 3, , ,E a a a Từ đó ta sẽ có:
( )
0 nÕu
1 nÕu2
a E
a a E
Và
( ) 2a .
31
Ví dụ 4: Giả sử f là hàm nguyên, khi đó f không có cực điểm nên
( ) 1. Như vậy ( ) 1.
a C
a
Từ đó suy ra phương trình ( ) 0f z a có
nghiệm với mọi a trong mặt phẳng phức, trừ ra cùng lắm một giá trị. Chẳng
hạn ta thấy hàm f( )=ezz là chỉnh hình trên C và (0) (0) 1, như thế
hàm ze a sẽ có nghiệm với mọi 0a .
Một số vấn đề đặt ra là có bao nhiêu giá trị của a để phương trình
( ) 0f z a gồm toàn nghiện bội . Câu trả lời là: cùng lắm có 2 giá trị, bởi vì
giả sử tại 1a và 2a phương trình 1( ) 0;f z a 2( ) 0f z a gồm toàn
nghiệm bội. Khi đó 1 2( ) ( ) 1/ 2,a a thế thì 1 2( ) ( ) ( ) 2a a
nên với tất cả các giá trị a khác 1 2;a a phương trình ( )f z a đều phải có
nghiệm đơn. Chẳng hạn xét hàm ( ) sinf z z , với 1 1;a 2 1a ta thấy: khi
sin 1z thì (sin ) cos 0z z như thế nghĩa là các phương trình
1 2sin ;sinz a z a đều gồm toàn nghiệm bội. Nếu 1( 1) ( 1) 2 ;
1(1) (1)
2
, suy ra phương trình sinz a sẽ có nghiệm đơn với mọi a
khác -1 và +1.
Ví dụ 5: Trước hết ta định nghĩa: Giá trị a được gọi là bội ít nhất ( 2)m m
nếu các nghiệm của phương trình ( )f z a bội lớn hơn hoặc bằng m . Bây giờ
ta giả sử ( )f z là hàm phân hình và giả sử va là tập hợp các giá trị bội ít
nhất vm . Khi đó ta có:
1 1( , ) ( , ) ( , ) (1).v v
v v
N r a N r a T r f Om m
từ đó ta sẽ có: 1( ) 1 .v
v
a m Theo định lý Nevanlinna về số khuyết ta sẽ
có:
32
1(1 ) 2.
vv m
Mặt khác do 2m nên ta có: 1 11 .
2vm
Như vậy ta thấy rằng đối với
hàm phân hình thì chỉ có nhiều nhất 4 giá trị a mà nghiệm của phương trình
( )f z a có bội lớn hơn hoặc bằng 2.
+) Trong trường hợp có 4 giá trị của a thoả mãn, khi đó 2vm . Ví dụ
cụ thể của hàm loại này chính là hàm elliptic Weiestrass.
+) Trong trường hợp có đúng 3 giá trị của a thoả mãn, do
3
1 2 31
1 1 1 11 3 2
vv m m m m
nên
1 2 3
1 1 1 1m m m . Khi đó chúng ta sẽ có các bộ 1 2 3( ; ; )m m m như sau:
(2;2; )m (2;3;3) (2;3;4) (2;3;5)
(2;3;6) (2;4;4) (3;3;3) .
Trường hợp (2;2; )m tồn tại và ví dụ cụ thể về nó là hàm ( )f z là sin ;z
cosz . với ( ) 1f z gồm toàn nghiệm bội 2 và ( )f z . Trong các trường
hợp khác, vấn đề nói chung là rất khó và đã được nhiều nhà toán học nghiên
cứu và cho kết quả trong trường hợp tổng quát (Christoffel-Schwarz, Lê Văn
Thiêm, Drasin…).
1.4.2. Định lý 5 điểm của Nevanlinna
1.4.2.1. Định nghĩa. Giả sử f là hàm phân hình trên , a . Ta định
nghĩa: ( ) ( )fE a z f z a ( tập các nghiệm phân biệt của phương trình
( )f z a ).
1.4.2.2. Định lý. Giả sử rằng 1 2( ), ( )f z f z là các hàm phân hình trên . Nếu
tồn tại 5 điểm 1 2 3 4 5, , , ,a a a a a sao cho:
33
1 2
( ) ( )f j f jE a E a 1,...,5j
Khi đó hoặc 1f và 2f là hằng số hoặc 1 2f f .
Chứng minh. Ta giả sử rằng 1f , 2f là các hàm không đồng thời là các hàm
hằng và cũng không đồng nhất với nhau. Gọi 1 2 3 4 5, , , ,a a a a a là các số phức
phân biệt sao cho:
1 2
( ) ( )f j f jE a E a 1,...,5j . Khi đó ta viết:
1 2
1 1( ) , ,j
j j
N r N r N rf a f a
( 1,...,5j )
*) Giả sử một trong hai hàm 1f , 2f là hàm hằng, không mất tính tổng quát ta
giả sử 1f =const, khi đó 1f khác ít nhất 4 giá trị trong 5 giá trị ja ( 1,...,5)j ,
không mất tính tổng quát ta có thể giả sử các giá trị đó là 1 2 3 4, , , ,a a a a như
thế:
1
1
, 0, 1...4.
j
N r jf a
Vì thế:
2
1
, 0, 1...4.
j
N r jf a
nghĩa là 2( )f z không nhận 4 giá trị 1 2 3 4, , , ,a a a a theo định lý Pical 2( )f z phải
là hàm hằng.
*) 1 2,f f là các hàm khác hàm hằng, sử dụng bất đẳng thức cơ bản cho hàm 1f
với 5 điểm 1 2 3 4 5, , , ,a a a a a ta sẽ có:
5
1 1 1
11
1( , ) ( , ) 2 ( , ) ( , ) 2 ( , ) ( , ) ( )j
j
m r m r a T r f N r N r f N r f S rf
.
Cộng thêm vào 2 vế bất đẳng thức trên một đại lượng là
5
1
( , ) ( , )j
j
N r N r a
, ta được:
34
5
1 1
1
6 ( , ) 2 ( , ) ( , ) ( ,1/ ) ( , )j
j
T r f T r f N a N r f N r
1 12 ( , ) ( , ) ( )N r f N r f S r .
Do
5 5
0
1 1
( , ) ( ,1/ ) ( , ) ( ,1/ )j j
j j
N r a N r f N r a N r f
, 0( ( ,1/ )N r f đo các
cực điểm của 1/ f mà không phải là không điểm của jf a và ( , )N r
( , )N r f . Suy ra:
5
1 0 1 1
1
4 ( , ) ( , ) ( ,1/ ) ( , ) ( , ) ( )j
j
T r f N r a N r f N r f N r f S r
5
0 1
1
( , ) ( ,1/ ) ( , ) ( )j
j
N r a N r f N r f S r
5
1
1
( , ) ( , ) ( )j
j
N r a N r f S r
5
1 1
1
( ) ( , ) ( ( , ).j
j
N r T r f O T r f
Như vậy:
5
1 13 ( , ) ( ) ( ( , )j
j
T r f N r o T r f
.
Hoàn toàn tương tự ta có:
5
2 23 ( , ) ( ) ( ( , )j
j
T r f N r o T r f
Bây giờ chúng ta sẽ xét:
1 2
1
,T r f f
. Theo định lý cơ bản thứ nhất chúng
ta sẽ có: 1 2 1 2
1 2
1
, ( , ) log ( )(0) ( , )T r T r f f f f a rf f
1 2( , ) (1)T r f f O
35
1 2( , ) ( , ) (1)T r f T r f O
5 5
1 2
1 1
1 1( ) ( ( , )) ( ) ( ( , ) (1)3 3j jj j
N r o T r f N r o T r f O
5
1 2
1
2 ( ) ( ( , ) ( , ).3 jj
N r o T r f T r f
Ta thấy rằng, nếu z là nghiệm chung của các phương trình 1 2,f a f a thì z
là nghiệm của phương trình 1 2 0f f , nên ta suy ra:
5
1 2 1 21
1 1( ) , , (1).j
j
N r N r T r Of f f f
Như vậy:
5
1
( ).j
j
N r
là giới nội khi ,r điều này mâu thuẫn vì 1 2,f f khác hàm hằng.
Như vậy định lý được chứng minh.
*Nhận xét: Nghịch ảnh của 5 điểm đủ đảm bảo xác định một hàm phân hình.
Số 5 đó là tốt nhất và không thể thay thế bởi số nhỏ hơn. Ta có thể lấy ví dụ
để chứng tỏ điều này. Xét hàm ;z zf e g e . Với các điểm 1 0;a
2 3 41; 1; .a a a Thấy rằng:
1 1( ) ( ) 0f qE a E a ,
2 2( ) ( ) 2 ,f qE a E a k i k ,
3 3( ) ( ) (2 1) ,f qE a E a k i k .
4 4( ) ( ) 0f qE a E a .
Nhưng f g và là các hàm khác hằng trên .
36
Chương 2
PHƯƠNG TRÌNH HÀM ( ) ( )P f Q g
2.1. Giới thiệu:
Trong phần này, chúng ta sẽ nghiên cứu sự tồn tại nghiệm ,f g đối với
phương trình hàm ( ) ( )P f Q g , khi ,P Q là 2 đa thức thuộc z .
Ta nhắc lại Bài toán thứ 10 nổi tiếng của Hilbert: tìm thuật toán chỉ ra
tất cả nghiệm nguyên của phương trình ( , ) 0F x y , khi ( , )F x y là một đa
thức. Thue đã chứng minh được rằng phương trình ( , )F x y d chỉ tồn tại
một số hữu hạn nghiệm nguyên, khi ( , )F x y là đa thức thuần nhất bậc 3n
với ,x y nguyên, ( , )F x y bất khả quy trong miền hữu tỷ. Đối với hàm ( , )F x y
không thuần nhất, vấn đề sẽ khó xử lý hơn. Cho đường cong xác định bởi
phương trình bậc 3: 2 3y x nx m , trong đó ,m n đều nguyên. Định lý
Mordell-Weil [4] nói rằng: tồn tại một tập hợp hữu hạn điểm ( , )m mx y trên
sao cho mọi điểm ( , )x y khác mà toạ độ đều là các số hữu tỷ có thể nhận được
từ tập hợp trên bằng phương pháp tiếp tuyến dây cung .
Một cách tự nhiên, người ta nghiên cứu tương tự vấn đề thứ 10 của
Hilbert đối với các hàm phân hình. Đặc biệt hơn, chúng ta đặt câu hỏi đối với
phương trình ( , ) 0F x y , (F là đa thức với x và y là các biến): có hay
không nghiệm ,f g khác hằng số, thoả mãn ( , ) 0F f g ? Đầu những năm
1920, sử dụng lý thuyết phân phối giá trị, Nevanlinna đã chứng minh rằng
một hàm phân hình khác hằng số được xác định duy nhất bởi nghịch đảo của
5 giá trị phân biệt .
Năm 1982 Gross-Yang [1] đã mở rộng bằng cách xem xét nghịch ảnh
của một tập hợp, tức là xét vấn đề khi nào thì với tập S điều kiện:
37
1 1( ) ( )f S g S đối với 2 hàm khác hằng f và g suy ra f g ? Liên quan
đến vấn đề trên, Li- Yang [3] đưa ra khái niệm sau:
2.2. Đa thức xác định duy nhất hàm phân hình
Trong phần này, chúng ta sẽ sử dụng một số kí hiệu sau: 0m là một số
nguyên dương hoặc bằng , là không gian xạ ảnh một chiều trên ,
là một họ hàm nào đó xác định trên , lấy giá trị trên .
2.2.1. Định nghĩa.
Đa thức khác hằng ( )P z được gọi là đa thức xác định duy nhất nếu
điều kiện ( ) ( )P f P g với hai hàm f và g khác hằng số kéo theo f g .
2.2.2. Định nghĩa.
Đa thức khác hằng ( ) [ ]P z z được gọi là đa thức xác định duy nhất
mạnh (hay đa thức duy nhất mạnh) đối với họ hàm nếu đối với các hàm
khác hằng ,f g và hằng số khác không c , thoả mãn điều kiện
( ) ( )P f cP g thì f g . Tương tự, đa thức khác hằng ( ) [ ]P z K z được gọi
là đa thức xác định duy nhất yếu (hay đa thức duy nhất yếu) cho nếu đối
với các hàm khác hằng ,f g thoả mãn điều kiện ( ) ( )P f P g thì f g .
*Chú ý: Từ nay nếu không nói gì thêm, ta hiểu đa thức duy nhất mạnh (hay
đa thức duy nhất yếu) là đa thức xác định duy nhất mạnh (hay đa thức xác
định duy nhất yếu) cho các hàm phân hình.
2.2.3. Định nghĩa. Giả sử ( )P z là đa thức bậc q và ( )P z có dạng:
1 21 2( ) ( ) ( ) ...( ) kq q qkP z q z d z d z d ,
trong đó 1 2 ... 1kq q q q . Khi đó k được gọi là chỉ số đạo hàm của
( )P z . Nói cách khác chỉ số đạo hàm của ( )P z là số nghiệm phân biệt của đa
thức đạo hàm của đa thức đó.
38
*Nhận xét:
Giả sử ( )P z là đa thức xác định duy nhất các hàm phân hình. Khi đó chỉ
số đạo hàm của ( )P z phải lớn hơn 1.
Chứng minh. Giả sử chỉ số đạo hàm của ( )P z bằng 1, nghĩa là
1( ) ( ) ( ) ( )q qP z q z d P z z d C .
Ta lấy bất kỳ hàm ( )f z khác hằng nào đó và đặt hàm:
( ) ( ) (1 )g z f z d , trong đó ; 1q .
Hiển nhiên ( ) ( )f z g z . Nhưng khi đó:
( ) ( (1 ) ) ( ( ))q qP g f d d C f d C
( ) ( ) ( ).q q qf d C f d C P f
Với nhận xét này, từ nay về sau khi xét đến đa thức duy nhất chúng ta sẽ chỉ
xét các đa thức có chỉ số đạo hàm lớn hơn hoặc bằng 2.
2.2.4. Ví dụ.
Xét đa thức: 2 2 2 2( ) ... .n nP z z z z a
Xét hàm ( )f z bất kỳ và ( ) ( )g z f z . Hiển nhiên ( ) ( )f z g z nhưng
( ) ( )P f P g . Như vậy ( )P z không phải là đa thức xác định duy nhất hàm
phân hình.
Một vấn đề đặt ra là làm thế nào để có thể tìm được các đa thức là đa
thức duy nhất. Rất nhiều nhà toán học đã nghiên cứu về vấn đề này và đã đưa
ra được rất nhiều điều kiện đại số để một đa thức là đa thức duy nhất. Tiếp
theo tôi sẽ trình bày một trong số điều kiện đại số đó.
2.2.5 Điều kiện (H) (Hirotaka Fujimoto).
2.2.5.1. Định nghĩa. Đa thức ( )P z có 1 21 2( ) ( ) ( ) ...( ) kq q qkP z q z d z d z d
được gọi là thoả mãn điều kiện (H) nếu:
( ) ( ),i jP d P d i j .
39
2.2.5.2. Định lý. Giả sử ( )P z là đa thức thoả mãn điều kiện (H) và có chỉ số
đạo hàm lớn hơn hoặc bằng 4. Khi đó ( )P z là đa thức xác định duy nhất hàm
phân hình.
Chứng minh.
Giả sử ( )P z thoả mãn điều kiện (H) và chỉ số đạo hàm lớn hơn hoặc
bằng 4, nghĩa là: 1 21 2( ) ( ) ( ) ...( ) kq q qkP z q z d z d z d , với 4k .
Khi đó ( )P z sẽ có bậc lớn hơn hoặc bằng 5.
Giả sử ( )P z không phải là đa thức xác định duy nhất, tức là tồn tại các
hàm phân hình ( ) ( )f z g z khác hằng để ( ) ( )P f P g . Đặt hàm
1 1( ) 0.( ) ( )z f z g z
Khi đó:
1 1( , ) ( , ) ( , ) ( , ) ( , ) (1).T r T r T r T r f T r g Of g
Áp dụng bất đẳng thức cơ bản của Nevanlinna cho k điểm 1 2, ,..., kd d d và
thực hiện tương tự như trong chứng minh định lý 5 điểm, chúng ta sẽ có:
0
1
1 1( 1) ( , ) , ( , ) , ( )
k
jj
k T r f N r N r f N r S rf d f
, (*)
trong đó 0
1
,N r f
được tính tại những điểm là không điểm của f mà
không phải là nghiệm của phương trình ( ) jf z d . Xuất phát từ ( ) ( )P f P g ,
đạo hàm 2 vế ta thu được: ( ) ( )f P f g P g ,
hay
1 2 1 21 2 1 2( ) ( ) ...( ) ( ) ( ) ...( )k kq q q q q qk kf q f d f d f d g q g d g d g d
40
Từ đó ta thấy rằng, khi f nhận một giá trị id nào đó thì hàm g phải nhận giá
trị jd nào đó.
Mặt khác từ ( ) ( )P f P g , tức là:
1 1
1 1... ...
n n n nn nf a f a g a g a ,
suy ra f và g có cùng số cực điểm như nhau và cùng bội. Như vậy, nếu z là
một cực điểm của f thì nó cũng là một cực điểm của g nên nó sẽ là không
điểm của ( )z , tức là z sẽ là không điểm của 1 .
Bây giờ chúng ta xét:
1
1
, .
k
jj
N r f d
Từ (*) chúng ta sẽ có :
0 0
1
1 1 1( 1) ( , ) , , , ( )
j
k
f dj
k T r f N r N r N r S rg f
.
Tương tự ta cũng có:
0 0
1
1 1 1( 1) ( , ) , , , ( )
j
k
g dj
k T r g N r N r N r S rf g
,
Cộng hai vế của hai bất đẳng thức trên ta được:
0 0
1 1 1( 1) ( , ) ( , ) 2 , , , ( )k T r f T r g N r N r N r S rf g
+
0 0
1 1
1 1
, ,
j j
k k
j jg d f d
N r N rf g
. (**)
Mà ta lại có: 1( , ) 2 ( , ) (1) 2 ( , ) ( , ) (1)N r T r O T r f T r g O ,
Khi đó (**) sẽ được viết lại như sau:
( 3)( ( , ) ( , )) ( ) ( ( , ) ( , )).k T r f T r g S r o T r f T r g
41
Với giả thiết 4k thì bất đẳng thức trên không thể xảy ra. Như vậy điều giả
sử là sai, nói cách khác ( )P z là đa thức xác định duy nhất hàm phân hình.
Định lý được chứng minh xong.
Gần đây, Ha- Yang [2] đã nghiên cứu trường hợp tổng quát bằng cách
xét các cặp đa thức ( ), ( )P z Q z sao cho chỉ có nghiệm ,f g thoả mãn
( ) ( )P f Q g là các nghiệm f = const, g = const; và sử dụng chủ yếu lý thuyết
kỳ dị và khái niệm giống của đường cong (trong hình học đại số ). Họ đã
chứng minh các định lý sau đây:
2.2.6. Định lý. Cho 2 đa thức ( , )P Q , phương trình hàm ( ) ( )P f Q g không
có nghiệm trong tập của hàm phân hình khác hằng số, nếu ( deg )p P và
( deg )q Q thoả mãn một trong các điều kiện sau:
i) , 1, 2, 5;p q p q p vµ
ii) , 2, 6p q p ;
iii) 4.p q
2.2.7. Định lý. Cho ( )P z và ( )Q z như được xác định ở Định lý 2.2.6. Cho
11 1( ) ( ) ...( ) kp pkP z c z d z d ,
12 1( ) ( ) ...( ) tq qtQ z c z l z l ,
với 1 2 ... 1kp p p p và 1 2 ... 1.tq q q q Giả thiết thêm rằng
1( ) ( )jP d Q l với 1,2,...,i k và 1,2,...,j t và ,p q thoả mãn một trong các
điều kiện của Định lý 2.2.6. Khi đó đối với các hàm ,f g phương trình
( ) ( )P f Q g chỉ có nghiệm f và g là hằng số.
*Nhận xét. Một kết quả nổi tiếng của Picard’s [6] khẳng định rằng nếu giống
của đường cong xác định bởi phương trình ( , ) 0F x y lớn hơn 1, thì không
tồn tại hàm phân hình ,f g khác hằng số nào để ( , ) 0F f g . Vì vậy Định lý
2.2.6 chủ yếu có được bằng cách tính toán giống của đường cong xác định bởi
42
phương trình ( ) ( ) 0.P x Q y Tuy vậy, không dễ để tìm ra được giống của
đường cong như vậy.
Trong bài này, chúng ta sẽ dùng lý thuyết phân phối giá trị để xét vấn đề
trên. Hơn nữa, chúng ta có thể giải quyết được trường hợp khi 3q và
4p (trường hợp này không có trong Định lý 2.2.6 ). Khi 4p q , một số
điều kiện cần và đủ được đưa ra để đảm bảo cho sự tồn tại của ,f g thoả mãn
( ) ( )P f Q g . Cuối cùng, chúng ta đưa ra vài giả thuyết đối với các hàm phân
hình tương tự vấn đề thứ 10 của Hilbert.
2.3. Bổ đề
2.3.1. Bổ đề. Cho ( )P z và ( )Q z là 2 đa thức lần lượt có bậc là p và q
tương ứng, với 2 p q . Nếu tồn tại không điểm 0r của ( )P z sao cho
phương trình 0( ) ( ) 0Q z P r không có nghiệm bội, và nếu tồn tại hai hàm
phân hình ,f g khác hằng số sao cho ( ) ( )P f Q g , thì ( , )q p p q (ước số
chung lớn nhất của p và q ), và 0r là số không điểm của ( )P z . Hơn nữa, tất
cả các bất đẳng thức sau thoả mãn:
0
1( , ) , ( , )T r f N r S r ff r
, (2.1)
1( , ) , ( , )T r g N r S r gg a
, (2.2)
( , ) ( , ) ( , )T r f N r f S r f , (2.3)
( , ) ( , ) ( , )qN r f N r f S r fq p , (2.4)
0
, ( , )gT r S r ff r
, (2.5)
Khi a thì không có không điểm nào của 0( ) ( )Q z P r .
43
Chứng minh. Giả sử 0r là một không điểm của ( )P z sao cho phương trình
0( ) ( ) 0Q z P r không có nghiệm bội. Nếu tồn tại 2 hàm phân hình f và g
khác hằng số sao cho
( ) ( )P f Q g , (2.6)
thì chúng ta có:
( , ) ( , ) (1).pT r f qT r g O (2.7)
Điều này dẫn tới ( , ) ( , ) ( ),S r f S r g S r với ( , )S r f là một số thoả mãn
( , ) ( ( , ))S r f o T r f khi r , ngoại trừ, có thể, một tập có độ đo tuyến
tính hữu hạn của (0, )r . Cho n là ước số chung lớn nhất của p và q . Khi
đó tồn tại 2 số nguyên 1p và 1q nguyên tố cùng nhau, sao cho
1 ,p p n 1 .q q n (2.8)
Giả thiết rằng 0z là cực điểm của f của bội k . Khi đó từ (2.6) 0z cũng
là cực điểm của g bội l , và kp lq , có nghĩa là 1 1kp lq . Do 1p và 1q gần
bằng nhau, chúng ta thấy rằng 1q chia hết cho k . Từ đây bội của bất cứ cực
điểm nào của f ít nhất là 1q . Điều này có nghĩa là:
1 ( , ) ( , ).q N r f N r f (2.9)
Do 0r là nghiệm của ( ) 0P z , tồn tại một đa thức ( )R z bậc p s
( 2)s sao cho 0( ) 0R r và
0) 0( ) ( ) ( ) ( ).sP z P r z r R z (2.10)
Điều này và (2.6) đẫn đến
0 0( ) ( ) ( ) ( ).sf r R f Q g P r (2.11)
Do 0( ) ( ) 0Q z P r không có nghiệm bội, theo định lý cơ bản thứ hai
của Nevanlinna ta có:
0
1 1( , ) , , ( , ) ( )( ) ( )qT r g N r N r N r g S rQ g P r g a
. (2.12)
44
Theo (2.11) ta có:
0 0
1 1 1
, , , ( )( ) ( ) ( )N r N r N r S rQ g P r f r R f
( 1) ( , ) ( ).p s T r f S r
Theo (2.9) ta có:
1 1
1 1( , ) ( , ) ( , ) ( , )N r g N r f N r f T r fq q .
Từ các bất đẳng thức trên và (2.7) dẫn đến
1
1 ( 1) 1( , ) , ( , ) 1 ( , ) ( )p qT r g N r T r f p s T r f S rg a q q
,
có nghĩa là
1
( 1) 11 .p q p sq q
Do 1 1/ /p q p q , bất đẳng thức trên tương đương với 1 1( 1) 1.s q p
Mặt khác, theo giả thiết của Bổ đề 2.3.1, chúng ta có p q , và vì vậy
1 11 .p q Lưu ý rằng 2s , chúng ta có thể suy ra rằng 2s và
1 1 1q p . Do đó tất cả các bất đẳng thức trở thành đẳng thức. Từ đây ta
được (2.1), (2.2), (2.3) và (2.4). Hơn nữa, 1 1( )q p q p n n là thừa số
chung lớn nhất của p và q . Từ 0( ) 0R r , từ (2.10) ta thấy rằng 0r là không
điểm đơn của ( )P z .
Bây giờ cho là hàm phân hình được xác định bởi:
0
.
g
f r
(2.13)
Từ (2.1) và (2.3) ta được
( , ) ( )m r f S r và
0
1
, ( ).m r S rf r
(2.14)
45
Do đó, từ (2.6) ta được ( , ) ( )m r g S r và vì vậy ( , ) ( ).m r g S r Từ đây
( , ) ( )m r S r . Mặt khác, từ (2.4) ta thấy rằng các cực điểm của f không là
cực điểm của . Từ (2.11), chúng ta có:
0 1( ) ( ) ( ) ,f r R f f Q g g (2.15)
với 1 0( ) 2 ( ) ( ) ( )R z R z z r R z là một đa thức bậc 2p . Giả sử rằng 0z là
không điểm của 0f r . Khi đó từ (2.11) ta có 0 0( ( )) ( )Q g z P r . Do
0( ) ( ) 0Q z P r không có nghiệm bội, ta thấy rằng 0( ( )) 0.Q g z Tiếp theo
từ (2.15) ta có 0z không là cực điểm của 0/( )g f r . Do đó,
( , ) ( )N r S r , và từ đó (2.5) xảy ra.
2.3.2. Bổ đề. Cho ( )P z và ( )Q z là 2 đa thức lần lượt có bậc là p và q , với
2 p q . Nếu tồn tại một không điểm bội 0r của ( )P z để cho phương trình
0( ) ( ) 0Q z P r không có nghiệm bội, và nếu tồn tại 2 hàm phân hình khác
hằng số f và g để cho ( ) ( )P f Q g , thì p q và 0r là không điểm của
( )P z . Hơn nữa tất cả các bất đẳng thức sau thoả mãn:
0
1( , ) , ( , )T r f N r S r ff r
,
1( , ) , ( , )T r g N r S r gg a
,
( , ) ( , ) ( , )T r f N r f S r f ,
2
0
, ( , )( )
gT r S r ff r
,
với a không phải là không điểm của 0( ) ( )Q z P r .
Chứng minh. Do 0r là một không điểm bội của ( )P z , tồn tại một đa thức
( )R z bậc p s ( 3)s sao cho 0( ) 0R r và
0 0( ) ( ) ( ) ( ).sP z P r z r R z
46
Tương tự với phần chứng minh Bổ đề 2.3.1, ta có thể chứng minh được
3s và 1 1p q và kết thúc chứng minh Bổ đề 2.3.2.
2.3.3. Bổ đề. Cho ( )P z và ( )Q z là 2 đa thức có bậc lần lượt là p và q
tương ứng, với 2 p q . Nếu tồn tại hai không điểm khác nhau 1r và 2r của
( )P z sao cho mỗi phương trình ( ) ( ) 0jQ z P r ( 1,2)j không có các
nghiệm bội, và nếu tồn tại 2 hàm phân hình f và g khác hằng số sao cho
( ) ( )P f Q g , thì p q và jr ( 1,2)j là các không điểm đơn của ( )P z .
Hơn nữa tất cả các bất đẳng thức sau thoả mãn
1( , ) , ( , ), 1,2,
j
T r f N r S r f jf r
1( , ) , ( , ),T r g N r S r gg a
( , ) ( , ) ( , ),T r f N r f S r f
1 2
, ( , )( )(
gT r S r ff r f r
,
với a không là không điểm nào của của ( ) ( ), ( 1,2)jQ z P r j .
Chứng minh. Do ( 1,2)jr j là không điểm của ( )P z , tồn tại một đa thức
( )jR z bậc ( 2),j jp s s sao cho ( ) 0j jR r và
( ) ( ) ( ) ( ).jsj j jP z P r z r R z
Nếu 1 2( ) ( )P r P r thì tồn tại một đa thức ( )R z bậc 1 2p s s để
( ) 0jR r và 1 21 1 2( ) ( ) ( ) ( ) ( ).s sP z P r z r z r R z
Từ đây và các lập luận tương tự đã được dùng ở Bổ đề 2.3.1, ta có thể
chứng minh được: 1 2 1 12, 1s s p q , và vì vậy ta được các kết luận cho
Bổ đề 2.3.3.
47
Nếu 1 2( ) ( )P r P r , thì 1( ) ( )Q z P r và 2( ) ( )Q z P r không có không
điểm chung và cả 2 đều không có không điểm bội. Theo định lý cơ bản thứ 2
của Nevanlinna, ta có:
2
1
1 12 ( , ) , ( , ) , ( )( ) ( )jj
qT r g N r N r f N r S rQ g P r g a
.
Từ đây ta có thể chứng minh được 1 2 1 12, 1s s p q , và vì vậy ta được
các kết luận cho Bổ đề 2.3.3, theo các lập luận tương tự với phần chứng minh
ở Bổ đề 2.3.1.
2.4. Sự tồn tại nghiệm phân hình của phương trình hàm
2.4.1. Định lý. Giả sử rằng ( )P z và ( )Q z là 2 đa thức lần lượt có bậc p và
q . Khi đó không tồn tại các hàm phân hình khác hằng số f và g thoả mãn:
( ) ( )P f Q g (2.16)
nếu ( )P z và ( )Q z thoả mãn một trong các điều kiện sau:
C-1) p q và q p không là ước số chung lớn nhất của p và q , và tồn tại
không điểm 0r của ( )P z để 0( ) ( ) 0Q z P r không có không điểm bội.
C-2) p q và tồn tại hai không điểm khác nhau 1r và 2r của ( )P z sao cho
( ) ( ) 0, ( 1,2)jQ z P r j không có nghiệm bội.
C-3) p q và tồn tại không điểm bội 0r của ( )P z sao cho ( )Q z 0( ) 0P r
không có nghiệm bội.
C-4) p q và tồn tại không điểm 1r của ( )P z và không điểm bội 2r của
( )P z 1 2( )r r sao cho cả ( ) ( ) 0, ( 1,2)jQ z P r j không có nghiệm
bội.
C-5) p q và tồn tại 3 không điểm jr , ( 1,2,3)j của ( )P z để tất cả các
phương trình ( ) ( ) 0, ( 1,2,3)jQ z P r j không có nghiệm bội.
48
C-6) p q và tồn tại không điểm 0r của ( )P z sao cho 0( ) ( ) 0Q z P r
không có nghiệm bội.
Chứng minh. Từ Bổ đề 2.3.1 ta thấy rằng không tồn tại các hàm phân hình
khác hằng số f và g thoả mãn (16) khi ( )P z và ( )Q z thoả mãn C-1) hay
C-3). Nếu ( )P z và ( )Q z thoả mãn C-2), và nếu có 2 hàm phân hình khác
hằng số f và g thoả mãn (2.16), thì theo Bổ đề 2.3.1 ta có:
1
, ( )gT r S rf r
và 2, ( )
gT r S rf r
.
Từ đây có ( , ) ( )T r f S r , vô lý. Tương tự từ Bổ đề 2.3.2 và Bổ đề 2.3.3 ta
thấy không tồn tại các hàm phân hình f và g khác hằng số, thoả mãn (2.16)
khi ( )P z và ( )Q z thoả mãn C-4), hay C-5), hay C-6).
2.4.2. Hệ quả. Giả sử rằng ( )P z và ( )Q z là 2 đa thức lần lượt có bậc là p
và q tương ứng. Nếu 2 4p q hoặc 3p q , thì tồn tại các hàm phân
hình khác hằng số f và g thoả mãn ( ) ( )P f Q g .
Chứng minh. Hiển nhiên cho 2q . Nếu 2p và 3q . Khi đó ta có thể
viết lại phương trình hàm ( ) ( )P f Q g dưới dạng:
2
0 1 2 3( ) ( )( )( )f a b g b g b g b (2.17)
với , , ( 0,1,2,3)ja b j là những số phức và 0 0b . Nếu hai trong các số 1 2,b b
và 3b bằng nhau, chẳng hạn 1 2b b , thì (2.17) tương ứng với: 2 0 3( )h b g b
với 1( ) /( )h f a g b . Rõ ràng rằng, (2.17) có các nghiệm phân hình khác
hằng số. Nếu không có 2 trong các số 1 2,b b và 3b bằng nhau thì tồn tại hàm
eliptic thoả mãn:
2
0 1 3( ) ( )( 2)( )g b g b g b g b .
49
Do đó, trong trường hợp này suy ra (2.17) có một nghiệm phân hình
khác hằng số. Nếu 2p và 4q , thì chúng ta có thể viết lại phương trình
( ) ( )P f Q g dưới dạng:
2
0 1 2 3 4( ) ( )( )( )( )f a b g b g b g b g b , (2.18)
với , ( 0,1,2,3,4),ja b j là những số phức và 0 0b . Nếu 2 trong 4 số 1 2 3, ,b b b
và 4b bằng nhau, chẳng hạn 1 2b b , thì (2.18) tương đương với:
2
2 3 4( )( )( )h b g b g b g b , với 1( ) /( ).h f a g b
Do đó, theo kết luận của trường hợp 3q , ta thấy rằng (2.18) có
nghiệm phân hình khác hằng số. Giả sử rằng không có cặp số nào trong 4 số
1 2 3 4, , ,b b b b bằng nhau. Khi đó (2.18) tương đương với:
2
1 0 1 1 1 2 1 3( )( )( )f c g c g c g c ,
với 1 12
44
1
, ,( )
f af g g bg b
0 4 1 4 2 4 3( )( )( ),c b b b b b b
4
1
, 1,2,3.j
j
c jb b
Theo kết luận trong trường hợp 2, 3p q , ta thấy rằng (2.18) và vì
vậy ( ) ( )P f Q g có nghiệm phân hình khác hằng số.
Nếu 3,p q thì ( )P z và ( )Q z có thể được viết lần lượt là:
0 1 2 3( ) ( )( )( )P z a z a z a z a và 0 1 2 3( ) ( )( )( )Q z b z b z b z b ,
Cho 3 21 0 1 0 1 0 1 2 3 1 0 1 2 32( )( ) (2 ) (2 )f a g b g b a a a a g b b b b ,
1 1 1( ) /( )g f a g b .
Khi đó thì phương trình ( ) ( )P f Q g tương đương với:
50
2 2 2 4 3
1 0 2 3 1 0 0 1 2 1 3 1( ) 4 ( )( )f a a a g a b b b b b g
2
0 0 1 2 3 1 2 3 12 (2 )(2 )a b a a a b b a g +
2 2
0 0 1 2 1 3 1 0 2 34 ( )( ) ( ) .a b a a a a g b b b
Dựa vào kết luận trong trường hợp 2p và 4q , phương trình trên có
một nghiệm của hàm phân hình khác hằng số. Từ đây phương trình
( ) ( )P f Q g cũng có nghiệm phân hình khác hằng số.
Đối với trường hợp đặc biệt 3p và 4q , ta có:
2.4.3. Định lý. Giả sử rằng 30( ) ...P z a z và 40( ) ...Q z b z lần lượt là 2
đa thức bậc 3 và 4. Khi đó phương trình ( ) ( )P f Q g có nghiệm phân hình
khác hằng số f và g khi và chỉ khi tồn tại không điểm 1r của ( )P z sao cho
1( ) ( ) 0Q z P r có ít nhất một nghiệm bội, và
2
1 0 1 1( ) ( ) ( ) ( ),P z P r a z r z a (2.19)
2
1 0 1 2 3( ) ( ) ( ) ( )( ),Q z P r b z b z b z b (2.20)
với 1, , ( 1.2.3)ja b j là những số phức để cho đa thức
2 6 3 2 2 2
0 0 0 2 3 1 0 0 1 1 0 2 32 ( 2 ) 4 ( ) ( )a z a b b b b z a b r a z b b b , (2.21)
có ít nhất một không điểm bội.
Chứng minh. Cho 1r và 2r là các không điểm của ( )P z . Nếu cả hai phương
trình 1( ) ( ) 0Q z P r và 2( ) ( ) 0Q z P r không có nghiệm bội, thì theo
định lý 2.4.1 ta thấy rằng phương trình ( ) ( )P f Q g không có nghiệm hàm
phân hình khác hằng số f và g . Nếu có một trong hai số 1r và 2r , chẳng hạn
1r , sao cho 1( ) ( ) 0Q z P r có ít nhất một nghiệm bội, thì tồn tại các số phức
,jb ( 1,2,3)j và 1a sao cho (2.19) và (2.20) thoả mãn. Do đó phương trình
( ) ( )P f Q g tương đương với:
51
2 2
0 1 1 0 1 2 3( ) ( ) ( ) ( )( ).a f r f a b g b g b g b (2.22)
Cho: 31 0 0 2 0 3 0 1 0 12 2 ,f b g b b b b b b a g 1 1 1( ) /( ).g f r g b
Khi đó (2.22) có thể được viết lại dưới dạng
2 2 6 3 2 2 2
1 0 1 0 0 2 3 1 1 0 0 1 1 1 0 2 32 ( 2 ) 4 ( ) ( )f a g a b b b b g a b r a g b b b . (2.23)
Nếu đa thức (2.21) không có không điểm bội thì tồn tại 1f và 1g thoả mãn
(2.23). Do đó ( ) ( )P f Q g không có nghiệm phân hình khác hằng số. Nếu đa
thức (2.21) có ít nhất một không điểm bội r , thì (2.23) tương đương với:
2 2
2 0 1 1 1 2 1 3 1 4( )( )( )( ),f a g c g c g c g c
với , ( 1,2,3,4)jc j là các số phức và 2 1 1/( ).f f g r Theo hệ quả 2.4.2,
phương trình trên có một số nghiệm phân hình khác hằng số.
Định lý 2.4.3 được chứng minh.
Trong trường hợp 4p q , theo định lý 2.4.1 và lập luận tương tự đối
với phần chứng minh của định lý 2.4.3, ta được:
2.4.4. Định lý. Giả sử rằng cả 40( ) ...P z a z và 40( ) ...Q z b z đều là các
đa thức bậc 4, và ( ) ( )P z Q z . Khi đó phương trình ( ) ( )P f Q g có nghiệm
phân hình khác hằng số f và g khi và chỉ khi tồn tại một không điểm 1a của
( )P z sao cho ( )Q z 1( ) 0P a có ít nhất một nghiệm bội, và
2
1 0 1 2 3( ) ( ) ( ) ( )( ),P z P a a z a z a z a (2.24)
2
1 0 1 2 3( ) ( ) ( ) ( )( ),Q z P a b z b z b z b (2.25)
với , , (j=1,2,3)j ja b là các số phức để cho đa thức:
2 2 6 4
0 2 3 0 0 2 1 3 1( ) 4 ( )( )a a a z a b b b b b z
3
0 0 2 3 1 2 3 12 ( 2 )( 2 )a b a a a b b b z
2 2 2
0 0 2 1 3 1 0 2 34 ( )( ) ( )a b a a a a z b b b ,
có ít nhất một không điểm bội.
52
2.5. Một số ứng dụng và giả thuyết
Ví dụ 1. Không tồn tại các hàm phân hình f và g khác hằng số sao cho:
3 4f f g g .
Đối với các đa thức 3( )P z z z và 4( )Q z z z , ta thấy rằng
( ) 0P z có nghiệm 1 1/ 3r và 2 1/ 3r . Dễ ràng thấy rằng
( ) ( ) 0jP z P r , 1,2j không có nghiệm bội. Từ đây, theo định lý 2 không
tồn tại các hàm phân hình f và g khác hằng số thoả mãn:
3 4f f g g .
Ví dụ 2. Không tồn tại các hàm phân hình f và g khác hằng số sao cho:
2 3( ) ( )f f a g g b , (*)
với ,a b là các số phức khác không.
Từ . 0ab , thấy đa thức
6 3 2 2 3 32 4 ( 2 )( 2 )z bz az b z az b z az b
không có các không điểm bội. Từ đây theo Định lý 2, phương trình (*) không
có nghiệm hàm phân hình khác hằng số.
Ví dụ 3. Cho
2
1 2( ) ( ) ( )P z z a z a và 2 21 2( ) ( ) ( )Q z z b z b , (2.26)
với 1 2 1, ,a a b và 2b là các số phức. Khi đó tồn tại hai hàm phân hình f và g
khác hằng số sao cho ( ) ( )P f Q g .
Ví dụ 4. Cho
3( ) 4 3P z z z và 2 2( ) 2(2 1) 1.Q z z
Khi đó tồn tại 2 hàm phân hình f và g khác hằng số sao cho ( ) ( )P f Q g .
Có thể thử lại với ( ) cosf z z và 3( ) cos
4
g z z .
53
2.5.1. Định lý. Giả sử ( )P z và ( )Q z là 2 đa thức có bậc lần lượt là ( 2)p
và ( 2)q . Nếu p q , và nếu tồn tại một không điểm 1a của ( )P z sao cho
phương trình ( )Q z 1( ) 0P a không có nghiệm bội, thì tồn tại hàm phân
hình f khác hằng số thoả mãn ( )( ) ( )kP f Q f hoặc ( )( ) ( )kP f Q f , với
2k nguyên dương.
*Nhận xét. Thực tế là phương trình 2 1 2 3( ) ( )( )( )f f b f b f b có nghiệm
phân hình siêu việt (chẳng hạn các hàm elliptic) đối với các số phức thích hợp
1 2,b b và 3b . Điều đó chỉ ra rằng điều kiện 2k là cần cho định lý 2.5.1.
2.5.2. Định lý Giả sử cả ( )P z và ( )Q z đều là các đa thức có bậc ( 2)p .
Nếu tồn tại một không điểm bội 0a của ( )P z để phương trình
0( ) ( ) 0Q z P a có nghiệm bội, hoặc nếu tồn tại 2 nghiệm đơn phân biệt 1a
và 2a của ( )P z sao cho mỗi phương trình ( ) ( ) 0, ( 1,2)jQ z P a j không
có nghiệm bội, thì không tồn tại f hàm phân hình khác hằng số thoả mãn
( )( ) ( )kP f Q f hoặc ( )( ) ( )kP f Q f , với 1k nguyên dương.
Cuối cùng, chúng tôi dẫn ra giả thuyết của C.C. Yang và P. Li, tương tự
với giả thuyết nổi tiếng của Mordell như sau:
*Giả thuyết
Nếu một phương trình Diophant, ( , ) 0F x y (F là một đa thức chứa x
và y bậc lớn hơn 3 với các hệ số là số hữu tỷ ) không có hoặc hầu như không
có nhiều nghiệm nguyên xác định, thì phương trình tương ứng F không có
hoặc hầu như không có nhiều nghiệm phân hình khác hằng số ( )f x và
( )g y .
54
KẾT LUẬN
Luận văn trình bày cơ sở lý thuyết Nevanlinna, đặc biệt là những phần
liên quan đến bài toán pân tích hàm phân hình và ứng dụng vào nghiên cứu
phương trình hàm.
Chương 1 trình bày các định lý cơ bản thứ nhất, định lý cơ bản thứ 2
của Nevanlinna, quan hệ số khuyết và một số ví dụ ứng dụng.
Chương 2 trình bày khái niệm và điều kiện để tìm đa thức xác định
duy nhất hàm phân hình, sự tồn tại nghiện f, g đối với phương trình P(f) =
Q(g), khi P,Q là 2 đa thức thuộc C[z] và một số ứng dụng.
Nhiều vấn đề của lý thuyết hàm phân hình còn chưa được làm sáng tỏ.
Hy vọng sẽ được quan tâm trong thời gain tới.
55
TÀI LIỆU THAM KHẢO
[1]. F. Gross and C. C. Yang, On preimages and range sets of meromorphic
functions, Proc. Japan Acad., 58 (1982), 17-20.
[2]. Ha Huy Khoai, C. C. Yang, On the functional equation ( ) ( )P f Q g ,
Value Distribution Theory, Marcel Dekker, NewYork, 2003, 201-231.
[3]. P. Li and C. C. Yang, On the unique range sets of meromorphic functions,
Proc. Amer. Math. Soc, 124 (1996), 177-185.
[4]. L.J. Mordell, Diophantine Equations, Academic Press, New York, 1969.
[5]. B. Shiffman, Uniqueness of entire and meromorphic functions sharing
sets, Complex Variables, vol. 4, (2001), pp.433-450.
[6]. R. Nevanlinna, Uniformiserung, Springer 1953, p.272.
[7]. C.C. Yang Unicity and factorization of meromorphic functions, Proc.
Second Asian Math. Conf. (1995), World Scientific.
[8]. C.C. Yang and X. H. Hua Unique polynomials of entire and meromorphic
functions, Math. Fizika, analiz, geometriya, 4(1997), vol. 131, pp. 391-
398.
Các file đính kèm theo tài liệu này:
- LV_08_SP_TH_LAT.pdf