🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Home / Digital Garden / Decomposing Composite Functions

Decomposing Composite Functions

Core Definition

A composite function (f∘g)(x)=f(g(x))(f \circ g)(x) = f(g(x)) is formed when the output of an internal function g(x)g(x) serves as the input argument to an external function f(u)f(u). Decomposition is the reverse process: breaking down a complex multi-layer expression h(x)h(x) into an outer function f(u)f(u) and an inner function u=g(x)u = g(x) such that h(x)=f(g(x))h(x) = f(g(x)).

Concept Explanation

In advanced algebra and calculus, expressions rarely appear as elementary standalone variables like x4x^4 or sin⁑(x)\sin(x). Instead, operations are nested inside one another. Decomposing a composite function involves identifying the order of algebraic operationsβ€”often conceptualized as peeling an onion:

  1. The Evaluation Perspective (Inside-Out): If you were evaluating the expression for a specific number x=2x = 2, which arithmetic or algebraic step would you perform first? That first localized operation defines the innermost layer u=g(x)u = g(x).
  2. The Structural Perspective (Outside-In): What is the overarching macro-operation holding the entire expression together? (e.g., Is it raised to a power? Trapped under a square root? Inside a trigonometric argument? In the exponent of ee?) That overarching structure defines the outer function f(u)f(u).

Common Composite Archetypes

Composite Expression h(x)h(x) Outer Function f(u)f(u) Inner Function u=g(x)u = g(x) Operational Relationship
(3x2βˆ’5x+1)4(3x^2 - 5x + 1)^4 f(u)=u4f(u) = u^4 u=3x2βˆ’5x+1u = 3x^2 - 5x + 1 Power of a polynomial
1βˆ’x2\sqrt{1 - x^2} f(u)=u=u1/2f(u) = \sqrt{u} = u^{1/2} u=1βˆ’x2u = 1 - x^2 Radical of an expression
sin⁑(4x3)\sin(4x^3) f(u)=sin⁑(u)f(u) = \sin(u) u=4x3u = 4x^3 Trigonometric ratio of a polynomial
cos⁑3(x)=[cos⁑(x)]3\cos^3(x) = [\cos(x)]^3 f(u)=u3f(u) = u^3 u=cos⁑(x)u = \cos(x) Power of a trigonometric function
eβˆ’x2/2e^{-x^2/2} f(u)=euf(u) = e^u u=βˆ’12x2u = -\frac{1}{2}x^2 Exponential of a quadratic
ln⁑(5x+x)\ln(5x + \sqrt{x}) f(u)=ln⁑(u)f(u) = \ln(u) u=5x+xu = 5x + \sqrt{x} Natural log of a radical sum

Multi-Layer Nesting ("Three-Layer Chains")

Some expressions involve three or more functional shells: h(x)=f(g(k(x)))h(x) = f(g(k(x))).

  • Example: h(x)=tan⁑4(3x2βˆ’1)=[tan⁑(3x2βˆ’1)]4h(x) = \tan^4(3x^2 - 1) = [\tan(3x^2 - 1)]^4
    • Outer: f(u)=u4f(u) = u^4
    • Middle: g(v)=tan⁑(v)g(v) = \tan(v) (where u=g(v)u = g(v))
    • Inner: k(x)=3x2βˆ’1k(x) = 3x^2 - 1 (where v=k(x)v = k(x))

When to Use It / Method Comparison

Direct Formula vs. Layer Decomposition

  • Direct Formula Matching (Fails on Composites): Basic differentiation rules (like ddx[xn]=nxnβˆ’1\frac{d}{dx}[x^n] = n x^{n-1} or ddx[sin⁑x]=cos⁑x\frac{d}{dx}[\sin x] = \cos x) apply only when the argument is the pure, isolated variable xx. If the argument has coefficients, powers, or multiple terms, applying a direct basic rule produces erroneous results (e.g., claiming ddx[cos⁑(x3)]=βˆ’sin⁑(x3)\frac{d}{dx}[\cos(x^3)] = -\sin(x^3) misses the inner factor 3x23x^2).
  • Layer Decomposition (Required): Explicitly substituting u=g(x)u = g(x) transforms the expression into a standard elementary formula f(u)f(u), making it immediately solvable using the Chain Rule.

Why We Use It in Calculus (Calculus I: Chain Rule & Substitution)

Function decomposition is the foundational conceptual skill for two of the most critical techniques in Calculus I:

1. The Chain Rule for Differentiation

The Chain Rule states that the derivative of a composite function is the derivative of the outer function evaluated at the unchanged inner state, multiplied by the derivative of the inner function:

ddx[f(g(x))]=fβ€²(g(x))β‹…gβ€²(x)ordydx=dyduβ‹…dudx\frac{d}{dx}[f(g(x))] = f'(g(x)) \cdot g'(x) \qquad \text{or} \qquad \frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dx}
Without clear decomposition into f(u)f(u) and u=g(x)u = g(x), students routinely commit two fatal errors:

  1. Differentiating both the outer and inner parts simultaneously inside the function (e.g., writing ddx[(x2+1)3]=3(2x)2\frac{d}{dx}[(x^2+1)^3] = 3(2x)^2, which is incorrect).
  2. Forgetting to multiply by the derivative of the inner layer gβ€²(x)g'(x) entirely.

