Tổng quan về luận án

Xử lý tín hiệu hiện đại và truyền thông số đòi hỏi các công cụ toán học ngày càng tinh vi nhằm phân tích, lọc và khôi phục tín hiệu phi dừng (non-stationary signals) trong môi trường nhiễu phức tạp. Trong các hệ thống quang học, vi sóng, vô tuyến radar và âm học, nhiễu thường xuất hiện dưới dạng chirp tổng quát $E_A(t) = e^{i(\frac{a}{2b}t^2 + \frac{u_0}{b}t)}$ với tần số tức thời biến đổi tuyến tính theo thời gian. Các kỹ thuật lọc cổ điển dựa trên Biến đổi Fourier ($\Psi_{\text{FT}}$) hoàn toàn mất hiệu lực khi năng lượng của tín hiệu mong muốn và tín hiệu nhiễu bị chồng lấn trên miền tần số thông thường. Nhằm khắc phục hạn chế nền tảng này, luận án tiến sĩ toán học của nghiên cứu sinh Lại Tiến Minh (2019) với tiêu đề "Phép chập liên kết với Biến đổi chính tắc tuyến tính bù và Biến đổi dạng Hartley chính tắc" (Chuyên ngành Toán ứng dụng, Mã số: 9460112.01, Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội, dưới sự hướng dẫn khoa học của PGS. Nguyễn Minh Tuấn và PGS. Nguyễn Hữu Điển) đã tiên phong xây dựng một hệ thống lý thuyết toàn diện về giải tích toán tử, lý thuyết chập và các thuật toán lọc tối ưu trên không gian pha thời gian - tần số.

Khoảng trống nghiên cứu (research gap) cốt lõi mà luận án giải quyết xuất phát từ sự thiếu hụt các cấu trúc đại số chập và nguyên lý lấy mẫu chặt chẽ cho hai lớp biến đổi tích phân mở rộng: Biến đổi chính tắc tuyến tính bù (Offset Linear Canonical Transform - OLCT, ký hiệu $\mathcal{O}_A$) phụ thuộc bộ 6 tham số thực $A = (a, b, c, d, u_0, \omega_0)$ với $ad - bc = 1$ ($b > 0$), và Biến đổi dạng Hartley chính tắc (Canonical Hartley-Type Transform - CHTT, ký hiệu $\mathcal{L}_h$) phụ thuộc bộ tham số $A_1 = (a, b, c, d, 0, 0)$ và độ dịch pha thực $h \in \mathbb{R}$. Mặc dù các dạng biến đổi cục bộ như Biến đổi Fourier phân thứ (Fractional Fourier Transform - FrFT) và Biến đổi chính tắc tuyến tính (Linear Canonical Transform - LCT) đã được nghiên cứu bởi Mendlovic (1996), Erden & Ozaktas (1998), Pei & Ding (2001, 2007), cấu trúc toán tử giải tích trong không gian Schwartz $\mathcal{S}$, không gian khả tích $L^p(\mathbb{R})$, và không gian Hilbert $L^2(\mathbb{R})$ của OLCT và CHTT vẫn chưa được hoàn thiện.

Luận án thiết lập 5 câu hỏi nghiên cứu và giả thuyết cụ thể:

  1. RQ1 (Toán tử và Nghịch đảo): Các điều kiện biên giải tích nào đảm bảo tính liên tục, tính đóng, tính đơn ánh và đẳng cự tuyến tính của toán tử $\mathcal{O}_A$ và $\mathcal{L}_h$ trên không gian $\mathcal{S}$ và $L^2(\mathbb{R})$?
  2. RQ2 (Hàm riêng Hermite): Tồn tại hay không mối quan hệ phổ và hệ hàm riêng mở rộng cho $\mathcal{O}_A$ dựa trên đa thức Hermite $H_n(t)$ và hàm Hermite $\psi_n(t)$ khi vượt khỏi điều kiện cổ điển $|a+d| < 2$?
  3. RQ3 (Cấu trúc chập và Nhân tử hóa): Làm thế nào để xây dựng các phép chập mới có trọng số (Hermite, Chirp, Gauss) thỏa mãn đẳng thức nhân tử hóa (factorization identities) và bất đẳng thức Young dạng mở rộng $|f * g|_r \le |f|_p |g|_q$?
  4. RQ4 (Định lý lấy mẫu): Có thể ngoại suy định lý lấy mẫu Shannon-Whittaker-Kotelnikov cho các tín hiệu có dải tần bị chặn trong miền OLCT thông qua toán tử hàm suy rộng Dirac $\delta(t) \in \mathcal{D}'(\mathbb{R})$ hay không?
  5. RQ5 (Thiết kế lọc và Giảm độ phức tạp): Các cấu trúc lọc nhân, lọc Gauss và lọc kép dựa trên phép chập OLCT có thể loại bỏ triệt để nhiễu chirp với độ phức tạp tính toán thấp hơn các kỹ thuật lọc LCT/FrFT đa tầng hiện hành hay không?

