Exercise 5.4 · Q8: Differentiate ,
Differentiate the following w.r.t. :
Let . By the chain rule,
.
Want the reason behind every step, the basics and the checks?
A logarithm of a logarithm: inner function , outer function . Each has derivative "one over its input" (Theorem 5), and the chain rule multiplies them: . The condition is exactly what makes the outer logarithm's input positive.
- Given
- , (natural logarithms).
- To find
- .
- Plan
- (1) Show that the domain is exactly . (2) Name inner and outer ; differentiate each. (3) Multiply.
Basics you need
is defined only for positive inputs, is increasing, and (Section 5.4). So exactly when . Basics: exponentials and logarithms
If and , then (Theorem 4). Basics: composite functions
Solution
The domain is exactly
Two logarithms, two conditions:
- inner needs ;
- outer needs .
Because is increasing and , holds exactly when . That also gives . So the domain is , precisely the condition in the question.
For , , and the outer logarithm would be asked for the log of zero or a negative number, which is not defined. For example would be of about .Observations (1), (3), (4) on the log function, Section 5.4. Basics: exponentials and logarithmsName the inner and outer functions, and differentiate each
Inner: . Outer: .
The first needs ; the second needs , which holds since .
Both links are logarithms, so both derivatives come from Theorem 5 (2); the outer one is written in the letter because its input is .Theorem 5 (2), Section 5.4. Lesson: exponential and logarithmic functionsMultiply (chain rule) and substitute back
The outer rate is evaluated at the inner value . For both and are positive, so the derivative is positive: increases, which makes sense because it is an increasing function of an increasing function.Chain rule, Theorem 4, Section 5.3.1. Lesson: the chain rule
(Textbook answer: , . The same.)
Take : , so the formula gives . A difference quotient of with on each side of gives . They agree.
- Answering . That is only the outer rate; the chain rule also needs the inner rate .
- Writing or . The product is : times .
- Taking the domain to be . For the outer logarithm is not defined.
- , valid where .
- Each logarithm in a chain adds its own "input must be positive" condition.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| defined on , increasing, | Step 1 | Observations (1), (3), (4) on the log function, Section 5.4 |
| , | Step 2 | Theorem 5 (2), Section 5.4 (Lesson: exponential and logarithmic functions) |
| Chain rule | Step 3 | Theorem 4, Section 5.3.1 |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →