Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "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" được thực hiện bởi nghiên cứu sinh Lại Tiến Minh, 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. Luận án thuộc chuyên ngành Toán ứng dụng, mã số 9460112.01, bảo vệ tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội vào năm 2019.

Về tính cấp thiết và khoảng trống nghiên cứu, tác giả trình bày rằng trong lĩnh vực xử lý tín hiệu, các bài toán lọc, lấy mẫu và khôi phục tín hiệu đóng vai trò thiết yếu trong điện tử viễn thông, phát thanh, truyền hình, radar, hệ thống điều khiển và xử lý ảnh. Các bộ lọc truyền thống xây dựng dựa trên biến đổi Fourier cổ điển và các phép chập thông thường chỉ phát huy hiệu quả đối với các tín hiệu có phân phối năng lượng không chồng lấp trong mặt phẳng pha thời gian – tần số. Khi tín hiệu bị ảnh hưởng bởi nhiễu có dạng chirp tổng quát (thường xuất hiện trong hệ quang học, vi sóng, radar và âm thanh), các bộ lọc Fourier thông thường không thể loại bỏ được. Bên cạnh đó, định lý lấy mẫu Shannon cổ điển chỉ áp dụng cho các tín hiệu có dải tần bị chặn trong miền Fourier, đòi hỏi phải có sự mở rộng sang các miền biến đổi tích phân tổng quát hơn như biến đổi Fourier phân thứ (FrFT), biến đổi chính tắc tuyến tính (LCT), biến đổi chính tắc tuyến tính bù (OLCT) và biến đổi dạng Hartley chính tắc (CHTT). Biến đổi Hartley và các dạng mở rộng của nó có lợi thế tính toán trên trường số thực so với biến đổi Fourier, nhưng các kết quả nghiên cứu về tính chất toán tử và cấu trúc phép chập của CHTT vẫn còn hạn chế so với tiềm năng ứng dụng.

Mục tiêu nghiên cứu của luận án được xác định gồm các nội dung cụ thể:

  1. Nghiên cứu các tính chất toán tử cơ bản của biến đổi chính tắc tuyến tính bù (OLCT) và biến đổi dạng Hartley chính tắc (CHTT) trên các không gian hàm $S$, $L^1(\mathbb{R})$, $L^2(\mathbb{R})$.
  2. Thiết lập mối quan hệ giữa hệ hàm Hermite và biến đổi OLCT; chứng minh các nguyên lý bất định dạng Heisenberg cho biến đổi OLCT và CHTT.
  3. Xây dựng các phép chập mới liên kết với biến đổi OLCT (với các hàm trọng dạng Hermite, dạng chirp, dạng Gauss) và phép chập liên kết với biến đổi CHTT, cùng các tính chất đại số và giải tích liên quan (đẳng thức nhân tử hóa, bất đẳng thức dạng Young).
  4. Khảo sát các ứng dụng toán học và xử lý tín hiệu: giải phương trình tích phân dạng chập, thiết lập định lý lấy mẫu dạng Shannon trong miền OLCT, và đề xuất các phương pháp thiết kế bộ lọc (lọc nhân, lọc Gauss, lọc kép) có độ phức tạp tính toán thấp hơn các bộ lọc đã biết nhằm loại bỏ nhiễu chirp.

Đối tượng nghiên cứu là toán tử biến đổi chính tắc tuyến tính bù (OLCT), toán tử biến đổi dạng Hartley chính tắc (CHTT), các cấu trúc phép chập có hàm trọng, hệ hàm Hermite, hàm phân phối Wigner (WDF) và tín hiệu dải tần bị chặn.

Phạm vi nghiên cứu của luận án:

  • Về mặt giải tích: Khảo sát tín hiệu một chiều thuộc không gian Schwartz $S$, không gian các hàm khả tích Lebesgue $L^p(\mathbb{R})$ ($p \ge 1$), không gian $C_0(\mathbb{R})$, và không gian các hàm suy rộng $D'(\mathbb{R})$.
  • Về mặt tham số: Biến đổi OLCT được xác định với bộ tham số thực $A = (a, b, c, d, u_0, \omega_0)$ thỏa mãn điều kiện unimodular $ad - bc = 1$ và $b > 0$. Biến đổi CHTT được xác định với bộ tham số thực $A_1 = (a, b, c, d, 0, 0)$ và tham số thực $h$ thỏa mãn điều kiện không tồn tại số hữu tỷ $\alpha \in \mathbb{Q}$ sao cho $h^2/b = \alpha\pi$.

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

