Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Tích chập suy rộng Fourier cosine, Fourier sine thời gian rời rạc và ứng dụng" do nghiên cứu sinh Nguyễn Anh Đài thực hiện dưới sự hướng dẫn khoa học của PGS. Nguyễn Xuân Thảo, bảo vệ tại Trường Đại học Bách khoa Hà Nội năm 2020, thuộc chuyên ngành Toán học (Mã ngành: 9460101).

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

Lý thuyết phép biến đổi tích phân và tích chập đối với các phép biến đổi tích phân giữ vai trò quan trọng trong các mô hình vật lý - toán, phương trình vi phân, phương trình tích phân, phương trình vi-tích phân, lý thuyết xác suất, lý thuyết hệ thống và xử lý tín hiệu. Trong thực tế xử lý tín hiệu số, xử lý ảnh và xử lý âm thanh, biến đổi Fourier thời gian rời rạc (Discrete-Time Fourier Transform - DTFT) là một công cụ phân tích cốt lõi cho các hệ thống tuyến tính bất biến thời gian (LTI).

Tuy nhiên, theo tổng quan của tác giả, các công trình trước đây về phép biến đổi Fourier thời gian rời rạc với lớp hàm khả tổng chủ yếu dừng lại ở các tính chất cơ bản và phép tích chập Fourier thời gian rời rạc kinh điển. Chưa có công trình nào nghiên cứu một cách có hệ thống về phép biến đổi Fourier cosine thời gian rời rạc và Fourier sine thời gian rời rạc đối với các dãy tín hiệu đối xứng, cũng như chưa có các nghiên cứu về tích chập suy rộng, tích chập suy rộng có hàm trọng, bất đẳng thức tích chập suy rộng rời rạc (bất đẳng thức kiểu Young rời rạc) và các phép biến đổi kiểu tích chập suy rộng thời gian rời rạc. Hơn nữa, việc tìm nghiệm giải tích chính xác (nghiệm dưới dạng đóng) cho phương trình và hệ phương trình Toeplitz-Hankel rời rạc trên các không gian dãy vẫn là một bài toán mở cần được giải quyết.

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

Luận án xác định các mục tiêu nghiên cứu cụ thể được trình bày theo văn bản như sau:

  1. Nghiên cứu biến đổi Fourier cosine thời gian rời rạc và biến đổi Fourier sine thời gian rời rạc với các dãy tín hiệu ban đầu là các dãy chẵn, lẻ đối xứng.
  2. Xây dựng các tích chập suy rộng đối với các phép biến đổi Fourier cosine, Fourier sine thời gian rời rạc và tích chập với phép biến đổi Fourier cosine thời gian rời rạc.
  3. Đánh giá các bất đẳng thức tích chập suy rộng, tích chập thời gian rời rạc và ứng dụng giải một số lớp phương trình Toeplitz-Hankel rời rạc.

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

  • Đối tượng nghiên cứu: Tích chập suy rộng, tích chập, bất đẳng thức tích chập suy rộng, biến đổi kiểu tích chập suy rộng đối với các biến đổi Fourier cosine, Fourier sine thời gian rời rạc và phương trình Toeplitz-Hankel rời rạc.
  • Phạm vi nghiên cứu:
    • Tích chập suy rộng, tích chập, phép biến đổi kiểu tích chập suy rộng Fourier cosine thời gian rời rạc và Fourier sine thời gian rời rạc.
    • Các bất đẳng thức tích chập suy rộng Fourier cosine và Fourier sine thời gian rời rạc trên các không gian dãy số phức $\ell_p(\mathbb{N}_0)$, $\ell_p^0(\mathbb{N}_0)$, $\ell_1(\mathbb{N}_0, e^n)$.
    • Nghiệm dạng đóng và đánh giá nghiệm của phương trình, hệ phương trình Toeplitz-Hankel rời rạc.

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

Luận án đã hệ thống hóa lịch sử phát triển của lý thuyết phép biến đổi tích phân, tích chập liên tục và biến đổi rời rạc qua các giai đoạn:

Hướng nghiên cứu / Công trình Tác giả & Năm công bố Nội dung chính theo tổng quan của luận án
Phép biến đổi Fourier và tích chập liên tục J. Fourier; W. H. Young (1912); W. Beckner Phép biến đổi tích phân Fourier cho lớp hàm khả tích $L_1(\mathbb{R})$; thiết lập bất đẳng thức Young cho tích chập Fourier $|f * g|_r \le |f|_p |g|_q$; Beckner tìm hằng số tối ưu cho bất đẳng thức Young.
Tích chập Fourier cosine và Fourier sine liên tục I. N. Sneddon (1951) Xây dựng tích chập cho hai hàm chẵn đối với biến đổi Fourier cosine và công thức tích chập suy rộng Fourier sine thỏa mãn đẳng thức nhân tử hóa $\mathcal{F}_s(f \overset{*}{\underset{s}{}} g)(y) = (\mathcal{F}_s f)(y)(\mathcal{F}_c g)(y)$.
Tích chập có hàm trọng N. Ya. Vilenkin (1958); V. A. Kakichev (1967) Vilenkin thiết lập tích chập có hàm trọng cho biến đổi Mehler-Fox; Kakichev đưa ra phương pháp kiến thiết xây dựng tích chập có hàm trọng cho biến đổi tích phân bất kỳ (Hankel, Kontorovich-Lebedev, Fourier sine).
Tích chập suy rộng có hàm trọng N. X. Thảo (1998, 2000); N. M. Khoa (2007) Thảo đề xuất phương pháp kiến thiết xây dựng tích chập suy rộng có hàm trọng $\gamma$ cho 3 phép biến đổi tích phân thỏa mãn $K_3(f * g)(y) = \gamma(y)(K_1 f)(y)(K_2 g)(y)$; Khoa mở rộng cho nhóm biến đổi Fourier, Fourier cosine, Fourier sine và giải phương trình tích phân.
Biến đổi kiểu tích chập và phương trình Toeplitz-Hankel liên tục N. T. Hong (2012); P. Tuan (2013) Hong xây dựng biến đổi kiểu tích chập suy rộng Fourier sine-cosine, cosine-sine có hàm trọng, tìm tính unita trong $L_2(\mathbb{R}_+)$ và giải phương trình Toeplitz-Hankel liên tục dạng tích phân; Tuan xét phương trình Toeplitz-Hankel với nhân tuần hoàn.
Biến đổi Fourier thời gian rời rạc (DTFT) và tích chập rời rạc A. V. Oppenheim, R. W. Schafer, J. G. Proakis, V. K. Ingle (các giáo trình chuẩn) Nghiên cứu biến đổi Fourier thời gian rời rạc $X(\omega) = \sum_{n=-\infty}^\infty x(n)e^{-in\omega}$, tích chập thời gian rời rạc trên $\ell_1(\mathbb{Z})$ thỏa mãn $\mathcal{F}_{DT}{x * y}(\omega) = X(\omega)Y(\omega)$.

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

Tác giả chỉ ra rằng biểu thức tích chập dưới dạng tổng (thời gian rời rạc) có cấu trúc toán học và bản chất tác động khác biệt so với tích chập dưới dạng tích phân (thời gian liên tục). Mặc dù lý thuyết tích chập suy rộng liên tục đã phát triển đa dạng, lý thuyết thời gian rời rạc đối với biến đổi Fourier cosine và Fourier sine hoàn toàn chưa được thiết lập. Luận án giải quyết khoảng trống này bằng cách:

  • Chuyển toàn bộ cấu trúc lý thuyết tích chập suy rộng và tích chập có hàm trọng sang miền thời gian rời rạc.
  • Thiết lập hệ thống biến đổi Fourier cosine/sine thời gian rời rạc ($\mathcal{F}{cDT}$, $\mathcal{F}{sDT}$) cùng các đẳng thức nhân tử hóa, đẳng thức Parseval và bất đẳng thức kiểu Young rời rạc.
  • Xây dựng toán tử biến đổi kiểu tích chập suy rộng rời rạc unita và ứng dụng giải các lớp phương trình, hệ phương trình Toeplitz-Hankel rời rạc dưới dạng nghiệm đóng.

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

Khung lý thuyết và các khái niệm cơ bản

