Tổng quan về luận án

Nghiên cứu về phương trình đạo hàm riêng phi tuyến cấp một dạng Hamilton-Jacobi và bài toán điều khiển tối ưu tất định đóng vai trò cốt lõi trong giải tích hiện đại, cơ học lý thuyết và khoa học điều khiển. Luận án tiến sĩ toán học với đề tài "Nghiệm $\beta$-nhớt của phương trình Hamilton-Jacobi và ứng dụng trong bài toán điều khiển tối ưu" (chuyên ngành Toán giải tích, thực hiện tại Trường Đại học Sư phạm Hà Nội 2 dưới sự hướng dẫn của TS. Trần Văn Bằng và PGS. Hà Tiến Ngoạn) giải quyết các bài toán nền tảng về tính đặt chỉnh (well-posedness) của nghiệm suy rộng trong không gian vô hạn chiều và trên các cấu trúc hình học phức tạp.

Khoảng trống học thuật (research gap) trọng tâm mà luận án xác định bao gồm:

  1. Lý thuyết nghiệm nhớt cổ điển khởi xướng bởi Crandall và Lions (1983, 1986, 1990) dựa trên dưới vi phân Fréchet ($D_F^-$) đòi hỏi chuẩn của không gian Banach $X$ phải trơn Fréchet hoặc yêu cầu không gian phải thỏa mãn tính chất Radon-Nikodym (RNP). Điều này loại bỏ nhiều không gian hàm thực tế như $L^1$, nơi chuẩn không khả vi Fréchet tại bất kỳ điểm nào.
  2. Các kết quả mở rộng nghiệm $\beta$-nhớt của Borwein (1993) và Deville et al. (1993) mới chỉ dừng lại ở phương trình dạng tách biến $u + H(x, Du) = 0$ và giới hạn trong lớp nghiệm liên tục đều, bị chặn.
  3. Các nghiên cứu bài toán Hamilton-Jacobi trên mạng lưới và khớp nối (junctions) của Achdou et al. (2013), Khang (2015) đều áp đặt giả thiết chặt về tính bị chặn của hàm chi phí $\ell_i$, không phản ánh được các hệ thống vật lý có chi phí tăng trưởng nhanh vô hạn.

Để giải quyết triệt để các khoảng trống này, luận án thiết lập 4 câu hỏi nghiên cứu (RQ) và 4 giả thuyết khoa học (H) tương ứng:

  • RQ1: Làm thế nào để mở rộng nguyên lý biến phân trơn và quy tắc tổng mờ cho dưới vi phân $\beta$-nhớt ($D_\beta^-$) trên không gian Banach tổng quát mà không cần giả thiết nửa liên tục dưới địa phương đều quá ngặt?
  • RQ2: Có thể thiết lập tính duy nhất, sự tồn tại và tính ổn định của nghiệm $\beta$-nhớt cho phương trình tổng quát $u + H(x, u, Du) = 0$ trong lớp hàm không bị chặn mà hoàn toàn giải phóng khỏi giả thiết Radon-Nikodym hay không?
  • RQ3: Mối quan hệ giữa nghiệm $\beta$-nhớt và hàm giá trị $V(x)$ không trơn, không bị chặn trong bài toán điều khiển tối ưu thời gian vô hạn trên không gian Banach vô hạn chiều được mô tả chính xác ra sao?
  • RQ4: Trên cấu trúc khớp nối (junction) $G = \bigcup_{i=1}^N J_i$, làm thế nào để xây dựng nguyên lý so sánh nghiệm nhớt khi hàm chi phí $\ell_i$ tăng trưởng phi tuyến theo hàm mũ hoặc đa thức?

Khung lý thuyết của nghiên cứu được xây dựng dựa trên sự giao thoa của lý thuyết Bornology trên không gian Banach, giải tích biến phân không trơn (nonsmooth variational analysis), phương pháp Perron trong giải tích phi tuyến và nguyên lý quy hoạch động Bellman (Dynamic Programming Principle). Phạm vi khảo sát trải dài từ không gian Banach vô hạn chiều tổng quát $X$ đến mạng lưới khớp nối 1 chiều $G \subset \mathbb{R}^N$. Đóng góp đột phá của luận án mang tính nền tảng: mở rộng không gian áp dụng của lý thuyết nghiệm nhớt sang các không gian hàm không có chuẩn trơn Fréchet, nới lỏng giả thiết điều kiện tăng trưởng của bài toán điều khiển tối ưu từ hàm bị chặn sang hàm mũ $e^{m|x|}$ ($0 \le m < \frac{\lambda}{M}$) và đa thức $(1+|x|)^m$, cung cấp các công cụ toán học vững chắc cho lý thuyết điều khiển hiện đại.

Literature Review và Positioning

Lý thuyết nghiệm nhớt cho phương trình đạo hàm riêng phi tuyến cấp một được định hình ban đầu bởi các công trình tiên phong của M. G. Crandall và P. L. Lions (1983, 1986). Trong không gian Euclide hữu hạn chiều $\mathbb{R}^N$, lý thuyết này đã phát triển hoàn thiện thông qua các tài liệu kinh điển của Crandall, Evans và Lions (1992, User's Guide). Tuy nhiên, khi chuyển sang không gian Banach vô hạn chiều $X$, tính compact của quả cầu đóng bị triệt tiêu, dẫn đến sự sụp đổ của các kỹ thuật vi tích phân cổ điển.

                   Tiến trình phát triển lý thuyết Nghiệm nhớt
                   
Crandall & Lions (1983, 1986, 1990)
[Dưới vi phân Fréchet D_F^-, Giả thiết Radon-Nikodym RNP, Không gian Hilbert/Phản xạ]
Deville, Godefroy, Zizler (1993) & Borwein (1993, 1994)
[Borno β, Chuẩn β-trơn, Nguyên lý biến phân trơn, Phương trình u + H(x, Du) = 0 bị chặn]
Luận án (Trường ĐHSP Hà Nội 2)
[Loại bỏ Radon-Nikodym, Mở rộng u + H(x, u, Du) = 0 không bị chặn, Khớp nối chi phí hàm mũ/đa thức]

Trong dòng nghiên cứu về không gian vô hạn chiều, Crandall và Lions (1990, 1994) đã thiết lập tính duy nhất của nghiệm Fréchet-nhớt cho phương trình Hamilton-Jacobi tổng quát $u + H(x, u, Du) = 0$ bằng việc sử dụng tính chất Radon-Nikodym (RNP). Theo đó, nếu phiếm hàm xác định trên quả cầu đóng là nửa liên tục dưới và bị chặn, với mọi $\varepsilon > 0$ tồn tại phần tử $x^* \in X^$ có $|x^| \le \varepsilon$ để phiếm hàm đạt cực tiểu. Tuy nhiên, tính chất RNP không thỏa mãn trên nhiều không gian hàm cơ bản.

Để khắc phục, hướng tiếp cận sử dụng Bornology $\beta$ và dưới vi phân $\beta$-nhớt ($D_\beta^-$) được đề xuất bởi Borwein (1993) và Deville, Godefroy, Zizler (1993). Borwein chứng minh tính duy nhất nghiệm $\beta$-nhớt của phương trình $u + H(x, Du) = 0$ trong lớp hàm liên tục đều và bị chặn dựa trên nguyên lý biến phân trơn. Tranh luận học thuật nảy sinh giữa hai trường phái:

  • Trường phái Fréchet/RNP (Crandall, Lions, Ishii): Đạt được tính duy nhất cho phương trình đầy đủ $u + H(x, u, Du) = 0$ nhưng bị trói buộc vào cấu trúc hình học ngặt nghèo của không gian (phải có RNP).
  • Trường phái Borno $\beta$ (Borwein, Deville, Fabian): Xử lý được các không gian có chuẩn kém trơn hơn (như chuẩn trơn Gâteaux, Hadamard, Weak Hadamard), song chỉ giới hạn ở phương trình tách biến $u + H(x, Du) = 0$ và nghiệm bị chặn.

Đối với phương trình Hamilton-Jacobi trên mạng lưới và khớp nối, các nghiên cứu quốc tế tiêu biểu của Achdou, Camilli, Cutrì, Tchou (2013) và Imbert, Monneau, Zidani (2013) cùng công trình của Khang (2015) đã thiết lập nghiệm nhớt trên các cạnh $J_i$ giao nhau tại nút $O$. Tuy nhiên, tất cả các tác giả trên đều bắt buộc sử dụng giả thiết hàm chi phí $\ell_i(x, a)$ bị chặn đều trên $J_i \times A_i$.

Luận án này định vị chính xác tại giao điểm của các nút thắt trên: mở rộng kết quả của Borwein (1993) từ phương trình $u + H(x, Du) = 0$ sang phương trình tổng quát $u + H(x, u, Du) = 0$ trong lớp hàm không bị chặn mà hoàn toàn không cần giả thiết Radon-Nikodym; đồng thời tổng quát hóa các công trình của Achdou et al. (2013) và Khang (2015) trên khớp nối bằng việc thay thế giả thiết chi phí bị chặn bằng hàm tăng trưởng dạng mũ $(H2)$ và đa thức $(H2)^*$.

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

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

Luận án tạo ra những bước tiến đột phá đối với lý thuyết giải tích biến phân và phương trình vi phân đạo hàm riêng phi tuyến:

  1. Mở rộng nguyên lý biến phân trơn Deville-Godefroy-Zizler: Thiết lập mối liên hệ định lượng giữa trên vi phân và dưới vi phân $\beta$-nhớt. Luận án chứng minh rằng với không gian Banach $X$ thỏa mãn giả thiết $(H_\beta^*)$, nếu $u$ nửa liên tục trên bị chặn và $v$ nửa liên tục dưới bị chặn, thì tồn tại $x, y \in X$, $p \in D_\beta^+ u(x)$, $q \in D_\beta^- v(y)$ sao cho: $$|x - y| < \varepsilon^2, \quad |p - q| < \varepsilon, \quad \sqrt{|x-y|}\sqrt{|p|} < C\varepsilon, \quad \sqrt{|x-y|}\sqrt{|q|} < C\varepsilon$$ Kết quả này cải tiến vượt bậc Bổ đề III.6 trong công trình kinh điển của Deville et al. (1993) nhờ kiểm soát được đại lượng $\sqrt{|x-y|}\sqrt{|p|}$, tạo chìa khóa giải quyết tính duy nhất nghiệm.

  2. Nới lỏng giả thiết quy tắc tổng mờ (Fuzzy Sum Rule) của Borwein: Trong [Định lý 2.9, Borwein 1993], giả thiết yêu cầu họ hàm $(f_1, \dots, f_N)$ phải là nửa liên tục dưới địa phương đều – một điều kiện rất ngặt thu hẹp lớp nghiệm. Luận án đã loại bỏ hoàn toàn điều kiện này trong Định lý 1.3 và Định lý 1.4, chỉ cần $f_n$ là các hàm nửa liên tục dưới, bị chặn dưới thỏa mãn: $$\liminf_{\eta \to 0} \left{ \sum_{n=1}^N f_n(y_n) : \operatorname{diam}(y_1, \dots, y_N) \le \eta \right} < +\infty$$ khi đó tồn tại $x_n \in X$ và $x_n^* \in D_\beta^- f_n(x_n)$ sao cho: $$\operatorname{diam}(x_1, \dots, x_N) \max(1, |x_1^|, \dots, |x_N^|) < \varepsilon \quad \text{và} \quad \left| \sum_{n=1}^N x_n^* \right| < \varepsilon$$

  3. Thiết lập tính duy nhất nghiệm không bị chặn không phụ thuộc Radon-Nikodym: Chứng minh nguyên lý so sánh cho phương trình $u + H(x, u, Du) = 0$ trên tập mở $\Omega \subset X$ với nghiệm $u, v \in C(\Omega)$ thỏa mãn điều kiện môđun $|u(x) - u(y)| + |v(x) - v(y)| \le m(|x-y|)$, đưa ra đánh giá tường minh: $$u(x) - v(x) \le \sup_{\partial \Omega} (u - v)^+ + \frac{1}{1 - L_H} \sup_{\Omega \times \mathbb{R} \times X^*} (\widehat{H} - H)^+$$

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

Khung phân tích của luận án tích hợp cấu trúc đa tầng giữa Tôpô không gian đối ngẫu, Giải tích không trơn và Cấu trúc hình học mạng lưới:

                            Khung phân tích tích hợp
  • Họ Borno $\beta$ và tính chất bao hàm tôpô: Cho $X$ là không gian Banach, một Borno $\beta$ là họ các tập con đóng, bị chặn, đối xứng tâm phủ kín $X$, đóng kín với phép nhân vô hướng và phép hợp hữu hạn. Tôpô lồi địa phương $\tau_\beta$ trên $X^*$ xác định bởi sự hội tụ đều trên các tập thuộc $\beta$. Luận án chỉ ra chuỗi bao hàm tôpô ngặt: $$\tau_G \subset \tau_H \subset \tau_{WH} \subset \tau_F$$ kéo theo quan hệ giữa các tập dưới vi phân: $$D_F^- u(x) \subset D_{WH}^- u(x) \subset D_H^- u(x) \subset D_G^- u(x)$$
  • Boundary conditions & Giả thiết mở rộng: Xác định rõ điều kiện biên Dirichlet $u = \phi$ trên $\partial \Omega$ và điều kiện tiếp giáp tại nút $O$ của khớp nối. Các giả thiết về Hamilton được phân lớp chính xác: $(H0)$ về tính liên tục cục bộ theo tôpô $\tau_\beta$, $(H1)$ về tính đơn điệu hoặc $(H1)^*$ về tính Lipschitz với hằng số $L_H < 1$, $(H2)$ và $(H3)$ về các hàm môđun địa phương $\sigma_H$ và $m_H$.

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

Thiết kế nghiên cứu

Nghiên cứu theo đuổi quan điểm khoa học duy lý toán học thuần túy (Mathematical Rigorous Positivism), sử dụng phương pháp tiên đề hóa kết hợp suy diễn logic phi biến phân. Phương pháp luận dựa trên việc giải cấu trúc các bất đẳng thức vi phân đạo hàm riêng phi tuyến thông qua các hàm thử trơn thuộc không gian $\mathcal{D}\beta(X) = {g: X \to \mathbb{R} \mid g \text{ bị chặn, Lipschitz và } \beta\text{-khả vi trên } X}$ và $\mathcal{D}\beta^(X) = {g \in \mathcal{D}\beta(X) \mid \nabla\beta g: X \to X_\beta^ \text{ liên tục}}$.

Mô hình nghiên cứu được phân cấp đa tầng (Multi-level theoretical design):

  1. Tầng không gian nền: Không gian Banach $X$ tổng quát $\to$ Không gian có chuẩn $\beta$-trơn $\to$ Không gian có hàm bướu trơn thỏa mãn giả thiết $(H_\beta^*)$.
  2. Tầng hàm và nghiệm: Hàm liên tục và bị chặn $C_b(\Omega)$ $\to$ Hàm liên tục đều $\to$ Hàm không bị chặn có độ tăng tuyến tính, đa thức và hàm mũ.
  3. Tầng hình học bài toán: Tập mở $\Omega \subset X$ vô hạn chiều $\to$ Khớp nối hữu hạn nhánh $G = \bigcup_{i=1}^N J_i$ liên kết tại gốc $O$.

Quy trình nghiên cứu rigorous

Quy trình chứng minh toán học tuân thủ các chuẩn mực khắt khe bậc nhất của giải tích hiện đại:

                  Quy trình chứng minh Tính duy nhất nghiệm
                  
Thiết lập hàm phạt kép: Φ(x, y) = u(x) - v(y) - (1/ε)||x - y||^2 + λ ζ(||x|| - R)
Phân tích đạt cực đại: Trường hợp 1 (Φ đạt max trên Δ(a)) & Trường hợp 2 (Φ không đạt max)
Trích xuất dưới/trên đạo hàm β-nhớt:
p_ε + λq ∈ D_β^+ u(x_0) và p_ε ∈ D_β^- v(y_0) với p_ε = (2/ε) ∇_β ||.||^2 (x_0 - y_0)
Áp dụng Bất đẳng thức Nghiệm nhớt & Giả thiết Hàm Hamilton (H0)-(H3)
Đánh giá giới hạn khi ε -> 0, a -> 0, R -> ∞  ==>  Khẳng định u ≤ v trên toàn miền
  1. Kỹ thuật gấp đôi số biến với số hạng hiệu chỉnh (Modified Doubling of Variables): Để chứng minh nguyên lý so sánh cho nghiệm không bị chặn, hàm phạt được thiết kế tinh vi dạng: $$\Phi(x, y) = u(x) - v(y) - \frac{|x-y|^2}{\varepsilon} + \lambda \zeta(|x| - R)$$ xác định trên miền lân cận dải $\Delta(a) = {(x, y) \in \Omega \times \Omega : \rho(x), \rho(y) > a, |x-y| < a}$, trong đó $\zeta \in C^1(\mathbb{R})$ là hàm triệt tiêu với $r \le 1$ và tăng tuyến tính $\zeta(r) = r - 2$ với $r \ge 3$, với $\lambda > B$ đóng vai trò chặn trên hành vi tiệm cận ở vô cực.
  2. Phương pháp Perron tổng quát hóa: Chứng minh sự tồn tại nghiệm $\beta$-nhớt thông qua việc xây dựng cấu trúc bao trên (supremum envelope) của tập các nghiệm dưới: $$w(x) = \sup {u(x) : u \text{ là nghiệm dưới } \beta\text{-nhớt của (2.1) thỏa mãn } u \le \psi \text{ trên } \overline{\Omega}}$$ kết hợp với tính ổn định của nghiệm dưới vi phân $\beta$-nhớt dưới phép lấy giới hạn nửa liên tục.

Data và phân tích

Do bản chất là công trình toán học lý thuyết thuần túy, đối tượng "dữ liệu" trong luận án là hệ thống các ví dụ phản chứng sâu sắc (counter-examples) được xây dựng cụ thể để kiểm định ranh giới hiệu lực của các định lý:

  1. Phản ví dụ về sự khác biệt giữa khả vi Gâteaux và Fréchet/Hadamard: Xét hàm $f: \mathbb{R}^2 \to \mathbb{R}$ xác định bởi: $$f(x, y) = \frac{x^2 y}{x^6 + y^2} \quad \text{nếu } (x, y) \ne (0, 0); \quad f(0, 0) = 0$$ Luận án chứng minh chặt chẽ rằng $f$ khả vi Gâteaux tại $(0,0)$ với $\nabla_G f(0,0) = (0,0)$, nhưng hoàn toàn không khả vi Fréchet và không khả vi Hadamard vì giới hạn $\lim_{(x,y)\to(0,0)} \frac{f(x,y)}{\sqrt{x^2+y^2}}$ không tồn tại.
  2. Phản ví dụ về hàm khả vi Hadamard nhưng không khả vi Hadamard yếu: Trên không gian Hilbert $\ell_2$, xét hệ cơ sở chính tắc ${e_n}{n=1}^\infty$ và hàm: $$f(x) = \sup{n \ge 1} \left{ 2\langle e_n, x \rangle - \frac{1}{n} \right}$$ Luận án chứng minh $f$ là hàm Lipschitz, khả vi Hadamard tại $0$ với $f'(0) = 0$, nhưng dọc theo dãy hội tụ yếu $t_n e_n$ với $t_n = \frac{1}{n}$, tỉ số sai phân thỏa mãn $\frac{f(t_n e_n)}{t_n} \ge 1, \forall n \ge 1$, suy ra $f$ không khả vi Hadamard yếu và không khả vi Fréchet tại $0$.
  3. Phản ví dụ phương trình có nghiệm Fréchet-nhớt nhưng không có nghiệm Gâteaux-nhớt: Trên không gian $X = \ell_1$ với chuẩn $|x| = \sum_{n=1}^\infty |x_n|$, xét phương trình: $$u(x) + (1 - u(x) + |Du(x)|) = 0$$ Hàm $u(x) = |x|$ không là nghiệm dưới G-nhớt vì tại điểm khả vi Gâteaux, bất đẳng thức trở thành $1 + |Du| \le 0$ (vô nghiệm). Tuy nhiên, vì chuẩn $|\cdot|$ không khả vi Fréchet tại bất kỳ điểm nào trên $\ell_1$, trên vi phân Fréchet $D_F^+ u(x) = \emptyset$ với mọi $x$, do đó $u(x) = |x|$ là nghiệm Fréchet-nhớt thực sự.
  4. Phân tích tính không duy nhất nghiệm khi vi phạm điều kiện kết hợp: Xét $X = \mathbb{R}^2$ với $H(x, p) = -|p|^2$. Phương trình $u - |Du|^2 = 0$ có vô số nghiệm cổ điển khác nhau như $u_1 \equiv 0$ và $u_2(x) = \frac{1}{4}|x|^2$, chứng minh tính tất yếu của giả thiết $(B)$ trong Định lý 2.2.

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

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

  1. Thiết lập tính duy nhất nghiệm $\beta$-nhớt trong lớp hàm liên tục và bị chặn: Không cần tính chất Radon-Nikodym, Định lý 2.1 và Định lý 2.2 khẳng định: nếu $u$ là nghiệm dưới $\beta$-nhớt và $v$ là nghiệm trên $\beta$-nhớt của $u + H(x, Du) = 0$ trên không gian Banach $X$ thỏa mãn $(H_\beta^)$, với $H$ thỏa mãn điều kiện biến phân: $$|H(x, x^) - H(y, y^)| \le w(x - y, x^ - y^) + K \max(\sqrt{|x^|}, \sqrt{|y^*|}) |x - y|$$ thì $u \le v$ trên toàn không gian, suy ra nghiệm liên tục bị chặn là duy nhất.

  2. Nguyên lý so sánh tổng quát cho nghiệm không bị chặn trên miền mở: Định lý 2.4 chứng minh kết quả so sánh mạnh cho phương trình $u + H(x, u, Du) = 0$ trên tập mở $\Omega \subset X$ có biên $\partial \Omega$: $$u(x) - v(x) \le \sup_{\partial \Omega} (u - v)^+ + \frac{1}{1 - L_H} \sup_{\Omega \times \mathbb{R} \times X^*} (\widehat{H} - H)^+$$ cho phép so sánh hai nghiệm có tốc độ tăng trưởng tuyến tính $u(x) \le A + B|x|$.

  3. Đặc trưng hóa hàm giá trị của bài toán điều khiển tối ưu thời gian vô hạn: Chứng minh hàm giá trị $V(x)$ xác định bởi nguyên lý quy hoạch động Bellman: $$V(x) = \inf_{\alpha \in \mathcal{U}} \left{ \int_0^t e^{-\lambda s} f(y_x(s, \alpha), \alpha(s)) ds + e^{-\lambda t} V(y_x(t, \alpha)) \right}$$ chính là nghiệm $\beta$-nhớt duy nhất của phương trình Hamilton-Jacobi-Bellman tương ứng trên không gian Banach vô hạn chiều, đồng thời thiết lập hệ điều kiện cần và đủ cho điều khiển tối ưu thông qua dưới vi phân $\beta$-nhớt.

  4. Đột phá về bài toán điều khiển trên khớp nối với chi phí không bị chặn: Mở rộng thành công lý thuyết nghiệm nhớt trên mạng lưới $G = \bigcup_{i=1}^N J_i$ khi thay thế giả thiết chi phí bị chặn truyền thống bằng hai lớp giả thiết tăng trưởng mạnh:

  • Giả thiết tăng trưởng hàm mũ $(H2)$: $$|\ell_i(x, a)| \le C e^{m|x|}, \quad \forall x \in J_i, a \in A_i \quad \left(0 \le m < \frac{\lambda}{M}\right)$$
  • Giả thiết tăng trưởng đa thức $(H2)^*$: $$|\ell_i(x, a)| \le C (1 + |x|)^m, \quad \forall x \in J_i, a \in A_i \quad (m \ge 0)$$ Luận án chứng minh hàm giá trị $V$ liên tục trên toàn bộ khớp nối $G$, liên tục Lipschitz địa phương trên mỗi nhánh $J_i \cap B(O, \varepsilon)$, thỏa mãn đánh giá tiệm cận $|V(x)| \le C e^{m|x|}$ (hoặc $C(1+|x|)^m$), và là nghiệm nhớt duy nhất thỏa mãn điều kiện nút tại đỉnh $O$.

Implications đa chiều

  • Về mặt lý thuyết toán học: Công trình thống nhất lý thuyết nghiệm nhớt của Crandall-Lions và Borwein dưới một lăng kính tổng quát thông qua Bornology $\beta$, mở đường cho việc nghiên cứu các phương trình đạo hàm riêng cấp hai vô hạn chiều (phương trình vi phân ngẫu nhiên, phương trình Hamilton-Jacobi-Isaacs).
  • Về mặt phương pháp luận: Kỹ thuật hàm phạt kết hợp số hạng hiệu chỉnh $\lambda \zeta(|x| - R)$ và nguyên lý biến phân trơn cung cấp một công cụ mạnh mẽ để xử lý các bài toán biên Dirichlet và bài toán Cauchy cho các phương trình tiến hóa phi tuyến.
  • Về mặt ứng dụng thực tiễn: Lý thuyết điều khiển trên khớp nối với chi phí hàm mũ/đa thức phản ánh chính xác các bài toán công nghệ kỹ thuật thực tế: điều tiết dòng hạt trong mạng lưới ống dẫn, kiểm soát điện áp trên lưới truyền tải điện quốc gia, và điều khiển luồng dữ liệu mạng viễn thông khi chi phí trễ mạng gia tăng theo cấp số nhân.

Limitations và Future Research

Mặc dù đạt được những đóng góp đột phá, luận án thẳng thắn chỉ rõ các giới hạn nội tại và điều kiện biên của nghiên cứu:

  1. Giới hạn cấp của phương trình: Nghiên cứu mới giải quyết trọn vẹn cho phương trình đạo hàm riêng phi tuyến cấp một. Đối với phương trình cấp hai chứa toán tử elliptic hoặc parabolic vô hạn chiều (như toán tử vết $u_t + \operatorname{tr}(A D^2 u) + H = 0$), khái niệm dưới vi phân $\beta$-nhớt cấp hai đòi hỏi lý thuyết ma trận trên không gian Banach rất phức tạp chưa được bao hàm.
  2. Cấu trúc hình học của mạng lưới: Mô hình khớp nối ở Chương 4 giới hạn tại cấu trúc hình sao đơn giản gồm $N$ nhánh nửa đường thẳng $J_i$ giao nhau tại một đỉnh duy nhất $O$. Chưa mở rộng trực tiếp cho các đồ thị hữu hạn hoặc vô hạn tổng quát chứa chu trình (cycles) phức tạp.
  3. Điều kiện biên Dirichlet trơn: Kết quả tồn tại nghiệm dựa trên phương pháp Perron đòi hỏi sự tồn tại của cặp nghiệm trên và nghiệm dưới tương thích trên biên $\partial \Omega$, điều này phụ thuộc vào tính trơn hình học của tập mở $\Omega$.

Chương trình nghiên cứu tiếp theo (Future Research Agenda) mở ra 4 hướng chiến lược:

  • Hướng 1: Mở rộng lý thuyết nghiệm $\beta$-nhớt cho phương trình Hamilton-Jacobi cấp hai vô hạn chiều và phương trình đạo hàm riêng ngẫu nhiên (SPDEs).
  • Hướng 2: Phát triển nghiệm nhớt cho bài toán điều khiển tối ưu trên đồ thị ngẫu nhiên (random graphs) và mạng lưới fractal.
  • Hướng 3: Xây dựng các sơ đồ sai phân hữu hạn và thuật toán số xấp xỉ nghiệm $\beta$-nhớt trên không gian vô hạn chiều dựa trên phương pháp triệt tiêu độ nhớt số.
  • Hướng 4: Khảo sát bài toán điều khiển tối ưu đa mục tiêu và trò chơi vi phân (differential games) trên mạng lưới khớp nối với hàm chi phí không bị chặn.

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

Luận án khẳng định vị thế và uy tín khoa học cao trong cộng đồng toán học giải tích:

                            Sơ đồ Tác động Học thuật & Thực tiễn
  • Tác động học thuật: Các kết quả cốt lõi của luận án đã được công bố trên các tạp chí khoa học quốc tế chuyên ngành uy tín và báo cáo tại các diễn đàn đỉnh cao như Đại hội Toán học Việt Nam (2018), Xêmina Phương trình vi phân tại Viện Toán học - Viện Hàn lâm KH&CN Việt Nam, và Xêmina Giải tích tại Trường ĐHSP Hà Nội 2.
  • Độ tin cậy và sự thừa nhận: Nghiên cứu nhận được sự thẩm định, góp ý chuyên môn từ các chuyên gia đầu ngành như GS. Đinh Nho Hào (Viện Toán học), GS. Cung Thế Anh, PGS. Trần Đình Kế, PGS. Đỗ Đức Thuận.
  • Giá trị ứng dụng công nghệ: Cung cấp nền tảng toán học giải tích chính xác để phát triển các thuật toán điều khiển tối ưu trong kỹ thuật hàng không vũ trụ, điều khiển robot công nghiệp nhiều khớp nối, và quản lý vận hành hệ thống năng lượng tái tạo thông minh.

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

  • Nghiên cứu sinh và Giảng viên Toán học (Doctoral Researchers & Academics): Thụ hưởng hệ thống lý thuyết hoàn chỉnh về dưới vi phân $\beta$-nhớt, các bổ đề giải tích biến phân mở rộng và phương pháp chứng minh gấp đôi số biến chuẩn mực trong không gian vô hạn chiều.
  • Nhà khoa học trong lĩnh vực Điều khiển học & Cơ học (Control Theorists & Engineers): Nắm bắt được công cụ toán học tối tân để thiết lập điều kiện cần, điều kiện đủ và xây dựng luật điều khiển phản hồi tối ưu cho các hệ thống có hàm chi phí không bị chặn.
  • Kỹ sư R&D Hệ thống mạng & Logistics (Network Systems & Logistics Specialists): Ứng dụng mô hình tối ưu hóa trên khớp nối để giải quyết các bài toán định tuyến dòng chảy, điều phối giao thông đô thị và tối ưu hóa tải trọng trên mạng lưới phân phối viễn thông.

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? Trả lời: Đóng góp lý thuyết độc đáo nhất là việc thiết lập thành công nguyên lý so sánh và tính duy nhất của nghiệm $\beta$-nhớt cho phương trình Hamilton-Jacobi tổng quát $u + H(x, u, Du) = 0$ trên không gian Banach có chuẩn $\beta$-trơn đối với lớp nghiệm không bị chặn, mà hoàn toàn loại bỏ giả thiết Radon-Nikodym. Luận án đã mở rộng trực tiếp công trình nền tảng của Borwein (1993) từ phương trình rút gọn $u + H(x, Du) = 0$ sang phương trình đầy đủ, đồng thời giải phóng lý thuyết của Crandall và Lions (1990) khỏi sự phụ thuộc vào tính chất Radon-Nikodym.

2. Đột phá phương pháp luận so với các nghiên cứu quốc tế trước đây thể hiện ở điểm nào? Trả lời: Đột phá phương pháp luận thể hiện ở 2 điểm:

  • So với Deville et al. (1993), luận án cải tiến Bổ đề III.6 để thiết lập đánh giá chặn tích vô hướng vi phân $\sqrt{|x-y|}\sqrt{|p|} < C\varepsilon$, tạo tiền đề giải bài toán duy nhất nghiệm.
  • So với Achdou et al. (2013) và Khang (2015) trên khớp nối, luận án thay thế giả thiết chi phí bị chặn $(H1)$ bằng giả thiết chi phí tăng trưởng hàm mũ $(H2)$ ($|\ell_i| \le C e^{m|x|}$) và đa thức $(H2)^*$ ($|\ell_i| \le C(1+|x|)^m$), thiết lập kỹ thuật đánh giá nghiệm thông qua hàm chặn tiệm cận tại vô cực.

3. Phát hiện bất ngờ và thú vị nhất về mặt cấu trúc giải tích trong luận án là gì? Trả lời: Đó là phát hiện về sự phân tách bản chất giữa các loại nghiệm nhớt trên không gian $\ell_1$: cùng một phương trình $u(x) + (1 - u(x) + |Du(x)|) = 0$, hàm chuẩn $u(x) = |x|$ là một nghiệm Fréchet-nhớt thực sự (do trên vi phân Fréchet rỗng ở mọi nơi) nhưng lại hoàn toàn không phải là nghiệm Gâteaux-nhớt (do tại các điểm khả vi Gâteaux, bất đẳng thức vi phân trở thành $1 + |Du| \le 0$ vô nghiệm). Điều này chứng minh rằng việc nới lỏng borno làm tăng độ mịn của phép khả vi nhưng lại thu hẹp tập nghiệm suy rộng tương ứng.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) chặt chẽ không? Trả lời: Toàn bộ các định lý, bổ đề, mệnh đề và hệ quả trong luận án đều đi kèm chứng minh toán học giải tích chi tiết từng bước (step-by-step rigorous proofs), từ việc xây dựng hàm phạt, chọn dãy xấp xỉ $\varepsilon, \eta$, áp dụng nguyên lý biến phân trơn đến các đánh giá bất đẳng thức giải tích thực vô hạn chiều, đảm bảo tính chuẩn xác và khả năng thẩm định độc lập tuyệt đối của cộng đồng khoa học.

5. Chương trình nghiên cứu 10 năm tiếp theo được vạch ra như thế nào? Trả lời: Trọng tâm 10 năm tới là mở rộng lý thuyết sang: (i) Phương trình Hamilton-Jacobi-Bellman cấp hai trên không gian Hilbert/Banach vô hạn chiều gắn với điều khiển ngẫu nhiên; (ii) Bài toán tối ưu hóa trên mạng lưới đồ thị phức hợp quy mô lớn (Complex Networks & Quantum Graphs); (iii) Phát triển gói thuật toán số giải phương trình vi phân đạo hàm riêng phi tuyến trên cấu trúc khớp nối.

Kết luận

  1. Hệ thống hóa toàn diện lý thuyết dưới vi phân $\beta$-nhớt: Thiết lập đầy đủ các tính chất giải tích, mối quan hệ bao hàm tôpô $\tau_G \subset \tau_H \subset \tau_{WH} \subset \tau_F$, và chứng minh thành công nguyên lý biến phân trơn cải tiến cùng quy tắc tổng mờ nới lỏng trên không gian Banach có chuẩn $\beta$-trơn.
  2. Xác lập tính duy nhất, tồn tại và ổn định của nghiệm $\beta$-nhớt: Giải quyết trọn vẹn bài toán Dirichlet cho phương trình Hamilton-Jacobi tổng quát $u + H(x, u, Du) = 0$ trên tập mở $\Omega \subset X$ trong cả hai lớp hàm bị chặn và không bị chặn mà không sử dụng giả thiết Radon-Nikodym.
  3. Hoàn thiện lý thuyết điều khiển tối ưu vô hạn chiều: Chứng minh hàm giá trị $V(x)$ của bài toán điều khiển thời gian vô hạn chính là nghiệm $\beta$-nhớt duy nhất của phương trình HJB tương ứng, đồng thời thiết lập hệ điều kiện cần và đủ cho điều khiển tối ưu.
  4. Đột phá bài toán điều khiển trên khớp nối với chi phí không bị chặn: Tổng quát hóa hoàn toàn lý thuyết nghiệm nhớt trên mạng lưới $G = \bigcup_{i=1}^N J_i$ từ hàm chi phí bị chặn sang hàm chi phí có độ tăng trưởng hàm mũ $(H2)$ và đa thức $(H2)^*$, chứng minh tính liên tục Lipschitz địa phương của hàm giá trị và đặc trưng hóa điều khiển phản hồi tối ưu tại nút $O$.
  5. Mở ra các nhánh nghiên cứu tiên phong: Đặt nền móng vững chắc cho giải tích không trơn vô hạn chiều, điều khiển ngẫu nhiên trên mạng lưới và giải tích số cho phương trình đạo hàm riêng phi tuyến.

Công trình là một đóng góp học thuật xuất sắc, mẫu mực về tính chính xác và chiều sâu khoa học, khẳng định sự phát triển vượt bậc của trường phái giải tích toán học Việt Nam trên bản đồ toán học quốc tế.