Tổng quan về luận án

Nghiên cứu giải tích toán học của NCS. Nguyễn Hoàng Lực dưới sự hướng dẫn khoa học của PGS. Nguyễn Huy Tuấn tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia TP. Hồ Chí Minh (chuyên ngành Toán giải tích, mã số 9460102, bảo vệ năm 2023) mang tiêu đề "Một số bài toán Cauchy cho phương trình với đạo hàm Caputo và Riemann-Liouville" đại diện cho một bước tiến học thuật xuất sắc trong lý thuyết phương trình đạo hàm riêng cấp không nguyên (Fractional Partial Differential Equations - FPDEs).

Bối cảnh khoa học của luận án bắt nguồn từ nhu cầu cấp thiết trong việc mô hình hóa các hiện tượng nhớ di truyền (memory effects), tính nhớt đàn hồi phức tạp của chất lưu phi Newton (chất lưu cấp hai tổng quát) và các quá trình khuếch tán bất quy tắc (anomalous diffusion). Luận án trực tiếp trích dẫn luận điểm thực tiễn cốt lõi: "Phương trình vi phân - đạo hàm riêng cấp không nguyên đóng một vai trò quan trọng trong việc mô tả trạng thái của các chất lưu - những chất khá phổ biến trong tự nhiên và trong đời sống thường ngày như: mật ong, kem đánh răng, bơ, sôcôla. Ngoài ra FPDEs cũng là một công cụ để mô tả những hiện tượng khuếch tán bất quy tắc."

Khoảng trống nghiên cứu (Research Gap) được xác định rõ ràng: các phương trình vi phân cấp nguyên truyền thống hoàn toàn bất lực trong việc phản ánh tính chất phụ thuộc lịch sử của hệ vật lý. Trong khi đó, các nghiên cứu quốc tế trước đây về phương trình Rayleigh-Stokes và phương trình giả Parabolic (pseudo-parabolic) thường chỉ dừng lại ở trường hợp tuyến tính, toán tử một chiều, hoặc chưa giải quyết triệt để tính chỉnh (well-posedness), tính chính quy (regularity), tính không chỉnh theo nghĩa Hadamard (Hadamard ill-posedness) của bài toán ngược khôi phục giá trị ban đầu dưới các điều kiện phi địa phương tích phân, cũng như sự bùng nổ nghiệm nhẹ (mild solution blow-up) trong không gian Sobolev tổng quát.

Luận án đặt ra và giải quyết 4 câu hỏi nghiên cứu và giả thuyết khoa học trọng tâm:

  1. RQ1 & H1: Phương trình Rayleigh-Stokes phân số phi tuyến với nguồn Lipschitz toàn cục và địa phương có đảm bảo tính đặt chỉnh toàn cục hay sẽ bùng nổ trong thời gian hữu hạn? (Giả thuyết: Tồn tại nghiệm nhẹ duy nhất toàn cục với điều kiện Lipschitz toàn cục; tồn tại ngưỡng bùng nổ trong thời gian hữu hạn với hàm nguồn Lipschitz địa phương).
  2. RQ2 & H2: Nghiệm nhẹ của phương trình Rayleigh-Stokes với điều kiện phi địa phương có duy trì tính chính quy và hội tụ ổn định khi các tham số biên tiến về 0 không? (Giả thuyết: Thiết lập được tính chính quy cao trong thang không gian Hilbert $H^s(\Omega)$ và chứng minh được sự hội tụ mạnh khi $\theta \to 0^+, \gamma \to 0^+$).
  3. RQ3 & H3: Bài toán khôi phục giá trị ban đầu cho phương trình Rayleigh-Stokes dưới điều kiện tích phân phi địa phương có mắc phải tính không chỉnh Hadamard không, và phương pháp chỉnh hóa nào phục hồi nghiệm tối ưu? (Giả thuyết: Bài toán là không chỉnh nghiêm trọng; phương pháp chặt cụt Fourier cung cấp nghiệm chỉnh hóa hội tụ với tốc độ xác định theo mức nhiễu dữ liệu).
  4. RQ4 & H4: Phương trình giả Parabolic với đạo hàm Caputo có thiết lập được nghiệm toàn cục khi dữ liệu ban đầu $u_0 \in L^2(\Omega)$ và nghiệm địa phương khi $u_0 \in L^q(\Omega)$ ($q \neq 2$) không? (Giả thuyết: Sử dụng định lý nhúng Sobolev và nguyên lý điểm bất động Banach để chứng minh sự phân tách cấu trúc nghiệm giữa hai không gian).

Khung lý thuyết của luận án được xây dựng dựa trên sự giao thoa của Lý thuyết phổ toán tử elliptic (Spectral Theory of Elliptic Operators), Giải tích hàm phi tuyến (Nonlinear Functional Analysis), Lý thuyết phương trình tiến hóa phân số (Fractional Evolution Equations) và Lý thuyết chỉnh hóa bài toán ngược (Inverse and Ill-posed Problems Theory). Luận án giới hạn phạm vi trong miền không gian bị chặn $\Omega \subset \mathbb{R}^d$ ($d \ge 1$) với biên trơn $\partial\Omega$, thời gian hữu hạn $T > 0$, bậc đạo hàm phân số $\alpha \in (0, 1)$. Thành tựu đột phá của luận án được định lượng thông qua 4 công trình khoa học công bố trên các tạp chí quốc tế hàng đầu danh mục ISI Q1: Mathematical Methods in the Applied Sciences, Journal of Fixed Point Theory and Applications, và Advances in Continuous and Discrete Models: Theory and Modern Applications.

Literature Review và Positioning

Lý thuyết giải tích không nguyên khởi đầu từ câu hỏi lịch sử giữa Guillaume de L'Hôpital và Gottfried Wilhelm Leibniz vào năm 1695 về đạo hàm bậc $1/2$, được phát triển bởi các nhà toán học tiên phong như Stefan Samko, Rudolf Gorenflo, Kenneth S. Miller và Igor Podlubny. Trong dòng nghiên cứu hiện đại, hướng tiếp cận bài toán Cauchy cho phương trình đạo hàm riêng cấp không nguyên phân nhánh thành hai trường phái chính: đạo hàm Riemann-Liouville và đạo hàm Caputo.

Đối với dòng phương trình Rayleigh-Stokes sử dụng đạo hàm Riemann-Liouville:

  • Fetecau (2001) tiên phong sử dụng biến đổi Fourier sin để xác định trường vận tốc dòng chảy chất lưu cấp hai qua tấm phẳng.
  • Shen mở rộng bằng cách kết hợp biến đổi Laplace và Fourier sin cho chất lưu cấp hai tổng quát.
  • Zierep (2007) và Xue khảo sát cân bằng năng lượng và nghiệm giải tích cho chất lỏng Maxwell.
  • Khan (2010) áp dụng biến đổi tích phân nghiên cứu chất lưu Burger phân số.
  • Về phương diện số trị và giải tích định tính, Bazhlekova (2015) dùng phương pháp Galerkin/Euler; Dehghan (2017) phát triển phương pháp phần tử hữu hạn; Jia Wei He (2021) nghiên cứu tính chỉnh và bùng nổ của phương trình Rayleigh-Stokes nửa tuyến tính trên toàn không gian $\mathbb{R}^d$; Jing Na Wang (2022) khảo sát nghiệm nhẹ với hàm nguồn phi tuyến.
  • Tại Việt Nam, nhóm nghiên cứu của Đặng Đức Trọng (2018), Nguyễn Anh Triết (2018 - bài toán ngược hàm nguồn dùng hàm lọc), Trần Bảo Ngọc (2020), Trần Đình Kế (2022) và Đỗ Lân (2022) đã có những đóng góp quan trọng về tính giải được và tính chính quy nghiệm cổ điển của phương trình Rayleigh-Stokes.

