Tổng quan luận án

Trong giải tích toán học cổ điển, một ánh xạ tất định $f$ từ không gian Banach $X$ vào không gian Banach $Y$ xác định một quy tắc gán mỗi phần tử tất định $x \in X$ với duy nhất một phần tử tất định $y = f(x) \in Y$. Tuy nhiên, khi xét các mô hình chuyển động, hệ động lực hay các quá trình thực tế chịu sự can thiệp của các yếu tố ngẫu nhiên và nhiễu ngẫu nhiên, ảnh của phần tử $x$ không còn là một đại lượng tất định mà trở thành một biến ngẫu nhiên nhận giá trị trong không gian $Y$. Sự ngẫu nhiên hóa các mô hình giải tích tất định dẫn đến sự hình thành khái niệm toán tử ngẫu nhiên $\Phi: \Omega \times E \to Y$ (với $E \subset X$ và $(\Omega, \mathcal{F}, P)$ là không gian xác suất cơ sở), gán mỗi phần tử tất định $x \in E$ với một biến ngẫu nhiên $Y$-giá trị $\Phi(x, \omega)$.

Mặc dù toán tử ngẫu nhiên đã được thiết lập cho các phần tử đầu vào tất định, trong thực tiễn toán học nảy sinh nhu cầu cấp thiết phải mở rộng miền tác động của toán tử ngẫu nhiên lên các phần tử đầu vào ngẫu nhiên, tức là các biến ngẫu nhiên $u$ nhận giá trị trong $E$. Nhu cầu này xuất phát từ ba bài toán cụ thể được tác giả trình bày:

  1. Khi hệ thống chịu nhiễu ngay tại đầu vào, đầu vào là một biến ngẫu nhiên $u(\omega)$ nhận giá trị trong $E$; khi đó đòi hỏi phải xác định được tác động $\Phi u$.
  2. Khi xây dựng phép hợp thành của hai toán tử ngẫu nhiên $\Phi$ và $\Psi$ từ $X$ vào $X$ dưới dạng $(\Psi \circ \Phi)(x) = \Psi(\Phi(x))$, do $\Phi(x)$ là một biến ngẫu nhiên nên cần định nghĩa ảnh của biến ngẫu nhiên này qua toán tử $\Psi$.
  3. Bài toán mở rộng tích phân ngẫu nhiên Wiener $\int_0^1 x(t) dW(t)$ với hàm dưới dấu tích phân là hàm tất định $x(t) \in L^2[0, 1]$ thành tích phân ngẫu nhiên dạng Itô $\int_0^1 x(t, \omega) dW(t, \omega)$ với hàm dưới dấu tích phân là hàm ngẫu nhiên $x(t, \omega)$.

Khoảng trống nghiên cứu cốt lõi được luận án chỉ ra là: việc định nghĩa ảnh $\Phi u$ của biến ngẫu nhiên $u$ không thể thực hiện một cách trực tiếp bằng phép thế $\Phi u(\omega) = \Phi(\omega, u(\omega))$. Tác giả đã chứng minh hai phản ví dụ xác nhận phép thế trực tiếp sẽ phá vỡ hai điều kiện nền tảng:

  • Phản ví dụ thứ nhất chứng minh phép thế trực tiếp có thể dẫn tới một ánh xạ không đo được: khi chọn $\Omega = X$, $\mathcal{F} = \mathcal{B}(X)$, $P$ là độ đo không nguyên tử, $D$ là tập không Borel trong $X$, xét toán tử gán giá trị $a \in Y$ nếu $\omega = x \in D$ và $b \in Y$ nếu ngược lại; khi đó với biến ngẫu nhiên $u(\omega) = \omega$, tập ${\omega: \Phi(\omega, u(\omega)) = a} = D \notin \mathcal{F}$, dẫn đến $\Phi u$ không phải là biến ngẫu nhiên $Y$-giá trị.
  • Phản ví dụ thứ hai chứng minh giá trị $\Phi u$ sau phép thế trực tiếp bị phụ thuộc vào bản sao đại diện (version) của toán tử ngẫu nhiên, vi phạm tính bất biến hầu chắc chắn.

Mục tiêu nghiên cứu của luận án được xác định gồm 3 nội dung chính:

  1. Nghiên cứu có hệ thống các tính chất chính quy của toán tử ngẫu nhiên và thiết lập các điều kiện đủ để toán tử ngẫu nhiên có biểu diễn chuỗi.
  2. Xây dựng và khảo sát phương pháp thác triển toán tử ngẫu nhiên tuyến tính trong không gian Banach có cơ sở Schauder, xác định cấu trúc miền tác động mở rộng $\widehat{\mathcal{D}}(\Phi)$.
  3. Phát triển các kỹ thuật thác triển cho toán tử ngẫu nhiên bất kỳ (không đòi hỏi tính tuyến tính) thông qua hai phương pháp: phương pháp thác triển theo dãy và phương pháp thác triển theo chuỗi ngẫu nhiên.

Các câu hỏi và nhiệm vụ nghiên cứu cụ thể được giải quyết bao gồm:

  1. Mối quan hệ giữa các tính chất chính quy (tính đo được, tính liên tục ngẫu nhiên, tính bị chặn ngẫu nhiên và tính bị chặn) của toán tử ngẫu nhiên diễn ra như thế nào, và trong điều kiện nào thì toán tử Gauss đối xứng hoặc $p$-ổn định đối xứng có khai triển chuỗi độc lập?
  2. Điều kiện cần và đủ để một toán tử ngẫu nhiên tuyến tính có thể thác triển lên toàn bộ không gian các biến ngẫu nhiên $L^X_0(\Omega)$ là gì?
  3. Trong trường hợp không gian Banach $X$ có cơ sở Schauder, miền tác động mở rộng $\widehat{\mathcal{D}}(\Phi)$ được xác định ra sao, có cấu trúc tô-pô như thế nào, và khi nào toán tử thác triển được lên toàn bộ không gian?
  4. Làm thế nào để mở rộng miền tác động của một toán tử ngẫu nhiên phi tuyến bất kỳ lên các biến ngẫu nhiên thông qua xấp xỉ dãy biến ngẫu nhiên rời rạc và biểu diễn chuỗi toán tử?

