Tổng quan luận án

Luận án nghiên cứu các bài toán nền tảng của giải tích phức vô hạn chiều và giải tích hàm, tập trung vào tính chỉnh hình, tính phân hình của hàm nhận giá trị trong không gian lồi địa phương và không gian Fréchet. Vấn đề cốt lõi bắt nguồn từ việc xác định tính phân hình thông qua tính phân hình yếu: xem xét một hàm số $f$ nhận giá trị trong không gian lồi địa phương $F$, liệu tính chất phân hình của các hàm vô hướng $u \circ f$ (với $u$ thuộc một tập con $W$ của không gian đối ngẫu $F'$) có đủ để suy ra tính phân hình của chính hàm $f$ hay không. Khoảng trống nghiên cứu được tác giả xác định là: phần lớn các công trình trước đây chỉ khảo sát hàm nhận giá trị vô hướng trên $\mathbb{C}^n$ hoặc giá trị trong không gian Banach, hoặc xét $W$ là toàn bộ không gian đối ngẫu $F'$. Việc mở rộng sang lớp hàm $(F, W)$-phân hình nhận giá trị trong không gian lồi địa phương tổng quát (đầy đủ theo dãy hoặc đầy đủ địa phương), thu hẹp tập con $W$ về các tập tách điểm hoặc xác định tính bị chặn, đồng thời chuyển miền xác định từ tập con của $\mathbb{C}^n$ sang không gian Fréchet vô hạn chiều vẫn chưa được giải quyết một cách có hệ thống.

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

  1. Giải quyết bài toán thác triển phân hình trong một số trường hợp tổng quát, cụ thể là thay việc xem xét $D$ là tập con của $\mathbb{C}^n$ bởi $D$ là tập con của một không gian Fréchet và không gian $F$ là Fréchet, trong đó $f_z$ là hàm $(F, W)$-phân hình.
  2. Mở rộng các định lý Hartogs và định lý chữ thập cho các hàm $(F, W)$-phân hình tách biến trong trường hợp hàm nhận giá trị véctơ.
  3. Nghiên cứu bài toán thác triển phân hình của các hàm $(F, W)$-phân hình.

Đối tượng nghiên cứu của luận án là lớp các hàm chỉnh hình, hàm phân hình, hàm $(F, W)$-chỉnh hình và $(F, W)$-phân hình nhận giá trị trong không gian lồi địa phương Hausdorff (đặc biệt là không gian Banach, không gian Fréchet, không gian đầy đủ theo dãy và đầy đủ địa phương). Phạm vi nghiên cứu về mặt không gian bao gồm các tập mở trong $\mathbb{C}^n$, miền Riemann trên không gian Banach khả ly, các tập chữ thập có kỳ dị đa cực, và các miền Riemann trên không gian Fréchet vô hạn chiều (không gian Fréchet hạch, Fréchet-Schwartz có cơ sở Schauder tuyệt đối).

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

Giải tích phức trên không gian lồi địa phương được hình thành từ sự kết hợp giữa giải tích phức và giải tích hàm, gắn liền với các công trình của Nachbin, Noverraz, Colombeau, Mujica, Dineen; tại Việt Nam có các kết quả ban đầu từ những năm 1970 của Nguyễn Văn Khuê và Hà Huy Khoái. Bài toán về tính chỉnh hình yếu của hàm giá trị véctơ được đặt nền móng bởi Dunford (1938) và Grothendieck (1955). Yêu cầu "làm nhỏ" không gian chứa các phiếm hàm $u$ mà vẫn đảm bảo tính chỉnh hình của hàm $f$ đã được khảo sát bởi Arendt và Nikolski (2000), Grosse-Erdmann (2004) khi $W \subset F'$ là tập con tách điểm hoặc xác định tính bị chặn; sau đó được Hải (2003) mở rộng cho không gian Fréchet với bất biến tôpô tuyến tính, và Quang, Lâm, Đại (2013) xét cho các không gian Fréchet-Schwartz.

Đối với hàm phân hình, Nguyễn Văn Khuê (1982) chứng minh tập cực của hàm phân hình nhận giá trị lồi địa phương đầy đủ theo dãy là rỗng hoặc là tập giải tích có đối chiều bằng 1, đồng thời thiết lập biểu diễn toàn cục dạng Poincaré $f = h/\sigma$ trên đa tạp Stein. Đông và Hải (1997) chứng minh hàm phân hình yếu nhận giá trị trong không gian Fréchet có nửa chuẩn liên tục là phân hình. Về thác triển giải tích dạng Bogdanowicz (1969), Hải, Khuê và Nga (2005) mở rộng cho hàm phân hình nhận giá trị Banach và lồi địa phương có đối ngẫu là không gian Baire. Jordá (2005) phát triển kết quả trên cho không gian lồi địa phương đầy đủ địa phương có đối ngẫu mạnh siêu thùng, không gian Fréchet tách biệt có đối ngẫu mạnh với chuẩn liên tục, hoặc không gian Schwartz thùng đầy đủ không chứa $\mathbb{C}^\mathbb{N}$.

Về miền tồn tại và bao phân hình, định lý Levi (1910) về thác triển phân hình trên $D \times (\Delta_r \setminus \Delta)$ được Kneser (1932), Okuda và Sakai (1957) phát triển; Fuks (1963) chứng minh mọi miền phân hình trong $\mathbb{C}^n$ là giả lồi; Kajiwara và Sakai (1967) chứng minh bao phân hình trên đa tạp Stein là đa tạp Stein; Harita (1988) và Aurich (1979) mở rộng tính giả lồi cho tích đếm được và không gian Banach; Schottenloher (1975) giải quyết bài toán Levi cho miền trên không gian Fréchet có cơ sở Schauder. Về định lý chữ thập, tiếp nối định lý Hartogs (1906), các công trình của Siciak (1970, 1981), Vân và Zeriahi (1999), Shiffman (1989), Öktem (1998, 1999), Jarnicki và Pflug (2000, 2001, 2003), cùng Jarnicki, Pflug và Anh đã nghiên cứu định lý chữ thập với kỳ dị giải tích và kỳ dị đa cực. Đối với hàm phân hình, Rothstein (1950), Kazarian (1976), Sakai (1957) và Quang, Đại (2010) khảo sát thác triển dạng Hartogs và bao phân hình của hàm phân hình tách biến.

Khoảng trống mà luận án lựa chọn giải quyết là: tổng quát hóa định lý Hirschowitz về miền tồn tại của hàm phân hình giá trị véctơ; mở rộng định lý thác triển Levi cho hàm nhiều biến và vô hạn chiều nhận giá trị trong không gian đầy đủ theo dãy hoặc đầy đủ địa phương dưới tác động của họ phiếm hàm $W$ yếu hơn $F'$; thiết lập định lý Rothstein, định lý Kazarian và định lý chữ thập có kỳ dị đa cực cho hàm $(F, W)$-phân hình; thiết lập các điều kiện kiểu Zorn ($(BB)$-Zorn) và sử dụng công cụ bó đính để thác triển hàm $(F, W)$-phân hình từ tập gầy và qua các tập con giải tích trên không gian Fréchet vô hạn chiều.

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

Luận án sử dụng các hệ thống khái niệm và khung lý thuyết giải tích hàm và giải tích phức sau:

  • Không gian lồi địa phương phức Hausdorff $E, F$: các lớp không gian đầy đủ địa phương (không gian sinh bởi đĩa bị chặn $E_B$ là Banach với mọi $B \in \mathcal{B}(E)$), đầy đủ theo dãy, không gian thùng và siêu thùng (mọi dãy tăng các không gian con phủ không gian chứa một thành phần thùng trù mật).
  • Phân loại tập con $W \subset F'$: tập tách điểm ($\forall u \in W, u(x) = 0 \Rightarrow x = 0$, tương đương $\text{span}(W)$ trù mật yếu trong $F'$); tập xác định tính bị chặn ($u(B)$ bị chặn trong $\mathbb{C}$ với mọi $u \in W$ suy ra $B$ bị chặn trong $F$); tập xác định tôpô.
  • Hàm giải tích và cấu trúc hình học: miền Riemann $(D, p)$ trên không gian lồi địa phương; hàm đa điều hòa dưới $PSH(\Omega)$; tập đa cực (tập mà trên đó tồn tại hàm đa điều hòa dưới nhận giá trị $-\infty$); hàm cực trị tương đối $h_{K, \Omega}(z) = \sup {u(z): u \in PSH(\Omega), u|_K \le 0, u \le 1}$ và chính quy hóa nửa liên tục trên $\omega^*(z, K, \Omega)$; tập đa chính quy ($L$-chính quy địa phương tại mọi điểm); tập chữ thập $N$-lá liên kết $X(A_1, \dots, D_N)$ và tập chữ thập tổng quát $T(A_1, \dots, S_N)$ cùng bao $\widehat{X}$.
  • Bất biến tôpô tuyến tính của Vogt: các tính chất $(DN)$, $(LB_\infty)$, $(\Omega)$, $(\Omega_{\bar{B}})$, và không gian chuỗi lũy thừa $\Lambda_\infty(\alpha)$.
  • Tính chất $(BB)$-Zorn: không gian lồi địa phương mà trên đó mọi hàm chỉnh hình Gâteaux bị chặn trên các tập bị chặn và liên tục tại một điểm thì chỉnh hình.

