1.

- Deducciones de las frmulas de derivadas

Partiendo de la definicin dada por Leibnitz

obtenemos:

2.- Demostrar que si

entonces:

Mediante la formulacin de Newton

tenemos:

por lo tanto:

Ejemplos:

3.- Derivar mediante la regla de los cuatro pasos y la regla de Leibnitz la siguiente derivada.

Mediante la regla de los cuatro pasos:

Mediante regla de Leibnitz

Cociente diferencial de Newton

Las derivadas se definen tomando el lmite de la pendiente de las rectas secantes conforme se van aproximando a la recta tangente. Es difcil hallar directamente la pendiente de la recta tangente de una funcin porque slo conocemos un punto de sta, el punto donde ha de ser tangente a la funcin. Por ello, aproximaremos la recta tangente por rectas secantes. Cuando tomemos el lmite de las pendientes de las secantes prximas, obtendremos la pendiente de la recta tangente. Para obtener estas pendientes, tomemos un nmero arbitrariamente pequeo que llamaremos h. h representa una pequea variacin en x, y puede ser tanto positivo como negativo. La pendiente de la recta entre los puntos ( x,f(x)) y (x + h,f(x + h)) es

Esta expresin es un cociente diferencial de Newton. La derivada de f en x es el lmite del valor del cociente diferencial conforme las lneas secantes se acercan ms a la tangente:

Si la derivada de f existe en cada punto x, podemos definir la derivada de f como la funcin cuyo valor en el punto x es la derivada de f en x. Puesto que la inmediata sustitucin de h por 0 da como resultado una divisin por cero, calcular la derivada directamente puede ser poco intuitivo. Una tcnica es simplificar el numerador de modo que la h del denominador pueda ser cancelada. Esto resulta muy

sencillo con funciones polinmicas, pero para la mayora de las funciones resulta demasiado complicado. Afortunadamente, hay reglas generales que facilitan la diferenciacin de la mayora de las funciones descritas; ver abajo. Algunos ejemplos de cmo utilizar este cociente:

Ejemplo 1
Consideremos la siguiente funcin:

Entonces:

Esta funcin es constante, para cualquier punto de su dominio vale 5 (por eso f(x+h)=5). Ntese el ltimo paso, donde h tiende a cero pero nunca lo alcanza. Si pensamos un poco, observaremos que la derivada adems de ser la pendiente de la recta tangente a la curva, es a la vez, la recta secante a la misma curva.

Ejemplo 2
Consideremos la grfiica de . Esta recta tiene una pendiente igual a 2.0 en cada punto. Utilizando el cociente mostrado arriba (junto a los conceptos de lmite, secante, y tangente) podremos determinar las pendiientes en los puntos 4 y 5:

Entonces:

Y vemos que se cumple para cualquier nmero n:

Por tanto, se deduce que el valor de la funcin derivada de una recta es igual a la pendiente de la misma.

Ejemplo 3 [editar]
Mediante esta diferenciacin, se puede calcular la pendiente de una curva. Consideremos que:

Entonces:

Para cualquier punto x, la pendiente de la funcin

es

El cociente diferencial alternativo

Arriba, la derivada de f(x) (tal como la defini Newton) se describi como el lmite, conforme h se aproxima a cero. Una explicacin alternativa de la derivada puede ser interpretada a partir del cociente de Newton. Si se utiliza la frmula anterior, la derivada en c es igual al lmite conforme h se aproxima a cero de [f(c + h) - f(c)] / h. Si se deja que h = x - c (por ende c + h = x), entonces x se aproxima a c (conforme h tiende a cero). As, la derivada es igual al lmite conforme x se aproxima a c, de [f(x) - f(c)] / (x - c). Esta definicin se utiliza para una demostracin parcial de la regla de la cadena..

Notaciones para la diferenciacin

La notacin ms simple para la diferenciacin que se utiliza en la actualidad se debe a Lagrange y utiliza un apstrofo o comilla: . De esta manera se expresan las derivadas de la funcin f(x) en el punto x = a, se escribe: para la primera derivada, para la segunda derivada, para la tercera derivada, y luego de forma general, para la n-sima derivada (donde normalmente se da que n > 3). Para la funcin cuyo valor en cada x es la derivada de similar, para la segunda derivada de f se escribe , se escribe , y as sucesivamente. . De forma