Trong phần tổng quan, tác giả điểm lại các công trình nền tảng và các kết quả nghiên cứu liên quan trực tiếp đến đề tài:

  • Lịch sử lý thuyết lấy mẫu: Định lý lấy mẫu ban đầu được phát hiện độc lập bởi Claude Shannon, Harry Nyquist, Ralph Hartley (thuộc Phòng thí nghiệm Bell), Edmund Taylor Whittaker (Đại học Edinburgh) và Vladimir Kotelnikov (Viện Hàn lâm Khoa học Liên Xô), sau đó được Kramer bổ sung. Tác giả gọi chung là định lý lấy mẫu Shannon. Sau này, định lý lấy mẫu được mở rộng cho tín hiệu có dải tần bị chặn trong miền Fourier phân thứ bởi các công trình [35, 55, 65, 67] và trong miền chính tắc tuyến tính bởi các công trình [47, 48, 64, 68].
  • Biến đổi Hartley và biến đổi Hartley chính tắc: Biến đổi Hartley cổ điển do Ralph V. Hartley đề xuất; phiên bản rời rạc được Ronald N. Bracewell đưa ra. Biến đổi Hartley phân thứ và biến đổi Hartley chính tắc được phát triển trong các công trình [23, 29] nhằm kết hợp ưu thế tính toán số thực của biến đổi Hartley với tính linh hoạt của các biến đổi chính tắc tuyến tính.
  • Biến đổi chính tắc tuyến tính bù (OLCT): Được giới thiệu bởi Abe và Sheridan năm 1994 khi nghiên cứu sự chuyển đổi ống kính và hàm sóng trong quang học. Năm 2014, Xiang và Qin nghiên cứu định lý lấy mẫu và đề xuất phép chập cho OLCT. Năm 2016, Zhi, Wei và Zhang giới thiệu một phép chập khác liên kết với OLCT có đẳng thức nhân tử hóa dạng tích thông thường. Đối với biến đổi chính tắc tuyến tính (LCT), Shi và các cộng sự (2012) đã đưa ra định nghĩa phép chập tổng quát với ba bộ tham số thực.
  • Kỹ thuật lọc và phân tích mặt phẳng pha: Mendlovic (1996), Erden và Ozaktas (1998), Pei và Ding (2001, 2007) đã ứng dụng biến đổi FrFT và LCT vào thiết kế các bộ lọc nhằm loại bỏ các nhiễu có tần số tức thời biến đổi theo thời gian thông qua hàm phân phối Wigner (WDF).
  • Cơ sở hàm suy rộng: Các khái niệm không gian hàm cơ bản $D(\Omega)$, không gian hàm suy rộng $D'(\Omega)$, hàm Heaviside (Oliver Heaviside, 1880) và hàm Dirac (Paul Dirac, 1930) được trích xuất theo các tài liệu của Vladimirov, Schwartz và các tài liệu giải tích chuẩn mực.

Khoảng trống nghiên cứu mà luận án lựa chọn giải quyết: Mặc dù OLCT và CHTT đã được giới thiệu, các tính chất toán tử giải tích cơ bản trên các không gian hàm chuẩn mực vẫn chưa được hoàn thiện đầy đủ. Các cấu trúc phép chập đã công bố của Zhi et al. hoặc Xiang và Qin đối với OLCT chỉ giới hạn ở một số dạng toán tử nhân hoặc cấu trúc dịch chuyển nhất định, chưa khảo sát các phép chập gắn với các hàm trọng chuyên biệt như hàm Hermite, hàm Gauss hoặc hàm chirp. Đối với CHTT, việc xây dựng phép chập và khảo sát bất đẳng thức dạng Young còn bỏ ngỏ. Hơn nữa, việc khai thác cấu trúc phép chập mới để thu được định lý lấy mẫu dạng Shannon và thiết kế các bộ lọc nhân, lọc Gauss, lọc kép có độ phức tạp tính toán thấp hơn nhằm triệt tiêu nhiễu chirp tổng quát là những vấn đề cần được giải quyết tường minh.

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

