The Harmonic Series for Every Occasion

Total Page:16

File Type:pdf, Size:1020Kb

The Harmonic Series for Every Occasion The Harmonic Series for Every Occasion Steven J. Kifowit Prairie State College November 12, 2017 Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 1 / 40 Abstract Harmonic series proofs and applications can entertain, inform, and excite. The presenter was once challenged by some motivated students to use the harmonic series in an example of each topic covered in class. In this presentation, you will see some of those efforts toward a harmonic series for every occasion. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 2 / 40 Goals 1. Use the harmonic series as a recurring theme in examples and applications that pique student interest. 2. Discuss several new proofs of harmonic divergence. 3. Use the harmonic series in unusual ways in examples for calculus topics where the harmonic series is not typically used. 4. Discuss ideas for motivating student learning of infinite series and overcoming common cognitive obstacles associated with sequences and series. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 3 / 40 The harmonic series|Some background info The harmonic series diverges. 1 X 1 1 1 1 = 1 + + + + ··· = 1 n 2 3 4 n=1 First known divergence proof is due to Oresme, circa 1350. The Larson calculus text incorrectly attributes the proof to James (Jacob) Bernoulli. 1 1 1 H = 1 + + + ··· + is called the nth harmonic number. n 2 3 n Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 4 / 40 Harmonic divergence via geometric series Choose a positive integer k. 2 z k terms}| { z k }|terms { 1 ( ) ( ) X 1 1 1 1 1 = 1 + + ··· + + + ··· + n 2 k + 1 k + 2 k2 + k + 1 n=1 k3 terms (z }| ){ 1 1 + + ··· + + ··· k2 + k + 2 k3 + k2 + k + 1 Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 5 / 40 Harmonic divergence via geometric series (cont.) 1 X 1 = ··· n n=1 k k2 k3 > 1 + + + + ··· k + 1 k2 + k + 1 k3 + k2 + k + 1 ( ) ( ) ( ) k k 2 k 3 > 1 + + + + ··· k + 1 k + 1 k + 1 1 = = k + 1 − k 1 k+1 Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 6 / 40 Harmonic divergence via geometric series (cont.) Students may find this proof difficult. There is some algebra to check. How exactly does it establish divergence? Which tests are being used? Isn't a divergent series being compared to a convergent series? Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 7 / 40 Harmonic divergence via telescoping series This next divergence proof has appeared several times in the literature [1, 2]. We start by recognizing that x ≥ ln(1 + x) so that ( ) 1 1 ≥ ln 1 + = ln(k + 1) − ln(k) k k for any positive integer k. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 8 / 40 Harmonic divergence via telescoping series (cont.) Xn 1 H = n k k=1 ( ) Xn 1 Xn ≥ ln 1 + = [ln(k + 1) − ln(k)] k k=1 k=1 = [ln(n + 1) − ln(n)] + [ln(n) − ln(n − 1)] + ··· + [(ln(2) − ln(1)] = ln(n + 1): Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 9 / 40 Harmonic divergence via telescoping series (cont.) How is divergence established? How does the proof differ from the last proof? Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 10 / 40 Harmonic divergence via limit comparison In the last proof, the harmonicP series( was directly) compared to the 1 1 divergent telescoping series k=1 ln 1 + k : Limit comparison is simpler. ( ) 1 ln 1 + − 1 x 2 lim = lim ( )(x ) = 1 x!1 1 x!1 1 1 1 + − x x x2 Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 11 / 40 Harmonic divergence|A proof without words 1 1/2 1/3 1/4 1/5 1/6 1/7 1/8 ··· 1 1/2 1/3 1/4 ··· Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 12 / 40 Harmonic divergence|A proof without words (cont.) The preceding proof is a visual rendition of this proof, ( ) ( ) ( ) ( ) 1 1 1 1 1 1 1 1 + + + + + + + + ··· 2 3 4 5 6 7 8 2 2 2 2 > + + + + ··· ; 2 4 6 8 which has appeared in a number of places [3, 6, 7]. The idea that something is\bigger than itself" may be new to students. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 13 / 40 The harmonic series and the Riemann hypothesis Lagarias [8] discovered an occasion to use the harmonic series that stunningly connects the Riemann hypothesis to an elementary problem. Let σ(n) be the sum of all positive divisors of the natural number n. Lagarias showed that the Riemann hypothesis is equivalent to the assertion that Hn σ(n) ≤ Hn + e ln(Hn) for every natural number n. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 14 / 40 The harmonic series and the Riemann hypothesis (cont.) In the interest of using deep and profound results for rather trivial things, here is a new argument for harmonic divergence: 1. Assume the Riemann hypothesis (which is reasonable). 2. σ(n) obviously approaches 1 as n ! 1. 3 By Lagarias's result, Hn must be unbounded. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 15 / 40 An algebra problem A group of people have a big job to do. Person 1 can do the job by herself in 1 hr, person 2 can do the job in 2 hr, and in general, person n requires n hr. How long does it take them to do the job if they all work together? Well, the kth person does one-kth of the job per hour. So working all together, they do 1 1 1 H = 1 + + + ··· + n 2 3 n jobs per hour, or 1=Hn hours per job. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 16 / 40 An algebra problem (cont.) In this context, what is the best way to measure the \average" number of hours per job? 1 + 2 + ··· + n n Arithmetic mean: or Harmonic mean: n Hn The arithmetic mean captures the \average" if each person does the same number of jobs, while the harmonic mean captures the \average" if each person works the same number of hours. In the U.S., corporate average fuel economy standards have used the harmonic mean since the Arab Oil Embargo. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 17 / 40 Harmonic divergence via arc length In polar coordinates, consider the hyperbolic spiral defined on [π; 1) by r(θ) = π/θ and the harmonic spiral defined by 8 > ≤ > 1; π θ < 2π > ≤ <> 1=2; 2π θ < 3π . ρ(θ) = > . > ≤ > 1=n; nπ θ < (n + 1)π :> . Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 18 / 40 Harmonic divergence via arc length (cont.) y y x x Figure: Hyperbolic (dashed) and Figure: Hyperbolic spiral. harmonic (solid) spirals. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 19 / 40 Harmonic divergence via arc length (cont.) The hyperbolic spiral is infinitely long: s Z ( ) Z Z 1 dr 2 1 p 1 r 2 + dθ ≥ r 2 dθ = r dθ = π dθ π π Z 1 π 1 dθ = π ln θ = 1: π θ π The harmonic spiral is at least as long, and its length is given by 1 π π π X 1 π + + + + ··· = π : 2 3 4 n n=1 Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 20 / 40 Harmonic divergence via arc length (cont.) This is essentially the integral test approach to proving divergence. But the arc length approach puts the harmonic series into a context. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 21 / 40 Harmonic series in indeterminate forms Beginning students often question what makes an indeterminate form indeterminate. In the case of 1 − 1, simple examples such as lim (x − x) = 0; lim (2x − x) = 1; and lim ((x + 1) − x) = 1 x!1 x!1 x!1 sometimes make an impression, and they help to indicate that rearrangement can be crucial. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 22 / 40 Harmonic series in indeterminate forms (cont.) The 1 − 1 form obtained from X1 X1 1 − 1 2n − 1 2n n=1 n=1 is a nice example to show just how indeterminate an indeterminate form can be. Based on Riemman's rearrangment theorem, which Dunham [4, p. 114] whimsically calls \Riemann's remarkable rearrangment result", the terms of the series can be rearranged to give any prescribed value. Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 23 / 40 Harmonic series in indeterminate forms (cont.) Another nice example of an 1 − 1 form involving the harmonic series comes from the definition of Euler's constant ! Xn 1 γ = lim − ln n : n!1 k k=1 Steven J. Kifowit (Prairie State College) The Harmonic Series for Every Occasion AMATYC 2017 24 / 40 Harmonic series in solids of revolution Gabriel's horn is obtained by rotating the graph of y = 1=x, 1 ≤ x < 1, about the x-axis.
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]
  • 3.3 Convergence Tests for Infinite Series
    3.3 Convergence Tests for Infinite Series 3.3.1 The integral test We may plot the sequence an in the Cartesian plane, with independent variable n and dependent variable a: n X The sum an can then be represented geometrically as the area of a collection of rectangles with n=1 height an and width 1. This geometric viewpoint suggests that we compare this sum to an integral. If an can be represented as a continuous function of n, for real numbers n, not just integers, and if the m X sequence an is decreasing, then an looks a bit like area under the curve a = a(n). n=1 In particular, m m+2 X Z m+1 X an > an dn > an n=1 n=1 n=2 For example, let us examine the first 10 terms of the harmonic series 10 X 1 1 1 1 1 1 1 1 1 1 = 1 + + + + + + + + + : n 2 3 4 5 6 7 8 9 10 1 1 1 If we draw the curve y = x (or a = n ) we see that 10 11 10 X 1 Z 11 dx X 1 X 1 1 > > = − 1 + : n x n n 11 1 1 2 1 (See Figure 1, copied from Wikipedia) Z 11 dx Now = ln(11) − ln(1) = ln(11) so 1 x 10 X 1 1 1 1 1 1 1 1 1 1 = 1 + + + + + + + + + > ln(11) n 2 3 4 5 6 7 8 9 10 1 and 1 1 1 1 1 1 1 1 1 1 1 + + + + + + + + + < ln(11) + (1 − ): 2 3 4 5 6 7 8 9 10 11 Z dx So we may bound our series, above and below, with some version of the integral : x If we allow the sum to turn into an infinite series, we turn the integral into an improper integral.
    [Show full text]
  • 1 Approximating Integrals Using Taylor Polynomials 1 1.1 Definitions
    Seunghee Ye Ma 8: Week 7 Nov 10 Week 7 Summary This week, we will learn how we can approximate integrals using Taylor series and numerical methods. Topics Page 1 Approximating Integrals using Taylor Polynomials 1 1.1 Definitions . .1 1.2 Examples . .2 1.3 Approximating Integrals . .3 2 Numerical Integration 5 1 Approximating Integrals using Taylor Polynomials 1.1 Definitions When we first defined the derivative, recall that it was supposed to be the \instantaneous rate of change" of a function f(x) at a given point c. In other words, f 0 gives us a linear approximation of f(x) near c: for small values of " 2 R, we have f(c + ") ≈ f(c) + "f 0(c) But if f(x) has higher order derivatives, why stop with a linear approximation? Taylor series take this idea of linear approximation and extends it to higher order derivatives, giving us a better approximation of f(x) near c. Definition (Taylor Polynomial and Taylor Series) Let f(x) be a Cn function i.e. f is n-times continuously differentiable. Then, the n-th order Taylor polynomial of f(x) about c is: n X f (k)(c) T (f)(x) = (x − c)k n k! k=0 The n-th order remainder of f(x) is: Rn(f)(x) = f(x) − Tn(f)(x) If f(x) is C1, then the Taylor series of f(x) about c is: 1 X f (k)(c) T (f)(x) = (x − c)k 1 k! k=0 Note that the first order Taylor polynomial of f(x) is precisely the linear approximation we wrote down in the beginning.
    [Show full text]
  • On a Series of Goldbach and Euler Llu´Is Bibiloni, Pelegr´I Viader, and Jaume Parad´Is
    On a Series of Goldbach and Euler Llu´ıs Bibiloni, Pelegr´ı Viader, and Jaume Parad´ıs 1. INTRODUCTION. Euler’s paper Variae observationes circa series infinitas [6] ought to be considered important for several reasons. It contains the first printed ver- sion of Euler’s product for the Riemann zeta-function; it definitely establishes the use of the symbol π to denote the perimeter of the circle of diameter one; and it introduces a legion of interesting infinite products and series. The first of these is Theorem 1, which Euler says was communicated to him and proved by Goldbach in a letter (now lost): 1 = 1. n − m,n≥2 m 1 (One must avoid repetitions in this sum.) We refer to this result as the “Goldbach-Euler Theorem.” Goldbach and Euler’s proof is a typical example of what some historians consider a misuse of divergent series, for it starts by assigning a “value” to the harmonic series 1/n and proceeds by manipulating it by substraction and replacement of other series until the desired result is reached. This unchecked use of divergent series to obtain valid results was a standard procedure in the late seventeenth and early eighteenth centuries. It has provoked quite a lot of criticism, correction, and, why not, praise of the audacity of the mathematicians of the time. They were led by Euler, the “Master of Us All,” as Laplace christened him. We present the original proof of the Goldbach- Euler theorem in section 2. Euler was obviously familiar with other instances of proofs that used divergent se- ries.
    [Show full text]
  • Series, Cont'd
    Jim Lambers MAT 169 Fall Semester 2009-10 Lecture 5 Notes These notes correspond to Section 8.2 in the text. Series, cont'd In the previous lecture, we defined the concept of an infinite series, and what it means for a series to converge to a finite sum, or to diverge. We also worked with one particular type of series, a geometric series, for which it is particularly easy to determine whether it converges, and to compute its limit when it does exist. Now, we consider other types of series and investigate their behavior. Telescoping Series Consider the series 1 X 1 1 − : n n + 1 n=1 If we write out the first few terms, we obtain 1 X 1 1 1 1 1 1 1 1 1 − = 1 − + − + − + − + ··· n n + 1 2 2 3 3 4 4 5 n=1 1 1 1 1 1 1 = 1 + − + − + − + ··· 2 2 3 3 4 4 = 1: We see that nearly all of the fractions cancel one another, revealing the limit. This is an example of a telescoping series. It turns out that many series have this property, even though it is not immediately obvious. Example The series 1 X 1 n(n + 2) n=1 is also a telescoping series. To see this, we compute the partial fraction decomposition of each term. This decomposition has the form 1 A B = + : n(n + 2) n n + 2 1 To compute A and B, we multipy both sides by the common denominator n(n + 2) and obtain 1 = A(n + 2) + Bn: Substituting n = 0 yields A = 1=2, and substituting n = −2 yields B = −1=2.
    [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]
  • A Quotient Rule Integration by Parts Formula Jennifer Switkes ([email protected]), California State Polytechnic Univer- Sity, Pomona, CA 91768
    A Quotient Rule Integration by Parts Formula Jennifer Switkes ([email protected]), California State Polytechnic Univer- sity, Pomona, CA 91768 In a recent calculus course, I introduced the technique of Integration by Parts as an integration rule corresponding to the Product Rule for differentiation. I showed my students the standard derivation of the Integration by Parts formula as presented in [1]: By the Product Rule, if f (x) and g(x) are differentiable functions, then d f (x)g(x) = f (x)g(x) + g(x) f (x). dx Integrating on both sides of this equation, f (x)g(x) + g(x) f (x) dx = f (x)g(x), which may be rearranged to obtain f (x)g(x) dx = f (x)g(x) − g(x) f (x) dx. Letting U = f (x) and V = g(x) and observing that dU = f (x) dx and dV = g(x) dx, we obtain the familiar Integration by Parts formula UdV= UV − VdU. (1) My student Victor asked if we could do a similar thing with the Quotient Rule. While the other students thought this was a crazy idea, I was intrigued. Below, I derive a Quotient Rule Integration by Parts formula, apply the resulting integration formula to an example, and discuss reasons why this formula does not appear in calculus texts. By the Quotient Rule, if f (x) and g(x) are differentiable functions, then ( ) ( ) ( ) − ( ) ( ) d f x = g x f x f x g x . dx g(x) [g(x)]2 Integrating both sides of this equation, we get f (x) g(x) f (x) − f (x)g(x) = dx.
    [Show full text]
  • Genius Manual I
    Genius Manual i Genius Manual Genius Manual ii Copyright © 1997-2016 Jiríˇ (George) Lebl Copyright © 2004 Kai Willadsen Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License (GFDL), Version 1.1 or any later version published by the Free Software Foundation with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. You can find a copy of the GFDL at this link or in the file COPYING-DOCS distributed with this manual. This manual is part of a collection of GNOME manuals distributed under the GFDL. If you want to distribute this manual separately from the collection, you can do so by adding a copy of the license to the manual, as described in section 6 of the license. Many of the names used by companies to distinguish their products and services are claimed as trademarks. Where those names appear in any GNOME documentation, and the members of the GNOME Documentation Project are made aware of those trademarks, then the names are in capital letters or initial capital letters. DOCUMENT AND MODIFIED VERSIONS OF THE DOCUMENT ARE PROVIDED UNDER THE TERMS OF THE GNU FREE DOCUMENTATION LICENSE WITH THE FURTHER UNDERSTANDING THAT: 1. DOCUMENT IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, WITHOUT LIMITATION, WARRANTIES THAT THE DOCUMENT OR MODIFIED VERSION OF THE DOCUMENT IS FREE OF DEFECTS MERCHANTABLE, FIT FOR A PARTICULAR PURPOSE OR NON-INFRINGING. THE ENTIRE RISK AS TO THE QUALITY, ACCURACY, AND PERFORMANCE OF THE DOCUMENT OR MODIFIED VERSION OF THE DOCUMENT IS WITH YOU.
    [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]
  • Operations on Power Series Related to Taylor Series
    Operations on Power Series Related to Taylor Series In this problem, we perform elementary operations on Taylor series – term by term differen­ tiation and integration – to obtain new examples of power series for which we know their sum. Suppose that a function f has a power series representation of the form: 1 2 X n f(x) = a0 + a1(x − c) + a2(x − c) + · · · = an(x − c) n=0 convergent on the interval (c − R; c + R) for some R. The results we use in this example are: • (Differentiation) Given f as above, f 0(x) has a power series expansion obtained by by differ­ entiating each term in the expansion of f(x): 1 0 X n−1 f (x) = a1 + a2(x − c) + 2a3(x − c) + · · · = nan(x − c) n=1 • (Integration) Given f as above, R f(x) dx has a power series expansion obtained by by inte­ grating each term in the expansion of f(x): 1 Z a1 a2 X an f(x) dx = C + a (x − c) + (x − c)2 + (x − c)3 + · · · = C + (x − c)n+1 0 2 3 n + 1 n=0 for some constant C depending on the choice of antiderivative of f. Questions: 1. Find a power series representation for the function f(x) = arctan(5x): (Note: arctan x is the inverse function to tan x.) 2. Use power series to approximate Z 1 2 sin(x ) dx 0 (Note: sin(x2) is a function whose antiderivative is not an elementary function.) Solution: 1 For question (1), we know that arctan x has a simple derivative: , which then has a power 1 + x2 1 2 series representation similar to that of , where we subsitute −x for x.
    [Show full text]