I. Bất Đẳng Thức Tích Chập Tổng Quan Kiến Thức Nền Tảng
Bất đẳng thức tích chập, một công cụ mạnh mẽ trong giải tích hàm và ứng dụng toán học, đóng vai trò quan trọng trong việc ước lượng nghiệm của nhiều bài toán, từ phương trình vi phân đến xử lý tín hiệu và xử lý ảnh. Nghiên cứu về tích chập bắt đầu từ thế kỷ 19 với tích chập Fourier, thỏa mãn đẳng thức nhân tử hóa quan trọng: . Trong những năm gần đây, các phép biến đổi tích phân liên quan đến tích chập Fourier cosine, Fourier sine, Kontorovich-Lebedev, Mellin đã được nghiên cứu sâu rộng. Mặc dù có nhiều ứng dụng trong cơ học, vật lý, kỹ thuật và sinh học, việc giải các phương trình vi-tích phân kiểu tích chập dưới dạng đóng vẫn còn nhiều thách thức. Do ư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.
1.1. Giới Thiệu Phép Biến Đổi Fourier Cosine Tính Chất
Phép biến đổi Fourier cosine (Fc) của hàm f được định nghĩa như sau: Fc f y f x cos xydx, y 0. Ví dụ: Fc e y a y . Nếu lim f x 0 thì ta có: F f x y F f y 2 f 0. Nếu lim 0, k 0;1 thì ta có: F f x y y F f y 2 f 0 . Nếu f L1 ( ), ( Fc f ) L1 ( ) , f là hàm liên tục từng khúc thì ta có: 2 f x Fc f y cos xydy. Các tính chất này rất quan trọng trong việc giải các bài toán liên quan đến phương trình đạo hàm riêng và các vấn đề khác. Tính chất trên có thể chứng minh bằng phương pháp quy nạp. Cho f là hàm liên tục từng khúc và thuộc khi đó ta có: lim Fc f 0 .
1.2. Ứng Dụng Giải Phương Trình Đạo Hàm Riêng Vi Phân
Phép biến đổi Fourier cosine có thể được sử dụng để giải các phương trình đạo hàm riêng. Ví dụ, xét phương trình truyền nhiệt trên nửa trục: u 2u k 2 , với , với điều kiện ban đầu: và các điều kiện biên: . Bằng cách áp dụng phép biến đổi Fourier cosine và các tính chất liên quan, ta có thể biến đổi phương trình đạo hàm riêng thành một phương trình vi phân thường, từ đó tìm ra nghiệm. Phƣơng trình Laplace trong góc phần tƣ thứ nhất. Xét bài toán sau: u xx u yy 0, 0 x, y với điều kiện biên: u 0, y a, u x,0 0 . Nghiệm có dạng: 2a y u x , y arctan .
II. Phép Biến Đổi Hartley Đặc Điểm Ứng Dụng Toán Học
Phép biến đổi Hartley, mặc dù ra đời sau phép biến đổi Fourier khoảng nửa thế kỷ, vẫn thu hút sự quan tâm của nhiều nhà toán học do ưu điểm biến hàm thực thành hàm thực. Nó có vai trò quan trọng trong xử lý tín hiệu và các lĩnh vực kỹ thuật khác. Định nghĩa: Phép biến đổi Hartley của hàm f được xác định như sau: Hf y f x cas xy dx , ở đây: cas xy cos xy sin xy . Điểm khác biệt của biến đổi Hartley và biến đổi Fourier ở chỗ biến đổi Hartley có nhân là hàm thực, còn ở biến đổi Fourier có nhân là hàm biến phức. Định lý Wiener-Levy cũng là một kết quả quan trọng liên quan đến phép biến đổi Hartley.
2.1. Tính Chất Cơ Bản Của Phép Biến Đổi Hartley Hf
Với (H f )(y), (Hg)(y), khi đó với , ta có: H f g y Hf y Hg y . Hf x y cos y Hf y sin y Hf y . H f x cos y0 x y Hf y y0 Hf y y0 . Biến đổi tích chập Fourier: Cho tích chập Fourier: F f *g y f x g y x dx, f , g L1 ( ).
2.2. Định Lý Wiener Levy Điều Kiện Chứng Minh
Định lý Wiener-Levy cho biến đổi Hartley khẳng định rằng: f , là điều kiện cần và đủ để tồn tại hàm , sao cho: Hf y . Hl y 1 Hf y . 1 i 1i Chứng minh. 2 2 khi và chỉ khi . Khi đó ta có: Mặt khác, vì: 1 i 1 i Hf y F f x f x y . 2 2 .
III. Bất Đẳng Thức Tích Chập Suy Rộng Hartley Phương Pháp
Các bất đẳng thức đối với tích chập Fourier và tích chập suy rộng Hartley có vai trò quan trọng trong việc đánh giá nghiệm của các phương trình. Luận văn trình bày một số bất đẳng thức đối với tích chập Fourier và bất đẳng thức tích chập suy rộng Hartley – Fourier cosine. Từ đó trình bày một số ứng dụng của các bất đẳng thức trong việc đánh giá nghiệm của một vài phương trình vi phân, phương trình tích phân và phương trình đạo hàm riêng. Trong mục này, chúng ta sẽ nghiên cứu tích chập Fourier cosine dưới dạng sau: Fc f * g x 1 g x y g x y f y dy , x 2 0 .
3.1. Bất Đẳng Thức Tích Chập Fourier Các Biến Thể
, p, q, r >1, khi đó, ta có: f * g x . Một hệ quả quan trọng của định lý này là bất đẳng thức Young đối với tích chập Fourier. Cụ thể, với và r > 1 thỏa mãn . Khi đó ta có , hơn nữa: f *g f L g L . ở đây, là tích chập của hai hàm f và g đối với phép biến đổi tích phân Fourier [9]: 1 F f *g x f x y g y dy , x , f , g L1 . Tuy nhiên, đối với trường hợp điển hình khi bất đẳng thức (3. Tới năm 2000, nhóm tác giả S. Yamamoto đã giới thiệu một dạng bất đẳng thức tích chập Fourier trong các không gian với hàm trọng không triệt tiêu mà trong đó thỏa mãn trường hợp .
3.2. Bất Đẳng Thức Ngược Tích Chập Fourier Ứng Dụng
Cho hai hàm dương thỏa mãn: trên tập X và với p, q 1, 1. Khi đó, ta có bất đẳng thức: p q 1 1 1 1 p q m p q fd gd Ap , q f g d , X X M X nếu tích phân bên vế phải hội tụ. Mệnh đề 3.2: Cho F1,F2 là hai hàm dương xác định trên thỏa mãn: . Khi đó, với bất kỳ các hàm dương , ta có có bất đẳng thức tích chập ngược. Bất đẳng thức (3.7) đặc biệt quan trọng với là hàm Green nào đó.
IV. Bất Đẳng Thức Tích Chập Hartley Fourier Cosine Suy Rộng
Phép biến đổi tích phân Hartley của là có dạng: 1 H 1 f y f x cas xy dx, y . Trong đó: cas u cos u sin u là nhân cosine và sine của phép biến đổi Hartley. Khi đó, ta có bất đẳng thức sau: 1 f *g x . Cũng giống như bất đẳng thức Young đối với tích chập Fourier, bất đẳng thức kiểu Young cho tích chập Hartley Fourier cosine là hệ quả trực tiếp của định lý trên.
4.1. Chứng Minh Bất Đẳng Thức Tích Chập Suy Rộng Hartley
Chứng minh: Ta dùng bất đẳng thức Holder tổng quát Cho ba hàm F, G, H thỏa mãn FGH , khi đó: H F 1 1 p r f u q h q , H x,u r g x u g x u r , ( x , u 1 1 ). Chúng ta thấy rằng F, G, H là các hàm được định nghĩa trong: , hơn thế nữa: F.2) Mặt khác, trong không gian ta có: r F L Ω g x u g x u |q h x dudx .
4.2. Bất Đẳng Thức Kiểu Saitoh cho Hartley Fourier Cosine
Cho hai hàm dươngρ1,ρ 2 , và khi đó ta luôn có bất đẳng thức sau cho tích chập Hartley – Fourier cosine: 1 2 1 ( F1 1)( F2 2 ). 1 1 Lp p , 1 p 2.Chứng minh. Nâng vế trái của lên lũy thừa ta có: 1 p 1 p x dx 1 1 ( F1 1)( F2 2 ). 1 * 2 p 1 1 1 1 Lp p 1 p p 1 1 2 2 ( F ) u ( F x u F x u du 0 1 1 2 2 2 2 1 p 1 u 2 x u 2 x u du dx .
V. Ứng Dụng Bất Đẳng Thức Tích Chập Hartley Fourier Cosine
Luận văn sử dụng bất đẳng thức (3.15) để ước lượng nghiệm của một vài phương trình vi phân thường, phương trình tích phân và phương trình đạo hàm riêng. Xét phương trình tích phân với nhân Hankel - Toeplitz trong trường hợp = k: Dùng bất đẳng thức (3.15) chúng ta có: f (x ) L h l *h x h L L p h L , . Bài toán Dirichlet trên nửa mặt phẳng trên. Chúng ta xét phương trình sau: , với điều kiện biên. Với mỗi t > 0, áp dụng bất đẳng thức (3.12) p Γ p 1 p ở đây: là hàm gama [1,4]: Γ s t s 1e t dt .
5.1. Phương Trình Tích Phân Kiểu Toeplitz Hankel Dirichlet
Xét phương trình tích phân với nhân Hankel - Toeplitz trong trường hợp = k: 1 f x k y f x y f x y dy h x x , x 2 0 . Dùng bất đẳng thức (3.15) chúng ta có: 1 1 f (x ) L h l *h x h L L p h L , . Ta có phương trình sau: , với điều kiện biên. Với mỗi t > 0, áp dụng bất đẳng thức (3.12) p Γ p 1 p ở đây: là hàm gama [1,4]: Γ s t s 1e t dt .
5.2. Bài Toán Cauchy Phương Trình Vi Phân Thường
Xét bài toán trị ban đầu cho phương trình truyền nhiệt một chiều không có nguồn hay nguồn chìm: , với điều kiện biên và điều kiện ban đầu.Đối với mỗi t > 0, dùng bất đẳng (3.17) ta được: 2 1 1 2 1 e 4kt u L 2 p p L1 . p p kt Lp . Giả sử ,sao cho tồn tại: xác định bởi: 1 FcQ y n,y 0 .
VI. Kết Luận Hướng Nghiên Cứu Bất Đẳng Thức Tích Chập
Luận văn đã trình bày các kết quả chủ yếu về bất đẳng thức tích chập và ứng dụng, bao gồm phép biến đổi Fourier cosine, Hartley và các bất đẳng thức liên quan đến tích chập, đặc biệt là bất đẳng thức tích chập suy rộng Hartley-Fourier cosine. Các ứng dụng của các bất đẳng thức này trong việc ước lượng nghiệm của các phương trình vi phân thường, phương trình tích phân và phương trình đạo hàm riêng cũng được trình bày chi tiết. Luận văn mở ra hướng nghiên cứu tiếp theo là bất đẳng thức đối với phép biến đổi Fourier cosine trên thang thời gian.
6.1. Tóm Tắt Các Kết Quả Nghiên Cứu Quan Trọng
Luận văn đã trình bày các kết quả chủ yếu về bất đẳng thức tích chập và ứng dụng bao gồm: Trình bày phép biến đổi Fourier cosine, các tính chất và ứng dụng vào giải phương trình đạo hàm riêng, phương trình vi phân và tính tích phân. Trình bày phép biến đổi Hartley, các tính chất và định lý Wiener – Levy. Trình bày một số bất đẳng thức đối với tích chập Fourier, bất đẳng thức tích chập suy rộng Hartley – Fourier cosine và ứng dụng của các bất đẳng thức tích chập suy rộng này để ước lượng nghiệm của một vài phương trình vi phân thường, phương trình tích phân và phương trình đạo hàm riêng.
6.2. Hướng Nghiên Cứu Tiếp Theo Thang Thời Gian
Luận văn mở ra hướng nghiên cứu tiếp theo là bất đẳng thức đối với phép biến đổi Fourier cosine trên thang thời gian. Nghiên cứu này có thể mở ra những ứng dụng mới trong các lĩnh vực như xử lý tín hiệu và xử lý ảnh, nơi mà các tín hiệu và hình ảnh thường được biểu diễn dưới dạng các hàm trên thang thời gian.
