Tổng quan luận án

Lý thuyết tích chập đối với các biến đổi tích phân là một hướng nghiên cứu trung tâm trong giải tích toán học, đóng vai trò nền tảng trong việc giải các phương trình vi phân, phương trình tích phân và ứng dụng trong các bài toán vật lý, xử lý tín hiệu, truyền sóng bức xạ và y học. Trong lịch sử phát triển, các phép toán tích chập cổ điển chủ yếu được xây dựng không có hàm trọng. Từ nửa sau thế kỷ 20, các cấu trúc tích chập suy rộng có hàm trọng bắt đầu được nghiên cứu nhằm giải quyết các phương trình tích phân phức tạp, đặc biệt là các phương trình có nhân dạng Gauss hoặc nhân Hermite đa chiều.

Khoảng trống nghiên cứu được tác giả xác định xuất phát từ thực tế: các nghiên cứu trước đó về tích chập suy rộng trong không gian nhiều chiều $L^1(\mathbb{R}^d)$ chủ yếu sử dụng hàm trọng là các hàm lượng giác hoặc xét trên nửa trục thực $\mathbb{R}^+$. Đồng thời, khi giải các phương trình tích phân dạng chập liên quan, nhiều tác giả tiền nhiệm áp dụng định lý Wiener-Lévy và chỉ thu được nghiệm dưới dạng ẩn. Việc xây dựng một hệ thống tích chập suy rộng hoàn chỉnh với hàm trọng là các hàm Hermite đa chiều $\Phi_\alpha(x)$ và tổ hợp tuyến tính hữu hạn của chúng trên toàn không gian $\mathbb{R}^d$, thiết lập cấu trúc đại số vành định chuẩn tương ứng, cũng như tìm nghiệm giải tích tường minh và đánh giá bán kính phổ của các toán tử tích phân liên quan vẫn còn bị bỏ ngỏ.

Luận án xác định các mục tiêu nghiên cứu cụ thể như sau:

  1. Xây dựng một số tích chập suy rộng đối với các biến đổi tích phân dạng Fourier (bao gồm biến đổi Fourier, Fourier ngược, Fourier-sine, Fourier-cosine và Hartley) trong không gian $L^1(\mathbb{R}^d)$ với hàm trọng là hàm Hermite đa chiều $\Phi_\alpha(x)$ và tổ hợp tuyến tính hữu hạn của các hàm Hermite.
  2. Thiết lập cấu trúc vành định chuẩn (đại số Banach giao hoán) trên không gian $L^1(\mathbb{R}^d)$ mà phép nhân trong vành được định nghĩa thông qua phép nhân chập suy rộng có trọng Hermite.
  3. Giải một số lớp phương trình tích phân dạng chập với nhân là hàm Hermite (trường hợp riêng là hàm dạng Gauss $e^{-|x|^2}$), tìm điều kiện cần và đủ cho tính giải được và thiết lập công thức nghiệm tường minh dưới các điều kiện hạn chế trên vế phải.
  4. Đánh giá bán kính phổ của một số toán tử tích phân liên quan, quy bài toán phổ về việc xác định môđun lớn nhất của các hàm liên tục, bị chặn, giảm nhanh tại vô cùng trên $\mathbb{R}^d$, đồng thời chỉ ra không gian hàm mà trên đó phương trình tích phân luôn tồn tại nghiệm duy nhất.

Đối tượng nghiên cứu của luận án là các phép biến đổi tích phân dạng Fourier (Fourier, Fourier ngược, Fourier-sine, Fourier-cosine, Hartley đa chiều), hàm Hermite đa chiều $\Phi_\alpha(x)$, các tích chập suy rộng có hàm trọng Hermite và các phương trình tích phân dạng chập có nhân Hermite. Phạm vi nghiên cứu được xác định trên không gian Euclid thực $d$ chiều $\mathbb{R}^d$ ($d$ là số nguyên dương cho trước), trong khuôn khổ các không gian giải tích $L^1(\mathbb{R}^d)$, $L^2(\mathbb{R}^d)$, không gian các hàm giảm nhanh Schwartz $\mathcal{S}$ và không gian hàm liên tục triệt tiêu ở vô cùng $C_0(\mathbb{R}^d)$.

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

Tổng quan lịch sử nghiên cứu tích chập cho thấy quá trình phát triển qua nhiều giai đoạn:

  • I. N. Sneddon (1951) là người đầu tiên xây dựng tích chập suy rộng cho cặp biến đổi Fourier-sine và Fourier-cosine trên $(0, +\infty)$ thỏa mãn đẳng thức nhân tử hóa $F_s(f * g)(x) = (F_s f)(x)(F_c g)(x)$.
  • N. Y. Vilenkin (1958) phát triển ý tưởng tích chập với hàm trọng đầu tiên đối với biến đổi tích phân Mehler-Fox.
  • V. A. Kakichev (1967) đề xuất phương pháp kiến thiết để xác định tích chập có trọng $\delta(x)$ cho biến đổi tích phân $K$ dựa trên hệ thức $K(f *_\delta g)(x) = \delta(x)(Kf)(x)(Kg)(x)$.
  • N. Thảo đưa ra kỹ thuật xây dựng tích chập suy rộng đối với bộ ba biến đổi tích phân $K_1, K_2, K_3$ dựa trên nhân tích phân và phép biến đổi ngược.
  • Nghiên cứu phương trình tích phân với nhân Gauss xuất hiện trong nhiều công trình ứng dụng: F. Rodriguez (2000) nghiên cứu nghiệm giải tích phương trình chập với nhân Gauss; G. B. Arfken (1985) nghiên cứu phương pháp toán cho vật lý; K. E. Marks II (1998) ứng dụng mô hình liều bức xạ cầu trong tối ưu hóa xạ phẫu; M. Morf (1978) nghiên cứu bộ tách tín hiệu Gauss bất biến theo thời gian.

Các hướng nghiên cứu tích chập suy rộng và biến đổi tích phân được triển khai bởi nhiều nhóm tác giả:

  • Nhóm J. J. Betancor và cộng sự nghiên cứu tích chập liên quan đến biến đổi Hankel và Fourier-cosine.
  • Nhóm Y. Luchko nghiên cứu tích chập đối với biến đổi Kontorovich-Lebedev.
  • Nhóm S. Saitoh và cộng sự nghiên cứu các biến đổi Weierstrass, Laplace và phương trình tích phân liên kết.
  • R. N. Bracewell nghiên cứu biến đổi Hartley và tích chập tương ứng trong không gian một chiều $L^1(\mathbb{R})$.
  • Nhóm tác giả Việt Nam gồm V. Khoa, Trịnh Tuân, N. Hồng nghiên cứu tích chập suy rộng của các biến đổi Fourier, Fourier-cosine, Fourier-sine, Hankel, Kontorovich-Lebedev, Stieltjes và biến đổi $I$ trên nửa không gian; tác giả Phan Tăng Đa nghiên cứu các biến đổi tích phân liên quan.
  • Nhóm B. Giang và N. M. Tuấn xây dựng tích chập suy rộng cho các biến đổi Fourier, Fourier-sine, Fourier-cosine, Hartley trong $L^1(\mathbb{R}^d)$ với hàm trọng là các hàm lượng giác.
Nhóm tác giả / Công trình Đối tượng biến đổi tích phân Hàm trọng / Đặc trưng tích chập Phương pháp xử lý phương trình
I. N. Sneddon (1951) Fourier-sine, Fourier-cosine Không trọng trên $(0, +\infty)$ Biến đổi tích phân cổ điển
N. Y. Vilenkin (1958) Biến đổi Mehler-Fox Hàm trọng đầu tiên Nhân tử hóa có trọng
V. A. Kakichev (1967) Biến đổi tích phân tổng quát $K$ Trọng $\delta(x)$ tổng quát Phương pháp kiến thiết
R. N. Bracewell Biến đổi Hartley Không trọng trong $L^1(\mathbb{R})$ Tích hợp hàm $\text{cas}(xy)$
B. Giang, N. M. Tuấn Fourier, Hartley, Sine, Cosine Trọng lượng giác trong $L^1(\mathbb{R}^d)$ Đánh giá chuẩn đại số
V. Khoa, Trịnh Tuân, N. Hồng Fourier, Hankel, K-L, Stieltjes Tích chập suy rộng trên nửa không gian Định lý Wiener-Lévy (nghiệm ẩn)
Luận án (Nguyễn Thị Thu Huyền) Fourier, Fourier ngược, Sine, Cosine, Hartley Hàm trọng Hermite $\Phi_\alpha(x)$ và tổ hợp tuyến tính trong $L^1(\mathbb{R}^d)$ Nghiệm tường minh, đánh giá bán kính phổ

