Consider the following different definition of the a derivative:
where means .
- Find formulas for the “derivative” of the sum, difference, product, and quotient of functions.
- Find an expression for in terms of the usual derivative .
- Find the functions for which .
- Sum. Using the formula in the alternative definition,
Now, for the remaining limit term we multiply by (thanks to abcd in the comments for the suggestion!). So, we then have
Now, for the remaining limit, we use the product rule for the derivative in this alternative definition, which we derive below. (This last limit is . Below we derive that .) Therefore, we have
Difference. This follows just as the above derivation for except that we get minus signs:
Product. Using the alternative definition of the “derivative” we compute,
Quotient. Again, we start with the alternative definition and compute,
- Expressing in terms of the usual derivative we have,
We used the same idea we used in deriving some of the above formulas that , and that is a constant in , so we can pull it out of the limit.
- Now, to find the function such that we set the two expressions equal and solve for (using from part (c)),
In either case we have for some constant .
Also, I believe that your solution for part a (formula for ) is wrong. In your solution, you reduced to two different expressions: , and .
If both are true, we can get a different expression for , e.g. which is clearly different from the answer.
I believe the error was made when you cancelled and similar terms in the fraction because for the limit it is illegal to cancel a term in only A (or only B) if B (or A) diverges.
Hey, thanks for this and the other comment. You’re right, my solution contains the error you mention. Fixing it now.
For part a, I think that we can deal with the term by multiplying by to give
which reduces to .
Applying the product rule derived later reduces the quotient, thus skipping the painful manipulation.
abcd, there is another way to prove the part a without applying the product rule. We can add and subtract (f(x)^2)(g(x+h)^2) at the numerator after you multiplied by [ (fg)(x+h) + (fg)(x) ] / [ (fg)(x+h) + (fg)(x) ] and rearrange the sum.
Alternatively for part a, is continuous and from composition is differentiable and continuous hence we can get from part b (where apostol implies differentiability of ) to make the calculations much more painless. The direct results are recursive formulas of normal derivatives rather than though.
Yes, that works also and is decidedly less painful. I figured since Apostol put it before part (b) that he wanted us to suffer and compute it out the long way by hand to see how it works. Maybe I overestimate how mean he is though.
PS. I hope you don’t mind that I edit LaTeX into your comments. Let me know if it’s a problem or if I introduce any errors.
I’m sure that’s what he had in mind. And no, I honestly appreciate you introducing latex into my comments.