Puiseux series information

Truncated Puiseux expansions for the cubic curve y^2 = x^3 + x^2 — Truncated Puiseux expansions for the cubic curve $y^{2}=x^{3}+x^{2}$ at the double point $x=y=0$ . Darker colors indicate more terms.

In mathematics, Puiseux series are a generalization of power series that allow for negative and fractional exponents of the indeterminate. For example, the series

{\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^[1] and rediscovered by Victor Puiseux in 1850.^[2]

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 $n$ th root of the indeterminate. For example, the example above is a Laurent series in $x^{1/6}.$ Because a complex number has $n$ $n$ th 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$ 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 - x 0$ when considering branches above a neighborhood of $x 0 \neq 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.

^ Newton (1960)
^ Puiseux (1850, 1851)

[1] Newton (1960)

[Puiseux1850-2] Puiseux (1850, 1851)

Puiseux series information

and 23 Related for: Puiseux series information

Puiseux series

Puiseux

Taylor series

Power series

Laurent series

Victor Puiseux

Madhava series

Monomial

Algebraic curve

Hahn series

Formal power series

Tropical geometry

Real closed field

Complex number

Tropical semiring

Polynomial ring

Integral element

Monoid ring

Analytic space

Resolution of singularities

FriCAS

Pierre Ossian Bonnet

List of things named after Isaac Newton