Tổng quan luận án

Lý thuyết phương trình toán tử ngẫu nhiên là một trong những hướng nghiên cứu trọng tâm của lý thuyết toán tử ngẫu nhiên, đóng vai trò là sự mở rộng và ngẫu nhiên hóa lý thuyết phương trình toán tử tất định. Trong giai đoạn 60 năm kể từ khi hình thành, phần lớn các công trình nghiên cứu thuộc lĩnh vực này tập trung chủ yếu vào một trường hợp riêng là lý thuyết điểm bất động ngẫu nhiên. Các định lý điểm bất động ngẫu nhiên tổng quát trước đây thường đặt ra những điều kiện giải tích và cấu trúc không gian tương đối phức tạp, khiến việc tìm kiếm các mô hình toán tử cụ thể thỏa mãn giả thiết gặp nhiều khó khăn. Vấn đề đặt ra cho phương trình toán tử ngẫu nhiên tổng quát—đặc biệt là mối liên hệ giữa sự tồn tại nghiệm tất định theo từng quỹ đạo và sự tồn tại nghiệm ngẫu nhiên đo được—vẫn chưa có lời giải đáp trọn vẹn và đơn giản.

Luận án tiến sĩ toán học của tác giả Tạ Ngọc Ánh, với tiêu đề "Một số vấn đề về phương trình toán tử ngẫu nhiên", được thực hiện nhằm giải quyết khoảng trống nghiên cứu nói trên. Mục tiêu chính của luận án bao gồm:

  1. Thiết lập các điều kiện đủ đơn giản để một phương trình toán tử ngẫu nhiên đơn trị hoặc đa trị, nếu có nghiệm tất định với hầu hết biến cố, thì sẽ có nghiệm ngẫu nhiên đo được.
  2. Khảo sát bài toán thay thế toán tử ngẫu nhiên bằng bản sao của nó trong phương trình ngẫu nhiên và xác định điều kiện bảo toàn tập nghiệm.
  3. Vận dụng các kết quả về phương trình toán tử ngẫu nhiên để mở rộng, ngẫu nhiên hóa các định lý điểm bất động kinh điển, điểm bất động chung và điểm trùng nhau của các toán tử tất định.
  4. Xây dựng khái niệm điểm xấp xỉ ngẫu nhiên tốt nhất và khái niệm toán tử hoàn toàn ngẫu nhiên, thiết lập các định lý điểm bất động tương ứng thông qua các tính toán xác suất thuần túy.

Đối tượng nghiên cứu của luận án là các phương trình toán tử ngẫu nhiên đơn trị, phương trình toán tử ngẫu nhiên đa trị, bài toán điểm bất động ngẫu nhiên, điểm trùng nhau ngẫu nhiên, điểm xấp xỉ ngẫu nhiên tốt nhất và toán tử hoàn toàn ngẫu nhiên. Phạm vi nghiên cứu được xác định trên không gian xác suất đầy đủ $(\Omega, \mathcal{A}, P)$ và các không gian trạng thái là không gian metric khả ly đầy đủ (không gian Polish), không gian Banach khả ly và không gian Hilbert khả ly. Luận án thuộc chuyên ngành Lý thuyết xác suất và thống kê toán học (mã số 62 46 15 01), được hoàn thành năm 2012 tại Trường Đại học Khoa học Tự nhiên thuộc Đại học Quốc gia Hà Nội, dưới sự hướng dẫn khoa học của GS.TSKH Đặng Hùng Thắng.

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

Lịch sử nghiên cứu về định lý điểm bất động cho toán tử ngẫu nhiên được khởi xướng vào thập niên 1950 bởi O. Špaček và A. Hanš. Hai tác giả này đã chứng minh định lý điểm bất động cho ánh xạ co ngẫu nhiên, thiết lập phiên bản ngẫu nhiên đầu tiên của nguyên lý ánh xạ co Banach nổi tiếng. Sau các công trình khởi đầu của Špaček và Hanš, việc ngẫu nhiên hóa các định lý điểm bất động kinh điển khác đã thu hút sự tham gia của nhiều nhà toán học. Lĩnh vực nghiên cứu này nhận được sự thúc đẩy mạnh mẽ sau khi A. T. Bharucha-Reid xuất bản cuốn sách chuyên khảo Random integral equations (1972) và công bố bài báo tổng kết Fixed point theorems in probabilistic analysis (1976).

