The Laplace-transform formula for a semigroup resolvent is locally uniformly convergent in the half-plane , so it may be differentiated under the Bochner integral:
The resolvent identity gives and, by mathematical induction,
Therefore
For real , the integral triangle inequality and the Gamma integral give
Consequently
The exponent printed in the question is a typographical error: already at it contradicts the first-resolvent bound.
Because , is locally integrable at the origin and has only polynomial growth at infinity, so it defines a tempered distribution. It is a homogeneous distribution of degree and is radial. Its Fourier transform is therefore radial and homogeneous of degree , so it must have the form . In particular, .
To determine the constant, use the stated Gamma integral representation, Fubini's theorem, and the Fourier transform of a Gaussian:
The change of variables formula then gives
This is precisely the Fourier transform of the Riesz kernel.
The Gamma integral gives
For each , the last factor is a Gaussian kernel, and the remaining weight is nonnegative. The diagonal integral equals , so part ii shows that the displayed function is a positive-semidefinite kernel.
The intended oscillatory factor is . Give the early-time endpoint the usual i-epsilon prescription and set . For an integer ,
It is therefore purely imaginary. Equivalently, rotating the contour to the negative imaginary axis turns the remaining integral into a real Gamma integral and leaves one overall factor of .