Tóm tắt Luận án Tiến sĩ: Tích chập suy rộng liên quan đến các phép biến đổi tích phân Laplace, Fourier và ứng dụng

Chia sẻ: Na Na | Ngày: | Loại File: PDF | Số trang:24

Thêm vào BST

Báo xấu

88
lượt xem 5
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Mục đích của luận án là xây dựng và nghiên cứu một số tích chập suy rộng liên quan đến phép biến đổi tích phân Laplace; nghiên cứu tính chất toán tử tích chập, thiết lập bất đẳng thức đối với các tích chập suy rộng này trong một số không gian hàm cụ thể; xây dựng và nghiên cứu các phép biến đổi tích phân kiểu tích chập suy rộng tương ứng; ứng dụng vào việc giải một lớp các phương trình, hệ phương trình tích phân và phương trình vi-tích phân.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Tóm tắt Luận án Tiến sĩ: Tích chập suy rộng liên quan đến các phép biến đổi tích phân Laplace, Fourier và ứng dụng

MỞ ĐẦU 1. Tổng quan về hướng nghiên cứu và lý do chọn đề tài Lý thuyết về phép biến đổi tích phân đã được đề cập và nghiên cứu từ rất sớm. Đến nay, nó đã trở thành một bộ phận quan trọng của Giải tích toán học. Một trong những nội dung được quan tâm của phép biến đổi tích phân là nghiên cứu các tích chập. Đó là một phép nhân đặc biệt được định nghĩa qua phép biến đổi tích phân tương ứng, thường được đưa vào nghiên cứu trong các không gian hàm mà ở đó phép nhân thông thường không tồn tại. Các tích chập đầu tiên được nghiên cứu là tích chập Laplace, tích chập Fourier. Năm 1951, tích chập suy rộng đầu tiên được Sneddon I.N. đề cập và nghiên là tích chập suy rộng Fourier sine và Fourier cosine. Cho đến những năm 90 của thế kỷ trước, một vài tích chập suy rộng đối với các phép biến đổi tích phân khác mới tiếp tục được nghiên cứu bởi Yakubovich S.B. Đó là các 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ố. Đến năm 1998, Kakichev V.A. và N.X. Thảo đưa ra định nghĩa tích chập suy rộng với hàm trọng γ của hai hàm f và k đối với ba phép biến đổi tích phân bất kỳ T1 , T2 và T3 thỏa mãn đẳng thức nhân tử γ hóa T1 f ∗ k (y) = γ(y) T2 f (y) T3 k (y) và cho điều kiện cần để xác định tích chập khi biết một số ràng buộc cụ thể về nhân của các phép biến đổi tích phân tương ứng. Nhờ kỹ thuật này mà những năm về sau đã có một số tích chập suy rộng liên quan đến các phép biến đổi tích phân khác được xây dựng. Tuy nhiên, đến nay vẫn chưa có một kết quả nghiên cứu chính thức nào về tích chập suy rộng liên quan đến phép biến đổi Laplace được công bố. Như một quy luật tự nhiên, khi đã xây dựng được tích chập f ∗ k (x), bằng cách cho một trong hai hàm cố định như là nhân trong biểu thức tích chập, chẳng hạn cố định hàm k, còn hàm f cho biến thiên trong một không gian hàm xác định nào đó ta sẽ nhận được phép biến đổi tích phân liên quan đến tích chập tương ứng, gọi là phép biến đổi tích phân kiểu 1
tích chập f 7→ g = f ∗ k . Phép biến đổi tích phân kiểu tích chập đầu tiên được Watson xây dựng và nghiên cứu là phép biến đổi liên quan đến tích chập Mellin. Tổng quát hơn, người ta có thể nghiên cứu phép biến đổi tích phân dạng f 7→ g = D f ∗ k mà D là một toán tử nào đó. Trong d2 trường hợp D = (1 − dx2 ) là một toán tử vi phân cấp 2, phép biến đổi tích phân kiểu tích chập Fourier cosine đã được V.K. Tuấn và Musallam thiết lập và nghiên cứu. Các phép biến đổi tích phân kiểu tích chập hoặc tích chập suy rộng liên quan đến biến đổi Fourier sine, Mellin, biến đổi Kontorovich-Lebedev sau đó cũng được nghiên cứu. Cho đến nay các phép biến đổi tích phân kiểu tích chập suy rộng Laplace có hàm trọng và không có hàm trọng vẫn chưa được nghiên cứu. Khi giải quyết các bài toán toán-lý, nghiệm của các bài toán này có thể được biểu diễn qua các tích chập tương ứng. Để đánh giá các nghiệm đó ta có thể dùng đến bất đẳng thức đối với tích chập. Đầu tiên phải kể đến bất đẳng thức Young và bất đẳng thức Saitoh đối với tích chập Fourier. Các bất đẳng thức dạng này đối với tích chập Mellin, tích chập Fourier cosine sau đó cũng được thiết lập nghiên cứu và cho nhiều ứng dụng thú vị. Tuy nhiên, các bất đẳng thức đối với tích chập suy rộng liên quan đến phép biến đổi Laplace đến nay vẫn chưa được đề cập và nghiên cứu. Từ những lý do trên, chúng tôi lựa chọn đề tài để nghiên cứu là "Tích chập suy rộng liên quan đến các phép biến đổi tích phân Laplace, Fourier và ứng dụng". 2. Mục đích, đối tượng và phạm vi nghiên cứu Mục đích của luận án là xây dựng và nghiên cứu một số tích chập suy rộng liên quan đến phép biến đổi tích phân Laplace. Nghiên cứu tính chất toán tử tích chập, thiết lập bất đẳng thức đối với các tích chập suy rộng này trong một số không gian hàm cụ thể. Xây dựng và nghiên cứu các phép biến đổi tích phân kiểu tích chập suy rộng tương ứng. Nghiên cứu các tính chất toán tử của phép biến đổi như tính unita, sự tồn tại toán tử ngược trong không gian L2 (R+ ). Từ đó, ứng dụng vào việc giải một lớp các phương trình, hệ phương trình tích phân và phương trình vi-tích phân. 2
3. Phương pháp nghiên cứu Trong luận án, chúng tôi sử dụng các phương pháp giải tích hàm, lý thuyết toán tử, phép biến đổi tích phân và lý thuyết tích chập. Chúng tôi ứng dụng bất đẳng thức H¨older để đánh giá chuẩn của các toán tử tích chập mới trong các không gian hàm cụ thể. Đặc biệt Định lý Wiener-Levy được sử dụng nhiều trong việc xây dựng công thức nghiệm đóng cho lớp các phương trình, hệ phương trình tích phân và phương trình vi-tích phân. 4. Cấu trúc và 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 xựng và nghiên cứu các tích chập suy rộng Fourier- Laplace. Nhận được các đẳng thức nhân tử hóa, đẳng thức kiểu Parseval, Định lý kiểu Titchmarch và một số đánh giá chuẩn trong các không gian hàm Lp (R+ ) và Lα,β p (R+ ). Tìm được mối liên hệ giữa các tích chập suy rộng mới với một số tích chập quan trọng đã biết. Hơn nữa, trong các không gian Lp (R+ ) và Lp (R+ , ρ), các bất đẳng thức kiểu Young, kiểu Saitoh đối với tích chập suy rộng Fourier-Laplace cũng được thiết lập và chứng minh. Chương 2, thiết lập và nghiên cứu các phép biến đổi tích phân kiểu tích chập suy rộng Fourier-Laplace. Nghiên cứu các tính chất toán tử của các phép biến biến đổi này, ta nhận được các Định lý kiểu Watson cho điều kiện cần và đủ để các phép biến đổi tương ứng là unita trong không gian L2 (R+ ), hơn nữa ta cũng xác định được điều kiện đủ cho sự tồn tại các phép biến đổi ngược. Ngoài ra Định lý kiểu Plancherel đối với phép biến đổi tích phân tương ứng cũng được chứng minh. Chương 3, một số lớp phương trình tích phân, hệ phương trình tích phân và phương trình vi-tích phân được giải nhờ vào tích chập suy rộng Fourier-Laplace và phép biến đổi tích phân kiểu tích chập suy rộng Fourier- Laplace. Hơn nữa, bằng phương pháp giải này nghiệm nhận được từ các các phương trình trên đều được cho dưới dạng dóng. 3
5. Ý nghĩa của các kết quả của luận án Các tích chập suy rộng liên quan đến biến đổi Laplace, các phép biến đổi tích phân kiểu tích chập suy rộng Laplace, và một số bất đẳng thức đối với các tích chập suy rộng tương ứng lần đầu tiên được đề cập và nghiên cứu trong luận án. Các kết quả này có ý nghĩa khoa học và góp phần làm phong phú hơn về lý thuyết phép biến đổi tích phân, tích chập cũng như bất đẳng thức đối với tích chập. Từ đó, đưa ra cách tiếp cận mới và các phương pháp giải phương trình tích phân và phương trình vi-tích phân. Một số ý tưởng và phương pháp được sử dụng trong luận án có thể dùng nghiên cứu các tích chập suy rộng khác. Nội dung chính của luận án dựa vào bốn công trình đã công bố, được liệt kê ở "Danh mục công trình đã công bố của luận án", gồm ba công trình trên các tạp chí toán học Quốc tế (trong đó [4] thuộc tạp chí trong danh mục ISI) và một công trình trên tạp chí toán học Quốc gia. Các kết quả này đã được báo cáo một phần hoặc toàn bộ tại: + Hội nghị Toán học Việt-Pháp, tháng 8 năm 2012, tại Huế. + Hội nghị Toán học Toàn quốc lần thứ 8, tháng 8 năm 2013, tại Nha Trang. + Hội nghị Quốc tế Giải tích phức hữu hạn và vô hạn chiều và ứng dụng (ICFIDCAA), tháng 8 năm 2011 tại Hà Nội. + Hội thảo Toán học phối hợp Trường Đại học Bách khoa Hà Nội và Trường Đại học Heidelberg của Đức, tháng 3 năm 2015. + Seminar Giải tích, Trường Đại học Bách khoa Hà Nội. + Seminar Giải tích-Đại số, Trường Đại học Khoa học Tự nhiên Hà Nội. 4
Chương 1 TÍCH CHẬP SUY RỘNG FOURIER-LAPLACE Mục đích của Chương 1 là nghiên cứu một số tích chập suy rộng liên quan đến phép biến đổi Laplace. Nghiên cứu các tính chất toán tử của các tích chập suy rộng này trong một số không gian hàm khác nhau. Thiết lập các bất đẳng thức kiểu Young, kiểu Saitoh đối với các tích chập tương ứng. 1.1 Tích chập suy rộng Fourier cosine-Laplace Định nghĩa 1.1.1 Tích chập suy rộng của hai hàm f và k đối với hai phép biến đổi tích phân Fourier cosine và Laplace được định nghĩa như sau 1 ∞ ∞ Z Z f ∗ k (x) = θ1 (x, u, v)f (u)k(v)dudv, (1.1) 1 π 0 0 trong đó v v θ1 (x, u, v) = + , x > 0. (1.2) v 2 + (x − u)2 v 2 + (x + u)2 Ta gọi Ac là không gian ảnh của L1 (R+ ) thông qua phép biến đổi Fourier cosine Fc . Với chuẩn kf kAc := kFc f kL1 (R+ ) thì Ac là đại số Banach, nghĩa là nếu f (x), k(x) ∈ Ac , thì f (x)k(x) ∈ Ac và thỏa mãn kf kkAc ≤ kf kAc kkkAc . Định lý 1.1.1 Giả sử các hàm f (x) và k(x) thuộc không gian L2 (R+ ). Khi đó ta có f ∗ k (x) ∈ Ac , và thỏa mãn đẳng thức kiểu Parseval 1 f ∗ k (x) = Fc Fc f (y) Lk (y) (x), ∀x > 0. (1.3) 1 Hơn nữa, ta cũng nhận được đẳng thức nhân tử hóa sau Fc f ∗ k (y) = Fc f (y) Lk (y), ∀y > 0. (1.4) 1 Bổ đề 1.1.1 Nếu k(x) ∈ L1 (R+ ), thì Lk (y) ∈ Ac . 5
Định lý 1.1.2 Giả sử rằng f (x), k(x) ∈ L1 (R+ ). Khi đó đối với tích chập f ∗ k (x), các đẳng thức kiểu Parseval (1.3) và đẳng thức nhân tử hóa 1 (1.4) vẫn còn đúng, hơn nữa f ∗ k (x) ∈ L1 (R+ ). 1 Nhận xét 1.1.1 Trong biểu thức tích chập suy rộng Fourier cosine-Laplace . ∗ . , nếu thay thế nhân θ1 (x, u, v) bởi nhân 1 v v θ2 (x, u, v) = − , x > 0, (1.5) v 2 + (x − u)2 v 2 + (x + u)2 thì ta sẽ nhận được tích chập suy rộng mới. Đó là tích chập suy rộng Fourier sine-Laplace được định nghĩa bởi 1 ∞ ∞ Z Z f ∗ k (x) = θ2 (x, u, v)f (u)k(v)dudv, (1.6) 2 π 0 0 thỏa mãn đẳng thức nhân tử hóa Fs f ∗ k (y) = Fs f (y) Lk (y), ∀y > 0, f, k ∈ L2 (R+ ). (1.7) 2 Định lý 1.1.3 Giả sử rằng f (x), f 0 (x) ∈ L2 (R+ ) và k(x) ∈ L2 (R+ ). Khi đó, ta có các đẳng thức sau d 0 f ∗ k (x) = f ∗ k (x), (1.8) dx 1 2 r Z ∞ d 0 2 yk(y) f ∗ k (x) = f ∗ k (x) + f (0) dy. (1.9) dx 2 1 π 0 x2 + y 2 Định nghĩa 1.1.2 Tích chập suy rộng với hàm trọng γ(y) = e−µy (µ > 0) của hai hàm f và k đối với hai phép biến đổi tích phân Fourier cosine và Laplace được định nghĩa như sau 1 ∞ ∞ Z Z γ f ∗ k (x) = θ1 (x, u, v + µ)f (u)k(v)dudv, (1.10) 1 π 0 0 trong đó θ1 (x, u, v) được xác định bởi (1.2). 6
Định lý 1.1.4 Giả sử f (x), k(x) ∈ L1 (R+ ). Khi đó, tích chập suy rộng γ f ∗ k (x) thuộc L1 (R+ ), thỏa mãn bất đẳng thức chuẩn 1 γ k f ∗k k ≤ kf kL1 (R+ ) kkkL1 (R+ ) , (1.11) 1 L1 (R+ ) và có đẳng thức nhân tử hóa γ Fc f ∗ k (y) = e−µy Fc f (y) Lk (y), ∀y > 0. (1.12) 1 γ Ngoài ra, tích chập suy rộng f ∗ k (x) cũng thuộc C0 (R+ ). 1 Định lý 1.1.5 (Định lý kiểu Titchmarch) Cho hai hàm số liên tục γ k(x) ∈ L1 (R+ ) và f (x) ∈ L1 (R+ , eαx ) (α > 0). Nếu f ∗ k (x) = 0, ∀x > 0 1 thì hoặc f (x) = 0, ∀x > 0 hoặc k(x) = 0, ∀x > 0. Định lý 1.1.6 Giả sử p > 1, r ≥ 1, 0 < β ≤ 1, các hàm f (x) ∈ Lp (R+ ) γ và k(x) ∈ L1 (R+ ). Khi đó tích chập suy rộng f ∗ k (x) tồn tại, liên tục 1 và thuộc Lα,β r (R+ ). Hơn nữa, ta có đánh giá sau γ k f ∗k k ≤ Ckf kLp (R+ ) kkkL1 (R+ ) , (1.13) 1 Lα,β r (R+ ) 2 1/p − α+1 trong đó C = ( πµ ) β Γ1/r (α + 1) với Γ là hàm Gamma. Ngoài ra, nếu r γ f (x) ∈ L1 (R+ ) ∩ Lp (R+ ) thì tích chập suy rộng f ∗ k (x) thuộc C0 (R+ ), 1 và thỏa mãn đẳng thức nhân tử hóa (1.12). Định lý 1.1.7 Giả sử α > −1, 0 < β ≤ 1, p > 1, q > 1, r ≥ 1 thỏa mãn 1 1 p + = 1. Khi đó, nếu f (x) ∈ Lp (R+ ) và k(x) ∈ Lq (R+ , (1 + x2 )q−1 ), thì q γ tích chập f ∗ k (x) tồn tại, liên tục, bị chặn trong Lα,β r (R+ ) và có 1 γ k f ∗k k ≤ Ckf kLp (R+ ) kkkLq (R+ ,(1+x2 )q−1 ) , (1.14) 1 Lα,β r (R+ ) 1 1 α+1 trong đó C = µ− p π − q β − r Γ1/r (α + 1). Hơn nữa, nếu giả thiết thêm f (x) ∈ L1 (R+ ) ∩ Lp (R+ ) và k(x) ∈ L1 (R+ ) ∩ Lq (R+ , (1 + x2 )q−1 ) thì tích chập γ f ∗ k (x) thuộc C0 (R+ ) và thỏa mãn đẳng thức nhân tử hóa (1.12). 1 7
γ Nhận xét 1.1.2 Trong tích chập suy rộng . ∗ . , nếu thay thế nhân 1 θ1 (x, u, v + µ) bởi θ2 (x, u, v + µ) được xác định như (1.5), thì ta nhận γ được tích chập suy rộng Fourier sine-Laplace . ∗ . với hàm trọng γ(y) = 2 e−µy (µ > 0) được định nghĩa bởi 1 ∞ ∞ Z Z γ f ∗ k (x) = θ2 (x, u, v + µ)f (u)k(v)dudv, (1.15) 2 π 0 0 và thỏa mãn đẳng thức nhân tử hóa γ Fs f ∗ k (y) = e−µy Fs f (y) Lk (y), ∀y > 0, f, k ∈ L1 (R+ ). (1.16) 2 1.2 Tích chập suy rộng Fourier cosine-Fourier sine-Laplace với hàm trọng Định nghĩa 1.2.1 Tích chập suy rộng với hàm trọng γ(y) = − sin y của hai hàm f (x) và k(x) đối với ba phép biến đổi tích phân Fourier cosine, Fourier sine và Laplace được định nghĩa như sau Z ∞Z ∞ γ 1 f ∗ k (x) = θ2 (x − 1, u, v) − θ2 (x + 1, u, v) f (u)k(v)dudv, 3 2π 0 0 (1.17) với θ2 (x, u, v) được xác định bởi (1.5). n o Ta đặt H(R+ ) = f (x) : Lf (y) ∈ L2 (R+ ) . Định lý 1.2.1 Giả sử f (x) ∈ L2 (R+ ) và k(x) ∈ H(R+ ). Khi đó, tích chập γ suy rộng f ∗ k (x) thuộc L2 (R+ ) thỏa mãn đẳng thức kiểu Parseval 3 γ f ∗ k (x) = Fc − sin y Fs f Lk (x), ∀x > 0, (1.18) 3 và đẳng thức nhân tử hóa sau γ Fc f ∗ k (y) = − sin y Fs f (y) Lk (y), ∀y > 0. (1.19) 3 8
Định nghĩa 1.2.2 Tích chập suy rộng với hàm trọng γ(y) = −e−µy sin y (µ > 0) của hai hàm f và k đối với ba phép biến đổi tích phân Fourier cosine, Fourier sine và Laplace được định nghĩa như sau Z ∞Z ∞ γ 1 f ∗ k (x) = θ2 (x − 1, u, v + µ) 5 2π 0 0 − θ2 (x + 1, u, v + µ) f (u)k(v)dudv, (1.20) với θ2 (x, u, v) được xác định bởi (1.5). Định lý 1.2.2 Giả sử f (x) và k(x) là hai hàm thuộc không gian L1 (R+ ). γ Khi đó, tích chập suy rộng f ∗ k (x) thuộc không gian L1 (R+ ), và ta có 5 bất đẳng thức chuẩn γ k f ∗k k ≤ kf kL1 (R+ ) kkkL1 (R+ ) . 5 L1 (R+ ) γ Hơn nữa, tích chập suy rộng f ∗ k (x) cũng thuộc C0 (R+ ), thỏa mãn đẳng 5 thức nhân tử hóa γ Fc f ∗ k (y) = −e−µy sin y Fs f (y) Lk (y), ∀y > 0, , (1.21) 5 và đẳng thức kiểu Parseval γ f ∗ k (x) = Fc − e−µy sin y Fs f (y) Lk (y) (x), ∀x > 0. (1.22) 5 Định lý 1.2.3 Giả sử rằng p > 1, r ≥ 1, 0 < β ≤ 1, các hàm f (x) ∈ γ Lp (R+ ) và k(x) ∈ L1 (R+ ). Khi đó tích chập suy rộng f ∗ k (x) tồn tại, 5 liên tục và bị chặn trong Lα,β r (R+ ). Hơn nữa, tích chập này thỏa mãn bất đẳng thức chuẩn sau γ k f ∗k k ≤ Ckf kLp (R+ ) kkkL1 (R+ ) , (1.23) 5 Lα,β r (R+ ) 2 1/p − α+1 ở đó C = ( πµ ) .β r .Γ1/r (α + 1) với Γ là hàm Gamma Euler. γ Ngoài ra, nếu f (x) ∈ L1 (R+ ) ∩ Lp (R+ ) thì tích chập suy rộng f ∗ k (x) 5 thuộc C0 (R+ ), thỏa mãn đẳng thức nhân tử hóa (1.21) và đẳng thức kiểu Parseval (1.22). 9
Định lý 1.2.4 Cho α > −1, 0 < β ≤ 1, p > 1, q > 1, r ≥ 1 thỏa mãn 1 1 p + = 1. Khi đó, nếu các hàm f (x) ∈ Lp (R+ ) và k(x) ∈ Lq (R+ , e(q−1)x ) q γ thì tích chập f ∗ k (x) tồn tại, liên tục và bị chặn trong Lα,β r (R+ ). Hơn 5 nữa, ta có bất đẳng thức chuẩn γ k f ∗k k ≤ Ckf kLp (R+ ) kkkLq (R+ ,e(q−1)x ) , (1.24) 5 Lα,β r (R+ ) α+1 2 1/q − trong đó C = ( πµ ) .β r .Γ6 1/r (α + 1). Ngoài ra, nếu f (x) ∈ L1 (R+ )∩Lp (R+ ) và k(x) ∈ L1 (R+ )∩Lq (R+ , e(q−1)x ) γ thì tích chập f ∗ k (x) cũng thuộc C0 (R+ ) thỏa mãn đẳng thức nhân tử 5 hóa (1.21) và đẳng thức kiểu Parseval (1.22). 1.3 Mối liên hệ giữa tích chập suy rộng Fourier- Laplace và các tích chập khác Mệnh đề 1.3.1 Cho f (x), k(x) và h(x) là các hàm trong L1 (R+ ). Khi đó, ta có các đẳng thức sau γ γ γ γ γ γ a) f ∗ k ∗ h = f ∗ k ∗ h. b) f ∗ k ∗ h = f ∗ k ∗ h. Fs 2 Fs 2 Fc 1 Fc 1 γ γ γ γ c) f ∗ k ∗ h = f ∗ k ∗ h. d) f ∗ k ∗ h = f ∗ k ∗ h. Fs Fc 1 Fs Fc 1 Fc Fs 2 Fc Fs 1 Mệnh đề 1.3.2 Cho f (x) và k(x) là hai hàm trong không gian L1 (R+ ). Khi đó, ta có các đẳng thức sau r Z ∞ γ 2 v+µ a) f ∗ k (x) = k(v) f (u) ∗ (x)dv. 1 π 0 Fc (v + µ)2 + u2 r Z ∞ γ 2 v+µ b) f ∗ k (x) = k(v) f (u) ∗ (x)dv. 2 π 0 Fs Fc (v + µ)2 + u2 10
1.4 Bất đẳng thức đối với tích chập suy rộng Fourier cosine-Laplace với hàm trọng 1.4.1 Định lý kiểu Young Định lý 1.4.1 (Định lý kiểu Young) Cho p, q, r > 1, p1 + 1q + 1r = 2 và f (x) ∈ Lp (R+ ), k(x) ∈ Lq (R+ , (x + µ)q−1 ) (µ > 0), h(x) ∈ Lr (R+ ). Khi đó:
Z ∞ γ
1−q f ∗ k (x).h(x)dx
≤ µ q kf kLp (R+ ) kkkLq (R+ ,(x+µ)q−1 ) khkLr (R+ ) .
0 1 1.4.2 Định lý kiểu Saitoh Định lý 1.4.2 (Định lý kiểu Saitoh) Giả sử ρj ∈ L1 (R+ ) (j = 1, 2) là hai hàm số dương, khi đó ta có bất đẳng thức đối với tích chập suy rộng Fourier cosine-Laplace với hàm trọng sau đây đúng với mọi Fj ∈ Lp (R+ , ρj ) γ γ 1/p−1 || (F1 ρ1 ) ∗ (F2 ρ2 ) ρ1 ∗ ρ2 ||Lp (R+ ) ≤ ||F1 ||Lp (R+ ,ρ1 ) ||F2 ||Lp (R+ ,ρ2 ) . 1 1 Kết luận Chương 1 Xây dựng và nghiên cứu bốn tích chập suy rộng Fourier-Laplace: (. ∗ .), 1 γ γ γ (. ∗ .), (. ∗ .) và (. ∗ .). Nhận được các kết quả chính sau: 1 3 5 • Các đánh giá chuẩn của toán tử tích chập trong một số không gian hàm. • Các đẳng thức nhân tử hóa, đẳng thức kiểu Parseval, Định lý kiểu Titchmarch. • Các bất đẳng thức kiểu Young, kiểu Saitoh cho tích chập suy rộng Fourier cosine-Laplace với hàm trọng. Nội dung của chương này dựa vào một phần của mỗi bài báo [1], [2], [3] và [4] trong Danh mục công trình đã công bố của luận án. 11
Chương 2 PHÉP BIẾN ĐỔI TÍCH PHÂN KIỂU TÍCH CHẬP SUY RỘNG FOURIER-LAPLACE Mục đích của chương này là thiết lập và nghiên cứu các phép biến đổi tích phân dựa trên các tích chập suy rộng Fourier cosine-Laplace và tích chập suy rộng Fourier cosine-Fourier sine-Laplace với hàm trọng đã được nghiên cứu trong Chương 1. 2.1 Phép biến đổi tích phân kiểu tích chập suy rộng Fourier cosine-Laplace Xét phép biến đổi tích phân liên quan đến tích chập suy rộng Fourier cosine-Laplace (1.1): d2 f (x) 7→ g(x) = Tk f (x) = 1 − 2 f ∗ k (x), x > 0, (2.1) dx 1 trong đó k là nhân của phép biến đổi. 2.1.1 Định lý kiểu Watson Định lý 2.1.1 Giả sử rằng k(x) ∈ L2 (R+ ), hoặc k(x) ∈ H(R+ ) sao cho tích phân (1.1) hội tụ như tích phân lặp. Khi đó điều kiện cần và đủ để phép biến đổi tích phân (2.1) unita trong L2 (R+ ) là
(1 + y 2 ) Lk (y)
= 1, y > 0.