Toán tử tuyến tính trong không gia L2[a,b] và ứng dụng

1


Trờng đại học s phạm hà nội 2
Khoa toán
*************

HOàNG THị DUYÊN

TOáN Tử TUYếN TíNH TRONG
KHÔNG GIAN L2[a,b] Và ứng dụng
Khoá luận tốt nghiệp đại học
Chuyên ngành : Giải tích

Hà NộI 2013

2


LỜI CẢM ƠN

Khóa luận với đề tài: “Toán tử tuyến tính trong không gian L [a,b]
2
và ứng dụng” được thực hiện tại trường Đại học Sư phạm Hà Nội 2,
dưới sự động viên, khích lệ của các thầy cô, bạn bè và gia đình.
Em xin gửi lời cảm ơn chân thành tới các thầy cô trong khoa Toán đã
đào tạo và trang bị cho em những kiến thức cơ bản giúp em thực hiện
khóa luận này. Đồng thời, em xin bày tỏ lòng cảm ơn tới gia đình, bạn
bè, những người đã động viên, khuyến khích, tạo mọi điều kiện để em có
thể hoàn thành khóa luận thành công.
Đặc biệt, em xin bày tỏ lòng biết ơn sâu sắc tới ThS Phùng Đức

Thắng đã tận tình hướng dẫn, giúp đỡ em trong suốt thời gian thực hiện
khóa luận.
Trong quá trình thực hiện khóa luận, em không tránh khỏi những
thiếu xót, kính mong các thầy cô nhận xét và góp ý để bài nghiên cứu
của em được hoàn thiện hơn.
Em xin chân thành cảm ơn!

Sinh viên thực
hiện Hoàng Thị
Duyên


LỜI CAM ĐOAN

Tôi xin cam đoan những vấn đề tôi trình bày trong khóa luận là kết
quả nghiên cứu của bản thân tôi, được sự hướng dẫn tận tình của ThS
Phùng Đức Thắng, không trùng với kết quả của các công trình nghiên
cứu khác.
Nếu sai xót tôi hoàn toàn chịu trách nhiệm.

Sinh viên thực
hiện Hoàng Thị
Duyên


MỤC LỤC

MỞ ĐẦU..............................................................................................1
1. Lí do chọn đề tài......................................................................1
2. Mục đích và nhiệm vụ nghiên cứu..........................................1

3. Đối tượng, phạm vi nghiên cứu...............................................2
4. Phương pháp nghiên cứu.........................................................2
5. Cấu trúc khóa luận...................................................................2
Chương 1. Kiến thức chuẩn bị............................................................4
1.1. Tích vô hướng......................................................................4
1.2. Không gian Hilbert...............................................................5
1.3. Không gian

L2 [a,b]..............................................................6

Chương 2. Toán tử tuyến tính trong không gian

L2 [a,b].................8

2.1. Toán tử tuyến tính bị chặn....................................................8
2.2. Toán tử compact...................................................................12
2.3. Toán tử tự liên hợp...............................................................20
2.4. Toán tử compact tự liên hợp.................................................22
2.5. Toán tử dương......................................................................24
2.6. Toán tử chuẩn tắc.................................................................28
2.7. Toán tử Unita.......................................................................29
Chương 3. Ứng dụng: Giải phương trình tích phân.........................32
KẾT LUẬN..........................................................................................42
Tài liệu tham khảo...............................................................................43


1. Lí do chọn đề tài

MỞ ĐẦU

Vào đầu thế kỉ này, nhiều nhà toán học đã dành thời gian của họ cố
gắng sử dụng những ý tưởng và những kĩ thuật trừu tượng để giải quyết
hầu hết những vấn đề thực tiễn. Lí do cho sự sử dụng trừu tượng này trở
nên rõ ràng hơn khi tái cấu trúc toán tử trong 1 không gian Hilbert. Ví dụ
như 1 toán tử được coi như là 1 điểm trong không gian thích hợp và 1
toán tử tích phân được xem như là 1 ánh xạ từ 1 điểm vào điểm khác.
Khái niệm về 1 điểm dẫn đến việc hiểu về đối tượng đơn giản hơn so với
đã tưởng tượng về nó. Với cách này chúng ta có thể hình dung ra những
cấu trúc tổng quát và đạt được sự hiểu biết sâu sắc hơn về vấn đề phức
tạp đã nói tới.
Với mong muốn tìm hiểu sự trừu tượng hóa trong những vấn đề như:
phương trình tích phân và giải tích hàm, em đã lựa chọn đề tài “Toán tử
tuyến tính trong không gian L2 [a,b] và ứng dụng” để nghiên cứu.
2. Mục đích và nhiệm vụ nghiên cứu
Khóa luận sẽ chú ý vào 6 loại toán tử tuyến tính khác nhau trong
không gian

L2 [a,b] . Đó là các toán tử tuyến tính bị chặn, toán tử

compact, toán tử tự liên hợp, toán tử dương, toán tử chuẩn tắc và toán tử
Unita. Sáu toán tử này có những tính chất rất đặc biệt.
Mục đích của chúng ta là đưa ra nền tảng cho 6 loại toán tử khác
nhau đã được đề cập ở trên. Để thực hiện điều này, khóa luận đưa ra
những ví dụ cho mỗi loại toán tử với những kết quả nhất định từ những
phương trình tích phân và giải tích hàm. Điều này cho phép chúng ta có
động lực để tiếp tục nghiên cứu những toán tử này.
Chúng ta bắt đầu bởi việc xem xét toán tử bị chặn, mà ở đó đặt ra cơ
sở cho việc nghiên cứu những toán tử về sau. Toán tử tiếp theo được

kiểm tra là toán tử compact. Toán tử compact được trình bày với sự chi
tiết vì nó rất hữu dụng. Chúng ta cũng chú ý đến những toán tử vừa
compact và tự liên hợp. Sự kết hợp này trong 1 toán tử đưa cho chúng ta
những định lí nói về những tính chất của những hàm riêng và giá trị
riêng của toán tử. Tiếp theo khóa luận trình bày về toán tử dương, mà ở
đó đưa ra kết quả quan trọng là định lí Mercer. Những toán tử chuẩn tắc
có 1 tính chất tuyệt vời được đưa ra dưới dạng 1 định lí giúp chúng ta sử
dụng lí thuyết của những toán tử tự liên hợp trên những toán tử chuẩn
tắc. Kết thúc mục II là phần trình bày về toán tử Unita và chúng liên
quan đến các toán tử khác như thế nào. Sau phần nội dung là việc trình
bày về phương trình tích phân, bao gồm sự phân loại các phương trình
tích phân và các định lí về sự tồn tại và duy nhất nghiệm của phương
trình tích phân.
3. Đối tượng và phạm vi nghiên cứu
Đối tượng nghiên cứu là không gian L a,b và các tính chất của

2
những toán tử trên không gian này cùng ứng dụng của nó ở phương trình
tích phân.
Phạm vi nghiên cứu là các kiến thức cơ bản về không gian Hilbert,
toán tử tuyến tính trên không gian Hilbert.
4. Phương pháp nghiên cứu
-Nghiên cứu sử dụng các lí luận, công cụ toán học.
-Nghiên cứu sách tham khảo và các tài liệu liên quan.
-Nghiên cứu lí luận, tổng hợp, đánh giá.
5. Cấu trúc khóa luận
Ngoài phần mở đầu, kết luận và danh mục tài liệu tham khảo, khóa
luận gồm 3 chương và có bố cục như sau:

Chương I. Kiến thức chuẩn bị
1.1. Tích vô hướng
1.2. Không gian Hilbert
1.3. Không gian

L2 [a,b]

Chương II. Toán tử tuyến tính trong không gian

L2[a,b]

2.1. Toán tử tuyến tính bị chặn
2.2. Toán tử compact
2.3. Toán tử tự liên hợp
2.4. Toán tử compact tự liên hợp
2.5. Toán tử dương
2.6. Toán tử chuẩn tắc
2.7. Toán tử Unita
Chương III. Ứng dụng: Giải phương trình tích phân


CHƯƠNG 1
KIẾN THỨC CHUẨN BỊ
1.1. Tích vô hướng
Định nghĩa 1.1. Cho không gian tuyến tính X trên trường P ( P là □
hoặc □ ). Gọi tích vô hướng trên không gian X là một ánh xạ từ tích
Descartes X xX vào P, kí hiệu .,. thỏa mãn:
i)  y, x   x, y x, y  X
ii) x  y, z  x, z   y, z

iii)  x, y   x, y

x, y, z  X

x, y  X ,  P

iv) x, x  0 x X
x, x  0  x 
Định lý 1.1. (Bất đẳng thức Cauchy-Schwarz) Với mỗi x  X
□ x □  x, x Chứng minh rằng: x, y 

đặt

x y , x, y  X .

Chứng
minh
Nếu x, y  0 thì bất đẳng thức trên đúng.
Nếu x, y  0 thì    □ ta có
0  x   x, y y, x   x, y y
 x, x  

 x, x   x, y
y
x

2

 2

  x, y y, x  

x, y
y

x,
y

  x, y
x

x,
2



2

x, y

2

y,
y

x, y y


2

x, y x, y

2

Ta nhận được một tam thức bậc 2 đối với 
□ .

y, y

không âm với


Do đó:
4

2

 x, y

x, y

2

2

0

x
y
x, x

 x  X , x 

2

x,
y

x

2

2

0

y

x,
y

x

y

xác định một chuẩn trên X .

Thật vậy

x, x  0  x 

  P :  x

x, x  0; x  0 




x
y

2

2

 x  y, x  y 

x, x  y  y, x  y  x  x, y 
2

x

2

2

Vậy x  y  x  y

x,
y

0x0

 x

x,
x

 x,  x

x,
x

y

2

x, y  y

2

2

 x 2x

y  y  ( x  y )2 .

x, y  X

1.2. Không gian Hilbert
Định nghĩa 1.2. Cho X là một không gian tuyến tính trên □ hoặc □

được trang bị tích vô hướng, X được gọi là không gian Hilbert nếu mỗi
dãy Cauchy trong X hội tụ đến một phần tử của X .
Định nghĩa 1.3. Những phần tử x, y của không gian Hilbert là trực giao
với nhau nếu x, y  0 , kí hiệu là x  y và là trực chuẩn nếu có thêm

x  1, y 1
Định nghĩa 1.4. Một hệ trực chuẩn en , n  1, 2,

trong một không gian

3...

Hilbert X là đủ nếu phần tử duy nhất của X trực giao với tất cả en là
vectơ 0.
Định lí 1.2. Cho

en , n  1, 2, 3...


là một hệ trực chuẩn
đủ trong không
gian Hilbert X . Khi đó  x  X


x   x,en
n1
en

ta có
2

và





n1

x

2

x,en


Định nghĩa 1.5. Cho A là một tập hợp những vectơ trong không gian
Hilbert X .Khi đó

Lin(A là giao của tất cả những không gian con của
)

Clin(A) là bao đóng

X mà chứa A và

Lin(A).

của

Cách khác Lin(A là tập hợp tất cả những tổ hợp tuyến tính của

)
những phần tử của A. Nếu A hữu hạn thì Clin(A)  Lin(A) .
Định lí 1.3. Cho en , n  1, 2,

là một hệ trực chuẩn trong không gian

3...

Hilbert X . Khi đó những phát biểu sau là tương đương
i)

e
n

là đủ.

ii) X  Clin

e ,n 1

iii) x  X ,

n

2

x





x, en

2

n1

1.3. Không gian

L2  a,b

Định nghĩa 1.6. Không gian
khả tích Lesbegue trên

L2  a,b là tập hợp những hàm bình phương

 a,b , có giá trị thực hoặc phức và đo được

Borel:
f  t   L2

b

2
 a,b   f  t  dt  
a

Không gian này được trang bị tích vô hướng
f,
g

b

  f  t  g  t dt
a

với chuẩn, metric tương ứng là
10


b

f 



df,g

2

f t

 dt

a

b

2

f  t   g  t  dt
a

 Kết luận: L2  a,b là một không gian Hilbert.
Định lí 1.4. (Bất đẳng thức Schwarz) Cho f , g L a,b . Khi đó

2
b

f

