Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Tích chập của một số phép biến đổi tích phân với nhân lượng giác và ứng dụng" được thực hiện bởi nghiên cứu sinh Bùi Thị Giang, dưới sự hướng dẫn khoa học của PGS. Nguyễn Minh Tuấn, tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội (bảo vệ năm 2012, chuyên ngành Toán Giải tích, mã số: 62 46 01 01). Hội đồng chấm luận án gồm các nhà khoa học: GS. Đinh Dũng (Phản biện 1), PGS. Nguyễn Xuân Thảo (Phản biện 2) và TS. Nguyễn Văn Ngọc (Phản biện 3).

Tính cấp thiết và khoảng trống nghiên cứu

Lý thuyết phép biến đổi tích phân khởi đầu từ phép biến đổi tích phân Fourier do Joseph Fourier đề xuất từ thế kỷ XIX trong nghiên cứu truyền nhiệt, sau đó mở rộng thành chuyên ngành Giải tích Fourier với phạm vi ứng dụng trong vật lý, cơ học và y học. Bên cạnh biến đổi Fourier cổ điển, các phép biến đổi tích phân dạng Fourier khác có hàm nhân lượng giác $k(x, y) = a\cos xy + b\sin xy$ ($a, b \in \mathbb{C}$) như Fourier-cosine, Fourier-sine và biến đổi Hartley (do Ralph Vinton Lyon Hartley đề xuất năm 1942) giữ vai trò quan trọng trong toán học thuần túy và kỹ thuật truyền thông.

Về mặt tích chập, từ nửa đầu thế kỷ XX, các tích chập cổ điển của biến đổi Fourier, Laplace, Fourier-cosine đã được thiết lập cùng với đẳng thức nhân tử hóa tương ứng. Tuy nhiên, các tích chập suy rộng và tích chập có trọng được xây dựng trong một số công trình trước đây (tiêu biểu như các nghiên cứu được đánh số [34, 35, 36, 37, 38, 39] trong luận án) còn bộc lộ hai khiếm khuyết cơ bản:

  • Các phép nhân tích chập đã công bố không có tính chất kết hợp, do đó không thể dùng để trang bị cấu trúc vành định chuẩn giao hoán trên không gian các hàm khả tích $L^1(\mathbb{R})$.
  • Khi ứng dụng vào giải phương trình tích phân, các nghiên cứu trước đây chủ yếu dừng lại ở việc tìm điều kiện đủ cho tính giải được và đưa ra công thức nghiệm ở dạng ẩn, chưa xác lập được điều kiện cần và đủ cũng như công thức nghiệm tường minh phù hợp với lý thuyết toán tử Fredholm (Noether).

Mục tiêu nghiên cứu

Mục tiêu tổng quát của luận án là nghiên cứu tính chất toán tử của các phép biến đổi tích phân dạng Fourier, xây dựng các lớp tích chập mới có tính kết hợp và ứng dụng các tích chập này vào đại số hàm cũng như lý thuyết phương trình tích phân. Cụ thể, các nhiệm vụ nghiên cứu được xác định bao gồm:

  1. Nghiên cứu có hệ thống các tính chất toán tử, định lý tồn tại, định lý ngược, định lý duy nhất, định lý Plancherel và đặc trưng đại số của các phép biến đổi Fourier, Hartley ($H_1, H_2$), Fourier-cosine ($T_c$) và Fourier-sine ($T_s$).
  2. Xây dựng các tích chập và tích chập có trọng mới cho phép biến đổi Fourier kết hợp với các phép biến đổi hình học (tịnh tiến, đồng dạng, nghịch đảo), tích chập liên kết Fourier và Fourier ngược, tích chập cho Fourier-cosine và Fourier-sine, tích chập cho phép biến đổi Hartley và tích chập liên kết Hartley - Fourier.
  3. Ứng dụng các tích chập đã thiết lập để trang bị cấu trúc vành định chuẩn giao hoán cho không gian $L^1(\mathbb{R}^d)$ và xác lập điều kiện cần và đủ cho tính giải được, tính có nghiệm duy nhất cùng công thức nghiệm tường minh cho bốn lớp phương trình tích phân.

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

  • Đối tượng nghiên cứu: Các phép biến đổi tích phân với nhân lượng giác (Fourier, Hartley, Fourier-cosine, Fourier-sine), toán tử tích phân liên quan, các phép toán tích chập và tích chập suy rộng, cấu trúc vành định chuẩn, các phương trình tích phân loại tích chập.
  • Phạm vi nghiên cứu:
    • Không gian giải tích: Không gian hàm khả tích Lebesgue $L^1(\mathbb{R})$, $L^2(\mathbb{R})$, $L^1(\mathbb{R}^d)$; không gian Banach $C_0(\mathbb{R})$ của các hàm liên tục triệt tiêu ở vô cực; không gian hàm giảm nhanh Schwartz $\mathcal{S}$ và không gian các hàm thử khả vi vô hạn có giá compact $\mathcal{D}(\mathbb{R})$. Luận án giới hạn phạm vi trong các không gian hàm cổ điển, không mở rộng sang không gian hàm suy rộng.
    • Các lớp phương trình tích phân: Phương trình tích phân với nhân Toeplitz-Hankel hỗn hợp; phương trình tích phân với nhân Toeplitz-Hankel hỗn hợp có dịch chuyển và có trễ; phương trình tích phân dạng tích chập tổng quát; phương trình tích phân với nhân Gaussian.

Tổng quan tài liệu và vị trí của luận án

Luận án điểm lại lịch sử phát triển của giải tích tích phân và lý thuyết tích chập thông qua hệ thống tài liệu trích dẫn chuyên ngành:

  • Biến đổi Fourier và Giải tích Fourier: Bắt nguồn từ công trình nghiên cứu truyền nhiệt của Joseph Fourier (1768–1830), phát triển qua hai thế kỷ thành một lý thuyết nền tảng với các định lý kinh điển của Riemann, Lebesgue, Plancherel, Wiener, Lévy.
  • Biến đổi Hartley: Được đề xuất bởi kỹ sư vô tuyến điện Ralph Vinton Lyon Hartley vào năm 1942 xuất phát từ bài toán truyền tải sóng điện thoại, sử dụng nhân $cas(xy) = \cos xy + \sin xy$. Tài liệu của tác giả K. [29] ghi nhận biến đổi Hartley từng bị lãng quên gần 40 năm trước khi được Wang và Bracewell khôi phục và nghiên cứu sâu sắc trong các thập niên cuối thế kỷ XX (các công trình [5, 6, 7, 18, 27, 43]). Các tác giả này đã chỉ ra ưu thế của biến đổi Hartley trong tính toán số: biến đổi Hartley của một hàm thực là một hàm thực, giúp máy tính xử lý nhanh và thuận tiện hơn so với phép biến đổi Fourier (vốn đưa hàm thực thành hàm phức).
  • Lý thuyết tích chập và tích chập có trọng: Tích chập Fourier cổ điển thỏa mãn đẳng thức nhân tử hóa $\mathcal{F}(f *_F g) = (\mathcal{F}f)(\mathcal{F}g)$. Năm 1941, Churchill [12, 14] xây dựng tích chập cho phép biến đổi Fourier-cosine và tích chập liên kết giữa hai phép biến đổi khác nhau là Fourier-cosine và Fourier-sine. Các tích chập của phép biến đổi Laplace, Mellin cũng được phát triển trong giai đoạn này. Đến nửa sau thế kỷ XX, các tích chập có hàm trọng xuất hiện, tiêu biểu là công trình của Kakichev [21] giới thiệu tích chập với hàm trọng $\gamma(x) = \sin x$ cho phép biến đổi Fourier-sine. Hai thập niên trước thời điểm thực hiện luận án ghi nhận nhiều công bố về tích chập suy rộng và ứng dụng của các nhóm nghiên cứu trong và ngoài nước (như các tài liệu [10, 11, 33, 34, 35, 36, 37, 38, 42]).

Khoảng trống luận án lựa chọn giải quyết

Luận án định vị trọng tâm vào việc khắc phục trực tiếp các tồn tại trong nhóm công trình [34, 35, 36, 37, 38, 39]:

  1. Khắc phục tính không kết hợp của các phép toán tích chập đã biết, thiết lập các biểu thức tích chập mới sao cho phép toán nhân tích chập có tính kết hợp, giao hoán và phân phối đối với phép cộng, biến không gian $L^1(\mathbb{R})$ hoặc $L^1(\mathbb{R}^d)$ thành vành định chuẩn giao hoán.
  2. Nâng cấp kết quả giải phương trình tích phân từ mức định tính cục bộ (chỉ có điều kiện đủ, nghiệm ở dạng tiềm ẩn) lên mức hoàn chỉnh: xác lập điều kiện cần và đủ cho tính giải được chuẩn theo lý thuyết toán tử Fredholm/Noether, đồng thời tìm công thức giải tích tường minh cho nghiệm duy nhất.

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và các khái niệm sử dụng