Đối với phương trình vi phân phân số sử dụng đạo hàm Caputo:

  • Feckan (2012) đính chính các công thức nghiệm sai lệch trong y văn cho bài toán Cauchy với đạo hàm Caputo.
  • Sakthivel (2013) và Wang (2016) nghiên cứu phương trình vi phân ngẫu nhiên nửa tuyến tính.
  • Gorenflo (2015) đưa ra định nghĩa đạo hàm Caputo trên không gian Sobolev không nguyên; Zhen-Qing Chen (2017) khảo sát phương trình parabolic tổng quát.
  • Beshtokov (2018, 2019) nghiên cứu tính ổn định và hội tụ của bài toán biên phân số; Liu (2018) tổng quát hóa đạo hàm Caputo; Luciano Abadias (2022) khảo sát hiệu ứng nhớ và hiện tượng bùng nổ nghiệm.
  • Tại Việt Nam, Đặng Đức Trọng (2019), Đoàn Thái Sơn (2018, 2019, 2020), Nguyễn Huy Tuấn (2020, 2021) và Trần Ngọc Thạch (2022) đã dẫn đầu hướng nghiên cứu phương trình giả parabolic và phương trình ngẫu nhiên chứa đạo hàm Caputo.

Tranh luận học thuật cốt lõi diễn ra giữa hai quan điểm: (1) Quan điểm cổ điển cho rằng các phương pháp xấp xỉ tuyến tính hóa truyền thống là đủ để kiểm soát nghiệm, và (2) Quan điểm hiện đại chứng minh rằng tính phi địa phương thời gian và tính dị thường của toán tử phân số tạo ra kỳ dị mạnh tại lân cận $t=0$, khiến bài toán Cauchy đảo chiều hoặc bài toán với điều kiện tích phân phi địa phương trở nên không chỉnh nghiêm trọng theo nghĩa Hadamard.

Luận án của NCS. Nguyễn Hoàng Lực định vị chính xác tại điểm giao thoa phức tạp này. Khác với nghiên cứu của Jia Wei He (2021) vốn chỉ tập trung trên $\mathbb{R}^d$, luận án giải quyết bài toán trên miền bị chặn $\Omega \subset \mathbb{R}^d$ với cấu trúc phổ rời rạc; đồng thời khắc phục hạn chế trong công trình của Jing Na Wang (2022) bằng cách thiết lập đánh giá tiệm cận sắc bén cho toán tử nghiệm dạng Mittag-Leffler hai tham số, mở rộng hoàn chỉnh sang cả điều kiện tích phân phi địa phương $\xi_1 u(x,0) + \xi_2 \int_0^T v(s)u(x,s)ds = g(x)$ và phương trình giả Parabolic với dữ liệu ban đầu phi chuẩn $L^q(\Omega)$ ($q \neq 2$).

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

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

Luận án mở rộng và làm sâu sắc thêm các hệ thống lý thuyết nền tảng của giải tích toán học hiện đại:

  1. Lý thuyết đặt chỉnh Hadamard cho hệ phương trình Rayleigh-Stokes: Thiết lập sự tồn tại, tính duy nhất và tính phụ thuộc liên tục của nghiệm nhẹ đối với hai lớp hàm nguồn Lipschitz toàn cục và địa phương: $$\partial_t u - \Delta u - \gamma \partial_t^\alpha \Delta u = F(u), \quad (x,t) \in \Omega \times (0,T)$$ Chứng minh mệnh đề tách đôi (dichotomy): nghiệm tồn tại toàn cục trên $[0, \infty)$ hoặc bùng nổ chuẩn trong thời gian hữu hạn $T_{\max} < \infty$.
  2. Lý thuyết chính quy hóa cho bài toán phi địa phương: Thiết lập định lý về tính chính quy của nghiệm nhẹ trong không gian Sobolev Hilbert không nguyên $H^s(\Omega)$, chỉ ra tính bảo toàn trơn của nghiệm và đặc trưng hóa tiệm cận khi các tham số kỳ dị $\theta \to 0^+$ hoặc $\gamma \to 0^+$.
  3. Lý thuyết bài toán ngược và phương pháp chỉnh hóa Fourier: Khẳng định bài toán Cauchy với điều kiện tích phân phi địa phương là không chỉnh theo nghĩa Hadamard do sự mất ổn định đối với nhiễu dữ liệu đo $g(x)$. Xây dựng thành công thuật toán chỉnh hóa bằng phép chặt cụt tần số Fourier, cung cấp chặn sai số tối ưu bậc hội tụ phụ thuộc vào mức nhiễu $\epsilon$.
  4. Lý thuyết phương trình giả Parabolic phân số: Thiết lập cấu trúc nghiệm nhẹ cho phương trình: $$D_t^\alpha (u + k\Delta u) + (-\Delta)^p u = F(t,x,u)$$ Khám phá bước ngoặt: sự tồn tại nghiệm toàn cục được đảm bảo với dữ liệu ban đầu $u_0 \in L^2(\Omega)$, trong khi dữ liệu $u_0 \in L^q(\Omega)$ ($q \neq 2$) dẫn đến nghiệm địa phương phụ thuộc chặt chẽ vào số mũ nhúng Sobolev.

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

Khung phân tích của luận án là sự tích hợp đồng bộ giữa ba trụ cột lý thuyết lớn:

  • Lý thuyết phân tích phổ toán tử Laplace: Sử dụng hệ cơ sở trực chuẩn đầy đủ ${\phi_n}{n=1}^\infty$ trong $L^2(\Omega)$ tương ứng với dãy giá trị riêng $0 < \lambda_1 \le \lambda_2 \le \dots \le \lambda_n \to \infty$ sao cho $-\Delta \phi_n = \lambda_n \phi_n$. Khai triển nghiệm dưới dạng chuỗi Fourier suy rộng: $$u(x,t) = \sum{n=1}^\infty u_n(t) \phi_n(x), \quad u_n(t) = \langle u(\cdot, t), \phi_n \rangle_{L^2(\Omega)}$$
  • Lý thuyết hàm đặc biệt Mittag-Leffler và biến đổi Laplace: Xây dựng toán tử giải tích thông qua biến đổi Laplace ngược. Luận án trích dẫn đánh giá tiệm cận kinh điển từ tài liệu gốc: "Với $0 < \alpha < 1, \beta \in \mathbb{R}$, $z > 0$, ta có $\frac{C_0}{1+\Gamma(1-\alpha)z} \le |E_{\alpha,\beta}(-z)| \le \frac{C}{1+\Gamma(1-\alpha)z}$ với $C_0, C$ là các hằng số dương." Hành vi suy giảm lũy thừa $t^{-\alpha}$ của $E_{\alpha,\beta}(-\lambda_n t^\alpha)$ thay vì phân rã hàm mũ $e^{-\lambda_n t}$ đóng vai trò bản lề trong việc ước lượng nhân tích phân.
  • Nguyên lý điểm bất động Banach trên thang không gian hàm: Thiết lập không gian metric đầy đủ $C([0,T]; H^s(\Omega))$ và xây dựng ánh xạ co $\mathcal{K}: u \mapsto \mathcal{K}u$, khai thác bất đẳng thức Hölder và định lý nhúng Sobolev $H^s(\Omega) \hookrightarrow L^q(\Omega)$ để xác định điều kiện biên toán tử nghiêm ngặt.

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

Thiết kế nghiên cứu

Thiết kế nghiên cứu tuân thủ chặt chẽ lập trường nhận thức luận diễn dịch toán học (Deductive Positivist Paradigm). Mọi kết luận khoa học đều được chứng minh giải tích chính xác thông qua hệ tiên đề, không dựa vào mô phỏng xấp xỉ đơn thuần. Thiết kế đa tầng được áp dụng: từ phân tích phổ đơn mode, thiết lập công thức nghiệm giải tích qua tích chập Laplace, đến đánh giá tiên nghiệm (a priori estimates) trong thang không gian hàm vô hạn chiều.

       [Bài toán Cauchy / Điều kiện phi địa phương]
            Biến đổi Laplace & Phân tích phổ
           [Chuỗi hàm nghiệm tích phân (Mild Solution)]
[Lipschitz toàn cục]                 [Lipschitz địa phương]
Định lý điểm bất động Banach         Đánh giá năng lượng & Bổ đề Gronwall
Nghiệm duy nhất toàn cục             Tồn tại địa phương / Bùng nổ hữu hạn

Quy trình nghiên cứu rigorous

Quy trình phân tích toán học được chuẩn hóa qua 5 bước nghiêm ngặt:

  1. Thiết lập công thức nghiệm tích phân: Luận án trích dẫn công thức nghiệm nền tảng từ văn bản: $$v(t) = E_{\alpha,1}(-A t^\alpha) v_0 + \int_0^t (t-s)^{\alpha-1} E_{\alpha,\alpha}(-A(t-s)^\alpha) f(s) ds$$ được suy dẫn bằng cách lấy biến đổi Laplace hai vế, sử dụng tính chất $\mathcal{L}{\partial_t^\alpha v}(s) = s^\alpha \tilde{v}(s) - s^{\alpha-1}v(0)$, sau đó nghịch đảo Laplace thông qua nhân Mittag-Leffler.
  2. Xây dựng thang không gian Hilbert phân số: Định nghĩa không gian $H^s(\Omega)$ với $s \ge 0$: $$H^s(\Omega) = \left{ \phi \in L^2(\Omega) : |\phi|{H^s(\Omega)}^2 = \sum{n=1}^\infty \lambda_n^s |\langle \phi, \phi_n \rangle|^2 < \infty \right}$$ với tính chất lồng ghép đơn điệu: $s' > s > 0 \implies H^{s'}(\Omega) \hookrightarrow H^s(\Omega) \hookrightarrow H^0(\Omega) \equiv L^2(\Omega)$.
  3. Đánh giá nhân kỳ dị: Kiểm soát tích phân kỳ dị yếu chứa $(t-s)^{\alpha-1}$ và ước lượng sup-norm của toán tử nghiệm: $$|S(t)\phi|{H^s(\Omega)} \le C t^{-\frac{\alpha(s-r)}{2}} |\phi|{H^r(\Omega)}, \quad s \ge r$$
  4. Chứng minh co và thác triển nghiệm: Áp dụng định lý điểm bất động Banach $\delta(\mathcal{K}u, \mathcal{K}w) \le k \delta(u,w)$ với $k \in [0, 1)$ trên các quả cầu đóng $\bar{B}_R \subset C([0, T]; H^s(\Omega))$.
  5. Kỹ thuật chỉnh hóa Fourier Truncation: Đối với bài toán không chỉnh, tần số cao bị khuếch đại vô hạn bởi thành phần suy biến phổ $e^{\lambda_n t}$. Luận án thiết lập toán tử lọc Fourier bằng cách cắt bỏ các tần số vượt quá ngưỡng ngưỡng $N(\epsilon)$: $$u_{\text{reg}}^N(x,t) = \sum_{n=1}^{N(\epsilon)} u_n(t) \phi_n(x)$$ với $N(\epsilon)$ được chọn tối ưu theo mức sai số đo $|\cdot|_{L^2} \le \epsilon$.

Data và phân tích

Đối tượng dữ liệu trong nghiên cứu toán học thuần túy là dữ liệu hàm và cấu trúc phổ toán tử.

  • Miền xác định: $\Omega \subset \mathbb{R}^d$ ($d \in {1, 2, 3}$), toán tử Dirichlet-Laplacian có dãy phổ $\lambda_n \sim C d^{-1} n^{2/d}$ theo định luật tiệm cận Weyl.
  • Độ đo chuẩn: Sử dụng các không gian Banach phụ thuộc thời gian $L^p(0, T; X)$ với chuẩn $|v|_{L^p(0,T;X)} = \left( \int_0^T |v(t)|_X^p dt \right)^{1/p}$ và không gian tích $W^p(0, T; \Omega)$.
  • Phân tích độ nhạy: Kiểm tra tính vững thông qua việc biến thiên các tham số đạo hàm không nguyên $\alpha \to 1^-$ (tiến về bài toán cấp nguyên cổ điển) và $\alpha \to 0^+$.

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

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

