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 (TT)

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 Y 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 Ti (f * k) (y) = Y(y) (T2f) (y) (T3k) (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 = Ự * 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 — d"2) 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 Holder để đá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 Fourier- Laplace 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+) La,ổ(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+,p), 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 Fourier- Laplace 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 /»TO /»TO ự *k(u)k(v)dudv, )(x) _ ới(x,u,v)f (1.1) n J0J0 c(x,u,v) = , / -72 + , /V , 72 > x> ° (1.2) Ta gọi Ac không gian ảnh L* (R+) thông qua phép biến đổi Fourier cosine Fc Với chuẩn Ilf ||A := ||Fcf ||Ll(R+) Ac đại số Banach, nghĩa f (x), k(x) E Ac , f (x)k(x) E Ac thỏa mãn ||fk||A < If |A |k|A Đị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) E Ac , thỏa mãn đẳng thức kiểu Parseval (fị k)(x) = Fc[(Fcf)(y)(Lk)(y)](x), Vx> ° (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) (Ch) (y), Vy > ° BỔ đề 1.1.1 Nếu k(x) E L*(R+), (Ck)(y) E Ac (1.4) Định lý 1.1.2 Giả sử f (x)’ k(x) E Li(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) E 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 61(x,u,v) nhân Định nghĩa 1.1.2 Tích chập suy rộng với hàm trọng Y(y) = e — ( p , > °) 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’ n J Jo (1.10) ớ1(x,u,v) xác định (1.2) Đinh lý 1.1.4 Giả sử f (x), k(x) G Li(R+) Khi đó, tích chạp suy rộng (f ĩ k) (x) thuộc L^R+), thỏa mãn bất đẳng thức chuẩn Il (f Y fc)|| Gif I Li (R+)|k|Li (R+), L i(R+) (1.11) có đẳng thức nhân tử hóa Fc (f ĩ k)(y) = e-'*y(Fc f)(y](Ck)(y), Vy > (1.12) Ngoài ra, tích chạp suy rộng (f ĩ k) (x) thuộc C0(R+) Đinh lý 1.1.5 (Đinh lý kiểu Titchmarch) Cho hai hàm so liên tục k(x) G L1 (R+) f (x) G L1 (R+, ea x ) (a > 0) Nếu (f ĩ k) (x) = 0, Vx > f (x) = 0, Vx > k(x) = 0, Vx > Đinh lý 1.1.6 Giả sử p > 1,r > 1, < ß G 1, hàm f (x) G Lp(R+) k(x) G L^R+) Khi tích chạp suy rộng (f ĩ k)(x) tồn tại, liên tục thuộc La , ß (R+) Hơn nữa, ta có đánh giá sau II (f 11 k) l La,ß(R ) G CIf |Lp(R+)|k|Li(R+), (1.13) C = (—)1/ p ß-^ r1/r (a + 1) với r hàm Gamma Ngoài ra, f (x) G L1(R+) n 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) Đinh lý 1.1.7 Giả sử a > —1, < ß G 1,p > 1,q > 1,r > thỏa mãn + = Khi đó, f (x) G Lp (R+) k(x) G 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 l La,ß (R ) G C l f |Lp(R+)|k|Lq (R+,(1+X2)9-1 ), (1.14) C = p-Pn-qß—^r1/r(a + 1) Hơn nữa, giả thiết thêm f (x) G L1(R+) n Lp(R+) k(x) G L1(R+) n 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 9ị(x,u,v + ụ) 92(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 (y) = e—My (ụ > 0) định nghĩa (f * k)(x) = [ Ị 92(x,u,v + ụ)f (u)k(v)dudv, n J Jo (1.15) thỏa mãn đẳng thức nhân tử hóa Fs (f * k)(y) = e-My(Fs f)(y)(Lk)(y), yy > 0, f,k e Lị(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(y) = — siny 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 l /»TO /»TO (f * k) (x) = \92(x — 1,u,v) — 92(x + l,u,v)l f (u)k(v)dudv, Jo Jo (1.17) với 92(x,u,v) xác định (1.5) Ta đạt H(R+) = [f (x) : (Lf)(y) e L2(R+)} Định lý 1.2.1 Giả sử f (x) G L2(R+) k(x) G 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 (f * k)(x) = Fc [ — siny(Fs f)(Lk)](x), Vx> 0, (1 18) đẳng thức nhân tử hóa sau Fc (f * k)(y) = — siny(Fs f)(y)(Lk)(y), Vy> (1 19) Định nghĩa 1.2.2 Tích chập suy rộng với hàm trọng Y(y) = —e y siny (ụ > 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~J J [ớ2(x — 1,u,v + ụ) — 02(x + 1, u, v + ụ)] f (u)k(v)dudv, (1.20) với 02(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 Li(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 11 f k ^Li(R+) - llfllLi(R+>llkl Li(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 Fcf k)(y) = —e y sin y(Fsf )(y)(Lk)(y), Vy > 0^ (1 21) đẳng thức kiểu Parseval f k)(x) = Fc\ — e y sin y (Fsf )(y)(Lk)(y )](x), ^x> (1 22) Định lý 1.2.3 Giả sử p > 1,r > 1,0 < ¡3 — 1, hàm f (x) E Lp(R+) k(x) E L1(R+) Khi tích chập suy rộng f ỉ k)(x) tồn tại, liên tục bị chặn La^(R+) Hơn nữa, tích chập thỏa mãn bất đẳng thức chuẩn sau II f k)11^(R > — Cl f l Lp(R+)llkl Li(R+), (1.23) C = (-2-)1/p.3—^ r1/r(a + 1) với r hàm Gamma Euler Ngoài ra, f (x) E L1(R+) n 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) Đinh lý 1.2.4 Cho a > —1, < ß < 1, p > 1, q > 1, r > thỏa mãn + = Khi đó, hàm f (x) G Lp(R+) k(x) G Lq(R+,e(q—1)x) tích chạp f ỉ k) (x) ton tại, liên tục bị chăn La,ß (R+) Hơn nữa, ta có bất đẳng thức chuẩn II (f ỉ k)\\La,ß(R ) < Cllf\\Lp(R+)\\k\\Lq(R+,e(q-i)x), (L24) C = ( ) / q ß—^To1/r(a + 1) Ngoài ra, f (x) G L1(R+)nLp(R+) k(x) G L1(R+)nLq(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 Fourier- Laplace 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 a) f ỉ (k ỉ h) = (f ỉ k) ỉ h b) f ỉ (k ỉ h) = (f ỉ k) ỉ h c) f ỉ (k ỉ h) = (f ỉ k) ỉ h d) f ỉ (k ỉ h) = (f ỉ k) ỉ h 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) = y2 Jo“ k(v) ự(u) Fc (v +yy+ u2 ) (x)dv- b) (f k) (x) = Jĩ I k(v) (f (u) FỈFC (v +++ u2 ) (x)dv 1.4 1.4.1 Bất đẳng thức tích chập suy rộng Fourier cosine-Laplace với hàm trọng Định lý kiểu Young Định lý 1.4.1 (Định lý kiểu Young) Cho p, q, r > 1, +1 +1 = f (x) E Lp(R+), k(x) E Lq(R+, (x + p)q-ĩ) (p > 0), h(x) E Lr(R+) Khi đó: 1—q (/ * k) (x).h(x)dx < M q ||f ||Lp(R+)Hk||Lq(R+,(x+M)q—(R+) 1.4.2 Định lý kiểu Saitoh Định lý 1.4.2 (Định lý kiểu Saitoh) Giả sử Pj E Li(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 E Lp (R+, Pj) 11 ( (F1p1)1 (F2p2^ (p1 * p2Ỷ/P 1||Lp(R+) < ||F1 ||Lp(R+,pi) ||F2||Lp(R+,p2) 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 đươc kết sau: v1'v3 • 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 cosineLaplace 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 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 cosineLaplace (1.1): 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) E L2(R+), k(x) E 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(1+ y2)(Lk) (y)\(2.2 = 1, y> Hơn nữa, phép biến đổi ngược tồn xác định (2.3) k hàm liên hợp phức k 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 ki e l2 Hơn nữa, nghiệm cho dạnh sau f (x) = g(x) + ( g * q ) (x), F c q hàm thuộc L ^ R ^ cho (F w )= —e—t iys i n y(Fh)(y)(L^)(y) cq y y(Fc Theo Định lý Wiener-Levy, tồn hàm q(x) E L1(R+) cho — ^/n2'e My sin y.- (Fcq) (y) 1+ \/í'e—sin y (a2+y2) y-(Wxb+y) (3.14 Suy — yne My sin y.- q (x) = F y (a2+y2) 1+ \/Ie—22 sin y (»2+22(5+2) /*TO y sin y cos xy n (a2 + y2)(b + y)e^y + y^-y siny nghiệm cho f (x) = g(x) + (g q)(x) F c ~d (3.13 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), J0 g(x) + K7(x,t)f (t)dt = q(x),x> (3.15) Trong —1 ỠKo(x,t) (x,u,v + y)[k(lu — t|) + k(u + t)]p(v)dudv, n v n JR + —1 Ỡ1 ( x , u , v + y)[l(lu — t|) + l(u + t)]ị(v)dudv, n v 2n ,/R+ (3.16) Kj(x,t) với ỚI(x,u,v) xác định (1.2) Định lý 3.1.6 Giả thiết p(x), ị(x), p(x), q(x), k(x), l(x) E Li(R+), thỏa — e—2^y(Fck)(y)(Fcl)(y)(Lp)(y)(Lị)(y) = 0, Vy > Khi hệ (3.15) có nghiệm (f,g) (L1(R+),L1 (R+^ cho biểu thức f (x)= p(x) — (q * (k * p)(x) + (p * ỉ)(x)— ((q *(k * V)) * í)(x) (3.17) gíx) = qíx) — (p * (l * ệ)J (x) + (q * t)(x) — ((p * ụ * ị)) * p (x) (3.18) Trong đó, £(x) E L^R^ thỏa mãn (Ft )(y) = (y) ^ e—2fẤy (Fck)(y)(Fcl)(y)(Lp)(y)(Lị )(y) — e—2»y(Fck)(y)(Fcl)(y)(Lp)(y)(Lị)(y) ( ) b) Xét hệ hai phương trình tích phân loại hai có dạng f (x) + J0 g(x) + K10(x,u)g(u)du = p(x), K11(x,u)f (u)du = q(x), x> (3.20) Trong Kio(x,u) =^ 2n J0 ỳ(v) [Ỡ2 (x - ,u,v + ụ) - Ỡ2 (x + ,u,v + ụ)] dv, K11(x, u) = X- \ỳ(u + x) - sign(u — x)i£(\u — x|)], V 2n với ỡ2(x,u,v) xác định (1.5) Định lý 3.1.7 Giả sử ỳ(x), ý(x), p(x), q(x) E L1(R+) thỏa mãn - e~^y siny(Fcý)(y)(Lỳ)(y) = 0, Vy > ° Khi hệ (3.20) có nghiệm ( f , g ) [L1(R+),L1 (R+^ cho f (x) = p(x) - (q ỳ)(x) - (pF £)(x) + ((q 55 ỳ) F £) (x) g(x) = q(x) - (ý F* p)(x) - (q F* £)(x) + ((ý * p) F* £)(x) F F sc F F sc \ F sFc F F sc' Trong £(x) E L1(R+) hàm thỏa mãn —e—tiy siny(Fcý)(y)(Lỳ)(y) {Fc£) (y) 1— e-M sin y(Fc'ệ)(y)(Lỳ)(y) ’ 3.2 Giải phương trình vi-tích phân 3.2.1 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) " + (Tkf)(x) = g(x), x > °, f( 0) = f (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, Vy > 0, phương trình (3.21) có nghiệm L1(R+) Hơn nữa, nghiệm viết dạng f(x) 3.2.2 = \Ị\ (g(t) Fe *)(x) - ((g(t) Fe *) * q ) ( x ) " , (3-22) Giải phương trình vi-tích phân ' (¿k)(y) ' q(x) Li(R+) phân lồ hàmcóđược xác định q(x) = Fc a)Xét phương trìnhEvi-tích dạng 4+(Lk) (y), f (x) + (Tkf)(x) = g(x), x > 0, f'(0) = f (0) = (x) (3.23) 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) E L1(R+), k f ( ) = k(0) = 0, với điều kiện + L(k + k") (y) = 0, Vy > 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 b) Xét phương trình vi-tích phân có dạng Fc (x) = g(x) - (g(3.24 * q)(x) k+fc ( ) FÍ ") y A d q(x) E L1(R+) hàm xác định q(x) (x) \1+L(k+k") (y) f (x) + d^,' ’f ( x ) = g ( x ) , x > (3.25) J Trong đó, ^(x) = (^1 * ^>2) (x), ^1(x) E H (R+), ^>2(x) = (sin t * sin t) (x) ^(x) = (secht * 'ệij (x), ^1(x) E L2(R+) Hàm g(x) cho trước Fs Fc L2(R+) f (x) hàm cần tìm Định lý 3.2.3 Giả sử điều kiện sau thỏa mãn Khi phương trình (3.25) có nghiệm L2(R+) Hơn nữa, nghiệm cho + (y + y3)(siny(Kp)(y) - (Fs^)(y)) dạng (3.26 < oo, Vy > f (x) = g(x) - (q _*_ g) (x) F F sc q(x) E L2(R+) hàm xác định ( F )( ) = ( y + y3)[siny ( L ^ ) ( y ) - (Fsĩịj)(y)] ° + (y + y1[siny(L^)(y) - (Fsệ)(y)] ] qy Kết luận chương Ung 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 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 Li(R+), L2(R+) cho công thức nghiệm dạng đóng 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+, p) 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 cosineLaplace Tk tích chập suy rộng Fourier cosine-Fourier sine- Laplace Tkl 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ử Tkl k2 chứng minh [...]...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 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. .. 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 gian Lp(R+) và Lp(R+, p) 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 cosineLaplace Tk và tích chập suy rộng Fourier cosine -Fourier sine- Laplace Tkl 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. .. án 1 Nhận được ứng dụng 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 trong các không gian hàm Li(R+), L2(R+) và cho công thức nghiệm dưới dạng đóng 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... k(x), k"(x) G L2(R+) hoặc k(x), k"(x) G 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 (Tkf)(x) = (fl (k + k"))(x) - k'(0)f (x) (2.7) 2.2 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 các tích chập suy rộng (1.17): f (x) ^ g(x) = (Tk1)k2f)(x) / d2 \r ì... đổi tích phân liên quan đến tích chập suy rộng Fourier cosineLaplace (1.1): x> 0, (2.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) E L2(R+), hoặc k(x) E 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(1+ y2)(Lk) (y)\(2.2 = 1, y> 0 Hơn nữa, phép biến đổi ngược... g (u) u) + sign(u — chập x)K(|x 0 rộng Fourier — u|)| Xây dựng hai+ phép biến đổi[ K(x tích +phân kiểu tích suy cosine-Laplace Tk và Fourier cosine -Fourier sine-Laplace Tkl k2 với hàm trọng Nhận được các kết quả chính: • Định lý kiểu Watson về điều kiện cần và đủ để các phép biến đổi Tk và Tkl k2 là unita trong L2(R+) • Xác định được điều kiện đủ để toán tử Tk bị chạn và có biến đổi ngược • Định lý... tại các dãy toán tử hội tụ theo chuẩn về toán tử tích phân Tkl k2 và toán tử ngược của nó 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 [3] và [4], trong Danh mục công trình đã công bố của luận án CHƯƠNG 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. .. nhân của phép biến đổi 2.2.1 Định lý kiểu Watson Định lý 2.2.1 Giả sử ki(x) G H(R+) và k2(x) G L2(R+ ), khi đó điều kiện cần và đủ để phép biến đoi tích phân (2.8) unita trong L2(R+) là 1 - sin y(Lki)(y) + (Fsk2 )(y)l = Y+ ~ 2 Hơn nữa, phép biến đoi ngược có dạng z d2 \c f (x) = 0 - d^){ - (g ỉ k1)(x) + (k2 *F s)(x0}, (2 9) (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... Ung dụng từ các kết quả Chương 1 và Chương 2, ta nhận được: • Điều kiện cần và đủ giải được một lớp các phương trình tích phân • Điều kiện đủ giải được một lớp hệ phương trình tích phân • Điều kiện đủ giải được một lớp phương trình vi -tích phân Các lớp phương trình và hệ phương trình trên đều cho nghiệm dưới dạng đóng Nội dung chính 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],... 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 Li(R), và ự là hàm giải tích trong một lân cận của gốc, chứa miền {f (y), Vy E R} thỏa mãn ự(0) = 0, khi đó tp(f) cũng là ảnh qua phép biến đổi Fourier của một hàm nào đó thuộc L1 (R)