Luận án sử dụng các cấu trúc không gian dãy số phức và không gian hàm sau:

  • Không gian dãy $\ell_p(\mathbb{N}_0)$ ($1 \le p < \infty$): Không gian các dãy số phức $x = {x(n)}{n \ge 0}$ trang bị chuẩn: $$|x|p = \left( \frac{|x(0)|^p}{2} + \sum{n=1}^\infty |x(n)|^p \right)^{1/p} < \infty, \quad |x|\infty = \sup_{n \ge 0} |x(n)| < \infty$$
  • Không gian con $\ell_p^0(\mathbb{N}_0)$: Là không gian các dãy thuộc $\ell_p(\mathbb{N}_0)$ thỏa mãn điều kiện $x(0) = 0$.
  • Không gian $\ell_1(\mathbb{N}_0, e^n)$: Không gian các dãy thỏa mãn $\sum_{n=0}^\infty |x(n)e^n| < \infty$, tương ứng với lớp dãy giảm theo cấp số mũ ($|x(n)| \le A e^{-\delta n}$ với $A, \delta > 0$).
  • Không gian $C_0(\mathbb{R}_+)$: Không gian các hàm liên tục trên $\mathbb{R}_+$ triệt tiêu tại vô cùng với chuẩn sup.
  • Lý thuyết biến đổi Fourier thời gian rời rạc (DTFT): $$X(\omega) = \mathcal{F}{DT}{x(n)}(\omega) = \sum{n=-\infty}^\infty x(n) e^{-in\omega}, \quad x(n) = \frac{1}{2\pi} \int_{-\pi}^\pi X(\omega) e^{in\omega} d\omega$$ với các tính chất: tuần hoàn chu kỳ $2\pi$, tuyến tính, dịch thời gian, đảo ngược thời gian, vi phân trong miền tần số ($n x(n) \leftrightarrow i \frac{dX(\omega)}{d\omega}$), và Định lý Wiener-Levy cho chuỗi Fourier hội tụ tuyệt đối.

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

  • Phương pháp giải tích hàm và lý thuyết toán tử: Đánh giá tính bị chặn của toán tử tích chập, chứng minh tính unita của toán tử biến đổi kiểu tích chập suy rộng trong không gian Hilbert $\ell_2(\mathbb{N}_0)$ và $\ell_2^0(\mathbb{N}_0)$.
  • Phương pháp biến đổi tích phân và biến đổi thời gian rời rạc: Mở rộng các dãy sang miền chỉ số nguyên đối xứng (chẵn hoặc lẻ) để khai thác các cấu trúc chuỗi lượng giác $\cos(n\omega)$ và $\sin(n\omega)$.
  • Kỹ thuật đánh giá bất đẳng thức: Sử dụng bất đẳng thức Hölder cho ba dãy, tính chất lồi của hàm lũy thừa $t^q$ ($q > 1$), và các phép đổi biến số trên chỉ số chuỗi kép để thiết lập bất đẳng thức chuẩn dạng Young.

Nguồn tư liệu và dữ liệu

Dữ liệu nghiên cứu là các đối tượng giải tích toán học thuần túy: các dãy tín hiệu thời gian rời rạc ${x(n)}$, ${y(n)}$ mang giá trị thực hoặc phức, không gian dãy số khả tổng và các chuỗi điều hòa trên đoạn cơ bản $[0, \pi]$.

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

Chương 1: Biến đổi Fourier thời gian rời rạc