Luận án mang lại 4 phát hiện toán học đột phá:

  1. Quy luật tồn tại toàn cục và bùng nổ nghiệm phương trình Rayleigh-Stokes: Với hàm nguồn $F(u)$ thỏa mãn điều kiện Lipschitz toàn cục $|F(u) - F(v)| \le L|u - v|$, bài toán (2.3) có nghiệm nhẹ duy nhất toàn cục trong $C([0, T]; L^2(\Omega)) \cap C((0, T]; H^1_0(\Omega))$. Ngược lại, khi $F(u) = |u|^{p-1}u$ ($p > 1$, Lipschitz địa phương), nếu năng lượng ban đầu vượt qua ngưỡng thế năng giới hạn, nghiệm nhẹ sẽ bùng nổ chuẩn trong thời gian hữu hạn: $$\lim_{t \to T_{\max}^-} |u(\cdot, t)|_{L^2(\Omega)} = \infty$$
  2. Tính chính quy hóa tự thân và tiệm cận tham số: Nghiệm nhẹ dưới điều kiện phi địa phương không chỉ tồn tại duy nhất mà còn tự động tăng độ trơn không gian: $u(t) \in H^{s+2}(\Omega)$ với mọi $t > 0$ dù dữ liệu biên chỉ thuộc $H^s(\Omega)$. Hơn nữa, khi tham số nhớ $\gamma \to 0^+$, nghiệm của phương trình Rayleigh-Stokes hội tụ mạnh trong chuẩn $L^\infty(0,T; L^2(\Omega))$ về nghiệm của phương trình truyền nhiệt phi tuyến cổ điển.
  3. Giải mã cấu trúc không chỉnh Hadamard của bài toán tích phân: Luận án chứng minh rằng toán tử chuyển trạng thái từ điều kiện tích phân phi địa phương $\xi_1 u(x,0) + \xi_2 \int_0^T v(s)u(x,s)ds = g(x)$ về giá trị ban đầu $u(x,0)$ có phổ tích tụ tại 0, làm cho bài toán đảo ngược không chỉnh nghiêm trọng. Phương pháp chặt cụt Fourier đề xuất đạt tốc độ hội tụ Logarithm tối ưu: $$|u(\cdot, t) - u_{\text{reg}}^{N(\epsilon)}(\cdot, t)|_{L^2(\Omega)} \le C \left( \ln \frac{1}{\epsilon} \right)^{-\kappa}$$
  4. Sự phụ thuộc không gian của phương trình giả Parabolic Caputo: Đối với bài toán $D_t^\alpha (u + k\Delta u) + (-\Delta)^p u = F(t,x,u)$, cấu trúc phân kỳ của toán tử $(I - k\Delta)^{-1}$ triệt tiêu tính kỳ dị của toán tử elliptic, cho phép nghiệm tồn tại toàn cục khi $u_0 \in L^2(\Omega)$. Tuy nhiên, với $u_0 \in L^q(\Omega)$ ($q \neq 2$), tính phi tuyến chỉ cho phép thiết lập nghiệm địa phương trên khoảng $[0, T_0]$ với $T_0 \sim |u_0|_{L^q}^{-\sigma}$.

Implications đa chiều

  • Ý nghĩa lý thuyết: Giải quyết trọn vẹn bài toán mở về tính giải được của các phương trình tiến hóa phân số có chứa đạo hàm hỗn hợp thời gian - không gian; cung cấp công cụ ước lượng giải tích sắc bén cho lớp toán tử phi địa phương.
  • Đổi mới phương pháp luận: Khung phân tích phổ kết hợp chỉnh hóa Fourier mở ra chuẩn mực mới để xử lý các bài toán ngược phi tuyến có điều kiện biên tích phân phức tạp.
  • Ứng dụng thực tiễn: Cung cấp cơ sở tính toán giải tích tin cậy để mô phỏng chính xác hành vi lưu biến của chất lưu polymer, dầu mỏ, bùn khoan, dung dịch sinh học và các hệ thống nhớt đàn hồi công nghiệp.

Limitations và Future Research

Luận án thừa nhận một cách khách quan các giới hạn học thuật:

  • Giới hạn mô hình: Chưa xét đến toán tử phân số theo biến không gian (Fractional Laplacian $(-\Delta)^s$ với $s \in (0, 1)$), vốn xuất hiện trong các quá trình nhảy Lévy và chuyển động Brown phân đoạn.
  • Giới hạn miền hình học: Giả thiết miền $\Omega$ có biên trơn $C^2$ hoặc $C^\infty$; chưa mở rộng cho các miền đa giác có góc lõm hoặc miền phân mảnh (fractal domains) nơi tính chính quy của hàm riêng Laplacian bị suy giảm.
  • Giới hạn tính tất định: Các bài toán được nghiên cứu trong môi trường tất định (deterministic), chưa tính đến các yếu tố nhiễu ngẫu nhiên Gauss hoặc nhiễu trắng thời gian-không gian.

