Tổng quan luận án

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

Luật số lớn là một trong những bài toán nền tảng của lý thuyết xác suất, khẳng định sự hội tụ của trung bình cộng các biến ngẫu nhiên độc lập cùng phân phối về kỳ vọng toán học. Quá trình phát triển tự nhiên của lý thuyết xác suất đã dẫn tới việc mở rộng các kết quả cổ điển từ không gian số thực $\mathbb{R}$ sang không gian Banach vô hạn chiều, cũng như chuyển dịch từ dãy ngẫu nhiên một chỉ số sang mảng ngẫu nhiên nhiều chỉ số ($m, n \ge 1$).

Khoảng trống nghiên cứu nảy sinh từ hai trở ngại toán học căn bản:

  1. Trở ngại hình học không gian: Nhiều định lý giới hạn đúng trong không gian số thực hoặc không gian hữu hạn chiều không còn nghiệm đúng trong không gian Banach tổng quát nếu thiếu các cấu trúc hình học tương thích (chẳng hạn cấu trúc không gian Rademacher dạng $p$).
  2. Trở ngại cấu trúc chỉ số: Quan hệ thứ tự thông thường trên tập chỉ số $\mathbb{N} \times \mathbb{N}$ của mảng hai hay nhiều chỉ số không có tính chất tuyến tính. Do đó, các kỹ thuật phân tích và đánh giá cực đại đối với dãy một chỉ số không thể áp dụng trực tiếp cho mảng nhiều chỉ số.

Bên cạnh các khái niệm hội tụ hầu chắc chắn, hội tụ theo xác suất, hội tụ theo trung bình và hội tụ đầy đủ, khái niệm "hội tụ đầy đủ theo trung bình cấp $p$" ($c, L_p$) là dạng hội tụ mạnh hơn hội tụ đầy đủ và hội tụ theo trung bình cấp $p$. Tuy nhiên, các công trình khảo sát dạng hội tụ này đối với mảng các phần tử ngẫu nhiên nhận giá trị trong không gian Banach còn hạn chế. Do đó, tác giả lựa chọn đề tài "Luật số lớn và sự hội tụ đầy đủ theo trung bình đối với mảng các phần tử ngẫu nhiên nhận giá trị trong không gian Banach".

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

Mục tiêu nghiên cứu của luận án được xác định cụ thể qua các nhiệm vụ toán học:

  1. Thiết lập các điều kiện cần và đủ để luật mạnh số lớn (SLLN) và luật yếu số lớn (WLLN) đối với mảng hai chỉ số các phần tử ngẫu nhiên nhận giá trị trong không gian Banach thực khả li tương đương với nhau.
  2. Tìm điều kiện để thiết lập sự hội tụ đầy đủ theo trung bình cấp $p$ ($1 \le p \le 2$) của mảng các phần tử ngẫu nhiên trong không gian Rademacher dạng $p$; đồng thời chứng minh rằng trong không gian Banach tùy ý, sự hội tụ đầy đủ theo trung bình cấp $p$ kéo theo luật mạnh số lớn thông thường.
  3. Xác định điều kiện cần và đủ cho sự hội tụ đầy đủ của tổng kép có trọng số các phần tử ngẫu nhiên độc lập đôi một, cùng phân phối.
  4. Mở rộng các dạng tổng quát của một số bất đẳng thức cực đại cổ điển (Etemadi, Lévy, Ottaviani, Hoffmann-Jørgensen) cho mảng hai chỉ số và ứng dụng bất đẳng thức Ottaviani tổng quát để chứng minh luật mạnh số lớn dạng $(p, q)$ kéo theo luật mạnh số lớn.

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

  • Đối tượng nghiên cứu: Mảng hai chỉ số các phần tử ngẫu nhiên ${X_{mn}, m \ge 1, n \ge 1}$ độc lập cùng phân phối, độc lập không cùng phân phối, hoặc độc lập đôi một cùng phân phối, nhận giá trị trong không gian Banach thực khả li $E$.
  • Phạm vi nghiên cứu: Tập trung vào không gian xác suất đầy đủ $(\Omega, \mathcal{F}, P)$, không gian Banach thực khả li $E$ (bao gồm không gian Banach bất kỳ và không gian Rademacher dạng $p$ với $1 \le p \le 2$), mảng hai chỉ số và các quá trình giới hạn khi $m \vee n \to \infty$ hoặc $m \wedge n \to \infty$.

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