Khung lý thuyết của công trình tích hợp chặt chẽ giữa Giải tích hàm hiện đại, Lý thuyết hàm suy rộng $\mathcal{D}'(\Omega)$, Lý thuyết biểu diễn thời gian - tần số thông qua Hàm phân phối Wigner (Wigner Distribution Function - WDF) và Giải tích điều hòa trừu tượng. Phạm vi nghiên cứu bao trùm toàn bộ không gian tín hiệu 1D liên tục $t \in \mathbb{R}$, xác lập nền tảng toán học giải tích chính xác, tạo bước đột phá cho xử lý tín hiệu số, quang học Fourier, và truyền thông vô tuyến thế hệ mới.

Literature Review và Positioning

Lịch sử phát triển của biến đổi tích phân trong xử lý tín hiệu ghi nhận sự chuyển dịch mô hình từ giải tích Fourier cổ điển ($\Psi_{\text{FT}}$) sang các biến đổi tổng quát hóa có khả năng xoay và dịch chuyển mặt phẳng pha thời gian - tần số $(t, \omega)$. Năm 1994, Abe và Sheridan đã đề xuất Biến đổi chính tắc tuyến tính bù (OLCT) nhằm mô tả sự truyền sóng ánh sáng qua các hệ quang học phức tạp có sự lệch trục và dịch chuyển thấu kính. OLCT tổng quát hóa LCT (Moshinsky & Quesne, 1971; Collins, 1970), FrFT (Namias, 1980; Almeida, 1994) và Biến đổi Fresnel (FRST). Nhân của biến đổi OLCT đối với tín hiệu $f(t) \in L^1(\mathbb{R})$ được định nghĩa chính xác bởi biểu thức: $$\mathcal{O}A{f(t)}(u) := \int{\mathbb{R}} K_A(u, t) f(t) dt \quad (b \neq 0)$$ với nhân tích phân: $$K_A(u, t) := K_A \exp\left[ i\left( \frac{d}{2b}u^2 - \frac{1}{b}tu + \frac{a}{2b}t^2 + \frac{b\omega_0 - du_0}{b}u + \frac{u_0}{b}t \right) \right], \quad K_A := \frac{1}{\sqrt{2\pi b i}} e^{\frac{idu_0^2}{2b} - \frac{icd}{2}u_0^2}$$

Song song với dòng nghiên cứu Fourier, Biến đổi Hartley được Ralph V. L. Hartley giới thiệu năm 1942 và phiên bản rời rạc phát triển bởi Ronald N. Bracewell (1986). Nhờ nhân biến đổi thực $\text{cas}(t) = \cos t + \sin t$, biến đổi Hartley tối ưu hóa vượt bậc về hiệu năng tính toán số so với Fourier do không yêu cầu số học phức. Các biến thể mở rộng như Biến đổi Hartley chính tắc (CHTT) được phát triển nhằm kết hợp tính chất nhân thực với bậc tự do hình học của LCT.

Trong y văn quốc tế, tồn tại hai trường phái tranh luận chính về việc xây dựng cấu trúc tích chập cho các biến đổi chính tắc:

  • Trường phái tích chập trực tiếp không trọng số: Shi et al. (2012) xây dựng phép chập tổng quát cho LCT liên kết với ba bộ tham số thực $B_k = (a_k, b_k, c_k, d_k, 0, 0)$ ($k \in {1,2,3}$). Tuy nhiên, phép chập này tạo ra các số hạng pha phụ thuộc phức tạp, gây khó khăn cho việc hiện thực hóa phần cứng mạch lọc.
  • Trường phái tích chập có dịch pha cục bộ: Xiang & Qin (2014) giới thiệu phép chập cho OLCT: $$(f \star_A g)(t) := K_A \int_{\mathbb{R}} f(\tau) g(t - \tau) e^{-i\frac{a\tau}{b}(t - \tau)} d\tau$$ thỏa mãn đẳng thức nhân tử hóa với thừa số pha phụ thuộc $u$: $\mathcal{O}_A(f \star_A g)(u) = e^{-i(\frac{d}{2b}u^2 + \frac{b\omega_0 - du_0}{b}u)} \mathcal{O}_A{f}(u) \mathcal{O}_A{g}(u)$. Ngược lại, Zhi, Wei & Zhang (2016) đề xuất phép chập phức tạp hơn với toán tử dịch chuyển $\theta$, đạt được đẳng thức nhân tử hóa thuần nhất $\mathcal{O}_A{f \Theta g}(u) = \mathcal{O}_A{f}(u) \cdot \mathcal{O}_A{g}(u)$ nhưng đánh đổi bằng khối lượng tính toán tích phân tăng gấp đôi.

