Điểm kỳ dị và nghiệm chuỗi của phương trình vi phân tuyến tính

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 phòng sau đại học, 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è đã luôn động viên, cổ vũ, tạo mọi điều kiện thuận lợi cho tôi
trong quá trình học tập và hoàn thành luận văn.
Hà Nội, tháng 12 năm 2012
Tác giả

Phạm Thị Hồng Hương

Lời cam đoan
Tôi xin cam đoan, dưới sự hướng dẫn của TS. Nguyễn Văn Hào, luận văn
“Điểm kỳ dị và nghiệm chuỗi của phương trình vi phân tuyến
tính” được hoàn thành bởi nhận thức của bản thân tác giả.
Trong quá trình làm luận văn, tôi đã kế thừa những thành tựu của các
nhà khoa học với sự trân trọng và biết ơn.
Hà Nội, tháng 12 năm 2012
Tác giả

Phạm Thị Hồng Hương

Mục lục
Mở đầu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1

Chương 1. Một số kiến thức chuẩn bị . . . . . . . . . . . . . . . . . . .

6

1.1. Một số kiến thức cơ bản về chuỗi hàm . . . . . . . . . . . . . . . . . . . . .

6

1.1.1. Một số khái niệm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6

1.1.2. Sự hội tụ đều của chuỗi hàm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

7

1.1.3. Chuỗi hàm hội tụ tuyệt đối . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8

1.1.4. Chuỗi luỹ thừa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

9

1.1.5. Khai triển hàm số thành chuỗi lũy thừa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

1.2. Tổng quan về phương trình vi phân tuyến tính . . . . . . . . . . . .

14

1.2.1. Một số khái niệm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

1.2.2. Cấu trúc nghiệm của phương trình vi phân tuyến tính . . . . . . . . . . . . . . . . . . . .

15

1.2.3. Cấu trúc nghiệm của phương trình vi phân tuyến tính hệ số hằng số . . . . . .

15

1.3. Điểm kỳ dị của phương trình vi phân tuyến tính và sự phân loại
22
1.3.1. Khái niệm và ví dụ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24

1.3.2. Phân loại điểm kỳ dị . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25

Chương 2. Nghiệm chuỗi của phương trình vi phân tuyến tính
tại điểm thường . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

2.1. Ý tưởng của phương pháp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

29

2.2. Một số ví dụ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

2.3. Mở rộng khái niệm về điểm thường . . . . . . . . . . . . . . . . . . . . . . .

38

2.4. Vấn đề bán kính hội tụ của nghiệm chuỗi . . . . . . . . . . . . . . . . .

41

i

2.5. Phương trình Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

44

2.5.1. Phương trình đặc trưng có hai nghiệm thực phân biệt . . . . . . . . . . . . . . . . . . . . .

46

2.5.2. Phương trình đặc trưng có hai nghiệm thực bằng nhau . . . . . . . . . . . . . . . . . . . .

47

2.5.3. Phương trình đặc trưng có cặp nghiệm phức liên hợp. . . . . . . . . . . . . . . . . . . . . .

48

2.5.4. Định lý . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

51

Chương 3. Nghiệm chuỗi của phương trình vi phân tuyến tính
trong lân cận của điểm kỳ dị . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1. Nghiệm chuỗi trong lân cận của điểm kỳ dị chính quy . . . . .
3.1.1. Ý tưởng của phương pháp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

53
53
53

3.1.2. Phương pháp tìm nghiệm chuỗi của phương trình vi phân tuyến tính trong lân
cận của một điểm kỳ dị chính quy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2. Phương trình Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

60

71

3.2.1. Phương trình Bessel cấp 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
3.2.2. Phương trình Bessel cấp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2

71

3.2.3. Phương trình Bessel cấp 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

79

76

Kết luận . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

83

Tài liệu tham khảo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

84

ii