Đối tượng nghiên cứu: Toán tử ngẫu nhiên tuyến tính và toán tử ngẫu nhiên bất kỳ từ tập con $E$ của không gian Banach khả ly $X$ vào không gian Banach khả ly $Y$; các biến ngẫu nhiên nhận giá trị trong không gian Banach; các thủ tục giải tích mở rộng miền xác định của toán tử ngẫu nhiên.

Phạm vi nghiên cứu:

  • Phạm vi lý thuyết: Không gian Banach khả ly vô hạn chiều và hữu hạn chiều; không gian metric tuyến tính đầy đủ ($F$-không gian và không gian Fréchet); không gian biến ngẫu nhiên $L^E_p(\Omega)$ ($0 \le p \le \infty$); các không gian có cơ sở Schauder; không gian chuỗi $l_p$ ($1 \le p < \infty$); không gian hàm $L^2[0, 1]$ và $C[0, 1]$; quá trình ngẫu nhiên Gauss, Poisson và quá trình đối xứng $p$-ổn định ($0 < p \le 2$).
  • Thời gian và địa điểm thực hiện: Luận án được hoàn thành ngày 31 tháng 5 năm 2010 tại Khoa Toán - Cơ - Tin học, Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội và được bảo vệ cấp nhà nước năm 2011.

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

Luận án điểm lại hệ thống các công trình nghiên cứu trong và ngoài nước liên quan trực tiếp đến giải tích ngẫu nhiên, lý thuyết toán tử ngẫu nhiên và hình học không gian Banach:

  • Nguyễn Thịnh (2006, [8]): Luận án tiến sĩ nghiên cứu các tính chất chính quy của toán tử ngẫu nhiên, xác lập mối quan hệ giữa tính liên tục ngẫu nhiên, tính đo được và tính bị chặn ngẫu nhiên, đồng thời đưa ra các điều kiện trên không gian $l_p$ cho tính bị chặn của toán tử tuyến tính.
  • Đặng Hùng Thắng và Nguyễn Thịnh (2007, [15]): Công bố kết quả nền tảng về toán tử ngẫu nhiên tuyến tính thác triển được; chứng minh định lý khẳng định một toán tử ngẫu nhiên tuyến tính thác triển được lên toàn bộ không gian biến ngẫu nhiên $L^X_0(\Omega)$ khi và chỉ khi nó là toán tử bị chặn.
  • Rolewicz (1985, [35]): Cung cấp cơ sở lý thuyết về $F$-không gian, không gian Fréchet, định lý Baire và các nguyên lý ánh xạ mở, đồ thị đóng.
  • Kwapień và Woyczyński (1992, [17]): Lý thuyết metric trên không gian các biến ngẫu nhiên $L^E_p(\Omega)$ và các tính chất hội tụ ngẫu nhiên.
  • Woyczyński (1978, [38]): Lý thuyết hình học không gian Banach, các khái niệm không gian $p$-trơn đều, $q$-lồi đều và bất đẳng thức Assouad-Pisier cho martingale nhận giá trị trong không gian Banach.
  • Samorodnitsky và Taqqu (1994, [23]): Khung lý thuyết về các quá trình ngẫu nhiên và biến ngẫu nhiên $p$-ổn định, ổn định loại $p$.
  • Itô và Nisio (1968, [29]): Định lý Itô-Nisio thiết lập sự tương đương giữa các dạng hội tụ (hầu chắc chắn, theo xác suất, hội tụ yếu) của chuỗi các biến ngẫu nhiên độc lập trong không gian metric tuyến tính khả ly.
  • Yosida (1980, [30]): Lý thuyết giải tích hàm hiện đại, cơ sở Schauder và tích phân Bochner cho hàm nhận giá trị Banach.
  • Diestel, Jarchow và Tonge (1995, [16]): Định lý Dvoretzky-Rogers dạng yếu về chuỗi vô hạn trong không gian Hilbert và không gian Banach.
  • Ledoux và Talagrand (1991, [39]): Xác suất trong không gian Banach, các đánh giá chuẩn cho chuỗi ổn định.

Khoảng trống nghiên cứu mà luận án lựa chọn giải quyết: Mặc dù công trình [15] của Đặng Hùng Thắng và Nguyễn Thịnh đã thiết lập điều kiện cần và đủ để thác triển toán tử ngẫu nhiên tuyến tính lên toàn bộ không gian $L^X_0(\Omega)$ (đó là tính bị chặn), kết quả này lại dẫn đến một giới hạn: rất nhiều toán tử ngẫu nhiên tuyến tính quan trọng trong giải tích và ứng dụng (tiêu biểu là tích phân ngẫu nhiên Wiener) không thỏa mãn tính bị chặn, do đó không thể mở rộng lên toàn bộ không gian biến ngẫu nhiên. Luận án giải quyết khoảng trống này bằng cách:

  • Nghiên cứu cơ chế thác triển trên miền tác động mở rộng cục bộ $\widehat{\mathcal{D}}(\Phi) \subset L^X_0(\Omega)$ đối với không gian có cơ sở Schauder (công bố trong [1]).
  • Thiết lập biểu diễn chuỗi cho các lớp toán tử ngẫu nhiên tổng quát (công bố trong [3]).
  • Xây dựng hai phương pháp thác triển mới (thác triển theo dãy và thác triển theo chuỗi) áp dụng cho toán tử ngẫu nhiên bất kỳ mà không cần giả thiết tuyến tính (công bố trong [2]).

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

Luận án sử dụng khung phân tích lý thuyết toán học thuộc chuyên ngành Lý thuyết xác suất và thống kê toán học, kết hợp giải tích hàm và giải tích ngẫu nhiên:

  • Khái niệm $F$-không gian và không gian Fréchet: Không gian véc-tơ $V$ trên trường $\mathbb{R}$ hoặc $\mathbb{C}$ trang bị metric bất biến tịnh tiến $d(x+a, y+a) = d(x, y)$, đầy đủ, phép cộng và nhân vô hướng liên tục. Ánh xạ $|x| = d(x, 0)$ là một $F$-chuẩn thỏa mãn các điều kiện giải tích hàm chuẩn tắc. Không gian Fréchet là $F$-không gian lồi địa phương sinh bởi một họ nửa chuẩn đếm được tách điểm.
  • Không gian các biến ngẫu nhiên $L^E_p(\Omega)$: Với $0 \le p < 1$, $L^E_p(\Omega)$ là $F$-không gian với metric:
    • Khi $p = 0$: $|X|_0 = E\left(\frac{|X|}{1 + |X|}\right)$, trong đó sự hội tụ theo $|\cdot|_0$ tương đương với hội tụ theo xác suất ($p\text{-}\lim$).
    • Khi $0 < p < 1$: $|X|_p = E|X|^p$.
    • Khi $1 \le p < \infty$: $L^E_p(\Omega)$ là không gian Banach với chuẩn $|X|_p = (E|X|^p)^{1/p}$.
    • Khi $p = \infty$: $|X|\infty = \text{ess sup}\omega |X(\omega)|$.
  • Hình học không gian Banach:
    • Không gian $p$-trơn đều ($1 < p \le 2$): tồn tại hằng số $K_p > 0$ sao cho $\frac{1}{2}(|x+y|^p + |x-y|^p) \le |x|^p + K_p|y|^p$.
    • Không gian $q$-lồi đều ($2 \le q < \infty$): tồn tại hằng số $K_q > 0$ sao cho $\frac{1}{2}(|x+y|^q + |x-y|^q) \ge |x|^q + K_q|y|^q$.
    • Bất đẳng thức Assouad-Pisier: Không gian $X$ đẳng cấu với không gian $p$-trơn đều khi và chỉ khi tồn tại $C_p > 0$ sao cho với mọi martingale $X$-giá trị $(S_n, \mathcal{A}n)$, ta có: $$\sup_n E|S_n|^p \le C_p \left[ E|S_0|^p + \sum{n=1}^\infty E|S_n - S_{n-1}|^p \right]$$
  • Phân bố có điều kiện chính quy và phân bố có điều kiện $q(B, y)$: Tồn tại hàm đo được $y \mapsto q(B, y)$ sao cho với mọi tập Borel $B, C$, ta có $P(X \in B, Y \in C) = \int_C q(B, y) d\mu_Y(y)$.
  • Quá trình ngẫu nhiên Gauss và quá trình đối xứng $p$-ổn định ($SpS$): Biến ngẫu nhiên $X$ là $p$-ổn định ($0 < p \le 2$) nếu hàm đặc trưng có dạng $E\exp{itX} = \exp{-\frac{\sigma^p |t|^p}{2}}$. Nếu $X_i$ là các bản sao độc lập của $X$ thì $\sum_{i=1}^N \alpha_i X_i$ có cùng phân bố với $(\sum_{i=1}^N |\alpha_i|^p)^{1/p} X$.
  • Định lý Itô-Nisio: Thiết lập sự tương đương giữa hội tụ hầu chắc chắn, hội tụ theo xác suất và hội tụ yếu đối với chuỗi các biến ngẫu nhiên độc lập trong không gian metric tuyến tính khả ly.
  • Cơ sở Schauder: Dãy $(e_n){n=1}^\infty$ trong không gian Banach vô hạn chiều $X$ sao cho mọi $x \in X$ đều được biểu diễn duy nhất dưới dạng $x = \sum{n=1}^\infty (x, e_n^) e_n$, với chuỗi hội tụ theo chuẩn và $(e_n^)$ là cơ sở liên hợp.
  • Tích phân Bochner: Mở rộng tích phân Lebesgue cho ánh xạ $f: X \to B$ nhận giá trị trong không gian Banach thông qua xấp xỉ bằng các hàm đơn giản $S_n(x) = \sum_{i=1}^n 1_{E_i}(x) b_i$.

Phương pháp nghiên cứu thực tế:

  • Luận án thuộc hướng nghiên cứu lý thuyết toán học thuần túy (Pure Mathematics), sử dụng phương pháp suy diễn tiên đề, chứng minh giải tích và phân tích cấu trúc không gian véc-tơ tô-pô.
  • Phương pháp xây dựng phản ví dụ giải tích: Sử dụng các mô hình cụ thể (quá trình Poisson, tích phân ngẫu nhiên Wiener, dãy biến ngẫu nhiên Rademacher, định lý Dvoretzky-Rogers) nhằm kiểm định ranh giới hiệu lực của các mệnh đề lý thuyết, chứng minh tính không đảo ngược của các quan hệ tô-pô và chỉ ra sự sụp đổ của nguyên lý bị chặn đều cổ điển trong giải tích ngẫu nhiên.
  • Kỹ thuật xấp xỉ dãy: Xây dựng thác triển thông qua việc xấp xỉ các biến ngẫu nhiên tổng quát bằng dãy các biến ngẫu nhiên đơn giản/rời rạc $u_n = \sum 1_{E_i} x_i$, chứng minh tính hội tụ theo xác suất của ảnh $\Phi u_n$ và tính duy nhất của giới hạn không phụ thuộc vào dãy xấp xỉ.
  • Kỹ thuật phân tích chuỗi ngẫu nhiên: Khai triển toán tử và biến ngẫu nhiên theo hệ cơ sở Schauder, kết hợp tích phân Bochner và định lý Itô-Nisio để chứng minh sự hội tụ.

Nguồn tư liệu và dữ liệu: Luận án không sử dụng dữ liệu thực nghiệm, mẫu khảo sát hay phần mềm tính toán thống kê. Nguồn tư liệu hoàn toàn bao gồm 41 tài liệu tham khảo học thuật chuẩn mực trong nước và quốc tế, bao gồm các giáo trình chuyên khảo, luận án tiến sĩ và các bài báo khoa học đăng trên các tạp chí chuyên ngành toán học (tạp chí Toán học, Communications in Statistics, v.v.).

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

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

