Bối cảnh và vấn đề nghiên cứu

Khái niệm hàm Green xuất phát từ việc giải các bài toán giá trị biên đối với phương trình đạo hàm riêng có điều kiện ràng buộc trên biên. Khởi điểm từ bài toán giá trị biên một chiều tìm hàm $u$ thỏa mãn phương trình vi phân $u'' = f(x)$ trên khoảng $(0, l)$ với điều kiện biên triệt tiêu $u(0) = u(l) = 0$, nghiệm được biểu diễn dưới dạng tích phân $u(x) = \int_0^l f(y)G(x,y)dy$. Trong đó, nhân tích phân $G(x,y)$ là hàm hai biến được gọi là hàm Green của bài toán. Khi mở rộng cho phương trình với toán tử vi phân tuyến tính $L$ dưới dạng $Lu = -f$, việc tìm nghiệm giải tích quy về việc xác định hàm Green tương ứng với toán tử $L$ và miền khảo sát.

Trên thực tế, các phương trình đạo hàm riêng có nghiệm cổ điển (đặc biệt là nghiệm toàn cục trên toàn bộ miền xác định) là tương đối hiếm. Tuy nhiên, việc tìm nghiệm của các bài toán biên vẫn mang tính tất yếu để mô tả các hiện tượng vật lý và kỹ thuật. Đối với bài toán Dirichlet cho phương trình Laplace $\Delta u = 0$ trên miền $D \subset \mathbb{R}^n$ với điều kiện biên $u = g$ trên $\partial D$, việc giải bài toán phụ thuộc chặt chẽ vào cấu trúc hình học của miền $D$. Ngoài ứng dụng giải phương trình đạo hàm riêng, hàm Green đóng vai trò công cụ then chốt trong lý thuyết thế vị phẳng và giải tích phức một chiều, cho phép đơn giản hóa chứng minh các định lý cơ bản, tính toán độ đo điều hòa, dung lượng logarit và xấp xỉ đa thức.

Mục tiêu và nhiệm vụ nghiên cứu của khóa luận được phân định cụ thể gồm:

  1. Hệ thống hóa các kiến thức nền tảng về giải tích phức, lý thuyết thế vị phẳng và giải tích thực (hàm điều hòa, hàm điều hòa dưới, thế vị logarit, tập cực, độ đo cân bằng, nghiệm bài toán Dirichlet và tiêu chuẩn chính quy).
  2. Thiết lập định nghĩa hình thức, chứng minh các tính chất giải tích đặc trưng của hàm Green trên mặt phẳng phức mở rộng $\mathbb{C}_\infty$ (tính duy nhất, tính dương, tính tăng, tính đối xứng, đặc trưng biên chính quy) và tính toán hàm Green trên một số miền hình học cụ thể thông qua ánh xạ bảo giác.
  3. Trình bày các ứng dụng giải tích của hàm Green: chứng minh Định lý ánh xạ Riemann, thiết lập công thức nghiệm bài toán Dirichlet mở rộng qua đạo hàm pháp tuyến, mở rộng công thức Poisson – Jensen và đánh giá độ đo điều hòa.

Đối tượng nghiên cứu của đề tài là hàm Green, hàm điều hòa, hàm điều hòa dưới và độ đo điều hòa. Phạm vi nghiên cứu tập trung trên không gian một chiều của mặt phẳng phức mở rộng $\mathbb{C}_\infty$ (mặt cầu Riemann), khảo sát trên các miền đơn liên, đa liên và phần bù của các tập compact.

Cơ sở lý thuyết và phương pháp

