[go: up one dir, main page]

7 Error Functions, Dawson’s and Fresnel IntegralsProperties

§7.12 Asymptotic Expansions

Contents
  1. §7.12(i) Complementary Error Function
  2. §7.12(ii) Fresnel Integrals
  3. §7.12(iii) Goodwin–Staton Integral

§7.12(i) Complementary Error Function

As z→∞

7.12.1 erfc⁡z ∼e−z2π⁢∑m=0∞(−1)m⁢(12)mz2⁢m+1,
erfc⁡(−z) ∼2−e−z2π⁢∑m=0∞(−1)m⁢(12)mz2⁢m+1,

both expansions being valid when |ph⁡z|≤34⁢π−δ (<34⁢π).

When |ph⁡z|≤14⁢π the remainder terms are bounded in magnitude by the first neglected terms, and have the same sign as these terms when ph⁡z=0. When 14⁢π≤|ph⁡z|<12⁢π the remainder terms are bounded in magnitude by csc⁡(2⁢|ph⁡z|) times the first neglected terms. For these and other error bounds see Olver (1997b, pp. 109–112), with α=12 and z replaced by z2; compare (7.11.2).

For re-expansions of the remainder terms leading to larger sectors of validity, exponential improvement, and a smooth interpretation of the Stokes phenomenon, see §§2.11(ii)–2.11(iv) and use (7.11.3). (Note that some of these re-expansions themselves involve the complementary error function.)

§7.12(ii) Fresnel Integrals

The asymptotic expansions of C⁡(z) and S⁡(z) are given by (7.5.3), (7.5.4), and

7.12.2 f⁡(z)∼1π⁢z⁢∑m=0∞(−1)m⁢(12)2⁢m(π⁢z2/2)2⁢m,
7.12.3 g⁡(z)∼1π⁢z⁢∑m=0∞(−1)m⁢(12)2⁢m+1(π⁢z2/2)2⁢m+1,

as z→∞ in |ph⁡z|≤12⁢π−δ(<12⁢π). The remainder terms are given by

7.12.4 f⁡(z)=1π⁢z⁢∑m=0n−1(−1)m⁢(12)2⁢m(π⁢z2/2)2⁢m+Rn(f)⁡(z),
7.12.5 g⁡(z)=1π⁢z⁢∑m=0n−1(−1)m⁢(12)2⁢m+1(π⁢z2/2)2⁢m+1,+Rn(g)⁡(z),

where, for n=0,1,2,… and |ph⁡z|<14⁢π,

7.12.6 Rn(f)⁡(z)=(−1)nπ⁢2⁢∫0∞e−π⁢z2⁢t/2⁢t2⁢n−(1/2)t2+1⁢dt,
7.12.7 Rn(g)⁡(z)=(−1)nπ⁢2⁢∫0∞e−π⁢z2⁢t/2⁢t2⁢n+(1/2)t2+1⁢dt.

When |ph⁡z|≤18⁢π, Rn(f)⁡(z) and Rn(g)⁡(z) are bounded in magnitude by the first neglected terms in (7.12.2) and (7.12.3), respectively, and have the same signs as these terms when ph⁡z=0. They are bounded by |csc⁡(4⁢ph⁡z)| times the first neglected terms when 18⁢π≤|ph⁡z|<14⁢π.

For other phase ranges use (7.4.7) and (7.4.8). For exponentially-improved expansions use (7.5.7), (7.5.10), and §7.12(i).

§7.12(iii) Goodwin–Staton Integral

See Olver (1997b, p. 115) for an expansion of G⁡(z) with bounds for the remainder for real and complex values of z.