Calculo Ingenieria Civil

Escuela Tcnica Superior de Ingenieros de Caminos,
Canales y Puertos.
Grado en Ingeniera Civil, Obras Pblicas y Transportes
Matemticas I
Curso 2010-2011
Juan Carlos Cabello Par
Departamento de Anlisis Matemtico
ndice general
1. Funciones de una variable: lmite y continuidad.
1.1. El conjunto de los nmeros reales. . . . . . . . . . . . . . . . . . . . .
1.1.1. Estructura algebraica . . . . . . . . . . . . . . . . . . . . . . .
1.1.2. Estructura ordenada . . . . . . . . . . . . . . . . . . . . . . . .
1.1.3. Axioma del supremo. . . . . . . . . . . . . . . . . . . . . . . . .
1.1.4. Valor absoluto de un nmero real . . . . . . . . . . . . . . . . .
1.1.5. Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.6. Expresin decimal de un nmero real . . . . . . . . . . . . . . .
1.1.7. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . .
1.2. Funciones elementales . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2. Grfica de una funcin . . . . . . . . . . . . . . . . . . . . . . .
1.2.3. Algunas propiedades elementales: Monotona, simetra y periodicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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 definidas a trozos. Funciones parte entera y valor absoluto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.9. Funciones arcocoseno,coseno y seno . . . . . . . . . . . . .
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.3. Sucesiones de nmeros reales . . . . . . . . . . . . . . . . . . . . . . .
1.3.1. Acotacin, monotona y convergencia de sucesiones . . . . . . .
1.3.2. Sucesiones divergentes . . . . . . . . . . . . . . . . . . . . . . .
1.3.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
1.4. Lmite Funcional. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.1. Puntos de acumulacin. . . . . . . . . . . . . . . . . . . . . . .
1.4.2. Lmite funcional y lmites laterales. . . . . . . . . . . . . . . . .
1.4.3. Lmites en el infinito. . . . . . . . . . . . . . . . . . . . . . . . .
3
7
7
8
9
10
12
12
14
15
17
17
18
19
20
22
23
25
26
28
30
31
32
33
34
36
39
39
41
42
43
43
44
46
NDICE GENERAL
1.4.4. Funciones divergentes . . . . . . . . . . . . . . . . . . . . . . . .
1.4.5. Algebra de lmites. . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.6. Lmites de funciones de tipo exponencial . . . . . . . . . . . . .
1.4.7. Indeterminaciones . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.8. Funciones asintticamente equivalentes. . . . . . . . . . . . . . .
1.5. Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5.1. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5.3. Propiedades de las funciones continuas: Teoremas de Bolzano, del
valor intermedio y de conservacin de la compacidad. . . . . . .
1.5.4. Resolucin Numrica de Ecuaciones. . . . . . . . . . . . . . . .
1.5.5. Relacin de Ejercicios . . . . . . . . . . . . . . . . . . . . . . .
47
48
49
50
51
51
53
53
54
2. Clculo diferencial en una variable

2.1. Funciones derivables . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1. Derivada. Recta tangente . . . . . . . . . . . . . . . . . . . . . .
2.1.2. Recta tangente . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.3. Propiedades de las funciones derivables: Teoremas de Rolle y del
valor medio, y reglas de L+Hpital. . . . . . . . . . . . . . . . .
2.2. Extremos relativos. Polinomio de Taylor . . . . . . . . . . . . . . . . .
2.2.1. Extremos de una funcin . . . . . . . . . . . . . . . . . . . . .
2.2.2. Extremos relativos y derivabilidad . . . . . . . . . . . . . . . .
2.2.3. Derivadas sucesivas . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.4. Polinomio de Taylor . . . . . . . . . . . . . . . . . . . . . . . .
2.2.5. Resolucin numrica de ecuaciones. . . . . . . . . . . . . . . . .
61
61
62
62
3. Rn
3.1. Los nmeros complejos . . . . . . . . . . .
3.1.1. El conjunto C . . . . . . . . . . . .
3.1.2. Expresiones de un nmero complejo
3.1.3. Raices n-simas. . . . . . . . . . .
3.1.4. Relacin de Ejercicios . . . . . . .
3.2. El plano y el espacio eucldeos . . . . . . .
3.2.1. Estructura algebraica . . . . . . . .
3.2.2. Producto escalar . . . . . . . . . .
3.2.3. Conceptos topolgicos . . . . . . .
3.2.4. Relacin de ejercicios . . . . . . . .
.
.
.
.
.
.
.
.
.
.
83
83
83
85
87
88
89
89
90
91
93
.
.
.
.
95
95
95
96
97
4. Clculo diferencial en varias variables

4.1. Derivadas direccionales . . . . . . .
4.1.1. Derivadas direccionales . . .
4.1.2. Derivada parcial . . . . . . . .
4.1.3. Regla de la cadena . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . .
. . . . . . . . .
y propiedades.
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
56
58
58
64
68
73
73
75
76
77
78
80
NDICE GENERAL
4.1.4. Vector gradiente y matriz jacobiana . . . . . . . . . . . . . .

4.1.5. Plano tangente . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.6. Curvas y superficies dadas en forma implcita . . . . . . . .
4.1.7. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . .
4.2. Clculo de extremos . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.1. Extremos relativos de un campo escalar . . . . . . . . . . . .
4.2.2. Extremos relativos y derivabilidad . . . . . . . . . . . . . .
4.2.3. Derivadas parciales de orden superior . . . . . . . . . . . . .
4.2.4. Condicin suficiente para la existencia de extremos relativos
4.3. Extremos condicionados. . . . . . . . . . . . . . . . . . . . . . . . .
4.3.1. Motivacin . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.2. Conjuntos determinados por una funcin . . . . . . . . . . .
5. Series de nmeros reales.
5.1. Series de nmeros reales . . . . . . . . . . . . . . . . .
5.1.1. Series de nmeros reales . . . . . . . . . . . . .
5.1.2. Criterios de convergencia . . . . . . . . . . . . .
5.1.3. Relacin de ejercicios . . . . . . . . . . . . . . .
5.2. Series de potencias . . . . . . . . . . . . . . . . . . . .
5.2.1. Series de potencias . . . . . . . . . . . . . . . .
5.2.2. Funciones definidas por series de potencias . . .
5.2.3. Desarrollo en serie de Taylor . . . . . . . . . . .
5.2.4. Aplicaciones: Suma de series de nmeros reales
5.2.5. Relacin de ejercicios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
98
99
100
101
103
103
104
105
106
108
111
111
112
114
.
.
.
.
.
.
.
.
.
.
117
117
117
120
122
123
123
126
127
128
128
6. Clculo integral en una variable

131
6.1. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
6.1.1. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . 131
6.1.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.1.3. Propiedades de las funciones integrables . . . . . . . . . . . . . 134
6.1.4. Relacin entre integracin y derivacin: Teorema Fundamental
del Clculo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
6.1.5. Cmo evaluar una integral: Regla de Barrow. . . . . . . . . . . . 135
6.1.6. Integrales impropias . . . . . . . . . . . . . . . . . . . . . . . . 137
6.1.7. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 139
6.2. Mtodos de integracin . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
6.2.1. Integracin de funciones racionales . . . . . . . . . . . . . . . . 141
6.2.2. Integracin de funciones no racionales . . . . . . . . . . . . . . . 144
6.2.3. Relacin de ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 147
6.3. Aplicaciones del clculo integral . . . . . . . . . . . . . . . . . . . . . . 149
6.3.1. La integral como paso al lmite . . . . . . . . . . . . . . . . 149
6.3.2. Clculo del rea de un recinto plano . . . . . . . . . . . . . . . 151
6.3.3. Clculo de la longitud de una curva . . . . . . . . . . . . . . . 152
6.3.4. Clculo del volumen y del rea de un slido de revolucin . . . 153
NDICE GENERAL
7. Clculo integral en varias variables

7.1. Integral de Lebesgue . . . . . . . . . . . . . . .
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.2. Tcnicas de integracin en varias variables . . .
7.2.1. Teorema de Fubini . . . . . . . . . . . .
7.2.2. Cambio de coordenadas . . . . . . . . .
7.2.3. Relacin de ejercicios . . . . . . . . . . .
156
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
159
159
159
160
162
163
164
167
167
170
171
8. Ecuaciones diferenciales
8.1. Ecuaciones diferenciales ordinarias de primer orden . . . .
8.1.1. Ecuaciones diferenciales ordinarias . . . . . . . . .
8.1.2. Teoremas de existencia y unicidad . . . . . . . . . .
8.1.3. Lineal de primer orden . . . . . . . . . . . . . . . .
8.1.4. e.d.o. de orden uno no lineal . . . . . . . . . . . . .
8.1.5. Otras ecuaciones de primer orden . . . . . . . . . .
8.1.6. Relacin de ejercicios . . . . . . . . . . . . . . . . .
8.2. e.d.o. de segundo orden . . . . . . . . . . . . . . . . . . . .
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.4. Relacin de ejercicios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
175
175
175
177
177
178
180
181
183
183
186
186
187
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 1
Funciones de una variable: lmite y
continuidad.
1.1.
El conjunto de los nmeros reales.
Sumario
En esta leccin estudiaremos las propiedades ms importantes de los nmeros reales. La
estrategia que seguiremos en esta primera leccin ser la de exponer una lista de propiedades
fundamentales de los nmeros reales, que son enunciadas bajo la forma de " axiomas ", y
posteriormente enunciar sus sconsecuencias ms importantes. Destacaremos, de entre todos
los axiomas, el que llamaremos axioma del supremo. ste no se verifica en ninguno de los
conjuntos numricos ms pequeos, ni siquiera en el conjunto de los nmeros racionales, y
por tanto, esta propiedad confiere 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.
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 definir una
operacin suma (+), verificando:
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 definir tambin una segunda operacin,
llamada producto (.), que notaremos por yuxtaposicin, verificando:
(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 6= 0 existe otro nmero real 1/x tal que
x 1/x = 1.
Anlisis Matemtico
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 ()), verificando:

1. Propiedad reflexiva: x x (x R).
2. Propiedad antisimtrica: Si x y e y x, entonces x = y (x, y R).
3. Propiedad transitiva: Si x y e y z, entonces x z (x, y, z R).
Estas tres propiedades se resumen diciendo que la relacin ()) es una relacin de
orden.
De hecho, el orden es total ya que:
Axioma V:
Dados dos nmeros reales x e y, ocurre que bien x y bien y x.
Adems el orden tiene un buen comportamiento con respecto a la suma
Axioma VI:
Sean x, y, z tres nmeros reales arbitrarios. Si x y, entonces x + z y + z.
y tambin respecto al producto
Axioma VII:
Sean x, y dos nmeros reales arbitrarios y z 0. Si x y, entonces xz yz.
Las propiedades enunciadas anteriormente suelen resumirse diciendo que el
conjunto R dotado con las operaciones +, . y el orden tiene estructura de cuerpo
ordenado.
10

Notacin
Notaremos por:
- x y a la expresin y x,
- x < y, el hecho de que x y y x 6= 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 6= 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 Q cumple todas las propiedades
exhibidas hasta el momento. Sin embargo, como ya hemos advertido, en este conjunto
no se encuentran suficientes 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 verifica 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 definiciones anteriores, encontramos los conceptos de
minorante o cota inferior y de nfimo. Si el nfimo 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 = Sup{x Q; x2 < 2}.

Por otra parte, es consecuencia inmediata del axioma del supremo, que todo subconjunto de nmeros reales no vaco y minorado tiene nfimo. 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 = Sup{sn = 1 + 1 + 1/2 + ... + 1/n!; n N}.
La recta real: representacin grfica del conjunto R

Para tener una idea intuitiva del conjunto, los nmeros reales suelen representarse
como los puntos de una recta. Para dicha representacin fijamos dos puntos sobre una
recta horizontal que llamamos origen y punto unidad, y les asignamos los nmeros 0
y 1, respectivamente. El segmento entre 0 y 1 es tomado como unidad de medida y,
llevado hacia la derecha del 1, nos permite representar los diferentes nmeros naturales.
12
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 define su valor absoluto por la siguiente regla
x si x 0
|x| =
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 6= 0, entonces |x| > 0.
3. |x| = | x|, |xy| = |x||y|.
4. x2 = |x|2 , x2 = |x|.
5. |x| y si, y slo si y x y.
6. |x + y| |x| + |y|,
7. ||x| |y|| |x y|.
1.1.5.
Intervalos
Otros subconjuntos especialmente interesantes son los llamados intervalos, esto

es, hablando rudamente, los conjuntos que no tienen agujeros.
Dados dos nmeros reales a y b, con a b, se llamar
Intervalo abierto de extremos a y b, al conjunto
]a, b[:= {x R; a < x < b}.
Intervalo cerrado de extremos a y b, al conjunto
[a, b] := {x R; a x b}.
Anlisis Matemtico
13
Intervalo cerrado en a y abierto en b, al conjunto

[a, b[:= {x R; a x < b}.
Intervalo abierto en a y cerrado en b, al conjunto
]a, b] := {x R; a < x b}.
Semirrecta abierta de origen a al conjunto
]a, +[:= {x R; a < x}.
Semirrecta cerrada de origen a al conjunto
[a, +[:= {x R; a x}.
Semirrecta abierta de extremo b al conjunto
] , b[:= {x R; x < b}.
Semirrecta cerrada de extremo b al conjunto
] , b] := {x R; x b}.
Estos ocho tipos de conjuntos junto con el propio R son los nicos subconjuntos
de R que no tienen agujeros , esto es, dicho de forma ms rigurosa, son los nicos
subconjuntos I de nmeros reales que verifican 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 x0 es un punto
de acumulacin de A,
"si todo intervalo centrado en x0 tiene algn punto, distinto del propio x0 , en comn
con A,
lo que a su vez en lenguaje formal se expresa:
x0 A0 ]x0 , x0 + [ A\{x0 } 6= , R+ .
Denominaremos por A0 al conjunto de todos los puntos de acumulacin de A
Se dice que un punto a A es un punto aislado de A si no es un punto de
acumulacin.
14
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) = M ax{p 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)0 a1 a2 ...an ....
(Si x R , suele escribirse x = E(x)0 a1 a2 ...an ...)
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 = 00 1666..,6...
Si la expresin decimal de x es tal que an = 0 a partir de un cierto valor p, diremos

que la expresin decimal de x es finita o que x admite un desarrollo decimal finito
y en tal caso escribiremos
x = E(x)0 a1 a2 ...ap .
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 finito, si bien, en tal caso se advierte que existe una lista de dgitos que se
repite peridicamente. Si E(x)0 a1 a2 ...an ... es la expresin decimal de un nmero racional
positivo x, donde {ap , ap+1 , ap+2 , ..., aq } es una lista de dgitos que se repite de forma
continuada, suele escribirse
\
x = E(x)0 a1 a2 ...ap1 , (ap ap+1
ap+2 ...aq ).
Una tal expresin recibe el nombre de expresin decimal peridica.
As, por ejemplo 43 = 10 a1 a2 ...an ..., donde, para cada n N, se tiene que, an = 3.
3.
En tal caso escribiremos 4/3 = 10b
La expresin decimal de un nmero irracional ni es finita ni es peridica.
Anlisis Matemtico
15
Sea x un nmero real positivo, y sea E(x)0 a1 a2 ...an ... su expresin decimal. Al valor
E(x)0 a1 a2 ...an 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 = 20 718281828459045235360287471352662497757247...,
puede escribirse, si en los clculos slo necesitamos contar con seis decimales,
e 20 718282.
1.1.7.
Relacin de ejercicios
1. Supuesto que
s
x
< , donde s, x R, t, y R+ , prubese que
t
y
s
s+x
x
<
< .
t
t+y
y
2. Dados los nmeros reales x, y, disctase la validez de las siguientes afirmaciones.

a) |2x 1| 5,
2x 3
1
b)
< (x 6= 2),
x+2
3
c) |x 5| < |x + 1|,
d ) |x| |y| = |x y|.
3. Calclense, si existen, el supremo, el mximo, el nfimo y el mnimo de los siguientes subconjuntos de nmeros reales:
a) A = {x R; x2 4 0},
b) B = {x R; x2 4 < 0},
c) C = {x R\{2}; x + 2/x 2 < 0}
d ) D = {x R\{2}; x + 2/x 2 0}
e) E = {1/n; n N}.
4. Prubese que 3 es irracional.
1.2. FUNCIONES ELEMENTALES
1.2.
17
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 Grficas.
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 definidas 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 fin de hacer una definicin 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

final 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 7 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 6= y, entonces
f (x) 6= 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 definida por la ley f (x) 7 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 definida 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.
Grfica de una funcin
En ocasiones resulta til tener una imagen fotogrfica de las funciones,

esto se consigue mediante la grfica de dicha funcin. Dada una funcin f : A R
se define la grfica de f , como el conjunto
Graf (f ) : {(x, y) R2 ; y = f (x), x A}.
Anlisis Matemtico
19
Es claro que el conjunto Graf (f ) es un subconjunto de R2 . Al igual que

usamos como representacin grfica de R la recta real, podremos usar el plano como
representacin grfica del conjunto R2 y, por ende, la grfica 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 grfica revela muchas
de las propiedades de la funcin correspondiente.
1
0.5
-6
-4
-2
-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 verifique x A x A.
20

2. impar en A si f (x) = f (x), siempre que A verifique x A x A.
3. peridica en A si existe un nmero real positivo T tal que para todo x A, se
verifica 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 define la funcin identidad en
A, IA , como aquella funcin IA : A R que viene definida por
IA (x) = x, x A.
Dicha funcin es estrictamente creciente y su grfica
Graf (IA ) = {(x, x); x A}.
es un subconjunto de la diagonal principal
D := {(x, x); x A}.
Si A = [2, 3], entonces su grfica puede ser representada por

3
-2
-1
1
-1
-2
Anlisis Matemtico
21
2. Funciones constantes
Dada A un subconjunto de nmeros reales y dado a R, se define la funcin
constante restringida al conjunto A, Ca , como la funcin Ca : A R que viene
definida por
Ca (x) = a, x A.
La grfica de dicha funcin
Graf (Ca ) = {(x, a); x R}
puede verse como un subconjunto de la recta horizontal y = a:
Si A = [2, 3] y a = 3, entonces su grfica puede ser representada por
6
5
4
3
2
1
-2
-1
3. Funciones polinmicas
Una funcin f : A R se dice ser polinmica si existen a0 , a1 , a2 , ..., an
nmeros reales tales que f (x) = an xn + an1 xn1 + ... + a1 x + a0 para cada x A.
La funcin identidad y toda funcin constante son ejemplos sencillos de funciones
polinmicas.
Si A = [2, 3] y f (x) = x3 + x2 + 1, entonces la grfica de la funcin polinmica
f puede ser representada por la siguiente figura.
1.6
1.4
1.2
-2
-1
0.8
0.6
4. Funciones racionales
Una funcin f : A R se dice ser racional si existen sendas funciones
polinmicas f1 y f2 , con f2 (x) 6= 0, para cada x A y tales que, para cada x A
f (x) = f1 (x)/f2 (x).
22

Es claro que todos los ejemplos anteriores lo son de funciones racionales.
Si A = [2, 3] y f (x) =
ser representada por
x+1
,
x2 +1
entonces la grfica de la funcin racional f puede

1.2
1
0.8
0.6
0.4
0.2
-2
-1
-0.2
1.2.5.
Funcin logaritmo.
Se define la funcin Logaritmo neperiano, log, como la nica biyeccin

estrictamente creciente, que existe de R+ en R, verificando:
- log(1) = 0
- log(e) = 1
- log(xy) = log(x) + log(y).
Como consecuencia, se pueden obtener algunas propiedades tales como que:
- log(xp ) = 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 grfica de la restriccin de la funcin logaritmo neperiano
al conjunto A puede ser representada por
1
-2
-4
-6
-8
Anlisis Matemtico
23
Funcin logaritmo de base a

Dado a > 0, a 6= 1, se llama funcin logaritmo de base a, loga , a la funcin
definida en R+ mediante la ley
loga (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 grficas de las correspondientes restricciones de la funcin logaritmo al conjunto A pueden ser comparadas
con la anterior
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 f y g definidas sobre un
mismo subconjunto de nmeros reales A, se pueden definir las siguientes funciones:
a) Funcin suma: f + g.
La funcin suma es una nueva funcin f + g : A R definida, 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,
definida, para cada x A, por
(f )(x) = f (x).
24

b) Funcin producto: f.g:
La funcin producto es una nueva funcin f.g : A R definida, para
cada x A, por
(f.g)(x) = f (x)g(x).
Siempre 0 6 f (A), podemos definir 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 definida, para cada x A, por
(af )(x) = af (x).
La funcin , af puede verse como el producto de la funcin constante
x 7 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 definir la funcin
composicin de ambas, g f , como la funcin
g f : A R
definida, 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 , definida en f (A), con valores en A y que viene
definida mediante la ley :
f 1 (f (x)) = x (x A),
esto es,
f 1 f = IA .
Adems es claro que
f f 1 = If (A) .
Anlisis Matemtico
25
Es fcil probar, usando estas ltimas consideraciones, que toda aplicacin estrictamente 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, ex , a la funcin inversa del logaritmo

neperiano, ser por tanto, una biyeccin estrictamente creciente de R en R+ tal que:
- e0 = 1
- e1 = e
- ex+y = ex ey , para cada x, y R.
- elogx = x
- log(ex ) = x.
Su grfica se puede representar como sigue:
20
15
10
-2
-1
Dados x R+ e y R, convendremos en que

xy = eylogx ,
en particular se obtiene que:
log(xy ) = ylogx,
Funcin exponencial de base a

Dado a > 0, a 6= 1, la funcin ha : R R+ definida por ha (x) = ax , se
denomina funcin exponencial de base a, y se notar por ax .
Dicha funcin es estrictamente creciente (resp. decreciente) si a > 1 (resp. a < 1)
de R en R+ y verifica las siguientes propiedades:
- a0 = 1
- a1 = a
- ax+y = ax ay .
26

40
30
20
10
-2
-1
Sus grficas para a = 0, 1 y a = 5 se pueden representar como siguen:

Funcin potencial
Dado b 6= 0, la funcin pb : R+ R+ definida por pb (x) = xb , se denomina
funcin potencial de exponente b, y se notar por xb .
Dicha funcin es estrictamente creciente (resp. decreciente) si b > 0 (resp. si b < 0)
de R+ en R+ y verifica las siguientes propiedades:
- 1b = 1
- (xy)b = xb y b .
Sus grficas (para b = y b = 1 ) se pueden representar como sigue:
40
30
20
10
0.5
1.2.8.
1.5
2.5
Funciones definidas a trozos. Funciones parte entera y

valor absoluto.
Supongamos que tenemos un subconjunto A de nmeros reales y dos subconjuntos disjuntos de ste B y C tales que A = B C. Dispongamos adems de sendas
funciones reales de variable real g y h definidas respectivamente en B y C. A partir de
aqu podemos definir una nueva funcin f : A R mediante la siguiente expresin:
g(x) si x B
f (x) =
h(x) si x C.
Decimos que una tal funcin es una funcin definida a trozos. Es evidente que
las propiedades de la nueva funcin dependern de las propiedades de las funciones que
la definen y de la forma en que los subconjuntos se complementan.
Anlisis Matemtico
27
Como ejemplos ms sencillos veremos los dos siguientes:

Funcin parte entera:
Se define la funcin Parte entera, E, como la funcin E : R R definida
por
E(x) = M ax{p Z; p x}.
Dicha funcin es creciente y su grfica puede representarse como una escalera
infinita 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 grfica de la funcin E(x) restringida al conjunto A
puede ser representada por
2
-2
-1
-1
-2
Funcin valor absoluto.

Se define la funcin valor absoluto como la funcin |.| : R R, definida
para cada x R por
x si x 0
|x| =
x si x < 0
La grfica puede representarse como la unin de las bisectrices del primer y
segundo cuadrante.
3
2.5
2
1.5
1
0.5
-2
-1
28
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 confieren una especial disposicin para expresar muchos fenmenos 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 definida por
f (x) = 1 x2 , x [1, 1].

La grfica de esta funcin recibe el nombre de semicircunferencia unidad.
1
0.8
0.6
0.4
0.2
-1
-0.5
0.5
Pues bien, es sabido que la longitud de dicha grfica es el ' 3, 141592.