Chương 1 hệ thống hóa các khái niệm nền tảng về tín hiệu thời gian rời rạc và lý thuyết hệ thống:

  • Tín hiệu thời gian rời rạc và hệ thống tuyến tính bất biến (LTI): Biểu diễn tín hiệu bất kỳ qua chuỗi xung đơn vị $x(n) = \sum_{k=-\infty}^\infty x(k)\delta(n-k)$, trong đó $\delta(n)$ bằng $1$ khi $n=0$ và bằng $0$ khi $n \ne 0$. Định nghĩa đáp ứng xung $h(n) = T{\delta(n)}$, đáp ứng của hệ thống $y(n) = \sum_{k=-\infty}^\infty x(k)h(n-k) = (x * h)(n)$. Điều kiện ổn định BIBO (Bounded-Input Bounded-Output) tương đương với $\sum_{n=-\infty}^\infty |h(n)| < \infty$.
  • Biến đổi Fourier thời gian rời rạc (DTFT): Trình bày công thức phân tích và tổng hợp, tính tuần hoàn $X(\omega) = X(\omega + 2\pi m)$, tính biến điệu, tính chất vi phân miền tần số $\mathcal{F}{DT}{n x(n)}(\omega) = i \frac{dX(\omega)}{d\omega}$, đẳng thức Parseval: $$\sum{n=-\infty}^\infty x(n)\overline{y(n)} = \frac{1}{2\pi} \int_{-\pi}^\pi X(\omega)\overline{Y(\omega)} d\omega$$
  • Tích chập rời rạc: Chứng minh đẳng thức nhân tử hóa $\mathcal{F}_{DT}{x * y}(\omega) = X(\omega)Y(\omega)$ đối với $x, y \in \ell_1(\mathbb{Z})$.
  • Định lý Wiener-Levy: Phát biểu định lý về sự bảo toàn tính khả tổng tuyệt đối của chuỗi Fourier khi qua hàm giải tích $\Phi$, và sự tồn tại của dãy nghịch đảo khi $\mathcal{F}_{DT}{x(n)}(\omega) \ne 0, \forall \omega \in [0, \pi]$.

Chương 2: Tích chập suy rộng Fourier cosine, Fourier sine thời gian rời rạc

Chương 2 là trọng tâm lý thuyết của luận án, xây dựng các phép biến đổi và tích chập suy rộng mới:

1. Biến đổi Fourier cosine và Fourier sine thời gian rời rạc

  • Biến đổi Fourier cosine thời gian rời rạc ($\mathcal{F}_{cDT}$): Đối với dãy $x = {x(n)}{n \ge 0} \in \ell_1(\mathbb{N}0)$: $$X_c(\omega) = \mathcal{F}{cDT}{x(n)}(\omega) = \frac{x(0)}{2} + \sum{n=1}^\infty x(n) \cos(n\omega), \quad \omega \in [0, \pi]$$ Biến đổi ngược: $$x(n) = \mathcal{F}_{cDT}^{-1}{X_c(\omega)} = \frac{2}{\pi} \int_0^\pi X_c(\omega) \cos(n\omega) d\omega$$ Đẳng thức Parseval trong $\ell_2(\mathbb{N}_0)$: $|x|2^2 = \frac{1}{\pi} |X_c|{L_2(0,\pi)}^2$.
  • Biến đổi Fourier sine thời gian rời rạc ($\mathcal{F}_{sDT}$): Đối với dãy $x = {x(n)}{n \ge 1} \in \ell_1^0(\mathbb{N}0)$: $$X_s(\omega) = \mathcal{F}{sDT}{x(n)}(\omega) = \sum{n=1}^\infty x(n) \sin(n\omega), \quad \omega \in [0, \pi]$$ Biến đổi ngược: $$x(n) = \mathcal{F}_{sDT}^{-1}{X_s(\omega)} = \frac{2}{\pi} \int_0^\pi X_s(\omega) \sin(n\omega) d\omega$$ Đẳng thức Parseval trong $\ell_2^0(\mathbb{N}_0)$: $|x|2^2 = \frac{1}{\pi} |X_s|{L_2(0,\pi)}^2$.
  • Tính chất vi phân miền tần số chéo: $$\frac{d X_c(\omega)}{d\omega} = -\mathcal{F}{sDT}{n x(n)}(\omega), \quad \frac{d X_s(\omega)}{d\omega} = \mathcal{F}{cDT}{n x(n)}(\omega)$$