Trong thập niên 1990, các tác giả như H. K. Xu, K. K. Tan và X. Z. Yuan đã công bố các định lý điểm bất động ngẫu nhiên tổng quát, chỉ ra rằng dưới một số điều kiện nhất định, nếu các quỹ đạo của toán tử ngẫu nhiên có điểm bất động tất định thì toán tử sẽ có điểm bất động ngẫu nhiên. Gần đây hơn, N. Shahzad và R. P. Agarwal tiếp tục phát triển các định lý điểm bất động ngẫu nhiên tổng quát nhằm bao quát các kết quả đã có. Tuy nhiên, các định lý tổng quát này thường kèm theo những điều kiện kỹ thuật rất ngặt nghèo (chẳng hạn như điều kiện mang tên (A) do M. Beg và N. Shahzad đề xuất), gây khó khăn cho việc kiểm chứng trên các toán tử thực tế. Song song với hướng nghiên cứu quỹ đạo, O. Hadžić và E. Pap đã sử dụng các kết quả điểm bất động trong không gian metric xác suất để áp dụng vào toán tử ngẫu nhiên thông qua việc mở rộng miền xác định lên không gian các biến ngẫu nhiên.

Vị trí của luận án được xác định thông qua việc giải quyết các giới hạn của những công trình đi trước:

  • Luận án không đi theo hướng áp đặt thêm các điều kiện hình học phức tạp lên không gian hay cấu trúc toán tử, mà sử dụng lý thuyết ánh xạ đa trị và các định lý chọn đo được để chứng minh rằng chỉ cần điều kiện toán tử ngẫu nhiên đo được trên không gian Polish là đủ để nghiệm tất định sinh ra nghiệm ngẫu nhiên đo được.
  • Luận án mở rộng phạm vi nghiên cứu từ phương trình toán tử ngẫu nhiên đơn trị sang phương trình toán tử ngẫu nhiên đa trị dạng tương giao, hợp nhất bài toán phương trình toán tử, bài toán điểm bất động ngẫu nhiên và bài toán điểm trùng nhau ngẫu nhiên vào một khuôn khổ chung.
  • Luận án đề xuất khái niệm toán tử hoàn toàn ngẫu nhiên tác động trực tiếp trên không gian các biến ngẫu nhiên $L_X^0(\Omega)$, tiếp cận vấn đề theo quan điểm giải tích xác suất thuần túy thay vì phụ thuộc vào cấu trúc của không gian metric xác suất.

Cơ sở lý thuyết và phương pháp nghiên cứu

Luận án sử dụng hệ thống khái niệm và công cụ giải tích toán học chặt chẽ:

  • Cấu trúc đo được và xác suất: Không gian xác suất đầy đủ $(\Omega, \mathcal{A}, P)$; không gian Polish $X$ (không gian metric khả ly và đầy đủ) đi kèm $\sigma$-đại số Borel $\mathcal{B}(X)$; $\sigma$-đại số tích $\mathcal{A} \otimes \mathcal{B}(X)$ với tính chất $\mathcal{B}(X \times Y) = \mathcal{B}(X) \otimes \mathcal{B}(Y)$ khi $X, Y$ là các không gian Polish.
  • Không gian biến ngẫu nhiên: Ký hiệu $L_X^0(\Omega)$ là tập hợp các biến ngẫu nhiên nhận giá trị trong không gian Polish $X$, tức các ánh xạ đo được $\xi: \Omega \to X$.
  • Lý thuyết ánh xạ đa trị: Xét họ các tập con khác rỗng $2^X$, họ các tập con đóng khác rỗng $C(X)$, và họ các tập con đóng, bị chặn khác rỗng $CB(X)$ của không gian metric $(X, d)$. Khoảng cách Hausdorff $H(A, B)$ giữa hai tập đóng được định nghĩa qua khoảng cách từ điểm đến tập $d(a, B)$. Ánh xạ đa trị $F: \Omega \to 2^X$ gọi là $\mathcal{A}$-đo được (đo được yếu) nếu nghịch ảnh $F^{-1}(B) = {\omega \in \Omega \mid F(\omega) \cap B \neq \emptyset} \in \mathcal{A}$ với mọi tập mở $B \subset X$. Đồ thị của ánh xạ đa trị là $\text{Gr}(F) = {(\omega, x) \mid \omega \in \Omega, x \in F(\omega)}$. Ánh xạ $u: \Omega \to X$ là một hàm chọn của $F$ nếu $u(\omega) \in F(\omega)$ với mọi $\omega$.
  • Lý thuyết toán tử ngẫu nhiên: Toán tử ngẫu nhiên đơn trị $f: \Omega \times X \to Y$ và toán tử ngẫu nhiên đa trị $T: \Omega \times X \to 2^Y$. Quỹ đạo tại biến cố $\omega$ là các ánh xạ tất định $x \mapsto f(\omega, x)$ và $x \mapsto T(\omega, x)$. Các khái niệm toán tử đo được, toán tử liên tục, toán tử Lipschitz và toán tử co được định nghĩa đồng bộ theo tính chất đo được của ánh xạ trên $\sigma$-đại số tích hoặc tính chất giải tích của từng quỹ đạo.

