10.05.2014 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!