para las funciones:
Cada función analítica es infinitamente diferenciable.
Cada función polinómica es analítica.
Cada Función elemental es analítica en casi todas partes. Supongo que esto es válido también para el Funciones de Liubliana .
$ $
para los términos de la función:
El conjunto de los términos de las funciones elementales es cerrado en cuanto a la diferenciación.
El conjunto de los términos de las funciones de Liouvillian es cerrado en cuanto a la diferenciación.
Si $n_1,n_2\in\mathbb{N}_0$ , $n_1\ne n_2$ , $f\colon z\mapsto f(z)$ y
$$\frac{d^{n_1}}{dz^{n_1}}f(z)=\frac{d^{n_2}}{dz^{n_2}}f(z),$$
entonces $f(z)$ es infinitamente diferenciable.
Existen algunas reglas generales de diferenciación para calcular $n$ -a derivadas, por ejemplo, regla del factor superior, regla de la suma superior, regla del producto superior, regla de la cadena superior.
$ $
Una función con un término de función infinitamente diferenciable es infinitamente diferenciable si cada uno de sus $n$ -ésima derivada es diferenciable.