Timeline for derivatives of composite function [closed]
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 19, 2014 at 7:37 | comment | added | mathse | This question is put on hold although Deane Yang, who did this, has answers to issues like "Why do we teach calculus students the derivative as a limit?" - how's the latter research, actually? | |
| Mar 19, 2014 at 0:36 | history | closed |
Deane Yang Lucia Ricardo Andrade Stefan Kohl♦ Chris Godsil |
Not suitable for this site | |
| Mar 18, 2014 at 14:30 | comment | added | barcelos | The formal way to justify the argument mentioned by Alex is to consider $f$ and $g$ as members of suitable algebras of smooth functions with the topology of uniform convergence (together with all derivatives) on compacta. One then uses a density result (denseness of the polynomials) and the fact that the mapping $(f,g)\mapsto f \circ g$ is continuous. However, the latter is a bit messy to prove and I think that the argument of Alex is the most sensible: work with analytical functions (even polynomials) to discover the formula, then prove it by induction. | |
| Mar 18, 2014 at 13:30 | comment | added | user46855 | A more formal way to express Alex Degtyarev comment: work in quotient ring of the formal power series modulo the ideal generated by the $n+1$ power of the indeterminate (the annihilated ideal corresponds to the Landau notation, small "o" of order $n$ or big "O" of order $n+1$). | |
| Mar 18, 2014 at 12:55 | review | Close votes | |||
| Mar 19, 2014 at 0:36 | |||||
| Mar 18, 2014 at 10:57 | comment | added | Tom Copeland | I'd like to know if/how the Borel-Ritt theorem can be applied in this context, also. | |
| Mar 18, 2014 at 10:43 | comment | added | Alex Degtyarev | Nice question. I cannot think of a formal way to justify that, but a reasonable formula obtained in this way would clearly be true :) I think an important observation is the fact that there obviously is a formula, so we only need to find it. (Afterwards, the truly formal proof should probably use induction.) Another formal way is to use Taylor polynomials instead of the power series and observe that the terms of order higher than guaranteed are not used. | |
| Mar 18, 2014 at 10:09 | history | asked | mathse | CC BY-SA 3.0 |