1

Universidad Tecnolgica de Puebla

Ingeniera en Tecnologas de la Informacin y Comunicacin





Materia:
Matemticas para T.I.
7 Cuatrimestre














Colaboradores:

1. Lic. Jos Mauro Huerta Rivera
2. M.C. Erick Gastellou Hernndez
3. M.C. Jos David Alans Urquieta
4. Dr. Honorio Vera Mendoza



2
Septiembre Diciembre 2009
NDICE
CAPTULO 1 CLCULO DIFERENCIAL
1.1 Definicin de Funcin y Lmite.4
1.2 Lmites6
1.2.1 Lmite de una funcin6
1.2.2 Lmite de una funcin en un punto a.6
1.2.3 Lmite de una funcin en el infinito.9
1.3 Diferenciacin10
1.4 Manipulacin Algebraica12
1.4.1 Notacin...13
1.4.2 Derivadas Notables y Trascendentes14
1.5 Ejercicios16

CAPTULO 2 CLCULO INTEGRAL
2.1 La Integral.19
2.1.1 Teorema Fundamental del Clculo.....20
2.2 Mtodos de Integracin.21
2.2.1 Integracin Directa.....21
2.2.2 Mtodo de Integracin por Cambio de Variable...25
2.2.3 Mtodo de Integracin por Partes.....27
2.2.4 Mtodo de Integracin por Fracciones Parciales34
2.3 Integral Definida..43
2.4 Ejercicios de Integracin45

CAPTULO 3 SERIES DE FOURIER
3.1 Introduccin..52
3.2 Serie de Fourier52
3.2.1 Funciones Peridicas52
3.2.2 Definicin de Serie de Fourier55
3.3 Propiedades de las Funciones Seno y Coseno: Funciones Ortogonales..56
3.4 Evaluacin de los Coeficientes de Fourier.58
3.5 Aproximacin mediante Series de Fourier...66
3.6 La condicin de Dirichet.69

CAPTULO 4 TRANSFORMADA DE LAPLACE
4.1 Definicin.77
4.2 Propiedades...78
4.2.1 Parejas de Transformadas de Laplace.80
4.3 Uso de la Tabla de Parejas de Transformadas82
4.3.1 Transformad Inversa por Expansin en Fracciones Inversas.83








3


CAPTULO 5 GRAFOS Y RBOLES
5.1 Definicin de Grafo95
5.1.1 Definicin de Sub Grafo.95
5.1.2 Definicin de Trayectoria.96
5.1.3 Ciclo de Euler y Circuito Hamiltoniano ( de Hamilton).97
5.1.4 Representacin de Grafos en forma Matricial..99
5.1.5 Grafos Especiales.101
5.2 rboles102
5.2.1 Algoritmo de Kruskal.103
5.2.2 Algoritmo de Prim..104
5.2.3 rboles Enraizados.104
5.2.4 Algortimo de Busqueda en Primera Profundidad...105
5.2.5 Recorridos...106
5.2.5.1 Recorrido en Preorden..106
5.2.5.2 Recorrido Postorden...106
5.2.5.3 Recorrido Inorder..108
5.2.6 Cdigos Binarios..108
5.2.6.1 Algoritmo de Huffman109
5.2.7 Notacin Polaca112

BIBLIOGRAFA.113
















4




CLCULO DIFERENCIAL

1.1 DEFINICIN DE FUNCION Y LMITE

Una funcin es la relacin entre dos o ms conjuntos entre s; generalmente entre un conjunto denominado
dominio en relacin con otro conjunto denominado codominio, o bien dominio e imagen respectivamente o
dominio y rango de la funcin. Esta regla de asociacin no permite relacionar un mismo elemento del dominio
con dos elementos del codominio.


Figura 1. Definicin de funcin.
Se dice que f: A B (f es una funcin de A en B, o f es una funcin que toma elementos del dominio A y los
aplica sobre otro llamado codominio B).
Se dice que el dominio de una funcin son todos los valores que puede tomar el conjunto perteneciente al
dominio y que encuentra correspondencia en el conjunto llamado codominio, generalmente cuando se habla del
plano cartesiano, el dominio es el intervalo de valores que estn sobre el eje de las Xs y que nos generan una
asociacin en el eje de las Ys.

El otro conjunto que interviene en la definicin es el conjunto llamado codominio o rango de la funcin, en
ocasiones llamado imagen, este conjunto es la gama de valores que puede tomar la funcin; en el caso del
plano son todos los valores que puede tomar la funcin o valores en el eje de las Ys.

Tambin, cuando se grfica en el plano cartesiano se tiene una relacin de dos variables, considerando como
variable aquella literal que est sujeta a los valores que puede tomar la otra.





CAPITULO

5
VARIABLE INDEPENDIENTE.
Es aquella variable que no depende de ninguna otra para asumir diferentes cantidades a evaluar, por ejemplo x
puede ser una variable independiente.
VARIABLE DEPENDIENTE
Son aquellas cuyo valor se relaciona directamente con la cantidad obtenida por la evaluacin de la variable
independiente. Por ejemplo: f(x) =x, donde f(x) es la variable dependiente ya que est sujeta a los valores que
se le subministre a x.
CONSTANTE
Es aquella que no est en funcin de ninguna variable y siempre tiene el mismo valor ejemplo: y = 2, la
constante gravitacional, entre otras.
Generalmente en la notacin de funciones f (x) se emplea para designar una funcin de x, y se lee f de x. Con el
objeto de distinguir entre diferentes funciones se cambia la letra inicial, como en F (x), | (x), f (x), etc.
Una funcin puede definirse mediante una expresin verbal, una tabla, una frmula o una grfica. En general
trabajaremos con funciones expresadas mediante una frmula o expresin analtica y su grfica. Segn la
expresin analtica clasificamos las funciones de la siguiente forma:

Intervalos y entornos:
Definimos sobre la recta real:

El conjunto [a,b] se llama intervalo cerrado y (a,b) se llama intervalo abierto. En cualquiera de los casos b-a
se llama longitud del intervalo.

1.2 LMITE


6
Se dice que la variable v tiende a la constante l como lmite, cuando los valores sucesivos de v son tales que el
valor numrico de la diferencia v l puede llegar a ser, finalmente, menor que cualquier nmero positivo
predeterminado tan pequeo como se quiera.
La relacin as definida se escribe lm v = l. Por conveniencia se utiliza la notacin v l, que se leer
v tiende hacia el lmite l o bien v tiende a l.
1.2.1 LMITE DE UNA FUNCIN
Dentro de las aplicaciones de lmite: Se tiene una variable v y una funcin dada z de v, y supone que la variable
v recibe valores tales que v l, Tenemos que examinar entonces los valores de la variable dependiente z e
investigar, particularmente, si z tiende tambin a un lmite. Si efectivamente existe una constante a tal que
lm z = a, entonces se expresa esta relacin escribiendo:

Y se leer: el lmite de z, cuando v tiende a l, es a.
Por ejemplo:

()) ( )
1.2.2 LMITE DE UNA FUNCIN EN UN PUNTO "a"

Suponemos que el punto "a" es un punto de acumulacin del dominio de definicin de la funcin. La
aproximacin a "a" podemos realizarla tanto por la izquierda como por la derecha.




7



Ejemplo: Una funcin tpica en anlisis es:

Esta funcin no est definida en el punto x =1. Para este valor de x, el denominador de la funcin es 0, y no
tiene sentido en matemticas dividir por 0. El valor al que esta funcin se aproxima, cuando x tiendea 1 por la
izquierda o por la derecha, es 2. Luego la funcin tiene lmite cuando x se aproxima a 1; el lmite es 2.
Escribimos:

Cuando los valores que asignamos a x se aproximan a 1, el valor que toma la funcin se aproxima a 2. No
obstante cuando asignamos a x el valor de 1, como el denominador se hace 0, no existe el valor de la funcin.
Es decir 1 no pertenece al dominio de definicin de la funcin.


Pero 1, s es un punto de acumulacin del dominio de definicin de la funcin y la funcin tiene lmite cuando x
tiende a 1 , aunque no exista en x=1.

Lmites laterales


8
El lmite lateral por la izquierda de una funcin y=f(x) en el punto x =a es el valor al que se aproxima f(x)
cuando x se aproxima al valor de a por valores menores que a. Lo representamos por:



El lmite lateral por la derecha de una funcin y = f(x) en el punto x =a es el valor al que se aproxima f(x)
cuando x se aproxima al valor de a por valores mayores que a. Lo representamos por:

Ejemplo:




1.2.3 LMITE DE UNA FUNCIN EN EL INFINITO

El lmite de una funcin y = f(x), cuando x , es el valor L, al que se aproxima f(x) cuando x se aproxima
a , representado por:

()
El lmite de una funcin y = f(x), cuando x +, es el valor L, al que se aproxima f(x) cuando x se aproxima
a +. Lo representamos por:

9

()
Ejemplo:

1.3 DIFERENCIACIN

La terminologa diferenciacin manifiesta el coeficiente en que una cantidad y cambia a consecuencia de un
cambio en otra cantidad x con la que tiene una relacin funcional. Usando el smbolo para referirse al
cambio en una cantidad, se define este coeficiente como un lmite del cociente.


Cuando x se aproxima a 0. En la notacin de Leibniz, se escribe la derivada de y con respecto a x.



Esto sugiere la razn de dos cantidades infinitesimales.
En el lenguaje matemtico contemporneo, se refiere a cantidades dependientes y declara simplemente que la
diferenciacin es una operacin matemtica de funciones. La definicin precisa (esta tambin refiere a
cantidades infinitesimales) parte de un cociente de diferencias:

Luego a la variable h del cociente anterior se la hace tender a 0, por medio de un lmite. Finalmente, queda
constituida de la siguiente manera la derivada:

10

Ejemplo
Consideremos la siguiente funcin:


Entonces:




Esta funcin es constante, para cualquier punto de su dominio vale 5 (por eso f ( x+h ) = 5 ). Ntese el ltimo
paso, donde h tiende a cero pero no lo toca. Si pensamos un poco, observaremos que la derivada adems de ser
la pendiente de la recta tangente a la curva, es a la vez, la recta secante a la misma curva.
Ejemplo
Consideremos la grfica de . Esta recta tiene una pendiente igual a 2 en cada punto. Utilizando
el cociente mostrado arriba (junto a los conceptos de lmite, secante, y tangente) podremos determinar las
pendientes en los puntos 4 y 5:

Entonces:








Y vemos que se cumple para cualquier nmero n:




Por tanto, se deduce que el valor de la funcin derivada de una recta es igual a la pendiente de la misma.
Ejemplo

11
Mediante esta diferenciacin, se puede calcular la pendiente de una curva. Consideremos que:
Entonces:





Para cualquier punto x, la pendiente de la funcin es .
1.4 MANIPULACIN ALGEBRAICA
Los clculos de lmites pueden ser evitados en ciertos casos, si se usan las reglas de diferenciacin. stas
permiten encontrar las derivadas a travs de una manipulacin algebraica, en vez de recurrir a la aplicacin
directa del cociente diferencial de Newton. Sin embargo, no se debera inferir que la definicin de las derivadas,
en trminos de lmites, es innecesaria. En cambio, esa definicin nos da los medios para demostrar las
poderosas "reglas de diferenciacin" que han sido derivadas del cociente diferencial.
- Regla de la constante: La derivada de cualquier constante es cero.
o Regla de la multiplicacin por una constante:
Si c es cualquier nmero real, entonces la derivada de cf(x), es igual a c multiplicado por la derivada
de f(x). Esto es una consecuencia de la linealidad, que se ver ms adelante.
- Linealidad:
para todas las funciones f y g y todos los nmeros reales
a y b.
- Regla general de la potencia (Regla del polinomio):
Si , para todo r real,
Entonces
- Regla del producto:
para todas las funciones f y g.
- Regla del cociente:
si g es diferente de cero.
- regla de la cadena:
Si ,

12
Entonces .
1.4.1 NOTACIN
Existen diversas formas para nombrar a las derivadas. Si f es una funcin, se escribe la derivada de la funcin f
al valor x en varios modos:
- {Notacin de Lagrange}
Se lee "f primo"
- o {Notacin de Cauchy}
Se lee "d sub x de f", y
- { Notacin de Newton}
Se lee "punto x" o "x punto".
DERIVADAS ALGEBRAICAS


13

1.4.2 DERIVADAS NOTABLES y TRASCEDENTES
- Para las funciones logartmicas:


La derivada de e elevado a x es e elevado a x.


La derivada del logaritmo natural (ln) de x es 1 partido por x.
- Para las funciones trigonomtricas

La derivada del seno de x es el coseno de x.

La derivada del coseno x es menos seno de x.

La derivada de la tangente de x es la secante al cuadrado de x.

La derivada de la cosecante de x es el producto de menos cosecante de x por la cotangente de x.

La derivada de la secante de x es el producto de la secante de x por la tangente de x.

La derivada de cotangente de x es menos cosecante al cuadrado de x.

DERIVADAS TRANSCENDENTES

14




15


1.5 EJERCICIOS
I. Demostrar los siguientes lmites:

4 4
2
. 3
2
1 2
. 2
2
2
2
2
2
1
+


+

x x
x x
x x
x x
lm
lm
x
x

x x x
x
x x
x
lm
lm
x
x
+

+ +


2
2
4
1 2
. 5
1
3
. 4



16
x
x x
x x
x x x
lm
lm
x
x
+

+ +

1 1
2
6 2 4
. 6
. 7
0
2
2 3
0

2
0
5 25
. 8
x
x
lm
x
+

II. Realizar las siguientes derivadas:
1.- x
b a
x
b a
x
y

+
=
2 5
Sol: 1
2 5
4

+ b a
x
b a
x


2.-
x
x x y
1
3
3
+ + = Sol:
2
3 2
1
3
1
2
3
x
x
x
+

3.- ( ) ( )
2 3
2 1 4 1 x x y + + = Sol: ( )
3
10 3 1 4 x x x + +

4.-
2 2
a x y + = Sol:
2 2
a x
x
+

5.-
x
x
y

+
=
1
1
Sol:
( )
2
1 1
1
x x


6.-
|
|
.
|

\
|

+
=
2
2
1
1
ln
x
x
y Sol:
4
1
4
x
x

7.- x y
3
ln = Sol:
x
x
2
ln 3


8.-
x
sinx
y
2
cos 2
= Sol:
x
x sin
3
2
cos 2
1

+



17
9.-
5 4 +
=
x
e y Sol:
5 4
4
+

x
e

10.-
|
|
.
|

\
|
+
=
x
x
e
e
y
1
ln Sol:
x
e + 1
1


11.-
x
x y = Sol: ( ) 1 ln + x x
x


12.- ( )
x
sinx y
tg
= Sol: ( ) ( ) sinx Ln x sinx
x
+
2 tg
sec 1

13.- ( ) 1 arctg
2
+ = x y Sol:
( )
2
2
1 1
2
+ + x
x


















CAPITULO

18


CLCULO INTEGRAL

2.1 LA INTEGRAL
El clculo consta de dos partes principales, llamadas clculo diferencial y clculo integral, el diferencial est
basado en la derivada, mientras el integral est basado en la integral definida. Uno de los conceptos ms
importantes es el teorema fundamental del clculo, el cul muestra la estrecha relacin entre el clculo
diferencial e integral.
El Clculo Integral se origin, para resolver el problema de calcular el rea de una regin en el plano.
Empecemos con el siguiente problema: dada una funcin y=f(x) y un intervalo [a,b], Cul es el valor del rea
entre la grfica de f(x), el eje horizontal, y las rectas x=a, y x=b?
Graficaremos una funcin en un intervalo [a,b] y se mostrar el rea contenida entre su grfica y el eje x en el
intervalo dado. Observa la siguiente grfica.
f(x) = x
2
+ 1 ; en el intervalo cerrado [1,5]

Dada una funcin f(x) > 0 en un intervalo [a,b], para encontrar el rea bajo la curva procedemos como sigue:
Hacemos una particin (dividimos) del intervalo [a,b] en n-subintervalos iguales de longitud Ax = (b-a) / n.
Esta ser la longitud de la base de cada uno de los n rectngulos.
En cada subintervalo escogemos un valor especial de x para evaluar la funcin. A este valor lo denotamos como
x* y entonces f(x*) es la altura del rectngulo en ese subintervalo.
Ahora sumamos las reas de los n rectngulos. El rea de los n rectngulos es entonces:
,(

)()-

A la sumatoria anterior se le conoce como SUMATORIA DE RIEMANN.
Definimos el rea bajo la curva como:

Lmite de la sumatoria de Riemann cuando n tiende a Infinito.


19
Definicin de antiderivada o primitiva
Se dice que una funcin F es una antiderivada o primitiva de f, en un intervalo I si F (x) = f(x) para todo x
en I .
La operacin se indica escribiendo el signo integral delante de la expresin diferencial dada, as:

() ()
La diferencial dx indica que x es la variable de integracin. Por ejemplo:
Si ()

, entonces

()

, y:

El valor del lmite de la suma de Riemann cuando ||P|| 0 (lo cual implica n Infinito), si este existe, se le
llama Integral definida de f(x) en el intervalo [a,b].

As:
()

[(

2.1.1 TEOREMA FUNDAMENTAL DEL CLCULO
Sea f(x) una funcin continua en el intervalo abierto que contiene al nmero a y b.
Sea:
() ()

Entonces
A'(x)=f(x)


El teorema anterior nos dice que A(x) es una antiderivada de f(x), puesto que A'(x)=f(x). Sabemos que dos
antiderivadas de una misma funcin difieren en una constante. Entonces, si F(x) es otra antiderivada de f(x),
debemos tener que F(x)-A(x)=C (constante).
Si evaluamos la expresin anterior en x=a, entonces F(a)-A(a) = C. Pero A(a)=0, porque sera el rea desde el
valor inicial hasta el valor inicial, entonces C=F(a).
Por lo tanto F(x)-A(x)=F(a). Evaluando ahora esta ltima expresin en x=b, tenemos que F(b)-A(b)=F(a),
teniendo finalmente que:


20
A(b)=F(b)-F(a), es decir:
() () ()

2.2 MTODOS DE INTEGRACIN
Se entiende por mtodos de integracin cualquiera de las diferentes tcnicas elementales usadas para calcular
una antiderivada o integral indefinida de una funcin. Por ejemplo: Integracin directa, integracin por cambio
de variable, integracin por partes, integracin por sustitucin trigonomtrica e integracin por fracciones
parciales.
As, dada una funcin f(x), los mtodos de integracin son tcnicas cuyo uso (usualmente combinado) permite
encontrar una funcin F(x) tal que:

Lo cual, por el teorema fundamental del clculo equivale a hallar una funcin F(x) tal que f(x) es su derivada:
.
2.2.1 INTEGRACIN DIRECTA
En ocasiones es posible aplicar la relacin dada por el teorema fundamental del clculo de forma directa. Esto
es, si se conoce de antemano una funcin cuya derivada sea igual a f(x) (ya sea por disponer de una tabla de
integrales o por haberse calculado previamente), entonces tal funcin es el resultado de la antiderivada.


INTEGRALES DIRECTAS


21



22





23




Ejemplo

24
Calcular la integral .
En una tabla de derivadas se puede comprobar que la derivada de tan(x) es sec
2
(x) bien en las tablas
anteriores. Por tanto:

Ejemplo
Calcular la integral
Una frmula estndar sobre derivadas establece que

De este modo, la solucin del problema es:
.
2.2.2 MTODO DE INTEGRACIN CAMBIO DE VARIABLE
El mtodo de integracin por sustitucin o por cambio de variable se basa en realizar un reemplazo de
variables adecuado que permita convertir el integrando en algo sencillo con una integralo antiderivada simple.
En muchos casos, donde las integrales no son triviales, se puede llevar a una integral de tabla para encontrar
fcilmente su primitiva. Este mtodo realiza lo opuesto a la regla de la cadena en la derivacin.
Procedimiento prctico
Supongamos que la integral a resolver es:

Ahora necesitamos sustituir tambin para que la integral quede slo en funcin de :
Tenemos que por tanto derivando se obtiene



Se despeja

25

y se agrega donde corresponde

Simplificando:

Debemos considerar si la sustitucin fue til y por tanto se lleg a una forma mejor, o por el contrario empeor
las cosas. Luego de adquirir prctica en esta operacin, se puede realizar mentalmente. En este caso qued de
una manera ms sencilla dado que la primitiva del coseno es el seno.
Ms ejemplos de cambio de variable:




2.2.3 MTODO DE INTEGRACIN POR PARTES

26
El mtodo de integracin por partes es el que resulta de aplicar el siguiente teorema:

.
Eligiendo adecuadamente los valores de y , puede simplificarse mucho la resolucin de la integral.
- Cuando aplicamos la formula hay que elegir u y dv en el integrando. Si la nueva integral es ms
complicada que la de partida debemos cambiar u y dv.
- Algunas veces hay que repetir la integracin por partes varias veces, integrales sucesivas.
- Cuando al hacer integrales sucesivas obtenemos, en el segundo miembro una integral igual que la
de partida, se despeja la integral para obtener una primitiva
Este mtodo es til para el clculo de integrales del siguiente tipo:

Ejemplos de integrales indefinidas

1.
}
dx x
5

k
x
k
x
dx x + = +
+
=
+
} 6 1 5
6 1 5
5


2.
}
+ dx x x ) (
= + + = + + = +
+
+
+
= + = +
+
+
} }
k
x x
k
x x
k
x x
dx x x dx x x
3
2
2
2
3
2
1
2
1
1 1
) ( ) (
3 2
2
3
2
1
2
1
1 1
2 / 1


27
k
x x x
+ + =
3
2
2
2

3. dx
x x
x
}
|
|
.
|

\
|

4
3
Sol: k x x x +
2
10
1
6
= + = +
+

+
= =
|
|
.
|

\
|

+ +

} }
k
x x
k
x x
dx x x dx
x x
x
2
5
4
1
2
1
3
1
2
3
4
1
1
2
1
3 )
4
1
3 (
4
3
2
5
2
1
1
2
3
1
2
1
2
3
2
1

k x x x k
x
x + = + =
2
5
10
1
6
5 2
1
6
4.
}
x
dx x
2
Sol: k x x +
2
5
2

k
x x
k
x
k
x
k
x
dx x dx
x
x
x
dx x
+ = + = + = +
+
= = =
+
} } }
5
2
5
2
2
5
1
2
3
2 5
2
5
1
2
3
2
3
2
1
2 2

5. dx
x x x
}
|
.
|

\
|
+ + 2
4 1
2
Sol: k x
x x
+ + 2
8 1

= + +
+
+
+
= + + = |
.
|

\
|
+ +
+
+

} }
k x
x x
dx x x dx
x x x
2
1
2
3
4
1 2
) 2 4 ( 2
4 1
1
2
3
1 2
2
3
2
2

k x
x x
k x
x
x
k x
x x
+ + = + + = + +

2
8 1
2
1
8
1
2
2
1
4
1
2
1
2
1
1

6.
}
4
x
dx
Sol: k x +
4 3
3
4

k x k
x
k
x
k
x
dx x
x
dx
+ = + = + = +
+
= =
+

} }
4 3
4
3
4
3
1
4
1
4
1
4
3
4
3
4
4
3
1
4
1



28
7. dx
x
x
2
3
2
1
}
|
.
|

\
|
+ Sol: k x x x
x
+ + +
3 3 2 2
5
3
4
3
5

= + + + = + + =
|
|
.
|

\
|
+ =
|
|
.
|

\
|
+
} } }

K
x x x
dx x x x dx x x dx
x
x
3
1
3
8
2
5
). 2 (
1
3
1
3
8
5
3
2
3
5
4
2
3
1
2
2
3
2


= + + + = + + + = K x x x K x x x
3 3 8 5
3
1
3
8
5
. 3
4
3
5
1
. 3
4
3
5
1

K x x x x + + + =
3 3 2 2 5
. 3 .
4
3
5
1

8. dx
x
x L

}
Sol: k x L +
2
2
1

k
x
dx f f dx
x
x dx
x
x
+ =
)
`

= =
} } } 2
)) (Ln(
'
1
) Ln(
) Ln(
2
o

9.
}
dx x x
2
sec tg Sol: k x+ tg
2
1
2

k
x
dx f f dx x x + =
)
`

=
} } 2
) tg (
' sec tg
2
1 2

10.
}
dx x x cos sen
2
Sol: k
x
+
3
sen
3

k
x
dx f f dx x x + =
)
`

==
} } 3
sen
' cos sen
3
2 2

11. dx x x
}
sen cos
3
Sol: k
x
+
4
cos
4

k
x
dx x x dx x x
f f
+ = =
} }
4
cos
) sen ( cos sen cos
4
'
3 3
3





29
12. dx x x +
}
1
2
Sol: k x + +
3 2
) 1 (
3
1

k
x
k
x
dx x x dx x x
f
f
+
+
= +
+
= + = +
} }
3
) 1 (
2
3
) 1 (
2
1
) 1 ( 2
2
1
1
3 2
2
3
2
2
1
2
'
2
2 / 1


13.
}
+ 3 2
2
x
xdx
Sol: k x + + 3 2
2
1
2

k x k
x
dx x x
x
xdx
f
f
+ + = +
+
= + =
+
} }

3 2
2
1
2
1
) 3 2 (
4
1
) 3 2 ( 4
4
1
3 2
2
2
1
2
2
1
2
'
2
2 / 1

o
k x k f dx
f
f
x
xdx
x
xdx
+ + =

+ = =
+
=
+
} } }
3 2
2
1
2
'
3 2 2
4
4
2
3 2
2
2 2

14.
}
+1
3
2
x
dx x
Sol: k x + +1
3
2
3

k x k
x
dx x x dx x x
x
dx x
+ + = +
+
= + = + =
+
} } }

1
3
2
2
1
) 1 (
3
1
) 1 ( 3
3
1
) 1 (
1
3
2
1
3
2
1
3 2
2
1
3 2
3
2

k x k f dx
f
f
x
dx x
x
dx x
+ + =

+ = =
+
=
+
} } }
1
3
2
2
'
1 2
3
3
2
1
3
3
2
3
2

15. dx
x
x
}

sen
cos
2
Sol: k
x
+
sen
1

k
x
k
x
dx x x dx
x
x
f
f
+ = +

= =

} }

sen
1
1
sen
sen cos
sen
cos
1
2
'
2
2


16.
}
+ dx x x
4 2
) 1 ( Sol: k
x
+
+
10
) 1 (
5 2

k
x
k
x
dx x x dx x x
f
f
+
+
= +
+
= + = +
} }
10
) 1 (
5
) 1 (
2
1
) 1 ( 2
2
1
) 1 (
5 2 5 2
4 2
'
4 2
4



30
17. dx
x
x

}
3
cos
sen
Sol: k
x
+
2
cos 2
1

k
x
k
x
dx x x dx
x
x
f
f
+ = +

= =

} }

2
2
3
'
3
cos 2
1
2
cos
cos sen
cos
sen
3


18. dx
x
x

}
2
cos
tg
Sol: k
x
+
2
tg
2

k
x
dx
x
x dx
x
x
f
f
+ = =
} }
2
tg
cos
1
tg
cos
tg
2
'
2 2
1

19. dx
x
x

}
2
sen
cotg
Sol: k
x
+
2
cotg
2

k
x
dx
x
x dx
x
x
+ =

=
} } 2
cotg
sen
1
cotg
sen
cotg
2
2 2

20. dx
x x

}
1 tg cos
1
2
Sol: k x + 1 tg 2
k x k
x
dx x
x
dx
x x
+ = +

= =

} }
1 tg 2
2
1
) 1 tg (
) 1 tg (
cos
1
1 tg cos
1
2
1
2
1
2 2


Por el mtodo de integracin por partes:
21.
}
dx xe
x
Sol: k x e
x
+ ) 1 (
Por el mtodo de integracin por partes:
k e x k e xe dx e xe
e v dx e dv
dx du x u
dx xe
x x x x x
x x
x
+ = + = =
)
`

= =
= =
=
} }
) 1 (
22.
}
+ = dx e x x I
x
) 5 3 (
2
Sol: k x x e
x
+ + ) 10 5 (
2

Por el mtodo de integracin por partes:

31
=
)
`

= =
= + =
= + =
}
x x
x
e v dx e dv
dx x du x x u
dx e x x I
) 3 2 ( 5 3
) 5 3 (
2
2

2
( 3 5) (2 3)
x x
x x e e x dx = + =
}

La integral que nos ha quedado es del mismo tipo que la que pretendemos calcular, por lo que nuevamente
aplicaremos el mtodo de integracin de partes:
Hacemos
)
`