Luận án vận dụng các khái niệm và cơ sở lý thuyết toán học chuyên ngành:

  • Biến đổi chính tắc tuyến tính bù (OLCT): Với tín hiệu $f(t) \in L^1(\mathbb{R})$ và bộ tham số $A = (a, b, c, d, u_0, \omega_0)$ thỏa mãn $ad - bc = 1, b > 0$, biến đổi được định nghĩa bởi tích phân: $$O_A{f(t)}(u) := \int_{\mathbb{R}} K_A(u, t) f(t) dt$$ với nhân tích phân: $$K_A(u, t) := K_A e^{i\left(\frac{d}{2b}u^2 - \frac{1}{b}ut + \frac{a}{2b}t^2 + \frac{b\omega_0 - du_0}{b}u + \frac{u_0}{b}t\right)}$$ trong đó hằng số $K_A := \frac{1}{\sqrt{2\pi b i}} e^{\frac{i}{2b}(cdu_0^2 - 2adu_0\omega_0 + ab\omega_0^2)}$. Khi biểu diễn qua hàm chirp $E_A(t) = e^{i(\frac{a}{2b}t^2 + \frac{u_0}{b}t)}$ và đặt $\hat{f}(t) = f(t)E_A(t)$, OLCT quy về dạng tích phân Fourier: $$O_A{f(t)}(u) = K_A e^{i\left(\frac{d}{2b}u^2 + \frac{b\omega_0 - du_0}{b}u\right)} \int_{\mathbb{R}} \hat{f}(t) e^{-i\frac{ut}{b}} dt$$

  • Biến đổi dạng Hartley chính tắc (CHTT): Với tham số thực $h$ và bộ tham số $A_1 = (a, b, c, d, 0, 0)$, biến đổi của $f(t) \in L^1(\mathbb{R})$ có dạng: $$L_h{f(t)}(u) := \int_{\mathbb{R}} f(t) K_{A_1}^h(u, t) dt$$ với nhân biến đổi: $$K_{A_1}^h(u, t) := \frac{1}{\sqrt{2\pi b i}} e^{i\left(\frac{d}{2b}u_h^2 + \frac{a}{2b}t_h^2\right)} \text{cas}\left(\frac{u_h t_h - h^2}{b}\right)$$ trong đó $u_h = u + h, t_h = t + h$ và hàm Hartley $\text{cas}(t) = \cos t + \sin t$.

  • Hàm phân phối Wigner (WDF): Được định nghĩa cho tín hiệu $f(t) \in L^1(\mathbb{R})$ nhằm biểu diễn sự phân bố năng lượng tín hiệu trên mặt phẳng thời gian – tần số: $$W_f(t, \omega) = \frac{1}{2\pi} \int_{\mathbb{R}} f\left(t + \frac{\tau}{2}\right) \overline{f\left(t - \frac{\tau}{2}\right)} e^{-i\omega\tau} d\tau$$

Phương pháp nghiên cứu thực tế được tác giả áp dụng:

  • Phương pháp giải tích và giải tích hàm: Vận dụng kỹ thuật ước lượng giải tích cổ điển, bổ đề Riemann-Lebesgue, định lý Fubini về đổi thứ tự tích phân, định lý đồ thị đóng trong không gian Fréchet để chứng minh tính liên tục và tính đóng của toán tử trên không gian Schwartz $S$; sử dụng kỹ thuật thác triển đẳng cự để mở rộng toán tử lên không gian Hilbert $L^2(\mathbb{R})$.
  • Phương pháp giải tích hàm suy rộng: Sử dụng tính đầy đủ của không gian $D'(\Omega)$, tính chất dịch chuyển của phép chập hàm suy rộng với dãy delta Dirac để xấp xỉ tín hiệu lấy mẫu đều.
  • Phương pháp biến đổi tích phân: Kỹ thuật phân rã toán tử qua biến đổi Fourier cổ điển, xây dựng hàm nhân tử hóa, thiết lập đẳng thức Parseval và bất đẳng thức loại Young.
  • Phương pháp phân tích mặt phẳng pha trong xử lý tín hiệu: Phân tích hình học phân bố WDF của tín hiệu và nhiễu chirp nhằm xác định góc xoay và hệ số góc $a/b$ cho các dải lọc.

Nguồn dữ liệu và tư liệu: Luận án là công trình nghiên cứu lý thuyết toán học thuần túy. Dữ liệu nghiên cứu bao gồm các công thức giải tích, các định lý toán học trong hệ thống tài liệu tham khảo chuyên ngành (69 tài liệu trong và ngoài nước), cùng 4 công trình khoa học đã công bố của chính tác giả.

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

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

Chương 1 hệ thống hóa các định nghĩa, ký hiệu và kết quả bổ trợ nền tảng phục vụ cho các chương sau. Tác giả trình bày định nghĩa biến đổi chính tắc tuyến tính bù (OLCT) và chỉ ra rằng OLCT tổng quát hóa nhiều biến đổi tích phân đã biết tùy thuộc vào việc lựa chọn bộ tham số thực $A = (a, b, c, d, u_0, \omega_0)$ với $ad - bc = 1$:

Bộ tham số thực $A = (a, b, c, d, u_0, \omega_0)$ Tên biến đổi tích phân tương ứng
$A = (a, b, c, d, 0, 0)$ Biến đổi chính tắc tuyến tính (LCT)
$A = (\cos\theta, \sin\theta, -\sin\theta, \cos\theta, 0, 0)$ Biến đổi Fourier phân thứ (FrFT)
$A = (0, 1, -1, 0, 0, 0)$ Biến đổi Fourier (FT)
$A = (0, -1, 1, 0, 0, 0)$ Biến đổi Fourier ngược (IFT)
$A = (1, b, 0, 1, 0, 0)$ Biến đổi Fresnel (FRST)

Tác giả trình bày chi tiết định nghĩa của FrFT với góc xoay thực $\theta$, định nghĩa LCT và định nghĩa FT/IFT kèm các tính chất cơ bản như công thức đảo ngược, thác triển đẳng cự trên $L^2(\mathbb{R})$ và đẳng thức Parseval $\langle \Psi_{\text{FT}}f, \Psi_{\text{FT}}g \rangle = 2\pi \langle f, g \rangle$.

Đối với CHTT, chương này phân tích ba trường hợp đặc biệt:

  1. Khi $h = 0$, toán tử trở thành biến đổi Hartley chính tắc $L_0$.
  2. Khi $h = 0$ và $A_1 = (\cos\theta, \sin\theta, -\sin\theta, \cos\theta, 0, 0)$, toán tử trở thành biến đổi Hartley phân thứ.
  3. Khi $a = d = h = 0$ và $b = 1$, toán tử quy về biến đổi Hartley cổ điển $H_0$.

Chương 1 cũng điểm lại các định nghĩa phép chập liên kết với FT (kèm bất đẳng thức Young: $|f * g|_r \le |f|_p |g|_q$ với $1/p + 1/q = 1/r + 1$), phép chập OLCT của Zhi, Wei và Zhang (2016), phép chập LCT tổng quát của Shi et al. (2012), và phép chập OLCT của Xiang và Qin (2014) với đẳng thức nhân tử hóa: $$O_A{(f \star_A g)(t)}(u) = e^{-i\left(\frac{d}{2b}u^2 + \frac{b\omega_0 - du_0}{b}u\right)} O_A{f(t)}(u) \cdot O_A{g(t)}(u)$$

Phần lý thuyết hàm suy rộng trình bày không gian hàm cơ bản tiêu hạn $D(\Omega)$, không gian Schwartz $S$, khái niệm hàm Heaviside $\Theta(t)$, hàm Dirac $\delta(t)$ thỏa mãn $(f * \delta)(t) = f(t)$, đạo hàm suy rộng $\Theta' = \delta$, và tín hiệu lấy mẫu đều: $$\tilde{f}(t) := \sum_{n=-\infty}^{+\infty} f(nT)\delta(t - nT)$$ kèm bổ đề về phép chập giữa tín hiệu lấy mẫu đều và hàm suy rộng: $\tilde{f}(t) * g(t) = \sum_{k=-\infty}^{+\infty} f(kT) g(t - kT)$.

Cuối chương, tác giả mô tả hàm phân phối Wigner (WDF) $W_f(t, \omega)$, biểu diễn hình học của hàm điều hòa $e^{i2\pi\xi t}$ (đường ngang $\omega = 2\pi\xi$) và hàm chirp $e^{i\pi(\eta t^2 + 2\xi t)}$ (đường thẳng $\omega = \pi\eta t + 2\pi\xi$). Phân tích cấu trúc lọc trong miền FT và LCT cho thấy lọc FT thất bại khi WDF của tín hiệu và nhiễu bị chồng lấp trên trục tần số, trong khi LCT cho phép quay hoặc biến dạng mặt phẳng pha với hệ số góc $a/b$ để phân tách nhiễu chirp. Chương 1 kết thúc bằng định lý lấy mẫu Nyquist và công thức nội suy Whittaker-Shannon rời rạc: $$f(t) = \sum_{k=-\infty}^{+\infty} f\left(\frac{k\pi}{\Omega}\right) \frac{\sin(\Omega t - k\pi)}{\Omega t - k\pi}$$ và bổ đề Shannon phiên bản liên tục qua giới hạn tích phân nhân hàm Dirichlet.

Chương 2: Tính chất toán tử của OLCT và CHTT

Chương 2 thiết lập các tính chất toán tử giải tích của OLCT và CHTT:

  1. Tính chất toán tử của OLCT:
  • Bổ đề dạng Riemann-Lebesgue (Bổ đề 2.1): Nếu $f(t) \in L^1(\mathbb{R})$ thì $\lim_{|u|\to+\infty} O_A{f(t)}(u) = 0$, $O_A{f(t)}(u)$ liên tục đều trên $\mathbb{R}$, và thỏa mãn đánh giá chuẩn: $$|O_A f|_\infty \le \frac{1}{\sqrt{2\pi b}} |f|_1$$
  • Định lý biến đổi ngược trên không gian Schwartz (Định lý 2.1): Toán tử $O_A$ là ánh xạ tuyến tính, liên tục, một-đối-một từ $S$ vào chính nó. Biến đổi ngược được xác định qua bộ tham số 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) O_A{f(t)}(u) du$$ với hằng số pha $C := e^{\frac{i}{2}(cdu_0^2 - 2adu_0\omega_0 + ab\omega_0^2)}$.
  • Định lý biến đổi ngược trên $L^1(\mathbb{R})$ (Định lý 2.2): Thiết lập công thức biến đổi ngược đối với trường hợp nhân biến đổi đối xứng ($K_A(u, v) = K_A(v, u)$). Từ đó suy ra tính duy nhất (Hệ quả 2.1): nếu $O_A f = 0$ thì $f = 0$ hầu khắp nơi.
  • Mở rộng lên không gian $L^2(\mathbb{R})$ (Định lý 2.3 và Hệ quả 2.2): Tồn tại duy nhất toán tử thác triển đẳng cự $\widetilde{O}_A: L^2(\mathbb{R}) \to L^2(\mathbb{R})$. Tích phân cắt cụt trên khoảng $[-k, k]$ hội tụ theo chuẩn $L^2$ về $\widetilde{O}_A f$ khi $k \to +\infty$.
  • Đẳng thức Parseval (Định lý 2.4): Với mọi $f, g \in L^2(\mathbb{R})$, ta có $\langle O_A f, O_A g \rangle = \langle f, g \rangle$, và $|O_A f|_2 = |f|_2$.

  1. Mối quan hệ giữa OLCT và hệ hàm Hermite: Tác giả mở rộng kết quả của Pei và Ding. Bổ đề 2.3 chứng minh rằng với bộ tham số $A_1 = (a, b, c, d, 0, 0)$ thỏa mãn $|a+d| < 2$ hoặc $|a+d| \ge 2$ kết hợp với $1 - ad > 0$, luôn tồn tại số co giãn $\lambda > 0$ để hàm Hermite điều chỉnh $\psi_n^\lambda(t)$ trở thành hàm riêng của LCT. Từ đó, Định lý 2.5 thiết lập đẳng thức đối với OLCT: $$O_A\left{e^{im_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{du_0^2}{2b}\right)} e^{im_1 u} \psi_n^\lambda(u - m_2)$$ trong đó các hằng số dịch chuyển pha và tọa độ $m_1, m_2, m_3$ được xác định tường minh qua hệ phương trình đại số chứa các tham số $a, b, d, u_0, \omega_0$. Định lý được minh họa cụ thể với bộ tham số $A = (-1/3, 2/3, -9, 3, 1, 3)$.

  2. Tính chất toán tử của CHTT:

  • Bổ đề dạng Riemann-Lebesgue (Bổ đề 2.4): Với $f(t) \in L^1(\mathbb{R})$, hàm $L_h{f(t)}(u)$ liên tục đều trên $\mathbb{R}$, triệt tiêu tại vô cùng và thỏa mãn $|L_h f|_\infty \le \frac{1}{\sqrt{\pi b}} |f|_1$.
  • Định lý biến đổi ngược trên không gian $S$ (Định lý 2.6): Với điều kiện không tồn tại $\alpha \in \mathbb{Q}$ sao cho $h^2/b = \alpha\pi$ (để $\cos(2h^2/b) \neq 0$), biến đổi ngược được xác định bởi: $$f(t) = \frac{e^{-\frac{ia}{2b}t_h^2}}{\sqrt{-2\pi bi} \cos\left(\frac{2h^2}{b}\right)} \int_{\mathbb{R}} L_h{f(t)}(u) e^{-\frac{id}{2b}u_h^2} \text{cas}\left(\frac{u_h t_h + h^2}{b}\right) du$$
  • Mở rộng lên $L^1(\mathbb{R})$ và $L^2(\mathbb{R})$: Chứng minh công thức nghịch đảo trên $L^1(\mathbb{R})$ khi nhân đối xứng (Định lý 2.7), suy ra tính duy nhất (Hệ quả 2.3), thiết lập đẳng cấu tuyến tính $\widetilde{L}_h$ trên $L^2(\mathbb{R})$ (Định lý 2.8) và sự hội tụ của tích phân cắt cụt trong $L^2(\mathbb{R})$ (Hệ quả 2.4).
  • Nguyên lý bất định dạng Heisenberg: Dẫn xuất nguyên lý bất định cho OLCT từ nguyên lý bất định của biến đổi Fourier, đồng thời chứng minh hai nguyên lý bất định dạng Heisenberg cho CHTT.

