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, bảo vệ tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội năm 2023 thuộc chuyên ngành Lí thuyết xác suất và thống kê toán học (mã số: 9460112.02).

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

Lý thuyết không gian xác suất Banach và toán tử ngẫu nhiên là sự mở rộng tự nhiên của lý thuyết giải tích hàm tất định sang bối cảnh ngẫu nhiên. Không gian các biến ngẫu nhiên nhận giá trị trong không gian Banach khả li $L_X^0(\Omega)$ thực chất là trường hợp riêng của không gian xác suất Banach. 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. Lý thuyết này có sự liên hệ và ứng dụng trực tiếp trong toán tài chính, cơ học, vật lý và lý thuyết hệ động lực ngẫu nhiên.

Khoảng trống nghiên cứu được luận án tập trung giải quyết bao gồm:

  1. Việc nghiên cứu các định lý giới hạn và sự hội tụ của martingale các toán tử tuyến tính ngẫu nhiên bị chặn trên không gian Banach tổng quát có tính chất Radon-Nikodym, cũng như sự hội tụ thác triển của chúng trên không gian các biến ngẫu nhiên $L_X^0(\Omega)$ và $L_X^p(\Omega)$.
  2. Việc mở rộng khái niệm đa tạp quán tính từ hệ động lực tất định sang hệ động lực ngẫu nhiên theo nghĩa trung bình bình phương; thiết lập các điều kiện tồn tại đ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.
  3. Việc nghiên cứu lớp $C$-nửa nhóm các đồng cấu ngẫu nhiên liên tục trên không gian xác suất Banach và khảo sát sự tồn tại, duy nhất nghiệm của bài toán Cauchy đối với $C$-nửa nhóm bị chặn mũ.

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

Mục tiêu tổng quát của luận án được phân định thành ba nhiệm vụ cụ thể:

  1. Thiết lập các điều kiện đảm bảo sự hội tụ hầu chắc chắn và hội tụ trong $L^p$ ($p \ge 1$) cho dãy martingale các toán tử ngẫu nhiên bị chặn và thác triển của nó trên không gian Banach khả li có tính chất Radon-Nikodym.
  2. Xây dựng khái niệm "đa tạp quán tính trung bình bình phương", tìm điều kiện đảm bảo sự tồn tại của đa tạp này đố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 không gian Hilbert thực khả li dưới tác động của nhiễu Brown.
  3. Nghiên cứu khái niệm $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 không gian xác suất Banach; chứng minh sự tồn tại và tính duy nhất nghiệm của bài toán Cauchy với phần tuyến tính là toán tử sinh của $C$-nửa nhóm.

Đố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, 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ương trình vi phân ngẫu nhiên tựa tuyến tính và bài toán Cauchy ngẫu nhiên.
  • Phạm vi nghiên cứu:
    • Về không gian: Không gian xác suất đầy đủ $(\Omega, \mathcal{F}, P)$, không gian Banach thực khả li $X, Y$, không gian Banach có tính chất Radon-Nikodym, không gian Hilbert thực khả li $H$, và không gian xác suất Banach $(\mathcal{X}, |\cdot|)$ trang bị $(\varepsilon, \lambda)$-tôpô.
    • Về cấu trúc giải tích: Martingale toán tử thời gian rời rạc và liên tục, tích phân ngẫu nhiên Itô theo chuyển động Brown một chiều $B(t)$, phép tính vi tích phân của hàm nhận giá trị trong không gian định chuẩn xác suất, và nửa nhóm toán tử ngẫu nhiên.

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

Luận án kế thừa và phát triển từ nhiều mạch nghiên cứu lý thuyết xác suất và giải tích hàm ngẫu nhiên:

Lịch sử 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 đề xuất ban đầu bởi B. Schweizer và A. Sklar (1983). Đến năm 1999, Tiexin Guo đã tái cấu trúc và phát triển lý thuyết này dưới dạng môđun định chuẩn ngẫu nhiên (RN-module) trang bị $(\varepsilon, \lambda)$-tôpô, tương thích với sự hội tụ theo xác suất trong không gian các biến ngẫu nhiên (Guo, 1999, 2010). Guo cùng các cộng sự tiếp tục mở rộng định lý Hahn-Banach ngẫu nhiên, lý thuyết điểm bất động ngẫu nhiên và giải tích hàm ngẫu nhiên (Guo et al., 2012, 2014).