Luận án của Lại Tiến Minh định vị chính xác vào giao điểm này: giải quyết mâu thuẫn giữa tính đơn giản của cấu trúc đại số chập và hiệu năng tính toán, đồng thời mở rộng nghiên cứu sang lớp biến đổi CHTT vốn chưa từng có công thức tích chập hoàn chỉnh. So sánh với hai nghiên cứu quốc tế trụ cột là Xiang & Qin (2014) và Pei & Ding (2007), luận án đã tiến xa hơn khi đưa ra 5 lớp phép chập có trọng số dạng Hermite, Chirp và Gauss, đồng thời thiết lập biểu diễn giải tích hoàn chỉnh cho hệ hàm riêng của OLCT khi $|a+d| \ge 2$.

+-------------------------------------------------------------------------------+
|                       TIẾN TRÌNH TIÊN PHONG CỦA LUẬN ÁN                      |
+-------------------------------------------------------------------------------+
| FT / IFT (Fourier cổ điển)                                                   |
|   --> FrFT (Pei & Ding, 2007; Mendlovic, 1996: Xoay mặt phẳng pha 1 góc θ)     |
|     --> LCT (Shi et al., 2012; Pei & Ding, 2001: Biến đổi 4 tham số ma trận)  |
|       --> OLCT & CHTT (Luận án Lại Tiến Minh, 2019):                           |
|           * Bổ sung 2 bậc tự do dịch chuyển (u0, ω0) trong miền pha.          |
|           * Nhân thực Hartley cas((uh*th - h^2)/b) kết hợp tham số chính tắc.  |
|           * Hoàn thiện đại số chập, hàm riêng Hermite, bất định Heisenberg.    |
+-------------------------------------------------------------------------------+

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

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

Luận án mở rộng trực tiếp lý thuyết của Norbert Wiener, Laurent Schwartz và David Slepian bằng cách thiết lập các định lý toán tử cơ bản cho $\mathcal{O}_A$ và $\mathcal{L}_h$:

  1. Bổ đề dạng Riemann-Lebesgue suy rộng: Chứng minh rằng với mọi tín hiệu $f(t) \in L^1(\mathbb{R})$, phổ biến đổi $\mathcal{O}_A{f(t)}(u)$ và $\mathcal{L}h{f(t)}(u)$ thuộc không gian $C_0(\mathbb{R})$ (hàm liên tục triệt tiêu tại vô cùng) và liên tục đều trên $\mathbb{R}$, thỏa mãn: $$\lim{|u| \to +\infty} |\mathcal{O}_A{f(t)}(u)| = 0 \quad \text{và} \quad |\mathcal{O}A f|{\infty} \le \frac{1}{\sqrt{2\pi b}} |f|1$$ $$\lim{|u| \to +\infty} |\mathcal{L}_h{f(t)}(u)| = 0 \quad \text{và} \quad |\mathcal{L}h f|{\infty} \le \frac{1}{\sqrt{\pi b}} |f|_1$$

  2. Định lý nghịch đảo chính xác (Inversion Theorems): Xác lập công thức khôi phục tín hiệu gốc $f(t)$ từ $\mathcal{O}A{f(t)}(u)$ trong không gian $\mathcal{S}$ và $L^1(\mathbb{R})$ qua tham số ma trận nghịch đảo $A^{-1} = (d, -b, -c, a, b\omega_0 - du_0, cu_0 - a\omega_0)$: $$f(t) = C \int{\mathbb{R}} K_{A^{-1}}(t, u) \mathcal{O}_A{f(t)}(u) du$$ với hằng số pha chuẩn hóa: $$C := \exp\left[ \frac{i}{2} (cd u_0^2 - 2ad u_0 \omega_0 + ab \omega_0^2) \right]$$

  3. Mở rộng hàm riêng Hermite (Hermite Eigenfunction Extension): Giải quyết triệt để bài toán phổ khi $|a+d| \ge 2$ và $1 - ad > 0$. Luận án chứng minh tồn tại tham số co giãn $\lambda > 0$ sao cho: $$\mathcal{O}_{A_1}\left{\psi_n^{\lambda}\left(\frac{t}{\lambda}\right)\right}(u) = \sqrt{\lambda} \mu_n^{\lambda} \cdot \psi_n^{\lambda}(u)$$ và thiết lập biểu thức tổng quát cho $\mathcal{O}_A$ có dịch chuyển $(u_0, \omega_0)$: $$\mathcal{O}_A\left{ e^{i m_1 t} \psi_n^{\lambda}\left(\frac{t - m_2}{\lambda}\right) \right}(u) = \frac{\sqrt{\lambda} \mu_n^{\lambda}}{e^{i\left(m_3 - \frac{d u_0^2}{2b}\right)}} e^{i m_1 u} \psi_n^{\lambda}\left(\frac{u - m_2}{\lambda}\right)$$ với các hằng số $m_1, m_2, m_3$ được xác định giải tích tường minh phụ thuộc vào $(a, b, c, d, u_0, \omega_0)$.

  4. Nguyên lý bất định Heisenberg mở rộng: Thiết lập chặn dưới không thể vượt qua của tích độ rộng pha-thời gian cho OLCT và CHTT, cung cấp cơ sở giải tích cho giới hạn đo lường lượng tử và xử lý tín hiệu độ phân giải siêu cao.

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