Chương 0 hệ thống hóa các kiến thức nền tảng của giải tích hàm hiện đại và lý thuyết xác suất trong không gian vô hạn chiều làm công cụ cho các chứng minh trong luận án:

  • Trình bày định nghĩa và 6 tiên đề của $F$-chuẩn trên $F$-không gian: $|x| = 0 \Leftrightarrow x = 0$; $|ax| = |x|$ khi $|a| = 1$; $|x+y| \le |x| + |y|$; $a_0 x \to 0$ khi $a_0 \to 0$; $a x_n \to 0$ khi $x_n \to 0$; $a_n x_n \to 0$ khi $a_n \to 0, x_n \to 0$. Khẳng định định lý Baire, định lý đồ thị đóng, ánh xạ mở vẫn giữ nguyên hiệu lực trên $F$-không gian.
  • Khảo sát tô-pô không gian $L^E_p(\Omega)$, chỉ ra tính chất hội tụ theo F-chuẩn $|\cdot|_0$ tương đương với hội tụ theo xác suất.
  • Phân tích hình học không gian Banach: Định nghĩa mô đun trơn $\rho(t)$, mô đun lồi $\delta(\varepsilon)$ và chứng minh các không gian $L_p, l_p$ ($1 < p < \infty$) là $\min(p, 2)$-trơn đều và $\max(p, 2)$-lồi đều; phát biểu bất đẳng thức Assouad-Pisier cho martingale.
  • Thiết lập định nghĩa xác suất có điều kiện chính quy $Q(E, \omega)$ và phân bố có điều kiện $q(B, y)$.
  • Giới thiệu các tính chất của quá trình Gauss, tính bất biến đối với phép quay của véc-tơ Gauss chuẩn tắc trong $\mathbb{R}^N$, tính chất của phân bố $p$-ổn định.
  • Trình bày định lý Itô-Nisio cho chuỗi biến ngẫu nhiên độc lập trong không gian metric tuyến tính khả ly $E$.
  • Khái quát về cơ sở Schauder $(e_n)$ trong không gian Banach khả ly, phân biệt rõ với cơ sở đại số Hamel (vốn không đếm được trong không gian vô hạn chiều).
  • Trình bày các tính chất cơ bản của tích phân Bochner và cấu trúc của martingale cùng dãy hiệu martingale $(\xi_n, \mathcal{A}_n)$.

Chương 1: Tính chính quy và sự biểu diễn chuỗi toán tử ngẫu nhiên

Chương 1 khảo sát các tính chất chính quy của toán tử ngẫu nhiên và điều kiện để toán tử ngẫu nhiên có biểu diễn chuỗi:

  • Định nghĩa toán tử ngẫu nhiên $\Phi: \Omega \times E \to Y$ ($E \subset X$), tương đương một ánh xạ từ $E$ vào $L^Y_0(\Omega)$ xác định bởi $x \mapsto \Phi x(\omega) = \Phi(\omega, x)$. Tác giả chỉ ra toán tử ngẫu nhiên là dạng tổng quát hóa của dãy biến ngẫu nhiên ($E = \mathbb{N}$), quá trình ngẫu nhiên ($E = [0, \infty)$) và trường ngẫu nhiên ($E = \mathbb{R}^k$).
  • Đưa ra các ví dụ tiêu biểu: chuỗi ngẫu nhiên $\Phi x = \sum_{n=1}^\infty \alpha_n f_n x$; tích phân ngẫu nhiên $\Phi x(t) = \int_0^t x(s) dW(s)$ xác định một toán tử ngẫu nhiên từ $L^2[0, 1]$ vào $C[0, 1]$.
  • Phân loại và phân tích các tính chất chính quy: tính đo được đối với $\sigma$-trường tích $\mathcal{F} \otimes \mathcal{B}(X)$; tính liên tục quỹ đạo (hầu chắc chắn); tính liên tục ngẫu nhiên ($x_n \to x \Rightarrow \Phi x_n \to \Phi x$ theo xác suất); tính liên tục ngẫu nhiên đều; tính tuyến tính ngẫu nhiên; tính bị chặn ngẫu nhiên ($\lim_{t\to\infty} \sup_{|x|\le 1} P{|\Phi x| > t} = 0$); tính bị chặn ($|\Phi x(\omega)| \le k(\omega)|x|$ hầu chắc chắn, với $k(\omega)$ là một biến ngẫu nhiên thực).
  • Thiết lập mối quan hệ giữa các tính chất chính quy:
    • Tính liên tục kéo theo tính liên tục ngẫu nhiên, nhưng điều ngược lại không đúng: tác giả đưa ra phản ví dụ về quá trình Poisson cường độ $\lambda > 0$, có quỹ đạo gián đoạn hầu chắc chắn dạng bậc thang nhưng liên tục theo xác suất do $\lim_{t\to s} P{|\Phi_t - \Phi_s| > \varepsilon} \le 1 - \lim_{t\to s} e^{-\lambda(t-s)} = 0$.
    • Mọi toán tử ngẫu nhiên liên tục ngẫu nhiên đều có bản sao đo được (Định lý Nguyễn Thịnh [8]).
    • Định lý 1.6: Đối với toán tử tuyến tính ngẫu nhiên, tính liên tục ngẫu nhiên tương đương với tính bị chặn ngẫu nhiên.
    • Toán tử bị chặn kéo theo bị chặn ngẫu nhiên, nhưng chiều ngược lại không đúng: tác giả chứng minh phản ví dụ với toán tử tích phân ngẫu nhiên Wiener $\Phi x(t) = \int_0^t x(s) dW(s)$ từ $L^2[0, 1]$ vào $L^2[0, 1]$. Toán tử này bị chặn theo xác suất do $E|\Phi x|^2 \le |x|^2$, nhưng không bị chặn; chứng minh sử dụng dãy hàm kiểm tra $x_h(t) = \frac{1}{\sqrt{1-h}\sqrt{2h \ln\ln(1/h)}}$ trên $[0, h]$ và bằng 0 trên $(h, 1]$, có $|x_h| \to 0$ khi $h \to 0$ trong khi $|\Phi x_h(\omega)|^2 > \frac{[W(h)]^2}{2h\ln\ln(1/h)} \to 1$ theo luật logarit lặp.
    • Định lý 1.8: Toán tử ngẫu nhiên tuyến tính $\Phi$ bị chặn khi và chỉ khi tồn tại ánh xạ đo được $T: \Omega \to \mathcal{L}(X, Y)$ sao cho $\Phi x(\omega) = T(\omega)x$ hầu chắc chắn; biến ngẫu nhiên nhỏ nhất thỏa mãn đánh giá chặn là $|\Phi|(\omega) = |T(\omega)| = \sup_n |\Phi x_n(\omega)|$ với $(x_n)$ là tập con trù mật của hình cầu đơn vị.
    • Khảo sát trên không gian $l_p$: Với $p > 1$, điều kiện đủ để $\Phi$ bị chặn là $\sum_{n=1}^\infty |\Phi e_n|^q < \infty$ hầu chắc chắn ($q$ là số mũ liên hợp), điều kiện này là cần nếu $Y$ hữu hạn chiều; với $p=1$, điều kiện cần và đủ là $\sup_n |\Phi e_n| < \infty$ hầu chắc chắn. Tác giả xây dựng phản ví dụ dùng dãy Rademacher $r_n(\omega)$ trên $l_p$ cho thấy khi $Y$ vô hạn chiều, điều kiện $\sum |\Phi e_n|^q < \infty$ không còn là điều kiện cần.
    • Bác bỏ nguyên lý bị chặn đều cổ điển: Xây dựng phản ví dụ dựa trên định lý Dvoretzky-Rogers và biến ngẫu nhiên $p$-ổn định $\gamma_n$ trên $l_p$ ($1 < p < 2$) và không gian Hilbert $H$, chứng minh tồn tại họ toán tử tuyến tính bị chặn $(\Phi_x){x\in I}$ bị chặn điểm hầu chắc chắn nhưng $\sup{x, y} |\Phi_x y| = \infty$ hầu chắc chắn. Ngược lại, Định lý 1.14 khẳng định nguyên lý bị chặn đều theo xác suất vẫn hoàn toàn đúng.
    • Sự biểu diễn chuỗi toán tử ngẫu nhiên: Chứng minh Định lý khẳng định mọi toán tử ngẫu nhiên Gauss đối xứng liên tục ngẫu nhiên đều có khai triển chuỗi độc lập $\Phi x = \sum_{n=1}^\infty \alpha_n f_n x$, trong đó $(\alpha_n)$ là dãy biến ngẫu nhiên thực độc lập cùng phân bố chuẩn tắc $N(0, 1)$ và $f_n x = \int_\Omega \alpha_n(\omega) \Phi x(\omega) dP(\omega)$ là các toán tử tất định liên tục (tích phân Bochner). Mở rộng kết quả này cho toán tử đối xứng $p$-ổn định ($SpS$) khi không gian con $[\Phi]$ đẳng cự với $l_p$.
Tính chất chính quy Định nghĩa giải tích Mối quan hệ tương đương / Kéo theo Phản ví dụ tiêu biểu
Liên tục quỹ đạo Ánh xạ $x \mapsto \Phi(\omega, x)$ liên tục hầu chắc chắn Kéo theo liên tục ngẫu nhiên; chiều ngược lại không đúng Quá trình Poisson (gián đoạn a.s., liên tục theo xác suất)
Liên tục ngẫu nhiên $x_n \to x \Rightarrow \Phi x_n \to \Phi x$ trong $L^Y_0(\Omega)$ Tương đương bị chặn ngẫu nhiên đối với toán tử tuyến tính Không có (tương đương chuẩn mực)
Bị chặn ngẫu nhiên $\lim_{t\to\infty} \sup_{|x|\le 1} P{|\Phi x| > t} = 0$ Được kéo theo bởi tính bị chặn; không suy ngược lại được Tích phân Wiener $\Phi x(t) = \int_0^t x dW$ trên $L^2$
Bị chặn $|\Phi x(\omega)| \le k(\omega)|x|$ hầu chắc chắn Tương đương $\Phi x(\omega) = T(\omega)x$ với $T \in \mathcal{L}(X, Y)$ Giới hạn chuỗi Gauss trên $l_2$

Chương 2: Thác triển toán tử ngẫu nhiên tuyến tính

Chương 2 trình bày hai nội dung chính về bài toán mở rộng miền tác động của toán tử ngẫu nhiên tuyến tính:

  • Mục 2.1: Toán tử ngẫu nhiên tuyến tính thác triển được:
    • Định nghĩa toán tử thác triển $\widetilde{\Phi}: L^X_0(\Omega) \to L^Y_0(\Omega)$: Với biến ngẫu nhiên đơn giản $u = \sum_{i=1}^n 1_{E_i} x_i$ ($E_i$ rời nhau), tác động được định nghĩa tự nhiên $\widetilde{\Phi} u = \sum_{i=1}^n 1_{E_i} \Phi x_i$. Với biến ngẫu nhiên bất kỳ $u \in L^X_0(\Omega)$, chọn dãy đơn giản $u_n \to u$ theo xác suất; nếu $\widetilde{\Phi} u_n$ hội tụ theo xác suất và giới hạn duy nhất thì đặt $\widetilde{\Phi} u = p\text{-}\lim_n \widetilde{\Phi} u_n$.
    • Mệnh đề 2.2: Chứng minh tính duy nhất của thác triển và tính tuyến tính ngẫu nhiên $\widetilde{\Phi}(\alpha u + \beta v) = \alpha \widetilde{\Phi} u + \beta \widetilde{\Phi} v$ hầu chắc chắn với mọi biến ngẫu nhiên thực $\alpha, \beta$.
    • Định lý 2.3 (Đặng Hùng Thắng và Nguyễn Thịnh [15]): Toán tử ngẫu nhiên tuyến tính $\Phi$ thác triển được khi và chỉ khi $\Phi$ bị chặn.
      • Chứng minh điều kiện đủ dựa trên bổ đề đánh giá: $P{|\widetilde{\Phi} u| > t} \le P{|\Phi| > t/r} + P{|u| > r}$.
      • Chứng minh điều kiện cần bằng phản chứng: Nếu $\Phi$ không bị chặn, tập $D = {\omega: \sup_n |\Phi x_n(\omega)| = \infty}$ có xác suất dương; tác giả thiết lập dãy biến ngẫu nhiên $u_n$ sao cho $|\widetilde{\Phi} u_n| = \max_{1\le k\le n} |\Phi x_k| = \xi_n \to \infty$, từ đó xây dựng dãy $g_k = u_{n_k}/k \to 0$ hầu chắc chắn nhưng $P{|\widetilde{\Phi} g_k| > 1} > P(D)/2 > 0$, dẫn đến mâu thuẫn.
    • Hệ quả 2.5: Xác nhận giới hạn căn bản: Tích phân ngẫu nhiên Wiener $\Phi x = \int_0^1 x(s) dW(s)$ không thể thác triển lên toàn bộ không gian biến ngẫu nhiên $L^{L^2}_0(\Omega)$ bằng phương pháp giải tích thông thường do tính không bị chặn của toán tử.
    • Mệnh đề 2.7: Cho $(\Phi_n)$ là dãy toán tử ngẫu nhiên tuyến tính bị chặn hội tụ theo xác suất đến $\Phi$; nếu dãy chuẩn $(|\Phi_n|)$ bị chặn theo xác suất thì toán tử giới hạn $\Phi$ cũng bị chặn (kèm ví dụ khẳng định đây chỉ là điều kiện đủ chứ không phải điều kiện cần).
  • Mục 2.2: Thác triển trong không gian có cơ sở Schauder:
    • Khai triển $x = \sum_{n=1}^\infty (x, e_n^) e_n$ dẫn đến biểu diễn chuỗi $\Phi x = \sum_{n=1}^\infty (x, e_n^) \Phi e_n$.
    • Định nghĩa miền tác động mở rộng $\widehat{\mathcal{D}}(\Phi)$ là tập hợp các biến ngẫu nhiên $u \in L^X_0(\Omega)$ sao cho chuỗi ngẫu nhiên $\sum_{n=1}^\infty (u, e_n^) \Phi e_n$ hội tụ theo xác suất trong $L^Y_0(\Omega)$, và đặt ảnh thác triển là $\widehat{\Phi} u = \sum_{n=1}^\infty (u, e_n^) \Phi e_n$.
    • Thiết lập các tính chất của $\widehat{\mathcal{D}}(\Phi)$: là không gian véc-tơ con trù mật trong $L^X_0(\Omega)$, chứa toàn bộ các biến ngẫu nhiên đơn giản và các biến ngẫu nhiên có dạng $u = \sum_{i=1}^n \xi_i x_i$. Ánh xạ mở rộng $\widehat{\Phi}$ có tính tuyến tính.
    • Tác giả chỉ ra rằng $\widehat{\mathcal{D}}(\Phi)$ nhìn chung phụ thuộc vào việc lựa chọn cơ sở Schauder, không phải là một không gian con đóng của $L^X_0(\Omega)$ và $\widehat{\Phi}$ chưa chắc đã liên tục. Minh họa bằng phản ví dụ trên $X = L^2[0, 1]$ với tích phân Wiener: biến ngẫu nhiên $u = \sum_{k=1}^\infty \frac{\xi_k}{k} e_k$ (với $(\xi_k)$ là dãy Gauss chuẩn tắc độc lập) thuộc $L^X_0(\Omega)$ do chuỗi $\sum \frac{1}{k^2} < \infty$, nhưng $u \notin \widehat{\mathcal{D}}(\Phi)$.
    • Xét trường hợp đặc biệt khi ảnh của hệ cơ sở $(\Phi e_n)$ là các biến ngẫu nhiên độc lập: sử dụng định lý Itô-Nisio để rút ra các điều kiện cần và đủ cho sự hội tụ của chuỗi thác triển.