Definimos la funcin arcocoseno, arc cosx, como la funcin biyectiva y estrictamente decreciente del intervalo [1, 1] en el intervalo [0, ] definida por la ley
arc cosx = longitud arco semicircunferencia que va desde el punto (1, 0) hasta el punto (x, f (x)).
Se puede probar que:
1. arc cosx + arc cos(x) = .
2. arc cos(0) = 2 .
Funcin coseno
Se llama funcin coseno y se nota por cosx a la nica funcin de R en R par y
peridica con periodo 2 cuya restriccin a [0, ] es tal que
cos(x) = (arc cos)1 (x),
y por tanto, para cada x [0, ],
arccos(cosx) = x,
y para cada y [1, 1],
cos(arcosy) = y.
Anlisis Matemtico
29
1
0.5
-6
-4
-2
-0.5
-1
La grfica 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
p
sen(x) = 1 cos2 (x).
La grfica de la funcin seno es como sigue
1
0.5
-6
-4
-2
-0.5
-1
Las siguientes propiedades determinan de forma nica a las funciones seno y coseno.
Teorema 1.2.1.
1. sen2 x + cos2 x = 1
(x R).
2. La restriccin de la funcin coseno al intervalo [0, ] es una biyeccin estrictamente decreciente de ste en el intervalo [1, 1], con
, cos = , cos =
.
cos0 = 1, cos = 0, cos = 1, cos =
2
4
2
3
2
6
2
3. La restriccin de la funcin seno al intervalo [ 2 , 2 ] es una biyeccin estrictamente creciente de ste en el intervalo [1, 1], con
, sen =
sen = .
sen0 = 0, sen( ) = 1, sen = 1, sen =
2
2
4
2
3
2
6
2
4. La imagen de ambas funciones es el intervalo [1, 1].
30

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
7. cos(x + y) = cosxcosy senxseny.
(x R).
sen(x + y) = senxcosy + cosxseny.
8. Dados dos nmeros reales a, b, verificando que a2 +b2 = 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}.
1.2.10.
{x R; senx = 0} = {k; k Z}.
Funcin tangente
Sea A = R\{ 2 + k; k Z}. Se llama funcin tangente, tgx , a la funcin de A

en R definida por
senx
tg(x) =
.
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).
, [, es una biyeccin estrictamente
2. La funcin tangente restringida al intervalo ]
2 2
creciente de dicho intervalo en R.
3. La grfica de la funcin tangente restringida al conjunto A = [, ]\{ 2 , 2 }
puede representarse de la siguiente forma:
Anlisis Matemtico
31
40
20
-3
-2
-1
-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 definida por
1
sec(x) =
.
cosx
La grfica de la funcin secante restringida al conjunto A = [, ]\{ 2 , 2 } puede
representarse de la siguiente forma:
20
10
-3
-2
-1
-10
-20
Sea B = R\{k; k Z}. Se llama funcin cosecante, cosecx , a la funcin de B

en R definida por
1
cosec(x) =
.
senx
La grfica de la funcin cosecante restringida al conjunto A =] , [/{0} puede
20
10
-3
-2
-1
-10
-20
Llamaremos funcin cotangente, cotgx , a la funcin de B en R definida por

cosx
.
cotg(x) =
senx
La grfica de la funcin cotangente restringida al conjunto A =] , [/{0} puede
32

40
20
-3
-1
-2
-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 grfica puede ser representada como sigue
3
2.5
1.5
0.5
-1
-0.5
0.5
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 [ , ]) sen[arc sen(y)] = y (y [1, 1]).
2 2
Dicha funcin es pues una biyeccin estrictamente creciente de [1, 1] en [ 2 , 2 ] con
arc sen(1) =
Su grfica es como sigue:
arc sen(0) = 0,
arc sen(1) =
.
2
Anlisis Matemtico
33
1.5
1
0.5
-1
-0.5
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 grfica de es como sigue:
0.5
-2
-1
-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 = sec2 (x),
cotg 2 (x) + 1 = cosec2 (x),
si se quiere cos(x) = p
1
1 + tg 2 (x)
tg(x)
si se quiere sen(x) = p
1 + tg 2 (x)
34

2.
tg(x y) =
tgx tgy
.
1 tgx tgy
3. ngulo doble
sen2x = 2senxcosx,
cos2x = 2cos2 x 1 = 1 2sen2 x.
4. ngulo mitad
1
1
sen2 x = (1 cos2x), cos2 x = (1 + cos2x),
2
2
x
1 cosx
senx
tg( ) =
=
.
2
senx
1 + cosx
5. producto
1
senxseny = [cos(x y) cos(x + y)],
2
1
cosxcosy = [cos(x y) + cos(x + y)],
2
1
senxcosy = [sen(x + y) + sen(x y)].
2
1.2.14.
Funciones Hiperblicas.
Se define la funcin coseno hiperblico, coshx, como la funcin cosh : R R,

definida por
ex + ex
coshx =
.
2
Se define la funcin seno hiperblico, senhx, como la funcin senh : R R,
definida por
ex ex
senhx =
.
2
El siguiente resultado resume algunas propiedades del seno y coseno hiperblicos.
Proposicin 1.2.3.
1. La funcin coseno hiperblico es una funcin par y la funcin seno hiperblico es
una funcin impar.
2. La funcin seno hiperblico es una biyeccin estrictamente creciente de R en R.
Anlisis Matemtico
35
3. La restriccin de la funcin coseno hiperblico a R+

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

0 (resp. R0 ) sobre [1, +[.
4.
cosh2 x senh2 x = 1.
5.
cosh(x + y) = coshx coshy + senhx senhy.
senh(x + y) = senhx coshy + coshx senhy.
La grfica del seno hiperblico es como sigue:
20
10
-4
-2
2
-10
-20
La grfica de la funcin coseno hiperblico restringida a R+

0 es como sigue
25
20
15
10
5
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 grfica es como sigue:
1
0.5
-4
-2
-0.5
-1
36
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 grfica 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,f g,f g y
g f?
3. Calclense los dominios naturales de las funciones correspondientes reales de variable real en cada uno de los casos siguientes:
a) x 7 1/1 + x.
b) x 7 1/1 + x2 .
c) x 7 1/1 + x.
4. Qu se puede decir acerca de la grfica 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 / inferiormente) si su conjunto imagen f (A) es un subconjunto de nmeros reales
acotado (resp. superiormente / inferiormente acotado). Prebese que f est acotada si, y slo si, existe M R, tal que, para cada x A, se verifica que |f (x)| M.
6. Qu funciones componen la funcin f : R+ R en cada uno de los siguientes
casos?
Anlisis Matemtico
37
1) f (x) = (log 2 x)ex ,
3
2) f (x) = ( x + 1)log(x ) .
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 definida por g(y) = 2arctgy. Hllese en funcin
de y,
a) seng(y).
b) cosg(y).
1.3. SUCESIONES DE NMEROS REALES
1.3.
39
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 ordenada"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 xn , mientras que la sucesin f suele
notarse por {xn }nN simplemente {xn }. A xn se le denominar trmino n-simo de la
sucesin {xn }nN . Una sucesin de nmeros reales no es ms que una sucesin en
la que A = R.
Dada una sucesin {xn }, al conjunto imagen {xn : n N} se le denomina
conjunto de los trminos de la sucesin {xn }. 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 {xn }nN
1. est mayorada, si existe un nmero real M tal que xn M , para todo n N,
2. est minorada, si existe un nmero real M tal que xn 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 |xn | 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 xn xm .
5. es decreciente si, para cualesquiera n, m N con n m, se tiene que xn xm .
Es fcil probar por induccin que una sucesin {xn }nN es creciente (resp. decreciente) si, para cada natural n, xn xn+1 (resp. xn xn+1 ).
6. es convergente si existe un nmero real x verificando 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 verifica que |xn x| < .

En tal caso x es nico y se dice que el lmite de la sucesin {xn }nN que la
sucesin {xn }nN converge a x, y suele notarse por
x = limn xn
{xn } 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 {xn } una sucesin de nmeros reales, x R y p N. La sucesin {xn } es
convergente a x si, y slo si, la sucesin {xn+p } converge tambin a x
2.- La sucesin {xn } converge a cero, si y slo si la sucesin {|xn |}converge a cero.
3.- Toda sucesin creciente y mayorada {xn } es convergente a x = Sup{xn ; n N}.
4.- Toda sucesin decreciente y minorada {xn } es convergente a x = Inf {xn ; n N}.
En particular la sucesin {1/n } converge a cero para todo > 0.
5.- Sean x, y R y sea {xn } una sucesin convergente a x. Si para cada n N,
xn y, entonces x y. En particular si {yn } y {zn } son dos sucesiones de
nmeros reales tales que,
a) para cada n N, xn yn zn ,
b) limn zn = x,
entonces la sucesin {yn } converge tambin a x.
Anlisis Matemtico
41
6.- Si {xn }e {yn } son dos sucesiones convergentes respectivamente a x e y, entonces

la sucesin
a) suma, esto es, la sucesin {xn + yn } converge a x + y.
b) producto, esto es, la sucesin {xn yn } converge a xy.
c) cociente, esto es, la sucesin {xn /yn }, converge a x/y siempre que y 6= 0 e
yn 6= 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 {xn } converge a cero.
1.3.2.
Sucesiones divergentes
Se dice que una sucesin {xn }nN diverge positivamente si
M, N N, tal que para todo n N se verifica que xn > M.
Este hecho suele notarse por

limn xn = +
{xn } +.
Se dice que una sucesin {xn }nN diverge negativamente si
N < 0, N N, tal que para todo n N se verifica que xn < N.
Este hecho suele notarse por
limn xn =
{xn } .
Diremos que una sucesin {xn }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 {xn } una sucesin de nmeros reales, x R y p N. La sucesin {xn }
diverge positivamente si, y slo si, la sucesin {xn+p } diverge positivamente.
2.- Toda sucesin creciente y no mayorada diverge positivamente. En particular la
sucesin {rn } diverge positivamente si r > 1.
3.- Toda sucesin decreciente y no minorada diverge negativamente.
4.- Sean {xn }, {yn } dos sucesiones de nmeros reales tales que, para cada n N,
xn yn . Si la sucesin {xn } diverge positivamente, entonces la sucesin {yn }
tambin diverge positivamente.
5.- Si {xn } es una sucesin de trminos positivos entonces converge a cero si, y slo
si, la sucesin {1/xn } divergente positivamente. En particular la sucesin {n }
diverge positivamente para todo > 0.
1.3.3.
1. Prubse que si {xn } e {yn } son dos sucesiones acotadas, {xn + yn } y {xn yn }
tambin lo son.
2. Estdiese la convergencia de la sucesin {xn } en los siguientes casos:
a) x1 = 2, xn+1 = 2 + xn , n N.
b) x1 = 1, xn+1 = 2xn , n N.
3. Estdiese la convergencia de las siguientes sucesiones:
a) {sen(n)/n}.
b) {cos(n2 + 1)/n}.
1.4. LMITE FUNCIONAL.
1.4.
43
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 x0 si en
todo punto prximo a x0 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 infinito.
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 x0 es un punto

de acumulacin de A,
"si existe una sucesin {xn }nN de elementos de A, distintos de x0 , y convergente
al propio x0 ,
, escrito en lenguaje de intervalos,
"si todo intervalo centrado en x0 tiene algn punto, distinto del propio x0 , en comn
con A,
lo que a su vez en lenguaje formal se expresa:
x0 A0 ]x0 , x0 + [ A\{x0 } 6= , R+ .
44
1.4 Lmite funcional.

Denominaremos por A0 al conjunto de todos los puntos de acumulacin de A
0
Diremos que x0 es un punto de acumulacin de A por la derecha si x0 (A+
x0 ) ,
donde
A+
x0 = {x A; x > x0 },
lo que en lenguaje de sucesiones puede escribirse,
si existe una sucesin {xn }nN de elementos de A, mayores que x0 , y convergente
al propio x0 .
si todo intervalo de extremo inferior x0 tiene algn punto, distinto del propio x0 ,
en comn con A.
Diremos que x0 es un punto de acumulacin de A por la izquierda si x0
0
(A
x0 ) , donde
A
x0 = {x A; x < x0 },
lo que en lenguaje de sucesiones puede escribirse,
si existe una sucesin {xn }nN de elementos de A, menores que x0 , y convergente
al propio x0 .
si todo intervalo cuyo extremo superior es x0 tiene algn punto, distinto del propio
x0 , en comn con A,
0
+ 0
Es fcil probar que x0 A0 si, y slo si x0 (A
x0 ) (Ax0 )
1.4.2.
Lmite funcional y lmites laterales.
Lmite funcional:
Sean A un subconjunto no vaco de nmeros reales, x0 A0 y f : A R una
funcin. Se dice que f tiene lmite en el punto x0 si existe un nmero real L con la
siguiente propiedad:
"Para cada sucesin {xn } de elementos de A, distintos de x0 , convergente a x0 , la
sucesin imagen {f (xn )} converge a L".
Anlisis Matemtico
45
o en lenguaje ms formal
> 0, > 0, tal que si x A 0 < |x x0 | < , entonces |f (x) L| < .
El tal valor L, si existe es nico y recibe el nombre de lmite de f en el punto x0 y
escribiremos:
L = limxx0 f (x) f (x)xx0 L.
Observacin 1.4.1. Es importante hacer notar que la igualdad anterior encierra dos
afirmaciones: que f tiene lmite en el punto x0 y que dicho lmite vale L.
Lmites laterales:
0
Supongamos que x0 (A+
x0 ) . Se dice que f tiene lmite por la derecha en el
punto x0 si existe un nmero real L con la siguiente propiedad:
"Para cada sucesin {xn } de elementos de A, mayores que x0 , convergente a x0 , la

sucesin {f (xn )} converge a L".
en lenguaje formal
> 0, > 0, tal que si x A, 0 < x x0 < entonces |f (x) L| < .

Si tal L existe, entoces es nico y diremos que L es el lmite por la derecha de f
en el punto x0 y escribiremos:
L = limxx+0 f (x).
Supongamos que x0 (Ax0 )0 . Se dice que f tiene lmite por la izquierda en el
punto x0 si existe un nmero real L con la siguiente propiedad:
"Para cada sucesin {xn } de elementos de A, menores que x0 , convergente a x0 , la
sucesin {f (xn )} converge a L".
en lenguaje formal
> 0, > 0, tal que si x A, 0 < x0 x < entonces |f (x) L| < .

Si tal L existe, entoces es nico y diremos que L es el lmite por la izquierda de
f en el punto x0 y escribiremos:
L = limxx0 f (x).
Relacin entre el lmite ordinario y los lmites laterales
46
Proposicin 1.4.2. Sean A un subconjunto no vaco de nmeros reales, x0 A0 , L R

y sea f : A R una funcin.
0
1. Si x0
/ (A
x0 ) , entonces
L = limxx0 f (x) si, y slo si, L = limxx+0 f (x).

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

T + 0
0
3. Si x0 (A
(Ax0 ) , entonces
x0 )
limxx0 f (x) = L si, y slo si, limxx+0 f (x) = limxx0 f (x) = L.
1.4.3.
Lmites en el infinito.
Sea A un subconjunto no vaco de nmeros reales no mayorado y sea f : A R

una funcin. Se dice que f tiene lmite en + si existe un nmero real L con la
siguiente propiedad:
"Para cada sucesin {xn } de elementos de A que diverge positivamente, la sucesin
{f (xn )} 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 = limx+ f (x).
Nota
Ntese que si N A y L = limx+ 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 {xn } de elementos de A que diverge negativamente, la sucesin
{f (xn )} 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 = limx f (x).
Anlisis Matemtico
1.4.4.
47
Funciones divergentes
Sea A un subconjunto no vaco de nmeros reales y sea x0 A0 . Se dice que la

funcin f : A R diverge positivamente en el punto x0 si verifica la siguiente
propiedad:
Para cada sucesin {xn } de elementos de A, distintos de x0 , convergente a x0 , la
sucesin {f (xn )} diverge positivamente,
M, > 0, tal que si x Ay0 < |x x0 | < , entonces f (x) > M.
Y escribiremos:
limxx0 f (x) = +.
Sea A un subconjunto no vaco de nmeros reales y sea x0 A0 . Se dice que la
funcin f : A R diverge negativamente en el punto x0 si verifica la siguiente
propiedad:
Para cada sucesin {xn } de elementos de A, distintos de x0 , convergente a x0 , la
sucesin {f (xn )} diverge negativamente,
M, > 0, tal que si x A y0 < |x x0 | < , entonces f (x) < M.
Y escribiremos:
limxx0 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 verifica la siguiente propiedad:
Para cada sucesin {xn } de elementos de A que diverge positivamente, la sucesin
{f (xn )} diverge positivamente.
M, N, tal que si x A yN < x entonces f (x) > M.
Y escribiremos:
limx+ f (x) = +.
Anlogamente se pueden definir las funciones divergentes negativamente en + y las
funciones divergentes negativa y positivamente en .
Antes de finalizar esta seccin queremos recordar el comportamiento de algunas
funciones elementales en infinito o en los puntos extremos del dominio.
48
Proposicin 1.4.3.
1.- limx+ ex = +,
2.- limx ex = 0
3.- limx+ log(x) = +,
4.- limx0+ log(x) = ,
5.- limx/2 tg(x) = ,
6.- limx 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)
S
Sean f, g : A R y sea xS0 A0 . Supongamos que limxx0 f (x) = L R {+, }
y que limxx0 g(x) = M R {+, }. Entonces la funcin suma f + g converge o
diverge en x0 segn lo expresado en la siguiente tabla:
lim(f + g)
M R
M = +
M =
LR
L+M
+
L = +
+
+
?
L =
Teorema 1.4.5. (del producto de funciones)

S
0
Sean f, g : A R y sea xS
0 A . Supongamos que limxx0 f (x) = L R {+, }
y que limxx0 g(x) = M R {+, }. Entonces la funcin producto f.g converge
o diverge en x0 segn lo expresado en la siguiente tabla:
lim(f.g)
M R+
M =0
M R
M = +
M =
L R+
LM
0
LM
+
L=0
0
0
0
?
?
L R
LM
0
LM
L = +
+
?
Adems si L = 0 y g es una funcin acotada, entonces

limxx0 f (x).g(x) = 0.
L =
?
.
+
Anlisis Matemtico
49
Teorema 1.4.6. (del cociente de funciones)

0
Sean
Sf, g : A R tal que g(x) 6= 0 y sea x0 A
S. Supongamos que limxx0 f (x) =
L R {+, } y que limxx0 g(x) = M R {+, }. Entonces la funcin
cociente f /g converge o diverge en x0 segn lo expresado en la siguiente tabla:
lim(f /g)
M R+
M = 0, g(x) > 0
M = 0, g(x) < 0
M R
M = +
M =
L R+
L/M
+
L/M
0
0
L=0
0
?
?
0
0
0
L R
L/M
+
L/M
0
0
L = +
+
+
?
?
L =
+
+
?
?
Observacin 1.4.7. El smbolo ? que aparece en las tablas indica que el resultado depende 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, Spara cada x A, f (x) > 0, y sea x0 S
A0 . Supongamos que limxx0 f (x) = L R+
{+} y que limxx0 g(x) = M R {+, }.
0
g
Entonces la funcin f converge o diverge en x0 segn lo expresado en la siguiente tabla:
L=0
limf g
+
M R
0
M =0
?
M R
+
M = +
0
M = +
0<L<1 L=1
LM
1
1
1
M
L
1
0
?
+
?
L>1
LM
1
LM
+
0
L = +
+
?
0
+
0
Las posibles indeterminaciones son de la forma: 00 , 1 e 0 . stas se resolvern

intentando traducirlas en trminos de cocientes, para luego aplicar las prometidas reglas
de LHopital, de la siguiente forma:
Proposicin 1.4.9.
S Sean f, g : A R tales que, para cada x A, f (x) > 0. Sean
x0 A0 y L R {+, } . Supongamos que limxx0 f (x) = +,0 (resp. 1) y que
limxx0 g(x) = 0 (resp. ). Entonces
limxx0 f (x)g(x) = eL L = limxx0 g(x)log(f (x)).
50

Como ejemplo podemos calcular limx+ x1/x .
Adems, para la indeterminacin del tipo 1 , se tiene la siguiente tcnica propia:
Proposicin 1.4.10. (1 )
SeanS f, g : A R tales que, para cada x A, f (x) > 0. Sean x0 A0 y
L R {+, } . Supongamos que limxx0 f (x) = 1 y que limxx0 g(x) = +.
Entonces
limxx0 f (x)g(x) = eL L = limxx0 g(x)(f (x) 1).
Como ejemplo podemos calcular limx+ (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 infinito de un polinomio

Si p(x) = an xn + an1 xn1 + ... + a1 + a0 , entonces
limx+ p(x) =signo(an ).
limx p(x) = (1)n signo(an ) .
2.) Lmite en el infinito de un cociente de polinomios.
Si p(x) = an xn + an1 xn1 + ... + a1 + a0 , y q(x) = bp xp + bp1 xp1 + ... + b1 + b0 ,
entonces
signo(an /bp ) si n > p

p(x)
an /bp
si n = p
limx+
=
q(x)
0
si n < p
signo(an /bp )(1)np si n > p

p(x)
an /bp
si n = p
limx
=
q(x)
0
si n < p
Anlisis Matemtico
51
3.) En general, las indeterminaciones /, 0. y 0/0 se resolvern con las reglas

de LHpital que veremos ms adelante. No obstante adelantamos la siguiente
escala de infinitos que ratificaremos en su momento con las susodichas reglas. En
este sentido podemos decir que:
xx ex xa (logx)b ,
donde f (x) g(x) significa que
limx+ [f (x)/g(x)] = +.
Como ejemplo, podemos calcular limx+ 1+logx+e

x5
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 x0 A0 . Se dice que ambas funciones
son asintticamente equivalentes en x0 si
limxx0 f (x)/g(x) = 1.
Ejemplos de funciones asintticamente equivalentes en x0 = 0 son senx, tgx,
log(1 + x) y x, esto es,
limx0 [sen(x)/x] = 1 = limx [tg(x)/log(1 + x)] = limx0 [tg(x)/x] = 1.
1.4.9.
a) Estdiense los siguientes lmites funcionales:

5x + 3
x
,
lm
,
lm
x 2x2 + 1
x+ 7x + 4
x2 + 4
x2 + 4
lm
,
lm+
,
x2 x 2
x2 x 2
2 + 3ex
2 + 3ex
lm
,
lm
,
x+
x
2 + 3x2
2 + 3x2
1.5. FUNCIONES CONTINUAS
1.5.
53
Funciones continuas
Sumario
En esta leccin tratamos del concepto de continuidad, una de las ideas ms fascinantes
de toda la matemtica. Aqu daremos la definicin 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 verifica 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 verifican las siguientes afirmaciones:
a) Si a es un punto aislado de A, entonces f es una funcin continua en a.
T
b) Si a A A0 , entonces f es continua en a si, y slo si, limxa 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 A0 y que
no tenga sentido hablar de continuidad en a (a
/ A). Por otra parte, obsrvese
que si una funcin es continua en un punto de acumulacin, la funcin y el lmite
conmutan.
1.5.2.
Ejemplos
a) La funcin f : R+ R definida mediante la siguiente expresin:
x + 1 si x 6= 1
f (x) =
1
si x = 1.
presenta una discontinuidad en 1, lo cual poda haberse adivinado si hubisemos pintado previamente su grfica
4
-2
-1
-1
b) La funcin parte entera presenta una discontinuidad en todos los nmeros

enteros.
c) La funcin f : R+
0 R definida mediante la expresin:
1/x si x R+
f (x) =
1
si x = 0.
presenta una discontinuidad esencial en 0.
Este hecho puede adivinarse cuando observamos su grfica:
Anlisis Matemtico
55
50
40
30
20
10
d ) Las funciones logaritmo neperiano, seno y coseno son continuas en sus dominios.
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) 6= 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.
56

Proposicin 1.5.6. (La continuidad es una propiedad local)
Sean A un subconjunto de numeros reales, B un subconjunto de A, a B y
f : A R una funcin. Entonces
a) Si f es continua en a, entonces f /B es una funcin continua en a.
b) SiTf /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 definida a trozos.
Como ejemplo estudiemos la continuidad de la funcin f : R R, definida por
x2
si x 2
f (x) =
x + 4 si x > 2
cuya grfica es como sigue:

8
-4
-2
Dado que la funcin x2 es continua en R, entonces f /],2] = x2 /],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 grfica,
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. SiTf (a) 6= 0 Entonces existe un intervalo centrado en a, I, tal que
para cada x I A, f (x)f (a) > 0.
Teorema 1.5.9. (de los ceros de Bolzano)
Sean [a, b] un intervalo de numeros reales, y f : [a, b] R una funcin continua.
Si f (a).f (b) < 0, entonces existe c ]a, b[ tal que f (c) = 0.
Anlisis Matemtico
57
Enunciemos finalmente 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 grfica. sta debe cortar al eje x en un nuevo punto. Se construyen ahora
los subintervalos formados por el extremo correspondiente y este nuevo punto. En
aquel subintervalo en el que los valores de f en sus extremos sean de signo diferente
se vuelve a partir en dos siguiendo la misma construccin, y as sucesivamente.
1.5.5.
Relacin de Ejercicios
a) Estdiese la continuidad y el comportamiento en + y en de la funcin

f : R R definida por
58

1) f (x) =
x
,
1+|x|
2) f (x) =
3) f (x) =
x R.
1
,
1+e1/x
si x 6= 0
si x = 0
ex
,
x
x,

5
si x < 0
si 0 x < 1
x, si x 1
b) Dse un ejemplo de funcin ...

1)
2)
3)
4)
5)
continua cuya imagen no es un intervalo.

no continua en un intervalo y cuya imagen es un intervalo.
continua en R, no constante y cuya imagen sea un intervalo acotado.
continua en [0, 1[ cuya imagen no es acotada.
continua en un intervalo abierto acotado cuya imagen es un intervalo
cerrado y acotado.
c) Para cada una de las siguientes funciones polinmicas f , hllese un entero n

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

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

Dado un subconjunto B de A A0 , 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 0 = 1 y C 0 = 0, mientras que la funcin valor absoluto es
derivable en todos los puntos de R salvo en cero, y para cada x R ,
(|x|)0 = |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
una funcin f : A R. Entonces las siguientes afirmaciones son equivalentes:
A0 y
a) f es derivable en a.
b) f es continua en a y existe una funcin afn g tal que
limxa
2.1.2.
f (x) g(x)
= 0.
xa
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 0 (a)(x a) + f (a)
y por tanto su grfica es una recta del tipo anterior con m = f 0 (a); la condicin sobre
el lmite del cociente del apartado 2) nos asegura que la grfica de la funcin afn g es
la que mejor se aproxima a la grfica 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
Anlisis Matemtico
61
6
4
2
-2
-1
-2
-4
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 0 (a)(x a) + f (a) recibe el nombre de recta tangente a la grfica
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 0 (x) = 1/x, sen0 (x) = cos(x), cos0 (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)0 (a) = f 0 (a) + g 0 (a), (f.g)0 (a) = f 0 (a)g(a) + f (a)g 0 (a).
Si adems, para cada x A, g(x) 6= 0, entonces f /g es tambin derivable en a y se
tiene que
f 0 (a)g(a) f (a)g 0 (a)
.
(f /g)0 (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 0 (x) = 1 + tg 2 (x).
Tambin las cosas van bien cuando componemos dos funciones derivables.
62

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 )0 (a) = g 0 (f (a)).f 0 (a).
Como consecuencia obtenemos que
Corolario 2.1.4. Si f : A R+ es una funcin derivable en a, entonces
(logf (a))0 =
f 0 (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
A R una funcin. Entonces
B0 y f :
a) Si f es derivable en a, entonces f /B es una funcin derivable en a y f 0 (a) =

(f /B )0 (a).
T
b) Si f /B es derivable en a y existe un intervalo centrado en a, I, tal que I A B,
entonces f es una funcin derivable en a y f 0 (a) = (f /B )0 (a).
Observacin 2.1.6. La proposicin anterior es muy til para estudiar la derivabilidad de
una funcin definida en varias ramas.
Como ejemplo estudiemos la derivabilidad de la funcin f : R R, definida por
x2
si x 2
f (x) =
x + 6 si x > 2
cuya grfica es como sigue
Dado que la funcin x2 es derivable en R, entonces f /],2] = x2 /],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 grfica, la funcin
presenta un pico, luego pensamos que no es derivable en 2. Comprubese. Obsrvese
adems que en cambio la funcin f /] , 2] es derivable en 2.
Anlisis Matemtico
63
10
8
6
4
2
-4
-2
-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[ verificando que f (a) = f (b). Entonces existe c ]a, b[ tal que f 0 (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 0 (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 0 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 0 (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
verifican las siguientes afirmaciones:
64

a) f es creciente si, y slo si f 0 (x) 0, x I.
b) f es decreciente si, y slo si f 0 (x) 0, x I.
c) Si f 0 (x) = 0, x I, si, y slo f es constante.
d) Si f 0 (x) > 0 x I, entonces f es estrictamente creciente.
e) Si f 0 (x) < 0 x I, entonces f es estrictamente decreciente.
f) Si f 0 (x) 6= 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 0 (x) 6= 0. Entonces f 1 es derivable en f (I) y para cada x I, se tiene que
(f 1 )0 (f (x)) =
1
f 0 (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
1
(ex )0 = ex , (arctg)0 (x) =
,
1 + x2
1
1
(arc cos)0 (x) =
, (arc sen)0 (x) =
.
2
1x
1 x2
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
(ef (a) )0 = f 0 (a)ef (a) ,
(arctg)0 (f (a)) =
f 0 (a)
(arc cos)0 (f (a)) = p
,
1 f 2 (a)
f 0 (a)
,
1 + f 2 (a)
f 0 (a))
(arc sen)0 (f (a)) = p
.
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
h0 (a) = f (a)g(a) [g 0 (a)log(f (a)) + g(a)
f 0 (a)
].
f (a)
Para calcular derivadas tan complicadas como la anterior podemos usar la tcnica
logartmica. El procedimiento es como sigue.
Tcnica logartmica
Anlisis Matemtico
65
a) Tomamos logaritmos en la igualdad que define a h.

log(h(x)) = g(x)log(f (x)).
b) Derivamos ambas igualdades en el punto a
h0 (a)
f 0 (a)
= g 0 (a)log(f (a)) + g(a)
.
h(a)
f (a)
c) Finalmente despejamos y obtenemos que
h0 (a) = f (a)g(a) [g 0 (a)log(f (a)) + g(a)
f 0 (a)
].
f (a)
Como ejercicio calclese la funcin derivada de f (x) = xx 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 : I\{a} R son dos funciones tales que
a) f y g son derivables,
b) g 0 (x) 6= 0,
1) Primera Regla de L+Hpital
limxa f (x) = limxa g(x) = 0,
2) Segunda Regla de L+Hpital:

la funcin |g| diverge positivamente en a,
0
(x)
Si limxa fg0 (x)
= L. entonces
limxa
f (x)
= L.
g(x)
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 definidas 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 I\{a}. Si h0 tiene lmite en el punto a entonces h es derivable
en a y
h0 (a) = limxa h0 (x).
66
2.1.4.
a) Calclese la derivada de las siguientes funciones cuyas ley viene dada por:
1)
2)
3)
4)
5)
6)
7)
8)
9)
f (x) = sen(x + 3).

f (x) = cos2 (x3 ).
f (x) = 1/cos(x).
p
f (x) = (1 + x)/(1 x).
f (x) = x2 + 1.
f (x) = ( 3 x 1/ 5 x)5 .
f (x) = cos(cos(cos(x))).
f (x) = x4 ex log(x).
f (x) = xx .
x
10) f (x) = x .
b) Calclese la tangente de la grfica de la funcin f : R R definida por f (x) =
2x3 3x2 12x + 40 que es paralela al eje 0X.
c) Calclese la tangente de la grfica de la funcin f : R R en el punto P en cada
uno de los siguientes casos:
1)
2)
3)
4)
f (x) = x2 + 1 en el punto P = (3, 10).

f (x) = cos(x) en el punto P = (/2, 0).
f (x) = |x| en el punto P = (1, 1).
f (x) = x/x2 + 1 en el punto P = (0, 0).
d ) Dada una funcin f : A R, estdiese la continuidad y la derivabilidad en cada

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

f (x) =
log(1 senx) 2log(cosx)

senx
(x 6= 0)
f (0) = a.
Estdiese para qu valor de a la funcin f es continua en cero.

g) Estdiese la derivabilidad y la existencia de lmites en + y de la funcin
f : R R definida en cada caso por
1)
f (x) =
1
1+ex
si x 6= 0
si x = 0
Anlisis Matemtico
67
2)
f (x) =
ex
x
x

5
x
si x < 0
si 0 x < 1
si x 1
h) Demustrese que, para cada x > 0, se verifica que

x
< log(1 + x) < x.
1+x
i) Demustrese que, para cada x, y R, se verifica que
|sen(ax) sen(ay)| |a||x y|.
j ) Demustrese que, para cada x, y R, se verifica que
|arctg(x) arctg(y)| |x y|.
k ) Sea a > 0. Prubese que
ea/x ea/x ,
x > 0
y se da la igualdad si, y slo si, x = a.

l ) Sea a > 0 un nmero real que verfica
ax/a x,
x > 0.
Prubese que a = e.
m) Calclese el nmero de ceros y la imagen de la funcin f : R R definida por
f (x) = x6 3x2 + 2.
n) Calclese el nmero de soluciones de la ecuacin 3logx x = 0.
) Prubese que 0 < a < 1 se verfica
(1 + x)a 1 + ax, x 1.
o) Sea a > 1. Probar que la ecuacin x + ex = a tiene, al menos, una solucin
positiva y otra negativa.
p) Sea f : R+ R la funcin definida por:
f (x) = x + logx + arctgx
prubese que la ecuacin f (x) = 0 tiene una nica solucin.
q) Prubese que la ecuacin
x + ex + arctgx = 0
tiene una nica raz real. Dese un intervalo de longitud uno en el que se encuentre
dicha raz.
r ) Sean a, b, c R con a2 < 3b. Prubese que la ecuacin
x3 + ax2 + bx + c = 0
tiene una solucin real nica.
68

s) Determnese el nmero de races reales de la ecuacin
2x3 3x2 12x = m
segn el valor de m.
t) Sea f : R\{1} R la funcin definida por:
f (x) = arctg
1+x
1x
Estdiese la continuidad de f y su comportamiento en el punto 1, en + y en

.
u) Estdiese el comportamiento de la funcin f : A R en el punto en cada uno
de los siguientes casos:
1) A = R , f (x) = sen(3x)/x x A, = 0.
2) A = R\{/2 + k, k Z f (x) = (2x )/cos(x) x A, = /2.
3) A = R\{2, 2}, f (x) = ( x2 + 5 3)/x2 4 x A, = 2.

x 2+ x2
x A,
x2 4
1
1
+
= R \{1}, f (x) = logx x1 x A, =
xx x
=]1, +[, f (x) = 1xlogx
x A, = 1.
1
1
senx
= R ,
f (x) = x4 6x2 x5 ,
= 0.
1 senx
=]0, /2[,
f (x) = ( tgx )
,
= /2.
=]0, /2[,
f (x) = (1 + senx)cotgx ,
= 0.
4) A =]2, +[ ,
5) A
6) A
7) A
8) A
9) A
10) A = R+ \{e},
11) A =
R+ ,
f (x) =
f (x) = x logx1 ,
f (x) =
1
x (e
= 2.
1.
= e.
1
x
(1 + x) ),
= 0.
v ) Estdiese el comportamiento en el punto cero de la funcin f : A R en los

siguientes casos:
1) A = R+ ,
f (x) =
2) A = R ,
f (x)
3) A =]0, /2[,
4) A =]0, /2[,
5)
6)
7)
8)
1cos
x,
x
1cosx
= x2 ,
x A.
x A.
f (x) = (senx + cosx)1/x ,

12
2
f (x) = cos x + x2 x ,
x A.
x A.
A =]0, /2[,
f (x) = (1 tgx) x2 ,
x A.
+
senx
A=R ,
f (x) = x
,
x A.
xarctgx
A =]0, /2[,
f (x) = sen3 x ,
x A.
1 senx
A =]0, /2[,
f (x) = ( tgx )
,
x A.
9) A = R+ \{e},
f (x) = x logx1 ,
x A.
w ) Estdiese el comportamiento en + de las funciones f : A R dadas por

1) A = R+ ,
f (x) =
2) A = R+ ,
f (x) =
3) A =]1, +[
log(2+3ex )
,
2+3x2
(ax + x)1/x ,
f (x) =
x(x1/x 1)
,
logx
x R+
a R+ ,
Anlisis Matemtico
4) A = R\{e},
69
1
f (x) = x logx1 .
x ) Sea f : R+ R una funcin derivable en R+ . Supongamos que f y f 0 tienen

lmite en +. Prubese que limx7 f 0 (x) = 0.
y) Sea f : [0, 1] R un a funcin derivable, verificando que f (0) = 0 y que para
cada x [0, 1], |f 0 (x)| |f (x)|. Prubese que f (x) = 0, x [0, 1].
2.2. EXTREMOS RELATIVOS. POLINOMIO DE TAYLOR
2.2.
71
Extremos relativos. Polinomio de Taylor
Sumario
En esta leccin vamos a seguir extrayendo consecuencias del teorema del valor medio:
estudiaremos condiciones necesarias y condiciones suficientes para que una funcin tenga
extremos relativos. Tambin definiremos 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 verifica 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 verifica 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 verifican
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 verifican
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,
definida por
x
si 0 x < 1
2 x si 1 x < 2
f (x) =
2x 4 si 2 x 3
Observemos primero su grfica:
2
1.5
0.5
0.5
1.5
2.5
y comprobemos que
a) 0 es un mnimo absoluto pero no relativo.
b) 1 es un mximo relativo pero no absoluto.
c) 2 es un mnimo relativo y absoluto
d ) 3 es un mximo absoluto pero no relativo.
Nota
Si a es un punto interior y f alcanza su mximo (resp. mnimo) absoluto en a,
entonces f tiene un mximo (resp. mnimo) relativo en a.
Anlisis Matemtico
2.2.2.
73
Extremos relativos y derivabilidad
Comenzamos afirmando 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 0 (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 0 (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 suficiente)
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 I\{a}.
1. Si para cada x I con x < a se tiene que f 0 (x) 0 y para cada x I con x > a
se tiene que f 0 (x) 0, entonces f alcanza un mximo relativo en a.
74

2. Si para cada x I, con x < a, se tiene que f 0 (x) 0 y para cada x I, con
x > a, se tiene que f 0 (x) 0, entonces f alcanza un mnimo relativo en a.
Ejemplo: Calclense los extremos de la funcin f : R R, definida por
x2
si x 2
f (x) =
x + 6 si x > 2
Considrese previamente su grfica
10
8
6
4
2
-4
-2
-2
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
A1 = {a A A0 : f es derivable en a}.
Si A1 es un conjunto no vaco podemos construir la funcin que a cada punto de A1 le
hace corresponder la derivada de f en dicho punto. Dicha funcin,
que notaremos por
T
f 0 , recibe el nombre de funcin derivada de f . Si a A1 (A1 )0 y f 0 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 0 en a, y la notaremos por f 00 (a). Sea A2 el subconjunto de
T
puntos de A1 (A1 )0 en los que f es dos veces derivable. La funcin f 00 : A2 R,
definida por la ley x 7 f 00 (x) se llamar derivada segunda de f . Siguiendo este
proceso podremos definir 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 C 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 C en I si f es de clase C 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
C en sus correspondientes dominios.
Anlisis Matemtico
2.2.4.
75
Polinomio de Taylor
Sea A un subconjunto
de nmeros reales y f : A R una funcin n veces derivable
T
en un punto a A A0 . Llamaremos polinomio de Taylor de grado n de la funcin
f en el punto a a la funcin polinmica Pn,a : R R definida por
Pn,a (x) = f (a) + f 0 (a)(x a) +
f 00 (a)
f (n) (a)
(x a)2 + ... +
(x a)n .
2!
n!
Es inmediato comprobar que Pn,a es la nica funcin polinmica que verifica que:
0
(n)
Pn,a (a) = f (a), Pn,a
(a) = f 0 (a), ... Pn,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 grfica 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 infinitesimal del resto)

Sea I un intervalo, a I, n N y f : I R una funcin n veces derivable. Entonces
limxa
f (x) Pn,a (x)

= 0.
(x a)n
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 0 (a) = ... = f (n1) (a) = 0 y f (n) (a) 6= 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 = x2 + 3x 2.
En el ambiente del teorema, la funcin Rn,a : I R definida por
Rn,a (x) = f (x) Pn,a (x),
76

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
f (n+1) (c)(x a)n+1
Rn,a (x) =
.
(n + 1)!
Ejercicio: Calclese el valor de
2.2.5.
e con tres decimales.
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 verifica
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 grfica,
-1
-1
-2
verifica que la imagen de cualquier intervalo contenido en R est por "debajo"del segmento 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 figura siguiente
Anlisis Matemtico
77
-1
-1.2
-1.4
-1.6
-1.8
0.6
0.8
1.2
1.4
1.6
1.8
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 verifica que
f ((1 t)a + tb)) (1 t)f (a) + tf (b).
Obsrvese que la funcin f (x) = (x 1)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 figura
3
2.5
1.5
-2
-1
0.5
Es claro que toda funcin afn es simultneamente convexa y cncava.

Finalmente veamos que existe una estrecha relacin entre la convexidad y el signo
de la segunda derivada.
Proposicin 2.2.6. Sea I un intervalo y f : I R una funcin dos veces derivable
en I. Entonces equivalen:
a) f es convexa.
b) f 00 (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 verificando:
a) f (a) < 0 < f (b).
78

b) f 0 (x) 6= 0.
c) f 00 (x) no cambia de signo en [a, b].
Entonces la sucesin {xn }, tal que x1 [a, b], y xn+1 = xn
converge a la nica raz x0 de la ecuacin f (x) = 0.
f (xn )
fn0 (x)
es una sucesin que
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 fijado un valor inicial x1 ,
el trmino x2 se obtiene como el punto de corte de la recta tangente a f en x1 con el eje
OX. De la misma forma, obtenemos xn+1 como el punto de corte de la recta tangente
a f en el punto xn con el eje OX. Para comprender bien el algoritmo observemos el
siguiente grfico donde se ve cmo se generan los valores de las aproximaciones.
40
20
0.5
1.5
2.5
3.5
-20
-40
-60
2.2.6.
a) Una caja abierta est construida con un rectngulo de cartn, quitando cuadrados
iguales en cada esquina y doblando hacia arriba los bordes. Hllense las dimensiones
de la caja de mayor volumen que puede construirse con ese procedimiento si el
rectngulo tiene como lados (a) 10 y 10, (b) 12 y 18.
b) Se desea construir una ventana con forma de rectngulo coronado de un semicrculo
de dimetro igual a la base del rectngulo. Pondremos cristal blanco en la parte
rectangular y cristal de color en el semicrculo. Sabiendo que el cristal coloreado
Anlisis Matemtico
79
deja pasar la mitad de luz (por unidad de superficie) que el blanco, calclense
las dimensiones de la ventana para conseguir la mxima luminosidad si se ha de
mantener un permetro constante dado.
c) Se traza la tangente en un punto de la elipse x2 /25 + y 2 /16 = 1 de forma que el
segmento (de dicha tangente) interceptado por los ejes sea mnimo. Demustrese
que la longitud de dicho segmento es 9 unidades.
d ) Se inscribe un rectngulo en la elipse x2 /400+y 2 /225 = 1 con sus lados paralelos a
los ejes. Hllense las dimensiones del rectngulo para que (a) el rea sea mxima,
(b) el permetro sea mximo.
e) Se desea confeccionar una tienda de campaa cnica sin suelo de un volumen
determinado. Calclense sus dimensiones para que la cantidad de lona necesaria
sea mnima.
f ) Demustrese que la suma de un nmero positivo y su inverso es mayor o igual a 2.
todos aquellos que tienen la superficie total constante.
que tenga la forma de un cilindro rematado por una semiesfera. El costo de construccin (por unidad de superficie) es doble para la semiesfera que para el cilindro
(la base es gratis). Determnense las dimensiones ptimas para minimizar el costo
de construccin.
g) Se proyecta un jardn de forma de sector circular de radio R y ngulo central . El
rea del jardn ha de ser A fija. Qu valores de R y hacen mnimo el permetro
que bordea el jardn?.
h) Un tringulo rectngulo cuya hipotenusa tiene una longitud a se hace girar alrededor de uno de sus catetos. Qu volumen mximo puede tener un cono engendrado
de esta manera?.
i) Una persona desea cortar un pedazo de alambre de 1 m. de largo en dos trozos. Uno
de ellos se va a doblar en forma de circunferencia, y el otro en forma de cuadrado.
Cmo debe cortar el alambre para que la suma de reas sea mnima?.
j ) Un muro de 4 metros de altura est a 3 metros de la fachada de una casa. Hallar
la escalera ms corta que llegar desde el suelo hasta la casa por encima del muro.
k ) Demustrese que de todos los tringulos issceles que se pueden circunscribir a una
circunferencia de radio r, el de rea mnima es el equiltero de altura 3r.
l ) Cul es la longitud de la barra ms larga que puede hacerse pasar horizontalmente
a travs de la esquina, en ngulo recto, que forman dos corredores de anchuras
respectivas a y b?
m) Un cultivador de naranjas estima que, si planta 60 naranjos, obtendr una cosecha
media de 400 naranjas por rbol. Este nmero bajar 4 unidades por cada rbol
ms que se plante en el mismo terreno. Hllese el nmero de rboles que hace
mxima la cosecha.
n) Durante la tos, el dimetro de la trquea disminuye. La velocidad v del aire en
la trquea durante la tos se relaciona con el radio, r, mediante la ecuacin v =
Ar2 (r0 r), donde A es una constante y r0 es el radio en estado de relajacin.
Determnese el radio de la trquea cuando la velocidad es mxima, as como esta
velocidad.
80

) Una fbrica de plsticos recibe del Ayuntamiento de la ciudad un pedido de 8.000
tablas flotadoras para el programa de natacin del verano. La fbrica posee 10
mquinas, cada una de las cuales produce 50 tablas por hora. El coste de preparar
las mquinas para hacer el trabajo es de 800 EUROS por mquina. Una vez que
las mquinas estn preparadas, la operacin es automtica y puede ser supervisada
por una sla persona, que gana 35 EUROS/hora.
1) Cuntas mquinas hay que usar para minimizar el coste de produccin?
2) Si se usa el nmero ptimo de mquinas, cunto ganar el supervisor durante
el proceso?
o) Las palomas domsticas no suelen volar sobre extensiones grandes de agua a menos
que se vean forzadas a ello, posiblemente porque se requiera ms energa para
mantener la altitud sobre el agua fra. Supongamos que se suelta una paloma
desde un barco situado a 3 km de la costa, siendo A el punto costero ms cercano.
El palomar se encuentra en un punto de la costa situado a 10 km de A. Si la
paloma gasta dos veces ms energa volando sobre el agua que sobre la tierra firme
y sigue un camino que hace mnima la energa gastada, determnese el punto dnde
la paloma abandona el agua.
p) Prubense que las funciones exponencial, seno y coseno son de clase C en R.
Probar que
sen(x)(n) = sen(x + n ),
n N.
2
q) Prubese que la funcin logaritmo es de clase C en R+ y calclese, para cada
n N, la derivada n-sima.
r ) Calclese, haciendo uso de un desarrollo de Taylor conveniente, un valor aproximado del nmero real con un error menor de 103 en cada uno de los casos
siguientes:
1
a) = e = e1/2
b) = 102
c) = sen .
2
s) Exprsese el polinomio x4 5x3 3x2 + 7x + 6 en potencias de x 2
t) Estdiense los posibles extremos relativos de la funcin f : R R en los siguientes casos:
1) f (x) = xlog|x|,
2) f (x) = x2 log|x|,
x R ,
x R ,
f (0) = 0.
f (0) = 0.
u) Estdiense los posibles extremos relativos de la funcin f : R R definida por

f (x) = cosh(x) + cos(x).
v ) Calclese M ax{ n n : n N}.
Captulo 3
Rn
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 x2 +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 R2 = R R dotado con las siguientes
operaciones:
a) Suma:
(x, y) + (t, s) = (x + t, y + s),
81
82
3.1. Los nmeros complejos