Chương trình nghiên cứu mở rộng trong tương lai bao gồm 3 hướng chiến lược:

  1. Khảo sát bài toán Cauchy và bài toán biên cho phương trình chứa đạo hàm phân số hỗn hợp cả biến thời gian và không gian (Space-time fractional differential equations), nghiên cứu nghiệm cổ điển và hành vi tiệm cận suy giảm (asymptotic decay).
  2. Phát triển các thuật toán số hiệu năng cao (High-performance numerical schemes) như phương pháp phần tử hữu hạn phân số (Fractional FEM) và Spectral Galerkin kết hợp kỹ thuật nén ma trận.
  3. Mở rộng lý thuyết sang phương trình vi phân - đạo hàm riêng ngẫu nhiên phân số (Stochastic FPDEs) với các số hạng khuếch tán Ito và Stratonovich.

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

Các kết quả của luận án đã tạo ra tiếng vang học thuật rõ nét:

  • Tác động học thuật quốc tế: Xuất bản 4 công trình trên các tạp chí chuyên ngành hạng Q1 (ISI), đóng góp trực tiếp vào chỉ số trích dẫn của phân ngành Toán giải tích và Giải tích số Việt Nam trên trường quốc tế.
  • Chuyển giao tri thức ngành: Cung cấp nền tảng toán học lý thuyết cho các kỹ sư vật lý chất lưu và cơ học môi trường liên tục trong việc mô hình hóa các quá trình thủy lực phi Newton phức tạp.
  • Ảnh hưởng đào tạo sau đại học: Đóng vai trò tài liệu tham khảo mẫu mực cho các khóa đào tạo Thạc sĩ, Tiến sĩ chuyên ngành Toán giải tích, Phương trình vi phân và tích phân tại ĐHQG TP. Hồ Chí Minh và các trường đại học trọng điểm.

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

  • Nghiên cứu sinh & Nhà nghiên cứu trẻ: Tiếp cận quy trình giải tích mẫu mực từ việc sử dụng biến đổi Laplace, đánh giá hàm Mittag-Leffler đến kỹ thuật điểm bất động Banach và chỉnh hóa Fourier.
  • Các nhà toán học giải tích chuyên sâu: Khai thác các đánh giá tiên nghiệm và kỹ thuật nhúng Sobolev phân số để mở rộng sang các phương trình Navier-Stokes phân số hoặc phương trình sóng phi tuyến.
  • Kỹ sư R&D Thủy khí động lực học: Ứng dụng các nghiệm dạng giải tích và tốc độ phân rã để hiệu chuẩn phần mềm mô phỏng dòng chảy chất lưu nhớt đàn hồi.
  • Nhà phát triển phương pháp tính & Mô phỏng số: Sử dụng các điều kiện chỉnh hóa và xấp xỉ phổ làm chuẩn đối sánh (benchmark) để kiểm tra độ chính xác của các thuật toán số trị FPDEs.

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

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

Đóng góp độc đáo nhất là việc thiết lập định lý đặt chỉnh toàn cục kết hợp điều kiện bùng nổ nghiệm trong thời gian hữu hạn cho phương trình Rayleigh-Stokes phân số phi tuyến dưới các thang không gian Hilbert $H^s(\Omega)$, mở rộng trực tiếp Lý thuyết phương trình tiến hóa phân số của Podlubny (1999) và Lý thuyết nửa nhóm phi tuyến sang lớp toán tử có chứa đạo hàm hỗn hợp thời gian Riemann-Liouville $\partial_t^\alpha \Delta u$.

2. Đổi mới phương pháp luận nổi bật khi so sánh với ít nhất hai công trình quốc tế?

