9Math I - Exercise Sheet 9: Series Convergence and the Basel Problem and Convergence Criteria for Convergence

Exercise 1: Convergence of Series

  • Subtask 1a: Root Test Analysis

    • The series is defined as: ∑k=1∞(kk2+1)k\sum_{k=1}^{\infty} \left( \frac{k}{k^2 + 1} \right)^k

    • Application of the Root Criterion (Wurzelkriterium): Since the terms contain powers to the degree kk, we evaluate the expression ∣ak∣k\sqrt[k]{|a_k|}.

    • Calculation: ∣(kk2+1)k∣k=kk2+1\sqrt[k]{\left| \left( \frac{k}{k^2 + 1} \right)^k \right|} = \frac{k}{k^2 + 1}.

    • Determining the limit: lim⁡k→∞∣ak∣k=lim⁡k→∞kk2+1=lim⁡k→∞1k1+1k2=0\lim_{k \to \infty} \sqrt[k]{|a_k|} = \lim_{k \to \infty} \frac{k}{k^2 + 1} = \lim_{k \to \infty} \frac{\frac{1}{k}}{1 + \frac{1}{k^2}} = 0.

    • The solution notes that Bernoulli's rule and de l'Hospital's rule were applied in the steps prior to the limit transition.

    • Conclusion: Since the limit 0<10 < 1, the Root Criterion proves the series converges.

  • Subtask 1b: Quotient Test Analysis

    • The series is defined as: ∑k=0∞2kk!\sum_{k=0}^{\infty} \frac{2^k}{k!}.

    • Application of the Quotient Criterion (Quotientenkriterium): We analyze the ratio ∣ak+1ak∣\left| \frac{a_{k+1}}{a_k} \right|.

    • Calculation: ak+1ak=2k+1(k+1)!×k!2k=2×2k(k+1)×k!×k!2k=2k+1\frac{a_{k+1}}{a_k} = \frac{2^{k+1}}{(k+1)!} \times \frac{k!}{2^k} = \frac{2 \times 2^k}{(k+1) \times k!} \times \frac{k!}{2^k} = \frac{2}{k+1}.

    • Determining the limit: lim⁡k→∞ak+1ak=lim⁡k→∞2k+1=0\lim_{k \to \infty} \frac{a_{k+1}}{a_k} = \lim_{k \to \infty} \frac{2}{k+1} = 0.

    • Conclusion: Since the limit 0<10 < 1, the series converges.

  • Subtask 1c: Quotient Test Analysis

    • The series is defined as: ∑k=0∞2kek\sum_{k=0}^{\infty} \frac{2^k}{e^k}.

    • Application of the Quotient Criterion: ak+1ak=2k+1ek+1×ek2k=2×2ke×ek×ek2k=2e\frac{a_{k+1}}{a_k} = \frac{2^{k+1}}{e^{k+1}} \times \frac{e^k}{2^k} = \frac{2 \times 2^k}{e \times e^k} \times \frac{e^k}{2^k} = \frac{2}{e}.

    • Determining the limit: lim⁡k→∞ak+1ak=2e≈0.736\lim_{k \to \infty} \frac{a_{k+1}}{a_k} = \frac{2}{e} \approx 0.736.

    • Conclusion: Since 2e<1\frac{2}{e} < 1, the Quotient Criterion proves the series converges.

Exercise 2: Applications of Series Convergence and the Necessary Criterion

  • Subtask 2a: Convergence Condition for Parameter α\alpha

    • The series is defined as: ∑k=0∞e−αk\sum_{k=0}^{\infty} e^{-\alpha k}.

    • Using the Root Criterion: ∣ak∣k=(e−α)kk=e−α\sqrt[k]{|a_k|} = \sqrt[k]{(e^{-\alpha})^k} = e^{-\alpha}.

    • Limit evaluation: lim⁡k→∞∣ak∣k=lim⁡k→∞e−α=e−α\lim_{k \to \infty} \sqrt[k]{|a_k|} = \lim_{k \to \infty} e^{-\alpha} = e^{-\alpha}.

    • Condition for convergence: The series converges if and only if e−α<1e^{-\alpha} < 1.

    • Solving for α\alpha: e−α<1  ⟺  −α<0  ⟺  α>0e^{-\alpha} < 1 \iff -\alpha < 0 \iff \alpha > 0.

    • Result: The series converges for all positive real numbers α∈R\alpha \in \mathbb{R}.

  • Subtask 2b: Calculation of Series Value

    • The series ∑k=0∞e−αk\sum_{k=0}^{\infty} e^{-\alpha k} is treated as a geometric series ∑k=0∞qk\sum_{k=0}^{\infty} q^k where q=e−αq = e^{-\alpha}.

    • Standard geometric series formula: ∑k=0∞qk=11−q\sum_{k=0}^{\infty} q^k = \frac{1}{1 - q} provided ∣q∣<1|q| < 1.

    • Final Result: Substituting q=e−αq = e^{-\alpha} gives the value 11−e−α\frac{1}{1 - e^{-\alpha}}.

  • Subtask 2c: Necessary Criterion and Null Sequences

    • The series is defined as: ∑k=0∞ke−k\sum_{k=0}^{\infty} k e^{-k}.

    • Quotient Criterion Application: ak+1ak=(k+1)e−(k+1)ke−k=k+1k×e−k×e−1e−k=(1+1k)×1e\frac{a_{k+1}}{a_k} = \frac{(k+1) e^{-(k+1)}}{k e^{-k}} = \frac{k+1}{k} \times \frac{e^{-k} \times e^{-1}}{e^{-k}} = \left( 1 + \frac{1}{k} \right) \times \frac{1}{e}.

    • Limit evaluation: lim⁡k→∞ak+1ak=lim⁡k→∞(1+1k)×1e=1×1e=1e<1\lim_{k \to \infty} \frac{a_{k+1}}{a_k} = \lim_{k \to \infty} \left( 1 + \frac{1}{k} \right) \times \frac{1}{e} = 1 \times \frac{1}{e} = \frac{1}{e} < 1.

    • Implication for the sequence: Because the series ∑ke−k\sum k e^{-k} converges, the sequence of its terms (ke−k)(k e^{-k}) must be a null sequence (Nullfolge) according to the necessary criterion for series convergence (notwendiges Kriterium).

    • Conclusion: lim⁡k→∞ke−k=0\lim_{k \to \infty} k e^{-k} = 0.

Exercise 3: Convergence Radius of Power Series

  • Subtask 3a: Quotient Criterion for Radius

    • Series: ∑k=1∞k+1kxk\sum_{k=1}^{\infty} \frac{k+1}{k} x^k.

    • Calculation: ∣ak+1ak∣=∣(k+2)/(k+1)×xk+1(k+1)/k×xk∣=∣k+2k+1×kk+1∣×∣x∣=k2+2kk2+2k+1×∣x∣\left| \frac{a_{k+1}}{a_k} \right| = \left| \frac{(k+2)/(k+1) \times x^{k+1}}{(k+1)/k \times x^k} \right| = \left| \frac{k+2}{k+1} \times \frac{k}{k+1} \right| \times |x| = \frac{k^2 + 2k}{k^2 + 2k + 1} \times |x|.

    • Limit: lim⁡k→∞k2+2kk2+2k+1∣x∣=1×∣x∣=∣x∣\lim_{k \to \infty} \frac{k^2 + 2k}{k^2 + 2k + 1} |x| = 1 \times |x| = |x|.

    • Radius: Convergence occurs for ∣x∣<1|x| < 1, so the convergence radius R=1R = 1.

  • Subtask 3b: Cosine Function Taylor Expansion

    • Series: ∑k=0∞(−1)kx2k(2k)!\sum_{k=0}^{\infty} \frac{(-1)^k x^{2k}}{(2k)!}.

    • Calculation: ∣ak+1ak∣=∣x2(k+1)(2(k+1))!×(2k)!x2k∣=x2k×x2(2k+2)×(2k+1)×(2k)!×(2k)!x2k=x2(2k+2)(2k+1)\left| \frac{a_{k+1}}{a_k} \right| = \left| \frac{x^{2(k+1)}}{(2(k+1))!} \times \frac{(2k)!}{x^{2k}} \right| = \frac{x^{2k} \times x^2}{(2k+2) \times (2k+1) \times (2k)!} \times \frac{(2k)!}{x^{2k}} = \frac{x^2}{(2k+2)(2k+1)}.

    • Limit: lim⁡k→∞x24k2+6k+2=0\lim_{k \to \infty} \frac{x^2}{4k^2 + 6k + 2} = 0.

    • Radius: Since the limit is 0<10 < 1 for all x∈Rx \in \mathbb{R}, the convergence radius R=∞R = \infty. This series represents the Taylor expansion of the cosine function.

  • Subtask 3c: Exponential Function Expansion

    • Series: ex=∑k=0∞xkk!e^x = \sum_{k=0}^{\infty} \frac{x^k}{k!}.

    • Calculation: ∣ak+1ak∣=∣xk+1(k+1)!×k!xk∣=∣x∣k+1\left| \frac{a_{k+1}}{a_k} \right| = \left| \frac{x^{k+1}}{(k+1)!} \times \frac{k!}{x^k} \right| = \frac{|x|}{k+1}.

    • Limit: lim⁡k→∞∣x∣k+1=0\lim_{k \to \infty} \frac{|x|}{k+1} = 0.

    • Radius: The limit is 0 regardless of the choice of ∣x∣|x|, thus the series converges for all x∈Rx \in \mathbb{R} and R=∞R = \infty.

  • Subtask 3d: Shifted Power Series

    • Series: ln⁡(x)=∑k=1∞(−1)k+1(x−1)k\ln(x) = \sum_{k=1}^{\infty} (-1)^{k+1} (x - 1)^k.

    • Root Criterion Application: ∣ak∣k=∣(x−1)k∣k=∣x−1∣\sqrt[k]{|a_k|} = \sqrt[k]{|(x-1)^k|} = |x-1|.

    • Limit: lim⁡k→∞∣x−1∣=∣x−1∣\lim_{k \to \infty} |x-1| = |x-1|.

    • Convergence: The series converges if ∣x−1∣<1|x-1| < 1, which implies 0<x<20 < x < 2.

    • Conclusion: The series was developed around the point x0=1x_0 = 1, and the convergence radius is R=1R = 1.

  • Subtask 3e: Hyperbolic Tangent Series Variation

    • Expansion: tanh⁡(x)=−1+2∑k=0∞(−1)kq2k\tanh(x) = -1 + 2 \sum_{k=0}^{\infty} (-1)^k q^{2k} where q=exq = e^x.

    • Root Criterion on the sum portion: ∣(−1)kq2k∣k=∣q2k∣k=q2\sqrt[k]{|(-1)^k q^{2k}|} = \sqrt[k]{|q^{2k}|} = q^2.

    • Limit: lim⁡k→∞q2=q2\lim_{k \to \infty} q^2 = q^2.

    • Note: Since q=exq = e^x is always positive for any x∈Rx \in \mathbb{R}, absolute value bars can be omitted.

    • Convergence Condition: q2<1  ⟺  0<q<1q^2 < 1 \iff 0 < q < 1.

    • Substituting back for xx: 0<ex<1  ⟺  ln⁡(0)<x<ln⁡(1)  ⟺  −∞<x<00 < e^x < 1 \iff \ln(0) < x < \ln(1) \iff -\infty < x < 0.

    • Result: This variant of the tanh-series converges for x∈(−∞,0)x \in (-\infty, 0).

