Integral Calculus 201-SN3-RE (201-NYB) • CEGEP, Montreal

Corrected exercises: series with sin, cos, exp and ln terms, 201-SN3-RE (201-NYB)

This is a corrected exercise set on infinite series for Integral Calculus, 201-SN3-RE (formerly 201-NYB), set entirely at exam level. It complements the set on infinite series: that one presents the tests one by one, this one applies them where they really hurt, when the general term contains a sine, a cosine, an exponential or a logarithm. You will work on the standard asymptotic equivalents and the Limit Comparison Test, the ratio test and its thresholds in ke\frac{k}{e}, the Alternating Series Test, absolute and conditional convergence, discussion according to a parameter and estimating the remainder of a series.

The method is always the same, and it is the one to make automatic: before choosing a test, look for the EQUIVALENT of the general term as n→∞n\to\infty. Almost all of these series then reduce to a known p-series, and the test becomes a formality. A student who rushes into the ratio test without looking at the general term wastes time, because on most of these series the ratio tends to 1 and settles nothing: exercise 8 shows why this value cannot say anything, and which test to choose instead.

By the end of the fifteen exercises, you can classify a series as absolutely convergent, conditionally convergent or divergent with two justified studies (exercises 2 and 7), discuss whether a series converges according to a parameter α\alpha, boundary cases included (exercise 6), bound the remainder of a series with integrals or with the alternating series bound (exercise 9), and carry out a complete problem on a family of alternating series with a logarithm (exercise 10). Part C goes through the classics: five standard equivalents in one line each, alternating series built on the usual functions, the scale of growth rates, the overhanging stack of books, which can reach beyond any length because the harmonic series diverges (exercise 14), and the rearrangement of the alternating harmonic series, whose sum changes with the order of the terms (exercise 15).

15 corrected exercises • 150 points • 225 minutes

This chapter is part of 201-SN3-RE, every chapter with its set and sheet Before you start Revision sheet: the traps and the method for this chapter

Self-checking set Type your answers and check them question by question: the page tells you right or wrong before you open the solution. With an account, every answer right on the first try earns points, and your right answers stay filled in when you come back.

Course recap

  • • Standard equivalents at 00, to know by heart: sin⁡u∼u\sin u\sim u, tan⁡u∼u\tan u\sim u, 1−cos⁡u∼u221-\cos u\sim\dfrac{u^{2}}{2}, eu−1∼ue^{u}-1\sim u, ln⁡(1+u)∼u\ln(1+u)\sim u. They are applied with u=1nu=\dfrac{1}{n}, which does tend to 0.
  • • Limit Comparison Test: if anbn→L\dfrac{a_{n}}{b_{n}}\to L finite and nonzero, with an,bn>0a_{n},b_{n}>0, then the two series BEHAVE THE SAME WAY (both converge or both diverge).
  • • p-series: ∑1np\sum\dfrac{1}{n^{p}} converges if and only if p>1p>1.
  • • Ratio test (d'Alembert): if an+1an→L\dfrac{a_{n+1}}{a_{n}}\to L, the series converges if L<1L<1, diverges if L>1L>1, and the test is INCONCLUSIVE if L=1L=1.
  • • A limit to remember: (1+1n)n→e\left(1+\dfrac{1}{n}\right)^{n}\to e, so nn(n+1)n→1e\dfrac{n^{n}}{(n+1)^{n}}\to\dfrac{1}{e}. This is what makes the thresholds in k/ek/e appear.
  • • Alternating series: if ∣an∣|a_{n}| decreases to 0, the series ∑(−1)nan\sum(-1)^{n}a_{n} converges and the remainder satisfies ∣RN∣≤∣aN+1∣|R_{N}|\leq|a_{N+1}|.
  • • Absolutely convergent: ∑∣an∣\sum|a_{n}| converges. Conditionally convergent: ∑an\sum a_{n} converges but ∑∣an∣\sum|a_{n}| diverges.

Part A: The tests on the usual functions (/50)

Exercise 1: The ratio test and the thresholds k/e

The ratio test (d'Alembert's test) is made for factorials and nnth powers. Questions b and c form a pair: the same series up to a constant, with opposite behaviours.

  • a) Determine whether ∑n≥0enn!\sum_{n\geq 0}\frac{e^{n}}{n!} converges or diverges. Also give the exact value of its sum.
  • b) Determine whether ∑n≥12n n!nn\sum_{n\geq 1}\frac{2^{n}\,n!}{n^{n}} converges or diverges.
  • c) Determine whether ∑n≥13n n!nn\sum_{n\geq 1}\frac{3^{n}\,n!}{n^{n}} converges or diverges. Compare with b and give the value of kk that separates the two behaviours.
  • d) Study ∑n≥1n22n\sum_{n\geq 1}\frac{n^{2}}{2^{n}} with the ratio test, then give its exact sum, knowing that ∑n≥1n2xn=x(1+x)(1−x)3\sum_{n\geq 1}n^{2}x^{n}=\frac{x(1+x)}{(1-x)^{3}} for ∣x∣<1|x|<1.
  • e) Apply the ratio test to ∑n≥2ln⁡nn\sum_{n\geq 2}\frac{\ln n}{n}. What happens, and how do you conclude?

Type your answers, the page tells you right or wrong 0/11

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) Ratio en+1→0\frac{e}{n+1}\to 0; sum ee≈15.154e^{e}\approx 15.154
  • b) 2e<1\frac{2}{e}<1: converges
  • c) 3e>1\frac{3}{e}>1: diverges; threshold k=ek=e
  • d) L=12L=\frac{1}{2}; sum 66
  • e) Ratio tends to 11; bounded below by 1n\frac{1}{n}: diverges
a)

The ratio is en+1(n+1)!⋅n!en=en+1→0<1\dfrac{e^{n+1}}{(n+1)!}\cdot\dfrac{n!}{e^{n}}=\dfrac{e}{n+1}\to 0<1: the series converges. Its sum is immediate once you recognize the exponential series ∑n≥0xnn!=ex\sum_{n\geq 0}\frac{x^{n}}{n!}=e^{x} evaluated at x=ex=e: the sum is ee≈15.154e^{e}\approx 15.154.

b)

an+1an=2n+1(n+1)!(n+1)n+1⋅nn2nn!=2⋅(n+1) nn(n+1)n+1=2(nn+1)n=2(1+1n)n\dfrac{a_{n+1}}{a_{n}}=\dfrac{2^{n+1}(n+1)!}{(n+1)^{n+1}}\cdot\dfrac{n^{n}}{2^{n}n!}=2\cdot\dfrac{(n+1)\,n^{n}}{(n+1)^{n+1}}=2\left(\dfrac{n}{n+1}\right)^{n}=\dfrac{2}{\left(1+\frac{1}{n}\right)^{n}}. Since (1+1n)n→e\left(1+\frac{1}{n}\right)^{n}\to e, the ratio tends to 2e≈0.736<1\dfrac{2}{e}\approx 0.736<1: the series CONVERGES.

c)

The computation is identical and gives 3e≈1.104>1\dfrac{3}{e}\approx 1.104>1: the series DIVERGES. The threshold is therefore k=ek=e: the series ∑knn!nn\sum\frac{k^{n}n!}{n^{n}} converges for k<ek<e and diverges for k>ek>e. Two series that look almost identical fall on opposite sides because 2<e<32<e<3. This is the typical question that penalizes those who answer by guesswork.

d)

an+1an=(n+1)22n+1⋅2nn2=12(n+1n)2→12<1\dfrac{a_{n+1}}{a_{n}}=\dfrac{(n+1)^{2}}{2^{n+1}}\cdot\dfrac{2^{n}}{n^{2}}=\dfrac{1}{2}\left(\dfrac{n+1}{n}\right)^{2}\to\dfrac{1}{2}<1: convergence. With the given formula at x=12x=\frac{1}{2}: 12(32)(12)3=3418=6\dfrac{\frac{1}{2}\left(\frac{3}{2}\right)}{\left(\frac{1}{2}\right)^{3}}=\dfrac{\frac{3}{4}}{\frac{1}{8}}=6. The sum is exactly 6.

e)

