Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Đa chập Hartley-Fourier và ứng dụng", chuyên ngành Toán Giải tích (mã số 62460102), được tác giả Phí Thị Vân Anh thực hiện tại Viện Toán Ứng dụng và Tin học, Trường Đại học Bách khoa Hà Nội dưới sự hướng dẫn khoa học của PGS. Nguyễn Xuân Thảo và TS. Nguyễn Minh Khoa (bảo vệ năm 2015).

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

Lý thuyết biến đổi tích phân giữ vị trí nền tảng trong Giải tích toán học và là công cụ hữu hiệu để giải quyết các lớp phương trình vi phân thường, phương trình đạo hàm riêng, phương trình tích phân, phương trình vi-tích phân xuất hiện trong Cơ học, Vật lý, Địa lý, Hải dương học và Kỹ thuật truyền thông. Cùng với biến đổi tích phân, lý thuyết tích chập, tích chập suy rộng và đa chập đóng vai trò then chốt trong việc nhân chập các hàm bên ngoài không gian tuyến tính thông thường, biến các không gian hàm thành vành hoặc đại số định chuẩn.

Mặc dù các biến đổi Fourier, Fourier cosine, Fourier sine, Kontorovich-Lebedev, Mellin và Hankel đã được nghiên cứu gắn với tích chập suy rộng và đa chập, phép biến đổi Hartley (với nhân $\text{cas}(xy) = \cos(xy) + \sin(xy)$) vẫn chưa từng được đưa vào nghiên cứu trong cấu trúc đa chập. Biến đổi Hartley sở hữu ưu điểm vượt trội trong tính toán số học và xử lý tín hiệu: biến đổi Hartley của một hàm nhận giá trị thực luôn cho kết quả là hàm nhận giá trị thực, khắc phục tính phức của biến đổi Fourier. Từ thực tế đó, khoảng trống nghiên cứu đặt ra là:

  1. Chưa có các công trình xây dựng cấu trúc đa chập kết hợp giữa phép biến đổi Hartley với các phép biến đổi Fourier, Fourier cosine và Fourier sine.
  2. Chưa có nghiên cứu nào phát triển lý thuyết phép biến đổi tích phân kiểu đa chập (tương tự như cách phép biến đổi Watson được xây dựng từ tích chập Mellin).
  3. Chưa có hệ thống bất đẳng thức chuẩn (như bất đẳng thức kiểu Young và kiểu Saitoh) dành riêng cho cấu trúc đa chập nhằm đánh giá, ước lượng nghiệm của các bài toán phương trình vi phân và tích phân.

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

Mục tiêu tổng quát của luận án là thiết lập các cấu trúc đa chập mới liên quan đến biến đổi Hartley, Fourier cosine, Fourier sine; khảo sát tường minh các tính chất toán tử, xây dựng phép biến đổi tích phân kiểu đa chập và hệ thống bất đẳng thức chuẩn tương ứng; từ đó ứng dụng giải các lớp phương trình tích phân, phương trình Toeplitz-Hankel, phương trình vi-tích phân và phương trình đạo hàm riêng. Các mục tiêu cụ thể gồm:

  1. Xây dựng hai đa chập mới: đa chập $_1$ đối với phép biến đổi Hartley, Fourier cosine, Fourier sine (đa chập $H-F_c-F_s$) và đa chập $_2$ đối với phép biến đổi Hartley, Fourier cosine (đa chập $H-F_c$), cùng dạng suy biến $*_3$ của đa chập $H-F_c$.
  2. Chứng minh các đẳng thức nhân tử hóa, đẳng thức Parseval, tính đóng, tính bị chặn, cấu trúc đại số và tính không có ước của không (định lý kiểu Titchmarsh) cho các đa chập mới.
  3. Xây dựng các toán tử tích phân kiểu đa chập, xác định điều kiện cần và đủ để toán tử là unita trong $L^2(\mathbb{R})$ (định lý kiểu Watson), tính xấp xỉ (định lý kiểu Plancherel) và tính bị chặn trong $L^r(\mathbb{R})$ ($1 \le r \le 2$).
  4. Thiết lập hệ thống bất đẳng thức chuẩn trong $L^1$, không gian trọng $L^{\alpha,\beta,\gamma}_s$, bất đẳng thức kiểu Young và bất đẳng thức kiểu Saitoh cho đa chập.
  5. Ứng dụng lý thuyết để giải tường minh các lớp phương trình tích phân Fredholm loại hai, phương trình và hệ phương trình Toeplitz-Hankel, phương trình vi-tích phân, phương trình đạo hàm riêng dạng truyền nhiệt và đánh giá chặn nghiệm phương trình vi phân cấp cao bậc chẵn.

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

  • Đối tượng nghiên cứu: Đa chập của ba hàm đối với các phép biến đổi Hartley, Fourier, Fourier cosine, Fourier sine; phép biến đổi tích phân kiểu đa chập; các bất đẳng thức chuẩn cho đa chập.
  • Phạm vi nghiên cứu: Không gian hàm khả tích $L^p(\mathbb{R})$, $L^p(\mathbb{R}^+)$, không gian hàm có trọng $L^p(\mathbb{R}, \rho)$, không gian đa chỉ số $L^{\alpha,\beta,\gamma}_p(\mathbb{R})$, không gian Schwartz $\mathcal{S}$; các lớp phương trình tích phân Fredholm, phương trình Toeplitz-Hankel, phương trình vi-tích phân và phương trình đạo hàm riêng truyền nhiệt.

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

Các hướng nghiên cứu tiền đề

Lý thuyết tích chập và đa chập phát triển qua nhiều giai đoạn với các dấu mốc chính được tác giả tổng thuật:

  • Tích chập đơn biến đổi: Tích chập Fourier ra đời đầu thế kỷ XX trong công trình của J. Fourier và các nhà toán học giải tích cổ điển. Tích chập Laplace được xây dựng cho các hàm bậc mũ. Năm 1967, V. Kakichev đưa ra định nghĩa và phương pháp tổng quát xây dựng tích chập có hàm trọng $\gamma$ cho một biến đổi tích phân bất kỳ, mở rộng công trình tích chập Mehler-Fox có trọng của Vilenkin.
  • Tích chập suy rộng của hai hàm: I. Sneddon (1951) xây dựng tích chập suy rộng đầu tiên liên hệ giữa biến đổi Fourier sine và Fourier cosine. Thập niên 1990, S. Yakubovich phát triển các tích chập suy rộng không trọng cho biến đổi Mellin và Kontorovich-Lebedev. Năm 1998, V. Kakichev và Nguyễn Xuân Thảo tổng quát hóa khái niệm tích chập suy rộng có hàm trọng của hai hàm đối với ba phép biến đổi tích phân bất kỳ.
  • Lý thuyết đa chập cho $n$ hàm ($n \ge 3$): Năm 1997, V. Kakichev đặt nền móng lý thuyết đa chập cho $n$ hàm đối với $n+1$ biến đổi tích phân. Về sau, các công trình cụ thể cho $n=3$ lần lượt xuất hiện:
    • Nguyễn Xuân Thảo và Nguyễn Đức Hậu (2008): đa chập đối với Fourier cosine và Fourier sine.
    • Nguyễn Xuân Thảo và N. Virchenko (2010): đa chập đối với Fourier cosine, Fourier sine và Kontorovich-Lebedev.
    • Trịnh Tuân và Nguyễn Xuân Thảo (2011): đa chập có hàm trọng $\gamma(y) = \sin y$ đối với Fourier sine và Kontorovich-Lebedev.
  • Nghiên cứu giải phương trình Toeplitz-Hankel: Dạng phương trình tích phân $\int_0^\infty f(y)[k_1(x-y) + k_2(x+y)]dy = g(x)$ xuất hiện trong cơ học chất lỏng, lý thuyết lọc và sóng nhiễu xạ. Các công trình giải trường hợp riêng gồm có: Nguyễn Xuân Thảo, Vũ Kim Tuấn, Nguyễn Thanh Hồng (2008, 2011); Phạm Kỳ Anh, Nguyễn Minh Tuấn, Phan Đức Tuấn (2013 với hàm tuần hoàn); Nguyễn Xuân Thảo, Vũ Kim Tuấn, Hoàng Thị Vân Anh (2014 trên toàn trục thực).
  • Bất đẳng thức tích chập: W. Young (1912) thiết lập bất đẳng thức Young cho tích chập Fourier trong không gian $L^s$. S. Saitoh và các cộng sự (từ năm 2000) đã xây dựng lớp bất đẳng thức Saitoh trong không gian hàm có trọng $L^p(\mathbb{R}, \rho)$, mở rộng phạm vi đánh giá đúng với $p=2$.

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

Các công trình về đa chập trước đó chỉ tập trung vào biến đổi Fourier cosine, Fourier sine và Kontorovich-Lebedev, hoàn toàn vắng bóng phép biến đổi Hartley. Hơn nữa, các nghiên cứu trước chỉ dừng lại ở việc xây dựng biểu thức đa chập và kiểm tra nhân tử hóa. Luận án lựa chọn giải quyết trọn vẹn chuỗi vấn đề: đưa biến đổi Hartley vào cấu trúc đa chập, khảo sát tính chất toán tử unita/bị chặn của phép biến đổi tích phân kiểu đa chập, thiết lập hệ thống bất đẳng thức Young/Saitoh cho đa chập và sử dụng đa chập làm công cụ giải phương trình Toeplitz-Hankel cùng các phương trình vi-tích phân.

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

Hệ thống khái niệm và không gian hàm

Luận án vận hành trên nền tảng các không gian hàm và biến đổi tích phân sau:

  • Không gian Banach $C_0(\mathbb{R})$ các hàm liên tục triệt tiêu tại vô cùng; không gian Schwartz $\mathcal{S}$ các hàm khả vi vô hạn giảm nhanh; không gian $L^\infty(\mathbb{R})$; không gian Lebesgue $L^p(\mathbb{R})$ và $L^p(\mathbb{R}^+)$.
  • Không gian hàm có trọng $L^p(\mathbb{R}, \rho)$ với chuẩn $|f|{L^p(\mathbb{R},\rho)} = \left(\int{-\infty}^\infty |f(x)|^p \rho(x)dx\right)^{1/p}$.
  • Không gian đa chỉ số $L^{\alpha,\beta,\gamma}p(\mathbb{R})$ với chuẩn $|f|{L^{\alpha,\beta,\gamma}p} = \left(\int{-\infty}^\infty |x|^\alpha e^{-\beta|x|^\gamma} |f(x)|^p dx\right)^{1/p}$ ($\alpha \in \mathbb{R}, \beta > 0, \gamma > 0$).
  • Biến đổi Fourier $(\mathcal{F}f)(y) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty f(x)e^{-ixy}dx$.
  • Biến đổi Fourier cosine $(\mathcal{F}_c f)(y) = \sqrt{\frac{2}{\pi}} \int_0^\infty f(x)\cos(yx)dx$ và Fourier sine $(\mathcal{F}_s f)(y) = \sqrt{\frac{2}{\pi}} \int_0^\infty f(x)\sin(yx)dx$.
  • Biến đổi Hartley chỉ số 1 và 2: $(H_1 f)(y) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty f(x)\text{cas}(xy)dx$ và $(H_2 f)(y) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty f(x)\text{cas}(-xy)dx$, với $\text{cas}(u) = \cos u + \sin u$.
Hệ thống biến đổi tích phân nền tảng:

Khung lý thuyết và bổ đề bổ trợ

  • Định lý Wiener-Levy: Áp dụng cho biến đổi Fourier, Fourier cosine và Hartley để tìm nghiệm giải tích dạng đóng.
  • Bất đẳng thức Hölder: Sử dụng cho tích phân trên $\mathbb{R}^n$ và chuỗi hữu hạn.
  • Định lý nội suy Riesz: Công cụ nội suy toán tử tuyến tính từ $L^{r_0} \to L^{s_0}$ và $L^{r_1} \to L^{s_1}$ sang $L^r \to L^s$ để chứng minh tính bị chặn của các toán tử tích phân kiểu đa chập.
  • Định lý Fubini và tính trù mật: Đổi thứ tự lấy tích phân và xấp xỉ hàm bằng dãy hàm trù mật trong không gian Schwartz $\mathcal{S}$.

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

Tác giả sử dụng phối hợp:

  • Phương pháp biến đổi tích phân kết hợp phương pháp đại số toán tử.
  • Kỹ thuật ước lượng giải tích hàm: biến đổi tọa độ, phép đổi biến tích phân nhiều lớp, đánh giá chuẩn tích phân trong không gian Lebesgue và không gian trọng.
  • Phương pháp giải phương trình toán-lý giải tích: áp dụng biến đổi tích phân lên hai vế của phương trình, chuyển phương trình tích phân/vi-tích phân về phương trình đại số nhờ đẳng thức nhân tử hóa, sau đó sử dụng phép biến đổi ngược và định lý Wiener-Levy để khôi phục nghiệm dạng đóng.

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

