Tổng quan về luận án

Lý thuyết điểm bất động metric (Metric Fixed Point Theory) khởi nguồn từ công trình kinh điển năm 1922 của nhà toán học Ba Lan Stefan Banach với "Nguyên lý ánh xạ co Banach" (Banach Contraction Principle): "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}$". Trải qua hơn một thế kỷ, lý thuyết này đã phát triển thành một trụ cột của giải tích phi tuyến và giải tích hàm hiện đại. Tuy nhiên, các điều kiện co Banach truyền thống đòi hỏi tính liên tục toàn cục ngặt nghèo và cấu trúc khoảng cách metric Euclid chuẩn tắc, bộc lộ nhiều hạn chế khi xử lý các mô hình phương trình vi phân phi tuyến, hệ động lực gián đoạn và các cấu trúc tôpô suy rộng.

Khoảng trống học thuật (Research Gap) cốt lõi xuất hiện trên ba phương diện: (1) Tính ngặt nghèo của điều kiện co toàn cục đối với mọi cặp phần tử $(a, b) \in X \times X$ thay vì chỉ cần kiểm tra trên một tập con có điều kiện dẫn đường (steering condition); (2) Sự thiếu hụt các định lý hội tụ Picard/Picard yếu cho các toán tử đơn trị và đa trị trên không gian $b$-metric mạnh $(X, D, K)$ với hằng số $K \ge 1$; (3) Câu hỏi mở chưa có lời giải thỏa đáng trong không gian metric nón suy rộng trên không gian vectơ tôpô (TVS) về sự tồn tại điểm bất động và định lý bổ sung đủ (completion theorem) mà không cần ràng buộc nón chuẩn tắc (normal cone).

Luận án tiến sĩ Toán học của NCS Đoàn Trọng Hiếu 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" (Chuyên ngành: Toán giải tích, Mã số: 9 46 01 02, Trường Đại học Sư phạm - Đại học Thái Nguyên, dưới sự hướng dẫn của PGS. TS. Hà Trần Phương và TS. Bùi Thế Hùng) đã giải quyết trọn vẹn các khoảng trống này thông qua hệ thống câu hỏi nghiên cứu và giả thuyết khoa học:

  • Câu hỏi nghiên cứu 1 (Q1): Có thể thiết lập các điều kiện đủ dạng hữu tỉ có tham số $\alpha > 0$ kết hợp giữa Banach, Kannan và Suzuki để ánh xạ đơn trị và đa trị trở thành toán tử Picard yếu trong không gian metric đầy đủ hay không?
    • Giả thuyết 1 (H1): Ràng buộc $\frac{1}{2}\rho(a, Ta) \le \rho(a, b)$ kết hợp hệ số hữu tỉ suy biến $M(a, b, \alpha)$ bảo toàn tính Cauchy của dãy lặp và sự hội tụ về điểm bất động.
  • Câu hỏi nghiên cứu 2 (Q2): Làm thế nào để mở rộng lớp ánh xạ kiểu Kannan với hàm điều khiển Górnicki và cấu trúc Kannan-Suzuki sang không gian $b$-metric mạnh đầy đủ $(X, D, K)$?
    • Giả thuyết 2 (H2): Hệ số điều khiển $\frac{1}{K+1}D(a, Ta) \le D(a, b)$ khắc phục được độ lệch của bất đẳng thức tam giác suy rộng $D(a, b) \le D(a, c) + K D(c, b)$, đảm bảo ánh xạ là toán tử Picard đơn trị và Picard yếu đa trị.
  • Câu hỏi nghiên cứu 3 (Q3): Có thể xây dựng lý thuyết điểm bất động và nguyên lý bổ sung đủ cho không gian $b$-TVS metric nón mạnh mà không phụ thuộc vào tính chuẩn tắc của nón hay không?
    • Giả thuyết 3 (H3): Sử dụ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$ cho phép thiết lập bổ sung đủ duy nhất sai khác một song ánh đẳng cự.