Chương 3: Thác triển toán tử ngẫu nhiên bất kỳ

Chương 3 mở rộng lý thuyết thác triển sang trường hợp toán tử ngẫu nhiên phi tuyến bất kỳ $\Phi: \Omega \times E \to Y$ ($E \subset X$):

  • Mục 3.1: Phương pháp thác triển theo dãy:
    • Xây dựng định nghĩa tác động của toán tử phi tuyến $\Phi$ lên lớp các biến ngẫu nhiên rời rạc nhận giá trị trong $E$.
    • Mở rộng lên biến ngẫu nhiên $E$-giá trị tổng quát $u$ bằng cách xấp xỉ qua dãy biến ngẫu nhiên rời rạc $u_n \to u$ theo xác suất. Định nghĩa ảnh thác triển là giới hạn theo xác suất $p\text{-}\lim_n \Phi u_n$ khi giới hạn này tồn tại độc lập với dãy xấp xỉ.
    • Thiết lập các điều kiện đủ để một biến ngẫu nhiên $u$ thuộc miền tác động theo dãy, và tìm các điều kiện cần và đủ để thác triển toán tử lên toàn bộ không gian biến ngẫu nhiên $E$-giá trị. Phương pháp này khái quát hóa kết quả của Chương 2 cho các toán tử không có tính chất tuyến tính.
  • Mục 3.2: Phương pháp thác triển theo chuỗi:
    • Khảo sát các toán tử ngẫu nhiên có khai triển chuỗi dạng $\Phi x = \sum_{n=1}^\infty \alpha_n f_n x$, trong đó $(\alpha_n)$ là dãy các biến ngẫu nhiên thực (hoặc $Y$-giá trị) và $(f_n)$ là dãy ánh xạ đo được tất định từ $E \subset X$ vào $Y$ (hoặc vào $\mathbb{R}$). Cấu trúc này bao hàm toàn bộ trường hợp toán tử tuyến tính trong không gian có cơ sở Schauder.
    • Định nghĩa miền tác động mở rộng theo chuỗi là tập hợp các biến ngẫu nhiên $u$ nhận giá trị trong $E$ sao cho chuỗi ngẫu nhiên $\sum_{n=1}^\infty \alpha_n f_n u$ hội tụ theo xác suất trong $L^Y_0(\Omega)$.
    • Thiết lập các điều kiện đủ để $u$ thuộc miền tác động và các điều kiện cần và đủ để thác triển toán tử lên toàn bộ không gian biến ngẫu nhiên $E$-giá trị.
    • Phân tích mối quan hệ so sánh giữa phương pháp thác triển theo dãy và phương pháp thác triển theo chuỗi ngẫu nhiên, chỉ ra các trường hợp đặc biệt mà hai phương pháp này cho kết quả trùng khớp nhau.

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