So với công trình của Jia Wei He (2021) (chỉ khảo sát trên toàn không gian $\mathbb{R}^d$ bằng phép biến đổi Fourier liên tục) và Bazhlekova (2015) (tiếp cận bằng xấp xỉ số sai phân/Galerkin), luận án đã sáng tạo phương pháp giải tích phổ trên miền bị chặn $\Omega \subset \mathbb{R}^d$ kết hợp khai triển Mittag-Leffler hai tham số, cho phép kiểm soát chính xác hằng số tiệm cận của toán tử giải trong không gian Sobolev phân số mà không làm mất thông tin biên.

3. Phát hiện toán học bất ngờ nhất được chứng minh bằng dữ liệu giải tích là gì?

Phát hiện bất ngờ nhất nằm ở tính phân tách hành vi nghiệm của phương trình giả Parabolic Caputo: trong khi toán tử elliptic $(-\Delta)^p$ thường gây ra tính kỳ dị cao, thì thành phần điều hòa giả $D_t^\alpha(u + k\Delta u)$ lại đóng vai trò làm trơn toán tử, giúp bài toán phi tuyến đạt nghiệm toàn cục vô điều kiện khi dữ liệu đầu $u_0 \in L^2(\Omega)$, nhưng lại lập tức chuyển thành nghiệm địa phương có ngưỡng thời gian hữu hạn khi $u_0 \in L^q(\Omega)$ ($q \neq 2$).

4. Luận án có cung cấp giao thức tái lập kết quả (Replication Protocol) không?

Có. Toàn bộ các bước chứng minh toán học, công thức nghiệm tích phân, phép biến đổi Laplace, các bất đẳng thức giải tích (Hölder, Young, Sobolev) và quy tắc chọn tham số cắt cụt Fourier $N(\epsilon)$ đều được trình bày tường minh, chi tiết theo chuẩn mực giải tích tiên đề, đảm bảo khả năng tái lập và kiểm chứng độc lập $100%$ bởi cộng đồng toán học quốc tế.

5. Chương trình nghiên cứu 10 năm được phác thảo như thế nào?

Chương trình 10 năm tập trung vào 3 trụ cột: (1) Hoàn thiện lý thuyết định tính cho hệ phương trình vi phân đạo hàm riêng cấp không nguyên không-thời gian (Space-time FPDEs); (2) Xây dựng giải thuật song song hóa cho phương pháp chỉnh hóa Fourier và phần tử hữu hạn phân số; (3) Tiên phong nghiên cứu phương trình vi phân ngẫu nhiên phân số (Stochastic FPDEs) kết hợp với các quá trình bước nhảy bất quy tắc.

Kết luận

Luận án tiến sĩ của NCS. Nguyễn Hoàng Lực đã hoàn thành xuất sắc toàn diện các mục tiêu nghiên cứu đặt ra, khẳng định vị thế khoa học vững chắc thông qua các điểm nhấn cốt lõi:

  1. Thiết lập hoàn chỉnh tính đặt chỉnh toàn cục và quy luật bùng nổ nghiệm trong thời gian hữu hạn cho phương trình Rayleigh-Stokes phi tuyến với hàm nguồn Lipschitz toàn cục và địa phương.
  2. Chứng minh tường minh tính chính quy hóa và sự hội tụ tham số $\gamma \to 0^+$ của nghiệm nhẹ dưới các điều kiện phi địa phương.
  3. Nhận diện và xử lý triệt để tính không chỉnh Hadamard của bài toán Cauchy khôi phục giá trị ban đầu có điều kiện tích phân thông qua phương pháp chỉnh hóa chặt cụt Fourier với tốc độ hội tụ tối ưu.
  4. Làm sáng tỏ tính chất tồn tại toàn cục ($L^2$) và tồn tại địa phương ($L^q, q \neq 2$) cho phương trình giả Parabolic phân số chứa đạo hàm Caputo.
  5. Đóng góp 4 công trình khoa học chất lượng cao công bố trên các tạp chí quốc tế uy tín thuộc danh mục ISI Q1.
  6. Mở ra các hướng nghiên cứu mới đầy tiềm năng về phương trình vi phân phân số ngẫu nhiên và giải thuật số trị tiên tiến cho cơ học chất lưu hiện đại.