Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Một số vấn đề của giải tích ngẫu nhiên trên không gian Banach và không gian xác suất Banach" được thực hiện bởi nghiên cứu sinh Lê Thị Oanh, dưới sự hướng dẫn khoa học của GS. Đặng Hùng Thắng và PGS. TS. Tạ Công Sơn, chuyên ngành Lí thuyết xác suất và thống kê toán học (Mã số: 9460112.02) tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội (bảo vệ năm 2023).

Tính cấp thiết và khoảng trống nghiên cứu

Không gian xác suất Banach và lí thuyết toán tử ngẫu nhiên là sự phát triển tự nhiên của lí thuyết giải tích hàm tất định. Trong cấu trúc xác suất hiện đại, không gian $L^0_X(\Omega)$ gồm các biến ngẫu nhiên nhận giá trị trong không gian Banach chỉ là một trường hợp riêng của không gian xác suất Banach; lí thuyết ma trận ngẫu nhiên là trường hợp hữu hạn chiều của toán tử ngẫu nhiên, và quá trình ngẫu nhiên là trường hợp riêng của hàm nhận giá trị trong không gian xác suất Banach. Các cấu trúc này có nhiều ứng dụng trong toán tài chính, cơ học và vật lý.

Khoảng trống nghiên cứu được luận án tập trung giải quyết xuất phát từ nhu cầu mở rộng giải tích ngẫu nhiên trên các cấu trúc giải tích hiện đại:

  1. Nghiên cứu sự hội tụ của dãy các toán tử ngẫu nhiên tuyến tính và martingale toán tử ngẫu nhiên trên không gian Banach có tính chất Radon-Nikodym;
  2. Xây dựng và thiết lập điều kiện tồn tại của "đa tạp quán tính trung bình bình phương" cho lớp phương trình vi phân ngẫu nhiên tựa tuyến tính trên không gian Hilbert thực khả li;
  3. Nghiên cứu lí thuyết $C$-nửa nhóm của các đồng cấu ngẫu nhiên liên tục và nghiệm của bài toán Cauchy tương ứng trên không gian xác suất Banach.

Mục tiêu nghiên cứu

Luận án xác định ba mục tiêu nghiên cứu cụ thể:

  1. Mục tiêu 1: Nghiên cứu về sự hội tụ của các dãy toán tử ngẫu nhiên, dãy martingale toán tử ngẫu nhiên trong không gian Banach;
  2. Mục tiêu 2: Nghiên cứu về "đa tạp quán tính trung bình bình phương", tìm điều kiện đảm bảo cho sự tồn tại của nó đối với một lớp các phương trình vi phân ngẫu nhiên tựa tuyến tính trên một không gian Hilbert thực khả li;
  3. Mục tiêu 3: Nghiên cứu sự tồn tại và tính duy nhất của nghiệm của bài toán Cauchy với phần tuyến tính là toán tử sinh của một $C$-nửa nhóm bị chặn mũ trên không gian xác suất Banach.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Các biến ngẫu nhiên nhận giá trị trong không gian Banach và dãy các toán tử ngẫu nhiên nhận giá trị trong không gian xác suất Banach.
  • Phạm vi nghiên cứu:
    • Các định lí về hội tụ cho dãy các martingale toán tử ngẫu nhiên trong không gian Banach khả li thỏa mãn tính chất Radon-Nikodym.
    • Điều kiện đảm bảo cho sự tồn tại đa tạp quán tính trung bình bình phương của lớp phương trình vi phân ngẫu nhiên tựa tuyến tính $du + [Au + f(t, u)]dt = g(t, u)dB(t)$ trên không gian Hilbert thực khả li $H$.
    • Nghiệm của bài toán Cauchy với phần tuyến tính là toán tử sinh của một $C$-nửa nhóm bị chặn mũ trên không gian xác suất Banach (môđun định chuẩn ngẫu nhiên đầy đủ).
Tiêu chí Nội dung xác định trong luận án
Cơ sở đào tạo Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội
Tác giả & Người hướng dẫn Lê Thị Oanh (NCS); GS. Đặng Hùng Thắng, PGS. TS. Tạ Công Sơn (HD)
Chuyên ngành & Mã số Lí thuyết xác suất và thống kê toán học – 9460112.02
Thời gian hoàn thành Năm 2023
Hướng tiếp cận Nghiên cứu lý thuyết giải tích ngẫu nhiên, giải tích hàm ngẫu nhiên

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

