Você está na página 1de 51

Copyright 2003. Digitalia. All rights reserved.

. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

PRLOGO
No es mucho lo que se puede decir, a ttulo de comentario preliminar,
acerca de un libro cuyo ttulo sea "Clculo infinitesimal", y, menos an,
sobre su contenido, si el comentarista intenta situarse -como es su obligacin- ante el tipo de lectores a quienes va dirigido.
Persuadido el autor de que los tiempos estn cambiando con vertiginosa celeridad las formas de pensar y de ver las cosas, los modos de organizarse y de planificar los proyectos y las acciones, y tantas otras cosas,
ha pretendido contribuir con la presente obra a facilitar al estudiante una
herramienta til para abordar las nuevas estrategias de estudiar. Los planes de estudio cambian, y con ellos, se modifica una gran parte de las
materias que los integran y componen, con una clara tendencia predominante que incorpora un nmero cada vez mayor de asignaturas, aunque
-lamentablemente- con una carga lectiva inferior. Por esta razn, se hace
necesario dotar al estudiante de unos textos que le allanen el acceso a una
visin global y sistemtica de la asignatura, al tiempo que ponen a su
alcance un til de rpida y sencilla aplicacin para afrontar con xito los
problemas que precisen del modelo matemtico que subyace bajo cualquier fenmeno emprico.
La naturaleza marcadamente prctica de la matemtica contrasta , por
paradoja, con una exposicin rigurosa y formal de sus definiciones conceptuales, pero sin un dominio de estas ltimas, no es posible concebir un
eficaz planteamiento de sus aplicaciones. Este imperativo justifica la
incorporacin del subttulo "Esquemas tericos para estudiantes de ingeniera y ciencias experimentales", bajo cuyo lema se presenta un manual
que se adapta a asignaturas de extensin media en el currculo de las carreras de ingeniera y ciencias experimentales y aplicadas, en el cual se introduce de forma rigurosa la mayor parte de los conceptos que integran un
curso de clculo infinitesimal de una y de varias variables, y que est concebido como un documento que sirva para presentar al estudiante, -de
forma clara, ordenada y concisa- una sntesis de la materia total de la asigEBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
natura,
al mismo
una gua
para su estudio.
UNIVERSIDAD
NACIONALtiempo
ABIERTA Yque
A DISTANCIA
- UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
El autor es plenamente consciente de que esta forma de exposicin, en
estudiantes de ingenieria y ciencia experimentales
la que
apenas
hay cabida para las demostraciones, no hace justicia a la
Account:
ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

14

JOS LUIS BONNET JEREZ

disciplina matemtica. Pero el libro se ha diseado como un texto docente de apoyo y sostn a las explicaciones del aula, y remite al alumno, de
antemano, a tratados de mayor calado, que se citan en la bibliografa, para
documentarse en lo relativo a demostraciones y ejercicios.
Clculo infinitesimal, esquemas tericos para estudiantes de ingeniera y ciencias experimentales, es fruto de la experiencia docente del autor
impartiendo matemticas en la Escuela Politcnica Superior y Facultad de
Ciencias de la Universidad de Alicante. Sus contenidos estn claramente
diferenciados en dos partes: la primera correspondiente al clculo de una
variable, y la segunda al clculo en varias variables, agrupndose en captulos con un alto contenido terico. El libro no incluye problemas y ejercicios, aunque s se adjuntan ejemplos ilustrativos, distribuidos de forma
conveniente.
Muchos de los conceptos que se incluyen en un curso de primero de
ingeniera se han incorporado al texto en forma de Anexos, ya que se
supone que el alumno posee unos conocimientos previos de estos materiales. As pues se han escrito 6 anexos, correspondientes a aplicaciones y
estructuras algebraicas, conjuntos numricos, descripcin de las funciones
reales de variable real, las tablas de derivadas e integrales inmediatas, propiedades de nmeros combinatorios, y las formas cnicas y cudricas fun
damentales.
Fundamentalmente en cada una de las dos partes del libro se describen
tres apartados claramente diferenciados, que sirven de tronco comn del
curso: lmites y continuidad de funciones, clculo diferencial y clculo
integral. Se completan las definiciones con los captulos de sucesiones y
series en la parte correspondiente al clculo de una variable y el captulo
de ecuaciones diferenciales en la parte correspondiente al clculo de varias
variables.
Quiero, finalmente, expresar mi agradecimiento, de antemano, a cuantos me comuniquen las incorrecciones y erratas que adviertan, que necesariamente deben existir
El autor ver recompensado con creces el esfuerzo que ha puesto en
componerlo, si este pequeo vademcum, haciendo honor a su etimologa
latina (anda conmigo), se constituye en compaero inseparable y auxiliar
valioso de, al menos, un estudiante de Matemticas Aplicadas.

Alicante, mayo 2002


ELAUTOR

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

PARTE I
CLCULO DE UNA VARIABLE

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

This page intentionally left blank

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

1. SUCESIONES DE NMEROS REALES

1.1. DEFINICIN Y CONSTRUCCIN DE SUCESIONES


Definiremos una sucesin de nmeros reales como un conjunto infinito de nmeros reales al, a2, , an, en donde existe un criterio que permita ordenarlos, haciendo seguir al trmino a/ el a2 , a este el a3, etc., y
se representar como [an} donde an es el trmino general de la sucesin, y as pues, definiremos una aplicacin a : N 9?, tal que para cada
n e N a(n) = an . El rango de una sucesin es el conjunto SJ? de
La ley aritmtica mediante la cual se forman los trminos sucesivos
puede ser muy variada: la mayor parte de las veces un sucesin se determina proporcionando el trmino general { a n } .
Especial mencin tendr la obtencin de una frmula de recurrencia
que permita obtener un elemento a partir del anterior, o bien la definicin
de una sucesin a trozos:
Ejemplo: an

si

n es

si n es

par

impar

1.2. TIPOS DE SUCESIONES

a. Sucesin montona: una sucesin |an} es montona creciente si


y ser montona decreciente si ocurre
ocurre que
y ser estrictamente creciente y decreciente si y
respectivamente.
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

a coiCalculo
ada infinitesimal
si
b. Sucesin
acotada:
AN: 318092 ; Bonnet
Jerez, Jose Luis.;
: esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales

c. Sucesin
alternada:
Account: ns145102

alternada si cumple

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

18

JOS LUIS BONNET JEREZ

1.3. LIMITE DE UNA SUCESIN


a. Definicin
9 se define lm
Expresado en trmino de "entornos", indica que para que exista lmite
de una sucesin los trminos de la sucesin deben cumplir an &B(t,s)
(ver Anexo II).
b. Lmites infinitos
Se define:

c. Lmite superior e inferior


Sea 9? = U

y la relacin de orden "<", (ver Anexo E), sea


E; para que exista lmite de una
sucesin, debe verificarse que

d. Convergencia

es convergente si

es divergente si

es oscilante si no es convergente ni divergente

e) Sucesin de Cauchy
Una sucesin {an}^ se dice que converge en sentido Cauchy si
En trminos de "entornos", una sucesin ser de Cauchy si los trminos de la sucesin verifican: ap e B(aq,e) (ver Anexo II).
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

1. SUCESIONES DE NMEROS REALES

19

f) Principales propiedades relativas a lmites y convergencia de sucesiones