Khung phân tích của luận án tích hợp ba lý thuyết toán học lớn:

  • Lý thuyết không gian hàm suy rộng $\mathcal{D}'(\Omega)$: Sử dụng khái niệm hội tụ yếu, tính đầy đủ của phiếm hàm tuyến tính liên tục, và đạo hàm suy rộng $(D^n f, \phi) = (-1)^n (f, D^n \phi)$ để biểu diễn chuỗi lấy mẫu Dirac $\tilde{f}(t) = \sum_{n=-\infty}^{+\infty} f(nT) \delta(t - nT)$.
  • Lý thuyết đẳng cự Hilbert $L^2(\mathbb{R})$: Thông qua định lý đồ thị đóng trong không gian Fréchet, chứng minh sự tồn tại duy nhất của thác triển đẳng cự $\widetilde{\mathcal{O}}_A: L^2(\mathbb{R}) \to L^2(\mathbb{R})$ thỏa mãn đẳng thức Parseval: $$\langle \mathcal{O}_A f, \mathcal{O}_A g \rangle = \langle f, g \rangle \implies |\mathcal{O}_A f|_2 = |f|_2$$
  • Điều kiện biên không cộng hưởng của CHTT: Khám phá điều kiện biên tất yếu để toán tử nghịch đảo CHTT $\mathcal{L}_h^{-1}$ tồn tại và giải tích: không tồn tại $\alpha \in \mathbb{Q}$ sao cho $\frac{h^2}{b} = \alpha\pi$, tương đương với $\cos\left(\frac{2h^2}{b}\right) \neq 0$. Biểu thức nghịch đảo CHTT được xác lập: $$\mathcal{L}h^{-1}{f(t)}(u) := \int{\mathbb{R}} \frac{e^{-\frac{ia}{2b}u_h^2}}{\sqrt{-2\pi bi \cos\left(\frac{2h^2}{b}\right)}} f(t) e^{-\frac{id}{2b}t_h^2} \text{cas}\left(\frac{u_h t_h + h^2}{b}\right) dt$$

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

Thiết kế nghiên cứu

Luận án vận hành theo quan điểm nhận thức luận thực chứng - suy diễn toán học chặt chẽ (Positivist-Deductive Analytical Paradigm). Mọi kết quả đều được phát triển từ các tiên đề giải tích hàm, suy diễn logic hình thức qua các bổ đề bổ trợ và kiểm chứng tính nhất quán thông qua các trường hợp suy biến giới hạn. Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1 (Tập trù mật Schwartz $\mathcal{S}$): Không gian các hàm giảm nhanh khả vi vô hạn, nơi các tích phân hội tụ tuyệt đối và các phép đạo hàm dưới dấu tích phân được bảo toàn.
  • Tầng 2 (Không gian Banach $L^1(\mathbb{R})$ và $L^p(\mathbb{R})$): Đánh giá chuẩn supremum $|\cdot|_{\infty}$ và thiết lập bất đẳng thức Young.
  • Tầng 3 (Không gian Hilbert $L^2(\mathbb{R})$): Sử dụng các dãy hàm xấp xỉ ${f_n} \subset \mathcal{S}$ để xây dựng thác triển đẳng cự tuyến tính duy nhất qua định lý Plancherel.

Quy trình nghiên cứu rigorous

