Q16Mathematics I
Question
Change the order of integration and hence evaluate:
Answer
By radically altering the order of integration from to , the previously impossible integral transforms into a trivial integration, elegantly yielding the exact final result of .
The mathematical challenge is to accurately evaluate the double integral:
An immediate attempt to integrate this directly with respect to fails entirely, because the antiderivative of (the logarithmic integral function) cannot be expressed in terms of elementary mathematical functions. Therefore, changing the order of integration to is absolutely mandatory.
Step 1: Sketching the Original Region
The original limits of integration strictly define the bounded 2D region. - The inner limits dictate that bounds vertically from the exponential curve up to the horizontal constant line . - The outer limits dictate that bounds horizontally from to . This creates a curvilinear triangular region in the first quadrant, bounded entirely by the y-axis, the line , and the exponential curve.
Step 2: Defining the New Limits
To change the order to , we must redefine the same region using horizontal sweeping strips instead of vertical ones. - Outer limits (for ): The absolute lowest point of this physical region occurs at , where . The absolute highest point is the line . Therefore, strictly varies from to . - Inner limits (for ): A horizontal strip entering the region from the left always touches the y-axis first () and exits the region on the right by touching the curve . To express this curve limit in terms of , we mathematically invert the function: . Thus, strictly varies from to .
The newly structured integral becomes:
Step 3: Execution of the New Integral
The integration is now trivial. For the inner integral, we integrate strictly with respect to . Since is entirely independent of , it acts as a mere constant:
Evaluating the strict limits:
The complex logarithmic terms cancel out perfectly, leaving the integral of :
Thus, the exact numerical evaluation of the integral is definitively .