Lịch sử nghiên cứu và các công trình liên quan

Lịch sử luật số lớn bắt đầu từ công bố của Bernoulli (1713), sau đó được mở rộng bởi Poisson, Chebyshev, Markov và Khintchin. Bước phát triển của luật mạnh số lớn được đánh dấu bởi phát hiện của Borel (1909) và được Kolmogorov (1933) hoàn thiện cho dãy biến ngẫu nhiên độc lập có phương sai hữu hạn, cũng như điều kiện cần và đủ có kỳ vọng hữu hạn cho dãy độc lập cùng phân phối. Sau đó, Marcinkiewicz và Zygmund (1937, 1938) mở rộng kết quả của Kolmogorov sang bậc $p$ ($0 < p < 2$).

Hướng nghiên cứu Tác giả và năm công bố Kết quả tiêu biểu được điểm lại
Mảng biến ngẫu nhiên thực Smythe (1973) Thiết lập luật mạnh số lớn dạng Kolmogorov cho mảng hai chỉ số.
Gut (1978), Klesov (1981) Nghiên cứu luật mạnh số lớn dạng Marcinkiewicz-Zygmund cho mảng nhiều chỉ số.
Đặng Hùng Thắng, Nguyễn Duy Tiến (1999), Lê Văn Thành (2005, 2007), Nguyễn Văn Quảng và cộng sự Khảo sát luật số lớn và các định lý giới hạn cho mảng biến ngẫu nhiên thực tại Việt Nam.
Không gian Banach tổng quát de Acosta (1981) Thiết lập sự tương đương giữa luật yếu và luật mạnh số lớn cho dãy một chỉ số trong không gian Banach khả li.
Không gian Banach hình học Nguyễn Văn Quảng, Trần Lộc Huấn (2012, 2014) Nghiên cứu định lý giới hạn cho mảng phần tử ngẫu nhiên trong không gian $p$-khả trơn.
Rosalsky, Lê Văn Thành (2006, 2007) Khảo sát luật số lớn cho mảng trong không gian Rademacher dạng $p$.
Hội tụ đầy đủ theo trung bình Chow (1988) Đưa ra khái niệm hội tụ đầy đủ theo trung bình cấp $p$ cho dãy biến ngẫu nhiên thực.
Rosalsky, Lê Văn Thành, Volodin (2006) Thiết lập sự hội tụ đầy đủ theo trung bình cấp $p$ đối với dãy trong không gian Banach.
Đinh Công Sơn, Đặng Hùng Thắng, Nguyễn Văn Dũng (2014), Parker, Rosalsky (2017) Mở rộng nghiên cứu hội tụ đầy đủ theo trung bình cho mảng hai chỉ số.
Bất đẳng thức cực đại Etemadi (1983, 2006) Thiết lập bất đẳng thức cực đại cho mảng $d$ chỉ số trong không gian Banach.
Li, Rosalsky (2013) Xây dựng dạng tổng quát của các bất đẳng thức cực đại cổ điển.

Khoảng trống luận án giải quyết

  1. Mở rộng định lý de Acosta (1981) từ dãy ngẫu nhiên một chỉ số sang mảng hai chỉ số ngẫu nhiên nhận giá trị trong không gian Banach bất kỳ (cho cả trường hợp cùng phân phối và không cùng phân phối).
  2. Xây dựng đặc trưng hình học của không gian Rademacher dạng $p$ thông qua sự hội tụ đầy đủ theo trung bình cấp $p$ đối với mảng ngẫu nhiên hai chỉ số.
  3. Thiết lập các dạng tổng quát hóa của hệ thống bất đẳng thức cực đại Etemadi, Lévy, Ottaviani, Hoffmann-Jørgensen cho cấu trúc chỉ số kép và áp dụng chứng minh quan hệ giữa luật mạnh số lớn dạng $(p, q)$ với luật mạnh số lớn cổ điển.

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

Cơ sở lý thuyết và các khái niệm cốt lõi

  • Không gian xác suất và không gian Banach: Xét $(\Omega, \mathcal{F}, P)$ là không gian xác suất đầy đủ; $E$ là không gian Banach thực khả li với chuẩn $|\cdot|$ và $\sigma$-đại số Borel $\mathcal{B}(E)$; $E^*$ là không gian đối ngẫu.
  • Mảng phần tử ngẫu nhiên và tổng bộ phận: Mảng hai chỉ số ${X_{mn}, m \ge 1, n \ge 1}$, tổng bộ phận $S_{mn} = \sum_{i=1}^m \sum_{j=1}^n X_{ij}$.
  • Các dạng hội tụ của mảng hai chỉ số:
    • Hội tụ hầu chắc chắn: $X_{mn} \xrightarrow{\text{h.c.}} X$ khi $m \vee n \to \infty$ nếu $P(\lim_{m \vee n \to \infty} |X_{mn} - X| = 0) = 1$.
    • Hội tụ theo xác suất: $X_{mn} \xrightarrow{P} X$ khi $m \vee n \to \infty$ nếu $\forall \varepsilon > 0, \lim_{m \vee n \to \infty} P(|X_{mn} - X| > \varepsilon) = 0$.
    • Hội tụ theo trung bình cấp $p$: $X_{mn} \xrightarrow{L_p} X$ khi $m \vee n \to \infty$ nếu $\lim_{m \vee n \to \infty} E|X_{mn} - X|^p = 0$.
    • Hội tụ đầy đủ: $X_{mn} \xrightarrow{c} X$ nếu $\forall \varepsilon > 0, \sum_{m=1}^\infty \sum_{n=1}^\infty P(|X_{mn} - X| > \varepsilon) < \infty$.
    • Hội tụ đầy đủ theo trung bình cấp $p$: $X_{mn} \xrightarrow{c, L_p} X$ nếu $\sum_{m=1}^\infty \sum_{n=1}^\infty E|X_{mn} - X|^p < \infty$.
  • Không gian Rademacher dạng $p$ ($1 \le p \le 2$): Không gian Banach $E$ được gọi là có Rademacher dạng $p$ nếu tồn tại hằng số $C > 0$ sao cho với mọi $n \ge 1$ và $v_j \in E$: $$E\left|\sum_{j=1}^n r_j v_j\right|^p \le C \sum_{j=1}^n |v_j|^p$$ trong đó ${r_j}$ là dãy biến ngẫu nhiên Rademacher độc lập đồng phân phối ($P(r_j = 1) = P(r_j = -1) = 1/2$). Đặc trưng tương đương: tồn tại $C_p > 0$ sao cho $E|\sum_{i=1}^n X_i|^p \le C_p \sum_{i=1}^n E|X_i|^p$ với mọi dãy ${X_i}$ độc lập có $EX_i = 0$.

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

Luận án sử dụng phương pháp giải tích hiện đại kết hợp lý thuyết xác suất nâng cao:

  1. Phương pháp đối xứng hóa (Symmetrization): Sử dụng bản sao độc lập $X'$ của $X$ để tạo phần tử ngẫu nhiên đối xứng $X^s = X - X'$, kết hợp bất đẳng thức đối xứng yếu và mạnh để đưa bài toán ước lượng kỳ vọng về bài toán đối xứng.
  2. Phương pháp cắt xén (Truncation): Cắt xén biến ngẫu nhiên theo ngưỡng mảng chỉ số $Y_{mn} = X_{mn} I(|X_{mn}| \le m^\alpha n^\beta)$ hoặc $Y_{mn} = X_{mn} I(|X_{mn}| \le (mn)^{1/p})$, tách phân tích thành phần chặn và phần đuôi xác suất.
  3. Phương pháp dãy con và phân khối nhị phân: Chia chỉ số theo các khối nhị phân $[2^{m-1}, 2^m - 1] \times [2^{n-1}, 2^n - 1]$ và thiết lập các biến tổng khối $T_{mn} = \sum_{i=2^{m-1}}^{2^m - 1} \sum_{j=2^{n-1}}^{2^n - 1} X_{ij}$.
  4. Hệ thống bất đẳng thức bổ trợ: Bất đẳng thức de Acosta (1981), bất đẳng thức cực đại Hoffmann-Jørgensen (1974), bất đẳng thức Lévy cho mảng hai chỉ số (Etemadi 1983), bổ đề Borel-Cantelli hai chỉ số, bổ đề Kronecker hai chỉ số (Móricz 1983), bổ đề Toeplitz hai chỉ số (Stadtmüller & Thanh 2002), cùng các đánh giá tiệm cận của hàm số ước nguyên dương $d(k)$.

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

