The inverse change of variables is , . Thus the triangular region becomes
The upper limit depends on : the new region is not a rectangle. The absolute inverse Jacobian determinant is , so the change of variables formula cancels the rational factor in the integrand:
Although the original integrand is undefined at the vertex , its nonnegative improper integral exists. One can apply the change of variables formula on and let by the monotone convergence theorem; the transformed integrand has the finite integral just computed.
Use , so and . Reversing the integration bounds gives, without evaluating either side,
For , the same change of variables gives
so . These are legitimate transformations of improper integrals: is integrable near zero, and is integrable at infinity. In particular is absolutely convergent, so no cancellation of divergent endpoints is being assumed.
Use the complex exponential representation of cosine. For real and , exponential decay makes the improper integral absolutely convergent, and
For the second integral, use differentiation under the integral sign with respect to . The minus sign is essential: . Hence
To justify this step near any fixed , restrict . The absolute value of the differentiated integrand is at most , an integrable bound, so dominated convergence permits the differentiation. At the answers reduce to and , respectively.
For and , the preceding antiderivative gives
The integrand is nonnegative, so Tonelli's theorem permits reversing the two integrals without first assuming absolute integrability. Put in the inner integral to obtain the hyperbolic-secant Frullani integral:
Here . Near zero, cancellation makes the original integrand ; at infinity it decays exponentially. The finite result therefore also establishes ordinary convergence of the improper integral.
With the change of variables , one has , and . The transformed improper integral is integrable at its zero endpoint and becomes
Hence
For , strict decrease gives , while for it gives . Integrating over these unit intervals proves
Summing the rectangle bounds gives
The partial sums and the improper integral are nondecreasing. These bounds show that one is bounded exactly when the other is bounded, proving the integral test for convergence. In the convergent case, sum the same interval inequalities for to obtain
For , the antiderivative is , which grows without bound, so the first series diverges. For , the antiderivative is , whose tail integral is finite, so the second series converges, with
Both functions are positive and strictly decreasing on , as required.
Set , so and . The improper integral becomes
The Gamma function recurrence gives
The exponential-transformed integrand also proves convergence at the logarithmically singular endpoint.
The Gaussian function is even and is odd, so their product is an odd function. Moreover , whose integral on the real line is finite. Thus the improper integral is absolutely convergent, not merely a symmetric principal value, and the contributions of its two half-lines cancel:
The expected value is the improper integral . It converges exactly when , yielding
At this improper integral diverges logarithmically, and for it diverges as a power of its upper endpoint. In both cases the nonnegative variable has infinite mean. This is the first Pareto moment threshold.
Index the stated geometric progression by , . Then , and its left-endpoint contribution is
Hence the approximation is a geometric series with
Since and , the ratio satisfies and the series converges. The integrand is decreasing, so the left-endpoint sum is an upper bound for the improper integral.
For , evaluate the improper integral directly:
For , use integration by parts with and . Then and
The boundary term vanishes: at zero , while at infinity its power is . The restriction belongs to this recurrence step; the separate base case must not be replaced by a formal zero times a divergent .
Use integration by parts in , writing the integrand as . Since an antiderivative of is ,
The boundary term vanishes because the Gaussian exponential function decays faster than any fixed power. These improper integrals are absolutely convergent, justifying the limiting integration by parts.
Starting from the permitted Gaussian integral , the Gaussian moment recurrence gives and then
More generally, iteration gives , using the double factorial with .
The function is positive and decreasing for , since . The integral test for convergence therefore applies. Its comparison improper integral is
Consequently diverges.
Reverse the order in the nonnegative double integral, using and . For , an antiderivative in is . Thus
Let denote the requested improper integral. Its numerator is near zero, so its apparent singularity is removable; it also decays at infinity. We may therefore separate the preceding expression into the convergent integrals
It follows that
The two terms divided separately by would each have a divergent integral at zero; the cancellation in their difference is essential.
For , integration by parts with and yields
The boundary term vanishes at zero because , and at infinity because exponential decay dominates every fixed power. The initial improper integral is . Iterating the recurrence relation therefore gives
This is the positive-integer case of the Gamma function identity .
The stated derivative formula needs a domain qualification. The original PDF calls real, but the integral is even in ; its derivative therefore cannot equal the printed positive expression on both sides of zero.
First take . The improper integral converges, with an integrand near zero and decay at infinity. On compact positive parameter intervals, an integrable bound also justifies differentiation under the integral sign:
For , the partial fraction decomposition is
Integrating the rational functions gives
At , the same result follows by continuity, or directly from .
Integrating gives on the positive half-line. To fix , take : for the integrand is bounded by , an integrable function. The dominated convergence theorem gives , so . Evenness then extends the logarithmic parameter integral with Cauchy weight to its full stated domain:
For negative , the derivative is . At zero the right and left derivatives are and , so is not differentiable there. The pointwise derivative of the integrand at zero is zero, but interchanging it with the infinite integral at that parameter is invalid. Finally, substituting gives the requested special value
Write . The vector field is undefined at because diverges there, but this component is tangential to that face. The face fluxes have finite improper integral limits. In particular, the substitution gives
Using the outward unit normal on each face, the flux contributions are
Hence
For a precise justification at the singular face, first use the truncated cube . Its opposite -face integrals cancel, the -faces contribute , and the upper -face contributes . The limit as is . On each truncated cube the divergence theorem gives the same answer, since . Thus the result is a flux of a vector field with an integrable tangential singularity, rather than an application of the classical smooth-field theorem directly at .
Let be the positive Gaussian integral. Its improper integral converges because for . Multiplying two copies and using the polar coordinates area element gives
Nonnegativity justifies the product double integral and the change of integration order. Since ,
At height , the elliptic paraboloid has a circular cross-section , of area . The cylindrical coordinates volume element therefore reduces the volume integral to
For the specified , the derivative is . Thus is integrable at zero and decays exponentially at infinity. Apply integration by parts first on a truncated interval and then take the endpoint limits:
Both boundary terms vanish because . With , integration by substitution gives the Gaussian integral:
The integrand is singular at the apex but the resulting improper integral is convergent.
The product in the integrand simplifies to below its upper endpoint. With the integration by substitution , the limits become and zero and . Therefore
Although the tangent function itself is undefined at the upper endpoint, the product has a zero limit there, so its continuous extension, or its improper integral, gives this same result.
To obtain directly from a Riemann sum, divide into equal pieces of width and use right endpoints . The sum is
The integrand is continuous, so the limit of these Riemann sums is its definite integral, namely , agreeing with the antiderivative calculation.