Apunte de La F.R. Avellaneda

ndice
Temas Pgina
Conjuntos Numricos 1
Valor absoluto de un nmero real 3
Cotas de un conjunto. Supremo e nfimo.
Mximo y mnimo. Conjunto acotado
4
Intervalos 5
Distancia 6
Entorno . Entorno reducido 7

Clasificacin de puntos de un conjunto 8
Concepto de funcin 9
Clasificacin de funciones 10
Composicin de funciones 13
Funcin inversa 14
16
Funcin lineal 16
Funcin cuadrtica 17
Funcin homogrfica 18
Funcin exponencial 23
Funcin logartmica 25
Funciones trigonomtricas 26
Funciones circulares inversas 28
Estudio de algunas funciones
particulares
Funciones hiperblicas y sus inversas 30
Lmite
Nocin intuitiva 32
Definicin de lmite funcional 34
Lmites laterales 34
Propiedades de los lmites finitos 36
Lmite para x 0 de
x
x sen

38
Infinitsimos 40
lgebra de infinitsimos 41
lgebra de lmites finitos 46

Generalizacin del concepto de lmite 48
Continuidad Continuidad de una funcin en un punto 50
lgebra de las funciones continuas 50
Continuidad lateral 51
Continuidad en un intervalo cerrado 51
Propiedades de las funciones continuas 52
Derivada de una funcin en un punto:
Introduccin
54
Derivada de una funcin en un punto:
Definicin
56
Interpretacin geomtrica 57
Recta tangente y normal al grfico de una
funcin en un punto
57
Relacin entre continuidad y derivabilidad 60
Funcin derivada 61
Derivadas sucesivas 62
Derivadas
Reglas y frmulas de derivacin 63
72
Definicin e interpretacin geomtrica 72
Derivacin de funciones definidas en forma
paramtrica
74
Diferencial
Derivacin de funciones definidas en forma
implcita
75

76
Crecimiento y decrecimiento 76
Relacin entre el crecimiento y el signo de y 76
Extremos absolutos y locales 77
Condicin necesaria para la existencia de
extremos relativos
78
Teorema de Rolle 79
Teorema del Lagrange ( o del Valor medio) 81
Teorema de Cauchy 82
Concavidad y convexidad. Punto de inflexin. 83
Relacin entre la concavidad y el signo de y 84
Estudio de Funciones 85
Problemas de mximos y mnimos 89
Propiedades de las funciones
derivables
Regla de LHospital 90
92
Definicin. 94
Interpretacin geomtrica. Propiedades 94
Teorema del valor medio del clculo integral 94
Funcin rea. Teorema fundamental del clculo
integral
95
Concepto de primitiva. 96
Regla de Barrow 96
Integral definida
Funciones con derivadas iguales 97
97
Clculo de reas planas 97
Clculo de rea entre dos curvas 98
Aplicaciones de la integral
definida
Clculo de la longitud de un arco de curva 99
101
De primera especie 101
Integrales impropias
De segunda especie 102
Introduccin 104 Polinomio de Taylor
Deduccin 107
Generalidades 110 Sucesiones
Sucesiones acotadas, convergentes,
divergentes y oscilantes
112
Generalidades 113
Series geomtricas 113
Criterios de convergencia para series de
trminos positivos
114
Series alternadas .Criterio de Leibnitz 116
Series
Series de trminos cualesquiera. convergencia
absoluta y condicional
116
Generalidades 117 Sucesin de funciones
Convergencia puntual y uniforme 118
Definicin y propiedades 119 Serie de funciones
Prueba M de Weierstrass 120
Definicin. Lema de Abel 121
Radio e intervalo de convergencia 121
Serie de potencias
Series de Taylor y Mac Laurin 122

Anlisis Matemtico I- Nmeros reales

1

NMEROS REALES
Introduccin: Conjuntos numricos

Notacin:

Conj unto de nmeros naturales: N= {1,2,3,....}, N
0
={0,1,2,3,...}

Conj unto de nmeros enteros: Z= {......,-3,-2,-1,0,1,2,3,4,...}

Conj unto 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.

Q =
p
q
p Z q Z mcd p q / { } ( , )
'
0 1 = {fracciones} U Z

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

Ejemplos:

2 35
235
100
47
20
, (expresin decimal finita)
2 353535 2 35 2
35
99
198 35
99
233
99
, .... , +
+
(expresin decimal peridica pura)

2 35555 2 35 2
35 3
90
2
32
90
2
16
45
90 16
45
106
45
, ... , +

+ +
+
)
(expresin decimal
peridica mixta)

Se verifican las siguientes propiedades:

1)Entre dos nmeros racionales siempre hay otro racional . (Se dice que Q es un conjunto
denso)

2) 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 1 1 2
2 2
+ .

Se puede probar que 2 no puede escribirse como cociente de dos nmeros enteros, luego
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 peridicamen-
te.
3
0 1 2

2

Aqu les presentamos 100 decimales de 2 , obtenidos con el programa Mathematica.

1.41421356237309504880168872420969807856967187537694807317667973799073247
84621070388503875343276415727

Existen otros nmeros cuya expresin decimal consta de infinitas cifras que no se repiten
peridicamente. Por ejemplo:
Obtenemos 3 con 100 decimales

1.7320508075688772935274463415058723669428052538103806280558069794519330
169088000370811461867572485757

5 con 100 decimales

2.23606797749978969640917366873127623544061835961152572427089724541052092
5637804899414414408378782275

con 200 decimales

3.14159265358979323846264338327950288419716939937510582097494459230781640
628620899862803482534211706798214808651328230664709384460955058223172535
940812848111745028410270193852110555964462294895493038196

Conj unto de nmeros irracionales:
Los nmeros que llevados a la forma decimal tienen infinitas cifras decimales que NO se repi-
ten peridicamente no son racionales. Constituyen el conjunto de los nmeros irracionales
que indicaremos con I.

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 2.
2
2
2 2

p
q
p q p
2
es par
Pero si el cuadrado de un nmero es par, entonces el nmero en cuestin tambin lo es, es
decir : p es par
1
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.

1
En efecto, si p fuese impar, existira un nmero entero k / p = 2 k + 1, enton-
ces sera:
p
2
= ( 2 k + 1 )
2
= 4 k
2
+ 4 k + 1. Por lo tanto p
2
sera impar. Absurdo


3

Sin embargo es absurdo que p y q sean pares porque en ese caso la fraccin sera simplifica-
ble, en contra de lo supuesto.El absurdo provino de suponer que 2 es racional. En conse-
cuencia: 2 no es racional.

Conj unto de nmeros reales: R = Q U I

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.
R tambin es un conjunto denso.

Valor absoluto o mdulo de un nmero real:

Sea a R: | | a
a s i a
a s i a
<
'
0
0

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

Propiedades:
1) | 0 | a :| R a
| a| = 0 a=0
2) a R a a a : | | | |
3) + + a R R a b a b , : | | | | | |
4) a R R a b a b , : | | | | | |
5) a R R a b a b , : | . | | | . | |
6) Si k R
+
: | | a k k a k
7) Si k R
+
: | | a k a k a k

Para tener en cuenta:
a) x R
0
+
x x
2
Conclusin:
b) x R
-
: x x
2
x R : x
n n
| x | si n es natural par.
c) x R : x x
3 3

x R : x
n n
x si n es natural impar.

Como slo se puede simplificar exponente e ndice de una raz de ndice par si se sabe que el
radicando es no negativo, debemos recordar que:

MUY IMPORTANTE
son pares

4

Ejemplo:
x x x x x x x x
2 2 2
. .

Cota superior e inferior de un conjunto.

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

k R 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 R es una cota inferior de A si y
slo si todos los elementos de A son mayores o iguales que k.

En smbolos: k R 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.
Intervalos

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

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

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

Nombre Notacin Definicin Representacin
Intervalo abierto a,b (a,b) { x R / a < x <b}

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

Definicin
de cuadra-
do
El mdulo
de un pro-
ducto es =
al producto
de los m-
dulos
Definicin
de cuadra-
do
Puedo simplificar
exponente e ndice porque
el radicando es no negativo

(
a
)
b

5

Intervalo semiabierto a derecha
o semicerrado a izquierda
[a,b) { x R / a x <b}

Intervalo semiabierto a izquier-
da o semicerrado a derecha
(a,b] { x R / a < x b}

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

Notacin Definicin Representacin
[ a , +) { x R / a x }

( a , +) { x R / a < x }

(- , b] { x R / x b }

(- , b) { x R / x < 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 n-
mero 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:

R = ( - , + )

Distancia en R:

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 B d(A;B)= |b - a|
| |
a b
Propiedades

La distancia es una funcin que le asigna a cada para de puntos un nmero real que cumple
con las siguientes condiciones:

i) La distancia entre dos puntos cualesquiera del espacio es no negativa .
A,B:( AR BRd(A,B) 0 )

ii) La distancia entre dos puntos es cero si y slo si los puntos son coincidentes.
(
a
(
a
a
b
a
b
)
b
)
b

6

A,B:( AR BR [d(A,B)=0 A = B] )

iii) Verifica la propiedad simtrica.
A,B: (AR BR d(A,B)= d(B,A) )

iv) Verifica la propiedad triangular.
(A,B, C : AR BR CR d(A,B) + d(B,C) d(A,C)


7
Entorno de un punto:

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

(////|////)
a- a a+
E(a; ) ={x R /d(x;a) < }={ x R /| x - a | < }={x R/ - < x-a < }

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

Un entorno es siempre un intervalo abierto. Adems cualquier intervalo abierto puede escri-
birse 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.

(a, b ) = E
b a b a +
_
,
2 2
;
Entorno reducido:
Es el entorno sin su centro

E(a; )=E(a; )- {a}= { x R / d(x;a) < x a}

E(a; )= { x R / d(x;a) < d(x;a) 0}={ x R / 0<d(x;a) < }

E(a; )={ x R / 0 < | x - a | < }

Clasificacin de puntos de un conjunto

Sea C R
I.- a es punto interior de C si y slo si existe al menos un entorno de a totalmente incluido
en C

En smbolos:
a es punto interior de C >0 / E(a; ) C

Al conjunto de puntos interiores de C lo indicamos C
o
.
Un conjunto es abierto si y slo si todos sus puntos son interiores.

C es abierto C = C
o

(\\\ \\\
a-
a+
)

por definicin de dis-
tancia
aplicando prop. de mdu-
lo

8
II.- a es punto exterior a C si y slo si existe un entorno de a al que no pertenece ningn
elemento de C.

a es punto exterior a C > 0 / E( ; ) C a

III.- a es punto f rontera de C si y slo si no es interior ni exterior.

Frontera de un conj unto es el conjunto al que pertenecen todos los puntos frontera del mis-
mo.

IV.- a es punto aislado de C si y slo si a C pero existe un entorno reducido de a al que
no pertenecen puntos de C.

a es punto aislado de C a C > 0 / ' ( ; ) E A a

V.- a es punto de acumulacin de C si y slo si cualquier entorno reducido de a tiene
interseccin no vaca con C.

En smbolos:
a es punto de acumulacin de C >0 ,E( a; ) C

Al conjunto de puntos de acumulacin de C , lo llamamos conj unto derivado de C y lo indica-
mos C.

Un conjunto es cerrado si y slo si le pertenecen todos sus puntos de acumulacin.

En smbolos:
C es cerrado C C

.
Ejemplo:

Consideremos C = { x R/ | x - 2 | < 3 v 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 R/-1<x<5 v x = 7}

C
o
= {x R/ -1 < x < 5} F
C
= {-1,5,7}
7 es punto aislado C = [ -1, 5]

El conjunto no es abierto ni cerrado.

Concepto de funcin:
(
-1 C 5
7


9

Ejemplo:

Como todos sabemos muchos satlites artificiales giran en torno a la Tierra. Para colocarlo 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 t 10000 013 6500
2 3
. , .
Este es el grfico:

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 indepen-
diente 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 sat-
lite. por otra parte esa altura, en cada caso, es nica. Decimos que la altura es funcin del
tiempo

Para generalizar esta idea definimos el concepto de f uncin.

Consideremos dos conjuntos cualesquiera A y B, no vacos, y un conjunto f de pares orde-
nados (x;y) tales que x es elemento de A e y es elemento de B .
-10.00
-5.00
0.00
5.00
10.00
15.00
20.00
25.00
30.00
35.00
40.00
0 2 4 6 8 10 12 14 16 18 20 22 24 26
t (en horas)
h

(
e
n

m
i
l
e
s

d
e

k
m
)

10
Decimos que f es una f uncin 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 es funcin f AxB
' x A, y B / (x;y) f (Existencia de la imagen)
(x;y
1
) f (x;y
2
) f y
1
= y
2
(Unicidad de la imagen)

Trabajaremos con funciones en las que A y B son subconjuntos de R. 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 corres-
ponde 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 conj unto imagen. (Im(f)).

Clasificacin de funciones
Consideremos una funcin f : A B

a) 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 x x f x f x x x
1 2 1 2 1 2
, :[ ( ) ( ) ]
Ejemplos:
1) f: RR
+
0
/ f(x) = x
2
no es inyectiva pues f(1) = f(-1) pero 1 -1

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

2) f * : R
0
+
R/ f(x) = x
2
x
y

11

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 sobre-
yectiva 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: RR
+
0
y resulta Im(f) = R
+
0

Si se define f **: RR , si bien el grfico no se modifica, la funcin no ser a 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.
Por ejemplo:

f R R f x x
1 0 0 1
2
: / ( )
+
es sobreyectiva.
En efecto:
i) f
1
es inyectiva
Sean x
1
R
0
-
x
2
R
0
-
/f
1
(x
1
)= f
1
(x
2
) x x x x
1
2
2
2
1
2
2
2
x x
1 2

Como x
1
R
0
-
x
2
R
0
-
, sus mdulos son iguales a sus opuestos es decir: - x
1
= - x
2

Luego x
1
= x
2
, de donde f
1
es inyectiva.

ii) f
1
es sobreyectiva.

x
y
f * es inyectiva.
En efecto:
Sean x
1
R
0
+
x
2
R
0
+
/
f *(x
1
)= f *(x
2
)
x x x x
1
2
2
2
1
2
2
2
, como
las bases en los radicandos
de ambos miembros son NO
negativas, es vlida la
simplificacin de exponente
e ndice, entonces resulta:
x
1
= x
2
y por lo tanto f*
es inyectiva.
Tambin resultara inyecti-
va si se tomase como domi-
nio R
-

0
.


12
Sea y R y x y x x y x y
+
0
2
/ | | (Existe pues y
+
R
0
)

Si tomamos x R x y
0
/ , resulta f
1
(x) = f
1
( ( ) y y y )
2

Hemos probado que:
+
y R x y R y f x
0 0 1
, / ( ) , por lo tanto f
1
es sobreyectiva
De i) y ii) se tiene f
1
biyectiva

y
x
Anlisis Matemtico I: Funciones

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

Podemos pensar en una funcin h:AC / h(x)=g[f(x)]
Es decir , la funcin h podra representarse as:

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

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)
Veamos algunos ejemplos:
1) Sea f:RR/ f(x) = 2x + 1 y g: RR/ g(x) = x
2

Como Im(f) = D(g), puede definirse la funcin g
0
f:RR/
(g
0
f)(x)=g[f(x)]=g(2x+1)=(2x+1)
2

Como Im(g) = R D f
0
+
( ), tambin puede definirse: f
0
g: R R/

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

Con este ejemplo podemos concluir, adems ,que la composicin de funciones no es conmutati-
va.

2) Sea f :R R f x x
+
/ ( ) ln y g: R R g x x
0
+
/ ( )
Observamos que Im(f)= R , mientras que Im(g)= (- ,0]
Resulta que como Im(f)D(g), el dominio de g
0
f ser aquel subconjunto del D(f) tal que su
imagen por f sea (-, 1]; es decir aquellos nmeros reales cuyo logaritmo natural sea mayor o
igual que 1.
Si lnx 1 x e.
A
B
C
f
g
a
b
c
1
2
m
n
d 3
A
d
c
b
a
C
n
m
h

14
Entonces podemos definir: g
0
f: [e,+)R/ (g
0
f) (x) = g[f(x)]= - lnx

En cambio, como Im(g)D(f) = , la composicin f
0
g no puede realizarse.

Funcin identidad

Dado un conjunto A no vaco, se llama identidad en A a la funcin Id
A
:AA / Id
A
(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
Id
A
= f , y Id
B

0
f = f .

Definida de R en R , la identidad es y = f(x) = x

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 / f
0
f
-1
= Id
B
y f
-1

0
f = Id
A

Observacin importante: La condicin necesaria y suficiente para que f
-1
sea funcin es que
f sea biyectiva.

Obtencin de la funcin inversa
Consideremos f: RR/ f(x) = x
3
+ 1.
Es sencillo deducir del grfico que esta funcin es biyectiva:

Representamos a continuacin, en un mismo grfico la funcin y su inversa:

x
y
Si f: RR es biyectiva, entonces
existe f R R x f y

1 1
: / ( ), 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 = x
3
+ 1 x y 1
3
.
Para evitar problemas en la repre-
sentacin grfica hacemos un cambio
de nombre a las variables: como en
la funcin inversa x representa
imgenes, la anotaremos como y; co-
mo y indica un elemento del domi-
nio, lo reemplazaremos por x.
Entonces:
f R R y f x x

1 1
3
1 : / ( )

15
f
f
-1
y
x

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.

Por ejemplo , si se desea obtener la funcin inversa de f:RR/ f(x) = x
2
, deberemos restrin-
gir dominio y codominio (tal como se vio en pg.12) para transformarla en biyectiva. Es de-
cir, definimos f
1
:R R f x x
0 0 1
2 +
/ ( ) . Ya probamos que as definida, resulta biyectiva. En-
tonces existe f R R
1
1
0 0
+
: / x = f y
1
1
( )
Si y = x
2
, entonces | x |= y x y x y . Como x
R x y
0

Para facilitar la representacin , cambio de nombre las variables y resulta que:
f R R f x x
1
1
0 0 1
1 +
: / ( )
Veamos la representacin de ambas funciones:

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

f(x)
x
2 4 6 8 10 10 -2 -4 -6 -8 -10 -10
2
4
6
8
10 10
-2
-4
-6
-8
-10 -10
f
f
-1

. Anlisis Matemtico I: Funciones

16
Estudio de algunas funciones particulares
1. - Funcin lineal

f:R R 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.

Las rectas paralelas al eje y no representan funciones, ya que a un mismo elemento del domi-
nio le corresponderan infinitas imgenes. La ecuacin de tales rectas responde a la forma x=
k.
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: RR/f(x)=y = mx + b con m0
Es fcil ver que f es biyectiva, entonces existe f
1
: RR, 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
x=my+b x-b = my
m
b
x
m
y
1

Es decir: f
1
: RR/ f
-1
(x)=
m
b
x
m

1

Busquemos la funcin inversa de : RR/f(x)=-2x +5.
Como m = -2 y b=5, resulta que f
1
: RR est definida por: f
-1
(x)=
m
x
5
2
1

Representamos ambas funciones en un mismo sistema de ejes cartesianos:

2. - Funcin cuadrtica

f:R R es una funcin cuadrtica s y slo s f(x) = a x
2
+ b x + c (a0)
f(x)
y=f
1
(x)
y=x
y=f(x
)
Si m > 0, la recta forma un
ngulo agudo con el semieje
positivo de las x.
Si m < 0, la recta forma un
ngulo obtuso con el semieje
positivo de las x
f(x)
x
10 -10
10
-10
y = 2 x + 5
5
2
4
f(x)
x
10 -10
10
-10
2
4
4
y = - 2 x + 4


17
Casos particulares:
i)Representaremos funciones del tipo f: RR de la forma f(x) = a x
2
(a0), con el objeto de
determinar el efecto que produce el coeficiente a.

ii) Analizaremos funciones del tipo +
2
ax R/f(x) R : f
Al introducir un trmino independiente, la curva experimenta traslaciones sobre el eje y.

iii) Las funciones de la forma ( )
2
x a ) x ( f / R R : f estn desplazadas sobre el eje
x.

-15
-10
-5
0
5
10
15
20
x
y

y=x
2
y=2x
2
Vrtice
V=(0;0)

Eje de simetra: x=0

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

0
R

Si f
1
(x)= a
1
x
2
y f
2
(x)=a
2
x
2
,
siendo
|a
1
|<|a
2
|, entonces el grfico
de f
1
es ms abierto que el
2
x
2
1
y

2
x y
-4
-2
0
2
4
6
8
10
12
14
-4 -2 0 2 4

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

f
3
(x)=x
2
-2
Vrtice : Conjunto imagen:
Para f
1
: V=(0;3) Im(f
1
)=[3,+)
f
2
:V=(0;0) Im(f
1
)= [0,+)
f
3
:V=(0;-2) Im(f
1
)=[-2,+)

Eje de simetra: x=0

x
f
3
(x)=-(x
2
+2)
y
Vrtice :
Para f
1
: V=(1;0)
f
2
:V=(0;0)
f
3
:V=(-2;0)
Conjunto imagen:
Im(f
1
)=Im(f
2
)= [0,+)

y
x
20
40
60
80
f
2
(x)=x
2

18

iv)El caso general, expresado en su forma ms simple, cannica, responde a la
expresin: +
2
) x ( a ) x ( f / R R : f . Esta parbola tendr su vrtice en (;), su eje
de simetra en x= y su conjunto imagen ser [,+), si a>0, o bien (-,].
Por ejemplo: f: 3 ) 1 x ( 2 ) x ( f / R R
2
+ +

Si efectuamos las cuentas indicadas obtenemos:
En el ejemplo:
y= -2(x+1)
2
+ 3,
desarrollando el cuadrado
y= -2(x
2
+2x +1)+3
y= -2 x
2
- 4x 2 +3
y= -2 x
2
- 4x +1
En general:
y= a(x-)
2
+
del binomio se tiene
y=a(x
2
-2x +
2
)+
y= a x
2
-2ax +a
2
+
y= a x
2
-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:

y
x
10 -10
10
-10

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


19
En el ejemplo: En general:

y= -2 x
2
- 4x +1 y= a x
2
-2ax +(a
2
+ )

Extraemos como factor comn

entre el trmino cuadrtico y el lineal, el coeficiente de x
2
:
y=-2(x
2
+2x) +1 y=a(x
2
-2x) +(a
2
+ )

Dentro del parntesis, sumamos y restamos el cuadrado de la mitad del coeficiente de x:
y=-2(x
2
+2x + 1 1) +1 y=a(x
2
-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=-2(x+1)
2
+2+1 y=a(x-)
2
a
2
+(a
2
+ )
y = - 2 (x+1)
2
+3 y= a(x-)
2
+


20
Definidas de R en R , las funciones cuadrticas NO son biyectivas. Sin embargo puede traba-
jarse con restricciones del dominio y codominio de tal forma que se transformen en biyecti-
vas y sea posible calcular las inversas de las funciones que se obtienen mediante la restric-
cin.
Ejemplo:
Trabajaremos con la funcin del ejemplo anterior
Ya hemos obtenido su expresin cannica:
f: 3 ) 1 x ( 2 ) x ( f / R R
2
+ +
Podemos obtener dos funciones biyectivas:
3 ) 1 x ( 2 ) x ( f / ] 3 , ( ) , 1 [ : f
y , 3 ) 1 x ( 2 ) x ( f / ] 3 , ( ] 1 , ( : f
2
2 2
2
1 1
+ + +
+ +

Existen, por lo tanto, ) , 1 [ ] 3 , ( f y ] 1 , ( ] 3 , ( : f
1
: 2
1
1
+

.
Para encontrar sus frmulas partimos de : 3 ) 1 x ( 2 y
2
+ +
Cambiamos el nombre de las variables:
3 ) 1 y ( 2 x
2
+ +
Despejamos y:
2
) 1 y (
2
3 x
+

2
x 3
1 y v
2
x 3
1 y
2
x 3
| 1 y |

+
+
Si trabajamos con f
1
, dbemos obtener imgenes menores o iguales que 1, por lo tanto:
2
x 3
1 y

.
Es decir, la funcin inversa de f
1
es:
2
x 3
1 ) x ( f / ] 1 , ( ] 3 , ( : f
1
1
1
1

,
y la funcin inversa de f
2
es :
2
x 3
1 ) x ( f / ) , 1 [ ] 3 , ( : f
1
2
1
2

+ +

3.- Funcin homogrfica

f(x)
x
10 -10
10
-10
y=x
1
1
f

1
f

f(x)
x
10 -10
10
-10
y=x
1
2
f

2
f


21
f: AR, con AR es homogrfica si y slo si f(x)=
d cx
b ax
+
+
, con ) d cx ( k b ax 0 c + +
(Las condiciones que se imponen obedecen a que en caso de no cumplirse, la funcin se redu-
ce a una funcin lineal)
Para que el cociente pueda realizarse, debe ser : 0 d cx + ,
'

c
d
R A
Como en el caso de la funcin cuadrtica, analizaremos distintos casos particulares hasta
llegar al ms general.

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

y
x
10 -10
10
-10
f
1

y
x
10 -10
10
-10
f
2

y
x
10 -10
10
-10
f
3

y
x
10 -10
10
-10
f
4

Anlisis Matemtico I:Funciones

22

Observamos que el signo de a determina en qu cuadrantes estn las dos ramas de la curva :
a >0 el grfico en cuadrantes 1 y 3
a<0 el grfico en cuadrantes 2 y 4
Adems, a mayor valor absoluto de a, la curva crece o decrece menos abruptamente
b)

x
1
) x ( f / R } { R : f
Representaremos :
4 x
1
) x ( f y
4 x
1
) x ( f
2 1
+

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

d)El caso general , en su forma cannica, responde a la
expresin:
+
x
a
) x ( f / } { R } { R : f , que tiene por asntota horizontal: y=, y
por asntota vertical: x=.

f y
x
10 -10
f
1
f
2
4 -4

Para f
2
, la
asntota
vertical es
x=-4 El
dominio es
A=R{-4}
Para f
1
, la
asntota
vertical es
x=4
El dominio es
A=R -{4}
y
x
10 -10
10
-10
f
1
3

x
1
2 ) x ( f ;
x
1
3 ) x ( f
2 1
+ +
y
x
10 -10
10
-10
f
2
-2


23

Ejemplo:
2 x
3
4 ) x ( f
(1)

Si operamos resulta que f(x)=
2 x
11 x 4
2 x
3 ) 2 x ( 4

(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 x-2
2 x
3
4
2 x
11 x 4

-4x + 8 4
0x -3

4.- Funcin exponencial

R R : f es una funcin exponencial si y slo si responde a la forma :f(x)= a
x
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:
- Cualquiera sea a ( siempre que cumpla con las condiciones pedidas), f(0)=1
- Si a > 1: )] x ( f ) x ( f x x [ : x , x
2 1 2 1 2 1
< < , es decir, f resulta estrictamente
creciente.
(Pensar que, por ejemplo:
3 2
2 2 < )

y
x
10 -10
10
-10
f
2
3


24

Si 0<a<1: )] x ( f ) x ( f x x [ : x , x
2 1 2 1 2 1
> < es decir, f resulta estrictamente
decreciente

- Dadas dos funciones exponenciales
x x
b ) x ( g y a ) x ( f , si a< b, para un mismo
valor de x, resulta :
Bases x>0 x<0
mayores que 1 f(x)<g(x) f(x)>g(x)

entre 0 y 1 f(x)>g(x) f(x)<g(x)

0
1
2
3
4
5
6
7
8
9
-3 -2 -1 0 1 2 3 4
x
y
0
1
2
3
4
5
6
7
8
9
-3 -2 -1 0 1 2
3
y
x

f(x)=2
x
x
2
1
) x ( f

,
_

Anlisis Matemtico I :Funciones

25
5.- Funcin logartmica

Definida de R en R
+
, la exponencial f(x) = a
x
con a > 1 y a 0, por lo tanto existe f
1
,
definida de R
+
en R .
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 = log
a
x

Resulta que llamamos funcin logartmica a la funcin f: , x log ) x ( f / R R
a

+

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 surgen pensando en la simetra que existe entre
una funcin y su inversa.

6.- Funciones circulares o trigonomtricas

y = l o g
o ,5
x
x
y = ( 0 , 5 )
x
y
y = l o g
2
x
y = 2
x
x
y

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

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

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

+
y
x
1
- 1

y
x
11
-1 -1

27

Caractersticas de las funciones:

Las funcines y = sen x e y = cos x son acotadas . (Im
f
=[-1,1] ); peridicas con perodo 2.
La primera es impar (senx=- sen(-x),x), y la segunda par (cosx=cos(-x),x).

La funcin tangente No es acotada ( su conjunto imagen es R), es impar y peridica con
perido .

Frmulas usuales de trigonometra:

Z k con ,
2
). 1 k 2 ( a , 1 a g cot . a tg
Z k con ,
2
). 1 k 2 ( a , 1 a sec . a cos
Z k con , k a , 1 a ec cos . a sen
1 a cos a sen
2 2
+

+

Z k con , k a , a ec cos a g cot 1
Z k con ,
2
). 1 k 2 ( a , a sec a tg 1
Z k con ,
2
). 1 k 2 ( a , a tg
a cos
a sen
2 2
2 2
+
+ +
+

2
a 2 cos 1
a sen
2
a 2 cos 1
a cos
2
q p
sen .
2
q p
sen 2 q cos p cos
2
q p
cos .
2
q p
cos 2 q cos p cos
2
2
+

+
+

y
x
( )
2
q p
cos .
2
q p
sen 2 q sen p sen
a sen a cos a 2 cos
a cos . a sen 2 a 2 sen
b sen . a sen b cos . a cos b a cos
b sen . a cos b cos . a sen ) b a sen(
2 2
t
t

t
t t


28
7.- Funciones circulares inversas
a) Funcin Arco seno

Definida de R en R , 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 x

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

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 = s e n x
x
y = a r c s e n
x

29

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

y
x
y = a r c c o s x
y = c o s x
y = t g x
y
x
y = a r c t g x

30
8.- Funciones hiperblicas
Veremos slo tres:
a) Sh:
2
e e
Shx ) x ( f / R R
x x

b) Ch:
2
e e
Chx ) x ( f / R R
x x
+

c) Th:
x x
x x
e e
e e
Thx ) x ( f / R R

Shx es biyectiva de R en R, por lo tanto admite inversa. Si Shx se expresa a partir de
exponenciales, es lgico pensar que su inversa , que se llama Argumento Sh x, puede
expresarse a partir de logaritmos.
y= Shx
y 2 Ch
4
e e . e 2 e
4
| e e . e 2 e 4
x 1
4
e e . e 2 e
x
2
e e
x Shy x
2
y 2 y y y 2 y 2 y y y 2
2
y 2 y y y 2
2
y y
+ +
+ +
+
+

Resulta: x=
2
e e
y y
Sumando miembro a miembro

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

+
+

Relaciones usuales

Chx
Shx
Thx
x 2 Ch x Sh x Ch
1 x Sh x Ch
2 2
2 2
+

y
y = S h x
y = A r g S h x
x

31

x
y = A r g C o s h x
y = C h x
y
Anlisis Matemtico I: Lmite

32
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: a) que sea un nmero ( lmite finito), quesea, en valor absoluto, ma-
yor que cualquier nmero positivo que se nos ocurra (lmite infinito), o que no podamos defi-
nir el comportamiento ( no existe lmite)

Un ejemplo:

Consideremos la funcin f:
1 x
1 x
) x ( f / R A con , R A
3

Es obvio que A = R {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 acer-
can 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
1
0.999 0.99 0.9 0.5
f(x)
3.813 3.310 3.030 3.003
?
2.997 2.970 2.710 2.313

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.
y
x
0.5 1.0 1.5 2.0 2.5 2.5 -0.5 -0.5
0.5
1.0
1.5
2.0
2.5
3.0
3.5
4.0
4.5
5.0
5.5
6.0
6.5 6.5


33
Para mostrar esta situacin, escribiremos: 3
1 x
1 x
lm ) x ( f lm
3
1 x 1 x

.

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:

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

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: 1 x x ) x ( g / R R
2
+ +

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:

3 ) 1 x x ( lm
1 x
) 1 x x ).( 1 x (
lm ) x ( g lm ) x ( f lm
2
1 x
2
1 x 1 x 1 x
+ +
+ +

Observacin: 1 x si slo , 1
1 x
1 x

, 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 ambiguas, deberemos ser ms precisos con la ex-
presin. 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.

Lmite funcional: (lmite finito-variable finita)

.

En smbolos
Para factorizar x
3
-1, buscamos
una raz: x
3
-1=0 x=1
Aplicamos Ruffini para dividir
x
3
-1 por x-1
1 0 0 -1
1 1 1 1
1 1 1 0

Entonces: x
3
-1=(x-1).(x
2
+x+1)
Consideremos una funcin f: A R / y = f(x) con A R y
tambin el punto x
o
, punto de acumulacin de A
Decimos que
lx x
o
lm
f x l
( ) si y slo si para cualquier n-

mero positivo , es posible determinar otro nmero positivo
que dependa de , tal que todos los valores de "x" perte-
necientes al dominio de f y a un entorno reducido de x
o
de
amplitud tengan su imagen a una distancia de "l" menor
que .
f(x)

x
x
0
- x
0

xx
x
0
+
y
x
+ +


34
] | l ) x ( f | ) , x ( ' E x A x [ : x / 0 ) ( , 0 l ) x ( f lm
0
x x
0
< > >

Veamos adems, que existen slo dos "formas" de acercarse a x
o
, 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
Definicin

Considero una funcin f:AR, con A R, y x
0
punto de acumulacin de A.
Decimos que el lmite para xx
0
por la derecha es
d
si y slo si para cualquier >0 es posi-
ble determinar un semientorno reducido de x
0
, con x > x
0
, 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 .

En smbolos:
] | ) x ( f |
o
x x
o
x A x [ : x / 0 ) ( , 0
x x
) x ( f lm
0
< + < < > >
+
d
l
d
l
Con el mismo criterio podemos definir lmite por la izquierda:
Decimos que el lmite para xx
0
por la izquierda es
i
si y slo si para cualquier >0 es posi-
ble determinar un semientorno reducido de x
0
, con x < x
0
, 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 .

En smbolos:
y
x

d
+

f(x)

d

d

x
0
x

x
0
+
x
0
- x x
0

y
x

i
f(x

i
-

35
] | ) x ( f |
o
x x
o
x A x [ : x / 0 ) ( , 0
x x
) x ( f lm
0
< < < > >
i
l
i
l

Por 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:

0 ] x [ lm
1 ] x [ lm
1 x
1 x
] x [ lm
1 x

y

x

1
0
U.T.N. Anlisis Matemtico I:Lmite
Facultad Regional Avellaneda

36
Propiedades de los lmites finitos:
Consideremos f A : con , R A R y x
0
punto de acumulacin de A
1) Si
) x ( f lm
0
x x
entonces existe un entorno reducido de x
o
en el que la funcin permanece
acotada.

2) Si
) x ( f lm
0
x x
y k es un nmero real tal que < k, entonces existe un entorno reducido de
x
o
en el que la funcin tambin es menor que k. Con el mismo criterio si > k , entonces
existe un entorno reducido de x
o
en el que la funcin tambin es mayor que k .

3)Consecuencia:

Si aplicamos la propiedad anterior pensando que k k son cero, podemos asegurar que:
Si una funcin tiene lmite finito distinto de cero, para xx
0
, existe un entorno reducido de x
0

en el que la funcin conserva el signo del lmite.

4)Si dos funciones f y g son tales que ,
2
x x
1
x x
) x ( g lm ) x ( f lm
o o
,

siendo
1
< <
2

x
0
- x
0
x
0
+ x
y

+

+
y
x
x
0
-9


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

5)Consecuencia
Si una funcin admite lmite finito para xx
0
, ste es nico.
En efecto, supongamos que.
Si l
1
< l
2
, existira, por la propiedad 4), un entorno reducido de x
0
en el que: f(x) <f(x)

Si l
2
< l
1
, existira, por la propiedad 4), un entorno reducido de x
0
en el que: f(x) <f(x)
El absurdo surge de suponer que l
1
l
2
. Luego resulta: l
1
= l
2.

6)Si en un entorno reducido de x
o
(punto de acumulacin del dominio de dos funciones f y g) se
cumple que f(x) < g(x), entonces ) x ( g lm ) x ( f lm
0 0
x x x x

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

7) Sean tres funciones f, g y h tales que en un entorno reducido de x
o
, se verifica que
f(x)< g(x)< h(x).
f( x)
g ( x )
x
0
1
1
2
absurdo
y
x
x
0
1
f ( x )
g ( x )


38
S, l

) x ( h lm ) x ( f lm
0 0
x x x x
entonces, l
) x ( g lm
0
x x

Teorema

El lmite para x0 de senx/x es igual a 1
Tesis: 1
x
x sen
lm
0 x

Quedaron formados dos tringulos rectngulos y entre ellos, un sector circular.
Se cumple que:
rea

OPQ rea OPA rea OMA
V
)

PQ OP
2
1
x OP
2
1
MA | OM
2
1

Multiplico por 2 los tres miembros de la desigualdad y reemplazo:
x cos
x sen
x x sen x cos
x tg . 1 x . 1 x sen x cos

Demostracin.
Considero el arco x=
AP / 0< x <
2

Resulta:
x tg PQ
x sen AM
x cos OM
1 OP

f(x)
g(x)
h(x)
O M
A
Q
U.T.N. Anlisis Matemtico I: Lmite

39
Como para 0 < x <
2
, se cumple senx >o, divido los tres miembros de la desigualdad por senx:
x cos
1
x sen
x
x cos < < (1)

Observacin: Como cos (-x)= cos x y
x sen
x
x sen
x
) x sen(
x
, la relacin (1) tambin es

vlida para -
2
< x < 0 .

Invertimos los tres miembros de la desigualdad:

x cos
1
x
x sen
x cos
x cos
x
x sen
x cos
1
< < > >
Como 1
x
1
lm x cos lm
0 x 0 x

, por propiedad de los lmites finitos
1
, al tomar lmite para xx
0
,
resulta:
1
x
x sen
lm 1
0
x x

De donde:
1
x
x sen
lm
0
x x

Nota: Se podra haber tomado lmite directamente en la relacin (1) en cuyo caso se hubiese
probado que:
1
x sen
x
lm
0
x x

Algunas aplicaciones:

a) 1
x cos
1
x
x sen
lm
x
x cos
x sen
lm
x
x tg
lm
0 x 0 x 0 x

b) 3 1 . 3
x 3
x 3 sen . 3
lm
x
x 3 sen
lm
0 x 0 x

Infinitsimos

1
Si en un entorno reducido de x
o
, las funciones f y g, que tienen lmite finito
para xx
0
, verifican que
f(x) <g(x), entonces : ) x ( g lm ) x ( f lm
0 0
x x x x

1
multiplico numera-
dor y denominador
por 3
1

40
Una funcin (x)es un infinitsimo para xx
0
si y slo s 0 ) x ( lm
0
x x

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

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

La funcin h(x)= 0,000001 no es un infinitsimo para ningn valor de x ya que su lmite es siem-
pre 0,0000010.

Importante

Toda f uncin con lmite f inito para x x
0
se puede escribir como su lmite ms otra f un-
cin que es un inf initsimo para x x
0
.

En efecto:
Consideremos f:AR/
) x ( f lm
0
x x
.Definimos: ) x ( f ) x ( / R A : .(*)

x
y

y
x
-1 0 1

y
f( x)

41

Resulta 0 ) x ( lm
0
x x

, entonces de (*) se tiene:

f(x) = + (x), siendo 0 ) x ( lm
0
x x

.
lgebra de infinitsimos

1)La suma de dos funciones que sean infinitsimos para xx
0
es un infinitsimo para
xx
0

Hiptesis: 0 ) x ( lm ; 0 ) x ( lm
2
x x
1
x x
0 0

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

Demostracin:
Por definicin de lmite, si:
[ ] < > >

0 ) x ( ) ; x ( ' E x D x : x / 0 ) ( , 0 0 ) x ( lm
1 1 0 1 1
x x
0
(1)
Del mismo modo, si:

[ ] < > >

0 ) x ( ) ; x ( ' E x D x : x / 0 ) ( , 0 0 ) x ( lm
2 2 0 2 2
x x
0
(2)

Si llamamos
2
x 3
1 ) x ( f / ) , 1 [ ] 3 , ( : f
1
2
1
2

+ +

, podemos asegurar al sumar miembro a miembro (1) y (2)que:
< + 2 ) x ( ) x ( ) ; x ( ' E x D D x [ : x
2 1 0 2 1
'
Como el mdulo de una suma es siempre menor o igual que la suma de los mdulos, resul-
ta: | ) x ( | | ) x ( | ) x ( ) x (
2 1 2 1
+ +
Por propiedad transitiva podemos asegurar que: ' ) x ( ) x (
2 1
< +


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

2)El producto de dos funciones que sean infinitsimos para xx
0
es un infinitsimo para xx
0
.
Hiptesis: 0 ) x ( lm ; 0 ) x ( lm
2
x x
1
x x
0 0

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

Demostracin:
[ ] < > >

0 ) x ( ) ; x ( ' E x D x : x / 0 ) ( , 0 0 ) x ( lm
1 1 0 1 1
x x
0
(1)
Del mismo modo, si:

[ ] < > >

0 ) x ( ) ; x ( ' E x D x : x / 0 ) ( , 0 0 ) x ( lm
2 2 0 2 2
x x
0
(2)

Si llamamos } ; { mn
2 1
, podemos asegurar , si multiplicamos miembro a miembro (1)y(2),
que:
2
2 1 0 2 1
) x ( ) x ( ) ; x ( ' E x D D x [ : x < '

Como el mdulo de un producto es igual al producto de los mdulos,se tie-
ne: | ) x ( | | ) x ( | ) x ( ) x (
2 1 2 1

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

2 1
> >
] ' 0 )] x ( ) x ( [ ) ; x ( ' E x D D x [ : x
2 1 0 2 1
<

Entonces:
( ) 0 ) x ( ). x ( lm
2 1
x x
0

43

3) Producto de un infinitsimo por una funcin acotada

Ejemplo:
Consideremos la funcin
x
sen ) x ( f / R } 0 { R : f
p
= - Veamos su grfico:

Observamos que en un entorno reducido de 0 la funcin no est definida y oscila , es decir
x
sen lm
0 x
, aunque la funcin permanece en [-1,1].

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

Vemos que
x
sen x lm
0 x
=0, ya que si bien la funcin oscila en un entorno reducido de cero, esa

oscilacin es cada vez menor.

44
El producto de un infinitsimo para xx
0
por una funcin acotada en un entorno reducido de x
o

es un infinitsimo para xx
0

H) 0 ) x ( lm
0
x x

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

T) 0 ) x ( ). x ( f lm
0
x x

Demostracin:
[ ] < > >

0 ) x ( ) ; x ( ' E x D x : x / 0 ) ( , 0 0 ) x ( lm
1 0 1
x x
0
(1)
Adems , por hiptesis:
+
< R k con , k ) x ( f : ) h ; x ( ' E x
o
(2)
Si llamamos } h ; { mn
1
, podemos asegurar , si multiplicamos miembro a miembro (1)y(2),
que: < k ) x ( f ) x ( ) ; x ( ' E x Df D x [ : x
0

Como el mdulo de un producto es igual al producto de los mdulos,se
tiene: | ) x ( f | | ) x ( | ) x ( f ) x (
Por propiedad transitiva podemos asegurar que: ' ) x ( f ) x ( <

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

Entonces:
( ) 0 ) x ( f ). x ( lm
0
x x

Cociente de dos infinitsimos

El cociente de dos infinitsimos puede dar:

a) 0
Ejemplo: 0 x lm
x
x
lm
0 x
2
0 x

. 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

b)

y=x
2
y=x

45
Ejemplo:
x
1
lm
x
x
lm
0 x
2
0 x
. Obviamente significa que el infinitsimo del numerador es de
menor grado que el del que est en el denominador.

c) k/ k0, k1
Ejemplo:

4 ) 2 x ( lm
2 x
) 2 x ).( 2 x (
lm
2 x
4 x
lm
2 x 2 x
2
2 x
+

d) 1
Ejemplo:
1
x
x sen
lm
0 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.

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

y= sen
x
y= x


46
lgebra de lmites finitos
1) Si dos funciones tienen lmite finito para xx
0
, entonces el lmite de su suma es igual a la
suma de sus lmites.
Hiptesis:
2
x x
1
x x
) x ( g lm ; ) x ( f lm
0 0

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

Demostracin:

[ ] < > >
1 1 0 f 1 1
x x
) x ( f ) ; x ( ' E x D x : x / 0 ) ( , 0 ) x ( f lm
0
(1)
Del mismo modo, si:

[ ] < > >
2 2 0 g 2
x x
) x ( g ) ; x ( ' E x D x : x / 0 ) ( , 0 0 ) x ( g lm
0
(2)

Si llamamos } ; { mn
2 1
, podemos asegurar al sumar miembro a miembro (1) y (2)que:
< + 2 ) x ( g ) x ( f ) ; x ( ' E x D D x [ : x
2 1 0 g f
'

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

2 1
> >
] ' ) ( )] x ( g ) x ( f [ ) ; x ( ' E x D D x [ : x
2 1 0 g f
< + +
Entonces:
( )
2 1
x x
) x ( g ) x ( f lm
0
+ +

2) Si dos funciones tienen lmite finito para xx
0
, entonces el lmite de su producto es igual al
producto de sus lmites.

Hiptesis:
2
x x
1
x x
) x ( g lm ; ) x ( f lm
0 0

Tesis: ( )
2 1
x x
. x ( g ). x ( f lm
0

.

Demostracin:

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

Entonces:

47
0 ) x ( lm siendo , ) x ( ) x ( f / ) x ( ) x ( f lm
1
x x
1 1 1 1
x x
0 0
+

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

Entonces podemos escribir:

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

Tomamos, en ambos miembros, lmite para xx
0

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

Resulta:
( )
2 1
x x
. x ( g ). x ( f lm
0

3) El lmite de un cociente de dos funciones que tienen lmite finito para xx
0
, 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
) x ( f lm
0
x x
entonces [ ]
n n
x x
) x ( f lm
0

.(Si n es fraccionario, debe ser 0 > )

5) Si
) x ( f lm
0
x x
y k
+
R , entonces
k k lm
) x ( f
x x
0

6)Si
2
x x
1
x x
) x ( g lm ; ) x ( f lm
0 0

, y 1 0
1 1
> , entonces [ ]
2
0
1
) x ( g
x x
) x ( f lm

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

es
constante
son 0 por ser producto
de infinitsimo por
funcin acotada
es 0 por ser
producto de
infinitsimos

48
Generalizacin del concepto de lmite

1.- Lmite finito variable infinita:
Sea f:AR, con A R, A no acotado

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

Esta definicin puede dividirse en dos , si se considera x+ x- .

2.- Lmite infinito variable finita

Sea f:AR, con A R, x
o

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

Sea g:AR, con A R, x
o
] ) x ( g ) ; x ( ' E x A x [ : x / 0 ) ( , 0 ) x ( g lm
0
x x
0
< > >

Tambin puede definirse lmite infinito (sin signo).
1

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

-
f( x)
f ( x )

x
0
- x
0
x
0
+
f(x
)
x
x
x
0
- x
0

x +
-

g(x)

49
] | ) x ( h | ) ; x ( ' E x A x [ : x / 0 ) ( , 0 ) x ( h lm
0
x x
0
> > > t

3.- Lmite infinito, variable infinita
Sea f:AR/ A R y A no acotado.

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

-

x
x
h(x
))
y
x
x
x
-

f(x)
y

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

U.T.N. Anlisis Matemtico I: Conti-
nuidad

50
Continuidad de una funcin en un punto

Consideremos una funcin f:AR, con A R, y x
0

Decimos que f es continua en x
0
si y slo si se cumplen las siguientes tres condiciones:

1.- f x ( )
0

2.-
lmf x finito
x x
( )
0

3.- lmf x
x x
( )
0
= f (x
0
)

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

2
-30

1

1
Esta funcin presenta una discon-
tinuidad esencial en x=2 pues
lmf x
x
( )

2

f
y
x
y
x
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.
y

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

nuidad

51
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.

1

lgebra de funciones continuas.

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

Continuidad lateral

f es continua a derecha en x = x
0
1.- f x ( )
0

2.-
+
lmf x finito
x x
( )
0

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

f es continua a izquierda en x = x
0
1.- f x ( )
0

2.-

lmf x finito
x x
( )
0

3.- lmf x
x x
( )

0
= f (x
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(x
0
)
x
y
x
y
f(x
0
)
x
x
0
x
y

f(1
)
1
nuidad

52

y

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

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

2.- Segundo teorema de Weierstrass

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

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

3.- Teorema de los ceros de Bolzano

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

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

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

4.- Teorema del valor intermedio
a c
b x
f es conti-
nua en
[a,b]

x

g es continua en
(a,b) pero no en
[a,b]

x
a
y
a c
b=d x
y

M

m
y
nuidad

53

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] T) c a b f c k ( , ) / ( )
M mximo absoluto de f en [a,b]
m mnimo absoluto de f en [a,b]
k R / m < k < M

y
x
a c b
f(a
f(b

U.T.N Anlisis Matemtico I: Derivada

54

Derivacin de funciones escalares

1.- Derivada de una funcin en un punto

I ntroduccin:
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 per-
sona 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 co-
hete alcanza una altura de t
2
km sobre la Tierra. Calculamos las variaciones de altura corres-
pondiente a los intervalos de tiempo [t
0
; t
1
] y determinamos la relacin (tasa de cambio) entre
ambas variaciones (velocidad media).
t
o
(seg) t
1
(seg) h
0
(km) h
1
(km) t (seg.) h ( Km)
Vel.media=

,
_
seg
Km
t
h

1 2 1 4 1 3 3
1.5 2 2.25 4 0.5 1.75 3.5
1.9 2 3.61 4 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

Observamos que a medida que los intervalos de tiempo alrededor de 2 seg, son menores, la velo-
cidad media se va acercando al 4. Es decir, alrededor del instante t= 2 seg, las velocidades
medias se van aproximando a 4 km/seg.
Si consideramos que la relacin entre la altura y el tiempo transcurrido es h(t) = t
2
, la velocidad
media en el intervalo [2; t] [t;2] es
2 t
4 t
2 t
) 2 ( h ) t ( h
v
2
m

Para calcular la velocidad en el instante t
0
= 2 seg, deberemos considerar el lmite para t2 de
la velocidad media:
4 ) 2 t ( lm
2 t
) 2 t ).( 2 t (
lm
2 t
4 t
lm ) 2 ( v
2 t 2 t
2
2 t
+

(Km/seg)

U.T.N Anlisis Matemtico I: Derivada

55

Interpretemos estas relaciones geomtricamente. Grafiquemos la funcin h(t)= t
2
, con
0t180

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

0
5000
10000
15000
20000
25000
30000
35000
0 20 40 60 80 100 120 140 160 180 200
h ( e n k m )
t ( e n s e g )

0
4
0
1
2
3
5
h ( e n k m )
t ( e n s e g . )
U.T.N. Anlisis Matemtico I:Derivadas

56
Las pendientes de estas rectas secantes corresponden a los cocientes
t
h
(velocidad media)
para cada uno de los intervalos mencionados. Cuando 0 t , las rectas secantes van desli-
zndose hasta coincidir ambas, teniendo 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 0 t , del cociente
t
h
. Es decir, la pendiente de la recta tangente representa la vel o-

cidad instantnea para t = 2 seg.

Definicin

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

Resulta:

Como una derivada es un lmite pueden darse una de estas tres situaciones: que sea un nmero,
que sea infinito o que no exista.
0
4
0
2
h ( e n k m )
t
t ( e n s e g )

x0
f(x
0
)
x

f(x)
x
f
Po
P
Se llama derivada de f en x
o
al
lmite, si existe, del cocien-
te
0
0
x x
) x ( f ) x ( f
, cuando
0
x x .

Notacin: f (xo)=Df(xo)=
0
x
dx
dy
1
]
1

0
0
x x
0
x x
) x ( f ) x ( f
lm ) x ( ' f
o


57

Definicin:
f es derivable en xo si y slo si existe y es finito el lmite para
0
x x de
0
0
x x
) x ( f ) x ( f

Interpretacin geomtrica de la derivada de una funcin en un punto

Entonces, si la recta secante tiende a la recta tangente, 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 ta n-
gente a C 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), y

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 ta n-
gente y normal a C en P0
.

Si el lmite del cociente in-
cremental d:
entonces la ecuacin de la
recta tangente es:
y la ecuacin de la recta nor-
mal es:
+ -

x=x0 y=f(x0)
0

y=f(x0) x=x0
f (xo)0

y- f(x0)=f(x0).(x -x0-)
y - f(x0)=
) x ( ' f
1
o
(x -x0-)

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.
x
0
f(x
0
)
x
f(x)
x
f
Po
P
s
t
t
El cociente
0
0
x x
) x ( f ) x ( f
(cociente incre-
mental), representa la pendiente de la recta
secante a la curva C, representativa de la
funcin.
Cuando
0
x x , el punto P resbala sobre
la curva hasta coincidir con P0, la recta
secante alcanza una posicin lmite que co-
rresponde a la recta tangente.

Comentario:

58

I) f(x) =
x
1
en x0= 1

1
x
1
lm
) x 1 (
x
x 1
lm
1 x
1
x
1
lm ) 1 ( ' f
x x
) x ( f ) x ( f
lm ) x ( ' f
1 x 1 x 1 x
0
0
x x
0
o

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

II) g(x)=
3
1 x en x0=1

+

3
2
1 x
3
1
1 x
3
1 x
0
0
x x
0
) 1 x (
1
lm
1 x
) 1 x (
lm
1 x
0 1 x
lm ) 1 ( ' g
x x
) x ( g ) x ( g
lm ) x ( ' g
o

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

y
x
1 22 -1 -2 -2
1
22
-1
-2 -2
n
t

-2,5
-2
-1,5
-1
-0,5
0
0,5
1
1,5
2
2,5
-8 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10
y
x
t
n

59

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

0
2 x
) 2 x (
lm
2 x
4 x 4 x
lm
2 x
) 1 2 . 4 2 ( 1 x 4 x
lm ) 2 ( ' h
x x
) x ( h ) x ( h
lm ) x ( ' h
2
2 x
2
2 x
2 2
2 x
0
0
x x
0
o
+ +

La ecuacin de la recta tangente es y=3, y la de la recta normal es x=2

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

+ +
2 x
| 2 x | 2
lm
2 x
) 3 | 4 2 . 2 (| 3 | 4 x 2 |
lm ) 2 ( ' j
x x
) x ( j ) x ( j
lm ) x ( ' j
2 x 2 x
0
0
x x
0
o

-7
-6
-5
-4
-3
-2
-1
0
1
2
3
4
-2 -1 0 1 2 3 4 5 6
y
x
t
n


60
) 2 ( ' j
2
2 x
) 2 x ( 2
lm
2 x
| 2 x | 2
lm
2
2 x
) 2 x ( 2
lm
2 x
| 2 x | 2
lm
) 2 ( ' j
2 x 2 x
2 x 2 x

'

+ +

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

2.-Relacin entre continuidad y derivabilidad

Teorema: Condicin necesaria para que una funcin sea derivable

Si f es derivable en x0 entonces es continua en x0.

Demostracin: Alcanza con probar que ) x ( f ) x ( f lm
o
x x
0

En efecto:
f derivable en x0 y es finito el
0
0
x x x x
) x ( f ) x ( f
lm
0

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

Pero si una funcin tiene lmite finito se puede escribir como suma de su lmite ms un infinitsi-
mo, es decir:

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

0
1
2
3
4
5
6
7
8
9
10
-2 -1 0 1 2 3 4 5 6
y
x

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

61

) x ( f ) x ( f
0
) x x ).( x ( ) x x ).( x ( ' f
0 0 0
+

+ ) x ( f ) x ( f
0
) x x ).( x ( ) x x ).( x ( ' f
0 0 0
+

0 0 0
x x
0
x x x x
lm ) x ( f lm ) x ( f lm

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

+ +
0 ). x ( ' f ) x ( f ) x ( f lm
0 0
x x
0
0. 0 ) x ( f ) x ( f lm
0
x x
0

f es continua en x0

IMPORTANTE:La propiedad recproca no es cierta.

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

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

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

3.- Funcin derivada

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

Consideremos f:AR y llamemos B al subconjunto de A /

B={a A/
a x
) a ( f ) x ( f
a x
lm finito es y
}; podemos definir una nueva funcin de B en R 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.

cte
.
cte
.
U.T.N. Anlisis Matemtico I: Derivadas

62
Por ejemplo:

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

a x
a sen x sen
lm ) a ( ' f
a x
) a ( f ) x ( f
lm ) a ( ' f
a x a x

Como sen p sen q = 2 sen
2
q p
cos
2
q p +
, resulta:

2
a x
cos .
2 .
2
a x
2
a x
sen
2 lm
a x
2
a x
cos .
2
a x
sen 2
lm ) a ( ' f
a x a x
+

= a cos
2
a 2
cos

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.

Reglas y frmulas de derivacin

Demostraremos a continuacin algunas reglas y frmulas de derivacin que nos permitirn en la
mayora de los casos, conocer la derivada de una funcin en distintos puntos sin necesidad de
aplicar, en cada caso, la definicin.

REGLAS Y FRMULAS DE DERIVACIN

1
multiplicando y dividiendo
por 2 el denominador

63
FUNCIN DERIVADA FUNCIN DERIVADA
y = u(x)+v(x) y= u(x)+v(x) y= arc sen x
y
x
'
1
1
2

y= u(x).v(x) y= u(x).v(x)+u(x).v(x) y= arc cos x
y
x
'
1
1
2

y
u x
v x
( )
( )

) x ( v
) x ( ' v ). x ( u ) x ( v ). x ( ' u
' y
2

y = arc tg x
y
x
'
+
1
1
2

y= k. u(x) y = k. u (x) y = arc sec x
1 x x
1
' y
2

si |x|>1
y= k y=0 y= arc cosec x
y
x x
'

1
1
2
si |x|>1
y =x y=1 y = arc cotg x
y
x
'

+
1
1
2

y = x
n
y=n. X
n-1
y=Shx y= Ch x

x y
x 2
1
' y
y=Chx y= Sh x
y = sen x y=cos x y=Th x y= Sech
2
x

y = cos x y=- sen x y= Sech x y= - Sech x. Th x

y= tg x y= sec
2
x y = Cosech x y= Cosech x. Cotgh x

y = sec x y= sec x. tg x y= Cotgh x y= - Cosech
2
x

y= cosec x y= - cosec x. cotg x y= Arg Shx
y=
1
1
2
x +

y = cotag x y = - cosec
2
x y= Arg Chx
y
x
'
1
1
2
si |x|<1
y = e
x
y= e
x
y=Arg Thx
y
x
'
1
1
2
si |x| <1
y= a
x
y=a
x
lna y=(f
o
g)(x) y= f
u o
g
x

siendo u = g(x)

y = ln x
y
x
'
1

Deducciones de reglas de derivacin:
a) Derivada de una suma de funciones


64
Hiptesis: f(x)= u(x) + v(x) Tesis: f (a)= u(a)+ v (a)
u(x) y v(x) derivables en x=a

Demostracin:

) a ( ' v ) a ( ' u
a x
) a ( v ) x ( v
a x
lm
a x
) a ( u ) x ( u
a x
lm
a x
)] a ( v ) x ( v [ )] a ( u ) x ( u [
a x
lm ) a ( ' f
a x
)] a ( v ) a ( u [ )] x ( v ) x ( u [
a x
lm ) a ( ' f
a x
) a ( f ) x ( f
a x
lm ) a ( ' f
+
+ +

b) Derivada de un producto de funciones

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

Demostracin:

) a ( ' v . ) a ( u ) a ( v . ) a ( ' u ) a ( ' f
a x
) a ( v ) x ( v
a x
lm ) a ( u
a x
lm ) x ( v
a x
lm
a x
) a ( u ) x ( u
a x
lm ) a ( ' f
a x
) a ( v ) x ( v
) a ( u
a x
lm ) x ( v
a x
) a ( u ) x ( u
a x
lm ) a ( ' f
a x
)] a ( v ) a ( u ) x ( v ) a ( u ) x ( v ). a ( u ) x ( v ) x ( u
a x
lm ) a ( ' f
) x ( v ). a ( u numerador
el en restamos y sumamos
a x
) a ( v ). a ( u ) x ( v ). x ( u
a x
lm ) a ( ' f
a x
) a ( f ) x ( f
a x
lm ) a ( ' f
+

(*) ) a ( v ) x ( v lm
a x

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

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

def. de
derivada
def. de
derivada
por ser
cte.
(*)

65
Hiptesis: f(x)=
) x ( v
) x ( u
, v(a) 0 Tesis: f (a)=
) a (
2
v
) a ( ' v ). a ( u ) a ( v ). a ( ' u


Demostracin:

a x
) a ( v ) x ( v
a x
lm
) a ( v ). x ( v
) a ( u
a x
lm
) a ( v ). x ( v
) a ( v
a x
lm
a x
) a ( u ) x ( u
a x
lm ) a ( ' f
) a ( v ). x ( v ). a x (
) a ( v ) x ( v
) a ( u
a x
lm ) a ( v
) a ( v ). x ( v ). a x (
) a ( u ) x ( u
a x
lm ) a ( ' f
) a ( v ). x ( v ). a x (
)] x ( v ) a ( u ) a ( v ) a ( u ) a ( v ). a ( u ) a ( v ) x ( u
a x
lm ) a ( ' f
) a ( v ). a ( u numerador el en sumamos y restamos
a x
) a ( v ). x ( v
) x ( v ). a ( u ) a ( v ). x ( u
a x
lm
a x
) a ( v
) a ( u
) x ( v
) x ( u
a x
lm ) a ( ' f
a x
) a ( f ) x ( f
a x
lm ) a ( ' f

f (a) = u(a) .
) a ( v ). a ( v
) a ( v
-
) a ( v ). a ( v
) a ( u
.v (a)

(*) ) a ( v ) x ( v lm
a x

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

Resulta: f (a)=
) a (
2
v
) a ( ' v ). a ( u ) a ( v ). a ( ' u

Deduccin de algunas frmulas de derivacin

a) Derivada de una constante

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

def. de derivada
(*)
def. de derivada

66
b) Derivada de una funcin potencial

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

Demostracin:
Para salvar la indeterminacin podemos aplicar Ruffini en el numerador

1 0 0 0.....0 0 -a
n

a a a
2
a
3
a
n-2
a
n-1
a
n
x
n
- a
n
=(x a).(x
n-1
+a.x
n-2
+a
2
.x
n-3
+...+a
n-2
.x+a
n-1
)
1 a a
2
a
3
...a
n-2
a
n-1
0

Entonces:
1 n
trminos n
1 n 2 n 2 3 n 3 n 2 2 n 1 n
a x
a . n
a x
a x a x . a x . a x . a x ( ) a x (
lm ) a ( ' f

+ + + + + +
4 4 4 4 4 4 4 4 4 4 8 4 4 4 4 4 4 4 4 4 4 7 6

Observacin: La demostracin vale para n natural, pero la frmula es vlida para exponente
negativos y racionales

Consecuencia:
Si f(x) =
x 2
1
x .
2
1
) x ( ' f x x
2
1
2
1

c) Derivacin de funciones trigonomtricas

c1) Derivada de y = sen x ( ver pg.62)
c2) Derivada de y = cos x
( Es similar a la anterior. Usar cosp - cosq= -2 sen
2
q p
sen
2
q p +
)
c3) y = tg x=
x cos
x sen

Derivando como cociente se tiene: y =
x cos
x sen x cos
x cos
) x sen . ( x sen x cos . x cos
2
2 2
2
+

y = x sec
x cos
1
2
2

c4) y = cotg x=
x sen
x cos

y = x g cot
x sen
1
x sen
x cos x sen
x sen
x cos . x cos x sen . x sen
2
2 2
2 2
2

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

67
c5) y = sec x = x tg . x sec
x cos
x sen
x cos
1
x cos
) x sen ( 1 x cos . 0
' y
x cos
1
2

c6) y = cosec x = x g cot . x ec cos
x sen
x cos
x sen
1
x sen
x cos . 1 x sen . 0
' y
x sen
1
2

d) Derivada de la funcin logartmica

Definicin: e=
n
n n
1
1 lm
,
_
+

Hiptesis) f(x)= ln x Tesis) f (x)=
x
1

Demostracin:

Pero por propiedad de los logaritmos, resulta:

f (a)=
0 x
lm

x
1
a
x
1 ln lm
a
x
1 ln
x
1
0 x
,
_

+
1
]
1

+

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

f (a)= ln
x
1
a
x
1 lm
0 x
,
_

+

. Multiplicamos y dividimos en el exponente por a:

f (a)= ln
x a
a
a
x
1 lm
0 x
,
_

+

.=ln
a
1
e ln
a
x
1 lm
a
1
a
1
x
a
0 x

1
1
]
1
,
_

+

Derivacin de funciones compuestas

Si f: A R / y = f(u)es derivable en u
0
y
g: B A / u = g(x) es derivable en x
0
, siendo g(x
o
)= u
0
, entonces f
o
g es derivable en x
o
y se
cumple que
:

(f
o
g ) (x
o
) = f
u
(u
o
). g
x
(x
o
)
x
a ln ) x a ln(
lm
0 x
a x
a ln x ln
a x
lm ) a ( ' f
a x
) a ( f ) x ( f
a x
lm ) a ( ' f


68
Demostracin:

f derivable en u
o
) u ( ' f
u u
) u ( f ) u ( f
lm
0
0
0
u u
0
(por def. de derivada)

Pero si una funcin tiene lmite finito para u u
0
, la funcin puede escribirse como suma de su
lmite ms un infinitsimo para u u
0
.

Entonces, y teniendo en cuenta que u = g(x), resulta:

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

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

Dividimos ambos miembros por x - x
o
y tomamos lmite para x x
o

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

cte. g
x
(x
0
) g
x
(x
0
)

Analicemos el factor que nos queda: es un lmite para xx
0
.

Como u = g(x) derivable en x
o
es continua en x
0
, luego, cuando xx
0
, tambin u u
0
y por lo
tanto el lmite es 0, ya que es un infinitsimo para uu
0
.

Resulta que el lmite planteado en el primer miembro , que es (f
o
g)(x
o
)

existe y es igual a f
u
(u
o
). g
x
(x
o
)

Ejemplo:
Obtener la funcin derivada de:
a)f(x)= ) x sen(ln f (x)=
) x sen(ln x 2
) x cos(ln
x
1
) x cos(ln
) x sen(ln 2
1

b)g(x)=sen x ln g(x)=
x ln . x 2
x ln cos
x
1
x ln 2
1
x ln cos
(f
o
g ) (x
o
) = f
u
(u
o
). g
x
(x
o
)

U.T.N. Anlisis Matemtico
I:Derivadas

69
Mtodo de derivacin logartmica
Derivacin de funciones exponenciales

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

Aplicamos logaritmos a ambos miembros:

lnf(x) = ln [a
u(x)
] a ln ). x ( u ) x ( f ln

1

Derivamos ambos miembros:
) x ( ' u a ln ) x ( ' f
) x ( f
1

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

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

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

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

Aplicacin a funciones potenciales exponenciales
Ejemplo
x
) x (sen ) x ( f

Aplicamos ln a ambos miembros y tenemos en cuenta (1):

) x ln(sen . x ) x ( f ln

Derivamos el primer miembro como funcin compuesta y el segundo como producto:
1
]
1
+
1
]
1
+
+
x sen
x cos
x ) x ln(sen . ) x (sen ) x ( ' f
x sen
x cos
x ) x ln(sen ). x ( f ) x ( ' f
. x cos
x sen
1
x ) x ln(sen . 1 ) x ( ' f
) x ( f
1
x

Derivacin de funciones hiperblicas:

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

Derivada de
una cte.por
una funcin
Derivando como
funcin
compuesta
I:Derivadas

70
1) f(x) = Shx= ( )
) x x
e e
2
1

( ) ( ) Chx e e
2
1
e ) 1 ( e
2
1
) x ( ' f
x x x x
+

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

+ ( ) ( ) Shx e e
2
1
e ) 1 ( e
2
1
) x ( ' f
x x x x
+

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

DERI VACI N DE FUNCI ONES I NVERSAS

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

Resulta x = g[f(x)] ) x )( f g ( x
o

Derivando ambos miembros y recordfando quje el segundo es funcin compuesta, se tiene:

1= g
y
.f
x
y
' g
=
x
' f
1

Aplicacin a funciones circulares inversas

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

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

2) De la misma forma se prueba que si:

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

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

1= sec
2
f(x). f (x) .
) x ( f sec
1
) x ( ' f
2
(*)
cos
2
a + sen
2
a
= 1
I:Derivadas

71

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

a sec
a cos
1
1 a tg
2
2
2
+
a tg 1
1
a sec
2
2
+

Reemplazando en (*):
2 2
x 1
1
) x ( f tg 1
1
) x ( ' f
+
+

2)Aplicacin a la derivacin de funciones hiperblicas inversas

1) y = Arg Shx y Sh x

Derivamos ambos miembros:
1 = Chy. y
Chy
1
' y

Pero: Ch
2
a Sh
2
a = 1 a Sh 1 Cha
2
+ (**)

Es decir: y =
2 2
x 1
1
y Sh 1
1
+
+

2) De la misma forma se prueba que :

1 x
1
' y ArgChx y
2

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

Si en (**) dividimos ambos miembros por Cha, resulta:

Th
2
a 1 =
a Ch
1
2

Por lo tanto: 1 = ( Th
2
y 1) . y
1 x
1
1 y Th
1
' y
2 2

I:DIFERENCIAL

72
Diferencial de una funcin en un punto

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

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

Resulta:
0 ) x ( lm con ), x x ).( x ( ) x x ).( x ( ' f ) x ( f ) x ( f
0
x x
0 0 0 0
+

Def inicin:

Dada una f uncin f derivable en x
o
, punto interior de su dominio, se llama dif erencial de
f en el punto x
0
con respecto al incremento x al producto de la derivada de f en x
0
por.

En smbolos:
df (x
0
; x )= f (x
0
). x

Resulta entonces que: 0 ) x ( lm con , x ). x ( ) x ; x ( df y
0 x
0
+

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

Como el segundo trmino tiende a cero, cuando x 0, se tiene que:

) x ; x ( df y
0

Probaremos que la variacin de la funcin y su diferencial son infinitsimos equivalentes para
x 0.

En efecto: 0 ) x ( ' f si ; 1
) x ( ' f
) x ( ' f
x
y
lm
) x ( ' f
1
) x ). x ( ' f
y
lm
) x ; x ( df
y
lm
0
0
0
0 x
0 0
0 x
0
0 x

Interpretacin geomtrica:
Si una funcin tiene lmite finito para xx
0
, entonces puede
escribirse como la suma de su lmite ms un infinitsimo para
xx
0

x

x

y

Q
P
I:DIFERENCIAL

73
f(x
0
+
x )

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

df(x
0
; x) representa la variacin de ordenada de la recta tangente a la curva en P
0
(x
0
; f(x
0
)),
al pasar de x
0
a x
0
+x. Es una aproximacin de la variacin de la funcin.

Ejemplo:
Calcular usando diferenciales el valor aproximado de e
0, 3

Consideremos f(x) = e
x
; x
0
=0 y x=0,3

Resulta:f(x
o
+x)= f(x
0
) +y ) x ; x ( df ) x ( f
0 0
+

Como f (x)= e
x
y e
0
=1, se tiene:

e
0,5
3 , 1 e 3 , 0 . e e
3 , 0 0 0
+
Usando calculadora: e
0,3
=1,3498588...

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

Reglas y frmulas de diferenciacin:

f(y
x
0.10.20.30.40.50.60.7 0.7 -0.1 -0.2 -0.3 -0.4 -0.4
0.5
1.0
1.5
2.0
2.5 2.5
e
0 ,3
v a l o r
a p r o x .

I:DIFERENCIAL

74
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 )] x ( v ). x ( u [ d =du. v(x) +u(x). dv

2) Diferencial de f(x)= lnx
df=d(lnx)= x
x
1

En general, Las reglas y frmulas de diferenciacin son idnticas a las de derivacin.

x . 1 dx dy x y
x
x 2
1
) x ( d dy x y
x . x cos ) x (sen d dy x sen y

Se puede redefinir el concepto de diferencial utilizando

dy=f (x). dx
0
x
0
dx
dy
) x ( ' f
1
]
1
(Notacin diferencial de la derivada)

Aplicaciones

1) Derivacin de f unciones def inidas paramtricamente

Ejemplo:
Sea y = f(x) definida mediante:
'
2
t 5 y
t 2 x
, Para obtener la relacin entre las variables x e y
debe eliminarse entre ellas el parmetro t.
De la primera ecuacin sale:
2
2
x
4
5
y
2
x
. 5 y
2
x
t
,
_
.
Si nos interesa obtener y (2), hacemos: y = x . 2 .
4
5
5 2 . 2 .
4
5
) 2 ( ' y
Se pretende encontrar esta derivada sin llevar la funcin a su expresin cartesiana:
Como y =
dx
dy
y
'

tdt 10 dy t 5 y
dt 2 dx t 2 x
2
t 5
dt 2
dt . t 10
' y
Como para que x sea igual a 2, debe ser t=1, se tiene: 5 1 . 5
dx
dy
) 2 ( ' y
1 t

1
]
1

dv
du
(*)
(*)
I:DIFERENCIAL

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

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

De la misma forma, para obtener y, que es la derivada de la derivada, procederemos
as:
dx
' dy
" y .
En el ejemplo: y=
dt 2
dt 5
2,5.

2) Derivacin de f unciones def inidas en f orma implcita.
Dada una expresin del tipo F(x;y)=0 que defina una y = ) x ( , interesa obtener y sin despe-
jar.
Ejemplo: Supongamos que: x.e
y
+ cos(x.y) 2x
2
.y
3
1=0 define y = ) x ( ,interesa obtener
dx
dy
) x ( '

Primer procedimiento: Derivando y como funcin compuesta
e
y
+x.e
y
.y -sen(x.y).[y +x.y ]- 4.x.y
3
6.x
2
.y
2
.y =0

y [x.e
y
x sen(xy)-6.x
2
.y
2
]= -e
y
+ y sen(xy) + 4.x.y
3

Luego:
2 2 y
3 y
y x 6 ) xy sen( x xe
xy 4 ) xy sen( y e
' y

+ +

Segundo procedimiento: Usando diferenciales

d(x.e
y
)+ d[cos(x.y)] d[2x
2
.y
3
]=0

0 ) y ( d . x 2 y ). x 2 ( d [ ) xy ( d ). xy sen( ) e ( d . x e . dx
3 2 3 2 y y
+ +

0 ] dy . y . x . 6 dx . y . x . 4 [ ] dy . x dx . y ).[ y . x sen( dy . e . x dx . e
2 2 3 y y
+ + +

[ ] [ ] + +
3 y 2 2 y
y . x . 4 ) xy sen( . y e . dx y . x . 6 ) xy sen( . y e . x . dy como y =
dx
dy
, se tiene:

2 2 y
3 y
y x 6 ) xy sen( x xe
xy 4 ) xy sen( y e
dx
dy
' y

+ +

U.T.N. Anlisis Matemtico I:Propiedades de las funciones
derivables

76
PROPIEDADES DE LAS FUNCIONES DERIVABLES

1.-Crecimiento y decrecimiento de una funcin

Definiciones
Considero f: A R y a y b interiores a A

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

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

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

) a ( f ) x ( f a x
) a ( f ) x ( f a x
: ) a ( E x

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

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

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

) b ( f ) x ( f b x
) b ( f ) x ( f b x
: ) b ( E x

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 f uncin 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 T) f estrictamente creciente en a
f (a) >0
Demostracin:
f derivable en x = a existe y es finito el lmite del cociente incremental. Como adems, por
hiptesis
a b
f(a)

f(b)
y
x
derivables

77
f (a) > 0, entonces lm
f x f a
x a
x a
>
( ) ( )
. 0 Por una propiedad de los lmites 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:
>

>
< < < <

> > > >
'

0 0
0 0
0 0
/ ' ( ; ):
( ) ( )
[ ( ) ( )] [ ]
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
x E a
f x f a
x a
Sg f x f a Sg x a
x a x a f x f a f x f a
x a x a f x f a f x f a

De manera similar se demuestra que si la derivada en a" es negativa, la funcin es
estrictamente decreciente.

2.- Extremos absolutos y locales

Consideremos f: AR, con A R , y x
0
A, x
1
A

Definiciones :

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

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

f(a) es extremo relativo o local de f f(a) es mximo o mnimo relativo

Ms Definiciones

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

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

f(x
0
)
x
1
x
0

y
f(x
1
)
x
f estrictamente creciente en x = a
derivables

78
Los Mximos o mnimos absolutos de f en A se llaman extremos absolutos de f en A

OBSERVACIONES:

1.- Los extremos absolutos no tienen porqu ser extremos relativos.

2.- Si un extremo absoluto se produce en un punto interior del dominio de la funcin, el extremo
es tambin relativo.

3.- En los puntos de extremo relativo la funcin no es creciente ni decreciente.

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

En efecto:

Supongamos que f (a) 0, entonces sera:
f a f estrict crec enx a
f a f estrict decrec enx a
' ( ) . .
' ( ) . .
>
<
'
0
0
absurdo 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

Ejemplos: y = x
3

f(c) mximo absoluto y relativo.
f(a)mnimo absoluto pero no relativo.
f(d) mnimo relativo pero no absoluto.
y
x
a b d c
f(c)
f(d)
f(a)
derivables

79
y = 3 x
2
3 x
2
=0 x = 0
-2 -1 1 2
-0.3
-0.2
-0.1
0.1
0.2

y = | x| presenta un extremo en x = 0 y sin embargo no es derivable en ese punto.

3.-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] T) c (a,b)/ f (c)=0
f deriv. en (a,b)
f(a) = f(b)
Demostracin:
Por el segundo teorema de Weiersstras, toda funcin continua en un intervalo cerrado presenta
en l un mximo (M) y un mnimo (m) absolutos.

Se pueden presentar los siguientes casos:

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

80
M=m f(x) = k , x [a,b] f (x)= 0, x (a,b)

II.- M m
Se presentan tres posibilidades:

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

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

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

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(c)
a c b
M=f(a)=f(b)
y
f(c)
a c
f(a)=f(b)=m
f(a)=f(b)

a
b x
U.T.N.
Anlisis Matemtico I:Propiedades de las funciones derivables

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

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

Interpretacin geomtrica

Geomtricamente asegurar la existencia de un punto en el que la derivada es nula significa esta-
blecer que existe un punto en el que la recta tangente es horizontal.

4.-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.

H) f cont. en [a,b] T) c (a,b)/ f(b)-f(a)= f (c).(b-a)
f deriv. en (a,b)

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

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

+
f f
b a
a f
(b) (a)
(a)

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

Adems r (x) =
f f
b a
(b) (a)
, xR. (*)

Demostracin:
Consideramos los puntos A (a;f(a)) y B (b;f(b)).
La ecuacin de la recta AB es:
a b
a x
) a ( f ) b ( f
) a ( f y

Si despejamos y, obtenemos:

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

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

y

f(b)

a c
b x
A

t

r
f
f(a)=f(
b)
f(c)
f(c
)
a c c
b x
y
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

U.T.N.

82
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
(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
Como (x)= f (x) - r (x)= f (x) -
f f
b a
(b) (a)
por (*)
Entonces: c (a,b) / f (c) -
f f
b a
(b) (a)
=0 f (c)=
f f
b a
(b) (a)

Luego:

(Ver dibujo pgina anterior)

El T. de Lagrange asegura que si f es continua en un intervalo cerrado [a,b] y derivable en el
correspondiente abierto, entonces c (a,b) / f (c)=
f f
b a
(b) (a)

El primer miembro representa la pendiente de la recta tangente a la curva en un punto (c;f(c)),
mientras que el segundo representa la pendiente de la cuerda que une los extremos del arco.

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 tan-
gente es paralela a la cuerda que une los extremos del arco.

5.-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 res-
pectivas derivadas en dicho pounto c.
H) f y g cont. en [a,b];f y g deriv. en (a,b) T) c (a,b)/
f f
g g
f
g
(b) (a)
(b) (a)
' (c)
'(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)

6.- Concavidad y convexidad de una funcin

Definicin:
c (a,b) / f(b) - f(a) = f (c). (b-a)
y
U.T.N.

83
t
a
b
t
f

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
abaj o en x = a >0/ xE(a,) : f(x) - t(x) < 0 , siendo t(x) la funcin que representa 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) > 0 , siendo t(x) la funcin que representa 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 re-
ducido de x=a tal que los puntos correspondientes del grfico quedan por debajo de la recta
tangente en A.

Definicin :
(x
0
;f(x
0
)) es un punto de inflexin de f f es derivable en x
0
y la recta tangente atraviesa la
curva representativa de F.
Es decir:
(x
0
;f(x
0
) es un punto de inf lexin de f es derivable en x
0

)] x ( t ) ' x ( f / ) ; x ( ' E ' x

) x ( t ) x ( f / ) ; x ( ' E x [ : 0
0
0
<
> >

x
x x
0
x
x
y

f(x)
f(x
0
)
f(x
)
t(x
)
U.T.N.

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

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

Para probarlo tendremos que analizar el signo de h(x)=f(x)-t(x) en un entorno reducido de x
0
,
siendo t(x) la funcin que expresa la recta tangente en ) x ( f ; x ( P
o 0 0
, a la curva representativa
de f . Comenzaremos por buscar una expresin de h que facilite el anlisis del signo.

Por el Teorema de Lagrange, ) x x ).( c ( ' f ) x ( f ) x ( f / x y x entre c
0 o 0

Reemplazando en (1): h(x)= f (c).(x x
0
) - f (x
0
) .(x x
0
)

Si extraemos factor comn se obtiene:

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

Supongamos: f (x
0
) >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 ( ' f ) x ( ' f x x
) x ( ' f ) x ( ' f x x
: ) ; x ( E x /
0 0
0 0
0
0
Veamos como incide esta situacin en el signo de h(x):

0 ) x ( ' f ) c ( ' f ) x ( ' f ) c ( ' f x c x x 0 x x
0 0 0 0 0
< < < < <

0 ) x ( ' f ) c ( ' f ) x ( ' f ) c ( ' f x c x x 0 x x
0 0 0 0 0
> > > > >
y
P0
x
x0
f(x0)
f(x)
t(x)
La ecuacin de la recta tangente en P
o
es:
) x x ).( x ( ' f ) x ( f ) x ( t y
) x x ).( x ( ' f ) x ( f y
o o
o o
0
0
+

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

f
(1)
Porque c est entre x y x0
x c x0

x0 c x
Porque la derivada es estric-
tamente creciente en x0.
U.T.N.

85
Los dos factores en los que puede descomponerse h tienen el mismo signo. Es decir
h(x)>0, f ) ; x ( ' E x
0
es cncava hacia arriba en P
0.

Con el mismo criterio se prueba que si f (x
0
)<0, f es cncava hacia abajo en P.

Consecuencia:
En los puntos de inflexin la derivada segunda debe anularse.

La condicin es necesaria pero no suficiente. La anulacin de la derivada segunda NO permite
asegurar la existencia de un punto de inflexin.

Por ejemplo: y = x
4
, y = 4x
3
, y=12 x
2
, Es obvio que y (0)=0 y sin embargo en (0;0) no hay punto
de inflexin.

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

7.- Estudio de funciones

7.1.- 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: 0 ) a ( ' f ) a ( ' f

7.1.1: Ver si se cumple la definicin.

(Suele ser el ms dificultoso)

7.1.2: Analizar el cambio de signo de y e 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.
-3 -2 -1 0 1 2 3
-
17
0
17
34
51
68 y
x

En (0;0) no cambia la concavidad
de la curva.
U.T.N.

86
7.1.3.- Anlisis del signo de la derivada segunda. (Slo es aplicable cuando f (a) existe y es dis-
tinta de cero.

Si f (a) >0, resulta que f es estrictamente creciente en x = 0, 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 es punto un mnimo relativo.

Si f (a) < 0, resulta que f es estrictamente decreciente en x = 0, pero como f (a)=0, f debe
pasar de valores s positivos a negativos, lo que significa que la funcin pasa de ser creciente a
ser decreciente y, entonces, se puede asegurar que presenta en es punto un mximo relativo.

7.2.- Paridad de una funcin

Sea f:AR, con AR

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

(Geomtricamente significa que la curva es simtrica respecto del eje y)
Ejemplo: f(x) = x
2
; g(x) = cos x ; h(x)= |x |; etc.

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

(Geomtricamente significa que la curva es simtrica respecto del origen de coordenadas)
Ejemplo: f(x) = x
3
; g(x) = sen x ; h(x)= x|; etc.

7.3 Asntotas de una curva:

Sea f:AR, con AR

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

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

(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 [ ] +

) b mx ( ) x ( f lm
x
0

Clculo de m: [ ] 0
x
b mx ) x ( f
lm 0 ) b mx ( ) x ( f lm
x x

+

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

Resulta m =
x
) x ( f
lm
x

0
U.T.N.
Anlisis Matemtico I: Propiedades de las funciones derivables

87
Una vez calculada m, b se obtiene de la definicin:

[ ] mx ) x ( f lim b
x

8.-Estudio de funciones

Ejemplo:
Estudio completo y grfico de f(x)=
1 x
x
2
3
+

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

4. Asntotas:

Asntota vertical: no tiene
Asntota horizontal:
1
2
3
+ x
x
lm
x
= tiene no
x
1
x
1
1
lm
3
x

asntota horizontal
Asntota oblicua: m=
+

) 1 x .( x
x
lm
2
3
x

+

x x
x
lm
3
3
x
1
x
1
1
1
lm
2
x

b= 0
x
1
1
x
1
lm
1 x
x x x
lm x
1 x
x
lm
2
x
2
3 3
x
2
3
x

1
1
1
1
]
1
1
1
]
1
1
1
]
1
+

La asntota oblicua es : y=x

5. Puntos crticos

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

f (x)=0 x=0

6. Posibles puntos de inflexin

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

U.T.N.
Anlisis Matemtico I: Propiedades de las funciones derivables

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

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

7. Cuadro de signos de y, y e y.

x
- 3
0
3

y=
1
2
3
+ x
x

0

+++

+++

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

+++++++++++

+++

+++

0

+++

+++

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

+++++++++++

0

0

+++

0

La funcin es estrictamente creciente en R.
No tiene extremos relativos.
Intervalos de concavidad ) , ( ) , ( 3 0 3
Intervalos de convexidad ) , ( ) , ( + 3 0 3 .
y
x
22 -2 -2
2
44
-2
-4 -4
U.T.N. Anlisis Matemtico I: Propiedades
de las funciones derivables

89
9.- 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.

Se quiere el mximo de la funcin volumen del cono:

2
3
1
R . V .h , sabiendo que, por el Teorema de Pitgoras : 36
2 2
+ h R

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

Esta es la funcin con la que vamos a trabajar:

V= 12 12 3 36 0 3 36 0 3 36
3
1
2 2 2 2
h h h h ' V ) h . (

Se descarta el valor negativo porque se trata de una altura , de manera que el punto crtico
corresponde a : h= 3 2 12 y R= 6 2 24 12 36 . .

No hace falta verificar que es un mximo porque el volumen mnimo se producira para h=0 y no
tiene sentido.

6 cm
h
R

90

10.-Regla de LHpital
10.1.- Teorema

Sean f y g dos funciones derivables en un intervalo abierto (a,b)que incluye a un entorno reducido
de c. Si 0

) x ( g lm ) x ( f lm
c x c x
( o

) x ( g lm ) x ( f lm
c x c x
) y existe el ,
) x ( ' g
) x ( ' f
lm
c x
finito o
infinito, entonces
) x ( g
) x ( f
lm
c x ) x ( ' g
) x ( ' f
lm
c x
.

OBSERVACI ONES
LA REGLA TAMBI N VALE SI x .

Sl es aplicable a indeterminaciones 0/0 / . Las dems indeterminaciones deben
transformarse en alguna de las mencionadas, antes de aplicar la regla

10.2.- Transformacin de indeterminaciones del tipo 0. .

Si

) x ( g lm y ) x ( f lm
c x c x
0 y se desea calcular ) x ( g ). x ( f lm
c x
, debemos pensar que :
f(x).g(x)= f(x).
) x ( f
1
2
) x ( g
1
1
y queda transformada en una indeterminacin 0/0 / .
Ejemplo:
0
x 2
x
lm
x
2
x
1
lm
x
x ln
lm x ln . x lm
2
0 x
2
0 x
1
0 x 0 x

+ + + +

10.3.- 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
) x ( g ). x ( f
1
) x ( f
1
) x ( g
1
) x ( g ) x ( f

, si

) x ( g lm ) x ( f lm
c x c x
, el segundo miembro de la igualdad tiende
a 0/0.

Ejemplo:
,
_
) x 1 ln(
1
x sen
1
lim
0 x
como sen 0=0 y ln 1=0, se trata de una indeterminacin - .
,
_
) x 1 ln(
1
x sen
1
lim
0 x
=
1
1
1
1
]
1
+ +
+
,
_
+
+

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


91
2
1
0 . 0 1 . 1 1 . 1 0 . 1
0 1
x sen ) x 1 ln( x cos
x 1
1
x cos
x 1
1
x sen
) x 1 (
1
x sen
) x 1 (
1
lim
2
2
0 x

+ +
+
1
1
1
1
1
]
1
+
+
+
+
+
+
+
+

10.4- Transformacin de indeterminaciones del tipo
1 0
0 0
, , (Se procede con los tres casos de
la misma forma)

Consideremos f y g derivables en un entorno reducido de c/ 0 ) x ( g lm ) x ( f lm
c x c x

, y
supongamos que queremos calcular [ ]
) x ( g
c x
) x ( f lm

Consideremos h(x)= [ ]
) x ( g
) x ( f , y apliquemos logaritmos a ambos miembros:

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

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

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.
En el primer miembro podemos utilizar que el lmite de un logaritmo es igual al logaritmo del
lmite.
Resulta: ln
) x ( h lm
c x
l
l
e ) x ( h lm
c x

Ejemplo:
x
0 x x sen
1
lm
,
_
. Se trata de una indeterminacin

0

Sea h(x) =
,
_

,
_
x sen
1
ln . x )] x ( h ln[
x sen
1
x

[ ] [ ]
2
2 1
0 x
1
0 x 0 x
x
1
x cos .
x sen
1
.
x sen
1
lm
x
1
x sen ln
lm ) x ( h lm ln

1
]
1

0
1
0
x cos
x sen . x x cos . x 2
lm
x sen
x cos x
lm
x
1
x cos .
x sen
1
. x sen
lm ) x ( h lm ln
2
0 x
2
0 x
2
2
0 x 0 x

1
]
1

.
Entonces :
x
0 x x sen
1
lm
,
_
= e
0
=1
U.T.N. Anlisis Matemtico I:
Integral definida

92
INTEGRAL DEFINIDA

Sea f:[a,b]R con [a,b]R/ f continua y no negativa x [a,b].

Interesa calcular el rea ( A ) del recinto plano limitado por la curva representativa 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 tiene por base
(b-a) y por altura M y m respectivamente.
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
entre los extremos del intervalo.
a = x
o
< x
1
< x
2
<...< x
i-1
< x
i
<.... < x
n
=b

De esta forma , el intervalo [a,b] queda subdividido en "n" subintervalos
[x
o
, x
1
],...[x
i-1
, x
i
],...[x
n-1
, x
n
], cuyas amplitudes son:
x x x
b a
n
i i i

1

a
a
b
b
y
y
m
M
x
m(b-a)
S
P

S
P
M(b-a)
S
P

S
P

x
Integral definida

93
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 M
i
y m
i

al mximo y al mnimo absoluto de f en [ x
i-1
, x
i
]

Si indicamos con "P" a la particin realizada, llamamos suma inf erior 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 ( x
i
) y por altura el mnimo absoluto que la funcin alcanza en l ( m
i
).
En smbolos: S m x
P i i
i
n

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
(x
i
) y por altura el mximo absoluto que la funcin alcanza en l ( M
i
).
En smbolos : S M x
P i i
i
n

1

Se cumple :
m. (b - a) S
P
A S
P
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 S
P '
y
S
P '
respectivamente.
Puede verse que:
m. (b - a) S
P
S
P '
A S
P '
S
P
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) S
P
- S
P
S
P '
- S
P '
....
Por lo tanto ambas sucesiones convergen a un mismo valor que es el rea buscada.
Es decir:
i
n
i
i
n
x m lm

1
=
i
n
i
i
n
x M lm

1
= A
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
y se toma como altura de los

rectngulos f(
), obtenemos , para cada particin, la suma de Riemann o suma integral:

Suma de Riemann: S
R
= f x
i i
i
n
( ).
1
.
Resulta, para cada particin: S
P
S
R
S
P

Integral definida

94
Se genera de esta forma una nueva sucesin, la de las sumas de Riemann que permanenetemente
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.
Def inicin
Sea f(x) continua en [a,b], se llama integral definida de f(x) entre a y b y se indica
f x dx
a
b
( ).
,al lmite, si existe, para n , de la sucesin de sumas de Riemann.

(Si f es continua, el lmite siempre existe).
f x dx
a
b
( ).
=
n
lm

n
i
i i
x ). ( f
1

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
I)
a
a
f(x) dx = 0
II)
a
b
f(x) dx = -
b
a
f(x) dx.
III)
a
b
f(x) dx +
b
c
f(x) dx =
a
c
f(x) dx
IV )
a
b
( f(x) + g(x) ) dx =
a
b
f(x) dx +
a
b
g(x) dx.
V)
a
b
k f(x) dx = k
a
b
f(x) dx
VI) |
a
b
f(x) dx|
a
b
|f(x)| dx

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
a
b
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.

Demostracin
y

f(c)
a c
b x
Integral definida

95
De acuerdo con lo expuesto en la introduccin, al hacer una particin regular en [a,b] se
obtiene:
m. (b - a)
n
i
i i
x m
1

n
i
i i
x M
1
M.( b - a)
Tomando lmite para n se tiene:
m. (b - a)
b
a
dx ). x ( f M.( b - a)
Si se dividen los tres miembros por (b - a) resulta:
m
a b
1

b
a
dx ). x ( f M

Por el teorema del valor intermedio, resulta que existe c (a,b)/

f(c) =
a b
1

b
a
dx ). x ( f
b
a
dx ). x ( f = f(c) (b-a).

Funcin rea o f uncin 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 f uncin rea o f uncin integral.

x
a
dt ). t ( f ) x ( A

Teorema f undamental del clculo integral o derivada de la f uncin rea

Si f es continua en [a,b] , y x
0
es un punto interior a (a,b), la funcin
x
a
dt ). t ( f ) x ( A es
derivable en x
0
y resulta A (x
0
)= f(x
0
).
En efecto:
Por definicin de derivada: A (x
0
)=
0
0
x x x x
) x ( A ) x ( A
lm
0

Reemplazando por la definicin de A(x), se tiene:
A (x
0
)=
0
0
x x
dt ) t ( f dt ) t ( f
lm
x
a
x
a
x x
o

=
0
x
a
a
x
x x x x
dt ) t ( f dt ) t ( f
lm
0
o

+

=
0
x
x
x x x x
dt ) t ( f
lm
0
0

Por el T. Del valor medio del Clculo integral resulta:

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

con c entre x
0
y x A (x
0
)=
0
x x
x ( f ) c ( f lm
0

)
por ser f continua
es un nmero comprendido entre el mnimo y el
mximo de una funcin continua en un intervalo
cerrado
U.T.N. Anlisis Matemtico I: In-
tegral definida

96
Aplicacin
Supongamos que queremos calcular el rea de la regin del plano limitada por
y = senx, el eje x y la recta x=
2

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) = sen x
Como A(0)= 0
0
0

dx . x sen (por prop. de integral def.), resulta: - cos 0 + C = 0

Entonces: C = cos 0.Por lo tanto: A(x) = - cos x + cos 0

Nos interesa A(
4
)=
4
0
/
dx . x sen = - cos
4
+ cos 0= 1
2
2
+

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= x
2
; y = x
2
+1; y = x
2
+ 100 son primitivas de f(x) = 2x

El clculo de primitivas se hace a travs de la integracin indefinida.
Regla de Barrow:
Se quiere calcular
b
a
dx ). x ( f con f continua en [a,b].
Defino A(t)= ) t ( f ) t ( ' F / C ) t ( F ) t ( A ) t ( f ) t ( ' A dx ). x ( f
t
a
+

Pero A(a)=
a
a
dx ). x ( f =0 (prop. de la integral def.) ) a ( F C 0 C ) a ( F +
Resulta: C ) b ( F ) b ( A dx ). x ( f
b
a
+

b
a
) x ( f ) x ( ' F siendo ), a ( F ) b ( F dx ) x ( f
0 1 2 3
0
1
2
y
x

El rea se calcula mediante la inte-
gral:
A=
4
0
/
dx . x sen
Defino la funcin rea asociada:
A(t)=
t
dx . x sen
0

es derivada de
F(x
)
f(
x)
es pr i mi t i va
de
(Por el T. Fundamental del Clculo
tegral definida

97

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:

La primitiva de una funcin no es nica. 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

Aplicaciones de la Integral definida

1.- Clculo de reas planas

1.1.- rea de la regin limitada por y = f(x), x = a, x = b y = 0 , siendo f continua en [a,b].
1.1.1.- f(x) 0, x [a,b]

1.1.2.- f(x) 0, x [a,b]

1.1.3.- f(x) cambia de signo en [a,b]

y
x
a
b
f(x)
Por la interpretacin geomtrica de
la integral definida, resulta:
A= f x dx
a
b
( )

En este caso la integral resulta
negativa, entonces: A=-
f x dx
a
b
( )
= f x dx
b
a
( )

y
f(x
)
x
a
c
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
a
c
b
c
( ) ( )

+
y
f(x
)0
a b
x
x
tegral definida

98

Ejemplo: Calcular el rea limitada por : y = ln(x-1) , el eje x , entre x=1.5 y x= 2.5

y
x
1.5
2 2.5
5

La curva corta al eje x en x= 2.
Luego:
A= ln( ) ln( ).
. .
x dx x dx +

1 1
2
15
2
2 5

] ] +
5 2
2
5 1
2
1 1 1 1
. .
) x ln( x ) x ln( . x ) x ln( x ) x ln( . x A

=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

1.2.- rea comprendida entre dos curvas

Ejemplo: Hallar el rea de la regin limitada por : x.y = 4 ; y=x ; x=8

b
g(x)
f(x)
a
b b
y
x
a) Se buscan los puntos de interseccin
entre las
dos curvas, en el dibujo: a y b.
b)
A= ( ) f x dx f x dx f x g x dx
a
b
a
b
a
b
( ) ( ) ( ) ( )

2 ln 2 2 ln . 4 32 2 ln
2
2
8 ln . 4
2
8
A
| x | ln 4
2
x
dx .
x
4
x A
2 | x | 4 x
y x
4 y . x
3
2 2
8
2
8
2
2
2
+
1
1
]
1

,
_
'

y
y=x
x.y=4
tegral definida

99

1.3.- Longitud de un arco de curva

Sea f:[a,b]R continua con derivada continua. Interesa calcular la longitud del arco de la cur-
va que f define entre A=(a;f(a)) y B=(b;f(b)).

Provocamos una particin regular en [a,b], haciendo:a= x
0
< x
1
< ....<x
i-1
<x
i
<....x
n
= b,
con x
i
= x
i
-x
i -1
=
b a
n

Esa particin induce en el arco de curva un
conjunto de puntos: P
0
=A, P
1
,...P
i-1
, P
i
,...,P
n
=B

Estos puntos determinan una poligonal en
el arco , cuyo permetro es una aproximacin de
la longitud pedida.

Para calcular ese permetro debemos calcular la medida de cada uno de los segmentos que la
componen.

|P
i-1
P
i
| = ( ) ( )
2 2
i i
y x +
p
i-1

Por el Teorema del valor media del clculo diferencial (teore-
ma de Lagrange), y f c x x c x
i i i i i i
< <
' ( ) ,
1

Resulta:
( ) ( ) P P x f c x f c x
i i i i i i i
+ +
1
2 2
2
1 ' ( ). ' ( )

Luego: long.

+ +
AB
lm f c x f x dx
n
i i
i
n
a
b
1 1
2
1
2
' ( ) ' ( )

y
f(b)

f(a)

P
i

x
0
=a x
1
..........x
i-1
x
i
.................x
n
=b
P
0
=A
P
i-

P
i

tegral definida

100
Si la funcin se define paramtricamente mediante:
x x t
y y t
'
( )
( )
, como segn se vi: y
y
x
x
t
t
'
'
'

Entonces resulta:

1 1 1
2
2
2
2
2 2
2
2 2
+ +
_
,
+
+
+
f x
y
x
y
x
x y
x
x y
x
t
t
t
t
t t
t
t t
t
' ( )
'
'
'
'
' '
'
' '
'

Si x = x(t) , entonces dx= x(t) dt. Como la longitud es positiva, dx debe ser positivo, y si

t t t
a b
, resulta dt >0, es decir x(t) >0.

Reemplazando en la frmula de la longitud de arco se obtiene:

long. AB= dt
t
t
2
t
' y
2
t
' x
b
a
+

101
I ntegrales I mpropias

Las integrales se han definido para 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 integrales impropias.

I ntegrales impropias de primera especie
(Intervalo no acotado)

Ejemplo:
Consideramos la funcin f:[0,+ ) R/ f(x) =
x
e

Sea b ) , [ + 0 , se puede calcular

F(b)=

b
x
dx e
0
= ]
b
b
b
x
e
e e e
1
1
0
0
+

Se puede calcular

+ +
b
x
b b
dx e lm ) b ( F lm
0

Resulta 1
1
1
,
_

+ +
b
b b
e
lm ) b ( F lm

Se dice que la integral de primera especie de f(x)=
x
e

en [0,+ ) (que se escribe
0
dx e
x
) converge a 1
0
dx e
x
=1

Definicin:

Dada f: [a,+ ) R, continua , se llama integral impropia de primera especie de f en [a,+ )
(se indica:

+
a
dx ) x ( f ) al lmite, si existe, para + b , de F(b)=
b
a
dx ) x ( f
+
a
dx ) x ( f =

+
b
a
b
dx ) x ( f lm .

-
0.
0 0.
5
1 1.
5
2 2.
5
3
x
-
0.
0
0.
1
y


102
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
a
a
b
dx ) x ( f lm dx ) x ( f , siempre que el lmite exista

Integral impropia de segunda especie
(la funcin es continua en un intervalo semicerrado)
Ejemplo:

Sea :
2
1
1
1 0
x
) x ( f / R ) , [ : f
y sea >0

Se llama integral impropia de segunda especie de f en [0,1) a:

+
1
0
2
0
1
0
2
1
1
1
1
dx
x
lm dx
x
=
2
1
0

+

) ( sen arc lm

Definicin:
Sea f: [a,b)R, continua en [a,b) y tal que
) x ( f lm
b x
. Se llama integral impropia de
segunda especie de f en [a,b) a:
b
a
dx ) x ( f

+
b
a
0
dx ) x ( f lm
y
x

Calculamos:
dx
x
1
0
2
1
1
=
] ) 1 sen( arc x sen arc
1
0

Resulta F( )= arc sen (1- ).

Se puede calcular el lmite para 0+:

2
1
0

+

) ( sen arc lm

103
Con el mismo criterio se define:

+
+

b
a
b
a
dx ) x ( f lm dx ) x ( f
0

Puede ocurrir que la integral sea convergente, si el lmite existe y es finito, divergente, si
es infinito u oscilante, si no existe.

U.T.N. Anlisis Matemtico I: Frmula de Taylor

104
POLINOMIO DE TAYLOR

1.-Introduccin: Gua para trabajar con el Mathematica.

Dada una funcin cualquiera, derivable hasta el orden n+1, nos interesa encontrar
funciones polinmicas de distinto grado, que permitan aproximar la funcin en el entorno de
un punto.

Esta gua, que precede a la explicacin terica, tiene por objeto permitirles verifi-
car, con la ayuda del Mathematica, que tales polinomios existen, y reconocer, mediante
clculos y a travs de la presentacin de grficos conjuntos, los factores que inciden para
lograr una mejor aproximacin.

A continuacin mostraremos algunos ejemplos indicando los comandos que se deben
teclear y mostrando lo que devuelve la pantalla del soft.
Series[Log[x],{x,1,1}]

(-1 + x) + O

[-1 + x]
2

Entre llaves se ha indicado cul es la variable, en el entorno de qu punto se pretende tra-
bajar y el grado del polinomio. Mathematica devuelve el polinomio pedido y agrega un trmi-
no que expresa el orden del error que se comete. Repetiremos el proceso cambiando el gra-
do del polinomio.


(-1 + x)
2

(-1 + x) - --------- + O[-1 + x]
3
2


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

(-1 + x) - --------- + --------- + O[-1 + x]
4
2 3

Llamaremos f a la funcin y f1,f2 y f3 a los polinomios de primero, segundo y tercer orden
obtenidos. Calcularemos las imgenes de estas funciones en puntos prximos a a=1 para ver
analizar cules son los factores que intervienen en mejorar la aproximacin. Finalmente
mostraremos en un mismo grfico las representaciones de f y de sus polinomios aproximan-
tes, dando indicaciones como para que en la pantalla puedan distinguirse los grficos de las
distintas funciones.

f[x_]:=Log[x]
f1[x_]:=-1+x
f2[x_]:=-1+x-(-1+x)^2/2

105
f3[x_]:=-1+x-(-1+x)^2/2+(-1+x)^3/3
{f[1.2],f1[1.2],f2[1.2],f3[1.2]}
{0.182322, 0.2, 0.18, 0.182667}

{f[1.5],f1[1.5],f2[1.5],f3[1.5]}
{0.405465, 0.5, 0.375, 0.416667}

{f[0.2],f1[0.2],f2[0.2],f3[0.2]}
{-1.60944, -0.8, -1.12, -1.29067}

Vemos que la aproximacin depende del grado del polinomio y de la distancia entre x
y el punto en cuyo entorno estamos desarrollando la funcin.

A continuacin dibujaremos la funcin y los polinomios aproximantes. Presentamos
algunas de las opciones que pueden utilizarse para facilitar el reconocimiento de las funcio-
nes: grosor, color y estilo de la lnea de trazado. Tambin indicamos distintas posibilidades
para que el programa muestre grficos superpuestos.

Plot[f[x],{x,0.01,1.8}]

Plot[f1[x],{x,0.01,1.8}];


106
Show[%,%%]

Plot[{f[x],f3[x]},{x,0.01,1.8},
PlotStyle->{{Thickness[0.01],GrayLevel[0.5]},
{Thickness[0.005],RGBColor[1,0,0],Dashing[{0.04,0.02}]}}];

Plot[{f[x],f2[x],f3[x]},{x,0.01,1.8},
PlotStyle->{{Thickness[0.01],GrayLevel[0]},
{Thickness[0.005],RGBColor[0,0,1],Dashing[{0.03,0.04}]},
{Thickness[0.005],RGBColor[1,0,0],Dashing[{0.04,0.02}]}}];


107
La sentencia para limpiar las asignaciones es Clear[f,f1,f2,f3]
Teclela y repita el proceso para f(x) = e
x
(Se escribe :Exp[x]) en un entorno de a=0.

2.- Orden de contacto de dos funciones

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

Por ejemplo:

Las funciones f(x)= ln x , y g(x)=
3
) x 1 (
2
) x 1 (
) x 1 (
3 2
+
+
+

f(1)=0 g(1)=0
f (x)= 1 ) 1 ( ' f
x
1
g(x)= 1 (-1+x) -
2
) x 1 ( + g(1)=1
f (x)=
2
x
1
1 ) 1 ( " f g(x)= -1 2(-1+x)
2
1 ) 1 ( " g
f(x)= 2 ) 1 ( ' " f
x
2
3
g(x)=2 2 ) 1 ( ' " g
f
iv
(x)= 6 ) 1 ( f
x
6
iv
4

g
iv
(x)=0 0 ) 1 ( g
iv

Resulta que f y g tienen un contacto de tercer orden.

3.- Polinomio de Taylor

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

El polinomio que se busca tiene la forma:

P
n
(x)= a
0
+ a
1
(x-x
0
) + a
2
(x-x
0
)
2
+.....+ a
n-1
(x-x
0
)
n-1
+ a
n
(x-x
0
)
n

Obtenemos las n primeras derivadas de P
n
(x):

p
n
(x)= a
1
+ 2.a
2
(x-x
0
) +.....+(n-1) a
n-1
(x-x
0
)
n-2
+ a
n
n (x-x
0
)
n-1

P(x)= 2.a
2
+.....+(n-1)(n-2) a
n-1
(x-x
0
)
n-3
+ a
n
n(n-1) (x-x
0
)
n-2

...............................................................................
P
(n)
n
(x)= a
n
n!

108
Como se pretende que en x
0
coincidan las derivadas de la funcin con las del polinomio, se
tiene:

a
0
= f(x
0
) a
1
= f (x
0
) a
2
=
! 2
) x ( " f
0
................ a
n
=
! n
) x ( f
0
) n (

Reemplazando en la expresin original del polinomio buscado, resul ta:

) a - .(x
n!
(a)
f
+ ... + ) a - (x
2!
(a) f"
+ a) - (a).(x f + f(a) = ) x ( P
(n)
(n)
2
n

P
n
(x) =
n
0 i
i
0 0
) i (
) x x ).( x ( f
! i
1

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 x
0
.

Para x
0
x ( E ), se puede escribir: f(x)
n
P (x).

El error que se comete se llama resto de Taylor o trmino complementario.

La expresin del trmino complementario, segn Lagrange es:

)! 1 n (
) x x )( c ( f
T
1 n
0
1 n
1 n
+
+ +
+
con c entre x
0
y x

Si x
0
=0 , la frmula se llama de Mac Lauren y adopta esta forma:

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

Ejemplo:

Dada la funcin f(x) = e
x
, 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,0001


109
a) El polinomio de Mac Laurin de segundo grado es:
2
(x)=
2
x ) 0 ( " f
! 2
1
x ) 0 ( ' f ) 0 ( f + + . Pero
f(x)=f (x)=f (x)= e
x
f(0)=f (0)=f (0)=e
0
=1

Luego: P
2
(x)= 1+ x + 0.5 x
2

b) Como quiero e =f(0.5), calculo P
2
(0.5)=1+0.5+0.5 . (0.5)
2
=1.625

Teniendo en cuenta que el trmino complementario es:
c
3 c 3
3
e
48
1
6
5 . 0 e
! 3
x ). c ( f
T
111
con 0<c < 0.5

5 . 0 c 5 . 0 c 0
e e 1 e e e
2
1
c 0 < < < < < < . Pero 2 3 e 3 e 2
5 . 0 5 . 0
< < < <
Luego, se tiene:
1 . 0 T 6 041 . 0
24
1
T
48
1
. 2
48
1
e
48
1
48
1
. 1 2 e 1
3 3
c c
< < < < < < <

Es decir, podemos asegurar que

6 , 1 e con 1 , 0 <
Efectivamente, con la calculadora se obtiene: 648721271 . 1 e

c) Quiero hallar n / T
n+1
(0.5)< 0.001

Como T
n+1
(0.5)=
)! 1 n ( 2
e
)! 1 n (
) 2 1 .( e
1 n
c 1 n c
+
+
+
+
, y e
c
< 2, resulta que debe ser:
1000 )! 1 n .( 2
1000
1
)! 1 n ( 2
1
001 . 0
)! 1 n ( 2
2
n
n 1 n
> + <
+
<
+
+

Para n=3 es: 2
3
.4!=192<1000, pero para n =4 es: 2
4
5!=1920>1000
Significa que si se toma el polinomio de cuarto grado de MacLaurin se logra la aproxi-
macin deseada.

P
4
(x)= 1+ x + 0.5 x
2
+
6
1
x
3
+
24
1
.x
4
P
4
(0.5)=1.6484375 1.648 que efectivamente es e con error menor que 0.001

U.T.N. Anlisis Matemtico I: Sucesiones y Series

110
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 figura 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:
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 1
3
1

3
4

9
1
3
1
2

,
_

2 8
9
1

9
4
. 8 =
,
_
3
8
.
3
4
9
32

4 2
3
1
9
1
,
_

,
_

3 8
2
=64
27
1

2
3
8
.
3
4
27
4
. 64
,
_

6
3
1
,
_

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

n

8
n-1
n
3
1

1 n
3
8
.
3
4

,
_

n 2
3
1
,
_


111
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 la frmula de la funcin. Si obviamos indicar el paso,
podemos escribir directamente la forma de calcular el nmero de cuadrados, la medida del
lado, el permetro o el rea de cada cuadrado

Es decir:
el nmero de cuadrados pintados est dado por la funcin: c:N R/ c(n)= 8
n-1
,

pero podramos escribir slo el conjunto imagen:{1 , 8, 64,...., 8
n-1
,...} ,o bien podramos
escribir que las imgenes son (c
n
)
nN
siendo c
n
=8
n-1
Las restantes sucesiones definidas por el cuadro son:
La de las medidas de los lados de los cuadrados pintados:
n
a { }
N n
/
n
n
3
1
a
La de los permetros de la zona pintada en el paso n:
n
p { }
N n
/
n
n
3
8
.
3
4
p
,
_
, etc.

Definicin 1

Se llama sucesin de nmeros reales a toda funcin a: NR /a(n) = a
n

Notacin: Como la sucesin queda caracterizada por el conjunto imagen, se las
denota: {a
n
}
n 1

Definicin 2:
La sucesin {a
n
}
n 1
converge a l o tiene lmite l si y slo si
> > < 0
0 0
, / :( ) n N n n n a
n
l

Las sucesiones con lmite finito son convergentes
Por ejemplo:
e convergent sucesin 3
2 n
n 3
lm
n

+


112
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
lmi tes finitos .(lmite de una suma, de un producto, etc)

Definicin 3:
La sucesin {a
n
}
n 1
tiene lmite inf inito
,
_

n
n
a lm si y slo si
k >0, n
o
N/n :[ n n
0
|a
n
| > k]

Si una sucesin tiene lmite infinito, es divergente
Si no tiene lmite , es oscilante.
Ejemplos:
oscilante es sucesin la ) 2 ( lm
n
n

2
n
n lm la sucesin es divergente

Definicin 4:
La sucesin {a
n
}
n 1
est acotada inf eriormente si y slo si k R/ a
n
k, n
(k es cota inf erior)
La sucesin {a
n
}
n 1
est acotada superiormente si y slo si M R/ a
n
M, n
(M es cota superior)
La sucesin {a
n
}
n 1
est acotada si y slo est acotada superior e inferiormente

Definicin 5:
La sucesin {a
n
}
n 1
es creciente si y slo si n: a
n
a
n+1
Definicin 6:
La sucesin {a
n
}
n 1
es decreciente si y slo si n: a
n
a
n+1

Definicin 7:
La sucesin {a
n
}
n 1
es montona si y slo si {a
n
}
n 1
es creciente o de creciente.

Propiedades de las sucesiones montonas:

i) Si la sucesin {a
n
}
n 1
es montona y acotada, entonces es convergente.