Năm 2009, nhằm phục vụ các mô hình toán tài chính, Damir Filipovic, Michael Kupper và Nicolas Vogelpoth đã xây dựng 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), thiết lập định lý tách siêu phẳng, tính liên tục dưới, khả vi dưới và biểu diễn đối ngẫu Fenchel-Moreau của hàm $L^0$-lồi ứng dụng trong đo lường rủi ro entropic. Sau đó, Guo (2010) đã làm rõ mối liên hệ giữa $(\varepsilon, \lambda)$-tôpô và tôpô $L^0$-lồi địa phương. Năm 2012–2013, Xia Zhang và Ming Liu nghiên cứu các tính chất của toán tử và nửa nhóm toán tử trên không gian xác suất Banach; Zeng (2013) 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.

Tại Việt Nam, hướng nghiên cứu toán tử ngẫu nhiên được khởi xướng bởi nhóm của GS. Đặng Hùng Thắng từ năm 1987, khảo sát các bài toán về toán tử tuyến tính ngẫu nhiên, phương trình vi phân ngẫu nhiên và định lý giới hạn cho tích các toán tử ngẫu nhiên độc lập $U_n = (I + A_n)\dots(I + A_1)$ (Thang & Son, 2010). Năm 2019, D. H. Thinh tiếp tục phát triển giải tích hàm trên không gian xác suất Banach, thiết lập phiên bản ngẫu nhiên của định lý Hille-Yosida.

Lịch sử đa tạp quán tính trong hệ động lực tất định và ngẫu nhiên

Khái niệm đa tạp quán tính được đưa ra lần đầu bởi C. Foias, G. R. Sell và R. Temam (1985) cho phương trình tiến hóa phi tuyến dạng $du/dt + Au + R(u) = 0$ trên không gian Hilbert vô hạn chiều. Đa tạp quán tính là đa tạp Lipschitz hữu hạn chiều, bất biến dưới nửa nhóm nghiệm và hút cấp mũ mọi quỹ đạo nghiệm khi $t \to \infty$. Sự tồn tại của đa tạp quán tính cho phép rút gọn việc khảo sát định tính phương trình đạo hàm riêng vô hạn chiều về hệ phương trình vi phân thường hữu hạn chiều.

Lý thuyết này sau đó được mở rộng bằng phương pháp Lyapunov-Perron, Hadamard cho nhiều lớp phương trình tất định và phương trình vi phân ngẫu nhiên (bởi Bensoussan, Flandoli, Da Prato, Chueshov, Schmalfuss...). Dáng điệu tiệm cận của nghiệm theo nghĩa trung bình bình phương (nghiệm tự đẳng cấu, hầu tự đẳng cấu, hầu tuần hoàn, tính ổn định) được khảo sát qua các công trình của Bezandry & Diagana (2007, 2011), Cuong et al.

Vị trí và khoảng trống luận án giải quyết

Luận án định vị tại giao điểm của lý thuyết martingale toán tử và lý thuyết định tính phương trình vi phân ngẫu nhiên:

  • Khắc phục hạn chế của các định lý giới hạn toán tử trước đây khi mở rộng từ toán tử ngẫu nhiên tác động lên phần tử tất định sang tác động lên không gian biến ngẫu nhiên $L_X^0(\Omega)$ và $L_X^p(\Omega)$ trên không gian Banach có tính chất Radon-Nikodym.
  • Bổ khuyết cấu trúc đa tạp quán tính theo nghĩa trung bình bình phương đối với lớp phương trình tựa tuyến tính có nhiễu Itô trên không gian Hilbert phân bậc $H_\beta = \mathcal{D}(A^\beta)$.
  • Hoàn thiện lý thuyết nửa nhóm ngẫu nhiên thông qua cấu trúc $C$-nửa nhóm bị chặn mũ trên môđun định chuẩn ngẫu nhiên đầy đủ.

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