Mở đầu
1. Lý do chọn đề tài
Như ta đã biết việc tìm nghiệm tổng quát của phương trình vi phân tuyến
tính được dựa trên cơ sở xác định một hệ nghiệm cơ bản của phương
trình vi phân thuần nhất cùng với việc tìm một nghiệm riêng của phương
trình đó. Nghiệm tổng quát của phương trình cần giải là tổng nghiệm
riêng của phương trình đó với nghiệm tổng quát của phương trình vi
phân tuyến tính thuần nhất tương ứng. Nhưng cho đến nay, người ta
cũng chỉ đưa ra được quy trình hệ thống để xây dựng hệ nghiệm tổng
quát của phương trình vi phân tuyến tính với hệ số hằng số. Đối với
phương trình vi phân tuyến tính mà hệ số là hàm của biến độc lập, việc
tìm nghiệm ở dạng tổ hợp của các hàm số sơ cấp của một số phương
trình vi phân rất khó (nếu không muốn nói là không thể). Điều này cũng
xảy ra ngay cả khi phương trình vi phân có dạng rất đơn giản. Chẳng
hạn, như phương trình dưới đây
y 00 − 2x.y 0 + y = 0.
Đây là phương trình vi phân tuyến tính cấp hai, mà ta không thể tìm
được nghiệm riêng dưới dạng một hàm số sơ cấp. Tuy nhiên, việc giải các
phương trình như dạng phương trình trên đây là rất quan trọng vì nó
nảy sinh từ các vấn đề thực tiễn liên quan đến nhiều bài toán trong lĩnh
vực Vật lý. Chẳng hạn, nó liên quan đến phương trình Schrödinger trong
1

cơ học lượng tử. Vì vậy, chúng ta cần thiết phải xây dựng các phương
pháp nhằm tìm nghiệm cho các phương trình dạng này. Một trong các
phương pháp thông dụng là tìm nghiệm của phương trình dưới dạng
chuỗi lũy thừa
y(x) =

∞
X

an xn = a0 + a1 x + a2 x2 + · · · + an xn + · · · .

n=0

Cơ sở Toán học của phương pháp này là thay thế biểu thức trên cùng
các đạo hàm của nó vào phương trình vi phân cần giải. Từ đó, xác định
giá trị của các hằng số a0 , a1 , a2 , ... sao cho nó nghiệm đúng phương trình
vi phân đã cho. Sau khi đồng nhất các hệ số trong hệ thức nhận được,
ta thu được nghiệm của phương trình đó.
Tuy nhiên, cơ sở của phương pháp này như đã nói ở trên chỉ có giá trị
khi chuỗi lũy thừa ứng với các hệ số tìm được phải là chuỗi hội tụ. Chuỗi
lũy thừa có nhiều các tính chất đẹp đẽ, điều đó cho phép người ta có thể
thực hiện nhiều quá trình tính toán thuận lợi. Dĩ nhiên, miền hội tụ của
chuỗi lũy thừa thu được là một tập hợp khác rỗng và nếu chuỗi lũy thừa
có bán kính hội tụ R thì trong khoảng hội tụ của chuỗi (−R, R). Trong
khoảng hội tụ ta có thể lấy đạo hàm và tích phân từng số hạng của chuỗi.
Chuỗi mới nhận được (sau khi lấy đạo hàm hoặc tích phân) cũng có bán
kính hội tụ như chuỗi ban đầu. Điều đó dẫn tới ý tưởng tìm nghiệm của
phương trình vi phân dưới dạng chuỗi lũy thừa. Được sự định hướng của
người hướng dẫn, tôi chọn đề tài: “Điểm kỳ dị và nghiệm chuỗi của
phương trình vi phân tuyến tính” để hoàn thành luận văn đào tạo
Thạc sĩ khoa học chuyên ngành Toán học.
Để có thể giải quyết được vấn đề đặt ra, chúng tôi bố cục luận văn thành
2

ba chương
Chương 1. Ở đây, chúng tôi trình bày một số kiến thức cơ bản về
phương trình vi phân, sâu hơn là lý thuyết chung đối với phương trình
vi phân tuyến tính và lý thuyết chuỗi hàm. Ở đây những kiến thức căn
bản nhất liên quan đến việc tìm nghiệm chuỗi của phương trình vi phân
tuyến tính. Cũng để thuận lợi trong việc trình bày các phương pháp
nghiên cứu vấn đề đặt ra, trong phần này chúng tôi cũng trình bày một
cách chi tiết việc phân loại các điểm của phương trình vi phân dưới góc
độ của hàm giải tích.
Chương 2. Chương này được giành cho việc trình bày một cách tỉ
mỉ về phương pháp và kỹ thuật tìm nghiệm chuỗi của phương trình vi
phân tuyến tính tại điểm thường. Ngoài ra việc phân tích tường minh ý
tưởng của vấn đề, các kỹ thuật trong việc tìm nghiệm chuỗi cũng được
minh họa qua các ví dụ cụ thể.
Chương 3. Trong chương này, chúng tôi trình bày về phương pháp
tìm nghiệm chuỗi của phương trình vi phân tuyến tính trong lân cận của
điểm kỳ dị và minh họa áp dụng của phương pháp này trong việc giải
phương trình Bessel.

