The derivatives of a function at a boundary point

I have a function $f:[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^{\prime }(\epsilon )$ and take $\epsilon \to 0$.

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

posted about 1 year ago

CC0

tommi‭

435 reputation 8 17 55 6