Remove the apparent singularity at by defining
This is jointly continuous: write using the unnormalized sinc function, whose value at zero is one. Its partial derivative in is
also at , since there . This partial derivative is jointly continuous on the whole strip.
The value at the single endpoint does not change a Lebesgue integral. Part (b), whose dominated convergence proof applies to , therefore makes continuously differentiable on , with a right derivative at zero, and
For , direct integration gives
At zero the same integral gives , so no division by zero is required. Also . The substitution rule identifies for , the sine integral.

Articles by others on the same topic (0)

There are currently no matching articles.