Luận án vận dụng hệ thống lý thuyết giải tích hàm và lý thuyết toán tử:

  • Các không gian hàm cơ sở:
    • $L^1(\mathbb{R}) = {f: \mathbb{R} \to \mathbb{C} \mid f \text{ khả tích Lebesgue tuyệt đối trên } \mathbb{R}}$, chuẩn $|f|1 = \int{\mathbb{R}} |f(x)|dx$.
    • $L^2(\mathbb{R}) = {f: \mathbb{R} \to \mathbb{C} \mid |f|^2 \text{ khả tích Lebesgue trên } \mathbb{R}}$, chuẩn $|f|2 = (\int{\mathbb{R}} |f(x)|^2 dx)^{1/2}$.
    • $C_0(\mathbb{R})$: Không gian Banach các hàm liên tục trên $\mathbb{R}$ và triệt tiêu tại vô cùng với chuẩn supremum $|f|\infty = \sup{x \in \mathbb{R}} |f(x)|$.
    • $\mathcal{S}$: Không gian Schwartz các hàm khả vi vô hạn trên $\mathbb{R}$ thỏa mãn $\sup_{n \le m} \sup_{x \in \mathbb{R}} (1 + |x|^2)^m |(D^n f)(x)| < \infty$ với mọi $m, n \in \mathbb{N}$.
    • $\mathcal{D}(\mathbb{R})$: Không gian các hàm khả vi vô hạn trên $\mathbb{R}$ có giá compact.
  • Hệ thống toán tử và hàm trực giao:
    • Toán tử vi phân: $D^n := \left(\frac{1}{i}\frac{d}{dx}\right)^n$.
    • Đa thức Hermite: $H_n(x) := (-1)^n e^{x^2} \frac{d^n}{dx^n} e^{-x^2}$.
    • Hàm Hermite: $\Phi_n(x) := (-1)^n e^{\frac{1}{2}x^2} \frac{d^n}{dx^n} e^{-x^2}$, tạo thành hệ trực giao đầy đủ trong $L^2(\mathbb{R})$.
  • Các định lý giải tích nền tảng: Bổ đề Riemann-Lebesgue, Định lý Fubini về tích phân bội, Định lý đồ thị đóng cho không gian Fréchet, Định lý mở rộng thác triển liên tục đẳng cự trên không gian con trù mật, Định lý Wiener-Lévy và lý thuyết toán tử chỉ số Fredholm/Noether.

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

Luận án sử dụng phương pháp nghiên cứu toán học thuần túy (định tính giải tích):

  • Phân tích toán tử: Khảo sát miền xác định, tính liên tục, tính đóng, tính unita, tính đối xứng và cấu trúc phổ (giá trị riêng, hàm riêng) của toán tử tích phân trên các không gian $\mathcal{S}$, $L^1$ và $L^2$.
  • Phương pháp xây dựng tích chập: Thiết lập cấu trúc tích phân tích chập liên kết dựa trên yêu cầu thỏa mãn đẳng thức nhân tử hóa đối với các toán tử tích phân thành phần.
  • Kỹ thuật biến đổi tích phân: Sử dụng biến đổi Fourier ngược và đẳng thức nhân tử hóa để đại số hóa các phương trình tích phân vi tích phân, đưa phương trình tích phân về phương trình đại số trong không gian ảnh, từ đó tìm điều kiện giải được và giải tích nghiệm tường minh.

Nguồn tư liệu và dữ liệu

Nguồn tư liệu là các công trình nghiên cứu chuyên khảo, bài báo khoa học trên các tạp chí toán học quốc tế và trong nước về giải tích Fourier, biến đổi tích phân và phương trình tích phân (bao gồm 43 tài liệu tham khảo chính được trích dẫn cụ thể trong văn bản).

Nội dung chính theo từng chương

Chương 1: Tính chất toán tử của phép biến đổi tích phân dạng Fourier

Chương này dành cho việc nghiên cứu cấu trúc giải tích và tính chất toán tử của các phép biến đổi Fourier, Hartley, Fourier-cosine và Fourier-sine trên trục thực $\mathbb{R}$ (và mở rộng lên $\mathbb{R}^d$).