The ratio is ln⁡(n+1)n+1⋅nln⁡n→1\dfrac{\ln(n+1)}{n+1}\cdot\dfrac{n}{\ln n}\to 1: the ratio test is INCONCLUSIVE. This is the general situation for series whose terms decrease only polynomially, and on them this test is blind. You conclude another way: for n≥3n\geq 3, ln⁡n>1\ln n>1 so ln⁡nn>1n\dfrac{\ln n}{n}>\dfrac{1}{n}, and the harmonic series diverges. By the Direct Comparison Test, the series DIVERGES.

24681012140.511.52ratio in c) tends to 3/e ≈ 1.10 > 1: divergesratio in b) tends to 2/e ≈ 0.74 < 1: converges

Tick the exercises you have done or want to review: a free account, no password, keeps your ticks and your right answers from one visit to the next, tells you which chapter to tackle next and lets you ask for the exercise you are missing. Create your space, an email is enough.

Exercise 2: Alternating series: convergence, conditional convergence and the remainder

The Alternating Series Test requires THREE hypotheses: terms of alternating sign, decreasing absolute values, and a limit of zero. If a single one is missing, the test does not apply.

  • a) Show that ∑n≥1(−1)n+1n2\sum_{n\geq 1}\frac{(-1)^{n+1}}{n^{2}} converges. Given that its sum is π212\frac{\pi^{2}}{12}, how many terms are needed to approximate it to within 10−310^{-3}?
  • b) Study ∑n≥1(−1)nsin⁡1n\sum_{n\geq 1}(-1)^{n}\sin\frac{1}{n}: convergence, then absolute convergence. Conclude.
  • c) Same work for ∑n≥1(−1)nnn2+1\sum_{n\geq 1}(-1)^{n}\frac{n}{n^{2}+1}.
  • d) Study ∑n≥1(−1)n(1+1n)\sum_{n\geq 1}(-1)^{n}\left(1+\frac{1}{n}\right). Be careful, one of the three hypotheses fails.
  • e) State the difference between an absolutely convergent series and a conditionally convergent series, and give one practical consequence of this difference.

Type your answers, the page tells you right or wrong 0/5

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) Converges; N=31N=31 terms
  • b) Conditionally convergent
  • c) Conditionally convergent: nn2+1∼1n\frac{n}{n^{2}+1}\sim\frac{1}{n}
  • d) Term tends to 11: divergent
  • e) Only absolute convergence allows reordering
a)

The sequence 1n2\frac{1}{n^{2}} is positive, decreasing and tends to 0: the Alternating Series Test applies and the series converges. The remainder after NN terms satisfies ∣RN∣≤1(N+1)2|R_{N}|\leq\dfrac{1}{(N+1)^{2}}. We want 1(N+1)2<10−3\dfrac{1}{(N+1)^{2}}<10^{-3}, that is (N+1)2>1000(N+1)^{2}>1000, so N+1>31.6N+1>31.6 and N≥31N\geq 31. Check: with 31 terms, the actual gap with π212≈0.8224670\frac{\pi^{2}}{12}\approx 0.8224670 is 5.0×10−45.0\times 10^{-4}, indeed below the bound.

b)

Convergence: sin⁡1n\sin\frac{1}{n} is positive for n≥1n\geq 1, decreasing (because 1n\frac{1}{n} decreases in (0,1](0,1], where the sine is increasing) and tends to sin⁡0=0\sin 0=0. The test applies, so the series converges. Absolute convergence: sin⁡1n∼1n\sin\frac{1}{n}\sim\frac{1}{n}, so by the Limit Comparison Test ∑∣(−1)nsin⁡1n∣\sum\left|(-1)^{n}\sin\frac{1}{n}\right| behaves like the harmonic series, which diverges. The series is therefore CONDITIONALLY CONVERGENT.

c)

nn2+1\dfrac{n}{n^{2}+1} is positive, tends to 0, and decreases from n=1n=1 on. The alternating series converges. In absolute value, nn2+1∼1n\dfrac{n}{n^{2}+1}\sim\dfrac{1}{n}, so the series of absolute values diverges: once again, CONDITIONALLY CONVERGENT. The trap would be to conclude absolute convergence on seeing an n2n^{2} in the denominator, without noticing the nn in the numerator.

d)

Here ∣an∣=1+1n→1≠0\left|a_{n}\right|=1+\frac{1}{n}\to 1\neq 0. The hypothesis of a zero limit fails, so the Alternating Series Test does not apply. Better still: the general term does not tend to 0, so by the Test for Divergence the series DIVERGES outright. Alternating signs change nothing: they never rescue a series whose terms do not vanish at infinity.

e)

Absolutely convergent means that ∑∣an∣\sum|a_{n}| converges, which implies that ∑an\sum a_{n} converges. Conditionally convergent means that ∑an\sum a_{n} converges while ∑∣an∣\sum|a_{n}| diverges. A major practical consequence: in an absolutely convergent series you can reorder the terms freely without changing the sum, whereas in a conditionally convergent series, rearranging the terms can produce ANY sum at all (Riemann's rearrangement theorem). Absolute convergence is therefore the only kind that allows you to handle the sum like a finite sum.

123456789101112130.20.40.60.811.2sum = ln 2 ≈ 0.693the partial sums BRACKET the limithence the bound on the remainder:|Rₙ| ≤ first omitted termn

Exercise 3: Terms with sine and cosine

Each question is settled by writing the asymptotic equivalent of the general term. Write it explicitly before anything else: that is the line that earns the marks.

  • a) ∑n≥1sin⁡1n2\sum_{n\geq 1}\sin\frac{1}{n^{2}}
  • b) ∑n≥1(1−cos⁡1n)\sum_{n\geq 1}\left(1-\cos\frac{1}{n}\right)
  • c) ∑n≥1tan⁡1n\sum_{n\geq 1}\tan\frac{1}{n}
  • d) ∑n≥1cos⁡(nπ)n\sum_{n\geq 1}\frac{\cos(n\pi)}{n} (start by simplifying the numerator)
  • e) ∑n≥1∣sin⁡n∣n2\sum_{n\geq 1}\frac{|\sin n|}{n^{2}}

Type your answers, the page tells you right or wrong 0/6

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) ∼1n2\sim\frac{1}{n^{2}}: converges
  • b) ∼12n2\sim\frac{1}{2n^{2}}: converges
  • c) ∼1n\sim\frac{1}{n}: diverges
  • d) (−1)nn\frac{(-1)^{n}}{n}: conditionally convergent, sum −ln⁡2-\ln 2
  • e) Bounded above by 1n2\frac{1}{n^{2}}: converges
a)

Since 1n2→0\frac{1}{n^{2}}\to 0 and sin⁡u∼u\sin u\sim u, we have sin⁡1n2∼1n2\sin\frac{1}{n^{2}}\sim\frac{1}{n^{2}}. The terms are positive and the Limit Comparison Test applies: same behaviour as ∑1n2\sum\frac{1}{n^{2}}, a p-series with p=2>1p=2>1. The series CONVERGES.

b)

1−cos⁡u∼u221-\cos u\sim\dfrac{u^{2}}{2}, so 1−cos⁡1n∼12n21-\cos\frac{1}{n}\sim\dfrac{1}{2n^{2}}. Same behaviour as ∑1n2\sum\frac{1}{n^{2}}: the series CONVERGES. The factor 12\frac{1}{2} changes nothing; a nonzero constant never affects whether a series converges.

c)

tan⁡u∼u\tan u\sim u, so tan⁡1n∼1n\tan\frac{1}{n}\sim\frac{1}{n}. Same behaviour as the harmonic series: the series DIVERGES. Compare with question a: the square in the denominator makes all the difference, while the sine and the tangent play the same role.

d)

You have to see through the disguise: cos⁡(nπ)=(−1)n\cos(n\pi)=(-1)^{n} for every integer nn. The series is therefore ∑(−1)nn\sum\frac{(-1)^{n}}{n}, the alternating harmonic series. It converges by the Alternating Series Test, but not absolutely: it is CONDITIONALLY CONVERGENT, and its sum is −ln⁡2≈−0.693-\ln 2\approx-0.693. Treating it as a complicated series with terms of arbitrary sign, without recognizing the (−1)n(-1)^{n}, throws away the whole point of the question.

e)

No equivalent is sought here, because ∣sin⁡n∣|\sin n| oscillates without a limit. Bound it instead: 0≤∣sin⁡n∣n2≤1n20\leq\dfrac{|\sin n|}{n^{2}}\leq\dfrac{1}{n^{2}}, and ∑1n2\sum\frac{1}{n^{2}} converges. By the Direct Comparison Test, the series CONVERGES (absolutely, in fact). This is the reflex to have whenever a sine or cosine of argument nn appears: it has no equivalent, but it is bounded, which is almost always enough.

Exercise 4: Terms with the exponential

The exponential crushes everything: a series whose term contains e−ne^{-n} almost always converges. But an e1/ne^{1/n} does not decrease in the same way at all, and that is where the question is decided.

  • a) ∑n≥1n2e−n\sum_{n\geq 1}n^{2}e^{-n}. Also give its exact sum using ∑n≥1n2xn=x(1+x)(1−x)3\sum_{n\geq 1}n^{2}x^{n}=\frac{x(1+x)}{(1-x)^{3}}.
  • b) ∑n≥1e−n\sum_{n\geq 1}e^{-\sqrt{n}}. Is the ratio test suitable? If not, which test is?
  • c) ∑n≥1(e1/n−1)\sum_{n\geq 1}\left(e^{1/n}-1\right)
  • d) ∑n≥11en−n\sum_{n\geq 1}\frac{1}{e^{n}-n}
  • e) ∑n≥1n e−n2\sum_{n\geq 1}n\,e^{-n^{2}}

Type your answers, the page tells you right or wrong 0/7

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) L=1eL=\frac{1}{e}; sum ≈1.9923\approx 1.9923
  • b) Ratio tends to 11; Integral Test: converges
  • c) ∼1n\sim\frac{1}{n}: diverges
  • d) ∼e−n\sim e^{-n}: converges
  • e) Ratio tends to 00: converges
a)

Ratio test: (n+1)2e−(n+1)n2e−n=1e(n+1n)2→1e≈0.368<1\dfrac{(n+1)^{2}e^{-(n+1)}}{n^{2}e^{-n}}=\dfrac{1}{e}\left(\dfrac{n+1}{n}\right)^{2}\to\dfrac{1}{e}\approx 0.368<1: the series CONVERGES. With the formula at x=e−1x=e^{-1}: e−1(1+e−1)(1−e−1)3≈1.9923\dfrac{e^{-1}(1+e^{-1})}{(1-e^{-1})^{3}}\approx 1.9923.

b)

The ratio test gives e−(n+1−n)e^{-\left(\sqrt{n+1}-\sqrt{n}\right)}, and since n+1−n=1n+1+n→0\sqrt{n+1}-\sqrt{n}=\dfrac{1}{\sqrt{n+1}+\sqrt{n}}\to 0, the ratio tends to e0=1e^{0}=1: the test is inconclusive. Use the Integral Test, the function x↦e−xx\mapsto e^{-\sqrt{x}} being positive, continuous and decreasing. With u=xu=\sqrt{x}, an antiderivative is −2(x+1)e−x-2\left(\sqrt{x}+1\right)e^{-\sqrt{x}}, whose limit at +∞+\infty is 0. The integral ∫1∞e−xdx\int_{1}^{\infty}e^{-\sqrt{x}}dx is therefore finite and the series CONVERGES. An exponential in −n-\sqrt{n} decreases much more slowly than one in −n-n, but still fast enough to beat any power.

c)

eu−1∼ue^{u}-1\sim u gives e1/n−1∼1ne^{1/n}-1\sim\dfrac{1}{n}. By the Limit Comparison Test with the harmonic series, the series DIVERGES. This is the contrast with question a: it is not the presence of an exponential that decides, it is its argument. Here the argument tends to 0, so the exponential tends to 1 and crushes nothing at all.

d)

For large nn, en−n∼ene^{n}-n\sim e^{n} because nn is negligible compared with ene^{n}. Hence 1en−n∼e−n\dfrac{1}{e^{n}-n}\sim e^{-n}, the general term of a geometric series with ratio 1e<1\frac{1}{e}<1, which converges. By the Limit Comparison Test, the series CONVERGES. You must still note that en−n>0e^{n}-n>0 for every n≥1n\geq 1; otherwise the comparison between series of positive terms would be illegitimate.

e)

Ratio test: (n+1)e−(n+1)2n e−n2=n+1n e−(2n+1)→0<1\dfrac{(n+1)e^{-(n+1)^{2}}}{n\,e^{-n^{2}}}=\dfrac{n+1}{n}\,e^{-(2n+1)}\to 0<1. The series CONVERGES, and very quickly: its terms decrease like e−n2e^{-n^{2}}, so a few terms are enough to obtain the sum to about ten decimal places.

Exercise 5: Terms with the logarithm

The logarithm is slow: it always ends up losing against a power, but it wins against a constant. The five questions sweep exactly along this boundary.

  • a) ∑n≥2ln⁡nn2\sum_{n\geq 2}\frac{\ln n}{n^{2}}
  • b) ∑n≥2ln⁡nn\sum_{n\geq 2}\frac{\ln n}{n}
  • c) ∑n≥1ln⁡(1+1n)\sum_{n\geq 1}\ln\left(1+\frac{1}{n}\right). Compute the partial sum SNS_{N} in closed form before concluding.
  • d) ∑n≥21(ln⁡n)n\sum_{n\geq 2}\frac{1}{(\ln n)^{n}}
  • e) ∑n≥21n (ln⁡n)3/2\sum_{n\geq 2}\frac{1}{n\,(\ln n)^{3/2}}

Type your answers, the page tells you right or wrong 0/7

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) Bounded above by 1n3/2\frac{1}{n^{3/2}}: converges
  • b) Bounded below by 1n\frac{1}{n}: diverges
  • c) SN=ln⁡(N+1)S_{N}=\ln(N+1): diverges
  • d) Root 1ln⁡n→0\frac{1}{\ln n}\to 0: converges
  • e) ∫duu3/2\int\frac{du}{u^{3/2}}: converges
a)

You cannot compare directly with 1n2\frac{1}{n^{2}}, because ln⁡nn2\frac{\ln n}{n^{2}} is larger than it. Slip in an intermediate power: ln⁡n\ln n is negligible compared with n1/2n^{1/2}, so from some index on ln⁡nn2≤n1/2n2=1n3/2\dfrac{\ln n}{n^{2}}\leq\dfrac{n^{1/2}}{n^{2}}=\dfrac{1}{n^{3/2}}, the term of a convergent p-series (p=32>1p=\frac{3}{2}>1). The series CONVERGES. The Integral Test gives the same conclusion.

b)

For n≥3n\geq 3 we have ln⁡n>1\ln n>1, so ln⁡nn>1n\dfrac{\ln n}{n}>\dfrac{1}{n}. The harmonic series diverges, so by the Direct Comparison Test the series DIVERGES. Here the logarithm, however slow, makes a divergence that was already there even worse.

c)

Write ln⁡(1+1n)=ln⁡n+1n=ln⁡(n+1)−ln⁡n\ln\left(1+\frac{1}{n}\right)=\ln\dfrac{n+1}{n}=\ln(n+1)-\ln n: the sum telescopes. Hence SN=ln⁡(N+1)−ln⁡1=ln⁡(N+1)S_{N}=\ln(N+1)-\ln 1=\ln(N+1), which tends to +∞+\infty: the series DIVERGES. The equivalent ln⁡(1+1n)∼1n\ln\left(1+\frac{1}{n}\right)\sim\frac{1}{n} gives the same result, but the telescoping computation is stronger: it gives the rate of divergence, like ln⁡N\ln N, which no comparison provides.

d)

The root test is the right one here, because the term is an nnth power: ann=1ln⁡n→0<1\sqrt[n]{a_{n}}=\dfrac{1}{\ln n}\to 0<1. The series CONVERGES. The ratio test would be much more painful because of the ratio (ln⁡nln⁡(n+1))n\left(\frac{\ln n}{\ln(n+1)}\right)^{n}. Practical rule: as soon as an nnth power appears as a block, take the root, not the ratio.

e)

Integral Test, with the substitution u=ln⁡xu=\ln x: ∫2∞dxx(ln⁡x)3/2=∫ln⁡2∞duu3/2\int_{2}^{\infty}\frac{dx}{x(\ln x)^{3/2}}=\int_{\ln 2}^{\infty}\frac{du}{u^{3/2}}, which converges because 32>1\frac{3}{2}>1. The series CONVERGES. The general rule is that ∑1n(ln⁡n)p\sum\frac{1}{n(\ln n)^{p}} converges if and only if p>1p>1: the logarithm in the denominator replays the p-series test exactly, one level further.

