About the Project
7 Error Functions, Dawson’s and Fresnel IntegralsProperties

§7.13 Zeros

Contents
  1. §7.13(i) Zeros of \operatorname{erf}z
  2. §7.13(ii) Zeros of \operatorname{erfc}z
  3. §7.13(iii) Zeros of the Fresnel Integrals
  4. §7.13(iv) Zeros of \mathcal{F}\left(z\right)

§7.13(i) Zeros of \operatorname{erf}z

\operatorname{erf}z has a simple zero at z=0, and in the first quadrant of \mathbb{C} 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 \operatorname{erf}z are -z_{n}, \overline{z}_{n}, -\overline{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 \operatorname{erf}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.2
\lambda=\sqrt{(n-\tfrac{1}{8})\pi},
\mu=\ln\left(\lambda\sqrt{2\pi}\right).

§7.13(ii) Zeros of \operatorname{erfc}z

In the sector \tfrac{1}{2}\pi<\operatorname{ph}z<\tfrac{3}{4}\pi, \operatorname{erfc}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 \operatorname{erfc}z are \overline{z}_{n}. The zeros of w\left(z\right) are iz_{n} and i\overline{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 \operatorname{erfc}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

As n\to\infty

where

7.13.4
\lambda=\sqrt{(n-\tfrac{1}{8})\pi},
\mu=\ln\left(2\lambda\sqrt{2\pi}\right).

§7.13(iii) Zeros of the Fresnel Integrals

At z=0, C\left(z\right) has a simple zero and S\left(z\right) has a triple zero. In the first quadrant of \mathbb{C}C\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 S\left(z\right). Let z_{n} be a zero of one of the Fresnel integrals. Then -z_{n}, \overline{z}_{n}, -\overline{z}_{n}, iz_{n}, -iz_{n}, i\overline{z}_{n}, -i\overline{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 C\left(z\right) and S\left(z\right), respectively.

Table 7.13.3: Complex zeros x_{n}+iy_{n} of C\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 C\left(z\right) satisfy

with

7.13.6
\lambda=\sqrt{4n-1},
\alpha=(2/\pi)\ln\left(\pi\lambda\right).
Table 7.13.4: Complex zeros x_{n}+iy_{n} of S\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 S\left(z\right) satisfy (7.13.5) with

§7.13(iv) Zeros of \mathcal{F}\left(z\right)

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

For an asymptotic expansion of the zeros of \int_{0}^{z}\exp\left(\tfrac{1}{2}\pi it^{2}\right)\,\mathrm{d}t (=\mathcal{F}\left(0\right)-\mathcal{F}\left(z\right)=C\left(z\right)+iS\left(z\right)) see Tuẑilin (1971).