Tổng quan luận án

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

Phép biến đổi tích phân đóng vai trò quan trọng trong toán học lý thuyết và các ứng dụng vật lý, kỹ thuật như quang học, điện học, cơ học lượng tử, xử lý âm thanh và xử lý tín hiệu hình ảnh. Phép biến đổi tích phân Hartley do R. Hartley đề xuất năm 1942 được xem là công cụ thay thế cho phép biến đổi Fourier, với ưu thế cốt lõi là chuyển hàm thực thành hàm thực (trong khi biến đổi Fourier của hàm thực là hàm phức) và có tính chất đối xứng. Việc thao tác trên trường số thực giúp tối ưu hóa tốc độ và độ thuận tiện trong các thuật toán tính toán số trên máy tính.

Trong giải tích hàm và lý thuyết phương trình tích phân, việc đưa vào cấu trúc tích chập và tích chập suy rộng cho phép xác định phép nhân trong không gian tuyến tính và hỗ trợ việc biểu diễn nghiệm đóng cho các lớp phương trình vi phân, tích phân, vi - tích phân. Mặc dù các phép biến đổi tích phân Fourier, Laplace, Mellin, Hankel, Kontorovich - Lebedev đã được nghiên cứu sâu sắc về cấu trúc tích chập và bất đẳng thức tích phân, lý thuyết tích chập suy rộng, các bất đẳng thức tích phân (kiểu Hausdorff - Young, Young, Saitoh, Saitoh ngược) và phép biến đổi tích phân kiểu tích chập suy rộng liên quan đến phép biến đổi Hartley vẫn chưa được xây dựng một cách hệ thống. Do đó, luận án tập trung nghiên cứu cấu trúc giải tích của các tích chập suy rộng Hartley và ứng dụng của chúng vào giải các bài toán toán học và toán lý.

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

Luận án xác định 3 mục tiêu nghiên cứu cụ thể:

  1. Xây dựng một số tích chập suy rộng Hartley mới (Hartley - Fourier sine, Hartley - Fourier cosine, Hartley - Fourier, Hartley $H_1$ và $H_2$); chứng minh các tính chất đại số và giải tích của chúng (đẳng thức nhân tử hóa, đẳng thức Parseval, định lý kiểu Titchmarsh); áp dụng tìm nghiệm đóng cho lớp phương trình và hệ phương trình tích phân nhân Toeplitz - Hankel.
  2. Thiết lập hệ thống các bất đẳng thức tích phân đối với tích chập suy rộng Hartley (bất đẳng thức kiểu Hausdorff - Young, kiểu Young, kiểu Saitoh, kiểu Saitoh ngược); ứng dụng các bất đẳng thức này để đánh giá nghiệm của phương trình tích phân kiểu Toeplitz - Hankel, phương trình vi phân và các bài toán toán lý.
  3. Xây dựng các phép biến đổi tích phân kiểu tích chập suy rộng Hartley ($T_h$ và $T_k$); nghiên cứu cấu trúc toán tử trong các không gian hàm $L^2(\mathbb{R})$ và $L^p(\mathbb{R})$ ($1 \le p \le 2$), bao gồm định lý kiểu Watson, định lý kiểu Plancherel, điều kiện unita và tính bị chặn của toán tử vi - tích phân; ứng dụng tìm nghiệm đóng cho lớp phương trình và hệ phương trình vi - tích phân, phương trình parabolic tuyến tính một chiều.

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

  • Đối tượng nghiên cứu: Các tích chập suy rộng Hartley - Fourier cosine, Hartley - Fourier sine; các phép biến đổi tích phân kiểu tích chập suy rộng liên quan đến nhân Hartley; các bất đẳng thức tích chập suy rộng và cấu trúc nghiệm của các phương trình tích phân, vi - tích phân liên quan.
  • Phạm vi nghiên cứu: Các phép biến đổi tích phân Hartley, Fourier, Fourier cosine, Fourier sine; không gian hàm Lebesgue $L^p(\mathbb{R})$, $L^p(\mathbb{R}^+)$, không gian hàm có trọng $L^p(\mathbb{R}^+, \rho)$, không gian hàm có trọng mũ $L^r_{\alpha,\beta,\gamma}(\mathbb{R})$; các lớp phương trình tích phân nhân Toeplitz - Hankel, bài toán Dirichlet trên nửa mặt phẳng và bài toán Cauchy cho phương trình truyền nhiệt.

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