1. Teorema de Unicidad: Una sucesin convergente no puede tener ms
que un solo lmite finito.
2. A partir de un cierto trmino, los trminos de una sucesin convergente tienen el mismo signo que su lmite, supuesto este distinto de cero.
3. Si (anYj y {>n)7 son dos sucesiones convergentes cuyos lmites respectivos son a y b , si para todo n > M (M, nmero fijo) es an > bn se
verifica a > b .
4. Si una sucesin {an }f es convergente, toda sucesin {bn}" contenida
en ella, tambin es convergente y tiende al mismo lmite.
5. Toda sucesin convergente est acotada, el reciproco no es cierto.
6. Una sucesin montona creciente (decreciente) de nmeros reales es
convergente si y solo si est acotada superiormente (inferiormente). Su
lmite ser igual o menor que la cota.
7. Criterio general de convergencia: Una sucesin {an* es convergente si, y slo si, es sucesin en sentido Cauchy.
8. Un Espacio Mtrico es Completo cuando toda sucesin de Cauchy, en
dicho espacio, es convergente.
9. Si |an}* es de Cauchy y tiene un punto de aglomeracin, entonces la
sucesin converge en, o hacia, dicho punto.
lO.Subsucesin: es una aplicacin estrictamente creciente anj
Si una sucesin tiene lmite, sus subsucesiones tienden al mismo.
11 .Toda sucesin de Cauchy que admite una subsucesin convergente,
converge al mismo lmite.
12.Regla del sandwich:
Se verifica que
13. Corolario:

es una sucesin acotada.

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

20

JOS LUIS BONNET JEREZ

g) Clculo prctico de lmites (operacin de paso al lmite)


Es el proceso que se sigue para hallar el lmite de una sucesin.
7. Algebra de lmites

2. Indeterminaciones
Siendo
se llamar indeterminacin si, en la
operacin del paso al lmite, ocurre:

3. Igualdades simblicas
Con la misma notacin que el apartado anterior, existe una regla nemotcnica para facilitar el recuerdo de muchos de los teoremas vistos y del
clculo de lmites. No se deben confundir con las indeterminaciones.

4. Sucesiones en forma indeterminada


Lmites de expresiones racionales: siendo el cociente de sucesiones:

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

. SUCESIONES DE NMEROS REALES 21

Siendo h,k nmeros enteros, cuando n


se produce la forma
indeterminada
segn consideremos los trminos del
numerador y denominador (recordar que

El segundo

siempre se puede poner de la primera forma, por lo tanto, si consideramos que ocurre la primera indeterminacin, pueden ocurrir tres casos, segn el grado de los polinomios del numerador
y denominador, es decir, de h y k\

Lmites de la forma indeterminada


Se convierten a la forma

fl, o _ multiplicando y dividiendo

toda la expresin por el conjugado de la diferencia. Simblicamente tendramos


recordar

que
etc., si los ndices de las races

son distintos, se tomar dicha relacin el mnimo comn mltiplo de ambos.


Lmites de la forma indeterminada
Se transforman en la forma

haciendo:

luego se

opera con los procedimientos habituales de la indeterminacin

Lmites de la forma indeterminada


Siendo

se calculan tomando logaritmos en ambos

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

miembros, entonces

Para la expresin

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

22

JOS LUIS BONNET JEREZ

equivalente calcular el lmite:


h) El nmero e
Es una sucesin de la forma an

Se trata de una sucesin

montona, acotada y convergente


es una sucesin divergente, se verifica
Teorema: Si

i) Sucesiones asintticamente equivalentes. Principio de sustitucin


an es a sintticamente equivalente a
tambin ocu-

Para indicar que dos sucesiones son asintticamente equivalentes escribiremos


Con el principio de sustitucin obtenemos un mtodo til de realizar l
operacin de paso al lmite. El principio dice as: el lmite de una sucesin
convergente o divergente no se altera sustituyendo uno de sus factores o
divisores por otro asintticamente equivalente.
j) Tabla elemental de equivalencias

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

I. SUCESIONES DE NMEROS REALES

23

k) Comparacin de infinitos
Sea an y bn dos infinitos, establecemos su comparacin:
a) bn infinito de orden superior al de
b) bn infinito de orden inferior al de
c) bn infinito de igual orden al de
d) bn y an no son comparables si
I) Ordenes fundamentales de infinitud (jerarqua de infinitos)
El orden va creciendo de la siguiente forma:

m) Criterio Stolz-Cesaro
Hiptesis (debe cumplirse alguna de las dos primeras y la tercera):
si bn montona divergente
montona
para n admite lmite finito o infinito de signo
determinado.
Entonces:

Propiedades:
(Criterio de la media aritmtica)
(Criterio de la media geomtrica)

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via

Estos
dosNACIONAL
ltimos
se denominan
Criterios de razn y raz.
UNIVERSIDAD
ABIERTA
Y A DISTANCIA -tambin
UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

This page intentionally left blank

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

2. SERIES NUMRICAS

2.1. PROGRESIONES
a. Progresiones aritmticas de orden superior
La progresin aritmtica de orden k es una sucesin de nmeros que
resulta de calcular los valores numricos de un polinomio de grado k para
valores enteros consecutivos de su variable. El polinomio que sirve para
formar
la
progresin
se
llama
trmino
general:

Para obtener dicho polinomio se utiliza el mtodo de las diferencias finitas. El procedimiento de obtencin de dicho polinomio es el siguiente:
Sea Aa, Aa2, Aa3, Aa4,..., Aan,... una sucesin de diferencias primeras o de primer orden obtenida de la sucesin inicial:
a,,a2,a3,a4,...,an>... , donde Aa =a2 -a, Aa2 -a3-a2>... .
De la misma forma obtenemos una sucesin de diferencias segundas o
de segundo orden: A2a,,A2a2,A2a>A2a4,...,A2an,.... As, anlogamente para las restantes hasta que se llegue a una sucesin donde todos
sus trminos sean nulos.
Colocadas todas las sucesiones en forma de columna, y tomando slo
el primer trmino de cada una de ellas: a,Aaj,A2a,A3a,...>Ana, las
colocamos en la siguiente ecuacin para calcular el trmino general de
una progresin aritmtica de orden k.
La forma general es

b. Progresiones Geomtricas
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD
ABIERTAgeomtrica
Y A DISTANCIA -aUNAD
Se llama NACIONAL
progresin
una sucesin de nmeros, tales que
318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
cadaAN:
uno
de
ellos
se
deduce
del
anterior
multiplicndolo por un nmero
estudiantes de ingenieria y ciencia experimentales
fijo Account:
llamado
razn
de
la
progresin
(r).
ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

26

JJOS LUIS BONNET JEREZ

Propiedades:

Un trmino cualquiera de una progresin geomtrica es igual a otro trmino anterior multiplicado por la razn elevada a un exponente igual
a la diferencia de lugares ordinales de ambos: ak = ah -rk~h, obtenemos la expresin del trmino general conocida:
an=a,.rn->.

El producto de dos trminos de una progresin geomtrica, equidistantes de los extremos, es igual al producto de estos:
a

l + h ~an-h =al 'an .

El producto de los trminos de una progresin geomtrica, es igual a


la raz cuadrada del producto de los trminos extremos elevado al
nmero de trminos: Pn =
c. Progresin aritmtico-geomtrica
Es una sucesin de productos binarios: ab,a7b-,, -,anbn , donde
a,a-),---,an es una progresin aritmtica, y b],b?,---,bn es una progresin geomtrica. El orden de dicha progresin ser el orden de la progresin aritmtica.
d. Progresin hipergeomtrica
Es una sucesin de nmeros tales que la razn de dos trminos consecutivos adopta la forma siguiente:

donde a, J3, y son nme-

ros cualesquiera, en donde no se anulan simultneamente a y y ni a y j3.


e. Progresin armnica
Aquella sucesin cuyos recprocos forman una progresin aritmtica:
En estas progresiones cada trmino es
media armnica entre el precedente y siguiente:

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

2. SERIES NUMRICAS

27

2.2. SERIES NUMRICAS


Dado el par de sucesiones

es una sucesin

indefinida de nmeros reales: ai,a2,...,an,..., y

la sucesin

S/ = a y , S2 =a +a2,,Sn =a +a2 + --- + an . llamada sucesin de sumas


parciales, el procedimiento o algoritmo seguido para obtener esta segunda sucesin se denomina serie y se representa como
a. Tipos de series
1. Series de trminos positivos, todos sus trminos son positivos.
2. Series de trminos estrictamente negativos, todos sus trminos son
negativos.
3. Series de trminos alternantes, verifican que an -an+] < O .
4. Series de trminos arbitrarios, no existe cadencia de signo.
b. Convergencia de series
Calculando el lmite de la sucesin de sumas parciales, que llamaremos
S, S = lim Sn, segn sea S, tendremos:
n-oo

Serie convergente, si S tiende a un lmite finito.


Serie divergente, si S tiende a infinito, o no existe.
Serie oscilante, si S no tiene lmite.
c. Problema del clculo de series
Dada una serie numrica se puede presentar dos cuestiones fundamentales:
Estudio de la convergencia de la sucesin de sumas parciales.
En caso de que sea convergente, obtener la suma exacta o aproximada.
d. Propiedades fundamentales
1. Condicin necesaria de convergencia: si
ca que lim an Collection
=0 . (EBSCOhost) - printed on
EBSCO Publishing : eBook

converge, se verifi-

9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
n
estudiantes de ingenieria
y ciencia experimentales
Account: ns145102

2. Si lim a * O , entonces

no converge.

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

28

JOS LUIS BONNET JEREZ

convergente
(una serie es convergente si, y slo
se verifica
si, es una sucesin en sentido de Cauchy).
4. Propiedades algebraicas:
verifica

convergentes

5. Propiedad Asociativa: en series convergentes/divergentes se pueden sustituir varios trminos consecutivos por la suma efectuada sin
que vare el carcter ni la suma de la serie.
6. No subsiste la propiedad disociativa: no se pueden descomponer
arbitrariamente los trminos en sumas de varios.
7. Las series oscilantes no cumplen las dos propiedades anteriores.
8. Propiedad distributiva: si

es convergente

es divergente, entonces

es divergente.

9. Propiedad Conmutativa: al alterar arbitrariamente el orden de los


trminos de una serie, no se altera el carcter de la serie ni vara su
suma.
W.Teorema: Si en
se intercalan (suprimen) un nmero finito de
trminos cuya suma es A, la serie obtenida tiene el mismo carcter
que la inicial y suma S+A (S-A).

2.3. CONVERGENCIA DE ALGUNAS SERIES NOTABLES


Aunque el proceso lgico de estudio de este tema es el anlisis de la
convergencia de series y en el caso que proceda sumarlas, es conveniente
tener presente un grupo de series, que al coincidir con su progresin
correspondiente, sea fcil obtener el criterio de la convergencia y la suma
a partir del trmino general, o de la sucesin correspondiente. As pues es
necesario aprender bien estas series para utilizarlas posteriormente como
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
referencia
y comparacin con otras series, cuyos trminos generales sean
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
desconocidos
paraJerez,
nosotros.
AN: 318092 ; Bonnet
Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

2. SERIES NUMRICAS

29

La suma aproximada no se ver en este capitulo puesto que requiere de


otras tcnicas de aproximacin.
a) Series Aritmticas
El

trmino

general de la progresin aritmtica es un polinomio, por tanto su convergencia ha sido comentada.


b) Series geomtricas
ser convergente si

y divergente si

c) Series aritmtico-geomtricas
cn = a fii, a2b2, ,anbn, ser convergente si es convergente la sucesin geomtrica correspondiente.
d) Series hipergeomtricas
Siendo
ser convergente si se verifica que
e) Serie armnica generalizada
ser convergente si

La sucesin ser:
y divergente si
f) Serie telescpica
Se trata de una serie

, cuyo trmino general lo forma otra serie.

tal que an = bn - bn+]. Se verifica que


convergente.

convergente

2.4. CRITERIOS GENERALES DE CONVERGENCIA


Series de trminos positivos
Una subsucesin suya An estar acotada superiormente; nunca ser
oscilante;
cumplir las propiedades asociativa, disociativa, distributiva y
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
conmutativa.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

30

JOS LUIS BONNET JEREZ

a) Criterio de la serie mayorante/minorante:


es mayorante de
Se dice que
dicho caso diremos que

una serie minorante de

Si

es convergente y mayorante de
es convergente.

Si

es divergente y minorante de
divergente.

entonces,
entonces

,entonces

b) Criterio de comparacin por cociente


donde lim
finito
converqente
divergente

entonces :
tienen el mismo carcter
convergente
divergente

c) Criterio de Prinsheim:

es convergente
es divergente

d) Criterio de D'alambert:

convergente
diverqente
el criterio no decide (se debe usar otro criterio)

e) Criterio de Cauchy-Hadamard:

convergente
divergente
criterio no decide (se debe usar otro criterio)
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

2. SERIES NUMRICAS

31

f) Criterio de Raabe (Duhamel):

convergente
divergente
criterio no decide (se debe usar otro Gritero)

g) Criterio logartmico:

convergente
divergente
criterio no decide (se debe usar otro Gritero)

h) Criterio de Gauss:

ser convergente si A1 - B2 < 1 y divergente si AI - B2 > 1

Series de trminos negativos


Son aquellas que verifican:
Sn estar acotada inferiormente.

, en este tipo de series

Series alternadas
Una serie alternada tiene la forma: a0 -a1 +a2 + + (- 1}" an + (a > 0]
donde

Criterio de Leibniz: Una serie cuyos trminos decrecen en valor absoluto y con lim an =0 , entonces es convergente, su suma es positiva y est
comprendida entre dos sumas parciales positivas: S7n <S < S?n+.
Series de trminos arbitrarios
es incondicionalmente convergente si converge y, la suma no
a)
vara al alterar arbitrariamente el orden de sus trminos; incondiEBSCOcionalmente
Publishing : eBook
Collection (EBSCOhost)
- printed
on 9/6/2016 11:12 PM via
divergente,
si diverge
independientemente
del orden.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

32

JOS LUIS BONNET JEREZ

es condicionalmente convergente si la suma vara o deja de

b)

existir al alterar arbitrariamente el orden de sus trminos. Segn el


es condicionalmente convergente,
Teorema Riemann, si
entonces, 3 una reordenacin
es absolutamente convergente si

c)

es convergente y

es convergente.

d) Si

es absolutamente convergente si, y slo si, es incondicio-

es absolunalmente convergente (Teorema de Dirichlet); si


tamente divergente, entonces ser condicionalmente o incondicionalmente divergente.
e) Teorema Dirichlet:
dos sucesiones convergentes, entonces se verifica que
convergente (el teorema es recproco).
O Criterio Abel:

es convergente si es

convergente y

bn es montona y acotada.
g) Criterio Dirichlet: Sea
una sene con sumas parciales acotadas, y sea bn una sucesin decreciente, con lim b* = O , entonces
se verifica que

es convergente.

2.5. SUMA DE SERIES


La suma de una serie se realizar, en este libro, por un procedimiento
de sumacin, dejando para otros cursos el clculo de la suma aproximada
de series que requieren de otros procedimientos.
a) Suma de series notables, conocidas por el alumno, coinciden con
alguna de las series vistas anteriormente:
Series Aritmticas

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Series geomtricas

entonces:

33

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

2. SERIES NUMRICAS

Series aritmtico-geomtricas
La suma viene dada por:

siendo a/ y b los pri-

meros trminos de las sucesiones aritmtica y geomtrica respectivamente, y d y r la distancia y la razn de dichas progresiones.
Series hipergeomtricas
Su suma se calcular como
Serie telescpica
La suma ser S = b - ,, siendo b el primer trmino de la sucesin bn,
siendo
b) Series sumables por descomposicin: en series

se factoriza

Q(r) y se descompone el cociente en sumas (ver Anexo III). Si la serie


