DOCSLIB.ORG

On Convergence Sets of Divergent Power Series

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On Convergence Sets of Divergent Power Series On Convergence Sets of Divergent Power Series Buma L. Fridman, Daowei Ma and Tejinder S. Neelon To Professor Józef Siciak on his 80th birthday Abstract. A nonlinear generalization of convergence sets of formal power series, in the sense of Abhyankar-Moh[AM], is introduced. Given a family 2 n y = 's(t; x) = sb1(x)t + b2(x)t + ::: of analytic curves in C C passing through the origin, Conv'(f) of a formal power series f(y; t; x) C[[y; t; x]] is 2 de…ned to be the set of all s C for which the power series f('s(t; x); t; x) 2 converges as a series in (t; x): We prove that for a subset E C there exists a divergent formal power series f(y; t; x) C[[y; t; x]] such that E = Conv'(f) 2 if and only if E is a F set of zero capacity. This generalizes the results of P. Lelong and A. Sathaye for the linear case 's(t; x) = st: We say that formal power series f(z) = 1 =0 a z is convergent if there exists j j n a constant C such that a Cj j; for all Z+. (Here we have used multiindex n j j P2 notation: Z+ denote the set of all n-tuples := ( 1; 2; :::; n) of integers i 0; if n 1 2 n z = (z1; z2; :::; zn) and Z+; then z = z1 z2 :::zn ; and := 1 + 2 +:::+ n 2 n j j denotes the length of Z+:) A series f is called divergent if it is not convergent. A divergent power series2 may still converge when restricted to a certain set of lines or planes through the origin. For example, Abhyankar and Moh [AM] considered the convergence set Conv(f) of a series f de…ned to be the set of all s C for 2 which f(sz2; z2; :::; zn) converges as a series in (z2; z3; :::; zn): The convergence set of divergent series can be empty or an arbitrary countable set (see examples below). The Abhyankar-Moh paper proved that the one dimensional Hausdor¤ measure of the convergence set of a divergent series is zero. In the case when n = 2; Pierre Lelong had earlier proved that if Conv(f) is not contained in a F set of zero capacity then the series f is necessarily convergent, and conversely, given any set E contained in a F set of zero capacity a divergent power series f can be constructed so that E Conv(f): This result has been rediscovered, independently, by several authors (see e.g. [LM], [Ne], [Sa], and see also [FM], [FM1], [Ne1],[Ri], for other related results). The optimal result was obtained by Sathaye [Sa] who strengthened the results of Abhyankar-Moh and Lelong by proving that a necessary and su¢ cient condition for a set S C to be equal to the convergence set of a divergent power series f(z) is that S is an F-set of trans…nite diameter zero i.e. S = 1 Ej where [j=1 2000 Mathematics Subject Classi…cation. Primary: 26E05, 32A05, 30C85, 40A05. Key words and phrases. convergence sets, formal power series, analytic functions, capacity, polar sets. 1 2 BUMAL.FRIDMAN,DAOWEIMAANDTEJINDERS.NEELON each Ej is closed set of trans…nite diameter zero. These results can be viewed as an optimal and formal analogs of Hartogs’Theorem on separate analyticity in several complex variables. Motivated by formal …bered di¤emorphisms associated with dynamical systems, Ribon [RI] studied holomorphic extensions of formal objects, including formal power series, formal meromorphic functions, and formal in…nitesimal di¤eomorphisms. Instigated by the above mentioned results, we are interested in the following general problem: …nd “tight” conditions on a family of formal submanifolds in F Cn so that if the restriction of a formal series to each formal submanifold in converges, then the formal power series converges. By “tight” we mean, vaguelyF speaking, that one does not assume too much. In case n = 2, Lelong, Abhyankar- Moh, and Sathaye’sresults can be interpreted as: for the family of lines `s : s E , f 2 g where `s = (sx; x): x C , the tight condition is that E have positive capacity. The result off Fridman2 andg Ma [FM] is that the tight condition on the family s : s E , where s = (s x; s h(x)) (h(x) is a …xed convergent series), the tightf condition2 g is again E fhaving positiveg capacity. It is natural to ask, for the family s : s E , where s = ('(s; x); (s; x)) , whether the tight condition is that E fhave positive2 g capacity. Thisf paper deals withg one of the …rst questions one has to address in order to understand the general problem. In this article, we consider ‘nonlinear’ convergence sets of formal power se- ries f(y; t; x) C[[y; t; x]] by restricting f(y; t; x) along a one-parameter family of ‘tangential’perturbations2 of a …xed analytic curve y = '(t; x) through the origin. For simplicity of the notation we only consider a single variable x. If x is replaced by a tuple (x1; : : : ; xn), the theorem is still valid, and the proof goes through without di¢ culty. j Throughout this paper, '(t; x) := j1=1 bj(x)t will denote a …xed convergent i power series where b (x) := 1 b x ; j = 1; 2; 3; :::; are convergent power series j i=0 ji P in x with complex coe¢ cients. We assume that b10 = 1. P j For s C; we put 's(t; x) = '(s; t; x) = sb1(x)t + 1 bj(x)t . De…ne the 2 j=2 '-convergence set of a series f(y; t; x) C[[y; t; x]]; as follows. 2 P Conv'(f) := s C : f('(s; t; x); t; x) converges as a series in (t; x) : f 2 g Let K be a compact subset of C. For a probability measure on the compact set K, the logarithmic potential of is 1 p(z) = lim min(N; log ) d(); N z !1 Z j j and the (logarithmic) capacity (see [Ah], Chapter 2) of K is de…ned by c(K) = exp( min sup p(z)): (K)=1 z C 2 If E = 1 Kn, where Kn are compact sets of zero capacity, then c(E) = 0: A [n=1 subset E of C is of zero capacity if and only if it is polar i.e. E z : u(z) = f 1g for some nonconstant subharmonic function u : C [ ; ). An F set E in C is said to have zero capacity if E is the union of a! countable1 1 collection of compact sets of zero capacity. Theorem. Let '(t; x) be as above, and let E be a subset of C. There exists a divergent formal power series f(y; t; x) C[[y; t; x]] such that E = Conv'(f) if and 2 only if E is an F set of zero capacity. ON CONVERGENCE SETS OF DIVERGENT POWER SERIES 3 Proof. Suppose that E is an F set with c(E) > 0. By replacing E with a compact subset K E of positive capacity we can assume that E is compact. Let i j k f(y; t; x) := i;j;k aijky t x C[[y; t; x]] be such that g(s; t; x) := f('(s; t; x); t; x) converges for each s E. We2 need to show that f is convergent. Rewrite f as P 2 i j k f(y; t; x) = aij(x)y t ; where aij(x) := 1 aijkx C[[x]]; and i;j k=0 2 q k p q P g(s; t; x) := qk(s)t xP:= dpq(x)s t : q 0;k 0 p 0;q 0 X X It is clear that qk(s) is a polynomial of degree at most q, and thus dpq(x) = 0; for p > q: k q p Let dpq(x) := k 0 dpqkx , and write qk(s) := p=0 dpqks . We have P P i! 0 p m2 m3 dpq(x) = aij(x) b1(x) b2(x) b3(x) ; p!m2!m3! X where the summation 0 is taken over all nonnegative integers i; j; m2; m3;::: satisfying P j + p + 2m2 + 3m3 + = q and p + m2 + m3 + = i: Since q dqq(x) = aq;0(x)b1(x) ; q 1 dq 1;q(x) = aq 1;1(x)b1(x) ; (1) q 2 q 2 dq 2;q(x) = aq 2;2(x)b1(x) + aq 1;0(x)(q 1)b1(x) b2(x); q k dq k;q(x) = aq k;k(x)b1(x) + terms involving aij(x) with i + j < q, it follows that aij(x) can be solved uniquely in terms of dpq(x). In particular, if dpq(x) = 0 for all p; q then all aij(x) = 0 for all i; j. q+k For each s E, there is a constant Cs such that qk(s) Cs for all q+k 1, 2 q k j j since the power series q;k qk(s)t x converges. For each positive integer n, set q+k En P= s E : qk(s) n q + k 1 : f 2 j j 8 g The sets En are closed and E = n1=1En. There is a positive integer N such that N [ q+k E0 := En has positive capacity. It follows that qk(s) N for q + k 1 [n=1 j j and for s E0.
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]
  • 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]
  • Rearrangement of Divergent Fourier Series
    The Australian Journal of Mathematical Analysis and Applications AJMAA Volume 14, Issue 1, Article 3, pp. 1-9, 2017 A NOTE ON DIVERGENT FOURIER SERIES AND λ-PERMUTATIONS ANGEL CASTILLO, JOSE CHAVEZ, AND HYEJIN KIM Received 20 September, 2016; accepted 4 February, 2017; published 20 February, 2017. TUFTS UNIVERSITY,DEPARTMENT OF MATHEMATICS,MEDFORD, MA 02155, USA [email protected] TEXAS TECH UNIVERSITY,DEPARTMENT OF MATHEMATICS AND STATISTICS,LUBBOCK, TX 79409, USA [email protected] UNIVERSITY OF MICHIGAN-DEARBORN,DEPARTMENT OF MATHEMATICS AND STATISTICS,DEARBORN, MI 48128, USA [email protected] ABSTRACT. We present a continuous function on [−π, π] whose Fourier series diverges and it cannot be rearranged to converge by a λ-permutation. Key words and phrases: Fourier series, Rearrangements, λ-permutations. 2000 Mathematics Subject Classification. Primary 43A50. ISSN (electronic): 1449-5910 c 2017 Austral Internet Publishing. All rights reserved. This research was conducted during the NREUP at University of Michigan-Dearborn and it was sponsored by NSF-Grant DMS-1359016 and by NSA-Grant H98230-15-1-0020. We would like to thank Y. E. Zeytuncu for valuable discussion. We also thank the CASL and the Department of Mathematics and Statistics at the University of Michigan-Dearborn for providing a welcoming atmosphere during the summer REU program. 2 A. CASTILLO AND J. CHAVEZ AND H. KIM 1.1. Fourier series. The Fourier series associated with a continuous function f on [−π, π] is defined by ∞ X inθ fe(θ) ∼ ane , n=−∞ where Z π 1 −inθ an = f(θ)e dθ . 2π −π Here an’s are called the Fourier coefficients of f and we denote by fethe Fourier series associ- ated with f.
    [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]
  • The Summation of Power Series and Fourier Series
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Computational and Applied Mathematics 12&13 (1985) 447-457 447 North-Holland The summation of power series and Fourier . series I.M. LONGMAN Department of Geophysics and Planetary Sciences, Tel Aviv University, Ramat Aviv, Israel Received 27 July 1984 Abstract: The well-known correspondence of a power series with a certain Stieltjes integral is exploited for summation of the series by numerical integration. The emphasis in this paper is thus on actual summation of series. rather than mere acceleration of convergence. It is assumed that the coefficients of the series are given analytically, and then the numerator of the integrand is determined by the aid of the inverse of the two-sided Laplace transform, while the denominator is standard (and known) for all power series. Since Fourier series can be expressed in terms of power series, the method is applicable also to them. The treatment is extended to divergent series, and a fair number of numerical examples are given, in order to illustrate various techniques for the numerical evaluation of the resulting integrals. Keywork Summation of series. 1. Introduction We start by considering a power series, which it is convenient to write in the form s(x)=/.Q-~2x+&x2..., (1) for reasons which will become apparent presently. Here there is no intention to limit ourselves to alternating series since, even if the pLkare all of one sign, x may take negative and even complex values. It will be assumed in this paper that the pLk are real.
    [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]
  • Notes on Euler's Work on Divergent Factorial Series and Their Associated
    Indian J. Pure Appl. Math., 41(1): 39-66, February 2010 °c Indian National Science Academy NOTES ON EULER’S WORK ON DIVERGENT FACTORIAL SERIES AND THEIR ASSOCIATED CONTINUED FRACTIONS Trond Digernes¤ and V. S. Varadarajan¤¤ ¤University of Trondheim, Trondheim, Norway e-mail: [email protected] ¤¤University of California, Los Angeles, CA, USA e-mail: [email protected] Abstract Factorial series which diverge everywhere were first considered by Euler from the point of view of summing divergent series. He discovered a way to sum such series and was led to certain integrals and continued fractions. His method of summation was essentialy what we call Borel summation now. In this paper, we discuss these aspects of Euler’s work from the modern perspective. Key words Divergent series, factorial series, continued fractions, hypergeometric continued fractions, Sturmian sequences. 1. Introductory Remarks Euler was the first mathematician to develop a systematic theory of divergent se- ries. In his great 1760 paper De seriebus divergentibus [1, 2] and in his letters to Bernoulli he championed the view, which was truly revolutionary for his epoch, that one should be able to assign a numerical value to any divergent series, thus allowing the possibility of working systematically with them (see [3]). He antic- ipated by over a century the methods of summation of divergent series which are known today as the summation methods of Cesaro, Holder,¨ Abel, Euler, Borel, and so on. Eventually his views would find their proper place in the modern theory of divergent series [4]. But from the beginning Euler realized that almost none of his methods could be applied to the series X1 1 ¡ 1!x + 2!x2 ¡ 3!x3 + ::: = (¡1)nn!xn (1) n=0 40 TROND DIGERNES AND V.
    [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]