1234567890.250.50.751y = 1/(x ln x)rectangles ABOVE the curve:series > integral, which diverges

Part B: Exam level (/50)

Exercise 6: Discussion according to a parameter

In each case, α\alpha denotes a real number. Determine whether the series converges or diverges DEPENDING on the value of α\alpha, treating the boundary cases explicitly.

  • a) ∑n≥21nαln⁡n\sum_{n\geq 2}\frac{1}{n^{\alpha}\ln n}
  • b) ∑n≥1sin⁡1nα\sum_{n\geq 1}\sin\frac{1}{n^{\alpha}} for α>0\alpha>0
  • c) ∑n≥1nαe−n\sum_{n\geq 1}n^{\alpha}e^{-n}
  • d) ∑n≥21n(ln⁡n)α\sum_{n\geq 2}\frac{1}{n(\ln n)^{\alpha}}
  • e) ∑n≥1(1−cos⁡1nα)\sum_{n\geq 1}\left(1-\cos\frac{1}{n^{\alpha}}\right) for α>0\alpha>0

Type your answers, the page tells you right or wrong 0/7

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) Converges if and only if α>1\alpha>1
  • b) Converges if and only if α>1\alpha>1
  • c) Converges for every α\alpha
  • d) Converges if and only if α>1\alpha>1
  • e) Converges if and only if α>12\alpha>\frac{1}{2}
a)

If α>1\alpha>1: we have 1nαln⁡n≤1nα\dfrac{1}{n^{\alpha}\ln n}\leq\dfrac{1}{n^{\alpha}} as soon as ln⁡n≥1\ln n\geq 1, and the p-series converges: CONVERGES. If α<1\alpha<1: choose β\beta between α\alpha and 1; since ln⁡n\ln n is negligible compared with nβ−αn^{\beta-\alpha}, we have 1nαln⁡n≥1nβ\dfrac{1}{n^{\alpha}\ln n}\geq\dfrac{1}{n^{\beta}} from some index on, and ∑1nβ\sum\frac{1}{n^{\beta}} diverges: DIVERGES. Boundary case α=1\alpha=1: the series becomes ∑1nln⁡n\sum\frac{1}{n\ln n}, for which the Integral Test gives ∫duu=ln⁡u→∞\int\frac{du}{u}=\ln u\to\infty: DIVERGES. Conclusion: converges if and only if α>1\alpha>1.

b)

Since α>0\alpha>0, 1nα→0\frac{1}{n^{\alpha}}\to 0 and sin⁡1nα∼1nα\sin\frac{1}{n^{\alpha}}\sim\frac{1}{n^{\alpha}}. By the Limit Comparison Test with the p-series: converges if and only if α>1\alpha>1. Note that the hypothesis α>0\alpha>0 is essential for the equivalent to hold; if α≤0\alpha\leq 0, the term does not tend to 0 and the series diverges outright.

c)

Ratio test: (n+1)αe−(n+1)nαe−n=(n+1n)αe−1→1e<1\dfrac{(n+1)^{\alpha}e^{-(n+1)}}{n^{\alpha}e^{-n}}=\left(\dfrac{n+1}{n}\right)^{\alpha}e^{-1}\to\dfrac{1}{e}<1 for EVERY real α\alpha. The series converges whatever the value of α\alpha. This is the perfect illustration of the fact that the exponential crushes any power, however large.

d)

Integral Test with u=ln⁡xu=\ln x: the integral becomes ∫ln⁡2∞duuα\int_{\ln 2}^{\infty}\frac{du}{u^{\alpha}}, which converges if and only if α>1\alpha>1. The case α=1\alpha=1 diverges, which matches the boundary found in a. Remember that ∑1n(ln⁡n)α\sum\frac{1}{n(\ln n)^{\alpha}} behaves exactly like ∑1nα\sum\frac{1}{n^{\alpha}}, with the logarithm playing the role of the variable.

e)

1−cos⁡u∼u221-\cos u\sim\frac{u^{2}}{2} gives 1−cos⁡1nα∼12n2α1-\cos\frac{1}{n^{\alpha}}\sim\dfrac{1}{2n^{2\alpha}}. By the Limit Comparison Test, the series converges if and only if 2α>12\alpha>1, that is α>12\alpha>\frac{1}{2}. The threshold is therefore at 12\frac{1}{2} and not at 1: it is the square in the equivalent that moves the boundary, and that is precisely what the question tests.

Exercise 7: Absolutely convergent, conditionally convergent or divergent

For each of the six series, give exactly one of the three answers: absolutely convergent, conditionally convergent, or divergent. Each answer must be justified by two studies, one of the series itself and one of the series of absolute values.

  • a) ∑n≥1(−1)nn\sum_{n\geq 1}\frac{(-1)^{n}}{\sqrt{n}}
  • b) ∑n≥1(−1)nn3\sum_{n\geq 1}\frac{(-1)^{n}}{n^{3}}
  • c) ∑n≥1sin⁡nn2\sum_{n\geq 1}\frac{\sin n}{n^{2}}
  • d) ∑n≥2(−1)nln⁡nn\sum_{n\geq 2}\frac{(-1)^{n}\ln n}{n}
  • e) ∑n≥1(−1)nnn+1\sum_{n\geq 1}(-1)^{n}\frac{n}{n+1}
  • f) ∑n≥1(−1)nn!\sum_{n\geq 1}\frac{(-1)^{n}}{n!} (also give its sum)

Type your answers, the page tells you right or wrong 0/7

a)
b)
c)
d)
e)
f)
Show the solution

Answers

  • a) Conditionally convergent
  • b) Absolutely convergent
  • c) Absolutely convergent
  • d) Conditionally convergent
  • e) Divergent
  • f) Absolutely convergent; sum e−1−1e^{-1}-1
a)

1n\frac{1}{\sqrt{n}} decreases to 0: the alternating series converges. But ∑1n\sum\frac{1}{\sqrt{n}} is a p-series with p=12≤1p=\frac{1}{2}\leq 1, so it diverges. CONDITIONALLY CONVERGENT.

b)

In absolute value, ∑1n3\sum\frac{1}{n^{3}} converges (p=3>1p=3>1). ABSOLUTELY CONVERGENT, and therefore convergent. Here studying the alternating series is not even needed: absolute convergence is enough.

c)

The series is not alternating in the strict sense, since the sign of sin⁡n\sin n is irregular. Go straight to the absolute values: ∣sin⁡nn2∣≤1n2\left|\frac{\sin n}{n^{2}}\right|\leq\frac{1}{n^{2}}, a convergent series. ABSOLUTELY CONVERGENT. It is the only workable route, and it works because the sine is bounded.

d)

The sequence ln⁡nn\frac{\ln n}{n} tends to 0 and decreases for n≥3n\geq 3 (its derivative 1−ln⁡xx2\frac{1-\ln x}{x^{2}} is negative as soon as x>ex>e): the alternating series converges. But ∑ln⁡nn\sum\frac{\ln n}{n} diverges, as shown in exercise 5. CONDITIONALLY CONVERGENT. Careful: the decrease only holds from index 3 on, which must be stated; the first terms do not change whether the series converges.

e)

∣an∣=nn+1→1≠0\left|a_{n}\right|=\frac{n}{n+1}\to 1\neq 0. The general term does not tend to 0: DIVERGENT, outright. Neither of the other two answers is possible, since convergence requires at the very least that the term vanish at infinity.

f)

In absolute value, ∑1n!\sum\frac{1}{n!} converges (the ratio test gives 1n+1→0\frac{1}{n+1}\to 0). ABSOLUTELY CONVERGENT. For the sum, recognize the exponential series at x=−1x=-1: ∑n≥0(−1)nn!=e−1\sum_{n\geq 0}\frac{(-1)^{n}}{n!}=e^{-1}. Removing the term n=0n=0, which equals 1, the requested sum is e−1−1≈−0.632e^{-1}-1\approx-0.632.

Exercise 8: When the ratio test returns 1: what to do

