Results 1 to 3 of 3

Math Help - Dirichlet series of extended Liouville function

  1. #1
    Newbie
    Joined
    May 2011
    Posts
    3

    Dirichlet series of extended Liouville function

    I would like to prove that
     \sum_{n = 1}^\infty \frac{\lambda_a}{n^s} = \frac{\zeta(s) \zeta(2s-2a)}{\zeta(s-a)}
    where
     \lambda_a(n) = \sum_{d \vert n} d^a \cdot \lambda(d)
    and
     \lambda(n) is Liouville's function, defined as
     \lambda(1) = 1 \mbox{, and  if } n=p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k} \mbox{ then } \lambda(n) = (-1)^{a_1 + a_2 + \cdots + a_k}

    Using multiplication of Dirichlet series, I think I can show that
     \sum_{n = 1}^\infty \frac{\lambda (n)}{n^s} = \frac{\zeta(2s)}{\zeta(s)}
    and that
     \sum_{n = 1}^\infty \frac{\sum_{d \vert n} d^a}{n^s} = \zeta(s-a)\zeta(s)
    but I cant see how (or if) this helps.

    Any help or advice would be appreciated.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member PaulRS's Avatar
    Joined
    Oct 2007
    Posts
    571
    Well, notice that since you know : \sum_{k\geq 1} {\frac{\lambda(k)}{k^s}} = \frac{\zeta(2s)}{\zeta (s)}

    We then have: \sum_{k\geq 1} {\frac{\lambda(k)}{k^{s-a}}} = \frac{\zeta(2s - 2a)}{\zeta (s-a)}

    But here: \sum_{k\geq 1} {\frac{\lambda(k)}{k^{s-a}}} = \sum_{k\geq 1} {\frac{k^a \cdot \lambda(k)}{k^s}} the generating function of f(k) = k^a\cdot \lambda ( k)

    Now multiplying this by \zeta(s) we get the Dirichlet-Series-Generating-Function of \sum_{d|n} {d^a\cdot \lambda( d)} which is what you want.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    May 2011
    Posts
    3
    Ahh. Thank you. I had not realized that

     \sum_{k \geq 1} \frac{ \lambda (k)  }{ k^{s} } = \frac{ \zeta(2s)}{ \zeta(s)}
    would imply
     \sum_{k \geq 1} \frac{ \lambda (k)  }{ k^{s-a} } = \frac{ \zeta(2s-2a)}{ \zeta(s-a)}

    Many thanks for the help.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 3
    Last Post: November 29th 2011, 03:08 PM
  2. Dirichlet Series Example
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: April 28th 2011, 09:46 AM
  3. Convergence of Dirichlet Series
    Posted in the Number Theory Forum
    Replies: 8
    Last Post: April 5th 2010, 10:48 AM
  4. Dirichlet Series Proof
    Posted in the Number Theory Forum
    Replies: 4
    Last Post: August 30th 2009, 01:04 AM

/mathhelpforum @mathhelpforum