es convergente la suma de los coeficientes indeterminados, resultante
de la descomposicin, es nula. Para sumar la serie entera se realiza la
suma de cada una de las series resultantes de la composicin.

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

This page intentionally left blank

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

3. LIMITES Y CONTINUIDAD DE FUNCIONES REALES DE


VARIABLE REAL
El concepto y tipos de funciones figuran en el anexo III.
3.1. LMITES DE FUNCIONES

a) Definicin
Primero hay que recordar los conceptos sobre topologa de la recta real
(ver Anexo II). Hay varias formas de definicin de lmite de una funcin
en un punto, aqu utilizaremos la notacin, que utiliza las bases de entornos de los puntos:
Lmite de funcin:

Lmites laterales:
Lmite por la derecha:

Lmite por la izquierda:

Teorema:
Existe lim f(x) - I

existiendo lim f ( x ) y lim f ( x )

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

(Para que exista lmite de una funcin en un punto deben de existir y


ser iguales los lmites laterales de dicha funcin a la derecha e izquierda del punto).

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

36

JOS LUIS BONNET JEREZ

Lmites infinitos:

Lmites finitos en el infinito:


o bien

Sea / una funcin cuyo dominio est contenido en


entonces:

Lmites infinitos en el infinito:


Sea/una funcin cuyo dominio est contenido en
entonces.

o bien

b) Clculo prctico de lmites laterales:


Puesto que en el entorno del punto a interesa ver la existencia de los
lmites laterales en el intervalo ]a--,a + [, los lmites laterales anteriores son equivalentes a los siguientes:

3.2. TEOREMAS RELATIVOS A LMITES DE FUNCIONES EN UN PUNTO


1. EBSCO
Teorema
de:unicidad:
si una
funcin
tieneonlmite
o 11:12
lmite
en un
Publishing
eBook Collection
(EBSCOhost)
- printed
9/6/2016
PM lateral
via
UNIVERSIDAD
NACIONAL
ABIERTA Y entonces
A DISTANCIA -elUNAD
punto en
el infinito,
lmite es nico.
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

3. LMITES Y CONTINUIDAD DE FUNCIONES

37

2. Teorema de acotacin: si una funcin tiene lmite finito en un punto


a, entonces/est acotada en un entorno de a.
3. Algebra de lmites: Siendo lim f ( x ) = c; lim g(x) = d, entonces:
s

4. Regla del Sandwich:


3 lim g(x) = I para todo tipo de lmite y x en un entorno reducido de a.

5. Teorema: si g(x) est acotada


lim f ( x ) = O ^> lim f ( x ) g(x) = O .

en

un entorno

de

a y

6. Se puede aplicar el criterio de Cauchy como condicin necesaria y suficiente de existencia de lmite de una funcin en un punto.

3.3. INDETERMINACIONES
Siendo lim f ( x ) = c;

lim g(x) = d, de las posibles combinaciones

posibles entre ellos, es decir, si estn dividindose, sumando, restando,


multiplicando, en forma exponencial, etc., podemos indicar que segn c y
d tiendan a infinito, cero o un nmero k finito.
Existen igualdades simblicas, si ocurre alguna de las siguientes

adems de las derivadas del lgebra de lmites.


Existen indeterminaciones, si ocurre alguna de las siguientes:

paraEBSCO
la resolucin
de los anteriores, referimos al alumno al tema de lmiPublishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD
NACIONAL
tes de sucesiones. ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

38

JOS LUIS BONNET JEREZ

3.4. INFINITSIMOS E INFINITOS


a) Definicin
Se denomina infinitsimo a una funcin
la notacin caracterstica de infinitsimo ser:

(f(x),a}.

Se denomina infinito, dems de la definicin dada anteriormente, a


es infinitsimo, o bien
una funcin,

b) Comparacin infinitsimos
Sea (f(x),a) y (0(x),a) dos infinitsimos en el mismo punto , entonces diremos que dos infinitsimos son comparables en dicho punto a, si
ocurre: lim

= k . Los casos que podemos encontrar, dependiendo

del resultado del lmite /c, son:


a) Si k*0 entonces (f(x),a)y(0(x),a) son del mismo orden.
b) Si k = l entonces (f(x),a)y(6(x),a) son equivalentes
(f(x)*0(xj).
c) Si k = 0 entonces el orden de (f(x),a)
d) Si k - oo entonces el orden de (f(x),a)

es mayor que (0(x),a)


es menor que (&(x),a)

En el tema de sucesiones hemos dado una tabla de sucesiones asintticamente equivalentes que se puede utilizar igualmente en el caso de infinitsimos equivalentes.
c) Teorema (principio de sustitucin)
Si (f(x),a) y (0(x),a) son infinitsimos equivalentes, el lmite de una
funcin en un punto a no se altera sustituyendo uno de sus factores o divisores por su infinitsimo equivalente. Es decir:

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

39

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

3. LMITES Y CONTINUIDAD DE FUNCIONES

d) Orden de infinitsimos y parte principal


(f(x), a) es de orden n si lim
Llamaremos parte principal de un infinitsimo a la expresin: k-(x- a)n
De igual forma, (f(x).

es de orden n si lim

3.5. CONTINUIDAD DE FUNCIONES


a) Continuidad puntual
Definicin 1: Utilizando la misma notacin que la especificada en lmites de funciones y sucesiones, siendo una funcin f :
y sea
A, diremos / (x) que es una funcin continua en a A, si
Definicin 2: Siendo la funcin /
y sea a e A' (a es un punto
de acumulacin perteneciente al conjunto derivado), diremos que/es continua en a si cumple:
Existen lmites laterales finitos y son iguales:

El lmite coincide con la definicin de la funcin en el punto a:


f ( a ) =l

Definicin 3: Siendo la funcin definida / : A c 9 SJK y sea a e A ,


entonces/es continua en a si, y slo si, existe una sucesin de elementos,
contenida en A, tal que si {an }neN

se verifica que

b) Continuidad lateral
Siendo la funcin definida

definimos:

Continuidad por la derecha:


Continuidad por la izquierda:

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

f(a)

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

40

JOS LUIS BONNET JEREZ

Teorema: / : A - 9? es continua en a e A si, y slo si, es continua por


la derecha y por la izquierda en a.
c) Continuidad en conjuntos
/ : A c 9? -> 9 es continua en el conjunto A si es continua en todos los
puntos x e A .
Continuidad en intervalo abierto: f : A e 9? - 9 es continua en el
intervalo ]c,d[ si es continua en cada punto del intervalo. La funcin continua en toda la recta real \- co,co[ se dice que es continua en "todas partes".
Continuidad en intervalos cerrados: f : A -> 9? es continua en el intervalo [c,d] si es continua en el abierto ]c,d[ y adems lim f(x) = f(c) y
lim f ( x ) = f ( d )
Continuidad en intervalos semiabiertos, semicerrados e infinitos: se
utiliza el mismo criterio que en las expresiones anteriores.
d) Continuidad de funciones compuestas

Sea f : A

continua en a, y sea g
tinua enf(a), entonces g of:
es continua en a.

yi es con-

e) Continuidad de funciones inversas


continua y biyectiva en a, entonces/"1 es continua enf(a).
f) Continuidad uniforme
Sea /.
te continua en A si,

entonces se dice quef(x) es uniformemen-

Teorema: Si una funcin es uniformemente continua en un punto a,


entonces es continua en a (en general, el recproco no es cierto).
g) Teorema (de acotacin local)
EBSCO
Publishing
: eBookf Collection
(EBSCOhost) - printed on 9/6/2016 11:12 PM via
Si una
funcin
:
es continua en un punto a e A, direUNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
318092 ; Bonnet
Jerez, Jose
teoricos para
mosAN:que/est
acotada
en Luis.; Calculo infinitesimal
contenida: esquemas
en A, siendo
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