2. Tích chập suy rộng Fourier sine thời gian rời rạc

  • Định nghĩa tích chập suy rộng Fourier sine không trọng: $$(x \overset{*}{\underset{sDT}{}} y)(n) = \frac{1}{2} \sum_{m=0}^\infty x(m) [y(|n-m|) - y(n+m)], \quad n \ge 0$$
  • Đẳng thức nhân tử hóa: Với $x(n) \in \ell_1^0(\mathbb{N}0), y(n) \in \ell_1(\mathbb{N}0)$: $$\mathcal{F}{sDT}{(x \overset{*}{\underset{sDT}{}} y)(n)}(\omega) = 2 \mathcal{F}{sDT}{x(n)}(\omega) \cdot \mathcal{F}_{cDT}{y(n)}(\omega)$$
  • Định lý kiểu Young rời rạc: Với $p, q, r \ge 1$ thỏa mãn $\frac{1}{p} + \frac{1}{q} = 1 + \frac{1}{r}$, nếu $x \in \ell_p^0(\mathbb{N}_0)$, $y \in \ell_q(\mathbb{N}_0)$ thì $(x \overset{}{\underset{sDT}{}} y) \in \ell_r^0(\mathbb{N}_0)$ và: $$|x \overset{}{\underset{sDT}{}} y|_r \le |x|_p |y|_q$$ Riêng tại $p=q=r=1$, ta có $|x \overset{*}{\underset{sDT}{}} y|_1 \le 2 |x|_1 |y|_1$ (dấu bằng xảy ra khi các dãy cùng dấu).
  • Định lý kiểu Titchmarsh: Nếu $x(n), y(n)$ là các dãy giảm theo cấp số mũ trong $\ell_1(\mathbb{N}_0, e^n)$, thì $(x \overset{*}{\underset{sDT}{}} y)(n) = 0, \forall n \ge 0$ khi và chỉ khi $x(n) = 0, \forall n \ge 0$ hoặc $y(n) = 0, \forall n \ge 0$.

3. Tích chập suy rộng Fourier sine thời gian rời rạc có hàm trọng

  • Định nghĩa tích chập với hàm trọng $\gamma(\omega) = \sin\omega$: $$(x \overset{*}{\underset{\gamma FsDT}{}} y)(n) = \frac{1}{4} \sum_{m=1}^\infty x(m) [y(|n+m-1|) + y(|n-m-1|) - y(n+m+1) - y(|n-m+1|)]$$
  • Đẳng thức nhân tử hóa: $$\mathcal{F}{sDT}{(x \overset{*}{\underset{\gamma FsDT}{}} y)(n)}(\omega) = 4 \sin\omega \cdot \mathcal{F}{cDT}{x(n)}(\omega) \cdot \mathcal{F}_{cDT}{y(n)}(\omega)$$
  • Đánh giá chuẩn: $|x \overset{*}{\underset{\gamma FsDT}{}} y|_1 \le 4 |x|_1 |y|_1$. Phép toán có tính chất giao hoán trên $\ell_1^0(\mathbb{N}_0)$.

4. Tích chập suy rộng và tích chập Fourier cosine thời gian rời rạc

  • Tích chập suy rộng Fourier cosine không trọng: $$(x \overset{}{\underset{cDT}{}} y)(n) = \frac{1}{2} \sum_{k=1}^\infty x(k) [y(k+n) + y(|k-n|)\text{sign}(k-n)], \quad n \ge 0$$ thỏa mãn đẳng thức nhân tử hóa: $$\mathcal{F}_{cDT}{(x \overset{}{\underset{cDT}{}} y)(n)}(\omega) = 2 \mathcal{F}{sDT}{x(n)}(\omega) \cdot \mathcal{F}{sDT}{y(n)}(\omega)$$
  • Tích chập suy rộng Fourier cosine có hàm trọng $\gamma(\omega) = \sin\omega$ và Tích chập Fourier cosine thời gian rời rạc $(x \overset{*}{\underset{FcDT}{\circ}} y)$: Thiết lập các công thức tường minh, đẳng thức nhân tử hóa tương ứng và đánh giá chuẩn trên $\ell_p(\mathbb{N}_0)$.

Chương 3: Phép biến đổi kiểu tích chập suy rộng thời gian rời rạc và phương trình Toeplitz-Hankel rời rạc

Chương 3 phát triển các ứng dụng toán tử và giải phương trình sai phân/tích phân rời rạc:

1. Phép biến đổi kiểu tích chập suy rộng thời gian rời rạc

  • Định nghĩa các toán tử: Luận án định nghĩa các toán tử $T_{sDT}$, $T_{cDT}$, $T_{FcDT}^\circ$ tác động lên các dãy tín hiệu thông qua các tích chập suy rộng đã thiết lập ở Chương 2.
  • Toán tử nghịch đảo: Xây dựng công thức giải tích tường minh cho các toán tử nghịch đảo $T_{sDT}^{-1}$, $T_{cDT}^{-1}$ và $(T_{FcDT}^\circ)^{-1}$.
  • Tính chất Unita: Thiết lập và chứng minh điều kiện cần và đủ để các toán tử kiểu tích chập suy rộng này là toán tử unita (toán tử bảo toàn tích vô hướng và chuẩn) trong các không gian Hilbert $\ell_2(\mathbb{N}_0)$ và $\ell_2^0(\mathbb{N}_0)$.