2. Mục đích nghiên cứu
Nghiên cứu về phương pháp tìm nghiệm chuỗi của phương trình vi phân
tuyến tính. Cụ thể
- Phương pháp tìm nghiệm chuỗi của phương trình vi phân tuyến tính
tại điểm thường.
3

- Phương pháp tìm nghiệm chuỗi của phương trinh vi phân tuyến tính
trong lân cận của điểm kỳ dị chính quy.

3. Nhiệm vụ nghiên cứu
Trình bày sự phân loại các loại điểm kỳ dị và phương pháp tìm nghiệm
chuỗi của phương trình vi phân tuyến tính.

4. Đối tượng và phạm vi nghiên cứu
- Sự phân loại điểm kỳ dị của phương trình vi phân tuyến tính.
- Phương pháp tìm nghiệm chuỗi của phương trình vi phân tuyến
tính.

5. Phương pháp nghiên cứu
Tra mạng, tìm kiếm tài liệu, phân tích, tổng hợp và xin ý kiến định
hướng của người hướng dẫn.

6. Dự kiến đóng góp của đề tài
Tìm ra phương pháp tìm nghiệm chuỗi của phương trình vi phân tuyến
tính. Cụ thể như sau
- Phương pháp tìm nghiệm chuỗi của phương trình vi phân tuyến tính
tại điểm thường.
- Phương pháp tìm nghiệm chuỗi của phương trình vi phân tuyến tính

4

trong lân cận của điểm kỳ dị chính quy.

5

Chương 1
Một số kiến thức chuẩn bị
1.1. Một số kiến thức cơ bản về chuỗi hàm
1.1.1. Một số khái niệm
Trong phạm vi nghiên cứu của luận văn, chúng tôi chỉ đề cập đến các
khái niệm và kết quả căn bản về chuỗi hàm số thực. Trước hết, ta giới
thiệu một số khái niệm cơ bản về dãy hàm. Cho dãy hàm {un (x)}∞
n=1
xác định trên tập X. Điểm x0 ∈ X gọi là điểm hội tụ của dãy hàm đã
cho nếu dãy số {un (x0 )} hội tụ. Tập hợp


X0 = x ∈ X : {un (x)} hội tụ
được gọi là miền hội tụ của dãy hàm. Khi đó, với mỗi x ∈ X0 , đặt
u(x) = lim un (x),
n→∞

ta được một hàm u(x) xác định trên tập X0 và dãy hàm {un (x)} được
gọi là hội tụ điểm về hàm u(x) trên X0 . Phát biểu dưới dạng khác: dãy
hàm {un (x)} được gọi là hội tụ điểm về hàm u(x) trên tập X nếu với mọi
ε > 0 cho trước và với mỗi x ∈ X tồn tại số nguyên dương N = N (x, ε)
sao cho với mọi n ≥ N ta có
|un (x) − u(x)| < ε.
6

Điểm x1 được gọi là điểm phân kỳ của dãy hàm nếu dãy số {un (x1 )}
phân kỳ.
Dãy hàm {un (x)} được gọi là hội tụ đều về hàm u(x) trên tập X nếu
với mọi ε > 0 cho trước tồn tại số nguyên dương N = N (ε) sao cho với
mọi n ≥ N ta có
|un (x) − u(x)| < ε, với mọi x ∈ X.
Cho dãy hàm {un (x)} xác định trên tập X. Khi đó tổng vô hạn
∞
X
u1 (x) + u2 (x) + · · · + un (x) + · · · =
un (x)

(1.1)

n=1

được gọi là một chuỗi hàm xác định trên X. Hàm un (x) gọi là số hạng
tổng quát thứ n của chuỗi. Tổng
Sn (x) = u1 (x) + u2 (x) + · · · + un (x)

(1.2)