Luận án điểm lại các hướng nghiên cứu nền tảng và cập nhật trong và ngoài nước:

  1. Lí thuyết không gian định chuẩn ngẫu nhiên và không gian xác suất Banach:

    • Khái niệm không gian định chuẩn ngẫu nhiên được B. Sklar [51] đưa ra, sau đó được Tiexin Guo (1999) [31] phát triển thành không gian môđun với chuẩn ngẫu nhiên cùng $(\epsilon, \lambda)$-tôpô (tôpô tương thích với hội tụ theo xác suất). Guo cùng các cộng sự [22, 29, 30, 32, 36, 37] đã thiết lập phiên bản ngẫu nhiên của định lí Hahn-Banach, không gian đối ngẫu, định lí điểm bất động ngẫu nhiên và giải tích trên không gian xác suất Banach.
    • Damir Filipovic, Michael Kupper, Nicolas Vogelpoth (2009) [25] nghiên cứu không gian xác suất ngẫu nhiên với tôpô lồi địa phương $L^0$ (locally $L^0$-convex topology), đưa ra định lí tách siêu phẳng, tính liên tục dưới, khả vi dưới, biểu diễn đối ngẫu Fenchel-Moreau của hàm $L^0$-lồi và ứng dụng vào độ đo rủi ro entropic trong toán tài chính. Guo (2010) [30] làm rõ mối liên hệ giữa hai loại tôpô này.
    • Xia Zhang (2013) [69] và Xia Zhang, Ming Liu (2012–2013) [70] nghiên cứu tính chất toán tử và đưa ra khái niệm nửa nhóm toán tử trên không gian xác suất Banach.
    • Zeng (2013, 2014) [35, 37] nghiên cứu giải tích lồi trên không gian xác suất Banach và các ứng dụng tài chính.
    • D.H. Thinh (2019) [61] nghiên cứu hàm nhận giá trị trong không gian xác suất Banach, nửa nhóm toán tử và thiết lập phiên bản ngẫu nhiên của định lí Hille-Yosida.
    • Hướng nghiên cứu về toán tử ngẫu nhiên tại Việt Nam được xây dựng bởi nhóm nghiên cứu của GS. Đặng Hùng Thắng từ năm 1987 [58] và tiếp tục phát triển qua các công trình [59, 60, 62, 63].

  2. Lí thuyết giới hạn martingale toán tử:

    • Bắt đầu từ định lí giới hạn dạng tích của Bellman đối với tích ma trận $A_n(\omega) = X_n(\omega)\dots X_1(\omega)$ phục vụ khảo sát hệ vi phân và sai phân ngẫu nhiên.
    • Các định lí giới hạn martingale trong không gian giải tích được khảo sát bởi nhiều tác giả [23, 53, 54, 55].
    • Thang và Son [60] đã chứng minh sự hội tụ của tích các toán tử tuyến tính ngẫu nhiên độc lập ${U_n}$ và ${V_n}$ dạng $U_n = (I+A_n)\dots(I+A_1)$, tạo thành martingale toán tử với $\mathcal{F}_n = \sigma{A_i, i \le n}$.

  3. Lí thuyết đa tạp quán tính cho phương trình tiến hóa và phương trình ngẫu nhiên:

    • Foias, Sell và Temam (1985) [76] đưa ra khái niệm đa tạp quán tính cho phương trình tiến hóa phi tuyến tất định $du/dt + Au + R(u) = 0$.
    • Khái niệm này được phát triển qua các phương pháp Hadamard, Lyapunov-Perron, chính quy elliptic cho các lớp phương trình Navier-Stokes [27, 73], phương trình đạo hàm riêng tổng quát [5, 16], phương trình phản ứng khuếch tán tiêu hao [43, 48, 74], phương trình nửa tuyến tính [12, 39, 42].
    • Đa tạp quán tính và dáng điệu tiệm cận nghiệm được mở rộng cho phương trình vi phân ngẫu nhiên [1, 4, 11, 14, 15, 17, 50, 64], cùng các dạng nghiệm tự đẳng cấu [26], nghiệm hầu tự đẳng cấu [8, 9], nghiệm tựa hầu tự đẳng cấu [10, 21, 75], nghiệm hầu tuần hoàn [2, 3] và tính ổn định [6, 45, 66, 67].

Khoảng trống nghiên cứu được lựa chọn: Luận án đi sâu vào việc thiết lập các điều kiện giải tích chuẩn xác để mở rộng định lí giới hạn martingale toán tử trên không gian Banach có tính chất Radon-Nikodym, đồng thời xây dựng cấu trúc đa tạp quán tính trung bình bình phương và khảo sát $C$-nửa nhóm bị chặn mũ trên không gian xác suất Banach.

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

