Q8Advanced Engineering Mathematics
Question
Prove that:
and hence deduce the integral .
Answer
Rigorous mathematical proof employing the Laplace transform property of division by t, coupled with integral deduction and evaluation of infinite limits.
The problem demands a rigorous evaluation of the Laplace transform of a complex trigonometric fraction, followed by the deduction of a specific improper integral. The Laplace transform is exceptionally powerful for evaluating integrals from 0 to infinity that are otherwise intractable using standard real analysis techniques.
1. Finding the Laplace Transform
We must evaluate . The function has in the denominator, which immediately indicates that we must use the "Division by " property: , where .
First, we find the transform of the numerator . We cannot transform a squared trigonometric function directly. We must use the double-angle power-reduction identity to linearize it: .
Now, we apply the linearity property of the Laplace transform to this expression:
Next, we apply the Division by integration theorem:
We integrate the two terms. The first is a simple natural logarithm. The second term requires a u-substitution (let , , so ).
Using logarithmic properties ( and ), we combine the terms into a single compact logarithmic expression:
To evaluate the upper limit as , we analyze the behavior of the argument. We divide numerator and denominator by : . As approaches infinity, approaches zero, leaving . The natural logarithm of 1 is exactly 0. Thus, the upper bound evaluation is 0.
We eliminate the negative sign by inverting the argument inside the logarithm:
This completes the first part of the proof.
2. Deduction of the Improper Integral
The second part of the question asks us to deduce the value of . This requires another application of Laplace theory.
We know by definition that . If we take the mathematical limit as on both sides (assuming the integral is convergent), we obtain .
Let . We need its Laplace transform. We apply the Division by property a second time to our previously derived result:
Evaluating this new integral from 0 to infinity (taking limit ) requires advanced integration by parts. Let and . Then and .
We evaluate this from to . As , (via L'Hopital's rule) and . As , and .
The definite integral evaluates to .
Remembering the factor in front of the integral: .
Therefore, it is rigorously proved that .