Escolar Documentos
Profissional Documentos
Cultura Documentos
Este texto es para ser usado como apoyo por los alumnos de Ciencias
Quı́micas e Ingenierı́a Ambiental, que cursan las asignaturas de Cálculo o
Matemática III que dicta el Departamento de Ingenierı́a Matemática de la
Facultad de Ciencias Fı́sicas y Matemáticas de la Universidad de Concepción.
Los diferentes contenidos involucrados en el curso al igual que los ejercicios
son desarrollados en un lenguaje simple y de una manera directa, lo que facilita
la comprensión a los alumnos.
También, para cada capı́tulo desarrollado en este libro, se incluye una
sección donde se desarrollan algunos ejercicios computacionalmente, situación
que resultará muy interesante para el alumno, sobre todo con lo que tiene que
ver con la parte gráfica; lo cual se da mucho en los capı́tulos 2 y 3. El lenguaje
de computación que se ha elegido para tales efectos es el lenguaje Maple, que es
de un manejo relativamente fácil; dado que dispone de librerias para distintos
temas que facilitan mucho la programación. Aparte de lo anterior, se incluye
un disco compacto con un software para varias materias desarrolladas en los
cursos, en que cada programa puede ser usado en forma directa e interactiva
por el alumno.
Deseo hacer notar que todo este trabajo es un Proyecto de Docencia que
nació de la idea en conjunto con el Profesor Francisco Cheuquepán (q.e.p.d.)
y por lo tanto deseo dedicarle en parte a él dicho trabajo.
Deseo expresar también, mis agradecimientos a mis ex-alumnas, ahora
ingenieros matemáticos, Marcela Torrejón y Fabiola Lobos, por sus apoyos en
el área computacional y aporte de ideas.
Andrés Durán P.
Índice general
1. ALGEBRA LINEAL 1
1.1. ESPACIOS VECTORIALES . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. Definición y Propiedades . . . . . . . . . . . . . . . . . . 2
1.1.3. Subespacios . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.4. Bases y Dimensión de un Espacio Vectorial . . . . . . . . 10
1.2. TRANSFORMACIONES LINEALES . . . . . . . . . . . . . . . 20
1.2.1. Definiciones y Ejemplos . . . . . . . . . . . . . . . . . . 21
1.2.2. Representación Matricial de una Transformación Lineal 29
1.3. VALORES Y VECTORES PROPIOS . . . . . . . . . . . . . . 36
1.4. APLICACION DE MAPLE . . . . . . . . . . . . . . . . . . . . 39
1.5. EJERCICIOS PROPUESTOS . . . . . . . . . . . . . . . . . . . 45
i
ii ÍNDICE GENERAL
ALGEBRA LINEAL
y z
b
c
v
v
b
0 a x 0 y
u + v = (a + c, b + d)
1
2 CAPÍTULO 1. ALGEBRA LINEAL
αu = (αa, αb)
u + θ = θ;
u + (−u) = θ;
1.-) u y v ∈ V ⇒ u + v ∈ V .
1.1. ESPACIOS VECTORIALES 3
2.-) u y v ∈ V ⇒ u + v = v + u.
3.-) u, v y w ∈ V ⇒ (u + v) + w = u + (v + w).
4.-) En V existe un único vector θ, llamado vector cero, tal que para todo
u en V , u + θ = u.
Observación 1.2.
Ejemplo 1.1. Sea V = IR3 el conjunto que representa los puntos (o vectores)
en el espacio; es decir,
Entonces, IR3 con las operaciones de suma y producto por escalar siguientes:
es un espacio vectorial.
Aquı́, el vector cero es el elemento (0, 0, 0) y para cualquier elemento
u = (x, y, z) de IR3 , el inverso aditivo de u es −u = (−x, −y, −z). Con
estos elementos es fácil verificar las propiedades 1.-) a 10.-) de los espacios
vectoriales.
4 CAPÍTULO 1. ALGEBRA LINEAL
IRn constituye un espacio vectorial con las operaciones de suma y producto por
escalar siguientes:
- Si u = (x1 , x2 , ..., xn ), v = (y1 , y2, ..., yn ) son dos elementos de IRn en-
tonces:
u + v = (x1 + y1 , x2 + y2 , ..., xn + yn )
Las operaciones recién definidas sobre IRn son las llamadas operaciones usua-
les.
De manera similar al ejemplo anterior, se tiene que el vector cero es θ =
(0, 0, ..., 0) y para cualquier elemento u = (x1 , x2 , ....., xn ) el inverso aditivo de
u es −u = (−x1 , −x2 , ..., −xn ). Dados estos elementos, es sencillo verificar las
propiedades de espacios vectoriales.
αθ = θ
0u = θ.
(−α)u = −(αu).
u + v = u + w =⇒ v = w.
6 CAPÍTULO 1. ALGEBRA LINEAL
1.1.3. Subespacios
En muchas situaciones puede darse que un subconjunto de un espacio vec-
torial también sea un espacio vectorial. Por ejemplo, de la subsección anterior,
se sabe que el conjunto M2x2 (IR) es un espacio vectorial. Ahora, si se toma el
conjunto D2×2 (IR), que denota el conjunto de las matrices diagonales de 2x2
con elementos reales; es decir,
a 0
D2×2 (IR) = : a y b son números reales ;
0 b
D2×2 (IR) es un subconjunto de M2×2 (IR). Es claro también que sumar dos ma-
trices diagonales de 2 por 2 da una matriz diagonal e igualmente al multiplicar
un escalar por un matriz diagonal de 2 por 2. Tanto el vector cero (matriz
nula) como el vector inverso aditivo de cualquier elemento de S son obtenidos
a partir del caso general del espacio vectorial M2×2 (IR). Con estos alcances,
se puede verificar que el conjunto D2×2 (IR) cumple las diez propiedades de
espacio vectorial.
De acuerdo a lo anterior, se tiene la siguiente definición respecto de estos
subconjuntos.
De esta manera se puede decir entonces que que el conjunto de las matrices
diagonales de 2 por 2 es un subespacio vectorial de M2x2 (IR)
1.- Si u ∈ S, v ∈ S, entonces u + v ∈ S.
′ ′ ′
u + v = (a , b , −b ),
y ası́ u + v ∈ S.
2.- Sea α un número real cualquiera y u = (a, b, −b) un elemento cualquiera
de S, entonces:
αu = α(a, b, −b) = (αa, αb, −αb)
′ ′
Denotando a = αa y b = αb, se tiene que
′ ′ ′
αu = (a , b , −b )
y ası́ αu es un elemento de S.
S = {ax2 + bx + b − a : a y b ∈ IR}
Entonces, S es un subespacio de P2 con las operaciones de suma y producto
por escalar conocidas.
8 CAPÍTULO 1. ALGEBRA LINEAL
En efecto,
1.- Sean p y q dos elementos de S, entonces p = ax2 + bx + b − a y q =
cx2 + dx + d − c; a, b, c y d números reales.
p + q = (ax2 + bx + b − a) + (cx2 + dx + d − c)
= (a + c)x2 + (b + d)x + (b − a) + (d − c)
= (a + c)x2 + (b + d)x + (b + d) − (a + c),
′ ′ ′ ′
Denotando a = a + c, b = b + d, entonces a y b ∈ IR y se tiene que:
′ ′ ′ ′
p + q = a x2 + b x + b − a
Luego, p + q ∈ S.
2.- Sea α un escalar y p un elemento de S; esto es, p = ax2 + b + b − a; a y
b números rales, entonces:
αp = α(ax2 + bx + b − a)
= (αa)x2 + (αb)x + α(b − a)
= (αa)x2 + (αb)x + αb − αa,
′ ′ ′ ′
Si se denota a = αa y b = αb, entonces a y b son números reales y
′ ′ ′ ′
αp = a x2 + b x + b − a
y αp ∈ S.
Dado que S cumple las condiciones 1 y 2 del Teorema 1.2, S es un subespacio
de P2 .
Ejemplo 1.7. El conjunto de puntos en el plano, representado por IR2 , es un
espacio vectorial. Si consideramos el conjunto de puntos de una recta en el
plano que pasa por el origen, entonces dicho conjunto de puntos constituye un
subespacio vectorial de IR2 . Este conjunto puede ser definido como:
S1 = {(x, y) : y = x}
S2 = {(x, y) : y = 2x}
Geométricamente, tanto S1 como S2 son rectas en el plano que pasan por el
origen y por lo tanto son subespacio de IR2 , con las operaciones de suma y
producto por escalar usuales en IR2 .
El punto (1, 1) es un elemento de S1 y por lo tanto (1, 1) es un elemento de
S1 ∪ S2 . El punto (1, 2) es un elemento de S2 y por lo tanto es un elemento de
S1 ∪ S2 . Ahora,
α1 v1 + α2 v2 + ... + αn vn
se llama una combinación lineal de v1 , v2 ,..., vn .
5 10 1 2 0 3 1 3
=2 −1 +3
7 0 4 −1 −2 4 −1 2
5 2 1 1
x − 2x + = (x2 + 1) − 2(−x2 + x)
2 2 2
−α1 + 5α2 = −7
(1.1)
2α1 − 3α2 = 7
v = α1 v1 + α2 v2 + ..... + αn vn
Ejemplo 1.11. En el espacio vectorial IR3 , los vectores (1,0, 0), (0, 1, 0), (0, 0, 1)
generan IR3 .
En efecto:
Cualquiera sea el vector (a, b, c) en IR3 , se tiene que
Ejemplo 1.13. En el espacio vectorial D2×2 (IR) se tiene que las matrices
1 0 0 0
y
0 0 0 1
a 0
generan el mencionado espacio vectorial; ya que si es una matriz
0 b
diagonal con elementos reales, entonces
a 0 1 0 0 0
=a +b
0 b 0 0 0 1
2a + b − c = 0
con lo cual se tiene finalmente que
Observación 1.8. Referente a este último ejemplo, se verifica que dos vectores
no paralelos, en el espacio vectorial IR3 , generan un plano que pasa por el
origen.
Entre los conceptos más importantes y usados dentro de los espacios vec-
toriales, están los conceptos de dependencias lineal e independencia lineal. Para
ir visualizando este tema veamos la siguiente situación: si en el espacio vecto-
rial IR3 se toman los vectores u1 = (1, −1, 1), u2 = (1, 0, 2) y u3 = (1, −3, −1)
entonces se verifica que 3u1 − 2u2 = u3 o equivalentemente:
3u1 − 2u2 − u3 = θ;
14 CAPÍTULO 1. ALGEBRA LINEAL
lo que significa que el vector cero, θ, es escrito como una combinación lineal de
los vectores u1 , u2 y u3 sin que necesariamente los escalares correspondientes
sean ceros.
Al respecto, se entrega la siguiente la definición.
α1 v1 + α2 v2 + ... + αn vn = θ (1.2)
Si dichos vectores no son linealmente dependientes se dicen que son lineal-
mente independientes.
Observación 1.9. Una forma alternativa de decir que los vectores son lineal-
mente independientes es que si se tiene la ecuación (1.2), entonces
α1 = α2 = ... = αn = 0
Ejemplo 1.16. En el espacio vectorial IR3 los vectores (1, 1, 1), (1, 1, 0) y
(1, 0, 0) son linealmente independientes.
En efecto:
Sean α1 , α2 y α3 tales que
α1 + α2 + α3 = 0
α1 + α2 = 0
α1 = 0
α1 = 0, α2 = 0, α3 = 0
Luego, la única posibilidad en obtener la ecuación (1.3) es que los escalares que
intervienen sean todos iguales a cero; lo que verifica que los elementos (1, 1, 1),
(1, 1, 0) y (1, 0, 0) son linealmente independientes.
En efecto:
Si α1 , α2 y α3 son escalares tales que:
o sea:
Ahora, utilizando el hecho de que dos polinomios son iguales si los coeficientes
de las potencias correspondientes son iguales, se tiene el siguiente sistema de
ecuaciones lineales:
α1 + 3α2 + 11α3 = 0
−3α1 − 6α3 = 0
4α2 + 12α3 = 0
De la segunda ecuación del sistema se tiene que α1 = −2α3 , con lo cual re-
emplazando α1 en la primera ecuación, el sistema de tres ecuaciones lineales
anterior queda reducido al siguiente sistema de dos ecuaciones lineales:
3α2 + 9α3 = 0
4α2 + 12α3 = 0
Claramente, las dos ecuaciones son iguales y se tiene que α2 = −3α3 . Entonces
el sistema original tiene infinitas soluciones dadas por:
α1 = −2α3 , α2 = −3α3
Ası́, por ejemplo, si α3 = 1 entonces α1 = −2 y α2 = −3, con lo cual para
que la ecuación (1.4) se satisfaga no todos los escalares involucrados deben ser
nulos y por tanto el conjunto {x2 − 3x, 3x2 + 4, 11x2 − 6x + 12} es un conjunto
linealmente dependiente.
La noción de independencia lineal tiene especial importancia en lo que
constituye una base de un espacio vectorial, que puede ser considerado como
el conjunto que representa a un espacio vectorial.
Por ejemplo, en el espacio IR3 cualquier vector (a, b, c) puede ser escrito
como
(a, b, c) = ai + bj + ck;
donde i = (1, 0, 0), j = (0, 1, 0) y k = (0, 0, 1) son los llamados vectores
unitarios. Estos vectores generan IR3 y también se verifica, fácilmente, que son
linealmente independientes.
De la idea anterior surge la siguiente definición de base de un espacio
vectorial.
16 CAPÍTULO 1. ALGEBRA LINEAL
{v1 , v2 , ..., vn },
subconjunto de V , se dice base de V si:
(α1 , α2 , α3 ) = (0, 0, 0)
obteniéndose que:
α1 = 0, α2 = 0, α3 = 0
Es decir, la única forma de que se cumpla la ecuación (1.5) es que los escalares
involucrados sean todos nulos, lo que nos dice que el conjunto
En efecto,
Si se tienen los escalares α1 , α2 , α3 y α4 tales que:
1 0 0 1 0 0 0 0 0 0
α1 + α2 + α3 + α4 =
0 0 0 0 1 0 0 1 0 0
o equivalentemente:
α1 α2 0 0
=
α3 α4 0 0
entonces, claramente α1 = α2 = α3 = α4 = 0; lo que indica que se trata de un
conjunto linealmente independiente.
Por otro lado, cualquier elemento de M2x2 (IR):
a b
c d
puede ser escrito como
a b 1 0 0 1 0 0 0 0
=a +b +c +d
c d 0 0 0 0 1 0 0 1
lo que indica que el conjunto genera M2×2 (IR). Dicha base recibe el nombre
de base canónica de M2×2 (IR).
En efecto:
α1 + α2 + α3 = x
α1 + α2 = y
α1 = z
Resolviendo este sistema se tiene que:
α1 = z, α2 = y − z, α3 = x − y
Esto prueba que el conjunto A genera a IR3 .
i) y ii) verifican que A es base para el espacio vectorial IR3
Ejemplo 1.23. En el espacio vectorial P3 , el conjunto {1, t2 + 1, t3 + t2 , t3 + t}
de elementos de P3 , es una base para este espacio vectorial.
En efecto,
i) Sean α1 , α2 , α3 y α4 , tales que:
α3 + α4 = 0
α2 + α3 = 0
α4 = 0
α1 + α2 = 0
De la tercera ecuación se tiene que α4 = 0. Reemplazando este valor en la
primera ecuación, α3 = 0. Si los dos valores anteriores son reemplazados
en la segunda y cuarta ecuación se obtiene: α2 = 0 y α1 = 0. Lo anterior
indica que el conjunto en cuestión es linealmente independiente.
1.1. ESPACIOS VECTORIALES 19
α3 + α4 = a
α2 + α3 = b
α4 = c
α1 + α2 = d
α1 = a − b − c + d, α2 = −a + b + c, α3 = a − c, α4 = c
A continuación se entrega un resultado importante sobre bases de un
espacio vectorial lo que dará origen al concepto de dimensión de un espacio
vectorial.
En efecto,
Sean los escalares α1 , α2 y α3 tales que
−α1 + α2 = 0
α1 = 0
−α1 + α2 + α3 = 0
De la segunda ecuación se tiene que α1 = 0. Si se reemplaza este valor en
la primera ecuación y después en la tercera se llega a que α2 = 0 y α3 = 0,
respectivamente. Esto verifica que B es un conjunto linealmente independiente.
Como se sabe que dim(IR3 ) = 3 y B es un conjunto linealmente independiente
con tres elementos; constituyendo una base para IR3 .
Ejemplo 1.28. Sea T : M2x2 (IR) −→ IR2 ; donde M2x2 (IR) es el conjunto de
las matrices cuadradas de orden 2, tal que:
a b
T = (a + c, b + d)
c d
Entonces T definida de esta manera es un transformación lineal.
En efecto:
a b e f
Sean y en M2x2 (IR) y sea α en IR, luego:
c d g h
a b e f a+e b+f
i) T + =T
c d g h c+g d+h
= ((a + e) + (c + g), (b + f ) + (d + h))
= ((a + c) + (e + g), (b + d) + (f + h))
= (a + c, b + d) + (e + g, f + h)
a b e f
=T +T
c d g h
a b αa αb
ii) T α =T
c d αc αd
= (αa + αc, αb + αd)
= (α(a + c), α(b + d))
= α(a+ c, b +d)
a b
= αT
c d
c) T + L es una T.L..
Demostración
a) De la definición de transformación lineal.
b) Sea v en V , entonces:
T (θV ) = T (v + (−v))
1.2. TRANSFORMACIONES LINEALES 23
L ◦ T : V −→ Z
es una transformación lineal.
a) T (u − v) = T (u) − T (v)
Ker(T ) = {v ǫ V : T (v) = θW }
Im(T ) = {y ǫ W : ∃ x ǫ V, T (x) = y}
o también
Im(T ) = {T (x) : x ǫ V }
a) Ker(T ) es un subespacio de V .
b) Im(T ) es un subespacio de W .
Demostración
Ejemplo 1.30. Sea T : IR3 −→ IR3 definida por T (x, y, z) = (x, y, 0). Si
T (x, y, z) = (0, 0, 0) entonces, (x, y, 0) = (0, 0, 0), con lo cual x = 0 e y = 0 y
ası́ Ker(T ) = {(0, 0, z) : z ∈ IR}. Por la definición de T , Im(T ) = {(x, y, 0) :
x, y ∈ IR} = IR2 .
v = α1 v1 + α2 v2 + . . . . + αn vn ;
de donde,
w = T (v) = T (α1 v1 + α2 v2 + . . . . + αn vn )
Por propiedad de transformación lineal se tiene que:
w = α1 T (v1 ) + α2 T (v2 ) + . . . + αn T (vn )
con lo cual el vector w es una combinación lineal de T (v1 ), T (v2 ), ..., T (vn ). Co-
mo w es un elemento arbitrario en el espacio Im(T ), {T (v1 ), T (v2 ), ..., T (vn )}
genera Im(T ).
Ejemplo 1.31.
1.-Sea T : IR2 −→ IR3 definida por T (x, y) = (x + y, x − y, 3y), una trans-
formación lineal. Tomemos la base canónica de IR2 ; es decir, el conjunto
{(1, 0), (0, 1)}. Ahora, T (1, 0) = (1, 1, 0), T (0, 1) = (1, −1, 3). Por proposición
anterior, se tiene que Im(T ) es el conjunto generado por los elementos (1, 1, 0)
y (1, −1, 3); siendo estos elementos linealmente independientes y por lo tanto
forman una base para Im(T ).
2.- Sea T : IR3 −→ IR2 definida por T (x, y, z) = (x, y + z), una transfor-
mación lineal. Consideremos la base canónica {(1, 0, 0), (0, 1, 0), (0, 0, 1)} de
IR3 . Al evaluar T en cada elemento de la base se tiene que T (1, 0, 0) = (1, 0),
T (0, 1, 0) = (0, 1) y T (0, 0, 1) = (0, 1); es decir Im(T ) es generada por los ele-
mentos (1, 0) y (0, 1), que conforman la base canónica de IR2 . Ası́ Im(T ) = IR2 .
Demostración.
Sean k1 , k2 , . . . , kn n escalares tales que:
k1 v1 + k2 v2 + · · · kn vn = θV .
T (u) − T (v) = θW
T (u − v) = θW
3 = 1 + 2
Teorema 1.9. (Teorema Fundamental del Algebra Lineal). Sean {v1 , v2 , . . . .vn },
una base de V y {w1 , w2, . . . ., wn } un conjunto arbitrario de vectores de W . En-
tonces existe una única transformación lineal T : V −→ W , tal que T (vi ) = wi ,
i = 1, 2, . . . ., n.
a+b+c a+b−c
T (at2 + bt + c) = T (t + 1) − T (−t2 + 1)
2 2
a−b+c
+ T (t2 − t)
2
a+b+c a+b−c a−b+c
= (1, −1) − (0, −1) + (1, 0)
2 2 2
= (a + c, −c)
1.2. TRANSFORMACIONES LINEALES 29
Ejemplo 1.33. Sea T : IR3 −→ IR2 una transformación lineal, tal que:
T (x, y, z) = (x+y, z). Consideremos las bases B1 = {(3, 0, 0), (1, 2, −1), (0, 1, 5)}
de IR3 y B2 = {(1, −1), (2, −3)} de IR2 . Entonces:
T (3, 0, 0) = (3, 0) = 9(1, −1) − 3(2, −3)
T (1, 2, −1) = (3, −1) = 7(1, −1) − 2(2, −3)
T (0, 1, 5) = (1, 5) = 13(1, −1) − 6(2, −3)
Ası́, la matriz asociada a la transformación es:
9 7 13
[T ]B1 B2 =
−3 −2 −6
30 CAPÍTULO 1. ALGEBRA LINEAL
con lo cual:
T (x, y, z) = T (x(1, 0, 0) + y(0, 1, 0) + z(0, 0, 1))
= xT (1, 0, 0) + yT (0, 1, 0) + zT (0, 0, 1)
por propiedad de transformaciones lineales. O sea se tiene que:
T (x, y, z) = x(2, 4, −6) + y(−1, −2, 3) + z(3, 6, −9)
= (2x − y + 3z, 4x − 2y + 6z, −6x + 3y − 9z)
que corresponde a la expresión de la transformación lineal buscada.
−1
[v]B = 1
2
En efecto:
T (1, 0, 0) = (1, −2) = 57 (1, −1) − 15 (2, 3)
T (0, 1, 0) = (−1, 2) = − 75 (1, −1) + 15 (2, 3)
T (0, 0, 1) = (1, −2) = 75 (1, −1) − 15 (2, 3)
Luego la matriz asociada a la transformación T es :
7
− 75 7
5 5
[T ]B1 B2 =
1 1 1
−5 5
−5
Por otro lado si (x, y, z) ∈ IR3 , entonces:
3a − 2b a+b
(a, b) = (1, −1) + (2, 3)
5 5
y entonces
1.2. TRANSFORMACIONES LINEALES 33
3a−2b
5
[(a, b)]B2 =
a+b
5
Ası́,
7
− 75 7
7
x − 57 y + 75 z
5
x5 5
[T ]B1 B2 [(x, y, z)]B1 = y =
1 1 1 1 1 1
−5 5
−5 z −5x + 5y − 5z
7
5
(x − y + z)
=
1
5
(−x + y − z)
Ahora,
T (x, y, z) = (x − y + z, −2x + 2y − 2z)
= 57 (x − y + z)(1, −1) + 51 (−x + y − z)(2, 3)
por lo que:
7
5
(x − y + z)
[T (x, y, z)]B2 =
1
5
(−x + y − z)
y ası́ la igualdad mencionada en la proposición anterior se cumple.
A continuación se enuncian algunas propiedades interesantes, sin demos-
trar, y se muestran algunos ejemplos en la cual se puede visualizar la utilidad
que puede prestar una matriz asociada a una transformación lineal cuando se
desea operar con transformaciones lineales.
Proposición 1.10. Sean L y T dos transformaciones lineales de V en W .
Sean B1 y B2 base de V y W , respectivamente y λ un escalar. Entonces:
i) [L + T ]B1 B2 = [L]B1 B2 + [T ]B1 B2
ii) [λL]B1 B2 = λ[L]B1 B2
Proposición 1.11. Sean T : V −→ W y L : W −→ Z dos tranformaciones
lineales. Sean B1 , B2 y B3 bases de V , W y Z, respectivamente. Entonces:
1 3
T (1) = (1, −1) = − (1, 2) − (−1, 0),
2 2
de donde
− 12
[T ]B1 B2 =
− 32
es la matriz asociada a la transformación lineal T con respecto de las bases B1
y B2 . Por otro lado se tiene que
con lo que
1 −1
[L]B2 B3 = 2 0
−1 −1
por la Proposición 1.11 se tiene que
[T ]−1
BB = [T
−1
]BB
Ejemplo 1.39. Sea T : IR2 −→ IR2 una transformación lineal definida por
T (x, y) = (x, x + y)
Usando la propiedad [T ]−1
BB = [T
−1
]BB ; donde [T ]BB es la matriz asociada a T
con respecto de la base B = {(1, 0), (1, 2)}, la idea es encontrar la aplicación
inversa T −1 .
En efecto:
Evaluando T en los dos elementos de la base se tiene:
2x−y
=⇒ T −1 (x, y) = T −1 + y2 (1, 2)
2
(1, 0)
2x−y −1
=⇒ T −1 (x, y) = 2
T (1, 0) + y2 T −1 (1, 2)
2x−y
= 2
(1, −1) + y2 (1, 1)
= (x, y − x)
En efecto:
1 4 −4 4
Ax = =
2 3 2 −2
y
1.3. VALORES Y VECTORES PROPIOS 37
−4 4
λx = (−1) =
2 −2
de donde Ax = λx.
Eλ = {x ∈ IRn : Ax = λx}
det(A − λI) = 0,
donde I es la matriz identidad de orden n.
La expresión:
β1 + β2 + . . . + βk = n
El número βi , i = 1, 2 . . . , k, corresponde al número de veces que se repite
el factor (λ − λi ) y se le llama multiplicidad algebraica de λi . Por otra
38 CAPÍTULO 1. ALGEBRA LINEAL
ρ(λi ) ≤ βi , ∀ i = 1, 2, . . . . . . , k;
lo que quiere decir que la multiplicidad geométrica de λi no excede a su mul-
tiplicidad algebraica.
En efecto:
Por Proposición 1.13, los valores propios de la matriz A son obtenidos de
det(A − λI) = 0. Ası́
1 2 3 1 0 0
A − λI = 1 2 3 − λ 0 1 0
1 5 6 0 0 1
1−λ 2 3
= 1 2−λ 3
1 5 6−λ
con lo cual det(A − λI) = 0 implica que:
1−λ 2 3
1 2−λ 3 =0
1 5 6−λ
con lo que:
Obtengamos ahora los vectores propios, y por ende los espacios propios asocia-
dos a los valores propios. Para ello, reemplazamos los valores correspondientes
de λ en (A − λI)x = θ
x1 + 2x2 + 3x3 = 0
x1 + 2x2 + 3x3 = 0
x1 + 5x2 + 6x3 = 0
x1 + 2x2 + 3x3 = 0
x1 + 5x2 + 6x3 = 0
v1 := [−1, 2, 4]
> v2:=vector([5,-3,1]);
v2 := [5, −3, 1]
> v:=vector([-7,7,7]):
v := [−7, 7, 7]
> A:=matrix([v1,v2]);
−1 2 4
A :=
5 −3 1
> At:=transpose(A); # transpuesta de la matriz A
−1 5
At := 2 −3
4 1
> rank(AA);
2
Dado que el rango de At, la matriz de coeficientes del sistema de ecuaciones
lineales que resuelve este problema, es igual al rango de su matriz ampliada
AA , entonces se verifica que este sistema tiene solución y por lo tanto el vector
v es combinación lineal de los vectores v1 y v2. Para encontrar los escalares
correspondientes, la sentencia es:
> linsolve(At,v);
[2, −1]
Se puede encontrar una base para un espacio generado por un conjunto de
vectores usando el comando basis. Por ejemplo, para encontrar una base para
el espacio generado en IR3 por los vectores (1, 1, 1), (1, 1, 0) y (1, 0, 0) entonces
se escribe:
1.4. APLICACION DE MAPLE 41
> with(linalg):
> v1:=vector([1,1,1]):
> v2:=vector([1,1,0]):
> v3:=vector([1,0,0]):
> basis({v1,v2,v3});
{v1, v3}
Esto indica que (1, 0, 0) (v2) es combinación lineal de (1, 1, 1) (v1) y (−1, −2, −2)
(v3); siendo estos últimos linealmente indepedientes y por tanto una base para
el espacio generado por los tres vectores, que obviamente va ser un subespacio
(no trivial) de IR3 .
Transformaciones Lineales
Sea T la transformación lineal de IR2 en IR3 , definida por T (x, y) = (x, x+
y, x − y), entonces una rutina para obtener la matriz asociada con respecto de
las bases canónicas es la siguiente:
> with(linalg):
> T:=(x,y)->[x,x+y,y-x]; # definición de la transformación lineal T
T := (x, y)− > [x, x + y, y − x]
a := 1, 0
b := 0, 1
v1 := [1, 1, 1]
v2 := [0, 1, −1]
> A:=matrix([v1,v2]):
> AT:=transpose(A);
1 0
AT := 1 1
1 −1
Ası́, la matriz AT resultante es la matriz asociada.
También a partir de la matriz asociada se puede obtener unn base para
el Kernel o Núcleo de T con el comando nullspace. En el ejemplo anterior, el
Kernel es el conjunto que sólo contiene al vector nulo, con lo cual al ejecutar
el comando no se va a obtener respuesta. Pero, para la transformación lineal
L de IR3 en IR2 , definida por L(x, y, z) = (x, y − z) y que tiene un Kernel
distinto al conjunto que contiene al vector nulo, la matriz asociada a L con
respecto de las bases canónica es:
1 0 0
[L] =
0 1 −1
Ahora, para obtener una base para Kernel de L, se ejecuta:
> with(linalg):
> AL:=matrix([[1,0,0],[0,1,-1]]); # ingreso de la matriz asociada de L
1 0 0
AL :=
0 1 −1
> nullspace(AL);
[0, 1, 1]
Por lo tanto el conjunto {(0, 1, 1)} constituye una base para el Kernel de L.
Ahora, a partir de una matriz de orden m × n y de las bases canónicas
de IRm y IRn se puede obtener una transformación lineal de IRn en IRm . Por
ejemplo, sea la matrix A de 3x3:
1 1 1
A = 2 −1 0
−1 0 1
Si se considera que A es la matriz asociada a una transformación lineal con
respecto de las bases canónicas, entonces la transformación puede obtenerse
como:
1.4. APLICACION DE MAPLE 43
> with(linalg):
> A:=matrix([[1,1,1],[2,-1,0],[-1,0,1]]); # ingreso de la matriz asociada
1 1 1
A := 2 −1 0
−1 0 1
> T:=x->multiply(A,x):
> T([x,y,z]);
[x + y + z, 2x − y, −x + z]
lo cual la transformación lineal, de IR3 en IR3 correspondiente, está dada por
T (x, y, z) = (x + y + z, 2x − y, −x + z).
1, 3, 4
Lo anterior indica que los valores propios de la matriz A son los números 1, 3 y
4. Otra cosa interesante puede ser conocer le polinomio carasterı́stico asociado
a la matriz A, el cual se puede obtener con:
> charpoly(A,lambda);
λ3 − 8λ2 + 19λ − 12
La sentencia eigenvects entrega, para cada valor propio, una base para el es-
pacio propio asociado:
> eigenvects(A); # entrega una base para el espacio propio de cada valor propio
[1, 1, {[1, 2, 1]}], [3, 1, {[−1, 0, 1]}], [4, 1, {[1, −1, 1]}]
El resultado que nos entrega la sentencia nos dice que el valor propio 1 tiene
multiplicidad algebraica 1 y el espacio propio asociado a esta valor propio tiene
como base a {(1, 2, 1)}, el valor propio 3 tiene multiplicidad algebraica 1 y el
espacio propio asociado tiene como base a {(−1, 0, 1)} y, finalmente, el valor
propio 4 también tiene multiplicidad algebraica 1 y su espacio propio tiene
como base a {(1, −1, 1)}.
1.5. EJERCICIOS PROPUESTOS 45
• (x, y) + (z, w) = (x + z, y + 1)
• λ(x, y) = (λx, λy)
• A + B = BAt
• λA = (λaij )
3.- Analice por qué los siguientes subconjuntos del espacio vectorial dado no
constituyen un subespacio, con las operaciones de suma y producto por escalar
usuales para los ditintos espacios mencionados.
a) S = {(x, y, z) ∈ IR3 / x − 2y + 3z = 0}
b) { 23 t2 + 3t + 21 , t2 + 12 t + 21 , − 31 t2 − 21 } en P2 .
1.5. EJERCICIOS PROPUESTOS 47
8.- En cada uno de los siguientes casos, verifique que el conjunto B dado es
una base del espacio V que se indica.
11.- Dadas las siguientes aplicaciones, verifique que ellas son Transformaciones
Lineales..
B1 = {(1, −2), (1, 1)}, B2 = {(1, 0, 0), (0, 1, 0), (0, 0, 1)}
B1 = {(0, 1, 1), (2, −1, 0), (1, 0, 1)}, B2 = {(1, −1), (2, 3)}
T (x, y) = xt2 + yt + y − x
17.- Considere el espacio IR3 y la base B = {(1, 0, 0), (1, 1, 0), (1, 1, 1)}. Si
T : IR3 −→ IR3 es una transformación lineal tal que
1 1 1
[T ]BB = 1 1 0
1 0 0
Encuentre la ecuación que define a T −1 .
18.- Para las matrices dada a continuación, encontrar los valores propios y sus
espacios propios asociados:
1 −1 0
−2 −2
, −1 2 −1
−5 1
0 −1 1
50 CAPÍTULO 1. ALGEBRA LINEAL
Capı́tulo 2
FUNCIONES EN VARIAS
VARIABLES
2.1. INTRODUCCION
Muchos fenómenos de las ciencias pueden ser descritos por una función en
una variable, pero muchas otras cantidades dependen de más de una variable.
Por ejemplo:
Definición 2.1. Una función en varias variables es una relación que asigna
a cada elemento de un conjunto D, llamado dominio, uno y sólo un elemento
de un conjunto E, denominado co-dominio.
51
52 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
(x,y)
(a,b)
f (x,y)
f (a,b)
Ejemplo 2.1.
p
1.- Sea la función f , de dos variables, dada por f (x, y) = 9 − 4x2 − y 2.
Entonces, el dominio de la función son todos los puntos (x, y) del plano
tales que 4x2 +y 2 ≤ 9; debido a que en los números reales el argumento de
la raı́z cuadrada no debe ser negativo. Geométricamente, el dominio de
la función corresponde a la elipse que se muestra en la siguiente figura:
− 3/2 3/2
x
−3
p
f (0, 0) = 9 − 4(0)2 − (0)2 = 3
p
f (1, 1) = 9 − 4(1)2 − (1)2 = 2
p
f (1, 2) = 9 − 4(1)2 − (2)2 = 1
xy
2.- Consideremos la función f de dos variables definida por y−x 2 . Luego, su
La suma, producto y cuociente de dos funciones f y g en varias variables
son definidas análogamente como en las funciones de una variable. Ası́, las
propiedades para funciones de dos variables son:
(f ± g)(x, y) = f (x, y) ± g(x, y)
S
.
z=f(x,y)
..
(x,y,0) D
f (x, y) son las distancias (con signo) del plano xy a S, como se muestra en la
Figura 2.1.
Un método que es útil para describir la gráfica de una superficie dada por
una función f de dos variables, de la forma z = f (x, y), consiste en trazar en
el plano xy la gráfica de la ecuaciones f (x, y) = k para varios valores de k. Las
curvas que se obtienen de esta manera son las llamadas curvas de nivel de
la función f .
Ejemplo 2.2. Sea f la función de dos variables definida por f (x, y) = 6 −
2x − 3y. Tomando z = f (x, y) = 6 − 2x − 3y, las curvas de nivel, en el plano
xy, van a estar dadas por las ecuaciones 6 − x − 3y = c, para c ∈ IR dado; o
equivalentemente por x + 3y = 6 − c.
6−c
Estas curvas son rectas que cortan al eje x en 6 − c y al eje y en 3
:
y
−3 −2 −1 1 2 3 4 5 6 7 8 9 c = −3 x
c=0
c=3
c=9
ax + by + cz = d, a, b, c, d ∈ IR, constantes
lı́m f (x, y) = L
(x,y)→ (x0 ,y0 )
56 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
c=9
c=4
c=1
1 2 3
x
|f (x, y) − L| < ǫ.
lı́m f (x, y) = L
(x,y)→ (x0 ,y0 )
x
Figura 2.3: Cono sobre el plano xy
lı́m f (x, y)
f (x, y) (x,y)→ (x0 ,y0 )
lı́m = ; si lı́m g(x, y) 6= 0.
(x,y)→ (x0 ,y0 ) g(x, y) lı́m g(x, y) (x,y)→ (x0 ,y0 )
(x,y)→ (x0 ,y0 )
p r
lı́m f (x, y) = lı́m f (x, y); si lı́m f (x, y) > 0,
(x,y)→ (x0 ,y0 ) (x,y)→ (x0 ,y0 ) (x,y)→ (x0 ,y0 )
x3 +y 3
b) lı́m 2 2
(x,y)→ (−1,2) x +y
58 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
Solución:
3 +y 3
lı́m (x3 +y 3 )
( xx2 +y
(x,y)→ (−1,2)
b) lı́m 2) = lı́m (x2 +y 2 )
(x,y)→ (−1,2) (x,y)→ (−1,2)
(−1)3 + (2)3 7
= =
(−1)2 + (2)2 5
2 2
Ejemplo 2.5. Verifique que lı́m ( xx2 −y
+y 2
) no existe.
(x,y)→ (0,0)
En efecto: aquı́ no se puede reemplazar x e y por cero, dado que eso darı́a un
denominador nulo. Entonces:
(x2 − 0)
f (x, 0) = 2 = 1, para x 6= 0.
(x + 0)
(0 − y 2 )
f (0, y) = = −1, para y 6= 0.
(0 + y 2)
Por lo tanto a medida que nos acercamos al punto (0, 0) la función f puede
tomar el valor 1 si lo hacemos a lo largo del eje x y −1 si lo hacemos a lo largo
del eje y con, lo cual no existirı́a el lı́mite en (0, 0); ya que de acuerdo a la
Definición 2.2, si se toma ǫ = 1, entonces para cualquier punto (x, y) cercano
a (0, 0) debiera tenerse que:
pero, claramente no existe ningún L tal que el intervalo (−1+L, 1+L) contenga
a 1 y −1.
Lo anterior se debe a que se verifica que si el lı́mite existe, este es único.
Ahora, en el plano xy existen infinitas trayectorias para alcanzar un punto. Lo
anterior da lugar a lo siguiente:
Regla de las trayectorias: si dos trayectorias que llevan a un punto (x0 , y0 )
producen dos valores diferentes de lı́mite entonces:
lı́m f (x, y)
(x,y)→ (x0 ,y0 )
Definición 2.3.
f (x, y) = ln(x + y − 1)
Solución:
Sabemos que el logaritmo natural esta definido y tiene un valor real cuan-
do su argumento es positivo, es decir, cuando x + y − 1 > 0; con lo cual f es
continua para todo (x, y) en el plano tal que x + y > 1.
Solución:
(x2 − y 2 ) (x + y)(x − y)
lı́m f (x, y) = lı́m = lı́m
(x,y)→ (1,1) (x,y)→ (1,1) x−y (x,y)→ (1,1) (x − y)
= lı́m (x + y) = 2
(x,y)→ (1,1)
(x2 − y 2 )
lı́m f (x, y) = lı́m = lı́m (x + y) = 4
(x,y)→ (2,2) (x,y)→ (2,2) x−y (x,y)→ (2,2)
f (x0 + h, y0 ) − f (x0 , y0 )
fx (x0 , y0 ) = lı́m
h→ 0 h
cuando este lı́mite existe. La derivada parcial de f con respecto de y en
el punto (x0 , y0 ) se define como:
f (x0 , y0 + h) − f (x0 , y0 )
fy (x0 , y0) = lı́m
h→ 0 h
cuando este lı́mite existe.
2.3. DERIVADAS PARCIALES 61
f (x + h, y) − f (x, y)
fx (x, y) = lı́m (2.2)
h→ 0 h
f (x, y + h) − f (x, y)
fy (x, y) = lı́m (2.3)
h→ 0 h
en los puntos del dominio de f donde estos lı́mites existan. Frecuentemente,
las derivadas anteriores, son denotadas por ∂f
∂x
y ∂f
∂y
, respectivamente. En (2.2)
se está dejando a y como una constante y por lo tanto la función f se estarı́a
considerando sólo como una función de x, con lo cual fx (x, y) serı́a como una
derivada simple en x. Análogamente, en (2.3) fy (x, y) serı́a como una derivada
simple en y. Es decir, para calcular una derivada parcial a una función de dos
variables se procede en forma análoga al caso de funciones de una variable,
como se ve en el siguiente ejemplo.
Ejemplo 2.8. Dada la función f , de dos variables, con expresión
f (x, y) = 3xy − x2 y + x3 y 2
Solución:
De acuerdo a las definiones anteriores de las derivadas, las fórmulas para
la suma, producto y el cuociente para las derivadas parciales son equivalentes
a las fórmulas de las derivadas de funciones en una variable. Ası́, si f y g son
funciones con derivadas parciales, entonces:
(f ± g)x = fx ± gx
(f g)x = fx g + f gx
62 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
f fx g − f gx
= , g 6= 0
g x g2
Análogamente, estas fórmulas se cumplen para la derivada parcial fy
∂z
Ejemplo 2.9. Sea z = x2 ysen(xy). Obtener ∂x
∂z ∂ 2 ∂
= (x y)(sen(xy)) + x2 y (sen(xy))
∂x ∂x ∂x
= 2xysen(xy) + x2 y(ycos(xy))
= 2xysen(xy) + x2 y 2cos(xy)
= xy(2sen(xy) + xycos(xy))
xy 2 ∂z
Ejemplo 2.10. Sea z = exy
. Obtener ∂y
.
Solución:
∂ ∂
∂z ∂y
(xy 2 )(exy ) − xy 2 ∂y (exy )
=
∂y (exy )2
2xyexy − xy 2 (xexy )
=
(exy )2
xyexy (2 − xy)
=
(exy )2
xy(2 − xy)
=
exy
Se puede pensar la derivada parcial de una función f con respecto de x
en un punto (x0 , y0 ), fx (x0 , y0), como el régimen de cambio de f en (x0 , y0 ) con
respecto al eje x, cuando y permanece constante. Por ejemplo, supongamos que
f (x, y) representa el valor de la temperatura en un punto (x, y) de un metal
plano tendido sobre el plano xy, entonces fx (x0 , y0) representa la razón de
cambio (instantánea) de la temperatura en el punto (x0 , y0 ) a lo largo de una
recta que pasa por dicho punto paralelo al eje x (Figura 2.4). Si la temperatura
aumenta cuando x crece entonces fx (x0 , y0 ) > 0, mientras que si la temperatura
decrece cuando x crece, entonces fx (x0 , y0) < 0.
Para un función f de tres variables, las derivadas parciales en un punto
(x0 , y0 , z0 ) en el dominio de f son definidas como:
2.3. DERIVADAS PARCIALES 63
. (x 0 ,y0 )
x y=y0
f (x0 , y0 + h, z0 ) − f (x0 , y0 , z0 )
fy (x0 , y0 , z0 ) = lı́m
h→ 0 h
Ejemplo 2.11. Sea f (x, y, z) = e2x cosz + e3y senz. Encontrar las derivadas
parciales de f .
∂f
= 2e2x cosz, constantes y, z.
∂x
∂f
= 3e3y senz, constantes x, z.
∂y
∂f
= −e2x senz + e3y cosz, constantes x, y.
∂z
64 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
∂2f
∂ ∂f
(fx )x = fxx = =
∂x ∂x ∂x2
∂2f
∂ ∂f
(fx )y = fxy = =
∂y ∂x ∂y∂x
∂2f
∂ ∂f
(fy )x = fyx = =
∂x ∂y ∂x∂y
∂2f
∂ ∂f
(fy )y = fyy = = 2
∂y ∂y ∂y
Estas derivadas parciales son llamadas segundas derivadas parciales de
f . Las funciones fxy y fyx son usualmente llamadas derivadas parciales
mixtas.
Ejemplo 2.12. Sea f (x, y) = x2 y 3 + 3xy − 2xy 2 . Obtener las segundas deri-
vadas parciales de f .
Solución: Las primeras derivadas parciales de f son:
fx (x, y) = 2xy 3 + 3y − 2y 2 , fy (x, y) = 3x2 y 2 + 3x − 4xy.
Entonces:
∂
fxx (x, y) = (2xy 3 + 3y − 2y 2) = 2y 3
∂x
∂
fxy (x, y) = (2xy 3 + 3y − 2y 2) = 6xy 2 + 3 − 4y
∂y
∂
fyx (x, y) = (3x2 y 2 + 3x − 4xy) = 6xy 2 + 3 − 4y
∂x
∂
fyy (x, y) = (3x2 y 2 + 3x − 4xy) = 6x2 y − 4x
∂y
En el ejemplo anterior las derivadas parciales mixtas fxy y fyx resultan
ser iguales. El siguiente teorema afirma que, en condiciones adecuadas, las dos
derivadas parciales mixtas son iguales; es decir, el orden de la derivación no
altera el resultado.
Teorema 2.1. Sea f una función de dos variables x e y. Asumamos que fxy
y fyx son continuas en un punto (x0 , y0 ) del plano xy, entonces
fxy (x0 , y0 ) = fyx (x0 , y0 )
A partir del resultado anterior, se puede afirmar que si fxy y fyx son
funciones continuas en una región R del plano xy, entonces fxy = fyx en R.
Las segundas derivadas parciales de una función f de tres variables; x, y, z
son definidas de manera equivalente al caso de funciones de dos variables.
Además, si fxy y fyx son continuas en un punto (x0 , y0 , z0 ), entonces:
fxy (x0 , y0 , z0 ) = fyx (x0 , y0 , z0 )
En forma análoga estos resultados se cumplen para fxz , fzx y fzy , fyz .
2.4. GRADIENTE Y DIFERENCIAL TOTAL 65
Definición 2.5. Sea f una función de dos variables x, y que tiene derivadas
parciales de primer orden, en un punto (x0 , y0 ). El gradiente de f en (x0 , y0),
es el vector denotado por ∇f (x0 , y0 ) y definido por:
Entonces:
∇f (x, y) = −4xyi + (2y − 2x2 )j
Por lo tanto:
∇f (1, −1) = 4i − 4j
con lo cual es representado en la Figura 2.5.
En forma análoga a la definición de gradiente de funciones de dos varia-
bles, se define el gradiente de una función f de tres variables, x, y, z en un
punto (x0 , y0 , z0 ) del espacio por:
4 x
−4
∇f (1, 1, 1) = i + 3j + 2k
Este vector está representado en la figura 2.6.
Como se menciona al principio de esta sección, una de las aplicaciones
más importantes del vector gradiente es el papel que juega en la obtención del
plano tangente a una supeficie.
Para llegar a lo anterior, comencemos diciendo que si C es una curva
suave en el plano xy dada por una función f que es diferenciable en un punto
(x0 , y0 ), cuya ecuación es de la forma f (x, y) = c, c una constante, entonces se
puede demostrar que si ∇f (x0 , y0 ) 6= (0i + 0j), entonces ∇f (x0 , y0) es normal o
perpendicular a la pendiente a la curva en el punto (x0 , y0 ). Geométricamente,
esta situación es mostrada en la figura 2.7.
2 ∆
f(1,1,1)
1
1 2 3 y
1
x
Figura 2.6: ∇f (1, 1, 1) = i + 3j + 2k
con lo cual:
∇f (x, y) = (3x2 y − 2y)i + (x3 − 2x + 2y)j
y ası́:
∇f (1, 3) = 3i + 5j
Resultando el vector 3i + 5j normal a la pendiente en la curva en el punto
(1, 3).
Ahora, consideremos una superficie S cuya gráfica esta dada por la ecua-
ción F (x, y, z) = c, c una constante; donde F tiene primeras derivadas con-
tinuas. Sea (x0 , y0 , z0 ) un punto de S en que Fx , Fy y Fz no son todas nulas.
Entonces se demuestra que el vector ∇F (x0 , y0 , z0 ) es perpendicular al plano
tangente a S en (x0 , y0 , z0 ) (Figura 2.8).
Por otra parte, el plano que pasa por (x0 , y0, z0 ) y tiene como vector
normal a ∇F (x0 , y0 , z0 ) es el plano tangente a S en (x0 , y0 , z0 ) y se dice que
dicho vector es un vector normal a la superficie S en (x0 , y0 , z0 ). Todo esto
lo resumimos en el siguiente resultado.
y
∆
f(x0 ,y 0 )
(x 0 ,y 0)
√ √ √ √
Fx (1, 1, 7) = 2, Fy (1, 1, 7) = 2, Fz (1, 1, 7) = 2 7.
√
Entonces, la ecuación del plano tangente a la superficie en el punto (1, 1, 7)
es: √ √
2(x − 1) + 2(y − 1) + 2 7(z − 7) = 0
√
2x + 2y + 2 7z = 18
z
∇f(x0,y0,z0)
S
.
(x0,y0,z0)
x
Figura 2.8: Gradiente de F perpendicular al plano tangente a S, en (x0 , y0 , z0 )
Solución:
∇f(1,1, 7)
(1,1, 7)
3 S
.
3
y
x
√
Figura 2.9: Plano tangente a la esfera en el punto (1, 1, 7)
Claramente, este valor se puede obtener calculando f (0.99, 1.02) − f(1, 1).
La Definición 2.6 de ∆z0 entrega sólo la forma de calcular la diferencia
de los valores funcionales entre dos puntos que se suponen cercanos; no sien-
do adecuada para obtener resultados sobre la variación de f en esos puntos.
Al respecto, para derivar a una fórmula más útil se entrega la definición de
diferenciabilidad, para una función de dos variables.
Definición 2.7. Una función f de dos variables es diferenciable en un punto
(x0 , y0 ) si existen un disco D centrado en (x0 , y0) y funciones ǫ1 y ǫ2 de dos
variables tal que:
donde:
lı́m ǫ1 (x, y) = 0 y lı́m ǫ2 (x, y) = 0
(x,y)→ (x0 ,y0 ) (x,y)→ (x0 ,y0 )
f (x0 + ∆x, y0 + ∆y) − f (x0 , y0) ≈ fx (x0 , y0)∆x + fy (x0 , y0)∆y (2.7)
∂z ∂z
dz = fx (x, y)dx + fy (x, y)dy = dx + dy
∂x ∂y
Ejemplo 2.18. Sea z = 2y 2 − xy. Encuentre la diferencial dz y a partir de
ella obtenga en forma aproximada la variación de z cuando (x, y) cambia de
(1,1) a (0.99,1.02)
Solución:
∂z ∂z
dz = dx + dy
∂x ∂y
= −ydx + (4y − x)dy
∂T ∂T
dT = dx + dy
∂x ∂y
De acuerdo a la variación entre las coordenadas se tiene que dx = 0.01 y
dy = −0.97. Ahora:
∂T
= 2 · 10(x2 + y 2 ) · 2x = 40x(x2 + y 2 )
∂x
∂T
= 2 · 10(x2 + y 2) · 2y = 40y(x2 + y 2)
∂y
de donde:
x
74 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
0 y
Un caso especial es aquel en que el dominio es una región en el plano xy y
el codominio es un conjunto de vectores en el plano. Dicho caso corresponde a
un campo vectorial F en dos dimensiones, que es una función dada por:
Ejemplo 2.22. Si F (x, y) = xi+yj, entonces este campo vectorial está descrito
en el siguiente gráfico:
x
2.5. ROTOR Y DIVERGENCIA 75
Existen dos tipos de derivadas que se obtienen a partir de un campo
vectorial, una que es una función real evaluada y la otra que es un campo
vectorial. Se comienza difiniendo la funcion real evaluada.
Definición 2.9. Sea F (x, y, z) = M(x, y, z)i + N(x, y, z)j + P (x, y, z)k, un
campo vectorial tal que Mx , Ny y Pz existen. Entonces la divergencia de F ,
es denotada por div F , y está dada por:
∂M ∂N ∂P
div F = (x, y, z) + (x, y, z) + (x, y, z) .
∂x ∂y ∂z
Solución: Si se define:
Entonces:
∂M ∂N ∂P
div F = (x, y, z) + (x, y, z) + (x, y, z)
∂x ∂y ∂z
= y + 4yz + 8x3 z
Una aplicación fı́sica de la divergencia puede observarse en el siguiente
ejemplo.
i
∂ j∂ k∂
rot F = ∂x ∂y ∂z
M N P
∂P 2 ∂N ∂M
∂x
= −2xex , ∂x
= 2xyz, ∂y
= 4xy
Entonces:
2
rot F = −x2 yi + (1 + 2xex )j + (2xyz − 4xy)k
Nuevamente, si se supone que F representa el campo de velocidades de
un fluido, que se mueve a través de una región sólida, entonces las partı́culas
en el fluido tienden a rotar con la máxima rapidez alrededor de un eje en la
dirección de rot F (x, y, z), como se muestra el Figura 2.10; donde (x, y, z) es
un punto del fluido.
Si rot F (x, y, z) = 0, entonces el campo vectorial F se dice irrotacional,
independientemente si F representa o no un campo de velocidades.
De las distintas relaciones entre el gradiente, divergencia y rotor, las mas
frecuentes son:
div(rot F ) = 0
rot(grad F ) = θ
Otra fórmula importante es:
∂2f ∂2f ∂2f
div(grad f ) = + +
∂x2 ∂y 2 ∂z 2
El lado derecho de esta última relación se llama Laplaciano de f y usualmente
se denota por ∇2 f
rot F(x, y, z)
(x, y, z)
2.- Sean z = f (x, y), x = g1 (u, v), y = g2 (u, v). Entonces se tiene que
z = f (g1 (u, v), g2(u, v)) ≡ F (u, v) y
∂z ∂z ∂x ∂z ∂y
= + (2.9)
∂u ∂x ∂u ∂y ∂u
∂z ∂z ∂x ∂z ∂y
= + (2.10)
∂v ∂x ∂v ∂y ∂v
78 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
4.- Sean w = f (x, y, z), x = g1 (u, v), y = g2 (u, v) z = g3 (u, v). Entonces
se tiene que w = f (g1 (u, v), g2(u, v), g3(u, v)) ≡ F (u, v) y
∂w ∂w ∂x ∂w ∂y ∂w ∂z
= + + (2.12)
∂u ∂x ∂u ∂y ∂u ∂z ∂u
∂w ∂w ∂x ∂w ∂y ∂w ∂z
= + + (2.13)
∂v ∂x ∂v ∂y ∂v ∂z ∂v
dz
Ejemplo 2.26. Sea z = x2 ey ; x = sent, y = t3 . Encontrar dt
.
Solución: La variable z resulta ser finalmente función de t. Aplicando (2.8)
se llega a que:
dz
= (2xey )(cos t) + (x2 ey )(3t2 )
dt
= 2xey cos t + 3x2 t2 ey
Ahora se debe reemplazar x por sent e y por t3 , obteniéndose finalmente:
dz 3 3
= 2et sen t cos t + 3t2 et sen2 t
dt
Ejemplo 2.27. Suponga que z = xlny, x = u2 + v 2 , y = u2 − v 2 . Encontrar
∂z ∂z
∂u
y ∂v .
Solución: Aquı́ se debe usar relaciones (2.8) y (2.9), ya que a través de x e y,
z resulta ser función de u y v, con lo que se llega a que:
∂z x
= (ln y)(2u) + 2u
∂u y
x
= 2uln y + 2u
y
Haciendo x = u2 + v 2 , y = u2 − v 2 se obtiene finalmente:
∂z u2 + v 2
= 2uln(u2 − v 2 ) + 2u 2
∂u u − v2
Análogamente, se tiene que:
∂z x
= (ln y)2v + (−2v)
∂v y
u2 + v 2
= 2vln(u2 − v 2 ) − 2v
u2 − v 2
A continuación, vemos un ejemplo de la regla de la cadena aplicado a un
problema de la quı́mica.
2.6. REGLA DE LA CADENA 79
y 3 + 3y 2 − 5x4 − 4x = 0
Solución: Haciendo:
f (x, y) = y 3 + 3y 2 − 5x4 − 4x
Entonces:
′ ∂f (x, y) ∂f (x, y)
y = −
∂x ∂y
−20x3 − 4 20x3 + 4
= − =
3y 2 + 6y 3y 2 + 6y
En forma análoga con el caso anterior, si se tiene una función f de tres
variables: x, y, z, dada por la ecuación de la forma f (x, y, z) = 0 en que fz no
∂z
es nula y z depende implicı́tamente de las variables x e y se verifica que ∂x y
∂z
∂y
están dadas por:
∂z fx (x, y, z) ∂z fy (x, y, z)
=− , =−
∂x fz (x, y, z) ∂y fz (x, y, z)
Definición 2.11. Sea f una función de dos variables. Un par (x0 , y0 ) se dice
punto crı́tico de f si fx (x0 , y0 ) = fy (x0 , y0 ) = 0, ó bien fx (x0 , y0 ) ó fy (x0 , y0)
no existe.
Observación 2.5. Del Teorema 2.3 se puede concluir que para que un punto
pueda ser máximo o mı́nimo relativo, este debe ser un punto crı́tico.
f (x, y) = 3 − x2 + 2x − y 2 − 4y
Solución: Los puntos crı́ticos de f son soluciones del sistema de las dos
ecuaciones:
fx (x, y) = 0, fy (x, y) = 0;
vale decir,
−2x + 2 = 0, −2y − 4 = 0
El único punto que satisface estas dos ecuaciones es el punto (1,-2), con lo cual
(1,-2) es el único punto crı́tico de f .
El siguiente ejemplo muestra que pueden existir puntos que no son máxi-
mos ni mı́nimos relativos, aunque sean puntos crı́ticos.
entonces, el punto (0,0) es el único punto crı́tico de f , con lo cual el único punto
extremo posible es el punto (0,0) con valor extremo f (0, 0) = 0. Sin embargo,
debido a que f (x, 0) = −x2 < 0 para x 6= 0 y f (0, y) = y 2 > 0 para y 6= 0, no
existe ningun disco D, centrado en el punto (0, 0), tal que f (0, 0) = 0 ≥ f (x, y)
o f (0, 0) = 0 ≤ f (x, y) para todo (x, y) en D. Por consiguiente, el punto (0,0)
no es máximo ni mı́nimo relativo. De hecho, al dibujar la gráfica de la función
f se obtiene:
z=y2- x2
2x − 2y = 0
−2x + y 2 − 3 = 0.
x2 − 2x − 3 = 0
o equivalentemente:
(x − 3)(x + 1) = 0
Como D(3, 3) = 8 > 0 y fxx (3, 3) = 2 > 0, entonces f tiene un mı́nimo relativo
en el punto (3, 3). Puesto que D(−1, −1) = −8 < 0, entonces f tiene un punto
de silla en (−1, −1).
Ejemplo 2.33. Se desea construir una caja sin tapa con la forma de un para-
lelepı́pedo rectangular que tenga un volumen de 32 cms3 . Calcular las dimen-
siones de la caja de tal manera que el área a ocupar por ella sea mı́nima.
84 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
A = xy + 2xz + 2yz
xyz = 32
de donde
32
z=
xy
Reemplazando z en la fórmula de A y simplificando se obtiene:
64 64
A(x, y) = xy + +
y x
con x > 0 e y > 0. Los puntos crı́ticos se obtienen resolviendo el sistema de
dos ecuaciones:
64 64
Ax = y − = 0, Ay = x − =0
x2 y2
con lo que x2 y = 64 y xy 2 = 64, respectivamente. De la primera ecuación
se obtiene que y = x642 y sustituyendo y en la segunda se llega a:
2
64
x = 64
x2
o bien
x3 = 64 =⇒ x = 4
De y = x642 resulta que y = 4, con lo que el punto (4, 4) es el único punto crı́tico.
Determinando las segundas derivadas parciales se tiene que:
128 128
Axx = 3
, Ayy = 3 , Axy = 1
x y
y ası́
128 128
D(x, y) = −1
x3 y 3
y por lo tanto
D(4, 4) = 2 ∗ 2 − 1 = 3 > 0
luego D(4, 4) > 0 y Axx (4, 4) = 2 > 0, por lo tanto de, acuerdo al Teorema 2.4,
el punto (4, 4) es un punto de mı́nimo relativo. Este punto pasa a ser también
un mı́nimo global, dado que es el único punto crı́tico.
2.7. VALORES EXTREMOS 85
32
Finalmente, reemplazando x = y = 4 en z = xy se tiene que z = 2. Ası́ las
longitudes de la caja que minimizan su área son la base de 4 por 4 cms y la
altura de 2 cms; siendo entonces el área mı́nima A = 48 cms2
Hasta aquı́ no se ha tocado el caso en que las variables involucradas están
restringidas a tomar valores sólo dentro de un conjunto acotado del plano. Esta
situación es abordada de la siguiente manera:
Sea S un conjunto acotado en el plano, (esto es, S está contenido en una región
rectangular cerrada) y que contiene su borde o frontera. Bajo estas condiciones
se entrega el siguiente resultado para funciones de dos variables:
Teorema 2.5. Sea S un conjunto acotado en el plano xy que contiene su
borde y sea f una función de dos variables continuas en S. Entonces, f tiene
un valor máximo y un valor mı́nimo en S.
Por lo visto anteriormente, se ve que si S es un conjunto acotado y f
tiene un valor extremo en S en un punto (x0 , y0 ) entonces dicho punto es un
punto crı́tico de S o bién es un punto de frontera de S. Este hecho junto con el
Teorema 2.5 nos proporciona una metodologı́a para encontrar valores extremos
en un conjunto acotado S:
1. Ver la existencia de puntos crı́ticos de f en el conjunto S.
2. Encontrar los valores extremos de f sobre la frontera S.
3. El valor máximo de f en S es obtenido como el mayor de los valores
calculados en los puntos obtenidos en 1 (si es que los hay) y 2 y el valor
mı́nimo de f en S se obtiene del más pequeño de dichos valores.
Ejemplo 2.34. Sea f (x, y) = x2 − 4xy + y 3 + 4y. Encontrar el valor máximo
y el valor mı́nimo de la región triangular S que tiene como vértices los puntos
(−1, −1), (7, −1) y (7, 7).
Solución: Gráficamente, la región S es:
y
(7,7)
l1
l3
x
(−1,−1) l2 (7,−1)
86 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
se sigue que los puntos crı́ticos se obtienen de la solución del sistema de dos
ecuaciones:
2x − 4y = 0 (2.16)
−4x + 3y 2 + 4 = 0 (2.17)
3y 2 − 8y + 4 = 0
Denotando
g(x) = x3 − 3x2 + 4x
se tiene que:
g ′ (x) = 3x2 − 6x + 4
f (x, −1) = x2 + 4x − 1 − 4 = x2 + 4x − 5
Denotando
g(x) = x2 + 4x − 5
2.7. VALORES EXTREMOS 87
entonces
g ′ (x) = 2x + 4
que vale cero cuando x = −2, pero este número no se encuentra en el intervalo
[−1, 7]. Nuevamente, vemos que g ′ (x) es positiva en dicho intervalo con lo cual
g es creciente en el intervalo; obteniendo el valor mı́nimo en x = −1 y valor
máximo en x = 7. Ası́, el valor mı́nimo en l2 es f (−1, −1) = −8 y el valor
máximo es f (7, −1) = 72.
Finalmente, en l3 se tiene que x = 7, −1 ≤ y ≤ 7, y la función f queda dada
por:
Denotando
g(y) = y 3 − 24y + 49
entonces
g ′ (y) = 3y 2 − 24
√ √
Ahora, si g ′ (y) = 0, entonces y = ± 8. Como − 8 queda √ fuera del intervalo
[−1, 7] entonces g tiene un solo punto crı́tico en l3 , y = 8. Como
g ′′ (y) = 6y
√
entonces y = 8 es un punto√de mı́nimo. Analizando √ g ′ (y) se ve que g es
decreciente en el intervalo [−1, 8) y creciente en ( 8, 7], con lo que se concluye
que el valor máximo de g está entre √ g(−1)√y g(7).√Al evaluar se tiene que
g(−1) = 72 y g(7) = 224. Ası́, f (7, 8) = 16 2 − 48 2 + 49 ≈3.75 es el valor
mı́nimo en l3 y f (7, 7) = 224 su valor máximo.
Ahora, resumiendo se tiene lo siguiente:
Primero, en los puntos crı́ticos de f se tiene que f (4, 2) = 0 y f ( 34 , 32 ) = 32
27
≈
1.1852. El valor mı́nimo en l1 es f (−1, −1) = −8 y el valor máximo en l1 es
f (7, 7) = 224. En l2 , el valor mı́nimo es f (−1, −1)
√ = −8 y el valor máximo es
f (7, −1) = 72. Y en l3 , el valor mı́nimo es f (7, 8) ≈3.75 y su valor máximo
f (7, 7) = 224. Entonces, el valor mı́nimo de f en S es f (−1, −1) = −8 y el
valor máximo de f en S es f (7, 7) = 224.
88 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
g(x,y) = 0
C
f(x,y) = c3
f(x,y) = c2
∆ y
f (x0 ,y0)
g(x,y) = c
(x0 ,y0)
f(x,y) = c1
∇f (x0 , y0 ) = λ∇g(x0 , y0 )
∇f (x, y) = λ∇g(x, y)
∇f (x, y) = yi + xj
∇g(x, y) = 8xi + 2yj
yi + xj = λ(8xi + 2yj).
Usando el hecho de que dos vectores son iguales, si son iguales componentes a
componentes, se tiene que
y = 8λx, x = 2λy
de donde,
x − 16λ2 x = 0 ó x(1 − 16λ2 ) = 0
y por lo tanto
1
x = 0 ó λ = ±
4
2 2
Si x = 0, de la ecuación 4x + y − 4 = 0, se obtiene y = ±2. Por lo tanto
los puntos (0,2) y (0,-2) son posibles valores extremos para f (x, y). Si λ =
± 14 , entonces de y = 8λx, se obtiene y = ±2x. Nuevamente, de la ecuación
4x2 + y 2 − 4 = 0, resulta
o bien √
2
x=±
2
√
con lo cual y = ± 2. Esto da los puntos extremos posibles
√ √ √ √
2 √ 2 √ 2 √ 2 √
( , 2), ( , − 2), (− , 2), (− , − 2)
2 2 2 2
Evaluando f en todos los puntos encontrados, se tiene √ √
lo siguiente
2
f (0, 2) = 0, f (0, √
−2) = 0, f ( 2 √, 2) = 1
√ √ √ √
f ( 2 , − 2) = −1, f (− 2 , 2) = −1, f (− 22 , − 2) = 1
2 2
√ √ √ √
2 2
Ası́ f alcanza su valor máximo 1, sobre g(x, y) = 4, en ( 2
, 2) y (− 2
, − 2)
√
2
√ √ √
2
y su valor mı́nimo -1 en ( 2 , − 2) y (− 2 , 2).
2.9. APLICACION DE MAPLE 91
−29
> f(2,-1);
En forma análoga se definen las funciones de tres variables. Por ejemplo, para
definir la función g, cuya expresión es g(x, y, z) = xz − x2 y + yz 2 , se ejecuta:
> g:=(x,y,z)− > x*z-x∧2*y+y*z∧2; # se define la expresión de la función g
−1
> g(3,0,-2);
−6
100
50
–50
–100
–10 –10
–5 –5
0 0
y x
5 5
10 10
la parte superior del ambiente Maple. Una de las que es usada comunmente es
la orientación del gráfico; ya que algunas veces la gráfica que queda por defecto
no se aprecia muy clara y es necesario rotarla para una mejor visualización.
Para escribir dicha opción en una sentencia, se debe poner dentro del plot3d
como orientation = [a, b]; donde a indica el ángulo para mover a izquerda o
derecha y b el ángulo hacia adelante o atrás, los dos ángulos en grados; siendo
por defecto dichos ángulos 45o , ambos.
En algunas situaciones, la ecuación a graficar viene dada de tal manera
que resulta complicado despejar la variable depediente z. Esto se resuelve con
el comando implicitplot, colocando previamente el comando with(plots). Ası́,
si se desea graficar la superficie dada por la ecuación x2 + y 2 + z 2 = 9, (esfera
de radio 3), para −5 ≤ x ≤ 5, −5 ≤ y ≤ 5, −5 ≤ z ≤ 5 (aquı́ se debe poner el
rango de la variable dependiente z), se debe digitar lo siguiente:
> with(plots):
> implicitplot3d(x∗∗2+y∗∗2+z∗∗2 = 9,x=-5..5,y=-5..5,z=-5..5,orientation=[
35,50],axes=FRAME); # realiza la gáfica rotada con los ejes coordenados
z 0
–2
–4 –4
–2
–4
–2 0
x
0 2
y
2
4
4
10
y 5
–10 –5 0 5 10
x
–5
–10
Derivadas Parciales
Para obtener las derivadas parciales de una función es utilizado el co-
mando diff. Si se tiene la función f de dos variables con expresión f (x, y) =
x2 y + xy 2 , entonces para obtener ∂f
∂x
se realiza de la siguiente manera:
> f:=(x,y)-¿x∧2*y+x*y∧2;
2xy + y 2
∂2f ∂2f
Para obtener una derivada de orden 2, por ejemplo, ∂x2
y ∂y∂x
, entonces se
realiza como:
> diff(f(x,y),x,x);
2y
> diff(f(x,y),x,y);
2x + 2y
Las derivadas parciales pueden ser evaluadas en distintos puntos con el coman-
do subs. Por ejemplo, utilizando la función f anterior, fx (2, 1) y fxy (−1, 5) se
obtienen como:
> subs(x=2,y=1,diff(f(x,y),x));
5
> subs(x=-1,y=5,diff(f(x,y),x,y));
8
Una aplicación importante de la derivada parcial es la obtención del gra-
diente de una función; siendo el comando para obtener dicho vector grad. Por
2.9. APLICACION DE MAPLE 95
[2xy + y 2, x2 y + 2xy]
Ahora, para evaluar el gradiente en un punto, por ejemplo en (1, −2), se hace
con:
> fg:=(x,y)->grad(f(x,y),[x,y]): # se define el gradiente como una función
> subs(x=1,y=-2,fg(x,y));
[0, −6]
Observación. Para evaluar el gradiente en un punto, a pesar que es definido
como una función, no resulta evaluarla como tal en el punto.
Análogamente, si se tiene la función g de tres variables definida por
g(x, y, z) = x2 y − y 3 z 2 y si se desea obtener el gradiente de g para evaluarlo
en el punto (1, 2, −1), se ejecuta:
> g:=(x,y,z)-¿x∧2*y-y∧3*z∧2;
d) f (x, y, z) = x2 sen (yz); (1, π, 2), (4, 2, π4 ), (1,2, 3,1, 4,2), f (π, π, π)
p
e) f (x, y, z) = 25 − x2 − y 2 − z 2 ; (1, −2, 2), (−3, 0, 2)
2.- En las siguientes situaciones dibuje la curva de nivel z = k para los valores
indicados de k.
a) z = 2x − 3y + 4, k = 1, 3, 5, 10
b) z = 21 (x2 + y 2 ), k = 0, 2, 6, 8.
x2
c) z = y
, k = −4, −1, 0, 1, 4
d) z = x2 + y, k = −4, −1, 0, 1, 4
e) z = x2 + 4y 2, k = 1, 4, 9, 16
3.- Grafique las superficies en IR3 dadas por las siguientes expresiones:
a) z = 2x − 3y + 4
b) x2 + y 2 + z = 9
c) z − x2 = 0
d) z = y 2 − x
e) z − 9x2 − 16x2 = 36
b) lı́m (3x2 − xy 3 )
(x,y)→(1,3)
x4 − y 4
c) lı́m
(x,y)→(0,0) x2 + y 2
2.10. EJERCICIOS PROPUESTOS 97
xy − 1
d) lı́m
(x,y)→(1,π) cos(xy)
3x3 − 2x2 y + 3y 2x − 2y 3
f) lı́m
(x,y)→(0,0) x2 + y 2
x2
lı́m
(x,y)→(0,0) x2 + xy + y 2
no existe.
9.- En cada uno de los siguientes problemas encuentre las primeras derivadas
parciales de la función f , fx (x, y) y fy (x, y).
2
a) f (x, y) = x2 y + 2xe2y b) f (x, y) = x2 + y 2 c) f (x, y) = x22xy
p
+3y 3
2 +y 2
d) f (x, y) = ln(2x4 + y 2 ) e) f (x, y) = xyex
10.- En cada uno de los siguientes casos, encontrar las primeras derivadas
parciales de la función f , fx (x, y, z), fy (x, y, z) y fz (x, y, z).
xyz
a) f (x, y, z) = x3 y 2 − 2x2 z 3 + 3xyz b) f (x, y, z) = x2 +y 2 +z 2
98 CAPÍTULO 2. FUNCIONES EN VARIAS VARIABLES
12.- Verificar que la función f , dada por f (x, y) = ex seny, satisface la ecuación
de Laplace
∂ 2 f (x, y) ∂ 2 f (x, y)
+ =0
∂x2 ∂y 2
b) xy + 2yz − xz 2 + 10 = 0, (−5, 5, 1)
17.- Determine todos los puntos (x, y) en que el plano tangente a la gráfica de
z = x2 − 6x + 2y 2 − 10y + 2xy sea horizontal.
2.10. EJERCICIOS PROPUESTOS 99
a) w = x2 y 3 ; x = t3 , y = t2
b) w = sen(xyz 2 ); x = t3 , y = t2 , z = t
a) w = x2 − yln x; x = s/t, y = s2 t
p
b) w = x2 + y 2 + z 2 ; x = cos st, y = sen st, z = s2 t
25.- Un gas obedece la ley del gas ideal P V = 8T . El gas se calienta a razón
de 2 o C/min y la presión razón de 0.5 (Kgf/cm2 )/min. En cierto momento, la
temperatura es de 200 o C y la pesión es de 10 kgf/cm2 . Calcular la rapidez de
cambio del volumen en ese momento.
26.- Encuentre los puntos crı́ticos para las expresiones de funciones dadas a
continuación. Averigue si son puntos de máximos, de mı́nimos o puntos de
silla.
a) f (x, y) = 6xy − x3 − y 3
27.- La suma de las longitudes del largo, ancho y alto de una caja rectangular
debe dar 330 cms.. ¿Cuántos deben medir estas longitudes para que el volumen
de la caja sea máximo?
28.- Encuentre la distancia mı́nima entre el punto (2, 1, −1) al plano de ecua-
ción 4x − 3y + z = 5.
29.- Se desea construir una caja sin tapa con la forma de un paralelepı́pedo
rectangular que tenga un volumen de 12 pies cúbicos. El costo por pies cuadra-
do del material que se usará para el fondo es de 4 dólares, el que se usará para
los lados opuesto es de 3 doláres, y el que se usará para los otros dos lados
opuesto es de 2 doláres. Calcular las dimensiones de la caja para las que el
costo sea mı́nimo.
30.- Para las siguientes funciones encuentre el valor máximo global y el valor
mı́nimo global en la región R que se indica.
a) f (x, y) = x2 + y 2 ; R = {(x, y) : −1 ≤ x ≤ 3, −1 ≤ y ≤ 4}
INTEGRALES MÚLTIPLES
y
W
103
104 CAPÍTULO 3. INTEGRALES MÚLTIPLES
Definición 3.1. Sea f una función de dos variables definida en una región R
y sea P = {Rk }nk=1 una partición interna de R. Una suma de Riemann de
f para P es una suma de la forma
X
f (xk , yk )∆Ak (3.1)
k
Definición 3.3. Sea f una función continua de dos variables, tal que f (x, y) ≥
0 en una región R del plano xy. El volumen V del sólido bajo la gráfica de
z = f (x, y) y sobre la región R es:
ZZ
V = f (x, y)dA
R
3.1. INTEGRALES DOBLES 105
z
Bk s
f(xk,yk)
y
.R
(xk ,yk ,0)
Teorema 3.1.
i) ZZ ZZ
cf (x, y)dA = c f (x, y)dA, ∀ c ∈ R.
R R
ii) ZZ ZZ ZZ
[f (x, y) + g(x, y)]dA = f (x, y)dA + g(x, y)dA
R R R
R2
R1
Observación 3.2. En la parte iii) del Teorema 3.1, que las regiones R1 y R2
no se sobrepongan significa que estas regiones tienen en común, a lo sumo,
sólo los puntos de frontera, como se muestra en la figura 3.3.
d R
(x,y)
a b x
La notación
Z d
f (x, y)dy
c
Z d
A(x) = f (x, y)dy (3.3)
c
Z b
B(y) = f (x, y)dx (3.4)
a
Z b Z b Z d
A(x)dx = f (x, y)dy dx (3.5)
a a c
Z d Z d Z b
B(y)dy = f (x, y)dx dy (3.6)
c c a
Z bZ d Z b Z d
f (x, y)dydx = f (x, y)dy dx (3.7)
a c a c
Z dZ b Z d Z b
f (x, y)dxdy = f (x, y)dx dy (3.8)
c a c a
Z 2Z 2 Z 2
y=2
2 3 3 3
(12xy − 8x )dydx = (4xy − 8x y) dx
1 −1 1 y=−1
Z 2
= [(32x − 16x3 ) − (−4x + 8x3 )]dx
1
Z 2
= (36x − 24x3 )dx
1
x=2
2 4
= (18x − 6x ) = −36
x=1
Ahora, en el ejemplo anterior, si se cambian el orden de las integrales;
vale decir, si se evalúa:
Z 2Z 2
(12xy 2 − 8x3 )dxdy
−1 1
da el mismo valor que la integral anterior: -36. El hecho que estos dos valores
sean iguales no es una casualidad; ya que se verfica que si f es una función
continua, entonces las dos integrales dobles iterativas de (3.7) y (3.8) son igua-
les. De esta manera se dice que el resultado de la integración es independiente
del orden en que se integre.
A continuación, se verá la manera de calcular una integral doble iterativa
sobre regiones que no son rectangulares. Sea f una función de dos variables
continua en una región, que se denomina región del tipo I :
y
R
y=g 2 (x)
y=g 1 (x)
a b x
R
d
Z dZ "Z #
h2 (y) Z d h2 (y)
f (x, y)dxdy = f (x, y)dx dy (3.10)
c h1 (y) c h1 (y)
Solución:
Z 2Z √
x 2 √x
x2 y 2
Z
2
x ydydx = dx
1 1−x 1 2 1−x
2
x3 x2 (1 − x)2
Z
= − dx
1 2 2
2
1
Z
= [x3 − (x2 − 2x3 + x4 )]dx
2 1
110 CAPÍTULO 3. INTEGRALES MÚLTIPLES
1 2
Z
= [−x2 + 3x3 − x4 ]dx
2 1
3 2
1 x 3 4 x5
= − + x −
2 3 4 5 1
163
=
120
Solución:
Z 2Z 2y Z 2
2y
2
(4x − y)dxdy = [2x − yx] dy
0 y2 0 y2
Z 2
= [(8y 2 − 2y 2 ) − (2y 4 − y 3 )]dy
0
Z 2
= (6y 2 + y 3 − 2y 4)dy
0
2
y 4 2 5
3
= 2y + − y
4 5 0
36
=
5
En la Definición 3.3 se vió que, bajo ciertas condiciones, la integral doble
de una función f sobre una región R,
ZZ
f (x, y)dA,
R
corresponde al valor del volumen V del sólido que se encuentra bajo la super-
ficie de la gráfica z = f (x, y) y sobre la región R. Por ejemplo, si considera-
mos una región R del tipo I, el volumen V que se encuentra bajo la gráfica
z = f (x, y) y sobre dicha región está dado por:
Z bZ g2 (x)
V = f (x, y)dydx (3.11)
a g1 (x)
Ejemplo 3.4. Calcule el volumen del sólido que se encuentra bajo la gráfica
de z = 4x2 + y 2 y sobre la región triangular R en el plano xy con vértices
(0,0,0), (1,0,0) y (1,2,0).
3.1. INTEGRALES DOBLES 111
z y
2
0 1 x
y
Z 2 2
1 3 y3
4 2
= +y − y + dy
0 3 6 2
Z 2
4 2 2 3
= + y − y dy
0 3 3
2
y 3 y 4
4
= y+ −
3 3 6 0
8
=
3
Las integrales dobles pueden utilizarse también para el cálculo de áreas.
En efecto, si consideramos que R es una región del tipo I y tomamos f (x, y) =
1, entonces:
ZZ Z bZ g2 (x)
f (x, y)dA = dydx
R a g1 (x)
Z b
g2 (x) Z b
= y dx = [g2 (x) − g1 (x)]dx (3.12)
a g1 (x) a
Z bZ g2 (x)
A= dydx
a g1 (x)
y = 2x2 − 4, y = 5x + 3
3.2. INTEGRALES TRIPLES 113
3-
-1 1 2 3 4 x
-
-4
(a,c,e)
Q
. . (b,d,f)
0 y
Pueden definirse integrales triples sobre regiones más complicadas. Por
ejemplo, sea R una región del plano xy, que puede ser una de los dos tipos
de regiones vistas anteriormente, tipo I o tipo II, y sea Q la región en tres
dimensiones definida por:
z=k 2 (x,y)
z=k 1 (x,y)
La notación del lado derecho de (3.16) significa que se integra primero con
respecto de z y luego se evalúa la integral doble resultante sobre la región R
del plano xy. Considerando los dos tipos de regiones, región tipo I y región
tipo II; la integral triple (3.16) queda como:
Z bZ g2 (x)Z k2 (x,y)
f (x, y, z)dzdydx
a g1 (x) k1 (x,y)
si R es del tipo I, y
Z dZ h2 (y)Z k2 (x,y)
f (x, y, z)dzdxdy
c h1 (y) k1 (x,y)
y=x
R
z=x 2
0 1 x
y
z=-y 2
x
a cero, la partición {Qk } cubrirá cada vez mejor al sólido Q y ası́, en el lı́mite,
la suma de los volúmenes Qk será al volumen de Q. Entonces, se concluye que
si f (x, y, z) = 1 en Q, la integral triple de f sobre Q se escribe como:
ZZZ
dV
Q
4 R
y+z=4
y=x2
y -2 2 x
Algunas integrales triples se pueden evaluar mediante una integral triple
iterativa en que la primera integración se efectúa con respecto de y. Ası́, sea:
z=h 2 (x)
z=h 1 (x)
y
a
Ejemplo 3.9. Calcular el volumen del sólido del Ejemplo 3.8, usando la inte-
gral de la fórmula (3.17).
z z
4
z = 4 - x2
y x
z = 4 - x2
x
120 CAPÍTULO 3. INTEGRALES MÚLTIPLES
2
1 256
Z
= (4 − x2 )2 dx =
2 −2 15
En general, una integral triple puede evaluarse de varias maneras depen-
diendo del orden en que se integra. Obviamente que de acuerdo a la región
donde se evalúe la integral, se eligirá el orden de integración más conveniente.
y v
T
E
D
.
(x,y) .(u,v)
x u
y v
T -1
E
D
.
(x,y)
. (u,v)
x u
Obviamente, se tiene que T −1 (T (x, y)) = (x, y) y T (T −1 (u, v)) = (u, v) para
todo (x, y) en D y para todo (u, v) en E.
u = x + 2y, v = x − 2y (3.18)
Solución:
1.- Si sumamos las dos ecuaciones de (3.18) tenemos u+v = 2x y si las restamos
nos da u − v = 4y. Por lo tanto T −1 queda definido por
u+v u−v
x= , y=
2 4
2.- Si se reemplaza x por u+v2
e y por u−v
4
en la ecuación x2 + 4y 2 = 1 se
tiene que: 2 2
1 1
(u + v) + 4 (u − v) = 1
2 4
lo que haciendo las operaciones correspondientes se llega a
u2 + v 2 = 2
√
que corresponde a una circunsferencia de radio 2 con centro en el origen en
el plano uv. Gráficamente, se tiene:
y v
T -1
x u
x 2 + 4y 2 =1 u 2 + v2 =2
Recordemos
Rb que en el caso de funciones de una variable, en una integral
definida a f (x)dx, si se sustituye x = g(u) entonces dx = g ′ (u)du con lo cual
se tiene que
Z b Z d
f (x)dx = f (g(u))g ′(u)du
a c
y v
R S
L
.
(x,y)
.
(u,v)
x u
∂x 1 ∂x u ∂y ∂y
= , = − 2, = 0, =1
∂u v ∂v v ∂u ∂v
124 CAPÍTULO 3. INTEGRALES MÚLTIPLES
Entonces
1
− vu2
∂(x, y) v = 1
=
∂(u, v) v
0 1
Como se decı́a anteriormente, se tendrá que encontrar la región S en el
plano uv que se transforme en una región R del plano xy por la transformación
de coordenada L, como lo gráfica la Figura 3.14. Para la obtención de S, tanto
R como el integrando F (x, y) de (3.19) deben cumplir algunas condiciones.
Para empezar, R debe constar de todos los puntos que están sobre una curva
simple cerrada C que es suave por todas partes y la función F debe tener
primeras derivadas parciales en toda una región abierta que contenga a R.
Además, se requiere que L transforme la región S del plano uv en la región R
del plano xy de manera biunı́voca y que S este acotada por una curva simple
K que sea suave por todas partes y que L la transforme en C.
También aparte de las condiciones anteriores de tipo analı́ticas, debe cum-
plirse una restricción de tipo geométrica. Para ello, decimos que el sentido (o
dirección) positivo a lo largo de la curva C es tal que cuando un punto P re-
corre C, la región R queda siempre a la izquierda y con el sentido negativo,
R queda a la derecha. Entonces, la restricción consiste en que cuando en el
plano uv se recorra la curva K una vez en el sentido positivo, la curva C debe
ser recorrida una vez; ya sea en el sentido positivo o negativo.
En el siguiente teorema, que entrega la fórmula para evaluar una integral
doble cuando se realiza el cambio de variables, se supone que las regiones y
funciones satisfacen las condiciones mencionadas.
Teorema 3.2. Si x = f (u, v), y = g(u, v) es una transformación de coorde-
nadas entonces:
∂(x, y)
ZZ ZZ
F (x, y)dxdy = ± F (f (u, v), g(u, v)) dudv, (3.20)
R S ∂(u, v)
donde; el signo + o el signo − se elige de acuerdo a que si: cuando se recorre
la frontera K de S una vez en el sentido positivo, la curva C de R se recorre
una vez en la dirección positiva o negativa, respectivamente.
Observación 3.3. En las integrales del teorema anterior se usaron las nota-
ciones dxdy y dudv en vez de dA para evitar confusiones acerca de la región
de integración.
Ejemplo 3.12. Evalúe la integral
Z 1Z 2−y
x−y
sen dxdy
0 y x+y
u = x − y, v = x + y
3.3. CAMBIO DE VARIABLES EN INTEGRALES MULTIPLES 125
lo cual define una transformación T del plano xy al plano uv. Al sumar y restar
estas dos ecuaciones se tiene que, respectivamente:
u+v v−u
x= , y= (3.21)
2 2
Estas dos ecuaciones definen la transformación L = T −1 . Ahora de 3.21 se
tiene:
1 1
∂(x, y) 2 2 1
= =
∂(u, v) 1 2
1
−2 2
R
1
x=y x=2 - y
1 2 x
x = 0, y = x, x + y = 2
u+v
x = 0 ⇒ = 0 ⇒ v = −u
2
u+v v−u
y = x ⇒ = ⇒u=0
2 2
x+y = 2 ⇒ v =2
Entonces los lados de la región S en el plano uv están dados por las curvas de
ecuaciones:
v = −u, u = 0, v = 2;
lo que gráficamente es:
126 CAPÍTULO 3. INTEGRALES MÚLTIPLES
s v =2
2
u=0
v = -u
P(r,θ)
θ
0
Eje Polar
y
tgθ = , r 2 = x2 + y 2 (3.23)
x
Las ecuaciones (3.22) representan la transformación del plano polar al plano
de coordenadas rectangulares; siendo viceversa las ecuaciones (3.23).
En condiciones adecuadas, una integral doble en coordenadas rectangula-
res se puede transformar en una integral doble en coordenadas polares. Muchas
veces, una integral doble en coordenadas rectangulares puede resultar compleja
su evaluación; sin embargo, al hacer la transformación a coordenadas polares
el cálculo de la integral puede hacerse muy sencillo.
Ejemplo 3.13. Evaluar
Z Z
3
(x2 + y 2 ) 2 dydx
R
2
R
1
1 2 x
128 CAPÍTULO 3. INTEGRALES MÚLTIPLES
x2 + y 2 = 1 ⇒ r=1
1≤x≤2 ⇒ θ = 0 (y = 0)
x2 + y 2 = 4 ⇒ r=2
1≤y≤2 ⇒ θ = π2 (x = 0)
π
Ası́, la región S en el plano rθ queda definida por 1 ≤ r ≤ 2, 0 ≤ θ ≤ 2
.
Gráficamente se tiene:
π
S
2
1 2 r
25
20
15
10
–4 –2 0 2 4
> Doubleint(1,y=x∧2..x+6,x=-2..3);
Z 3 Z x+6
1dydx
−2 x2
125
6
y ası́ el área entre las dos curvas anteriores es de 125
6
unidades cuadradas.
Observación: Un modo de ayudarse en el cálculo de áreas encerrada entre
curvas, es con la sentencia intercept, que también está dentro de la libreria
student; el cual encuentra las coordenadas de los puntos de intersección entre
dos curvas. Para el cálculo del área anterior, los puntos de interseción entre las
curvas y = x2 y y = x + 6 son encontrados ejecutando:
> with(student)
> intercept(y=x**2,y=x+6,{x,y});
{y = 4, x = −2}, {y = 9, x = 3}
el cual indica que los puntos de intersección de las dos curvas son (−2, 4) y
(3, 9)
En Maple las integrales dobles pueden ser evaluadas directamente con una
sentencia de doble integral. Por ejemplo, el área anterior puede ser calculada
como:
> int(int(1,y=x∧2..x+6),x=-2..3);
125
6
y la primera integral como:
> f:=(x,y)− > x∧2*y-3*y;
> int(int(f(x,y),y=-2..3),x=0..2);
−25
3
Se puede realizar una pequeña rutina para calcular un volumen encerrado por
superficies. Por ejemplo, si se desea calcular el volumen de un sólido, en el
primer octante, acotado por las superficies z = 9 − x2 − y 2 y x + y = 2,
entonces la representación y el cálculo de su volumen se hace como:
> with(student):
> with(plots):
> implicitplot3d({z=9-x∧2-y∧2,x+y=2},x=0..5,y=0..5,z=0..15,orientation=[300,45],
axes=boxed); # se representa el gráfico de la superficie encerrada
3.4. APLICACION DE MAPLE 131
14
12
10
z 8
6
4 5
2 4
0
3
0
1 2 y
2
x 3 1
4
5 0
3.- En cada uno de los casos, evaluar la integral doble sobre la región R ence-
rrada por las curvas que se indican:
Z Z
a) (x + y)dA; R es el triángulo con vértices: (0, 0), (0, 4), (1, 4)
R
Z Z
b) xy dA; y = x2 , y = 1
R
√
Z Z
c) (x2 + 2y) dA; y = x2 , y = x
R
3.5. EJERCICIOS PROPUESTOS 133
Z Z
d) ex/y dA; y = 2x, y = −x, y ≥ 1, y = 4
R
Z Z
e) ysen xdA; x = y 2 , x = 9, y ≥ 1
R
5.- Represente la región acotada por las curvas, dadas por las ecuacioines
indicadas, y calcule el área por medio de integrales dobles:
a) y = x, 2x + 3y = 18, y = 0
b) y 2 = x, y + x = 2
c) y = x, y = 3x, x + y = 4
√
d) y = x, x = 1, x = 4
7.- Represente la región acotada por la gráfica de las ecuaciones y use una
integral triple para calcular su volumen:
a) 3x + 4y + z − 12 = 0, x = 0, y = 0, z = 0
b) 4 − x2 = z, z = 3y, y = 0, z = 0
c) z = 4y 2, z = 2, x = 2, x = 0
d) z + x2 + y 2 = 9, x = 0, y = x, y = 2, z = 0
S es el trapecio con vértices (1, 1), (2, 2), (4, 0), (2, 0).
1
Z Z p
b) ( x − 2y + y 2)dxdy;
S 4
10.- Si f es una función con primeras derivadas paeciales continuas tal que
f (x, y) ≥ 0 en una región S del plano xy, entonces es posible calcular el área
A de la superficie dada por la gráfica de f sobre la rgión S de la siguiente
manera:
Z Z q
A= (fx (x, y))2 + (fy (x, y))2 + 1dA
S
Entonces:
SERIES INFINITAS
a1 , a2 , a3 , . . .
es un arreglo ordenado de números reales, uno por cada entero positivo. Con
más formalidad, una sucesión infinita (o simplemente sucesión o secuencia)
es una función cuyo dominio es el conjunto de los enteros positivos y cuyo
rango es el conjunto de los números reales. Cada número real ak es un término
de la sucesión y se dice que la sucesión es un arreglo ordenado, ya que hay un
primer término a1 , un segundo término a2 , y para todo entero positivo n un
n-ésimo término an . Generalmente, una sucesión a1 , a2 , . . . es denotada por
{an }.
Ejemplo 4.1.
1 2 3 4
0, , , , ,...
2 3 4 5
135
136 CAPÍTULO 4. SERIES INFINITAS
3 2 5 4 7 6
0, , − , , − , , − ,...
2 3 4 5 6 7
4, 4, 4, 4, . . .
Una sucesión infinita {an } puede tener la propiedad que cuando n aumen-
ta, el valor de el n-ésimo término, an , se acerque a un número real L; es decir,
el valor de |an − L| sea cercano a cero cuando n es grande. Por ejemplo, la
sucesión {an } del Ejemplo 4.1 se acerca progresivamente a 1 cuando n crece y
en este caso se dice que la sucesión {an } tiene lı́mite 1 o converge a 1. También
es correcto decir que la sucesión {cn } converge a 4. La sucesión {bn } no se
acerca a ningún número y se dice que diverge.
Con la idea anterior, se entrega la definición de convergencia de una su-
cesión.
lı́m an = L,
n→∞
lı́m an = ∞
n→∞
Por otra parte, si una sucesión {an } coincide con los valores de una función f
en todo entero positivo n, y si f (x) tiende a un lı́mite cuando x → ∞, entonces
la sucesión debe converger a ese mismo lı́mite. A partir de esta idea, se tiene
el siguiente resultado que permite investigar la convergencia o divergencia de
una sucesión.
Teorema 4.1. Sea {an } una sucesión infinita y sea f (n) = an , para todo
entero positivo n, donde f (x) existe para todo número real x ≥ 1:
an lı́m an
e) lı́m = n→∞ ; si lı́m bn 6= 0
n→∞ bn lı́m bn n→∞
n→∞
lı́m an = L = lı́m bn
n→∞ n→∞
y supongamos que existe un número entero N y una suceción {cn } tales que
an ≤ cn ≤ bn para todo n > N, entonces
lı́m cn = L
n→∞
sen3 n
Ejemplo 4.3. Calcular el lı́mite de la sucesión
2n
Solución: Para n ≥ 1 se tiene que
−1 ≤ sen3 n ≤ 1
de donde
−1 sen3 n 1
n
≤ n
≤ n , para n ≥ 1
2 2 2
1 1
Como lı́m − n = 0 y lı́m n = 0 y de acuerdo al Teorema 4.3 se tiene
n→∞ 2 n→∞ 2
que
sen3 n
lı́m = 0,
n→∞ n
4.1. SUCESIONES INFINITAS 139
sen3 n
con lo cual la sucesión converge a cero.
2n
Claramente, por lo que hemos visto, se ve que si an = c, c un número real
constante para todo n; con lo cual la sucesión infinita es c, c, c, . . ., entonces
lı́m an = c. Además si b es una valor real y k es un número real positivo,
n→∞
entonces:
b
lı́m k = 0
n→∞ n
Teorema 4.4. Sea {an } una sucesión. Si lı́m |an | = 0, entonces lı́m an = 0
n→∞ n→∞
3 4 5 6 7
−2, , − , , − , , ...
4 9 16 25 36
(n + 1)
Si se considera sólo la sucesión de términos positivos, se tiene la serie .
n2
Ahora
n+1 1 1
lı́m = lı́m + 2 =0
n→∞ n2 n→∞ n n
(n + 1)
y ası́ la sucesión (−1)n converge a cero.
n2
Serı́a interesante ver también, por ejemplo, que pasa con la sucesión
{(0.75)n } o bién con la sucesión {(1.5)n }. Al evaluar la primera sucesión para
valores de n grande (10, 100, . . .) se ve que cada vez el valor de los términos
se va haciendo más pequeño y la segunda sucesión marcha directo hacia ∞.
Al respecto, se tiene el siguiente resultado:
Teorema 4.5.
S1 = a1
S2 = a1 + a2
S3 = a1 + a2 + a3
.. .. ..
. . .
Sn = a1 + a2 + a3 + · · · + an
Pensando que n puede hacerse tan grande como se quiera se puede pensar que;
de esta manera, se ha obtenido la suceción {Sn }. Con esta idea se entrega la
siguiente definición
P
Definición 4.3. Para la serie an , la n-ésima suma parcial viene dada por
Sn = a1 + a2 + · · · + an
P
Si la sucesión de sumas parciales {Sn } converge a S, diremos que la serie an
converge a S, llamando a S suma de la serie y escribiendo
S = a1 + a2 + a3 + · · · + an + · · ·
P∞ 1
Ejemplo 4.5. Verifique que la serie n
es convergente.
n=1 2
Solución:
∞
X 1 1 1 1 1
n
= + + + +···
n=1
2 2 4 8 16
4.2. SERIES INFINITAS 141
1
con lo que se puede tomar a = r = 2
a
1.- es convergente y su suma vale si |r| < 1.
1−r
142 CAPÍTULO 4. SERIES INFINITAS
Ejemplo 4.7. Use el resultado del Teorema 4.6 para analizar la convergencia
de las siguientes series geométricas:
∞
P 5
a)
n=1 4n−1
∞
n−1
P 7
b) −
n=1 4
Solución:
a)
∞
X 5 5 5 5
n−1
= 5 + + 2
+ 3
+···
n=1
4 4 4 4
2 3
1 1 1
= 5+5 +5 +5 +···
4 4 4
Con lo cual se trata de una serie geométrica con a = 5 y r = 41 . Como |r| < 1
la serie es convergente y su suma S es:
a 5 20
S= = 1 =
1−r 1− 4
3
b)
∞ n−1 2 3 4
X 7 7 7 7 7
− =1+ − + − + − + − +···
n=1
4 4 4 4 4
∞
P ∞
P
a) can = c an
n=1 n=1
∞
P ∞
P ∞
P
b) (an + bn ) = an + bn
n=1 n=1 n=1
entonces,
P∞ 2n
b) 3
n=1 n
Solución:n
5
a) an = , entonces
n!
an+1 5n+1 n!
L = lı́m = lı́m
n→∞ an n→∞ (n + 1)! 5n
2n3
= lı́m 3
n→∞ n + 3n2 + 3n + 1
2
= lı́m 3
n→∞ 1 +
n
+ n32 + n13
= 2
una serie alternante con an ≥ an+1 para todo n ∈ IN. Si lı́m an = 0 entonces
n→∞
la serie es convergente.
4.2. SERIES INFINITAS 145
2(4x2 − 3) − (2x)(8x)
f ′ (x) =
(4x2 − 3)2
2
−8x − 6
=
(4x2 − 3)2
la que resulta ser siempre negativa; es decir, f es decreciente, de donde se
deduce que an+1 ≤ an para n ≥ 1. Además:
2n
lı́m = lı́m
n→∞ n→∞ 4n2 − 3
2
= lı́m =0
n→∞ 4n − 3
n
∞
X 2
(4.1)
n=1
1 + 5n
Verificar que es convergente.
Solución:
2 2
an = < = bn , n≥1
1 + 5n 5n
Pero la serie X X 2
bn =
5n
es una serie geométrica convergente (¿porqué?). De acuerdo al criterio de com-
P 2
paración directa, la serie es convergente.
1 + 5n
Puede ocurrir que una serie tenga términos positivos y negativos sin ser
una serie alternante como ocurre con:
X sen(n) sen1 sen2 sen3
2
= + + +···
n 1 4 9
Dada la caracterı́stica de este tipo de series, se podrı́a pensar en tomar la serie
de los valores absolutos. Al respecto, se entrega la siguiente definición.
P
Definición 4.6. La serie an se dice absolutamente convergente si la
serie ∞
X
|an | = |a1 | + |a2 | + |a3 | + · · ·
n=1
es convergente.
P
Obsérvese que si an es una serie de términos positivos, entonces |an | =
an y, por lo tanto, la convergencia absoluta es lo mismo que la convergencia.
Antes de presentar un ejemplo de series absolutamente convergente, se entrega
el siguiente resultado.
Teorema 4.9. La serie p o serie armónica
∞
X 1 1 1 1
= 1 + + + +···
n=1
np 2p 3p 4p
converge si p > 1 y diverge si p ≤ 1.
4.2. SERIES INFINITAS 147
∞ 5n
(−1)n
P
Ejemplo 4.12. Verifique que la serie converge absolutamente.
n=1 n!
P 5n
Solución: Si consideramos la serie de valores absolutos y usamos el
n!
criterio de la razón se tiene:
an+1 5n+1 n! 5n!
lı́m = lı́m = lı́m
n→∞ an n→∞ (n + 1)! 5n n→∞ (n + 1)n!
5
= lı́m =0
n→∞ n + 1
an+1 P 5n 5n
es convergente, con lo cual la serie (−1)n
P
Ası́ lı́m < 1 y la serie
n→∞ an n! n!
es absolutamente convergente.
Ejemplo 4.13. Verifique la convergencia absoluta de la serie
∞
X sen(n)
n=1
n3
Solución: Esta es una serie con términos positivos y negativos, en la cual los
signos varı́an aleatoriamente. Ahora, sabemos que
sen(n) 1
n3 ≤ n3 , ∀ n = 1, 2, 3, ...
P 1
y que la serie es convergente por ser una serie p, con p = 3 > 1, y por el
n3
criterio de comparación directa la serie
X sen(n)
n3
es convergente. Ası́
∞
X sen(n)
n=1
n3
es absolutamente convergente.
Existe una relación entre convergencia absoluta y convergencia. Esta re-
lación está dada en el siguiente resultado.
P
Teorema 4.10. Si una serie Pan es absolutamente convergente, P entonces
ella es convergente. Es decir, si |an | converge entonces an converge.
La implicancia inversa del teorema anterior generalmente no se cumple;
es decir, que la convergencia implique la convergencia absoluta. Por ejemplo,
la serie
X (−1)n
n
en la cual se puede verificar que es convergente (por el criterio de series alter-
nantes), pero al tomar los valores absolutos resulta la serie armónica que se
sabe que es divergente. Esto da lugar a la siguiente definición.
148 CAPÍTULO 4. SERIES INFINITAS
P
Definición 4.7. Una serie
P an es condicionalmente convergente si ella
es convergente pero |an | es divergente.
P (−1)n
Ejemplo 4.14. Verificar que la serie es condicionalmente con-
ln(n + 1)
vergente.
P (−1)n
Solución: Por el criterio de series alternantes la serie es conver-
ln(n + 1)
gente. Sin embargo, la serie
∞
(−1)n
X 1 1 1
ln(n + 1) = ln2 + ln3 + ln4 + · · ·
n=1
con lo cual la serie converge a a0 . Para concluir lo anterior hay que hacer el
supuesto que 00 = 1.
A continuación se enuncia un resultado, en el cual nos dice que una serie
de potencias puede converger en un punto, en un intervalo centrado en c, o en
toda la recta real.
Teorema 4.11. (Convergencias de Series de Potencias). Sea la serie de
potencias centrada en c:
∞
X
f (x) = an (x − c)n
n=0
es absolutamente convergente.
Solución: El n-ésimo término de esta serie es
n n nxn
an = x = n
5n 5
entonces
(n + 1)xn+1 5n
an+1
lı́m = lı́m , x 6= 0
n→∞ an n→∞ 5n+1 nxn
(n + 1)x n + 1
= lı́m = lı́m |x|
n→∞ 5n n→∞ 5n
1 1 1
= |x| lı́m + = |x|
n→∞ 5 5n 5
4.3. SERIES DE POTENCIAS 151
Luego, la serie converge si |x − 3| < 1; vale decir, −1 < x − 3 < 1 ó 2 < x < 4
y la serie diverge para x < 2 y x > 4. Ahora si x = 2, se obtiene la serie:
1 1 1
1+ + + +···
2 3 4
lo que constituye la serie armónica y por lo tanto divergente. Si x = 4 la serie
que se obtiene es:
1 1 1 1
1− + − + −···
2 3 4 5
que es una serie alternante convergente. Ası́ el intervalo de convergencia de la
serie es (2,4].
152 CAPÍTULO 4. SERIES INFINITAS
= a0 + a1 x + a2 x2 + a3 x3 + ......
Entonces si x está en el interior de I,
i)
∞
X
′
S (x) = nan xn−1 = a1 + 2a2 x + 3a3 x2 + ......
n=0
ii)
x ∞
an n+1
Z X
S(t)dt = x
0 n=0
n+1
1 1 1
= a0 x + a1 x2 + a2 x3 + a3 x4 + ....
2 3 4
Las series que se obtienen, derivando en i) e integrandoP
en ii), del Teorema
4.12 tienen el mismo radio de convergencia que la serie an xn , aunque la
convergencia en los extremos puede variar. Por otro lado, una consecuencia
interesante de este teorema es que se puede aplicar a una serie de potencias en
la que conocemos la fórmula de su suma, para obtener fórmulas para la suma
de otras series.
1
= 1 + 2x + 3x2 + 4x3 + ..., −1 < x < 1
(1 − x)2
La integración en el primer miembro y la integración por téminos en el segundo
da:
Z x Z x Z x Z x
1
dt = 1dt + tdt + t2 dt + ...
0 1 − t 0 0 0
con lo cual:
x2 x3
−ln(1 − x) = x + + + ..., −1 < x < 1
2 3
o bien
x2 x3
ln(1 − x) = −x − − − ..., −1 < x < 1
2 3
Ahora la incógnita que queda por resolver es si es posible representar una
función dada en una serie de potencias en x, o más general en una serie de
términos (x − a), en alguún intervalo en torno de a.
Supóngamos una función f representada por una serie de potencias en
x − a, de manera que
∞
X
f (x) = cn (x − a)n
n=0
f n (a) = n!cn
con lo cual
f (n) (a)
cn =
n!
154 CAPÍTULO 4. SERIES INFINITAS
para todo x en un intervalo que contiene a a, entonces f (n) (a) existe para
n = 0, 1, 2, ... y
f (n) (a)
cn =
n!
con lo cual
′′ ′′′
′ f (a) f (a)
f (x) = f (a) + f (a)(x − a) + (x − a)2 + (x − a)3 + ......
2! 3!
La serie del Teorema 4.13 que representa la función f se llama serie de
Taylor de f (x) en a. Para el caso en que a = 0 la serie recibe el nombre de
serie de Macluarin, teniéndose, para este caso, la siguiente igualdad:
′′ ′′′
′ f (0) 2 f (0) 3
f (x) = f (0) + f (0)x + x + x + ...... (4.2)
2! 3!
Considerando f (0) (a) = f (a), la serie de Taylor en el Teorema 4.13 se
puede escribir con la notación de sumatoria de la siguiente manera:
∞
X f (k) (a)
f (x) = (x − a)k (4.3)
k!
k=0
1 1 1 1 1
f (x) = − (x − 2) + (x − 2)2 − (x − 2)3 + (x − 2)4 − ...
2 4 8 16 32
x
Ejemplo 4.20. Encuentre la serie de Maclaurin para e
Solución: Si f (x) = ex , entonces la k-ésima derivada de f es f k (x) = ex , con
lo cual f k (0) = e0 = 1, para todo k = 0, 1, 2, .... Ası́, de la ecuación (4.2), se
tiene que:
1 2 1 3 1 4
f (x) = 1 + x + x + x + x + ...
2! 3! 4!
Todavı́a no se ha respondido la pregunta acerca de las condiciones para
la representación de una función en una serie de Taylor (o Maclaurin). En el
siguiente resultado se encuentra la repuesta.
Teorema 4.14. Sea f una función con derivadas en todos los órdenes en algún
intervalo abierto I que contiene a a. Una condición necesaria y suficiente para
que la serie de Taylor
′′ ′′′
′ f (a) f (a)
f (a) + f (a)(x − a) + (x − a)2 + (x − a)3 + ...
2! 3!
represente a la función f en el intervalo I es que
lı́m Rn (x) = 0
n→∞
donde Rn (x) es llamado el residuo de la serie de Taylor, dado por:
f n+1 (c)
Rn (x) = (x − a)n+1
(n + 1)!
con c ∈ I.
Ejemplo 4.21. Encuentrar la serie de Maclaurin para sen x y verificar que
representa a sen x para todo número real x.
Solución: Obteniendo las primeras derivadas de f (x) = sen x y evaluándolas
en 0 se tiene:
x3 x5 x7
f (x) = x − + − + ...
3! 5! 7!
Ahora, |f n+1 (x)| = |sen x| o |f n+1(x)| = | cos x|. Por lo tanto, |f n+1 (c)| ≤ 1
para todo número c y ası́, usando la fórmula de Rn (x) con a = 0, se tiene que:
|x|n
lı́m =0
n→∞ n!
P n
ya que se verifica que la serie de potencias x /n! es absolutamente conver-
gente para todo número real x (teorema 4.8). De aquı́, lı́mn→∞ Rn (x) = 0 y la
representación en serie de Maclaurin de sen x es válida para todo número real
x.
5n2
8n2 + 4
entonces, se puede definir como
> an:=5n∧2/(8n∧2+4); # se define el término n-ésimo de la suceción
5n2
an :=
8n2 + 4
Para obtener valores de la sucesión para distinto valores de n, por ejemplo,
para n = 10, n = 50 y n = 200, respectivamente; se puede hacer con:
> subs(n=10,an);
125
201
> subs(n=50,an);
3125
5001
> subs(n=200,an);
50000
80001
4.5. APLICACION DE MAPLE 157
Si cada vez que se ejecuta cada una de las sentencias anteriores se pone la
sentencia evalf( %) entonces aparecerá la versión decimal de cada una de las
fracciones; es decir, 0.6218905473, 0.6248750250, 0.6249921876, respectivamen-
te.
Si se requiere una secuencia de, por ejemplo, los diez primeros valores de la
sucesión, entonces se ejecuta
> seq(an,n=1..10);
5 5 45 20 125 45 245 80 405 125
, , , , , , , , ,
12 9 76 33 204 73 396 129 652 201
Finalmente, para calcular el lı́mite de la sucesión, se pone:
> limit(an,n=infinity);
5
8
Lo anterior indica que la sucesión converge a 58 ; es decir, 0. 625, cosa que se
instuye de acuerdo a los cálculos preliminares obtenidos.
Series
La sentencia que más se puede usar acá es la sentencia sum; que permite
sumar una secuencia de números reales. Dada la serie
∞
X 1
n=1
n(n + 1)
entonces para analizar la convergencia se puede pensar primero en calcular
algunas sumas parciales. Por ejemplo, para los primero 10, 50 y 200 términos
de la serie, se ejecuta, respectivamente; definiendo en primer lugar el n-ésimo
término de la serie:
> an:=1/(n*(n+1)); # se define el n-ésimo término de la serie
1
n(n + 1)
> sum(an,n=1..10);
10
11
> sum(an,n=1..50);
50
51
> sum(an,n=1..200);
200
201
Los tres cálculos anteriores nos hace instuir que la serie es convergente y su
suma vale 1, lo que se comprueba con:
158 CAPÍTULO 4. SERIES INFINITAS
1
Sea ahora la serie:
∞
X n2
n=1
n+1
entonces al evaluar algunas sumas parciales, se tiene:
> an:=n∧2/(n+1); # se define el n-ésimo término de la serie
n2
n+1
> evalf(sum(an,n=1..10)); # se calcula los primeros 10 términos de la serie
47,01987734
> evalf(sum(an,n=1..50)); # se calcula los primeros 50 términos de la serie
1228,518813
> evalf(sum(an,n=1..500)); # se calcula los primeros 500 términos de la serie
1,247557948 105
En el cálculo de las sumas anteriores, se usó el comando evalf para que los
resultados sean impresos como números decimales, dado que las fracciones
correspondientes a estos números no resultan legibles para leer. Los resultados
anteriores indican que a medida que el número de términos de la serie aumenta,
su suma se hace cada vez más grande, lo que indica que las serie debe ser
divergente. Esto se verifica con:
> sum(an,n=1..infinity); # se evalúa la serie completa
Si se maneja en Maple esta serie, como las series anteriores, se tiene lo siguiente:
> an:=(-1)∧n*n;
4.5. APLICACION DE MAPLE 159
(−1)n n
> sum(an,n=1..10);
5
> sum(an,n=1..51);
−26
> sum(an,n=1..100);
50
> sum(an,n=1..501);
−251
> sum(an,n=1..5000);
2500
> sum(an,n=1..10001);
−5001
Se sabe que esta serie no es convergente y de acuerdo a los cálculos anteriores
las sumas parciales van por un lado creciendo positivamente (cuando el número
de sumandos es par) y por otro lado disminuyendo negativamente (cuando el
número de sumando es impar). Sin embargo, al digitar
> evalf(sum(an,n=1..infinty));
−0,25
lo que implica una contradición.
En cuanto a las series de potencias, existen algunas de ellas que en Maple
se pueden trabajar directamente, utilizando el paquete powseries que se carga
con el comando with(powseries). Estas series tratadas en forma directa por el
Maple, pueden hacerse solamente en torno a cero.
Por ejemplo, para obetener la serie de potencias de sen x, se realiza con
el comando powsin(x) seguido del comando tpsform; que incluye el orden de la
serie:
> with(powseries):
> s:=powsin(x): # serie de potencias de sen x
> tpsform(s,x,15); # la serie asignada a la variable s es hasta la potencia 15
1 1 5 1 7 1 1 1
x− x3 + x − x + x9 − x11 + x13 + O(15)
6 120 5040 362880 39916800 6227020800
160 CAPÍTULO 4. SERIES INFINITAS
1 1 1 6 1 1 1
1 − x2 + x4 − x + x8 − x10 + x12
2 24 720 40320 3628800 479001600
1
− x14 + O(15)
87178291200
1 2 1 1 6 1 1 1
x − x4 + x − x8 + x10 − x12
2 24 720 40320 3628800 479001600
1
+ x14 + O(15)
87178291200
Para las otras series conocidas se tiene los comandos powsqrt, powexp, powlog,
powcos para las series de las funciones raı́z cuadrada, exponecial, logaritmo
natural y coseno, respectivamente.
Para representar, en general, una función en serie de potencias se recurre
a la representación en series de Taylor. Para ello se usa el comando taylor. Por
ejmplo, si se quiere representar la función f dada por la expresión
1
f (x) =
x
en torno al punto x = 2 hasta potencia de orden 8, entonces se realiza como:
> f:=x->1/x;
1
f := x − >
x
> t:=taylor(f(x),x=2,8);
1 1 1 1 1 1 1
t := − x − 2 + (x − 2)2 − (x − 2)3 + (x − 2)4 − (x − 2)5 + (x − 2)6
2 4 8 16 32 64 128
1
− (x − 2)7 + O((x − 2)8 )
256
Para obtener la derivada de la serie anterior se digita
4.5. APLICACION DE MAPLE 161
> diff(t,x);
1 1 3 1 5 3
− + x − 2 − (x − 2)2 + (x − 2)3 − (x − 2)4 + (x − 2)5
4 4 16 8 64 64
7
− (x − 2)6 + O((x − 2)7 )
756
y para su integral
> int(t,x);
1 1 1 1 1 1
x − 2 − (x − 2)2 + (x − 2)3 − (x − 2)4 + (x − 2)5 − (x − 2)6
2 8 24 64 160 384
1 1
+ (x − 2)7 − (x − 2)8 + O((x − 2)9 )
896 2048
162 CAPÍTULO 4. SERIES INFINITAS
2.- Para las siguientes sucesiones encuentre una forma explı́cita para el n-ésimo
término an . Determine si la sucesión converge o diverge.
a) 21 , 23 , 34 , 45 ..........
b) −1, 32 , − 53 , 47 , − 59 ,..........
c) sen 1, 2sen 1/2, 3sen 1/3, 4sen 1/4,......
1
d) , 2 , 3 , 4
2− 12 3− 13 4− 14 5− 15
,.......
P∞ P∞ √
3 P∞
n −n n−1 n n+1 n
d) n=1 (−1) e e) n=1 (−1) n+1
f) n=1 (−1) 10n+1
n2 32n
P∞ P∞
g) n=0 23n (x + 4)n h) n=0 n+1 (x − 2)n
x2 x
d) f (x) = 1−x4
e) f (x) = (1+x)2
[1] Devaud, G., otros. (2001) Algebra Lineal. Fac. Cs. Fı́sicas Y Matemáti-
cas, Universidad de Concepción, (5ta edición).
[4] Ellis, R., Gullick, D. (1986) Calculus with Analytic Geometry. Ha-
court Brace Jovanovich Publishers, (3ra edición).
[6] Purcell, E., Varberg, D., Rigdon S. (2000) Cálculo. Prentice Hall,
(8va edición).
165