b) producto por un escalar:
t(x, y) = (tx, ty).
Es claro que estas operaciones heredan algunas propiedades de las operaciones suma y
producto de nmeros reales, a saber para la primera, se verifican:
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 verifican:
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 R2 cumpla las anteriores propiedades se expresa diciendo que el conjunto
R2 dotado con las operaciones suma y producto por un escalar, arriba definidas,
tiene estructura de espacio vectorial.
Pero tambin en este conjunto se puede definir un verdadero producto mediante la
siguiente expresin:
(x, y).(t, s) = (xt ys, xs + yt).
Esta nueva operacin verifica 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)
y
x
3.4 Para cada (x, y) 6= (0, 0) existe (t, s) = ( x2 +y
2 , x2 +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 R2 , dotado con las operaciones suma,
producto por un escalar y producto tiene estructura de lgebra conmutativa. Al
conjunto (R2 , +, producto) lo notaremos por C y lo llamaremos el plano complejo.
Claramente C est dotado de un producto por un escalar real.
La identificacin a 7 (a, 0) permite ver a R como un subconjunto del conjunto de los
nmeros complejos.
Al nmero complejo (0, 1) se le denomina unidad imaginaria que notaremos por i o
por j.
Anlisis Matemtico
3.1.2.
83
Expresiones de un nmero complejo y propiedades.
Forma binmica de un nmero complejo

Estas identificaciones 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 definir un orden en C que sea compatible con el producto definido en l.
CONJUGADO de un nmero complejo
Sea z C. Llamamos conjugado de z, z, a un nuevo nmero complejo definido por
z = Rez iImz.
Las siguientes propiedades son inmediatas:
Proposicin
Sean z y w dos nmeros complejos. Entonces
a) z + w = z + w.
b) zw = zw.
c) z = z.
d) Rez =
z+z
2 ,
Imz =
zz
2i .
e) z = z si, y slo si z R.
Conviene llamar la atencin de que estas propiedades nos aseguran que las races complejas, no reales, de un polinomio p(z) con coeficientes 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, definido por
|z| =
zz = (Rez)2 + (Imz)2 .
84

En particular si a R, entonces su mdulo y su valor absoluto coinciden.
Resumamos algunas de sus propiedades.
Proposicin
a) |z| = 0 si, y slo si z = 0.
b) |z| = | z| = |z|.
c) |zw| = |z||w|.
d) |z + w|2 = |z|2 + |w|2 + 2Rezw.
e) |z + w|2 + |z w|2 = 2(|z|2 + |w|2 ) (identidad del paralelogramo).
f) ||z| |w|| |z + w| |z| + |w|. (desigualdad triangular)
ARGUMENTO de un nmero complejo
Notaremos por
C = {z C; z 6= 0}.
Sea z C . Se dice que un nmero real es un argumento de z, si se verifica que
z = |z|(cos + isen).
Al nico argumento 0 ] , ], se le llama argumento principal de z, argz, y su
expresin viene dada por
arc tg Imz
si Rez > 0
Rez
/2
si Rez = 0/ e/Imz > 0
/2
si Rez = 0/ e/Imz < 0
argz =
si z R
arc tg( Imz

si Rez < 0, Imz > 0
Rez ) +
si
Rez < 0, Imz < 0.
arc tg( Imz
Rez
La expresin |z|(cos(argz) + isen(argz)) suele conocerse como forma polar del nmero
complejo z y a la pareja (|z|, argz)| se le suele llamar coordenadas polares de z. Podemos
interpretar geomtricamente las coordenadas polares de un nmero complejo z como
sigue:
Ntese que si z C , entonces
Anlisis Matemtico
85
|z| = 1 si y slo si existe t R tal que z = cost + isent.

Conviene advertir que para cada z C existen infinitos 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 wn = z.

1
Si notamos por [z] n , al conjunto de de todas las races n-simas de z, esto es,
1
[z] n = {w C; wn = z},
es fcil probar que dicho conjunto tiene exactamente n elementos diferentes, concretamente si escribimos z = |z|(cost + isent), entonces
1
1
t + 2k
t + 2k
n
n
cos(
) + isen(
) , k = 0, 1, ..., n 1}.
[z] = {wk ; wk = |z|
n
n
Ejemplo:
[1] 2 = {cos
3
3
+ isen , cos
+ isen } = {i, i}.
2
2
2
2
Conviene pues decir que la bsqueda de soluciones para la ecuacin

x2 + 1 = 0
puede darse por terminada, ya que como acabamos de ver, i y i son las soluciones
dicha ecuacin.
En realidad la respuesta es mucho ms amplia.
86

Teorema fundamental del lgebra
Si p(z) un polinomio con coeficientes 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 afirmaciones sobre nmeros

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

Problema 3.1.5. Calclese arg(zw) y arg wz 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 6= 0.
Problema 3.1.7. Calcular las siguientes races
4
(a) 16
(b) 6 1 + i
(c) 3 27
3.2. EL PLANO Y EL ESPACIO EUCLDEOS
3.2.
87
El plano y el espacio eucldeos
Sumario
En esta leccin nos centramos en el estudio de la estructura eucldea de Rn que
es indispensable para extender los conceptos de continuidad, derivacin e integracin,
ya conocidos para funciones reales de variable real, a las funciones con valores en Rn y
definidas en un subconjunto de A de Rq . 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 definirse sin dificultad 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

Rq = R R . .q . R = {(x1 , x2 , ..., xq ); xi R, i = 1, 2, ..., q},
la siguiente operacin Suma:
Dados x = (x1 , x2 , ..., xq ) e y = (y1 , y2 , ..., yq ), definimos
x + y = (x1 + y1 , x2 + y2 , ..., xq + yq )
Es claro que esta operacin hereda las propiedades de la suma de nmeros reales:
(x + y) + z = x + (y + z).
x + y = y + x.
88
3.2 El plano y el espacio eucldeos

Existe una q-upla, 0 = (0, 0, ..., 0) tal que para cada q-upla x = (x1 , x2 , ..., xq ), se
tiene que
x + 0 = x.
4. Propiedad de existencia de elemento simtrico:
Para cada q-upla x = (x1 , x2 , ..., xq ), la q-upla x = (x1 , x2 , ..., xq ), verifica
que
x + (x) = 0.
En el caso q > 2 no tenemos un verdadero producto, sin embargo, vamos a

definir dos "seudo-productos"que en muchos casos sern suficientes 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 = (x1 , x2 , ..., xn q) un nueva q-upla definida por
t(x1 , x2 , ..., xq ) = (tx1 , tx2 , ..., txq ).
Este seudo-producto hereda algunas propiedades:
1) 1x = x
2) t[sx] = tsx (t, s R, x Rq )
3) (s + t)x = sx + tx (t, s R, x Rq )
4) s(x + y) = sx + sy (s R, x, y Rq )
Este hecho se expresa diciendo que Rq dotado con las operaciones suma y producto
por un escalar arriba definidas 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 = (x1 , x2 , ..., xq ) e y = (y1 , y2 , ..., yq ) dos vectores de Rq ,
llamamos producto escalar de ambos, < x, y >, al nmero real definido por
< x, y >=
q
X
i=1
xi yi .
Anlisis Matemtico
89
Entre las consecuencias ms notorias de la existencia de un producto escalar

podemos subrayar la existencia de una funcin, que en R coincide con la funcin valor
absoluto, y que asocia a cada vector un nmero real no negativo. Concretamente, dado
x = (x1 , x2 , ..., xq ) Rq definimos su norma, kxk, mediante la siguiente ley:
v
u q
uX
x2 .
kxk = < x, x > = t
i
i=1
Es fcil probar que la aplicacin definida por x 7 kxk hace el mismo papel que la
funcin valor absoluto en R, tal como muestra el siguiente resultado:
Proposicin 3.2.1.
a) krxk = |r|kxk (r R).
b) kx + yk kxk + kyk. (Desigualdad triangular)
c) kxk 0 y kxk = 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 definir una distancia entre dos vectores, y por tanto, para
determinar la proximidad o lejana de dos vectores de Rq . Concretamente, para cada
dos vectores
x = (x1 , x2 , ..., xq ), y = (y1 , y2 , ..., yq ) Rq ,
definimos la distancia entre ellos, por
v
u q
uX
dist(x, y) = ky xk = t (yi xi )2 .
i=1
A su vez sta nos permite considerar :
a) Conjuntos de Rq que hacen el mismo papel que los intervalos de R:

1) Bola abierta de centro a Rq y radio r R+
B(a, r) = {x Rq ; kx ak < r}.
2) Bola cerrada de centro a Rq y radio r R+
B(a, r) = {x Rq ; kx ak r}.
90
3.2 El plano y el espacio eucldeos

b) Conjuntos que juegan el papel de los extremos del intervalo:
Esfera de centro a Rq y radio r R+
S(a, r) = {x Rq ; kx ak = r}.
c) Conjunto acotado
Sea A un subconjunto no vaco de vectores de Rq . Se dice que A es un conjunto
acotado si existe M R+ tal que
A B(0, M ).
Ejemplo: Sea A = {(x, y) R2 ; x ]0, 1[, y [0, 2]}.
Es claro que el conjunto A es acotado en R2 , mientras que el eje x no lo es.
d ) Punto de acumulacin
Se dice que x0 Rq es un punto de acumulacin de A, x0 A0 , si todo
bola punteada centrada en x0 intersecta al conjunto A, esto es
\
(B(x0 , )\{x0 }) A 6= 0, > 0.
Notaremos por A0 al conjunto de puntos de acumulacin de A.

Ejemplo: Si consideramos el mismo conjunto A, considerado anteriormente, tendremos que (0, 1) A0 .
e) Punto interior
Se dice que y A es un punto interior de A, si existe r > 0 tal que
B(y, r) A.
Notaremos por A al conjunto de puntos interiores de A.
Ejemplo: Considerando el mismo conjunto anterior, se tiene que (1/2, 1) A .
f ) Conjunto abierto
Diremos que un conjunto A es abierto si A = A .
Ejemplo: El conjunto {(x, y) R2 ; x ]0, 1[, y ]0, 2[} es abierto, mientras que
el conjunto A, que usamos en todos los ejemplos, no lo es.
Anlisis Matemtico
91
g) Conjunto cerrado
Diremos que un conjunto A es cerrado si A0 A . Es fcil probar que A es
cerrado si, y slo si, su complementario es abierto.
Al conjunto (A
o por (A).
A0 )\A se le denomina frontera de A y suele notarse por F r(A)
Ejemplo: El conjunto C = {(x, y) R2 ; x [0, 1], y [0, 2]} es cerrado, mientras

que el conjunto B anterior no lo es. Es claro que
F r(C) = {(x, y) R2 ; x = 0, y [0, 2]} {(x, y) R2 ; x = 1, y [0, 2]}
[
cup{(x, y) R2 ; x [0, 1], y = 0} {(x, y) R2 ; x [0, 1], y = 2}.
h) Conjunto compacto
Diremos que un conjunto A es compacto si A es cerrado y acotado.
Ejemplo: El conjunto {(x, y) R2 ; x [0, 1], y [0, 2]} es compacto, mientras
que el conjunto A no lo es.
3.2.4.
a) Descrbanse el interior, los puntos de acumulacin y la frontera de los siguientes

Conjuntos:
1) {(x, y) R2 ;
x2
a2
x2
a2
y2
b2
y2
b2
1} (0 < a < b R.
2) {(x, y) R2 ;
+
< 1} (0 < a < b R.
2
3) {(x, y) R ; y = rx}. (r R)
4) A = {(xn , yn ); xn = 20
n , yn = 0, n N}.
5) {(x, y, z) R3 ;
6) a) N
b) Q.
x2
a2
+ yb2 +
c)R\Q.
z2
c2
= 1} (0 < a < b < c R.

d) [0, 1] {2}.
e) {1/n; n N}.
b) Dganse cules de los conjuntos del ejercicio anterior son compactos.
Captulo 4
Clculo diferencial en varias
variables
4.1.
Derivadas direccionales
Sumario
En esta leccin introduciremosmos el concepto de derivada direccional y derivada
parcial. Daremos algunos ejemplos importantes y definiremos 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

f : A R una funcin, entonces se dice que f es derivable en a si
limt0
A0 y
f (a + t) f (a)
= f 0 (a).
t
Tratemos ahora de dar sentido a la expresin anterior en el caso en que A Rq ,

a A y F : A Rn sea un campo vectorial.
93
94
4.1 Derivadas direccionales

Obsrvese en primer lugar que la aproximacin al punto a de Rq puede hacerse por
muy diferentes direcciones. De hecho, para cada vector u Rq , podemos considerar la
direccin determinada por la recta a + tu (t R. Pues bien, si existe el
limt0
F (a + tu) F (a)
=,
t
se dice que F admite derivada direccional en a segn el vector u. Las derivadas

direccionales ms importantes son aquellas segn los vectores cannicos.
4.1.2.
Derivada parcial
Sea, para cada i {1, 2, ..., q}, ei = (0, 0, ..., 1, 0, ..., 0), esto es, el vector de Rq cuya
nica coordenada no nula es la i-sima cuyo valor es uno. Supongamos que existe > 0,
tal que a + rei A, con r ] , [. Se dice que F tiene o admite derivada parcial
respecto de la variable i-sima en el punto a si existe
limt0
F (a + tei ) F (a)
.
t
Dicho lmite se denomina derivada parcial i-sima de F en el punto a y se nota

F
por x
(a).
i
Notas
a) Si f es un campo escalar , entonces el clculo de la derivada parcial i-sima de
f en un punto genrico x = (x1 , x2 , ..., xq ) se ha de llevar a cabo derivando la
funcin real que resulta de considerar constantes las variables xj (j 6= i).
b) Si F : A Rn es un campo vectorial tal que A R, entonces F
x (a) se suele
0
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 grfica del campo escalar anterior , esto es
Graf (f ) = {(x, y, z) R3 ; z = f (x, y), (x, y) A}.
El plano y = b, corta a la grfica, dando lugar a un conjunto C1 ,
C1 := {(x, b, f (x, b)) R3 : (x, b) A}.
Obsrvese que el conjunto C1 es la grfica de la funcin g : x 7 f (x, b), de manera
que la pendiente de su recta tangente es g 0 (a) = f
x (a, b).
Anlisis Matemtico
95
Anlogamente podra entenderse para la derivada parcial
f
y (a, b).
Interpretacin propiamente fsica

Las derivadas parciales pueden interpretarse como razones de cambio: Consideremos
la funcin T que determina la temperatura en cualquier punto de la corteza terrestre.
Claramente sta depende, en cada punto (x, y), de la longitud x y de la latitud y de
dicho punto. La derivada parcial T
x (a, b) es la razn a la que la temperatura cambia en
la direccin este-oeste, mientras que T
y (a, b) es la razn a la que la temperatura cambia
en la direccin norte-sur.
Tambin podemos relacionar la existencia de parciales de un campo vectorial y de
sus funciones coordenadas:
Proposicin 4.1.1. (Regla de oro)
Sean A un subconjunto no vaco de vectores de Rq , a un punto de A y F : A Rn .
Entonces F admite todas sus derivadas parciales en a si, y solo si Fi admite todas sus
derivadas parciales en a i. Adems en caso afirmativo:
(
Fi
F
(a))i =
(a).
xj
xj
i = 1, 2, ..., n,
j = 1, 2, ..., q.
En particular si q = 1, entonces F 0 (a) = (F10 (a), F20 (a), ..., Fn0 (a)).
Ejercicio: Sea F : R2 R3 definida por F (x, y) = (x + y, x2 , xy). Estdiese la

continuidad y calclese F
x (1, 2).
Sea F : A Rq es un campo vectorial, entonces se dice que F es de clase C 1 (A) si
admite todas sus derivadas parciales en A y stas son continuas en A. El campo vectorial
F definido anteriormente es de clase C 1 (R3 ).
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 Rq , a Rq , f : A Rn
un campo vectorial que admite todas sus derivadas parciales en a, B f (A) y g : B
Rm 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
n
X gk
(g f )k
fi
(a) =
(f (a))
(a),
xj
yi
xj
i=1
donde
f (a).
gk
yi (f (a))
representa la derivada parcial i-sima de la funcin coordenada gk en
96

Para recordar esta frmula existe una regla nemotcnica que consiste en identificar
hk con gk (k = 1, 2, ..., m) y fi con yi (i = 1, 2, ..., n), quedando para cada j = 1, 2, ..., q
n
X gk
gk
yi
(a) =
(f (a))
(a).
xj
yi
xj
i=1
Ejemplo
F
2
2
Calclese F
x (1, 2) y y (1, 2), donde la funcin F (u, v) = u + 3uv + 4v , siendo u =
2 2xy 2 y v = 1 + x.
4.1.4.
Vector gradiente y matriz jacobiana
Sea A un subconjunto de Rq , 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 definimos el vector gradiente de f en a por:
f (a) := (
f
f
f
(a),
(a), ...,
(a)) Rq .
x1
x2
xq
En el caso de que se consideren campos vectoriales, el concepto de vector gradiente

viene sustituido por el de matriz jacobiana.
Sean A Rq , a un punto de A y F : A Rn un campo vectorial que admite
todas sus derivadas parciales en a. Se llama matriz jacobiana de F en el punto a,
JF (a), a la matriz cuya fila i-sima son las coordenadas del vector gradiente de su
funcin coordenada i-sima, Fi (a), (o si se quiere, aquella cuya columna i-sima son
F
las coordenadas del vector x
(a)), esto es, la matriz de orden n q, dada por:
i
F1
x1 (a)
F2 (a)
x1
JF (a) :=
...
Fn
x1 (a)
F1
x2 (a)
F2
x2 (a)
...
...
...
...
Fn
(a)
...
x2
F1
xq (a)
F2
xq (a)
...
Fn
xq (a)
Al determinante de la matriz jacobiana, |JF (a)|, se le denomina jacobiano del

campo F en el punto a.
Notas
a) Obsrvese que si f : A R es una funcin real de variable real (q = n = 1),
entonces
Jf (a) = f 0 (a).
Anlisis Matemtico
97
b) Sea U = R+ ] , [ , V = R2 \{(x, 0); x 0}, y la aplicacin : U V

definida por
(, ) = (cos, sen).
En este caso la matriz jacobiana es de la forma
cos sen
sen cos
J (, ) :=
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 R2 . 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 grfica del campo escalar en el punto (a, b).
Tengamos en cuenta para ello que
a) Sea z = mx + ny + d un plano en R3 . Si queremos que el punto ((a, b), f (a, b))
pertenezca dicho plano, d = f (a, b) ma nb y por tanto, el plano debe tener la
forma:
z = m(x a) + n(y b) + f (a, b).
b) La condicin de mejor aproximacin de una recta, r que pasa por el punto (a, g(a))
(r y = m(x a) + g(a)), se aproxime a la curva y = g(x) en dicho punto, no es
otra, como ya vimos anteriomente, que el hecho de asegurar que m = g 0 (a).
As pues, si queremos que el plano se aproxime a la grfica del campo f en el
punto (a, b, f (a, b)) debe contener a las rectas tangentes a las grficas de las funciones
g : x 7 f (x, b) y h : y 7 f (a, y) que resultan de cortar la grfica de f con los planos
y = b y x = a respectivamente. En particular
m=
f
(a, b)
x
n=
f
(a, b).
y
La condicin de mejor aproximacin quedar asegurada si dadas dos sucesiones {xn }

e {yn } (con (xn , yn ) 6= (a, b)) convergiendo respectivamente hacia a y b, la sucesin
{
f (xn , yn ) f (a, b)
f
x (a, b)(xn
a)
||(xn , yn ) (a, b)||
f
y (a, b)(yn
b)
converge a cero.
(Obsrvese que el problema de dividir por el vector, (xn a, yn b), se resuelve tomando
su norma.)
98

Esto ocurre en particular si f es de clase C 1 en un entorno del punto (a, b). En tal caso,
(f, (a, b)) z = f (a, b) +
f
f
(a, b) (x a) +
(a, b) (y b),
x
y
es el plano que mejor se aproxima a la grfica de f en un entorno de (a, b). Dicho plano
recibe el nombre de plano tangente a la grfica de f en el punto (a, b, f (a, b))
Llamaremos vector normal de la grfica de f en el punto (a, b, f (a, b)), al vector
normal al plano tangente (f, (a, b)), esto es,
f
f
N (f, (a, b)) = (a, b), (a, b), 1
x
y
4.1.6.
Curvas y superficies dadas en forma implcita
Curva en el plano en forma implcita:

En el caso en que una curva venga dada como el conjunto de puntos del plano que
anulan una funcin g de dos variables, esto es,
= {(x, y); f (x, y) = 0},
( por ejemplo, la elipse de semiejes c y d es tal que f (x, y) = x2 /c2 + y 2 /d2 1) diremos
que la curva viene dada en forma implcita.
Veamos que en tal caso, la recta tangente en un punto (a, b) , es la recta de
ecuacin implcita
< f (a, b), (x a, y b) >= 0.
En efecto, la curva, , resulta de cortar la grfica de g, con el plano z = f (a, b).
La recta resultante de intersectar el plano tangente de f en el punto (a, b) con el plano
z = f (a, b) es la recta tangente a la curva y por tanto tiene de ecuaciones
z = f (a, b) +
f
f
(a, b) (x a) +
(a, b) (y b)
x
y
z = f (a, b)
o, lo que es lo mismo
< f (a, b), (x a, y b) >= 0.
Superficies en en forma implcita:
Tambin podemos considerar subconjuntos del espacio R3 descritos por una ecuacin
de la forma
g(x, y, z) = 0
Anlisis Matemtico
99
para una cierta funcin g : R3 R. Diremos que dichos conjntos son superficies
definidas de forma implcita, (pinsese por ejemplo en la esfera, esto es,
S = {(x, y, z) R3 ; x2 + 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
g
g
(a, b, c) (x a) +
(a, b, c) (y b) +
(a, b, c) (z c) = 0
x
y
z
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 C 1 en un entorno del punto P S, es el que
mejor se aproxima a dicha superficie 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 grfica del campo escalar z = f (x, y) es un subconjunto de la forma
Graf (f ) = {(x, y, z) R3 ; z = f (x, y)}).
As pues, asociado a f , podemos considerar un segundo campo escalar g : R3 R
definido por g(x, y, z) = z f (x, y). Y por tanto,
Graf (f ) = {(x, y, z) R3 ; g(x, y, z) = 0})
no es ms que una superficie que puede ser tratada como anteriormente.
4.1.7.
a) Calclese el vector gradiente en un punto arbitrario (x, y) de la funcin f en cada

a) f (x, y) = x3 + 3xy 2 15x 12y (x, y) R2 .
b) f (x, y, z) = xy+z , x R+ , y, z R
c) f (x, y, z) = (x + y)z , x, y R+ , z R
b) Calclese el plano tangente a las siguientes superficies en el punto que se indica:
1)
2)
3)
4)
z = log(1 + x2 + y 2 ) en (0, 0, 0).

z 2 + 3x x2 y 2 = 2 en (1, 1, 1).
x3 + y 3 + z 3 + xyz 6 = 0 en (1, 2, 1).
z = sen(x)sen(y) en (/2, /4).
4.2. CLCULO DE EXTREMOS
4.2.
101
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 suficiente de extremo relativo
4.2.1.
Extremos relativos de un campo escalar
Sea A un subconjunto no vaco de Rq , 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 verifican
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 verifican
a) Existe r > 0 tal que B(a, r) A.
b) f (a) f (x), x B(a, r).
a es un extremo relativo si o bien es un mximo relativo bien es un mnimo
relativo.
Como ya vimos en la leccin 3.2, sabemos que, en general, no existe relacin entre
extremo relativo y extremo absoluto, salvo que todo extremo absoluto, que sea un punto
interior, tambin es un extremo relativo.
102
III.5 Extremos relativos
4.2.2.
Extremos relativos y derivabilidad
Comencemos viendo que en todo extremo relativo las derivadas parciales se anulan.
Antes necesitamos la siguiente definicin:
Sean A un subconjunto no vaco de Rq , 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
(a) = 0.
xi
Proposicin 4.2.1. Sean A es un subconjunto no vaco de vectores de Rq , 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 Rq 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, definida en el
conjunto A que es el cuadrado de vrtices (0, 0), (1, 0), (0, 1), (1, 1) mediante la ley
f (x, y) = xy(1 x)(1 y).
Anlisis Matemtico
103
Qu puede decirse si A = R2 ?
Vamos ahora a buscar una condicin suficiente 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 Rq 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
f
(x) definida en B(a, r) admite
variables i, j en el punto a, si la funcin x 7 x
j
derivada parcial i-sima en el punto a, y notaremos
f
( x
)
2f
j
(a) =
(a).
Dij f (a) =
xi xj
xi
Una funcin de q variables admite, suponiendo que existan todas, q 2 derivadas de

orden 2.
De forma anloga se definen 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.
2
f
Las derivadas parciales xi x
(a) y xj fxi (a) se las conoce como derivadas
j
cruzadas. El siguiente resultado establece una condicin suficiente para que estas
derivadas cruzadas coincidan.
Lema 4.2.2 (de Schwartz). Sean f : A R , A un abierto de Rq y a A. Sean

2f
i, j {1, 2, . . . , q} con i 6= j, y supongamos que existe xi x
(a) , x A, siendo
j
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 Rq y f C 2 (A). Entonces
2f
2f
(a) =
(a), i, j {1, 2, . . . , q} , i 6= j .
xi xj
xj xi
Las derivadas parciales de orden 2 nos permiten construir una matriz que utilizaremos
para calcular extremos relativos de campos escalares.
104

Si f admite todas sus derivadas parciales segundas en a, se define la matriz hessiana
de f en a por:
2
2f
2f
f
x1 x1 (a) x1 x2 (a) ...
x1 xq (a)
2f
2f
2f
(a)
(a)
...
(a)
x2 x1
x2 x2
x2 xq
Hf (a) :=
...
...
...
...
2f
2f
f
(a)
(a)
...
(a)
xq x1
xq x2
xq xq
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 suficiente para la existencia de extremos

relativos
A continuacin vamos a establecer condiciones que nos permitan decidir cundo un
punto crtico es un extremo relativo y, en caso afirmativo, 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 R2 , f C 2 (A) y
(a, b) un punto crtico de f .
a) Si
2f
(a, b) > 0,
x2
entonces f tiene en (a, b) un mnimo relativo estricto.
det(Hf (a, b)) > 0 y
b) Si
2f
(a, b) < 0,
x2
entonces f tiene en (a, b) un mximo relativo estricto.
det(Hf (a, b)) > 0 y
c) Si f tiene alguna derivada de segundo orden en a distinta de cero y es tal que

det(Hf (a, b)) 0,
2f
2f
(a, b) 0 y
(a, b) 0,
2
x
y 2
entonces de tener f un extremo relativo en (a, b), ste ha de ser un mnimo.

d) Si f tiene alguna derivada de segundo orden en (a, b) distinta de cero y es tal que
det(Hf (a, b)) 0,
2f
2f
(a,
b)
0
y
(a, b) 0,
x2
y 2
entonces de tener f un extremo relativo en a, ste ha de ser un mximo.
Anlisis Matemtico
105
e) Si
det(Hf (a, b)) < 0,
entonces f no tiene ningn extremo relativo en (a, b).
Ejercicio: Calclense los extremos de la funcin f : R2 R, definida por
f (x, y) = x2 + 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 R3 , f C 2 (A) y
(a, b, c) un punto crtico de f .
a) Si
2f
(a, b, c) > 0, det
x2
2f
(a, b, c)
x2
2f
yx (a, b, c)
2f
xy (a, b, c)
2f
(a, b, c)
y 2
!
> 0, det(Hf (a, b, c)) > 0.
entonces f tiene en a un mnimo relativo estricto.

b) Si
2f
(a, b, c) < 0, det
x2
2f
(a, b, c)
x2
2f
yx (a, b, c)
2f
xy (a, b, c)
2f
(a, b, c)
y 2
!
> 0, det(Hf (a, b, c)) < 0.
entonces f tiene en (a, b, c) un mximo relativo estricto.

c) Si
det
2f
(a, b, c)
x2
2f
yx (a, b, c)
2f
xy (a, b, c)
2f
(a, b, c)
y 2
!
< 0,
entonces f no tiene ningn extremo relativo en (a, b, c)
Ejercicio: Calclense los extremos de la funcin f : R3 R, definida por

f (x, y, z) = 6x2 y 2 z 2 .
Caso q 3:
El segundo criterio est relacionado con el signo de los autovalores de la matriz Hf (a).
Recordemos que dada una matriz cuadrada A, llamamos polinomio caracterstico
asociado a la matriz A al polinomio, P () = det(A I), donde por I 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
Hf (a), se verifica la siguiente proposicin:
106

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 dificultad 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 coeficientes del polinomio caracterstico de
H. Concretamente, si
P () = a0 + a1 + a2 2 + + aq q ,
y notamos por V (a0 , a1 , a2 , . . . , aq ) al nmero de cambios de signo que se dan
coeficiente a coeficiente, entonces la regla de Silvester asegura que
V (a0 , a1 , a2 , . . . , aq ) = nmero de autovalores positivos de H .
V (a0 , a1 , a2 , . . . , (1)q aq ) = nmero de autovalores negativos de H .
4.2.5.
a) Consideremos las funciones reales f y g dadas por:

a) f (x, y) = x3 + 3xy 2 15x 12y (x, y) R2 .
2
2
b) g(x, y, z) = (x + z 2 )ex(y +z +1) (x, y, z) R3 .
Se pide:
1) Calclense los puntos crticos.
2) Calclese la matriz hessiana en los puntos crticos.
3) Estdiese la existencia de extremos relativos.
b) Calclense los extremos de f : R2 R en los siguientes casos:
1) f (x, y) = x2 y 2 .
2) f (x, y) = |x| + |y|.
3) f (x, y) = |x| + y.
Anlisis Matemtico
107
c) Sean a, b R dos parmetros, y f : R2 R una funcin real de dos variables

reales dada por f (x, y) = x2 + y 2 2ax 2by. Estdiese la existencia de extremos
de f en funcin de los parmetros.
d ) Calclense los extremos relativos de los siguientes campos escalares definidos en
R2 .
1) f (x, y) = x4 + 2x2 y x2 + 3y 2 .
2) f (x, y, z) = x2 + y 2 + 3z 2 + yz + 2xz xy.
3) f (x, y) = 2x4 + y 2 3xy 2 .
e) Calclense los extremos relativos de los siguientes campos escalares definidos en
R2 . Determnese si dichos extremos son absolutos o no.
1) f (x, y) = x3 + y 3 3x 12y + 20 .
2) f (x, y) = (x 1)4 + (x y)4 .
3) f (x, y) = x4 + y 4 4a2 xy (a > 0)
xy
4) f (x, y) = 2
x + y2 + 1
2
2
5) f (x, y) = (x2 + 2y 2 )e(x +y ) .
6) f (x, y) = sen(x y).
f ) Calclense los extremos relativos del campo escalar definido en R3 por f (x, y, z) =
xy + xz + yz. Determnese si dichos extremos son absolutos o no.
g) Una funcin f definida en un abierto del plano se dice que es armnica si
2f
2f
+
=0
x2
y 2
en todo punto de su dominio. Son armnicas las siguientes funciones?
1) f (x, y) = arc tg( xy ) (x, y) R2 \ {(x, 0) : x R}.
2) g(x, y) = ex cos y + ey cos x (x, y) R2 .
4.3. EXTREMOS CONDICIONADOS.
4.3.
109
Extremos condicionados.
Sumario
En esta leccin vamos a enunciar criterios que nos permitan determinar los extremos
de un campo escalar en un cierto subconjunto del dominio de dicho campo escalar .El
contenido completo de esta leccin se articula de la siguiente manera:
4.3.1 Motivacin.
4.3.2 Conjuntos determinados por una funcin
4.3.3 Tcnica de los multiplicadores de Lagrange.
4.3.4 Matriz hessiana asociada a la funcin de Lagrange.
4.3.1.
Motivacin
Para motivar esta leccin vamos a considerar dos ejemplos:

Ejercicio 1: Sea el tringulo
T = {(x, y) R2 ; 0 x y 4}.
x2
Se trata de calcular los extremos de la funcin f : T R definida por f (x, y) =

xy + y 2 + 1.
Dado que T es un conjunto compacto y f es una funcin continua, sabemos que f

alcanza su valor mximo y su valor mnimo en sendos puntos de T. Sabemos que sta
funcin no tiene ningn punto crtico en dicho conjunto por lo que sus valores mximo y
mnimo se alcanzarn en puntos de la frontera, esto es, bien los vrtices del tringulo
T bien en algn punto de sus tres lados. En consecuencia, los puntos a tener en cuenta
son
1) Los tres vrtices
2) Para cada lado, los puntos de cada uno de stos en los que la funcin restringida
alcance sus extremos.
110
4.3 Extremos condicionados

As pues, se trata de calcular los extremos de f , restringida a cada uno de los
siguientes conjuntos
M1 = {(x, y) R]0, 4[: x = 0},
M2 = {(x, y) ]0, 4[R : y = 4}, M3 = {(x, y) ]0, 4[]0, 4[: x = y},
M4 = {(0, 0)}, M5 = {(0, 4)} M6 = {(4, 4)}.
Dado un subconjunto M del dominio de f , llamaremos extremo local de f
condicionado por M a cualquier extremo de la funcin f restringida a M .
En este caso, la bsqueda de los extremos locales condicionados por M4 , M5 y M6
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) = x2 + 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) R2 ; x2 + y 2 = 1}.
Ahora debemos calcular los puntos extremos de la funcin T condicionados por el
conjunto C. En este caso aparece una dificultad aadida: no podemos despejar ninguna
variable en funcin de la otra.
4.3.2.
Conjuntos determinados por una funcin
Para este ltimo ejercicio, as como en aquellos casos en que haya ms de dos
variables, necesitaremos desarrollar una nueva tcnica. Primero analicemos la situacin
en ambos ejemplos y veamos que el planteamiento del problema del clculo de extremos
condicionados el conjunto M obedece al siguiente esquema general:
Sea A un subconjunto abierto de Rq y f un campo escalar definido en A. Sea M
un subconjunto de A al que podemos asociar una funcin g : A Rqk tal que:
Anlisis Matemtico
111
a) M = {x A; g(x) = 0}.
b) Todas sus funciones coordenadas gi tienen derivadas parciales continuas en A.
c) Su matiz jacobiana Jg (x) tiene rango q k en A.
Este hecho se reflejar diciendo que g determina a M .
As pues, en el ejercicio 1, tenemos la siguiente situacin:
a) La funcin g(x, y) = x definida en A = R]0, 4[ determina a M1 ,
b) g(x, y) = y 4 definida en A =]0, 4] R determina a M2 ,
c) g(x, y) = y x definida en A =]0, 4[]0, 4[ a M3 ,
d ) g(x, y) = (x, y x) definida en A = R2 a M4 ,
e) g(x, y) = (x, y 4) definida en A = R2 a M5 ,
f ) g(x, y) = (x 4, y 4) definida en A = R2 a M6 .
Y para el ejercicio 2, g(x, y) = x2 + y 2 1 definida en A = R2 \{(0, 0)} determina a C.
Hagamos ahora la siguiente observacin.
Proposicin 4.3.1. Sean A un conjunto abierto, g = (g1 , g2 , ..., gqk ) una funcin que
determina a un subconjunto M de A y f : A R un campo escalar que admite
todas sus derivadas parciales en A y son continuas en a M . Si f alcanza un extremo
condicionado por M en a, entonces existe un nico = (1 , 2 , ..., qk ) Rqk tal que
(f + 1 g1 + 2 g2 + ... + qk gqk )
(a) = 0, i {1, 2, ..., q}.
xi
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 ) Rqk , llamamos funcin de Lagrange asociada a f ,M y
a la funcin L definida en A por
L = f + 1 g1 + 2 g2 + ... + qk gqk .
Dicha funcin recibe el nombre de .
La proposicin anterior nos afirma que:
Los extremos de f condicionados por M son soluciones del sistema siguiente, llamado
sistema de Lagrange .
L
x1 (x)
= 0,
112
4.3 Extremos condicionados

L
x2 (x)
= 0,
...
L
xq (x)
= 0,
g1 (x) = 0, ..., gqk (x) = 0.

Si a = (a1 , a2 , ..., aq ) A y = (1 , 2 , ..., qk ) Rqk son solucin de este
sistema, sabemos que est determinado de forma nica y sus coordenadas reciben el
nombre de Multiplicadores de Lagrange para el punto a.
Ejercicio: Calclense los multiplicadores de Lagrange en los ejercicios anteriores.
4.3.3.
a) Encuntrense los puntos donde la funcin f : A R definida como

f (x, y) = x2 + y 2 xy x y
((x, y) R2 )
alcanza sus extremos absolutos siendo

A = {(x, y) R2 : x, y 0, x + y 3}.
b) Calclense los extremos relativos de f : [1, 1] [1, 1] R en los siguientes

casos:
1) f (x, y) = x2 y 2 .
2) f (x, y) = |x| + |y|.
3) f (x, y) = |x| + y.
c) Encuntrense los puntos del conjunto A = {(x, y) R2 : x2 + y 2 2x, y 0}
donde la funcin f (x, y) = x2 2xy + y 2 alcanza su mximo y mnimo absolutos.
d ) Determnese el punto P (x, y, z) en el plano 2x + y z = 5 que est ms cerca del
origen.
e) Calclese la distancia mnima del origen a la superficie de R3 dada por la ecuacin
x2 z 2 1 = 0
f ) 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 superficie). El planeta es esfrico, con
un radio de 6 unidades; la fuerza del campo magntico viene dada por
M (x, y, z) = 6x y 2 + xz + 60
basado en un sistema coordenado cuyo origen est en el centro del planeta. Dnde
habr de ser ubicado el radiotelescopio?.
Anlisis Matemtico
g) Determnese el rectngulo de mayor rea que se puede inscribir en la elipse
y2
= 1, donde a, b son reales positivos.
b2
113
x2
+
a2
h) Estdiense los extremos de la funcin f : (R+ )3 R definida por f (x, y, z) =

logx + logy + logz en la esfera x2 + y 2 + z 2 = 9.
i) Hllese la mnima distancia entre la recta x + y = 4 y la circunferencia x2 + y 2 = 1.
j ) Hllense los extremos condicionados de la funcin f (x, y) = x3 + xy 2 donde xy
a2 = 0, (a 6= 0).
k ) El rea de una caja rectangular sin tapa es de 108u2 . Hllese que dimensiones debe
tener para que conseguir el mximo volumen.
A y de la marca B. El propietario de la tienda puede obtener ambos vinos a un
coste de 1 euro por botella; su hijo, que es estadstico, ha estimado que si el vino
A se vende a x euros el litro y el vino B a y euros el litro, entonces se vender
aproximadamente 100 200x + 100y botellas de la marca A y 100 + 400x 600y
botellas de la marca B. Qu precio deber ponerse a cada marca de vino para
maximizar el beneficio?
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 justificar esta conclusin vamos a dividir el recorrido total que ha de hacer el
corredor en la siguiente forma: consideramos en primer lugar la mitad del recorrido inicial
y a ste aadimos la mitad del recorrido restante, a ste ltimo aadimos igualmente
la mitad del recorrido restante y as sucesivamente. Obsrvese que para recorrer por
separado cada una de estas partes, cada vez ms pequeas, se necesita una cantidad
115
116
5.1. Series de nmeros reales

positiva de tiempo, parece natural afirmar que el tiempo necesario para el trayecto total
ha de ser la suma de todas estas cantidades de tiempo. Decir que el corredor nunca
puede alcanzar la meta equivale a decir que nunca llega en un tiempo finito; o dicho
de otro modo, que la suma de un nmero infinito de intervalos positivos de tiempo no
puede ser finita.
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 ({an }, {Sn }), donde ({an } es
sucesin arbitraria y, para cada natural n, la
Puna
n
segunda sucesin es tal que: Sn = i=1 an .
La sucesin {Sn } recibe el nombre
X de sucesin de sumas parciales de la serie.
Dicha serie suele representarse por
an .
n1
Se dice que la serie
an es convergente si lo es la sucesin {Sn } de sus sumas
n1
parciales. Al lmite de sta ltima sucesin se le denomina suma de la serie

se representa por
an y
n1
an .
n=1
Antes de pasar a los ejemplos veamos algunas propiedades de las series convergentes.
Proposicin 5.1.1. Sean
an y
n1
a) Si la serie
bn dos series de nmeros reales.
n1
an es convergente entonces la sucesin {an } converge a cero.
n1
b) P
Si ambas series son convergentes y r, s son dos nmeros reales, entonces la serie
n1 ran + sbn es convergente y se verifica que:
(ran + sbn ) = r
n=1
c) Sea k N. Entonces la serie
an + s
n=1
bn .
n=1
an es convergente si, y slo si, la serie
n1
n1
tambin lo es. Adems en caso de que converjan tenemos que:
X
n=1
an = a1 + a2 + ... + ak +
X
n=1
an+k .
an+k
Anlisis Matemtico
117
d) Supongamos que, para cada n N se tiene que |an | bn . Si la serie

convergente entonces
bn es
n1
n1 an
tambin es convergente y se verifica que:

|
En particular , si la serie
an |
n=1
bn .
n=1
|an | es convergente tambin lo es la serie
n1
an .
n1
e) (Criterio de condensacin) Si la sucesin {aX

n } es una sucesin decreciente de
nmeros reales no negativos, entonces la serie
an es convergente si, y slo si,
la serie
n1
n
2 a2n tambin lo es.
n1
Veamos ahora algunos ejemplos de series

a) Serie geomtrica de razn r 6= 1.
Es aquella cuyo trmino general es an = rn1 y cuya sucesin de sumas
n
parciales es por tanto Sn = 1 + r + ... + rn1 = 1r
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
X
1
.
rn1 =
1r
n=1
1
b) Serie cuyo trmino general es an = (n1)!
.
Es aquella cuya sucesin de sumas parciales correspondiente es
Sn = 1 + 1 + 1/2 + ... +
1
.
(n 1)!
Veremos ms adelante que dicha serie es convergente, de hecho, se puede probar

que
X
1/(n 1)! = e.
n=1
c) Serie armnica.
Es aquella cuyo trmino general es an = 1/n y cuya sucesin de sumas parciales
es por tanto Sn = 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 an = 1/n es convergente
si, y slo si, > 1.
d ) Serie armnica-alternada.
Es aquella cuyo trmino general es an = (1)n+1 /n y cuya sucesin de sumas
parciales es por tanto Sn = 1 1/2 + ... + (1)n+1 /n. Ms tarde deduciremos que
dicha serie es convergente, de hecho se puede probar que
(1)n+1 /n = log2.
n=1
118

Obsrvese que este ltimo ejemplo prueba que la serie
X
lo es la serie
|an |. Esto da pie a la siguiente definicin.
n1 an
es convergente y no
n1
Se dice que una serie

absolutos
an es absolutamente convergente si la serie de valores
n1
|an | es convergente.
n1
Resumiendo hemos visto que:

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

Obsrvese que si una serie
an es de trminos no negativos, para cada n N,
n1
an 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 justifica
que, para estas series, dispongamos de numerosos criterios de convergencia. Por
otra parte,
es claro que, despus de las propiedades vistas con anterioridad, slo
X
las series
an , cuyos conjuntos {n N; an < 0} {n N; an > 0} sean infinitos
n1
quedan excluidos de este epgrafe.

Veamos algunos criterios de convergencia para este tipo de series.
Teorema 5.1.2. (Criterio de comparacin)
Sea {an } una sucesin de nmeros reales no negativos y {bn } una sucesin de
nmeros reales positivos.
X
1) Si la sucesin {an /bn } converge a un nmero positivo, entonces la serie
an
converge si, y slo si, converge la serie
X
n1
n1
bn .
Anlisis Matemtico
119
2) Si la sucesin {an /bn } converge a cero y la serie

tonces la serie
bn es convergente, en-
n1
an es convergente.
n1
3) Si la sucesin {an /bn } diverge positivamente y la serie

X
bn es convergente.
gente, entonces la serie
n1 an
es conver-
n1
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 an = 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,
X obsrvese que si el el conjunto {n N; an 1} es infinito,
entonces la serie
an no es convergente, ya que podramos construir una parcial
n1
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 {an } una sucesin de nmeros reales
Xno negativos y L [0, 1[. Si la sucesin
n
an es convergente.
{ an } converge a L, entonces la serie
n1
Si los trminos son positivos el siguiente criterio es ms cmodo

Teorema 5.1.4. (Criterio del cociente)
Sea {an } una sucesin de nmeros reales positivos y L [0, 1[. Entonces
X
1) Si la sucesin {an+1 /an } converge a L, entonces la serie
an es convergente.
n1
2) Si la sucesin {an+1 /an } converge a 1/L, entonces la serie
an no es con-
n1
vergente.
Como consecuencia obtenemos por ejemplo que la serie
1/n! es convergente.
n1
Obsrvese que, cuando dicho cociente {an+1 /an } 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 {an } una sucesin de nmeros reales positivos y L [0, 1[. Entonces
120

1) Si la sucesin {n(1
an+1
an )}
converge a L, entonces la serie
an no es
n1
convergente.
2) Si la sucesin {n(1
an+1
an )}
converge a 1/L, entonces la serie
an es con-
n1
vergente.
b) Series de trminos cualesquiera
La estrategia que seguiremos para las series no incluidas en el apartado anterior

ser la de estudiar primeramente si son absolutamente convergentes, y para ello
usaremos los criterios del apartado anterior. Si son absolutamente convergentes, en
virtud de lo ya visto, sern tambin convergentes, en otro caso necesitaramos de
algn otro criterio. En este curso slo veremos el criterio de Leibnitz para series
alternadas.
Teorema 5.1.6. (Criterio de Leibnitz)
Si {an } es unaX
sucesin de nmeros reales decreciente y convergente a cero, entonces la serie
(1)n+1 an es convergente.
n1
Como consecuencia ya podemos justificar que la serie

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

X 1
X 1
X
X log(n)
1
,
b)
,
c)
,
d)
(1)n .
n
n2
n
2n 1
n
3
X 2n
X 1
X
X
n
1
.
.
b) a)
.
b)
.
d)
c)
n
nlog(n)
n
(n + 1) n
X
X 1 X
2n 1
1
(1)n
.
b)
.
.
c) a)
n
2
n!
(3n 2)(3n + 1)
X
X nn
X 2n n!
1
d ) a) (1)n
.
b)
.
.
c)
log(n)
nn
en2 +1
a) a)
5.2. SERIES DE POTENCIAS
5.2.
121
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 C 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 infinito. El contenido completo de esta leccin se articula de la siguiente manera:
5.2.1 Series de potencias
5.2.2 Funciones definidas 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 {an } una sucesin de nmeros reales. La serie
X
an (x a)n1
n1
recibe el nombre de serie de potencias centrada en a. A los trminos de la sucesin

{an }, se les denomina coeficientes de la serie.
Dado A R, se dice que la serie converge
P
a) puntualmente en A, si la serie n1 an (x a)n1 converge para todo punto x
de A.
Se suele notar, para cada x A, por
an (x a)n1
n=1
a la suma de dicha serie.

b) absolutamente en A si la serie
de A.
n1 |
n1 |an (x a)
converge para todo punto x
122
5.2 Series de potencias

c) uniformemente en A si
P
para cadaP > 0, existe un natural n0 , de forma que si n n0 , entonces |
n=1 ak (x
n
k1
n1
a)
k=1 ak (x a) | < , 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 {an } una sucesin de nmeros
reales. Supongamos que existe una sucesin de nmeros reales {cn } tal que
|an (x a)n1 | cn , x B, n
P
y tal que la correspondiente serie n1 cn 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 {an } una sucesin de nmeros reales. Supongamos que
P existe r > 0 tal
que la sucesin {an rn1 } est acotada. Entonces la serie funcional n1 an (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+ ; {an rn1 } est acotada} y
asociada.
n1
n1 an (x a)
a) Si A = , diremos que el radio de convergencia de la serie

es igual a cero, R = 0.
la serie de potencias
n1 an (x
a)n1
b) Si A 6= y A no est mayorado, diremos que el radio de convergencia de dicha

serie es infinito , R = .
c) Si A 6= 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 00 casi 00 toda la informacin sobre la convergencia de la serie.
Anlisis Matemtico
Proposicin 5.2.3. Sea
vergencia es R.
123
P
n1
n1 an (x a)
una serie de potencias cuyo radio de con-
a) Si R es cero, entonces la serie slo converge en a.

b) Si R es infinito, entonces la serie converge absoluta y uniformemente en cada
intervalo cerrado y acotado contenido en R.
c) Si R R+ , entonces la serie converge absoluta y uniformemente en cada intervalo
cerrado y acotado contenido en ]a R, a + R[ y no converge en ningn punto de
R\[a R, a + R].
Busquemos ahora un procedimiento expeditivo para determinar el radio de convergencia.

P
Proposicin 5.2.4. Sea n1 an (x a)n1 una serie de potencias cuyos coeficientes
son no nulos y sea R su radio de convergencia.
a) Si la sucesin {| an+1
an |} diverge positivamente, R = 0.
b) Si la sucesin {| an+1
an |} converge a un nmero real positivo, R =
1
L.
c) Si la sucesin {| an+1
an |} 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 infinito. Sin
embargo, nada se afirma, 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
X 1
(x a)n1
n+1
n1
y en la serie
X (1)n
n1
n+1
(x a)n1 .
Este hecho motiva el siguiente resultado.

Teorema 5.2.5. Teorema de Abel
P
Sea n1 an (xa)n1 una serie de potencias, cuyo radio de convergencia R es no nulo.
Si la serie converge en el punto a + R (resp. a R) entonces lo hace uniformemente en
el intervalo [a, a + R].
124
5.2.2.
Funciones definidas por series de potencias
P
Sea n1 an (x a)n1 una serie de potencias, cuyo radio de convergencia R es no
nulo (serie de potencias no trivial). Si R R+ , llamemos I al intervalo ]a R, a + R[ e
I = R si R es infinito. En adelante, nos P
referiremos al intervalo I como el intervalo de
convergencia de la serie de potencias n1 an (x a)n1 .
P
Sea n1 an (x a)n1 una serie de potencias no trivial cuyo radio de convergencia
es R, y sea I su intervalo de convergencia. Podemos definir:
f : I R,
mediante la frmula
f (x) =
an (x a)n1 .
n=1
Si la serie es convergente
en a+R entonces f se puede extender al intervalo ]aR, a+R],
P
n1 resultando una funcin continua en ]a R, a + R].
a
con f (a + R) =
n=1 n 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 C (I) y para cada x I y
k N, se tiene que
f k) (x) =
X
(n + k 1)!
n=1
(n 1)!
an+k (x a)n1 =
X
n=k+1
(n 1)!
an (x a)nk1 .
(n k 1)!
En particular,
f k) (a) = k!ak+1 .
Veamos ahora algunas consecuencias de los ltimos resultados.

a) La suma de una serie de potencias puede derivarse como si se tratase de una suma
finita.
Ntese que la frmula del teorema anterior de las derivadas sucesivas de
la funcin definida por una serie de potencias, significa simplemente que dichas
derivadas pueden obtenerse derivando cada uno de los trminos de la serie de
partida.
b) La serie de potencias est totalmente determinada.
La misma frmula del teorema anterior nos dice que en caso de que una funcin
sea desarrollable, esto es, f pueda escribirse como suma de una serie de potencias,
sta est completamente determinada, de hecho, en cada punto a I,
an = f n1) (a)/(n 1)!,
de ah que la correspondiente serie reciba el nombre de serie de Taylor.
Anlisis Matemtico
5.2.3.
125
Desarrollo en serie de Taylor
Hemos visto pues que toda serie definida 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
1
funciones (por ejemplo, f (x) = e x2 , x 6= 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 verifica que:
|f n) (x)| M,
entonces para cualesquiera a, x I, se tiene que
f (x) =
X
f n1) (a)
n=1
(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:
P
1
n1 .
a) ex =
n=1 (n1)! x
P
(1)n+1 2(n1)
b) cos(x) =
.
n=1 2(n1)! x
P (1)n+1 2n1
c) sen(x) = n=1 (2n1)! x
.
2) Para cada x ]0, 2[, se tiene:
log(x) =
X
(1)n+1
n=1
(x 1)n .
3) Para cada x ] 1, 1[, se tiene:

arctg(x) =
X
(1)n+1
n=1
2n 1
x2n1 .
Ntese que el desarrollo en serie de la funcin arcotangente, recin obtenido, tiene

radio de convergencia uno y no infinito como cabra esperar a primera vista, dado que
la funcin arcotangentes es de clase C .
126
5.2.4.
Aplicaciones: Suma de series de nmeros reales
Para finalizar, 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) =
X
(1)n+1
n=1
(x 1)n .
Por otra parte, aplicando el teorema de Abel, el segundo miembro define la funcin
g :]0, 2] R definida por
g(x) =
X
(1)n+1
n=1
(x 1)n ,
la cual es continua en 2, obtenemos as que
X
(1)n+1
n=1
= g(2) = limx2 g(x) = limx2 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
5.2.5.
a) Hllese el radio de convergencia R de cada una de las series de potencias que siguen
y, en caso de que R R+ estdiese el comportamiento de la serie en los puntos R
y R:
X
1
xn1 ;
1)
n1
2
(2n 1)
n1
X
1
xn1 ;
2)
log(n + 1)
n1
3)
X 1,3,5. (2n 1)
n1
2,4,6. (2n)
xn1 ;
b) Calclese el radio de convergencia y la suma de las series:

X
n1
n xn ;
X
n1
n2 xn ;
X (n 1)3
n1
(n 1)!
xn1 .
c) Encuntrese, cuando ello sea posible, el desarrollo en serie de potencias centrado

en el punto a de la funcin f en cada uno de los casos siguientes:
Anlisis Matemtico
127
1
, x R {1} ; a = 0 .
(1 + x)
x
2) f : R {1} R , f (x) =
, x R {1} ; a = 0 .
(1 + x)3
ex 1
3) f : R R , f (x) =
, x R , f (0) = 1 ; a = 0 .
x
ex ex
4) f : R R , f (x) =
, x R ; a = 0 .
2
1) f : R {1} R , f (x) =
d)
Demustrese, usando el desarrollo en serie de Taylor de la funcin arcotangente,

que
X
(1)n+1
/4 = arctg(1) =
.
2n + 1
n=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.
Sea f : [a, b] R una funcin acotada y sea P = {t0 , t1 , ..., tn } una particin del
intervalo [a, b]. Para cada k {1, 2, ..., n}, llamemos Ik al intervalo [xk1 , xk ] y notemos
por
Mk (f, P ) = Sup f (Ik ), mk (f, P ) = Inf f (Ik ).
129
130
6.1. Funciones integrables

Llamaremos suma superior de Riemann de la funcin f respecto de la
particin P al nmero real
S(f, P ) :=
k=n
X
Mk (f, P )(xk xk1 ),
k=1
y anlogamente llamaremos suma inferior de Riemann de la funcin f respecto

de la particin P al nmero real
I(f, P ) :=
k=n
X
mk (f, P )(xk xk1 ).
k=1
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 nfimo del conjunto S que notaremos
por
Z b
f (x)dx.
a
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
Z b
f (x)dx.
a
Diremos que f es integrable en el intervalo [a, b] si el nfimo del conjunto S y el

supremo del conjunto I coinciden, esto es, si
Z
f (x)dx =
a
f (x)dx.
a
Si f es integrable en [a, b] dicho valor Inf S = Sup I ser conocido como la integral de
f en [a, b], y se notar por
Z b
f (x)dx.
a
Para mayor comodidad, si f es integrable en [a, b], acordamos los siguientes convenios:
Anlisis Matemtico
131
Z
f (x)dx =
b
f (x)dx, y
a
f (x)dx = 0.
a
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 {Pn }
verificando que la sucesin {S(f, Pn ) I(f, Pn )} converge a cero.
6.1.2.
Ejemplos
1) Es fcil probar que toda funcin constante es integrable, de hecho

Z
cdx = c(b a).

a
2) Las funciones montonas en un intervalo [a, b] son funciones integrables en dicho

intervalo.
3) Las funciones continuas son tambin funciones integrables.
4) De hecho tenemos que
Proposicin 6.1.1. Sea f : [a, b] R una funcin integrable. Entonces si g :
[a, b] R es una funcin que coincide con f excepto a lo ms en un nmero
finito de puntos de [a, b], g es tambin una funcin integrable y adems
Z
f (x)dx =
a
g(x)dx.
a
5) La funcin de Dirichlet:
f (x) =
0
1
si x [0, 1] Q
si x [0, 1] R\Q
No es integrable en [0, 1]. De hecho, es fcil probar que

Z
f (x)dx = 1,
0
f (x)dx = 0.
0
132
6.1.3.
Propiedades de las funciones integrables
Veamos ahora algunas propiedades de las funciones integrables
Proposicin 6.1.2. Sean f, g : [a, b] R dos funciones integrables en [a, b]. Entonces
a) f + g es una nueva funcin integrable en [a, b] y se verifica que
Z
(f + g)(x)dx =
f (x)dx +
g(x)dx.
b) Para cada r R, la funcin rf es una nueva funcin integrable en [a, b] y se

verifica que
Z b
Z b
(rf )(x)dx = r
f (x)dx.
a
c) Si para cada x [a, b], f (x) g(x), se tiene que

Z
f (x)dx
a
g(x)dx.
a
d) |f | es tambin una funcin integrable y se verifica que

Z
|
f (x)dx|
a
|f |(x)dx.
a
e) f.g es una nueva funcin integrable en [a, b], pero en general

Z
(f.g)(x)dx 6=
a
f (x)dx.
a
g(x)dx.
a
Finalmente tambin se verifica 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
Z
f (x)dx =
a
f (x)dx +
a
Como ejercicio calclese la siguiente integral:

Z 3
3E[x] + 2 dx.
0
f (x)dx.
c
Anlisis Matemtico
133
6.1.4. Relacin entre integracin y derivacin: Teorema Fundamental del Clculo.

Estudiaremos ahora la importante conexin entre los tres conceptos bsicos de
la primera parte del curso: continuidad, derivacin e integracin. Para poder enunciar
este resultado, esto es, el teorema fundamental del clculo, necesitamos introducir el
concepto de integral indefinida.
Sea I un intervalo de nmeros reales, y f : I R una funcin continua. Si c I
llamaremos integral indefinida de f con origen en c a la funcin F : I R,
definida, para cada x I, por
Z x
F (x) =
f (t)dt.
c
Teorema 6.1.4. (fundamental del Clculo)

Sea f una funcin continua en un intervalo I y sea F cualquier integral indefinida de
f . Entonces F es derivable en I y para cada x I,
F 0 (x) = f (x).
Ejercicio: Sea F : R+ R definida por

Z
F (x) =
1/t dt.
1
Calclese F(1), la funcin derivada de F y determnense sus propiedades analticas.
6.1.5.
Cmo evaluar una integral: Regla de Barrow.
El siguiente resultado, el cual es consecuencia del teorema del valor medio, es

importantsimo ya que nos permitir evaluar la integral de una funcin conocida su
primitiva. Para enunciarlo, necesitamos recordar que dada una funcin f definida en un
intervalo I se dice que f admite primitiva si existe una funcin G : I R derivable
tal que, para cada x I, G0 (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
Z b
f (x)dx = G(b) G(a).
a
134

Es claro que si f es continua, entonces, como consecuencia del teorema fundamental
del clculo, cualquier integral indefinida 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:
Z
(2x3 + 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 C 1 ([a, b]) con g 0 (x) 6= 0. Si f es una funcin
continua en g([a, b]), entonces la funcin f g.g 0 es una nueva funcin integrable y
Z
g(b)
f (x)dx =
g(a)
f (g(t)).g 0 (t)dt.
La regla formal seguida en el resultado anterior consiste en sustituir g(t) por x y g 0 (t)dt
por dx y los valores extremos t = a, t = b por los correspondientes x = g(a), x = g(b).
Ejercicios:
a) Calclese la siguiente integral:
Z
2xex dx.
b) Demustrese que , para a, b R+ ,

Z
ab
1/t dt =
a
1/t dt.
1
Nota
Obsrvese que despus de esta propiedad, la funcin F : R+ R, definida por
Z x
F (x) =
1/t dt.
1
es una biyeccin estrictamente creciente verificando que:
Anlisis Matemtico
135
- F (1) = 0
- F (xy) = F (x) + F (y)
- F (e) = 1.
Esto es, la funcin F no es otra cosa que la funcin logaritmo neperiano cuya existencia
afirmbamos 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 C 1 ([a, b]). Entonces
Z
Z
F (x).G0 (x)dx = F (b).G(b) F (a)G(a)
F 0 (x).G(x)dx.
Ejercicio: Calclense las siguientes integrales:

Z 2
Z
log(x)dx y
1
6.1.6.
x2 sen(x)dx.
Integrales impropias
El concepto de integral que hemos introducido presenta, entre otras, dos limitaciones
importantes:
a) El intervalo de integracin es del tipo [a, b]
b) El integrando es una funcin acotada en dicho intervalo.
Nuestro objetivo ms inmediato es extender la nocin de integral a intervalos

arbitrarios y a funciones continuas no necesariamente acotadas.
Sea I =], [ un intervalo con , R { , +}. Sea f : I R una funcin
continua en I y sea G una primitiva de f . Se dice que f es impropiamente integrable
en ], [ si existen
limx G(x), limx G(x).
Adems en caso afirmativo
Z
f (x)dx = limx G(x) limx G(x).
136

Dicha integral recibe el nombre de integral impropia de f en ], [.
Z 1
1/ xdx.
Es claro que toda funcin continua en un intervalo [a, b] es impropiamente integrable

en ]a, b[ y su integral impropia coincide con su integral.
Las propiedades de las funciones impropiamente integrables son similares a las ya
estudiadas para las funciones integrables.
Proposicin 6.1.8. Sean f, g :], [ R dos funciones impropiamente integrables.
Entonces
a) f + g es una nueva funcin impropiamente integrable en ], [ y se verifica que
Z
Z
Z
(f + g)(x)dx =
f (x)dx +
g(x)dx.
b) Para cada r R, la funcin rf es una nueva funcin impropiamente integrable en

], [ y se verifica que
Z
Z
rf (x)dx = r
f (x)dx.
c) Si para cada x [a, b], f (x) g(x), se tiene que

Z
Z
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 afirmativo se tiene que
Z
Z c
Z
f (x)dx =
f (x)dx +
f (x)dx.
Ejercicio: Calclense, cuando existan, las siguientes integrales:

Z 1
Z 1
Z +
Z
2
1/xdx,
1/x dx,
1/ xdx y
0
1/x2 dx.
Como consecuencia de la defincin, obtenemos los correspondientes teoremas del

cambio de variable y de integracin por partes.
Anlisis Matemtico
137
Teorema 6.1.10. (del cambio de variable)

Sea g una funcin de clase C 1 en el intervalo ], [ con g 0 (x) 6= 0. Si f es una funcin
continua en g(], [), entonces f es impropiamente integrable en ], [ si, y slo si,
f g.g 0 es impropiamente integrable en ], [. En caso afirmativo,
Z
limx g(x)
f (x)dx =
limx g(x)
f (g(x))g 0 (x)dx.

Z
2x/(x2 + 1) dx.
Teorema 6.1.11. (de integracin por partes)

Sean F y G dos funciones de clase C 1 en el intervalo ], [ y supongamos que F.G tiene
lmite en y en . Entonces F.G0 es impropiamente integrable si, y slo si F 0 .G es
impropiamente integrable. En caso afirmativo
Z
Z
0
F (x).G (x)dx = limx F (x)G(x) limx F (x)G(x)
F 0 (x).G(x)dx.

Z
log(x)dx.
0
A veces resulta que una determinada funcin no es impropiamente integrable pero

puede obtenerse un cierto valor relacionado con ella.
6.1.7.
a) Calclense las siguientes integrales:

Z 1
arctg(x) dx,
0
Z +
dx
x(log(x))2
2
Z /2
cosx log(senx) dx,
/4
Z
Z
0
x2 ex dx,
0
/4
sen2 x cos3 x dx,

Z
0
/4
senx
dx.
cos2 x
b) Hllense las derivadas de cada una de las funciones siguientes:
138

Z
a) F (x) =
sen (t) dt.

a
Rx
1
c) F (x) =
x2
b) F (x) =
3
sen(s)
ds
s
1
dt
1 + sin6 t + t2
1/(sen2 (t2 ) + 1) dt
d) F (x) =
x
Z
e) F (x) =
1
dt.
1 + + sen2 (t)
Z b
t
tx
dt f) F (x) =
dt
2
2
1 + t + sen(t)
a 1 + t + sen(t)
t2
6.2. MTODOS DE INTEGRACIN
6.2.
139
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"dificultad consiste en encontrar la descomposicin en factores irreducibles
de un polinomio con coeficientes reales.
Sea f : [a, b] R una funcin racional y sean P, Q, : R R las correspondientes
P (x)
funciones polinmicas tales que, f (x) = Q(x)
con Q(x) 6= 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 coeficiente lder del polinomio Q(x) es uno.
En la situacin anterior, el problema de evaluar la integral de f se resuelve usando
sendos resultados algebraicos: la descomposicin en factores irreducibles de un polinomio
con coeficientes reales y la descomposicin en fracciones simples de una funcin racional
con coeficientes reales.
140
6.2. Mtodos de integracin

Proposicin 6.2.1.
1) Descomposicin en factores irreducibles
Todo polinomio Q(x) con coeficientes reales y con coeficiente lder igual a uno
puede escribirse en la forma:
(xa1 )n1 (xa2 )n2 ...(xap )np (x2 +b1 x+c1 )m1 (x2 +b2 x+c2 )m2 ...(x2 +bq x+cq )mq ,
donde p y q son nmeros enteros no negativos,a1 , a2 , ..., ap , b1 , b2 , ..., bq , c1 , c2 , ..., cq
son nmeros reales, donde a1 < a2 < ... < ap son las races reales del polinomio
Q y para cada k {1, 2, ..., p}, np es el orden de multiplicidad de la raz ak ; y
finalmente m1 , m2 , ..., mq son nmeros naturales.
La descomposicin anterior en factores es nica y
n1 + n2 + ... + np + 2(m1 + m2 + ... + mq )
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
P (x)
f (x) = Q(x)
puede escribirse de forma nica como sigue:
f (x) =
+
A12
A11
A1n1
+
+ ... +
+
2
x a1 (x a1 )
(x a1 )n1
A22
A2n2
A21
+
+
...
+
+ ...+
x a2 (x a2 )2
(x a2 )n2
Ap1
Ap2
Apn1
+
+ ... +
+ ...+
2
x ap (x ap )
(x ap )np
B 12 x + C 12
B 11 x + C 11
B 1m1 x + C 1m1
+
+
+
x2 + b1 x + c1 (x2 + b1 x + c1 )2 (x2 + b1 x + c1 )m1
B 22 x + C 22
B 21 x + C 21
B 2m2 x + C 2m2
+
+
+ ...+
x2 + b2 x + c2 (x2 + b2 x + c2 )2 (x2 + b2 x + c2 )m2
B q1 x + C q1
B q2 x + C q2
B qmq x + C qmq
+
+
,
x2 + bq x + cq
[(x2 + bq x + cq )2 [(x2 + bq x + cq )mq
donde Aij (1 i p, (1 j np ) y (B ij , Cij (1 i q y 1 j mq
y a1 , a2 , ..., ap , B1 , B2 , ..., Bq , c1 , c2 , ..., cq C ij son nmeros reales. Se tiene adems
que Aknk 6= 0 para k {1, 2, ..., p} y (B jmj )2 + (C jmj )2 > 0 para j {1, 2, ..., q}.
La principal dificultad 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 dificultad, aunque s puede ser laboriosa.
La descomposicin en fracciones simples dada anteriormente, junto con la linealidad
de la integral nos permite limitarnos a considerar las integrales de cada uno de los tipos
de fracciones simples que aparecen en la descomposicin, a saber
Anlisis Matemtico
141
Tipo 1
A
,
xc
para todo x [a, b], y donde A, c R y c no pertenece al intervalo [a, b]. En tal
caso tenemos que:
Z b
bc
f (x)dx = A.log(
).
ac
a
f (x) =

Z 4
2 x2
dx.
3
2
3 x 3x + 2x
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:
Z b
1
A
1
[
f (x)dx =
].
n1
n 1 (a c)
(b c)n1
a

Z 1/2
0
2x
dx.
x2 2x + 1
Tipo 3
Bx + C
,
+ cx + d
para todo x [a, b], donde B, C, c, d R. En este caso se procede de la siguiente
forma:
Z
Z b
Z b
dx
B b 2x + c
dx
+
(C
cB/2)
.
f (x)dx =
2
2
2 a x + cx + d
a x + cx + d
a
f (x) =
x2
La primera integral se puede resolver haciendo el cambio de variable u = x2 +cx+d,

con lo que nos queda
Z b2 +bc+d
du
b2 + bc + d
= log 2
.
a + ac + d
a2 +ac+d u
La segunda integral se puede resolver escribiendo x2 + cx + d = (x r)2 + b2 para
hacer el cambio de variable u = xr
s , con lo que nos queda
1
s
br
s
ar
s
du
1
br
ar
= [arc tg(
) arc tg(
)].
2
1+u
s
s
s
142

Z 4
2x 1
dx.
4
3
3 x +x x1
Tipo 4 Esto es,

f (x) =
r(x)
,
(x2 + 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
F (x)
]0 ,
+[ 2
x2 + cx + d
(x + 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 (x2 + cx + d)n , y a partir de aqu,
calcular los coeficientes de dicho polinomio.
As pues
Z b
Z b
ex + f
F (b)
F (a)
f (x)dx =
dx + 2
2
.
2 + cx + d
n1
x
(b
+
cb
+
d)
(a
+
ca + d)n1
a
a
La integral que queda es una de tipo 3).

Z 4
1 x2
dx.
4
2
3 x + 4x + 4
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 fijando una notacin que nos permitir exponer de manera rpida y
sin ambigedad los distintos mtodos de integracin que vamos a tratar. En lo que sigue
I ser un intervalo del tipo [a, b] y f : I R ser una funcin continua. Para calcular
la integral de f usaremos sistemticamente el cambio de variable x = g(t), donde g es
Anlisis Matemtico
143
una funcin biyectiva de un cierto intervalo J sobre I y de clase C 1 en J. Si notamos

por h(t) = f g(t).g 0 (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 C 1 en K. Si notamos por k(u) = h (u).0 (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 =
Ejercicio: Calclese
1 t2
2t
, y sen(x) =
.
2
1+t
1 + t2
R /2
dx
/4 sen(x)
Podemos destacar algunos casos particulares en

Z
a
senn (x)
dx
cosm (x)
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
cos2 (x) =
1 + cos(2x)
,
2
sen2 (x) =
1 cos(2x)
.
2
2. Funciones trascendentes
Sea f una funcin f que es cociente de sumas y productos de la funcin ex
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
R2
dx
1 shx
144

3. Irracionales en x
Sea f una funcin que es cociente de sumas y productos de potencias racionales
p1
p2
pn
de x. Si f (x) = F (x q1 , x q2 , ..., x qn ), entonces hacemos el cambio de variable x =
tm , donde m = m.c.m.{q1 , q2 , ..., qn }. As pues, la funcin a integrar que resulta
despus del cambio es una funcin de tipo racional, que ya sabemos resolver.
Z 2
1
dx.
3
x
+
x
1
4. Irracionales cuadrticas
Vamos a distinguir tres tipos fundamentalmente:
1) Funciones que son cociente de sumas y productos de las funciones x y
x2 1
En este caso, siempre que I [1, +[ I ] , 1], hacemos el cambio

1
de variable bien x = g(t) = 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.
Z 4
1
dx.
2
x 1
3
1 x2
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.
Z 1/2
1
dx.
1 x2
0
1 + x2
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.
Z 4
1
dx.
1 + x2
3
Anlisis Matemtico
145
Nota
Las funciones f (x) que son cociente de sumas y productos de x y de
ax2 + bx + c se pueden reducir a uno de los tres casos anteriores ya que
ax2 + bx + c = a(x + b/2a)2 b2 /4a + c,
y por tanto, si hacemos un primer cambio u = x + b/2a y posteriormente
au
a) si a > 0 y b2 4ac > 0, hacemos un nuevo cambio, t = b2 4ac
, resulta
una integral del tipo t2 1
b) Si a > 0 y b2 4ac < 0, hacemos un nuevo cambio, t = au2 , resulta

cb /4a
2
una integral del tipo t + 1.
c) Si a < 0 y b2 4ac < 0, hacemos un nuevo cambio, t = au

resulta
cb2 /4a
una integral del tipo 1 t2
6.2.3.
1. Calclense las siguientes integrales:

R3
2
a) 2 x4 4x1+2xx
3 +7x2 6x+2 dx.
R /2
dx
b) /4 senxtgx
.
R 3/2 dx
c) 0
2+cosx .
R 1 dx
d) 0 coshx .
R3
e) 2 xdx
2 2
R 3/2
f) 1 x2 dx
.
4x2
R2
g) 1 (4+xdx2 )3/2 .
2. Prubense las siguientes igualdades:
Z /2
Z 3
Z +
cos x dx
dx
dx
= ,
= ,
= 2,
x
x
2
2
2
1 senx
9x
0
e + e
Z0 + x
Z 1
e
dx
= 2,
log(x) dx = 1
x
0
0
6.3. APLICACIONES DEL CLCULO INTEGRAL
6.3.
147
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 definiremos con todo rigor. El contenido
completo de esta leccin se articula de la siguiente manera:
6.3.1
6.3.2
6.3.3
6.3.4
6.3.5
La integral como "paso al lmite".