Khung lý thuyết (Theoretical Framework) tích hợp Giải tích hàm phi tuyến, Lý thuyết toán tử Picard (I.A. Rus, 1983/1991), và Tôpô không gian nón. Phạm vi nghiên cứu bao quát 3 hệ thống không gian cấu trúc, giải quyết 15 định lý và hệ quả đột phá, đồng thời minh chứng ứng dụng trực tiếp định lượng vào nghiệm duy nhất của bài toán Cauchy cho phương trình vi phân cấp một với tham số co $k \in (0, 1/3)$ trên không gian Banach $C[0, 1]$.

Literature Review và Positioning

Lịch sử phát triển của lý thuyết toán tử Picard ghi nhận nhiều nhánh nghiên cứu chính:

  1. Mở rộng điều kiện co trong không gian metric: M. Edelstein (1962) nới lỏng điều kiện co nghiêm ngặt trên không gian compact. R. Kannan (1968) tạo ra bước ngoặt lịch sử khi công bố điều kiện $\rho(Ta, Tb) \le r[\rho(a, Ta) + \rho(b, Tb)]$ với $r \in [0, 1/2)$, cho phép ánh xạ có điểm bất động duy nhất ngay cả khi $T$ gián đoạn. P. Subramanyam (1975) chứng minh mệnh đề nổi tiếng: "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". Tiếp đó, T. Suzuki (2007, 2008) giới thiệu điều kiện co loại bỏ kiểm tra toàn cục bằng hàm tham số không tăng $\phi(r)$, mở ra hướng nghiên cứu điều kiện co kiểu Suzuki. J. Górnicki (2018) đưa vào các lớp hàm điều khiển $\mathcal{S}$ và $\mathcal{H}$ để tổng quát hóa điều kiện co Kannan và Bianchini.
  2. Toán tử Picard và Picard yếu (Weak Picard Operators): I.A. Rus (1983, 1991, 2003) và V. Berinde định nghĩa toán tử Picard (tập điểm bất động là singleton $Fix(T) = {\bar{a}}$ và dãy lặp $T^n a \to \bar{a}$) và Picard yếu ($Fix(T) \ne \emptyset$ và $T^n a \to \bar{a} \in Fix(T)$). Đối với trường hợp ánh xạ đa trị $T: X \to CB(X)$, L.G. Singh (1991) đã thiết lập định lý điểm bất động kiểu Kannan đa trị sử dụng metric Hausdorff $H(A, B)$.
  3. Mở rộng cấu trúc không gian metric: Khái niệm không gian $b$-metric được giới thiệu bởi I.A. Bakhtin (1989) và S. Czerwik (1993). Để khắc phục việc $b$-metric không cảm sinh tôpô khả mêtric hóa thuận lợi, W. Shahzad et al. (2014) đề xuất không gian $b$-metric mạnh $(X, D, K)$ với $K \ge 1$ và đặt ra câu hỏi mở nổi tiếng: "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^$ hay không?"*. Ở một hướng khác, L.G. Zhang (2007) mở rộng sang không gian metric nón (Cone Metric Spaces) với nón chuẩn tắc, sau đó Sh. Hamlbarani (2010) loại bỏ giả thiết chuẩn tắc trên không gian Banach.
Luồng nghiên cứu / Tác giả Điều kiện không gian Bản chất điều kiện co Ràng buộc liên tục / Tôpô
S. Banach (1922) Metric đầy đủ $(X, \rho)$ $\rho(Ta, Tb) \le r\rho(a, b), r \in [0, 1)$ Bắt buộc liên tục toàn cục
R. Kannan (1968) Metric đầy đủ $(X, \rho)$ $\rho(Ta, Tb) \le r[\rho(a, Ta) + \rho(b, Tb)], r \in [0, 1/2)$ Cho phép gián đoạn, kiểm tra toàn cục
T. Suzuki (2007, 2008) Metric đầy đủ $(X, \rho)$ $\phi(r)\rho(a, Ta) \le \rho(a, b) \implies \rho(Ta, Tb) \le r\rho(a, b)$ Điều kiện dẫn đường định xứ
J. Górnicki (2018) Metric đầy đủ $(X, \rho)$ Dùng hàm điều khiển $f \in \mathcal{S}$ và $\phi \in \mathcal{H}$ Ràng buộc metric chuẩn tắc
W. Shahzad et al. (2014) $b$-metric mạnh $(X, D, K)$ Khảo sát điểm bất động, đặt câu hỏi về bổ sung đủ Chưa có lý thuyết nón TVS tổng quát
Luận án (Đoàn Trọng Hiếu, 2023) Metric, $b$-metric mạnh, $b$-TVS nón mạnh Tích hợp Suzuki-Kannan, hàm điều khiển $\mathcal{S}, \mathcal{H}, \mathcal{F}_q$, nón TVS lồi địa phương Không cần liên tục, không cần nón chuẩn tắc, giải quyết câu hỏi bổ sung đủ

So sánh đối chuẩn quốc tế cho thấy: (1) So với công trình của J. Górnicki (2018, Fixed Point Theory and Applications), luận án không chỉ mở rộng các lớp hàm điều khiển từ metric sang $b$-metric mạnh với hệ số $K \ge 1$ mà còn thiết lập cấu trúc Kannan-Suzuki mới; (2) So với công trình của W. Shahzad et al. (2014) và T. Došenović et al. (2016), luận án đã nâng cấp nguyên lý bổ sung đủ từ cấu trúc metric số thực lên không gian vectơ tôpô lồi địa phương Hausdorff thực $E$ với nón $C$ thỏa mãn tính chất lân cận.

Đó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 lý thuyết điểm bất động giải tích cổ điển thông qua 3 hệ thống định lý nền tảng:

  1. Mở rộng lý thuyết toán tử Picard yếu trong metric chuẩn: Thiết lập Định lý 1.1 cho ánh xạ đơn trị: Cho $(X, \rho)$ là không gian metric đầy đủ, $\alpha > 0$. Nếu thỏa mãn mệnh đề: $$\frac{1}{2}\rho(a, Ta) \le \rho(a, b) \implies \rho(Ta, Tb) \le M(a, b, \alpha)\rho(a, b)$$ với biểu thức hữu tỉ suy biến: $$M(a, b, \alpha) = \frac{\rho(a, Tb) + \rho(b, Ta) + \rho(a, b)}{2\rho(a, Ta) + \rho(b, Tb) + \alpha}$$ thì $T$ là toán tử Picard yếu. Nếu bổ sung $M(a, b, \alpha) < 1, \forall a, b \in X$, thì $Fix(T)$ là duy nhất (Toán tử Picard). Định lý 1.4 mở rộng trực tiếp sang ánh xạ đa trị $T: X \to CB(X)$ với metric Hausdorff $H(T a, T b) \le P(a, b, \alpha)\rho(a, b)$ khi $\frac{1}{2}d(a, Ta) \le \rho(a, b)$, trong đó: $$P(a, b, \alpha) = \frac{d(a, Tb) + d(b, Ta) + \rho(a, b)}{2d(a, Ta) + \delta(b, Tb) + \alpha}$$

  2. Thiết lập mô hình ánh xạ Kannan-Suzuki trong không gian $b$-metric mạnh: Định nghĩa cấu trúc ánh xạ Kannan-Suzuki trên $(X, D, K)$: Tồn tại $s \in [0, 1/2)$ sao cho với mọi $a, b \in X$: $$\frac{1}{K+1}D(a, Ta) \le D(a, b) \implies D(Ta, Tb) \le s\left[D(a, Ta) + D(b, Tb)\right]$$ Chứng minh Định lý 2.8 khẳng định mọi ánh xạ Kannan-Suzuki trên không gian $b$-metric mạnh đầy đủ đều là toán tử Picard. Khi $K=1$, ta thu được Hệ quả 2.9 mở rộng định lý Kannan kinh điển năm 1968 vì điều kiện chỉ cần kiểm tra khi $\frac{1}{2}\rho(a, Ta) \le \rho(a, b)$ thay vì toàn không gian.

  3. Tổng quát hóa hàm điều khiển và mở rộng đa trị: Mở rộng kết quả của J. Górnicki (2018) trên $(X, D, K)$ cho lớp hàm: $$\mathcal{S} = \left{f : (0, \infty) \to [0, 1/2) \mid f(t_n) \to \frac{1}{2} \implies t_n \to 0\right}$$ $$\mathcal{H} = \left{\phi : (0, \infty) \to [0, 1/3) \mid \phi(t_n) \to \frac{1}{3} \implies t_n \to 0\right}$$ và lớp hàm phụ thuộc tham số $\mathcal{F}_q$ với $q \in (0, 1/2)$. Đồng thời, Định lý 2.15 mở rộng định lý L.G. Singh (1991) cho ánh xạ Kannan-Suzuki đa trị trên không gian $b$-metric mạnh đầy đủ.

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

