Math 2.0

Approximations and expansions Definition

Asymptotic scale

Builds on Little o notation

Definition

Let DD be a subset of ℝ\R or of ℂ\C and let x0x_0 be a limit point of DD, possibly ∞\infty. An asymptotic scale (or asymptotic sequence) at x0x_0 is a sequence of functions φ0,φ1,φ2,… ⁣:D→ℂ\varphi_0, \varphi_1, \varphi_2, \dots \colon D \to \C such that:

  1. each φn\varphi_n has no zero in D∩VD \cap V for some punctured neighbourhood VV of x0x_0;
  2. for each n≥0n \ge 0, φn+1(x)=o(φn(x))\varphi_{n+1}(x) = o\big(\varphi_n(x)\big) as x→x0x \to x_0 in DD, in little o notation.

Remarks

Example: φn(x)=(x−x0)n\varphi_n(x) = (x - x_0)^n on D=ℝD = \R at a finite x0x_0. These have no zero for x≠x0x \ne x_0, and φn+1(x)/φn(x)=x−x0→0\varphi_{n+1}(x) / \varphi_n(x) = x - x_0 \to 0.

Mixed scales such as 1,log⁡xx,1x,log⁡xx2,1x2,…1, \frac{\log x}{x}, \frac1x, \frac{\log x}{x^2}, \frac{1}{x^2}, \dots at ∞\infty are also asymptotic scales.

Non-example: φn(x)=x−n\varphi_n(x) = x^{-n} is not an asymptotic scale at x0=0x_0 = 0, since φn+1(x)/φn(x)=1/x\varphi_{n+1}(x)/\varphi_n(x) = 1/x does not tend to 00 there; it is a scale at ∞\infty.

Non-example: φn(x)=sin⁡(x) x−n\varphi_n(x) = \sin(x)\, x^{-n} at ∞\infty on D=(1,∞)D = (1, \infty) fails clause 1, since every φn\varphi_n has zeros at x=kπx = k\pi for all large kk.

Some authors drop clause 1 and write the condition 2 as φn+1=o(φn)\varphi_{n+1} = o(\varphi_n) in the sense of an inequality ∣φn+1∣≤ε∣φn∣\abs{\varphi_{n+1}} \le \varepsilon \abs{\varphi_n} near x0x_0.

Reading path

To understand this page from the ground up, read these 2 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. Little o notation concept
  2. Asymptotic scale definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Asymptotic_expansion
About this page
TagH4XSF8ZPRS
URIm2://H4XSF8ZPRS
Kinddefinition
WritingW0 stub
MSC41A60, 30E15
DefinesAsymptotic scale
UsesLittle o notation

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.