ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN
− − − − − − − − −
NGUYỄN THANH HỒNG
CÁC PHÉP BIẾN ĐỔI TÍCH PHÂN
KIỂU TÍCH CHẬP SUY RỘNG FOURIER, FOURIER
COSINE, FOURIER SINE VÀ ỨNG DỤNG
Chuyên ngành: Toán Giải tích
Mã số: 62 46 01 01
TÓM TẮT LUẬN ÁN TIẾN SĨ TOÁN HỌC
Hà Nội - 2012
Công trình được hoàn thành tại: Trường Đại học Khoa học Tự nhiên, Đại
học Quốc gia Hà Nội
Tập thể hướng dẫn khoa học:PGS. TS. Nguyễn Xuân Thảo
GS. TSKH. Nguyễn Văn Mậu
Phản biện 1: GS. TSKH. Phạm Kỳ Anh
Phản biện 2: GS. TSKH. Hà Huy Khoái
Phản biện 3: GS. TSKH. Nguyễn Mạnh Hùng
Luận án sẽ được bảo vệ trước Hội đồng chấm luận án cấp nhà nước họp
tại phòng Hội thảo, tầng 4, nhà T1, trường ĐHKHTN Hà Nội
vào hồi 14 giờ 00 ngày 01 tháng 3 năm 2012
Có thể tìm hiểu luận án này tại:
- Thư Viện Quốc Gia Việt Nam
- Trung tâm Thông tin - Thư viện, Đại học Quốc gia Hà Nội
MỤC LỤC
Trang phụ bìa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Lời cam đoan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Lời cảm ơn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
MỤC LỤC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
MỘT SỐ KÍ HIỆU DÙNG TRONG LUẬN ÁN . . . . . . . . . . . . 7
MỞ ĐẦU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

Chương 3. MỘT SỐ ỨNG DỤNG 77
3.1 Bất đẳng thức đối với tích chập Fourier cosine . . . . . . . . . 77
3.1.1 Định lí kiểu Young . . . . . . . . . . . . . . . . . . . . 79
3.1.2 Một bất đẳng thức trong không gian với trọng đối với
tích chập Fourier cosine . . . . . . . . . . . . . . . . . 82
3.1.3 Áp dụng đánh giá nghiệm một số bài toán trong không
gian L
p
(R
+
, ρ) . . . . . . . . . . . . . . . . . . . . . . . 84
3.2 Một số lớp các phương trình tích phân Toeplitz-Hankel . . . . 88
3.2.1 Phương trình Toeplitz-Hankel có nhân đặc biệt . . . . 88
3.2.2 Phương trình Toeplitz-Hankel có vế phải đặc biệt . . . 94
3.3 Một số lớp các bài toán vi-tích phân . . . . . . . . . . . . . . 98
3.3.1 Bài toán vi-tích phân kiểu phép biến đổi tích chập suy
rộng . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3.3.2 Hệ phương trình vi-tích phân kiểu phép biến đổi tích
chập suy rộng . . . . . . . . . . . . . . . . . . . . . . . 106
KẾT LUẬN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
DANH MỤC CÔNG TRÌNH ĐÃ CÔNG BỐ LIÊN QUAN ĐẾN LUẬN
ÁN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
TÀI LIỆU THAM KHẢO . . . . . . . . . . . . . . . . . . . . . . . . 114
−6−
MỘT SỐ KÍ HIỆU DÙNG TRONG LUẬN ÁN
a. Các không gian hàm dùng trong luận án
• R
+
= {x ∈ R, x > 0}.
• L

+
sao
cho
∞

0
|f(x)|
p
ρ(x)dx < ∞
trong đó ρ là một hàm trọng dương.
• f
L
p
(R)
là chuẩn của hàm f trong không gian L
p
(R), xác định bởi
f
L
p
(R)
=

∞

−∞
|f(x)|
p
dx


p
.
• f
L
p
(R
+
,ρ)
là chuẩn của hàm f trong không gian L
p
(R
+
, ρ), xác định bởi
f
L
p
(R
+
,ρ)
=

∞

0
|f(x)|
p
ρ(x)dx

1
p

đối với các phép biến đổi Fourier sine và Fourier cosine.
• (·
γ
∗
2
·) (xem trang 30) là tích chập suy rộng với hàm trọng γ(y) = sin y
đối với các phép biến đổi Fourier cosine và Fourier sine.
• (·
γ
∗
3
·) (xem trang 66) là tích chập suy rộng với hàm trọng γ(y) = e
−y
sin y
đối với các phép biến đổi Fourier sine, Fourier và Fourier cosine.
• (·
γ
∗
4
·) (xem trang 66) là tích chập suy rộng với hàm trọng γ(y) = e
−y
sin y
đối với các phép biến đổi Fourier cosine, Fourier và Fourier sine.
−8−
MỞ ĐẦU
1. Lịch sử vấn đề và lí do lựa chọn đề tài
Lý thuyết phép biến đổi tích phân đã ra đời và liên tục phát triển trong
suốt mấy trăm năm qua và có ứng dụng trong nhiều ngành khoa học, đặc biệt
là trong các ngành Vật lí như quang học, điện, cơ học lượng tử, âm thanh.
Lý thuyết phép biến đổi tích phân và tích chập đối với các phép biến đổi tích

−ixy
f(y)dy, f ∈ L
p
(R), 1  p  2.
(0.2)
Nếu g(x) = (F f)(x) ∈ L
1
(R) ta có phép biến đổi Fourier ngược như sau
(xem [9, 41])
f(x) = (F
−1
g)(x) = F
−1
[g](x) =
1
√
2π
∞

−∞
e
ixy
g(y)dy. (0.3)
9
Nếu g(x) = (F f)(x) ∈ L
p
(R), 1  p  2, thì ta có phép biến đổi Fourier
ngược như sau (xem [9, 41])
f(x) = (F
−1

), (0.5)
(F
s
f)(y) = F
s
[f](y) =

2
π
∞

0
f(x) sin xydx, f ∈ L
1
(R
+
), (0.6)
và với f ∈ L
p
(R
+
), 1  p  2, ta có
(F
c
f)(y) = F
c
[f](y) = lim
N→∞

2

nếu f ∈ L
1
(R
+
) ∩ L
p
(R
+
).
Cùng với lý thuyết phép biến đổi tích phân, tích chập đối với các phép
biến đổi tích phân cũng xuất hiện vào khoảng đầu thế kỉ 20. Tích chập đầu
tiên được xây dựng là tích chập đối với phép biến đổi Fourier, cụ thể tích
chập của hai hàm f và g đối với phép biến đổi Fourier có dạng như sau (xem
[39])
(f ∗
F
g)(x) =
1
√
2π
∞

−∞
f(y)g(x − y)dy, x ∈ R. (0.9)
−10−
Tích chập này thoả mãn đẳng thức nhân tử hoá sau (xem [39])
F [f ∗
F
g](y) = (F f)(y)(F g)(y), ∀y ∈ R, f, g ∈ L
1

(f ∗
F
c
g)(x) =F
c
[(F
c
f)(y)(F
c
g)(y)](x), ∀x > 0, f, g ∈ L
2
(R
+
). (0.12)
Sau đó, các tích chập đối với các phép biến đổi Laplace, Mellin đã được xây
dựng và nghiên cứu (xem [17, 13]). Tích chập đối với các phép biến đổi tích
phân có nhiều ứng dụng lí thú trong tính toán tích phân, tính tổng của chuỗi,
giải các bài toán Vật lí-Toán, phương trình vi phân, phương trình tích phân,
phương trình đạo hàm riêng, phương trình vi-tích phân, lí thuyết xác suất,
xử lí ảnh,
Mặc dù có rất nhiều ứng dụng thú vị trong nhiều lĩnh vực khác nhau nhưng
cho đến trước những năm 50 của thế kỉ trước, không có nhiều tích chập đối
với các phép biến đổi tích phân được xây dựng.
Năm 1958, lần đầu tiên Vilenkin Y.Ya. thiết lập được công thức tích chập
với hàm trọng đối với phép biến đổi Mehler-Fox (xem [58]). Gần một thập
kỉ sau, năm 1967, Kakichev V.A. đã đưa ra một phương pháp kiến thiết để
xây dựng tích chập với hàm trọng đối với một phép biến đổi tích phân bất
kì (xem [20]). Nhờ đó, ông đã xây dựng được tích chập đối với các phép biến
đổi tích phân Hankel, Kontorovich-Lebedev, tích chập với hàm trọng đối với
phép biến đổi tích phân Fourier sine (xem [20])

1
g)(x) =F
s
[(F
s
f)(y)(F
c
g)(y)](x), f, g ∈ L
2
(R
+
). (0.15)
Khoảng những năm 90 của thế kỉ trước, Yakubovich S. B. đã giới thiệu một
số tích chập suy rộng đối với các phép biến đổi tích phân Mellin, Kontorovich-
Lebedev, phép biến đổi G và phép biến đổi H theo chỉ số. Trong đó đẳng
thức nhân tử hoá có các phép biến đổi khác nhau thuộc cùng một họ. Trên
cơ sở đó và tiếp theo ý tưởng của Kakichev V.A. [20], năm 1998, Kakichev
V.A. và Nguyễn Xuân Thảo đã đưa ra phương pháp kiến thiết xây dựng tích
chập suy rộng với hàm trọng đối với ba phép biến đổi tích phân bất kì (xem
[22]). Kết quả trên đã mở ra một hướng mới nghiên cứu và xây dựng tích
chập suy rộng đối với các phép biến đổi tích phân khác nhau. Cho đến nay,
dựa trên công trình này, một số tích chập suy rộng đã được xây dựng và
nghiên cứu, chẳng hạn tích chập suy rộng đối với các phép biến đổi Stieltjes,
Hilbert, Fourier cosine và Fourier sine (xem [43]); tích chập suy rộng đối với
phép biến đổi I (xem [2, 52]); tích chập suy rộng với hàm trọng đối với các
phép biến đổi Fourier cosine và Kontorovich-Lebedev ngược (xem [2, 55]);
tích chập suy rộng đối với các phép biến đổi tích phân dạng Fourier (xem
[15, 16]) Tiếp theo, mở rộng khái niệm về tích chập suy rộng, khái niệm
về đa chập đã được Kakichev V.A. xây dựng năm 1998 (xem [21]). Đặc biệt,
năm 2008, trong Luận án Tiến sĩ của mình (xem [1]), tác giả Nguyễn Minh

thể viết lại dưới dạng sau
f(x) +
√
2π(f ∗
F
c
h
1
)(x) +
√
2π(f ∗
1
h
2
)(x) = g(x), x > 0,
trong đó h
1
=
1
2
(k
1
+ k
2
) và h
2
=
1
2
(k

trình nghiên cứu về phương trình vi-tích phân kiểu tích chập trong thời gian
gần đây (xem [7, 26]), không có nhiều phương trình, hệ phương trình vi-tích
phân có thể giải được nghiệm dưới dạng đóng. Trong trường hợp D là các
toán tử vi phân, ta có thể áp dụng vào thiết lập công thức nghiệm đóng cho
các phương trình và hệ phương trình vi-tích phân tương ứng.
Do những ưu điểm của tích chập và tích chập suy rộng trong việc giải
các bài toán phương trình vi phân, phương trình tích phân, phương trình
đạo hàm riêng, các bài toán Toán-lí, , việc giải các bài toán đó thường
nhận được nghiệm biểu diễn dưới dạng tích chập, vì vậy, xây dựng các bất
đẳng thức tích chập để thuận tiện cho việc đánh giá nghiệm là một hướng
nghiên cứu được rất nhiều các nhà khoa học quan tâm nghiên cứu. Một bất
đẳng thức điển hình đối với tích chập phải kể tới là bất đẳng thức Young đối
với tích chập Fourier (xem [3]). Tuy nhiên, trong không gian hàm điển hình
L
2
(R), bất đẳng thức này không đúng.
Trong một loạt các công trình [34, 37, 35, 36], các tác giả Saitoh S., Vũ
−14−
Kim Tuấn, Yamamoto M. đã xây dựng một lớp bất đẳng thức đối với các
tích chập Fourier và tích chập Laplace trong không gian L
p
(R, ρ) với hàm
trọng ρ(x) và đưa ra một số ứng dụng thú vị. Ưu điểm của các bất đẳng thức
này là áp dụng được cho trường hợp p = 2. Bất đẳng thức tương ứng với tích
chập đối với các phép biến đổi tích phân khác, cũng như đối với tích chập
với hàm trọng, tích chập suy rộng với hàm trọng vẫn chưa được xây dựng và
nghiên cứu.
Với những lí do trên, chúng tôi lựa chọn đề tài với tên gọi là "Các phép
biến đổi tích phân kiểu tích chập suy rộng Fourier, Fourier sine, Fourier
cosine và ứng dụng".

(R
+
, ρ) để chứng minh sự tồn tại của các phép biến đổi tích phân và tính
bị chặn của chúng trong không gian L
p
(R
+
). Sử dụng các kĩ thuật đánh giá
bất đẳng thức trong không gian L
p
(R
+
) để chứng minh các bất đẳng thức và
xây dựng các đánh giá nghiệm. Bên cạnh đó, chúng tôi còn sử dụng các kĩ
thuật phép biến đổi Fourier, Fourier sine và Fourier cosine vào xây dựng và
−15−
giải các phương trình tích phân Toeplitz-Hankel, phương trình và hệ phương
trình tích phân, phương trình và hệ phương trình vi-tích phân.
4. Cấu trúc và các kết quả của Luận án
Ngoài phần Mở đầu, Kết luận và Tài liệu tham khảo, Luận án được chia
làm ba chương:
Chương 1, xây dựng và nghiên cứu phép biến đổi tích phân kiểu tích chập
với hàm trọng đối với phép biến đổi Fourier sine, nhận được điều kiện cần và
đủ để phép biến đổi xây dựng được là unita trong không gian L
2
(R
+
). Định lí
kiểu Plancherel và tính bị chặn của phép biến đổi mới xây dựng trong không
gian L

hệ phương trình vi-tích phân.
−16−
5. Ý nghĩa của các kết quả của Luận án
Sự khác biệt giữa các kết quả của luận án và các luận án trước đó theo
cùng hướng nghiên cứu của tác giả (xem [1, 2]) thể hiện ở việc tích chập đối
với các phép biến đổi tích phân và phép biến đổi tích phân kiểu tích chập là
hai đối tượng hoàn toàn khác nhau, vì vậy cách tiếp cận, nghiên cứu chúng
cũng khác nhau. Hơn nữa, các kết quả của luận án được xây dựng trong
không gian L
2
(R
+
) và L
p
(R
+
), 1  p  2 thay vì trong L
1
(R
+
) như trong
các luận án trước. Các kết quả của Luận án góp phần làm phong phú thêm về
lí thuyết các phép biến đổi tích phân, phép biến đổi tích phân kiểu tích chập
suy rộng, và bất đẳng thức tích chập suy rộng; phong phú thêm lí thuyết
phương trình tích phân, phương trình vi-tích phân. Các kết quả và ý tưởng
của luận án có thể sử dụng trong nghiên cứu các phép biến đổi tích phân
kiểu tích chập suy rộng đối với các phép biến đổi tích phân khác. Nội dung
chính của Luận án dựa trên các công trình đã công bố, liệt kê ở mục "Danh
mục công trình đã công bố liên quan đến Luận án" (trang 113), các
kết quả này đã được báo cáo tại:

tích chập này thoả mãn đẳng thức nhân tử hoá [20, 50]
F
s
(f
γ
∗
F
s
g)(y) = sin y(F
s
f)(y)(F
s
g)(y), ∀y > 0, f, g ∈ L
1
(R
+
), (1.2)
trong đó, F
s
là phép biến đổi Fourier sine (xem [9]). Tích chập này được
nghiên cứu kĩ hơn trong tài liệu [50].
Trong chương này, chúng tôi xây dựng và nghiên cứu một lớp các phép
biến đổi tích phân liên quan đến tích chập (1.1), cụ thể, lớp các phép biến
đổi có dạng
(K
1;k
1
,k
2
f)(x) =

, (1.3)
18
Chúng ta nhận được điều kiện cần và đủ đối với k
1
và k
2
, để phép biến đổi (1.3)
là unita trong L
2
(R
+
). Các định lí kiểu Watson và Plancherel cho lớp phép
biến đổi trên (1.3) trong L
2
(R
+
) cũng được chứng minh. Hơn nữa, tính bị chặn
của toán tử tích phân (1.3) từ L
p
(R
+
) vào L
q
(R
+
) (1  p  2), p
−1
+q
−1
= 1

tương ứng là mở rộng lẻ của f và g từ R
+
vào
R. Khi đó trên R
+
ta có F f
1
= −iF
s
f và F g
1
= −iF
s
g. Sử dụng đẳng thức
Parseval đối với phép biến đổi Fourier
∞

−∞
f(y)g(x − y)dy =
∞

−∞
(F f)(y)(F g)(y)e
ixy
dy,
ta có
∞

0
f(u)[sign(x + u − 1)g(|x + u − 1|) + sign(x − u + 1)g(|x − u + 1|)

1
(u)g
1
(x − u − 1)du
=
∞

−∞
(F f
1
)(u)(F g
1
)(u)e
i(x+1)u
du −
∞

−∞
(F f
1
)(u)(F g
1
)(u)e
i(x−1)u
du
=
∞

−∞
(F f

(F f
1
)(u)(F g
1
)(u) sin

(x − 1)u

là các hàm số lẻ đối với u nên tích phân
trên R của chúng bằng 0, suy ra
∞

0
f(u)[sign(x + u − 1)g(|x + u − 1|) + sign(x − u + 1)g(|x − u + 1|)
− g(x + u + 1) − sign(x − u − 1)g(|x − u − 1|)]du =
=
∞

−∞
(F f
1
)(u)(F g
1
)(u) cos

(x + 1)u

du
−
∞

√
2πF
s

sin u(F
s
f)(u)(F
s
g)(u)

(x).
Bổ đề đã chứng minh xong. ✷
−20−
Định lí 1.1.1 Giả sử k
1
, k
2
là hai hàm số trong không gian L
2
(R
+
). Khi đó
điều kiện
|2 sin y(F
s
k
1
)(y) + (F
c
k

0
f(u)[sign(x+u−1)k
1
(|x+u−1|)−k
1
(x+u+1)
+ sign(x − u + 1)k
1
(|x − u + 1|) − sign(x − u − 1)k
1
(|x − u − 1|)]du
+
∞

0
f(u)[k
2
(|x − u|) − k
2
(x + u)]du

, (1.6)
là unita trên L
2
(R
+
) và phép biến đổi ngược có dạng sau
f(x) =

1 −

2
.
Nhận xét 1.1.1 Phép biến đổi (1.6) và phép biến đổi ngược của nó (1.7) có
thể viết lại dưới dạng sau
(K
1;k
1
,k
2
f)(x) = g(x) =

1 −
d
2
dx
2


2
√
2π(f
γ
∗
F
s
k
1
)(x) +
√
2π(f ∗

√
2π(g ∗
1
k
2
)(x)

.
−21−
Chứng minh (Định lí 1.1.1). Điều kiện cần. Giả sử k
1
và k
2
thoả mãn điều
kiện (1.5). Ta biết rằng các hàm h(y), yh(y), y
2
h(y) thuộc không gian L
2
(R)
khi và chỉ khi đồng thời các hàm (F h)(x),
d
dx
(F h)(x) và
d
2
dx
2
(F h)(x) cũng
thuộc L
2

(R
+
) thì ta có các đẳng thức sau

1 −
d
2
dx
2

(F
c
h)(x) = F
c

(1 + y
2
)h(y)

(x),

1 −
d
2
dx
2

(F
s
h)(x) = F


2 sin y(F
s
k
1
)(y) + (F
c
k
2
)(y)

(F
s
f)(y) ∈ L
2
(R
+
). Từ đó, sử
dụng bổ đề 1.1.1, đẳng thức Parseval đối với tích chập suy rộng (0.13) và
công thức (1.8) ta có
g(x) =
=

1 −
d
2
dx
2

F

s
k
1
)(y) + (F
c
k
2
)(y)

(F
s
f)(y)

(x).
Theo đẳng thức Parseval đối với phép biến đổi tích phân Fourier sine
f
L
2
(R
+
)
= F
s
f
L
2
(R
+
)
và chú ý rằng k

)
=F
s
f
L
2
(R
+
)
= f
L
2
(R
+
)
.
Vậy phép biến đổi (1.6) là đẳng cự.
Mặt khác, do
√
2π(1 + y
2
)

2 sin y(F
s
k
1
)(y) + (F
c
k

(F
s
f)(y).
Từ điều kiện (1.5) suy ra
(F
s
f)(y) =
√
2π(1 + y
2
)

2 sin y(F
s
k
1
)(y) + (F
c
k
2
)(y)

(F
s
g)(y).
Lại từ điều kiện (1.5) đối với k
1
, k
2
dẫn tới

s
k
1
)(y) + (F
c
k
2
)(y))(F
s
g)(y)

(x)
=

1 −
d
2
dx
2

F
s

2
√
2π sin y(F
s
k
1
)(y)(F

0
g(y)[k
2
(|x − y|) − k
2
(x + y)]dy

.
Vậy phép biến đổi (1.6) là unita trên L
2
(R
+
) và phép biến đổi ngược có dạng
(1.7).
Điều kiện đủ. Giả sử phép biến đổi (1.6) là unita trên L
2
(R
+
) với phép
biến đổi ngược dạng (1.7). Khi đó theo hệ thức Parseval đối với phép biến
đổi Fourier sine ta có
g
L
2
(R
+
)
=
√
2π(1 + y

)
, ∀f ∈ L
2
(R
+
). (1.9)
Xét toán tử nhân M
θ
[·] xác định bởi M
θ
[f](y) = θ(y)f(y), trong đó θ(y) =
√
2π(1 + y
2
)(2 sin y(F
s
k
1
)(y) + (F
c
k
2
)(y). Từ (1.9) suy ra M
θ
[·] là toán tử
unita trong L
2
(R
+
). Điều này xảy ra khi và chỉ khi

f(y)[sign(y −x)g(|y −x|) + g(y + x)]dy, x > 0, (1.10)
tích chập suy rộng này thoả mãn đẳng thức nhân tử hoá và đẳng thức Parseval
dưới đây [23, 54]
F
c
[f ∗
2
g](y) =(F
s
f)(y)(F
s
g)(y), f, g ∈ L
1
(R
+
), (1.11)
(f ∗
2
g)(x) =F
c
[(F
s
f)(y)(F
s
g)(y)](x), f, g ∈ L
2
(R
+
). (1.12)
Dưới đây ta chỉ ra một lớp hàm k

h
1
(x) =F
s

e
iu(x)

(1 + y
2
)(1 + sin
2
y)

(x);
h
2
(x) =F
s

e
iv(x)

(1 + y
2
)(1 + sin
2
y)

(x),

1
∗
2
h
2
)(x),
trong đó (·
γ
∗
F
s
·) xác định bởi (1.1) và (· ∗
2
·) xác định bởi (1.10) Khi đó
k
1
, k
2
∈ L
2
(R
+
) và từ các đẳng thức nhân tử hoá (1.2), (1.11) ta có
−24−



2 sin y(F
s
k

2π
(F
s
h
1
)(y)(F
s
h
2
)(y)



=



1
√
2π
(1 + sin
2
y)(F
s
h
1
)(y)(F
s
h
2

0
f(u)[g(|x + u − 1|) + g(|x − u − 1|)
−g(x + u + 1) − g(|x − u + 1|)]du, x > 0, (1.14)
F
s
[f
γ
∗
1
g](y) = sin y(F
c
f)(y)(F
c
g)(y), ∀y > 0, f, g ∈ L
1
(R
+
). (1.15)
Với hai hàm h
1
và h
2
thuộc không gian hàm L
2
(R
+
) sao cho
|(F
c
h

h
2
)(x), k
2
(x) =
1
√
2π
(h
1
∗
F
c
h
2
)(x),
trong đó, (·
γ
∗
1
·) xác định bởi (1.14), (· ∗
F
c
·) xác định bởi (0.10). Khi đó
k
1
, k
2
∈ L
2

h
1
)(y)(F
c
h
2
)(y) +
1
√
2π
(F
c
h
1
)(y)(F
c
h
2
)(y)



=



1
√
2π
(1 + sin

2
là các hàm số thoả mãn điều kiện (1.5) sao cho
K
1
(x) =

1 −
d
2
dx
2

k
1
(x) và K
2
(x) =

1 −
d
2
dx
2

k
2
(x) bị chặn địa phương.
Giả sử f ∈ L
2
(R

Khi đó ta có
1) g
N
∈ L
2
(R
+
) và khi N → ∞, g
N
hội tụ theo chuẩn trong L
2
(R
+
) tới
hàm g nào đó, hơn nữa,g
L
2
(R
+
)
= f
L
2
(R
+
)
.
2) Đặt g
N
= g.χ


(1.18)
cũng thuộc không gian L
2
(R
+
) và hội tụ theo chuẩn trong L
2
(R
+
) tới hàm f
khi N → +∞.
Chứng minh. Để ý rằng các tích phân xác định các hàm f
N
và g
N
thực chất
là trên đoạn hữu hạn nên chúng hiển nhiên hội tụ. Hơn nữa, ta có thể thực
−26−
hiện đổi thứ tự đạo hàm và tích phân. Đặt f
N
= f.χ
(0,N)
, khi đó
g
N
(x) =
N

0

f
N
(u)[sign(x + u − 1)k
1
(|x + u − 1|) − k
1
(x + u + 1)
+ sign(x − u + 1)k
1
(|x − u + 1|) − sign(x − u − 1)k
1
(|x − u − 1|)]du
+
∞

0
f
N
(u)[k
2
(|x − u|) − k
2
(x + u)]du.
Theo Định lí 1.1.1 suy ra g
N
∈ L
2
(R
+
). Hơn nữa, gọi g là ảnh của hàm f qua

1
(|x + u − 1|) − k
1
(x + u + 1)
+ sign(x − u + 1)k
1
(|x − u + 1|) − sign(x − u − 1)k
1
(|x − u − 1|)]du
+
∞

0
(f − f
N
)(u)[k
2
(|x − u|) − k
2
(x + u)]du.
Lại theo Định lí 1.1.1, g − g
N
∈ L
2
(R
+
) và
g − g
N


−27−