Chương 1: Một số luật số lớn đối với mảng các phần tử ngẫu nhiên nhận giá trị trong không gian Banach

Chương này tập trung thiết lập các điều kiện tương đương giữa luật yếu số lớn và luật mạnh số lớn cho mảng hai chỉ số các phần tử ngẫu nhiên độc lập trong không gian Banach thực khả li tùy ý $E$.

Các kết quả chính về sự tương đương giữa luật yếu và luật mạnh

  • Định lý 1.1 (Trường hợp độc lập không cùng phân phối): Cho $\alpha > 0, \beta > 0$ và ${X_{mn}, m \ge 1, n \ge 1}$ là mảng các phần tử ngẫu nhiên độc lập trong $E$:
    • (i) Với $1 \le p \le 2$, nếu $\sum_{m=1}^\infty \sum_{n=1}^\infty \frac{E|X_{mn}|^p}{m^{\alpha p} n^{\beta p}} < \infty$, thì: $$\frac{S_{mn}}{m^\alpha n^\beta} \xrightarrow{P} 0 \iff \frac{S_{mn}}{m^\alpha n^\beta} \xrightarrow{\text{h.c.}} 0 \quad (\text{khi } m \vee n \to \infty)$$
    • (ii) Với $p > 1$, nếu $\sum_{m=1}^\infty \sum_{n=1}^\infty \frac{E|X_{mn}|^{2p}}{m^{2\alpha p + 1 - p} n^{2\beta p + 1 - p}} < \infty$, thì luật yếu số lớn và luật mạnh số lớn tương đương.
  • Định lý 1.10 (Trường hợp độc lập cùng phân phối - dạng Marcinkiewicz-Zygmund): Cho $1 \le p < 2$ và ${X_{mn}, m \ge 1, n \ge 1}$ là mảng độc lập cùng phân phối thỏa mãn $E(|X_{11}|^p \log^+ |X_{11}|) < \infty$. Khi đó: $$\frac{S_{mn}}{(mn)^{1/p}} \xrightarrow{P} 0 \iff \frac{S_{mn}}{(mn)^{1/p}} \xrightarrow{\text{h.c.}} 0 \quad (\text{khi } m \vee n \to \infty)$$

Các bổ đề kỹ thuật nền tảng

Để chứng minh các định lý trên, tác giả xây dựng 3 bổ đề chuyển tiếp quan trọng:

  1. Bổ đề 1.2: Đưa việc chứng minh luật mạnh số lớn về trường hợp mảng đối xứng kết hợp với điều kiện hội tụ theo xác suất $\frac{S_{mn}}{m^\alpha n^\beta} \xrightarrow{P} 0$.
  2. Bổ đề 1.3: Nếu $|X_{mn}| \le m^\alpha n^\beta$ h.c. và $\frac{S_{mn}}{m^\alpha n^\beta} \xrightarrow{P} 0$, thì $\frac{S_{mn}}{m^\alpha n^\beta} \xrightarrow{L_p} 0$ với mọi $p > 0$.
  3. Bổ đề 1.4: Sự hội tụ hầu chắc chắn $\frac{S_{mn}}{m^\alpha n^\beta} \to 0$ tương đương với sự hội tụ hầu chắc chắn của tổng khối nhị phân: $$\frac{1}{2^{m\alpha} 2^{n\beta}} \sum_{i=2^{m-1}}^{2^m - 1} \sum_{j=2^{n-1}}^{2^n - 1} X_{ij} \xrightarrow{\text{h.c.}} 0$$

