Lời giải: Chứng minh giả thuyết Bieberbach của de Branges qua giả thuyết Milin (1984)

Bước 1 trên 8: Phát biểu giả thuyết và hàm Koebe cực trị

Hiểu nôm na

Một hàm $f$ là đơn diệp (một-một) trên đĩa đơn vị nếu nó không bao giờ gửi hai điểm khác nhau tới cùng một chỗ, giống như một tấm cao su bị kéo và uốn nhưng không bao giờ gấp chồng lên chính nó. Giả thuyết năm 1916 của Bieberbach nói rằng với các hàm như vậy, chuẩn hóa để bắt đầu như $f(z) = z + a_2 z^2 + a_3 z^3 + \cdots$ , độ lớn của mỗi hệ số $a_n$ không bao giờ vượt quá $n$ .

Chặn này là chặt: hàm Koebe $k(z) = \frac{z}{(1-z)^2}$ , kéo dãn đĩa thành cả mặt phẳng trừ đi một khe dọc theo trục thực âm, đạt $a_n = n$ chính xác với mọi $n$ , nên không có chặn nào tốt hơn $n$ có thể đúng.

|a_n| \le n \ \text{for univalent} \ f(z) = z + \sum_{n=2}^{\infty} a_n z^n \ \text{on} \ |z|<1, \quad \text{equality only for rotations of} \ k(z) = \frac{z}{(1-z)^2}

Phân tích chi tiết

Năm 1916, Ludwig Bieberbach đặt giả thuyết rằng mọi hàm chỉnh hình đơn diệp (đơn ánh) $f(z) = z + \sum_{n=2}^{\infty} a_n z^n$ trên đĩa đơn vị mở $\{z \in \mathbb{C} : |z| < 1\}$ thỏa mãn $|a_n| \le n$ với mọi $n \ge 2$ , với dấu bằng chỉ xảy ra khi là phép quay của hàm Koebe $k(z) = \frac{z}{(1-z)^2}$ , ánh xạ đĩa lên toàn bộ mặt phẳng trừ đi một khe dọc trục thực âm từ $-\infty$ tới $-\tfrac{1}{4}$ .

Các tấn công trực tiếp vào hệ số thứ $n$ chỉ thành công từng trường hợp một: chính Bieberbach cho $n=2$ (1916), Karl Loewner cho $n=3$ (1923, phát minh phương trình vi phân của ông cho mục đích này), Garabedian và Schiffer cho $n=4$ (1955), và tới năm 1972 là các trường hợp tới $n=6$ ; không có phương pháp nào trong tầm nhìn có thể xử lý mọi $n$ cùng lúc, và giả thuyết vẫn để mở suốt 68 năm.

Chứng minh cuối cùng, do Louis de Branges tìm ra năm 1984, không tấn công trực tiếp $|a_n| \le n$ cho từng $n$ ; thay vào đó nó chứng minh một giả thuyết mạnh hơn, đồng loạt của Isaak Milin về một tập hệ số khác, điều này buộc mọi chặn Bieberbach cùng một lúc — chủ đề của bước tiếp theo.

Thuật ngữ trong bước này

hàm đơn diệp: Một hàm chỉnh hình $f$ trên một miền (ở đây là đĩa đơn vị) là đơn ánh: $f(z_1) = f(z_2)$ chỉ khi $z_1 = z_2$ , nên nó không bao giờ ánh xạ hai điểm khác nhau tới cùng một ảnh.
hàm Koebe: Hàm $k(z) = \frac{z}{(1-z)^2} = \sum_{n=1}^{\infty} n z^n$ , ví dụ cực trị duy nhất (sai khác phép quay) đạt dấu bằng $|a_n| = n$ trong giả thuyết Bieberbach với mọi $n$ .

Kiến thức dùng ở bước này

Hàm biến phức