6 ms·
I don't like this use of dual numbers notation for differentiation because division by a dual number is not defined. For example, how would one calculate ε^2/ε?
by inlineint 10y ago
I don't like this use of dual numbers notation for differentiation because division by a dual number is not defined. For example, how would one calculate ε^2/ε? If ε is a matrix [0,1;0,0] then it doesn't have inverse and thus the expression could not be evaluated.
On the other hand, little-o notation [1] was invented for exactly this purpose. It is easy to evaluate derivatives using it, for example (x+ε)^3 = x^3+3x^2ε+o(ε), and so ((x+ε)^3 - x^3)/ε = 3*x^2 + o(1), and o(1) tends to 0 for ε tends to 0.
[1] https://en.wikipedia.org/wiki/Big_O_notation#Little-o_notation https://en.wikipedia.org/wiki/Big_O_notation#Little-o_notati...
- mrkgnao 10y agoYou can work in the ring of dual numbers, where ε is a nilpotent and hence noninvertible (which is okay, because it's not a field!) and it's a perfectly rational (hehe) number system to work in. https://en.wikipedia.org/wiki/Dual_number https://en.wikipedia.org/wiki/Dual_number
- dnautics 10y agoEpsilon squared divided by epsilon is most definitely epsilon.
- gugagore 10y agoIt is most definitely not. For starters, you could also have argued that ε^2/ε = 0 since the numerator is 0.