Khóa luận được xây dựng trên hệ thống lý thuyết giải tích phức và lý thuyết thế vị phẳng (Planar Potential Theory), kết hợp với lý thuyết độ đo tích phân:

  • Hệ thống khái niệm và khung lý thuyết: Sử dụng không gian các hàm điều hòa $H(D)$, hàm điều hòa dưới $S(D)$ thông qua tính nửa liên tục trên và bất đẳng thức giá trị trung bình dưới; thế vị logarit $p_\mu(z) = \int \log|z-w|d\mu(w)$ đối với độ đo Borel hữu hạn có giá compact; năng lượng $I(\mu)$ và khái niệm tập cực (tập có năng lượng $-\infty$ với mọi độ đo trên nó); độ đo cân bằng theo Định lý Frostman; toán tử Laplace suy rộng theo nghĩa phân bố/độ đo Radon; phương pháp Perron với họ hàm điều hòa dưới dưới dữ liệu biên và khái niệm chướng ngại (barrier) để xác định điểm biên chính quy.
  • Các định lý toán học nền tảng sử dụng: Định lý biểu diễn Riesz cho phiếm hàm tuyến tính dương trên không gian $C_c(X)$, Định lý Vitali – Carathéodory trong lý thuyết độ đo, Định lý phân tích Riesz cho hàm điều hòa dưới, Định lý Kellogg về tập các điểm biên không chính quy, và Bất đẳng thức Harnack.
  • Phương pháp nghiên cứu: Sử dụng phương pháp toán học giải tích suy diễn thuần túy, phương pháp giải tích hàm, phương pháp biến đổi bảo giác (conformal mapping) thông qua Nguyên lý phụ thuộc (Subordination Principle), cùng kỹ thuật giải tích thực và topo trên mặt phẳng phức $\mathbb{C}_\infty$.
  • Nguồn dữ liệu: Các định lý, bổ đề, và tài liệu chuyên khảo về giải tích phức và lý thuyết thế vị cổ điển.

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

Chương 1: Các định nghĩa và tính chất chuẩn bị

Chương 1 thiết lập toàn bộ cơ sở lý thuyết giải tích và lý thuyết thế vị phẳng phục vụ cho việc xây dựng hàm Green ở các chương sau, bao gồm 12 tiểu mục chuyên đề:

  • Hàm điều hòa và bài toán Dirichlet trên hình tròn: Trình bày mối liên hệ giữa hàm chỉnh hình và hàm điều hòa ($u = \text{Re} f$), Định lý giá trị trung bình. Thiết lập công thức tích phân Poisson $P_A\phi(z)$ trên hình tròn $A = B(w, \rho)$ thông qua nhân Poisson, chứng minh tính duy nhất và sự hội tụ về dữ liệu biên liên tục.
  • Hàm điều hòa dương và hàm điều hòa dưới: Trình bày Bất đẳng thức Harnack, khoảng cách Harnack $r_D(z,w)$, và Định lý hội tụ Harnack. Định nghĩa lớp hàm điều hòa dưới $S(U)$ dựa trên tính nửa liên tục trên và bất đẳng thức trung bình dưới; chứng minh Nguyên lý cực đại và tính khả tích Lebesgue địa phương của hàm điều hòa dưới ($u \not\equiv -\infty$).
  • Thế vị, tập cực và độ đo cân bằng: Khảo sát thế vị logarit $p_\mu(z)$. Định nghĩa tập cực $E$ ($I(\mu) = -\infty$), chứng minh tập cực Borel có độ đo Lebesgue bằng 0. Trình bày Định lý Frostman: tồn tại duy nhất độ đo cân bằng xác suất $\nu \in \mathcal{P}(K)$ cực đại hóa năng lượng trên tập compact $K$ không cực, thỏa mãn $p_\nu(z) = I(\nu)$ gần khắp nơi trên $K$.
  • Điểm kì dị bỏ được và toán tử Laplace suy rộng: Chứng minh sự tồn tại mở rộng điều hòa/điều hòa dưới qua tập cực đóng; thiết lập Nguyên lý cực đại mở rộng. Xây dựng toán tử Laplace suy rộng $\Delta u$ dưới dạng độ đo Radon thỏa mãn $\int \phi \Delta u = \int u \Delta \phi dA$. Trình bày Định lý phân tích Riesz: phân tích cục bộ hàm điều hòa dưới thành tổng của một thế vị logarit và một hàm điều hòa ($u = p_\mu + h$).
  • Tính mỏng, nghiệm bài toán Dirichlet và tiêu chuẩn chính quy: Định nghĩa tập mỏng tại một điểm. Xây dựng phương pháp Perron định nghĩa hàm $H_D\phi = \sup_{u \in \mathcal{U}} u$ cho dữ liệu biên bị chặn $\phi$. Định nghĩa chướng ngại và điểm biên chính quy. Khẳng định Định lý Kellogg (tập các điểm biên không chính quy là tập cực dạng $F_\sigma$) và định lý về sự tồn tại duy nhất nghiệm của bài toán Dirichlet suy rộng trên miền có biên không là tập cực.

Chương 2: Hàm Green

Chương này tập trung vào định nghĩa hình thức, khảo sát hệ thống tính chất giải tích của hàm Green và phương pháp xác định hàm Green trên các miền hình học phẳng:

  • Độ đo điều hòa: Mở rộng tích phân Poisson trên miền tổng quát $D \subset \mathbb{C}_\infty$ thông qua độ đo điều hòa $\omega_D(z, \cdot)$. Chứng minh sự tồn tại và duy nhất của $\omega_D$ dựa trên phiếm hàm tuyến tính Perron và Định lý biểu diễn Riesz. Chứng minh đẳng thức $H_D\phi = P_D\phi$ cho hàm Borel bị chặn $\phi$ bằng Định lý Vitali – Carathéodory. Thiết lập Nguyên lý phụ thuộc cho độ đo điều hòa dưới ánh xạ chỉnh hình/đồng phôi.

  • Định nghĩa và tính chất của hàm Green: Định nghĩa hàm Green $g_D(z,w)$ là ánh xạ từ $D \times D \to (-\infty, \infty]$ thỏa mãn:

    1. $g_D(\cdot, w)$ điều hòa trên $D \setminus {w}$ và bị chặn ngoài lân cận của $\infty$.
    2. Có kỳ dị logarit tại $w$: $g_D(z,w) = -\log|z-w| + O(1)$ khi $w \in \mathbb{C}$, hoặc $g_D(z,\infty) = \log|z| + O(1)$.
    3. $\lim_{z \to \zeta} g_D(z,w) = 0$ với $\zeta \in \partial D$ gần khắp nơi.

  • Hệ thống định lý đặc trưng của hàm Green:

    • Tính duy nhất và tồn tại: Chứng minh tồn tại duy nhất hàm Green trên miền có biên không phải là tập cực (sử dụng độ đo cân bằng và Định lý Frostman).
    • Tính dương: $g_D(z,w) > 0$ với mọi $z \neq w \in D$.
    • Nguyên lý phụ thuộc: Nếu $f: D_1 \to D_2$ là hàm phân hình thì $g_{D_2}(f(z), f(w)) \ge g_{D_1}(z,w)$, dấu đẳng thức xảy ra khi $f$ là ánh xạ bảo giác.
    • Tính tăng và tính liên tục: Miền mở rộng $D_1 \subset D_2 \Rightarrow g_{D_1} \le g_{D_2}$; nếu dãy miền $(D_n)$ vét cạn miền $D$ thì $g_{D_n}(z,w) \nearrow g_D(z,w)$.
    • Biểu diễn qua độ đo điều hòa: Trên miền bị chặn $D \subset \mathbb{C}$, $g_D(z,w) = \int_{\partial D} \log|\zeta - w| d\omega_D(z,\zeta) - \log|z-w|$.
    • Tính đối xứng: $g_D(z,w) = g_D(w,z)$ với mọi $z, w \in D$.
    • Đặc trưng điểm chính quy: $\lim_{z \to \zeta} g_D(z,w) = 0 \iff \zeta$ là điểm biên chính quy của $D$.

  • Tính toán hàm Green trên một số miền hình học đơn giản: Sử dụng hàm Green trên đĩa đơn vị $\Delta = B(0,1)$ là $g_\Delta(z,w) = \log \left| \frac{1 - z\bar{w}}{z - w} \right|$ kết hợp ánh xạ bảo giác $f(z)$, khóa luận xác định biểu thức giải tích chính xác trên 6 miền cơ bản:

Miền hình học ($D$) Ánh xạ bảo giác $f(z)$ lên $\Delta$ Biểu thức tường minh của hàm Green $g_D(z,w)$
Hình tròn: $D_1 = { z < \rho}$
Nửa mặt phẳng trên: $D_2 = {\text{Im} z > 0}$ $f(z) = \frac{z-w_0}{z-\bar{w}_0}$ $\log \left| \frac{z - \bar{w}}{z - w} \right|$
Nửa mặt phẳng phải: $D_3 = {\text{Re} z > 0}$ $f(z) = \frac{z-1}{z+1}$ $\log \left| \frac{z + \bar{w}}{z - w} \right|$
Hình quạt: $D_4 = {0 < \arg z < \alpha}$ $f(z) = z^{\pi/\alpha}$ đưa về nửa mặt phẳng $\log \left| \frac{z^{\pi/\alpha} + \bar{w}^{\pi/\alpha}}{z^{\pi/\alpha} - w^{\pi/\alpha}} \right|$
Dải băng: $D_5 = { \text{Re} z < \pi/4}$
Phần bù hình tròn: $D_6 = \mathbb{C}_\infty \setminus \bar{B}(z_0, r)$ Ánh xạ nghịch đảo bảo giác $\log \left| \frac{(z-z_0)(\bar{w}-\bar{z}_0) - r^2}{r(z-w)} \right|$

Chương 3: Áp dụng của hàm Green

Chương 3 trình bày 5 nhóm ứng dụng giải tích và thế vị của hàm Green:

  • Chứng minh Định lý ánh xạ Riemann: Thiết lập chiều đảo của Nguyên lý phụ thuộc (nếu $g_{D_2}(f(z_0), f(w_0)) = g_{D_1}(z_0, w_0)$ thì $f$ là đơn ánh, và nếu $D_2$ chính quy thì $f$ là toàn ánh). Dùng hàm Green xây dựng hàm $h(z) = g_D(z,w) + \log|z-w| = \text{Re} f_0(z)$ với $f_0$ chỉnh hình, từ đó thiết lập ánh xạ bảo giác $f(z) = (z-w)e^{-f_0(z)}$ biến miền đơn liên $D$ bất kỳ lên đĩa đơn vị $\Delta$.
  • Công thức nghiệm của bài toán Dirichlet mở rộng: Ứng dụng công thức Green thứ hai $\iint_D (u\Delta v - v\Delta u)dxdy = \int_{\partial D} (u\frac{\partial v}{\partial n} - v\frac{\partial u}{\partial n})ds$. Chứng minh trên miền $D$ có biên trơn từng khúc, nghiệm $h(w)$ của bài toán Dirichlet với dữ liệu biên $\phi$ được xác định qua đạo hàm pháp tuyến ngoài của hàm Green: $$h(w) = -\frac{1}{2\pi} \int_{\partial D} \phi(z) \frac{\partial g_D}{\partial n}(z,w) ds(z)$$
  • Đánh giá độ đo điều hòa và Công thức Poisson – Jensen: Thiết lập công thức Poisson – Jensen mở rộng cho hàm điều hòa dưới $u$ trên miền chính quy bị chặn $D$: $$u(z) = \int_{\partial D} u(\zeta) d\omega_D(z,\zeta) - \frac{1}{2\pi} \iint_D g_D(z,w)\Delta u(w)$$ Từ đó suy ra công thức Poisson – Jensen cổ điển cho hàm chỉnh hình $f$ có các không điểm $a_1, a_2, \dots, a_n$ trên đĩa đơn vị.
  • Tính toán dung lượng và xấp xỉ đa thức: Ứng dụng hàm Green vào việc xác định hàm trội điều hòa bé nhất (least harmonic majorant), tính toán dung lượng logarit của tập compact và đánh giá độ hội tụ của các đa thức trực giao, đa thức Fekete.