The most misunderstood point of the chapter. This exercise shows why the value 1 can say NOTHING, and what to do instead.

  • a) Compute the limit of the ratio in the ratio test for ∑1n\sum\frac{1}{n}, then for ∑1n2\sum\frac{1}{n^{2}}.
  • b) These two series do not behave the same way. What do you conclude about the value L=1L=1?
  • c) Does the root test (Cauchy's test) do any better on these two series? Compute ann\sqrt[n]{a_{n}} in both cases.
  • d) State the practical rule: when is the ratio test the right tool, and when should it be avoided from the outset?
  • e) Apply your rule: for each of the series ∑n!nn\sum\frac{n!}{n^{n}}, ∑1nn\sum\frac{1}{n\sqrt{n}}, ∑(n2n+1)n\sum\left(\frac{n}{2n+1}\right)^{n} and ∑ln⁡nn2\sum\frac{\ln n}{n^{2}}, say which test you choose BEFORE computing anything, then conclude.

Type your answers, the page tells you right or wrong 0/9

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) L=1L=1 in both cases
  • b) L=1L=1 says nothing
  • c) Root also tends to 11: no better
  • d) Ratio for factorials and knk^{n}; never for rational functions
  • e) Ratio test, p-series, root test, comparison: all converge
a)

For ∑1n\sum\frac{1}{n}: an+1an=nn+1→1\dfrac{a_{n+1}}{a_{n}}=\dfrac{n}{n+1}\to 1. For ∑1n2\sum\frac{1}{n^{2}}: n2(n+1)2→1\dfrac{n^{2}}{(n+1)^{2}}\to 1 as well.

b)

Yet the first diverges and the second converges. Two series with opposite behaviours therefore give the same limit L=1L=1: this value carries no information, and the test is genuinely undecided, not merely silent out of caution. Writing “L=1L=1, so the series diverges” is a serious and frequent mistake.

c)

No, the root test does no better. 1nn=n−1/n=e−ln⁡nn→e0=1\sqrt[n]{\frac{1}{n}}=n^{-1/n}=e^{-\frac{\ln n}{n}}\to e^{0}=1, and likewise 1n2n=e−2ln⁡nn→1\sqrt[n]{\frac{1}{n^{2}}}=e^{-\frac{2\ln n}{n}}\to 1. The two tests fail together, and this is no accident: both are insensitive to polynomial decrease, because they only ever compare the series with geometric series.

d)

The ratio and root tests are made for series whose terms decrease GEOMETRICALLY, that is, terms containing factorials, knk^{n} or nnth powers. Avoid them from the outset as soon as the term is a rational function of nn, possibly multiplied by a logarithm: in that case the ratio always tends to 1. Switch instead to the p-series test, the Limit Comparison Test or the Integral Test.

e)

∑n!nn\sum\frac{n!}{n^{n}}: a factorial and an nnth power, so the ratio test; the ratio tends to 1e<1\frac{1}{e}<1, CONVERGES. ∑1nn=∑1n3/2\sum\frac{1}{n\sqrt{n}}=\sum\frac{1}{n^{3/2}}: a pure power, so the p-series test directly; p=32>1p=\frac{3}{2}>1, CONVERGES. ∑(n2n+1)n\sum\left(\frac{n}{2n+1}\right)^{n}: an nnth power as a block, so the root test; the root is n2n+1→12<1\frac{n}{2n+1}\to\frac{1}{2}<1, CONVERGES. ∑ln⁡nn2\sum\frac{\ln n}{n^{2}}: a rational function with a logarithm, so comparison; bound it above by 1n3/2\frac{1}{n^{3/2}} from some index on, CONVERGES. The test is chosen from the form of the term alone, before any computation.

Exercise 9: Estimating a sum and bounding its remainder

Knowing that a series converges does not give its value. This exercise compares the two tools for estimating the remainder: the alternating series bound and the Integral Test.

  • a) For ∑n≥11n2\sum_{n\geq 1}\frac{1}{n^{2}}, whose sum is π26\frac{\pi^{2}}{6}, bound the remainder RN=∑n>N1n2R_{N}=\sum_{n>N}\frac{1}{n^{2}} above and below using integrals.
  • b) Compute the partial sum S100S_{100} and the corresponding bounds on the remainder. Compare with the exact value.
  • c) How many terms are needed to approximate π26\frac{\pi^{2}}{6} to within 10−310^{-3} by this method?
  • d) Redo question c for the alternating series ∑n≥1(−1)n+1n2\sum_{n\geq 1}\frac{(-1)^{n+1}}{n^{2}}, whose sum is π212\frac{\pi^{2}}{12}. Compare the numbers of terms needed.
  • e) Explain why alternating signs make estimating the remainder much easier.

Type your answers, the page tells you right or wrong 0/6

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) 1N+1≤RN≤1N\frac{1}{N+1}\leq R_{N}\leq\frac{1}{N}
  • b) S100≈1.6350S_{100}\approx 1.6350; R100≈0.00995R_{100}\approx 0.00995
  • c) About 10001000 terms
  • d) 3131 terms
  • e) The partial sums bracket the limit
a)

Since the function x↦1x2x\mapsto\frac{1}{x^{2}} is positive and decreasing, comparing the series with an integral gives ∫N+1∞dxx2≤RN≤∫N∞dxx2\int_{N+1}^{\infty}\frac{dx}{x^{2}}\leq R_{N}\leq\int_{N}^{\infty}\frac{dx}{x^{2}}, that is 1N+1≤RN≤1N\dfrac{1}{N+1}\leq R_{N}\leq\dfrac{1}{N}.

b)

S100≈1.6349839S_{100}\approx 1.6349839. The bounds give 1101≈0.0099010≤R100≤1100=0.01\dfrac{1}{101}\approx 0.0099010\leq R_{100}\leq\dfrac{1}{100}=0.01. The exact value is π26≈1.6449341\frac{\pi^{2}}{6}\approx 1.6449341, so R100≈0.0099502R_{100}\approx 0.0099502: it does fall between the bounds, close to their midpoint.

c)

We want RN<10−3R_{N}<10^{-3}, and it is enough to ensure 1N<10−3\dfrac{1}{N}<10^{-3}, that is N>1000N>1000. About a THOUSAND terms are therefore needed. The convergence is real but very slow, which is typical of p-series close to the boundary.

d)

For the alternating series, the remainder is bounded by the first omitted term: ∣RN∣≤1(N+1)2|R_{N}|\leq\dfrac{1}{(N+1)^{2}}. We want (N+1)2>1000(N+1)^{2}>1000, so N+1>31.6N+1>31.6 and N=31N=31 is enough. Thirty-one terms against a thousand: a factor of about thirty.

e)

Because the partial sums of an alternating series with decreasing terms BRACKET the sum: the partial sums of even and odd index approach it from below and from above, closing in. The sum therefore always lies between two consecutive partial sums, and the gap between them is exactly the next term. In a series of positive terms, on the contrary, all the partial sums lie on the same side of the limit and the remainder adds up every omitted term instead of letting them cancel: here it is of the order of one over N, while the alternating remainder is of the order of one over N squared. The integrals bound that remainder very tightly; it is the remainder itself that is large.

123456789100.050.10.150.20.250.3alternating series in 1/n²:the error ALWAYS stays belowthe first omitted termtop: 1/(n + 1)²bottom: |S − Sₙ|

Exercise 10: Synthesis problem: a family of alternating series with a logarithm

For α>0\alpha>0, we study the family S(α)=∑n≥1(−1)nln⁡(1+1nα)\mathcal{S}(\alpha)=\sum_{n\geq 1}(-1)^{n}\ln\left(1+\frac{1}{n^{\alpha}}\right). This problem chains together an equivalent, the Alternating Series Test, absolute convergence and an estimate of the remainder, all on a single object.

  • a) Give a simple equivalent of the term ∣an∣=ln⁡(1+1nα)\left|a_{n}\right|=\ln\left(1+\frac{1}{n^{\alpha}}\right) as n→∞n\to\infty.
  • b) Show that S(α)\mathcal{S}(\alpha) converges for EVERY α>0\alpha>0. Check the three hypotheses of the test carefully.
  • c) For which values of α\alpha is the convergence absolute? Deduce for which values the series is conditionally convergent.
  • d) Treat the case α=1\alpha=1 separately: show that the series of absolute values telescopes and give its partial sum in closed form.
  • e) For α=2\alpha=2, how many terms are needed to approximate S(2)\mathcal{S}(2) to within 10−410^{-4}?

Type your answers, the page tells you right or wrong 0/6

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) ∼1nα\sim\frac{1}{n^{\alpha}}
  • b) Three hypotheses: converges for every α>0\alpha>0
  • c) Absolute for α>1\alpha>1, conditional for α≤1\alpha\leq 1
  • d) Telescoping: ln⁡(N+1)→∞\ln(N+1)\to\infty
  • e) N=100N=100 terms