Các hướng nghiên cứu trước liên quan

Luận án đã tổng thuật lịch sử phát triển của các công cụ giải tích tích phân và tích chập qua các mốc nghiên cứu:

Hướng nghiên cứu Tác giả & Năm công bố Nội dung và kết quả chính
Phép biến đổi Hartley & Mở rộng R. Hartley (1942)
R. Bracewell và cs.
F. Bouzeffour (2014)
S. Yakubovich (2014)		 - Đề xuất phép biến đổi Hartley với nhân $\text{cas}(u) = \cos u + \sin u$.
- Biến đổi Hartley suy rộng trên $L^1_\alpha(\mathbb{R})$ sử dụng hàm Bessel chuẩn tắc.
- Biến đổi Hartley và biến đổi ngược trên nửa trục trong không gian $L^2(\mathbb{R}^+)$.
Tích chập & Tích chập suy rộng I. Sneddon (1951)
Y. Vilenkin (1958)
V. Kakichev (1967, 1998)
S. Yakubovich (1990, 1991)
N. Tuan và cs. (2009)
B. Giang và cs. (2009, 2010)
I. Paraskevas và cs. (2015)		 - Tích chập suy rộng đầu tiên giữa Fourier cosine và Fourier sine.
- Tích chập có trọng cho phép biến đổi Mehler - Fox.
- Phương pháp kiến thiết tích chập có trọng và tích chập suy rộng 3 phép biến đổi tích phân.
- Tích chập suy rộng cho phép biến đổi Mellin, G-transform, Kontorovich - Lebedev.
- Tích chập cho biến đổi Hartley và ứng dụng bài toán phổ Whitened trong xử lý ảnh.
Biến đổi tích phân kiểu tích chập G. N. Watson (1933)
V. Tuan và cs. (2000)
N. Thao và cs. (2007)
L. Britvina (2008, 2013)
N. Hong (2009, 2013)		 - Phép biến đổi tích phân Watson xây dựng từ tích chập Mellin.
- Biến đổi kiểu tích chập suy rộng Fourier cosine và sine trong $L^p(\mathbb{R}^+)$.
- Biến đổi tích phân kiểu tích chập suy rộng có hàm trọng.
- Biến đổi tích phân kiểu tích chập suy rộng Fourier cosine và Kontorovich - Lebedev.
Bất đẳng thức tích chập W. H. Young
Xiao-Hua L. (1990)
S. Saitoh và cs. (2000)
N. Nhan và cs. (2007, 2008)
N. Hong (2010)		 - Bất đẳng thức Young đối với tích chập Fourier.
- Bất đẳng thức Hölder ngược.
- Bất đẳng thức Saitoh và Saitoh ngược cho tích chập Fourier trong không gian có trọng $L^p(\mathbb{R}, \rho)$, khắc phục điểm giới hạn tại $p=q=2$.
- Mở rộng bất đẳng thức Saitoh ngược lên không gian nhiều chiều $\mathbb{R}^2, \mathbb{R}^n$.
- Bất đẳng thức kiểu Young và Saitoh cho tích chập Fourier cosine.
Phương trình Toeplitz - Hankel N. Thao và cs. (2008, 2011)
P. Anh và cs. (2013)		 - Giải phương trình Toeplitz - Hankel với nhân đặc biệt bằng tích chập suy rộng.
- Giải phương trình Toeplitz - Hankel với vế phải thỏa mãn điều kiện ràng buộc.
- Nghiên cứu phương trình tích phân Toeplitz - Hankel với nhân tuần hoàn chu kỳ $2\pi$.

