Strictly convergent analytic structures

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

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.

We are concerned with rigid analytic geometry in the general setting of Henselian fields K with separated analytic structure, whose theory was developed by Cluckers–Lipshitz–Robinson. It unifies earlier work and approaches of numerous mathematicians. Separated analytic structures admit reasonable relative quantifier elimination in a suitable analytic language. However, the rings of global analytic functions with two kinds of variables seem not to have good algebraic properties such as Noetherianity or excellence. Therefore, the usual global resolution of singularities from rigid analytic geometry is no longer at our disposal. Our main purpose is to give a definable version of the canonical desingularization algorithm (the hypersurface case) due to Bierstone–Milman so that both of these powerful tools are available in the realm of non-Archimedean analytic geometry at the same time. It will be carried out within a category of definable, strong analytic manifolds and maps, which is more flexible than that of affinoid varieties and maps. Strong analytic objects are those definable ones that remain analytic over all fields elementarily equivalent to K. This condition may be regarded as a kind of symmetry imposed on ordinary analytic objects. The strong analytic category makes it possible to apply a model-theoretic compactness argument in the absence of the ordinary topological compactness. On the other hand, our closedness theorem enables application of resolution of singularities to topological problems involving the topology induced by valuation. Eventually, these three results will be applied to such issues as the existence of definable retractions or extending continuous definable functions. The established results remain valid for strictly convergent analytic structures, whose classical examples are complete, rank one valued fields with the Tate algebras of strictly convergent power series. The earlier techniques and approaches to the purely topological versions of those issues cannot be carried over to the definable settings because, among others, non-Archimedean geometry over non-locally compact fields suffers from lack of definable Skolem functions.

Normal matrices over hermitian discrete valuation rings

Let K be an algebraically closed field of any characteristic, complete with respect to the non-trivial ultrametric absolute value ∣·∣: K → ℝ+. By R denote the valuation ring of K, and by ℘ its maximal ideal. We work within the class of subanalytic sets defined in [5], but our results here also hold for the strongly subanalytic sets introduced in [11] as well as for those subanalytic sets considered in [6]. Let X ⊂ R1 be subanalytic. In [8], we showed that there is a decomposition of X as a union of a finite number of special sets U ⊂ R1 (see below). In this note, in Theorem 1.6, we obtain a version of this result which is uniform in parameters, thereby answering a question brought to our attention by Angus Macintyre. It follows immediately from Theorem 1.6 that the theory of K in the language (see [5] and [6]) is C-minimal in the sense of [3] and [9]. The analogous uniformity result in the p-adic case was recently proved in [12].Definition 1.1. (i) A disc in R1 is a set of one of the two following forms:A special set in R1 is a disc minus a finite union of discs.(ii) R-domains u ⊂ Rm, and their associated rings of analytic functions, , are defined inductively as follows. Rm is an R-domain and , the ring of strictly convergent power series in X1,…, Xm over K. If u is an R-domain with associated ring , (where K 〈X, Y〉 〚ρ〛S is a ring of separated power series, see [5, §2] and [1, §1]) and f, have no common zero on u and ◸ ϵ {<, ≤}, thenis an R-domain andwhere J is the ideal generated by I and f − gZ (Z is a new variable) if ◸ is ≤, andwhere J is the ideal generated by I and f − gτ (τ a new variable) if ◸ is <. (See [8, Definition 2.2].) R-domains generalize the rational domains of [2, §7.2.3]. It is true, but not easy to prove, that only depends on u as a point set, and is independent of the particular representation of u.

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.

Let P = P(z,d/dz) be a linear ordinary differential operator with holomorphic coefficients in a neighbourgood X of the origin 0 in ℂ. Let Pu = f be an inhomogeneous differential equation in the space O {0} or in O {0}, where 0 {0} is the ring of convergent power series and O {0} is the ring of formal power series at the origin 0.

Let k be a valued field of characteristic zero. We consider analytic k-algebras, i.e. finite algebras over rings of convergent power series over k, and their k-derivations. The following theorem is proved: Let k be algebraically closed and A a normal analytic k-algebra of dimension 2. If there is a k-derivation on A not acting nilpotently, then A is homogeneous, i.e. a residue class ring of a power series ring by a (weighted) homogeneous ideal.

By multiplying a truncated aberration series by an appropriate, low-order polynomial containing a given number of terms, it is possible to produce a new power series for which a significantly larger number of the high-order coefficients are markedly smaller than those of the original power series. This indicates that, to a reasonable approximation, the higher-order coefficients form simple patterns that can be expected to extend into the unknown coefficients. This suggests the possibility of estimating unknown coefficients in order to reduce the error incurred by simply ignoring them. This is effectively realized when the original power series is replaced with the quotient of the new power series (which is expected to have a smaller truncation error) and the polynomial, yielding what is, for most purposes, a rational function. In this way it is possible to gain significantly greater advantage from the higher-order coefficients (say, beyond the first few orders) than was previously obtained. These rational functions are generalizations of the well-known Pade approximants for power series in one variable. Some numerical examples are presented that demonstrate the remarkable effectiveness of this method.

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

It has been shown by some researchers that in a problem of weighted least-square (WLS) design of finite-impulse response (FIR) filters, bulk of the design computation is concerned with the evaluation of the inverse of a matrix in order to solve a system of equations. In this paper, a new algorithm for the WLS design of FIR filters is presented, in which an iterative procedure is developed for the inversion of the matrix involved in the design. By imposing a mild constraint on the updation factor of the weighting function, the inverse of a matrix is expanded as a convergent power series. By investigating the properties of some of the matrices from the design formulation, a modified version of the series that converges rapidly is then proposed to evaluate the inverse in each iteration. It is shown that due to the fast convergence of the power series, one needs to evaluate only the first two or three terms of the series except during the initial stages of the iterations, implying that the conventional operation for matrix inversion is simplified significantly.

Let R be a commutative ring with identity and $${\mathbb {N}}_0$$ be the additive monoid of nonnegative integers. We say that a function $$t : {\mathbb {N}}_0 \times {\mathbb {N}}_0 \rightarrow R$$ is a twist function on R if t satisfies the following three properties for all $$n, m, q \in {\mathbb {N}}_0$$ : (i) $$t(0,q) = 1$$ , (ii) $$t(n,m) = t(m,n)$$ , and (iii) $$t(n,m) \cdot t(n + m, q) = t (n, m + q) \cdot t(m, q)$$ . Let $$R[\![X]\!]$$ (resp., R[X]) be the set of power series (resp., polynomials) with coefficients in R. For $$f = \sum _{n=0}^{\infty } a_nX^n$$ and $$g = \sum _{n=0}^{\infty } b_nX^n \in R[\![X]\!]$$ , let $$f+g = \sum _{n=0}^{\infty } (a_n+b_n)X^n$$ , $$f*_tg = \sum _{n=0}^{\infty }(\sum _{i+j = n}t(i,j)a_ib_j)X^n$$ . Then, $$R^t[\![X]\!]:= (R[\![X]\!], +, *_t)$$ and $$R^t[X] := (R[X], +, *_t)$$ are commutative rings with identity that contain R as a subring. In this paper, we study ring-theoretic properties of $$R^t[\![X]\!]$$ and $$R^t[X]$$ with focus on divisibility properties including UFDs and GCD-domains. We also show how these two rings are related to the usual power series and polynomial rings.

Mathematical modeling using noninteger‐order derivatives has gained rapid attention among scientists and researchers in recent years. This manuscript investigates the dynamics of rabies transmission in a predator–prey framework by formulating the problem as a system of nonlinear fractional initial value problems (FIVPs). Rabies modeling is important for understanding and controlling the spread of this fatal disease in humans and animals. To solve these complex equations, we employ the Laplace Residual Power Series (LRPS) method, which combines the Laplace transform with the Residual Power Series to efficiently produce rapidly convergent fractional power series solutions. Our results demonstrate that LRPS provides accurate and computationally efficient solutions, offering valuable insights into the effects of fractional dynamics on rabies spread. These findings highlight the potential of LRPS for studying complex epidemiological systems and improving disease management strategies.

converge to P(z) uniformly over an arbitrary closed region, K, exterior to the real axis. (ii) If P(z) is a Stieltjes power series with radius of convergence R>0, then an arbitrary infinite sequence of distinct approximants converges to P(z) uniformly over the circle Iz -=R-6, a > 0. (iii) If P(z) is a positive definite power series which is summable (Borel) to F(z), then Sk(k > 1) converges to F(z) uniformly over K. If the reciprocal of P(z) is summable (Borel) the same holds for k < 1. (iv) If P(z) is a Stieltjes series possessing minimal extensionsi D=-n Cif(-z)i for every n, and if the series EZiXo(1)ic-ilz-i-' is summable (Borel) to F(z), then in the Pade table for P(z), S-1 converges to F(z) uniformly over an arbitrary closed region exterior to the negative half of the real axis. As a corollary to (iii) we find that when P(z) is summable (Borel) and has a corresponding continued fraction, the latter is necessarily convergent to the Borel sum. The converse is not true. That is, the corresponding continued fraction may converge when P(z) is not summable (Borel). 2. The convergence of the diagonal files in the Pade table for a convergent positive definite power series. We recall that P(z) is a positive definite series if all the quadratic forms j= n= , 1, 2, * , are positive de-

This chapter treats the theory of ordinary differential equations, both linear and nonlinear.Sections 1–4 establish existence and uniqueness theorems for ordinary differential equations. The first section gives some examples of first-order equations, mostly nonlinear, to illustrate certain kinds of behavior of solutions. The second section shows, in the presence of continuity for a vectorvalued F satisfying a “Lipschitz condition,” that the first-order system y′ = F(t, y) has a unique local solution satisfying an initial condition y (t0) = y0. Since higher-order equations can always be reduced to first-order systems, these results address existence and uniqueness for nth-order equations as a special case. Section 3 shows that the solutions to a system depend well on the initial condition and on any parameters that are present in F. Section 4 applies these results to existence of integral curves for a vector field and to construction of coordinate systems from families of integral curves.Sections 5–8 concern linear systems. Section 5 shows that local solutions of linear systems may be extended to global solutions and that in the homogeneous case the vector space of global solutions has dimension equal to the size of the system. The method of variation of parameters reduces the solution of any linear system to the solution of a homogeneous linear system. Sections 6–7 identify explicit solutions to nth-order linear equations and first-order linear systems. The “Jordan canonical form” of a square matrix plays a role in the case of a system. Section 8 discusses power-series solutions to second-order homogeneous linear equations whose coefficients are given by convergent power series, as well as solutions that arise in the case of regular singular points. Two kinds of special functions are mentioned that result from this study-Legendre polynomials and Bessel functions.KeywordsOrdinary Differential EquationUniqueness TheoremDiagonal EntryLipschitz ConditionIntegral CurfThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.