Quy trình chứng minh tuân thủ các chuẩn mực toán học khắt khe nhất:

  • Tam giác hóa lý thuyết (Theoretical Triangulation): Kết hợp đồng thời kỹ thuật biến đổi tích phân, phương pháp hàm phân phối Wigner trong mặt phẳng thời gian - tần số, và giải tích toán tử vi phân Hermite.
  • Tính hợp lệ nội tại (Internal Validity): Sử dụng Định lý Fubini về tích phân lặp, Định lý Hội tụ Bị chặn Lebesgue (Dominated Convergence Theorem), và Bổ đề tích phân Dirichlet: $$\frac{1}{2}[f(u+0) + f(u-0)] = \lim_{\lambda \to +\infty} \frac{1}{\pi} \int_{\mathbb{R}} f(t) \frac{\sin \lambda(u-t)}{u-t} dt$$ để chứng minh tính duy nhất và công thức nghịch đảo mà không dựa trên bất kỳ giả định gần đúng nào.
  • Tính vững chắc (Robustness Checks): Kiểm tra tính nhất quán khi tham số $A = (a, b, c, d, u_0, \omega_0)$ suy biến về các trường hợp đặc biệt:
    • Khi $(a, b, c, d, 0, 0) \implies$ LCT cổ điển.
    • Khi $(\cos\theta, \sin\theta, -\sin\theta, \cos\theta, 0, 0) \implies$ FrFT.
    • Khi $(0, 1, -1, 0, 0, 0) \implies$ Biến đổi Fourier thông thường.
    • Khi $(1, b, 0, 1, 0, 0) \implies$ Biến đổi Fresnel.
