Comprehensive Study Guide on the Chain Rule and General Power Rule in Differential Calculus

Foundations and Motivation for the Chain Rule

• The Chain Rule represents the final major foundational differentiation rule in differential calculus, following the Product Rule and the Quotient Rule.
• Mastery of the Chain Rule is necessary for subsequent calculus topics, including implicit differentiation and related rates.
• Primary purpose: The Chain Rule provides a systematic method to compute derivatives of composite functions (functions nested within other functions, represented as $f(g(x))$).
• Limitations of standard algebraic expansion:
  • A simple polynomial such as $3x^2 - 4$ can be differentiated term-by-term immediately using the basic Power Rule and Constant Multiple Rule, yielding $6x$.
  • A squared binomial such as $(3x^2 - 4)^2$ can be differentiated by first expanding the algebraic expression into $9x^4 - 24x^2 + 16$ and differentiating term-by-term, or by applying the Product Rule to the product $(3x^2 - 4)(3x^2 - 4)$.
  • A cubed binomial such as $(3x^2 - 4)^3$ can theoretically be expanded or differentiated using the Product Rule, though the process becomes increasingly tedious.
  • Higher powers, such as $(3x^2 - 4)^{100}$, cannot reasonably be expanded by distributing $100$ times; the Chain Rule provides a direct method to circumvent algebraic expansion.

Formal Derivation and Leibniz Notation

• Decomposition of a composite function:
  • Given an expression such as $y = (3x^2 - 4)^{100}$, decompose the expression into an outer function and an inner function by temporarily replacing the interior expression with an auxiliary variable $u$.
  • Outer function:
  • $y = u^{100}$
  • Inner function:
  • $u = 3x^2 - 4$
• Evaluating individual derivatives using Leibniz notation:
  • Differentiating the outer function $y$ with respect to $u$:
  • $\frac{dy}{du} = 100u^{99}$
  • Differentiating the inner function $u$ with respect to $x$:
  • $\frac{du}{dx} = 6x$
• Formulation of the Chain Rule:
  • To determine $\frac{dy}{dx}$, multiply the two rates of change:
  • $\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}$
  • The differential $du$ cancels across numerator and denominator, demonstrating why Leibniz notation remains analytically useful.
• Substitution and final simplification:
  • Substitute the derivative components into the formula:
  • $\frac{dy}{dx} = 100u^{99} \cdot 6x$
  • Replace the auxiliary variable $u$ with its original definition $u = 3x^2 - 4$:
  • $\frac{dy}{dx} = 100(3x^2 - 4)^{99} \cdot 6x$
  • Combine the outer scalar and monomial factors ($100 \times 6x = 600x$):
  • $\frac{dy}{dx} = 600x(3x^2 - 4)^{99}$
• Critical algebraic caveat:
  • The scalar $100$ (or factor $600x$) cannot be distributed into the binomial $(3x^2 - 4)$ because the exponent of $99$ takes strict precedence in the order of operations. Distributing across the exponent is mathematically invalid.

The General Power Rule

• Definition and mathematical proof:
  • The General Power Rule is a direct corollary of the Chain Rule applied to any differentiable function raised to a real exponent $n$.
  • Let $y = [f(x)]^n$.
  • Define the inner substitution $u = f(x)$, making $y = u^n$.
  • Differentiate the outer function:
  • $\frac{dy}{du} = n u^{n-1}$
  • Differentiate the inner function:
  • $\frac{du}{dx} = \frac{d}{dx}[f(x)]$
  • Applying the Chain Rule gives:
  • $\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx} = n u^{n-1} \cdot \frac{d}{dx}[f(x)]$
  • Substituting $u = f(x)$ establishes the General Power Rule formula:
  • $\frac{d}{dx}[[f(x)]^n] = n[f(x)]^{n-1} \cdot \frac{d}{dx}[f(x)]$
