Tổng quan về luận án

Nghiên cứu về phép biến đổi tích phân và cấu trúc đại số tích chập giữ vị trí trung tâm trong toán giải tích hiện đại và vật lý toán. Kể từ khi Joseph Fourier đặt nền móng cho phép biến đổi Fourier vào đầu thế kỷ 19 nhằm giải quyết bài toán truyền nhiệt kinh điển, các công cụ giải tích tích phân như Laplace, Mellin, Hankel, Hilbert và Kontorovich-Lebedev đã liên tục phát triển để mô hình hóa các hệ thống vật lý, cơ học lượng tử, quang học và xử lý tín hiệu. Năm 1942, Ralph Hartley đề xuất phép biến đổi tích phân mang tên ông với hạt nhân thực đối xứng $\text{cas}(u) = \cos u + \sin u$, tạo ra một bước ngoặt tính toán nhờ khả năng ánh xạ trực tiếp từ hàm thực sang hàm thực mà không thông qua trường số phức. Tuy nhiên, trong suốt nhiều thập kỷ, cấu trúc tích chập suy rộng (generalized convolution) đa phép biến đổi và các toán tử tích phân liên kết với phép biến đổi Hartley vẫn tồn tại những khoảng trống lý thuyết sâu sắc (research gaps), đặc biệt là việc thiếu vắng các đẳng thức nhân tử hóa kết nối Hartley với các phép biến đổi Fourier sine, Fourier cosine và các đánh giá bất đẳng thức kiểu Saitoh ngược trong không gian hàm trọng.

Luận án Tiến sĩ Toán học của NCS Hoàng Thị Vân Anh với đề tài "Phép biến đổi tích phân kiểu tích chập suy rộng Hartley và ứng dụng" (Chuyên ngành: Toán giải tích, Mã số: 62460102), thực hiện dưới sự hướng dẫn khoa học của PGS. Nguyễn Xuân Thảo tại Viện Toán Ứng dụng và Tin học - Trường Đại học Bách khoa Hà Nội (2016), đã giải quyết căn bản các khoảng trống lý thuyết này. Luận án đặt ra ba câu hỏi nghiên cứu cốt lõi:

  1. Research Question 1 (RQ1): Làm thế nào để kiến thiết các cấu trúc tích chập suy rộng mới liên kết phép biến đổi Hartley ($H_1, H_2$) với Fourier sine ($F_s$), Fourier cosine ($F_c$) và Fourier toàn phần ($F$), đồng thời chứng minh tính đóng, các đẳng thức nhân tử hóa, đẳng thức Parseval và định lý triệt tiêu kiểu Titchmarsh?
  2. Research Question 2 (RQ2): Khung giải tích nào cho phép thiết lập các bất đẳng thức tích phân chuẩn hóa kiểu Hausdorff-Young, Young, Saitoh và Saitoh ngược trong các không gian Lebesgue $L^p(\mathbb{R})$ và không gian có trọng $L^p(\mathbb{R}, \rho)$, phục vụ ước lượng tiên nghiệm cho nghiệm toán tử?
  3. Research Question 3 (RQ3): Cấu trúc toán tử vi-tích phân kiểu tích chập suy rộng Hartley ($T_h, T_k$) có thỏa mãn các tính chất Unita kiểu Watson, Plancherel và tính bị chặn trong $L^2(\mathbb{R})$ và $L^p(\mathbb{R})$ để tìm nghiệm giải tích dạng đóng (closed-form solutions) cho các phương trình tích phân Toeplitz-Hankel, phương trình parabolic và hệ phương trình vi-tích phân hay không?

Các giả thuyết nghiên cứu ($H_1, H_2, H_3$) tương ứng khẳng định sự tồn tại của các toán tử unita mới, sự hội tụ của nghiệm đóng dạng giải tích và khả năng kiểm soát sai số nghiệm thông qua các chặn trên/dưới giải tích. Toàn bộ công trình được phát triển trên khung lý thuyết giải tích hàm hiện đại (Modern Functional Analysis Framework), lý thuyết toán tử tuyến tính (Linear Operator Theory) và giải tích điều hòa (Harmonic Analysis). Đóng góp đột phá của luận án được định lượng qua việc công bố 04 công trình khoa học đỉnh cao (gồm 03 bài báo trên các tạp chí quốc tế uy tín thuộc danh mục ISI và 01 công trình trong Kỷ yếu Hội nghị Toán học Quốc tế), thiết lập công thức nghiệm giải tích tường minh cho 4 lớp phương trình tích phân và vi-tích phân phức tạp vốn là bài toán mở trong trường hợp tổng quát.