a)

Since α>0\alpha>0, 1nα→0\frac{1}{n^{\alpha}}\to 0, and ln⁡(1+u)∼u\ln(1+u)\sim u gives ∣an∣=ln⁡(1+1nα)∼1nα\left|a_{n}\right|=\ln\left(1+\frac{1}{n^{\alpha}}\right)\sim\frac{1}{n^{\alpha}}.

b)

Three checks. Alternating sign: the factor (−1)n(-1)^{n} provides it, and ln⁡(1+1nα)>0\ln\left(1+\frac{1}{n^{\alpha}}\right)>0 since the argument is greater than 1. Decrease: n↦1nαn\mapsto\frac{1}{n^{\alpha}} decreases for α>0\alpha>0, and the logarithm is increasing, so the composition decreases. Zero limit: ln⁡(1+0)=0\ln(1+0)=0. The three hypotheses hold for every α>0\alpha>0, so S(α)\mathcal{S}(\alpha) always converges. Note that convergence holds even for very small α\alpha, where the decrease is extremely slow.

c)

Absolute convergence amounts to the convergence of ∑ln⁡(1+1nα)\sum\ln\left(1+\frac{1}{n^{\alpha}}\right), which by the equivalent in a behaves like ∑1nα\sum\frac{1}{n^{\alpha}}: it converges if and only if α>1\alpha>1. So S(α)\mathcal{S}(\alpha) is absolutely convergent for α>1\alpha>1, and CONDITIONALLY CONVERGENT for 0<α≤10<\alpha\leq 1.

d)

For α=1\alpha=1, ln⁡(1+1n)=ln⁡(n+1)−ln⁡n\ln\left(1+\frac{1}{n}\right)=\ln(n+1)-\ln n. The partial sum of the absolute values telescopes: ∑n=1Nln⁡(1+1n)=ln⁡(N+1)\sum_{n=1}^{N}\ln\left(1+\frac{1}{n}\right)=\ln(N+1), which tends to +∞+\infty. The divergence is thus confirmed directly, without going through the equivalent, and you get the rate as a bonus: the partial sum grows like ln⁡N\ln N. This is the boundary case of question c.

e)

For α=2\alpha=2, the remainder satisfies ∣RN∣≤∣aN+1∣=ln⁡(1+1(N+1)2)≤1(N+1)2\left|R_{N}\right|\leq\left|a_{N+1}\right|=\ln\left(1+\frac{1}{(N+1)^{2}}\right)\leq\dfrac{1}{(N+1)^{2}}, using ln⁡(1+u)≤u\ln(1+u)\leq u. It is therefore enough that (N+1)2>104(N+1)^{2}>10^{4}, that is N+1>100N+1>100, and N=100N=100 terms. The bound ln⁡(1+u)≤u\ln(1+u)\leq u is handy here: it avoids having to invert a logarithm.

Part C: The classics (/50)

Exercise 11: Standard equivalents: five series in one line each

For each series, whose terms keep a constant sign, write the equivalent of the general term in the form cnp\frac{c}{n^{p}}, then conclude by comparison with a p-series.

  • a) ∑n≥1arctan⁡1n2\sum_{n\geq 1}\arctan\frac{1}{n^{2}}
  • b) ∑n≥1n2sin⁡1n3\sum_{n\geq 1}n^{2}\sin\frac{1}{n^{3}}
  • c) ∑n≥1n(1−cos⁡1n)\sum_{n\geq 1}\sqrt{n}\left(1-\cos\frac{1}{n}\right)
  • d) ∑n≥1(21/n−1)\sum_{n\geq 1}\left(2^{1/n}-1\right)
  • e) ∑n≥1ln⁡(cos⁡1n)\sum_{n\geq 1}\ln\left(\cos\frac{1}{n}\right)

Type your answers, the page tells you right or wrong 0/10

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) ∼1n2\sim\frac{1}{n^{2}}: converges
  • b) ∼1n\sim\frac{1}{n}: diverges
  • c) ∼12n3/2\sim\frac{1}{2n^{3/2}}: converges
  • d) ∼ln⁡2n\sim\frac{\ln 2}{n}: diverges
  • e) ∼−12n2\sim-\frac{1}{2n^{2}}, constant sign: converges
a)

arctan⁡u∼u\arctan u\sim u as u→0u\to 0, so arctan⁡1n2∼1n2\arctan\frac{1}{n^{2}}\sim\frac{1}{n^{2}}: p=2>1p=2>1, the series CONVERGES.

b)

sin⁡1n3∼1n3\sin\frac{1}{n^{3}}\sim\frac{1}{n^{3}}, so n2sin⁡1n3∼n2n3=1nn^{2}\sin\frac{1}{n^{3}}\sim\frac{n^{2}}{n^{3}}=\frac{1}{n}: p=1p=1, the series DIVERGES. The sine of a very small argument is not enough: the factor n2n^{2} brings the term back to the level of the harmonic series.

c)

1−cos⁡u∼u221-\cos u\sim\frac{u^{2}}{2}, so n(1−cos⁡1n)∼n2n2=12n3/2\sqrt{n}\left(1-\cos\frac{1}{n}\right)\sim\frac{\sqrt{n}}{2n^{2}}=\frac{1}{2n^{3/2}}: p=32>1p=\frac{3}{2}>1, the series CONVERGES. Multiplying equivalents together is allowed; it is adding them that is forbidden.

d)

21/n=eln⁡2n2^{1/n}=e^{\frac{\ln 2}{n}} and eu−1∼ue^{u}-1\sim u, so 21/n−1∼ln⁡2n2^{1/n}-1\sim\frac{\ln 2}{n}: p=1p=1, the series DIVERGES. The constant c=ln⁡2≈0.693c=\ln 2\approx 0.693 does not change whether the series converges.

e)

cos⁡1n=1−12n2+⋯\cos\frac{1}{n}=1-\frac{1}{2n^{2}}+\cdots and ln⁡(1+v)∼v\ln(1+v)\sim v, so ln⁡(cos⁡1n)∼−12n2\ln\left(\cos\frac{1}{n}\right)\sim-\frac{1}{2n^{2}}. The terms are NEGATIVE but of constant sign: apply the comparison to −ln⁡(cos⁡1n)∼12n2-\ln\left(\cos\frac{1}{n}\right)\sim\frac{1}{2n^{2}}, and the series CONVERGES. Forgetting that the comparison tests require a constant sign is the mistake to avoid; here it is guaranteed, since 0<cos⁡1n<10<\cos\frac{1}{n}<1 for every n≥1n\geq 1.

Exercise 12: Alternating series with the usual functions

For each series, say whether it is absolutely convergent, conditionally convergent or divergent. Check the hypotheses of the Alternating Series Test explicitly whenever you use it.

  • a) ∑n≥1(−1)narctan⁡1n\sum_{n\geq 1}(-1)^{n}\arctan\frac{1}{n}
  • b) ∑n≥1(−1)n n e−n\sum_{n\geq 1}(-1)^{n}\,n\,e^{-n}
  • c) ∑n≥1(−1)ncos⁡1n\sum_{n\geq 1}(-1)^{n}\cos\frac{1}{n}
  • d) ∑n≥2(−1)nnln⁡n\sum_{n\geq 2}\frac{(-1)^{n}}{n\ln n}
  • e) ∑n≥1(−1)nln⁡nn\sum_{n\geq 1}(-1)^{n}\frac{\ln n}{\sqrt{n}}. State from which index on the absolute value of the term decreases.

Type your answers, the page tells you right or wrong 0/6

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) Conditionally convergent
  • b) Absolutely convergent
  • c) Term tends to 11: divergent
  • d) Conditionally convergent
  • e) Decreases from n=8n=8 on; conditionally convergent
a)

arctan⁡1n>0\arctan\frac{1}{n}>0, it decreases (the arctangent is increasing, composed with 1n\frac{1}{n}, which is decreasing) and tends to 00: the series converges. In absolute value, arctan⁡1n∼1n\arctan\frac{1}{n}\sim\frac{1}{n}: same behaviour as the harmonic series, divergent. CONDITIONALLY CONVERGENT.

b)

