# §6.7 Integral Representations

## §6.7(i) Exponential Integrals

 6.7.1 $\int_{0}^{\infty}\frac{e^{-at}}{t+b}dt=\int_{0}^{\infty}\frac{e^{iat}}{t+ib}dt% =e^{ab}\mathop{E_{1}\/}\nolimits\!\left(ab\right),$ $a>0$, $b>0$, Symbols: $dx$: differential of $x$, $e$: base of exponential function, $\mathop{E_{1}\/}\nolimits\!\left(z\right)$: exponential integral and $\int$: integral A&S Ref: 5.1.28 (modified form of) 5.1.29 (modified form of) Referenced by: §6.7(i) Permalink: http://dlmf.nist.gov/6.7.E1 Encodings: TeX, pMML, png
 6.7.2 $e^{x}\int_{0}^{\alpha}\frac{e^{-xt}}{1-t}dt=\mathop{\mathrm{Ei}\/}\nolimits\!% \left(x\right)-\mathop{\mathrm{Ei}\/}\nolimits\!\left((1-\alpha)x\right),$ $0\leq\alpha<1$, $x>0$.
 6.7.3 $\int_{x}^{\infty}\frac{e^{it}}{a^{2}+t^{2}}dt=\frac{i}{2a}\left(e^{a}\mathop{E% _{1}\/}\nolimits\!\left(a-ix\right)-e^{-a}\mathop{E_{1}\/}\nolimits\!\left(-a-% ix\right)\right),$ $a>0$, $x>0$, Symbols: $dx$: differential of $x$, $e$: base of exponential function, $\mathop{E_{1}\/}\nolimits\!\left(z\right)$: exponential integral, $\int$: integral and $x$: real variable A&S Ref: 5.1.41 (modified form of) Referenced by: §6.7(i) Permalink: http://dlmf.nist.gov/6.7.E3 Encodings: TeX, pMML, png
 6.7.4 $\int_{x}^{\infty}\frac{te^{it}}{a^{2}+t^{2}}dt=\tfrac{1}{2}\left(e^{a}\mathop{% E_{1}\/}\nolimits\!\left(a-ix\right)+e^{-a}\mathop{E_{1}\/}\nolimits\!\left(-a% -ix\right)\right),$ $a>0$, $x>0$.
 6.7.5 $\int_{x}^{\infty}\frac{e^{-t}}{a^{2}+t^{2}}dt=-\frac{1}{2ai}\left(e^{ia}% \mathop{E_{1}\/}\nolimits\!\left(x+ia\right)-e^{-ia}\mathop{E_{1}\/}\nolimits% \!\left(x-ia\right)\right),$ $a>0$, $x\in\Real$,
 6.7.6 $\int_{x}^{\infty}\frac{te^{-t}}{a^{2}+t^{2}}dt=\tfrac{1}{2}\left(e^{ia}\mathop% {E_{1}\/}\nolimits\!\left(x+ia\right)+e^{-ia}\mathop{E_{1}\/}\nolimits\!\left(% x-ia\right)\right),$ $a>0$, $x\in\Real$.
 6.7.7 $\int_{0}^{1}\frac{e^{-at}\mathop{\sin\/}\nolimits\!\left(bt\right)}{t}dt=% \imagpart{\mathop{\mathrm{Ein}\/}\nolimits\!\left(a+ib\right)},$ $a,b\in\Real$,
 6.7.8 $\int_{0}^{1}\frac{e^{-at}(1-\mathop{\cos\/}\nolimits\!\left(bt\right))}{t}dt=% \realpart{\mathop{\mathrm{Ein}\/}\nolimits\!\left(a+ib\right)}-\mathop{\mathrm% {Ein}\/}\nolimits\!\left(a\right),$ $a,b\in\Real$.

Many integrals with exponentials and rational functions, for example, integrals of the type $\int e^{z}R(z)dz$, where $R(z)$ is an arbitrary rational function, can be represented in finite form in terms of the function $\mathop{E_{1}\/}\nolimits\!\left(z\right)$ and elementary functions; see Lebedev (1965, p. 42).

## §6.7(ii) Sine and Cosine Integrals

When $z\in\Complex$

 6.7.9 $\mathop{\mathrm{si}\/}\nolimits\!\left(z\right)=-\int_{0}^{\pi/2}e^{-z\mathop{% \cos\/}\nolimits t}\mathop{\cos\/}\nolimits\!\left(z\mathop{\sin\/}\nolimits t% \right)dt,$
 6.7.10 $\mathop{\mathrm{Ein}\/}\nolimits\!\left(z\right)-\mathop{\mathrm{Cin}\/}% \nolimits\!\left(z\right)=\int_{0}^{\pi/2}e^{-z\mathop{\cos\/}\nolimits t}% \mathop{\sin\/}\nolimits\!\left(z\mathop{\sin\/}\nolimits t\right)dt,$
 6.7.11 $\int_{0}^{1}\frac{(1-e^{-at})\mathop{\cos\/}\nolimits\!\left(bt\right)}{t}dt=% \realpart{\mathop{\mathrm{Ein}\/}\nolimits\!\left(a+ib\right)}-\mathop{\mathrm% {Cin}\/}\nolimits\!\left(b\right),$ $a,b\in\Real$.

## §6.7(iii) Auxiliary Functions

 6.7.12 $\mathop{\mathrm{g}\/}\nolimits\!\left(z\right)+i\mathop{\mathrm{f}\/}\nolimits% \!\left(z\right)=e^{-iz}\int_{z}^{\infty}\frac{e^{it}}{t}dt,$ $|\mathop{\mathrm{ph}\/}\nolimits z|\leq\pi.$

The path of integration does not cross the negative real axis or pass through the origin.

 6.7.13 $\displaystyle\mathop{\mathrm{f}\/}\nolimits\!\left(z\right)$ $\displaystyle=\int_{0}^{\infty}\frac{\mathop{\sin\/}\nolimits t}{t+z}dt=\int_{% 0}^{\infty}\frac{e^{-zt}}{t^{2}+1}dt,$ 6.7.14 $\displaystyle\mathop{\mathrm{g}\/}\nolimits\!\left(z\right)$ $\displaystyle=\int_{0}^{\infty}\frac{\mathop{\cos\/}\nolimits t}{t+z}dt=\int_{% 0}^{\infty}\frac{te^{-zt}}{t^{2}+1}dt.$

The first integrals on the right-hand sides apply when $|\mathop{\mathrm{ph}\/}\nolimits z|<\pi$; the second ones when $\realpart{z}\geq 0$ and (in the case of (6.7.14)) $z\neq 0$.

When $|\mathop{\mathrm{ph}\/}\nolimits z|<\pi$

 6.7.15 $\displaystyle\mathop{\mathrm{f}\/}\nolimits\!\left(z\right)$ $\displaystyle=2\int_{0}^{\infty}\mathop{K_{0}\/}\nolimits\!\left(2\sqrt{zt}% \right)\mathop{\cos\/}\nolimits tdt,$ 6.7.16 $\displaystyle\mathop{\mathrm{g}\/}\nolimits\!\left(z\right)$ $\displaystyle=2\int_{0}^{\infty}\mathop{K_{0}\/}\nolimits\!\left(2\sqrt{zt}% \right)\mathop{\sin\/}\nolimits tdt.$

For $\mathop{K_{0}\/}\nolimits$ see §10.25(ii).

## §6.7(iv) Compendia

For collections of integral representations see Bierens de Haan (1939, pp. 56–59, 72–73, 82–84, 121, 133–136, 155, 179–181, 223, 225–227, 230, 259–260, 374, 377, 397–398, 408, 416, 424, 431, 438–439, 442–444, 488, 496–500, 567–571, 585, 602, 638, 675–677), Corrington (1961), Erdélyi et al. (1954a, vol. 1, pp. 267–270), Geller and Ng (1969), Nielsen (1906b), Oberhettinger (1974, pp. 244–246), Oberhettinger and Badii (1973, pp. 364–371), and Watrasiewicz (1967).