Scaled lower incomplete gamma integral

ID: scaled-lower-incomplete-gamma-integral

For , this integral is an entire function of : the exponential series converges uniformly on bounded subsets after multiplication by the integrable bound . Thus
For positive real , a change of variables gives , where here denotes the lower incomplete gamma function. The singular-looking factor is removed by the integral over . Applying integration by parts to the derivative of gives ; differentiating and eliminating proves .

New to topics? Read the docs here!