ii) Si la sucesin {s
n
}
n 1
es montona y no est acotada, entonces, si es creciente
se cumple que: +

n
a
lm
n
, y si es decreciente:

n
a
lm
n
.

113
SERIES

Definicin 1:

Sea la sucesin{ a
n
}
n 1
. Se llama serie de trminos a
n
a la

sucesin de sumas parciales de
{ a
n
}
n 1
, es decir a la sucesin { S
n
}
n 1
donde S
n
= a
k
k
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 S
n
es la suma de la serie.
Para expresar la suma de una serie se utiliza la siguiente notacin: a
k
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 a
k
)

Propiedades:
1.- a
k
k
1
y b
k
k
1
convergentes ( ) a b
k k
k
+
1
y ( ) a b
k k
k

1
convergentes.

2.- 0 : a y a
k
k
k
k

1 1
son ambas convergentes o ambas divergentes.

3.- a
k
k
1
convergente
n
n lm
a
0

Definicin 2:
a
k
k
1
es una serie geomtrica de razn r a
n
= a .r
n
(con a y r ctes, a0)

Propiedades
La serie geomtrica a r
k
k

1
converge |r |<1.
La suma de una serie geomtrica de razn r /|r |<1 es S
a
r
1

En efecto:
Queremos encontrar la suma de n elementos de una sucesin aritmtica; es decir:

S
n
= a + a.r + a.r
2
+a.r
3
+....+a.r
n-1


114
Multiplicamos ambos miembros por r:
S
n
.r = a.r + a.r
2
+ a.r
3
+a.r
4
+....+a.r
n

Si restamos miembro a miembro, resulta:
S
n
= a + a.r + a.r
2
+a.r
3
+....+a.r
n-1

S
n
.r = a.r + a.r
2
+ a.r
3
+a.r
4
+....+a.r
n

S
n -
S
n
.r = a - a. r
n

Sacando factor comn, se tiene:
S
n
(1-r) = a (1 r
n
)

1 r
1 r
a
r 1
r 1
a
n n
Sn

Adems cuando
n :
n
n
r
r 1
1
r 1
a
S
'

>
<
1 r si oscila
1 r v 1 | r | si
1 | r | si
r 1
a
a converge

Criterios de convergencia para series de trminos positivos

I.- De comparacin:
Sean las sucesiones { a
n
}
n 1
y { b
n
}
n 1
.Si se cumple que
, b a 0 : n n / N n
n n 0 o
entonces :
* b
k
k
1
converge a
k
k
1
converge
* a
k
k
1
diverge b
k
k
1
diverge
Consecuencia:
Si { a
n
}
n 1
y { b
n
}
n 1
son dos sucesiones de trminos positivos tales
que 0 l
b
a
lm
n
n
n
>

se cumple que: a
k
k
1
converge b
k
k
1
converge

Definicin 3: Se llama serie armnica a la serie
1
1
k
k
.
La serie armnica diverge.
En efecto: La serie armnica es:
...
11
1
10
1
9
1
8
1
7
1
6
1
5
1
4
1
3
1
2
1
1 + + + + + + + + + + +

La comparamos con: ...
16
1
16
1
16
1
8
1
8
1
8
1
8
1
4
1
4
1
2
1
1 + + + + + + + + + + +

>


115
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 por si la serie
armnica admite una serie minorante divergente, es divergente.
Se llama serie armnica generalizada o serie parmnica a la serie
1
1 k
p
k

. Esta serie slo converge si p >1; en los dems casos diverge.

Veamos el caso p=2
1 n
2
n
1
=
2 2 2 2 2 2 2 2 2
10
1
9
1
8
1
7
1
6
1
5
1
4
1
3
1
2
1
1 + + + + + + + + + =
=
81
1
64
1
49
1
36
1
25
1
16
1
9
1
4
1
1 + + + + + + + +
= < = < < <
La comparamos con
64
1
64
1
16
1
16
1
16
1
16
1
4
1
4
1
1 + + + + + + + +

Entonces:
64
1
16
1
4
4
1
2 1 + + +

La segunda serie puede agruparse de tal forma que se obtiene una serie geomtrica de
razn 1/2, es decir, convergente. Entonces por si la serie armnica admite una serie
mayorante convergente, es convergente.

II.- Criterio de DAlembert

Si { a
n
}
n 1
es una sucesin de trminos positivos tal que

+

n
1 n
a
a
lm
n
l , entonces: l <1 a
k
k
1
converge
l >1 a
k
k
1
diverge
(Si l =1, el criterio no permite obtener conclusiones)

III.- Criterio de Cauchy
Si { a
n
}
n 1

n
n
a
n
lm
l , entonces: l <1 a
k
k
1
converge
l >1 a
k
k
1
diverge.

IV.- Criterio de Raabe
(Se utiliza cuando al aplicar DAlembert se obtiene lmite 1)

Si { a
n
}
n 1


116
`
,
_

+
1
a
a
n
1 n
n
n
lm
l , entonces: l >1 a
k
k
1
converge
l <1 a
k
k
1
diverge

Definicin 4: Las series de la forma ( )
1
1
k
k
k
a con a
k
0 se denominan series
alternadas.

Criterio de Leibniz para la convergencia de series alternadas

Si { a
n
}
n 1
es una sucesin decreciente de trminos no negativos tal
que 0 a
n
n
lm

, entonces la serie alternada
1 k
k
k
a ) 1 ( es convergente.

Series de trminos cualesquiera

Definicin 5:
a
n
n
1
es absolutamente convergente si y slo si a
n
n
1
es convergente.
Si la serie converge, pero la serie de los mdulos diverge, se dice
que la serie es condicionalmente convergente.

Criterio de convergencia absoluta
Si { a
n
}
n 1
es una sucesin tal que
+

| a |
| a |
n
1 n
n
lm
l , entonces:
l <1
1 k
k
a converge absolutamente converge
l >1 v
+

| a |
| a |
n
1 n
n
lm
+
1 k
k
a diverge

Propiedades:
Toda serie absolutamente convergente es convergente.
Si a
n
n
1
es condicionalmente convergente, R, es posible encontrar un
reordenamiento { b
n
} de { a
n
} tal que b
n
n
1
converge a .
(Para las series condici onalmente convergentes, no vale la propiedad conmutativa)


117
I.- SUCESI N DE FUNCI ONES
I.1Definicin:

Sea A
[x]
= { f / f:AR es funcin con A R}, se llama sucesin de f unciones a toda
funcin s: N A
[x]
.

Como las sucesiones numricas , las de funciones quedan caracterizadas por su conjunto
imagen.

Ejemplo:
s: N R
[x]
/ s(n)= f
n
(x)= x
n
. El conjunto imagen es:{x , x
2
,...., x
n
,....}

Notacin: (f
n
)
n1
= x
n

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 (f
n
)
n1
, de A en R ( con AR), se dice que la sucesin conver-
ge puntualmente a una cierta funcin f:BR (con BA) si y slo si, para cada x B se veri-
fica que ) x ( f ) x ( f lm
n
n

.

Notacin : f
n
f, x B (si B=A, se indica slo f
n
f )

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, f
n
(1)=1
n
= 1, n N.
Entonces f
n
converge puntualmente a f:(-1,1]R/ f x
si x
si x
( )
< <
'
0 1 1
1 1

Observacin:

Cuando se analiza convergencia puntual, se exige que: dado >0, para cada x A, existe
n
o
() N tal que para todo n n
o
se cumple que |f
n
(x)- f(x)|< .
La expresin remarcada nos indica que, en realidad n
0
depende de y del valor de x consi -
derado.


118
I.3.-Definicin :
n
)
n1
, de A en R ( con AR), se dice que la sucesin conver-
ge unif ormemente a una cierta funcin f:BR (con BA) si y slo si se verifica que para
cualquier >0, existe n
o
() N tal que si xB y n n
o
, entonces |f
n
(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 n
0
/ n n
0
|f
n
(x)- f(x)|< .

Otro ejemplo:
Consideremos A=R y (f
n
)
n1
/ f
n
(x)=
1
2
n
nx sen( ) .
Como: |f
n
(x)|=
1
2
n
nx sen( ) =
1
2
n
nx sen( )
1
2
n
,
resulta que si se toma n
0
<
1
, se cumple que:
n n
0:
1 1 1 1
2 2
0
2
0
2
n
nx
n
nx
n n
< sen( ) sen( )

y
x

-
f
1

f
2

f
3

f
4

f

119
Resulta que: dado >0, n
0
<
1
/ n : [n n
0

f x
n
( ) < 0
]
f
n
converge uniformemente a f.

I.4.-Propiedades de las sucesiones uniformemente convergentes

I.4.1.- Si una sucesin converge uniformemente, entonces converge puntual mente.
I.4..2.- Sea (f
n
)
n1
una sucesin de funciones integrables en [a,b] que converge uniforme-
mente a una funcin f , tambin integrable sobre [a,b].
Entonces:

b
a
b
a
n
n
dx ) x ( f dx ) x ( f lm .
I.4.3.- Sea (f
n
)
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 (f
n
)
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) = ) x ( ' f lm
n
n
= g(x).

-6 -4 -2 2 4 6
-1
-0.75
-0.5
-0.25
0.25
0.5
0.75
1
f1
f2
f3 f4
y
x

Puede verse que para n>1,
|f
n
-0|<, independiente-
mente del valor de x consi-
derado.


120
I I . - SERI ES DE FUNCI ONES
II.1.- Definicin

n
)
n1
, definidas de A en R (con AR) , llamaremos
serie de f unciones y anotaremos
f
n
n
1
, a la sucesin de sumas parciales
(S
k
)
k 1
, siendo S
k
(x) =
f x
n
n
k
( )
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
n
1
uniformemente convergente hacia f en [a,b]
II.2.1.- Entonces f
n
n
1
converge puntual mente a f en [a,b].

II.2.2.- Si cada f
n
( con n1) es continua en [a,b], entonces f es continua en [a,b]. =

II.2.3.- Si f y cada f
n
( con n1) son integrables en [a,b], entonces:
f x dx
a
b
( )
= f x dx
n
n
a
b
( ).

1
= f x dx
n
a
b
n
( )

1
.

II.2.4.- Si
f x
n
n
( )
1
converge puntualmente en (a,b) a una funcin f y adems la serie
f x
n
n
' ( )
1
converge uniformemente a una funcin h continua en (a,b) , entonces f es deriva-
ble en (a,b) y f (x) = h(x) , o sea f (x)=
f x
n
n
' ( )
1
.
II.3.- Prueba M de Weierstrass

Sean ( f
n
)
n 1
una sucesin de funciones definidas sobre A y (M
n
)
n 1
una sucesin de n-
meros reales tales que :| f
n
(x) | M
n
, x A.
Si M
n
n
1
converge , entonces x A
f x
n
n
( )
1
converge absoluta y uniformemente a una
funcin f (x) definida en A.


121
I I I . - SERI ES DE POTENCI AS

III.1.- Definicin:

Se llama serie de potencias a toda serie de funciones en la que cada f
n
es de la
forma: f x a x x
n n o
n
( ) ( ) con a
n
R, n.

Como mediante una sustitucin adecuada todas pueden llevarse a la forma a x
n
n
n
1
, nos
limitaremos a estudiar stas.

III.2.- Lema de Abel
Sea x
0
R - { 0} / la serie a x
n
n
n
0
1
resulte convergente. Entonces:

r: 0 < r < |x
0
|, la serie a x
n
n
n
1
converge absoluta y uniformemente en [-r, r]

III.3.- Radio de convergencia

III.3.2. - Clculo del radio de convergencia

Sea a x
n
n
n
1
, si existe l = lm
a
a n
n
n
+1
0 l = lm
n
a
n
n
0
1
R
l
.

III.3.3. - Intervalo de convergencia
Sea a x
n
n
n
1
:
a) Si l m
a
a n
n
n
+

1
lm
n
a
n
n
, R= 0 a x
n
n
n
1
slo converge para x = 0.
b) Si l = 0, la serie converge x y el radio de convergencia es infinito.
III.3.1.Definicin:
Consideremos la serie de potencias a x
n
n
n
1
, se llama radio de convergencia de la
misma al nmero real R definido como:
R= supremo { r R
0
+
/ a x
n
n
n
1
converge en [-r,r] } ( R puede ser 0 o infinito).

122
c) Si existe R finito / R 0, a x
n
n
n
1
converge absolutamente en (-R,R) y debe analizarse la
convergencia en x = R y en x = - R. Si converge absolutamente en uno de los extremos, ta m-
bin 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 a x
n
n
n
1
converge uniformemente en [-R+ , R - ], > 0.

I V. - SERI ES DE TAYLOR

IV.1.- Definicin
Sea f una funcin indefinidamente derivable. Se llama serie de Taylor asociada a f a la
serie
f x x x
i
i
o o
i
i
( )
( ) ( )
!

1
obtenida a partir del desarrollo de Taylor de f en un entor-
no del punto x
0.

La condicin necesaria y suficiente para que una funcin f sea igual a su serie de
Taylor asociada en x
0
, es que el trmino complementario de Taylor tienda a cero cuando n
. Es decir:
n
n
n
lm
f c
n
x x
+
+
+

( )
( )
( )!
( )
1
0
1
1
0.

En su intervalo de convergencia, las series de Taylor son derivables e integrables
trmino a trmino.

Apunte de La F.R. Avellaneda

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apunte de La F.R. Avellaneda

Cargado por

Copyright:

Formatos disponibles

ndice

(expresin decimal peridica pura)

Sumando miembro a miembro

, por eso la palabra lmite nos autoriza a simplificar..

( ) si y slo si para cualquier n-

Anlisis Matemtico I: Lmite

, la relacin (1) tambin es

, entonces de (*) se tiene:

, aunque la funcin permanece en [-1,1].

=0, ya que si bien la funcin oscila en un entorno reducido de cero, esa

.(Si n es fraccionario, debe ser 0 > )

. Es decir, la pendiente de la recta tangente representa la vel o-

}; podemos definir una nueva funcin de B en R que a

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

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

U.T.N. Anlisis Matemtico I:Derivadas

(por def. de derivada)

< < < <

)] x ( t ) ' x ( f / ) ; x ( ' E ' x

. Se trata de una indeterminacin

y se toma como altura de los

), obtenemos , para cada particin, la suma de Riemann o suma integral:

,al lmite, si existe, para n , de la sucesin de sumas de Riemann.

dx . x sen (por prop. de integral def.), resulta: - cos 0 + C = 0

resulte convergente. Entonces:

También podría gustarte