Cơ sở lý thuyết

  • Không gian xác suất đầy đủ và biến ngẫu nhiên nhận giá trị Banach: Xét $(\Omega, \mathcal{F}, P)$, không gian Banach thực khả li $(X, |\cdot|)$, không gian $L^0_X(\Omega)$ gồm các biến ngẫu nhiên $X$-giá trị với tôpô hội tụ theo xác suất. $L^0(\Omega) = L^0(\Omega, \mathbb{R})$ là một dàn (lattice) đầy đủ.
  • Toán tử ngẫu nhiên: Ánh xạ tuyến tính liên tục $A: X \to L^0_Y(\Omega)$. Toán tử $A$ bị chặn nếu tồn tại biến ngẫu nhiên thực $k(\omega)$ sao cho $|Ax(\omega)| \le k(\omega)|x|$ hầu chắc chắn. Mọi toán tử bị chặn biểu diễn duy nhất dưới dạng $Ax(\omega) = T_A(\omega)x$ với $T_A: \Omega \to \mathcal{L}(X, Y)$, và được thác triển thành ánh xạ tuyến tính liên tục $\tilde{A}: L^0_X(\Omega) \to L^0_Y(\Omega)$.
  • Kì vọng có điều kiện và tính chất Radon-Nikodym (R-N): Kì vọng Bochner $E(u)$ và kì vọng có điều kiện $E(u|\mathcal{G})$. Không gian Banach $X$ có tính chất R-N khi và chỉ khi mọi hàm tập $\sigma$-cộng tính có biến phân bị chặn và liên tục tuyệt đối đối với $P$ đều có biểu diễn tích phân qua đạo hàm Radon-Nikodym.
  • Không gian xác suất Banach (RN-môđun đầy đủ): Cặp $(E, |\cdot|)$ với $E$ là môđun trái trên đại số $L^0(\Omega, \mathbb{K})$ và $|\cdot|: E \to L^0_+(\Omega)$ thỏa mãn các tiên đề $L^0$-chuẩn. Tôpô cảm sinh là $(\epsilon, \lambda)$-tôpô với cơ sở địa phương $N_0(\epsilon, \lambda) = {x \in E \mid P(|x| < \epsilon) > 1 - \lambda}$.
  • Đồng cấu ngẫu nhiên và phép tính vi tích phân: Định nghĩa đồng cấu tuyến tính ngẫu nhiên $\Phi: \mathcal{D}(\Phi) \to E$, các tính chất liên tục, đóng, bị chặn theo xác suất, bị chặn hầu chắc chắn. Khái niệm đạo hàm, tích phân Riemann của hàm nhận giá trị trong không gian xác suất Banach, điều kiện hàm $L^0$-Lipschitz để công thức vi tích phân cơ bản nghiệm đúng.
  • Tích phân ngẫu nhiên Itô: Chuyển động Brown $(B(t), t \ge 0)$, tích phân ngẫu nhiên $\int_S^T h(t, \omega)dB(t)$ và tính chất đẳng cự Itô $E|\int_S^T h(t, \omega)dB(t)|^2 = E\int_S^T |h(t, \omega)|^2 dt$.

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

Luận án sử dụng các phương pháp toán học thuần túy của giải tích ngẫu nhiên, giải tích hàm và lý thuyết xác suất:

  • Phương pháp đánh giá martingale vector và martingale dưới (submartingale) thực;
  • Bổ đề Borel-Cantelli và bất đẳng thức cực đại martingale;
  • Phân tích phổ của toán tử tự liên hợp xác định dương trên không gian Hilbert và phương pháp chiếu trực giao;
  • Kỹ thuật ước lượng hàm Green kết hợp bất đẳng thức Cauchy-Schwarz, hàm Gamma $\Gamma(z)$ và tính chất đẳng cự Itô;
  • Định lí ánh xạ co đều (uniform contraction mapping principle) trên không gian Banach có trọng;
  • Kỹ thuật giải tích hàm trừu tượng trên RN-môđun để xử lý bài toán Cauchy cho $C$-nửa nhóm ngẫu nhiên.

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, tính chất và ví dụ bổ trợ tạo tiền đề cho hai chương nghiên cứu trọng tâm:

  1. Toán tử ngẫu nhiên trên không gian Banach khả li:

    • Trình bày định nghĩa toán tử ngẫu nhiên $A: X \to L^0_Y(\Omega)$, toán tử bị chặn và thác triển tác động lên $L^0_X(\Omega)$.
    • Chứng minh Định lí 1.2: Cho $V$ là không gian định chuẩn và $A: V \to X$ tuyến tính: (i) $A$ liên tục khi và chỉ khi $A$ bị chặn theo xác suất; (ii) Tính liên tục nói chung không suy ra tính bị chặn hầu chắc chắn. Luận án xây dựng phản ví dụ trên không gian Hilbert $H$ với $(e_n)$ là cơ sở trực chuẩn và $(\xi_n)$ là dãy chuẩn Gauss độc lập $\mathcal{N}(0, 1)$, xét toán tử $Ax = \sum_{n=1}^\infty \xi_n (x, e_n)e_n$. Ánh xạ này liên tục do $E|Ax|^2 = |x|^2$, nhưng $\sup_n |Ae_n| = \sup_n |\xi_n| = \infty$, do đó không bị chặn.
    • Định nghĩa các dạng hội tụ của họ toán tử ${A_t, t > 0}$: hội tụ hầu chắc chắn ($A_t \xrightarrow{h.c} A$) và hội tụ theo trung bình cấp $p > 0$ ($A_t \xrightarrow{L_p} A$).

  2. Kì vọng có điều kiện và tính chất Radon-Nikodym:

    • Trình bày tính chất kì vọng có điều kiện $E(u|\mathcal{G})$ cho biến ngẫu nhiên Banach-giá trị khả tích Bochner. Thiết lập bổ đề: nếu $A$ là toán tử ngẫu nhiên bị chặn và $E(Ax|\mathcal{G}) = 0, \forall x \in X$, thì $E(Au|\mathcal{G}) = 0$ với mọi biến ngẫu nhiên $\mathcal{G}$-đo được $u$.
    • Trình bày tính chất Radon-Nikodym của không gian Banach. Nêu rõ phản ví dụ không gian $c_0$ không có tính chất R-N dựa trên độ đo véc-tơ $\mu: \mathcal{F} \to c_0$ xác định bởi $\mu(A) = \left(\int_A \sin t dt, \int_A \sin 2t dt, \dots\right)$ trên $[0, 1]$ với độ đo Lebesgue.
    • Trình bày định lí tương đương giữa tính chất R-N của $X$ và sự hội tụ của mọi martingale ${x_n}$ thỏa mãn $\sup_n E|x_n|^p < \infty$ ($p \ge 1$).

  3. Không gian xác suất Banach và đồng cấu ngẫu nhiên:

    • Định nghĩa RN-môđun, $(\epsilon, \lambda)$-tôpô và không gian xác suất Banach (RN-môđun đầy đủ). Định nghĩa không gian $E^p = {u \in E : E|u|^p < \infty}$.
    • Chứng minh tính tương đương giữa ba điều kiện của đồng cấu ngẫu nhiên $\Phi: \mathcal{D}(\Phi) \to E$: (i) $\Phi$ bị chặn hầu chắc chắn; (ii) $\Phi$ bị chặn theo xác suất; (iii) $\Phi$ liên tục.
    • Thiết lập phép tính vi tích phân: đạo hàm, tích phân Riemann của hàm $f: [a, b] \to E$. Chứng minh công thức vi tích phân cơ bản $f(b) - f(a) = \int_a^b f'(s)ds$ khi $f$ khả vi liên tục và thỏa mãn tính chất $L^0$-Lipschitz: $$\sup \left{ \frac{|f(t_1) - f(t_2)|}{|t_1 - t_2|} : t_1, t_2 \in [a, b], t_1 \neq t_2 \right} \in L^0_+(\Omega).$$ Nêu phản ví dụ hàm chỉ tiêu $f(t) = 1_{[t, 1]}$ trên $[0, 1]$ có $f'(t) = 0$ nhưng không thỏa mãn công thức vi tích phân nếu thiếu điều kiện Lipschitz.
    • Nhắc lại chuyển động Brown và tính chất đẳng cự của tích phân ngẫu nhiên Itô.

Chương 2. Sự hội tụ của martingale toán tử và sự tồn tại của đa tạp quán tính trung bình bình phương

Chương 2 bao gồm hai phần nội dung nghiên cứu chính:

2.1. Sự hội tụ của martingale các toán tử ngẫu nhiên bị chặn

