Phương trình tích phân kiểu đa chập đối với các phép biến đổi Fourier, Fourier Cosine, Fourier Sine

ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC KHOA HỌC


NGUYỄN VĂN TUẤN




PHƯƠNG TRÌNH TÍCH PHÂN KIỂU ĐA CHẬP
ĐỐI VỚI CÁC PHÉP BIẾN ĐỔI
FOURIER, FOURIER COSINE, FOURIER SINE





LUẬN VĂN THẠC SĨ TOÁN HỌC







Thái Nguyên – 2014
ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC KHOA HỌC


NGUYỄN VĂN TUẤN

PHƯƠNG TRÌNH TÍCH PHÂN KIỂU ĐA CHẬP
ĐỐI VỚI CÁC PHÉP BIẾN ĐỔI
FOURIER, FOURIER COSINE, FOURIER SINE

Chuyên ngành: Toán ứng dụng
Mã số: 60.46.01.12


LUẬN VĂN THẠC SĨ TOÁN HỌC


NGƯỜI HƯỚNG DẪN KHOA HỌC
TS. Nguyễn Minh Khoa





Thái Nguyên – 2014

LỜI CAM ĐOAN
Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi. Các kết quả
nghiên cứu và thực nghiệm đưa ra trong luận văn là hoàn toàn trung thực,
chưa được ai công bố trong công trình nào.

Tác giả luận văn


Nguyễn Văn Tuấn












LỜI CẢM ƠN
Trong quá trình học cao học, nghiên cứu và viết luận văn tốt nghiệp tác
giả đã nhận được nhiều sự ủng hộ của Phòng Giáo dục - Đào tạo huyện Yên
Lập – tỉnh Phú Thọ, lãnh đạo và các đồng nghiệp trường THCS Trung Sơn ,
sự giúp đỡ quý báu của các thầy cô giáo trường Đại học Khoa học – Đại học
Thái Nguyên. Tác giả còn nhận được sự chia sẻ,
động viên của các bạn đồng
nghiệp và người thân.
Trong quá trình thực hiện luận văn thạc sĩ toán học, tác giả đã nhận
được sự hướng dẫn trực tiếp của TS. Nguyễn Minh Khoa về chuyên môn, thầy
luôn nhiệt tình, tận tâm chỉ bảo, truyền đạt cho tác giả nhiều kiến thức và cung
cấp nhiều tài liệu quý báu. Thầy đã chỉ dẫn cho tác giả trình bày những kiến
thức thu được qua h
ọc tập và nghiên cứu một cách có hệ thống trong luận văn

này.
Tác giả xin chân thành cảm ơn tất cả mọi người về sự giúp đỡ và động
viên quý giá này.

Thái Nguyên, tháng 3 năm 2014
Tác giả


Nguyễn Văn Tuấn


MỤC LỤC
Trang
Trang phụ bìa ……… …………………………………………………………
Lời cam đoan …………………………………………… ……………………
Mục lục …………………………………………………………………. ……
Danh mục các ký hiệu, các chữ viết tắt ……………………………… … 1
MỞ ĐẦU ………………………………………………………………… 2
1. Lý do chọn đề tài ……………………………………………………… 2
2. Mục đích, nhiệm vụ nghiên cứu …………………………………………. 6
3. Đối tượng nghiên cứu ………………………………………….……… 7
4. Phương pháp nghiên cứu …………………………………….…………… 7
NỘI DUNG
Chương 1.
Các phép biến đổi tích phân Fourier, Fourier cosine, Fourier sine … …8
1.1 Phép biến đổi tích phân Fourier ……………………………………………… 8
1.1.1 Định nghĩa phép biến đổi Fourier ……………………… ….8
1.1.2 Các tính ch
ất cơ bản của phép biến đổi tích phân Fourier … …. 9
1.2 Phép biến đổi Fourier cosine và Fourier sine ……………………….……. 17

1.2.1 Định nghĩa phép biến đổi Fourier cosine …………….…… …. 17
1.2.2 Các tính chất cơ bản của phép biến đổi Fourier cosine …… … 18
1.2.3 Định nghĩa phép biến đổi Fourier sine …………………… …. 19
1.2.4 Các tính chất của phép biến đổi Fourier sine ……………… . 20
1.3 Áp dụng giải phương trình truyền nhiệt ……………………… ……… 22
1.3.1 Bài toán phương trình truyền nhiệt ……………………………. 22
1.3.2 Thuật toán giải bằng cách sử dụng biến đổi Fourier ………… 22
Chương 2.
Phương trình tích phân kiểu đa chập đối với các phép biến đổi tích
phân Fourier, Fourier cosine, Fourier sine ……………………… …… 25
2.1 Phương trình tích phân đối với đa chập của phép biến đổi tích phân
Fourier cosine …………………………………………………………… ………. 25
2.1.1 Đa chập đối với phép biến đổi tích phân Fourier cosine … … 25
2.1.2 Phương trình tích phân kiểu đa chập ………………… … …. 25
2.2 Phương trình tích phân đối với đa chập của phép biến đổi tích phân
Fourier cosine và Fourier sine ……………………………………………… …
29
2.2.1 Đa chập đối với các phép biến đổi tích phân Fourier cosine và
Fourier sine ………………………………………………………… ……. 29
2.2.2 Phương trình tích phân kiểu đa chập …………………… …… 29
2.3 Phương trình tích phân đối với đa chập có hàm trọng của các phép biến
đổi tích phân Fourier cosine; Fourier và Fourier sine ………………….…… 31
2.3.1 Đa chập có hàm trọng đối với các phép biến đổi tích phân Fourier
cosine; Fourier và Fourier sine …………………………………………… 31
2.3.2 Phương trình tích phân kiểu đa chập …………………… …… 32
KẾT LUẬN ………………………………………………….……… … 34
TÀI LIỆU THAM KHẢO ………………………………….…… … …. 35




1



DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT

.
 
,0x R x

  

.
 
L

là tập hợp tất cả các hàm f xác định trên
 
0;
sao cho:
0
()f x dx

 


.


2

,1Lx
là tập hợp tất cả các hàm f xác định trên sao cho:
2
1 ( )x f x dx


  











1



MỞ ĐẦU
1. Lý do chọn đề tài:
Hướng rẽ nhánh phát triển mới của lý thuyết các phép biến đổi tích
phân là tích chập của các phép biến đổi tích phân xuất hiện vào khoảng đầu
thế kỉ 20. Gần trọn một thế kỷ các tích chập đơn đối với từng phép biến đổi
tích phân ngự trị. Trong số đó phổ biến được áp dụng nhiều nhất là các tích
chập đối với phép biến đổi tích phân Fourier, Fourier cosine, Fourier sine,
Laplace, Kontorvich-Lebedev, Melin, Stieltjes,.…

 
4,7,8,13

Khoảng hai thập kỷ trở lại đây các tích chập suy rộng mới được xây
dựng bởi các tác giả Nguyễn Xuân Thảo, Nguyễn Minh Khoa,
Yakubovich,… Với sự xuất hiện của tích chập suy rộng lớp các phương trình
tích phân giải được nghiệm dưới dạng đóng trở nên phong phú hơn bởi trong
đẳng thức nhân tử hóa then chốt không chỉ có một phép biến đổi tích phân mà
có từ hai đến ba phép biến đổi tích phân. Các trường hợp riêng của bài toán
mở phương trình tích phân Toeplitz-Hankel
 
3,14,

 
12
0
( ) ( ) ( ) ( ) ( ), f x k x y k x y f y dy g x x


     

, giải được nhiều
hơn, đa dạng hơn.
Cũng vào năm 1997, sau khi đưa ra phương pháp kiến thiết tích chập
suy rộng, với ý tưởng mở rộng tổng quát hơn, mở rộng đến tối đại, Kakichev
đã đưa ra khái niệm đa chập của n+1 phép biến đổi tích phân
12
, , , ,
n
K K K K

với hàm trọng
()x

của n hàm
12
, , ,
n
f f f
mà đối với nó có đẳng thức nhân
tử hóa cốt yếu sau
 
5
:
2



1 2 1 1
*( , , , ) ( ) ( )( )( )
n
K f f f y y K f y






(0.1)
Từ ý tưởng khởi đầu của Kakichev trong vòng hơn 10 năm trở lại đây

Nguyễn Xuân Thảo, Nguyễn Minh Khoa và một số tác giả khác đã công bố
một số đa chập đối với các phép biến đổi tích phân Fourier, Fourier cosine,
Fourier sine, Hartley,…
 
9,15,16,17

Sự mở rộng tích chập, tích chập suy rộng sang đa chập là một bước phát
triển mới không chỉ ở phạm vi lý thuyết các phép biến đổi tích phân mà còn
mở rộng sự ứng dụng cho phương trình, hệ phương trình tích phân.
Chính vì vậy mà tôi đã chọn hướng nghiên cứu của luận văn là phương
trình tích phân kiểu đa chập đối với các phép biến đổi tích phân Fourier,
Fourier cosine, Fourier sine.
Các tích chập, đa chập đã biết dùng trong luận văn
Tích chập của hai hàm
, ( )f g L
đối với phép biến đổi tích phân Fourier
 
7,13

1
( * )( ) ( ) ( ) ,
2
F
f g x f x y g y dy x



  

(0.1)

Với đẳng thức nhân tử hóa:
( * )( ) ( )( )( )( ),
F
F f g y Ff y Fg y y  
(0.2)
Tích chập đối với phép biến đổi tích phân Fourier cosine của hai hàm f,g
 
7
0
1
( * )( ) ( ) ( ) ( ) , 0
2
c
F
f g x f y g x y g x y dy x


      


(0.3)
3



Và thỏa mãn đẳng thức nhân tử hóa:
( * )( ) ( )( ).( )( ), 0
c
c c c
F

F f g y F f y F g y y  
(0.4)
Năm 1951 Sneddon đã xây dựng tích chập suy rộng đến tâm đối với hai phép
biến đổi tích phân Fourier sine, Fourier cosine cho hai hàm
 
1
, ( ) 7f g L



1
0
1
( * )( ) ( ) ( ) ( ) , 0 (0.5)
2
f g x f y g x y g x y dy x


      



Thỏa mãn đẳng thức nhân tử hóa
1
( * )( ) ( )( ).( )( ), 0 (0.6)
s s c
F f g y F f y F g y y  

Tích chập suy rộng đối với các phép biến đổi tích phân Fourier cosine, Fourier
sin

 
7

2
0
1
( * )( ) ( ) s ( ) ( ) ( ) , 0
2
f g x f y ign y x g y x g y x dx x


       


(0.7)
Với đẳng thức nhân tử hóa:
2
( * )( ) ( )( ).( )( ), 0
c s s
F f g y F f y F g y y  
(0.8)
Tích chập suy rộng với hàm trọng
1
( ) sinxx


của hai hàm f,g đối với các
phép biến đổi tích phân Fourier cosine và Fourier sine
 
11

1
3
0
1
( * )( ) ( ) ( 1) ( 1)
22
f g x f y g x y g y x



      




( 1) ( 1) , 0g y x g x y dy x      
(0.9)
4



Với đẳng thức nhân tử hóa sau:
1
3
( * )( ) sin ( )( )( )( ), 0
c s c
F f g y y F f y F g y y

  

(0.10)
Tích chập suy rộng đối với các phép biến đổi tích phân Fourier và Fourier sine
xác định bởi:
4
0
1
( * )( ) ( ) ( ) ( ) ( ) ,
22
f g x x f y sign y x g y x g x y dy x


         