Chương 1: Kiến thức chuẩn bị

Chương 1 tổng thuật có hệ thống các kiến thức nền tảng và các kết quả bổ trợ được sử dụng xuyên suốt luận án:

  • Trình bày định nghĩa, biến đổi ngược và các tính chất của biến đổi Fourier, Fourier cosine, Fourier sine và Hartley.
  • Khảo sát các tính chất của biến đổi Hartley trong $L^2(\mathbb{R})$: tính unita ($H_1^2 = I, H_2^2 = I$), biến đổi của đạo hàm $(H_1 f^{(n)})(y)$, đạo hàm của biến đổi Hartley $\frac{d^n}{dx^n}(H_1 f)(x)$, mối liên hệ giữa biến đổi Hartley và Fourier qua công thức: $$(H_1 f)(y) = \frac{1-i}{2}(\mathcal{F}f)(-y) + \frac{1+i}{2}(\mathcal{F}f)(y)$$ $$(H_2 f)(y) = \frac{1+i}{2}(\mathcal{F}f)(-y) + \frac{1-i}{2}(\mathcal{F}f)(y)$$
  • Hệ thống hóa các dạng tích chập đơn và tích chập suy rộng đã biết: tích chập Hartley $(f * g)H$, tích chập suy rộng $(f * g){H_{12}}$, tích chập suy rộng Hartley-Fourier $(f * g){HF}$ và Hartley-Fourier cosine $(f * g){HF_c}$.
  • Trình bày bất đẳng thức Young, bất đẳng thức Saitoh, bất đẳng thức Hölder và định lý nội suy Riesz.

Chương 2: Đa chập liên quan đến các phép biến đổi Hartley, Fourier cosine và Fourier sine

Chương 2 tập trung xây dựng hai cấu trúc đa chập mới cùng một cấu trúc đa chập suy biến, khảo sát các tính chất giải tích và ứng dụng giải phương trình:

1. Đa chập $H-F_c-F_s$ ($*_1$)

Đa chập của ba hàm $f, g \in L^1(\mathbb{R}^+)$ và $h \in L^1(\mathbb{R})$ được định nghĩa bởi biểu thức: $$*_1(f, g, h)(x) := \frac{1}{2\pi} \int_0^\infty \int_0^\infty f(u) g(v) \theta_h(x, u, v) du dv, \quad x \in \mathbb{R}$$ trong đó nhân $\theta_h(x, u, v) = h(x+u-v) + h(-x-u+v) + h(x+u+v) + h(-x-u-v) - h(x-u-v) - h(-x+u+v) - h(x-u+v) - h(-x+u-v)$.

  • Tính chất trong $L^1(\mathbb{R})$ và đẳng thức nhân tử hóa: Hàm $*_1(f,g,h)(x)$ bị chặn và thuộc $L^1(\mathbb{R})$, thỏa mãn hai đẳng thức nhân tử hóa đồng thời xuất hiện 4 biến đổi tích phân: $$H_1*_1(f, g, h) = \text{sign},y \cdot (\mathcal{F}_c f)(|y|) \cdot (\mathcal{F}_s g)(|y|) \cdot (H_2 h)(y)$$ $$H_2*_1(f, g, h) = -\text{sign},y \cdot (\mathcal{F}_c f)(|y|) \cdot (\mathcal{F}_s g)(|y|) \cdot (H_1 h)(y)$$
  • Đẳng thức Parseval: Trong $L^2$, đa chập thỏa mãn: $$*1(f, g, h)(x) = \frac{1}{\sqrt{2\pi}} \int{-\infty}^\infty \text{sign},y \cdot (\mathcal{F}_c f)(|y|) \cdot (\mathcal{F}_s g)(|y|) \cdot (H_2 h)(y) \text{cas}(xy) dy$$
  • Tính đóng trong không gian $L^{\alpha,\beta,\gamma}_s(\mathbb{R})$: Với $f \in L^p(\mathbb{R}^+), g \in L^q(\mathbb{R}^+), h \in L^r(\mathbb{R})$ thỏa mãn $\frac{1}{p} + \frac{1}{q} + \frac{1}{r} = 2$ ($p, q, r > 1$), đa chập $*_1(f,g,h)$ bị chặn và thuộc $L^{\alpha,\beta,\gamma}_s(\mathbb{R})$ ($s > 1, \alpha > -1, \beta > 0, \gamma > 0$).
  • Mối liên hệ cấu trúc: Đa chập $_1$ liên hệ với tích chập suy rộng có trọng và tích chập Fourier qua hệ thức: $$1(f, g, h) = -i \left( (f * g){\mathcal{F},\mathcal{F}_c,\mathcal{F}s}^\gamma * h \right){\mathcal{F}}$$
  • Tính không có ước của không (Định lý kiểu Titchmarsh): Chứng minh rằng $*_1(f, g, h)(x) \equiv 0$ khi và chỉ khi ít nhất một trong ba hàm $f, g, h$ đồng nhất bằng 0 trên miền xác định.
  • Ứng dụng giải phương trình tích phân: Áp dụng giải phương trình Fredholm loại hai có nhân chứa tích phân hai lớp: $$f(x) + \lambda \int_0^\infty \int_0^\infty \phi(u) \psi(v) \theta_1(x, u, v) dudv = h(x)$$ Tìm được nghiệm duy nhất dạng đóng trong $L^1(\mathbb{R})$: $f(x) = h(x) - (l * h)_{HF}(x)$ dưới điều kiện $1 + \lambda \text{sign},y (\mathcal{F}_c \phi)(|y|)(\mathcal{F}_s \psi)(|y|) \ne 0$.

