Professional Documents
Culture Documents
Nếu tồn tại giới hạn của tổng tích phân Sn khi đường kính phân hoạch d max zk 1 zk dần về 0,
1 k n
không phụ thuộc vào cách phân chia đường cong và cách chọn các điểm k .
n
Khi đó giới hạn lim f k zk 1 zk được gọi là tích phân của hàm số f z dọc theo đường
d 0
k 1
cong .
n
Kí hiệu: f z dz lim f z
d 0
k 1
k k 1 zk .
Trong các tính toán thực hành ta thường không sử dụng cách định nghĩa theo phương pháp Riemann
mà tính toán thông qua các hàm số thực.
Thật vậy, giả sử f z u x, y iv x, y , zk xk iyk , k k ik , uk u k , k , vk v k , k .
Khi đó
n n n
Sn uk ivk xk iyk uk xk vk yk i uk yk vk xk .
k 1 k 1 k 1
Nhận thấy rằng các tổng bên vế phải là tổng tích phân của các tích phân đường loại hai tương ứng và
do tồn tại lim Sn nên, bằng cách hạn chế một số điều kiện nhất định ví dụ như đường cong đo được và
d 0
hàm f z liên tục trên , ta dễ dàng chứng minh được sự tồn tại của các tổng tích phân ở vế phải.
Bằng cách chuyển qua giới hạn ta có:
f z dz udx vdy i udy vdx
k 1
ak k
f z
dz
k 1
ak fk z dz .
b) Tính chất cộng tính.
Nếu hàm số f z khả tích trên hai đường cong Jordan trơn từng khúc 1 và 2 thì
f z dz f z dz f z dz .
1 2 1 2
trong đó là đường cong Jordan trơn từng khúc được định hướng ngược lại với hướng của .
d) Ước lượng tích phân.
Nếu hàm số f z khả tích trên đường cong Jordan trơn từng khúc thì f z dz f z dz
y
dxdy dx y
dxdy P x, 2 x P x, 1 x dx ,
U b 1 x b
A2 B2 B1 A1
P x, y dx P x, y dx P x, y dx P x, y dx P x, y dx
c A1 A2 B2 B1
b a
P x, 1 x dx P x, 2 x dx .
a b
Do đó,
P x, y
P x, y dx
c
y
dxdy .
U
Bằng phương pháp lập luận tương tự, ta cũng thu được
Q x, y
c Q x, y dy U x dxdy .
Do đó,
Q x, y P x, y
C P x , y dx Q x , y dy U x y dxdy .
Nếu miền U có dạng U y , 1 y x 2 y trong đó 1 , 2 là các hàm liên tục trên
, thì bằng phương pháp lập luận tương tự như trên ta cũng chỉ ra được rằng
Q x, y P x, y
P x , y dx Q x , y dy dxdy
C x U
y
Đối với các miền U phức tạp ta có thể chia thành những miền con có dạng như đã nêu và công thức
Green vẫn thỏa mãn vì tích phân kép ở vế phải là hợp của tích phân kép trên từng miền nhỏ còn tích
phân đường vế trái chỉ chứa những đường là biên của miền U .
Trong trường hợp miền U có lỗ hổng ta chỉ cần tách miền U thành miền C1 , C2 và đoạn B1 B2 .
Nhận xét rằng tích phân đường dọc theo đoạn B1 B2 tham gia hai lần, một lần từ B1 đến B2 và một lần
từ B2 đến B1 , nên công thức Green vẫn được thỏa mãn.
Đối với các miền có nhiều lỗ hổng ta áp dụng cách chứng minh hoàn toàn tương tự.
Q x, y P x, y
chỉ khi trên U .”
x y
Hơn nữa ta còn thu được kết quả sâu sắc hơn như sau:
Kết quả 2.
Giả sử P x, y và Q x, y là các hàm liên tục trên U , A và B là hai điểm bất kì trong miền U .
Khi đó, tích phân P x, y dx Q x, y dy không phụ thuộc vào đường lấy tích phân C
C
khi và chỉ khi
F x, y F x, y
tồn tại hàm F x, y khả vi trên U sao cho P x, y , Q x, y .
x x
Chứng minh kết quả 2.
Điều kiện cần.
Giả sử tích phân P x, y dx Q x, y dy không phụ thuộc vào đường lấy tích phân, bằng cách cố
C
x,y
định x0 , y0 U , ta xây dựng hàm F x, y theo công thức P x, y dx Q x, y dy .
x0 , y0
Do tích phân P x, y dx Q x, y dy chỉ phụ thuộc vào x, y và không phụ thuộc vào đường lấy
C
nên
F x, y F x x, y F x, y 1
x x
x
lim
x 0 x
lim
x 0 x P x, y dx P x, y .
x
F x, y
Bằng cách tương tự ta cũng tính được Q x, y .
x
Điều kiện đủ.
F x, y F x, y
Giả sử tồn tại tồn tại hàm F x, y khả vi trên U sao cho P x, y , Q x, y .
x x
Lấy hai điểm A, B bất kì trong U và C là đường cong nối A với B cho bởi phương trình tham
số x x t , y y t , a t b .
Nếu C là đường cong trơn thì
b
F x t , y t F x t , y t
C P x, y dx Q x, y dy a x
x t dt
x
y t dt
b
F x t , y t dt
d
a
dt
F x b , y b F x a , y a .
Nếu C là đường cong trơn từng khúc thì, bằng cách tách tích phân thành từng phần, ta cũng nhận
được kết quả P x, y dx Q x, y dy F x b , y b F x a , y a .
C
Điều này chứng tỏ rằng tích phân P x, y dx Q x, y dy không phụ thuộc vào đường lấy tích phân.
C
Lưu ý rằng hàm F được nêu trong kết quả trên được gọi là nguyên hàm của dạng vi phân
P x, y dx Q x, y dy và công thức P x, y dx Q x, y dy F x b , y b F x a , y a được
C
gọi là công thức Newton – Leibniz.
Bây giờ ta quay về khảo sát lớp các hàm số biến số phức.
Một câu hỏi tự nhiên được đặt ra cho ta đó là:
“Với điều kiện nào của hàm f z thì tích phân phức f z dz không phụ thuộc vào dạng của đường
cong mà chỉ phụ thuộc vào điểm đầu và điểm cuối của đường cong ?”
Nhận thấy rằng ta luôn có thể chuyển một bài tính tích phân phức f z dz về bài toán tính tích phân
đường loại hai dạng P x, y dx Q x, y dy thông qua hệ thức f z dz udx vdy i udy vdx
C
trong đó f u iv .
Mặt khác, từ kết quả 1 và 2, ta biết rằng điều kiện cần và đủ để việc tính tích phân đường loại hai
Q x, y P x, y
không phụ thuộc vào đường lấy tích phân là .
x y
Áp dụng kết quả phân tích này cho trường hợp hàm biến phức và lưu ý đến phương trình Cauchy –
Riemann cho các lớp hàm chỉnh hình ta nhận thấy rằng
u v u v
f z dz udx vdy i udy vdx U y x dxdy U x y dxdy 0
0 0
trong đó U là miền hữu hạn giới hạn bởi đường cong .
Ngược lại nếu f z dz 0 trong đó
đường cong Jordan, trơn từng khúc, kín chứa trong miền D
thì ta dễ dàng chứng minh được rằng việc tính tích phân f z dz sẽ không phụ thuộc vào đường lấy
tích phân mà chỉ phụ thuộc vào điểm đầu và điểm cuối của đường cong.
Sau đây ta sẽ trình bày một cách chứng minh khá lí thú của tác giả Cauchy cho sự kiện này
Kết quả 3. (Cauchy)
Giả sử hàm số f z chỉnh hình trong miền đơn liên và hữu hạn D .
Khi đó, f z dz 0 trong đó
là đường cong Jordan, trơn từng khúc, kín chứa trong miền D .
Đặt M f z dz .
Ta chia tam giác thành bốn tam giác con bởi các đường trung bình và giả thiết rằng biên của và
của các tam giác con này đều được định hướng ngược chiều kim đồng hồ. Giả sử bốn tam giác con này
được kí hiệu là i , i 1,2,3,4 , với biên tương ứng i .
Khi đó,
4
f z dz f z dz .
i 1 i
Từ đó suy ra
M f z dz f z dz f z dz f z dz f z dz .
1 2 3 4
Do đó trong số bốn hình tam giác i , i 1,2,3,4 , luôn có ít nhất một hình tam giác con mà ta sẽ tạm
kí hiệu là 1 sao cho
M
f z dz 4 .
1
Ta tiếp tục chia tam giác thành bốn tam giác bằng nhau bởi các đường trung bình như ở trên.
1
Khi đó trong số bốn tam giác vừa thu được tồn tại một tam giác con mà ta tạm kí hiệu là 2 sao cho
M
f z dz 4 . 2
2
Bằng cách lặp lại tiếp tục quá trình này vô hạn lần ta thu được dãy các hình tam giác lồng nhau n
sao cho:
i) 1 ... n ... và n , n ,
1 n1 1
ii) Chu vi của tam giác bằng 2 n lần chu vi tam giác n , tức là n n .
2 2
M
iii) f z dz 4 , n .
n
n
Áp dụng nguyên lý Cantor cho dãy các hình tam giác lồng nhau n với đường kính dần về 0 ta suy
ra rằng:
n z 0 .
n 1
Do hàm f z giải tích tại z0 D nên với mọi 0 , tồn tại 0 sao cho với mọi z D mà
z z0 kéo theo
f z f z0
f z0 .
z z0
Do n z 0 nên N sao cho n z : z z0 với mọi n N .
n 1
Do đó
f z f z0 f z0 z z0 z z0 với mọi z n .
Nhận xét rằng khoảng cách z z giữa hai điểm bất kì của một tam giác luôn bé hơn chu vi của nó
nên f z f z0 f z0 z z0 z z0 n .
2n
Mặt khác,
f z f z0 f z0 z z0 dz f z dz f z dz f z zdz z f z dz .
0 0 0 0
n
n n n n
Bằng cách sử dụng định nghĩa tích phân ta dễ dàng tính được dz 0, zdz 0 .
n n
Do đó,
f z f z f z z z dz f z dz .
0 0 0
n n
Bằng cách kết hợp các kết quả vừa nhận được ta suy ra rằng
M
4n
f z dz
n
f z f z f z z z dz
0 0 0
n
2
4n
2
M .
Bằng cách chuyển qua giới hạn khi cho tiến dần đến 0 ta suy ra M 0 hay f z dz 0 .
f z dz f z dz 0 ,
k 1 k
f z dz f z dz .
P
Khi đó,
n n
f z dz f z z
k 1
k k f z f zk dz .
k 1 k 2
Bằng phương pháp lập luận tương tự ta cũng thu được kết quả
n
f z dz f zk zk .
P k 1 2
Do đó,
f z dz f z dz .
P
f z dz f z dz .
P
Bằng cách áp dụng kết quả khảo sát trong các trường hợp cơ bản ta nhận thấy f z dz 0 .
P
Do đó,
f z dz .
Bằng cách chuyển qua giới hạn khi cho tiến tới 0 ta thu được f z dz 0 .
Từ định lý Cauchy vừa chứng minh ta nhận thấy rằng nếu hàm f chỉnh hình trên một miền D thì
tích phân phức f z dz không phụ thuộc vào đường lấy tích phân.
phức f z dz ?”.
Chìa khóa cho lời giải của vấn đề này nằm ở kết quả sau
Kết quả 4.
Giả sử hàm f z liên tục trên miền đơn liên D và f z dz 0 với mọi đường cong Jordan trơn
z
phụ thuộc vào đường lấy tích phân hay F z f d xác định một hàm số trên miền D .
z0
F z z F z 1
z z
Do
z
z f d với mọi z D nên
z
F z z F z z z z z
z
f z
1
z f f z d (bởi vì 1z d 1 )
z z
z z
1
z f f z d .
z
Do đó,
F z z F z
lim f z .
z 0 z
Nhắc lại công thức quen thuộc f z dz udx vdy i udy vdx
U V
Nếu F U iV và f u iv thì u, v.
x x
U V U V
Đồng thời do F là hàm chỉnh hình nên , .
x y y x
Do đó hàm U đóng vai trò là nguyên hàm của dạng vi phân udx vdy còn hàm V đóng vai trò là
nguyên hàm của dạng vi phân udy vdx .
Bằng cách áp dụng các kết quả phân tích được khí khảo sát các tích phân đường ta nhận thấy rằng
x B , yB x B , yB x B , yB