Literature Review và Positioning

Lịch sử phát triển của phép biến đổi tích phân và tích chập chứng kiến sự tiến hóa từ tích chập cổ điển đơn phép biến đổi sang cấu trúc đa phép biến đổi có hàm trọng. Tích chập Fourier cổ điển trên không gian $L^1(\mathbb{R})$ được định nghĩa theo công thức: $$(f \overset{F}{} g)(x) := \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty f(y)g(x-y)dy$$ thỏa mãn đẳng thức nhân tử hóa kinh điển $\mathcal{F}(f \overset{F}{} g)(y) = (\mathcal{F} f)(y) \cdot (\mathcal{F} g)(y)$. Đối với phép biến đổi Hartley, Bracewell et al. (1986, 1990) và Olejniczak (1993) đã phân tích sâu các thuật toán tính toán nhanh (Fast Hartley Transform - FHT), chỉ ra ưu thế vượt trội về tốc độ xử lý số thực và bộ nhớ so với Fast Fourier Transform (FFT). Năm 2009, nhóm tác giả Bùi Kiên Cường, Nguyễn Xuân Thảo và cộng sự đã công bố các kết quả đầu tiên về tích chập thuần nhất Hartley trên $\mathbb{R}$.

Về hướng tích chập suy rộng đa phép biến đổi, khái niệm này bắt nguồn từ công trình tiên phong của Ian Naismith Sneddon (1951, 1972) khi kết hợp Fourier cosine và Fourier sine không trọng: $$(f \overset{FsFc}{} g)(x) := \frac{1}{\sqrt{2\pi}} \int_0^\infty f(y)[g(|x-y|) - g(x+y)]dy$$ Năm 1998, Valentin A. Kakichev và các cộng sự đã hệ thống hóa phương pháp kiến thiết tích chập suy rộng có hàm trọng $\gamma$ cho bộ ba phép biến đổi tích phân $(K_1, K_2, K_3)$ bất kỳ thỏa mãn: $$K_1(f \overset{\gamma}{} g)(y) = \gamma(y)(K_2 f)(y) \cdot (K_3 g)(y)$$

Trong dòng chảy học thuật quốc tế hiện đại, tồn tại các cuộc tranh luận giải tích sâu sắc giữa hai trường phái:

  1. Trường phái biến đổi chỉ số và hạt nhân đặc biệt: Đại diện tiêu biểu là Semyon Yakubovich (2014) với các công trình nghiên cứu phép biến đổi Hartley trên nửa trục dương $L^2(\mathbb{R}+)$ có nhân kết hợp hàm tích phân Fresnel: $$(H+ f)(x) := \sqrt{\frac{2}{\pi}} \frac{d}{dx} \int_0^\infty \frac{\cos(xt) + \sin(xt)}{t} f(t) dt$$ và Fethi Bouzeffour (2014) với phép biến đổi Hartley suy rộng trên không gian trọng $L^1_\alpha(\mathbb{R})$ gắn với hàm Bessel chính quy $J_\alpha(\lambda x)$. Cách tiếp cận này mạnh về biểu diễn phổ nhưng gặp rào cản khi giải quyết bài toán biên thực tế do cấu trúc nhân phi tuyến phức tạp.
  2. Trường phái tích chập cấu trúc toán tử: Đại diện bởi Saburou Saitoh (1997, 2000), Vũ Kim Tuấn (2000, 2013) và Nguyễn Xuân Thảo (2007, 2011), tập trung vào đại số tích chập suy rộng và toán tử vi-tích phân để giải phương trình tích phân kỳ dị và bài toán Toeplitz-Hankel.

Luận án của NCS Hoàng Thị Vân Anh định vị chính xác tại điểm giao thoa của hai dòng chảy này. Bằng cách so sánh với các nghiên cứu quốc tế của Paraskevas et al. (2015) về bài toán phổ Whitened trên cơ sở tích chập Hartley và nghiên cứu của Pham Ky Anh et al. (2013) về phương trình Toeplitz-Hankel tuần hoàn chu kỳ $2\pi$, luận án đã tạo ra bước tiến vượt bậc: mở rộng toán tử giải tích từ miền tuần hoàn/hạn chế sang toàn trục $\mathbb{R}$ và nửa trục $\mathbb{R}_+$, đồng thời thiết lập hệ thống bất đẳng thức Saitoh ngược có trọng đa chiều mà các công trình trước đó chưa từng đạt được.

Đóng góp lý thuyết và khung phân tích

                      ┌────────────────────────────────────────┐
                      │    LÝ THUYẾT GIẢI TÍCH HÀM HIỆN ĐẠI    │
                      │  (Banach, Hilbert, Fourier, Hartley)   │
                      └──────────────────┬─────────────────────┘
                                         │
                   ┌─────────────────────┴─────────────────────┐
                   ▼                                           ▼
┌─────────────────────────────────────┐     ┌─────────────────────────────────────┐
│    TÍCH CHẬP SUY RỘNG HARTLEY MỚI   │     │    KHUNG BẤT ĐẲNG THỨC TOÁN TỬ     │
│  • Hartley - Fourier sine (*)       │     │  • Hausdorff - Young suy rộng       │
│                             1       │     │  • Bất đẳng thức Young tích chập    │
│  • Hartley - Fourier cosine (*)     │     │  • Bất đẳng thức Saitoh và Saitoh   │
│                             2       │     │    ngược trong không gian Lᵖ(ℝ, ρ)  │
│  • Hartley - Fourier toàn phần (* ) │     └──────────────────┬──────────────────┘
│                                  HF │                        │
│  • Hartley nội tại (*  , *  )       │                        │
│                      H11  H12       │                        │
└──────────────────┬──────────────────┘                        │
                   │                                           │
                   └─────────────────────┬─────────────────────┘
                                         ▼
                      ┌────────────────────────────────────────┐
                      │   CẤU TRÚC TOÁN TỬ VI-TÍCH PHÂN TH, TK │
                      │  • Định lý Watson (Tính Unita L²(ℝ))   │
                      │  • Định lý Plancherel & Bị chặn Lᵖ(ℝ) │
                      │  • Định lý triệt tiêu kiểu Titchmarsh  │
                      └──────────────────┬─────────────────────┘
                                         │
                                         ▼
                      ┌────────────────────────────────────────┐
                      │          ỨNG DỤNG GIẢI TÍCH TOÁN       │
                      │  • Phương trình tích phân Toeplitz-    │
                      │    Hankel loại 1 & 2 (Nghiệm đóng)     │
                      │  • Hệ phương trình vi-tích phân        │
                      │  • Bài toán Dirichlet & Cauchy nhiệt   │
                      └────────────────────────────────────────┘

Đóng góp cho lý thuyết

Luận án đã mở rộng và hoàn thiện hệ thống lý thuyết giải tích hàm thông qua các đóng góp nền tảng mang tính bước ngoặt:

  1. Kiến thiết các lớp tích chập suy rộng Hartley mới: Định nghĩa thành công tích chập suy rộng Hartley-Fourier sine $(f \overset{1}{} g)(x)$, Hartley-Fourier toàn phần $(f \overset{HF}{} g)(x)$, cùng các tích chập suy rộng giữa các biến thể Hartley $(f \overset{H_{11}}{} g)(x)$ và $(f \overset{H_{12}}{} g)(x)$.
  2. Chứng minh các đẳng thức nhân tử hóa chuẩn mực: Thiết lập mối liên hệ đại số giải tích giữa phép biến đổi Hartley $H_1, H_2$ với các phép biến đổi Fourier kinh điển.
  3. Mở rộng Định lý kiểu Watson và Plancherel cho toán tử suy rộng: Chứng minh điều kiện cần và đủ để các toán tử vi-tích phân $T_h, T_k$ là các đẳng cự unita biến đổi từ $L^2(\mathbb{R})$ lên chính nó, tạo lập nền tảng chuyển dịch cấu trúc phổ của không gian Hilbert.
  4. Xây dựng hệ thống bất đẳng thức Saitoh ngược có trọng: Thiết lập chặn dưới chuẩn hóa cho tích chập suy rộng Hartley trong không gian $L^p(\mathbb{R}, \rho)$, giải quyết triệt để hạn chế kinh điển của bất đẳng thức Young khi $p=q=2$.

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp nhuần nhuyễn 4 lý thuyết giải tích cốt lõi:

  • Lý thuyết biến đổi tích phân đối xứng Hartley-Fourier: Khai thác nhân $\text{cas}(xy) = \cos(xy) + \sin(xy)$ và mối liên hệ đại số: $$(H_1 f)(y) = \frac{1-i}{2} \mathcal{F}f(x) + \frac{1+i}{2} \mathcal{F}f(-x)$$
  • Lý thuyết toán tử vi-tích phân bậc cao: Cấu trúc toán tử vi phân kết hợp tích chập: $$(T_k f)(x) := \left(1 - \frac{d^2}{dx^2}\right)(k \overset{1}{*} f)(x)$$
  • Lý thuyết không gian Banach hàm trọng: Không gian $L^p(\mathbb{R}, \rho)$ và không gian $L^{\alpha,\beta,\gamma}_r(\mathbb{R})$ với chuẩn tích phân mở rộng chứa hàm suy biến mũ và lũy thừa.
  • Lý thuyết hàm giải tích và mở rộng nửa mặt phẳng: Khai thác tính chỉnh hình của tích phân Laplace-Fourier phục vụ chứng minh định lý kiểu Titchmarsh qua bổ đề Riemann-Lebesgue và định lý hội tụ trội Lebesgue.

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

Thiết kế nghiên cứu

Luận án tuân thủ nghiêm ngặt chuẩn mực nhận thức luận duy lý toán học (Mathematical Rationalism) và phương pháp diễn dịch tiên đề (Axiomatic Deductive Method). Thiết kế nghiên cứu được cấu trúc thành hệ thống đa tầng gồm 4 giai đoạn logic chặt chẽ:

  • Tầng 1 - Cấu trúc đại số: Xây dựng hạt nhân tích phân, chứng minh tính đóng của phép toán trong không gian hàm $L^1$, $L^2$, $L^p$.
  • Tầng 2 - Cấu trúc tôpô và độ đo: Khảo sát tính liên tục, tính compact, tính bị chặn của toán tử và xác lập các hằng số nhúng tối ưu.
  • Tầng 3 - Cấu trúc phổ và đẳng cự: Thiết lập phép chiếu phổ, tính unita thông qua định lý Watson và biến đổi ngược.
  • Tầng 4 - Giải tích ứng dụng: Chuyển hóa phương trình tích phân phi đại số thành phương trình đại số trong không gian ảnh biến đổi, tìm nghiệm giải tích và hợp thức hóa nghiệm trong miền xác định gốc.

Quy trình nghiên cứu rigorous

Quy trình giải tích được thực hiện với độ chính xác tuyệt đối thông qua kỹ thuật tam giác hóa lý thuyết (Theoretical Triangulation):

  • Tính toán giải tích thực nghiệm: Sử dụng các công cụ tính toán ký hiệu (Computer Algebra Systems - CAS) như Mathematica và Maple để hỗ trợ kiểm chứng tính đúng đắn của các biểu thức tích phân phức tạp liên quan đến hàm đặc biệt (Hàm Bessel $J_\alpha, Y_\alpha, I_\alpha, K_\alpha$, hàm siêu bội suy rộng ${}p F_q$, hàm Meijer $G{p,q}^{m,n}$ và hàm sai số Gauss $\text{Erf}, \text{Erfi}$).
  • Đánh giá hội tụ nghiệm ngặt: Mọi phép tráo đổi thứ tự tích phân đa lớp đều được kiểm chứng thông qua Định lý Fubini đối với tích phân hội tụ tuyệt đối; các phép đạo hàm dưới dấu tích phân được kiểm soát bởi Định lý hội tụ trội Lebesgue (Lebesgue Dominated Convergence Theorem).
  • Xử lý điểm kỳ dị: Sử dụng giá trị chính Cauchy (Cauchy Principal Value) để chuẩn hóa các tích phân suy rộng trên toàn trục thực $\mathbb{R}$.

Data và phân tích

Trong nghiên cứu toán thuần túy và toán giải tích, "dữ liệu" là các không gian hàm định chuẩn, các cấu trúc hạt nhân tích phân và hệ thống các lớp phương trình vi-tích phân.

  • Không gian hàm khảo sát: Không gian Lebesgue $L^p(\mathbb{R})$, $L^p(\mathbb{R}_+)$, không gian hàm liên tục triệt tiêu ở vô cực $C_0(\mathbb{R})$, không gian hàm khả vi vô hạn với giá compact $\mathcal{D}(\mathbb{R})$, và không gian Lebesgue có trọng ba tham số $L^{\alpha,\beta,\gamma}p(\mathbb{R})$ với chuẩn: $$|f|{L^{\alpha,\beta,\gamma}p(\mathbb{R})} := \left( \int{-\infty}^\infty |f(x)|^p |x|^\alpha e^{-\beta |x|^\gamma} dx \right)^{1/p}$$ với $\alpha > -1, \beta > 0, \gamma > 0, p \ge 1$.
  • Kỹ thuật phân tích toán tử cao cấp: Ứng dụng Định lý nội suy Riesz-Thorin để mở rộng tính bị chặn của toán tử tuyến tính từ cặp không gian $(L^{p_0}, L^{q_0})$ và $(L^{p_1}, L^{q_1})$ sang không gian trung gian $L^p(\mathbb{R})$ với $\frac{1}{p} = \frac{1-\alpha}{p_0} + \frac{\alpha}{p_1}$; sử dụng Bổ đề Riemann-Lebesgue để khảo sát hành vi tiệm cận tại vô cực của phổ biến đổi.

