Digital Library of Mathematical Functions
About the Project
NIST
7 Error Functions, Dawson’s and Fresnel IntegralsProperties

§7.13 Zeros

Contents

§7.13(i) Zeros of \mathop{\mathrm{erf}\/}\nolimits z

\mathop{\mathrm{erf}\/}\nolimits z has a simple zero at z=0, and in the first quadrant of \Complex there is an infinite set of zeros z_{n}=x_{n}+iy_{n}, n=1,2,3,\dots, arranged in order of increasing absolute value. The other zeros of \mathop{\mathrm{erf}\/}\nolimits z are -z_{n}, \conj{z}_{n}, -\conj{z}_{n}.

Table 7.13.1 gives 10D values of the first five x_{n} and y_{n}. For graphical illustration see Figure 7.3.5.

Table 7.13.1: Zeros x_{n}+iy_{n} of \mathop{\mathrm{erf}\/}\nolimits z.
n x_{n} y_{n}
1 1.45061 61632 1.88094 30002
2 2.24465 92738 2.61657 51407
3 2.83974 10469 3.17562 80996
4 3.33546 07354 3.64617 43764
5 3.76900 55670 4.06069 72339

As n\to\infty

7.13.1
x_{n}\sim\lambda-\tfrac{1}{4}\mu\lambda^{{-1}}+\tfrac{1}{16}(1-\mu+\tfrac{1}{2%
}\mu^{2})\lambda^{{-3}}-\cdots,
y_{n}\sim\lambda+\tfrac{1}{4}\mu\lambda^{{-1}}+\tfrac{1}{16}(1-\mu+\tfrac{1}{2%
}\mu^{2})\lambda^{{-3}}+\cdots,

where

§7.13(ii) Zeros of \mathop{\mathrm{erfc}\/}\nolimits z

In the sector \tfrac{1}{2}\pi<\mathop{\mathrm{ph}\/}\nolimits z<\tfrac{3}{4}\pi, \mathop{\mathrm{erfc}\/}\nolimits z has an infinite set of zeros z_{n}=x_{n}+iy_{n}, n=1,2,3,\dots, arranged in order of increasing absolute value. The other zeros of \mathop{\mathrm{erfc}\/}\nolimits z are \conj{z}_{n}. The zeros of \mathop{w\/}\nolimits\!\left(z\right) are iz_{n} and i\conj{z}_{n}.

Table 7.13.2 gives 10D values of the first five x_{n} and y_{n}. For graphical illustration see Figure 7.3.6.

Table 7.13.2: Zeros x_{n}+iy_{n} of \mathop{\mathrm{erfc}\/}\nolimits z.
n x_{n} y_{n}
1 −1.35481 01281 1.99146 68428
2 −2.17704 49061 2.69114 90243
3 −2.78438 76132 3.23533 08684
4 −3.28741 07894 3.69730 97025
5 −3.72594 87194 4.10610 72847

§7.13(iii) Zeros of the Fresnel Integrals

At z=0, \mathop{C\/}\nolimits\!\left(z\right) has a simple zero and \mathop{S\/}\nolimits\!\left(z\right) has a triple zero. In the first quadrant of \Complex \mathop{C\/}\nolimits\!\left(z\right) has an infinite set of zeros z_{n}=x_{n}+iy_{n}, n=1,2,3,\dots, arranged in order of increasing absolute value. Similarly for \mathop{S\/}\nolimits\!\left(z\right). Let z_{n} be a zero of one of the Fresnel integrals. Then -z_{n}, \conj{z}_{n}, -\conj{z}_{n}, iz_{n}, -iz_{n}, i\conj{z}_{n}, -i\conj{z}_{n} are also zeros of the same integral.

Tables 7.13.3 and 7.13.4 give 10D values of the first five x_{n} and y_{n} of \mathop{C\/}\nolimits\!\left(z\right) and \mathop{S\/}\nolimits\!\left(z\right), respectively.

Table 7.13.3: Complex zeros x_{n}+iy_{n} of \mathop{C\/}\nolimits\!\left(z\right).
n x_{n} y_{n}
1 1.74366 74862 0.30573 50636
2 2.65145 95973 0.25290 39555
3 3.32035 93363 0.22395 34581
4 3.87573 44884 0.20474 74706
5 4.36106 35170 0.19066 97324

As n\to\infty the x_{n} and y_{n} corresponding to the zeros of \mathop{C\/}\nolimits\!\left(z\right) satisfy

7.13.5
x_{n}\sim\lambda+\frac{\alpha(\alpha\pi-4)}{8\pi\lambda^{3}}+\cdots,
y_{n}\sim\frac{\alpha}{2\lambda}+\cdots,

with

7.13.6
\lambda=\sqrt{4n-1},
\alpha=(2/\pi)\mathop{\ln\/}\nolimits\!\left(\pi\lambda\right).
Table 7.13.4: Complex zeros x_{n}+iy_{n} of \mathop{S\/}\nolimits\!\left(z\right).
n x_{n} y_{n}
1 2.00925 70118 0.28854 78973
2 2.83347 72325 0.24428 52408
3 3.46753 30835 0.21849 26805
4 4.00257 82433 0.20085 10251
5 4.47418 92952 0.18768 85891

As n\to\infty the x_{n} and y_{n} corresponding to the zeros of \mathop{S\/}\nolimits\!\left(z\right) satisfy (7.13.5) with

§7.13(iv) Zeros of \mathop{\mathcal{F}\/}\nolimits\!\left(z\right)

In consequence of (7.5.5) and (7.5.10), zeros of \mathop{\mathcal{F}\/}\nolimits\!\left(z\right) are related to zeros of \mathop{\mathrm{erfc}\/}\nolimits z. Thus if z_{n} is a zero of \mathop{\mathrm{erfc}\/}\nolimits z7.13(ii)), then (1+i)z_{n}/\sqrt{\pi} is a zero of \mathop{\mathcal{F}\/}\nolimits\!\left(z\right).

For an asymptotic expansion of the zeros of \int_{0}^{z}\mathop{\exp\/}\nolimits\!\left(\tfrac{1}{2}\pi it^{2}\right)dt (=\mathop{\mathcal{F}\/}\nolimits\!\left(0\right)-\mathop{\mathcal{F}\/}%
\nolimits\!\left(z\right) =\mathop{C\/}\nolimits\!\left(z\right)+i\mathop{S\/}\nolimits\!\left(z\right)) see Tuẑilin (1971).