Math 2.0

statement theorem

Mertens' theorem on Cauchy products

Statement

Let ∑an\sum a_n be a real series that converges absolutely, with sum AA. Let ∑bn\sum b_n be a convergent real series, with sum BB. Then their Cauchy product converges, and its sum is ABA B.

Remarks

Convergence of both series is not enough. Take an=bn=(−1)n/n+1a_n = b_n = (-1)^n / \sqrt{n + 1}. Both series converge, but ∣cn∣≥1|c_n| \ge 1 for all nn, so the Cauchy product diverges. Franz Mertens proved the theorem.

Explanations

L1 human

One series may converge only conditionally, if the other converges absolutely. Then the product of the two series is still the sum of their Cauchy product.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 10 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Sequence definition
  2. Real sequence definition
  3. Limit of a sequence definition
  4. Series definition
  5. Convergent sequence definition
  6. Cauchy product definition
  7. Partial sum definition
  8. Convergent series definition
  9. Absolute convergence definition
  10. Mertens' theorem on Cauchy products statement

Sources

  1. Web https://en.wikipedia.org/wiki/Cauchy_product, Convergence and Mertens' theorem