Khung lý thuyết và khái niệm sử dụng

  1. Không gian xác suất đầy đủ và Biến ngẫu nhiên: $(\Omega, \mathcal{F}, P)$, $L^0(\Omega, X)$ là không gian các biến ngẫu nhiên $X$-giá trị khả li, trang bị tôpô hội tụ theo xác suất ($p-\lim$). Kì vọng của biến ngẫu nhiên $X$-giá trị được định nghĩa thông qua tích phân Bochner; kì vọng có điều kiện $E(u|\mathcal{G})$ với $\mathcal{G} \subset \mathcal{F}$ bảo toàn tính chất tích phân trên các tập của $\mathcal{G}$.
  2. Toán tử tuyến tính ngẫu nhiên: Ánh xạ tuyến tính liên tục $A: X \to L_Y^0(\Omega)$. Toán tử $A$ bị chặn nếu tồn tại biến ngẫu nhiên thực $k(\omega) \ge 0$ sao cho $|Ax(\omega)| \le k(\omega)|x|$ hầu chắc chắn. Toán tử $A$ bị chặn khi và chỉ khi tồn tại ánh xạ $T_A: \Omega \to \mathcal{L}(X, Y)$ sao cho $Ax(\omega) = T_A(\omega)x$ ($P$-h.c). Thác triển của $A$ lên $L_X^0(\Omega)$ được ký hiệu là $\tilde{A}$ (hoặc viết gọn là $A$).
  3. Tính chất Radon-Nikodym (R-N): Không gian Banach $X$ có tính chất Radon-Nikodym nếu mọi hàm tập $\mu: \mathcal{F} \to X$ là $\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 biểu diễn được dưới dạng tích phân Bochner $\mu(A) = \int_A f(s) P(ds)$ với $f \in L_X^1(\Omega)$.
  4. Không gian xác suất Banach (RN-môđun đầy đủ): Cặp $(\mathcal{X}, |\cdot|)$ trong đó $\mathcal{X}$ là môđun trái trên đại số $L^0(\Omega, \mathbb{K})$, ánh xạ $|\cdot|: \mathcal{X} \to L_0^+(\Omega)$ thỏa mãn ba tiên đề chuẩn $L^0$, đầy đủ đối với $(\varepsilon, \lambda)$-tôpô.
  5. Phương trình vi phân ngẫu nhiên và Nửa nhóm: Toán tử $A$ tự liên hợp, xác định dương, có phổ rời rạc $0 < \lambda_1 \le \lambda_2 \le \dots \le \lambda_k \to \infty$ và cơ sở trực chuẩn các hàm riêng ${e_k}{k=1}^\infty$. Không gian phân bậc $H\beta = \mathcal{D}(A^\beta)$ với chuẩn $|u|_\beta = |A^\beta u|_H$. Tích phân ngẫu nhiên Itô $\int_S^T h(t, \omega) dB(t)$ theo chuyển động Brown một chiều $B(t)$ thỏa mãn đẳng cự Itô: $$E\left|\int_S^T h(t, \omega) dB(t)\right|^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 suy diễn giải tích toán học thuần túy:

  • Kỹ thuật Martingale: Sử dụng các bất đẳng thức cực đại, hội tụ martingale dưới thực đối với chuẩn toán tử $|T_t(\omega)|$, tính chất thác triển của kì vọng có điều kiện đối với toán tử ngẫu nhiên.
  • Phương pháp Lyapunov-Perron: Biểu diễn nghiệm nhẹ của phương trình vi phân ngẫu nhiên thông qua toán tử tích phân chứa hàm Green $G(t, \tau)$ và nửa nhóm suy rộng $e^{-tA}$.
  • Nguyên lý ánh xạ co đều (Uniform Contraction Mapping Principle): Thiết lập không gian trọng số mũ $\mathcal{L}^{t_0,-}$ và chứng minh toán tử tích phân $T_p$ là ánh xạ co đều không phụ thuộc vào tham số chiếu $p \in P L_2^H(\Omega)$.
  • Giải tích hàm ngẫu nhiên: Sử dụng phép tính vi tích phân hàm nhận giá trị trong không gian Banach xác suất, bất đẳng thức Cauchy-Schwarz, bổ đề Borel-Cantelli và hàm Gamma $\Gamma(z)$.

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, bổ đề nền tảng cho giải tích ngẫu nhiên trên không gian Banach và không gian xác suất Banach:

  • Toán tử ngẫu nhiên và tính bị chặn: Trình bày định lý xác định toán tử ngẫu nhiên bị chặn $A: X \to L_Y^0(\Omega)$ qua biểu diễn giải tích $Ax(\omega) = T_A(\omega)x$ với $T_A: \Omega \to \mathcal{L}(X, Y)$. Phân tích mối quan hệ giữa tính liên tục và tính bị chặn: toán tử tuyến tính liên tục thì bị chặn theo xác suất, nhưng không nhất thiết bị chặn hầu chắc chắn (minh họa qua phản ví dụ chuỗi chuẩn Gauss trên không gian Hilbert $\sum_{n=1}^\infty \xi_n (x, e_n) e_n$).
  • Kì vọng có điều kiện của biến ngẫu nhiên Banach: Chứng minh điều kiện tồn tại kì vọng có điều kiện $E(u|\mathcal{G})$ khi $E|u| < \infty$. Thiết lập bổ đề cho toán tử ngẫu nhiên bị chặn $A$: nếu $E(Ax|\mathcal{G}) = 0, \forall x \in X$ thì với mọi biến ngẫu nhiên $\mathcal{G}$-đo được $u$, ta có $E(Au|\mathcal{G}) = 0$.
  • Cấu trúc không gian có tính chất Radon-Nikodym: Chứng minh sự tương đương giữa tính chất Radon-Nikodym của không gian Banach $X$ và tính hội tụ hầu chắc chắn / hội tụ trong $L_X^p(\Omega)$ của các martingale $X$-giá trị ${ \xi_n, n \ge 1 }$ bị chặn trong $L_X^1$ hoặc $L_X^p$. Phân tích phản ví dụ không gian $c_0$ không có tính chất Radon-Nikodym thông qua hàm tập tích phân các hàm lượng giác $\sin(k\omega)$.
  • Không gian xác suất Banach và Phép tính vi tích phân: Định nghĩa cấu trúc RN-môđun, $(\varepsilon, \lambda)$-tôpô và metric $d(u, v) = E\left[\frac{|u-v|}{1+|u-v|}\right]$. Thiết lập định nghĩa đồng cấu ngẫu nhiên, tính đóng, tính liên tục, tính bị chặn $P$-h.c. Khảo sát đạo hàm, tích phân Riemann, tích phân suy rộng và tính chất giao hoán giữa đồng cấu ngẫu nhiên đóng $\Phi$ với tích phân: $\Phi\left(\int_a^b f(t)dt\right) = \int_a^b \Phi(f(t))dt$. Phân tích điều kiện $L^0$-Lipschitz để công thức Newton-Leibniz $f(b) - f(a) = \int_a^b f'(s)ds$ nghiệm đúng trên không gian xác suất Banach.

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 chính:

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

