Chapter 2 - Series

Formal power series and regular operations on fuzzy languages

Reduction of everywhere convergent power series with respect to Gröbner bases

In this chapter, we consider a system of differential equations $$x\frac{{d\vec{y}}}{{dx}} = \vec{f}\left( {x,\vec{y}} \right)$$ (E) assuming that the entries of the \({{\mathbb{C}}^{n}}\)-valued function \(\vec{f}\) are convergent power series in complex variables \(\left( {x,\vec{y}} \right) \in {{\mathbb{C}}^{{n + 1}}}\) with coefficients in ℂ, where x is a complex independent variable and \(\vec{y} \in {{\mathbb{C}}^{n}}\) is an unknown quantity. The main tool is calculation with power series in x. In §I-4, using successive approximations, we constructed power series solutions. However, generally speaking, in order to construct a power series solution \(\vec{y}\left( x \right) = \sum\limits_{{m = 1}}^{\infty } {{{x}^{m}}{{{\vec{a}}}_{m}}}\) this expression is inserted into the given differential equation to find relationships among the coefficients \({{\vec{a}}_{m}}\), and the coefficients \({{\vec{a}}_{m}}\) are calculated by using these relationships. In this stage of the calculation, we do not pay any attention to the convergence of the series. This process leads us to the concept of formal power series solutions (cf. §V-1). Having found a formal power series solution, we estimate \(|{{\vec{a}}_{m}}|\) to test its convergence. As the function \({{x}^{{ - 1}}}\vec{f}\left( {x,\vec{y}} \right)\) is not analytic at x = 0, Theorem I-4-1 does not apply to system (E). Furthermore, the existence of formal power series solutions of (E) is not always guaranteed. Nevertheless, it is known that if a formal power series solution of (E) exists, then the series is always convergent. This basic result is explained in §V-2 (cf. [CL, Theorem 3.1, pp. 117-119] and [Wasl, Theorem 5.3, pp. 22-25] for the case of linear differential equations]). In §V-3, we define the S-N decomposition for a lower block-triangular matrix of infinite order. Using such a matrix, we can represent a linear differential operator $$ \mathcal{L}\left[ {\vec y} \right]{\text{ = }}x\frac{{d\vec y}}{{dx}}{\text{ + }}\Omega {\text{(}}x{\text{)}} \vec y, $$ (LDO) Where \(\Omega \left( x \right)\) is an n x n matrix whose entries are formal power series in x with coefficients in ℂ n . In this way, we derive the S-N decomposition of L in §V-4 and a normal form of L in §V-5 (cf. [HKS]). The S-N decomposition of L was originally defined in [GerL]. In §V-6, we calculate the normal form of a given operator L by using a method due to M. Hukuhara (cf. [Si17, §3.9, pp. 85-89]). We explain the classification of singularities of homogeneous linear differential equations in §V-7. Some basic results concerning linear differential equations given in this chapter are also found in [CL, Chapter 4].

The purpose of this paper is to develop constructive versions of Stafford's theorems on the module structure of Weyl algebras A n (k) (i.e., the rings of partial differential operators with polynomial coefficients) over a base field k of characteristic zero. More generally, based on results of Stafford and Coutinho-Holland, we develop constructive versions of Stafford's theorems for very simple domains D. The algorithmization is based on the fact that certain inhomogeneous quadratic equations admit solutions in a very simple domain. We show how to explicitly compute a unimodular element of a finitely generated left D-module of rank at least two. This result is used to constructively decompose any finitely generated left D-module into a direct sum of a free left D-module and a left D-module of rank at most one. If the latter is torsion-free, then we explicitly show that it is isomorphic to a left ideal of D which can be generated by two elements. Then, we give an algorithm which reduces the number of generators of a finitely presented left D-module with module of relations of rank at least two. In particular, any finitely generated torsion left D-module can be generated by two elements and is the homomorphic image of a projective ideal whose construction is explicitly given. Moreover, a non-torsion but non-free left D-module of rank r can be generated by r+1 elements but no fewer. These results are implemented in the Stafford package for D=A n (k) and their system-theoretical interpretations are given within a D-module approach. Finally, we prove that the above results also hold for the ring of ordinary differential operators with either formal power series or locally convergent power series coefficients and, using a result of Caro-Levcovitz, also for the ring of partial differential operators with coefficients in the field of fractions of the ring of formal power series or of the ring of locally convergent power series.

In this chapter we prepare the ground for the proof of the Jung-Abhyankar theorem in section 2 and the study of quasiordinary power series in section 4 of chapter V. We assume that the reader is acquainted with the notion of power series over a field; in section 1, for the convenience of the reader, we give some background, introduce convergent power series over the real and complex numbers in section 2, and prove Weierstraß division and preparation theorem in section 3. The category of formal (resp. analytic) algebras—these are homomorphic images of formal (resp. convergent) rings of power series—is treated in section 4. The last section considers, in particular, the completion of an analytic algebra; these results are needed to prove the convergent case of the Jung-Abhyankar theorem.

In the paper, the authors establish explicit formulas for asymptotic and power series expansions of the exponential and the logarithm of asymptotic and power series expansions. The explicit formulas for the power series expansions of the exponential and the logarithm of a power series expansion are applied to find explicit formulas for the Bell numbers and logarithmic polynomials in combinatorics and number theory.

We use an elementary method to draw analytic conclusions from divergent formal power series solutions of systems of differential equations containing a parameter and give some applications to the theory of turning points. Our main result shows that a divergent formal series transformation of one system into another in which the coefficients satisfy certain estimates is necessarily the asymptotic expansion of an actual transformation. We use it to show the following. Given a two dimensional system ePdy/dx = A(x,e)y with A holomorphic at (x0,0), suppose that x0 is formally not a turning point in the sense that no singularities appear at x0 during the standard formal solution procedure with formal fractional power series in e. Then the formal solution is necessarily a uniform asymptotic representation of a fundamental matrix of the system on a full neighborhood of x0. (This conclusion is known to fail under weaker hypotheses on A). We also obtain similar but less complete results for higher order systems under more specialized hypotheses.

Substituting non-unit formal power series into formal power series is a well-understood concept. This article describes a sense in which one can define substitution of unit formal power series, implemented in Maple’s MultivariatePowerSeries package.

Let S n be the symmetric group, T d be the subspace of C[x 1 , x 2 ,…,x n ] which contains all of the homogeneous polynomials of degree d. The representation of S n determined by T d is denoted by λ d , and the irreducible representation characterized by partition a is denoted by π(a). We denote the multiplicity of π(a) entries into λ d by N a d . As an extension of [4], this note simplifies the recursion formula of the formal power series (?)N a d t d , and obtains the explicity expressions of generating function...

Strongly Hopfian Rings of Formal Power Series and Power Series Armendariz Rings in Infinitely Many Variables

Joseph Becker and Leonard Lipshitz. Remarks on the elementary theories of formal and convergent power series. Fundament a mathematicae, vol. 105 (1980), pp. 229–239. - Françoise Delon. Indécidabilité de la théorie des anneaux de séries formelles à plusiers indéterminées. Fundament a mathematicae, vol. 112 (1981), pp. 215–229. - J. Becker, J. Denef, and L. Lipshitz. Further remarks on the elementary theory of formal power series rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 1–9. - Françoise Delon. Hensel fields in equal characteristic p > 0. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 108–116. - Volume 50 Issue 3

The main objective of this contribution is a constructive generalization of the holomorphic power and Laurent series expansions in ℂ to dimension 3 using the framework of hypercomplex function theory. This first article on hand deals with generalized Fourier and Taylor series expansions in the space of square integrable quaternion-valued functions which possess peculiar properties regarding the hypercomplex derivative and primitive. In analogy to the complex one-dimensional case, both series expansions are orthogonal series with respect to the unit ball in ℝ3 and their series coefficients can be explicitly (one-to-one) linked with each other. Finally, very compact and efficient representation formulae (recurrence, closed-form) for the elements of the orthogonal bases are presented.

In this article we show the NP-completeness of some simple number-theoretic problems. Natural simplifications of these problems invariably are known to be in P. Our research was motivated by the question whether one could study non-deterministic computation without loss of generality on a restricted, number theoretically significant class of nondeterministic Turing machines, the nondeterministic diophantine machines defined below [1,2]. The results suggest this is true.Because of the relative difficulty of the reduction of the satisfiability problem used in the proof, and the distinctly number-theoretic character of the problems shown to be NP-complete, we hope that the NP-completeness of these problems will play a role in showing the NP-completeness of further problems of a numerical nature, much as the satisfiability problem has in showing the NP-completeness of combinatorial problems ([3],[5]).The results illustrate an intimate connection between problems in computational theory, such as “P=NP?”, and problems in number theory, e.g. about quadratic congruences in one unknown, which are just beyond the range in which efficient algorithms exist. Thus our work exposes an interface between the state-of-the-art in number theory and in the theory of computation. Also, our results can be seen as the solution to a natural and important revision of Hilbert's 10thproblem: Give a feasible algorithmic procedure to decide whether an arbitrary diophantine equation has solutions. Unless P=NP this is impossible, even for a class of quadratic diophantine equations in two unknowns for which a decision procedure in the original sense is in fact available. Certainly, these results present a striking rigorous demonstration that number theorists' intuitions about where problems about diophantine equations and quadratic congruences start to be truly difficult are justified.

In this expository paper we sketch some interrelations between several famous conjectures in number theory and algebraic geometry that have intrigued mathematicians for a long period of time. Starting from Fermat's Last Theorem one is naturally led to intro duce L-functions, the main motivation being the calculation of class numbers. In particular, Kummer showed that the class numbers of cyclotomic fields playa decisive role in the corroboration of Fermat's Last Theorem for a large class of exponents. Before Kummer, Dirich let had already successfully applied his L-functions to the proof of the theorem on arithmetic progressions. Another prominent appearance of an L-function is Riemann's paper where the now famous Riemann Hypothesis was stated. In short, nineteenth century number theory showed that much, if not all, of number theory is reflected by proper ties of L-functions. Twentieth century number theory, class field theory and algebraic geometry only strengthen the nineteenth century number theorists's view. We just mention the work of E. Heeke, E. Artin, A. Weil and A. Grothendieck with his collaborators. Heeke generalized Dirichlet's L-functions to obtain results on the distribution of primes in number fields. Artin introduced his L-functions as a non-abelian generaliza tion of Dirichlet's L-functions with a generalization of class field the ory to non-abelian Galois extensions of number fields in mind. Weil introduced his zeta-function for varieties over finite fields in relation to a problem in number theory.

This paper contains a summary table of the author’s computation of the Gaussian primes of the form a + i a + i . For the values x = 1000 , 10000 , 100000 , 180000 x = 1000, 10000, 100000, 180000 , and 500000 (500000) 14000000, the following values are tabulated: G ( x ) G(x) , the numbers of Gaussisn primes a + i a + i with a ≦ 14000000 ; π 1 ( x ) a \leqq 14000000;{\pi _1}(x) , the number of primes ≦ x \leqq x congruent to 1 m o d 4 1 mod 4 ; π 3 ( x ) {\pi _3}(x) , the number of primes ≦ x \leqq x congruent to 3 m o d 4 3 mod 4 ; and G ( x ) / π 3 ( x ) G(x)/{\pi _3}(x) .