MỞ ĐẦU Tổng quan hướng nghiên cứu lý chọn đề tài Lý thuyết phép biến đổi tích phân đề cập nghiên cứu từ sớm Đến nay, trở thành phận quan trọng Giải tích toán học Một nội dung quan tâm phép biến đổi tích phân nghiên cứu tích chập Đó phép nhân đặc biệt định nghĩa qua phép biến đổi tích phân tương ứng, thường đưa vào nghiên cứu không gian hàm mà phép nhân thông thường không tồn Các tích chập nghiên cứu tích chập Laplace, tích chập Fourier Năm 1951, tích chập suy rộng Sneddon I.N đề cập nghiên tích chập suy rộng Fourier sine Fourier cosine Cho đến năm 90 kỷ trước, vài tích chập suy rộng phép biến đổi tích phân khác tiếp tục nghiên cứu Yakubovich S.B Đó tích chập suy rộng phép biến đổi tích phân Mellin, Kontorovich-Lebedev, phép biến đổi G phép biến đổi H theo số Đến năm 1998, Kakichev V.A N.X Thảo đưa định nghĩa tích chập suy rộng với hàm trọng γ hai hàm f k ba phép biến đổi tích phân T1 , T2 T3 thỏa mãn đẳng thức nhân tử γ hóa T1 f ∗ k (y) = γ(y) T2 f (y) T3 k (y) cho điều kiện cần để xác định tích chập biết số ràng buộc cụ thể nhân phép biến đổi tích phân tương ứng Nhờ kỹ thuật mà năm sau có số tích chập suy rộng liên quan đến phép biến đổi tích phân khác xây dựng Tuy nhiên, đến chưa có kết nghiên cứu thức tích chập suy rộng liên quan đến phép biến đổi Laplace công bố Như quy luật tự nhiên, xây dựng tích chập f ∗ k (x), cách cho hai hàm cố định nhân biểu thức tích chập, chẳng hạn cố định hàm k, hàm f cho biến thiên không gian hàm xác định ta nhận phép biến đổi tích phân liên quan đến tích chập tương ứng, gọi phép biến đổi tích phân kiểu tích chập f → g = f ∗ k Phép biến đổi tích phân kiểu tích chập Watson xây dựng nghiên cứu phép biến đổi liên quan đến tích chập Mellin Tổng quát hơn, người ta nghiên cứu phép biến đổi tích phân dạng f → g = D f ∗ k mà D toán tử Trong trường hợp D = (1 − d2 dx2 ) 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 V.K Tuấn Musallam thiết lập nghiên cứu Các phép biến đổi tích phân kiểu tích chập tích chập suy rộng liên quan đến biến đổi Fourier sine, Mellin, biến đổi Kontorovich-Lebedev sau nghiên cứu Cho đến phép biến đổi tích phân kiểu tích chập suy rộng Laplace có hàm trọng hàm trọng chưa nghiên cứu Khi giải toán toán-lý, nghiệm toán biểu diễn qua tích chập tương ứng Để đánh giá nghiệm ta dùng đến bất đẳng thức tích chập Đầu tiên phải kể đến bất đẳng thức Young bất đẳng thức Saitoh tích chập Fourier Các bất đẳng thức dạng tích chập Mellin, tích chập Fourier cosine sau thiết lập nghiên cứu cho nhiều ứng dụng thú vị Tuy nhiên, bất đẳng thức tích chập suy rộng liên quan đến phép biến đổi Laplace đến chưa đề cập nghiên cứu Từ lý trên, lựa chọn đề tài để nghiên cứu "Tích chập suy rộng liên quan đến phép biến đổi tích phân Laplace, Fourier ứng dụng" Mục đích, đối tượng phạm vi nghiên cứu Mục đích luận án xây dựng nghiên cứu 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 tích chập suy rộng số không gian hàm cụ thể Xây dựng nghiên cứu 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 tính chất toán tử phép biến đổi tính unita, tồn toán tử ngược không gian L2 (R+ ) Từ đó, ứng dụng vào việc giải lớp phương trình, hệ phương trình tích phân phương trình vi-tích phân Phương pháp nghiên cứu Trong luận án, sử dụng 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 lý thuyết tích chập Chúng ứng dụng bất đẳng thức H¨older để đánh giá chuẩn toán tử tích chập không gian hàm cụ thể Đặc biệt Định lý Wiener-Levy sử dụng nhiều việc xây dựng công thức nghiệm đóng cho lớp phương trình, hệ phương trình tích phân phương trình vi-tích phân Cấu trúc kết luận án Ngoài phần Mở đầu, Kết luận Tài liệu tham khảo, luận án chia làm ba chương: Chương 1, xây xựng nghiên cứu tích chập suy rộng FourierLaplace Nhận đẳng thức nhân tử hóa, đẳng thức kiểu Parseval, Định lý kiểu Titchmarch số đánh giá chuẩn không gian hàm Lp (R+ ) Lα,β p (R+ ) Tìm mối liên hệ tích chập suy rộng với số tích chập quan trọng biết Hơn nữa, không gian Lp (R+ ) Lp (R+ , ρ), bất đẳng thức kiểu Young, kiểu Saitoh tích chập suy rộng Fourier-Laplace thiết lập chứng minh Chương 2, thiết lập nghiên cứu phép biến đổi tích phân kiểu tích chập suy rộng Fourier-Laplace Nghiên cứu tính chất toán tử phép biến biến đổi này, ta nhận Định lý kiểu Watson cho điều kiện cần đủ để phép biến đổi tương ứng unita không gian L2 (R+ ), ta xác định điều kiện đủ cho tồn phép biến đổi ngược Ngoài Định lý kiểu Plancherel phép biến đổi tích phân tương ứng chứng minh Chương 3, số lớp phương trình tích phân, hệ phương trình tích phân phương trình vi-tích phân giải nhờ vào tích chập suy rộng Fourier-Laplace phép biến đổi tích phân kiểu tích chập suy rộng FourierLaplace Hơn nữa, phương pháp giải nghiệm nhận từ các phương trình cho dạng dóng Ý nghĩa kết luận án Các tích chập suy rộng liên quan đến biến đổi Laplace, phép biến đổi tích phân kiểu tích chập suy rộng Laplace, số bất đẳng thức tích chập suy rộng tương ứng lần đề cập nghiên cứu luận án Các kết có ý nghĩa khoa học góp phần làm phong phú lý thuyết phép biến đổi tích phân, tích chập bất đẳng thức tích chập Từ đó, đưa cách tiếp cận phương pháp giải phương trình tích phân phương trình vi-tích phân Một số ý tưởng phương pháp sử dụng luận án dùng nghiên cứu tích chập suy rộng khác Nội dung luận án dựa vào bốn công trình công bố, liệt kê "Danh mục công trình công bố luận án", gồm ba công trình tạp chí toán học Quốc tế (trong [4] thuộc tạp chí danh mục ISI) công trình tạp chí toán học Quốc gia Các kết báo cáo phần toàn tại: + Hội nghị Toán học Việt-Pháp, tháng năm 2012, Huế + Hội nghị Toán học Toàn quốc lần thứ 8, tháng năm 2013, Nha Trang + Hội nghị Quốc tế Giải tích phức hữu hạn vô hạn chiều ứng dụng (ICFIDCAA), tháng năm 2011 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 Trường Đại học Heidelberg Đức, tháng 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 Chương TÍCH CHẬP SUY RỘNG FOURIER-LAPLACE Mục đích Chương nghiên cứu số tích chập suy rộng liên quan đến phép biến đổi Laplace Nghiên cứu tính chất toán tử tích chập suy rộng số không gian hàm khác Thiết lập bất đẳng thức kiểu Young, kiểu Saitoh 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 hai hàm f k hai phép biến đổi tích phân Fourier cosine Laplace định nghĩa sau f ∗ k (x) = π ∞ ∞ θ1 (x, u, v)f (u)k(v)dudv, (1.1) θ1 (x, u, v) = v v + , x > v + (x − u)2 v + (x + u)2 (1.2) Ta gọi Ac không gian ảnh L1 (R+ ) thông qua phép biến đổi Fourier cosine Fc Với chuẩn f Ac := Fc f L1 (R+ ) Ac đại số Banach, nghĩa f (x), k(x) ∈ Ac , f (x)k(x) ∈ Ac thỏa mãn f k Ac ≤ f Ac k Ac Định lý 1.1.1 Giả sử hàm f (x) k(x) thuộc không gian L2 (R+ ) Khi ta có f ∗ k (x) ∈ Ac , thỏa mãn đẳng thức kiểu Parseval f ∗ k (x) = Fc Fc f (y) Lk (y) (x), ∀x > (1.3) Hơn nữa, ta nhận đẳng thức nhân tử hóa sau Fc f ∗ k (y) = Fc f (y) Lk (y), ∀y > Bổ đề 1.1.1 Nếu k(x) ∈ L1 (R+ ), Lk (y) ∈ Ac (1.4) Định lý 1.1.2 Giả sử f (x), k(x) ∈ L1 (R+ ) Khi tích chập f ∗ k (x), đẳng thức kiểu Parseval (1.3) đẳng thức nhân tử hóa (1.4) đúng, f ∗ k (x) ∈ L1 (R+ ) Nhận xét 1.1.1 Trong biểu thức tích chập suy rộng Fourier cosine-Laplace ∗ , thay nhân θ1 (x, u, v) nhân θ2 (x, u, v) = v v − , x > 0, v + (x − u)2 v + (x + u)2 (1.5) ta nhận tích chập suy rộng Đó tích chập suy rộng Fourier sine-Laplace định nghĩa f ∗ k (x) = π ∞ ∞ θ2 (x, u, v)f (u)k(v)dudv, (1.6) 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) Định lý 1.1.3 Giả sử f (x), f (x) ∈ L2 (R+ ) k(x) ∈ L2 (R+ ) Khi đó, ta có đẳng thức sau d f ∗ k (x) = f ∗ k (x), dx d f ∗ k (x) = f ∗ k (x) + dx (1.8) f (0) π ∞ yk(y) dy x2 + y (1.9) Định nghĩa 1.1.2 Tích chập suy rộng với hàm trọng γ(y) = e−µy (µ > 0) hai hàm f k hai phép biến đổi tích phân Fourier cosine Laplace định nghĩa sau γ f ∗ k (x) = 1 π ∞ ∞ θ1 (x, u, v + µ)f (u)k(v)dudv, 0 θ1 (x, u, v) xác định (1.2) (1.10) Đị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 γ f ∗k ≤ f L1 (R+ ) L1 (R+ ) k L1 (R+ ) , (1.11) có đẳng thức nhân tử hóa γ Fc f ∗ k (y) = e−µy Fc f (y) Lk (y), ∀y > (1.12) γ Ngoài ra, tích chập suy rộng f ∗ k (x) thuộc C0 (R+ ) Định lý 1.1.5 (Định lý kiểu Titchmarch) Cho hai hàm số liên tục γ k(x) ∈ L1 (R+ ) f (x) ∈ L1 (R+ , eαx ) (α > 0) Nếu f ∗ k (x) = 0, ∀x > f (x) = 0, ∀x > k(x) = 0, ∀x > Định lý 1.1.6 Giả sử p > 1, r ≥ 1, < β ≤ 1, hàm f (x) ∈ Lp (R+ ) γ k(x) ∈ L1 (R+ ) Khi tích chập suy rộng f ∗ k (x) tồn tại, liên tục thuộc Lα,β r (R+ ) Hơn nữa, ta có đánh giá sau γ f ∗k 1/p − C = ( πµ ) β α+1 r Lα,β r (R+ ) ≤C f Lp (R+ ) k L1 (R+ ) , (1.13) Γ1/r (α + 1) với Γ hàm Gamma Ngoài ra, γ f (x) ∈ L1 (R+ ) ∩ Lp (R+ ) tích chập suy rộng f ∗ k (x) thuộc C0 (R+ ), thỏa mãn đẳng thức nhân tử hóa (1.12) Định lý 1.1.7 Giả sử α > −1, < β ≤ 1, p > 1, q > 1, r ≥ thỏa mãn p + q = Khi đó, f (x) ∈ Lp (R+ ) k(x) ∈ Lq (R+ , (1 + x2 )q−1 ), γ tích chập f ∗ k (x) tồn tại, liên tục, bị chặn Lα,β r (R+ ) có γ f ∗k 1 Lα,β r (R+ ) C = µ− p π − q β − α+1 r ≤C f Lp (R+ ) k Lq (R+ ,(1+x2 )q−1 ) , (1.14) Γ1/r (α + 1) Hơn nữa, giả thiết thêm f (x) ∈ L1 (R+ ) ∩ Lp (R+ ) k(x) ∈ L1 (R+ ) ∩ Lq (R+ , (1 + x2 )q−1 ) tích chập γ f ∗ k (x) thuộc C0 (R+ ) thỏa mãn đẳng thức nhân tử hóa (1.12) γ Nhận xét 1.1.2 Trong tích chập suy rộng ∗ , thay nhân θ1 (x, u, v + µ) θ2 (x, u, v + µ) xác định (1.5), ta nhận γ tích chập suy rộng Fourier sine-Laplace ∗ với hàm trọng γ(y) = e−µy (µ > 0) định nghĩa ∞ f ∗ k (x) = π γ ∞ θ2 (x, u, v + µ)f (u)k(v)dudv, (1.15) 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.2 (1.16) 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 hai hàm f (x) k(x) ba phép biến đổi tích phân Fourier cosine, Fourier sine Laplace định nghĩa sau ∞ ∞ f ∗ k (x) = 2π γ θ2 (x − 1, u, v) − θ2 (x + 1, u, v) f (u)k(v)dudv, 0 (1.17) với θ2 (x, u, v) xác định (1.5) Ta đặt H(R+ ) = f (x) : Lf (y) ∈ L2 (R+ ) Định lý 1.2.1 Giả sử f (x) ∈ L2 (R+ ) 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 γ Lk (x), ∀x > 0, (1.18) Fc f ∗ k (y) = − sin y Fs f (y) Lk (y), ∀y > (1.19) f ∗ k (x) = Fc − sin y Fs f đẳng thức nhân tử hóa sau γ Đị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) hai hàm f k ba phép biến đổi tích phân Fourier cosine, Fourier sine Laplace định nghĩa sau f ∗ k (x) = 2π ∞ γ ∞ θ2 (x − 1, u, v + µ) 0 − θ2 (x + 1, u, v + µ) f (u)k(v)dudv, (1.20) với θ2 (x, u, v) xác định (1.5) Định lý 1.2.2 Giả sử f (x) k(x) 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+ ), ta có bất đẳng thức chuẩn γ f ∗k ≤ f L1 (R+ ) L1 (R+ ) k L1 (R+ ) γ Hơn nữa, tích chập suy rộng f ∗ k (x) thuộc C0 (R+ ), thỏa mãn đẳng thức nhân tử hóa γ Fc f ∗ k (y) = −e−µy sin y Fs f (y) Lk (y), ∀y > 0, , (1.21) đẳng thức kiểu Parseval γ f ∗ k (x) = Fc − e−µy sin y Fs f (y) Lk (y) (x), ∀x > (1.22) Định lý 1.2.3 Giả sử p > 1, r ≥ 1, < β ≤ 1, hàm f (x) ∈ γ Lp (R+ ) k(x) ∈ L1 (R+ ) Khi tích chập suy rộng f ∗ k (x) tồn tại, liên tục bị chặn Lα,β r (R+ ) Hơn nữa, tích chập thỏa mãn bất đẳng thức chuẩn sau γ f ∗k 1/p − C = ( πµ ) β α+1 r Lα,β r (R+ ) ≤C f Lp (R+ ) k L1 (R+ ) , (1.23) Γ1/r (α + 1) với Γ hàm Gamma Euler γ Ngoài ra, f (x) ∈ L1 (R+ ) ∩ Lp (R+ ) tích chập suy rộng f ∗ k (x) thuộc C0 (R+ ), thỏa mãn đẳng thức nhân tử hóa (1.21) đẳng thức kiểu Parseval (1.22) Định lý 1.2.4 Cho α > −1, < β ≤ 1, p > 1, q > 1, r ≥ thỏa mãn p + q = Khi đó, hàm f (x) ∈ Lp (R+ ) k(x) ∈ Lq (R+ , e(q−1)x ) γ tích chập f ∗ k (x) tồn tại, liên tục bị chặn Lα,β r (R+ ) Hơn nữa, ta có bất đẳng thức chuẩn γ f ∗k Lα,β r (R+ ) 1/q − C = ( πµ ) β α+1 r ≤C f k Lp (R+ ) Lq (R+ ,e(q−1)x ) , (1.24) Γ6 1/r (α + 1) Ngoài ra, f (x) ∈ L1 (R+ )∩Lp (R+ ) k(x) ∈ L1 (R+ )∩Lq (R+ , e(q−1)x ) γ tích chập f ∗ k (x) thuộc C0 (R+ ) thỏa mãn đẳng thức nhân tử hóa (1.21) đẳng thức kiểu Parseval (1.22) 1.3 Mối liên hệ tích chập suy rộng FourierLaplace tích chập khác Mệnh đề 1.3.1 Cho f (x), k(x) h(x) hàm L1 (R+ ) Khi đó, ta có đẳng thức sau γ γ γ γ Fs Fs γ a) f ∗ k ∗ h = f ∗ k ∗ h Fc γ c) f ∗ γ k ∗ h = f ∗ k ∗ h d) f ∗ Fs Fc γ b) f ∗ k ∗ h = f ∗ k ∗ h Fs Fc Fc Fs Fc γ γ k ∗ h = f ∗ k ∗ h Fc Fs Mệnh đề 1.3.2 Cho f (x) k(x) hai hàm không gian L1 (R+ ) Khi đó, ta có đẳng thức sau γ a) f ∗ k (x) = γ b) f ∗ k (x) = 2 π π ∞ k(v) f (u) ∗ Fc ∞ k(v) f (u) ∗ v+µ (x)dv (v + µ)2 + u2 Fs Fc 10 v+µ (x)dv (v + µ)2 + u2 1.4 Bất đẳng thức 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 = f (x) ∈ Lp (R+ ), k(x) ∈ Lq (R+ , (x + µ)q−1 ) (µ > 0), h(x) ∈ Lr (R+ ) Khi đó: ∞ γ f ∗ k (x).h(x)dx ≤ µ 1.4.2 1−q q f Lp (R+ ) k Lq (R+ ,(x+µ)q−1 ) h Lr (R+ ) Định lý kiểu Saitoh Định lý 1.4.2 (Định lý kiểu Saitoh) Giả sử ρj ∈ L1 (R+ ) (j = 1, 2) hai hàm số dương, ta có bất đẳng thức tích chập suy rộng Fourier cosine-Laplace với hàm trọng sau với Fj ∈ Lp (R+ , ρj ) γ || (F1 ρ1 ) ∗ (F2 ρ2 ) γ ρ1 ∗ ρ 1/p−1 ||Lp (R+ ) ≤ ||F1 ||Lp (R+ ,ρ1 ) ||F2 ||Lp (R+ ,ρ2 ) Kết luận Chương Xây dựng nghiên cứu bốn tích chập suy rộng Fourier-Laplace: ( ∗ ), γ γ γ ( ∗ ), ( ∗ ) ( ∗ ) Nhận kết sau: • Các đánh giá chuẩn toán tử tích chập 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 chương dựa vào phần báo [1], [2], [3] [4] Danh mục công trình công bố luận án 11 Chương PHÉP BIẾN ĐỔI TÍCH PHÂN KIỂU TÍCH CHẬP SUY RỘNG FOURIER-LAPLACE Mục đích chương thiết lập nghiên cứu phép biến đổi tích phân dựa tích chập suy rộng Fourier cosine-Laplace tích chập suy rộng Fourier cosine-Fourier sine-Laplace với hàm trọng nghiên cứu Chương 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) → g(x) = Tk f (x) = − dx f ∗ k (x), x > 0, (2.1) k nhân phép biến đổi 2.1.1 Định lý kiểu Watson Định lý 2.1.1 Giả sử k(x) ∈ L2 (R+ ), k(x) ∈ H(R+ ) cho tích phân (1.1) hội tụ tích phân lặp Khi điều kiện cần đủ để phép biến đổi tích phân (2.1) unita L2 (R+ ) (1 + y ) Lk (y) = 1, y > (2.2) Hơn nữa, phép biến đổi ngược tồn xác định d2 f (x) = − dx k hàm liên hợp phức k 12 g ∗ k (x), (2.3) Mệnh đề 2.1.1 Giả thiết k(x) hàm thỏa mãn điều kiện Định lý 2.1.1, điều kiện (2.2) thay điều kiện sau < C1 ≤ (1 + y ) Lk (y) ≤ C2 < ∞ (2.4) Khi đó, L2 (R+ ) ta có đánh giá bất đẳng thức chuẩn sau C1 f L2 (R+ ) ≤ g L2 (R+ ) ≤ C2 f L2 (R+ ) (2.5) Hơn nữa, phép biến đổi ngược tồn xác định d2 f (x) = − dx k1 ∈ L2 (R+ ) cho Fc k1 (y) = 2.1.2 g ∗ k1 (x), Fc (1+y )2 Lk (y) (2.6) Liên hệ phép biến đổi tích phân với đạo hàm Định lý 2.1.2 Giả sử k(x) có đạo hàm đến cấp hai, k(x), k (x) ∈ L2 (R+ ) k(x), k (x) ∈ H(R+ ) cho tích phân (1.1) hội tụ k k , k(0) = Khi đó, ta có đánh giá sau Tk f (x) = f ∗ (k + k ) (x) − k (0)f (x) 2.2 (2.7) Phép biến đổi tích phân kiểu tích chập suy rộng Fourier cosine-Fourier sine-Laplace với hàm trọng Xét phép biến đổi tích phân liên quan đến tích chập suy rộng (1.17): f (x) → g(x) = Tk1 ,k2 f (x) d2 = 1− dx γ f ∗ k1 (x) + f ∗ k2 (x) , x > 0, Fc Fs k1 , k2 nhân phép biến đổi 13 (2.8) 2.2.1 Định lý kiểu Watson Định lý 2.2.1 Giả sử k1 (x) ∈ H(R+ ) k2 (x) ∈ L2 (R+ ), điều kiện cần đủ để phép biến đổi tích phân (2.8) unita L2 (R+ ) − sin y Lk1 (y) + Fs k2 (y) = + y2 (2.9) Hơn nữa, phép biến đổi ngược có dạng f (x) = − d2 dx2 γ − g ∗ k1 (x) + k2 ∗ g (x) , Fs Fc (2.10) k1 k2 hàm liên hợp phức k1 k2 2.2.2 Định lý kiểu Plancherel Xét phép biến đổi tích phân kiểu tích chập suy rộng Fourier sine-Fourier cosine-Laplace với hàm trọng d2 f (x) → g(x) = − dx γ f ∗ k1 (x) + f ∗ k2 (x) , x > 0, Fs Fc (2.11) Định lý 2.2.2 Giả sử k1 ∈ H(R+ ), k2 ∈ L2 (R+ ) cho (2.11) unita d2 θ2 (x − 1, u, v) − θ2 (x + 1, u, v) , dx2 d2 Θ2 (x, u, v) = − θ1 (x − 1, u, v) − θ1 (x + 1, u, v) , dx d2 K(x) = − k2 (x) dx Θ1 (x, u, v) = − hàm bị chặn Cho f ∈ L2 (R+ ) với số tự nhiên N, đặt ∞ N gN (x) = 2π Θ2 (x, u, v)f (u)k1 (v)dudv 0 N +√ 2π f (u) K(|x − u|) − K(x + u) du 14 Khi đó: 1) Ta có gN ∈ L2 (R+ ), N → ∞ gN hội tụ theo chuẩn L2 (R+ ) đến hàm g ∈ L2 (R+ ) với g L2 (R+ ) = f L2 (R+ ) 2) Đặt g N = g.χ(0, N ), ∞ ∞ fN (x) = − 2π Θ1 (x, u, v)g N (u)k1 (v)dudv 0 ∞ +√ 2π g N (u) K(x + u) + sign(u − x)K(|x − u|) du, thuộc L2 (R+ ), N → ∞ fN hội tụ theo chuẩn đến f Kết luận Chương Xây dựng hai phép biến đổi tích phân kiểu tích chập suy rộng Fourier cosine-Laplace Tk Fourier cosine-Fourier sine-Laplace Tk1 ,k2 với hàm trọng Nhận kết chính: • Định lý kiểu Watson điều kiện cần đủ để phép biến đổi Tk Tk1 ,k2 unita L2 (R+ ) • Xác định điều kiện đủ để toán tử Tk bị chặn có biến đổi ngược • Định lý kiểu Plancherel tồn dãy toán tử hội tụ theo chuẩn toán tử tích phân Tk1 ,k2 toán tử ngược Nội dung chương dựa vào phần báo [3] [4], Danh mục công trình công bố luận án 15 Chương MỘT SỐ ỨNG DỤNG Trong chương này, sử dụng kết nghiên cứu Chương Chương để giải số lớp phương trình tích phân, hệ phương trình tích phân, phương trình vi-tích phân cho công thức nghiệm dạng đóng 3.1 Giải phương trình hệ phương trình tích phân Định lý 3.1.1 (Định lý Wiener-Levy) Giả sử f biến đổi Fourier hàm thuộc L1 (R), ϕ hàm giải tích lân cận gốc, chứa miền {f (y), ∀y ∈ R} thỏa mãn ϕ(0) = 0, ϕ(f ) ảnh qua phép biến đổi Fourier hàm thuộc L1 (R) Nhận xét 3.1.1 Định lý Wiener-Levy cho phép biến đổi Fourier cosine 3.1.1 Giải phương trình tích phân a) Xét phương trình tích phân loại có dạng ∞ K1 (x, u)f (u)du = g(x), x > 0, (3.1) K1 (x, u) = π ∞ θ1 (x, u, v)k(v)dv, (3.2) với θ1 (x, u, v) xác định (1.2) Định lý 3.1.2 Cho g(x), k(x) ∈ L1 (R+ ) Khi đó, điều kiện cần đủ để phương trình (3.1) có nghiệm L1 (R+ ) 16 Fc g (y) Lk (y) ∈ Ac Hơn nữa, nghiệm cho dạng ∞ f (x) = Fc g (y) cos xydy Lk (y) (3.3) b) Xét phương trình tích phân loại hai có dạng ∞ f (x) + K1 (x, u)f (u)du = g(x), x > 0, (3.4) nhân K1 (x, u) cho (3.2) k(x), g(x) hàm cho trước L1 (R+ ), f (x) hàm cần tìm Định lý 3.1.3 Giả sử điều kiện sau thỏa mãn + Lk (y) = 0, ∀y > (3.5) Khi phương trình (3.4)có nghiệm L1 (R+ ) Hơn nữa, nghiệm cho dạng f (x) = g(x) − q ∗ g (x), Fc (3.6) q(x) ∈ L1 (R+ ) xác định q(x) = Fc Lk (y) + Lk (y) (x) (3.7) c) Xét phương trình tích phân loại hai có dạng ∞ f (x) + K2 (x, t)f (t)dt = g(x), x > 0, (3.8) K2 (x, t) = √ π 2π R+ θ1 (x, u, v + µ) ψ(|u − t|) + ψ(u + t) ϕ(v)dudv, µ > 0, với θ1 (x, u, v) xác định (1.2) 17 Định lý 3.1.4 Giả sử ϕ(x), ψ(x) ∈ L1 (R+ ) Khi đó, điều kiện cần đủ để phương trình (3.8) có nghiệm L1 (R+ ) với hàm g(x) thuộc L1 (R+ ) + e−µy (Fc ψ)(y)(Lϕ)(y) = 0, ∀y > Hơn nữa, nghiệm biểu diễn dạng sau f (x) = g(x) − g ∗ q (x), Fc (3.9) đó, hàm q ∈ L1 (R+ ) xác định e−µy (Fc ψ)(y)(Lϕ)(y) Fc q (y) = + e−µy (Fc ψ)(y)(Lϕ)(y) (3.10) d) Xét phương trình tích phân loại hai có dạng ∞ f (x) + K4 (x, t)f (t)dt = g(x), x > 0, (3.11) K4 (x, t) = √ 2π 2π R+ θ2 (x − 1, u, v + µ) − θ2 (x + 1, u, v + µ) × ϕ(u + t) + sign(u − t)ϕ(|u − t|) ψ(v)dudv, (3.12) với θ2 (x, u, v) xác định (1.5) Định lý 3.1.5 Giả sử g(x), ϕ(x), ψ(x) ∈ L1 (R+ ) Khi điều kiện cần đủ để phương trình tích phân (3.11) có nghiệm L1 (R+ ) với hàm g(x) thuộc L1 (R+ ) + e−µy sin y(Fc ϕ)(y)(Lψ)(y) = 0, ∀y > Hơn nữa, nghiệm cho dạnh sau f (x) = g(x) + g ∗ q (x), Fc q hàm thuộc L1 (R+ ) cho −e−µy sin y(Fc ϕ)(y)(Lψ)(y) Fc q (y) = , + e−µy sin y(Fc ϕ)(y)(Lψ)(y) 18 Ví dụ 3.1.1 Ta chọn hàm ϕ(x), ψ(x) sau ϕ(x) = e−ax , ψ(x) = e−bx (a, b > 0) Khi dễ thấy ϕ(x), ψ(x) ∈ L1 (R+ ) ta có y , π a2 + y Fs ϕ (y) = Lψ (y) = b+y (3.13) Từ đẳng thức nhân tử hóa (1.19) (3.13), ta có γ6 Fc ϕ ∗ ψ (y) = −e−µy sin y Fs ϕ (y) Lψ (y) −µy y e sin y π (a + y )(b + y) =− γ6 Khi đó, ta có − Fc ϕ ∗ ψ (y) = 0, ∀y > Theo Định lý Wiener-Levy, tồn hàm q(x) ∈ L1 (R+ ) cho − Fc q (y) = −µy πe sin y (a2 +y2y)(b+y) −µy πe 1+ (3.14) sin y (a2 +y2y)(b+y) Suy − q(x) = Fc 1+ =− π −µy πe −µy πe ∞ sin y (a2 +y2y)(b+y) (x) sin y (a2 +y2y)(b+y) y sin y cos xy (a2 + y )(b + y)eµy + nghiệm cho f (x) = g(x) + g ∗ q (x) Fc 19 dy, π y sin y 3.1.2 Giải hệ phương trình tích phân a) Xét hệ hai phương trình tích phân loại hai có dạng ∞ f (x) + K6 (x, t)g(t)dt = p(x), ∞ g(x) + K7 (x, t)f (t)dt = q(x), x > (3.15) Trong K6 (x, t) = √ π 2π K7 (x, t) = √ π 2π R+ R+ θ1 (x, u, v + µ) k(|u − t|) + k(u + t) ϕ(v)dudv, θ1 (x, u, v + µ) l(|u − t|) + l(u + t) ψ(v)dudv, (3.16) với θ1 (x, u, v) xác định (1.2) Định lý 3.1.6 Giả thiết ϕ(x), ψ(x), p(x), q(x), k(x), l(x) ∈ L1 (R+ ), thỏa mãn − e−2µy (Fc k)(y)(Fc l)(y)(Lϕ)(y)(Lψ)(y) = 0, ∀y > Khi hệ (3.15) có nghiệm (f, g) L1 (R+ ), L1 (R+ ) cho biểu thức γ f (x) = p(x) − q ∗ k ∗ ϕ Fc (x) + p ∗ ξ (x) − Fc γ q ∗ (k ∗ ϕ) ∗ ξ (x), Fc Fc (3.17) γ g(x) = q(x) − p ∗ l ∗ ψ Fc (x) + q ∗ ξ (x) − Fc γ p ∗ (l ∗ ψ) ∗ ξ (x) Fc Fc (3.18) Trong đó, ξ(x) ∈ L1 (R+ ) thỏa mãn Fc ξ (y) = e−2µy (Fc k)(y)(Fc l)(y)(Lϕ)(y)(Lψ)(y) − e−2µy (Fc k)(y)(Fc l)(y)(Lϕ)(y)(Lψ)(y) 20 (3.19) b) Xét hệ hai phương trình tích phân loại hai có dạng ∞ f (x) + K10 (x, u)g(u)du = p(x), ∞ g(x) + K11 (x, u)f (u)du = q(x), x > (3.20) Trong ∞ ϕ(v) θ2 (x − 1, u, v + µ) − θ2 (x + 1, u, v + µ) dv, K10 (x, u) = 2π ψ(u + x) − sign(u − x)ψ(|u − x|) , K11 (x, u) = √ 2π với θ2 (x, u, v) xác định (1.5) Định lý 3.1.7 Giả sử ϕ(x), ψ(x), p(x), q(x) ∈ L1 (R+ ) thỏa mãn − e−µy sin y(Fc ψ)(y)(Lϕ)(y) = 0, ∀y > Khi hệ (3.20) có nghiệm (f, g) L1 (R+ ), L1 (R+ ) cho γ f (x) = p(x) − q ∗ ϕ (x) − p ∗ ξ (x) + Fc g(x) = q(x) − ψ ∗ p (x) − q ∗ ξ (x) + Fs Fc γ q ∗ ϕ ∗ ξ (x), Fs Fc Fc ψ ∗ p Fs Fc ∗ ξ (x) Fs Fc Trong ξ(x) ∈ L1 (R+ ) hàm thỏa mãn Fc ξ (y) = 3.2 3.2.1 −e−µy sin y(Fc ψ)(y)(Lϕ)(y) , − e−µy sin y(Fc ψ)(y)(Lϕ)(y) Giải phương trình vi-tích phân Giải phương trình vi-tích phân cấp hai Xét phương trình vi-tích phân có dạng f (x) − f (x) + Tk f (x) = g(x), f (0) = f (0) = 21 x > 0, (3.21) Trong k(x), g(x) hàm cho trước không gian L1 (R+ ) f (x) hàm cần tìm Định lý 3.2.1 Nếu + Lk (y) = 0, ∀y > 0, phương trình (3.21) có nghiệm L1 (R+ ) Hơn nữa, nghiệm viết dạng f (x) = π g(t) ∗ e−t (x) − Fc g(t) ∗ e−t ∗ q (x) , Fc q(x) ∈ L1 (R+ ) hàm xác định q(x) = Fc 3.2.2 (3.22) Fc Lk (y) 1+ Lk (y) (x) Giải phương trình vi-tích phân a)Xét phương trình vi-tích phân có dạng f (x) + Tk f (x) = g(x), x > 0, (3.23) f (0) = f (0) = Trong k(x), g(x) hàm cho trước không gian L1 (R+ ) f (x) hàm cần tìm Định lý 3.2.2 Nếu k(x), k (x) ∈ L1 (R+ ), k (0) = k(0) = 0, với điều kiện + L k + k (y) = 0, ∀y > thỏa mãn, phương trình (3.23) có nghiệm L1 (R+ ) Hơn nữa, nghiệm cho dạng f (x) = g(x) − g ∗ q (x), (3.24) Fc q(x) ∈ L1 (R+ ) hàm xác định q(x) = Fc L k+k (y) 1+L k+k (y) (x) b) Xét phương trình vi-tích phân có dạng f (x) + d Tϕ,ψ f (x) = g(x), x > dx (3.25) Trong đó, ϕ(x) = ϕ1 ∗ ϕ2 (x), ϕ1 (x) ∈ H(R+ ), ϕ2 (x) = sin t ∗ sin t (x) L L ψ(x) = sech t ∗ ψ1 (x), ψ1 (x) ∈ L2 (R+ ) Hàm g(x) cho trước Fs Fc L2 (R+ ) f (x) hàm cần tìm 22 Định lý 3.2.3 Giả sử điều kiện sau thỏa mãn + (y + y ) sin y Lϕ (y) − Fs ψ (y) −1 < ∞, ∀y > (3.26) Khi phương trình (3.25) có nghiệm L2 (R+ ) Hơn nữa, nghiệm cho dạng f (x) = g(x) − q ∗ g (x), Fs Fc q(x) ∈ L2 (R+ ) hàm xác định (y + y ) sin y Lϕ (y) − Fs ψ (y) Fc q (y) = + (y + y ) sin y Lϕ (y) − Fs ψ (y) Kết luận chương Ứng dụng từ kết Chương Chương 2, ta nhận được: • Điều kiện cần đủ giải lớp phương trình tích phân • Điều kiện đủ giải lớp hệ phương trình tích phân • Điều kiện đủ giải lớp phương trình vi-tích phân Các lớp phương trình hệ phương trình cho nghiệm dạng đóng Nội dung chương dựa vào phần báo [1], [2], [3] [4], Danh mục công trình công bố luận án 23 KẾT LUẬN Các kết luận án là: Xây dựng bốn tích chập suy rộng liên quan đến phép biến đổi Fourier cosine, Fourier sine Laplace Nhận tính chất toán tử tích chập, đẳng thức nhân tử hóa, đẳng thức kiểu Parseval, Định lý kiểu Titchmarch Thiết lập bất đẳng thức kiểu Young, kiểu Saitoh tích chập suy rộng Fourier cosine-Laplace với hàm trọng không gian Lp (R+ ) Lp (R+ , ρ) tương ứng Xây dựng hai phép biến đổi tích phân kiểu tích chập suy rộng Fourier cosine-Laplace Tk tích chập suy rộng Fourier cosine-Fourier sineLaplace Tk1 ,k2 với hàm trọng L2 (R+ ) Nhận Định lý kiểu Watson điều kiện cần đủ để phép biến đổi unita, điều kiện đủ để tồn biến đổi ngược Định lý kiểu Plancherel tồn dãy hàm hội tụ theo chuẩn đến toán tử Tk1 ,k2 chứng minh Nhận ứng dụng giải số lớp phương trình tích phân, hệ phương trình tích phân, phương trình vi-tích phân không gian hàm L1 (R+ ), L2 (R+ ) cho công thức nghiệm dạng đóng 24 [...]... đí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... ) và Lp (R+ , ρ) tương ứng 2 Xây dựng hai phép biến đổi tích phân kiểu tích chập suy rộng Fourier cosine-Laplace Tk và tích chập suy rộng Fourier cosine -Fourier sineLaplace Tk1 ,k2 với hàm trọng trong L2 (R+ ) Nhận được Định lý kiểu Watson về điều kiện cần và đủ để các phép biến đổi là unita, điều kiện đủ để tồn tại biến đổi ngược Định lý kiểu Plancherel về sự tồn tại một dãy hàm hội tụ theo chuẩn đến. .. 23 KẾT LUẬN Các kết quả chính của luận án là: 1 Xây dựng bốn tích chập suy rộng liên quan đến các phép biến đổi Fourier cosine, Fourier sine và Laplace Nhận được tính chất toán tử của các tích chập, đẳng thức nhân tử hóa, đẳng thức kiểu Parseval, Định lý kiểu Titchmarch Thiết lập các bất đẳng thức kiểu Young, kiểu Saitoh đối với tích chập suy rộng Fourier cosine-Laplace với hàm trọng trong các không... giữa phép biến đổi tích phân với các đạo hàm Định lý 2.1.2 Giả sử k(x) có đạo hàm đến cấp hai, và k(x), k (x) ∈ L2 (R+ ) hoặc k(x), k (x) ∈ H(R+ ) sao cho tích phân (1.1) hội tụ đối với k cũng như đối với k , và k(0) = 0 Khi đó, ta có đánh giá sau Tk f (x) = f ∗ (k + k ) (x) − k (0)f (x) 1 2.2 (2.7) Phép biến đổi tích phân kiểu tích chập suy rộng Fourier cosine -Fourier sine-Laplace với hàm trọng Xét phép. .. sine-Laplace với hàm trọng Xét phép biến đổi tích phân liên quan đến các tích chập suy rộng (1.17): f (x) → g(x) = Tk1 ,k2 f (x) d2 = 1− 2 dx γ f ∗ k1 (x) + f ∗ k2 (x) , x > 0, 3 Fc Fs trong đó k1 , k2 là nhân của phép biến đổi 13 (2.8) 2.2.1 Định lý kiểu Watson Định lý 2.2.1 Giả sử k1 (x) ∈ H(R+ ) và k2 (x) ∈ L2 (R+ ), khi đó điều kiện cần và đủ để phép biến đổi tích phân (2.8) unita trong L2 (R+ ) là... MỘT SỐ ỨNG DỤNG Trong chương này, chúng ta sử dụng các kết quả nghiên cứu của Chương 1 và Chương 2 để giải một số lớp phương trình tích phân, hệ phương trình tích phân, phương trình vi -tích phân và cho công thức nghiệm dưới dạng đóng 3.1 Giải phương trình và hệ phương trình tích phân Định lý 3.1.1 (Định lý Wiener-Levy) Giả sử f là biến đổi Fourier của một hàm thuộc L1 (R), và ϕ là hàm giải tích trong... 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... unita trong L2 (R+ ) là − sin y Lk1 (y) + Fs k2 (y) = 1 1 + y2 (2.9) Hơn nữa, phép biến đổi ngược có dạng f (x) = 1 − d2 dx2 γ − g ∗ k1 (x) + k2 ∗ g (x) , 4 Fs Fc (2.10) trong đó k1 và k2 lần lượt là các hàm liên hợp phức của k1 và k2 2.2.2 Định lý kiểu Plancherel Xét phép biến đổi tích phân kiểu tích chập suy rộng Fourier sine -Fourier cosine-Laplace với hàm trọng d2 f (x) → g(x) = 1 − 2 dx γ f ∗ k1 (x)... đó 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 (2.2) Hơn nữa, phép biến đổi ngược tồn tại và được xác định bởi d2 f (x) = 1 − 2 dx trong đó k là hàm liên hợp phức của... đố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 ) γ || (F1 ρ1 ) ∗ (F2 ρ2 ) 1 γ ρ1 ∗ ρ 2 1/p−1 1 ||Lp (R+ ) ≤ ||F1 ||Lp (R+ ,ρ1 ) ||F2 ||Lp (R+ ,ρ2 ) 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 3 5 1 ( ∗ ), ( ∗ ) và ( ∗ ) Nhận được các kết quả chính sau: • Các đánh giá chuẩn của toán tử tích chập