Two-region domination for differentiation of the gamma integral
ID: two-region-domination-for-differentiation-of-the-gamma-integral
For in a compact positive interval , split the integration region at one. Near zero the smallest exponent gives the displayed bound, whose integral is . Above one the largest exponent gives the bound, integrable by exponential decay. A single integrable function therefore dominates all parameter derivatives locally. Dominated differentiation under the integral sign gives . The same argument with higher powers of gives all higher derivatives.
New to topics? Read the docs here!