Phát hiện đột phá và implications

Những phát hiện then chốt

Luận án đã đạt được 5 phát hiện toán học mang tính đột phá với các chứng minh giải tích hoàn chỉnh:

Phát hiện 1: Đẳng thức nhân tử hóa của tích chập suy rộng Hartley-Fourier sine

Tác giả đã định nghĩa tích chập suy rộng $(f \overset{1}{} g)(x)$ của hai hàm $f \in L^1(\mathbb{R}_+)$ và $g \in L^1(\mathbb{R})$: $$(f \overset{1}{} g)(x) := \frac{1}{\sqrt{2\pi}} \int_0^\infty f(u)[g(x-u) - g(x+u)]du, \quad x \in \mathbb{R}$$ và chứng minh thành công đẳng thức nhân tử hóa nền tảng: $$H_1(f \overset{1}{} g)(y) = (F_s f)(y) \cdot (H_2 g)(y), \quad \forall y \in \mathbb{R}$$ $$H_2(f \overset{1}{} g)(y) = (F_s f)(y) \cdot (H_1 g)(y), \quad \forall y \in \mathbb{R}$$ đồng thời xác lập chặn chuẩn $L^1$: $$|(f \overset{1}{*} g)|{L^1(\mathbb{R})} \le |f|{L^1(\mathbb{R}+)} \cdot |g|{L^1(\mathbb{R})}$$

Phát hiện 2: Đẳng thức Parseval suy rộng và Định lý triệt tiêu kiểu Titchmarsh

Khi $g \in L^1(\mathbb{R}) \cap L^2(\mathbb{R})$, luận án thiết lập đẳng thức Parseval chính xác theo giá trị chính Cauchy: $$(f \overset{1}{} g)(x) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty (F_s f)(y) \cdot (H_2 g)(y) \text{cas}(xy) dy$$ Đặc biệt, định lý kiểu Titchmarsh khẳng định: Nếu $f \in L^1(\mathbb{R}_+, e^x)$ và $g \in L^1(\mathbb{R}, e^{|x|})$ liên tục thỏa mãn $(f \overset{1}{} g)(x) \equiv 0$ trên $\mathbb{R}$, thì hoặc $f(x) \equiv 0$ hầu khắp nơi trên $\mathbb{R}_+$ hoặc $g(x) \equiv 0$ hầu khắp nơi trên $\mathbb{R}$.

Phát hiện 3: Chặn chuẩn giải tích trong không gian trọng ba tham số

Với $f \in L^p(\mathbb{R}+), g \in L^q(\mathbb{R}), \frac{1}{p} + \frac{1}{q} = 1$ ($p, q > 1$), tích chập $(f \overset{1}{} g)(x)$ tồn tại với mọi $x \in \mathbb{R}$ và bị chặn trong không gian $L^{\alpha,\beta,\gamma}_r(\mathbb{R})$ ($\alpha > -1, \beta > 0, \gamma > 0, r > 1$): $$|(f \overset{1}{} g)|{L^{\alpha,\beta,\gamma}r(\mathbb{R})} \le C |f|{L^p(\mathbb{R}+)} \cdot |g|{L^q(\mathbb{R})}$$ trong đó hằng số giải tích tối ưu $C$ được xác định tường minh qua hàm Gamma: $$C = 2^{1/q} \frac{1}{\sqrt{2\pi}} \left[ \frac{2}{\gamma} \beta^{-\frac{\alpha+1}{\gamma}} \Gamma\left(\frac{\alpha+1}{\gamma}\right) \right]^{1/r}$$

Phát hiện 4: Bất đẳng thức Saitoh ngược cho tích chập suy rộng Hartley

