Tổng quan luận án

Luận án tiến sĩ toán học của tác giả Nguyễn Thanh Hồng với đề tài "Các phép biến đổi tích phân kiểu tích chập suy rộng Fourier, Fourier cosine, Fourier sine và ứng dụng" được thực hiện tại 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 Xuân Thảo và GS. Nguyễn Văn Mậu. Luận án thuộc chuyên ngành Toán Giải tích, mã số 62 46 01 01, bảo vệ trước Hội đồng chấm luận án cấp nhà nước vào năm 2012.

+----------------------------------------------------------------------------------------------------+
|                                    THÔNG TIN TỔNG QUAN LUẬN ÁN                                     |
+----------------------+-----------------------------------------------------------------------------+
| Tác giả              | Nguyễn Thanh Hồng                                                           |
| Tên đề tài           | Các phép biến đổi tích phân kiểu tích chập suy rộng Fourier, Fourier cosine,|
|                      | Fourier sine và ứng dụng                                                    |
| Chuyên ngành         | Toán Giải tích (Mã số: 62 46 01 01)                                         |
| Cơ sở đào tạo        | Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội                  |
| Tập thể hướng dẫn    | PGS. Nguyễn Xuân Thảo, GS. Nguyễn Văn Mậu                                   |
| Hội đồng phản biện   | GS. Phạm Kỳ Anh, GS. Hà Huy Khoái, GS. Nguyễn Mạnh Hùng                     |
| Năm bảo vệ           | 2012                                                                        |
+----------------------+-----------------------------------------------------------------------------+

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 đóng vai trò quan trọng trong toán học lý thuyết cũng như các bài toán vật lý - toán (quang học, cơ học lượng tử, truyền nhiệt, âm thanh, điện từ). Song song với các phép biến đổi tích phân cổ điển như Fourier, Laplace, Mellin, Hankel, các phép biến đổi tích phân kiểu tích chập $f \mapsto g = f * k$ (tiêu biểu là phép biến đổi Watson xây dựng trên tích chập Mellin) và dạng tổng quát $f \mapsto g = D(f * k)$ với toán tử $D$ đã được phát triển. Tuy nhiên, trước thời điểm luận án được thực hiện, các công trình nghiên cứu chỉ tập trung vào các phép biến đổi tích phân kiểu tích chập và tích chập suy rộng không có hàm trọng.

Đối với các tích chập và tích chập suy rộng có hàm trọng, các hàm trọng này thường xuất hiện các điểm triệt tiêu (không điểm), dẫn đến việc không thể áp dụng trực tiếp các phương pháp truyền thống. Bên cạnh đó, việc tìm nghiệm giải tích dưới dạng đóng cho phương trình tích phân Toeplitz-Hankel tổng quát vẫn là một bài toán mở; các bất đẳng thức tích chập trong không gian hàm với trọng $L_p(\mathbb{R}^+, \rho)$ áp dụng được cho trường hợp $p=2$ đối với tích chập Fourier cosine vẫn chưa được xây dựng hoàn chỉnh. Do đó, việc xây dựng và nghiên cứu hệ thống các phép biến đổi tích phân kiểu tích chập có trọng và suy rộng có trọng là yêu cầu cấp thiết của giải tích toán học.

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 đánh số như sau:

  1. Xây dựng và nghiên cứu các lớp phép biến đổi tích phân kiểu tích chập với hàm trọng và kiểu tích chập suy rộng với hàm trọng đối với nhóm các phép biến đổi Fourier, Fourier sine và Fourier cosine.
  2. Thiết lập các tính chất toán tử cơ bản của các phép biến đổi mới, bao gồm tính unita trong không gian Hilbert $L_2(\mathbb{R}^+)$ và tính bị chặn trong các không gian Banach $L_p(\mathbb{R}^+)$ với $1 \le p \le 2$.
  3. Thiết lập các bất đẳng thức tích chập trong không gian có trọng $L_p(\mathbb{R}^+, \rho)$ đối với tích chập Fourier cosine phục vụ đánh giá nghiệm.
  4. Ứng dụng các cấu trúc toán tử và tích chập xây dựng được để tìm công thức nghiệm giải tích dạng đóng cho các lớp phương trình tích phân, hệ phương trình tích phân, phương trình tích phân Toeplitz-Hankel và phương trình vi-tích phân.

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

  • Đối tượng nghiên cứu: Các phép biến đổi tích phân kiểu tích chập với hàm trọng $\gamma(y) = \sin y$ và $\gamma(y) = e^{-y}\sin y$; các toán tử tích phân liên kết với toán tử vi phân bậc hai $D = 1 - \frac{d^2}{dx^2}$; các không gian hàm $L_p(\mathbb{R})$, $L_p(\mathbb{R}^+)$, $L_2(\mathbb{R}^+)$, $L_p(\mathbb{R}^+, \rho)$; các phương trình tích phân dạng Fredholm, phương trình Toeplitz-Hankel, phương trình vi-tích phân.
  • Phạm vi nghiên cứu: Giải tích lý thuyết trên nửa trục thực dương $\mathbb{R}^+ = {x \in \mathbb{R}, x > 0}$.

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