2. Đa chập $H-F_c$ ($_2$) và đa chập suy biến ($_3$)

  • Thiết lập biểu thức đa chập $*_2$ đối với phép biến đổi Hartley và Fourier cosine.
  • Ứng dụng đa chập $*_2$ để giải lớp phương trình và hệ hai phương trình tích phân Toeplitz-Hankel dạng: $$f(x) + \int_0^\infty f(y)[k_1(x-y) + k_2(x+y)]dy = g(x), \quad x > 0$$
  • Xây dựng đa chập $H-F_c$ suy biến ($*_3$) bằng cách biến đổi hàm nhân, cho phép giải lớp phương trình đạo hàm riêng dạng truyền nhiệt.

Chương 3: Phép biến đổi tích phân kiểu đa chập

Chương 3 xây dựng các toán tử tích phân mới từ các cấu trúc đa chập bằng phương pháp cố định hàm:

Toán tử tích phân kiểu đa chập Cơ sở đa chập Tính chất unita ($L^2$) Tính bị chặn Ứng dụng chính
Toán tử $T_{p_1, p_2}$ Đa chập $*_1$ ($H-F_c-F_s$) Định lý kiểu Watson trong $L^2(\mathbb{R})$ Bị chặn trong $L^r(\mathbb{R})$ ($1 \le r \le 2$) qua nội suy Riesz Giải phương trình và hệ phương trình vi-tích phân
Toán tử $T_{q_1, q_2}$ Đa chập $*_2$ ($H-F_c$) Định lý kiểu Watson trong $L^2(\mathbb{R})$ Bị chặn trong $L^r(\mathbb{R})$ ($1 \le r \le 2$) qua nội suy Riesz Giải phương trình vi-tích phân liên kết
  • Định lý kiểu Watson: Thiết lập điều kiện cần và đủ đối với các hàm cố định để toán tử tích phân kiểu đa chập trở thành toán tử unita trên không gian Hilbert $L^2(\mathbb{R})$.
  • Định lý kiểu Plancherel: Chứng minh các phép biến đổi kiểu đa chập có thể xấp xỉ theo chuẩn trong không gian $L^2(\mathbb{R})$ bởi các dãy hàm khả tích.
  • Tính bị chặn của toán tử: Sử dụng định lý nội suy Riesz để chứng minh toán tử tuyến tính bị chặn đồng thời từ $L^1 \to L^\infty$ và $L^2 \to L^2$, suy ra tính bị chặn từ $L^r \to L^s$ với $\frac{1}{r} + \frac{1}{s} = 1$ ($1 \le r \le 2$).
  • Ứng dụng giải phương trình vi-tích phân: Đưa ra nghiệm giải tích tường minh cho phương trình và hệ hai phương trình vi-tích phân phức tạp.

