Generating function of Mangoldt function

From the Mangoldt function definition with dsum(), it is easy to obtain the generating function of Mangoldt function.

Maxima 5.20.0 http://maxima.sourceforge.net
using Lisp CMU Common Lisp 19f (19F)
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) block(load(("/Users/yasube/Programming/imaxima-imath/imaxima.lisp")), linenum:0)$

The following file contains the definition of dsum().
(%i1) load("elementaryNumberTheory.mac");


(%i2) mangoldt(N):=if integerp(N)
then apply(dsum,[moebius(N/d)*log(d),d,N])
else dsum(moebius(N/d)*log(d),d,N)$

(%i3) texput(nounify(mangoldt), "\\Lambda")$

 
The definition of Mangoldt function is given above.
(%i4) 'mangoldt(n)=mangoldt(n);

 

We can see that the definition works fine.

(%i5) 'mangoldt(27)=mangoldt(27);


(%i6) 'mangoldt(27)=radcan(mangoldt(27));


(%i7) 'mangoldt(28)=mangoldt(28);


(%i8) 'mangoldt(28)=radcan(mangoldt(28));


 

The following holds for any number-theoretic functions:

(%i9) dprod;

 

Having a(n) being Moebius function and b(n) being logarithmic function, the following holds:
(%i10) dprod,a(n):=moebius(n),b(n):=log(n);


 

Since (%o11) and (%o12) holds, and right hand side of (%o10) is already the generating function of Mangoldt function, we obtain (%o13).

(%i11) 'diff(zeta(s),s)=sum(diff(1/n^s,s),n,1,inf);


(%i12) 1/zeta(s)=sum(moebius(n)/n^s,n,1,inf);


(%i13) -diff(zeta(s),s)/zeta(s)=sum('mangoldt(n)/n^s,n,1,inf);


(%i14)