Luận án đã tổng thuật hệ thống các mốc phát triển của lý thuyết phép biến đổi tích phân và tích chập:

  • Khởi nguồn phép biến đổi và tích chập cổ điển: Phép biến đổi Fourier bắt nguồn từ nghiên cứu quá trình truyền nhiệt của J. Fourier; các tích chập Fourier, Fourier cosine, Fourier sine được xây dựng và chuẩn hóa bởi E. C. Titchmarsh; các tích chập đối với biến đổi Laplace, Mellin được nghiên cứu bởi V. A. Ditkin, A. P. Prudnikov.
  • Sự xuất hiện của tích chập có trọng và tích chập suy rộng: Năm 1951, I. N. Sneddon giới thiệu công thức tích chập suy rộng giữa hai phép biến đổi Fourier sine và Fourier cosine. Năm 1958, N. Y. Vilenkin thiết lập công thức tích chập với hàm trọng đầu tiên đối với phép biến đổi Mehler-Fox. Năm 1967, V. A. Kakichev đề xuất phương pháp kiến thiết để xây dựng tích chập có trọng cho phép biến đổi tích phân bất kỳ, từ đó thiết lập tích chập cho biến đổi Fourier sine, Hankel, Kontorovich-Lebedev và khái niệm đa chập.
  • Mở rộng tích chập suy rộng: Thập niên 1990, S. B. Yakubovich nghiên cứu tích chập suy rộng cho các biến đổi Mellin, Kontorovich-Lebedev, biến đổi $G$ và $H$ theo chỉ số. Kế thừa ý tưởng này, V. A. Kakichev và Nguyễn Xuân Thảo đề xuất phương pháp kiến thiết xây dựng tích chập suy rộng có trọng cho ba phép biến đổi bất kỳ, mở ra hướng nghiên cứu cho các biến đổi Stieltjes, Hilbert, Fourier cosine, Fourier sine và phép biến đổi $I$.
  • Nghiên cứu của các tác giả trong nước và quốc tế: Năm 2008, trong luận án tiến sĩ của mình, tác giả Nguyễn Minh Khoa đã xây dựng một số tích chập suy rộng với hàm trọng đối với nhóm biến đổi Fourier, Fourier sine, Fourier cosine trong không gian $L_1(\mathbb{R}^+)$. Các phương trình tích phân Toeplitz-Hankel được khảo sát bởi H. Widom, F. Penzel, F.-O. Speck; các bất đẳng thức tích chập trong không gian có trọng $L_p(\mathbb{R}, \rho)$ cho trường hợp $p=2$ được nghiên cứu bởi S. Saitoh, Vũ Kim Tuấn, M. Yamamoto.
  • Các phép biến đổi tích phân kiểu tích chập không trọng: Các công trình của S. B. Yakubovich, Nguyễn Xuân Thảo, Vũ Kim Tuấn khảo sát các phép biến đổi liên quan đến Fourier cosine, Fourier sine, Kontorovich-Lebedev, Mellin không chứa hàm trọng.
+----------------------------------------------------------------------------------------------------+
|                      SƠ LƯỢC TIẾN TRÌNH NGHIÊN CỨU VỀ TÍCH CHẬP VÀ BIẾN ĐỔI CHẬP                   |
+----------------------+---------------------------+-------------------------------------------------+
| Tác giả & Năm        | Đối tượng nghiên cứu      | Đóng góp tiêu biểu                              |
+----------------------+---------------------------+-------------------------------------------------+
| J. Fourier,          | Biến đổi tích phân        | Thiết lập biến đổi Fourier, Fourier cosine,     |
| E. C. Titchmarsh     | và tích chập cổ điển      | Fourier sine và các đẳng thức nhân tử hóa.      |
| I. N. Sneddon (1951) | Tích chập suy rộng        | Đưa ra tích chập liên kết đồng thời biến đổi    |
|                      | không trọng               | Fourier sine và Fourier cosine.                 |
| N. Y. Vilenkin (1958)| Tích chập có trọng        | Thiết lập tích chập có hàm trọng đầu tiên cho   |
|                      |                           | phép biến đổi Mehler-Fox.                       |
| V. A. Kakichev (1967)| Phương pháp kiến thiết    | Xây dựng tích chập có trọng cho Fourier sine,   |
|                      | tích chập có trọng        | Hankel, Kontorovich-Lebedev; mở ra đa chập.     |
| S. B. Yakubovich,    | Tích chập suy rộng        | Phát triển tích chập suy rộng cho 3 biến đổi;   |
| Nguyễn Xuân Thảo     | có hàm trọng              | ứng dụng cho Stieltjes, Hilbert, Fourier...     |
| Nguyễn Minh Khoa     | Tích chập suy rộng nhóm   | Xây dựng các cấu trúc tích chập suy rộng có     |
| (2008)               | Fourier có hàm trọng      | hàm trọng trong không gian hàm $L_1(\mathbb{R}^+)|
| Saitoh, Vũ Kim Tuấn, | Bất đẳng thức tích chập   | Thiết lập bất đẳng thức tích chập Fourier và    |
| Yamamoto             | trong $L_p(\mathbb{R},\rho)$| Laplace trong không gian có trọng cho $p=2$.    |
| Luận án              | Biến đổi tích phân kiểu   | Xây dựng biến đổi kiểu tích chập có trọng trong |
| Nguyễn Thanh Hồng    | tích chập suy rộng có trọng| $L_2(\mathbb{R}^+)$ và $L_p(\mathbb{R}^+)$, giải |
| (2012)               | và ứng dụng               | phương trình Toeplitz-Hankel, vi-tích phân.     |
+----------------------+---------------------------+-------------------------------------------------+

Vị trí và điểm khác biệt của luận án

Khác với các công trình trước đây của Nguyễn Minh Khoa (chủ yếu nghiên cứu tích chập trong không gian $L_1(\mathbb{R}^+)$) hoặc các công trình của S. B. Yakubovich (chỉ xét biến đổi tích chập không trọng), luận án của Nguyễn Thanh Hồng đặt trọng tâm vào việc:

  • Xây dựng toán tử biến đổi tích phân kiểu tích chập suy rộng có hàm trọng kết hợp toán tử vi phân bậc hai để triệt tiêu các không điểm của hàm trọng.
  • Thiết lập các tính chất toán tử trong không gian Hilbert $L_2(\mathbb{R}^+)$ (tính đẳng cự, tính unita, công thức ngược) và không gian Banach $L_p(\mathbb{R}^+)$ ($1 \le p \le 2$), thay vì chỉ dừng lại ở không gian $L_1(\mathbb{R}^+)$.

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 khái niệm và công cụ giải tích toán học gồm:

  • Không gian hàm Lebesgue: Không gian $L_p(\mathbb{R}^+)$ với chuẩn $|f|_{L_p(\mathbb{R}^+)} = \left(\int_0^\infty |f(x)|^p dx\right)^{1/p}$; không gian Hilbert $L_2(\mathbb{R}^+)$ với tích vô hướng chuẩn tắc; không gian có trọng $L_p(\mathbb{R}^+, \rho)$ với hàm trọng dương $\rho(x)$ thỏa mãn $\int_0^\infty |f(x)|^p \rho(x) dx < \infty$.
  • Các phép biến đổi tích phân dạng Fourier:
    • Phép biến đổi Fourier: $(\mathcal{F}f)(x) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^\infty e^{-ixy} f(y) dy$.
    • Phép biến đổi Fourier cosine: $(\mathcal{F}_c f)(y) = \sqrt{\frac{2}{\pi}} \int_0^\infty f(x) \cos(xy) dx$.
    • Phép biến đổi Fourier sine: $(\mathcal{F}_s f)(y) = \sqrt{\frac{2}{\pi}} \int_0^\infty f(x) \sin(xy) dx$.
  • Các định lý giải tích nền tảng:
    • Định lý Watson: Tiêu chuẩn điều kiện cần và đủ cho tính unita của toán tử tích phân kiểu chập trên không gian $L_2$.
    • Định lý Plancherel: Tính bảo toàn chuẩn và sự hội tụ theo chuẩn trong không gian Hilbert $L_2$.
    • Định lý nội suy Riesz: Đánh giá tính bị chặn của toán tử tuyến tính từ $L_p(\mathbb{R}^+)$ vào $L_q(\mathbb{R}^+)$ với $\frac{1}{p} + \frac{1}{q} = 1$.
    • Định lý Wiener-Lévy: Sử dụng để khẳng định hàm hợp giải tích của một ảnh Fourier cosine thuộc $L_1(\mathbb{R}^+)$ cũng là ảnh Fourier cosine của một hàm thuộc $L_1(\mathbb{R}^+)$, làm cơ sở tìm nghiệm đóng.

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

  • Phương pháp mở rộng hàm và phân tích Fourier: Kỹ thuật thác triển chẵn và thác triển lẻ các hàm số từ nửa trục thực dương $\mathbb{R}^+$ lên toàn bộ trục thực $\mathbb{R}$, chuyển đổi các tích phân trên $\mathbb{R}^+$ về tích phân Fourier trên $\mathbb{R}$ để áp dụng đẳng thức Parseval cổ điển.
  • Kỹ thuật toán tử vi phân khử triệt tiêu: Đưa toán tử vi phân $D = 1 - \frac{d^2}{dx^2}$ vào cấu trúc biến đổi chập để liên kết với nhân tử đa thức $(1+y^2)$ trong không gian Fourier, từ đó vô hiệu hóa ảnh hưởng của các điểm không điểm của hàm trọng $\gamma(y) = \sin y$.
  • Kỹ thuật xấp xỉ đoạn hữu hạn: Xây dựng dãy hàm cắt trên đoạn $[0, N]$ để chứng minh sự hội tụ theo chuẩn $L_2(\mathbb{R}^+)$ và $L_q(\mathbb{R}^+)$ khi $N \to \infty$.
  • Kỹ thuật đại số hóa phương trình tích phân: Tác động các biến đổi Fourier sine/cosine lên phương trình tích phân và vi-tích phân, chuyển phương trình tích phân thành hệ phương trình đại số tuyến tính trong miền biến đổi, giải hệ và dùng biến đổi ngược kết hợp định lý Wiener-Lévy để xác định nghiệm đóng.

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

+----------------------------------------------------------------------------------------------------+
|                                    CẤU TRÚC NỘI DUNG LUẬN ÁN                                       |
+-----------+-------------------------------------------------------------+--------------------------+
| Chương    | Tên chương theo văn bản                                     | Dung lượng trang         |
+-----------+-------------------------------------------------------------+--------------------------+
| Chương 1  | Phép biến đổi tích phân kiểu tích chập Fourier sine với     | Trang 18 - Trang 39      |
|           | hàm trọng                                                   | (22 trang)               |
| Chương 2  | Các phép biến đổi tích phân kiểu tích chập suy rộng với     | Trang 40 - Trang 76      |
|           | hàm trọng                                                   | (37 trang)               |
| Chương 3  | Một số ứng dụng                                             | Trang 77 - Trang 112     |
|           |                                                             | (36 trang)               |
+-----------+-------------------------------------------------------------+--------------------------+

Chương 1: Phép biến đổi tích phân kiểu tích chập Fourier sine với hàm trọng

Chương 1 tập trung xây dựng và khảo sát toán tử tích phân kiểu tích chập liên quan đến tích chập Fourier sine với hàm trọng $\gamma(y) = \sin y$.

Tích chập có trọng của hai hàm $f, g$ đối với biến đổi Fourier sine được định nghĩa: $$(f \overset{\gamma}{} g)_{Fs}(x) = \frac{1}{2\sqrt{2\pi}} \int_0^\infty f(y) [\operatorname{sign}(x+y-1)g(|x+y-1|) - g(x+y+1) + \operatorname{sign}(x-y+1)g(|x-y+1|) - \operatorname{sign}(x-y-1)g(|x-y-1|)] dy$$ thỏa mãn đẳng thức nhân tử hóa: $$\mathcal{F}_s (f \overset{\gamma}{} g)_{Fs}(y) = \sin y (\mathcal{F}_s f)(y) (\mathcal{F}_s g)(y), \quad \forall y > 0, \quad f, g \in L_1(\mathbb{R}^+)$$

Toán tử tích phân kiểu chập $(K_{1; k_1, k_2} f)(x)$ được thiết lập dưới dạng: $$(K_{1; k_1, k_2} f)(x) = \left(1 - \frac{d^2}{dx^2}\right) \left[ 2\sqrt{2\pi} (f \overset{\gamma}{} k_1)_{Fs}(x) + \sqrt{2\pi} (f \overset{1}{} k_2)(x) \right]$$ trong đó $(f \overset{1}{} k_2)(x)$ là tích chập suy rộng Sneddon đối với biến đổi Fourier sine và Fourier cosine: $$(f \overset{1}{} k_2)(x) = \frac{1}{\sqrt{2\pi}} \int_0^\infty f(u)[k_2(|x-u|) - k_2(x+u)] du$$

