Tải bản đầy đủ (.pdf) (57 trang)

Luận văn thạc sĩ toán lý thuyết liên phân số và áp dụng giải phương trình vi phân

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (668.36 KB, 57 trang )

B ộ GIÁO DỤC VÀ ĐÀO TẠO
T R Ư Ờ N G Đ Ạ I HỌC s ư P H Ạ M H À N Ộ I 2

LÊ N H Ậ T G IA N G

LÝ THUYẾT LIÊN PH Â N s ố
VÀ ÁP DỤNG GIẢI PHƯƠNG TRÌNH VI PH Â N

C huyên ngành: Toán giải tích
M ã số: 60 46 01 02

L U Ậ N V Ă N TH Ạ C SĨ T O Á N HỌC

Người hướng dẫn khoa học: TS. N guyễn Văn Hào

H À N Ộ I - 2015


Lời cảm ơn
Tôi xin bày tỏ lòng biết ơn sâu sắc tới TS. Nguyễn Văn Hào, người đã
định hướng chọn đề tài và tận tình hướng dẫn để tôi có thể hoàn thành
luận văn này.
Tôi cũng xin bày tỏ lòng biết ơn chân thành tới các thầy cô phòng Sau
đại học, cùng các thầy cô giáo dạy cao học chuyên ngành Toán giải tích,
trường Đại học Sư phạm Hà Nội 2 đã giúp đỡ tôi trong suốt quá trình
học tập.
Nhân dịp này tôi cũng xin được gửi lời cảm ơn chân thành tới gia đình,
bạn bè và Ban Giám hiệu, các thầy cô trong tổ Toán - Tin trường trung
học phổ thông Tiền Phong - Mê Linh - Hà Nội đã luôn động viên, cổ
vũ, tạo mọi điều kiện thuận lợi cho tôi trong thời gian học tập và hoàn
thành luận văn.


Hà Nội, tháng 10 năm 2015
Tác giả

Lê N h ật G iang


Lời cam đoan
Trong suốt quá trình nghiên cứu luận văn “Lý th u yết liên phân số và
áp dụng giải phương trình vi phân” đã giúp tác giả tìm hiểu sâu về
lý thuyết liên phân số, đặc biệt là những áp dụng quan trọng liên phân
số vào giải phương trình vi phân. Qua đó cũng giúp tác giả bước đầu
làm quen với công tác nghiên cứu khoa học.
Tác giả xin cam đoan luận văn được hoàn thành do sự cố gắng nỗ lực
tìm tòi, nghiên cứu của bản thân dưới sự hướng dẫn chỉ bảo của TS.
Nguyễn Văn Hào.
Hà Nội, tháng 10 năm 2015
Tác giả

Lê N h ật G iang


M ục lục
M ở đầu . . .
Chương 1. Liên phân số

5

1.1. Lời dẫn khái niệm liên phân số

5


1 . 2 . Khái niệm liên phân số

10

1.3. Một số ví dụ

12

1.4. Một số tiêu chuẩn hội tụ

17

/

1.4.1. Định lý Sleszynski-Pringsheim

17

1.4.2. Định lý Worpitzky

21

0

0

Chương 2. A p dụng liên phân sô trong việc giải phương trình
vi phân


25

2 . 1 . Tổng quan về phương trình vi phân

25

2 . 2 . Ap dụng liên phân số giải một số phương trình vi phân

35

2 . 2 . 1 . Giải phương trình vi phân tuyến tính cấp hai

35

2 .2 .2 . Giải phương trình vi phân Riccati

44
53

Tài liệu tham khảo

54


M ở đầu
1. Lí do chọn đề tài
Khái niệm liên phân số, có thể nói rằng có nguồn gốc lịch sử từ rất sớm.
Những người học và làm Toán đều biết đến thuật toán Euclide từ thời
toán học cổ đại Hy lạp. Tuy nhiên, không có bằng chứng nào để có thể
khẳng định rằng thời đó các nhà Toán học đã sự dụng nó để hình thành

khái niệm liên phân số như ngày nay. Có lẽ để nói đến nguồn gốc của
khái niệm này, chúng ta hãy bắt đầu từ việc biểu diễn xấp xỉ của \/Ĩ3
được cho bởi nhà Toán học Bombelli năm 1572 như sau
4

V ũ = 3+

4’
6

Đây là trường hợp riêng của công thức
y/a2 + b = a H----------—
2a +
b
2a -ị- ...
Trường hợp riêng thứ hai của công thức này được cho bởi Cataldi năm
1613 dưới dạng (dấu + được ông thay bởi dấu & )
\ / Ĩ 8 = 4 & --------^--------.
8 &
8

&

-

8

Ông viết gọn biểu thức trên dưới dạng như sau
4 &2&2&2
1


8

8
1

8

'


Năm 1625, Schwenter và Huygens (trong một công trình được công bố
sau khi ông mất), đã xem xét sự xấp xỉ của những liên phân số hữu hạn
chính quy theo nghĩa biểu diễn những phân số lớn thành những phân số
nhỏ hơn. ở đây, Schwenter đã đưa ra biểu diễn sau
177 _

1

ã ã “ l + ------- 1 1
3 + -----1
6 + —

'

Còn Huygens đã đưa ra biểu diễn (những dấu + dưới ta hiểu là phép
cộng được thực hiện ở mẫu của phân số đứng ngay trước n ó )
77708431
_
1 1 1 1

_______= 29 + — — — —
2640858
2 + 2+1 + 4 + '”'
Người đầu tiên đưa ra sự khai triển liên phân số vô hạn là Brouncker.
Khoảng năm 1659, ông đã trình bày trước hội Toán học Hoàng gia
London biểu diễn sau
4
00
f (2n
- = 1+ K 1 v


n=l \



2

1)'
1

Tuy nhiên, ông không đưa ra phép chứng minh công thức này và có lẽ
ông nhận được nó từ công thức tích vô hạn của Wallis đối với —. Bắt
đầu từ năm 1737, Euler là người đưa ra được sự trình bày một cách hệ
thống về liên phân số. Các công trình của ông đã làm sáng tỏ rằng lý
thuyết liên phân số được sử dụng trong cả lĩnh vực lý thuyết số và lý
thuyết giải tích.
Đến nay, lý thuyết liên phân số đã đem lại áp dụng trong nhiều lĩnh vực
của Toán học cũng như các vấn đề thực tiễn khác. Được sự định hướng



của người hướng dẫn, tôi chọn đề tài: "L ý th u yết liên phân số và áp
dụng giải phương trình vi phân" để hoàn thành luận văn Thạc sĩ
chuyên ngành Toán giải tích. Luận văn được cấu trúc thành 02 chương
Chương 1 . Được giành cho việc trình bày về lý thuyết liên phân số; các
khái niệm liên quan lý thuyết liên phân số; một số tiêu chuẩn hội tụ và
các ví dụ minh họa.
Chương 2. Trong chương này, chúng tôi trình bày về phương pháp sử
dụng liên phân số trong việc giải phương trình vi phân tuyến tính cấp
hai, phương trình Riccati.

2. M ục đích nghiên cứu
Nghiên cứu hệ thống kiến thức cơ bản về liên phân số và áp dụng của
nó trong việc giải một số phương trình vi phân.

3. N h iệm vụ nghiên cứu
Nghiên cứu lý thuyết liên phân số và áp dụng giải phương trình vi phân
tuyến tính cấp hai và phương trình Riccati.

4. Đ ối tượng và phạm vi nghiên cứu
Lý thuyết liên phân số và cách áp dụng liên phân số giải phương trình
vi phân tuyến tính cấp hai và phương trình Riccati.

3


5. Phương pháp nghiên cứu
Đặt vấn đề, giải quyết vấn đề thông qua việc phân tích, tổng hợp các
tài liệu được thu thập, và xin ý kiến định hướng của người hướng dẫn.


6. Đ ón g góp của đề tài
Hệ thống hóa lý thuyết liên phân số và giới thiệu cách áp dụng liên phân
số để giải một số phương trình vi phân xuất hiện trong các lĩnh vực kĩ
thuật, vật lý,...

4


Chương 1
Liên phân số
1.1. Lời dẫn khái niệm liên phân số
Để dẫn tới khái niệm liên phân số một cách tự nhiên, chúng tôi giới thiệu
một số khái niệm quen thuộc. Cho {tn} là dãy số phức. Khi đó, tổng vô
hạn
00

” tn = ti + h + ts + ... + tn +
Tl—1

(1.1)

được gọi là một chuỗi số phức (sau này ta chỉ gọi là chuỗi s ố ). Tổng
hữu hạn

n

Tn = ^ tk:
k=1
được gọi là tổng riêng thứ n của chuỗi ( 1 .1 ) hay còn được viết dưới dạng
truy hồi

Tn+1 = Tn + tn+i \ n = 1,2,....
Sự hội tụ của chuỗi (1.1) được định nghĩa qua sự hội tụ của dãy tổng
riêng {Tn} đến số phức T. Khi đó, ta nói chuỗi hội tụ đến tổng T và viết

00

5 3

=

71=1

Tương tự như vậy, chúng ta cũng có khái niệm về tích vô hạn
00

Ỵ [ p n = PlP2-Pn~;
71=1

(1-2)


trong đó tấ t cả các pn là các số phức khác 0. Tương ứng, ta cũng có các
khái niệm về tích riêng thứ n của tích vô hạn ( 1 .2 ) như sau
n

Pn

1 _Ị_Pk 5
k=1


hoặc viết dưới dạng truy hồi
P n + 1

Pĩl-Vn+1-

Sự hội tụ của tích vô hạn ( 1 .2 ) là sự hội tụ của dãy tích riêng {Pn} tới
số phức p / ũ. Khi đó, ta cũng nói tích vô hạn (1.2) hội tụ đến p và
viết là
00

Ỵ[pn = p
71= 1

Tiếp đến, như các khái niệm về tổng và tích vô hạn đã giới thiệu trên
đây, người ta đưa ra khái niệm liên phân số như sau. Cho {an} là dãy
các số phức khác 0 và dãy { /n} trong c = c

u

{oo} được xác định bởi

/i = dị
ữi
/2

1+

ãí

/3


1

ỉn =

0,2

+

a2

1

+ CL3
ữl

11 11
1

+ -

ữ2
«3

1+

+ar.
6



Người ta gọi một liên phân số xác định từ dãy {an} được kí hiệu và
xác định bởi
ữi

00

К K / 1) =
n=1
1+

(1.3)

Й2
аз

1+

1+

Sự hội tụ của liên phân số (1.3) được hiểu theo nghĩa sự hội tụ của dãy
xấp xỉ riêng {/n}. Tuy nhiên, khác với nghĩa hội tụ của chuỗi hay tích
vô hạn, đối với liên phân số ta vẫn có thể nói về sự hội tụ đến oo.
V í dụ 1 . 1 . Đối với liên phân số
00

К (6 / 1)
71= 1

л


1+

1+

б
1+

1+

ta có dãy xấp xỉ được xác định như sau
/ì = 6 ; / 2 = —^ = ị ; h =
1+ 0
7

1+

1+6

42
Ĩ3 ;

Bằng quy nạp, ta có thể xác định dãy xấp xỉ riêng được xác định bởi
công thức
(-ЗГ -2"



(—3) n+1 —2n+ì '

Như thế, liên phân số trên hội tụ về 2.


7


Tương tự, từ dãy số phức {6n} người ta xây dựng liên phân số sau
K (1 /&„) = -------------------------------.
n=1

(1 .4 )

Í>1 +

64 +

Đến đây, từ hai dãy số phức {an} và {6n} với an Ỷ Oi với mọi n ta đưa
ra khái niệm liên phân số sau
00

n=1

61

+

(1.5)

ữ2
ữị
64 +


Các khái niệm được định nghĩa theo công thức (1.3) và (1.4) là những
trường hợp đặc biệt của (1.5). Trường hợp đặc biệt hơn cả là khi trong
công thức (1.4) tấ t cả các giá trị {6n} là các số tự nhiên thì ta gọi nó là
liên phân số chính quy (trong lý thuyết số nó là một khái niệm xuất
phát từ thuật toán Euclide).
Tổng quát hóa cả ba trường hợp về chuỗi số, tích vô hạn và liên phân số
ta có thể xây dựng khái niệm chung như sau: Cho dãy {ện} các ánh xạ
từ c vào c ta xây dựng một dãy ánh xạ mới {ộn} được xác định bởi
$1

= ộũ

§ n = $ n_ 1 o 4>n = ộị o ộ2 o ộ3 o ... o ộn.
Trong cả ba trường hợp, nếu tồn tại số phức c để dãy ( $ n(c)} hội tụ thì
ta nhận được khái niệm các khái niệm thông thường như đã biết. Chỉ


có một sự khác biệt là có tính đến sự hội tụ đến 0 hoặc oo hay không
mà thôi. Vấn đề này ta có thể chỉ ra như sau
Trong trường hợp chuỗi, chúng ta có
ộk(w) = w + t k:
và các tổng riêng nhận được là
^n(O) — ộl ° Ộ2 ° Ộ3 ° ■■■0 071(0 ) = tị + t2 + ... + tn 5
nghĩa là, ở đây c = 0 .
Trong trường hợp tích vô hạn chúng ta có
ậk(w) = w.pk,
và tích riêng nhận được là
* n (l) = 01 0 02 0 03 0 ••• 0 ộn( 1) = Pl-P2-Pn,
nghĩa là, ở đây c — 1 .
Đối với liên phân số (1^5) chúng ta có

ộk(w) =

bk + w ĩ

và các xấp xỉ riêng thứ n là
a1

*n( 0 ) =
61

0*2

+
bo +
&3 +

an
nghĩa là, ở đây c = 0 .


1.2. K hái niệm liên phân số
Khái niệm liên phân số dưới đây được đưa ra bởi hai nhà Toán học
Henrici và Pflüger (có thể xem Ị2Ị p.474]).
Đ ịnh nghĩa 1.1. Liên phân số là một cặp sắp thứ tự
( ( { ù n } , { &n } ) , { / n } ) ;

trong đó { a X , {&n}o° là các dãy số phức cho trước với an ф 0 và { /n}
là một dãy số phức mở rộng được xác định bởi
/n = 'S'n(o); n = 0 ,1 , 2 ,...


(1.6 )

s ữ(w) = s0(w), s n(w) = S n- i ( s n(w))] n = 1 , 2 ,....

(1.7)

trong đó

s0(w) = b0 + w , sn(w) =

ar
; ra = 1 , 2 ,
bn + w

( 1 .8 )

Thuật toán liên phân số là một hàm к ánh xạ cặp ({an}, {bn}) thành
dãy { /n} được xác định bởi các công thức (1.6),(1.7) và (1.8). Các số an
và bn được gọi tương ứng là các tử số, mẫu số thứ n của liên phân số. số
Oi

Sn(0) =

Û2

bi +

а3

bo +

&3+

ßn

К

10


được gọi là xấp xỉ riêng thứ n của liên phân số. Để tiện lợi trong việc
trình bày người ta sử dụng ký hiệu
s n(0)—00+— — —
0i + 02 + b3 +

Ta nói liên phân số hội tụ tới số phức mở rộng / nếu { /n} —¥ f và ta
viết
ữi

Ũ2

ữ3

an

f — 00+7“
Oi _|_rc>2 _|_r03 _|_ _|_7“
bn _|_
hoặc
/ =


60

9° ữ7L
n=l 0n

+ £

Việc nghiên cứu liên phân số được thông qua các xấp xỉ của liên phân
số dưới dạng
A U'
ỉn

n = 0,1,

Bn

Nếu xác định
A -1

1

3-1

0

Ao

bo

Bo


1

5

thì ta dễ dàng nhận được công thức qua mối liên hệ quy nạp
Q / \ _ A n “I” -^n—1^
Sn{w) = — ——------- .
B n + B n-ịW
ở đây, mối liên hệ truy hồi được xác định bởi
A i -1
Bn

+ ữr

A n- 2

B n- 2

B n- 1

11

; n = 1, 2 , 3 ,


Nhận xét rằng S n là tích của các biến đổi phân tuyến tính không suy
biến
sk(w) =


bk + w

nên nó cũng chính là một biến đổi phân tuyến tính không suy biến.
Chúng ta có những giá trị đặc biệt sau

s„(0) = ỉn = ^ , s„(00) = /„_! = 4 ^ -£>n

Ta gọi các ;4n,

-Dn-1

lần lượt là các tử số và mẫu số tổng quát thứ n. Một

tính chất quan trọng liên quan tới các số A n, B n được xác định qua công
thức sau
Ai-Sn-I —A n- i B n = (—1 )
k= l

1.3. M ột số v í dụ
V í dụ 1.2. Từ đẳng thức
n/2 - 1 = --------^ -----2 + {V 2 -l)
ta nhận được các đẳng thức sau
y / 2 - 1 = - --------ị=-----2+ 2 + ( V 2 - l )
_

1

1

1


“ 2 + 2 + 2 + (v/ 2 - 1 )
1 1 1

1

_ 2+ 2+ 2+ 2 + ( V 2 - l )

12


1 1 1

1

2+ 2+ 2+ _ + 2

+ (v/2 - 1 )'

Từ đó, ta nhận được
1
2+ 2+ 2+>>+2

+ (x/2 - 1 )'

Điều đó dẫn đến ý tưởng tốt để xem xét các xấp xỉ của liên phân số
1 1 1
2+ 2+

1


2 + ...+ 2 +...

Chúng ta thấy
l + i = 1.5

1+

1

= 1.41379...

1
+

-

1
-

1
-

1

1
-

-


2 _|_ 2 _|_ 2 _|_ 2 _|_ 2

= 1.4142857....

Các liên phân số này tiến tới \/2 rất nhanh, ở bước thứ năm ta thấy sai
số của nó nhỏ hơn 0.00008. Điều đó cho ta thấy các liên phân số này
dường như là xấp xỉ hữu tỷ tốt đối với số vô tỷ \/2. Từ biểu diễn trên
đây, ta đưa ta đến ý tưởng nghiên cứu liên phân số 1 + K ( 1 / 2 ) với hy
13


vọng nhận được xấp xỉ tốt đối với \/2. Tuy nhiên, ta cũng cần có một sự
cảnh báo rằng xuất phát từ ý tưởng như thế không phải khi nào cũng
đúng. Chẳng hạn, từ đẳng thức
- v / 2 - l = -----------17=------2 + ( - л / 2 - 1)

nó dẫn đến biểu diễn
r 1 1 1
1
—V 2 = 1 + - - ----------------- - = -- .
2 + 2 + 2 + _ + 2 + ( - л / 2 - 1)

Thế nhưng, liên phân số 1 + K ( 1/2) lại hội tụ đến \/2.
V í d ụ 1.3. Xét phương trình vi phân
y = 2y' + y".
Lấy vi phân n lần ta lần lượt nhận được các đẳng thức sau
y' = 2y" + y ' \

y(n) = 2 y(n+l) _|_ y(n+2)_
Từ các đẳng thức trên và giả thiết rằng đạo hàm đến cấp n + 2 khác 0,

ta nhận được các đẳng thức sau
у
”7 = 2 +

y'

y'
y"

1
, / „■>
y '/y
1

+ y"/y'" ’

y(n)

l

—---= 2 -ị------------------------------.
y ( n + 1)
y { n + 1) Ị y { n + 2 )
14


Từ đó, ta suy ra rằng
1

1

2 . yC^+i) / y (n+2) '
71+1
Điều đó, gợi ý cho ta xét đến liên phân số
2

1 1 1
+

-

-

1
-

2+ M + ...+ 2
Từ ví dụ trên đây, ta thấy liên phân số này hội tụ về giá trị y/2 + 1. Như
thế, ta nhận được
^ = 72+1
y
hoặc
y

Từ đó, ta suy ra rằng
y = C.e{V2- 1)x.
Đây chính là nghiệm của phương trình vi phân đã cho. (Dĩ nhiên, lý do
đã được trình bày trong ví dụ trên đây cũng chưa phải là nguyên nhân
tốt đưa đến việc sử dụng phương phấp này trong việc giải phương trình
vi phân).
V í d ụ 1.4. (Khai triển của một hàm). Bằng cách tương tự chúng ta có

y/l + X — 1 =

X
2 + ( \ / ĩ + X — 1)

Từ ví dụ L2 ở phần này ta có
X

X X
X
2 _|_2 _|_^_|_2 _|_2 + (■ỰY+1Ẽ — 1 )'
15


Điều này gợi ý tới việc xem xét các xấp xỉ của liên phân số
X X

X

X

nghĩa là bởi các hàm hữu tỷ sau
X X X
2 ’2_|_2

2x
X X X
x + 4 ĩ 2 _|_2 _|_2

X2 + Ax

4x + 8

Đối với các hàm thì liên phân số ít được biết đến hơn so với phương
pháp khai triển chuỗi lũy thừa. Trong trường hợp khai triển của chuỗi
Taylor tại 0 là