Exercise 4: The Basel Problem (Additional Task)

  • Subtask 4a: Failure of Ratio and Root Tests

    • The task is to evaluate the series ∑k=1∞1k2\sum_{k=1}^{\infty} \frac{1}{k^2}.

    • Applying the Quotient Criterion: ak+1ak=1/(k+1)21/k2=k2k2+2k+1\frac{a_{k+1}}{a_k} = \frac{1/(k+1)^2}{1/k^2} = \frac{k^2}{k^2 + 2k + 1}.

    • Limit determination: lim⁡k→∞k2k2+2k+1=lim⁡k→∞11+2/k+1/k2=1\lim_{k \to \infty} \frac{k^2}{k^2 + 2k + 1} = \lim_{k \to \infty} \frac{1}{1 + 2/k + 1/k^2} = 1.

    • Finding: Both the Root and Quotient criteria result in a limit of 1. Therefore, no statement regarding convergence can be made using these methods.

  • Subtask 4b: Partial Fraction Decomposition Proof

    • Objective: Show that 1k(k+1)=1k−1k+1\frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1}.

    • Verification: 1k−1k+1=(k+1)−kk(k+1)=1k(k+1)\frac{1}{k} - \frac{1}{k+1} = \frac{(k+1) - k}{k(k+1)} = \frac{1}{k(k+1)}.

    • The identity is verified.

  • Subtask 4c: Evaluation via Telescoping Series and Majorant Criterion

    • Calculating the series value for ∑k=1∞1k(k+1)\sum_{k=1}^{\infty} \frac{1}{k(k+1)} using the result from 4b:

    • The sequence of partial sums sn=∑k=1n(1k−1k+1)s_n = \sum_{k=1}^n \left( \frac{1}{k} - \frac{1}{k+1} \right).

    • Telescoping expansion: (1−1/2)+(1/2−1/3)+(1/3−1/4)+⋯+(1/n−1/(n+1))=1−1/(n+1)(1 - 1/2) + (1/2 - 1/3) + (1/3 - 1/4) + \dots + (1/n - 1/(n+1)) = 1 - 1/(n+1).

    • Determining the series sum: lim⁡n→∞(1−1/(n+1))=1\lim_{n \to \infty} (1 - 1/(n+1)) = 1. Thus, ∑k=1∞1k(k+1)=1\sum_{k=1}^{\infty} \frac{1}{k(k+1)} = 1.

    • Majorant Comparison: We utilize the relation 1k+1<1k\frac{1}{k+1} < \frac{1}{k}.

    • Inequality: ∑1(k+1)(k+1)<∑1k(k+1)\sum \frac{1}{(k+1)(k+1)} < \sum \frac{1}{k(k+1)}.

    • This establishes that ∑1k(k+1)\sum \frac{1}{k(k+1)} is a convergent majorant for ∑1(k+1)2\sum \frac{1}{(k+1)^2}.

    • Conclusion: By the Majorant Criterion, since the larger series converges, ∑1(k+1)2\sum \frac{1}{(k+1)^2} and consequently ∑1k2\sum \frac{1}{k^2} must converge.