Apuntes

Escuela Tcnica Superior de Ingenieros de Caminos,
Canales y Puertos.
Grado en Ingeniera Civil, Obras Pblicas y Transportes
Matemticas I
Curso 2011-2012
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.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. . . . . . . 55
1.5.4. Resolucin Numrica de Ecuaciones. . . . . . . . . . . . . . . . 57
1.5.5. Relacin de Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 57
2. Clculo diferencial en una variable 59
2.1. Funciones derivables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.1.1. Derivada. Recta tangente . . . . . . . . . . . . . . . . . . . . . . 59
2.1.2. Recta tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.1.3. Propiedades de las funciones derivables: Teoremas de Rolle y del
valor medio, y reglas de L+Hpital. . . . . . . . . . . . . . . . . 62
2.2. Extremos relativos. Polinomio de Taylor . . . . . . . . . . . . . . . . . 71
2.2.1. Extremos de una funcin . . . . . . . . . . . . . . . . . . . . . 71
2.2.2. Extremos relativos y derivabilidad . . . . . . . . . . . . . . . . 73
2.2.3. Derivadas sucesivas . . . . . . . . . . . . . . . . . . . . . . . . . 74
2.2.4. Polinomio de Taylor . . . . . . . . . . . . . . . . . . . . . . . . 75
2.2.5. Resolucin numrica de ecuaciones. . . . . . . . . . . . . . . . . 76
3. El conjunto R
n
. Funciones de varias variables. 81
3.1. Los nmeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.1.1. El conjunto C . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.1.2. Expresiones de un nmero complejo y propiedades. . . . . . . . 83
3.1.3. Raices n-simas. . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.1.4. Relacin de Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 85
3.2. El plano y el espacio eucldeos . . . . . . . . . . . . . . . . . . . . . . . 87
3.2.1. Estructura algebraica . . . . . . . . . . . . . . . . . . . . . . . . 87
3.2.2. Producto escalar . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.2.3. Conceptos topolgicos . . . . . . . . . . . . . . . . . . . . . . . 89
3.3. Campos. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
3.3.1. Campos vectoriales y escalares . . . . . . . . . . . . . . . . . . . 93
3.3.2. Continuidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
NDICE GENERAL 5
4. Clculo diferencial en varias variables 97
4.1. Derivadas direccionales . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.1.1. Derivadas direccionales . . . . . . . . . . . . . . . . . . . . . . 97
4.1.2. Derivada parcial . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.1.3. Regla de la cadena . . . . . . . . . . . . . . . . . . . . . . . . . 99
4.1.4. Vector gradiente y matriz jacobiana . . . . . . . . . . . . . . . . 100
4.1.5. Plano tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.1.6. Curvas y supercies dadas en forma implcita . . . . . . . . . . 102
4.2. Clculo de extremos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
4.2.1. Extremos relativos de un campo escalar . . . . . . . . . . . . . . 105
4.2.2. Extremos relativos y derivabilidad . . . . . . . . . . . . . . . . 106
4.2.3. Derivadas parciales de orden superior . . . . . . . . . . . . . . . 107
4.2.4. Condicin suciente para la existencia de extremos relativos . . 108
4.3. Extremos condicionados. . . . . . . . . . . . . . . . . . . . . . . . . . . 113
4.3.1. Motivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
4.3.2. Conjuntos determinados por una funcin . . . . . . . . . . . . . 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.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
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.2. Mtodos de integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
6.2.1. Integracin de funciones racionales . . . . . . . . . . . . . . . . 141
6.2.2. Integracin de funciones no racionales . . . . . . . . . . . . . . . 144
6 NDICE GENERAL
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
7. Clculo integral en varias variables 157
7.1. Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
7.1.1. Por qu una nueva integral? . . . . . . . . . . . . . . . . . . . 157
7.1.2. Conjuntos medibles . . . . . . . . . . . . . . . . . . . . . . . . . 158
7.1.3. Funciones medibles. Integral de Lebesgue . . . . . . . . . . . . . 160
7.1.4. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . 161
7.1.5. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
7.2. Tcnicas de integracin en varias variables . . . . . . . . . . . . . . . . 165
7.2.1. Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . 165
7.2.2. Cambio de coordenadas . . . . . . . . . . . . . . . . . . . . . . 168
8. Ecuaciones diferenciales 173
8.1. Ecuaciones diferenciales ordinarias de primer orden . . . . . . . . . . . 173
8.1.1. Ecuaciones diferenciales ordinarias . . . . . . . . . . . . . . . . 173
8.1.2. Teorema de existencia y unicidad . . . . . . . . . . . . . . . . . 175
8.1.3. Lineal de primer orden . . . . . . . . . . . . . . . . . . . . . . . 175
8.1.4. e.d.o. de orden uno no lineal . . . . . . . . . . . . . . . . . . . . 176
8.1.5. Otras ecuaciones de primer orden . . . . . . . . . . . . . . . . . 178
8.2. e.d.o. de segundo orden . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
8.2.1. e.d.o lineal de segundo orden . . . . . . . . . . . . . . . . . . . . 181
8.2.2. Resolucin de e.d.o. lineales por series de potencias . . . . . . . 184
8.2.3. Algunas e.d.o. interesantes . . . . . . . . . . . . . . . . . . . . . 184
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:
(xy)z = x(yz) (x, y, z R),
(esto es, no es necesario escribir parntesis si slo aparece la operacin producto).
xy = yx (x, y R).
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.
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.
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.
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.
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.
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.
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.
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
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).
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
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).
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)
.
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
.
-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.
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
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.
-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].
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:

-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
-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
-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:
-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)
.
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.
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
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?
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.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.
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
M < 0, 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
.
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. 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.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
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
.
si todo intervalo de extremo inferior x
0
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
.
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
0
, convergente a x
0
, la
sucesin imagen f(x
n
) converge a L".
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:
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, entonces 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:
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, entonces 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
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:
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 .
> 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).
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
0
, convergente a x
0
, la
sucesin f(x
n
) diverge positivamente,
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
0
, convergente a x
0
, la
sucesin f(x
n
) diverge negativamente,
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.
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.
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

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
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.
Teorema 1.4.6. (del cociente de funciones)
Sean f, g : A R tal que g(x) ,= 0 y sea x
0
A

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
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
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 L+Hopital, 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)).
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
3.) En general, las indeterminaciones /, 0. y 0/0 se resolvern con las reglas
de L+Hpital 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. 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.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:
1. Si a es un punto aislado de A, entonces f es una funcin continua en a.
2. 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
1. 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 hubisemos
pintado previamente su grca
-2 -1 1 2 3
-1
1
2
3
4
2. La funcin parte entera presenta una discontinuidad en todos los nmeros enteros.
3. 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:
4. Las funciones logaritmo neperiano, seno y coseno son continuas en sus dominios.
1 2 3 4
10
20
30
40
50
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, arcoseno
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 compacidad.
Enunciemos ahora algunas de las propiedades ms emblemticas de las 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
1. Si f es continua en a, entonces f/
B
es una funcin continua en a.
2. 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 continuidad 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.
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
1. Estdiese la continuidad y el comportamiento en + y en de la funcin
f : R R denida por
a) f(x) =
x
1+|x|
, x R.
b) f(x) =
_
1
1+e
1/x
, si x ,= 0
0 si x = 0
c) f(x) =
_
_
_
e
x
x
, si x < 0
x, si 0 x < 1
5
x, si x 1
2. Dse un ejemplo de funcin ...
a) continua cuya imagen no es un intervalo.
b) no continua en un intervalo y cuya imagen es un intervalo.
c) continua en R, no constante y cuya imagen sea un intervalo acotado.
d) continua en [0, 1[ cuya imagen no es acotada.
e) continua en un intervalo abierto acotado cuya imagen es un intervalo cerrado
y acotado.
3. 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.
4. Prubese que todo polinomio de grado impar admite al menos una raz real.
5. Sea P un polinomio de grado n tal que el trmino independiente y el coeciente
lder tienen signo opuesto. Prubese que P tiene al menos una raz positiva.
6. 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.
7. 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.
8. 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.
9. 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.
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:
59
60 2.1. Funciones derivables
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:
1. f es derivable en a.
2. 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) = (x 1)
2
+ 1 y el punto (1, 1), se tiene
que
-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)(xa) +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.
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
1. Si f es derivable en a, entonces f/
B
es una funcin derivable en a y f
(a) = (f/
B
)
(a).
2. 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
-4 -2 2 4 6 8
-2
2
4
6
8
10
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.
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 determinante
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:
1. f es creciente si, y slo si f
(x) 0, x I.
2. f es decreciente si, y slo si f
(x) 0, x I.
3. Si f
(x) = 0, x I, si, y slo f es constante.

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

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