2. Phương trình Toeplitz-Hankel rời rạc

Phương trình Toeplitz-Hankel rời rạc tổng quát có dạng: $$x(n) + \sum_{m=0}^\infty [k_1(n+m) + k_2(|n-m|)] x(m) = y(n), \quad n \ge 0$$ trong đó $k_1$ là nhân kiểu Hankel, $k_2$ là nhân kiểu Toeplitz, $y(n)$ là dãy cho trước và $x(n)$ là dãy ẩn cần tìm.

Luận án đã phân loại và giải quyết thành công các trường hợp:

  • Phương trình Toeplitz-Hankel rời rạc với nhân đặc biệt: Sử dụng cấu trúc tích chập suy rộng Fourier sine và Fourier cosine để chuyển phương trình về miền tần số, tìm ra công thức nghiệm đóng $x(n)$ biểu diễn qua tích chập rời rạc của vế phải với dãy nhân tử nghịch đảo.
  • Phương trình Toeplitz-Hankel rời rạc với vế phải đặc biệt: Đưa ra giải pháp tìm nghiệm giải tích khi vế phải thuộc ảnh của các phép biến đổi $\mathcal{F}{cDT}$ hoặc $\mathcal{F}{sDT}$.
  • Hệ phương trình Toeplitz-Hankel rời rạc: Mở rộng phương pháp cho hệ nhiều phương trình liên kết, thiết lập điều kiện khả giải và công thức nghiệm tường minh trong không gian dãy $\ell_1(\mathbb{N}_0)$ và $\ell_2(\mathbb{N}_0)$.

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

Các kết quả mới đạt được của luận án bao gồm:

  1. Xây dựng lý thuyết biến đổi rời rạc mới: Định nghĩa và thiết lập đầy đủ các tính chất giải tích của phép biến đổi Fourier cosine thời gian rời rạc ($\mathcal{F}{cDT}$) và biến đổi Fourier sine thời gian rời rạc ($\mathcal{F}{sDT}$) đối với các dãy tín hiệu chẵn, lẻ thuộc không gian $\ell_p(\mathbb{N}_0)$.
  2. Thiết lập hệ thống tích chập suy rộng rời rạc: Đề xuất các công thức giải tích tường minh cho 5 dạng tích chập rời rạc:
    • Tích chập suy rộng Fourier sine thời gian rời rạc $(x \overset{*}{\underset{sDT}{}} y)$;
    • Tích chập suy rộng Fourier sine thời gian rời rạc có hàm trọng $\sin\omega$ $(x \overset{*}{\underset{\gamma FsDT}{}} y)$;
    • Tích chập suy rộng Fourier cosine thời gian rời rạc $(x \overset{*}{\underset{cDT}{}} y)$;
    • Tích chập suy rộng Fourier cosine thời gian rời rạc có hàm trọng $\sin\omega$;
    • Tích chập Fourier cosine thời gian rời rạc $(x \overset{*}{\underset{FcDT}{\circ}} y)$.
  3. Chứng minh các định lý cơ bản: Chứng minh các đẳng thức nhân tử hóa, đẳng thức Parseval, định lý triệt tiêu kiểu Titchmarsh trên không gian $\ell_1(\mathbb{N}_0, e^n)$, và các định lý, bất đẳng thức chuẩn kiểu Young rời rạc trên các không gian $\ell_p(\mathbb{N}_0)$.
  4. Phát triển lý thuyết toán tử kiểu tích chập rời rạc: Xây dựng các toán tử kiểu tích chập suy rộng, thiết lập công thức toán tử nghịch đảo và tìm điều kiện cần và đủ để các toán tử này là unita trên $\ell_2(\mathbb{N}_0)$ và $\ell_2^0(\mathbb{N}_0)$.
  5. Ứng dụng giải phương trình Toeplitz-Hankel rời rạc: Tìm được nghiệm dạng đóng và đánh giá nghiệm cho một số lớp phương trình và hệ phương trình Toeplitz-Hankel rời rạc với nhân đặc biệt hoặc vế phải đặc biệt.
  6. Công bố khoa học: Toàn bộ kết quả chính của luận án được công bố trong 04 bài báo khoa học (gồm 02 bài thuộc danh mục ISI, 01 bài tạp chí quốc tế và 01 bài tạp chí trong nước) cùng 05 báo cáo tại các hội nghị khoa học quốc gia và quốc tế.

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

Hạn chế được xác định từ phạm vi nghiên cứu

  • Nghiệm giải tích dưới dạng đóng của phương trình Toeplitz-Hankel rời rạc mới chỉ tìm được cho các trường hợp nhân Toeplitz và nhân Hankel có cấu trúc đặc biệt (tương thích với hạt nhân của tích chập suy rộng Fourier cosine/sine) hoặc vế phải đặc biệt. Trường hợp nhân Toeplitz và nhân Hankel bất kỳ tổng quát vẫn chưa có nghiệm dạng đóng hoàn chỉnh (vẫn là bài toán mở).
  • Các đánh giá chuẩn và tính chất toán tử mới được khảo sát trên các không gian dãy một chiều với chỉ số không âm $\mathbb{N}_0$.

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

  • Tiếp tục nghiên cứu mở rộng phương pháp để giải bài toán tìm nghiệm dạng đóng cho phương trình Toeplitz-Hankel rời rạc trong trường hợp nhân tổng quát.
  • Áp dụng phương pháp kiến thiết và ý tưởng của luận án để nghiên cứu xây dựng tích chập suy rộng, tích chập có hàm trọng cho các biến đổi thời gian rời rạc khác (chẳng hạn như biến đổi Hankel rời rạc, Mellin rời rạc, Hartley rời rạc).
  • Nghiên cứu mở rộng lý thuyết tích chập suy rộng thời gian rời rạc nhiều chiều cho xử lý tín hiệu và xử lý ảnh số đa chiều.

Giá trị tham khảo

Luận án có giá trị tham khảo học thuật cho các nhóm đối tượng:

  • Nghiên cứu sinh và học viên cao học ngành Toán giải tích, Toán ứng dụng: Cung cấp tài liệu tham khảo chi tiết về kỹ thuật xây dựng tích chập suy rộng, phương pháp biến đổi tích phân rời rạc và các bước chứng minh bất đẳng thức kiểu Young trên không gian dãy $\ell_p$.
  • Giảng viên và nhà nghiên cứu lý thuyết toán tử, phương trình tích phân/sai phân: Cung cấp các công cụ toán tử unita kiểu tích chập rời rạc và phương pháp giải phương trình Toeplitz-Hankel rời rạc dưới dạng giải tích chính xác.
  • Các nhà nghiên cứu trong lĩnh vực Xử lý tín hiệu số (DSP) và Kỹ thuật điều khiển: Tham khảo cơ sở toán học giải tích của các hệ thống thời gian rời rạc với tín hiệu đối xứng chẵn/lẻ, giúp tối ưu hóa việc phân tích phổ tần số bằng biến đổi cosine/sine rời rạc thay vì biến đổi Fourier phức đầy đủ.

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

1. Biến đổi Fourier cosine thời gian rời rạc ($\mathcal{F}{cDT}$) và Fourier sine thời gian rời rạc ($\mathcal{F}{sDT}$) được định nghĩa như thế nào?

Đối với dãy số phức $x = {x(n)}{n \ge 0} \in \ell_1(\mathbb{N}0)$, biến đổi Fourier cosine thời gian rời rạc được xác định bởi: $$\mathcal{F}{cDT}{x(n)}(\omega) = \frac{x(0)}{2} + \sum{n=1}^\infty x(n)\cos(n\omega), \quad \omega \in [0, \pi]$$ Đối với dãy $x = {x(n)}{n \ge 1} \in \ell_1^0(\mathbb{N}0)$ (với $x(0)=0$), biến đổi Fourier sine thời gian rời rạc được xác định bởi: $$\mathcal{F}{sDT}{x(n)}(\omega) = \sum{n=1}^\infty x(n)\sin(n\omega), \quad \omega \in [0, \pi]$$