La otra notacin comn para la diferenciacin se debe a Leibniz. Para la funcin cuyo valor en x es la derivada de f en x, se escribe:

Se puede escribir la derivada de f en el punto a de dos formas distintas:

Si la resultante de f(x) es otra variable, por ejemplo, si y=f(x), se puede escribir la derivada como:

Las derivadas de orden superior se expresan as

o para la n-sima derivada de f(x) o y respectivamente. Histricamente, esto proviene del hecho de que, por ejemplo, la tercera derivada es:

que se puede escribir sin mucho rigor como:

Eliminando las llaves nos da la notacin que est arriba. La notacin de Leibniz es tan verstil que permite especificar la variable que se utilizar para la diferenciacin (en el denominador). Esto es especficamente relevante para la diferenciacin parcial. Y tambin hace ms fcil de recordar la regla de la cadena, debido a que los trminos "d" se cancelan simblicamente:

. Sin embargo, es importante recordar que los trminos "d" no se pueden cancelar literalmente, debido a que son un operador diferencial. Slo se utilizan cuando se usan en conjunto para expresar una derivada. La notacin de Newton para la diferenciacin consiste en poner un punto sobre el nombre de la funcin:

y as sucesivamente. La notacin de Newton se utiliza principalmente en la mecnica, normalmente para las derivadas con respecto al tiempo tales como la velocidad y la aceleracin y en la teora de ecuaciones diferenciales ordinarias. Normalmente slo se utilizan para la primera y segunda derivadas. Otra notacin consiste en colocar una letra 'D' mayscula para indicar la operacin de diferenciacin con un subndice que indica la variable sobre la que se derivar: Dxf, que es equivalente a la expresin:

En ese contexto se considera a la diferenciacin como una operacin sobre funciones, de modo que los smbolos y Dx son llamados operadores diferenciales.

Aplicaciones importantes del clculo diferencial

Recta tangente a una funcin en un punto
La recta tangente a una funcin f(x) es como se ha visto el lmite de las rectas secantes cuando uno de los puntos de corte de la secante con la funcin se hace tender hacia el otro punto de corte. Tambin puede definirse a la recta tangente como la mejor aproximacin lineal a la funcin en su punto de tangencia, esto es, la recta tangente es la funcin polinmica de primer grado que mejor aproxima a la funcin localmente en el punto de tangencia que consideremos. Si conocemos la ecuacin de la recta tangente ta(x) a la funcin f(x) en el punto "a" podemos tomar ta(x) como una aproximacin razonablemente buena de f(x) en las proximidades del punto "a". Esto quiere decir que si tomamos un punto "a + h" y lo evaluamos tanto en la funcin como en la recta tangente, la diferencia f(a + h) t(a + h) ser despreciable frente a "h" en valor absoluto si "h" tiende a cero. Cuanto ms cerca estemos del punto "a" tanto ms precisa ser nuestra aproximacin de f(x). Para una funcin f(x) derivable localmente en el punto "a", la recta tangente a f(x) por el punto "a" es: ta(x)= f(a) + f '(a)(x-a)

Aproximacin local de Taylor

Hemos visto que podemos aproximar mediante su recta tangente a una funcin derivable localmente en un punto. Si se cumple que la funcin es suficientemente suave en el punto o dominio de estudio (esto es, la funcin es de clase ) cabe la posibilidad de intentar aproximar a la funcin no por polinomios de grado uno, sino por polinomios de grado dos, tres, cuatro y sucesivamente. Esta aproximacin recibe el nombre de "desarrollo polinmico de Taylor" y se define de la siguiente manera:

Donde P(x) es el polinomio de grado n que mejor aproxima a la funcin en el punto x=a. Ntese que si evaluamos P(x) en x=a todos los trminos salvo el f(a) se anulan, luego P(a) = f(a). Ntese tambin que la ecuacin de la recta tangente del apartado anterior corresponde al caso en el que n=1.

