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 giveswith the two profile arguments as specified. Thus .
To prove generality, introduce characteristic coordinates , , whose Jacobian determinant is . For the differential operator isThe equation becomes . Integrating once in each variable yieldsThis 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 giveThe 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.
The outer exponential function differentiates to itself, and the inner sine has derivative cosine. The chain rule gives
For positive , write . Differentiating by the chain rule givesThe natural logarithm of the constant base supplies the factor; it must not be omitted when .
Set . The chain rule gives and , so for any differentiable . The initial profile fixes , givingThis 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 givesThe two contributions to arise separately from differentiating and from differentiating the moving exponential factor.
Let near . The chain rule givesSubstitute 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 givesThe 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 givesThe 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 , soDifferentiate once more:Thus the first three derivatives of an inverse function areAll forward derivatives on the right are evaluated at the corresponding value .
For an independent inversion, use the coordinate relationsThe positive-octant domain fixes their angle branches unambiguously. Let . Differentiating at fixed Cartesian coordinates givesand , , . Hence the inverse chain rule givesandMultiplying 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 givesThe antiderivative applies on any interval containing no zero of .
With , the chain rule givesFor , this separable differential equation givesRestoring and absorbing constants, the nonconstant branches satisfyThe constant branch lost in division is , giving the additional solution . All branches must avoid , where the original differential equation is undefined.