= =
= =
x x
e v dx e dv
dx du x u 2 3 2
y sustituimos:
=
(

+ = + =
} }
dx e e x e x x dx x e e x x I
x x x x x
2 3 2 ( ) 5 3 ( ) 3 2 ( ) 5 3 (
2 2

= + + + = + + =
}
k e e x e x x dx e e x e x x
x x x x x x
2 ) 3 2 ( ) 5 3 ( 2 ) 3 2 ( ) 5 3 (
2 2

| | k x x e k e x x x
x x
+ + = + + + = ) 10 5 ( 2 ) 3 2 ( ) 5 3 (
2 2





23.
}
dx x x ) Ln( Sol: k x x + |
.
|

\
|

2
1
) ( Ln
2
1
2

Por el mtodo de integracin por partes:
= =

= =
= =
=
} }
dx
x
x x x
x v xdx dv
dx
x
du x u
dx x x
1
2
1
) Ln(
2
1
2
1
1
) Ln(
) Ln(
2 2
2

k x x k x x x dx x x x + |
.
|

\
|
= + = =
}
2
1
) Ln(
2
1
2
1
2
1
) Ln(
2
1
2
1
) Ln(
2
1
2 2 2 2


32
24.
}
dx x) Ln( Sol: ( ) k x x + 1 ) ( Ln
Por el mtodo de integracin por partes:
= =

= =
= =
=
} }
dx
x
x x x
x v dx dv
dx
x
du x u
dx x
1
) Ln(
1
) Ln(
) Ln(
( ) k x x k x x x dx x x + = + = =
}
1 ) Ln( ) Ln( ) Ln(
25.
}
dx x xsen Sol: k x x x + cos sen
Por el mtodo de integracin por partes:
= =
)
`

= =
= =
=
} }
dx x x x
x v dx x dv
dx du x u
dx x x cos cos
cos sen
sen
k x x x dx x x x + + = + =
}
sen cos cos cos


26.
}
dx x x
2
cos Sol:
k x x x
x
+ + + 2 cos
8
1
2 sen
4
1
4
2

Por el mtodo de integracin por partes, hacemos dx du x u = = y xdx dv
2
cos =
Para calcular el valor de v recurrimos a las razones trigonomtricas del ngulo mitad y tendremos que
2
2 cos 1
cos
2
x
x
+
= . Por tanto,
) 2 sen
2
1
(
2
1
) 2 cos 1 (
2
1
2
2 cos 1
cos
2
x x dx x dx
x
xdx v + = + =
+
= =
} } }

En consecuencia:
= + + =
} }
dx x x x x x dx x x ) 2 sen
2
1
(
2
1
) 2 sen
2
1
(
2
1
cos
2


33
= +
|
|
.
|

\
|
+ = + + =
}
k x
x
x x x dx x x x x x 2 cos
4
1
2 2
1
) 2 sen
2
1
(
2
1
) 2 sen
2
1
(
2
1
) 2 sen
2
1
(
2
1
2
2 2

k x x x
x
k x
x
x x x + + + = + + + = 2 cos
8
1
2 sen
4
1
4
2 cos
8
1
4
2 sen
4
1
2
1
2 2
2

27.
}

xdx e
x
cos Sol: k x x e
x
+

) cos sen (
2
1

= =
)
`

= =
= =
= =
} }

xdx e x e
x v xdx dv
dx e du e u
xdx e I
x x
x x
x
sen sen
sen cos
cos
}

+ = xdx e x e
x x
sen sen
Al aplicar el mtodo de partes nos ha quedado una integral del mismo tipo que la que pretendemos
calcular, por lo que volvemos a aplicar el mismo mtodo. En ella hacemos:
sen cos
x x
u e du e dx
dv x dx v x

= =
= =


Sustituyendo en la expresin anterior nos queda:
=
(

+ = + =
} }

dx e x e x x e xdx e x e I
x x x x x
) ( cos cos sen sen sen
}

= dx e x e x x e
x x x
cos cos sen
es decir, volvemos a la misma integral que pretendemos calcular. Entonces:
(sen cos )
sen cos 2 sen cos
2
x
x x x x
e x x
I e x x e I I e x x e I



= = =

En consecuencia:
k
x x e
xdx e I
x
x
+

= =

} 2
) cos (sen
cos

34
2.2.3 MTODO DE INTEGRACIN POR FRACCIONES PARCIALES
28.
}


dx
x x
x
) 2 )( 1 (
1 2
Sol:
3
( 2)
Ln
1
x
k
x

Tenemos una integral de tipo racional donde el grado del numerador es menor que el grado del
denominador. Vamos a descomponer el integrando en fracciones simples:

=
=
=
2
1
0 ) 2 )( 1 (
x
x
x x (races reales simples)
Entonces:
) 2 )( 1 (
) 1 ( ) 2 (
2 1 ) 2 )( 1 (
1 2

+
=

=


x x
x B x A
x
B
x
A
x x
x

Vamos a calcular los coeficientes indeterminados. Al ser los denominadores iguales, los numeradores
tambin lo sern. Por tanto:

= = =
= = =
+ =
3 3 2
1 1 1
) 1 ( ) 2 ( 1 2
B B x
A A x
x B x A x

Por tanto,
=

= |
.
|

\
|

=


} } } }
dx
x
dx
x
dx
x x
dx
x x
x
2
1
3
1
1
2
3
1
1
) 2 )( 1 (
1 2

3
( 2)
Ln ( 1) 3 Ln ( 2) Ln
1
x
x x k k
x

= + + = +

29.
}
+ + + ) 5 )( 3 )( 1 ( x x x
xdx
Sol:
6
5
1 ( 3)
Ln
8 ( 1)( 5)
x
k
x x
+
+
+ +

Tenemos una integral de tipo racional donde el grado del numerador es menor que el grado del
denominador. Vamos a descomponer el integrando en fracciones simples:

=
=
=
= + + +
5
3
1
0 ) 5 )( 3 )( 1 (
x
x
x
x x x (races reales simples)

35
Entonces:
=
+
+
+
+
+
=
+ + + 5 3 1 5 )( 3 )( 1 ( x
C
x
B
x
A
x x x
x

) 5 )( 3 )( 1 (
) 3 )( 1 ( ) 5 )( 1 ( ) 5 )( 3 (
+ + +
+ + + + + + + +
=
x x x
x x C x x B x x A

Para calcular los coeficientes indeterminados, al ser los denominadores iguales, los numeradores tambin lo
sern. Por tanto:

= = =
= = =
= = =
+ + + + + + + + =
8
5
8 5 5
4
3
4 3 3
8
1
8 1 1
) 3 )( 1 ( ) 5 )( 1 ( ) 5 )( 3 (
C C x
B B x
A A x
x x C x x B x x A x




Por tanto,
=
|
|
|
|
.
|

\
|
+

+
+
+
+

=
+ + +
} }
dx
x x x x x x
xdx
5
8
5
3
4
3
1
8
1
) 5 )( 3 )( 1 (

= + + + + + =
+

+
+
+
=
} } }
k x x x dx
x
dx
x
dx
x
) 5 ( Ln
8
5
) 3 ( Ln
4
3
) 1 ( Ln
8
1
5
1
8
5
3
1
4
3
1
1
8
1

( ) k
x x
x
k x x x +
+ +
+
= + + + + + =
5
6
) 5 )( 1 (
) 3 (
Ln
8
1
) 5 ( Ln 5 ) 3 ( Ln 6 ) 1 ( Ln
8
1


30.
}

+
dx
x x
x x
4
8
3
4 5
Sol:
3 2 2 5
3
( 2)
4 Ln
3 2 ( 2)
x x x x
x k
x

+ + + +
+


36
Al ser el grado del numerador mayor que el grado del denominador, antes de aplicar el mtodo de
descomposicin en fracciones simples tendremos que dividir. De esta forma obtenemos:
5 4 2
2
3 3
8 4 16 8
4
4 4
x x x x
x x
x x x x
+ +
= + + +


En consecuencia:
5 4 2
2
3 3
8 4 16 8
( 4)
4 4
x x x x
dx x x dx dx
x x x x
+ +
= + + + =
} } }


3 2 2
3
4 16 8
4
3 2 4
x x x x
x dx
x x
+
= + + +
}

A la integral que nos queda le aplicamos el mtodo de descomposicin en fracciones simples. Calculamos
las races del denominador:
3 2
0
4 0 ( 4) 0
2
x
x x x x
x
=
= =

=

Entonces:
2
3
4 16 8 ( 2)( 2) ( 2) ( 2)
4 2 2 ( 2)( 2)
x x A B C A x x Bx x Cx x
x x x x x x x x
+ + + + +
= + + =
+ +

Como los denominadores son iguales, los numeradores tambin lo sern; por tanto:
2
4 16 8 ( 2)( 2) ( 2) ( 2) x x A x x Bx x Cx x + = + + + +
Calculamos los coeficientes indeterminados: le vamos asignando los valores de las races
0 8 4 2
2 40 8 5
2 24 8 3
x A A
x B B
x C C
= = =
= = =
= = =

Por tanto, la fraccin descompuesta en fracciones simples nos queda:
2
3
4 16 8 2 5 3
4 2 2
x x
x x x x x
+
= +
+

La integral de la funcin pedida ser:

37
5 4 3 2 2
3 3
8 4 16 8
4
4 3 2 4
x x x x x x
dx x dx
x x x x
+ +
= + + + =
} }


3 2
2 5 3
4
3 2 2 2
x x
x dx
x x x
| |
= + + + +
|
+
\ .
}

3 2
2 5 3
4
3 2 2 2
x x
x dx dx dx
x x x
= + + + + =
+ } } }

3 2
1 1 1
4 2 5 3
3 2 2 2
x x
x dx dx dx
x x x
= + + + + =
+ } } }

3 2
4 2 Ln | | 5 Ln | 2| 3 Ln | 2|
3 2
x x
x x x x k = + + + + + + =
3 2 2 5
3
( 2)
4 Ln
3 2 ( 2)
x x x x
x k
x

= + + + +
+

31.
}
+ ) 2 )( 1 (
2
4
x x
dx x
Sol:
2
3
1 ( 1) 16
2 Ln Ln | 2|
2 6 ( 1) 3
x x
x x k
x

+ + + +
+

Como el grado del numerador es mayor que el del denominador, tenemos que dividir, obteniendo:
4 2
2 2
5 4
2
( 1)( 2) ( 1)( 2)
x x
x
x x x x

= +
+ +

Con lo que
4 2 2 2
2 2 2
5 4 5 4
( 2) 2
( 1)( 2) ( 1)( 2) 2 ( 1)( 2)
x dx x x x
x dx dx x dx
x x x x x x

= + = +
+ + + } } } }

y tendremos que integrar la funcin racional que nos queda, donde el grado del numerador es menor que el
grado del denominador.

Descomponemos en fracciones simples:
2
2 2
5 4 ( 1)( 2) ( 1)( 2) ( 1)( 1)
( 1)( 2) 1 1 2 ( 1)( 2)
x A B C A x x B x x C x x
x x x x x x x
+ + + + + +
= + + =
+ + + +

Como los denominadores son iguales, tambin lo sern los numeradores. Entonces:

38
2
5 4 ( 1)( 2) ( 1)( 2) ( 1)( 1) x A x x B x x C x x = + + + + + +
Calculamos los coeficientes indeterminados:
1
1 1 6
6
1
1 1 2
2
16
2 16 3
3
x A A
x B B
x C C
= = =
= = =
= = =

Entonces:
2
2
1 16 1
5 4
6 3 2
( 1)( 2) 1 1 2
x
x x x x x

= + +
+ + +


Y, por tanto:
4 2 2 2
2 2
1 16 1
5 4
6 3 2
2 2
( 1)( 2) 2 ( 1)( 2) 2 1 1 2
x dx x x x
x dx x dx
x x x x x x x
| |

|

= + = + + + =
|
+ + + +
|
|
\ .
} } }

2
1 16 1
6 3 2
2
2 1 1 2
x
x dx dx dx
x x x

= + + + =
+ + } } }

2
1 1 1 1 16 1
2
2 6 1 2 1 3 2
x
x dx dx dx
x x x
= + + =
+ + } } }

2
1 1 16
2 Ln | 1| Ln | 1| Ln | 2|
2 6 2 3
x
x x x x k = + + + + + =
( )
2
1 16
2 Ln | 1| 3 Ln | 1| Ln | 2|
2 6 3
x
x x x x k = + + + + + =
2
3
1 1 16
2 Ln Ln | 2|
2 6 ( 1) 3
x x
x x k
x

= + + + +
+

32.
}
) 2 ( ) 1 (
2
x x
dx
Sol:
1 2
Ln
1 1
x
k
x x

+ +



39
Como el grado del numerador es menor que el grado del denominador aplicamos la descomposicin en
fracciones simples directamente:
2
2 2 2
1 ( 1)( 2) ( 2) ( 1)
( 1) ( 2) ( 1) ( 1) ( 2) ( 1) ( 2)
A B C A x x B x C x
x x x x x x x
+ +
= + + =


2
1 ( 1)( 2) ( 2) ( 1) A x x B x C x = + +
Calculamos los coeficientes:
1 : 1 1
2: 1
0: 1 2 2 1 2 2 1 1
x B B
x C
x A B C A A
= = =
= =
= = + = + + =

Entonces:
2 2
1 1 1 1
( 1) ( 2) 1 ( 1) ( 2)
dx dx dx dx
x x x x x

= + + =
} } } }

2
1 1
( 1)
1 2
dx x dx dx
x x

= + =
} } }

1
( 1) 1 2
Ln | 1| Ln | 2| Ln
1 1 1
x x
x x k k
x x

= + + = + +


33. dx
x x x
x
}
+

4 4
8
2 3
Sol: k
x
x
x
+

2
2
) 2 (
Ln
2
3

Igual que en el anterior, aplicamos la descomposicin en fracciones simples:
Calculamos las races del denominador:
3 2 2 2
0
4 4 0 ( 4 4) 0 ( 2) 0
2 (doble)
x
x x x x x x x x
x
=
+ = + = =

=

Entonces:
2
3 2 2 2
8 ( 2) ( 2)
4 4 2 ( 2) ( 2)
x A B C A x Bx x Cx
x x x x x x x x
+ +
= + + =
+

2
8 ( 2) ( 2) x A x Bx x Cx = + +

40
Calculamos los coeficientes:
0 8 4 2
2 6 2 3
1 7 7 7 2 3 2 2
x A A
x C C
x A B C B A C B
= = =
= = =
= = + = + + = = =

Entonces:
3 2 2
8 2 2 3
4 4 2 ( 2)
x
dx dx
x x x x x x
| |
= + + =
|
+
\ .
} }



2
2
1 1 1
2 2 3 2Ln | | 2Ln | 2| 3 ( 2)
2 ( 2)
dx dx dx x x x dx
x x x

= + = + =
} } } }

1 2
2
( 2) 3 ( 2)
2Ln | | 2Ln | 2| 3 Ln
1 2
x x
x x k k
x x

= + + = + +



34.
3
3 2
( 1)
x
dx
x x
+
+ }
Sol: k
x
x
x
x
+
+
+
+
+
2
2
2
) 1 (
Ln
) 1 ( 2
3 4

35. dx
x x
x
}
+

3
) 1 (
2 3
Sol:
2
2 2
( 1) 4 9
Ln
2( 1)
x x
k
x x
+ +
+
+

Descomponemos el integrando en fracciones simples:
3 2
3 2 3 3
3 2 ( 1) ( 1) ( 1)
( 1) 1 ( 1) ( 1) ( 1)
x A B C D A x Bx x Cx x Dx
x x x x x x x x
+ + + + + +
= + + + =
+ + + + +

3 2
3 2 ( 1) ( 1) ( 1) x A x Bx x Cx x Dx = + + + + + +
Calculamos los coeficientes:
0 2
1 5 5
1 1 8 4 2 1 16 4 2 5 2 6
2 8 2 2 2 8 2 2 2 10 0
x A
x D D
x A B C D B C B C
x A B C D B C B C
= =
= = =
= = + + + = + + + + =
= = + = + + =


41
Resolviendo el sistema resultante, obtenemos:

2 6 2 6 2
0 2
B C B B B
B C C B
+ = + = =

`
+ = = =
)

Entonces:
3 2 3
3 2 2 2 2 5
( 1) 1 ( 1) ( 1)
x
dx dx dx dx dx
x x x x x x

= + + + =
+ + + + } } } } }

2 3
1 1 1 1
2 2 2 5
1 ( 1) ( 1)
dx dx dx dx
x x x x
= + + + =
+ + + } } } }

2 3
2 Ln | | 2 Ln | 1| 2 ( 1) 5 ( 1) x x x dx x dx

= + + + + + + =
} }

1 2
( 1) ( 1)
2 Ln | | 2 Ln | 1| 2 5
1 2
x x
x x k

+ +
= + + + + + =


2 2
2 2 2 2
( 1) 2 5 ( 1) 4( 1) 5
Ln Ln
1 2( 1) 2( 1)
x x x
k k
x x x x x
+ + + +
= + = + =
+ + +

2
2 2
( 1) 4 9
Ln
2( 1)
x x
k
x x
+ +
= +
+

2.3 INTEGRAL DEFINIDA

La integral definida calcula el rea bajo la curva de una funcin:
()

La integral definida de la funcin f(x) en el intervalo [a, b] representa el rea de la regin de plano comprendida
entre la grfica de la funcin f(x), en el eje de las abscisas y =0, y las rectas x = a y x = b.

42




Cal cul ar l as si gui ent es i nt egral es def i ni das
1.


43

2.


3.

4.


5.






44







2. 4 EJERCICIOS DE I NTEGRACIN
1.
}
+
dx
x
x x x x
4
2 3 5
3 4


2. ( )
}
+ dx e x
x e


3.
( )
}

dx
x
x x
2
2
1
2


4.
( )
}
+
dx
x
x
3
1


5.
}
+ +
dx
x
x x x
1
6
5 4 3 2


6.
}
dx x tg
2


7.
}
|
.
|

\
|
dx
x
2
cos
2


8.
} |
|
.
|

\
|
|
.
|

\
|
dx
x
sen
2
2
1


45
9.
}
+
+
dx
x
x
1
2
2


10.
}
+
+
dx
x
x
2 cos 1
cos 1
2


11.
}

dx
x sen x
x
2 2
cos
2 cos


12.
( )
}
+
+
dx
x x
x
2 2
2
1
2 1


13. ( )
}

dx x x x x x
3


14.
}

+ +
dx
x
x x
4
2 2
1
1 1


15. ( )
}
+ dx x Arc Arcsenx cos
(Indicacin: suma y sigue)

16.
}
dx x x sen cos 2

17.
}
dx x sen x sen 2 3

18.
}
|
.
|

\
|
|
.
|

\
|
+ dx x x
4
2 cos
4
2 cos
t t


19. ( )
}
dx ctgx tgx
2


20.
( )
( )
}
+
+
dx
x x
x
2
2
4
2


46
21.
}
dx
x x sen
2 2
cos
1

22.
}
+ +
dx
x x 2 2
1




23.
}
dx x x 1
(Indicacin: x=(x-1)+1)
24.
}
+
+
dx
x
x
4 2
5 3
2
2

25.
( )
}

2 5
1 x Arcsenx
dx


26.
}
+
dx
x
x
3
5
1


27.
}
+ dx x x 1 2
3


28.
( )
}
+ + +
dx
x x
x
3
2 2
1 1


29.
}
+
dx
e e
x x
1


30.
}

+
dx
x senx
x senx
cos
cos


31.
}

dx
x x 1
1
2


32.
}
+
dx
x
x
3
2
1



47
33.
}
+
dx
x x
3
1


34.
}
+
dx
x
x
4
1


35.
}
dx x x
2
1

36.
}

dx
x
x
8
3
1


37.
}
+
dx
x
x sen
2 cos 1
2


38.
}

dx
x
x
4 1
2


39. ( )
}
dx x x
25
2 3
2 1

40. ( )
}

dx x
2
3
2
1

41. ( ) ( )
}

+ dx x
2
1
2
1 2 1

42.
}

dx e senx
x cos


43.
}
xdx ln

44.
}
dx Arcsenx

45.
}
dx x
x
2


48
46.
}
dx e x
x 3 2


47. ( )
}
+ dx x Arctg x 1

48.
}
|
.
|

\
|

+
dx
x
x
x
1
1
ln

49.
}
dx x x
2
ln

50. ( ) ( )
}
+ dx x x sen x 1 2 cos 1 2

51.
}
dx
x
x
3
ln


52.
}
dx x x ln
3


53. ( )
}
+ dx x
2
1 ln

54.
}

dx
x
Arcsenx x
2
1


55. ( )
}
+
+ dx e x x
x 1 2 2

56.
}
+
+
dx
x
x x
1 2
1 2 4
3


57.
}

+
dx
x
x x
3
1
2


58.
}
+
dx
x x 2 2
4
2



49
59.
}
+ +
+
dx
x x
x
5 4 4
6 8
2


60.
}
+
dx
x x x 2 2
6
2 3


61.
}
+ + +
dx
x x x 1
2
2 3


62.
( ) ( )
}
+
dx
x x 2 2
1
2 2


63.
}
+
+ +
dx
x x x
x x
1
1
2 3
2


64.
}

+
dx
x
x
1
1 3
4
2


65.
}
+
dx
x x
x
5 4
2
3


66.
( )
}

+
dx
x
x
3
2
1
1


















50






SERIES DE FOURIER


3.1 INTRODUCCIN
Las series de Fourier es una aplicacin usada en muchas ramas de la ingeniera, adems de ser una herramienta
sumamente til en la teora matemtica abstracta. Sus reas de aplicacin incluyen anlisis vibratorio, acstica,
ptica, procesamiento de imgenes y seales, y compresin de datos. En ingeniera, para el caso de los
sistemas de telecomunicaciones, y a travs del uso de los componentes espectrales de frecuencia de una
seal dada, se puede optimizar el diseo de un sistema para la seal portadora del mismo. Refierase al
uso de un analizador de espectros.
Una serie de Fourier es una serie infinita que converge puntualmente a una funcin continua y peridica. Las
series de Fourier constituyen la herramienta matemtica bsica del anlisis de Fourier empleado para analizar
funciones peridicas a travs de la descomposicin de dicha funcin en una suma infinitesimal de funciones
senoidales mucho ms simples (como combinacin de senos y cosenos con frecuencias enteras). El nombre se
debe al matemtico francs Jean-Baptiste Joseph Fourier que desarroll la teora cuando estudiaba la ecuacin
del calor. Fue el primero que estudi tales series sistemticamente, y publicando sus resultados iniciales en
1807 y 1811. Esta rea de investigacin se llama algunas veces Anlisis armnico.
3.2 SERIES DE FOURIER
3.2.1 FUNCIONES PERIODICAS

Una funcin peridica se puede definir como una funcin para la cual
f (t) = f(t + T) 1.1
para todo valor de t. La constante mnima T que satisface la relacin (1.1) se llama el perodo de la
funcin. Mediante repeticin de (1.1), se obtiene,
f (t) = f (t + nT), n = 0, 1, 2, (1.2)
En la figura 1.1 se muestra un ejemplo de una funcin peridica.



Figura 3.1 Una funcin peridica



CAPITULO


51

PROBLEMA 1.1 Encontrar el perodo de la funcin f (t) = cos

+ cos

.
Solucin: si la funcin f (t) es peridica con un periodo T, entonces, de (1.1) se tiene

( )

( )

Puesto que cos ( + 2m) 0 cos para cualquier entero mse tiene que

T 0 2m,

T = 2n,
Donde my n son enteros. Por consiguiente T = 6m = 8n; cuando m = 4 y n = 3, se obtiene el mnimo
valor de T. (Esto se puede ver mediante el procedimiento de ensayo y error). Donde, T = 24

En general, si la funcin
f (t) =cos w
1
t +cos w
2
t
Es peridica T, entonces es posible encontrar dos enteros my n tales que
w
1
T =2nm, (1.3)
w
2
T =2nm, (1.4)
El cociente de (1.3) y (1.4 es

Es decir, la relacin w
1
/w
2
debe ser un nmero racional

PROBLEMA 1.2 Decir si la funcin f (t) =cos (10 +)t es una funcin peridica
Solucin: aqu w
1
y w
2
=10 +. Puesto que

No es un nmero racional. Es posible encontrar un valor T que satisfaga (1.1); por consiguiente f(t) no es
una funcin peridica.

PROBLEMA 1.3 Encontrar el perodo de la funcin f(t) = (10 cos t)
2

Solucin: si aplicamos la identidad trigonomtrica cos2 =

(1 +cos 2) se tiene
f(t) =(10 cos t)
2
=100 cos
2
t =100

(1 +cos 2t ) =50 +50 cos 2t:

Puesto que una constante es una funcin peridica de perodo T para cualquier valor de T, y el perodo de
cos 2t es , se concluye que el perodo de f (t) es .

PROBLEMA 1.4 Demostrar que si f (t +T) =f (t), entonces
() ()

(1.6)
() ()

(1.7)

Solucin: si f (t +T) =f (t), entonces, al hacer t= -T, se tiene
( ) () ( ) (1.8)

Considerar ahora
()

Si se hace la sustitucin t = -T y se usa la igualdad (1.8), se obtiene


52
()

( ) ()

Puesto que cualquier smbolo puede representar la variable comodn
()

()

(1.9)
Ahora, el primer miembro de la ecuacin (1.6) puede escribirse como
()

() ()

Aplicando el resultado de (1.9) a la primera integral del segundo miembro de la anterior ecuacin, se tiene

()

() () () ()

()

En (1.9), if = 0 y =t, entonces
() ()

En (1.6), si a=T/2, entonces (1.6) se convierte en
() ()

(1.10)

PROBLEMA 1.5 Sea f (t+T) =f (t) y
() ()

Demostrar que g (t+T) =g (t) si y solo si
()

Solucin: puesto que () ()

( ) () () ()

Por (1.10) y (1.7), se tiene
()

() () () ()

Por consiguiente,
( ) () ()

y g (t +T) =g (t) si y solo si ()

53


PROBLEMA 1.6 Sea f (t +T) =f (t), y
() ()

donde

()

Demostrar que F (t +T)=F (t).

Solucin: puesto que () ()

se tiene
( ) ()

( )

() ()

Por (1.10) y (1.7), se tiene
() ()

() ()

Por consiguiente
( )

()

()

()
3.2.2 DEFINICIN DE SERIES DE FOURIER
Sea la funcin f (t) una funcin peridica de perodo T, la cual se puede representar
por la serie trigonomtrica
()

)
Donde w0 = 2/T.
Una serie como la representada por (1.11) se llama serie trigonomtrica de Fourier.
Esta serie tambin se puede representar as:

()

)



PROBLEMA 1.7 Deducir la forma (1.12) de (1.11) y expresar C
n
y
n
en trminos de a
n
y b
n
.
Solucin: se puede expresar
(1.11)
(1.12
)

54
(1.17)

)
Si se utiliza la identidad trigonomtrica

) (1.13)
donde

(1.14)

por consiguiente,

/ (1.15)
Tambin, si se hace

(1.16)
se obtiene
()

Segn (1.12), es obvio que la representacin en series de Fourier de una funcin peridica, representa la
funcin peridica como la suma de componentes senusoidales que tienen diferentes frecuencias. La
componente senusoidal de frecuencia w
n
=nw
0
se denomina la ensima armnica de la funcin peridica. La
primera armnica comnmente se conoce como la componente fundamental porque tiene el mismo perodo de
la funcin y w
0
= 2f
0
= 2/T se conoce como la frecuencia angular fundamental. Los coeficientes C
n
y los
ngulos
n
se conocen como amplitudes armnicas y ngulos de fase, respectivamente.

3.3 PROPIEDADES DE LAS FUNCIONES SENO Y COSENO: FUNCIONES ORTOGONALES

Un conjunto de funciones |
k
(t) es ortogonal en un intervalo a<t <b si para dos funciones cualesquiera
|
m
(t) y |
n
(t) pertenecientes al conjunto |
k
(t), cumple:

() {

(1.18)
Considrese, por ejemplo, un conjunto de funciones senusoidales; mediante el clculo elemental se puede
demostrar que
(

)
(

)
(1.19a)
(1.19b)

55
(

) (

) {



(

) (

) {



(

) (

)
donde w
0
= 2/T.
Estas relaciones demuestran que las funciones 1, cos w
0
t, cos 2w
0
t,,cos nw
0
t,sen w
0
t, sen 2w
0
t,,sen
nw
0
t,forman un conjunto de funciones ortogonales en el intervalo T/2<t <T/2.

PROBLEMA 1.8 Verificar la integral (1.19c).
Solucin: con la identidad trigonomtrica

,( ) ( )-

Y

)
se obtiene
(

) (

*,( )

- ,( )

-+

( )

,( )

- |

( )

,( )

- |

( )

*,( )- ,( )-+

( )

*,( )- ,( )-+

Utilizando la identidad trigonomtrica cos
2
=

(1 + cos 2) y haciendo m = n 0 se obtiene

(

) (

)
(1.19c)
)
(1.19a
)
(1.19a
)
(1.19a
)
(1.19d)
(1.19e)

56

PROBLEMA 1.9 Verificar la integral (1.19e).
Solucin: con la identidad trigonomtrica

,( ) ( )-
se obtiene
(

) (

*,( )

- ,( )

-+

( )

,()

- |

( )

,( )

- |

Si se hace m = n 0, y se utiliza la identidad trigonomtrica sen 2 = 2 sen cos se obtiene
(

) (

) (

) (

) |

Evidentemente, para m =n =0, la integral es cero
3.4 EVALUACIN DE LOS COEFICIENTES DE FOURIER

Utilizando las relaciones de ortogonalidad (1.19 a-e) se pueden evaluar ahora los coeficientes a
n
y b
n
de la
serie de Fourier

()

)

Multiplicando ambos lados por cos mw
0
t e integrando entre [-T/2 y T/2], se obtiene

() (

)
(1.11)

57

[

)]

)

[

)]

)
Intercambiando el orden de los signos de integracin y sumatoria se obtiene
() (

) (

) (

)
Si se aplican las funciones de ortogonalidad (1.19), se tiene

() (

De donde,

() (

Si se integra (1.11) entre [-T/2 y T/2], y se usa (1.19), se obtiene

()

[(

)]

De donde,

()

()

Se debe notar que a
0
/ 2 es el valor promedio de f (t) durante un perodo.
(1.20)
(1.21)
(1.22)
(1.23)
(1.24)

58
La ecuacin (1.24) indica que (1.21), la cual avala los coeficientes de la serie coseno, tambin da el
coeficiente a
0
correctamente puesto que cos mw
0
t |
m=0
=1.
Anlogamente, si la ecuacin (1.11) se multiplica por sen mw
0
t y se integra trmino por trmino entre los
lmites [-T/2 y T/2], se obtiene
() (

) (

) (

)
El uso de las relaciones de ortogonalidad (1.19) conduce a

() (

De donde

() (

Sustituyendo mpor n se puede expresar (1.21) y (1.26) como

() (

() (

En general, no es necesario que el intervalo de la integracin de (1.27) y (1.28) sea simtrico alrededor del
origen. Si se aplica (1.6), el nico requisito es que la integral tome sobre un perodo completo.


PROBLEMA 1.10 Encontrar la serie de Fourier para la funcin f (t) definida por
() {

(1.29)
( ) () (Ver figura 1.2)


Figura 1.2 Forma de onda del problema 1.10
(1.25)
(1.26)
(1.27)
(1.28)

59
Solucin: por (1.27) y w
0
t |

/ se tiene

() (

* (

) (

, ()-

, () -}
(1.30)
Puesto que sen 0 = sen (n) = 0
Para n =0, se tiene

()

(1.31)
Puesto que el valor promedio de f (t) durante un perodo es cero.
De (1.28) y w
0
T = (2/T)T = 2 se tiene

() (

* (

) (

) |

*, ()- , () -+

( ) (1.32)
Puesto que cos n 0 (-1)
n
,

(1.33)
De donde
()

/ (1.34)

60
PROBLEMA 1.11 Encontrar la serie de Fourier para la funcin cuya forma de onda se muestra en la figura
1.3.

Figura 1.3 Forma de onda del problema 1.11.
Solucin: la funcin f (t) se puede expresar analticamente as:

() {

(1.35)
Puesto que el valor promedio de f (t) durante un perodo es cero,

()

(1.36)
Por (1.27) y (1.35) se obtiene

() (

La primera integral del segundo miembro es igual a cero. Haciendo t =- en la segunda integral se obtiene

() ,

()-()

Ahora, integrando por partes, se obtiene

61
(

) |

) |

()

( )
De donde,

()

( )

( ) (1.37)

Puesto que cos n = (-1)
n
,

(1.38)
Anlogamente, por (1.28) y (1.35) se tiene

() (

() ,

()-()

(1.39)
De donde,
()

/ (1.40)
PROBLEMA 1.12 Encontrar la serie de Fourier para la funcin f (t) definida por

() {

(1.41)

y f (t +T) =f (t),w
0
=2/T. (Ver figura 1.4)

62

Figura 1.4 Forma de onda del problema 1.12

Solucin: puesto que f (t) = 0 cuando T/2 < t <0, de (1.27) y (1.28) se tiene

) |

( )

(1.42)

* ,( )

,( )

-+ (1.43)
Cuando n =1,

) |

, ()-

( )
(1.44)

Cuando n = 2,3,

,
,( )

-
( )

,( )

-
( )

- |

,
, ( )-


,( )-

-
,

() ()
(1.45)
Anlogamente

)

63

* ,( )

,( )

-+ (1.46)
Cuando n =1

(1.47)
Cuando n = 2,3,,

,
, ( )

-
( )

,( )

-
( )

- |

,
, ( )-


,( )-

-

(1.48)
De donde,
()

/ (1.49)

PROBLEMA 1.13 Desarrollar f (t) =sen
5
t en serie de Fourier.
Solucin: en vez de proceder como se hizo en el problema (1.12), se har uso de las identidades.

(1.50)

(1.51)

(1.52)
Se expresa

(1.53)

En este caso la serie de Fourier tiene tres trminos solamente.

3.5 APROXIMACIN MEDIANTE UNA SERIE FINITA DE FOURIER
Sea

()

()
La suma de los primeros (2k +1) trminos de una serie de Fourier que representa f (t) en el intervalo T/2 <
t <T/2.
(1.54)

64
Si f (t) se aproxima por S
k
(t), es decir,
()

()

() ()

()
y E
k
(t) es la diferencia o error entre f (t) y su aproximacin, entonces el error cuadrtico medio E
k
est
definido por

()-

,()

()-

PROBLEMA 1.14 Demostrar que si se aproxima una funcin f (t) por una serie finita de Fourier S
k
(t),
entonces est aproximacin tiene la propiedad de ser el mnimo error cuadrtico medio.

Solucin: si se sustituye (1.54) en (1.57), se tiene

[()

)]

Considerar E
k
como una funcin de a
0
,a
n
,y b
n
. Entonces para que el error cuadrtico medio E
k
sea un
mnimo, sus derivadas parciales con respecto a a
0
,a
n
,y b
n
debe ser iguales a cero, es decir,

( )

Intercambiando el orden de la diferenciacin y de la integracin:

[()

)]

[()

)]

))

[()

)]

))


Si se usan las propiedades de ortogonalidad (1.19), (1.27), y (1.28) del seno y del coseno de las integrales
(1.59), (1.60) y (1.61) se reducen a

()

(1.55)
(1.56)
(1.57)
(1.58)
(1.59)
(1.60)
(1.61)
(1.62)
(1.63)

65
(1.66)

() (

() (

)


PROBLEMA 1.15 Demostrar que el error cuadrtico medio E
k
en una aproximacin a f (t) por S
k
(t),
definida por (1.57), se reduce

,()-

)
Solucin: por (1.57) se tiene

,()

()-

*,()-

()

() ,

()-

,()-

()

()-

Ahora bien;

()

()

()

() (

() (

)
Teniendo en cuenta (1.27) y (1.28), se obtiene

()

()

Utilizando las relaciones de ortogonalidad (1.19),

()-

)]

)


Sustituyendo (1.67) y (1.68) en (1.66), se obtiene
(1.64)
(1.65)
(1.67)
(1.68)

66

,()-

,()-

)

PROBLEMA 1.16 Establecer la siguiente desigualdad:

,()-

)
Solucin: por (1.57), se tiene

,()

()-

Y tambin por (1.65) se deduce que

,()-

)

El teorema de Parseval afirma que si a
0
,a
n
,y b
n
para n =1,2, son los coeficientes en la expansin de Fourier
de una funcin peridica f (t) con periodo T, entonces

,()-

)

PROBLEMA 1.17 Demostrar el teorema de Parseval.
Solucin: por (1.65), se tiene

)
Mediante las relaciones (1.70) y (1.73) se observa que la sucesin {E
k
}contiene solamente trminos no
negativos y no es creciente; por consiguiente la sucesin converge. De (1.56)

() ()

()
De donde,

En consecuencia, por (1.65) se concluye que

,()-

)
3.6 LAS CONDICIONES DE DIRICHLET
(1.69)
(1.70)
(1.71)
(1.72)
(1.73)
(1.74)
(1.75)

67


Anteriormente se dedic atencin a la determinacin de la serie de Fourier de unciones dadas y se supuso que
la funcin dada se poda representar mediante una serie de Fourier. Ahora se debe investigar la convergencia de
la serie de Fourier a f (t).
Una de las partes ms elegantes de la teora de Fourier es la que trata de los problemas de convergencia.
Se enunciarn aqu las condiciones, conocidas como condiciones de Dirichlet, bajo las cuales es posible la
representacin en serie de Fourier de una funcin dada f(t).
Las condiciones de Dirichletson:
1) La funcin f (t) tiene un nmero finito de discontinuidad en un perodo.
2) La funcin f (t) tiene un nmeros finito de mximos y mnimos en un perodo.
3) La integral del valor absoluto de f (t) en un perodo es finita; es decir,
,()-

Se dice que una funcin f (t) es continua por tramos en el intervalo finito [-T/2, T/2] si satisface las
condiciones (1) y (2).


Figura 1.5 Funcin continua por tramos y lmites a la izquierda y a la derecha

En un punto de discontinuidad, como se muestra en la figura 1.5, el cual se denota por t =t
1
, la serie de Fourier
converge a

,(

) (

)-

Donde f (t
1
-) es el lmite de f (t) cuando t se aproxima a t
1
por la izquierda, y f (t
1
+)es el lmite de f (t) cuando t
se aproxima a t
1
por la derecha. La razn de esta propiedad de la serie de Fourier se discute en el apndice A.

PROBLEMA 1.18 Si a
n
y b
n
son las sucesiones de los coeficientes de f (t), demostrar que

Solucin: por (1.69), se tiene

,()-

Puesto que la serie del miembro izquierdo es convergente entonces es necesario que

)
Lo cual implica que

(1.77)
(1.78)

68



PROBLEMA 1.19 Demostrar que si f (t) es una funcin continua por tramos y la integral del valor absoluto
de f (t) es finita en el intervalo T/2 <t <T/2, entonces

() (

() (

)

Solucin: los coeficientes de Fourier a
n
y b
n


existen, puesto que la integral del valor absoluto de f (t) es finita
en el intervalo [-T/2, T/2]. Aplicando (1.78) y la definicin de los coeficientes de Fourier se concluye que
(1.79) es correcta, es decir,

() {
(

)
(

De donde,

() {
(

)
(

4.7 DIFERENCIACIN E INTEGRACIN DE LAS SERIES DE FOURIER

En seguida se considera la diferenciacin e integracin de las series de Fourier de una funcin.
Se debe observar que la diferenciacin trmino por trmino de una serie trigonomtrica.

)
Multiplica los coeficientes a
n
y b
n
por nw
0
. De donde la diferenciacin tiende a disminuir la convergencia
y puede resultar en divergencia. Por otra parte, en la integracin trmino por trmino los coeficientes, a
n
y b
n

se dividen por nw
0
, y el resultado es una serie cuya convergencia aumenta.





PROBLEMA 1.20 Demostrar el siguiente teorema de diferenciacin de las series de Fourier
Si f (t) es continua cuando T/2 t T/2 con f (T/2)=f ( T/2), y si la derivada f (t) es continua por tramos,
y diferenciable, entonces la serie de Fourier
()

)
se puede diferenciar trmino por trmino para obtener
()

)
Solucin: puesto que f (t) es continua por tramos y diferenciable, su serie de Fourier converge a ella; por lo
tanto su representacin en serie de Fourier es
()

)
(1.79)
(1.80)
(1.81)
(1.82)

69
donde

() (

() (

)
Integrando (1.83) y (1.84) por partes,

[(

) () |

() (

*(

) () |

() (

Puesto que f (T/2)=f ( T/2).
Debe notarse que
0
= 0. Por consiguiente,
()

)
lo cual se puede obtener de la serie de Fourier de f (t) diferenciando trmino por trmino.
(La diferenciacin de una funcin con discontinuidades sbitas ser tratada en la sec. 2.5)

PROBLEMA 1.21 Sea f (t) continua por tramos en el intervalo T/2 <t <T/2 y sea f(t +T) =f (t). Demostrar
que la serie de Fourier
()

)
Se puede integrar trmino por trmino para obtener
()

)-

Solucin: puesto que f (t)es una funcin continua por tramos y por el resultado del problema 1.6, la funcin F
(t) definida por
() ()

Continua y peridica con perodo T. Puesto que

() ()

Sigue que F (t) tambin es continua. Sea la expansin de F (t) en serie de Fourier
(1.83)
(1.84)
(1.85)
(1.86)
(1.87)
(1.88)
(1.89)
(1.90)
(1.91)

70
()

)
Entonces, para n 1,

() (

()

() (

,()

- (

() (

()

() (

,()

- (

donde
()

)
Ahora bien;
(

) (

) ()

)
De donde,
()

) (

,(

)-
Lo cual se puede obtener de la serie de Fourier de f (t) mediante integracin trmino por trmino.
PROBLEMA 1.22 Demostrar que la integral de una funcin peridica cuyo valor promedio es diferente de
cero no es una funcin peridica.
Solucin: por el resultado del problema 1.21, se obtiene
(1.92)
(1.93)
(1.94)
(1.95)
(1.96)

71
()

)]

El trmino

no es peridico y por consiguiente la integral no es peridica. Ntese que la ntegracin de la

serie de Fourier de f (t) trmino por trmino, conduce a la serie de Fourier de la integral de f (t) solamente si a
0

=0, es decir, slo si el valor promedio de f (t) es cero; esto se demostr en el problema 1.5.


PROBLEMA 1.23 Sea f (t) una funcin continua y f (t) una funcin por tramos en el intervalo T/2
<t <T/2. Multiplicar
()

)
Por f (t) integrar trmino por trmino y demostrar que

,()-

)
(Cf., teorema de Parseval Problema 1.17)
Solucin: aplicando (1.27) y (1.28), se obtiene
,()-

()

()(

() (

[(

)]
De esta manera,

,()-

)
PROBLEMA 1.23 encontrar el perodo de las siguientes funciones:
(a) cos nt, (b) cos 2t, (c) sen (2t/k) (d) sen t +sen (t/3) +sen (t/5), (e) |sen w
0
t|.

Respuesta: (a) 2/n, (b) 1, (c) k, (d) 30 , (e) /w
0
.

PROBLEMA 1.25 Demostrar que la funcin f (t) =constante, es una funcin peridica de perodo T para
cualquier valor positivo de T

(1.97)
(1.98)
(1.99)

72
PROBLEMA 1.26 Si f (t) es una funcin peridica de t con perodo T, demostrar que f (at) para a 0 es
una funcin peridica de t con perodo T/a

PROBLEMA 1.27 Si f (t) es una funcin peridica de t con T e integrable, demostrar que,

()

()

tambin es peridica con perodo T.

PROBLEMA 1.28 Demostrar que si f (t) y g (t) son continuas por tramos en el intervalo (-T/2,
T/2) y peridicas de perodo T, entonces la funcin
()

( )

()
es continua y peridica con perodo T.

PROBLEMA 1.29 Encontrar la serie de Fourier para la funcin f (t) definida por f (t) =1 para <
t<0, f (t) =0, para 0 < t < y f (t + 2) = f (t). (Ver figura 1.6).


Figura 1.6 La funcin f (t) del problema 1.29

Respuesta:

()

PROBLEMA 1.30 Encontrar la serie de Fourier para la funcin f (t) definida por f (t) =t para el
intervalo ( ,) y f (t+2)) =f (t). (Ver figura 1.7).



Figura 1.7 La funcin f (t) del problema 1.30
Respuesta:
()

PROBLEMA 1.31 Encontrar la serie de Fourier para la funcin f (t) definida por f (t) =t para en el
intervalo ( ,) y f (t+2)) =f (t). (Ver figura 1.8).


73

Figura 1.8 La funcin f (t) del problema 1.31



Respuesta:

()

PROBLEMA 1.32 Encontrar la serie de Fourier para la funcin f (t) definida por f (t) =e
t
para en el
intervalo ( ,) y f (t+2)) =f (t). (Ver figura 1.9).


Figura 1.9 La funcin f (t) del problema 1.31

Respuesta:

()

( )1

PROBLEMA 1.33 Encontrar la serie de Fourier para la funcin f (t)=|A sen w
0
t|. (Ver figura 1.10).

Figura 1.10 La funcin f (t) del problema 1.33

Respuesta:

)

PROBLEMA 1.34 Desarrollar f (t) =sen
2
t en serie de Fourier

Respuesta:

( )

PROBLEMA 1.35 Desarrollar f (t) =e
rcost
cos (r sen t) en serie de Fourier.
[Sugerencia: usar la serie de potencias para ez cuando z =re
jt
.]

Respuesta:

PROBLEMA 1.36 Aproximar la funcin f (t) =t en el intervalo (-,) mediante una serie finita de Fourier de
5 trminos que sean diferentes de cero. Calcular tambin el error cuadrtico medio en la aproximacin.

74

Respuesta: 0
()

PROBLEMA 1.37 Utilizando el desarrollo en serie de Fourier del problema 1.10, demostrar que

[Sugerencia: hacer

T en (1.34)]
PROBLEMA 1.38 Encontrar la suma de

TRANSFORMADA DE LAPLACE

4.1 DEFINICIN TRANSFORMADA DE LAPLACE

Dada una funcin () de los reales en los reales,
()
Existe una funcin L denominada Transformada de Laplace que toma como argumento () y produce una
funcin () de los complejos en los complejos.
()
La funcin L
-1
denominada Transformada Inversa de Laplace toma como argumento () y produce (), tal
como se visualiza en la figura 2.1

CAPITULO

75

Figura 2.1: Transformada de Laplace

La Transformada de Laplace se define como:

() *()+ ()

La integral que define la transformada de Laplace puede no converger para algunos valores de la variable
compleja . Se define la Regin de Convergencia para la transformada. Este hecho es irrelevante
para nuestras aplicaciones de soluciones de Ecuaciones Diferenciales lineales.

Existe una definicin alternativa, conocida como la Transformada bilateral de Laplace, cuyos lmites de
integracin son ( - y ):

()

*()+ ()

Debido a que nuestro inters se centra en el comportamiento de las seales a partir del instante de tiempo ,
trabajaremos con la versin unilateral de la transformada.

Tabla: Algunas de las definiciones de las Transformadas de Laplace
Transformada de Laplace:

La Transformada de Laplace se define como:
() *()+
() ()

76
Transformada bilateral de Laplace:

()

*()+

() ()

4.2 PROPIEDADES
La transformada de Laplace satisface ciertas propiedades; algunas de estas transformadas se listan a
continuacin. De estas propiedades destacamos los siguientes hechos:
1. La propiedad de linealidad permite que la aplicacin de estas transformadas a la solucin de E.D. sea
bastante simple. Por el contrario, estas transformadas no suelen ser tiles para solucionar E.D. No
Lineales.
2. Las propiedades de Diferenciacin y Diferencias Positivas son las que permiten convertir Ecuaciones
Diferenciales y Ecuaciones de Diferencia, respectivamente, en Ecuaciones Algebraicas.
3. Hay una diferencia sutil pero importante entre las propiedades de Diferenciacin y Diferencias
Positivas: las condicin inicial () no est multiplicada por en el caso continuo.
Este hecho origina algunas diferencias en la forma de las parejas de funciones y sus transformadas y en
la forma en que se emplea la Expansin en Fracciones Parciales para calcular las Transformadas
Inversas.
4. La propiedad de multiplicacin por el tiempo tiene una expresin directa en el caso continuo
(multiplicacin por

) Este hecho se ve reflejado en la tabla siguiente.

5. La propiedad de Convolucin pone de manifiesto que la transformada del producto de dos funciones
NO es el producto de las transformadas individuales.

Tabla: Propiedades de las Transformadas de Laplace
Transformada de Laplace
Sean ()

()

() tres funciones cuyas Transformadas de Laplace son, respectivamente ()

()

()
, y un escalar (real o complejo). Se cumplen las siguientes propiedades:
Linealidad:
*

()

()+

()

()
*

()+

()
Diferenciacin:

77
{
()

} () (

)
{

()

()

()
(

)
Desplazamiento en la Frecuencia:
*

()+ ( )
Multiplicacin por :
*

()+ ()

()

Teorema de valor Inicial:

()

()
Teorema de valor final:

()

()
Convolucin:
*

()

()+

()

()

()

()

( )

()

4.2.1 PAREJAS DE TRANSFORMADAS
A continuacin se muestra la tabla donde se hallan las parejas de transformadas para las funciones elementales
ms importantes en el anlisis de sistemas dinmicos.
TABLA DE PAREJAS DE TRANSFORMADAS ELEMENTALES
Transformada de Laplace
() ()
()

78

( )

( )
( )

Tabla de parejas de transformadas elementales multiplicadas por el tiempo
Transformada de Laplace
() ()
()

()

()

( )

( )
()

( )
(( )

( )

(( )

79







80

4.3 USO DE LA TABLA DE PAREJAS DE TRANSFORMADAS

Para emplear la Tabla de parejas de transformadas para obtener la transformada inversa de una funcin, primero
hay que expresar sta ltima como alguno de los casos que aparecen en la tabla. Suele ser til recordar que las
transformaciones de Laplace son funciones lineales.
Ejemplo 1 Para obtener la transformada inversa de Laplace de ()

, primero reescribimos la ()
como:
()

La expresin

es de la forma

, cuya transformada inversa de Laplace es

. Aplicando linealidad
tenemos:
()

*()+

Ejemplo 2 Para obtener la transformada inversa de Laplace de ()

, primero destacamos que el

denominador de () es de segundo orden, y por tanto es similar al que aparece en las transformadas de
Laplace de las sinusoides amortiguadas. Con esto presente, buscamos reescribir () con el denominador en la
forma ( )

. Para ello, ntese que

( )

Igualando los coeficientes podemos identificar (y por tanto

) y

(y por tanto

). En consecuencia, podemos reescribir () como

()

()

(

Los dos sumandos corresponden a transformadas de la forma

, por lo tanto:

()

*()+

)

81
Este resultado puede reescribirse utilizando la identidad trigonomtrica:
( )
con

. Por lo tanto, () resulta ser:

()

*(

) (

)+
()

* (

)+
()

)
4.3.1 TRANSFORMADAS INVERSAS POR EXPANSIN DE FRACCIONES PARCIALES
Una de las estrategias que puede emplearse para obtener la Transformada Inversa de Laplace de una funcin
racional de polinomios en :
()

consiste en reescribir () como suma de funciones ms sencillas, cuyas transformadas inversas sean posibles
de obtener mediante la lectura de las tablas de parejas. Este procedimiento se conoce como la Expansin en
Fracciones Parciales.
El procedimiento general puede enumerarse como sigue:
1. Si entonces se realiza la divisin hasta obtener una fraccin en la que el grado del polinomio
del denominador sea mayor a la del numerador; en los siguientes puntos se trabaja slo con la fraccin.

Ejemplo 4
()

2. Identificar las races del polinomio del denominador (

), y cuantas veces se repite cada una de ellas

(

, o multiplicidad de la raz).
()
()
()

()
(

Evidentemente la suma de las multiplicidades ser , el grado del polinomio ()
3. Escribir la fraccin como suma de de fracciones parciales:
()
()
()

82
4. Obtener los coeficientes

Este sencillo procedimiento tiene dos puntos de dificultad, el primero de los cuales es cmo encontrar las races
de () , y el segundo cmo obtener los coeficientes

.
Para la obtencin de las races suponemos que disponemos de algn tipo de procedimiento (analtico o
computacional) para ello. Para la obtencin de los coeficientes

, por su parte, pueden seguirse los siguientes

procedimientos, segn sea el caso:
1. Polos de Multiplicidad 1 Si el polo

tiene multiplicidad , el coeficiente

de la expansin podr
calcularse como:

*(

)()+

Ejemplo 5
()

( )( )

( )

( )

{( )

( )( )
}|

{


}|

()
()

{( )

( )( )
}|

{


}|

()
()

()

( )( )

2. Polos de Multiplicidad mayor que 1
Si el polo

tiene multiplicidad

, el coeficiente

de la expansin podr calcularse como:

*(

()+

Esta expresin tambin es vlida para

, si se considera que , y que la derivada de orden

cero es la misma funcin.
Ejemplo 6
()

( )

( )

( )

( )

83

()

,( )

( )

-|

()

()

,( )

( )

-|

()

()

,( )

( )

-|

()

( )

( )

( )

( )

El procedimiento anterior tambin es vlido cuando las races del denominador son complejas:
Ejemplo 7
()

( )

( )

)
}|

}|

()

() )

{( ( ))

)
}|

( ( ))
}|

( )( ( ))

( )()

{( ( ))

)
}|

( ( ))
}|

( )( ( ))

( )()

()

( )

( )


Las fracciones complejas pueden sumarse (ntese que los numeradores y denominadores de una fraccin son
los conjugados de la otra):

84
()

Otra estrategia
Existe otra posibilidad para obtener los coeficientes

. Consiste en efectuar la suma de las fracciones

parciales e igualar coeficientes.
Tambin pueden combinarse las dos estrategias. Adems, puede emplearse el hecho segn el cual la suma de
las fracciones debidas a polos complejos conjugados ser de la forma

Ejemplo 8
()

( )( )

( )

( )


Al sumar las fracciones parciales se tiene:
()

( )( )

( )( )

) (

)
( )( )


Al igualar coeficientes se genera un sistema de dos ecuaciones lineales con dos incgnitas:
{

()

( )( )

( )

( )

Ejemplo 9
()

{()

)
}|

}|

()

() )

()

)



85
{

()

Teniendo ya definidas las transformadas de las derivadas de cualquier orden, se hace muy simple la solucin
de ecuaciones diferenciales ordinarias, dado que al convertirlas al dominio de la frecuencia mediante las
transformadas, su solucin es eminentemente algebraica.

As para una ecuacin diferencial de segundo orden de la forma:

()
Basta con aplicar la transformada de Laplace a cada uno de sus trminos, para llevarla de tiempo a frecuencia:
,

()

- {
()

} *()+ *()+
de acuerdo a los teoremas de transformada:
,

() () ()- ,() ()- () ()

Reorganizando:
(

)() () ( )() ()
()
() ( )() ()

Esta ecuacin determina la solucin de la ecuacin de la transformada de Laplace. Uno de los aspectos ms
importantes de este tipo de soluciones es que incluyen la solucin particular, a diferencia de las soluciones
generales que contienen su funcin complementaria y su funcin general.



86
Ejemplo 10
Resolver la ecuacin diferencial

()

()

()

Si
()

() , cuando
al aplicar la transformada de Laplace a cada uno de los trminos de la ecuacin diferencial:
,

()

- {
()

} *()+ *

+
,

() () ()- ,() ()- ()

Como
()

()
(

)()

()

)( )

Factorizando
()

( )( )( )

Aplicando fracciones parciales
()

( )

( )

( )

Aplicando la transformada inversa
()

87
EJEMPLOS RESUELTOS

Fracciones Parciales

EJEMPLO 1:
( )
( ) ( ) ( ) ( ) ( ) ( )
( )
( ) ( )
( )
( )
( )
( )
( ) ( )
( )
( )
( )
( ) ( )
| | ) ( 4 6
4
4
1
6
) (
4
3
6 2
1
10 2
4
4 1
10 2
6
3
9 2
4
10 2
1
4 1
10 2
4
4
1
6
4 1 4 1
10 2
) (
4 1
4 4
1 1
t u e e
s s
L t f
s
s
s
s s
s
B
s
s
s
s s
s
A
s s s
B
s
A
s s
s
s F
t t
s s
s s
=
(

+
=
=

=
(

+
+
=
(

+
+ +
+
=
=

=
(

+
+
=
(

+
+ +
+
=
+

+
=
+
+
+
=
+ +
+
=

= =
= =



EJEMPLO 2:
( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( )
( ) ( ) ( )
( )
( ) ( )
2
1
2
1
1 1 1 1
1
1
1 1 1
1
2 2 2 2 1
1
1
Re 2
1 1 1 1 2 2 1
) (
1 1
1
2
1
2
2

+
=
(

+ + + + +
+
=
(

+
+ + + +
=
=
(

+ +
=
(

+ + +
+ =
)
`

+
+
+
=
+ +
+
+
+
+
=
+ + +
=
-
+ = + =
= =
-
j
B
j
j j j
j
j s
j s j s s
A
B
s s
s
s s s
s
s A
j s
B
s
A
j s
B
j s
B
s
A
s s s
s
s F
j s j s
s s

( )
( )
)
`

|
.
|

\
|
+ =
)
`

|
.
|

\
|
+ =

)
`

+ =



) ( ) ( ) cos(
2
1
2
1
Re 2 ) ( ) (
) (
2
1
2
1
Re 2 ) ( ) (
) (
2
1
2
1
Re 2 ) ( ) (
1
t u t sin j t j e t u e t f
t u e e j t u e t f
t u e j t u e t f
t t
t j t t
t j t

)
`

|
.
|

\
|
+ + =

) (
2
1
) cos(
2
1
) ( 2 ) ( ) ( t sin t t u e t u e t f
t t












88
EJEMPLO 3:
( ) ( ) ( )
( ) ( )
( )
( ) ( )
( )
( )
( ) ( )
( )
( )
( )
( ) ( ) ( )
4
1
4
2 1
4
2
4
2
4
2
4
2 1
4
1
4
2
4
2 1
4
1
2 1
1 2 1
4
) (
2
2
1
2
1
2
1
1
2
2
1
1
2
2
2 2
=
(

+
=
(

+ +
+ =
=
(

=
(

|
|
.
|

\
|
+
=
(
(

|
|
.
|

\
|
+ +
+ =
=
(

+
=
(

+ +
+ =
+
+
+
+
+
=
+ +
=
= =
= =
=
=
=
s s
s s
s
s
s
s s s
s C
s
s ds
d
s s
s
ds
d
B
s
s s
s A
s
C
s
B
s
A
s s
s F

( ) ( ) ( )
( ) ( )
( )
) ( 4 ) ( 4 ) ( 4 ) ( 4 ) ( 4
1
4
) (
2
4
1
4
1
4
2 1
4
) (
2 2
2
1
2 2
t u e t u e t u e t t u e t u e
s
L t f
s s
s s s
s F
t t t t t
+ = +
(

+
=
+
+
+

+
+
=
+ +
=



( )
( )
|
|
.
|

\
|

=
(

) (
! 1
1
1
t u e
m
t
a s
K
L
at
m
m




Aplicacin de la transformada en Circuitos Elctricos
Encuentre la expresin para la corriente, en el siguiente circuito:




Escribiendo la Ley de Kirchhoff a la trayectoria de la corriente:

89
() ()

Aplicando la transformada:

() ()
()

Haciendo los arreglos adecuados:
()

( )

Aplicando con la tabla de Pares de Transformadas:
) [

()] ()























CAPITULO


90
GRAFOS Y RBOLES

5.1 GRAFOS
El concepto de grafo tiene su origen en problemas que ataen a las comunicaciones y vas de comunicacin. Un
ejemplo muy concreto son las carreteras. Imaginemos por un momento 10 poblados en el Estado de Puebla, se
considera que cada uno de los poblados es un nodo o vrtice que se representa de forma grfica como un punto
en el mapa. Cada carretera es en realidad un arco o segmento que une a ambos lugares, que para este caso
llamaremos arista si conecta de forma directa dos poblados, como puede versea a continuacin:


As tenemos una nocin intuitiva del concepto de grafos aplicados a un problema de conexin e interconexin
con los poblados del ejemplo anterior. Una generalizacin de la teora anterior nos lleva a la concepcin de un
grafo de forma matemtica, y que se explica en la siguiente definicin.

Definicin de Grafo: Un grafo (o grfica) no dirigida consiste en un conjunto de vrtices V y un conjunto de
E aristas (o arcos) tal que cada arista e E asocia con un par no ordenado de vrtices. En este orden de ideas
(v,w) denota una arista entre el nodo v y w, incidencia, en un grafo no dirigido y NO es un par ordenado.






Ejemplo:


91

En esta figura se aprecia el grafo que representa el famoso problema de los puentes de Knisberg donde Euler
se inspir para obtener los circuitos que llevan su nombre, el problema se trata de encontrar un camino que pase
por todos los puentes sin repetir ninguno y llegando al final.
Definicin de Grafo Dirigido: Una grafo dirigido dgrafo (digrafica) G consiste de un conjunto de vrtices V
( nodos) y un conjunto E de aristas (o arcos) tales que cada arista e E asocia a un par ordenado de vrtices.
Si hay un arista nica e asociada con el par ordenado (v,w) de vrtices se escribe e=(v,w), lo cual denota una
arista de v a w.
En particular los grafos dirigidos poseen una arista para la direccin en la que estn considerados, esto significa
que (v,w) (w,v), luego un par (v,w) significa que de un vrtice v llega o se dirige a un vrtice w, y lo contrario
no es verdadero para este par, a menos que exista otro par (w,v) que especifique lo anterior.
Por ltimo un grafo se escribe G=(V,E) para los conjuntos no vacios V de vrtices y E de aristas como ya se
haba dicho.
Ejemplos:

Definicin de Grafo Ponderado: Si un conjunto de aristas que tienen sobre s algn valor se le llama grafo
ponderado. De tal forma que si una arista e esta etiquetada con p, se dice que p es el peso de la arista en
cuestin.

Ejemplo:
Supngase que se tiene un taladro para realizar agujeros en un circuito integrado. Cada agujero tiene el mismo
dimetro, la configuracin de los agujeros se muestra a continuacin sobre la tarjeta de integrados:

92


El problema consiste en que cada una de las aristas o caminos que hay entre todos los agujeros tiene un distinto
costo peso. Luego se puede representar como sigue por un grafo ponderado:


Por lo anterior en un grafo la longitud de una ruta es la suma de los pesos de las aristas en la ruta que
se haya elegido.
En la realidad la utilidad ms reconocida de los grafos y su representacin estriba en el problema de
obtener la ruta ms corta entre dos vrtices, es decir, obtener el camino entre dos puntos, uno inicial u origen y
uno final o destino. Ejemplo de lo anterior es el problema del agente viajero, que consiste en encontrar la forma
de que el agente visite un nmero determinado de ciudades utilizando el menor costo posible, partiendo de un
origen y terminando en un destino, sin repetir ningn destino intermedio. Cabe destacar que el grafo es tan
complejo como se quiera y tiene en muchas ocasiones longitudes no determinadas.
Definicin de Grafo Completo: Se llama grfica completa sobre n vrtices, denotada por

,(donde n es la
aridad del conjunto de vrtices del grafo) a la grfica simple en la que hay una arista entre cada par de vrtices
todos ellos distintos.
Ejemplo: A pesar de que en el siguiente grafo no hay etiquetas ni pesos, el grafo de la figura es completo

Definicin de Grafo Bipartita: Se llama a la grfica G=(V,E) bipartita si existen conjuntos

(cualquiera
de los dos puede ser vaco) de V tales que

y cada arista en E es incidente sobre

un vrtice en

y un vrtice

93
Ejemplo: El siguiente grafo es bipartita pues separa claramente dos conjuntos de aristas y adems cada arista
incide en un vrtice

y en un vrtice

, luego se pueden formar los conjuntos

*

+ y

+


Sin embargo el grafo que se muestra a continuacin NO es bipartita, como se puede apreciar no es posible
encontrar dos conjuntos tales que sean ajenos y que al unirse conformen el conjunto de vrtices total en la
imagen.
Adems de lo anterior no todos los vrtices tienen una conexin o incidencia a pares.



Definicin de Grafo Bipartita y Completo: Se dice que un grafo es bipartita y completo sobre m y n vrtices,
denotado por

si el grafo es simple y se tiene una particin

con m vrtices y n vrtices y donde el

conjunto de aristas consiste en todas las aristas de la forma (

) con

.
Ejemplo: En la siguiente figura tiene un grafo bipartita completo sobre dos y cuatro vrtices,

, es decir,
existe una incidencia de dos vrtices sobre los cuatro que se observan en la parte derecha.



94
5.1.1 Definicin de subgrafo: Sea G=(V,E) un grafo, (

) se llama subgrafo de G si:

a)

b) Para toda arista

si

incide en

entonces

Ejemplo: En la siguiente figura se observa un grafo con sus respectivos vrtices:

Primeramente sabemos que el grafo G=(V,E), con un conjunto V= *

+ , y el
conjunto de sus aristas *+ luego se puede elegir un subconjunto de este mismo grafo se
denotado como sigue:

+

Ahora se especifican los subconjuntos antes mencionados en el ejemplo como sigue:

+ y

*+ , para este sub grafo se hace el diagrama representativo:

5.1.2 Definicin de trayectorias: Sean v y w vrtices en un grafo G:

95
i) Una trayectoria simple de v a w es una ruta de v a w sin vrtices repetidos
ii) Un ciclo ( circuito) es una trayectoria de longitud diferente de cero de v a v sin aristas repetidas.
iii) Un ciclo simple es un ciclo de v a v en el que no hay vrtices repetidos, excepto por el inicio y el
fin que son iguales a v.
Ejemplo: Observe el siguiente grafo:

1) Se tiene una trayectoria simple digamos de v a x, como sigue:
(v, x ) = * +


Definicin de grafo conexo: Se dice que un grafo es conexo si de cualquier vrtice en el grafo se puede ir a
otro vrtice a travs de una trayectoria, i.e. si se tienen dos vrtices en distintos v y w en G, existe una
trayectoria de v a w.

Ejemplo: El siguiente grafo es conexo, ya que existen trayectorias caminos tales que se pueden conectar dos
vrtices mediante un camino para cada par de vrtices en el grafo.

Ahora bien, no todo grafo G es conexo, como se ver a continuacin:


96

Ejemplo:

Se puede comprobar que en este grafo no existe un camino de

hacia

, de tal manera que el grafo se

considera no conexo.
5.1.3 Definicin del Ciclo de Euler y Circuito Hamiltoniano ( de Hamilton)
Definicin de Circuito de Euler: Se dice que un grafo G tiene un ciclo de Euler si existe un ciclo que recorre
todas las aristas y todos los vrtices.
Para simplificar existe un teorema que ayuda a entender el ciclo de Euler y su identificacin que se enuncia a
continuacin:
Teorema ( de los ciclos de Euler): Si G es una grfica conexa y cada vrtice tiene grado par, entonces G tiene
un ciclo de Euler.
El teorema anterior nos indica que si en un grafo G todos y cada uno de los vrtices tienen dos mltiplos de
dos aristas, entonces el grafo tiene un circuito que pasa por todas las aristas y todos los vrtices.


Ejemplo:

Se utiliza el teorema del circuito de Euler para ver que en este grafo hay un circuito de Euler, como a
continuacin se ve:

97
Primeramente se sabe que el grafo es conexo, ya que existe una ruta para llegar de un vrtice a otro, ahora bien
identifiquemos la incidencia de los vrtices:
(

) = (

) (

) (

) (

) (

) (

) = 2
Luego entonces cada vrtice tiene valencia o grado par, por lo tanto se puede encontrar un camino que visite
todas las aristas y todos los vrtices el cual es:
*

+

Definicin de Circuito de Hamilton: Un grafo G tiene un circuito de Hamilton si existe un camino o
trayectoria que toque todos los vrtices del grafo G una vez, excepto por el final y el inicial que aparecen dos
veces.
Ejemplo:
A simple inspeccin el siguiente grafo tiene un circuito de Hamilton ( Hamiltoniano)

Primero se definen conceptos importantes para la identificacin de un circuito de Hamilton:
Valencia de un vrtice: Es el nmero de aristas que inciden, tiene un vrtice, por ejemplo:
(), nmero de vrtices, entonces el grafo de la figura anterior tiene 5 vrtices
Una arista es paralela si dado dos vrtices, v y w se asocian con el mismo par de vrtices, como se puede ver en
la siguiente figura:




98
Una forma de identificar ms fcilmente los circuitos de Hamilton se observa en el siguiente teorema:
Teorema ( de Circuito de Hamilton): Si un grafo G no tiene ni ciclos ni aristas paralelas, tomando
(), si y si val(n) para cada vrtice v de G, entcones G tiene un circuito de Hamilton.
Ejemplo: Sea el siguiente grafo, identificar si tiene un circuito de Hamilton o Hamiltoniano



1) Primeramente se sabe que no tiene ciclos, debido a que no existe un camino que parta de un vrtice, sin
tocar otro vrtice regrese al origen.
2) Seguidamente no tiene aristas paralelas, ya que si tenemos un par cualquiera de aristas, estas no se asocian
al mismo par de vrtices
3) Verificando el nmero de vrtices que el grafo posee encontramos que cumple con tener ms de tres
vrtices en total.
4) Por ltimo para cada vrtice la incidencia valencia que se tiene en cada uno es mayor o igual al nmero
de incidencias sobre l.
Por todo lo anterior podemos concluir que el grafo en la figura tiene un circuito de Hamilton Hamiltoniano.
5.1.4 Representacin de Grafos en forma Matricial
Entre otras operaciones necesarias para los grafos, la operacin que ms a menudo se utiliza es la de la
representacin de los mismos. Generalmente la representacin se realiza mediante una matriz de adyacencia,
esta matriz es una matriz cuadrada que se rellena de la siguiente forma:
i) En esta matriz, las filas son los vrtices de origen y las columnas son los vrtices de destino, as la
matriz es cuadrada debido a que se consideran los mismos vrtices de origen que de destino.
ii) Para cada M[i,j], se coloca un 0 si no existe camino, 1 si existe un camino y 2 si existen dos
caminos, esto para grafos no ponderados, en otro caso se coloca el peso costo de cada camino.
iii) En el caso de los ciclos se representan colocando un 1 en la entrada donde i=j, es decir la diagonal
de la matriz.