El polinomio de Taylor es un polinomio "osculador". De entre todos los polinomios de orden no mayor que "n" y que pasan por f(a) el desarrollo polinmico de Taylor de f(x) en x=a es el que posee el contacto de mayor orden con f(x)en "a". Se basa en la idea de que si dos funciones comparten en x=a el mismo valor, la misma primera derivada, la misma segunda derivada etc, la misma i-sima derivada, (lo que brevemente se expresa diciendo que las dos funciones tienen un contacto de orden "i") entonces dichas funciones sern muy parecidas cerca de x=a, queriendo decir por parecidas que podemos aproximar a una de las dos por la otra cometiendo un error despreciable. Cuando a=0 el desarrollo se denomina "desarrollo de MacLaurin". En la prctica la mayora de las veces se emplean desarrollos de MacLaurin. Ejemplos de desarrollos importantes de MacLaurin son:

Ntese el smbolo que denota aproximacin que no igualdad. Si la funcin a aproximar es infinitamente derivable y agregamos infinitos trminos al desarrollo entonces el se convierte en un = . Este ltimo paso de agregar infinitos trminos no se puede tomar a la ligera. Hemos dicho que la aproximacin de grado uno, dos, tres etc es una aproximacin local en el punto en que se evala la funcin, esto es, si nos alejamos mucho del punto la aproximacin dejar de ser precisa. Cuantos ms trminos agreguemos al desarrollo en serie de Taylor tanto ms precisa ser nuestra aproximacin si estamos en un entorno del punto. Podramos pensar pues que al aadir infinitos trminos podemos evaluar la funcin aproximada en cualquier punto de su dominio de definicin con precisin absoluta. Esto no siempre es cierto, pues depender del carcter de la serie de Taylor en el punto en que la evaluamos. El estudio del carcter de una serie es un problema frecuentemente complejo. Se trata de definir los valores para los cuales la serie es convergente, esto es, determinar el radio de convergencia de la misma. Dentro del intervalo de convergencia de la serie s que podemos tomar infinitos trminos y admitir que la serie nos da el valor "exacto" de la funcin en el punto. Sin embargo, fuera del intervalo de convergencia la serie no proporcionar el valor exacto de la funcin aunque agreguemos infinitos trminos.

Los desarrollos en serie de Taylor presentan grandes ventajas a la hora de operar funciones

cuyas ecuaciones involucran expresiones complicadas tales como funciones trascendentes (senos, logaritmos, etc). Sin embargo tambin presentan ciertos inconvenientes. Un inconveniente importante es que el nmero de trminos necesarios para aproximar con precisin razonable a la funcin en un punto alejado del evaluado (pero siempre dentro del intervalo de convergencia de la serie) se dispara al infinito. Otro inconveniente es que la expresin polinmica de la funcin puede hacer difcil detectar sus propiedades elementales, por ejemplo, no es obvio deducir del desarrollo del seno que se trata de una funcin peridica.

Conociendo el desarrollo en serie de una funcin f(x) en x=a es inmediato obtener sus derivadas sucesivas f'(a),f''(a),f'''(a) etc . Segn se desprende de la definicin, sin ms que multiplicar el i-simo coeficiente (correspondiente al trmino de grado i) por i! obtenemos la derivada i-sima en el punto "a" de la funcin. Asimismo calcular una integral definida sobre un intervalo perteneciente a un entorno del punto "a" es tambin inmediato, pues la funcin primitiva se obtiene fcilmente integrando cada trmino del desarrollo. Si bien cabe sealar que dicha integral no ser exacta, sino aproximada, y ser tanto ms precisa cuanto ms pequeo sea el intervalo de integracin y cuanto ms centrado est dicho intervalo en el punto x=a. Los desarrollos en serie son una potente herramienta en el clculo de lmites. Un lmite aparentemente complejo puede convertirse en trivial sin ms que sustituir cada funcin por su desarrollo en serie y realizar las operaciones correspondientes de simplificacin.