En Análisis matemático la derivada de Dini o derivada Dini es una generalización especial del concepto de derivada para funciones continuas no necesariamente diferencialbes, introducida por primera vez por el matemático y político italiano Ulisse Dini.
Sea una función real definida sobre un dominio compacto . Si la función está bien definida y es finita para cualquier punto de su dominio, entonces, las cuatro derivadas Dini se definen formalmente de acuerdo a los siguientes límites:[1]
Es importante tener en cuenta que no se ha puesto ninguna restricción específica sobre la función salvo que esté definida para todos los puntos de su dominio y que sea finita, por lo que podría suceder que alguno de los límites anteriores diverja o no exista.
De forma compacta, las derivadas Dini suelen expresarse simplemente tomando el límite superior o inferior de la función en un punto, lo que se conocen como derivadas Dini superior e inferior, independientemente de si la derivada se toma por la izquierda o por la derecha. Formalmente estas derivadas se definen del siguiente modo:
El concepto de derivada Dini puede generalizarse para funciones de varias variables introduciendo el concepto de derivada Dini direccional, que no es más que una generalización del concepto de derivada direccional para funciones arbitrarias finitas [ref].
Sea pues una función donde el dominio es compacto. De este modo, si la función es continua y está bien definida ara cualquier punto , entonces, las derivadas Dini direccionales se definen de acuerdo a los siguientes límites:[2]
Derivada Dini direccional superior de en la dirección sobre el punto se define como el límite:
Dado que las derivadas Dini son una generalización de la derivada, éstas pueden proporcionar información a cerca de la diferenciabilidad de una función sobre un determinado punto. Concretamente, para el caso de las funciones de una sola variable, puede verse[1] que si todas las derivadas Dini existen y además cumplen que , entonces la función es diferenciable en el punto y además su valor coincide con el de las derivadas Dini:
En el caso de las funciones de varias variables, si la derivada direccional Dini superior e inferior existen y se verifica que , entonces la derivada direccional de en la dirección sobre el punto existe y su valor coincide con el de las derivadas Dini:[2]
donde es la derivada direcciónal estándar de la función sobre el punto en la dirección .
Sea la función valor absoluto. Esta función es continua para toda la recta real y diferenciable en todos los puntos salvo en el punto donde la derivada no está bien definida. Sin embargo, las derivadas Dini en dicho punto existen y son finitas:
que es una generalización de la función del ejemplo anterior sobre
Puede observarse que la función es continua y está bien definida para cualquier punto de por lo que pueden calcularse las derivadas direccionales Dini sobre cualquier punto, y en particular, sobre el punto que para cualquier dirección existen y son finitas:
Además, dado que se puede concluir que la derivada direccional de la función sobre dicho punto no va estar bien definida.