Phương pháp nghiên cứu chủ đạo của luận án là phương pháp giải tích định tính và lý thuyết xác suất giải tích. Luận án sử dụng kỹ thuật quy bài toán tìm nghiệm ngẫu nhiên của phương trình toán tử hoặc điểm bất động ngẫu nhiên về bài toán tìm hàm chọn đo được cho ánh xạ đa trị xác định tập nghiệm quỹ đạo. Nhờ các định lý về đồ thị đo được và định lý chọn đo được Kuratowski - Ryll-Nardzewski, tính đo được của nghiệm ngẫu nhiên được thiết lập một cách tường minh.

Khái niệm / Đối tượng toán học Ký hiệu và Biểu diễn toán học Điều kiện xác định trong văn bản
Không gian Polish $X, Y$ Không gian metric khả ly và đầy đủ
Không gian biến ngẫu nhiên $L_X^0(\Omega)$ Tập các ánh xạ $\mathcal{A}$-đo được từ $\Omega$ vào $X$
Khoảng cách Hausdorff $H(A, B) = \max{\sup_{a \in A} d(a, B), \sup_{b \in B} d(b, A)}$ $A, B \in C(X)$
Đồ thị ánh xạ đa trị $\text{Gr}(F) = {(\omega, x) \in \Omega \times X \mid x \in F(\omega)}$ Thuộc $\sigma$-đại số tích $\mathcal{A} \otimes \mathcal{B}(X)$
Toán tử ngẫu nhiên đo được $f: \Omega \times X \to Y$ Ánh xạ đo được đối với $\mathcal{A} \otimes \mathcal{B}(X)$
Bản sao toán tử ngẫu nhiên $f(\omega, x) = g(\omega, x)$ hầu chắc chắn Với mỗi $x \in X$ cố định, tập ngoại lệ phụ thuộc $x$
Phương trình ngẫu nhiên đa trị $S(\omega, x) \cap T(\omega, x) \neq \emptyset$ $S, T: \Omega \times X \to 2^Y$
Điểm xấp xỉ ngẫu nhiên tốt nhất $d(\xi(\omega), f(\omega, \xi(\omega))) = d(A, B)$ hầu chắc chắn $f: \Omega \times A \to B$, $\xi \in L_A^0(\Omega)$

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

Chương 1: Kiến thức chuẩn bị

Chương 1 hệ thống hóa các định nghĩa, ký hiệu và tiền đề toán học làm nền tảng cho toàn bộ luận án, chia thành 4 tiểu mục:

  1. Các khái niệm cơ bản: Trình bày định nghĩa không gian đo được, không gian xác suất đầy đủ, $\sigma$-đại số Borel, không gian Polish, $\sigma$-đại số tích và tính chất đồng nhất $\mathcal{B}(X \times Y) = \mathcal{B}(X) \otimes \mathcal{B}(Y)$ trên không gian Polish. Định nghĩa biến ngẫu nhiên $X$-giá trị và không gian $L_X^0(\Omega)$.
  2. Ánh xạ đa trị: Giới thiệu ánh xạ đa trị đo được, đồ thị $\text{Gr}(F)$, và hàm chọn đo được. Trích dẫn các kết quả then chốt: Nếu $(X, d)$ khả ly, $F: \Omega \to C(X)$ thì tính đo được tương đương với việc ánh xạ khoảng cách $\omega \mapsto d(x, F(\omega))$ đo được; nếu $X$ Polish và $F$ có đồ thị đo được với giá trị khác rỗng thì tồn tại hàm chọn đo được.
  3. Toán tử ngẫu nhiên: Định nghĩa toán tử ngẫu nhiên đơn trị, toán tử ngẫu nhiên đa trị, quỹ đạo, tính đo được, liên tục, Lipschitz và tính chất co. Trình bày khái niệm hai toán tử ngẫu nhiên là bản sao của nhau. Khẳng định định lý cơ bản: Toán tử ngẫu nhiên liên tục xác định trên không gian Polish thì đo được, và nếu thế một biến ngẫu nhiên vào toán tử liên tục thì nhận được một biến ngẫu nhiên mới.
  4. Một số kết quả về điểm bất động cho toán tử tất định: Điểm lại các định lý kinh điển được dùng để ngẫu nhiên hóa ở các chương sau, bao gồm định lý điểm bất động kiểu Ćirić-Reich, định lý điểm bất động chung cho ánh xạ giao hoán liên tục và không giãn trên tập compact lồi của không gian Banach, định lý điểm trùng nhau của ánh xạ đơn trị và đa trị tương thích, định lý điểm xấp xỉ tốt nhất cho cặp ánh xạ có tính co trên hai tập compact, và định lý giải tích về toán tử đơn cực đại trong không gian Hilbert thực.

Chương 2: Phương trình toán tử ngẫu nhiên

Chương 2 trình bày các kết quả nghiên cứu trọng tâm của tác giả về sự tồn tại nghiệm của phương trình toán tử ngẫu nhiên:

  • Phương trình toán tử ngẫu nhiên đơn trị: Xét phương trình tổng quát $f(\omega, x) = g(\omega, x)$ (2.1), dạng vế phải ngẫu nhiên $f(\omega, x) = \eta(\omega)$ (2.2), và dạng có nhiễu $f(\omega, x) + k(\omega)x = \eta(\omega)$ (2.3).
    • Xây dựng Ví dụ 2.3 trên không gian xác suất $[0, 1]$ với $\sigma$-đại số các tập đếm được hoặc có phần bù đếm được: Phương trình có nghiệm tất định duy nhất $u(\omega) = \omega$ với mọi biến cố, nhưng hoàn toàn không có nghiệm ngẫu nhiên đo được. Phản ví dụ này chứng minh rằng sự tồn tại nghiệm tất định nói chung không tự động kéo theo nghiệm ngẫu nhiên.
    • Thiết lập Định lý 2.4: Nếu $X, Y$ là các không gian Polish và $f, g$ là các toán tử ngẫu nhiên đo được, thì phương trình $f(\omega, x) = g(\omega, x)$ có nghiệm ngẫu nhiên khi và chỉ khi nó có nghiệm tất định với hầu hết $\omega$. Nghiệm tất định duy nhất hầu chắc chắn sẽ dẫn tới nghiệm ngẫu nhiên duy nhất.
    • Hệ quả 2.5 suy rộng kết quả cho trường hợp toán tử ngẫu nhiên liên tục.
    • Ứng dụng giải các lớp phương trình cụ thể: Chứng minh Định lý 2.6 cho phương trình toán tử ngẫu nhiên đơn cực đại trong không gian Hilbert khả ly thỏa mãn điều kiện $\langle f(\omega, x_1) - f(\omega, x_2), x_1 - x_2 \rangle \geq m(\omega)|x_1 - x_2|^2$, khẳng định phương trình luôn có nghiệm ngẫu nhiên duy nhất và dãy lặp $x_{n+1}(\omega) = x_n(\omega) - \alpha(\omega)[f(\omega, x_n(\omega)) - \eta(\omega)]$ hội tụ hầu chắc chắn về nghiệm khi $0 < \alpha(\omega) < 2m(\omega)/L^2(\omega)$. Thiết lập Định lý 2.7 cho phương trình có nhiễu Lipschitz và Định lý 2.8 cho phương trình toán tử tuyến tính $A(\omega)x - \lambda(\omega)x = \eta(\omega)$ trong không gian Banach khả ly khi $|A(\omega)| < \lambda(\omega)$. Minh họa nghiệm duy nhất cho phương trình tích phân ngẫu nhiên Fredholm trong $C[0, 1]$ qua Ví dụ 2.9.
    • Vấn đề thay thế bản sao: Đưa ra Ví dụ 2.10 cho thấy việc thay thế toán tử ngẫu nhiên đo được bằng bản sao có thể làm thay đổi hoàn toàn tập nghiệm. Chứng minh Định lý 2.11: Nếu các toán tử ngẫu nhiên là liên tục trên không gian metric khả ly thì việc thay thế bản sao sẽ bảo toàn nghiệm, hai phương trình hoàn toàn tương đương.
  • Phương trình toán tử ngẫu nhiên đa trị: Luận án đưa ra dạng phương trình $S(\omega, x) \cap T(\omega, x) \neq \emptyset$ (2.10) và họ đếm được $\bigcap_{n=1}^\infty T_n(\omega, x) \neq \emptyset$ (2.11).
    • Thiết lập Định lý 2.13 và Hệ quả 2.15: Trong không gian Polish, nếu các toán tử đa trị đo được (hoặc liên tục) nhận giá trị trong họ tập đóng $C(Y)$, phương trình có nghiệm ngẫu nhiên khi và chỉ khi nó có nghiệm tất định với hầu hết $\omega$.
    • Ví dụ 2.14 chứng minh điều kiện đo được chỉ là điều kiện đủ chứ không phải điều kiện cần cho sự tồn tại nghiệm ngẫu nhiên của phương trình đa trị.

Chương 3: Điểm bất động của toán tử ngẫu nhiên

Chương 3 áp dụng lý thuyết phương trình toán tử ngẫu nhiên vào bài toán điểm bất động, điểm trùng nhau và điểm xấp xỉ tốt nhất:

  • Điểm bất động của toán tử ngẫu nhiên đơn trị:
    • Thiết lập Định lý 3.3 và Hệ quả 3.4: Cho $C$ là tập con đóng của không gian Polish $X$, toán tử ngẫu nhiên đo được (hoặc liên tục) $f$ có điểm bất động ngẫu nhiên khi và chỉ khi với hầu hết $\omega$, quỹ đạo tất định $f(\omega, \cdot)$ có điểm bất động. Tương tự đối với điểm bất động chung của hai toán tử $f$ và $h$. Kết quả này tổng quát hóa và loại bỏ các điều kiện phức tạp trong các công trình của Xu, Tan, Yuan, Beg và Shahzad.
    • Ngẫu nhiên hóa các định lý tất định: Chứng minh Định lý 3.5 thiết lập nghiệm bất động ngẫu nhiên duy nhất cho toán tử co mở rộng kiểu Ćirić-Reich; chứng minh Định lý 3.6 thiết lập điểm bất động ngẫu nhiên chung cho cặp toán tử giao hoán liên tục và không giãn trên tập compact lồi của không gian Banach khả ly.
    • Điểm xấp xỉ ngẫu nhiên tốt nhất: Đưa ra định nghĩa biến ngẫu nhiên $\xi \in L_A^0(\Omega)$ thỏa mãn $d(\xi(\omega), f(\omega, \xi(\omega))) = d(A, B)$ hầu chắc chắn. Thiết lập Định lý 3.9 và Hệ quả 3.10 khẳng định sự tồn tại điểm xấp xỉ ngẫu nhiên tốt nhất khi các quỹ đạo có điểm xấp xỉ tốt nhất trên không gian Polish. Thiết lập Định lý 3.11 ngẫu nhiên hóa định lý điểm xấp xỉ tốt nhất cho cặp ánh xạ có tính co trên hai tập compact rời nhau, kèm theo dãy biến ngẫu nhiên lặp đan xen hội tụ hầu chắc chắn về các điểm xấp xỉ ngẫu nhiên tốt nhất.
  • Điểm bất động của toán tử ngẫu nhiên đa trị:
    • Thiết lập Định lý 3.13 và Hệ quả 3.14: Khẳng định sự tương đương giữa tồn tại điểm bất động tất định quỹ đạo và điểm bất động ngẫu nhiên cho toán tử đa trị $T(\omega, x) \in C(X)$; điểm trùng nhau ngẫu nhiên cho cặp toán tử $(f, T)$ thỏa mãn $f(\omega, \xi(\omega)) \in T(\omega, \xi(\omega))$; và điểm bất động chung ngẫu nhiên cho cặp toán tử đa trị $(S, T)$ thỏa mãn $\xi(\omega) \in S(\omega, \xi(\omega)) \cap T(\omega, \xi(\omega))$.
  • Điểm bất động của toán tử hoàn toàn ngẫu nhiên:
    • Giới thiệu khái niệm toán tử hoàn toàn ngẫu nhiên là ánh xạ biến đổi trực tiếp từ $L_X^0(\Omega)$ vào $L_X^0(\Omega)$, tiếp cận bài toán theo góc nhìn toàn cục thay vì xét từng quỹ đạo riêng lẻ. Khảo sát điểm bất động của toán tử hoàn toàn ngẫu nhiên co và co xác suất bằng các công cụ tính toán xác suất thuần túy, không phụ thuộc vào lý thuyết không gian metric xác suất của Hadžić và Pap.

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

Luận án đạt được những kết quả khoa học cụ thể về lý luận và ứng dụng thực tiễn:

  • Đóng góp về mặt lý luận:
    1. Xác lập điều kiện đủ đơn giản và tự nhiên—tính đo được của toán tử ngẫu nhiên trên không gian Polish—để sự tồn tại nghiệm tất định theo quỹ đạo tương đương với sự tồn tại nghiệm ngẫu nhiên đo được đối với cả phương trình đơn trị và đa trị. Kết quả này bao hàm và mở rộng phần lớn các định lý điểm bất động ngẫu nhiên tổng quát hiện có của các tác giả tiền nhiệm như H. K. Xu, K. K. Tan, X. Z. Yuan, N. Shahzad và R. P. Agarwal mà không cần áp đặt các điều kiện kỹ thuật phức tạp.
    2. Xây dựng lý thuyết phương trình toán tử ngẫu nhiên đa trị dạng tương giao $S(\omega, x) \cap T(\omega, x) \neq \emptyset$ và hệ đếm được $\bigcap_{n=1}^\infty T_n(\omega, x) \neq \emptyset$, qua đó hợp nhất thành công bài toán giải phương trình ngẫu nhiên, bài toán điểm bất động ngẫu nhiên và bài toán điểm trùng nhau ngẫu nhiên vào một bài toán tổng quát.
    3. Làm sáng tỏ bài toán thay thế bản sao của toán tử ngẫu nhiên: Luận án chỉ ra bằng phản ví dụ rằng tính đo được chưa đủ để bảo toàn nghiệm khi thay thế bản sao, đồng thời chứng minh tính liên tục là điều kiện đủ để bảo đảm tính tương đương của phương trình.
    4. Đề xuất khái niệm điểm xấp xỉ ngẫu nhiên tốt nhất cho toán tử ngẫu nhiên và chứng minh các định lý về sự tồn tại của điểm xấp xỉ này, mở rộng bài toán xấp xỉ giải tích sang môi trường ngẫu nhiên.
    5. Đưa ra khái niệm toán tử hoàn toàn ngẫu nhiên trên không gian các biến ngẫu nhiên $L_X^0(\Omega)$, mở ra cách tiếp cận toàn cục độc lập với không gian metric xác suất.
  • Đóng góp về mặt thực tiễn và giải thuật:
    1. Thiết lập các điều kiện tồn tại và duy nhất nghiệm ngẫu nhiên cho các phương trình cụ thể trong không gian Hilbert và Banach khả ly (phương trình toán tử đơn cực đại, phương trình có nhiễu Lipschitz, phương trình toán tử tuyến tính liên tục).
    2. Đề xuất các thuật toán lặp tìm nghiệm xấp xỉ cho phương trình toán tử đơn cực đại và cặp toán tử xấp xỉ tốt nhất, chứng minh sự hội tụ hầu chắc chắn của các dãy biến ngẫu nhiên về nghiệm chính xác.
    3. Áp dụng kết quả lý thuyết để giải quyết bài toán tồn tại và duy nhất nghiệm ngẫu nhiên của phương trình tích phân ngẫu nhiên Fredholm trên không gian hàm liên tục $C[0, 1]$.

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

Hạn chế của luận án gắn liền với phạm vi giải tích toán học được lựa chọn:

  • Toàn bộ kết quả về sự tương đương giữa nghiệm tất định và nghiệm ngẫu nhiên đều đòi hỏi không gian cơ sở phải là không gian Polish (metric khả ly và đầy đủ) hoặc không gian Banach/Hilbert khả ly. Luận án chưa khảo sát các không gian metric không khả ly hoặc không đầy đủ.
  • Điều kiện đo được của toán tử ngẫu nhiên mới chỉ là điều kiện đủ; luận án đã chỉ ra rằng toán tử không đo được vẫn có thể có nghiệm ngẫu nhiên, cho thấy tiêu chuẩn cần và đủ tối hậu cho mọi lớp toán tử vẫn là một bài toán mở.
  • Kết quả bảo toàn nghiệm khi thay thế bản sao mới chỉ dừng lại ở lớp toán tử ngẫu nhiên liên tục.

Các hướng nghiên cứu tiếp theo được tác giả đề xuất trong phần kết luận của luận án:

  • Tiếp tục nghiên cứu sâu hơn về điểm bất động của toán tử hoàn toàn ngẫu nhiên, đặc biệt là khảo sát lớp toán tử co xác suất với các điều kiện suy rộng.
  • Nghiên cứu mở rộng phương trình toán tử ngẫu nhiên và lý thuyết điểm bất động trên các cấu trúc không gian phi Polish hoặc không gian metric xác suất tổng quát.
  • Vận dụng các kết quả về phương trình toán tử ngẫu nhiên để khảo sát sâu hơn các tính chất định tính của nghiệm (như tính liên tục của quỹ đạo, tính khả vi, phân bố xác suất và các mô men) đối với các lớp phương trình vi phân và tích phân ngẫu nhiên phát sinh từ thực tế.

Giá trị tham khảo

Luận án là tài liệu tham khảo hữu ích cho các nhóm đối tượng nghiên cứu:

  • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Lý thuyết xác suất và thống kê toán học, Giải tích hàm, và Giải tích ngẫu nhiên: Luận án cung cấp hệ thống phương pháp luận hoàn chỉnh về việc ngẫu nhiên hóa các định lý giải tích tất định. Phần đáng tham khảo nhất là phương pháp sử dụng hàm chọn đo được của ánh xạ đa trị tại Chương 2 và Chương 3 để xử lý tính đo được của nghiệm.
  • Các nhà toán học nghiên cứu lý thuyết điểm bất động: Công trình cung cấp kỹ thuật chuyển đổi trực tiếp mọi định lý điểm bất động tất định sang phiên bản ngẫu nhiên tương ứng trên không gian Polish mà không cần chứng minh lại từ đầu bằng các phép toán phức tạp.
  • Các nhà nghiên cứu về phương trình vi tích phân ngẫu nhiên và cơ học kỹ thuật: Phương pháp thiết lập thuật toán lặp có tham số ngẫu nhiên hội tụ hầu chắc chắn tại Mục 2.1 và Mục 3.1 cung cấp cơ sở giải tích vững chắc cho các bài toán mô phỏng và tính toán nghiệm xấp xỉ trong môi trường ngẫu nhiên.

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

1. Điều kiện cốt lõi nào đảm bảo một phương trình toán tử ngẫu nhiên đơn trị có nghiệm ngẫu nhiên khi đã biết nó có nghiệm tất định theo từng quỹ đạo?

Theo Định lý 2.4 của luận án, nếu các không gian $X, Y$ là không gian Polish (metric khả ly và đầy đủ) và hai toán tử $f, g: \Omega \times X \to Y$ là các toán tử ngẫu nhiên đo được đối với $\sigma$-đại số tích $\mathcal{A} \otimes \mathcal{B}(X)$, thì phương trình $f(\omega, x) = g(\omega, x)$ có nghiệm ngẫu nhiên khi và chỉ khi nó có nghiệm tất định với hầu hết các biến cố $\omega$. Nếu nghiệm tất định là duy nhất hầu chắc chắn thì nghiệm ngẫu nhiên cũng duy nhất.

2. Tại sao việc thay thế một toán tử ngẫu nhiên bằng một bản sao của nó có thể làm thay đổi tập nghiệm của phương trình, và luận án giải quyết vấn đề này như thế nào?

