On the Weierstrass Preparation Theorem

An analytic function of several variables is considered. It is assumed that the function vanishes at some point. According to the Weierstrass preparation theorem, in the neighborhood of this point the function can be represented as a product of a nonvanishing analytic function and a polynomial in one of the variables. The coefficients of the polynomial are analytic functions of the remaining variables. In this paper we construct a method for finding the nonvanishing function and the coefficients of the polynomial in the form of Taylor series whose coefficients are found from an explicit recursive procedure using the derivatives of the initial function. As an application, an explicit formula describing a bifurcation diagram locally up to second-order terms is derived for the case of a double root.