Let , and take equal subintervals of width . Since sine is continuous, its integral is the limit of the left-endpoint Riemann sums
Using Euler's formula, the corresponding complex sum is a finite geometric series:
Since ,
Taking imaginary parts gives
One can see the same limit entirely within the real sums: the finite trigonometric-sum identity obtained from this geometric sum gives
Thus the evaluation is explicitly by a Riemann sum, as required.
Apply the Leibniz integral rule: differentiate both moving endpoints and the integrand's explicit dependence. The partial derivative is . Hence
The signs distinguish upper and lower endpoint contributions. The formula also holds when the limits occur in reversed order, by the oriented-integral convention. If , the integral defining is identically zero and all displayed terms cancel, so
First check the improper integral exists: near zero its numerator is , so the quotient is ; at infinity both exponentials decay. For positive parameters in compact neighborhoods, the differentiated integrands have integrable bounds, justifying differentiation under the integral sign. It gives
Thus , with independent of both parameters. Since , , and
The sign is consistent with the integrand: makes it positive. Neither separate integral converges at zero; it is the difference that is meaningful. The substitution identifies the result as a Frullani integral with an extra factor .

Articles by others on the same topic (0)

There are currently no matching articles.