Parameter-shift remainder bound for a logarithmic Laplace integral

ID: parameter-shift-remainder-bound-for-a-logarithmic-laplace-integral

For with positive and , differentiation cancels the logarithmic denominator and gives . Integrating this derivative expresses as a finite parameter-Laplace integral plus . The elementary lower bound gives the displayed remainder, smaller than every logarithmic term at fixed . Watson's lemma then determines all coefficients from the finite integral's endpoint Taylor series.

New to topics? Read the docs here!