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?
tommi
·
2024-01-15T08:11:00Z (10 months ago)