Khoảng trống được luận án lựa chọn giải quyết là: khắc phục hạn chế của việc chỉ tìm được nghiệm ẩn qua định lý Wiener-Lévy bằng cách thiết lập nghiệm giải tích tường minh cho phương trình tích phân chập có nhân Hermite/Gauss; đồng thời mở rộng lý thuyết tích chập suy rộng sang lớp hàm trọng Hermite đa chiều trên $L^1(\mathbb{R}^d)$ và đánh giá tường minh bán kính phổ toán tử.

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

Luận án xây dựng trên nền tảng giải tích hàm và lý thuyết biến đổi tích phân trong không gian $d$ chiều:

  • Không gian hàm $L^1(\mathbb{R}^d)$ gồm các hàm đo được Lebesgue thỏa mãn $\int_{\mathbb{R}^d} |f(x)|dx < +\infty$, trang bị chuẩn $|f|{L^1} = \frac{1}{(2\pi)^{d/2}} \int{\mathbb{R}^d} |f(x)|dx$.
  • Không gian $L^2(\mathbb{R}^d)$ gồm các hàm bình phương khả tích theo độ đo Lebesgue.
  • Không gian Schwartz $\mathcal{S}$ gồm các hàm khả vi vô hạn $f \in C^\infty(\mathbb{R}^d)$ giảm nhanh tại vô cùng, thỏa mãn $\sup_{x \in \mathbb{R}^d} |x^\beta D^\alpha f(x)| < +\infty$ với mọi đa chỉ số $\alpha, \beta \in \mathbb{N}^d$.
  • Hàm Hermite đa chiều $\Phi_\alpha(x)$ xác định bởi công thức: $$\Phi_\alpha(x) := (-1)^{|\alpha|} e^{\frac{1}{2}|x|^2} D_x^\alpha e^{-|x|^2}, \quad \alpha = (\alpha_1, \dots, \alpha_d) \in \mathbb{N}^d, \quad |\alpha| = \sum_{j=1}^d \alpha_j$$ Toán tử vi phân quy ước $D_x^\alpha = \frac{\partial^{|\alpha|}}{\partial x_1^{\alpha_1} \cdots \partial x_d^{\alpha_d}}$. Chuẩn của hàm Hermite được chuẩn hóa qua hệ số $N_\alpha := \frac{1}{(2\pi)^{d/2}} \int_{\mathbb{R}^d} |\Phi_\alpha(x)|dx$.
  • Các biến đổi tích phân dạng Fourier trong $L^1(\mathbb{R}^d)$:
    • Biến đổi Fourier: $(\mathcal{F}f)(x) = \hat{f}(x) := \frac{1}{(2\pi)^{d/2}} \int_{\mathbb{R}^d} f(y)e^{-ixy}dy$.
    • Biến đổi Fourier ngược: $(\mathcal{F}^{-1}f)(x) := \frac{1}{(2\pi)^{d/2}} \int_{\mathbb{R}^d} f(y)e^{ixy}dy$.
    • Biến đổi Fourier-cosine: $(T_c f)(x) := \frac{1}{(2\pi)^{d/2}} \int_{\mathbb{R}^d} \cos(xy)f(y)dy$.
    • Biến đổi Fourier-sine: $(T_s f)(x) := \frac{1}{(2\pi)^{d/2}} \int_{\mathbb{R}^d} \sin(xy)f(y)dy$.
    • Biến đổi Hartley: $(H_1 f)(x) := \frac{1}{(2\pi)^{d/2}} \int_{\mathbb{R}^d} \text{cas}(xy)f(y)dy$ và $(H_2 f)(x) := \frac{1}{(2\pi)^{d/2}} \int_{\mathbb{R}^d} \text{cas}(-xy)f(y)dy$, trong đó $\text{cas}(xy) = \cos(xy) + \sin(xy)$.