được gọi là tổng riêng thứ n của chuỗi.
Điểm x0 được gọi là điểm hội tụ (tương ứng, phân kỳ) của chuỗi hàm
(1.1) nếu x0 là điểm hội tụ (tương ứng, phân kỳ) của dãy tổng riêng
(1.2). Nếu X0 là miền hội tụ của dãy hàm {Sn (x)}, thì ta cũng gọi X0 là
miền hội tụ của chuỗi (1.1). Nếu Sn (x) → u(x) trên X0 , thì chuỗi hàm
(1.1) được gọi là hội tụ về hàm u(x). Khi đó, ta cũng viết
∞
X
un (x) = u(x), x ∈ X0
n=1

và u(x) được gọi là tổng của chuỗi hàm (1.1).
1.1.2. Sự hội tụ đều của chuỗi hàm
Định nghĩa 1.1. Chuỗi hàm (1.1) được gọi là hội tụ đều trên X nếu
dãy {Sn (x)} hội tụ đều trên X.
7

Nếu các hàm uk (x); k = 1, 2, ... liên tục, có đạo hàm, khả tích trên X,
thì dãy tổng riêng của nó {Sn (x)} cũng có tính chất tương ứng. Từ các
tính chất hội tụ đều của dãy hàm, ta có các tính chất tương ứng của
chuỗi hàm như sau
Định lý 1.1. Giả sử chuỗi

∞
P

un (x) gồm các hàm liên tục trên tập X.

n=1

Nếu chuỗi hàm hội tụ đều về hàm u(x), thì u(x) cũng là hàm liên tục.
∞
P

Định lý 1.2. Giả sử chuỗi

un (x) gồm các hàm liên tục trên [a, b].

n=1

Nếu chuỗi là hội tụ đều về hàm u(x), thì u(x) khả tích trên [a, b] và
∞ Z
X

b

Zb
un (x)dx =

n=1 a

Định lý 1.3. Giả sử chuỗi
trên [a, b]. Nếu chuỗi

∞
P

u(x)dx.
a

∞
P

un (x) gồm các hàm có đạo hàm liên tục

n=1

un (x) hội tụ về hàm u(x) và chuỗi

n=1

∞
P

u0 n (x) hội

n=1

tụ đều trên [a, b], thì u(x) có đạo hàm trên [a, b] và
0

u (x) =

∞
X

u0 n (x).

n=1

1.1.3. Chuỗi hàm hội tụ tuyệt đối
Định nghĩa 1.2. Chuỗi hàm
∞
P

∞
P

un (x) gọi là hội tụ tuyệt đối nếu chuỗi

n=1

|un (x)| hội tụ.

n=1

Hiển nhiên ta thấy rằng, chuỗi hội tụ tuyệt đối là hội tụ. Tuy nhiên, điều
ngược lại chưa chắc đúng.
Định lý 1.4. (Weierstrass) Cho chuỗi hàm

∞
P

un (x). Giả sử

n=1

|un (x)| ≤ cn , với mọi n và mọi x ∈ X.
8

Khi đó, nếu chuỗi số

∞
P

cn hội tụ, thì chuỗi hàm

n=1

∞
P

un (x) hội tụ tuyệt

n=1

đối và đều trên X.
Ví dụ 1.1. Xét tính hội tụ tuyệt đối và đều của chuỗi hàm

∞ sin nx
P
3
n=1 n

trên R.
Ta có


 sin nx 

 ≤ 1 ; với mọi n và mọi x ∈ R.
 n3  n3
∞ 1
P
Ngoài ra, như ta đã biết chuỗi số
hội tụ. Từ định lý trên, ta suy
3
n=1 n
∞ sin nx
P
ra rằng chuỗi hàm
hội tụ tuyệt đối và đều trên R.
3
n=1 n
1.1.4. Chuỗi luỹ thừa
Việc trình bày về chuỗi lũy thừa có sự liên quan trực tiếp đến vấn đề
trình bày trong luận văn. Tuy nhiên, các kiến thức này tương đối quen
thuộc đối với những người nghiên cứu chỉ cần mức độ ban đầu trong
lĩnh vực giải tích, nên chúng tôi chỉ tóm lược các kết quả có tính chất
căn bản nhất và cũng không trình bày các chứng minh ở đây. Trước hết
là khái niệm về chuỗi lũy thừa
Định nghĩa 1.3. Chuỗi lũy thừa là chuỗi có dạng
2

n

a0 + a1 x + a2 x + · · · + an x + · · · =

∞
X

