In mathematics, Puiseux series are a generalization of power series that allow for negative and fractional exponents of the indeterminate. For example, the series
x − 2 + 2 x − 1 / 2 + x 1 / 3 + 2 x 11 / 6 + x 8 / 3 + x 5 + ⋯ = x − 12 / 6 + 2 x − 3 / 6 + x 2 / 6 + 2 x 11 / 6 + x 16 / 6 + x 30 / 6 + ⋯ {\displaystyle {\begin{aligned}x^{-2}&+2x^{-1/2}+x^{1/3}+2x^{11/6}+x^{8/3}+x^{5}+\cdots \\&=x^{-12/6}+2x^{-3/6}+x^{2/6}+2x^{11/6}+x^{16/6}+x^{30/6}+\cdots \end{aligned}}}
is a Puiseux series in the indeterminate x. Puiseux series were first introduced by Isaac Newton in 1676 and rediscovered by Victor Puiseux in 1850. The definition of a Puiseux series includes that the denominators of the exponents must be bounded. So, by reducing exponents to a common denominator n, a Puiseux series becomes a Laurent series in an nth root of the indeterminate. For example, the example above is a Laurent series in x 1 / 6 . {\displaystyle x^{1/6}.} Because a complex number has n nth roots, a convergent Puiseux series typically defines n functions in a neighborhood of 0. Puiseux's theorem, sometimes also called the Newton–Puiseux theorem, asserts that, given a polynomial equation P ( x , y ) = 0 {\displaystyle P(x,y)=0} with complex coefficients, its solutions in y, viewed as functions of x, may be expanded as Puiseux series in x that are convergent in some neighbourhood of 0. In other words, every branch of an algebraic curve may be locally described by a Puiseux series in x (or in x − x0 when considering branches above a neighborhood of x0 ≠ 0). Using modern terminology, Puiseux's theorem asserts that the set of Puiseux series over an algebraically closed field of characteristic 0 is itself an algebraically closed field, called the field of Puiseux series. It is the algebraic closure of the field of formal Laurent series, which itself is the field of fractions of the ring of formal power series.
Definition If K is a field (such as the complex numbers), a Puiseux series with coefficients in K is an expression of the form
f = ∑ k = k 0 + ∞ c k T k / n {\displaystyle f=\sum _{k=k_{0}}^{+\infty }c_{k}T^{k/n}}
where n {\displaystyle n} is a positive integer and k 0 {\displaystyle k_{0}} is an integer. In other words, Puiseux series differ from Laurent series in that they allow for fractional exponents of the indeterminate, as long as these fractional exponents have bounded denominator (here n). Just as with Laurent series, Puiseux series allow for negative exponents of the indeterminate as long as these negative exponents are bounded below (here by k 0 {\displaystyle k_{0}} ). Addition and multiplication are as expected: for example,
… excerpt ends here. Continue reading the full article.