Các đóng góp mới về mặt lý luận và khoa học của luận án (được công bố trong ba bài báo [1], [2], [3] của tác giả):

  1. Về biểu diễn chuỗi toán tử ngẫu nhiên: Thiết lập định lý về sự tồn tại biểu diễn chuỗi độc lập $\Phi x = \sum_{n=1}^\infty \alpha_n f_n x$ cho toán tử ngẫu nhiên Gauss đối xứng liên tục ngẫu nhiên (sử dụng tích phân Bochner); mở rộng thành công định lý này cho lớp toán tử đối xứng $p$-ổn định ($SpS$, $0 < p \le 2$) khi không gian con $[\Phi]$ đẳng cự với $l_p$.
  2. Về thác triển toán tử tuyến tính trong không gian có cơ sở Schauder: Xây dựng khái niệm miền tác động mở rộng $\widehat{\mathcal{D}}(\Phi)$ và toán tử mở rộng $\widehat{\Phi}$. Đưa ra các điều kiện đủ để một biến ngẫu nhiên thuộc miền tác động mở rộng, và điều kiện cần-đủ để thác triển toán tử lên toàn bộ không gian biến ngẫu nhiên $L^X_0(\Omega)$. Giải quyết chi tiết trường hợp ảnh của hệ cơ sở $(\Phi e_n)$ là các biến ngẫu nhiên độc lập.
  3. Về thác triển toán tử ngẫu nhiên bất kỳ: Đề xuất và hoàn thiện hai phương pháp mới để thác triển toán tử ngẫu nhiên phi tuyến bất kỳ:
    • Phương pháp thác triển theo dãy (thông qua xấp xỉ bằng dãy biến ngẫu nhiên rời rạc).
    • Phương pháp thác triển theo chuỗi ngẫu nhiên (dựa trên biểu diễn chuỗi của toán tử). Thiết lập các tiêu chuẩn giải tích xác định miền tác động và mối quan hệ tương đương giữa hai phương pháp trong các trường hợp cụ thể.
  4. Về hệ thống phản ví dụ: Cung cấp hệ thống phản ví dụ toán học chặt chẽ làm sáng tỏ các ranh giới lý thuyết: chứng minh tính không khả thi của phép thế trực tiếp, sự tồn tại của toán tử liên tục ngẫu nhiên nhưng gián đoạn quỹ đạo, toán tử bị chặn ngẫu nhiên nhưng không bị chặn, sự vi phạm nguyên lý bị chặn đều hầu chắc chắn, và tính không đóng của miền tác động mở rộng $\widehat{\mathcal{D}}(\Phi)$.

Kiến nghị và định hướng ứng dụng:

  • Áp dụng kỹ thuật biểu diễn chuỗi và không gian cơ sở Schauder để nghiên cứu cấu trúc nghiệm của các phương trình toán tử ngẫu nhiên có vế phải hoặc toán tử chịu nhiễu ngẫu nhiên.
  • Vận dụng lý thuyết miền tác động mở rộng để mở rộng định nghĩa tích phân ngẫu nhiên đối với các hàm ngẫu nhiên tổng quát nhận giá trị trong không gian Banach.

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

Hạn chế của nghiên cứu (dựa trên các nội dung văn bản đề cập và phạm vi nghiên cứu):

  • Toàn bộ kết quả của luận án được xây dựng trên giả thiết không gian Banach $X, Y$ là khả ly. Lý thuyết chưa bao quát được các không gian Banach không khả ly (nơi hệ cơ sở Schauder không tồn tại).
  • Miền tác động mở rộng $\widehat{\mathcal{D}}(\Phi)$ của toán tử tuyến tính xây dựng qua cơ sở Schauder phụ thuộc vào việc lựa chọn cơ sở $(e_n)$, chưa đạt được tính bất biến đại số - tô-pô độc lập với hệ cơ sở.
  • Miền $\widehat{\mathcal{D}}(\Phi)$ nhìn chung không phải là không gian con đóng của $L^X_0(\Omega)$ và ánh xạ thác triển $\widehat{\Phi}$ không nhất thiết bảo toàn tính liên tục tô-pô.
  • Các điều kiện cần và đủ cho tính bị chặn trên không gian chuỗi $l_p$ mới chỉ đạt được tính tương đương hoàn chỉnh khi không gian đích $Y$ là hữu hạn chiều (với $p > 1$).

Hướng nghiên cứu tiếp theo (trích dẫn nguyên văn từ phần "Kiến nghị về những nghiên cứu tiếp theo", trang 86 của luận án):

  1. Nghiên cứu thác triển toán tử ngẫu nhiên trong không gian Fréchet và các không gian không khả ly.
  2. Nghiên cứu các phương trình toán tử ngẫu nhiên với toán tử được thác triển.
  3. Ứng dụng lý thuyết thác triển toán tử ngẫu nhiên vào việc mở rộng tích phân ngẫu nhiên và phương trình vi phân ngẫu nhiên với các hệ số ngẫu nhiên tổng quát.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo giá trị cho các nhóm độc giả học thuật:

  • 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: Có thể tham khảo phương pháp tiếp cận hiện đại trong việc kết hợp giải tích hàm và lý thuyết xác suất; sử dụng Chương 0 và Chương 1 như tài liệu học tập nâng cao về hình học không gian Banach ($p$-trơn đều, $q$-lồi đều, bất đẳng thức Assouad-Pisier) và các tính chất chính quy của ánh xạ ngẫu nhiên.
  • Các nhà nghiên cứu về Giải tích ngẫu nhiên và Phương trình vi phân ngẫu nhiên:
    • Tham khảo Chương 2 để nắm vững điều kiện biên của phép thác triển tuyến tính (Định lý 2.3) và kỹ thuật thác triển qua cơ sở Schauder, đặc biệt khi xử lý các toán tử dạng tích phân ngẫu nhiên không bị chặn.
    • Tham khảo Chương 3 để áp dụng hai kỹ thuật thác triển (theo dãy và theo chuỗi) khi giải quyết các bài toán liên quan đến toán tử phi tuyến và phương trình ngẫu nhiên nhận giá trị trong không gian Banach.
  • Phần đáng tham khảo nhất:
    • Hệ thống các phản ví dụ tại Chương 1 và Chương 2: giúp người đọc tránh các ngộ nhận giải tích khi chuyển giao các định lý tất định (như nguyên lý bị chặn đều, phép thế hàm) sang môi trường ngẫu nhiên.
    • Các chứng minh giải tích chi tiết về biểu diễn chuỗi toán tử Gauss đối xứng và $p$-ổn định đối xứng thông qua tích phân Bochner (Mục 1.3).

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

1. Tại sao không thể mở rộng miền tác động của toán tử ngẫu nhiên bằng phép thế trực tiếp $\Phi u(\omega) = \Phi(\omega, u(\omega))$?

