I. Khám phá luận văn sự hội tụ yếu của độ đo Monge Ampère phức
Luận văn thạc sĩ về sự hội tụ yếu của độ đo Monge-Ampère phức là một công trình nghiên cứu chuyên sâu trong lĩnh vực giải tích phức nhiều biến (several complex variables). Trọng tâm của nghiên cứu là phân tích sự hội tụ của một dãy các độ đo được sinh bởi toán tử Monge-Ampère phức khi áp dụng lên một lớp hàm đặc biệt, gọi là các hàm delta-đa điều hoà dưới. Đây là sự kế thừa và mở rộng các kết quả nghiên cứu trước đó của các nhà toán học như Xing và Cegrell. Luận văn không chỉ hệ thống hóa các kiến thức nền tảng về lý thuyết đa thế vị (pluripotential theory) mà còn đi sâu vào việc chứng minh các định lý quan trọng liên quan đến sự hội tụ theo dung lượng. Các khái niệm cốt lõi như hàm đa điều hoà dưới (plurisubharmonic functions - PSH), các lớp năng lượng Cegrell, và dung lượng tương đối đóng vai trò trung tâm. Mục tiêu của luận văn là làm rõ điều kiện và tính chất của sự hội tụ yếu* của các độ đo Borel phức trong một không gian hàm tổng quát hơn, cụ thể là lớp dEloc(Ω). Kết quả nghiên cứu góp phần làm phong phú thêm lý thuyết về toán tử Monge-Ampère và các ứng dụng của nó trong việc giải quyết các bài toán giải tích phức hiện đại.
1.1. Nền tảng lý thuyết đa thế vị và giải tích phức
Cơ sở của luận văn được xây dựng trên nền tảng vững chắc của lý thuyết đa thế vị. Lý thuyết này nghiên cứu các hàm đa điều hoà dưới (PSH), một lớp hàm tổng quát hóa của hàm điều hòa dưới trong không gian phức nhiều chiều. Các khái niệm như dạng vi phân, dòng, và toán tử vi phân ngoài (d, ∂, ∂̅) là công cụ không thể thiếu. Đặc biệt, luận văn trình bày chi tiết về các dòng dương đóng, là đối tượng quan trọng để định nghĩa toán tử Monge-Ampère phức một cách suy rộng. Các kiến thức này giúp xác lập một khuôn khổ chặt chẽ để phân tích các tính chất của hàm PSH và các độ đo liên quan, tạo tiền đề cho việc nghiên cứu các vấn đề phức tạp hơn như sự hội tụ.
1.2. Vai trò trung tâm của toán tử Monge Ampère phức
Toán tử Monge-Ampère phức là một toán tử phi tuyến tác động lên các hàm PSH, tạo ra một độ đo Borel dương. Toán tử này đóng vai trò then chốt trong nhiều lĩnh vực của toán học, từ hình học Kahler đến việc giải bài toán Dirichlet cho phương trình Monge-Ampère. Một trong những kết quả nền tảng là định lý Bedford-Taylor, khẳng định tính liên tục của toán tử này đối với các dãy hàm PSH bị chặn và hội tụ đơn điệu giảm. Luận văn sử dụng định lý này như một công cụ cốt lõi để xây dựng các chứng minh về sự hội tụ trong những điều kiện tổng quát hơn.
1.3. Mục tiêu chính và đóng góp của luận văn
Mục tiêu chính của luận văn là nghiên cứu sự hội tụ yếu* của dãy độ đo (ddᶜuⱼ)ⁿ khi dãy hàm {uⱼ} thuộc lớp các hàm delta-đa điều hoà dưới và hội tụ theo một topo yếu hơn, đó là hội tụ theo dung lượng (Cₙ-dung lượng hoặc Cₜ-dung lượng). Đóng góp quan trọng của công trình là mở rộng các kết quả của Cegrell bằng cách thay thế lớp năng lượng E bởi lớp hàm dEloc(Ω) rộng hơn. Điều này cho phép áp dụng lý thuyết cho một phạm vi hàm lớn hơn, bao gồm cả những hàm có điểm kỳ dị của hàm PSH phức tạp hơn, qua đó làm sâu sắc thêm hiểu biết về cấu trúc của không gian các hàm PSH.
II. Thách thức về toán tử Monge Ampère phức và hàm PSH
Nghiên cứu toán tử Monge-Ampère phức đặt ra nhiều thách thức đáng kể, đặc biệt khi làm việc với các lớp hàm không bị chặn hoặc có kỳ dị. Vấn đề chính là làm thế nào để định nghĩa toán tử (ddᶜu)ⁿ một cách hợp lý cho các hàm đa điều hoà dưới (PSH) chỉ bị chặn địa phương (L∞loc). Định lý kinh điển của Bedford và Taylor đã giải quyết vấn đề này cho lớp hàm PSH ∩ L∞loc(Ω), nhưng việc mở rộng ra các lớp hàm lớn hơn như các lớp Cegrell (E₀, F, E) đòi hỏi những kỹ thuật tinh vi hơn. Một thách thức khác là xác định mối liên hệ giữa các dạng hội tụ khác nhau. Chẳng hạn, sự hội tụ điểm hoặc hội tụ trong không gian Sobolev không đủ để đảm bảo sự hội tụ yếu* của các độ đo Monge-Ampère. Luận văn này tập trung vào sự hội tụ theo dung lượng, một khái niệm topo yếu hơn nhưng lại phù hợp để mô tả tính liên tục của toán tử. Việc xử lý các hàm delta-đa điều hoà dưới, là hiệu của hai hàm PSH, càng làm bài toán thêm phức tạp vì độ đo sinh ra có thể là một độ đo Borel có dấu, không còn tính dương.
2.1. Vấn đề định nghĩa toán tử cho hàm PSH không bị chặn
Một trong những khó khăn cơ bản của lý thuyết đa thế vị là mở rộng định nghĩa của toán tử Monge-Ampère phức từ các hàm trơn đến các hàm PSH tổng quát, đặc biệt là những hàm không bị chặn. Các hàm trong các lớp E(χ) hay F của Cegrell có năng lượng Monge-Ampère hữu hạn nhưng có thể không bị chặn. Việc định nghĩa (ddᶜu)ⁿ cho các hàm này yêu cầu một quá trình xấp xỉ và chứng minh rằng giới hạn thu được không phụ thuộc vào dãy xấp xỉ. Luận văn đã hệ thống lại các phương pháp này, tạo cơ sở để áp dụng cho lớp dEloc(Ω) còn tổng quát hơn.
2.2. Sự phức tạp của các loại hội tụ của độ đo
Sự hội tụ của độ đo có nhiều dạng khác nhau, trong đó hội tụ yếu* (weak* convergence) là một khái niệm trung tâm. Để chứng minh (ddᶜuⱼ)ⁿ hội tụ yếu* đến (ddᶜu)ⁿ, cần một dạng hội tụ phù hợp cho dãy hàm {uⱼ}. Luận văn chỉ ra rằng hội tụ theo Cₙ-dung lượng là một điều kiện đủ trong nhiều trường hợp. Thách thức nằm ở việc kiểm soát các tích phân và sử dụng các bất đẳng thức tinh tế như bất đẳng thức Chern-Levine-Nirenberg để ước lượng các số hạng sai số trong quá trình chứng minh, đặc biệt khi làm việc với các dòng dương đóng T tổng quát.
III. Phương pháp hội tụ theo dung lượng trong độ đo Monge Ampère
Phương pháp cốt lõi được sử dụng trong luận văn là phân tích sự hội tụ của độ đo thông qua khái niệm dung lượng trong lý thuyết đa thế vị. Thay vì yêu cầu sự hội tụ mạnh như hội tụ đều, nghiên cứu này sử dụng sự hội tụ theo dung lượng, một topo yếu hơn. Cụ thể, một dãy hàm {uⱼ} được gọi là hội tụ đến u theo Cₙ-dung lượng nếu với mọi số dương δ, dung lượng của tập hợp {z | |uⱼ(z) - u(z)| > δ} tiến về 0 khi j tiến ra vô cùng. Khái niệm này tỏ ra đặc biệt hiệu quả vì các hàm PSH có tính tựa liên tục (quasi-continuous) đối với dung lượng, nghĩa là chúng liên tục ngoại trừ trên một tập có dung lượng nhỏ tùy ý. Luận văn đã khai thác triệt để tính chất này. Đầu tiên, dung lượng tương đối Cₙ(E, Ω) và Cₜ(E, Ω) được định nghĩa và các tính chất cơ bản của chúng được trình bày. Sau đó, các bổ đề quan trọng được chứng minh, liên kết sự hội tụ theo dung lượng với sự hội tụ của các tích phân liên quan đến độ đo Monge-Ampère phức. Cách tiếp cận này cho phép kiểm soát các hàm có kỳ dị, vì các tập kỳ dị thường là các tập đa cực, có dung lượng bằng 0.
3.1. Định nghĩa và tính chất của Cₙ dung lượng và Cₜ dung lượng
Dung lượng tương đối Cₙ(E, Ω) được định nghĩa là supremum của tổng khối lượng của độ đo Monge-Ampère phức trên tập Borel E, lấy trên tất cả các hàm u thuộc không gian các hàm PSH thỏa mãn -1 ≤ u ≤ 0. Tương tự, Cₜ-dung lượng được định nghĩa khi thay (ddᶜu)ⁿ bằng T ∧ (ddᶜv)ᵖ, trong đó T là một dòng dương đóng. Các tính chất quan trọng như tính đơn điệu, đếm được dưới cộng tính và tính chính quy được luận văn trình bày lại một cách hệ thống. Những tính chất này là công cụ nền tảng để thiết lập các ước lượng trong các chứng minh chính.
3.2. Tính tựa liên tục của hàm đa điều hòa dưới
Một kết quả quan trọng trong lý thuyết đa thế vị là mọi hàm đa điều hoà dưới đều tựa liên tục. Điều này có nghĩa là với mọi ε > 0, tồn tại một tập mở G có dung lượng Cₙ(G, Ω) < ε sao cho hàm đó liên tục trên phần bù của G. Tính chất này cho phép chia miền tích phân thành hai phần: một phần nơi hàm có hành vi tốt (hội tụ đều) và một phần có dung lượng nhỏ tùy ý. Luận văn đã ứng dụng kỹ thuật này để ước lượng các tích phân và chứng minh rằng đóng góp của phần "xấu" sẽ tiến về 0.
IV. Giải pháp Hội tụ yếu cho lớp hàm delta đa điều hoà dưới
Giải pháp trung tâm của luận văn là chứng minh định lý về sự hội tụ yếu* của dãy độ đo Monge-Ampère phức {(ddᶜuⱼ)ⁿ} cho lớp hàm dEloc(Ω). Một hàm u thuộc lớp dEloc(Ω) nếu tại mỗi điểm, nó có thể được biểu diễn cục bộ dưới dạng hiệu của hai hàm thuộc lớp năng lượng E(U) của Cegrell, tức là u = v - w với v, w ∈ E(U). Lớp hàm này tổng quát hơn đáng kể so với các lớp hàm PSH bị chặn. Quá trình chứng minh được thực hiện bằng quy nạp theo bậc của toán tử Monge-Ampère. Bước cơ sở (p=1) được chứng minh trực tiếp bằng cách sử dụng các ước lượng liên quan đến Cₜ-dung lượng và tính chất của dòng. Bước quy nạp giả định định lý đúng cho bậc s và chứng minh nó đúng cho bậc s+1. Kỹ thuật mấu chốt là phân tích biểu thức (ddᶜuⱼ)ⁿ - (ddᶜu)ⁿ thành tổng của các số hạng. Số hạng chính chứa (uⱼ - u) được chứng minh tiến về 0 nhờ giả thiết hội tụ theo dung lượng. Các số hạng còn lại được kiểm soát bằng cách sử dụng các tính chất của lớp E(χ) và các bổ đề về ước lượng tích phân. Kết quả này khẳng định rằng toán tử Monge-Ampère vẫn giữ được tính liên tục dưới một dạng hội tụ yếu hơn cho một lớp hàm rất rộng.
4.1. Giới thiệu lớp hàm dEloc Ω và ý nghĩa
Lớp dEloc(Ω) bao gồm các hàm delta-đa điều hoà dưới có tính chất cục bộ thuộc lớp năng lượng E. Việc giới thiệu lớp hàm này cho phép nghiên cứu các đối tượng không còn là hàm PSH, và độ đo Monge-Ampère tương ứng, (ddᶜu)ⁿ, là một độ đo Borel có dấu. Điều này mở ra khả năng ứng dụng lý thuyết cho các bài toán mà ở đó tính dương của hàm không được bảo toàn. Luận văn đã định nghĩa rõ ràng toán tử (ddᶜu)ⁿ cho lớp hàm này, dựa trên các công trình của Demailly và các tác giả khác.
4.2. Kỹ thuật chứng minh định lý hội tụ chính
Chứng minh định lý chính đòi hỏi sự kết hợp của nhiều kỹ thuật. Đầu tiên, bài toán được địa phương hóa, cho phép giả sử các hàm được định nghĩa trên một miền siêu lồi. Sau đó, biểu thức (ddᶜuⱼ)ⁿ - (ddᶜu)ⁿ được khai triển thành một tổng hữu hạn các số hạng. Mỗi số hạng được ước lượng riêng. Đối với các số hạng chứa hiệu (uⱼ - u), giả thiết hội tụ theo dung lượng được áp dụng. Đối với các số hạng khác, các bất đẳng thức từ lý thuyết đa thế vị, chẳng hạn như một phiên bản tổng quát của bất đẳng thức Cauchy-Schwarz cho dòng, được sử dụng. Bổ đề 2.5 trong luận văn đóng vai trò then chốt, cung cấp một ước lượng tích phân dựa trên Cₙ-dung lượng.
V. Ứng dụng định lý Bedford Taylor cho độ đo Monge Ampère phức
Định lý Bedford-Taylor là một trong những trụ cột của lý thuyết đa thế vị hiện đại. Nó khẳng định rằng nếu một dãy giảm các hàm đa điều hoà dưới {uⱼ} bị chặn địa phương hội tụ điểm tới hàm u, thì dãy độ đo Monge-Ampère phức {(ddᶜuⱼ)ⁿ} cũng hội tụ yếu* tới (ddᶜu)ⁿ. Luận văn này có thể được xem như một sự mở rộng và tổng quát hóa của định lý kinh điển này. Trong khi Bedford-Taylor yêu cầu sự hội tụ đơn điệu và tính bị chặn, kết quả của luận văn đã nới lỏng các điều kiện này. Thay vì hội tụ đơn điệu, luận văn yêu cầu sự hội tụ theo dung lượng, một điều kiện yếu hơn. Thay vì các hàm PSH bị chặn, luận văn làm việc với lớp dEloc(Ω) rộng hơn. Việc áp dụng các ý tưởng từ chứng minh của định lý Bedford-Taylor, chẳng hạn như kỹ thuật tích phân từng phần cho dòng và các phương pháp xấp xỉ, là nền tảng. Tuy nhiên, để xử lý các lớp hàm tổng quát hơn, luận văn phải kết hợp thêm các công cụ mới từ các lớp năng lượng Cegrell và lý thuyết dung lượng, thể hiện sự phát triển của lĩnh vực này kể từ công trình tiên phong của Bedford và Taylor.
5.1. So sánh kết quả luận văn với định lý Bedford Taylor gốc
Định lý Bedford-Taylor là trường hợp đặc biệt của kết quả trong luận văn. Cụ thể, nếu dãy {uⱼ} là dãy giảm các hàm PSH bị chặn và hội tụ điểm tới u, thì nó cũng hội tụ tới u theo Cₙ-dung lượng. Do đó, định lý trong luận văn bao trùm kết quả của Bedford-Taylor. Sự vượt trội nằm ở khả năng xử lý các dãy không đơn điệu và các hàm thuộc lớp dEloc(Ω), vốn không nhất thiết phải bị chặn hoặc là hàm PSH. Điều này cho thấy sự mạnh mẽ của phương pháp dựa trên dung lượng.
5.2. Vai trò của các lớp năng lượng Cegrell trong việc mở rộng lý thuyết
Các lớp năng lượng Cegrell như E₀, F, và E đóng vai trò then chốt trong việc mở rộng định lý Bedford-Taylor. Các lớp này cho phép định nghĩa năng lượng Monge-Ampère và toán tử tương ứng cho các hàm PSH không bị chặn nhưng có kỳ dị "nhẹ". Luận văn đã tận dụng các tính chất của các lớp hàm này, đặc biệt là các bất đẳng thức liên quan đến dung lượng được thiết lập bởi Cegrell và các cộng sự, để kiểm soát các số hạng trong quá trình chứng minh. Việc sử dụng lớp dEloc(Ω), được xây dựng từ lớp E, là một bước phát triển tự nhiên và quan trọng.
VI. Kết luận và định hướng nghiên cứu sự hội tụ yếu của độ đo
Luận văn đã đạt được mục tiêu đề ra là nghiên cứu và chứng minh sự hội tụ yếu* của dãy độ đo Monge-Ampère phức kết hợp với lớp các hàm delta-đa điều hoà dưới. Công trình đã trình bày một cách hệ thống các kiến thức nền tảng của lý thuyết đa thế vị và đi sâu vào các kết quả gần đây về sự hội tụ theo dung lượng. Kết quả chính của luận văn, được trình bày trong Định lý 2.3 và 2.6, đã tổng quát hóa các công trình trước đó bằng cách thay thế lớp E của Cegrell bằng lớp dEloc(Ω) rộng hơn. Điều này khẳng định tính liên tục của toán tử Monge-Ampère phức dưới các giả thiết yếu hơn về sự hội tụ của hàm, mở ra những hướng nghiên cứu mới. Các phương pháp và kỹ thuật được sử dụng, đặc biệt là việc khai thác các tính chất của Cₙ-dung lượng và Cₜ-dung lượng, đã chứng tỏ hiệu quả trong việc xử lý các hàm có kỳ dị. Hướng nghiên cứu trong tương lai có thể bao gồm việc xem xét các lớp hàm tổng quát hơn nữa, hoặc nghiên cứu các tính chất mịn hơn của độ đo Monge-Ampère giới hạn, chẳng hạn như tính liên tục tuyệt đối của nó đối với một độ đo nền khác.
6.1. Tóm tắt các kết quả chính đã đạt được
Luận văn đã chứng minh thành công rằng nếu dãy hàm {uⱼ} ⊂ dEloc(Ω) hội tụ đến u theo Cₜ-dung lượng và thỏa mãn một số điều kiện bị chặn cục bộ, thì dãy dòng T ∧ (ddᶜuⱼ)ᵖ hội tụ yếu* đến T ∧ (ddᶜu)ᵖ. Trong trường hợp đặc biệt T=1 và p=n, kết quả khẳng định (ddᶜuⱼ)ⁿ hội tụ yếu* đến (ddᶜu)ⁿ. Đây là sự mở rộng có ý nghĩa của các lý thuyết hiện có, cung cấp một công cụ mạnh mẽ cho các nhà nghiên cứu trong lĩnh vực giải tích phức nhiều biến.
6.2. Hướng phát triển tiềm năng cho lý thuyết Monge Ampère phức
Các kết quả của luận văn mở ra nhiều hướng phát triển. Một hướng là nghiên cứu bài toán Dirichlet cho phương trình Monge-Ampère với dữ liệu biên thuộc các không gian hàm tổng quát. Một hướng khác là khám phá mối liên hệ giữa sự hội tụ yếu của độ đo và các khái niệm hình học, chẳng hạn như sự hội tụ của các dòng và các metric Kahler tương ứng. Việc tìm hiểu cấu trúc của điểm kỳ dị của hàm PSH trong lớp dEloc(Ω) và ảnh hưởng của chúng lên độ đo giới hạn cũng là một vấn đề thú vị và đầy thách thức.
