Results 1 to 5 of 5

Math Help - cosecant series for complex analysis

  1. #1
    Senior Member
    Joined
    Feb 2008
    Posts
    410

    cosecant series for complex analysis

    Hey guys. My textbook has the following exercise:

    Quote Originally Posted by Priestley, Intro to Complex Analysis 2nd ed
    Define

    \displaystyle f(z)=\frac{1}{z}-2z\sum_{n=1}^\infty \frac{(-1)^n}{n^2\pi^2-z^2}

    (i) Prove that f is holomorphic in G:=\mathbb{C}\setminus\{n\pi:n\in\mathbb{Z}\}.

    (ii) Prove that f has a simple pole at each point k\pi, k\in\mathbb{Z}.

    (iii) Deduce that f(z)=\text{cosec }z for all z\in\mathbb{C}.
    I've done parts (i) and (ii), but I'm stuck on part (iii). It looks like it should be easy. Usually when a textbook has as the last part of an exercise the phrase "deduce that..." it's something simple. But I just don't get this one.

    Any help would be much appreciated!

    EDIT: thanks for the latex fix! Now if I can only get this exercise...
    Last edited by hatsoff; May 1st 2011 at 06:46 AM. Reason: Fixed the LaTeX tags
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Forum Admin topsquark's Avatar
    Joined
    Jan 2006
    From
    Wellsville, NY
    Posts
    9,855
    Thanks
    321
    Awards
    1
    Quote Originally Posted by hatsoff View Post
    P.S. what's the story with the latex errors?
    Using [tex] instead of [tex] is a temporary solution.

    -Dan
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor FernandoRevilla's Avatar
    Joined
    Nov 2010
    From
    Madrid, Spain
    Posts
    2,162
    Thanks
    45
    Quote Originally Posted by hatsoff View Post

    I've done parts (i) and (ii), but I'm stuck on part (iii). It looks like it should be easy. Usually when a textbook has as the last part of an exercise the phrase "deduce that..." it's something simple. But I just don't get this one.

    Use the Mitagg-Lefler's expansion theorem.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor chisigma's Avatar
    Joined
    Mar 2009
    From
    near Piacenza (Italy)
    Posts
    2,162
    Thanks
    5
    You have to start from the 'funny identity'...

    (1)

    ... and then consider the 'infinite products'...

    (2)

    (3)

    Now if You compute using (2) and (3) ...

    (4)

    ... and derive it You arrive at the expression of Your textbook. The details are left to You...

    Kind regards

    \chi \sigma
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member
    Joined
    Feb 2008
    Posts
    410
    Thanks guys, but I think I'm supposed to use at least one of the following two facts in my proof:

    (i) f is holomorphic in everywhere except for k\pi, k\in\mathbb{Z}

    (ii) Each k\pi is a simple pole.

    I was thinking that maybe I could show f(z)\sin z is bounded on \mathbb{C}. Then I could observe that f(z)\sin z is holomorphic everywhere, and conclude by Liouville that it is a constant function. Finally, I could plug in zero to show that the constant is 1. But unfortunately I don't know how to show that it's bounded (without first showing that f(z)=1/\sin z anyway).

    I appreciate the suggestions though.

    EDIT: I asked my prof, and he says I can use the fact that the identity is valid in \mathbb{R}, and of course from this the proof is obvious.

    Thanks again guys!
    Last edited by hatsoff; May 2nd 2011 at 10:41 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Complex Analysis-Taylor Series
    Posted in the Advanced Math Topics Forum
    Replies: 0
    Last Post: August 1st 2010, 02:11 PM
  2. complex analysis series representation
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: April 18th 2010, 10:03 AM
  3. complex analysis series
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: February 15th 2010, 04:07 AM
  4. Power Series (Complex Analysis)
    Posted in the Calculus Forum
    Replies: 11
    Last Post: September 25th 2008, 06:39 PM
  5. Complex analysis to evaluate series
    Posted in the Calculus Forum
    Replies: 3
    Last Post: November 29th 2006, 08:09 AM

/mathhelpforum @mathhelpforum