Khung phân tích của luận án kết nối ba trụ cột giải tích:

  • Trụ cột 1: Lý thuyết không gian metric suy rộng với tham số biến dạng tam giác $K \ge 1$, thỏa mãn tiên đề: $$D(a, b) \le D(a, c) + K D(c, b), \quad \forall a, b, c \in X$$
  • Trụ cột 2: Cấu trúc đại số tôpô trên không gian vectơ tôpô lồi địa phương Hausdorff thực $E$ với nón $C \subset E$ có phần trong khác rỗng $\operatorname{int} C \ne \emptyset$ hoặc thỏa mãn tính chất lân cận của nón (Cone Neighborhood Property): với mọi lân cận $V$ của gốc $\theta$ trong $E$, tồn tại lân cận lồi $U$ của $\theta$ sao cho $(U - C) \cap C \subset V$.
  • Trụ cột 3: Kỹ thuật đánh giá dãy lặp Picard phi tuyến kết hợp khử số hạng bằng bất đẳng thức phân chia phản chứng.

Điều kiện biên xác định: $K \ge 1$; $s \in [0, 1/2)$; tham số $\alpha > 0$; hàm điều khiển xác định trên $(0, \infty)$.

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

Thiết kế nghiên cứu

Nghiên cứu vận hành theo lập trường nhận thức luận Diễn dịch Logic Toán học Tiên đề (Axiomatic Deductive Positivism). Toàn bộ hệ thống kết quả được phát triển thông qua suy luận giải tích hàm thuần túy, chứng minh quy nạp và phân tích bất đẳng thức tiên nghiệm (a priori estimates). Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1 (Metric thuần túy): Xây dựng điều kiện hội tụ dãy trên trường số thực $\mathbb{R}^+$.
  • Tầng 2 (Metric suy rộng tham số $K$): Xử lý bất đối xứng cấu trúc và độ phình metric bởi hệ số $K \ge 1$.
  • Tầng 3 (Metric nón không gian vectơ tôpô): Chuyển dịch toàn bộ cấu trúc khoảng cách sang không gian định thứ tự bộ phận $(E, \le_C)$.

Quy trình nghiên cứu rigorous

Quy trình giải tích tuân thủ chuẩn mực giải tích hàm khắt khe:

  1. Thiết lập thuật toán lặp Picard: Với $a_0 \in X$, xây dựng dãy quỹ đạo ${a_n}$ thông qua quy tắc $a_{n+1} = T a_n$ (hoặc $a_{n+1} \in T a_n$ với ánh xạ đa trị thông qua Bổ đề chọn điểm 1.3: với mỗi $h > 1$, tồn tại $b \in B$ sao cho $\rho(a, b) < h H(A, B)$).
  2. Kỹ thuật đánh giá độ co dãy sai phân: Đặt $D_n = D(a_n, a_{n+1})$. Thiết lập bất đẳng thức sai phân $D_{n+1} \le c_n D_n$ với dãy co $c_n \in [0, 1)$ đơn điệu giảm nghiêm ngặt.
  3. Chứng minh tính Cauchy: Đánh giá tổng chuỗi vô hạn $\sum_{n=1}^\infty D_n \le D_0 \sum_{n=1}^\infty h^n < \infty$, suy ra $\lim_{n, m \to \infty} D(a_n, a_m) = 0$.
  4. Phương pháp phản chứng phân nhánh: Để chứng minh điều kiện dẫn đường Suzuki đúng với vô hạn chỉ số $n$, luận án áp dụng kỹ thuật phản chứng phân đôi: Giả sử tồn tại $n$ sao cho đồng thời: $$\frac{1}{K+1} D(a_n, \bar{a}) < D(a_n, T a_n) \quad \text{và} \quad \frac{1}{K+1} D(T a_n, \bar{a}) < D(T a_n, T a_{n+1})$$ Kết hợp bất đẳng thức tam giác suy rộng dẫn đến mâu thuẫn $D_n < D_n$.
  5. Chứng minh tính duy nhất và xây dựng bổ sung đủ: Sử dụng lớp các dãy Cauchy tương đương trong quan hệ đồng vị đẳng cự $\varphi: X_1^* \to X_2^*$.

Data và phân tích

Luận án sử dụng các hệ thống ví dụ giải tích số và phản ví dụ (counter-examples) chính xác để kiểm chứng tính mở rộng thực sự:

  • Ví dụ 1.2: Xét không gian $X = {0, 1, 2}$ với metric $\rho(a, b) = 1/3$ khi $a \ne b$, chứng minh toán tử $T$ thỏa mãn Định lý 1.1 nhưng Định lý 1.6 của K. Farshid (2014) không thể áp dụng do vượt ngưỡng chặn co hữu tỉ.
  • Ví dụ 2.7: Trên không gian $b$-metric mạnh với metric $D(a, b)$, xây dựng hàm điều khiển $f(t) = \frac{1}{2} e^{-t/6}$, chứng minh ánh xạ $T$ thỏa mãn Định lý 2.4 của luận án trong khi Định lý 4 của J. Górnicki (2018) hoàn toàn thất bại.
  • Ví dụ 2.14 & 2.16: Chứng minh tính liên tục của ánh xạ kiểu Kannan-Suzuki compact là điều kiện ắt có, không thể loại bỏ.
  • Ví dụ 3.8: Minh họa sự tồn tại bổ sung đủ trên không gian $b$-TVS metric nón mạnh.

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

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

  1. Phát hiện 1 (Mở rộng toán tử Picard yếu đơn trị & đa trị): Xác lập điều kiện đủ để ánh xạ là toán tử Picard yếu với hệ số co phân thức $M(a, b, \alpha)$ và $P(a, b, \alpha)$. Khi hai điểm bất động khác nhau $\bar{a} \ne \bar{b}$ tồn tại, khoảng cách giữa chúng bị chặn dưới định lượng bởi $\rho(\bar{a}, \bar{b}) \ge \alpha/2$, giải thích cấu trúc phân tách hình học của tập điểm bất động.
  2. Phát hiện 2 (Bứt phá lý thuyết điều khiển trên không gian $b$-metric mạnh): Chứng minh thành công định lý điểm bất động cho hàm điều khiển thuộc lớp $\mathcal{S}$ và $\mathcal{H}$ trên không gian $b$-metric mạnh $(X, D, K)$ với $K \ge 1$. Khi $K=1$, kết quả bao hàm hoàn toàn các định lý của J. Górnicki (2018).
  3. Phát hiện 3 (Định lý Kannan-Suzuki tối ưu hóa hệ số dẫn đường): Đưa ra hệ số dẫn đường $\frac{1}{K+1}$ tỷ lệ nghịch với hằng số metric $K$. Khi $K=1$, điều kiện trở thành $\frac{1}{2}\rho(a, Ta) \le \rho(a, b)$, mở rộng vượt bậc định lý Kannan (1968) bằng việc cắt giảm miền kiểm tra co mà vẫn bảo toàn tính duy nhất của điểm bất động.
  4. Phát hiện 4 (Toán tử Kannan-Suzuki đa trị trên metric Hausdorff): Mở rộng định lý L.G. Singh (1991) từ không gian metric chuẩn sang không gian $b$-metric mạnh cho các ánh xạ đa trị $T: X \to CB(X)$.
  5. Phát hiện 5 (Lời giải trọn vẹn cho bài toán Bổ sung đủ nón TVS): Thiết lập Định lý 3.7 chứng minh mọi không gian $b$-TVS metric nón mạnh đều có bổ sung đủ duy nhất sai khác một đẳng cự, giải quyết trọn vẹn bài toán mở của W. Shahzad (2014) trong không gian nón vectơ tôpô lồi địa phương không chuẩn tắc.

Implications đa chiều

  • Ứng dụng vào Phương trình vi phân: Vận dụng Hệ quả 2.9 để giải bài toán Cauchy cho phương trình vi phân phi tuyến cấp một: $$\begin{cases} \frac{da}{dt} = f(t, a) \ a(0) = a_0 \end{cases}$$ trên không gian $X = {a \in C[0, 1] : |a - a_0|_\infty \le k}$ với bán kính $k \in (0, 1/3)$. Luận án chứng minh toán tử tích phân Volterra tương ứng: $$Ta(t) = a_0 + \int_0^t f(s, a(s)) ds$$ thỏa mãn điều kiện co Kannan-Suzuki với tỷ số $r = \frac{k}{1-k} \in (0, 1/2)$, từ đó khẳng định sự tồn tại và duy nhất nghiệm cổ điển $\bar{a}(t) \in C^1[0, 1]$.

Limitations và Future Research

  • Giới hạn cấu trúc: Các định lý tại Chương 2 tập trung trên cấu trúc $b$-metric mạnh thỏa mãn tiên đề $D(a, b) \le D(a, c) + K D(c, b)$, chưa bao quát lớp $b$-metric tổng quát với dạng đối xứng $D(a, b) \le K[D(a, c) + D(c, b)]$.
  • Ràng buộc liên tục trên tập compact: Định lý 2.13 cho ánh xạ kiểu Kannan-Suzuki trên không gian compact vẫn yêu cầu giả thiết liên tục của toán tử $T$ (Ví dụ 2.14 chứng minh tính không thể loại bỏ).
  • Điều kiện nón TVS: Nguyên lý bổ sung đủ tại Chương 3 đòi hỏi không gian vectơ tôpô lồi địa phương $E$ phải đầy đủ và nón $C$ thỏa mãn tính chất lân cận.

Định hướng nghiên cứu tương lai (Future Research Agenda):

  1. Mở rộng điều kiện Picard-Suzuki trên các cấu trúc metric mờ (Fuzzy Metric Spaces), không gian metric phân thứ cấp (Partial Metric Spaces) và không gian Modular.
  2. Xây dựng lý thuyết toán tử Picard cho phương trình vi phân phân số (Fractional Differential Equations) và phương trình vi phân ngẫu nhiên (Stochastic Differential Equations).
  3. Thiết lập các thuật toán xấp xỉ số lặp gia tốc (Accelerated Mann/Ishikawa Iteration Processes) dựa trên các điều kiện co hữu tỉ $M(a, b, \alpha)$ để giải bài toán tối ưu hóa lồi quy mô lớn.
  4. Nghiên cứu tính ổn định nghiệm Ulam-Hyers cho các toán tử Kannan-Suzuki trong không gian $b$-TVS metric nón mạnh.

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

Công trình tạo ra xung lực học thuật mạnh mẽ cho chuyên ngành Giải tích toán học:

  • Tác động học thuật quốc tế: Luận án là cơ sở trực tiếp của 5 công trình khoa học chất lượng cao công bố trên các tạp chí chuyên ngành quốc tế uy tín (danh mục công trình [A1]–[A5]), được trích dẫn và ứng dụng bởi các nhà nghiên cứu lý thuyết điểm bất động phi tuyến tại Ba Lan, Ấn Độ, Hàn Quốc và Romania.
  • Tác động toán ứng dụng: Cung cấp công cụ giải tích giải quyết các bài toán biên phi tuyến, hệ thống cân bằng kinh tế và bài toán tối ưu hóa trong kỹ thuật điều khiển tự động.

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

  • Nghiên cứu sinh & Nhà toán học giải tích: Tiếp cận hệ thống công cụ giải tích mới để mở rộng lý thuyết điểm bất động trên các không gian tôpô phi metric.
  • Chuyên gia mô hình hóa ứng dụng: Ứng dụng các định lý tồn tại nghiệm duy nhất để khảo sát tính ổn định của hệ phương trình tích - vi phân trong cơ học môi trường liên tục và xử lý tín hiệu số.
  • Giảng viên đại học: Cung cấp tài liệu tham khảo chuyên khảo cao cấp cho các chương trình đào tạo sau đại học ngành Toán giải tích và Giải tích ứng dụ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ì?

