Example 37: satisfies
If , prove that .
Here .
Differentiating twice w.r.t. ,
Substituting in the LHS,
. Hence proved.
Want the reason behind every step, the basics and the checks?
Differentiating just multiplies it by . So every derivative of is again a combination of and , and the whole expression collapses to
We only have to check that both numbers are zero.
- Given
- , defined and differentiable for every real .
- To show
- for every real .
- Plan
- Find and with the chain rule, substitute all three into the left side, and collect the coefficients of and of .
Basics you need
(Theorem 5, Section 5.4). By the chain rule with inner function ( a constant):
. Terms in and terms in are collected separately. Basics: solving for dy/dx
Solution
First derivative
Use Basic 1 with and :
Each term is a constant times . The constant stays in front and the chain rule brings down the factor . The book also writes this as .Second derivative
Differentiate again:
The same rule once more: each gains a factor 2 and each a factor 3. (The book writes this as .)Section 5.7: the second derivative is the derivative of . Lesson: second order derivativeSubstitute into the left side
The statement to prove is about this particular combination, so we replace each of , , by what we found. Brackets keep the multiplication by and correct.Substitution: an expression may be replaced by anything equal to it.Collect the coefficients
Expand and collect the terms and the terms separately (Basic 3):
So the left side equals for every real . Hence .
Both coefficients vanish, so the identity holds at every , not just at chosen points. The book reaches the same zero by writing the three pieces as , and .and , .Why the numbers 2 and 3 make this work
For a single term we have and , so
This is zero exactly when or , because is never zero. And since the left side is built from and its derivatives only by adding and multiplying by constants, any combination also gives zero; the example is the case , .
This explains the "coincidence" in Step 4: the coefficient of was and that of was . It is a first glimpse of how such differential equations are solved (Chapter 9).
, , and
for every real .
At : , , . Then .
At : , , . Then
The derivative values themselves can be checked from alone: with , , and the second difference is about .
- Forgetting the chain-rule factor. , not .
- Sign slips when multiplying by . Keep in brackets: .
- Mixing the two exponentials. and are different functions; their coefficients must be collected separately.
- Derivatives of are multiples of : , .
- To prove a relation such as , compute each derivative, substitute, and collect coefficients.
- satisfies exactly when , that is or . Exercise 5.7, Question 14 () is the general version of this example.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Steps 1, 2, 5 | Theorem 5, Section 5.4 (Lesson: exponential and logarithmic functions) | |
| Chain rule, giving | Steps 1, 2, 5 | Theorem 4, Section 5.3.1 (as in Example 26(i)) |
| Step 2 | Section 5.7 (Lesson: second order derivative) | |
| ; | Step 5 | Factorisation; Section 5.4 |
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 →