Tổng quan về luận án

Nghiên cứu về lý thuyết điểm bất động metric (Metric Fixed Point Theory) giữ vị trí nền tảng trong giải tích phi tuyến và phân tích hàm hiện đại. Luận án tiến sĩ toán học với đề tài "Về sự tồn tại toán tử Picard trong một số lớp không gian metric suy rộng" của Nghiên cứu sinh Đoàn Trọng Hiếu (chuyên ngành Toán giải tích, mã số 9 46 01 02; hướng dẫn khoa học: PGS. TS Hà Trần Phương và TS. Bùi Thế Hùng, bảo vệ tại Trường Đại học Sư phạm - Đại học Thái Nguyên, 2023) đã giải quyết trọn vẹn những khoảng trống lý thuyết cốt lõi về điều kiện hội tụ của dãy lặp Picard đối với các lớp ánh xạ co suy rộng trên các cấu trúc topo phức hợp.

Khoảng trống nghiên cứu (research gap) chính xuất phát từ sự hạn chế của Nguyên lý ánh xạ co Banach (Banach Contraction Principle - 1922) vốn đòi hỏi tính liên tục toàn cục và hằng số co $r \in [0, 1)$ bất biến. Các cải tiến sau đó của R. Kannan (1968), T. Suzuki (2007, 2008) và J. Górnicki (2018) đã nới lỏng giả thiết liên tục hoặc áp dụng các hàm điều khiển (control functions), song hầu hết chỉ giới hạn trên không gian metric chuẩn tắc $(X, \rho)$. Khi chuyển sang các cấu trúc suy rộng có độ méo hình học như không gian $b$-metric mạnh (strong $b$-metric space với tham số $K \ge 1$) và không gian $b$-TVS metric nón mạnh (strong cone $b$-TVS metric space sinh bởi nón $C$ trong không gian véctơ tôpô lồi địa phương Hausdorff thực $E$), việc thiết lập các điều kiện đủ để một ánh xạ trở thành toán tử Picard đơn trị hoặc toán tử Picard yếu đa trị gặp nhiều trở ngại giải tích phức tạp. Đồng thời, câu hỏi mở của W. Shahzad (2014) về sự tồn tại và duy nhất của bổ sung đủ (completion) cho lớp không gian metric có tham số biến dạng vẫn chưa được giải quyết trong cấu trúc nón tôpô.

Luận án tập trung xử lý hệ thống 03 câu hỏi nghiên cứu và giả thuyết tương ứng:

  1. Câu hỏi 1 (RQ1): Dưới những điều kiện suy rộng nào kết hợp giữa kiểm soát kiểu Banach, kiểu Kannan và kiểm soát tiền điều kiện kiểu Suzuki thì một ánh xạ đơn trị/đa trị trên không gian metric đầy đủ trở thành toán tử Picard yếu? (Giả thuyết H1: Dãy sai số tỉ đối $M(a, b, \alpha)$ và $P(a, b, \alpha)$ triệt tiêu độ lệch quỹ đạo mà không đòi hỏi tính liên tục toàn cục).
  2. Câu hỏi 2 (RQ2): Làm thế nào để mở rộng các định lý của J. Górnicki (2018), R. Kannan (1968) và T. Suzuki (2007) sang không gian $b$-metric mạnh với độ trễ tam giác $D(a, b) \le D(a, c) + K D(c, b)$ ($K \ge 1$)? (Giả thuyết H2: Tham số $K$ kết hợp hệ số $\frac{1}{K+1}$ trong tiền điều kiện kiểm soát lặp đủ để triệt tiêu số hạng nhiễu và bảo toàn tính Cauchy của quỹ đạo).
  3. Câu hỏi 3 (RQ3): Không gian $b$-TVS metric nón mạnh có thỏa mãn nguyên lý bổ sung đủ duy nhất khi nón $C$ không nhất thiết chuẩn tắc nhưng thỏa tính chất lân cận? (Giả thuyết H3: Tồn tại song ánh đẳng cự duy nhất mở rộng không gian lên trạng thái đầy đủ).

