3 ms·

https://en.wikipedia.org/wiki/Modulus_of_convergence https://en.wikipedia.org/wiki/Modulus_of_convergence

• chromoblob 3y ago
  (I assume you refer to the sequence of reals that is used to compute the limit in the definition of derivative) But is there a way to somehow construct this modulus automatically for some functions? And if there isn't, then isn't requiring manual input of the modulus like just requiring manual input of the derivative itself? Can you typically find the modulus manually more easily than the derivative?
  • orlp 3y ago
    > But is there a way to somehow construct this modulus automatically for some functions? In a sense. You would end up with https://en.wikipedia.org/wiki/Automatic_differentiation https://en.wikipedia.org/wiki/Automatic_differentiation. The amount of functions you can construct in this manner is massive, along with their derivatives, but it is not an operator that given an arbitrary computable function gives you its derivative.
    • chromoblob 3y ago
      Thank you.