Clculo del rea de un recinto plano.
Clculo de longitud de una curva.
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 = {t0 , t1 , ..., tn } una particin de dicho intervalo e
Ik = [tk1 , tk ], 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 ) = M ax{l(Ik ) = tk tk1 ; k = 1, 2, ..., n}.
Se puede probar que si f es una funcin acotada en [a, b] y {Pn } es una sucesin
de particiones del intervalo [a, b] cuya sucesin de dimetros, {(Pn )}, tiende a
cero, entonces:
Rb
1) La sucesin de las sumas superiores S(f, Pn ) converge a a f (x)dx esto es, a
Z
f (x)dx = Inf {S(f, P ) : P particin de [a, b]}.

a
2) La sucesin de las sumas inferiores I(f, Pn ) converge a

Z
Rb
a f (x)dx.,
f (x)dx = Sup{I(f, P ) : P particin de [a, b]}.

a
esto es, a
148
6.3. Aplicaciones del clculo integral

Y por tanto, si f es integrable en el intervalo [a, b], entonces la sucesin S(f, Pn )
y la sucesin I(f, Pn ) convergen a la integral de f .
En particular, si {Pn } es la sucesin de particiones del intervalo [a, b] tal que,
para cada n, todos los subintervalos que generan Ikn , son de longitud (b a)/n,
entonces
Z b
n
X
f (x)dx,
limn {
f (ykn )(b a)/n} =
a
k=1
siempre que, para cada n N, ykn Ikn .

Esta idea es el hilo conductor de toda la leccin. En un primer momento la
usamos para resolver problemas de distinta naturaleza.
1) Problema matemtico
A modo de ejemplo podemos probar que limn { 1+2+...+n
} = 1/2, ya que
n2
limn {
n
X
Z
n
X
k/n } = limn { (k/n)1/n} =
k=1
k=1
xdx,
donde la funcin f considerada es la restriccin de la funcin identidad al

intervalo [0, 1].
2) Problema de tipo econmico.
Supongamos que un negocio obtiene en sus primeros das los siguientes
beneficios
das 1 2 3 4
Euros 8 17 32 53
El propietario tiene razones suficientes para creer que el negocio continuar
creciendo siguiendo la pauta de los primeros das, a saber el beneficio de
cada da t, seguir la ley B(t) = 3t2 + 5. Para hacer el clculo del beneficio
anual, siguiendo indicaciones de un economista, considera adems que la ley
del beneficio es la funcin continua descrita anteriormente. Cul ser este
beneficio 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 (Pn ). 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 beneficio anual
Z 365
B=
3t2 + 5dt.
0
3) Problema de tipo fsico

Supngase que queremos calcular la fuerza de atraccin de un varilla
metlica de masa M y de longitud l y una masa puntual m situada en la
direccin de la varilla y cuya distancia al extremo ms lejano es L.
Anlisis Matemtico
149
La estrategia a seguir ser considerar una sucesin de particiones del

intervalo [0, l] cuya sucesin de dimetros tiende a cero. De hecho podemos
considerar que, para cada particn, todos los subintervalos son de igual longitud (Pn ). A continuacin se construyen las sumas integrales asociadas a
Mm
la funcin f (t) = G l(Lt)
2 considerando como valor de cada subntervalo su
extremo derecho. El paso al lmite nos dar como fuerza de atraccin F .
Z l
F =
f (t)dt.
0
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) R2 ; 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.
Z b
A(R(f )) =
f (x)dx.
a
De manera ms general, dadas f, g : [a, b] R dos funciones integrables,

verificando que, para cada x [a, b], f (x) g(x) podemos considerar el recinto
R(f, g) = {(x, y) R2 ; a x b, f (x) y g(x)}.
Es ahora fcil probar que el rea de dicho recinto A(R(f, g))), verifica
Z b
A(R(f, g)) = |
(f (x) g(x))dx|.
a
Considrense por ejemplo las funciones f, g : [0, 2] R, definidas por f (x) = x2
y g(x) = x, y el recinto R(f, g), comprendido entre las correspondientes grficas
0.5
1.5
Es claro que rea de dicho recinto A(R(f, g))), verifica

Z 2
Z 1
2
(x2 x)dx| = 3 4/3 2.
A(R(f, g)) = |
(x x)dx| + |
0
Ejercicio: Calcular el rea de una elipse.
150
6.3.3.
Clculo de la longitud de una curva
Una curva en el plano no es mas que una funcin continua definida en un

intervalo cerrado y acotado y con valores en R2 .
Sea : [a, b] R2 una curva en el plano. Tal como hicimos en la leccin
I.3 con la semicircunferencia unidad, podemos definir, supuesto que exista dicho
supremo, la longitud de la curva por
l() = Sup{l(P ); P particin de [a, b]},
donde para cada particin P = {t0 , t1 , ..., tn }, consideramos la poligonal P de
vrtices ((t0 ), (t1 )), ..., (tn )). De hecho, se sabe que,
l(P ) = dist((t0 ), (t1 )) + ... + dist((tn1 ), (tn )).
Es fcil probar que si {Pn } es una sucesin de particiones del intervalo [a, b],
cuyos dimetros tienden a cero, entonces la sucesin {l(Pn )} 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 C 1 en el intervalo [a, b] tales que (t) = (f (t), g(t)),
entonces
Z bp
l() =
[f 0 (x)]2 + [g 0 (x)]2 dx.
a
En orden a justificar la frmula anterior conviene subrayar que para cada

particin P = {t0 , t1 , ..., tn } y k {1, 2, ..., n},
dist((tk1 ), (tk )) = dist[(f (tk1 ), g(tk1 )), (f (tk )), g(tk ))] =
p
= [f (tk1 ) f (tk )]2 + [g(tk1 ) g(tk )]2 ,
pero, por el teorema del valor medio, sabemos que existen sendos xk e yk tales que
f (tk1 ) f (tk ) = f 0 (xk )(tk tk1 ),
y
g(tk1 ) g(tk ) = g 0 (yk )(tk tk1 ),
luego
p
dist((tk1 ), (tk )) = (tk tk1 ) (f 0 (xk ))2 + (g 0 (yk ))2 ,
y por tanto
l(P ) =
n
X
p
(tk tk1 ) (f 0 (xk ))2 + (g 0 (yk ))2 ,
k=1
por lo que finalmente basta aplicar que la integral no es ms que un paso al lmite.
En particular si f C 1 ([a, b]) la longitud de su grfica,
Z bp
l(Graf (f )) =
1 + (f 0 (x))2 dx.
a
Ejercicio: Calcular la longitud de una circunferencia de radio r.
Anlisis Matemtico
151
6.3.4.
Clculo del volumen y del rea de un slido de
revolucin
Slidos de revolucin
Sea f : [a, b] R una funcin continua cuya grfica se encuentra en el
semiplano superior. Supongamos que el recinto R(f ), definido 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 R3 , definido por
Sx (f ) = {(x, y, z) R3 ; a x b, y 2 + z 2 f (x)2 }.
152

Considrese por ejemplo la funcin identidad restringida al intervalo [1, 3]. En la
siguiente figura vemos el correspondiente R(f )
3
2.5
2
1.5
1
0.5
-1
y por tanto el correspondiente slido de revolucin es el siguiente tronco de cono
2
0
-2
-2
0
1
2
3
4
rea lateral
Se puede probar que el "rea lateral"de Sx (f ), A(Sx (f )) se obtiene mediante
la frmula:
Z b
p
A(Sx (f )) = 2
f (x) 1 + f 0 (x)2 dx.
a
Para justificar 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,
Anlisis Matemtico
153
1
0.5
0
-0.5
-1
1
0.5
-0.5
-1
0
0.25
0.5
0.75
1
y los dos troncos de cono asociados a la particin P = {0, 1/2, 1}
1
0.5
0
-0.5
-1
1
0.5
-0.5
-1
0
0.25
0.5
0.75
1
Obsrvese que la suma de las reas laterales de estos dos troncos de cono es
menor que el rea lateral de la semiesfera y que, a medida que tomemos particiones
con ms puntos, la suma de las reas laterales de los correspondientes troncos de
cono sigue siendo menor que el rea lateral de la semiesfera pero cada vez ms
ajustada a sta.
En tal caso, el rea lateral se obtiene como paso al lmite de la suma de las
reas laterales de los correspondientes troncos de cono, sin ms que usar el hecho
de que el rea lateral de un tronco de cono es (R +r)s, donde R es el radio mayor,
r el radio menor y s es la "generatriz truncada".
Ejercicio: Calcular el rea de una esfera.
154

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 (Sx (f )) se puede obtener mediante
la frmula
Z
b
V (Sx (f )) =
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
p
Sy (f ) = {(x, y, z) R3 ; a2 x2 + z 2 b2 , 0 y f ( x2 + y 2 }.
En este caso, su volumen, V (Sy (f )), puede ser calculado como sigue:
Z
V (Sy (f )) = 2
xf (x)dx.
a
Ejercicio: Calclese el volumen de un elipsoide de semiejes a, b, c y de un toro

generado al girar, alrededor del eje y, el disco de centro (2,0) y radio 1.
6.3.5.
1.- Calcular las siguientes reas:

a) Area limitada por las curvas y = x2 y y 2 = 8x
2
b) Area limitada por y = xex , el eje x, la recta x = 0 y la la recta x = a,
2
donde a es la abscisa del punto donde la funcin f (x) = xex alcanza el
mximo.
c) Area de la figura 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 grfica
1
de la funcin f : R R definida por f (x) =
(1 + x2 )2
f) Area de la superficie 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 grficas de f (x) = cosh x y
g(x) = shx, en el primer cuadrante.
x4 + 48
2.- Hallar la longitud de la curva y =
en [2, 4]
24x
3.- Hallar la longitud de la curva y = log(1 x2 ) en [1/3, 2/3].
Anlisis Matemtico
155
4.- Hllese la longitud de la catenaria, esto es, la grfica de la funcin f definida

por
1
f : [a, a] R : f (x) = a(ex/a + ex/a )
2
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
p
superficie 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 =
sen2 (x), x [0, ], cuando sta gira en torno al eje x.
7.- Hallar el volumen generado al girar alrededor del eje OX la grfica de f (x) =
18x
.
2
x +9
8.- Calcular el volumen del slido generado al girar la regin limitada por x = y 2
e y = x2
a 0 alrededor del eje x.
b 0 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 = x3 + 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
7.1.2
7.1.3
7.1.4
7.1.5
Por qu una nueva integral?

Conjuntos medibles.
Funciones medibles. Integral de Lebesgue.
Funciones Integrables.
Propiedades.
7.1.1.
Por qu una nueva integral?
Hacia finales del siglo XIX result claro para muchos matemticos que la
integral de Riemann tiene importantes limitaciones, es sabido por ejemplo su mal
comportamiento con ciertos procesos de convergencia. sta y otras limitaciones
que ahora veremos, obligaron a realizar nuevos intentos de construccin de otras
integrales. Entre estos intentos destacan los debidos a Jordan, Borel, Young y
finalmente el de Lebesgue, que result ser el ms exitoso.
En lo que respecta nosotros, nos interesa destacar las siguientes limitaciones:
157
158
7.1 Integral de Lebesgue

1) El conjunto de funciones integrables es relativamente pequeo: Hay funciones
sencillas que no son integrables. Recurdese por ejemplo que la funcin de
Dirichlet, esto es, la funcin, f : [0, 1] R definida por
0 si x es racional
f (x) =
1 si x es irracional
no es integrable.
2) Su extensin a varias variables tiene algunas dificultades.
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 Rn . 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 Rn diremos que es un intervalo (respectivamante intervalo acotado), si existen I1 , I2 , ..., In intervalos (respectivamante
intervalos acotados) de nmeros reales tales que
I = I1 I2 ... In .
Veamos cmo aadir a partir de aqu nuevos conjuntos.
Se dice que una familia A de subconjuntos de Rn es una -lgebra si
i) Rn A,
ii) Si {An } es una sucesin en A, entonces nN An A, y
iii) Si A A entonces Rn \ A A.
Por otra parte, si S es una familia de subconjuntos de Rn , entonces
existe una menor -lgebra en Rn conteniendo a S , que denominaremos la
-lgebra engendrada por S.
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
Anlisis Matemtico
159
Obsrvese que los conjuntos que resultan de la interseccin numerable de

abiertos (conjuntos tipo G ), no necesariamente abiertos, y los conjuntos que
resultan de la unin numerable de cerrados, conjuntos tipo F , no 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(I1 )l(I2 )...l(In ),
donde l(Ik ) = bk ak , siempre que Ik = [ak , bk ].
A partir de aqu, podemos definir, para cada A B, la medida , mediante
(A) := Inf {
v(In ); A nN In , In intervalo acotado, n N}.
n=1
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 M 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 mediblesLebesgue o simplemente medibles.
Los conjuntos medibles se pueden representar por E = A N , donde A
es un boreliano y N es un subconjunto de un boreliano de medida nula.
Podemos ahora definir 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 {An : n N} de la -lgebra M, disjuntos dos
a dos, se verifica
[
X
(
An ) =
(An ).
nN
n=1
Como consecuencia de la definicin se pueden obtener las siguientes

propiedades:
160

1. Si A, B M y A B entonces (A) (B).
P
2. (
n=1 An )
n=1 (An ) An A.
Q
3. extiende el volumen de un intervalo, esto es,Qsi I = nk=1 Ik es un
intervalo acotado en Rn , entonces (I) = v(I) = nk=1 l(Ik )).
Se dice que una propiedad P relativa a un punto x Rn se verifica casi
por doquier (c.p.d.), si el conjunto de puntos C donde dicha propiedad no
se verifica 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 : Rn R se llama medible si f 1 (I) M 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 Rn , se llama funcin caracterstica
de A, A , a la funcin A : Rn R, definida por
1 si x A
A (x) =
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 : Rn R se dice simple si slo toma un nmero
finito de valores.
Toda funcin simple s puede representarse por
s=
n
X
i Ai ,
i=1
donde s(Rn ) = {1 , . . . , n }, Ai := {x Rn : s(x) = i } y Ai es la funcin

caracterstica de Ai .
Anlisis Matemtico
161
Si i 0 i, se define la integral de s por :

Z
sd =
Rn
n
X
i (Ai ).
i=1
El teorema de aproximacin de Lebesgue nos asegura que toda funcin

f medible positiva (f 0) es lmite de una sucesin creciente 0 s1
s2 ... f de funciones simples que converge puntualmente a f (lm sn (x) =
f (x) x Rn ).
A partir de aqu definimos la integral de la funcin f por
Z
Z
f d := lm
sk d
k
Rn
Rn
Se puede comprobar que dicha definicin no depende de la sucesin {sk } elegida.
7.1.4.
Dada una funcin medible f : Rn R, se dice que f es integrable si

Z
|f | d < .
Rn
En tal caso se define la integral de f por

Z
Z
Z
f d =
f + d
Rn
Rn
f d,
Rn
donde f + = M ax{f, 0} y f = M ax{f, 0} (ntese que ambas funciones son

medibles positivas).
Notaremos por L al espacio formado por las funciones medibles que son
integrables en Rn , esto es
Z
L = {f : Rn R medible;
|f | d < }.
Rn
Podemos ahora considerar la integrabilidad en conjuntos medibles.

Dado E M y una funcin medible f : D R, (E D Rn ), podemos
considerar la funcin f E como la extensin de f a todo Rn , que se anula fuera
de E.
162

Se dice que f es integrable en E, si f E L, y en tal caso se define la
integral de f en E por
Z
Z
f d :=
f E d.
Rn
Dicha integral recibe el nombre integral de Lebesgue de f en E.

Dado E M, 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
Z
Z
Z
(rf + g) d = r
f d +
g d,
E
2)
Z
|
(r R, f, g L(E)).
Z
f d|
|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
Z
Z
f d =
g d.
E
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 afirmativo
Z
Z
Z
f d =
f d +
f d.
5) (E) =
R
E
1 d.
6)
Teorema 7.1.1. ( del cambio de variable)
Sean U y V dos conjuntos abiertos de Rn , y : U V una funcin biyectiva
de clase C 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
Z
Z
f d =
f |J |d.
(E)
Veamos finalmente la relacin de sta nueva integral con la integral de Riemann.
Anlisis Matemtico
163
- Las funciones integrables de siempre son tambin integrables en el

sentido de Lebesgue
Sea n = 1 y sea E = [, ], con (, R). Si f es integrable en el sentido
de Riemann en E entonces f L(E) y en tal caso
Z
Z
f d =
f (x) dx.
E
- 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
Z
f d = 1.
[0,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
Z
Z
|f | d =
|f (x)| dx.
I
- 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
Z
f d = lm G(x) lm G(x).
x
En consecuencia,
b)
Teorema 7.1.3. (de integracin por partes) Sean f, g : I R
dos funciones derivables tales que f 0 g y f g 0 L(I). Entonces existen los
lmites de f g en y en , y adems se tiene
Z
Z
0
f g d = lm f (x)g(x) lm f (x)g(x) f g 0 d.
I
c)
Teorema 7.1.4. (del cambio de variable) Si : I R es una
funcin derivable, con 0 (t) 6= 0 y f : (I) R es una funcin medible,
entonces f L((I)) si, y slo si, f .0 L(I) y
Z
Z
f d = f .0 d.
(I)
7.2. TCNICAS DE INTEGRACIN EN VARIAS VARIABLES
7.2.
165
Tcnicas de integracin en varias variables
Sumario
En esta leccin vamos a introducir la integracin en varias variables. Entre
otros problemas nos encontramos con el hecho de que no se dispone de ningn
procedimiento elemental comparable a la Regla de Barrow. Esta contrariedad se
resolver con una tcnica fundamental: Teorema de Fubini, que relaciona la integral
en Rn con integraciones sucesivas en espacios de menor dimensin. Siguiendo este
proceso acabaremos finalmente 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 definicin 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 R2 ni en R3 . Nuestro siguiente resultado trata de resolver esta
dificultad, relacionando la integral mltiple con sucesivas integrales en R. Para
ello, consideremos las siguientes observaciones:
Sea E Rp+q , notaremos, para cada x Rp , por
E(x) = {y Rq : (x, y) E}.
Anlogamente, notaremos, para cada y Rq , por
E(y) = {x Rp : (x, y) E}.
Es fcil probar que si E es un subconjunto medible de Rp+q , entonces E(x) y
E(y) son subconjuntos medibles respectivamente de Rp y Rq .
Teorema 7.2.1. (Teorema de Fubini.Caso p = 1, q = 1)

Sea E R2 medible y sea f : E R una funcin integrable, entonces
Z
f (x, y)d(x, y) =
E
Z
[
E(x)
f (x, y)dy]dx =
2
Z
[
E(y)
f (x, y)dx]dy,
166
7.2 Tcnicas de integracin en varias variables

siendo 1 = Inf E1 , 1 = Sup E1 , 2 = Inf E2 , 2 = Sup E2 , donde
E1 = {x R; E(x) 6= }
y
E2 = {y R; E(y) 6= }
En particular, cuando E = I J, siendo I, J intervalos de R, entonces
Z
Z Z
Z Z
f (x, y) = [ f (x, y)dy]dx = [ f (x, y)dx]dy.
E
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 R3 medible y sea f : E R una funcin integrable, entonces
Z
Z 3 Z
f (x, y, z)d(x, y, z) =
[
f (x, y)d(x, y)]dz,
E
E(z)
siendo 3 = Inf E3 , 3 = Sup E3 , donde

E3 = {z R; E[z] 6= }
y a su vez
E[z] = {(x, y) R2 ; (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 R3 , tal que
E1 = {x R; E(x) 6= } = [a, b].
Segn hemos visto en la leccin anterior su volumen, (E), viene dado por
Z
(E) =
1 d(x, y, z),
E
por lo que aplicando el teorema de Fubini y la definicin de rea de subconjuntos

medibles de R2 , se tiene que
Z b Z
Z b
(E) =
(
1 d(y, z))dx) =
(E(x))dx.
a
E(x)
Anlisis Matemtico
167
Dicha igualdad es conocida como el principio de Cavalieri.
Obsrvese que si E es el slido de revolucin generado por la grfica de una

cierta f : [a, b] R+
0 , aplicando el principio de Cavalieri, obtenemos que
Z
V (E) =
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 R2 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
A1 = {x R; A(x) 6= } = [a, b],
entonces
Z
f (x, y)d(x, y) =
A
Z
(
A(x)
Z
f (x, y)dy)dx =
S(x)dx,
a
donde, para cada x [a, b], S(x) es el rea de la regin del plano comprendida
entre el eje x y la grfica de la funcin g : A(x) R definida para cada y A(x)
por g(y) = f (x, y). Aplicando finalmente el principio de Cavalieri, la integral
Z
f (x, y)d(x, y)
A
puede interpretarse como el volumen del slido comprendido entre el plano

z = 0 y la grfica del campo escalar f .
Ejemplo:
Calclese el volumen de madera eliminado al taladrar, hasta el centro, una
esfera de madera de radio 9 con una broca de radio 1.
168
7.2.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 = R2 \{(x, 0); x 0}, y la aplicacin
: U V definida por
(, ) = (cos, sen).
En este caso
detJ (, ) = > 0, (, ) U,
y por tanto
Z
Z
f (x, y)d(x, y) =
f (cos, sen)d(, ).
1 (E)
Ejercicio: Sea E = {(x, y) R2 ; x2 + y 2 r2 }. Calclese
R
E
1d(x, y).
Coordenadas cilndricas, n = 3
Tomamos U = R+ ] , [R , V = R3 \{(x, 0, z); x 0}, y la aplicacin
: U V definida por
(, , z) = (cos, sen, z).
En este caso
detJ (, , z) = > 0, (, , z) U,
y por tanto
Z
Z
f (x, y, z)d(x, y, z) =
f (cos, sen, z)d(, , z).

1 (E)
Ejercicio:R Sea E = {(x, y, z) R3 ; x2 + y 2 r2 ; 0 z h}, con r, h > 0.

Calclese E 1d(x, y, z).
Coordenadas esfricas, n = 3
Tomamos U = R+ ] , [] /2, /2[ , V = R3 \{(x, 0, z); x 0}, y la
aplicacin : U V definida por
(, , ) = (coscos, sencos, sen).
Anlisis Matemtico
169
En este caso
detJ (, , ) = 2 cos > 0, (, , ) U,
y por tanto
Z
Z
f (x, y, z)d(x, y, z) =
f (coscos, sencos, sen)2 cosd(, , ).
1 (E)
Ejercicio: Sea E = {(x, y, z) R3 ; x2 + y 2 + z 2 r2 }, con r > 0. Calclese su

volumen.
7.2.3.
1) Calclense las siguientes integrales:

Z
a)
sen2 x sen2 y d(x, y), I = [0, ] [0, ].
ZI
x2
b)
d(x, y), I = [0, 1] [0, 1].
1 + y2
ZI
y logx d(x, y), I = [1, e] [1, e].
c)
ZI
d)
x3 y 3 d(x, y), I = [0, 1] [0, 1].
I
Z
1
e)
d(x, y), I = [0, 1] [0, 1].
(1 + x + y)2
ZI
f)
x log(xy) d(x, y), I = [2, 3] [1, 2].
ZI
g)
y cos(xy) d(x, y), I = [0, 1] [1, 2].
I
2) Sea
a)
b)
c)
d)
f : A R , calclese su integral en los siguientes casos:

f (x, y) = 1 siendo A la regin limitada por y 2 = x3 , y = x.
f (x, y) = x2 siendo A la regin limitada por xy = 16, y = x, y = 0, x = 8.
f (x, y) = x siendo A el tringulo de vrtices (0, 0), (1, 1), (0, 1).
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.
x
e) f (x, y) = e y siendo A la regin limitada por y 2 = x, x = 0, y = 1.

f) f (x, y) =
2
x
siendo A la regin limitada por y = x2 , y = x.
x2 +y 2
xy 2 siendo A la regin limitada por y 2 = 2x, x = 1.
g) f (x, y) =
h) f (x, y) = xy siendo A la regin limitada por la semicircunferencia superior
(x 2)2 + y 2 = 1 y el eje OX.
i) f (x, y) = 4 y 2 siendo A la regin limitada por y 2 = 2x y y 2 = 8 2x
2
j) f (x, y) = ex siendo el conjunto A el tringulo formado por las rectas
2y = x, x = 2 y el eje x
170

R
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) = x2 + y 2 , A = {(x, y) [0, 1] [0, 1]; x2 + y 2 1}
c) f (x, y) = x + y, A = {(x, y) [0, 1] [0, 1]; x2 y 2x2 }
d) f (x, y) = x2 y 2 , A = {(x, y) R2 ; 0 x 1, 0 y x}
e) f (x, y) = y 2 , A = {(x, y) R2 ; x2 + y 2 r2 }
f) f (x, y) = 1, A = {(x, y) R2 ; x2 + y 2 1, x2 + y 2 2x}
g) f (x, y) = 1, A = {(x, y) R2 ; x2 + y 2 r2 }
h) f (x, y) = cos(x2 + y 2 ), A = {(x, y) R2 ; x2 + y 2 /2}
1
i) f (x, y) =
, A = {(x, y) R2 ; x2 + y 2 1, x 0}
2
(1 + x + y 2 )2
y
j) f (x, y) = 2 , A = {(x, y) R2 ; 0 x 1, 0 y x}
x
1
k) f (x, y) = p
, A = {(x, y) R2 ; x2 + y 2 1}
4 x2 y 2
l) f (x, y) = x y, A = {(x, y) R2 ; x 0, y 0, 1 x2 + y 2 2}
m) f (x, y) = x2 y, A = {(x, y) R2 ; 1 x2 + y 2 4, x 0}
n) f (x, y) = x, A = {(x, y) R2 ; x 0, y 0, x2 + y 2 1, x2 + 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:
p
a) f (x, y) = 1 x2 y 2 , A = B((0,
0), 1)
1
b) f (x, y) = y, A = {(x, y) B(( 2 , 0), 12 ) : y 0}
c) f (x, y) = x2 + y 2 , A = B((1,
0), 1)
d) f (x, y) = x2 + y 2 , A = {(x, y) R2 : 4 x2 + y 2 9}
5) Calclense las siguientes integrales dobles:
a) f (x, y) = x, A = {(x, y) R2 : x2 + y 2 2x}
p
b) f (x, y) = x 1 x2 y 2 , A = {(x, y) R2 : x2 + y 2 1, x, y 0}
c) f (x, y) = exp( xy ), A = {(x, y) R2 : y 3 x y 2 , x 0, y 0}
3
d) f (x, y) = (x2 + y 2 ) 2 , A = {(x, y) R2 : x y, x + y 1, x2 + y 2 1}

e) f (x, y) = x2 + y 2 , A = {(x, y) R2 : (x2 + y 2 )2 4(x2 y 2 ), x 0}
f) f (x, y) = x2 + y 2 , A = {(x, y) R2 : x2 + y 2 2y, x2 + y 2 1, x 0}
6) Calclese el volumen de la regin A definida por:
a) A = {(x, y, z) R3 ; x2 + y 2 + z 2 r2 , x2 + y 2 ry 0}.
b) A = {(x, y, z) R3 ; x2 + y 2 1, x2 + y 2 2, z(x2 + y 2 ) 1, z 0}.
c) A = {(x, y, z) R3 ; z 2 x2 + y 2 z}.
d) A = {(x, y, z) R3 ; 0 z 1 (x2 + y 2 )}.
7) Calclense las siguientes integrales triples:
Anlisis Matemtico
Z
a)
ZI
171
1
d(x, y, z), I = [0, 1] [0, 1] [0, 1].
(1 + x + y + z)3
z e(x
b)
2 +y 2 )
d(x, y, z) , A = {(x, y, z) R3 ; 2(x2 +y 2 ) z 2 , z 0, z
c)
1}.
Z p
x2 + y 2 + z 2 d(x, y, z) , A = {(x, y, z) R3 ;
x2 + y 2 z 4}.
ZA
(x + y 2z) d(x, y, z) , A = {(x, y, z) R3 ; z 2 x2 + y 2 , z 0, z
d)
A
3}.
Z p
n
e)
x2 + y 2 + z 2
d(x, y, z) , A = {(x, y, z) R3 ; x2 + y 2 + z 2
A
a2 } (n N, a R+ ).
f) f (x, y, z) = (x + y + z)2 , A = {(x, y, z) R3 : x2 + y 2 + z 2 1, x2 +
y 2 + z 2 2z}
g) f (x, y, z) = z, A = {(x, y, z) R3 : x2 + y 2 z 2 , 0 z 1}
h) f (x, y, z) = x2 , A = {(x, y, z) R3 : x 0, x2 +y 2 +(z 1)2 1, 4z 2
3(x2 + y 2 )}
p
i)
f (x, y, z) = zy x2 + y 2 A = {(x, y, z) R3 : 0 z x2 + y 2 , 0 y
2x x2 }
j) f (x, y, z) = z, A = {(x, y, z) R3 : x2 + y 2 + z 2 2, x2 + y 2 z}
k) f (x, y, z) = z 2 , A = {(x, y, z) R3 : x2 + y 2 + z 2 R2 , x2 + y 2 + z 2
2Rz}
p
p
l) f (x, y, z) = x2 + y 2 + z 2 , A = {(x, y, z) R3 :
x2 + y 2 z 3}
p
R ax2 /2
8) Demustrese que e
dx = 2/a, donde a > 0.
R
9) Calclese A f en cada uno de los casos siguientes:
2
a 0 f (x, y) = 1, A = {(x, y) R2 ; xa2 +

b 0 f (x, y) = 1, A = {(x, y) R2 ;
x2
4
y2
b2
y2
1}
1, x2 y}
2
c 0 f (x, y, z) = z, A = {(x, y, z) R3 : x2 + y4 + z9 1, z 0}
2
d 0 f (x, y) = exp yx
y+x , A = {(x, y) R : x, y 0, x + y 2}
Captulo 8
Ecuaciones diferenciales
8.1. Ecuaciones diferenciales ordinarias de primer
orden
Sumario
En esta leccin vamos a introducir las ecuaciones diferenciables (e.d.o.). Estas
ecuaciones suelen aparecer en todos los campos de la ciencia y de una forma extaordinariamente prolfica en el campo de la Fsica. El contenido completo de esta
leccin se articula de la siguiente manera:
8.1.1
8.1.2
8.1.3
8.1.4
Ecuaciones diferenciales ordinarias (e.d.o.)

e.d.o. lineal de primer orden.
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 Rn+2 ), entre una funcin desconocida y de una sola variable x y
sus derivadas,
F (x, y(x), y 0 (x), ..., y n) (x)) = 0.
Ejemplos:
(y 0 )2 + 1 = 0 (1)
y
(y 00 )3 + y 2 = 0 (2).
173
174
8.1 Ecuaciones diferenciales ordinarias de primer orden

El orden de una ecuacin diferencial es el de la derivada de mayor orden
contenida en ella. El grado de una ecuacin diferencial es el exponente de la
derivada de mayor orden.
Ejemplo:
La ecuacin (1) es de orden uno y grado 2.
La ecuacin (2) es de orden 2 y grado 3.
Se llama solucin de la e.d.o. de orden n
F (x, y(x), y 0 (x), ..., y n) (x)) = 0
en un intervalo I a toda funcin real f : I R que verifica las siguientes
propiedades:
1) f es n-veces derivable en I.
2) Para cada x I,
(x, f (x), f 0 (x), ..., f n) (x)) D.
3) F (x, f (x), f 0 (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 grfica una curva integral una curva solucin. Sellama 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
iniciales se denominan condiciones iniciales. El problema de encontrar la solucin de la correspondiente e.d.o. que verifica 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(x0 ) = y0 .
El planteamiento de un problema de valores iniciales de una e.d.o. de segundo
orden est sujeto a dos condiciones del tipo y(x0 ) = y0 y y 0 (x0 ) = y1 .
El planteamiento de un problema de valores iniciales de una e.d.o. de orden n
est sujeto a n condiciones del tipo y(x0 ) = y0 , y 0 (x0 ) = y1 , ..., y n1) (x0 ) = yn1 .
Anlisis Matemtico
8.1.2.
175
Teoremas de existencia y unicidad
Cuando se trata de encontrar una solucin particular de la e.d.o. que lo rige y que
cumple las condiones adicionales, parece conveniente que antes de aventurarnos en
la bsqueda de una tal solucin podamos saber si sta existe y una vez garantizada
la existencia, saber si sta es nica. Para la ecuaciones de primer orden tenemos el
siguiente
Teorema 8.1.1. Sea y 0 = f (x, y) , y(x0 ) = y0 un problema de valores iniciales. Si
existe un rectngulo R del plano tal que (x0 , y0 ) Rint y verificando que f, f
y
C(R), entonces existe un intervalo I =]x0 , x0 + [ con > 0 y una nica
funcin y = f (x) definida en I tal que la solucin de la e.d.o. que verifica la
condicin adicional y0 = f (x0 ).
Para las e.d.o. de orden superior disponemos de los siguientes resultados.
Teorema 8.1.2. Sea y n) + pn1 y n1) + ...p1 y 0 + p0 y = F (x) con p0 , p1 , ..., pn , F
funciones continuas en un intervalo abierto I con x0 I y sujeto a n condiciones
del tipo y(x0 ) = y0 , y 0 (x0 ) = y1 , ..., y n1) (x0 ) = yn1 . Entonces el problema de
valores iniciales correspondiente tiene una y slo una solucin y = f (x) definida
en el intervalo I.
Teorema 8.1.3. Sea una e.d.o. lineal de orden n y n) + pn1 y n1) + ...p1 y 0 + p0 y =
0 = 0, donde p0 , p1 , ..., pn son n funciones. Si y1 , y2 , ..., yn son soluciones de la
ecuacin anterior, entonces la combinacin lineal c1 y1, c2 y2 , ..., cn yn tambin es
solucin.
8.1.3.
Lineal de primer orden
Una ecuacin diferencial ordinaria se dice lineal de orden 1 si es de la forma:

y 0 + a(x)y = b(x),
donde b, a : I R, son dos funciones continuas definidas 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 0 (x)/y(x) = a(x), por lo que
log[y(x)] = A(x)
176

donde A(x) es una primitiva de la funcin a(x). Y por tanto cualquier funcin
f (x) = CeA(x) ,
CR
es solucin de la ecuacin.
Si ahora imponemos alguna condicin adicional del tipo y(x0 ) = y0 , la solucin,
quedar determinada de forma nica al quedar determinada la primitiva (todas las
primitivas se diferencian en una constante).
Ejemplo: Resulvase el problema de valores iniciales:
y 0 = ky,
y(0) = 1.
Caso no homogneo:
Es fcil probar que
g(x) = (C + B(x))eA(x) ,
es una solucin de la ecuacin y 0 + 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)eA(x) .
Anlogamente, si fijamos una condicin adicional del tipo y(x0 ) = y0 , la solucin,
quedar determinada de forma nica.
8.1.4.
e.d.o. de orden uno no lineal
Al contrario que en el caso lineal, puede ocurrir que una e.d.o. de orden uno
no tenga solucin, como ocurre con la ecuacin (1,) que un problema de valores
iniciales asociado a una tal ecuacin tenga ms de una solucin. As por ejemplo,
el problema de valores iniciales:
y 0 = (y/x)2 , y(0) = 1
tiene al menos dos soluciones.
La resolucin de estas e.d.o. est supeditado a una clasificacin 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 0 = G(x, y),
Anlisis Matemtico
177
donde G = P (x)Q(y), donde P (x) y Q(y) son dos funciones continuas en sendos
intervalos, I y J, con Q(y) 6= 0, y J.
Se demuestra que una funcin f definida en el intervalo I es solucin de la
ecuacin anterior si satisface la siguiente igualdad, que la define implcitamente:
B(f (x)) = A(x),
donde B es una primitiva de la funcin 1/Q(y) y A es una primitiva de P (x)
Ejemplos: Resolver la ecuacin y 0 = y y el problema de valores iniciales y 0 =
y/x, y(1) = 2.
Tipo II: Ecuaciones diferenciales de primer orden homogneas
Una e.d.o. de primer orden se dice homognea si es de la forma
y 0 = F (y/x),
donde F es una funcin continua en cierto conjunto D R2
Una funcin f es solucin si, y slo si f (x)/x es solucin de la ecuacin de variables
separables u0 = (F (u) u)/x.
Ejemplos: x2 y 0 = y 2 xy + x2 . y y 0 =
x+y
xy
Tipo III: Ecuaciones diferenciales reducibles a homogneas

Las ecuaciones diferenciales de la forma
y0 = F (
Ax + By + C
),
ax + by + c
donde A, B, C, a, b, c R, se pueden reducir a una ecuacin diferencial homognea

teniendo en cuenta las siguientes observaciones:
1) Si ambas rectas Ax + By + C = 0 y ax + by + c = 0 se cortan en el punto
(c, d) entonces se hace el cambio X = x c y Y = y d y se obtiene que
F(
Ax + By + C
= G(Y /X),
ax + by + c
y por tanto Y 0 = 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 0 = a+by 0 por lo que nos resultar una nueva ecuacin diferencial
de vriables separables:
z 0 = Q(z)P (x),
con P (x) constante.
Ejemplos: Resulvanse las ecuaciones: y 0 =
3x+2y
2+x
178

y0 =
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 0 + P (x, y) = 0,
donde P y Q son dos funciones definidas en un abierto D R2 , tales que
pueden obtenerse como derivadas parciales de otra funcin G(x, y), es decir
tales que
G(x, y)
G(x, y)
= Q(x, y),
= P (x, y), (x, y) D.
x
y
En otras palabras, se dice exacta si el campo vectorial F (x, y) = (P (x, y), Q(x, y))
es conservativo, si se quiere, si admite un potencial G. En orden a saber si
una ecuacin es no exacta usaremos toda la artillera desarrollada en el tema
6.2.
Si la e.d.o. es exacta, se tiene que f es solucin de dicha ecuacin si, y slo si
G(x, f (x)) = C, con C R
Ejemplo: Resolver y 0 =
8.1.5.
2xcos(y)+3x2 y
x3 +x2 seny+y
con y(0) = 2.
Otras ecuaciones de primer orden
Ecuacin de Bernouilli
La e.d.o y 0 + 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
u0 + (1 n)P (x)u = (1 n)Q(x).
Resulvase la ecuacin y 0 + y/x = x3 y 3 .
Ecuaciones de otros grados
Ejemplos tpicos de este tipo de ecuaciones son
a 0 (y 0 y)2 (x y)2 = 0
b 0 y = y 0 x + g(y 0 ) (Ecuacin de Clairaut)
c 0 y = y 0 P (x) + Q(x)(y 0 )n
En el primer caso se tiene que y 0 = y (xy), es decir y 0 = x y 0 = 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 0 y se considera la nueva ecuacin con z como variable.
Anlisis Matemtico
179
Se resuelve sta y sale una relacin entre x y z. Se sustituye el resultado en la

ecuacin primera, apareciendo una expresin de y y x en funcin de z. Si se
puede eliminar z, se obtiene la relacin entre x e y.
Resulvanse las ecuaciones
y = 4y 0 + 4y 03 y
y = y 0 x y 03
8.1.6.
Resulvanse las siguientes e.d.o.

a0
b0
c0
d0
e0
2x2 + 2y 2 + (4xy + 3y 2 )y 0 = 0.
3(y 1)2 y 0 = 2 + sen(x).
(y 4 y 2 + 1)y 0 = x3 y y.
(2 + y)y 0 = 2x + 3y.
y 0 = x+y
xy .
8.2. E.D.O. DE SEGUNDO ORDEN
8.2.
181
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 clasificacin 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
8.2.2
8.2.3
8.3.4
e.d.o lineal de segundo orden.

Resolucin de e.d.o. lineales por series de potencias.
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 0 , y 00 ) = 0.
No existe un mtodo general para la solucin de cualquier e.d.o. de segundo
orden. Uno de los tipos ms importante es el de e.d.o. lineal de segundo orden
con coeficientes constantes. Una tal ecuacin es de la forma:
y 00 + ay 0 + 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) 6= 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 0
182
8.2. e.d.o de segundo orden

caso homogneo
Si y = f (x) = emx es solucin de una e.d.o. lineal de segundo orden con
coeficientes constante homognea, entonces se obtiene que
emx (m2 + am + b) = 0,
y por tanto, y es solucin de la correspondiente e.d.o. si, y slo si,
m2 + am + b = 0.
Esta ltima ecuacin recibe el nombre de ecuacin auxiliar. As pues
resulta interesante conocer los posibles valores de m que son soluciones de
la ecuacin auxiliar. Segn el signo del discriminante asociado a la ecuacin
auxilar caben tres posibilidades:
(a) discriminante positivo
Existen dos soluciones reales distintas para la ecuacin auxiliar. Si
m = y m = son las soluciones de la ecuacin, entonces f1 (x) = ex y
f2 (x) = ex son dos soluciones independientes y la solucin general de la
e.d.o linear de segundo orden homognea es
f (x) = Aex + Bex ,
donde A y B son sendas constantes.
Ejemplo
Resulvase la ecuacin y 00 2y 0 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) = ex (A(cos(x) + iBsen(x)),
donde A y B son sendas constantes.
Ejemplo
Resulvase la ecuacin y 00 + 4y 0 + 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)ex
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)ex .
Anlisis Matemtico
183
Ejemplo
Resulvase la ecuacin y 00 4y 0 + 4y = 0.
caso no homogneo
En el caso de la ecuacin no homognea
y 00 + ay 0 + 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 ex g(x) y Q(x) una
primitiva de la funcin ex g(x). Una solucin particular es de la forma
1
y = f (x) =
(ex P (x) ex Q(x)).
As por tanto, la ecuacin general viene dada por
f (x) = Aex + Bex +
1
(ex P (x) ex Q(x)),
para el caso de discriminante positivo y

f (x) = y = eax (A(cos(bx) + iBsen(bx)) +
1
(ex P (x) ex Q(x)),
donde A y B son sendas constantes para el caso con discriminante negativo.

En el caso complejo debe recordarse que eix = (cos(x) + isen(x).
Ejemplo
Resulvase la ecuacin y 00 3y 0 + 2y = cos(3x).
(b) discriminante nulo
Si m = es la solucin de la ecuacin auxiliar y P (x) es una primitiva
de la funcin ex g(x), entonces una solucin particular de la e.d.o linear
de segundo orden no homognea es de la forma
y = ex P (x).
As por tanto, la ecuacin general viene dada por
y = f (x) = (A + Bx)ex + (ex P (x)),
Ejemplo
Resulvase la ecuacin y 00 + 4y 0 + 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 coeficientes 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 coeficientes de dicha serie. En todo el proceso han
de tenerse en cuenta todas las propiedades ya observadas para las funciones
definidas 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:
a0
y 0 = 2y.
b 0 y 00 + y = 0.
c 0 y 00 xy = 0.
d 0 y 000 + xy 0 = 2 + x.
8.2.3.
Algunas e.d.o. interesantes
(1) Ecuacin de Riccati

Es una ecuacin del tipo
y 0 + 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 00 + P (x)z 0 + Q(x)z = 0,
sin ms que hacer el cambio
y = z 0 /z.
As pues y = f (x) es solucin de la ecuacin de Riccati, entonces z =
CeA(x) es solucin de la correspondiente ecuacin de segundo orden, donde
A(x) es una primitiva de f (x). Por otra parte, si se conoce una solucin
particular y0 , la solucin general puede determinarse de la siguiente forma:
a) Escribimos y = y0 + 1/v
b) Derivamos y sustituimos, quedando v 0 (P (x) + 2y0 )v = 1.
Anlisis Matemtico
185
c) Sea ahora R(x) una primitiva de P (x) + 2y0 . Resolvemos la ecuacin,

y obtenemos que v = eR(x) (S(x) + A), donde S(x) es una primitiva de
eR(x) .
Ejemplo: Resulvase la ecuacin y 0 + 2y + y 2 = 0
(2) Ecuacin lineal de Euler
Es una ecuacin del tipo
xn y n) + a1 xn1 y n1) + ... + an1 xy 0 + an y = g(x),
donde a1 , a2 , ..., an1 son constantes.
La sustitucin x = et reduce la ecuacin a otra lineal con coeficientes
constantes en que t es la nueva variable. La nueva ecuacin resultante se
transforma en
y n) + q1 y n1) + ... + qn1 y 0 + qn = g(et ),
donde q1 , q2 , ..., qn son constantes.
Ejemplo: Resulvase la ecuacin x2 y 00 + 6xy 0 + 6y = 1/x2
8.2.4.

Calculo Ingenieria Civil

Cargado por

Información del documento

Descripción:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Descripción:

Copyright:

Formatos disponibles

Calculo Ingenieria Civil

Cargado por

Descripción:

Copyright:

Formatos disponibles

Escuela Tcnica Superior de Ingenieros de Caminos,

Grado en Ingeniera Civil, Obras Pblicas y Transportes

Departamento de Anlisis Matemtico

2. Clculo diferencial en una variable

4. Clculo diferencial en varias variables

4.1.4. Vector gradiente y matriz jacobiana . . . . . . . . . . . . . .

6. Clculo integral en una variable

7. Clculo integral en varias variables

El conjunto de los nmeros reales.

I.1.1 Estructura algebraica.

I.1 El conjunto de los nmeros reales

Ambas operaciones se relacionan entre s de la siguiente manera

Axioma IV: Existe una relacin binaria ()), verificando:

I.1 El conjunto de los nmeros reales

Antes de continuar vamos a resaltar algunas propiedades que son consecuencia

Axioma del supremo.

Sea A un subconjunto de nmeros reales no vaco y z R. Se dice que z es un

2 = Sup{x Q; x2 < 2}.

La recta real: representacin grfica del conjunto R

I.1 El conjunto de los nmeros reales

Llevando la misma unidad de medida hacia la izquierda de cero, se obtiene el resto de

Valor absoluto de un nmero real

Dado un nmero real x, se define su valor absoluto por la siguiente regla

Otros subconjuntos especialmente interesantes son los llamados intervalos, esto

Intervalo cerrado en a y abierto en b, al conjunto

I.1 El conjunto de los nmeros reales

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

Si la expresin decimal de x es tal que an = 0 a partir de un cierto valor p, diremos

2. Dados los nmeros reales x, y, disctase la validez de las siguientes afirmaciones.

4. Prubese que 3 es irracional.

1.2. FUNCIONES ELEMENTALES

Con el fin de hacer una definicin rigurosa necesitamos recordar algunos

1.2. Funciones elementales

Al conjunto A se le suele llamar dominio de la aplicacin f y al conjunto B conjunto

Grfica de una funcin

En ocasiones resulta til tener una imagen fotogrfica de las funciones,

Es claro que el conjunto Graf (f ) es un subconjunto de R2 . Al igual que

Algunas propiedades elementales: Monotona, simetra y

1.2. Funciones elementales

Si A = [2, 3], entonces su grfica puede ser representada por

1.2. Funciones elementales

entonces la grfica de la funcin racional f puede

Se define la funcin Logaritmo neperiano, log, como la nica biyeccin

Funcin logaritmo de base a

Operaciones con funciones.

1.2. Funciones elementales

c) Funcin producto por un escalar a, af :

Llamaremos funcin exponencial, ex , a la funcin inversa del logaritmo

Dados x R+ e y R, convendremos en que

Funcin exponencial de base a

1.2. Funciones elementales

Sus grficas para a = 0, 1 y a = 5 se pueden representar como siguen:

Funciones definidas a trozos. Funciones parte entera y

Como ejemplos ms sencillos veremos los dos siguientes:

Funcin valor absoluto.

1.2. Funciones elementales

Funciones arcocoseno,coseno y seno

f (x) = 1 x2 , x [1, 1].

Pues bien, es sabido que la longitud de dicha grfica es el ' 3, 141592.

La grfica de la funcin coseno es como sigue