Khoảng trống nghiên cứu được luận án giải quyết

Trước thời điểm luận án thực hiện, các công trình về tích chập suy rộng của phép biến đổi Hartley chủ yếu dừng lại ở các dạng tích chập đơn giản hoặc tích chập đối xứng cơ bản. Chưa có công trình nào thiết lập hệ thống tích chập suy rộng phối hợp giữa Hartley với Fourier sine, Fourier cosine và Fourier thông thường; chưa xây dựng được các bất đẳng thức tích chập suy rộng Hartley kiểu Hausdorff - Young, Young, Saitoh, Saitoh ngược; đồng thời cấu trúc toán tử của phép biến đổi tích phân kiểu tích chập suy rộng Hartley (tính unita, định lý Watson, Plancherel, tính bị chặn của toán tử vi - tích phân) chưa được khảo sát. Việc giải phương trình tích phân Toeplitz - Hankel trong trường hợp tổng quát vẫn là bài toán mở, do đó việc sử dụng công cụ tích chập suy rộng Hartley mở ra hướng tiếp cận mới để tìm nghiệm dạng đóng.

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

Cơ sở lý thuyết và các khái niệm sử dụng

Luận án vận dụng các cơ sở lý thuyết giải tích hàm và lý thuyết biến đổi tích phân:

  • Các phép biến đổi tích phân cơ sở:
    • Biến đổi Hartley $H_1, H_2$: $$(H_1 f)(y) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{\infty} f(x) \text{cas}(xy) dx, \quad (H_2 f)(y) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{\infty} f(x) \text{cas}(-xy) dx$$ với nhân $\text{cas}(u) = \cos u + \sin u$.
    • Biến đổi Fourier $F$, biến đổi Fourier cosine $F_c$, biến đổi Fourier sine $F_s$, biến đổi cosine $T_c$, biến đổi sine $T_s$.
    • Mối liên hệ giải tích giữa biến đổi Hartley và Fourier: $$(H_1 f)(y) = \frac{1-i}{2} (F f)(y) + \frac{1+i}{2} (F f)(-y)$$
  • Không gian hàm: Không gian Banach $L^p(\mathbb{R})$, $L^p(\mathbb{R}^+)$, không gian có trọng $L^p(\mathbb{R}^+, \rho)$, và không gian có trọng mũ: $$|f|{L^r{\alpha,\beta,\gamma}(\mathbb{R})} = \left( \int_{-\infty}^\infty |f(x)|^r |x|^\alpha e^{-\beta |x|^\gamma} dx \right)^{1/r}$$
  • Hàm đặc biệt: Hàm sai số $\text{Erf}(z)$, sai số ảo $\text{Erfi}(z)$, hàm Gamma $\Gamma(z)$, hàm Meijer G $G_{p,q}^{m,n}(\cdot)$, các hàm Bessel loại một $J_\alpha(x)$, Bessel suy biến $I_\alpha(z), K_\alpha(z)$, và hàm siêu bội suy rộng ${}_p F_q(a; b; z)$.
  • Các định lý giải tích nền tảng: Định lý Wiener - Lévy về hàm giải tích của biến đổi Fourier/Fourier cosine; Định lý nội suy Riesz đối với toán tử tuyến tính bị chặn giữa các không gian $L^p$; Bổ đề Riemann - Lebesgue; Định lý Fubini về đổi thứ tự lấy tích phân.

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

