Math Labs

Bài toán mở, Giải tích, nêu năm 1958

Giả thuyết Sendov

Giải một phần

Cho f(z)=(z−z1)(z−z2)⋯(z−zn)f(z) = (z - z_1)(z - z_2)\cdots(z - z_n) là một đa thức bậc n≥2n \ge 2 với hệ số phức có các nghiệm z1,…,znz_1, \dots, z_n đều nằm trong hình tròn đơn vị đóng D‾={z∈C:∣z∣≤1}\overline{\mathbb{D}} = \{z \in \mathbb{C} : |z| \le 1\}. Hỏi mọi hình tròn đóng {z∈C:∣z−zk∣≤1}\{z \in \mathbb{C} : |z - z_k| \le 1\} bán kính 11 có tâm tại một nghiệm zkz_k của ff có luôn chứa ít nhất một điểm tới hạn ζ\zeta của ff (tức là f′(ζ)=0f'(\zeta) = 0) hay không?

Hiện trạng nghiên cứu tính đến năm 2026

Sau chứng minh năm 2020 của Terence Tao (xuất bản năm 2022) rằng giả thuyết Sendov đúng với mọi bậc n≥n0n \ge n_0, về nguyên tắc chỉ còn một khoảng hữu hạn các bậc trung gian 9≤n<n09 \le n < n_0 là chưa có lời giải. Tuy nhiên, vì chứng minh của Tao dựa trên các lập luận compact và phản chứng cho chế độ mà nghiệm đang xét zkz_k nằm gần 00, hằng số n0n_0 không hiệu dụng (hoặc cực kỳ lớn khi được định lượng hóa), để lại một khoảng trống giữa các bậc thấp đã kiểm chứng n≤8n \le 8 và chế độ bậc cao tiệm cận.

Kết quả tốt nhất đã biết

  • Terence Tao (2020/2022): giả thuyết Sendov đúng với mọi đa thức bậc n≥n0n \ge n_0 với một hằng số tuyệt đối n0n_0 nào đó.
  • Brown và Xiang (1999): giả thuyết Sendov đúng với mọi đa thức có bậc 2≤n≤82 \le n \le 8.
  • Bojanov, Rahman và Szynal (1985): với mọi bậc n≥2n \ge 2 và mọi nghiệm zk∈D‾z_k \in \overline{\mathbb{D}}, tồn tại một điểm tới hạn nằm trong khoảng cách (1+∣z1z2⋯zn∣)1/n≤21/n(1 + |z_1 z_2 \cdots z_n|)^{1/n} \le 2^{1/n} tính từ zkz_k.

Công cụ và chỗ dừng

Công cụĐạt đượcChỗ dừng
Định lý vô cực Grace và các ước lượng đạo hàm logarit (Dégot–Chalebgwa)Chứng minh giả thuyết với các chặn bậc tường minh khi ∣zk∣|z_k| cách xa cả 00 lẫn 11Ngưỡng bậc tường minh N(a)N(a) tiến ra vô cùng khi ∣zk∣→0|z_k| \to 0 hoặc ∣zk∣→1|z_k| \to 1
Lý thuyết thế vị, phép quét độ đo (balayage) và tính compact (Tao)Kiểm soát phân phối tiệm cận của các nghiệm và điểm tới hạn khi n→∞n \to \infty trong trường hợp zk→0z_k \to 0 hoặc ∣zk∣→1|z_k| \to 1Các lập luận siêu lũy thừa/compact không cho ngưỡng n0n_0 đủ nhỏ để kiểm tra các bậc còn lại bằng máy tính

Câu hỏi còn mở

  • Liệu ngưỡng bậc cao n0n_0 trong định lý của Tao có thể hạ xuống n0=9n_0 = 9, qua đó hoàn tất chứng minh giả thuyết Sendov cho mọi bậc n≥2n \ge 2 hay không?

Tài liệu tham khảo

  1. Terence Tao (2022). Sendov's conjecture for sufficiently-high-degree polynomials · DOI:10.4310/ACTA.2022.v229.n2.a3 · arXiv:2012.04125
  2. Johnny E. Brown, Guangping Xiang (1999). Proof of the Sendov conjecture for polynomials of degree at most eight · DOI:10.1006/jmaa.1999.6277
  3. Jérôme Dégot (2014). Sendov conjecture for high degree polynomials · DOI:10.1090/S0002-9939-2014-11888-0