Kết quả và đóng góp

  • Kết quả khoa học chính:

    • Thiết lập đầy đủ các tính chất vi tích phân và topo của hàm Green trên mặt phẳng phức mở rộng $\mathbb{C}_\infty$, chứng minh tính tương đương giữa sự triệt tiêu biên của hàm Green và tính chính quy của điểm biên theo nghĩa Dirichlet.
    • Xây dựng bảng công thức giải tích hiện thị tường minh hàm Green cho 6 lớp miền phẳng cơ bản thông qua kỹ thuật ánh xạ bảo giác.
    • Chứng minh tường minh công thức biểu diễn tích phân nghiệm bài toán Dirichlet thông qua đạo hàm hướng pháp tuyến $\frac{\partial g_D}{\partial n}$.
    • Mở rộng công thức Poisson – Jensen từ đĩa đơn vị sang miền chính quy bị chặn bất kỳ thông qua toán tử Laplace suy rộng $\Delta u$.

  • Đóng góp về mặt lý thuyết:

    • Đơn giản hóa cấu trúc chứng minh của Định lý ánh xạ Riemann bằng công cụ lý thuyết thế vị, loại bỏ các phép dựng giải tích phức tạp truyền thống.
    • Hợp nhất phương pháp Perron, lý thuyết độ đo Radon, phân tích Riesz và bài toán biên Dirichlet trong một lược đồ thống nhất xoay quanh hàm Green.

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

  • Hạn chế:

    • Toàn bộ các kết quả và chứng minh trong khóa luận chỉ giới hạn trong không gian một chiều phức ($\mathbb{C}_\infty$ / mặt phẳng $\mathbb{R}^2$), chưa mở rộng sang không gian nhiều biến phức $\mathbb{C}^n$.
    • Khảo sát giải tích thuần túy trên toán tử vi phân Laplace $\Delta$, chưa mở rộng cho các toán tử elliptic suy biến hay toán tử phi tuyến.
    • Các công thức nghiệm giải tích chủ yếu áp dụng cho các miền có biên trơn từng khúc hoặc miền đơn liên có cấu trúc bảo giác thuận lợi.

  • Hướng nghiên cứu tiếp:

    • Khảo sát hàm Green phức nhiều biến (Pluricomplex Green Function) và lý thuyết thế vị đa điều hòa (Pluripotential Theory) trên $\mathbb{C}^n$.
    • Nghiên cứu bài toán Carleman – Milloux và các bài toán phân bố giá trị nâng cao trong lý thuyết Nevanlinna dựa trên độ đo điều hòa.
    • Ứng dụng phương pháp số và phần tử hữu hạn để xấp xỉ hàm Green trên các miền có biên phân mảnh (fractal) hoặc biên không chính quy.

Giá trị tham khảo

  • Đối tượng sử dụng:
    • Sinh viên đại học, học viên cao học chuyên ngành Toán giải tích, Sư phạm Toán học, Toán ứng dụng và Vật lý lý thuyết.
    • Giảng viên và người nghiên cứu đang thực hiện các đề tài liên quan đến phương trình đạo hàm riêng, giải tích phức và lý thuyết thế vị.
  • Các phần có giá trị tham khảo nổi bật:
    • Chương 1 (Mục 1.9 – 1.12): Tổng quan chặt chẽ về toán tử Laplace suy rộng, định lý phân tích Riesz và phương pháp Perron cho bài toán Dirichlet.
    • Chương 2 (Mục 2.3): Bảng tra cứu và phương pháp dựng hàm Green trên các miền phẳng cụ thể bằng phép biến đổi bảo giác.
    • Chương 3 (Mục 3.1 & 3.2): Kỹ thuật chứng minh Định lý ánh xạ Riemann và dẫn xuất công thức biểu diễn nghiệm Dirichlet bằng đạo hàm pháp tuyến của hàm Green.

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

1. Điều kiện cần và đủ để tồn tại duy nhất hàm Green trên một miền $D \subset \mathbb{C}_\infty$ là gì?
Theo Định lý 2.2 trong khóa luận, điều kiện cần và đủ để tồn tại duy nhất một hàm Green $g_D(z,w)$ là biên $\partial D$ của miền không phải là tập cực (non-polar set).

2. Mối liên hệ giữa hành vi tiệm cận biên của hàm Green và tính chính quy của điểm biên được xác định như thế nào?
Theo Định lý 2.9, với miền $D$ có biên không phải là tập cực, đẳng thức $\lim_{z \to \zeta} g_D(z,w) = 0$ thỏa mãn khi và chỉ khi $\zeta$ là một điểm biên chính quy của $D$ (tại đó tồn tại một chướng ngại điều hòa dưới).

3. Làm thế nào để tính hàm Green của miền phức tạp từ hàm Green của đĩa đơn vị?
Dựa vào Nguyên lý phụ thuộc (Định lý 2.4), nếu tồn tại một ánh xạ bảo giác $f$ biến miền $D$ lên đĩa đơn vị $\Delta = B(0,1)$, hàm Green của $D$ được tính trực tiếp theo công thức $g_D(z,w) = g_\Delta(f(z), f(w)) = \log \left| \frac{1 - f(z)\overline{f(w)}}{f(z) - f(w)} \right|$.

4. Cấu trúc hàm giải tích nào được xây dựng để chứng minh Định lý ánh xạ Riemann trong Chương 3?
Tác giả cố định điểm $w \in D$, đặt hàm điều hòa $h(z) = g_D(z,w) + \log|z-w| = \text{Re} f_0(z)$ với $f_0$ là hàm chỉnh hình trên miền đơn liên $D$. Ánh xạ bảo giác cần tìm biến $D$ lên đĩa đơn vị $\Delta$ chính là $f(z) = (z-w)e^{-f_0(z)}$.

5. Nghiệm của bài toán Dirichlet mở rộng liên hệ với hàm Green qua công thức tích phân nào?
Theo Định lý 3.1, trên miền có biên trơn từng khúc với dữ liệu biên liên tục gần khắp nơi $\phi$, nghiệm điều hòa $h(w)$ được biểu diễn qua tích phân đường biên: $$h(w) = -\frac{1}{2\pi} \int_{\partial D} \phi(z) \frac{\partial g_D}{\partial n}(z,w) ds(z)$$ trong đó $\frac{\partial g_D}{\partial n}$ là đạo hàm của hàm Green theo hướng vectơ pháp tuyến ngoài của biên $\partial D$.

Kết luận

Khóa luận tốt nghiệp của tác giả Vũ Đức Sửu đã hệ thống hóa và phát triển toàn diện lý thuyết về hàm Green trong mặt phẳng phức mở rộng $\mathbb{C}_\infty$, gắn kết chặt chẽ giữa giải tích phức và lý thuyết thế vị phẳng. Công trình đã chứng minh các tính chất giải tích then chốt của hàm Green, xây dựng công thức tường minh trên nhiều miền hình học và chứng minh các ứng dụng quan trọng như Định lý ánh xạ Riemann và công thức Poisson – Jensen mở rộng. Đây là tài liệu tham khảo có giá trị học thuật cao, phục vụ hiệu quả cho việc học tập và nghiên cứu chuyên sâu trong chuyên ngành Giải tích.