Absolute values: (n+1)e−(n+1)n e−n=n+1n⋅1e→1e<1\frac{(n+1)e^{-(n+1)}}{n\,e^{-n}}=\frac{n+1}{n}\cdot\frac{1}{e}\to\frac{1}{e}<1, so ∑n e−n\sum n\,e^{-n} converges by the ratio test. ABSOLUTELY CONVERGENT, without even needing the Alternating Series Test.

c)

cos⁡1n→cos⁡0=1≠0\cos\frac{1}{n}\to\cos 0=1\neq 0: the general term does not tend to 00, the series DIVERGES. Alternating signs never rescue a term that does not die out.

d)

nln⁡nn\ln n is positive and strictly increasing on [2,∞)[2,\infty), so 1nln⁡n\frac{1}{n\ln n} decreases to 00: the series converges. In absolute value, ∑1nln⁡n\sum\frac{1}{n\ln n} diverges (Integral Test, with u=ln⁡xu=\ln x: ∫duu=ln⁡u→∞\int\frac{du}{u}=\ln u\to\infty). CONDITIONALLY CONVERGENT.

e)

Let f(x)=ln⁡xxf(x)=\frac{\ln x}{\sqrt{x}}: f′(x)=2−ln⁡x2x3/2f'(x)=\frac{2-\ln x}{2x^{3/2}}, negative as soon as ln⁡x>2\ln x>2, that is x>e2≈7.39x>e^{2}\approx 7.39. The absolute value therefore decreases from index n=8n=8 on (before that it increases: f(6)≈0.7315f(6)\approx 0.7315 and f(7)≈0.7355f(7)\approx 0.7355, then f(8)≈0.7352f(8)\approx 0.7352). It tends to 00 by comparison of growth rates. The test applies from index 88 on, and the first terms do not change whether the series converges: the series converges. In absolute value, ln⁡nn≥1n\frac{\ln n}{\sqrt{n}}\geq\frac{1}{\sqrt{n}} as soon as n≥3n\geq 3, and ∑1n\sum\frac{1}{\sqrt{n}} diverges. CONDITIONALLY CONVERGENT.

Exercise 13: Comparing growth rates: placing each term on the scale

The tests are useless without the hierarchy of growth rates: at infinity, every power of ln⁡n\ln n is negligible compared with every power nan^{a} with a>0a>0, and every power of nn is negligible compared with every exponential bnb^{n} with b>1b>1. These five series of positive terms are settled by placing each term on this scale.

  • a) ∑n≥1n101.01n\sum_{n\geq 1}\frac{n^{10}}{1.01^{n}}: compute the limit LL of the ratio in the ratio test and conclude.
  • b) ∑n≥2(ln⁡n)10n1.1\sum_{n\geq 2}\frac{(\ln n)^{10}}{n^{1.1}}
  • c) ∑n≥21(ln⁡n)10\sum_{n\geq 2}\frac{1}{(\ln n)^{10}}
  • d) ∑n≥2e−(ln⁡n)2\sum_{n\geq 2}e^{-(\ln n)^{2}}. From which index on is the term bounded above by 1n2\frac{1}{n^{2}}?
  • e) ∑n≥21(ln⁡n)ln⁡n\sum_{n\geq 2}\frac{1}{(\ln n)^{\ln n}}. From which index on is the term bounded above by 1n2\frac{1}{n^{2}}?

Type your answers, the page tells you right or wrong 0/8

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) L=11.01L=\frac{1}{1.01}: converges
  • b) Bounded above by 1n1.05\frac{1}{n^{1.05}}: converges
  • c) Bounded below by 1n\frac{1}{n}: diverges
  • d) n−ln⁡n≤n−2n^{-\ln n}\leq n^{-2} from n=8n=8 on
  • e) n−ln⁡ln⁡n≤n−2n^{-\ln\ln n}\leq n^{-2} from n=1619n=1619 on
a)

an+1an=(1+1n)10⋅11.01→11.01≈0.990<1\frac{a_{n+1}}{a_{n}}=\left(1+\frac{1}{n}\right)^{10}\cdot\frac{1}{1.01}\to\frac{1}{1.01}\approx 0.990<1: the series CONVERGES. Yet its terms start by growing enormously, up to a maximum near n=10ln⁡1.01≈1005n=\frac{10}{\ln 1.01}\approx 1005: whether a series converges cannot be read off its first terms.

b)

(ln⁡n)10(\ln n)^{10} is negligible compared with n0.05n^{0.05}, so from some index on (ln⁡n)10n1.1≤1n1.05\frac{(\ln n)^{10}}{n^{1.1}}\leq\frac{1}{n^{1.05}}, the term of a convergent p-series: the series CONVERGES. The index in question is astronomical (you need ln⁡n\ln n beyond about 14601460), but convergence never depends on the first terms, however many there are.

c)

(ln⁡n)10(\ln n)^{10} is negligible compared with nn, so from some index on (ln⁡n)10≤n(\ln n)^{10}\leq n and 1(ln⁡n)10≥1n\frac{1}{(\ln n)^{10}}\geq\frac{1}{n}: bounded below by the harmonic series, the series DIVERGES. The term does tend to 00, but far too slowly: no power of the logarithm can compete with nn.

d)

e−(ln⁡n)2=(eln⁡n)−ln⁡n=n−ln⁡ne^{-(\ln n)^{2}}=\left(e^{\ln n}\right)^{-\ln n}=n^{-\ln n}. As soon as ln⁡n≥2\ln n\geq 2, that is n≥e2≈7.39n\geq e^{2}\approx 7.39, we have n−ln⁡n≤n−2n^{-\ln n}\leq n^{-2}. From index n=8n=8 on, the series is bounded above by ∑1n2\sum\frac{1}{n^{2}}: it CONVERGES.

e)

(ln⁡n)ln⁡n=eln⁡n⋅ln⁡(ln⁡n)=nln⁡(ln⁡n)(\ln n)^{\ln n}=e^{\ln n\cdot\ln(\ln n)}=n^{\ln(\ln n)}, so the term equals n−ln⁡(ln⁡n)n^{-\ln(\ln n)}. It is bounded above by 1n2\frac{1}{n^{2}} as soon as ln⁡(ln⁡n)≥2\ln(\ln n)\geq 2, that is n≥ee2≈1618.2n\geq e^{e^{2}}\approx 1618.2: from index 16191619 on. The series CONVERGES. Before that index, the term is larger than 1n2\frac{1}{n^{2}}, which changes nothing about convergence: the exponent ln⁡(ln⁡n)\ln(\ln n) eventually exceeds any constant, even if it takes its time.

Exercise 14: The overhanging stack of books

You stack nn identical books of length 11 at the edge of a table, each one shifted out over the drop. The boldest stack that stays balanced places the centre of mass of the top kk books exactly at the edge of book k+1k+1, which carries them. The overhang of the top book beyond the table is then Dn=12∑k=1n1k=12HnD_{n}=\frac{1}{2}\sum_{k=1}^{n}\frac{1}{k}=\frac{1}{2}H_{n}. The figure shows the stack of four books.

tableD₄
  • a) Compute D4D_{4}. Is the top book entirely beyond the edge of the table?
  • b) What is the smallest number of books giving an overhang of at least 22 lengths?
  • c) Using the approximation Hn≈ln⁡n+0.577H_{n}\approx\ln n+0.577, estimate the number of books needed for an overhang of 33 lengths.
  • d) Can the overhang exceed any length at all? Justify by whether a certain series converges.
  • e) Justify the formula: if the centre of mass of the top kk books is at the edge of book k+1k+1, by how much is the centre of mass of the top k+1k+1 books shifted toward the table? Give the value for k=4k=4.

Type your answers, the page tells you right or wrong 0/7

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) D4=2524D_{4}=\frac{25}{24}: beyond the table
  • b) 3131 books
  • c) About 227227 books
  • d) Yes: the harmonic series diverges
  • e) Shift 12(k+1)\frac{1}{2(k+1)}, that is 0.10.1
a)

D4=12(1+12+13+14)=12⋅2512=2524≈1.042D_{4}=\frac{1}{2}\left(1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}\right)=\frac{1}{2}\cdot\frac{25}{12}=\frac{25}{24}\approx 1.042. The overhang exceeds the length of a book: the top book lies entirely over the drop, as the figure shows. With three books, D3=1112<1D_{3}=\frac{11}{12}<1 was not enough.

b)