Khung lý thuyết nền tảng (Theoretical Framework) tích hợp trực tiếp: Lý thuyết ánh xạ co Banach-Edelstein, Lý thuyết ánh xạ gián đoạn Kannan-Subramanyam, Lý thuyết kiểm soát tiền bước Suzuki, Lý thuyết toán tử Picard I. A. Rus (1983, 1991), và Cấu trúc tôpô lồi địa phương Hausdorff. Đóng góp đột phá của công trình được định lượng qua việc mở rộng phạm vi ứng dụng của dãy lặp Picard đến các lớp phương trình vi phân phi tuyến Cauchy trong không gian hàm $C[0, 1]$ với bán kính lân cận $k \in (0, 1/3)$, công bố 05 bài báo khoa học chuẩn quốc tế ([A1]–[A5]) và mở ra hướng tiếp cận hoàn chỉnh cho lý thuyết điểm bất động suy rộng.

Literature Review và Positioning

Lịch sử phát triển của lý thuyết điểm bất động metric ghi nhận cột mốc khởi đầu từ S. Banach (1922):

"Cho $(X, \rho)$ là không gian metric đầy đủ và $T : X \to X$ là ánh xạ. Giả sử tồn tại $r \in [0, 1)$ sao cho $\rho(Ta, Tb) \le r\rho(a, b)$ với mọi $a, b \in X$. Khi đó, $T$ có điểm bất động duy nhất $\bar{a} \in X$ và với mỗi $a \in X$, dãy lặp ${T^n a}$ hội tụ đến $\bar{a}$."

Tuy nhiên, giới hạn nghiêm ngặt của định lý Banach là hàm $T$ bắt buộc phải liên tục trên toàn không gian. Để vượt qua rào cản này, R. Kannan (1968) đã đưa ra lớp ánh xạ co thỏa mãn $\rho(Ta, Tb) \le r[\rho(a, Ta) + \rho(b, Tb)]$ với $r \in [0, 1/2)$, cho phép hàm gián đoạn tại chính điểm bất động. Ý nghĩa nền tảng của ánh xạ Kannan được P. V. Subramanyam (1975) chứng minh thông qua tính chất đặc trưng đối ngẫu:

"Không gian metric $(X, \rho)$ là đầy đủ nếu và chỉ nếu mọi ánh xạ Kannan đều có điểm bất động duy nhất."

Đến năm 1983 và 1991, I. A. Rus cùng các cộng sự M. Berinde, A. Petruşel đã hệ thống hóa khái niệm toán tử Picard và toán tử Picard yếu (Weak Picard Operators) cho cả trường hợp đơn trị và đa trị $T: X \to CB(X)$ dựa trên metric Hausdorff $H(A, B)$. Sau đó, T. Suzuki (2007, 2008) tạo bước ngoặt khi đề xuất phương pháp làm yếu giả thiết co Banach: chỉ yêu cầu bất đẳng thức co thỏa mãn khi các điểm thỏa tiền điều kiện lân cận quỹ đạo (chẳng hạn $\frac{1}{2}\rho(a, Ta) \le \rho(a, b)$). Năm 2018, J. Górnicki phát triển hướng đi mới bằng cách đưa các lớp hàm điều khiển $f \in \mathcal{S}$ và $\phi \in \mathcal{H}$ vào đánh giá khoảng cách Kannan.

Banach (1922) [Metric đầy đủ, Co liên tục toàn cục]

Mâu thuẫn học thuật (Debates) nảy sinh giữa hai luồng quan điểm:

  1. Quan điểm giải tích cổ điển: Cho rằng việc nới lỏng không gian sang $b$-metric (Czerwik 1993) hay metric nón (Huang & Zhang 2007) chỉ là sự "tầm thường hóa hình thức" nếu nón chuẩn tắc (normal cone) cho phép quy về metric thực thông qua hàm chuẩn.
  2. Quan điểm cấu trúc tôpô suy rộng: Sh. Rezapour & R. Hamlbarani (2008), Hamlbarani (2011) và W. Shahzad (2014) phản bác và chứng minh rằng trên nón phi chuẩn tắc (non-normal cones) hoặc không gian $b$-metric mạnh với bất đẳng thức tam giác bất đối xứng $D(a, b) \le D(a, c) + K D(c, b)$ ($K > 1$), tôpô sinh ra không còn là tôpô metric thông thường và các đánh giá dãy Cauchy bị phá vỡ.

Đặc biệt, W. Shahzad (2014) đã đặt ra bài toán mở quốc tế:

"Liệu mọi không gian $b$-metric mạnh $X$ có trù mật trong một không gian $b$-metric mạnh đầy đủ $X^0$ hay không?"

Luận án của Đoàn Trọng Hiếu định vị chính xác tại giao điểm của các tranh luận này: xây dựng các định lý điểm bất động không phụ thuộc vào tính chuẩn tắc của nón, tích hợp điều kiện tiền bước kiểu Suzuki vào không gian $b$-metric mạnh với hệ số điều chỉnh $\frac{1}{K+1}$, và giải quyết hoàn toàn bài toán mở của W. Shahzad trong không gian $b$-TVS metric nón mạnh.

So sánh với các nghiên cứu quốc tế tiêu biểu:

  • So với J. Górnicki (Fixed Point Theory and Applications, 2018): Górnicki chỉ giải quyết trong không gian metric thông thường ($K=1$). Luận án mở rộng thành công lên không gian $b$-metric mạnh với tham số $K \ge 1$ tùy ý và thiết lập lớp ánh xạ Kannan-Suzuki mới.
  • So với Sh. Hamlbarani (Fixed Point Theory and Applications, 2011): Hamlbarani chỉ xét không gian nón TVS với metric đối xứng thông thường. Luận án mở rộng sang hệ thống $b$-TVS metric nón mạnh có tham số $K$ và giải quyết thành công nguyên lý bổ sung đủ duy nhất.

Đó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à thách thức các giới hạn của 04 lý thuyết toán học nền tảng:

  1. Phát triển Lý thuyết Picard yếu trong không gian metric (Chương 1): Thiết lập Định lý 1.1 cho ánh xạ đơn trị thỏa mãn: $$\frac{1}{2}\rho(a, Ta) \le \rho(a, b) \implies \rho(Ta, Tb) \le M(a, b, \alpha)\rho(a, b)$$ với nhân tử phân thức phi tuyến: $$M(a, b, \alpha) = \frac{\rho(a, Tb) + \rho(b, Ta) + \rho(a, b)}{2\rho(a, Ta) + \rho(b, Tb) + \alpha}, \quad \alpha > 0$$ và mở rộng cho ánh xạ đa trị $T: X \to CB(X)$ qua khoảng cách Hausdorff (Định lý 1.4) với nhân tử $P(a, b, \alpha)$. Đây là mô hình kết hợp đồng thời ưu điểm của điều kiện co Banach, co Kannan và điều kiện tiền lặp Suzuki.
  2. Khái quát hóa Lý thuyết hàm điều khiển Górnicki trong không gian $b$-metric mạnh (Chương 2): Chứng minh Định lý 2.4 và Định lý 2.6 cho hai họ hàm điều khiển: $$\mathcal{S} = \left{f : (0, \infty) \to \left[0, \frac{1}{2}\right) : f(t_n) \to \frac{1}{2} \implies t_n \to 0\right}$$ $$\mathcal{H} = \left{\phi : (0, \infty) \to \left[0, \frac{1}{3}\right) : \phi(t_n) \to \frac{1}{3} \implies t_n \to 0\right}$$ Khi $K = 1$, các kết quả này bao hàm hoàn toàn các định lý kinh điển của Górnicki (2018) và Kannan (1968).
  3. Đề xuất và giải quyết lớp ánh xạ Kannan-Suzuki mới (Chương 2): Thiết lập Định lý 2.8 xác lập điều kiện đủ để $T$ là toán tử Picard trong $(X, D, K)$: $$\frac{1}{K+1}D(a, Ta) \le D(a, b) \implies D(Ta, Tb) \le s[D(a, Ta) + D(b, Tb)], \quad s \in \left[0, \frac{1}{2}\right)$$ Đồng thời mở rộng cho trường hợp không gian compact (Định lý 2.13) và trường hợp đa trị (Định lý 2.2 cho $T: X \to CB(X)$), mở rộng kết quả của L. S. Singh (1991).
  4. Giải quyết bài toán mở Shahzad trong không gian $b$-TVS metric nón mạnh (Chương 3): Định nghĩa không gian $(X, E, C, K, \rho)$ với nón $C$ trong không gian véctơ tôpô lồi địa phương Hausdorff thực $E$. Chứng minh Định lý 3.7 xác lập rằng mọi không gian $b$-TVS metric nón mạnh đều có bổ sung đủ duy nhất sai khác một song ánh đẳng cự $\varphi: X_1^* \to X_2^*$ đồng nhất trên $X$.

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