Chương 3: Phép chập liên kết với biến đổi chính tắc tuyến tính bù

Chương 3 tập trung xây dựng các cấu trúc phép chập mới liên kết với OLCT và CHTT:

  • Xây dựng 5 phép chập liên kết với OLCT:
    1. Ba phép chập có hàm trọng dạng Hermite.
    2. Một phép chập có hàm trọng dạng chirp.
    3. Một phép chập có hàm trọng dạng Gauss.
  • Thiết lập đẳng thức nhân tử hóa: Tác giả chứng minh rằng biến đổi OLCT của các phép chập trên được phân rã thành tích của các biến đổi tích phân thành phần nhân với các nhân tử pha thích hợp.
  • Xây dựng phép chập liên kết với CHTT: Định nghĩa phép chập của hai tín hiệu đối với CHTT và chứng minh đẳng thức nhân tử hóa tương ứng.
  • Khảo sát các tính chất toán học của phép chập: Kiểm chứng tường minh các quy luật đại số gồm tính giao hoán, tính kết hợp, tính phân phối, đồng thời thiết lập bất đẳng thức dạng Young nhằm khống chế chuẩn $L^r$ của tích chập qua chuẩn $L^p$ và $L^q$ của các tín hiệu thành phần.
  • Ứng dụng giải phương trình tích phân: Ứng dụng các đẳng thức nhân tử hóa vừa tìm được để đưa các phương trình tích phân dạng chập liên kết với OLCT và CHTT về các phương trình đại số trong miền biến đổi, từ đó tìm nghiệm giải tích chính xác. Luận án cung cấp các ví dụ minh họa cụ thể cho quy trình giải này.

Chương 4: Ứng dụng của phép chập trong xử lý tín hiệu

Chương 4 hiện thực hóa các kết quả lý thuyết vào các bài toán kỹ thuật xử lý tín hiệu:

  • Định lý lấy mẫu dạng Shannon trong miền OLCT: Xuất phát từ tín hiệu lấy mẫu đều dạng xung Dirac $\tilde{f}(t)$ và cấu trúc phép chập mới, tác giả thiết lập công thức khôi phục tín hiệu liên tục có dải tần bị chặn trong miền OLCT từ chuỗi các mẫu rời rạc.
  • Thiết kế các bộ lọc tín hiệu trong miền OLCT: Đề xuất ba mô hình lọc:
    1. Bộ lọc nhân (Multiplicative filter): Cắt lọc trực tiếp trên dải thông của miền biến đổi.
    2. Bộ lọc Gauss (Gauss filter): Sử dụng hàm trọng dạng Gauss để làm suy giảm các thành phần tần số ngoài dải.
    3. Bộ lọc kép (Dual filter): Kết hợp lọc hai giai đoạn nhằm nâng cao chất lượng tách tín hiệu.
  • Đánh giá độ phức tạp tính toán: Tác giả phân tích số lượng phép tính và chứng minh các bộ lọc đề xuất có độ phức tạp tính toán nhỏ hơn so với các bộ lọc đã biết trong miền LCT và FrFT.
  • Loại bỏ nhiễu chirp: Sử dụng hàm phân phối Wigner (WDF) để biểu diễn tín hiệu và nhiễu trên mặt phẳng pha thời gian – tần số, minh chứng khả năng tách hoàn toàn các thành phần nhiễu chirp có tần số tức thời biến thiên mà các bộ lọc Fourier thông thường không thể xử lý. Các ví dụ số và đồ thị minh họa được cung cấp chi tiết trong chương.

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

