Exercise 5.5 · Q8: Differentiate
Differentiate the function w.r.t. :
Let and , so , where .
Taking log on both sides, . Differentiating w.r.t. ,
By the chain rule,
Want the reason behind every step, the basics and the checks?
Two different kinds of term are added. has a variable base and a variable exponent, so it needs logarithmic differentiation (base positive). is a composite: outer , inner , so it needs the chain rule. The domain is decided by , which needs ; with the base condition this leaves , and the derivative formula holds for .
- Given
- , with and .
- To find
- , and where it holds.
- Plan
- (1) Domain of each term and of the sum. (2) by logarithmic differentiation. (3) by the chain rule. (4) The endpoint . (5) Add.
Basics you need
For : and (Example 25, Section 5.4). Basics: exponentials and logarithms
is defined for with principal range (Chapter 2), and for (Section 5.3.3). Lesson: inverse trig derivatives
(Section 5.3); chain rule (Theorem 4); for (power rule, ). Basics: derivative rules
Solution
Domain:
- : needs , and needs , i.e. . So .
- : the exponent varies, so the base must be positive, . On this holds for , because and on . At the term would be , which is undefined.
So is defined for , and there .
The key gives the derivative with no domain; the square-root term in it already hints at . Finding the domain first tells us which points the formula can possibly be about. (, and radian is about , well inside .)by logarithmic differentiation
For , . Product rule, with (chain rule, inner ):
So
The exponent comes down as a factor; then the product rule handles . Multiplying by (positive) isolates . This part is fine at as well (as a one-sided derivative), since .by the chain rule
Outer function , inner . For we have , so both derivatives exist:
, so . Then , allowed because both numbers under the roots are positive. The formula for needs ; that is why (where ) and (where has no derivative) are left out.What happens at the endpoint ?
At only a left-hand derivative could exist. For , with small , put , so and ( is in ). Then , and
which grows without bound as , using .
So , and hence (since has a finite one-sided derivative there), has no derivative at : the graph arrives at with a vertical tangent. The formula therefore holds on the open interval . The figure below shows this.when with (Chapter 2 principal range); for (Class XI, the inequality behind ). Basics: slope at a pointAdd the two derivatives
For ,
on (horizontal scale 440 px per unit, vertical 90 px per unit). As , (open dot: is excluded). At , (filled dot), where the tangent is vertical. The sum rule adds (Step 2) and (Step 3). The textbook writes the second term as , which is the same thing.Sum rule (Section 5.3). Basics: derivative rules
The function is defined for , and for
(Textbook answer: , the same, without the interval.) At there is no derivative (vertical tangent).
At : , , , . So , and . Total ; the central difference quotient with gives .
At the formula gives and the difference quotient .
- Missing the inner derivative of , giving just .
- Power rule on : misses the part.
- : the chain-rule factor is missing; the correct result is .
- No domain: the function exists only for , and the formula only for .
- Different terms may need different tools: log differentiation for variable powers, the chain rule for composites.
- for .
- The domain is the intersection of the terms' domains; endpoints need a separate look.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Domain and principal range of | Steps 1, 4 | Chapter 2, Section 2.2 |
| Positive base for logarithmic differentiation | Steps 1, 2 | Section 5.5 (Lesson: logarithmic differentiation) |
| Step 2 | Section 5.4 | |
| Product rule, sum rule | Steps 2, 5 | Algebra of derivatives (1), (2), Section 5.3 |
| ; chain rule | Steps 2, 3 | Theorem 5, Section 5.4; Theorem 4, Section 5.3.1 |
| ; power rule | Steps 2, 3 | Table 5.3 |
| , | Step 3 | Section 5.3.3 (Example 24) |
| Derivative as a finite limit | Step 4 | Section 5.3 |
| for | Step 4 | Limits and Derivatives (Class XI); not proved in this chapter |
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 →