Xét không gian Banach khả li $X$ có tính chất Radon-Nikodym và họ toán tử ngẫu nhiên bị chặn ${A_t, t \ge 0}$ từ $X$ vào $X$, với $A_tx(\omega) = T_t(\omega)x$ hầu chắc chắn ($T_t: \Omega \to \mathcal{L}(X, X)$).

  • Chứng minh tính chất giải tích: Luận án chứng minh $|T_t|$ là các biến ngẫu nhiên thực và lập thành một martingale dưới (submartingale) thực: $$|T_s| \le E(|T_t| \mid \mathcal{F}_s), \quad \forall t > s \ge 0.$$
  • Định lí 2.1 (Sự hội tụ của martingale toán tử):
    • Nếu $\sup_{t>0} E|T_t| < \infty$, tồn tại toán tử ngẫu nhiên bị chặn $A$ sao cho $A_t \to A$ hầu chắc chắn khi $t \to \infty$, và $|T_t| \to |T_A|$ hầu chắc chắn.
    • Nếu $\sup_{t>0} E|T_t|^p < \infty$ ($p > 1$), thì tồn tại toán tử ngẫu nhiên bị chặn $A$ sao cho $A_t \to A$ trong $L_p$ khi $t \to \infty$.
  • Định lí 2.2 (Sự hội tụ của tác động thác triển lên biến ngẫu nhiên):
    • Nếu $\sup_{t>0} E|T_t| < \infty$, thì dãy thác triển $A_t u \to Au$ theo xác suất khi $t \to \infty$ với mọi $u \in L^0_X(\Omega)$.
    • Nếu $\sup_{t>0} E|T_t|^p < \infty$ ($p > 1$), thì $A_t u \to Au$ trong $L_r$ ($q > r \ge 1$) với mọi $u \in L^q_X(\Omega, \mathcal{F}_0)$ thỏa mãn điều kiện số mũ liên hợp $\frac{1}{p} + \frac{1}{q} = \frac{1}{r}$, trong đó $\mathcal{F}_0 = \sigma(A_0)$.

2.2. Đa tạp quán tính trung bình bình phương

Xét phương trình vi phân ngẫu nhiên tựa tuyến tính trên không gian Hilbert thực khả li $H$: $$du + [Au + f(t, u)]dt = g(t, u)dB(t), \quad t > 0$$

  • Giả thiết về toán tử $A$ (Giả thiết 2.3): $A$ là toán tử tự liên hợp, xác định dương, có phổ rời rạc $0 < \lambda_1 \le \lambda_2 \le \dots \to \infty$, và ${e_k}$ là cơ sở trực chuẩn của $H$ gồm các vectơ riêng $Ae_k = \lambda_k e_k$. Với $0 < \beta < 1$, không gian $H_\beta = \mathcal{D}(A^\beta)$ là không gian Hilbert khả li với chuẩn $|u|\beta = |A^\beta u|$, và $L^2\beta(\Omega)$ là không gian các biến ngẫu nhiên $H_\beta$-giá trị khả tích bình phương.
  • Giả thiết Lipschitz (Giả thiết 2.4): Các hàm $f, g: \mathbb{R} \times L^2_\beta(\Omega) \to L^2_H(\Omega)$ thỏa mãn $f(t, 0) = g(t, 0) = 0$ và: $$E|f(t, \xi) - f(t, \eta)|^2 \le L_f^2 E|A^\beta(\xi - \eta)|^2, \quad E|g(t, \xi) - g(t, \eta)|^2 \le L_g^2 E|A^\beta(\xi - \eta)|^2.$$
  • Biểu diễn nghiệm nhẹ: Luận án định nghĩa nghiệm nhẹ liên tục ngẫu nhiên ($\lim_{t \to s} E|u(t) - u(s)|\beta^2 = 0$) và chứng minh công thức biểu diễn qua hàm Green $G(t, \tau)$: $$u(t) = e^{-(t-t_0)A}p + \int{-\infty}^{t_0} G(t, \tau)f(\tau, u(\tau))d\tau + \int_{-\infty}^{t_0} G(t, \tau)g(\tau, u(\tau))dB(\tau), \quad t \le t_0$$ trong đó $p = P_N u(t_0) \in P_N L^2_H(\Omega)$, $P_N$ là phép chiếu trực giao lên $\text{span}{e_1, \dots, e_N}$, $Q_N = I - P_N$, $\gamma = \frac{\lambda_N + \lambda_{N+1}}{2}$, $\alpha = \frac{\lambda_{N+1} - \lambda_N}{2}$, và hàm Green xác định bởi: $$G(t, \tau) = \begin{cases} -e^{-(t-\tau)A}Q_N, & \text{khi } t < \tau \ e^{-(t-\tau)A}P_N, & \text{khi } t > \tau \end{cases}$$
  • Đánh giá tiên nghiệm và hằng số co: Bằng việc sử dụng tính chất đẳng cự Itô, bất đẳng thức Cauchy-Schwarz và hàm Gamma $\Gamma(z) = \int_0^\infty s^{z-1}e^{-s}ds$, luận án thiết lập đánh giá: $$e^{2\gamma(t-t_0)} E|A^\beta v(t)|^2 \le 2K \sup_{t \le t_0} e^{2\gamma(t-t_0)} E|A^\beta u(t)|^2$$ với hằng số then chốt $K$ được xác định tường minh: $$K := 2 \max \left{ \frac{L_f^2}{\alpha^2} \left[ \left(\frac{\beta}{\alpha e}\right)^{2\beta} \Gamma(2\beta) + \frac{\lambda_N^{2\beta}}{\alpha^2} \right], \frac{L_g^2}{2\alpha} \left[ \left(\frac{2\beta}{2\alpha e}\right)^{2\beta} \Gamma(1-2\beta) + \frac{\lambda_N^{2\beta}}{2\alpha} \right] \right}.$$
  • Định lí về sự tồn tại: Với giả thiết $0 < \beta < \frac{1}{2}$ và điều kiện khoảng cách phổ đủ lớn để $K < \frac{1}{3}$, toán tử tích phân $T_p$ là một ánh xạ co đều trên không gian Banach có trọng: $$\mathcal{Z}\gamma^{(-\infty, t_0]} = \left{ h \in L^2\beta(\Omega) : \sup_{t \le t_0} e^{\gamma(t-t_0)} \left(E|A^\beta h(t)|^2\right)^{1/2} < \infty \right}$$ với chuẩn $|h|{\gamma, -\infty} = \sup{t \le t_0} e^{\gamma(t-t_0)} (E|A^\beta h(t)|^2)^{1/2}$. Từ đó suy ra sự tồn tại và duy nhất của nghiệm nhẹ biểu diễn đa tạp quán tính trung bình bình phương.

Chương 3. C-nửa nhóm và bài toán Cauchy trong không gian xác suất Banach

Chương 3 mở rộng lý thuyết nửa nhóm toán tử sang không gian xác suất Banach:

  1. $C$-nửa nhóm các đồng cấu ngẫu nhiên liên tục:

    • Xây dựng khái niệm họ ${S(t), t \ge 0}$ các đồng cấu ngẫu nhiên liên tục trên không gian xác suất Banach $E$, thỏa mãn tính chất nửa nhóm $S(t+s) = S(t)S(s)$ và $S(0) = C$ (với $C$ là một đồng cấu ngẫu nhiên liên tục đơn ánh).
    • Thiết lập các điều kiện bị chặn mũ: tồn tại biến ngẫu nhiên $M \in L^0_+(\Omega)$ và hằng số $\omega_0$ sao cho $|S(t)x| \le M e^{\omega_0 t}|x|$ hầu chắc chắn.
    • Xác định toán tử sinh vô cùng bé (infinitesimal generator) của $C$-nửa nhóm trên cấu trúc RN-môđun.

  2. Sự tồn tại và duy nhất nghiệm của bài toán Cauchy:

    • Khảo sát bài toán Cauchy trừu tượng trên không gian xác suất Banach: $$\begin{cases} \frac{du(t)}{dt} = A u(t) + f(t), \quad t \in [0, T] \ u(0) = u_0 \end{cases}$$ trong đó toán tử $A$ là toán tử sinh của một $C$-nửa nhóm bị chặn mũ của các đồng cấu ngẫu nhiên liên tục.
    • Chứng minh định lí về sự tồn tại và tính duy nhất nghiệm của bài toán Cauchy đối với lớp dữ liệu ban đầu và hàm nguồn $f(t)$ thích hợp trên RN-môđun.

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

