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.

Definición formal editar

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]

  • Derivada Dini superior derecha de   en  :
 

donde   es el límite superior.

  • Derivada Dini inferior derecha de   en  :
 

donde   es el límite inferior.

  • Derivada Dini superior izquierda de   en  :
 
  • Derivada Dini inferior izquierda de   en  :
 

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.

Derivada Dini superior e inferior editar

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:

  • Derivada Dini superior de   en  :
 

donde   es el límite superior.

  • Derivada Dini inferior de   en  :
 

donde   es el límite inferior.

Derivadas Dini Direccionales editar

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:
 

donde   es el límite superior.

  • Derivada Dini direccional inferior de   en la dirección   sobre el punto   se define como el límite:
 

donde   es el límite inferior.

Diferenciabilidad editar

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  .

Ejemplos editar

Ejemplo 1[1] editar

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:

 

Ejemplo 2 editar

Las derivadas Dini también se pueden aplicar para funciones continuas definidas a trozos como por ejemplo:

 

Para esta función se puede ver que es diferenciable en todos los puntos excepto para  . Pero de nuevo las derivadas Dini existen y son finitas:

 

Ejemplo 3[1] editar

 
Representación gráfica de la función del ejemplo 3

Sea la función   definida como:

 

Esta función no es diferenciable en el origen pues en este caso la derivada no está definida. Sin embargo, las derivadas Dini existen y son finitas:

 

Ejemplo 4 editar

Sea una función de dos variables definida como:

 

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.

Referencias editar

  1. a b c d Kannan, Rangachary (2012). «3». Advanced Analysis on the Real Line (en inglés). Springer Science & Business Media. 
  2. a b Jeyakumar, V. Nonsmooth Vector Functions and Continous Optimization (en inglés). Springer.