Math Labs

Bài toán mở, Số học và Lý thuyết số, Giải tích, nêu năm 1908

Giả thuyết Lindelöf

Còn mở

Với mọi ε>0\varepsilon > 0, hàm zeta Riemann trên đường thẳng tới hạn thoả mãn ζ ⁣(12+it)=O(tε)\zeta\!\left(\tfrac{1}{2} + it\right) = O(t^{\varepsilon}) khi t→∞t \to \infty; tương đương, số mũ tăng trưởng μ(σ)=inf⁡{a:ζ(σ+it)=O(ta)}\mu(\sigma) = \inf\{a : \zeta(\sigma+it) = O(t^a)\} thoả mãn μ ⁣(12)=0\mu\!\left(\tfrac{1}{2}\right) = 0.

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

Tính đến năm 2026, giả thuyết Lindelöf vẫn còn để ngỏ. Chặn từng điểm vô điều kiện tốt nhất đã công bố trên đường thẳng tới hạn là ước lượng năm 2017 của Bourgain μ(12)≤1384≈0.15476\mu(\tfrac{1}{2}) \le \tfrac{13}{84} \approx 0.15476, thu được bằng cách đưa bất đẳng thức tách ℓ2\ell^2 của Bourgain–Demeter vào phương pháp Bombieri–Iwaniec (cải thiện mức 32205≈0.15610\tfrac{32}{205} \approx 0.15610 của Huxley). Đối với các mômen của ζ(12+it)\zeta(\tfrac{1}{2}+it), công thức tiệm cận baru chỉ biết vô điều kiện cho mômen bậc hai (2k=22k=2) và bậc bốn (2k=42k=4), trong khi ngay cả mômen bậc sáu (2k=62k=6) vẫn còn mở. Về hệ quả mật độ không điểm của giả thuyết Lindelöf (giả thuyết mật độ N(σ,T)≪T2(1−σ)+εN(\sigma, T) \ll T^{2(1-\sigma)+\varepsilon}), Guth và Maynard đã đạt được bước đột phá lịch sử vào năm 2024 khi phá vỡ rào cản năm 1940 của Ingham tại σ=34\sigma = \tfrac{3}{4} với N(σ,T)≪T3013(1−σ)+o(1)N(\sigma, T) \ll T^{\frac{30}{13}(1-\sigma)+o(1)}.

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

  • Chặn từng điểm vô điều kiện: ζ(12+it)≪t13/84+ε\zeta(\tfrac{1}{2}+it) \ll t^{13/84+\varepsilon} với 1384≈0.15476\tfrac{13}{84} \approx 0.15476 (Bourgain, 2017).
  • Chặn có điều kiện dưới giả thuyết Riemann: ∣ζ(12+it)∣≪exp⁡ ⁣(Clog⁡tlog⁡log⁡t)|\zeta(\tfrac{1}{2}+it)| \ll \exp\!\left(C \frac{\log t}{\log\log t}\right) (Littlewood, 1924).
  • Chặn mật độ không điểm hướng tới giả thuyết mật độ: N(σ,T)≪T3013(1−σ)+o(1)N(\sigma, T) \ll T^{\frac{30}{13}(1-\sigma)+o(1)} (Guth và Maynard, 2024).

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

Công cụĐạt đượcChỗ dừng
Phương pháp Bombieri–Iwaniec và bất đẳng thức tách ℓ2\ell^2Chia phương trình hàm xấp xỉ thành các tổng mũ ngắn được xấp xỉ bởi pha hữu tỷ và chặn các tập cộng hưởng nhờ bất đẳng thức tách trong giải tích điều hoà, đạt μ(12)≤1384\mu(\tfrac{1}{2}) \le \tfrac{13}{84}.Các xấp xỉ Taylor cục bộ của tlog⁡nt \log n chỉ nắm bắt được sự triệt tiêu trên các khoảng ngắn của nn, để lại một rào cản số mũ dương còn cách xa 00.
Ước lượng giá trị lớn cho đa thức Dirichlet (phương pháp Guth–Maynard)Kiểm soát tần suất một đa thức Dirichlet ∑n∼Nann−it\sum_{n \sim N} a_n n^{-it} nhận giá trị lớn bằng cách phân tích các giá trị kỳ dị của ma trận thời gian–tần số nâng luỹ thừa, chứng minh N(σ,T)≪T3013(1−σ)+o(1)N(\sigma, T) \ll T^{\frac{30}{13}(1-\sigma)+o(1)}.Chỉ kiểm soát mật độ không điểm trung bình trong dải σ>12\sigma > \tfrac{1}{2} chứ chưa khống chế được các mômen bậc sáu trở lên hay giá trị từng điểm trên đường tới hạn σ=12\sigma = \tfrac{1}{2}.

Câu hỏi còn mở

  • Có thể chứng minh vô điều kiện ước lượng mômen bậc sáu ∫0T∣ζ(12+it)∣6 dt≪T1+ε\int_0^T |\zeta(\tfrac{1}{2}+it)|^6\,dt \ll T^{1+\varepsilon} hay không?
  • Có thể chứng minh giả thuyết mật độ vô điều kiện N(σ,T)≪T2(1−σ)+εN(\sigma, T) \ll T^{2(1-\sigma)+\varepsilon} với mọi 12≤σ≤1\tfrac{1}{2} \le \sigma \le 1 mà không cần chứng minh giả thuyết Lindelöf trước hay không?

Tài liệu tham khảo

  1. Ernst Lindelöf (1908). Quelques remarques sur la croissance de la fonction ζ(s)
  2. E. C. Titchmarsh (1986). The Theory of the Riemann Zeta-Function (2nd ed., rev. by D. R. Heath-Brown)
  3. Jean Bourgain (2017). Decoupling, exponential sums and the Riemann zeta function · DOI:10.1090/jams/860 · arXiv:1408.5794
  4. Larry Guth, James Maynard (2024). New large value estimates for Dirichlet polynomials · arXiv:2405.20552