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 . ThusFor 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!