Xét họ toán tử ngẫu nhiên bị chặn ${A_t, t \ge 0}$ từ không gian Banach $X$ vào $X$ lập thành một martingale: $E(A_t x | \mathcal{F}_s) = A_s x$ với mọi $x \in X, t \ge s \ge 0$. Tồn tại ánh xạ $T_t: \Omega \to \mathcal{L}(X, X)$ tương ứng. Luận án thiết lập các định lý hội tụ:

  • Hội tụ trên các phần tử $x \in X$ (Định lý 2.1): Nếu $X$ có tính chất Radon-Nikodym:
    • Nếu $\sup_{t \ge 0} E|T_t| < \infty$, tồn tại toán tử ngẫu nhiên bị chặn $A$ sao cho $A_t x \to Ax$ hầu chắc chắn với mọi $x \in X$, đồng thời chuẩn $|T_t|$ hội tụ hầu chắc chắn do hình thành một martingale dưới thực.
    • Nếu $\sup_{t \ge 0} E|T_t|^p < \infty$ ($p > 1$), thì $A_t x \to Ax$ trong $L^p$ ($E|A_t x - Ax|^p \to 0$) với mọi $x \in X$.
  • Hội tụ thác triển trên không gian biến ngẫu nhiên $L_X^0(\Omega)$ (Định lý 2.2):
    • Nếu $\sup_{t \ge 0} E|T_t| < \infty$, thì $A_t u \to Au$ theo xác suất với mọi biến ngẫu nhiên $u \in L_X^0(\Omega)$.
    • Nếu $\sup_{t \ge 0} E|T_t|^q < \infty$ ($q > 1$), thì $A_t u \to Au$ trong $L^r$ với mọi $u \in L_X^p(\Omega, \mathcal{F}_0)$ với $1 < r < q$ và $r/p + r/q = 1$, trong đó $\mathcal{F}_0 = \sigma(A_0)$.