Phép thế trực tiếp vi phạm hai yêu cầu cơ bản của giải tích ngẫu nhiên: tính đo được và tính độc lập với bản sao đại diện. Tác giả đã chứng minh bằng hai phản ví dụ:

  • Thứ nhất, nếu lấy tập không Borel $D \notin \mathcal{F}$ trong không gian xác suất không nguyên tử và định nghĩa $\Phi(\omega, x) = a$ nếu $\omega = x \in D$ và bằng $b$ nếu ngược lại, thì với biến ngẫu nhiên $u(\omega) = \omega$, tập nghịch ảnh ${\omega: \Phi(\omega, u(\omega)) = a} = D \notin \mathcal{F}$, tức là $\Phi u$ không phải là biến ngẫu nhiên.
  • Thứ hai, trên đoạn $[0, 1]$ với độ đo Lebesgue, nếu thay đổi giá trị của toán tử trên một tập độ đo không (tạo ra một bản sao tương đương hầu chắc chắn của $\Phi$), phép thế trực tiếp với $u(\omega) = \omega$ sẽ cho ra hai kết quả khác nhau, nghĩa là giá trị của $\Phi u$ bị phụ thuộc vào bản sao được chọn.

2. Điều kiện cần và đủ để một toán tử ngẫu nhiên tuyến tính thác triển được lên toàn bộ không gian biến ngẫu nhiên $L^X_0(\Omega)$ là gì?

Theo Định lý 2.3 (công bố bởi Đặng Hùng Thắng và Nguyễn Thịnh [15], được chứng minh chi tiết trong luận án), toán tử ngẫu nhiên tuyến tính $\Phi$ từ $X$ vào $Y$ thác triển được lên toàn bộ không gian biến ngẫu nhiên $L^X_0(\Omega)$ khi và chỉ khi $\Phi$ là toán tử bị chặn (tồn tại biến ngẫu nhiên thực $k(\omega)$ sao cho $|\Phi x(\omega)| \le k(\omega)|x|$ hầu chắc chắn). Khi đó, ảnh thác triển có dạng $\widetilde{\Phi} u(\omega) = T(\omega)u(\omega)$ hầu chắc chắn, với $T(\omega) \in \mathcal{L}(X, Y)$.

3. Tại sao tích phân ngẫu nhiên Wiener không thể thác triển lên toàn bộ các biến ngẫu nhiên nhận giá trị trong $L^2[0, 1]$ bằng phương pháp thác triển thông thường?

Toán tử tích phân Wiener $\Phi x(t) = \int_0^t x(s) dW(s)$ xác định một toán tử ngẫu nhiên tuyến tính từ $L^2[0, 1]$ vào $L^2[0, 1]$. Mặc dù toán tử này liên tục ngẫu nhiên và bị chặn ngẫu nhiên (do $E|\Phi x|^2 \le |x|^2$), nó lại không phải là toán tử bị chặn (không tồn tại biến ngẫu nhiên chặn $k(\omega)$). Vì không bị chặn, theo Định lý 2.3, toán tử này không thể thác triển lên toàn bộ không gian biến ngẫu nhiên $L^{L^2}_0(\Omega)$.

4. Nguyên lý bị chặn đều của giải tích hàm cổ điển có còn đúng cho toán tử ngẫu nhiên tuyến tính không?

Nguyên lý bị chặn đều không còn đúng theo nghĩa hầu chắc chắn: Luận án đã xây dựng phản ví dụ trên không gian chuỗi $l_p$ ($1 < p < 2$) và không gian Hilbert $H$ bằng cách kết hợp định lý Dvoretzky-Rogers và biến ngẫu nhiên $p$-ổn định, chứng minh tồn tại một họ toán tử ngẫu nhiên tuyến tính bị chặn $(\Phi_x)$ bị chặn điểm hầu chắc chắn với mọi $y \in H$, nhưng trên hình cầu đơn vị thì $\sup_{x, y} |\Phi_x y| = \infty$ hầu chắc chắn. Tuy nhiên, nếu xét theo nghĩa bị chặn theo xác suất, nguyên lý bị chặn đều vẫn đúng (Định lý 1.14).

5. Miền tác động mở rộng $\widehat{\mathcal{D}}(\Phi)$ của toán tử tuyến tính trong không gian có cơ sở Schauder được định nghĩa như thế nào và có cấu trúc ra sao?

Với cơ sở Schauder $(e_n)$ và cơ sở liên hợp $(e_n^)$ của $X$, toán tử tuyến tính có biểu diễn $\Phi x = \sum_{n=1}^\infty (x, e_n^) \Phi e_n$. Miền tác động mở rộng $\widehat{\mathcal{D}}(\Phi)$ là tập hợp các biến ngẫu nhiên $u \in L^X_0(\Omega)$ sao cho chuỗi ngẫu nhiên $\sum_{n=1}^\infty (u, e_n^*) \Phi e_n$ hội tụ theo xác suất trong $L^Y_0(\Omega)$. Miền này là một không gian véc-tơ con trù mật trong $L^X_0(\Omega)$, chứa mọi biến ngẫu nhiên đơn giản, nhưng nhìn chung không đóng và toán tử mở rộng $\widehat{\Phi}$ không nhất thiết liên tục.

Kết luận

Luận án tiến sĩ của Trần Mạnh Cường là một công trình nghiên cứu lý thuyết hệ thống về giải tích ngẫu nhiên, giải quyết trọn vẹn bài toán mở rộng miền tác động của toán tử ngẫu nhiên từ các phần tử tất định sang các biến ngẫu nhiên trong không gian Banach khả ly. Tác giả đã làm sáng tỏ cấu trúc giải tích của các tính chất chính quy, chứng minh định lý biểu diễn chuỗi độc lập cho toán tử Gauss đối xứng và $p$-ổn định đối xứng, đồng thời xây dựng thành công cơ chế thác triển trên miền mở rộng $\widehat{\mathcal{D}}(\Phi)$ qua cơ sở Schauder nhằm vượt qua rào cản không bị chặn của các toán tử tích phân ngẫu nhiên. Bên cạnh đó, việc đề xuất hai quy trình thác triển theo dãy và theo chuỗi đã mở rộng phạm vi áp dụng của lý thuyết sang lớp các toán tử phi tuyến bất kỳ, cung cấp nền tảng toán học cho các nghiên cứu tiếp theo về phương trình toán tử ngẫu nhiên và giải tích ngẫu nhiên vô hạn chiều.