Ejemplo:

99

Se realiza la representacin matricial siguiendo los parmetros anteriormente descritos:





Por ltimo la matriz de adyacencia se puede multiplicar por s misma hasta n veces obteniendo as

, es decir,
la matriz a la n potencia, en el siguiente teorema se describe el significado de obtener la mencionada matriz.
Teorema : Si A es la matriz de adyacencia de un grafo simple, entonces al encontrar

se tiene una matriz

cuyo i,j-esimo elemento es el nmero de trayectorias que existen entre i y j vrtices en el grafo en cuestin y la
longitud de la trayectoria n, donde n =1,2,3,
Ejemplo:
Sea el siguiente grafo:



A=

a b c d e
0 1 0 0 1
1 0 1 0 1
0 1 2 0 1
0 0 0 0 2
1 1 1 2 0
a
b
c
d
e
a b c d e
0 1 0 1 0
1 0 1 0 1
0 1 0 1 1
1 0 1 0 0
0 1 1 0 0
a
b
c
d
e

100

Se obtiene ahora el cuadrado de la matriz A como sigue:

=




Considrese entonces el rengln a de la primera matriz con la columna c, entonces la multiplicacin se lleva a
cabo como y se obtiene un 2, al revisar el grafo existen 2 caminos de longitud 2 de a hacia c, como se ve a
continuacin

(a,b,c), (a,d,c)

5.1.5 Grafos Especiales

Pueden darse de acuerdo a las definiciones antes planteadas los siguientes casos de grafos:

Grafo de un solo vrtice: En este caso si solo existe un solo vrtice y de acuerdo a la definicin se tiene:
G=(V,E), V={ v }, E={ 1,2,3,4,5,}

Lo anterior indica que un solo vrtice puede tener muchas aristas que no se conecten entre s bien que
constituyan ciclos.

Ejemplo: En la figura se muestra la representacin de un grafo de un solo vrtice con muchas aristas. En redes
de computadoras por ejemplo se debe recordar la direccin IP de 127.0.0.1 correspondiente a localhost en la
que todas las transmisiones son hacia el host donde se est trabajando, se puede representar esto mediante el
grafo que se ve en la figura:



De otra forma puede existir un grafo con una sola arista, y muchos vrtices, por simple inspeccin se sabe que
el grafo no es conexo y se define como sigue:

G=(V,E), V={a,b,c,d,e,}, E={ 1 }

Lo anterior indica que se tienen multitud de vrtices sin embargo solamente hay una arista, lo que conlleva a
pensar que solamente un par de vrtices sern conectados entre s.

Ejemplo: Si se tuviera que representar un sistema de cliente servidor en nico momento determinado, de forma
aleatoria, un grafo es una representacin instantnea de un cliente atendido por un servidor en un momento
particular. Luego la figura a continuacin describe lo anteriormente expuesto:
0 1 0 1 0
1 0 1 0 1
0 1 0 1 1
1 0 1 0 0
0 1 1 0 0
0 1 0 1 0
1 0 1 0 1
0 1 0 1 1
1 0 1 0 0
0 1 1 0 0
2 0 2 0 1
0 3 1 2 1
2 1 3 0 1
0 2 0 2 1
1 1 1 1 2

101



Es importante mencionar que si se tiene cualquier conjunto vaco, ya sea de vrtices como de aristas, la
definicin no se cumple, entonces lo que se considere para situaciones sistemas particulares no constituye un
grafo.

5.2 ARBOLES

Se considera un rbol como una subclase de grafo. En las ciencias computacionales son bastante utilizadas en
estructuras que requieren jerarquizacin y organizacin. Los ejemplos ms usados para esta clases son las bases
de datos.Entre otras aplicaciones los ordenamientos eficientes y baratos en tiempo de computacin usan rboles
para tal fin.
Las aplicaciones interesantes que se han utilizado en la construccin de grandes sistemas son la notacin
polaca, cdigos eficientes y combinaciones de listas, en este caso el procesamiento de informacin es rpido y
eficiente.

Definicin de rbol Se dice que un rbol es un grafo sin ciclos y conexo, esto es no posee aristas paralelas.

Ejemplo:

Definicin de rbol generador. Se dice que si G es un grafo conexo, un subgrafo T de G se llama rbol
generador si T es un rbol y si T incluye a todos los vrtices de G, es decir, V(T) = V(G).

En este caso particular T es un rbol que se obtiene quitando algunas aristas de G, pero manteniendo todos los
vrtices.

Ejemplo

Entendiendo de forma genral la generacin de los rboles mediante grafos se puede enunciar un teorema acerca
de los rboles:

Teorema Sea un grafo G con ms de un vrtice sin ciclos ni aristas paralelas. Las siguientes afirmaciones son
equivalentes:

a) G es un rbol
b) Cada par de vrtices distintos est conectado exactamente por un camino simple
c) G es conexa, pero si se le quita una arista ya no lo es
d) G no tiene ciclos, pero no lo ser si se agrega una arista.




Ejemplo:


102


En la figura se observan las cualidades mencionadas en el teorema sobre rboles

Lema 1 Un rbol finito con al menos una arista tiene al menos dos hojas.

Lema 2 Un rbol con n vrtices tiene exactamente n-1 aristas.

Teorema Sea G un grafo finito con n vrtices, sin bucles ni aristas paralelas entonces las siguientes
afirmaciones son equivalentes:

1) G es un rbol
2) G no tiene ciclos y tiene n-1 aristas
3) G es conexa y tiene n-1 aristas

