Está en la página 1de 161

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL AVELLANEDA

BREVIARIO DE
ANLISIS MATEMTICO I

AUTORAS:
Bindstein, Mirta
Riccitelli, Marina
Righetti, Gabriela

REVISIN:
Boutet, Stella

NDICE
Pg
Introduccin: Conjuntos numricos

Valor absoluto de un nmero real

Cota superior e inferior de un conjunto

Intervalos

Distancia en

Entorno de un punto

Entorno reducido

Clasificacin de puntos de un conjunto

Concepto de funcin

10

Clasificacin de funciones

11

Composicin de funciones

13

Funcin identidad

14

Funcin inversa

15

Estudio de algunas funciones particulares

17

Nocin intuitiva de lmite

36

Lmite finito variable finita

38

Lmites laterales

38

Propiedades de los lmites finitos

40

senx
Teorema: lm
=1
x
x 0
Infinitsimos

42

lgebra de infinitsimos

45

lgebra de lmites finitos

49

Generalizacin del concepto de lmite

51

Continuidad de una funcin en un punto

53

lgebra de funciones continuas

54

Continuidad lateral

54

Continuidad en un intervalo cerrado

55

Derivada de una funcin en un punto

57

Interpretacin geomtrica

60

Recta tangente y recta normal

60

Relacin entre continuidad y derivabilidad

63

Funcin derivada

65

43

Derivadas sucesivas

65

Reglas y frmulas de derivacin

66

Mtodo de derivacin logartmica

72

Derivacin de funciones inversas

74

Diferencial de una funcin en un punto

76

Interpretacin geomtrica

77

Reglas y frmulas de diferenciacin

78

Derivacin de funciones definidas paramtricamente

78

Otra forma de obtener las mismas conclusiones

79

Lmite y derivada de una funcin vectorial

81

Derivacin de funciones definidas en forma implcita

83

Crecimiento y decrecimiento de una funcin

85

Relacin entre el crecimiento y el signo de la derivada primera

85

Extremos absolutos y locales

86

Condicin necesaria para la existencia de extremos relativos

87

Teorema de Rolle

88

Teorema de Lagrange

90

Teorema de Cauchy

91

Concavidad y convexidad de una funcin

92

Relacin entre la concavidad y el signo de la derivada segunda

93

Estudio de funciones

94

Problemas con mximos y mnimos

98

Regla de LHpital

99

Frmula de Taylor y Mac Laurin

101

Sucesiones

105

Integral definida

109

Propiedades de la integral definida

111

Teorema del valor medio del Clculo diferencial

112

Funcin rea o funcin integral

112

Teorema fundamental del clculo integral

113

Concepto de primitiva

114

Regla de Barrow

114

Integral indefinida

114

Teorema: si dos funciones tienen la misma derivada..

116

Propiedades de la integral indefinida

117

Mtodos de integracin

118

Aplicaciones de la integral definida: clculo de reas

134

Integrales impropias

125

Series

138

Propiedades

139

Condicin necesaria de convergencia

139

Series geomtricas

140

Series de trminos positivos

141

Series de funciones

148

Series de potencias

152

Series de Taylor

155

Derivacin e integracin de series de potencias

156

Anlisis Matemtico I- Nmeros reales

NMEROS REALES
Introduccin: Conjuntos numricos
Notacin:
Indicamos con y 0 a los conjuntos de nmeros naturales {1,2,3,....}
{0,1,2,3,...}respectivamente.

Denotamos con al conjunto de nmeros enteros: = {......,-3,-2,-1,0,1,2,3,...}.


Conjunto de nmeros racionales:
Un nmero es racional si y slo si se puede escribir como cociente de dos nmeros enteros tales que el divisor sea distinto de cero.
p

= / p q {0} mcd(p, q) = 1 = {x / x es nmero racional}


q

La expresin decimal de un nmero racional puede ser finita o infinita peridica.


Ejemplos:

235 47
=
(expresin decimal finita)
100 20

35 198 + 35 233
2,353535.... = 2, 35 = 2 +
=
=
(expresin decimal peridica pu99
99
99
ra)

35 3
32
16 90 + 16 106
2,35555... = 2,35 = 2 +
= 2+
= 2+
=
=
(expresin deci90
90
45
45
45
mal peridica mixta)
2,35 =

Se verifica que:
Entre dos nmeros racionales siempre hay otro racional . (Se dice que es un
conjunto denso)
Sin embargo existen nmeros que no son racionales. Podemos demostrar, por
ejemplo, que 2 no puede escribirse como cociente de dos nmeros enteros. Lo
haremos por reduccin al absurdo.
Supongamos que existen dos nmeros enteros p y q (q 0) tales que mcd(p,q)=1,
(es decir: p y q son primos entre s ) y 2 =

p
q

( fraccin irreducible).

Elevemos al cuadrado ambos miembros. Se obtiene : 2 =

p2
p 2 = 2.q 2 p 2 es par
2
q

Anlisis Matemtico I- Nmeros reales

Pero si el cuadrado de un nmero es par, entonces el nmero en cuestin tambin


lo es, es decir : p es par1 existe un nmero entero m / p = 2m.
Resulta p 2 = 4 m 2
Comparando las dos expresiones recuadradas se tiene:
2.q 2 = 4 m 2 q 2 = 2 m 2. q 2 es par q es par.
Sin embargo es absurdo que p y q sean pares porque en ese caso la fraccin sera
simplificable, en contra de lo supuesto. El absurdo provino de suponer que 2 es
racional. En consecuencia: 2 no es racional.

Conjunto de nmeros irracionales:


Los nmeros que llevados a la forma decimal tienen infinitas cifras decimales que
NO se repiten peridicamente no son racionales. Constituyen el conjunto de los
nmeros irracionales que indicaremos con .

A cada nmero racional le corresponde un punto de la recta, pero existen puntos


en la recta que no se corresponden con ningn nmero racional.
Por ejemplo, si se dibuja un tringulo rectngulo issceles con cateto 1, su hipotenusa, por el Teorema de Pitagras, es 12 + 12 = 2 .
Ya probamos que 2 no puede escribirse como cociente de dos nmeros enteros,
y por lo tanto no es un nmero racional. Sin embargo existe un punto en la recta
que se corresponde con 2 . Tambin podemos representar en la recta puntos que
se correspondan con 3 , 5 , etc.

Si intentamos obtener las cifras decimales de 2 , veremos que no se repiten peridicamente. Aqu les presentamos 100 decimales de 2 , obtenidos con el programa Mathematica.
1.41421356237309504880168872420969807856967187537694807317667973799
07324784621070388503875343276415727

En efecto, si p fuese impar, existira un nmero entero k / p = 2 k + 1, entonces sera:


p 2 = ( 2 k + 1 ) 2 = 4 k 2 + 4 k + 1. Por lo tanto p 2 sera impar.

Anlisis Matemtico I- Nmeros reales

Existen otros nmeros cuya expresin decimal consta de infinitas cifras que no se
repiten peridicamente. Por ejemplo:
Obtenemos 3 con 100 decimales
1.73205080756887729352744634150587236694280525381038062805580697945
19330169088000370811461867572485757
5 con 100 decimales
2.23606797749978969640917366873127623544061835961152572427089724541
0520925637804899414414408378782275
con 200 decimales
3.14159265358979323846264338327950288419716939937510582097494459230
781640628620899862803482534211706798214808651328230664709384460955
058223172535940812848111745028410270193852110555964462294895493038
196
Conjunto de nmeros reales: = 
Al representar los nmeros reales sobre la recta, sta queda totalmente cubierta.
A cada punto de la recta le corresponde un nmero real y a cada nmero real le
corresponde un punto de la recta.
tambin es un conjunto denso.

Valor absoluto o mdulo de un nmero real:


a

si a 0

si a < 0

Sea a : | a | =

(| a | se lee valor absoluto o mdulo de a )

El valor absoluto de un nmero real representa su distancia al cero.


Propiedades:
1) a :| a | 0 |
| a| = 0 a=0
2) a : | a | a | a |
3) a , b : | a + b | | a | + | b |
4) a , b : | a b | | a | | b |
5) a , b : | a . b | = | a | . | b |
6) Si k + : | a | k k a k
7) Si k + : | a | k a k a k
Para tener en cuenta:
a) x 0 + : x 2 =x
b) x : x 2 = x

Conclusin:
x : n x n = | x | si n es natural par
x :
par.

si n es natural im-

Anlisis Matemtico I- Nmeros reales

c) x : 3 x 3 = x
Justificacin para el caso n= 2:

x2 =

x2 =

Como x 2 0,
resulta
|x 2 |= x 2

x. x =

Definicin
de cuadrado

x. x =

El mdulo
de un producto es =
al producto
de los mdulos

x =x
2

Definicin
de cuadrado Se puede simplificar
exponente e ndice porque
el radicando es no negativo

Cota superior e inferior de un conjunto.


Dado un subconjunto A de nmeros reales, diremos que k es una cota superior
de A si y slo si todos los elementos de A son menores o iguales que k.
En smbolos:
k es cota superior de A x A: x k

La menor de las cotas superiores se llama supremo. Si pertenece al conjunto se


dice que es un mximo.
Dado un subconjunto A de nmeros reales, diremos que k es una cota inferior
de A si y slo si todos los elementos de A son mayores o iguales que k.
En smbolos:

k es cota inferior de A x A: x k

La mayor de las cotas inferiores se llama nfimo. Si pertenece al conjunto se dice


que es un mnimo.
Un conjunto es acotado si y slo si est acotado superior e inferiormente.
n

1)
(
Ejemplo: Dado A= x / x =
con n , se pide:
n

a) Reconocer elementos de A
b) Dar, si es posible, dos cotas inferiores y dos superiores.
c) Indicar, si existen supremo e nfimo. Decidir si son mximo y mnimo, respectivamente.
d) El conjunto es acotado?

a) Los elementos de A que se obtienen al darle a n valores 1, 2, 3, etc. son:

Anlisis Matemtico I- Nmeros reales

1 1 1 1
1; ; ; ; ;...
2 3 4 5

Como

( 1)
n :

1 , podemos afirmar que cualquier real menor o igual a -1

es cota inferior de A; y cualquier nmero real mayor o igual a 1 es cota superior


de A.
b) 1, que pertenece al conjunto es la mayor de las cotas inferiores, por lo tanto
1 es nfimo y mnimo del conjunto.
La menor de las cotas superiores es

1
1 1
1
, ya que para n>1, . Entonces
es
2
n 2
2

supremo y mximo de A.
c) Como A tiene cota inferior y superior, resulta A acotado.

Intervalos
Como los nmeros reales pueden ponerse en correspondencia con los puntos de
una recta, recprocamente podemos interpretar que un segmento representa un
conjunto de nmeros reales.
Si a , b y a<b, llamaremos intervalo cerrado a,b y lo indicaremos [a,b] al
conjunto de nmeros reales mayores o iguales que a y menores o iguales que b.
Grficamente un intervalo cerrado corresponde a un segmento.
a

[a,b]={x / a x b}
b

Tambin se han establecido nombres y notaciones para otros conjuntos de nmeros reales:

Nombre
Intervalo abierto a,b
Intervalo semiabierto a
recha o semicerrado a
quierda
Intervalo semiabierto a
quierda o semicerrado a
recha

Notacin
(a,b)

Definicin
{ x / a<x <b}

de- [a,b)
iz-

{ x /a x <b}

iz- (a,b]
de-

{ x / a< x b}

Representacin
(
)
a

)
a

(
a

Anlisis Matemtico I- Nmeros reales

El concepto de intervalo se generaliza para representar semirrectas con o sin su


origen
Notacin
[ a , + )

Definicin
{ x / a x }

( a , + )

{ x / a < x }

Representacin
a

(
a

(- , b]

{ x / x b }

(- , b)

{ x / x < b }

)
b

Observaciones:
 El smbolo se lee infinito y no representa un nmero, sino que est
indicando que el conjunto no est acotado. Cuando se escribe + se est
expresando que dado un nmero cualquiera, en el conjunto hay otro mayor.
Si se escribe - , se quiere indicar que dado un nmero cualquiera, en el
intervalo hay uno menor.
 En , el intervalo siempre es abierto
 El conjunto de nmeros reales, que se identifica con la recta, tambin puede escribirse como un intervalo: = ( - , + )

Distancia en :
Dados en la recta dos puntos A y B de abscisas a y b respectivamente la distancia
entre A y B es el valor absoluto de la diferencia entre a y b
A
a

B
b

d(A;B)= |b - a|

Propiedades
La distancia es una funcin que le asigna a cada par de puntos un nmero real
que cumple con las siguientes condiciones:
1) La distancia entre dos puntos cualesquiera del espacio es no negativa .
A,B:( A B d(A,B) 0 )
2) La distancia entre dos puntos es cero si y slo si los puntos son coincidentes.
A,B:( A B [d(A,B)=0 A = B] )
3) Verifica la propiedad simtrica.
A,B: (A B d(A,B)= d(B,A) )
4) Verifica la propiedad triangular.
(A,B, C : A B C d(A,B) + d(B,C) d(A,C) .

Anlisis Matemtico I- Nmeros reales

Entorno de un punto:
Si x 0 es un punto de una recta, se llama entorno simtrico de x 0 de radio o amplitud al conjunto de puntos de la recta que se encuentran a una distancia de x 0
menor que

(////|////)
x 0 - x 0 x 0 +
E(x 0 ;
) ={x /d(x;x 0 ) < }={ x /| x x 0 | < }={x / - < x-x 0 < }
por definicin de distancia

aplicando prop. de mdulo

Resulta: E(x 0 ;)= { x / x 0 - < x < x 0 + }= (x 0 - ;x 0 +)


Sumando x 0 en los tres
miembros de la desigualdad

Por definicin de intervalo abierto.

Un entorno es siempre un intervalo abierto. Adems, cualquier intervalo abierto


puede escribirse como un entorno cuyo centro es el punto medio del intervalo y
cuyo radio es la distancia entre un extremo y el centro. El centro se obtiene como
semisuma de los extremos y el radio como semidiferencia.
b +a b a
;

2
2

(a, b ) = E

3 + (1) 3 (1)
Ejemplo: El intervalo (-1,3) puede escribirse como E
;
=E(1; 2)
2
2

Entorno reducido:
Es el entorno sin su centro . Se indica con una seal, asterisco o coma, junto a la
E. ( E*(x 0 ;) o E(x 0 ;b) y se lee: entorno reducido de centro x0 y radio ).
E*(x 0 ;)=E(x 0 ; )- {a}= {x / d(x;x 0 )< xx 0 }
Si xx 0 , resulta d(x;x 0 )0, entonces:
E*(x 0 ;)= {x / d(x;x 0 )< d(x;x 0 )0}
Pero como la distancia es siempre mayor o igual a cero, si no es cero, slo puede
ser positiva, es decir: E*(x 0 ;) ={ x / 0<d(x;x 0 ) < }.
Si tenemos en cuenta la definicin de distancia, se tiene:
E*(x 0 ;)= {x / 0 < | x x 0 | < }

( //// ////)
x 0 -

x0

x0+

Anlisis Matemtico I- Nmeros reales

Clasificacin de puntos de un conjunto


Sea C
1) x 0 es punto interior de C si y slo si existe al menos un entorno de x 0 totalmente incluido en C.
En smbolos:
x 0 es punto interior de C >0 / E(x 0 ; ) C
Al conjunto de puntos interiores de C lo indicamos C o .
2) Un conjunto es abierto si y slo si todos sus puntos son interiores.
C es abierto C = C o
3) x 0 es punto exterior de C si y slo si existe un entorno de x 0 al que no pertenece ningn elemento de C.
x 0 es punto exterior a C
> 0 / E(x 0 ; ) C =
4) x 0 es punto frontera de C si y slo si no es interior ni exterior.
x 0 es punto frontera de C > 0, x E(x 0 ; ) x E(x 0 ; ) / x C x C
5) Frontera de un conjunto es el conjunto al que pertenecen todos los puntos
frontera del mismo. A la frontera del conjunto C, la indicamos F C .
6) x 0 es punto aislado de C si y slo si x 0 C pero existe un entorno reducido de
x 0 al que no pertenecen puntos de C.
x 0 es punto aislado de C x 0 C > 0 / E * ( x 0 ; ) C =

7) x 0 es punto de acumulacin de C si y slo si cualquier entorno reducido de x 0


tiene interseccin no vaca con C.
En smbolos:
x 0 es punto de acumulacin de C >0 ,E* (x 0 ; ) C
8) Al conjunto de puntos de acumulacin de C, lo llamamos conjunto derivado de
C y lo indicamos C.
9) Un conjunto es cerrado si y slo si le pertenecen todos sus puntos de acumulacin.
En smbolos:

C es cerrado C C

Anlisis Matemtico I- Nmeros reales

Ejemplo:
Consideremos C ={x / | x - 2 | < 3 x=7}
Veamos cmo podemos representar al conjunto:
| x - 2 | < 3 -3 < x-2 < 3 -3 + 2 < x < 3 + 2 -1 < x < 5
Es decir: C = { x /-1<x<5 x = 7}

-1

C o = {x / -1 < x < 5}

FC = {-1,5,7}

7 es punto aislado

C= [ -1, 5]

El conjunto no es abierto ni cerrado.


Adems, C est acotado. 1 es nfimo de C (pero no es mnimo) y 7 es supremo y
mximo del conjunto.

10 Anlisis Matemtico I- Funciones

FUNCIONES
Concepto de funcin:
Ejemplo:
Como todos sabemos muchos satlites artificiales giran en torno a la Tierra. Para
colocarlos en rbitas distintas es necesario poder predecir dnde se encontrarn en un
cierto momento. Una de las frmulas que se utilizan para conocer la posicin de un
satlite en un instante dado, vincula la distancia en kilmetros que existe entre su rbita
y la corteza terrestre con el tiempo en horas que tarda en dar una vuelta completa Dicha
frmula es: h = 10000. 3 0,13. t 2 6500
Este es el grfico:
40,00

35,00

30,00

h (miles de km)

25,00

20,00

15,00

10,00

5,00

0,00
0

10

12

14

16

18

20

22

24

26

-5,00

-10,00

t ( hora)

El enunciado vincula mediante una frmula y un grfico dos magnitudes: altura tiempo. Tambin se podra haber mostrado la misma vinculacin en una tabla o en un
diagrama.
Cualquiera de estos recursos nos permite relacionar dos variables: altura y tiempo. El
tiempo es la variable independiente mientras que la altura es la dependiente. La
variable independiente en este caso puede tomar cualquier valor, por ejemplo, entre las
0 horas de un da y las 24 horas del mismo da. (Se podran considerar intervalos de
tiempo mayores o menores que ese).
En cada instante, durante el da en cuestin, puede saberse a qu altura se encuentra el
satlite; por otra parte, esa altura, en cada caso, es nica. Decimos que la altura es
funcin del tiempo

Anlisis Matemtico I- Funciones

11

Para generalizar esta idea definimos el concepto de funcin.


Consideremos dos conjuntos cualesquiera A y B, no vacos, y un conjunto f de pares
ordenados (x;y) tales que x es elemento de A e y es elemento de B .
Decimos que f es una funcin de A en B si y slo si a cada elemento de A le
corresponde un nico elemento de B.(Se escribe: f:AB)
En smbolos:
f A B

f:A B es funcin x A, y B / (x;y) f (Existencia de la imagen)


(x;y ) f (x;y ) f y = y (Unicidad de la imagen)
1
2
1
2

Trabajaremos con funciones en las que A y B son subconjuntos de . Se llaman


funciones escalares
A es el dominio de la funcin y B su codominio. Los elementos de A son los posibles
valores de la variable independiente que en general suele designarse con x y
representarse sobre el eje de abscisas ( horizontal). Para indicar que en la funcin f , al
elemento x le corresponde el elemento y de B, se escribe y = f(x) que significa
que y es la imagen de x segn la funcin f.
El conjunto de todas las imgenes se llama conjunto imagen. (Im(f)).

Clasificacin de funciones
Consideremos una funcin f : A B
1) f es inyectiva o 1-1 si y slo si elementos distintos del dominio tienen imgenes
distintas. O bien, si y slo si las imgenes de dos elementos son iguales entonces, esos
elementos tambin lo son.
En smbolos: f: A B es inyectiva x1 A, x 2 A :[f (x1 ) = f (x 2 ) x1 = x 2 ]
Ejemplos:
1) f: +0 / f(x) = x2 no es inyectiva pues f(1) = f(-1) pero 1 -1
y

x
Una restriccin adecuada del dominio permite convertir una funcin que NO es
inyectiva en inyectiva.

12 Anlisis Matemtico I- Funciones


2) f * : +0 / f(x) = x2
a) f * es inyectiva.
En efecto:
Sean x1 R0+ x2 +0 /

f *(x1)= f *(x2) x12 = x22

x12 = x22 , como las bases en


los
radicandos
de
ambos
miembros son NO negativas, es
vlida la simplificacin de
exponente e ndice, entonces
resulta: x1 = x2 y por lo tanto f*
es inyectiva.
Tambin resultara inyectiva si se
tomase como dominio 0 .

x
b) f es sobreyectiva o suprayectiva si y slo si todos los elementos de B son imagen de
algn elemento de A. Es decir , el conjunto imagen coincide con B.
En smbolos :
f: A B es sobreyectiva y B, x A / y = f ( x )
Si nos referimos a los ejemplos anteriores, podemos decir que la primera funcin es
sobreyectiva pues cualquier nmero real positivo es cuadrado de dos nmeros reales y
el cero es el cuadrado de cero.
Es decir, en el ejemplo 1 se defini f: +0 y resulta Im(f) = +0
Si se define f**: , si bien el grfico no se modifica, la funcin no sera
sobreyectiva ya que no existe ningn nmero real tal que su cuadrado sea, por ejemplo,
igual a -1.
c) f: A B es biyectiva f es inyectiva y f es sobreyectiva.
Ninguna de las funciones de los ejemplos anteriores es biyectiva. Para que lo sea
deberemos restringir al mismo tiempo dominio y codominio.
Ejemplo:

f1 : 0 +0 / f1 ( x) = x 2 es biyectiva

En efecto:
i) f1 es inyectiva
Sean x1 0 x2 0 /f 1(x1)= f 1 (x2) x 12 = x 22 x 12 = x 22 x 1 = x 2
Como x1 0 x2 0 , sus mdulos son iguales a sus opuestos es decir: - x1 = - x2
Luego

x1= x2 , de donde f1 es inyectiva.

Anlisis Matemtico I- Funciones

13

ii) f1 es sobreyectiva.
Sea y +0 / y = x 2

y = | x | x = y x = y (Existe pues y +0 )

Si tomamos x 0 / x = y , resulta f1(x) = f1( y ) = ( y ) = y


2

Hemos probado que: y +0 , x = y 0 / y = f1 (x) , por lo tanto f1 es sobreyectiva


De i) y ii) se tiene f1 biyectiva

Composicin de funciones
Ejemplo:
Consideremos dos funciones f:AB y g:BC definidas a travs de estos diagramas

a
b
c
d

C
m

1
2

Podemos pensar en una funcin h:AC / h(x)=g[f(x)]


Es decir , la funcin h podra representarse as:
A
a
b
c
d

La funcin h es la composicin de f con g. Se escribe: g 0 f

C
m
n

14 Anlisis Matemtico I- Funciones


Definicin:
Dadas dos funciones f:AB y g:BC, se llama funcin compuesta a la funcin g 0 f
definida de A en C tal que (g 0 f)(x) = g[f(x)].

Observacin: Para que la composicin sea posible es suficiente que Im(f) D(g).
Con restricciones adecuadas, tambin puede aplicarse la misma idea si Im(f)D(g)
Ejemplos:
1) Sea f: / f(x) = 2x + 1 y g: / g(x) = x2
Como Im(f) = D(g), puede definirse la funcin g0f: /
(g0 f)(x)=g[f(x)]=g(2x+1)=(2x+1)2
Como Im(g) = +0 D(f ) , tambin puede definirse: f0 g: /
(f 0 g )(x)=f[g(x)]=f(x2 )=2x2 +1.
Con este ejemplo podemos concluir adems, que la composicin de funciones no es
conmutativa.

2) Sea f : + / f (x) = ln x y g: +0 / g(x) = x


Observamos que Im(f)= , mientras que Dom(g)= 0 + . , es decir Im(f) no est
incluida en Dom(g) pero como Im(f)D(g) , el dominio de g0 f ser aquel
subconjunto del D(f) tal que su imagen por f sea [0,+); es decir aquellos nmeros
reales cuyo logaritmo natural sea mayor o igual que 0.
Pero: lnx 0 x 1.
Entonces podemos definir: g0 f: [1,+) / (g0 f) (x) = g[f(x)]= - ln x
En cambio, como Im(g)D(f) = , la composicin f0 g no puede realizarse.

Funcin identidad
Dado un conjunto A no vaco, se llama identidad en A a la funcin IdA:AA /
IdA(x)=x, es decir que a cada elemento de un conjunto le asigna como imagen el mismo
elemento.
Si f es una funcin de A en B, se cumple que f 0 IdA = f , y IdB 0 f = f .
Definida de en , la identidad es y = f(x) = x
y

Anlisis Matemtico I- Funciones

15

Funcin inversa
Dada una funcin f:AB , se dice que tiene funcin inversa ( se escribe f -1) si y slo
si existe una funcin de B en A / f0 f -1= IdB y f -1 0 f = Id A.
Observacin importante
Si f no es sobreyectiva, en la inversa habra elementos de B sin imagen; si f no es
inyectiva, en la inversa existiran elementos de B con ms de una imagen, por lo tanto
podemos asegurar que la condicin necesaria y suficiente para que f -1 sea funcin es
que f sea biyectiva

Obtencin de la funcin inversa


Consideremos f: / f(x) = x3 + 1.
Es sencillo deducir del grfico que esta funcin es biyectiva:

Si f: es biyectiva, entonces existe f 1 : / x = f 1 (y) , donde ahora x


representa la imagen e y un elemento del dominio.
Si ( 2;9) pertenece a f , entonces (9;2) pertenece a f 1
Si y = x3 + 1 x = 3 y 1 .
Para evitar problemas en la representacin grfica hacemos un cambio de nombre a las
variables: como en la funcin inversa x representa imgenes, la anotaremos como y;
como y indica un elemento del dominio, lo reemplazaremos por x.
Entonces:
f 1 : / y = f 1 (x) = 3 x 1
Representamos a continuacin, en un mismo grfico la funcin y su inversa:

16 Anlisis Matemtico I- Funciones


y

Observamos que, si se utiliza la misma escala sobre los dos ejes, los grficos son
simtricos respecto de la recta y = x. Adems las curvas, si se cortan, lo hacen sobre
dicha recta.
Resulta sencillo comprobar que la funcin inversa tambin es biyectiva.
Si una funcin NO es biyectiva, para obtener su funcin inversa deben restringirse
dominio y/o codominio hasta transformarla en biyectiva.
Ejemplo: Se desea obtener la funcin inversa de f: / f(x) = x2 , debemos
restringir dominio y codominio (tal como se vio en pg.12) para transformarla en
biyectiva. Es decir, definimos f1 : 0 +0 / f1 (x) = x 2 . Ya probamos que as definida,
resulta biyectiva. Entonces existe f11 : +0 0 / x = f 11 ( y )
Si y = x2 , entonces | x |= y x = y x = y . Como x 0 x = y
Para facilitar la representacin , cambiamos de nombre las variables; resulta que:
f11 : +0 0 / f11 (x) = x
f(x)

10

Veamos la representacin de ambas funciones:


Se observa, como en el caso anterior, simetra
respecto de la recta y = x

6
4
2
x

-10 -8

-6 -4

-2

-2
-4
-6
-8
-10

f-1

10

Anlisis Matemtico I- Funciones

17

Estudio de algunas funciones particulares


1. - Funcin lineal
f: es una funcin lineal s y slo s f(x) = m x + b.
m= pendiente
b= ordenada al origen.
Excepto las rectas paralelas al eje y que tienen ecuacin x = cte., las dems responden a
una funcin lineal.
Si m=0, la recta es paralela al eje x.
f(x)
f(x)
10

y= - 2 x + 4

2
4

Si m > 0, la recta forma un


ngulo agudo con el
semieje positivo de las x.

y= 2x + 5

10

4
5

x
-10

10

-10

Si m < 0, la recta forma un


ngulo obtuso con el
semieje positivo de las x

x
-10

10

-10

Las rectas paralelas al eje y no representan funciones lineales, ya que a un mismo


elemento del dominio le corresponderan infinitas imgenes.
Excepto las funciones lineales de pendiente 0, las restantes son biyectivas y por lo tanto
tienen inversas, que tambin son funciones lineales.
En efecto:
Consideremos f: /f(x)=y = mx + b con m0
Es fcil ver que f es biyectiva, entonces existe f 1: , tambin biyectiva. Para
obtenerla cambiamos el nombre a las variables ya que lo que en la directa se representa
en el eje de abscisas, en la inversa se representa sobre el eje y.
1
b
x
m
m
1
b
Es decir: f 1: / f-1 (x)= x
m
m

x=my+b x-b = my y =

Busquemos la funcin inversa de f : /f(x)=-2x +5.


Como m = -2 y b=5, resulta que f 1: est definida por: f-1 (x)=

1
5
x
2
2

Representamos ambas funciones en un mismo sistema de ejes cartesianos:

18 Anlisis Matemtico I- Funciones

f(x)

y=f(x)

y=f 1(x)

y=x

2. - Funcin cuadrtica
f: es una funcin cuadrtica s y slo s f(x) = a x2 + b x + c (a0)
Casos particulares:
i)
Representaremos funciones del tipo f: de la forma f(x) = a x2 (a0),
con el objeto de determinar el efecto que produce el coeficiente a.
Vrtice
V=(0;0)
20
15

y=2x2

Eje de simetra:

10

y=x

Conjunto imagen:
a>0Im(f)= +0

0
-5

a<0Im(f)= 0

y = 1 x 2
2

-10
-15

x=0

Si f1(x)= a1x2 y f2(x)=a2x2, siendo


|a1|<|a2|, entonces el grfico de f1 es
ms abierto que el grfico de f2 .

y=-x2

ii) Analizaremos funciones del tipo f : / f (x) = a.x 2 +


Al introducir un trmino independiente, la curva experimenta traslaciones sobre el eje y.

-4

-2

14
y
12
10
1 2
x
8 y=
2
y6 = x 2
4
2
0
-2 0
-4

Vrtice :
2

Conjunto imagen:

f1(x)=x +3
f2(x)=x2

Para f1 : V=(0;3)
f2 : V=(0;0)

Im(f1)= [0,+)

f3(x)=x2-2

f3 :V=(0;-2)

Im(f1)=[-2,+)

x
2

Eje de simetra:
4

Im(f1)=[3,+)

x=0

Anlisis Matemtico I- Funciones

f : / f (x) = a ( x ) estn desplazadas


2

iii) Las funciones de la forma


sobre el eje x.

80

19

y
Vrtice :
Para f1 : V=(2;0)
f2 :V=(0;0)
f3 :V=(-2;0)
Conjunto imagen:
Im(f1)=Im(f2)= [0,+)

60

40

f2(x)=x

2
20

f1(x)=(x-2)2

0
-6

-4

-2

Im(f3)=(-,o]

-20

Eje de simetra:
Para f1 : x= 2
f2 : x=0
f3 : x= -2

f3(x)=-(x2+2)
-40

-60

-80

iii)El caso general, expresado en su forma ms simple, cannica, responde a la


expresin: f : / f (x) = a(x ) 2 + . Esta parbola tendr su vrtice en (;), su
eje de simetra en x= y su conjunto imagen ser [,+), si a>0, o bien (-,] si a <0
Por ejemplo: f: / f (x) = 2(x + 1) 2 + 3

y
10

-10

10

-10

20 Anlisis Matemtico I- Funciones


Si efectuamos las cuentas indicadas obtenemos:
En el ejemplo:
y= -2(x+1)2 + 3

En general:
y= a(x-)2 +

desarrollando el cuadrado del binomio se tiene:


y= -2(x2+2x +1)+3
y= -2 x2 - 4x 2 +3
y= -2 x2 - 4x +1

y=a(x2 -2x + 2)+


y= a x2 -2ax +a 2+
y= a x2 -2ax +(a 2+ )

Si la funcin viene dada por su forma general NO cannica, cmo la llevamos a la


forma ms simple?
Deberemos deshacer las cuentas que acabamos de realizar:
En el ejemplo:

En general:

y= -2 x2 - 4x +1

y= a x2 -2ax +(a 2+ )

Extraemos como factor comn entre el trmino cuadrtico y el lineal, el coeficiente de x2:
y=-2(x2 +2x) +1
y=a(x2 -2x) +(a 2+ )
Dentro del parntesis, sumamos y restamos el cuadrado de la mitad del coeficiente de x:
y=-2(x2 +2x + 1 1) +1
y=a(x2 -2x + 2 - 2 ) +(a 2+ )
Los tres primeros trminos del parntesis corresponden a un trinomio cuadrado perfecto:
y=-2[(x+1)2 1] +1
y=a[(x-)2 -
2 ] +(a 2+ )
Aplicamos propiedad distributiva:
y=a(x-)2 a 2 +(a 2+ )
y= a(x-)2 +

y=-2(x+1)2 +2+1
y = - 2 (x+1)2 +3

Definidas de en , las funciones cuadrticas NO son biyectivas. Sin embargo puede


trabajarse con restricciones del dominio y codominio de tal forma que se transformen
en biyectivas y sea posible calcular las inversas de las funciones que se obtienen
mediante la restriccin.
Ejemplo:
Trabajaremos con la funcin del ejemplo anterior. Ya hemos obtenido su expresin
cannica:
f: / f (x) = 2(x + 1) 2 + 3
Podemos obtener dos funciones biyectivas:
f1 : ( ,1 ] ( ,3 ] / f1 ( x ) = 2 ( x + 1 ) 2 + 3
f2 : [ 1 ,+ ) ( ,3 ] / f2 ( x ) = 2 ( x + 1 )

,y

+3

Existen, por lo tanto, f11 : ( ,3] ( ,1 ] y f21 : ( ,3] [ 1 ,+ ) .

Anlisis Matemtico I- Funciones

21

Para encontrar sus frmulas partimos de : y = 2 ( x + 1 ) 2 + 3


Cambiamos el nombre de las variables:
x = 2 ( y + 1 ) 2 + 3
x 3
= ( y + 1) 2
2

Despejamos y:

| y +1 | =

3x
y +1 =
2

3x
v y +1 =
2

3x
2

Si trabajamos con f1 , debemos obtener imgenes menores o iguales que 1, por lo


tanto: y = 1

3x
2

Es decir, la funcin inversa de f1 es: f11 : ( ,3] ( ,1 ] / f11 ( x ) = 1


y la funcin inversa de f2 es : f21 : ( ,3] [ 1 ,+ ) / f21 ( x ) = 1 +

3x
2

3x
2

f(x)

f(x)
10

10

y=x

y=x
f 2 1
-10

f1

x
10

-10

10

f11

f2
-10

-10

3.- Funcin homogrfica


f: A es homogrfica si y slo si f(x)=

ax + b
cx + d

, con c 0 ax + b k ( cx + d )

(Las condiciones que se imponen obedecen a que en caso de no cumplirse, la funcin se


reduce a una funcin lineal)
Para que el cociente pueda realizarse, debe ser : cx + d 0 , x

d
.
c

d
Entonces: A =
c

Como en el caso de la funcin cuadrtica, analizaremos distintos casos particulares


hasta llegar al ms general.

22 Anlisis Matemtico I- Funciones


a
;
Im(f)= -{0}
x
Independientemente del valor de a, la curva tiene asntota vertical: x=0 y asntota
horizontal: y = 0.
Para reconocer en qu influye a, representaremos :

a) f : {0} / f (x) =

f1 ( x ) =

1
4
; f2 ( x ) =
x
x

; f3 ( x ) =

0 ,5
x

; f4 ( x ) =

1
x

y
10

10

f2

f1
x
-10

x
-10

10

10

-10

-10

10

f3

10

x
-10

10

f4

x
-10

10

-10

-10

Observamos que el signo de a determina en qu cuadrantes estn las dos ramas de la


curva :
a > 0 grfico en cuadrantes 1 y 3.
a < 0 grfico en cuadrantes 2 y 4.
Adems, a mayor valor absoluto de a, la curva crece o decrece menos abruptamente
b) f : { } / f (x) =

1
x

Anlisis Matemtico I- Funciones

Representaremos : f1 ( x ) =

23

1
x4

f2 ( x ) =

1
x+4

fy

Para f2, la asntota


vertical es x=-4 .
El dominio es :
A= -{-4}

Para f1, la asntota


vertical es x=4.
El dominio es
:A= -{4}

f2

-10

-4

10

f1

Observamos que la curva experimenta una traslacin sobre el eje x, por lo que cambia
su asntota vertical.
1
c) f: / f (x) = +
x
En este caso,la traslacin es sobre el eje y. La asntota horizontal es y =. El conjunto
imagen es Im(f)= -{ }.
f1 ( x ) = 3 +

Veamos algunos ejemplos:


f1

1
x

f2 ( x ) = 2 +

1
x

f2

10

10

3
x
-10

10

-10

-10

-2

10

-10

d) El caso general , en su forma cannica, responde a la


a
expresin: f : { } { }/ f (x) = +
, que tiene por asntota horizontal:
x
y=, y por asntota vertical: x=.

24 Anlisis Matemtico I- Funciones


Ejemplo: f ( x ) = 4

3
x 2

(1)
y

10

3
x

-10

10

-10

4 ( x 2 ) 3

Si operamos resulta que f(x)=

x 2

4 x 11
x 2

(2)

Cabe preguntarse entonces, cmo se obtiene la forma cannica si la funcin viene dada
en su forma ms general. En el ejemplo, equivale a preguntarse cmo se pasa de (2) a
(1).
Haremos la divisin de los polinomios y expresaremos la fraccin como la suma entre el
cociente y el resto sobre el divisor.
4 x 11
-4x + 8
0x -3

x-2

4 x 11
3
=4
x 2
x 2

4.- Funcin exponencial


f : es una funcin exponencial si y slo si responde a la forma :f(x)= ax con a>0
y a 1
(Con la condicin a>0 se evitan situaciones tales como (-4)1/2 , y con a 1, tratar una
funcin constante como si fuese una exponencial)

Caractersticas generales (cumpliendo a las condiciones pedidas):


-

f(0)=1
x : a x > 0
Si a > 1: x1 , x2 : [ x1 < x2 f ( x1 ) < f ( x2 )] , es decir, f resulta estrictamente
creciente.
(Pensar que, por ejemplo: 2 2 < 2 3 )

Si 0<a<1: x1 , x2 : [ x1 < x2 f ( x1 ) > f ( x2 )] es decir, f resulta estrictamente


decreciente

Anlisis Matemtico I- Funciones

25

Dadas dos funciones exponenciales f ( x ) = a x


mismo valor de x, resulta :

g( x ) = b x ,

si a< b, para un

Bases
mayores que 1

x>0
f(x)<g(x)

x<0
f(x)>g(x)

entre 0 y 1

f(x)>g(x)

f(x)<g(x)

f(x) = 2x

1
g(x) =
2

5.- Funcin logartmica


Definida de en + , la exponencial f(x) = ax con a > 0 y a 1 es biyectiva, por lo
tanto existe f 1 , definida de + en . Para obtenerla cambiamos el nombre de las
variables en y = a x , es decir , escribimos: x = a y . Luego despejamos y.
y es el exponente al que hay que elevar a para obtener x

y =

loga

26 Anlisis Matemtico I- Funciones


Resulta que llamamos funcin logartmica a la funcin f: + / f (x) = log a x,
con a > 0 y a 1 ( porque es la misma a que es base de la funcin exponencial).
Las caractersticas del grfico de la funcin logartmica dependen de que la base sea
mayor que 1 o que est comprendida entre 0 y 1, y se pueden deducir de la simetra que
existe entre una funcin y su inversa.

y
y=log2 x
y= 2

y=( 0 ,5 ) x
x

y=logo,5 x

6.- Funciones circulares o trigonomtricas


Presentaremos las tres ms usadas.
a) f: / f (x) = sen x

Anlisis Matemtico I- Funciones

27

b) f: / f (x) = cos x

Caractersticas de las funciones seno y coseno:


Seno
[-1,1]

Coseno
[-1,1]

Conjunto
imagen
2
2
Perodo1
Conjunto C0 = {x / x = k, con k }

C0 = x / x = ( 2k + 1) , con k
de ceros
2

x mx
x mx = 2k, con k
x mx = + 2k, con k
2
3

x mn
x mn = + 2k, con k
x mn = - + 2k, con k
2

c)f:A /f(x)= tg x ; A={x / x (2k + 1). }


2

Se dice que f: A es peridica con perodo p ( p ) si y slo si f(x) = f(x+p),siempre que

x A ( x + p) A
2

Con

x mx indicamos los valores de x para los cuales se presenta un mximo del conjunto imagen.

Con

x mn indicamos los valores de x para los cuales se presenta un mnimo del conjunto imagen.

28 Anlisis Matemtico I- Funciones


Caractersticas de la funcin tangente:
Conjunto Imagen = (no es acotada).
Perodo :
Conjunto de ceros : C0 = {x / x = k, con k }
Frmulas usuales de trigonometra:
sen 2 a + cos 2 a = 1
sen a.cos ec a = 1, a k , con k Z
cos a. sec a = 1, a (2k + 1). , con k Z
2
tg a. cot g a = 1, a (2k + 1). a k, con k Z
2
sen a
cos a
1 + tg

= tg a, a ( 2 k + 1 ). , con k Z
2
2

a = sec 2 a, a ( 2 k + 1 ). , con k Z
2

1 + cot g 2 a = cos ec 2 a , a k , con k Z

p+q
pq
p+q
pq
.cos
cos p cos q = 2 sen
.sen
2
2
2
2
pq
pq
sen p sen q = 2 sen
. cos
2
2
1
+
cos
2a
1 cos 2a
cos 2 a =
sen 2 a =
2
2
sen(a b) = sen a. cos b cos a. sen b cos ( a b ) = cos a.cos b sen a . sen b
cos p + cos q = 2 cos

sen ( 2a ) = 2 sen a. cos a

cos ( 2a ) = cos2 a sen 2 a

7.- Funciones circulares inversas


Definida de en , la funcin y = sen x no es inyectiva ni sobreyectiva, pero puede
transformarse en biyectiva con slo restringirla de [- /2, /2] en [-1,1]. Por lo tanto
podemos definir su funcin inversa de [-1,1] en [- /2, /2].
Si y = senx, cambiamos el nombre de las variables: x = sen y .
Para despejar ydebemos definir una nueva funcin:
y es el arco cuyo seno es x

y =

arc sen

Anlisis Matemtico I- Funciones

29

A continuacin mostramos los grfico de ambas funciones y el de la recta y=x respecto


de la cual son simtricos

y=sen x

y=ar csen
x

Con el mismo criterio se define como inversa de f:[0, ] [-1,1]/f(x) = cos x,


a : f- -1:[-1,1][0, ]/ f- -1 (x)=arc cos x.

y
y= ar c cos x

y= cos x

30 Anlisis Matemtico I- Funciones


Para que la tangente admita funcin inversa hay que considerarla definida de(-/2,/2)
en . Su inversa, y= arc tg x se define de en (-/2,/2)

y=t g x

y=ar c t gx
x

8.- Funcin armnica generalizada


Son las funciones del tipo f: definidas por f(x) = A sen(Bx+C), con
A {0} , B + y C
Veamos algunos casos particulares:
a) Sean B=1 y C=0.
Los grficos que se muestran a continuacin corresponden a:
f1 : / f1 (x)= sen x
f 2 : / f 2 (x)= 2 sen x
1
f3 : / f 3 (x)= sen x
2

f2
f1

f3

Observemos que slo se modifica el conjunto imagen:

Anlisis Matemtico I- Funciones

Im(f1)=[-1,1] ,

31

1 1
Im(f2)=[-2,2] , Im(f3)= ,
2 2

En general , si f: es del tipo f(x) = A sen x, resulta Im(f)= [ -|A|, |A|]


|A| recibe el nombre de amplitud.

b) Sean A = 1 y C = 0. Graficaremos en un mismo sistema de ejes cartesianos las


funciones:
f1 : / f1 (x)= sen x

f 4 : / f 2 (x)= sen ( 2 x )

1
f5 : / f 5 (x)= sen x
2

f4

f5

f1

Podemos ver que en este caso se modifica el perodo.


Funcin
f1 : / f1 (x)= sen x

Perodo
p= 2

f 4 : / f1 (x)= sen ( 2x )

p=

1
f5 : / f5 (x)= sen x
2

p= 4

En general, si f: es del tipo f(x) = sen (Bx), resulta que el perodo es p=

2
.
B

B recibe el nombre de pulsacin e indica el nmero de ondas completas que entran


en 2 .

c) Sean A = 1 y B = 1. Los grficos que siguen corresponden a las funciones

32 Anlisis Matemtico I- Funciones


f1 : / f1 (x)= sen x

f 6 : / f 2 (x)= sen x
3

f 7 : / f5 (x)= sen x +
6

f2
f1

f3

Observamos que se produce un corrimiento horizontal ( o desfasaje) de los dos

ltimos grficos a
y respectivamente.
3
6
En general, si f: es del tipo f(x) = sen (x+C), C recibe el nombre de fase
inicial.
Veamos un ejemplo del caso ms general:

Sea g: definida por g(x) = 2sen 3x +


4

En este caso la amplitud es 2, el perodo es p= y la fase inicial es . El


3
4

desfasaje o corrimiento horizontal de la curva es de .


12

12

Anlisis Matemtico I- Funciones

33

8.- Funciones hiperblicas y sus inversas.


Veremos slo tres:
ex e x
a) Sh: / f (x) = Shx =
2
ex + e x
2
x
e e x
c) Th: / f (x) = Thx = x x
e +e
b) Ch: / f (x) = Chx =

Veamos algunas propiedades:


1) Thx =

Shx
( La demostracin es muy simple).
Chx

2) Ch 2 x Sh 2 x = 1
En efecto:
2

e x + e x e x e x e 2x + 2e x e x + e 2x e2x 2e x e x + e2x
Ch x Sh x =

=

=
4
4
2 2
2

e2x + 2e x e x + e 2x e 2x + 2e x e x e 2x 4e x e x
=
=1
4
4

3) Ch 2 x + Sh 2 x = Ch(2x)
2

e x + e x e x e x
e2x + 2e x e x + e 2x + e2x 2e x e x + e 2x
=
=
=
Ch x + Sh x =
+

4
2 2
2

2(e 2x + e2x ) e 2x + e 2x
=
=
= Ch(2x)
4
2

La funcin seno hiperblico es biyectiva de en , por lo tanto admite inversa. Si


Shx se expresa a partir de exponenciales, es lgico pensar que su inversa , que se llama
Argumento Shx, puede expresarse a partir de logaritmos.
En efecto y =Shx = Shy x =

1 + x2 =

e y e y
e 2y 2e y .e y + e 2y
x2 =
2
4

2
4 + e 2y 2e y .e y + e 2y | e 2y + 2e y .e y + e 2y
=
= Ch y
4
4

34 Anlisis Matemtico I- Funciones


Resulta:

x=

e y e y
2

Sumando miembro a miembro


x + 1 + x 2 = e y y = ln x + 1 + x 2 = ArgSh[x]

1 + x2

e y + e y
2

y= Shx

y= x

y= ArgShx

Del mismo modo f: +0 [1, +) / f (x)=Chx es biyectiva y, por lo tanto admite inversa:

f 1 :[1, +) +0 definida por f 1 (x) = ArgChx = ln x + x 2 1

y=Chx

y=x

y=ArgChx

Anlisis Matemtico I- Funciones

35

Tambin g : (1,1) / f (x)=Thx es biyectiva y resulta su funcin inversa


1 1+ x
g 1 : (1,1) / g(x)=ArgThx = ln
.
2 1 x

y=ArgThx

y=x

y=Thx

36 Anlisis Matemtico I: Lmite. Continuidad

LMITE
Una nocin intuitiva del concepto de lmite:
Se utilizan funciones para describir procesos o fenmenos de ndole muy diversa. Es
muy comn volcar en grficos resultados experimentales y unir los puntos obtenidos
mediante curvas de aproximacin que, en general, resultan asociadas a frmulas conocidas. De ah la importancia de saber analizar el comportamiento de un grfico.
El clculo de lmites, que histricamente es posterior al concepto de derivada o integral
en los que est incluido, es una de las herramientas que proporciona el Anlisis Matemtico para el conocimiento de algunas caractersticas de los grficos.
En tanto hablamos de un comportamiento de un grfico, al calcular un lmite puede
darse una de estas situaciones: que sea un nmero ( lmite finito), que sea, en valor absoluto, mayor que cualquier nmero positivo que se nos ocurra (lmite infinito), o que no
podamos definir el comportamiento ( no existe lmite)
Ejemplo:
Consideremos la funcin f: A , con A / f (x) =

x3 1
x 1

Es obvio que A = {1} y que 1 es punto de acumulacin de A.


Nos interesa preguntarnos si, a pesar de no existir f(1) podemos saber a qu valor se
acercan las ordenadas de f(x), si es que se acercan a alguno, cuando x se aproxima
a 1.
A continuacin mostramos una tabla de valores y el grfico de la funcin.
Tabla
x 1.25 1.1 1.01 1.001
f(x) 3.813 3.310 3.030 3.003

1
?

0.999 0.99 0.9


0.5
2.997 2.970 2.710 2.313

Anlisis Matemtico I: Lmite. Continuidad

37

Tanto el grfico como los clculos parecen mostrar que a medida que nos acercamos a
1 con las x, las ordenadas de la funcin se acercan a 3.
Para mostrar esta situacin, escribiremos: lm f ( x ) = lm
x 1

x 1

x3 1
=3.
x 1

Pero...cada vez que calculemos un lmite deberemos hacer una tabla como la que mostramos o representar la funcin? No parece muy cmodo.
Veamos un procedimiento posible de clculo:
Si factorizamos el numerador de f(x) , podemos escribir:
x 3 1 ( x 1 )( x 2 + x + 1 )
f(x)=
=
x 1
x 1

La funcin que se obtiene al simplificar (x-1)


en el numerador y el denominador no es
igual a f(x), por que tiene distinto dominio.
En efecto , esa funcin es:
g: / g(x) = x 2 + x + 1

Para factorizar x3-1, buscamos una raz: x3- 1=0


x=1
Aplicamos Ruffini para dividir x3-1 por x-1
1 0 0 -1
1
1 1 1
1 1 1 0
Entonces: x3-1=(x-1).(x2+x+1)

Sin embargo, el nico punto en el que difieren es para x = 1. Como al calcular un lmite
no nos interesa los que ocurre en el punto sino en sus proximidades, es lcito escribir:
( x 1 ).( x 2 + x + 1 )
= lm ( x 2 + x + 1 ) = 3
x 1
x 1
x 1

lm f ( x ) = lm g ( x ) lm

x 1

x 1

Observacin:

x 1
= 1 , slo si x 1 ,
x 1

por eso la palabra lmite nos autoriza a simplificar.

Entonces, al decir que el lmite de f(x) es 3, cuando x tiende a 1, estamos afirmando que
la funcin se aproxima a 3, cuando x est cerca de 1.
Como las palabras entre comillas resultan matemticamente ambiguas, deberemos ser
ms precisos con la expresin. Aproximarse o acercarse significa acortar distancias, es
decir hacerlas menor que cualquier nmero positivo ya que las distancias no pueden
ser negativas.(Recordemos que distancia entre dos puntos a y b de una recta es | b-a|).
Podemos encarar ahora la definicin formal de lmite funcional finito para variable finita.

38 Anlisis Matemtico I: Lmite. Continuidad

Lmite funcional: (lmite finito-variable finita)

+
Consideremos una funcin f: A / y = f(x) con A y
tambin el punto xo , punto de acumulacin de A.
Decimos que lm f (x) = si y slo si para cualquier nme-

f(x)

x x0

ro positivo , es posible determinar otro nmero positivo


que dependa de , tal que todos los valores de "x" pertenecientes al dominio de f y a un entorno reducido de xo de
amplitud tengan su imagen a una distancia de menor
que .

x0-

x0

x0+

En smbolos
lm f(x) = > 0, ( ) > 0 / x : [x A x E * (x 0 , ) | f(x) |< ]
x x0

Veamos adems, que existen slo dos "formas" de acercarse a xo, por derecha o por
izquierda. Estos dos "caminos" permiten definir el concepto de "lmite lateral". Si los
lmites laterales existen y son distintos, no existe lmite. Si en cambio son iguales, el lmite
existe y es igual a ambos.
Lmites laterales
Consideremos una funcin f:A , con A , y x0 punto de acumulacin de A.
Decimos que el lmite para xx0 por la derecha es d si y slo si para cualquier >0 es
posible determinar un semientorno reducido de x0, con x > x0, tal que las imgenes de
todos los elementos del dominio de la funcin que pertenecen a dicho semientorno se
encuentran a una distancia de d menor que .
y

d +
f(x)

x
x0 x x0 +

En smbolos:
lm f (x) = > 0, ( ) > 0 / x : [x A x < x < x + | f (x) |< ]
+

x x0

Anlisis Matemtico I: Lmite. Continuidad

39

Con el mismo criterio podemos definir lmite por la izquierda:


Decimos que el lmite para xx0 por la izquierda es i si y slo si para cualquier >0
es posible determinar un semientorno reducido de x0, con x < x0, tal que las imgenes de
todos los elementos del dominio de la funcin que pertenecen a dicho semientorno se
encuentran a una distancia de i menor que .
y

i
f(x)

i-

x0-

x x0

En smbolos:
lm f (x) = > 0, () > 0 / x : [x A x < x < x | f (x) | < ]

x x0

Ejemplo:
Consideremos la funcin parte entera de xque se simboliza [x].
La parte entera de un nmero real es el menor de los nmeros enteros entre los que est
comprendido.
Es decir: [1,3]=1 ; [0,6]=0; [-2,3]=-3; [- ]=-4
Al representar grficamente, obtenemos:
lm [ x ] = 1

x 1 +

lm [ x ] = 0

x 1

lm [ x ]
x 1

40 Anlisis Matemtico I: Lmite. Continuidad

Propiedades de los lmites finitos:


Consideremos f: A , con A y x0 punto de acumulacin de A
1) Si lm f ( x ) = entonces existe un entorno reducido de xo en el que la funcin perx x0

manece acotada.
y

x0-

x0

x0+

2) Si lm f ( x ) = y k es un nmero real tal que < k, entonces existe un entorno


x x0

reducido de xo en el que la funcin tambin es menor que k. Con el mismo criterio si


> k, entonces existe un entorno reducido de xo en el que la funcin tambin es
mayor que k.
y

x0

3) Consecuencia:
Si aplicamos la propiedad anterior pensando que k k son cero, podemos asegurar
que:

Anlisis Matemtico I: Lmite. Continuidad

41

Si una funcin tiene lmite finito distinto de cero, para xx0, existe un entorno reducido de x0 en el que la funcin conserva el signo del lmite.
4) Si dos funciones f y g son tales que lm f ( x ) = 1 , lm g( x ) = 2 , siendo 1< 2
x xo

x xo

entonces, existe un entorno reducido de xo en el que f(x) < g(x).

f(x)

2
x
x0

g(x)

5) Consecuencia
Si una funcin admite lmite finito para xx0, ste es nico.
Demostracin: (por reduccin al absurdo)
Supongamos que:
1 < 2, existira, por la propiedad 4), un entorno reducido de x0 en el que: f(x) <f(x)
absurdo

2 < 1, existira, por la propiedad 4), un entorno reducido de x0 en el que: f(x) <f(x)
El absurdo surge de suponer que 1 2. Luego resulta: 1 = 2.
6) Si en un entorno reducido de xo (punto de acumulacin del dominio de dos funciones
f y g) se cumple que f(x) < g(x), entonces lm f ( x ) lm g( x )
x x0

x x0

Observacin: es importante tener en cuenta que a la desigualdad estricta entre las funciones corresponde una desigualdad en sentido amplio para los lmites.
y

g( x)

f ( x)
x0

42 Anlisis Matemtico I: Lmite. Continuidad


7) Sean tres funciones f, g y h tales que en un entorno reducido de xo, se verifica que
f(x) g(x) h(x).
S lm f(x) = lm h(x) = entonces, lm g(x) =
x x0

x x0

x x0

f(x)

g(x)

h(x)

Teorema: El lmite para x0 de


Tesis: lm

x 0

sen x
x

senx
es igual a 1
x

=1

Demostracin.

Consideremos el arco x= AP / 0< x <


OP = 1

Resulta:
O

OM = cos x
AM = sen x
PQ = tg x

Quedaron formados dos tringulos rectngulos y entre ellos, un sector circular.


Se cumple que:

rea OMA < rea OPA < rea OPQ


1
1
1
OM MA < OP x < OP PQ
2
2
2
Multiplicamos por 2 los tres miembros de la desigualdad y reemplazamos:
cosx senx < 1.x < 1.tgx
cosx senx < x <

senx
cosx

Anlisis Matemtico I: Lmite. Continuidad

Como para 0 < x <

43

, se cumple senx >0, dividimos los tres miembros de la desigual-

dad por senx:


cos x <

Observacin: Como cos (-x)= cos x y

x
1
<
sen x cos x

(1)

x
x
x
=
=
sen( x ) sen x sen x

, la relacin (1) tam-

bin es vlida para - < x < 0 .


Invertimos los tres miembros de la desigualdad:
1
senx
senx
1
>
> cosx cosx <
<
cosx
x
x
cosx
1
Como lm cosx = lm
= 1 , por propiedad 7 de los lmites finitos:
x 0
x 0 cosx
sen x
lm
=1
x 0
x
Nota: Podramos haber tomado lmite directamente en la relacin (1) en cuyo caso se
hubiese probado que:
x
lm
=1
x 0 sen x

Algunas aplicaciones:

a) lm

x 0

tg x
x

sen x
sen x
1
= lm cos x = lm

=1
x
x
cos x
x 0
x 0

sen 3 x
3 . sen 3 x
= lm
= 3 .1 = 3
x
3x
x 0
x 0

b) lm

1
multiplicamos numerador
y denominador por 3

Infinitsimos
Una funcin (x)es un infinitsimo para xx0 si y slo s lm ( x ) = 0
x x0

Ejemplos:
f(x) = sen x es infinitsimo para x tendiendo a 0, , 2,...,k.

44 Anlisis Matemtico I: Lmite. Continuidad

2
x

g(x)= x3 x es infinitsimo para x tendiendo a 0 ,a 1y a 1.


y

-1

La funcin h(x)= 0,000001 no es un infinitsimo para ningn valor de x ya que su lmite es siempre 0,0000010.
Importante
Toda funcin con lmite finito para xx0 se puede escribir como su lmite ms otra funcin que es un infinitsimo para xx0.

En efecto:
Consideremos f:A / lm f ( x ) = .Definimos: : A / (x) = f (x) .(*)
x x0

Resulta lm ( x ) = 0 , entonces de (*) se tiene f(x) = + (x), siendo lm ( x ) = 0 .


x x0

x x0

Anlisis Matemtico I: Lmite. Continuidad

45

f(x)

(x)

x
-

x0

lgebra de infinitsimos
1) La suma de dos funciones que son infinitsimos para xx0 es un infinitsimo para
xx0
Hiptesis: lm 1 ( x ) = 0 ; lm 2 ( x ) = 0
x x0

x x0

Tesis: lm (1 ( x ) + 2 ( x ) ) = 0
x x0

Demostracin:
Por definicin de lmite, si:

](1)

](2)

lm 1 ( x ) = 0 > 0 , 1 ( ) > 0 / x : x D x E' ( x0 ; 1 ) 1 ( x ) 0 <

x x0

Del mismo modo, si:

lm 2 ( x ) = 0 > 0 , 2 ( ) > 0 / x : x D x E' ( x0 ; 2 ) 2 ( x ) 0 <

x x0

Si llamamos = mn { 1 ; 2 } , podemos asegurar al sumar miembro a miembro (1) y


(2)que: x : [ x D 1 D 2 x E' ( x0 ; ) 1 ( x ) + 2 ( x ) < 2
'
Como el mdulo de una suma es siempre menor o igual que la suma de los mdulos,
resulta: 1 ( x ) + 2 ( x ) | 1 ( x ) | + | 2 ( x ) |
Por propiedad transitiva podemos asegurar que: 1 ( x ) + 2 ( x ) < '
Es decir, se ha probado que: > 0, = mn{1 ; 2 ) > 0 /
x : [ x D 1 D 2 x E' ( x0 ; ) [ 1 ( x ) + 2 ( x )] 0 < ' ]

Entonces:

lm (1 ( x ) + 2 ( x ) ) = 0

x x0

46 Anlisis Matemtico I: Lmite. Continuidad


2) El producto de dos funciones que son infinitsimos para xx0 es un infinitsimo
para xx0.
Hiptesis: lm 1 ( x ) = 0 ; lm 2 ( x ) = 0
x x0

x x0

Tesis: lm (1 ( x ) 2 ( x ) ) = 0
x x0

Demostracin:
Por definicin de lmite, si:

](1)

](2)

lm 1 ( x ) = 0 > 0 , 1 ( ) > 0 / x : x D x E' ( x0 ; 1 ) 1 ( x ) 0 <

x x0

Del mismo modo, si:


lm 2 ( x ) = 0 > 0 , 2 ( ) > 0 / x : x D x E' ( x0 ; 2 ) 2 ( x ) 0 <

x x0

Si llamamos = mn { 1 ; 2 } , podemos asegurar , si multiplicamos miembro a miembro (1)y(2), que: x : [ x D 1 D 2 x E' ( x0 ; ) 1 ( x ) 2 ( x ) < 2
Como el mdulo de un producto es igual al producto de los mdulos, se tiene:
1 ( x ) 2 ( x ) =| 1 ( x ) | | 2 ( x ) |

Por propiedad transitiva podemos asegurar que: 1 ( x ) 2 ( x ) < '


Es decir, se ha probado que: > 0, = mn{1 ; 2 ) > 0 /
x : [ x D 1 D 2 x E' ( x0 ; ) [ 1 ( x ) 2 ( x )] 0 < ' ]

Entonces:

lm (1 ( x ). 2 ( x ) ) = 0

x x0

3) Producto de un infinitsimo por una funcin acotada


Ejemplo:

Consideremos la funcin f : {0} / f(x) = sen . Veamos su grfico:
x

'

Anlisis Matemtico I: Lmite. Continuidad

47

Observamos que en un entorno reducido de 0 la funcin no est definida y oscila , es



decir / lmsen , aunque la funcin permanece en [-1,1].
x 0
x

Veamos ahora el grfico de g : {0} / g(x) = x sen


x


Vemos que lm x sen =0, ya que si bien la funcin oscila en un entorno reducido
x 0
x
de cero, esa oscilacin es cada vez menor.
Esta observacin es general y da lugar al siguiente teorema:
El producto de un infinitsimo para xx0 por una funcin acotada en un entorno reducido de xo es un infinitsimo para xx0
Hiptesis: lm ( x ) = 0 ;
x x0

f(x)/ x E '(x o ; h) : f (x) < k, con k +

Tesis: lm f ( x ). ( x ) = 0
x x0

Demostracin:
Por definicin de lmite, si:

lm ( x ) = 0 > 0 , 1 ( ) > 0 / x : x D x E' ( x0 ; 1 ) ( x ) 0 < (1)

x x0

Adems , por hiptesis: x E '(x o ; h) : f (x) < k, con k + (2)


Si llamamos = mn { 1 ; h } , podemos asegurar , si multiplicamos miembro a miembro (1)y(2), que: x : [ x D Df x E' ( x0 ; ) ( x ) f ( x ) < k

Como el mdulo de un producto es igual al producto de los mdulos, se tiene: ( x ) f ( x ) =| ( x ) | | f ( x ) |

48 Anlisis Matemtico I: Lmite. Continuidad


Por propiedad transitiva podemos asegurar que: ( x ) f ( x ) < '
Es decir, hemos probado que: > 0, = mn{1 ; h) > 0 /
x : [ x D Df x E' ( x0 ; ) [ ( x ) f ( x )] 0 < ' ]

lm (( x ). f ( x ) ) = 0

Entonces:

x x0

4) Cociente de dos infinitsimos


El cociente de dos infinitsimos puede dar:
a) 0
x2
= lm x = 0 .
x
x 0

Ejemplo: lm

x 0

Se dice que el infitsimo que est en el numerador es de

orden superior. Significa que el infinitsimo del numerador tiende a cero con mayor
velocidad

y=x2

y=x

b)
x

Ejemplo: lm

x 0

1
= .
x 0 x

= lm

Obviamente significa que el infinitsimo del numerador

es de menor grado que el del que est en el denominador.


c) k/ k0, k1
Ejemplo:
x2 4
( x 2 ).( x + 2 )
= lm
= lm ( x + 2 ) = 4
x 2
x 2 x 2
x 2
x 2
lm

d) 1
Ejemplo:
lm

x 0

sen x
=1.
x

En este caso se dice que los infinitsimos son equivalentes. Significa que

en un entorno del punto en el que se da esta situacin las dos funciones son prcticamente iguales.

Anlisis Matemtico I: Lmite. Continuidad

49

y= x

y= sen x

Observacin:
Estos ejemplos muestran que no puede formularse conclusin alguna acerca del cociente
0
es una indeterminacin.
0
0
Los casos de indeterminacin son: , , 0 . , , 1 ,0 0 , 0
0

de infinitsimos. es por eso que

lgebra de lmites finitos


1) Si dos funciones tienen lmite finito para xx0, entonces el lmite de su suma para
xx0 es igual a la suma de sus lmites.
Hiptesis: lm f(x) = 1 ; lm g(x) = 2
x x0

x x0

Tesis: lm ( f(x) + g(x) ) = 1 + 2


x x0

Demostracin:
Por definicin de lmite, si:
lm f (x) = 1 > 0, 1 () > 0 / x : x Df x E *(x 0 ; 1 ) f (x) 1 < (1)

x x0

Del mismo modo, si:


lm g(x) = 2 > 0, 2 () > 0 / x : x Dg x E * (x 0 ; 2 ) g(x) 2 < (2)

x x0

Si llamamos = mn { 1 ; 2 } , podemos asegurar al sumar miembro a miembro (1) y


(2)que: x : [ x Df Dg x E' ( x0 ; ) f ( x ) 1 + g( x ) 2 < 2

'

Como el mdulo de una suma es siempre menor o igual que la suma de los mdulos,
resulta: [ f ( x ) 1 ] + [ g( x ) 2 ] | f ( x ) 1 | + | g ( x ) 2 |

50 Anlisis Matemtico I: Lmite. Continuidad


Por propiedad transitiva, se cumple que: [ f ( x ) + g( x ) ] ( 1 + 2 ) < '
Es decir, se hemos probado que: > 0, = mn{1 ; 2 ) > 0 /
x : [ x D f Dg x E' ( x0 ; ) [ f ( x ) + g ( x )] ( 1 + 2 ) < ' ]

Entonces, por definicin de lmite finito:

lm (f ( x ) + g ( x ) ) = 1 + 2

x x0

2) Si dos funciones tienen lmite finito para xx0, entonces el lmite de su producto
para xx0 , es igual al producto de sus lmites.
Hiptesis: lm f ( x ) = 1 ; lm g( x ) = 2
x x0

x x0

Tesis: lm ( f(x).g(x) ) = 1 . 2 .
x x0

Demostracin:
Vimos que si una funcin tiene lmite finito para xx0 , la funcin se puede escribir
como la suma entre su lmite y otra funcin que es infinitsimo para xx0.

Entonces:
lm f ( x ) = 1 1 ( x ) / f ( x ) = 1 ( x ) + 1 ,siendo lm 1 ( x ) = 0

x x0

x x0

lm g ( x ) = 2 2 ( x ) / g ( x ) = 2 + 2 ( x ) siendo lm 2 ( x ) = 0

x xo

x xo

Entonces podemos escribir:

][

f ( x ). g( x ) = 1 + 1 ( x ) 2 + 2 ( x ) = 1 2 + 1 2 ( x ) + 2 .1 ( x ) + 1 ( x ) 2 ( x )

Tomamos, en ambos miembros, lmite para xx0


lm [ f ( x ). g ( x )] = lm ( 1 . 2 ) + lm ( 1 . 2 ( x )) + lm ( 2 .1 ( x )) + lm ( 1 ( x ). 2 ( x ))

x x0

x x0

x x0

x x0

x x0

es constante

son 0 por ser producto de


infinitsimo por funcin
acotada

Resulta:

lm ( f(x).g(x) ) = 1 . 2

x x0

Enunciamos el resto de las propiedades del lgebra de lmites:

es 0 por ser producto de


infinitsimos

Anlisis Matemtico I: Lmite. Continuidad

51

3) El lmite para xx0 , de un cociente de dos funciones que tienen lmite finito para
xx0 , es igual al cociente de los lmites, siempre que el lmite de la funcin que
est en el denominador sea distinto de cero.
4)Si lm f ( x ) = entonces lm [f ( x ) ]n = n .(Si n es fraccionario, debe ser > 0 )
x x0

x x0

5) Si lm f ( x ) = y k , entonces lm k f ( x ) = k
x x0

x x0

6) Si lm f ( x ) = 1 ; lm g( x ) = 2 , y 1 > 0 1 1 , entonces
x x0

lm f ( x )

x x0

]g( x )

x x0

= 1 2

7) Si lm f (x) = > 0, entonces lm ln[ f ( x )] = ln


x x0

x x0

Generalizacin del concepto de lmite


a) Lmite finito variable infinita. Definicin de asntota horizontal.
Sea f:A , con A , A no acotado
lm f (x) = > 0, () > 0 / x :[x A | x | > | f (x) |< ]
x

f(x)

f(x)

Esta definicin puede dividirse en dos , segn se considere x+ x- .


Decimos que y = es la ecuacin de la asntota horizontal de f si y slo si lm f (x) =
x

52 Anlisis Matemtico I: Lmite. Continuidad


b) Lmite infinito variable finita. Definicin de asntota vertical.
Sea f:A , con A , xo punto de acumulacin de A.

lm f (x) = + > 0, () > 0 / x :[x A x E *(x 0 ; ) f (x) > ]

x x0

f(x)

x0-

x0 x0+
x

Sea g:A , con A , xo punto de acumulacin de A.


lm g(x) = > 0, () > 0 / x :[x A x E *(x 0 ; ) g(x) < ]
x x0

x0- x0 x0+

-
g(x)

Tambin puede definirse lmite infinito (sin signo).1


lm h ( x ) = > 0 , ( ) > 0 / x : [ x A x E' ( x0 ; ) | h ( x ) | > ]
y

x x0

h(x)

x0- x0

x
x0+

h(x)

Decimos que x= a es la ecuacin de la asntota vertical de f si y slo si lm f (x) =


x a

Hay autores que consideran que, en este caso, el lmite no existe.

Anlisis Matemtico I: Lmite. Continuidad

53

c) Lmite infinito, variable infinita


Sea f: A , A y A no acotado.
y

lm f ( x ) = > 0 , ( ) > 0 / x : [ x A x > f ( x ) < ]

x +

-
f(x)

Con el mismo criterio puede definirse lmite igual a menos infinito para x tendiendo a ms
infinito, lmite igual a infinito (sin signo) para x tendidendo a menos infinito, etc.

CONTINUIDAD

Continuidad de una funcin en un punto

Consideremos una funcin f:A , con A , y x0 punto de acumulacin de A.


Decimos que f es continua en x0 si y slo si se cumplen las siguientes tres condiciones:
1) f ( x 0 )
2) lmf ( x) finito
xx

3)

lmf ( x) = f (x0)
xx

Cuando alguna de las condiciones falla, se dice que f es discontinua en x0 . Si es discontinua pero existe lmite finito, la discontinuidad es evitable, en caso contrario es esencial.

Esta funcin presenta una discontinuidad esencial en x=2 pues


lm f(x) =
x 2

54 Anlisis Matemtico I: Lmite. Continuidad

Esta funcin presenta una discontinuidad


evitable en x=1 pues aunque no est definida en ese punto tiene lmite finito cuando x tiende a 1.

Esta funcin presenta una discontinuidad esencial en x=1 pues como los lmites laterales son distintos, no tiene
lmite.

Esta funcin presenta una discontinuidad


evitable en x = 1 porque aunque est definida en 1 y tiene lmite para x tendiendo a
1, ambos valores son distintos.

lgebra de funciones continuas.


La suma (o producto) de dos funciones continuas en x = x0 es una funcin continua
en x = x0.
El cociente de dos funciones continuas en x = x0 es una funcin continua en x = x0
slo si la funcin que figura en el denominador no se anula en x0.

Continuidad lateral
f es continua a derecha en x = x0 si y slo si se cumplen las siguientes tres condiciones:
1) f ( x 0 )
2) lmf ( x) finito
y
xx +
0

f(x0)

3) lmf ( x) = f (x0)
x0

xx +
0

Anlisis Matemtico I: Lmite. Continuidad

55

f es continua a izquierda en x = x0 si y slo si se cumplen las siguientes tres condiciones:

1) f ( x 0 )
2) lmf ( x) finito

f(x0)

xx
0

x
x0

3)

lmf ( x) = f (x0)
xx
0

Continuidad en un intervalo cerrado


f es continua en el intervalo cerrado [a,b] si y slo si: f es continua x (a,b) , f es continua a derecha en a y f es continua a izquierda en b.

Grficamente decir que una funcin es continua en un intervalo cerrado significa decir
que los extremos del arco de curva que la representa estn pegados al arco.
y
f es continua en
[a,b]

g es continua en (a,b) pero no


en [a,b]

x
a
a

Propiedades de las funciones continuas en un intervalo cerrado.


1) Primer teorema de Weierstrass.

Toda funcin continua en un intervalo cerrado permanece acotada en l


En smbolos:
f continua en [a,b] k + / | f (x) | < k, x [a, b]

56 Anlisis Matemtico I: Lmite. Continuidad

2) Segundo teorema de Weierstrass.


Toda funcin continua en un intervalo cerrado alcanza en l un mximo y un mnimo
absoluto.
y

f continua en [a,b] c [a, b] / f (c) es Mx. absoluto

d [a, b] / f (d) es mn . absoluto.


m

b=d

3) Teorema de los ceros de Bolzano


Si una funcin es continua en un intervalo cerrado y tiene valores de distinto signo en
los extremos del mismo, entonces existe por lo menos un punto interior al intervalo en
el que la funcin se anula.
y

H) f continua en [a,b]
Sg[f(a)] Sg [f(b)]
a

T) c (a , b) / f (c) = 0

4) Teorema del valor intermedio


Si f es continua en un intervalo cerrado y k es un nmero comprendido entre el mnimo
y el mximo absoluto que la funcin alcanza en l, entonces existe por lo menos un punto interior al intervalo en el que la funcin es igual a k.
H) f continua en [a,b]
M mximo absoluto de f en [a,b]
m mnimo absoluto de f en [a,b]
k /m<k<M

T) c (a , b) / f (c) = k
y

f(b)

f(a)
x
a

Anlisis Matemtico I : Derivadas y diferenciales.

57

Derivacin de funciones escalares


Derivada de una funcin en un punto
Introduccin:
El clculo diferencial forma, junto con el clculo integral, una de las ramas ms importantes de la Matemtica.
Vivimos en un mundo caracterizado por cambios continuos. Es importante desarrollar mtodos matemticos para cuantificar, describir y pronosticar estos cambios. ste es el propsito del clculo diferencial: es la Matemtica de los cambios.
Todo el clculo diferencial se puede reducir a un concepto fundamental: la razn de cambio. Siempre que dos magnitudes (variables) estn conectadas por una funcin, se puede
estudiar el cambio relativo de una con respecto a la otra. Algunas razones o tasas de cambio tienen nombres especiales: la razn de cambio de la posicin de un vehculo con respecto al tiempo es la velocidad, la razn de cambio del tamao de una persona en relacin
con su edad es la tasa de crecimiento, etc.
Ejemplo:
El combustible de un cohete se quema en 180 seg. En los primeros t segundos (0t180),
el cohete alcanza una altura de t2 km sobre la Tierra. Determinemos la relacin entre variaciones de altura y las correspondientes variaciones de tiempo(tasa de cambio= velocidad
media).
to (seg) t1 (seg) h0 (km) h1 (km) t= t1- t0 h= h1 h km
Vel.media=
(seg.) h0
t seg
( km)
2
1
4
1
-1
-3
3
2
1.5
4
2.25
-0.5
-1.75
3.5
2
1.9
4
3.61
-0.1
-0.39
3.9
2
3
4
9
1
5
5
2
2.5
4
6.25.
0.5
2.25
4.5
2
2.1
4
4.41
0.1
0.41
4.1
Observemos que a medida que los intervalos de tiempo alrededor de 2 seg son menores, la
velocidad media se va acercando a 4 km/seg. Es decir, alrededor del instante t0= 2 seg,
las velocidades medias se van aproximando a 4 km/seg.
En general, la velocidad media en el intervalo [2; t] o [t;2] es v m =

h(t) h(2) t 2 4
=
t 2
t2

Para calcular la velocidad en el instante t0 = 2 seg, deberemos considerar el lmite para t2


de la velocidad media:
t2 4
(t 2).(t + 2)
v(2) = lm
= lm
= lm(t + 2) = 4 (km/seg)
t 2 t 2
t 2
t 2
t2

Anlisis Matemtico I : Derivadas y diferenciales.

58

Interpretemos estas relaciones geomtricamente. Para ello, grafiquemos la funcin h(t)= t2,
con 0t180

h(km)

35000

30000

25000

20000

15000

10000

5000

t(seg)
0
0

20

40

60

80

100

120

140

160

180

200

Como nos interesa trabajar cerca de 2 segundos ampliaremos la parte del grfico que est
remarcada. Hemos dibujado dos rectas secantes, correspondientes a los intervalos [1,2] y
[2,3].

h (km)

t (seg.)
0

Anlisis Matemtico I : Derivadas y diferenciales.

59

Las pendientes de estas rectas secantes corresponden a los cocientes

h
(velocidad media)
t

para cada uno de los intervalos mencionados. Cuando t 0 , las rectas secantes van
deslizndose hasta coincidir ambas. Esta recta lmite tiene, en un entorno de t0 =2 un
solo punto en comn con la curva, el punto (2;4). En esa posicin lmite, que corresponde a
la recta tangente, la pendiente est dada por el lmite para t 0 , del cociente

h
. Es
t

decir, la pendiente de la recta tangente representa la velocidad instantnea para t = 2 seg.


h (km)

t (seg)
0
0

Definicin
y

Sea f: A , con A , y sea x0 interior a A


f(x)
f(x0)

f
Po

x
x0

Se llama derivada de f en xo al lmite, si existe, del cociente incremental

f (x) f (x 0 )
,
x x0

cuando x x 0 .
Este lmite puede ser finito o infinito.

Se dice que f es derivable en x0 si y slo si el lmite del cociente incremental es finito.

60

Anlisis Matemtico I : Derivadas y diferenciales.

En ese caso, se dice que el lmite es la derivada de f en x0 , y se escribe:


f (x) f (x 0 )
dy
f (xo)=Df(xo)= = lm
dx x 0 x x o x x 0

f (x) f (x 0 )
f (x) f (x 0 )
= + o lm
= , se dice que f tiene derivada infinita
x xo
x xo
x x0
x x0

Si lm

en x0.
Interpretacin geomtrica de la derivada de una funcin en un punto
y

f (x) f (x 0 )
(cociente inx x0
cremental), representa la pendiente de la
recta secante a la curva C, representativa
de la funcin.
Cuando x x0 , el punto P resbala
sobre la curva hasta coincidir con P0, la
recta secante alcanza una posicin lmite
que corresponde a la recta tangente.
El cociente

f(x)

Po

f(x0)

t
x
x0

x
x

Entonces, si la recta secante tiende a la recta tangente1, y el cociente incremental tiende a la


derivada, resulta que:
La derivada de una funcin en x0 representa , si existe y es finita, la pendiente de la recta
tangente al grfico de f en Po.

Recta tangente y normal a una curva en un punto

Teniendo en cuenta:
a) la interpretacin geomtrica de la derivada de una funcin en un punto;
b) la ecuacin de la recta que pasa por un punto con pendiente conocida: y y0 =m.(x x0);
c) que si dos rectas perpendiculares tienen pendientes no nulas, el producto de las mismas
es igual a 1, podemos sintetizar en este cuadro cmo se obtienen las ecuaciones de las
rectas tangente y normal2 a C en P0 .
Si el lmite del cociente entonces la ecuacin de la y la ecuacin de la recta
incremental d:
recta tangente es:
normal es:
x=x0
y=f(x0)
+ -

y=f(x0)

f(xo)0

y- f(x0)=f(x0).(x -x0-)

x=x0
y - f(x0)=

1
f (x o )

(x -x0)

En realidad, si f es una funcin derivable en x0, se define como recta tangente al grfico f en el punto
P0=(x0;f(x0)) a la recta a la que pertenece P0 cuya pendiente es f (x0).
2
Recta normal a C en P0 es la recta perpendicular a la recta tangente a C en ese punto.

Anlisis Matemtico I : Derivadas y diferenciales.

61

Ejemplos:
Calcular, si existen las derivadas de cada una de las siguientes funciones en los puntos que
se indican. Hallar, si es posible, la ecuacin de la recta tangente y normal a las respectivas
curvas en esos puntos.
I) f(x) =

1
x

en x0= 1

1
1 x
1
f (x) f (x 0 )
1
lm
= lm x
= lm x
= lm = 1 f(1) = 1
x xo
x 1 x 1
x 1 (1 x)
x 1
x x0
x
La ecuacin de la recta tangente en P0(1;1) es: y 1= -1.(x-1) y= -x +1 +1
y = -x + 2
La pendiente de la perpendicular es m = 1, entonces la ecuacin de la recta normal en
P0(1;1) es: y 1= 1.(x-1)
y= x

n
2
1
x
-2

-1

t
-1
-2

II) g(x)=

x 1 en x0=1
1

3
g(x) g(x 0 )
x 1 0
(x 1) 3
1
lm
= lm
= lm
= lm
= +
2
x xo
x 1
x 1
x 1
x x0
x 1
x 1
(x 1) 3

62

Anlisis Matemtico I : Derivadas y diferenciales.

La ecuacin de la recta tangente en P0(1;0) es: y=0, y la ecuacin de la recta normal es


x=1.
2,5

y
2
1,5
1
0,5

-8

-7

-6

-5

-4

-3

-2

-1

10

-0,5
-1

t
-1,5
-2
-2,5

III) h(x)= -x2 + 4x -1 en x0=2


h(x) h(x 0 )
x 2 + 4x 1 (22 + 4.2 1)
x 2 + 4x 4
(x 2) 2
= lm
= lm
= lm
=0
x xo
x 2
x 2
x 2
x x0
x2
x2
x2
lm

Resulta h(2)=0
La ecuacin de la recta tangente es y=3, y la de la recta normal es x=2

2
1

0
-2

-1

0
-1
-2
-3
-4
-5
-6
-7

Anlisis Matemtico I : Derivadas y diferenciales.

63

IV) j(x)= |2x-4| + 3 en x0 =2

lm

x xo

j(x) j(x 0 )
| 2x 4 | +3 (| 2.2 4 | +3)
2|x2|
= lm
= lm
=
x 2
x 2
x x0
x2
x2

2|x2|
2(x 2)
lm+
= lm+
=2
x 2
x 2 x 2
x
2

=
lm 2 | x 2 | = lm 2(x 2) = 2
x 2
x 2 x 2
x2

j'(2)

Observacin:
Los lmites laterales del cociente incremental reciben el nombre de derivadas laterales.
Para que la funcin sea derivable, las derivadas laterales deben ser finitas e iguales.
10

En xo=2 la funcin no es
derivable, por lo tanto no
admite recta tangente en
(2,3)

9
8
7
6
5
4
3
2
1

0
-2

-1

Si las derivadas laterales son infinitas de distinto signo, el punto se llama de retroceso y en
ese punto el grfico de la funcin tiene semirrecta tangente

Relacin entre continuidad y derivabilidad :

Condicin necesaria para que una funcin sea derivable


Teorema:
Si f es derivable en x0 entonces es continua en x0.
H) f derivable en x0.

T) f continua en x0.

64

Anlisis Matemtico I : Derivadas y diferenciales.

Demostracin:
Por definicin de continuidad, alcanza con probar que

lm f (x) = f (x o )

x x0

En efecto:
f derivable en x0 y es finito el lm

x x0

f (x) f (x 0 )
f (x) f (x 0 )
lm
= f '(x 0 )
x

x
0
x x0
x x0

Pero si una funcin tiene lmite finito se puede escribir como suma de su lmite ms un
infinitsimo, es decir:
f (x) f (x 0 )
= f '(x 0 ) + (x) , con lm (x) = 0
x x0
x x0
f (x) f (x 0 ) = f '(x 0 ).(x x 0 ) + (x).(x x 0 )
f (x) = f (x 0 ) + f '(x 0 ).(x x 0 ) + (x).(x x 0 ) .
Entonces, como se cumplen las hiptesis de las propiedades de los lmites finitos:

lm f (x) = lm f (x 0 ) + lm [f '(x 0 ).(x x 0 )] + lm[(x).(x x 0 )]

x x0

x x0

x x0

cte.

x x0

cte.

lm f (x) = f (x 0 ) + f '(x 0 ).0 + 0. 0 lm f (x) = f (x 0 ) f es continua en x0

x x0

x x0

IMPORTANTE:
La propiedad demostrada es una condicin necesaria para que una funcin sea derivable,
pero no es suficiente; la propiedad recproca no es cierta.

Una funcin puede ser continua en un punto pero NO ser derivable en l.


Ejemplo:
j(x) = |2x- 4 | + 3 en x0=2 (ver que no es derivable en pg 63)
Sin embargo, es continua , ya que j(2)=3 y lm(| 2x 4 | +3) = 3 , ya que:
x 2

lm (| 2x 4 | +3) = 3 , y

x 2+

lm (| 2x 4 | +3) = 3

x 2

Anlisis Matemtico I : Derivadas y diferenciales.

65

Funcin derivada

La derivada de una funcin en un punto, si existe, es un nmero.


Consideremos f:A y sea B el subconjunto de A formado por los elementos del
dominio de f en los que f es derivable.

Es decir: B= a A / y es finito

lm
x a

f (x)f (a)
x a

Podemos definir una nueva funcin de B en tal que a cada elemento a de B le asigne
como imagen el correspondiente valor del lmite del cociente incremental, es decir, el valor
de f (a). Esta funcin recibe el nombre de funcin derivada de f.
f (x) f (a)
x a
x a

Entonces, la funcin derivada de f es : f: B / f(a) = lm

Ejemplo:
Consideremos f(x) = sen x, y calculemos el valor de su derivada para un punto a genrico.
f (x) f (a)
sen x sen a
f '(a) = lm
x a
x a
x a
x a

f '(a) = lm

Como sen p sen q = 2 sen

f '(a) = lm
x a

2sen

pq
p+q
cos
, resulta:
2
2

x a
x+a
xa
.cos
sen
2
2 = lm 2
2 .cos x + a = cos 2a = cos a
x a
xa
x a
2
2
.2
2
1
multiplicamos y dividimos
el denominador por 2

Resulta que la funcin derivada de f(x) = sen x es f (x)= cos x

Derivadas sucesivas

En tanto definimos a f como la funcin derivada de f, podemos definir, con el mismo criterio, la derivada de f , que llamaremos derivada segunda de f e indicaremos f , a la derivada de sta (f ), y as sucesivamente. podemos definir, si existe, la derivada n-sima de
f.

66

Anlisis Matemtico I : Derivadas y diferenciales.

REGLAS Y FRMULAS DE DERIVACIN1


FUNCIN
y = u(x)+v(x)

DERIVADA
y= u(x)+v(x)

FUNCIN
y= arc sen x

y= u(x).v(x)

y= u(x).v(x)+u(x).v(x)

y= arc cos x

u(x)
v(x)
y= k. u(x)
y=

y'=

u '(x).v(x) u(x).v '(x)


v 2 (x)
y = k.u(x)
y=0

y= k

y = arc tg x
y = arc sec x
y= arc cosec x

DERIVADA
1
y '=
1 x 2
1
y '=
1 x 2
1
y '=
1+ x 2
y' =

y '=

1
x x2 1

si |x|>1

si |x|>1

y =x

y=1

y = arc cotg x

y=xn

y=n. x n-1

y=Shx

x x 1
1
y '=
1+ x 2
y= Ch x

y=Chx

y= Sh x

y = sen x

2 x
y=cos x

y=Th x

y= Sech2 x

y = cos x

y=- sen x

y= Sech x

y= - Sech x. Th x

y= tg x

y= sec2 x

y = Cosech x

y= Cosech x. Cotgh x

y = sec x

y= sec x. tg x

y= Cotgh x

y= - Cosech2 x

y= cosec x

y= - cosec x. cotg x

y= Arg Shx

y =

y = cotag x

y'=

y = - cosec2 x

y= Arg Chx

y = ex

y= ex

y=Arg Thx

y= ax

y=ax lna

y=(f o g)(x)

y=
y'=

1
x2 +1
1

x2 1
1
y'=
1 x2
y= f u . g x
siendo u = g(x)

1
x
Reglas y frmulas de derivacin

y = ln x

y'=

Las reglas y frmulas son vlidas en los conjuntos en que las funciones estn definidas y son derivables.

Anlisis Matemtico I : Derivadas y diferenciales.

67

Demostraremos a continuacin algunas de las reglas y frmulas de derivacin del cuadro


precedente, que nos permitirn en la mayora de los casos, conocer la derivada de una funcin en distintos puntos sin necesidad de aplicar, cada vez, la definicin.
Deducciones de algunas reglas de derivacin:
a) Derivada de una suma de funciones
Hiptesis: f(x)= u(x) + v(x)
u(x) y v(x) derivables en x=a

Tesis: f (a)= u(a)+ v(a)

Demostracin:
Por def. de derivada

f ' (a) = lm
x a

f ' (a) = lm
x a

f (x) f (a)
xa

f '(a) = lm
x a

[u(x) u(a)] + [v(x) v(a)]


xa

[u(x) + v(x)] [u(a) + v(a)]


xa

= lm
x a

u(x) u(a)
xa

+ lm
x a

v(x) v(a)
xa

Por prop. lmites finitos

Como u y v son derivables en x= a, resulta : f(a) = u '(a) + v '(a)

b) Derivada de un producto de funciones


Hiptesis: f(x)= u(x) . v(x)
u(x) y v(x) derivables en x=a

Tesis: f (a)= u(a).v(a)+ u(a).v (a)

Demostracin:
f '(a) = lm
x a

f (x) f (a)
xa

f '(a) = lm
x a

u(x).v(x) u(a).v(a)
x a

sumamos y restamos en el

numerador u(a).v(x)

f '(a) = lm
x a

u(x)v(x) u(a).v(x) + u(a)v(x) u(a)v(a)]


xa

Si sacamos factor comn entre los dos primeros trminos de numerador y entre los dos
ltimos y aplicamos lmite de una suma (es posible hacer esto porque existe el lmite finito
de cada trmino), se tiene:

68

Anlisis Matemtico I : Derivadas y diferenciales.

u(x) u(a)
v(x) v(a)
f '(a) = lm
v(x) + lm u(a)

x a
x a
xa
xa
Como se verifican las hiptesis del lmite finito de un producto, resulta:
f '(a) = lm
x a

u(x) u(a)
x a

lm v(x) + lm u(a) lm
x a
x a
x a

v(x) v(a)
xa

Cte.

Por definicin de derivada y teniendo en cuenta que: lm v(x) = v(a) , pues v(x) es contix a

nua en a por ser derivable por hiptesis, se tiene:

f ' (a) = u '(a) . v(a) + u(a) . v '(a)


Consecuencia
Como la derivada de una constante es 0, si f(x)= k.u(x) , al aplicar la frmula obtenida resulta: f (x)= 0.u(x)+ k. u(x).
Es decir:
La derivada de una constante por una funcin , es igual a la constante por la derivada de la
funcin.
c) Derivada de un cociente de funciones

u(x)
, v(a) 0
v(x)
u(x) y v(x) derivables en x=a

Hiptesis: f(x)=

Tesis: f (a)=

Demostracin:
f ' (a) = lm
x a

f (x) f (a)
xa

f '(a) = lm
x a

u(x) u(a)

v(x) v(a)
xa

u '(a).v(a) u(a).v '(a)


2
v (a)

u(x).v(a) u(a).v(x)
v(x).v(a)
= lm
x a
x a

restamos y sumamos en el numerador u(a).v(a)

f ' (a) = lm
x a

u(x)v(a) u(a).v(a) + u(a)v(a) u(a)v(x)]


(x a).v(x).v(a)

Si extraemos factor comn entre los dos primeros trminos del numerador y entre los dos
ltimos y aplicamos la propiedad de la suma de lmites finitos, resulta:

Anlisis Matemtico I : Derivadas y diferenciales.

69

u(x) u(a)
v(x) v(a)
f '(a) = lm
v(a) lm u(a)

x a (x a).v(x).v(a)
x a
(x a).v(x).v(a)

Por propiedades de los lmites finitos, se tiene:

f '(a) = lm
x a

u(x) u(a)
xa

v(x) v(a)
v(a)
u(a)
lm
lm
lm

xa
x a v(x).v(a) x a v(x).v(a) x a
def. de derivada

def. de derivada

(*)

f (a) =

u(a)

v(a)

v(a).v(a)

u(a)
v(a).v(a)

.v(a)

(*) lm v(x) = v(a) pues v(x) es continua en a por ser derivable por hiptesis.
x a

Resulta: f (a)=

u '(a).v(a) u(a).v '(a)


2
v (a)

Deduccin de algunas frmulas de derivacin


a) Derivada de una constante
f(x)= k f '(a) = lm

x a

f (x) f (a)
xa

k k
f ' (a) = lm
=0
x a x a

b) Derivada de una funcin potencial


Hiptesis: f(x) = xn

Tesis: f (x)=n.xn-1

Demostracin:
f '(a) = lm
x a

f (x)f (a)
x n a n
f '(a) = lm
x a x a
x a

Para salvar la indeterminacin podemos aplicar Ruffini en el numerador

1 0 0 0.....0 0 -an
a a2 a3 an-2 an-1 an
1 a a2 a3 ...an-2 an-1 0

xn - an =(x a).(xn-1+a.xn-2+a2.xn-3+...+an-2.x+an-1)

n trminos

70

Anlisis Matemtico I : Derivadas y diferenciales.

Entonces:
tr min os
n


n 1
n 2
2
n 3
n 3 2
n 2
(x a) (x + a.x + a .x + + a .x + a x + a n 1
= n.a n 1
f '(a) = lm
x a
x a
Observacin: La demostracin vale para n natural, pero la frmula es vlida para exponente negativos y racionales

Consecuencia:
Si f(x) =

1 1
1
1
x = x 2 f '(x) = .x 2 =
2
2 x

c) Derivacin de funciones trigonomtricas


c1) Derivada de y = sen x ( ver pg.65)
c2) Derivada de y = cos x (Es y =-senx)
pq
p+q
(La deduccin es similar a la anterior. Usar: cosp - cosq= -2 sen
sen
)
2
2
sen x
c3) y = tg x=
cos x
cos x.cos x sen x.( sen x) cos 2 x + sen 2 x
Derivando como cociente se tiene: y =
=
cos 2 x
cos 2 x
y =

1
= sec 2 x
cos 2 x

c4) y = cotg x=
y =

cos x

sen x

sen x.sen x cos x.cos x sen 2 x cos 2 x


1
=
=
= cot g 2 x
2
2
2
sen x
sen x
sen x

c5) y = sec x =

1
0.cos x 1( sen x)
1 sen x
y' =
=

= sec x.tg x
2
cos x
cos x
cos x cos x

1
sen x
0.sen x 1.cos x
1 cos x
y' =
=

= cos ec x.cot g x
2
sen x
sen x sen x

c6) y = cosec x =

d) Derivada de la funcin logartmica


1
Definicin: e= lm 1 +
n

Anlisis Matemtico I : Derivadas y diferenciales.

71

Hiptesis) f(x)= ln x

Tesis) f (x)=

1
x

Demostracin:

f '(a) = lm
x a

f (x)f (a)
ln x ln a
ln(a +x)ln a
f '(a) = lm
= lm
x a x a
x a
x
x 0

Pero por propiedad de los logaritmos, resulta:

f(a)= lm

x 0

1 x
x
= lm ln 1 +
ln 1 +

x
a x 0
a

1
x

Como el lmite de un logaritmo es igual al logaritmo del lmite, se tiene:


1

x
f (a)= ln lm 1 +
x 0

x
f (a)= ln lm 1 +
x 0

. Multiplicamos y dividimos en el exponente por a:

ax

x
.=ln lm 1 +

x 0
a

1
a

1
1
= ln e a =
a

e) Derivacin de funciones compuestas (Regla de la cadena)


Si f: A / y = f(u)es derivable en u 0 y
g: B A / u = g(x) es derivable en x0 , siendo g(xo)= u0, entonces fog es derivable en xo y
se cumple que:
(f o g ) (xo) = f u(uo). gx (xo)
Demostracin:

f (u) f (u 0 )
= f '(u 0 ) (por def. de derivada)
u u0
u u0

f derivable en uo lm

Pero si una funcin tiene lmite finito para u u0, la funcin puede escribirse como suma
de su lmite ms un infinitsimo para u u0 .
Entonces, y teniendo en cuenta que u = g(x), resulta:

f[g(x)] f[g(x 0 )]
= f '(u 0 ) + (u) con lm (u) = 0
u u 0
g(x) g(x 0 )

Anlisis Matemtico I : Derivadas y diferenciales.

72

De donde: f[g(x)] f[g(x 0 )] = f 'u (u 0 ). ( g(x) g(x 0 ) ) + (u) . ( g(x) g(x 0 ) )


Dividimos ambos miembros por x - xo y tomamos lmite para x xo, aplicando propiedades de los lmites finitos, cuyas hiptesis se verifican:

lm

x x0

f[g(x)] f[g(x 0 )]
g(x) g(x o )
g(x) g(x o )
= lm f 'u (u 0 ). lm
+ lm (u). lm
x
x
x
x
x
x
x
x

0
0
0
0
x x0
x x0
x x0
cte.
gx(x0)
gx(x0)

Analicemos el factor que nos queda: lm (u) .


x x0

Como u = g(x) derivable en xo es continua en x0, luego, cuando xx0, tambin u u0 y


por lo tanto el lmite es 0, ya que es un infinitsimo para uu0 .
Resulta que el lmite planteado en el primer miembro , que es (fo g)(xo) existe y es igual a
f u(uo). gx (xo)
(f o g ) (xo) = fu(uo). gx (xo)
Ejemplo:
Obtener la funcin derivada de cada una de las siguientes funciones compuestas:
a)f(x)= sen(ln x) f(x)=

1
2 sen(ln x)

b)g(x)=sen ln x g(x)= cos ln x

cos(ln x)

1
cos(ln x)
=
x 2x sen(ln x)

1 cos ln x
=
2 ln x x 2x. ln x

Mtodo de derivacin logartmica

Derivacin de funciones exponenciales


f(x)= a u(x) (a>0, a1)

Consideremos

Aplicamos logaritmos a ambos miembros:


lnf(x) = ln [a u(x)] lnf(x) = u(x).lna
1

El log.de una potencia es igual al exponente por el log.de la base

Anlisis Matemtico I : Derivadas y diferenciales.

Derivamos ambos miembros:

1
f '(x) = ln a u '(x)
f (x)

73

Derivada de
una cte.por
una funcin

Resulta: f '(x) = f (x).ln a. u '(x) f '(x) = a u (x ) .ln a . u '(x)

Si u(x) = x, se tiene: f(x) = a x f '(x) = a x .ln a

Si a=e , resulta: f (x) = e u (x ) f '(x) = e u (x ) .u '(x)


Si a = e y u(x) = x:

f (x) = e x f ' (x) = e x

Aplicacin a funciones potenciales exponenciales


Ejemplo:
f (x) = (sen x) x
Si aplicamos ln a ambos miembros y tenemos en cuenta una propiedad de los logatritmos:
ln f (x) = x.ln(sen x)

Derivamos el primer miembro como funcin compuesta y el segundo como producto:


1
1
f '(x) = 1.ln(sen x) + x
cos x.
f (x)
sen x
cos x
cos x

f '(x) = f (x). ln(sen x) + x


f '(x) = (sen x) x . ln(sen x) + x

sen x
sen x

Derivacin de funciones hiperblicas:

1) f(x) = Shx=

1 x
e e x)
2

2) f(x) = Chx =

1 x
e + e x)
2

f '(x) =

1 x
1
e (1)e x ) = ( e x + e x ) = Chx
(
2
2

f '(x) =

1 x
1
e + (1)e x ) = ( e x e x ) = Shx
(
2
2

74

Anlisis Matemtico I : Derivadas y diferenciales.

Shx
Chx.Chx Shx.Shx Ch 2 x Sh 2 x
1
3) f(x) = Thx=
f '(x) =
=
=
2
2
Chx
Ch x
Ch x
Ch 2 x

Derivacin de funciones inversas

Sea f:AB biyectiva / y = f(x), y sea g:BA, su inversa / x = g(y)


Resulta x = g[f(x)] x = (g o f )(x)
Derivando ambos miembros y recordando que el segundo es funcin compuesta, se tiene:
1= gy .f x g ' y =

1
f 'x

Aplicacin a funciones circulares inversas



x ,
2 2

1) f(x) = arc sen x x = sen f (x)

Derivando ambos miembros: 1 = cos f(x) . f(x)


1
1
1
f '(x) =
=
=
cos f (x)
1 sen 2 f (x)
1 x2
Teniendo en cuenta que:

cos2 a + sen2 a = 1 y que x


,
2 2

2) De la misma forma se prueba que si:

f(x) = arc cos x, resulta f(x) =

1 x2

3) f(x) = arc tg x x = tg f (x) . Derivando ambos miembros:


1= sec2 f(x). f (x) f '(x) =

1
. (*)
sec f (x)
2

Como sen2 a + cos 2a= 1 , al dividir ambos miembros por cos2 a , se tiene:

Anlisis Matemtico I : Derivadas y diferenciales.

tg 2 a + 1 =

75

1
1
= sec 2 a sec2 a =
2
cos a
1 + tg 2 a

Reemplazando en (*): f '(x) =

1
1
=
2
1 + tg f (x) 1 + x 2

Aplicacin a la derivacin de funciones hiperblicas inversas


1)

y = Arg Shx x = Sh y

Derivamos ambos miembros:


1 = Chy. y y ' =

1
Chy

Pero: Ch2 a Sh2 a = 1 Cha = 1 + Sh 2 a (**) porque a , Ch(a) 0


Es decir: y=

1
2

1 + Sh y

1
1 + x2

2) De la misma forma se prueba que:


1

y = ArgChx y ' =
x

1
.y '
Ch 2 y
Si en (**) dividimos ambos miembros por Cha y a`licamos proa- distributiva de la divisin con respecto a la sustraccin en el primer miembro, resulta:

3)y = Arg Thx x = Thy . Derivamos ambos miembros: 1 =

1Th2 a =

1
Ch 2 a

Por lo tanto:

1 = (1Th2 y) . y y ' =

1
1
=
2
1 Th y 1 x 2

76

Anlisis Matemtico I : Derivadas y diferenciales.

Diferencial de una funcin en un punto


Consideremos una funcin f derivable en x0; esto significa que existe y es finito el lmite
del cociente incremental.

f (x) f (x 0 )
f (x) f (x 0 )
= f '(x 0 )
= f '(x 0 ) + (x), con lm (x) = 0
x x0
x x0
x x0
x x0
lm

Si una funcin tiene lmite finito para xx0 , entonces puede


escribirse como la suma de su lmite ms un infinitsimo para
xx0

Resulta:

f (x) f (x 0 ) = f '(x 0 ).(x x 0 )+ (x).(x x 0 ), con lm (x) = 0


x x0

Definicin:
Dada una funcin f derivable en xo, punto interior de su dominio, se llama diferencial de f
en el punto x0 con respecto al incremento x al producto de la derivada de f en x0 por
x .
En smbolos:
df(x0; x )= f (x0). x

Resulta entonces que:

y = df (x 0 ; x) + (x).x , con lm (x) = 0


x 0

(Tener en cuenta que x =x - x0 x=x0 + x ; adems si x xo, entonces x 0)


Como el segundo trmino tiende a cero, cuando x 0, se tiene que:
y df(x 0 ; x)

Probaremos que la variacin de la funcin y su diferencial son infinitsimos equivalentes


para x 0.
En efecto: lm

x 0

y
y
1
y f '(x 0 )
= lm
=
lm
=
= 1;si f '(x 0 ) 0

0
df (x 0 ; x)
f '(x 0 ).x f '(x 0 )
x f '(x 0 )

Anlisis Matemtico I : Derivadas y diferenciales.

77

Interpretacin geomtrica:
y
Q

f(x0 +

P0
f(x0)

x )
y

En el dibujo:
df(x0;

x)

df (x 0 ; x) = f '(x 0 ).x = tg .x =

RQ
x

x = RQ

x
x0

x0 + x

df(x0; x) representa la variacin de ordenada de la recta tangente a la curva en P0


(x0; f(x0)), al pasar de x0 a x0 +x. Es una aproximacin de la variacin de la funcin.
Ejemplo:
Calcular usando diferenciales el valor aproximado de e0, 3
Consideremos f(x) = ex; x0 =0 y x=0,3
Resulta: f(xo+x)= f(x0) +y f ( x0 ) + df ( x0 ; x )
Como f (x)= ex y e0=1, se tiene:
e0,5 e0 + e 0 .0 ,3 e 0 ,3 1 ,3
Usando calculadora: e0,3=1,3498588...

y=ex

e0,3

Valor aprox.

78

Anlisis Matemtico I : Derivadas y diferenciales.

Cuanto mayor es x, mayor es el error que se comete

Reglas y frmulas de diferenciacin:

Veamos algunos ejemplos:


1) Diferencial de un producto
Sea f(x) = u(x).v(x), con u y v derivables .
df(x)=d[u(x).v(x)]=[u(x).v(x)] x = [u(x).v(x)+u(x).v(x)]. x
df(x)= u(x).v(x) x + u(x).v(x) x d[u(x).v(x)] =du. v(x) +u(x). dv
du

dv

2) Diferencial de f(x)= lnx


1
df=d(lnx)= x
x
En general, las reglas y frmulas de diferenciacin son idnticas a las de derivacin.

y = sen x dy = d(sen x) = cos x.x


y = x dy = d( x ) =
y = x dy = dx = 1.x

1
2 x

(*)

Se puede redefinir el concepto de diferencial utilizando


dy=f(x). dx f '(x 0 ) =

(*)

dy
(Notacin diferencial de la derivada)
dx x 0

Aplicaciones

Derivacin de funciones definidas paramtricamente


Ejemplo:
x = 2t
Sea y = f(x) definida mediante:
. Para obtener la relacin entre las variables x e y
2
y = 5t
debe eliminarse entre ellas el parmetro t.

Anlisis Matemtico I : Derivadas y diferenciales.

79

x
5
x
De la primera ecuacin sale: t = y = 5. y = x 2 .
2
4
2
5
5
Si nos interesa obtener y(2), hacemos: y= .2.x y '(2) = .2.2 = 5
4
4
Se pretende encontrar esta derivada sin llevar la funcin a su expresin cartesiana:
Como y =

x = 2t dx = 2dt
dy
10t.dt
y
y' =
= 5t
2
dx
2dt
y = 5t dy = 10tdt

Como para que x sea igual a 2, debe ser t=1, se tiene: y '(2) =

dy
= 5.1 = 5
dx t =1

x = x(t)
En general, dada y = f(x) mediante
, se puede obtener
y = y( t )
y=

dy x 't dt x 't
=
=
dx y 't .dt y 't

De la misma forma, para obtener y, que es la derivada de la derivada, procederemos


dy '
as: y " =
.
dx
En el ejemplo: y=

5dt
= 2,5.
2dt

Otra forma de obtener las mismas conclusiones


x = x(t)
Definir y=f(x) en forma paramtrica mediante
con x A es equivalente a
y = y( t )
pensar en una funcin que a cada valor de t A le hace corresponder un par ordenado de
nmeros reales (x(t);y(t)). Es decir, una funcin con dominio A y codominio 2 . Este tipo
de funciones se llaman funciones vectoriales, su dominio es un subconjunto de y su
codominio es n con n 2 .
Cuando en Geometra Analtica se trabaja con la ecuacin vectorial de una recta en el plano,
(x;y)=(x0;y0) + t (a;b) donde (x0;y0) es un punto de la recta, (a;b) un vector no nulo paralelo
a la misma y t un nmero real ( parmetro), en realidad se est definiendo una funcin vec

torial f : 2 tal que f (t) = (x 0 + at; y0 + bt) . Obsrvese que el grfico de la recta, que
est en el plano es un subconjunto de 2 ; ms precisamente es el conjunto de todos los
puntos de 2 que se obtienen como imagen de t . Esto significa que el grfico de la

recta es la representacin del conjunto imagen de f .

80

Anlisis Matemtico I : Derivadas y diferenciales.

Las conclusiones son generales:

x = x(t)
Definir una funcin escalar f en forma paramtrica mediante
con t A
y = y(t)

equivale a dar una funcin vectorial g(t) = ( x(t); y(t) ) definida de A en 2

El grfico de f es el conjunto imagen de g .


Podemos decir que una funcin vectorial g : A 2 viene dada mediante una expre
sin del tipo g(t) = ( x(t); y(t) ) donde A es la interseccin de los dominios de x(t) e y(t)
que se llaman componentes de la funcin vectorial.

Ejemplo:



Dar la funcin vectorial g1 :[0, ] 2 / g1 (t) = (2 cos t; 2sent) es equivalente a decir:
x = 2 cos t
con t [ 0, ] . Para 0 t , se cumple 2 x 2 , 0 y 2

y = 2sent
Teniendo en cuenta que: x 2 + y 2 = 4 cos 2 t + 4sen 2 t = 4(cos 2 t + sen 2 t) = 4.1 = 4 , se tiene que

la imagen de la funcin vectorial g es una semicircunferencia de radio 2 centrada en el ori-

gen de coordenadas, cuya forma escalar es: f1 :[2, 2] 2 / y = f1 (x) = 4 x 2 .


g


Grfico de f1= Imagen de g1

-2

-2x



Si se define g 2 :[, 2] 2 / g 2 (t) = (2 cos t; 2sent) , con un razonamiento similar, se obtiene el grfico de f 2 :[2, 2] / y = f 2 (x) = 4 x 2 , es decir la semicircunferencia del
mismo centro y el mismo radio incluida en el semiplano correspondiente a y 0.


Esto significa que la funcin vectorial g :[0, 2] 2 , definida por g(t) = (2 cos t; 2sent)
tiene como conjunto imagen toda la circunferencia centrada en el origen, de radio 2. Ntese
que ese grfico no corresponde al de una funcin escalar ya que, por ejemplo. para x= 0
corresponden dos imgenes: y= 2 y = -2.
Entonces, podemos concluir que el grfico de cualquier funcin escalar f: A /
y = f(x), puede pensarse como la imagen de una funcin vectorial haciendo x= t; y= f(t); o


sea : g : A 2 / g(t) = (t;f (t)) . Sin embargo, la imagen de una funcin vectorial
puede ser una curva que no se corresponda con el grfico de una funcin escalar.

Anlisis Matemtico I : Derivadas y diferenciales.

81

Lmite y derivada de una funcin vectorial


En tanto las componentes de una funcin vectorial son funciones escalares, podemos aceptar que calcular el lmite de una funcin vectorial equivale a calcular el lmite de cada una
de sus componentes.
Ejemplo:
1
1
sent
sent

lm
; (1 + t ) t = lm
; lm (1 + t ) t = (1; e )
t 0
t

0
t

0
t
t

En cuanto a la derivada, se define en forma similar a la derivada de una funcin escalar y se


calcula derivando cada una de sus componentes:



( x(t); y(t) ) ( x(t 0 ); y(t 0 ) ) = lm ( x(t) x(t 0 ); y(t) y(t 0 ) )
g(t) g(t 0 )
g ( t 0 ) = lm
= lm

t t0
t
t
t t0
0
t t0
t t0
t t0


x(t) x(t 0 )
y(t) y(t 0 )
Entonces g ( t 0 ) = lm
;lm
= ( x(t 0 ); y(t 0 ) )
t t0
t t0
t t0
t t0

Ejemplo:



Consideremos g : 2 / g(t) = (t; t 2 ) . Calculemos g(t) .


Derivando cada componente se tiene: g(t) = (1, 2t) . En particular, se tiene: g(1) = (1; 2) ;

g(2) = (1; 4) y


g(0) = (1; 0) .

Es fcil ver que el conjunto imagen de esta funcin es la parbola y = x2 . En el dibujo se



muestra el conjunto imagen de g y los vectores derivados calculados.


g(2)

g(1)


g(0)

82

Anlisis Matemtico I : Derivadas y diferenciales.

Puede notarse que los vectores resultan tangentes al grfico en los puntos correspondientes.

Esta observacin es general: Si g es derivable en t0 y su vector derivado no es nulo, resulta

tangente a la imagen de g en ( x(t 0 ); y(t 0 ) ) . Por lo tanto, una ecuacin vectorial para la

recta tangente a la imagen de g en ( x(t 0 ); y(t 0 ) ) es :

( x; y ) = (x(t 0 ); y(t 0 )) + (x(t 0 ); y(t 0 )) .


Ahora bien, si el conjunto imagen de g corresponde al grfico de una funcin escalar
y = f(x), derivable en x0=x(t0), como la pendiente de la recta tangente en el punto correspondiente es f(x0) y teniendo en cuenta que el vector ( x(t 0 ); y(t 0 ) ) es paralelo a la recta
tangente, podemos concluir que f(x 0 ) =

y(t 0 )
( si x(t0) 0)
x(t 0 )

Ejemplo:

Sea y= h(x) definida a partir de la funcin vectorial f : A 2 /

f (t) = (1 + ln t; 2t 2 + cos(t 1) ) .


a) Hallar A y f(1)
b) Encontrar el dominio de h
c) Escribir ecuaciones vectoriales y cartesianas paras rectas tangente y normal a


la trayectoria definida por f en f(1) .

9
d) Calcular usando diferenciales el valor aproximado de h .
10
a) El dominio de la funcin vectorial es la interseccin de los dominios de sus componentes. Como el dominio de la primera es + y el de la segunda , resulta A= + .

Adems f (1) = (1 + ln1; 2.12 + cos(1 1)) = (1;3) .
b) Como x(t)= 1+ lnt con t + , resulta x . Por lo tanto Dominio de h= .


c) Obtenemos la funcin derivada de f y la evaluamos en t=1:


1

f(t) = ; 4t sen(t 1) f(1) = (1; 4 ) .
t


Es decir, una ecuacin vectorial para la recta tangente buscada es: X = (1;3) + (1; 4) .

Como un vector perpendicular al vector derivado en t=1 es n = (4, 1) , una ecuacin vecto
rial para la recta normal buscada es X = (1;3) + (4; 1)
Las correspondientes ecuaciones cartesianas son:

Anlisis Matemtico I : Derivadas y diferenciales.

Para la tangente

: x 1 =

Para la recta normal :

83

y3
4x 4 = y 3 y = 4x 1
4

x 1 y 3
1
1
1
13
=
x + = y3 y = x +
4
1
4
4
4
4

d) De la ecuacin cartesiana de la recta tangente se obtiene: h(1)=3 y h(1)=4


Entonces, usando diferenciales se tiene:
9
9
1
9
h h(1) + h(1).x h 3 + 4. h 2, 6
10
10
10
10

Una aplicacin fsica


x(t) = v 0x t

Consideremos la ecuaciones horarias de un objeto en tiro oblicuo:


1 2
y(t) = v 0 y t 2 gt
donde v0x y v0y son las velocidades iniciales en la direccin de los ejes x e y respectivamente y g es la aceleracin de la gravedad.



1

La funcin vectorial s : +0 2 definida por s(t) = v 0x t; v 0y t gt 2 representa el vec2

tor posicin del objeto en el instante t.



1

Su vector derivado s(t) = v 0x ; v 0y g2t = ( v 0x ; v 0y gt ) es el vector velocidad en el


2

instante t.

Derivacin de funciones definidas en forma implcita.


Dada una expresin del tipo F(x;y)=0 que defina una y = ( x ) , interesa obtener y sin despejar.

Ejemplo: Supongamos que: x.ey+ cos(x.y) 2x2.y3 1=0 define y = ( x ) ,interesa obtener
dy
'( x ) =
dx
Primer procedimiento: Derivando y como funcin compuesta
ey+x.ey.y-sen(x.y).[y +x.y]- 4.x.y3 6.x2 .y2.y=0
y[x.ey x sen(xy)-6.x2.y2 ]= -ey + y sen(xy) + 4.x.y3

84

Anlisis Matemtico I : Derivadas y diferenciales.

Luego:

y' =

e y + y sen( xy) + 4xy3


xe y x sen( xy) 6x 2 y 2

Segundo procedimiento: Usando diferenciales


d(x.ey)+ d[cos(x.y)] d[2x2.y3 ]=0
dx.e y + x.d(e y ) sen( xy).d( xy) [ d( 2x 2 ).y3 + 2x 2 .d( y3 ) = 0
e y .dx + x.e y .dy sen( x.y).[ y.dx + x.dy] [ 4.x.y3 .dx + 6.x 2 .y 2 .dy] = 0
dy. x.e y y.sen(xy) 6.x 2 .y 2 = dx. e y + y.sen(xy) + 4.x.y3
como y=

dy
, se tiene:
dx

dy
e y + y sen(xy) + 4xy3
y =
=
dx xe y x sen(xy) 6x 2 y 2

Anlisis Matemtico I: Propiedades de las funciones derivables

85

PROPIEDADES DE LAS FUNCIONES DERIVABLES

Crecimiento y decrecimiento de una funcin

Consideremos f: A , a y b interiores a A
y
f(a)
f(b)
a

f es estrictamente creciente en x=a existe un entorno de a tal que :


x < a f (x) < f (a)
x E(a) :
x > a f (x) > f (a)

f es creciente en x=a existe un entorno de a tal que :


x < a f (x) f (a)
x E(a) :
x > a f (x) f (a)

f es estrictamente decreciente en x=b existe un entorno de b tal que :


x < b f (x) > f (b)
x E(b) :
x > b f (x) < f (b)

f es decreciente en x=b existe un entorno de b tal que :


x < b f (x) f (b)
x E(b) :
x > b f (x) f (b)

Si una funcin crece (o decrece) estrictamente en un punto, tambin lo hace en sentido


amplio. La recproca no es cierta. Una funcin puede crecer (o decrecer) en sentido amplio
y no hacerlo en sentido estricto. (Piense en y = cte)

Relacin entre el crecimiento de una funcin y el signo de la derivada primera

Teorema:
Si f es derivable en x = a y f (a) >0, entonces f es estrictamente creciente en a
H) f derivable en x = a
f (a) >0

T) f estrictamente creciente en a

86

Anlisis Matemtico I: Propiedades de las funciones derivables

Demostracin:
f derivable en x = a existe y es finito el lmite del cociente incremental. Como adems,
f (x) f (a)
por hiptesis, f(a) > 0, entonces lm
> 0. Por una propiedad de los lmites
xa
x a
finitos, si un lmite para xa es distinto de cero, existe un entorno reducido de a en el
que la funcin conserva el signo de su lmite.
Es decir:
f (x) f (a)
> 0 / x E '(a; ) :
> 0 Sg[f (x) f (a)] = Sg[x a]
x a
x < a x a < 0 f (x) f (a) < 0 f (x) < f (a)

f estrictamente creciente en x = a
x > a x a > 0 f (x) f (a) > 0 f (x) > f (a)

El lector podr demostrar, de manera similar, que si la derivada en a" es negativa, la


funcin es estrictamente decreciente.

Extremos absolutos y locales

Consideremos f: A , con A , y

x0 A, x1 A

f (x0) es un mximo relativo o local de f > 0/ x E(x0,) : f(x) f(x0)


y

f(x0)

f(x1)

x1

x0

f(x1) es un mnimo relativo o local de f > 0/ x E(x1,) :f(x) f(x1)


A los mximos y mnimos relativos se los llama extremos relativos o locales.
y

f(b ) es mximo absoluto de f en A f(b) f(x), x A f(b)


f(a ) es mnimo absoluto de f en A f(a) f(x), x A

f(a)
x
a

El mximo y el mnimo absolutos de f en A se llaman extremos absolutos de f en A y, si


existen, son respectivamente, el mximo y el mnimo del conjunto imagen de f.

Anlisis Matemtico I: Propiedades de las funciones derivables

87

El grfico corresponde a una funcin f


definida de [a,b] en

f(c)

f(c) mximo absoluto y relativo.


f(a) mnimo absoluto pero no relativo.
f(d) mnimo relativo pero no absoluto.

f(d)
f(a)
a

Observaciones:
 Los extremos absolutos no tienen porqu ser extremos relativos.
 Si un extremo absoluto se produce en un punto interior del dominio de la funcin, el
extremo es tambin relativo.
 En los puntos de extremo relativo la funcin no es creciente ni decreciente.
 Los extremos absolutos son los mximos y mnimos del conjunto imagen de f.

Condicin necesaria para la existencia de extremos relativos.

Si f(x) es derivable en x = a y f(a) es un extremo relativo, entonces f (a) = 0


Demostracin
f '(a) > 0 f estrict.crec.en x = a
Supongamos que f (a) 0, entonces sera:
absurdo
f
'(a)
<
0

f
estrict.decrec.en
x
=
a

pues en x = a f presenta un extremo y por lo tanto no es estrictamente creciente ni


decreciente.
El absurdo surgi de suponer f (a) 0, luego es f (a) = 0
Importante:
 La condicin es necesaria pero NO suficiente. La derivada puede anularse en puntos en
los que no hay extremos y puede haber extremos en puntos en los que f no es derivable

88

Anlisis Matemtico I: Propiedades de las funciones derivables

Ejemplos:
1) Sea f: / f(x) = x3
y = 3 x2 3 x2 =0 x = 0
0.2

Pero en x= 0 la funcin es estrictamente


creciente

0.1

-2

-1

-0.1

-0.2

-0.3

2) Sea g: / g(x) =| x | presenta un extremo en x = 0 y sin embargo no es derivable


en ese punto.
y

Los puntos del dominio de una funcin en los que la derivada no existe o es nula se llaman
puntos crticos.

Teorema de Rolle

Si f es continua en [a,b] , derivable en (a,b) y se cumple que f(a) = f(b), entonces existe un
punto c interior al intervalo (a,b) en el que se anula la derivada de f.
H) f cont. en [a,b]
f deriv. en (a,b)
f(a) = f(b)

T) c (a,b)/ f(c)=0

Demostracin:
Por el segundo teorema de Weierstrass, toda funcin continua en un intervalo cerrado
presenta en l un mximo (M) y un mnimo (m) absolutos.
Se pueden presentar los siguientes casos:

Anlisis Matemtico I: Propiedades de las funciones derivables

89

I) M = m
En este caso, la funcin sera constante en el intervalo [a,b] y por lo tanto la derivada es
y
cero. Es decir:
M=m f(x) = k , x [a,b] f (x)= 0, x (a,b)
f(a)=f(b)

II.- M m
Se presentan tres posibilidades:

II.a) M = f(a)=f(b) (El mximo se presenta en los extremos del intervalo)


y

Como el mximo se presenta en los extremos, el


mnimo debe presentarse en un punto interior del
intervalo, es decir c (a,b) / m= f(c) . Pero si
un extremo absoluto se presenta en un punto
interior de un intervalo es a la vez relativo.
Como la funcin es derivable en (a,b), por la
condicin necesaria para la existencia de
extremos relativos: f (c) = 0
Es decir, encontramos un punto c interior a (a,b)
en el que se anula f

M=f(a)=f(b)
f(c)
x
a

II.b) m = f(a) =f(b) (El mnimo se presenta en los extremos del intervalo)
y

f(c)

Como el mnimo se presenta en los extremos, el


mximo debe presentarse en un punto interior
del intervalo, es decir c (a,b) /M= f(c) .
Pero si un extremo absoluto se presenta en un
punto interior de un intervalo es a la vez relativo.
Como la funcin es derivable en (a,b), por la
condicin necesaria para la existencia de
extremos relativos: f (c) = 0
Es decir, encontramos un punto c interior a (a,b)
en el que se anula f .

f(a)=f(b)=m
a

II.c).- El mximo y el mnimo absolutos se presentan en puntos interiores al intervalo.


Con un razonamiento similar al seguido en
los dos casos anteriores, podemos asegurar
la existencia de, por lo menos, dos puntos c
y c interiores a (a,b) en los que se anula f

y
f(c)
f(a)=f(b)
f(c )

a c

Como no hay ms posibilidades para considerar, la tesis se cumple.

Anlisis Matemtico I: Propiedades de las funciones derivables

90

Interpretacin geomtrica del teorema de Rolle.


Geomtricamente, el teorema asegura que si f es continua en el [a,b] , derivable en (a,b) y
f(a) =f(b), entonces existe un punto c entre a y b tal que en el punto (c,f(c)), la recta
tangente es paralela al eje x.

Teorema de Lagrange

(o de los Incrementos Finitos , o del Valor medio del clculo diferencial)


Si f es continua en [a,b] , derivable en (a,b) , entonces existe un punto c interior al
intervalo (a,b) tal que la variacin que experimenta la funcin al pasar de a a b es
igual al producto de la derivada de f en dicho punto c por la amplitud del intervalo.
T) c (a,b)/ f(b)-f(a)= f (c).(b-a)

H) f cont. en [a,b]
f deriv. en (a,b)

Demostracin:

f(b)

Consideramos los puntos A (a;f(a)) y B (b;f(b)).


y f (a)
xa
La ecuacin de la recta AB es:
=
f (b) f (a) b a
Si despejamos y, obtenemos:

f
r

f(a)

f (b) f (a)
( x a ) + f (a)
ba
f (b) f (a)
f (b) f (a)
y=
x
a + f (a)
ba
ba
y=

Llamamos r(x) a la funcin lineal cuya representacin grfica es la recta AB, entonces:
r(x) =

f (b) f (a)
f (b) f (a)
x + k con k =
a + f (a)
ba
ba

Por ser una funcin lineal, sabemos que r(x) es continua y derivable x .
Por representar la recta AB, podemos asegurar que: r(a) = f(a) y r(b) = f(b).
Adems r (x) =

f (b) f (a)
, x . (*)
ba

Inventamos una funcin que verifique las hiptesis del Teorema de Rolle:
Definimos (x) = f(x) - r(x)
(x) es continua en [a,b] y derivable en (a,b) por ser resta de funciones continuas y
derivables en esos intervalos

Anlisis Matemtico I: Propiedades de las funciones derivables

91

(a) = f(a) -r(a)=f(a) -f(a) =0

(a)= (b)
(b) = f(b) -r(b)=f(b) -f(b) =0
Por el Teorema de Rolle , aplicado a , podemos asegurar que existe c (a,b) /(c)=0
f (b) f (a)
Como (x)= f (x) r (x)= f (x) por (*)
ba
f (b) f (a)
f (b) f (a)
=0 f (c)=
Entonces: c (a,b) / f (c) ba
ba
Luego:

c (a,b) / f(b) - f(a) = f (c). (b-a)

Interpretacin geomtrica del teorema de Lagrange


(Ver dibujo pgina anterior)
El T. de Lagrange asegura que si f es continua en un intervalo cerrado [a,b] y derivable en
f (b) f (a)
el correspondiente abierto, entonces c (a,b) / f (c)=
ba
El primer miembro representa la pendiente de la recta tangente al grfico de f en el punto
(c;f(c)), mientras que el segundo miembro representa la pendiente de la cuerda cuyos
extremos son (a,f(a)) con (b,f(b)).
Por lo tanto el teorema asegura que:
Si f es continua en un intervalo cerrado [a,b] y derivable en el correspondiente abierto,
entonces existe un punto en el arco representativo de f en (a,b) en el que la recta tangente
es paralela a la cuerda que une los extremos del arco.

Teorema de Cauchy (o del Valor Medio generalizado)

Si f y g son dos funciones continuas en [a,b] y derivables en (a,b) , siendo g (x) no nula en
cualquier punto de (a,b), entonces existe un punto c interior al intervalo tal que el
cociente entre las variaciones de las funciones f y g al pasar de a a b es igual al
cociente de sus respectivas derivadas en dicho punto c.
H) f y g cont. en [a,b];f y g deriv. en (a,b)

T) c (a,b)/

f (b) f (a) f ' (c)


=
g(b) g(a) g' (c)

g(x) 0, x(a,b)
(La demostracin es similar a la del Teorema de Lagrange. La funcin que permite aplicar
el T. de Rolle es (x)=[f(b)-f(a)] .g(x) - [g(b)-g(a)]. f(x)

92

Anlisis Matemtico I: Propiedades de las funciones derivables

Concavidad y convexidad de una funcin


y

f
x

b
a
t

Consideremos una funcin f derivable en x= a y x = b.


f o su grfico representativo es convexo, cncavo hacia las ynegativas o cncavo hacia
abajo en x = a >0/ xE(a,) : f(x) < t(x) , siendo t la funcin cuyo grfico es la
recta tangente a la curva en x = a.
f o su grfico representativo es cncavo, cncavo hacia las ypositivas o cncavo hacia
arriba en x = b >0/ xE(b,) : f(x) >t(x) , siendo t la funcin que cuyo grfico es
la recta tangente a la curva en x = b.
Grficamente significa que la funcin es convexa en A(a;f(a)) si y slo si existe un entorno
reducido de x=a tal que los puntos correspondientes del grfico quedan por debajo de la
recta tangente en A.
(x0 ;f(x0 )) es un punto de inflexin de f f es derivable en x0 y la recta tangente
atraviesa el grfico de f.
Es decir: (x0 ;f(x0 )) es un punto de inflexin de f es derivable en x0
> 0 : [ x E '(x 0 ; ) / f (x) > t(x) x ' E '(x 0 ; ) / f (x ') < t(x)]
y
f(x)
f(x0)
f(x)

t(x)

x x0

Anlisis Matemtico I: Propiedades de las funciones derivables

93

Relacin entre la concavidad de una funcin y el signo de la derivada segunda

Teorema:
Sea f:A , con A , derivable hasta el segundo orden en un entorno de xo, siendo
f " ( x0 ) 0 , entonces si f "(x 0 ) > 0 , la funcin en Po = ( x 0 ; f (x 0 ) ) ,es cncava hacia arriba,
y si f "(x 0 ) < 0 , la funcin en Po = ( x 0 ; f (x 0 ) ) , es cncava hacia abajo.

Para probarlo tendremos que analizar el signo de h(x)=f(x)-t(x) en un entorno reducido de


x0, siendo t(x) la funcin que expresa la recta tangente en Po = ( x 0 ; f (x 0 ) ) , a la curva
representativa de f . Comenzaremos por buscar una expresin de h que facilite el anlisis
del signo.
f(x)
y

La ecuacin de la recta t, tangente en Po es:


y f (x o ) = f '(x o ).(x x 0 )

P0

f(x0 )

t
x0

y = t(x) = f (x o ) + f '(x o ).(x x 0 )


Resulta:
h(x) = f (x) t(x) = f (x) [ f (x 0 ) + f '(x o ).(x x 0 )]
Entonces:
h(x)=f(x) - f (x 0 ) f '(x 0 ). ( x x 0 )

(1)

Por el Teorema de Lagrange,

c entre x y x 0 / f (x) f (x o ) = f '(c).(x x 0 )

Reemplazando en (1):

h(x)= f (c).(x x0) - f (x0) .(x x0)

Si extraemos factor comn se obtiene:


h(x) = (x x 0 ).[f '(c) f '(x 0 )] con c entre x y x0

(2)

Supongamos: f (x0) >0, como la derivada segunda es la derivada de f , si la derivada


segunda es positiva en un punto, f es estrictamente creciente en el mismo, es decir:
x < x 0 f '(x) < f '(x 0 )
> 0 / x E(x 0 ; ) :
x > x 0 f '(x) > f '(x 0 )
Veamos como incide esta situacin en el signo de h(x):
x x 0 < 0 x < x 0 c < x 0 f '(c) < f '(x 0 ) f '(c) f '(x 0 ) < 0
c est entre x y x0

f es estrictamente creciente

x x 0 > 0 x > x 0 c > x 0 f '(c) > f '(x 0 ) f '(c) f '(x 0 ) > 0

Anlisis Matemtico I: Propiedades de las funciones derivables

94

Los dos factores en los que puede descomponerse h tienen el mismo signo. Es decir
h(x)>0, x E(x 0 ; ) f es cncava hacia arriba en P0.
Con el mismo criterio se prueba que si f (x0)<0, f es cncava hacia abajo en P0.
Consecuencia:
Si (x0;f(x0)) es punto de inflexin, entonces f(x0)=0
La condicin es necesaria pero no suficiente. La anulacin de la derivada segunda NO
permite asegurar la existencia de un punto de inflexin.
Ejemplo: y = x4, y = 4x3 , y= 12 x2 , Es obvio que y(0)=0 y sin embargo en (0;0) no
hay punto de inflexin.
68

51

34

17

x
-3

-2

-1

0
0

17

En (0;0) no cambia la concavidad


de la curva.

Para verificar que una valor en el que se anula la derivada segunda es efectivamente la
abscisa de un punto de inflexin, debe analizarse el signo de la derivada segunda en un
entorno de la abscisa del punto en cuestin; para que lo sea la derivada segunda debe
cambiar de signo.

Estudio de funciones

Condiciones suficientes para determinar si un punto crtico es o no extremo relativo.


Sea f / en x=a f presenta un punto crtico, es decir: f '(a) f '(a) = 0
1. Ver si se cumple la definicin.
(Suele ser el ms dificultoso)

2.

Analizar el cambio de signo de f en un entorno del punto crtico:

 Si la derivada pasa de positiva a negativa, f(a) es un mximo relativo.


 Si la derivada pasa de negativa a positiva, f(a) es un mnimo relativo.

Anlisis Matemtico I: Propiedades de las funciones derivables

95

3. Anlisis del signo de la derivada segunda. (Slo es aplicable cuando f(a) existe y
es distinta de cero.
 Si f (a) >0, resulta que f es estrictamente creciente en x = a, pero como f (a)=0, f
debe pasar de valores negativos a positivos, lo que significa que la funcin pasa de ser
decreciente a ser creciente y entonces, puedo asegurar que presenta en ese punto un mnimo
relativo.
 Si f (a) < 0, resulta que f es estrictamente decreciente en x = a, pero como f (a)=0,
f debe pasar de valores positivos a negativos, lo que significa que la funcin pasa de ser
creciente a ser decreciente y entonces, se puede asegurar que presenta en ese punto un
mximo relativo.
Paridad de una funcin
Sea f:A , con A

f es par si y slo si x A : f (x) = f ( x)

(Geomtricamente significa que el grfico de f es simtrico respecto del eje y)


Ejemplos: f(x) = x2 ; g(x) = cos x ; h(x)= |x |; etc.

f es impar si y slo si x A : f (x) = f ( x)

(Geomtricamente significa que la curva es simtrica respecto del origen de coordenadas)


Ejemplos: f(x) = x3 ; g(x) = sen x ; h(x)=x.|x|; etc.

Asntotas lineales de una curva:


Sea f:A , con A

La recta x = c es asntota vertical de f lm f (x) =

La recta y = k es asntota horizontal de f lm f (x) = k

x c

(Observacin: f puede tener asntota horizontal para x + y no tenerla o tener otra para
x )

La recta y = m x + b ( con m 0 ) es asntota oblicua de f lm [ f (x) (mx + b) ] = 0

Clculo de m:

f (x) mx b
f (x)
b
= 0 lm
m lm = 0
x
x x
x x
x

lm [ f (x) (mx + b)] = 0 lm


x

Anlisis Matemtico I: Propiedades de las funciones derivables

96

Resulta
m = lm

f (x)
x

b = lim [ f (x) mx ]

Una vez calculada m, b se obtiene de la

Ejemplo: Realicemos el estudio completo de f(x)=

definicin:

x3
x2 +1

1. Dominio. D=
a3
(a)3
a 3
;
f(-a)=
=
f (a) = f (a) f impar
a2 +1
(a) 2 + 1 a 2 + 1
3. Ceros: f(x) = 0 x = 0
2. Paridad: f(a)=

4. Asntotas:

 Asntota vertical: no tiene


x3
1
= lm
= no tiene asntota horizontal
2
x x + 1
x 1
1

x x3
x3
x3
1
 Asntota oblicua: m= lm
=
= lm
=1
lm
3
2
x x.(x + 1)
x x + x
x
1
1 2
x
1

x3

x3 x3 x
b= lm 2
x = lm
= lm x = 0

2
x x + 1

x x + 1 x 1 + 1
x2
La asntota oblicua es : y=x

 Asntota horizontal: lm

5. Puntos crticos
f (x)=

3x 2 (x 2 + 1) x 3 .2x

(x

+ 1)

3x 4 + 3x 2 2x 4

(x

+ 1)

x 4 + 3x 2

(x

+ 1)

f (x)=0 x=0

6. Posibles puntos de inflexin


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

x 2 (x 2 +3)

(x

+ 1)

Anlisis Matemtico I: Propiedades de las funciones derivables

97

2x(2x 2 + 3)(x 2 + 1) (x 2 + 3).4x 3


2x 4 + 5x 2 + 3 2x 4 6x 2
=2x.
(x 2 + 1)4 3
(x 2 + 1)3

f "(x) = (x 2 + 1)

3 x2
f "(x) = 2x. 2
. f "(x) = 0 x = 0 x = 3 x = 3
(x + 1)3

7. Cuadro de signos de f, f y f .
Para determinar el crecimiento, analizamos el signo de la derivada primera.

x 2 (x 2 + 3)
Observemos que f (x)=
>0, x 0
(x 2 + 1) 2
La concavidad se estudia a travs del signo de la derivada segunda:
2x.(3 x 2 )
>0.
Veamos para qu valores de x resulta
(x 2 + 1)3
Como el denominador es siempre positivo, debe ser: x. ( 3 x 2 ) >0, es decir:

(x > 0 3 x

) (

> 0) ( x < 0 3 x 2 < 0) x > 0 x < 3 x < 0 x > 3

Por lo tanto : 0 < x < 3 x < 3 .

2x.(3 x 2 )
Con criterio similar se resuelve
< 0.
(x 2 + 1)3
x
f(x)=

- 3
x

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

+++ +++ +++++++++++

+++++++++++ +++ +++

+++ +++ +++++++++++

+++++++++++

+++

2x.(3 x 2 )
(x 2 + 1)3

La funcin es estrictamente creciente en .


No tiene extremos relativos.
Intervalos de concavidad ( , 3 ) ( 0, 3 )
Intervalos de convexidad ( 3 ,0) ( 3 ,+ ) .

98

Anlisis Matemtico I: Propiedades de las funciones derivables

y
4
2
-2

-2
-4

Problemas con mximos y mnimos.

Ejemplo:
Un tringulo rectngulo cuya hipotenusa mide 6 cm, gira alrededor de uno de sus catetos,
generando un cono circular recto. Determine las medidas de los catetos del tringulo para
que el volumen del cono sea mximo.

6 cm

Se quiere el mximo de la funcin volumen del cono:


V=

1
.R 2 .h
3

Por el Teorema de Pitgoras : R 2 + h 2 = 36

Anlisis Matemtico I: Propiedades de las funciones derivables

99

1
1
Entonces: R 2 = 36 h 2 V = (36 h 2 ).h V = (36h h 3 )
3
3

Esta es la funcin con la que vamos a trabajar:


1
V= .(36 3h 2 ) V ' = 0 36 3h 2 = 0 36 = 3h 2 h 2 = 12 h = 12
3
Se descarta el valor negativo porque se trata de una altura , de manera que el punto crtico
corresponde a : h= 12 = 2 3 y R= 36 12 = 24 = 2. 6 .
No hace falta verificar que es un mximo porque el volumen mnimo se producira para
h=0 y no tiene sentido.

Regla de LHpital

Teorema
Sean f y g dos funciones derivables en un intervalo abierto (a,b) que incluye a un entorno
reducido de c. Si lm f (x) = lm g(x) = 0 ( o lm f (x) = lm g(x) = ) y existe el
x c

x c

x c

x c

f '(x)
f (x)
f '(x)
lm
, finito o infinito, entonces lm
= lm
.
x c g '(x)
x c g(x)
x c g '(x)

Observaciones
 La regla tambin vale si x .
 Slo es aplicable a indeterminaciones 0/0 / . Las dems indeterminaciones deben
transformarse en alguna de las mencionadas, antes de aplicar la regla

Transformacin de indeterminaciones del tipo 0. .


Si lm f (x) = 0 y lm g(x) = y se desea calcular lm f (x).g(x) , debemos pensar que :
x c

f(x).g(x)= f(x).

x c

1
1

g(x )

x c

g(x)
y queda transformada en una indeterminacin 0/0 / .
1
f (x)

100

Anlisis Matemtico I: Propiedades de las funciones derivables

Ejemplo:
1
ln x
x2
lm+ x.ln x = lm+ 1 = lm+ x = lm+
=0
x 0
x 0 x
x 0
2 x 0 2x
2
x
Transformacin de indeterminaciones del tipo -
En general se transforman haciendo algunas de las cuentas indicadas. Si no se llega a 0/0
/ , se puede utilizar la siguiente igualdad
1
1

g(x) f (x)
, si lm f (x) = lm g(x) = , el segundo miembro de la igualdad
f (x) g(x) =
x c
x c
1
f (x).g(x)
plantea una indeterminacin del tipo 0/0.
1

1
Ejemplo: lim

como sen 0=0 y ln 1=0, se trata de una indeterminacin


x 0 sen x
ln(1 + x)

- .
1

cos x

ln(1 + x) sen x
1

1
+
1
x
lim

= lm
= lm
=

x 0 sen x
ln(1 + x) x 0 ln(1 + x).sen x x 0 1 sen x + ln(1 + x).cos x

1+ x

+ sen x
2

1 + 0
1
(1 + x)
= lim
=
=
x 0
2
1 sen x + 1 cos x + 1 cos x ln(1 + x) sen x 1.0 + 1.1 + 1.1 0.0
(1 + x) 2

1+ x
1+ x

Transformacin de indeterminaciones del tipo 0 0 , 0 ,1 (Se procede con los tres


casos de la misma forma)
Consideremos f y g derivables en un entorno reducido de c/ lm f (x) = lm g(x) = 0 , y
x c

x c

supongamos que queremos calcular lm [ f (x) ]

g( x )

x c

Consideremos h(x)= [ f (x)]

g (x )

, y apliquemos logaritmos a ambos miembros:

lnh(x)=g(x).ln[f(x)] . Si ahora tomamos lmite para xc en ambos miembros, se tiene:


lm ln[h(x)] = lm g(x).ln[f (x)] .
x c

x c

Anlisis Matemtico I: Propiedades de las funciones derivables

101

El lmite del segundo miembro es ahora una indeterminacin del tipo 0. que ya sabemos
llevar a 0/0 / para poder aplicar la Regla de LHpital y salvar la indeterminacin.
Resulta: lm ln [ h(x) ] = .
x c

Como el lmite de un logaritmo es igual al logaritmo del lmite, se tiene:


ln lm h(x) = lm h(x) = e
x c

x c

Ejemplo:
x

1
0
lm
. Se trata de una indeterminacin
x 0 sen x

1
1
Sea h(x) =
ln[h(x)] = x.ln

sen x
sen x
1
ln lm h(x) = lm
x 0
x 0

ln lm h(x) = lm
x 0
x 0

ln [sen x ]
[sen x ]
= lm
x 0
1
x
1

sen x.

1
.cos x
sen 2 x
1
x2

1
.cos x
x 2 cos x
2x.cos x x 2 .sen x 0
sen 2 x
= lm
= lm
= =0.
x 0 sen x
x 0
1
cos x
1
2
x
x

Entonces

1
0
lm
= e =1
x 0 sen x

Frmula de Taylor y Mac Laurin

Orden de contacto de dos funciones


Sean f y g dos funciones definidas en un entorno de x0, derivables hasta el orden n+1.
Se dice que f y g tienen un contacto de orden n en x0 si y slo si en x0, ambas funciones
coinciden, como as tambin sus n primeras derivadas, siempre que existan pero sean
distintas las derivadas de orden n+1.

Ejemplo:
Consideremos las funciones f(x)= ln x , y g(x)= (1 + x)

(1 + x) 2 (1 + x)3
+
2
3

102

Anlisis Matemtico I: Propiedades de las funciones derivables

f(1)=0

g(1)=0

1
f (x)= f '(1) = 1
x
1
f (x)= 2 f" (1) = 1
x
2
f (x)= 3 f "'(1) = 2
x

6
fiv (x)= 4 f iv (1) = 6
x

g(x)= 1 (-1+x) + (1 + x)2 g(1)=1

g(x)= -1 +2(-1+x) g "(1) = 1


g(x)=2 g "'(1) = 2
giv(x)=0 g iv (1) = 0

Resulta que f y g tienen para x = 1, un contacto de tercer orden.

Polinomio y frmula de Taylor


Dada una funcin f :A , con A , derivable hasta el orden (n+1) en x0, se busca un
polinomio de grado n, escrito en potencias de (x-x0), que tenga con f un contacto de orden
n en x0.

El polinomio que se busca tiene la forma:


Pn(x)= a0 + a1 (x-x0) + a2 (x-x0)2 +.....+ an-1(x-x0)n-1 + an (x-x0)n
Obtenemos las n primeras derivadas de Pn(x):
Pn(x)= a1 + 2.a2 (x-x0) +.....+(n-1) an-1(x-x0)n-2 + ann (x-x0)n-1
P(x)= 2.a2 +.....+(n-1)(n-2) an-1(x-x0)n-3 + ann(n-1) (x-x0)n-2
...............................................................................
P(n)n(x)= an n!
Como se pretende que en x0 coincidan las derivadas de la funcin con las del polinomio, se
tiene:
a0 = f(x0)

a1= f ( x0)

a2 =

f "(x 0 )
f (n ) (x 0 )
................ an =
2!
n!

Reemplazando en la expresin original del polinomio buscado, resulta:


(n)
f"(x 0 )
2
f (x 0 )
(n)
(x - x 0 ) + ... +
.(x - x 0 )
2!
n!
n
1
Pn(x) = f (i) (x 0 ).(x x 0 )i
i = 0 i!

Pn (x) = f(x 0 ) + f (x 0 ).(x - x 0 ) +

Anlisis Matemtico I: Propiedades de las funciones derivables

103

El ejemplo presentado en la introduccin muestra que la aproximacin mejora cuando ms


grande es el grado del polinomio y cuanto ms cerca est x de x0.
Para x E ( x 0 ) , se puede escribir: f(x) Pn (x).
El error que se comete se llama resto de Taylor o trmino complementario.
La expresin del trmino complementario, segn Lagrange es:

f n +1 (c)(x x 0 ) n +1
Tn +1 =
(n + 1)!
Podemos escribir la frmula de Taylor

con c entre x0 y x

(n)
f"(x 0 )
f (x 0 )
2
(n)
(x - x 0 ) + ... +
.(x - x 0 ) + Tn +1 (x) siendo
2!
n!
f n +1 (c)(x x 0 ) n +1
Tn +1 =
con c entre x0 y x
(n + 1)!

f(x) = f(x 0 ) + f (x 0 ).(x - x 0 ) +

Si x0 =0 , la frmula se llama de Mac Laurin y adopta esta forma:

f n +1 (c).x n +1
1 (i)
i
con c entre 0 y x
f(x)= f (0).x + Tn+1 donde Tn +1 =
(n + 1)!
i = 0 i!
n

Ejemplo:
Dada la funcin f(x) = ex, se pide:
a) Polinomio de MacLaurin de segundo grado.
b) Calcular con el polinomio hallado en a) e y acotar el error cometido.
c) Hallar el grado del polinomio que permite encontrar e con error menor que 0,001
a) El polinomio de Mac Laurin de segundo grado es: P2(x)= f (0) + f '(0)x +
Pero f(x)=f (x)=f (x)= ex f(0)=f (0)=f (0)=e0=1
Luego:
b) Como se quiere

P2(x)= 1+ x + 0.5 x2
e =f(0.5), calculo P2(0.5)=1+0.5+0.5 . (0.5)2=1.625

Teniendo en cuenta que el trmino complementario es:

1
f "(0)x 2 .
2!

104

Anlisis Matemtico I: Propiedades de las funciones derivables

111

f (c).x 3 ec 0.53 1 c
T3 =
=
= e con 0<c < 0.5
3!
6
48

1
1
1
1
1
< ec < 2.
< T3 <
= 0.0416 T3 < 0.1
48 48
48
48
24
Es decir, podemos asegurar que

Luego, se tiene: 1 < ec < 2 1.

e 1, 6 con < 0,1


Efectivamente, con la calculadora se obtiene: e = 1.648721271
c) Queremos hallar n / Tn+1(0.5)< 0.001
Como Tn+1(0.5)=

ec .(1 2)n +1
ec
= n +1
,
(n + 1)!
2 (n + 1)!

1
e0 < ec < e0.5 1 < ec < e0.5 . Pero 2 < e < 3 e0.5 < 30.5 < 2 .
2
Entonces ec < 2, resulta que debe ser:
y 0<c<

n +1

2
1
1
< 0.001 n
<
2 n.(n + 1)! > 1000
(n + 1)!
2 (n + 1)! 1000

Para n=3 es: 23.4!=192<1000, pero para n =4 es: 24 5!=1920>1000

Significa que si se toma el polinomio de cuarto grado de MacLaurin se logra la aproximacin


deseada.
1
6

P4(x)= 1+ x + 0.5 x2+ x3+

1
.x4
24

P4(0.5)=1.6484375 1.648 que efectivamente es

e con error menor que 0.001.

Anlisis Matemtico I :Sucesiones

105

SUCESIONES
Ejemplos:
Dividamos un cuadrado de lado 1 en 9 cuadrados de lado 1/3 y pintemos el del centro;
repitamos el procedimiento con cada cuadrado de lado 1/3, luego con cada cuadrado de
lado 1/9 y as sucesivamente.
La figura1 muestra pintados: un cuadrado de lado 1/3; 8 de lado 1/9 y 64 de lado 1/27.

Calculemos el rea y el permetro de la zona sombreada en cada paso:


Paso

Nm. de
cuadrados
pintados en
este paso

Medida del
lado del
cuadrado
pintado

Permetro de los
cuadrados pintados en
este paso

rea de los cuadrados pintados en este


paso

1
3

4
3

1 1 1 8
= =
3 9 8 9

1
9

4 32 4 8
8. =
= .
9 9 3 3

1 18
8 =
9 89

82 =64

1
27

4 4 8
64. = .
27 3 3

---

---------

------------

-----------

8n-1

1
3n

4 8
.
3 3

La figura obtenida se llama cuadrado de Sierpinski.

1 1 8
64 =
27 8 9

--------------

n 1

n 1

1

3

2n

=8

n 1

1 1 8
=
9 8 9

106 Anlisis Matemtico I :Sucesiones

Podemos observar que a cada paso le corresponde:


a) un nmero de cuadrados pintados
b) la medida del lado de cada cuadrado pintado
c) el permetro de la zona pintada en ese paso
d) el rea de la zona pintada en ese paso
Entonces, podemos considerar que se han definido cuatro funciones cuyo dominio es la
columna encabezada por Pasos y cuyas imgenes se dan en cada columna no sombreada
de la tabla anterior. Como el dominio es en todos los casos el conjunto de nmeros
naturales, podramos escribir slo las columnas no sombreadas y todos entenderamos de
qu se trata.
La fila que corresponde a n nos da las frmulas de las funciones. Si obviamos indicar el
paso, podemos escribir directamente la forma de calcular el nmero de cuadrados, la
medida del lado de cada cuadrado, el permetro o el rea de los cuadrados pintados en el
paso n.
Es decir:
el nmero de cuadrados pintados est dado por la funcin: c: / c(n)= 8 n-1,
pero podramos escribir slo el conjunto imagen:{1 , 8, 64,...., 8n-1,...} ,o bien podramos
escribir que las imgenes son {cn} n siendo cn=8n-1
la de las medidas de los lados de los cuadrados pintados quedan definidos por la
1
1
1 1

funcin a: / a n = n . El conjunto imagen es , , , n ,


3
3
3 9

Las funciones definidas de en se llaman sucesiones.

Definicin
Se llama sucesin de nmeros reales a toda funcin a: NR /a(n) = an.
Notacin: Como la sucesin queda caracterizada por el conjunto imagen, se las
denota: {a n }n
Las otras sucesiones definidas en el ejemplo inicial son:

4 8
la de los permetros de la zona pintada en el paso n: {p n } n / p n = .
3 3

1 8
la de las reas de la zona pintada en el paso n: {cn } n / cn = . .
6 9

Ejemplos:
1. c: / c(n)= 2 n-1, se indica {cn} n con cn = 2 n-1
Se trata de la sucesin:{ 1,2,4,8,16,.......}

n 1

Anlisis Matemtico I :Sucesiones

2. a: / a(n) =

1
3

107

, se indica {an } n / a n =
1 1
3 9

1
3n

Se trata de la sucesin: 1, , ,

3. b: / b(n) =2n , se indica {bn } n / b n = 2n


Se trata de la sucesin :{ 2,4,6,8,...}
Definicin:
La sucesin {an}n 1 converge a l o tiene lmite l si y slo si
> 0, n 0 / n : (n > n 0 a n l < )
Las sucesiones con lmite finito son convergentes

Ejemplo: lm

3n
3
= lm
= 3 sucesin convergente .
n

2
n+2
1+
n

Definicin :
La sucesin {an}n

tiene lmite infinito

( lm a
n

= si y slo si

k >0, no / n :[ n n0 |an | > k]


Si una sucesin tiene lmite infinito, es divergente.
Si no tiene lmite, es oscilante.

Ejemplos:
1. lm(2) n no existe la sucesin es oscilante .
n

2. lm n 2 = la sucesin es divergente.
n

Definiciones
La sucesin {an}n 1 est acotada inferiormente si y slo si k / a n k, n
(k es cota inferior)
La sucesin {an}n 1 est acotada superiormente si y slo si M / a n M, n
(M es cota superior)
La sucesin {an}n 1 est acotada si y slo est acotada superior e inferiormente

Propiedades de las sucesiones convergentes:

1.- Toda sucesin convergente est acotada.


2.- Si una sucesin es convergente, su lmite es nico.
3.- Para las sucesiones convergentes valen las propiedades del lgebra de lmites finitos
(lmite de una suma, de un producto, etc)

108 Anlisis Matemtico I :Sucesiones

Definiciones:
La sucesin {an} n es creciente si y slo si n: an an+1
La sucesin {an} n es decreciente si y slo si n: an an+1
La sucesin {an} n es montona si y slo si {an}n 1 es creciente o decreciente.

Propiedades de las sucesiones montonas:


i) Si la sucesin {an} n es montona y acotada, entonces es convergente.

ii) Si la sucesin {an} n es montona y no est acotada, entonces, si es creciente se


cumple que: lm a n = + , y si es decreciente: lm a n = .
n

Anlisis Matemtico I: Integrales

109

INTEGRAL DEFINIDA
Sea f:[a,b] con [a,b] / f continua y no negativa x [a,b].
Interesa calcular el rea ( A ) del recinto plano limitado por el grfico de f y las rectas de
ecuacin: x = a, x = b , y = 0. (Es decir, el rea del recinto limitado por la curva, las paralelas
al eje "y" trazadas por a y por b y el eje x ).
Como f(x) es continua en el intervalo cerrado [a,b], por el segundo teorema de Weierstrass, f
alcanza en ese intervalo un mximo y un mnimo absoluto que indicaremos M y m
respectivamente. Una primera aproximacin al rea buscada est dada por los rectngulos que
tienen por base (b-a) y por altura M y m respectivamente.
y

y
M

Es obvio que:

m. (b - a) A M.( b - a)

(El "=" corresponde al caso de funcin constante)


Para mejorar la aproximacin, provocamos una "particin regular" en [a,b], intercalando
puntos equidistantes entre los extremos del intervalo.
a = xo < x1 < x2 <...< xi-1 < xi <.... < xn =b
De esta forma, el intervalo [a,b] queda subdividido en "n" subintervalos: [xo , x1], [x1 , x2]...
[xi-1 , xi],...[xn-1, xn ], cuyas amplitudes son:
ba
x i = x i x i 1 =
n
Como la funcin es continua en [a,b], tambin lo es en cada uno de los subintervalos y por lo
tanto alcanza en cada uno de ellos, un mximo y un mnimo absolutos. Designamos con Mi y
mi al mximo y al mnimo absoluto de f en [ xi-1, xi]
Si indicamos con "P" a la particin realizada, llamamos suma inferior de f(x) con respecto a
la particin P ( S P ), a la suma de las reas de los rectngulos que tienen por base la amplitud
de cada subintervalo ( xi) y por altura el mnimo absoluto que la funcin alcanza en l ( mi).
n

En smbolos:

SP = mi x i
i =1

Con el mismo criterio, llamamos suma superior de f(x) con respecto a la particin P ( S P ),
a la suma de las reas de los rectngulos que tienen por base la amplitud de cada subintervalo
(xi) y por altura el mximo absoluto que la funcin alcanza en l ( Mi).

Anlisis Matemtico I: Integrales

110

SP = M i x i

En smbolos:

i =1

y
M3
M1
M2

m3
m2
m1

x
a =x0 x1

x2

a =x0 x1

b=x3

SP

x2

b=x3

SP

Se cumple:

m. (b - a) SP A SP M.( b - a)
Si refinamos la particin, es decir, definimos una nueva particin P con ms puntos que la
anterior, obtendremos una nueva suma inferior y una nueva suma superior que llamaremos
SP ' y SP ' respectivamente.
Se cumple que:

m. (b - a) SP SP ' A SP ' SP M.( b - a)


Si se repite el proceso, considerando sucesivas particiones regulares, cada vez con ms
puntos, se obtienen dos sucesiones acotadas: una, de sumas inferiores, creciente, que no
supera nunca al rea buscada, y otra de sumas superiores, decreciente, que se mantiene
siempre mayor o igual que A.
Adems se cumple que la diferencia entre dos trminos correspondientes de ambas
sucesiones es, en valor absoluto, cada vez menor.
En efecto:
M.( b - a) - m. (b - a) SP - SP SP ' - SP ' ....
Por lo tanto ambas sucesiones convergen a un mismo valor que es el rea buscada.
n

Es decir:

lm mi x i = lm M i x i = A
n

i =1

i =1

Si en lugar de considerar como altura los mximos o mnimos absolutos de f(x) en cada
subintervalo, se elige en cada uno de ellos un punto arbitrario i y se toma como altura de los
rectngulos f(i), obtenemos, para cada particin, la suma de Riemann o suma integral:

Anlisis Matemtico I: Integrales

111
y

Suma de Riemann:

SR =

f ( i ).x i .
i =1

f( 3
f( 2 )
f( 1 )

x
a =x0 x1

x2

b=x3

S P SR S P

Resulta, para cada particin:

Se genera de esta forma una nueva sucesin, la de las sumas de Riemann que
permanentemente se encuentra comprendida entre la de sumas inferiores y la de sumas
superiores. Por lo tanto, cuando n , la sucesin de sumas de Riemann tiene el mismo
lmite que ellas.

Definicin
Sea f(x) continua en [a,b], se llama integral definida de f(x) entre a y b y se indica

f (x).dx , al lmite, si existe, para n , de la sucesin de sumas de Riemann.

(Si f es continua, el lmite siempre existe).

f (x).dx = lm

f ( ).x
i =1

Interpretacin geomtrica
Si la funcin es no negativa en [a,b], la integral definida representa el rea limitada
por f(x) , el eje x y las paralelas al eje y trazadas por a y por b .

Propiedades
a

II)
III)
IV )
V)
VI) |
I)

f(x) dx = 0

f(x) dx = -

f(x) dx +

f(x) dx

f(x) dx =

( f(x) + g(x) ) dx =

k f(x) dx = k

f(x) dx |

f(x) dx
|f(x)| dx

f(x) dx

f(x) dx +

g(x) dx.

112

Anlisis Matemtico I: Integrales

Teorema del valor medio del clculo integral


Si f es continua en [a,b], entonces existe un punto c interior a (a,b) tal que la integral

f (x)dx es igual al producto entre f(c) y la amplitud del intervalo de integracin.

Interpretacin geomtrica:
Si f(x) 0, x [a,b], el teorema expresa que el rea limitada por la curva representativa de
f, el eje x y las paralelas al eje y trazadas por a y b es equivalente al de un rectngulo con base
(b-a) cuya altura es el valor de f en algn punto interior del intervalo.
y

f(c)

a c
b x
Demostracin
De acuerdo con lo expuesto en la introduccin, al hacer una particin regular en [a,b] se
obtiene:

m. (b - a)

mi x i
i =1

M x
i =1

M.( b - a)

Tomando lmite para n se tiene:

m. (b - a)

f (x).dx M.( b - a)

Si se dividen los tres miembros por (b - a) resulta:


b
1
m
f (x).dx M
b a a
es un nmero comprendido entre el mnimo y el mximo de una
funcin continua en un intervalo cerrado

Por el teorema del valor intermedio, resulta que existe c (a,b)/


f(c) =

1
ba

f (x).dx

f (x).dx = f(c) (b-a).

Funcin rea o funcin integral

Si en una integral definida se mantiene fijo el lmite inferior de integracin y se considera


variable el lmite superior, se obtiene una funcin que depende de dicho lmite. Esta funcin
recibe el nombre de funcin rea o funcin integral.
x

A(x) = f (t).dt
a

Anlisis Matemtico I: Integrales

113

Teorema fundamental del clculo integral o derivada de la funcin rea

Si f es continua en [a,b] , y x0 es un punto interior a (a,b), la funcin A(x) =

f(t).dt es

derivable en x0 y resulta A (x0)= f(x0).


Demostracin:

A(x) A(x 0 )
x x0
Reemplazando por la definicin de A(x), se tiene:

Por definicin de derivada: A (x0)= lm

x x0

A (x0)=

lm

x0

f(t)dt f(t)dt

= lm

f(t)dt + f(t)dt
x0

x xo
x x0
x x0
Por el T. Del valor medio del Clculo integral resulta:
x xo

= lm

x0

x x0

f(t)dt

x x0

f (c).(x x 0 )
con c entre x0 y x A (x0)= lm f (c) = f (x 0 )
x x0
x x0
x x0

A (x0)= lm

por ser f continua

Aplicacin
Supongamos que queremos calcular el rea de la regin del plano limitada por
y = senx, el eje x y la recta x=

El rea se calcula mediante la integral:

y
1
x

0
0

A=

/ 2

senx.dx

Defino la funcin rea asociada:


A(x)=

0 sent.dt

Si bien no conocemos esta funcin, por el Teorema fundamental de Clculo integral, su


derivada es la funcin que estamos integrando.
A(x)= sen xA(x)= - cos x + C, ya que (-cos x +C ) = sen x
Como A(0)=

senx.dx = 0 (por prop. de integral def.), resulta: - cos 0 + C = 0

Entonces: C = cos 0. Por lo tanto: A(x) = - cos x + cos 0


/ 2

Nos interesa A( )=
2
0

senx.dx = - cos + cos 0= 0 + 1 =1


2

Anlisis Matemtico I: Integrales

114

Concepto de primitiva

Si F es una funcin tal que F(x) = f(x), diremos que F(x) es una primitiva de f(x).
Por ejemplo: y= x2; y = x2+1; y = x2+ 100 son primitivas de f(x) = 2x
es derivada de

f(x)

F(x)

es primitiva de

El clculo de primitivas se hace a travs de la integracin indefinida, que se estudiar ms


adelante.

Regla de Barrow:

Se quiere calcular

f (x).dx con f continua en [a,b].

f (x).dx A '(t) = f (t) A(t) = F(t) + C  / F '(t) = f (t)

Defino A(t)=

(Por el T. Fundamental del Clculo Integral)

Pero A(a)=
Resulta:

f (x).dx =0 (prop. de la integral def.) F(a) + C = 0 C = F(a)


b

f (x).dx = A(b) = F(b) + C f (x)dx = F(b) F(a), siendo F'(x) = f (x)


a

INTEGRAL INDEFINIDA
Introduccin:
Supongamos que un mvil se desplaza con una aceleracin dada por a(t) =(10 t 3)
que en el instante t =0 , se encuentra a 10 metros y su velocidad es de 4

m
y
seg2

m
, cmo es
seg

posible encontrar las frmulas de las funciones que indican su velocidad y su distancia al
origen al cabo de t segundos?
Para resolver este problema, hay que recordar que la aceleracin es la derivada de la
velocidad y que sta a su vez, es la derivada de la funcin que da la posicin del mvil.
Entonces, afirmar que a(t) = (10t3)

m
m
, equivale a expresar que v(t) = (10t 3)
.
2
seg
seg2

Por lo tanto para encontrar la velocidad, es necesario pensar cul es la funcin cuya
derivada es 10t3.

Anlisis Matemtico I: Integrales

115

En tanto la derivada de una suma o resta de funciones es igual a la suma o resta de las
derivadas, es posible asegurar que la funcin buscada tiene al menos dos trminos cuyas
derivadas son respectivamente 10 t y 3. Si se tiene en cuenta que (t 2) = 2t, resulta:
10 t = 5.2t= 5. (t 2) =(5.t 2)
Adems:
-3 = -3.1 = -3. t = ( -3.t)
Luego:
a(t) = (5.t 2) + ( -3.t) = (5.t 2 -3.t ) , de donde v(t) = 5.t 2 - 3.t , cuya
derivada es efectivamente a(t).
Sin embargo, este resultado no es nico, ya que la derivada de una funcin constante es
cero y, por lo tanto, las funciones v1(t) = 5.t 2 - 3.t +100 v2(t) = 5.t 2 - 3.t 25 tambin
tienen la misma derivada. Resulta que existen infinitas funciones que tienen la misma
derivada, pero todas ellas difieren, a lo sumo en un valor constante.
Entonces el conjunto de funciones que tienen por derivada a a(t) , puede escribirse en
forma general:
v(t) = 5.t 2 - 3.t + C1
Como que v(0) = 4

m
, es posible calcular el valor de C1 que satisface las condiciones del
seg

problema.
En efecto:

v(0) = 4

m
m
m
m
5.02 3.0 + C1 = 4
C1 = 4
v(t) = ( 5t 2 3t + 4 )
seg
seg
seg
seg

Para hallar la funcin s(t) que da la posicin del mvil al cabo de t segundos, hay que
proceder de manera similar.
Como v(t) = s(t), hay que buscar la funcin que tiene por derivada a v(t) = 5t 2 3t + 4 .

'

De igual forma que en el caso anterior, se sabe que ( t 3 ) ' = 3t 2 5t 2 = .3t 2 = (t 3 )' = t 3
3
3
3
5

'

3
3
3
Y que 3t = 2t = (t 2 )' = t 2
2
2
2

y 4 = (4t). Si adems se tiene en cuenta que la derivada

'

3
5

de una constante es cero, se obtiene que v(t) = s(t) = t 3 t 2 + 4t + C2 , es decir:


2
3

5
3
s(t) = t 3 t 2 + 4t + C 2
3
2

Como en el instante t= 0, el mvil se encuentra a 10m, resulta:


5 3 3 2
0 0 + 4 0 + C2 C2 = 10m
3
2
5
3

s(t) = t 3 t 2 + 4t + 10 m , que expresa la distancia al cabo de t segundos.


3
2

10 = s(0) =

Entonces:

116

Anlisis Matemtico I: Integrales

Definicin:
Sea f: A R , con A R se llama antiderivada o primitiva de f a toda funcin F(x) que
verifica: F(x)=f(x).
El proceso por el cual se calculan primitivas de una funcin se denomina integracin
indefinida.
Observacin: Dada una funcin, es posible encontrar infinitas primitivas.
Ejemplos:
1. La funcin senx es una primitiva de cosx puesto que (senx)=cosx, tambin lo es
senx+157
'

x3
x3
pues = x 2 . En general, cualquier primitiva de x2 es
2. Una primitiva de x es
3
3
3
x
de la forma +C
3
2

Definicin:
Al conjunto de todas las funciones primitivas se le llama integral indefinida y se
representa por f(x)dx (se lee: integral indefinida de f(x) diferencial x)
Es decir, f(x)dx = F(x) + C F'(x) = f(x)

Ejemplos:

senx dx = cos x + C pues (-cosx)=senx


2
2x dx = x + C pues (x )=2x
2

Teorema:
Si dos funciones tienen la misma derivada entonces difieren a lo sumo en una constante.
H) F(x) y G(x)/ F(x)= G(x)
T) F(x) = G(x) + C
Demostracin:
Por hiptesis
F(x)= G(x) F(x) - G(x)=0 [F(x)-G(x)]=0F(x) G(x) = CF(x) = G(x) +C.

Consecuencia:

Existe una familia de infinitas funciones que difieren entre s en una constante, que
admiten la misma derivada. Geomtricamente esto significa que para un mismo valor de x,
las curvas tienen rectas tangentes paralelas.

Propiedades de la integral indefinida

Anlisis Matemtico I: Integrales

1.

117

( f(x) + g(x) ) dx = f(x) dx + g(x) dx

Demostracin: Sean F(x) y G(x) primitivas de f(x) y g(x) respectivamente. Entonces,


F(x)=f(x) y G(x) =g(x) F(x)+ G(x)=f(x)+g(x).
Por propiedad de las derivadas, (F(x)+ G(x))= F(x)+ G(x)= f(x)+g(x).
O lo que es lo mismo, ( f(x) + g(x) ) dx = f(x) dx + g(x) dx
2.

( k.f(x) ) dx = k f(x) dx

Demostracin: Sea F(x) una primitiva de f(x), es decir F(x)=f(x).


Entonces (k.F(x)) =k.F(x)=k.f(x), o lo que es lo mismo, una primitiva de k.f(x) es kF(x).
Es decir, ( k.f(x) ) dx = k f(x) dx

Ejemplos:
1.

(e

2.

( 4.senx ) dx = 4. senxdx = 4.(-cosx) + C = -4cosx + C

+ cosx ) dx = e x dx + cosx dx = e x + sen x+ C

A partir de la tabla de derivadas, es posible construir la siguiente tabla de integrales


indefinidas inmediatas:

FRMULAS DE INTEGRACIN1

k.dx = k.x + C
x

.dx =

1 n +1
x +C
n +1

si n 1

x .dx = ln | x | +C
cos x.dx = senx + C
senx.dx = cos x + C
sec x.dx = tgx + C
Shxdx = Chx + C
Sec h x.dx = Thx + C
2

1 x

dx = A rg Thx + C

dx = arc senx + C
1 x2
1
1 + x 2 dx = arc tgx + C
sec x.tgx.dx = sec x + C

cosec x.cotgx.dx = cosec x + C


cosec x.dx = cotgx + C
e .dx = e + C
Chxdx = Shx + C
C o sec h x.dx = Cothx + C
2

1
1+ x2

dx = ArcShx + C

Ejemplos:
1

Las frmulas son vlidas en los conjuntos en que las funciones estn definidas y son integrables.

118

Anlisis Matemtico I: Integrales

1. ( 2x 3 + 5x - 2 ) dx = 2x 3dx + 5xdx - 2dx = 2 x 3dx + 5 xdx - 2 dx =


=2

1 3+1
1 1+1
2
5
1
5
x +5
x - 2x + C = x 4 + x 2 - 2x + C = x 4 + x 2 - 2x + C
3 +1
1+1
4
2
2
2

1
3

2. 2x + 3 dx = 2 x 2 dx + 3 x -3dx =
x

1
1 21 +1
1
2 2 32 3 2
= 2 x 2 dx + 3 x 3 dx = 2
x + 3
x 3 +1 + C =
x x +C
1
3 + 1
3
2
+1
2

3. 3sec2 x + 3 x + ln 4.e x dx = 3sec 2 xdx + 3 xdx + ln 4.e x dx =


3
= 3 s ec 2 xdx + x1/ 3dx + ln 4 e x dx =3tgx + x 4 / 3 + ln 4.e x + C
4

4.

x3
2x 3 7x 2 4
x2 4
dx
=
2

7
2 dx = ( 2x 7 4.x 2 ) dx =
2
2
2

x
x
x
x

x2
x 1
1
= 2 xdx 7 1dx 4. x dx = 2 7x 4.
+ C = x 2 7x + 4 + C
2
1
x
2

MTODOS DE INTEGRACIN

Mtodo de sustitucin

Este mtodo consiste en transformar la integral dada en otra ms sencilla mediante un


cambio de la variable independiente, basndose en la regla de la cadena, es decir en la
regla de derivacin de funciones compuestas.

Importante: Recordemos que si t=g(x), entonces: dt=g(x)dx


Se desea calcular f (g(x)).g '(x)dx .
Si consideramos t = g(x) , resulta f (g(x)).g '(x)dx = f (t) dt , y la nueva integral con la
variable t, que resulta al aplicar el mtodo, debe ser inmediata o, por lo menos, de menor
complejidad.
Por lo tanto, si F(t) es primitiva de f(t), se tiene: f (g(x)).g '(x)dx =F(g(x))+C

Ejemplos:

Anlisis Matemtico I: Integrales

1.

119

sen 4x dx . Haciendo t=4x, resulta dt=4.dx 4 dt = dx .

1
1
1
1
Entonces, sen ( 4x ) dx = sent. dt = sent dt = ( cos t ) + C = cos ( 4x ) + C
4
4
4
4

2.

senx

tgx dx = cos x dx = cos x senxdx .

Si t=cosx dt=-senxdx -dt=senxdx

Haciendo el cambio de variables,


1
1
1
cos x senxdx = t (1)dt = t dt = ln | t | +C = ln | cos x | +C

3.

x2

dx =

x 2 dx . Si t=1+x3 dt=3x2dx

1
dt=x2dx
3

1+ x
1+ x
Sustituyendo en la integral,
1
1 1
1 1/ 2
1 1/ 2
2
2
3
1 + x 3 x dx = t 3 dt = 3 t dt = 3 2t + C = 3 1 + x + C
3

4. esenx cos xdx . Considerando t=senx, resulta dt=cosx. dx.

Entonces:
x

cos xdx = e t dt = e t + C = esenx + C

1
1
1
dx . Si t= x , resulta dt =
dx 2dt =
dx .
x
x
2 x
x
1
Haciendo el cambio de variables, e x
dx = e t 2dt = 2 e t dt = 2e t + C = 2e
x

5.

senx

dx = e

 Integrales que se llevan a

1+ x

+C

dx = arc tgx + C

Para estudiar este tipo de integrales, analicemos algunos ejemplos:

1.

1 + 4x

dx =

1 + ( 2x )

dx . Al plantear esta igualdad, podemos llamar t=2x, entonces

1
dt=2dx dt = dx , y por lo tanto:
2
1

1 + 4x

dx =

1 + ( 2x )

dx =

1 1
1
1
1
1
dt =
dt = arc tgt + C = arc tg(2x) + C
2
2
1+ t 2
2 1+ t
2
2

Anlisis Matemtico I: Integrales

120

2.

9 + 4x
1

9 + 4x

dx . Si en el denominador extraemos 9 como factor comn, resulta:

dx =

1
1
1
dx =
dx
2
2
9
4x
2x

9 1 +
1+

9
3

Haciendo la sustitucin: t =

2x
2
3
, resulta dt = dx dt = dx
3
3
2

Entonces:
1
1
1
1 3
1 3
1
1
1
2x
dx =
dt =
dt = arc tgt + C = arc tg + C
2
2
2

9
9 1+ t 2
9 2 1+ t
6
6
3
2x
1+
3
1
3.
dx . Para trabajar con esta integral de forma similar a los ejemplos
10 + x 2 + 2x
anteriores, completamos cuadrados en el denominador:
1

10 + x

+ 2x

dx =

1
1
dx =
dx
10 + x + 2x + 1 1
9 + (x + 1) 2
2

Al igual que en el ejemplo 2, si en el denominador extraemos 9 como factor comn, se


1
1
1
1
1
obtiene:
dx =
dx =
dx
2
2
2
(x + 1)
9 + (x + 1)
9
9
x
1
+

1+
1+

9
3
x +1
1
Haciendo la sustitucin: t =
, resulta dt = dx 3dt = dx
3
3
Entonces:
1
1
1
1
1
1
1
1
x +1
dx =
3dt =
dt = arc tgt + C = arc tg
+C
2
2
2

9
9 1+ t
3 1+ t
3
3
3
x +1
1+

3
1

1+ x

Observacin: En general, las integrales que se llevan a


forma

1
dx con b 2 4ac < 0
ax + bx + c
2

 Integrales que se llevan a

1
1 - x2

dx = arc senx + C

Este tipo de integrales se trabaja igual que las que se llevan a

1+ x

dx .

dx

son de la

Anlisis Matemtico I: Integrales

121

Ejemplo:
Para resolver

1
8 x + 2x
2

1
8 x 2 + 2x

dx =

dx , completamos cuadrados en el denominador:

1
8 (x 2x)
2

dx =

8 (x 2x + 1 1)
2

dx =

1
9 (x 1) 2

dx

Al extraer 9 de factor comn en el denominador, se obtiene:

dx =

1
3

dx =

1
3

dx
2
x 1
1

3
x 1
1
, resulta dt = dx 3dt = dx .
Mediante el cambio de variables: t =
3
3
9 (x 1)

(x 1)
1
9

Entonces:
1
1
1
1
1
x 1
dx =
3dt =
dt = arc sent + C = arc sen
+C

2
2
2
3
3
3

t
1

t
x 1
1

3
Se resuelven de esta forma las integrales del tipo

 Integrales de la forma

sen

dx
ax + bx + c
2

, con a<0 y b2-4ac>0.

x.cos m x.dx con n 0 ,m 0

a) Uno de los dos exponentes es impar.


Ejemplos:
1. Para calcular sen 5 x.cos 2 x.dx , hay que tener en cuenta que sen 5 x = senx ( sen 2 x ) .
2

Entonces:

sen x.cos x.dx = senx ( sen x )


5

.cos 2 x.dx = senx (1 cos 2 x ) .cos 2 x.dx


2

Por la identidad pitagrica

Resulta sencillo encontrar esta integral haciendo la sustitucin t= cosx.

2. sen 5 x.cos3 x.dx = sen 5 x.cos 2 x.cos xdx = sen 5 x. (1 sen 2 x ) .cos xdx
Consideramos el menor exponente impar

que puede resolverse considerando t= senx.

Anlisis Matemtico I: Integrales

122

Para calcular sen n x.cos m x.dx con n impar y m par, hay que tener en cuenta que:
sen n x = senx sen n 1x
(n-1 resulta ser par), luego aplicar la identidad Pitagrica para
n 1
expresar sen x en funcin de cos2x. De esta manera, queda planteada una integral
sencilla de resolver a partir del mtodo de sustitucin.
Si ambos exponentes son impares, se elige para descomponer y aplicar la identidad
Pitagrica el factor con el menor exponente.

b) Ambos exponentes pares.


Ejemplos:
1. Para calcular cos 2 x.dx , hay que tener en cuenta que cos(2) = cos 2 sen 2 y que
adems 1 = cos 2 + sen 2 .
Sumando miembro a miembro ambas identidades, resulta:
1 + cos(2)
1 + cos(2) = 2 cos 2
= cos 2
2

Entonces:

cos

x.dx =

1 + cos(2x)
1
1
1
dx = (1 + cos(2x) )dx = dx + cos(2x)dx
2
2
2
2

La primera de las dos integrales es inmediata, mientras que la segunda se resuelve


mediante la sustitucin t=2x.

2. sen 2 x.cos 2 x.dx = sen 2 x.cos 2 xdx


2
2
cos(2 ) = cos sen
Trabajando de forma similar que al ejemplo anterior con
, pero
2
2
1 = cos + sen
1 cos(2 )
restando miembro a miembro, se obtiene cos(2 ) 1 = 2sen 2
= sen 2
2

En consecuencia:

sen x.cos
2

x.dx =

1 cos(2x) 1 + cos(2x)
1
1

dx = (1 cos 2 (2x) ) dx = sen 2 (2x).dx


2
2
4
4

Anlisis Matemtico I: Integrales

123

1 cos(4x)
, resulta:
2
1
1
1
1
sen 2 (2x)dx = (1 cos(4x) ) dx = dx cos(4x)dx

4
8
8
8
La primera integral es inmediata, y la segunda es posible calcularla considerando t=4x.

Teniendo en cuenta que sen 2 (2x) =

Para resolver sen n x.cos m x.dx con n y m pares, hay que rescribir la integral teniendo en
cuenta las siguientes identidades:
1 cos(2)
2
sen =
2

cos 2 = 1 + cos(2)

Mtodo de integracin por partes

Se basa en la regla de derivacin del producto de dos funciones derivables. Sean u(x) y v(x)
dos funciones derivables en un dominio comn, se cumple:

u.dv = u.v v.du


Demostracin:
Si u(x) y v(x) dos funciones derivables, se cumple: [ u(x).v(x)] = u(x).v(x) + v(x).u '(x)
( u( x ).v( x ))' dx = v( x ).u( x )dx + u( x ).v( x )dx

Pero

( u(x).v(x) ) 'dx = u(x)v(x) , entonces u( x ).v( x ) = v( x ).du + u( x ).dv

O lo que es lo mismo:

u( x ).dv

= u( x ).v( x ) v( x ).du

Para aplicar el mtodo, hay que identificar la integral dada con la frmula del mtodo: para
ello se debe descomponer el integrando en dos factores u y dv.
Aplicar bien el mtodo surge de una buena eleccin de u y dv (a partir del cual se calcula
la funcin v).
Al utilizar la frmula se reemplaza el problema de resolver
resolver

vdu , que debera ser ms sencillo.

udv

por el problema de

124

Anlisis Matemtico I: Integrales

Ejemplos:
1.

ln xdx . Si u=lnx, du= x dx .

Necesariamente, dv=dx v '(x)dx = dx v '(x)dx = dx v(x) = x


Aplicando la frmula, ln xdx = x ln x x
2.

xe

2x

1
dx = x ln x 1dx = x ln x x + C
x

dx . Si u=x du=dx. Al considerar, dv = e2xdx v(x)dx= e2xdx

v '(x)dx = e2x dx v(x) =

1 2x
e
2

Integrar mediante la
sustitucin t=2x

Aplicando la frmula,

xe

2x

1
1
1
1
dx = x e2x - e 2x dx = x e2x - e2x + C
2
2
2
4

3. I= e x senxdx . Si u=ex du=ex dx. Al considerar, dv = senxdx v(x)dx= senxdx


v '( x )dx = senxdx v( x ) = cos x
Aplicando la frmula, I= -excosx + cos xe x dx (1) . Para resolver el segundo trmino de la
igualdad (1) , es necesario aplicar nuevamente el mtodo de integracin por partes:
Con u=ex du=ex dx. Al considerar, dv = cosxdx v(x)dx= cosxdx
v '(x)dx = cos xdx v(x) = senx
Al reemplazar en (1), resulta: I= -excosx +ex senx - e x senxdx .
I

Entonces: I= -excosx +ex senx I 2I=-excosx +ex senx


-e x cosx + e x senx
I= e x senxdx =
+C .
2
A este tipo de integrales se las denomina cclicas.

Integracin de funciones racionales

Son de la forma:

P(x)

Q(x) dx donde P(x)

y Q(x) son funciones polinmicas.

Segn cul sea el grado de estas funciones (a las cuales llamaremos, por comodidad,
polinomios) se presentan dos casos:

Anlisis Matemtico I: Integrales

125

Grado P(x) Grado Q(x)


P(x)
indicada en el integrando para obtener el cociente
Entonces, efectuamos la divisin
Q(x)
C(x) y el resto R(x) (de menor grado que el divisor):


P(x)
R(x)

Q(x)
C(x)

Por el algoritmo de la divisin se cumple:


P(x)=C(x).Q(x)+R(x)

y podemos escribir
P(x) C(x).Q(x) + R(x) C(x).Q(x) R(x)
R(x)
=
=
+
= C(x) +
Q(x)
Q(x)
Q(x)
Q(x)
Q(x)
En consecuencia:

P(x)
R(x)
+
Q(x) dx = C(x) + Q(x) dx = 
C(x)dx

es un polinomio

R(x)

Q(x) dx

Corresponde al siguientecaso

Ejemplo:
resto de
la division

4x 3 + x 1
2
dx = (4x
+
8x + 17)dx
+
x


2 
cociente de la division
efectuamos
esta division


33
dx
x 2

divisor de
la division

Ahora integramos trmino a trmino y llegamos a

4 3
x + 4x 2 + 17x + 33ln x 2 + C que es
3

el resultado de la integral propuesta, por lo tanto:


4x 3 + x 1
4 3
2
x 2 dx = 3 x + 4x + 17x + 33ln x 2 + C

Grado P(x) < Grado Q(x)

Factoreamos el polinomio Q(x) y de acuerdo con las caractersticas de sus races (realesy/o
P(x)
complejas, simples y/o mltiples), se descompone la fraccin
en suma de fracciones
Q(x)
ms simples. Veamos los casos ms usuales.

126

Anlisis Matemtico I: Integrales

a) Todas las races de Q(x) son reales y distintas.


Ejemplo:
8x + 1
dx Sacamos el coeficiente principal de Q(x), en este caso 4, como factor
2
4x
4x 8
+

sus raices: 1 y 2

comn y escribimos:

1
8x + 1
1
8x + 1
dx (1)
dx o bien:
2

4 
x +x2
4 (x

1)(x
+
2)

sus raices: 1 y 2
polinomio anterior
factoreado

Proponemos para el integrando una descomposicin en fracciones cuya integracin es casi


inmediata:
8x + 1
A
B
=
+
(2) Con A y B constantes a determinar.
(x 1)(x + 2) x 1 x + 2
Observacin: Siendo en el primer miembro el grado del polinomio del numerador menor
que el del denominador, en cada trmino del segundo miembro tambin deber suceder lo
mismo, y como cada uno de sus denominadores es de primer grado, cada uno de los
numeradores respectivos deber ser de grado cero, de all que A y B sean constantes

Sacamos comn denominador en el segundo miembro:

8x + 1
A(x + 2) + B(x 1)
=
(x 1)(x + 2)
(x 1)(x + 2)

Como se trata de una igualdad de fracciones con denominadores iguales, los numeradores
tambin son iguales y podemos trabajar solo con ellos:
8x+1 = A(x+2)+B(x-1)
Al distribuir y reordenar el segundo miembro:

8x+1 = (A+B)x+(2A-B)

Pero esta es una igualdad entre dos polinomios, por lo tanto sus coeficientes deben
coincidir y entonces podemos formar el siguiente sistema de ecuaciones lineales:
A+B=8
cuya solucin es A=3 y B=5 (3)

2A B = 1
Ahora, al reemplazar (3) en (2) y (2) en (1) llegamos a:
1
8x + 1
1 3
5

dx =
dx +
dx

4 (x 1)(x + 2)
4 x 1
x+2
Notemos que cada integral del segundo miembro es de la forma:
K
x a dx = K.ln x a + C
1
8x + 1
1
Por lo tanto:
dx = 3ln x 1 + 5 ln x + 2 + C

4 (x 1)(x + 2)
4

Anlisis Matemtico I: Integrales

127

Aplicando propiedades bien conocidas de los logaritmos:


x 1 3
8x + 1
4x 2 + 4x 8 dx = ln x + 2 5

1/ 4

+C

Ahora, generalizamos:
Sea

P(x)

Q(x) dx donde Q(x) es un polinomio de grado n, con n races

reales bi distintas y

coeficiente principal real a. O sea, una vez factoreado, Q(x) = a(x-b1)(x-b2)(x-bn).


En consecuencia, la integral a resolver es del tipo:
P(x)
1
P(x)
a(x b1 )(x b2 ) (x bn ) dx = a (x b1 )(x b2 ) (x bn ) dx

Q(x ) ya factoreado

El integrando del segundo miembro se descompone en una suma de n fracciones ms simples


de la siguiente manera:
A1
A2
An
P(x)
siendo Ai constantes a
=
+
+ +
(x b1 )(x b 2 ) (x b n ) x b1 x b 2
x bn
determinar.
Finalmente

1
P(x)
1 A1
A2
An
dx =
dx +
dx + +
dx ,

a (x b1 )(x b 2 ) (x b n )
a x b1
x b2
x bn

donde cada integral del segundo miembro es igual a Ailn x bi


y en consecuencia:

1 n
1
P(x)
=
dx
Ai ln x bi
a i =1
a (x b1 )(x b 2 ) (x b n )

b) Todas las races de Q(x) son reales e iguales.


Ejemplo:

x 2 3x + 5
dx .
3
2
2x
6x
+ 6x 2


su raiz es 1 y es triple

+C

128Anlisis Matemtico I: Integrales

Sacamos el coeficiente principal de Q(x) como factor comn (en este caso, 2) y
1
x 2 3x + 5
1 x 2 3x + 5
escribimos: 3
dx
o
bien:
dx (1)
2 x
3x 2 + 3x 1
2 ( x 1)3

su raiz es 1 y es triple
su raiz es 1 y es triple

Proponemos para el integrando la siguiente descomposicin en suma de fracciones ms


simples:
x 2 3x + 5
A
B
C
(2) siendo A, B y C constantes a determinar.
=
+
+
3
3
2
( x 1)
( x 1) ( x 1) ( x 1)
Sacamos comn denominador en el segundo miembro:
x 2 3x + 5 A + B(x 1) + C(x 1) 2
=
3
3
( x 1)
( x 1)
Al igual que en el ejemplo anterior, trabajando slo con los numeradores:
x2-3x+5 = A+B(x-1)+C(x-1)2
Distribuyendo y reordenando:

x2-3x+5= Cx2+(-2C+B)x+(C-B+A)

Nuevamente, esta es una igualdad entre dos polinomios, por lo tanto sus coeficientes deben
coincidir y entonces podemos formar el siguiente sistema de ecuaciones lineales:
C =1

B 2C = 3 cuya solucin es A=3, B=-1 y C=1 (3)


C B + A = 5

Ahora reemplazamos (3) en (2) y (2) en (1) y escribimos:

1 x 2 3x + 5
1
3
1
1
dx =
dx +
dx +
dx
3
3
2

2 ( x 1)
2 ( x 1)
( x 1)
( x 1)

Observemos que las integrales del segundo miembro responden a las formas:
K
K
K
n +1
(x a)n dx = n + 1 (x a) + C con n>1 y x a dx = K.ln x a + C
Por lo tanto:

1 x 2 3x + 5
1 3

dx = (x 1) 2 + (x 1) 1 + ln x 1 + C
3

2 ( x 1)
2 2

Anlisis Matemtico I: Integrales

129

Ahora, generalizamos:
Sea

P(x)

Q(x) dx donde Q(x) es un polinomio de grado n, con coeficiente principal real a y con

una raz real b de multiplicidad n (o sea, posee n races reales iguales a b).
Ya factoreado, Q(x) es de la forma: a(x-b)n.
En consecuencia, la integral a resolver es del tipo:

P(x)

a(x b)



dx =

1 P(x)
dx
a (x b)n

Q(x ) una vez


factoreado

El integrando del segundo miembro se descompone en una suma de n fracciones ms simples


as:
A
A2
An
P(x)
siendo Ai constantes a determinar.
= 1 +
++
n
2
(x b)
x b (x b)
(x b) n
Finalmente

1
P(x)
1 A
A2
An
dx = 1 dx +
dx + +
dx
n
2
n

a (x b)
a xb
(x b)
(x b)

donde la primer integral del segundo miembro es igual a A1ln x b y las dems dan por
resultado: (x-b)(-n+1)/(-n+1) con n>1.

En consecuencia:

n
1
(x b)( i +1)
1 P(x)
=
A
ln
x

b
+
A
.
+C
dx

1
i
a
i + 1
a (x b) n
i=2

c) Las races de Q(x) son complejas.


Como el polinomio tiene coeficientes reales, puede demostrarse que las races complejas
vienen de a pares: 2, 4, 6, etc, adems por el teorema fundamental del lgebra, todo
polinomio de grado n tiene exactamente n races (entre reales y complejas).
Vamos a estudiar el caso ms sencillo: Q(x) tiene races complejas y es de segundo grado.
Se presentan dos casos segn sea P(x) (recordemos que Grado P(x) < Grado Q(x)):

130Anlisis Matemtico I: Integrales

P(x) es una constante.

Este caso ya se estudi cuando se trabaj con el mtodo de sustitucin: es una integral que se
1
lleva a
dx = arc tgx + C ,
1+ x2
-

P(x) es un polinomio de primer grado.

Ejemplo:

3x + 5
dx . Si extraemos el coeficiente principal del denominador como
2x
12x
+ 26



2

sus raices
son complejas

factor comn (2 en este caso) se tiene:

2(x

3x + 5
1
3x + 5
dx o bien: 2
dx (1)
6x + 13)
2 x
6x + 13

es reducido, con
raices complejas

Trabajamos el denominador, completndolo para obtener un trinomio cuadrado perfecto:


1
3x + 5
1
3x + 5
1
3x + 5
dx = 2
dx =
dx
2

2 
x 6x + 13
2 
x 
6x +9
9 + 13
2 (x 3) 2 + 4

(x 3)2

sumamos y restamos
el cuadrado de la mitad
del coeficiente lineal

+4

Ahora, extraemos el trmino lineal del denominador (en este caso, 4) como factor comn:
1
3x + 5
1
3x + 5
dx =
dx .

2
2
8 x 3 2
(x 3)

4
+ 1

+1
2
4

Si a esta ltima integral, le aplicamos la sustitucin z=(x-3)/2 dx=2dz


1 3(2z + 3) + 5
Y resulta:
2dz
8
z2 + 1
1 6z + 14
3 2z
7
1
Al distribuir y reagrupar:
dz = 2
dz + 2
dz
2

4 z +1
4 z +1
2 z +1
f(x)
Notemos que el primer trmino responde a la forma:
dx = ln f (x) + C (porque es
f (x)
posible plantear la sustitucin t=f(x)) y el segundo trmino es el arc tgz.

En consecuencia:

2x

3x + 5
3 x 3 7
x 3
dx = ln
+ arc tg
+C
12x + 26
4
2
2
2

Anlisis Matemtico I: Integrales

131

Ahora generalicemos:

P(x)

Q(x) dx

Sea

donde Q(x) es un polinomio de grado 2 con races complejas, coeficiente

principal a y P(x) es un polinomio lineal. O sea Q(x)= ax2+bx+c, con b2-4ac<0 y P(x)=mx+k.
Por tener races complejas, al polinomio Q(x) siempre podemos presentarlo en la forma:
a[(x-t)2+h] con h>0
Por lo tanto, se puede expresar la integral original en la forma:
1
mx + k
1
mx + k
dx =
dx
2

a (x t) + h
a.h x t 2

+1
h
Aplicando la sustitucin z=

xt
1 m( hz + t) + k
dx = hdz , origina:
hdz .
a.h
z2 + 1
h

Esta ltima integral trabajada algebraicamente puede presentarse como suma de dos integrales
m
2z
(mt + k) h
1
ms sencillas:
dz +
dz .
2
2

2a z + 1
a.h
z +1
v
Notemos que la primera responde a la forma: dv = ln v + C y la segunda a:
v
1
z 2 + 1 dz = arc tgz + C por lo tanto, y volviendo a la variable x, se obtiene como resultado
mx + k
m
x t (mt + k) h
xt
final: 2
dx = ln
+
arctg
+C
2a
a.h
ax + bx + c
h
h

Q(x) presenta races reales y dos complejas.

Aqu se combinan todos los casos ya vistos.


Ejemplo:

5x 2 10x + 21
dx
3
2x
14x2
+ 38x 26


una raiz es 1 y
las demas son complejas

Podemos factorear Q(x) en la forma: 2(x2-6x+13)(x-1) donde el factor (x2-6x+13) tiene dos
races complejas, para escribir:

132Anlisis Matemtico I: Integrales

5 x 2 10 x + 21
1
5 x 2 10 x + 21
dx (1)
=
dx
2 x 3 14 x 2 + 38x 26
2 ( x 2 6 x + 13)( x 1)
Proponemos descomponer el integrando en la siguiente suma de fracciones simples:
polinomio lineal

2
5x 10x + 21
Ax + B
C
= 2
(2) , siendo A, B y C constantes a determinar.
+
2
(x 6x + 13)(x 1) x
6x + 13 x 1
sus raices son
complejas

Si extraemos comn denominador en el segundo miembro:


5x 2 10x + 21
(Ax + B)(x 1) + C(x 2 6x + 13)
=
(x 2 6x + 13)(x 1)
(x 2 6x + 13)(x 1)
5x2-10x+21=(Ax+B)(x-1)+C(x2-6x+13)

O bien:

Si distribuimos y reordenamos convenientemente el segundo miembro:


5x2-10x+21=(A+C)x2+(B-A-6C)x+(13C-B)
A+C=5

y por igualdad de polinomios: A + B 6C = 10 cuya solucin es A=3, B=5 y C=2 (3)


B + 13C = 21

En consecuencia, reemplazando en
tiene:
1
5x 2 10x + 21
dx =
2 (x 2 6x + 13)(x 1)

(3) en (2) y (2) en (1) y separando en dos integrales se

1
3x + 5
1
2
dx +
dx
2

2 x 
6x + 13  
2 
x 1 

ya resuelta en un ejemplo anterior

ln x 1

Finalmente:
5x 2 10x + 21
3 x 3 7
x 3
2x 3 14x 2 + 38x 26 dx = 4 ln 2 + 2 arctg 2 + ln x 1 + C

Vamos a generalizar:
Sea

P(x)

Q(x) dx

donde Q(x) es un polinomio de grado n, con coeficiente principal real a, con

dos races complejas conjugadas, una raz real simple d y con una raz real b de multiplicidad
n-3 (o sea, n-3 races reales iguales a b).
Ya factoreado, Q(x) es de la forma: a(x2+px+q)(x-d)(x-b)n-3, donde el factor x2+px+q es el
que origina las races complejas de Q(x).

Anlisis Matemtico I: Integrales

133

En consecuencia, la integral a resolver es del tipo:

1
P(x)
dx (1)
2

a (x + px + q)(x d)(x b) n 3

Nos proponemos encontrar las constantes A, B, C, D1, D2, Dn-3 que nos permitan
descomponemos el integrando en la siguiente forma segn la naturaleza de las races de cada
factor de Q(x) aplicando los casos anteriores:
un polinomio
lineal


C
D
D2
D n 3
P(x)
Ax + B
= 2
+
+ 1 +
++
2
n 3
2
n 3
(x + px + q)(x d)(x b)
x +
px + q
x d x b ( x b)
( x b ) 






para el
para el factor
con raices
complejas

factor
con raiz
simple d

para el factor con raiz b de multiplicidad ( n 3 )

(2)
El procedimiento para obtener las constantes no difiere del utilizado en los ejemplos
desarrollados. Una vez obtenidas estas, reemplazamos sus valores en (2) y (2) en (1) y
obtenemos la integral original como suma de integrales ms sencillas:
1
P( x )
dx =
2

a ( x + px + q )( x d )( x b )n 3

D n 3
1
Ax + B
1
C
1 D1
D2
dx
+
dx
+
dx
+
dx

+
dx

2
2
n

3
( x b)
(xb)
a x + px + q
a xd
a x b

Y estas integrales se resuelven aplicando cada uno de los recursos estudiados.

134

Anlisis Matemtico I: Integral definida

APLICACIONES DE LA INTEGRAL DEFINIDA

Clculo de reas planas




rea de la regin limitada por y = f(x), x = a, x = b y = 0 , siendo f


continua en [a,b].

1) f(x) 0, x [a,b]
Por la interpretacin geomtrica de
la integral definida, resulta:
b

A= f ( x ) dx

2) f(x) 0, x [a,b]
En este caso la integral resulta negativa,
y
a

entonces: A=- f ( x ) dx = f ( x ) dx

3) f(x) cambia de signo en [a,b]


y
x
a

a) Se buscan los valores de x para los que


f(x)=0. En el ejemplo , x=c
b) Se calcula el rea como suma de reas:
A=

f ( x ) dx + f ( x ) dx
b

Ejemplo: Calcular el rea limitada por : y = ln(x-1) , el eje x , entre x=1.5 y x= 2.5
y

1.5

x
2

2.5

Anlisis Matemtico I: Integral definida

135

La curva corta al eje x en x= 2.


Luego:
1.5

2.5

A= ln(x 1)dx + ln(x 1).dx


A = x.ln(x 1) x ln(x 1)]2 + x.ln(x 1) x ln(x 1) ]2 =
1.5

2.5

=1,5. ln0,5-1,5 ln0,5-2.ln1+2+ ln1+2.5 ln1.5 - 2.5-ln1.5-2.ln1+2-ln1=


=0,5.ln0,5+1,5.ln2,5
A=1,03

rea comprendida entre dos curvas

g(x)

a) Se buscan las abscisas de los puntos de


interseccin entre las dos curvas, en el dibujo: a y b.
b)

f(x)

A=

x
a

f (x) dx g(x) dx = ( f (x) g(x) ) dx


b

Ejemplo:
Hallar el rea de la regin limitada por : x.y = 4 ; y=x ; x=8

x.y = 4
x 2 = 4 | x |= 2

x=y

x.y=4

y=x

4
x2

A = x .dx = 4 ln | x |
2
x
2

2
8

A=
2

22

82
4.ln 8 ln 2 = 32 4.ln 23 2 + ln 2
2
2

A = 30 12 ln 2 + ln 2 = 30 11ln 2 22, 38

Integrales Impropias

Calcular integrales definidas supone considerar funciones continuas en conjuntos


acotados. Si los conjuntos no son acotados o las funciones presentan alguna discontinuidad
en el intervalo de definicin, se generaliza el concepto de integral mediante las
denominadas integrales impropias.

136

Anlisis Matemtico I: Integral definida

 Integrales impropias de primera especie


(Intervalo no acotado)
Ejemplo:
Consideramos la funcin f:[0,+ ) / f(x) = e x
b

Sea b [ 0,+ ) . Consideremos F(b)= e x dx

0
b

Resulta F(b)= e x = e b + e0 = 1
0

1
eb

Se puede calcular lm F(b) = lm e x dx


b +

b +

0.
5

Entonces lm F(b) = lm 1 b = 1
b +
b +
e

0.

0
0

x
0.
5

1.
5

2.
5

0.

Se dice que la integral de primera especie de f(x)= e x en [0,+ ) (que se escribe


+

dx ) converge a 1.

0
+

Se escribe:

dx =1

Definicin:
Dada f: [a,+ ) , continua , se llama integral impropia de primera especie de f en
+

[a,+ ) (se indica:

f (x)dx ) al lmite, si existe, para b + , de F(b)= f (x)dx

a
+

f (x)dx = lm f (x)dx .
b +

Si el lmite es finito, se dice que la integral impropia converge al valor del lmite; si es
infinito, la integral impropia diverge y si el lmite no existe, se dice que oscila
Con el mismo criterio se define:
b

f (x)dx = lm f (x)dx

, siempre que el lmite exista

Anlisis Matemtico I: Integral definida

137

 Integral impropia de segunda especie


(la funcin es continua en un intervalo semicerrado)
Ejemplo: Sea : f :[0, 1) / f (x) =

1
1 x2

y sea >0

Calculamos:
1
1
1
0 1 x 2 dx = arc sen x ]0 = arc sen(1 )
Resulta F( )= arc sen (1- ).
Se puede calcular el lmite para 0+:
lm+ arcsen (1 ) =

Se llama integral impropia de segunda especie de f en [0,1) a:


1

1
1 x2

dx = lm+
0

1
1 x2

dx = lm+ arcsen (1 ) =
0

Definicin:
Sea f: [a,b) , continua en [a,b) y tal que lm f (x) = . Se llama integral impropia de
x b

f (x)dx = lm+

segunda especie de f en [a,b) a:

Con el mismo criterio se define: f (x)dx = lm+


a

f (x)dx
a

f (x)dx

a +

Puede ocurrir que la integral sea convergente, si el lmite existe y es finito, divergente, si es
infinito u oscilante, si no existe.

138 Anlisis Matemtico I: Series

SERIES
Sea la sucesin { an }n 1. Definimos a partir de ella una nueva sucesin, que llamamos
sucesin de sumas parciales, mediante:
s1=a1
s2 =a1+a2
s3=a1+a2+a3
.............................

sn=a1+a2+...+an
..........................
Es decir, la sucesin de sumas parciales asociada a { an }n 1 es la sucesin { sn }n 1
n

donde sn= a k .
k =1

Definicin:
Se llama serie de trminos an a la sucesin de sumas parciales de { an }n 1.
Como una serie es una sucesin, la serie es convergente si y slo si la sucesin de sumas
parciales es convergente.
El lmite de sn es la suma de la serie. Para expresar la suma de una serie se utiliza la

siguiente notacin:

a
k =1

. Pero, por abuso de notacin, se suele representar con el

mismo smbolo a la serie, aunque no se sepa si es o no convergente (Se lee serie de


los ak )

Ejemplos:
1
.
n.(n + 1)
El trmino general de la correspondiente sucesin de sumas parciales es:
1
1
1
sn =
+
++
.
1.2 2.3
n.(n 1)
1) Consideremos la sucesin { an }n 1 con a n =

1
1
1 1 1
1 1 1
1
1
1
= 1 ;
= ;
= ;...;
=
, se puede
1.2
2
2 .3 2 3 3 .4 3 4
n.(n + 1) n n + 1
1 1
1
1 1 1 1 1
1
escribir: s n = 1 + + + +
+
.
2 2 3 3 4
n 1 n n n +1

Como

Si aplicamos propiedad asociativa y cancelativa, resulta: s n = 1

1
.
n +1

Anlisis Matemtico I: Series

139

Como lim s n = lim 1


= 1 , decimos que la serie asociada a la sucesin dada es
n
n
n + 1
convergente y su suma es1.

1
Escribimos
=1
n =1 n. ( n + 1)

2) Sea la sucesin {bn}n1 con bn= n.


El trmino general de la correspondiente sucesin de sumas parciales
n.(n + 1) (1)
es: s n = 1 + 2 + 3 + + n =
2
Entonces: nlim
s n = lim

n.(n + 1)
= , y por lo tanto la serie asociada a la sucesin {bn} n1,
2

que escribimos

n ,

diverge.

n =1

Propiedades:

1. a k y

bk convergentes
k =1

k =1

(a k + bk ) y
k =1

k =1

k +1

(a
k =1

b k ) convergentes.

a k y a k son ambas convergentes o ambas divergentes.

2. 0 :

3. Condicin necesaria de convergencia:

a
k =1

convergente lim a n = 0
n

En efecto, si

a
k =1

converge, por definicin se tiene: lim s n = S con sn=a1+...+ an-1+ an


n

lim s n 1 = S con sn-1= a1+...+ an-1

Tambin se cumple que:

Restando miembro a miembro:


Pero:

lim ( s n s n 1 ) = 0

sn-sn-1= an lim a n = 0
n

Importante: Si lim a n 0 , la serie no es convergente


n

1
1
Ejemplo: Sea 1 + . Como lim 1 + = e 0 , se puede asegurar que la serie
n
n
n
n =1
no es convergente. Si adems tenemos en cuenta que todos los trminos son positivos,
podemos decir que la serie dada es divergente.

(1)

sn = 1 +

2 +

+ + (n 2) + (n 1) + n
n(n + 1)
2.s n = n.(n + 1) s n =
s n = n + (n 1) + (n 2) + + 3 + 2 + 1
2
n+1
n+1 n+1
3

140 Anlisis Matemtico I: Series

Series geomtricas
Definicin

a
k =1

es una serie geomtrica de razn r a k = a .r k-1 (con a y r ctes, a0)

Propiedades

1. La serie geomtrica

a r

k 1

converge |r |<1.

k =1

2. La suma de una serie geomtrica de razn r /|r |<1 es S =

a
1 r

En efecto:
Queremos encontrar la suma de n elementos de una sucesin geomtrica; es decir:
Sn = a + a.r + a.r2 +a.r3+....+a.rn-1
Multiplicamos ambos miembros por r:
Sn .r = a.r + a.r2 + a.r3 +a.r4+....+a.rn
Sn = a + a.r + a.r2 +a.r3+....+a.rn-1
Si restamos miembro a miembro, resulta: Sn - Sn .r = a - a. rn
Sacando factor comn, se tiene:
Sn (1-r) = a (1 rn)

1 rn
Sn = a 1 r
Adems cuando
a

converge a S = 1 r

a
1 n
n : Sn =

1 r 1 r

oscila

Ejemplos

3n 2
1) Consideremos la serie n +1
n =1 5
Desarrollemos los primeros trminos de la serie:

3n 2
1
1 3
1 3
=
+
+
+
=

n +1
2
3
4
3.5 5 5
n =1 5
n =1 75 5

n 1

si | r | < 1
si | r | > 1 r = 1
si r = 1

Anlisis Matemtico I: Series

141

Observemos que el primer trmino es a=

1
y que cada trmino se obtiene
75

3
. Es decir, se trata de una serie geomtrica de razn
5
1
1
3
1
r = . Como | r |<1, la serie resulta convergente y su suma es S= 75 = 75 = .
3
2 30
5
1
5
5

multiplicando al anterior por

2) Dada la expresin decimal peridica, queremos 0, 45 = 0, 45454545... , escribirla como


una serie geomtrica convergente y transformarla en fraccin a partir de la suma de la
serie.
0,45454545.....=0,45+0,0045+0,000045+........=

45
45
45
45 1
+
+
+

2
3
100 100 100
n =1 100 100

n 1

Resulta que la expresin decimal dada corresponde a una serie geomtrica de


1
cuyo primer trmino es a=0,45. Como | r |<1, la serie resulta convergente
razn r =
100
0, 45
0, 45 0, 45.100 45 5
y su suma es S=
=
=
=
=
1
99
99
99
9
1
100 100

Series de trminos positivos

Son las series

a
n =1

con an>0, n . Observemos que en este caso, la sucesin de

sumas parciales es siempre creciente, y por lo tanto, si est acotada superiormente, es


convergente; si en cambio no est acotada, es decir lim s n = +
n

Criterios de convergencia

I.- De comparacin:
Sean las sucesiones { a n} n 1 y { b n} n 1. Si se cumple que
n o N / n n 0 : 0 a n b n , entonces :

bn converge
n =1

a
n =1

converge. (Toda serie de trminos positivos que

admita una mayorante convergente, es convergente)

a n diverge
n =1

b
n =1

diverge. (Toda serie de trminos positivos que admita

una minorante divergente, es divergente)

142 Anlisis Matemtico I: Series

Consecuencia:
Si { a n} n 1 y { b n} n 1 son dos sucesiones de trminos positivos tales

a
que lm n = L > 0 se cumple que:
converge

a
b n converge

n
n b
n =1
n =1
n
Ejemplos:

5n + 7
.

n
n =1 7 + 3

1. Analicemos la convergencia de

5
5
Consideremos la serie geomtrica que es convergente porque su razn es de
7
n =1 7
mdulo menor que 1.

5n + 7
n
5n + 7 7 n
5n + 7 7n
7

n = lim n n
= lim 1 + n
Calculamos lim 7 + n3 = lim n
n
n 7 + 3 5
n
5
7 + 3 n 5
5

7

1
=1> 0

1+ 3
7n

Por aplicacin de la consecuencia del criterio de comparacin, la serie

5n + 7

n
n =1 7 + 3

converge.

2.

Llamamos serie armnica a la serie

k . Probaremos, aplicando el criterio de


k =1

comparacin que la serie armnica diverge.


En efecto, la serie armnica es:
1+

1 1 1 1 1 1 1 1 1 1
1
+ + + + + + + + + + ... + + ...
2 3 4 5 6 7 8 9 10 11
16

La comparamos con:

1+

1 1 1 1 1 1 1 1 1 1
1
+ + + + + + + + + + ... + + ...
2 4 4 8 8 8 8 16 16 16
16
1/2

1/2

1/2

La segunda serie puede agruparse de tal forma que desde el segundo trmino en
adelante se obtiene una serie geomtrica de razn 1, es decir, divergente. Entonces si la
serie armnica admite una serie minorante divergente, es divergente.
3) Se llama serie armnica generalizada o serie parmnica a la serie

1
p ) . Esta serie slo converge si p >1; en los dems casos diverge.

p (
k =1 k

Anlisis Matemtico I: Series

143

Veamos el caso p=2

1 1 1 1 1 1 1 1
1
+
+
+
+
+
+
+
+
=
2
2
2
2
2
2
2
2
2
2 3 4 5 6 7 8 9 102
n =1
1 1 1 1
1
1
1 1
=1 + + + + + +
+ +
4 9 16 25 36 49 64 81
=

1 1 1 1 1 1 1
1
La comparamos con 1 + + + + + + + +
4 4 16 16 16 16 64 64
1

Entonces:

=1 +

1
1+ 2 +
4

1
16

64

La segunda serie puede agruparse de tal forma que se obtiene una serie geomtrica de
razn 1/2, es decir, convergente. Entonces si la serie p-armnica con p=2 admite una
serie mayorante convergente, es convergente.

II.- Criterio de DAlembert


Si { a n} n 1 es una sucesin de trminos positivos tal que

a n +1
=
L
,
entonces:
L
<1

a k converge

lm
n a n
k =1

L >1

a
k =1

diverge

(Si L =1, el criterio no permite obtener conclusiones)

III.- Criterio de Cauchy


Si { a n} n 1 es una sucesin de trminos positivos tal que

lim n a n = L , entonces: L <1

L>1

k =1

converge

diverge.

k =1

(Si L=1, el criterio no permite obtener conclusiones)

IV.- Criterio de Raabe


(Se utiliza cuando al aplicar DAlembert se obtiene lmite 1)
Si { a n} n 1 es una sucesin de trminos positivos tal que

lm n n 1 = L , entonces: L >1 a k converge


n
k =1
a n +1
L<1

a
k =1

diverge

(Si L =1, el criterio no permite obtener conclusiones)

144 Anlisis Matemtico I: Series

V. Criterio integral de convergencia

Sea la serie

a
k =1

de trminos positivos decrecientes, es decir tal que ak ak+1, k

y sea f una funcin continua decreciente definida de [1,+ ) en tal que k ,

f(k)=ak, entonces si la integral impropia f (x)dx converge, la serie


1

a
k =1

tambin y

si la integral impropia diverge, la serie es divergente.

Ejemplos:
Analizar la convergencia de las siguientes series:

a)

2n

n =1 n!

Aplicando el criterio de DAlembert se tiene:


2n +1
( n + 1)! = lm 2n +1 n! = lm 2n +1n n! = lm 2 = 0 < 1 , por lo tanto
a
lm n +1 = lm
n a
n
n ( n + 1) ! 2 n
n ( n + 1) n!
n n + 1
2n
n
n!
la serie es convergente.

b)

n =1

Utilizando el criterio de Cauchy, resulta: lm n a n = lm n e n = lm


n

n n

1
en

1
< 1 la
e

serie es convergente.

1
n =1 (2n 1).2n

c)

Aplicando el criterio del cociente, se obtiene:


1
1
2
2(n + 1) 1) .2(n + 1)
(
a n +1
(2n 1).2n
n
lm
= lm
= lm
= lm
=1
n a
n
n (2n + 1).2(n + 1)
n
1
1
1
n
2 + 1 +
(2n 1).2n
n n

Como el lmites es 1, el criterio no informa acerca de la convergencia.


Veamos si el criterio de Raabe nos permite decidir acerca de la convergencia.

Anlisis Matemtico I: Series

145

(2n + 1).(n + 1)
(2n + 1)(n + 1)

lm n n 1 = lm n
1 = lm
n =
n
n

2n 1

(2n 1).n

a n +1
1
4+
2
2
2n + 3n + 1 2n + n
4n + 1
n = 2 > 1 la serie converge.
= lm
= lm
= lm
n
n

2n 1
2n 1 n 2 1
n
Tambin podemos aplicar en este caso, el criterio integral.
En efecto, deberemos analizar la convergencia de

dx
(2x 1).2x

Para buscar la primitiva, aplicamos el mtodo de reduccin a fracciones simples:

A x + Bx

1
1
1
1 A
B 1
2
=
= +
=

1
1
1
(2x 1).2x 4
4 x x 4
x. x
x. x

2
2

Para que se verifique la igualdad, debe ser:

1
1
1 = A x + Bx . Si hacemos x = se tiene: B=2 y con x = 0, se obtiene A= -2

2
2

Entonces:

dx
1 2dx
2dx 1
1
1
2x
=
+
= ln x + ln x + C = ln
+C

(2x 1).2x 4 x 1
x 2
2
2 2x 1

Por lo tanto:

1
2b 1
1
2b
1
1
dx
ln 2 = ln 2 (converge)
= lm ln
ln 2 = ln lm
b
+
b
+
(2x 1).2x
2 2b 1 2
2 
2b 1
2
2
1


0

Entonces la serie resulta convergente.

Series alternadas.

Son de la forma

(1)
k =1

a k con ak 0

Criterio de Leibniz para la convergencia de series alternadas


Si { a n} n 1 es una sucesin decreciente de trminos no negativos tal
que lim a n = 0 , entonces la serie alternada
n

(1)
k =1

a k es convergente.

146 Anlisis Matemtico I: Series

Ejemplo:

(1)n
Consideremos la serie
.
n
n =1
Analicemos si se cumplen las condiciones del criterio de Leibniz.

La sucesin

( a n )n 1

con a n =

1
es decreciente?
n

En efecto:
n < n +1

1
1
>
a n > a n +1 la sucesin es decreciente.
n n +1
1
= 0.
n n

Adems, tambin se cumple que lm

(1)n
converge segn el criterio de Leibniz.
n
n =1

Por lo tanto la serie

Series de trminos cualesquiera. Convergencia absoluta.

a n es absolutamente convergente si y slo si


n =1

an

es convergente.

n=1

Si la serie converge, pero la serie de los mdulos diverge, se dice que la serie es
condicionalmente convergente.

Ejemplos:

(1)n
.

n
n =1
Vimos que segn Leibniz, converge. Sin embargo como la correspondiente serie de

1
los valores absolutos , diverge por ser la serie armnica , diremos que
n =1 n
n

(1)
es condicionalmente convergente.

n
n =1

1) Volvamos a considerar la serie del ejemplo anterior:

2) Analicemos la convergencia de: (1) n +1


n =1

n +1
3n + 1

Anlisis Matemtico I: Series

147

n +1
1
1+
n +1
n = 1 0 . ( No cumple la
Esta serie diverge porque lm
= lm n = lm
n 3n + 1
n 3n + 1
n
1 3
3+
n
n
condicin necesaria de convergencia).

3) Por ltimo, estudiemos la convergencia de la serie (1)n +1.e n


n =1

1
< 1,
e
n =1
por lo tanto converge. Es decir la serie converge absolutamente ya que la serie de los
mdulos es convergente.

La serie de los mdulos es

Se trata de una serie geomtrica de razn r =

Propiedades:

 Toda serie absolutamente convergente es convergente.

 Si

a
n =1

es condicionalmente convergente, R, es posible encontrar un

reordenamiento { bn } de { an } tal que

b
n =1

converge a .

(Para las series condicionalmente convergentes, no vale la propiedad


conmutativa)

148

Anlisis Matemtico I: Series de potencias

I.- SUCESIN DE FUNCIONES


I.1Definicin:
Sea A[x] = { f / f:A es funcin con A R}, se llama sucesin de funciones
a toda funcin s: A[x].

Como las sucesiones numricas , las de funciones quedan caracterizadas por su


conjunto imagen.
Ejemplo:
s: N [x] / s(n)= fn(x)= xn . El conjunto imagen es:{x , x2 ,...., xn,....}
Notacin: (fn )n1 = xn
Para cada valor de x , la sucesin de funciones se transforma en una sucesin numrica
que puede o no converger.

I.2.- Definicin:
Dada la sucesin de funciones (fn )n1, de A en ( con A ), se dice que la sucesin
converge puntualmente a una cierta funcin f:B (con BA) si y slo si, para cada
x B se verifica que

lm fn(x) = f(x) .

Notacin : fnf, x B (si B=A, se indica slo fnf )


En el ejemplo:
Si x -1 x > 1, las sucesiones numricas que se obtienen divergen.
Si -1<x < 1, las sucesiones numricas que se obtienen convergen a 0.
Si x = 1, fn(1)=1n = 1, n N.

0 si 1 < x < 1
Entonces fn converge puntualmente a f:(-1,1]R/ f ( x ) =
1 si x = 1
Observacin:
Cuando se analiza convergencia puntual, se exige que: dado >0, para cada x A,
existe no() tal que para todo n no se cumple que |fn(x)- f(x)|< .
La expresin remarcada nos indica que, en realidad n0 depende de y del valor de x
considerado.

Anlisis Matemtico I: Series de potencias

149

I.3.-Definicin :
Dada la sucesin de funciones (fn )n1, de A en ( con A ), se dice que la sucesin
converge uniformemente a una cierta funcin f:B (con BA) si y slo si se
verifica que para cualquier >0, existe no() N tal que si xB y n no , entonces
|fn(x)-f(x)|< .
Obsrvese que en este caso el valor de n para un dado es el mismo, independientemente del valor de x que se considere.
En el grfico que sigue puede verse que la sucesin del ejemplo no converge
uniformemente en (-1,1] ya que para = 0,5 (rectngulo) no se verifica que,
Independientemente del valor de x, exista n0/ n n0|fn(x)- f(x)|< .

f1

f2

f3
f4

x
f

Otro ejemplo:
Consideremos A= y (fn )n1/ fn(x)=
Como:

|fn(x)|=

1
n2

sen( nx ) =

1
n2

1
n2

sen( nx ).

sen( nx )

1
n2

, resulta que si se toma n0 <

cumple que:
n n0:

1
n

sen( nx ) =

1
n

sen( nx )

1
1
<
2
n0
n0 2

, se

Anlisis Matemtico I: Series de potencias

150

Resulta que: dado >0, n0<

/ n : [n n0 f n ( x ) 0 < ]

fn converge uniformemente a f.

Puede verse que para n>1,


f1 |fn -0|<,
independientemente del
valor de x considerado.

0.75
0.5

f2

0.25

f3
-6

-4

f4

x
-2

-0.25

-0.5
-0.75
-1

I.4.-Propiedades de las sucesiones uniformemente convergentes


I.4.1.- Si una sucesin converge uniformemente, entonces converge puntualmente.
I.4..2.- Sea (fn)n1 una sucesin de funciones integrables en [a,b] que converge
uniformemente a una funcin f , tambin integrable sobre [a,b].
Entonces:

lm

n a

fn (x) dx =

f(x) dx .
a

I.4.3.- Sea (fn)n1 una sucesin de funciones continuas en (a,b) que converge
uniformemente a una funcin f . Entonces f es continua en (a,b).
I.4.4.- Sea (fn)n1 una sucesin de funciones con derivada continua en (a,b) que converge
puntualmente a una funcin f . Si (f n)n1 converge uniformemente a una funcin
continua g , entonces f es derivable en (a,b) y f (x) = lm f 'n (x) = g(x).
n

Anlisis Matemtico I: Series de potencias

151

II.- SERIES DE FUNCIONES


II.1.- Definicin
Dada la sucesin de funciones (fn)n1, definidas de A en (con A ) ,
llamaremos serie de funciones y anotaremos

f n , a la sucesin de sumas parciales


n=1

(Sk ) k 1 , siendo Sk(x) = f n ( x ) .


n =1

Si la sucesin de sumas parciales converge puntual o uniformemente a una funcin f en


A, diremos que la serie de funciones converge puntual o uniformemente ,
respectivamente, a f en A.

II.2.- Propiedades de las series uniformemente convergentes.

Sea

f n uniformemente convergente hacia f en [a,b]


n=1

II.2.1.- Entonces

f n converge puntualmente a f en [a,b].


n=1

II.2.2.- Si cada fn ( con n1) es continua en [a,b], entonces f es continua en [a,b]. =


II.2.3.- Si f y cada fn ( con n1) son integrables en [a,b], entonces:

n =1

n =1

a f ( x ) dx = a f n ( x ). dx = a f n ( x ) dx .
b

II.2.4.- Si

f n ( x ) converge puntualmente en (a,b) a una funcin f

y adems la serie

n =1

f ' n ( x ) converge uniformemente a una funcin h continua en (a,b) , entonces f es

n =1

derivable en (a,b) y f (x) = h(x) , o sea f (x)=

f 'n ( x ) .

n =1

II.3.- Prueba M de Weierstrass


Sean ( fn ) n 1 una sucesin de funciones definidas sobre A y (Mn ) n 1 una sucesin de
nmeros reales tales que :| fn (x) | M n , x A.

Si

Mn

converge , entonces x A

n=1

una funcin f (x) definida en A.

f n ( x ) converge absoluta y uniformemente a

n =1

Anlisis Matemtico I: Series de potencias

152

III.- SERIES DE POTENCIAS


III.1.- Definicin:
Se llama serie de potencias a toda serie de funciones en la que cada fn es de la
forma: f n ( x ) = a n ( x x o ) n con an , n.

Como mediante una sustitucin adecuada todas pueden llevarse a la forma

a n x n , nos
n=1

limitaremos a estudiar stas.


III.2.- Lema de Abel
Sea x0 - { 0} / la serie
r: 0 < r < |x0 |, la serie

an x n

a n x0 n

resulte convergente. Entonces:

n =1

converge absoluta y uniformemente en [-r, r]

n=1

III.3.- Radio de convergencia


III.3.1.Definicin:

Consideremos la serie de potencias

an x n

, se llama radio de convergencia de

n =1

la misma al nmero real R definido como:

R= supremo { r R0 / a n x n converge en [-r,r] } ( R puede ser 0 o infinito).


+

n =1

III.3.2.- Clculo del radio de convergencia

Sea

an x n , si existe
n=1

1
a n +1
0 l = lm n a n 0 R = .
l
n a n
n

l = lm

III.3.3.- Intervalo de convergencia

Sea an x n :
n=1

an +1
= lm n a n = , R= 0 an x n slo converge para x = 0.
n an
n
n=1
b) Si l = 0, la serie converge x y el radio de convergencia es infinito.

a) Si l m

Anlisis Matemtico I: Series de potencias

c) Si existe R finito / R 0,

153

an x n converge absolutamente en (-R,R) y debe


n=1

analizarse la convergencia en x = R y en x = - R. Si converge absolutamente en uno de


los extremos, tambin converge absolutamente en el otro. Si en uno de los extremos
diverge y en el otro converge, en este ltimo la convergencia ser condicional.
Por lo tanto, segn lo que resulte en el anlisis que se haga en los extremos, el intervalo
de convergencia puede ser: (-R,R) , [-R,R], ( -R, R] [-R, R )

Adems

an x n converge uniformemente en [-R+ , R - ],

> 0.

n=1

Ejemplos

1) Determinar el intervalo de convergencia de

(1)
n =1

Calculamos

lim

n n
x
2n

a n +1
n + 1 2n 1 1
= n +1 = 1 + , entonces:
an
2
n
2 n

a n +1
1 1 1
= lim 1 + = R = 2
n 2
n 2
an

La serie es absolutamente convergente en (-2,2)


Analizamos la convergencia en los extremos del intervalo:

n
n
n n
n n
Para x = -2, se tiene la serie (1) n (2) = (1) n (1) 2 = n
2
2
n =1
n =1
n =1

n n
n
Para x= 2, se tiene la serie (1) n 2 = (1) n
2
n =1
n =1
Ninguna de las dos series convergen porque no cumplen la condicin necesaria de
convergencia , es decir el lmite de sus trminos generales no tiende a 0.
n

Por lo tanto el intervalo de convergencia es (-2,2).


Se trabaja de manera similar para series escritas en potencias de (x-x0) con x0 0.

n +3
n
2) Determinar el intervalo de convergencia de 2n 2 ( x 1)
n =1 3 n
Calculamos

2
a n +1
n+4
32n.n 2 1
1
1
= 2(n +1)

=
1
+
1

, entonces:

2
an
3
(n +1) n + 3 9 n + 3 n +1

154

Anlisis Matemtico I: Series de potencias

a
1
1
1 1 = 1 R = 9
lim n +1 = lim 1 +
n + 1
n + 3
n a
n 9
9
n
2

La serie converge absolutamente para x 1 < 9 8 < x < 10


Analizamos la convergencia en los extremos:

Para x=10, se tiene:

n +3
n + 3 2n
n +3
n
(serie de trminos
10

1
=
3
=
(
)

2n 2
2n 2
2
n
n =1 3 n
n =1 n

3
n =1

positivos)
n +3 n
n +3 1
> 2 2 > , es decir la serie de
2
n
n
n
n
trminos positivos que se obtiene para x=10 tiene todos sus trminos mayores que los
trminos de la serie armnica. Como sta es divergente, por el criterio de comparacin,

n +3
resulta 2 divergente
n =1 n

Como n : n + 3 > n , se tiene:

Para x= -8, la serie que se obtiene es:

n +3
n +3
n +3
n
n 2n

1
=
(

1)
.3
=
(
)
32n n 2
32n n 2
(1)n n 2 (serie alternada)
n =1
n =1
n =1
Como la serie de los mdulos es la misma que analizamos para x =10, la serie no es
absolutamente convergente. Para ver si es condicionalmente convergente, veamos si se
cumple el criterio de Leibniz
1 3
n +3
 lim a n = lim 2 = lim + 2 = 0
n n
n
n n
n
n +3
n+4
 a n = 2 ; a n +1 =
, debemos ver si a n +1 < a n
2
n
(n +1)

Analizamos el signo de a n +1 a n
2
n + 3 n (n + 4) (n + 1) (n + 3)
a n +1 a n =
2 =

2
2
n
n 2 (n + 1)
(n +1)
2

n+4

a n +1 a n =
a n +1 a n =

n 3 + 4n 2 (n 2 + 2n + 1)(n + 3)
n 2 (n + 1)

n 3 + 4n 2 n 3 3n 2 2n 2 6n n 3
n 2 (n + 1)

n 2 7n 3

< 0, n n : a n +1 < a n
2
n 2 (n + 1)
Como el trmino general tiende a 0 y la sucesin de los mdulos es decreciente, la serie
cumple el criterio de Leibniz y resulta condicionalmente convergente.

Entonces el intervalo de convergencia de

n +3
n
( x 1) es [-8,10)
2n 2
n

3
n =1

Anlisis Matemtico I: Series de potencias

155

IV.- SERIES DE TAYLOR


IV.1.- Definicin
Sea f una funcin indefinidamente derivable. Se llama serie de Taylor asociada a f a la

f ( i ) ( x o ) ( x xo ) i
serie
obtenida a partir del desarrollo de Taylor de f en un
i!
i =1
entorno del punto x0.

La condicin necesaria y suficiente para que una funcin f sea igual a su serie de
Taylor asociada en x0, es que el trmino complementario de Taylor tienda a cero
cuando n .
f ( n +1) ( c )
( x x 0 ) n +1 = 0.
Es decir: lm
(
n
+
1
)!
n
Ejemplos
1)La frmula de Mac Laurin aplicada a f(x)=ex , nos permite escribir:
ex = 1+ x +

x 2 x3
x n1
ecx n
+ ++
+ Tn (x) ;con Tn (x) =
x ,0 < c < 1
2! 3!
n!
(n 1)!

Se puede probar que para cada valor de x, existe n0 ,tal que si n>n0, se cumple
n! > xn, entonces, para cada valor de x, Tn(x)0, cuando n.

es decir, la serie

xn

n! converge a f(x)=ex. Para encontrar el intervalo de convergencia,


n =1

1
(n +1)!
n!
1
calculamos lim
= lim
= lim
= 0 , entonces podemos asegurar que
n
n ( n + 1)!
n n + 1
1
n!
n

x
la serie converge a f(x)=ex , x
n =1 n!
2) La frmula de Mac Laurin aplicada a g(x)= cos x, nos permite escribir:
x2 x4 x6
x 2(n1)
n 1
cos x= 1 + + + (1)
+ T , donde
2! 4! 6!
(2(n 1))! 2n1

(1) sen(cx) 2n1


T2n1 (x) =
x , 0 < c <1
(2n 1)!
n

Anlisis Matemtico I: Series de potencias

156

Como sen(cx) 1, x , el trmino complementario tiende a 0 por la misma razn que


en el caso anterior, para cada valor de x.
1
(2n )!
(2n 2)!
1
Adems: lim
= lim
= lim
=0
n
n
n

1
2n(2n 1)
(2n )!
(2(n 1))!

Entonces, x : cos(x) = (1)


n =1

n 1

x 2n2
(2n 2)!

V. DERIVACIN E INTEGRACIN DE SERIES DE POTENCIAS


En su intervalo de convergencia, las series de potencias son derivables e integrables
trmino a trmino.

Ejemplos

1.

En el apartado anterior, se vio que x : cos(x) = (1)


n =1

n 1

x 2n2
.
(2n 2)!

Por derivacin se puede obtener el desarrollo en serie de sen(x).


En efecto:

x 2 x 4 x 6 x8
'

(cos(x)) ' = 1 + +
2! 4! 6! 8!

3
5
7
2x 4x
6x
8x
sen(x) = 0 +

+

2!
4!
6!
8!
x3 x5 x7
sen(x) = x + +
3! 5! 7!
(1)n +1 2n1
x
n =1 ( 2n 1)!

Entonces resulta que x : sen(x) =

1. Sea la serie

(1)

x n , como se trata de una serie geomtrica de razn "-x",

n =0

converge a f (x) =

1
para x (1,1)
1+ x

Anlisis Matemtico I: Series de potencias

157

Entonces x (1,1) , vale:

n +1

x
1
n n
n x
dx = (1) x dx ln 1 + x ln1
0, x (1,1)
 = (1)
0
1+ x
n +1
0
n =0
n =0

Como en (-1,1), se cumple: ln|1+ x|= ln(1+x), vale:


n +1

n x
ln (1 + x ) = (1)
, x (1,1) .
n +1
n =0

2.La serie

(1)

x 2n es geomtrica de razn "-x2", entonces , para x < 1 , la serie

n =0

converge a g(x) =

1
.
1+ x 2

Entonces en el intervalo (-1,1):

2n +1

x
dx
n 2n
n x
=

1
x
dx

arctg(x)

arctg0
=

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


1 + x 2 n =0 0
2n + 1
n =0
0

de donde: x (1,1) : arctg(x) = (1)


n =0

x 2n +1
2n + 1