DOCSLIB.ORG

KAM THEORY Arxiv:1810.09423V1 [Math.DS] 22 Oct 2018

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
KAM THEORY Arxiv:1810.09423V1 [Math.DS] 22 Oct 2018 KAM THEORY M. Garay and D. van Straten III Applications arXiv:1810.09423v1 [math.DS] 22 Oct 2018 Contents Part 3. Applications 5 Chapter 14. Hypersurface singularities7 1. Formal finite determinacy7 2. Analytic finite determinacy 12 3. Formal versal deformations 14 4. Analytic versal deformations 20 5. Bibliographical notes 21 Chapter 15. Normal forms of vector fields 23 1. Vector fields 23 2. Adjoint orbits 25 3. Formal Poincar´e-Dulactheorem 27 4. The Poincar´e-Siegel theorem 30 5. Bibliographical notes 33 Chapter 16. Invariant varieties in Hamiltonian systems 35 1. The Hamiltonian derivation 35 2. The abstract invariant torus theorem 40 3. The singular torus theorem 41 Index 43 Photo Credits 47 Appendix A. Holomorphic functions of several variables 49 1. Coherent sheaves 49 2. Cartan's theorem A and B 51 3. Weierstraß polynomials 51 4. The Weierstraß division theorem 52 5. The Weierstraß preparation theorem 53 6. Cartan's theorem α 54 7. Polycylinders adapted to a sheaf 58 8. The Douady-Pourcin theorem 59 9. Bibliographical notes 60 3 Part 3 Applications CHAPTER 14 Hypersurface singularities The group of diffeomorphisms Diff(M) acts on the space of smooth functions C1(M) on a manifold M and the partition of the function space into orbits is of considerable interest. If we fix a point p 2 M, we can look at the local version of this problem: we consider germs of functions at p, and look at the action of the sub-group of diffeomorphisms that fix p. If we introduce coordinates x1; x2; : : : ; xn for M at p, we are dealing with germs of functions f(x1; x2; : : : ; xn) and the group of coordinate transformations preserving the origin. Here we will study the related actions on formal and convergent power series. Our presentation will be rather brief, as this material is covered at many places in much more detail. The main purpose is to illustrate the fact that the formal arguments can be lifted directly to the level of Kolmogorov spaces to give a corresponding result for convergent series. 1. Formal finite determinacy We fix a field K of characteristic 0 (most often R or C) and consider the K-algebra R = K[[x1; x2; : : : ; xn]] of formal power series. It is a local ring with maximal ideal M := ff 2 R : f(0) = 0g consisting of series without a constant term. The powers of the maximal ideal form a separated filtration on R i.e.: R ⊃ M ⊃ M2 ⊃ ::: ⊃ Mk ⊃ · · · \ Mk = (0): k The algebra R is naturally equipped with the M-adic topology for which the Mk form a basis of 0-neighbourhoods. This means that two series are close to each other if their coefficients are equal up to some high order. The algebra R is complete with respect to this topology. Any automorphism ' 2 Aut(R) preserves the filtration and is deter- mined by the n power series yi := '(xi) 2 M; i = 1; 2; : : : ; n 7 8 14. HYPERSURFACE SINGULARITIES as for any power series f 2 R one must have '(f) = f(y1; y2; : : : ; yn): In this sense Aut(R) is the same thing as the group of formal change of variables: it acts on R via coordinate transformations and the map xi 7! yi(x1; x2; : : : ; xn) is a formal change of variables. This is a very peculiar feature of algebra 2 2 automorphisms: if xi is mapped to yi then xi is mapped to yi and so on. Therefore the knowledge of the map on the coordinates, that is on a finite dimensional K-vector space, is sufficient to reconstruct the map on the whole algebra. More generally, an n-tuple (y1(x); y2(x); : : : ; yn(x)) of power series from M defines a endomorphism R −! R; xi 7! yi(x) of the ring R. The formal inverse function theorem states that it is an automorphism if and only if the jacobian determinant is invertible: @y det i 62 M: @xj Definition 14.1. Two series f; g 2 R are called right equivalent , if they belong to the same orbit of the action of Aut(R) on R: '(f) = g or equivalently: f(y1; y2; : : : ; yn) = g(x1; : : : ; xn) Let us look first at power series in one variable, i.e. R = K[[x]]. A non-zero series f 2 R of order k can be written as written as k X n k 2 f(x) = αx + anx = αx (1 + b1x + b2x + :::); n≥k+1 where α 6= 0. The series b y(x) = x(1 + b x + b x2 + :::)1=k = x + 1 x2 + ::: 1 2 k defines a formal change of variables such that f(y) = yk: Therefore the associated automorphism defined by 2 1=k '(x) := x(1 + b1x + b2x + :::) maps f to αxk : '(f) = αxk If the field K contains a k-th root of α, a further coordinate change x 7! α1=kx shows that f is right equivalent to the pure monomial xk. This describes the right equivalence classes in the one-variable case: 1. FORMAL FINITE DETERMINACY 9 Proposition 14.2. Let K be algebraically closed, and let R = K[[x]] be the formal power series ring. Then R is the countable union of the orbits of the monomials xk; k 2 N and f0g under the action of Aut(R). The module of derivations ΘR=K = DerK (R) of the ring R can be identified with formal vector fields n X @ v = a (x)@ ; a 2 R; @ := ; i i i i @x i=1 i and is filtered by powers of M in a similar way. If we denote by (k) k Der K (R) the space of derivations with coefficients in M , we have a filtration (1) (2) (k) DerK (R) ⊃ DerK (R) ⊃ DerK (R) ⊃ ::: ⊃ DerK (R) ⊃ ::: Clearly, if f 2 Mk and v 2 Der (R)(l) then v(f) 2 Mk+l−1. We can try to define the exponential of v 2 DerK (R) using the exponential series: 1 exp(v)(f) = f + v(f) + v(v(f)) + ::: 2! (2) k k+1 A vector field v 2 DerK (R) maps M to M and as a result, the above series converges in the M-adic topology of R, that is, order by order. So we obtain a well-defined exponential mapping (2) exp : Der K (R) −! Aut(R) in the most na¨ıve way, just using the power series definition of the exponential. Clearly, the automorphism exp(v) thus defined has the property that exp(v)(f) − f 2 M2 We say that it is tangent to the identity meaning that it is the identity modulo M2. More generally, we can define the sub-group (k) k AutK (R) := fφ 2 AutK (R) j φ(f) − f 2 M g of automorphisms tangent to order (k − 1) to the identity, and clearly (k) (k) exp maps Der K (R) to AutK (R) . Definition 14.3. We define the tangent space T f at f as the image of the map Der (R) −! R; v 7! v(f): The above map is R-linear and therefore T f is an R-module, commonly called the Jacobian ideal Jf , that is, the ideal generated by the partial derivatives of f: T f = Jf := (@1f; @2f; : : : ; @nf) ⊂ R 10 14. HYPERSURFACE SINGULARITIES In this setting, the normal space Nf := R=Jf : is often called the Milnor-algebra of f. Its dimension is called the Milnor number and is denoted by µ(f): µ(f) := dim Nf: For instance, if f = xk+1, then the Jacobian ideal is Mk and the Milnor algebra is generated by the classes of 1; x; : : : ; xk−1, µ(f) = k. The fact that the tangent space T f has the structure of an R-module is a special feature of singularity theory. The reason is that there are no differential relations involved in the action of the automorphism group. This fundamental property explains the success of commutative algebra to study group actions in this context. This is already reflected in the following simple lemma. Lemma 14.4. If µ := µ(f) < +1, then Mµ ⊂ T f: Proof. The ideal Mµ is generated as R-module by the monomials xI with jIj = µ. We can write xI as a product of monomials of degree one: I x = xi1 : : : xiµ : As Nf is of dimension µ, the classes of any µ monomials together with the class of 1 are linearly dependent. In particular there exists a relation of the form α0 + α1xi1 + α2xi1 xi2 + ··· + αµxi1 : : : xiµ = 0 2 Nf If αk ist the first non-zero coefficient in this relation, we can write this relation in the form xi1 : : : xik (αk + g) 2 Jf ; g 2 M: As in the local ring R any element which is not in the maximal ideal I is invertible, this shows that xi1 : : : xik 2 Jf and consequently x 2 Jf . This proves our assertion. We immediately conclude: (2) Corollary 14.5. The image of the map Der K (R) −! R; v 7! v(f) contains Mµ+2. We know that in the one variable case any formal power series can be reduced to the first non-vanishing term by an automorphism. For the case of more variables, this statement can be generalised as follows: Proposition 14.6. If µ(f) < 1, then for any element of g 2 Mµ+2 there exists an automorphism ' 2 Aut K (R) such that '(f + g) = f: 1. FORMAL FINITE DETERMINACY 11 Proof. Use induction on the order of g.
Load more

Recommended publications
  • Ch. 15 Power Series, Taylor Series
    Ch. 15 Power Series, Taylor Series 서울대학교 조선해양공학과 서유택 2017.12 ※ 본 강의 자료는 이규열, 장범선, 노명일 교수님께서 만드신 자료를 바탕으로 일부 편집한 것입니다. Seoul National 1 Univ. 15.1 Sequences (수열), Series (급수), Convergence Tests (수렴판정) Sequences: Obtained by assigning to each positive integer n a number zn z . Term: zn z1, z 2, or z 1, z 2 , or briefly zn N . Real sequence (실수열): Sequence whose terms are real Convergence . Convergent sequence (수렴수열): Sequence that has a limit c limznn c or simply z c n . For every ε > 0, we can find N such that Convergent complex sequence |zn c | for all n N → all terms zn with n > N lie in the open disk of radius ε and center c. Divergent sequence (발산수열): Sequence that does not converge. Seoul National 2 Univ. 15.1 Sequences, Series, Convergence Tests Convergence . Convergent sequence: Sequence that has a limit c Ex. 1 Convergent and Divergent Sequences iin 11 Sequence i , , , , is convergent with limit 0. n 2 3 4 limznn c or simply z c n Sequence i n i , 1, i, 1, is divergent. n Sequence {zn} with zn = (1 + i ) is divergent. Seoul National 3 Univ. 15.1 Sequences, Series, Convergence Tests Theorem 1 Sequences of the Real and the Imaginary Parts . A sequence z1, z2, z3, … of complex numbers zn = xn + iyn converges to c = a + ib . if and only if the sequence of the real parts x1, x2, … converges to a . and the sequence of the imaginary parts y1, y2, … converges to b. Ex.
    [Show full text]
  • [Math.CA] 1 Jul 1992 Napiain.Freape Ecnlet Can We Example, for Applications
    Convolution Polynomials Donald E. Knuth Computer Science Department Stanford, California 94305–2140 Abstract. The polynomials that arise as coefficients when a power series is raised to the power x include many important special cases, which have surprising properties that are not widely known. This paper explains how to recognize and use such properties, and it closes with a general result about approximating such polynomials asymptotically. A family of polynomials F (x), F (x), F (x),... forms a convolution family if F (x) has degree n 0 1 2 n ≤ and if the convolution condition F (x + y)= F (x)F (y)+ F − (x)F (y)+ + F (x)F − (y)+ F (x)F (y) n n 0 n 1 1 · · · 1 n 1 0 n holds for all x and y and for all n 0. Many such families are known, and they appear frequently ≥ n in applications. For example, we can let Fn(x)= x /n!; the condition (x + y)n n xk yn−k = n! k! (n k)! kX=0 − is equivalent to the binomial theorem for integer exponents. Or we can let Fn(x) be the binomial x coefficient n ; the corresponding identity n x + y x y = n k n k Xk=0 − is commonly called Vandermonde’s convolution. How special is the convolution condition? Mathematica will readily find all sequences of polynomials that work for, say, 0 n 4: ≤ ≤ F[n_,x_]:=Sum[f[n,j]x^j,{j,0,n}]/n! arXiv:math/9207221v1 [math.CA] 1 Jul 1992 conv[n_]:=LogicalExpand[Series[F[n,x+y],{x,0,n},{y,0,n}] ==Series[Sum[F[k,x]F[n-k,y],{k,0,n}],{x,0,n},{y,0,n}]] Solve[Table[conv[n],{n,0,4}], [Flatten[Table[f[i,j],{i,0,4},{j,0,4}]]]] Mathematica replies that the F ’s are either identically zero or the coefficients of Fn(x) = fn0 + f x + f x2 + + f xn /n! satisfy n1 n2 · · · nn f00 = 1 , f10 = f20 = f30 = f40 = 0 , 2 3 f22 = f11 , f32 = 3f11f21 , f33 = f11 , 2 2 4 f42 = 4f11f31 + 3f21 , f43 = 6f11f21 , f44 = f11 .
    [Show full text]
  • Arxiv:1207.1472V2 [Math.CV]
    SOME SIMPLIFICATIONS IN THE PRESENTATIONS OF COMPLEX POWER SERIES AND UNORDERED SUMS OSWALDO RIO BRANCO DE OLIVEIRA Abstract. This text provides very easy and short proofs of some basic prop- erties of complex power series (addition, subtraction, multiplication, division, rearrangement, composition, differentiation, uniqueness, Taylor’s series, Prin- ciple of Identity, Principle of Isolated Zeros, and Binomial Series). This is done by simplifying the usual presentation of unordered sums of a (countable) family of complex numbers. All the proofs avoid formal power series, double series, iterated series, partial series, asymptotic arguments, complex integra- tion theory, and uniform continuity. The use of function continuity as well as epsilons and deltas is kept to a mininum. Mathematics Subject Classification: 30B10, 40B05, 40C15, 40-01, 97I30, 97I80 Key words and phrases: Power Series, Multiple Sequences, Series, Summability, Complex Analysis, Functions of a Complex Variable. Contents 1. Introduction 1 2. Preliminaries 2 3. Absolutely Convergent Series and Commutativity 3 4. Unordered Countable Sums and Commutativity 5 5. Unordered Countable Sums and Associativity. 9 6. Sum of a Double Sequence and The Cauchy Product 10 7. Power Series - Algebraic Properties 11 8. Power Series - Analytic Properties 14 References 17 arXiv:1207.1472v2 [math.CV] 27 Jul 2012 1. Introduction The objective of this work is to provide a simplification of the theory of un- ordered sums of a family of complex numbers (in particular, for a countable family of complex numbers) as well as very easy proofs of basic operations and properties concerning complex power series, such as addition, scalar multiplication, multipli- cation, division, rearrangement, composition, differentiation (see Apostol [2] and Vyborny [21]), Taylor’s formula, principle of isolated zeros, uniqueness, principle of identity, and binomial series.
    [Show full text]
  • INFINITE SERIES in P-ADIC FIELDS
    INFINITE SERIES IN p-ADIC FIELDS KEITH CONRAD 1. Introduction One of the major topics in a course on real analysis is the representation of functions as power series X n anx ; n≥0 where the coefficients an are real numbers and the variable x belongs to R. In these notes we will develop the theory of power series over complete nonarchimedean fields. Let K be a field that is complete with respect to a nontrivial nonarchimedean absolute value j · j, such as Qp with its absolute value j · jp. We will look at power series over K (that is, with coefficients in K) and a variable x coming from K. Such series share some properties in common with real power series: (1) There is a radius of convergence R (a nonnegative real number, or 1), for which there is convergence at x 2 K when jxj < R and not when jxj > R. (2) A power series is uniformly continuous on each closed disc (of positive radius) where it converges. (3) A power series can be differentiated termwise in its disc of convergence. There are also some contrasts: (1) The convergence of a power series at its radius of convergence R does not exhibit mixed behavior: it is either convergent at all x with jxj = R or not convergent at P n all x with jxj = R, unlike n≥1 x =n on R, where R = 1 and there is convergence at x = −1 but not at x = 1. (2) A power series can be expanded around a new point in its disc of convergence and the new series has exactly the same disc of convergence as the original series.
    [Show full text]
  • Formal Power Series - Wikipedia, the Free Encyclopedia
    Formal power series - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Formal_power_series Formal power series From Wikipedia, the free encyclopedia In mathematics, formal power series are a generalization of polynomials as formal objects, where the number of terms is allowed to be infinite; this implies giving up the possibility to substitute arbitrary values for indeterminates. This perspective contrasts with that of power series, whose variables designate numerical values, and which series therefore only have a definite value if convergence can be established. Formal power series are often used merely to represent the whole collection of their coefficients. In combinatorics, they provide representations of numerical sequences and of multisets, and for instance allow giving concise expressions for recursively defined sequences regardless of whether the recursion can be explicitly solved; this is known as the method of generating functions. Contents 1 Introduction 2 The ring of formal power series 2.1 Definition of the formal power series ring 2.1.1 Ring structure 2.1.2 Topological structure 2.1.3 Alternative topologies 2.2 Universal property 3 Operations on formal power series 3.1 Multiplying series 3.2 Power series raised to powers 3.3 Inverting series 3.4 Dividing series 3.5 Extracting coefficients 3.6 Composition of series 3.6.1 Example 3.7 Composition inverse 3.8 Formal differentiation of series 4 Properties 4.1 Algebraic properties of the formal power series ring 4.2 Topological properties of the formal power series
    [Show full text]
  • Series: Convergence and Divergence Comparison Tests
    Series: Convergence and Divergence Here is a compilation of what we have done so far (up to the end of October) in terms of convergence and divergence. • Series that we know about: P∞ n Geometric Series: A geometric series is a series of the form n=0 ar . The series converges if |r| < 1 and 1 a1 diverges otherwise . If |r| < 1, the sum of the entire series is 1−r where a is the first term of the series and r is the common ratio. P∞ 1 2 p-Series Test: The series n=1 np converges if p1 and diverges otherwise . P∞ • Nth Term Test for Divergence: If limn→∞ an 6= 0, then the series n=1 an diverges. Note: If limn→∞ an = 0 we know nothing. It is possible that the series converges but it is possible that the series diverges. Comparison Tests: P∞ • Direct Comparison Test: If a series n=1 an has all positive terms, and all of its terms are eventually bigger than those in a series that is known to be divergent, then it is also divergent. The reverse is also true–if all the terms are eventually smaller than those of some convergent series, then the series is convergent. P P P That is, if an, bn and cn are all series with positive terms and an ≤ bn ≤ cn for all n sufficiently large, then P P if cn converges, then bn does as well P P if an diverges, then bn does as well. (This is a good test to use with rational functions.
    [Show full text]
  • Divergent and Conditionally Convergent Series Whose Product Is Absolutely Convergent
    DIVERGENTAND CONDITIONALLY CONVERGENT SERIES WHOSEPRODUCT IS ABSOLUTELYCONVERGENT* BY FLORIAN CAJOKI § 1. Introduction. It has been shown by Abel that, if the product : 71—« I(¥» + V«-i + ■•• + M„«o)> 71=0 of two conditionally convergent series : 71—0 71— 0 is convergent, it converges to the product of their sums. Tests of the conver- gence of the product of conditionally convergent series have been worked out by A. Pringsheim,| A. Voss,J and myself.§ There exist certain conditionally- convergent series which yield a convergent result when they are raised to a cer- tain positive integral power, but which yield a divergent result when they are raised to a higher power. Thus, 71 = «3 Z(-l)"+13, 7>=i n where r = 7/9, is a conditionally convergent series whose fourth power is con- vergent, but whose fifth power is divergent. || These instances of conditionally * Presented to the Society April 28, 1900. Received for publication April 28, 1900. fMathematische Annalen, vol. 21 (1883), p. 327 ; vol. 2(5 (1886), p. 157. %Mathematische Annalen, vol. 24 (1884), p. 42. § American Journal of Mathematics, vol. 15 (1893), p. 339 ; vol. 18 (1896), p. 195 ; Bulletin of the American Mathematical Society, (2) vol. 1 (1895), p. 180. || This may be a convenient place to point out a slight and obvious extension of the results which I have published in the American Journal of Mathematics, vol. 18, p. 201. It was proved there that the conditionally convergent series : V(_l)M-lI (0<r5|>). Sí n when raised by Cauchy's multiplication rule to a positive integral power g , is convergent whenever (î — l)/ï <C r ! out the power of the series is divergent, if (q— 1 )¡q > r.
    [Show full text]
  • Dirichlet’S Test
    4. CONDITIONALLY CONVERGENT SERIES 23 4. Conditionally convergent series Here basic tests capable of detecting conditional convergence are studied. 4.1. Dirichlet’s test. Theorem 4.1. (Dirichlet’s test) n Let a complex sequence {An}, An = k=1 ak, be bounded, and the real sequence {bn} is decreasing monotonically, b1 ≥ b2 ≥ b3 ≥··· , so that P limn→∞ bn = 0. Then the series anbn converges. A proof is based on the identity:P m m m m−1 anbn = (An − An−1)bn = Anbn − Anbn+1 n=k n=k n=k n=k−1 X X X X m−1 = An(bn − bn+1)+ Akbk − Am−1bm n=k X Since {An} is bounded, there is a number M such that |An|≤ M for all n. Therefore it follows from the above identity and non-negativity and monotonicity of bn that m m−1 anbn ≤ An(bn − bn+1) + |Akbk| + |Am−1bm| n=k n=k X X m−1 ≤ M (bn − bn+1)+ bk + bm n=k ! X ≤ 2Mbk By the hypothesis, bk → 0 as k → ∞. Therefore the right side of the above inequality can be made arbitrary small for all sufficiently large k and m ≥ k. By the Cauchy criterion the series in question converges. This completes the proof. Example. By the root test, the series ∞ zn n n=1 X converges absolutely in the disk |z| < 1 in the complex plane. Let us investigate the convergence on the boundary of the disk. Put z = eiθ 24 1. THE THEORY OF CONVERGENCE ikθ so that ak = e and bn = 1/n → 0 monotonically as n →∞.
    [Show full text]
  • Chapter 3: Infinite Series
    Chapter 3: Infinite series Introduction Definition: Let (an : n ∈ N) be a sequence. For each n ∈ N, we define the nth partial sum of (an : n ∈ N) to be: sn := a1 + a2 + . an. By the series generated by (an : n ∈ N) we mean the sequence (sn : n ∈ N) of partial sums of (an : n ∈ N) (ie: a series is a sequence). We say that the series (sn : n ∈ N) generated by a sequence (an : n ∈ N) is convergent if the sequence (sn : n ∈ N) of partial sums converges. If the series (sn : n ∈ N) is convergent then we call its limit the sum of the series and we write: P∞ lim sn = an. In detail: n→∞ n=1 s1 = a1 s2 = a1 + a + 2 = s1 + a2 s3 = a + 1 + a + 2 + a3 = s2 + a3 ... = ... sn = a + 1 + ... + an = sn−1 + an. Definition: A series that is not convergent is called divergent, ie: each series is ei- P∞ ther convergent or divergent. It has become traditional to use the notation n=1 an to represent both the series (sn : n ∈ N) generated by the sequence (an : n ∈ N) and the sum limn→∞ sn. However, this ambiguity in the notation should not lead to any confu- sion, provided that it is always made clear that the convergence of the series must be established. Important: Although traditionally series have been (and still are) represented by expres- P∞ sions such as n=1 an they are, technically, sequences of partial sums. So if somebody comes up to you in a supermarket and asks you what a series is - you answer “it is a P∞ sequence of partial sums” not “it is an expression of the form: n=1 an.” n−1 Example: (1) For 0 < r < ∞, we may define the sequence (an : n ∈ N) by, an := r for each n ∈ N.
    [Show full text]
  • Skew and Infinitary Formal Power Series
    Appeared in: ICALP’03, c Springer Lecture Notes in Computer Science, vol. 2719, pages 426-438. Skew and infinitary formal power series Manfred Droste and Dietrich Kuske⋆ Institut f¨ur Algebra, Technische Universit¨at Dresden, D-01062 Dresden, Germany {droste,kuske}@math.tu-dresden.de Abstract. We investigate finite-state systems with costs. Departing from classi- cal theory, in this paper the cost of an action does not only depend on the state of the system, but also on the time when it is executed. We first characterize the terminating behaviors of such systems in terms of rational formal power series. This generalizes a classical result of Sch¨utzenberger. Using the previous results, we also deal with nonterminating behaviors and their costs. This includes an extension of the B¨uchi-acceptance condition from finite automata to weighted automata and provides a characterization of these nonter- minating behaviors in terms of ω-rational formal power series. This generalizes a classical theorem of B¨uchi. 1 Introduction In automata theory, Kleene’s fundamental theorem [17] on the coincidence of regular and rational languages has been extended in several directions. Sch¨utzenberger [26] showed that the formal power series (cost functions) associated with weighted finite automata over words and an arbitrary semiring for the weights, are precisely the rational formal power series. Weighted automata have recently received much interest due to their applications in image compression (Culik II and Kari [6], Hafner [14], Katritzke [16], Jiang, Litow and de Vel [15]) and in speech-to-text processing (Mohri [20], [21], Buchsbaum, Giancarlo and Westbrook [4]).
    [Show full text]
  • Euler and His Work on Infinite Series
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 44, Number 4, October 2007, Pages 515–539 S 0273-0979(07)01175-5 Article electronically published on June 26, 2007 EULER AND HIS WORK ON INFINITE SERIES V. S. VARADARAJAN For the 300th anniversary of Leonhard Euler’s birth Table of contents 1. Introduction 2. Zeta values 3. Divergent series 4. Summation formula 5. Concluding remarks 1. Introduction Leonhard Euler is one of the greatest and most astounding icons in the history of science. His work, dating back to the early eighteenth century, is still with us, very much alive and generating intense interest. Like Shakespeare and Mozart, he has remained fresh and captivating because of his personality as well as his ideas and achievements in mathematics. The reasons for this phenomenon lie in his universality, his uniqueness, and the immense output he left behind in papers, correspondence, diaries, and other memorabilia. Opera Omnia [E], his collected works and correspondence, is still in the process of completion, close to eighty volumes and 31,000+ pages and counting. A volume of brief summaries of his letters runs to several hundred pages. It is hard to comprehend the prodigious energy and creativity of this man who fueled such a monumental output. Even more remarkable, and in stark contrast to men like Newton and Gauss, is the sunny and equable temperament that informed all of his work, his correspondence, and his interactions with other people, both common and scientific. It was often said of him that he did mathematics as other people breathed, effortlessly and continuously.
    [Show full text]
  • Approximating the Sum of a Convergent Series
    Approximating the Sum of a Convergent Series Larry Riddle Agnes Scott College Decatur, GA 30030 [email protected] The BC Calculus Course Description mentions how technology can be used to explore conver- gence and divergence of series, and lists various tests for convergence and divergence as topics to be covered. But no specific mention is made of actually estimating the sum of a series, and the only discussion of error bounds is for alternating series and the Lagrange error bound for Taylor polynomials. With just a little additional effort, however, students can easily approximate the sum of many common convergent series and determine how precise that approximation will be. Approximating the Sum of a Positive Series Here are two methods for estimating the sum of a positive series whose convergence has been established by the integral test or the ratio test. Some fairly weak additional requirements are made on the terms of the series. Proofs are given in the appendix. ∞ n P P Let S = an and let the nth partial sum be Sn = ak. n=1 k=1 1. Suppose an = f(n) where the graph of f is positive, decreasing, and concave up, and the R ∞ improper integral 1 f(x) dx converges. Then Z ∞ Z ∞ an+1 an+1 Sn + f(x) dx + < S < Sn + f(x) dx − . (1) n+1 2 n 2 (If the conditions for f only hold for x ≥ N, then inequality (1) would be valid for n ≥ N.) an+1 2. Suppose (an) is a positive decreasing sequence and lim = L < 1.
    [Show full text]