Luận án sử dụng các phương pháp nghiên cứu toán học thuần túy:

  • Kỹ thuật biến đổi tích phân: áp dụng công thức Euler và đẳng thức nhân tử hóa để chuyển đổi phương trình tích phân dạng chập trong không gian hàm sang phương trình đại số trong không gian ảnh.
  • Kỹ thuật ước lượng giải tích trong $L^1(\mathbb{R}^d)$: sử định lý Fubini, phép đổi biến tọa độ và đánh giá bất đẳng thức tích phân để chứng minh tính đóng kín của tích chập và thiết lập các bất đẳng thức chuẩn.
  • Phương pháp phổ của giải tích hàm: khảo sát tập giá trị chính quy $\rho(A)$, tập phổ $\sigma(A)$, định lý mở rộng đẳng cự Plancherel trên $L^2(\mathbb{R}^d)$, tính chất toán tử đại số trên không gian $\mathcal{S}$, và công thức bán kính phổ $r(A) = \sup_{\lambda \in \sigma(A)} |\lambda|$.

Tư liệu và dữ liệu nghiên cứu là các văn bản toán học, định lý, công thức giải tích và hệ thống bài báo chuyên khảo được trích dẫn trong danh mục tài liệu tham khảo; luận án không sử dụng dữ liệu số thực nghiệm hay kỹ thuật thống kê.

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

Chương 1: Biến đổi Fourier, Fourier-sine, Fourier-cosine và Hartley

Chương 1 hệ thống hóa các định nghĩa, tính chất cấu trúc và các định lý cơ bản của các biến đổi tích phân dạng Fourier, cùng các tích chập cổ điển tương ứng trong không gian $L^1(\mathbb{R}^d)$ và $L^2(\mathbb{R}^d)$.

Luận án thiết lập mối liên hệ giải tích giữa các biến đổi thông qua công thức Euler: $$T_c = \frac{\mathcal{F} + \mathcal{F}^{-1}}{2}, \quad T_s = \frac{i\mathcal{F} - i\mathcal{F}^{-1}}{2}, \quad H_1 = \frac{(1+i)\mathcal{F} + (1-i)\mathcal{F}^{-1}}{2} = T_c + T_s, \quad H_2 = T_c - T_s$$ $$\mathcal{F} = T_c - iT_s, \quad \mathcal{F}^{-1} = T_c + iT_s$$

Các tính chất toán tử đại số trên không gian hàm giảm nhanh Schwartz $\mathcal{S}$ được chứng minh bao gồm:

  • Đối với biến đổi Fourier: $\mathcal{F}$ là một song ánh tuyến tính liên tục từ $\mathcal{S}$ vào $\mathcal{S}$ và thỏa mãn hệ thức toán tử đại số $\mathcal{F}^4 = I$.
  • Đối với biến đổi Fourier-sine và Fourier-cosine: $T_c, T_s$ là các ánh xạ tuyến tính liên tục trên $\mathcal{S}$ thỏa mãn $T_c^2 + T_s^2 = I$, $T_c^3 = T_c$, $T_s^3 = T_s$ và $T_c T_s = T_s T_c = 0$.
  • Đối với biến đổi Hartley: $H_1, H_2$ là các ánh xạ tuyến tính liên tục trên $\mathcal{S}$ thỏa mãn $H_1^2 = H_2^2 = I$.

Tác động của các biến đổi tích phân lên hàm Hermite đa chiều $\Phi_\alpha(x)$ được xác định chính xác:

  • $\mathcal{F}(\Phi_\alpha)(x) = (-i)^{|\alpha|} \Phi_\alpha(x)$ và $\mathcal{F}^{-1}(\Phi_\alpha)(x) = i^{|\alpha|} \Phi_\alpha(x)$.
  • $T_c(\Phi_\alpha)(x) = 0$ khi $|\alpha|$ lẻ; $T_c(\Phi_\alpha)(x) = \Phi_\alpha(x)$ khi $|\alpha| = 4m$; $T_c(\Phi_\alpha)(x) = -\Phi_\alpha(x)$ khi $|\alpha| = 4m + 2$.
  • $T_s(\Phi_\alpha)(x) = 0$ khi $|\alpha|$ chẵn; $T_s(\Phi_\alpha)(x) = \Phi_\alpha(x)$ khi $|\alpha| = 4m + 1$; $T_s(\Phi_\alpha)(x) = -\Phi_\alpha(x)$ khi $|\alpha| = 4m + 3$.

Định lý Plancherel khẳng định sự tồn tại duy nhất của các toán tử mở rộng đẳng cự tuyến tính $\overline{\mathcal{F}}, \overline{H}_1, \overline{H}_2$ trên $L^2(\mathbb{R}^d)$ thỏa mãn $\overline{\mathcal{F}}^4 = I$, $\overline{H}_1^2 = I$, $\overline{H}_2^2 = I$. Tập phổ của toán tử Fourier trên $L^2(\mathbb{R}^d)$ được xác định là $\sigma(\mathcal{F}) = {-1, 1, i, -i}$. Chương 1 cũng trình bày chi tiết các tích chập cổ điển không trọng đối với $\mathcal{F}, T_c, T_s, H_1, H_2$ kèm theo các ví dụ giải tích tường minh trên các hàm cụ thể như hàm hộp $\Pi(x)$, hàm tam giác $\Lambda(x)$, hàm mũ $e^{-x}$ và hàm đa thức trên miền $[0, 1]^2$.

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

Chương 2 là phần đóng góp lý thuyết cốt lõi của luận án, tập trung xây dựng các dạng tích chập suy rộng mới có hàm trọng Hermite $\Phi_\alpha(x)$ và tổ hợp tuyến tính hữu hạn của chúng trong không gian $L^1(\mathbb{R}^d)$.

Đối với biến đổi Fourier và Fourier ngược, luận án thiết lập biểu diễn tích phân cho tích chập suy rộng có hàm trọng Hermite: $$(f \overset{\Phi_\alpha}{} g)(x) := \frac{i^{|\alpha|}}{(2\pi)^d} \int_{\mathbb{R}^d} \int_{\mathbb{R}^d} f(v) g(u) \Phi_\alpha(x - u - v) du dv$$ Tích chập này thỏa mãn bất đẳng thức chuẩn $|f \overset{\Phi_\alpha}{} g|_0 \le |f|0 \cdot |g|0$ (trong đó chuẩn $|\cdot|0$ gắn với hệ số chuẩn hóa $N\alpha$), bảo đảm tính đóng kín trong $L^1(\mathbb{R}^d)$, và thỏa mãn đẳng thức nhân tử hóa: $$\mathcal{F}(f \overset{\Phi\alpha}{*} g)(x) = \Phi\alpha(x) (\mathcal{F}f)(x) (\mathcal{F}g)(x)$$

Cùng với biểu thức trên, luận án xây dựng các tích chập suy rộng tương ứng cho các tổ hợp toán tử $(\mathcal{F}, \mathcal{F}, \mathcal{F}^{-1})$, $(\mathcal{F}, \mathcal{F}^{-1}, \mathcal{F})$ và $(\mathcal{F}, \mathcal{F}^{-1}, \mathcal{F}^{-1})$, thiết lập các đẳng thức nhân tử hóa:

  • $\mathcal{F}(f \underset{\mathcal{F},\mathcal{F},\mathcal{F}^{-1}}{\overset{\Phi_\alpha}{*}} g)(x) = \Phi_\alpha(x) (\mathcal{F}f)(x) (\mathcal{F}^{-1}g)(x)$
  • $\mathcal{F}(f \underset{\mathcal{F},\mathcal{F}^{-1},\mathcal{F}^{-1}}{\overset{\Phi_\alpha}{*}} g)(x) = \Phi_\alpha(x) (\mathcal{F}^{-1}f)(x) (\mathcal{F}^{-1}g)(x)$

