All forces on the first particle lie in the plane spanned by and : this holds for gravity, tension, and the normal reaction. Hence the azimuthal component of Newton's second law vanishes:
Using the product rule gives
Strictly, is the axial specific angular momentum; the actual axial angular momentum is , which is conserved as well.
Differentiate the stated total energy using the chain rule and then substitute the two Newton's second law equations:
The gravitational potential energy terms have canceled the power of gravity. Also is proportional to , whose dot product with is . Thus the stationary smooth mechanical constraint does no work. The remaining tension powers cancel by part (b), proving and conservation of total energy while the massless inextensible string remains taut and contact is maintained.
Apply the divergence theorem to . The product rule gives
because the two gradient inner products cancel. Also . Thus
This is Green's second identity, under the usual regularity assumptions permitting these derivatives and boundary integrals.
In polar coordinates, and . The product rule gives
Squaring and adding cancels the mixed terms and gives . Hence the arc length is
Divide by . The product rule turns the linear ordinary differential equation into
Equivalently, is an integrating factor after division by . An antiderivative gives . The initial condition at gives , hence
Its derivative is , so substitution gives , and . Every solution of a differential equation has the integrated form above, and the initial condition fixes its only constant. This agrees with the uniqueness theorem for ordinary differential equations on the stated interval.
The product rule gives and . On an interval avoiding , substitution and division by give
For a constant-coefficient differential equation, the coefficient of forces . At , the remaining coefficient also vanishes. Thus
The characteristic equation of a constant-coefficient differential equation is , with complex conjugate roots of a polynomial . Its real solutions and are linearly independent. Therefore the general solution is
The constants can be chosen independently on the two sides of the singular point. The power substitution reducing a differential equation to constant coefficients here is invertible wherever .
Put . The chain rule gives
Apply the product rule and the chain rule once more: , and
Consequently , so the requested coefficients are
This is the second derivative chain rule along the parametric curve .
Write and . Away from the origin, and . The product rule gives
Consequently the divergence of is zero. For any closed surface bounding a region that excludes the origin, the field is smooth throughout that region, and the divergence theorem proves
For the infinite cylinder, use and outward unit normal . With , , , and . Hence the direct surface flux is
The integrand is odd in and absolutely integrable. This calculation treats the unbounded cylindrical side directly, without applying the bounded-region divergence theorem across the field's singularity.
If for a twice continuously differentiable potential , then and . Equality of mixed partial derivatives gives the necessary condition for an exact differential:
This condition alone does not ensure global exactness on a domain with holes.
For the Helmholtz free energy , use the stated identity for internal energy and the product rule:
Thus and . Equality of mixed partial derivatives yields the Maxwell relation
The temperature and volume are the independent variables here, with composition and amount of gas fixed.
Next express and substitute its total differential into :
Matching the coefficient of gives
This is the thermodynamic internal pressure identity: an equation of state determines how internal energy changes under an isothermal change of volume.
For the Dieterici equation, set while differentiating at fixed . Then
Substitute into the thermodynamic internal pressure identity. The term proportional to cancels , leaving
The physical gas domain has and .
For the ideal gas instead, gives . Therefore is independent of volume at fixed amount of gas. Integrating the remaining condition , with constant heat capacity at constant volume, gives
where is independent of both and and fixes the reference for internal energy.
Recognize the left-hand side as a product rule derivative, and use :
At , both and equal , so . Therefore
Dividing by first obtains this solution on , the interval containing the initial condition. The explicit expression is smooth on the entire real line and satisfies the original, undivided differential equation even where .
For this homogeneous first-order differential equation, set , with . The product rule gives , and substitution simplifies the equation to
The useful further substitution is . Its chain rule derivative satisfies
Thus . Replacing and gives the implicit solution
No division by was needed, so the level is included. A direct verification also identifies the integrating factor for a differential one-form:
Setting this exact differential to zero recovers precisely the original equation after multiplication by the nonzero factor . The coefficient never vanishes for real , since implies . Hence these level sets give local function graphs everywhere with .
The generalized Leibniz rule follows by mathematical induction. The case is the identity . Suppose the formula holds for and differentiate every term using the product rule:
For an interior index , the coefficient of becomes by Pascal's identity. The two endpoint coefficients are one. This proves
Only finitely many derivatives are involved; it suffices that both functions are times differentiable.
For and , the derivatives of beyond order two vanish. The three surviving terms of the generalized Leibniz rule give
The simplified expression works for every integer , including the two cases where one or more of the three terms are absent.
For and , use . Again only three terms survive. With , they are
Since and , this becomes
The factors and remove the nonexistent terms when or .
Differentiate with respect to , remembering that its coefficients also depend on . The product rule and multivariable chain rule give
For a twice continuously differentiable , equality of mixed partial derivatives gives . Hence
The first-order terms come from differentiating and themselves; treating as an operator with constant coefficients would miss them.
For , the product rule gives , so the stationary points occur at . Its sign is negative for and positive for . Consequently
They are also the global extrema, since the function tends to zero at both infinities and is a monotone function on the intervals just identified. At zero the derivative does not change sign. Since , is a stationary inflection point, not an extremum.
The product rule and chain rule first give
Differentiating the first expression with respect to yields ; differentiating the second with respect to gives exactly the same polynomial factor. Thus
This also follows from symmetry of second derivatives, since all derivatives of this function are continuous everywhere.
The differential operator is , where . Set ; the product rule reduces the equation to . Twice integrating gives . The initial conditions yield , so
This substitution removes the repeated characteristic root before finding a particular solution.
For write , where . Because , the lower endpoint is integrable. At each positive upper endpoint the fundamental theorem of calculus gives . The product rule therefore yields
Differentiating once more and substituting this expression for gives
Substitution now cancels the terms and the terms proportional to , proving .
The change of variables identifies as the scaled lower incomplete gamma integral . It has a smooth extension at zero, with , and . Thus the apparent singularities in the derivative formulas cancel there; those formulas with denominators were derived for .
Differentiate the numerator and denominator using the product rule and quotient rule:
The numerator simplifies to , giving
The product rule gives
Thus this is an exact differential, and its zero level differential means . The initial data set , giving
The displayed interval is the maximal connected real interval containing on which this finite-valued solution is defined.