• Procedural verbal rule:
  • Bring down the exponent $n$ as a leading factor.
  • Leave the inside expression $f(x)$ completely unchanged.
  • Subtract $1$ from the original exponent to form $n - 1$.
  • Multiply the entire resulting expression by the derivative of the inside expression ($\frac{d}{dx}[f(x)]$).
• Common conceptual errors:
  • Bringing down the power $n$ but forgetting to subtract $1$ from the exponent.
  • Omitting the derivative of the inside function ($\frac{d}{dx}[f(x)]$), which leads to an incomplete result.
• General Power Rule subsumption of the basic Power Rule:
  • The standard Power Rule is simply the General Power Rule where the interior function is the identity function $f(x) = x$.
  • Applying the General Power Rule to $x^6$:
  • $\frac{d}{dx}[x^6] = 6(x)^{6-1} \cdot \frac{d}{dx}[x] = 6x^5 \cdot 1 = 6x^5$
  • The interior derivative equals $1$, which is why the inner step is omitted for single variables.
• Polynomial power example:
  • Differentiate the composite function $y = (3x - x^2)^4$:
  • Apply the power rule to the outer function and decrement the exponent:
  • $4(3x - x^2)^3$
  • Multiply by the derivative of the interior function:
  • $\frac{d}{dx}[3x - x^2] = 3 - 2x$
  • Complete derivative:
  • $\frac{dy}{dx} = 4(3x - x^2)^3(3 - 2x)$
  • Distributing the factor of $4$ into the linear binomial is valid, provided it remains enclosed in parentheses: $(12 - 8x)(3x - x^2)^3$.

Structural Hierarchy and Multi-Rule Combinations

• Determining rule precedence:
  • Differentiating complex expressions requires working from the outside inward by identifying the most encompassing rule.
  • If two distinct expressions are multiplied, the Product Rule takes precedence over internal power rules.
  • If an expression is a rational fraction, the Quotient Rule takes precedence over any internal power rules in the numerator or denominator.
  • If an entire quotient or product is enclosed in brackets and raised to an exponent (e.g., $[\frac{f(x)}{g(x)}]^n$), the General Power Rule takes precedence, and the Quotient Rule is executed within the interior derivative step.
• Step-by-step example combining Product Rule and General Power Rule:
  • Problem: Compute the derivative of $y = (2x - 3)(x^2 - 5)^3$.
  • Identify overarching rule: Product Rule between the first factor $2x - 3$ and the second factor $(x^2 - 5)^3$.
  • Formulate Product Rule structure:
  • $\frac{dy}{dx} = \frac{d}{dx}[2x - 3] \cdot (x^2 - 5)^3 + (2x - 3) \cdot \frac{d}{dx}[(x^2 - 5)^3]$
  • Execute the first derivative:
  • $\frac{d}{dx}[2x - 3] = 2$
  • Execute the second derivative using the General Power Rule:
  • $\frac{d}{dx}[(x^2 - 5)^3] = 3(x^2 - 5)^2 \cdot \frac{d}{dx}[x^2 - 5] = 3(x^2 - 5)^2 \cdot (2x) = 6x(x^2 - 5)^2$
  • Assemble the complete expression:
  • $\frac{dy}{dx} = 2(x^2 - 5)^3 + 6x(2x - 3)(x^2 - 5)^2$
• Algebraic factoring of repeated composite binomials:
  • Combining the Product Rule with the General Power Rule consistently produces common binomial factors.
  • Factor out the lowest power of $(x^2 - 5)$, which is $(x^2 - 5)^2$:
  • $\frac{dy}{dx} = (x^2 - 5)^2 [2(x^2 - 5) + 6x(2x - 3)]$
  • Expand the algebraic terms within the brackets:
  • $2(x^2 - 5) + 6x(2x - 3) = 2x^2 - 10 + 12x^2 - 18x = 14x^2 - 18x - 10$
  • Final factored derivative:
  • $\frac{dy}{dx} = (x^2 - 5)^2(14x^2 - 18x - 10)$
• Geometric and practical applications of the derivative:
  • The derivative function computes the slope ($m$) of the tangent line to the curve at any chosen $x$-coordinate.
  • The equation of a tangent line at $(x_1, y_1)$ is determined using the point-slope formula:
  • $y - y_1 = m(x - x_1)$
  • Real-world applications include calculating instantaneous velocity from position curves, or marginal cost and marginal profit from economic cost and revenue functions.
• Radical functions and rational exponents:
  • Radicals must be converted to rational exponents before applying differentiation rules.
  • Problem: Compute the derivative of $y = \sqrt{5x^2 - 1}$.
  • Convert to exponential form:
  • $y = (5x^2 - 1)^{\frac{1}{2}}$
  • Apply the General Power Rule:
  • $\frac{dy}{dx} = \frac{1}{2}(5x^2 - 1)^{-\frac{1}{2}} \cdot \frac{d}{dx}[5x^2 - 1]$
  • $\frac{dy}{dx} = \frac{1}{2}(5x^2 - 1)^{-\frac{1}{2}} \cdot (10x)$
  • Simplify coefficients ($\frac{1}{2} \times 10x = 5x$):
  • $\frac{dy}{dx} = 5x(5x^2 - 1)^{-\frac{1}{2}}$
  • Express in radical form with positive exponents:
  • $\frac{dy}{dx} = \frac{5x}{\sqrt{5x^2 - 1}}$
  • Terms under a radical cannot be canceled against external factors ($5x$ cannot cancel into the radical $5x^2$).

Chain Rule with Trigonometric Functions

• Functional composition notation:
  • For any composite function $y = f(g(x))$, the derivative is given by:
  • $\frac{d}{dx}[f(g(x))] = f'(g(x)) \cdot g'(x)$
  • Differentiate the outer function, preserve the inside expression unchanged, and multiply by the derivative of the inside expression.
• Integrity of trigonometric arguments:
  • A trigonometric notation without an argument (e.g., writing $\sin$ alone) is mathematically meaningless; a trigonometric operator requires an associated angle.
  • Trigonometric expressions are compositions, not products (e.g., $\sin(4x^5)$ is the sine of $4x^5$, not $\sin$ multiplied by $4x^5$).
  • The angle inside a trigonometric function is locked; external algebraic factors cannot be multiplied into the interior argument.
• Common trigonometric error:
  • Evaluating the outer derivative and inner derivative simultaneously inside the argument (e.g., asserting that the derivative of $\cos(x^4)$ is $-\sin(4x^3)$) is fundamentally false.
• Worked trigonometric examples:
  • Example 1: $y = \cos(x^4)$
    • Outer function: $\cos(u)$ where $u = x^4$
    • $\frac{dy}{du} = -\sin(u)$
    • $\frac{du}{dx} = 4x^3$
    • Assembled derivative:
    • $\frac{dy}{dx} = -\sin(x^4) \cdot 4x^3 = -4x^3 \sin(x^4)$
  • Example 2: $y = \sin(4x^5)$
    • Differentiate the outer sine function while preserving the angle:
    • $\cos(4x^5)$
    • Multiply by the derivative of the angle ($\frac{d}{dx}[4x^5] = 20x^4$):
    • $\frac{dy}{dx} = 20x^4 \cos(4x^5)$
  • Example 3: Nested trigonometric power $y = \cos^2(x^4)$
    • Rewrite with explicit brackets to reveal the hierarchy: $y = [\cos(x^4)]^2$.
    • The outermost rule is the General Power Rule; the secondary rule is the trigonometric Chain Rule; the tertiary rule is the polynomial derivative.
    • Step 1 (General Power Rule):
    • $\frac{dy}{dx} = 2[\cos(x^4)]^1 \cdot \frac{d}{dx}[\cos(x^4)]$
    • Step 2 (Chain Rule on cosine):
    • $\frac{d}{dx}[\cos(x^4)] = -\sin(x^4) \cdot \frac{d}{dx}[x^4]$
    • Step 3 (Inner polynomial derivative):
    • $\frac{d}{dx}[x^4] = 4x^3$
    • Multiply all components together:
    • $\frac{dy}{dx} = 2\cos(x^4) \cdot [-\sin(x^4)] \cdot 4x^3 = -8x^3 \cos(x^4) \sin(x^4)$
  • Example 4: $y = \tan(3x^2 - 2x)$
    • The derivative of $\tan(u)$ is $\sec^2(u)$.
    • Differentiate the outer function, retaining the argument:
    • $\sec^2(3x^2 - 2x)$
    • Multiply by the derivative of the argument ($\frac{d}{dx}[3x^2 - 2x] = 6x - 2$):
    • $\frac{dy}{dx} = (6x - 2)\sec^2(3x^2 - 2x)$
    • Parentheses around $(6x - 2)$ are required to ensure the entire binomial multiplies the trigonometric term.

Advanced Nested Chain Rule and Multi-Tiered Problems

• Radical expression with nested trigonometric terms:
  • Problem: Compute the derivative of $y = \sqrt{x^3 + \csc(x^3)}$.
  • Convert radical to rational exponent:
  • $y = [x^3 + \csc(x^3)]^{\frac{1}{2}}$
  • Apply General Power Rule:
  • $\frac{dy}{dx} = \frac{1}{2}[x^3 + \csc(x^3)]^{-\frac{1}{2}} \cdot \frac{d}{dx}[x^3 + \csc(x^3)]$
  • Differentiate the interior sum term-by-term:
    • Differentiate $x^3$: $\frac{d}{dx}[x^3] = 3x^2$.
    • Differentiate $\csc(x^3)$ using the Chain Rule (recall $\frac{d}{du}[\csc(u)] = -\csc(u)\cot(u)$):
    • $\frac{d}{dx}[\csc(x^3)] = -\csc(x^3)\cot(x^3) \cdot \frac{d}{dx}[x^3] = -3x^2 \csc(x^3)\cot(x^3)$
  • Combine the differentiated interior terms:
  • $\frac{d}{dx}[x^3 + \csc(x^3)] = 3x^2 - 3x^2 \csc(x^3)\cot(x^3)$
  • Assemble the full derivative:
  • $\frac{dy}{dx} = \frac{1}{2}[x^3 + \csc(x^3)]^{-\frac{1}{2}} [3x^2 - 3x^2 \csc(x^3)\cot(x^3)]$
  • Factor out $3x^2$ and express as a single algebraic fraction:
  • $\frac{dy}{dx} = \frac{3x^2[1 - \csc(x^3)\cot(x^3)]}{2\sqrt{x^3 + \csc(x^3)}}$
• Strategic use of negative exponents over the Quotient Rule:
  • Problem: Compute the derivative of $y = \frac{1}{(3 + x^2 \cot(x^2))^3}$.
  • Applying the Quotient Rule when the numerator is a constant adds unnecessary complexity. Rewrite with a negative exponent:
  • $y = (3 + x^2 \cot(x^2))^{-3}$
  • Step 1 (General Power Rule):
  • Bring down $-3$ and decrement the exponent to $-4$:
  • $\frac{dy}{dx} = -3(3 + x^2 \cot(x^2))^{-4} \cdot \frac{d}{dx}[3 + x^2 \cot(x^2)]$
  • Step 2 (Differentiating the interior expression):
    • The derivative of the constant $3$ is $0$.
    • Apply the Product Rule to the term $x^2 \cot(x^2)$:
    • $\frac{d}{dx}[x^2 \cot(x^2)] = \frac{d}{dx}[x^2] \cdot \cot(x^2) + x^2 \cdot \frac{d}{dx}[\cot(x^2)]$
    • $\frac{d}{dx}[x^2] = 2x$
    • Differentiate $\cot(x^2)$ using the Chain Rule (recall $\frac{d}{du}[\cot(u)] = -\csc^2(u)$):
    • $\frac{d}{dx}[\cot(x^2)] = -\csc^2(x^2) \cdot \frac{d}{dx}[x^2] = -2x \csc^2(x^2)$
    • Combine the Product Rule components:
    • $\frac{d}{dx}[x^2 \cot(x^2)] = 2x \cot(x^2) - 2x^3 \csc^2(x^2)$
  • Step 3 (Assembly):
  • $\frac{dy}{dx} = -3(3 + x^2 \cot(x^2))^{-4} [2x \cot(x^2) - 2x^3 \csc^2(x^2)]$
  • Factor out $2x$ from the bracketed terms to simplify coefficients ($-3 \times 2x = -6x$):
  • $\frac{dy}{dx} = -6x(3 + x^2 \cot(x^2))^{-4} [\cot(x^2) - x^2 \csc^2(x^2)]$
  • Express with positive exponents in denominator form:
  • $\frac{dy}{dx} = \frac{-6x[\cot(x^2) - x^2 \csc^2(x^2)]}{(3 + x^2 \cot(x^2))^4}$
• Additional problem structures:
  • Quotient Rule with internal Chain Rules: If given a rational function where the numerator and denominator each contain composite functions, set up the Quotient Rule first ($\frac{f'g - fg'}{g^2}$) and execute the Chain Rule independently on the numerator and denominator components.
  • Product Rule with internal Chain Rules (e.g., $x^2 \cos(3x)$):
    • Differentiating each term in place without using the Product Rule is incorrect.
    • The Product Rule must be applied first: $\frac{d}{dx}[x^2] \cos(3x) + x^2 \frac{d}{dx}[\cos(3x)]$.
    • Evaluating the components yields: $2x \cos(3x) - 3x^2 \sin(3x)$.

Questions & Discussion

• Final answer formatting for constant distribution:
  • Question: In an expression such as $4(3x - x^2)^3(3 - 2x)$, is it necessary to distribute the constant $4$?
  • Response: Leaving the derivative as $4(3x - x^2)^3(3 - 2x)$ or distributing $4$ into the linear factor to get $(12 - 8x)(3x - x^2)^3$ are both algebraically correct. The factor cannot be distributed into the cubed expression $(3x - x^2)^3$. Grouping parentheses around $(3 - 2x)$ or $(12 - 8x)$ are required.
• Factor ordering in trigonometric products:
  • Question: Does the order of factors matter in a trigonometric derivative product such as $-8x^3 \cos(x^4) \sin(x^4)$?
  • Response: Because multiplication is commutative, the sequence of factors does not alter mathematical accuracy. By convention, numerical coefficients are written first, followed by single-variable polynomial terms, and concluding with trigonometric functions.
• Distribution into trigonometric arguments:
  • Question: Can a binomial factor such as $6x - 2$ be distributed into the argument of $\sec^2(3x^2 - 2x)$?
  • Response: No. The expression $3x^2 - 2x$ is the input angle to the trigonometric function and cannot be altered or multiplied by external factors.
• Distribution within sum derivatives:
  • Question: In the expression $\frac{1}{2}[x^3 + \csc(x^3)]^{-\frac{1}{2}} [3x^2 - 3x^2 \csc(x^3)\cot(x^3)]$, does the trailing $3x^2$ factor distribute to the initial $x^3$ term?
  • Response: No. The interior sum separates into two independent differentiation operations: the derivative of $x^3$ yields $3x^2$, while the derivative of $\csc(x^3)$ yields $-3x^2 \csc(x^3)\cot(x^3)$. The trailing $3x^2$ belongs solely to the cosecant-cotangent term.
• Final form notation (radicals versus negative exponents):
  • Question: Should final solutions retain negative rational exponents or be converted back into radical notation?
  • Response: As a general rule, match the original problem format: if the problem was stated using radicals, rewrite the final solution using radicals in the denominator; if stated with exponents, exponential form is acceptable.
• Factoring common terms in multi-tier problems:
  • Question: Is factoring out common terms such as $2x$ from bracketed expressions required?
  • Response: Factoring out common factors simplifies the expression into its most concise form and helps identify potential trigonometric identities.