Khắc phục hạn chế khi $p=q=2$, luận án chứng minh thành công bất đẳng thức Saitoh và Saitoh ngược trong không gian trọng $L^p(\mathbb{R}, \rho)$: $$|((F_1 \rho_1) \overset{1}{} (F_2 \rho_2))(\rho_1 \overset{1}{} \rho_2)^{\frac{1}{p}-1}|{L^p(\mathbb{R})} \ge A{p,q}^{-1} \left(\frac{m_1 m_2}{M_1 M_2}\right) |F_1|{L^p(\mathbb{R}, |\rho_1|)} \cdot |F_2|{L^p(\mathbb{R}, |\rho_2|)}$$ với $0 < m_j^{1/p} \le F_j(x) \le M_j^{1/p} < \infty$, cung cấp công cụ tiên nghiệm để đánh giá chặn dưới của năng lượng tín hiệu và sai số nghiệm.

Phát hiện 5: Nghiệm đóng tường minh cho phương trình tích phân Toeplitz-Hankel

Luận án giải quyết trọn vẹn phương trình tích phân nhân Toeplitz-Hankel loại một: $$\frac{1}{\sqrt{2\pi}} \int_0^\infty f(u)[k(x-u) - k(x+u)]du = h(x), \quad x \in \mathbb{R}$$ Chứng minh rằng nếu $(H_2 k)(y) \ne 0$, $(h \overset{H}{*} k)(y)$ là hàm lẻ và các tỉ số phổ thuộc $L^1(\mathbb{R})$, phương trình có nghiệm duy nhất xác định bởi công thức giải tích đóng: $$f(x) = \mathcal{F}^{-1} \left \frac{(H_1 h)(y)}{(H_2 k)(y)} \right, \quad x > 0$$

Implications đa chiều

  • Ý nghĩa lý thuyết giải tích: Hoàn thiện bức tranh phân loại đại số tích chập đa phép biến đổi, cầu nối cấu trúc giải tích giữa giải tích Fourier phức và giải tích Hartley thực.
  • Đổi mới phương pháp luận: Cung cấp quy trình đại số hóa các phương trình vi-tích phân phức tạp thông qua đẳng thức nhân tử hóa toán tử, cho phép chuyển đổi các phương trình đạo hàm riêng parabolic thành bài toán giải tích đại số đơn giản.
  • Ứng dụng kỹ thuật và công nghệ: Cung cấp thuật toán tính toán nghiệm nhanh cho bài toán tán xạ sóng điện từ, bài toán truyền nhiệt ngược thời gian, và xử lý ảnh số thông qua phép biến đổi Hartley thực hai chiều giúp tiết kiệm 50% dung lượng lưu trữ bộ nhớ so với Fourier phức.
  • Khuyến nghị định hướng: Thiết lập khung toán học chuẩn tắc cho các kỹ sư thuật toán xử lý tín hiệu số (DSP) trong việc thiết kế các bộ lọc số Toeplitz-Hankel thời gian thực.

Limitations và Future Research

Mặc dù đạt được những kết quả xuất sắc, luận án cũng chỉ rõ các giới hạn lý thuyết và biên giới áp dụng:

  1. Điều kiện trơn của hạt nhân tích phân: Các định lý về nghiệm đóng yêu cầu điều kiện khả vi cấp hai và tính giải tích của các hàm phổ, hạn chế khả năng áp dụng trực tiếp cho các tín hiệu gián đoạn mạnh hoặc dữ liệu nhiễu trắng phi Gauss.
  2. Chiều không gian: Các kết quả chính về toán tử vi-tích phân $T_h, T_k$ mới được thiết lập chủ yếu trên không gian một chiều $\mathbb{R}$ và nửa trục $\mathbb{R}_+$; việc mở rộng sang đa tạp Riemann hoặc không gian đa chiều $\mathbb{R}^n$ ($n \ge 3$) đối mặt với độ phức tạp tính toán hàm Green hình học.
  3. Hạn chế phi tuyến: Khung phân tích hiện tại thuần túy là tuyến tính; chưa mở rộng cho các phương trình vi-tích phân phi tuyến kiểu Navier-Stokes hoặc phương trình sóng phi tuyến Korteweg-de Vries (KdV).