fg L2  a,b và  f  t  g  t  dt 

g .

a

Chứng minh
□
b

b

0  f
a

  g 2 dt  

b

b

2

a

f dt  2 
a

 f

2

fg dt  

2

a

b

2

 g dt
2

2

 2  fg dt   g
a

Với

g  0, đặt   
0 f

2

f
g

f
2
g

. Khi đó
b

 fg dt 

f

2



a

b

 fg dt 

f g .

a

CHƯƠNG 2
TOÁN TỬ TUYẾN TÍNH TRONG KHÔNG GIAN

L2 [a,b]

2.1. Toán tử tuyến tính bị chặn
Định nghĩa 2.1. Cho X là không gian Hilbert trên trường vô hướng F .
Một toán tử tuyến tính là một hàm K : X  X
thỏa mãn điều kiện sau

K  f   g    K  f    K  g  với f , g  X ;  ,   F .
Định nghĩa 2.2. Một toán tử tuyến tính K trên không gian Hilbert X
được gọi là bị chặn nếu tồn tại hằng số M  0 sao cho
Kf
f  X .
11

M f

(*),

Số M  0 nhỏ nhất thỏa mãn (*) được gọi là chuẩn của K , kí hiệu là K .
ở đó  a,b

Định lí 2.1. Xét không gian L  a,b
2
Giả sử

K  x, y liên tục từ  a,b   a,b

là một đoạn hữu hạn.

vào □ . Khi đó toán tử K được

xác định bởi
b

(Kf )(x)   K (x, y) f ( y)dy
a

là một toán tử tuyến tính bị chặn trên L2  a,b .
Chứng minh
Vì K  x, y liên tục trên một tập compact nên nó phải bị chặn. Nếu
K  x, y  
M

thì
b

(Kf )(x) 

b

b

f ( y) dy

 K (x, y) f ( y)dy   K (x, y) f ( y) dy  M

a

a

a

1
b
1

 2  M (b  a)2 f
 M (b  a)
2
f ( y) dy

a


 Kf

b

  (Kf )(x)
a

1
2

2
dx


 M (b  a) f

Do đó K bị chặn và có K  M (b  a) .
Ví dụ 2.1. Cho không gian

f  x   L2[0,1]

L2[0,1] và hạt nhân K  x, y   sin  xy  . Nếu

Chứng minh

b

thì (Kf )(x) 

chặn.

 sin(xy) f (

y)dy

12


a

là toán tử tuyến tính bị

Vì hạt nhân

K  x, y   sin  xy 

liên tục nên theo định lí 2.1 suy ra K

là toán tử tuyến tính bị chặn.
Ví dụ 2.2. Giả sử a,b□
và a  b . Xét không gian vectơ định chuẩn
của

L2  a,b

tất cả những hàm giá trị phức đo được Lesbegue và bình

phương khả tích trên  a,b với chuẩn
b

2

 ft  dt

f 

a

Cho

 C a,b

đã

T : L2  a,b  L2  a,b

chọn

và

cố định,

xét

ở đó với mọi f  L2  a,b , hàm

một

ánh

xạ

T  f   L2  a,b

được xác định bởi:

T  f    t     t  f  t  với t  a,b
Không khó để kiểm tra rằng T : L2  a,b  L2  a,b
tính. Hơn nữa với f  L2  a,b , ta có

là một toán tử tuyến

b
2

2

T ( f )   (t) f (t) dt

a

2




sup

(t)



b



 t[a ,b ]
a
2


  sup  (t )  f

 t[a ,b ]

T : L2  a,b  L2  a,b

Dẫn đến

f (t) 2 dt

2

bị chặn vì

T(f
)

M f

f  L2  a,b .
Ở đó

M  sup  (t)  
t[a,b]



(Chuẩn cận trên đúng của  trong C  a,b ).
13

với


Ví dụ 2.3. Giả sử

a,b,c,d □ với a  b  c  d . Xét 2 không gian vectơ
L2  c,d  với 2 chuẩn tương ứng

định chuẩn L2  a,b và

1
1
d
b
2

2
2

2
f    f (t)
dt
ds
và

h    h(s)


a


c