Khung phân tích của luận án kết nối chặt chẽ ba trụ cột lý thuyết: Hình học không gian nón tôpô $\leftrightarrow$ Giải tích bất đẳng thức điều khiển phi tuyến $\leftrightarrow$ Động lực học của quỹ đạo lặp Picard ${T^n a_0}$.

Điều kiện biên xác định (Boundary Conditions):

  • Đối với không gian $b$-metric mạnh: Tham số biến dạng tam giác $K \ge 1$. Khi $K=1$, không gian suy biến về metric thông thường.
  • Đối với tham số co: $s \in [0, 1/2)$ đối với dạng Kannan; $s \in [0, 1)$ đối với dạng Banach; $q \in (0, 1/2)$ đối với lớp hàm điều khiển $\mathcal{F}_q$.
  • Đối với nón $C$: Không yêu cầu nón chuẩn tắc (Normal Cone), chỉ cần phần trong $\operatorname{int} C \neq \emptyset$ hoặc thỏa mãn tính chất hệ lân cận gốc trong không gian lồi địa phương Hausdorff $E$.

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

Thiết kế nghiên cứu

Luận án vận dụng triệt để thế giới quan suy diễn tiên đề giải tích (Axiomatic-Deductive Paradigm) và phương pháp luận giải tích phi tuyến cấu trúc. Thiết kế nghiên cứu không dựa trên khảo sát thực nghiệm số đông mà sử dụng phương pháp xây dựng mô hình toán học giải tích thuần túy (Pure Mathematical Analytic Methodology) với mức độ chặt chẽ tuyệt đối.

  • Thiết kế phân tầng 3 cấp độ (Three-tier Multilevel Design):
    • Cấp độ 1 (Metric nền tảng): Phân tích cấu trúc lặp trên metric chuẩn $(X, \rho)$ với các điều kiện suy biến quỹ đạo.
    • Cấp độ 2 (Biến dạng tham số $K$): Khảo sát metric bất đối xứng $b$-metric mạnh $(X, D, K)$.
    • Cấp độ 3 (Trừu tượng hóa đại số tôpô): Khảo sát metric ánh xạ vào nón $C$ của không gian vectơ tôpô lồi địa phương $E$.

Quy trình nghiên cứu rigorous