(0.11)
Tích chập này thỏa mãn đẳng thức nhân tử hóa:
4
( * )( ) ( )( ).( )( ),
ss
F f g y F f y F g y y  
(0.12)
Một tích chập với hàm trọng
1
( ) sinxx


của hai hàm f và g đối với phép biến
đổi Fourier sine
 

4

1
0
1
( * )( ) ( ) ( 1) ( 1)
22
s
F
f g x f y sign x y g x y



     


( 1). ( 1 ( 1) ( 1). ( 1) , 0 (0.13)sign x y g x y g x y sign x y g x y dy x             

Với đẳng thức nhân tử hóa sau:
1
( * )( ) sin ( )( ).( )( ), 0
s
s s s
F
F f g y y F f y F g y y

  
(0.14)
Đa chập đối với phép biến đổi tích phân Fourier cosine và Fourier sine
 

16

,
00
1
* ( , , )( ) ( ) ( ) ( )
2
cs
FF
f g h x f u g v h x u v

 
    




( ) ( ) ( ) dud , 0h x u v h x u v h x u v v x         
(0.15)
5



Thỏa mãn đẳng thức nhân tử hóa:
,
* ( , , ) ( ) ( )( )( )( )( )( ), 0
cs
c s s c
FF
F f g h y F f y F g y F h y y


  


(0.16)
Đa chập đối với phép biến đổi tích phân Fourier cosine
 
17

00
1
*( , , )( ) ( ) ( ) ( ) ( )
2
c
F
f g h x f u g v h x u v h x u v

 
      




( ) ( ) dud , 0h x u v h x u v v x      
(0.17)
Với đẳng thức nhân tử hóa:
*( , , ) ( ) ( )( )( )( )( )( ), 0
c
c c c c
F

F f g h y F f y F g y F h y y

  


(0.18)
Đa chập đối với phép biến đổi tích phân Fourier sine
 
15

00
1
*( , , )( ) ( ) ( ) ( ) ( )
2
s
F
f g h x f u g v sign u v x h u v x

 
     




( ) ( ) ( ) ( ) ( ) dud , 0sign u v x h u v x sign u v x h u v x h u v x v x             

(0.19)


Với đẳng thức nhân tử hóa:

*( , , ) ( ) ( )( ).( )( ).( )( ), 0
s
s s s s
F
F f g h y F f y F g y F h y y

  


(0.20)
2. Mục đích và nhiệm vụ nghiên cứu.
Dựa vào các đa chập đã biết đối với các phép biến đổi tích phân
Fourier, Fourier cosine, Fourier sine để khảo sát các phương trình tích phân
kiểu đa ch
6



3. Đối tượng nghiên cứu:
Nghiên cứu các phép biến đổi tích phân, tích chập, đa chập của các
phép biến đổi tích phân Fourier, Fourier cosine, Fourier sine và ứng dụng
chúng vào giải phương trình tích phân dạng đa chập.
4. Phương pháp nghiên cứu:
Sử dụng các phép biến đổi tích phân , tích chập, tích chập suy rộng, đa
chập đã biết, lý thuyết phương trình tích phân và các kết quả của giải tích, giải
tích hàm.

7



CHƯƠNG 1
Các phép biến đổi tích phân Fourier, Fourier cosine và Fourier sine.
1.1 Phép biến đổi tích phân Fourier.
1.1.1 Định nghĩa phép biến đổi Fourier.
Định nghĩa 1.
Cho
( ),f L R
hàm
()Ff
được xác định bởi:
1
( )( ) ( ) ( ) ,
2

iyx
Ff y f y e f x dx y R





  

(1.1.1)
Được gọi là biến đổi Fourier của hàm
f

Định nghĩa 2. Biến đổi Fourier ngược
Nếu
( ) ( )F y L R
thì hàm
1
( ( ))F F y

xác định bởi:
1
1
( ( ))( ) ( ) ( ) ,
2
iyx
F F y x f x e F y dy x R





  

(1.1.2)
Được gọi là biến đổi Fourier ngược của hàm f(x).
Ví dụ 1. Tìm biến đổi Fourier của hàm
2
ax
( ) , 0f x e a



Giải. Theo định nghĩa, ta có:
2
2
2
[ ( ) ]
ax
24
11
()
22
iy y
ax
iyx
aa
f y e dx e dx


 


  

 



Với phép biến đổi
2
iy
tx
a

ta nhận được:
8



22
2
44
11
()
22
yy
at
aa
f y e e dt e
a











1.1.2 Các tính chất cơ bản của phép biến đổi tích phân Fourier.
Tính chất 1. Phép biến đổi Fourier là phép biến đổi tuyến tính:
1 1 2 2 1 1 2 2
( ) ( ) ( )F f f Ff Ff
   
  
với mọi
12
,


và
12
, ( )f f L

Chứng minh. Từ định nghĩa ta dễ dàng chứng minh được tính chất này.
Tính chất 2. Giả sử
()f L R
thì
o
fC



với
o
C
là không gian các hàm số liên
tục tiến dần về 0 tại vô cực. Hơn nữa
1
ff




Chứng minh. Bất đẳng thức trong định lí được suy ra trực tiếp từ định nghĩa
f


Khi
n
yy
, ta có:
1
( ) ( ) ( )
2
n
iy x
iyx
n
f y f y f x e e dx







  


Hàm dưới dấu tích phân ở trên bị chặn bởi 2
()fx
và hội tụ từng điểm tới 0
khi
n 
. Vì vậy
( ) ( )
n
f t f t


do định lí hội tụ bị chặn.
Vậy
f

liên tục
Mạt khác với một hàm số
()x g x
ta kí hiệu
g

là hàm số

()x g x



Vì
1
i
e


nên:
9



()
( ) ( ) ( )
iy x
iyx
y
y
f y f x e dx f x e dx


 



 
  



Do đó:
1
2 ( ) [ ( ) ( )]
iyx
yy
f y f x f x e dx f f





   


Suy ra
f

tiến đến 0 khi
t 
.
Ta chứng minh xong tính chất 2.
Tính chất 3. Với
0r 
đặt
( ) ( )
r
f x f rx
. Ta có:

1
( ) ( )
r
y
f y f
rr



Chứng minh.
1 1 1
( ) ( ) ( ) ( )
22
iyt
iyx
r
r
y
f y f rx e dx f t e dt f
rr
y


 


 
  


Tính chất 4. Với
uR
đặt
( ) ( ).
u
f x f x u
Ta có:
( ) ( )
iyu
u
f y e f y



Chứng minh.
()
11
( ) ( ) ( ) ( )
22
iyx iy t u iyu
u
f y f x u e dx f t e dt e f y

 

  
 
   


10



Tính chất 5.
Cho
()f L R
thỏa mãn sup
 
,f a a

Ta có
f

là hàm giải tích trên C.
Chứng minh.
1
( ) ( )
2
iyx
f y f x e dx








Nên suy ra

f

giải tích trên C
Tính chất 6.
Cho dãy
1
{}
nn
f


hội tụ trong
()LR
. Khi đó dãy
 
1,2
n
n
f


hội tụ đều trên
R
.
Chứng minh.
1
( ) ( ) ( ) ( ) . ( ) ( ) 0
2
iyt
m n m n

mn
f y f y f x f x e dx f x f x dx

 


 
     


,khi m n 

Tính chất 7.
Cho
()f L R
. Ta có
f

liên tục, bị chặn và
( ) 0fy


, khi
y 

Chứng minh.
11

Ta có
f

bị chặn do
( ) ( )f y f x dx






Trường hợp
f
là hàm đặc trưng của
 
,ab
thì:
11
( ) .
22
b
iya iyb
iyx
a
ee
f y e dx
iy









Vậy là hàm liên tục tiến về 0 khi
y 

Nếu
f
là hàm bậc thang thì
f
là tổ hợp tuyến tính của các hàm đặc trưng. Từ
đó, do tính tuyến tính của phép biến đổi Fourier, ta cũng có
f

lien tục và tiến
về 0 khi
y 
.
Cuối cùng, nếu
()f L R
, do tập hợp các hàm bậc thang trù mật trong
()LR
,
ta tìm được dãy các hàm dặc trưng
 
1,2
n
n

f

hội tụ trong
()LR
về
f
.
Sử dụng tính chất 5 dãy
 
1,2
n
n
f


hội tụ đều về
f

trên
R
suy ra
f

lien tục
và tiến về 0 khi :
y 

Tính chất 8.
Cho
()f L R

thỏa mãn
'
()f L R
và
f
liên tục tuyệt đối trên mọi khoảng
hữu hạn.
Khi đó:
 
^
'
f iy f



Chứng minh.
12



Vì
f
liên tục tuyệt đối trên mọi khoảng hữu hạn nên:
'
0
( ) (0) ( )
x
f x f f t dt


Hơn nữa,
'
()f L R
nên vế phải của đẳng thức trên có giới hạn khi
x 
. Ngoài ra giới hạn đó phải bằng 0 vì
()f L R

Do đó:
' ^ '
11
( ) ( ) ( ) ( )
22
1
[ . ( ) ( ) ] ( )
2
iyx iyx
iyx iyx
f y f x e dx e df x
e f x iy f y e dx iy f y


 

 


  



  




Tính chất 9.
Nếu
f
có đạo hàm bậc cao trong
()LR
thì
f

hội tụ về 0 càng nhanh khi
y 
và
( )^( )
(
()
ny
n
f
fy




Chứng minh.
Nhờ tính chất 7, dễ dàng chứng minh được tính chất này.
Tính chất 10.

Cho
()f L R
. Nếu
''
f
tồn tại và
''
()f L R
thì
()f L R


.
Chứng minh.
13



f

bị chặn do tính chất 6, và giảm về 0 nhanh hơn
2
1
y
khi
y 
, do tính
chất 8.
Từ đó:
()f L R




Tính chất 11.
Cho
()f L R
thỏa mãn
. ( );I f L R I
là ánh xạ đồng nhất
xx
( và do
thói quen người ta luôn viết
()xf x
thay cho
.If
).
Khi đó
f

khả vi và:
( ) ( . )^( )
df
y iI f y
dy



Chứng minh.
1
( ) . ( )

22
iyx iyx
di
f x e dx x f x e dx
dy

 

 








Tính chất 12.
Với
, ( )f g L R
nhắc lại tích chập của
,fg
như sau.
( * )( ) ( ) ( )f g x f x y g x dy




và
* ( )f g L R

.
Khi đó ta có:
( * )^ 2 . .f g f g




Chứng minh.
14



Áp dụng định lí Fubini ta có:
( * )( ) ( ) ( ) . ( ) ( )
( ) ( ) 2 ( ). ( )
iyx iyx iyx
iyu iyt
f g x e dx f t g x t e dx f t g x t e dx dt
f t g u e e dt f y g y

    
  
    
 


 
   
   
   

   
   





    


Tính chất 13.
Gọi
S
là tập hợp các hàm khả vi vô hạn và giảm nhanh tức là:
fC


và
()
, , 0, , ( ) ,
pq
p q N M x x f x M     
khi đó
fS



Chứng minh.
Cho
,p q N

bất kì, ta có:
2 ( )
()
pq
x f x M



Do đó:
()
2
()
pq
M
x f x
x


Điều này có nghĩa là:
()
()
pq
x f L R

Theo tính chất 10 thì
fS



Lại có:

()
()
q
f L R
với mọi
qN
nên áp dụng tính chất 8, ta có
f

giảm
nhanh hơn
1
q
y
khi
y 
, với mọi
qN
.
Do đó:
( ) .
q
y f y M



Hơn nữa theo tính chất 10 và tính chất 7 thì:
15

 
^^
()
^
()
( ) ( ) ( ) ( ) ( ix) ( ) ( ) ( ) ( )
( ) ( )
q p q p p q p
q
pp
iy f y iy f x i iy x f x
i x f x

   
   
   





Suy ra:
fS


vì
 
()
()

q
p
x f x M
và
 
()
()
q
p
x f L R

Nhận xét:
Tính chất này cho ta thấy phép biến đổi Fourier là ánh xạ từ
S
vào
S

Tính chất 14. Phép biến đổi Fourier là toán tử tuyến tính.
Chứng minh.
, ( )f g L R
và
, R


ta có:
   
1
( ) ( ) ( )
2
( ) ( )

22
( )( ) ( )( )
iyx
iyx iyx
F f g y e f x g x dx
e f x dx e g x dx
Ff y Fg y
   







 

 
  





Tính chất 15. ( Bổ đề Riemann-Lebesgue).
Nếu
()f L R
thì
lim ( ) 0
y

fy




Chứng minh.
Từ
iyx iyx i
ee

  


Ta có:
16



()
1
( ) ( )
2
11
( ) ( )
22
iyx
iy x
iyx
y
f y e f x dx

e f x dx e f x dx
y








 


 

    



Do đó:
11
( ) . ( ) ( )
2
2
11
. ( ) ( )
2
2
iyx iyx
iyx

f y e f x dx e f x dx
y
e f x f x dx
y




 


 




  




  





Suy ra:
1
( ) ( )

22
1
lim ( ) lim ( ) 0
22
yy
f y f x f x dx
y
f y f x f x dx
y









 


  



   





1.2 Phép biến đổi Fourier cosine và Fourier sine.
1.2.1 Định nghĩa phép biến đổi Fourier cosine.
Định nghĩa 1.
Cho
()f L R
, hàm
c
Ff
xác định bởi:
0
2
( ) ( )( ) ( )cos
c
f y F f y f x xydx





(1.2.1)
Được gọi là biến đổi Fourier cosine của hàm
f

Ta có công thức biến đổi ngược là:
17



0

2
( ) ( )( ) ( )cos
c
f x F f x f y xydy





(1.2.2)
Ví dụ: Tìm biến đổi Fourier cosine của hàm :
()
ax
f x e



Giải.
Theo định nghĩa ta có:
0
( ) ( )
0
22
2
( )( ) cos
12
2
1 2 1 1 2
2
ax

c
a iy x a iy x
F f y e yxdx
e e dx
a
a iy a iy
ay






   






  









1.2.2 Các tính chất cơ bản của biến đổi Fourier cosine.
Tính chất 1.
Phép biến đổi Fourier cosine là toán tử tuyến tính.
Chứng minh.
, ( )f g L R


và
, R


ta có:
   
0
2
( ) ( ) ( ) ( ) ( ) cos
c
F f x g x y f x g x yxdx
   


  



00
22
( )cos ( )cos
( )( ) ( )( )
cc

f x yxdx g x yxdx
F f y F g y



 




Hay:
 
( ) ( )
c c c
F f g F f F g
   
  

18



Tính chất 2.
Với
0


, đặt
( ) (ax)
a

f x f

Khi đó ta có:
1
( )( ) ( )( )
c a c
y
F f y F f
aa


Chứng minh. Ta có:
0
2
( )( ) (ax)cos
ca
F f y f yxdx






0
0
12
(ax) os( ax) (ax)
12
( ) os( ) ( ), ax
1

()
c
y
f c d
aa
y
f t c t d t t
aa
y
Ff
aa













Định nghĩa 2.
Tích chập đối với phép biến đổi Fourier cosine của hai hàm
f
và
g
được xác

định bởi:
 
 
0
1
( ) ( ) , 0
2
c
F
f g x f t g x t g x t dt x




     




(1.2.3)
Tính chất 3. ( Định lí tích chập đối với phép biến đổi Fourier cosine. )
Cho
, ( )f g L R


khi đó tích chập (1.2.3) cũng thuộc
()LR

thỏa mãn đẳng
thức nhân tử hóa: