Tích chập tích phân và ứng dụng

Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng Tích chập tích phân và ứng dụng

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI

Mục lục

Mục lục 2

Lời cảm ơn 4

Lời cam đoan 5

Mở đầu 6

Một số kí hiệu dùng trong luận văn 10

1 Một số kiến thức cơ sở 12

1.1 Phép biến đổi Fourier 12

1.1.1 Định nghĩa 12

1.1.2 Các tính chất cơ bản của phép biến đổi Fourier 13

1.2 Phép biến đổi Fourier cosine và Fourier sine 17

1.2.1 Định nghĩa 17

1.2.2 Tính chất cơ bản của biến đổi Fourier cosine và Fourier sine 18

1.3 Phép biến đổi Kontorovich-Lebedev 22

1.3.1 Định nghĩa 22

1.3.2 Phép biến đổi ngược Kontorovich-Lebedev 23

1.3.3 Tích chập Kontorovich-Lebedev 23

1.4 Một số ứng dụng 23

1.4.1 Phương trình vi phân 23

1.4.2 Phương trình đạo hàm riêng 25

Kết luận chương 1 29

2 Tích chập suy rộng Fourier 30

2.1 Tích chập suy rộng Fourier sine - Fourier cosine 30

2.2 Tích chập suy rộng Fourier - Fourier sine - Fourier cosine 38

2.3 Một số ứng dụng 45

Kết luận chương 2 53

3 Tích chập suy rộng Kontorovich - Lebedev 54

3.1 Tích chập suy rộng Kontorovich-Lebedev ngược 54

3.2 Tích chập suy rộng Kontorovich-Lebedev giao hoán 68

3.3 Tích chập suy rộng Kontorovich-Lebedev không giao hoán 69

3.4 Ứng dụng 70

3.4.1 Hệ phương trình tích phân tổng quát dạng chập 70

3.4.2 Các ví dụ minh họa 74

Kết luận chương 3 82

Kết luận 83

Tài liệu tham khảo 84

Tôi cũng xin trân trọng cảm ơn Ban Giám hiệu, Phòng Sau đại học, cácthầy giáo, cô giáo của Seminar Giải tích, Đại học Bách Khoa Hà Nội đã giúp

đỡ và tạo điều kiện thuận lợi cho tôi trong suốt quá trình học tập, nghiên cứu

và hoàn thành luận văn này

Cuối cùng tôi xin được cảm ơn gia đình, bạn bè đã giúp đỡ, động viên kịpthời để tôi hoàn thành luận văn này

Hà Nội, ngày 26 tháng 09 năm 2016

Học viênMai Minh Long

LỜI CAM ĐOAN

Tôi xin cam đoan luận văn này là công trình nghiên cứu của riêng tôi dưới

sự hướng dẫn của PGS.TS.Nguyễn Xuân Thảo Tôi cũng xin cam đoan rằngluận văn này không trùng với các đề tài, luận văn đã công bố và các thông tintrích dẫn trong luận văn đã được chỉ rõ nguồn gốc

Tác giảMai Minh Long

MỞ ĐẦU

1 Lý do chọn đề tài

Phép biến đổi tích phân là một trong những vấn đề quan trọng của giảitích toán học và được phát triển liên tục trong khoảng hai trăm năm trở lại đây.Phép biến đổi tích phân đóng vai trò quan trọng trong toán học cũng như trongnhiều lĩnh vực khoa học tự nhiên khác, đặc biệt là trong việc giải các bài toánvới điều kiện ban đầu và điều kiện biên của phương trình vi phân, phương trìnhđạo hàm riêng, phương trình tích phân, và các bài toán của vật lý - toán Cácphép biến đổi tích phân là những công cụ có hiệu lực để chuyển các toán tử viphân, toán tử đạo hàm riêng, toán tử tích phân về toán tử đại số và đồng thờiđưa các hệ phương trình vi phân, tích phân về hệ phương trình đại số tuyến tínhquen thuộc Những phép biến đổi tích phân phổ biến nhất, có ứng dụng rộngrãi nhất và ra đời sớm nhất đó là các phép biến đổi tích phân Fourier, Fouriercosine, Fourier sine

Cùng với sự phát triển của lý thuyết các phép biến đổi tích phân, mộthướng 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ậpcủa các phép biến đổi tích phân xuất hiện vào khoảng đầu thế kỷ 20 Các tíchchập được nghiên cứu đầu tiên đó là: Tích chập đối với phép biến đổi tích phân

F g)(y) = (F f )(y).(F g)(y), ∀ y ∈ R, ∀ f, g ∈ L1(R).

Tích chập này thỏa mãn đẳng thức nhân tử hóa

F c (f ∗

F c

g)(y) = (F c f )(y).(F c g)(y), ∀y > 0, f, g ∈ L1(R + ).

Tiếp đến là tích chập đối với các phép biến đổi Laplace, Mellin, Hilbert,Hankel và Stieltjes

Các tích chập nói trên đều có cùng một thuộc tính đặc trưng đó là trongđẳng thức nhân tử hóa của chúng chỉ có duy nhất một phép biến đổi tích phântham gia Điều này ít nhiều làm hạn chế đến cấu trúc và việc ứng dụng chúngvào giải các các phương trình, hệ phương trình tích phân dạng chập và các bàitoán thực tế

Năm 1951, I.N.Sneddon [11] đã xây dựng được tích chập suy rộng đầu tiênđối với hai phép biến đổi tích phân Fourier sine và Fourier cosine

1 g)(y) = (Fsf )(y).(Fcg)(y), ∀y > 0, f, g ∈ L1(R+).

Năm 1958, lần đầu tiên tích chập với hàm trọng ra đời Đó là tích chậpvới hàm trọng đối với phép biến đổi tích phân Mehler – Fox được khám phá bởiV.Y.Ya

Sau đó, năm 1967, V.A.Kakichev đã xây dựng phương pháp kiến thiết tích

đẳng thức nhân tử hóa sau

K(f ∗ g)(y) = γ(y)(Kf )(y)(Kg)(y).

Nhờ phương pháp này mà một số tích chập với hàm trọng đã được xâydựng và nghiên cứu

Đến đầu những năm 90 của thế kỷ trước, S.B.Yakubovich đã đưa ra một

số tích chập suy rộng đối với các phép biến đổi tích phân với chỉ số, chẳng hạn

như tích chập đối với phép biến đổi tích phân Mellin, tích chập đối với phépbiến đổi tích phân Kontorovich - Lebedev, biến đổi G, biến đổi H.

Vào năm 1998, V.A.Kakichev và N.X.Thảo đã đưa ra phương pháp mới

K1(f γ∗ g)(y) = γ(y)(K2f )(y)(K3g)(y).

Từ ý tưởng của bài báo này trong những năm trở lại đây N.X.Thảo vàN.M.Khoa đã xây dựng và nghiên cứu hàng chục tích chập, tích chập suy rộng

và đa chập đối với chùm ba phép biến đổi tích phân Fourier, Fourier cosine,Fourier sine Chẳng hạn như: Tích chập suy rộng đối với phép biến đổi Fouriercosine và Fourier sine được xác định bởi

3 g)(y) = (Fsf )(y).(Fsg)(y), ∀y > 0. (0.2)

cosine và Fourier sine được xác định bởi

(fγ∗1

2 √ 2π

phương trình vi, tích phân Vì vậy, tôi đã chọn hướng nghiên cứu của luận văn

là "Tích chập tích phân và ứng dụng" Cụ thể luận văn nghiên cứu tích chập vàtích chập suy rộng đối với các phép biến đổi tích phân Fourier, Fourier cosine,Fourier sine, Kontorovich-Lebedev và ứng dụng chúng vào giải phương trình và

hệ phương trình tích phân dạng chập

2 Mục đích và nhiệm vụ nghiên cứu

Trình bày và nghiên cứu ba tích chập, tích chập suy rộng đối với các phépbiến đổi tích phân Fourier, Fourier cosine, Fourier sine, Kontorovich-Lebedev vàứng dụng chúng để giải phương trình tích phân và hệ phương trình tích phândạng chập

3 Đối tượng và phạm vi nghiên cứu

Nghiên cứu tích chập, tích chập suy rộng với hàm trọng đối với các phépbiến đổi tích phân Fourier, Fourier cosine, Fourier sine, Kontorovich-Lebedev vàứng dụng vào giải phương trình tích phân, hệ phương trình tích phân dạng chập

4 Phương pháp nghiên cứu

tích hàm

N.X.Thảo và kỹ thuật trong các bài báo của N.X.Thảo, N.M.Khoa để tìm hiểu,nghiên cứu các tích chập, tích chập suy rộng và các ứng dụng của chúng

5 Bố cục của luận văn

Ngoài phần Mở đầu và phần Kết luận, luận văn gồm ba chương:

Nhắc lại định nghĩa, các tính chất cơ bản của các phép biến đổi Fourier,Fourier cosine, Fourier sine, Kontorovich-Lebedev và một số ví dụ áp dụng cácphép biến đổi này trong việc giải các phương trình vi phân, phương trình đạohàm riêng

Trình bày định nghĩa và các tính chất của ba tích chập, tích chập suy rộngđối với các phép biến đổi tích phân Fourier, Fourier cosine và Fourier sine và

ứng dụng.

Trình bày định nghĩa và một số tính chất của tích chập suy rộng mà đẳngthức nhân tử hóa có biến đổi Kontorovich-Lebedev, ứng dụng của tích chập này

6 Kết quả đạt được

Luận văn đã trình bày làm rõ các vấn đề sau:

-Lebedev ngược và các tính chất, ứng dụng

các đẳng thức và ứng dụng

-Lebedev, Kontorovich - Lebedev ngược và ứng dụng

Kontorovich - Lebedev trong các bài toán toán lý

Luận văn này đã được báo cáo tại Seminar Giải tích, Đại học Bách Khoa

Hà Nội

Một số kí hiệu dùng trong luận văn

Chương 1Một số kiến thức cơ sở

Trong chương này, tôi sẽ trình bày một số kiến thức về các phép biếnđổi tích phân Fourier, Fourier sine, Fourier cosine, phép biến đổi Kontorovich-Lebedev, tích chập tương ứng của các phép biến đổi này và ứng dụng của chúngtrong việc giải phương trình vi phân và phương trình đạo hàm riêng

1.1 Phép biến đổi Fourier

Nhận xét: Nếu a = 12 th`ı F {e−2 }(y) = e−2 tức là hàm e−2 và biến đổiFourier của nó có dạng giống nhau (hàm có tính chất như vậy được gọi là tựnghịch đảo qua phép biến đổi Fourier).

Ví dụ 1.1.2: Tìm biến đổi Fourier của hàm

a (a 2 + y 2 ).

1.1.2 Các tính chất cơ bản của biến đổi Fourier

Tính chất 1: Phép biến đổi Fourier là toán tử tuyến tính

Chứng minh: Theo định nghĩa ta có

Tính chất 5: Nếu f (x) khả vi liên tục từng khúc và khả tích tuyệt đối thì(i) f (y) = (F f )(y)ˆ bị chặn,

(ii) f (y) = (F f )(y)ˆ liên tục ∀y ∈ R

Chứng minh: Theo định nghĩa, ta có

−∞

e−iyx[f (x) − f (x − π

y)]dx.

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

0

ˆ

f (y)cosxydy.

ˆ

f (y) = (Fsf )(y) =

r

2 π

0

được gọi là biến đổi Fourier sine của hàm f.

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

Ví dụ 1.2.1: Tìm biến đổi Fourier cosine và Fourier sine của hàm

Tính chất 1: Các phép biến đổi Fourier cosine và Fourier sine là các toán

0

f (ax)cosyxdx

= 1a

r

2 π

r

2 π

Định nghĩa 1.2.3: Tích chập đối với phép biến đổi Fourier cosine của hai

2 π

0

1

√ 2π

Định nghĩa: Cho f, g ∈ L1(R+).Tích chập với hàm trọng η(y) = sin y của

Mà f (x) ∈ L1(R+) nên tích phân (1.3.1) hội tụ.

1.3.2 Phép biến đổi ngược Kontorovich - Lebedev

Cho f, g ∈ L1(R+).Tích chập đối với phép biến đổi tích phân

Để ý rằng tất cả các tích chập trình bày ở trên đều có một đặc điểm chung

là đẳng thức nhân tử hóa của chúng chỉ có duy nhất một phép biến đổi tíchphân tham gia Do đó, ít nhiều làm ảnh hưởng đến tính ứng dụng của nó ỞChương 2 và Chương 3 sẽ trình bày các tích chập suy rộng với các phép biếnđổi tích phân và các ứng dụng của chúng

trong đó an, an−1, a1, a0 là các hằng số,D ≡ dxd và f (x) là hàm cho trước.Giải: Áp dụng biến đổi Fourier cho hai vế của (1.4.1) ta được

[an(ik)n+ an−1(ik)n−1+ + a1(ik) + a0](F y)(k) = (F f )(k).

Phương trình trên được viết gọn lại là

Ví dụ 1.4.2: Tìm nghiệm của phương trình vi phân

− d

2 u

Giải: Áp dụng biến đổi Fourier vào hai vế của (1.4.4) ta được

−(ik)2 ˆu(k) + a2 ˆu(k) =

ˆ

f (k)

1.4.2 Phương trình đạo hàm riêng

Ví dụ 1.4.3: Xét phương trình truyền nhiệt sau

và thỏa mãn các điều kiện

(ii) ∀T > 0, ∃ϕ ∈ L1(R) sao cho |ut(x, t)| ≤ ϕ(x), ∀t ∈ [0; T ], ∀x.

Giải: Biến đổi Fourier vế trái của (1.4.6) như là một hàm theo biến x (xem

Tương tự, biến đổi Fourier vế phải (1.4.6) và sử dụng tính chất 7 của biếnđổi Fourier ta có

F {u xx (x, t)}(k) = (ik)2 ˆu(k, t) = −k2 ˆu(k, t).

Như vậy, việc biến đổi Fourier hai vế của (1.4.6) cho ta phương trình viphân thường theo biến t

F u0(x)



= √12πt

(ii) u(x, 0) = P (x), (P (x) là hàm phân bố nhiệt độ ban đầu).

Ở đây, ta giả thiết thêm rằng hàm u cùng với tất cả các đạo hàm của nó

Giải: Áp dụng biến đổi Fourier sine vào hai vế của (1.4.9) ta có

0

u sin kxdx

U (k, t) sin kxdx.

Kết luận Chương 1

Trong chương một luận văn đã trình bày về :

Kontorovich-Lebedev, các tính chất cơ bản của chúng

riêng

Tài liệu tham khảo: [2], [4], [6 - 8], [11], [14]

Chương 2Tích chập suy rộng Fourier

Chương này sẽ trình bày về tích chập suy rộng Fourier sine - Fourier cosine,tích chập suy rộng Fourier - Fourier sine - Fourier cosine, một số mệnh đề, đẳngthức, định lý của chúng và một số ứng dụng

2.1 Tích chập suy rộng Fourier sine - Fourier cosine

đổi tích phân Fourier sine, Fourier cosine được xác định bởi

g(v)cos(yv)dv

!(2)

Đổi biến t = u, x = −(u − v), ta có

1 π

1 f )(y) = (Fsg)(y)(Fcf )(y).

Suy ra tích chập suy rộng (2.1.1) không giao hoán

không giao hoán, không kết hợp nhưng thỏa mãn các đẳng thức

= (Fsf )(y)(Fcg)(y)(Fch)(y)

= (Fsf )(y)(Fch)(y)(Fcg)(y)

tích phân Laplace được xác định bởi [5]

Đổi biến y = x + t ta được

0

|f (x)|dx.

suy rộng (2.1.1) trở thành vành định chuẩn không giao hoán, không kết hợp vàkhông có phần tử đơn vị

Giả sử e là phần tử đơn vị của phép toán tích chập (2.1.2) trong không

(f ∗

1 g)(x) = f (x), ∀x > 0, ∀f ∈ L1(R+).

Sử dụng đẳng thức nhân tử hóa (2.1.2) ta được

(F s f )(y)(F ce)(y) = (F s f )(y), ∀y > 0, ∀f ∈ L1(R + ),

Điều này và đẳng thức (2.1.15) dẫn tới điều vô lí

định chuẩn không giao hoán, không kết hợp và không có phần tử đơn vị

Do Định lý 2.1.1 ta có

Với n nguyên dương ta có

f (x)xnsin(yx + π

2)

dn(Fsf )(y0)

dy n (y − y0)n

≤ Cn!1n! |(y − y0)n| = C |(y − y0)n|

nên chuỗi trên hội tụ khi

|y − y0| < 1.

{y ∈ C : |y − y0| < 1}, y0∈ R+.

Tương tự (Fcg)(y) giải tích trong miền

f (u)[sign(u − x)(g(|u − x|) + g(u + x))]du, x > 0. (2.1.17)

tử hóa

F c (f ∗

3 g)(y) = (F s f )(y)(F s g)(y), ∀y > 0. (2.1.18)2.2 Tích chập suy rộng Fourier - Fourier sine - Fourier cosine

Fourier cosine và Fourier sine của các hàmf và g thuộcL1(R)có đẳng thức nhân

tử hóa

F (f γ∗3

5 g)(y) =signy(F c f )(|y|)(F s g)(|y|), ∀y ∈ R. (2.2.2)

không giao hoán và có đẳng thức

[g(|x − u|) − g(|x + u|)]f (u)du

− √2i2π

không kết hợp nhưng luôn thỏa mãn đẳng thức

=signy(Fcf )(|y|)[−i(Fcg)(y).(Fsh)(|y|)]

=signy(Fcf )(|y|)[−i(Fcf )(y).(Fsh)(|y|)]

=signy(Fcg)(|y|)Fs(f γ∗3

|f (x)|dx.

suy rộng (2.2.1) trở thành vành định vị chuẩn không giao hoán, không kết hợp

Điều này mâu thuẫn với (2.2.8).

Vậy không tồn tại phần tử đơn vị của phép toán tích chập (2.2.1) trong

signy(Fcf )(|y|)(Fsg)(|y|) = 0, ∀y ∈ R. (2.2.9)

Vì (Fcf )(|y|) và (Fsg)(|y|) là hàm giải tích ∀y ∈ R nên từ (2.2.9) ta suy ra

(F c f )(y) + λcosy(F c f )(y)(F c g)(y) = (F c h)(y).

(F c ψ)(y) =cosy [(F c h)(y) − λ(F c h)(y)(F c ϕ)(y)] (F c g)(y) − (F c h)(y)(F c ϕ)(y)

=cosy(F c h)(y)(F c g)(y) − (F c h)(y)(F c ϕ)(y)(1 + λ(F c g)(y)).

Bây giờ ta chứng minh nghiệm tìm được theo công thức trên là duy nhất

f − f 1 + λ((f − f 1 )γ∗2

4 g) = 0.

Điều này dẫn tới

Fc(f − f1)[1 + λcosy(Fcg)(y) = 0.

Giả sử phương trình (2.3.6) có nghiệm f ∈ L1(R+).Khi đó, từ Định lý 2.1.1

vào phương trình (2.3.6) ta được

= (Fsh)(y).(Fcϕ)(y) − {Fsh} − λFshFcϕ}(y)(Fcg)(y)

= (Fsh)(y)(Fcϕ)(y)[1 + λ(Fcg)(y)] − (Fsh)(y)(Fcg)(y)

Ta chứng minh nghiệm trên là duy nhất

Kết luận Chương 2

Chương hai đã trình bày về :

hóa, một số đẳng thức, mệnh đề của tích chập này

nhân tử hóa, một số đẳng thức, mệnh đề của tích chập này

Tài liệu tham khảo: [1], [11], [13]

Chương 3Tích chập suy rộng Kontorivich-Lebedev

đối với các phép biến đổi tích phân Fourier sine, Fourier cosine và Lebedev, tích chập suy rộng Kontorovich-Lebedev có tính giao hoán và không cótính giao hoán Từ đó nghiên cứu sự tồn tại, đẳng thức nhân tử hóa của chúng,một số tính chất và ứng dụng của chúng

Kontorovich-Các định lý chính của chương này là Định lý 3.1 và Định lý 3.2

3.1 Tích chập suy rộng Kontorovich-Lebedev ngược

Tích chập suy rộng Kontorovich-Lebedev là tích chập mà trong đẳng thứcnhân tử hóa có chứa nhiều phép biến đổi tích phân, trong đó có phép biến đổiKontorovich-Lebedev Dưới đây sẽ giới thiệu hai tích chập suy rộng Kontorovich-Lebedev

đối với các phép biến đổi tích phân Fourier sine, Fourier cosine và Lebedev được xác định như sau

2 g)(y) = γ(y)(K−1f )(y)(F s g)(y), ∀y > 0 (3.1.4)

[sinh(x + v)e−u cosh(x+v)

+ | sinh(x − v)|e−u cosh(x−v)]|f (u)||g(v)|dudvdx.

Bây giờ ta sẽ chứng minh tích chập suy rộng (3.1.1) thỏa mãn đẳng thức

nhân tử hóa (3.1.3) Thật vậy:

Vậy đẳng thức (3.1.3) được chứng minh.

f (u)[(sinh te−u cosh t∗

1 g(t))(x) − (sinh te−u cosh t∗

π √ π

π √ π

=sinh−1(πy)(K−1f )(y) sinh−1(πy)(K−1g)(y)(F s h)(y)

=sinh−1(πy)(K−1g)(y).Fc(f ∗γ

2 h)(y) = Fsg ∗γ

1 (f ∗γ

2 h)(y).

=sinh−1(πy)(K−1f )(y) sinh−1(πy)(K−1g)(y)(Fch)(y)

=sinh−1(πy)(K−1g)(y)sinh−1(πy)(K−1f )(y)(Fch)(y)

=sinh−1(πy)(K−1g)(y)Fs(f ∗γ

=sinh−1(πy)(K−1f )(y)(Fsg)(y)(Fsh)(y)

= (F s h)(y)sinh(πy)(K−1f )(y)(F s g)(y)

=sinh−1(πy)(K−1f )(y)sinh−1(πy)(K−1g)(y)(Fch)(y)(Fck)(y)

=sinh−1(πy)(K−1f )(y)sinh−1(πy)(K−1g)(y)(h ∗

đổi tích phân Fourier sine và Kontorovich-Lebedev (K) được xác định như sau:

Kontorovich-Các định lý chương Định lý 3.1 Định lý 3.2

3.1 Tích chập suy rộng Kontorovich-Lebedev ngược

Tích chập suy rộng Kontorovich-Lebedev tích chập. .. class="page_container" data-page="54">

Chương 3Tích chập suy rộng Kontorivich-Lebedev

đối với phép biến đổi tích phân Fourier sine, Fourier cosine Lebedev, tích chập suy rộng Kontorovich-Lebedev có... chứa nhiều phép biến đổi tích phân, có phép biến đổiKontorovich-Lebedev Dưới giới thiệu hai tích chập suy rộng Kontorovich-Lebedev

đối với phép biến đổi tích phân Fourier sine, Fourier