Está en la página 1de 84

1

APUNTES DE CÁLCULO
DIFERENCIAL

Primer Curso del Grado en Matemáticas

Cristina Pérez
Beatriz Porras
2
Índice general

0. Preliminares 5
0.1. Operaciones con lı́mites, funciones continuas y derivadas . . . . . . . . 5
0.2. Interpretación geométrica y fı́sica . . . . . . . . . . . . . . . . . . . . . 6
0.3. Derivación de funciones elementales . . . . . . . . . . . . . . . . . . . . 7
0.4. Crecimiento y decrecimiento . . . . . . . . . . . . . . . . . . . . . . . . 9
0.5. Extremos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
0.6. Regla de L0 Hôpital . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1. Números reales, sucesiones y series 13


1.1. Números reales, valores absolutos y desigualdades . . . . . . . . . . . . 13
1.2. Sucesiones en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3. Criterios de la convergencia de sucesiones . . . . . . . . . . . . . . . . . 22
1.4. Series en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.5. Criterios de convergencia de series . . . . . . . . . . . . . . . . . . . . . 29
1.6. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

2. Lı́mites y continuidad 33
2.1. Breve introducción a las funciones reales de variable real . . . . . . . . 33
2.2. Lı́mite de una función en un punto . . . . . . . . . . . . . . . . . . . . 34
2.3. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.4. Métodos para cálculo de lı́mites . . . . . . . . . . . . . . . . . . . . . . 39
2.5. Teorema de Bolzano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

3. Derivabilidad 45
3.1. Continuidad y derivabilidad . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2. Regla de L0 Hôpital. Aplicación para el cálculo de lı́mites . . . . . . . . 49
3.3. Regla de la cadena. Función inversa . . . . . . . . . . . . . . . . . . . . 49
3.4. Teorema de Rolle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.5. Fórmula de Taylor. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

3
4 ÍNDICE GENERAL

4. Funciones de varias variables reales 55


4.1. Funciones de varias variables reales . . . . . . . . . . . . . . . . . . . . 55
4.2. Lı́mites de funciones de varias variables . . . . . . . . . . . . . . . . . . 57
4.3. Métodos para cálculo de lı́mites . . . . . . . . . . . . . . . . . . . . . . 61

5. Derivación de funciones de varias variables 67


5.1. Diferenciación de funciones de varias variables . . . . . . . . . . . . . . 67
5.2. Propiedades de las funciones diferenciables. . . . . . . . . . . . . . . . . 73
5.3. Derivadas parciales de orden superior . . . . . . . . . . . . . . . . . . . 75
5.4. Fórmula de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.5. Extremos condicionados. Multiplicadores de Lagrange . . . . . . . . . . 79
5.6. Derivación de funciones implı́citas . . . . . . . . . . . . . . . . . . . . . 83
Capı́tulo 0

Preliminares

En este capı́tulo se recogen algunos conceptos y resultados básicos relativos a fun-


ciones reales de una variable real que serán usados en la asignatura. Supuestamente son
ya conocidos por el alumno. No obstante, puede resultar útil recogerlos en este capı́tulo
preliminar.

0.1. Operaciones con lı́mites, funciones continuas y


derivadas
Proposición 0.1.1 (Operaciones aritméticas con lı́mites) Sean f, g : X−→R
dos funciones definidas en un subconjunto no vacı́o X de R. Sea c ∈ R y sean l =
lı́mx→c f (x), m = lı́mx→c g(x). Entonces, se verifican las siguientes propiedades.
(i) (Lı́mite de la suma) lı́mx→c (f (x) + g(x)) = l + m.
(ii) (Lı́mite del producto) lı́mx→c (f (x) g(x)) = l m.
(iii) (Lı́mite del cociente) Si g(x) 6= 0 para todo x ∈ X y m 6= 0, entonces
lı́mx→c fg(x)
(x)
= ml .

Como consecuencia de la Proposición 0.1.1, obtenemos:

Proposición 0.1.2 (Operaciones aritméticas con funciones continuas) Sean


f, g : X−→R dos funciones definidas en un subconjunto no vacı́o X de R. Supongamos
que f y g son continuas en c ∈ X. Entonces, se verifican las siguientes propiedades.
(i) (Continuidad de la suma) f + g es continua en c.
(ii) (Continuidad del producto) f g es continua en c.
(iii) (Continuidad del cociente) Si g(x) 6= 0 para todo x ∈ X, entonces fg es
continua en c.

5
6 CAPÍTULO 0. PRELIMINARES

Proposición 0.1.3 (Operaciones aritméticas con derivadas) Sean f, g : I−→R


dos funciones definidas en un intervalo abierto I ⊂ R. Supongamos que f y g son
derivables en c ∈ I. Entonces, se verifican las siguientes propiedades.
(i) (Derivada de la suma) f +g es derivable en c y además (f +g)0 (c) = f 0 (c)+g 0 (c).
(ii) (Derivada del producto) f g es derivable en c y además (f g)0 (c) = f 0 (c) g(c)+
f (c) g 0 (c).
(iii) (Derivada del cociente) Si g(x) 6= 0 para todo x ∈ I, f /g es derivable en c
y además
f 0 (c) g(c) − f (c) g 0 (c)
(f /g)0 (c) = .
(g(c))2

0.2. Interpretación geométrica y fı́sica de la deriva-


da
En primer lugar mostramos la interpretación geométrica de la derivada de una fun-
ción f : I−→R en un punto c ∈ I. Como es usual, I es un intervalo abierto en R.
Consideremos la gráfica de la función y en ella tomemos los puntos (c, f (c)) y (c +
h, f (c + h)). Tracemos la recta secante que une estos dos puntos (ver la Figura 1). Si
h → 0, esta recta secante se aproxima a la recta tangente a la gráfica de f en el punto
(c, f (c)) (ver la Figura 2).
Si se calcula el valor de la pendiente de la secante, se tiene que su valor es
f (c + h) − f (c)
.
h
De este modo, al ir calculando la pendiente cuando h tiende a 0 se obtiene
f (c + h) − f (c)
lı́m ,
h→0 h
que es la definición de derivada de f en c, f 0 (c).
Tomando h = x − c, se tiene que
f (x) − f (c)
f 0 c) = lı́m
x→c x−c
(ver la Figura 1).
Por lo tanto, la derivada f 0 (c) se interpreta como la pendiente de la recta tangente
a la gráfica de f en el punto (c, f (c)). La ecuación de dicha recta tangente es

y − f (c) = f 0 (c)(x − c)
0.3. DERIVACIÓN DE FUNCIONES ELEMENTALES 7

y y

y = f(x) y = f(x)

f(x) - f(c) f(c+h) - f(c)

x-c h

c x x c c+h x

Figura 1: Recta secante

y = f(x)

f(c+h) - f(c)

h 0

c c+h x

Figura 2: Derivada=pendiente de recta tangente

La derivada f 0 (c) admite también una interpretación fı́sica relativa a la tasa de


variación de un fenómeno, como puede ser el cálculo de la velocidad de un vehı́culo en
un intanste dado, que no es más que la tasa de variación del espacio recorrido por dicho
vehı́culo en función del tiempo; o la aceleración del vehı́culo, que no es más que la tasa
de variación de su velocidad en función del tiempo.

0.3. Derivación de funciones elementales


En el siguiente resultado se incluyen las derivadas de las funciones elementales más
usuales.

Proposición 0.3.1 (Derivadas de las funciones elementales. Parte I)


(i) Si f (x) = xn (x ∈ R, n ∈ N), entonces f 0 (x) = n xn−1 .
(ii) Si f (x) = ln(x) (x > 0), entonces f 0 (x) = x1 .
(iii) Si f (x) = sin(x) (x ∈ R), entonces f 0 (x) = cos(x).
8 CAPÍTULO 0. PRELIMINARES

(iv) Si f (x) = cos(x) (x ∈ R), entonces f 0 (x) = − sin(x).


(v) Si f (x) = tan(x) (x 6= (2k + 1)π/2, k ∈ Z), entonces f 0 (x) = 1
cos2 (x)
=
1 + tan2 (x).
(vi) Sea α > 0. Si f (x) = αx (x ∈ R), entonces f 0 (x) = αx ln(α). En particular, si
f (x) = ex , entonces f 0 (x) = ex .
(vii) Sea α ∈ R. Si f (x) = xα (x > 0), entonces f 0 (x) = αxα−1 .

(viii) Si f (x) = n x, entonces f 0 (x) = n √ 1
n n−1 para todo x en el dominio de f , x 6= 0.
x
(ix) Si f (x) = arcsin(x) (x ∈ (−1, 1)), entonces f 0 (x) = √ 1
1−x2
(recordar que arcsin :
[−1, 1]−→[− π2 , π2 ], x 7→ arcsin(x)).
(x) Si f (x) = arc cos(x) (x ∈ (−1, 1)), entonces f 0 (x) = √ −1 (recordar que arc cos :
1−x2
[−1, 1]−→[0, π], x 7→ arc cos(x)).
(xi) Si f (x) = arctan(x) (x ∈ R), entonces f 0 (x) = 1
1+x2
(recordar que arctan :
R−→(− π2 , π2 ), x 7→ arctan(x)).

Además, aplicando la regla de la cadena, según la cual [h(f (x))]0 = h0 (f (x))f 0 (x), se
pueden calcular las derivadas de las funciones que se obtienen a partir de las conside-
radas en la proposición anterior, sustituyendo x por una función de x, lo que da lugar
al siguiente resultado.

Proposición 0.3.2 (Derivadas de las funciones elementales. Parte II)


(i)0 Si g(x) = f (x)n (n ∈ N), entonces g 0 (x) = n f (x)n−1 f 0 (x).
f 0 (x)
(ii)0 Si g(x) = ln(f (x)), entonces g 0 (x) = f (x)
.
(iii)0 Si g(x) = sin(f (x)), entonces g 0 (x) = cos(f (x))f 0 (x).
(iv)0 Si g(x) = cos(f (x)), entonces g 0 (x) = − sin(f (x))f 0 (x).
f 0 (x)
(v)0 Si g(x) = tan(f (x)), entonces g 0 (x) = cos2 (f (x))
= [1 + tan2 (f (x))]f 0 (x).
(vi)0 Sea α > 0. Si g(x) = αf (x) , entonces g 0 (x) = αf (x) ln(α)f 0 (x). En particular, si
g(x) = ef (x) , entonces g 0 (x) = ef (x) f 0 (x).
(vii)0 Sea α ∈ R. Si g(x) = f (x)α , entonces g 0 (x) = αf (x)α−1 f 0 (x).
f 0 (x)
p
(viii)0 Si g(x) = n f (x), entonces g 0 (x) = √
n n−1
.
n f (x)
0
(ix)0 Si g(x) = arcsin(f (x)), entonces g 0 (x) = √ f (x) .
1−f (x)2
0
(x)0 Si g(x) = arc cos(f (x)), entonces g 0 (x) = √−f (x) 2 .
1−f (x)
f 0 (x)
(xi)0 Si g(x) = arctan(f (x)), entonces g 0 (x) = 1+f (x)2
.
0.4. CRECIMIENTO Y DECRECIMIENTO 9

Observación 0.3.3 En cada uno de los apartados de la proposición anterior, se supone


que la función g y su derivada g 0 están definidas en los correspondientes dominios de
definición (por ejemplo, la función g(x) = ln(f (x)) y su derivada g 0 están definidas en
los x del dominio de f tales que f (x) > 0).

0.4. Crecimiento y decrecimiento de una función


Resulta de gran interés saber cuando una función es creciente o decreciente a efectos
de resolver desigualdades. La repuesta a esta pregunta nos la da la Proposición 0.4.2.
Como es usual, I es un intervalo abierto en R.

Definición 0.4.1 Sea f : I−→R una función definida en I. Se dice que:


(a) f es creciente en I si f (x) ≤ f (y) para todo x, y ∈ I, x < y.
(b) f es decreciente en I si f (x) ≥ f (y) para todo x, y ∈ I, x < y.

Proposición 0.4.2 (Caracterización de las funciones crecientes y decrecien-


tes) Sea f : I−→R una función derivable en I. Entonces, se verifica lo siguiente.
(i) f es creciente en I si y sólo si f 0 (x) ≥ 0 para todo x ∈ I.
(ii) f es decreciente en I si y sólo si f 0 (x) ≤ 0 para todo x ∈ I.

Observación 0.4.3 Las versiones de los apartados anteriores para funciones estricta-
mente (de)crecientes son las siguientes.
(i)0 f 0 (x) > 0 para todo x ∈ I =⇒ f es estrictamente creciente en I (es decir,
f (x) < f (y) para todo x, y ∈ I, x < y).
(ii)0 f 0 (x) < 0 para todo x ∈ I =⇒ f es estrictamente decreciente en I (es decir,
f (x) > f (y) para todo x, y ∈ I, x < y).
Pero los recı́procos en general no son ciertos. Por ejemplo, f (x) = x3 es estrictamente
creciente en R, pero f 0 (0) = 0. Ver la Figura 4.

0.5. Extremos de una función.


Recordamos en esta sección algunos resultados básicos sobre extremos relativos de
funciones las cuales, al igual que en las secciones anteriores, están definidas en un
intervalo abierto I en R.

Definición 0.5.1 Sea f : I−→R y sea c ∈ I.


10 CAPÍTULO 0. PRELIMINARES

(a) Se dice que c es un máximo relativo de f en I si existe un intervalo abierto Ic


de centro c contenido en I y tal que

f (x) ≤ f (c) para todo x ∈ Ic .

(b) Se dice que c es un mı́nimo relativo de f en I si existe un intervalo abierto Ic


de centro c contenido en I y tal que

f (x) ≥ f (c) para todo x ∈ Ic .

(c) Se dice que c es un extremo relativo de f en I si c es un máximo o un mı́nimo


relativo de f en I.
En la figura 3 se representa una función con 6 extremos relativos.

y y =f(x)

a b x

Figura 3: Extremos relativos

Proposición 0.5.2 (Condición necesaria de extremo relativo) Sea f : I−→R


una función derivable en c ∈ I. Si c es un extremo relativo de f en I, entonces f 0 (c) = 0.

Observación 0.5.3
1. Puede ocurrir que f 0 (c) = 0 y que c no sea un extremo relativo de f . Por ejemplo,
la función f (x) = x3 tiene derivada nula en x = 0, pero este punto no es extremo
relativo de f . Ver la figura 4.
0.5. EXTREMOS 11

100
3
y = x
50

-50

-4 -2 0 2 4

Figura 4: y 0 (0) = 0 pero 0 no es extremo

2. De la proposición anterior se deduce que si una función f es derivable en todo


x ∈ R, la función sólo puede tener extremos relativos en los puntos en los que su
derivada se anula.
No obstante, es posible que una función presente extremos relativos en puntos donde
no es derivable.

Ejemplo 0.5.4 La función f (x) = |x| no es derivable en x = 0, pero presenta un


mı́nimo relativo en x = 0 (de hecho, es trivial ver que x = 0 es un mı́nimo absoluto de
esta función). Ver la Figura 5.

y =|x|

Figura 5: Extremo en punto no derivable

Por lo tanto, para calcular los extremos relativos de una función f , además de
analizar los puntos en los que se anula la derivada de f , tenemos que analizar también
los puntos en los que f no es derivable.
12 CAPÍTULO 0. PRELIMINARES

0.6. Regla de L0Hôpital


Finalizamos esta capı́tulo exponiendo la regla de L0 Hôpital, que resulta de gran

utilidad para resolver indeterminaciones de la forma 00 e ∞ .

Teorema 0.6.1 (Regla de L0 Hôpital) Sean f, g : I−→R funciones derivables en I


(es decir, derivables en todos los puntos de I) y sea c ∈ I. Entonces, se verifica lo
siguiente.
(i) (Primera regla de L0 Hôpital) Supongamos que lı́mx→c f (x) = lı́mx→c g(x) = 0
0 (x)
y que además g(x) 6= 0 y g 0 (x) 6= 0 para todo x ∈ I. Entonces, si existe lı́mx→c fg0 (x) = `,
f (x)
también existe lı́mx→c g(x)
= ` (donde ` ∈ R o ` = ∞, −∞).
(ii) (Segunda regla de L0 Hôpital) Supongamos que lı́mx→c f (x) = lı́mx→c g(x) =
0 (x)
∞ y que además g 0 (x) 6= 0 para todo x ∈ I. Entonces, si existe lı́mx→c fg0 (x) = `, también
f (x)
existe lı́mx→c g(x)
= ` (donde ` ∈ R o ` = ∞, −∞).

Observación 0.6.2
1. Las dos reglas de L0 Hôpital son válidas cuando c = ∞, −∞.
2. Como consecuencia de la segunda regla de L0 Hôpital se obtiene que si k ∈ N:
ex
2(a). Cuando x → ∞, ex tiende a ∞ más rapidamente que xk , es decir, lı́mx→∞ xk
=
∞.
xk
2(b). Cuando x → ∞, xk tiende a ∞ más rapidamente que ln(x), es decir, lı́mx→∞ ln(x)
= ∞.
3. En general el alumno es un “apasionado”de la regla de L0 Hôpital y la usa sin
pensar si se puede aplicar o no. Este serı́a el caso al ¡intentar! calcular
x
lı́m
x→∞ x + sin x

aplicando dicha regla. En efecto, se quedarı́a en intento, ya que la derivada del deno-
minador se anula infinitas veces cuando x → ∞. Pero, por otra parte, no hay ninguna
necesidad de intentar recurrir a la regla de L0Hôpital para calcular el lı́mite anterior, ya
que dividiendo numerador y denominador por x se obtiene rápidamente que dicho
lı́mite vale 1.

Ejemplo 0.6.3 Calcular:


e3x −cos(3x)
1. lı́mx→0 e4x −cos(4x)
.
1/x
lı́mx→∞ x1

2. .
Capı́tulo 1

Números reales: Manejo de


sucesiones y series de números
reales

1.1. Números reales, valores absolutos y desigual-


dades
Son bien conocidos el conjunto N de los números naturales (N = {1, 2, 3, . . .}), el
conjunto Z de los números enteros (Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}) y el conjunto
Q de los números racionales (fracciones de números enteros con denominador no nulo)
y las operaciones suma y producto en ellos definidas.
Existen números que no son racionales. Esto ocurre, por ejemplo, cuando calculamos
la raı́z cuadrada de un número real a > 0 que no es un cuadrado perfecto. Entendemos
por raı́z cuadrada de a el único número b > 0 tal que b2 = a. En la Figura 1.1 se
muestra la construcción geométrica de dicho b para cualquier a > 0. Para ello, dados
dos segmentos de longitud 1 y a, se construye el semicı́rculo de diámetro a + 1 y
utilizando razonamientos geométricos sencillos se prueba (ejercicio para el alumno) que
el b que aparece en dicha Figura verifica que b2 = a.
En la Figura 1.1 también se muestra la construcción geométrica de la raı́z cuadrada

de un número natural. Por ejemplo, 2 representa la longitud de la hipotenusa de un
triángulo rectángulo cuyos catetos miden 1.

13
14 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES

1
1

1
5 4
3

6
b 2
1

a 1 7
1

Hallando b como raiz de a Hallando raices de algunos naturales

Figura 1.1: Construcción geométrica de raices cuadradas

Es necesario por lo tanto ampliar el conjunto de los números racionales, lo que nos
lleva al conjunto de los números reales. Introduciremos axiomáticamente dicho conjunto.

Definición 1.1.1 Llamamos conjunto de los números reales a un conjunto que


denotaremos por R, que verifica los siguientes axiomas.

AX1. En R hay definidas una operación suma + y una operación producto . ,


verificando las siguientes propiedades (x, y, z ∈ R).
Conmutativa para + : x + y = y + x.
Conmutativa para . : x.y = y.x.
Asociativa para + : (x + y) + z = x + (y + z).
Asociativa para . : (x.y).z = x.(y.z).
Elemento neutro (o nulo): Se denota por 0 y cumple que x + 0 = x para todo x ∈ R.
Elemento unidad: Se denota por 1 y cumple que x.1 = x para todo x ∈ R.
Elemento opuesto: Se denota por −x y cumple que x + (−x) = 0.
Elemento inverso: Si x =6 0, su inverso se denota por x−1 (o por x1 ) y cumple que
x.x−1 = 1.
Distributiva (del producto respecto de la suma): x.(y + z) = x.y + x.z.
AX2. En R está definido un orden, ≤, que verifica las siguientes propiedades:
Reflexiva: x ≤ x.
Antisimétrica: x ≤ y, y ≤ x =⇒ x = y.
Transitiva: x ≤ y, y ≤ z =⇒ x ≤ z.
Orden total: Dados x, y ∈ R se tiene que x < y ó x = y ó x > y.
Compatibilidad con la suma: x ≤ y ⇒ x+z ≤ y+z.
Compatibilidad con el producto: x ≤ y, 0 ≤ z ⇒ x.z ≤ y.z.

AX3. Todo subconjunto no vacı́o de R, acotado superiormente, tiene supremo en R (lo


que equivale a decir que todo subconjunto no vacı́o de R, acotado inferiormente, tiene
ı́nfimo en R).
1.1. NÚMEROS REALES, VALORES ABSOLUTOS Y DESIGUALDADES 15

Para entender el axioma AX3 son necesarios los siguientes conceptos.

Definición 1.1.2 Sea A ⊂ R.


(a) Se dice que A está acotado superiormente si existe b ∈ R tal que x ≤ b para
todo x ∈ A. Al número b se le llama una cota superior de A. La menor de las cotas
superiores de A se llama supremo de A y se denota por sup(A). Si sup(A) ∈ A, se
llama máximo de A y se denota por max(A).
(b) Se dice que A está acotado inferiormente si existe a ∈ R tal que x ≥ a para
todo x ∈ A. Al número a se le llama una cota inferior de A. La mayor de las cotas
inferiores de A se llama ı́nfimo de A y se denota por inf(A). Si inf(A) ∈ A, se llama
mı́nimo de A y se denota por min(A).
(c) Se dice que A está acotado si lo está superior e inferiormente.

COTAS SUPERIORES (INFERIORES), EN CASO DE EXISTIR,

¡HAY INFINITAS!

EL SUPREMO (INFIMO), EN CASO DE EXISTIR,

¡ES UNICO!

EL SUPREMO (INFIMO), EN CASO DE EXISTIR,

¡PUEDE NO PERTENECER AL CONJUNTO!


Ejemplo 1.1.3 Deducir del axioma AX3 que existe 2.

Definición 1.1.4 Un número real que no es racional se llama irracional. El conjunto


de todos los números irracionales se denota por R \ Q.

Para el cálculo de supremos e ı́nfimos resulta muy útil el siguiente resultado.

Proposición 1.1.5 (Densidad del orden) Sean x, y ∈ R tales que x < y. Entonces,
existe un número racional y un número irracional en el intervalo (x, y) (de hecho, existen
infinitos números racionales e irracionales en el intervalo (x, y)).
16 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES

Observación 1.1.6 En un lenguaje informal, la proposición anterior nos dice que en


la recta real “no hay huecos”. De ahı́ el nombre de “Densidad del orden”.
√ √ √ √
Ejemplo 1.1.7 Sea A = {x ∈ Q : 2 < x < 3} (= {x ∈ Q : 2 ≤ x ≤ 3}).
√ √
Aplicando la Proposición 1.1.5 se prueba que inf(A) = 2, sup(A) = 3. Este ejemplo
muestra que hay conjuntos de números racionales cuyo ı́nfimo y supremo son irracio-
nales.
Análogamente, si se considera el conjunto B = {x ∈ R \ Q : 2 < x < 3} (=
{x ∈ R \ Q : 2 ≤ x ≤ 3}), aplicando nuevamente la Proposición 1.1.5, se prueba
que inf(A) = 2, sup(A) = 3. Este ejemplo muestra que hay conjuntos de números
irracionales cuyo ı́nfimo y supremo son racionales.

Finalizamos esta sección con un breve estudio del valor absoluto en R.

Definición 1.1.8 Se llama valor absoluto de x ∈ R al número real |x| definido por

x si x ≥ 0
|x| =
−x si x < 0.

Observación 1.1.9
1. |x| representa la longitud del segmento de la recta real que une 0 y x, es decir, la
distancia de x a 0.
2. Si A ⊂ R, se verifica que

A está acotado ⇐⇒ existe M > 0 tal que |x| ≤ M para todo x ∈ A.

y =|x|

Figura 1.2: Gráfica del valor absoluto


1.1. NÚMEROS REALES, VALORES ABSOLUTOS Y DESIGUALDADES 17

¡OBSERVAR QUE x2 = |x|!

Proposición 1.1.10 Sean ε > 0. Entonces,

|x| < ε ⇐⇒ −ε < x < ε ⇐⇒ x ∈ (−ε, ε),


|x| ≤ ε ⇐⇒ −ε ≤ x ≤ ε ⇐⇒ x ∈ [−ε, ε].

Ejemplo 1.1.11 Resolver |x + 1| < 3.

Proposición 1.1.12 (Propiedades del valor absoluto) Dados x, y ∈ R, se verifica


lo siguiente.
(a) |x| ≥ 0, |x| = 0 ⇐⇒ x = 0.
(b) |x + y| ≤ |x| + |y| (desigualdad triangular).
(c) |x − y| ≥ | |x| − |y| | (desigualdad triangular inversa).
(d) |x.y| = |x| . |y|.

Observación 1.1.13 Las desigualdades en (b) y (c) pueden ser estrictas. Basta tomar
por ejemplo x = 3, y = −2.
18 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES

1.2. Sucesiones en R y lı́mites (finitos e infinitos) de


tales sucesiones

Idea intuitiva de sucesión. Una sucesión en R es una lista infinita de números reales
a1 , a2 , . . . que se escriben siguiendo el orden de sus subı́ndices, los cuales son números
naturales.

Definición 1.2.1 (Definición formal de sucesión) Se llama sucesión en R a toda


aplicación f : N−→R, n 7→ f (n). En lugar de f (n) se escribe an y se llama término
general de la sucesión. A la sucesión se la denota por (an )n .

60
3/4
50
40
1/2
30
1/3
20 1/4
1/6
10

1 2 3 4 5 6 n 1 2 3 4 5 6 n
2
(a) 2n -n (b) 1/n
13

1 2 3 4 5 6 n 5

3
2
-1 1

n 1 2 3 4 5 6 7 8
(c) (-1)
(d) a n = a n-1 + a n-2
a1 = a2 =1

Figura 1.3: Ejemplos de sucesiones

Ejemplo 1.2.2 (ver la Figura 1.3)


(a) La sucesión 1, 6, 15, 28, . . . tiene por término general an = 2n2 − n. Se escribe
(2n2 − n)n .
1.2. SUCESIONES EN R 19

(b) La sucesión 1, 12 , 31 , . . . tiene por término general an = n1 . Se escribe ( n1 )n .


(c) La sucesión −1, 1, −1, 1, . . . tiene por término general an = (−1)n . Se escribe
((−1)n )n .
(b) La sucesión 1, 1, 2, 3, 5, 8, . . . tiene por término general a1 = 1, a2 = 1, an =
an−1 + an−2 (n > 2). Se llama sucesión de Fibonacci.
Idea intuitiva de lı́mite de una sucesión. Una sucesión (an )n en R tiene por lı́mite
el número a ∈ R si los términos an de la sucesión se acercan al número a tanto como
queramos, siempre que n sea suficientemente grande.

Definición 1.2.3 (Definición formal de lı́mite de una sucesión) Sea (an )n una
sucesión en R y sea a ∈ R. Se dice que (an )n tiene por lı́mite el número a si

para todo ε > 0 existe nε ∈ N tal que |an − a| < ε para todo n ≥ nε .

Ver la Figura 1.4. Cuando una sucesión tiene por lı́mite a, se escribe lı́mn an = a.
Se dice que (an )n es una sucesión convergente si existe a ∈ R tal que lı́mn an = a.

{a n }

a+e

a- e

ne n

|an -a | < e <=> a -e < an <a+e

Figura 1.4: Sucesión convergente con lı́mite a

Observación 1.2.4
1. La notación nε utilizada en la definición anterior, quiere decir que dicho número
natural depende de ε.
2. Calcular el lı́mite de una sucesión, aplicando la definición anterior, resulta gene-
ralmente difı́cil. Incluso en casos en que intuitivamente está claro cual es el valor de
dicho lı́mite, como por ejemplo lı́mn n1 = 0 (ver la Figura 1.3.(b)).
20 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES

Por ello, es necesario conocer métodos para calcular lı́mites de sucesiones. Los más
usuales se exponen en la Sección 1.3.

Proposición 1.2.5 Si una sucesión tiene lı́mite, éste es único.

Idea intuitiva de lı́mites infinitos. Si (an )n es una sucesión en R, entonces:


(a) (an )n tiene lı́mite +∞ si los términos an de la sucesión se hacen tan grandes
como queramos, siempre que n sea suficientemente grande.
(b) (an )n tiene lı́mite −∞ si los términos an de la sucesión se hacen tan pequeños
(signo incluido) como queramos, siempre que n sea suficientemente grande.

Definición 1.2.6 (Definición formal de lı́mites infinitos) Si (an )n es una suce-


sión en R, entonces:
(a) (an )n tiene lı́mite +∞ si

para todo M ∈ R existe nM ∈ N tal que an ≥ M para todo n ≥ nM .

Se representa por lı́mn an = +∞.


(b) (an )n tiene lı́mite −∞ si

para todo M ∈ R existe nM ∈ N tal que an ≤ M para todo n ≥ nM .

Se representa por lı́mn an = −∞.

Claramente, lı́mn an = +∞ ⇐⇒ lı́mn −an = −∞.

Ejemplo 1.2.7 Para las sucesiones consideradas en el Ejemplo 1.2.2, se tiene lo si-
guiente.
(a) lı́mn 2n2 − n = +∞.
(b) lı́mn n1 = 0.
(c) la sucesión (an )n con an = (−1)n , no tiene ningún lı́mite, ni finito ni infinito.
(d) Si (an )n es la sucesión de Fibonacci, lı́mn an = +∞.

Observación 1.2.8 Usualmente escribiremos ∞ en vez de +∞.

Proposición 1.2.9 (Operaciones aritméticas con lı́mites) Sean (an )n y (bn )n dos
sucesiones convergentes en R. Sean a = lı́mn an , b = lı́mn bn . Entonces, se verifican las
siguientes propiedades.
(i) lı́mn (an + bn ) = a + b.
(ii) lı́mn (an .bn ) = a.b.
1.2. SUCESIONES EN R 21

(iii) lı́mn (λ.bn ) = λ.b (λ ∈ R).


(iv) Si bn , b 6= 0, lı́mn (an /bn ) = a/b.
(v) lı́mn ean = ea .
(vi) Si an , a > 0, lı́mn ln(an ) = ln(a).

Recordar que las siguientes operaciones son indeterminaciones:


0 ∞ 0 ∞
∞ − ∞, 0 · ∞, , , 0 , 1 , ∞0 .
0 ∞
Cuando en estas indeterminaciones escribimos ∞ lo que hay que leer es “sucesión
que tiende a ∞”. Analogamente cuando escribimos 0 o 1. El mismo convenio se usa
en el siguiente resultado, en el que se incluyen las operaciones con ∞ que no son
indeterminaciones. Por ejemplo, el apartado (i) se leerı́a:
“Si una sucesión tiende a a (o a ∞) y otra sucesión tiende a ∞, entonces su suma
tiende a ∞”.

Proposición 1.2.10
(i) (Sumas con ∞) Para todo a ∈ R, a + ∞ = ∞ + ∞ = ∞.
(ii) (Productos con ∞) Si a > 0, a · ∞ = ∞ · ∞ = ∞. Si a < 0 el primer producto
es −∞.
(iii) (Cocientes con ∞)
• ∞ 0
= ∞ si el denominador tiende a 0 con valores positivos. Y si el denominador
tiende a 0 con valores negativos, este cociente es −∞.

• Si a > 0, a
= ∞. Si a < 0, este cociente es −∞.
a
• Para todo a ∈ R, ∞
= 0.
(iii) (Potencias con ∞)
• Si a > 0, (∞)a = ∞. Si a < 0, esta potencia es 0.
• Si a > 1, a∞ = (∞)∞ = ∞.
• Si a < 1, a∞ = 0∞ = 0.
Recordar que las bases de las potencias han de ser números positivos.

Se deja como ejercicio para el alumno las versiones de las anteriores operaciones
cuando se considera −∞ en vez de ∞.

Observación 1.2.11 El hecho de que lı́mn an = 0 no implica que lı́mn a1n = ∞. Incluso
puede ocurrir que lı́mn an = 0 y que la sucesión ( a1n )n no tenga lı́mite, ni finito ni infinito,
por ejemplo, cuando an = (−1)n n1 .
22 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES

1.3. Criterios más habituales para el estudio de la


convergencia de una sucesión en R y para el
cálculo de su lı́mite en caso de que éste exista:
regla del sandwich, sucesiones monótonas (el
número e), criterio de Stolz, equivalencias
Proposición 1.3.1 (Regla del Sandwich) Sean (bn )n y (cn )n dos sucesiones en R
convergentes hacia el mismo lı́mite a ∈ R ∪ {−∞, +∞}. Sea (an )n otra sucesión verifi-
cando que
bn ≤ an ≤ cn para todo n ∈ N.

Entonces, lı́mn an = a.

Observación 1.3.2 El nombre “Regla del Sandwich” es muy intuitivo. Si una sucesión
está en un sandwich entre otras dos (las “tapas del sandwich”) y esas dos se acercan
a un mismo número a, la sucesión que está entre ellas también tiene que acercarse a
dicho número. Ver la Figura 1.5.

{cn}
a {an}
{bn }

Figura 1.5: Regla del Sandwich

Ejemplo 1.3.3 Aplicando la regla del sandwich, calcular

n2 n2 n2
lı́m + + . . . + .
n n3 + n n3 + 2n n3 + n2
1.3. CRITERIOS DE LA CONVERGENCIA DE SUCESIONES 23

Definición 1.3.4 (Sucesiones monótonas) Sea (an )n un sucesión en R.


(a) Se dice que (an )n es creciente si an ≤ an+1 para todo n ∈ N. Cuando la anterior
desigualdad es estricta, se dice que (an )n es estrictamente creciente.
(b) Se dice que (an )n es decreciente si an ≥ an+1 para todo n ∈ N. Cuando la anterior
desigualdad es estricta, se dice que (an )n es estrictamente decreciente.
(c) Se dice que (an )n es monótona si es creciente o decreciente.

Ejemplo 1.3.5 En la Figura 1.3, las sucesiones de los apartados (a) y (d) son crecientes
mientras que la sucesión del apartado (b) es decreciente. La sucesión del apartado (c)
no es ni creciente ni decreciente.

Teorema 1.3.6 (Teorema de la Convergencia Monótona)


(a) (Para sucesiones crecientes) Sea (an )n una sucesión creciente de números
reales. Entonces,
(an )n es convergente ⇐⇒ el conjunto A = {an : n ∈ N} está acotado superiormente.

Además, lı́mn an = sup(A).


(b) (Para sucesiones decrecientes) Sea (an )n una sucesión decreciente de núme-
ros reales. Entonces,
(an )n es convergente ⇐⇒ el conjunto A = {an : n ∈ N} está acotado inferiormente.

Además, lı́mn an = inf(A).

Ejemplo 1.3.7 (El número e) Sea (an )n la sucesión de término general


1 n
an = (1 + ) .
n
Se verifica que (an )n es creciente y acotada superiormente por 3. Por el Teorema 1.3.6,
se tiene que (an )n es convergente. Su lı́mite se llama número e.

Proposición 1.3.8 (Criterio de Stolz) Sea (bn )n una sucesión estrictamente cre-
n+1 −an
ciente y tal que lı́mn bn = ∞. Si la expresión abn+1 −bn
admite lı́mite (finito o infinito),
entonces se verifica que
an an+1 − an
lı́m = lı́m .
n bn n bn+1 − bn

Ejemplo 1.3.9 Aplicando el criterio de Stolz, probar que para todo k ∈ N:


n
(a) lı́mn ne k = ∞.
nk
(b) lı́mn ln n
= ∞.
24 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES

Observación 1.3.10 Recordar que aplicando la Regla de L0 Hôpital se obtienen las


versiones de los lı́mites anteriores para funciones, es decir, reemplazando “n”por “x”.
Ver la Observación 0.6.2.2.

Definición 1.3.11
(a) Se llama infinitésimo a toda sucesión (an )n tal que lı́mn an = 0.
(b) Se llama infinito a toda sucesión (an )n tal que lı́mn an = +∞, −∞.

Las siguientes propiedades son muy útiles, a efectos de probar que un lı́mite es nulo.

Proposición 1.3.12
(a) lı́mn an = 0 ⇐⇒ lı́mn |an | = 0.
(b) Supongamos lı́mn an = 0 y que (bn )n es una sucesión acotada (es decir, {bn : n ∈
N} es un conjunto acotado). Entonces, lı́mn an bn = 0.

Ejemplo 1.3.13
1. Usar la regla del sandwich para probar el apartado (b) de la Proposición 1.3.12.
n−1
 5 
−1 n
2. Calcular lı́mn (−1)n cos ( nn+3 ) .

Definición 1.3.14 Se dice que dos infinitésimos (respectivamente infinitos) (an )n y


(bn )n son equivalentes si lı́mn abnn = 1. Se escribe an ∼ bn .

Observación 1.3.15
1. Intuitivamente, el que an ∼ bn quiere decir que (an )n y (bn )n tienden a cero (o a
infinito) con la misma velocidad.
2. En la siguiente página se proporciona una tabla de equivalencias para sucesiones.

Proposición 1.3.16 (Principio de sustitución) El lı́mite de una sucesión no se


altera al sustituir uno de sus factores o divisores por otro factor o divisor que sea
equivalente a él (ya sea infinitésimo o infinito).

Ejemplo 1.3.17 Aplicando el principio de sustitución, calcular

9n7 ln 1 − n12 sin n14


 
lı́m .
n 3n − 1
1.3. CRITERIOS DE LA CONVERGENCIA DE SUCESIONES 25

INFINITESIMOS E INFINITOS EQUIVALENTES.


SUCESIONES

1) Si lı́mn an = 0.

ln(1 + an ) ∼ an
sin an ∼ an
1 − cos an ∼ a2n /2
tan an ∼ an
arcsin an ∼ an
arctan an ∼ an
ean − 1 ∼ an
(1 + an )α − 1 ∼ α an

2) Si lı́mn an = 1.

ln an ∼ an − 1
√n
a − 1 ∼ n1 ln a (a > 0)

3) Si n → ∞.

ap np + a(p−1) np−1 + . . . + a0 ∼ ap np
ln(ap np + a(p−1) np−1 + . . . + a0 ) ∼ ln np , si ap > 0

n! ∼ e−n nn 2 π n (fórmula de Stirling)
26 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES

1.4. Series en R y convergencia de tales series.


Ejemplos: series geométricas y series armónicas

Idea intuitiva de serie y de convergencia de una tal serie. Una serie es una suma
infinita de números reales a1 + a2 + a3 + . . .. Cuando estos números se pueden sumar
y el resultado es un número finito, se dice que la serie es convergente. Intuitivamente
parece imposible que esto pueda ocurrir, especialmente cuando queremos sumar infinitos
números positivos. Sin embargo, la Figura 1.6 sugiere que esto es posible. La distancia
entre 0 y 1 se puede dividir en una sucesión infinita de distancias 21 , 14 , 18 , . . . y por tanto
parece razonable pensar que
1 1 1 1
+ + + + . . . = 1. (1.1)
2 4 8 16
En el Ejemplo 1.4.8 veremos que en efecto la fórmula anterior es válida.

1 1 1 1
2 4 8 16

0 1 3 7 15 1
2 4 8 16

Figura 1.6: Infinitos números positivos se pueden sumar

Definición 1.4.1 (Definición formal de serie y de serie convergente) Dada


una sucesión (an )n de números reales, se llama serie a la suma infinita a1 +a2 +a3 +. . ..
P
Lo denotaremos por n an . Suele llamarse a an término general de la serie.
A partir de (an )n se construye una nueva sucesión (Sn )n , de sumas parciales, de la
siguiente forma.

S1 = a1 , S2 = a1 + a2 , . . . , Sn = a1 + . . . + an , . . .
P
Si existe lı́mn Sn = S y S es un número finito, se dice que n an es una serie
P
convergente y que su suma vale S. Se denota S = n an .
Una serie que no es convergente, se llama divergente.

P
La notación anterior S = n an es la que utilizaremos para escribir de forma abre-
viada ∞
P
n=1 an .
1.4. SERIES EN R 27

Observación 1.4.2 Al hacer las sumas parciales, vamos sumando “poco a poco” los
diferentes términos de la sucesión (an )n . Primero sólo consideramos a1 , luego sumamos
los dos primeros términos, a1 +a2 , luego los 3 primeros términos, a1 +a2 +a3 ,...... Y cada
vez sumamos más términos. Por eso se toma el lı́mite de las sumas parciales cuando
n → ∞.

Puede ocurrir que por algún motivo nos interese empezar sumando desde n = 0
(por ejemplo, en las series geométricas de la Proposición 1.4.6) o desde un número
1
natural mayor que 1 (por ejemplo en la serie cuyo término general es (n−1) 2 , hemos de

empezar en n = 2, ya que éste no está definido para n = 1). En estos casos escribiremos
explı́citamente los valores de n en el sumatorio. Esto es lo que se hace en la Proposición
1.4.6 para series geométricas. En el caso de la segunda serie mencionada escribirı́amos
P∞ 1
n=2 (n−1)2 .

El siguiente resultado nos da una condición que necesariamente ha de cumplir el


término general de una serie convergente.
P
Proposición 1.4.3 (Condición necesaria de convergencia) Si la serie n an es
convergente, entonces lı́mn an = 0. Abreviadamente,
P
n an convergente =⇒ lı́mn an = 0. (1.2)

Por tanto, si el término general de una serie no tiende a cero, dicha serie ha de ser
divergente. Este es el caso del siguiente ejemplo.

n2 n2
P
Ejemplo 1.4.4 La serie n n2 +3 no es convergente, ya que lı́mn n2 +3
= 1 6= 0.

Observación 1.4.5 Ahora bien, como su nombre indica, la condición lı́mn an = 0 de la


P
Proposición 1.4.3 es una condición necesaria para que la serie n an sea convergente.
Pero no es una condición suficiente. Es decir, del hecho de que el término general
de una serie tienda a 0, no se puede concluir ni que la serie sea convergente ni que
sea divergente, como se muestra en el Ejemplo 1.4.11. La conclusión final sobre la
convergencia o no convergencia de la serie habrá que tomarla utilizando alguno de los
criterios de convergencia de series que vamos a exponer.

Dos tipos de series para las que se conoce cuando son convergentes e incluso sus
sumas en caso de que lo sean, son las series geométricas y las series armónicas, que
estudiamos a continuación.
28 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES

Proposición 1.4.6 (Series geométricas) Las series geométricas son de la forma


P∞ n 2
n=0 r = 1 + r + r + . . . (r ∈ R).
n
Se verifica que, para cada n ∈ N, Sn = 1 + r + rn−1 = 1−r
1−r
, de donde se deduce que
P∞ n
n=0 r es convergente ⇐⇒ |r| < 1.

Además, en caso de convergencia, la suma de la serie es



X 1
rn = . (1.3)
n=0
1−r

Observación 1.4.7 En una serie geométrica como la anterior, se tiene que an = rn


para todo n ∈ N ∪ {0}, es decir, se pasa de an a an+1 multiplicando por r, que suele
llamarse razón de la serie geométrica. Probablemente este nombre resulte familiar a los
alumnos que hayan estudiado progresiones geométricas. Observar que la serie geométrica
es la suma de la progresión geométrica, cuando dicha suma exista.
1 n
P∞ 1 n
Ejemplo 1.4.8 Calcular, en caso de ser posible, ∞
P 
n=0 2 y n=1 2 .

Proposición 1.4.9 (Series armónicas) Una serie armónica es una serie de la forma
P 1
n nα , donde α es un número real.
Se verifica que
P 1
n nα es convergente ⇐⇒ α > 1.

Observación 1.4.10 A nivel de cultura general, no está de más saber que, para cada
α > 1, n n1α = ζ(α), donde ζ es la función Zeta de Riemman. Es probable que en
P

cursos superiores se estudie en detalle esta función.

Ejemplo 1.4.11
(a) La serie n √1n diverge, ya que α = 12 < 1.
P

(b) La serie n n1 diverge, ya que α = 1.


P

(c) La serie n n13 converge, ya que α = 3 > 1.


P

Por otro lado, tenemos que lı́mn √1 = lı́mn 1


= 0. Por tanto, los ejemplos (a) y (b)
n n
muestran que

EL RECIPROCO DE LA IMPLICACION =⇒ DE (1.2) EN GENERAL NO


ES CIERTO,

ES DECIR,

¡EXISTEN SERIES DIVERGENTES CUYO TERMINO GENERAL


TIENDE A CERO!
1.5. CRITERIOS DE CONVERGENCIA DE SERIES 29

1.5. Series de términos positivos y de términos cua-


lesquiera. Criterios más habituales para el estu-
dio de su convergencia: de Gauss, del cociente,
de Leibniz, convergencia absoluta
Para las series geométricas y armónicas, sabemos exactamente cuando convergen y
cuando divergen, como hemos visto en la sección anterior. Sin embargo, para las series
que no sean de uno de estos dos tipos, el único criterio que conocemos para estudiar su
(no) convergencia, es el de la Proposición 1.4.3. Necesitamos conocer más criterios. En
esta sección exponemos los más habituales.
En primer lugar consideramos series de términos positivos.

Proposición 1.5.1 (Criterios de convergencia para series de términos posi-


P P
tivos) Sean n an y n bn dos series de términos positivos. Entonces, se verifica lo
siguiente.
(a) (Criterio de comparación de Gauss) Supongamos que an ≤ bn para todo
n ∈ N. Entonces:
P P
(a.1) n bn convergente =⇒ n an convergente.
P P
(a.2) n an divergente =⇒ n bn divergente.
an
(b) (Criterio de comparación por paso al lı́mite) Si existe lı́mn bn
y este lı́mite
P P
es 6= 0, ∞, las series n an y n bn tienen el mismo carácter, es decir,
P P
n an converge ⇐⇒ n bn converge.

(c) (Criterio del cociente) Sea r = lı́mn an+1an


. Entonces:
P
(c.1) r < 1 =⇒ n an convergente.
P
(c.2) r > 1 =⇒ n an divergente.
(c.3) r = 1. Este criterio no aporta información.
(d) (Criterio de Raabe-Duhamel,
  usualmente aplicado cuando falla el criterio
an+1
del cociente) Sea r = lı́mn n 1 − an . Entonces:
P
(d.1) r > 1 =⇒ n an convergente.
P
(d.2) r < 1 =⇒ n an divergente.
(d.3) r = 1. Este criterio no aporta información.

Ejemplo 1.5.2 Estudiar el carácter de las siguientes series. Comprobar que son de
términos positivos.
2
(a) n sin n(nx)
P
3 , x ∈ R.
30 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES
P 3+cos(nπ/2)
(b) n n+5
2
P
(c) n tan(1/n ).
P (x+1)(x+2)...(x+n)
(d) n n!
(x > −1).
A continuación exponemos algunos criterios para estudiar la convergencia de series
de términos cualesquiera (no necesariamente positivos).
P P
Definición 1.5.3 Una serie n an es absolutamente convergente si n |an | es
convergente.

Proposición 1.5.4 (Criterios de convergencia para series de términos cuales-


quiera)
P P
(a) (Convergencia absoluta) n an es absolutamente convergente =⇒ n an es
convergente.
(b) (Criterio de Leibniz) (bn )n es una sucesión decreciente tal que lı́mn bn = 0
=⇒ n (−1)n bn es convergente.
P

Ejemplo 1.5.5
(a) Probar que la serie n sin(n x)
P
n3
( x ∈ R) es convergente.
n1
P
(b) Probar que la serie n (−1) n , es convergente.
P
Sin embargo, esta última serie no es absolutamente convergente, ya que n (−1)n n1
= n n1 no es convergente (es la serie armónica con α = 1). Esto muestra que
P

EL RECIPROCO DE LA IMPLICACION =⇒ DE LA PROPOSICION


1.5.4.(a) EN GENERAL NO ES CIERTO,

ES DECIR,

¡EXISTEN SERIES CONVERGENTES QUE NO SON ABSOLUTAMEN-


TE CONVERGENTES!

1.6. Series de potencias


Definición 1.6.1 Una serie de potencias es una serie del tipo

X
an (x − c)n = a0 + a1 (x − c) + . . . + an (x − c)n + . . . (x ∈ R).
n=0

Los números reales an se llaman coeficientes de la serie de potencias.


1.6. SERIES DE POTENCIAS 31

Para los valores de x en los que dicha serie de potencias converge su suma depende
del valor de x, con lo que tenemos una función de x, S(x) = ∞ n
P
n=0 an (x − c) . Vamos
a ver cómo hallar estos valores de x. Para ello, necesitamos la siguiente definición.

Definición 1.6.2 Supongamos que existe lı́mn an+1 y que su valor es s (pudiendo

an
ser s = ∞). Entonces, el número r = 1s se llama radio de convergencia de la serie
de potencias ∞ n
P
n=0 an (x − c) . Se entiende que r = ∞ cuando s = 0 y que r = 0
cuando s = ∞.

Entonces, se verifica:

Teorema 1.6.3 (Convergencia de series de potencias) Dada una serie de poten-


cias ∞ n
P
n=0 an (x − c) se tiene que ó bien esta serie sólo converge en x = c (esto ocurre
cuando r = 0), ó bien la serie converge en el intervalo abierto (c − r, c + r) y no converge
fuera del intervalo [c − r, c + r], siendo r el radio de convergencia de la serie.

Observación 1.6.4 Vamos a dar ejemplos de las series de potencias más usuales, que
P∞ n
son aquellas en las que c = 0, es decir, de la forma n=0 an x . De acuerdo con el
teorema anterior se tiene que ó bien esta serie sólo converge en x = 0 (esto ocurre
cuando r = 0), ó bien la serie converge en el intervalo abierto (−r, r) y no converge
fuera del intervalo [−r, r], siendo r el radio de convergencia de la serie.
1. Existen series de potencias que sólo convergen para x = 0 (es decir, para las que
r = 0).
Ejemplo: ∞ n
P
n=0 n! x .
2. También, existen series de potencias que convergen para todo x ∈ R (es decir,
para las que r = ∞).
Ejemplo: ∞ xn
P
n=0 n! .
3. Cuando r 6= 0, ∞, en los extremos del intervalo, −r y r, no se puede decir nada
sobre la convergencia de la serie de potencias. En cada uno de estos dos puntos la serie
puede ser o no ser convergente, como se muestra en los siguientes ejemplos.
• El radio de convergencia de ∞ n
P
n=0 x es r = 1. Esta serie converge en (−1, 1) y no
converge fuera de este intervalo.
• El radio de convergencia de ∞ xn
P
n=1 n es r = 1. Esta serie converge en [−1, 1) y no
converge fuera de este intervalo.
(−1)n xn
• El radio de convergencia de ∞
P
n=1 n
es r = 1. Esta serie converge en (−1, 1]
y no converge fuera de este intervalo.
• El radio de convergencia de ∞ xn
P
n=1 n2 es r = 1. Esta serie converge en [−1, 1] y no
converge fuera de este intervalo.
32 CAPÍTULO 1. NÚMEROS REALES, SUCESIONES Y SERIES
Capı́tulo 2

Lı́mites y continuidad de funciones


reales de una variable real

2.1. Breve introducción a las funciones reales de va-


riable real
Una función real de variable real, definida en un subconjunto no vacı́o X de
R (llamado dominio), es una ley que a cada elemento x de X (llamado variable) le
asocia uno y sólo un elemento f (x) de R (llamado imagen de x). Dicha función se
denota por f : X−→R.
La imagen de f es el conjunto

f (X) = {f (x) : x ∈ X}.

La gráfica de f es el conjunto

{(x, f (x)) : x ∈ X}.

En la Figura 2.1 se recuerdan las gráficas de algunas funciones de interés en Cálculo,


ya conocidas por el alumno.

33
34 CAPÍTULO 2. LÍMITES Y CONTINUIDAD

50 100 60
1
y = 50 3 40
x y = x
0 x
y = e
0 20

-50 -50 0
-4 -2 0 2 4 -4 -2 0 2 4 -4 -2 0 2 4

2 2.5 1
2
0.5
0 1.5 y = sin x
y= x 0
y = ln (x) 1
-2
0.5 -0.5
-4 0
-6 -4 -2 0 2 4 6 -1
-4 -2 0 2 4 -4 -2 0 2 4

Figura 2.1: Algunas funciones reales de una variable real

2.2. Lı́mite en un punto de una función real de va-


riable real. Lı́mites en el infinito. Infinitésimos
e infinitos
Idea intuitiva de lı́mite en un punto de una función real de variable real. El
lı́mite de una función f en un punto c es un número real `, si los valores f (x) que toma
f se acercan a ` cuando x se acerca a c. Ver la Figura 2.2.

y y

y = f(x) y = f(x)
f(xn ) cercano a l

f(x ) cercano a l

{f(xn)}

l l

{xn}

c x c x
x n cercano a c x cercano a c

Figura 2.2: Lı́mite de una función en un punto

EN TODO LO QUE SIGUE EN ESTE CAPÍTULO X ES UN SUBCON-


JUNTO NO VACÍO DE R.
2.2. LÍMITE DE UNA FUNCIÓN EN UN PUNTO 35

Definición 2.2.1 (Definición formal de lı́mite en un punto de una función


real de variable real) Sea f : X−→R. Sean c, ` ∈ R. Se dice que f (x) tiende a `
cuando x tiende a c, y se representa por lı́mx→c f (x) = `, si:

Para toda sucesión (an )n en X tal que lı́mn an = c, se verifica que lı́mn f (an ) = `.

Observación 2.2.2
1. Para poder calcular el lı́mite de f en c, no es necesario que f esté definida en c,
basta con que esté definida en los alrededores de c. Este es el significado de los “agujeros
blancos”que aparecen para c y f (c) en la Figura 2.2.
2. Se comprueba facilmente que

lı́mx→c f (x) = ` ⇐⇒ lı́mx→c (f (x) − `) = 0 ⇐⇒ lı́mx→c |f (x) − `| = 0.


3. Se verifica que lı́mx→c f (x) = ` si y sólo si

∀ε > 0 ∃δ > 0 tal que x ∈ X, 0 < |x − c| < δ =⇒ |f (x) − `| < ε. (2.1)

Probablemente la definición de lı́mx→c f (x) = ` dada en bachillerato sea la de (2.1).


La definición (equivalente) en términos de sucesiones dada en 2.2.1 resulta más intui-
tiva y más fácil de manejar. Además, permite que muchos resultados para lı́mites de
sucesiones se trasladen de forma natural para funciones.
1

Ejemplo 2.2.3 Usando la Definición 2.2.1, probar que no existe lı́mx→0 sin x
. Ver la
Figura 2.3.

1
y
0.8

0.6
1
0.4 (2n+1/2)p
0.2

1 x
-0.2
y = sin
x
-0.4 1

-0.6
(2n+3/2)p

-0.8

-1
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2

1

Figura 2.3: Gráfica de sin x
36 CAPÍTULO 2. LÍMITES Y CONTINUIDAD

Proposición 2.2.4 (Unicidad del lı́mite) Si una función tiene lı́mite en un punto,
éste es único.
Analogamente se definen en términos de sucesiones los lı́mites en el infinito y los
lı́mites infinitos.

Definición 2.2.5 (Lı́mites en el infinito) Sea ` ∈ R.


(a) Se dice que f (x) tiende a ` cuando x tiende a +∞, y se representa por
lı́mx→+∞ f (x) = `, si:
Para toda sucesión (an )n tal que lı́mn an = +∞, se verifica que lı́mn f (an ) = `.
(b) Se dice que f (x) tiende a ` cuando x tiende a −∞, y se representa por
lı́mx→−∞ f (x) = `, si:
Para toda sucesión (an )n tal que lı́mn an = −∞, se verifica que lı́mn f (an ) = `.

Definición 2.2.6 (Lı́mites infinitos) Sea c ∈ R.


(a) Se dice que lı́mx→c f (x) = +∞, si:
Para toda sucesión (an )n tal que lı́mn an = c, se verifica que lı́mn f (an ) = +∞.
(b) Se dice que lı́mx→c f (x) = −∞, si:
Para toda sucesión (an )n tal que lı́mn an = c, se verifica que lı́mn f (an ) = −∞.

Observación 2.2.7
1. Intuitivamente, el que lı́mx→+∞ f (x) = `, quiere decir que los valores f (x) que
toma f se acercan a ` cuando x se hace muy grande. Análogamente para el caso en que
lı́mx→−∞ f (x) = `.
2. Intuitivamente, el que lı́mx→c f (x) = +∞, quiere decir que los valores f (x) que
toma f se hacen muy grandes cuando x se acerca a c. Análogamente para el caso en
que lı́mx→c f (x) = −∞.
Ejercicio. Definir lı́mx→+∞ f (x) = +∞, lı́mx→+∞ f (x) = −∞, lı́mx→−∞ f (x) =
+∞, lı́mx→−∞ f (x) = −∞.

Ejemplo 2.2.8 A continuación damos algunos ejemplos de lı́mites en el infinito y lı́mi-


tes infinitos:
1. lı́mx→+∞ x1 = lı́mx→−∞ x1 = 0.
1
2. lı́mx→0 |x|
= +∞. Sin embargo, no existe lı́mx→0 x1 .
3. Si a > 1, lı́mx→+∞ ax = +∞, lı́mx→−∞ ax = 0. En particular, lı́mx→+∞ ex = +∞.
lı́mx→−∞ ex = 0.
4. Si 0 < a < 1, lı́mx→+∞ ax = 0, lı́mx→−∞ ax = +∞.
2.3. CONTINUIDAD 37

2.3. Continuidad de una función real de variable


real
Idea intuitiva de continuidad. Una función f es continua en un punto c si los valores
f (x) que toma f se acercan a f (c) cuando x se acerca a c. Ver la Figura 2.4. Una función
es continua en un conjunto cuando lo anterior ocurre para todo punto del conjunto.

y y
f(x ) cercano a f(c)
f(x n) cercano a f(c)

y = f(x) y = f(x)
{f(xn)}

f(c) f(c)

{xn}

c x c x
x n cercano a c x cercano a c

Figura 2.4: Función continua en un punto

Definición 2.3.1 (Definición formal de continuidad) Sea f : X−→R, sea c ∈ X.


Se dice que f es continua en c si existe lı́mx→c f (x) y además, lı́mx→c f (x) = f (c), es
decir, si:

Para toda sucesión (an )n en X tal que lı́mn an = c, se verifica que lı́mn f (an ) = f (c).

Se dice que f es continua en X si f es continua en todo punto c de X.

Observación 2.3.2 Una función continua en c ha de estar definida en c, para que


tenga sentido hablar de f (c). Además, ha de estar definida en los alrededores de c,
para que tenga sentido hablar de lı́mx→c f (x) (comparar con lo dicho en la Observación
2.2.2.1).

Ejemplo 2.3.3 Sea f : R−→R la función definida por:

x sin x1 si x 6= 0
 
f (x) =
0 si x = 0.

Probar que f es continua en R. Volveremos sobre esta función en el Ejemplo 3.1.3.


38 CAPÍTULO 2. LÍMITES Y CONTINUIDAD

A continuación estudiamos la continuidad de la composición de dos funciones. Ver


la Figura 2.5.

Proposición 2.3.4 (Continuidad de la función compuesta) Sean X, Y dos sub-


conjuntos no vacı́os de R, c ∈ X. Sean f : X−→R, g : Y −→R dos funciones definidas
en X e Y , respectivamente, tales que f (X) ⊂ Y . Si f es continua en c y g es continua
en f (c), entonces la composición g ◦ f es continua en c.

f g
f(X)
X Y
c f(c)
g f

Figura 2.5: Composición de funciones

Finalizamos esta sección con la continuidad de la inversa de una función. Ver la


Figura ??.
Recordar que si f : X−→R. Se dice que:
(a) f es estrictamente creciente en X si f (x) < f (y) para todo x, y ∈ X, x < y.
(b) f es estrictamente decreciente en X si f (x) > f (y) para todo x, y ∈ X,
x < y.
Si f es estrictamente (de)creciente, en particular es inyectiva y por tanto la función
X−→f (X), x 7→ f (x), es biyectiva. Su inversa se denota por f −1 y es la función
f (X)−→X, f (x) 7→ x.

Proposición 2.3.5 (Continuidad de la función inversa) Sea I un intervalo en R


y sea f : I−→R, x 7→ y = f (x), una función estrictamente creciente (o estrictamente
decreciente) en I. Si f es continua en I, entonces f −1 : f (I)−→I, y = f (x) 7→ x =
f −1 (y), es continua en f (I).
2.4. MÉTODOS PARA CÁLCULO DE LÍMITES 39

2.4. Métodos más habituales para el estudio de la


existencia del lı́mite en un punto de una fun-
ción real de variable real y para el cálculo de
dicho lı́mite en caso de que éste exista: lı́mites
laterales, regla del sandwich, equivalencias

Definición 2.4.1 (Lı́mites laterales) Sea f : X−→R.


(a) Sean c, ` ∈ R ∪ {+∞}. Se dice que f (x) tiende a ` cuando x tiende a c POR
LA IZQUIERDA, y se representa por lı́mx→c− f (x) = `, si:
Para toda sucesión (an )n en X tal que lı́mn an = c y an < c para todo n, se verifica
que lı́mn f (an ) = `.
(b) Sean c, ` ∈ R ∪ {−∞}. Se dice que f (x) tiende a ` cuando x tiende a c POR
LA DERECHA, y se representa por lı́mx→c+ f (x) = `, si:
Para toda sucesión (an )n en X tal que lı́mn an = c y an > c para todo n, se verifica
que lı́mn f (an ) = `.

Observación 2.4.2 Intuitivamente, que lı́mx→c− f (x) = ` (respectivamente, que


lı́mx→c+ f (x) = `) quiere decir que para valores de x muy próximos al punto c por
la izquierda de c (respectivamente, por la derecha de c), la función toma valores muy
próximos a `. Ver las Figuras 2.6 y 2.7.

y y

y = f(x) y = f(x)
f(x ) cercano a l
f(x n) cercano a l

{f(xn)}

l l

{xn}

c x c x
x n cercano a c x cercano a c

Figura 2.6: Lı́mite por la izquierda de una función en un punto


40 CAPÍTULO 2. LÍMITES Y CONTINUIDAD

y y

y = f(x) y = f(x)
f(xn ) cercano a l

f(x ) cercano a l
{f(xn)}
l l

{xn}

c x c x
xn cercano a c x cercano a c

Figura 2.7: Lı́mite por la derecha de una función en un punto

Proposición 2.4.3 Existe el lı́mite de una función en un punto si y sólo si existen


ambos lı́mites laterales en ese punto y además dichos lı́mites laterales son iguales.

Ejemplo 2.4.4 Calcular los lı́mites laterales de f (x) = e−1/x en x = 0. Observar que
f no está definida en x = 0.

La regla del sandwich para sucesiones dada en la Proposición 1.3.1 admite la si-
guiente traslación natural para funciones.

Proposición 2.4.5 (Regla del Sandwich) Sean c, ` ∈ R ∪ {−∞, +∞}. Sean f, g, h :


X−→R tales que
(i) g(x) ≤ f (x) ≤ h(x) para todo x ∈ X.
(ii) lı́mx→c g(x) = lı́mx→c h(x) = `.
Entonces, lı́mx→c f (x) = `.

A continuación exponemos la traslación natural para funciones de lo estudiado en


la Sección 1.3 en relación a infinitésimos e infinitos.

Definición 2.4.6 (Infinitésimos e infinitos)


(a) Se dice que una función f es un infinitésimo en c (pudiendo ser c = +∞ o
c = −∞) si lı́mx→c f (x) = 0.
(b) Se dice que una función f es un infinito en c (pudiendo ser c = +∞ o c = −∞)
si lı́mx→c f (x) = +∞, −∞.

Proposición 2.4.7
(a) lı́mx→c f (x) = 0 ⇐⇒ lı́mx→c |f (x)| = 0.
2.4. MÉTODOS PARA CÁLCULO DE LÍMITES 41

(b) Si lı́mx→c f (x) = 0 y g está acotada (es decir, su conjunto imagen está acotado),
entonces se verifica que lı́mx→c f (x) g(x) = 0.

Definición 2.4.8 Sean f, g dos infinı́tesimos o dos infinitos en c. Se dice que f y


g son equivalentes si lı́mx→c fg(x)
(x)
= 1. Se escribe f (x) ∼ g(x).

Observación 2.4.9
1. Intuitivamente, el que f (x) ∼ g(x) quiere decir que cuando x → c, f (x) y g(x)
tienden a cero (o a infinito) con la misma velocidad.
2. En la siguiente página se proporciona una tabla de equivalencias para funciones.

Proposición 2.4.10 (Principio de sustitución) El lı́mite de una función en un


punto no se altera al sustituir uno de sus factores o divisores por otro factor o
divisor que sea equivalente a él (ya sea infinitésimo o infinito).

Ejemplo 2.4.11
1. Usar la regla del sandwhich para probar el apartado (b) de la Proposición 2.4.7.
2. Calcular lı́mx→0 |x| cos( x1 ).
sin(x3 )
3. Calcular lı́mx→0 (ex −1) ln(1−x2 )
.
42 CAPÍTULO 2. LÍMITES Y CONTINUIDAD

INFINITESIMOS E INFINITOS EQUIVALENTES.


FUNCIONES

1) Si x−→0.

sin x ∼ x
1 − cos x ∼ x2 /2
tan x ∼ x
arcsin x ∼ x
arctan x ∼ x
ax − 1 ∼ x ln a
ex − 1 ∼ x
ln(1 + x) ∼ x
(1 + x)α − 1 ∼ α x
ak xk + a(k+1) xk+1 + . . . + a(k+p) xk+p ∼ ak xk

2) Si x−→1.

ln x ∼ x − 1
xα − 1 ∼ α(x − 1)

3) Si x → ∞.

ap xp + a(p−1) xp−1 + . . . + a0 ∼ ap xp
ln(ap xp + a(p−1) xp−1 + . . . + a0 ) ∼ ln xp , si ap > 0
2.5. TEOREMA DE BOLZANO 43

2.5. Teorema de Bolzano Aplicación para la locali-


zación de raices
Uno de los resultados fundamentales para funciones continuas en intervalos es el
Teorema de Bolzano, el cual establece lo siguiente.

Teorema 2.5.1 (Teorema de Bolzano) Sea f : [a, b]−→R una función continua en
[a, b] y que toma valores de signos opuestos en los extremos del intervalo. Entonces,
existe al menos un c ∈ (a, b) tal que f (c) = 0.

Observación 2.5.2 Intuitivamente, el Teorema de Bolzano quiere decir que si f (a) y


f (b) tienen valores de signos opuestos y queremos ir de un valor al otro sin levantar el
bolı́grafo del papel, necesariamente tenemos que pasar, al menos una vez, por el eje de
abscisas. Ver la Figura 2.8.

y y

y=f(x) y=f(x)

f(b) f(a)
a c b x a c1 c c2 bx
f(a) f(b)

Figura 2.8: Teorema de Bolzano

El Teorema de Bolzano se aplica a la localización de raices de una función. En


efecto, tan pronto como encontremos un cambio de signo en los valores tomados en dos
puntos por una función continua, entre ellos hay al menos una raı́z de dicha función.

Ejemplo 2.5.3 Probar que el polinomio x3 − x2 + 2x − 1 tiene al menos una raı́z real.
44 CAPÍTULO 2. LÍMITES Y CONTINUIDAD
Capı́tulo 3

Derivabilidad de funciones reales de


una variable real

3.1. Definición de derivabilidad. Relación entre con-


tinuidad y derivabilidad de una función real de
variable real
El interés de la derivabilidad se centra en el caso de funciones reales definidas en un
intervalo abierto de R. Por tanto,

EN TODO LO QUE SIGUE EN ESTE CAPÍTULO I ES UN INTERVALO


ABIERTO EN R.

Idea intuitiva de derivabilidad. Sea f : I−→R y sea c ∈ I. La derivada de f en c


es el valor a que se acerca el cociente incremental f (x)−f
x−c
(c)
cuando x se acerca a c, o lo
que es lo mismo, el valor a que se acerca el cociente incremental f (c+h)−f
h
(c)
cuando h se
acerca a 0. Ver las Figuras 3.1 y 3.2.
Intuitivamente, dicha derivada mide la velocidad con que f (x) cambia respecto a x
cuando x se acerca a c.

45
46 CAPÍTULO 3. DERIVABILIDAD

y y

y = f(x) y = f(x)

f(x) - f(c) f(c+h) - f(c)

x-c h

c x x c c+h x

Figura 3.1: Cociente incremental

y = f(x)

f(c+h) - f(c)

h 0

c c+h x

Figura 3.2: Haciendo h → 0

Definición 3.1.1 (Definición formal de derivabilidad) Sea f : I−→R y sea


c ∈ I. Se dice que f es derivable en c si existe

f (x) − f (c)
lı́m (3.1)
x→c x−c
o equivalentemente, si existe

f (c + h) − f (c)
lı́m (3.2)
h→0 h
(ya que ambos lı́mites son iguales; basta tomar x = c + h en (3.1)).
Si f es derivable en c, el valor del lı́mite anterior se llama derivada de f en el punto
c y se denota for f 0 (c).
Si f es derivable en todo punto de I se dice que f es derivable en I.

Salvo mención expresa en contra, se considerarán derivables en c sólo aquellas fun-


ciones para las cuales el lı́mite de (3.1) o (3.2) sea un número real, excluyéndose el caso
3.1. CONTINUIDAD Y DERIVABILIDAD 47

de los lı́mites infinitos.


La relación entre continuidad y derivabilidad es la siguiente:

Proposición 3.1.2 f es derivable en c =⇒ f es continua en c.

El RECIPROCO DE LA IMPLICACION =⇒ DE LA PROPOSICION AN-


TERIOR EN GENERAL NO ES CIERTO,

ES DECIR,

¡EXISTEN FUNCIONES CONTINUAS QUE NO SON DERIVABLES!

Un ejemplo muy popular de función continua pero no derivable en 0 es la función


f (x) = |x|, introducida en el Capı́tulo 1 (ver la Figura 1.2). Otro ejemplo es la función
ya considerada en el Ejemplo 2.3.3, cuya gráfica se incluye en la Figura 3.3.

Ejemplo 3.1.3 Sea f : R−→R la función definida por:

x sin x1 si x 6= 0
 
f (x) =
0 si x = 0.

En el Ejemplo 2.3.3 se ha visto que f es continua en R. Sin embargo, f es derivable


en R \ {0}.

0.8

0.6

0.4
1
y = x sin
0.2 x
0

-0.2

-0.4
-2 -1.5 -1 -0.5 0 0.5 1 1.5 2

Figura 3.3: Funcion continua pero no derivable en x = 0

A la hora de calcular el lı́mite de (3.1) o (3.2) que interviene en la definición de


función derivable, es posible que sea necesario calcular los correspondientes lı́mites la-
terales. Ello lleva al concepto de derivada lateral.
48 CAPÍTULO 3. DERIVABILIDAD

Definición 3.1.4 (Derivadas laterales) Sea f : I−→R y sea c ∈ I.


Se dice que f es derivable por la izquierda en c si existe

f (x) − f (c)
lı́m− ,
x→c x−c
o equivalentemente, si existe

f (c + h) − f (c)
lı́m− .
h→0 h
El valor de este lı́mite se denota por f−0 (c) y se llama derivada por la izquierda de
f en c.
De igual forma, se dice que f es derivable por la derecha en c si existe

f (x) − f (c)
lı́m+ ,
x→c x−c
o equivalentemente, si existe

f (c + h) − f (c)
lı́m+ .
h→0 h
El valor de este lı́mite se denota por f+0 (c) y se llama derivada por la derecha de
f en c.
Como consecuencia inmediata de la Proposición 2.4.3 se deduce que:

Proposición 3.1.5 Para que una función admita derivada en un punto es necesario y
suficiente que existan las derivadas laterales en ese punto y que sean iguales.

Ejemplo 3.1.6 Calcular las derivadas laterales de la siguiente función en c = 2.


(x − 1)2 + 2 si x ≤ 2

f (x) =
2x − 5 si x > 2.
Observar que aplicando la definición de f+0 (2) se obtiene que dicha derivada lateral
tiene como “valor”−∞. No se puede calcular f+0 (2) haciendo la derivada de la segunda
rama y luego calculando el valor de dicha derivada en 2; haciéndolo se obtendrı́a que
f+0 (2) = 2. ¡Incorrecto!

Observación 3.1.7 Una función puede ser derivable aunque su derivada no sea conti-
nua. Este es el caso de la función f : R → R definida por:
x sen x1 si x 6= 0
 2
f (x) =
0 si x = 0.
3.2. REGLA DE L0 HÔPITAL. APLICACIÓN PARA EL CÁLCULO DE LÍMITES49

Veremos en clase de problemas que f es derivable en R y que f 0 es una función discon-


tinua en c = 0.

3.2. Regla de L0Hôpital. Aplicación para el cálculo


de lı́mites
El contenido de esta sección se supone conocido por el alumno y se usará exclu-
sivamente para la resolución de indeterminaciones de la forma 00 e ∞

. Por ello, dicho
contenido se ha incluido en la Sección 0.6.

3.3. Regla de la cadena. Función inversa


Respecto a la composición (ver la Figura 3.4) de funciones derivables, se verifica lo
siguiente.

Proposición 3.3.1 (Regla de la cadena) Sean I, J intervalos abiertos en R, c ∈ I.


Sean f : I−→R, g : J−→R, tal que f (I) ⊂ J. Si f es derivable en c y g es derivable en
f (c), entonces la composición g ◦ f : I−→R es derivable en c y además se verifica que

(g ◦ f )0 (c) = g 0 (f (c)) f 0 (c).

f g
f(I)
I J
c f(c)
g f

Figura 3.4: Composición de funciones

Observación 3.3.2 Aplicando la regla de la cadena para funciones derivables se pue-


den calcular las derivadas de las funciones que aparecen en la Proposición 0.3.2 del
Capı́tulo 0, a partir de las obtenidas en la Proposición 0.3.1 de dicho capı́tulo.

A continuación estudiamos la derivabilidad de la inversa de una función.


Recordar que si f : I−→R. Se dice que:
(a) f es estrictamente creciente en I si f (x) < f (y) para todo x, y ∈ I, x < y.
(b) f es estrictamente decreciente en I si f (x) > f (y) para todo x, y ∈ I, x < y.
50 CAPÍTULO 3. DERIVABILIDAD

Si f es estrictamente (de)creciente, en particular es inyectiva y por tanto la función


I−→f (I), x 7→ f (x), es biyectiva. Su inversa se denota por f −1 y es la función f (I)−→I,
f (x) 7→ x.

Proposición 3.3.3 (Derivabilidad de la función inversa) Sea f : I−→R, x 7→


y = f (x), una función estrictamente creciente (o estrictamente decreciente) en I. Si f es
derivable en I y f 0 (x) 6= 0 para todo x ∈ I, entonces su función inversa f −1 : f (I)−→I,
y = f (x) 7→ x = f −1 (y), es derivable en f (I). Además, si c ∈ I y d = f (c),
1 1
(f −1 )0 (d) = = .
f 0 (c) f 0 (f −1 (d))

Observación 3.3.4 Las derivadas de algunas de las funciones consideradas en la Pro-


posición 0.3.1 se obtienen aplicando la fórmula de la derivación de la función inversa

dada en la proposición anterior. Este es el caso de ln x, n x, arcsin(x), arc cos(x) y
arctan(x) (apartados (ii), (viii), (ix), (x) y (xi) de la Proposición 0.3.1, respectivamente),
ya que estas funciones son inversas de ex , xn , sin(x), cos(x) y tan(x), respectivamente.

3.4. Teorema de Rolle. Aplicación para la separa-


ción de raices
Uno de los resultados fundamentales relativos a derivabilidad en intervalos es el
teorema de Rolle, el cual establece lo siguiente.

Teorema 3.4.1 (Teorema de Rolle) Sea f : [a, b]−→R una función continua en
[a, b], derivable en (a, b) y tal que f (a) = f (b). Entonces, existe al menos un c ∈ (a, b)
tal que f 0 (c) = 0.
Geométricamente, el Teorema de Rolle expresa la existencia de al menos un punto
c ∈ (a, b) tal que la tangente a la gráfica de f en el punto (c, f (c)) es horizontal. Ver la
Figura 3.5.
El Teorema de Rolle tiene una interesante aplicación a la hora de separar las raı́ces
de una función, como se muestra en la siguiente proposición.

Proposición 3.4.2 (Separación de raı́ces de una función) Sea f : I−→R una


función derivable en I. Entonces, entre cada dos raı́ces de f en I hay al menos una raı́z
de f 0 . Más precisamente,
a, b raı́ces de f en I =⇒ Existe al menos un c ∈ (a, b) tal que f 0 (c) = 0.
3.5. FÓRMULA DE TAYLOR. 51

y =f(x)

f(a)=f(b)

a c b x

Figura 3.5: Teorema de Rolle

Ejemplo 3.4.3
1. Probar que el polinomio x3 − x2 + 2x − 1 del Ejemplo 2.5.3 tiene exactamente
una raı́z real, que se encuentra en el intervalo (0, 1).
2. Probar que la ecuación x3 − 9x2 + 15x − 1 = 0 tiene exactamente una solución
real en el intervalo (0, 1) y exactamente una solución real en el intervalo (1, 3).
Se deja como ejercicio para el alumno localizar la tercera solución real de la ecuación.

3.5. Aproximación de funciones. Fórmula de Tay-


lor. Acotación del resto.
En esta sección vamos a dar la fórmula de Taylor, que nos permitirá aproximar
funciones por polinomios. Ello resulta de gran importancia para calcular valores apro-
ximados de funciones en puntos en los que no se sabe su valor exacto, tales como e0,01
(ver Ejemplo 3.5.4). Dicho valor aproximado podrá obtenerse mediante el cálculo de
un determinado polinomio en ese punto, en lo cual sólo están involucradas operaciones
elementales (sumas y productos). Además, la fórmula de Taylor nos permitirá realizar
una estimación acerca del error cometido en dicha aproximación.

Inciso. Derivadas sucesivas. Supongamos que una función f : I−→R es derivable


en I. Entonces, puede definirse una nueva función, que se denota por f 0 , y que asigna a
cada punto x ∈ I el valor de la derivada de f en x, es decir, f 0 : I−→R, x 7→ f 0 (x). Esta
nueva función se llama función derivada de la función f (o simplemente derivada
de f ).
52 CAPÍTULO 3. DERIVABILIDAD

Ası́mismo, si f 0 es derivable en I se puede definir una nueva función f 00 , derivada


segunda de f , que asigna a cada punto x ∈ I el valor de la derivada de f 0 en x, es
decir, f 00 : I−→R, x 7→ (f 0 )0 (x) = f 00 (x).
Siguiendo recurrentemente este proceso, se definen las derivadas sucesivas de f , y si
existen, se denotan por f 0 , f 00 , . . . , f (n) , .... También es usual adoptar el criterio de que
f (0) = f .

Definición 3.5.1 Sea f : I−→R una función que admite derivadas hasta el orden n
en c ∈ I. Al polinomio
n
0 f 00 (c) f (n) (c) X f (k) (c)
Tn (x) = f (c) + f (c)(x − c) + (x − c)2 + . . . + (x − c)n = (x − c)k ,
2! n! k=0
k!

se le llama Polinomio de Taylor de grado n de la función f en el punto c.

En la Figura 3.6 se representan los cuatro primeros polinomios de Taylor de la


función f (x) = ex para c = 0.
Se comprueba fácilmente que el polinomio de Taylor Tn de una función f en un punto
c coincide con la función en c y que también todas las derivadas k-ésimas (k = 1, . . . , n)
de Tn y de f coinciden en c.

Para los puntos x ∈ I próximos a c, Tn (x) nos da un valor aproximado


de f (x).

La función
Rn (x) = f (x) − Tn (x),
se llama resto de orden n de la función f en el punto c.

Rn (x) mide el error cometido al realizar el cálculo aproximado anterior.


Tenemos por lo tanto que

f 00 (c) f (n) (c)


f (x) = f (c) + f 0 (c)(x − c) + (x − c)2 + . . . + (x − c)n + Rn (x).
2! n!

Cuanto mejor se conozca la función Rn , mejor se conocerá el grado de aproximación


entre el polinomio de Taylor y la función f . A fı́n de profundizar en el estudio de la
función Rn , veamos cómo puede expresarse este resto de orden n.
3.5. FÓRMULA DE TAYLOR. 53

Proposición 3.5.2 Supongamos que existen f 0 , f 00 , . . . , f (n+1) en I. Entonces, para to-


do x ∈ I, se verifica que
f (n+1) (d)
Rn (x) = (x − c)n+1 ,
(n + 1)!
siendo d un punto comprendido (en el sentido estricto) entre x y c.

¡ PRESTAR ATENCION A LA EXPRESION DE Rn (x), EN LA QUE APA-


RECE f (n+1) (d) PERO NO f (n+1) (c)!

A la fórmula
f 00 (c) f (n) (c) f (n+1) (d)
f (x) = f (c) + f 0 (c)(x − c) + (x − c)2 + . . . + (x − c)n + (x − c)n+1 ,
2! n! (n + 1)!

se le llama Fórmula de Taylor de grado n de la función f en el punto c.

Observación 3.5.3 Dos conclusiones inmediatas de la Proposición 3.5.2 son las si-
guientes:
1. Para n fijo, |f (x) − Tn (x)| tiende a cero cuando x tiende a c, es decir, cuanto más
cerca esté x de c, más se aproxima el polinomio de Taylor a la función.
2. Para x fijo, |f (x) − Tn (x)| tiende a cero cuando n tiende a infinito (suponiendo
que f se pueda derivar infinitas veces), es decir, cuanto mayor sea el grado del polinomio
de Taylor, también más se aproxima el polinomio a la función.
Por tanto, al calcular un valor aproximado de f (x) mediante un polinomio de Taylor,
dicho valor será tanto mejor siempre que escojamos un c lo más cercano posible a x y
el grado de ese polinomio sea grande. Lo último implica calcular más derivadas y por
tanto más trabajo, pero valdrá la pena.

Ejemplo 3.5.4 Utilizar el polinomio de Taylor de grado 3 de ex en c = 0 para calcular


un valor aproximado del número e0,01 . Hallar una cota del valor absoluto del error
cometido en dicha aproximación.
En la Figura 3.6 se representan los cuatros primeros polinomios de Taylor de ex en
c = 0, en particular el polinomio de tercer grado que se necesita en este ejemplo. Esta
figura es una muestra lo comentado en la observación anterior.
54 CAPÍTULO 3. DERIVABILIDAD

8
x
y=e
x2 x3
T3(x) = 1+x + +
6
2! 3!
2
x
T2(x)= 1+x +
2!
4

T1(x) =1+x

T0(x)=1

-2

x2 x3
T3(x) = 1+x + +
-4 2! 3!

-6

-3 -2.5 -2 -1.5 -1 -0.5 0 0.5 1 1.5 2

Figura 3.6: Algunos polinomios de Taylor de ex en c = 0

Ejemplo 3.5.5 Para funciones f indefinidamente derivables en un intervalo abierto I


podemos considerar sus series de Taylor, las cuales son series de potencias definidas
de la siguiente forma:

X f (n) (c)
(x − c)n (x ∈ I).
n=0
n!
A continuación damos algunos ejemplos de funciones elementales que pueden describir-
se, para ciertos valores de x, mediante sus series de Taylor en c = 0.
1. ex = ∞ xn
P
n=0 n! (x ∈ R).
P∞ (−1)n 2n+1
2. sin(x) = n=0 (2n+1)! x (x ∈ R).
P∞ (−1)n 2n
3. cos(x) = n=0 (2n)! x (x ∈ R).
(−1)n+1 n
4. ln(1 + x) = ∞
P
n=1 n
x (|x| < 1).
Capı́tulo 4

Lı́mites y continuidad de funciones


de varias variables reales

4.1. Introducción a las funciones de varias variables


reales con valores en Rn
La siguiente definición es una extensión de los bien conocidos espacios R2 y R3 .

Definición 4.1.1 Sea n ∈ N. Se define Rn como el conjunto de las n-tuplas de


números reales

{x = (x1 , . . . , xn ) : xi ∈ R para todo i = 1, . . . , n}.

Sean m, n ∈ N. A continuación pasamos a considerar funciones f definidas en un


subconjunto no vacı́o X de Rm y que toman valores en Rn , f : X−→Rn . Se dice que f
es una función de m variables.
Cuando n = 1 se dice que f es una función real de m variables.
Cuando m = n = 1, tenemos funciones f : X−→R, donde X es un subconjunto no
vacı́o de R, lo que corresponde al tipo de funciones consideradas en los dos capı́tulos
anteriores. En este caso se dice que f es una función real de variable real.
Las funciones de varias variables no son meras abstracciones matemáticas, sino que
surgen en muchos campos de la ciencia, como se muestra en los siguientes ejemplos.

Ejemplo 4.1.2
(a) La temperatura en los puntos de una lámina plana colocada en el plano XY re-
quiere para su descripción una función real T : R2 −→R, donde T (x, y) es la temperatura

55
56 CAPÍTULO 4. FUNCIONES DE VARIAS VARIABLES REALES

en el punto (x, y) de la lámina. Ver la Figura 4.1

Figura 4.1: Temperatura de una lámina

(b) Para especificar la velocidad de un fluido que se mueve en el espacio, es necesaria


una función V : R4 −→R3 , donde V (x, y, z, t) es la velocidad del fluido en el punto
(x, y, z) del espacio y en el instante t. Ver la Figura 4.2.

(x, y, z)
V(x,y,z,t) = velocidad del fluido

Figura 4.2: Velocidad de un fluido


4.2. LÍMITES DE FUNCIONES DE VARIAS VARIABLES 57

Definición 4.1.3 Sea X un subconjunto no vacı́o de Rm . Dada una función f :


X−→Rn , para cada x ∈ X, f (x) es un elemento de Rn y por lo tanto tiene n compo-
nentes. Entonces, f (x) puede escribirse de la forma

f (x) = (f1 (x), . . . , fn (x)),

donde f1 , . . . , fn : X−→R son funciones reales de m variables. Las funciones f1 , . . . , fn


se llaman funciones componentes o funciones coordenadas de f .

Ejemplo 4.1.4 Las funciones componentes de


f : R3 −→R4 , (x, y, z) 7→ (x, x2 − y, y + z, −z),
son las funciones f1 , f2 , f3 , f4 : R3 −→R definidas por
f1 (x, y, z) = x, f2 (x, y, z) = x2 − y, f3 (x, y, z) = y + z, f4 (x, y, z) = −z.

Observación 4.1.5 La representación gráfica de una función f : X ⊂ R−→R es una


curva en R2 y la representación gráfica de una función f : X ⊂ R2 −→R es una superficie
en R3 . Ver la Figura 4.3.

z
Gráfica de f

Gráfica de f
y

X
X
x
x

Figura 4.3: Gráficas de funciones de una y dos variables

4.2. Extensión a este tipo de funciones de los con-


ceptos de lı́mite y continuidad y de su manejo
y propiedades
En primer lugar incluimos la extensión de los conceptos de sucesión en R y de lı́mite
de una tal sucesión dados en la Sección 1.2 al caso de Rm .
58 CAPÍTULO 4. FUNCIONES DE VARIAS VARIABLES REALES

Definición 4.2.1 Se llama sucesión en Rm (m ∈ N) a toda aplicación s : N−→Rm ,


r 7→ s(r). En lugar de s(r) se escribe ar . A la sucesión se la denota por (ar )r .
Supongamos que escribimos cada ar (r ∈ N) en términos de sus m componentes de la
siguiente forma:
ar = (ar,1 , . . . , ar,m ).
Sea a = (a1 , . . . , am ) ∈ Rm . Se dice que (ar )r tiene por lı́mite el punto a si

lı́m ar,i = ai , para todo i = 1, 2, . . . m,


r

es decir, para cada i, la sucesión de las i-ésimas componentes de los ar converge a la


i-ésima componente de a.
Cuando una sucesión (ar )r tiene por lı́mite a, se escribe lı́mr ar = a.

Observación 4.2.2 Cuando m = 1 la definición de sucesión (convergente) coincide


con la dada en R en el Capı́tulo 1.

Ejemplo 4.2.3 La fórmula ar = ( 1r , sin( r12 ), 2r−1


r
) (r ∈ N) define una sucesión en R3
que converge a (0, 0, 2).

EN TODO LO QUE SIGUE EN ESTE CAPÍTULO: c ES UN PUNTO DE


Rm y X ES UN SUBCONJUNTO NO VACÍO DE Rm .

Una vez que hemos extendido los conceptos de sucesión en R y de lı́mite de una tal
sucesión al caso de Rm , podemos extender a funciones de varias variables el concepto
de lı́mite de una función dado en la Sección 2.2.

Definición 4.2.4 (Lı́mite en un punto de una función de varias variables


reales) Sea f : X−→Rn y sea ` ∈ Rn . Se dice que f (x) tiende a ` cuando x
tiende a c, y se representa por lı́mx→c f (x) = `, si:
Para toda sucesión (ar )r en X tal que lı́mr ar = c, se verifica que lı́mr f (ar ) = `.

Observación 4.2.5
1. Cuando m = n = 1, la definición anterior coincide con la dada en la Definición
2.2.1.
2. El lı́mite no depende del valor de f en el punto c. De hecho, no exigimos que f
esté definida en c, basta con que esté definida en los alrededores de c. Ver la Figura 4.4
3. Son ciertas las versiones naturales de las Proposiciones 0.1.1 y 2.2.4 para funciones
reales de varias variables.
4.2. LÍMITES DE FUNCIONES DE VARIAS VARIABLES 59
z

l ( ar ,f( ar))

ar

y
X c

Figura 4.4: Lı́mite de una función en un punto

Además, teniendo en cuenta el concepto de lı́mite de una sucesión en Rm dado en


la Definición 4.2.1, se obtiene lo siguiente:

Proposición 4.2.6 Sea f : X−→Rn y sea ` = (`1 , . . . , `n ) ∈ Rn . Si f1 , . . . , fn : X−→R


son las funciones componentes de f , entonces

lı́m f (x) = ` ⇐⇒ lı́m fi (x) = `i para todo i = 1, . . . , n.


x→c x→c

Este último resultado es muy importante, pues reduce el estudio de los lı́mites de
funciones de varias variables al caso de funciones reales, es decir, con valores en R.
2
Ejemplo 4.2.7 Calcular lı́m(x,y)→(0,0) (x sin(1/y), x2 e−y ).
Pasamos a continuación a extender el concepto de continuidad que hemos estudiado
en la Sección 2.3, al caso de funciones de varias variables.

Definición 4.2.8 (Continuidad puntual y global de una función de varias


variables reales) Sea f : X−→Rn y sea c ∈ X. Se dice que f es continua en c si
existe lı́mx→c f (x) y además, lı́mx→c f (x) = f (c), es decir, si:
Para toda sucesión (ar )r en X tal que lı́mr ar = c, se verifica que lı́mr f (ar ) = f (c).
Se dice que f es continua en X si f es continua en todo c ∈ X.
60 CAPÍTULO 4. FUNCIONES DE VARIAS VARIABLES REALES

Observación 4.2.9
1. Cuando m = n = 1, el concepto de continuidad dado en la Definición 4.2.8
coincide con el previamente dado en la Definición 2.3.1.
2. Una función continua en c ha de estar definida en c. Además, para que tenga sen-
tido hablar de la existencia de lı́mx→c f (x), f tiene que estar definida en los alrededores
de c. Ver la Figura 4.5.

f(c) ( ar ,f( ar))

ar

y
X c

Figura 4.5: Función continua en un punto

Además, aplicando la Proposición 4.2.6, se obtiene lo siguiente.

Proposición 4.2.10 Sea f : X−→Rn y sea c ∈ X. Sean f1 , . . . , fn : X−→R las


funciones componentes de f , entonces

f es continua en c ⇐⇒ fi es continua en c para todo i = 1, . . . , n.

Nuevamente este último resultado es muy importante, pues reduce el estudio de la


continuidad de funciones de varias variables al caso de funciones reales, es decir, con
valores en R.

Observación 4.2.11 Es cierta la versión natural de la Proposición 2.3.4 para funciones


de varias variables reales.
4.3. MÉTODOS PARA CÁLCULO DE LÍMITES 61

4.3. Lı́mites direccionales e iterados.


Lı́mites en coordenadas polares
De acuerdo con la Proposición 4.2.6, basta estudiar métodos para el cálculo de
lı́mites de funciones reales de varias variables.
En el caso de funciones reales de variable real, por la Proposición 2.4.3, sabemos que
existe el lı́mite de una función en un punto si y sólo si existen ambos lı́mites laterales
en ese punto y además dichos lı́mites laterales son iguales.
En el caso de funciones de varias variables no tiene sentido hablar de lı́mites laterales.
Sin embargo, la regla del sandwhich de la Proposición 2.4.5, los conceptos de infinitésimo
e infinito y sus propiedades dadas en la Proposición 2.4.7, ası́ como el principio de
sustitución de la Proposición 2.4.10, se trasladan de forma trivial al caso de funciones
reales de varias variables.
Vamos a mostrar algunos tipos de lı́mites que usualmente se consideran para fun-
ciones de varias variables.

Definición 4.3.1 Sea f : X−→Rn . Se llama lı́mite direccional de f en c al lı́mite


de f en c bajo la restricción de que x pertenece a una recta que pasa por c.

Entonces, se verifica lo siguiente.

Proposición 4.3.2 Si existe el lı́mite de f en c entonces existen todos los lı́mites


direccionales de f en c y dichos lı́mites son todos iguales.
Por lo tanto, si los valores de los lı́mites direccionales dependen de la pendiente de
la recta que pasa por c, no existe el lı́mite de f en c.
Las rectas en R2 que pasan por un punto (a, b), tienen por ecuaciones:

• y −b = m(x−a), donde m es la pendiente de la recta, que se supone es un número


real. Por tanto, no es una recta vertical.

• x = a, que es la recta vertical que pasa por (a, b).


2
Ejemplo 4.3.3 Sea f la función definida por f (x, y) = x2x+y2 ((x, y) ∈ R2 \ {(0, 0)}),
cuya gráfica se representa en la Figura 4.6. Estudiar la existencia del lı́mite de f en
(0, 0).
62 CAPÍTULO 4. FUNCIONES DE VARIAS VARIABLES REALES

De delante a atras y viceversa en la direccion x


tiende a 1

0.9

0.8

0.7

0.6

0.5

0.4

0.3

0.2

0.1
70
0 60
De atras a adelante y viceversa
70 en direccion y tiende a cero
50
60
50 40
40 30
X
30
Y 20
20
10
10
0 0

x2
Figura 4.6: f (x, y) = x2 +y 2

A continuación se exponen otros métodos interesantes para el estudio de lı́mites de


funciones de varias variables.

Definición 4.3.4 Los lı́mites iterados de f en c son los que consisten en aproxi-
marse componente a componente iteradamente.

Por ejemplo, si f es una función real de dos variables, c = (a, b) y x = (x, y), los dos
lı́mites iterados posibles son
h i  
lı́m lı́m f (x, y) y lı́m lı́m f (x, y) .
y→b x→a x→a y→b

En la Figura 4.7 se da la interpretación de los lı́mites iterados para (a, b) = (0, 0).
Los limites iterados aportan la siguiente información respecto a la existencia de
lı́mite.

Proposición 4.3.5 Si existen los lı́mites iterados de f en c y tienen valores distintos,


no existe el lı́mite de f en c.
4.3. MÉTODOS PARA CÁLCULO DE LÍMITES 63

lim [ lim .....] lim [ lim .....]


x 0 y 0 y 0 x 0

y y
Primero hacemos tender a 0 Primero hacemos tender a 0
la variable y, luego la x la variable x, luego la y

(x,y) (x,y)
x 0
y 0
y 0

(0,0) x 0 x (0,0) x

Figura 4.7: Lı́mites iterados en (0, 0)

2 3
Ejemplo 4.3.6 Sea f la función definida por f (x, y) = xx2 +y
+y 2
2 ((x, y) ∈ R \ {(0, 0)}),

cuya gráfica se representa en la Figura 4.8. Estudiar la existencia del lı́mite de f en


(0, 0).

15

10

−5

−10

−15
120
100 120
80 100
80
60 60
40 40
20 20
0 0

Y X

x2 +y 3
Figura 4.8: f (x, y) = x2 +y 2

¡ES POSIBLE QUE EXISTAN LOS LIMITES ITERADOS, LOS LIMITES


DIRECCIONALES Y QUE TODOS SEAN IGUALES, PERO QUE NO
EXISTA EL LIMITE!

Vamos a mostrar la forma más usual de actuar cuando lo anterior ocurre. Centramos
el interés en el caso de funciones f de dos variables para las que se quiere estudiar la
existencia de lı́mite en un punto (a, b) ∈ R2 . Entonces, se calculan los lı́mites de f en
64 CAPÍTULO 4. FUNCIONES DE VARIAS VARIABLES REALES

(a, b) bajo la restricción de que (x, y) pertenezca a una curva que pasa por (a, b) y que
tiene una ecuación de la forma:
(1) y − b = m(x − a)n , n ∈ N, m ∈ R.
(2) x − a = m(y − b)n , n ∈ N, m ∈ R.
Observar que para n = 2, las anteriores ecuaciones definen parábolas en R2 que
pasan por (a, b).

Supongamos que nos encontramos en una de las situaciones siguientes:


• El valor de alguno de los lı́mites de tipo (1) (o de tipo (2)) es distinto al de los
limites direccionales e iterados previamente calculados.
• Los valores de los lı́mites de tipo (1) (o de tipo (2)) depende de n o de m.
• Algunos de los lı́mites de tipo (1) tiene un valor distinto a alguno de los lı́mites
de tipo (2).
Entonces, podemos concluir que no existe el lı́mite de f en (a, b).
2
Ejemplo 4.3.7 Sea f la función definida por f (x, y) = x2xy+y4 ((x, y) ∈ R2 \ {(0, 0)}),
cuya gráfica se representa en la Figura 4.9.
(a) Calcular los lı́mites direccionales e iterados de f en (0, 0).
(b) Estudiar la existencia del lı́mite de f en (0, 0).

0.5

0.4

0.3

0.2
0.5
0.1

−0.1 0

−0.2 0

−0.3 −0.5
20
−0.4 120

−0.5 100 40
120
120
80 60
100
100
80 80 60
80
60 60
40
40 40 100
20 20
20 Y
0 0 0 120
Y X X

xy 2
Figura 4.9: f (x, y) = x2 +y 4
4.3. MÉTODOS PARA CÁLCULO DE LÍMITES 65

¡ES POSIBLE QUE NO EXISTA UNO DE LOS LIMITES ITERADOS Y


QUE EXISTA EL LIMITE!

Ejemplo 4.3.8 Sea f la función definida por


 
1
f (x, y) = x sin (x, y) ∈ R2 \ ((recta x = 0) ∪ (recta y = 0)),
xy
cuya gráfica se representa en la Figura 4.10. Probar que:
(a) lı́m(x,y)→(0,0) f (x, y) = 0.
(b) No existe uno de los lı́mites iterados de f en (0, 0).

10

−5
10
−10

6
5

2
0

0 8
6
−2 4
−5 2
−4 0
−2
120 −6
Y −4
110
−10 −6
100 −8 X
−8
90
80
70

1
Figura 4.10: f (x, y) = x sin( xy )

Coordenadas polares. El uso de coordenadas polares puede ser útil a veces para
calcular el valor del lı́mite de una función real de dos variables.
Supongamos que queremos calcular lı́m(x,y)→(a,b) f (x, y). Utilizando coordenadas po-
lares, se tiene que
x − a = r cos Θ, y − b = r sin Θ.
Al poner x e y en función de r y Θ, f (x, y) se transforma en una función F (r, Θ) y el
cálculo de lı́m(x,y)→(a,b) f (x, y) se transforma en el cálculo de lı́mr→0 F (r, Θ). Se verifica
los siguiente:
(1) Si lı́mr→0 F (r, Θ) depende de Θ, entonces no existe lı́m(x,y)→(a,b) f (x, y).
(2) Si lı́mr→0 F (r, Θ) = ` y existe una función ϕ(r) tal que:
66 CAPÍTULO 4. FUNCIONES DE VARIAS VARIABLES REALES

(2.a) |F (r, Θ) − `| ≤ ϕ(r) para todo r y todo Θ,


(2.b) lı́mr→0 ϕ(r) = 0,
entonces lı́m(x,y)→(a,b) f (x, y) = `.

¡SI lı́mr→0 F (r, Θ) ES UN VALOR ` QUE NO DEPENDE DE Θ PERO


NO SE VERIFICAN (2.a) y (2.b), PUEDE OCURRIR QUE NO EXISTA
lı́m(x,y)→(a,b) f (x, y)!

Ejemplo 4.3.9 Calcular en caso de existir los lı́mites en (0, 0) de las siguientes funcio-
nes, cuyas gráficas se representan en la Figura 4.11.
sin(x2 +y 2 )
(a) f (x, y) = x2 +y 2
.
2x2 y
(b) g(x, y) = x2 +y 2
.

6
En las zonas azules va subiendo
sobre la superficie hacia el punto
central,el O ,cuando x e y tienden a cero

−2
En las zonas rojas va bajando

−4

70
60
−6 50
70 40
60
50 30
40
30 20
20 10
10
0 0
X
Y

sin(x2 +y 2 ) 2x2 y
Figura 4.11: (a) f (x, y) = x2 +y 2
(b) g(x, y) = x2 +y 2
Capı́tulo 5

Derivación de funciones de varias


variables reales

En este capı́tulo centraremos básicamente nuestro interés en el estudio de la de-


rivabilidad de funciones reales definidas en Rn , es decir, funciones f : Rn −→R de n
variables con valores reales. A efectos prácticos, los casos más manejados serán n = 2
(funciones de 2 variables) y n = 3 (funciones de 3 variables).
En todo lo que sigue, c = (c1 , . . . , cn ) será un punto de Rn .
También, diremos que x = (x1 , . . . , xn ) ∈ Rn está cerca de c si, para todo i =
1, . . . , n, se verifica que xi está cerca de ci , es decir, xi está en un cierto intervalo de
centro ci y radio suficientemente pequeño.

5.1. Funciones diferenciables de varias variables rea-


les. Derivada parcial. Gradiente. Matriz Jaco-
biana
Como un primer paso para la definición de derivabilidad de una función real de
varias variables, vamos a introducir el concepto de derivada parcial.

Definición 5.1.1 Sea f : Rn −→R. La derivada parcial de f con respecto a la


variable i-ésima en c está definida por

∂f f (c1 , . . . , xi , . . . , cn ) − f (c1 , . . . , ci , . . . , cn )
(c) = lı́m , (5.1)
∂xi xi →ci x i − ci

67
68 CAPÍTULO 5. DERIVACIÓN DE FUNCIONES DE VARIAS VARIABLES

o equivalentemente

∂f f (c1 , . . . , ci + h, . . . , cn ) − f (c1 , . . . , ci , . . . , cn )
(c) = lı́m , (5.2)
∂xi h→0 h
cuando uno cualquiera de los lı́mites anteriores existe y es un número real (los lı́mites
de (5.1) y (5.2) coinciden).

En la Figura 5.1 se da una interpretación geométrica de la derivada parcial con


respecto a x de una función real f de dos variables, x, y. Se representa la superficie
z = f (x, y) que es la gráfica de la función f . Cortamos la superficie con el plano y = c2
paralelo al plano XZ. Este plano corta a la superficie en una curva, la sección de la
superficie. Esta sección es la gráfica de la función g(x) = f (x, c2 ). Derivando respecto
a x, tenemos que g 0 (x) = ∂f∂x
(x, c2 ). En particular,
∂f
g 0 (c1 ) = (c1 , c2 ).
∂x
El número ∂f (c , c ) es por tanto la pendiente de la sección en y = c2 de la superficie
∂x 1 2
z = f (x, y) en el punto P = (c, f (c)).

plano y = c2
z
tangente, pendiente f (c ,c )
1 2
x

sección c2

superficie z =f(x,y) P

c =(c1,c2 )
x

Figura 5.1: Derivada parcial respecto a x

Se puede dar una interpretación geométrica similar para la otra derivada parcial, ∂f ∂y
:
∂f
El número ∂y (c1 , c2 ) es la pendiente de la sección en x = c1 de la superficie z = f (x, y)
en el punto P = (c, f (c)). Ver la Figura 5.2.
5.1. DIFERENCIACIÓN DE FUNCIONES DE VARIAS VARIABLES 69

plano x c1

P
sección c1

tangente, f
pendiente (c1,c2)
y

y
c = (c 1 ,c 2 )

Figura 5.2: Derivada parcial respecto a y

Es fácil comprobar si existen las derivadas parciales de una función en un punto y


calcularlas en caso de existencia. En efecto, de acuerdo con lo expuesto anteriormente,
∂f
∂xi
consiste en derivar f respecto de la variable xi , considerando las demás variables
constantes. Por lo tanto, para ello basta aplicar nuestros conocimientos de cálculo de
una variable, como se muestra en el Ejemplo 5.1.2.

Ejemplo 5.1.2 Calcular todas las derivadas parciales, respecto a cada una de sus va-
riables, de la función f (x, y, z) = x2 y + y 3 + z x.
Vamos a definir a continuación el concepto de función diferenciable (para funciones
de varias variables es frecuente usar la palabra “diferenciable” en vez de “derivable”).
Busquemos inspiración en el caso de funciones reales de una variable real.
Una función real de una variable real f : R−→R, es derivable en c si existe
f (x) − f (c)
f 0 (c) = lı́m ,
x→c x−c
o lo que es lo mismo,  
f (x) − f (c) 0
lı́m − f (c) = 0,
x→c x−c
es decir,
|f (x) − f (c) − f 0 (c) (x − c)|
lı́m = 0.
x→c |x − c|
Observar que:
70 CAPÍTULO 5. DERIVACIÓN DE FUNCIONES DE VARIAS VARIABLES

• | . | es el valor abosulto en R.

• f 0 (c) es la derivada parcial de f respecto a su única variable, x.

• f 0 (c) (x − c) puede interpretarse como el producto escalar del vector cuya única
componente es f 0 (c) por el vector cuya única componente es x − c. Ello nos lleva
a la siguiente definición.

Definición 5.1.3 Sea f : Rn −→R. Decimos que f es diferenciable en c si

|f (x) − f (c) − ∇ f (c) · (x − c)|


lı́m = 0,
x→c kx − ck
donde:

kx − ck es la norma (o longitud) del vector x − c (recordar que k(y1 , . . . , yn )k =


• p
y12 + . . . + yn2 para todo (y1 , . . . , yn ) ∈ Rn ).

• ∇f (c) es el vector gradiente de f en c, el cual está definido por

∂f ∂f
∇f (c) = ( (c), . . . , (c)).
∂x1 ∂xn

• ∇f (c) · (x − c) es el producto escalar del vector gradiente, ∇f (c), for el vector


x − c.

Al final de la sección (Observación 5.1.11) se incluye la extensión de la anterior


definición de diferenciabilidad para funciones de n variables y con valores vectoriales,
es decir, con más de una función componente.

Proposición 5.1.4 (Interpretación fı́sico-geométrica del gradiente) Suponga-


mos que ∇f (c) 6= 0. Entonces, la dirección (y sentido), a partir de c, en que f crece
∇f (c)
más rapidamente es la del vector unitario v = k∇f (c)k
.

Imaginemos una montaña como se muestra en la Figura 5.3. Sea f la función altitud,
una función de dos variables. Tracemos las curvas de nivel topográficas, es decir, en las
que la altura de la montaña es constante. Entonces, ∇f es perpendicular a todas las
curvas de nivel. Esto está de acuerdo con la idea de que para llegar a la cima de la
montaña lo más rápidamente posible debemos caminar perpendicularmente a las curvas
de nivel.
5.1. DIFERENCIACIÓN DE FUNCIONES DE VARIAS VARIABLES 71

100
30
90
30 40 60
80 70

50
80
50
70

90
11

30
1000

60

70
60
50

40
30
50

40

30
60

40 0
5
40 70

50
30 40 60

30
20 30 40
30
10

10 20 30 40 50 60 70 80 90 100

∇f (c)
Figura 5.3: k∇f (c)k
es la dirección (y sentido) de máximo crecimiento de f
y es perpendicular a todas las curvas de nivel

Ejemplo 5.1.5 Sea f : R3 −→R la función definida por f (x, y, z) = 2z sin x + cos y.
(a) Calcular el vector gradiente de f en todo punto (x, y, z) ∈ R3 .
(b) Desde el punto (π, π2 , 1), ¿en qué dirección y sentido crece f más rapidamente?

PUEDE OCURRIR QUE EXISTAN TODAS LAS DERIVADAS PARCIA-


LES DE UNA FUNCION EN UN PUNTO Y QUE LA FUNCION NI SI-
QUIERA SEA CONTINUA EN DICHO PUNTO.

Ejemplo 5.1.6 Sea f : R2 −→R definida por



1 si x = 0 o y = 0
f (x, y) =
0 si x 6= 0 e y 6= 0.

Se verifica que existen las dos derivadas parciales de f en (0, 0), pero f no es continua
en este punto.

Sin embargo, se cumple lo siguiente.

Definición 5.1.7 Sea f : Rn −→R. Se dice que f es de clase C 1 en c si existen


∂f
todas las derivadas parciales ∂x i
respecto a cada una de las variables xi (i = 1, . . . , n)
y dichas derivadas parciales son continuas en c.

Teorema 5.1.8 Si f : Rn −→R es de clase C 1 en c, entonces f es diferenciable en c.


72 CAPÍTULO 5. DERIVACIÓN DE FUNCIONES DE VARIAS VARIABLES

Probar la diferenciabilidad de una función en un punto es más complicado de realizar


directamente que probar la existencia de sus derivadas parciales en dicho punto. El
teorema anterior proporciona un método sencillo para obtener dicha diferenciabilidad.

Ejemplo 5.1.9 Probar que la función f del Ejemplo 5.1.5 es diferenciable en todo
punto de R3 .

El RECIPROCO DEL TEOREMA 5.1.8 EN GENERAL NO ES CIERTO,


ES DECIR,
EXISTEN FUNCIONES f DIFERENCIABLES EN c CUYAS DERIVA-
DAS PARCIALES NO SON CONTINUAS EN c.

Ejemplo 5.1.10 Sea f : R2 −→R definida por


( 2
(x + y 2 ) sin( √ 21 2 ) si (x, y) 6= (0, 0)
f (x, y) = x +y
0 si (x, y) = (0, 0),

cuya gráfica se representa en la Figura 5.4. Probar que f es diferenciable en (0, 0) y que
las derivadas parciales de f no son continuas en dicho punto.

−1
−3
−2
−3
−1
−2
0
−1
1 0
2 1
2
2
3
3 4
Y
X

Figura 5.4: f (x, y) = (x2 + y 2 ) sin( √ 1


)
x2 +y 2

Observación 5.1.11 1. El concepto de función diferenciable dado en la Definición 5.1.3


para funciones reales de n variables puede extenderse a funciones con valores vectoriales
en la siguiente forma:
5.2. PROPIEDADES DE LAS FUNCIONES DIFERENCIABLES. 73

Sea f : Rn −→Rm , f = (f1 , . . . , fm ). Decimos que f es diferenciable en c si


kf (x) − f (c) − [J f (c)](x − c)km
lı́m = 0,
x→c kx − ckn
donde:

• k .km y k .kn son las normas (o longitudes) de los correspondientes vectores del
numerador y denominador, en Rm y Rn , respectivamente.

• J f (c) es la matriz Jacobiana de f en c. Es una matriz m×n, la cual está definida


por  ∂f 
1 ∂f1 ∂f1
∂x1
(c) ∂x (c) . . . ∂x
(c)
 ∂f2 (c) ∂f22 (c) . . . ∂fn2 (c) 
J f (c) =  ∂x1 ∂x2 ∂xn
.
 
 ... ... ... ... 
∂fm
∂x1
(c) ∂f
∂x2
m
(c) . . . ∂f
∂xn
m
(c)

• [J f (c)](x − c) es el producto de la matriz m × n, J f (c), por el vector columna


n × 1 formado por las n componentes de x − c. Dicho producto da lugar a un
vector columnna m × 1 de Rm .

2. Para estudiar la diferenciablidad de funciones vectoriales f : Rn −→Rm , f =


(f1 , . . . , fm ), basta estudiar la diferenciablidad de funciones reales de Rn en R, ya que
se verifica lo siguiente:
“f es diferenciable en c si y sólo si todas sus funciones componentes fj son diferen-
ciables en c (j = 1, . . . , m)”.
Este hecho motiva que, como se anunció al comienzo del capı́tulo, centremos nuestro
estudio en la diferenciablidad de funciones reales de n variables.

5.2. Propiedades de las funciones diferenciables.


Regla de la cadena. Cambio de variable.
Proposición 5.2.1 (Propiedades elementales de las funciones diferenciables)

(i) Si f : Rn −→R es diferenciable en c, entonces f es continua en c.

(ii) Sean f, g : Rn −→R funciones diferenciables en c. Entonces:

(ii.1) La suma f + g (definida por (f + g)(x) = f (x) + g(x)) y el producto f · g


(definido por (f · g)(x) = f (x) · g(x)) son diferenciables en c.
74 CAPÍTULO 5. DERIVACIÓN DE FUNCIONES DE VARIAS VARIABLES

f
(ii.2) Si g(c) 6= 0 y g(x) 6= 0 en los x cerca de c, el cociente g
(definido por
f (x)
( fg )(x) = g(x)
) es diferenciable en c.

Proposición 5.2.2 (Regla de la cadena) Sean:


f : Rn −→Rm , x = (x1 , . . . , xn ) 7→ (f1 (x), . . . , fm (x)),
m
g : R −→R, y = (y1 , . . . , ym ) 7→ g(y).
Si f es diferenciable en c ∈ Rn y g es diferenciable en f (c) ∈ Rm , entonces la composición
g ◦f es diferenciable en c (observar que g ◦f : Rn −→R). Además, para cada i = 1, . . . , n,
m
∂(g ◦ f ) X ∂g ∂fj
(c) = (f (c)) (c).
∂xi j=1
∂yj ∂xi
En un lenguaje informal, lo que nos dice la fórmula anterior es que si g es una función de
m variables, y1 , . . . , ym y cada una de las variables yj es función de n variables x1 , . . . , xn ,
entonces g es también función de x1 , . . . , xn , y para calcular la derivada parcial de g
respecto a xi (i = 1, . . . , n) hay que ir “pasando”por por cada una las yj y de estas yj
a la xi . Ver la Figura 5.5.

Figura 5.5: Regla de la cadena

La regla de la cadena resulta muy útil cuando se realizan cambios de variables.


Por ejemplo, cuando se pasa de coordenadas cartesianas a coordenadas polares.

Ejemplo 5.2.3 Sea g : R2 −→R, (x, y) 7→ g(x, y). Consideremos las coordenadas pola-
res
x = r cos θ, y = r sin θ.
Calcular las derivadas parciales de G(r, θ) = g(r cos θ, r sin θ) respecto a r y a θ. Apli-
carlo al caso en que
g(x, y) = x2 y + ex − y 3 .
5.3. DERIVADAS PARCIALES DE ORDEN SUPERIOR 75

5.3. Derivadas parciales de orden superior


Definición 5.3.1 Sea f : Rn −→R. Para cada i, j = 1, . . . , n, la correspondiente
∂f 2f
derivada parcial segunda de f , es ∂x∂ i ( ∂x j
), y suele escribirse ∂x∂i ∂xj
. También, suele
2 ∂2f
escribirse ∂∂xf2 en vez de ∂xi ∂xi
. De forma análoga se definen las derivadas parciales de
i
órdenes superiores.

Definición 5.3.2 Sea f : Rn −→R una función que admite derivadas parciales de
orden 2 en Rn . La matriz Hessiana de f en c es la matriz n × n definida por
 
∂2f ∂2f
2 (c) . . . ∂x1 ∂xn
(c)
 ∂x1. .. 
Hf (c) = 
 .
. ... . .

2
∂ f 2
∂ f
∂xn ∂x1
(c) . . . ∂x2
(c)
n

Ejemplo 5.3.3 Para una función de dos variables f : R2 −→R, (x, y) 7→ f (x, y), tene-
mos dos derivadas parciales, ∂f
∂x
y ∂f
∂y
. A partir de estas derivadas parciales, se obtienen
las siguientes derivadas parciales segundas.
∂f
A partir de ∂x
:
∂f ∂2f
• La derivada parcial respecto de x de ∂x
, es decir, ∂x2
.
∂f ∂2f
• La derivada parcial respecto de y de ∂x
, es decir, ∂y∂x
.
∂f
A partir de ∂y
:
∂f ∂2f
• La derivada parcial respecto de x de ∂y
, es decir, ∂x∂y
.
∂f ∂2f
• La derivada parcial respecto de y de ∂y
, es decir, ∂y 2
.
Por tanto, en este caso la matriz la matriz Hessiana en un punto (a, b) ∈ R2 viene
dad por !
∂2f ∂2f
∂x2 (a, b) ∂x∂y
(a, b)
Hf (a, b) = ∂2f ∂2f .
∂y∂x
(a, b) ∂y 2
(a, b)

Definición 5.3.4 Se dice que f : Rn −→R es de clase C 2 cuando existen todas las
∂f 2f
derivadas parciales ∂xi
y ∂x∂i ∂xj
(i, j = 1, . . . , n) en todo punto de Rn y dichas derivadas
parciales son continuas en Rn .
De forma análoga podemos definir las funciones de clase C p para p ≥ 2.
76 CAPÍTULO 5. DERIVACIÓN DE FUNCIONES DE VARIAS VARIABLES

Proposición 5.3.5 Si f es de clase C 2 , entonces sus derivadas cruzadas segundas son


iguales:
∂ 2f ∂ 2f
= para todo i, j = 1, . . . , n,
∂xi ∂xj ∂xj ∂xi
es decir la matriz Hessiana es simétrica.

Ejemplo 5.3.6 Calcular todas las derivadas parciales segundas de la función f (x, y) =
x2 y − 4(x − y)3 + x. Comprobar que

∂ 2f ∂ 2f
= .
∂y∂x ∂x∂y

Observación 5.3.7 En general no puede asegurarse la igualdad de las derivadas se-


gundas cruzadas.

5.4. Fórmula de Taylor para funciones reales de va-


rias variables reales
En esta sección extendemos la Fórmula da Taylor estudiada en el Capı́tulo 3 al caso
de funciones reales de varias variables reales.

Teorema 5.4.1 (Fórmula de Taylor) Sea f : Rn −→R una función de clase C p+1 .
Entonces, para todo x = (x1 , . . . , xn ) ∈ Rn ,

n
" # " n #
X ∂f 1 X ∂ 2f
f (x) = f (c) + (c) (xi − ci ) + (c) (xi − ci ) (xj − cj ) + . . .
i=1
∂x i 2! i,j=1
∂x i ∂x j
 
n p
1  X ∂ f
+ (c) (xi1 − ci1 )...(xip − cip ) + Rp (x), (5.3)
p! i ,..,i =1 ∂xi1 ...∂xip
1 p

donde para cada x ∈ Rn el resto Rp (x) está dado por la expresión


 
n p+1
1 X ∂ f
Rp (x) =  (d) (xi1 − ci1 )...(xip+1 − cip+1 ) ,
(p + 1)! i ∂x i1 ...∂x ip+1
1 ,..,ip+1 =1

siendo d ∈ Rn un punto que está cerca de c.


5.4. FÓRMULA DE TAYLOR 77

Como en el Capı́tulo 3, la expresión anterior de f (x) se llama fórmula de Taylor


de orden p de f en c. El polinomio de grado p considerado en dicha expresión, se
llama polinomio de Taylor de grado p de f en c. Este polinomio nos proporciona
un valor aproximado de f (x) cuando x está cerca de c y Rp (x) nos da la expresión del
error cometido en dicha aproximación.

Observación 5.4.2 Resulta de gran ayuda saber cuántas derivadas segundas, terceras,
.... hay en cada sumatorio de (5.3). Observar que al aplicar la Proposición 5.3.5 hay
una buena cantidad de derivadas de orden 2, 3, ... que coinciden. Para el caso de
funciones f (x, y) de dos variables variables puede verse fácilmente que dicha cantidad
sigue la misma distribución que los coeficientes del binomio de Newton. En efecto, para
el sumatorio de las derivadas segundas (p = 2) se verifica que

∂ 2f 2 ∂ 2f ∂ 2f
2
(c) (x − c 1 ) + 2 (c) (x − c 1 )(y − c 2 ) + 2
(c) (y − c2 )2 =
∂x ∂x∂y ∂y
 2
∂f ∂f
= (c) (x − c1 ) + (c) (y − c2 ) .
∂x ∂y

Análogamente, para p = 3,

∂ 3f 3 ∂ 3f 2 ∂ 3f
(c) (x − c 1 ) + 3 (c) (x − c 1 ) (y − c 2 ) + 3 (c) (x − c1 )(y − c2 )2 +
∂x3 ∂x2 ∂y ∂y 2 ∂x
3
∂ 3f

3 ∂f ∂f
+ (c) (y − c2 ) = (c) (x − c1 ) + (c) (y − c2 ) .
∂y 3 ∂x ∂y

En general, para el sumatorio de las derivadas p-ésimas, se tiene


n p
∂ pf

X ∂f ∂f
(c)(xi1 − ci1 )...(xip − cip ) = (c) (x − c1 ) + (c) (y − c2 ) .
i1 ,..,ip =1
∂xi1 ...∂xip ∂x ∂y

Ejemplo 5.4.3 Sea f : R2 −→R la función definida por f (x, y) = sin(xy), cuya gráfica
se representa en la Figura 5.6. Las aproximaciones de primer y segundo orden de f
en el punto c = (1, π/2) se muestran en la Figura 5.7. Dichas aproximaciones nos
proporcionan valores aproximados de sin(xy) cuando x está cerca de 1 e y está cerca
de π/2.
78 CAPÍTULO 5. DERIVACIÓN DE FUNCIONES DE VARIAS VARIABLES

1
0
−1 −1
−4 0
−3 1
−2 2
−1 3

0 4

1 5

2 6

π/2 3 7
X

Y 4 8

Figura 5.6: f (x, y) = sin(xy)

z=1 − π2 .(x − 1)2 /8 − π.(x − 1).(y − π/2)/2 − (y − π/2)2 /2

z= sin(x.y)

−20

−40
0

−60 10

20
−80 z=1
30
35 30 25 20 15 10 40 Y
5 0

Figura 5.7: Aproximaciones de primer y segundo orden de sin(xy) cerca de (1, π/2)
5.5. EXTREMOS CONDICIONADOS. MULTIPLICADORES DE LAGRANGE 79

5.5. Extremos de funciones reales de varias varia-


bles reales. Extremos condicionados. Multipli-
cadores de Lagrange
Definición 5.5.1 Sea f : Rn −→R. Se dice que f tiene un máximo (resp. mı́nimo)
relativo en c cuando existen (a1 , b1 ) intervalo abierto en R de centro c1 , . . . , (an , bn )
intervalo abierto en R de centro cn , tal que

f (x) ≤ f (c) para todo x ∈ (a1 , b1 ) × . . . × (an , bn )

(resp. f (x) ≥ f (c) para todo x ∈ (a1 , b1 ) × . . . × (an , bn )).


Se dice que c es un extremo relativo de f si c es un máximo o un mı́nimo relativo.
Ver la Figura 5.8.

z
Gráfica de f
Gráfica de f

y
y

c c
x Punto de mínimo relativo x Punto de máximo relativo

Figura 5.8: Extremos relativos

Proposición 5.5.2 (Condición necesaria de extremo relativo) Sea f : Rn −→R


una función diferenciable en Rn . Si c es un extremo relativo de f , entonces ∇f (c) = 0.
Los puntos c ∈ Rn tales que ∇f (c) = 0 y que no son extremos relativos de f se
llaman puntos de silla de f .
El siguiente resultado proporciona un método muy cómodo para el cálculo de extre-
mos relativos para funciones de dos variables.

Teorema 5.5.3 (Cálculo de extremos relativos) Sean f : R2 −→R una función de


clase C 3 y (a, b) ∈ R2 tal que ∇f ((a, b)) = 0. Sean:
80 CAPÍTULO 5. DERIVACIÓN DE FUNCIONES DE VARIAS VARIABLES
!
∂2f ∂2f
∂x2
(a, b) ∂x∂y
(a, b)
• Hf (a, b) = 2
∂ f 2
∂ f , la matriz Hessiana de f en (a, b).
∂x∂y
(a, b) ∂y 2
(a, b)
∂2f
• A= ∂x2
(a, b), el primer elemento de la diagonal principal de Hf (a, b).

• D = determinante de Hf (a, b).


Se verifica lo siguiente:
(i) Si D > 0 y A < 0, entonces (a, b) es un máximo relativo de f .
(ii) Si D > 0 y A > 0, entonces (a, b) es un mı́nimo relativo de f .
(iii) Si D < 0, entonces (a, b) es un punto de silla de f .
El criterio anterior es geométricamente evidente para funciones de la forma
1 1
f (x, y) = Ax2 + Cy 2 , A, C 6= 0.
2 2
Se tiene que ∇f (x, y) = 0 ⇐⇒ (x, y) = 0. En la Figura 5.9 se representan los tres
casos posibles, (i), (ii) y (iii), para esta función.

z z
D>0
A<0
O
D>0
A>0
y
x z

O
y
x
O

D<0 y
x
1 1
z A x 2+ Cy2
2 2

Figura 5.9: Extremos relativos de f (x, y) = 21 Ax2 + 21 Cy 2

Ejemplo 5.5.4 Calcular los extremos relativos de la función f : R2 −→R definida por
f (x, y) = x2 − 2xy + 2y 2 .
5.5. EXTREMOS CONDICIONADOS. MULTIPLICADORES DE LAGRANGE 81

Frecuentemente se desea maximizar o minimizar una función sujeta a ciertas condi-


ciones o restricciones adicionales. Más concretamente, queremos maximizar o minimizar
una función real f sujeta a la condición adicional de que x satisfaga también la ecuación
g(x) = 0 para una cierta función g.
Supongamos por ejemplo que tenemos un móvil describiendo una trayectoria circular
en el plano, a lo largo de la circunferencia x2 + y 2 = 1. Sea f la función que en cada
punto (x, y) del plano nos describe la temperatura f (x, y) que hay en dicho punto.
Queremos encontrar los puntos en los que el móvil soporta la máxima temperatura,
en su trayectoria, es decir, los puntos en x2 + y 2 = 1 donde f se maximiza. No nos
importa el punto de mayor temperatura del plano. Ver la Figura 5.10.
z
z = f(x,y) sujeta a la

restricción x2 + y2 = 1

z = f(x,y)

x y

Punto en x 2 + y 2 = 1 donde f se maximiza

Figura 5.10: Extremos condicionados

A continuación vamos a mostrar uno de los métodos más usuales para resolver estos
problemas de extremos condicionados: el de los multiplicadores de Lagrange.

Teorema 5.5.5 (Método de los multiplicadores de Lagrange) Sean f, g : Rn −→R


dos funciones reales de clase C 1 . Sea S = {x ∈ Rn : g(x) = 0}. Supongamos que
∇g(c) 6= 0.
Si la restricción de f a S, f |S, tiene un máximo o mı́nimo en c, entonces existe un
número real λ tal que
∇f (c) = λ ∇g(c). (5.4)
82 CAPÍTULO 5. DERIVACIÓN DE FUNCIONES DE VARIAS VARIABLES

El número λ que aparece en la ecuación (5.4) se llama multiplicador de Lagrange.


Cuando se usa el método del Teorema 5.5.5, debemos hallar un punto c y un mul-
tiplicador de Lagrange λ para el que se verifique (5.4). Dicha ecuación dice que las
derivadas parciales de f son proporcionales a las de g. Hallar los puntos c donde eso
ocurre significa resolver, en las variables x1 , . . . , xn y λ, el sistema de ecuaciones
∂f ∂g
(x1 , . . . , xn ) = λ (x1 , . . . , xn )
∂x1 ∂x1
∂f ∂g
(x1 , . . . , xn ) = λ (x1 , . . . , xn )
∂x2 ∂x2
..
. (5.5)
∂f ∂g
(x1 , . . . , xn ) = λ (x1 , . . . , xn )
∂xn ∂xn
g(x1 , . . . , xn ) = 0

Otra forma de considerar el sistema de ecuaciones (5.5) es la siguiente:


Pensamos en λ como en una nueva variable y formamos la función auxiliar

h(x1 , . . . , xn , λ) = f (x1 , . . . , xn ) − λ g(x1 , . . . , xn ).

El Teorema de los multiplicadores de Lagrange (Teorema 5.5.5) dice que para ha-
llar los extremos de f |S tenemos que examinar los puntos (x1 , . . . , xn , λ) en los que
∇h(x1 , . . . , xn , λ) = 0. Estos se encuentran resolviendo las ecuaciones
∂h ∂f ∂g
0 = = −λ
∂x1 ∂x1 ∂x1
..
. (5.6)
∂h ∂f ∂g
0 = = −λ
∂xn ∂xn ∂xn
∂h
0 = = g(x1 , . . . , xn )
∂λ
que coinciden con las ecuaciones de (5.5).

Para determinar si los puntos c ası́ obtenidos son máximos o mı́nimos, el método
más sencillo es mediante cálculo manual. Esto se verá más claramente en el siguiente
ejemplo y en los ejercicios prácticos.

Ejemplo 5.5.6 Sea f : R2 −→R la función definida por f (x, y) = x2 + y 2 . Hallar los
extremos de f bajo la condición de que (x, y) pertenece a la recta S con pendiente 1
que pasa por (−1, 0). Ver la Figura 5.11.
5.6. DERIVACIÓN DE FUNCIONES IMPLÍCITAS 83

y S

f =1

1 1
,
2 2

1
f= 2

Figura 5.11: Extremos de f (x, y) = x2 + y 2 bajo la condición y − x − 1 = 0

5.6. Derivación de funciones implı́citas


Se trata de estudiar cuando se pueden despejar unas variables en función de otras,
cerca de un determinado punto, cuando todas esas variables están ligadas mediante
un cierto número de ecuaciones implı́citas. Además, es de esperar que cuando esto sea
posible, la forma de despejar sea “buena”, en el sentido de que sea diferenciable. El
Teorema de la función implı́cita nos da respuesta a esta cuestión. No presentamos su
versión general. Nos centramos en los tres casos particulares más usuales.

Teorema 5.6.1 (Teorema de la función implı́cita) Todas las funciones F , F1 y F2


que se consideran a continuación son de clase C 1 .

(i) Consideremos la ecuación F (x, y) = 0. Sea (x0 , y0 ) ∈ R2 tal que ∂F


∂y
(x0 , y0 ) 6= 0.
Entonces, la ecuación F (x, y) = 0 define de manera única una función derivable
y = y(x) cerca del punto (x0 , y0 ).

(ii) Consideremos la ecuación F (x, y, z) = 0. Sea (x0 , y0 , z0 ) ∈ R3 tal que ∂F


∂z
(x0 , y0 , z0 )
6= 0. Entonces, la ecuación F (x, y, z) = 0 define de manera única una función
diferenciable z = z(x, y) cerca del punto (x0 , y0 , z0 ).

(iii) Consideremos el sistema de ecuaciones

F1 (x, y, , z) = 0, F2 (x, y, , z) = 0. (5.7)

Sea (x0 , y0 , z0 ) ∈ R3 tal que el determinante de la matriz


!
∂F1 ∂F1
∂y
(x 0 , y0 , z0 ) ∂z
(x 0 , y0 , z0 )
∂F2 ∂F2
∂y
(x 0 , y0 , z0 ) ∂z
(x0 , y0 , z0 )
84 CAPÍTULO 5. DERIVACIÓN DE FUNCIONES DE VARIAS VARIABLES

es distinto de cero. Entonces, el sistema de ecuaciones de (5.7) define de manera


única funciones derivables y = y(x), z = z(x) cerca del punto (x0 , y0 , z0 ).

Para cada una de las funciones derivables (diferenciable) cuya existencia se prueba
en los apartados anteriores, sus derivadas (derivadas parciales) se pueden calcular por
derivación implı́cita.

Ejemplo 5.6.2
1. Consideremos la ecuación x2 + y 2 − 1 = 0. ¿Cerca de qué puntos esta ecuación
define de manera única a y como una función derivable de x?
2. Consideremos la ecuación x3 + 3y 2 + 8x z 2 − 3z 2 y = 1.
(a) ¿Cerca de qué puntos esta ecuación define de manera única a z como una función
diferenciable de x e y?
∂z ∂z
(b) Elegir uno de esos puntos y calcular en él ∂x y ∂y .
3. (a) Probar que es posible despejar y y z de las ecuaciones

x y + z y 2 = 2, x y3 + z4 = 2

como funciones derivables de x de manera única, cerca del punto (x0 , y0 , z0 ) = (1, 1, 1).
(b) Calcular y 0 (x) y z 0 (x) en x = 1.

También podría gustarte