3. LMITES Y CONTINUIDAD DE FUNCIONES

41

h) Propiedades algebraicas
Sif(x) y g(x) son continuas en a, entonces, son continuas:

i) Continuidad de funciones elementales


Son continuas las siguientes funciones:
Funciones exponenciales (si la base es mayor que cero).
Funciones polinmicas.
Funciones trigonomtricas circulares e hiperblicas (excepto en
aquellos puntos que anulen denominadores).
Funciones racionales (excepto para aquellos puntos que anulen
denominadores).

3.6. FUNCIONES DISCONTINUAS


De la definicin de continuidad se desprende que si una funcin no es
continua en un punto, ser discontinua en l, y siendo consecuentes con la
definicin existirn los siguientes tipos de discontinuidad:
a) De primera especie:
a.l) Salto finito: existen los lmites laterales y son finitos, pero no
coinciden.
a. 2) Salto infinito: alguno (o los dos) de los lmites laterales tiende
a <=o.
b) Segunda especie (esencial): alguno de los lmites laterales no existe.
c) Evitable: existen, son finitos y coinciden los lmites laterales, pero
I * f(a) , se llama evitable porque podemos construir una funcin
continua en a que coincida con /en casi todos los puntos.

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

42

JOS LUIS BONNET JEREZ

3.7. TEOREMAS RELATIVOS A LA CONTINUIDAD EN CONJUNTOS


a) Teorema de Bolzano
siendo f
continua
f definida en
El teorema muestra la existencia de races de una funcin, pero no indica cuantas ni cuales.
b)Teorema valores intermedios
siendo f
siendo k <

continua

c) Teorema
sif:[a,b]

9?, continua, entonces/est acotada en [a,b].

d) Teorema de Weierstrass
si f :[a,b\ S.H, continua, entonces f alcanza el mximo y el mnimo
en dicho intervalo [a,bj.
e) Teorema de Heine
continua en [a, b
siendo \a,b\compacto

f es uniformemente continua en [a,b].

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

4. DERIVABILIDAD DE FUNCIONES REALES DE VARIABLE REAL

4.1. DEFINICIN DE DERIVADA PUNTUAL

La derivada representa la tasa de variacin de la funcin alrededor del


punto considerado, respecto a las variaciones de la variable. Geomtricamente es la pendiente de la tangente a la funcin en el punto considerado.

4.2. DERIVADAS LATERALES


a) Derivada por la derecha: Sifse define en [a, a + E[,
entonces
b) Derivada por la izquierda: Sifse define en^p-- s,a\,
entonces
c) Proposicin (condicin derivabilidad) :/(*,) es derivable en un punto
a si, y slo si, existen sus derivadas laterales y coinciden; en caso contrario se dice que a es un punto singular, y que no existe derivada de la funcin en dicho punto.
Para el clculo prctico de estos lmites, al igual que se haca en el tema
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
de lmites
deNACIONAL
funciones
y continuidad,
de forma analtica se puede calcular:
UNIVERSIDAD
ABIERTA
Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

44

JOS LUIS BONNET JEREZ

4.3. TEOREMA (DERIVABILIDAD Y CONTINUIDAD)


Si f : A a yt > 9 derivable en x - a, entonces f(x) es
continua en x = a,\/aeAr\A'
La continuidad no implica derivabilidad.
Hay que descartar la existencia de derivada en puntos de discontinuidad.
4.4. DIFERENCIAL DE UNA FUNCIN EN UN PUNTO
Sea / : A a SJ -> 9 una funcin derivable en un punto a&Ar^A definimos diferencial de/en a a la siguiente funcin lineal:
9 - 9?
d:
xd-x

La diferencial es una funcin d(x) del incremento x de la variable.


4.5. RELACIN ENTRE LA DERIVADA Y LA DIFERENCIAL
La relacin entre la derivada f ' ( a ) y la diferencial d(x) = d-x es
d(x) = f ' ( a ) - x , de ella obtenemos que si df(a)(dx) = f'(a)dx, entonces
dy = f'(a)dx (Igualdad de Leibniz).
4.6. PROPIEDADES
a) Teorema
Si f(x) es derivable en a y f'(a) * O, son equivalentes los siguientes
infinitsimos
(f(a + dx)- f(a),0) * (f'(a)dx,0) si x

0.

b) Propiedades algebraicas
Si/y g son funciones derivables en a y c e SJ? se verifica:

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

4. DERIVABILIDAD DE FUNCIONES

45

c) Regla de la cadena: Siendo/una funcin derivable en a, y sea g una


funcin derivable &\f(a), entonces se verifica (g o f)'(a) = g'(f(a)) f ' ( a ) .
d) Derivada de la funcin inversa: siendo/una funcin derivable en a,
y para f ' ( a ) * o, sea /~ ; : f(A) -> 9 funcin inversa de / y biyectiva,
entonces se verifica que f1 derivable en f(a) y se cumple:

La forma operativa de calcular las derivadas inversas es:

e) Derivada expresada en paramtricas: Sea y(x) una funcin cuya grfica se puede expresar en un entorno de x0 en coordenadas paramtricas
de la forma: x = x(t) e y = y ( t ) . Si en el instante inicial t0 la variable ser
xf = x(t()), siendo x derivable en x0 y siendo la variable _y derivable tambin en t(), se verifica que y1 (t0) = y'(x0) x'(t0), y si adems x'(tf) *0
ocurrir que
f) Funcin derivable en un conjunto
Sea A un subconjunto abierto de R y sea una funcin/definida en A,
entonces se dice que/es derivable en A si lo es en cada punto de A.

4.7. DERIVABILIDAD EN INTERVALOS


a) Sif(x) tiene derivada en todo punto a de un intervalo, es diferenciable
en dicho intervalo.
b) Si f(x) se define en un intervalo cerrado [a,b] ser diferenciable en
dicho intervalo si, y slo si, es diferenciable en cada punto del intervalo
abierto
y existen,
y son finitas,
las -derivadas
laterales
la via
derecha de
EBSCO ]a,b[
Publishing
: eBook Collection
(EBSCOhost)
printed on 9/6/2016
11:12a PM
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

a yAN:
a la318092
izquierda
b(fJose
; Bonnet de
Jerez,
Luis.;
infinitesimal : esquemas teoricos para
+ (a)
y Calculo
f_ (b)).
estudiantes de ingenieria y ciencia experimentales
c) Account:
Si/fjcj tiene
derivada continua, entonces es continuamente diferenciable.
ns145102

OS LUIS BONNET JEREZ

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

46 J

4.8. FUNCIN DERIVADA


Sea / : A c SJ -> R una funcin derivable en un conjunto A. Podemos
definir una funcin asociada \\amadafuncion derivada que tendr la
expresin:

4.9. DERIVADA SEGUNDA Y SUCESIVAS


Con las mismas hiptesis consideradas en la definicin de derivada,
podemos definir la siguiente funcin:
llamada derivada segunda de/en a.
llamada derivada de orden n,

De igual forma que en el caso de la derivada primera, existe la funcin


