INTRODUCCIÓN

La relevancia histórica del teorema fundamental del cálculo diferencial e integral es la constancia que los procesos de derivación e integración, distintos en apariencia, están estrechamente relacionados (Dunham, 2018), (Edward, 1994). Además, es una herramienta poderosa que permite recobrar una función continuamente diferenciable a través de la integral indefinida de su derivada, o sea que se tienen las fórmulas (Bartle, 2011), (Gordon, 2002), (Folland, 2007)

$f\left(b\right)-f\left(a\right)={\int }_a^b{f}^{\text{'}}\left(x\right)dx$

y

$\frac{d}{dx}\left({\int }_a^{b}f\left(x\right)dx\right)=f\left(x\right),x\in \left[a,b\right]$

En este artículo se presentan las cuatro derivadas de Dini de una función y se enuncian las propiedades más sobresalientes, especialmente cuando la función es monótona. También se desarrollan unos ejemplos, donde se visualiza la relación que existe entre estas cuatro derivadas. Finalmente se presenta una versión del teorema fundamental del cálculo diferencial e integral, pero ahora usando una de las derivadas de Dini.

METODOLOGÍA

El Teorema Fundamental del Cálculo es el teorema más importante de la teoría del cálculo diferencial e integral, ya que establece una conexión entre las dos ramas del cálculo: el cálculo diferencial (cálculo de tangentes) y el cálculo integral (cálculo de cuadraturas); indicando que, de cierta manera, los procesos de diferenciación e integración son inversos. Una consecuencia directa de este teorema es el segundo teorema fundamental del cálculo o regla de Barrow, que permite calcular la integral definida de una función utilizando la primitiva de la función integrando; es decir, si $\textcolor{red}{}$ $f:[a,b]\to \boxed{\textcolor{red}{}}$ es una función con derivada continua en$\left[a,b\right]$, entonces

${\int }_a^b{f}^{\text{'}}\left(x\right)dx=f\left(b\right)-f\left(a\right)$ (fórmula de Barrow).

Sin embargo, si $\textcolor{red}{}f$ es solamente diferenciable en$\left[a,b\right]$, entonces no se puede asegurar que la función derivada $f^{\text{'}}$ sea Riemann integrable en $\left[a,b\right]$ y, por lo tanto, la fórmula de Barrow no tendría sentido.

Con el objetivo de darle significado al teorema fundamental del cálculo en la teoría de integración de Riemann, se ha seguido la siguiente metodología. Primeramente, se extiende el concepto de derivada, definiendo las cuatro derivadas de Dini. Se enuncian las propiedades más sobresalientes, especialmente cuando la función es monótona. También se prueba que las cuatro derivadas de Dini ${\text{D}}^{\text{+}}f\left(x\right)$ ,${\text{D}}_{\text{+}}f\left(x\right)$ ,${\text{D}}^{\text{-}}f\left(x\right)$ y ${\text{D}}_{\text{-}}f\left(x\right)$ siempre existen en $\boxed{\textcolor{red}{}}*=\boxed{\textcolor{red}{}}\cup \{-\mathrm{\infty },\mathrm{\infty }\}$.

Se prueba que si $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ es una función monótona y continua en$\left[a,b\right]$ , entonces ${\text{D}}^{-}f\left(x\right)\le {\text{D}}_{\text{+}}f\left(x\right)$ en$\textcolor{red}{}\left[a,b\right]$ , excepto posiblemente en un conjunto de medida cero. Finalmente, se prueba que si $f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ es una función continua con $\text{|}{\text{D}}^{\text{+}}f\left(x\right)\text{|}<\mathrm{\infty }$ para todo $x\in \boxed{\textcolor{red}{}}$, entonces

${⨜}_a^b{\text{D}}^{\text{+}}f\left(x\right)dx\le f\left(b\right)-f\left(a\right)\le {⨛}_a^b{\text{D}}^{\text{+}}f\left(x\right)dx$

para cada intervalo $\left[a,b\right]$ de $\textcolor{red}{}\boxed{\textcolor{red}{}}$ y, se deduce que si ${\text{D}}^{\text{+}}f\left(x\right)$ es Riemann integrable en todo intervalo $\left[a,b\right]$ de $\boxed{\textcolor{red}{}}$ , entonces

${\int }_a^b{\text{D}}^{\text{+}}f\left(x\right)dx=f\left(b\right)-f\left(a\right)$

Obteniendo así, una versión generalizada de la fórmula de Barrow.

PRELIMINARES

Sea$\text{A}\subset \boxed{\textcolor{red}{}}$, $\textcolor{red}{}x0$ un punto de acumulación de $\textcolor{red}{}\mathit{\text{A}}$ y $f:\mathit{\text{A}}\to \boxed{\textcolor{red}{}}$ una función. Para cada $\epsilon >0$ denote:

${\mathit{\text{M}}}_{\epsilon }(f,x_0)=sup\{f\left(x\right):x\in (x_0-\epsilon ,x_0+\epsilon )\mathit{\cap A},x\ne x_0\}$

y

${\mathit{\text{m}}}_{\epsilon }(f,x_0)=inf\{f\left(x\right):x\in (x_0-\epsilon ,x_0+\epsilon )\mathit{\cap A},x\ne x_0\}$

Note que si$0<{\epsilon }_1<{\epsilon }_2$, entonces

${\mathit{\text{m}}}_{\epsilon }\left(f,x_0\right)\ge {\mathit{\text{m}}}_{\epsilon }\left(f_1,x_0\right)$ y ${\mathit{\text{M}}}_{\epsilon }\left(f,x_0\right)\le {\mathit{\text{M}}}_{\epsilon }\left(f_1,x_0\right)$

Definición 1: El límite superior de $\textcolor{red}{}f$ cuando $\textcolor{red}{}x$ tiende a $\textcolor{red}{}{x}_0$ se denota por $\underset{x\to x_0}{\mathrm{limsup}}f\left(x\right)$ y se define por

$\underset{x\to x_0}{\mathrm{limsup}}f\left(x\right)=inf\{{\mathit{\text{M}}}_{\epsilon }\left(f,x_0\right):\epsilon >0\}$

De igual manera, el límite inferior de $\textcolor{red}{}f$ cuando $\textcolor{red}{}x$ tiende a $\textcolor{red}{}{x}_0$ se denota por $\underset{x\to x_0}{\mathrm{liminf}}f\left(x\right)$ y se define por

$\underset{x\to x_0}{\mathrm{liminf}}f\left(x\right)=sup\{{\mathit{\text{m}}}_{\epsilon }\left(f,x_0\right):\epsilon >0\}$

Estos límites siempre están definidos en $\boxed{\textcolor{red}{}}*=\boxed{\textcolor{red}{}}\cup \{-\mathrm{\infty },\mathrm{\infty }\}$

Ejemplo 1: Sea $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ la función definida por

$f\left(x\right)=\left\{\begin{array}{lr}2,& x=0\\ 1,& x∊\boxed{\textcolor{red}{}},x\ne 0\\ 0,& x∊\boxed{\textcolor{red}{}}-\boxed{\textcolor{red}{}}\end{array}\right.$

Tome $x_0=0$, entonces para todo $\textcolor{red}{}\epsilon >0$ se tiene que

$m_{\epsilon }\left(f,0\right)=0$ $m_{\epsilon }\left(f,0\right)=1$

Por lo tanto,

$\underset{x\to 0}{\mathrm{liminf}}f\left(x\right)=0$ y $\underset{x\to 0}{\mathrm{limsup}}f\left(x\right)=1$

Propiedades:

1. Si $t<\underset{x\to 0}{\mathrm{liminf}}f\left(x\right)$, entonces existe un ${\epsilon }_0>0$ tal que para todo$\textcolor{red}{}\epsilon \le {\epsilon }_0$, se tiene que

$\textcolor{red}{}t<m_{{\epsilon }_0}\left(f,x_0\right)\le m_{\epsilon }\left(f,x_0\right)\le \underset{x\to x_0}{\mathrm{liminf}}f\left(x\right)$

2. Si $\textcolor{red}{}t>\underset{x\to x_0}{\mathrm{limsup}}f\left(x\right)$, entonces existe un ${\epsilon }_0>0$ tal que para todo$\textcolor{red}{}\epsilon \le {\epsilon }_0$, se tiene que

$\textcolor{red}{}\underset{x\to x_0}{\mathrm{limsup}}f\left(x\right)\le {\mathit{\text{M}}}_{\epsilon }\left(f,x_0\right)\le {\mathit{\text{M}}}_{{\epsilon }_0}\left(f,x_0\right)<t$

3. Si $\textcolor{red}{}0\le c<\mathrm{\infty }$, entonces

i) $\underset{x\to x_0}{\mathrm{liminf}}\left(cf\left(x\right)\right)=c\underset{x\to x_0}{\mathrm{liminf}}f\left(x\right)$

ii) $\textcolor{red}{}\underset{x\to x_0}{\mathrm{limsup}}\left(cf\left(x\right)\right)=c\underset{x\to x_0}{\mathrm{limsup}}f\left(x\right)$

4. Si$\textcolor{red}{}-\mathrm{\infty }<c<0$, entonces

i) $\underset{x\to x_0}{\mathrm{liminf}}\text{(}cf\left(x\right)\text{)}=c\underset{x\to x_0}{\mathrm{limsup}}f\left(x\right)$

ii) $\textcolor{red}{}\underset{x\to x_0}{\mathrm{limsup}}\text{(}cf\left(x\right)\text{)}=c\underset{x\to x_0}{\mathrm{liminf}}f\left(x\right)$

5.$\textcolor{red}{}\underset{x\to x_0}{\lim }f\left(x\right)=k\in \boxed{\textcolor{red}{}}*$, si y solo si, $\textcolor{red}{}\underset{x\to x_0}{\mathrm{liminf}}f\left(x\right)=\underset{x\to x_0}{\mathrm{limsup}}f\left(x\right)=k$

6. Sea $\textcolor{red}{}k\in \boxed{\textcolor{red}{}}*$. Entonces, $\textcolor{red}{}\underset{x\to x_0}{\lim }f\left(x\right)=k$ si y solo si $\textcolor{red}{}\underset{x\to x_0}{\mathrm{liminf}}f\left(x\right)\ge k$ y $\textcolor{red}{}\underset{x\to x_0}{\mathrm{limsup}}f\left(x\right)\le k$.

Denote

$m_{\epsilon }^{-}\left(f,x_0\right)=inf\{f\left(x\right):x\in (x_0-\epsilon ,x)\mathit{\cap A}\}$

$\textcolor{red}{}{\mathit{\text{M}}}_{\epsilon }^{-}\left(f,x_0\right)=sup\{f\left(x\right):x\in (x_0-\epsilon ,x)\mathit{\cap A}\}$

$m_{\epsilon }^{+}\left(f,x_0\right)=inf\{f\left(x\right):x\in (x_0,x_0+\epsilon )\mathit{\cap A}\}$

${\mathit{\text{M}}}_{\epsilon }^{+}\left(f,x_0\right)=sup\{f\left(x\right):x\in (x_0,x_0+\epsilon )\mathit{\cap A}\}$

Definición 2: El límite inferior por la izquierda de $\textcolor{red}{}f$ cuando $\textcolor{red}{}x$ tiende a $\textcolor{red}{}{x}_0$ se denota por $\textcolor{red}{}\underset{x\to x_0^{-}}{\mathrm{liminf}}f\left(x\right)$ y se define por

$\textcolor{red}{}\underset{x\to x_0^{-}}{\mathrm{liminf}}f\left(x\right)=sup\mathrm{\{}{m}_{\epsilon }^{-}\left(f,x_0\right):\epsilon >0\mathrm{\}}$

El límite superior por la izquierda de $\textcolor{red}{}f$ cuando $\textcolor{red}{}x$ tiende a $\textcolor{red}{}{x}_0$ se denota por $\textcolor{red}{}\underset{x\to x_0^{-}}{\mathrm{limsup}}f\left(x\right)$ y se define por

$\textcolor{red}{}\underset{x\to x_0^{-}}{\mathrm{limsup}}f\left(x\right)=inf\mathrm{\{}{\text{M}}_{\epsilon }^{-}\left(f,x_0\right):\epsilon >0\mathrm{\}}$

De igual manera se definen los límites por la derecha

$\underset{x\to x_0^{+}}{\mathrm{limsup}}f\left(x\right)=sup\mathrm{\{}{m}_{\epsilon }^{+}\left(f,x_0\right):\epsilon >0\mathrm{\}}$

y

$\textcolor{red}{}\underset{x\to x_0^{+}}{\mathrm{limsup}}f\left(x\right)=inf\mathrm{\{}{\mathit{\text{M}}}_{\epsilon }^{+}\left(f,x_0\right):\epsilon >0\mathrm{\}}$

Recuerde que el límite por la izquierda de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ se denota por $\textcolor{red}{}f(x-)$ y se define por

$\textcolor{red}{}f\mathrm{(}{x}_0-\mathrm{)}=\underset{x\to x_0^{-}}{\lim }f\left(x\right)=\underset{\begin{array}{c}x\to x_0\\ x<x_0\end{array}}{\lim }f\left(x\right)$

De igual manera, el límite por la derecha de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ se denota por $\textcolor{red}{}f(x+)$ y se define por

$\textcolor{red}{}f(x_0+)=\underset{x\to x_0^{+}}{\lim }f\left(x\right)=\underset{\begin{array}{c}x\to x_0\\ x>x_0\end{array}}{\lim }f\left(x\right)$

De las propiedades de los limites inferiores y superiores se tiene que:

$\textcolor{red}{}f(x_0-)=k\in \boxed{\textcolor{red}{}}*$, si y solo si, $\textcolor{red}{}\underset{x\to x_0^{-}}{\mathrm{liminf}}f\left(x\right)=\underset{x\to x_0^{-}}{\mathrm{limsup}}f\left(x\right)=k$

y

$\textcolor{red}{}f(x_0+)=k\in \boxed{\textcolor{red}{}}*$, si y solo si, $\textcolor{red}{}\underset{x\to x_0^{+}}{\mathrm{liminf}}f\left(x\right)=\underset{x\to x_0^{+}}{\mathrm{limsup}}f\left(x\right)=k$

Por otro lado, si $\textcolor{red}{}\mathit{\text{I}}$ es un intervalo de$\textcolor{red}{}\boxed{\textcolor{red}{}}$, $x_0\mathit{\in I}$ y $\textcolor{red}{}f\mathit{:I}\to \boxed{\textcolor{red}{}}$ es una función, monótona, entonces:

· Si $\textcolor{red}{}{x}_0$ no es el extremo inferior de $\textcolor{red}{}\mathit{\text{I}}$, entonces $\textcolor{red}{}f(x_0-)$ existe.

· Si $\textcolor{red}{}{x}_0$ no es el extremo superior de $\textcolor{red}{}\mathit{\text{I}}$, entonces $\textcolor{red}{}f(x_0+)$ existe.

Más aún, si $\textcolor{red}{}f$ es creciente (decreciente), entonces$\textcolor{red}{}f(x_0-)\le f\left(x_0\right)$ y $\textcolor{red}{}f\left(x_0\right)\le f(x_0+)$ (respectivamente, $\textcolor{red}{}f(x_0-)\ge f\left(x_0\right)$ y $\textcolor{red}{}f\left(x_0\right)\ge f(x_0+)$ ), si los términos están definidos.

Propiedades: Sean $f_1$ , $f_2$ funciones definidas en un conjunto $\textcolor{red}{}\mathit{\text{A}}$ y $x_0$ un punto de acumulación de $\textcolor{red}{}\mathit{\text{A}}$. Si las correspondientes operaciones están definidas, entonces se tiene que (Bartle, 2011), (Gordon, 2002), (Natanson, 2016):

1. $\underset{x\to x_0}{\mathrm{limsup}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}\le \underset{x\to x_0}{\mathrm{limsup}}{f}_1\left(x\right)+\underset{x\to x_0}{\mathrm{limsup}}{f}_2\left(x\right)$

2. $\underset{x\to x_0}{\mathrm{liminf}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}\ge \underset{x\to x_0}{\mathrm{liminf}}{f}_1\left(x\right)+\underset{x\to x_0}{\mathrm{liminf}}{f}_2\left(x\right)$

3. $\underset{x\to x_0}{\mathrm{limsup}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}\ge \underset{x\to x_0}{\mathrm{limsup}}{f}_1\left(x\right)+\underset{x\to x_0}{\mathrm{liminf}}{f}_2\left(x\right)$

4. $\underset{x\to x_0}{\mathrm{liminf}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}\le \underset{x\to x_0}{\mathrm{liminf}}{f}_1\left(x\right)+\underset{x\to x_0}{\mathrm{limsup}}{f}_2\left(x\right)$

5. $\underset{x\to x_0}{\mathrm{limsup}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}\le \underset{x\to x_0}{\mathrm{limsup}}{f}_1\left(x\right)-\underset{x\to x_0}{\mathrm{liminf}}{f}_2\left(x\right)$

6. $\underset{x\to x_0}{\mathrm{limsup}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}\ge \underset{x\to x_0}{\mathrm{limsup}}{f}_1\left(x\right)-\underset{x\to x_0}{\mathrm{limsup}}{f}_2\left(x\right)\ge \underset{x\to x_0}{\mathrm{liminf}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}$

7. $\underset{x\to x_0}{\mathrm{liminf}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}\ge \underset{x\to x_0}{\mathrm{liminf}}{f}_1\left(x\right)-\underset{x\to x_0}{\mathrm{limsup}}{f}_2\left(x\right)$

8. $\underset{x\to x_0}{\mathrm{liminf}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}\le \underset{x\to x_0}{\mathrm{liminf}}{f}_1\left(x\right)-\underset{x\to x_0}{\mathrm{liminf}}{f}_2\left(x\right)\le \underset{x\to x_0}{\mathrm{limsup}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}$

9. Suponga que $\textcolor{red}{}\underset{x\to x_0}{\lim }{f}_2\left(x\right)$ existe, entonces

$\underset{x\to x_0}{\mathrm{limsup}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}=\underset{x\to x_0}{\mathrm{limsup}}{f}_1\left(x\right)+\underset{x\to x_0}{\lim }{f}_2\left(x\right)$

$\underset{x\to x_0}{\mathrm{liminf}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}=\underset{x\to x_0}{\mathrm{liminf}}{f}_1\left(x\right)+\underset{x\to x_0}{\lim }{f}_2\left(x\right)$

Definición 3: Sea $x_0\mathit{\in A}$ un punto de acumulación y $f\mathit{:A}\to \boxed{\textcolor{red}{}}$ una función.

i. $\textcolor{red}{}f$ es semicontinua inferiormente en $\textcolor{red}{}{x}_0$ si $\textcolor{red}{}\underset{x\to x_0}{\mathrm{liminf}}f\left(x\right)\ge f\left(x_0\right)$

ii. $\textcolor{red}{}f$ es semicontinua superiormente en $x_0$ si $\textcolor{red}{}\underset{x\to x_0}{\mathrm{limsup}}f\left(x\right)\le f\left(x_0\right)$

Note que $\textcolor{red}{}f$ es continua en $\textcolor{red}{}{x}_0$ si y solo si $\textcolor{red}{}f$ es semicontinua inferiormente y superiormente en $\textcolor{red}{}{x}_0$.

Definición 4: Sea $\textcolor{red}{}\mathit{\text{A}}$ un subconjunto de $\textcolor{red}{}\boxed{\textcolor{red}{}}$ . $\textcolor{red}{}\mathit{\text{A}}$ es un conjunto nulo o tiene medida cero y se denota por $\textcolor{red}{}m\left(\mathit{\text{A}}\right)=0$, si para todo $\textcolor{red}{}\epsilon >0$ existe una sucesión de intervalos abiertos $\textcolor{red}{}\text{{}{\mathit{\text{I}}}_n{\text{}}}_{n=1}^{\mathrm{\infty }}$ tal que

$\mathit{\text{A}}\subset \underset{n=1}{\overset{\mathrm{\infty }}{\cup }}{\mathit{\text{I}}}_n$ y $\textcolor{red}{}\sum _{n=1}^{\mathrm{\infty }}\ell \left({\mathit{\text{I}}}_n\right)<\epsilon$

donde $\textcolor{red}{}\ell \left({\mathit{\text{I}}}_n\right)$ es la longitud del intervalo$\textcolor{red}{}\mathit{\text{I}}$. El valor $\textcolor{red}{}\sum _{n=1}^{\mathrm{\infty }}\ell \left({\mathit{\text{I}}}_n\right)$ es llamado la longitud total de los intervalos $\textcolor{red}{}{\mathit{\text{I}}}_1,{\mathit{\text{I}}}_2...$ ; sin el requerimiento que estos intervalos sean disjuntos dos a dos.

Propiedades

1. Si $\textcolor{red}{}\mathit{\text{A}}$ es un conjunto enumerable (finito o infinito), entonces $\textcolor{red}{}m\left(\mathit{\text{A}}\right)=0$. En particular,$\textcolor{red}{}m\left(\boxed{\textcolor{red}{}}\right)=0$.

2. Si $\textcolor{red}{}\mathit{\text{A}}\mathit{\subset B}$ y$\textcolor{red}{}m\left(\boxed{\textcolor{red}{}}\right)=0$, entonces$\textcolor{red}{}m\left(\mathit{\text{A}}\right)=0$.

3. Si $\textcolor{red}{}\mathit{\text{A}}=\underset{n=1}{\overset{\mathrm{\infty }}{\cup }}{\mathit{\text{A}}}_n$ y $\textcolor{red}{}m\left({\mathit{\text{A}}}_n\right)=0$ para todo $\textcolor{red}{}n\in \boxed{\textcolor{red}{}}$, entonces $\textcolor{red}{}m\left(\mathit{\text{A}}\right)=0$.

(Natanson, 2016), (Orchinnikov, 2013).

Definición 5: Sea $\textcolor{red}{}\mathit{\text{A}}\subset \boxed{\textcolor{red}{}}$ y $\textcolor{red}{}f\mathit{:A}\to \boxed{\textcolor{red}{}}$ una función,

i. $\textcolor{red}{}f$ es continua casi en todo punto (c.t.p) en $\textcolor{red}{}\mathit{\text{A}}$ si

$\textcolor{red}{}\mathrm{m(\{}x\mathit{\in A}:f$ es discontinua en $\textcolor{red}{}\mathrm{x\})}=0$

ii. $\textcolor{red}{}f$ es diferenciable c.t.p de $\textcolor{red}{}\mathit{\text{A}}$ si $\textcolor{red}{}m\left(\right\{x\mathit{\in A}:f$ no es diferenciable en $\textcolor{red}{}x\left\}\right)=0$

iii. En general, sea$\textcolor{red}{}\mathit{\text{A}}\subset \boxed{\textcolor{red}{}}$. Si para algunos de los elemento de $\textcolor{red}{}\mathit{\text{A}}$ un enunciado $\textcolor{red}{}\mathit{\text{P}}\left(x\right)$ es definido, entonces se dice que $\textcolor{red}{}\mathit{\text{P}}$ se satisface casi en todas partes en$\textcolor{red}{}\mathit{\text{A}}$, si el conjunto de todos los puntos $\textcolor{red}{}x\mathit{\in A}$ para los cuales $\textcolor{red}{}\mathit{\text{P}}\left(x\right)$ no está definido o es falso tiene medida cero.

Se usará c.t.p como una abreviatura para “casi en todas partes”

Teorema 1: Sea $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ una función monótona, entonces $\textcolor{red}{}\mathit{\text{Disc}}\left(x\right)=\{x\in \boxed{\textcolor{red}{}}:f$ es discontinua en $\textcolor{red}{}x\}$ es a lo sumo enumerable.

Teorema 2: Sea $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ una función diferenciable, entonces $\textcolor{red}{}\mathit{\text{cont}}\left(f^{\text{'}}\right)=\{x\in \boxed{\textcolor{red}{}}/f^{\text{'}}$ es continua en $\textcolor{red}{}x\}$ es denso en $\textcolor{red}{}\boxed{\textcolor{red}{}}$.

Teorema 3: (Criterio de Integrabilidad de Lebesgue): Sea $\textcolor{red}{}f:[a,b]\to \boxed{\textcolor{red}{}}$ una función acotada. $\textcolor{red}{}f$ es Riemann integrable en $\textcolor{red}{}[a,b]$ si y solo si $\textcolor{red}{}m\left(\right\{x\in \left[a,b\right]:f$ es discontinua en $\textcolor{red}{}x\left\}\right)=0$.

LAS DERIVADAS DE DINI

En lo que sigue se introducen varios conceptos de derivabilidad.

Definición 6: Sea una función y .

i. La derivada superior de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ se denota por $\textcolor{red}{}\overline{\mathit{\text{D}}}f\left(x_0\right)$ y se define por

$\textcolor{red}{}\overline{\mathit{\text{D}}}f\left(x_0\right)=\underset{x\to x_0}{\mathrm{limsup}}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}$

ii. La derivada inferior de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ se denota por $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}f\left(x_0\right)$ y se define por

$\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}f\left(x_0\right)=\underset{x\to x_0}{\mathrm{liminf}}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}$

