Weierstrass preparation theorem


In mathematics, the Weierstrass preparation theorem is a tool for dealing with analytic functions of several complex variables, at a given point P. It states that such a function is, up to multiplication by a function not zero at P, a polynomial in one fixed variable z, which is monic, and whose coefficients of lower degree terms are analytic functions in the remaining variables and zero at P.
There are also a number of variants of the theorem, that extend the idea of factorization in some ring R as u·w, where u is a unit and w is some sort of distinguished Weierstrass polynomial. Carl Siegel has disputed the attribution of the theorem to Weierstrass, saying that it occurred under the current name in some of late nineteenth century Traités d'analyse without justification.

Complex analytic functions

For one variable, the local form of an analytic function f near 0 is zkh where h is not 0, and k is the order of the zero of f at 0. This is the result that the preparation theorem generalises.
We pick out one variable z, which we may assume is first, and write our complex variables as. A Weierstrass polynomial W is
where gi is analytic and gi = 0.
Then the theorem states that for analytic functions f, if
and
as a power series has some term only involving z, we can write
with h analytic and h not 0, and W a Weierstrass polynomial.
This has the immediate consequence that the set of zeros of f, near, can be found by fixing any small values of z2,..., zn and then solving the equation W=0. The corresponding values of z form a number of continuously-varying branches, in number equal to the degree of W in z. In particular f cannot have an isolated zero.

Division theorem

A related result is the Weierstrass division theorem, which states that if f and g are analytic functions, and g is a Weierstrass polynomial of degree N, then there exists a unique pair h and j such that f = gh + j, where j is a polynomial of degree less than N. In fact, many authors prove the Weierstrass preparation as a corollary of the division theorem. It is also possible to prove the division theorem from the preparation theorem so that the two theorems are actually equivalent.

Applications

The Weierstrass preparation theorem can be used to show that the ring of germs of analytic functions in n variables is a Noetherian ring, which is also referred to as the Rückert basis theorem.

Smooth functions

There is a deeper preparation theorem for smooth functions, due to Bernard Malgrange, called the Malgrange preparation theorem. It also has an associated division theorem, named after John Mather.

Formal power series in complete local rings

There is an analogous result, also referred to as the Weierstrass preparation theorem, for the ring of formal power series over complete local rings A: for any power series such that not all are in the maximal ideal of A, there is a unique unit u in and a polynomial F of the form with such that
Since is again a complete local ring, the result can be iterated and therefore gives similar factorization results for formal power series in several variables.
For example, this applies to the ring of integers in a p-adic field. In this case the theorem says that a power series f can always be uniquely factored as πn·u·p, where u is a unit in the ring of power series, p is a distinguished polynomial, and π is a fixed uniformizer.
An application of the Weierstrass preparation and division theorem for the ring occurs in Iwasawa theory in the description of finitely generated modules over this ring.

Tate algebras

There is also a Weiertrass preparation theorem for Tate algebras
over a complete non-archimedean field k.
These algebras are the basic building blocks of rigid geometry. One application of this form of the Weierstrass preparation theorem is the fact that the rings are Noetherian.