derivada sucesiva, tal que /"= (f)'; f'"= ( f " ) ' , para verificar la existencia de estas derivadas, diremos que una funcin es de clase n en un conjunto A, si la funcin es continua y, si existen en A todas sus derivadas
hasta orden n y son continuas en l, se dir / e Cn(A). En el caso de que
existan las derivadas de cualquier orden y sean continuas, se dir que la
funcin es / e C^fA),
4.10. DERIVADAS N-SIMAS. FRMULA DE LEIBNITZ
Para el clculo de derivadas hasta orden n es importante hacer notar
que dichas funciones deben de ser de clase n. La forma de proceder es
mediante la obtencin del trmino general de la sucesin formada por las
derivadas sucesivas.
El caso ms complejo del clculo de derivadas n-simas, ser aquel en
que la funcin a derivar est formada por un producto de funciones; en
caso de que la funcin a derivar sea simple, o sea compuesta, se puede
hacer
cambio: eBook
de variable
derivarla
hasta onorden
n. 11:12
De todas
EBSCOun
Publishing
Collection y(EBSCOhost)
- printed
9/6/2016
PM via formas el
UNIVERSIDAD NACIONAL
Y A DISTANCIA
UNAD
procedimiento
msABIERTA
operativo
para- realizar
el clculo de estas derivadas
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
serestudiantes
el uso de
la frmula
de Leibniz,
que se describe a continuacin.
de ingenieria
y ciencia
experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

4. DERIVABILIDAD DE FUNCIONES 4

4.11. DIFERENCIALES SUCESIVAS. DIFERENCIALES DE ORDEN n


Para la obtencin de las diferenciales n-simas, se proceder de igual
forma que en el clculo de derivadas n-simas haciendo la salvedad de
que:
dnf(a)(cbc) = f(")(a)(d

4.12. TEOREMAS RELATIVOS A DERIVABILIDAD


a) Teorema de Rolle
Sea fx) definida u continua en
Seaf(x) devable en ]a,b[
Seaf(a) = f(b)
Basta con que falle una hiptesis para que no se verifique la tesis
del teorema.
Geomtricamente representa que la tangente a la curva en el punto
c es horizontal.
Es un criterio til para separar las races de una ecuacin, ya que:
o Si/tiene n races reales,/'tendr al menos n-1 races reales.
o Si/'tiene n races reales,/tendr a lo sumo n+1 races reales.
De esta forma, encontramos un intervalo con una nica raz, ya que
entre dos races consecutivas de la ecuacin f ' ( x ) = 0 hay a lo
sumo una raz de la ecuacin f ( x ) = O (habra una sola raz si las
imgenes de la primera son de distinto signo, y ninguna raz si son
del mismo signo, segn el Teorema de Bolzano).
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

48

JOS Luis BONNET JEREZ

b) Teorema de Cauchy
Sea ffx), ax) definidas u continuas en[a,b[]
Sea f(x), g(x) deruables en
f'(x),a'x) no se anulan a la vez
Sea g(b) * g(a) en ningn x e ]a,b[
c) Teorema del valor medio (de Lagrange)
f ( x ) definida y continua en [a, b]
fx) derivable en ]a,b\
La interpretacin geomtrica del teorema es la existencia de al
menos un punto del intervalo ]a,b[ en la que la tangente geomtrica a la curva es paralela a la recta secante que pasa por los puntos
(a,f(a))y(b,f(b)).
La interpretacin fsica sera que la velocidad media en un intervalo [/,t?] coincide con la velocidad instantnea en algn instante
intermedio.
Si h = b-a, resultara f(a + h)-f(a) = f'(a + 0h)-h., siendo
O <9 < 1 conocida como frmula de los incrementos finitos.
d) Funcin constante
f ( x ) definida y continua en [a,b
f ( x ) derivable en]a,b[

f (x) es constante en [a,b]

e) Teorema fundamental del clculo integral


f(x),g(x) definidas y continuas en [a,b]
f(x),g(x) dervables en ]a,>[
f) Teorema de Darboux
Sea f :[a,b]
Sea

dervable en [a, b] compacto

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

4. DERIVABILIDAD DE FUNCIONES

49

g) Regla de L'Hopital
f ( x ) , g(x) definida y continua en I (a) - \a - 5,a + 8\
f(x),g(x) deriuables en I (a)
f'fxj.q'fx) no se anulan a la vez

Esta regla tambin es vlida para


Se puede utilizar en todas las indeterminaciones, ya que todas se
pueden poner de la forma simblica
En condiciones anlogas se puede aplicar el mtodo iterativa mente.
h) Teorema del extremo relativo
Sea f ' (a,b) > 9 y c e ]p,b[, si f tiene un mximo (mnimo) relativo
en c y fes derivable en c entonces f'(c) - O .
El recproco en general no es cierto.

4.13. APROXIMACIN LOCAL DE FUNCIONES A POLINOMIOS. DESARROLLO DE


TAYLOR
Sea una funcin / .- A c iR -> SJ definida en un entorno de a, diremos
que/admite una aproximacin polinomial de orden n en el punto a e R,
si ocurre:
Debe de existir un polinomio de la forma
pn (x) -a() +a](x-a)-\ + a (x - a )n .
Se verifica que lim
El polinomio pn(x) puede ser de grado menor que n.
La funcin admite desarrollo limitado de orden n en a, y dicho
desarrollo es nico.
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

50

JOS LUIS BONNET JEREZ

4. 14. TEOREMA DE TAYLOR


Sea f(x),f'(x),...,f(n)(x) definidas y continuas en un intervalo
compacto [a,x].
Sea f(x), f'(x), ...,f(n)(x) derivables hasta orden n+\ en [a,x\.
Entonces existe al menos un punto c que pertenece a ]a,x[ verificando:

denominado polinomio de Taylor de grado n en el punto a.


Las funciones derivables de clase n alrededor del mismo punto
admiten aproximaciones del mismo orden n.

El polinomio de Taylor se calcula a partir de las derivadas sucesivas de una funcin en un punto.

Slo existe una nica aproximacin de Taylor de una funcin en un


punto determinado.
Si la aproximacin se produce en un entorno del origen, es decir,
7=0, el desarrollo se denomina desarrollo de McLaurin para la
funcin/, y se expresa como:

Expresiones del resto:


Resto de Lagrange:
Resto de Cauchy:

4.15. DESARROLLO DE MCLAURIN DE ALGUNAS FUNCIONES ELEMENTALES

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

4. DERIVABILIDAD DE FUNCIONES

51

4.16. APLICACIONES
a) Clculo de la parte principal de un infinitsimo
Ya hemos visto que un infinitsimo, en un entorno de un punto a, es
una funcin f(x) que verifica lim f(x) = 0, entonces si f^p\a) es la primera derivada no nula de la funcin en el punto considerado , tendremos
los siguientes infinitsimos equivalentes:
b) Clculo de lmites
Siendo lim f(x) = lim pn(x) + rn(x), este segundo lmite es el lmite
de un polinomio, cuya resolucin es, en teora, ms fcil que el primero.
Si se trata de un lmite de un cociente de funciones, resultar el lmite de
un cociente de polinomios, que interesar que tengan el mismo orden el
polinomio del numerador y denominador, y por tanto, utilizaremos los trminos necesarios del desarrollo para realizar el clculo del lmite.
c) Representacin de funciones explcitas
Para representar grficamente la funcin y = f(x) seguiremos los
siguientes pasos:
a) Determinar el dominio de la funcin / = {x/ est definida f(x)},
diremos que un punto no pertenece al dominio, x0 e D(f) si:
xf) anula un denominador.
x hace negativo un radicando de ndice par.
A" anula o hace negativo el argumento de un logaritmo.

para tangentes, etc.

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

52

JOS LUIS BONNET JEREZ

b) Realizar el estudio de:


b.l. Periodicidad: ocurre cuando f(x + p) = f(x)Vx, la funcin
tendr periodo p. Ocurre, por ejemplo, en funciones trigonomtricas.
b.2. Simetras: ocurren las siguientes,
Respecto al origen: si f(-x) - -f(x) Vx, cuando la funcin
es impar.
Respecto al eje OY: si f(-x) = f ( x ) Vx, cuando la funcin
es par.
Respecto al eje OX: si y = f(x), como por ejemplo en funciones algebraicas irracionales.
b.3. Cortes con los ejes: ocurren los siguientes,
Corte con el eje OY: haciendo A'=0, obtenindose el punto
de corte (O, y).
Corte con el eje OX: haciendo >'=0, obtenindose el punto
de corte (x, 0).
b.4. Regionamiento, en esta seccin se estudia el signo de la funcin para cada intervalo limitado por puntos de corte con los
ejes OX y los puntos que no estn en el dominio.
c) Estudio de la continuidad de la funcin, ramas infinitas y asntotas:
c.l. Discontinuidad evitable en a, si existe
c.2. Discontinuidad de salto en a, si existe
c.3. Asntotas verticales, tienen la forma si
c.4. Asntotas horizontales, tienen la forma si
c.5. Asntotas oblicuas, tienen la forma