Về phương pháp nghiên cứu, tác giả thực hiện nghiên cứu lý thuyết giải tích thuần túy, kết hợp các kỹ thuật:

  • Phương pháp giải tích phức nhiều biến: khai triển chuỗi Laurent địa phương, nguyên lý cực đại, giải tích trên siêu mặt và tập kỳ dị đối chiều $\ge 1$ hoặc $\ge 2$.
  • Phương pháp giải tích hàm và đối ngẫu: biến đổi bài toán giá trị véctơ về bài toán vô hướng qua tác động của phiếm hàm $u \in W$; sử dụng định lý phạm trù Baire trên các không gian hàm và không gian đối ngẫu.
  • Phương pháp lý thuyết bó: xây dựng các bó đính mầm hàm phân hình để thiết lập sự tồn tại của miền Riemann lớn nhất và thác triển lên bao chỉnh hình.
  • Phương pháp phản ví dụ: xây dựng tường minh các không gian dãy và chuỗi hàm hữu tỉ qua định lý xấp xỉ Runge và tích Blaschke để chứng minh tính chuẩn xác và sự không thể loại bỏ của các điều kiện giả thiết.

Tư liệu nghiên cứu bao gồm các công trình chuyên khảo kinh điển về giải tích phức vô hạn chiều (Dineen, Lelong, Siu, Jarnicki - Pflug) và các kết quả công bố của chính tác giả trong các bài báo khoa học [72, 73, 74], được báo cáo tại Hội nghị Toán học Miền Trung - Tây Nguyên (Quy Nhơn, 2015) và Hội nghị Toán học phối hợp Việt - Hàn (Đà Nẵng, 2017).

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

