(a) Define formally what it means for a real valued function f(x) to have an asymptotic expansion about x0, given by
f(x)∼n=0∑∞fn(x−x0)n as x→x0
Use this definition to prove the following properties.
(i) If both f(x) and g(x) have asymptotic expansions about x0, then h(x)=f(x)+g(x) also has an asymptotic expansion about x0.
(ii) If f(x) has an asymptotic expansion about x0 and is integrable, then
∫x0xf(ξ)dξ∼n=0∑∞n+1fn(x−x0)n+1 as x→x0
(b) Obtain, with justification, the first three terms in the asymptotic expansion as x→∞ of the complementary error function, erfc(x), defined as
erfc(x):=2π1∫x∞e−t2dt