The chain rule identifies an antiderivative directly:
The upper limit in the PDF is . By the fundamental theorem of calculus, the required integral is
For a classical solution take twice differentiable, so that the second derivatives exist. Direct use of the chain rule gives
with the two profile arguments as specified. Thus .
To prove generality, introduce characteristic coordinates , , whose Jacobian determinant is . For the differential operator is
The equation becomes . Integrating once in each variable yields
This is the countertravelling decomposition of the one-dimensional wave equation, with wave speed . Once differentiability alone is not sufficient for a classical second-order equation; the displayed argument uses the required second derivatives.
First take , then differentiate with respect to . The product rule and chain rule give
The function is smooth, so the two mixed partial derivatives agree.
Write the rational expression as and apply the chain rule:
The denominator is positive for every real , so the derivative is defined throughout the real line.
For positive , write . Differentiating by the chain rule gives
The natural logarithm of the constant base supplies the factor; it must not be omitted when .
On , . The chain rule gives
Using yields
Set . The chain rule gives and , so for any differentiable . The initial profile fixes , giving
This is the translated initial profile, as described by the transport equation.
Differentiate the polar form of a complex number using the product rule and chain rule:
A second differentiation gives
The two contributions to arise separately from differentiating and from differentiating the moving exponential factor.
Let near . The chain rule gives
Substitute into the first three terms of the Taylor expansion:
The quadratic coefficient is , not . The apparent square root creates no local difficulty at the positive expansion point.
On any interval where , the chain rule gives . Differentiating again,
The domain condition is necessary because the real natural logarithm requires a positive argument.
For this parametric curve, the chain rule gives
The quotient is a finite slope when . At and , the horizontal component of the tangent vanishes while the vertical component does not; these have vertical tangent lines, rather than missing finite values of the displayed quotient.
Taking each partial derivative of the scalar potential gives
The factor in the middle component comes from the chain rule. The potential is smooth, so the curl of a gradient identity gives .
Assume the needed derivatives exist continuously and on a neighborhood, so the inverse function theorem provides a local inverse. Put , , and . The chain rule gives , so
Differentiate once more:
Thus the first three derivatives of an inverse function are
All forward derivatives on the right are evaluated at the corresponding value .
For an independent inversion, use the coordinate relations
The positive-octant domain fixes their angle branches unambiguously. Let . Differentiating at fixed Cartesian coordinates gives
and , , . Hence the inverse chain rule gives
and
Multiplying these coefficients by the forward coefficient matrix gives the identity. The original PDF correctly holds fixed in the final derivative; the transcription's subscript there is a typo.
The derivative of is . The chain rule therefore gives
The antiderivative applies on any interval containing no zero of .
With , the chain rule gives
For , this separable differential equation gives
Restoring and absorbing constants, the nonconstant branches satisfy
The constant branch lost in division is , giving the additional solution . All branches must avoid , where the original differential equation is undefined.