You need Hn≥4H_{n}\geq 4. Computing, H30≈3.995H_{30}\approx 3.995 and H31≈4.027H_{31}\approx 4.027: 3131 books are needed. Doubling the overhang, from 11 to 22, took the number of books from 44 to 3131.

c)

You need Hn≥6H_{n}\geq 6, that is ln⁡n≥6−0.577=5.423\ln n\geq 6-0.577=5.423 and n≥e5.423≈226.5n\geq e^{5.423}\approx 226.5: about 227227 books. The exact computation confirms it: H226≈5.99996H_{226}\approx 5.99996 and H227≈6.0044H_{227}\approx 6.0044. The logarithmic approximation is excellent here.

d)

YES. Dn=12HnD_{n}=\frac{1}{2}H_{n} and the harmonic series diverges: HnH_{n} exceeds any number, so the overhang does too, with enough books. But the growth is logarithmic: each extra length multiplies the number of books by about e2≈7.4e^{2}\approx 7.4. The result is theoretical, but it is true: a stack of books can overhang the drop as far as you like.

e)

Measure positions from the edge of book k+1k+1. The top kk books have their centre of mass at 00, and book k+1k+1, of length 11, has its centre at −12-\frac{1}{2}. The centre of mass of the k+1k+1 books is at k×0+1×(−12)k+1=−12(k+1)\frac{k\times 0+1\times\left(-\frac{1}{2}\right)}{k+1}=-\frac{1}{2(k+1)}: that is where the edge of book k+2k+2 must be. Each book added underneath therefore shifts the stack by 12(k+1)\frac{1}{2(k+1)}, and the sum of these shifts is 12Hn\frac{1}{2}H_{n}. For k=4k=4: 110=0.1\frac{1}{10}=0.1.

Exercise 15: Rearranging the alternating harmonic series

We accept that the alternating harmonic series 1−12+13−14+⋯1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\cdots converges to ln⁡2\ln 2, and that Hn=∑k=1n1k=ln⁡n+γ+εnH_{n}=\sum_{k=1}^{n}\frac{1}{k}=\ln n+\gamma+\varepsilon_{n} with γ≈0.5772\gamma\approx 0.5772 and εn→0\varepsilon_{n}\to 0. We keep exactly the same terms, positive 1,13,15,…1,\frac{1}{3},\frac{1}{5},\ldots and negative −12,−14,…-\frac{1}{2},-\frac{1}{4},\ldots, each in its own order, but take them in groups.

  • a) Justify that the alternating harmonic series is conditionally convergent.
  • b) Groups of “one positive, two negatives”: 1−12−14+13−16−18+⋯1-\frac{1}{2}-\frac{1}{4}+\frac{1}{3}-\frac{1}{6}-\frac{1}{8}+\cdots. Show that group number kk equals 12(12k−1−12k)\frac{1}{2}\left(\frac{1}{2k-1}-\frac{1}{2k}\right) and deduce the sum.
  • c) Show that 1+13+⋯+12m−1=H2m−12Hm1+\frac{1}{3}+\cdots+\frac{1}{2m-1}=H_{2m}-\frac{1}{2}H_{m}, then that the groups “two positives, one negative” give the sum 32ln⁡2\frac{3}{2}\ln 2.
  • d) We accept that pp positives then qq negatives per group give ln⁡2+12ln⁡pq\ln 2+\frac{1}{2}\ln\frac{p}{q}. With q=1q=1, what is the minimum number of positives per group for the sum to exceed 22?
  • e) Why can no rearrangement change the sum of ∑n≥1(−1)n+1n2\sum_{n\geq 1}\frac{(-1)^{n+1}}{n^{2}}?

Type your answers, the page tells you right or wrong 0/5

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) Conditionally convergent
  • b) 12ln⁡2\frac{1}{2}\ln 2
  • c) 32ln⁡2\frac{3}{2}\ln 2
  • d) p=14p=14
  • e) Absolutely convergent: the sum is fixed
a)

1n\frac{1}{n} decreases to 00: by the Alternating Series Test, the series converges. The series of absolute values is the harmonic series, which diverges: the series is CONDITIONALLY CONVERGENT. This is exactly the hypothesis of Riemann's rearrangement theorem, which this problem checks by computation.

b)

Group kk is 12k−1−14k−2−14k\frac{1}{2k-1}-\frac{1}{4k-2}-\frac{1}{4k}. Now 12k−1−14k−2=2−14k−2=14k−2\frac{1}{2k-1}-\frac{1}{4k-2}=\frac{2-1}{4k-2}=\frac{1}{4k-2}, so the group equals 14k−2−14k=12(12k−1−12k)\frac{1}{4k-2}-\frac{1}{4k}=\frac{1}{2}\left(\frac{1}{2k-1}-\frac{1}{2k}\right): half of group kk of the original series. After KK groups, the partial sum is half of the original partial sum S2KS_{2K}, and it tends to 12ln⁡2≈0.347\frac{1}{2}\ln 2\approx 0.347. Since the terms tend to 00, stopping in the middle of a group does not change the limit. Same terms, sum divided by two.

c)

H2mH_{2m} contains the reciprocals of the odd and even numbers up to 2m2m; the even ones add up to 12+14+⋯+12m=12Hm\frac{1}{2}+\frac{1}{4}+\cdots+\frac{1}{2m}=\frac{1}{2}H_{m}, hence the formula. After KK groups “two positives, one negative”, we have taken 2K2K odd and KK even reciprocals: S=H4K−12H2K−12HKS=H_{4K}-\frac{1}{2}H_{2K}-\frac{1}{2}H_{K}. With Hn=ln⁡n+γ+εnH_{n}=\ln n+\gamma+\varepsilon_{n}, the γ\gamma terms cancel (1−12−12=01-\frac{1}{2}-\frac{1}{2}=0) and S=ln⁡(4K)−12ln⁡(2K)−12ln⁡K+o(1)=2ln⁡2−12ln⁡2+o(1)→32ln⁡2≈1.040S=\ln(4K)-\frac{1}{2}\ln(2K)-\frac{1}{2}\ln K+o(1)=2\ln 2-\frac{1}{2}\ln 2+o(1)\to\frac{3}{2}\ln 2\approx 1.040. The ln⁡K\ln K terms cancel as well: only logarithms of constants remain.

d)

ln⁡2+12ln⁡p>2\ln 2+\frac{1}{2}\ln p>2 is equivalent to ln⁡p>2(2−ln⁡2)≈2.614\ln p>2(2-\ln 2)\approx 2.614, that is p>e2.614≈13.65p>e^{2.614}\approx 13.65: you need p=14p=14 positives per negative, and the sum is then ln⁡2+12ln⁡14≈2.013\ln 2+\frac{1}{2}\ln 14\approx 2.013 (with p=13p=13, only 1.9761.976). By increasing pp, any value can be reached: Riemann's theorem becomes tangible.

e)

This series is ABSOLUTELY convergent, since ∑1n2\sum\frac{1}{n^{2}} converges. Its positive terms and its negative terms then form two separate convergent series, with finite sums, and the order in which you draw from each can no longer change anything: every rearrangement gives π212\frac{\pi^{2}}{12}. In the alternating harmonic series, on the contrary, the positives alone and the negatives alone diverge: it is a form ∞−∞\infty-\infty, whose value depends on the pace at which each side is taken.

Something missing from this set? A type of exercise your teacher gives, a problem you are stuck on, a mistake you spotted: tell me, I read every request.

Sending goes through your free space: that is how I can answer you and tell you when the exercise is added. An email is enough, no password. Create your space. Rather not create an account? Write to me directly.

What is it about?
I read every request myself, nobody else sees it. No need to write your name or your school.
When your request is dealt with, you hear about it by email and in your space.

By sending, you agree that I read your request to answer it. It is kept with your account, erased with it, and never published: privacy policy.

Previous chapter Infinite series, 201-SN3-RE (201-NYB) Next chapter Advanced tests: root, condensation, Raabe, Abel, 201-SN3-RE (201-NYB)

© Ahmed Squalli Houssaini. Exercise set published at www.letuteurscientifique.ca/en/exercices/cegep-calc2-series-transcendental-terms. Free for personal and classroom use; republishing it elsewhere requires written permission (legal notice).

See also

Looking for an integral calculus tutor in Montreal?

Get in touch for a first session. Series come down almost entirely to the reflex of the equivalent: once that reflex is in place, half of the exam questions become immediate.

Site by Studio Squalli