Luận án đã dung hợp thành công hai trường phái kinh điển: kỹ thuật dẫn đường định xứ của Suzuki (2007) và điều kiện co gián đoạn của Kannan (1968) trong không gian $b$-metric mạnh với tham số $K \ge 1$. Đồng thời, luận án giải quyết triệt để bài toán bổ sung đủ cho không gian $b$-TVS metric nón mạnh của W. Shahzad (2014) mà không cần dùng đến tính chuẩn tắc của nón.

2. Điểm cải tiến phương pháp luận so với các nghiên cứu tiền nhiệm?

So với J. Górnicki (2018) và L.G. Singh (1991), luận án đưa ra kỹ thuật phân chia chỉ số Cauchy cải tiến và bất đẳng thức hữu tỉ suy biến có tham số điều hòa $\alpha > 0$. Điều này cho phép khử bỏ hoàn toàn yêu cầu co toàn cục trên toàn không gian mà chỉ cần kiểm tra trên tập con thỏa mãn $\frac{1}{K+1}D(a, Ta) \le D(a, b)$.

3. Phát hiện bất ngờ nhất trong quá trình phân tích định lượng?

Phát hiện rằng đối với ánh xạ kiểu Kannan-Suzuki trên không gian $b$-metric mạnh compact (Định lý 2.13), dù điều kiện Kannan truyền thống cho phép ánh xạ gián đoạn trên không gian đầy đủ, nhưng khi chuyển sang điều kiện co ngặt trên tập compact thì tính liên tục của $T$ lại trở thành điều kiện tiên quyết bắt buộc (được chứng minh bằng phản ví dụ 2.14).

4. Khả năng tái lập và kiểm chứng (Replication Protocol)?

Toàn bộ 15 định lý, bổ đề và hệ quả đều đi kèm chứng minh toán học giải tích tường minh từng bước (step-by-step analytical proof), kết hợp hệ thống phản ví dụ độc lập kiểm chứng tính tối ưu của các hằng số chặn.

5. Lộ trình nghiên cứu 10 năm kế tiếp?

Phát triển lý thuyết điểm bất động nón TVS sang không gian Banach phức, áp dụng giải quyết bài toán biên đa điểm cho hệ phương trình đạo hàm riêng phi tuyến eliptic và hyperbolic.

Kết luận

Luận án tiến sĩ của NCS Đoàn Trọng Hiếu đã hoàn thành xuất sắc các mục tiêu nghiên cứu với 6 đóng góp cốt lõi:

  1. Thiết lập các điều kiện đủ mới để ánh xạ đơn trị và đa trị là toán tử Picard yếu trong không gian metric đầy đủ thông qua hệ số hữu tỉ tham số $M(a, b, \alpha)$ và $P(a, b, \alpha)$.
  2. Mở rộng trọn vẹn lý thuyết hàm điều khiển Górnicki $\mathcal{S}$ và $\mathcal{H}$ từ metric chuẩn sang không gian $b$-metric mạnh $(X, D, K)$.
  3. Khởi xướng khái niệm và chứng minh định lý toán tử Picard cho ánh xạ Kannan-Suzuki đơn trị và Picard yếu đa trị trong không gian $b$-metric mạnh.
  4. Đề xuất cấu trúc không gian $b$-TVS metric nón mạnh trên không gian vectơ tôpô lồi địa phương Hausdorff thực.
  5. Chứng minh Nguyên lý bổ sung đủ (Completion Principle) cho không gian $b$-TVS metric nón mạnh dựa trên tính chất lân cận của nón, giải đáp trọn vẹn câu hỏi mở quốc tế.
  6. Ứng dụng thành công lý thuyết điểm bất động thiết lập sự tồn tại và duy nhất nghiệm của bài toán vi phân Cauchy cấp một.