2. Đ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

Xét phương trình vi phân ngẫu nhiên trên không gian Hilbert thực khả li $H$: $$du(t) = [-Au(t) + f(t, u(t))] dt + g(t, u(t)) dB(t), \quad t \ge 0$$ Toán tử $A$ thỏa mãn phổ rời rạc với các giá trị riêng $\lambda_k \to \infty$. Phép chiếu trực giao $P_N$ lên không gian con $\text{span}{e_1, \dots, e_N}$ và $Q_N = I - P_N$. Hàm Green được định nghĩa: $$G(t, \tau) = \begin{cases} e^{-(t-\tau)A}[I - P_N], & t > \tau \ -e^{-(t-\tau)A} P_N, & t \le \tau \end{cases}$$ Với $\gamma = \frac{\lambda_N + \lambda_{N+1}}{2}$ và $\alpha = \frac{\lambda_{N+1} - \lambda_N}{2}$, các đánh giá cốt lõi bao gồm: $$|e^{\gamma(t-\tau)} A^\beta G(t, \tau)| \le \kappa(t, \tau) e^{-\alpha|t-\tau|}, \quad \forall t \ne \tau$$ trong đó: $$\kappa(t, \tau) = \begin{cases} \left(\frac{\beta}{t-\tau}\right)^\beta + \lambda_{N+1}^\beta, & t > \tau \ \lambda_N^\beta, & t \le \tau \end{cases}$$

Khi $0 \le \beta < 1/2$, các tích phân của hàm Green được đánh giá tường minh qua hàm Gamma: $$\int_{-\infty}^{t_0} |e^{\gamma(t-\tau)} A^\beta G(t, \tau)| d\tau \le \frac{1}{\alpha} \left[ (\alpha\beta)^\beta \Gamma(\beta) + \lambda_{N+1}^\beta + \lambda_N^\beta \right]$$ $$\int_{-\infty}^{t_0} |e^{\gamma(t-\tau)} A^\beta G(t, \tau)|^2 d\tau \le \frac{1}{2\alpha} \left[ 2(2\alpha\beta)^{2\beta} \Gamma(1-2\beta) + 2\lambda_{N+1}^{2\beta} + 2\lambda_N^{2\beta} \right]$$

Luận án chứng minh rằng mọi nghiệm nhẹ bị chặn theo trọng số mũ thỏa mãn biểu diễn tích phân: $$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)$$ với $p = P_N u(t_0) \in P_N L_2^H(\Omega)$. Dưới điều kiện Lipschitz $L_f, L_g$ và hằng số kết hợp $K < 1/3$, toán tử $T_p$ là ánh xạ co đều trên không gian Banach trọng số mũ $\mathcal{L}^{t_0,-}$, từ đó suy ra sự tồn tại và duy nhất của nghiệm nhẹ cũng như cấu trúc đa tạp quán tính trung bình bình phương.

