Monday, September 18, 2017

analytic number theory - The Dirichlet series suminftyn=1fracrad(n)ns



Following the example to compute ζ(s)n=1ϕ(n)ns=ζ(s1), converges absolutely if σ>2, where ϕ(n) is the Euler's totient function and s=σ+it is a complex variable, I am trying compute the Dirichlet series for the radical of an integer, too called its squarefree kernel, caution I assume this multiplicative function: rad(1)=1 and for n=ki=1peii, the factorization in primes of n>1 then rad(n)=ki=1pi, it is the product of distinct primes which divide n.



My attempt: The Dirichlet series n=1rad(n)ns, could be difficult to obtain because I don't known compute in a closed form certain relatede amounts.



1) I compute for σ>2, if my computations aren't wrong n=1rad(n)ns=1+1ζ(s)ω(n)m=1Dm(n)ns
where ω(n)=k is the number of distinct primes that divide n, and

D1(n)=ki=1eipi, D2(n)=ijeiejpipj, D3(n)=ij,jl,ileiejelpipjpl,...,Dω(n)(n)=ki=1eipi, with absolute convergence, with σ>2 for all Dirichlet series Dm(n)/ns. The problem is sum, or bound in terms of another Dirichlet series these, to continue with computations. 2) After I've computed for σ>2, n=1rad(n)ns as a Euler's product, since rad and ϕ are mulplicative functions, and ζ(s) don't vanishing I write (really I believe that it could be wrong because I don't know if a character χ can be assumed equal to ϕ, it is if has sense χ(n)=ϕ(ˆn)), for σ>2 and Euler's product of R(s)=n=1rad(n)ns



R(s)=p,primeps1+pps1
that ζ(s)L(s,χ)=R(s)



really adjusting factors from related Euler's products of realated Dirichlet series of μ(n), Mobius function and χ(n), the previous related Dirichlet character that satisfies if it is possible, or has sense χ=ϕ



Thanks in advice. If you known some reference for these computations please add the reference or hints to continue in the way. I am reading [1], and my only goal is study and understand this theory, and that you, or I, edit this post with the rights computations. Really I don't known if previous relation has sense or what is its significate, in such case.





Question.



A) Can you continue (with sums or bounds that showing something more about n=1rad(n)/ns), improve or refute my computations in 1).



B) Can you refute ζ(s)L(s,χ)=R(s) in 2)? Has sense define the Dirichlet character as I said?




References:
[1] Tom M. Apostal, Introduction to Analytic Number Theory, Springer (1976).


Answer




You haven't exploited the main feature of the multiplicativity of rad(n): the Euler's product.



n1rad(n)ns=p(1+pps+pp2s+)=p(1+pps1).



By approximating pps1 with 1ps1, we have:



n1rad(n)nsp(1+1ps1)=ζ(s1)ζ(2s2).


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...