Cho  : c, d    a,b  □

là một hàm liên tục vô định và xét một

ánh xạ :

T : L2  a,b  L2 c, d  ở đó với

f  L2  a,b , hàm T  f   L2  c,d 
b

với s  c,d 

(T ( f ))(s)    (s,t) f
(t)dt
a

Không khó để kiểm tra rằng
tuyến tính. Hơn nữa với

T : L2  a,b  L2 c, d  là một phép biến đổi

thức Cauchy-Schwarz ta được

(T ( f ))
(s)

2

và s  c, d  , áp dụng bất đẳng

f  L2  a,b
 b

b

    (s,t)
a

2



b



2

f (t) dt     (s,t)

 a

dt  
 a

2

dt  f


Do đó
2

d

T ( f )  (T ( f )

(s)

2

 db

ds      (s,t)
 ca

2


dtds  f


2

c

Dẫn đến

T : L2  a,b  L2 c, d 

bị chặn vì

f  L2 [a,b] , ở đó
1
db
2
2
M     (s,t)
dtds
.
 ca

14

T(f M f
)

với




Ví dụ 2.4. Giả sử K : a,b  a,b  □
là 1 hàm đo được và có hằng số
   
A và B sao cho
i) x   a,b thì

b

 K  x,t  dt A
a

ii

) t   a,b thì

b

 K  x,t  dx B
a

Khi đó toán tử tích phân sinh ra từ K được cho bởi
b

 K  x   K  x,t   t  dt
a

là 1 toán tử bị chặn từ L2  a,b vào chính nó và K   AB  2

1

Chứng minh
Đây chỉ là vấn đề sử dụng khéo léo bất đẳng thức Schwarz. Ta chú ý
rằng

 1
1
K  x,t   t   K  x,t  2 K  x,t  2   t 








Bây giờ áp dụng bất đẳng thức Schwarz đối với tích ở vế phải. Với

x  a,b ,   L2  a,b
ta có

 K  x  2

2

b

  K  x,t   t  dt
a

15

b
2
   K  x,t   t  dt 
a


b
 b
   K  x,t  dt   K  x,t    t 
a
 a
b

2


dt 


2

 A K  x,t    t  dt
a

Do đó
b

K

2

2

   K  x  dx
a

b

b
 A   K  x,t    t 
a a
b



2

b
2


dt dx



 A   K  x,t    t  dx dt
a a


b

2

 A B   t  dt  AB 

2

a

Do đó

1

  AB  
2

  L2  a,b : K
2.2. Toán tử compact

Định nghĩa 2.3. Cho K là 1 toán tử tuyến tính bị chặn trên không gian
Hilbert X và  fn là một dãy bị chặn vô hạn trong X . Nghĩa là tồn tại M
sao cho fn  M với  n .
K được gọi là toán tử compact nếu từ dãy  Kfn 

có thể lấy ra 1 dãy

  là một dãy Cauchy. Dãy Kf  cũng hội tụ vì X là không gian

con Kfn

k

n

k

Hilbert.
Định nghĩa 2.4. Giả sử K  x, y là một hạt nhân được xác định trên hình


vuông  a,b   c,d  và có hữu hạn các hàm a ,..., a
1

n

, b ,..., b sao cho
1

n

n

K (x, y)   ai (x)bi ( y), (a  x, y  b)
i1

Trong trường hợp này hạt nhân K được gọi là suy biến.
Định lí 2.2. Cho X là
L2  a,b , K là một toán tử tích phân suy biến được
xác định bởi

m

b

i 1

a

( Kf )( x)   ai ( x)  bi ( y) f ( y)dy

Khi đó K là một toán tử compact nếu

L2  a,b với i  1;m .

ai  x 

và bi  y

thuộc

Chứng minh
Xét một dãy bị chặn của những hàm  fn và
m

b

i 1

a

( Kf n )( x)   ai ( x)  bi ( y) f n ( y)dy

Sử dụng bất đẳng thức Cauchy-Schwarz ta có
b

 b ( y) f ( y)dy 
i

n

fn  M bi

bi
a

b



Nên dãy   bi ( y) fn ( y)dy là một dãy bị chặn của những số phức. Do đó
a

