Libro - Funciones de R en R - Haim - Universidad ORT Uruguay
Libro - Funciones de R en R - Haim - Universidad ORT Uruguay
Libro - Funciones de R en R - Haim - Universidad ORT Uruguay
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
UNIVERSIDAD <strong>ORT</strong> – <strong>Uruguay</strong><br />
Facultad <strong>de</strong> Ing<strong>en</strong>iería<br />
FUNCIONES DE R EN R<br />
Tópicos básicos<br />
- Continuidad<br />
- Cálculo <strong>de</strong> límites - Variables equival<strong>en</strong>tes<br />
- Derivadas y difer<strong>en</strong>ciales<br />
Año 2006<br />
Ing. Isi <strong>Haim</strong><br />
Catedrático <strong>de</strong> Matemáticas
El alumno que ingresa a la <strong>Universidad</strong><br />
<strong>de</strong>bería conocer y manejar fluidam<strong>en</strong>te los<br />
temas que se <strong>en</strong>cu<strong>en</strong>tran <strong>en</strong> esta publicación.<br />
Dadas las car<strong>en</strong>cias <strong>en</strong> ese s<strong>en</strong>tido que se han<br />
constatado <strong>en</strong> g<strong>en</strong>eral <strong>en</strong> los alumnos que<br />
comi<strong>en</strong>zan sus estudios <strong>de</strong> Ing<strong>en</strong>iería (a<br />
través <strong>de</strong> diagnósticos realizados al<br />
inicio <strong>de</strong> los cursos), se recomi<strong>en</strong>da<br />
especialm<strong>en</strong>te a los estudiantes leer estas<br />
páginas con at<strong>en</strong>ción y <strong>de</strong>dicación, <strong>de</strong> manera<br />
<strong>de</strong> po<strong>de</strong>r abordar a<strong>de</strong>cuadam<strong>en</strong>te los cursos<br />
<strong>de</strong> Matemáticas que se les brindarán <strong>en</strong> la<br />
<strong>Universidad</strong>.<br />
Ing. Isi <strong>Haim</strong><br />
ii
ÍNDICE<br />
CAPÍTULO I – CONTINUIDAD .................................................…. 1<br />
Tipos <strong>de</strong> discontinuidad .......................................…. 1<br />
Principales teoremas .............................................… 4<br />
CAPÍTULO II – LÍMITES Y VARIABLES EQUIVALENTES ....… 6<br />
Variables equival<strong>en</strong>tes ............................................. 6<br />
Propieda<strong>de</strong>s fundam<strong>en</strong>tales .................................… 8<br />
Or<strong>de</strong>n <strong>de</strong> infinitésimos .......................................…. 10<br />
Or<strong>de</strong>n <strong>de</strong> infinitos ................................................… 12<br />
Ejemplos <strong>de</strong> aplicación ........................................... 15<br />
CAPÍTULO III - DERIVADAS Y DIFERENCIALES ...................… 17<br />
Noción <strong>de</strong> <strong>de</strong>rivada .................................................. 17<br />
Interpretación gráfica ............................................... 17<br />
Tabla <strong>de</strong> <strong>de</strong>rivadas ................................................... 19<br />
Regla <strong>de</strong> la ca<strong>de</strong>na ................................................... 20<br />
Teoremas importantes .............................................. 21<br />
<strong>Funciones</strong> difer<strong>en</strong>ciables .......................................... 22<br />
iii
CAPÍTULO I<br />
CONTINUIDAD<br />
Definición : f(x) continua <strong>en</strong> a<br />
1 ª <strong>de</strong>finición ⇔ límf(x) = f(a)<br />
x→a<br />
2 ª <strong>de</strong>finición ⇔ ∀ε>0: ∃δ>0 / |x-a|< δ ⇒|f(x)-f(a)| < ε<br />
3 ª <strong>de</strong>finición ⇔ lím [f(a+∆x) – f(a)] = 0 , o sea que si el increm<strong>en</strong>to <strong>de</strong> la variable<br />
∆x→0<br />
tomado a partir <strong>de</strong> a ti<strong>en</strong><strong>de</strong> a 0, también<br />
ti<strong>en</strong><strong>de</strong> a 0 el increm<strong>en</strong>to correspondi<strong>en</strong>te<br />
<strong>de</strong> la función.<br />
Es fácil comprobar la equival<strong>en</strong>cia <strong>en</strong>tre las 3 <strong>de</strong>finiciones. Observemos<br />
que la forma más usual <strong>de</strong> la <strong>de</strong>finición <strong>de</strong> continuidad es la primera; el lector <strong>de</strong>be<br />
t<strong>en</strong>er especialm<strong>en</strong>te <strong>en</strong> cu<strong>en</strong>ta que esa <strong>de</strong>finición conti<strong>en</strong>e implícitam<strong>en</strong>te tres<br />
afirmaciones, <strong>de</strong> las cuales las dos primeras <strong>de</strong>b<strong>en</strong> verificarse cuidadosam<strong>en</strong>te antes <strong>de</strong><br />
comprobar la igualdad:<br />
1) Existe f(a)<br />
2) Existe límf(x) y es finito<br />
x→a<br />
3) Los dos valores son iguales.<br />
Por supuesto, si se toman límites sólo laterales, pue<strong>de</strong> <strong>de</strong>finirse la continuidad lateral;<br />
por ejemplo, por la <strong>de</strong>recha:<br />
f(x) continua <strong>en</strong> a +<br />
⇔ lím f(x) = f(a)<br />
x→ a +<br />
⇔ ∀ε>0: ∃δ>0 ⁄ (x≥a y x-a < δ ) ⇒|f(x) – f(a)| < ε<br />
⇔ lím [f(a+∆x) – f(a)] = 0<br />
∆x→0 +<br />
DEL PUNTO DE VISTA GRÁFICO, la repres<strong>en</strong>tación <strong>de</strong> una función continua <strong>en</strong> a<br />
pue<strong>de</strong> dibujarse alre<strong>de</strong>dor <strong>de</strong> a sin levantar el lápiz.<br />
Tipos <strong>de</strong> discontinuidad<br />
1) Discontinuidad evitable :<br />
Ocurre <strong>en</strong> a cuando no existe f(a) pero existe y es finito lím f(x) = λ ( o sea que<br />
x→a<br />
exist<strong>en</strong> los dos límites laterales y son finitos e iguales). La discontinuidad se llama<br />
“evitable” porque si se completa la <strong>de</strong>finición <strong>de</strong> la función dando a f(a) el valor λ<br />
<strong>de</strong>l límite <strong>en</strong> a, la función resulta continua. Veremos que <strong>en</strong> los otros casos <strong>de</strong><br />
discontinuidad, resulta imposible “evitar” la discontinuidad.<br />
1
2<br />
x − x − 2<br />
Ejemplo : f ( x)<br />
=<br />
<strong>en</strong> el punto x = 2<br />
x − 2<br />
Vemos que f(2) no existe pero existe límf(x) :<br />
x→2<br />
2<br />
x − x − 2 ( x + 1)( x − 2)<br />
Para x ≠ 2 : =<br />
= x + 1 → 3 cuando x → 2<br />
x − 2 x − 2<br />
El gráfico <strong>de</strong> y = f(x) es:<br />
f(x)<br />
y<br />
3<br />
O<br />
2<br />
x<br />
Se trata <strong>de</strong> la recta con un “hueco” <strong>en</strong> el punto x = 2. Si se completa la <strong>de</strong>finición<br />
así:<br />
2<br />
⎧ x − x − 2<br />
⎪<br />
para x ≠ 2<br />
f ( x)<br />
= ⎨ x − 2<br />
,<br />
⎪<br />
⎩3<br />
para x = 2<br />
la función resulta continua <strong>en</strong> el punto.<br />
2) Discontinuidad infinita :<br />
Ocurre <strong>en</strong> a cuando, a pesar <strong>de</strong> existir ambos límites laterales, por lo m<strong>en</strong>os uno <strong>de</strong><br />
ellos es infinito (+∞ o -∞ ).<br />
Ejemplo 1 : Los dos límites laterales son iguales, pero ambos son infinitos<br />
x<br />
f ( x)<br />
= <strong>en</strong> x = 2<br />
2<br />
( x − 2)<br />
T<strong>en</strong>emos lím f(x) = +∞ , con el sigui<strong>en</strong>te gráfico alre<strong>de</strong>dor <strong>de</strong>l punto:<br />
x→2<br />
y<br />
O<br />
Aunque se complete la <strong>de</strong>finición <strong>de</strong> f(x) dando un valor a f(2), la<br />
discontinuidad no pue<strong>de</strong> evitarse, por ninguno <strong>de</strong> los dos lados.<br />
Ejemplo 2 : Los dos límites laterales exist<strong>en</strong>, pero son infinitos <strong>de</strong> distinto signo<br />
1<br />
f ( x)<br />
= <strong>en</strong> x = 0<br />
x<br />
T<strong>en</strong>emos límf(x) = +∞ límf(x) = -∞<br />
x→0 + x→0 -<br />
El gráfico alre<strong>de</strong>dor <strong>de</strong>l punto es:<br />
2<br />
2<br />
x
y<br />
O<br />
x<br />
La discontinuidad es inevitable por ambos lados.<br />
Ejemplo 3 : Un límite lateral es finito y el otro es infinito; no existe límite <strong>en</strong> el<br />
punto<br />
1<br />
e<br />
x<br />
f(x) = <strong>en</strong> x = 0<br />
límf(x) = +∞ límf(x) = 0<br />
x→0 + x→0 -<br />
y<br />
O<br />
x<br />
La discontinuidad es evitable <strong>en</strong> 0 - haci<strong>en</strong>do f(0) = 0 pero no es evitable <strong>en</strong> 0.<br />
3) Discontinuidad <strong>de</strong> primera especie<br />
Ocurre <strong>en</strong> a cuando exist<strong>en</strong> ambos límites laterales, son finitos pero son distintos. La<br />
función podría ser continua por un lado pero no <strong>en</strong> el punto.<br />
Ejemplo : E(x) = n para n ≤ x < n+1, con n ∈ N<br />
Por ejemplo, <strong>en</strong> x = 2:<br />
0<br />
2<br />
1<br />
1 2 3<br />
x<br />
límE(x) = 1 límE(x) = 2<br />
x→2 - x→2 +<br />
La función es sólo continua <strong>en</strong> 2 + ya que E(2) = 2.<br />
Este tipo <strong>de</strong> discontinuidad es muy importante <strong>en</strong> aplicaciones matemáticas o físicas<br />
(funciones continuas “ a trazos” o “seccionalm<strong>en</strong>te continuas”, que se consi<strong>de</strong>ran <strong>en</strong><br />
Cálculo Integral, <strong>en</strong> el estudio <strong>de</strong> las series <strong>de</strong> Fourier, etc.)<br />
3
4) Discontinuidad <strong>de</strong> segunda especie<br />
Ocurre <strong>en</strong> a cuando por lo m<strong>en</strong>os uno <strong>de</strong> los dos límites laterales no existe.<br />
1<br />
1<br />
Ejemplo : f(x) = e x s<strong>en</strong><br />
x<br />
<strong>en</strong> x = 0<br />
límf(x) = 0 límf(x) no existe<br />
x→0 - x→0 +<br />
Continuidad <strong>en</strong> un intervalo<br />
Se dice que f(x) es continua <strong>en</strong> el intervalo I si y sólo si es continua <strong>en</strong> cada uno <strong>de</strong> los<br />
puntos <strong>de</strong> I (si I es finito, <strong>en</strong> los extremos <strong>de</strong> I es sufici<strong>en</strong>te la continuidad lateral).<br />
Cuando I es finito con extremos a,b:<br />
- f(x) es continua <strong>en</strong> [a,b] sii lo es <strong>en</strong> todo x tal que a
Ejemplo :<br />
Consi<strong>de</strong>remos la sucesión sigui<strong>en</strong>te, que está acotada superior e inferiorm<strong>en</strong>te:<br />
1 1/2 1/3 1/4 1/5 ………………<br />
1 es extremo superior<br />
0 es extremo inferior<br />
1 es máximo <strong>de</strong>l conjunto<br />
No hay mínimo<br />
Teorema I : Una función continua <strong>en</strong> un intervalo cerrado y acotado es acotada.<br />
Teorema II : (Weierstrass) Una función continua <strong>en</strong> un intervalo cerrado y acotado<br />
ti<strong>en</strong>e <strong>en</strong> ese intervalo un máximo y un mínimo.<br />
(es <strong>de</strong>cir que los extremos superior e inferior <strong>de</strong> la función <strong>en</strong> ese intervalo<br />
son respectivam<strong>en</strong>te máximo y mínimo)<br />
Teorema III : (Bolzano) Si una función f(x) es continua <strong>en</strong> un intervalo cerrado [a,b] y<br />
f(a) y f(b) son <strong>de</strong> signo contrario, existe por lo m<strong>en</strong>os un punto<br />
c interior a (a,b) tal que f(c) = 0.<br />
Teorema IV : (Darboux) (g<strong>en</strong>eralización <strong>de</strong>l teorema <strong>de</strong> Bolzano)<br />
Si f(x) es continua <strong>en</strong> [a,b], toma todos los valores<br />
compr<strong>en</strong>didos <strong>en</strong>tre f(a) y f(b) <strong>en</strong> ese intervalo.<br />
Las <strong>de</strong>mostraciones <strong>de</strong> esos teoremas pue<strong>de</strong>n consultarse <strong>en</strong> los textos <strong>de</strong> Análisis<br />
Matemático pero es importante <strong>de</strong> todos modos conocer las propieda<strong>de</strong>s que esos<br />
teoremas establec<strong>en</strong>.<br />
-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-<br />
5
CAPÍTULO II<br />
LÍMITES Y VARIABLES EQUIVALENTES<br />
Suponemos que el lector conoce las <strong>de</strong>finiciones <strong>de</strong> límites para<br />
funciones <strong>de</strong> R <strong>en</strong> R (tanto límites finitos como infinitos) y que se han estudiado las<br />
operaciones básicas con límites.<br />
Para el cálculo <strong>de</strong> límites, es conocido que exist<strong>en</strong> 7 casos <strong>de</strong><br />
in<strong>de</strong>terminación, que se simbolizan así:<br />
0 ∞<br />
+∞−∞ 0.∞<br />
1 ∞ 0 0 ∞ 0 ,<br />
0 ∞<br />
<strong>en</strong>t<strong>en</strong>diéndose que los símbolos usados correspon<strong>de</strong>n a límites (<strong>en</strong> particular <strong>en</strong> 1 ∞ , no<br />
se trata <strong>de</strong> la constante 1 sino <strong>de</strong> una variable cuyo límite es 1; <strong>en</strong> el caso <strong>de</strong> un 1 fijo, la<br />
operación 1 ∞ no es in<strong>de</strong>terminada ya que 1 u con u → ∞ ti<strong>en</strong>e el límite 1: 1 u = 1 → 1).<br />
La forma más efici<strong>en</strong>te para abordar el cálculo <strong>de</strong> un límite que se<br />
pres<strong>en</strong>ta como in<strong>de</strong>terminado es emplear la teoría <strong>de</strong> las variables equival<strong>en</strong>tes, que<br />
<strong>de</strong>sarrollaremos aquí <strong>en</strong> <strong>de</strong>talle.<br />
Variables equival<strong>en</strong>tes:<br />
Definición : Sean u(x) y v(x) dos funciones <strong>de</strong> R <strong>en</strong> R, no idénticam<strong>en</strong>te nulas. Decimos<br />
que u es “equival<strong>en</strong>te” a v para x t<strong>en</strong>di<strong>en</strong>do a a (a finito o infinito) si y sólo<br />
si el límite <strong>de</strong> u sobre v para x → a vale 1, o sea:<br />
u ∼ v para x → a ⇔ lím<br />
x→a<br />
u = 1<br />
v<br />
Se trata <strong>de</strong> una relación <strong>de</strong> equival<strong>en</strong>cia <strong>en</strong> el s<strong>en</strong>tido algebraico clásico. En efecto:<br />
u<br />
- propiedad idéntica : u∼u pues = 1 → 1<br />
u<br />
- propiedad recíproca : u∼v ⇒ v∼u<br />
v 1<br />
En efecto: = → 1<br />
u u<br />
v<br />
- propiedad transitiva :<br />
u ∼ v ⎫<br />
⎬ ⇒ u ∼ w<br />
v ∼ w⎭<br />
1<br />
u u v<br />
En efecto: = → 1 ya que ambos coci<strong>en</strong>tes<br />
w v w<br />
ti<strong>en</strong><strong>de</strong>n a 1<br />
_____________________<br />
Propiedad fundam<strong>en</strong>tal : Toda variable u(x) que ti<strong>en</strong>e límite finito y no nulo para x → a<br />
6
(finito o infinito) es equival<strong>en</strong>te a su límite.<br />
En efecto, si<strong>en</strong>do lím u = λ ≠ 0 :<br />
u<br />
→ 1<br />
λ<br />
Equival<strong>en</strong>cias básicas :<br />
s<strong>en</strong>x ∼ tgx ∼ x ∼ Arcs<strong>en</strong>x ∼ Arctgx para x → 0<br />
2<br />
x<br />
1 – cosx ∼ para x → 0<br />
2<br />
Lx ∼ x – 1 para x→ 1<br />
a o x n + a 1 x n-1 + ……..+a n ∼ a o x n (a o ≠ 0) para x → +∞ o para x → −∞<br />
Demostraciones <strong>de</strong> las equival<strong>en</strong>cias básicas<br />
λ<br />
<br />
M<br />
T<br />
O<br />
P<br />
Q<br />
A<br />
PM = s<strong>en</strong> x<br />
arco AM = x<br />
Círculo<br />
trigonométrico<br />
Si x > 0:<br />
PM < AM < arcoAM < AQ + QM < AQ + QT =<br />
AT<br />
s<strong>en</strong>x x tgx ⇒ 1 < < ⇒ s<strong>en</strong> x ⇒ x∼s<strong>en</strong>x<br />
s<strong>en</strong> x cos x<br />
−<br />
x → 0<br />
Resulta pues: s<strong>en</strong>x ∼ x para x→0<br />
tg x s<strong>en</strong> x<br />
Se <strong>de</strong>duce: = → 1 para x→0 , o sea tgx ∼ x para x→0.<br />
x x cos x<br />
7
La consecu<strong>en</strong>cia para las funciones trigonométricas inversas es inmediata.<br />
1 – cosx = 1 – (1 – 2s<strong>en</strong> 2 x ) = 2s<strong>en</strong><br />
2 x<br />
2 2<br />
2 x ⎛ x ⎞<br />
2s<strong>en</strong> s<strong>en</strong><br />
1−<br />
cos x<br />
⎜ ⎟<br />
Entonces =<br />
2<br />
= ⎜ 2 ⎟ → 1<br />
2 2<br />
x x ⎜ x ⎟<br />
2 2 ⎝ 2 ⎠<br />
2<br />
para x→0<br />
Hacemos x – 1 = y → 0<br />
Lx L(1<br />
+ y)<br />
⎡<br />
= = L⎢(1<br />
+ y)<br />
x −1<br />
y ⎢⎣<br />
↓<br />
e<br />
1<br />
y<br />
⎤<br />
⎥<br />
⎥⎦<br />
→ Le = 1<br />
n n−1<br />
ao<br />
x + a1x<br />
+ .......... + an<br />
a1<br />
a2<br />
an<br />
= 1+<br />
+ + .......... + → 1<br />
n<br />
2<br />
n<br />
a x<br />
a x a x<br />
a x<br />
o<br />
0<br />
o<br />
↓ ↓ ↓<br />
0 0 0<br />
“Un polinomio es equival<strong>en</strong>te a su término <strong>de</strong> mayor grado cuando la variable<br />
ti<strong>en</strong><strong>de</strong> a ∞”<br />
___________<br />
Observación : Las equival<strong>en</strong>cias básicas <strong>en</strong>unciadas <strong>de</strong>b<strong>en</strong> leerse con total g<strong>en</strong>eralidad<br />
para aplicarlas efici<strong>en</strong>tem<strong>en</strong>te <strong>en</strong> el cálculo <strong>de</strong> límites. Por ejemplo, la 3 <strong>de</strong>be leerse:<br />
“el logaritmo <strong>de</strong> una variable que ti<strong>en</strong><strong>de</strong> a 1 es equival<strong>en</strong>te a la variable m<strong>en</strong>os 1”;<br />
esa variable pue<strong>de</strong> ser una función más compleja que la simple función x; aclaramos la<br />
i<strong>de</strong>a <strong>de</strong> esta manera:<br />
Para x →2 : L(x 2 +4x-11) ∼ x 2 +4x-12 , ya que la variable x 2 +4x-11 ti<strong>en</strong><strong>de</strong> a 1.<br />
Propieda<strong>de</strong>s fundam<strong>en</strong>tales :<br />
______________________<br />
1) Si u ∼ v y una <strong>de</strong> ellas ti<strong>en</strong>e límite, la otra también lo ti<strong>en</strong>e y su límite es el<br />
mismo.<br />
Demostración : Supongamos que v ti<strong>en</strong>e límite.<br />
Si u no tuviera límite, v<br />
u no t<strong>en</strong>dría límite; contradicción pues v<br />
u → 1.<br />
T<strong>en</strong>i<strong>en</strong>do u límite, distinguimos 2 casos:<br />
1 er caso : límv = 0<br />
Si<strong>en</strong>do u∼v, también v∼u y por lo tanto lím u<br />
v = 1 . Si fuera límu ≠ 0,<br />
o<br />
v lím v<br />
t<strong>en</strong>dríamos lím = = 0<br />
u límu<br />
2º caso : límv ≠ 0<br />
(contradicción). Luego límu = 0 ⇒ límu=límv<br />
8
u lím u<br />
Si fuera límu=0, t<strong>en</strong>dríamos lím = = 0 , contradicción. Debe ser <strong>en</strong>tonces<br />
v límv<br />
u<br />
lím u<br />
límu≠0. . Pero si<strong>en</strong>do lím = 1 , resulta = 1 ⇒ lím u = lím v<br />
v<br />
límv<br />
2) Si u ∼ v y w no es idénticam<strong>en</strong>te nula, <strong>en</strong>tonces uw ∼ vw.<br />
uw u<br />
En efecto = → 1<br />
vw v<br />
Por la propiedad (1), resulta <strong>en</strong>tonces que para hallar el límte <strong>de</strong> uw, po<strong>de</strong>mos hallar<br />
el límite <strong>de</strong> vw . Se <strong>de</strong>duce: En una expresión que ti<strong>en</strong>e límite, todo factor pue<strong>de</strong><br />
reemplazarse por un equival<strong>en</strong>te a los efectos <strong>de</strong><br />
<strong>en</strong>contrar ese límite.<br />
w w<br />
3) Si u ∼ v y w no es idénticam<strong>en</strong>te nula, <strong>en</strong>tonces ∼ .<br />
u v<br />
También pue<strong>de</strong> hacerse el reemplazo para una variable que figura como divisor.<br />
Ejemplos : Hallar los sigui<strong>en</strong>tes límites:<br />
2<br />
4<br />
x tg x<br />
x −1<br />
Lx<br />
( 1+ x)<br />
α −1<br />
a) lím ; b) lím ; c) lím ; d) lím<br />
3<br />
10<br />
5s<strong>en</strong> x<br />
x −1<br />
x 3 −1<br />
x<br />
x→0 x→1 x→1 x→0 con α∈R<br />
a)<br />
b)<br />
c)<br />
2<br />
2<br />
x tg x x . x 1 1<br />
∼ = →<br />
3<br />
3<br />
5s<strong>en</strong> x 5x<br />
5 5<br />
4<br />
4<br />
x −1<br />
L(<br />
x ) 4Lx<br />
2 2<br />
∼ = = →<br />
10<br />
10<br />
x −1<br />
L(<br />
x ) 10Lx<br />
5 5<br />
Lx Lx Lx 1 1<br />
∼ = = →<br />
x 3 −1 L( x<br />
3 ) 3 Lx 3 3<br />
d) Si α≠0 :<br />
( 1+ x)<br />
−1<br />
αL ( 1+<br />
x)<br />
αx<br />
∼ ∼<br />
x x x<br />
Si α=0 :<br />
( 1+ x)<br />
−1<br />
= 0 → 0<br />
x<br />
De modo que el límite es siempre α .<br />
= α → α<br />
4) Si u ∼ v y su límite común no es 1, se ti<strong>en</strong>e L⏐u⏐∼ L⏐v⏐.<br />
En efecto:<br />
u<br />
L v<br />
L u v<br />
=<br />
L v L v<br />
⎛ u ⎞<br />
L⎜<br />
. v ⎟<br />
=<br />
⎝ v ⎠<br />
=<br />
L v<br />
u<br />
L<br />
v<br />
+ L v<br />
L v<br />
u<br />
L<br />
v<br />
=<br />
L v<br />
+ 1 → 1<br />
ya que <strong>en</strong> la fracción <strong>de</strong>l primer sumando el numerador ti<strong>en</strong><strong>de</strong> a 0 mi<strong>en</strong>tras que el<br />
<strong>de</strong>nominador no ti<strong>en</strong><strong>de</strong> a 0 (v no ti<strong>en</strong><strong>de</strong> a 1)<br />
Como aplicación importante, t<strong>en</strong>dremos, para un polinomio <strong>de</strong> grado efectivo n::<br />
L⏐a o x n + a 1 x n-1 + ………+a n ⏐ ∼ L⏐a o x n ⏐ para x→+∞ o x→−∞<br />
Se <strong>de</strong>duce pues la equival<strong>en</strong>cia <strong>de</strong>l logaritmo <strong>de</strong>l valor absoluto <strong>de</strong> un polinomio con<br />
el logaritmo <strong>de</strong>l valor absoluto <strong>de</strong>l término <strong>de</strong> mayor grado, para valores infinitos<br />
<strong>de</strong> la variable.<br />
9
5) Si u ∼ v y α∈R, se ti<strong>en</strong>e u α ∼ v α .<br />
α<br />
α<br />
u ⎛ u ⎞<br />
u<br />
En efecto: = ⎜ ⎟ → 1 ya que → 1<br />
α<br />
v ⎝ v ⎠<br />
v<br />
1<br />
En particular, tomando α = , se t<strong>en</strong>drá: n<br />
u ∼ n v .<br />
n<br />
6) IMP<strong>ORT</strong>ANTE : Si u ∼ v , no forzosam<strong>en</strong>te u + w ∼ v + w<br />
Por ejemplo, si x→0, tomando u = s<strong>en</strong>x, v = x, w = 5x, t<strong>en</strong>emos obviam<strong>en</strong>te<br />
s<strong>en</strong> x<br />
+ 5<br />
s<strong>en</strong> x 5<br />
s<strong>en</strong>x+5x ∼ x+5x, ya que + x<br />
=<br />
x → 1 .<br />
x + 5x<br />
1+<br />
5<br />
s<strong>en</strong> x<br />
También s<strong>en</strong>x + 5x 2 ∼ x + 5x 2 2 + 5x<br />
s<strong>en</strong> x + 5x<br />
, ya que =<br />
x<br />
→ 1 .<br />
2<br />
x + 5x<br />
1+<br />
5x<br />
Pero si u = s<strong>en</strong>x, v =x, w = -tgx, no es cierto que s<strong>en</strong>x-tgx ∼ x-tgx ; <strong>en</strong> efecto, usando<br />
los <strong>de</strong>sarrollos <strong>en</strong> serie <strong>de</strong> Mac-Laurin <strong>de</strong> s<strong>en</strong>x y tgx, t<strong>en</strong>emos:<br />
3<br />
3<br />
x<br />
x<br />
s<strong>en</strong>x – tgx ∼ − x – tgx ∼ −<br />
2<br />
3<br />
lo cual muestra la no equival<strong>en</strong>cia <strong>de</strong> los primeros miembros, ya que:<br />
3<br />
x<br />
−<br />
s<strong>en</strong> x − tg x<br />
∼<br />
2 3<br />
→ ≠ 1<br />
3<br />
x − tg x x 2<br />
−<br />
3<br />
CONCLUSIÓN : Cuando se calcula el límite <strong>de</strong> una expresión, es lícito reemplazar<br />
una variable que figura <strong>en</strong> dicha expresión como factor o divisor (no<br />
se altera el límite buscado), pero no siempre es lícito hacerlo cuando<br />
la variable figura como sumando . Como recom<strong>en</strong>dación g<strong>en</strong>eral,<br />
resulta conv<strong>en</strong>i<strong>en</strong>te no substituir un sumando por un equival<strong>en</strong>te .<br />
ORDEN DE INFINITÉSIMOS<br />
u(<br />
x)<br />
Si u(x) y v(x) son dos infinitésimos para x→a y el coci<strong>en</strong>te<br />
v(<br />
x)<br />
ti<strong>en</strong>e límite para x→a, pue<strong>de</strong>n producirse los sigui<strong>en</strong>tes casos:<br />
u<br />
1) lím<br />
v = 0 Se dice que que u es un infinitésimo <strong>de</strong> mayor or<strong>de</strong>n<br />
x→a que v<br />
u<br />
2) lím<br />
v = λ finito y no nulo; se dice que u y v son <strong>de</strong> igual or<strong>de</strong>n;<br />
x→a <strong>en</strong> particular, si λ = 1, se dice que u∼v<br />
u<br />
3) lím<br />
v = ∞ Se dice que u es <strong>de</strong> m<strong>en</strong>or or<strong>de</strong>n que v.<br />
x→a<br />
10
Admás <strong>de</strong> <strong>de</strong>finir or<strong>de</strong>n comparativo, se pue<strong>de</strong> <strong>de</strong>finir el or<strong>de</strong>n <strong>de</strong><br />
un infinitésimo u(x) con x→a (finito) <strong>en</strong> la forma sigui<strong>en</strong>te: escribimos la fórmula <strong>de</strong><br />
Taylor <strong>en</strong>tre a y x hasta el or<strong>de</strong>n k+1 (suponemos u(x) continua y difer<strong>en</strong>ciable infinitas<br />
veces); si<strong>en</strong>do k el or<strong>de</strong>n <strong>de</strong> la primera <strong>de</strong>rivada que no se anula <strong>en</strong> a<br />
(o sea u(a) = u´(a) = u´´(a) = ………. = u (k-1) (a) = 0 pero u (k) (a) ≠ 0); t<strong>en</strong>dremos:<br />
( k )<br />
( k+<br />
1)<br />
u ( a)<br />
k u ( c)<br />
( k + 1)<br />
u(x) = ( x − a)<br />
+ ( x − a)<br />
, don<strong>de</strong> c ∈ (a,x)<br />
k!<br />
( k + 1)!<br />
Resulta que cuando x→a, también c→a y <strong>en</strong>tonces:<br />
( k + 1)<br />
u(<br />
x)<br />
u ( c)<br />
= 1+<br />
( x − a)<br />
( k )<br />
( k )<br />
u ( a)<br />
k ( k + 1) u ( a)<br />
( x − a)<br />
k!<br />
En esta expresión, para x→a, observamos que : u (k+1) (c) → u (k+1) (a)<br />
x – a → 0<br />
las <strong>de</strong>rivadas son finitas ya que u(x) es<br />
difer<strong>en</strong>ciable infinitas veces<br />
u(<br />
x)<br />
Entonces lím<br />
= 1 y por lo tanto:<br />
( k )<br />
u ( a)<br />
k<br />
( x − a)<br />
k!<br />
x→a<br />
u(x) ∼ A (x-a) k ( )<br />
u k ( a)<br />
, si<strong>en</strong>do A =<br />
k!<br />
k se llama <strong>en</strong>tonces or<strong>de</strong>n <strong>de</strong>l infinitésimo u(x) y A(x-a) k es su parte principal. Por<br />
ejemplo:<br />
- Para x→0 : 5s<strong>en</strong>x ∼ 5x ⇒ 5s<strong>en</strong>x es un infinitésimo <strong>de</strong> 1er. or<strong>de</strong>n<br />
- Para x→3 : 8tg 2 (x-3) ∼ 8(x-3) 2 ⇒ 8tg 2 (x-3) es un infinitésimo <strong>de</strong> 2º<br />
or<strong>de</strong>n<br />
- Para x→1 : Lx ∼ x-1 ⇒ Lx es un infinitésimo <strong>de</strong> 1er. or<strong>de</strong>n<br />
1 3<br />
- Para x→0 : s<strong>en</strong>x – tgx ∼ − x ⇒ s<strong>en</strong>x – tgx es un infinitésimo <strong>de</strong><br />
2<br />
3er. or<strong>de</strong>n<br />
Propieda<strong>de</strong>s : (fácilm<strong>en</strong>te <strong>de</strong>mostrables a partir <strong>de</strong> la <strong>de</strong>finición <strong>de</strong> “or<strong>de</strong>n”)<br />
1) Si u es un infinitésimo y k una constante ≠ 0, la variable ku es un infinitésimo <strong>de</strong><br />
igual or<strong>de</strong>n que u.<br />
2) La suma <strong>de</strong> infinitésimos <strong>de</strong> distinto or<strong>de</strong>n es equival<strong>en</strong>te al <strong>de</strong> m<strong>en</strong>or or<strong>de</strong>n. Por<br />
ejemplo: para x→0 , 5s<strong>en</strong>x + 8tg 2 x ∼ 5s<strong>en</strong>x pues s<strong>en</strong>x es <strong>de</strong> 1er. or<strong>de</strong>n y 8tg 2 x <strong>de</strong><br />
2º or<strong>de</strong>n.<br />
3) La suma <strong>de</strong> varios infinitésimos <strong>de</strong> igual or<strong>de</strong>n es un infinitésimo <strong>de</strong> igual or<strong>de</strong>n que<br />
ellos o <strong>de</strong> or<strong>de</strong>n superior. Por ejemplo: para x → O ,<br />
s<strong>en</strong>x + tgx ∼ 2x<br />
(or<strong>de</strong>n 1) (or<strong>de</strong>n 1) (or<strong>de</strong>n 1)<br />
s<strong>en</strong>x + 3x ∼ 4x<br />
(or<strong>de</strong>n 1) (or<strong>de</strong>n 1) (or<strong>de</strong>n 1)<br />
s<strong>en</strong>x + (-x) ∼<br />
3<br />
x<br />
−<br />
6<br />
(or<strong>de</strong>n 1) (or<strong>de</strong>n 1) (or<strong>de</strong>n 3)<br />
11
Observación : El infinitésimo (x-a) con x→a finito resulta ser el infinitésimo “base”<br />
para <strong>de</strong>finir el or<strong>de</strong>n <strong>de</strong>l infinitésimo u(x). Cuando u(x) es un infinitésimo<br />
para x → +∞ o para x → −∞ (o sea que a no es finito), se pue<strong>de</strong> tomar x<br />
1<br />
1<br />
como infinitésimo base y hacer el cambio y<br />
x = o − 1 y<br />
x = ,t<strong>en</strong>di<strong>en</strong>do<br />
pues a 0 la nueva variable in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>te y . El estudio <strong>de</strong>l or<strong>de</strong>n <strong>de</strong>l<br />
1 1<br />
infinitésimo u(x) se hace sobre u( ) o sobre u( − ) con y→0,<br />
y y<br />
aplicándose los criterios anteriores.<br />
ORDEN DE INFINITOS<br />
___________________________<br />
Un infinito es una variable que ti<strong>en</strong><strong>de</strong> a +∞ o a -∞. Sean u(x) y v(x) dos<br />
u(<br />
x)<br />
infinitos para un cierto valor <strong>de</strong> x (finito o infinito). Si existe lím<br />
v(<br />
x)<br />
, pue<strong>de</strong>n suce<strong>de</strong>r<br />
3 casos:<br />
u(<br />
x)<br />
1) lím<br />
v(<br />
x)<br />
= 0 Se dice que u(x) es <strong>de</strong> m<strong>en</strong>or or<strong>de</strong>n que v(x)<br />
u(<br />
x)<br />
2) lím<br />
v(<br />
x)<br />
= λ finito y ≠ 0 . Se dice que son <strong>de</strong> igual or<strong>de</strong>n;<br />
<strong>en</strong> particular, si λ = 1, t<strong>en</strong>emos u ∼ v<br />
u(<br />
x)<br />
3) lím<br />
v(<br />
x)<br />
= ∞ Se dice que u(x) es <strong>de</strong> mayor or<strong>de</strong>n que v(x).<br />
Para comparar infinitos, se emplean los sigui<strong>en</strong>tes infinitos<br />
fundam<strong>en</strong>tales <strong>de</strong>p<strong>en</strong>di<strong>en</strong>tes <strong>de</strong> la variable real x, los cuales están tipificados para<br />
x → +∞, aunque si x tuviera otro límite, se pue<strong>de</strong> igualm<strong>en</strong>te emplear los infinitos<br />
fundam<strong>en</strong>tales, haci<strong>en</strong>do un cambio a<strong>de</strong>cuado <strong>de</strong> la variable in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>te (por<br />
ejemplo, si x→0 + , hacer x<br />
1 = y → +∞; si x→ −∞ , hacer –x = y → +∞ ; si x → 5 + ,<br />
hacer<br />
1<br />
x − 5<br />
= y → +∞ ). Los infinitos fundam<strong>en</strong>tales son para x →+∞, or<strong>de</strong>nando sus<br />
ór<strong>de</strong>nes fundam<strong>en</strong>tales <strong>de</strong> infinitud <strong>en</strong> or<strong>de</strong>n creci<strong>en</strong>te:<br />
(log B x) m x p a x x kx<br />
B>1 p>0 a>1 k>0<br />
m>0<br />
Infinito Infinito Infinito Infinito<br />
“logarítmico” “pot<strong>en</strong>cial” “expon<strong>en</strong>cial” “pot<strong>en</strong>cial-expon<strong>en</strong>cial”<br />
Probaremos que esta <strong>en</strong>umeración está realizada <strong>en</strong> or<strong>de</strong>n creci<strong>en</strong>te :<br />
I) a x (con a>1) es <strong>de</strong> mayor or<strong>de</strong>n que x p (con p>0)<br />
Sea a = 1 + d , con d > 0 . Tomamos n = E(x) (parte <strong>en</strong>tera <strong>de</strong> x); po<strong>de</strong>mos escribir:<br />
12
a x = (1+d) x ≥ (1+d) n<br />
En el <strong>de</strong>sarrollo <strong>de</strong>l binomio <strong>de</strong> Newton, las pot<strong>en</strong>cias <strong>de</strong> d van <strong>de</strong>s<strong>de</strong> el expon<strong>en</strong>te 0<br />
hasta el expon<strong>en</strong>te n; como n→+∞, lo tomamos sufici<strong>en</strong>tem<strong>en</strong>te gran<strong>de</strong> como para<br />
que aparezca el término <strong>en</strong> d p+1 ; <strong>en</strong>tonces:<br />
a x + 1<br />
n p+<br />
1 n(<br />
n −1)..........(<br />
n − p)<br />
n p<br />
> C<br />
p+<br />
1d<br />
=<br />
∼<br />
( p + 1)! ( p + 1)!<br />
Resulta <strong>en</strong>tonces, si<strong>en</strong>do x < n+1 :<br />
x n p+<br />
1<br />
C<br />
p<br />
d<br />
p+<br />
1<br />
a + 1 n n<br />
> ∼ = → +∞<br />
p<br />
p p<br />
x ( n + 1) n ( p + 1)! ( p + 1)!<br />
x<br />
a<br />
Se <strong>de</strong>duce lím = +∞<br />
p<br />
x<br />
y por lo tanto a x es <strong>de</strong> mayor or<strong>de</strong>n que x p .<br />
II) x p es <strong>de</strong> mayor or<strong>de</strong>n que (log B x) m<br />
Ponemos log B x = y → +∞ x = B y ⇒ x p = B py<br />
p<br />
py p y<br />
x B ( B )<br />
Entonces<br />
= = ; pero el numerador es un infinito<br />
m m m<br />
(log<br />
B<br />
x)<br />
y y<br />
expon<strong>en</strong>cial <strong>en</strong> y pues B p > 1, mi<strong>en</strong>trasque el <strong>de</strong>nominador es un infinito pot<strong>en</strong>cial<br />
<strong>en</strong> y pues m>0. Por lo <strong>de</strong>mostrado <strong>en</strong> (I), ese coci<strong>en</strong>te ti<strong>en</strong><strong>de</strong> a +∞ .<br />
III) x kx (con k>0) es <strong>de</strong> mayor or<strong>de</strong>n que a x<br />
kx k<br />
x ⎛ x ⎞<br />
Esto resulta obvio pues =<br />
⎜<br />
⎟ → +∞<br />
x<br />
a ⎝ a ⎠<br />
x<br />
ya que es <strong>de</strong> la forma (+∞) +∞ .<br />
Se concluye <strong>en</strong>tonces la bu<strong>en</strong>a or<strong>de</strong>nación <strong>de</strong> los infinitos <strong>en</strong>umerados.<br />
Ejemplo <strong>de</strong> aplicación<br />
Calcular lím<br />
______________<br />
L x<br />
1<br />
e x<br />
x→0<br />
Para x→0 - ∞ L x<br />
, t<strong>en</strong>emos una expresión <strong>de</strong> la forma , <strong>de</strong> modo que lím = +∞<br />
0<br />
1<br />
x<br />
e<br />
x→0 -<br />
Si <strong>en</strong> cambio x→0 + ∞ 1<br />
, la forma es ; hacemos = y → +∞ :<br />
∞ x<br />
1<br />
L<br />
L x Lx y Ly<br />
= = = − → 0 , apoyándonos <strong>en</strong> los ór<strong>de</strong>nes fundam<strong>en</strong>tales <strong>de</strong><br />
1 1 y<br />
y<br />
e e<br />
x x<br />
e e<br />
infinitud para y→+∞ (comparación <strong>en</strong>tre un<br />
infinito logarítmico y un infinito expon<strong>en</strong>cial)<br />
Entonces lím<br />
L x<br />
= 0 .<br />
1<br />
e x<br />
13
x→0 +<br />
Infinito “factorial”<br />
Si x es el natural n, con n → +∞, los infinitos fundam<strong>en</strong>tales son:<br />
(log B n) m n p a n n kn<br />
B>1 p>0 a>1 k>0<br />
m>0<br />
¿Dón<strong>de</strong> se ubica el infinito n!?<br />
Para respon<strong>de</strong>r, usamos la fórmula <strong>de</strong> Stirling: lím<br />
n!<br />
n n<br />
⎛ ⎞<br />
o sea n! ∼ ⎜ ⎟<br />
⎝ e ⎠<br />
2πn<br />
propiedad u ∼ v ⇒ n u ∼ n v ).<br />
⎛ n ⎞<br />
⎜ ⎟<br />
⎝ e ⎠<br />
n<br />
2πn<br />
= 1 ,<br />
(observar que resulta n n! ∼ e<br />
n , como consecu<strong>en</strong>cia <strong>de</strong> la<br />
Vamos a <strong>de</strong>mostrar la vali<strong>de</strong>z <strong>de</strong> la sigui<strong>en</strong>te or<strong>de</strong>nación <strong>de</strong> los infinitos<br />
cuando n es natural, <strong>de</strong>sdoblando el pot<strong>en</strong>cial-expon<strong>en</strong>cial <strong>en</strong> dos casos según el valor<br />
<strong>de</strong> k:<br />
(log B n) m n p a n n kn n! n kn<br />
B>1 p>0 a>1 0
2) La suma <strong>de</strong> dos infinitos <strong>de</strong> distinto or<strong>de</strong>n es un infinito equival<strong>en</strong>te al <strong>de</strong> mayor<br />
or<strong>de</strong>n.<br />
Por ejemplo, para x → +∞, la suma <strong>de</strong> los dos infinitos (x 4 + 7) - L(5x 2 - 6) es<br />
equival<strong>en</strong>te al primero (x 4 + 7) pues es <strong>de</strong> mayor or<strong>de</strong>n que el otro:<br />
4<br />
4<br />
4<br />
x + 7<br />
x<br />
x 1 x 4<br />
∼<br />
=<br />
∼ − → −∞<br />
2<br />
2<br />
− L(5x<br />
− 6) − L(5x<br />
) − 2Lx<br />
− L5<br />
2 Lx<br />
Hemos aplicado propieda<strong>de</strong>s vistas <strong>en</strong> la pág. 4 y lo establecido para ór<strong>de</strong>nes<br />
fundam<strong>en</strong>tales <strong>de</strong> infinitud<br />
3) La suma <strong>de</strong> dos infinitos <strong>de</strong> igual or<strong>de</strong>n es un infinito <strong>de</strong> igual or<strong>de</strong>n que ellos si<br />
éstos ti<strong>en</strong><strong>de</strong>n ambos a +∞ o ambos a -∞ ; pero si ti<strong>en</strong><strong>de</strong>n a infinitos <strong>de</strong> distinto signo,<br />
resulta una expresión in<strong>de</strong>terminada .<br />
3 2<br />
3<br />
( x + 7x<br />
− 8) + (5x<br />
− 6x<br />
+ 9) → −∞<br />
144<br />
2443<br />
144<br />
2443<br />
Ejemplos: a) Para x → −∞<br />
↓<br />
↓<br />
− ∞<br />
− ∞<br />
La suma es equival<strong>en</strong>te a 6x 3 , que es <strong>de</strong> igual or<strong>de</strong>n que cualquiera <strong>de</strong><br />
los sumandos.<br />
3 2<br />
3<br />
( x + 7x<br />
− 8) + ( −x<br />
− 6x<br />
+ 9)<br />
144<br />
2443<br />
144<br />
2443<br />
b) Para x → −∞ , la suma<br />
↓<br />
↓ resulta ser<br />
− ∞<br />
+ ∞<br />
7x 2 – 6x +1 → +∞ y es un infinito <strong>de</strong> m<strong>en</strong>or or<strong>de</strong>n que cada uno <strong>de</strong> los<br />
sumandos.<br />
3 2<br />
3 2<br />
( x + 7x<br />
− 8) + ( −x<br />
− 7x<br />
+ 10)<br />
144<br />
2443<br />
1442<br />
443<br />
c) Para x → −∞ , la suma<br />
↓<br />
↓ resulta ser<br />
− ∞<br />
+ ∞<br />
2, cuyo límite es 2 (ni siquiera es un infinito)<br />
___________________<br />
Ejemplos <strong>de</strong> aplicación <strong>de</strong> los métodos <strong>de</strong>sarrollados <strong>en</strong> las pres<strong>en</strong>tes notas<br />
3 3 2<br />
2<br />
1 Calcular lím ( x − 7x<br />
+ 1 − x + 8)<br />
x→+∞<br />
Se trata <strong>de</strong> una forma +∞ −∞<br />
3 3 2<br />
2<br />
T<strong>en</strong>emos ( − 7x<br />
+ 1 − x + 8)<br />
=<br />
6 3 2 2 6 2 3<br />
x = ( x − 7x<br />
+ 1) − ( x + 8) =<br />
⎛ 3 2 2 ⎞<br />
2<br />
⎜<br />
( x − 7x<br />
+ 1)<br />
x + 8 6<br />
−1⎟<br />
∼ x L 6<br />
2 3<br />
⎝<br />
( x + 8)<br />
⎠<br />
3 2<br />
( x − 7x<br />
+ 1)<br />
2 3<br />
( x + 8)<br />
2<br />
pues :<br />
x 2 + 8 ∼ x y la raíz sexta ti<strong>en</strong><strong>de</strong> a 1 ya que la expresión sub-radical es<br />
6<br />
x<br />
equival<strong>en</strong>te a = 1 → 1 (recordar la equival<strong>en</strong>cia fundam<strong>en</strong>tal 3 <strong>de</strong> la<br />
6<br />
x<br />
pág. 2). Continuamos con la última expresión, que es igual a:<br />
3 2 2<br />
3 2 2<br />
x ( x − 7x<br />
+ 1) x ⎡(<br />
x − 7x<br />
+ 1) ⎤<br />
L<br />
∼<br />
2 3 ⎢<br />
−1⎥ ∼<br />
2 3<br />
6 ( x + 8) 6 ⎣ ( x + 8) ⎦<br />
15
6 4<br />
5 3 2 6 4<br />
2<br />
x x + 49x<br />
+ 1−14x<br />
+ 2x<br />
−14x<br />
− x − 24x<br />
−192x<br />
− 532<br />
∼ ∼<br />
6<br />
6 x<br />
5<br />
x −14x<br />
7 7<br />
∼ = − → −<br />
6<br />
6 x 3 3<br />
Observemos que la herrami<strong>en</strong>ta más eficaz <strong>de</strong>l cálculo consiste <strong>en</strong> la eliminación <strong>de</strong><br />
las expresiones irracionales.<br />
x + 3 − 2<br />
2 Calcular lím<br />
2<br />
x + 3x<br />
− 4<br />
x→1<br />
0<br />
Se trata <strong>de</strong> una forma 0<br />
⎛ x + 3 ⎞<br />
2⎜<br />
1⎟<br />
−<br />
x + 3 − 2 4<br />
=<br />
⎝ ⎠<br />
∼<br />
2<br />
2<br />
x + 3x<br />
− 4 x + 3x<br />
− 4<br />
x + 3 ⎛ 1 x + 3 ⎞<br />
2<br />
x + 3<br />
2L<br />
⎜ L ⎟ L<br />
4 2 4<br />
=<br />
⎝ ⎠<br />
=<br />
4<br />
=<br />
2<br />
2<br />
x + 3x<br />
− 4 x + 3x<br />
− 4 x + 3x<br />
− 4<br />
x + 3<br />
−1<br />
4<br />
x −1<br />
1<br />
=<br />
=<br />
2<br />
x + 3x<br />
− 4 4( x −1)(<br />
x + 4) 4( x + 4)<br />
2<br />
→<br />
1<br />
20<br />
Observemos que <strong>en</strong> ambos pasos <strong>de</strong> equival<strong>en</strong>cia, empleamos, <strong>en</strong> ambos s<strong>en</strong>tidos, la<br />
equival<strong>en</strong>cia Lu ∼ u-1 para u→1.<br />
-o-o-o-o-o-o-o-o-o-o-o-o-o-o-o-<br />
16
CAPÍTULO III<br />
Noción <strong>de</strong> <strong>de</strong>rivada<br />
DERIVADAS Y DIFERENCIALES<br />
Sea y = f(x) una función <strong>de</strong> variable real y x o un punto <strong>de</strong> su dominio,<br />
si<strong>en</strong>do y o = f(x o ). Tomamos a partir <strong>de</strong> x o un increm<strong>en</strong>to ∆x <strong>de</strong> la variable; el nuevo<br />
valor <strong>de</strong> la función será f(x o +∆x), sufri<strong>en</strong>do <strong>en</strong>tonces f(x) el increm<strong>en</strong>to<br />
∆y = f(x o +∆x) – f(x o ). Se llama coci<strong>en</strong>te increm<strong>en</strong>tal <strong>en</strong> el punto x o para ese ∆x:<br />
∆ y f ( x + ∆x<br />
− f x<br />
=<br />
)<br />
0<br />
) (<br />
0<br />
∆x<br />
∆x<br />
Si cuando ∆x→0 este coci<strong>en</strong>te ti<strong>en</strong>e límite, la función se dice “<strong>de</strong>rivable” <strong>en</strong> el punto x o .<br />
En tal caso, dicho límite se llama “<strong>de</strong>rivada” <strong>de</strong> f(x) <strong>en</strong> el punto x o . Entonces<br />
escribimos, por <strong>de</strong>finición:<br />
∆y<br />
f ( x0<br />
+ ∆x)<br />
− f ( x0<br />
)<br />
f´(x o ) = lím = lím<br />
∆x<br />
∆x<br />
∆x→0 ∆x→0<br />
Observemos que el límite pue<strong>de</strong> ser +∞ o -∞, mant<strong>en</strong>iéndose <strong>en</strong> este caso la noción <strong>de</strong><br />
función “<strong>de</strong>rivable”. Gráficam<strong>en</strong>te, la curva repres<strong>en</strong>tativa <strong>de</strong> la función pres<strong>en</strong>ta un<br />
punto <strong>de</strong> inflexión “vertical”. Pero <strong>en</strong> el caso <strong>en</strong> que los límites laterales (o sea para<br />
∆x→0 + y ∆x→0 - ) son infinitos <strong>de</strong> distinto signo, el coci<strong>en</strong>te increm<strong>en</strong>tal no ti<strong>en</strong>e límite<br />
y la función no es <strong>de</strong>rivable (punto <strong>de</strong> retroceso). Lo mismo ocurre cuando, aunque los<br />
límites laterales sean finitos, éstos sean distintos: la función no es <strong>de</strong>rivable (punto<br />
anguloso).<br />
Esta interpretación gráfica es una consecu<strong>en</strong>cia <strong>de</strong> lo que veremos <strong>en</strong> el próximo<br />
párrafo.<br />
Interpretación gráfica <strong>de</strong> la <strong>de</strong>rivada<br />
∆y<br />
y o<br />
y<br />
A<br />
t<br />
M<br />
P<br />
ϕ<br />
B<br />
α<br />
y=f(x)<br />
O<br />
x o<br />
∆x<br />
x<br />
Hemos repres<strong>en</strong>tado y = f(x) alre<strong>de</strong>dor <strong>de</strong>l punto x o , don<strong>de</strong> el punto A es<br />
(x o , y o = f(x o )) . Al tomar el increm<strong>en</strong>to ∆x <strong>de</strong> la variable, la función se increm<strong>en</strong>ta <strong>en</strong><br />
∆y, obt<strong>en</strong>iéndose <strong>en</strong> el gráfico el punto M. La cuerda AM está inclinada un ángulo ϕ<br />
respecto a la dirección ori<strong>en</strong>tada <strong>de</strong>l semi-eje Ox; ϕ está dado por:<br />
17
PM ∆y<br />
tgϕ = =<br />
AM ∆x<br />
Cuando ∆x→0, el punto M ti<strong>en</strong><strong>de</strong> al punto A y la cuerda AM ti<strong>en</strong><strong>de</strong>, por <strong>de</strong>finición, a la<br />
tang<strong>en</strong>te t a la curva <strong>en</strong> el punto A; <strong>en</strong>tonces, para ∆x→0:<br />
∆y<br />
límtgϕ = lím ,<br />
∆ x<br />
o sea:<br />
tgα = f´(x o )<br />
“La <strong>de</strong>rivada <strong>de</strong> una función para el valor x o es la p<strong>en</strong>di<strong>en</strong>te <strong>de</strong> la tang<strong>en</strong>te a la<br />
curva repres<strong>en</strong>tativa <strong>en</strong> el punto <strong>de</strong> abscisa x o ” , recordando que la p<strong>en</strong>di<strong>en</strong>te <strong>de</strong> una<br />
recta es la tang<strong>en</strong>te <strong>de</strong>l ángulo ori<strong>en</strong>tado <strong>en</strong> s<strong>en</strong>tido trigonométrico positivo con la<br />
dirección horizontal ori<strong>en</strong>tada según el semi-eje Ox.<br />
___________<br />
Este resultado nos permite interpretar <strong>de</strong>bidam<strong>en</strong>te lo establecido <strong>en</strong> el párrafo anterior.<br />
____________________<br />
Cálculo <strong>de</strong> la <strong>de</strong>rivda <strong>en</strong> algunos casos particulares<br />
1) y = x 3<br />
Consi<strong>de</strong>ramos esta función <strong>en</strong> el punto x o . Formamos el coci<strong>en</strong>te increm<strong>en</strong>tal<br />
obt<strong>en</strong>ido al increm<strong>en</strong>tar x o <strong>en</strong> ∆x:<br />
3 3 2<br />
2 3<br />
∆y<br />
( x0<br />
+ ∆x)<br />
− x0<br />
3x0<br />
∆x<br />
+ 3x0∆x<br />
+ ∆x<br />
2<br />
2<br />
=<br />
=<br />
= 3x0<br />
+ 3x0∆x<br />
+ ∆x<br />
∆x<br />
∆x<br />
∆x<br />
Si hacemos ∆x→0, obt<strong>en</strong>emos:<br />
2<br />
f´(x o ) = 3x o<br />
Para un punto g<strong>en</strong>érico x, t<strong>en</strong>emos <strong>en</strong>tonces: (x 3 )´ = 3x 2 , obt<strong>en</strong>iéndose así la<br />
llamada “función <strong>de</strong>rivada”.<br />
2) y = s<strong>en</strong>x<br />
∆y<br />
s<strong>en</strong>( x0<br />
+ ∆x)<br />
− s<strong>en</strong> x0<br />
s<strong>en</strong> x0<br />
cos ∆x<br />
+ cos x0<br />
s<strong>en</strong> ∆x<br />
− s<strong>en</strong> x0<br />
=<br />
=<br />
∆x<br />
∆x<br />
∆x<br />
s<strong>en</strong> ∆x<br />
(1 − cos ∆x)<br />
= cos x0<br />
− s<strong>en</strong> x0<br />
∆x<br />
∆x<br />
s<strong>en</strong> ∆x<br />
1− cos ∆x<br />
Se sabe que para ∆x→ 0 : lím = 1 , lím = 0 (ver<br />
∆x<br />
∆x<br />
“variables equival<strong>en</strong>tes”) , resultando <strong>en</strong>tonces este límite:<br />
f´(x o ) = cosx o y <strong>en</strong> g<strong>en</strong>eral: (s<strong>en</strong>x)´ = cosx<br />
3) y = e x x0<br />
+∆x<br />
x0<br />
x0<br />
∆x<br />
∆y<br />
e − e e ( e −1)<br />
=<br />
=<br />
∆x<br />
∆x<br />
∆x<br />
Cuando ∆x→ 0, la variable e ∆x → 1 y <strong>en</strong>tonces, recordando una equival<strong>en</strong>cia básica:<br />
18
Resulta pues:<br />
e ∆x – 1 ∼ L(e ∆x ) = ∆x<br />
x0<br />
f´(x o ) = e . En un punto g<strong>en</strong>érico. (e x )´ = e x<br />
4) y = k (k constante)<br />
∆y<br />
k − k<br />
= = 0 → 0<br />
∆x<br />
∆x<br />
La <strong>de</strong>rivada <strong>de</strong> una constante es la función 0. (Recordar a<strong>de</strong>más la interpretación<br />
gráfica <strong>de</strong> la <strong>de</strong>rivada)<br />
__________<br />
Estos ejemplos nos muestran que, mediante los métodos habituales <strong>de</strong> cálculo <strong>de</strong><br />
límites, pue<strong>de</strong>n hallarse las funciones <strong>de</strong>rivadas <strong>de</strong> las distintas funciones usuales.<br />
Sin embargo,, si<strong>en</strong>do las <strong>de</strong>rivadas una herrami<strong>en</strong>ta <strong>de</strong> uso perman<strong>en</strong>te <strong>en</strong> el estudio <strong>de</strong><br />
las funciones, es conv<strong>en</strong>i<strong>en</strong>te memorizar el resultado para las <strong>de</strong>rivadas <strong>de</strong> las funciones<br />
que usualm<strong>en</strong>te aparec<strong>en</strong> <strong>en</strong> el Cálculo. Pue<strong>de</strong> confeccionarse la sigui<strong>en</strong>te tabla:<br />
Función f(x) Derivada f´(x)<br />
k 0<br />
x α<br />
(α real)<br />
(<strong>en</strong> particular para<br />
α=1⁄2)<br />
x<br />
(<strong>en</strong> particular para<br />
α=−1)<br />
1<br />
x<br />
e x<br />
Lx<br />
s<strong>en</strong>x<br />
cosx<br />
tgx<br />
19<br />
αx α−1<br />
2<br />
1<br />
x<br />
1<br />
−<br />
2<br />
x<br />
e x<br />
1<br />
x<br />
cosx<br />
-s<strong>en</strong>x<br />
1<br />
1 + tg =<br />
cos<br />
2<br />
x<br />
2<br />
El lector podrá verificar fácilm<strong>en</strong>te estos resultados mediante el límite <strong>de</strong>l coci<strong>en</strong>te<br />
increm<strong>en</strong>tal, como ya visto. En cursos más avanzados <strong>de</strong> Cálculo, se calculan también<br />
las <strong>de</strong>rivadas <strong>de</strong> las funciones hiperbólicas y <strong>de</strong> las funciones trigonométricas inversas.<br />
_______________<br />
Operaciones con funciones <strong>de</strong>rivables (<strong>de</strong>rivadas finitas)<br />
Si<strong>en</strong>do u(x), v(x), w(x) esas funciones <strong>de</strong>rivables:<br />
(ku)´ = ku´ (k constante)<br />
(u+v)´ = u´ + v´<br />
(uv)´ = u´v + uv´<br />
(uvw)´ = u´vw + uv´w + uvw´<br />
x
′<br />
⎛ u ⎞ vu′<br />
− uv′<br />
⎜ ⎟ =<br />
2<br />
⎝ v ⎠ v<br />
Dejamos al lector verificar la vali<strong>de</strong>z <strong>de</strong> estas operaciones.<br />
Derivada <strong>de</strong> una función compuesta<br />
En la práctica, las funciones que se pres<strong>en</strong>tan son una<br />
composición <strong>de</strong> las funciones básicas indicadas y es necesario establecer cómo se <strong>de</strong>riva<br />
una función “compuesta” (función <strong>de</strong> función).<br />
Sea y = f(u), don<strong>de</strong> u = g(v), don<strong>de</strong> v = h(x) , funciones todas<br />
<strong>de</strong>rivables. El esquema <strong>de</strong> <strong>de</strong>p<strong>en</strong><strong>de</strong>ncia es:<br />
x → v → u → y<br />
h g f<br />
F<br />
T<strong>en</strong>emos y = f(g(h(x)) = F(x) : y <strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> x (función compuesta) a través <strong>de</strong> las<br />
“funciones compon<strong>en</strong>tes” f, g, h. Hemos escrito una ca<strong>de</strong>na <strong>de</strong> 3 funciones sólo par fijar<br />
i<strong>de</strong>as, si<strong>en</strong>do nuestro resultado válido para cualquier número <strong>de</strong> funciones compon<strong>en</strong>tes.<br />
Al efectuar un increm<strong>en</strong>to ∆x <strong>de</strong> la variable in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>te x, v se increm<strong>en</strong>ta <strong>en</strong> ∆v, u<br />
se increm<strong>en</strong>ta <strong>en</strong>tonces <strong>en</strong> ∆u, y se increm<strong>en</strong>ta <strong>en</strong>tonces <strong>en</strong> ∆y. Po<strong>de</strong>mos escribir:<br />
∆y<br />
∆y<br />
∆u<br />
∆v<br />
=<br />
∆x<br />
∆u<br />
∆v<br />
∆x<br />
Al hacer ∆x → 0, todos los increm<strong>en</strong>tos ti<strong>en</strong><strong>de</strong>n a 0 (funciones supuestas <strong>de</strong>rivables con<br />
<strong>de</strong>rivada finita y por lo tanto continuas) y tomando límites, resulta:<br />
y´x = y´u . u´v . v´x<br />
Regla <strong>de</strong> la ca<strong>de</strong>na<br />
“La <strong>de</strong>rivada respecto a x es el producto <strong>de</strong> las <strong>de</strong>rivadas <strong>de</strong> las funciones<br />
compon<strong>en</strong>tes, cada una tomada respecto a su variable inmediata”<br />
Ejemplos :<br />
1) y = s<strong>en</strong> 3 (5x)<br />
Hacemos y = u 3 , don<strong>de</strong> u = s<strong>en</strong>v, don<strong>de</strong> v = 5x. Aplicando la regla <strong>de</strong> la ca<strong>de</strong>na:<br />
y´ = 3u 2 . cosv.5 = 3s<strong>en</strong> 2 (5x).cos(5x).5<br />
En la práctica, se proce<strong>de</strong> directam<strong>en</strong>te, sin nominar las variables intermedias.<br />
3cos( L )<br />
2)<br />
2 x<br />
y = e<br />
Dejamos al lector aplicar la regla <strong>de</strong> la ca<strong>de</strong>na, <strong>de</strong>bi<strong>en</strong>do hallar:<br />
3cos( L x)<br />
2 Lx<br />
y′<br />
= −6e<br />
s<strong>en</strong>( L x)<br />
x<br />
3) y = L|x|<br />
Consi<strong>de</strong>ramos y = Lu , don<strong>de</strong> u = |x| .<br />
Sabemos que:<br />
⎧x<br />
si x > 0<br />
|x| = ⎨<br />
(tomamos x ≠ 0 para la exist<strong>en</strong>cia <strong>de</strong>l logaritmo)<br />
⎩−<br />
x si x < 0<br />
⎧1<br />
si x > 0<br />
Entonces: |x|´ = ⎨<br />
Usando la regla <strong>de</strong> la ca<strong>de</strong>na:<br />
⎩−1<br />
si x < 0<br />
20
⎧1<br />
1<br />
⎪<br />
1 = si x > 0<br />
1 ′ x x<br />
L(|x|)´ = x = ⎨<br />
Resulta:<br />
x ⎪ 1 1<br />
1<br />
( −1)<br />
= si x < 0<br />
L( x )′<br />
=<br />
⎩−<br />
x x<br />
x<br />
Derivadas sucesivas<br />
(f´(x))´ = f´´ (x) se llama “<strong>de</strong>rivada segunda” <strong>de</strong> f(x);<br />
f´´´(x) es la <strong>de</strong>rivada <strong>de</strong> f´´ (x) o “<strong>de</strong>rivada tercera” <strong>de</strong> f(x), y así sucesivam<strong>en</strong>te. Estas<br />
<strong>de</strong>rivadas juegan un rol muy importante <strong>en</strong> el estudio <strong>de</strong> las funciones, <strong>en</strong> particular <strong>en</strong><br />
el <strong>de</strong>sarrollo <strong>en</strong> serie <strong>de</strong> las funciones, que se estudiará <strong>en</strong> curso más avanzados.<br />
Teoremas importantes sobre funciones <strong>de</strong>rivables<br />
1) Teorema <strong>de</strong> Rolle : Si f(x) es continua <strong>en</strong> [a,b], <strong>de</strong>rivable <strong>en</strong> (a,b) y es f(a) = f(b),<br />
hay al m<strong>en</strong>os un punto c interior al intervalo tal que f´(c) = 0<br />
La interpretación geométrica <strong>de</strong> este teorema establece que si la función toma<br />
valores iguales <strong>en</strong> los extremos <strong>de</strong>l intervalo, hay al m<strong>en</strong>os un punto interior <strong>en</strong> que<br />
la tang<strong>en</strong>te a la curva repres<strong>en</strong>tativa es horizontal<br />
2) Teorema <strong>de</strong> Lagrange (o teorema <strong>de</strong>l valor medio):<br />
Si f(x) es continua <strong>en</strong> [a,b] y <strong>de</strong>rivable <strong>en</strong> (a,b), hay al m<strong>en</strong>os<br />
un punto c interior <strong>de</strong>l intervalo tal que f(b) – f(a) = f´(c) (b-a)<br />
f ( b)<br />
− f ( a)<br />
Observaciones: a) Escribi<strong>en</strong>do f´(c) =<br />
y recordando la interpretación<br />
b − a<br />
geométrica <strong>de</strong> la <strong>de</strong>rivada, el teorema establece que hay al m<strong>en</strong>os<br />
un punto interior <strong>de</strong>l intervalo <strong>en</strong> que la tang<strong>en</strong>te a la curva es<br />
paralela a la cuerda que une los dos puntos extremos <strong>de</strong> la curva<br />
<strong>en</strong> el intervalo.<br />
b) El teorema <strong>de</strong> Lagrange es una g<strong>en</strong>eralización <strong>de</strong>l <strong>de</strong> Rolle: el <strong>de</strong><br />
Rolle correspon<strong>de</strong> al caso <strong>en</strong> que la m<strong>en</strong>cionada cuerda es<br />
horizontal.<br />
c) Escribi<strong>en</strong>do f(b) = f(a) + (b-a) f´(c), se ve que el resultado <strong>de</strong>l<br />
teorema es un caso particular <strong>de</strong> la fórmula <strong>de</strong> Taylor que se verá<br />
a continuación: es el caso <strong>en</strong> que el <strong>de</strong>sarrollo <strong>de</strong> Taylor se<br />
<strong>de</strong>ti<strong>en</strong>e <strong>en</strong> la primera <strong>de</strong>rivada.<br />
3) Fórmula <strong>de</strong> Taylor : Si f(x) es continua <strong>en</strong> [a,b] y <strong>de</strong>rivable n veces <strong>en</strong> (a,b) (con<br />
<strong>de</strong>rvadas todas finitas), existe por lo m<strong>en</strong>os un punto c interior<br />
<strong>de</strong>l intervalo tal que:<br />
2<br />
n<br />
b − a ( b − a)<br />
( b − a)<br />
( n)<br />
f ( b)<br />
= f ( a)<br />
+ f ´( a)<br />
+ f ´´( a)<br />
+ ........... + f ( c)<br />
1!<br />
2!<br />
n!<br />
Observaciones: a) Se ve que esta fórmula es una g<strong>en</strong>eralización <strong>de</strong>l resultado <strong>de</strong>l<br />
teorema <strong>de</strong> Lagrange, el cual se pue<strong>de</strong> consi<strong>de</strong>rar como una<br />
fórmula <strong>de</strong> Taylor con n=1.<br />
b) Si tomamos a=0 y b=x, la fórmula toma una forma llamada<br />
“fórmula <strong>de</strong> Mac-Laurin” :<br />
( n)<br />
f ´(0) f ´´(0) 2<br />
f ( c)<br />
n<br />
f(x) = f (0) + x + x + .............. + x<br />
1! 2!<br />
n!<br />
Es es<strong>en</strong>cial no emplear 0 <strong>en</strong> vez <strong>de</strong> c <strong>en</strong> la última <strong>de</strong>rivada pues<br />
se estaría escribi<strong>en</strong>do que cualquier función es un polinomio, lo<br />
21
cual es claram<strong>en</strong>te un absurdo. En el caso <strong>en</strong> que f(x) sea<br />
efectivam<strong>en</strong>te un polinomio <strong>de</strong> grado n, su <strong>de</strong>rivada <strong>en</strong>ésima es<br />
una constante, <strong>de</strong> modo que sería indifer<strong>en</strong>te el punto <strong>en</strong> el que<br />
se evalúa dicha <strong>de</strong>rivada.<br />
Las <strong>de</strong>mostraciones <strong>de</strong> esos teoremas pue<strong>de</strong>n consultarse <strong>en</strong> los textos clásicos <strong>de</strong><br />
Análisis Matemático pero, in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>tem<strong>en</strong>te <strong>de</strong> esas <strong>de</strong>mostraciones, es<br />
indisp<strong>en</strong>sable que el estudiante <strong>de</strong> Ing<strong>en</strong>iería conozca los resultados <strong>de</strong> esos teoremas.<br />
En particular, la fórmula <strong>de</strong> Mac-Laurin es fundam<strong>en</strong>tal para estudiar los <strong>de</strong>sarrollos <strong>en</strong><br />
serie <strong>de</strong> las funciones, que se emplean <strong>en</strong> cursos más avanzados <strong>de</strong> Análisis Matemático<br />
y se aplican <strong>en</strong> asignaturas técnicas <strong>de</strong> la carrera.<br />
_____________________________<br />
<strong>Funciones</strong> difer<strong>en</strong>ciables<br />
Sea la función f(x). A partir <strong>de</strong> un punto g<strong>en</strong>érico x, damos a la<br />
variable in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>te un increm<strong>en</strong>to ∆x, al que correspon<strong>de</strong> un increm<strong>en</strong>to ∆y <strong>de</strong> la<br />
función. Se trata <strong>de</strong> ver si se pue<strong>de</strong> <strong>en</strong>contrr un número A fijo (in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>te <strong>de</strong> ∆x) <strong>de</strong><br />
modo que ∆y se pueda expresar por el producto A∆x más el producto <strong>de</strong> un infinitésimo<br />
∆x por un infinitésimo:<br />
∆y = A∆x + ε∆x ε→ 0 cuando ∆x → 0<br />
Si se pue<strong>de</strong> <strong>en</strong>contrar el número A, se dice que la función es difer<strong>en</strong>ciable.<strong>en</strong> el punto x.<br />
T<strong>en</strong>emos:<br />
∆y<br />
= A + ε<br />
∆x<br />
Cuando ∆x → 0, ε → 0 y por lo tanto A + ε → Α. Esto significa que el coci<strong>en</strong>te<br />
increm<strong>en</strong>tal ti<strong>en</strong>e límite y que por lo tanto la función es <strong>de</strong>rivable <strong>en</strong> x. Po<strong>de</strong>mos <strong>de</strong>cir<br />
<strong>en</strong>tonces que si una función es difer<strong>en</strong>ciable <strong>en</strong> un punto, <strong>en</strong>tonces ti<strong>en</strong>e <strong>de</strong>rivada finita<br />
A <strong>en</strong> ese punto.<br />
Recíprocam<strong>en</strong>te , si una función ti<strong>en</strong>e <strong>de</strong>rivada finita <strong>en</strong> un punto, <strong>en</strong>tonces es<br />
difer<strong>en</strong>ciable.<br />
∆y<br />
En efecto, sea A esa <strong>de</strong>rivada finita: A = f´(x) = lím cuando ∆x → 0 , o sea:<br />
∆x<br />
⎛ ∆y<br />
⎞<br />
⎛ ∆y<br />
⎞<br />
lím⎜<br />
− A⎟<br />
= 0 , o sea que ⎜ − A⎟ es un infinitésimo para ∆x → 0, <strong>de</strong><br />
⎝ ∆x<br />
⎠<br />
⎝ ∆x<br />
⎠<br />
∆y<br />
modo que: − A = ε , lo cual expresa que la función es difer<strong>en</strong>ciable.<br />
∆x<br />
Difer<strong>en</strong>cial <strong>de</strong> una función :<br />
Si una función f(x) es difer<strong>en</strong>ciable:<br />
∆y = A∆x + ε∆x ,<br />
la parte lineal A∆x se llama “difer<strong>en</strong>cial” <strong>de</strong> la función y se escribe dy.<br />
Por ejemplo, si A = f´ = 2 y ∆x = 3, <strong>en</strong>tonces dy = 6.<br />
Interpretación geométrica :<br />
Refiriéndonos a la figura realizada cuando planteamos la interpretación<br />
gráfica <strong>de</strong> la <strong>de</strong>rivada <strong>en</strong> un punto, consi<strong>de</strong>rando x o como un punto g<strong>en</strong>érico x, po<strong>de</strong>mos<br />
escribir que:<br />
22
∆y = BP dy = BM (pues BM es f´(x)∆x) ε∆x = MP<br />
Comprobamos que cuando se realiza el increm<strong>en</strong>to ∆x, <strong>de</strong>bemos, <strong>de</strong>s<strong>de</strong> el punto x+∆x,<br />
subir hasta la curva para hallar ∆y pero subir hasta la tang<strong>en</strong>te t para hallar dy..<br />
Teorema : Toda función difer<strong>en</strong>ciable <strong>en</strong> un punto es continua <strong>en</strong> ese punto.<br />
En efecto, al ser ∆y = A∆x + ε∆x, vemos que cuando ∆x → 0 resulta ∆y → 0 ; por lo<br />
tanto la función es continua..<br />
Otra expresión <strong>de</strong> la difer<strong>en</strong>cial :<br />
Vimos que dy = f´(x)∆x. Si consi<strong>de</strong>ramos <strong>en</strong> particular la función<br />
f(x) = x, t<strong>en</strong>dremos dx = 1.∆x, o sea dx = ∆x. Decimos <strong>en</strong>tonces que para la variable<br />
in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>te, es indifer<strong>en</strong>te escribir ∆x o dx.<br />
Resultará <strong>en</strong>tonces que para una función f(x), con x in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>te, la relación<br />
dy = f´(x)∆x pue<strong>de</strong> escribirse también dy = f´(x) dx, <strong>de</strong> don<strong>de</strong> resulta otra expresión<br />
para la <strong>de</strong>rivada:<br />
dy<br />
f´(x) = dx<br />
Difer<strong>en</strong>ciales <strong>de</strong> operaciones : Se pue<strong>de</strong>n establecer fórmulas análogas a las <strong>de</strong> las<br />
<strong>de</strong>rivadas <strong>de</strong> operaciones. Por ejemplo, si t<strong>en</strong>emos un producto uv <strong>de</strong> funciones <strong>de</strong> la<br />
variable x, t<strong>en</strong>emos d(uv) = (uv)´dx = (uv´+ vu´)dx = uv´dx + vu´dx , resultando pues:<br />
d(uv) = udv + vdu,<br />
cuyo <strong>en</strong>unciado es smilar al <strong>de</strong> la <strong>de</strong>rivada <strong>de</strong> un producto.<br />
Difer<strong>en</strong>ciales sucesivas<br />
El Cálculo Difer<strong>en</strong>cial establece expresiones similares para las difer<strong>en</strong>ciales<br />
sucesivas <strong>de</strong> una función f(x), con x in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>te. Por ejemplo, parti<strong>en</strong>do <strong>de</strong>:<br />
dy = f´(x)dx,<br />
t<strong>en</strong>emos dy como función <strong>de</strong> dos variables: x y dx. Mant<strong>en</strong>emos dx constante y<br />
consi<strong>de</strong>ramos dy como función <strong>de</strong> x; <strong>en</strong>tonces:<br />
(dy)´ = (f´(x))´dx = f´´(x)dx,<br />
<strong>de</strong> don<strong>de</strong> d(dy) = (f´´ (x)dx)dx = f´´ (x) dx 2 . Llamando d(dy) = d 2 y “difer<strong>en</strong>cial<br />
segunda” <strong>de</strong> y, resulta d 2 y = f´´(x)dx 2 y, <strong>en</strong> g<strong>en</strong>eral :<br />
d n y = f (n) (x)dx n<br />
Observemos que dx 3 , por ejemplo, es el cubo <strong>de</strong> dx, mi<strong>en</strong>tras que d 3 y <strong>de</strong>signa a la<br />
difer<strong>en</strong>cial tercera <strong>de</strong> y.<br />
Po<strong>de</strong>mos a<strong>de</strong>más <strong>de</strong>ducir una expresión difer<strong>en</strong>cial para la <strong>de</strong>rivada <strong>en</strong>ésima <strong>de</strong> f(x):<br />
f (n) n<br />
d y<br />
(x) =<br />
n<br />
dx<br />
Recalquemos que esta expresión es sólo válida cuando x es in<strong>de</strong>p<strong>en</strong>di<strong>en</strong>te . Si x<br />
<strong>de</strong>p<strong>en</strong><strong>de</strong> <strong>de</strong> otra variable, la expresión <strong>de</strong> d n y es mucho más compleja y <strong>de</strong>be consultarse<br />
<strong>en</strong> textos especializados.<br />
___________________________<br />
23