Đại lượng / Tham số Biểu thức toán học trong luận án Ý nghĩa giải tích
Trọng số phân tách phổ $\gamma = \frac{\lambda_N + \lambda_{N+1}}{2}$ Tốc độ suy giảm/tăng trưởng trung bình tại khoảng cách phổ thứ $N$
Hệ số khoảng cách phổ $\alpha = \frac{\lambda_{N+1} - \lambda_N}{2}$ Độ chênh lệch giữa hai giá trị riêng liên tiếp của toán tử $A$
Không gian nghiệm $\mathcal{L}^{t_0,-} = \left{ h \in L_2^{H_\beta}(\Omega) : \sup_{t \le t_0} e^{-2\gamma(t_0-t)} E|A^\beta h(t)|^2 < \infty \right}$ Không gian Banach các quá trình ngẫu nhiên có độ tăng trưởng mũ kiểm soát bởi $\gamma$
Chuẩn không gian nghiệm $|h|{t_0,-} = \left( \sup{t \le t_0} e^{-2\gamma(t_0-t)} E|A^\beta h(t)|^2 \right)^{1/2}$ Chuẩn định lượng dáng điệu tiệm cận của quỹ đạo ngẫu nhiên
Điều kiện co $K < 1/3$ với $K$ phụ thuộc $\alpha, \beta, \lambda_N, \lambda_{N+1}, L_f, L_g, \Gamma(\cdot)$ Điều kiện đủ để toán tử tích phân $T_p$ là ánh xạ co đều

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 sang lớp $C$-nửa nhóm trên không gian xác suất Banach:

  • Cấu trúc $C$-nửa nhóm các đồng cấu ngẫu nhiên liên tục: Cho $\mathcal{X}$ là không gian xác suất Banach và $C$ là một đồng cấu ngẫu nhiên đơn ánh, bị chặn trên $\mathcal{X}$. Họ các đồng cấu ngẫu nhiên liên tục ${S(t)}_{t \ge 0}$ được gọi là một $C$-nửa nhóm nếu thỏa mãn: $S(0) = C$, $S(t+s)C = S(t)S(s)$ với mọi $t, s \ge 0$, và ánh xạ $t \mapsto S(t)x$ liên tục theo $(\varepsilon, \lambda)$-tôpô với mỗi $x \in \mathcal{X}$. $C$-nửa nhóm được gọi là bị chặn mũ nếu 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|$ ($P$-h.c).
  • Toán tử sinh và Bài toán Cauchy: Định nghĩa toán tử sinh vô cùng bé $A$ của $C$-nửa nhóm thông qua giới hạn trong $(\varepsilon, \lambda)$-tôpô của biểu thức $\frac{S(t)x - Cx}{t}$ khi $t \to 0^+$. Xé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), \quad t \ge 0 \ u(0) = x \in \mathcal{X} \end{cases}$$ Luận án thiết lập và chứng minh các định lý về sự tồn tại, tính duy nhất và biểu diễn nghiệm chính quy/nghiệm nhẹ của bài toán Cauchy thông qua tác động của $C$-nửa nhóm bị chặn mũ, đồng thời làm rõ mối quan hệ giữa miền xác định $\mathcal{D}(A)$ và ảnh của toán tử $C$.

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

Các kết quả mới mà luận án tự nêu bao gồm:

  1. Về lý thuyết hội tụ của Martingale toán tử ngẫu nhiên:

    • Thiết lập điều kiện cần và đủ để dãy martingale các toán tử ngẫu nhiên bị chặn ${A_t, t \ge 0}$ hội tụ hầu chắc chắn và hội tụ trong $L^p$ ($p \ge 1$) trên không gian Banach khả li 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$ ($r > 1$) của thác triển toán tử ngẫu nhiên tác động lên không gian biến ngẫu nhiên $L_X^0(\Omega)$ và $L_X^p(\Omega)$.

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

    • Đề xuất định nghĩa đ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 giải tích của nghiệm nhẹ thông qua hàm Green và tích phân ngẫu nhiên Itô trên khoảng vô hạn $(-\infty, t_0]$.
    • Tìm ra điều kiện khoảng cách phổ tường minh (thông qua hàm Gamma $\Gamma(\cdot)$, các giá trị riêng $\lambda_N, \lambda_{N+1}$ và hằng số Lipschitz $L_f, L_g$) để họ toán tử tích phân $T_p$ là ánh xạ co đều, chứng minh sự tồn tại của đa tạp quán tính trung bình bình phương.

  3. Về $C$-nửa nhóm và Bài toán Cauchy 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 đầy đủ.
    • Thiết lập các định lý 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 liên kết với toán tử sinh của $C$-nửa nhóm.

  4. Công bố khoa học: Toàn bộ kết quả cốt lõi của luận án đã được công bố trong 03 công trình nghiên cứu:

    • 01 bài báo trên VNU Journal of Science: Mathematics – Physics (2021).
    • 01 bài báo trên Random Operators and Stochastic Equations (Scopus/ESCI, 2022).
    • 01 bài báo trên Acta Mathematica Sinica, English Series (SCIE - Q2, 2023).

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

Dựa trên phạm vi và các nội dung được trình bày trong văn bản luận án:

  • Hạn chế: Các định lý về đa tạp quán tính trung bình bình phương mới chỉ được thiết lập cho trường hợp nhiễu Brown một chiều $B(t)$ với các hệ số phi tuyến $f, g$ thỏa mãn điều kiện Lipschitz toàn cục và tham số số mũ fractional power giới hạn trong khoảng $0 \le \beta < 1/2$. Đối với lý thuyết martingale toán tử, kết quả phụ thuộc chặt chẽ vào giả thiết không gian Banach cơ sở có tính chất Radon-Nikodym.
  • Hướng nghiên cứu tiếp:
    • Mở rộng khảo sát đa tạp quán tính cho các phương trình vi phân ngẫu nhiên chịu tác động của nhiễu vô hạn chiều (nhiễu trụ, $Q$-Wiener process) hoặc nhiễu phi Gauss (quá trình Lévy, nhiễu phân số Fractional Brownian Motion).
    • Nghiên cứu bài toán khi các hàm phi tuyến $f, g$ chỉ thỏa mãn điều kiện Lipschitz địa phương hoặc điều kiện tiêu hao (dissipative condition).
    • Khảo sát các bài toán Cauchy phi tuyến và phương trình tiến hóa ngẫu nhiên không thuần nhất liên kết với $C$-nửa nhóm trên không gian xác suất Banach tổng quát.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên ngành hữu ích cho:

  • Nghiên cứu sinh và học viên cao học ngành Toán giải tích, Xác suất - Thống kê: Cung cấp tài liệu tham khảo chi tiết về kỹ thuật xử lý martingale toán tử, giải tích hàm ngẫu nhiên trên RN-môđun, phương pháp đánh giá hàm Green ngẫu nhiên và kỹ thuật áp dụng tích phân Itô trong không gian Hilbert.
  • Giảng viên và nhà nghiên cứu lý thuyết hệ động lực ngẫu nhiên: Cung cấp khung phương pháp luận áp dụng nguyên lý ánh xạ co đều trong không gian trọng số mũ để giải quyết bài toán giảm chiều (dimensional reduction) cho phương trình đạo hàm riêng ngẫu nhiên (SPDEs).
  • Phần đáng tham khảo nhất:
    • Mục 2.1: Kỹ thuật thác triển martingale toán tử từ không gian Banach lên không gian $L_X^0(\Omega)$ và $L_X^p(\Omega)$.
    • Mục 2.2: Các đánh giá tích phân giải tích chứa hàm Green và hàm Gamma $\Gamma(1-2\beta)$ chứng minh tính co của toán tử $T_p$.
    • Mục 3.1 & 3.2: Khung lý thuyết $C$-nửa nhóm trên không gian xác suất Banach trang bị $(\varepsilon, \lambda)$-tôpô.

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

1. Luận án sử dụng điều kiện gì trên không gian Banach $X$ để đảm bảo sự hội tụ của martingale các toán tử ngẫu nhiên bị chặn? Luận án sử dụng giả thiết không gian Banach $X$ có tính chất Radon-Nikodym (R-N). Tính chất này đảm bảo mọi martingale $X$-giá trị bị chặn trong $L_X^1(\Omega)$ sẽ hội tụ hầu chắc chắn, và bị chặn trong $L_X^p(\Omega)$ ($p > 1$) sẽ hội tụ theo chuẩn $L^p$. Các không gian như $c_0$ không có tính chất này sẽ không đảm bảo sự hội tụ.