Chương 1. Miền tồn tại của hàm phân hình giá trị véctơ

Chương 1 thiết lập các cơ sở về không gian lồi địa phương, tập con tách điểm, hàm chỉnh hình và phân hình giá trị véctơ, đồng thời giải quyết bài toán xác định miền tồn tại của hàm phân hình. Trọng tâm của chương là chứng minh tập hợp các phiếm hàm bảo toàn miền tồn tại là trù mật.

Các kết quả bổ trợ và định lý chính bao gồm:

  • Bổ đề 1.2: Cho $E, F$ là các không gian Fréchet, $D \subset E$ mở và $S \subset D$ là tập con giải tích với $\text{codim } S \ge 2$. Khi đó mọi hàm phân hình $f \in \mathcal{M}(D \setminus S, F)$ đều được thác triển phân hình duy nhất đến $D$.
  • Bổ đề 1.3: Cho $D$ là tập mở trong không gian Banach $E$ và $S$ là tập giải tích trong $D$ với $\text{codim } S = 1$. Giả sử $G$ là tập con mở của $D$ sao cho mọi nhánh bất khả quy của $S$ đều có giao với $G$. Khi đó mọi hàm phân hình $f$ trên $(D \setminus S) \cup G$ nhận giá trị trong không gian Banach $F$ đều được thác triển phân hình đến $D$.
  • Định lý 1.1: Cho $D$ là một miền Riemann trên không gian Banach khả ly $E$ và $f$ là hàm phân hình trên $D$ nhận giá trị trong không gian Banach $F$. Khi đó tập hợp $Z(f_m) = {u \in F': D(f_m) = D(u \circ f)_m}$ trù mật trong $F'$ (trong đó $D(f_m)$ là miền tồn tại của $f$).

Chứng minh Định lý 1.1 được xây dựng qua việc phân tích biên của tập cực $\partial R(P(\tilde{f}))$ trong $R(P(\widetilde{u_0 \circ f}))$, khai triển Laurent của $\tilde{f}$ dạng $\sum_{k=-\infty}^\infty a_k(z) t^k$, sử dụng tính triệt tiêu của các hệ số $a_k(z)$ trên tập mở và áp dụng định lý phạm trù Baire cho các tập đóng $A_j$ và tập mở trù mật $G_{kj} = {u \in F': u(a_{jk}) \ne 0}$. Kết quả này mở rộng định lý tương ứng của Hirschowitz (1972) từ lớp hàm chỉnh hình sang lớp hàm phân hình.

Chương 2. Định lý thác triển Levi đối với hàm phân hình yếu

Chương 2 nghiên cứu các mở rộng của định lý thác triển Levi từ miền $D \times (\Delta_r \setminus \Delta)$ sang $D \times \Delta_r$ đối với hàm nhận giá trị véctơ, xét theo các cấp độ giả thiết của không gian con $W \subset F'$:

  1. Trường hợp $W$ xác định tính bị chặn:
  • Định lý 2.2: Cho $F$ là không gian lồi địa phương đầy đủ theo dãy, $W \subset F'$ xác định tính bị chặn, $f \in \mathcal{M}(D \times (\Delta_r \setminus \Delta), F)$ với $r > 1$ và $D \subset \mathbb{C}^n$ mở. Giả sử $D^$ trù mật trong $D$ sao cho với mỗi $z \in D^$ tồn tại tập $P_z \subset \Delta_r$ không có điểm giới hạn trong $\Delta_r$ và hàm lát cắt $f_z$ có $(F, W)$-thác triển phân hình đến $\Delta_r$ thỏa mãn $\widetilde{u \circ f_z}$ bị chặn địa phương trên $\Delta_r$ và $P(\widetilde{u \circ f_z}) \subset P_z$ với mọi $u \in W$. Khi đó $f$ thác triển phân hình đến $D \times \Delta_r$.
  • Định lý 2.3: Khi $F$ chỉ là không gian đầy đủ địa phương, kết luận thác triển duy nhất $\tilde{f} \in \mathcal{M}{LB}(D \times \Delta_r, F)$ đạt được nếu bổ sung giả thiết $f$ bị chặn địa phương ($f \in \mathcal{M}{LB}$). Hệ quả 2.4 phát biểu lại tính chất này cho hàm ban đầu xác định trên $D \times \Delta_r$.
  1. Trường hợp $W$ tách điểm:
  • Định lý 2.5 và Định lý 2.6: Do tính tách điểm yếu hơn tính xác định bị chặn, tác giả sử dụng kết quả của Grosse-Erdmann và bổ sung điều kiện chặn đều về bậc cực điểm: họ các thác triển thỏa mãn $\sup_{u \in W} o_t(\widetilde{u \circ f_z}) < \infty$ với mọi $t \in P_z$. Khi đó hàm $f$ có thác triển phân hình (hoặc bị chặn địa phương nếu $F$ đầy đủ địa phương) đến $D \times \Delta_r$.
  1. Trường hợp $W = F'$:
  • Các Hệ quả 2.7, 2.8, 2.9 loại bỏ điều kiện tồn tại tập cực rời rạc $P_z$ định trước khi $F$ thỏa mãn một trong các cấu trúc: đầy đủ theo dãy có đối ngẫu mạnh siêu thùng; không gian Schwartz thùng đầy đủ không chứa $\mathbb{C}^\mathbb{N}$; hoặc Fréchet tách biệt có đối ngẫu mạnh với nửa chuẩn liên tục.
  1. Nhận xét và ví dụ:
  • Nhận xét 2.10: Xây dựng phản ví dụ trên không gian dãy $c_0$ trang bị tôpô yếu $\sigma(c_0, \ell^1)$ (đầy đủ địa phương nhưng không đầy đủ theo dãy). Tác giả thiết lập hàm $f: \Delta^2 \times \Delta^2 \to (c_0, \sigma(c_0, \ell^1))$ phân hình trên $\Delta^2 \times (\Delta^2 \setminus \Delta)$ nhưng không bị chặn địa phương tại $(\alpha^, t^)$, chỉ ra rằng tính bị chặn địa phương là điều kiện không thể bỏ qua.
  • Mệnh đề 2.11: Xây dựng không gian Banach $X = \ell^1(\mathbb{N}, \ell^1(\sigma))$ dựa trên dãy Blaschke và không gian con $H = \ell(W) \subset X'$ tách điểm nhưng không xác định tính bị chặn. Tác giả chỉ ra sự tồn tại của hàm $F: \Delta \times \Delta_2 \to X$ thỏa mãn các điều kiện phân hình yếu theo $H$ nhưng có $\sup_{\phi \in H} o_1(\phi \circ F_{z_0}) = \infty$, dẫn đến hàm không thể thác triển phân hình trên toàn miền.
  1. Định lý Levi vô hạn chiều:
  • Mục 2.4 thiết lập mối liên hệ giữa tính không đa cực của tập compact lồi cân $B$ trong không gian Fréchet hạch $E$ với bất biến tôpô tuyến tính $E \in (\Omega_{\bar{B}})$ và $[H(B)]' \in (LB_\infty)$. Tác giả chứng minh định lý chữ thập cho hàm $(F, W)$-chỉnh hình tách biến trên miền $\mathbb{C}^{n_1} \times \mathbb{C}^{n_2}$ với tập cơ sở đa chính quy địa phương (Định lý 2.16), tạo tiền đề cho bài toán thác triển vô hạn chiều.

Chương 3. Định lý chữ thập đối với các hàm (F, W)-phân hình

Chương 3 mở rộng các định lý chữ thập cổ điển sang lớp hàm phân hình yếu nhận giá trị véctơ:

  • Định lý 3.1 (Mở rộng định lý Rothstein): Cho hàm phân hình xác định trên $\Omega \times \Delta$ ($\Omega \subset \mathbb{C}^n$ là miền), thiết lập điều kiện để hàm $(F, W)$-phân hình được thác triển phân hình đến $\Omega \times \Delta_r$ ($r > 1$) khi các hàm lát cắt $f_z$ thác triển được đến $\Delta_r$ hoặc ${z} \times \Delta$ nằm hoàn toàn trong tập cực.
  • Tổng quát hóa định lý Kazarian (Mục 3.2): Mở rộng kết quả thác triển của Kazarian và Shiffman từ trường hợp vô hướng sang hàm $(F, W)$-phân hình nhận giá trị trong không gian lồi địa phương đầy đủ địa phương trên các tập chữ thập tổng quát.
  • Định lý 3.3 (Định lý chữ thập với kỳ dị đa cực): Thiết lập thác triển phân hình cho các hàm $(F, W)$-phân hình tách biến xác định trên $(X \setminus M)$, trong đó $X$ là tập chữ thập $N$-lá và $M$ là tập kỳ dị đa cực. Kỹ thuật chứng minh đi qua bước trung gian là thác triển chỉnh hình của các hàm $(F, W)$-chỉnh hình trên tập chữ thập có kỳ dị đa cực (Định lý 3.2).

Chương 4. Thác triển phân hình các hàm (F, W)-phân hình

Chương 4 hoàn thiện lý thuyết thác triển thông qua các định lý kiểu Zorn và lý thuyết bó:

  • Tính chất $(BB)$-Zorn (Mục 4.1): Cho $E$ là không gian Fréchet-Schwartz có cơ sở Schauder tuyệt đối thỏa mãn $E \in (\Omega_{\bar{B}})$, Định lý 4.1 chứng minh tồn tại tập compact lồi cân không đa cực $\bar{B}^* \supset B$ sao cho không gian định chuẩn $(E_{\bar{B}^}, \tau_E)$ có tính chất $(BB)$-Zorn. Mọi hàm chỉnh hình bị chặn trên các tập bị chặn trong $D(\bar{B}^)$ đều thác triển chỉnh hình đến toàn miền $D \subset E$.
  • Thác triển từ tập gầy (Mục 4.2): Định lý 4.2 mở rộng các kết quả của Bonet, Jordá, Maestre (2002) và Grosse-Erdmann (2004) cho hàm $(F, W)$-phân hình trên $\mathbb{C}^n$ ($n \ge 2$) trong cả hai trường hợp có và không có điều kiện bị chặn địa phương. Tiếp đó, Định lý 4.3 thiết lập thác triển phân hình lên toàn miền $D$ từ tập con trù mật $D(B) = D \cap E_B$ khi $E$ chứa tập compact không đa cực.
  • Miền phân hình và bó đính (Mục 4.3): Ứng dụng kỹ thuật bó đính mầm hàm, Định lý 4.4 chứng minh hàm $(F, W)$-phân hình trên miền Hartogs trong $\mathbb{C}^n$ thác triển được đến bao chỉnh hình. Các Định lý 4.5 và 4.6 chuyển kết quả này sang miền Riemann trên không gian Fréchet vô hạn chiều $E$ khi $E$ là không gian hạch có tính chất Levi hoặc có cơ sở Schauder tuyệt đối chứa tập compact không đa cực.
  • Thác triển qua tập con giải tích (Mục 4.4): Định lý 4.7 tổng quát hóa định lý Ramis: Cho $W \subset F'$ tách điểm, $E$ là không gian Fréchet thỏa mãn tính chất hạch hoặc có cơ sở Schauder tuyệt đối và chứa tập compact lồi cân không đa cực. Khi đó mọi hàm $(F, W)$-phân hình bị chặn trên các tập bị chặn xác định trên $D(B) \setminus S$ đều có duy nhất một thác triển phân hình đến $D$, với $S$ là tập con giải tích của $D$ có $\text{codim } S \ge 2$.

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

Các kết quả và đóng góp mới của luận án được tổng hợp cụ thể:

  1. Về miền tồn tại: Chứng minh tập các phiếm hàm $u \in F'$ sao cho miền tồn tại của hàm vô hướng $u \circ f$ trùng với miền tồn tại của hàm phân hình giá trị véctơ $f$ là trù mật trong $F'$ đối với miền Riemann trên không gian Banach khả ly, tổng quát hóa định lý Hirschowitz từ hàm chỉnh hình sang hàm phân hình.
  2. Về định lý thác triển Levi: Thiết lập hoàn chỉnh định lý thác triển Levi cho hàm $(F, W)$-phân hình giá trị véctơ trên $\mathbb{C}^n$ với các điều kiện suy giảm dần trên không gian con $W$ (xác định tính bị chặn, tách điểm, toàn phần $F'$). Phát hiện điều kiện cần thiết về chặn đều bậc cực điểm $\sup_{u \in W} o_t(\widetilde{u \circ f_z}) < \infty$ trong trường hợp $W$ chỉ tách điểm.
  3. Về xây dựng phản ví dụ: Xây dựng thành công hai phản ví dụ cụ thể khẳng định tính tối ưu của các giả thiết giải tích: một phản ví dụ trên không gian dãy $(c_0, \sigma(c_0, \ell^1))$ chỉ ra tính bị chặn địa phương là bắt buộc khi $F$ chỉ đầy đủ địa phương; một phản ví dụ trên không gian Banach $X = \ell^1(\mathbb{N}, \ell^1(\sigma))$ minh chứng hàm phân hình yếu không thể thác triển nếu vi phạm điều kiện chặn đều bậc cực điểm.
  4. Về định lý chữ thập: Mở rộng định lý Rothstein, định lý Kazarian và giải quyết bài toán chữ thập với kỳ dị đa cực cho lớp hàm $(F, W)$-phân hình nhận giá trị trong không gian lồi địa phương.
  5. Về thác triển vô hạn chiều: Mở rộng định lý kiểu Zorn sang lớp hàm bị chặn trên các tập bị chặn ($(BB)$-Zorn) trên không gian Fréchet-Schwartz có cơ sở Schauder tuyệt đối; chứng minh các định lý thác triển phân hình từ tập gầy, thác triển qua tập con giải tích có đối chiều $\ge 2$ (tổng quát hóa định lý Ramis) và xác định miền phân hình trên không gian Fréchet hạch.
Nhóm kết quả Điều kiện không gian nguồn $E$ Điều kiện không gian đích $F$ Điều kiện tập con $W \subset F'$ Kết luận chính
Miền tồn tại (Định lý 1.1) Miền Riemann trên Banach khả ly Banach $W = F'$ Tập $Z(f_m)$ trù mật trong $F'$
Levi hữu hạn chiều (Định lý 2.2, 2.3) Miền $D \subset \mathbb{C}^n$ Đầy đủ theo dãy / Đầy đủ địa phương Xác định tính bị chặn Thác triển phân hình đến $D \times \Delta_r$
Levi có bậc cực chặn (Định lý 2.5, 2.6) Miền $D \subset \mathbb{C}^n$ Đầy đủ theo dãy / Đầy đủ địa phương Tách điểm (cần $\sup o_t < \infty$) Thác triển phân hình đến $D \times \Delta_r$
Không gian $(BB)$-Zorn (Định lý 4.1) Fréchet-Schwartz có Schauder tuyệt đối, $E \in (\Omega_{\bar{B}})$ Lồi địa phương Không áp dụng $(E_{\bar{B}^*}, \tau_E)$ có tính chất $(BB)$-Zorn
Thác triển qua kỳ dị giải tích (Định lý 4.7) Fréchet hạch hoặc Schauder tuyệt đối Fréchet Tách điểm Thác triển qua $S$ có $\text{codim } S \ge 2$

Về mặt kiến nghị khoa học, luận án đề xuất tiếp tục sử dụng khung phân tích $(F, W)$-phân hình kết hợp bất biến tôpô tuyến tính để giải quyết bài toán biểu diễn toàn cục và mô tả bao phân hình của các cấu trúc vi phân phức phức tạp hơn.

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

Văn bản ghi nhận một vấn đề mở chưa giải quyết hoàn toàn: tác giả chưa xác định được liệu Định lý 2.6 có còn đúng hay không nếu bỏ qua giả thiết chặn đều bậc cực điểm $\sup_{u \in W} o_t(\widetilde{u \circ f_z}) < \infty$ khi $W$ là không gian con tách điểm nhưng không xác định tính bị chặn.

Về phạm vi nghiên cứu, các kết quả vô hạn chiều của luận án đòi hỏi các giả thiết cấu trúc hình học tương đối chặt chẽ trên không gian nguồn $E$ (phải là không gian Fréchet hạch có tính chất Levi hoặc Fréchet-Schwartz có cơ sở Schauder tuyệt đối và chứa tập compact lồi cân không đa cực), đồng thời không gian đích $F$ phải đảm bảo tính đầy đủ theo dãy hoặc đầy đủ địa phương. Hướng nghiên cứu tiếp tự nhiên được chỉ ra từ văn bản là tìm cách suy giảm các điều kiện tôpô tuyến tính này, khảo sát bài toán trên các lớp không gian lồi địa phương tổng quát hơn không có cơ sở Schauder tuyệt đối, và nghiên cứu thác triển với các cấu trúc kỳ dị rộng hơn kỳ dị đa cực.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị chuyên môn cao cho:

  • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Toán giải tích, đặc biệt là các hướng nghiên cứu về Giải tích phức nhiều biến, Giải tích phức vô hạn chiều và Lý thuyết không gian lồi địa phương.
  • Các nhà nghiên cứu quan tâm đến kỹ thuật giải quyết bài toán giá trị véctơ thông qua các bài toán vô hướng tương ứng và kỹ thuật sử dụng bất biến tôpô tuyến tính của Vogt để khảo sát tính chỉnh hình/phân hình.

Các phần có giá trị tham khảo kỹ thuật nổi bật nhất bao gồm:

  • Mục 2.3 với hai phản ví dụ được xây dựng chi tiết bằng giải tích cổ điển (chuỗi Runge, nhân tử Blaschke), cung cấp mẫu hình mẫu mực về cách chứng minh tính chặt chẽ của các điều kiện giả thiết.
  • Kỹ thuật kết hợp định lý Baire và phân tích mầm hàm giải tích tại các nhánh bất khả quy trong Chương 1.
  • Phương pháp sử dụng công cụ bó đính mầm hàm phân hình trong Chương 4 để xác định miền phân hình và bao chỉnh hình trên không gian vô hạn chiều.

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

1. Hàm $(F, W)$-phân hình được định nghĩa như thế nào trong luận án?
Cho $E, F$ là các không gian lồi địa phương, $D \subset E$ mở và $W \subset F'$. Hàm $f: D \to F$ được gọi là $(F, W)$-phân hình trên $D$ (ký hiệu $f \in \mathcal{M}^W(D, F)$) nếu với mỗi phiếm hàm tuyến tính liên tục $u \in W$, hàm hợp vô hướng $u \circ f$ là hàm phân hình thông thường trên $D$ ($u \circ f \in \mathcal{M}(D)$).

2. Điểm khác biệt căn bản giữa hai trường hợp $W$ xác định tính bị chặn và $W$ chỉ tách điểm trong định lý Levi là gì?
Khi $W$ xác định tính bị chặn (Định lý 2.2, 2.3), tính bị chặn địa phương của các hàm vô hướng $\widetilde{u \circ f_z}$ là đủ để áp dụng kết quả của Frerick, Jordá và Wengenroth nhằm khôi phục tính phân hình giá trị véctơ. Khi $W$ chỉ là tập tách điểm (Định lý 2.5, 2.6), cấu trúc này yếu hơn nên tác giả bắt buộc phải bổ sung giả thiết chặn đều trên cấp của các cực điểm: $\sup_{u \in W} o_t(\widetilde{u \circ f_z}) < \infty$ tại mọi điểm cực $t \in P_z$.

3. Phản ví dụ trong Nhận xét 2.10 minh chứng cho điều kiện nào?
Phản ví dụ xét hàm $f: \Delta^2 \times \Delta^2 \to (c_0, \sigma(c_0, \ell^1))$ phân hình trên $\Delta^2 \times (\Delta^2 \setminus \Delta)$ nhưng không bị chặn địa phương tại $(\alpha^, t^)$. Kết quả chỉ ra rằng dù $W = \text{span}{e_n}$ xác định tính bị chặn và $u \circ f_z$ phân hình với mọi $u \in W$, hàm $f$ vẫn không thể thác triển phân hình đến $\Delta^2 \times \Delta^2$. Điều này chứng minh rằng khi không gian đích $F$ chỉ đầy đủ địa phương mà không đầy đủ theo dãy, điều kiện "hàm $f$ bị chặn địa phương" là hoàn toàn bắt buộc.

4. Khái niệm không gian $(BB)$-Zorn đóng vai trò gì trong Chương 4?
Định lý Zorn cổ điển (1945) khẳng định mọi hàm chỉnh hình Gâteaux liên tục tại một điểm trên không gian Banach thì chỉnh hình. Trong luận án, không gian $(BB)$-Zorn là không gian lồi địa phương mà trên đó mọi hàm chỉnh hình Gâteaux bị chặn trên các tập bị chặn và liên tục tại một điểm thì chỉnh hình. Tính chất $(BB)$-Zorn được tác giả thiết lập trên không gian định chuẩn liên kết $(E_{\bar{B}^*}, \tau_E)$ để làm cầu nối chuyển tính chỉnh hình từ các tập con trù mật $D(B)$ lên toàn bộ miền vô hạn chiều $D \subset E$.

5. Điều kiện để hàm $(F, W)$-phân hình thác triển được qua tập con giải tích $S$ trong Định lý 4.7 là gì?
Hàm $f$ phải là $(F, W)$-phân hình bị chặn trên các tập bị chặn trong $D(B) \setminus S$; không gian con $W \subset F'$ phải tách điểm; không gian nguồn Fréchet $E$ phải thỏa mãn một trong hai điều kiện: là không gian hạch hoặc có cơ sở Schauder tuyệt đối, đồng thời chứa một tập con compact lồi cân không đa cực $B$; và tập giải tích $S$ phải có đối chiều $\text{codim } S \ge 2$.

Kết luận

Luận án là một công trình chuyên khảo giải tích toán học nghiên cứu chuyên sâu về miền tồn tại và các định lý thác triển cho lớp hàm phân hình yếu nhận giá trị véctơ. Tác giả đã mở rộng thành công các định lý kinh điển của Hirschowitz, Levi, Rothstein, Kazarian và Ramis từ giải tích phức vô hướng hoặc giá trị Banach sang không gian lồi địa phương và không gian Fréchet vô hạn chiều. Hệ thống kết quả đạt được có tính nhất quán cao, được kiểm chứng chặt chẽ thông qua việc phân tích cấu trúc đối ngẫu, lý thuyết bó đính và các phản ví dụ giải tích tường minh. Toàn bộ nội dung luận án đóng góp nguồn tư liệu lý thuyết giá trị cho chuyên ngành giải tích phức và giải tích hàm hiện đại.