Hai toán tử là bản sao của nhau ($f_1$ và $f_2$) chỉ đảm bảo bằng nhau hầu chắc chắn tại mỗi điểm $x$ cố định, trong đó tập biến cố ngoại lệ phụ thuộc vào $x$. Khi thế một biến ngẫu nhiên $\xi(\omega)$ vào, tập ngoại lệ tổng hợp có thể có xác suất dương hoặc phủ kín không gian mẫu, dẫn tới việc $\xi$ là nghiệm của $f_1$ nhưng không là nghiệm của $f_2$ (như minh họa tại Ví dụ 2.10). Định lý 2.11 của luận án khẳng định rằng nếu $X$ là không gian metric khả ly và hai bản sao $f_1, f_2$ đều là toán tử liên tục thì hai phương trình hoàn toàn tương đương về tập nghiệm.

3. Phương trình toán tử ngẫu nhiên đa trị được định nghĩa ra sao và có vai trò gì trong việc thống nhất các bài toán giải tích ngẫu nhiên?

Phương trình toán tử ngẫu nhiên đa trị được luận án định nghĩa dưới dạng tương giao $S(\omega, x) \cap T(\omega, x) \neq \emptyset$ và hệ đếm được $\bigcap_{n=1}^\infty T_n(\omega, x) \neq \emptyset$, trong đó $S, T, T_n$ là các toán tử ngẫu nhiên đa trị nhận giá trị trong họ tập đóng $C(Y)$. Mô hình này thống nhất phương trình đơn trị (khi $S={f}, T={g}$), bài toán điểm bất động ngẫu nhiên (khi $S=T, T={x}$) và bài toán điểm trùng nhau ngẫu nhiên (khi $S={f}, T=T$) thành một bài toán chung.

4. Điểm xấp xỉ ngẫu nhiên tốt nhất là gì và liên hệ như thế nào với điểm bất động ngẫu nhiên?

Cho $A, B$ là hai tập con đóng khác rỗng của không gian metric Polish $X$ và $f: \Omega \times A \to B$ là toán tử ngẫu nhiên. Biến ngẫu nhiên $\xi: \Omega \to A$ được gọi là điểm xấp xỉ ngẫu nhiên tốt nhất của $f$ nếu $d(\xi(\omega), f(\omega, \xi(\omega))) = d(A, B)$ hầu chắc chắn. Khi hai tập $A$ và $B$ giao nhau khác rỗng thì $d(A, B) = 0$, điểm xấp xỉ ngẫu nhiên tốt nhất trở thành điểm bất động ngẫu nhiên của toán tử $f$.

5. Khái niệm toán tử hoàn toàn ngẫu nhiên có điểm gì khác biệt so với toán tử ngẫu nhiên thông thường?

Toán tử ngẫu nhiên thông thường $f: \Omega \times X \to Y$ cho tương ứng mỗi điểm tất định $x \in X$ một biến ngẫu nhiên $f(\cdot, x)$ và thường được khảo sát cục bộ theo từng quỹ đạo $x \mapsto f(\omega, x)$. Ngược lại, toán tử hoàn toàn ngẫu nhiên là ánh xạ biến đổi trực tiếp từ không gian các biến ngẫu nhiên $L_X^0(\Omega)$ vào chính nó. Cách tiếp cận này mang tính toàn cục và cho phép nghiên cứu sự tồn tại của điểm bất động bằng các công cụ tính toán xác suất thuần túy mà không phụ thuộc vào cấu trúc của lý thuyết không gian metric xác suất.

Kết luận

Luận án tiến sĩ của tác giả Tạ Ngọc Ánh đã giải quyết trọn vẹn bài toán về mối quan hệ giữa nghiệm tất định theo quỹ đạo và nghiệm ngẫu nhiên đo được của phương trình toán tử ngẫu nhiên đơn trị và đa trị trên không gian Polish. Bằng việc kết hợp chặt chẽ lý thuyết ánh xạ đa trị và các định lý chọn đo được, công trình thiết lập điều kiện đủ đơn giản và tổng quát, cho phép ngẫu nhiên hóa đồng bộ các định lý điểm bất động kinh điển của giải tích toán học. Bên cạnh đó, luận án đã mở rộng lý thuyết sang bài toán điểm xấp xỉ ngẫu nhiên tốt nhất và đề xuất hướng tiếp cận toàn cục đối với toán tử hoàn toàn ngẫu nhiên, tạo tiền đề lý thuyết xác suất vững chắc cho việc nghiên cứu và ứng dụng các phương trình tích phân, vi phân ngẫu nhiên.