Luận án sử dụng thuần túy các phương pháp giải tích toán học lý thuyết:

  • Phương pháp kiến thiết tích chập: Thiết lập biểu thức tích phân sao cho thỏa mãn các đẳng thức nhân tử hóa dạng $K_1(f * g) = (K_2 f) \cdot (K_3 g)$.
  • Phương pháp toán tử giải tích hàm: Nghiên cứu tính chất bị chặn, tính unita, cấu trúc không gian hạt nhân (kernel) và ảnh của toán tử trong $L^2$ và $L^p$.
  • Phương pháp ước lượng bất đẳng thức: Vận dụng bất đẳng thức Hölder, Minkowski, bất đẳng thức Hölder ngược của Xiao-Hua L. (1990) để thiết lập các bất đẳng thức tích phân kiểu Saitoh và Saitoh ngược.
  • Phương pháp giải tích điều hòa và biến đổi tích phân ngược: Ứng dụng biến đổi Fourier ngược và tính chất đối xứng Hartley để tìm biểu diễn giải tích nghiệm đóng của phương trình tích phân, vi - tích phân.

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 toàn bộ các công cụ giải tích và kết quả kinh điển làm cơ sở cho các chương nghiên cứu phát triển tiếp theo:

  • Tích chập và tích chập suy rộng: Nhắc lại cấu trúc tích chập Fourier $(f \underset{F}{} g)$, tích chập Laplace $(f \underset{L}{} g)$, tích chập Fourier cosine $(f \underset{F_c}{} g)$, tích chập Hartley $(f \underset{H}{} g)$ xác định bởi: $$(f \underset{H}{*} g)(x) = \frac{1}{2\sqrt{2\pi}} \int_{-\infty}^\infty g(t) [f(x+t) + f(x-t) + f(-x+t) - f(-x-t)] dt$$ Tổng quan phương pháp kiến thiết tích chập có trọng của V. Kakichev (1967, 1998) và các dạng tích chập suy rộng của I. Sneddon, S. Yakubovich.
  • Các định lý công cụ: Trình bày chi tiết Định lý Wiener - Lévy đối với phép biến đổi Fourier/Fourier cosine và Định lý nội suy Riesz cho toán tử tuyến tính $T$ bị chặn từ $L^{p_0} \to L^{q_0}$ và $L^{p_1} \to L^{q_1}$.
  • Hệ thống bất đẳng thức tích phân: Tổng hợp bất đẳng thức Hölder, Minkowski, Buniakovski, bất đẳng thức Hausdorff - Young, bất đẳng thức Young đối với tích chập Fourier. Trình bày bất đẳng thức Saitoh (2000) và bất đẳng thức Saitoh ngược trong không gian $L^p(\mathbb{R}, \rho)$, mở rộng nhiều chiều của N. Nhan trên $\mathbb{R}^2, \mathbb{R}^n$, cùng bất đẳng thức Hölder ngược của Xiao-Hua L. (1990).
  • Lý thuyết hàm đặc biệt: Trình bày định nghĩa, phương trình vi phân và các công thức khai triển giải tích của hàm $\text{Erf}(z)$, $\text{Erfi}(z)$, $\Gamma(z)$, $G_{p,q}^{m,n}(\cdot)$, $J_\alpha(x)$, $I_\alpha(z), K_\alpha(z)$ và ${}_p F_q(a; b; z)$.

Chương 2: TÍCH CHẬP SUY RỘNG HARTLEY

Chương 2 xây dựng hệ thống tích chập suy rộng Hartley mới, khảo sát các tính chất giải tích cơ bản và ứng dụng giải lớp phương trình tích phân:

  • Tích chập suy rộng Hartley - Fourier sine: Định nghĩa cho hai hàm $f \in L^1(\mathbb{R}^+)$ và $g \in L^1(\mathbb{R})$: $$(f \underset{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}$$
    • Tính chất và tính bị chặn: Chứng minh $(f \underset{1}{} g) \in L^1(\mathbb{R}) \cap C_0(\mathbb{R})$ và thỏa mãn đánh giá: $$|(f \underset{1}{} g)|{L^1(\mathbb{R})} \le |f|{L^1(\mathbb{R}^+)} |g|_{L^1(\mathbb{R})}$$
    • Đẳng thức nhân tử hóa: $$H_1(f \underset{1}{} g)(y) = (F_s f)(y) \cdot (H_2 g)(y), \quad H_2(f \underset{1}{} g)(y) = -(F_s f)(y) \cdot (H_1 g)(y), \quad \forall y \in \mathbb{R}$$
    • Đẳng thức Parseval (theo nghĩa giá trị chính Cauchy khi $g \in L^1(\mathbb{R}) \cap L^2(\mathbb{R})$): $$(f \underset{1}{*} g)(x) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty (F_s f)(y) (H_2 g)(y) \text{cas}(xy) dy$$
    • Sự tồn tại trong không gian có trọng mũ: Với $f \in L^p(\mathbb{R}^+)$, $g \in L^q(\mathbb{R})$ ($1/p + 1/q = 1$), tích chập tồn tại trong $L^r_{\alpha,\beta,\gamma}(\mathbb{R})$ ($\alpha > -1, \beta > 0, \gamma > 0, r > 1$) và thỏa mãn: $$|(f \underset{1}{*} g)|{L^r{\alpha,\beta,\gamma}(\mathbb{R})} \le C |f|{L^p(\mathbb{R}^+)} |g|{L^q(\mathbb{R})}$$
    • Định lý kiểu Titchmarsh (tính không có ước của không): Giả sử $f \in L^1(\mathbb{R}^+, e^x)$, $g \in L^1(\mathbb{R}, e^{|x|})$ liên tục. Nếu $(f \underset{1}{*} g)(x) \equiv 0$ thì $f(x) \equiv 0$ hoặc $g(x) \equiv 0$.
  • Các tích chập suy rộng khác:
    • Tích chập suy rộng Hartley - Fourier $(f \underset{HF}{} g)$:* Thỏa mãn $H_1(f \underset{HF}{*} g)(y) = (H_1 f)(y) \cdot (F g)(y)$.
    • Tích chập suy rộng Hartley $H_{11}$ và $H_{12}$: Thỏa mãn $H_1(f \underset{H_{11}}{} g) = (H_2 f)(H_2 g)$ và $H_2(f \underset{H_{12}}{} g) = (H_1 f)(H_1 g)$.
    • Tích chập suy rộng Hartley - Fourier cosine $(f \underset{2}{} g)$.*
  • Ứng dụng giải phương trình tích phân:
    • Thiết lập điều kiện cần và đủ để phương trình tích phân 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}$$ có nghiệm duy nhất trong $L^1(\mathbb{R}^+)$ biểu diễn dưới dạng: $$f(x) = F^{-1}\left( \frac{(H_1 h)(y)}{(H_2 k)(y)} \right)(x), \quad x > 0$$
    • Giải phương trình tích phân loại hai, hệ phương trình tích phân và phương trình nhân Toeplitz - Hankel.

Chương 3: BẤT ĐẲNG THỨC TÍCH CHẬP SUY RỘNG VÀ ỨNG DỤNG