Ứng dụng trong không gian Rademacher dạng $p$

  • Hệ quả 1.7 & 1.8: Trong không gian Rademacher dạng $p$ ($1 \le p \le 2$), đối với mảng ${X_{mn}}$ độc lập có kỳ vọng $EX_{mn} = 0$, điều kiện $\sum_{m=1}^\infty \sum_{n=1}^\infty \frac{E|X_{mn}|^p}{m^{\alpha p} n^{\beta p}} < \infty$ hoặc điều kiện tổng quát $\sum_{m=1}^\infty \sum_{n=1}^\infty \frac{E|X_{mn}|^{pq}}{m^{\alpha pq - q + 1} n^{\beta pq - q + 1}} < \infty$ ($q \ge 1$) trực tiếp suy ra luật mạnh số lớn $\frac{S_{mn}}{m^\alpha n^\beta} \xrightarrow{\text{h.c.}} 0$.
  • Hệ quả 1.14: Trong không gian Rademacher dạng $p$ ($1 \le p < 2$), nếu ${X_{mn}}$ độc lập cùng phân phối, $EX_{11} = 0$ và $E(|X_{11}|^p \log^+ |X_{11}|) < \infty$, thì: $$\lim_{m \vee n \to \infty} \frac{S_{mn}}{(mn)^{1/p}} = 0 \quad \text{h.c.}$$ Luận án phân tích rõ: đối với dãy một chỉ số, chỉ cần điều kiện moment $E|X_1|^p < \infty$ là đủ để luật yếu kéo theo luật mạnh, nhưng đối với mảng hai chỉ số, điều kiện đòi hỏi phải có thêm thành phần logarit $E(|X_{11}|^p \log^+ |X_{11}|) < \infty$.

Chương 2: Sự hội tụ đầy đủ theo trung bình và sự hội tụ đầy đủ của mảng các phần tử ngẫu nhiên nhận giá trị trong không gian Banach

Chương này nghiên cứu đặc trưng hình học của không gian Rademacher dạng $p$ thông qua hội tụ đầy đủ theo trung bình cấp $p$, mối liên hệ giữa các dạng hội tụ, và sự hội tụ đầy đủ của tổng kép có trọng số.

Đặc trưng không gian Rademacher dạng $p$

  • Định lý 2.6: Cho $1 \le p \le 2$ và $E$ là không gian Banach thực khả li. Hai khẳng định sau là tương đương:
    1. $E$ là không gian Rademacher dạng $p$.
    2. Với mọi mảng ${X_{mn}, m \ge 1, n \ge 1}$ các phần tử ngẫu nhiên độc lập, $EX_{mn} = 0$, điều kiện $\sum_{m=1}^\infty \sum_{n=1}^\infty \frac{E|X_{mn}|^p}{m^p n^p} < \infty$ kéo theo: $$\frac{S_{mn}}{(mn)^{(p+1)/p}} \xrightarrow{c, L_p} 0 \quad \left(\text{tức là } \sum_{m=1}^\infty \sum_{n=1}^\infty E\left|\frac{S_{mn}}{(mn)^{(p+1)/p}}\right|^p < \infty\right)$$

Mối quan hệ giữa các khái niệm hội tụ và các phản ví dụ

  • Hội tụ đầy đủ theo trung bình kéo theo luật mạnh số lớn: Luận án chứng minh rằng trong không gian Banach tùy ý, nếu $\frac{S_{mn}}{(mn)^{(p+1)/p}} \xrightarrow{c, L_p} 0$ ($p \ge 1$) thì kéo theo luật mạnh số lớn $\frac{S_{mn}}{mn} \xrightarrow{\text{h.c.}} 0$.
  • Phản ví dụ 1 (Hội tụ đầy đủ và hội tụ theo trung bình không suy ra hội tụ đầy đủ theo trung bình): Tác giả xây dựng mảng ${X_{mn}}$ trên không gian Banach $\ell_1$ với các vectơ cơ sở $v^{(k)}$ và song ánh $\phi: \mathbb{N} \times \mathbb{N} \to \mathbb{N}$ thỏa mãn $P(X_{mn} = v^{(\phi(m,n))}) = P(X_{mn} = -v^{(\phi(m,n))}) = 1/2$. Kết quả cho thấy: $$\frac{S_{mn}}{(mn)^{(p+1)/p}} \xrightarrow{c} 0 \quad \text{và} \quad \frac{S_{mn}}{(mn)^{(p+1)/p}} \xrightarrow{L_p} 0$$ nhưng: $$\sum_{m=1}^\infty \sum_{n=1}^\infty E\left|\frac{S_{mn}}{(mn)^{(p+1)/p}}\right|^p = \sum_{m=1}^\infty \sum_{n=1}^\infty \frac{1}{mn} = \infty \implies \frac{S_{mn}}{(mn)^{(p+1)/p}} \centernot{\xrightarrow{c, L_p}} 0$$
  • Phản ví dụ 2 (Tính độc lập toàn phần không thể làm yếu thành độc lập đôi một): Luận án chỉ ra rằng trong Định lý 2.8, giả thiết độc lập không thể thay thế bằng giả thiết độc lập đôi một.
  • Hội tụ đầy đủ của tổng có trọng số độc lập đôi một: Luận án thiết lập điều kiện cần và đủ cho sự hội tụ đầy đủ của tổng kép có trọng số $\sum_{i=1}^m \sum_{j=1}^n a_{ij} X_{ij}$ đối với các biến độc lập đôi một cùng phân phối, từ đó suy ra luật mạnh số lớn dạng Etemadi cho mảng hai chỉ số. Đồng thời đưa ra ví dụ chứng minh không thể thay thế giả thiết "độc lập đôi một cùng phân phối" bằng giả thiết "độc lập và bị chặn ngẫu nhiên bởi một phần tử ngẫu nhiên bị chặn".