Luận án đạt được các kết quả khoa học cụ thể sau:

  1. Về lí thuyết giới hạn martingale toán tử ngẫu nhiên:

    • Thiết lập điều kiện cần và đủ cho sự hội tụ hầu chắc chắn và sự hội tụ trong không gian $L_p$ ($p > 1$) của martingale các toán tử ngẫu nhiên bị chặn trên không gian Banach có tính chất Radon-Nikodym.
    • Chứng minh sự hội tụ theo xác suất và hội tụ trong $L_r$ đối với tác động thác triển của martingale toán tử lên các biến ngẫu nhiên thuộc $L^0_X(\Omega)$ và $L^q_X(\Omega)$.

  2. Về đa tạp quán tính trung bình bình phương:

    • Đưa ra định nghĩa hoàn chỉnh về "đa tạp quán tính trung bình bình phương" cho phương trình vi phân ngẫu nhiên tựa tuyến tính trên không gian Hilbert thực khả li.
    • Thiết lập công thức biểu diễn nghiệm nhẹ qua hàm Green và tìm ra công thức tường minh cho hằng số co $K$ (phụ thuộc vào các hằng số Lipschitz $L_f, L_g$, tham số $\beta$, hàm Gamma $\Gamma$ và khoảng cách phổ của toán tử $A$).
    • Chứng minh định lí về sự tồn tại và duy nhất của đa tạp quán tính trung bình bình phương khi $K < \frac{1}{3}$.

  3. Về lí thuyết $C$-nửa nhóm trên không gian xác suất Banach:

    • Xây dựng lí thuyết $C$-nửa nhóm bị chặn mũ của các đồng cấu ngẫu nhiên liên tục trên RN-môđun.
    • Giải quyết trọn vẹn bài toán về sự tồn tại và tính duy nhất nghiệm của bài toán Cauchy ngẫu nhiên trừu tượng với toán tử sinh là toán tử sinh của $C$-nửa nhóm.

  4. Danh mục công trình khoa học công bố:

    • Các kết quả nghiên cứu chính của luận án đã được công bố trong 03 công trình khoa học tại các tạp chí chuyên ngành:
      1. VNU Journal of Science: Mathematics – Physics
      2. Random Operators and Stochastic Equations (thuộc danh mục Scopus, ESCI)
      3. Acta Mathematica Sinica, English Series (thuộc danh mục SCIE, Q2)

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

Hạn chế dựa trên phạm vi nghiên cứu

  • Các định lí về sự hội tụ của martingale toán tử ngẫu nhiên chỉ áp dụng cho không gian Banach thỏa mãn tính chất Radon-Nikodym; chưa bao quát các không gian không có tính chất R-N (như không gian $c_0$).
  • Kết quả về đa tạp quán tính trung bình bình phương được thiết lập với điều kiện số mũ $\beta \in (0, 1/2)$ và các số hạng phi tuyến $f, g$ thỏa mãn điều kiện Lipschitz toàn cục dưới tác động của nhiễu Brown một chiều, chưa mở rộng cho trường hợp Lipschitz địa phương hoặc nhiễu vô hạn chiều.
  • Khảo sát bài toán Cauchy và nửa nhóm trên không gian xác suất Banach mới dừng lại ở lớp $C$-nửa nhóm bị chặn mũ.

Hướng nghiên cứu tiếp

  • Mở rộng nghiên cứu martingale toán tử cho lớp các toán tử ngẫu nhiên không bị chặn hoặc toán tử ngẫu nhiên trên các cấu trúc không gian Banach tổng quát hơn.
  • Khảo sát sự tồn tại của đa tạp quán tính cho các hệ phương trình đạo hàm riêng ngẫu nhiên phi tuyến với điều kiện Lipschitz địa phương, hoặc phương trình chịu tác động của quá trình nhảy (Lévy noise, fractional Brownian motion).
  • Nghiên cứu các lớp nửa nhóm ngẫu nhiên phi tuyến trên không gian xác suất Banach và ứng dụng vào các bài toán tối ưu ngẫu nhiên, bài toán định giá tài sản trong toán tài chính.

Giá trị tham khảo

  • Đối tượng tham khảo:
    • Nghiên cứu sinh, học viên cao học, giảng viên và nhà nghiên cứu thuộc 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, Phương trình vi phân ngẫu nhiên.
    • Các nhà khoa học nghiên cứu ứng dụng mô hình ngẫu nhiên trong cơ học, vật lý lý thuyết và toán tài chính.
  • Các nội dung có giá trị tham khảo cao:
    • Chương 1: Cung cấp hệ thống tài liệu chuẩn mực về không gian xác suất Banach (RN-môđun), $(\epsilon, \lambda)$-tôpô và điều kiện $L^0$-Lipschitz cho phép tính vi tích phân ngẫu nhiên.
    • Chương 2: Cung cấp kỹ thuật đánh giá tích phân ngẫu nhiên Itô kết hợp hàm Green, hàm Gamma và nguyên lý ánh xạ co đều trong không gian trọng $\mathcal{Z}_\gamma^{(-\infty, t_0]}$ để nghiên cứu dáng điệu tiệm cận của nghiệm.
    • Chương 3: Cung cấp khung phương pháp luận nghiên cứu $C$-nửa nhóm ngẫu nhiên và giải bài toán Cauchy trên không gian xác suất định chuẩn.

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