an x n

(1.3)

n=0

hoặc
2

a0 + a1 (x − x0 ) + a2 (x − x0 ) + · · · =

∞
X
n=0

trong đó x0 , a0 , a1 , a2 , ... là những hằng số thực.
9

an (x − x0 )n ,

(1.4)

Trong chuỗi (1.4) điểm x0 (điểm x0 = 0 trong chuỗi (1.3)) được gọi là
tâm của chuỗi lũy thừa. Chuỗi lũy thừa bao giờ cũng hội tụ tại tâm của
nó. Do đó miền hội tụ của chuỗi lũy thừa khác rỗng. Chuỗi (1.3) nhận
được từ chuỗi (1.4) bằng phép đổi biến X = x − x0 , nên về mặt lý thuyết
ta chỉ cần nghiên cứu chuỗi (1.3) là đủ.
Định lý 1.5. (Định lý Abel) Nếu chuỗi (1.3) hội tụ tại x0 6= 0, thì nó
hội tụ tuyệt đối và đều tại mọi x mà |x| < |x0 | .
Từ Định lý Abel ta thấy rằng miền hội tụ của chuỗi lũy thừa thực là
một miền cân đối trên đường thẳng thực. Điều này dẫn đến khái niệm
sau
Định nghĩa 1.4. Số R được gọi là bán kính của chuỗi (1.3) nếu với mọi
x mà |x| < R thì chuỗi hội tụ, với mọi x mà |x| > R thì chuỗi phân kỳ.
Để tìm bán kính hội tụ của chuỗi lũy thừa ta có kết quả sau
Định lý 1.6. (Cauchy-Hadamard) Cho chuỗi lũy thừa (1.3) và


p
 an+1 
 = ρ hoặc lim |an | = ρ.
lim 
n→∞ an 
n→∞
Khi đó, bán kính hội tụ của chuỗi đã cho là R =

1
(nếu ρ = 0 thì
ρ

R = +∞; nếu ρ = +∞ thì R = 0).
Ví dụ 1.2. Xét sự hội tụ của chuỗi
∞
X
(x + 1)n
n=1

n2n

.

Bởi vì
an =

1
1
,
a
=
,
n+1
n2n
(n + 1)2n+1
10

(1.5)

nên




n

 1
 an+1 
n2
 = lim n = 1 .
 = lim 
lim 
n→∞  (n + 1)2n+1 
n→∞ an 
2 n→∞ n + 1 2
Do đó, bán kính hội tụ của chuỗi lũy thừa là R = 2. Theo Định lý Abel,
chuỗi (1.5) hội tụ nếu |x + 1| < 2 hay −3 < x < 1.
∞ 1
P
Tại x = 1, chuỗi (1.5) trở thành chuỗi điều hoà
nên chuỗi phân kỳ.
n=1 n
∞ (−1)n
P
Tại x = −3, chuỗi (1.5) trở thành chuỗi
, đây là chuỗi điều hoà
n
n=1
đan dấu nên hội tụ (theo tiêu chuẩn Leibnitz).
Vậy bán kính hội tụ của chuỗi (1.5) là R = 2. Miền hội tụ của chuỗi là
−3 ≤ x < 1.
Dưới đây là một số tính chất nổi bật của tổng chuỗi lũy thừa
Định lý 1.7. (Tính liên tục) Giả sử chuỗi lũy thừa (1.3) có bán kính
hội tụ R > 0. Khi đó, tổng S(x) của chuỗi lũy thừa là một hàm số liên
tục trong (−R, R).
Định lý 1.8. (Tích phân từng số hạng) Giả sử chuỗi lũy thừa (1.3) có
bán kính hội tụ R > 0. Khi đó tổng S(x) của chuỗi lũy thừa là một hàm
số khả tích trên mọi đoạn con [a, b] ⊂ (−R, R) và
Zb
S(x)dx =

∞
X
n=0

a

Zb
an

xn dx.

a

Đặc biệt, nếu x ∈ (−R, R) thì
Zx
∞
X
an xn+1
S(t)dt =
.
n
+
1
n=0
0

Định lý 1.9. (Tính khả vi và đạo hàm từng số hạng) Giả sử chuỗi lũy
∞
P
thừa (1.3) có bán kính hội tụ R > 0 và S(x) =
an xn , x ∈ (−R, R).
n=0

11