Quy trình giải tích tuân thủ các bước chứng minh toán học nghiêm ngặt:

  1. Thiết lập dãy lặp Picard: Khởi tạo $a_0 \in X$, xây dựng dãy quỹ đạo $a_{n+1} = T a_n$ (đối với ánh xạ đơn trị) hoặc $a_{n+1} \in T a_n$ thỏa mãn khoảng cách Hausdorff tối ưu qua Bổ đề chọn lọc (đối với ánh xạ đa trị).
  2. Kỹ thuật ước lượng sai số co: Chứng minh dãy số thực không âm $D_n = D(a_n, a_{n+1})$ là dãy đơn điệu giảm ngặt và bị chặn dưới bởi 0, từ đó suy ra $\lim_{n \to \infty} D_n = 0$.
  3. Chứng minh tính Cauchy toàn cục: Sử dụng bất đẳng thức tam giác suy rộng chứa tham số $K$ và chặn chuỗi hội tụ $\sum_{n=1}^\infty D_n < \infty$ để khẳng định ${a_n}$ là dãy Cauchy.
  4. Khai thác tính đầy đủ: Nhờ tính đầy đủ của không gian, suy ra sự tồn tại điểm hội tụ $\lim_{n \to \infty} a_n = \bar{a} \in X$.
  5. Chứng minh điểm bất động bằng phản chứng: Thiết lập mệnh đề phân đôi (Dichotomy Proposition): với mọi $n \ge 0$, chỉ xảy ra một trong hai khả năng về khoảng cách lân cận tới $\bar{a}$, từ đó trích dãy con ${a_{n_k}}$ hội tụ để kết luận $T\bar{a} = \bar{a}$.

Data và phân tích

Trong nghiên cứu toán học lý thuyết, "dữ liệu" là các không gian mẫu cụ thể, các phản ví dụ (Counterexamples) và cấu trúc hàm giải tích:

  • Kiểm định tính độc lập và mở rộng thực sự (Robustness & Counterexamples): Luận án đã xây dựng hàng loạt ví dụ số trên tập hữu hạn $X = {0, 1, 2}$ với ma trận khoảng cách xác định để chứng minh:
    • Tồn tại ánh xạ thỏa mãn định lý mới của luận án nhưng vi phạm hoàn toàn Định lý Górnicki hoặc Định lý Suzuki (chẳng hạn Ví dụ 1.2, Ví dụ 2.5, Ví dụ 2.7, Ví dụ 3.8).
    • Chứng minh tính liên tục trong Định lý 2.13 (không gian compact) là điều kiện ắt, không thể loại bỏ (qua phản ví dụ 2.16).
  • Công cụ hỗ trợ: Sử dụng hệ thống phần mềm tính toán ký hiệu và kiểm chứng biểu thức giải tích (Maple/Mathematica), kết hợp hệ thống soạn thảo học thuật LaTeX định dạng chuẩn quốc tế.

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

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

  1. Phát hiện 1: Cơ chế triệt tiêu điều kiện liên tục qua nhân tử $M(a, b, \alpha)$: Khác với ánh xạ co Banach đòi hỏi $T$ liên tục trên toàn không gian, lớp ánh xạ trong Định lý 1.1 cho phép $T$ gián đoạn tại vô số điểm nhưng vẫn đảm bảo dãy lặp Picard hội tụ về điểm bất động duy nhất nếu $M(a, b, \alpha) < 1$.
  2. Phát hiện 2: Hệ số chặn $\frac{1}{K+1}$ kiểm soát hoàn hảo độ méo của $b$-metric mạnh: Khi chuyển từ metric thông thường sang $b$-metric mạnh, hằng số tam giác $K \ge 1$ làm giãn khoảng cách lặp. Luận án phát hiện rằng việc thay thế tiền điều kiện $\frac{1}{2} D(a, Ta) \le D(a, b)$ thành $\frac{1}{K+1} D(a, Ta) \le D(a, b)$ là chuẩn xác tuyệt đối để vô hiệu hóa số hạng nhiễu $K D(c, b)$ trong quá trình lập dãy Cauchy.
  3. Phát hiện 3: Sự bảo toàn tính chất Picard yếu dưới cấu trúc đa trị Hausdorff: Với ánh xạ đa trị $T: X \to CB(X)$, việc sử dụng bổ đề mở rộng khoảng cách $\rho(a, b) < q \cdot H(A, B)$ ($q > 1$) kết hợp dãy số $h_n = \frac{1}{\sqrt{c_n}}$ cho phép xây dựng quỹ đạo lặp ${a_n}$ hội tụ hình học về điểm bất động $\bar{a} \in T\bar{a}$.
  4. Phát hiện 4: Lời giải hoàn chỉnh cho bài toán hoàn thiện không gian nón TVS: Chứng minh rằng tính chất lân cận của nón trong không gian vectơ tôpô lồi địa phương Hausdorff thực $E$ là điều kiện tối cần và đủ để thiết lập bổ sung đủ của $(X, E, C, K, \rho)$, mở rộng vượt bậc kết quả năm 2014 của W. Shahzad.
  5. Phát hiện 5: Ứng dụng giải quyết nghiệm duy nhất của bài toán Cauchy phi tuyến: Ứng dụng Hệ quả 2.9 để giải quyết bài toán phương trình vi phân phi tuyến: $$\begin{cases} \dfrac{da}{dt} = f(t, a) \ a(0) = a_0 \end{cases}$$ trên không gian metric đầy đủ các hàm liên tục $C[0, 1]$ với chuẩn supremum $|f|\infty = \sup{t \in [0, 1]} |f(t)|$, xác lập miền nghiệm duy nhất trên tập đóng $X = {a \in C[0, 1] : |a(t) - a_0| \le k}$ với bán kính lân cận $k \in (0, 1/3)$.

Implications đa chiều

  • Ý nghĩa lý thuyết: Cung cấp hệ thống định lý toàn diện cho lý thuyết toán tử Picard, làm cầu nối giữa giải tích topo trừu tượng và lý thuyết xấp xỉ nghiệm.
  • Ý nghĩa phương pháp luận: Kỹ thuật tách chuỗi và đánh giá phân đôi lân cận điểm bất động tạo ra công cụ chuẩn mực cho các nghiên cứu tiếp theo về không gian metric phân thứ cấp.
  • Ý nghĩa thực tiễn: Tạo cơ sở toán học vững chắc để giải các phương trình tích phân, phương trình vi phân đạo hàm riêng xuất hiện trong mô hình hóa động học chất lưu, kinh tế lượng phi tuyến và điều khiển học tối ưu.

Limitations và Future Research

Mặc dù đạt được những kết quả đột phá, luận án thẳng thắn ghi nhận 04 giới hạn nghiên cứu (Boundary Conditions & Limitations):

  1. Giới hạn không gian lồi địa phương: Các kết quả ở Chương 3 phụ thuộc vào tính lồi địa phương Hausdorff của không gian vectơ tôpô $E$; chưa mở rộng được cho các không gian tôpô phi tuyến hoặc không gian Fréchet tổng quát không có tính lồi.
  2. Giới hạn tham số co: Hằng số co kiểu Kannan bị chặn nghiêm ngặt ở ngưỡng $s \in [0, 1/2)$; các giá trị $s \ge 1/2$ dẫn đến sự phân kỳ quỹ đạo chưa thể kiểm soát.
  3. Giới hạn liên tục trong không gian compact: Trong không gian $b$-metric mạnh compact (Định lý 2.13), giả thiết ánh xạ $T$ phải liên tục là bắt buộc (phản ví dụ 2.16 đã chứng minh không thể bỏ qua).

Chương trình nghiên cứu tương lai (Future Research Agenda):

  1. Mở rộng toán tử Picard trên các cấu trúc không gian metric suy rộng mới: Không gian $F$-metric, không gian Modular metric và không gian metric mờ (Fuzzy Metric Spaces).
  2. Nghiên cứu sự tồn tại điểm bất động chung (Common Fixed Point) cho họ các ánh xạ giao hoán kiểu Kannan-Suzuki trên không gian $b$-TVS metric nón.
  3. Thiết lập tốc độ hội tụ định lượng (Quantitative Convergence Rates) và đánh giá sai số tiên nghiệm/hậu nghiệm cho dãy lặp Picard xấp xỉ nghiệm phương trình tích - vi phân phân số (Fractional Integro-Differential Equations).
  4. Khảo sát tính ổn định nghiệm kiểu Ulam-Hyers (Ulam-Hyers Stability) của toán tử Picard trong các lớp không gian metric nón suy rộng.

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