2. uu-Substitution for Integration (Antiderivatives)

In integral calculus, reversing the Chain Rule requires identifying an inner function u=g(x)u = g(x) whose derivative gβ€²(x) dxg'(x)\,dx is present in the integrand, collapsing ∫f(g(x))gβ€²(x) dx\int f(g(x))g'(x)\,dx into ∫f(u) du\int f(u)\,du.


Example Problems

Example Problem 1: Two-Layer Decomposition and Chain Rule Setup

Given the composite function:

h(x)=1(5x3βˆ’2x+7)4h(x) = \frac{1}{(5x^3 - 2x + 7)^4}

  • (a) Rewrite h(x)h(x) as a power function with a negative exponent.
  • (b) Identify the inner function u=g(x)u = g(x) and the outer function f(u)f(u) such that h(x)=f(g(x))h(x) = f(g(x)).
  • (c) Compute dudx\frac{du}{dx} and dfdu\frac{df}{du}, and use them to state the derivative hβ€²(x)h'(x) via the Chain Rule.
Solution

Step 1: Rewrite using a negative exponent Lift the denominator into the numerator using negative exponent rules:

h(x)=(5x3βˆ’2x+7)βˆ’4h(x) = (5x^3 - 2x + 7)^{-4}

Step 2: Identify outer and inner layers

  • The innermost expression being operated upon is the polynomial inside the parentheses:
    u=g(x)=5x3βˆ’2x+7u = g(x) = 5x^3 - 2x + 7
  • The overarching structural operation applied to uu is the power of βˆ’4-4:
    f(u)=uβˆ’4f(u) = u^{-4}

Step 3: Differentiate each layer

  • Derivative of the inner layer with respect to xx:
    dudx=gβ€²(x)=15x2βˆ’2\frac{du}{dx} = g'(x) = 15x^2 - 2
  • Derivative of the outer layer with respect to uu:
    dfdu=fβ€²(u)=βˆ’4uβˆ’5\frac{df}{du} = f'(u) = -4u^{-5}

Step 4: Combine via the Chain Rule

dhdx=dfduβ‹…dudx=βˆ’4uβˆ’5β‹…(15x2βˆ’2)\frac{dh}{dx} = \frac{df}{du} \cdot \frac{du}{dx} = -4u^{-5} \cdot (15x^2 - 2)
Substitute back u=5x3βˆ’2x+7u = 5x^3 - 2x + 7:
hβ€²(x)=βˆ’4(5x3βˆ’2x+7)βˆ’5(15x2βˆ’2)=βˆ’4(15x2βˆ’2)(5x3βˆ’2x+7)5h'(x) = -4(5x^3 - 2x + 7)^{-5}(15x^2 - 2) = -\frac{4(15x^2 - 2)}{(5x^3 - 2x + 7)^5}


Example Problem 2: Multi-Layer Transcendental Decomposition

Consider the trigonometric-exponential composite function:

y=etan⁑(4x)y = e^{\tan(4x)}

  • (a) Deconstruct yy into its three sequential functional layers: outer f(u)f(u), intermediate g(v)g(v), and innermost k(x)k(x).
  • (b) Compute the derivative dydx\frac{dy}{dx} by multiplying the rates of change across all three layers.
Solution

Step 1: Identify sequential functional layers Trace the order of operations from inside to outside:

  1. Innermost layer: v=k(x)=4xv = k(x) = 4x
  2. Middle trigonometric layer: u=g(v)=tan⁑(v)=tan⁑(4x)u = g(v) = \tan(v) = \tan(4x)
  3. Outermost exponential layer: y=f(u)=eu=etan⁑(4x)y = f(u) = e^u = e^{\tan(4x)}

Step 2: Differentiate each respective layer

  • dvdx=4\frac{dv}{dx} = 4
  • dudv=sec⁑2(v)=sec⁑2(4x)\frac{du}{dv} = \sec^2(v) = \sec^2(4x)
  • dydu=eu=etan⁑(4x)\frac{dy}{du} = e^u = e^{\tan(4x)}

Step 3: Multiply layer derivatives (The Three-Part Chain Rule)

dydx=dyduβ‹…dudvβ‹…dvdx\frac{dy}{dx} = \frac{dy}{du} \cdot \frac{du}{dv} \cdot \frac{dv}{dx}
dydx=etan⁑(4x)β‹…sec⁑2(4x)β‹…4=4sec⁑2(4x)etan⁑(4x)\frac{dy}{dx} = e^{\tan(4x)} \cdot \sec^2(4x) \cdot 4 = 4 \sec^2(4x) e^{\tan(4x)}


Connections & References