Note que estos dos límites siempre existen en $\textcolor{red}{}\boxed{\textcolor{red}{}}*=\boxed{\textcolor{red}{}}\cup \{-\infty ,\infty \}$, pero ellos no siempre son iguales.

De hecho, $\overline{\mathit{\text{D}}}f\left(x_0\right)\text{=}\underset{‾}{\mathit{\text{D}}}f\left(x_0\right)=k\in \boxed{\textcolor{red}{}}$ si y solo si $\textcolor{red}{}f$ es diferenciable en $\textcolor{red}{}{x}_0$ y, en este caso$\textcolor{red}{}{f}^{\text{'}}\left(x_0\right)=k$.

Definición 7: (Derivadas de Dini): Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función y $\textcolor{red}{}{x}_0\in \left[a,b\right]$.

i. Si $x_0<b$, entonces:

a) La derivada superior derecha (de Dini) de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ se define por

${\mathit{\text{D}}}^{+}f\left(x_0\right)=\underset{x\to x_0^{+}}{\mathrm{limsup}}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}$

b) La derivada inferior derecha de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ se define por

$\textcolor{red}{}{\mathit{\text{D}}}_{+}f\left(x_0\right)=\underset{x\to x_0^{+}}{\mathrm{liminf}}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}$

ii. Si $\textcolor{red}{}{x}_0>a$, entonces:

a) La derivada superior izquierda de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ se define por

$\textcolor{red}{}{\mathit{\text{D}}}^{-}f\left(x_0\right)=\underset{x\to x_0^{-}}{\mathrm{limsup}}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}$

b) La derivada inferior izquierda de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ se define por

$\textcolor{red}{}{\text{D}}_{-}f\left(x_0\right)=\underset{x\to x_0^{-}}{\mathrm{liminf}}\frac{f\left(x\right)-f\left({\textcolor{red}{}}_{x0}\right)}{x-x_0}$

iii. Si $\textcolor{red}{}{x}_0<b$ y $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x_0\right)={\mathit{\text{D}}}_{+}f\left(x_0\right)$, a este valor común se le llama la derivada por la derecha de en $\textcolor{red}{}f$ y $\textcolor{red}{}{x}_0$ se denota por $\textcolor{red}{}{f}^{\text{'}}(x_0+)$; o sea,

$\textcolor{red}{}{f}^{\text{'}}(x_0+)=\underset{x\to x_0^{+}}{\mathrm{limsup}}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}=\underset{x\to x_0^{+}}{\mathrm{liminf}}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}\in \boxed{\textcolor{red}{}}*$

iv. Si $\textcolor{red}{}{x}_0>a$ y $\textcolor{red}{}{\text{D}}^{-}f\left(x_0\right)={\text{D}}_{-}f\left(x_0\right)$, a este valor común se le llama la derivada por la izquierda de$\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ y se denota por $\textcolor{red}{}{f}^{\text{'}}(x_0-)$; o sea,

$\textcolor{red}{}{f}^{\text{'}}(x_0-)=\underset{x\to x_0^{-}}{\mathrm{limsup}}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}=\underset{x\to x_0^{-}}{\mathrm{liminf}}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}\in \boxed{\textcolor{red}{}}*$

Las cuatro derivadas $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x_0\right)$, $\textcolor{red}{}{\mathit{\text{D}}}_{+}f\left(x_0\right)$ , $\textcolor{red}{}{\text{D}}^{-}f\left(x_0\right)$ y$\textcolor{red}{}{\text{D}}_{-}f\left(x_0\right)$ se llaman las derivadas de Dini de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ y, siempre existen en $\textcolor{red}{}\boxed{\textcolor{red}{}}*=\boxed{\textcolor{red}{}}\cup \{-\mathrm{\infty },\mathrm{\infty }\}$.

Note que$\textcolor{red}{}f$ es derivable en $\textcolor{red}{}{x}_0$ si y solo si $\textcolor{red}{}{f}^{\text{'}}\text{(}{x}_0-)=f^{\text{'}}\text{(}{x}_0+)\in \boxed{\textcolor{red}{}}$; es decir, si las cuatro derivadas de Dini de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ son iguales y finitas. Este valor común es igual a $\textcolor{red}{}{f}^{\text{'}}\left(x_0\right)$. Además, si $\textcolor{red}{}{x}_0\in \left(a,b\right)$,entonces

$\textcolor{red}{}\underset{‾}{D}f\left(x_0\right)\le D_{+}f\left(x_0\right)\le D^{+}f\left(x_0\right)\le \bar{D}f\left(x_0\right)$

$\textcolor{red}{}\underset{‾}{D}f\left(x_0\right)\le D_{-}f\left(x_0\right)\le D^{-}f\left(x_0\right)\le \bar{D}f\left(x_0\right)$

$\textcolor{red}{}\overline{\mathit{\text{D}}}f\left(x_0\right)=sup\{{\mathit{\text{D}}}^{\text{+}}f\left(x_0\right)\text{,}{\mathit{\text{D}}}^{\text{-}}f\left(x_0\right)\text{}}$

$\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}f\left(x_0\right)=inf\{{\mathit{\text{D}}}_{\text{+}}f\left(x_0\right)\text{,}{\mathit{\text{D}}}_{\text{-}}f\left(x_0\right)\text{}}$

Ejemplo 2: Sea $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ la función definida por

$\textcolor{red}{}f\left(x\right)=\{\genfrac{}{}{0ex}{}{\mid 2x\mid ,six\in \boxed{\textcolor{red}{}}}{\mid 3x\mid ,six\in \boxed{\textcolor{red}{}}\text{-}\boxed{\textcolor{red}{}}}$

entonces

$\textcolor{red}{}\frac{f\left(x\right)-f\left(0\right)}{x-0}=\frac{f\left(x\right)}{x}$

Por lo tanto,

$\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(0\right)=\mathrm{3,}{\mathit{\text{D}}}_{+}f\left(0\right)=\mathrm{2,}{\mathit{\text{D}}}^{-}f\left(0\right)=-\mathrm{2,}{\mathit{\text{D}}}_{-}f\left(0\right)=-3$

Por otro lado, como

$\textcolor{red}{}\frac{f\left(x\right)-f\left(1\right)}{x-1}=\frac{\left(f\left(x\right)\right)-2}{\mathrm{(}x-1\mathrm{)}}$

Se tiene que

$\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(1\right)=\mathrm{\infty ,}{\mathit{\text{D}}}_{+}f\left(1\right)=\mathrm{2,}{\mathit{\text{D}}}^{-}f\left(1\right)=\mathrm{2,}{\mathit{\text{D}}}_{-}f\left(1\right)=-\mathrm{\infty }$

Por lo tanto,

$\textcolor{red}{}\overline{\mathit{\text{D}}}f\left(0\right)=\mathrm{3,}\underset{‾}{\mathit{\text{D}}}f\left(0\right)=-\mathrm{3,}\overline{\mathit{\text{D}}}f\left(1\right)=\mathrm{\infty ,}\underset{‾}{\mathit{\text{D}}}f\left(1\right)=-\mathrm{\infty }$

Observe que si $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ es una función y $\textcolor{red}{}k\in \boxed{\textcolor{red}{}}$ , entonces

i. Si $\textcolor{red}{}{\mathit{\text{D}}}^{\text{+}}f\left(x_0\right)>k$, entonces para todo $\textcolor{red}{}\epsilon >0$ existe un $\textcolor{red}{}0<h<\epsilon$ tal que

$\textcolor{red}{}\frac{f(x_0+h)-f\left(x_0\right)}{h}>k$

ii. Si $\textcolor{red}{}{\mathit{\text{D}}}_{-}f\left(x_0\right)<k$ , entonces para todo $\textcolor{red}{}\epsilon >0$ existe un $\textcolor{red}{}0<h<\epsilon$ tal que

$\textcolor{red}{}\frac{f\left(x_0\right)-f(x_0-h)}{h}<k$

Ejemplo 3: Sea $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ la función definida por

$\textcolor{red}{}f\left(x\right)=\{\genfrac{}{}{0ex}{}{\mathit{x}sen\frac{1}{x}\text{,}x\ne 0}{\mathrm{0,}x=0}$

Entonces

$\textcolor{red}{}\frac{f\left(x\right)-f\left(0\right)}{x-0}=sen\frac{1}{x}$ y $\textcolor{red}{}\frac{\left|f\right|\left(x\right)-\left|f\right|\left(0\right)}{x-0}=\frac{\left|x\right|}{x}\left|sen\frac{1}{x}\right|$

Por lo tanto,

$\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(0\right)=\mathrm{1,}{\mathit{\text{D}}}_{+}f\left(0\right)=-\mathrm{1,}{\mathit{\text{D}}}^{-}f\left(0\right)=\mathrm{1,}{\mathit{\text{D}}}_{-}f\left(0\right)=-1$

y

$\textcolor{red}{}{\mathit{\text{D}}}^{+}\left|f\right|\left(0\right)=\mathrm{1;}{\mathit{\text{D}}}_{+}\left|f\right|\left(0\right)=\mathrm{0,}{\mathit{\text{D}}}^{-}\left|f\right|\left(0\right)=\mathrm{0,}{\mathit{\text{D}}}_{-}\left|f\right|\left(0\right)=-1$

Ejemplo 4: Sea $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ la función de Dirichlet definida por

$\textcolor{red}{}f\left(x\right)=\{\genfrac{}{}{0ex}{}{1,\text{si}x\in \boxed{\textcolor{red}{}}}{\mathrm{0,si}x\in \boxed{\textcolor{red}{}}-\boxed{\textcolor{red}{}}}$

Si $\textcolor{red}{}{x}_0\in \boxed{\textcolor{red}{}}$, entonces

$\textcolor{red}{}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}=\frac{f\left(x\right)-1}{x-x_0}$

y ,

$\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x_0\right)=\mathrm{0,}{\mathit{\text{D}}}_{+}f\left(x_0\right)=-\mathrm{\infty ,}{\mathit{\text{D}}}^{-}f\left(x_0\right)=\mathrm{\infty ,}{\mathit{\text{D}}}_{-}f\left(x_0\right)=0$

Si $\textcolor{red}{}{x}_0\in \boxed{\textcolor{red}{}}-\boxed{\textcolor{red}{}}$, entonces

$\textcolor{red}{}\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}=\frac{f\left(x\right)}{x-x_0}$

y ,

$\textcolor{red}{}{\mathit{\text{D}}}^{\text{+}}f\left(x_0\right)=\mathrm{\infty ,}{\mathit{\text{D}}}_{\text{+}}f\left(x_0\right)=\mathrm{0,}{\mathit{\text{D}}}^{-}f\left(x_0\right)=\mathrm{0,}{\mathit{\text{D}}}_{-}f\left(x_0\right)=-\mathrm{\infty }$

Ejemplo 5: Sea $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ la función definida por

$\textcolor{red}{}f\left(x\right)=x^{\frac{1}{3}}$

Entonces

$\textcolor{red}{}\frac{f\left(x\right)-f\left(0\right)}{x-0}=\frac{x^{\frac{1}{3}}}{x}=\frac{1}{x^{\frac{2}{3}}}$

Por lo tanto,

$\textcolor{red}{}{\text{D}}^{+}f\left(0\right)={\text{D}}_{+}f\left(0\right)={\text{D}}^{-}f\left(0\right)={\text{D}}_{-}f\left(0\right)=\mathrm{\infty }$

y

$\textcolor{red}{}\overline{\mathit{\text{D}}}f\left(0\right)=\underset{‾}{\mathit{\text{D}}}f\left(0\right)=\mathrm{\infty }$

Sin embargo, $\textcolor{red}{}f$ no es diferenciable en $\textcolor{red}{}x=0$ (En este caso se dice que $\textcolor{red}{}{f}^{\text{'}}\left(0\right)$ existe en $\textcolor{red}{}\boxed{\textcolor{red}{}}*$ y $\textcolor{red}{}{f}^{\text{'}}\left(0\right)=\mathrm{\infty }$) (Gelbaum, 2003).

Propiedades: Sean $f_1\text{,}{f}_2:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ y $\textcolor{red}{}x\in \left[a,b\right]$. Las siguientes desigualdades son verdaderas, siempre que las sumas sean posible

1. $\textcolor{red}{}\overline{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}\le \overline{\mathit{\text{D}}}{f}_1\left(x\right)+\overline{\mathit{\text{D}}}{f}_2\left(x\right)$

2. $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}\ge \underset{‾}{\mathit{\text{D}}}{f}_1\left(x\right)+\underset{‾}{\mathit{\text{D}}}{f}_2\left(x\right)$

3. $\textcolor{red}{}\overline{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}\ge \overline{\mathit{\text{D}}}{f}_1\left(x\right)+\underset{‾}{\mathit{\text{D}}}{f}_2\left(x\right)$

4. $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}\le \underset{‾}{\mathit{\text{D}}}{f}_1\left(x\right)+\overline{\mathit{\text{D}}}{f}_2\left(x\right)$

5. $\textcolor{red}{}\overline{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}\le \overline{\mathit{\text{D}}}{f}_1\left(x\right)-\underset{‾}{\mathit{\text{D}}}{f}_2\left(x\right)$

6. $\textcolor{red}{}\overline{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}\ge \overline{\mathit{\text{D}}}{f}_1\left(x\right)-\overline{\mathit{\text{D}}}{f}_2\left(x\right)\ge \underset{‾}{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}$

7. $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}\ge \underset{‾}{\mathit{\text{D}}}{f}_1\left(x\right)-\overline{\mathit{\text{D}}}{f}_2\left(x\right)$

8. $\textcolor{red}{}\overline{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}\ge \underset{‾}{\mathit{\text{D}}}{f}_1\left(x\right)-\underset{‾}{\mathit{\text{D}}}{f}_2\left(x\right)\ge \underset{‾}{\mathit{\text{D}}}\text{(}{f}_1\left(x\right)-f_2\left(x\right)\text{)}$

Más aún, si $\textcolor{red}{}x<b$, se pueden reemplazar $\textcolor{red}{}\overline{\mathit{\text{D}}}$ y $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}$ por $\textcolor{red}{}{\mathit{\text{D}}}^{+}$ y $\textcolor{red}{}{\mathit{\text{D}}}_{+}$ respectivamente, en todas las desigualdades y; si $\textcolor{red}{}x>a$, se pueden reemplazar $\textcolor{red}{}\overline{\mathit{\text{D}}}$ y $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}$ por $\textcolor{red}{}{\mathit{\text{D}}}^{-}$ y $\textcolor{red}{}{\mathit{\text{D}}}_{-}$, respectivamente en todas las desigualdades.

Todas estas 24 desigualdades se deducen de las 8 desigualdades de los límites inferiores y límites superiores (Natanson, 2016), (Orchinnikov, 2013).

9. Suponga que $\textcolor{red}{}{f}_1-f_2$ es creciente en $\textcolor{red}{}\left[a,b\right]$, entonces

$\textcolor{red}{}\overline{\mathit{\text{D}}}{f}_1\left(x\right)\ge \overline{\mathit{\text{D}}}{f}_2\left(x\right)$ y $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}{f}_1\left(x\right)\ge \underset{‾}{\mathit{\text{D}}}{f}_2\left(x\right)$

para todo $\textcolor{red}{}x\in \left[a,b\right]$.

· Si $\textcolor{red}{}a\le x\le b$, se pueden reemplazar $\textcolor{red}{}\overline{\mathit{\text{D}}}$ y $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}$ por $\textcolor{red}{}{\mathit{\text{D}}}^{-}$ y $\textcolor{red}{}{\mathit{\text{D}}}_{-}$, respectivamente en estas desigualdades.

· Si $\textcolor{red}{}a\le x<b$, se pueden reemplazar $\textcolor{red}{}\overline{\mathit{\text{D}}}$ y $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}$ por $\textcolor{red}{}{\mathit{\text{D}}}^{+}$ y $\textcolor{red}{}{\mathit{\text{D}}}_{+}$, respectivamente en estas desigualdades.

10. Si $\textcolor{red}{}{f}_2$ tiene derivada por la derecha en $\textcolor{red}{}x$, entonces

$\textcolor{red}{}{\mathit{\text{D}}}^{+}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}={\mathit{\text{D}}}^{+}{f}_1\left(x\right)+f_2^{\text{'}}\mathrm{(}x+\mathrm{)}$

$\textcolor{red}{}{\mathit{\text{D}}}_{+}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}={\mathit{\text{D}}}_{+}{f}_1\left(x\right)+f_2^{\text{'}}\text{(}x+)$

11. Si $\textcolor{red}{}{f}_2$ tiene derivada por la izquierda en $\textcolor{red}{}x$, entonces

$\textcolor{red}{}{\mathit{\text{D}}}^{-}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}={\mathit{\text{D}}}^{-}{f}_1\left(x\right)+f_2^{\text{'}}\text{(}x-)$

$\textcolor{red}{}{\mathit{\text{D}}}_{-}\text{(}{f}_1\left(x\right)+f_2\left(x\right)\text{)}={\mathit{\text{D}}}_{-}{f}_1\left(x\right)+f_2^{\text{'}}\text{(}x-)$

Dada una función $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$, se puede definir la función $\textcolor{red}{}g:[-a,-b]\to \boxed{\textcolor{red}{}}$ por $\textcolor{red}{}g\left(x\right)=-f(-x)$. La relación entre las derivadas de $\textcolor{red}{}f\left(x\right)$, $\textcolor{red}{}-f\left(x\right)$, $\textcolor{red}{}f(-x)$ y $\textcolor{red}{}-f(-x)$ son las siguientes

i. $\textcolor{red}{}{\mathit{\text{D}}}^{+}\text{(}-f\left(x\right)\text{)}=-{\mathit{\text{D}}}_{+}f\left(x\right),{\mathit{\text{D}}}_{+}\text{(}-f\left(x\right)\text{)}=-{\mathit{\text{D}}}^{+}f\left(x\right)$

ii. $\textcolor{red}{}{\mathit{\text{D}}}^{+}\text{(}-f\left(x\right)\text{)}=-{\mathit{\text{D}}}_{-}f\left(x\right),{\mathit{\text{D}}}_{+}\text{(}f\mathrm{(}-x\mathrm{))}=-{\mathit{\text{D}}}^{+}f\left(x\right)$

iii. $\textcolor{red}{}{\mathit{\text{D}}}^{+}\text{(}-f\mathrm{(}-x))={\mathit{\text{D}}}^{-}f\left(x\right),{\mathit{\text{D}}}_{+}\text{(}-\mathrm{f(}-x))={\mathit{\text{D}}}_{-}f\left(x\right)$

En las identidades anteriores se pueden intercambiar los signos + y – en la letra D.

También se tiene

iv. $\textcolor{red}{}\bar{D}(-f\left(x\right))=\bar{D}f(-x)=-\underset{‾}{D}f\left(x\right)$

v. $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}\mathrm{(}-f\mathrm{(}-x\mathrm{)}\mathrm{)}=\underset{‾}{\mathit{\text{D}}}f\mathrm{(}-x\mathrm{)}=-\overline{\mathit{\text{D}}}f\left(x\right)$

vi. $\textcolor{red}{}\overline{\mathit{\text{D}}}\mathrm{(}-f\mathrm{(}-x\mathrm{)}\mathrm{)}=\overline{\mathit{\text{D}}}f\left(x\right),\underset{‾}{\mathit{\text{D}}}\mathrm{(}-f\mathrm{(}-x\mathrm{)}\mathrm{)}=\underset{‾}{\mathit{\text{D}}}f\left(x\right)$

Aquí se sobre entiende; por ejemplo, que $\textcolor{red}{}{\mathit{\text{D}}}_{+}\mathrm{(}-f\mathrm{(}-x\mathrm{)}\mathrm{)}$ denota la derivada inferior por la derecha de la función $\textcolor{red}{}g\left(z\right)=-f\mathrm{(}-x\mathrm{)}$ con respecto a $\textcolor{red}{}z$ en el punto $\textcolor{red}{}z=-x$.

Teorema 4: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función y $\textcolor{red}{}x\in \left[a,b\right]$. Si $\textcolor{red}{}\overline{\mathit{\text{D}}}f\left(x_0\right)$ y $\textcolor{red}{}\underset{‾}{\mathit{\text{D}}}f\left(x_0\right)$ son ambos finitos, entonces $\textcolor{red}{}f$ es continua en $\textcolor{red}{}{x}_0$.

Demostración:

Sea $\textcolor{red}{}\mathit{\text{M}}=max\left\{\right|\overline{\mathit{\text{D}}}f\left(x_0\right)|,\mid \underset{‾}{\mathit{\text{D}}}f\left(x_0\right)\mid \}\in \boxed{\textcolor{red}{}}$. Luego por la definición de estas derivadas, existe un $\textcolor{red}{}\epsilon >0$ tal que

$-M\le \frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}\le M$

Para todo $\textcolor{red}{}x\in (x_0-\epsilon ,x_0+\epsilon )\cap \left[a,b\right]$, $\textcolor{red}{}x\ne x_0$. Por lo tanto

$\textcolor{red}{}\left|\frac{f\left(x\right)-f\left(x_0\right)}{x-x_0}\right|\le M$

y

$\textcolor{red}{}|f\left(x\right)-f\left(x_0\right)|\le M|x-x_0|$

para todo $x\in (x_0-\epsilon ,x_0+\epsilon )\cap \left[a,b\right]$. Esto implica que $\textcolor{red}{}f$ es continua en $\textcolor{red}{}{x}_0$.

Teorema 5: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función continua. Entonces $\textcolor{red}{}f$ es creciente en$\textcolor{red}{}\left[a,b\right]$ si y solo si $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x\right)\ge 0$ para todo $\textcolor{red}{}x\in \left(a,b\right)$.

Demostración:

Suponga que $\textcolor{red}{}f$ es creciente en $\textcolor{red}{}\left[a,b\right]$, entonces el cociente

$\textcolor{red}{}\frac{f\left(y\right)-f\left(x\right)}{y-x}\ge 0$

para todo $\textcolor{red}{}x,y\in \left[a,b\right]$. Por lo tanto, $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x\right)\ge 0$ para todo $\textcolor{red}{}x\in \left(a,b\right)$.

Suponga que $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x\right)>0$ para todo $\textcolor{red}{}x\in \left(a,b\right)$. Suponga que existen $\textcolor{red}{}{z}_1,z_2\in \left(a,b\right)$ tal que $\textcolor{red}{}{z}_1<z_2$ y $\textcolor{red}{}f\left(z_1\right)>f\left(z_2\right)$, entonces existe un $\textcolor{red}{}\mathrm{\alpha }$ con $\textcolor{red}{}f\left(z_1\right)>\mathrm{\alpha }>f\left(z_2\right)$ y algunos puntos $\textcolor{red}{}t\in \left(z_1,z_2\right)$ tal que $\textcolor{red}{}f\left(t\right)>\mathrm{\alpha }$ (ya que $\textcolor{red}{}f$ es continua en $\textcolor{red}{}\left[z_1,z_2\right]$). Sea

$\textcolor{red}{}\epsilon =sup\{t\in \left(z_1,z_2\right):f\left(t\right)>\mathrm{\alpha \}}$

Obviamente, $\textcolor{red}{}\epsilon \in \left(z_1,z_2\right)$ y, por la continuidad de $\textcolor{red}{}f$, se tiene que $\textcolor{red}{}f\left(\epsilon \right)=\mathrm{\alpha }$. Luego, para todo $\textcolor{red}{}t\in \left(\epsilon ,z_2\right)$, se tiene que

$\textcolor{red}{}\frac{f\left(t\right)-f\left(\epsilon \right)}{t-\epsilon }=\frac{f\left(t\right)-f\left(\mathrm{\alpha }\right)}{t-\epsilon }\le 0$

Por lo tanto, $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(\epsilon \right)\le 0$, lo que es una contradicción. Por consiguiente $\textcolor{red}{}f$ es creciente en $\textcolor{red}{}\left[a,b\right]$.

Suponga ahora que $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x\right)\ge 0$ para todo $\textcolor{red}{}x\in \left(a,b\right)$ y sea $\textcolor{red}{}\epsilon >0$ .

Entonces

$\textcolor{red}{}{\mathit{\text{D}}}^{+}\text{(}f\left(x\right)+\epsilon \mathrm{x)}={\mathit{\text{D}}}^{+}f\left(x\right)+\epsilon \ge \epsilon >0$

Para todo $\textcolor{red}{}x\in \left(a,b\right)$. Luego, por lo probado anteriormente, se tiene que $\textcolor{red}{}f\left(x\right)+\epsilon x$ es creciente en$\textcolor{red}{}\left[a,b\right]$ para todo $\textcolor{red}{}\epsilon >0$. Esto implica que $\textcolor{red}{}f$ es creciente en $\textcolor{red}{}\left[a,b\right]$.

Observación:

1. Como $\textcolor{red}{}{\mathit{\text{D}}}_{+}f\left(x\right)\le {\mathit{\text{D}}}^{+}f\left(x\right)$ el teorema anterior es verdadero si $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x\right)\ge 0$ se reemplaza por $\textcolor{red}{}{\text{D}}_{+}f\left(x\right)\ge 0$.

2. El teorema anterior sigue siendo verdadero si se reemplaza la desigualdad $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x\right)\ge 0$ por $\textcolor{red}{}{\mathit{\text{D}}}^{-}f\left(x\right)\ge 0$. Solo es necesario tomar