Una de las propiedades que ya se observaron con anterioridad es encontrar un rbol generador. Una necesidad
que a menudo se presenta es encontrar un rbol generado para un rbol con aristas pesadas, esto es si a cada
arista se le asigna un nmero no negativo denotado por W(e). El peso W(G

) de un sub grafo G

de G es
simplemente la suma de los pesos de sus aristas.
Dado lo anterior el problema es encontrar un rbol generador mnimo, es decir, un rbol generador cuyo peso
sea menor igual al de cualquier otro.

Si la grfica no tiene pesos, le podemos asignar a cada una el peso de 1, as todos los rboles generadores que se
encuentren sern mnimos, debido a que

()

Ejemplo



Se muestra un grafo pesado con pesos indicados, posteriormente se muestra la forma de numerar las aristas del
grafo para formar una sucesin no decreciente de pesos y finalmente el rbol generador de peso mnimo, de tal
forma que W(

) W(

), siempre que i< j.

5.2.1 Algoritmo de Kruskal

Este algoritmo tiene como resultado dado un rbol encontrar el rbol generador mnimo. El procedimiento que
se sigue es ir recorriendo una por una las aristas del rbol G, empezando con los pesos ms pequeos, eligiendo
aquellas que no introduzcan ciclos. Una vez que el algoritmo se detiene se obtienen el conjunto E de aristas en
un rbol generador mnimo de G. La notacin {

} indica que se est tomando un sub grafo cuyo conjunto

de aristas es {

} y el conjunto de vrtices es V (G).

103
Algoritmo de Kruskal
Sea
Para j=1 hasta ()
Si {

} no posee ciclos reemplace E por {

}
Fin_para
Fin

El algoritmo de kruskal se necesita examinar cada una de las aristas para determinar si pertenece a un ciclo
no. Otro detalle importante es que el algoritmo no pide que G sea conexa de manera estricta.
La generalizacin del algoritmo de kruskal se refiere a la posibilidad de generar un conjunto de rboles
mnimos, es decir un bosque generador mnimo.

5.2.2 Algoritmo de Prim

De lo anterior se puede generar un algoritmo ms general que trabaja como sigue:

- Primeramente ordena las aristas colocndolas en orden creciente en cuanto a peso.
- Recorre la lista comenzando por la parte de mayor peso
- Elimina una arista si y solo si esta pertenece a un ciclo en el sub grafo en curso de G.
- Todos los sub grafos que aparecen son conexos
- El criterio de parada se da cuando se obtiene un grafo a cclico, por lo que al final resulta un rbol
generador para G.

Una diferencia importante entre el algoritmo descrito y kruskal, es que el primero construye un grafo a
cclico mientras que el ltimo conserva todas los sub grafos conexos. Para el nuevo algoritmo, adems,
debemos considerar que conserva los sub grafos conexos y adems sin ciclos, pero an mas, no es necesario
que las aristas estn ordenadas de antemano.

Algoritmo de Prim

Sea
Elija w en V(G) y sea M={ w }
Mientras M V(G)
Elija una arista { u, v) en A(G) de menor peso posible con y ()
Ponga { u, v} en E
Ponga a v en M
Fin_Mientras
Fin

El procedimiento forma un rbol, dentro de G, con V(T) = M y A(T) = E. En cada etapa el algoritmo busca una
arista de menor peso que una en un vrtice en T con un nuevo vrtice fuera de T. Entonces aade esta arista y
este vrtice a T y repite el proceso.

5.2.3 Arboles Enraizados

En ciencias de la computacin son diversas las aplicaciones que utilizan a los rboles en estructuras
jerarquizadas y muchos vrtices distinguidos que se pueden usar para dar a los rboles una estructura dirigida.
Se debe entender que el concepto de rbol enraizado puede tener una cantidad de hijos que le suceden,
sin embargo, en ciencias de la computacin la parte ms importante del estudio de estos rboles son los rboles
binarios, debido a que solamente tienen dos hijos, uno a la derecha y otro a la izquierda, adems este tipo de
rboles son ordenados y orientados.
Se dice que un rbol esta ordenado y est orientado, porque los hijos de cada nodo estn ordenados de
izquierda a derecha porque existe un camino ( en una direccin particular) de cada nodo a sus descendientes.
Es posible que se transforme un grafo normal en un grafo dirigido asignando flechas de direccin en
las aristas, sin embargo si todas las flechas parten del mismo vrtice el rbol dirigido se llama enraizado y el
vrtice de donde sale se le llama raz.


104

Ejemplo





Las flechas colocadas en la figura no cambian la estructura debido a que todo esta sostenido por la raz,
luego la conformacin de un rbol enraizado tiene como sustentacin todos los vrtices del mismo, en
independencia con la direccin en este caso de las flechas.
Ahora bien, para generar un rbol enraizado basta con tener un dato y nombralo raz para poder
equilibrar y dejar que el mismo rbol crezca hacia abajo dependiendo de los valores que se le agreguen cada
vez.

5.2.4 Algoritmos de bsqueda de primera profundidad

Un rbol finito tambin se puede pensar como una construccin recursiva, constituyndose en
estructuras de datos naturales para programas de computacin recursiva, tales como bsquedas, ordenamientos,
etc.



Se consideran las siguientes afirmaciones en relacin a rboles enraizados:

- Un nico vrtice es un rbol enraizado
- Si

son rboles enraizados con races

si (

) (

) son disjuntos y si r no
es un elemento en (

) (

) , entonces T es un rbol enraizado donde:

() *+ *(

) (

)

- R es una raz con hijos

y todos los dems vrtices tienen los mismos hijos que antes.
Entonces

son sub rboles de T con races correspondientes

.


5.2.5 Recorridos

En general un algoritmo de recorrido de un rbol es un algoritmo para enlistar ( en otras literaturas se
le denomina visitar) todos los vrtices de un rbol enraizado. Los algoritmos ms comunes son preorden, in

105
order (este tipo de algoritmo es exclusivo de los rboles enraizados binarios) y postorder y se describen en
trminos de la definicin recursiva de los rboles enraizados ordenados.

5.2.5.1 Recorrido en Preorden

El recorrido en preorden se enlista primero la raz luego los subrboles en el orden de sus races, esto
es, primero la izquierda luego la derecha.
En el siguiente algoritmo se demuestra la forma recursiva para realizar preorden:

Algoritmo PREORDEN (v)
1.- Enliste los subrboles con los hijos de v como raz ( use PREORDER(w) para ienlistar T para cada hijo w de
v)
2.- Enliste

poniendo en una hilera v seguido por las listas del paso 1 en el orden de izquierda a derecha.

Observe que si v no tiene hijos, es decir, si v es una hoja, el paso 1 se completa por vacuidad en forma
automtica, por lo que

es solamente v en este caso.

5.2.5.2 Recorrido en Postorder

En el recorrido en postorder se enlista primero el rbol en orden y al final las races del mismo como se observa
a continuacin:

Algoritmo POSTORDEN (v)
Paso 1. Enliste los subrboles con los hijos de v como raz (use POSTORDER(w) para cada hijo de w)
Paso 2. Enlista

poniendo en una hilera las listas del paso 1 en el orden de izquierda a derecha seguidas por v.

Ejemplo:

Sea el rbol enraizado binario:







El recorrido en pre orden:

106

Este recorrido se ilustra a continuacin:





Ahora bien el recorrido en post orden se realiza como sigue:

Este recorrido se ilustra a continuacin







5.2.5.3 Recorrido en Inorder

Para rboles binarios enraizados, el recorrido in order enliste la raz v entre los sub rboles a su
izquierda y a su derecha en

.


107
Algoritmo INORDER(v)
Paso 1 Enliste el subrbol de la izquierda [ utilizando INORDER (w) para el hijo w a la izquierda de v]
Paso 2 Enliste el subrbol de la derecha [ utilizando INORDER (u) para el hijo u a la derecha de v]
Paso 3 Enliste

poniendo en lnea el resultado del paso 1, y despus v y luego el resultado del paso 2.

Si

no es regular, entonces algunos solo tienen un hijo, as se designar a la derecha a la izquierda. Un hijo
faltante produce una lista vaca en el paso 1 en el paso 2.

Ejemplo:

El recorrido se muestra a continuacin:









5.2.6 Cdigos Binarios

Una forma de representar caracteres internamente en una computadora es usar cadenas de bits de
longitud fija. El cdigo que se invent para estos fines fue el ASCII ( American Standar Code for Information
Interchange) el cual representa a los caracteres por una cadena de 8 bits.
En contraposicin a lo anterior tenemos los cdigos Huffman que representa caracteres por cadenas de
longitud variable, como alternativa a otros cdigos que existen computacionalmente. En general se trata de
representar mediante cadenas cortas para representar caracteres que se utilizan con frecuencia y cadenas de bits
ms largas para caracteres de uso menos frecuente, luego el ahorro de espacio es considerable.
Luego existe un algoritmo para generar un cdigo Huffman ptimo mediante un rbol que se utiliza
para decodificar una cadena de bits comenzando con la raz y siguiendo hacia abajo hasta que se encuentra el
carcter. El bit, 0 1 dice si debemos ir a la derecha hacia la izquierda.

108
Huffman desarrollo un algoritmo para construir un cdigo Huffman a partir de la tabla que da la
frecuencia de ocurrencia de los caracteres que se van representar para que el cdigo construido represente las
cadenas en el mnimo espacio, siempre que las cadenas representadas tengan frecuencias de caracteres idnticas
a las frecuencias de la tabla.

5.2.6.1 Algoritmo de Huffman

Se construye un cdigo de Huffman ptimo a partir de una tabla de frecuencias de ocurrencias de ocurrencia de
los caracteres que se van a representar.
La salida es un rbol con raz donde los vrtices de nivel inferior se etiquetan con las frecuencias y la aristas se
etiquetan con bits. El rbol de codificacin se obtiene substituyendo cada frecuencia por un carcter que tiene
esa frecuencia.

Algoritmo de Huffman
Entrada: Sucesin de n frecuencias n 2
Salida: rbol con raz que define un cdigo Huffman ptimo

huffman (f, n)
{
If (n==2) {
Sean

las frecuencias
Sea T un rbol como se ve a continuacin

return T
}
Sean

las frecuencias ms pequeas

Se substituyen

en la lista f por

T= huffman(f, n-1)
se substituye un vrtice en T etiquetado

por el
rbol como se ve a continuacin

Para obtener el rbol T.
return T
}

Ejemplo:

Se muestra la siguiente tabla para construir el cdigo de Huffman ptimo:

Carcter Frecuencia
! 2
@ 3
# 7
$ 8
% 12

109

El algoritmo reemplaza repetidas veces la dos frecuencias ms pequeas con la suma hasta que se obtiene una
sucesin de dos elementos

2,3,7,8,12 2+3,7,8,12
5,7,8,12 5+7,8,12
8,12,12 8+12,12
12,20

Comenzando desde el final, el algoritmo construye un rbol, tomando como elementos principales el 12 y el 20,
confome este avanza reemplaza los vrtices con etiquetas y luego por sus orgenes en la suma como sigue:



Se puede observar que cada vrtice, por ejemplo el 12 se substituye por la suma que le dio origen 5, y 7, desde
luego que existen otras opciones, puesto que otros rboles de Huffman tambin codificanel mismo tipo de
cadenas.
Otro rbol de Huffman se ve a continuacin:


5.2.7 Notacin Polaca

Computacionalmente hablando la evaluacin de las expresiones algebraicas y/o aritmticas evitan
ambigedades sin usar parntesis mediante un mtodo especfico determinado por la notacin polaca.
Los rboles estudiados hasta el momento realizan un conjunto de operaciones importantes estudiadas y
realizadas gracias a estas estructuras, esto es, un rbol ordenado es capaz de generar una expresin algebraica
no ambigua y con posibilidad de ser evaluada dentro de las computadoras.

110
Las operaciones que maneja en general esta notacin son binarias. La construccin de los rboles que
denotan una expresin algebraica. Primeramente las hojas de esta estructura son los smbolos del sistema
(digamos los nmeros) con variables que representan los objetos del sistema (como letras x,y,..). Los dems
vrtices son las operaciones vlidas en este sistema.

Ejemplo:

La expresin algebraica

((x 4) 2 ) * ( (y+2) /3 )




Se puede representar como sigue:



Si se realiza el recorrido de este rbol en orden se obtiene precisamente la expresin algebraica que se
tiene en el ejemplo, la cual utiliza varias operaciones binarias comunes en R: +,-,*,/, , esta ltima es la que
representa la potencia, es decir ab es igual o significa

, sin embargo debe observarse que los parntesis son

cruciales para entender la notacin que nos llevar a la construccin de un rbol.
Ahora bien se debe tener cuidado en la correspondencia entre un rbol y la expresin algebraica
correspondiente, debido a que si se cambia de alguna manera el rbol en los vrtices en las hojas
correspondientes a las variables que el sistema plantea, en este caso los nmeros reales.


Tomando en cuenta lo anterior, considrense otros recorridos para el rbol del ejemplo mostrado, de
esta forma se puede recorre el rbol en otras formas importantes, sea el pre orden lo cual deja el siguiente
resultado:

* - x 4 2 / + y 2 3

Y el recorrido es postorder da:

x 4 2 y 2 + 3 / *

Entonces para cada uno de los resultados anteriores se tiene una representacin nica del rbol y por lo
tanto a la expresin algebraica original. Luego todas las expresiones no son ambiguas sin parntesis.
Lukasiewicz, cientfico polaco, observ esto y denomino al listado en pre orden notacin polaca notacin
prefija. Ahora bien al resultado del recorrido en post orden lo denomin notacin polaca inversa notacin
sufija.

111
En el caso de nuestra notacin algebraica usual, con los parntesis necesarios, se conoce como la
notacin infija.

Existe un teorema para finalizar que describe como un rbol puede recuperarse a travs de su listado:

Teorema Sea T un rbol enraizado ordenado finito cuyos vrtices se hayan enlistado por un recorrido en pre
orden o post orden. Supongase que se conoce el nmero de hijos de cada vrtice. Entonces el rbol est
determinado , es decir, se puede recuperar del listado.

Ejemplo:
Sea la lista u x y z w v p q s r y la sucesin 0,0,0,0,3,2,0,0,2,2 se dan los siguientes conjuntos:

u x y z w v p q s r
U(k) {u} {u, x} {u, x, y} {u, x, y, z} {u, w} {v} {v, p} {v, p, q} {v, s}
S(

) { x, y, z } {u, w} {p, q} {v, s}

Los conjuntos ordenados S(

) , se pueden juntar recursivamente en el rbol T se obtiene el siguiente rbol:

BIBLIOGRAFA

- Ayres, Frank, Mendelson Elliot (2005), Clculo Diferencial e Integral, Espaa: Mc
Graw Hill.
- Granville, Jhonny A., Longley R., William (2005) Clculo Diferencial e Integral,
Mxico: UTEHA

112
- Jhonsonbaug, Richard (2005), Matemticas Discretas, Mxico: Pearson Education
- Ross, A. Kennet, Wright Charles R.B. (1990), Matemticas Discretas, Mxico:
Prentice Hall.
- Zill, Dennis G. (2005), Ecuaciones Diferenciales con Aplicaciones de Modelado,
Mxico: Thomson