Các kết quả chính của Chương 1:

  • Định lý kiểu Watson (Định lý 1.1): Với $k_1, k_2 \in L_2(\mathbb{R}^+)$, điều kiện cần và đủ để toán tử $K_{1; k_1, k_2}$ là unita trên $L_2(\mathbb{R}^+)$ là: $$\left| 2\sin y (\mathcal{F}_s k_1)(y) + (\mathcal{F}c k_2)(y) \right| = \frac{1}{\sqrt{2\pi}(1+y^2)}, \quad \forall y > 0$$ Khi đó, toán tử ngược $(K{1; k_1, k_2}^{-1} g)(x)$ được xác định tường minh qua các liên hợp phức $\overline{k}_1, \overline{k}_2$.
  • Định lý kiểu Plancherel (Định lý 1.2): Chứng minh rằng với $f \in L_2(\mathbb{R}^+)$, dãy hàm cắt tích phân $g_N(x)$ trên đoạn $[0, N]$ hội tụ theo chuẩn trong $L_2(\mathbb{R}^+)$ về hàm $g(x) = (K_{1; k_1, k_2} f)(x)$ khi $N \to \infty$ và thỏa mãn đẳng thức bảo toàn chuẩn $|g|{L_2(\mathbb{R}^+)} = |f|{L_2(\mathbb{R}^+)}$.
  • Tính bị chặn trong $L_p(\mathbb{R}^+)$ (Mệnh đề 1.1): Áp dụng định lý nội suy Riesz, chứng minh toán tử mở rộng thành toán tử tuyến tính bị chặn từ $L_p(\mathbb{R}^+)$ vào $L_q(\mathbb{R}^+)$ với $1 \le p \le 2$ và $\frac{1}{p} + \frac{1}{q} = 1$.
  • Ứng dụng giải phương trình và hệ phương trình tích phân:
    • Giải phương trình tích phân Fredholm loại hai dạng chập có nhân tích phân chính là nhân của biến đổi $K_{1; k_1, k_2}$, tìm nghiệm duy nhất dưới dạng đóng trong $L_1(\mathbb{R}^+)$: $$f(x) = h(x) - \lambda (h \overset{1}{*} l)(x)$$
    • Giải hai lớp hệ phương trình tích phân chứa các cấu trúc tích chập có trọng và suy rộng, sử dụng định lý Wiener-Lévy để xây dựng nghiệm đóng duy nhất trong không gian tích $L_1(\mathbb{R}^+) \times L_1(\mathbb{R}^+)$.

Chương 2: Các phép biến đổi tích phân kiểu tích chập suy rộng với hàm trọng

Chương 2 mở rộng lý thuyết sang các phép biến đổi tích phân kiểu tích chập suy rộng có hàm trọng kết hợp nhiều biến đổi dạng Fourier khác nhau.

1. Phép biến đổi tích phân kiểu tích chập suy rộng Fourier sine-cosine với hàm trọng (Mục 2.1)

Toán tử $(K_{2; k_1, k_2} f)(x) = g(x)$ được xây dựng dựa trên tích chập suy rộng có trọng $\gamma(y) = \sin y$ của cặp biến đổi Fourier sine - Fourier cosine: $$g(x) = \left(1 - \frac{d^2}{dx^2}\right) \left[ 2\sqrt{2\pi} (k_1 \overset{\gamma}{} f)_1(x) + \sqrt{2\pi} (k_2 \overset{1}{} f)(x) \right]$$

  • Định lý kiểu Watson (Định lý 2.1): Điều kiện cần và đủ để $K_{2; k_1, k_2}$ là unita trong $L_2(\mathbb{R}^+)$ là: $$\left| 2\sin y (\mathcal{F}_c k_1)(y) + (\mathcal{F}_s k_2)(y) \right| = \frac{1}{\sqrt{2\pi}(1+y^2)}, \quad \forall y > 0$$ Biểu thức toán tử ngược có dạng: $$f(x) = \left(1 - \frac{d^2}{dx^2}\right) \left[ 2\sqrt{2\pi} (g \overset{\gamma}{} \overline{k}_1)_2(x) + \sqrt{2\pi} (g \overset{2}{} \overline{k}_2)(x) \right]$$
  • Định lý kiểu Plancherel (Định lý 2.2) và Tính bị chặn (Mệnh đề 2.1): Thiết lập sự hội tụ xấp xỉ của các toán tử tích phân hữu hạn $g_N(x)$ và $f_N(x)$ trong chuẩn $L_2(\mathbb{R}^+)$ và tính bị chặn từ $L_p(\mathbb{R}^+)$ vào $L_q(\mathbb{R}^+)$.
  • Xây dựng các ví dụ giải tích cụ thể: Luận án xây dựng 3 ví dụ hiện hình cho các hàm nhân $k_1, k_2$ thỏa mãn điều kiện unita:
    • Ví dụ 2.1: Sử dụng hàm nhân chứa tích phân mũ $\operatorname{Ei}(x) = -\int_{-x}^\infty \frac{e^{-t}}{t} dt$.
    • Ví dụ 2.2: Sử dụng các biểu thức giải tích của hàm lượng giác kết hợp phân thức hữu tỉ.
    • Ví dụ 2.3: Sử dụng hàm nhân dạng $(\mathcal{F}_c k_1)(y) = \frac{1}{2\sqrt{2\pi}(1+y^2)}$ và $(\mathcal{F}_s k_2)(y) = \frac{\cos y}{\sqrt{2\pi}(1+y^2)}$.