nó phải có 1 điểm hội tụ và có 1 dãy con hội tụ đến điểm đó.
b

Cho f   là một dãy con của  fn sao cho   b1 ( y) f n1 ( y)dy  hội
n
a


 
1

tụ đến số phức c1 .


Cũng lập luận tương tự, chúng ta có thể cũng lấy ra một dãy con

 
f 
2

n

của

sao cho  b
 hội tụ đến c2 . Bằng việc
 b2 ( y) f n2 ( y)dy
a


f 
1

n

lấy ra những dãy con liên tiếp, cuối cùng chúng ta được
chất lim
n( m ) 

b



m 

n

với tính

( y)dy  c , i  1, 2,..., m .

bf ( y)
i

f 

n

m 

i

a

Từ đó chúng ta có dây chuyền bao hàm sau

 fn    f   n   f   n  .....   f   
1

2

Giới hạn trên tồn tại với mọi i.
Ta chú ý rằng dãy

Kf 

là một dãy con của  Kfn 

m 

dãy Cauchy.
lim Kf  m ( x) 
(m)
Thực ra n  n

m

n

n

m



và cũng là một

ciai ( x)

i1

Nên K là một toán tử compact.
Định lí 2.3. Cho

K(x, y) liên tục trên  a,b  a,b

tử tích phân

vào □ . Khi đó toán

1

( Kf )( x)   K ( x, y ) f ( y )dy
0

là một toán tử compact trên L [0,1].
2
Chứng minh
Vì K(x,

y)

liên tục nên nó bị chặn, do đó M  0

sao cho

K(x, y)  M . Toán tử trên rõ ràng là bị chặn theo định lí 2.1:
Kf  M f .

Bây giờ, ta lấy 1 dãy bị chặn  fn  x  sao
cho

fn 1.


Xét họ những hàm  gn  x , ở đó g n  Kf n . Ta sẽ chỉ ra rằng có một dãy
con hội tụ  gn  x 

hội tụ đến một hàm trong L2  0;1 . Để thực hiện điều

này, chúng ta chọn một tập hợp trù mật đếm được của những điểm trên
đoạn [0,1]. Những số hữu tỉ có thể chấp nhận được. Chúng ta kí hiệu là

rk  .
Bây giờ chúng ta xét dãy  g n  r1  .
Từ những tính chất của

K(x, y) và  fn  x  suy ra
gn (x)  M fn  M
sao cho dãy  g n  r1 

Đặc biệt chúng ta có g n (r1 ) 
M
tụ trong đoạn  M ; M  .

Bây giờ chúng ta có thể chọn một dãy con



g

n

1

 r1 



theo chúng ta xét dãy những hàm g    x  , tại





Chúng ta kiểm tra g    r2 
2

n

1

n

có một điểm hội

hội tụ đến b1 . Tiếp

x  r1

nó hội đến

b1 .

hội tụ đến b2 .

Chúng ta lặp lại quá trình này tại tất cả các số hữu tỉ. Cuối cùng xét
họ những hàm

g

n

n 

 x  . Dãy này hội tụ tại tất cả các số hữu tỉ.

Để thuận tiện chúng ta coi dãy

sao cho

g  x

g

n

n 

 x  là dãy  gn  x và có

lim gn (rk )  g(rk )
n

chỉ được xác định cho những giá trị hữu tỉ của x . Chúng

ta có thể chỉ ra rằng trên những số hữu tỉ
số hữu tỉ.

g  x liên tục. Cho x1
và

x2 là 2


Khi đó:

g(x1 )  g(x2 )  lim gn (x1)  gn
(x2 )
n

1

 lim

n

  K (x , y)  K (x , y) f ( y)dy
1

2

n

0

1

1
 lim K (x1, y)  K (x2 , 2  2
dy fn
y) n 
0

1
2

 
0

1

2
dy
K (x1 , y)  K (x2 , y) 

Bây giờ chúng ta có thể xác định g x
  với 0  x  1.
Cho x là bất kì và

 xk 

là một dãy những số hữu tỉ sao cho

lim xk  x .
k 

Khi đó
g(x)  lim g(xk
)