2. Khái niệm đa tạp quán tính trung bình bình phương trong luận án khác gì so với đa tạp quán tính tất định? Đa tạp quán tính tất định (Foias, Sell, Temam) được định nghĩa trên không gian trạng thái tất định $H$ và hút quỹ đạo nghiệm xác định. Đa tạp quán tính trung bình bình phương được xây dựng trên không gian các biến ngẫu nhiên $L_2^H(\Omega)$, kiểm soát quỹ đạo nghiệm ngẫu nhiên $u(t, \omega)$ thông qua kì vọng của bình phương chuẩn $E|u(t)|^2$, và hút cấp mũ các nghiệm nhẹ dưới tác động của số hạng nhiễu Itô $g(t, u(t))dB(t)$.

3. Vì sao tham số $\beta$ của toán tử $A^\beta$ trong bài toán đa tạp quán tính lại bị giới hạn trong khoảng $0 \le \beta < 1/2$? Trong quá trình đánh giá tích phân của bình phương chuẩn hàm Green qua tính chất đẳng cự Itô: $$\int_{-\infty}^{t} \left( \frac{\beta}{t-\tau} \right)^{2\beta} e^{-2\alpha(t-\tau)} d\tau = \beta^{2\beta} (2\alpha)^{2\beta - 1} \Gamma(1 - 2\beta)$$ Tích phân này chỉ hội tụ khi số mũ $2\beta < 1$, tức là $\beta < 1/2$. Do đó hàm Gamma $\Gamma(1-2\beta)$ chỉ xác định hữu hạn khi $\beta \in [0, 1/2)$.

4. Khái niệm $(\varepsilon, \lambda)$-tôpô trên không gian xác suất Banach được xác định như thế nào? $(\varepsilon, \lambda)$-tôpô trên RN-môđun $\mathcal{X}$ được cảm sinh bởi $L^0$-chuẩn $|\cdot|$, với cơ sở địa phương tại phần tử không $\theta$ là họ các tập: $$N_\theta(\varepsilon, \lambda) = { x \in \mathcal{X} \mid P({\omega \in \Omega \mid |x|(\omega) < \varepsilon}) > \lambda }$$ với $\varepsilon > 0$ và $0 < \lambda < 1$. Dãy ${x_n} \subset \mathcal{X}$ hội tụ theo $(\varepsilon, \lambda)$-tôpô đến $x$ khi và chỉ khi $|x_n - x|$ hội tụ theo xác suất về $0$.

5. Cấu trúc của $C$-nửa nhóm ngẫu nhiên khác gì so với nửa nhóm ngẫu nhiên thông thường? Nửa nhóm thông thường đòi hỏi $S(0) = I$ và tính chất cộng tính $S(t+s) = S(t)S(s)$. Trong khi đó, $C$-nửa nhóm sử dụng một đồng cấu ngẫu nhiên đơn ánh, bị chặn $C$, với điều kiện ban đầu $S(0) = C$ và quan hệ nửa nhóm suy rộng $S(t+s)C = S(t)S(s)$, cho phép xử lý các bài toán Cauchy với toán tử sinh không trù mật hoặc không sinh ra $C_0$-nửa nhóm thông thường.

Kết luận

Luận án của nghiên cứu sinh Lê Thị Oanh đã giải quyết trọn vẹn ba bài toán chuyên sâu trong lý thuyết giải tích ngẫu nhiên trên không gian Banach và không gian xác suất Banach. Các đóng góp chính bao gồm việc thiết lập các định lý hội tụ martingale toán tử 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 phương trình vi phân ngẫu nhiên tựa tuyến tính, và phát triển lý thuyết $C$-nửa nhóm bị chặn mũ giải bài toán Cauchy ngẫu nhiên. Công trình có cấu trúc chặt chẽ, sử dụng phương pháp giải tích hàm và giải tích ngẫu nhiên giải quyết các bài toán trừu tượng, và toàn bộ các kết quả cốt lõi đã được kiểm chứng thông qua 03 bài báo công bố trên các tạp chí toán học chuyên ngành trong và ngoài nước.