X4 + ...

chuỗi này hội tụ khi Ịa^Ị < 1 và phân kỳ khi ỊxỊ > 1 . Các xấp xỉ của chuỗi
này là các tổng riêng
1
= -x;
2 ’
- i _ i 2.
52 2* 8 * ;
Si

Nhận xét rằng các xấp xỉ như trên chính là các đa thức trong khi các
xấp xỉ dưới dạng liên phân số là các hàm hữu tỷ.
Dưới đây, ta kiểm chứng hai phương pháp xấp xỉ này với một số giá trị
của biến X xem xảy ra điều gì. Trước hết với X = 0.96 thì giá trị chính
xác của hàm là y/l + X — 1 = 0.4. Trong bảng dưới đây, ta ký hiệu (sn)
16


là dãy xấp xỉ chuỗi lũy thừa còn (f n) là dãy xấp xỉ của liên phân số

n

1


2

4

3

5

6

sn 0.4800 0.3648 0.4201 0.3869 0.4092 0.3932
ỉn

7
0.4053

0.4800 0.3871 0.4022 0.3996 0.4001 0.4000 0.40000

Dĩ nhiên điều đó không chứng tỏ được vấn đề gì. Tuy nhiên, trong một
số trường hợp có thể khai triển liên phân số hội tụ nhanh hơn khai triển
chuỗi lũy thừa.

1.4. M ột số tiều chuẩn hội tụ
1.4.1. Đ ịnh lý Sleszynski-P ringsheim
Liên phân số K ( a n/bn) hội tụ nếu, với mọi n ta có
I I ^ 1 I “t” 1 Ị

(1.9)


hay dưới điều kiện tương tự, với mọi n = 1,2,..., ta có
\fn\ < 1 ;

(1 . 10)

và giá trị của liên phân số thỏa mãn
l/l < 1 Chứng m inh. Ta chứng minh công thức (Ịl.lOD bởi phép quy nạp. Với
n > 1 chúng ta có
ar

\ ữ n

\

aJ + 1

17


điều đó chứng tỏ công thức đúng với n = ĩ. Tiếp theo, với mọi n > 2 ta

0"n—1

bn—1 “1“ OjnỊ\)ĨX
Bất đẳng thức này thiết lập

1I

<


= 1.

\a n - l 1 + 1 — 1

cho trường hợp n = 2.

( 1 .1 0 )

Giả sử rằng với 1 < k < n



ta có tính chất

=

ar

ữfc+1

< 1. Khi đó
ẩ h)

ak

h

+ t

(*)

ì

M

<

r-(k)

< 1.

In

T hật vậy, bằng phép quy nạp theo k
I/~I = |/° l < 1
để chứng minh sự hội tụ của liên phân số K ( a n/bn), từ công thức sau
(đã nêu trong định nghĩa ở phần trên)
n

A A -! - A .- A =

n
k= 1

ta có

n

(-1 r 1 n

k= 1


-®n

-®n—1

Từ đó, Sự hội tụ được thiết lập khi chúng ta chứng minh sự hội tụ của
chuỗi

ĩl

( - l ) n_1 n a-k
k= 1

E
71= 1

18

( 1. 12)


Hơn nữa, từ công thức truy hồi sau (đã nêu trong định nghĩa ở phần
trên)

Br,

A n- 1

A i- 2


B n- 1

B n- 2

ta có, với n > 1
|-®n|

\^n-^n—1 “I”

—2 I

^ l^nl l ^ - l l

|®n| \Bn. 2\

> (|ữn| + 1 )— |ữn| \Bn—21
Từ đó, ta suy ra
\B n \

— \ B n - i \ > Ịan | (Ị.0n_i| — Ị 5 n_2Ị)

Đến đây, ta nhận được bất đẳng thức
n

\Bn\ — |-0n_i1 >

|ữfc| > 0
k=ĩ

và số hạng tổng quát trong ( 1 . 1 2 ) thỏa mãn

n

(-1

r

1

n afc
k= 1
<

\Bn\

Ta thấy tổng (1.12) hội tụ tuyệt đối, tổng riêng thứ n có giá trị tuyệt
đối nhỏ hơn hoặc bằng
1
I _ 11
Do đó, chuỗi ( 1 . 1 2 ) hội tụ và

1
IB n I

1
IB n I

(ỊTTTTỊ)

đơn giản chỉ là hệ quả của ( 1 . 1 0 ).


Chú ý. Nếu bất đẳng thức (Ị1.9Ị) được thỏa mãn, thì từ chứng minh trên
19


ta cũng suy ra rằng, với mọi |iü| < 1
\S{w)\ < 1

Sn{w) -> f
sự hội tụ này là hội tụ đều với mọi |ги| < 1 .
V í dụ 1.5. Cho z là một số phức và giả sử rằng \an\ < 1; với mọi n .
Khi đó, liên phân số
an

К —
71=1

2

hội tụ với mọi ịz\ > 2 . Trong trường hợp đặc biệt khi an = 1 với mọi n
ta thấy rằng giá trị của f ( z ) được xác định như sau

m = z + Ị1{ z Ỵ
Từ đó, suy ra
y/ Z1 + 4 - z

m =— f —

Liên phân số K ( l / z ) là một trường hợp đặc biệt sẽ được trình bày ở
phần sau. Trong ví dụ này biểu thức căn bậc hai được lựa chọn sao cho
f ( z ) —»• 0 khi z —> oo tức là

V z2+ 4 = z ị l + ^ +
và do đó

20

= z + - + ...


1.4.2. Đ ịnh lý W orpitzky
Vói mọi n > 1
I

I

1

— T■

®71

Thế thì, liên phăn số K ( a n/ 1) hội tụ. Các giá trị xấp xỉ f n nằm trong
miền
\w\ < —
1 1

2

và giá trị f nằm trong miền

\w\ <


2

Chứng m inh. Cho

ũr

dị Ũ2

(1.13)

như vậy |an| < —với mọi n . Dễ thấy rằng, dãy những giá trị xấp xỉ của
liên phân số
2ữi

4ữ2

4:drt

(1.14)

hoàn toàn giống như dãy những giá trị xấp xỉ (1.13).
Từ
.

.

lữ n | <

1



với mọi n, chúng ta có
2 ^ |4an| + 1
và theo định lý Sleszynski-Pringsheim ta có liên phân số (1.14) và hơn
nữa liên phân số (1.13) hội tụ. Nếu liên phân số (1.14) được nhân với 2
21


×