2. Đẳng thức nhân tử hóa của tích chập suy rộng Fourier sine thời gian rời rạc có dạng gì?

Tích chập suy rộng Fourier sine thời gian rời rạc của hai dãy $x(n) \in \ell_1^0(\mathbb{N}0)$ và $y(n) \in \ell_1(\mathbb{N}0)$ là dãy: $$(x \overset{*}{\underset{sDT}{}} y)(n) = \frac{1}{2} \sum{m=0}^\infty x(m) [y(|n-m|) - y(n+m)]$$ thỏa mãn đẳng thức nhân tử hóa: $$\mathcal{F}{sDT}{(x \overset{*}{\underset{sDT}{}} y)(n)}(\omega) = 2 \mathcal{F}{sDT}{x(n)}(\omega) \cdot \mathcal{F}{cDT}{y(n)}(\omega), \quad \forall \omega \in [0, \pi]$$

3. Tích chập suy rộng Fourier sine rời rạc có hàm trọng $\gamma(\omega) = \sin\omega$ được xác định ra sao?

Tích chập suy rộng với hàm trọng $\gamma(\omega) = \sin\omega$ của hai dãy $x(n), y(n) \in \ell_1^0(\mathbb{N}0)$ được xác định bởi: $$(x \overset{*}{\underset{\gamma FsDT}{}} y)(n) = \frac{1}{4} \sum{m=1}^\infty x(m) [y(|n+m-1|) + y(|n-m-1|) - y(n+m+1) - y(|n-m+1|)]$$ và thỏa mãn đẳng thức nhân tử hóa: $$\mathcal{F}{sDT}{(x \overset{*}{\underset{\gamma FsDT}{}} y)(n)}(\omega) = 4 \sin\omega \cdot \mathcal{F}{cDT}{x(n)}(\omega) \cdot \mathcal{F}_{cDT}{y(n)}(\omega)$$

4. Bất đẳng thức kiểu Young rời rạc được phát biểu với các điều kiện nào?

Cho $p, q, r \ge 1$ thỏa mãn hệ thức $\frac{1}{p} + \frac{1}{q} = 1 + \frac{1}{r}$. Nếu dãy $x(n) \in \ell_p^0(\mathbb{N}_0)$ và $y(n) \in \ell_q(\mathbb{N}_0)$, thì tích chập suy rộng $(x \overset{}{\underset{sDT}{}} y)(n) \in \ell_r^0(\mathbb{N}_0)$ và thỏa mãn đánh giá chuẩn: $$|x \overset{}{\underset{sDT}{}} y|_r \le |x|_p |y|_q$$

5. Phương trình Toeplitz-Hankel rời rạc được giải quyết ở những lớp nào trong luận án?

Luận án giải quyết và tìm được công thức nghiệm dạng đóng cho phương trình Toeplitz-Hankel rời rạc trong các trường hợp: (1) Nhân Toeplitz và nhân Hankel có dạng hạt nhân liên hệ với các tích chập suy rộng Fourier sine/cosine đã xây dựng; (2) Phương trình có vế phải đặc biệt biểu diễn được qua biến đổi Fourier cosine hoặc Fourier sine rời rạc; và (3) Hệ phương trình Toeplitz-Hankel rời rạc tương ứng trên các không gian dãy $\ell_1(\mathbb{N}_0)$ và $\ell_2(\mathbb{N}_0)$.

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Anh Đài đã xây dựng một cách hệ thống lý thuyết về phép biến đổi Fourier cosine và Fourier sine thời gian rời rạc cùng các cấu trúc tích chập suy rộng không trọng và có hàm trọng trên các không gian dãy $\ell_p(\mathbb{N}_0)$. Tác giả đã chứng minh chặt chẽ các đẳng thức nhân tử hóa, đẳng thức Parseval, định lý triệt tiêu kiểu Titchmarsh và bất đẳng thức kiểu Young rời rạc. Các kết quả giải tích này đã được chuyển hóa thành công thành công cụ toán tử để tìm nghiệm giải tích dạng đóng cho các lớp phương trình và hệ phương trình Toeplitz-Hankel rời rạc, đóng góp vào sự phát triển của chuyên ngành Toán giải tích và lý thuyết xử lý tín hiệu thời gian rời rạc.