2. Phép biến đổi tích phân kiểu tích chập suy rộng Fourier cosine-sine với hàm trọng (Mục 2.2)

Khảo sát tính unita trong $L_2(\mathbb{R}^+)$ và sự xấp xỉ theo chuẩn $L_2(\mathbb{R}^+)$ cho lớp biến đổi kiểu tích chập suy rộng đối ngẫu của cặp Fourier cosine - Fourier sine có hàm trọng $\gamma(y) = \sin y$.

3. Phép biến đổi tích phân kiểu tích chập suy rộng Fourier sine, Fourier và Fourier cosine với hàm trọng (Mục 2.3)

Khảo sát toán tử tích chập suy rộng liên kết đồng thời 3 phép biến đổi (Fourier sine, Fourier và Fourier cosine) với hàm trọng tắt dần $\gamma(y) = e^{-y} \sin y$. Luận án thiết lập tính chất đại số của toán tử và định lý unita kiểu Watson tương ứng trong $L_2(\mathbb{R}^+)$.

Chương 3: Một số ứng dụng

Chương 3 trình bày các ứng dụng giải tích của các cấu trúc tích chập và biến đổi tích phân đã xây dựng.

1. Bất đẳng thức đối với tích chập Fourier cosine (Mục 3.1)

  • Xây dựng định lý kiểu Young cho tích chập Fourier cosine.
  • Thiết lập bất đẳng thức tích chập Fourier cosine trong không gian với hàm trọng dương $\rho(x)$: $$|(f \overset{Fc}{*} g)|{L_p(\mathbb{R}^+, \rho)} \le C |f|{L_p(\mathbb{R}^+, \rho)} |g|_{L_1(\mathbb{R}^+)}$$ Đặc điểm quan trọng của bất đẳng thức này là áp dụng được cho cả trường hợp $p=2$, khắc phục hạn chế của bất đẳng thức Young cổ điển.
  • Ứng dụng bất đẳng thức trên để đánh giá chuẩn nghiệm cho các bài toán phương trình vi phân thường, phương trình tích phân và phương trình đạo hàm riêng trong không gian $L_p(\mathbb{R}^+, \rho)$.

2. Giải phương trình tích phân Toeplitz-Hankel (Mục 3.2)

Xét phương trình tích phân Toeplitz-Hankel dạng: $$f(x) + \int_0^\infty [k_1(x+y) + k_2(x-y)] f(y) dy = g(x), \quad x \in \mathbb{R}^+$$ Phương trình được chuyển đổi về dạng chập: $$f(x) + \sqrt{2\pi} (f \overset{Fc}{} h_1)(x) + \sqrt{2\pi} (f \overset{1}{} h_2)(x) = g(x)$$ với $h_1 = \frac{1}{2}(k_1 + k_2)$ và $h_2 = \frac{1}{2}(k_2 - k_1)$. Luận án tìm được công thức nghiệm dạng đóng cho hai trường hợp:

  • Phương trình có nhân Toeplitz và Hankel đặc biệt.
  • Phương trình có nhân tùy ý nhưng vế phải $g(x)$ có cấu trúc đặc biệt.

3. Giải các bài toán vi-tích phân (Mục 3.3)

Ứng dụng trực tiếp các phép biến đổi unita $K_{1; k_1, k_2}$ và $K_{2; k_1, k_2}$ vào:

  • Thiết lập công thức nghiệm giải tích dạng đóng cho phương trình vi-tích phân bậc hai kiểu biến đổi tích chập suy rộng.
  • Thiết lập nghiệm giải tích dạng đóng cho các hệ phương trình vi-tích phân liên kết.

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

Luận án đã đạt được các kết quả khoa học cụ thể sau:

+----------------------------------------------------------------------------------------------------+
|                                    TỔNG HỢP CÁC ĐÓNG GÓP MỚI                                       |
+----------------------+-----------------------------------------------------------------------------+
| Nhóm đóng góp        | Chi tiết kết quả đạt được                                                   |
+----------------------+-----------------------------------------------------------------------------+
| Đóng góp lý luận     | 1. Xây dựng thành công các lớp phép biến đổi tích phân kiểu tích chập có     |
|                      |    hàm trọng và suy rộng có hàm trọng đối với nhóm biến đổi Fourier,        |
|                      |    Fourier sine, Fourier cosine.                                            |
|                      | 2. Khắc phục triệt để khó khăn về không điểm của hàm trọng bằng cách kết hợp|
|                      |    toán tử vi phân $1 - \frac{d^2}{dx^2}$ với các tích chập suy rộng.       |
|                      | 3. Thiết lập điều kiện cần và đủ kiểu Watson cho tính unita của các toán tử |
|                      |    trong không gian Hilbert $L_2(\mathbb{R}^+)$ và tìm công thức biến đổi ngược.|
|                      | 4. Chứng minh định lý kiểu Plancherel và tính bị chặn trong $L_p(\mathbb{R}^+)|
|                      |    ($1 \le p \le 2$).                                                       |
|                      | 5. Thiết lập bất đẳng thức tích chập trong không gian có trọng              |
|                      |    $L_p(\mathbb{R}^+, \rho)$ áp dụng được cho trường hợp $p=2$.             |
+----------------------+-----------------------------------------------------------------------------+
| Đóng góp thực tiễn   | 1. Tìm ra nghiệm dạng đóng cho các phương trình và hệ phương trình tích phân|
|                      |    trong $L_1(\mathbb{R}^+)$ bằng định lý Wiener-Lévy.                      |
|                      | 2. Giải được nghiệm đóng cho các lớp phương trình Toeplitz-Hankel nhân đặc  |
|                      |    biệt và vế phải đặc biệt.                                                |
|                      | 3. Thiết lập công thức nghiệm đóng cho các bài toán và hệ bài toán           |
|                      |    vi-tích phân phức tạp.                                                   |
|                      | 4. Cung cấp công cụ đánh giá chuẩn nghiệm cho phương trình đạo hàm riêng.   |
+----------------------+-----------------------------------------------------------------------------+

Kiến nghị và đề xuất

Từ các kết quả đạt được, luận án đề xuất áp dụng nguyên lý kết hợp toán tử vi phân và tích chập suy rộng để tiếp tục nghiên cứu cho các lớp phép biến đổi tích phân suy rộng có trọng khác trong giải tích toán học.

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

Hạn chế

  • Luận án chỉ giới hạn phạm vi khảo sát trên nửa trục thực dương $\mathbb{R}^+$ với nhóm các biến đổi tích phân dạng Fourier (Fourier, Fourier sine, Fourier cosine).
  • Các hàm trọng khảo sát tập trung vào dạng $\gamma(y) = \sin y$ và $\gamma(y) = e^{-y} \sin y$; toán tử vi phân đi kèm giới hạn ở cấp hai $D = 1 - \frac{d^2}{dx^2}$.
  • Đối với phương trình tích phân Toeplitz-Hankel, luận án giải được nghiệm đóng cho trường hợp nhân đặc biệt hoặc vế phải đặc biệt, bài toán với nhân tổng quát vẫn chưa có nghiệm đóng hoàn chỉnh.

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

  1. Mở rộng xây dựng các phép biến đổi tích phân kiểu tích chập suy rộng có trọng cho các họ biến đổi tích phân khác như Mellin, Hankel, Kontorovich-Lebedev, biến đổi $G$ và $H$.
  2. Nghiên cứu các lớp toán tử vi phân cấp cao hơn $D = \sum_{k=0}^m a_k \frac{d^{2k}}{dx^{2k}}$ hoặc các hàm trọng có cấu trúc không điểm phức tạp hơn.
  3. Tiếp tục mở rộng các lớp phương trình Toeplitz-Hankel và phương trình đạo hàm riêng giải tích giải được nghiệm đóng.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo trong lĩnh vực Toán Giải tích:

  • Đối với nghiên cứu sinh, học viên cao học và giảng viên ngành Toán Giải tích, Toán Ứng dụng: Luận án cung cấp kỹ thuật chứng minh tính unita kiểu Watson, kỹ thuật xây dựng tích chập suy rộng có trọng và kỹ thuật ứng dụng định lý Wiener-Lévy để tìm nghiệm đóng.
  • Đối với các nhà nghiên cứu trong lĩnh vực Vật lý Toán, Cơ học lượng tử, Xử lý tín hiệu, Khí động học: Cung cấp công cụ giải tích giải các phương trình tích phân Toeplitz-Hankel và phương trình vi-tích phân vốn xuất hiện trực tiếp trong lý thuyết tán xạ, truyền sóng và động lực học chất khí.

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

1. Tại sao các phép biến đổi tích phân kiểu tích chập có hàm trọng không thể xây dựng theo cách thông thường mà phải kết hợp toán tử vi phân?

Trong các phép biến đổi tích phân kiểu tích chập không trọng, ảnh Fourier của tích chập thỏa mãn đẳng thức nhân tử hóa trực tiếp. Tuy nhiên, khi có mặt hàm trọng $\gamma(y) = \sin y$, hàm này triệt tiêu tại các điểm $y = k\pi$ ($k \in \mathbb{Z}$). Nếu xây dựng toán tử tích phân thông thường, các không điểm này làm cho toán tử nhân tương ứng trong miền Fourier bị triệt tiêu, không thể khả nghịch để tạo ra toán tử unita. Luận án đã giải quyết vấn đề này bằng cách đưa toán tử vi phân $1 - \frac{d^2}{dx^2}$ kết hợp với một tích chập suy rộng phụ nhằm tạo ra nhân tử $(1+y^2)$ triệt tiêu ảnh hưởng của các không điểm, từ đó thiết lập được tính unita trên $L_2(\mathbb{R}^+)$.

