Results 1 to 5 of 5

Math Help - Analytic continuation

  1. #1
    Member
    Joined
    Nov 2007
    Posts
    108

    Analytic continuation

    This seems to be a hard problem for me. Can someone help?
    Suppose F(z)=\sum_{n=1}^{\infty} d(n)z^n,  for\mid{z}\mid <1 d(n) is the number of divisors of n. The radius of convergence of this series is 1. Show that \sum_{n=1}^{\infty} d(n)z^n=\sum_{n=1}^{\infty}\frac{z^n}{1-z^n}. Then use this to show that if z=r with 0<r<1, then \mid{F(r)}\mid\geq c\frac{1}{1-r}log(1/(1-r)) as r\rightarrow 1.
    Smilarly, if \theta=2\pi p/q p,q are positive integers and z=re^{i\theta}, then \mid{F(re^{i\theta})}\mid\geq c_{p/q}\frac{1}{1-r}log(1/(1-r)) as r\rightarrow 1. Conclude that there can not be any regular point on the unit disc.
    Last edited by namelessguy; October 8th 2008 at 07:14 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Aug 2008
    Posts
    903
    I can perhaps start it:

    \frac{q^n}{1-q^n}=\sum_{k=1}^{\infty} \left(q^{n}\right)^k

    So that

    \sum_{n=1}^{\infty}\frac{q^n}{1-q^n}=\sum_{n=1}^{\infty}\sum_{k=1}^{\infty}\left(q  ^n\right)^k

    =q+q^2+q^3+q^4+\cdots
    +q^2+q^4+q^6+q^8+\cdots
    +q^3+q^6+q^9+q^{12}+\cdots
    +q^4+q^8+q^{12}+q^{16}+\cdots
    +q^5+q^{10}+q^{15}+q^{20}+\cdots

    +\vdots

    Grouping like-powers, it becomes obvious that the number of terms for each power is the divisor function d(nk) so that that sum can be written as:

    \sum_{n=1}^{\infty}\frac{q^n}{1-q^n}=\sum_{n=1}^{\infty}d(n)q^n

    The rest I assume may be approached from the general theory of Lacunary series and the Hadamard Gap Theorem although I wouldn't know how.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Nov 2007
    Posts
    108
    Quote Originally Posted by shawsend View Post
    I can perhaps start it:

    \frac{q^n}{1-q^n}=\sum_{k=1}^{\infty} \left(q^{n}\right)^k

    So that

    \sum_{n=1}^{\infty}\frac{q^n}{1-q^n}=\sum_{n=1}^{\infty}\sum_{k=1}^{\infty}\left(q  ^n\right)^k

    =q+q^2+q^3+q^4+\cdots
    +q^2+q^4+q^6+q^8+\cdots
    +q^3+q^6+q^9+q^{12}+\cdots
    +q^4+q^8+q^{12}+q^{16}+\cdots
    +q^5+q^{10}+q^{15}+q^{20}+\cdots

    +\vdots

    Grouping like-powers, it becomes obvious that the number of terms for each power is the divisor function d(nk) so that that sum can be written as:

    \sum_{n=1}^{\infty}\frac{q^n}{1-q^n}=\sum_{n=1}^{\infty}d(n)q^n

    The rest I assume may be approached from the general theory of Lacunary series and the Hadamard Gap Theorem although I wouldn't know how.
    Thanks shawsend. I don't think I have learned either of the theorems you mentioned yet.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member
    Joined
    Aug 2008
    Posts
    903
    Ok. Then I probably misunderstand the problem. Don't want to lead you down the wrong path.

    I think I was confusing convergence of the series on the disc of convergence and the ability to analytically continue the series past the boundary. These two I think are not related. My understanding of the problem then is that there are no point on the boundary that the series can be analytically continued to a disc containing a point on the boundary. Or no?
    Last edited by shawsend; October 9th 2008 at 11:40 AM.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    You can get the result for z=r by an elementary calculation:

    \begin{aligned}F(r) = \frac r{1-r} + \frac{r^2}{1-r^2} + \frac{r^3}{1-r^3} + \ldots &= \frac1{1-r}\left(r + \frac {r^2}{1+r} + \frac{r^3}{1+r+r^2} + \ldots\right)\\ &\geqslant \frac1{1-r}\left(r + \frac {r^2}2 + \frac{r^3}3 + \ldots\right)\\ &= \frac1{1-r}\ln(1/(1-r)).\end{aligned}

    But the result for z = re^{2\pi pi/q} doesn't look as though it will come out easily from that method.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Analytic continuation of zeta function
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: August 22nd 2011, 11:02 PM
  2. Analytic Continuation
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: November 30th 2010, 03:00 PM
  3. analytic continuation of beta function
    Posted in the Advanced Applied Math Forum
    Replies: 1
    Last Post: June 1st 2010, 07:31 PM
  4. [SOLVED] find analytic continuation
    Posted in the Calculus Forum
    Replies: 3
    Last Post: May 14th 2010, 08:33 AM
  5. Analytic continuation
    Posted in the Calculus Forum
    Replies: 1
    Last Post: June 28th 2008, 06:38 AM

Search Tags


/mathhelpforum @mathhelpforum