1 00:00:00,320 --> 00:00:06,685 Alternating series are awesome. 2 00:00:06,685 --> 00:00:08,449 [SOUND]. 3 00:00:08,449 --> 00:00:11,590 Why do we care about alternating series? 4 00:00:11,590 --> 00:00:13,640 Well, if you're trying to analyze the convergence of a 5 00:00:13,640 --> 00:00:17,860 series and all of the terms in the series are non-negative, 6 00:00:17,860 --> 00:00:20,640 then you can break out all your usual convergence tests, the 7 00:00:20,640 --> 00:00:26,080 comparison test, the root test, the ratio test, the integral test. 8 00:00:26,080 --> 00:00:29,510 What about series where not all the terms are non-negative? 9 00:00:29,510 --> 00:00:33,230 So maybe I'm trying to analyze a series where this doesn't happen. 10 00:00:33,230 --> 00:00:33,510 It's not 11 00:00:33,510 --> 00:00:35,940 the case that all the terms are non-negative, but I've 12 00:00:35,940 --> 00:00:40,070 got some positive terms and some negative terms in my series. 13 00:00:40,070 --> 00:00:41,390 Well then what am I supposed to do? 14 00:00:41,390 --> 00:00:45,280 Well one thing I could do in this case is instead 15 00:00:45,280 --> 00:00:49,170 of analyzing this series directly I could look at this series. 16 00:00:49,170 --> 00:00:53,770 The sum n goes from one to infinity of the absolute values of a's of n. 17 00:00:53,770 --> 00:00:57,830 Try to show that this series converges absolutely. 18 00:00:57,830 --> 00:00:58,540 And therefore, 19 00:00:58,540 --> 00:01:00,520 this series would converge. 20 00:01:00,520 --> 00:01:03,930 And what about series that don't converge absolutely? 21 00:01:03,930 --> 00:01:07,770 Let's suppose I analyze this series, the sum, little n goes from 22 00:01:07,770 --> 00:01:11,880 one to infinity, negative one to the n plus one, divided by n. 23 00:01:11,880 --> 00:01:16,870 Now my first inclination would be to take a look at this series, the sum of the 24 00:01:16,870 --> 00:01:19,930 absolute values of these terms, with the hopes that 25 00:01:19,930 --> 00:01:23,550 I maybe could prove that this thing converges absolutely. 26 00:01:23,550 --> 00:01:24,820 But that's not true. 27 00:01:24,820 --> 00:01:28,750 This series doesn't converge absolutely, because this series diverges. 28 00:01:28,750 --> 00:01:32,010 What is the absolute value of negative one to the n plus one over n? 29 00:01:32,010 --> 00:01:34,060 This. It's just 1 over n. 30 00:01:34,060 --> 00:01:36,650 This the harmonic series, the harmonic series 31 00:01:36,650 --> 00:01:41,050 diverges so this series does not converge absolutely. 32 00:01:41,050 --> 00:01:42,720 So we've gotta do something else. 33 00:01:42,720 --> 00:01:45,900 And indeed, the ultimate in series tests comes to save the day. 34 00:01:45,900 --> 00:01:48,800 I'll rewrite this series like this, as the sum 35 00:01:48,800 --> 00:01:51,330 n goes to infinity of negative 1 to the n plus 36 00:01:51,330 --> 00:01:56,810 1 times a sub n Where a-sub-n is 1 over n. 37 00:01:56,810 --> 00:02:03,200 And now what I note is that the sequence a-sub-n is a decreasing sequence 38 00:02:03,200 --> 00:02:09,840 all of the terms of that sequence are positive, and the limit of a-sub-n is 0. 39 00:02:09,840 --> 00:02:13,970 Just the limit of 1 over n as it approaches infinity is 0 And 40 00:02:13,970 --> 00:02:19,570 that means, by the alternating series test, 41 00:02:19,570 --> 00:02:23,830 the series that I'm studying here converges. 42 00:02:23,830 --> 00:02:27,060 Now I've just shown that it doesn't converge absolutely, 43 00:02:27,060 --> 00:02:30,080 so what the opening series test is actually showing. 44 00:02:30,080 --> 00:02:33,300 Is it this series converges conditionally. 45 00:02:33,300 --> 00:02:36,860 This is partly why alternating series are so important. 46 00:02:36,860 --> 00:02:39,120 Because of the alternating series test, we can 47 00:02:39,120 --> 00:02:45,530 prove that an alternating series converges without using our other conversions tests 48 00:02:45,530 --> 00:02:50,220 on the series of the absolute values, without proving absolute conversions. 49 00:02:50,220 --> 00:02:55,030 We don't honestly have that many other tools for showing that a series, some 50 00:02:55,030 --> 00:02:59,190 of whose terms are positive, some of whose terms are negative, converges at all. 51 00:02:59,190 --> 00:03:03,310 Normally the way we'd approach those is by showing that they converge absolutely. 52 00:03:03,310 --> 00:03:04,160 So what are we supposed 53 00:03:04,160 --> 00:03:09,100 to do about those series which don't converge absolutely but do converge? 54 00:03:09,100 --> 00:03:12,960 What can we do about the conditionally convergent series in our world? 55 00:03:12,960 --> 00:03:17,240 Well, the alternating series test is a great tool in our toolbox. 56 00:03:17,240 --> 00:03:21,100 And the alternating series test gives us more than just convergence. 57 00:03:21,100 --> 00:03:24,700 Suppose I want to approximate the value of this series. 58 00:03:24,700 --> 00:03:25,760 What could I do? 59 00:03:25,760 --> 00:03:29,330 It's an alternating series, so I know that the even partial 60 00:03:29,330 --> 00:03:31,450 sums in this case will be underestimates of 61 00:03:31,450 --> 00:03:34,330 the odd partial sums that will be overestimates. 62 00:03:34,330 --> 00:03:38,250 So, here is one of those odd partial sums, the sum of the first 3 terms. 63 00:03:38,250 --> 00:03:40,910 1 over 1, minus 1 over 2, plus 1 over 3. 64 00:03:40,910 --> 00:03:44,660 That's an overestimate, the true value of this series. 65 00:03:44,660 --> 00:03:48,640 And here's an even partial sum, sum of the first four terms. 66 00:03:48,640 --> 00:03:52,020 And that's an underestimate, the true value of this series. 67 00:03:52,020 --> 00:03:54,070 And then I could actually figure out what these are, right? 68 00:03:54,070 --> 00:03:59,620 1 minus a half is a half plus a third. that's 5 6ths. 69 00:03:59,620 --> 00:04:06,850 And here I've got 5 6ths minus a quarter. That's 7 12ths. 70 00:04:06,850 --> 00:04:11,000 So I know that 7 12ths is less than or equal to the 71 00:04:11,000 --> 00:04:14,860 true value of the series, is less than or equal to 5 6ths. 72 00:04:14,860 --> 00:04:16,620 Let me rewrite five sixths. 73 00:04:16,620 --> 00:04:19,120 Alright I could call five sixths, ten twelfths. 74 00:04:19,120 --> 00:04:21,133 It makes it a little bit clearer. I think that it's 75 00:04:21,133 --> 00:04:21,843 [LAUGH] 76 00:04:21,843 --> 00:04:27,320 actually bigger than seven twelfths. Now it turns out that this series is value 77 00:04:27,320 --> 00:04:32,925 is actually log 2. So what I've done here is shown that log 78 00:04:32,925 --> 00:04:38,510 2. Is between 7 12ths and 10 12ths, right? 79 00:04:38,510 --> 00:04:41,150 What I've really done is I've shown this. Alright. 80 00:04:41,150 --> 00:04:43,800 I've got this inequality now but this is just coming 81 00:04:43,800 --> 00:04:47,190 because I've expressed log 2 as the value of an alternating 82 00:04:47,190 --> 00:04:50,880 series, and alternating series provide these 83 00:04:50,880 --> 00:04:53,939 very convenient error bounds on my estimates. 84 00:04:54,990 --> 00:04:59,520 I could multiply everything here by 12 and that would tell 85 00:04:59,520 --> 00:05:03,170 me that 7 is less than or equal to 12 times 86 00:05:03,170 --> 00:05:06,720 log 2 which by properties of log rhythms is log of 87 00:05:06,720 --> 00:05:09,621 2 to the 12th and that's less than or equal to 10. 88 00:05:11,500 --> 00:05:12,360 And then I 89 00:05:12,360 --> 00:05:15,460 could e to the all three of these things, right. 90 00:05:15,460 --> 00:05:18,998 I could apply the exponential function to all three of these things, 91 00:05:18,998 --> 00:05:21,316 and I'd find out that e to the 7th is less than 92 00:05:21,316 --> 00:05:23,329 or equal to 2 to the 12th as e to the log 93 00:05:23,329 --> 00:05:26,261 undoes the log, is less than or equal to e to the 10th. 94 00:05:26,261 --> 00:05:32,816 And 2 to the 12th is 4096, so what I've shown just by playing 95 00:05:32,816 --> 00:05:37,734 around with alternating series is this. That 4096 96 00:05:37,734 --> 00:05:42,692 is between these two numbers, and I mean this isn't great, I mean these bounds 97 00:05:42,692 --> 00:05:48,380 aren't fantastic, I mean I didn't add up very many terms in this series, right? 98 00:05:48,380 --> 00:05:51,930 But still, I think it demonstrates the principle that one of the coolest 99 00:05:51,930 --> 00:05:55,940 things about alternating series is that alternating series provide these 100 00:05:55,940 --> 00:06:02,062 convenient bounds for you. 101 00:06:02,062 --> 00:06:09,109 [NOISE]