Khi đó
(i) Chuỗi luỹ thừa

∞
P

nan xn−1 nhận được bằng cách đạo hàm từng

n=0

chuỗi lũy thừa đã cho, cũng có bán kính hội tụ là R.
(ii) Tổng của chuỗi lũy thừa là một hàm số khả vi trong khoảng hội
tụ (−R, R). Thêm nữa, ta có
∞
X

!0
n

an (x)

=

n=0

∞
X

nan (x)n−1 .

n=0

1.1.5. Khai triển hàm số thành chuỗi lũy thừa
Định nghĩa 1.5. Hàm f (x) được gọi là khai triển thành chuỗi lũy thừa
∞
P
trên (−R, R) nếu có chuỗi lũy thừa
an xn sao cho
n=0

f (x) =

∞
X

an xn ;

n=0

với mọi x ∈ (−R, R).
Nhận xét. Bằng tính toán đơn giản, ta thấy rằng khi hàm f (x) khai
triển được thành chuỗi lũy thừa dạng (1.3) trên khoảng (−R, R), thì
hàm f (x) có đạo hàm mọi cấp trên khoảng đó và ta có
f (k) (0) = k!ak ; với mọi k = 0, 1, 2, ....
Từ ý tưởng đó, khi hàm f (x) khả vi vô hạn lần trên khoảng (−R, R),
thì ta có thể thiết lập chuỗi lũy thừa mà các số hạng của nó được xác
định từ đẳng thức trên đây. Từ đó, người ta đưa ra khái niệm
Định nghĩa 1.6. Giả sử f là một hàm khả vi vô hạn trong một lân cận

12

nào đó của điểm x0 , thì chuỗi
S(x) =

∞
X
f (n) (x0 )

n!

n=0

(x − x0 )n

được gọi là chuỗi Taylor của hàm f (x) tại điểm trong lân cận của điểm
x0 . Khai triển Taylor tại điểm x0 = 0, có dạng
S(x) =

∞
X
f (n) (0)
n=0

n!

xn ,

được gọi là chuỗi MacLaurin của hàm f (x).
Tuy nhiên, vấn đề đặt ra là khi nào chuỗi Taylor của một hàm f (x) nào
đó hội tụ về chính hàm đó. Người ta đã chỉ ra rằng không phải chuỗi
Taylor của hàm f (x) luôn hội tụ về chính hàm đó. Điều kiện dưới đây
cho phép chuỗi Taylor của f (x) luôn hội tụ về chính hàm đó.
Định lý 1.10. (Điều kiện đủ để một hàm khai triển được thành chuỗi


Taylor) Nếu tồn tại hằng số M > 0 sao cho f (n) (x) ≤ M ; với mọi
n = 0, 1, 2, ... và với mọi x ∈ (−R, R) thì ta có
f (x) =

∞
X
f (n) (0)
n=0

n!

xn .

Dưới đây là khai triển của một số hàm sơ cấp thành chuỗi Taylor
2n−1
x3 x5 x7
n−1 x
+ · · · ; −∞ < x < +∞
sin x = x − + − + · · · + (−1)
3! 5! 7!
(2n − 1)!
x2 x4 x6
x2n
cos x = 1 −
+
−
+ · · · + (−1)n
+ · · · ; −∞ < x < +∞
2!
4!
6!
(2n)!
x2 x3
xn
ex = 1 + x +
+
+ ··· +
+ · · · ; −∞ < x < +∞
2!
3!
n!
α(α − 1) 2
α(α − 1)...(α − n + 1) n
(1 + x)α = 1 + αx +
x + ··· +
x + ···
2!
n!
xn
x2 x3
ln(1 + x) = x −
+
+ · · · + (−1)n−1 + · · · ; −1 < x ≤ 1
2
3
n
13

x2n+1
x3 x5 x7
arctan x −
(−1)
=x−
+
−
+ · · · ; −1 < x ≤ 1
2n + 1
3
5
7
n=0
∞
P

n

1.2. Tổng quan về phương trình vi phân tuyến tính
1.2.1. Một số khái niệm
Phương trình vi phân tuyến tính cấp n là phương trình có dạng
y (n) + pn−1 (x)y (n−1) + · · · + p1 (x)y 0 + p0 (x)y = f (x),

(1.6)

trong đó pn−1 (x), pn−2 (x), ..., p1 (x), p0 (x) và f (x) là các hàm liên tục trên
khoảng (a, b) nào đó.
Vế trái của (1.6) thường được ký hiệu là Ln [y] và gọi là toán tử vi phân
tuyến tính cấp n. Hiển nhiên, toán tử Ln [y] có tính chất
Ln [αy1 +βy2 ] = αLn [y1 ] + βLn [y2 ] ; với mọi α, β ∈ R.
Tổng quát ta có
Ln

" n
X
k=1

#
ck yk =

n
X

ck Ln [yk ]; với mọi ck ∈ R.

k=1

Với ký hiệu như thế, phương trình (1.6) được viết dưới dạng
Ln [y] = f (x).
Phương trình Ln [y] = 0 gọi là phương trình vi phân tuyến tính thuần
nhất tương ứng của phương trình Ln [y] = f (x). Trong trường hợp
pi (x); i = 0, 1, ..., n − 1, là các hằng số thì phương trình (1.6) được
gọi là phương trình vi phân tuyến tính hệ số hằng số.
14

1.2.2. Cấu trúc nghiệm của phương trình vi phân tuyến tính
Định nghĩa 1.7. Hệ gồm n nghiệm độc lập tuyến tính của phương trình
Ln [y] = 0 gọi là hệ nghiệm cơ bản của phương trình đó.
Định lý 1.11. Nếu y1 , y2 , ..., ym là các nghiệm độc lập tuyến tính của
phương trình Ln [y] = 0, thì nghiệm tổng quát của phương trình có dạng
y=

m
X

ck yk (x),

k=1

trong đó c1 , c2 , ..., cm là các hằng số tùy ý.
Định lý 1.12. Giả sử ỹ là một nghiệm riêng của phương trình vi phân
tuyến tính không thuần nhất Ln [y] = f (x), và y1 , y2 , ..., yn là một hệ
nghiệm cơ bản của phương trình thuần nhất Ln [y] = 0 tương ứng với
phương trình đã cho. Khi đó, nghiệm tổng quát của phương trình Ln [y] =
f (x) là
y(x) = ỹ(x) +

n
X

ck yk (x).

k=1

1.2.3. Cấu trúc nghiệm của phương trình vi phân tuyến tính
hệ số hằng số
Phương trình vi phân tuyến tính thuần nhất hệ số hằng số là phương
trình có dạng
Ln [y] = y (n) + pn−1 y (n−1) + · · · + p1 y 0 + p0 y = 0,

(1.7)

trong đó pn−1 , pn−2 , ..., p0 là các hằng số thực.
Để xây dựng cấu trúc nghiệm của phương trình này, trước hết ta tìm
15

nghiệm riêng của nó dưới dạng y = eλx , trong đó hằng số λ được xác
định sao cho y là nghiệm của phương trình đó. Các đạo hàm của nghiệm
trên được tính toán đơn giản là
y 0 = λeλx , y 00 = λ2 eλx , ..., y (n) = λn eλx .
Thay vào phương trình (1.7) ta nhận được




Ln [y] = Ln eλx = λn + pn−1 λn−1 + · · · + p1 λ + p0 eλx = 0.
Bởi vì eλx 6= 0 nên từ phương trình trên ta suy ra
Pn (λ) = λn + pn−1 λn−1 + · · · + p1 λ + p0 = 0.

(1.8)

Điều đó cho thấy, nếu λ là một nghiệm của phương trình (1.8) thì y = eλx
là một nghiệm của phương trình (1.7). Phương trình (1.8) được gọi là
phương trình đặc trưng của phương trình (1.7). Đa thức Pn (λ) gọi là đa
thức đặc trưng của phương trình (1.7).
Như vậy, hệ nghiệm cơ bản của phương trình (1.7) được xây dựng trên
cơ sở các nghiệm của phương trình đặc trưng. Để xây dựng được hệ
nghiệm cơ bản của phương trình vi phân tuyến tính với hệ số hằng số,
ta cần một số bổ đề sau trong việc xử lý các nghiệm của phương trình
đặc trưng.
Bổ đề 1.1. Nếu λ1 , λ2 , ..., λm là các nghiệm khác nhau của phương trình
(1.8) thì
eλ1 x , eλ2 x , ..., eλm x
là các nghiệm độc lập tuyến tính của phương trình vi phân tuyến tính
thuần nhất (1.7).
16