Para funciones suaves $f$ Los derivados en un solo punto no dicen mucho:
- el conjunto de ceros es, por supuesto, un conjunto cerrado
- la derivada cero te dice si $f(t)=0$
- si $f^{(n)}(t)\neq 0$ para algunos $n>0$ entonces $t$ tiene una vecindad en la que $f$ no tiene ceros, excepto posiblemente en $t$
Cualquier posibilidad permitida por estas condiciones puede construirse utilizando funciones de choque.
Si tiene límites en los derivados sobre toda la gama, se podría decir más - hay varias preguntas como esta en este sitio.
Una función es real-analítica si la serie de Taylor converge en todas partes al valor de $f.$ Entonces hay una respuesta tautológica: la función está determinada por la serie de Taylor, por lo que los ceros están determinados por la serie de Taylor. Incluso sin mirar la serie de Taylor, la Teorema de factorización de Weierstrass dice que un conjunto es el conjunto cero de una función analítica no constante si y sólo si todos sus puntos están aislados.
Una condición suficiente para tener un número finito de ceros es que la función sea analítica y una serie de Taylor satisfaga una recurrencia lineal. Esto implica que la función es racional . Esta no es una condición necesaria, por ejemplo $f(z)=\exp(z).$