No label defined (Q4024432)

The authors extend the classical Weierstrass preparation theorem and the division theorem to an asymptotic case. Let \(E\) be a subset of \(\mathbb{C}^ n\) and \(\xi\) a filter in \(E\). A (multiplicative) asymptotic sequence with respect to \(\xi\) is a sequence \(\varphi=\{\varphi_ p\}\) of maps \(\varphi_ p:E \to \mathbb{C} (p \in N)\) such that (i) \(\varphi_ 0=1\) on \(E\), (ii) for \(p \in N\) there is \(A_ p \in \xi\) with \(\varphi_ p(x) \neq 0\) for \(x \in A_ p\), (iii) \(\varphi_{p+1}=0_ \xi (\varphi_ p)\) for \(p \in N\), (and (iv) \(\varphi_ m \cdot \varphi_ n= \varphi_{m+n}\) for \(m,n \in N)\). The authors first define, for a map \(f:E \to \mathbb{C}\), an asymptotic expansion of \(f\) with respect to \(\varphi\), denoted \(f \sim \sum a_ p \varphi_ p\). Denote by \(A(\varphi)\) the set of functions \(f\) which are defined on some \(A_ f \in \xi\) and have an asymptotic expansion with respect to \(\varphi\). We can make \(A(\varphi)\) in a natural way into a commutative ring with unity, in fact, a local ring. Next, denote by \(A (\varphi) [y]\) \((A(\varphi) \{y\})\) the commutative \(\mathbb{C}\)-algebra of polynomials (`convergent' power series) of variable \(y\) with coefficients in \(A(\varphi)\). Finally, the authors define a Weierstrass polynomial in \(A(\varphi)[y]\) and the notion of the order for elements in \(A(\varphi)\{y\}\). The authors prove the following preparation theorem: Let \(g \in A(\varphi) \{y\}\) be of order \(q\). Then there exist a unit \(e\) in \(A(\varphi) \{y\}\) and a unique Weierstrass polynomial \(Q\) of degree \(q\) such that \(g=e.Q.\) The authors prove also the division theorem: Let \(g \in A (\varphi)[y]\) be a polynomial such that \(g=g_ 0+g_ 1 \cdot y+\cdots g_ q \cdot y^ q\) with a unit \(g_ q\) in \(A(\varphi)\). Then, for every \(f \in A (\varphi) [y]\) there exist \(Q\), \(r \in A(\varphi) [y]\) uniquely such that \(f=g \cdot Q+r\) with \(\deg (r)<q\).