Chương 4: Bất đẳng thức đối với đa chập

Chương 4 thiết lập hệ thống các bất đẳng thức chuẩn cho các đa chập mới:

  • Bất đẳng thức chuẩn trong $L^1$: Ước lượng chuẩn $|*1(f, g, h)|{L^1(\mathbb{R})} \le \frac{4}{\pi} |f|{L^1(\mathbb{R}^+)} |g|{L^1(\mathbb{R}^+)} |h|_{L^1(\mathbb{R})}$.
  • Bất đẳng thức chuẩn trong không gian $L^{\alpha,\beta,\gamma}_s(\mathbb{R})$: Đánh giá chuẩn đa chỉ số có trọng dạng hàm mũ: $$|*1(f, g, h)|{L^{\alpha,\beta,\gamma}s(\mathbb{R})} \le C(\alpha, \beta, \gamma, s) |f|{L^p(\mathbb{R}^+)} |g|{L^q(\mathbb{R}^+)} |h|{L^r(\mathbb{R})}$$ với hằng số $C(\alpha, \beta, \gamma, s) = \frac{4}{\pi} \left( \frac{2}{\gamma} \beta^{-\frac{\alpha+1}{\gamma}} \Gamma\left(\frac{\alpha+1}{\gamma}\right) \right)^{1/s}$.
  • Bất đẳng thức kiểu Young cho đa chập: Mở rộng bất đẳng thức Young kinh điển cho tích chập Fourier sang cấu trúc đa chập ba hàm.
  • Bất đẳng thức kiểu Saitoh cho đa chập: Thiết lập bất đẳng thức kiểu Saitoh trong không gian hàm có trọng $L^p(\mathbb{R}, \rho)$, đảm bảo bất đẳng thức đúng với mọi $p \ge 1$, bao gồm trường hợp tới hạn $p=2$.
  • Ứng dụng bất đẳng thức: Sử dụng các bất đẳng thức vừa thiết lập để đánh giá chặn trên của nghiệm, ước lượng sai số và khảo sát tính ổn định nghiệm cho một lớp phương trình tích phân và phương trình vi phân cấp cao bậc chẵn.

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

Đóng góp về lý thuyết

  1. Xây dựng các cấu trúc đa chập mới: Lần đầu tiên đưa phép biến đổi Hartley vào lý thuyết đa chập; xây dựng thành công đa chập $_1$ ($H-F_c-F_s$), đa chập $_2$ ($H-F_c$) và đa chập suy biến $_3$ ($H-F_c$). Điểm đặc thù của đa chập $_1$ là đẳng thức nhân tử hóa chứa đồng thời 4 biến đổi tích phân khác nhau ($H_1/H_2, \mathcal{F}_c, \mathcal{F}_s, H_2/H_1$).
  2. Khảo sát giải tích toàn diện cho đa chập: Chứng minh các đẳng thức Parseval, tính đóng trong $L^1$ và $L^{\alpha,\beta,\gamma}_s$, cấu trúc đại số và định lý kiểu Titchmarsh (tính không có ước của không).
  3. Phát triển lý thuyết biến đổi tích phân kiểu đa chập: Thiết lập lớp toán tử tích phân kiểu đa chập ($T_{p_1,p_2}, T_{q_1,q_2}$), chứng minh định lý unita kiểu Watson, định lý xấp xỉ kiểu Plancherel và tính bị chặn trong $L^r(\mathbb{R})$ ($1 \le r \le 2$).
  4. Hệ thống bất đẳng thức cho đa chập: Thiết lập các bất đẳng thức chuẩn trong $L^1$, $L^{\alpha,\beta,\gamma}_s$, bất đẳng thức kiểu Young và bất đẳng thức kiểu Saitoh cho đa chập.

Đóng góp về ứng dụng và phương pháp tính

  1. Giải phương trình Toeplitz-Hankel: Đề xuất công cụ đa chập $*_2$ để tìm nghiệm giải tích dạng đóng cho một lớp phương trình và hệ phương trình tích phân Toeplitz-Hankel – một lớp phương trình mở và phức tạp trong vật lý toán.
  2. Giải phương trình tích phân và vi-tích phân: Đưa ra công thức nghiệm tường minh cho phương trình tích phân Fredholm loại hai với nhân tích phân hai lớp, các phương trình và hệ phương trình vi-tích phân.
  3. Giải phương trình đạo hàm riêng: Ứng dụng đa chập suy biến $*_3$ để giải lớp phương trình đạo hàm riêng dạng truyền nhiệt.
  4. Đánh giá nghiệm: Ứng dụng bất đẳng thức đa chập để ước lượng chặn nghiệm của phương trình vi phân cấp cao bậc chẵn.