Chương trình nghiên cứu 5-10 năm tiếp theo được định hình qua 4 hướng cụ thể:

  • Mở rộng lý thuyết tích chập suy rộng Hartley lên không gian phân bố Schwartz suy rộng $\mathcal{S}'(\mathbb{R}^n)$ và không gian Sobolev $W^{s,p}(\mathbb{R}^n)$.
  • Xây dựng giải thuật tính toán song song song hành Fast Generalized Hartley Convolution (FGHC) trên kiến trúc phần cứng GPU.
  • Khảo sát các lớp toán tử vi-tích phân Hartley phân số (Fractional Hartley Integro-Differential Operators) áp dụng cho hệ thống nhớ vật lý và chất lưu nhớt đàn hồi.
  • Ứng dụng tích chập Hartley trong mạng nơ-ron tích chập thực (Real-valued Convolutional Neural Networks - CNN) nhằm tối ưu hóa học sâu cho dữ liệu âm thanh và y sinh.

Tác động và ảnh hưởng

  • Tác động học thuật sâu rộng: Các bài báo trích xuất từ luận án được công bố trên các tạp chí quốc tế ISI chuyên ngành giải tích và toán ứng dụng (như Integral Transforms and Special Functions, Fractional Calculus and Applied Analysis), tạo lập diễn đàn học thuật uy tín thu hút hàng chục lượt trích dẫn từ các chuyên gia giải tích quốc tế tại Mỹ, Nga, Đức, Bồ Đào Nha và Việt Nam.
  • Đột phá trong nghiên cứu liên ngành: Đóng góp trực tiếp cho lĩnh vực quang học phi tuyến và lý thuyết truyền dẫn vi sóng thông qua việc mô hình hóa chính xác các bài toán tán xạ hạt và truyền nhiệt một chiều trên nửa mặt phẳng.
  • Nâng cao năng lực đào tạo sau đại học: Cung cấp tài liệu tham khảo mẫu mực và giáo trình chuyên đề cho học viên cao học, nghiên cứu sinh chuyên ngành Toán giải tích và Toán ứng dụng tại Trường Đại học Bách khoa Hà Nội, Đại học Quốc gia Hà Nội và các viện nghiên cứu chuyên ngành.

Đối tượng hưởng lợi

┌─────────────────────────────────────────────────────────────────────────┐
│                       ĐỐI TƯỢNG HƯỞNG LỢI CHÍNH                         │
├────────────────────────────┬────────────────────────────────────────────┤
│ Nghiên cứu sinh &          │ Khai thác các cấu trúc tích chập suy rộng   │
│ Học viên Cao học Toán      │ mới để phát triển đề tài luận án tiến sĩ    │
├────────────────────────────┼────────────────────────────────────────────┤
│ Giáo sư & Chuyên gia       │ Sử dụng các bất đẳng thức Saitoh ngược để   │
│ Giải tích Toán học         │ đánh giá phổ toán tử và nghiệm kỳ dị        │
├────────────────────────────┼────────────────────────────────────────────┤
│ Kỹ sư R&D Xử lý Tín hiệu   │ Triển khai thuật toán biến đổi Hartley     │
│ & Xử lý Ảnh số             │ số thực, giảm 50% chi phí tính toán số phức│
├────────────────────────────┼────────────────────────────────────────────┤
│ Chuyên gia Vật lý Toán     │ Ứng dụng công thức nghiệm đóng cho bài toán │
│ & Động lực học             │ Dirichlet, Cauchy truyền nhiệt và tán xạ   │
└────────────────────────────┴────────────────────────────────────────────┘

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của công trình là gì và đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc thiết lập Đẳng thức nhân tử hóa đa cấu trúc kết nối phép biến đổi Hartley với Fourier sine/cosine và xây dựng Toán tử vi-tích phân unita $T_k, T_h$. Công trình đã mở rộng trực tiếp Lý thuyết biến đổi Watson cổ điển (vốn chỉ dựa trên tích chập Mellin đơn biến) sang cấu trúc tích chập suy rộng Hartley hai biến trên toàn trục thực, đồng thời mở rộng Lý thuyết bất đẳng thức Saitoh (2000) từ tích chập Fourier thông thường sang tích chập suy rộng đa phép biến đổi có hàm trọng.

2. Phương pháp luận của luận án có điểm gì đổi mới so với ít nhất 2 nghiên cứu quốc tế tiền nhiệm?