Chương 3 thiết lập các bất đẳng thức tích phân giải tích cho các tích chập suy rộng Hartley và áp dụng vào việc ước lượng nghiệm:

  • Bất đẳng thức kiểu Hausdorff - Young: Xây dựng chặn trên chuẩn của biến đổi tích phân kiểu tích chập suy rộng Hartley trong không gian đối ngẫu $L^{p'}$.
  • Bất đẳng thức tích chập suy rộng Hartley - Fourier cosine và Hartley - Fourier sine:
    • Thiết lập bất đẳng thức kiểu Young cho tích chập suy rộng $(f \underset{1}{} g)$ và $(f \underset{2}{} g)$.
    • Xây dựng bất đẳng thức kiểu Saitoh trong không gian có trọng $L^p(\mathbb{R}^+, \rho)$.
    • Xây dựng bất đẳng thức kiểu Saitoh ngược bằng cách kết hợp bất đẳng thức Hölder ngược của Xiao-Hua L.
  • Ứng dụng ước lượng và đánh giá nghiệm:
    • Đánh giá chuẩn nghiệm của phương trình tích phân kiểu Toeplitz - Hankel.
    • Đánh giá nghiệm của phương trình vi phân tuyến tính.
    • Ứng dụng giải và đánh giá nghiệm của bài toán biên Dirichlet trên nửa mặt phẳng.
    • Đánh giá sai số và nghiệm của bài toán Cauchy cho phương trình truyền nhiệt.

Chương 4: PHÉP BIẾN ĐỔI TÍCH PHÂN KIỂU TÍCH CHẬP SUY RỘNG HARTLEY

Chương 4 nghiên cứu cấu trúc toán tử của các phép biến đổi tích phân xây dựng từ tích chập suy rộng Hartley:

  • Xây dựng phép biến đổi tích phân $T_h$ và $T_k$:
    • Phép biến đổi $T_h$ và biến đổi ngược $T_h^{-1}$ (Hartley - Fourier cosine): $$(T_h f)(x) := \left(1 - \frac{d^2}{dx^2}\right) (h \underset{2}{} f)(x), \quad f(x) = (T_h^{-1} g)(x) := \left(1 - \frac{d^2}{dx^2}\right) (h \underset{2}{} g)(x)$$
    • Phép biến đổi $T_k$ và biến đổi ngược $T_k^{-1}$ (Hartley - Fourier sine): $$(T_k f)(x) := \left(1 - \frac{d^2}{dx^2}\right) (k \underset{1}{} f)(x), \quad f(x) = (T_k^{-1} g)(x) := \left(1 - \frac{d^2}{dx^2}\right) (k \underset{1}{} g)(x)$$
  • Các tính chất toán tử trong không gian $L^2(\mathbb{R})$ và $L^p(\mathbb{R})$:
    • Định lý kiểu Watson: Thiết lập điều kiện trên hàm nhân $h, k$ để biến đổi xác định toán tử đẳng cự (isometry) trên không gian Lebesgue.
    • Tính unita và Định lý kiểu Plancherel: Thiết lập điều kiện cần và đủ để toán tử $T_h, T_k$ là toán tử unita trên không gian Hilbert $L^2(\mathbb{R})$: $$|T_h f|{L^2(\mathbb{R})} = |f|{L^2(\mathbb{R})}$$
    • Tính bị chặn của toán tử vi - tích phân: Sử dụng định lý nội suy Riesz để chứng minh tính bị chặn của toán tử vi - tích phân tương ứng trong không gian $L^p(\mathbb{R})$ ($1 \le p \le 2$).
  • Ứng dụng giải phương trình vi - tích phân và phương trình đạo hàm riêng:
    • Tìm nghiệm dạng đóng cho lớp phương trình vi - tích phân cấp hai.
    • Giải hệ phương trình vi - tích phân.
    • Tìm nghiệm chính xác của phương trình parabolic tuyến tính một chiều.

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

Đóng góp về mặt lý luận

  1. Xây dựng các lớp tích chập suy rộng mới: Đã định nghĩa và chứng minh thành công sự tồn tại, tính bị chặn trong $L^1(\mathbb{R})$ và $L^r_{\alpha,\beta,\gamma}(\mathbb{R})$ của các tích chập suy rộng: Hartley - Fourier sine $(f \underset{1}{} g)$, Hartley - Fourier cosine $(f \underset{2}{} g)$, Hartley - Fourier $(f \underset{HF}{*} g)$, và Hartley $H_{11}, H_{12}$.
  2. Khám phá các tính chất cấu trúc giải tích: Thiết lập trọn vẹn các đẳng thức nhân tử hóa (kết hợp biến đổi Hartley với Fourier sine, Fourier cosine và Fourier), đẳng thức Parseval dưới dạng giá trị chính Cauchy, và định lý kiểu Titchmarsh khẳng định tính không có ước của không cho tích chập suy rộng Hartley.
  3. Phát triển hệ thống bất đẳng thức tích phân: Xây dựng hệ thống bất đẳng thức kiểu Hausdorff - Young, kiểu Young, kiểu Saitoh và kiểu Saitoh ngược cho tích chập suy rộng Hartley, bổ sung công cụ ước lượng giải tích cho các bài toán có hàm trọng.
  4. Xây dựng lý thuyết toán tử vi - tích phân kiểu tích chập suy rộng: Định nghĩa thành công các phép biến đổi $T_h, T_k$; chứng minh định lý Watson, định lý Plancherel, tìm điều kiện cần và đủ cho tính unita trong $L^2(\mathbb{R})$ và chứng minh tính bị chặn của toán tử vi - tích phân trong $L^p(\mathbb{R})$ ($1 \le p \le 2$).

Đóng góp về mặt thực tiễn và ứng dụng

  • Cung cấp phương pháp giải giải tích tìm nghiệm dạng đóng cho lớp phương trình và hệ phương trình tích phân có nhân Toeplitz - Hankel, phương trình vi - tích phân và phương trình parabolic tuyến tính một chiều.
  • Cung cấp các công thức đánh giá định lượng nghiệm cho bài toán biên Dirichlet trên nửa mặt phẳng và bài toán Cauchy cho phương trình truyền nhiệt.

Công trình khoa học công bố

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

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

Hạn chế

  • Các kết quả về nghiệm đóng của phương trình tích phân Toeplitz - Hankel và phương trình vi - tích phân chỉ mới áp dụng được cho các lớp nhân và vế phải thỏa mãn các điều kiện giải tích xác định (tính khả tích, tính lẻ/chẵn, hoặc tính chất ảnh Fourier/Hartley không triệt tiêu).
  • Phạm vi không gian toán tử chủ yếu tập trung vào không gian một chiều $\mathbb{R}$ và $\mathbb{R}^+$.

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

  1. Nghiên cứu mở rộng các tích chập suy rộng Hartley và phép biến đổi kiểu tích chập suy rộng sang không gian nhiều chiều $\mathbb{R}^n$.
  2. Xây dựng tích chập suy rộng cho các lớp biến đổi tích phân khác kết hợp với biến đổi Hartley (như Hankel, Kontorovich - Lebedev, Mellin).
  3. Ứng dụng các cấu trúc tích chập suy rộng và phép biến đổi Hartley mới vào các bài toán xử lý tín hiệu thực tế, xử lý ảnh số và bài toán phân tích quang phổ.

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, Giải tích hàm, Phương trình vi tích phân: Tham khảo phương pháp kiến thiết tích chập suy rộng, kỹ thuật chứng minh đẳng thức nhân tử hóa, định lý kiểu Titchmarsh và phương pháp toán tử unita/Watson.
  • Nhà nghiên cứu trong lĩnh vực Toán lý và Cơ học lý thuyết: Tham khảo các công thức nghiệm đóng và phương pháp đánh giá nghiệm cho bài toán Dirichlet, bài toán Cauchy truyền nhiệt và phương trình parabolic.
  • Chuyên gia kỹ thuật xử lý tín hiệu và hình ảnh: Tham khảo cấu trúc đại số và tính đối xứng thực của phép biến đổi Hartley để thiết kế các thuật toán xử lý dữ liệu và phổ tần số.

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

1. Phép biến đổi tích phân Hartley có ưu điểm gì nổi bật so với phép biến đổi Fourier?

Phép biến đổi tích phân Hartley biến đổi một hàm thực thành một hàm thực (trong khi biến đổi Fourier của hàm thực là hàm phức) và có tính chất đối xứng giữa biến đổi thuận và nghịch. Do làm việc trên trường số thực, các thuật toán số dựa trên biến đổi Hartley giúp giảm độ phức tạp tính toán và tiết kiệm bộ nhớ khi xử lý trên máy tính so với Fourier.

2. Tích chập suy rộng Hartley - Fourier sine được định nghĩa như thế nào và có đẳng thức nhân tử hóa ra sao?

Tích chập suy rộng Hartley - Fourier sine của $f \in L^1(\mathbb{R}^+)$ và $g \in L^1(\mathbb{R})$ được định nghĩa là: $$(f \underset{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}$$ Tích chập này thỏa mãn hai đẳng thức nhân tử hóa: $$H_1(f \underset{1}{} g)(y) = (F_s f)(y) \cdot (H_2 g)(y), \quad H_2(f \underset{1}{*} g)(y) = -(F_s f)(y) \cdot (H_1 g)(y), \quad \forall y \in \mathbb{R}$$

3. Định lý kiểu Titchmarsh trong luận án phát biểu điều gì đối với tích chập suy rộng Hartley?

Định lý kiểu Titchmarsh khẳng định tính không có ước của không: Nếu $f \in L^1(\mathbb{R}^+, e^x)$ và $g \in L^1(\mathbb{R}, e^{|x|})$ là các hàm liên tục thỏa mãn $(f \underset{1}{*} g)(x) \equiv 0$ trên $\mathbb{R}$, thì bắt buộc phải có $f(x) \equiv 0$ trên $\mathbb{R}^+$ hoặc $g(x) \equiv 0$ trên $\mathbb{R}$.

4. Luận án giải quyết phương trình tích phân nhân Toeplitz - Hankel bằng công cụ nào?

Luận án sử dụng các đẳng thức nhân tử hóa của tích chập suy rộng Hartley - Fourier sine và cosine kết hợp với phép biến đổi Fourier ngược để chuyển đổi phương trình tích phân về phương trình đại số trong miền biến đổi, từ đó tìm ra công thức biểu diễn nghiệm dạng đóng tường minh cho phương trình và hệ phương trình Toeplitz - Hankel.

5. Phép biến đổi tích phân $T_k$ kiểu tích chập suy rộng Hartley - Fourier sine được xác định như thế nào?

Phép biến đổi $T_k$ và phép biến đổi ngược $T_k^{-1}$ được xác định thông qua toán tử vi phân cấp hai và tích chập suy rộng: $$(T_k f)(x) := \left(1 - \frac{d^2}{dx^2}\right) (k \underset{1}{} f)(x), \quad (T_k^{-1} g)(x) := \left(1 - \frac{d^2}{dx^2}\right) (k \underset{1}{} g)(x)$$ Toán tử này được chứng minh đạt tính unita trong $L^2(\mathbb{R})$ và tính bị chặn trong $L^p(\mathbb{R})$ ($1 \le p \le 2$).

Kết luận

Luận án tiến sĩ toán học của nghiên cứu sinh Hoàng Thị Vân Anh đã xây dựng một cách hệ thống lý thuyết về các tích chập suy rộng mới liên quan đến phép biến đổi Hartley, bao gồm Hartley - Fourier sine, Hartley - Fourier cosine, Hartley - Fourier và các biến thể Hartley $H_1, H_2$. Công trình đã chứng minh đầy đủ các tính chất giải tích trọng tâm như đẳng thức nhân tử hóa, đẳng thức Parseval, định lý kiểu Titchmarsh, hệ thống bất đẳng thức kiểu Hausdorff - Young, Young, Saitoh, Saitoh ngược, cùng các định lý toán tử Watson, Plancherel và tính unita trong không gian hàm Lebesgue. Các kết quả lý thuyết này được ứng dụng hiệu quả để tìm nghiệm dạng đóng và thiết lập đánh giá định lượng cho các lớp phương trình tích phân Toeplitz - Hankel, phương trình vi - tích phân, phương trình parabolic và các bài toán biên toán lý quan trọng.