2. Điều kiện unita trong không gian $L_2(\mathbb{R}^+)$ của phép biến đổi $(K_{1; k_1, k_2} f)(x)$ ở Chương 1 là gì?

Điều kiện cần và đủ để toán tử $K_{1; k_1, k_2}$ là unita trong không gian Hilbert $L_2(\mathbb{R}^+)$ được xác định bởi đẳng thức: $$\left| 2\sin y (\mathcal{F}_s k_1)(y) + (\mathcal{F}_c k_2)(y) \right| = \frac{1}{\sqrt{2\pi}(1+y^2)}, \quad \forall y > 0$$ trong đó $k_1, k_2 \in L_2(\mathbb{R}^+)$, $\mathcal{F}_s$ là phép biến đổi Fourier sine và $\mathcal{F}_c$ là phép biến đổi Fourier cosine.

3. Điểm khác biệt cơ bản giữa luận án này và luận án tiến sĩ năm 2008 của tác giả Nguyễn Minh Khoa là gì?

Luận án của Nguyễn Minh Khoa tập trung nghiên cứu bản thân các tích chập và tích chập suy rộng với hàm trọng trong không gian $L_1(\mathbb{R}^+)$. Ngược lại, luận án của Nguyễn Thanh Hồng nghiên cứu phép biến đổi tích phân kiểu tích chập (toán tử $f \mapsto D(f * k)$), khảo sát cấu trúc toán tử trong không gian Hilbert $L_2(\mathbb{R}^+)$ và không gian Banach $L_p(\mathbb{R}^+)$ ($1 \le p \le 2$), thiết lập các định lý unita kiểu Watson và định lý xấp xỉ kiểu Plancherel.

4. Phương trình tích phân Toeplitz-Hankel được giải bằng công cụ tích chập trong luận án như thế nào?

Phương trình tích phân Toeplitz-Hankel: $$f(x) + \int_0^\infty [k_1(x+y) + k_2(x-y)] f(y) dy = g(x)$$ được phân rã nhân thành $h_1 = \frac{1}{2}(k_1 + k_2)$ và $h_2 = \frac{1}{2}(k_2 - k_1)$, đưa về dạng tổng của tích chập Fourier cosine $(f \overset{Fc}{} h_1)$ và tích chập suy rộng Sneddon $(f \overset{1}{} h_2)$. Bằng cách tác động biến đổi Fourier cosine và Fourier sine, phương trình vi tích phân được chuyển thành phương trình đại số, từ đó thiết lập công thức nghiệm đóng trong trường hợp nhân hoặc vế phải đặc biệt.

5. Ý nghĩa của định lý kiểu Plancherel trong Chương 1 và Chương 2 là gì?

Định lý kiểu Plancherel chứng minh rằng toán tử biến đổi tích phân unita trên toàn không gian $L_2(\mathbb{R}^+)$ có thể xấp xỉ được bằng dãy các toán tử tích phân xác định trên các đoạn hữu hạn $[0, N]$. Khi $N \to \infty$, dãy ảnh $g_N(x)$ hội tụ ngặt theo chuẩn $L_2(\mathbb{R}^+)$ về ảnh $g(x)$ và bảo toàn chuẩn $|g|{L_2(\mathbb{R}^+)} = |f|{L_2(\mathbb{R}^+)}$, bảo đảm tính khả thi cho việc tính toán xấp xỉ số và tính toán giải tích.

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Thanh Hồng đã giải quyết trọn vẹn bài toán xây dựng và khảo sát tính chất unita, tính bị chặn của các phép biến đổi tích phân kiểu tích chập suy rộng có hàm trọng đối với nhóm biến đổi Fourier, Fourier sine, Fourier cosine. Luận án đã khắc phục khó khăn về không điểm của hàm trọng bằng giải pháp kết hợp toán tử vi phân bậc hai, thiết lập các định lý kiểu Watson, Plancherel và bất đẳng thức tích chập trong không gian có trọng. Các kết quả lý thuyết được ứng dụng hiệu quả để tìm nghiệm giải tích dạng đóng cho các lớp phương trình tích phân Fredholm, phương trình Toeplitz-Hankel và phương trình vi-tích phân phức tạp. Công trình đóng góp bổ sung cơ sở lý thuyết toán học chuyên sâu cho chuyên ngành Toán Giải tích và cung cấp công cụ phân tích giải tích cho các bài toán Vật lý - Toán.