Chương 3: Dạng tổng quát của một số bất đẳng thức cực đại đối với mảng các phần tử ngẫu nhiên nhận giá trị trong không gian Banach

Chương 3 mở rộng các bất đẳng thức cực đại xác suất kinh điển sang mảng hai chỉ số các phần tử ngẫu nhiên độc lập trong không gian Banach và áp dụng vào luật mạnh số lớn dạng $(p, q)$.

Hệ thống các bất đẳng thức cực đại tổng quát hóa

Luận án thiết lập dạng tổng quát cho 4 bất đẳng thức cực đại trên mảng hai chỉ số:

  1. Bất đẳng thức Etemadi tổng quát: Đánh giá chặn trên xác suất cực đại $\max_{k \le m, l \le n} |S_{kl}|$ thông qua xác suất của các tổng thành phần và các ngưỡng giá trị sai khác.
  2. Bất đẳng thức Lévy tổng quát: Chặn xác suất cực đại của mảng đối xứng qua xác suất của tổng toàn phần tại biên $S_{mn}$.
  3. Bất đẳng thức Ottaviani tổng quát: Cho phép kiểm soát phân phối cực đại của tổng mảng thông qua xác suất đuôi và giá trị chặn xác suất tại các biên chỉ số.
  4. Bất đẳng thức Hoffmann-Jørgensen tổng quát: Thiết lập đánh giá moment và xác suất đuôi dạng: $$P\left(\max_{k \le m, l \le n} |S_{kl}| > 2t + s\right) \le C P^2\left(\max_{k \le m, l \le n} |S_{kl}| > t\right) + P\left(\max_{i \le m, j \le n} |X_{ij}| > s\right)$$

Luật mạnh số lớn dạng $(p, q)$

Sử dụng dạng tổng quát của bất đẳng thức Ottaviani, tác giả chứng minh mối liên hệ trực tiếp: luật mạnh số lớn dạng $(p, q)$ đối với mảng các phần tử ngẫu nhiên độc lập kéo theo luật mạnh số lớn cổ điển. Điều này giải quyết câu hỏi về việc chuyển tiếp từ các điều kiện tích phân moment suy rộng dạng $(p, q)$ sang sự hội tụ hầu chắc chắn của mảng chuẩn hóa.

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

Luận án tự nêu các đóng góp mới về mặt lý thuyết toán học:

1. Đóng góp về luật số lớn trên không gian Banach

  • Thiết lập thành công điều kiện cần và đủ để luật mạnh số lớn và luật yếu số lớn tương đương nhau đối với mảng hai chỉ số các phần tử ngẫu nhiên độc lập (cả trường hợp không cùng phân phối và cùng phân phối) trong không gian Banach thực khả li tùy ý.
  • Đưa ra một phương pháp chứng minh hoàn toàn mới cho luật mạnh số lớn dạng Kolmogorov và dạng Marcinkiewicz-Zygmund trong không gian Rademacher dạng $p$ ($1 \le p \le 2$) thông qua cầu nối tương đương giữa WLLN và SLLN, không phụ thuộc vào các bất đẳng thức cực đại phức tạp trên không gian Rademacher dạng $p$ như các nghiên cứu trước đây.

2. Đóng góp về sự hội tụ đầy đủ theo trung bình

  • Mở rộng thành công kết quả của Rosalsky, Thanh và Volodin (2006) từ dãy một chỉ số sang mảng hai chỉ số, đưa ra một đặc trưng giải tích - xác suất mới cho không gian Rademacher dạng $p$ thông qua khái niệm hội tụ đầy đủ theo trung bình cấp $p$.
  • Chứng minh rằng trong không gian Banach bất kỳ, sự hội tụ đầy đủ theo trung bình cấp $p$ của tổng chuẩn hóa kéo theo luật mạnh số lớn.
  • Xây dựng các phản ví dụ tường minh làm sáng tỏ ranh giới giữa các khái niệm: hội tụ đầy đủ kết hợp hội tụ theo trung bình không suy ra hội tụ đầy đủ theo trung bình; và chỉ ra tính không thể làm yếu từ độc lập sang độc lập đôi một trong các định lý giới hạn tương ứng.

3. Đóng góp về hệ thống bất đẳng thức cực đại

  • Thiết lập dạng tổng quát cho các bất đẳng thức cực đại Etemadi, Lévy, Ottaviani và Hoffmann-Jørgensen đối với mảng hai chỉ số các phần tử ngẫu nhiên nhận giá trị trong không gian Banach.
  • Ứng dụng thành công bất đẳng thức Ottaviani tổng quát để chứng minh luật mạnh số lớn dạng $(p, q)$ kéo theo luật mạnh số lớn.

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

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

  • Phạm vi số chiều chỉ số: Luận án tập trung trình bày chi tiết và chứng minh tường minh cho mảng hai chỉ số ($d = 2$). Mặc dù văn bản nêu rằng các kỹ thuật có thể mở rộng cho mảng $d$ chỉ số ($d > 2$), việc chi tiết hóa cho trường hợp đa chỉ số tổng quát đòi hỏi các cấu trúc ký hiệu và phép quy nạp phức tạp hơn.
  • Giả thiết về cấu trúc không gian: Các kết quả hội tụ đầy đủ theo trung bình và đặc trưng hình học chủ yếu khảo sát trên không gian Rademacher dạng $p$ ($1 \le p \le 2$). Các cấu trúc không gian Banach khác (như không gian martingale type $p$, không gian dạng lồi compact, hoặc không gian không phản xạ) chưa được khảo sát trong công trình này.
  • Giả thiết phụ thuộc: Các kết quả chính chủ yếu xây dựng dưới giả thiết độc lập toàn phần hoặc độc lập đôi một. Hướng mở rộng tiếp theo bao gồm việc nghiên cứu mảng các phần tử ngẫu nhiên phụ thuộc yếu (dãy martingale mảng, mảng đảo nghich, trường ngẫu nhiên mixing).

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo chuyên sâu, phục vụ trực tiếp cho các đối tượng học thuật:

  • Nghiên cứu sinh và học viên cao học ngành Lý thuyết xác suất và Thống kê toán học: Cung cấp tài liệu hoàn chỉnh về giải tích ngẫu nhiên trong không gian vô hạn chiều và lý thuyết giới hạn cho mảng nhiều chỉ số.
  • Giảng viên và nhà nghiên cứu Toán học: Tham khảo phương pháp đối xứng hóa, kỹ thuật phân khối nhị phân cho mảng nhiều chỉ số, và hệ thống chứng minh các bất đẳng thức cực đại tổng quát trong không gian Banach.
  • Các phần đáng tham khảo đặc biệt:
    • Mục 1.1 và 1.2: Hệ thống kỹ thuật chứng minh sự tương đương giữa WLLN và SLLN thông qua bổ đề phân tích khối $T_{mn}$.
    • Mục 2.1: Phản ví dụ trong không gian $\ell_1$ phân biệt giữa hội tụ đầy đủ, hội tụ theo trung bình và hội tụ đầy đủ theo trung bình.
    • Chương 3: Các bất đẳng thức cực đại tổng quát hóa cho mảng hai chỉ số.

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