Luận án khẳng định vị thế học thuật thông qua các chỉ số tác động cụ thể:

Kênh tác động Chỉ số / Địa chỉ cụ thể Phạm vi ảnh hưởng
Công bố học thuật 05 công trình khoa học ([A1]–[A5]) trên các tạp chí chuyên ngành Toán học uy tín Cộng đồng Giải tích hàm & Điểm bất động quốc tế
Báo cáo chuyên môn Hội thảo Tối ưu và Tính toán Khoa học toàn quốc lần thứ 19 (Ba Vì); Seminar chuyên đề Bộ môn Giải tích ĐH Sư phạm Thái Nguyên Mạng lưới các nhà nghiên cứu Toán giải tích Việt Nam
Tiềm năng trích dẫn Ước tính 30–50 lượt trích dẫn trong 5 năm từ các nhóm nghiên cứu về Nonlinear Analysis & Fixed Point Theory Quốc tế (ISI/Scopus, MathSciNet, zbMATH)
Đào tạo & R&D Giáo trình cao học chuyên ngành Giải tích toán học, thuật toán mô phỏng nghiệm giải tích trong cơ học kỹ thuật Các trường đại học, viện nghiên cứu toán ứng dụng

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

  • Nghiên cứu sinh và Học viên cao học (Doctoral Researchers): Tiếp cận khung phương pháp luận giải tích tiên tiến, các kỹ thuật xử lý bất đẳng thức metric suy rộng và danh mục các bài toán mở giàu tiềm năng khai thác luận án.
  • Giảng viên và Nhà nghiên cứu cao cấp (Senior Academics): Nắm bắt các định lý tổng quát hóa để tích hợp vào bài giảng chuyên đề Giải tích hàm phi tuyến, Lý thuyết điểm bất động và Phương trình vi phân trừu tượng.
  • Kỹ sư tính toán và Chuyên gia R&D (Computational Engineers): Ứng dụng nguyên lý co và dãy lặp Picard để thiết kế các thuật toán lặp số giải hệ phương trình phi tuyến lớn trong mô phỏng vật lý và trí tuệ nhân tạo.
  • Cơ quan quản lý khoa học & Đào tạo: Khẳng định chất lượng đào tạo tiến sĩ đạt chuẩn quốc tế của Đại học Thái Nguyên trong việc giải quyết các bài toán lý thuyết nền tả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?

Đóng góp độc đáo nhất là việc xây dựng lớp ánh xạ Kannan-Suzuki trên không gian $b$-metric mạnh đầy đủ $(X, D, K)$ (Định lý 2.8) và giải quyết trọn vẹn Nguyên lý bổ sung đủ duy nhất cho không gian $b$-TVS metric nón mạnh (Định lý 3.7). Luận án đã tích hợp đồng thời tư tưởng co gián đoạn của R. Kannan (1968), tiền điều kiện quỹ đạo lặp của T. Suzuki (2007) và tham số méo hình học $K \ge 1$, mở rộng vượt bậc các kết quả của J. Górnicki (2018) và trả lời trọn vẹn bài toán mở của W. Shahzad (2014).

2. Sự đổi mới về phương pháp luận nghiên cứu khi so sánh với các công trình quốc tế trước đây?

So với J. Górnicki (2018) vốn chỉ thao tác trên metric chuẩn phẳng ($K=1$) và Sh. Hamlbarani (2011) chỉ xét nón trong metric đối xứng đơn giản, luận án đã đổi mới phương pháp luận qua việc thiết lập hệ số kiểm soát $\frac{1}{K+1}$ đồng bộ với độ trễ tam giác $K$. Kỹ thuật phân đôi lân cận (Dichotomy Technique) được tinh chỉnh để áp dụng thành công cho cả ánh xạ đa trị thông qua metric Hausdorff trên $CB(X)$ mà không đòi hỏi nón phải có tính chuẩn tắc.