Danh mục công trình khoa học công bố

Các kết quả của luận án được công bố trong 05 công trình khoa học (gồm 04 bài báo trên các tạp chí quốc tế thuộc danh mục ISI/SCIE và 01 bài báo trên tạp chí chuyên ngành trong nước), đồng thời được báo cáo tại 04 hội nghị toán học quốc tế/quốc gia và 02 xemina chuyên ngành:

  • Hội nghị Quốc tế lần thứ 20 về giải tích phức hữu hạn hoặc vô hạn chiều và ứng dụng (Hà Nội, 08/2012).
  • Hội nghị Toán học phối hợp Việt - Pháp (Huế, 08/2012).
  • Đại hội Toán học Việt Nam lần thứ 8 (Nha Trang, 08/2013).
  • Hội nghị Toán ứng dụng Quốc tế tại Việt Nam - VIAMC (TP. Hồ Chí Minh, 12/2013).

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

Hạn chế dựa trên phạm vi nghiên cứu

  • Các cấu trúc đa chập trong luận án tập trung khảo sát trường hợp tích chập của 3 hàm ($n=3$) liên quan đến 4 phép biến đổi tích phân xác định ($H, \mathcal{F}, \mathcal{F}_c, \mathcal{F}_s$).
  • Việc giải phương trình Toeplitz-Hankel mới giải quyết được cho các lớp nhân $k_1, k_2$ và vế phải thỏa mãn các điều kiện giải tích gắn với cấu trúc đa chập, chưa bao quát toàn bộ trường hợp tổng quát của nhân Toeplitz và Hankel bất kỳ.

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

  1. Mở rộng cấu trúc đa chập cho $n$ hàm bất kỳ ($n > 3$) có liên quan đến phép biến đổi Hartley và các biến đổi tích phân khác (Mellin, Hankel, Kontorovich-Lebedev).
  2. Xây dựng các đa chập có trọng tổng quát $\gamma(y)$ kết hợp biến đổi Hartley với các biến đổi tích phân suy rộng.
  3. Nghiên cứu các lớp phương trình vi-tích phân phi tuyến, phương trình đạo hàm riêng nhiều chiều sử dụng công cụ biến đổi tích phân kiểu đa chập.
  4. Phát triển các thuật toán số học tính toán xấp xỉ nghiệm dựa trên tính chất giá trị thực của biến đổi Hartley.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo trong lĩnh vực Toán Giải tích và Toán ứng dụng:

  • Đối với nghiên cứu sinh và học viên cao học ngành Toán Giải tích/Giải tích hàm: Cung cấp phương pháp luận chặt chẽ trong việc xây dựng tích chập suy rộng, đa chập, chứng minh đẳng thức nhân tử hóa và kỹ thuật đánh giá toán tử unita/bị chặn trên các không gian hàm Lebesgue và không gian trọng.
  • Đối với giảng viên và nhà nghiên cứu Vật lý toán: Chương 2 và Chương 3 cung cấp công cụ giải tích hữu hiệu để giải nghiệm dạng đóng cho phương trình Toeplitz-Hankel, phương trình vi-tích phân và phương trình truyền nhiệt.
  • Đối với các nhà nghiên cứu Xử lý tín hiệu và Xử lý ảnh: Cung cấp cơ sở lý thuyết giải tích vững chắc về việc khai thác biến đổi Hartley và đa chập Hartley nhằm tối ưu hóa tính toán số thực, giảm thiểu sai số trung gian khi xử lý đồng thời nhiều nguồn tín hiệu.

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

1. Tại sao phép biến đổi Hartley được lựa chọn để xây dựng đa chập thay vì chỉ sử dụng biến đổi Fourier kinh điển?

