DOCSLIB.ORG

Power Series, Taylor and Maclaurin Polynomials and Series

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Power Series, Taylor and Maclaurin Polynomials and Series Power Series, Taylor and Maclaurin Polynomials and Series Power Series The Basics Definition 1 (Power Series). A power series [centered at x = 0] is a series of the form 1 X n 2 3 4 cnx = c0 + c1x + c2x + c3x + c4x + ::: n=0 (Informally, we can think of a power series as an “infinite polynomial.") A power series centered at x = a has the form 1 X n 2 3 4 cn(x − a) = c0 + c1(x − a) + c2(x − a) + c3(x − a) + c4(x − a) + ::: n=0 As we go through this chapter we'll be looking at at least two different ways to create the power series for a function. But for now, given a power series (however we came by it) we want to know for which values of x the power series converges (i.e., which values of x will yield a convergent series when we plug them into the power series?). 1 Example 1. P xn = 1 + x + x2 + x3 + ::: . n=0 In general we'll find the interval of convergence (which I'll abbreviate as IOC from here on) by using the Ratio Test (abbr. RT) on the power series and see which values of x will make the limit < 1, and then check convergence at the endpoints using some other convergence test. The test we use to check the endpoints will depend on what the series looks like, but we know for sure that the Ratio Test will not give us an answer since the endpoints are where the limit in the Ratio Test is = 1. 1 Example 2. P xn n=0 In general we have the following result: 1 1 P n Theorem 2. Given a power series cn(x − a) there are three possibilities for the IOC and ROC: n=0 1. The power series converges only when x = a (we'll get a limit > 1 otherwise in the RT). In this case IOC = fag (just a single point) and R = 0. 2. The power series converges for all values of x (we'll get a limit = 0 in the RT irrespective of the value that x takes on). In this case IOC = (−∞; 1) and R = 1. 3. There is a positive, finite number R (the radius of convergence) such that the series converges if jx − aj < R and diverges of jx − aj > R. We then need to use other convergence tests to see what happens at the endpoints x = a ± R. More Examples 1 1. P n!(x − 3)n n=0 1 (−1)nx2n+1 2. P n=0 (2n + 1)! 1 n+1 P (x − 2) 3. n+1 n=0 (n + 1)3 1 n P n(x − 4) 4. 3 n=0 n + 1 1 5. P n!(2x + 1)n n=0 1 xn 6. P n=0 n! 1 7. P n(x + 2)n n=0 1 (−1)nx2n 8. P n=0 (2n)! 1 n+1 n P (−1) (x − 5) 9. n n=0 n5 2 The Language of Convergence We say that . • . a series converges to a number, i.e., the sum of the series is what it converges to. • . a power series converges at a particular value of x if plugging that x into the power series yields a convergent series. • . a power series converges on an interval if it converges at every x in that interval. Taylor and Maclaurin Polynomials We now turn to the process of creating power series. To begin, we would like a polynomial (centered at some x = a) which approximates a function, at least around x = a: 2 N TN (x) = c0 + c1(x − a) + c2(x − a) + ··· + cN (x − a) (The degree is N.) We would like this function and its derivatives to match the original function and its derivative exactly when we plug in x = a. So, we construct the coefficients as follows: f(a) f(a) want= c + c (a − a) + c (a − a)2 + c (a − a)3 + ··· + c (a − a)N ) c = f(a) = 0 1 2 3 N 0 0! f 0(a) f 0(a) want= c + 2c (a − a) + 3c (a − a)2 + ··· + Nc (a − a)N−1 ) c = f 0(a) = 1 2 3 N 1 1! f 00(a) f 00(a) f 00(a) want= 2c + 3 · 2 · c (a − a) + ··· + N(N − 1)c (a − a)N−2 ) c = = 2 3 N 2 2 2! f 000(a) f 000(a) want= 3 · 2 · c + ··· + N(N − 1)(N − 2)c (a − a)N−3 ) c = 3 N 3 3! . f (N)(a) f (N)(a) want= n!c ) c = N N n! This leads to the following definition: Definition 3 (Taylor Polynomial). The N th Taylor polynomial of f(x) centered at x = a is f 00(a) f 000(a) f (N)(a) T (x) = f(a) + f 0(a)(x − a) + (x − a)2 + (x − a)3 + ··· + (x − a)N N 2! 3! N! N X f (n)(a) = (x − a)n n! n=0 If a Taylor polynomial is centered at a = 0 then we call it a Maclaurin polynomial: Definition 4 (Maclaurin Polynomial). The N th Maclaurin polynomial of f(x) is f 00(0) f 000(0) f (N)(0) M (x) = f(0) + f 0(0)x + x2 + x3 + ··· + xN N 2! 3! N! N X f (n)(0) = xn n! n=0 3 Examples 1 1. Find the third Maclaurin polynomial of f(x) = 1−x . 2. Find the first, second, and third Maclaurin polynomials of f(x) = ex and use them to approximate e0:05. 3. Find the fourth Taylor polynomial of f(x) = ln(x) centered at x = 1. 4. Find the fourth Taylor polynomial of f(x) = x2 + 3x + 7 centered at x = −1. 5. Find the seventh Maclaurin polynomial of f(x) = sin(x). Taylor and Maclaurin Series Once we have a Taylor or Maclaurin polynomial we can then extend it to a series: Definition 5. • The Taylor series of f(x) centered at x = a is 1 X f (n)(a) (x − a)n: n! n=0 • The Maclaurin series of f(x) is 1 X f (n)(0) xn: n! n=0 (Note: if f can be represented as a power series then it is identically equal to its Taylor/Maclaurin series within the IOC.) In general we would find a Taylor/Maclaurin series by writing out the first several terms until we can determine what pattern (if any) they follow and find a formula describing the terms. Important Examples 1 1 X 1. = 1 + x + x2 + x3 + ··· = xn 1 − x n=0 1 x2 x3 X xn 2. ex = 1 + x + + + ··· = 2! 3! n! n=0 1 x3 x5 x7 X (−1)nx2n+1 3. sin(x) = x − + − + ··· = 3! 5! 7! (2n + 1)! n=0 1 x2 x4 x6 X (−1)nx2n 4. cos(x) = 1 − + − + ··· = 2! 4! 6! (2n)! n=0 4 However, once we have a Taylor series for one function we can find the Taylor series for other, related functions by performing the following operations: 1. Substitution (i.e., composition): we replace x with some other polynomial in terms of x, usually just a single power of x or a constant times a single power of x. 2. Multiplication: we can multiply a power series by constants or [positive] powers of x. While it is possible to multiply two power series together, we won't be doing that this semester, and there will be another way to solve a problem that looks like it requires the multiplication of two power series. Also note that you should never need to divide by a power of x (or multiply by x to a negative power) { there will be another way to solve the problem. 3. Differentiation. When differentiating a power series, if the first term is a constant then you'll need to increase the starting index by 1 in the derivative's power series. This throws out the index corresponding to the term that became 0 in the derivative (so we don't need it in the sum anymore) and avoids potential issues with the derivative formula being undefined at that the starting index. (If the first term in the original series is not constant then the starting index remains the same after differentiating.) 4. Integration. To find the \+C" constant of integration, plug the value at which the power series is centered into both the function and the power series. This should make the power series become just 0's except for perhaps the first term and then you can solve for C. Note: Your final answer should always be of the form 1 X cnx n= i.e., you need to separate any constants from x and simplify the exponent. It's also helpful to get the power series into this form before differentiating or integrating. (The form above assumes the power series is centered at 0, which will be true for the examples that we're looking at since they'll all be based on the four \Important Examples" above which are all centered at 0.) Examples Find the Maclaurin series for the following functions using known Maclaurin series: x 1. f(x) = 1 − x 1 2. f(x) = 1 + 2x 2 3. f(x) = e−x 2 4. f(x) = −2xe−x 5. f(x) = x cos x3 5 6. f(x) = ln jx − 2j 1 7. f(x) = (1 − x)3 8. f(x) = xe2x 9. f(x) = arctan(x) x2 10.
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]
  • Topic 7 Notes 7 Taylor and Laurent Series
    Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof.
    [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]
  • 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]
  • The Discovery of the Series Formula for Π by Leibniz, Gregory and Nilakantha Author(S): Ranjan Roy Source: Mathematics Magazine, Vol
    The Discovery of the Series Formula for π by Leibniz, Gregory and Nilakantha Author(s): Ranjan Roy Source: Mathematics Magazine, Vol. 63, No. 5 (Dec., 1990), pp. 291-306 Published by: Mathematical Association of America Stable URL: http://www.jstor.org/stable/2690896 Accessed: 27-02-2017 22:02 UTC JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at http://about.jstor.org/terms Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to Mathematics Magazine This content downloaded from 195.251.161.31 on Mon, 27 Feb 2017 22:02:42 UTC All use subject to http://about.jstor.org/terms ARTICLES The Discovery of the Series Formula for 7r by Leibniz, Gregory and Nilakantha RANJAN ROY Beloit College Beloit, WI 53511 1. Introduction The formula for -r mentioned in the title of this article is 4 3 57 . (1) One simple and well-known moderm proof goes as follows: x I arctan x = | 1 +2 dt x3 +5 - +2n + 1 x t2n+2 + -w3 - +(-I)rl2n+1 +(-I)l?lf dt. The last integral tends to zero if Ix < 1, for 'o t+2dt < jt dt - iX2n+3 20 as n oo.
    [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]
  • AN INTRODUCTION to POWER SERIES a Finite Sum of the Form A0
    AN INTRODUCTION TO POWER SERIES PO-LAM YUNG A finite sum of the form n a0 + a1x + ··· + anx (where a0; : : : ; an are constants) is called a polynomial of degree n in x. One may wonder what happens if we allow an infinite number of terms instead. This leads to the study of what is called a power series, as follows. Definition 1. Given a point c 2 R, and a sequence of (real or complex) numbers a0; a1;:::; one can form a power series centered at c: 2 a0 + a1(x − c) + a2(x − c) + :::; which is also written as 1 X k ak(x − c) : k=0 For example, the following are all power series centered at 0: 1 x x2 x3 X xk (1) 1 + + + + ::: = ; 1! 2! 3! k! k=0 1 X (2) 1 + x + x2 + x3 + ::: = xk: k=0 We want to think of a power series as a function of x. Thus we are led to study carefully the convergence of such a series. Recall that an infinite series of numbers is said to converge, if the sequence given by the sum of the first N terms converges as N tends to infinity. In particular, given a real number x, the series 1 X k ak(x − c) k=0 converges, if and only if N X k lim ak(x − c) N!1 k=0 exists. A power series centered at c will surely converge at x = c (because one is just summing a bunch of zeroes then), but there is no guarantee that the series will converge for any other values x.
    [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]
  • 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]