Ver el código de «Derivada»

[[Archivo:Recta tangente y derivada.svg|miniaturadeimagen|300x300px|La derivada de la función en el punto marcado es equivalente a la pendiente de la recta tangente.]]
En [[cálculo diferencial]] y [[análisis matemático]], la '''derivada''' de una [[función (matemática)|función]] es la razón de cambio instantánea con la que varía el valor de dicha función matemática, según se modifique el valor de su [[variable independiente]]. La derivada de una función es un concepto local, es decir, se calcula como el [[límite (matemática)|límite]] de la rapidez de cambio media de la función en cierto intervalo, cuando el intervalo considerado para la variable independiente se torna cada vez más pequeño.<ref>{{cita web|título=derivada|url=https://dle.rae.es/derivado|obra=RAE}}</ref> Por eso se habla del valor de la derivada de una función ''en un punto dado''.

Un ejemplo habitual aparece al estudiar el [[movimiento (física)|movimiento]]: si una función representa la [[posición]] de un objeto con respecto al [[tiempo]], su derivada es la [[velocidad]] de dicho objeto para todos los momentos. Un avión que realice un vuelo transatlántico de 4500&nbsp;km entre las 12:00 y las 18:00, viaja a una [[velocidad media]] de 750&nbsp;[[Kilómetro por hora|km/h]]. Sin embargo, puede estar viajando a velocidades mayores o menores en distintos tramos de la ruta. En particular, si entre las 15:00 y las 15:30 recorre 400&nbsp;km, su velocidad media en ese tramo es de 800&nbsp;km/h. Para conocer su [[velocidad instantánea]] a las 15:20, por ejemplo, es necesario calcular la velocidad media en intervalos de tiempo cada vez menores alrededor de esta hora: entre las 15:15 y las 15:25, entre las 15:19 y las 15:21.

Entonces el valor de la derivada de una función en un punto puede interpretarse geométricamente, ya que se corresponde con la [[pendiente de una recta|pendiente]] de la [[recta tangente]] a la [[gráfica]] de la función en dicho punto. La recta tangente es, a su vez, la gráfica de la mejor [[aproximación lineal]] de la función alrededor de dicho punto. La noción de derivada puede generalizarse para el caso de funciones de más de una variable con la [[derivada parcial]] y el [[diferencial de una función|diferencial]].

== Historia de la derivada ==

Los problemas típicos que dieron origen al [[cálculo infinitesimal]] comenzaron a plantearse en la época clásica de la [[antigua Grecia]] ({{siglo|III|a|s}}), pero no se encontraron métodos sistemáticos de resolución hasta diecinueve siglos después (en el {{siglo|XVII||s}} por obra de [[Isaac Newton]] y [[Gottfried Leibniz]]).

En lo que atañe a las derivadas existen dos conceptos de tipo geométrico que le dieron origen:
* El [[Problema de Apolonio|problema de la tangente a una curva]] ([[Apolonio de Perge]])
* El [[Teorema de Fermat (análisis)|Teorema de los extremos]]: máximos y mínimos ([[Pierre de Fermat]])

En su conjunto dieron origen a lo que actualmente se conoce como [[cálculo diferencial]].

=== {{Siglo|XVII||S}} ===

Los matemáticos perdieron el miedo que los griegos les habían tenido a los infinitesimales: [[Johannes Kepler]] y [[Bonaventura Cavalieri]] fueron los primeros en usarlos, empezaron a andar un camino que llevaría en medio siglo al descubrimiento del cálculo infinitesimal.

A mediados del {{siglo|XVII||s}} las cantidades infinitesimales fueron cada vez más usadas para resolver problemas de cálculos de tangentes, áreas, volúmenes; los primeros darían origen al cálculo diferencial, los otros al integral.

=== Newton y Leibniz ===
{{AP|Isaac Newton|Gottfried Leibniz}}

A finales del {{siglo|XVII||s}} se sintetizaron en dos conceptos los algoritmos usados por sus predecesores, en lo que hoy llamamos «derivada» e «integral». La historia de la matemática reconoce que Isaac Newton y Gottfried Leibniz son los creadores del cálculo diferencial e integral. Ellos desarrollaron reglas para manipular las derivadas (reglas de derivación) e [[Isaac Barrow]] demostró que la derivación y la [[integración]] son operaciones inversas.

Newton desarrolló en Cambridge su propio método para el cálculo de tangentes. En 1665 encontró un algoritmo para derivar funciones algebraicas que coincidía con el descubierto por Fermat. A finales de 1665 se dedicó a reestructurar las bases de su cálculo, intentando desligarse de los infinitesimales, e introdujo el concepto de fluxión, que para él era la velocidad con la que una variable «fluye» (varía) con el tiempo.

[[Gottfried Leibniz]], por su parte, formuló y desarrolló el cálculo diferencial en 1675. Fue el primero en publicar los mismos resultados que [[Isaac Newton]] descubriera 10 años antes, de manera independiente. En su investigación conservó un carácter geométrico y trató a la derivada como un cociente incremental y no como una velocidad, viendo el sentido de su correspondencia con la pendiente de la recta tangente a la curva en dicho punto.

Leibniz es el inventor de diversos símbolos matemáticos. A él se deben los nombres de: [[cálculo diferencial]] y [[cálculo integral]], así como los símbolos de derivada <math>\textstyle\frac {\mathrm dy}{\mathrm dx}</math> y el [[Signo de integración|símbolo de la integral]] ∫.

== Conceptos y aplicaciones ==

El concepto de derivada es uno de los conceptos básicos del [[análisis matemático]]. Los otros son los de integral definida e indefinida, sucesión; sobre todo, el concepto de límite. Este es usado para la definición de cualquier tipo de derivada y para la integral de Riemann, sucesión convergente y suma de una serie y la continuidad. Por su importancia, hay un antes y un después de tal concepto que biseca las [[matemáticas]] previas, como el [[álgebra]], la [[trigonometría]] o la [[geometría analítica]], del [[cálculo]]. Según [[Albert Einstein]], el mayor aporte que se obtuvo de la derivadas fue la posibilidad de formular diversos problemas de la física mediante ecuaciones diferenciales {{Cita requerida}}.

La derivada es un concepto que tiene variadas aplicaciones. Se aplica en aquellos casos donde es necesario medir la rapidez con que se produce el cambio de una [[magnitud (matemática)|magnitud]] o situación. Es una herramienta de cálculo fundamental en los estudios de [[Física]], [[Química]] y [[Biología]], o en ciencias sociales como la [[Economía]] y la [[Sociología]]. Por ejemplo, cuando se refiere a la [[Gráfica de una función|gráfica]] de dos dimensiones de <math>f</math>, se considera la derivada como la pendiente de la recta [[Tangente (geometría)|tangente]] del gráfico en el punto <math>x</math>. Se puede aproximar la pendiente de esta tangente como el [[límite (matemática)|límite]] cuando la distancia entre los dos puntos que determinan una recta [[secante]] tiende a cero, es decir, se transforma la recta secante en una recta tangente. Con esta interpretación, pueden determinarse muchas propiedades geométricas de los gráficos de funciones, tales como [[Función monótona|monotonía de una función]] (si es creciente o decreciente) y la [[concavidad]] o [[convexidad]].

Algunas funciones no tienen derivada en todos o en alguno de sus puntos. Por ejemplo, una función no tiene derivada en los puntos en que se tiene una tangente vertical, una [[Función discontinua|discontinuidad]] o un [[punto anguloso]]. Afortunadamente, gran cantidad de las funciones que se consideran en las aplicaciones prácticas son continuas y su gráfica es una [[curva#Curva suave|curva suave]], por lo que es susceptible de derivación.

Las funciones que son diferenciables (derivables si se habla en una sola variable), son [[Aproximación lineal|aproximables linealmente]].

== Definiciones de derivada ==

=== Derivada en un punto a partir de cocientes diferenciales ===
[[Archivo:Derivative.svg|thumb|right|Recta secante entre ''f''(''x'') y ''f''(''x''+''h'')]]

La derivada de una función <math>f\,</math> en el punto <math>a</math> es la [[Pendiente (matemática)|pendiente]] de la [[Tangente (geometría)|recta tangente]] a la gráfica de <math>f\,</math> en el punto <math>a\,</math>. El valor de esta pendiente será aproximadamente igual a la pendiente de una [[recta secante]] a la gráfica que pase por el punto <math>(a,f(a))</math> y por un punto cercano <math>(x,f(x))</math>; por conveniencia suele expresarse <math>x=a+h</math>, donde <math>h</math> es un número cercano a 0. A partir de estos dos puntos se calcula la pendiente de la recta secante como

:<math>\frac{f(x)-f(a)}{x-a} = \frac{f(a+h)-f(a)}{h}.</math>

(Esta expresión se denomina «cociente diferencial» o «cociente de [[Isaac Newton|Newton]]».<ref>Serge Lang: ''Introducción al análisis matemático'', pág. 55, ISBN 0-201-62907-0</ref>) A medida que el número <math>h</math> se acerca a cero, el valor de esta pendiente se aproximará mejor al de la recta tangente. Esto permite definir la '''derivada''' de la función <math>f</math> en el punto <math>a</math>, denotada como <math>f'(a)</math>, como el [[Límite de una función|límite]] de estos cocientes cuando <math>h</math> tiende a cero:

:<math>f'(a) = \lim_{h\to 0}\frac{f(a + h) - f(a)}{h} </math>.

No obstante, esta definición sólo es válida cuando el límite es un [[número real]]: en los puntos <math>a</math> donde el límite no existe, la función <math>f</math> no tiene derivada.

[[Archivo:Secante-calculo.gif|thumb|260px|Inclinación de la secante de la curva ''y''=''f''(''x'')]]

=== Derivada de una función ===

[[File:What is derivative (animation).gif|thumb|Una animación que da una idea intuitiva de la derivada, ya que el «''swing''» de una función cambia cuando cambia el argumento.]]

Dada una función <math>f</math>, se puede definir una nueva función que, en cada punto <math>x</math>, toma el valor de la derivada <math>f'(x)</math>. Esta función se denota <math>f'</math> y se denomina '''función derivada''' de <math>f</math> o simplemente '''derivada''' de <math>f</math>. Esto es, la derivada de <math>f</math> es la función dada por

:<math>f'(x) = \lim_{h\to 0}\frac{f(x + h) - f(x)}{h} </math>.

Esta función sólo está definida en los puntos del [[Dominio de una función|dominio]] de <math>f</math> donde el límite existe; en otras palabras, el dominio de <math>f'</math> está contenido en el de <math>f</math>.

==== Ejemplos ====
Considere la [[función cuadrática]] <math>f(x)=x^2</math> definida para todo <math>x\in\mathbb{R}</math>. Se trata de calcular la derivada de esta función aplicando la definición

:<math>
\begin{align}
    f'(x)
    &=\lim_{h\to0}\frac{(x+h)^2-x^2}{h} \\
    &=\lim_{h\to0}\frac{x^2+2xh+h^2-x^2}{h} \\
    &=\lim_{h\to0}\frac{2xh+h^2}{h} \\
    &=\lim_{h\to0}(2x+h) \\ 
    &=2x.
\end{align} 
</math>
:Para el caso general <math>g(x)=x^n</math> tendríamos
:<math>g'(x)=\lim_{h\to0}\frac{(x+h)^n-x^n}{h}</math>
:Teniendo en cuenta el [[teorema del binomio]];
:<math>(x+h)^n=\sum_{k=0}^n\binom{n}{k}x^{n-k}h^k=
\binom{n}{0}x^n+\binom{n}{1}x^{n-1}h+\binom{n}{2}x^{n-2}h^{2}+\cdots+\binom{n}{n-1}xh^{n-1}+\binom{n}{n}h^n</math>
:Tenemos;
:<math>\begin{align}
 g'(x)
&=\lim_{h\to0}\frac{\binom{n}{0}x^n+\binom{n}{1}x^{n-1}h+\binom{n}{2}x^{n-2}h^{2}+\cdots+\binom{n}{n-1}xh^{n-1}+\binom{n}{n}h^n -x^n}{h} \\
&=\lim_{h\to0}\frac{x^n+nx^{n-1}h+\frac{n(n-1)}{2}x^{n-2}h^{2}+\cdots+nxh^{n-1}+h^n-x^n}{h} \\
&=\lim_{h\to0}\frac{x^n+h(nx^{n-1}+\frac{n(n-1)}{2}x^{n-2}h+\cdots+nxh^{n-2}+h^{n-1})-x^n}{h} \\
&=\lim_{h\to0}nx^{n-1}+\frac{n(n-1)}{2}x^{n-2}h+\cdots+nxh^{n-2}+h^{n-1}=nx^{n-1}
\end{align}</math>

== Continuidad y diferenciabilidad ==
{{AP|Función continua}}
=== La continuidad es necesaria ===
Para que una función sea derivable en un punto es necesario que también sea [[Función continua|continua]] en ese punto: intuitivamente, si la gráfica de una función está «rota» en un punto, no hay una manera clara de trazar una recta tangente a la gráfica. Más precisamente, esto se debe a que, si una función <math>f</math> no es continua en un punto <math>a</math>, entonces la diferencia entre el valor <math>f(a)</math> y el valor en un punto cercano <math>f(a+h)</math> no va a tender a 0 a medida que la distancia <math>h</math> entre los dos puntos tiende a 0; de hecho, el límite <math>\lim_{h\to 0}f(a+h)-f(a)</math> no tiene por qué estar bien definido si los dos límites laterales no son iguales. Tanto si este límite no existe como si existe pero es distinto de 0, el cociente diferencial
:<math>\frac{f(a+h)-f(a)}h</math>
no tendrá un límite definido.

[[Archivo:Heaviside.png|thumb|240px|derecha|La [[función de Heaviside]] no es continua en <math>x=0</math>.]]
Como ejemplo de lo que ocurre cuando la función no es continua, se puede considerar la [[función de Heaviside]], definida como
: <math>
f(x) = \left\{
\begin{array}{ll}
1, &\text{si }x\geq 0\\
0, &\text{si }x < 0.
\end{array}
\right.
</math>
Esta función no es continua en <math>x=0</math>: el valor de la función en este punto es 1, pero en todos los puntos a su izquierda la función vale 0. En este caso, el límite por la izquierda de la diferencia <math>\lim_{h\to 0^-}f(0+h)-f(0)</math> es igual a 1, por lo que el cociente diferencial no tendrá un límite bien definido.

=== La continuidad no es suficiente ===
[[Archivo:Absolute value.svg|thumb|240px|derecha|La función [[valor absoluto]] no tiene derivada en el punto <math>x=0</math>.]]
La relación no funciona a la inversa: el que una función sea continua no garantiza su derivabilidad. Es posible que los límites laterales sean iguales pero las derivadas laterales no; en este caso concreto, la función presenta un [[punto anguloso]] en dicho punto.

Un ejemplo es la función [[valor absoluto]] <math>f(x)=|x|</math>, que se define como 
: <math>
   |x| =
   \left\{
   \begin{array}{rl}
       x, &\text{si } x \geq 0 \\
      -x, &\text{si } x < 0.
   \end{array}
   \right.
</math>

Esta función es continua en el punto <math>x=0</math>: en este punto la función toma el valor 0, y para valores de <math>x</math> infinitamente cercanos a 0, tanto positivos como negativos, el valor de la función tiende a 0. Sin embargo, no es derivable: la derivada lateral por la derecha de <math>x=0</math> es igual a 1, mientras que por la izquierda la derivada lateral vale -1. Como las derivadas laterales dan resultados diferentes, no existe derivada en <math>x=0</math>, a pesar de que la función sea continua en dicho punto.

De manera informal, si el gráfico de la función tiene puntas agudas, se interrumpe o tiene saltos, no es derivable. Sin embargo, la función f(x)=x|x| es diferenciable para todo x.

== Notación ==
Existen diversas formas para nombrar a la derivada. Siendo ''f'' una función, se escribe la derivada de la función <math>f\,</math> respecto al valor <math>x\,</math> en varios modos.

=== Notación de Lagrange ===
La notación más simple para diferenciación, en uso actual, se debe a [[Joseph-Louis de Lagrange|Lagrange]], y consiste en denotar la derivada de una función <math>f(x)</math> como <math>f'(x)</math>: se lee «f prima de x». Esta notación se extiende a derivadas de orden superior, dando lugar a <math>f''(x)</math> («f segunda de x» o «f dos prima de x») para la derivada segunda, y a <math>f'''(x)</math> para la derivada tercera. La derivada cuarta y siguientes se pueden denotar de dos formas:

* con números romanos: <math>f^{\text{IV}}(x)</math>,
* con números entre paréntesis: <math>f^{(4)}(x)</math>.

Esta última opción da lugar también a la notación <math>f^{(n)}(x)</math> para denotar la derivada ''n''-ésima de <math>f</math>.

=== Notación de Leibniz ===
{{AP|Notación de Leibniz}}
Otra notación común para la diferenciación es debida a [[Leibniz]]. Para la función derivada de <math>f\,</math>, se escribe:

:<math>\frac{d\left(f(x)\right)}{dx}.</math>

También puede encontrarse como <math>\textstyle \frac {\mathrm dy}{\mathrm dx}</math>, <math>\textstyle \frac {\mathrm df}{\mathrm dx}</math> o <math>\textstyle \frac {\mathrm d}{\mathrm dx} f(x)</math>. Se lee «derivada de <math>y\,</math> (<math>f\,</math> o <math>f\,</math> de <math>x\,</math>) con respecto a <math>x\,</math>». Esta notación tiene la ventaja de sugerir a la derivada de una función con respecto a otra como un cociente de [[diferencial de una función|diferenciales]].

Con esta notación, se puede escribir la derivada de <math>f</math> en el punto <math>a</math> de dos modos diferentes:

:<math>\left.\frac{df}{dx}\right|_{x=a}=\left(\frac{d\left(f(x)\right)}{dx}\right)(a).</math>

Si <math>y=f(x)\,</math>, se puede escribir la derivada como

:<math>\frac{dy}{dx}</math>

Las derivadas sucesivas se expresan como

:<math>\frac{d^nf}{dx^n}</math> o <math>\frac{d^ny}{dx^n}</math>

para la enésima derivada de <math>f\,</math> o de <math>y</math> respectivamente. Históricamente, esto viene del hecho que, por ejemplo, la tercera derivada es

:<math>\frac{\mathrm d \left(\frac{\mathrm d \left( \frac{\mathrm d \left(f(x)\right)} {\mathrm dx}\right)} {\mathrm dx}\right)} {\mathrm dx}</math>

la cual se puede escribir como

:<math>\left(\frac{\mathrm d}{\mathrm dx}\right)^3 \left(f(x)\right) =
\frac{\mathrm d^3}{\left(\mathrm dx\right)^3} \left(f(x)\right).</math>

La notación de Leibniz es muy útil, por cuanto permite especificar la variable de diferenciación (en el denominador); lo cual es pertinente en caso de [[diferenciación parcial]]. También facilita recordar la [[regla de la cadena]], porque los términos «d» parecen cancelarse simbólicamente:

:<math>\frac{\mathrm dy}{\mathrm dx} = \frac{\mathrm dy}{\mathrm du} \cdot \frac{\mathrm du}{\mathrm dx}.</math>

En la formulación popular del cálculo mediante límites, los términos «d» ''no pueden'' cancelarse literalmente, porque por sí mismos son indefinidos; son definidos solamente cuando se usan juntos para expresar una derivada. En análisis no estándar, no obstante, se pueden ver números [[infinitesimal]]es que se cancelan.

Ciertamente, Leibnitz (sí) consideró la derivada ''dy''/''dx'' como el cociente de dos «[[infinitésimo]]s» ''dy'' y ''dx'', llamados «diferenciales». Estos infinitésimos no eran números sino cantidades más pequeños que cualquier número positivo.<ref>Lee, Karel de: ''Calculus'', Editorial Universitaria de Buenos Aires, pág. 61, 1972</ref>

=== Notación de Newton ===
{{AP|Notación de Newton}}

La notación de [[Isaac Newton|Newton]] para la diferenciación respecto al tiempo, era poner un punto arriba del nombre de la función:
:<math>\dot{x}= x^\prime(t)</math>

:<math>\ddot{x} = x^{\prime\prime}(t)</math>
y así sucesivamente.

Se lee «punto <math>x\,</math>» o «<math>x\,</math> punto». Actualmente está en desuso en el área de matemáticas puras, sin embargo se sigue usando en áreas de la física como la mecánica, donde otras notaciones de la derivada se pueden confundir con la notación de velocidad relativa. Se usa para definir la derivada temporal de una variable.

Esta notación de Newton se usa principalmente en mecánica, normalmente para derivadas que involucran la variable tiempo, como variable independiente; tales como [[velocidad]] y [[aceleración]], y en teoría de [[Ecuación diferencial ordinaria|ecuaciones diferenciales ordinarias]]. Usualmente solo se emplea para las primeras y segundas derivadas.

=== Notación de Euler ===

:<math>\mathrm D_x f \,</math> o <math>\partial_x f\,</math> (Notaciones de [[Leonhard Euler|Euler]] y [[Carl Gustav Jakob Jacobi|Jacobi]], respectivamente)
se lee «''<math>d\,</math> sub <math>x\,</math> de <math>f\,</math>''», y los símbolos D y ∂ deben entenderse como [[operador diferencial|operadores diferenciales]].

== Cálculo de la derivada ==

La derivada de una función, en principio, puede ser calculada a partir de la definición, expresando el cociente de diferencias y calculando su límite. Sin embargo, salvo para unos pocos casos esto puede resultar laborioso. En la práctica existen fórmulas precalculadas para las derivadas de las funciones más simples, mientras que para las funciones más complicadas se utilizan una serie de [[Reglas de derivación|reglas]] que permitan reducir el problema al cálculo de la derivada de funciones más sencillas. Por ejemplo, para calcular la derivada de la función <math>\cos(x^2)</math> bastaría con conocer: la derivada de <math>x^2</math>, la derivada de <math>\cos(x)</math>, y cómo derivar una [[Función compuesta|composición de funciones]].
=== Derivadas de funciones elementales ===

{{AP|Anexo:Derivadas}}

La mayor parte de los cálculos de derivadas requieren tomar eventualmente la derivada de algunas funciones comunes. La siguiente tabla incompleta proporciona algunas de las más frecuentes funciones de una variable real usadas y sus derivadas.

{| class="wikitable"
|+ Tabla de derivadas de algunas funciones elementales
! scope="colgroup" colspan="2" | Función <math>f</math>
! Derivada <math>f'</math>
|-
|-
! scope="rowgroup" rowspan="7" | Función potencia
| Función constante <math>f(x)=k,\quad k\in\mathbf R</math> || <math>f'(x)=0</math>
|-
| Función identidad <math>f(x)=x</math> || <math>f'(x)=1</math>
|-
| Multiplicación por una constante: <math>f(x)=k \cdot g(x),\quad k\in\mathbf R</math> || <math>f'(x)=k \cdot g'(x)</math>
|-
| Potencia de exponente natural: <math>f(x)=x^n,\quad n=0,1,2,3\ldots</math> || <math>f'(x)=nx^{n-1}</math>
|-
| Función raíz cuadrada <math>f(x)=\sqrt x</math> || <math>f'(x)=\frac1{2\sqrt x}</math>
|-
| Función recíproca <math>f(x)=\frac 1x</math> || <math>f'(x) = -\frac1{x^2}</math>
|- 
| '''Caso general''': <math>f(x)=x^r,\quad r\in\mathbf R</math> || <math>f'(x)=rx^{r-1}</math>
|-
! scope="rowgroup" rowspan="2" | [[Función exponencial]]
| Base [[Número e|<math>e</math>]]: <math>f(x)=e^x</math> || <math>f'(x)= e^x</math>
|-
| '''Caso general''': <math>f(x)=a^x,\quad a\in\mathbf R, a > 0</math> || <math>f'(x) = a^x\ln(a)</math>
|-
! scope="rowgroup" rowspan="2" | [[Función logarítmica]]
| [[Logaritmo]] en base <math>e</math>: <math>f(x) = \ln x</math> || <math>f'(x) = \frac{1}{x},\quad x > 0</math>&thinsp;<ref group=Nota name="DomLog"/>
|-
| '''Caso general''': <math>f(x) = \log_a(x),\quad a\in\mathbf R,a>0</math> || <math>f'(x)= \frac{1}{x\ln(a)},\quad x>0</math>&thinsp;<ref group=Nota name="DomLog"/>
|-
! scope="rowgroup" rowspan="3" | [[Funciones trigonométricas]]
| Función seno: <math>f(x) = \sen(x)</math> || <math>f'(x) = \cos(x)</math>
|-
| Función coseno: <math>f(x) = \cos(x)</math> || <math>f'(x) = -\sen(x)</math>
|-
| Función tangente: <math>f(x) = \tan(x)</math> || <math>f'(x) = \sec^2(x) = \frac{1}{\cos^2(x)} = 1+\tan^2(x)</math>
|-
! scope="rowgroup" rowspan="3" | [[Funciones trigonométricas inversas]]
| Función arcoseno: <math>f(x) = \arcsin(x)</math> || <math>f'(x) = \frac{1}{\sqrt{1-x^2}}</math>
|-
| Función arcocoseno: <math>f(x) = \arccos(x)</math> || <math>f'(x) = -\frac{1}{\sqrt{1-x^2}}</math>
|-
| Función arcotangente: <math>f(x) = \arctan(x)</math> || <math>f'(x) = \frac{1}{{1+x^2}}</math>
|-
! scope="rowgroup" rowspan="3" | [[Funciones hiperbólicas]]
| Función seno hiperbólico: <math>f(x) = \sinh(x)</math> || <math>f'(x) = \cosh(x)</math>
|-
| Función coseno hiperbólico: <math>f(x) = \cosh(x)</math> || <math>f'(x) = \sinh(x)</math>
|-
| Función tangente hiperbólica: <math>f(x) = \tanh(x)</math> || <math>f'(x) = \mathrm{sech}^2(x) = \frac{1}{\mathrm{cosh}^2(x)}</math>
|}
{{listaref|group=Nota|refs=
<ref group=Nota name="DomLog">Tal y como están escritas, estas derivadas estarían definidas para cualquier número real <math>x</math> salvo el 0. Sin embargo, dado que el logaritmo sólo está definido para valores de <math>x</math> estrictamente mayores que 0, el dominio de sus derivadas ha de restringirse también a los números positivos.</ref>}}

=== Reglas usuales de derivación ===
{{AP|Reglas de diferenciación}}
En muchos casos, el cálculo de límites complicados mediante la aplicación directa del cociente de diferencias de Newton puede ser anulado mediante la aplicación de reglas de diferenciación. Algunas de las reglas más básicas son las siguientes:
* ''Regla de la constante'': si ''f''(''x'') es constante, entonces
:<math>f'(x) = 0. \,</math>
* ''Regla de la suma'':
:<math>(f + g)' = f' + g'</math>, para toda función ''f'' y ''g'' y todo número real ''<math>\alpha</math>'' y ''<math>\beta</math>''.
* ''[[Regla del producto (cálculo)|Regla del producto]]'':
:<math>(fg)' = f 'g + fg' \,</math> para toda función ''f'' y ''g''. Por extensión, esto significa que la derivada de una constante multiplicada por una función es la constante multiplicada por la derivada de la función. Por ejemplo, <math>\frac{d}{dr}\pi r^2=2 \pi r. \,</math>
* ''[[Regla del cociente]]'':
:<math>\left(\frac{f}{g} \right)' = \frac{f'g - fg'}{g^2}</math> para toda función ''f'' y ''g'' para todos aquellos valores tales que ''g'' ≠ 0.
* ''[[Regla de la cadena]]'': Si <math>f(x) = h(g(x))</math>, siendo g derivable en x, y h derivable en g(x), entonces<ref>Serge Lang: ''Introducción al análisis matemático'' pág. 56</ref>
:<math>f'(x) = h'(g(x)) \cdot g'(x). \,</math>

=== Ejemplo de cálculo ===

La derivada de

: <math>f(x) = x^4 + \sen (x^2) - \ln(x) e^x + 7\,</math>

es

: <math>
\begin{align}
f'(x) &= 4 x^{(4-1)}+ \frac{d\left(x^2\right)}{dx}\cos (x^2) - \frac{d\left(\ln {x}\right)}{dx} e^x - \ln{x} \frac{d\left(e^x\right)}{dx} + 0 \\
      &= 4x^3 + 2x\cos (x^2) - \frac{1}{x} e^x - \ln(x) e^x.
\end{align}
</math>

Aquí, el segundo término se calculó usando la [[regla de la cadena]] y el tercero usando la [[Regla del producto (cálculo)|regla del producto]]. La derivadas conocidas de funciones elementales ''x''<sup>2</sup>, ''x''<sup>4</sup>, sen(''x''), ln(''x'') y exp(''x'') = ''e''<sup>''x''</sup>, así como la constante 7, también fueron usadas.

== Diferenciabilidad ==
Una función con dominio en un subconjunto de los reales es '''diferenciable''' en un punto <math>x</math> si su derivada existe en ese punto; una función es diferenciable en un [[intervalo (matemática)|intervalo abierto]] si es diferenciable en todos los puntos del intervalo.

Si una función es diferenciable en un punto <math>x</math>, la función es continua en ese punto. Sin embargo, una función continua en <math>x</math>, puede no ser diferenciable en dicho punto ([[punto crítico (matemática)|punto crítico]]). En otras palabras, diferenciabilidad implica continuidad, pero no su recíproco.

La derivada de una función diferenciable puede ser, a su vez, diferenciable. La derivada de una primera derivada se llama derivada segunda. De un modo parecido, la derivada de una derivada segunda es la derivada tercera, y así sucesivamente. Esto también recibe el nombre de derivación sucesiva o derivadas de orden superior.

== Generalizaciones del concepto de derivada ==
El concepto simple de derivada de una función real de una sola variable ha sido [[Generalización|generalizado]] de varias maneras:

* Para funciones de varias variables:
** '''[[Derivada parcial]]''', que se aplica a funciones reales de varias variables.
** '''[[Derivada direccional]]''', extiende el concepto de derivada parcial.
* En [[análisis complejo]]: 
** '''[[Función holomorfa]]''', que extiende el concepto de derivada a cierto tipo de funciones de variables complejas.
* En [[análisis funcional]]:
** '''[[Derivada fraccional]]''', que extiende el concepto de derivada de orden superior a orden ''r'', ''r'' no necesita ser necesariamente un número entero como sucede en las derivadas convencionales.
** '''[[Derivada funcional]]''', que se aplica a funcionales cuyos argumentos son funciones de un [[espacio vectorial]] de dimensión no finita.
** '''[[Teoría de distribuciones#Derivada de una distribución|Derivada en el sentido de las distribuciones]]''', extiende el concepto de derivada a funciones generalizadas o [[Teoría de distribuciones|distribuciones]], así puede definirse la derivada de una función discontinua como una distribución.
* En [[geometría diferencial]]:
** La '''[[Derivación (matemática)|Derivación]]''' un concepto de [[geometría diferencial]].
* En [[teoría de la probabilidad]] y [[teoría de la medida]]:
**'''Derivada de Malliavin''' derivada de un [[proceso estocástico]] o variable aleatoria que cambia con el tiempo.
** '''[[Teorema de Radon–Nikodym|Derivada de Radon-Nikodym]]''' usada en teoría de la medida.
* Diferenciabilidad:
**'''[[Función diferenciable|Diferenciablidad]]''', otra generalización posible para funciones de varias variables cuando existen derivadas continuas en todas direcciones es el de:
** '''[[Función diferenciable]]''', que se aplica a funciones reales de varias variables que poseen derivadas parciales según cualquiera de las variables (El argumento de una función de varias variables pertenece a un espacio del tipo <math>\R^n</math> de dimensión ''n'' finita).
** La '''Diferenciación en el sentido de Fréchet''' generaliza el concepto de función diferenciable a [[espacios de Banach]] de dimensión infinita.

== Conjunto <math>O_{x,\alpha}^n(h)</math> de Operadores Fraccionales ==

El '''cálculo fraccional de conjuntos''' ('''Fractional Calculus of Sets (FCS)'''), mencionado por primera vez en el artículo titulado "Sets of Fractional Operators and Numerical Estimation of the Order of Convergence of a Family of Fractional Fixed-Point Methods",<ref>[https://doi.org/10.3390/fractalfract5040240 Sets of Fractional Operators and Numerical Estimation of the Order of Convergence of a Family of Fractional Fixed-Point Methods]</ref> es una metodología derivada del '''[[cálculo fraccional]]'''.<ref>[https://books.google.es/books?hl=es&lr=&id=MIXVCgAAQBAJ&oi=fnd&pg=PR5&dq=fractional+calculus&ots=fXgsNiwkju&sig=VDrrW4ZEvZpsu3ytMS-frNqc964 Applications of fractional calculus in physics]</ref> El concepto principal detrás del FCS es la caracterización de los elementos del cálculo fraccional utilizando [[conjunto|conjuntos]] debido a la gran cantidad de operadores fraccionales disponibles.<ref>[https://doi.org/10.1155/2014/238459 A review of definitions for fractional derivatives and integral]</ref><ref>[https://doi.org/10.1016/j.jcp.2019.03.008 A review of definitions of fractional derivatives and other operators]</ref><ref>[https://doi.org/10.3390/math10050737 How many fractional derivatives are there?]</ref> Esta metodología se originó a partir del desarrollo del '''método de Newton-Raphson fraccional''' <ref>[http://dx.doi.org/10.5121/mathsj.2021.8101 Fractional Newton-Raphson Method]</ref> y trabajos relacionados posteriores.<ref name="dup-0-49">[https://doi.org/10.1016/j.amc.2022.127231 Acceleration of the order of convergence of a family of fractional fixed-point methods and its implementation in the solution of a nonlinear algebraic system related to hybrid solar receivers]</ref><ref>[http://dx.doi.org/10.5121/mathsj.2022.9103 Code of a multidimensional fractional quasi-Newton method with an order of convergence at least quadratic using recursive programming]</ref><ref>[https://doi.org/10.5772/intechopen.107263 Sets of Fractional Operators and Some of Their Applications]</ref>

[[File:Applied mathematics and computation-fig.png|thumb|center|500px|Ilustración de algunas líneas generadas por el método de Newton–Raphson fraccional para la misma condición inicial <math>x_0</math> pero con diferentes órdenes <math>\alpha</math> del operador fraccional implementado. Fuente: [https://www.sciencedirect.com/science/article/abs/pii/S0096300322003058?via%3Dihub Applied Mathematics and Computation]]]

El cálculo fraccional, una rama de las matemáticas que trata con derivadas de orden no entero, surgió casi simultáneamente con el cálculo tradicional. Esta emergencia fue en parte debido a la notación de Leibniz para derivadas de orden entero: <math>\frac{d^n}{dx^n}</math>. Gracias a esta notación, L’Hopital pudo preguntar en una carta a Leibniz sobre la interpretación de tomar <math>n = \frac{1}{2}</math> en una derivada. En ese momento, Leibniz no pudo proporcionar una interpretación física o geométrica para esta pregunta, por lo que simplemente respondió a L’Hopital en una carta que "... es una aparente paradoja de la cual, algún día, se derivarán consecuencias útiles".

El nombre "cálculo fraccional" se origina a partir de una pregunta histórica, ya que esta rama del análisis matemático estudia derivadas e integrales de un cierto orden <math>\alpha \in \mathbb{R}</math>. Actualmente, el cálculo fraccional carece de una definición unificada de lo que constituye una derivada fraccional. En consecuencia, cuando no es necesario especificar explícitamente la forma de una derivada fraccional, típicamente se denota de la siguiente manera:

<center><math>\frac{d^\alpha}{dx^\alpha}. </math></center>

Los operadores fraccionales tienen varias representaciones, pero una de sus propiedades fundamentales es que recuperan los resultados del cálculo tradicional a medida que <math>\alpha \to n</math>. Considerando una función escalar <math>h: \mathbb{R}^m \to \mathbb{R}</math> y la base canónica de <math>\mathbb{R}^m</math> denotada por <math>\{\hat{e}_k\}_{k \geq 1}</math>, el siguiente operador fraccional de orden <math>\alpha</math> se define utilizando [[notación de Einstein]]:<ref>[https://www.sciencedirect.com/science/article/pii/S0898122102002109 Einstein summation for multidimensional arrays]</ref>

<center><math> o_x^\alpha h(x) := \hat{e}_k o_k^\alpha h(x). </math></center>

Denotando <math>\partial_k^n</math> como la derivada parcial de orden <math>n</math> con respecto al componente <math>k</math>-ésimo del vector <math>x</math>, se define el siguiente conjunto de operadores fraccionales:<ref>{{Cite journal|title=Sets of Fractional Operators and Numerical Estimation of the Order of Convergence of a Family of Fractional Fixed-Point Methods|first1=A.|last1=Torres-Hernandez|first2=F.|last2=Brambila-Paz|date=2021-12-29|journal=Fractal and Fractional|volume=5|issue=4|pages=240|doi=10.3390/fractalfract5040240}}</ref><ref name="dup-0-49" />

<div style="text-align: center;">
<math> O_{x,\alpha}^n(h) := \left\{ o_x^\alpha : \exists o_k^\alpha h(x) \text{ y } \lim_{\alpha \to n} o_k^\alpha h(x) = \partial_k^n h(x) \ \forall k \geq 1 \right\}, </math>
</div>

cuyo complemento es:

<div style="text-align: center;">
<math> O_{x,\alpha}^{n,c}(h) := \left\{ o_x^\alpha : \exists o_k^\alpha h(x) \ \forall k \geq 1 \text{ y } \lim_{\alpha \to n} o_k^\alpha h(x) \neq \partial_k^n h(x) \text{ para al menos un } k \geq 1 \right\}. </math>
</div>

Como consecuencia, se define el siguiente conjunto:

<center><math> O_{x,\alpha}^{n,u}(h) := O_{x,\alpha}^{n}(h) \cup O_{x,\alpha}^{n,c}(h). </math></center>

=== Extensión a Funciones Vectoriales ===

Para una función <math>h: \Omega \subset \mathbb{R}^m \to \mathbb{R}^m</math>, el conjunto se define como:

<center><math> {}_mO_{x,\alpha}^{n,u}(h) := \left\{ o_x^\alpha : o_x^\alpha \in O_{x,\alpha}^{n,u}([h]_k) \ \forall k \leq m \right\}, </math></center>

donde <math>[h]_k: \Omega \subset \mathbb{R}^m \to \mathbb{R}</math> denota el <math>k</math>-ésimo componente de la función <math>h</math>.

==Aplicaciones==
* '''[[Derivada parcial]]''', supongamos que estamos sobre un puente y observamos como varía la concentración de peces con el tiempo exactamente. Estamos en una posición fija del espacio, por lo que se trata de una derivada parcial de la concentración con respecto al tiempo manteniendo fijas la posición en  la dirección "x", "y" o "z".

* '''[[Derivada total con respecto al tiempo]]''', supongamos que nos movemos en una lancha a motor que se mueve en el río en todas direcciones, unas veces en contra de la corriente, otras a través y otras a favor. Al referir la variación de concentración de peces con el tiempo, los números que resultan han de reflejar también el movimiento de la lancha. La variación de la concentración con el tiempo corresponde a la derivada total.

* '''[[Derivada substancial con respecto al tiempo]]''', supongamos que vamos en una canoa a la que no se comunica energía, sino que simplemente flota. En este caso, la velocidad del observador es exactamente la misma que la velocidad de la corriente "v". Al referir la variación de la concentración de peces con respecto al tiempo, los números dependen de la velocidad local de la corriente. Esta derivada es una clase especial de derivada total con respecto al tiempo que se denomina <<derivada sustancial>> o, a veces (más lógicamente) derivada siguiendo al movimiento.

== Véase también ==
* [[Reglas de derivación]]
* [[Anexo:Tabla de derivadas|Tabla de derivadas]]
* [[Derivación de funciones trigonométricas]]
* [[Criterio de la derivada de mayor orden]]
* [[Derivación numérica]]
* [[Integral]]

== Referencias ==
{{listaref}}

=== Bibliografía ===
{{refcomienza}}
* {{Cita libro|apellido=Apostol|nombre=Tom M.|enlaceautor=Tom M. Apostol|año=1967|título=Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra|editorial=Wiley|edición=2ª|volumen=1|isbn=978-0-471-00005-1|url=https://archive.org/details/calculus01apos}}
* {{Cita libro|apellido=Spivak|nombre=Michael|año=1994|título=Calculus|url=https://archive.org/details/calculus0000mich|editorial=Publish or Perish|edición=3ª|isbn=978-0-914098-89-8}}
* {{Cita libro|apellido=Stewart|nombre=James|año=2002|título=Calculus|editorial=Brooks Cole|edición=5ª|isbn=978-0-534-39339-7}}
{{reftermina}}

=== Enlaces externos ===
{{Commonscat|Differential calculus|derivada|preposición=sobre}}
{{wikilibros
| nombre = Cálculo en una variable/Cálculo diferencial
| etiqueta = cálculo diferencial
| objeto = un libro o manual sobre
| preposición = 
| idioma = 
}}
{{wikilibros
| nombre = Matemáticas_Bachillerato_LOGSE/Iniciación_al_cálculo_de_derivadas
| etiqueta = cálculo de derivadas
| objeto = un libro o manual sobre
| preposición = 
| idioma = 
}}
* {{MathWorld|Derivative|Derivative}}
* {{springer|title=Derivative|id=p/d031260}}
* [https://derivative-calculator.org/es/ Calculadora de derivadas con soluciones paso a paso]
Parte de la información ha sido extraída de la web [https://www.derivadas.es/ Derivadas.es] fundada por Jesús en 2004
{{Control de autoridades}}
[[Categoría:Cálculo diferencial]]
[[Categoría:Fracciones]]