1. Phép biến đổi Fourier

  • Định nghĩa: $(\mathcal{F}f)(x) = \frac{1}{\sqrt{2\pi}} \int_{\mathbb{R}} e^{-ixy} f(y)dy = \hat{f}(x)$. Dạng nhiều chiều trên $\mathbb{R}^d$ dùng nhân $e^{-i\langle x, y\rangle}$.
  • Tính chất cơ bản: Nếu $f \in L^1(\mathbb{R})$, ảnh $\hat{f}$ liên tục, bị chặn trên $\mathbb{R}$, $|\mathcal{F}f|_\infty \le |f|1$ và thỏa mãn bổ đề Riemann-Lebesgue $\lim{|x|\to\infty} |\hat{f}(x)| = 0$. Nếu $f$ khả vi liên tục và triệt tiêu ở vô cùng thì $(\widehat{f'})(x) = (ix)\hat{f}(x)$.
  • Khảo sát các ví dụ điển hình về tính thuộc không gian của ảnh Fourier:
    • Hàm Gauss $f(x) = e^{-ax^2}$ ($a > 0$) có $\hat{f}(x) = \frac{1}{\sqrt{2a}} e^{-\frac{x^2}{4a}} \in L^1(\mathbb{R})$. Khi $a = 1/2$, $f = \hat{f}$ (hàm tự nghịch đảo đối với biến đổi Fourier).
    • Hàm đặc trưng hộp $f(x) = 1$ khi $|x| \le a$ và $f(x) = 0$ khi $|x| > a$: Mặc dù $f \in L^1(\mathbb{R})$, nhưng ảnh $\hat{f}(x) = \sqrt{\frac{2}{\pi}} \frac{\sin ax}{x}$ không thuộc $L^1(\mathbb{R})$ do tích phân của $\frac{|\sin ax|}{|x|}$ phân kỳ.
    • Hàm $f(x) = \frac{\sin ax}{x}$ ($x \ne 0$) thuộc $L^2(\mathbb{R})$ nhưng không thuộc $L^1(\mathbb{R})$, có ảnh Fourier là hàm gián đoạn $\hat{f}(x) = \pi/2$ khi $|x| < a$ và bằng $0$ khi $|x| > a$, thuộc $L^1(\mathbb{R}) \cap L^2(\mathbb{R})$.
  • Định lý ngược và tính chất trên không gian Schwartz $\mathcal{S}$: Toán tử $\mathcal{F}$ là một song ánh tuyến tính liên tục từ $\mathcal{S}$ lên chính nó, là toán tử đóng, thỏa mãn $\mathcal{F}^4 = I$, $\mathcal{F}^{-1} = \mathcal{F}^3$. Hàm Hermite $\Phi_n(x)$ là hàm riêng của $\mathcal{F}$ ứng với giá trị riêng $(-i)^n$: $\mathcal{F}\Phi_n = (-i)^n \Phi_n$.
  • Định lý Plancherel: Tồn tại duy nhất toán tử đẳng cự tuyến tính $\bar{\mathcal{F}}$ trên $L^2(\mathbb{R})$ mở rộng từ $\mathcal{F}$, bảo toàn chuẩn $|f|2 = |\mathcal{F}f|2$, thỏa mãn hệ thức Parseval $\int{\mathbb{R}} f(x)\overline{g(x)}dx = \int{\mathbb{R}} (\mathcal{F}f)(t)\overline{(\mathcal{F}g)(t)}dt$. Công thức liên hệ dạng đạo hàm tích phân: $$\hat{f}(x) = \frac{1}{\sqrt{2\pi}} \frac{d}{dx} \int_{\mathbb{R}} \frac{e^{-ixy}-1}{-iy} f(y)dy.$$

2. Phép biến đổi Hartley

  • Định nghĩa hai dạng biến đổi Hartley: $$(H_1 f)(x) = \frac{1}{\sqrt{2\pi}} \int_{\mathbb{R}} (\cos xy + \sin xy)f(y)dy = \frac{1}{\sqrt{2\pi}} \int_{\mathbb{R}} cas(xy)f(y)dy,$$ $$(H_2 f)(x) = \frac{1}{\sqrt{2\pi}} \int_{\mathbb{R}} (\cos xy - \sin xy)f(y)dy = \frac{1}{\sqrt{2\pi}} \int_{\mathbb{R}} cas(-xy)f(y)dy.$$
  • Tính chất toán tử và cấu trúc phổ:
    • Ảnh của hàm Hermite: $H_1 \Phi_n = \Phi_n$ khi $n \equiv 0, 1 \pmod 4$ và $H_1 \Phi_n = -\Phi_n$ khi $n \equiv 2, 3 \pmod 4$; $H_2 \Phi_n = \Phi_n$ khi $n \equiv 0, 3 \pmod 4$ và $H_2 \Phi_n = -\Phi_n$ khi $n \equiv 1, 2 \pmod 4$. Do đó, toán tử tích phân Hartley chỉ có hai giá trị riêng thực là $\pm 1$, khác với biến đổi Fourier có bốn giá trị riêng phức ${\pm 1, \pm i}$.
    • Bị chặn: $|H_1 f|_\infty \le \sqrt{\frac{2}{\pi}} |f|1$ và $|H_2 f|\infty \le \sqrt{\frac{2}{\pi}} |f|_1$.
    • Biến đổi ngược và tính đối hợp: $H_1, H_2$ là các ánh xạ tuyến tính liên tục một đối một từ $\mathcal{S}$ lên $\mathcal{S}$ và thỏa mãn $H_1^2 = I$, $H_2^2 = I$, nghĩa là toán tử nghịch đảo trùng với chính nó: $H_1^{-1} = H_1$, $H_2^{-1} = H_2$.
    • Định lý Plancherel cho biến đổi Hartley: Mở rộng duy nhất thành toán tử unita trên $L^2(\mathbb{R})$, thỏa mãn công thức Parseval và biểu diễn qua tích phân giới hạn theo chuẩn: $$(H_1 f)(x) = \frac{1}{\sqrt{2\pi}} \frac{d}{dx} \int_{\mathbb{R}} \frac{\sin xy - \cos xy + 1}{y} f(y)dy.$$

3. Phép biến đổi Fourier-cosine và Fourier-sine

  • Định nghĩa trên toàn trục số $\mathbb{R}$: $$(T_c f)(x) = \frac{1}{\sqrt{2\pi}} \int_{\mathbb{R}} \cos(xy)f(y)dy, \quad (T_s f)(x) = \frac{1}{\sqrt{2\pi}} \int_{\mathbb{R}} \sin(xy)f(y)dy.$$
  • Đặc trưng dị biệt:
    • Khi xác định trên toàn trục $\mathbb{R}$, $T_c f = 0$ nếu $f$ là hàm lẻ và $T_s f = 0$ nếu $f$ là hàm chẵn. Do đó, $T_c$ và $T_s$ không phải là ánh xạ đơn ánh, không có toán tử nghịch đảo trên $L^1(\mathbb{R})$ và không đẳng cự trong $L^2(\mathbb{R})$. Vì vậy, không tồn tại định lý ngược và định lý Plancherel theo nghĩa cổ điển trên toàn trục $\mathbb{R}$.
    • Tác động lên hàm Hermite: $T_c \Phi_n = 0$ khi $n$ lẻ, $T_c \Phi_n = \Phi_n$ khi $n = 4m$, $T_c \Phi_n = -\Phi_n$ khi $n = 4m+2$; $T_s \Phi_n = 0$ khi $n$ chẵn, $T_s \Phi_n = \Phi_n$ khi $n = 4m+1$, $T_s \Phi_n = -\Phi_n$ khi $n = 4m+3$.
    • Tính giải được trong $\mathcal{S}$: Phương trình $T_c f = g$ có nghiệm trong $\mathcal{S}$ khi và chỉ khi $g$ là hàm chẵn; phương trình $T_s f = g$ có nghiệm trong $\mathcal{S}$ khi và chỉ khi $g$ là hàm lẻ.
    • Đẳng thức liên hệ toán tử: $T_c^2 + T_s^2 = I$.

4. Đặc trưng đại số của phép biến đổi dạng Fourier

Chương này tổng kết định lý tổng quát về đặc trưng đại số liên kết các toán tử tích phân $\mathcal{F}, H_1, H_2, T_c, T_s$ thông qua các quan hệ giao hoán, đối hợp và phân tích nhân tử trên các không gian hàm.

Chương 2: Tích chập đối với phép biến đổi tích phân dạng Fourier

Chương này xây dựng tường minh các toán tử tích chập mới và tích chập suy rộng, đồng thời chứng minh đẳng thức nhân tử hóa cho từng lớp phép biến đổi.

+-----------------------------------------------------------------------------------------------+
| BẢNG TỔNG HỢP CÁC PHÉP BIẾN ĐỔI VÀ DẠNG TÍCH CHẬP TƯƠNG ỨNG TRONG LUẬN ÁN                      |
+------------------------------------+--------------------------+-------------------------------+
| Phép biến đổi tích phân            | Ký hiệu toán tử          | Đặc trưng tích chập thiết lập |
+------------------------------------+--------------------------+-------------------------------+
| Biến đổi Fourier cổ điển           | F                        | Tích chập chuẩn, kết hợp      |
| Biến đổi Fourier với dịch chuyển   | F_h                      | Tích chập hình học biến thiên |
| Biến đổi Fourier với đồng dạng     | F_alpha                  | Tích chập hình học co giãn    |
| Biến đổi Fourier với nghịch đảo    | F_v                      | Tích chập đối xứng nghịch đảo |
| Liên kết Fourier và Fourier ngược  | F và F^{-1}              | Tích chập liên kết kép        |
| Fourier-cosine và Fourier-sine     | T_c, T_s                 | Tích chập không trọng         |
| Fourier-sine và Fourier-cosine     | T_c, T_s có trọng gamma  | Trọng lượng giác gamma(x)     |
| Biến đổi Hartley                   | H_1, H_2                 | Tích chập Hartley trực tiếp   |
| Liên kết Hartley và Fourier        | H_1, H_2 liên kết với F  | Tích chập giao hoán liên kết  |
+------------------------------------+--------------------------+-------------------------------+

Nội dung cụ thể gồm năm phần:

  1. Định nghĩa tích chập và tích chập suy rộng: Thiết lập khái niệm tích chập của các toán tử tuyến tính trên không gian hàm dựa trên tiên đề đẳng thức nhân tử hóa: phép toán $*$ được gọi là tích chập của toán tử $A, B$ đối với toán tử $C$ nếu $C(f * g) = (Af)(Bg)$.
  2. Tích chập đối với phép biến đổi tích phân Fourier với phép biến đổi hình học:
    • Fourier với phép dịch chuyển $\mathcal{F}_h$: Xây dựng tích chập thỏa mãn đẳng thức nhân tử hóa $\mathcal{F}h(f *{F_h} g) = (\mathcal{F}_h f)(\mathcal{F}_h g)$ với toán tử dịch chuyển $e^{-i\langle x+h, y\rangle}$.
    • Fourier với phép đồng dạng $\mathcal{F}_\alpha$: Tích chập tương thích với phép biến đổi tỉ lệ tọa độ trong $\mathbb{R}^d$.
    • Fourier với phép nghịch đảo $\mathcal{F}_v$: Tích chập liên kết với phép biến đổi nghịch đảo tọa độ $x \mapsto 1/x$.
  3. Tích chập liên kết giữa phép biến đổi Fourier và Fourier ngược: Thiết lập toán tử tích chập chứa đồng thời hạt nhân $e^{-ixy}$ và $e^{ixy}$, chứng minh tính chất giải tích trong các không gian $L^1$ và $L^2$.
  4. Tích chập đối với phép biến đổi Fourier-sine và Fourier-cosine:
    • Xây dựng tích chập không có hàm trọng trên trục thực.
    • Xây dựng tích chập với các hàm trọng lượng giác $\gamma(x)$, mở rộng công thức của Kakichev sang các hệ hàm tổng quát.
  5. Tích chập đối với phép biến đổi Hartley liên kết với Fourier:
    • Thiết lập tích chập riêng cho biến đổi Hartley $H_1$ và Hartley $H_2$.
    • Thiết lập tích chập hỗn hợp liên kết giữa biến đổi Hartley và biến đổi Fourier, chứng minh tính kết hợp và giao hoán của các phép toán này.

Chương 3: Ứng dụng của tích chập

Chương này tập trung vào hai hướng ứng dụng chính của các tích chập đã thiết lập ở Chương 2:

1. Các cấu trúc vành định chuẩn trên $L^1(\mathbb{R}^d)$

Luận án chứng minh rằng khi trang bị các phép nhân tích chập $*$ đã xây dựng (bao gồm tích chập Fourier với biến đổi hình học, tích chập Hartley liên kết), không gian véc-tơ $L^1(\mathbb{R}^d)$ thỏa mãn các tiên đề:

  • Tính đóng: $f, g \in L^1(\mathbb{R}^d) \implies f * g \in L^1(\mathbb{R}^d)$.
  • Tính kết hợp: $(f * g) * h = f * (g * h)$.
  • Tính giao hoán: $f * g = g * f$.
  • Tính phân phối đối với phép cộng: $f * (g_1 + g_2) = f * g_1 + f * g_2$.
  • Bất đẳng thức chuẩn: $|f * g|_1 \le C |f|_1 |g|_1$ (với chuẩn định nghĩa thích hợp). Nhờ đó, $L^1(\mathbb{R}^d)$ trở thành một vành định chuẩn giao hoán (đại số Banach giao hoán không có phần tử đơn vị). Đây là điểm khác biệt cốt lõi so với các tích chập không kết hợp trong tài liệu [34, 35, 36, 37, 38, 39].

2. Phương trình tích phân

Luận án ứng dụng lý thuyết tích chập để giải bốn lớp phương trình tích phân:

  1. Phương trình tích phân với nhân Toeplitz-Hankel hỗn hợp: Khảo sát phương trình dạng: $$\lambda \phi(x) + \int_{\mathbb{R}} [k_1(x-y) + k_2(x+y)] \phi(y) dy = f(x).$$ Bằng cách biểu diễn vế trái qua tích chập Fourier-cosine và Fourier-sine, tác động toán tử tích phân thích hợp và sử dụng định lý Wiener-Lévy, luận án thiết lập điều kiện cần và đủ để phương trình có nghiệm duy nhất trong $L^1(\mathbb{R})$ và đưa ra công thức nghiệm tường minh.
  2. Phương trình tích phân với nhân Toeplitz-Hankel hỗn hợp có dịch chuyển và trễ: Mở rộng lớp phương trình trên với sự xuất hiện của các số gia dịch chuyển tọa độ trong nhân và nghiệm $\phi(y \pm h)$. Luận án sử dụng tích chập của phép biến đổi Fourier với phép dịch chuyển $\mathcal{F}_h$ để đại số hóa và tìm nghiệm.
  3. Phương trình tích phân dạng tích chập tổng quát với nhân Toeplitz-Hankel hỗn hợp: Khái quát hóa hai lớp phương trình trên cho trường hợp nhiều nhân và toán tử hỗn hợp, xác lập tính giải được chuẩn theo lý thuyết Fredholm.
  4. Phương trình tích phân với nhân Gaussian: Khảo sát phương trình có nhân dạng xung Gauss $k(t) = e^{-\frac{1}{2}t^2}$. Nhờ các tính chất tích chập của phép biến đổi Fourier với phép đồng dạng và nghịch đảo, luận án thu được điều kiện cần và đủ để phương trình có nghiệm duy nhất và thiết lập công thức nghiệm giải tích tường minh.

Kết quả và những đóng góp mới

Các kết quả mới mà luận án tự nêu bao gồm:

Đóng góp về mặt lý luận toán học

  • Phân tích và hệ thống hóa toàn diện các tính chất toán tử của các phép biến đổi tích phân dạng Fourier trên toàn trục số thực $\mathbb{R}$: xác lập giá trị riêng, hàm riêng trên hệ trực chuẩn Hermite $\Phi_n(x)$, chứng minh tính unita và tính đối hợp ($H_1^2 = I, H_2^2 = I$) của hai toán tử biến đổi Hartley $H_1, H_2$, đồng thời làm rõ bản chất không khả nghịch của biến đổi Fourier-cosine và Fourier-sine trên toàn trục $\mathbb{R}$.
  • Xây dựng một hệ thống các biểu thức tích chập mới: tích chập của phép biến đổi Fourier với các phép biến đổi hình học (tịnh tiến, đồng dạng, nghịch đảo), tích chập liên kết Fourier - Fourier ngược, tích chập Hartley và tích chập liên kết Hartley - Fourier.
  • Khắc phục nhược điểm không kết hợp của các công trình công bố trước đây ([34, 35, 36, 37, 38, 39]), chứng minh tính chất kết hợp, giao hoán của các phép nhân tích chập mới, qua đó trang bị thành công các cấu trúc vành định chuẩn giao hoán trên không gian hàm $L^1(\mathbb{R}^d)$.

Đóng góp về mặt giải phương trình tích phân

  • Thiết lập điều kiện cần và đủ cho tính giải được, tính có nghiệm duy nhất và xây dựng công thức nghiệm tường minh cho bốn lớp phương trình tích phân: nhân Toeplitz-Hankel hỗn hợp, nhân Toeplitz-Hankel có dịch chuyển/trễ, dạng tích chập tổng quát và nhân Gaussian.
  • Các điều kiện giải được thu được trong luận án mang tính tự nhiên, phù hợp với tính giải chuẩn của lý thuyết toán tử Fredholm (Noether), giải quyết triệt để hạn chế của các nghiên cứu trước vốn chỉ dừng lại ở điều kiện đủ và nghiệm ẩn.

Ý nghĩa thực tiễn và ứng dụng

  • Cung cấp cơ sở giải tích cho các bài toán tính toán số: khẳng định tính ưu việt của phép biến đổi Hartley trên không gian hàm thực (tránh thao tác trên trường số phức của biến đổi Fourier), hỗ trợ việc thiết kế thuật toán số nhanh trong xử lý tín hiệu, khôi phục ảnh và âm thanh.
  • Đưa ra các công thức giải tích tường minh hỗ trợ giải chính xác các mô hình truyền nhiệt, truyền sóng và cơ học lượng tử quy về phương trình tích phân nhân Toeplitz-Hankel hoặc nhân Gaussian.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế của luận án

  • Văn bản luận án nêu rõ phạm vi khảo sát bị giới hạn trong không gian các hàm cổ điển ($L^1, L^2, \mathcal{S}$). Luận án chưa mở rộng nghiên cứu sang không gian các hàm suy rộng (phân bố Schwartz $\mathcal{S}'$ hoặc $\mathcal{D}'$). Do đó, các hàm cơ bản thường gặp trong kỹ thuật và cơ học như hàm hằng, hàm đa thức, hàm lượng giác tuần hoàn ($\sin ax, \cos ax$) hoặc hàm mũ tăng ($e^x$) không có biến đổi Fourier cổ điển và chưa được xử lý trong khuôn khổ này.
  • Các phép biến đổi Fourier-cosine ($T_c$) và Fourier-sine ($T_s$) khi xét trên toàn trục thực $\mathbb{R}$ bị mất tính đơn ánh và tính đẳng cự, dẫn tới việc không thể xây dựng cặp biến đổi ngược và định lý Plancherel trực tiếp trên toàn không gian $L^2(\mathbb{R})$.

Hướng nghiên cứu tiếp

  • Mở rộng lý thuyết tích chập và các phương trình tích phân đã thiết lập sang không gian các hàm suy rộng nhằm bao quát các lớp hàm kỳ dị và hàm tăng vô hạn.
  • Nghiên cứu cài đặt thuật toán tính toán số cho các công thức nghiệm tường minh của phương trình tích phân nhân Toeplitz-Hankel và nhân Gaussian trên máy tính điện tử, đánh giá sai số số trị trong xử lý tín hiệu thực tế.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo hữu ích cho các nhóm đối tượng nghiên cứu sau:

  • Nghiên cứu sinh và học viên cao học chuyên ngành Toán Giải tích: Tham khảo phương pháp tiếp cận hiện đại trong lý thuyết toán tử tích phân, kỹ thuật chứng minh tính unita, tính đóng trong không gian Fréchet $\mathcal{S}$ và kỹ thuật sử dụng hệ hàm Hermite trong giải tích điều hòa.
  • Giảng viên và nhà nghiên cứu giải tích hàm: Sử dụng Chương 2 và Mục 3.1 làm tài liệu tham khảo để giảng dạy các chuyên đề nâng cao về đại số Banach, vành định chuẩn và lý thuyết tích chập suy rộng.
  • Các nhà nghiên cứu Toán ứng dụng, Xử lý tín hiệu và Công nghệ thông tin: Tham khảo Chương 1 (biến đổi Hartley) và Chương 3 (nghiệm tường minh của phương trình nhân Toeplitz-Hankel, nhân Gaussian) nhằm áp dụng vào thuật toán lọc số, xử lý tín hiệu âm thanh và bài toán biên trong vật lý toán.

Câu hỏi thường gặp

1. Tại sao phép biến đổi Hartley lại có ưu thế hơn phép biến đổi Fourier trong tính toán số trên máy tính?

Theo phân tích trong phần Mở đầu của luận án, toán tử tích phân Hartley ($H_1, H_2$) là toán tử thực và đối xứng. Nếu $f(x)$ là một hàm số nhận giá trị thực thì ảnh Hartley $(Hf)(x)$ cũng là một hàm số thực, trong khi ảnh Fourier $(\mathcal{F}f)(x)$ của hàm thực lại là một hàm nhận giá trị phức. Do máy tính điện tử làm việc và xử lý các phép toán trên số thực nhanh hơn, thuận tiện hơn và tiết kiệm bộ nhớ hơn so với số phức, phép biến đổi Hartley đem lại hiệu quả tính toán số vượt trội trong các ứng dụng thực tế như xử lý tín hiệu số, khôi phục ảnh và xử lý âm thanh.

2. Điểm khác biệt căn bản giữa các tích chập được xây dựng trong luận án so với các công trình nghiên cứu trước đó (như các tài liệu [34, 35, 36, 37, 38, 39]) là gì?

Luận án nêu rõ hai điểm khác biệt nổi bật:

  • Thứ nhất, các tích chập trong các công trình trước không có tính kết hợp nên không thể dùng để cấu trúc vành định chuẩn cho $L^1(\mathbb{R})$. Ngược lại, tất cả các tích chập được xây dựng trong luận án đều có tính kết hợp, phần lớn là giao hoán, do đó trang bị thành công cấu trúc vành định chuẩn giao hoán cho $L^1(\mathbb{R}^d)$.
  • Thứ hai, đối với phương trình tích phân, các nghiên cứu trước chỉ tìm được điều kiện đủ cho tính giải được và cho công thức nghiệm ở dạng ẩn; trong khi luận án này thu được điều kiện cần và đủ cho tính giải được (phù hợp với lý thuyết toán tử Fredholm/Noether), điều kiện cần và đủ để có nghiệm duy nhất và công thức nghiệm giải tích tường minh.

3. Vì sao hai phép biến đổi Fourier-cosine và Fourier-sine xét trên toàn trục số thực $\mathbb{R}$ lại không có định lý ngược và định lý Plancherel?

Khi xét trên toàn bộ trục số thực $\mathbb{R}$, phép biến đổi Fourier-cosine $T_c f$ sẽ đồng nhất bằng $0$ nếu $f$ là hàm lẻ, và phép biến đổi Fourier-sine $T_s f$ sẽ đồng nhất bằng $0$ nếu $f$ là hàm chẵn. Do đó, $T_c$ và $T_s$ là các ánh xạ không đơn ánh trên $L^1(\mathbb{R})$ và không đẳng cự trên $L^2(\mathbb{R})$ (hạch ker khác ${0}$). Vì thiếu tính đơn ánh và tính bảo toàn chuẩn trên toàn trục $\mathbb{R}$, hai phép biến đổi này không tồn tại định lý ngược, định lý duy nhất và định lý Plancherel như phép biến đổi Fourier cổ điển hay phép biến đổi Hartley.

4. Hệ hàm Hermite có vai trò như thế nào trong việc nghiên cứu tính chất toán tử của các phép biến đổi Fourier và Hartley?

Hệ hàm Hermite ${\Phi_n(x)}_{n=0}^\infty$ tạo thành một hệ trực giao đầy đủ trong không gian Hilbert $L^2(\mathbb{R})$ và không gian Schwartz $\mathcal{S}$ trù mật trong $L^2(\mathbb{R})$. Luận án chứng minh các hàm Hermite chính là các hàm riêng của các toán tử Fourier $\mathcal{F}$ và toán tử Hartley $H_1, H_2$:

  • Đối với Fourier: $\mathcal{F}\Phi_n = (-i)^n \Phi_n$, với 4 giá trị riêng phức ${\pm 1, \pm i}$.
  • Đối với Hartley: $H_1 \Phi_n = \pm \Phi_n$ và $H_2 \Phi_n = \pm \Phi_n$, chỉ nhận 2 giá trị riêng thực ${\pm 1}$. Tính chất hàm riêng này là cơ sở trực tiếp để tác giả chứng minh tính unita và các đẳng thức đối hợp $H_1^2 = I$, $H_2^2 = I$, cũng như chứng minh định lý mở rộng Plancherel trên $L^2(\mathbb{R})$.

5. Bốn lớp phương trình tích phân được nghiên cứu và thiết lập công thức nghiệm tường minh trong Chương 3 là những lớp phương trình nào?

Bốn lớp phương trình tích phân được nghiên cứu bao gồm:

  1. Phương trình tích phân với nhân Toeplitz-Hankel hỗn hợp (chứa đồng thời $k_1(x-y)$ và $k_2(x+y)$).
  2. Phương trình tích phân với nhân Toeplitz-Hankel hỗn hợp có dịch chuyển và trễ.
  3. Phương trình tích phân dạng tích chập tổng quát với nhân Toeplitz-Hankel hỗn hợp.
  4. Phương trình tích phân với nhân Gaussian (nhân có dạng xung hàm Gauss $e^{-\frac{1}{2}t^2}$).

Kết luận

Luận án của tác giả Bùi Thị Giang là một công trình nghiên cứu chuyên sâu thuộc chuyên ngành Toán Giải tích, tập trung giải quyết trọn vẹn các bài toán lý thuyết về tính chất toán tử và tích chập của các phép biến đổi tích phân với nhân lượng giác. Bằng việc xây dựng thành công hệ thống tích chập mới có tính chất kết hợp và giao hoán, luận án đã trang bị cấu trúc vành định chuẩn trên không gian hàm $L^1(\mathbb{R}^d)$ và thiết lập điều kiện cần và đủ cùng công thức nghiệm tường minh cho bốn lớp phương trình tích phân quan trọng. Kết quả nghiên cứu không chỉ đóng góp những bước tiến mới cho giải tích toán tử thuần túy mà còn cung cấp nền tảng giải tích chuẩn xác phục vụ các bài toán tính toán số, vật lý toán và xử lý tín hiệu.