I have a function $f \colon [0, L[ \, \to \mathbb{R}$ and I want to use the derivatives of arbitrary high orders of this function at zero. The function is defined on the half-open interval $[0, L[ \, \ni 0$, for an $L >0$.

Typically the derivative is only defined on interior points of an interval where the function is defined. How can I rigorously argue that I can actually use $f^{(n)}(0)$ for all, or all high, values of $n$?

1. If I consider $[0, L[$ as the entire space, then the best linear approximation to $f$ at $0$ just happens to be the usual derivative.
2. If I can argue for analytic continuation of $f$ to a slightly larger, open interval, then all's fine.
3. Or maybe calculate $f'(\varepsilon)$ and take $\varepsilon \to 0$.

Are these feasible tactics to use here? When are they a good idea? Any others that could help here?

posted 11 months ago

CC0

tommi‭

435 reputation 8 17 55 6