3. Phát hiện bất ngờ nhất có số liệu/bằng chứng toán học chứng minh là gì?

Phát hiện bất ngờ nhất nằm ở Định lý 2.13 và Phản ví dụ 2.16: Trong không gian $b$-metric mạnh compact, dù ánh xạ kiểu Kannan-Suzuki thỏa mãn điều kiện co nghiêm ngặt với mọi điểm thuộc lân cận quỹ đạo, nhưng nếu thiếu giả thiết liên tục của ánh xạ $T$, dãy lặp Picard có thể không hội tụ về điểm bất động duy nhất. Điều này vạch rõ ranh giới giải tích giữa không gian đầy đủ (không cần liên tục) và không gian compact (bắt buộc liên tục).

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) hoàn chỉnh không?

Hoàn toàn minh bạch và chặt chẽ. Toàn bộ các bước chứng minh giải tích, việc lựa chọn các hằng số phụ trợ (như $h_n = \frac{1}{\sqrt{c_n}}$), các hàm điều khiển giải tích mẫu trong các lớp $\mathcal{S}, \mathcal{H}, \mathcal{F}_q$ (ví dụ hàm mũ $f(t) = \frac{1}{2}e^{-t/6}$, $\phi(t) = \frac{1}{3}e^{-t/6}$) và các ma trận khoảng cách cụ thể trên tập $X={0, 1, 2}$ đều được trình bày chi tiết từng bước, cho phép bất kỳ nhà toán học nào cũng có thể kiểm chứng độc lập.

5. Kế hoạch nghiên cứu 10 năm được định hình như thế nào?

Chiến lược 10 năm hướng tới: (1) Số hóa và thuật toán hóa các định lý Picard suy rộng thành các thư viện phần mềm giải số cho phương trình vi tích phân; (2) Mở rộng lý thuyết điểm bất động sang các cấu trúc hình học phức hợp phi mêtric (như không gian Banach dạng nón mờ, đa tạp Finsler suy rộng); (3) Ứng dụng lý thuyết toán tử Picard trong tối ưu hóa học máy và mô hình cân bằng Nash trong lý thuyết trò chơi vi phân.

Kết luận

Luận án tiến sĩ của tác giả Đoàn Trọng Hiếu là một công trình nghiên cứu toán học xuất sắc, mẫu mực và hoàn chỉnh, mang lại 05 đóng góp nền tảng mang tính bước ngoặt:

  1. Xác lập hệ thống điều kiện đủ mới để ánh xạ đơn trị và đa trị là toán tử Picard yếu trên không gian metric đầy đủ thông qua các hàm phân thức hữu tỉ $M(a, b, \alpha)$ và $P(a, b, \alpha)$.
  2. Tổng quát hóa xuất sắc các định lý điều khiển Górnicki sang không gian $b$-metric mạnh với tham số biến dạng $K \ge 1$.
  3. Khởi xướng và giải quyết trọn vẹn lý thuyết điểm bất động cho lớp ánh xạ Kannan-Suzuki đơn trị và đa trị trong không gian $b$-metric mạnh đầy đủ và compact.
  4. Đề xuất khái niệm không gian $b$-TVS metric nón mạnh và giải quyết dứt điểm bài toán mở quốc tế của W. Shahzad về nguyên lý bổ sung đủ duy nhất.
  5. Hiện thực hóa ứng dụng giải tích lý thuyết vào việc chứng minh sự tồn tại và duy nhất nghiệm của lớp phương trình vi phân phi tuyến Cauchy trong không gian hàm liên tục $C[0, 1]$.

Công trình đã mở ra ít nhất 03 nhánh nghiên cứu mới trong giải tích phi tuyến hiện đại, nâng tầm hội nhập quốc tế của toán học giải tích Việt Nam và để lại giá trị học thuật lâu dài cho cộng đồng khoa học trong và ngoài nước.