https://youtu.be/yPeZ6-28zY8 In this video I go over further into infinite sequences and series; and in particular expand upon my earlier video on power series. This time I show how we can represent many functions as power series as well as go over a theorem that allows for differentiation and integration of power series term by term. This theorem, as well as this overall concept of representing functions as power series is one of the most important concepts in all of science because it allows for much easier computation of many different functions. In fact many computers and calculators use this technique behind the scenes since they are often much easier to deal with than trying to find exact integrals or derivatives which many times are not simple. In this video, and at the second half of this video, I also go over an extensive 2 hour long proof of the theorem for term-by-term differentiation and integration of power series. Although this proof is extensive, after searching all over online for the proof, I believe my proof may in fact be the most clear and understandable. Let me know if it helps! The topics covered in this video are listed below with their time stamps. 1. @ 2:24 - Representation of Functions as Power Series - @ 3:17 - Equation 1 - @ 10:48 - Example 1 - @ 26:35 - Example 2 - @ 30:16 - Example 3 2. - @ 37:06 - Differentiation and Integration of Power Series - @ 38:09 - Theorem 1: Term by Term Differentiation and Integration - @ 50:50 - Example 4 - @ 54:18 - Example 5 - @ 58:36 - Example 6 - @ 1:11:02 - Example 7: Gregory's Series - @ 1:25:59 - Leibniz Formula for π - @ 1:30:30 - Example 8 3. Exercises - @ 2:11:57 - Exercise 1 - @ 1:55:34 - Exercise 2 - @ 2:26:11 - Exercise 3: Proof of Theorem 1 - @ 2:32:29 - Lemma - @ 2:34:58 - Lemma Derivative Proof - @ 3:01:16 - Lemma Integral Proof - @ 3:08:59 - Theorem 1 Using z = (x - a) - @ 3:12:41 - Theorem 1a Derivative Proof - @ 3:24:59 - Brief Overview of the Binomial Theorem - @ 3:57:33 - Theorem 1b Integral Proof --- Watch Video On: - 3Speak: [https://3speak.tv/watch?v=mes/jvbhghkj](https://3speak.tv/watch?v=mes/jvbhghkj) - Odysee: [https://odysee.com/@mes:8/infinite-sequences-series-Functions-as-Power-Series:7](https://odysee.com/@mes:8/infinite-sequences-series-Functions-as-Power-Series:7) - BitChute: [https://www.bitchute.com/video/EhQ94s5Tyn2j/](https://www.bitchute.com/video/EhQ94s5Tyn2j/) - Rumble: [https://rumble.com/v1v8evo-infinite-sequences-and-series-representations-of-functions-as-power-series.html](https://rumble.com/v1v8evo-infinite-sequences-and-series-representations-of-functions-as-power-series.html) - DTube: [https://d.tube/#!/v/mes/yzz6ok4rbfy](https://d.tube/#!/v/mes/yzz6ok4rbfy) - YouTube: [https://youtu.be/yPeZ6-28zY8](https://youtu.be/yPeZ6-28zY8) Download Video Notes: https://1drv.ms/b/s!As32ynv0LoaIh_17muwohTwCBpQ45Q?e=pldHwj --- # View Video Notes Below! --- >Download These Notes: Link is in Video Description. >View These Notes as an Article: https://peakd.com/@mes >Subscribe via Email: http://mes.fm/subscribe >Donate! :) https://mes.fm/donate > >Reuse of My Videos: >- Feel free to make use of / re-upload / monetize my videos as long as you provide a link to the original video. > >Fight Back Against Censorship: >- Bookmark sites/channels/accounts and check periodically >- Remember to always archive website pages in case they get deleted/changed. > >Join my private Discord Chat Room: https://mes.fm/chatroom > >Check out my Reddit and Voat Math Forums: >- Reddit: https://reddit.com/r/AMAZINGMathStuff >- Voat: https://voat.co/v/AMAZINGMathStuff > >Buy "Where Did The Towers Go?" by Dr. Judy Wood: https://mes.fm/judywoodbook >Follow along my epic video series: >- #MESScience: https://mes.fm/science-playlist >- #MESExperiments: https://peakd.com/mesexperiments/@mes/list >- #AntiGravity: https://peakd.com/antigravity/@mes/series >-- See Part 6 for my Self Appointed PhD and #MESDuality Breakthrough Concept! >- #FreeEnergy: https://mes.fm/freeenergy-playlist > >--- > >NOTE #1: If you don't have time to watch this whole video: > >- Skip to the end for Summary and Conclusions (If Available) >- Play this video at a faster speed. >-- TOP SECRET LIFE HACK: Your brain gets used to faster speed. (#Try2xSpeed) >-- Try 4X+ Speed by Browser Extensions or Modifying Source Code. >-- **Browser Extension Recommendation: https://mes.fm/videospeed-extension** >-- See my tutorial to learn more: https://peakd.com/video/@mes/play-videos-at-faster-or-slower-speeds-on-any-website >- Download and Read Notes. >- Read notes on Steemit #GetOnSteem >- Watch the video in parts. > >NOTE #2: If video volume is too low at any part of the video: > >- Download this Browser Extension Recommendation: https://mes.fm/volume-extension --- # Infinite Sequences and Series: Representations of Functions as Power Series ![Functions as Power Series.jpeg](https://cdn.steemitimages.com/DQme6zU4cRko8D4gAEcXmEyg2KJarRhGr7wWLp1YQZbJAZ5/Functions%20as%20Power%20Series.jpeg) **Calculus Book Reference** Note that I mainly follow along the following calculus book: - Calculus: Early Transcendentals Sixth Edition by James Stewart ## Topics to Cover 1. Representation of Functions as Power Series - Equation 1 - Example 1 - Example 2 - Example 3 2. Differentiation and Integration of Power Series - Theorem 1: Term by Term Differentiation and Integration - Example 4 - Example 5 - Example 6 - Example 7: Gregory's Series - Leibniz Formula for π - Example 8 3. Exercises - Exercise 1 - Exercise 2 - Exercise 3: Proof of Theorem 1 - Lemma - Lemma Derivative Proof - Lemma Integral Proof - Theorem 1a Derivative Proof - Brief Overview of the Binomial Theorem - Theorem 1b Integral Proof # Representation of Functions as Power Series In this section we learn how to represent certain types of functions as sums of power series by manipulating geometric series or by differentiating or integrating such a series. You might wonder why we would ever want to express a known function as a sum of infinitely many terms. We will see later that this strategy is useful for integrating functions that don't have elementary antiderivatives, for solving differential equations, and for approximating functions by polynomials. Scientists do this to simplify the expressions they deal with; computer scientists do this to represent functions on calculators and computers. We start with an equation that we have seen before: ## Equation 1 ![](https://cdn.steemitimages.com/DQmU9iYo2K7NsJfR4vjYPAY94gbAAGeKRyZ7FiWxRgSqMst/image.png) We first encountered this equation in Example 5 of my earlier video on Infinite Series and shown below, where we obtained it by observing that it is a geometric series with a = 1 and r = x. https://peakd.com/mathematics/@mes/infinite-series-definition-examples-geometric-series-harmonics-series-telescoping-sum-more >Retrieved: 27 July 2019 >Archive: http://archive.fo/FGAyJ ![](https://cdn.steemitimages.com/DQmZoRcKgboGnN3UabJg3gav364yvrvCdV1ZoG1rewEkueP/image.png) ![](https://cdn.steemitimages.com/DQmTH7D5Dn8sPeH3WhfZJdfg2WLiaBodqrVs8xwiFVh8tng/image.png) But here our point of view is different. We now regard Equation 1 as expressing the function f(x) = 1/(1 - x) as a sum of a power series. --- Because the sum of a series is the limit of the sequence of partial sums, we have: ![](https://cdn.steemitimages.com/DQmdDm3kt2bPZ7BszQ3JHq26zLA34Up25biYWeZhRbGnNX8/image.png) where: ![](https://cdn.steemitimages.com/DQmaTZCU1eRoECn4amgX3SUozxHvBKf3DvokW3CKQzquzZc/image.png) is the n-th partial sum. A geometric illustration of Equation 1 and some partial sums is shown in the following figure. [https://www.desmos.com/calculator/9awpqmhxfd](https://www.desmos.com/calculator/9awpqmhxfd) >Retrieved: 19 December 2019 >Archive: https://archive.ph/VaGiu ![](https://cdn.steemitimages.com/DQmb9crHHvYxSRRDG2HDuVjbzDhJXzB1YfyVfw54dkuhf8t/image.png) Notice that as n increases, s_n(x) becomes a better approximation to f(x) for -1 < x < 1. --- ## Example 1 Express 1/(1 + x²) as the sum of a power series and find the interval of convergence. **Solution:** Replacing x by -x² in Equation 1, we have: ![](https://cdn.steemitimages.com/DQma7XpkLjYxYxiduQnMsFXgs2X1SEQN2BRyjqr7Rs1YQjJ/image.png) Because this is a geometric series, it converges when: ![](https://cdn.steemitimages.com/DQmRPiFSJhdbKNWCauvbksiBV1kbWEHcF63TvaPsssvf1gh/image.png) Therefore the interval of convergence is (-1, 1). Of course, we could have determined the Radius (or interval) of Convergence by applying the Ratio Test, but that much work is unnecessary here. Nonetheless, we will solve it again using the Ratio Test so here is a quick recap on the Radius of Convergence, the Interval of Convergence and the Ratio Test: https://peakd.com/mathematics/@mes/infinite-sequences-and-series-power-series >Retrieved: 19 December 2019 >Archive: https://archive.ph/kAeuV ![](https://cdn.steemitimages.com/DQmY8cMhimCJJimeDPwWAst6FvszY3TYPHh5wdq4bvQWtr5/image.png) https://peakd.com/mathematics/@mes/infinite-sequences-and-series-absolute-convergence-and-the-ratio-root-tests >Retrieved: 17 September 2019 >Archive: http://archive.fo/ANfgj ![](https://cdn.steemitimages.com/DQmbcsDSKdAc6wfz8KjY4RiiyD2BFxfs2wmD57xsKiC7Ufz/image.png) Thus, using the ratio test we have: ![](https://cdn.steemitimages.com/DQmbWrUt8ms1yBnFs3RZvgYJRLvgjXS5BkdDqB56wLwt1cc/image.png) Thus, by the Ratio Test, the given power series converges when x² < 1, or |x|< 1; thus the interval of convergence could be (-1, 1), [-1, 1), (-1, 1], or [-1, 1]; i.e. we have to check the endpoints. ![](https://cdn.steemitimages.com/DQmXDYEDC7qwhbc1hFmk7XCinEpwi4F9A1nXAEibpPLTtxE/image.png) Therefore, the interval of convergence is (-1, 1). --- ## Example 2 Find a power series representation for 1/(x + 2). **Solution:** In order to put this function in the form of the left side of Equation 1 we first factor a 2 from the denominator: ![](https://cdn.steemitimages.com/DQmR9tocW5JX6uwGonhPopi3z862LYYgSrnTXFSoxBmVvGf/image.png) This (geometric) series converges when: ![](https://cdn.steemitimages.com/DQmYehPLoNPUjc3F8SwwaQ5bBBUJ6qb3Lg5c6njpRne48Bx/image.png) So the interval of convergence is (-2, 2). --- ## Example 3 Find a power series representation of x³/(x + 2). **Solution:** Since this function is just x³ times the function in Example 2, all we have to do is multiply that series by x³: ![](https://cdn.steemitimages.com/DQmXBrLPhiT533Fhd9oR8kuDkV5mrVRDHkvo4GvRHQ3S1Ta/image.png) Since the first term has a x³, then another way of writing this series is as follows: ![](https://cdn.steemitimages.com/DQmNmBuPFAQj4EcmBbbuXZYbHRvob4tSC2ctmsyHC1ZNcVN/image.png) As in Example 2, the interval of convergence is (-2, 2) since we are merely multiplying it by a constant when we set x to be any value (in the interval of convergence). --- Note that it's legitimate to move x³ across the sigma sign because it doesn't depend on n; as in the following theorem (part i) from my earlier video but with c = x³. https://peakd.com/mathematics/@mes/infinite-series-definition-examples-geometric-series-harmonics-series-telescoping-sum-more ![](https://cdn.steemitimages.com/DQmaUP9V6VEHKmh1ekYPWkdPiGNSPCbVqDJNsqGTjsntayk/image.png) --- # Differentiation and Integration of Power Series The sum of a power series is a function: ![](https://cdn.steemitimages.com/DQmcWtaZWjoCaZHKvVjTSLbs5NogqKKiCEud2pHZrcQ52Rc/image.png) whose domain is the interval of convergence of the series. We would like to be able to differentiate and integrate such functions, and the following theorem (which I prove at the end of this video in Exercise 3) says that we can do so by differentiating or integrating each individual term in the series, just as we would for a polynomial. This is called term-by-term differentiation and integration. --- ## Theorem 1: Term by Term Differentiation and Integration If the power series ∑ c_n(x - a)ⁿ has a radius of convergence R > 0, then the function f defined by: ![](https://cdn.steemitimages.com/DQmVfQJi4YnAPWsZN6qq5owGZfZ2s9ceZX8gEoLMdxo1uVQ/image.png) is differentiable (and therefore continuous) on the interval (a - R, a + R) and: ![](https://cdn.steemitimages.com/DQmVfQJi4YnAPWsZN6qq5owGZfZ2s9ceZX8gEoLMdxo1uVQ/image.png) The radii of convergence of the power series in Equations (i) and (ii) are both R. --- In part (ii), the integral of the first term c₀ is rewritten so that all the terms have the same form: ![](https://cdn.steemitimages.com/DQmc3cR2Ytx6cFs1LfkZM5rDivWLrEfa64TkdiK1RNGtDfj/image.png) Also note that each term when integrated has its own integration constant but the summation of them all is just a constant itself, so we will just leave it as C. --- **NOTE 1** Equations (i) and (ii) in Theorem 1 can be rewritten in the form: ![](https://cdn.steemitimages.com/DQmUXsCCuvXH4J1zg1f8NJyQ2H51QpTmxXdLygQUK5mBfiZ/image.png) We know that, for finite sums, the derivative of a sum is the sum of the derivatives and the integral of a sum is the sum of integrals. Equations (iii) and (iv) assert that the same is true for infinite sums, provided we are dealing with power series. For other types of series of functions the situation is not as simple; see Exercise 1 at the end of this video. --- **NOTE 2** Although Theorem 1 says that the radius of convergence remains the same when a power series is differentiated or integrated, this does not means that the interval of convergence remains the same. It may happen that the original series converges at an endpoint, whereas the differentiated series diverges there; see Exercise 2 at the end of this video. --- **NOTE 3** The idea of differentiating a power series term by term is the basis for a powerful method for solving differential equations; which I will look to discuss this method in future videos. --- Also note from my earlier video that if a function is differentiable then it is continuous: [https://youtu.be/l4Kzzppb_88](https://youtu.be/l4Kzzppb_88) >Retrieved: 22 December 2019 >Archive: https://archive.ph/wip/w483w ![](https://cdn.steemitimages.com/DQmdq8uTE3xKGQv8u7ZmSHVDMNXtiF7U5UfV78gzGUuVnb9/image.png) --- ## EXAMPLE 4 In my earlier video (shown below), we saw that the Bessel function: ![](https://cdn.steemitimages.com/DQmZidMUCx8PBj69FWfQMDYzKmFU1S71JKcEYTUSPfBabS2/image.png) is defined for all x. https://peakd.com/mathematics/@mes/infinite-sequences-and-series-power-series ![](https://cdn.steemitimages.com/DQmbZcHZxqFVxyExJikTdn2UeMToEw6VmH9z22HtKxMuJKk/image.png) Thus, by Theorem 1, J₀ is differentiable for all x and its derivative is found by term-by-term differentiation as follows: ![](https://cdn.steemitimages.com/DQmTMRcHhzeFBr9M27UC4RRXn2vpedU7J22K5rn9VenWL5k/image.png) --- ## Example 5 Express 1/(1 - x)² as a power series by differentiating Equation 1. What is the radius of convergence? **Solution:** Differentiating each side of the equation: ![](https://cdn.steemitimages.com/DQmPK8iX1zTBD6DeGkHpzqdAzNh2qRF52YhNs95oCQe7Tt8/image.png) we get: ![](https://cdn.steemitimages.com/DQmagUtkz1FjNMJEDoPTrCRcVdEaUiPPpte5q5MgC5FzUrD/image.png) If we wish, we can replace n by n + 1 and write the answer as: ![](https://cdn.steemitimages.com/DQmd65FFdGRkquBRL4ZMhfGwGhnavrJ94wqJALR6v8rqZ4H/image.png) According to Theorem 1, the radius of convergence of the differentiated series is the same as the radius of convergence of the original series, namely, R = 1. --- ## Example 6 Find a power series representation of ln(1 - x) and its radius of convergence. **Solution:** We notice that, except for a factor of -1, the derivative of this function is 1/(1 - x). Recall the derivative of ln(x) from my earlier video: [https://youtu.be/5e6MisvvMPE](https://youtu.be/5e6MisvvMPE) >Retrieved: 20 December 2019 >Archive: https://archive.ph/wip/Qj7ux ![](https://cdn.steemitimages.com/DQmYbZPTBw2EiN7v9DAcXVJUUW1TKdzfVEvCemkFdFo59Bg/image.png) Thus we have: ![](https://cdn.steemitimages.com/DQmamAzmPF9Z7Huqd658xDsTWA5W14dPTdryGwgDabRLK6f/image.png) So we integrate both sides of Equation 1: ![](https://cdn.steemitimages.com/DQmeWxtfGKh21hJj8G4rSaSBv1okk7UeYF1FSubjD5cz6CS/image.png) To determine the value of C we put x = 0 in this equation and obtain: ![](https://cdn.steemitimages.com/DQmVDon9kDqikTo181tjAQEGNa7CtnhXmettznwemTVano6/image.png) Thus, moving the negative sign over to the other side, we have: ![](https://cdn.steemitimages.com/DQmULsbSUFVQ8AzJr4pqzBKcKdfux8BATA264jrDAmthJaf/image.png) The radius of convergence is the same as for the original series: R = 1. --- Notice what happens if we put x = 1/2 in the result of Example 6. Since: ![](https://cdn.steemitimages.com/DQmSUJ4JNK2mydk6QEMz2r6yDAZviGjiioXFQQUfSBehC1o/image.png) we see that: ![](https://cdn.steemitimages.com/DQmd3iXkRh3ST7gT6sJcyEK3haLuvbsqcSspfhNzKorkVcG/image.png) --- ## Example 7: Gregory's Series Find a power series representation for f(x) = tan^-1x **Solution:** We observe that f'(x) = 1/(1 + x²), proved in my earlier video shown below, and find the required series by integrating the power series for 1/(1 + x²) found in Example 1. [http://youtu.be/q9jdOiQ7pZY](http://youtu.be/q9jdOiQ7pZY) >Retrieved: 20 December 2019 >Archive: https://archive.ph/c5VBV ![](https://cdn.steemitimages.com/DQmXSquWnj5mc2xGC431vj2oQHTQaHXMiBg1S6n4Kztx1ka/image.png) ![](https://cdn.steemitimages.com/DQmYVY5KGmp9gBNvukWmvX83ZQy5vnnoK8UeqZ4h3Brja9a/image.png) Thus, from Example 1: ![](https://cdn.steemitimages.com/DQmUL3WqAEBaBXdVB4r75ZYRt2H5Qe8RtcwTzE46vaqVNiK/image.png) To find C we put x = 0 and obtain C = tan^-10 = 0. Therefore: ![](https://cdn.steemitimages.com/DQmaScyq5cMLQSfdaaCrhHtDhiGJ4f2VRi7iqZ4vtDECoxB/image.png) Since the radius of convergence of the series for 1/(1 + x²) is 1, the radius of convergence of this series for tan^-1x is also 1. --- ### Gregory's Series The power series for tan^-1 x obtained in Example 7 is called Gregory's series after the Scottish mathematician James Gregory (1638 - 1675), who had anticipated some of Newton's discoveries. We have shown that Gregory's series is valid when -1 < x < 1, but it turns out that it is also valid when x ± 1; my calculus book doesn't prove this so I have proved it below. Note that I first tried proving this using the Ratio, Root, and Integral Tests but the results were inconclusive. The Alternating Series Test, referenced below from my earlier video, however, proved fruitful. https://peakd.com/mathematics/@mes/infinite-sequences-and-series-alternating-tests >Retrieved: 26 August 2019 >Archive: http://archive.fo/9neM8 ![](https://cdn.steemitimages.com/DQmPijrK27ModMjLtT1Lt7U71EGMSydpNYD1zdnMDsu3FFn/image.png) Consider the case where x = 1: ![](https://cdn.steemitimages.com/DQmW8ZQNhwbaNNdkT3YUFgqMN41SJYcKemcPKK7dsqvatU8/image.png) Thus the series converges by the A.S.T. For x = - 1: ![](https://cdn.steemitimages.com/DQmczFTSX4QKSNVHF9p6BipEKy9mBK9DtfKKQFb2wzfaZpS/image.png) This is the same series but the signs are changed hence bn remains the same and the series converges by the A.S.T. ### Leibniz formula for π Notice that when x = 1 the series becomes: ![](https://cdn.steemitimages.com/DQmcKp4QjyCrHoXrwPyTccHs3KUJTTVFMFYmnCwwu9Zi3RW/image.png) This beautiful result is known as the Leibniz formula for π. --- ## Example 8: (a) Evaluate the following integral as a power series: ![](https://cdn.steemitimages.com/DQmc2HnZYeiLvDukEDah4soaUbGpoECS2Bx9QhMVcb9kKLH/image.png) (b) Use part (a) to approximate the following definite integral correct to within 10-7: ![](https://cdn.steemitimages.com/DQmTJVjviUv6LwBrhYmeJmhkc952hhyBG4fhiiZqbK8UraQ/image.png) **Solution:** (a) The first step is to express the integrand, 1/(1 + x⁷), as the sum of a power series. As in Example 1, we start with Equation 1 and replace x by -x⁷: ![](https://cdn.steemitimages.com/DQmR4BDJtCi1vDXU1ShPKyCyXiL6Mgb9B92RoEPwMsWUFLj/image.png) Now we integrate term by term: ![](https://cdn.steemitimages.com/DQmTEe6bJiCkUfjezdoY11xLZ1sbmGr8Kq8gMATthpX3t5f/image.png) By Theorem 1, this series converges for: ![](https://cdn.steemitimages.com/DQmd3QbRAYGL8CGWEsHddzzVzh7CoRmiXbS1XW8DpRoTq2W/image.png) (b) In applying the Fundamental Theorem of Calculus (referenced below from my earlier videos), it doesn't matter which anti-derivative we use, so let's use the antiderivative from part (a) with C = 0: [https://youtu.be/3o8Q6UJzJyk](https://youtu.be/3o8Q6UJzJyk) >Retrieved: 20 December 2019 >Archive: https://archive.ph/wip/Bd7wE ![](https://cdn.steemitimages.com/DQmdSdWV8s2GzhkGtcktGMexHt75GsTW4R7ARH25FymrCGs/image.png) [https://youtu.be/yuIl-BPQHss](https://youtu.be/yuIl-BPQHss) >Retrieved: 20 December 2019 >Archive: https://archive.ph/wip/AbsvX ![](https://cdn.steemitimages.com/DQmdSdWV8s2GzhkGtcktGMexHt75GsTW4R7ARH25FymrCGs/image.png) Therefore: ![](https://cdn.steemitimages.com/DQmRjrbhqbm8G8JXXVKunE19TZWJhoK5d3ewtj7CZNXprcq/image.png) This infinite series is the exact value of the definite integral, but since it is an alternating series, we can approximate the sum using the Alternating Series Estimation Theorem; and referenced below also from my earlier video. https://peakd.com/mathematics/@mes/infinite-sequences-and-series-alternating-tests ![](https://cdn.steemitimages.com/DQmPijrK27ModMjLtT1Lt7U71EGMSydpNYD1zdnMDsu3FFn/image.png) ![](https://cdn.steemitimages.com/DQmXFtimA7MKto7TDj1k8EusJiRu6YoRDFi9W9VausPaJAB/image.png) ![](https://cdn.steemitimages.com/DQmQk4H9gHi6uCdYggxgpaAJsBQjKJuu3iwoP7BEciqqvaW/image.png) ![](https://cdn.steemitimages.com/DQmb9GGX4x2a6G1JtVBL4oPgCc44VJLj1Z4w7Ln3maodExC/image.png) If we stop adding after the term with n = 3, the error is smaller than the term with n = 4: ![](https://cdn.steemitimages.com/DQmQLXL1eQGGSCCsmo9d7uTvwSDjeho1yfxPCz3dkqtCNSM/image.png) [https://duckduckgo.com/?q=1%2F(29*2%5E29)&t=h_&ia=calculator](https://duckduckgo.com/?q=1%2F(29*2%5E29)&t=h_&ia=calculator) >Retrieved: 19 December 2019 >Archive: https://archive.ph/DEcpS ![](https://cdn.steemitimages.com/DQmV3FvrCrX16JZKB3GSd8saSVmAQ8LtzZnHScHtHN4ZU5D/image.png) So we have: ![](https://cdn.steemitimages.com/DQmaWYkZZFvNGRiUbFCSnVyoMVqpNdtP9gZwJUMwikuj3Eq/image.png) **Calculation Check:** - 1/2 - 1/(8·2^8) + 1/(15·2^15) - 1/(22·2^22) = 0.4995 --- This example demonstrates one way in which power series representations are useful. Integrating 1/(1 + x⁷) by hand is incredibly difficult. Different computer algebra systems (CAS) return different forms of the answer, but they are all extremely complicated; a few examples of CAS computations are shown below. https://www.integral-calculator.com/ >Retrieved: 19 December 2019 >Archive: Not Available ![](https://cdn.steemitimages.com/DQmV1qahd2uY3Ca2aS7kYkxwFRWGksbwRYLXBGE6rJEM6ps/image.png) Yeah…. I'll stick to power series for these integrals LOL https://www.wolframalpha.com/input/?i=1%2F%281%2Bx%5E7%29 >Retrieved: 19 December 2019 >Archive: https://archive.ph/v04Nz ![](https://cdn.steemitimages.com/DQmSVbwDh2xgQ66rkdxsetmzDULn6W3XNjoVdRwXS5Gwgxn/image.png) The infinite series answer that we obtained in Example 8 (a) is actually much easier to deal with than the finite answer provided by a Computer Algebra System (CAS). --- # Exercises --- ## Exercise 1 Let f_n(x) = (sin nx)/n², show that the series ∑ f_n(x) converges for all values of x but the series of derivatives ∑ f’_n(x) diverges when x = 2kπ, where k is an integer. For what values of x does the series ∑ f'‘_n(x) converge? **Solution:** Note that: ![](https://cdn.steemitimages.com/DQmXmWGD7LNKZoNTGuiVGSeqvqGmvqNN3SqwjsiJKnTdPUM/image.png) Since ∑ 1/n² is a convergent p-series with p = 2 > 1, then by applying the Comparison Test, then ∑ f_n(x) is absolutely convergent, and therefore convergent for all values of x; the following references highlight the relevant portions of my earlier videos. https://peakd.com/mathematics/@mes/infinite-sequences-and-series-the-integral-test-and-estimate-of-sums >Retrieved: 26 August 2019 >Archive: http://archive.fo/vapHa ![](https://cdn.steemitimages.com/DQmSKza4dsbAvVoUg85fn1fENJu1U6evAD6cNg6x3tNo1N7/image.png) https://peakd.com/mathematics/@mes/infinite-sequences-and-series-the-comparison-tests >Retrieved: 26 August 2019 >Archive: http://archive.fo/f0SM5 ![](https://cdn.steemitimages.com/DQmSKza4dsbAvVoUg85fn1fENJu1U6evAD6cNg6x3tNo1N7/image.png) https://peakd.com/mathematics/@mes/infinite-sequences-and-series-absolute-convergence-and-the-ratio-root-tests >Retrieved: 17 September 2019 >Archive: http://archive.fo/ANfgj ![](https://cdn.steemitimages.com/DQmdDWL5QMv6Zgg12jBsJdTFG55xLqy3JEHXrqjTuSzXkCF/image.png) >The follow theorem follows from the Comparison Test (note that the reverse may not be true): ![](https://cdn.steemitimages.com/DQmdocDNSLHsXW1vA29KcszgiyTF9A1jh3FsvpLacVVFdNh/image.png) Taking the derivative of f_n(x) we get: ![](https://cdn.steemitimages.com/DQmZMHtRJHAyydNcBjGTAW8Bzkb5TADXsMVheUg6GbifLpL/image.png) Thus when x = 2kπ [k an integer], we have: ![](https://cdn.steemitimages.com/DQmTQUG4sCTiqesJuqHEaqr1SVVpih3DJJ8xzTFuHr2cS25/image.png) Note that 2knπ are just integer multiples of 2π, that is cos(2knπ) = 1. ![](https://cdn.steemitimages.com/DQmPi1LdV2gneA2Jv6zaevVXLrZoeyVs1qxJfyfM4YLaU2k/image.png) Thus, at x = 2kπ, i.e. at any integer multiple of 2π, the series ∑ f’_n(x) becomes the divergent harmonic series (p = 1) and thus diverges: ![](https://cdn.steemitimages.com/DQmVNZMbExcH6FbsfRTJpKL1NSBiFmFD1hMjttHueYdZmg7/image.png) The second derivative is: ![](https://cdn.steemitimages.com/DQmRJPQRnQq2HCds42kVnfftwsRySc5xAiQwqHFrzvCtXa5/image.png) And this converges only if sin nx = 0, or x = kπ [k an integer]; that is any integer multiple of π. ![](https://cdn.steemitimages.com/DQmci4io3D6FWT6tKQbo9cCX5h6KgwGFVaqqme5V7ffKnRE/image.png) --- ## Exercise 2 Let: ![](https://cdn.steemitimages.com/DQmQfAYUzVffXZXbmsNsx3HipHTyPxARf7KmgeVZHiWNrVD/image.png) Find the intervals of convergence for f, f', and f''. **Solution:** This looks like a series we can apply the Ratio Test to: ![](https://cdn.steemitimages.com/DQmdxKYWyK6Ye4ixVmJk83ozXutt6hzwdQeNH8FwpUWrM12/image.png) When x = ±1, then: ![](https://cdn.steemitimages.com/DQmXEQJuamj83U1R6RNLvfvQa1n7nTSwUCQw3QJrNPcXijz/image.png) which is a convergent p-series (p = 2 > 1), hence f is absolutely convergent and therefore convergent at x = ±1, so the interval of convergence for f is [-1, 1]. By Theorem 1, the radii of convergence of f' and f'' are both 1, so we need only check the endpoints. ![](https://cdn.steemitimages.com/DQmdZ48QrEPNQWSygSZisznfcnsQRUi3nrGdfhhf34KVGbx/image.png) This series diverges for x = 1 (harmonic p = 1 series) and converges for x = -1 via the Alternating Series Test; which I covered in Example 1 in my earlier video. https://peakd.com/mathematics/@mes/infinite-sequences-and-series-alternating-tests ![](https://cdn.steemitimages.com/DQmXVQZF7v2RGRSxgALgxnz4kohsre9ynrY7SBUTyqddCCa/image.png) Thus the interval of convergence for f' is [-1, 1). For the second derivative, we have: ![](https://cdn.steemitimages.com/DQmRZC8wTEJLQt4WL8CuYmGr4Gwi4xMuQ14K8s3aKGn35hG/image.png) Recall the Test for Divergence from my earlier video: https://peakd.com/mathematics/@mes/infinite-series-definition-examples-geometric-series-harmonics-series-telescoping-sum-more ![](https://cdn.steemitimages.com/DQmXcafny11SnJVk2ChF1xfkApDGYQcWLZrF6qGimW51h31/image.png) Thus, we have: ![](https://cdn.steemitimages.com/DQmQ6t3T7HbAzjTxY9nMKzT6WxF5gPpgurimevqpToSTgrC/image.png) Since at x = ±1, the term x^n-1 alternates between +1 and -1 thus the Test for Divergence requires that the term n/(n + 1) must approach 0. ![](https://cdn.steemitimages.com/DQmWgjUgjuBb2FR1qmuKRz6Bayq9AsiA6QKnkzPrFn9CXiD/image.png) Thus, by the Test for Divergence the second derivative f'' diverges at both 1 and -1, so its interval of convergence is (-1, 1). --- # Exercise 3: Proof of Theorem 1 Recall Theorem 1 from earlier in this video. ![](https://cdn.steemitimages.com/DQmfDpFkVV8ud7qYubWWsAFJ2MzJAHuR6qWCLHU4BbXixrY/image.png) ![](https://cdn.steemitimages.com/DQmRHuqeHXSxAs9USHxMXgvSKsXp9ecWsiUqYrMmAYFKi2w/image.png) ![](https://cdn.steemitimages.com/DQmZ2fCGLq1pMiELw2G3pALRA44qrBZcZ6eALZMqQ3qPtLt/image.png) My calculus textbook didn't have the proof for this theorem but I have found one online from the University of Alberta, Canada, website. http://www.math.ualberta.ca/~isaac/math309/ss17/diff.pdf >Retrieved: 21 December 2019 >Archive: https://web.archive.org/web/20191221204509/http://www.math.ualberta.ca/~isaac/math309/ss17/diff.pdf >MES Local PDF Archive: https://1drv.ms/b/s!As32ynv0LoaIh_x2xF7SaAzpxq_x6Q?e=IaBrGC ![](https://cdn.steemitimages.com/DQmTQadr1wAN8aBwK6cUWkjaMaZ6Y9Mv1ndsQqrRGze6TnE/image.png) **Theorem 1 Proof:** In this proof we will show that a power series ∑^∞_n=0 a_nz_n can be differentiated or integrated term by term inside its circle of convergence. >**MES Note:** This proof involves deriving for the variable z but we can merely replace it with (x - a) to match the theorem used in my calculus book. First we need the following lemma (intermediate argument). --- ### Lemma: If: ![](https://cdn.steemitimages.com/DQmNgJVT2Am79PFnauSqVHmJH4xrpcfcrkzhU9zCvFFqiP7/image.png) has a radius of convergence R > 0, then: ![](https://cdn.steemitimages.com/DQmW3CNLGh4QE4sETDcBK23KAzamDM7YZGfUcTHq2imqyK6/image.png) also have a radius of convergence R. --- #### Lemma Derivative Proof: Let's first look at the derivative part of the lemma. Let z ϵ C with |z| < R and choose r with |z| < r < R: >**MES Note:** C is the set of all real and complex numbers; i.e. all numbers. The absolute value of a complex number is just a positive number so it is contained within |z| < R. ![](https://cdn.steemitimages.com/DQmYNrhr9L2zUw2kRREfhaQw9NPy4JbxSuYMYhGaRY5nV8j/image.png) Since r > |z|, then the only terms that can be negative, and hence require the absolute value sign, are z and a_n; thus: ![](https://cdn.steemitimages.com/DQmRsCYgdMg1rKjkXHExwBiVYRs7GgXt3kPeQVRqGGnUEzt/image.png) However, ![](https://cdn.steemitimages.com/DQmd6E1Qwj1qvwrbnRSsvZkniCHch49oZmHazKCASqBVdJt/image.png) And since |z| < r, then |z/r| = |z|/r < 1, and thus ln|z/r| < 0. ![](https://cdn.steemitimages.com/DQmcKeSMZSYiHtaLyfiU3bs5RoM9x8WewWfdDZbCD1Bp9Z9/image.png) Thus we have: ![](https://cdn.steemitimages.com/DQmYfXTcJzupmWhvQ3djjiRWVFTVAe1ekJ7JKGUQDXYjm6h/image.png) Since this is indeterminate, we can apply L'Hospital's Rule; referenced below. [https://youtu.be/FhFWfVUBXC4](https://youtu.be/FhFWfVUBXC4) >Retrieved: 23 December 2019 >Archive: https://archive.ph/wip/SKgVf ![](https://cdn.steemitimages.com/DQmQ91GrFYQh8tv2yA7t5Ra19n3M9wgfkHNKnNVq6ybGpmh/image.png) Thus we have: ![](https://cdn.steemitimages.com/DQmbZpzNwCTgbLTNth99TEuwWdwHgC4xq3BD2bQRXsRwcgC/image.png) To summarize, since |z| < r, then: ![](https://cdn.steemitimages.com/DQmXk59iVgu29YmRcqLoHTFEm2YFBEJbb7NwuSynd89wQif/image.png) Since this limit is approaching zero, there exists an integer n₀ such that for all n ≥ n₀: ![](https://cdn.steemitimages.com/DQmRSehoUiCJWmL71LkFBx6pnsh1CzR4473YZnd2au6sUZy/image.png) And thus: ![](https://cdn.steemitimages.com/DQmYZsX6YuV6KzeqUh9AYquD7toAcia5MN1QeuVGfaUaPCd/image.png) Since we are given that ∑^∞_n=0 |a_n|rⁿ converges because r < R, thus by the Comparison Test, ∑^∞_n=1 na_nz^n-1 converges absolutely (and hence converges) for all z ϵ C with |z| < R. Case Where |z| > R On the other hand, if z ϵ C with |z| > R, we can choose a positive number r such that we have R < r < |z|, and if ∑^∞_n=1 na_nz^n-1 converges (from the above derivation), then r < |z| implies that ∑^∞_n=1 n|a_n|r^n-1 converges. However, ![](https://cdn.steemitimages.com/DQmUwC2VjQYAkr3dFqfuRMfaZdP7vxfsxoXUXrfZk1UPMnb/image.png) Since 1/r is just a constant, this implies that ∑^∞_n=0 |a_n|rⁿ converges, which in turn implies that ∑^∞_n=0 a_nrⁿ converges. This is a contradiction since r > R. Therefore, ∑^∞_n=0 na_nz^n-1 diverges for all z ϵ C with |z| > R. Thus we have shown that if ∑^∞_n=0 a_nz_n has a radius of convergence R > 0, then ∑^∞_n=0 na_nz^n-1 converges for |z| < R, and diverges for |z| > R, that is, the radius of convergence of this power series is also R. #### Lemma Integral Proof: Now let R' > 0 be the radius of convergence of ∑^∞_n=0 a_nzⁿ⁺¹/(n+1), then from the above, the series ∑^∞_n=0 a_nz_n also has a radius of convergence R', and therefore R' = R. ![](https://cdn.steemitimages.com/DQmWDS3ACqt2fTR2K6k8LbiBYBPdXTCfesXQtJvq74dNomg/image.png) And now the promised result, with nary (or not) a mention of uniform convergence. --- ### Theorem 1 Using z = (x - a) Note that the theorem the PDF proof uses involves the term z but we can make it in the form shown in my calculus book by merely replacing it with z = (x - a). ![](https://cdn.steemitimages.com/DQmTKrvfuB1fGXjPQkFNDqT2AFaA1f7gPADecDu9GbRSVBz/image.png) Note also that the integral part is from 0 to z which thus is a definite integral and merely results in removing the constant of integration present in the form of this theorem from my calculus book. --- ### Theorem 1a Derivative Proof: (a) Let z ϵ C with |z| < R, and choose H > 0 so that |z| + H < R (z and H are fixed). Now let h ϵ C be such that 0 < |h| ≤ H and define: ![](https://cdn.steemitimages.com/DQmPwiMsJuZvY5awr2NwtFKSjjcHBMko6yFq8cy31cTk7MR/image.png) First, recall the definition of a derivative as a function. [https://youtu.be/0rjGMpM06Eg](https://youtu.be/0rjGMpM06Eg) >Retrieved: 22 December 2019 >Archive: https://archive.ph/jVuBK ![](https://cdn.steemitimages.com/DQmURRKyGz3nsmy8ecqCZZnqGCwG31HKfbvboJpcfk6aTBw/image.png) Now, we can do some algebra to get this derivative form: ![](https://cdn.steemitimages.com/DQmSy9TGmgL99WCLm9sN4irAiKg3DKLf1ssc35hipXodKC4/image.png) Therefore; and taking the absolute values of both sides, we have: ![](https://cdn.steemitimages.com/DQmRrr6wARxBSZTcc1Sm6aV69nRsdRkYvc18wYAawERD37w/image.png) #### Brief Overview of the Binomial Theorem This proof utilizes the Binomial Theorem in Summation Form (hence have two summations) to simplify the (z + h)ⁿ term. This theorem is beyond what I have covered so far in my videos, so for now I will just list a brief overview and formulation below. https://en.wikipedia.org/wiki/Binomial_theorem >Retrieved: 26 December 2019 >Archive: https://archive.ph/7hDUV >Binomial theorem >In elementary algebra, the binomial theorem (or binomial expansion) describes the algebraic expansion of powers of a binomial. According to the theorem, it is possible to expand the polynomial (x + y)ⁿ into a sum involving terms of the form ax^by^c, where the exponents b and c are nonnegative integers with b + c = n, and the coefficient a of each term is a specific positive integer depending on n and b. For example (for n = 4), > ![](https://cdn.steemitimages.com/DQmVNPNJunaVtR6c3HDVyQETLGZtMPLJg2gdiwmjsLDYRED/image.png) > >The coefficient a in the term of ax^by^c is known as the binomial coefficient: > ![](https://cdn.steemitimages.com/DQme2AjmFao4bKD3bC5NXk1TEU1z3FWqmmZgZqLofFoJQyy/image.png) > >(the two have the same value). These coefficients for varying n and b can be arranged to form Pascal's triangle. These numbers also arise in combinatorics, where (ⁿ_b) gives the number of different combinations of b elements that can be chosen from an n-element set. Therefore (ⁿ_b) is often pronounced as "n choose b". > ![](https://cdn.steemitimages.com/DQmPgDNmNNhw7KFMpahTW7CrmV96gLHVE9vJvTPZYML6ZCR/image.png) >The binomial coefficient (ⁿ_b) appears as the bth entry in the nth row of Pascal's triangle (counting starts at 0). Each entry is the sum of the two above it. > >… > ![](https://cdn.steemitimages.com/DQmPvLNscHTadpjT2p6SUm5sUxhPPUUzDpFiLMUabJKgNqt/image.png) > >… > ![](https://cdn.steemitimages.com/DQmSAFUNLYksVhc6Kq5XM3gTaSnxjvRZS4sQaoGeU2KKkT6/image.png) > >… > ![](https://cdn.steemitimages.com/DQmQe5LKgEjDLmXixk4i5yv1iMYSX5XjLGRnzf5M8vTqRXJ/image.png) > >>**MES Note:** Note the symmetry in the formula and terms. Note also the basic procedure of utilizing double summations: ![](https://cdn.steemitimages.com/DQma26G6hhJAjrfMdHVm6J9iqpdoRaDbMBjwUQXF7ksRDaA/image.png) To simplify our earlier expression, first note the following pattern of the first two terms for any value of n: ![](https://cdn.steemitimages.com/DQmNwj9uB9SU52gFChw5t6bU9eeoxsgfGjQxCGVHpYJprq9/image.png) The first two terms are always: ![](https://cdn.steemitimages.com/DQmUmEvMFGLerEFeogsaBc5fSgigrx1KXDBNu6senfUyvv9/image.png) Thus starting from our earlier expression, we can now get to where the PDF proof magically jumps to: ![](https://cdn.steemitimages.com/DQmTMaD2NkHT7W95DwGyuYwE4SuAmUcQPyUPMgpSjaabH7a/image.png) And simplifying further and factoring out a |h| we get: ![](https://cdn.steemitimages.com/DQmYgrs9nRxGqcEYxh6hX1XsZitarPw4hTFx7iJjuWLzDY6/image.png) Now recall that we defined h ϵ C be such that 0 < |h| ≤ H, thus we can continue further: ![](https://cdn.steemitimages.com/DQmcwKi17idHkqugGgbVq59fw7pmp3cvghv2aYB65Vr78E2/image.png) Therefore, we have: ![](https://cdn.steemitimages.com/DQmdQ5f6F4cgyzD3pcVCzawraAvKXBh6mfdnCVGnGWrwT98/image.png) Letting h → 0, then for |z| < R we have: ![](https://cdn.steemitimages.com/DQmYPCkfJD1NqM4Y3Ap6W5PNqXf7sHXYEQG5zydP2rKVd6q/image.png) --- ### Theorem 1b Integral Proof: ![](https://cdn.steemitimages.com/DQmTKrvfuB1fGXjPQkFNDqT2AFaA1f7gPADecDu9GbRSVBz/image.png) (b) Now let: ![](https://cdn.steemitimages.com/DQmbg5dMAzsHrzogN1KNznVrBQFBHnLxoTkeQJb4nwobP9r/image.png) and define: ![](https://cdn.steemitimages.com/DQmafYAEiAX9i7Ak2w3eodnRT7vQ34wsiS6x8zSbnZGx5DD/image.png) Then, from part (a), f is a function locally given by a convergent power series and therefore differentiable in the domain |z| < R, and so is continuous there, thus its antiderivative and therefore its integral exists via the Fundamental Theorem of Calculus. >**MES Note:** A function that is locally given by a convergent power series and therefore differentiable is called an "analytic function". [https://youtu.be/3o8Q6UJzJyk](https://youtu.be/3o8Q6UJzJyk) ![](https://cdn.steemitimages.com/DQmdSdWV8s2GzhkGtcktGMexHt75GsTW4R7ARH25FymrCGs/image.png) [https://youtu.be/yuIl-BPQHss](https://youtu.be/yuIl-BPQHss) ![](https://cdn.steemitimages.com/DQmXoiNi9fyh5qXQRpjQa2v895L72buqj454gXSYjSUEQZS/image.png) And this antiderivative of f is just F since F' = f, as per part (a) of this theorem: ![](https://cdn.steemitimages.com/DQmfHNR2gZQYRd6VmJzjbhnjMwtapAaiYLwK1DdLagNTvDo/image.png) Thus F is an antiderivative of f in the domain |z| < R. Therefore, if |z| < R and P is any contour or path joining 0 and z which lies entirely inside the circle of convergence, then we can take the integral: ![](https://cdn.steemitimages.com/DQmXTyeJFfhHLeNncYhvm9EfgLodGyetv7pe2cKf4Zi3L8z/image.png) --- **PDF Proof Note:** If the power series: ![](https://cdn.steemitimages.com/DQmdFqrFamRp1VJdjpBWUfuqGD5ihoDtB2L85BkWsrTFRYZ/image.png) has radius of convergence R > 0, then f'(z) exists for all z with |z| < R, that is, any power series is an analytic function inside its circle of convergence. ---

mesduality

Experts