✨Thác triển giải tích

Trong giải tích phức, một nhánh của toán học, thác triển giải tích là một kỹ thuật để mở rộng miền xác định của một hàm giải tích nhất định.

Thảo luận khởi đầu

phải|nhỏ|316x316px| Thác triển giải tích của hàm [[logarit (đồ thị của phần ảo)]] Giả sử f là một hàm giải tích được xác định trên tập con mở không rỗng U của mặt phẳng phức $\backslash Complex.$ Nếu V là tập con mở lớn hơn của $\backslash Complex,$ chứa U và F là một hàm giải tích được xác định trên V sao cho

: $F(z)\; =\; f(z)\; \backslash qquad\; \backslash forall\; z\; \backslash in\; U,$

thì F được gọi là một thác triển giải tích của f. Nói cách khác, thu hẹp của F về U là hàm f ban đầu.

Thác triển giải tích là duy nhất theo nghĩa sau: nếu V là miền xác định liên thông của hai hàm giải tích F₁ và F₂ sao cho U được chứa trong V và với mọi z trong U

: $F\_1(z)\; =\; F\_2(z)\; =\; f(z),$

thì

: $F\_1=F\_2$

Đây là hệ quả trực tiếp từ định lý đồng nhất cho các hàm chỉnh hình.

Ví dụ cụ thể

phải|nhỏ|316x316px| Thác triển giải tích từ U (tâm tại 1) đến V (tâm tại a = (3 + i) / 2) Xét:

: $f(z)\; =\; \backslash sum\_\{k=0\}^\backslash infty\; (-1)^k\; (z-1)^k.$

Bán kính hội tụ của chuỗi lũy thừa này là 1. Đó là, $f$ xác định và giải tích trên tập mở có biên $\backslash partial\; U\; =\; \{|z-1|=1\}$. Lưu ý rằng chuỗi lũy thừa phân kỳ tại $z=0\; \backslash in\; \backslash partial\; U$.

Ta tìm một chuỗi số mới có tâm tại $a\; \backslash in\; U$:

: $f(z)\; =\; \backslash sum\_\{k=0\}^\backslash infty\; a\_k\; (z-a)^k.$

Ta sẽ tìm $a\_k$ và xác định xem chuỗi mới này có hội tụ trong một tập mở $V$ không phải là một tập con của $U$ hay không. Nếu ta thành công, ta đã thác triển $f$ đến một miền $U\; \backslash cup\; V$ lớn hơn $U$.

Ta có

: $\backslash begin\{align\}\; a$k &= \frac{f^{(k)}(a)}{k!} \ &=\frac{1}{2\pi i} \int{\partial D} \frac{f(\zeta) d \zeta}{(\zeta -a)^{k+1 \ &=\frac{1}{2\pi i} \int{\partial D} \frac{\sum{n=0}^\infty (-1)^n (\zeta-1)^n d \zeta}{(\zeta -a)^{k+1 \ &=\frac{1}{2\pi i} \sum{n=0}^\infty (-1)^n \int{\partial D} \frac{(\zeta-1)^n d\zeta}{(\zeta -a)^{k+1 \ &=\frac{1}{2\pi i} \sum_{n=0}^\infty (-1)^n \int0^{2\pi} \frac{(a+re^{i \theta}-1)^n rie^{i \theta}d\theta}{(re^{i \theta})^{k+1 \ &=\frac{1}{2\pi} \sum{n=0}^\infty (-1)^n \int0^{2\pi} \frac{(a-1+re^{i \theta})^n d\theta}{(re^{i \theta})^{k\ &=\frac{1}{2\pi} \sum{n=0}^\infty (-1)^n \int0^{2\pi} \frac{\sum{m=0}^n \binom{n}{m} (a-1)^{n-m} (re^{i \theta})^m d\theta}{(re^{i \theta})^{k \ &=(-1)^k a^{-k-1} \end{align}

Tức là

: $f(z)\; =\; \backslash sum\_\{k=0\}^\backslash infty\; a$k (z-a)^k = \sum{k=0}^\infty (-1)^k a^{-k-1} (z-a)^k = \frac{1}{a} \sum_{k=0}^\infty \left (1 - \frac{z}{a} \right)^k,

Chuỗi mới này có bán kính hội tụ $|a|$ và Nếu ta chọn $a\; \backslash in\; U$ với $|a|>1$, thì $V$ không phải là một tập hợp con của $U$ và thực ra thì có diện tích lớn hơn $U$. Hình vẽ minh họa cho $a\; =\; \backslash tfrac\{1\}\{2\}(3+i).$

Ta có thể tiếp tục quá trình này. Trong trường hợp cụ thể này, $f$ có thể được thác triển giải tích đến mặt phẳng phức trừ một điểm $\backslash Complex\; \backslash setminus\; \{0\}.$

Mầm

Chuỗi lũy thừa được khái quát bằng khái niệm mầm. Lý thuyết chung thác triển giải tích và khái quát hóa của nó được gọi là lý thuyết bó. Xét

: $f(z)=\backslash sum\_\{k=0\}^\backslash infty\; \backslash alpha\_k\; (z-z\_0)^k$

Ta nói rằng véc-tơ

: $g\; =\; (z\_0,\; \backslash alpha\_0,\; \backslash alpha\_1,\; \backslash alpha\_2,\; \backslash ldots)$

là mầm của f. Nền của g là z₀, gốc của g là (α₀, α₁, α₂,...) và đỉnh g₁ của g là α₀. Đỉnh của g là giá trị của f tại z ₀.

Tập hợp các mầm tạo thành một không gian mầm $\backslash mathcal\; G$.

Tô-pô của không gian mầm

Ta có thể định nghĩa một cấu trúc tô pô trên $\backslash mathcal\; G$. Đặt r > 0 và xét

:

Các tập hợp U_r(g), với r > 0 và $g\backslash in\backslash mathcal\; G$ xác định một cơ sở của các tập mở cho một cấu trúc tô-pô trên $\backslash mathcal\; G$.

Một thành phần liên thông của $\backslash mathcal\; G$ được gọi là một bó. Lưu ý rằng tồn tại các bản đồ $\backslash phi\_g(h)\; =\; h\_0:\; U\_r(g)\; \backslash to\; \backslash Complex,$ với r là bán kính hội tụ của g. Tập hợp các bản đồ như vậy tạo thành một at-lat cho $\backslash mathcal\; G$, vì thế $\backslash mathcal\; G$ là một mặt Riemann. $\backslash mathcal\; G$ đôi khi được gọi là hàm giải tích phổ quát. Một thành phần liên thông của nó cũng chính là không gian étalé của bó các hàm giải tích trên một miền của mặt phẳng phức.