Hàm Von Mangoldt

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 Bản mẫu:Math, được định nghĩa bởi

$\mathrm{\Lambda }(n)=\{\begin{array}{cc}\log p& \text{if }n=p^k\text{ for some prime }p\text{ and integer }k\ge 1,\\ 0& \text{otherwise.}\end{array}$

Giá trị của Bản mẫu:Math cho chín số nguyên dương đầu tiên là

$0,\log 2,\log 3,\log 2,\log 5,0,\log 7,\log 2,\log 3,$

liên quan tới Bản mẫu:OEIS.

Hàm tổng von Mangoldt, Bản mẫu:Math, còn được gọi là hàm Chebyshev thứ hai, được định nghĩa bởi

$\psi (x)=\sum _{n\le x}\mathrm{\Lambda }(n).$

Các tính chất

Hàm von Mangoldt thỏa mãn định thức sau:

$\log (n)=\sum _{d\mid n}\mathrm{\Lambda }(d).$

Tổng được lấy trên tất cả các số nguyên Bản mẫu:Mvar là ước của Bản mẫu:Mvar . Đ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 Bản mẫu:Math . Ví dụ, xét trường hợp Bản mẫu:Math , khi đó:

$\begin{array}{cc}\sum _{d\mid 12}\mathrm{\Lambda }(d)& =\mathrm{\Lambda }(1)+\mathrm{\Lambda }(2)+\mathrm{\Lambda }(3)+\mathrm{\Lambda }(4)+\mathrm{\Lambda }(6)+\mathrm{\Lambda }(12)\\ & =\mathrm{\Lambda }(1)+\mathrm{\Lambda }(2)+\mathrm{\Lambda }(3)+\mathrm{\Lambda }\left(2^2\right)+\mathrm{\Lambda }(2\times 3)+\mathrm{\Lambda }(2^2\times 3)\\ & =0+\log (2)+\log (3)+\log (2)+0+0\\ & =\log (2\times 3\times 2)\\ & =\log (12).\end{array}$

Bằng phép nghịch đảo Möbius, ta được

$\mathrm{\Lambda }(n)=-\sum _{d\mid n}\mu (d)\log (d).$

Với mọi $x\ge 1$, ta có

$\sum _{n\le x}\frac{\mathrm{\Lambda }(n)}{n}=\log x+O(1).$

Ngoài ra, tồn tại hai hằng số $c_1$ và $c_2$ sao cho

$\psi (x)\le c_{1}x,$

với mọi $x\ge 1$, và

$\psi (x)\ge c_{2}x,$

cho mọi Bản mẫu:Math đủ 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ó

$\log \zeta (s)=\sum _{n=2}^{\mathrm{\infty }}\frac{\mathrm{\Lambda }(n)}{\log (n)}\frac{1}{n^s},\text{Re}(s)>1.$

Đạo hàm lôgarit của nó như sau

$\frac{{\zeta }^{\prime }(s)}{\zeta (s)}=-\sum _{n=1}^{\mathrm{\infty }}\frac{\mathrm{\Lambda }(n)}{n^s}.$

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ó

$F(s)=\sum _{n=1}^{\mathrm{\infty }}\frac{f(n)}{n^s}$

với $f(n)$ là hàm nhân đầy đủ và chuỗi hội tụ khi Bản mẫu:Math, thì

$\frac{F^{\prime }(s)}{F(s)}=-\sum _{n=1}^{\mathrm{\infty }}\frac{f(n)\mathrm{\Lambda }(n)}{n^s}$

hội tụ khi Bản mẫu:Math.

Hàm Chebyshev

Hàm Chebyshev thứ hai ψ(x) là hàm tổng của hàm von Mangoldt:

$\psi (x)=\sum _{p^k\le x}\log p=\sum _{n\le x}\mathrm{\Lambda }(n).$

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ố $\pi (x)$ là $x/\log x$. Von Mangoldt đưa ra bài chứng minh chặt chẽ cho một công thức cụ thể cho Bản mẫu:Math 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:

$\frac{{\zeta }^{\prime }(s)}{\zeta (s)}=-s\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{\psi (x)}{x^{s+1}}dx$

đẳng thức chỉ đúng khi Bản mẫu:Math.