Luận án tự nêu các đóng góp mới về mặt lý luận và thực tiễn:

  1. Về mặt lý luận:
  • Thiết lập một cách hệ thống các tính chất toán tử giải tích của biến đổi OLCT và biến đổi CHTT trên không gian Schwartz $S$, không gian $L^1(\mathbb{R})$ và không gian Hilbert $L^2(\mathbb{R})$, bao gồm bổ đề Riemann-Lebesgue, công thức biến đổi ngược, tính duy nhất, đẳng thức Parseval và thác triển đẳng cự.
  • Tìm ra điều kiện tổng quát và biểu thức tường minh mô tả mối quan hệ giữa hệ hàm Hermite và toán tử OLCT, mở rộng các kết quả trước đó của Pei và Ding từ miền LCT sang miền OLCT.
  • Thiết lập và chứng minh các nguyên lý bất định dạng Heisenberg mới cho biến đổi OLCT và biến đổi CHTT, cung cấp công cụ toán học mở rộng cho cơ học lượng tử và quang học sóng.
  • Đề xuất 5 phép chập mới liên kết với OLCT (sử dụng các hàm trọng dạng Hermite, chirp, Gauss) và phép chập liên kết với CHTT; chứng minh trọn vẹn các đẳng thức nhân tử hóa, tính chất đại số và bất đẳng thức dạng Young cho các phép chập này.
  1. Về mặt thực tiễn và ứng dụng:
  • Đề xuất phương pháp giải giải tích cho các lớp phương trình tích phân dạng chập liên kết với OLCT và CHTT.
  • Thiết lập định lý lấy mẫu dạng Shannon cho các tín hiệu có dải tần bị chặn trong miền OLCT.
  • Đề xuất ba phương pháp thiết kế bộ lọc mới gồm lọc nhân, lọc Gauss và lọc kép dựa trên phép chập OLCT. Các bộ lọc này giải quyết được bài toán loại bỏ nhiễu chirp tổng quát mà lọc Fourier truyền thống không xử lý được, đồng thời đạt độ phức tạp tính toán thấp hơn so với các bộ lọc LCT hiện hành.

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

Về mặt hạn chế, luận án giới hạn phạm vi nghiên cứu ở tín hiệu liên tục một chiều thuộc các không gian hàm $L^p(\mathbb{R})$, với tham số thực $b > 0$ và tham số $h$ của CHTT phải tránh các điểm kỳ dị làm triệt tiêu mẫu số ($\cos(2h^2/b) \neq 0$). Luận án chưa xét trường hợp tín hiệu đa chiều hoặc các biến đổi chính tắc tuyến tính với ma trận tham số phức.

Về hướng nghiên cứu tiếp theo, văn bản luận án đề cập:

  • Khai thác ứng dụng của phép chập liên kết với biến đổi CHTT trong các bài toán thực tế, đặc biệt là trong lĩnh vực xử lý ảnh số và quang học.
  • Khảo sát sâu hơn các hệ quả vật lý của nguyên lý bất định dạng Heisenberg đối với CHTT trong các mô hình cơ học lượng tử.
  • Mở rộng nghiên cứu các thuật toán rời rạc hóa nhanh và tối ưu hóa tính toán số cho các bộ lọc nhân, lọc Gauss và lọc kép trong môi trường xử lý tín hiệu thời gian thực.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo dành cho:

  • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Toán giải tích và Toán ứng dụng: Cung cấp phương pháp luận chặt chẽ trong việc nghiên cứu toán tử biến đổi tích phân, kỹ thuật biến đổi ngược, xử lý không gian hàm suy rộng và hệ hàm Hermite.
  • Các nhà nghiên cứu và kỹ sư trong lĩnh vực Xử lý tín hiệu số, Kỹ thuật viễn thông, Radar và Quang học: Cung cấp cơ sở lý thuyết và công thức thiết kế các bộ lọc xử lý nhiễu chirp, phương pháp phân tích mặt phẳng pha qua hàm WDF, và công thức lấy mẫu tín hiệu ngoài miền Fourier truyền thống.

Các phần có giá trị tham khảo học thuật cao:

  • Bảng tham số và phân loại các trường hợp đặc biệt của OLCT (Chương 1).
  • Định lý 2.5 và quy trình xác định tham số $m_1, m_2, m_3$ cho hệ hàm Hermite liên kết với OLCT (Chương 2).
  • Các công thức biến đổi ngược của CHTT với điều kiện triệt tiêu mẫu số (Chương 2).
  • Cấu trúc 5 phép chập có trọng và mô hình ba loại lọc tín hiệu ở Chương 3 và Chương 4.

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

  1. Biến đổi chính tắc tuyến tính bù (OLCT) bao hàm những biến đổi tích phân quen thuộc nào? OLCT phụ thuộc vào bộ tham số thực $A = (a, b, c, d, u_0, \omega_0)$ với $ad - bc = 1$. Tùy thuộc vào cách chọn tham số, OLCT bao hàm các trường hợp đặc biệt: biến đổi chính tắc tuyến tính (LCT khi $u_0 = \omega_0 = 0$), biến đổi Fourier phân thứ (FrFT khi chọn bộ tham số tương ứng với góc xoay $\theta$), biến đổi Fourier (FT khi $A = (0, 1, -1, 0, 0, 0)$), biến đổi Fourier ngược (IFT khi $A = (0, -1, 1, 0, 0, 0)$), và biến đổi Fresnel (FRST khi $A = (1, b, 0, 1, 0, 0)$).

  2. Điều kiện cần thiết để biến đổi dạng Hartley chính tắc (CHTT) tồn tại công thức nghịch đảo là gì? Biến đổi ngược của CHTT đòi hỏi mẫu số trong nhân tích phân không triệt tiêu. Điều này tương đương với điều kiện không tồn tại số hữu tỷ $\alpha \in \mathbb{Q}$ sao cho $h^2/b = \alpha\pi$, bảo đảm $\cos(2h^2/b) \neq 0$. Khi đó, biến đổi ngược được xác định tường minh qua công thức giải tích với nhân điều hòa chứa hàm $\text{cas}$.

  3. Vì sao các bộ lọc Fourier thông thường không hiệu quả trước nhiễu chirp tổng quát và OLCT giải quyết điều này như thế nào? Nhiễu chirp tổng quát có tần số tức thời thay đổi theo thời gian, được biểu diễn trên mặt phẳng pha Wigner (WDF) là một đường thẳng xiên $\omega = \pi\eta t + 2\pi\xi$ tạo góc $\arctan(\pi\eta)$ với trục thời gian. Lọc Fourier thông thường chỉ hiệu quả với các đường ngang (tần số không đổi); khi gặp đường xiên, phân bố năng lượng của nhiễu bị chồng lấp lên tín hiệu mong muốn trên trục tần số. OLCT cung cấp các tham số tự do cho phép xoay và dịch chuyển mặt phẳng pha với hệ số góc $a/b$, biến phân bố của tín hiệu và nhiễu thành các dải không chồng lấp, từ đó tách lọc được nhiễu.

  4. Mối quan hệ giữa hệ hàm Hermite và biến đổi OLCT được thiết lập ra sao? Luận án chỉ ra rằng với các tham số co giãn $\lambda > 0$ thích hợp thỏa mãn điều kiện đại số của bộ tham số $A$, hàm Hermite điều chỉnh theo hàm chirp pha $e^{im_1 t} \psi_n^\lambda(\frac{t - m_2}{\lambda})$ đóng vai trò là hàm riêng chuyển dịch của toán tử OLCT, cho ra tín hiệu đầu ra có dạng hàm Hermite tịnh tiến nhân với pha điều hòa.

  5. Những mô hình lọc nào đã được đề xuất từ phép chập OLCT trong luận án? Luận án đề xuất ba mô hình lọc: bộ lọc nhân, bộ lọc Gauss, và bộ lọc kép. Cả ba bộ lọc này đều được xây dựng từ các phép chập liên kết với OLCT, có khả năng triệt tiêu nhiễu chirp và có độ phức tạp tính toán thấp hơn các bộ lọc trong miền LCT đã biết.

Kết luận

Luận án của nghiên cứu sinh Lại Tiến Minh đã nghiên cứu hệ thống các tính chất toán tử giải tích của biến đổi chính tắc tuyến tính bù (OLCT) và biến đổi dạng Hartley chính tắc (CHTT) trên các không gian hàm $S$, $L^1(\mathbb{R})$ và $L^2(\mathbb{R})$. Tác giả đã xây dựng thành công 5 phép chập mới cho OLCT với các hàm trọng khác nhau (Hermite, chirp, Gauss) và phép chập cho CHTT, chứng minh các đẳng thức nhân tử hóa và bất đẳng thức Young tương ứng. Các kết quả lý thuyết được ứng dụng hiệu quả vào giải phương trình tích phân dạng chập, thiết lập định lý lấy mẫu dạng Shannon trong miền OLCT, và đề xuất ba cấu trúc lọc (lọc nhân, lọc Gauss, lọc kép) giúp loại bỏ nhiễu chirp tổng quát với độ phức tạp tính toán giảm. Toàn bộ nội dung công trình phản ánh một nghiên cứu toán ứng dụng hoàn chỉnh, kết hợp chặt chẽ giữa giải tích toán học thuần túy và kỹ thuật xử lý tín hiệu hiện đại.