1. Tính chất Radon-Nikodym của không gian Banach đóng vai trò gì trong sự hội tụ của martingale toán tử tại Chương 2?
Tính chất Radon-Nikodym của không gian Banach $X$ là điều kiện then chốt để đảm bảo rằng một martingale vector có kì vọng bị chặn $\sup_{t>0} E|A_t x| < \infty$ sẽ hội tụ hầu chắc chắn và hội tụ trong $L_p$ về một biến ngẫu nhiên $Ax \in L^p_X(\Omega)$. Từ sự hội tụ trên từng phần tử $x$ của tập trù mật và tính chất dưới-martingale của chuẩn $|T_t|$, luận án suy ra sự hội tụ của chính dãy toán tử ngẫu nhiên ${A_t}$.

2. Mối quan hệ giữa tính liên tục và tính bị chặn của một toán tử tuyến tính ngẫu nhiên được chứng minh như thế nào trong Chương 1?
Luận án chứng minh rằng một toán tử tuyến tính ngẫu nhiên $A$ liên tục khi và chỉ khi $A$ bị chặn theo xác suất. Tuy nhiên, tính liên tục không suy ra tính bị chặn hầu chắc chắn; luận án minh chứng điều này bằng phản ví dụ xây dựng trên không gian Hilbert $H$ với dãy biến ngẫu nhiên Gauss chuẩn độc lập $(\xi_n)$, trong đó $Ax = \sum_{n=1}^\infty \xi_n (x, e_n)e_n$ liên tục nhưng $\sup_n |Ae_n| = \sup_n |\xi_n| = \infty$.

3. Đa tạp quán tính trung bình bình phương trong luận án được xây dựng cho phương trình nào và điều kiện tồn tại là gì?
Đa tạp quán tính được xây dựng cho phương trình vi phân ngẫu nhiên tựa tuyến tính $du + [Au + f(t, u)]dt = g(t, u)dB(t)$ trên không gian Hilbert khả li $H$ với toán tử $A$ tự liên hợp xác định dương có phổ rời rạc. Điều kiện tồn tại là số mũ thỏa mãn $0 < \beta < 1/2$, các hàm $f, g$ thỏa mãn điều kiện Lipschitz và hằng số co phổ $K < 1/3$.

4. Không gian xác suất Banach (RN-môđun đầy đủ) được định nghĩa và trang bị tôpô như thế nào?
Không gian xác suất Banach là một môđun trái $E$ trên đại số $L^0(\Omega, \mathbb{K})$ cùng ánh xạ $L^0$-chuẩn $|\cdot|: E \to L^0_+(\Omega)$ thỏa mãn các tiên đề chuẩn ngẫu nhiên. Không gian này được trang bị $(\epsilon, \lambda)$-tôpô với cơ sở địa phương tại gốc tọa độ là $N_0(\epsilon, \lambda) = {x \in E \mid P(|x| < \epsilon) > 1 - \lambda}$, trong đó sự hội tụ theo $(\epsilon, \lambda)$-tôpô tương đương với sự hội tụ theo xác suất của chuẩn ngẫu nhiên về 0.

5. Luận án đã công bố kết quả trên những tạp chí khoa học nào?
Các kết quả của luận án đã được công bố trên 03 tạp chí: VNU Journal of Science: Mathematics – Physics, Random Operators and Stochastic Equations (Scopus/ESCI), và Acta Mathematica Sinica, English Series (SCIE, Q2).

Kết luận

Luận án tiến sĩ của NCS. Lê Thị Oanh đã giải quyết ba bài toán lý thuyết trong giải tích ngẫu nhiên trên không gian Banach và không gian xác suất Banach. Công trình thiết lập điều kiện hội tụ hầu chắc chắn và hội tụ $L_p$ của martingale toán tử ngẫu nhiên bị chặn trên không gian có tính chất Radon-Nikodym, chứng minh sự tồn tại của đa tạp quán tính trung bình bình phương cho lớp phương trình vi phân ngẫu nhiên tựa tuyến tính, và khảo sát tính duy nhất nghiệm bài toán Cauchy đối với $C$-nửa nhóm bị chặn mũ. Toàn bộ các kết quả được công bố trên các tạp chí toán học chuyên ngành trong và ngoài nước, cung cấp tài liệu tham khảo cho chuyên ngành Lí thuyết xác suất và thống kê toán học.