Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Domain of convergence of Puiseux series

  1. Jan 7, 2012 #1
    May I ask if it's appropriate to ask in this sub-forum, are there any general methods for computing the domain of convergence for Puiseux series representations of algebraic varieties? I'm unable to find anything on the matter.

    For example, suppose I'm given the ideal in [itex]\mathbb{C}[z,w][/itex]:


    and I proceed to compute a Puiseux-series representation of (a component of) the variety. Is there nothing I can do to determine (symbolically) the domain of convergence for this series? I'm aware and familiar with Newton-Puiseux's theorem which guarantees the existance of such series but says nothing (quantitative) about computing their region of convergence.

    Ok, here's an example: Consider the ideal [itex]f(z,w)=(w-1)(w-2)^2(w-3)^3-z[/itex] in [itex]\mathbb{C}[z,w][/itex], prove (or disprove) that a double-valued (analytically-continued) manifold of the variety can be represented by the Puiseux expansion below convergent in the proposed (not proven) region.

    [tex]w(z)=\sum_{n=0}^{\infty} a_n z^{n/2},\quad 0\leq|z|<\left|\frac{-587+145\sqrt{13}}{1458}\right|[/tex]

    So I'm only conjecturing the region of convergence is as above. Is there a way to prove this rigorously without having a symbolically-computable expression for the coefficients [itex]a_n[/itex]?

    Last edited: Jan 7, 2012
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted