In mathematics, the Goodwin–Staton integral is the special function
G ( z ) = ∫ 0 ∞ e − t 2 t + z d t , | arg z | < π . {\displaystyle G(z)=\int _{0}^{\infty }{\frac {e^{-t^{2}}}{t+z}}\,dt,\qquad |\arg z|<\pi .}
The restriction on the argument excludes the non-positive real axis, where the denominator can vanish along the path of integration. The integral is named after E. T. Goodwin and J. Staton, who published a numerical table of the corresponding real integral in 1948.
Relation to other special functions For positive real x {\displaystyle x} , the Goodwin–Staton integral is related to Dawson's integral F {\displaystyle F} and the exponential integral by
G ( x ) = π F ( x ) − 1 2 e − x 2 E i ( x 2 ) , x > 0. {\displaystyle G(x)={\sqrt {\pi }}\,F(x)-{\frac {1}{2}}e^{-x^{2}}\mathrm {Ei} (x^{2}),\qquad x>0.}
Differential equations Differentiating the defining integral and integrating by parts gives the first-order inhomogeneous differential equation
G ′ ( z ) + 2 z G ( z ) = π − 1 z . {\displaystyle G'(z)+2zG(z)={\sqrt {\pi }}-{\frac {1}{z}}.}
Differentiating this relation twice and eliminating the inhomogeneous term gives the third-order linear homogeneous equation
z G ‴ ( z ) + ( 2 + 2 z 2 ) G ″ ( z ) + 8 z G ′ ( z ) + 4 G ( z ) = 0. {\displaystyle zG'''(z)+(2+2z^{2})G''(z)+8zG'(z)+4G(z)=0.}
Properties on the positive real axis For x > 0 {\displaystyle x>0} , differentiation under the integral sign gives
G ( n ) ( x ) = ( − 1 ) n n ! ∫ 0 ∞ e − t 2 ( t + x ) n + 1 d t . {\displaystyle G^{(n)}(x)=(-1)^{n}n!\int _{0}^{\infty }{\frac {e^{-t^{2}}}{(t+x)^{n+1}}}\,dt.}
Hence
( − 1 ) n G ( n ) ( x ) > 0 , n = 0 , 1 , 2 , … , {\displaystyle (-1)^{n}G^{(n)}(x)>0,\qquad n=0,1,2,\ldots ,}
so G {\displaystyle G} is a completely monotonic function on ( 0 , ∞ ) {\displaystyle (0,\infty )} . In particular, G {\displaystyle G} is positive, strictly decreasing, and convex there.
Series near the origin D. S. Jones studied the generalized Goodwin–Staton integral and obtained convergent series representations. Specializing Jones's equation (2.11) gives, for | arg z | < π {\displaystyle |\arg z|<\pi } ,
… excerpt ends here. Continue reading the full article.
