Following the example to compute ζ(s)∑∞n=1ϕ(n)ns=ζ(s−1), 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)=∑i≠jeiejpipj, D3(n)=∑i≠j,j≠l,i≠leiejelpipjpl,...,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,primeps−1+pps−1
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.
∑n≥1rad(n)ns=∏p(1+p⋅p−s+p⋅p−2s+…)=∏p(1+pps−1).
By approximating pps−1 with 1ps−1, we have:
∑n≥1rad(n)ns≈∏p(1+1ps−1)=ζ(s−1)ζ(2s−2).
No comments:
Post a Comment