6. 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
1. Tomamos logaritmos en la igualdad que dene a h.
log(h(x)) = g(x)log(f(x)).
2. Derivamos ambas igualdades en el punto a
h
(a)
h(a)
= g
(a)log(f(a)) +g(a)
f
(a)
f(a)
.
3. 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
1. f y g son derivables,
2. g
(x) ,= 0,
a) Primera Regla de L+Hpital
lim
xa
f(x) = lim
xa
g(x) = 0,
b) 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 funciones
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).
1. Calclese la derivada de las siguientes funciones cuyas ley viene dada por:
a) f(x) = sen(x + 3).
b) f(x) = cos
2
(x
3
).
c) f(x) = 1/cos(x).
d) f(x) =
_
(1 +x)/(1 x).
e) f(x) =
x
2
+ 1.
f ) f(x) = (
3
x 1/
5
x)
5
.
g) f(x) = cos(cos(cos(x))).
h) f(x) = x
4
e
x
log(x).
i ) f(x) = x
x
.
j ) f(x) =
x
.
2. 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.
3. Calclese la tangente de la grca de la funcin f : R R en el punto P en cada uno
de los siguientes casos:
a) f(x) = x
2
+ 1 en el punto P = (3, 10).
b) f(x) = cos(x) en el punto P = (/2, 0).
c) f(x) = [x[ en el punto P = (1, 1).
d) f(x) = x/x
2
+ 1 en el punto P = (0, 0).
4. Dada una funcin f : A R, estdiese la continuidad y la derivabilidad en cada uno
a) A = [1, 1] y f(x) =
1 x
2
.
b) A = R y f(x) =
3
_
[x[.
c) A = R y f(x) =
2x
1+|x|
.
5. 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.
6. 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.
7. Estdiese la derivabilidad y la existencia de lmites en +y de la funcin f : R
R denida en cada caso por
a)
f(x) =
_
1
1+e
x
si x ,= 0
0 si x = 0
b)
f(x) =
_
_
_
e
x
x
si x < 0
x si 0 x < 1
5
x si x 1
8. Demustrese que, para cada x > 0, se verica que
x
1 +x
< log(1 +x) < x.
9. Demustrese que, para cada x, y R, se verica que
[sen(ax) sen(ay)[ [a[[x y[.
10. Demustrese que, para cada x, y R, se verica que
[arctg(x) arctg(y)[ [x y[.
11. Sea a > 0. Prubese que
ea/x e
a/x
, x > 0
y se da la igualdad si, y slo si, x = a.
12. Sea a > 0 un nmero real que verca
a
x/a
x, x > 0.
Prubese que a = e.
13. Calclese el nmero de ceros y la imagen de la funcin f : R R denida por
f(x) = x
6
3x
2
+ 2.
14. Calclese el nmero de soluciones de la ecuacin 3logx x = 0.
15. Prubese que 0 < a < 1 se verca
(1 +x)
a
1 +ax, x 1.
16. Sea a > 1. Probar que la ecuacin x +e
x
= a tiene, al menos, una solucin positiva y
otra negativa.
17. Sea f : R
+
R la funcin denida por:
f(x) = x +logx +arctgx
prubese que la ecuacin f(x) = 0 tiene una nica solucin.
18. 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.
19. 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.
20. Determnese el nmero de races reales de la ecuacin
2x
3
3x
2
12x = m
segn el valor de m.
21. 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 .
22. Estdiese el comportamiento de la funcin f : A R en el punto en cada uno de
los siguientes casos:
a) A = R
, f(x) = sen(3x)/x x A, = 0.
b) A = R/2 +k, k Z f(x) = (2x )/cos(x) x A, = /2.
c) A = R2, 2, f(x) = (
x
2
+ 5 3)/x
2
4 x A, = 2.
d) A =]2, +[ , f(x) =
2+
x2
x
2
4
x A, = 2.
e) A = R
+
1, f(x) =
1
logx

1
x1
x A, = 1.
f ) A =]1, +[, f(x) =
x
x
x
1xlogx
x A, = 1.
g) A = R
, f(x) =
1
x
4

1
6x
2

senx
x
5
, = 0.
h) A =]0, /2[, f(x) = (
1
tgx
)
senx
, = /2.
i ) A =]0, /2[, f(x) = (1 +senx)
cotgx
, = 0.
j ) A = R
+
e, f(x) = x
1
logx1
, = e.
k) A = R
+
, f(x) =
1
x
(e (1 +x)
1
x
), = 0.
23. Estdiese el comportamiento en el punto cero de la funcin f : A R en los siguientes
casos:
a) A = R
+
, f(x) =
1cos x
x
, x A.
b) A = R
, f(x) =
1cosx
x
2
, x A.
c) A =]0, /2[, f(x) = (senx +cosx)
1/x
, x A.
d) A =]0, /2[, f(x) =
_
cos x +
x
2
2
_ 1
x
2
, x A.
e) A =]0, /2[, f(x) = (1 tgx)
1
x
2
, x A.
f ) A = R
+
, f(x) = x
senx
, x A.
g) A =]0, /2[, f(x) =
xarctgx
sen
3
x
, x A.
h) A =]0, /2[, f(x) = (
1
tgx
)
senx
, x A.
i ) A = R
+
e, f(x) = x
1
logx1
, x A.
24. Estdiese el comportamiento en + de las funciones f : A R dadas por
a) A = R
+
, f(x) =
log(2+3e
x
)
2+3x
2
,
b) A = R
+
, f(x) = (a
x
+x)
1/x
, x R
+
a R
+
,
c) A =]1, +[ f(x) =
x(x
1/x
1)
logx
,
d) A = Re, f(x) = x
1
logx1
.
25. Sea f : R
+
R una funcin derivable en R
+
. Supongamos que fy f
tienen lmite en
+. Prubese que lim
x
f
(x) = 0.
26. 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 ex-
tremos 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.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
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
1. 0 es un mnimo absoluto pero no relativo.
2. 1 es un mximo relativo pero no absoluto.
3. 2 es un mnimo relativo y absoluto
4. 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.
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.

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.

-4 -2 2 4 6 8
-2
2
4
6
8
10
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
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, arcotangente,
arcoseno, arcocoseno, logaritmo neperiano y exponencial son funciones de clase (
en sus
correspondientes dominios.
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),
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
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:
1. f es convexa.
2. 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).
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
1. 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.
2. 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 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.
3. 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.
4. 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.
5. Se desea confeccionar una tienda de campaa cnica sin suelo de un volumen determi-
nado. Calclense sus dimensiones para que la cantidad de lona necesaria sea mnima.
6. Demustrese que la suma de un nmero positivo y su inverso es mayor o igual a 2.
7. 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?.
8. Un tringulo rectngulo cuya hipotenusa tiene una longitud a se hace girar alrededor
de uno de sus catetos. Qu volumen mximo puede tener un cono engendrado de esta
manera?.
9. 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?.
10. 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.
11. 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.
12. 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?
13. 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.
14. 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.
15. 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.
a) Cuntas mquinas hay que usar para minimizar el coste de produccin?
b) Si se usa el nmero ptimo de mquinas, cunto ganar el supervisor durante el
proceso?
16. 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.
17. 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.
18. Prubese que la funcin logaritmo es de clase C
en R
+
y calclese, para cada n N,
la derivada n-sima.
19. Calclese, haciendo uso de un desarrollo de Taylor conveniente, un valor aproximado 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
.
20. Exprsese el polinomio x
4
5x
3
3x
2
+ 7x + 6 en potencias de x 2
21. Estdiense los posibles extremos relativos de la funcin f : R R en los siguientes
casos:
a) f(x) = xlog[x[, x R
, f(0) = 0.
b) f(x) = x
2
log[x[, x R
, f(0) = 0.
22. Estdiense los posibles extremos relativos de la funcin f : R R denida por f(x) =
cosh(x) +cos(x).
23. Calclese Max
n
n : n N.
Captulo 3
El conjunto R
n
. Funciones de varias
variables.
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.1. El conjunto C
Consideremos el plano real, esto es, el conjunto R
2
= R R dotado con las siguientes
operaciones:
1. Suma:
(x, y) + (t, s) = (x +t, y +s),
81
82 3.1. Los nmeros complejos
2. 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 sigu-
iente 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.
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
1. z +w = z +w.
2. zw = zw.
3. z = z.
4. Rez =
z+z
2
, Imz =
zz
2i
.
5. z = z si, y slo si z R.
Conviene llamar la atencin de que estas propiedades nos aseguran que las races complejas,
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
.
En particular si a R, entonces su mdulo y su valor absoluto coinciden.
Resumamos algunas de sus propiedades.
Proposicin
1. [z[ = 0 si, y slo si z = 0.
2. [z[ = [ z[ = [z[.
3. [zw[ = [z[[w[.
4. [z +w[
2
= [z[
2
+[w[
2
+ 2Rezw.
5. [z +w[
2
+[z w[
2
= 2([z[
2
+[w[
2
) (identidad del paralelogramo).
6. [[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.
Ntese que si z C
, entonces
[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, concretamente 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.
Teorema fundamental del lgebra
Si p(z) un polinomio con coecientes complejos de grado n, entonces p(z) tiene exactamente
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:
1. [1 zw[
2
[z w[
2
= (1 [z[
2
)(1 [w[
2
).
2.

[z[ [w[
= [z w[
3. [z w[ [1 zw[
4. [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 cono-
cidos 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:
(x +y) +z = x + (y +z).
x +y = y +x.
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.
88 3.2 El plano y el espacio eucldeos
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
.
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.
1. |rx| = [r[|x| (r R).
2. |x +y| |x| +|y|. (Desigualdad triangular)
3. |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 :
1. Conjuntos de R
q
que hacen el mismo papel que los intervalos de R:
a) Bola abierta de centro a R
q
y radio r R
+
B(a, r) = x R
q
; |x a| < r.
b) Bola cerrada de centro a R
q
y radio r R
+
B(a, r) = x R
q
; |x a| r.
2. 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.
90 3.2 El plano y el espacio eucldeos
3. 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.
4. 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, tendremos
que (0, 1) A
.
5. 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
.
6. 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.
7. 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]
(x, y) R
2
; x [0, 1], y = 0 (x, y) R
2
; x [0, 1], y = 2.
8. 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.
1. Descrbanse el interior, los puntos de acumulacin y la frontera de los siguientes Con-
juntos:
a) (x, y) R
2
;
x
2
a
2
+
y
2
b
2
1 (0 < a < b R.
b) (x, y) R
2
;
x
2
a
2
+
y
2
b
2
< 1 (0 < a < b R.
c) (x, y) R
2
; y = rx. (r R)
d) A = (x
n
, y
n
); x
n
=
20
n
, y
n
= 0, n N.
e) (x, y, z) R
3
;
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1 (0 < a < b < c R.
f ) a) N b) Q. c)RQ. d) [0, 1] 2. e) 1/n; n N.
2. Dganse cules de los conjuntos del ejercicio anterior son compactos.
3.3. CAMPOS. CONTINUIDAD 93
3.3. Campos. Continuidad
Sumario
En esta leccin introducimos el concepto de campo vectorial y de campo escalar. Veremos
una estrategia para reducir el estudio de las propiedades de los campos a las propiedades de los
campos escalares: las funciones coordenadas. Como primer ejemplo de este hecho, estudiaremos
la propiedad de la continuidad. Daremos algunos ejemplos de campos continuos. El contenido
completo de esta leccin se articula de la siguiente manera:
3.3.1 Campos escalares y vectoriales
3.3.2 Continuidad.
3.3.3 Ejemplos.
3.3.1. Campos vectoriales y escalares
Recordemos que a las funciones denidas en un subconjunto de R
q
se les llama campos.
Si toman valores en R se les llama campos escalares y si los toman en R
n
(n > 1), se les
denomina campos vectoriales.
Veamos algunos ejemplos:
1. Proyecciones
Sea q N. Para cada i 1, 2, ..., q se puede considerar la aplicacin
p
i
: R
q
R,
denida por
p
i
: (x
1
, x
2
, ..., x
q
) x
i
.
Dicha aplicacin recibe el nombre de proyeccin i-sima. Cada funcin proyeccin
es un campo escalar.
2. Inyecciones.
Podemos considerar ahora la aplicacin
I
i
: R R
q
,
denida por
I
i
: r (0, 0, ...,
i)
r, 0, ..., 0).
Dicha aplicacin recibe el nombre de inyeccin i-sima y es un ejemplo sencillo de
campo vectorial.
94 3.3 Campos.continuidad.
3. La funcin norma
Podemos considerar el campo escalar
|.| : R
n
R,
denida por
x |x|.
Vistas las propiedades de R
n
, es fcil comprender que dadas dos campos vectoriales
su suma es un nuevo campo vectorial y que el producto de un campo escalar por un campo
vectorial tambin es un campo vectorial. Sin embargo, es claro que no tiene sentido hablar
del producto de dos campos vectoriales.
Nuestro objetivo ahora es asociar a todo campo vectorial con valores en R
n
n campos
escalares.
q
y sea F : A R
n
un campo
vectorial. Dado i 1, 2, ..., n, el campo escalar
F
i
= p
i
F : A R,
donde p
i
es la correspondiente proyeccin isima, recibe el nombre de funcin coordenada
i-sima.
Para cada i 1, 2, ..., n se puede comprobar fcilmente que
F =
n
i=1
I
i
F
i
,
donde por I
i
queremos indicar la correspondiente funcin inyeccin i-sima.
3.3.2. Continuidad.
q
y sea a A. Se dice que F : A R
n
es un campo continuo en a si verica la siguiente propiedad:
> 0, > 0, tal que si x A, |x a| entonces |F(x) F(a)| < .
Se dice que F es continua en B A, si F es continua en todos los puntos de B.
Ejemplos
La funcin identidad en R
n
, todos los campos constantes, las proyecciones, las inyec-
ciones y la funcin norma son campos continuos.
En orden a construir nuevos campos continuos veamos que las operaciones usuales
estn bien avenidas con la continuidad.
Proposicin 3.3.1. Sean A un subconjunto de R,
q
, a A y F, G : A R
n
dos campos
continuos en a. Entonces F + G es un nuevo campo continuo en a. Si g : A R es un
campo escalar continuo, entonces F.g tambin es un campo continuo en a y si adems, para
cada x A, g(x) ,= 0, entonces F/g es tambin continuo en a.
Proposicin 3.3.2. (Regla de la cadena)
Sean A un subconjunto de R
q
, a A y F : A R
n
una funcin continua en a. Sean
ahora B F(A) y G : B R
m
un campo continuo en F(a). Entonces G F es un campo
continuo en a.
Recordemos que la propiedad de continuidad es una propiedad local.
Proposicin 3.3.3. (La continuidad es una propiedad local)
Sean A un subconjunto de vectores de R
q
, B un subconjunto de A, a B y F : A R
n
un campo. Entonces
1. Si F es continuo en a, entonces F/B es un campo continuo en a.
2. Si F/B es continuo en a y existe una bola centrada en a, B(a, r), tal que B(a, r)
A
B, entonces F es un campo continuo en a.
Podemos vincular la continuidad de un campo vectorial a la continuidad de sus funciones
coordenadas:
Proposicin 3.3.4. (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 es continuo en a si, y solo si F
i
es continuo en a i.
Finalizamos esta leccin enunciando una importante propiedad nicamente vlida para
campos escalares (n = 1).
Teorema 3.3.5. ( de conservacin de la compacidad o de Weierstrass)
Sea A un subconjunto de R
q
y f : A R un campo escalar. Si A es un conjunto compacto
y f es continua en A, entonces f est acotada y alcanza su mximo y su mnimo en sendos
puntos de A.
96 3.3 Campos.continuidad.
1. Estdiese la continuidad del campo vectorial F : R
2
R
3
denido por F(x, y) =
(2x
3
, sen(x)arctg(y), e
x+y
).
2. Estdiese la continuidad del campo vectorial F : R
2
R
2
denido por:
F(x, y) =
_
_
_
sen(x)
x
, sen (xy)
_
, x ,= 0
(1, 0), x = 0
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.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.
97
98 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 direc-
cionales 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
1. 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).
2. 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).
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
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 con-
tinuidad 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).
Para recordar esta frmula existe una regla nemotcnica que consiste en identicar
(g f)
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 = 22xy
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
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
1. Obsrvese que si f : A R es una funcin real de variable real (q = n = 1), entonces
J
f
(a) = f
(a).
2. 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
1. 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).
2. 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.)
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); g(x, y) = 0,
( por ejemplo, la elipse de semiejes c y d es tal que g(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
< g(a, b), (x a, y b) >= 0.
En efecto, la curva,
, resulta de cortar la grca de g, con el plano z = g(a, b). La

recta resultante de intersectar el plano tangente de g en el punto (a, b) con el plano z = g(a, b)
es la recta tangente a la curva y por tanto tiene de ecuaciones
z = g(a, b) +
g
x
(a, b) (x a) +
g
y
(a, b) (y b) y z = g(a, b)
o, lo que es lo mismo
< g(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
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
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,
3
; g(x, y, z) = 0)
no es ms que una supercie que puede ser tratada como anteriormente.
1. Calclese el vector gradiente en un punto arbitrario (x, y) de la funcin f en cada uno
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
2. Calclese la recta tangente a las siguientes curvas en el punto que se indica:
a) 1 = x
2
+y
2
en (0, 1).
b) x
2
y
2
= 3 en (2, 1).
c) x
2
y = 1 en (1, 0, ).
3. Calclese el plano tangente a las siguientes supercies en el punto que se indica:
a) z = log(1 +x
2
+y
2
) en (0, 0, 0).
b) z
2
+ 3x x
2
y
2
= 2 en (1, 1, 1).
c) x
3
+y
3
+z
3
+xyz 6 = 0 en (1, 2, 1).
d) z = sen(x)sen(y) en (/2, /4).
4.2. CLCULO DE EXTREMOS 105
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.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
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
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.
106 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).
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 (a A) .
Las derivadas parciales de orden 2 nos permiten construir una matriz que utilizaremos
para calcular extremos relativos de campos escalares.
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 rela-
tivos
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, consideramos
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.
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
1. 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.
2. 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.
3. 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 aso-
ciado a la matriz A al polinomio, P() = det(A I), donde por I representamos 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:
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 .
1. 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:
a) Calclense los puntos crticos.
b) Calclese la matriz hessiana en los puntos crticos.
c) Estdiese la existencia de extremos relativos.
2. Calclense los extremos de f : R
2
R en los siguientes casos:
a) f(x, y) = x
2
y
2
.
b) f(x, y) = [x[ +[y[.
c) f(x, y) = [x[ +y.
3. 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.
4. Calclense los extremos relativos de los siguientes campos escalares denidos en R
2
.
a) f(x, y) = x
4
+ 2x
2
y x
2
+ 3y
2
.
b) f(x, y, z) = x
2
+y
2
+ 3z
2
+yz + 2xz xy.
c) f(x, y) = 2x
4
+y
2
3xy
2
.
5. Calclense los extremos relativos de los siguientes campos escalares denidos en R
2
.
Determnese si dichos extremos son absolutos o no.
a) f(x, y) = x
3
+y
3
3x 12y + 20 .
b) f(x, y) = (x 1)
4
+ (x y)
4
.
c) f(x, y) = x
4
+y
4
4a
2
xy (a > 0)
d) f(x, y) =
x y
x
2
+y
2
+ 1
e) f(x, y) = (x
2
+ 2y
2
)e
(x
2
+y
2
)
.
f ) f(x, y) = sen(xy).
6. 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.
7. 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?
a) f(x, y) = arc tg(
x
y
) (x, y) R
2
(x, 0) : x R.
b) g(x, y) = e
x
cos y +e
y
cos x (x, y) R
2
.
4.3. EXTREMOS CONDICIONADOS. 113
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
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.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.
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,
114 4.3 Extremos condicionados
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 condi-
cionado 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 vari-
ables, 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:
1. M = x A; g(x) = 0.
2. Todas sus funciones coordenadas g
i
tienen derivadas parciales continuas en A.
3. 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:
1. La funcin g(x, y) = x denida en A = R]0, 4[ determina a M
1
,
2. g(x, y) = y 4 denida en A =]0, 4] R determina a M
2
,
3. g(x, y) = y x denida en A =]0, 4[]0, 4[ a M
3
,
4. g(x, y) = (x, y x) denida en A = R
2
a M
4
,
5. g(x, y) = (x, y 4) denida en A = R
2
a M
5
,
6. 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 deter-
mina 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
.
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,
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.
116 4.3 Extremos condicionados
1. 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.
2. Calclense los extremos relativos de f : [1, 1] [1, 1] R en los siguientes casos:
a) f(x, y) = x
2
y
2
.
b) f(x, y) = [x[ +[y[.
c) f(x, y) = [x[ +y.
3. 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.
4. Determnese el punto P(x, y, z) en el plano 2x+y z = 5 que est ms cerca del origen.
5. Calclese la distancia mnima del origen a la supercie de R
3
dada por la ecuacin
x
2
z
2
1 = 0
6. Se trata de montar un radiotelescopio en un planeta recin descubierto. Para minimizar
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?.
7. 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.
8. 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.
9. Hllese la mnima distancia entre la recta x +y = 4 y la circunferencia x
2
+y
2
= 1.
10. Hllense los extremos condicionados de la funcin f(x, y) = x
3
+ xy
2
donde xy a
2
=
0, (a ,= 0).
11. El rea de una caja rectangular sin tapa es de 108u
2
. Hllese que dimensiones debe tener
para que conseguir el mximo volumen.
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 obtendran 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.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 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
117
118 5.1. Series de nmeros reales
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.
1. Si la serie
n1
a
n
es convergente entonces la sucesin a
n
converge a cero.
2. 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
.
3. 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
.
4. 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
.
5. (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
1. 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
.
2. 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.
3. Serie armnica.
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.
4. Serie armnica-alternada.
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.
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
1. 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.
a) 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
.
b) Si la sucesin a
n
/b
n
converge a cero y la serie
n1
b
n
es convergente, entonces
la serie
n1
a
n
es convergente.
c) Si la sucesin a
n
/b
n
diverge positivamente y la serie

n1
a
n
es convergente,
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 indispensable 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
n
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
a) Si la sucesin a
n+1
/a
n
converge a L, entonces la serie
n1
a
n
es convergente.
b) Si la sucesin a
n+1
/a
n
converge a 1/L, entonces la serie
n1
a
n
no es conver-
gente.
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
a) Si la sucesin n(1
a
n+1
a
n
) converge a L, entonces la serie
n1
a
n
no es conver-
gente.
b) Si la sucesin n(1
a
n+1
a
n
) converge a 1/L, entonces la serie
n1
a
n
es convergente.
2. 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, entonces la
serie
n1
(1)
n+1
a
n
es convergente.
Como consecuencia ya podemos justicar que la serie
n1
(1)
n+1
/n es convergente.
Estdiese la convergencia de las siguientes series de nmeros reales:
1. a)
1
n2
n
, b)
log(n)
n
, c)
1
2n 1
, d)
(1)
n
1
n
.
2. a)
2
n
n
. b)
n
. c)
1
nlog(n)
. d)
3
n
(n + 1)
n
.
3. a)
(1)
n
2n 1
2
n
. b)
1
n!
.
1
(3n 2)(3n + 1)
.
4. a)
(1)
n
1
log(n)
. b)
n
n
e
n
2
+1
. c)
2
n
n!
n
n
.
5.2. SERIES DE POTENCIAS 123
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
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.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
1. 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.
2. absolutamente en A si la serie
n1
[a
n
(xa)
n1
[ converge para todo punto x de A.
124 5.2 Series de potencias
3. uniformemente en A si
para cada > 0, existe un natural n
0
, de forma que si n n
0
, entonces [
k=1
a
k
(x
a)
k1
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
(x a)
n1
la serie de potencias
asociada.
1. Si A = , diremos que el radio de convergencia de la serie
n1
a
n
(xa)
n1
es igual
a cero, R = 0.
2. Si A ,= y A no est mayorado, diremos que el radio de convergencia de dicha serie
es innito , R = .
3. Si A ,= y A est mayorado diremos que el correspondiente radio de convergencia
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 convergencia
proporciona

casi

toda la informacin sobre la convergencia de la serie.
Proposicin 5.2.3. Sea
n1
a
n
(xa)
n1
una serie de potencias cuyo radio de convergencia
es R.
1. Si R es cero, entonces la serie slo converge en a.
2. Si R es innito, entonces la serie converge absoluta y uniformemente en cada intervalo
cerrado y acotado contenido en R.
3. 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 convergencia.
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.
1. Si la sucesin [
a
n+1
a
n
[ diverge positivamente, R = 0.
2. Si la sucesin [
a
n+1
a
n
[ converge a un nmero real positivo L, R =
1
L
.
3. 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 convergencia
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 convergencia 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
(x a)
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].
5.2.2. Funciones denidas por series de potencias
Sea
n1
a
n
(xa)
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 ]a R, 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.
1. 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.
2. 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.
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
.
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 respectivamente
1. 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:
a)
n1
1
2
n1
(2n 1)
x
n1
;
b)
n1
1
log(n + 1)
x
n1
;
c)
n1
1,3,5. (2n 1)
2,4,6. (2n)
x
n1
;
.
2. 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
.
3. 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:
a) f : R 1 R , f(x) =
1
(1 +x)
, x R 1 ; a = 0 .
b) f : R 1 R , f(x) =
x
(1 +x)
3
, x R 1 ; a = 0 .
c) f : R R , f(x) =
e
x
1
x
, x R
, f(0) = 1 ; a = 0 .
d) f : R R , f(x) =
e
x
e
x
2
, x R ; a = 0 .
4. 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 impropiamente 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.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
).
131
132 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:
_
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 inter-
valo.
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.
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
1. 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.
2. 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.
3. Si para cada x [a, b], f(x) g(x), se tiene que
_
b
a
f(x)dx
_
b
a
g(x)dx.
4. [f[ es tambin una funcin integrable y se verica que
[
_
b
a
f(x)dx[
_
b
a
[f[(x)dx.
5. 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.
6.1.4. Relacin entre integracin y derivacin: Teorema Funda-
mental 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 re-
sultado, 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 im-
portantsimo 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).
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:
1. Calclese la siguiente integral:
_
1
0
2xe
x
2
dx.
2. 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:
- 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:
1. El intervalo de integracin es del tipo [a, b]
2. 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).
Dicha integral recibe el nombre de integral impropia de f en ], [.
_
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
1. f +g es una nueva funcin impropiamente integrable en ], [ y se verica que
_

(f +g)(x)dx =
_

f(x)dx +
_

g(x)dx.
2. 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.
3. 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.
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.
_
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 impropi-
amente 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.
_
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.
1. 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.
2. Hllense las derivadas de cada una de las funciones siguientes:
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 141
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.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]. Podemos
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 usan-
do 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.
142 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:
(x a
1
)
n
1
(x a
2
)
n
2
...(x a
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
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
).
_
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
].
_
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 = (xr)
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
)].
_
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).
_
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 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
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.
_
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.
_
4
3
1
x
2
1
dx.

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.
_
1/2
0
1
1 x
2
dx.

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.
_
4
3
1
1 +x
2
dx.
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
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 149
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.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:
a) 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].
150 6.3. Aplicaciones del clculo integral
b) 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].
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.
a) 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].
b) 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 podemos 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.
c) 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.
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 longitud (P
n
). A contin-
uacin 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

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.
0.5 1 1.5 2
1
2
3
4
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.
6.3.4. Clculo del volumen y del rea de un slido de rev-
olucin
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
.
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 intervalo
[a, b] y cada subintervalo que sta genera el tronco de cono correspondiente. Por ejemplo
considrese la semiesfera de radio uno,
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.
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
+z
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.
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].
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
1) alrededor del eje x.
2) 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, obli-
garon 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
a) El conjunto de funciones integrables es relativamente pequeo: Hay funciones sen-
cillas 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.
b) 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 intervalos
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 (respectivamante
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 llamaremos -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
Obsrvese que los conjuntos que resultan de la interseccin numerable de abier-
tos (conjuntos tipo G
), no necesariamente abiertos, y los conjuntos que resultan

de la unin numerable de cerrados, conjuntos tipo F
, no necesariamente 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 = AN, 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:
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
.
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
elegida.
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.
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 subconjunto
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.
- Las funciones integrables de siempre son tambin integrables en el sen-
tido 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 control
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 prob-
lemas 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 fundamen-
tal: 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.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.
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.
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).
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.
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
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
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
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:
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
+ (z 1)
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 or-
den
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 extaordinariamente 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.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)
173
174 8.1 Ecuaciones diferenciales ordinarias de primer orden
y
(y
)
3
+y
2
= 0 (2).
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. Se llama solucin 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 soluciones 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 se denominan
condiciones iniciales. El problema de encontrar la solucin 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
.
8.1.2. Teorema 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. verica la condicin adicional y
0
= f(x
0
).
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)
donde A(x) es una primitiva de la funcin a(x). Y por tanto cualquier funcin
f(x) = Ce
A(x)
, C R
es la solucin general de la ecuacin. Para cada valor concreto de C se obtiene una solucin
particular.
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 difer-
encian 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.
Ejemplo: Resu+lvase la ecuacin y
+ 2xy = x y el problema de valores iniciales corres-

pondiente con y(0) = 1.
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),
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: Resu+lvase la ecuacin y
= (y/x)
2
y el correspondiente problema de valores
iniciales 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 de una variable.
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 (e, f) entonces
se hace el cambio X = x e y Y = y f 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 variables

separables:
z
= Q(z)P(x),
con P(x) constante.
Ejemplos: Resulvanse las ecuaciones: y
=
3x+2y
2+x
y
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)
y
= Q(x, y),
G(x, y)
x
= 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, as+ si Q y P son de clase (
1
, se tiene que
Q(x, y)
x
=
P(x, y)
y
, (x, y) D,
si se quiere, si admite un potencial G.
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
1. (y
y)
2
(x y)
2
= 0
2. y = y
x +g(y
) (Ecuacin de Clairaut)
3. y = y
P(x) +Q(x)(y
)
n
En el primer caso se tiene que y
= y (x y), es decir y
= x y
= 2y x. 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. 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
1. 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) y
=
x+y
xy
.
2. La razn de cambio de una funcin y de la variable t es proporcional al propio y. Cuando
t = 0 se sabe que y = 2, y cuando t = 2, y = 4. Cul es el valor de y cuando t = 3?
3. Se sabe que la vida media del isotpo de plutonio Pu
239
es de 24.700 aos. Cunto
tiempo se necesita para que 8 gramos se reduzcan a 1 gramo?
4. Suponemos que en una poblacin de insectos, la velocidad de crecimiento del nmero
de individuos es proporcional al propio nmero existente de individuos. Si haba 100
individuos antes del 2 da y 300 antes del cuarto, Cuntos individuos haba inicialmente?
5. Se sabe por la ley de enfriamiento de Newton que la temperatura y en grados Fahrenheit,
verica la siguiente ecuacin y
= k(y 60). Si la temperatura del objeto baja de 100

0
a 90
0
en 10 minutos Cunto tiempo se requiere para bajar la temperatura a 80
0
?
6. La razn del cambio de nmeros de coyotes N(t) es una poblacin directamente propor-
cional a 650 N(t), donde t es el tiempo en aos. Cuando t = 0, la poblacin es 300, y
cundo t = 2, la poblacin se increment a 500. Encuntrese la poblacin cuando t = 3.
7. Un objeto de masa m cae desde un helicptero. Encuntrese su velocidad en funcin del
tiempo t si se supone que la resistencia del aire es proporcional a la velocidad del objeto.
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.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.
Cuando ya hemos comentado anteriormente, 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. En general, para las e.d.o. de orden superior disponemos de los siguientes resultados.
Teorema 8.2.1. 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.2.2. 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.
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 intere-
sante 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
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
+ 4y
+ 13y = 0.
(c) discriminante nulo
Si m = es la solucin doble de la ecuacin auxiliar, entonces para encontrar 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
.
Ejemplo
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 negativo.
En el caso complejo debe recordarse que e
ix
= (cos(x) +isen(x).
Ejemplo
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
+ 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 potencias
En esta seccin desarrollaremos un mtodo para resolver una e.d.o. mediante 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:
1. y
= 2y.
2. y
+y = 0.
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 solu-
cin 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.
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
1. Resulvanse las siguientes ecuaciones:
a) 2y
+ 6y
+ 2y = 0
b) y
5y
+ 4y = 0
2. Resulvanse el siguiente problema de valores iniciales
y
2y = 4x
2
, y(0) = 0, y
(0) = 1.
3. Resulvanse las siguientes ecuaciones mediante el m+todo de las series de potencias
a) y
xy = 0.
b) y
+xy
= 2 +x.

Apuntes

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Apuntes

Încărcat de

Drepturi de autor:

Formate disponibile

Escuela Tcnica Superior de Ingenieros de Caminos,

al conjunto de todos los puntos de acumulacin de A

, suele escribirse x = E(x)

puede representarse de la siguiente forma:

x correspondientes a dos funciones reales

converge a cero para todo > 0.

diverge positivamente si, y slo si, la sucesin x

tambin diverge positivamente.

diverge positivamente para todo > 0.

al conjunto de todos los puntos de acumulacin de A

1.4.2. Lmite funcional y lmites laterales.

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

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

. Supongamos que lim

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

. Supongamos que lim

+, . Entonces la funcin producto f.g converge

. Supongamos que lim

+, . Supongamos que lim

, se tiene la siguiente tcnica propia:

+, . Supongamos que lim

. Se dice que ambas funciones

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

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

= 0, mientras que la funcin valor absoluto es derivable en todos

(a); la condicin sobre el lmite

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

(x) = 1/x, sen

(x) = cos(x), cos

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

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

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

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

b) Segunda Regla de L+Hpital:

tiene lmite en el punto a entonces h es derivable en a y

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

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

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

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

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

es derivable en a, diremos que f

. Llamaremos polinomio de Taylor de grado n de la funcin f

(x) 0 para todo x I.

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

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

existen innitos argumentos, concretamente, si

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

al conjunto de puntos de acumulacin de A.

al conjunto de puntos interiores de A.

A . Es fcil probar que A es cerrado

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

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

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

es convergente si, y slo si,

es convergente si, y slo si, > 1.

converge a L, entonces la serie

no racionales. En particular reaparecern la mayora

(I) y para cada x I y k N,

para las cuales la serie serie de Taylor

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

es una nueva funcin integrable y

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

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