c.6. Ramas parablicas, sern


EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

4. DERIVABILIDAD DE FUNCIONES

53

d) Estudio de la derivabilidad de la funcin, crecimiento y puntos crticos:


d.l. Puntos donde la funcin no es derivable, las derivadas laterales existen pero son distintas, esos puntos se llaman puntos
angulosos o picos.
d.2. Crecimiento, cuando f ' ( x ) > 0
f'(x)<0.

y decrecimiento, cuando

d.3. Puntos crticos, aquellos que son races de la ecuacin


f ' ( x ) = O, suponiendo que el punto crtico sea xo, calculamos la
definicin de la segunda derivada en dicho punto, y tendremos:

Si f(x0}> O, existe un mnimo local o relativo.

Si, f(x0) < O existe un mximo local o relativo.

Si f(x0) = O, calculamos la definicin de la siguiente derivada en el punto, si f'"(x0) * O, existe un punto de ensilladura (la tangente en dicho punto es horizontal).
Condicin suficiente de extremo:
( / e C n ( / j ) , siendo
f<n)(x0) *o, tenemos:
Si n es par, entonces,
existe un mnimo relativo
existe un mximo relativo

Si n es impar, entonces/no tiene extremo en x(i.

Teoremas relativos a crecimiento y puntos crticos

Si/es continua [a,b], en, entonces tiene un mximo o mni-

mo en, y

]a,b[, ocurre:

si f(c) es un valor mximo, entonces existe un mximo


relativo en l.

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

54

JOS LUIS BONNET JEREZ

si f ( c ) es un valor mnimo, entonces existe un mnimo


relativo en l.
Si/tiene extremo relativo en c, entonces c es un punto crtico.
Si fes continua en ]a,b[ y tiene un mximo (mnimo) en x(),
tendr un mximo (mnimo) en dicho punto.
entonces
Si tiene un mximo (mnimo) en x(}, g(x) y es una funcin
creciente, entonces tiene un mximo (mnimo) en x.(}.
Si tiene un mximo (mnimo) en x(], y es una funcin decreciente, entonces g o / tiene un mnimo (mximo) en x.(].
Si/es derivable en /, ocurrir:
- Si, f ' ( x ) > O , la funcin es creciente.
- Si, f ' ( x ) < O, la funcin es decreciente.
- Si, f ' ( x ) > O, la funcin es estrictamente creciente.
- Si, f ' ( x ) < O, la funcin es estrictamente decreciente.
d.4. Concavidad y convexidad:
Sea una funcin / .- A c SJ? -> 9?, donde existe hasta la derivada
de tercer orden en un punto x0 <E A , ocurrir:
La condicin necesaria y suficiente para que la funcin sea
cncava es que f"(x0)) > O, en este caso la grfica de la funcin quedar por debajo de la tangente a ella en el punto x(}.
La condicin necesaria y suficiente para que la funcin sea
convexa es que f"(x0)<0, en este caso la grfica de la funcin quedar por encima de la tangente a ella en el punto x().
d.5. Puntos de inflexin, La condicin necesaria y suficiente para
que la funcin tenga un punto de inflexin en x es que
f"(x0)) = 0.
e) Formalizacin de una tabla de valores, es conveniente en este tipo
de asignaturas la ordenacin de los datos que vamos obteniendo,
para lo cual se aconseja confeccionar una tabla con todos los valores que se van obteniendo: cortes con asntotas, puntos notables,
otros puntos de inters.
f) Trazado de la curva, para lo cual, comenzaremos dibujando las asntotas y sombreando las regiones. Despus situaremos los puntos
notables de la tabla confeccionada con anterioridad, y seguiremos
las trayectorias.

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

5. INTEGRACIN DE FUNCIONES REALES DE VARIABLE REAL


5.1. CLCULO DE PRIMITIVAS

a) Definicin
F(x) es primitiva def(x) en [a,b], s y slo si F'(x) = f ( x )
siendo f(x) una funcin contina sobre un intervalo conexo.
La primitiva general def(x) en [a,b], si F(x) + C = \f(x)dx, entonces,
df(x) = f ( x ) + C .
b) Propiedades
(propiedad lineal.

5.2. INTEGRALES INMEDIATAS


En este tipo de integrales, siempre debe de asociarse en el integrando,
una funcin con su derivada. Fundamentalmente existen cuatro casos:
a) Integral de tipo potencial:
b) Integral de tipo exponencial:

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

c) Integral de tipo logartmico:

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

56

JOS LUIS BONNET JEREZ

d) Integral de tipo arco o argumento: tienen la forma


puesto que la integral de tipo arco o argumento (arctg,
arcsen, arceos, argsh, argch,argth), es inmediata, habr que poner el polinomio de segundo grado de la forma (rx s)2 1, para lo cual se procede de la siguiente forma:
Multiplicar y dividir el integrando por
, en el primer caso, y
por 4 a, en el segundo.

De esta forma, el trmino en x2 y en x sern mltiplos de 4, podemos ponerlo como el cuadrado de un binomio: (nxm)2.
El desarrollo del binomio anterior no coincidir con el polinomio de
segundo grado dado en el integrando, entonces para que las dos
expresiones coincidan habr que sumar o restar la cantidad necesaria para que ambos coincidan: (nx m)2 p = ax2 +bx + c.
Como ltimo paso, hay que tener en cuenta que en la integracin
inmediata (ver tabla de integrales inmediatas), p- 7, portante, habr
que ajustar por constantes, el resultado obtenido a alguna de las
integrales inmediatas, y en consecuencia, habr que dividir numerador y denominador por J^, en el primer caso, o por p en la
segunda forma; por ltimo, hay que tener en cuenta que en el numerador debe figurar la derivada de (rx s), teniendo en cuenta que

5.3. MTODOS GENERALES DE INTEGRACIN


a) Descomposicin
Sea f ( x ) = f(x) + f2(x) + ... + f n ( x ) , entonces la integral resultante es:

b) Integracin por partes


Si F(x) = (;*) v(j), entonces F\x~) = u\x)v(x) + u(x)v\y)
tanto, integrando:
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

por

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

5. INTEGRACIN DE FUNCIONES

57

El problema de este mtodo es encontrar las funciones u(x) y v(x),


resultantes de la descomposicin dzf(x). Una estrategia til, es considerar la siguiente lista de funciones, con este orden determinado:
log anmicas inversas de trigonomtricas > a Ig ebraicas
-> trigonomtricas > exp onenciales
Si en un integrando coexisten alguna de estas funciones, asignaremos
la variable u(x) a la que aparezca en primer orden de la lista anterior, y
dv al resto. Hay que tener en cuenta que el mtodo se basa en conseguir
disminuir la complejidad de la integral. Es importante hacer notar que
con este mtodo se puede obtener la iteracin de integrales, es decir que
aparezca la integral objeto de estudio en los dos trminos, pero nunca se
anularn.
c) Integracin por sustitucin o cambio de variable
Si x = g(t) biyectiva (t = h(x) inversa) y derivable (g'(t) * O y conti-

nua), entonces f(x)dx = \f(g(t))g'(t)dt = F(t) + C = F(hW) + C


En este mtodo tambin es importante la eleccin de la funcin sobre
la que haremos el cambio de variable, de tal forma que, generalmente, si
en el integrando aparecen funciones exponenciales o inversas de trigonomtricas, sern las funciones que tendrn preferencia para asignarles la
nueva variable.
Hay que tener en cuenta que, al igual que en los dems mtodos, el cambio de variable est supeditado a que la nueva integral que aparece, en funcin de la nueva variable, sea o bien inmediata, o sea de resolucin ms fcil.
d) Obtencin de frmulas de reduccin
Se trata de obtener una relacin recurrente: f(in, in+>--Jn+P> n,x) = o,
en donde In = f(In-i> n> x) El mtodo empleado para obtener dicha relacin es la integracin por partes; de esta forma, a partir de una integral
cuyo integrando tiene orden n-simo, obtenemos otra integral con el orden
reducido una o ms unidades.
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

58

JOS LUIS BONNET JEREZ

e) Integracin de funciones racionales


segn la teora de la di vi-

Una funcin racional tiene la forma

sibilidad vista en el anexo II, en el conjunto de nmeros reales la divisin


de dicho cociente es:
Por tanto, la integral del primero ser:

Dependiendo del grado de los polinomios P(x) y Q(x), obtenemos los


siguientes casos:
1. Si, grado P(x) > grado Q(x) entonces resulta que:

dx tipo inmediata potencial

dx integral de tipo 3

2. Si, grado P(x) = grado Q(x) entonces resulta que:

C(x)dx integral tipo inmediata.

integral de tipo 3

3. Si grado P(x) < grado Q(x) entonces se factoriza Q(x) y se descompone

segn el tipo de races:

a) Descomposicin si existen races reales y simples (RRS)


Siendo a,b,c... las races reales del polinomio Q(x), la factorizacin
resultante sera
nador es:

y la descomposicin del denomisiendo A,

B,... coeficientes indeterminados que hay que calcular, entonces la


integral resultar:

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

5. INTEGRACIN DE FUNCIONES

59

todas las integrales son inmediatas de tipo logartmico.


b) Descomposicin si existen races reales mltiples (RRM)
Siendo a,b,c... las races reales mltiples del polinomio Q(x), con
grado de multiplicidad a, ft, y...
respectivamente, la
factorizacin resultante sera

y la descomposi-

cin del denominador es:

siendo A, A2,...Aa,...B,B2,...Bp,...,... coeficientes indeterminados que hay que calcular, entonces la integral resultar:

resultando todas las integrales de tipo inmediato logartmico y


potencial.
c) Descomposicin si existen races imaginarias simples (RIS)
Una raz imaginaria resultante de la factorizacin de un polinomio
ax2 +bx + c, tiene la forma a fii, que tambin se puede descomponer como, (x - a)2 + ft2, a,p e iR, y por tanto quedar como
y la descomposicin de la fraccin ser:
(Nota: es interesante operar
con el polinomio de segundo grado, en vez de hacerlo con su factorizacin correspondiente). Por tanto, se obtendr las integrales:

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

60

JOS LUIS BONNET JEREZ

Las integrales resultantes son inmediatas de tipo logartmico y de


tipo arcotangente.
d) Descomposicin si existen races imaginarias mltiples (RIM)
donde

La descomposicin resultar como


(x-a)2 + /32 tiene grado de multiplicidad
sicin de la fraccin ser:

la descompo-

Por tanto se obtendr las integrales:

Resultando integrales de tipo inmediato logartmicas, potenciales y


arcotangentes, y otras integrales que habr que calcular por los
mtodos de integracin.
e) Descomposicin de combinacin de alguna de los anteriores
En el caso en que de la factorizacin del denominador resulte la
combinacin de alguna de las anteriores, se proceder de igual
forma para cada una de las races.
f) Descomposicin de combinacin de races mltiples (imaginarias
o reales)
f.l) Reduccin: se procede a rebajar el grado de multiplicidad y
posteriormente se resuelve mediante integracin por partes.
f.2) Mtodo de Hermite: se obtiene la siguiente expresin:
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Q(x) un polinomio de grado n, de cuya factorizacin se


obtiene, en el caso ms general, races reales e imaginarias

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

5. INTEGRACIN DE FUNCIONES

61

mltiples (si existe alguna raz real e imaginaria simple, se


proceder de la misma forma), en donde la descomposicin

de

ser:

RRM:

raz a con grado

de multiplicidad
RIM:

de grado A.

M(X)=
U(x)= polinomio indeterminado de un grado menor que
M(x)

N(x)= (x-a)- [ax2 +bx + c\.

V(x)= polinomio indeterminado de un grado menor que


N(x)

g) Clculo de los coeficientes indeterminados


Para el clculo de los coeficientes indeterminados en todos los
casos enumerados anteriormente se procede de la siguiente forma:
Se deriva toda la expresin.
Se igualan ambos miembros, igualando primero los denominadores.
A igualdad de denominadores, se proceder a igualar los numeradores de los dos trminos. Resultar la igualdad de dos polinomios, en donde el polinomio de coeficientes indeterminados
tendr igual grado que P(x).
Por ltimo se formar un sistema resultante de igualar los coeficientes del polinomio respecto a la variable x, con los del polinomio indeterminado.
EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via

f) UNIVERSIDAD
Integracin
funciones
NACIONAL
ABIERTA Y A irracionales
DISTANCIA - UNAD algebraicas
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
1.
Si
tienen
la
forma:
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

62

JOS LUIS BONNET JEREZ

Se resuelven mediante un cambio de variable racional:


Donde M ser el mnimo comn mltiplo de los denominadores de los
exponentes.
2. Si tienen la forma:
resolver:
2.1) Cambio de variable trigonomtrico:
a. Si tiene la forma:

el cambio ser

b. Si tiene la forma:

el cambio ser

c. Si tiene la forma:

el cambio ser

se puede

sen(t)

2.2) Cambios de Euler:


a. si a > O, el cambio ser
b. si c > O, el cambio ser
c. si a < O, el cambio es

donde P es

raz real de ax +bx + c .

3. Si tienen la forma
puede resolver:

dx ; a,b,ce 9 entonces, se

a. Mtodo Alemn: se resuelve la siguiente expresin:


EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

siendo:

Copyright 2003. Digitalia. All rights reserved. May not be reproduced in any form without permission from the publisher, except fair uses permitted under U.S. or
applicable copyright law.

5. INTEGRACIN DE FUNCIONES

63

f(x) un polinomio indeterminado de un grado menor que M(x).


D una constante indeterminada, D e K.
Se obtendrn los coeficientes del polinomio indeterminado y la
constante D, por el mismo proceso que se utiliza en integracin
racional.
4. Otras formas:
, cambio:

el cambio ser:

siendo a, (3races reales de qx2 +rx + s .

Si a = q, b = r, c = s, el cambio ser: x = t
5. Si tienen la forma: \xm(a + bxn)pdx, Va,b e W, m,n,p e Q , a
estas integrales se les denomina Binomias y, en funcin de a, b,m,
n, p se resuelve por el siguiente procedimiento:
Realizar

el

cambio:

t = xn,

queda

la

expresin:

(a + bl)pdl, y por tanto resulta,


y en funcin de/? y q, tendremos los casos:
a. S i p e Z , y ^ e g , y entonces el cambio ser:
do s el denominador de p.

sien-

b. Si qeZ , y peQ , y entonces el cambio es:


siendo s el denominador de p.
c. Si p + qeZ entonces el cambio ser:
reduce al anterior.

EBSCO Publishing : eBook Collection (EBSCOhost) - printed on 9/6/2016 11:12 PM via


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
AN: 318092 ; Bonnet Jerez, Jose Luis.; Calculo infinitesimal : esquemas teoricos para
estudiantes de ingenieria y ciencia experimentales
Account: ns145102

se