So với nghiên cứu của Fethi Bouzeffour (2014) (vốn giới hạn phép biến đổi Hartley suy rộng trên hàm Bessel với trọng $L^1_\alpha$) và nghiên cứu của Semyon Yakubovich (2014) (chỉ khảo sát biến đổi Hartley vi phân trên nửa trục $L^2(\mathbb{R}_+)$ với hàm tích phân Fresnel), phương pháp luận của luận án vượt trội ở chỗ:

  • Thiết lập đại số tích chập suy rộng hoàn chỉnh có tính giao hoán/phân phối trên toàn trục $\mathbb{R}$.
  • Đưa ra phương pháp giải trực tiếp phương trình tích phân nhân Toeplitz-Hankel tổng quát bằng tích chập suy rộng mà không cần thông qua xấp xỉ rời rạc hay hàm giải tích phụ trợ phức tạp.

3. Phát hiện bất ngờ nhất trong quá trình nghiên cứu thực nghiệm giải tích là gì?

Phát hiện bất ngờ nhất là tính chất bất biến của Định lý Wiener-Lévy đối với phép biến đổi Fourier cosine nhưng lại hoàn toàn triệt tiêu và không còn đúng đối với phép biến đổi Fourier sine. Điều này dẫn đến sự bất đối xứng sâu sắc trong cấu trúc toán tử khi ghép cặp Hartley với Fourier sine so với Fourier cosine, đòi hỏi tác giả phải xây dựng một kỹ thuật chứng minh hoàn toàn mới thông qua không gian hàm trọng số mũ $L^1(\mathbb{R}_+, e^x)$ để bảo toàn tính duy nhất nghiệm trong Định lý triệt tiêu kiểu Titchmarsh.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) rõ ràng cho các chứng minh giải tích không?

Có. Luận án cung cấp hệ thống chứng minh giải tích toán học tiên đề hóa tường minh từng bước (step-by-step rigorous analytic proofs), quy định rõ ràng các không gian hàm nền tảng, điều kiện hội tụ tích phân theo chuẩn $L^p$, các phép đổi biến tích phân đối xứng và cách thức thiết lập công thức nghiệm đóng mà bất kỳ nhà nghiên cứu giải tích hàm nào cũng có thể kiểm chứng độc lập.

5. Chương trình nghị sự nghiên cứu 10 năm được phác thảo như thế nào?

Chương trình nghị sự 10 năm tập trung vào 3 trục chính:

  1. Đại số hóa giải tích: Mở rộng tích chập suy rộng Hartley cho đại số Banach phi giao hoán và lý thuyết toán tử ngẫu nhiên.
  2. Hình học hóa: Phát triển phép biến đổi Hartley suy rộng trên các đa tạp compact và nhóm Lie.
  3. Ứng dụng công nghệ: Tích hợp cấu trúc biến đổi Hartley thực vào các bộ vi xử lý quang học (Optical Processors) và mạng thần kinh lượng tử (Quantum Neural Networks).

Kết luận

  1. Kiến thiết thành công 4 cấu trúc tích chập suy rộng Hartley mới: Bao gồm Hartley-Fourier sine, Hartley-Fourier cosine, Hartley-Fourier toàn phần và tích chập giữa các biến thể Hartley ($H_1, H_2$).
  2. Thiết lập hệ thống đẳng thức nhân tử hóa và Parseval tổng quát: Đặt nền tảng giải tích vững chắc cho việc đại số hóa các phép biến đổi tích phân đa nhân.
  3. Mở rộng Định lý kiểu Watson, Plancherel và Titchmarsh: Khẳng định tính unita và tính compact của lớp toán tử vi-tích phân $T_h, T_k$ trong không gian Hilbert $L^2(\mathbb{R})$ và không gian Banach $L^p(\mathbb{R})$.
  4. Chứng minh hệ thống bất đẳng thức Saitoh và Saitoh ngược có trọng: Thiết lập các chặn chuẩn tối ưu thông qua hàm đặc biệt Gamma và siêu bội suy rộng, phục vụ đánh giá năng lượng và sai số nghiệm.
  5. Tìm nghiệm giải tích dạng đóng cho 4 lớp bài toán ứng dụng then chốt: Phương trình và hệ phương trình tích phân Toeplitz-Hankel loại một và loại hai, phương trình parabolic tuyến tính, bài toán Dirichlet nửa mặt phẳng và bài toán truyền nhiệt Cauchy.
  6. Mở ra 3 dòng nghiên cứu học thuật tiên phong: Giải tích điều hòa Hartley nhiều chiều, lý thuyết phương trình vi-tích phân phân số và thuật toán xử lý tín hiệu thực thời gian thực, khẳng định tầm vóc khoa học và giá trị học thuật trường tồn của công trình.