$\textcolor{red}{}\epsilon =inf\{t\in \left(z_1,z_2\right):f\left(t\right)<\mathrm{\alpha \}}$

3. En la modificación dada en (2) también se puede reemplazar $\textcolor{red}{}{\mathit{\text{D}}}^{-}f\left(x\right)\ge 0$ por $\textcolor{red}{}{\mathit{\text{D}}}_{-}f\left(x\right)>0$. Como una consecuencia se obtiene el siguiente resultado.

Teorema 6: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función continua. Entonces, $\textcolor{red}{}f$ es creciente (decreciente) en$\textcolor{red}{}\left[a,b\right]$ si y solo si cualquiera de las cuatro derivadas de Dini de $\textcolor{red}{}f$ es no negativa (respectivamente no positivo) en$\textcolor{red}{}\left(a,b\right)$.

Corolario 1: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función continua. Si una de las cuatro derivadas de Dini de $\textcolor{red}{}f$ es mayor o igual a cero en $\textcolor{red}{}\left(a,b\right)$, entonces lo mismo es cierto para las otras tres derivadas de Dini de $\textcolor{red}{}f$ en $\textcolor{red}{}\left(a,b\right)$.

Teorema 7: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función continua y $\textcolor{red}{}k>0$. Si $\textcolor{red}{}{\mathit{\text{D}}}^{*}f\left(x\right)\ge -k$ para todo $\textcolor{red}{}x\in \left(a,b\right)$, entonces

$\textcolor{red}{}\frac{f\left(b\right)-f\left(a\right)}{b-a}\ge -k$

Donde $\textcolor{red}{}{\mathit{\text{D}}}^{*}f\left(x\right)$ representa cualquiera de las cuatro derivadas de Dini de$\textcolor{red}{}f$ .

Demostración:

Como $\textcolor{red}{}{\mathit{\text{D}}}^{*}f\left(x\right)\ge -k$ para todo $\textcolor{red}{}x\in \left(a,b\right)$, de las propiedades de las derivadas de Dini se tiene que

$\textcolor{red}{}{\mathit{\text{D}}}^{*}\text{(}f\left(x\right)+kx\mathrm{)}\ge 0$ para todo $\textcolor{red}{}x\in \left(a,b\right)$

Luego, por el Teorema 6, la función $\textcolor{red}{}f\left(x\right)+kx$ es creciente en $\textcolor{red}{}\left[a,b\right]$. Por lo tanto

$\textcolor{red}{}f\left(b\right)+kb\ge f\left(a\right)+ka$

De donde

$\textcolor{red}{}\frac{f\left(b\right)-f\left(a\right)}{b-a}\ge -k$

Observación: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función creciente (decreciente) y defina la función $\textcolor{red}{}g:[-a,-b]\to \boxed{\textcolor{red}{}}$ por $\textcolor{red}{}g\left(x\right)=f\mathrm{(}-x\mathrm{)}$ . Entonces $\textcolor{red}{}g$ es una función creciente (respectivamente decreciente).

Además, por las propiedades de las derivadas de Dini, se tienen que

$\textcolor{red}{}{\mathit{\text{D}}}_{-}g\left(x\right)={\mathit{\text{D}}}_{+}f(-x)$ y $\textcolor{red}{}{\mathit{\text{D}}}^{+}g\left(x\right)={\mathit{\text{D}}}^{-}f\mathrm{(}-x\mathrm{)}$

para todo $\textcolor{red}{}x\in [-b,-a]$.

Teorema 8: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función monótona y continua. Entonces $\textcolor{red}{}{\text{D}}^{+}f\left(x\right)\le {\text{D}}_{-}f\left(x\right)$ c.t.p en $\textcolor{red}{}\left[a,b\right]$; es decir, $\textcolor{red}{}\text{{}x\in \left(a,b\right):{\mathit{\text{D}}}_{-}f\left(x\right)<{\mathit{\text{D}}}^{+}f\left(x\right)\text{}}$ es un conjunto de medida cero.

Demostración:

Sin pérdida de generalidad se puede suponer que $\textcolor{red}{}f$ es creciente (si $\textcolor{red}{}f$ es decreciente, tome $\textcolor{red}{}-f$ en la demostración). Las cuatro derivadas de Dini de $\textcolor{red}{}f$ son no negativas en $\textcolor{red}{}\left(a,b\right)$. Sean $\textcolor{red}{}0<r<R$ y considere el conjunto

$\textcolor{red}{}{\mathit{\text{V}}}_r^{\mathit{\text{R}}}=\{x\in \left(a,b\right):{\mathit{\text{D}}}_{-}f\left(x\right)<r<R<{\mathit{\text{D}}}^{+}f\left(x\right)\text{}}$

$\textcolor{red}{}{\mathit{\text{V}}}_r^{\mathit{\text{R}}}$ puede ser cubierto por una sucesión$\textcolor{red}{}\text{{(}{a}_{n,k},b_{n,k}\text{)}{\text{}}}_{n=1}^{\mathrm{\infty }}$ de intervalos abiertos disjuntos dos a dos $\textcolor{red}{}\left(a_n,b_n\right)\subset \left(a,b\right)$, tal que

$\textcolor{red}{}\sum _{n=1}^{\mathrm{\infty }}\text{(}{b}_n-a_n\text{)}\le \frac{r}{\mathit{\text{R}}}\text{(}b-\mathrm{a)}$

(Van Rooij,1982). Aplicando este resultado a la restricción de $\textcolor{red}{}f$ en el intervalo $\textcolor{red}{}\left[a_n,b_n\right]$, se puede afirmar que el conjunto $\textcolor{red}{}{\mathit{\text{V}}}_r^{\mathit{\text{R}}}\cap \left(a_n,b_n\right)$ se puede cubrir por una sucesión $\textcolor{red}{}\text{{}\left(a_{n,k},b_{n,k}\right){\text{}}}_{n=1}^{\mathrm{\infty }}$ de intervalos abiertos disjuntos dos a dos, $\textcolor{red}{}\left(a_{n,k},b_{n,k}\right)\subset \left(a_n,b_n\right)$, tal que

$\textcolor{red}{}\sum _{k=1}^{\mathrm{\infty }}\text{(}{b}_n-a_n\text{)}\le \frac{r}{\mathit{\text{R}}}\text{(}{b}_n-a_n\text{)}$

Por consiguiente,

$\textcolor{red}{}\sum _{n=1}^{\infty }\sum _{k=1}^{\infty }\text{(}{b}_{n,k}-a_{n,k}\text{)}\le \sum _{n=1}^{\infty }\frac{r}{\mathit{\text{R}}}\text{(}{b}_n-a_n\text{)}=\frac{r}{\mathit{\text{R}}}\sum _{n=1}^{\infty }\text{(}{b}_n-a_n\text{)}\le \frac{r^2}{{\mathit{\text{R}}}^2}\mathrm{(}b-a\mathrm{)}$

Así, siguiendo este proceso inductivo, se puede cubrir el conjunto $\textcolor{red}{}{\mathit{\text{V}}}_r^{\mathit{\text{R}}}$ por una sucesión de intervalos abiertos disjuntos dos a dos, cuya longitud total es menor o igual que $\textcolor{red}{}{\left(\frac{r}{\mathit{\text{R}}}\right)}^n\text{(}b-\mathrm{a)}$, para todo número natural $\textcolor{red}{}n$. Esto implica que $\textcolor{red}{}{\mathit{\text{V}}}_r^{\mathit{\text{R}}}$ es un conjunto de medida nula, ya que $\textcolor{red}{}\underset{n\to \mathrm{\infty }}{\lim }{\left(\frac{r}{\mathit{\text{R}}}\right)}^n=0$.

Por otro lado, como

$\textcolor{red}{}\text{{}x\in \left(a,b\right):{\mathit{\text{D}}}_{-}f\left(x\right)<{\mathit{\text{D}}}^{+}f\left(x\right)\text{}}=\cup \{{\mathit{\text{V}}}_r^{\mathit{\text{R}}}:r\mathit{,R}\in {\boxed{\textcolor{red}{}}}^{+},r\mathit{<R}\text{}}$

Y la unión enumerable de conjuntos de medida cero es un conjunto de medida cero, se tiene que el conjunto $\textcolor{red}{}\text{{}x\in \left(a,b\right):{\text{D}}_{-}f\left(x\right)<{\text{D}}^{+}f\left(x\right)\text{}}$ es de medida cero.

Teorema 9: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función monótona continua. Entonces, $\textcolor{red}{}{\mathit{\text{D}}}^{-}f\left(x\right)\le {\mathit{\text{D}}}_{+}f\left(x\right)$ c.t.p en $\textcolor{red}{}\left[a,b\right]$ y, por lo tanto, las cuatro derivadas de Dini de $\textcolor{red}{}f$ son iguales c.t.p en $\textcolor{red}{}\left[a,b\right]$.

Demostración:

Sin pérdida de generalidad se supondrá que $\textcolor{red}{}f$ es creciente. Defina la función $\textcolor{red}{}g:[-b,-a]\to \boxed{\textcolor{red}{}}$ por $\textcolor{red}{}g\left(x\right)=f\mathrm{(}-x\mathrm{)}$. Entonces $\textcolor{red}{}g$ es una función creciente y por las propiedades de las derivadas de Dini, se tiene que

$\textcolor{red}{}{\mathit{\text{D}}}_{-}g(-x)={\mathit{\text{D}}}_{+}f\left(x\right)$ y $\textcolor{red}{}{\mathit{\text{D}}}^{+}g(-x)={\mathit{\text{D}}}^{-}f\left(x\right)$

Además, por el Teorema 8, $\textcolor{red}{}{\mathit{\text{D}}}^{+}g\mathrm{(}-x\mathrm{)}\le {\mathit{\text{D}}}_{-}g\mathrm{(}-x\mathrm{)}$ c.t.p en $\textcolor{red}{}\left[a,b\right]$. Luego,

$\textcolor{red}{}{\mathit{\text{D}}}^{-}f\left(x\right)={\mathit{\text{D}}}^{+}g\mathrm{(}-x\mathrm{)}\le {\mathit{\text{D}}}_{-}g\mathrm{(}-x\mathrm{)}={\mathit{\text{D}}}_{+}f\left(x\right)$ c.t.p en$\textcolor{red}{}\left[a,b\right]$.

Así pues

$\textcolor{red}{}{\mathit{\text{D}}}^{-}f\left(x\right)\le {\mathit{\text{D}}}_{+}f\left(x\right)$ c.t.p en$\textcolor{red}{}\left[a,b\right]$.

Nuevamente, por las propiedades de las derivadas de Dini y el Teorema 8, se tiene que

$\textcolor{red}{}{\mathit{\text{D}}}_{-}f\left(x\right)={\mathit{\text{D}}}^{-}f\left(x\right)={\mathit{\text{D}}}_{+}f\left(x\right)={\mathit{\text{D}}}^{+}f\left(x\right)$ c.t.p en $\textcolor{red}{}\left[a,b\right]$.

de donde

$\textcolor{red}{}{\mathit{\text{D}}}_{-}f\left(x\right)={\mathit{\text{D}}}^{-}f\left(x\right)={\mathit{\text{D}}}_{+}f\left(x\right)={\mathit{\text{D}}}^{+}f\left(x\right)$ c.t.p en $\textcolor{red}{}\left[a,b\right]$.

ya que la unión finita de conjuntos de medida cero es un conjunto de medida cero.

En el Teorema 9 no se ha probado que las funciones monótonas y continuas son diferenciables c.t.p en $\textcolor{red}{}\left[a,b\right]$ . Para esta afirmación se necesita el siguiente teorema.

Teorema 10: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función monótona y continua. Entonces

$\textcolor{red}{}A=\{x\in \left(a,b\right):D^{+}f\left(x\right)=\mathrm{\infty \}}$

es un conjunto de medida cero.

Demostración:

Sin pérdida de generalidad se puede suponer que $\textcolor{red}{}f$ es creciente. En efecto, para cada $\textcolor{red}{}n\in \boxed{\textcolor{red}{}}$ defina el conjunto$\textcolor{red}{}A=\{x\in \left(a,b\right):{\mathit{\text{D}}}^{+}f\left(x\right)>n\mathrm{\}}$. Luego, $\textcolor{red}{}A=\underset{n=1}{\overset{\mathrm{\infty }}{\cap }}{\mathit{\text{A}}}_n$ y cada $\textcolor{red}{}{\mathit{\text{A}}}_n$ puede ser cubierto por una sucesión $\textcolor{red}{}\text{{}\left(a_{n,k},b_{n,k}\right){\text{}}}_{k=1}^{\mathrm{\infty }}$ de intervalos abiertos disjuntos dos a dos $\textcolor{red}{}\left(a_{n,k},b_{n,k}\right)\subset \left(a,b\right)$ de longitud total $\textcolor{red}{}\sum _{k=1}^{\infty }\text{(}{b}_{n,k}-a_{n,k}\mathrm{)}\le \frac{1}{n}\mathrm{(}f\left(b\right)-f\left(a\right)\mathrm{)}$ (Van Rooij, 1982). Luego, como $\textcolor{red}{}\underset{n\to \mathrm{\infty }}{\lim }\frac{1}{n}\mathrm{(}f\left(b\right)-f\left(a\right)\mathrm{)}=0$ se tiene que $\textcolor{red}{}m\left(\mathit{\text{A}}\right)=0$. Así,

$\textcolor{red}{}0\le {\mathit{\text{D}}}^{+}f\left(x\right)<\mathrm{\infty }$, c.t.p en $\textcolor{red}{}\left[a,b\right]$.

Teorema 11: Sea $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ una función monótona y continua entonces $\textcolor{red}{}f$ es derivable c.t.p en $\textcolor{red}{}\left[a,b\right]$.

Demostración:

Por los Teoremas 9 y 10, las cuatro derivadas de Dini son iguales y diferentes de $\textcolor{red}{}\pm \mathrm{\infty }$ c.t.p en $\textcolor{red}{}\left[a,b\right]$.

Esto implica que $\textcolor{red}{}f$ es derivable c.t.p en $\textcolor{red}{}\left[a,b\right]$.

EL TEOREMA FUNDAMENTAL DEL CÁLCULO

En esta sección se probará que una función se puede recobrar como una integral indefinida de una de las derivadas de Dini.

Teorema 12: Sea $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ una función continua tal que $\textcolor{red}{}\mid {\mathit{\text{D}}}^{+}f\left(x\right)\mid <\mathrm{\infty }$ para todo $\textcolor{red}{}x\in \boxed{\textcolor{red}{}}$.

Entonces

$\textcolor{red}{}{⨜}_a^b{\mathit{\text{D}}}^{+}f\left(x\right)dx\le f\left(b\right)-f\left(a\right)\le {⨛}_a^b{\mathit{\text{D}}}^{+}f\left(x\right)dx$

para cada intervalo $\textcolor{red}{}\left[a,b\right]$ de $\textcolor{red}{}\boxed{\textcolor{red}{}}$ , donde las integrales son las integrales inferiores y superiores, respectivamente, de Riemann.

Demostración:

Sea $\textcolor{red}{}\mathit{\text{P}}=\left\{x_0,x_1,x_2,\cdots ,x_n\right\}$ una partición del intervalo $\textcolor{red}{}\left[a,b\right]$ y sea $\textcolor{red}{}{\mathit{\text{I}}}_i=\left[x_{i-1},x_i\right],i=1,2,\cdots ,n$.

Denote

$\textcolor{red}{}{m}_i=inf\{{\mathit{\text{D}}}^{+}f\left(x\right):x\in {\mathit{\text{I}}}_i\text{}}$ y $\textcolor{red}{}{\mathit{\text{M}}}_i=sup\{{\mathit{\text{D}}}^{+}f\left(x\right):x\in {\mathit{\text{I}}}_i\text{}}$

entonces $\textcolor{red}{}{m}_i\le {\mathit{\text{D}}}^{+}f\left(x\right)\le M_i$, para todo $\textcolor{red}{}x\in {\mathit{\text{I}}}_i$. Tome

$\textcolor{red}{}{g}_i\left(x\right)=f\left(x\right)-m_{i}x$ y $\textcolor{red}{}{h}_i\left(x\right)=f\left(x\right)-M_{i}x$

Por las propiedades de las derivadas de Dini se tiene que

$\textcolor{red}{}{D}^{+}{g}_i\left(x\right)=D^{+}f\left(x\right)-m_i\ge 0$ y $\textcolor{red}{}{D}^{+}{h}_i\left(x\right)=D^{+}f\left(x\right)-M_i\le 0$

para todo $\textcolor{red}{}x\in \left(x_{i-1},x_i\right)$. Luego, por el Teorema 6, la función $\textcolor{red}{}{g}_i$ es creciente en $\textcolor{red}{}{\mathit{\text{I}}}_i$ y la función $\textcolor{red}{}{h}_i$ es decreciente en $\textcolor{red}{}{\mathit{\text{I}}}_i$. Esto implica que

$\textcolor{red}{}f\left(x_{i-1}\right)-m_i{x}_{i-1}\le f\left(x_i\right)-m_i{x}_i$ y $\textcolor{red}{}f\left(x_{i-1}\right)-M_i{x}_{i-1}\ge f\left(x_i\right)-M_i{x}_i$

De donde

$\textcolor{red}{}{m}_i\le \frac{f\left(x_i\right)-f\left(x_{i-1}\right)}{x_i-x_{i-1}}\le M_i$

Para todo $\textcolor{red}{}i=1,2,\cdots ,n$. Esto implica que

$\textcolor{red}{}L\mathrm{(}{D}^{+}f,P\mathrm{)}=\sum _{i=1}^n{m}_i\left(x_i,x_{i-1}\right)\le \sum _{i=1}^n\mathrm{(}f\left(x_i\right)-f\left(x_{i-1}\right)\mathrm{)}\le \sum _{i=1}^n{M}_i\left(x_i,x_{i-1}\right)$

Por consiguiente

$\textcolor{red}{}⨜D^{+}f\left(x\right)dx\le f\left(b\right)-f\left(a\right)\le ⨛D^{+}f\left(x\right)dx$

Corolario 2: Sea $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ una función continua. Si $\textcolor{red}{}{\mathit{\text{D}}}^{+}f\left(x\right)$ es Riemann integrable en todo intervalo$\textcolor{red}{}\left[a,b\right]$ de $\textcolor{red}{}\boxed{\textcolor{red}{}}$, entonces

$\textcolor{red}{}{\int }_a^b{D}^{+}f\left(x\right)dx=f\left(b\right)-f\left(a\right)$

Teorema 13: Sean $\textcolor{red}{}f,g:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$ funciones continuas tales que $\left|D^{+}f\left(x\right)\right|<\mathrm{\infty }$ y $\left|D^{+}g\left(x\right)\right|<\mathrm{\infty }$ para todo $\textcolor{red}{}x\in \boxed{\textcolor{red}{}}$. Si $\textcolor{red}{}{D}^{+}f\left(x\right)=D^{+}g\left(x\right)$ para todo $\textcolor{red}{}x\in \boxed{\textcolor{red}{}}$, entonces existe una constante $\textcolor{red}{}C$ tal que $\textcolor{red}{}f\left(x\right)=g\left(x\right)+C$, para todo $\textcolor{red}{}x\in \boxed{\textcolor{red}{}}$.

Demostración:

Por las propiedades de las derivadas de Dini, se tiene que

$\textcolor{red}{}0=D^{+}f\left(x\right)-D^{+}g\left(x\right)\le D^{+}(f\left(x\right)-g\left(x\right))=D^{+}\left(\right(f-g\left)\left(x\right)\right)$

$\textcolor{red}{}0=D^{+}g\left(x\right)-D^{+}f\left(x\right)\le D^{+}(g\left(x\right)-f\left(x\right))=D^{+}\left(\right(g-f\left)\left(x\right)\right)$

para todo $\textcolor{red}{}x\in \boxed{\textcolor{red}{}}$. Luego, por el Teorema 6, las funciones $\textcolor{red}{}f-g$ y $\textcolor{red}{}g-f$ son crecientes en $\textcolor{red}{}\boxed{\textcolor{red}{}}$, lo que implica que $\textcolor{red}{}f-g$ es una función constante. Por consiguiente, existe una constante $\textcolor{red}{}C$ tal que $\textcolor{red}{}f\left(x\right)=g\left(x\right)+C$ para todo $\textcolor{red}{}x\in \boxed{\textcolor{red}{}}$.

CONCLUSIONES

1. Las cuatro derivadas de Dini de una función existen en $\textcolor{red}{}\boxed{\textcolor{red}{}}*=\boxed{\textcolor{red}{}}\cup \{-\mathrm{\infty },\mathrm{\infty }\}$, sin embargo, ellas pueden ser iguales en un punto sin que la función sea diferenciable en ese punto. Tome por ejemplo la función $\textcolor{red}{}f\left(x\right)=x^{\frac{1}{3}}$ y $x_0=0$.

2. Una función $\textcolor{red}{}f$ es diferenciable en $\textcolor{red}{}{x}_0$ si las cuatro derivadas de Dini de $\textcolor{red}{}f$ en $\textcolor{red}{}{x}_0$ son iguales y finitas.

3. Dada una función monótona $\textcolor{red}{}f:\boxed{\textcolor{red}{}}\to \boxed{\textcolor{red}{}}$, entonces el conjunto Dis $\left(f\right)=\{x\in \boxed{\textcolor{red}{}}:f$ es discontinua en $\textcolor{red}{}\boxed{\textcolor{red}{}}\}$ es a lo sumo enumerable, sin embargo Ndif $\textcolor{red}{}\left(f\right)=\{x\in \boxed{\textcolor{red}{}}:f$ no es diferenciable en $\textcolor{red}{}\boxed{\textcolor{red}{}}\}$ es un conjunto de medida cero. (Kharazishvily, 2018)

4. Una función continua $\textcolor{red}{}f:\left[a,b\right]\to \boxed{\textcolor{red}{}}$ es creciente (decreciente) en $\textcolor{red}{}\left[a,b\right]$ si y solo si cualquiera de las cuatro derivadas de Dini es no negativa (respectivamente no positiva) en$\textcolor{red}{}\left(a,b\right)$.