Chương 2 tiếp tục mở rộng xây dựng các cấu trúc tích chập suy rộng liên kết giữa biến đổi Fourier và biến đổi Hartley, tích chập suy rộng đối với cặp biến đổi Fourier-sine và Fourier-cosine, và tổng quát hóa trường hợp hàm trọng là một tổ hợp tuyến tính hữu hạn các hàm Hermite: $$\gamma(x) = \sum_{k=1}^m c_k \Phi_{\alpha^{(k)}}(x), \quad c_k \in \mathbb{C}$$ Luận án chứng minh tính chất giao hoán, kết hợp, phân phối và các bất đẳng thức chuẩn tương ứng cho từng lớp tích chập suy rộng được thiết lập.

Chương 3: Cấu trúc vành định chuẩn trên $L^1(\mathbb{R}^d)$ và ứng dụng

Chương 3 triển khai các ứng dụng của các tích chập suy rộng vừa xây dựng vào đại số giải tích và lý thuyết phương trình tích phân:

  1. Xây dựng cấu trúc vành định chuẩn: Sử dụng phép nhân chập có hàm trọng Hermite $\overset{\Phi_\alpha}{*}$, luận án trang bị cho không gian tuyến tính $L^1(\mathbb{R}^d)$ một phép nhân đóng kín, có tính kết hợp và phân phối đối với phép cộng, biến $L^1(\mathbb{R}^d)$ thành một vành định chuẩn giao hoán (đại số Banach không có phần tử đơn vị).

  2. Giải phương trình tích phân dạng chập với nhân Hermite: Xét phương trình tích phân có dạng chập với nhân là hàm Hermite $\Phi_\alpha(x)$ (hoặc hàm dạng Gauss khi $\alpha = 0$): $$f(x) + \lambda (f \overset{\Phi_\alpha}{} \varphi)(x) = g(x)$$ Bằng cách tác dụng biến đổi Fourier lên hai vế và sử dụng đẳng thức nhân tử hóa $\mathcal{F}(f \overset{\Phi_\alpha}{} \varphi) = \Phi_\alpha \cdot \mathcal{F}f \cdot \mathcal{F}\varphi$, phương trình tích phân được chuyển thành phương trình đại số điểm: $$(\mathcal{F}f)(x) [1 + \lambda \Phi_\alpha(x) (\mathcal{F}\varphi)(x)] = (\mathcal{F}g)(x)$$ Luận án thiết lập điều kiện cần và đủ cho tính giải được của phương trình và đưa ra biểu thức nghiệm giải tích tường minh $f(x)$ dưới dạng tích phân Fourier ngược của hàm ảnh, khắc phục hạn chế của nghiệm dạng ẩn trong phương pháp Wiener-Lévy trước đây.

  3. Đánh giá bán kính phổ của toán tử tích phân: Đối với toán tử tích phân tuyến tính $A_\varphi f := f \overset{\Phi_\alpha}{*} \varphi$, luận án chứng minh rằng việc đánh giá bán kính phổ $r(A_\varphi) = \lim_{n \to \infty} |A_\varphi^n|^{1/n}$ được quy về bài toán tìm môđun cực đại của hàm liên tục, bị chặn và giảm nhanh tại vô cùng: $$r(A_\varphi) = \sup_{x \in \mathbb{R}^d} |\Phi_\alpha(x) (\mathcal{F}\varphi)(x)|$$ Đồng thời, luận án xác định chính xác các không gian hàm con mà trên đó toán tử $I + \lambda A_\varphi$ là một phép đồng phôi tuyến tính, đảm bảo phương trình luôn tồn tại nghiệm duy nhất với mọi vế phải $g$.

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

