Tóm tắt nội dung: Chuyên đề khảo sát quy luật phân bố của tập hợp các số nguyên tố thông qua hàm đếm \(\\pi(x)\). Bài học trình bày dạng tiệm cận kinh điển của Định lý số nguyên tố, kết quả đánh giá chặn trên - chặn dưới của Chebyshev, cùng việc đưa vào các hàm trọng số \(\\theta(x)\) và \(\\psi(x)\) nhằm đơn giản hóa việc nghiên cứu các giới hạn tiệm cận.
1. Định lý về số nguyên tố (Prime Number Theorem)
Cho \(x\) là một số thực dương. Kí hiệu \(\pi(x)\) là số lượng các số nguyên tố không vượt quá \(x\):
\[\pi(x) = \sum_{p \le x} 1\]Định lý 9.1 (Định lý về số nguyên tố). Khi \(x \to +\infty\), ta có hệ thức tiệm cận:
\[\lim_{x \to \infty} \frac{\pi(x)}{x / \log x} = 1\]Nhận xét 9.2:
- Để đánh giá chính xác hơn sai số của sự phân bố số nguyên tố, cần sử dụng các công cụ giải tích sâu sắc hơn. Đánh giá tối ưu nhất hiện nay liên quan trực tiếp đến Giả thuyết Riemann – một bài toán thiên niên kỷ chưa có lời giải.
- Hệ thức tiệm cận cho thấy mật độ các số nguyên tố lớn hơn rất nhiều so với trực giác thông thường:
- \(\pi(x) \approx \frac{x}{\log x}\)
- \(\pi(x) \gg x^{1/2},\; x^{2/3}\)
- \(\pi(x) \gg x^{\alpha},\; \forall \alpha < 1\)
- \[\lim_{x \to \infty} \frac{\pi(x)}{x^{\alpha}} = \infty,\quad \forall \alpha < 1\]
- Chứng minh hoàn chỉnh của Định lý số nguyên tố đòi hỏi kỹ thuật giải tích phức tạp. Dưới đây, ta xét dạng làm yếu lịch sử do Pafnuty Chebyshev đề xuất và chứng minh.
2. Định lý Chebyshev và các hàm Chebyshev
Định lý 9.3 (Định lý Chebyshev). Luôn tồn tại hai hằng số thực dương \(a, A \in \mathbb{R}\) với \(0 < a < A\) sao cho:
\[a \frac{x}{\log x} < \pi(x) < A \frac{x}{\log x}\]bất đẳng thức nghiệm đúng với mọi \(x > 0\).
Nhận xét 9.4: Việc chứng minh định lý Chebyshev là bước đệm then chốt trước khi áp dụng giải tích phức (như hàm zeta Riemann) để thu được tiệm cận tuyệt đối \(\lim_{x \to \infty} \frac{\pi(x)}{x / \log x} = 1\).
Ý tưởng của Chebyshev: Thay vì thao tác trực tiếp trên hàm bước nhảy \(\pi(x)\), Chebyshev đã đưa vào hai hàm số mới có tính chất giải tích thuận tiện hơn:
\[\theta(x) = \sum_{p \le x} \log p\]\[\psi(x) = \sum_{p^n \le x} \log p = \sum_{p \le x} \left\lfloor \frac{\log x}{\log p} \right\rfloor \log p\]3. Ví dụ minh họa và Mối liên hệ giới hạn
Ví dụ 9.5: Xét tại giá trị \(x = 10\):
- Các số nguyên tố không vượt quá \(10\) là \(2, 3, 5, 7\), do đó: \[\pi(10) = 4\]
- Giá trị hàm \(\theta(10)\): \[\theta(10) = \log 2 + \log 3 + \log 5 + \log 7\]
- Đối với hàm \(\psi(10)\), ta xét các luỹ thừa nguyên tố \(p^n \le 10\):
- Lũy thừa của \(2\): \(2^1, 2^2, 2^3 \le 10\) (đóng góp \(3\log 2\))
- Lũy thừa của \(3\): \(3^1, 3^2 \le 10\) (đóng góp \(2\log 3\))
- Lũy thừa của \(5\): \(5^1 \le 10\) (đóng góp \(1\log 5\))
- Lũy thừa của \(7\): \(7^1 \le 10\) (đóng góp \(1\log 7\))
Định lý 9.6: Xét các giới hạn dưới và giới hạn trên sau đây:
\[\ell_1 = \varliminf_{x \to \infty} \frac{\pi(x)}{x / \log x}, \qquad L_1 = \varlimsup_{x \to \infty} \frac{\pi(x)}{x / \log x}\]\[\ell_2 = \varliminf_{x \to \infty} \frac{\theta(x)}{x}, \qquad L_2 = \varlimsup_{x \to \infty} \frac{\theta(x)}{x}\]\[\ell_3 = \varliminf_{x \to \infty} \frac{\psi(x)}{x}, \qquad L_3 = \varlimsup_{x \to \infty} \frac{\psi(x)}{x}\]Khi đó ta có sự tương đương hoàn toàn giữa các đại lượng:
\[\ell_1 = \ell_2 = \ell_3\]\[L_1 = L_2 = L_3\]