Giả sử  xk 

k 

là dãy những số hữu tỉ thứ 2 hội tụ đến x và giả sử

limg(xk )  g (x) .
k

Khi đó

g(x)  g (x)

Bây giờ cho

g(x)  g(xk )  g(xk )  g(xk )  g(xk )  g (x)

k  k ò  thì 2 số hạng thứ nhất và thứ ba bên phải nhỏ

hơn ò . Vì g x
  liên tục trên những số hữu tỉ nên số hạng ở giữa cũng
nhỏ hơn ò và dẫn đến

g(x)  g (x) , suy ra
20


g  x

được xác định tốt như
một hàm liên tục với x 0;1. Mà

g  x liên tục trên một tập compact
nên nó cũng liên tục đều và do đó thuộc L2[0,1]. Vì vậy toán tử K là
compact.
* Có thể thay thế điều kiện hạt nhân liên tục trong định lí 2.3 bằng L2 -hạt
nhân là hạt nhân thỏa mãn điều kiện
b b

a a

  K ( x, y ) 2 dxdy  
Bổ đề 2.1. Cho  Kn 

là 1 dãy những toán tử compact trong không gian

Hilbert X sao cho với toán tử K được xác định trên X ta có

lim K  Kn  0
n

Khi đó K cũng là compact.
Chứng minh
Cho  fn là 1 dãy bị chặn vô hạn bất kì. Ta có thể chọn 1 dãy con

 f  sao cho K f  là 1 dãy Cauchy. Từ dãy  f  , ta chọn dãy
là 1 dãy Cauchy. Tiếp tục quá trình này ta
con  f  sao cho  K f 
(1)

1

n

(2)

(1)

(1)

n

n

2

n

( 2)

n

thu được trình tự của những dãy con sau

 f n   f



(1)

   f  ...  f  ...
n

( 2)

n
n

(n)

 là 1 dãy Cauchy với k  1, 2,..., n .
Cuối cùng ta chọn dãy  f  là dãy con của mọi dãy  f  , có thể
sẽ là 1 dãy
chấp nhận cho 1 số hữu hạn những số hạng nên K f 
sao cho Kk f ( k )
n

(n)

(k)

n

n

k

( n)

n

Cauchy với  k .

 

Bây giờ, ta chỉ ra rằng Kf ( n )

là 1 dãy Cauchy mà từ đó có thể kết luận

n

rằng K là compact.
21


Ta có

Kf ( n )  Kf

)

n

 Kf ( n )  K kf ( n )  K kf ( n )  K kf
n

(m

n

n

(m)

m

 K fk ( m )  Kf
m

(m)

m

  K  Kk  f ( n )  K k f ( n )  Kk f
n

f

n

 K  Kk

)

(n

(m)

  Kk  K  f

m

(m)

m

 K k f n ( n )  Kk f m ( m )  Kk  K

fm( m )

n

Số hạng thứ nhất và thứ ba nhỏ hơn M  nếu

f    M và k  k   . Số
n

n

hạng ở giữa cũng sẽ nhỏ hơn  nếu n n  và n m  lớn hơn N   

Kf ( n ) 
Kf
n



Dẫn đến Kf ( n )
n

)( m

  2M 1 

với k  k   ; n  n

,n

m 

nên
 N   .

m

 là 1 dãy Cauchy nên K là compact.

Định lí 2.4. Cho

K(x, y) thỏa mãn

b b
2

  K ( x, y ) dxdy  
a a

Khi đó toán tử
L2[0,1]

1

( Kf )( x)   K ( x, y ) f ( y ) là một toán tử compact trên
dy
0

Chứng minh
Vì C2 0;1 là trù mật trong L [0,1], chúng ta có thể xét một hạt nhân
2

K(x,
y)

trên L2[0,1] như là một giới hạn của những hạt nhân liên tục

K n ( x, y
trong C2 0;1 sao cho
)
2

1 1

lim
y)



K ( x, y)  K n ( x,

n 

0 0

Sử dụng bất đẳng thức Schwarz ta thấy rằng
22

dxdy  0


(K  Kn )
f

1

   K (x, y)  Kn (x, y) f ( y)dy
0

23