+-------------------------------------------------------------------------------+
|                       SƠ ĐỒ PHÂN TÍCH VÀ KHÔNG GIAN HÀM                      |
+-------------------------------------------------------------------------------+
|                                                                               |
|    +--------------------+       Thác triển đẳng cự      +-------------------+ |
|    | Không gian S       | ----------------------------> | Không gian L2(R)  | |
|    | (Trù mật, khả vi)  |     (Đẳng thức Parseval)      | (Năng lượng hữu hạn|
|    +--------------------+                               +-------------------+ |
|              |                                                    |           |
|              | Nhúng liên tục                                     | Phân tích |
|              v                                                    v WDF       |
|    +--------------------+       Tích chập có trọng số   +-------------------+ |
|    | Không gian L1(R)   | ----------------------------> | Mặt phẳng pha     | |
|    | (Riemann-Lebesgue) |     (Bất đẳng thức Young)     | (t - ω Plane)     | |
|    +--------------------+                               +-------------------+ |
|                                                                               |
+-------------------------------------------------------------------------------+

Data và phân tích

Trong nghiên cứu toán học ứng dụng, "dữ liệu" thử nghiệm là các lớp tín hiệu mô phỏng phức hợp mang đầy đủ đặc trưng pha phi tuyến. Luận án kiểm nghiệm trên tín hiệu Gauss điều chế chirp: $$r_{in}(t) = x(t) + n(t) = 2e^{-0.1(t-7)^2} + e^{i(\alpha t^2 + \beta t)}$$ trong đó $x(t)$ là tín hiệu mong muốn và $n(t)$ là nhiễu chirp diện rộng. Trên mặt phẳng pha Wigner $W_f(t, \omega)$, nhiễu chirp biểu diễn dưới dạng đường thẳng có hệ số góc $\kappa = \arctan(\pi \eta)$.

Công cụ phân tích cấu trúc lọc:

  • Lọc Fourier: Thất bại hoàn toàn do dải dừng không thể phân tách hai thành phần có hình chiếu tần số giao nhau trên trục $\omega$.
  • Lọc FrFT: Xoay mặt phẳng pha một góc $\theta = -\text{arccot}(\kappa)$, đưa đường nhiễu về phương song song với trục tần số.
  • Lọc OLCT & CHTT (Luận án đề xuất): Thực hiện biến đổi affine tổng quát gồm xoay, co giãn (scaling) và tịnh tiến $(u_0, \omega_0)$, tối ưu hóa việc phân tách năng lượng với số phép tính nhân tử giảm hơn 30% so với việc ghép tầng liên tiếp các bộ lọc FrFT rời rạc.

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

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

  1. Khám phá 1 (Công thức nghịch đảo giải tích tường minh cho OLCT): Chứng minh trọn vẹn rằng toán tử $\mathcal{O}_A$ là song ánh đẳng cự trên $L^2(\mathbb{R})$ và xác lập hệ số pha nghịch đảo $C = e^{\frac{i}{2}(cdu_0^2 - 2adu_0\omega_0 + ab\omega_0^2)}$. Kết quả này khắc phục khiếm khuyết trong các công trình trước vốn chỉ đưa ra dạng tích phân hình thức.

  2. Khám phá 2 (Cơ chế suy biến và Nghịch đảo CHTT): Phát hiện điều kiện giải tích $\cos(2h^2/b) \neq 0$ là ranh giới sống còn để CHTT có thể đảo ngược. Luận án chỉ ra rằng khi $h^2/b = (2k+1)\pi/4$, toán tử CHTT rơi vào trạng thái kỳ dị (singularity), năng lượng bị triệt tiêu hoàn toàn.

  3. Khám phá 3 (Hệ hàm riêng Hermite ngoài biên $|a+d| < 2$): Thiết lập một bước nhảy vọt lý thuyết khi chứng minh hệ hàm Gauss-Hermite vẫn có thể là hàm riêng của OLCT ngay cả khi $|a+d| \ge 2$, miễn là điều kiện hyperbolic $1 - ad > 0$ được thỏa mãn, thông qua việc chọn tham số tỷ lệ $\lambda \in {\frac{-1 \pm \sqrt{1-ad}}{a}, \frac{1 \pm \sqrt{1-ad}}{a}}$.

  4. Khám phá 4 (Năm cấu trúc tích chập chuyên biệt cho OLCT): Xây dựng thành công 5 phép chập liên kết với OLCT:

    • 03 phép chập với hàm trọng dạng Hermite.
    • 01 phép chập với hàm trọng dạng Chirp.
    • 01 phép chập với hàm trọng dạng Gauss. Mỗi phép chập đều được chứng minh chặt chẽ tính giao hoán, kết hợp, phân phối và đẳng thức nhân tử hóa dạng: $$\mathcal{O}A{(f \star{\text{Gauss}} g)(t)}(u) = \Gamma_A(u) \cdot \mathcal{O}_A{f}(u) \cdot \mathcal{O}_A{g}(u)$$

  5. Khám phá 5 (Thiết kế kiến trúc Lọc nhân, Lọc Gauss và Lọc kép): Chứng minh trên mô hình giải tích rằng các bộ lọc đề xuất có khả năng triệt tiêu 100% thành phần nhiễu chirp có phân phối pha tuyến tính trong khi bảo toàn nguyên vẹn năng lượng của tín hiệu gốc trong dải thông $[-\Omega, \Omega]$.

Implications đa chiều

  • Tiến bộ lý thuyết: Làm phong phú kho tàng Giải tích điều hòa trừu tượng và Lý thuyết biến đổi tích phân. Thiết lập cầu nối hoàn hảo giữa đại số toán tử chính tắc với lý thuyết phân phối Wigner và hệ hàm Hermite.
  • Đổi mới phương pháp luận: Cung cấp phương pháp luận tổng quát để giải các phương trình tích phân kỳ dị dạng chập (convolution-type integral equations) bằng cách chuyển đổi sang bài toán đại số tuyến tính trong miền OLCT/CHHTT.
  • Ứng dụng thực tiễn trong kỹ thuật:
    • Hệ thống Radar & Sonar: Nâng cao độ nhạy thu tín hiệu phản xạ bị biến dạng Doppler bậc cao bằng cách lọc trực tiếp trên miền tham số $(a, b, c, d, u_0, \omega_0)$.
    • Quang học sóng và Cáp quang phi tuyến: Tối ưu hóa việc bù tán sắc và dịch pha trong truyền dẫn cáp quang tốc độ cao thông qua mô hình toán tử OLCT.
    • Xử lý ảnh y tế (MRI/CT): Tăng tốc độ khôi phục hình ảnh từ các mẫu thưa thớt (sparse sampling) nhờ định lý lấy mẫu Shannon-OLCT mở rộng.
  • Khuyến nghị chính sách R&D: Các viện nghiên cứu công nghệ viễn thông và quốc phòng cần tích hợp các thuật toán lọc biến đổi chính tắc vào cấu trúc chip xử lý tín hiệu số (DSP/FPGA), thay thế dần các thuật toán FFT truyền thống trong các ứng dụng tác chiến điện tử và định vị siêu chính xác.

Limitations và Future Research

Nhìn nhận một cách khách quan khoa học, luận án tồn tại một số giới hạn nghiên cứu (boundary conditions):

  1. Không gian chiều tín hiệu: Toàn bộ các kết quả định lý, tích chập và lấy mẫu mới chỉ được thiết lập trên không gian một chiều $\mathbb{R}^1$. Việc mở rộng sang không gian đa chiều $\mathbb{R}^n$ (cần thiết cho xử lý ảnh 2D và video 3D) đòi hỏi phải xử lý các ma trận tham số symplectic bậc $2n \times 2n$ với độ phức tạp giải tích vượt trội.
  2. Ràng buộc tham số: Giả định $b > 0$ và điều kiện không cộng hưởng $\frac{h^2}{b} \neq \alpha\pi$ loại trừ một số trường hợp suy biến cục bộ (chẳng hạn khi $b = 0$, biến đổi suy biến thành phép co giãn và nhân pha thuần túy).
  3. Hiện thực hóa thuật toán rời rạc: Luận án tập trung chủ yếu vào nền tảng giải tích liên tục. Thuật toán biến đổi nhanh rời rạc (Fast Discrete OLCT/CHHTT) tương đương với thuật toán FFT của Cooley-Tukey chưa được tối ưu hóa về mặt độ phức tạp tính toán mã nguồn $O(N \log N)$.

Chương trình nghiên cứu tương lai (5 hướng cụ thể):

  1. Mở rộng biến đổi OLCT và CHTT sang không gian nhiều chiều $\mathbb{R}^n$ và xây dựng đại số chập ma trận khối symplectic.
  2. Phát triển cấu trúc biến đổi rời rạc nhanh (Fast OLCT Algorithm - FOLCT) và cài đặt thực nghiệm trên phần cứng phần cứng DSP/FPGA.
  3. Nghiên cứu phương trình đạo hàm riêng phân thứ (fractional partial differential equations) có chứa toán tử vi tích phân liên kết với OLCT.
  4. Xây dựng các lớp mạng nơ-ron tích chập chính tắc (Canonical Convolutional Neural Networks - Canonical-CNNs) trong học sâu để nhận dạng mục tiêu radar trong môi trường nhiễu cực mạnh.
  5. Ứng dụng nguyên lý bất định CHTT vào cơ học lượng tử pha (Phase-space Quantum Mechanics) và lý thuyết thông tin lượng tử.

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

  • Tác động học thuật: Công trình tạo ra một bước ngoặt trong chuyên ngành Toán ứng dụng tại Việt Nam, được ghi nhận qua 04 công trình khoa học công bố trên các tạp chí chuyên ngành uy tín và báo cáo tại Đại hội Toán học Việt Nam lần thứ IX (Nha Trang, 2018). Các định lý và phép chập mới mở đường cho hàng chục trích dẫn và nghiên cứu tiếp nối về giải tích thời gian - tần số.
  • Chuyển đổi công nghiệp: Các cấu trúc lọc nhân và lọc kép cung cấp giải pháp đột phá cho các tập đoàn viễn thông (Viettel, VNPT) và các trung tâm công nghệ cao trong việc nâng cao tỷ số tín hiệu trên nhiễu (SNR) cho các hệ thống radar giám sát bờ biển và truyền dẫn vô tuyến 5G/6G.
  • Lợi ích xã hội: Nâng cao chất lượng chẩn đoán hình ảnh y tế, giảm thời gian chụp quét và liều lượng bức xạ cho bệnh nhân thông qua các thuật toán tái tạo ảnh tối ưu từ số lượng mẫu đo giảm thiểu.
  • Tầm vóc quốc tế: Đưa toán học ứng dụng Việt Nam tiếp cận và đóng góp trực tiếp vào các chủ đề mũi nhọn của giải tích Fourier hiện đại trên thế giới.

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

  • Nghiên cứu sinh & Nhà toán học giải tích: Thừa hưởng hệ thống chứng minh mẫu mực, các công cụ toán tử trên không gian $\mathcal{S}, L^p, \mathcal{D}'$ và danh mục các bài toán mở về phương trình tích phân.
  • Giảng viên & Nhà nghiên cứu cao cấp: Tài liệu tham khảo học thuật chuẩn mực cho các học phần chuyên đề Sau đại học về Biến đổi tích phân, Giải tích Fourier nâng cao và Xử lý tín hiệu số.
  • Kỹ sư R&D Viễn thông & Radar: Nắm bắt thuật toán thiết kế lọc pha để giải quyết triệt để bài toán triệt nhiễu chirp trong môi trường tác chiến điện tử và định vị vệ tinh.
  • Chuyên gia Xử lý ảnh y tế & Địa chấn: Áp dụng định lý lấy mẫu Shannon mở rộng để tối ưu hóa quá trình thu thập và tái tạo dữ liệu sóng địa chấn và tín hiệu cộng hưởng từ.

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

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

Đóng góp độc đáo nhất là Định lý mở rộng hàm riêng Hermite cho OLCT trong trường hợp bất khả quy $|a+d| \ge 2$. Luận án đã mở rộng lý thuyết hàm riêng của Pei & Ding (2007) bằng cách chứng minh rằng thông qua phép đổi biến tỷ lệ $\lambda \in \mathbb{R}^+$, hàm Hermite $\psi_n^{\lambda}(t)$ kết hợp với thành phần điều biến pha $e^{im_1 t}$ chính là hàm riêng thực sự của toán tử $\mathcal{O}_A$.

2. Sự đổi mới về phương pháp luận so với ít nhất 2 nghiên cứu quốc tế trước đây?

So với nghiên cứu của Shi et al. (2012) (vốn tạo ra các số hạng pha phi tuyến phức tạp không thể tách rời) và Xiang & Qin (2014) (chỉ thiết lập phép chập đơn lẻ cho OLCT với độ phức tạp cao), luận án của Lại Tiến Minh đã đổi mới phương pháp luận bằng cách đưa vào các hàm trọng chuyên biệt (Hermite, Chirp, Gauss), giúp đẳng thức nhân tử hóa đạt được dạng đại số thuần nhất, cho phép giải trực tiếp các phương trình tích phân dạng chập mà không cần giải tích số xấp xỉ.

3. Phát hiện bất ngờ nhất (counter-intuitive result) cùng dữ liệu/chứng minh hỗ trợ?

Phát hiện bất ngờ nhất là Hiện tượng suy biến kỳ dị của CHTT tại các điểm pha hữu tỷ. Trái với trực giác cho rằng biến đổi tích phân với nhân thực $\text{cas}(t)$ luôn tồn tại toán tử ngược trên không gian Schwartz, luận án chứng minh giải tích rằng khi tham số dịch chuyển $h$ thỏa mãn $\frac{h^2}{b} = \alpha\pi$ ($\alpha \in \mathbb{Q}$ dạng $\frac{2k+1}{4}$), mẫu số $\sqrt{-2\pi bi \cos(2h^2/b)}$ tiến về $0$, khiến phép biến đổi ngược hoàn toàn bị phá vỡ.

4. Luận án có cung cấp giao thức tái lập (replication protocol) đầy đủ không?

Có. Luận án cung cấp đầy đủ các bước giải tích giải phương trình vi phân và tích phân, các bước chứng minh giới hạn $\lambda \to +\infty$ qua bổ đề Dirichlet, cùng cấu trúc tham số giải tích $(a, b, c, d, u_0, \omega_0)$ và các ví dụ số hóa tường minh tại Mục 2.1 (Ví dụ 2.1 với bộ tham số $A = (-3/3, 2/3, -9, 3, 1, 3)$), cho phép tái lập 100% các kết quả toán học.

5. Kế hoạch nghiên cứu 10 năm tiếp theo được vạch ra như thế nào?

Luận án định hình lộ trình nghiên cứu 10 năm tập trung vào 3 trụ cột: (1) Rời rạc hóa giải tích và thương mại hóa thuật toán FOLCT; (2) Tích hợp toán tử chính tắc vào các kiến trúc xử lý tín hiệu mảng (array signal processing); (3) Xây dựng giải tích điều hòa phi giao hoán trên nhóm Lie $\text{SL}(2, \mathbb{R}) \ltimes \mathbb{R}^2$.

Kết luận

Luận án tiến sĩ của Lại Tiến Minh (2019) là một công trình khoa học xuất sắc, thể hiện chiều sâu toán học và năng lực ứng dụng thực tiễn vượt trội, với 6 đóng góp cốt lõi:

  1. Xác lập hoàn chỉnh lý thuyết toán tử giải tích (Riemann-Lebesgue, Nghịch đảo, Tính duy nhất, Parseval, Plancherel) cho OLCT và CHTT trên các không gian $\mathcal{S}$, $L^1(\mathbb{R})$ và $L^2(\mathbb{R})$.
  2. Khám phá và chứng minh tường minh hệ hàm riêng Hermite mở rộng cho OLCT dưới điều kiện tổng quát $1 - ad > 0$.
  3. Xây dựng hệ thống 5 phép chập có trọng số mới liên kết với OLCT và CHTT, chứng minh trọn vẹn bất đẳng thức Young và các đẳng thức nhân tử hóa.
  4. Mở rộng thành công Định lý lấy mẫu Whittaker-Shannon cho miền biến đổi chính tắc tuyến tính bù thông qua lý thuyết hàm suy rộng Dirac $\delta(t)$.
  5. Đề xuất và phân tích thành công 3 cấu trúc lọc tín hiệu tiên tiến (Lọc nhân, Lọc Gauss, Lọc kép) có khả năng khử triệt để nhiễu chirp với độ phức tạp tính toán ưu việt.
  6. Thiết lập các nguyên lý bất định Heisenberg mở rộng, đặt nền móng cho các nghiên cứu tiếp theo trong cơ học lượng tử và quang học phi tuyến.

Công trình không chỉ đóng góp to lớn vào sự phát triển của chuyên ngành Toán ứng dụng tại Việt Nam mà còn xác lập một vị thế học thuật vững chắc trong dòng chảy nghiên cứu giải tích thời gian - tần số trên trường quốc tế.