Luận án đạt được các kết quả khoa học mới về lý luận giải tích và phương pháp ứng dụng như sau:

  1. Đóng góp về mặt lý luận:

    • Xây dựng thành công hệ thống các tích chập suy rộng mới trong không gian $L^1(\mathbb{R}^d)$ với hàm trọng là hàm Hermite đa chiều $\Phi_\alpha(x)$ và tổ hợp tuyến tính hữu hạn của các hàm Hermite đối với các biến đổi Fourier, Fourier ngược, Fourier-sine, Fourier-cosine và Hartley.
    • Thiết lập các đẳng thức nhân tử hóa tương ứng và chứng minh các bất đẳng thức chuẩn khẳng định tính đóng kín của các phép chập trong không gian $L^1(\mathbb{R}^d)$.
    • Xây dựng thành công cấu trúc vành định chuẩn giao hoán trên không gian $L^1(\mathbb{R}^d)$ với phép nhân là phép nhân chập có trọng Hermite.

  2. Đóng góp về mặt giải tích ứng dụng:

    • Đưa ra phương pháp giải phương trình tích phân dạng chập với nhân Hermite và nhân Gauss, thiết lập điều kiện cần và đủ cho tính giải được và tìm được công thức nghiệm giải tích tường minh, thay thế cho các kết quả nghiệm ẩn từ định lý Wiener-Lévy của các tác giả trước.
    • Thiết lập phương pháp đánh giá bán kính phổ của các toán tử tích phân dạng chập có trọng Hermite, quy bài toán phổ toán tử phức tạp về bài toán tìm giá trị cực đại môđun của hàm số trên $\mathbb{R}^d$.
    • Xác định cụ thể không gian hàm bảo đảm tính khả nghịch của toán tử và tính duy nhất nghiệm của phương trình tích phân được xét.

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

  • Hạn chế: Luận án tập trung nghiên cứu trong phạm vi không gian Lebesgue $L^1(\mathbb{R}^d)$ và $L^2(\mathbb{R}^d)$ trên toàn không gian Euclid $\mathbb{R}^d$; các cấu trúc hàm trọng được khảo sát dừng lại ở lớp hàm Hermite đa chiều và tổ hợp tuyến tính hữu hạn của chúng; chưa mở rộng sang không gian các hàm phân bố (phân bố Schwartz $\mathcal{S}'$) hoặc các lớp trọng suy rộng thuộc các họ đa thức trực giao khác.
  • Hướng nghiên cứu tiếp:
    • Mở rộng lý thuyết tích chập suy rộng cho các lớp biến đổi tích phân khác với hàm trọng là các họ đa thức trực giao nhiều chiều tổng quát như đa thức Laguerre, Jacobi, Gegenbauer.
    • Khảo sát tích chập suy rộng có trọng Hermite trong không gian các hàm phân bố và không gian Sobolev có trọng.
    • Ứng dụng các công thức nghiệm tường minh vào giải các bài toán biên của phương trình đạo hàm riêng và các bài toán lọc nhiễu trong xử lý tín hiệu số nhiều chiều.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo hữu ích cho:

  • Nghiên cứu sinh, học viên cao học và giảng viên ngành Toán giải tích và Toán ứng dụng: Có thể tham khảo kỹ thuật xây dựng đẳng thức nhân tử hóa cho tích chập suy rộng có hàm trọng ở Chương 2 và phương pháp thiết lập cấu trúc vành định chuẩn trên không gian hàm.
  • Các nhà nghiên cứu trong lĩnh vực Phương trình vi phân - tích phân và Vật lý toán: Phần giải phương trình tích phân với nhân Hermite/Gauss và phương pháp đánh giá bán kính phổ toán tử ở Chương 3 cung cấp công cụ trực tiếp để tìm nghiệm giải tích tường minh cho các mô hình truyền sóng, khuếch tán bức xạ và xử lý tín hiệu.

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

1. Các biến đổi tích phân dạng Fourier trong luận án gồm những biến đổi nào và mối liên hệ giữa chúng là gì?
Các biến đổi tích phân dạng Fourier trong luận án gồm biến đổi Fourier $\mathcal{F}$, Fourier ngược $\mathcal{F}^{-1}$, Fourier-cosine $T_c$, Fourier-sine $T_s$ và biến đổi Hartley $H_1, H_2$. Mối liên hệ giải tích giữa chúng được biểu diễn qua công thức Euler: $$T_c = \frac{\mathcal{F} + \mathcal{F}^{-1}}{2}, \quad T_s = \frac{i\mathcal{F} - i\mathcal{F}^{-1}}{2}, \quad H_1 = T_c + T_s, \quad H_2 = T_c - T_s$$ $$\mathcal{F} = T_c - iT_s, \quad \mathcal{F}^{-1} = T_c + iT_s$$

2. Hàm Hermite đa chiều $\Phi_\alpha(x)$ biến đổi như thế nào qua phép biến đổi Fourier?
Hàm Hermite đa chiều $\Phi_\alpha(x) = (-1)^{|\alpha|} e^{\frac{1}{2}|x|^2} D_x^\alpha e^{-|x|^2}$ là hàm riêng của toán tử biến đổi Fourier và biến đổi Fourier ngược, thỏa mãn hệ thức: $$\mathcal{F}(\Phi_\alpha)(x) = (-i)^{|\alpha|} \Phi_\alpha(x), \quad \mathcal{F}^{-1}(\Phi_\alpha)(x) = i^{|\alpha|} \Phi_\alpha(x)$$ Dưới tác động của $T_c$ và $T_s$, giá trị ảnh phụ thuộc vào tính chẵn lẻ của $|\alpha|$ theo modulo 4 (nhận giá trị $0$, $\Phi_\alpha(x)$ hoặc $-\Phi_\alpha(x)$).

3. Tích chập suy rộng với hàm trọng Hermite cho biến đổi Fourier được định nghĩa như thế nào và thỏa mãn đẳng thức nhân tử hóa nào?
Tích chập suy rộng của hai hàm $f, g \in L^1(\mathbb{R}^d)$ với hàm trọng Hermite $\Phi_\alpha$ được định nghĩa bởi: $$(f \overset{\Phi_\alpha}{} g)(x) = \frac{i^{|\alpha|}}{(2\pi)^d} \int_{\mathbb{R}^d} \int_{\mathbb{R}^d} f(v) g(u) \Phi_\alpha(x - u - v) du dv$$ Tích chập này thuộc $L^1(\mathbb{R}^d)$ và thỏa mãn đẳng thức nhân tử hóa: $$\mathcal{F}(f \overset{\Phi_\alpha}{} g)(x) = \Phi_\alpha(x) (\mathcal{F}f)(x) (\mathcal{F}g)(x)$$

4. Điểm khác biệt chính giữa kết quả giải phương trình tích phân trong luận án và các nghiên cứu trước đó là gì?
Các nghiên cứu trước đây (như các công trình sử dụng định lý Wiener-Lévy) chỉ dừng lại ở việc chứng minh sự tồn tại của nghiệm dưới dạng ẩn. Luận án đã chỉ ra điều kiện cần và đủ cho tính giải được và thiết lập công thức nghiệm giải tích tường minh dưới các điều kiện hạn chế trên vế phải, đồng thời quy việc đánh giá bán kính phổ toán tử về bài toán tìm môđun cực đại của hàm số liên tục, bị chặn trên $\mathbb{R}^d$.

5. Trên không gian Schwartz $\mathcal{S}$, các biến đổi $T_c, T_s$ và $H_1, H_2$ thỏa mãn những tính chất đại số toán tử nào?
Trên không gian các hàm giảm nhanh $\mathcal{S}$, các toán tử thỏa mãn các hệ thức đại số: $$T_c^2 + T_s^2 = I, \quad T_c^3 = T_c, \quad T_s^3 = T_s, \quad T_c T_s = T_s T_c = 0$$ $$\mathcal{F}^4 = I, \quad H_1^2 = H_2^2 = I$$

Kết luận

Luận án của tác giả Nguyễn Thị Thu Huyền đã giải quyết trọn vẹn bài toán xây dựng hệ thống tích chập suy rộng với hàm trọng Hermite đa chiều $\Phi_\alpha(x)$ và tổ hợp tuyến tính hữu hạn của các hàm Hermite cho các biến đổi Fourier, Fourier-sine, Fourier-cosine và Hartley trong không gian $L^1(\mathbb{R}^d)$. Công trình đã chứng minh các bất đẳng thức chuẩn, thiết lập các đẳng thức nhân tử hóa và xây dựng cấu trúc vành định chuẩn trên $L^1(\mathbb{R}^d)$ dựa trên phép nhân chập có trọng Hermite. Các kết quả ứng dụng cung cấp điều kiện cần và đủ, công thức nghiệm tường minh cho phương trình tích phân dạng chập với nhân Hermite/Gauss và phương pháp đánh giá bán kính phổ toán tử tích phân, đóng góp các kết quả có giá trị học thuật cho chuyên ngành Toán giải tích.