Trong toán học, hàm von Mangoldt là hàm số học được theo tên nhà toán học Đức Hans von Mangoldt. Nó là một trong những ví dụ quan trọng về hàm số học không nhân tính hay cộng tính.
Định nghĩa
Hàm von Mangoldt, ký hiệu bởi Λ(n), được định nghĩa bởi
![{\displaystyle \Lambda (n)={\begin{cases}\log p&{\text{if }}n=p^{k}{\text{ for some prime }}p{\text{ and integer }}k\geq 1,\\0&{\text{otherwise.}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73d9e6629425d5a8f836c9e400eb0cb7b0e98ab7)
Giá trị của Λ(n) cho chín số nguyên dương đầu tiên là
![{\displaystyle 0,\log 2,\log 3,\log 2,\log 5,0,\log 7,\log 2,\log 3,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bcca23c7ebb17eb103515f9da792e923fcc6b13)
liên quan tới (dãy số A014963 trong bảng OEIS).
Hàm tổng von Mangoldt, ψ(x), còn được gọi là hàm Chebyshev thứ hai, được định nghĩa bởi
![{\displaystyle \psi (x)=\sum _{n\leq x}\Lambda (n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b9f73f28b91d91af2f0f8e927d24be3160d4f1a)
Các tính chất
Hàm von Mangoldt thỏa mãn định thức sau:[1][2]
![{\displaystyle \log(n)=\sum _{d\mid n}\Lambda (d).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f8aad70cdf13eeadb0cdd97185e06200ab30047)
Tổng được lấy trên tất cả các số nguyên d là ước của n . Điều này được chứng minh bởi định lý cơ bản của số học, vì giá trị hàm của các phần tử không phải là lũy thừa của số nguyên tố bằng 0 . Ví dụ, xét trường hợp n = 12 = 22 × 3 , khi đó:
![{\displaystyle {\begin{aligned}\sum _{d\mid 12}\Lambda (d)&=\Lambda (1)+\Lambda (2)+\Lambda (3)+\Lambda (4)+\Lambda (6)+\Lambda (12)\\&=\Lambda (1)+\Lambda (2)+\Lambda (3)+\Lambda \left(2^{2}\right)+\Lambda (2\times 3)+\Lambda \left(2^{2}\times 3\right)\\&=0+\log(2)+\log(3)+\log(2)+0+0\\&=\log(2\times 3\times 2)\\&=\log(12).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dba5c30fd49a620e4957849a9db10878da47b4c)
Bằng phép nghịch đảo Möbius, ta được [2][3][4]
![{\displaystyle \Lambda (n)=-\sum _{d\mid n}\mu (d)\log(d)\ .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/770171090e2d563f7e12c527a2bb9f85df4f6a92)
Với mọi
, ta có [5]
![{\displaystyle \sum _{n\leq x}{\frac {\Lambda (n)}{n}}=\log x+O(1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/731016e258e5e48752233b8298b958d554a274d7)
Ngoài ra, tồn tại hai hằng số
và
sao cho
![{\displaystyle \psi (x)\leq c_{1}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aa4085fb06a947f012d66ddf726465ddc182244)
với mọi
, và
![{\displaystyle \psi (x)\geq c_{2}x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8aaa2922d1dd18375d3a4cea2e6b6845e5a2d8e4)
cho mọi x đủ lớn.
Chuỗi Dirichlet
Hàm von Mangoldt function đóng vai trò quan trọng trong lý thuyết của chuỗi Dirichlet, và cụ thể hơn là hàm zeta Riemann. Ví dụ chẳng hạn, ta có
![{\displaystyle \log \zeta (s)=\sum _{n=2}^{\infty }{\frac {\Lambda (n)}{\log(n)}}\,{\frac {1}{n^{s}}},\qquad {\text{Re}}(s)>1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b3f248f24dd24f219ef24027379727d793241b9)
Đạo hàm lôgarit của nó như sau[6]
![{\displaystyle {\frac {\zeta ^{\prime }(s)}{\zeta (s)}}=-\sum _{n=1}^{\infty }{\frac {\Lambda (n)}{n^{s}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a46729a048dcb31474bd08539c54266102b510f4)
Các công thức trên là trường hợp đặc biệt của dạng tổng quát trên chuỗi Dirichlet. Nếu ta có
![{\displaystyle F(s)=\sum _{n=1}^{\infty }{\frac {f(n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b7905e56cb9d64de0bc02dcaea2e5ac1e767b14)
với
là hàm nhân đầy đủ và chuỗi hội tụ khi Re(s) > σ0, thì
![{\displaystyle {\frac {F^{\prime }(s)}{F(s)}}=-\sum _{n=1}^{\infty }{\frac {f(n)\Lambda (n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53e74734ecf070bf173eac6b4d72c4d4b5bb81f9)
hội tụ khi Re(s) > σ0.
Hàm Chebyshev
Hàm Chebyshev thứ hai ψ(x) là hàm tổng của hàm von Mangoldt:[7]
![{\displaystyle \psi (x)=\sum _{p^{k}\leq x}\log p=\sum _{n\leq x}\Lambda (n)\ .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/665b7c490a91053b9334a4f1fb3e7147ed45951b)
Hàm được giới thiệu bởi Pafnuty Chebyshev, nhà toán học này dùng nó để chứng minh bậc của hàm đếm số nguyên tố
là
. Von Mangoldt đưa ra bài chứng minh chặt chẽ cho một công thức cụ thể cho ψ(x) bao gồm tổng trên các trên không điểm không tầm thường của hàm zeta Riemann. Nội dung này đóng vai trò quan trọng trong bài chứng minh đầu tiên cho định lý số nguyên tố.
Ta có thể tìm biến đổi Mellin của hàm Chebyshev bằng cách áp dụng công thức Perron:
![{\displaystyle {\frac {\zeta ^{\prime }(s)}{\zeta (s)}}=-s\int _{1}^{\infty }{\frac {\psi (x)}{x^{s+1}}}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4571445dd316ecc0a71032623b8ec7031b741e2b)
đẳng thức chỉ đúng khi Re(s) > 1.
Tham khảo
- ^ Apostol (1976) p.32
- ^ a b Tenenbaum (1995) p.30
- ^ Apostol (1976) p.33
- ^ Schroeder, Manfred R. (1997). Number theory in science and communication. With applications in cryptography, physics, digital information, computing, and self-similarity. Springer Series in Information Sciences. 7 (ấn bản 3). Berlin: Springer-Verlag. ISBN 3-540-62006-0. Zbl 0997.11501.
- ^ Apostol (1976) p.88
- ^ Hardy & Wright (2008) §17.7, Theorem 294
- ^ Apostol (1976) p.246