1. Tại sao việc mở rộng định lý giới hạn từ dãy một chỉ số sang mảng hai chỉ số lại gặp khó khăn kỹ thuật lớn?

Trong cấu trúc dãy một chỉ số $\mathbb{N}$, quan hệ thứ tự là thứ tự toàn phần (tuyến tính). Đối với mảng hai chỉ số $\mathbb{N} \times \mathbb{N}$, quan hệ thứ tự không có tính tuyến tính. Do đó, việc chặn cực đại của các tổng bộ phận $S_{mn}$ và việc kiểm soát quá trình qua giới hạn khi $m \vee n \to \infty$ phức tạp hơn nhiều, không thể sử dụng trực tiếp các bất đẳng thức cực đại một chiều thông thường mà phải thông qua kỹ thuật phân tích khối nhị phân và các bất đẳng thức cực đại đa chỉ số.

2. Điều kiện moment đối với mảng hai chỉ số trong luật Marcinkiewicz-Zygmund khác biệt gì so với dãy một chỉ số?

Đối với dãy một chỉ số độc lập đồng phân phối ${X_n}$, điều kiện cần và đủ để $\frac{S_n}{n^{1/p}} \to 0$ h.c. ($1 \le p < 2$) là $E|X_1|^p < \infty$. Tuy nhiên, đối với mảng hai chỉ số ${X_{mn}}$, điều kiện $E|X_{11}|^p < \infty$ chỉ đủ cho luật yếu số lớn mà không đủ cho luật mạnh; để đạt được luật mạnh số lớn $\frac{S_{mn}}{(mn)^{1/p}} \to 0$ h.c., bắt buộc phải thỏa mãn điều kiện moment bổ sung chứa thành phần logarit: $E(|X_{11}|^p \log^+ |X_{11}|) < \infty$.

3. Hội tụ đầy đủ theo trung bình cấp $p$ có tương đương với hội tụ đầy đủ kết hợp hội tụ theo trung bình cấp $p$ không?

Không. Luận án đã xây dựng một phản ví dụ tường minh trên không gian Banach $\ell_1$: mảng ${X_{mn}}$ thỏa mãn đồng thời $\frac{S_{mn}}{(mn)^{(p+1)/p}} \xrightarrow{c} 0$ và $\frac{S_{mn}}{(mn)^{(p+1)/p}} \xrightarrow{L_p} 0$, nhưng tổng chuỗi kỳ vọng $\sum_{m=1}^\infty \sum_{n=1}^\infty E|\frac{S_{mn}}{(mn)^{(p+1)/p}}|^p = \sum_{m=1}^\infty \sum_{n=1}^\infty \frac{1}{mn} = \infty$, do đó không hội tụ đầy đủ theo trung bình cấp $p$.

4. Kết quả của luận án đã được công bố trên những tạp chí khoa học nào?

Các kết quả chính của luận án đã được công bố trên các tạp chí toán học quốc tế gồm Acta Mathematica Sinica, English Series và Acta Mathematica Hungarica, đồng thời được báo cáo tại Hội nghị toàn quốc lần thứ 5 về "Xác suất - Thống kê: nghiên cứu, ứng dụng và giảng dạy" năm 2015 tại Trường Đại học Sư phạm - Đại học Đà Nẵng.

Kết luận

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Thị Thủy đã giải quyết trọn vẹn bài toán thiết lập điều kiện tương đương giữa luật yếu và luật mạnh số lớn cho mảng hai chỉ số các phần tử ngẫu nhiên nhận giá trị trong không gian Banach thực khả li. Công trình đã mở rộng lý thuyết hội tụ đầy đủ theo trung bình cấp $p$, thiết lập đặc trưng mới cho không gian Rademacher dạng $p$, đồng thời xây dựng hệ thống bất đẳng thức cực đại tổng quát cho cấu trúc chỉ số kép. Các kết quả đạt được mang tính lý thuyết giải tích xác suất giải quyết các khó khăn toán học phát sinh do tính phi tuyến của tập chỉ số và tính vô hạn chiều của không gian Banach.