Está en la página 1de 186

Escuela Tcnica Superior de Ingenieros de Caminos,

Canales y Puertos.
Grado en Ingeniera Civil, Obras Pblicas y Transportes
Matemticas I
Curso 2010-2011
Juan Carlos Cabello Par
Departamento de Anlisis Matemtico
2
ndice general
1. Funciones de una variable: lmite y continuidad. 7
1.1. El conjunto de los nmeros reales. . . . . . . . . . . . . . . . . . . . . 7
1.1.1. Estructura algebraica . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.2. Estructura ordenada . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.3. Axioma del supremo. . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.4. Valor absoluto de un nmero real . . . . . . . . . . . . . . . . . 12
1.1.5. Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.1.6. Expresin decimal de un nmero real . . . . . . . . . . . . . . . 14
1.1.7. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . 15
1.2. Funciones elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.1. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.2. Grca de una funcin . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.3. Algunas propiedades elementales: Monotona, simetra y period-
icidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.4. Funciones racionales . . . . . . . . . . . . . . . . . . . . . . . . 20
1.2.5. Funcin logaritmo. . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.2.6. Operaciones con funciones. . . . . . . . . . . . . . . . . . . . . 23
1.2.7. Funcin exponencial. . . . . . . . . . . . . . . . . . . . . . . . . 25
1.2.8. Funciones denidas a trozos. Funciones parte entera y valor ab-
soluto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.2.9. Funciones arcocoseno,coseno y seno . . . . . . . . . . . . . 28
1.2.10. Funcin tangente . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.2.11. Funciones secante, cosecante y cotangente . . . . . . . . . . . . 31
1.2.12. Funciones arcocoseno, arcoseno y arcotangente. . . . . . . . . . 32
1.2.13. Identidades Trigonomtricas. . . . . . . . . . . . . . . . . . . . 33
1.2.14. Funciones Hiperblicas. . . . . . . . . . . . . . . . . . . . . . . . 34
1.2.15. Relacin de ejercicios. . . . . . . . . . . . . . . . . . . . . . . . 36
1.3. Sucesiones de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . 39
1.3.1. Acotacin, monotona y convergencia de sucesiones . . . . . . . 39
1.3.2. Sucesiones divergentes . . . . . . . . . . . . . . . . . . . . . . . 41
1.3.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 42
1.4. Lmite Funcional. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.4.1. Puntos de acumulacin. . . . . . . . . . . . . . . . . . . . . . . 43
1.4.2. Lmite funcional y lmites laterales. . . . . . . . . . . . . . . . . 44
1.4.3. Lmites en el innito. . . . . . . . . . . . . . . . . . . . . . . . . 46
3
4 NDICE GENERAL
1.4.4. Funciones divergentes . . . . . . . . . . . . . . . . . . . . . . . . 47
1.4.5. Algebra de lmites. . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.4.6. Lmites de funciones de tipo exponencial . . . . . . . . . . . . . 49
1.4.7. Indeterminaciones . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.4.8. Funciones asintticamente equivalentes. . . . . . . . . . . . . . . 51
1.4.9. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 51
1.5. Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.5.1. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.5.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
1.5.3. Propiedades de las funciones continuas: Teoremas de Bolzano, del
valor intermedio y de conservacin de la compacidad. . . . . . . 56
1.5.4. Resolucin Numrica de Ecuaciones. . . . . . . . . . . . . . . . 58
1.5.5. Relacin de Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 58
2. Clculo diferencial en una variable 61
2.1. Funciones derivables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.1.1. Derivada. Recta tangente . . . . . . . . . . . . . . . . . . . . . . 62
2.1.2. Recta tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.1.3. Propiedades de las funciones derivables: Teoremas de Rolle y del
valor medio, y reglas de L+Hpital. . . . . . . . . . . . . . . . . 64
2.1.4. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 68
2.2. Extremos relativos. Polinomio de Taylor . . . . . . . . . . . . . . . . . 73
2.2.1. Extremos de una funcin . . . . . . . . . . . . . . . . . . . . . 73
2.2.2. Extremos relativos y derivabilidad . . . . . . . . . . . . . . . . 75
2.2.3. Derivadas sucesivas . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.2.4. Polinomio de Taylor . . . . . . . . . . . . . . . . . . . . . . . . 77
2.2.5. Resolucin numrica de ecuaciones. . . . . . . . . . . . . . . . . 78
2.2.6. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 80
3. R
n
83
3.1. Los nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.1.1. El conjunto C . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.1.2. Expresiones de un nmero complejo y propiedades. . . . . . . . 85
3.1.3. Raices n-simas. . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.1.4. Relacin de Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 88
3.2. El plano y el espacio eucldeos . . . . . . . . . . . . . . . . . . . . . . . 89
3.2.1. Estructura algebraica . . . . . . . . . . . . . . . . . . . . . . . . 89
3.2.2. Producto escalar . . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.2.3. Conceptos topolgicos . . . . . . . . . . . . . . . . . . . . . . . 91
3.2.4. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 93
4. Clculo diferencial en varias variables 95
4.1. Derivadas direccionales . . . . . . . . . . . . . . . . . . . . . . . . . . 95
4.1.1. Derivadas direccionales . . . . . . . . . . . . . . . . . . . . . . 95
4.1.2. Derivada parcial . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.1.3. Regla de la cadena . . . . . . . . . . . . . . . . . . . . . . . . . 97
NDICE GENERAL 5
4.1.4. Vector gradiente y matriz jacobiana . . . . . . . . . . . . . . . . 98
4.1.5. Plano tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4.1.6. Curvas y supercies dadas en forma implcita . . . . . . . . . . 100
4.1.7. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 101
4.2. Clculo de extremos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
4.2.1. Extremos relativos de un campo escalar . . . . . . . . . . . . . . 103
4.2.2. Extremos relativos y derivabilidad . . . . . . . . . . . . . . . . 104
4.2.3. Derivadas parciales de orden superior . . . . . . . . . . . . . . . 105
4.2.4. Condicin suciente para la existencia de extremos relativos . . 106
4.2.5. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 108
4.3. Extremos condicionados. . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.3.1. Motivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.3.2. Conjuntos determinados por una funcin . . . . . . . . . . . . . 112
4.3.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 114
5. Series de nmeros reales. 117
5.1. Series de nmeros reales . . . . . . . . . . . . . . . . . . . . . . . . . . 117
5.1.1. Series de nmeros reales . . . . . . . . . . . . . . . . . . . . . . 117
5.1.2. Criterios de convergencia . . . . . . . . . . . . . . . . . . . . . . 120
5.1.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 122
5.2. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.2.1. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.2.2. Funciones denidas por series de potencias . . . . . . . . . . . . 126
5.2.3. Desarrollo en serie de Taylor . . . . . . . . . . . . . . . . . . . . 127
5.2.4. Aplicaciones: Suma de series de nmeros reales . . . . . . . . . 128
5.2.5. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 128
6. Clculo integral en una variable 131
6.1. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
6.1.1. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . 131
6.1.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.1.3. Propiedades de las funciones integrables . . . . . . . . . . . . . 134
6.1.4. Relacin entre integracin y derivacin: Teorema Fundamental
del Clculo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
6.1.5. Cmo evaluar una integral: Regla de Barrow. . . . . . . . . . . . 135
6.1.6. Integrales impropias . . . . . . . . . . . . . . . . . . . . . . . . 137
6.1.7. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 139
6.2. Mtodos de integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
6.2.1. Integracin de funciones racionales . . . . . . . . . . . . . . . . 141
6.2.2. Integracin de funciones no racionales . . . . . . . . . . . . . . . 144
6.2.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 147
6.3. Aplicaciones del clculo integral . . . . . . . . . . . . . . . . . . . . . . 149
6.3.1. La integral como paso al lmite . . . . . . . . . . . . . . . . 149
6.3.2. Clculo del rea de un recinto plano . . . . . . . . . . . . . . . 151
6.3.3. Clculo de la longitud de una curva . . . . . . . . . . . . . . . 152
6.3.4. Clculo del volumen y del rea de un slido de revolucin . . . 153
6 NDICE GENERAL
6.3.5. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 156
7. Clculo integral en varias variables 159
7.1. Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
7.1.1. Por qu una nueva integral? . . . . . . . . . . . . . . . . . . . 159
7.1.2. Conjuntos medibles . . . . . . . . . . . . . . . . . . . . . . . . . 160
7.1.3. Funciones medibles. Integral de Lebesgue . . . . . . . . . . . . . 162
7.1.4. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . 163
7.1.5. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
7.2. Tcnicas de integracin en varias variables . . . . . . . . . . . . . . . . 167
7.2.1. Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . 167
7.2.2. Cambio de coordenadas . . . . . . . . . . . . . . . . . . . . . . 170
7.2.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 171
8. Ecuaciones diferenciales 175
8.1. Ecuaciones diferenciales ordinarias de primer orden . . . . . . . . . . . 175
8.1.1. Ecuaciones diferenciales ordinarias . . . . . . . . . . . . . . . . 175
8.1.2. Teoremas de existencia y unicidad . . . . . . . . . . . . . . . . . 177
8.1.3. Lineal de primer orden . . . . . . . . . . . . . . . . . . . . . . . 177
8.1.4. e.d.o. de orden uno no lineal . . . . . . . . . . . . . . . . . . . . 178
8.1.5. Otras ecuaciones de primer orden . . . . . . . . . . . . . . . . . 180
8.1.6. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 181
8.2. e.d.o. de segundo orden . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
8.2.1. e.d.o lineal de segundo orden . . . . . . . . . . . . . . . . . . . . 183
8.2.2. Resolucin de e.d.o. lineales por series de potencias . . . . . . . 186
8.2.3. Algunas e.d.o. interesantes . . . . . . . . . . . . . . . . . . . . . 186
8.2.4. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 187
Captulo 1
Funciones de una variable: lmite y
continuidad.
1.1. El conjunto de los nmeros reales.
Sumario
En esta leccin estudiaremos las propiedades ms importantes de los nmeros reales. La
estrategia que seguiremos en esta primera leccin ser la de exponer una lista de propiedades
fundamentales de los nmeros reales, que son enunciadas bajo la forma de " axiomas ", y
posteriormente enunciar sus sconsecuencias ms importantes. Destacaremos, de entre todos
los axiomas, el que llamaremos axioma del supremo. ste no se verica en ninguno de los
conjuntos numricos ms pequeos, ni siquiera en el conjunto de los nmeros racionales, y
por tanto, esta propiedad conere al conjunto de los nmeros reales su identidad y primaca.
Cualquier otra propiedad de los nmeros reales se deduce de ste y del resto de los axiomas.
El contenido completo de esta leccin se articula de la siguiente manera:
I.1.1 Estructura algebraica.
I.1.2 Estructura ordenada.
I.1.3 Axioma del supremo.
I.1.4 Valor absoluto de un nmero real.
I.1.5 Intervalos.
I.1.6 Aproximacin decimal.
I.1.7 Relacin de ejercicios.
7
8 I.1 El conjunto de los nmeros reales
1.1.1. Estructura algebraica
Axioma I: Existe un conjunto, que notaremos por R, en el que se puede denir una
operacin suma (+), vericando:
1. Propiedad asociativa:
(x + y) + z = x + (y + z) (x, y, z R)
(esto es, no es necesario escribir parntesis si slo aparece la operacin suma).
2. Propiedad conmutativa:
x + y = y + x (x, y R).
3. Propiedad de existencia de elemento neutro:
Existe un elemento 0 R, tal que, para cada x R, se tiene
x + 0 = x.
4. Propiedad de existencia de elemento simtrico:
Dado cualquier nmero real x existe otro nmero real x tal que
x + (x) = 0.
Axioma II: En el conjunto R se puede denir tambin una segunda operacin,
llamada producto (.), que notaremos por yuxtaposicin, vericando:
1. Propiedad asociativa:
(xy)z = x(yz) (x, y, z R),
(esto es, no es necesario escribir parntesis si slo aparece la operacin producto).
2. Propiedad conmutativa:
xy = yx (x, y R).
3. Propiedad de existencia de elemento neutro:
Existe un nmero real 1 R, tal que, para cada x R, se tiene
x1 = x.
4. Propiedad de existencia de elemento inverso:
Dado cualquier nmero real x ,= 0 existe otro nmero real 1/x tal que
x 1/x = 1.
Anlisis Matemtico 9
Ambas operaciones se relacionan entre s de la siguiente manera
Axioma III:
Propiedad distributiva:
(x + y)z = xz + yz (x, y, z R).
1.1.2. Estructura ordenada
Axioma IV: Existe una relacin binaria ()), vericando:
1. Propiedad reexiva: x x (x R).
2. Propiedad antisimtrica: Si x y e y x, entonces x = y (x, y R).
3. Propiedad transitiva: Si x y e y z, entonces x z (x, y, z R).
Estas tres propiedades se resumen diciendo que la relacin ()) es una relacin de
orden.
De hecho, el orden es total ya que:
Axioma V:
Dados dos nmeros reales x e y, ocurre que bien x y bien y x.
Adems el orden tiene un buen comportamiento con respecto a la suma
Axioma VI:
Sean x, y, z tres nmeros reales arbitrarios. Si x y, entonces x + z y + z.
y tambin respecto al producto
Axioma VII:
Sean x, y dos nmeros reales arbitrarios y z 0. Si x y, entonces xz yz.
Las propiedades enunciadas anteriormente suelen resumirse diciendo que el
conjunto R dotado con las operaciones +, . y el orden tiene estructura de cuerpo
ordenado.
10 I.1 El conjunto de los nmeros reales
Notacin
Notaremos por:
- x y a la expresin y x,
- x < y, el hecho de que x y y x ,= y,
- x > y a la expresin y < x,
- x y = x + (y),
- x/y = x 1/y.
y tambin por
R
+
:= x R; 0 < x,
R

:= x R; x < 0,
R
+
0
:= x R; 0 x,
R

:= x R; x ,= 0.
Antes de continuar vamos a resaltar algunas propiedades que son consecuencia
de los axiomas anteriores.
Proposicin 1.1.1. Sean x, y, z tres nmeros reales.
1. x 0 = 0.
2. x (y) = xy. (Regla de los signos)
3. x y + z x z y.
4. Si z > 0, entonces x yz x/z y.
5. Si z < 0, entonces x yz x/z y.
6. Si 0 < x < y, entonces 0 < 1/y < 1/x.
7. x y si, y slo si x y + z, para todo z R
+
.
1.1.3. Axioma del supremo.
Es claro que el conjunto de los nmeros racionales Qcumple todas las propiedades
exhibidas hasta el momento. Sin embargo, como ya hemos advertido, en este conjunto
no se encuentran sucientes elementos como para medir por ejemplo la diagonal de un
cuadrado de lado 1. Debe haber pues alguna otra propiedad, exclusiva del conjunto R,
que asegure que contiene estos nuevos elementos. Para poder enunciar esta propiedad
necesitamos introducir algunos conceptos.
Anlisis Matemtico 11
Sea A un subconjunto de nmeros reales no vaco y z R. Se dice que z es un
mayorante o cota superior de A si verica que, para cada x A,
x z.
Se dice que z es el supremo de A si es el menor de los mayorantes de A. Si el
supremo pertenece al conjunto, se dice que z es el mximo de A.
Invirtiendo el orden en las deniciones anteriores, encontramos los conceptos de
minorante o cota inferior y de nmo. Si el nmo pertenece al conjunto, se dice
que es el mnimo de A.
Se dir que un subconjunto A de nmeros reales est mayorado (resp. minorado)
si tiene mayorantes (resp. minorantes).
Se dir que un subconjunto A de nmeros reales est acotado si tiene mayorantes
y minorantes. Esto es, si est mayorado y minorado.
Ya podemos enunciar el axioma distintivo del conjunto R, conocido como el axioma
del supremo
Axioma VIII:
Todo subconjunto de nmeros reales no vaco y mayorado tiene supremo.
Este axioma nos permite incluir, por ejemplo,

2 en el conjunto R, ya que es fcil
probar que

2 = Supx Q; x
2
< 2.
Por otra parte, es consecuencia inmediata del axioma del supremo, que todo sub-
conjunto de nmeros reales no vaco y minorado tiene nmo. Este hecho nos permite
ver que el nmero e es tambin un nmero real, ya que ste puede verse como
e = Inf(1 + 1/n)
n+1
; n N,
aunque tambin
e = Sups
n
= 1 + 1 + 1/2 + ... + 1/n!; n N.
La recta real: representacin grca del conjunto R
Para tener una idea intuitiva del conjunto, los nmeros reales suelen representarse
como los puntos de una recta. Para dicha representacin jamos dos puntos sobre una
recta horizontal que llamamos origen y punto unidad, y les asignamos los nmeros 0
y 1, respectivamente. El segmento entre 0 y 1 es tomado como unidad de medida y,
llevado hacia la derecha del 1, nos permite representar los diferentes nmeros naturales.
12 I.1 El conjunto de los nmeros reales
Llevando la misma unidad de medida hacia la izquierda de cero, se obtiene el resto de
los nmeros enteros. Los huecos sern rellenados por el resto de los nmeros racionales
e irracionales teniendo en cuenta los apartados 3) y 4) del teorema ??. As, el hecho de
que x y se interpreta como que el punto x se encuentra situado a la izquierda del
punto y.
1.1.4. Valor absoluto de un nmero real
Dado un nmero real x, se dene su valor absoluto por la siguiente regla
[x[ =
_
x si x 0
x si x < 0
Conviene destacar algunas de sus propiedades:
Proposicin Sean x e y dos nmeros reales, entonces
1. [x[ = 0 si, y slo si x = 0.
2. Si x ,= 0, entonces [x[ > 0.
3. [x[ = [ x[, [xy[ = [x[[y[.
4. x
2
= [x[
2
,

x
2
= [x[.
5. [x[ y si, y slo si y x y.
6. [x + y[ [x[ +[y[,
7. [[x[ [y[[ [x y[.
1.1.5. Intervalos
Otros subconjuntos especialmente interesantes son los llamados intervalos, esto
es, hablando rudamente, los conjuntos que no tienen agujeros.
Dados dos nmeros reales a y b, con a b, se llamar
Intervalo abierto de extremos a y b, al conjunto
]a, b[:= x R; a < x < b.
Intervalo cerrado de extremos a y b, al conjunto
[a, b] := x R; a x b.
Anlisis Matemtico 13
Intervalo cerrado en a y abierto en b, al conjunto
[a, b[:= x R; a x < b.
Intervalo abierto en a y cerrado en b, al conjunto
]a, b] := x R; a < x b.
Semirrecta abierta de origen a al conjunto
]a, +[:= x R; a < x.
Semirrecta cerrada de origen a al conjunto
[a, +[:= x R; a x.
Semirrecta abierta de extremo b al conjunto
] , b[:= x R; x < b.
Semirrecta cerrada de extremo b al conjunto
] , b] := x R; x b.
Estos ocho tipos de conjuntos junto con el propio R son los nicos subconjuntos
de R que no tienen agujeros , esto es, dicho de forma ms rigurosa, son los nicos
subconjuntos I de nmeros reales que verican que, para cada dos puntos x, y I, se
tiene que el intervalo [x, y] est contenido en I.
Sea A un subconjunto no vaco de nmeros reales. Se dice que x
0
es un punto
de acumulacin de A,
"si todo intervalo centrado en x
0
tiene algn punto, distinto del propio x
0
, en comn
con A,
lo que a su vez en lenguaje formal se expresa:
x
0
A

]x
0
, x
0
+ [ Ax
0
,= , R
+
.
Denominaremos por A

al conjunto de todos los puntos de acumulacin de A


Se dice que un punto a A es un punto aislado de A si no es un punto de
acumulacin.
14 I.1 El conjunto de los nmeros reales
1.1.6. Expresin decimal de un nmero real
A los elementos del conjunto D = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 se les denomina nmeros
dgitos. LLamaremos expresin decimal de un nmero real dado x a una lista de
nmeros dgitos que est unvocamente determinada por dicho nmero. Para construir
la expresin decimal necesitamos el concepto de parte entera.
Se llama parte entera de un nmero real x al nmero entero E(x) dado por
E(x) = Maxp Z; p x.
Es inmediato comprobar que para cada x R: E(x) x < E(x) + 1,
A partir de aqu, si x es no negativo, suele escribirse la expresin
x = E(x)

a
1
a
2
...a
n
....
(Si x R

, suele escribirse x = E(x)

a
1
a
2
...a
n
...)
Una tal expresin recibe el nombre de expresin decimal del nmero x.
As por ejemplo, la expresin decimal del nmero 1/6 es
1/6 = 0

1666..,6...
Si la expresin decimal de x es tal que a
n
= 0 a partir de un cierto valor p, diremos
que la expresin decimal de x es nita o que x admite un desarrollo decimal nito
y en tal caso escribiremos
x = E(x)

a
1
a
2
...a
p
.
Merece la pena destacar que en este caso, claramente, x es un nmero racional.
Sin embargo, puede ocurrir que un nmero racional no admita un desarrollo
decimal nito, si bien, en tal caso se advierte que existe una lista de dgitos que se
repite peridicamente. Si E(x)

a
1
a
2
...a
n
... es la expresin decimal de un nmero racional
positivo x, donde a
p
, a
p+1
, a
p+2
, ..., a
q
es una lista de dgitos que se repite de forma
continuada, suele escribirse
x = E(x)

a
1
a
2
...a
p1
,

(a
p
a
p+1
a
p+2
...a
q
).
Una tal expresin recibe el nombre de expresin decimal peridica.
As, por ejemplo
4
3
= 1

a
1
a
2
...a
n
..., donde, para cada n N, se tiene que, a
n
= 3.
En tal caso escribiremos 4/3 = 1

3.
La expresin decimal de un nmero irracional ni es nita ni es peridica.
Anlisis Matemtico 15
Sea x un nmero real positivo, y sea E(x)

a
1
a
2
...a
n
... su expresin decimal. Al valor
E(x)

a
1
a
2
...a
n
se le denomina aproximacin decimal de x con n cifras exactas.
En los clculos con nmeros irracionales suele usarse la aproximacin decimal con
cifras exactas, teniendo en cuenta que para ello la ltima cifra que aparece es fruto
del redondeo y que el nmero de cifras exactas a usar en cada caso depender de la
precisin que necesitemos. Por ejemplo en lugar de
e = 2

718281828459045235360287471352662497757247...,
puede escribirse, si en los clculos slo necesitamos contar con seis decimales,
e 2

718282.
1.1.7. Relacin de ejercicios
1. Supuesto que
s
t
<
x
y
, donde s, x R, t, y R
+
, prubese que
s
t
<
s + x
t + y
<
x
y
.
2. Dados los nmeros reales x, y, disctase la validez de las siguientes armaciones.
a) [2x 1[ 5,
b)
2x 3
x + 2
<
1
3
(x ,= 2),
c) [x 5[ < [x + 1[,
d) [x[ [y[ = [x y[.
3. Calclense, si existen, el supremo, el mximo, el nmo y el mnimo de los sigu-
ientes subconjuntos de nmeros reales:
a) A = x R; x
2
4 0,
b) B = x R; x
2
4 < 0,
c) C = x R2; x + 2/x 2 < 0
d) D = x R2; x + 2/x 2 0
e) E = 1/n; n N.
4. Prubese que

3 es irracional.
1.2. FUNCIONES ELEMENTALES 17
1.2. Funciones elementales
Sumario
Como ya hemos advertido, el ncleo del curso est constituido por el estudio de aquellas
aplicaciones en el que tanto el dominio como la imagen son subconjuntos de nmeros reales.
En esta leccin estudiaremos los ejemplos ms importantes de stas. El contenido completo de
esta leccin se articula de la siguiente manera:
1.2.1 Aplicaciones.
1.2.2 Funciones reales de variable real.
1.2.3 Grcas.
1.2.4 Funciones racionales.
1.2.5 Funcin logaritmo.
1.2.6 Operaciones con funciones.
1.2.7 Funcin exponencial.
1.2.8 Funciones denidas a trozos. Funciones valor absoluto y parte entera.
1.2.9 Funciones seno y coseno.
1.2.10 Funcin tangente.
1.2.11 Funciones secante,cosecante y cotangente.
1.2.12 Funciones arcocoseno,arcoseno y arcotangente.
1.2.13 Identidades trigonomtricas.
1.2.14 Funciones hiperblicas.
1.2.15 Relacin de ejercicios.
1.2.1. Aplicaciones
Con el n de hacer una denicin rigurosa necesitamos recordar algunos
conceptos:
Dados dos conjuntos A y B se dice que una correspondencia f entre los
elementos de A y de B es una aplicacin entre A y B si a cada elemento del conjunto
A corresponde un slo elemento del conjunto B. Este hecho suele notarse
f : A B.
18 1.2. Funciones elementales
Al conjunto A se le suele llamar dominio de la aplicacin f y al conjunto B conjunto
nal de la aplicacin f.
As pues, una aplicacin viene determinada por
1. su dominio A,
2. el cojunto B donde toma valores,
y
3. la ley de correspondencia, x f(x).
Por otra parte, se dice que una aplicacin f : A B es
1. inyectiva si, para cualesquiera dos elementos x, y A tales que x ,= y, entonces
f(x) ,= f(y)), equivalentemente si f(x) = f(y) implica que x = y.
2. sobreyectiva si el conjunto imagen de f,f(A), que no es otro que el conjunto
f(A) = y R; existe x A, tal que y = f(x),
coincide con el conjunto donde toma valores la funcin,
3. biyectiva si es inyectiva y sobreyectiva.
Sea f : A B es una aplicacin inyectiva. A la aplicacin cuyo dominio es f(A),
cuyo rango es A y que viene denida por la ley f(x) x se le denomina aplicacin
inversa de f y es denotada por f
1
.
Obsrvese que la funcin inversa f
1
: f(A) A es una aplicacin biyectiva.
Dada una aplicacin f : A B y dado un subconjunto C de A, llamaremos
restriccin de f al conjunto C, f/C, a una nueva aplicacin cuyo dominio es C,
que toma valores en C y cuya ley de correspondencia viene dada por
(f/C)(x) = f(x) ( x C).
Llamaremos funcin real de variable real a toda aplicacin denida en un
subconjunto de nmeros reales y con valores en R, esto es, a toda funcin
f : A B, donde A y B son subconjuntos no vacos de nmeros reales.
1.2.2. Grca de una funcin
En ocasiones resulta til tener una imagen fotogrca de las funciones,
esto se consigue mediante la grca de dicha funcin. Dada una funcin f : A R
se dene la grca de f, como el conjunto
Graf(f) : (x, y) R
2
; y = f(x), x A.
Anlisis Matemtico 19
Es claro que el conjunto Graf(f) es un subconjunto de R
2
. Al igual que
usamos como representacin grca de R la recta real, podremos usar el plano como
representacin grca del conjunto R
2
y, por ende, la grca de una funcin real de
variable real podr representarse como un subconjunto de ste.
La idea que ahora queremos resaltar es que la forma de la grca revela muchas
de las propiedades de la funcin correspondiente.
-6 -4 -2 2 4 6
-1
-0.5
0.5
1
1.2.3. Algunas propiedades elementales: Monotona, simetra y
periodicidad
Sea A un subconjunto de nmeros reales y sea f : A R una funcin.
MONOTONA
Se dice que f es
1. creciente en A si siempre que x, y A con x < y, entonces f(x) f(y).
2. estrictamente creciente en A si siempre que x, y A con x < y, entonces
f(x) < f(y).
3. decreciente en A si siempre que x, y A con x < y, entonces f(x) f(y).
4. estrictamente decreciente en A si siempre que x, y A con x < y, entonces
f(x) > f(y).
5. montona (resp. estrictamente montona en A si es creciente o decreciente
(resp. estrictamente creciente o decreciente).
SIMETRA
Se dice que f es
1. par en A si f(x) = f(x), siempre que A verique x A x A.
20 1.2. Funciones elementales
2. impar en A si f(x) = f(x), siempre que A verique x A x A.
3. peridica en A si existe un nmero real positivo T tal que para todo x A, se
verica que x + T A y
f(x + T) = f(x).
Un tal nmero real T recibe el nombre de periodo de la funcin f.
1.2.4. Funciones racionales
Veamos algunos ejemplos importantes de funciones reales de variable real.
1. Funcin identidad
Dada A un subconjunto de nmeros reales, se dene la funcin identidad en
A, I
A
, como aquella funcin I
A
: A R que viene denida por
I
A
(x) = x, x A.
Dicha funcin es estrictamente creciente y su grca
Graf(I
A
) = (x, x); x A.
es un subconjunto de la diagonal principal
D := (x, x); x A.
Si A = [2, 3], entonces su grca puede ser representada por
-2 -1 1 2 3
-2
-1
1
2
3
Anlisis Matemtico 21
2. Funciones constantes
Dada A un subconjunto de nmeros reales y dado a R, se dene la funcin
constante restringida al conjunto A, C
a
, como la funcin C
a
: A R que viene
denida por
C
a
(x) = a, x A.
La grca de dicha funcin
Graf(C
a
) = (x, a); x R
puede verse como un subconjunto de la recta horizontal y = a:
Si A = [2, 3] y a = 3, entonces su grca puede ser representada por
-2 -1 1 2 3
1
2
3
4
5
6
3. Funciones polinmicas
Una funcin f : A R se dice ser polinmica si existen a
0
, a
1
, a
2
, ..., a
n
nmeros reales tales que f(x) = a
n
x
n
+a
n1
x
n1
+... +a
1
x+a
0
para cada x A.
La funcin identidad y toda funcin constante son ejemplos sencillos de funciones
polinmicas.
Si A = [2, 3] y f(x) = x
3
+ x
2
+ 1, entonces la grca de la funcin polinmica
f puede ser representada por la siguiente gura.
-2 -1 1 2 3
0.6
0.8
1.2
1.4
1.6
4. Funciones racionales
Una funcin f : A R se dice ser racional si existen sendas funciones
polinmicas f
1
y f
2
, con f
2
(x) ,= 0, para cada x A y tales que, para cada x A
f(x) = f
1
(x)/f
2
(x).
22 1.2. Funciones elementales
Es claro que todos los ejemplos anteriores lo son de funciones racionales.
Si A = [2, 3] y f(x) =
x+1
x
2
+1
, entonces la grca de la funcin racional f puede
ser representada por
-2 -1 1 2 3
-0.2
0.2
0.4
0.6
0.8
1
1.2
1.2.5. Funcin logaritmo.
Se dene la funcin Logaritmo neperiano, log, como la nica biyeccin
estrictamente creciente, que existe de R
+
en R, vericando:
- log(1) = 0
- log(e) = 1
- log(xy) = log(x) + log(y).
Como consecuencia, se pueden obtener algunas propiedades tales como que:
- log(x
p
) = plog(x), para cada x R
+
y para cada p N.
- log(x/y) = log(x) log(y), para cada x, y R
+
.
Si A =]0, 5] entonces la grca de la restriccin de la funcin logaritmo neperiano
al conjunto A puede ser representada por
1 2 3 4 5
-8
-6
-4
-2
Anlisis Matemtico 23
Funcin logaritmo de base a
Dado a > 0, a ,= 1, se llama funcin logaritmo de base a, log
a
, a la funcin
denida en R
+
mediante la ley
log
a
(x) = log(x)/log(a).
Si a > 1, entonces la funcin logaritmo de base a es una biyeccin estrictamente
creciente de R
+
en R, mientras que si a < 1 entonces es una biyeccin estrictamente
decreciente de R
+
en R.
As por ejemplo, para A =]0, 5] y para a = 10 y a=0,2 las grcas de las corre-
spondientes restricciones de la funcin logaritmo al conjunto A pueden ser comparadas
con la anterior
1 2 3 4 5
-4
-2
2
4
1.2.6. Operaciones con funciones.
Antes de seguir con el listado de las funciones elementales conviene hacer algunas
precisiones.
1. Algebra de funciones
En primer lugar hacemos notar que dadas dos funciones fy g denidas sobre un
mismo subconjunto de nmeros reales A, se pueden denir las siguientes funciones:
a) Funcin suma: f + g.
La funcin suma es una nueva funcin f + g : A R denida, para
cada x A, por
(f + g)(x) = f(x) + g(x).
Asociadas a cada funcin f : A R, podemos considerar la llamada
funcin opuesta,f, esto es, la funcin
f : A R,
denida, para cada x A, por
(f)(x) = f(x).
24 1.2. Funciones elementales
b) Funcin producto: f.g:
La funcin producto es una nueva funcin f.g : A R denida, para
cada x A, por
(f.g)(x) = f(x)g(x).
Siempre 0 , f(A), podemos denir la funcin inversa para el
producto, 1/f, como la funcin
1/f : A R,
dada, para cada x A, por
(1/f)(x) =
1
f(x)
.
c) Funcin producto por un escalar a, af:
Para cada a R, la funcin , af, es una nueva funcin de A en R que
viene denida, para cada x A, por
(af)(x) = af(x).
La funcin , af puede verse como el producto de la funcin constante
x a con la funcin f.
2. Composicin de funciones
Supongamos ahora que dadas dos funciones f : A R y g : B
R de manera que el conjunto B contiene a f(A). Podemos denir la funcin
composicin de ambas, g f, como la funcin
g f : A R
denida, para cada x A, por
(g f)(x) = g[f(x)].
Recordemos que asociada a toda funcin inyectiva f : A R podemos
considerar la funcin inversa, f
1
, denida en f(A), con valores en A y que viene
denida mediante la ley :
f
1
(f(x)) = x (x A),
esto es,
f
1
f = I
A
.
Adems es claro que
f f
1
= I
f(A)
.
Anlisis Matemtico 25
Es fcil probar, usando estas ltimas consideraciones, que toda aplicacin estric-
tamente montona es inyectiva y que su inversa es igualmente estrictamente montona
y del mismo tipo (creciente decreciente).
1.2.7. Funcin exponencial.
Ya podemos continuar con la lista de ejemplos
Llamaremos funcin exponencial, e
x
, a la funcin inversa del logaritmo
neperiano, ser por tanto, una biyeccin estrictamente creciente de R en R
+
tal que:
- e
0
= 1
- e
1
= e
- e
x+y
= e
x
e
y
, para cada x, y R.
- e
logx
= x
- log(e
x
) = x.
Su grca se puede representar como sigue:
-2 -1 1 2 3
5
10
15
20
Dados x R
+
e y R, convendremos en que
x
y
= e
ylogx
,
en particular se obtiene que:
log(x
y
) = ylogx,
Funcin exponencial de base a
Dado a > 0, a ,= 1, la funcin h
a
: R R
+
denida por h
a
(x) = a
x
, se
denomina funcin exponencial de base a, y se notar por a
x
.
Dicha funcin es estrictamente creciente (resp. decreciente) si a > 1 (resp. a < 1)
de R en R
+
y verica las siguientes propiedades:
- a
0
= 1
- a
1
= a
- a
x+y
= a
x
a
y
.
26 1.2. Funciones elementales
-2 -1 1 2 3
10
20
30
40
Sus grcas para a = 0, 1 y a = 5 se pueden representar como siguen:
Funcin potencial
Dado b ,= 0, la funcin p
b
: R
+
R
+
denida por p
b
(x) = x
b
, se denomina
funcin potencial de exponente b, y se notar por x
b
.
Dicha funcin es estrictamente creciente (resp. decreciente) si b > 0 (resp. si b < 0)
de R
+
en R
+
y verica las siguientes propiedades:
- 1
b
= 1
- (xy)
b
= x
b
y
b
.
Sus grcas (para b = y b = 1 ) se pueden representar como sigue:
0.5 1 1.5 2 2.5 3
10
20
30
40
1.2.8. Funciones denidas a trozos. Funciones parte entera y
valor absoluto.
Supongamos que tenemos un subconjunto A de nmeros reales y dos subcon-
juntos disjuntos de ste B y C tales que A = B C. Dispongamos adems de sendas
funciones reales de variable real g y h denidas respectivamente en B y C. A partir de
aqu podemos denir una nueva funcin f : A R mediante la siguiente expresin:
f(x) =
_
g(x) si x B
h(x) si x C.
Decimos que una tal funcin es una funcin denida a trozos. Es evidente que
las propiedades de la nueva funcin dependern de las propiedades de las funciones que
la denen y de la forma en que los subconjuntos se complementan.
Anlisis Matemtico 27
Como ejemplos ms sencillos veremos los dos siguientes:
Funcin parte entera:
Se dene la funcin Parte entera, E, como la funcin E : R R denida
por
E(x) = Maxp Z; p x.
Dicha funcin es creciente y su grca puede representarse como una escalera
innita cuyos peldaos son intervalos de longitud uno, y que, en cada nmero entero,
tiene un salto de altura uno.
Si A = [2, 3], entonces la grca de la funcin E(x) restringida al conjunto A
puede ser representada por
-2 -1 1 2 3
-2
-1
1
2
Funcin valor absoluto.
Se dene la funcin valor absoluto como la funcin [.[ : R R, denida
para cada x R por
[x[ =
_
x si x 0
x si x < 0
La grca puede representarse como la unin de las bisectrices del primer y
segundo cuadrante.
-2 -1 1 2 3
0.5
1
1.5
2
2.5
3
28 1.2. Funciones elementales
1.2.9. Funciones arcocoseno,coseno y seno
Vamos a estudiar ahora las funciones trigonomtricas cuya importancia radica en que
permiten expresar las distintas relaciones entre los lados y los ngulos de un tringulo, y
porque sus propiedades le coneren una especial disposicin para expresar muchos fen-
menos naturales. Estas dos facetas hacen que su empleo en la Fsica y en la Ingeniera
sea muy frecuente.
Consideremos la funcin f : [1, 1] R denida por
f(x) =

1 x
2
, x [1, 1].
La grca de esta funcin recibe el nombre de semicircunferencia unidad.
-1 -0.5 0.5 1
0.2
0.4
0.6
0.8
1
Pues bien, es sabido que la longitud de dicha grca es el 3, 141592.
Denimos la funcin arcocoseno, arc cosx, como la funcin biyectiva y estricta-
mente decreciente del intervalo [1, 1] en el intervalo [0, ] denida por la ley
arc cosx = longitud arco semicircunferencia que va desde el punto (1, 0) hasta el punto (x, f(x)).
Se puede probar que:
1. arc cosx + arc cos(x) = .
2. arc cos(0) =

2
.
Funcin coseno
Se llama funcin coseno y se nota por cosx a la nica funcin de R en R par y
peridica con periodo 2 cuya restriccin a [0, ] es tal que
cos(x) = (arc cos)
1
(x),
y por tanto, para cada x [0, ],
arccos(cosx) = x,
y para cada y [1, 1],
cos(arcosy) = y.
Anlisis Matemtico 29
-6 -4 -2 2 4 6
-1
-0.5
0.5
1
La grca de la funcin coseno es como sigue
Funcin seno
Se llama funcin seno, senx, a la nica funcin de R en R impar y peridica con
periodo 2 cuya restriccin a [0, ] es tal que
sen(x) =
_
1 cos
2
(x).
La grca de la funcin seno es como sigue
-6 -4 -2 2 4 6
-1
-0.5
0.5
1
Las siguientes propiedades determinan de forma nica a las funciones seno y coseno.
Teorema 1.2.1.
1. sen
2
x + cos
2
x = 1 (x R).
2. La restriccin de la funcin coseno al intervalo [0, ] es una biyeccin estricta-
mente decreciente de ste en el intervalo [1, 1], con
cos0 = 1, cos

2
= 0, cos = 1, cos

4
=

2
2
, cos

3
=
1
2
, cos

6
=

3
2
.
3. La restriccin de la funcin seno al intervalo [

2
,

2
] es una biyeccin estricta-
mente creciente de ste en el intervalo [1, 1], con
sen0 = 0, sen(

2
) = 1, sen

2
= 1, sen

4
=

2
2
, sen

3
=

3
2
sen

6
=
1
2
.
4. La imagen de ambas funciones es el intervalo [1, 1].
30 1.2. Funciones elementales
5. La funcin coseno es una funcin par y peridica de periodo 2:
cosx = cos(x), cos(x + 2) = cosx, (x R),
mientras que la funcin seno es impar y peridica:
sen(x) = senx, sen(x + 2) = senx (x R).
6.
cos(x + ) = cosx, sen(x + ) = senx (x R).
7. cos(x + y) = cosxcosy senxseny. sen(x + y) = senxcosy + cosxseny.
8. Dados dos nmeros reales a, b, vericando que a
2
+b
2
= 1, existe un nico nmero
real x tal que x ] , ], cosx = a y senx = b.
9. Sean x, y R tales que senx = seny y cosx = cosy, entonces existe un nico
nmero entero p tal que x = y + 2p.
10. x R; cosx = 0 =

2
+ k; k Z. x R; senx = 0 = k; k Z.
1.2.10. Funcin tangente
Sea A = R

2
+ k; k Z. Se llama funcin tangente, tgx , a la funcin de A
en R denida por
tg(x) =
senx
cosx
.
Algunas de sus propiedades pueden verse en el siguiente resultado
Proposicin 1.2.2. 1. La funcin tangente es una funcin impar y peridica de
periodo , esto es, para cada x A,
tg(x + ) = tg(x).
2. La funcin tangente restringida al intervalo ]

2
,

2
[, es una biyeccin estrictamente
creciente de dicho intervalo en R.
3. La grca de la funcin tangente restringida al conjunto A = [, ]

2
,

2

puede representarse de la siguiente forma:


Anlisis Matemtico 31
-3 -2 -1 1 2 3
-40
-20
20
40
1.2.11. Funciones secante, cosecante y cotangente
Sea A = R

2
+ k; k Z. Se llama funcin secante, secx , a la funcin de A
en R denida por
sec(x) =
1
cosx
.
La grca de la funcin secante restringida al conjunto A = [, ]

2
,

2
puede
representarse de la siguiente forma:
-3 -2 -1 1 2 3
-20
-10
10
20
Sea B = Rk; k Z. Se llama funcin cosecante, cosecx , a la funcin de B
en R denida por
cosec(x) =
1
senx
.
La grca de la funcin cosecante restringida al conjunto A =] , [/0 puede
representarse de la siguiente forma:
-3 -2 -1 1 2 3
-20
-10
10
20
Llamaremos funcin cotangente, cotgx , a la funcin de B en R denida por
cotg(x) =
cosx
senx
.
La grca de la funcin cotangente restringida al conjunto A =] , [/0 puede
representarse de la siguiente forma:
32 1.2. Funciones elementales
-3 -2 -1 1 2 3
-40
-20
20
40
1.2.12. Funciones arcocoseno, arcoseno y arcotangente.
Llamaremos funcin arcocoseno, arc cosx, a la funcin inversa de la restriccin
de la funcin coseno al intervalo [0, ], esto es,
arc cos[cos(x)] = x, (x [0, ]) cos[arc cos(y)] = y (y [1, 1]).
Dicha funcin es pues una biyeccin estrictamente decreciente de [1, 1] en [0, ] con
arc cos(1) = arc cos(0) = /2, arc cos(1) = 0.
Se puede probar adems que:
1. arc cosx + arc cos(x) = .
2. arc cos(0) =

2
.
Y su grca puede ser representada como sigue
-1 -0.5 0.5 1
0.5
1
1.5
2
2.5
3
Llamaremos funcin arcoseno, arc senx, a la funcin inversa de la restriccin de
la funcin seno al intervalo [

2
,

2
], esto es,
arc sen[sen(x)] = x, (x [

2
,

2
]) sen[arc sen(y)] = y (y [1, 1]).
Dicha funcin es pues una biyeccin estrictamente creciente de [1, 1] en [

2
,

2
] con
arc sen(1) =

2
arc sen(0) = 0, arc sen(1) =

2
.
Su grca es como sigue:
Anlisis Matemtico 33
-1 -0.5 0.5 1
-1.5
-1
-0.5
0.5
1
1.5
Llamaremos funcin arcotangente, arc tgx a la inversa de la res-triccin de la
funcin tangente al intervalo ]

2
,

2
[, esto es,
arc tg[tg(x)] = x, tg[arc tg(y)] = y.
Dicha funcin es una biyeccin estrictamente creciente de R en dicho intervalo con
arc tg(0) = 0.
Su grca de es como sigue:
-2 -1 1 2
-1
-0.5
0.5
1
1.2.13. Identidades Trigonomtricas.
Usando las propiedades antes descritas de las funciones trigonomtricas pueden
deducirse otras muchas conocidas como identidades trigonomtricas. A continuacin
damos algunas de ellas. Dados dos nmeros reales x e y en el dominio correspondiente,
obtenemos que:
1. Identidades pitagricas
tg
2
(x) + 1 = sec
2
(x), si se quiere cos(x) =
1
_
1 + tg
2
(x)
.
cotg
2
(x) + 1 = cosec
2
(x), si se quiere sen(x) =
tg(x)
_
1 + tg
2
(x)
.
34 1.2. Funciones elementales
2.
tg(x y) =
tgx tgy
1 tgx tgy
.
3. ngulo doble
sen2x = 2senxcosx, cos2x = 2cos
2
x 1 = 1 2sen
2
x.
4. ngulo mitad
sen
2
x =
1
2
(1 cos2x), cos
2
x =
1
2
(1 + cos2x),
tg(
x
2
) =
1 cosx
senx
=
senx
1 + cosx
.
5. producto
senxseny =
1
2
[cos(x y) cos(x + y)],
cosxcosy =
1
2
[cos(x y) + cos(x + y)],
senxcosy =
1
2
[sen(x + y) + sen(x y)].
1.2.14. Funciones Hiperblicas.
Se dene la funcin coseno hiperblico, coshx, como la funcin cosh : R R,
denida por
coshx =
e
x
+ e
x
2
.
Se dene la funcin seno hiperblico, senhx, como la funcin senh : R R,
denida por
senhx =
e
x
e
x
2
.
El siguiente resultado resume algunas propiedades del seno y coseno hiperblicos.
Proposicin 1.2.3.
1. La funcin coseno hiperblico es una funcin par y la funcin seno hiperblico es
una funcin impar.
2. La funcin seno hiperblico es una biyeccin estrictamente creciente de R en R.
Anlisis Matemtico 35
3. La restriccin de la funcin coseno hiperblico a R
+
0
(resp. R

0
) es una biyeccin
estrictamente creciente (resp. decreciente) de R
+
0
(resp. R

0
) sobre [1, +[.
4.
cosh
2
x senh
2
x = 1.
5.
cosh(x + y) = coshx coshy + senhx senhy.
senh(x + y) = senhx coshy + coshx senhy.
La grca del seno hiperblico es como sigue:
-4 -2 2 4
-20
-10
10
20
La grca de la funcin coseno hiperblico restringida a R
+
0
es como sigue
1 2 3 4
5
10
15
20
25
Finalmente, diremos que, por analoga con las funciones trigonomtricas, podemos
hablar de tangente hiperblica, tgh, la cual es una biyeccin estrictamente creciente
de R sobre ] 1, 1[ y su grca es como sigue:
-4 -2 2 4
-1
-0.5
0.5
1
36 1.2. Funciones elementales
1.2.15. Relacin de ejercicios.
1. En una vasija de 30 cm de altura entra agua a ritmo constante. Se llena en
5 segundos.Usad esta informacin y la forma de la vasija para responder a las
siguientes cuestiones:
a) Si d representa la profundidad del agua medida en centmetros y t el tiempo
transcurrido en segundos, explicad por qu d es funcin de t.
b) Hallad el dominio y el recorrido de dicha funcin.
c) Esbozad una posible grca de la funcin.
2. Sean las leyes f(x) = 1/x y g(x) = 1/

x correspondientes a dos funciones reales


de variable real f y g. Cules son los dominios naturales de f,g,f + g,fg,f g y
g f?
3. Calclense los dominios naturales de las funciones correspondientes reales de vari-
able real en cada uno de los casos siguientes:
a) x 1/1 + x.
b) x 1/1 + x
2
.
c) x 1/1 +

x.
4. Qu se puede decir acerca de la grca de una funcin par?, y de una funcin
impar? Dense ejemplos de funciones par, impar y no par ni impar.
5. Sea A un subconjunto de nmeros reales y f : A R una funcin real de
variable real. Se dice que f est acotada (resp. acotada superiormente / in-
feriormente) si su conjunto imagen f(A) es un subconjunto de nmeros reales
acotado (resp. superiormente / inferiormente acotado). Prebese que f est acota-
da si, y slo si, existe M R, tal que, para cada x A, se verica que [f(x)[ M.
6. Qu funciones componen la funcin f : R
+
R en cada uno de los siguientes
casos?
Anlisis Matemtico 37
1) f(x) = (log
2
x)e
x
2
, 2) f(x) = (

x + 1)
log(x
3
)
.
Dense otros ejemplos de composicin de funciones.
7. Prubese que en toda reunin de personas existen al menos dos que conocen
exactamente el mismo nmero de asistentes.
8. Hllese la funcin inversa de
a) senhx.
b) coshx/
R
+
0
.
9. Sea g : R ] , [ la funcin denida por g(y) = 2arctgy. Hllese en funcin
de y,
a) seng(y).
b) cosg(y).
1.3. SUCESIONES DE NMEROS REALES 39
1.3. Sucesiones de nmeros reales
Sumario
Introduciremos en esta leccin, a vuelo pluma, unas herramientas muy interesantes
del anlisis matemtico: las sucesiones. Este concepto nos facilitar la comprensin de los
conceptos de continuidad, lmite e integrabilidad. El contenido completo de esta leccin se
articula de la siguiente manera:
1.3.1 Acotacin, monotona y convergencia de sucesiones.
1.3.2 Sucesiones divergentes.
1.3.3 Relacin de ejercicios.
1.3.1. Acotacin, monotona y convergencia de sucesiones
Una sucesin de elementos de un cierto conjunto A no es ms que una "lista or-
denada"de elementos de A o dicho de forma ms rigurosa: una sucesin de elementos
de A es una aplicacin f : N A.
En lugar de escribir f(n) se suele escribir x
n
, mientras que la sucesin f suele
notarse por x
n

nN
simplemente x
n
. A x
n
se le denominar trmino n-simo de la
sucesin x
n

nN
. Una sucesin de nmeros reales no es ms que una sucesin en
la que A = R.
Dada una sucesin x
n
, al conjunto imagen x
n
: n N se le denomina
conjunto de los trminos de la sucesin x
n
. As por ejemplo si consideramos la sucesin
1, 0, 1, 0, 1, ... su conjunto de los trminos est formado por slo dos elementos, a saber
0, 1.
Veamos ahora algunas propiedades que pueden tener las sucesiones.
Se dice que una sucesin de nmeros reales x
n

nN
1. est mayorada, si existe un nmero real M tal que x
n
M, para todo n N,
2. est minorada, si existe un nmero real M tal que x
n
M, para todo n N,
3. est acotada si est mayorada y minorada. Es fcil probar que una sucesin est
acotada si, y slo si, existe un nmero real positivo M tal que [x
n
[ M, para
todo n N.
40 5.1 Sucesiones de nmeros reales
4. es creciente si, para para cualesquiera n, m N con n m, se tiene que x
n
x
m
.
5. es decreciente si, para cualesquiera n, m N con n m, se tiene que x
n
x
m
.
Es fcil probar por induccin que una sucesin x
n

nN
es creciente (resp. decre-
ciente) si, para cada natural n, x
n
x
n+1
(resp. x
n
x
n+1
).
6. es convergente si existe un nmero real x vericando lo siguiente:
"para cada intervalo centrado en x, existe un trmino de la sucesin, a partir del
cual, todos los restantes trminos estn incluidos en dicho intervalo ",
o escrito en lenguaje formal
> 0, N N, tal que para todo n N se verica que [x
n
x[ < .
En tal caso x es nico y se dice que el lmite de la sucesin x
n

nN
que la
sucesin x
n

nN
converge a x, y suele notarse por
x = lim
n
x
n
x
n
x.
Es fcil ver que toda sucesin convergente est acotada. Sin embargo, la sucesin
1, 0, 1, 0, ... que est mayorada por 1 y minorada por 0, luego acotada, demuestra que
existen sucesiones acotadas que no son convergentes.
En el siguiente resultado recogemos ms propiedades importantes de las sucesiones.
Proposicin 1.3.1.
1.- Sean x
n
una sucesin de nmeros reales, x R y p N. La sucesin x
n
es
convergente a x si, y slo si, la sucesin x
n+p
converge tambin a x
2.- La sucesin x
n
converge a cero, si y slo si la sucesin [x
n
[converge a cero.
3.- Toda sucesin creciente y mayorada x
n
es convergente a x = Supx
n
; n N.
4.- Toda sucesin decreciente y minorada x
n
es convergente a x = Infx
n
; n N.
En particular la sucesin 1/n

converge a cero para todo > 0.


5.- Sean x, y R y sea x
n
una sucesin convergente a x. Si para cada n N,
x
n
y, entonces x y. En particular si y
n
y z
n
son dos sucesiones de
nmeros reales tales que,
a) para cada n N, x
n
y
n
z
n
,
b) lim
n
z
n
= x,
entonces la sucesin y
n
converge tambin a x.
Anlisis Matemtico 41
6.- Si x
n
e y
n
son dos sucesiones convergentes respectivamente a x e y, entonces
la sucesin
a) suma, esto es, la sucesin x
n
+ y
n
converge a x + y.
b) producto, esto es, la sucesin x
n
y
n
converge a xy.
c) cociente, esto es, la sucesin x
n
/y
n
, converge a x/y siempre que y ,= 0 e
y
n
,= 0, para todo n N.
7.- El producto de una sucesin acotada por una convergente a cero es una sucesin
convergente a cero.
Ejemplo:
Prubese que si [x[ < 1, entonces la sucesin x
n
converge a cero.
1.3.2. Sucesiones divergentes
Se dice que una sucesin x
n

nN
diverge positivamente si
M, N N, tal que para todo n N se verica que x
n
> M.
Este hecho suele notarse por
lim
n
x
n
= +

x
n
+.
Se dice que una sucesin x
n

nN
diverge negativamente si
N < 0, N N, tal que para todo n N se verica que x
n
< N.
Este hecho suele notarse por
lim
n
x
n
=

x
n
.
Diremos que una sucesin x
n

nN
es divergente si lo es positivamente o lo es
negativamente.
Veamos ahora algunas propiedades de las sucesiones divergentes.
42 5.1 Sucesiones de nmeros reales
Proposicin 1.3.2.
1.- Sean x
n
una sucesin de nmeros reales, x R y p N. La sucesin x
n

diverge positivamente si, y slo si, la sucesin x


n+p
diverge positivamente.
2.- Toda sucesin creciente y no mayorada diverge positivamente. En particular la
sucesin r
n
diverge positivamente si r > 1.
3.- Toda sucesin decreciente y no minorada diverge negativamente.
4.- Sean x
n
, y
n
dos sucesiones de nmeros reales tales que, para cada n N,
x
n
y
n
. Si la sucesin x
n
diverge positivamente, entonces la sucesin y
n

tambin diverge positivamente.


5.- Si x
n
es una sucesin de trminos positivos entonces converge a cero si, y slo
si, la sucesin 1/x
n
divergente positivamente. En particular la sucesin n

diverge positivamente para todo > 0.


1.3.3. Relacin de ejercicios
1. Prubse que si x
n
e y
n
son dos sucesiones acotadas, x
n
+ y
n
y x
n
y
n

tambin lo son.
2. Estdiese la convergencia de la sucesin x
n
en los siguientes casos:
a) x
1
=

2, x
n+1
=

2 + x
n
, n N.
b) x
1
= 1, x
n+1
=

2x
n
, n N.
3. Estdiese la convergencia de las siguientes sucesiones:
a) sen(n)/n.
b) cos(n
2
+ 1)/n.
1.4. LMITE FUNCIONAL. 43
1.4. Lmite Funcional.
Sumario
Esta leccin trata del concepto de lmite funcional, uno de los ms importantes
de toda la matemtica. De forma intuitiva, una funcin tiene lmite L en un punto x
0
si en
todo punto prximo a x
0
la funcin toma un valor prximo a L. Para una formulacin ms
rigurosa introduciremos previamente el concepto de punto de acumulacin de un conjunto.
Finalmente diremos que el concepto de lmite funcional est muy relacionado con los conceptos
de continuidad y de derivacin de una funcin real de variable real. El contenido completo de
esta leccin se articula de la siguiente manera:
1.4.1 Puntos de acumulacin.
1.4.2 Lmite funcional y lmites laterales.
1.4.3 Lmites en el innito.
1.4.4 Algebra de lmites.
1.4.5 Lmites de tipo exponencial
1.4.6 Indeterminaciones.
1.4.7 Funciones asintticamente equivalentes.
1.4.8 Relacin de ejercicios.
1.4.1. Puntos de acumulacin.
Sea A un subconjunto no vaco de nmeros reales. Se dice que x
0
es un punto
de acumulacin de A,
"si existe una sucesin x
n

nN
de elementos de A, distintos de x
0
, y convergente
al propio x
0
,
, escrito en lenguaje de intervalos,
"si todo intervalo centrado en x
0
tiene algn punto, distinto del propio x
0
, en comn
con A,
lo que a su vez en lenguaje formal se expresa:
x
0
A

]x
0
, x
0
+ [ Ax
0
,= , R
+
.
44 1.4 Lmite funcional.
Denominaremos por A

al conjunto de todos los puntos de acumulacin de A


Diremos que x
0
es un punto de acumulacin de A por la derecha si x
0
(A
+
x
0
)

,
donde
A
+
x
0
= x A; x > x
0
,
lo que en lenguaje de sucesiones puede escribirse,
si existe una sucesin x
n

nN
de elementos de A, mayores que x
0
, y convergente
al propio x
0
.
, escrito en lenguaje de intervalos,
si todo intervalo de extremo inferior x
0
tiene algn punto, distinto del propio x
0
,
en comn con A.
Diremos que x
0
es un punto de acumulacin de A por la izquierda si x
0

(A

x
0
)

, donde
A

x
0
= x A; x < x
0
,
lo que en lenguaje de sucesiones puede escribirse,
si existe una sucesin x
n

nN
de elementos de A, menores que x
0
, y convergente
al propio x
0
.
, escrito en lenguaje de intervalos,
si todo intervalo cuyo extremo superior es x
0
tiene algn punto, distinto del propio
x
0
, en comn con A,
Es fcil probar que x
0
A

si, y slo si x
0
(A

x
0
)

(A
+
x
0
)

1.4.2. Lmite funcional y lmites laterales.


Lmite funcional:
Sean A un subconjunto no vaco de nmeros reales, x
0
A

y f : A R una
funcin. Se dice que f tiene lmite en el punto x
0
si existe un nmero real L con la
siguiente propiedad:
"Para cada sucesin x
n
de elementos de A, distintos de x
0
, convergente a x
0
, la
sucesin imagen f(x
n
) converge a L".
Anlisis Matemtico 45
o en lenguaje ms formal
> 0, > 0, tal que si x A 0 < [x x
0
[ < , entonces [f(x) L[ < .
El tal valor L, si existe es nico y recibe el nombre de lmite de f en el punto x
0
y
escribiremos:
L = lim
xx
0
f(x) f(x)
xx
0
L.
Observacin 1.4.1. Es importante hacer notar que la igualdad anterior encierra dos
armaciones: que f tiene lmite en el punto x
0
y que dicho lmite vale L.
Lmites laterales:
Supongamos que x
0
(A
+
x
0
)

. Se dice que f tiene lmite por la derecha en el


punto x
0
si existe un nmero real L con la siguiente propiedad:
"Para cada sucesin x
n
de elementos de A, mayores que x
0
, convergente a x
0
, la
sucesin f(x
n
) converge a L".
en lenguaje formal
> 0, > 0, tal que si x A, 0 < x x
0
< entonces [f(x) L[ < .
Si tal L existe, entoces es nico y diremos que L es el lmite por la derecha de f
en el punto x
0
y escribiremos:
L = lim
xx
+
0
f(x).
Supongamos que x
0
(A

x
0
)

. Se dice que f tiene lmite por la izquierda en el


punto x
0
si existe un nmero real L con la siguiente propiedad:
"Para cada sucesin x
n
de elementos de A, menores que x
0
, convergente a x
0
, la
sucesin f(x
n
) converge a L".
en lenguaje formal
> 0, > 0, tal que si x A, 0 < x
0
x < entonces [f(x) L[ < .
Si tal L existe, entoces es nico y diremos que L es el lmite por la izquierda de
f en el punto x
0
y escribiremos:
L = lim
xx

0
f(x).
Relacin entre el lmite ordinario y los lmites laterales
46 1.4 Lmite funcional.
Proposicin 1.4.2. Sean A un subconjunto no vaco de nmeros reales, x
0
A

, L R
y sea f : A R una funcin.
1. Si x
0
/ (A

x
0
)

, entonces
L = lim
xx
0
f(x) si, y slo si, L = lim
xx
+
0
f(x).
2. Si x
0
/ (A
+
x
0
)

, entonces
L = lim
xx
0
f(x) si, y slo si, L = lim
xx

0
f(x).
3. Si x
0
(A

x
0
)

(A
+
x
0
)

, entonces
lim
xx
0
f(x) = L si, y slo si, lim
xx
+
0
f(x) = lim
xx

0
f(x) = L.
1.4.3. Lmites en el innito.
Sea A un subconjunto no vaco de nmeros reales no mayorado y sea f : A R
una funcin. Se dice que f tiene lmite en + si existe un nmero real L con la
siguiente propiedad:
"Para cada sucesin x
n
de elementos de A que diverge positivamente, la sucesin
f(x
n
) converge a L",
dicho en lenguaje ms formal:
> 0, M, tal que si x A, x > M entonces [f(x) L[ < .
El tal lmite L, caso de existir, es nico. Diremos que L es el lmite en + de f y
escribiremos:
L = lim
x+
f(x).
Nota
Ntese que si N A y L = lim
x+
f(x), en particular, el lmite de la sucesin
f(n) es L. Este hecho nos proporciona un nuevo mtodo para el clculo de lmite de
sucesiones.
Si A es un subconjunto no vaco de nmeros reales no minorado, se dice que f
tiene lmite en si existe un nmero real L con la siguiente propiedad:
Para cada sucesin x
n
de elementos de A que diverge negativamente, la sucesin
f(x
n
) converge a L .
dicho en lenguaje ms formal:
> 0, M, tal que si x A, x < M, entonces [f(x) L[ < .
En todo caso diremos que L es el lmite en de f y escribiremos:
L = lim
x
f(x).
Anlisis Matemtico 47
1.4.4. Funciones divergentes
Sea A un subconjunto no vaco de nmeros reales y sea x
0
A

. Se dice que la
funcin f : A R diverge positivamente en el punto x
0
si verica la siguiente
propiedad:
Para cada sucesin x
n
de elementos de A, distintos de x
0
, convergente a x
0
, la
sucesin f(x
n
) diverge positivamente,
dicho en lenguaje ms formal:
M, > 0, tal que si x Ay0 < [x x
0
[ < , entonces f(x) > M.
Y escribiremos:
lim
xx
0
f(x) = +.
Sea A un subconjunto no vaco de nmeros reales y sea x
0
A

. Se dice que la
funcin f : A R diverge negativamente en el punto x
0
si verica la siguiente
propiedad:
Para cada sucesin x
n
de elementos de A, distintos de x
0
, convergente a x
0
, la
sucesin f(x
n
) diverge negativamente,
dicho en lenguaje ms formal:
M, > 0, tal que si x A y0 < [x x
0
[ < , entonces f(x) < M.
Y escribiremos:
lim
xx
0
f(x) = .
Si A es un subconjunto no vaco de nmeros reales no mayorado. Diremos que la
funcin f : A R diverge positivamente en + si verica la siguiente propiedad:
Para cada sucesin x
n
de elementos de A que diverge positivamente, la sucesin
f(x
n
) diverge positivamente.
dicho en lenguaje ms formal:
M, N, tal que si x A yN < x entonces f(x) > M.
Y escribiremos:
lim
x+
f(x) = +.
Anlogamente se pueden denir las funciones divergentes negativamente en + y las
funciones divergentes negativa y positivamente en .
Antes de nalizar esta seccin queremos recordar el comportamiento de algunas
funciones elementales en innito o en los puntos extremos del dominio.
48 1.4 Lmite funcional.
Proposicin 1.4.3.
1.- lim
x+
e
x
= +,
2.- lim
x
e
x
= 0
3.- lim
x+
log(x) = +,
4.- lim
x0
+ log(x) = ,
5.- lim
x/2
tg(x) = ,
6.- lim
x
arctg(x) = /2.
1.4.5. Algebra de lmites.
Necesitamos ahora expresar qu ocurre con los lmites de funciones cuando
sumo, multiplico o divido funciones que tienen lmite o son divergentes.
Teorema 1.4.4. (de la suma de funciones)
Sean f, g : A R y sea x
0
A

. Supongamos que lim


xx
0
f(x) = L R

+,
y que lim
xx
0
g(x) = M R

+, . Entonces la funcin suma f +g converge o


diverge en x
0
segn lo expresado en la siguiente tabla:
lim(f + g) L R L = + L =
M R L + M +
M = + + + ?
M = ?
Teorema 1.4.5. (del producto de funciones)
Sean f, g : A R y sea x
0
A

. Supongamos que lim


xx
0
f(x) = L R

+,
y que lim
xx
0
g(x) = M R

+, . Entonces la funcin producto f.g converge


o diverge en x
0
segn lo expresado en la siguiente tabla:
lim(f.g) L R
+
L = 0 L R

L = + L =
M R
+
LM 0 LM +
M = 0 0 0 0 ? ?
M R

LM 0 LM +
M = + + ? +
M = ? + +
.
Adems si L = 0 y g es una funcin acotada, entonces
lim
xx
0
f(x).g(x) = 0.
Anlisis Matemtico 49
Teorema 1.4.6. (del cociente de funciones)
Sean f, g : A R tal que g(x) ,= 0 y sea x
0
A

. Supongamos que lim


xx
0
f(x) =
L R

+, y que lim
xx
0
g(x) = M R

+, . Entonces la funcin
cociente f/g converge o diverge en x
0
segn lo expresado en la siguiente tabla:
lim(f/g) L R
+
L = 0 L R

L = + L =
M R
+
L/M 0 L/M +
M = 0, g(x) > 0 + ? +
M = 0, g(x) < 0 ? + +
M R

L/M 0 L/M +
M = + 0 0 0 ? ?
M = 0 0 0 ? ?
Observacin 1.4.7. El smbolo ? que aparece en las tablas indica que el resultado de-
pende de las funciones f y g concretas.
1.4.6. Lmites de funciones de tipo exponencial
Necesitamos ahora conocer qu ocurre con los lmites de funciones de tipo
exponencial. La idea que subyace en todo lo que sigue es la continuidad de la funciones
logaritmo y exponencial.
Teorema 1.4.8. (f
g
)
Sean f, g : A R tales que, para cada x A, f(x) > 0, y sea x
0
A

. Supong-
amos que lim
xx
0
f(x) = L R
+
0

+ y que lim
xx
0
g(x) = M R

+, .
Entonces la funcin f
g
converge o diverge en x
0
segn lo expresado en la siguiente tabla:
limf
g
L = 0 0 < L < 1 L = 1 L > 1 L = +
M R
+
0 L
M
1 L
M
+
M = 0 ? 1 1 1 ?
M R

+ L
M
1 L
M
0
M = + 0 0 ? + +
M = + + ? 0 0
Las posibles indeterminaciones son de la forma: 0
0
, 1

e
0
. stas se resolvern
intentando traducirlas en trminos de cocientes, para luego aplicar las prometidas reglas
de LHopital, de la siguiente forma:
Proposicin 1.4.9. Sean f, g : A R tales que, para cada x A, f(x) > 0. Sean
x
0
A

y L R

+, . Supongamos que lim


xx
0
f(x) = +,0 (resp. 1) y que
lim
xx
0
g(x) = 0 (resp. ). Entonces
lim
xx
0
f(x)
g(x)
= e
L
L = lim
xx
0
g(x)log(f(x)).
50 1.4 Lmite funcional.
Como ejemplo podemos calcular lim
x+
x
1/x
.
Adems, para la indeterminacin del tipo 1

, se tiene la siguiente tcnica propia:


Proposicin 1.4.10. (1

)
Sean f, g : A R tales que, para cada x A, f(x) > 0. Sean x
0
A

y
L R

+, . Supongamos que lim


xx
0
f(x) = 1 y que lim
xx
0
g(x) = +.
Entonces
lim
xx
0
f(x)
g(x)
= e
L
L = lim
xx
0
g(x)(f(x) 1).
Como ejemplo podemos calcular lim
x+
(1 + 1/x)
x
.
1.4.7. Indeterminaciones
Estos resultados inciertos reciben el nombre de indeterminaciones. As pues,
vistos los teoremas anteriores, las posibles indeterminaciones de la forma: , 0.,
0/0 e /.
En las siguientes lecciones veremos cmo resolver algunas de estas indeterminaciones.
Basten ahora algunos ejemplos y comentarios.
1.) Lmite en el innito de un polinomio
Si p(x) = a
n
x
n
+ a
n1
x
n1
+ ... + a
1
+ a
0
, entonces
lim
x+
p(x) =signo(a
n
).
lim
x
p(x) = (1)
n
signo(a
n
) .
2.) Lmite en el innito de un cociente de polinomios.
Si p(x) = a
n
x
n
+a
n1
x
n1
+... +a
1
+a
0
, y q(x) = b
p
x
p
+b
p1
x
p1
+... +b
1
+b
0
,
entonces
lim
x+
p(x)
q(x)
=
_
_
_
signo(a
n
/b
p
) si n > p
a
n
/b
p
si n = p
0 si n < p
lim
x
p(x)
q(x)
=
_
_
_
signo(a
n
/b
p
)(1)
np
si n > p
a
n
/b
p
si n = p
0 si n < p
Anlisis Matemtico 51
3.) En general, las indeterminaciones /, 0. y 0/0 se resolvern con las reglas
de LHpital que veremos ms adelante. No obstante adelantamos la siguiente
escala de innitos que raticaremos en su momento con las susodichas reglas. En
este sentido podemos decir que:
x
x
~ e
x
~ x
a
~ (logx)
b
,
donde f(x) ~ g(x) signica que
lim
x+
[f(x)/g(x)] = +.
Como ejemplo, podemos calcular lim
x+
1+logx+e
x
x
5
1.4.8. Funciones asintticamente equivalentes.
Sera til, para calcular lmites, sustituir funciones de aspecto complejo por
otras funciones ms sencillas. Este proceso puede llevarse a cabo considerando
funciones cuyo cociente converge a uno.
Dadas dos funciones f, g : A R, y dado x
0
A

. Se dice que ambas funciones


son asintticamente equivalentes en x
0
si
lim
xx
0
f(x)/g(x) = 1.
Ejemplos de funciones asintticamente equivalentes en x
0
= 0 son senx, tgx,
log(1 + x) y x, esto es,
lim
x0
[sen(x)/x] = 1 = lim
x
[tg(x)/log(1 + x)] = lim
x0
[tg(x)/x] = 1.
1.4.9. Relacin de ejercicios
a) Estdiense los siguientes lmites funcionales:
lm
x+
x
7x + 4
, lm
x
5x + 3
2x
2
+ 1
,
lm
x2
x
2
+ 4
x 2
, lm
x2
+
x
2
+ 4
x 2
,
lm
x+
2 + 3e
x

2 + 3x
2
, lm
x
2 + 3e
x

2 + 3x
2
,
1.5. FUNCIONES CONTINUAS 53
1.5. Funciones continuas
Sumario
En esta leccin tratamos del concepto de continuidad, una de las ideas ms fascinantes
de toda la matemtica. Aqu daremos la denicin de funcin continua y su relacin con
el concepto de lmite funcional. Tambin mostraremos algunas de las propiedades que
hacen que las funciones continuas sean tan interesantes. As mismo observaremos que
las funciones elementales son funciones continuas. El contenido completo de esta leccin
se articula de la siguiente manera:
1.3.1 Continuidad.
1.3.2 Tipos de discontinuidad.
1.3.3 Ejemplos.
1.3.4 Propiedades de las funciones continuas: Teoremas de Bolzano, del valor intermedio
y de conservacin de la compacidad.
1.3.5 Resolucin Numrica de Ecuaciones.
1.3.6 Relacin de ejercicios.
1.5.1. Continuidad
Sea A un subconjunto no vaco de nmeros reales y sea a A. Se dice que
f : A R es una funcin continua en a si verica la siguiente propiedad:
para cada intervalo J centrado en f(a), existe un intervalo I centrado en a tal
que f(I A) J,
esto es, en lenguaje ms formal
> 0, > 0, tal que si x A, [x a[ entonces [f(x) f(a)[ < .
Dado B A, se dice que f es continua en B si lo es en todos los puntos de B.
Es pues claro que la funcin identidad, las funciones constantes y la funcin valor
absoluto son funciones continuas en R.
Veamos que la continuidad est estrechamente relacionada con el lmite funcional.
54 1.3. Funciones continuas
Proposicin 1.5.1. Sean A un subconjunto no vaco de nmeros reales, a A
y f : A R una funcin . Entonces se verican las siguientes armaciones:
a) Si a es un punto aislado de A, entonces f es una funcin continua en a.
b) Si a A

, entonces f es continua en a si, y slo si, lim


xa
f(x) = f(a).
Observacin 1.5.2. Obsrvese que si a / A no tiene sentido hablar de continuidad,
As pues, puede ocurrir que una funcin tenga lmite en un punto a A

y que
no tenga sentido hablar de continuidad en a (a / A). Por otra parte, obsrvese
que si una funcin es continua en un punto de acumulacin, la funcin y el lmite
conmutan.
1.5.2. Ejemplos
a) La funcin f : R
+
R denida mediante la siguiente expresin:
f(x) =
_
x + 1 si x ,= 1
1 si x = 1.
presenta una discontinuidad en 1, lo cual poda haberse adivinado si hubise-
mos pintado previamente su grca
-2 -1 1 2 3
-1
1
2
3
4
b) La funcin parte entera presenta una discontinuidad en todos los nmeros
enteros.
c) La funcin f : R
+
0
R denida mediante la expresin:
f(x) =
_
1/x si x R
+
1 si x = 0.
presenta una discontinuidad esencial en 0.
Este hecho puede adivinarse cuando observamos su grca:
Anlisis Matemtico 55
1 2 3 4
10
20
30
40
50
d) Las funciones logaritmo neperiano, seno y coseno son continuas en sus do-
minios.
Adems se tiene
Proposicin 1.5.3. Sean A un subconjunto de nmeros reales, a A y f, g :
A R dos funciones continuas en a. Entonces f + g, f.g son dos funciones
continuas en a. Si adems, para cada x A, g(x) ,= 0, entonces f/g es tambin
continua en a.
Como consecuencia obtenemos que las funciones racionales y la funcin tangente
son tambin continuas en sus dominios correspondientes.
Proposicin 1.5.4. Sea I un intervalo de nmeros reales y f : I R una
funcin continua e inyectiva en I. Entonces la funcin inversa f
1
es continua
en f(I).
Como consecuencia obtenemos que las funciones exponencial, arcocoseno, ar-
coseno y arcotangente son continuas en sus correspondientes dominios.
Proposicin 1.5.5. Sean A un subconjunto de nmeros reales, a A y f : A
R una funcin continua en a. Sean ahora B f(A) y g : B R una funcin
continua en f(a). Entonces g f, es una funcin continua en a.
Como consecuencia obtenemos que las funciones exponenciales y potenciales son
continuas en R y R
+
respectivamente.
1.5.3. Propiedades de las funciones continuas: Teoremas de
Bolzano, del valor intermedio y de conservacin de la com-
pacidad.
Enunciemos ahora algunas de las propiedades ms emblemticas de las
funciones continuas.
56 1.3. Funciones continuas
Proposicin 1.5.6. (La continuidad es una propiedad local)
Sean A un subconjunto de numeros reales, B un subconjunto de A, a B y
f : A R una funcin. Entonces
a) Si f es continua en a, entonces f/
B
es una funcin continua en a.
b) Si f/
B
es continua en a y existe un intervalo centrado en a, I, tal que
I

A B, entonces f es una funcin continua en a.


Observacin 1.5.7. La proposicin anterior es muy til para estudiar la con-
tinuidad de una funcin denida a trozos.
Como ejemplo estudiemos la continuidad de la funcin f : R R, denida por
f(x) =
_
x
2
si x 2
x + 4 si x > 2
cuya grca es como sigue:
-4 -2 2 4
2
4
6
8
Dado que la funcin x
2
es continua en R, entonces f/
],2]
= x
2
/
],2]
es continua
en todos los puntos del intervalo ] , 2], luego por el apartado (2), f es continua
en ], 2[. Idntico razonamiento puede seguirse para el intervalo ]2, +[.
Qu ocurre en el punto 2? Como se desprende de la observacin de su grca,
la funcin presenta una discontinuidad de salto. Comprubese. Obsrvese adems
que en cambio la funcin f/] , 2] es continua en 2.
Proposicin 1.5.8. ( propiedad de conservacin del signo)
Sean A un subconjunto de numeros reales, a A y f : A R una funcin
continua en a. Si f(a) ,= 0 Entonces existe un intervalo centrado en a, I, tal que
para cada x I

A, f(x)f(a) > 0.
Teorema 1.5.9. (de los ceros de Bolzano)
Sean [a, b] un intervalo de numeros reales, y f : [a, b] R una funcin continua.
Si f(a).f(b) < 0, entonces existe c ]a, b[ tal que f(c) = 0.
Anlisis Matemtico 57
Enunciemos nalmente las dos propiedades ms importantes y que ms
usaremos en adelante.
Teorema 1.5.10. (del valor intermedio)
Sean I un intervalo de numeros reales, y f : I R una funcin continua.
Entonces f(I) es un intervalo.
Teorema 1.5.11. (de conservacin de la compacidad)
Sean [a, b] un intervalo de numeros reales, y f : [a, b] R una funcin continua.
Entonces f est acotada y alcanza sus valores mximo y mnimo.
Recurdese que f est acotada si el conjunto imagen f([a, b]) est acotado. As pues,
la tesis del ltimo teorema puede expresarse diciendo que existen c, d R tales que
f([a, b]) = [c, d].
1.5.4. Resolucin Numrica de Ecuaciones.
El teorema de Bolzno nos proporciona dos mtodos tiles para localizar las races
de una ecuacin, llamados mtodo de la biseccin y el mtodo de la secante
mtodo regula falsi".
El primer mtodo consiste en evaluar la funcin en los extremos del intervalo, si
hay cambio de signo se considera el centro del intervalo como un nuevo extremo
de los dos subintervalos de igual longitud en que queda divido el intervalo inicial.
En aquel subintervalo en el que los valores de f en sus extremos sean de signo
diferente se vuelve a partir en dos, para volver a empezar. De esta manera cada
vez que realizamos esta particin, la solucin queda localizada en un intervalo de
menor longitud.
El segundo mtodo es muy similar al primero. Se evala la funcin en los extremos
del intervalo, si hay cambio de signo, se traza la recta que une los puntos extremos
de la grca. sta debe cortar al eje x en un nuevo punto. Se construyen ahora
los subintervalos formados por el extremo correspondiente y este nuevo punto. En
aquel subintervalo en el que los valores de f en sus extremos sean de signo diferente
se vuelve a partir en dos siguiendo la misma construccin, y as sucesivamente.
1.5.5. Relacin de Ejercicios
a) Estdiese la continuidad y el comportamiento en +y en de la funcin
f : R R denida por
58 1.3. Funciones continuas
1) f(x) =
x
1+|x|
, x R.
2) f(x) =
_
1
1+e
1/x
, si x ,= 0
0 si x = 0
3) f(x) =
_
_
_
e
x
x
, si x < 0
x, si 0 x < 1
5

x, si x 1
b) Dse un ejemplo de funcin ...
1) continua cuya imagen no es un intervalo.
2) no continua en un intervalo y cuya imagen es un intervalo.
3) continua en R, no constante y cuya imagen sea un intervalo acotado.
4) continua en [0, 1[ cuya imagen no es acotada.
5) continua en un intervalo abierto acotado cuya imagen es un intervalo
cerrado y acotado.
c) Para cada una de las siguientes funciones polinmicas f, hllese un entero n
tal que f(x) = 0 para algn x entre n y n + 1.
i) f(x) = x
3
+ x + 3
ii) f(x) = x
5
+ 5x
4
+ 2x + 1
iii) f(x) = x
5
+ x + 1
iv) f(x) = 4x
2
4x + 1.
d) Prubese que todo polinomio de grado impar admite al menos una raz real.
e) Sea P un polinomio de grado n tal que el trmino independiente y el coe-
ciente lder tienen signo opuesto. Prubese que P tiene al menos una raz
positiva.
f ) Sea f : [0, 1] [0, 1] una funcin continua en [0, 1]. Prubese que f tiene
un punto jo, es decir, que existe x [0, 1] tal que f(x) = x.
g) Suponiendo que la temperatura vara de manera continua a lo largo del
Ecuador, prubese que, en cualquier instante, existen dos puntos antpodas
sobre el Ecuador que se hallan a la misma temperatura.
h) Un escalador comienza, desde su campamento base, a subir a una montaa
el Sbado a las 7 horas, alcanzando la cima a las 8 de la tarde. A las 7 horas
del Domingo inicia el descenso hacia el campamento base tardando el mismo
tiempo que le cost la subida. Demostrar que existe una determinada hora,
a lo largo del Domingo, en la que el escalador se encuentra exactamente a la
misma altura que a esa misma hora del Sbado.
i ) Un corredor recorre 6 Km. en 30 minutos. Prubese que existe un intervalo
de 5 minutos a lo largo del cual el corredor recorre exactamente 1 kilmetro.
Captulo 2
Clculo diferencial en una variable
2.1. Funciones derivables
Sumario
La idea de derivada fue originada por el problema de dibujar una tangente a
una curva. Fermat, en el siglo XVII, tratando de determinar los mximos y mnimos de
ciertas funciones, observ que si la grca de dichas funciones, en un determinado punto,
tiene asociada una recta tangente horizontal, dicho punto es un candidato a mximo o
mnimo. Estas ideas desembocaron en el concepto de derivada e inmediatamente se
observ que era un instrumento vlido tambin para el clculo de velocidades, y en
general, para el estudio de la variacin de una funcin. En esta leccin introduciremos el
concepto de funcin derivable, prestaremos atencin al problema original de determinar
la tangente a una curva dada y estudiaremos algunas de sus propiedades; Enunciaremos
el teorema del valor medio y obtendremos algunas consecuencias muy importantes: La
relacin entre monotona y derivabilidad, la derivacin de la funcin inversa y las reglas
de LHpital para la resolucin de algunas indeterminaciones en el clculo de lmites.
El contenido completo de esta leccin se articula de la siguiente manera:
2.1.1 Derivada.
2.1.2 Recta tangente.
2.1.3 Propiedades de las funciones derivables: Teoremas de Rolle.
2.1.4 Resolucin de ejercicios.
59
60 2.1. Funciones derivables
2.1.1. Derivada. Recta tangente
Sea A un subconjunto no vaco de nmeros reales y sea a A A

. Se dice que
f : A R es una funcin derivable en a si existe el siguiente lmite:
lim
xa
f(x) f(a)
x a
.
El lmite recibe el nombre de derivada de f en el punto a y se nota por f

(a).
Dado un subconjunto B de AA

, se dice que f es derivable en B si es derivable


en todos los puntos de B.
Es claro que la funcin identidad I y toda funcin constante,C, son funciones
derivables en todo R, con I

= 1 y C

= 0, mientras que la funcin valor absoluto es


derivable en todos los puntos de R salvo en cero, y para cada x R

,
([x[)

= [x[/x.
El siguiente resultado nos da la relacin entre los conceptos de continuidad y de
derivacin.
Proposicin 2.1.1. Sean A un subconjunto no vaco de nmeros reales, a A

y
una funcin f : A R. Entonces las siguientes armaciones son equivalentes:
a) f es derivable en a.
b) f es continua en a y existe una funcin afn g tal que
lim
xa
f(x) g(x)
x a
= 0.
2.1.2. Recta tangente
Vamos ahora a interpretar geomtricamente la existencia de esta funcin afn.
Obsrvese que cualquier recta que pase por el punto (a, f(a)) tiene la forma
y = m(x a) +f(a).
Es claro que manipulando la igualdad del apartado b) obtenemos que
g(x) = f

(a)(x a) +f(a)
y por tanto su grca es una recta del tipo anterior con m = f

(a); la condicin sobre


el lmite del cociente del apartado 2) nos asegura que la grca de la funcin afn g es
la que mejor se aproxima a la grca de la funcin f en las proximidades del punto a.
As por ejemplo si consideramos la funcin f(x) = (x1)
2
+1 y el punto (1, 1), se tiene
que
Anlisis Matemtico 61
-2 -1 1 2 3 4
-4
-2
2
4
6
y por tanto es visible que la recta horizontal es la que mayor "parecido"tiene con la
parbola en las proximidades del punto (1, 1).
La recta y = f

(a)(x a) +f(a) recibe el nombre de recta tangente a la grca


de f en el punto (a, f(a))
Ejemplos
Las funciones logaritmo neperiano, seno y coseno son derivables en sus respectivos
dominios. Adems para cada x del dominio correspondiente,
log

(x) = 1/x, sen

(x) = cos(x), cos

(x) = sen(x).
Tambin la suma, el producto y el cociente de funciones derivables es una funcin
derivable.
Proposicin 2.1.2. Sean A un subconjunto de nmeros reales, a A y f, g : A R
dos funciones derivables en a. Entonces f + g y f.g son dos funciones derivables en a,
y se tiene que
(f +g)

(a) = f

(a) +g

(a), (f.g)

(a) = f

(a)g(a) +f(a)g

(a).
Si adems, para cada x A, g(x) ,= 0, entonces f/g es tambin derivable en a y se
tiene que
(f/g)

(a) =
f

(a)g(a) f(a)g

(a)
g
2
(a)
.
Como consecuencia obtenemos que las funciones racionales y la funcin tangente son
tambin derivables en su dominio. De hecho, para cada x R

2
+k, k Z,
tg

(x) = 1 +tg
2
(x).
Tambin las cosas van bien cuando componemos dos funciones derivables.
62 2.1. Funciones derivables
Teorema 2.1.3. (regla de la cadena)
Sean A un subconjunto de nmeros reales, a A y f : A R una funcin derivable
en a. Sean ahora B f(A) y g : B R una funcin derivable en f(a). Entonces
g f, es una funcin derivable en a y se tiene que
(g f)

(a) = g

(f(a)).f

(a).
Como consecuencia obtenemos que
Corolario 2.1.4. Si f : A R
+
es una funcin derivable en a, entonces
(logf(a))

=
f

(a)
f(a)
.
2.1.3. Propiedades de las funciones derivables: Teoremas de
Rolle y del valor medio, y reglas de L+Hpital.
Enunciemos ahora algunas propiedades y caractersticas de las funciones derivables.
Proposicin 2.1.5. (La derivabilidad es una propiedad local)
Sean A un subconjunto de numeros reales, B un subconjunto de A, a B

y f :
A R una funcin. Entonces
a) Si f es derivable en a, entonces f/
B
es una funcin derivable en a y f

(a) =
(f/
B
)

(a).
b) Si f/
B
es derivable en a y existe un intervalo centrado en a, I, tal que I

A B,
entonces f es una funcin derivable en a y f

(a) = (f/
B
)

(a).
Observacin 2.1.6. La proposicin anterior es muy til para estudiar la derivabilidad de
una funcin denida en varias ramas.
Como ejemplo estudiemos la derivabilidad de la funcin f : R R, denida por
f(x) =
_
x
2
si x 2
x + 6 si x > 2
cuya grca es como sigue
Dado que la funcin x
2
es derivable en R, entonces f/
],2]
= x
2
/
],2]
es derivable
en todos los puntos del intervalo ] , 2], luego por el apartado (2), f es derivable en
], 2[. Idntico razonamiento puede seguirse para el intervalo ]2, +[.
Qu ocurre en el punto 2? Como se desprende de la observacin de su grca, la funcin
presenta un pico, luego pensamos que no es derivable en 2. Comprubese. Obsrvese
adems que en cambio la funcin f/] , 2] es derivable en 2.
Anlisis Matemtico 63
-4 -2 2 4 6 8
-2
2
4
6
8
10
En los siguientes resultados usaremos como dominios slo intervalos, ya que en stos
todos los puntos, incluso sus extremos sean o no del intervalo, son puntos de acumulacin.
Teorema 2.1.7. (de Rolle)
Sean [a, b] un intervalo de numeros reales, y f : [a, b] R una funcin continua y
derivable en ]a, b[ vericando que f(a) = f(b). Entonces existe c ]a, b[ tal que f

(c) = 0.
La demostracin del teorema es consecuencia del siguiente resultado
Lema 2.1.8. Sea I un intervalo de nmeros reales. Si f : I R es una funcin
derivable en un punto interior c de I tal que f(x) f(c) f(x) f(c), x I,
entonces f

(c) = 0.
Observacin 2.1.9. La combinacin de este teorema y del teorema de Bolzano es deter-
minante a la hora de calcular el nmero de soluciones de una ecuacin en un determinado
intervalo. A este respecto resulta interesante releer el teorema de Rolle en la siguiente:
Si f

no se anula en el intervalo ]a, b[, la ecuacin f(x) = 0 tiene como mucho una
nica solucin en el intervalo [a, b] .
El siguiente resultado no es ms que otra versin del teorema de Rolle.
Teorema 2.1.10. (del valor medio)
Sean [a, b] un intervalo de numeros reales, y f : [a, b] R una funcin continua y
derivable en ]a, b[. Entonces existe c ]a, b[ tal que
f(b) f(a) = f

(c)(b a).
Como primera consecuencia obtenemos la siguiente relacin entre el signo de la
derivada y la monotona de la funcin:
Corolario 2.1.11. (monotona de una funcin derivable)
Sea I un intervalo de numeros reales, y f : I R una funcin derivable. Entonces se
verican las siguientes armaciones:
64 2.1. Funciones derivables
a) f es creciente si, y slo si f

(x) 0, x I.
b) f es decreciente si, y slo si f

(x) 0, x I.
c) Si f

(x) = 0, x I, si, y slo f es constante.


d) Si f

(x) > 0 x I, entonces f es estrictamente creciente.


e) Si f

(x) < 0 x I, entonces f es estrictamente decreciente.


f) Si f

(x) ,= 0 x I, entonces f es estrictamente montona.


Al igual que ocurre con el teorema de Rolle, la informacin dada en este ltimo
corolario es muy importante para la localizacin de las soluciones de una ecuacin del
tipo f(x) = 0, cuando la funcin f es derivable.
Como segunda consecuencia, obtenemos cundo la funcin inversa es derivable y
cunto vale su derivada:
Corolario 2.1.12. (derivacin de la funcin inversa)
Sea I un intervalo de numeros reales, y f : I R una funcin derivable tal que
f

(x) ,= 0. Entonces f
1
es derivable en f(I) y para cada x I, se tiene que
(f
1
)

(f(x)) =
1
f

(x)
.
A partir de aqu, obtenemos que tambin las funciones exponencial, arcocoseno,
arcoseno y arcotangente son derivables. De hecho, para cada x en el correspondiente
dominio se tiene que
(e
x
)

= e
x
, (arctg)

(x) =
1
1 +x
2
,
(arc cos)

(x) =
1

1 x
2
, (arc sen)

(x) =
1

1 x
2
.
Y si se quiere, usando la regla de la cadena, si f : A R es una funcin derivable
en a y tal que f(A) est contenido en el correspondiente dominio, entonces
(e
f(a)
)

= f

(a)e
f(a)
, (arctg)

(f(a)) =
f

(a)
1 +f
2
(a)
,
(arc cos)

(f(a)) =
f

(a)
_
1 f
2
(a)
, (arc sen)

(f(a)) =
f

(a))
_
1 f
2
(a)
.
Adems si f(A) est contenido en R
+
y g : A R es otra funcin derivable tambin
en a, entonces la funcin h = f
g
es derivable en a y
h

(a) = f(a)
g(a)
[g

(a)log(f(a)) +g(a)
f

(a)
f(a)
].
Para calcular derivadas tan complicadas como la anterior podemos usar la tcnica
logartmica. El procedimiento es como sigue.
Tcnica logartmica
Anlisis Matemtico 65
a) Tomamos logaritmos en la igualdad que dene a h.
log(h(x)) = g(x)log(f(x)).
b) Derivamos ambas igualdades en el punto a
h

(a)
h(a)
= g

(a)log(f(a)) +g(a)
f

(a)
f(a)
.
c) Finalmente despejamos y obtenemos que
h

(a) = f(a)
g(a)
[g

(a)log(f(a)) +g(a)
f

(a)
f(a)
].
Como ejercicio calclese la funcin derivada de f(x) = x
x
x
en R
+
.
La tercera y ltima consecuencia a sealar en esta leccin es una potente herramienta
que nos va a permitir resolver muchas de las indeterminaciones presentadas en la leccin
I.5 relativas a la convergencia de las funciones.
Corolario 2.1.13. (Reglas de L+Hpital)
Sea I un intervalo de nmeros reales, L R +, y a I y supongamos que
f, g : Ia R son dos funciones tales que
a) f y g son derivables,
b) g

(x) ,= 0,
1) Primera Regla de L+Hpital
lim
xa
f(x) = lim
xa
g(x) = 0,

2) Segunda Regla de L+Hpital:


la funcin [g[ diverge positivamente en a,
Si lim
xa
f

(x)
g

(x)
= L. entonces
lim
xa
f(x)
g(x)
= L.
Observacin 2.1.14. Las Reglas de LHpital siguen permaneciendo vlidas si, en el caso
en que el intervalo I no est mayorado, sustituimos los lmites en a por lmites en +.
Anlogamente para lmites en .
Finalmente damos una consecuencia prctica para calcular la derivada de algunas fun-
ciones denidas a trozos.
Corolario 2.1.15. Sea I un intervalo, a I y h : I R una funcin continua en a
y derivable al menos en Ia. Si h

tiene lmite en el punto a entonces h es derivable


en a y
h

(a) = lim
xa
h

(x).
66 2.1. Funciones derivables
2.1.4. Relacin de ejercicios
a) Calclese la derivada de las siguientes funciones cuyas ley viene dada por:
1) f(x) = sen(x + 3).
2) f(x) = cos
2
(x
3
).
3) f(x) = 1/cos(x).
4) f(x) =
_
(1 +x)/(1 x).
5) f(x) =

x
2
+ 1.
6) f(x) = (
3

x 1/
5

x)
5
.
7) f(x) = cos(cos(cos(x))).
8) f(x) = x
4
e
x
log(x).
9) f(x) = x
x
.
10) f(x) =

x
.
b) Calclese la tangente de la grca de la funcin f : R R denida por f(x) =
2x
3
3x
2
12x + 40 que es paralela al eje 0X.
c) Calclese la tangente de la grca de la funcin f : R R en el punto P en cada
uno de los siguientes casos:
1) f(x) = x
2
+ 1 en el punto P = (3, 10).
2) f(x) = cos(x) en el punto P = (/2, 0).
3) f(x) = [x[ en el punto P = (1, 1).
4) f(x) = x/x
2
+ 1 en el punto P = (0, 0).
d) Dada una funcin f : A R, estdiese la continuidad y la derivabilidad en cada
uno de los siguientes casos:
1) A = [1, 1] y f(x) =

1 x
2
.
2) A = R y f(x) =
3
_
[x[.
3) A = R y f(x) =
2x
1+|x|
.
e) Sean , R y f : R R una funcin denida por f(x) = x
2
+ x + .
Encuntrense los valores de y , que hacen que el punto (2, 4) pertenezca a la
grca de f y que la recta tangente a la misma en dicho punto sea la recta de
ecuacin 2x y = 0.
f ) Sea f :

2
,

2
_
R denida por:
f(x) =
log(1 senx) 2log(cosx)
senx
(x ,= 0) f(0) = a.
Estdiese para qu valor de a la funcin f es continua en cero.
g) Estdiese la derivabilidad y la existencia de lmites en + y de la funcin
f : R R denida en cada caso por
1)
f(x) =
_
1
1+e
x
si x ,= 0
0 si x = 0
Anlisis Matemtico 67
2)
f(x) =
_
_
_
e
x
x
si x < 0
x si 0 x < 1
5

x si x 1
h) Demustrese que, para cada x > 0, se verica que
x
1 +x
< log(1 +x) < x.
i ) Demustrese que, para cada x, y R, se verica que
[sen(ax) sen(ay)[ [a[[x y[.
j ) Demustrese que, para cada x, y R, se verica que
[arctg(x) arctg(y)[ [x y[.
k) Sea a > 0. Prubese que
ea/x e
a/x
, x > 0
y se da la igualdad si, y slo si, x = a.
l ) Sea a > 0 un nmero real que verca
a
x/a
x, x > 0.
Prubese que a = e.
m) Calclese el nmero de ceros y la imagen de la funcin f : R R denida por
f(x) = x
6
3x
2
+ 2.
n) Calclese el nmero de soluciones de la ecuacin 3logx x = 0.
) Prubese que 0 < a < 1 se verca
(1 +x)
a
1 +ax, x 1.
o) Sea a > 1. Probar que la ecuacin x + e
x
= a tiene, al menos, una solucin
positiva y otra negativa.
p) Sea f : R
+
R la funcin denida por:
f(x) = x +logx +arctgx
prubese que la ecuacin f(x) = 0 tiene una nica solucin.
q) Prubese que la ecuacin
x +e
x
+arctgx = 0
tiene una nica raz real. Dese un intervalo de longitud uno en el que se encuentre
dicha raz.
r) Sean a, b, c R con a
2
< 3b. Prubese que la ecuacin
x
3
+ax
2
+bx +c = 0
tiene una solucin real nica.
68 2.1. Funciones derivables
s) Determnese el nmero de races reales de la ecuacin
2x
3
3x
2
12x = m
segn el valor de m.
t) Sea f : R1 R la funcin denida por:
f(x) = arctg
1 +x
1 x
Estdiese la continuidad de f y su comportamiento en el punto 1, en + y en
.
u) Estdiese el comportamiento de la funcin f : A R en el punto en cada uno
de los siguientes casos:
1) A = R

, f(x) = sen(3x)/x x A, = 0.
2) A = R/2 +k, k Z f(x) = (2x )/cos(x) x A, = /2.
3) A = R2, 2, f(x) = (

x
2
+ 5 3)/x
2
4 x A, = 2.
4) A =]2, +[ , f(x) =

2+

x2

x
2
4
x A, = 2.
5) A = R
+
1, f(x) =
1
logx

1
x1
x A, = 1.
6) A =]1, +[, f(x) =
x
x
x
1xlogx
x A, = 1.
7) A = R

, f(x) =
1
x
4

1
6x
2

senx
x
5
, = 0.
8) A =]0, /2[, f(x) = (
1
tgx
)
senx
, = /2.
9) A =]0, /2[, f(x) = (1 +senx)
cotgx
, = 0.
10) A = R
+
e, f(x) = x
1
logx1
, = e.
11) A = R
+
, f(x) =
1
x
(e (1 +x)
1
x
), = 0.
v) Estdiese el comportamiento en el punto cero de la funcin f : A R en los
siguientes casos:
1) A = R
+
, f(x) =
1cos x

x
, x A.
2) A = R

, f(x) =
1cosx
x
2
, x A.
3) A =]0, /2[, f(x) = (senx +cosx)
1/x
, x A.
4) A =]0, /2[, f(x) =
_
cos x +
x
2
2
_ 1
x
2
, x A.
5) A =]0, /2[, f(x) = (1 tgx)
1
x
2
, x A.
6) A = R
+
, f(x) = x
senx
, x A.
7) A =]0, /2[, f(x) =
xarctgx
sen
3
x
, x A.
8) A =]0, /2[, f(x) = (
1
tgx
)
senx
, x A.
9) A = R
+
e, f(x) = x
1
logx1
, x A.
w) Estdiese el comportamiento en + de las funciones f : A R dadas por
1) A = R
+
, f(x) =
log(2+3e
x
)

2+3x
2
,
2) A = R
+
, f(x) = (a
x
+x)
1/x
, x R
+
a R
+
,
3) A =]1, +[ f(x) =
x(x
1/x
1)
logx
,
Anlisis Matemtico 69
4) A = Re, f(x) = x
1
logx1
.
x) Sea f : R
+
R una funcin derivable en R
+
. Supongamos que fy f

tienen
lmite en +. Prubese que lim
x
f

(x) = 0.
y) Sea f : [0, 1] R un a funcin derivable, vericando que f(0) = 0 y que para
cada x [0, 1], [f

(x)[ [f(x)[. Prubese que f(x) = 0, x [0, 1].


2.2. EXTREMOS RELATIVOS. POLINOMIO DE TAYLOR 71
2.2. Extremos relativos. Polinomio de Taylor
Sumario
En esta leccin vamos a seguir extrayendo consecuencias del teorema del valor medio:
estudiaremos condiciones necesarias y condiciones sucientes para que una funcin tenga
extremos relativos. Tambin deniremos el polinomio de Taylor asociado a una funcin
en un punto y estudiaremos algunas de sus propiedades. mtodo de Newton-Raphson
para encontrar aproximaciones a las soluciones de una ecuacin. El contenido completo
de esta leccin se articula de la siguiente manera:
2.2.1 Extremos de una funcin.
2.2.2 Extremos relativos y derivabilidad.
3.2.3 Derivadas sucesivas.
2.2.4 Polinomio de Taylor.
2.2.5 Resolucin numrica de ecuaciones.
2.2.6 Relacin de ejercicios.
2.2.1. Extremos de una funcin
Extremos absolutos
Sea A un subconjunto no vaco de nmeros reales y a A y f : A R una
funcin. Se dice que
a es un mximo absoluto, simplemente que es un mximo, de f, que f
alcanza su mximo en a si se verica que
f(a) f(x), x A.
a es un mnimo absoluto simplemente que es un mnimo, de f que f alcanza
su mnimo en a si se verica que
f(a) f(x), x A.
a es un punto extremo de f si bien es un mximo bien es un mnimo.
Extremos relativos
Siendo A,f y a como antes, se dice que:
72 2.2. Extremos relativos. Polinomio de Taylor.
a es un mximo relativo o que f tiene un mximo relativo en a si se verican
las siguientes condiciones:
a) Existe r > 0 tal que ]a r, a +r[ A.
b) f(a) f(x), x ]a r, a +r[.
a es un mnimo relativo o que f tiene un mnimo relativo en a si se verican
las siguientes condiciones:
a) Existe r > 0 tal que ]a r, a +r[ A.
b) f(a) f(x), x ]a r, a +r[.
a es un extremo relativo si o bien es un mximo relativo bien es un mnimo
relativo.
Con el siguiente ejemplo veremos qu no existe en general una relacin entre extremo
relativo y extremo absoluto.
Ejemplo:
Estdiense los extremos relativos y absolutos de la funcin
f : [0, 3] R,
denida por
f(x) =
_
_
_
x si 0 x < 1
2 x si 1 x < 2
2x 4 si 2 x 3
Observemos primero su grca:
0.5 1 1.5 2 2.5 3
0.5
1
1.5
2
y comprobemos que
a) 0 es un mnimo absoluto pero no relativo.
b) 1 es un mximo relativo pero no absoluto.
c) 2 es un mnimo relativo y absoluto
d) 3 es un mximo absoluto pero no relativo.
Nota Si a es un punto interior y f alcanza su mximo (resp. mnimo) absoluto en a,
entonces f tiene un mximo (resp. mnimo) relativo en a.
Anlisis Matemtico 73
2.2.2. Extremos relativos y derivabilidad
Comenzamos armando que en todo extremo relativo la derivada se anula.
Proposicin 2.2.1. (Lema I.7.9)( condicin necesaria)
Sea I un intervalo. Si f : I R es derivable en a y tiene un extremo relativo en a I,
entonces f

(a) = 0.
Este sencillo resultado nos permite elaborar la siguiente regla prctica para el clculo
de extremos.
Regla prctica para el clculo de extremos absolutos
Sean A un subconjunto no vaco de nmeros reales y f : A R una funcin.
Supongamos que f alcanza su mximo o su mnimo absoluto en a, entonces a est en
una de las tres situaciones siguientes:
1) No existe ningn intervalo centrado en a contenido en A.
2) Existe un intervalo centrado en a contenido en A y f no es derivable en a.
3) Existe un intervalo centrado en a contenido en A, f es derivable en a y f

(a) = 0.
Una vez detectados los candidatos, se nos puede presentar una de las dos siguientes
situaciones:
1) El conjunto A es un intervalo cerrado y acotado y f es continua.
2) No se da alguna de las circunstancias del primer apartado.
En el primer caso sabemos, por el teorema de Weiertrass sobre la conservacin de la
compacidad, que f alcanza sus valores mximo y mnimo en sendos puntos del intervalo,
por lo que basta evaluar f en los candidatos de los tres tipos para determinar quines
son los extremos absolutos. En el segundo caso, nos contentaremos con saber que de
haber mximo mnimo ste est entre nuestros candidatos.
El siguiente resultado nos permite ver si los puntos del segundo y tercer tipo son al
menos extremos relativos y de qu naturaleza son.
Proposicin 2.2.2. (condicin suciente)
Sean a R, r > 0 y notemos por I =]a r, a +r[. Sea A un conjunto que contiene a I
y sea f : A R una funcin continua y derivable en Ia.
1. Si para cada x I con x < a se tiene que f

(x) 0 y para cada x I con x > a


se tiene que f

(x) 0, entonces f alcanza un mximo relativo en a.


74 2.2. Extremos relativos. Polinomio de Taylor.
2. Si para cada x I, con x < a, se tiene que f

(x) 0 y para cada x I, con


x > a, se tiene que f

(x) 0, entonces f alcanza un mnimo relativo en a.


Ejemplo: Calclense los extremos de la funcin f : R R, denida por
f(x) =
_
x
2
si x 2
x + 6 si x > 2
Considrese previamente su grca
-4 -2 2 4 6 8
-2
2
4
6
8
10
Confrmese que f tiene en 0 un mnimo relativo (no absoluto) y en 2 un mximo
relativo (no absoluto) y que f no tiene extremos absolutos.
Ejercicio: Calclense los extremos de la funcin anterior restringida al intervalo [0, 4].
2.2.3. Derivadas sucesivas
Sea A un subconjunto no vaco de nmeros reales y sea f : A R una funcin.
Considrese el conjunto
A
1
= a A A

: f es derivable en a.
Si A
1
es un conjunto no vaco podemos construir la funcin que a cada punto de A
1
le
hace corresponder la derivada de f en dicho punto. Dicha funcin, que notaremos por
f

, recibe el nombre de funcin derivada de f. Si a A


1

(A
1
)

y f

es derivable en
a, diremos que f es dos veces derivable en a y llamaremos derivada segunda de
f en a a la derivada de f

en a, y la notaremos por f

(a). Sea A
2
el subconjunto de
puntos de A
1

(A
1
)

en los que f es dos veces derivable. La funcin f

: A
2
R,
denida por la ley x f

(x) se llamar derivada segunda de f. Siguiendo este


proceso podremos denir los conceptos de funcin n veces derivable y de la funcin
derivada n-sima de f, que notaremos por f
(n)
.
Sea I un intervalo, f : I R una funcin y n un nmero natural. Se dice que f es
de clase (
n
en I si f es n veces derivable en I y su derivada n-sima, f
(n)
, es continua
en I.
Se dice que f es de clase (

en I si f es de clase (
n
para todo natural n.
Por ejemplo las funciones racionales y las funciones seno, coseno, tangente, arcotan-
gente, arcoseno, arcocoseno, logaritmo neperiano y exponencial son funciones de clase
(

en sus correspondientes dominios.


Anlisis Matemtico 75
2.2.4. Polinomio de Taylor
Sea A un subconjunto de nmeros reales y f : A R una funcin n veces derivable
en un punto a A

. Llamaremos polinomio de Taylor de grado n de la funcin


f en el punto a a la funcin polinmica P
n,a
: R R denida por
P
n,a
(x) = f(a) +f

(a)(x a) +
f

(a)
2!
(x a)
2
+... +
f
(n)
(a)
n!
(x a)
n
.
Es inmediato comprobar que P
n,a
es la nica funcin polinmica que verica que:
P
n,a
(a) = f(a), P

n,a
(a) = f

(a), ... P
(n)
n,a
(a) = f
(n)
(a).
Ntese que el polinomio de Taylor de grado uno no es ms que la funcin afn g
dada en la leccin anterior y cuya grca llambamos recta tangente. Cabe esperar que
el polinomio de Taylor de grado n en el punto a nos d una buena aproximacin de la
funcin f en las proximidades del punto a, y que deber ser tanto mejor cuanto mayor
sea el grado del polinomio. Este hecho queda probado en el siguiente resultado.
Teorema 2.2.3. (frmula innitesimal del resto)
Sea I un intervalo, a I, n N y f : I R una funcin n veces derivable. Entonces
lim
xa
f(x) P
n,a
(x)
(x a)
n
= 0.
Como primera consecuencia de este hecho obtenemos una regla prctica para el
clculo de extremos relativos.
Corolario 2.2.4. Sea I un intervalo, a I, n N y f : I R una funcin n veces
derivable con
f

(a) = ... = f
(n1)
(a) = 0 y f
(n)
(a) ,= 0.
Entonces si
a) n es impar, f no tiene ningn extremo relativo en a.
b) n es par y
b1) f
(n)
(a) > 0, f tiene un mnimo relativo en a.
b2) f
(n)
(a) < 0, f tiene un mximo relativo en a.
Como ejercicio calclese el vrtice de la parbola y = x
2
+ 3x 2.
En el ambiente del teorema, la funcin R
n,a
: I R denida por
R
n,a
(x) = f(x) P
n,a
(x),
76 2.2. Extremos relativos. Polinomio de Taylor.
recibe el nombre de Resto de Taylor de orden n de la funcin f en el punto a.
Nuestro siguiente resultado nos va a proporcionar una expresin concreta del resto
de Taylor que nos permitir evaluar el error cometido cuando se sustituya una funcin
por su correspondiente polinomio de Taylor.
Teorema 2.2.5. (Frmula de Taylor)
Sea I un intervalo, a I, n N y f : I R una funcin n + 1 veces derivable.
Entonces, para cada x I, x > a (respectivamente x < a), existe un punto c ]a, x[
(resp. c ]x, a[) tal que
R
n,a
(x) =
f
(n+1)
(c)(x a)
n+1
(n + 1)!
.
Ejercicio: Calclese el valor de

e con tres decimales.
2.2.5. Resolucin numrica de ecuaciones.
Veamos ahora cmo se interpreta geomtricamente el hecho de que la derivada
segunda sea no negativa.
Sea I un intervalo. Se dice f : I R es una funcin convexa cuando para
cualesquiera dos puntos a, b I con a < b y para todo nmero real t ]0, 1[ se verica
que
f((1 t)a +tb)) (1 t)f(a) +tf(b).
Obsrvese que la funcin f(x) = (x 1)
2
2 es convexa ya que su grca,
-1 1 2 3
-2
-1
1
2
verica que la imagen de cualquier intervalo contenido en R est por "debajo"del segmen-
to que une las imgenes de los extremos. Considrese por ejemplo el intervalo [1/2, 2]) y
el segmento [(1/2, 3/4), (2, 1)] que une las imgenes de sus extremos, tal como vemos
en la gura siguiente
Anlisis Matemtico 77
0.6 0.8 1.2 1.4 1.6 1.8 2
-1.8
-1.6
-1.4
-1.2
-1
Se dice f : I R es una funcin cncava cuando para cualesquiera dos puntos
a, b I con a < b y para todo nmero real t ]0, 1[ se verica que
f((1 t)a +tb)) (1 t)f(a) +tf(b).
Obsrvese que la funcin f(x) = (x1)
2
+3 es cncava ya que por ejemplo, la imagen
del intervalo [0, 2] est por encima del segmento [(0, 2), (2, 2)] tal como se aprecia en la
siguiente gura
-2 -1 1 2 3
0.5
1.5
2
2.5
3
Es claro que toda funcin afn es simultneamente convexa y cncava.
Finalmente veamos que existe una estrecha relacin entre la convexidad y el signo
de la segunda derivada.
Proposicin 2.2.6. Sea I un intervalo y f : I R una funcin dos veces derivable
en I. Entonces equivalen:
a) f es convexa.
b) f

(x) 0 para todo x I.


Es fcil ver ahora que la funcin exponencial es una funcin convexa y la funcin
logaritmo neperiano es una funcin cncava.
La ltima consecuencia que vamos a sealar en esta leccin es un mtodo muy rpido
para localizar las soluciones de una ecuacin.
Corolario 2.2.7. (Mtodo de Newton-Raphson )
Sea f : [a, b] R una funcin dos veces derivable vericando:
a) f(a) < 0 < f(b).
78 2.2. Extremos relativos. Polinomio de Taylor.
b) f

(x) ,= 0.
c) f

(x) no cambia de signo en [a, b].


Entonces la sucesin x
n
, tal que x
1
[a, b], y x
n+1
= x
n

f(x
n
)
f

n
(x)
es una sucesin que
converge a la nica raz x
0
de la ecuacin f(x) = 0.
Obsrvese que la condicin c) hace alusin a que no hay cambio de convexidad o
concavidad.
La forma de construir los distintos trminos de la sucesin de aproximaciones es
bastante sencilla y responde a una idea muy intuitiva. Una vez jado un valor inicial x
1
,
el trmino x
2
se obtiene como el punto de corte de la recta tangente a f en x
1
con el eje
OX. De la misma forma, obtenemos x
n+1
como el punto de corte de la recta tangente
a f en el punto x
n
con el eje OX. Para comprender bien el algoritmo observemos el
siguiente grco donde se ve cmo se generan los valores de las aproximaciones.
0.5 1 1.5 2 2.5 3 3.5
-60
-40
-20
20
40
2.2.6. Relacin de ejercicios
a) Una caja abierta est construida con un rectngulo de cartn, quitando cuadrados
iguales en cada esquina y doblando hacia arriba los bordes. Hllense las dimensiones
de la caja de mayor volumen que puede construirse con ese procedimiento si el
rectngulo tiene como lados (a) 10 y 10, (b) 12 y 18.
b) Se desea construir una ventana con forma de rectngulo coronado de un semicrculo
de dimetro igual a la base del rectngulo. Pondremos cristal blanco en la parte
rectangular y cristal de color en el semicrculo. Sabiendo que el cristal coloreado
Anlisis Matemtico 79
deja pasar la mitad de luz (por unidad de supercie) que el blanco, calclense
las dimensiones de la ventana para conseguir la mxima luminosidad si se ha de
mantener un permetro constante dado.
c) Se traza la tangente en un punto de la elipse x
2
/25 + y
2
/16 = 1 de forma que el
segmento (de dicha tangente) interceptado por los ejes sea mnimo. Demustrese
que la longitud de dicho segmento es 9 unidades.
d) Se inscribe un rectngulo en la elipse x
2
/400+y
2
/225 = 1 con sus lados paralelos a
los ejes. Hllense las dimensiones del rectngulo para que (a) el rea sea mxima,
(b) el permetro sea mximo.
e) Se desea confeccionar una tienda de campaa cnica sin suelo de un volumen
determinado. Calclense sus dimensiones para que la cantidad de lona necesaria
sea mnima.
f ) Demustrese que la suma de un nmero positivo y su inverso es mayor o igual a 2.
todos aquellos que tienen la supercie total constante.
que tenga la forma de un cilindro rematado por una semiesfera. El costo de con-
struccin (por unidad de supercie) es doble para la semiesfera que para el cilindro
(la base es gratis). Determnense las dimensiones ptimas para minimizar el costo
de construccin.
g) Se proyecta un jardn de forma de sector circular de radio R y ngulo central . El
rea del jardn ha de ser A ja. Qu valores de R y hacen mnimo el permetro
que bordea el jardn?.
h) Un tringulo rectngulo cuya hipotenusa tiene una longitud a se hace girar alrede-
dor de uno de sus catetos. Qu volumen mximo puede tener un cono engendrado
de esta manera?.
i ) Una persona desea cortar un pedazo de alambre de 1 m. de largo en dos trozos. Uno
de ellos se va a doblar en forma de circunferencia, y el otro en forma de cuadrado.
Cmo debe cortar el alambre para que la suma de reas sea mnima?.
j ) Un muro de 4 metros de altura est a 3 metros de la fachada de una casa. Hallar
la escalera ms corta que llegar desde el suelo hasta la casa por encima del muro.
k) Demustrese que de todos los tringulos issceles que se pueden circunscribir a una
circunferencia de radio r, el de rea mnima es el equiltero de altura 3r.
l ) Cul es la longitud de la barra ms larga que puede hacerse pasar horizontalmente
a travs de la esquina, en ngulo recto, que forman dos corredores de anchuras
respectivas a y b?
m) Un cultivador de naranjas estima que, si planta 60 naranjos, obtendr una cosecha
media de 400 naranjas por rbol. Este nmero bajar 4 unidades por cada rbol
ms que se plante en el mismo terreno. Hllese el nmero de rboles que hace
mxima la cosecha.
n) Durante la tos, el dimetro de la trquea disminuye. La velocidad v del aire en
la trquea durante la tos se relaciona con el radio, r, mediante la ecuacin v =
Ar
2
(r
0
r), donde A es una constante y r
0
es el radio en estado de relajacin.
Determnese el radio de la trquea cuando la velocidad es mxima, as como esta
velocidad.
80 2.2. Extremos relativos. Polinomio de Taylor.
) Una fbrica de plsticos recibe del Ayuntamiento de la ciudad un pedido de 8.000
tablas otadoras para el programa de natacin del verano. La fbrica posee 10
mquinas, cada una de las cuales produce 50 tablas por hora. El coste de preparar
las mquinas para hacer el trabajo es de 800 EUROS por mquina. Una vez que
las mquinas estn preparadas, la operacin es automtica y puede ser supervisada
por una sla persona, que gana 35 EUROS/hora.
1) Cuntas mquinas hay que usar para minimizar el coste de produccin?
2) Si se usa el nmero ptimo de mquinas, cunto ganar el supervisor durante
el proceso?
o) Las palomas domsticas no suelen volar sobre extensiones grandes de agua a menos
que se vean forzadas a ello, posiblemente porque se requiera ms energa para
mantener la altitud sobre el agua fra. Supongamos que se suelta una paloma
desde un barco situado a 3 km de la costa, siendo A el punto costero ms cercano.
El palomar se encuentra en un punto de la costa situado a 10 km de A. Si la
paloma gasta dos veces ms energa volando sobre el agua que sobre la tierra rme
y sigue un camino que hace mnima la energa gastada, determnese el punto dnde
la paloma abandona el agua.
p) Prubense que las funciones exponencial, seno y coseno son de clase C

en R.
Probar que
sen(x)
(n)
= sen(x +n

2
), n N.
q) Prubese que la funcin logaritmo es de clase C

en R
+
y calclese, para cada
n N, la derivada n-sima.
r) Calclese, haciendo uso de un desarrollo de Taylor conveniente, un valor aprox-
imado del nmero real con un error menor de 10
3
en cada uno de los casos
siguientes:
a) =

e = e
1/2
b) =

102 c) = sen
1
2
.
s) Exprsese el polinomio x
4
5x
3
3x
2
+ 7x + 6 en potencias de x 2
t) Estdiense los posibles extremos relativos de la funcin f : R R en los sigu-
ientes casos:
1) f(x) = xlog[x[, x R

, f(0) = 0.
2) f(x) = x
2
log[x[, x R

, f(0) = 0.
u) Estdiense los posibles extremos relativos de la funcin f : R R denida por
f(x) = cosh(x) +cos(x).
v) Calclese Max
n

n : n N.
Captulo 3
R
n
3.1. Los nmeros complejos
Sumario
Como ltimo eslabn de las sucesivas ampliaciones que hemos hecho del conjunto de
los nmeros naturales, vamos a considerar el conjunto de los nmeros complejos. Esta
ampliacin viene motivada por el hecho de que no existen nmeros reales que satisfagan
la sencilla ecuacin x
2
+1 = 0. En este nuevo conjunto se encontrarn todas las soluciones
de cualquier ecuacin polinmica. El contenido completo de esta leccin se articula de
la siguiente manera:
3.1.1 El conjunto C.
3.1.2 Expresiones de un nmero complejo y propiedades.
3.1.3 Raices n-simas.
3.1.4 Funciones complejas.
3.1.5 Relacin de ejercicios.
3.1.1. El conjunto C
Consideremos el plano real, esto es, el conjunto R
2
= R R dotado con las siguientes
operaciones:
a) Suma:
(x, y) + (t, s) = (x +t, y +s),
81
82 3.1. Los nmeros complejos
b) producto por un escalar:
t(x, y) = (tx, ty).
Es claro que estas operaciones heredan algunas propiedades de las operaciones suma y
producto de nmeros reales, a saber para la primera, se verican:
1.1 [(x, y) + (t, s)] + (u, v) = (x, y) + [(t, s) + (u, v)] (Propiedad asociativa)
1.2 (x, y) + (t, s) = (t, s) + (x, y). (Propiedad conmutativa)
1.3 (x, y) + (0, 0) = (x, y) (Elemento neutro)
1.4 (x, y) + (x, y) = (0, 0) (Elemento opuesto),
mientras que para la segunda, se verican:
2.1 1(x, y) = (x, y).
2.2 t[s(x, y)] = ts(x, y).
2.3 (s +t)(x, y) = s(x, y) +t(x, y).
2.4 r[(x, y) + (t, s)] = r(x, y) +r(t, s).
El hecho de que R
2
cumpla las anteriores propiedades se expresa diciendo que el conjunto
R
2
dotado con las operaciones suma y producto por un escalar, arriba denidas,
tiene estructura de espacio vectorial.
Pero tambin en este conjunto se puede denir un verdadero producto mediante la
siguiente expresin:
(x, y).(t, s) = (xt ys, xs +yt).
Esta nueva operacin verica las siguientes propiedades:
3.1 ((x, y).(t, s)).(u, v) = (x, y).((t, s).(u, v)) (Propiedad asociativa)
3.2 (x, y).(t, s) = (t, s).(x, y). (Propiedad conmutativa)
3.3 (1, 0)(x, y) = (x, y) (Elemento unidad)
3.4 Para cada (x, y) ,= (0, 0) existe (t, s) = (
x
x
2
+y
2
,
y
x
2
+y
2
) tal que (x, y).(t, s) = (1, 0).
3.5 (x, y)[(t, s)) + (u, v)] = (x, y).(t, s) + (x, y).(u, v)) (Propiedad distributiva)
Este nuevo hecho se expresa diciendo que el plano R
2
, dotado con las operaciones suma,
producto por un escalar y producto tiene estructura de lgebra conmutativa. Al
conjunto (R
2
, +, producto) lo notaremos por C y lo llamaremos el plano complejo.
Claramente C est dotado de un producto por un escalar real.
La identicacin a (a, 0) permite ver a R como un subconjunto del conjunto de los
nmeros complejos.
Al nmero complejo (0, 1) se le denomina unidad imaginaria que notaremos por i o
por j.
Anlisis Matemtico 83
3.1.2. Expresiones de un nmero complejo y propiedades.
Forma binmica de un nmero complejo
Estas identicaciones nos permiten reescribir cualquier nmero complejo z = (x, y) en
forma binmica, esto es,
(x, y) = x(1, 0) +y(0, 1) = x +iy.
Sea z = x +iy.
El valor x recibe el nombre de parte real de z, Rez = x.
El valor y recibe el nombre de parte imaginaria de z, Imz = y.
Claramente dos nmeros complejos z,w son iguales si, y slo si,
Rez = Rew y Imz = Imw.
NO se puede denir un orden en C que sea compatible con el producto denido en l.
CONJUGADO de un nmero complejo
Sea z C. Llamamos conjugado de z, z, a un nuevo nmero complejo denido por
z = Rez iImz.
Las siguientes propiedades son inmediatas:
Proposicin
Sean z y w dos nmeros complejos. Entonces
a) z +w = z +w.
b) zw = zw.
c) z = z.
d) Rez =
z+z
2
, Imz =
zz
2i
.
e) z = z si, y slo si z R.
Conviene llamar la atencin de que estas propiedades nos aseguran que las races com-
plejas, no reales, de un polinomio p(z) con coecientes reales vienen apareadas, esto es,
si z es una raz del polinomio p(z), tambin lo es su conjugada.
MDULO de un nmero complejo
Sea z C. Llamamos mdulo de z, [z[, a un nmero real no negativo, denido por
[z[ =

zz =
_
(Rez)
2
+ (Imz)
2
.
84 3.1. Los nmeros complejos
En particular si a R, entonces su mdulo y su valor absoluto coinciden.
Resumamos algunas de sus propiedades.
Proposicin
a) [z[ = 0 si, y slo si z = 0.
b) [z[ = [ z[ = [z[.
c) [zw[ = [z[[w[.
d) [z +w[
2
= [z[
2
+[w[
2
+ 2Rezw.
e) [z +w[
2
+[z w[
2
= 2([z[
2
+[w[
2
) (identidad del paralelogramo).
f) [[z[ [w[[ [z +w[ [z[ +[w[. (desigualdad triangular)
ARGUMENTO de un nmero complejo
Notaremos por
C

= z C; z ,= 0.
Sea z C

. Se dice que un nmero real es un argumento de z, si se verica que


z = [z[(cos +isen).
Al nico argumento
0
] , ], se le llama argumento principal de z, argz, y su
expresin viene dada por
argz =
_

_
arc tg
Imz
Rez
si Rez > 0
/2 si Rez = 0/ e/Imz > 0
/2 si Rez = 0/ e/Imz < 0
si z R

arc tg(
Imz
Rez
) + si Rez < 0, Imz > 0
arc tg(
Imz
Rez
) si Rez < 0, Imz < 0.
La expresin [z[(cos(argz)+isen(argz)) suele conocerse como forma polar del nmero
complejo z y a la pareja ([z[, argz)[ se le suele llamar coordenadas polares de z. Podemos
interpretar geomtricamente las coordenadas polares de un nmero complejo z como
sigue:
Ntese que si z C

, entonces
Anlisis Matemtico 85
[z[ = 1 si y slo si existe t R tal que z = cost +isent.
Conviene advertir que para cada z C

existen innitos argumentos, concretamente, si


notamos por Arg z a dicho conjunto, se tiene que
Arg z = argz + 2k; k Z.
Es fcil probar que dados dos nmeros complejos no nulos z y w, se tiene que
Arg(z.w) = Arg(z) +Arg(w),
entendiendo que dicha igualdad es entre conjuntos.
Como consecuencia de lo dicho anteriormente, es fcil probar que, para cada t R, se
tiene
(cost +isent)
n
= cos(nt) +isen(nt) (frmula de Moivre).
3.1.3. Raices n-simas.
Sean z C

y n N. Se dice que w C es una raz n-sima de z si w


n
= z.
Si notamos por [z]
1
n
, al conjunto de de todas las races n-simas de z, esto es,
[z]
1
n
= w C; w
n
= z,
es fcil probar que dicho conjunto tiene exactamente n elementos diferentes, concreta-
mente si escribimos z = [z[(cost +isent), entonces
[z]
1
n
= w
k
; w
k
= [z[
1
n
_
cos(
t + 2k
n
) +isen(
t + 2k
n
)
_
, k = 0, 1, ..., n 1.
Ejemplo:
[1]
1
2
= cos

2
+isen

2
, cos
3
2
+isen
3
2
= i, i.
Conviene pues decir que la bsqueda de soluciones para la ecuacin
x
2
+ 1 = 0
puede darse por terminada, ya que como acabamos de ver, i y i son las soluciones
dicha ecuacin.
En realidad la respuesta es mucho ms amplia.
86 3.1. Los nmeros complejos
Teorema fundamental del lgebra
Si p(z) un polinomio con coecientes complejos de grado n, entonces p(z) tiene exacta-
mente n soluciones (que pueden ser reales complejas), contando su multiplicidad.
3.1.4. Relacin de Ejercicios
Problema 3.1.1. Probar la veracidad de las siguientes armaciones sobre nmeros
complejos:
a) [1 zw[
2
[z w[
2
= (1 [z[
2
)(1 [w[
2
).
b)

[z[ [w[

= [z w[
c) [z w[ [1 zw[
d) [z w[ = [1 zw[
Sugerencia: Una estrategia bsica para probar desigualdades entre mdulos de nmeros
complejos consiste en elevar al cuadrado ambos miembros de la desigualdad.
Problema 3.1.2. Resulvanse las siguientes ecuaciones entre nmeros complejos:
a) [z[ z = 1 + 2i ; b) [z[ +z = 2 +i ; c) z = z
2
.
Problema 3.1.3. Encuentre los vrtices de un polgono regular de n lados si su centro
se encuentra en el punto z = 0 y uno de sus vrtices z
1
es conocido.
Problema 3.1.4. Calcular las partes real e imaginaria de los nmeros:
2
1 3i
; (1 +i

3)
6
;
_
1 +i
1 i
_
5
; .
Problema 3.1.5. Calclese arg(zw) y arg
_
z
w
_
supuestos conocidos arg(z) y arg(w).
Problema 3.1.6. Resolver la ecuacin cuadrtica az
2
+ bz + c = 0, donde a, b, c, son
nmeros complejos conocidos y a ,= 0.
Problema 3.1.7. Calcular las siguientes races
(a)
4

16 (b)
6

1 +i (c)
3

27
3.2. EL PLANO Y EL ESPACIO EUCLDEOS 87
3.2. El plano y el espacio eucldeos
Sumario
En esta leccin nos centramos en el estudio de la estructura eucldea de R
n
que
es indispensable para extender los conceptos de continuidad, derivacin e integracin,
ya conocidos para funciones reales de variable real, a las funciones con valores en R
n
y
denidas en un subconjunto de A de R
q
. En realidad nuestro estudio se podra ceir a
los casos en que n, q 1, 2, 3 que son en los que trabajaremos siempre, sin embargo, la
estructura eucldea puede denirse sin dicultad para cualquier n. El contenido completo
de esta leccin se articula de la siguiente manera:
3.2.1 Estructura algebraica.
3.2.2 Producto escalar.
3.2.3 Conceptos topolgicos.
3.2.4 Relacin de Ejercicios.
3.2.1. Estructura algebraica
Dado q N, consideremos en el conjunto
R
q
= R R . .
q
. R = (x
1
, x
2
, ..., x
q
); x
i
R, i = 1, 2, ..., q,
la siguiente operacin Suma:
Dados x = (x
1
, x
2
, ..., x
q
) e y = (y
1
, y
2
, ..., y
q
), denimos
x +y = (x
1
+y
1
, x
2
+y
2
, ..., x
q
+y
q
)
Es claro que esta operacin hereda las propiedades de la suma de nmeros reales:
1. Propiedad asociativa:
(x +y) +z = x + (y +z).
2. Propiedad conmutativa:
x +y = y +x.
3. Propiedad de existencia de elemento neutro:
88 3.2 El plano y el espacio eucldeos
Existe una q-upla, 0 = (0, 0, ..., 0) tal que para cada q-upla x = (x
1
, x
2
, ..., x
q
), se
tiene que
x + 0 = x.
4. Propiedad de existencia de elemento simtrico:
Para cada q-upla x = (x
1
, x
2
, ..., x
q
), la q-upla x = (x
1
, x
2
, ..., x
q
), verica
que
x + (x) = 0.
En el caso q > 2 no tenemos un verdadero producto, sin embargo, vamos a
denir dos "seudo-productos"que en muchos casos sern sucientes para poder trabajar.
En el primer caso, producto por un escalar, asociamos a cada pareja formada
por un escalar t y una q-upla x = (x
1
, x
2
, ..., x
n
q) un nueva q-upla denida por
t(x
1
, x
2
, ..., x
q
) = (tx
1
, tx
2
, ..., tx
q
).
Este seudo-producto hereda algunas propiedades:
1) 1x = x
2) t[sx] = tsx (t, s R, x R
q
)
3) (s +t)x = sx +tx (t, s R, x R
q
)
4) s(x +y) = sx +sy (s R, x, y R
q
)
Este hecho se expresa diciendo que R
q
dotado con las operaciones suma y producto
por un escalar arriba denidas tiene estructura de espacio vectorial. A partir de aqu
podemos llamar vectores a las q-uplas.
3.2.2. Producto escalar
El segundo seudo-producto asocia a cada par de n-uplas un escalar.
Sea q N. Dados x = (x
1
, x
2
, ..., x
q
) e y = (y
1
, y
2
, ..., y
q
) dos vectores de R
q
,
llamamos producto escalar de ambos, < x, y >, al nmero real denido por
< x, y >=
q

i=1
x
i
y
i
.
Anlisis Matemtico 89
Entre las consecuencias ms notorias de la existencia de un producto escalar
podemos subrayar la existencia de una funcin, que en R coincide con la funcin valor
absoluto, y que asocia a cada vector un nmero real no negativo. Concretamente, dado
x = (x
1
, x
2
, ..., x
q
) R
q
denimos su norma, |x|, mediante la siguiente ley:
|x| =

< x, x > =

_
q

i=1
x
2
i
.
Es fcil probar que la aplicacin denida por x |x| hace el mismo papel que la
funcin valor absoluto en R, tal como muestra el siguiente resultado:
Proposicin 3.2.1.
a) |rx| = [r[|x| (r R).
b) |x +y| |x| +|y|. (Desigualdad triangular)
c) |x| 0 y |x| = 0, si y slo si x = 0.
3.2.3. Conceptos topolgicos
La importancia de la existencia de esta funcin-norma estriba en el hecho de que
sta nos capacita para denir una distancia entre dos vectores, y por tanto, para
determinar la proximidad o lejana de dos vectores de R
q
. Concretamente, para cada
dos vectores
x = (x
1
, x
2
, ..., x
q
), y = (y
1
, y
2
, ..., y
q
) R
q
,
denimos la distancia entre ellos, por
dist(x, y) = |y x| =

_
q

i=1
(y
i
x
i
)
2
.
A su vez sta nos permite considerar :
a) Conjuntos de R
q
que hacen el mismo papel que los intervalos de R:
1) Bola abierta de centro a R
q
y radio r R
+
B(a, r) = x R
q
; |x a| < r.
2) Bola cerrada de centro a R
q
y radio r R
+
B(a, r) = x R
q
; |x a| r.
90 3.2 El plano y el espacio eucldeos
b) Conjuntos que juegan el papel de los extremos del intervalo:
Esfera de centro a R
q
y radio r R
+
S(a, r) = x R
q
; |x a| = r.
c) Conjunto acotado
Sea A un subconjunto no vaco de vectores de R
q
. Se dice que A es un conjunto
acotado si existe M R
+
tal que
A B(0, M).
Ejemplo: Sea A = (x, y) R
2
; x ]0, 1[, y [0, 2].
Es claro que el conjunto A es acotado en R
2
, mientras que el eje x no lo es.
d) Punto de acumulacin
Se dice que x
0
R
q
es un punto de acumulacin de A, x
0
A

, si todo
bola punteada centrada en x
0
intersecta al conjunto A, esto es
(B(x
0
, )x
0
)

A ,= 0, > 0.
Notaremos por A

al conjunto de puntos de acumulacin de A.


Ejemplo: Si consideramos el mismo conjunto A, considerado anteriormente, ten-
dremos que (0, 1) A

.
e) Punto interior
Se dice que y A es un punto interior de A, si existe r > 0 tal que
B(y, r) A.
Notaremos por A

al conjunto de puntos interiores de A.


Ejemplo: Considerando el mismo conjunto anterior, se tiene que (1/2, 1) A

.
f ) Conjunto abierto
Diremos que un conjunto A es abierto si A = A

.
Ejemplo: El conjunto (x, y) R
2
; x ]0, 1[, y ]0, 2[ es abierto, mientras que
el conjunto A, que usamos en todos los ejemplos, no lo es.
Anlisis Matemtico 91
g) Conjunto cerrado
Diremos que un conjunto A es cerrado si A

A . Es fcil probar que A es


cerrado si, y slo si, su complementario es abierto.
Al conjunto (A

)A

se le denomina frontera de A y suele notarse por Fr(A)


o por (A).
Ejemplo: El conjunto C = (x, y) R
2
; x [0, 1], y [0, 2] es cerrado, mientras
que el conjunto B anterior no lo es. Es claro que
Fr(C) = (x, y) R
2
; x = 0, y [0, 2] (x, y) R
2
; x = 1, y [0, 2]
cup(x, y) R
2
; x [0, 1], y = 0
_
(x, y) R
2
; x [0, 1], y = 2.
h) Conjunto compacto
Diremos que un conjunto A es compacto si A es cerrado y acotado.
Ejemplo: El conjunto (x, y) R
2
; x [0, 1], y [0, 2] es compacto, mientras
que el conjunto A no lo es.
3.2.4. Relacin de ejercicios
a) Descrbanse el interior, los puntos de acumulacin y la frontera de los siguientes
Conjuntos:
1) (x, y) R
2
;
x
2
a
2
+
y
2
b
2
1 (0 < a < b R.
2) (x, y) R
2
;
x
2
a
2
+
y
2
b
2
< 1 (0 < a < b R.
3) (x, y) R
2
; y = rx. (r R)
4) A = (x
n
, y
n
); x
n
=
20
n
, y
n
= 0, n N.
5) (x, y, z) R
3
;
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1 (0 < a < b < c R.
6) a) N b) Q. c)RQ. d) [0, 1] 2. e) 1/n; n N.
b) Dganse cules de los conjuntos del ejercicio anterior son compactos.
Captulo 4
Clculo diferencial en varias
variables
4.1. Derivadas direccionales
Sumario
En esta leccin introduciremosmos el concepto de derivada direccional y derivada
parcial. Daremos algunos ejemplos importantes y deniremos el plano tangente a un
campo escalar. El contenido completo de esta leccin se articula de la siguiente manera:
4.1.1 Derivadas direccionales
4.1.2 Derivadas parciales .
4.1.3 Plano tangente.
4.1.4 Vector gradiente y Matriz jacobiana.
4.1.5 Relacin de ejercicios.
4.1.1. Derivadas direccionales
Recurdese que si A un subconjunto no vaco de nmeros reales, a A

y
f : A R una funcin, entonces se dice que f es derivable en a si
lim
t0
f(a +t) f(a)
t
= f

(a).
Tratemos ahora de dar sentido a la expresin anterior en el caso en que A R
q
,
a A y F : A R
n
sea un campo vectorial.
93
94 4.1 Derivadas direccionales
Obsrvese en primer lugar que la aproximacin al punto a de R
q
puede hacerse por
muy diferentes direcciones. De hecho, para cada vector u R
q
, podemos considerar la
direccin determinada por la recta a +tu (t R. Pues bien, si existe el
lim
t0
F(a +tu) F(a)
t
=,
se dice que F admite derivada direccional en a segn el vector u. Las derivadas
direccionales ms importantes son aquellas segn los vectores cannicos.
4.1.2. Derivada parcial
Sea, para cada i 1, 2, ..., q, e
i
= (0, 0, ..., 1, 0, ..., 0), esto es, el vector de R
q
cuya
nica coordenada no nula es la i-sima cuyo valor es uno. Supongamos que existe > 0,
tal que a + re
i
A, con r ] , [. Se dice que F tiene o admite derivada parcial
respecto de la variable i-sima en el punto a si existe
lim
t0
F(a +te
i
) F(a)
t
.
Dicho lmite se denomina derivada parcial i-sima de F en el punto a y se nota
por
F
x
i
(a).
Notas
a) Si f es un campo escalar , entonces el clculo de la derivada parcial i-sima de
f en un punto genrico x = (x
1
, x
2
, ..., x
q
) se ha de llevar a cabo derivando la
funcin real que resulta de considerar constantes las variables x
j
(j ,= i).
b) Si F : A R
n
es un campo vectorial tal que A R, entonces
F
x
(a) se suele
notar por F

(a) y recibe el nombre de derivada elemental de F en a.


Damos a continuacin sendas interpretaciones geomtrica y fsica de las derivadas
parciales de un campo escalar.
Interpretacin geomtrica
Consideremos la grca del campo escalar anterior , esto es
Graf(f) = (x, y, z) R
3
; z = f(x, y), (x, y) A.
El plano y = b, corta a la grca, dando lugar a un conjunto C
1
,
C
1
:= (x, b, f(x, b)) R
3
: (x, b) A.
Obsrvese que el conjunto C
1
es la grca de la funcin g : x f(x, b), de manera
que la pendiente de su recta tangente es g

(a) =
f
x
(a, b).
Anlisis Matemtico 95
Anlogamente podra entenderse para la derivada parcial
f
y
(a, b).
Interpretacin propiamente fsica
Las derivadas parciales pueden interpretarse como razones de cambio: Consideremos
la funcin T que determina la temperatura en cualquier punto de la corteza terrestre.
Claramente sta depende, en cada punto (x, y), de la longitud x y de la latitud y de
dicho punto. La derivada parcial
T
x
(a, b) es la razn a la que la temperatura cambia en
la direccin este-oeste, mientras que
T
y
(a, b) es la razn a la que la temperatura cambia
en la direccin norte-sur.
Tambin podemos relacionar la existencia de parciales de un campo vectorial y de
sus funciones coordenadas:
Proposicin 4.1.1. (Regla de oro)
Sean A un subconjunto no vaco de vectores de R
q
, a un punto de A y F : A R
n
.
Entonces F admite todas sus derivadas parciales en a si, y solo si F
i
admite todas sus
derivadas parciales en a i. Adems en caso armativo:
(
F
x
j
(a))
i
=
F
i
x
j
(a). i = 1, 2, ..., n, j = 1, 2, ..., q.
En particular si q = 1, entonces F

(a) = (F

1
(a), F

2
(a), ..., F

n
(a)).
Ejercicio: Sea F : R
2
R
3
denida por F(x, y) = (x + y, x
2
, xy). Estdiese la
continuidad y calclese
F
x
(1, 2).
Sea F : A R
q
es un campo vectorial, entonces se dice que F es de clase (
1
(A) si
admite todas sus derivadas parciales en A y stas son continuas en A. El campo vectorial
F denido anteriormente es de clase (
1
(R
3
).
4.1.3. Regla de la cadena
Tambin para las derivadas parciales se tiene la consiguiente regla de la cadena.
Proposicin 4.1.2. Sean A es un subconjunto de vectores de R
q
, a R
q
, f : A R
n
un campo vectorial que admite todas sus derivadas parciales en a, B f(A) y g : B
R
m
un campo vectorial que admite todas sus derivadas parciales en f(a). Entonces la
funcin composicin admite todas sus derivas parciales en a, de hecho
(g f)
k
x
j
(a) =
n

i=1
g
k
y
i
(f(a))
f
i
x
j
(a),
donde
g
k
y
i
(f(a)) representa la derivada parcial i-sima de la funcin coordenada g
k
en
f(a).
96 4.1 Derivadas direccionales
Para recordar esta frmula existe una regla nemotcnica que consiste en identicar
h
k
con g
k
(k = 1, 2, ..., m) y f
i
con y
i
(i = 1, 2, ..., n), quedando para cada j = 1, 2, ..., q
g
k
x
j
(a) =
n

i=1
g
k
y
i
(f(a))
y
i
x
j
(a).
Ejemplo
Calclese
F
x
(1, 2) y
F
y
(1, 2), donde la funcin F(u, v) = u
2
+ 3uv + 4v
2
, siendo u =
2 2xy
2
y v = 1 +x.
4.1.4. Vector gradiente y matriz jacobiana
Sea A un subconjunto de R
q
, a un punto de A y sea f : A R un campo escalar.
Se dice que f tiene gradiente en a si admite las q derivadas parciales en a, en cuyo
caso denimos el vector gradiente de f en a por:
f(a) := (
f
x
1
(a),
f
x
2
(a), ...,
f
x
q
(a)) R
q
.
En el caso de que se consideren campos vectoriales, el concepto de vector gradiente
viene sustituido por el de matriz jacobiana.
Sean A R
q
, a un punto de A y F : A R
n
un campo vectorial que admite
todas sus derivadas parciales en a. Se llama matriz jacobiana de F en el punto a,
J
F
(a), a la matriz cuya la i-sima son las coordenadas del vector gradiente de su
funcin coordenada i-sima, F
i
(a), (o si se quiere, aquella cuya columna i-sima son
las coordenadas del vector
F
x
i
(a)), esto es, la matriz de orden n q, dada por:
J
F
(a) :=
_
_
_
_
_
F
1
x
1
(a)
F
1
x
2
(a) ...
F
1
x
q
(a)
F
2
x
1
(a)
F
2
x
2
(a) ...
F
2
x
q
(a)
... ... ... ...
F
n
x
1
(a)
F
n
x
2
(a) ...
F
n
x
q
(a)
_
_
_
_
_
Al determinante de la matriz jacobiana, [J
F
(a)[, se le denomina jacobiano del
campo F en el punto a.
Notas
a) Obsrvese que si f : A R es una funcin real de variable real (q = n = 1),
entonces
J
f
(a) = f

(a).
Anlisis Matemtico 97
b) Sea U = R
+
] , [ , V = R
2
(x, 0); x 0, y la aplicacin : U V
denida por
(, ) = (cos, sen).
En este caso la matriz jacobiana es de la forma
J

(, ) :=
_
cos sen
sen cos
_
Ntese que su jacobiano, [J

(, )[ = .
4.1.5. Plano tangente
Sea f : A R un campo escalar que admite todas sus parciales en un punto
(a, b) A R
2
. Tal como hicimos con la derivada de una funcin real de variable real,
tratemos ahora de encontrar, en cada punto (a, b) , un plano que sea lo ms parecido
posible a la grca del campo escalar en el punto (a, b).
Tengamos en cuenta para ello que
a) Sea z = mx + ny + d un plano en R
3
. Si queremos que el punto ((a, b), f(a, b))
pertenezca dicho plano, d = f(a, b) ma nb y por tanto, el plano debe tener la
forma:
z = m(x a) +n(y b) +f(a, b).
b) La condicin de mejor aproximacin de una recta, r que pasa por el punto (a, g(a))
(r y = m(x a) +g(a)), se aproxime a la curva y = g(x) en dicho punto, no es
otra, como ya vimos anteriomente, que el hecho de asegurar que m = g

(a).
As pues, si queremos que el plano se aproxime a la grca del campo f en el
punto (a, b, f(a, b)) debe contener a las rectas tangentes a las grcas de las funciones
g : x f(x, b) y h : y f(a, y) que resultan de cortar la grca de f con los planos
y = b y x = a respectivamente. En particular
m =
f
x
(a, b) y n =
f
y
(a, b).
La condicin de mejor aproximacin quedar asegurada si dadas dos sucesiones x
n

e y
n
(con (x
n
, y
n
) ,= (a, b)) convergiendo respectivamente hacia a y b, la sucesin

f(x
n
, y
n
) f(a, b)
f
x
(a, b)(x
n
a)
f
y
(a, b)(y
n
b)
[[(x
n
, y
n
) (a, b)[[

converge a cero.
(Obsrvese que el problema de dividir por el vector, (x
n
a, y
n
b), se resuelve tomando
su norma.)
98 4.1 Derivadas direccionales
Esto ocurre en particular si f es de clase (
1
en un entorno del punto (a, b). En tal caso,
(f, (a, b)) z = f(a, b) +
f
x
(a, b) (x a) +
f
y
(a, b) (y b),
es el plano que mejor se aproxima a la grca de fen un entorno de (a, b). Dicho plano
recibe el nombre de plano tangente a la grca de f en el punto (a, b, f(a, b))
Llamaremos vector normal de la grca de f en el punto (a, b, f(a, b)), al vector
normal al plano tangente (f, (a, b)), esto es,
N(f, (a, b)) =
_

f
x
(a, b),
f
y
(a, b), 1
_
4.1.6. Curvas y supercies dadas en forma implcita
Curva en el plano en forma implcita:
En el caso en que una curva venga dada como el conjunto de puntos del plano que
anulan una funcin g de dos variables, esto es,
= (x, y); f(x, y) = 0,
( por ejemplo, la elipse de semiejes c y d es tal que f(x, y) = x
2
/c
2
+y
2
/d
2
1) diremos
que la curva viene dada en forma implcita.
Veamos que en tal caso, la recta tangente en un punto (a, b)

, es la recta de
ecuacin implcita
< f(a, b), (x a, y b) >= 0.
En efecto, la curva,

, resulta de cortar la grca de g, con el plano z = f(a, b).


La recta resultante de intersectar el plano tangente de f en el punto (a, b) con el plano
z = f(a, b) es la recta tangente a la curva y por tanto tiene de ecuaciones
z = f(a, b) +
f
x
(a, b) (x a) +
f
y
(a, b) (y b) y z = f(a, b)
o, lo que es lo mismo
< f(a, b), (x a, y b) >= 0.
Supercies en en forma implcita:
Tambin podemos considerar subconjuntos del espacio R
3
descritos por una ecuacin
de la forma
g(x, y, z) = 0
Anlisis Matemtico 99
para una cierta funcin g : R
3
R. Diremos que dichos conjntos son supercies
denidas de forma implcita, (pinsese por ejemplo en la esfera, esto es,
S = (x, y, z) R
3
; x
2
+y
2
+z
2
= 1).
Si suponemos que dicha funcin g, admite todas sus parciales en un punto P = (a, b, c),
podemos considerar el plano
g
x
(a, b, c) (x a) +
g
y
(a, b, c) (y b) +
g
z
(a, b, c) (z c) = 0
que es lo mismo que escribir
< g(a, b, c), (x a, y b, z c) >= 0.
Dicho plano, siempre que g sea de Clase (
1
en un entorno del punto P S, es el que
mejor se aproxima a dicha supercie en un entorno de dicho punto y recibe el nombre
de plano tangente a S en el punto P. As pues el vector gradiente de g en ese
mismo punto es el vector normal de dicho plano en el punto P.
Ntese que la grca del campo escalar z = f(x, y) es un subconjunto de la forma
Graf(f) = (x, y, z) R
3
; z = f(x, y)).
As pues, asociado a f, podemos considerar un segundo campo escalar g : R
3
R
denido por g(x, y, z) = z f(x, y). Y por tanto,
Graf(f) = (x, y, z) R
3
; g(x, y, z) = 0)
no es ms que una supercie que puede ser tratada como anteriormente.
4.1.7. Relacin de ejercicios
a) Calclese el vector gradiente en un punto arbitrario (x, y) de la funcin f en cada
uno de los siguientes casos:
a) f(x, y) = x
3
+ 3xy
2
15x 12y (x, y) R
2
.
b) f(x, y, z) = x
y+z
, x R
+
, y, z R
c) f(x, y, z) = (x +y)
z
, x, y R
+
, z R
b) Calclese el plano tangente a las siguientes supercies en el punto que se indica:
1) z = log(1 +x
2
+y
2
) en (0, 0, 0).
2) z
2
+ 3x x
2
y
2
= 2 en (1, 1, 1).
3) x
3
+y
3
+z
3
+xyz 6 = 0 en (1, 2, 1).
4) z = sen(x)sen(y) en (/2, /4).
4.2. CLCULO DE EXTREMOS 101
4.2. Clculo de extremos
Sumario
En esta leccin vamos a examinar criterios que nos permitan determinar los extremos
de un campo escalar. El contenido completo de esta leccin se articula de la siguiente
manera:
4.2.1 Extremos relativos de un campo escalar.
4.2.2 Extremos relativos y derivabilidad.
4.2.3 Condicin suciente de extremo relativo
4.2.4 Relacin de ejercicios.
4.2.1. Extremos relativos de un campo escalar
Sea A un subconjunto no vaco de R
q
, a A y f : A R un campo escalar. Se dice
que
a es un mximo relativo o que f tiene un mximo relativo en a si se verican
las siguientes condiciones:
a) Existe r > 0 tal que B(a, r) A.
b) f(a) f(x), x B(a, r).
a es un mnimo relativo o que f tiene un mnimo relativo en a si se verican
las siguientes condiciones:
a) Existe r > 0 tal que B(a, r) A.
b) f(a) f(x), x B(a, r).
a es un extremo relativo si o bien es un mximo relativo bien es un mnimo
relativo.
Como ya vimos en la leccin 3.2, sabemos que, en general, no existe relacin entre
extremo relativo y extremo absoluto, salvo que todo extremo absoluto, que sea un punto
interior, tambin es un extremo relativo.
102 III.5 Extremos relativos
4.2.2. Extremos relativos y derivabilidad
Comencemos viendo que en todo extremo relativo las derivadas parciales se anulan.
Antes necesitamos la siguiente denicin:
Sean A un subconjunto no vaco de R
q
, a un punto interior de A y f : A R
un campo escalar que admite todas sus derivadas parciales en a. Diremos que a es un
punto crtico de f si, para cada i 1, 2, ..., n,
f
x
i
(a) = 0.
Proposicin 4.2.1. Sean A es un subconjunto no vaco de vectores de R
q
, a un punto
interior de A y f : A R un campo escalar que admite todas sus derivadas parciales
en a. Si f tiene un extremo relativo en a entonces a es un punto crtico de f.
Este sencillo resultado nos permite elaborar la siguiente regla prctica para detectar
los posibles extremos de un campo escalar.
Regla prctica para el clculo de extremos
Sean A un subconjunto no vaco de R
q
y f : A R un campo escalar. Supongamos
que f alcanza su mximo o su mnimo absoluto en a A, entonces a est en una de
las tres situaciones siguientes:
1) a es un punto frontera.
2) a es un punto interior y f no admite alguna derivada parcial en a.
3) a es un punto crtico.
Una vez detectados los candidatos, se nos puede presentar una de las dos siguientes
situaciones:
1) El conjunto A es compacto y f es continua.
2) No se dan alguna de las circunstancias del primer apartado.
En el primer caso sabemos, por el teorema de Weiertrass sobre la conservacin de
la compacidad, que f alcanza sus valores mximo y mnimo en sendos puntos de A, por
lo que basta evaluar f en los candidatos de los tres tipos para determinar quienes son
estos extremos. En el segundo caso, nos contentaremos con saber que, de haber mximo
mnimo, ste est entre nuestros candidatos.
Ejercicio: Calclense, si existen, los extremos de la funcin f : A R, denida en el
conjunto A que es el cuadrado de vrtices (0, 0), (1, 0), (0, 1), (1, 1) mediante la ley
f(x, y) = xy(1 x)(1 y).
Anlisis Matemtico 103
Qu puede decirse si A = R
2
?
Vamos ahora a buscar una condicin suciente que nos permita saber cuando un
punto crtico es efectivamente un extremo relativo y de qu tipo es. Este tipo de criterios
envuelve, como ya pas en variable real, a las derivadas sucesivas.
4.2.3. Derivadas parciales de orden superior
Sea A un subconjunto de vectores de R
q
y a un punto interior de A y supongamos que
f admite su derivadas parcial j-sima en una cierta bola centrada en a, B(a, r) A.
Se dice que f admite la derivada parcial de segundo orden res-pecto de las
variables i, j en el punto a, si la funcin x
f
x
j
(x) denida en B(a, r) admite
derivada parcial i-sima en el punto a, y notaremos
D
ij
f(a) =

2
f
x
i
x
j
(a) =
(
f
x
j
)
x
i
(a).
Una funcin de q variables admite, suponiendo que existan todas, q
2
derivadas de
orden 2.
De forma anloga se denen las derivadas de orden 3, y de orden k en general.
Adems, se dice que f es clase C
k
(A) si existen todas las derivadas parciales de orden
k en A y son continuas.
Las derivadas parciales

2
f
x
i
x
j
(a) y

2
f
x
j
x
i
(a) se las conoce como derivadas
cruzadas. El siguiente resultado establece una condicin suciente para que estas
derivadas cruzadas coincidan.
Lema 4.2.2 (de Schwartz). Sean f : A R , A un abierto de R
q
y a A. Sean
i, j 1, 2, . . . , q con i ,= j, y supongamos que existe

2
f
x
i
x
j
(a) , x A, siendo
adems esta funcin continua en a. Entonces, existe la otra derivada cruzada en a y
ambas coinciden.
En particular,
Corolario 4.2.3. Sea A un conjunto abierto de R
q
y f C
2
(A). Entonces

2
f
x
i
x
j
(a) =

2
f
x
j
x
i
(a), i, j 1, 2, . . . , q , i ,= j .
Las derivadas parciales de orden 2 nos permiten construir una matriz que utilizaremos
para calcular extremos relativos de campos escalares.
104 III.5 Extremos relativos
Si f admite todas sus derivadas parciales segundas en a, se dene la matriz hessiana
de f en a por:
H
f
(a) :=
_
_
_
_
_
_

2
f
x
1
x
1
(a)

2
f
x
1
x
2
(a) ...

2
f
x
1
x
q
(a)

2
f
x
2
x
1
(a)

2
f
x
2
x
2
(a) ...

2
f
x
2
x
q
(a)
... ... ... ...

f
x
q
x
1
(a)

2
f
x
q
x
2
(a) ...

2
f
x
q
x
q
(a)
_
_
_
_
_
_
En virtud del corolario del Lema de Schwartz, si f C
2
(A), entonces, para cada
a A H(f, a) es una matriz simtrica.
4.2.4. Condicin suciente para la existencia de extremos
relativos
A continuacin vamos a establecer condiciones que nos permitan decidir cundo un
punto crtico es un extremo relativo y, en caso armativo, de qu tipo es. Para ello, con-
sideramos dos mtodos. El primer mtodo es til para dos y tres dimensiones, mientras
que el segundo es ms prctico para el caso q 3.
Caso q=2
Proposicin 4.2.4. Sea A es un subconjunto abierto de vectores de R
2
, f C
2
(A) y
(a, b) un punto crtico de f.
a) Si
det(H
f
(a, b)) > 0 y

2
f
x
2
(a, b) > 0,
entonces f tiene en (a, b) un mnimo relativo estricto.
b) Si
det(H
f
(a, b)) > 0 y

2
f
x
2
(a, b) < 0,
entonces f tiene en (a, b) un mximo relativo estricto.
c) Si f tiene alguna derivada de segundo orden en a distinta de cero y es tal que
det(H
f
(a, b)) 0,

2
f
x
2
(a, b) 0 y

2
f
y
2
(a, b) 0,
entonces de tener f un extremo relativo en (a, b), ste ha de ser un mnimo.
d) Si f tiene alguna derivada de segundo orden en (a, b) distinta de cero y es tal que
det(H
f
(a, b)) 0,

2
f
x
2
(a, b) 0 y

2
f
y
2
(a, b) 0,
entonces de tener f un extremo relativo en a, ste ha de ser un mximo.
Anlisis Matemtico 105
e) Si
det(H
f
(a, b)) < 0,
entonces f no tiene ningn extremo relativo en (a, b).
Ejercicio: Calclense los extremos de la funcin f : R
2
R, denida por
f(x, y) = x
2
+y
2
2x 2y.
Caso q = 3:
Para el caso q = 3 disponemos del siguiente resultado.
Proposicin 4.2.5. Sea A es un subconjunto abierto de vectores de R
3
, f C
2
(A) y
(a, b, c) un punto crtico de f.
a) Si

2
f
x
2
(a, b, c) > 0, det
_

2
f
x
2
(a, b, c)

2
f
xy
(a, b, c)

2
f
yx
(a, b, c)

2
f
y
2
(a, b, c)
_
> 0, det(H
f
(a, b, c)) > 0.
entonces f tiene en a un mnimo relativo estricto.
b) Si

2
f
x
2
(a, b, c) < 0, det
_

2
f
x
2
(a, b, c)

2
f
xy
(a, b, c)

2
f
yx
(a, b, c)

2
f
y
2
(a, b, c)
_
> 0, det(H
f
(a, b, c)) < 0.
entonces f tiene en (a, b, c) un mximo relativo estricto.
c) Si
det
_

2
f
x
2
(a, b, c)

2
f
xy
(a, b, c)

2
f
yx
(a, b, c)

2
f
y
2
(a, b, c)
_
< 0,
entonces f no tiene ningn extremo relativo en (a, b, c)
Ejercicio: Calclense los extremos de la funcin f : R
3
R, denida por
f(x, y, z) = 6x
2
y
2
z
2
.
Caso q 3:
El segundo criterio est relacionado con el signo de los autovalores de la matriz H
f
(a).
Recordemos que dada una matriz cuadrada A, llamamos polinomio caracterstico
asociado a la matriz A al polinomio, P() = det(A I), donde por I representa-
mos la matriz identidad. Las races del polinomio caracterstico reciben el nombre de
autovalores de la matriz A.
De hecho, si representamos por
k
, k = 1, 2, . . . q, los autovalores de la matriz hessiana
H
f
(a), se verica la siguiente proposicin:
106 III.5 Extremos relativos
Proposicin 4.2.6.
i) Si
k
> 0 , k = 1, 2, . . . q, entonces f alcanza en a un mnimo relativo.
ii) Si
k
< 0 , k = 1, 2, . . . q, entonces f alcanza en a un mximo relativo.
iii) Si existen
i
> 0 y
j
< 0, entonces f no alcanza extremo relativo en a.
iv) Si
i
= 0 y
k
0 , k = 1, 2, . . . q, entonces f de tener un extremo relativo
en a ste ha de ser un mnimo relativo.
v) Si
i
= 0 y
k
0 , k = 1, 2, . . . q , entonces f de tener un extremo relativo
en a ste ha de ser un mximo relativo.
El nico inconveniente de este criterio es la ms que probable dicultad para calcular
los autovalores de la matriz. Este problema queda resuelto con la regla de Silvester
que nos va a permitir decidir el nmero de autovalores positivos y negativos sin necesidad
de calcularlos, simplemente observando los coecientes del polinomio caracterstico de
H. Concretamente, si
P() = a
0
+a
1
+a
2

2
+ +a
q

q
,
y notamos por V (a
0
, a
1
, a
2
, . . . , a
q
) al nmero de cambios de signo que se dan
coeciente a coeciente, entonces la regla de Silvester asegura que
V (a
0
, a
1
, a
2
, . . . , a
q
) = nmero de autovalores positivos de H .
V (a
0
, a
1
, a
2
, . . . , (1)
q
a
q
) = nmero de autovalores negativos de H .
4.2.5. Relacin de ejercicios
a) Consideremos las funciones reales f y g dadas por:
a) f(x, y) = x
3
+ 3xy
2
15x 12y (x, y) R
2
.
b) g(x, y, z) = (x +z
2
)e
x(y
2
+z
2
+1)
(x, y, z) R
3
.
Se pide:
1) Calclense los puntos crticos.
2) Calclese la matriz hessiana en los puntos crticos.
3) Estdiese la existencia de extremos relativos.
b) Calclense los extremos de f : R
2
R en los siguientes casos:
1) f(x, y) = x
2
y
2
.
2) f(x, y) = [x[ +[y[.
3) f(x, y) = [x[ +y.
Anlisis Matemtico 107
c) Sean a, b R dos parmetros, y f : R
2
R una funcin real de dos variables
reales dada por f(x, y) = x
2
+y
2
2ax 2by. Estdiese la existencia de extremos
de f en funcin de los parmetros.
d) Calclense los extremos relativos de los siguientes campos escalares denidos en
R
2
.
1) f(x, y) = x
4
+ 2x
2
y x
2
+ 3y
2
.
2) f(x, y, z) = x
2
+y
2
+ 3z
2
+yz + 2xz xy.
3) f(x, y) = 2x
4
+y
2
3xy
2
.
e) Calclense los extremos relativos de los siguientes campos escalares denidos en
R
2
. Determnese si dichos extremos son absolutos o no.
1) f(x, y) = x
3
+y
3
3x 12y + 20 .
2) f(x, y) = (x 1)
4
+ (x y)
4
.
3) f(x, y) = x
4
+y
4
4a
2
xy (a > 0)
4) f(x, y) =
x y
x
2
+y
2
+ 1
5) f(x, y) = (x
2
+ 2y
2
)e
(x
2
+y
2
)
.
6) f(x, y) = sen(xy).
f ) Calclense los extremos relativos del campo escalar denido en R
3
por f(x, y, z) =
xy +xz +yz. Determnese si dichos extremos son absolutos o no.
g) Una funcin f denida en un abierto del plano se dice que es armnica si

2
f
x
2
+

2
f
y
2
= 0
en todo punto de su dominio. Son armnicas las siguientes funciones?
1) f(x, y) = arc tg(
x
y
) (x, y) R
2
(x, 0) : x R.
2) g(x, y) = e
x
cos y +e
y
cos x (x, y) R
2
.
4.3. EXTREMOS CONDICIONADOS. 109
4.3. Extremos condicionados.
Sumario
En esta leccin vamos a enunciar criterios que nos permitan determinar los extremos
de un campo escalar en un cierto subconjunto del dominio de dicho campo escalar .El
contenido completo de esta leccin se articula de la siguiente manera:
4.3.1 Motivacin.
4.3.2 Conjuntos determinados por una funcin
4.3.3 Tcnica de los multiplicadores de Lagrange.
4.3.4 Matriz hessiana asociada a la funcin de Lagrange.
4.3.5 Relacin de ejercicios.
4.3.1. Motivacin
Para motivar esta leccin vamos a considerar dos ejemplos:
Ejercicio 1: Sea el tringulo
T = (x, y) R
2
; 0 x y 4.
Se trata de calcular los extremos de la funcin f : T R denida por f(x, y) =
x
2
xy +y
2
+ 1.
Dado que T es un conjunto compacto y f es una funcin continua, sabemos que f
alcanza su valor mximo y su valor mnimo en sendos puntos de T. Sabemos que sta
funcin no tiene ningn punto crtico en dicho conjunto por lo que sus valores mximo y
mnimo se alcanzarn en puntos de la frontera, esto es, bien los vrtices del tringulo
T bien en algn punto de sus tres lados. En consecuencia, los puntos a tener en cuenta
son
1) Los tres vrtices
2) Para cada lado, los puntos de cada uno de stos en los que la funcin restringida
alcance sus extremos.
110 4.3 Extremos condicionados
As pues, se trata de calcular los extremos de f, restringida a cada uno de los
siguientes conjuntos
M
1
= (x, y) R]0, 4[: x = 0,
M
2
= (x, y) ]0, 4[R : y = 4, M
3
= (x, y) ]0, 4[]0, 4[: x = y,
M
4
= (0, 0), M
5
= (0, 4) M
6
= (4, 4).
Dado un subconjunto M del dominio de f, llamaremos extremo local de f
condicionado por M a cualquier extremo de la funcin f restringida a M.
En este caso, la bsqueda de los extremos locales condicionados por M
4
, M
5
y M
6
es trivial puesto que estos conjuntos constan de un slo punto. Con respecto a los otros
conjuntos bastar eliminar, en cada caso, una variable y calcular los extremos de la
correspondiente funcin real de variable real.
Consideremos el segundo ejemplo:
Ejercicio 2:
Consideremos una placa plana ciruclar P de radio uno, y que se calienta de manera que
la temperatura en un punto (x, y) P es
T(x, y) = x
2
+ 2y
2
x,
y calculemos sus posibles extremos absolutos.
Dado que P es un conjunto compacto y f es un campo continuo, sabemos que f
alcanza sus valores mximo y mnimo en sendos puntos de P. Sabemos que (1/2, 0) es
el nico punto crtico de f, por lo que al menos su valor mximo o mnimo se alcanzar
en algn punto del tipo I), esto es, en algn punto de la circunferencia
C = (x, y) R
2
; x
2
+y
2
= 1.
Ahora debemos calcular los puntos extremos de la funcin T condicionados por el
conjunto C. En este caso aparece una dicultad aadida: no podemos despejar ninguna
variable en funcin de la otra.
4.3.2. Conjuntos determinados por una funcin
Para este ltimo ejercicio, as como en aquellos casos en que haya ms de dos
variables, necesitaremos desarrollar una nueva tcnica. Primero analicemos la situacin
en ambos ejemplos y veamos que el planteamiento del problema del clculo de extremos
condicionados el conjunto M obedece al siguiente esquema general:
Sea A un subconjunto abierto de R
q
y f un campo escalar denido en A. Sea M
un subconjunto de A al que podemos asociar una funcin g : A R
qk
tal que:
Anlisis Matemtico 111
a) M = x A; g(x) = 0.
b) Todas sus funciones coordenadas g
i
tienen derivadas parciales continuas en A.
c) Su matiz jacobiana J
g
(x) tiene rango q k en A.
Este hecho se reejar diciendo que g determina a M.
As pues, en el ejercicio 1, tenemos la siguiente situacin:
a) La funcin g(x, y) = x denida en A = R]0, 4[ determina a M
1
,
b) g(x, y) = y 4 denida en A =]0, 4] R determina a M
2
,
c) g(x, y) = y x denida en A =]0, 4[]0, 4[ a M
3
,
d) g(x, y) = (x, y x) denida en A = R
2
a M
4
,
e) g(x, y) = (x, y 4) denida en A = R
2
a M
5
,
f ) g(x, y) = (x 4, y 4) denida en A = R
2
a M
6
.
Y para el ejercicio 2, g(x, y) = x
2
+y
2
1 denida en A = R
2
(0, 0) determina a C.
Hagamos ahora la siguiente observacin.
Proposicin 4.3.1. Sean A un conjunto abierto, g = (g
1
, g
2
, ..., g
qk
) una funcin que
determina a un subconjunto M de A y f : A R un campo escalar que admite
todas sus derivadas parciales en A y son continuas en a M. Si f alcanza un extremo
condicionado por M en a, entonces existe un nico = (
1
,
2
, ...,
qk
) R
qk
tal que
(f +
1
g
1
+
2
g
2
+... +
qk
g
qk
)
x
i
(a) = 0, i 1, 2, ..., q.
Esto nos proporciona la siguiente estrategia:
Sean f, A, g y M como en el enunciado de la proposicin anterior. Para cada
= (
1
,
2
, ...,
qk
) R
qk
, llamamos funcin de Lagrange asociada a f,M y
a la funcin L

denida en A por
L

= f +
1
g
1
+
2
g
2
+... +
qk
g
qk
.
Dicha funcin recibe el nombre de .
La proposicin anterior nos arma que:
Los extremos de f condicionados por M son soluciones del sistema siguiente, llamado
sistema de Lagrange .
L

x
1
(x) = 0,
112 4.3 Extremos condicionados
L

x
2
(x) = 0,
...
L

x
q
(x) = 0,
g
1
(x) = 0, ..., g
qk
(x) = 0.
Si a = (a
1
, a
2
, ..., a
q
) A y = (
1
,
2
, ...,
qk
) R
qk
son solucin de este
sistema, sabemos que est determinado de forma nica y sus coordenadas reciben el
nombre de Multiplicadores de Lagrange para el punto a.
Ejercicio: Calclense los multiplicadores de Lagrange en los ejercicios anteriores.
4.3.3. Relacin de ejercicios
a) Encuntrense los puntos donde la funcin f : A R denida como
f(x, y) = x
2
+y
2
xy x y ((x, y) R
2
)
alcanza sus extremos absolutos siendo
A = (x, y) R
2
: x, y 0, x +y 3.
b) Calclense los extremos relativos de f : [1, 1] [1, 1] R en los siguientes
casos:
1) f(x, y) = x
2
y
2
.
2) f(x, y) = [x[ +[y[.
3) f(x, y) = [x[ +y.
c) Encuntrense los puntos del conjunto A = (x, y) R
2
: x
2
+ y
2
2x, y 0
donde la funcin f(x, y) = x
2
2xy +y
2
alcanza su mximo y mnimo absolutos.
d) Determnese el punto P(x, y, z) en el plano 2x +y z = 5 que est ms cerca del
origen.
e) Calclese la distancia mnima del origen a la supercie de R
3
dada por la ecuacin
x
2
z
2
1 = 0
f ) Se trata de montar un radiotelescopio en un planeta recin descubierto. Para min-
imizar la interferencia se desea emplazarlo donde el campo magntico del planeta
sea ms dbil (aunque por supuesto, en la supercie). El planeta es esfrico, con
un radio de 6 unidades; la fuerza del campo magntico viene dada por
M(x, y, z) = 6x y
2
+xz + 60
basado en un sistema coordenado cuyo origen est en el centro del planeta. Dnde
habr de ser ubicado el radiotelescopio?.
Anlisis Matemtico 113
g) Determnese el rectngulo de mayor rea que se puede inscribir en la elipse
x
2
a
2
+
y
2
b
2
= 1, donde a, b son reales positivos.
h) Estdiense los extremos de la funcin f : (R
+
)
3
R denida por f(x, y, z) =
logx +logy +logz en la esfera x
2
+y
2
+z
2
= 9.
i ) Hllese la mnima distancia entre la recta x+y = 4 y la circunferencia x
2
+y
2
= 1.
j ) Hllense los extremos condicionados de la funcin f(x, y) = x
3
+ xy
2
donde xy
a
2
= 0, (a ,= 0).
k) El rea de una caja rectangular sin tapa es de 108u
2
. Hllese que dimensiones debe
tener para que conseguir el mximo volumen.
A y de la marca B. El propietario de la tienda puede obtener ambos vinos a un
coste de 1 euro por botella; su hijo, que es estadstico, ha estimado que si el vino
A se vende a x euros el litro y el vino B a y euros el litro, entonces se vender
aproximadamente 100 200x + 100y botellas de la marca A y 100 + 400x 600y
botellas de la marca B. Qu precio deber ponerse a cada marca de vino para
maximizar el benecio?
Captulo 5
Series de nmeros reales.
5.1. Series de nmeros reales
Sumario
Introduciremos en esta leccin una de las herramientas ms potentes del Anlisis
Matemtico: las series. Nosotros las usaremos para aproximar los valores que se obten-
dran al evaluar algunas funciones, ya que dichos valores no son ms que la suma de
una determinada serie. El contenido completo de esta leccin se articula de la siguiente
manera:
5.1.1 Series de nmeros reales.
5.1.2 Criterios de convergencia.
5.1.3 Relacin de ejercicios.
5.1.1. Series de nmeros reales
Para motivar el concepto de serie de nmeros reales vamos a exponer la siguiente
paradoja propuesta por Zenn (495-435 a. de C.)
Paradoja del corredor: Un corredor no puede alcanzar nunca la meta.
Para justicar esta conclusin vamos a dividir el recorrido total que ha de hacer el
corredor en la siguiente forma: consideramos en primer lugar la mitad del recorrido inicial
y a ste aadimos la mitad del recorrido restante, a ste ltimo aadimos igualmente
la mitad del recorrido restante y as sucesivamente. Obsrvese que para recorrer por
separado cada una de estas partes, cada vez ms pequeas, se necesita una cantidad
115
116 5.1. Series de nmeros reales
positiva de tiempo, parece natural armar que el tiempo necesario para el trayecto total
ha de ser la suma de todas estas cantidades de tiempo. Decir que el corredor nunca
puede alcanzar la meta equivale a decir que nunca llega en un tiempo nito; o dicho
de otro modo, que la suma de un nmero innito de intervalos positivos de tiempo no
puede ser nita.
Esta paradoja fue resuelta muy posteriormente con la introduccin del concepto de serie.
Se llama serie de nmeros reales a todo par ordenado de sucesiones de nmeros
reales (a
n
, S
n
), donde (a
n
es una sucesin arbitraria y, para cada natural n, la
segunda sucesin es tal que: S
n
=

n
i=1
a
n
.
La sucesin S
n
recibe el nombre de sucesin de sumas parciales de la serie.
Dicha serie suele representarse por

n1
a
n
.
Se dice que la serie

n1
a
n
es convergente si lo es la sucesin S
n
de sus sumas
parciales. Al lmite de sta ltima sucesin se le denomina suma de la serie

n1
a
n
y
se representa por

n=1
a
n
.
Antes de pasar a los ejemplos veamos algunas propiedades de las series convergentes.
Proposicin 5.1.1. Sean

n1
a
n
y

n1
b
n
dos series de nmeros reales.
a) Si la serie

n1
a
n
es convergente entonces la sucesin a
n
converge a cero.
b) Si ambas series son convergentes y r, s son dos nmeros reales, entonces la serie

n1
ra
n
+sb
n
es convergente y se verica que:

n=1
(ra
n
+sb
n
) = r

n=1
a
n
+s

n=1
b
n
.
c) Sea k N. Entonces la serie

n1
a
n
es convergente si, y slo si, la serie

n1
a
n+k
tambin lo es. Adems en caso de que converjan tenemos que:

n=1
a
n
= a
1
+a
2
+... +a
k
+

n=1
a
n+k
.
Anlisis Matemtico 117
d) Supongamos que, para cada n N se tiene que [a
n
[ b
n
. Si la serie

n1
b
n
es
convergente entonces

n1
a
n
tambin es convergente y se verica que:
[

n=1
a
n
[

n=1
b
n
.
En particular , si la serie

n1
[a
n
[ es convergente tambin lo es la serie

n1
a
n
.
e) (Criterio de condensacin) Si la sucesin a
n
es una sucesin decreciente de
nmeros reales no negativos, entonces la serie

n1
a
n
es convergente si, y slo si,
la serie

n1
2
n
a
2
n tambin lo es.
Veamos ahora algunos ejemplos de series
a) Serie geomtrica de razn r ,= 1.
Es aquella cuyo trmino general es a
n
= r
n1
y cuya sucesin de sumas
parciales es por tanto S
n
= 1 +r +... +r
n1
=
1r
n
1r
. De aqu se deduce que dicha
serie es convergente si, y slo si, [r[ < 1. Adems en caso de que sea convergente
se tiene que

n=1
r
n1
=
1
1 r
.
b) Serie cuyo trmino general es a
n
=
1
(n1)!
.
Es aquella cuya sucesin de sumas parciales correspondiente es
S
n
= 1 + 1 + 1/2 +... +
1
(n 1)!
.
Veremos ms adelante que dicha serie es convergente, de hecho, se puede probar
que

n=1
1/(n 1)! = e.
c) Serie armnica.
Es aquella cuyo trmino general es a
n
= 1/n y cuya sucesin de sumas parciales
es por tanto S
n
= 1+1/2+... +1/n. Se puede probar, usando la ltima propiedad
que que dicha serie no es convergente. En general se puede probar, usando esta
misma propiedad, que la serie cuyo trmino general es a
n
= 1/n

es convergente
si, y slo si, > 1.
d) Serie armnica-alternada.
Es aquella cuyo trmino general es a
n
= (1)
n+1
/n y cuya sucesin de sumas
parciales es por tanto S
n
= 1 1/2 +... +(1)
n+1
/n. Ms tarde deduciremos que
dicha serie es convergente, de hecho se puede probar que

n=1
(1)
n+1
/n = log2.
118 5.1. Series de nmeros reales
Obsrvese que este ltimo ejemplo prueba que la serie

n1
a
n
es convergente y no
lo es la serie

n1
[a
n
[. Esto da pie a la siguiente denicin.
Se dice que una serie

n1
a
n
es absolutamente convergente si la serie de valores
absolutos

n1
[a
n
[ es convergente.
Resumiendo hemos visto que:
absolutamente convergente convergente
convergente , absolutamente convergente.
Desafortunadamente, a excepcin de los ejemplos anteriormente ya citados y algunos
derivados de ellos, para el resto de las series convergentes es difcil calcular la suma. Esto
nos obliga a reducir nuestro estudio a probar si una determinada serie es convergente o
no.
5.1.2. Criterios de convergencia
a) Series de trminos no negativos
Obsrvese que si una serie

n1
a
n
es de trminos no negativos, para cada n N,
a
n
0, entonces la serie de sumas parciales es una sucesin creciente, y por tanto,
convergente si, y slo si, est mayorada. En consecuencia. la serie es convergente si,
y slo si, la sucesin de sumas parciales est mayorada. Esta particularidad justica
que, para estas series, dispongamos de numerosos criterios de convergencia. Por
otra parte, es claro que, despus de las propiedades vistas con anterioridad, slo
las series

n1
a
n
, cuyos conjuntos n N; a
n
< 0 n N; a
n
> 0 sean innitos
quedan excluidos de este epgrafe.
Veamos algunos criterios de convergencia para este tipo de series.
Teorema 5.1.2. (Criterio de comparacin)
Sea a
n
una sucesin de nmeros reales no negativos y b
n
una sucesin de
nmeros reales positivos.
1) Si la sucesin a
n
/b
n
converge a un nmero positivo, entonces la serie

n1
a
n
converge si, y slo si, converge la serie

n1
b
n
.
Anlisis Matemtico 119
2) Si la sucesin a
n
/b
n
converge a cero y la serie

n1
b
n
es convergente, en-
tonces la serie

n1
a
n
es convergente.
3) Si la sucesin a
n
/b
n
diverge positivamente y la serie

n1
a
n
es conver-
gente, entonces la serie

n1
b
n
es convergente.
Conviene resaltar que este criterio se mostrar ms potente cunto mayor
nmero de ejemplos conozcamos su convergencia. En este conocimiento es indis-
pensable recordar que la serie cuyo trmino general es a
n
= 1/n

es convergente
si, y slo si, > 1.
Veamos ahora algunos criterios de convergencia intrnsecos, esto es, criterios
que involucran slo a la propia serie.
En primer lugar, obsrvese que si el el conjunto n N; a
n
1 es innito,
entonces la serie

n1
a
n
no es convergente, ya que podramos construir una parcial
de la sucesin trmino general no convergente a cero.
Veamos a continuacin un primer criterio positivo
Teorema 5.1.3. (Criterio de la raz)
Sea a
n
una sucesin de nmeros reales no negativos y L [0, 1[. Si la sucesin

a
n
converge a L, entonces la serie

n1
a
n
es convergente.
Si los trminos son positivos el siguiente criterio es ms cmodo
Teorema 5.1.4. (Criterio del cociente)
Sea a
n
una sucesin de nmeros reales positivos y L [0, 1[. Entonces
1) Si la sucesin a
n+1
/a
n
converge a L, entonces la serie

n1
a
n
es convergente.
2) Si la sucesin a
n+1
/a
n
converge a 1/L, entonces la serie

n1
a
n
no es con-
vergente.
Como consecuencia obtenemos por ejemplo que la serie

n1
1/n! es convergente.
Obsrvese que, cuando dicho cociente a
n+1
/a
n
tiende a uno, este criterio
nos deja sin informacin. En algunos casos esta laguna se resuelve con un tercer
criterio:
Teorema 5.1.5. (Criterio de Raabe)
Sea a
n
una sucesin de nmeros reales positivos y L [0, 1[. Entonces
120 5.1. Series de nmeros reales
1) Si la sucesin n(1
a
n+1
a
n
) converge a L, entonces la serie

n1
a
n
no es
convergente.
2) Si la sucesin n(1
a
n+1
a
n
) converge a 1/L, entonces la serie

n1
a
n
es con-
vergente.
b) Series de trminos cualesquiera
La estrategia que seguiremos para las series no incluidas en el apartado anterior
ser la de estudiar primeramente si son absolutamente convergentes, y para ello
usaremos los criterios del apartado anterior. Si son absolutamente convergentes, en
virtud de lo ya visto, sern tambin convergentes, en otro caso necesitaramos de
algn otro criterio. En este curso slo veremos el criterio de Leibnitz para series
alternadas.
Teorema 5.1.6. (Criterio de Leibnitz)
Si a
n
es una sucesin de nmeros reales decreciente y convergente a cero, en-
tonces la serie

n1
(1)
n+1
a
n
es convergente.
Como consecuencia ya podemos justicar que la serie

n1
(1)
n+1
/n es con-
vergente.
5.1.3. Relacin de ejercicios
Estdiese la convergencia de las siguientes series de nmeros reales:
a) a)

1
n2
n
, b)

log(n)
n
, c)

1
2n 1
, d)

(1)
n
1
n
.
b) a)

2
n
n
. b)

n
. c)

1
nlog(n)
. d)
3

n
(n + 1)

n
.
c) a)

(1)
n
2n 1
2
n
. b)

1
n!
.

1
(3n 2)(3n + 1)
.
d) a)

(1)
n
1
log(n)
. b)

n
n
e
n
2
+1
. c)

2
n
n!
n
n
.
5.2. SERIES DE POTENCIAS 121
5.2. Series de potencias
Sumario
Esta leccin est dedicada al estudio de un tipo muy particular y muy interesante de
series funcionales: las series de potencias. stas nos proporcionan un mtodo expeditivo
para construir nuevas funciones de clase (

no racionales. En particular reaparecern


la mayora de las funciones elementales, lo que nos permitir un mejor conocimiento de
stas. La tcnica usada consiste en dar sentido al concepto de polinomio de Taylor de
grado innito. El contenido completo de esta leccin se articula de la siguiente manera:
5.2.1 Series de potencias
5.2.2 Funciones denidas por series de potencias.
5.2.3 Desarrollo en serie de potencias.
5.2.4 Aplicaciones:Suma de series de nmeros reales
5.2.5 Relacin de ejercicios.
5.2.1. Series de potencias
.
Sean a R y a
n
una sucesin de nmeros reales. La serie

n1
a
n
(x a)
n1
recibe el nombre de serie de potencias centrada en a. A los trminos de la sucesin
a
n
, se les denomina coecientes de la serie.
Dado A R, se dice que la serie converge
a) puntualmente en A, si la serie

n1
a
n
(x a)
n1
converge para todo punto x
de A.
Se suele notar, para cada x A, por

n=1
a
n
(x a)
n1
a la suma de dicha serie.
b) absolutamente en A si la serie

n1
[a
n
(xa)
n1
[ converge para todo punto x
de A.
122 5.2 Series de potencias
c) uniformemente en A si
para cada > 0, existe un natural n
0
, de forma que si n n
0
, entonces [

n=1
a
k
(x
a)
n1

n
k=1
a
k
(x a)
k1
[ < , para todo x A.
Como primer resultado, establecemos el siguiente importante resultado
Teorema 5.2.1. Test de Weierstrass
Sea B un subconjunto no vaco de nmeros reales, a R y a
n
una sucesin de nmeros
reales. Supongamos que existe una sucesin de nmeros reales c
n
tal que
[a
n
(x a)
n1
[ c
n
, x B, n
y tal que la correspondiente serie

n1
c
n
es convergente. Entonces la serie de potencias
centrada en a converge absolutamente y uniformemente en B
Este resultado nos proporciona un mtodo general para estudiar la convergencia puntual
y uniforme de cualquier serie de potencias.
Proposicin 5.2.2. Lema de Abel
Sean a R y a
n
una sucesin de nmeros reales. Supongamos que existe r > 0 tal
que la sucesin a
n
r
n1
est acotada. Entonces la serie funcional

n1
a
n
(x a)
n1
converge absoluta y uniformemente en el intervalo [a , a +], siempre que o < < r.
La bsqueda del nmero positivo r "ms grande posible"que cumpla la hiptesis del
Lema de Abel motiva el concepto de radio de convergencia. Concretamente:
Sean A := r R
+
; a
n
r
n1
est acotada y

n1
a
n
(xa)
n1
la serie de potencias
asociada.
a) Si A = , diremos que el radio de convergencia de la serie

n1
a
n
(x a)
n1
es igual a cero, R = 0.
b) Si A ,= y A no est mayorado, diremos que el radio de convergencia de dicha
serie es innito , R = .
c) Si A ,= y A est mayorado diremos que el correspondiente radio de conver-
gencia es el supremo del conjunto A, esto es R = Sup(A).
Observemos que el radio de convergencia es independiente del centro a de la serie.
Adems, como veremos en el siguiente resultado, el conocimiento del radio de conver-
gencia proporciona

casi

toda la informacin sobre la convergencia de la serie.
Anlisis Matemtico 123
Proposicin 5.2.3. Sea

n1
a
n
(x a)
n1
una serie de potencias cuyo radio de con-
vergencia es R.
a) Si R es cero, entonces la serie slo converge en a.
b) Si R es innito, entonces la serie converge absoluta y uniformemente en cada
intervalo cerrado y acotado contenido en R.
c) Si R R
+
, entonces la serie converge absoluta y uniformemente en cada intervalo
cerrado y acotado contenido en ]a R, a + R[ y no converge en ningn punto de
R[a R, a +R].
Busquemos ahora un procedimiento expeditivo para determinar el radio de conver-
gencia.
Proposicin 5.2.4. Sea

n1
a
n
(x a)
n1
una serie de potencias cuyos coecientes
son no nulos y sea R su radio de convergencia.
a) Si la sucesin [
a
n+1
a
n
[ diverge positivamente, R = 0.
b) Si la sucesin [
a
n+1
a
n
[ converge a un nmero real positivo, R =
1
L
.
c) Si la sucesin [
a
n+1
a
n
[ converge a cero, R = .
Nota
Antes de proseguir, conviene resaltar, como ya habamos anticipado, que los dos
primeros apartados de la penltima proposicin, describen con total exactitud la con-
vergencia de una serie de potencias cuyo radio de convergencia es cero o innito. Sin
embargo, nada se arma, cuando dicho radio es un nmero real positivo R, sobre los
extremos del intervalo. De hecho, existen series de potencias con idntico radio de conver-
gencia pero con distinto carcter de convergencia en dichos puntos, pinsese por ejemplo
en la serie

n1
1
n + 1
(x a)
n1
y en la serie

n1
(1)
n
n + 1
(x a)
n1
.
Este hecho motiva el siguiente resultado.
Teorema 5.2.5. Teorema de Abel
Sea

n1
a
n
(xa)
n1
una serie de potencias, cuyo radio de convergencia R es no nulo.
Si la serie converge en el punto a +R (resp. a R) entonces lo hace uniformemente en
el intervalo [a, a +R].
124 5.2 Series de potencias
5.2.2. Funciones denidas por series de potencias
Sea

n1
a
n
(x a)
n1
una serie de potencias, cuyo radio de convergencia R es no
nulo (serie de potencias no trivial). Si R R
+
, llamemos I al intervalo ]a R, a +R[ e
I = R si R es innito. En adelante, nos referiremos al intervalo I como el intervalo de
convergencia de la serie de potencias

n1
a
n
(x a)
n1
.
Sea

n1
a
n
(x a)
n1
una serie de potencias no trivial cuyo radio de convergencia
es R, y sea I su intervalo de convergencia. Podemos denir:
f : I R,
mediante la frmula
f(x) =

n=1
a
n
(x a)
n1
.
Si la serie es convergente en a+R entonces f se puede extender al intervalo ]aR, a+R],
con f(a +R) =

n=1
a
n
R
n1
resultando una funcin continua en ]a R, a +R].
Pues bien, veamos que dichas funciones son tambin derivables en I. De hecho,
Teorema 5.2.6. Sea f como arriba, entonces f es de clase (

(I) y para cada x I y


k N, se tiene que
f
k)
(x) =

n=1
(n +k 1)!
(n 1)!
a
n+k
(x a)
n1
=

n=k+1
(n 1)!
(n k 1)!
a
n
(x a)
nk1
.
En particular,
f
k)
(a) = k!a
k+1
.
Veamos ahora algunas consecuencias de los ltimos resultados.
a) La suma de una serie de potencias puede derivarse como si se tratase de una suma
nita.
Ntese que la frmula del teorema anterior de las derivadas sucesivas de
la funcin denida por una serie de potencias, signica simplemente que dichas
derivadas pueden obtenerse derivando cada uno de los trminos de la serie de
partida.
b) La serie de potencias est totalmente determinada.
La misma frmula del teorema anterior nos dice que en caso de que una funcin
sea desarrollable, esto es, f pueda escribirse como suma de una serie de potencias,
sta est completamente determinada, de hecho, en cada punto a I,
a
n
= f
n1)
(a)/(n 1)!,
de ah que la correspondiente serie reciba el nombre de serie de Taylor.
Anlisis Matemtico 125
5.2.3. Desarrollo en serie de Taylor
Hemos visto pues que toda serie denida por una serie de potencias es de clase C

en el intervalo de convergencia I. Es cierto recproco? Es decir, si f es de clase C

en un cierto intervalo I, se puede asegurar que la serie de Taylor de f es convergente


en I? En general la respuesta es no. Existen funciones de clase C

para las cuales la


serie serie de Taylor tiene radio de convergencia cero y por otra parte existen tambin
funciones (por ejemplo, f(x) = e

1
x
2
, x ,= 0, f(0) = 0) para las cuales la suma de
su serie de Taylor no coincide con la funcin ms que en el punto que la gener (En el
ejemplo f
n)
(0) = 0). El problema de cundo la respuesta es positiva es un problema
muy interesante que no vamos ahora a indagar. Como ejemplo de respuesta positiva,
consideraremos exclusivamente el siguiente resultado:
Proposicin 5.2.7. Sea I un intervalo y f un funcin de clase C

en I. Supon-gamos
que existe M > 0 tal que, para cada x I y cada n N, se verica que:
[f
n)
(x)[ M,
entonces para cualesquiera a, x I, se tiene que
f(x) =

n=1
f
n1)
(a)
(n 1)!
(x a)
n1
.
Y como consecuencia obtenemos los siguientes desarrollos en serie de potencias de
algunas funciones elementales.
Corolario 5.2.8.
1) Para cada x R, se tiene:
a) e
x
=

n=1
1
(n1)!
x
n1
.
b) cos(x) =

n=1
(1)
n+1
2(n1)!
x
2(n1)
.
c) sen(x) =

n=1
(1)
n+1
(2n1)!
x
2n1
.
2) Para cada x ]0, 2[, se tiene:
log(x) =

n=1
(1)
n+1
n
(x 1)
n
.
3) Para cada x ] 1, 1[, se tiene:
arctg(x) =

n=1
(1)
n+1
2n 1
x
2n1
.
Ntese que el desarrollo en serie de la funcin arcotangente, recin obtenido, tiene
radio de convergencia uno y no innito como cabra esperar a primera vista, dado que
la funcin arcotangentes es de clase C

.
126 5.2 Series de potencias
5.2.4. Aplicaciones: Suma de series de nmeros reales
Para nalizar, vamos a dar dos ejemplos de cmo sumar dos series de nmeros reales
usando las series de potencias.
Sabemos por el corolario anterior que para cada x ]0, 2[,
log(x) =

n=1
(1)
n+1
n
(x 1)
n
.
Por otra parte, aplicando el teorema de Abel, el segundo miembro dene la funcin
g :]0, 2] R denida por
g(x) =

n=1
(1)
n+1
n
(x 1)
n
,
la cual es continua en 2, obtenemos as que

n=1
(1)
n+1
n
= g(2) = lim
x2
g(x) = lim
x2
log(x) = log2.
Tal como advertimos en el comienzo del captulo el conocimiento de las series de
potencias nos proporcionan un mtodo de aproximacin de los valores log2 y /4 re-
spectivamente
5.2.5. Relacin de ejercicios
a) Hllese el radio de convergencia R de cada una de las series de potencias que siguen
y, en caso de que R R
+
estdiese el comportamiento de la serie en los puntos R
y R:
1)

n1
1
2
n1
(2n 1)
x
n1
;
2)

n1
1
log(n + 1)
x
n1
;
3)

n1
1,3,5. (2n 1)
2,4,6. (2n)
x
n1
;
.
b) Calclese el radio de convergencia y la suma de las series:

n1
nx
n
;

n1
n
2
x
n
;

n1
(n 1)
3
(n 1)!
x
n1
.
c) Encuntrese, cuando ello sea posible, el desarrollo en serie de potencias centrado
en el punto a de la funcin f en cada uno de los casos siguientes:
Anlisis Matemtico 127
1) f : R 1 R , f(x) =
1
(1 +x)
, x R 1 ; a = 0 .
2) f : R 1 R , f(x) =
x
(1 +x)
3
, x R 1 ; a = 0 .
3) f : R R , f(x) =
e
x
1
x
, x R

, f(0) = 1 ; a = 0 .
4) f : R R , f(x) =
e
x
e
x
2
, x R ; a = 0 .
d) Demustrese, usando el desarrollo en serie de Taylor de la funcin arcotangente,
que
/4 = arctg(1) =

n=1
(1)
n+1
2n + 1
.
Captulo 6
Clculo integral en una variable
6.1. Funciones integrables
Sumario
En esta leccin introduciremos el concepto de funcin integrable, en el sentido de
Riemann, como una evolucin natural del mtodo de exhaucin, usado por los griegos
para calcular ciertas reas, y estudiaremos sus propiedades. Enunciaremos el teorema
fundamental del clculo que relaciona la integral con la derivacin y la Regla de Barrow
indispensable para el clculo integral. Finalmente estudiaremos las funciones impropi-
amente integrables. El contenido completo de esta leccin se articula de la siguiente
manera:
6.1.1 Funciones integrables.
6.1.2 Ejemplos
6.1.3 Propiedades de las funciones integrables.
6.1.4 Relacin entre integracin y derivacin: Teorema Fundamental del Clculo
6.1.5 Cmo evaluar una integral: Regla de Barrow.
6.1.6 Integrales impropias.
6.1.7 Relacin de ejercicios.
6.1.1. Funciones integrables
Sea f : [a, b] R una funcin acotada y sea P = t
0
, t
1
, ..., t
n
una particin del
intervalo [a, b]. Para cada k 1, 2, ..., n, llamemos I
k
al intervalo [x
k1
, x
k
] y notemos
por
M
k
(f, P) = Sup f(I
k
), m
k
(f, P) = Inf f(I
k
).
129
130 6.1. Funciones integrables
Llamaremos suma superior de Riemann de la funcin f respecto de la
particin P al nmero real
S(f, P) :=
k=n

k=1
M
k
(f, P)(x
k
x
k1
),
y anlogamente llamaremos suma inferior de Riemann de la funcin f respecto
de la particin P al nmero real
I(f, P) :=
k=n

k=1
m
k
(f, P)(x
k
x
k1
).
Sea
S := S(f, P); P particin del intevalo [a, b]
e
I := I(f, P); P particin del intevalo [a, b].
Es claro que dadas dos particiones cualesquiera P y Q del intervalo [a, b] se tiene
que
I(f, P) S(f, Q),
y por tanto el conjunto S es un conjunto minorado de nmeros reales. Llamaremos
integral superior de f en el intervalo [a, b], al nmo del conjunto S que notaremos
por
_
b
a
f(x)dx.
Por idntica razn el conjunto I es un conjunto mayorado de nmeros reales y llamaremos
integral inferior de f en el intervalo [a, b] al supremo de dicho conjunto, supremo que
notaremos por
_
b
a
f(x)dx.
Diremos que f es integrable en el intervalo [a, b] si el nmo del conjunto S y el
supremo del conjunto I coinciden, esto es, si
_
b
a
f(x)dx =
_
b
a
f(x)dx.
Si f es integrable en [a, b] dicho valor InfS = Sup I ser conocido como la integral de
f en [a, b], y se notar por
_
b
a
f(x)dx.
Para mayor comodidad, si f es integrable en [a, b], acordamos los siguientes convenios:
Anlisis Matemtico 131
_
a
b
f(x)dx =
_
b
a
f(x)dx, y
_
a
a
f(x)dx = 0.
Observacin
Es fcil probar que si [a, b] es un intervalo y f : [a, b] R es una funcin acotada,
entonces f es integrable en [a, b] si, y slo si, existe una sucesin de particiones P
n

vericando que la sucesin S(f, P


n
) I(f, P
n
) converge a cero.
6.1.2. Ejemplos
1) Es fcil probar que toda funcin constante es integrable, de hecho
_
b
a
cdx = c(b a).
2) Las funciones montonas en un intervalo [a, b] son funciones integrables en dicho
intervalo.
3) Las funciones continuas son tambin funciones integrables.
4) De hecho tenemos que
Proposicin 6.1.1. Sea f : [a, b] R una funcin integrable. Entonces si g :
[a, b] R es una funcin que coincide con f excepto a lo ms en un nmero
nito de puntos de [a, b], g es tambin una funcin integrable y adems
_
b
a
f(x)dx =
_
b
a
g(x)dx.
5) La funcin de Dirichlet:
f(x) =
_
0 si x [0, 1] Q
1 si x [0, 1] RQ
No es integrable en [0, 1]. De hecho, es fcil probar que
_
1
0
f(x)dx = 1,
_
1
0
f(x)dx = 0.
132 6.1. Funciones integrables
6.1.3. Propiedades de las funciones integrables
Veamos ahora algunas propiedades de las funciones integrables
Proposicin 6.1.2. Sean f, g : [a, b] R dos funciones integrables en [a, b]. Entonces
a) f +g es una nueva funcin integrable en [a, b] y se verica que
_
b
a
(f +g)(x)dx =
_
b
a
f(x)dx +
_
b
a
g(x)dx.
b) Para cada r R, la funcin rf es una nueva funcin integrable en [a, b] y se
verica que
_
b
a
(rf)(x)dx = r
_
b
a
f(x)dx.
c) Si para cada x [a, b], f(x) g(x), se tiene que
_
b
a
f(x)dx
_
b
a
g(x)dx.
d) [f[ es tambin una funcin integrable y se verica que
[
_
b
a
f(x)dx[
_
b
a
[f[(x)dx.
e) f.g es una nueva funcin integrable en [a, b], pero en general
_
b
a
(f.g)(x)dx ,=
_
b
a
f(x)dx.
_
b
a
g(x)dx.
Finalmente tambin se verica la propiedad de la aditividad respecto del intervalo,
esto es,
Proposicin 6.1.3. Sea f : [a, b] R una funcin acotada y sea c ]a, b[. Entonces
f es integrable en [a, b] si, y slo si, f es integrable en [a, c] y [c, b]. En caso de ser
integrables se tiene que
_
b
a
f(x)dx =
_
c
a
f(x)dx +
_
b
c
f(x)dx.
Como ejercicio calclese la siguiente integral:
_
3
0
3E[x] + 2 dx.
Anlisis Matemtico 133
6.1.4. Relacin entre integracin y derivacin: Teorema Fun-
damental del Clculo.
Estudiaremos ahora la importante conexin entre los tres conceptos bsicos de
la primera parte del curso: continuidad, derivacin e integracin. Para poder enunciar
este resultado, esto es, el teorema fundamental del clculo, necesitamos introducir el
concepto de integral indenida.
Sea I un intervalo de nmeros reales, y f : I R una funcin continua. Si c I
llamaremos integral indenida de f con origen en c a la funcin F : I R,
denida, para cada x I, por
F(x) =
_
x
c
f(t)dt.
Teorema 6.1.4. (fundamental del Clculo)
Sea f una funcin continua en un intervalo I y sea F cualquier integral indenida de
f. Entonces F es derivable en I y para cada x I,
F

(x) = f(x).
Ejercicio: Sea F : R
+
R denida por
F(x) =
_
x
1
1/t dt.
Calclese F(1), la funcin derivada de F y determnense sus propiedades analticas.
6.1.5. Cmo evaluar una integral: Regla de Barrow.
El siguiente resultado, el cual es consecuencia del teorema del valor medio, es
importantsimo ya que nos permitir evaluar la integral de una funcin conocida su
primitiva. Para enunciarlo, necesitamos recordar que dada una funcin f denida en un
intervalo I se dice que f admite primitiva si existe una funcin G : I R derivable
tal que, para cada x I, G

(x) = f(x). Como consecuencia del teorema del Valor Medio


G est determinada de manera nica, salvo una constante aditiva.
Teorema 6.1.5. (Regla de Barrow)
Sea f : [a, b] R una funcin integrable y supongamos que admite una primitiva G.
Entonces
_
b
a
f(x)dx = G(b) G(a).
134 6.1. Funciones integrables
Es claro que si f es continua, entonces, como consecuencia del teorema fundamental
del clculo, cualquier integral indenida F de f es una primitiva de f. Pero si intentamos
evaluar dichas primitivas no obtenemos ninguna informacin no trivial. Por tanto el
problema de evaluar la integral de una funcin continua f, para aplicar la Regla de
Barrow, consiste en conseguir una primitiva de f susceptible de ser evaluada en los
puntos a y b.
Ejercicio: Calclese la siguiente integral:
_
1
0
(2x
3
+ 1) dx.
A menudo conviene transformar la funcin f en otra funcin cuya primitiva sea
ms accesible; los siguientes resultados ofrecen algunas transformaciones interesantes.
Corolario 6.1.6. (teorema del cambio de variable)
Sea g : [a, b] R una funcin de clase (
1
([a, b]) con g

(x) ,= 0. Si f es una funcin


continua en g([a, b]), entonces la funcin f g.g

es una nueva funcin integrable y


_
g(b)
g(a)
f(x)dx =
_
b
a
f(g(t)).g

(t)dt.
La regla formal seguida en el resultado anterior consiste en sustituir g(t) por x y g

(t)dt
por dx y los valores extremos t = a, t = b por los correspondientes x = g(a), x = g(b).
Ejercicios:
a) Calclese la siguiente integral:
_
1
0
2xe
x
2
dx.
b) Demustrese que , para a, b R
+
,
_
ab
a
1/t dt =
_
b
1
1/t dt.
Nota
Obsrvese que despus de esta propiedad, la funcin F : R
+
R, denida por
F(x) =
_
x
1
1/t dt.
es una biyeccin estrictamente creciente vericando que:
Anlisis Matemtico 135
- F(1) = 0
- F(xy) = F(x) +F(y)
- F(e) = 1.
Esto es, la funcin F no es otra cosa que la funcin logaritmo neperiano cuya existencia
armbamos al principio de curso.
La siguiente tcnica es especialmente til cuando se trata de calcular la integral de
un producto de funciones o de una funcin fcilmente derivable (basta ver sta como el
producto de ella por la funcin constante uno).
Corolario 6.1.7. (teorema de integracin por partes)
Sean F, G : [a, b] R dos funciones de clase (
1
([a, b]). Entonces
_
b
a
F(x).G

(x)dx = F(b).G(b) F(a)G(a)


_
b
a
F

(x).G(x)dx.
Ejercicio: Calclense las siguientes integrales:
_
2
1
log(x)dx y
_
1
0
x
2
sen(x)dx.
6.1.6. Integrales impropias
El concepto de integral que hemos introducido presenta, entre otras, dos limitaciones
importantes:
a) El intervalo de integracin es del tipo [a, b]
b) El integrando es una funcin acotada en dicho intervalo.
Nuestro objetivo ms inmediato es extender la nocin de integral a intervalos
arbitrarios y a funciones continuas no necesariamente acotadas.
Sea I =], [ un intervalo con , R , +. Sea f : I R una funcin
continua en I y sea G una primitiva de f. Se dice que f es impropiamente integrable
en ], [ si existen
lim
x
G(x), lim
x
G(x).
Adems en caso armativo
_

f(x)dx = lim
x
G(x) lim
x
G(x).
136 6.1. Funciones integrables
Dicha integral recibe el nombre de integral impropia de f en ], [.
Ejercicio: Calclese la siguiente integral:
_
1
0
1/

xdx.
Es claro que toda funcin continua en un intervalo [a, b] es impropiamente integrable
en ]a, b[ y su integral impropia coincide con su integral.
Las propiedades de las funciones impropiamente integrables son similares a las ya
estudiadas para las funciones integrables.
Proposicin 6.1.8. Sean f, g :], [ R dos funciones impropiamente integrables.
Entonces
a) f +g es una nueva funcin impropiamente integrable en ], [ y se verica que
_

(f +g)(x)dx =
_

f(x)dx +
_

g(x)dx.
b) Para cada r R, la funcin rf es una nueva funcin impropiamente integrable en
], [ y se verica que
_

rf(x)dx = r
_

f(x)dx.
c) Si para cada x [a, b], f(x) g(x), se tiene que
_

f(x)dx
_

g(x)dx
E incluso,
Proposicin 6.1.9. Sea f :], [R una funcin continua y c ], [. Entonces f es
impropiamente integrable en ], [ si, y slo si, f es impropiamente integrable en ], c[
y ]c, [. En caso armativo se tiene que
_

f(x)dx =
_
c

f(x)dx +
_

c
f(x)dx.
Ejercicio: Calclense, cuando existan, las siguientes integrales:
_
1
0
1/xdx,
_
1
1
1/x
2
dx,
_
+
1
1/

xdx y
_
+
1
1/x
2
dx.
Como consecuencia de la dencin, obtenemos los correspondientes teoremas del
cambio de variable y de integracin por partes.
Anlisis Matemtico 137
Teorema 6.1.10. (del cambio de variable)
Sea g una funcin de clase (
1
en el intervalo ], [ con g

(x) ,= 0. Si f es una funcin


continua en g(], [), entonces f es impropiamente integrable en ], [ si, y slo si,
f g.g

es impropiamente integrable en ], [. En caso armativo,


_
lim
x
g(x)
lim
x
g(x)
f(x)dx =
_

f(g(x))g

(x)dx.
Ejercicio: Calclese la siguiente integral:
_
1
0
2x/(x
2
+ 1) dx.
Teorema 6.1.11. (de integracin por partes)
Sean F y G dos funciones de clase (
1
en el intervalo ], [ y supongamos que F.G tiene
lmite en y en . Entonces F.G

es impropiamente integrable si, y slo si F

.G es
impropiamente integrable. En caso armativo
_

F(x).G

(x)dx = lim
x
F(x)G(x) lim
x
F(x)G(x)
_

(x).G(x)dx.
Ejercicio: Calclese la siguiente integral:
_
1
0
log(x)dx.
A veces resulta que una determinada funcin no es impropiamente integrable pero
puede obtenerse un cierto valor relacionado con ella.
6.1.7. Relacin de ejercicios
a) Calclense las siguientes integrales:
_
1
0
arctg(x) dx,
_
1
0
x
2
e
x
dx,
_
+
2
dx
x(log(x))
2
_
/4
0
sen
2
x cos
3
x dx,
_
/2
/4
cosx log(senx) dx,
_
/4
0
senx
cos
2
x
dx.
b) Hllense las derivadas de cada una de las funciones siguientes:
138 6.1. Funciones integrables
a) F(x) =
_
x
a
sen
3
(t) dt. b) F(x) =
_
x
2
3
1
1 + sin
6
t +t
2
dt
c) F(x) =
_

x
1
sen(s)
s
ds
3
1/(sen
2
(t
2
) + 1) dt
d) F(x) =
_
b
x
1
1 +t
2
+sen
2
(t)
dt.
e) F(x) =
_
b
a
t
1 +t
2
+sen(t)
dt f) F(x) =
_
b
a
tx
1 +t
2
+sen(t)
dt
6.2. MTODOS DE INTEGRACIN 139
6.2. Mtodos de integracin
Sumario
En esta leccin nos ocuparemos del problema prctico de evaluar la integral de toda
funcin racional y de algunas funciones no racionales. El contenido completo de esta
leccin se articula de la siguiente manera:
6.2.1 Integracin de funciones racionales.
6.2.2 Integracin de funciones no racionales.
6.2.3 Relacin de ejercicios.
6.2.1. Integracin de funciones racionales
Daremos un mtodo general para la evaluacin de la integral de una funcin racional
cuya "nica"dicultad consiste en encontrar la descomposicin en factores irreducibles
de un polinomio con coecientes reales.
Sea f : [a, b] R una funcin racional y sean P, Q, : R R las correspondientes
funciones polinmicas tales que, f(x) =
P(x)
Q(x)
con Q(x) ,= 0, para cada x [a, b]. Pode-
mos suponer sin prdida de generalidad (en caso contrario se manipula algebraicamente)
que:
1) P y Q son dos polinomios primos entre s.
2) El polinomio Q(x) es de mayor grado que P(x).
3) El coeciente lder del polinomio Q(x) es uno.
En la situacin anterior, el problema de evaluar la integral de f se resuelve usando
sendos resultados algebraicos: la descomposicin en factores irreducibles de un polinomio
con coecientes reales y la descomposicin en fracciones simples de una funcin racional
con coecientes reales.
140 6.2. Mtodos de integracin
Proposicin 6.2.1.
1) Descomposicin en factores irreducibles
Todo polinomio Q(x) con coecientes reales y con coeciente lder igual a uno
puede escribirse en la forma:
(xa
1
)
n
1
(xa
2
)
n
2
...(xa
p
)
n
p
(x
2
+b
1
x+c
1
)
m
1
(x
2
+b
2
x+c
2
)
m
2
...(x
2
+b
q
x+c
q
)
m
q
,
donde p y q son nmeros enteros no negativos,a
1
, a
2
, ..., a
p
, b
1
, b
2
, ..., b
q
, c
1
, c
2
, ..., c
q
son nmeros reales, donde a
1
< a
2
< ... < a
p
son las races reales del polinomio
Q y para cada k 1, 2, ..., p, n
p
es el orden de multiplicidad de la raz a
k
; y
nalmente m
1
, m
2
, ..., m
q
son nmeros naturales.
La descomposicin anterior en factores es nica y
n
1
+n
2
+... +n
p
+ 2(m
1
+m
2
+... +m
q
)
es el grado del polinomio.
2) Descomposicin en fracciones simples
Si el polinomio Q(x) se descompone en la forma dada en (1.) y P(x) es un
polinomio primo con Q(x) de grado menor que el de Q(x), la funcin racional
f(x) =
P(x)
Q(x)
puede escribirse de forma nica como sigue:
f(x) =
A
11
x a
1
+
A
12
(x a
1
)
2
+... +
A
1n
1
(x a
1
)
n
1
+
+
A
21
x a
2
+
A
22
(x a
2
)
2
+... +
A
2n
2
(x a
2
)
n
2
+...+
A
p1
x a
p
+
A
p2
(x a
p
)
2
+... +
A
pn
1
(x a
p
)
n
p
+...+
B
11
x +C
11
x
2
+b
1
x +c
1
+
B
12
x +C
12
(x
2
+b
1
x +c
1
)
2
+
B
1m
1
x +C
1m
1
(x
2
+b
1
x +c
1
)
m
1
+
B
21
x +C
21
x
2
+b
2
x +c
2
+
B
22
x +C
22
(x
2
+b
2
x +c
2
)
2
+
B
2m
2
x +C
2m
2
(x
2
+b
2
x +c
2
)
m
2
+...+
B
q1
x +C
q1
x
2
+b
q
x +c
q
+
B
q2
x +C
q2
[(x
2
+b
q
x +c
q
)
2
+
B
qm
q
x +C
qm
q
[(x
2
+b
q
x +c
q
)
m
q
,
donde A
ij
(1 i p, (1 j n
p
) y (B
ij
, C
ij
(1 i q y 1 j m
q
y a
1
, a
2
, ..., a
p
, B
1
, B
2
, ..., B
q
, c
1
, c
2
, ..., c
q
C
ij
son nmeros reales. Se tiene adems
que A
kn
k
,= 0 para k 1, 2, ..., p y (B
jm
j
)
2
+ (C
jm
j
)
2
> 0 para j 1, 2, ..., q.
La principal dicultad a la hora de aplicar la proposicin anterior consiste, como
ya se ha dicho, en encontrar la descomposicin en factores del polinomio Q(x). Salvado
este problema, la descomposicin en fracciones simples dada por la segunda parte de la
proposicin puede ya obtenerse sin dicultad, aunque s puede ser laboriosa.
La descomposicin en fracciones simples dada anteriormente, junto con la linealidad
de la integral nos permite limitarnos a considerar las integrales de cada uno de los tipos
de fracciones simples que aparecen en la descomposicin, a saber
Anlisis Matemtico 141
Tipo 1
f(x) =
A
x c
,
para todo x [a, b], y donde A, c R y c no pertenece al intervalo [a, b]. En tal
caso tenemos que:
_
b
a
f(x)dx = A.log(
b c
a c
).
Ejercicio: Calclese la siguiente integral:
_
4
3
2 x
2
x
3
3x
2
+ 2x
dx.
Tipo 2
f(x) =
A
(x c)
n
,
para todo x [a, b], y donde A, c R y c no pertenece al intervalo [a, b]. En tal
caso tenemos que:
_
b
a
f(x)dx =
A
n 1
[
1
(a c)
n1

1
(b c)
n1
].
Ejercicio: Calclese la siguiente integral:
_
1/2
0
2x
x
2
2x + 1
dx.
Tipo 3
f(x) =
Bx +C
x
2
+cx +d
,
para todo x [a, b], donde B, C, c, d R. En este caso se procede de la siguiente
forma:
_
b
a
f(x)dx =
B
2
_
b
a
2x +c
x
2
+cx +d
dx + (C cB/2)
_
b
a
dx
x
2
+cx +d
.
La primera integral se puede resolver haciendo el cambio de variable u = x
2
+cx+d,
con lo que nos queda
_
b
2
+bc+d
a
2
+ac+d
du
u
= log
b
2
+bc +d
a
2
+ac +d
.
La segunda integral se puede resolver escribiendo x
2
+cx +d = (x r)
2
+b
2
para
hacer el cambio de variable u =
xr
s
, con lo que nos queda
1
s
_ br
s
ar
s
du
1 +u
2
=
1
s
[arc tg(
b r
s
) arc tg(
a r
s
)].
142 6.2. Mtodos de integracin
Ejercicio: Calclese la siguiente integral:
_
4
3
2x 1
x
4
+x
3
x 1
dx.
Tipo 4 Esto es,
f(x) =
r(x)
(x
2
+cx +d)
n
,
para todo x [a, b], donde c, d R, n N con n > 1 y r(x) es un polinomio de
grado menor o igual que 2n 1.
En este caso usaremos el mtodo de Hermite que consiste en escribir
f(x) =
ex +f
x
2
+cx +d
+ [
F(x)
(x
2
+cx +d)
n1
]

,
donde F(x) es un polinomio de grado 2n-3 a determinar. Por tanto, la tcnica exige
derivar el cociente, multiplicar la igualdad por (x
2
+ cx + d)
n
, y a partir de aqu,
calcular los coecientes de dicho polinomio.
As pues
_
b
a
f(x)dx =
_
b
a
ex +f
x
2
+cx +d
dx +
F(b)
(b
2
+cb +d)
n1

F(a)
(a
2
+ca +d)
n1
.
La integral que queda es una de tipo 3).
Ejercicio: Calclese la siguiente integral:
_
4
3
1 x
2
x
4
+ 4x
2
+ 4
dx.
6.2.2. Integracin de funciones no racionales
El problema de evaluar funciones no racionales se llevar a cabo utilizando diversos
cambios de variable hasta conseguir que la nueva funcin a integrar sea racional. No hay
un mtodo general para ello, sino un recetario ms o menos amplio, de hecho, la simple
inspeccin del integrando sugiere el cambio de variable adecuado.
Empezaremos jando una notacin que nos permitir exponer de manera rpida y
sin ambigedad los distintos mtodos de integracin que vamos a tratar. En lo que sigue
I ser un intervalo del tipo [a, b] y f : I R ser una funcin continua. Para calcular
la integral de f usaremos sistemticamente el cambio de variable x = g(t), donde g es
Anlisis Matemtico 143
una funcin biyectiva de un cierto intervalo J sobre I y de clase (
1
en J. Si notamos
por h(t) = f g(t).g

(t), para todo t J, transformaremos la integral de la funcin


inicial en la integral de la funcin h en el intervalo J. Si h es racional, aplicaremos
los conocimientos dados en la primera parte de la leccin. En las dems ocasiones ser
preciso un nuevo cambio de variable. Encontraremos as un nuevo intervalo K y una
nueva funcin tal que t = (u), donde es una funcin biyectiva de K sobre J y de
clase (
1
en K. Si notamos por k(u) = h (u).

(u), para todo u k, transformaremos


la integral de la funcin h en la integral de la funcin k en el intervalo K, y vuelta a
empezar.
1. Funciones trigonomtricas
Sea f una funcin que es cociente de sumas y productos de las funciones seno
y coseno. Dado que f es una funcin peridica de periodo 2 podremos limitarnos
a considerar I [, ]. Hacemos en este caso el cambio de variable
x = g(t) = 2arctg(t).
La funcin g que aparece es una funcin racional. De hecho,
cosx =
1 t
2
1 +t
2
, y sen(x) =
2t
1 +t
2
.
Ejercicio: Calclese
_
/2
/4
dx
sen(x)
Podemos destacar algunos casos particulares en
_
b
a
sen
n
(x)
cos
m
(x)
dx a, b I
a) Si n es impar, se hace el cambio x = arccos(t), siempre que I [0, ].
b) Si m es impar, se hace el cambio x = arcsen(t), siempre que I [/2, /2].
c) Si n y m son pares se usan las frmulas
cos
2
(x) =
1 +cos(2x)
2
, sen
2
(x) =
1 cos(2x)
2
.
2. Funciones trascendentes
Sea f una funcin f que es cociente de sumas y productos de la funcin e
x
con ella misma. Hacemos en este caso el cambio de variable x = g(t) = log(t). La
funcin h que aparece es de nuevo una funcin racional.
Ejercicio: Calcular
_
2
1
dx
shx
144 6.2. Mtodos de integracin
3. Irracionales en x
Sea f una funcin que es cociente de sumas y productos de potencias racionales
de x. Si f(x) = F(x
p
1
q
1
, x
p
2
q
2
, ..., x
p
n
q
n
), entonces hacemos el cambio de variable x =
t
m
, donde m = m.c.m.q
1
, q
2
, ..., q
n
. As pues, la funcin a integrar que resulta
despus del cambio es una funcin de tipo racional, que ya sabemos resolver.
Ejercicio: Calclese la siguiente integral:
_
2
1
1
3

x +

x
dx.
4. Irracionales cuadrticas
Vamos a distinguir tres tipos fundamentalmente:
1) Funciones que son cociente de sumas y productos de las funciones x y

x
2
1
En este caso, siempre que I [1, +[ I ] , 1], hacemos el cambio
de variable bien x = g(t) =
1
cost
y por tanto la funcin h que aparece es del
tipo trigonomtrico visto anteriormente, bien x = g(t) = ch(t) y la funcin h
que aparece es una funcin de tipo trascendente visto tambin anteriormente.
Ejercicio: Calclese la siguiente integral:
_
4
3
1

x
2
1
dx.
2) Funciones que son cociente de sumas y productos de las funciones x y

1 x
2
En este caso, siempre que I [1, 1] hacemos el cambio de variable x =
g(t) = sen(t) y por tanto la funcin h que aparece es del tipo trigonomtrico
visto anteriormente.
Ejercicio: Calclese la siguiente integral:
_
1/2
0
1

1 x
2
dx.
3) Funciones que son cociente de sumas y productos de las funciones x y

1 +x
2
En este caso hacemos el cambio de variable bien x = g(t) = tg(t) y por
tanto la funcin h que aparece es del tipo trigonomtrico visto anteriormente,
bien x = g(t) = sh(t) y la funcin h que aparece es una funcin de tipo
trascendente visto tambin anteriormente.
Ejercicio: Calclese la siguiente integral:
_
4
3
1

1 +x
2
dx.
Anlisis Matemtico 145
Nota
Las funciones f(x) que son cociente de sumas y productos de x y de

ax
2
+bx +c se pueden reducir a uno de los tres casos anteriores ya que
ax
2
+bx +c = a(x +b/2a)
2
b
2
/4a +c,
y por tanto, si hacemos un primer cambio u = x +b/2a y posteriormente
a) si a > 0 y b
2
4ac > 0, hacemos un nuevo cambio, t =

au

b
2
4ac
, resulta
una integral del tipo

t
2
1
b) Si a > 0 y b
2
4ac < 0, hacemos un nuevo cambio, t =

au

cb
2
/4a
, resulta
una integral del tipo

t
2
+ 1.
c) Si a < 0 y b
2
4ac < 0, hacemos un nuevo cambio, t =

au

cb
2
/4a
resulta
una integral del tipo

1 t
2
6.2.3. Relacin de ejercicios
1. Calclense las siguientes integrales:
a)
_
3
2
1+2xx
2
x
4
4x
3
+7x
2
6x+2
dx.
b)
_
/2
/4
dx
senxtgx
.
c)
_
3/2
0
dx
2+cosx
.
d)
_
1
0
dx
coshx
.
e)
_
3
2
dx

x
2
2
f)
_
3/2
1
dx
x
2

4x
2
.
g)
_
2
1
dx
(4+x
2
)
3/2
.
2. Prubense las siguientes igualdades:
_
3
0
dx

9 x
2
=

2
,
_
/2
0
cos x dx

1 senx
= 2,
_
+

dx
e
x
+e
x
=

2
,
_
+
0
e

x
dx

x
= 2,
_
1
0
log(x) dx = 1
6.3. APLICACIONES DEL CLCULO INTEGRAL 147
6.3. Aplicaciones del clculo integral
Sumario
En esta leccin presentaremos varias aplicaciones del clculo integral. La idea
que subyace en todas las aplicaciones que vamos a ver en esta leccin es que la
integral puede verse como un procedimiento de "paso al lmite"de la suma. As
mismo, conviene sealar que en esta leccin nos basta con la idea intuitiva del
concepto de rea y que ms adelante deniremos con todo rigor. El contenido
completo de esta leccin se articula de la siguiente manera:
6.3.1 La integral como "paso al lmite".
6.3.2 Clculo del rea de un recinto plano.
6.3.3 Clculo de longitud de una curva.
6.3.4 Clculo del volumen y del rea de un slido de revolucin.
6.3.5 Relacin de ejercicios.
6.3.1. La integral como paso al lmite
La idea central en todo lo que sigue es que si f es una funcin integrable en
un intervalo dado, la integral de dicha funcin puede obtenerse como el lmite de
una cierta sucesin. Escribamos esta idea de forma ms concreta:
Sean[a, b] un intervalo , P = t
0
, t
1
, ..., t
n
una particin de dicho intervalo e
I
k
= [t
k1
, t
k
], con k 1, 2, ..., n la familia de todos los subintervalos que genera
dicha particin en el intervalo [a, b]. Se llama dimetro de la particin P, (P),
al mximo de las longitudes de los subintervalos, esto es
(P) = Maxl(I
k
) = t
k
t
k1
; k = 1, 2, ..., n.
Se puede probar que si f es una funcin acotada en [a, b] y P
n
es una sucesin
de particiones del intervalo [a, b] cuya sucesin de dimetros, (P
n
), tiende a
cero, entonces:
1) La sucesin de las sumas superiores S(f, P
n
) converge a
_
b
a
f(x)dx esto es, a
_
b
a
f(x)dx = InfS(f, P) : P particin de [a, b].
2) La sucesin de las sumas inferiores I(f, P
n
) converge a
_
b
a
f(x)dx., esto es, a
_
b
a
f(x)dx = SupI(f, P) : P particin de [a, b].
148 6.3. Aplicaciones del clculo integral
Y por tanto, si f es integrable en el intervalo [a, b], entonces la sucesin S(f, P
n
)
y la sucesin I(f, P
n
) convergen a la integral de f.
En particular, si P
n
es la sucesin de particiones del intervalo [a, b] tal que,
para cada n, todos los subintervalos que generan I
n
k
, son de longitud (b a)/n,
entonces
lim
n

k=1
f(y
n
k
)(b a)/n =
_
b
a
f(x)dx,
siempre que, para cada n N, y
n
k
I
n
k
.
Esta idea es el hilo conductor de toda la leccin. En un primer momento la
usamos para resolver problemas de distinta naturaleza.
1) Problema matemtico
A modo de ejemplo podemos probar que lim
n

1+2+...+n
n
2
= 1/2, ya que
lim
n

k=1
k/n
2
= lim
n

k=1
(k/n)1/n =
_
1
0
xdx,
donde la funcin f considerada es la restriccin de la funcin identidad al
intervalo [0, 1].
2) Problema de tipo econmico.
Supongamos que un negocio obtiene en sus primeros das los siguientes
benecios
das 1 2 3 4
Euros 8 17 32 53
El propietario tiene razones sucientes para creer que el negocio continuar
creciendo siguiendo la pauta de los primeros das, a saber el benecio de
cada da t, seguir la ley B(t) = 3t
2
+ 5. Para hacer el clculo del benecio
anual, siguiendo indicaciones de un economista, considera adems que la ley
del benecio es la funcin continua descrita anteriormente. Cul ser este
benecio anual?
La estrategia a seguir ser considerar una sucesin de particiones del
intervalo [0, 365] cuya sucesin de dimetros tiende a cero. De hecho pode-
mos considerar que, para cada particn, todos los subintervalos son de igual
longitud (P
n
). A continuacin se construyen las sumas integrales asociadas
a la funcin B(t) considerando como valor de cada subntervalo su extremo
derecho. El paso al lmite nos dar como benecio anual
B =
_
365
0
3t
2
+ 5dt.
3) Problema de tipo fsico
Supngase que queremos calcular la fuerza de atraccin de un varilla
metlica de masa M y de longitud l y una masa puntual m situada en la
direccin de la varilla y cuya distancia al extremo ms lejano es L.
Anlisis Matemtico 149
La estrategia a seguir ser considerar una sucesin de particiones del
intervalo [0, l] cuya sucesin de dimetros tiende a cero. De hecho podemos
considerar que, para cada particn, todos los subintervalos son de igual lon-
gitud (P
n
). A continuacin se construyen las sumas integrales asociadas a
la funcin f(t) = G
Mm
l(Lt)
2
considerando como valor de cada subntervalo su
extremo derecho. El paso al lmite nos dar como fuerza de atraccin F.
F =
_
l
0
f(t)dt.
6.3.2. Clculo del rea de un recinto plano
La segunda de las aplicacin ya fue presentada al inicio de la leccin I.9.
Sea f : [a, b] R
+
0
una funcin continua y sea
R(f) = (x, y) R
2
; a x b, 0 y f(x).
Siguiendo el mtodo de exhaucin y el apartado anterior, se tiene que el "rea"del
conjunto R(f), A(R(f)), viene dada por la siguiente frmula.
A(R(f)) =
_
b
a
f(x)dx.
De manera ms general, dadas f, g : [a, b] R dos funciones integrables,
vericando que, para cada x [a, b], f(x) g(x) podemos considerar el recinto
R(f, g) = (x, y) R
2
; a x b, f(x) y g(x).
Es ahora fcil probar que el rea de dicho recinto A(R(f, g))), verica
A(R(f, g)) = [
_
b
a
(f(x) g(x))dx[.
Considrense por ejemplo las funciones f, g : [0, 2] R, denidas por f(x) = x
2
y g(x) =

x, y el recinto R(f, g), comprendido entre las correspondientes grcas


0.5 1 1.5 2
1
2
3
4
Es claro que rea de dicho recinto A(R(f, g))), verica
A(R(f, g)) = [
_
1
0
(x
2

x)dx[ +[
_
2
1
(x
2

x)dx[ = 3 4/3

2.
Ejercicio: Calcular el rea de una elipse.
150 6.3. Aplicaciones del clculo integral
6.3.3. Clculo de la longitud de una curva
Una curva en el plano no es mas que una funcin continua denida en un
intervalo cerrado y acotado y con valores en R
2
.
Sea : [a, b] R
2
una curva en el plano. Tal como hicimos en la leccin
I.3 con la semicircunferencia unidad, podemos denir, supuesto que exista dicho
supremo, la longitud de la curva por
l() = Supl(
P
); P particin de [a, b],
donde para cada particin P = t
0
, t
1
, ..., t
n
, consideramos la poligonal
P
de
vrtices ((t
0
), (t
1
)), ..., (t
n
)). De hecho, se sabe que,
l(
P
) = dist((t
0
), (t
1
)) +... +dist((t
n1
), (t
n
)).
Es fcil probar que si P
n
es una sucesin de particiones del intervalo [a, b],
cuyos dimetros tienden a cero, entonces la sucesin l(
P
n
) tiende a l().
Usando esta propiedad y el hecho general ya comentado de que la integral es el
lmite de una conveniente suma, obtenemos que,
Si existen dos funciones de clase (
1
en el intervalo [a, b] tales que (t) = (f(t), g(t)),
entonces
l() =
_
b
a
_
[f

(x)]
2
+ [g

(x)]
2
dx.
En orden a justicar la frmula anterior conviene subrayar que para cada
particin P = t
0
, t
1
, ..., t
n
y k 1, 2, ..., n,
dist((t
k1
), (t
k
)) = dist[(f(t
k1
), g(t
k1
)), (f(t
k
)), g(t
k
))] =
=
_
[f(t
k1
) f(t
k
)]
2
+ [g(t
k1
) g(t
k
)]
2
,
pero, por el teorema del valor medio, sabemos que existen sendos x
k
e y
k
tales que
f(t
k1
) f(t
k
) = f

(x
k
)(t
k
t
k1
),
y
g(t
k1
) g(t
k
) = g

(y
k
)(t
k
t
k1
),
luego
dist((t
k1
), (t
k
)) = (t
k
t
k1
)
_
(f

(x
k
))
2
+ (g

(y
k
))
2
,
y por tanto
l(
P
) =
n

k=1
(t
k
t
k1
)
_
(f

(x
k
))
2
+ (g

(y
k
))
2
,
por lo que nalmente basta aplicar que la integral no es ms que un paso al lmite.
En particular si f (
1
([a, b]) la longitud de su grca,
l(Graf(f)) =
_
b
a
_
1 + (f

(x))
2
dx.
Ejercicio: Calcular la longitud de una circunferencia de radio r.
Anlisis Matemtico 151
6.3.4. Clculo del volumen y del rea de un slido de
revolucin
Slidos de revolucin
Sea f : [a, b] R una funcin continua cuya grca se encuentra en el
semiplano superior. Supongamos que el recinto R(f), denido como en el segundo
apartado, gira alrededor del eje x. El conjunto as generado es llamado el slido
de revolucin generado por f al girar sobre el eje x, el cual es el subconjunto
de R
3
, denido por
S
x
(f) = (x, y, z) R
3
; a x b, y
2
+z
2
f(x)
2
.
152 6.3. Aplicaciones del clculo integral
Considrese por ejemplo la funcin identidad restringida al intervalo [1, 3]. En la
siguiente gura vemos el correspondiente R(f)
-1 1 2 3 4
0.5
1
1.5
2
2.5
3
y por tanto el correspondiente slido de revolucin es el siguiente tronco de cono
0
1
2
3
4
-2
0
2
-2
0
2
0
1
2
3
4
-2
0
2
rea lateral
Se puede probar que el "rea lateral"de S
x
(f), A(S
x
(f)) se obtiene mediante
la frmula:
A(S
x
(f)) = 2
_
b
a
f(x)
_
1 +f

(x)
2
dx.
Para justicar la frmula anterior basta considerar para cada particin del in-
tervalo [a, b] y cada subintervalo que sta genera el tronco de cono correspondiente.
Por ejemplo considrese la semiesfera de radio uno,
Anlisis Matemtico 153
0
0.25
0.5
0.75
1
-1
-0.5
0
0.5
1
-1
-0.5
0
0.5
1
0
0.25
0.5
0.75
1
-1
-0.5
0
0.5
1
y los dos troncos de cono asociados a la particin P = 0, 1/2, 1
0
0.25
0.5
0.75
1
-1
-0.5
0
0.5
1
-1
-0.5
0
0.5
1
0
0.25
0.5
0.75
1
-1
-0.5
0
0.5
1
Obsrvese que la suma de las reas laterales de estos dos troncos de cono es
menor que el rea lateral de la semiesfera y que, a medida que tomemos particiones
con ms puntos, la suma de las reas laterales de los correspondientes troncos de
cono sigue siendo menor que el rea lateral de la semiesfera pero cada vez ms
ajustada a sta.
En tal caso, el rea lateral se obtiene como paso al lmite de la suma de las
reas laterales de los correspondientes troncos de cono, sin ms que usar el hecho
de que el rea lateral de un tronco de cono es (R+r)s, donde R es el radio mayor,
r el radio menor y s es la "generatriz truncada".
Ejercicio: Calcular el rea de una esfera.
154 6.3. Aplicaciones del clculo integral
Volumen
Podemos ahora considerar el volumen del slido generado por giro alrededor del
eje x. Es fcil ver que el "volumen"de S(f), V (S
x
(f)) se puede obtener mediante
la frmula
V (S
x
(f)) =
_
b
a
f(x)
2
dx.
Esta frmula se obtiene considerando el volumen del slido de revolucin como
el "paso al lmite "de la suma de volmenes de cilindros apropiados.
Si f es una funcin no negativa continua con 0 / [a, b], y hacemos girar el
recinto R(f) alrededor del eje y, obtenemos un nuevo slido de revolucin
S
y
(f) = (x, y, z) R
3
; a
2
x
2
+z
2
b
2
, 0 y f(
_
x
2
+y
2
.
En este caso, su volumen, V (S
y
(f)), puede ser calculado como sigue:
V (S
y
(f)) = 2
_
b
a
xf(x)dx.
Ejercicio: Calclese el volumen de un elipsoide de semiejes a, b, c y de un toro
generado al girar, alrededor del eje y, el disco de centro (2,0) y radio 1.
6.3.5. Relacin de ejercicios
1.- Calcular las siguientes reas:
a) Area limitada por las curvas y = x
2
y y
2
= 8x
b) Area limitada por y = xe
x
2
, el eje x, la recta x = 0 y la la recta x = a,
donde a es la abscisa del punto donde la funcin f(x) = xe
x
2
alcanza el
mximo.
c) Area de la gura limitada por la curva y = x(x 1)(x 2) y el eje x.
d) Area comprendida entre la curva y = tg(x), el eje OX y la recta x = /3.
e) Area del recinto limitado por las rectas x = 0, x = 1, y = 0 y la grca
de la funcin f : R R denida por f(x) =
1
(1 +x
2
)
2
f) Area de la supercie obtenida por la revolucin de la parbola y
2
= 4x y
la recta x = 5 alrededor del eje x.
g) Hallar el rea del recinto limitado por las grcas de f(x) = coshx y
g(x) = shx, en el primer cuadrante.
2.- Hallar la longitud de la curva y =
x
4
+ 48
24x
en [2, 4]
3.- Hallar la longitud de la curva y = log(1 x
2
) en [1/3, 2/3].
Anlisis Matemtico 155
4.- Hllese la longitud de la catenaria, esto es, la grca de la funcin f denida
por
f : [a, a] R : f(x) =
1
2
a(e
x/a
+ e
x/a
)
5.- Al girar alrededor del eje x, el segmento de curva y =

x comprendido entre
las abscisas 0 y a, engendra un tronco de paraboloide de revolucin cuya
supercie equivale a la de una esfera de radio
_
13/12. Hllese el valor de a.
6.- Calclese el volumen del slido de revolucin generado por la curva y =
sen
2
(x), x [0, ], cuando sta gira en torno al eje x.
7.- Hallar el volumen generado al girar alrededor del eje OX la grca de f(x) =
18x
x
2
+ 9
.
8.- Calcular el volumen del slido generado al girar la regin limitada por x = y
2
e y = x
2
a

alrededor del eje x.


b

alrededor del eje y.


9.- Idntico ejercicio que el anterior para la regin limitada por las rectas y = 1,
x = 1 y la curva y = x
3
+ 2x + 1.
Captulo 7
Clculo integral en varias
variables
7.1. Integral de Lebesgue
Sumario
El objetivo de esta leccin es presentar, a vista de pjaro, la integral de
Lebesgue. El contenido completo de esta leccin se articula de la siguiente manera:
7.1.1 Por qu una nueva integral?
7.1.2 Conjuntos medibles.
7.1.3 Funciones medibles. Integral de Lebesgue.
7.1.4 Funciones Integrables.
7.1.5 Propiedades.
7.1.1. Por qu una nueva integral?
Hacia nales del siglo XIX result claro para muchos matemticos que la
integral de Riemann tiene importantes limitaciones, es sabido por ejemplo su mal
comportamiento con ciertos procesos de convergencia. sta y otras limitaciones
que ahora veremos, obligaron a realizar nuevos intentos de construccin de otras
integrales. Entre estos intentos destacan los debidos a Jordan, Borel, Young y
nalmente el de Lebesgue, que result ser el ms exitoso.
En lo que respecta nosotros, nos interesa destacar las siguientes limitaciones:
157
158 7.1 Integral de Lebesgue
1) El conjunto de funciones integrables es relativamente pequeo: Hay funciones
sencillas que no son integrables. Recurdese por ejemplo que la funcin de
Dirichlet, esto es, la funcin, f : [0, 1] R denida por
f(x) =
_
0 si x es racional
1 si x es irracional
no es integrable.
2) Su extensin a varias variables tiene algunas dicultades.
Ambos problemas estn ntimamente relacionados con el hecho de ampliar el
concepto de medida a otros conjuntos de nmeros reales no necesariamente inter-
valos y por extensin a otros subconjuntos de R
n
. Las cuestiones pues a resolver
son varias: qu conjuntos se pueden medir?, cmo medirlos? , qu funciones se
pueden integrar? y cmo hallar su integral?
7.1.2. Conjuntos medibles
1.- Conjuntos que se pueden medir.
Veamos primero algunos conjuntos que deben estar forzosamente entre la
familia de los conjuntos "medibles".
Dado I un subconjunto de R
n
diremos que es un intervalo (respectiva-
mante intervalo acotado), si existen I
1
, I
2
, ..., I
n
intervalos (respectivamante
intervalos acotados) de nmeros reales tales que
I = I
1
I
2
... I
n
.
Veamos cmo aadir a partir de aqu nuevos conjuntos.
Se dice que una familia / de subconjuntos de R
n
es una -lgebra si
i) R
n
/,
ii) Si A
n
es una sucesin en /, entonces
nN
A
n
/, y
iii) Si A / entonces R
n
A /.
Por otra parte, si o es una familia de subconjuntos de R
n
, entonces
existe una menor -lgebra en R
n
conteniendo a o , que denominaremos la
-lgebra engendrada por o.
En una primera etapa vamos a considerar la -lgebra engendrada por
la familia de los conjuntos de los intervalos acotados, familia que llamare-
mos -lgebra de Borel, B, mientras que a sus elementos los llamaremos
borelianos. Para hacernos idea de lo grande que es esta familia tengamos en
cuenta que los todos los conjuntos abiertos son borelianos.
Nota
Anlisis Matemtico 159
Obsrvese que los conjuntos que resultan de la interseccin numerable de
abiertos (conjuntos tipo G

), no necesariamente abiertos, y los conjuntos que


resultan de la unin numerable de cerrados, conjuntos tipo F

, no necesaria-
mente cerrados, son tambin conjuntos borelianos.
2.- Veamos ahora Cmo medir dichos conjuntos.
Una vez elegida la familia de conjuntos medibles el problema es asignarle
una medida.
Es claro que si I es un intervalo acotado, entonces su medida debe coincidir
con su volumen, esto es, medida(I) = V (I), y claro est
V (I) = l(I
1
)l(I
2
)...l(I
n
),
donde l(I
k
) = b
k
a
k
, siempre que I
k
= [a
k
, b
k
].
A partir de aqu, podemos denir, para cada A B, la medida , mediante
(A) := Inf

n=1
v(I
n
); A
nN
I
n
, I
n
intervalo acotado, n N.
A dicha medida se le llama medida de Borel-Lebesgue.
Sabemos que existen conjuntos A borelianos de medida cero, (A) = 0,
que contienen subconjuntos no medibles. Parece pues conveniente aadir a la
-lgebra de Borel estos subconjuntos.
Consideremos pues /la mnima -lgebra que contiene simultneamente
a la -lgebra de Borel y a todos los subconjuntos de los elementos de sta
que son de medida nula. Sus elementos se denominan conjuntos medibles-
Lebesgue o simplemente medibles.
Los conjuntos medibles se pueden representar por E = A N, donde A
es un boreliano y N es un subconjunto de un boreliano de medida nula.
Podemos ahora denir una nueva medida, que notaremos igualmente por
y que llamaremos medida de Lebesgue y que viene dada por
(E) = (A),
siempre que E = A N, y donde (N) = 0.
Dicha medida posee la propiedad de la aditividad numerable, i.e., para
cualquier familia de conjuntos A
n
: n N de la -lgebra /, disjuntos dos
a dos, se verica
(
_
nN
A
n
) =

n=1
(A
n
).
Como consecuencia de la denicin se pueden obtener las siguientes
propiedades:
160 7.1 Integral de Lebesgue
1. Si A, B / y A B entonces (A) (B).
2. (

n=1
A
n
)

n=1
(A
n
) A
n
/.
3. extiende el volumen de un intervalo, esto es, si I =

n
k=1
I
k
es un
intervalo acotado en R
n
, entonces (I) = v(I) =

n
k=1
l(I
k
)).
Se dice que una propiedad P relativa a un punto x R
n
se verica casi
por doquier (c.p.d.), si el conjunto de puntos C donde dicha propiedad no
se verica es un conjunto de medida cero, esto es, (C) = 0.
7.1.3. Funciones medibles. Integral de Lebesgue
3.- Tipos de funciones que se pueden integrar
Una funcin f : R
n
R se llama medible si f
1
(I) / para todo
intervalo abierto I.
Como ejemplos de funciones medibles, se pueden mencionar:
- las funciones continuas c.p.d.,
- funciones iguales c.p.d. a una funcin continua,
- las funciones caractersticas de los conjunto medibles.
Recurdese que si A es un subconjunto de R
n
, se llama funcin caracterstica
de A,
A
, a la funcin
A
: R
n
R, denida por

A
(x) =
_
1 si x A
0 si x / A
4.- Cmo hallar su integral
Comencemos ahora con las funciones ms sencillas y veamos cmo asignarle
una integral
Una funcin medible s : R
n
R se dice simple si slo toma un nmero
nito de valores.
Toda funcin simple s puede representarse por
s =
n

i=1

A
i
,
donde s(R
n
) =
1
, . . . ,
n
, A
i
:= x R
n
: s(x) =
i
y
A
i
es la funcin
caracterstica de A
i
.
Anlisis Matemtico 161
Si
i
0 i, se dene la integral de s por :
_
R
n
sd =
n

i=1

i
(A
i
).
El teorema de aproximacin de Lebesgue nos asegura que toda funcin
f medible positiva (f 0) es lmite de una sucesin creciente 0 s
1

s
2
... f de funciones simples que converge puntualmente a f (lms
n
(x) =
f(x) x R
n
).
A partir de aqu denimos la integral de la funcin f por
_
R
n
f d := lm
k
_
R
n
s
k
d
Se puede comprobar que dicha denicin no depende de la sucesin s
k
elegi-
da.
7.1.4. Funciones integrables
Dada una funcin medible f : R
n
R, se dice que f es integrable si
_
R
n
[f[ d < .
En tal caso se dene la integral de f por
_
R
n
f d =
_
R
n
f
+
d
_
R
n
f

d,
donde f
+
= Maxf, 0 y f

= Maxf, 0 (ntese que ambas funciones son


medibles positivas).
Notaremos por L al espacio formado por las funciones medibles que son
integrables en R
n
, esto es
L = f : R
n
R medible;
_
R
n
[f[ d < .
Podemos ahora considerar la integrabilidad en conjuntos medibles.
Dado E / y una funcin medible f : D R, (E D R
n
), podemos
considerar la funcin f
E
como la extensin de f a todo R
n
, que se anula fuera
de E.
162 7.1 Integral de Lebesgue
Se dice que f es integrable en E, si f
E
L, y en tal caso se dene la
integral de f en E por
_
E
f d :=
_
R
n
f
E
d.
Dicha integral recibe el nombre integral de Lebesgue de f en E.
Dado E /, notaremos por L(E) al espacio formado por las funciones
medibles que son integrables en E.
7.1.5. Propiedades
Comentemos algunas de sus propiedades ms interesantes:
1) L(E) es un espacio vectorial y
_
E
(rf +g) d = r
_
E
f d +
_
E
g d, (r R, f, g L(E)).
2)
[
_
E
f d[
_
E
[f[ d, (f L(E))
3) Si f y g son medibles e iguales c.p.d., entonces f es integrable en E si, y slo
si, lo es g, y en tal caso
_
E
f d =
_
E
g d.
4) Sean E, A y B tres conjuntos medibles tales que E = A B y (A B) = 0.
Entonces f es integrable en E si, y slo si, f es integrable en A y B. Adems,
en caso armativo
_
E
f d =
_
A
f d +
_
B
f d.
5) (E) =
_
E
1 d.
6)
Teorema 7.1.1. ( del cambio de variable)
Sean U y V dos conjuntos abiertos de R
n
, y : U V una funcin biyectiva
de clase (
1
(U) cuyo jacobiano es no nulo en todo punto de U. Sea E un sub-
conjunto medible contenido en U y sea f : (E) R una funcin integrable.
Entonces
_
(E)
fd =
_
E
f [J

[d.
Veamos nalmente la relacin de sta nueva integral con la integral de Riemann.
Anlisis Matemtico 163
- Las funciones integrables de siempre son tambin integrables en el
sentido de Lebesgue
Sea n = 1 y sea E = [, ], con (, R). Si f es integrable en el sentido
de Riemann en E entonces f L(E) y en tal caso
_
E
f d =
_

f(x) dx.
- Aadimos nuevas funciones
La funcin de Dirichlet es integrable en el sentido de Lebesgue; de hecho, dado
que Q es de medida nula, se tiene que
_
[0,1]
f d = 1.
- Tambin las funciones absolutamente integrables quedan bajo con-
trol
En el caso en que admitamos que puede ser y a su vez +, y que
f sea una funcin continua en I =], [, [f[ es "impropiamente"integrable en
el sentido de Riemann en I si, y slo si, f L(I), y en tal caso
_
I
[f[ d =
_

[f(x)[ dx.
- Seguimos teniendo las propiedades ms interesantes de la integral
de Riemann
a)
Teorema 7.1.2. (Regla de Barrow) Si f L(I) y admite primitiva
G, entonces existen los lmites de G en y en , y adems se tiene
_
I
f d = lm
x
G(x) lm
x
G(x).
En consecuencia,
b)
Teorema 7.1.3. (de integracin por partes) Sean f, g : I R
dos funciones derivables tales que f

g y fg

L(I). Entonces existen los


lmites de fg en y en , y adems se tiene
_
I
fg

d = lm
x
f(x)g(x) lm
x
f(x)g(x)
_
I
fg

d.
c)
Teorema 7.1.4. (del cambio de variable) Si : I R es una
funcin derivable, con

(t) ,= 0 y f : (I) R es una funcin medible,


entonces f L((I)) si, y slo si, f .

L(I) y
_
(I)
f d =
_
I
f .

d.
7.2. TCNICAS DE INTEGRACIN EN VARIAS VARIABLES 165
7.2. Tcnicas de integracin en varias variables
Sumario
En esta leccin vamos a introducir la integracin en varias variables. Entre
otros problemas nos encontramos con el hecho de que no se dispone de ningn
procedimiento elemental comparable a la Regla de Barrow. Esta contrariedad se
resolver con una tcnica fundamental: Teorema de Fubini, que relaciona la integral
en R
n
con integraciones sucesivas en espacios de menor dimensin. Siguiendo este
proceso acabaremos nalmente integrando en una de las variables. El contenido
completo de esta leccin se articula de la siguiente manera:
7.2.1 Teorema de Fubini.
7.2.2 Cambio de coordenadas.
7.2.3 Relacin de ejercicios.
7.2.1. Teorema de Fubini
Como era de esperar, la denicin de integral no es til para el clculo de
dicha integral. Recurdese que este problema, en el caso de intervalos de nmeros
reales, se resolvi en R usando la regla de Barrow, pero esta herramienta no est
disponible ni en R
2
ni en R
3
. Nuestro siguiente resultado trata de resolver esta
dicultad, relacionando la integral mltiple con sucesivas integrales en R. Para
ello, consideremos las siguientes observaciones:
Sea E R
p+q
, notaremos, para cada x R
p
, por
E(x) = y R
q
: (x, y) E.
Anlogamente, notaremos, para cada y R
q
, por
E(y) = x R
p
: (x, y) E.
Es fcil probar que si E es un subconjunto medible de R
p+q
, entonces E(x) y
E(y) son subconjuntos medibles respectivamente de R
p
y R
q
.
Teorema 7.2.1. (Teorema de Fubini.Caso p = 1, q = 1)
Sea E R
2
medible y sea f : E R una funcin integrable, entonces
_
E
f(x, y)d(x, y) =
_

1

1
[
_
E(x)
f(x, y)dy]dx =
_

2

2
[
_
E(y)
f(x, y)dx]dy,
166 7.2 Tcnicas de integracin en varias variables
siendo
1
= Inf E
1
,
1
= Sup E
1
,
2
= Inf E
2
,
2
= Sup E
2
, donde
E
1
= x R; E(x) ,=
y
E
2
= y R; E(y) ,=
En particular, cuando E = I J, siendo I, J intervalos de R, entonces
_
E
f(x, y) =
_
I
[
_
J
f(x, y)dy]dx =
_
J
[
_
I
f(x, y)dx]dy.
Ejemplo: Calcular el rea de la elipse de semiejes a y b.
Teorema 7.2.2. (Teorema de Fubini. Caso p = 2, q = 1)
Sea E R
3
medible y sea f : E R una funcin integrable, entonces
_
E
f(x, y, z)d(x, y, z) =
_

3

3
[
_
E(z)
f(x, y)d(x, y)]dz,
siendo
3
= Inf E
3
,
3
= Sup E
3
, donde
E
3
= z R; E[z] ,=
y a su vez
E[z] = (x, y) R
2
; (x, y, z) E.
Anlogamente se podra hacer, para (p = 1, q = 2) sin ms que considerar los
conjuntos E[x] y E[y].
Ejercicio: Calclese el volumen del elipsoide de semiejes a, b y c.
Principio de Cavalieri
Sea E un subconjunto medible de R
3
, tal que
E
1
= x R; E(x) ,= = [a, b].
Segn hemos visto en la leccin anterior su volumen, (E), viene dado por
(E) =
_
E
1 d(x, y, z),
por lo que aplicando el teorema de Fubini y la denicin de rea de subconjuntos
medibles de R
2
, se tiene que
(E) =
_
b
a
(
_
E(x)
1 d(y, z))dx) =
_
b
a
(E(x))dx.
Anlisis Matemtico 167
Dicha igualdad es conocida como el principio de Cavalieri.
Obsrvese que si E es el slido de revolucin generado por la grca de una
cierta f : [a, b] R
+
0
, aplicando el principio de Cavalieri, obtenemos que
V (E) =
_
b
a
f
2
(x)dx,
como ya habamos comentado anteriormente.
Ejemplo:
Un leador corta una pieza C con forma de cua de un rbol cilndrico de
radio 50 cm mediante dos cortes de sierra hacia el centro del rbol: uno horizontal
y otro con un ngulo /4. Calclese el volumen de dicha cua.
La integral en dos variables vista como un cierto volumen
Sea ahora A R
2
medible y f : A R un campo integrable en A tal que,
para cada (x, y) A, se tiene que f(x, y) 0. Obsrvese que como consecuencia
del teorema de Fubini, si
A
1
= x R; A(x) ,= = [a, b],
entonces
_
A
f(x, y)d(x, y) =
_
b
a
(
_
A(x)
f(x, y)dy)dx =
_
b
a
S(x)dx,
donde, para cada x [a, b], S(x) es el rea de la regin del plano comprendida
entre el eje x y la grca de la funcin g : A(x) R denida para cada y A(x)
por g(y) = f(x, y). Aplicando nalmente el principio de Cavalieri, la integral
_
A
f(x, y)d(x, y)
puede interpretarse como el volumen del slido comprendido entre el plano
z = 0 y la grca del campo escalar f.
Ejemplo:
Calclese el volumen de madera eliminado al taladrar, hasta el centro, una
esfera de madera de radio 9 con una broca de radio 1.
168 7.2 Tcnicas de integracin en varias variables
7.2.2. Cambio de coordenadas
Es posible que convenga cambiar la funcin inicial por otra funcin. Este
cambio ser arbitrado por el teorema del cambio de variable, que suele usarse en
alguna de las siguientes formas concretas:
Coordenadas polares, n = 2
Tomamos U = R
+
] , [ , V = R
2
(x, 0); x 0, y la aplicacin
: U V denida por
(, ) = (cos, sen).
En este caso
detJ

(, ) = > 0, (, ) U,
y por tanto
_
E
f(x, y)d(x, y) =
_

1
(E)
f(cos, sen)d(, ).
Ejercicio: Sea E = (x, y) R
2
; x
2
+y
2
r
2
. Calclese
_
E
1d(x, y).
Coordenadas cilndricas, n = 3
Tomamos U = R
+
] , [R , V = R
3
(x, 0, z); x 0, y la aplicacin
: U V denida por
(, , z) = (cos, sen, z).
En este caso
detJ

(, , z) = > 0, (, , z) U,
y por tanto
_
E
f(x, y, z)d(x, y, z) =
_

1
(E)
f(cos, sen, z)d(, , z).
Ejercicio: Sea E = (x, y, z) R
3
; x
2
+ y
2
r
2
; 0 z h, con r, h > 0.
Calclese
_
E
1d(x, y, z).
Coordenadas esfricas, n = 3
Tomamos U = R
+
] , [] /2, /2[ , V = R
3
(x, 0, z); x 0, y la
aplicacin : U V denida por
(, , ) = (coscos, sencos, sen).
Anlisis Matemtico 169
En este caso
detJ

(, , ) =
2
cos > 0, (, , ) U,
y por tanto
_
E
f(x, y, z)d(x, y, z) =
_

1
(E)
f(coscos, sencos, sen)
2
cosd(, , ).
Ejercicio: Sea E = (x, y, z) R
3
; x
2
+ y
2
+ z
2
r
2
, con r > 0. Calclese su
volumen.
7.2.3. Relacin de ejercicios
1) Calclense las siguientes integrales:
a)
_
I
sen
2
x sen
2
y d(x, y), I = [0, ] [0, ].
b)
_
I
x
2
1 +y
2
d(x, y), I = [0, 1] [0, 1].
c)
_
I
y logx d(x, y), I = [1, e] [1, e].
d)
_
I
x
3
y
3
d(x, y), I = [0, 1] [0, 1].
e)
_
I
1
(1 +x +y)
2
d(x, y), I = [0, 1] [0, 1].
f)
_
I
x log(xy) d(x, y), I = [2, 3] [1, 2].
g)
_
I
y cos(xy) d(x, y), I = [0, 1] [1, 2].
2) Sea f : A R , calclese su integral en los siguientes casos:
a) f(x, y) = 1 siendo A la regin limitada por y
2
= x
3
, y = x.
b) f(x, y) = x
2
siendo A la regin limitada por xy = 16, y = x, y = 0, x = 8.
c) f(x, y) = x siendo A el tringulo de vrtices (0, 0), (1, 1), (0, 1).
d) f(x, y) = x siendo A la regin limitada por la recta que pasa por (0, 2) y
(2, 0) y la circunferencia de centro (0, 1) y radio 1.
e) f(x, y) = e
x
y
siendo A la regin limitada por y
2
= x, x = 0, y = 1.
f) f(x, y) =
x
x
2
+y
2
siendo A la regin limitada por y =
x
2
2
, y = x.
g) f(x, y) = xy
2
siendo A la regin limitada por y
2
= 2x, x = 1.
h) f(x, y) = xy siendo A la regin limitada por la semicircunferencia superior
(x 2)
2
+y
2
= 1 y el eje OX.
i) f(x, y) = 4 y
2
siendo A la regin limitada por y
2
= 2x y y
2
= 8 2x
j) f(x, y) = e
x
2
siendo el conjunto A el tringulo formado por las rectas
2y = x, x = 2 y el eje x
170 7.2 Tcnicas de integracin en varias variables
3) Calclese
_
A
f en cada uno de los casos siguientes:
a) f(x, y) = 1 x y, A = (x, y) [0, 1] [0, 1]; x +y 1
b) f(x, y) = x
2
+y
2
, A = (x, y) [0, 1] [0, 1]; x
2
+y
2
1
c) f(x, y) = x +y, A = (x, y) [0, 1] [0, 1]; x
2
y 2x
2

d) f(x, y) = x
2
y
2
, A = (x, y) R
2
; 0 x 1, 0 y x
e) f(x, y) = y
2
, A = (x, y) R
2
; x
2
+y
2
r
2

f) f(x, y) = 1, A = (x, y) R
2
; x
2
+y
2
1, x
2
+y
2
2x
g) f(x, y) = 1, A = (x, y) R
2
; x
2
+y
2
r
2

h) f(x, y) = cos(x
2
+y
2
), A = (x, y) R
2
; x
2
+y
2
/2
i) f(x, y) =
1
(1 +x
2
+y
2
)
2
, A = (x, y) R
2
; x
2
+y
2
1, x 0
j) f(x, y) =
y
x
2
, A = (x, y) R
2
; 0 x 1, 0 y x
k) f(x, y) =
1
_
4 x
2
y
2
, A = (x, y) R
2
; x
2
+y
2
1
l) f(x, y) = x y, A = (x, y) R
2
; x 0, y 0, 1 x
2
+y
2
2
m) f(x, y) = x
2
y, A = (x, y) R
2
; 1 x
2
+y
2
4, x 0
n) f(x, y) = x, A = (x, y) R
2
; x 0, y 0, x
2
+y
2
1, x
2
+y
2
2x
0
4) Utilcese el cambio a coordenadas polares para el clculo de las integrales de
las siguientes funciones en los recintos que se indican:
a) f(x, y) =
_
1 x
2
y
2
, A =

B((0, 0), 1)
b) f(x, y) = y, A = (x, y) B((
1
2
, 0),
1
2
) : y 0
c) f(x, y) = x
2
+y
2
, A =

B((1, 0), 1)
d) f(x, y) = x
2
+y
2
, A = (x, y) R
2
: 4 x
2
+y
2
9
5) Calclense las siguientes integrales dobles:
a) f(x, y) = x, A = (x, y) R
2
: x
2
+y
2
2x
b) f(x, y) = x
_
1 x
2
y
2
, A = (x, y) R
2
: x
2
+y
2
1, x, y 0
c) f(x, y) = exp(
x
y
), A = (x, y) R
2
: y
3
x y
2
, x 0, y 0
d) f(x, y) = (x
2
+y
2
)

3
2
, A = (x, y) R
2
: x y, x+y 1, x
2
+y
2
1
e) f(x, y) = x
2
+y
2
, A = (x, y) R
2
: (x
2
+y
2
)
2
4(x
2
y
2
), x 0
f) f(x, y) = x
2
+y
2
, A = (x, y) R
2
: x
2
+y
2
2y, x
2
+y
2
1, x 0
6) Calclese el volumen de la regin A denida por:
a) A = (x, y, z) R
3
; x
2
+y
2
+z
2
r
2
, x
2
+y
2
ry 0.
b) A = (x, y, z) R
3
; x
2
+y
2
1, x
2
+y
2
2, z(x
2
+y
2
) 1, z 0.
c) A = (x, y, z) R
3
; z
2
x
2
+y
2
z.
d) A = (x, y, z) R
3
; 0 z 1 (x
2
+y
2
).
7) Calclense las siguientes integrales triples:
Anlisis Matemtico 171
a)
_
I
1
(1 +x +y +z)
3
d(x, y, z), I = [0, 1] [0, 1] [0, 1].
b)
_
A
z e
(x
2
+y
2
)
d(x, y, z) , A = (x, y, z) R
3
; 2(x
2
+y
2
) z
2
, z 0, z
1.
c)
_
A
_
x
2
+y
2
+z
2
d(x, y, z) , A = (x, y, z) R
3
;
_
x
2
+y
2
z 4.
d)
_
A
(x +y 2z) d(x, y, z) , A = (x, y, z) R
3
; z
2
x
2
+y
2
, z 0, z
3.
e)
_
A
_
_
x
2
+y
2
+z
2
_
n
d(x, y, z) , A = (x, y, z) R
3
; x
2
+ y
2
+ z
2

a
2
(n N, a R
+
).
f) f(x, y, z) = (x + y + z)
2
, A = (x, y, z) R
3
: x
2
+ y
2
+ z
2
1, x
2
+
y
2
+z
2
2z
g) f(x, y, z) = z, A = (x, y, z) R
3
: x
2
+y
2
z
2
, 0 z 1
h) f(x, y, z) = x
2
, A = (x, y, z) R
3
: x 0, x
2
+y
2
+(z1)
2
1, 4z
2

3(x
2
+y
2
)
i) f(x, y, z) = zy
_
x
2
+y
2
A = (x, y, z) R
3
: 0 z x
2
+y
2
, 0 y

2x x
2

j) f(x, y, z) = z, A = (x, y, z) R
3
: x
2
+y
2
+z
2
2, x
2
+y
2
z
k) f(x, y, z) = z
2
, A = (x, y, z) R
3
: x
2
+y
2
+z
2
R
2
, x
2
+y
2
+z
2

2Rz
l) f(x, y, z) =
_
x
2
+y
2
+z
2
, A = (x, y, z) R
3
:
_
x
2
+y
2
z 3
8) Demustrese que
_

e
ax
2
/2
dx =
_
2/a, donde a > 0.
9) Calclese
_
A
f en cada uno de los casos siguientes:
a

f(x, y) = 1, A = (x, y) R
2
;
x
2
a
2
+
y
2
b
2
1
b

f(x, y) = 1, A = (x, y) R
2
;
x
2
4
+y
2
1, x
2
y
c

f(x, y, z) = z, A = (x, y, z) R
3
: x
2
+
y
2
4
+
z
2
9
1, z 0
d

f(x, y) = exp
_
yx
y+x
_
, A = (x, y) R
2
: x, y 0, x +y 2
Captulo 8
Ecuaciones diferenciales
8.1. Ecuaciones diferenciales ordinarias de primer
orden
Sumario
En esta leccin vamos a introducir las ecuaciones diferenciables (e.d.o.). Estas
ecuaciones suelen aparecer en todos los campos de la ciencia y de una forma ex-
taordinariamente prolca en el campo de la Fsica. El contenido completo de esta
leccin se articula de la siguiente manera:
8.1.1 Ecuaciones diferenciales ordinarias (e.d.o.)
8.1.2 e.d.o. lineal de primer orden.
8.1.3 e.d.o. de primer orden no lineal.
8.1.4 Relacin de ejercicios.
8.1.1. Ecuaciones diferenciales ordinarias
Una ecuacin diferencial ordinaria (e.d.o.) es una relacin funcional, F :
D R (D R
n+2
), entre una funcin desconocida y de una sola variable x y
sus derivadas,
F(x, y(x), y

(x), ..., y
n)
(x)) = 0.
Ejemplos:
(y

)
2
+ 1 = 0 (1)
y
(y

)
3
+y
2
= 0 (2).
173
174 8.1 Ecuaciones diferenciales ordinarias de primer orden
El orden de una ecuacin diferencial es el de la derivada de mayor orden
contenida en ella. El grado de una ecuacin diferencial es el exponente de la
derivada de mayor orden.
Ejemplo:
La ecuacin (1) es de orden uno y grado 2.
La ecuacin (2) es de orden 2 y grado 3.
Se llama solucin de la e.d.o. de orden n
F(x, y(x), y

(x), ..., y
n)
(x)) = 0
en un intervalo I a toda funcin real f : I R que verica las siguientes
propiedades:
1) f es n-veces derivable en I.
2) Para cada x I,
(x, f(x), f

(x), ..., f
n)
(x)) D.
3) F(x, f(x), f

(x), ..., f
n)
(x)) = 0, x I.
Con frecuencia a una solucin f de una e.d.o. se le llama una integral de la
ecuacin y a la grca una curva integral una curva solucin. Sellama solu-
cin general de una e.d.o. de orden n a una familia de funciones dependientes de
n parmetros constantes, de forma que para cada valor dado a cada una de las
constantes, se obtiene una solucin particular. Existen e.d.o. que presentan solu-
ciones que no provienen de la solucin general para ningn valor de las constantes.
Este tipo de soluciones de la e.d.o. se llaman soluciones singulares.
Al proceso de obtener todas las soluciones de la e.e.o. se le denomina integracin
resolucin de una e.d.o.
Las e.d.o. suelen responder a los planteamientos de algunos problemas fsicos.
En estos casos suelen aparecer algunas condiciones adicionales. Estas condiciones
iniciales se denominan condiciones iniciales. El problema de encontrar la solu-
cin de la correspondiente e.d.o. que verica estas condiciones iniciales se denomina
Problema de valores iniciales asociado a dicha e.d.o.
El planteamiento de un problema de valor inicial de una e.d.o. de primer orden
est sujeto a una sola condicin del tipo y(x
0
) = y
0
.
El planteamiento de un problema de valores iniciales de una e.d.o. de segundo
orden est sujeto a dos condiciones del tipo y(x
0
) = y
0
y y

(x
0
) = y
1
.
El planteamiento de un problema de valores iniciales de una e.d.o. de orden n
est sujeto a n condiciones del tipo y(x
0
) = y
0
, y

(x
0
) = y
1
, ..., y
n1)
(x
0
) = y
n1
.
Anlisis Matemtico 175
8.1.2. Teoremas de existencia y unicidad
Cuando se trata de encontrar una solucin particular de la e.d.o. que lo rige y que
cumple las condiones adicionales, parece conveniente que antes de aventurarnos en
la bsqueda de una tal solucin podamos saber si sta existe y una vez garantizada
la existencia, saber si sta es nica. Para la ecuaciones de primer orden tenemos el
siguiente
Teorema 8.1.1. Sea y

= f(x, y) , y(x
0
) = y
0
un problema de valores iniciales. Si
existe un rectngulo R del plano tal que (x
0
, y
0
) R
int
y vericando que f,
f
y

((R), entonces existe un intervalo I =]x
0
, x
0
+ [ con > 0 y una nica
funcin y = f(x) denida en I tal que la solucin de la e.d.o. que verica la
condicin adicional y
0
= f(x
0
).
Para las e.d.o. de orden superior disponemos de los siguientes resultados.
Teorema 8.1.2. Sea y
n)
+ p
n1
y
n1)
+ ...p
1
y

+ p
0
y = F(x) con p
0
, p
1
, ..., p
n
, F
funciones continuas en un intervalo abierto I con x
0
I y sujeto a n condiciones
del tipo y(x
0
) = y
0
, y

(x
0
) = y
1
, ..., y
n1)
(x
0
) = y
n1
. Entonces el problema de
valores iniciales correspondiente tiene una y slo una solucin y = f(x) denida
en el intervalo I.
Teorema 8.1.3. Sea una e.d.o. lineal de orden n y
n)
+p
n1
y
n1)
+...p
1
y

+p
0
y =
0 = 0, donde p
0
, p
1
, ..., p
n
son n funciones. Si y
1
, y
2
, ..., y
n
son soluciones de la
ecuacin anterior, entonces la combinacin lineal c
1
y1, c
2
y
2
, ..., c
n
y
n
tambin es
solucin.
8.1.3. Lineal de primer orden
Una ecuacin diferencial ordinaria se dice lineal de orden 1 si es de la forma:
y

+a(x)y = b(x),
donde b, a : I R, son dos funciones continuas denidas en un intervalo I de
nmeros reales. Si b(x) = 0, x I, se dice que dicha ecuacin es homognea.
Caso homogneo
Para resolver esta ecuacin vamos a comenzar considerando el caso homogneo.
En tal caso basta escribir y

(x)/y(x) = a(x), por lo que


log[y(x)] = A(x)
176 8.1 Ecuaciones diferenciales ordinarias de primer orden
donde A(x) es una primitiva de la funcin a(x). Y por tanto cualquier funcin
f(x) = Ce
A(x)
, C R
es solucin de la ecuacin.
Si ahora imponemos alguna condicin adicional del tipo y(x
0
) = y
0
, la solucin,
quedar determinada de forma nica al quedar determinada la primitiva (todas las
primitivas se diferencian en una constante).
Ejemplo: Resulvase el problema de valores iniciales:
y

= ky, y(0) = 1.
Caso no homogneo:
Es fcil probar que
g(x) = (C +B(x))e
A(x)
,
es una solucin de la ecuacin y

+a(x)y = b(x), donde C R, A(x) es cualquier


primitiva de a(x), y B(x) es cualquier primitiva de b(x)e
A(x)
.
Anlogamente, si jamos una condicin adicional del tipo y(x
0
) = y
0
, la solucin,
quedar determinada de forma nica.
8.1.4. e.d.o. de orden uno no lineal
Al contrario que en el caso lineal, puede ocurrir que una e.d.o. de orden uno
no tenga solucin, como ocurre con la ecuacin (1,) que un problema de valores
iniciales asociado a una tal ecuacin tenga ms de una solucin. As por ejemplo,
el problema de valores iniciales:
y

= (y/x)
2
, y(0) = 1
tiene al menos dos soluciones.
La resolucin de estas e.d.o. est supeditado a una clasicacin previa en distintos
tipos. La experiencia demostrar que muchas veces no ser posible expresar las
soluciones de forma explcita
Tipo I: Ecuaciones diferenciales de variable separables
Una e.d.o. de primer orden se dice de variables separables si es de la forma
y

= G(x, y),
Anlisis Matemtico 177
donde G = P(x)Q(y), donde P(x) y Q(y) son dos funciones continuas en sendos
intervalos, I y J, con Q(y) ,= 0, y J.
Se demuestra que una funcin f denida en el intervalo I es solucin de la
ecuacin anterior si satisface la siguiente igualdad, que la dene implcitamente:
B(f(x)) = A(x),
donde B es una primitiva de la funcin 1/Q(y) y A es una primitiva de P(x)
Ejemplos: Resolver la ecuacin y

= y y el problema de valores iniciales y

=
y/x, y(1) = 2.
Tipo II: Ecuaciones diferenciales de primer orden homogneas
Una e.d.o. de primer orden se dice homognea si es de la forma
y

= F(y/x),
donde F es una funcin continua en cierto conjunto D R
2
Una funcin f es solucin si, y slo si f(x)/x es solucin de la ecuacin de variables
separables u

= (F(u) u)/x.
Ejemplos: x
2
y

= y
2
xy +x
2
. y y

=
x+y
xy
Tipo III: Ecuaciones diferenciales reducibles a homogneas
Las ecuaciones diferenciales de la forma
y

= F(
Ax +By +C
ax +by +c
),
donde A, B, C, a, b, c R, se pueden reducir a una ecuacin diferencial homognea
teniendo en cuenta las siguientes observaciones:
1) Si ambas rectas Ax + By + C = 0 y ax + by + c = 0 se cortan en el punto
(c, d) entonces se hace el cambio X = x c y Y = y d y se obtiene que
F(
Ax +By +C
ax +by +c
= G(Y/X),
y por tanto Y

= G(Y/X) es una ecuacin diferencial homognea.


2) Si ambas rectas son paralelas A/a = B/b, hacemos el cambio z = ax + by
resulta que z

= a+by

por lo que nos resultar una nueva ecuacin diferencial


de vriables separables:
z

= Q(z)P(x),
con P(x) constante.
Ejemplos: Resulvanse las ecuaciones: y

=
3x+2y
2+x
y
178 8.1 Ecuaciones diferenciales ordinarias de primer orden
y

=
2xy+2
4x+2y+1
.
Tipo IV: Ecuaciones diferenciales exactas
Una e.d.o. de primer orden se dice que es exacta cuando puede escribirse
de la forma
Q(x, y)y

+P(x, y) = 0,
donde P y Q son dos funciones denidas en un abierto D R
2
, tales que
pueden obtenerse como derivadas parciales de otra funcin G(x, y), es decir
tales que
G(x, y)
x
= Q(x, y),
G(x, y)
y
= P(x, y), (x, y) D.
En otras palabras, se dice exacta si el campo vectorial F(x, y) = (P(x, y), Q(x, y))
es conservativo, si se quiere, si admite un potencial G. En orden a saber si
una ecuacin es no exacta usaremos toda la artillera desarrollada en el tema
6.2.
Si la e.d.o. es exacta, se tiene que f es solucin de dicha ecuacin si, y slo si
G(x, f(x)) = C, con C R
Ejemplo: Resolver y

=
2xcos(y)+3x
2
y
x
3
+x
2
seny+y
con y(0) = 2.
8.1.5. Otras ecuaciones de primer orden
Ecuacin de Bernouilli
La e.d.o y

+ P(x)y = Q(x)y
n
se conoce con el nombre de ecuacin de
Bernouilli. Aunque esta ecuacin no es lineal, puede reducirse a una lineal
sin ms que hacer el cambio u = y
1n
. Entonces la ecuacin se transforma en
u

+ (1 n)P(x)u = (1 n)Q(x).
Resulvase la ecuacin y

+y/x = x
3
y
3
.
Ecuaciones de otros grados
Ejemplos tpicos de este tipo de ecuaciones son
a

(y

y)
2
(x y)
2
= 0
b

y = y

x +g(y

) (Ecuacin de Clairaut)
c

y = y

P(x) +Q(x)(y

)
n
En el primer caso se tiene que y

= y(xy), es decir y

= x y

= 2yx.
Basta ahora aplicar los mtodos anteriores.
En los casos segundo y tercero se vuelve a derivar la ecuacin con respecto
a x y se toma z = y

y se considera la nueva ecuacin con z como variable.


Anlisis Matemtico 179
Se resuelve sta y sale una relacin entre x y z. Se sustituye el resultado en la
ecuacin primera, apareciendo una expresin de y y x en funcin de z. Si se
puede eliminar z, se obtiene la relacin entre x e y.
Resulvanse las ecuaciones
y = 4y

+ 4y
3
y
y = y

x y
3
8.1.6. Relacin de ejercicios
Resulvanse las siguientes e.d.o.
a

2x
2
+ 2y
2
+ (4xy + 3y
2
)y

= 0.
b

3(y 1)
2
y

= 2 +sen(x).
c

(y
4
y
2
+ 1)y

= x
3
y y.
d

(2 +y)y

= 2x + 3y.
e

=
x+y
xy
.
8.2. E.D.O. DE SEGUNDO ORDEN 181
8.2. e.d.o. de segundo orden
Sumario
En esta leccin, haremos una pequea incursin en el caso de las e.d.o. de
segundo orden, daremos una primera clasicacin en distintos tipos en orden
a dar mtodos de resolucin y expondremos el mtodo de resolucin por series
de potencias. El contenido completo de esta leccin se articula de la siguiente
manera:
8.2.1 e.d.o lineal de segundo orden.
8.2.2 Resolucin de e.d.o. lineales por series de potencias.
8.2.3 Algunas e.d.o. interesantes.
8.3.4 Relacin de ejercicios.
8.2.1. e.d.o lineal de segundo orden
Recordemos que una e.d.o. si es una ecuacin en la que intervienen la
variable, una funcin de esta variable, y su primera y su segunda derivadas,
F(x, y, y

, y

) = 0.
No existe un mtodo general para la solucin de cualquier e.d.o. de segundo
orden. Uno de los tipos ms importante es el de e.d.o. lineal de segundo orden
con coecientes constantes. Una tal ecuacin es de la forma:
y

+ay

+by = g(x),
donde g(x) representa una cierta funcin de x.
En este caso, como en el de las e.d.o de primer orden, distinguiremos entre
el las de tipo homogneo reducido esto es, g(x) = 0, y las de tipo no
homogneo, g(x) ,= 0. En cuanto al problema de valores iniciales, debemos
sealar que en este caso se necesitan dos: una condicin sobre un valor de y y
otra condicin sobre el mismo valor de y

182 8.2. e.d.o de segundo orden


caso homogneo
Si y = f(x) = e
mx
es solucin de una e.d.o. lineal de segundo orden con
coecientes constante homognea, entonces se obtiene que
e
mx
(m
2
+am+b) = 0,
y por tanto, y es solucin de la correspondiente e.d.o. si, y slo si,
m
2
+am+b = 0.
Esta ltima ecuacin recibe el nombre de ecuacin auxiliar. As pues
resulta interesante conocer los posibles valores de m que son soluciones de
la ecuacin auxiliar. Segn el signo del discriminante asociado a la ecuacin
auxilar caben tres posibilidades:
(a) discriminante positivo
Existen dos soluciones reales distintas para la ecuacin auxiliar. Si
m = y m = son las soluciones de la ecuacin, entonces f
1
(x) = e
x
y
f
2
(x) = e
x
son dos soluciones independientes y la solucin general de la
e.d.o linear de segundo orden homognea es
f(x) = Ae
x
+Be
x
,
donde A y B son sendas constantes.
Ejemplo
Resulvase la ecuacin y

2y

3y = 0.
(b) discriminante negativo
Existen dos soluciones imaginarias conjugadas para la ecuacin auxiliar.
Si m = i son las soluciones complejas de la ecuacin auxiliar, entonces
la solucin general de la e.d.o linear de segundo orden homognea es de
la forma
f(x) = e
x
(A(cos(x) +iBsen(x)),
donde A y B son sendas constantes.
Ejemplo
Resulvase la ecuacin y

+ 4y

+ 13y = 0.
(c) discriminante nulo
Si m = es la solucin doble de la ecuacin auxiliar, entonces para en-
contrar la solucin general de la e.d.o linear de segundo orden homognea
tomamos
y = g(x)e
x
y la sustituimos en la ecuacin. Resulta que tal imposicin fuerza que
g(x) = Ax +B, y por tanto la solucin general es
f(x) = (Ax +B)e
x
.
Anlisis Matemtico 183
Ejemplo
Resulvase la ecuacin y

4y

+ 4y = 0.
caso no homogneo
En el caso de la ecuacin no homognea
y

+ay

+by = g(x),
la solucin se obtiene por clculo de primitivas. Nuevamente atendemos a los
posibles valores de m que son soluciones de la ecuacin auxiliar.
(a) discriminante positivo negativo
Sean m = y m = las soluciones de la ecuacin auxiliar, reales
complejas, y sea P(x) una primitiva de la funcin e
x
g(x) y Q(x) una
primitiva de la funcin e
x
g(x). Una solucin particular es de la forma
y = f(x) =
1

(e
x
P(x) e
x
Q(x)).
As por tanto, la ecuacin general viene dada por
f(x) = Ae
x
+Be
x
+
1

(e
x
P(x) e
x
Q(x)),
para el caso de discriminante positivo y
f(x) = y = e
ax
(A(cos(bx) +iBsen(bx)) +
1

(e
x
P(x) e
x
Q(x)),
donde A y B son sendas constantes para el caso con discriminante nega-
tivo.
En el caso complejo debe recordarse que e
ix
= (cos(x) +isen(x).
Ejemplo
Resulvase la ecuacin y

3y

+ 2y = cos(3x).
(b) discriminante nulo
Si m = es la solucin de la ecuacin auxiliar y P(x) es una primitiva
de la funcin e
x
g(x), entonces una solucin particular de la e.d.o linear
de segundo orden no homognea es de la forma
y = e
x
P(x).
As por tanto, la ecuacin general viene dada por
y = f(x) = (A+Bx)e
x
+ (e
x
P(x)),
Ejemplo
Resulvase la ecuacin y

+ 4y

+ 4y = cos(x).
184 8.2. e.d.o de segundo orden
8.2.2. Resolucin de e.d.o. lineales por series de po-
tencias
En esta seccin desarrollaremos un mtodo para resolver una e.d.o. medi-
ante el uso de series de potencias. Este mtodo es especialmente interesante
para e.d.o. de cualquier orden cuyos coecientes sean funciones racionales.
La idea consiste en suponer que la solucin es una funcin f desarrollable
en series de potencias para terminar determinando, imponiendo que sta es
solucin de la ecuacin, los coecientes de dicha serie. En todo el proceso han
de tenerse en cuenta todas las propiedades ya observadas para las funciones
denidas como suma de una serie de potencias, especialmente aquella que
aseguraba que para derivar una tal funcin basta derivar trmino a trmino.
Para comprender el mtodo hagamos algunos ejemplos.
Ejemplos
Resulvanse las siguientes ecuaciones:
a

= 2y.
b

+y = 0.
c

xy = 0.
d

+xy

= 2 +x.
8.2.3. Algunas e.d.o. interesantes
(1) Ecuacin de Riccati
Es una ecuacin del tipo
y

+y
2
+P(x)y +Q(x) = 0,
donde P(X) y Q(x) son dos funciones de x.
Este tipo muy general de ecuacin no se resuelve fcilmente, excepto
en algunos casos especiales. Su importancia radica en la relacin que tiene
con la ecuacin lineal general de segundo orden
z

+P(x)z

+Q(x)z = 0,
sin ms que hacer el cambio
y = z

/z.
As pues y = f(x) es solucin de la ecuacin de Riccati, entonces z =
Ce
A(x)
es solucin de la correspondiente ecuacin de segundo orden, donde
A(x) es una primitiva de f(x). Por otra parte, si se conoce una solucin
particular y
0
, la solucin general puede determinarse de la siguiente forma:
a) Escribimos y = y
0
+ 1/v
b) Derivamos y sustituimos, quedando v

(P(x) + 2y
0
)v = 1.
Anlisis Matemtico 185
c) Sea ahora R(x) una primitiva de P(x) + 2y
0
. Resolvemos la ecuacin,
y obtenemos que v = e
R(x)
(S(x) + A), donde S(x) es una primitiva de
e
R(x)
.
Ejemplo: Resulvase la ecuacin y

+ 2y +y
2
= 0
(2) Ecuacin lineal de Euler
Es una ecuacin del tipo
x
n
y
n)
+a
1
x
n1
y
n1)
+... +a
n1
xy

+a
n
y = g(x),
donde a
1
, a
2
, ..., a
n1
son constantes.
La sustitucin x = e
t
reduce la ecuacin a otra lineal con coecientes
constantes en que t es la nueva variable. La nueva ecuacin resultante se
transforma en
y
n)
+q
1
y
n1)
+... +q
n1
y

+q
n
= g(e
t
),
donde q
1
, q
2
, ..., q
n
son constantes.
Ejemplo: Resulvase la ecuacin x
2
y

+ 6xy

+ 6y = 1/x
2
8.2.4. Relacin de ejercicios