Math 2.0

Approximations and expansions Asymptotic approximations and expansions Example

Divergent asymptotic series

Builds on Divergent seriesOptimal truncation

Example

For x>0x > 0 let F(x)=∫0∞e−t1+xt dt.F(x) = \int_0^\infty \frac{e^{-t}}{1 + x t}\,dt. Then, as x→0+x \to 0^+, F(x)∼∑n≥0(−1)nn! xn=1−x+2x2−6x3+⋯ ,F(x) \sim \sum_{n \ge 0} (-1)^n n!\, x^n = 1 - x + 2x^2 - 6x^3 + \cdots, and this series is a divergent series for every x≠0x \ne 0.

Check of the expansion: for N≥0N \ge 0 and t≥0t \ge 0, 11+xt=∑n=0N(−xt)n+(−xt)N+11+xt.\frac{1}{1 + x t} = \sum_{n=0}^{N} (-x t)^n + \frac{(-x t)^{N+1}}{1 + x t}. Integrating against e−te^{-t} and using ∫0∞tne−t dt=n!\int_0^\infty t^n e^{-t}\,dt = n! gives F(x)−∑n=0N(−1)nn! xn=RN(x),∣RN(x)∣≤xN+1∫0∞tN+1e−t dt=(N+1)! xN+1.F(x) - \sum_{n=0}^{N} (-1)^n n!\, x^n = R_N(x), \qquad \abs{R_N(x)} \le x^{N+1} \int_0^\infty t^{N+1} e^{-t}\,dt = (N + 1)!\, x^{N+1}. So the error is O(xN+1)O(x^{N+1}) for each NN, which is the condition of a Poincaré asymptotic series at 00.

Check of divergence: for x≠0x \ne 0 the ratio of consecutive terms is (n+1)∣x∣→∞(n + 1) \abs{x} \to \infty, so the terms do not tend to 00.

Remarks

For a fixed small xx the terms n! xnn!\, x^n first decrease and then grow, and the smallest one is near n≈1/xn \approx 1/x. Stopping there, which is optimal truncation, gives an error of order 2π/x e−1/x\sqrt{2\pi/x}\, e^{-1/x} by Stirling's formula, which is extremely small for small xx. The function FF is the Borel sum of the series, and F(x)=1xe1/xE1(1/x)F(x) = \frac1x e^{1/x} E_1(1/x), where E1E_1 is the exponential integral.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Divergent series concept
  2. Optimal truncation concept
  3. Divergent asymptotic series example

Further reading

  1. Web https://en.wikipedia.org/wiki/Divergent_series
About this page
Tag6ZP4DJ7JMF
URIm2://6ZP4DJ7JMF
Kindexample
WritingW0 stub
MSC41A60, 40A05, 30E15
Instance ofPoincaré asymptotic series
UsesDivergent series, Optimal truncation

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

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

What links here

No page links to this page yet.