Write and . The needed coefficient derivatives are , , and . Apply the product rule to both terms of and use the chain rule for the derivatives of . Collecting terms gives
Similarly, differentiating gives
On addition, both the mixed partial derivative terms and the first angular derivative terms cancel. Using , the Laplacian in polar coordinates is
The characteristic polynomial factors as , so the homogeneous solution is . The forcing already occurs in that solution, so a constant multiple of cannot be a particular solution. Use instead. Its derivatives are and , so substitution gives and fixes . Thus
The extra factor of accounts for the repeated forcing exponent in the method of undetermined coefficients.
On a smooth implicit branch, put and require . This is exactly the implicit function theorem condition, since the defining equation has vertical partial derivative . Differentiating the cubic relation in and gives
For a second derivative, the dependence of on must also be included: and . Thus
The required cancellation follows immediately:
The verification is local to smooth branches with ; the implicit relation does not guarantee a differentiable function at its singular points.
The finite form of Taylor's theorem is
where lies between and when . Sufficient hypotheses are continuous derivatives up to order on the interval joining the endpoints and an th derivative in its interior. The first terms end at degree ; the Taylor remainder uses the th derivative. At the remainder is zero. This finite Taylor polynomial identity does not require convergence of an infinite Taylor series.
Write the sine argument as , with . The sine addition formula gives . Its Maclaurin series is , so
There is no linear term because the outer sine has zero derivative at .
Apply the Leibniz integral rule, including both moving boundaries and the explicit parameter in the integrand. The upper bound has derivative , the lower bound has derivative , and the integrand has partial derivative with respect to . Therefore
The formula remains valid when the bounds coincide or occur in reversed order, by the oriented definite integral convention. The integrand and its partial derivative are continuous on every finite integration interval.
At a point of tangency, the derivative of the curve equals the slope one of the straight line. The chain rule gives . Since , the unique solution is . The corresponding height is . Substitution in the tangent line gives
The probability density is an even function. Its derivative simplifies to
It increases for and decreases for , with maximum height . Thus the most probable value, or mode, is . The original sketch shows the symmetric, slightly flattened peak and long tails.
Figure 1.
Density of a standard Cauchy variable after an independent uniform displacement
. Details.
There is a genuine qualification to the request for a mean: the mean does not exist. The integral representation shows that as , so
The two divergent integrals cannot be subtracted to define an expected value. Symmetry does give the Cauchy principal value , but that is not the mean. Equivalently, adding the bounded variable cannot make the first absolute moment of a Cauchy distribution finite.
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 finite form of Taylor's theorem with the first terms is
where lies strictly between and for . A sufficient hypothesis is that has continuous derivatives through order on the interval joining the endpoints and an th derivative in its interior. The displayed polynomial has degree at most ; its Taylor remainder uses the th derivative, not the st. At the remainder is zero. This is a finite Taylor polynomial identity and does not require an infinite Taylor series to converge.
For , the first two derivatives are and . Since ,
The first three terms of the Taylor expansion, with , therefore give
For a check on accuracy, is positive and decreasing on . The Taylor remainder is consequently positive and less than . The approximation is a slight underestimate.