Biến đổi Hartley có nhân là hàm thực $\text{cas}(xy) = \cos(xy) + \sin(xy)$. Do đó, biến đổi Hartley của một hàm nhận giá trị thực luôn là một hàm nhận giá trị thực. Trong tính toán số học và xử lý tín hiệu, việc sử dụng biến đổi Hartley nhanh hơn và thuận tiện hơn biến đổi Fourier vì biến đổi Fourier của hàm thực có thể tạo ra hàm phức, đòi hỏi xử lý phần thực và phần ảo tách biệt.

2. Đa chập $H-F_c-F_s$ ($*_1$) có đặc điểm gì khác biệt so với các đa chập đã công bố trước đây?

Điểm đặc thù của đa chập $*_1$ là lần đầu tiên đẳng thức nhân tử hóa của nó xuất hiện đồng thời 4 phép biến đổi tích phân khác nhau: biến đổi Hartley $H_1$ (hoặc $H_2$), Fourier cosine $\mathcal{F}_c$, Fourier sine $\mathcal{F}_s$ và Hartley $H_2$ (hoặc $H_1$) cùng hàm trọng dấu $\text{sign},y$. Các công trình đa chập trước đây chỉ liên quan đến tối đa 3 phép biến đổi tích phân ($\mathcal{F}_c, \mathcal{F}_s$ và Kontorovich-Lebedev).

3. Định lý kiểu Watson cho phép biến đổi tích phân kiểu đa chập khẳng định điều gì?

Định lý kiểu Watson trong luận án thiết lập điều kiện cần và đủ đối với các hàm thành phần cố định trong đa chập để toán tử tích phân kiểu đa chập trở thành toán tử unita trong không gian Hilbert $L^2(\mathbb{R})$, bảo toàn chuẩn và thỏa mãn hệ thức trực giao tương tự như các phép biến đổi tích phân cổ điển.

4. Bất đẳng thức kiểu Saitoh khắc phục nhược điểm gì của bất đẳng thức Young đối với đa chập?

Bất đẳng thức kiểu Young cho đa chập thiết lập đánh giá chuẩn trong không gian $L^s$ với các chỉ số thỏa mãn $\frac{1}{p} + \frac{1}{q} + \frac{1}{r} = 1 + \frac{1}{s}$, tuy nhiên bất đẳng thức này không đúng trong trường hợp không gian $L^2$ ($p=q=r=s=2$). Bất đẳng thức kiểu Saitoh được xây dựng trong không gian hàm có trọng $L^p(\mathbb{R}, \rho)$ đúng với mọi $p > 1$, bao gồm cả trường hợp chuẩn $p=2$, giúp đánh giá chính xác nghiệm phương trình trong không gian Hilbert.

5. Ý nghĩa của định lý kiểu Titchmarsh (tính không có ước của không) đối với đa chập $*_1$ là gì?

Định lý khẳng định nếu đa chập $*_1(f, g, h)(x) = 0$ hầu khắp nơi trên $\mathbb{R}$ thì bắt buộc phải có ít nhất một trong ba hàm $f(x) \equiv 0$ (trên $\mathbb{R}^+$), $g(x) \equiv 0$ (trên $\mathbb{R}^+$) hoặc $h(x) \equiv 0$ (trên $\mathbb{R}$). Tính chất này bảo đảm tính duy nhất nghiệm khi giải các phương trình tích phân chứa toán tử đa chập.

Kết luận

Luận án tiến sĩ của tác giả Phí Thị Vân Anh đã xây dựng thành công lý thuyết đa chập mới gắn với các phép biến đổi Hartley, Fourier cosine và Fourier sine, lấp đầy khoảng trống nghiên cứu về phép biến đổi Hartley trong cấu trúc đa chập. Công trình đã khảo sát toàn diện các tính chất giải tích, thiết lập hệ thống biến đổi tích phân kiểu đa chập với tính chất unita và tính bị chặn, đồng thời hoàn thiện hệ thống bất đẳng thức chuẩn kiểu Young và Saitoh cho đa chập. Các kết quả lý thuyết đã được ứng dụng hiệu quả để giải nghiệm dạng đóng cho các lớp phương trình tích phân Fredholm, phương trình vi-tích phân, phương trình đạo hàm riêng truyền nhiệt và đặc biệt là lớp phương trình tích phân Toeplitz-Hankel. Với 04 bài báo ISI/SCIE và các báo cáo tại các hội nghị chuyên ngành, luận án có giá trị khoa học cao và đóng góp thiết thực cho sự phát triển của chuyên ngành Toán Giải tích.