Cap tulo 4

L mites. Denicin de derivada. o

4.1. L mites e indeterminaciones

Hemos visto en el cap tulo anterior que para resolver el problema de la recta tangente tenemos que enfrentarnos a expresiones como esta: f (x) f (x0 ) x x0 a a y a la pregunta de e sucede cuando x se acerca ms y ms a x0 . Y hemos visto un ejemplo, en 2.2.1 qu para el clculo de 2, en el que esa pregunta tiene una respuesta evidente. a Es importante entender que la respuesta no es trivial. En principio, esperamos que, al menos en los casos normales, f (x) se parezca mucho a f (x0 ) cuando x se acerca a x0 (volveremos sobre este asunto de los casos normales cuando hablemos de continuidad). Y en tales casos, eso signica que el numerador y el denominador ambos se parecen mucho a 0. Es decir, que estaremos ante una situacin que en matemticas o a se representa con el s mbolo 0/0. Por el momento, usamos este s mbolo slo para indicar que se trata de o una situacin que exige un anlisis ms detallado. Y eso signica que el problema de la tangente puede o a a tener solucin, pero esa solucin exige bastante reexin. o o o Se trata por tanto de lo siguiente. Tenemos una expresin que depende de x, llammosla h(x), y o e queremos saber qu ocurre con esta expresin cuando x se acerca a x0 . Ese problema se representa con e o el s mbolo l h(x) m
xx0

que leemos diciendo el l mite de h(x) cuando x tiende a x0 . En el problema de la tangente tenemos h(x) = f (x) f (x0 ) x x0

de manera que resolver ese problema consiste en dar sentido a la pregunta l m f (x) f (x0 ) . x x0

xx0

Se trata de explicar con rigor lo que signica que un cierto nmero sea la respuesta. Y adems, naturalu a mente, tendremos que ocuparnos del problema de cmo calcular ese nmero. o u Ejemplo 4.1.1. Es decir, que queremos escribir la conclusin del ejemplo 3.2.1 (pg. 25) sobre el clculo o a a de 2, diciendo que si f (x) = x2 2, entonces l m (x2 2) (x2 2) f (x) f (x0 ) 0 = l m = 2x0 xx0 x x0 x x0

xx0

Pero, para que el esfuerzo terico que vamos a hacer tenga una recompensa generosa, no queremos o limitarnos al problema de la tangente. Porque hay otras situaciones en matemticas en las que surgen a problemas similares. 27

Ejemplo 4.1.2. Supongamos que queremos saber lo que ocurre con la expresin o h(x) = (1 + x)1/x cuando x es un nmero muy cercano a x0 = 0. Es decir, nos preguntamos por el valor de u
x0

l (1 + x)1/x m

En tal caso, tenemos un nmero (1 + x) que se parece mucho a 1. En principio podemos pensar que u cualquier potencia de un nmero cercano a 1 estar a su vez cerca de 1. Pero es que lo elevamos a una u a cantidad muy grande (positiva o negativa). Y si bien es cierto que, por ejemplo, (1,00001) no es menos cierto que (1,00001)
100

1,0010005 22025,364

1000000

De manera que el comportamiento del resultado de una operacin como o (algo parecido a 1)algo muy grande parece depender de una manera sutil de cul sea la relacin de tamao entre la base y el exponente. a o n Para describir este tipo de situaciones hablaremos de un problema 1 . Ms adelante veremos cul es la a a respuesta a este problema concreto, que es muy importante. Los problemas de la forma 0 , 1 y otros similares se denominan indeterminaciones. El impulso inicial 0 para denir los l mites viene dado por nuestro deseo de conocer la respuesta a preguntas como estas. Naturalmente, tambin hay situaciones mucho ms sencillas. No necesitamos una teor muy elaborada e a a para saber que l x2 = 4 m
x2

aunque por supuesto, la teor que vamos a desarrollar incluir estos casos triviales. a a

4.2.

Distancias y valores absolutos

Para poder construir la idea de l mite que necesitamos, un ingrediente clave es la nocin de distancia. o Para poder decir con rigor que x est cerca de x0 , debemos ser capaces de expresar formalmente, en el a lenguaje de las matemticas, la distancia entre esos dos puntos. Afortunadamente, disponemos de dicha a expresin. o Denicin 4.2.1 (Distancia entre n meros reales). o u Si a y b son dos nmeros reales, entonces la distancia entre ellos es el nmero u u |a b| Desafortunadamente, esta expresin utiliza el concepto de valor absoluto, que muchos estudiantes de o clculo encuentran indigesto. Trataremos de hacerlo un poco ms ligero. Recordemos la denicin: a a o Denicin 4.2.2 (Valor absoluto). o El valor absoluto del nmero real a es: u a si a 0 |a| = a si a < 0 Ejemplo 4.2.3 (Error comn con el valor absoluto). Una de las confusiones ms frecuentes al utilizar u a el valor absoluto se ilustra en este ejemplo, incorrecto: |a2 5a + 6| = a2 5a + 6 (a2 5a + 6) 28 si a 0 si a < 0

Hemos resaltado la parte incorrecta de esta expresin. La expresin correcta ser o o a: |a2 5a + 6| = a2 5a + 6 (a2 5a + 6) si si a2 5a + 6 0 a2 5a + 6 < 0

Como puede verse, por este y otros ejemplos similares, el trabajo con valores absolutos exige a su vez una cierta familiaridad con el uso de desigualdades en matemticas. De hecho, las desigualdades son a otro ingrediente fundamental que necesitamos para poder denir los l mites y para trabajar con ellos. El trabajo con desigualdades puede ser extremadamente dif cil, y es una de las partes ms sutiles de las a matemticas. Pero aqu slo necesitaremos algunas ideas sencillas. El lector de este curso debe asegurarse a o de que tiene la soltura suciente como para trabajar con problemas que involucren esas ideas sencillas (como los que aparecen en la lista de problemas del curso). Para el trabajo que vamos a hacer en la siguiente seccin hay un resultado sobre valores absolutos y o desigualdades que resultar muy util enseguida: a Observacin (Intervalos denidos mediante el valor absoluto). o El conjunto de nmeros x que cumplen la desigualdad: u |x a| < r coincide con el intervalo de nmeros x que cumplen: u ar <x<a+r Es decir, con aquellos nmeros cuya distancia al nmero a (el centro del intervalo) es menor que r (el u u radio del intervalo). Con este lenguaje estamos ya preparados para entender la denicin del l o mite.

4.3.

Denicin formal de l o mite

Continuando la discusin inicial de este cap o tulo, a estas alturas debemos tener bastante claro al menos una idea informal de lo que hay detrs de la idea de l a mite. Cuando escribimos
xx0

l h(x) = L m

siendo L un cierto nmero, estamos diciendo que si se calcula f en un punto x cercano a x0 , se obtendr un u a valor que tal vez no sea L, pero que estar muy cerca de L. Y estar tanto ms cerca, cuanto ms a a a a acerquemos x a x0 . Como puede verse, en esta descripcin del l o mite la idea central es la de distancia. Si queremos ser ms a precisos, y obtener una denicin rigurosa, la mejor forma de pensar en esta denicin de l o o mite consiste probablemente en centrarnos en la idea de control del error: Nos jamos un objetivo de error mximo a tolerable, que jamos mediante un nmero al que, en este contexto, tradicionalmente se denomina . u Debemos pensar por tanto que ser un nmero pequeo, algo como 0,001 si deseamos cometer un error a u n de milsimas, o como 0,000001 si el tamao del error mximo debe ser del orden de millonsimas. Vamos e n a e a medir entonces el error que se comete al calcular h(x) en lugar de L, y queremos que ese error sea menor que . Es decir, queremos que la distancia entre h(x) y L sea menor que . Y recordando nuestra discusin sobre distancias de la seccin anterior, eso signica que debe cumplirse: o o |h(x) L| < Naturalmente, no podemos esperar que sto ocurra sea cual sea el valor de x que se utilice. Para que el e o o error sea pequeo, debemos tomar x cerca de x0 . Y as llegamos a la versin casi denitiva de la denicin n de l mite: Denicin 4.3.1 (Denicin provisional de l o o mite). Decimos que el l mite de h en x0 es L si, sea cual sea el error mximo que hayamos jado, se puede garantizar que se cumple a |h(x) L| < a cuando x est sucientemente cerca de x0 . 29

Para convertir esto en una denicin formal debemos precisar la parte que aparece subrayada en esta o denicin. Cules son los x que estn sucientemente cerca de x0 ? Pues todos aquellos cuya distancia o a a a x0 es pequea. Una forma de garantizar que esa distancia sea pequea es tomar un nmero pequeo n n u n que, tambin siguiendo la tradicin, denominaremos , y pedir que se cumpla e o |x x0 | < Si por ejemplo tomamos = 0,0001, estamos pidiendo que la distancia entre x y x0 sea menor que una diezmilsima. El nmero es casi la ultima pieza que nos faltaba en nuestra denicin de l e u o mite. Pero falta todav un detalle para que estemos preparados para la denicin de l a o mite. El siguiente ejemplo ilustra el tipo de situaciones que queremos evitar: Ejemplo 4.3.2. Sea h(x) = La grca de esta funcin tiene este aspecto: a o x2 2 si x = 1 si x = 1

El c rculo punteado pretende indicar que la grca de h est, por as decirlo, agujereada en x0 = 1, de a a modo que el valor h(1) = 2 se encuentra situado ms arriba, representado por un punto slido en la a o gura. Una situacin como la de este ejemplo, que sin duda parece bastante articial, es bastante molesta. o Porque, ya que el valor de h(1) parece bastante arbitrario, nos gustar decir que el l a mite de h en x = 1 es L = 1. Pero eso choca con la idea de que, para pequeo, si tomamos x sucientemente cerca de n x0 = 1 podemos conseguir que sea |h(x) L| < a Porque basta con tomar aqu x = 1 (es decir x = x0 ; no se puede estar ms cerca de x0 !) para obtener |h(x) L| = |h(1) 1| = |2 1| = 1 Y no hay manera de conseguir que esta cantidad, 1, sea menor que el pequeo con el que hab n amos empezado. La conclusin de este ejemplo es que, para conseguir una denicin satisfactoria, debemos aadir una o o n coletilla a la denicin provisional: sea cual sea el error mximo que hayamos jado, se puede garantizar o a que se cumple |h(x) L| < 30

cuando x est sucientemente cerca de x0 , y es distinto de x0 . La novedad es la parte que hemos destacado a en esta frase. Y la forma de excluir que sea x = x0 es escribir 0 < |x x0 | < en lugar de simplemente |x x0 | < . Ahora s con este matiz, ya tenemos todos los ingredientes necesarios para la denicin. , o Denicin 4.3.3 (Denicin de l o o mite). Decimos que el l mite de h en x0 es L si, sea cual sea el error mximo que hayamos jado, se puede elegir un nmero tal que, para todos los x que cumplen a u 0 < |x x0 | < se puede garantizar que se cumple |h(x) L| < En lenguaje formal: > 0 : 0 < |x x0 | < |h(x) L| < Hay que pensar en esta denicin como una especie de contrato: si t me dices el error que ests o u a dispuesto a admitir, yo me comprometo a encontrar el que garantiza que si tomas x a distancia menor que de x0 , los valores de h(x) que vas a obtener se parecen al valor L con un error menor que .

4.3.1.

Demostrar y calcular l mites

Cuando nos enfrentamos con un problema de l mites, nuestra primera preocupacin es averiguar cul o a es el nmero L qu debemos colocar a la derecha de la ecuacin: u e o
xx0

l h(x) =?? m

Una vez que tengamos un candidato a ser ese ese nmero L, entonces podremos usar la denicin para u o certicar que el l mite es cierto. Si no es as es que hay que buscar mejor el candidato a ser el l , mite. En principio, este es un esquema de trabajo posible, aunque poco prctico. Por esa razn, en los a o prximos cap o tulos vamos a desarrollar un mtodo diferente, que resultar mucho ms prctico. Se trata e a a a de un mtodo en el que calculamos y a la vez demostramos que el clculo es correcto. Es decir, que la e a inmensa mayor de las veces que usemos los l a mites no tendremos la necesidad de dar una demostracin o expl cita. La denicin de l o mite sirve, ante todo, como fundamento terico con el que construir dichos o mtodos. Los usuarios no matemticos del Clculo, cient e a a cos e ingenieros, no piensan no necesitan pensar en la denicin de l o mite cuando utilizan esos mtodos. Y lo bueno es, precisamente, que no e necesitan hacerlo, y aun as el resultado tiene una garant absoluta de correccin! a o Aunque la denicin de l o mite va a ser en este curso ante todo una herramienta terica, es importante o que el lector la entienda bien. Y ello es as por dos razones, al menos. En primer lugar porque, siendo el Clculo una de las disciplinas fundamentales sobre las que descansan la ciencia y la tcnica, cualquier a e lector culto no digamos ya si se trata de alguien que aspira a una formacin tcnica debe conocer la o e parte esencial de esta disciplina. Y en segundo lugar, porque hay al menos un aspecto muy prctico en a la denicin de l o mite: la denicin se puede utilizar para medir el esfuerzo necesario para garantizar la o precisin deseada en el clculo de una funcin. Veremos en la prxima seccin algunos ejemplos detallados o a o o o de esta armacin, que deben servir para mejorar nuestra comprensin del signicado del l o o mite.

4.4.

Ejemplos de demostraciones

Empezaremos por un caso muy sencillo, pero que trataremos con mucho detalle, para pasar despus e al problema de la tangente que hemos usado en ejemplos previos. Dejamos pendiente para una seccin o posterior el examen de algunos ejemplos en los que no existe el l mite. Entender estos ejemplos es crucial. Advertimos al lector de que no debe seguir adelante con la lectura hasta haberse hecho una idea, al menos bastante completa, de cul es la estructura de una demostracin de l a o mites, que le permita completar las demostraciones sencillas que aparecen en los ejercicios que acompaan al curso. n 31

Ejemplo 4.4.1. Vamos a empezar demostrando formalmente algo que intuitivamente es obvio:
x2

l x2 = 4 m

Como hemos dicho antes, nos planteamos la demostracin como si se tratar del cumplimiento de un o a contrato con un cliente. El cliente ha jado una precisin ; conviene que el lector piense, para jar o ideas, en un valor concreto, algo como = 106 . Y espera de nosotros el siguiente resultado: quiere que le demos como respuesta un cierto intervalo de valores de x, cercanos a 2, y que le garanticemos que el valor de h(x) = x2 , calculado para uno cualquiera de esos valores de x se parece a 4 con la precisin dada o por . Es decir, que el cliente estar satisfecho si al calcular con uno de los x que le entregamos obtiene a algo como 3,999999912 o como 4,0000003 Pero se disgustar si obtiene algo como 3,9: el error en este caso es demasiado grande. As pues, el a criterio de control de calidad que va a usar el cliente viene dado por la expresin: o |h(x) L| = |x2 4| < = 106 Nuestro objetivo, para satisfacer al cliente, es que nuestros valores de x cumplan |x2 4| < 106 De qu herramientas disponemos para conseguir esto? Lo que nosotros controlamos es la distancia entre e x y 2. Podemos pedirle al cliente que use un valor de x tan cercano a 2 como queramos. As pues, lo que controlamos es el tamao de n |x 2| Por tanto, la estrategia de la demostracin consiste en mostrar que, tomando |x 2| sucientemente o pequeo, se puede conseguir que |x2 4| sea tan pequeo como se necesite (ms pequeo que , concretan n a n mente). Para mostrar eso, la tarea consiste en establecer alguna relacin entre las dos cantidades. En este o caso, partimos del objetivo |x2 4| y lo manipulamos para tratar de relacionarlo con la cantidad que controlamos, que es |x 2|. El primer paso es evidente: |x2 4| = |(x 2)(x + 2)| = |x 2| |x + 2| y, en efecto, hemos conseguido hacer aparecer |x 2|. El problema es que no viene slo, lo acompaa o n el factor |x + 2|. Recordemos que nuestro objetivo es, en resumidas cuentas, demostrar que si |x 2| es pequeo, entonces |x2 4| = |x 2| |x + 2| es pequeo. Sabiendo que |x 2| es pequeo, podemos entonces n n n asegurar que |x 2| |x + 2| tiene que serlo? Hay que tener un poco de cuidado. El producto de algo muy pequeo por algo muy grande puede darnos ms de una sorpresa. As que, para conseguir nuestro objetivo, n a tenemos que demostrar que, si |x 2| es pequeo, entonces como consecuencia de ese hecho, el valor n de |x + 2| no es muy grande. Y entonces tendremos un razonamiento que esencialmente dir que a |x2 4| = |x 2| |x + 2| = (algo muy pequeo) (algo no muy grande) = (algo muy pequeo) n n Por lo tanto, lo que nos falta es ser capaces de argumentar que, si |x 2| es muy pequeo, entonces |x + 2| n no debe ser muy grande. Pero esto deber estar claro! Si pensamos en |x 2| muy pequeo, podemos a n pensar sin duda que ha de ser, por ejemplo, |x 2| < 1. Eso signica, como hemos visto al traducir estas expresiones en intervalos, que 1<x<3 amos, al controlar Y si tenemos un valor de x entre 1 y 3, es evidente que |x+2| < 5. Es decir, como quer el tamao de |x 2|, el tamao de |x + 2| queda automticamente bajo control. n n a Bueno, cmo usamos todas estas ideas para decidir cules son los valores de x que debe usar nuestro o a cliente? El cliente quiere, recordmoslo: |x2 4| < . Es decir, e |x 2| |x + 2| < Si empezamos por pedirle al cliente que, en cualquier caso, utilice slo valores de x que cumplan |x2| < 1, o entonces, como hemos visto: |x 2| |x + 2| < 5|x 2| 32

Y si tomamos valores de x que garanticen que la expresin de la derecha sea < , entonces estaremos o garantizando que los deseos del cliente se cumplen. Es decir, que debemos asegurarnos de que sea 5|x 2| < Pero es evidente que para que esto se cumpla basta con tomar |x 2| < . Es decir, que el cliente debe 5 usar valores que cumplan dos condiciones: 1. |x 2| < 1 2. |x 2| < 5

En condiciones normales, para un valor pequeo de , cumplir la segunda condicin implica que tambin n o e se cumple la primera. Pero si queremos tener una respuesta que le sirva al cliente sea cual sea el valor de que elija, podemos resumir la condicin sobre x as o : |x 2| < m 1, n = 5

La expresin a la derecha de la desigualdad es el que aparece en la denicin de l o o mite, y que dene la regin de valores de x que el cliente puede usar para obtener la precisin deseada. Naturalmente, o o depende de . Es importante entender, en el ejemplo que acabamos de detallar, que el valor de que hemos obtenido no es desde luego unico, y que en cualquier caso, no nos hemos esforzado en conseguir un que sea, en algn sentido, el mejor posible. Lo importante en una demostracin de l u o mite es que seamos capaces de demostrar que por pequeo que sea el con el que se empiece, siempre tenemos un que garantiza la n precisin deseada. o Veamos a continuacin el ejemplo 3.2.1 de clculo de 2, con el que venimos trabajando desde el o a principio del curso. Ejemplo 4.4.2. Vamos a demostrar que, para f (x) = x2 2, se tiene l m f (x) f (x0 ) = 2x0 = L x x0

xx0

Es decir, que una vez que jamos un valor de , tenemos que demostrar que se puede conseguir que sea: f (x) f (x0 ) 2x0 < x x0 siempre que se tome x sucientemente cerca de x0 . Por lo tanto, procediendo como en el ejemplo anterior, nuestro trabajo pasa por encontrar una relacin entre el tamao de o n f (x) f (x0 ) 2x0 y el de |x x0 | x x0 Manipulando la primera expresin: o (x2 2) (x2 2) x2 x2 2x0 (x x0 ) f (x) f (x0 ) ((x + x0 ) 2x0 )(x x0 ) 0 0 2x0 = 2x0 = = = x x0 x x0 x x0 x x0 |x x0 | Es decir, que en este ejemplo concreto: f (x) f (x0 ) L = |x x0 | x x0 Y por lo tanto se puede tomar simplemente = .

33

4.5.

Denicin formal de derivada. Continuidad Puntual o

Con la denicin de l o mite que acabamos de construir, estamos por n en condiciones de dar una respuesta rigurosa al problema de la tangente. La primera denicin que daremos es la denicin clsica o o a que el lector encontrar en la mayor de los textos de clculo: a a a Denicin 4.5.1 (Derivada, def. 1). o Supongamos que existe el l mite f (x) f (x0 ) l m xx0 x x0 Entonces diremos que f es derivable en x0 , y usaremos la notacin: o f (x) f (x0 ) f (x0 ) = l m xx0 x x0 El nmero f (x0 ) es la derivada de f en x0 . Y la recta de ecuacin u o y = f (x0 ) + f (x0 )(x x0 ) es la recta tangente a f en x0 .

4.5.1.

Denicin de continuidad puntual o

Dec amos al principio de este cap tulo, que en los casos normales, el l mite que se usa para el clculo a de una derivada siempre conduce a una indeterminacin de la forma 0/0. Queremos aclarar ahora cules o a son esos casos normales a los que nos refer amos: se trata de aquellos casos en los que se cumple
xx0

l f (x) = f (x0 ). m

Por tanto, en esta situacin, el numerador de la denicin de derivada tiende a 0. Vamos a darle un o o nombre a estos casos. Denicin 4.5.2 (Continuidad puntual). o La funcin f (x) es continua en x0 si se cumple o l f (x) = f (x0 ). m
xx0

Veremos en el prximo cap o tulo, cuando aprendamos ms detalles sobre el clculo de l a a mites, que si la funcin f no es continua en x0 entonces no existe la derivada en dicho punto. Adems, a medida que o a avancemos descubriremos que esta propiedad de la continuidad tiene muchas y profundas consecuencias, no slo relacionadas con el problema de la tangente. o

34