Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Funciones Varias Variables I PDF
Funciones Varias Variables I PDF
ESQUEMA DE CONTENIDOS
________________________
Conceptos
Ejemplos
Funciones de
varias
variables I
Aritmtica
Lmites
Grfica
Entornos
Continuidad
Curvas de
nivel
Abiertos
y
cerrados
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
INTRODUCCIN
___________________
No siempre es posible expresar una magnitud como funcin matemtica de una sola variable. Al
contrario, las funciones de inters en ingeniera dependern en general- de un gran nmero de
variables. Este Math-block est dedicado a extender a funciones de ms de una variable los
conceptos de lmite, continuidad y derivabilidad que ya hemos visto en una dimensin en bloques
anteriores.
Empezaremos proporcionando ejemplos de magnitudes que se describen mediante funciones de
varias variables y representaremos en tres dimensiones las funciones de dos variables.
Despus introduciremos las nociones topolgicas necesarias para definir el concepto de
distancia, que nos permite definir bolas, entornos, conjuntos abiertos, conjuntos cerrados,
conjuntos compactos y puntos de acumulacin.
Ms tarde presentaremos el concepto de continuidad basndonos en la definicin de lmite, e
ilustraremos el clculo de lmites de funciones de ms de una variable.
OBJETIVOS
________________________
1.
2.
3.
4.
5.
6.
CONOCIMIENTOS PREVIOS
___________________________________
Para poder seguir con xito esta unidad es recomendable haberse ledo los siguientes Mathblocks: Uso bsico del Mathcad, Funciones de una variable, Lmites de funciones,
Continuidad, Derivacin y Estudio local y representacin grfica en 2D.
CONCEPTOS FUNDAMENTALES
______________________________
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
f ( x, y ) = x 2 + y 2 . f(x,y) est definida para cualquier par de valores reales (x,y). Por tanto,
D = R2.
g ( x, y ) =
2
. g(x,y) est definida para cualquier par de valores reales (x,y) tal que
x y
x y (para que no se anule el denominador). Luego el dominio es todo los puntos del xyplano excepto los que estn sobre la recta y=x.
C z = a = {( x, y ) tal que f ( x, y ) = a}
Podemos representar las curvas de nivel en dos dimensiones (usando los ejes X,Y). La
representacin coincidir con el perfil que resulta de seccionar horizontalmente la grfica de la
funcin a un nivel (o altura) de valor z = a. El conjunto de curvas de nivel se llama mapa de
curvas de nivel.
Ejemplo: Supongamos que tenemos un ordenador con una placa metlica de grandes
dimensiones. La temperatura de la placa (lo que nos dar una idea de como tiene que ser el
ventilador para que no se caliente en exceso) es funcin de las coordenadas de cada uno de
2
sus puntos y viene dada por : T ( x, y ) = 500 0.6 x 1.5 y . Veamos la grfica y el mapa
de curvas de nivel, en [-30,30]x[-20,20].
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
surf
CE
Un conjunto O de Rn es abierto si para cualquier punto x del conjunto existe algn rectngulo
A que contiene el punto y que est totalmente contenido en el conjunto. La unin y la
interseccin de dos conjuntos abiertos es otro abierto.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Un entorno de un punto x de Rn es cualquier conjunto dentro del cual haya un abierto que
contenga al punto.
Un conjunto C de Rn est acotado si lo podemos incluir dentro de un rectngulo cerrado.
l = lim f ( x) =
xa
lim
( x1 , x2 ,..., xn ) ( a1 , a2 ,...,an )
f ( x1 , x 2 ,..., x n )
Ejemplos:
1) Veamos que
x 2 y
lim cos 2
= 1.
( x, y )(0,0) x + y 2
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
x2 y
lmite de la funcin z = 2
cuando ( x, y ) (0,0) . Para resolver este lmite basta
x + y2
con fijarse que la funcin z puede expresarse como el producto de dos funciones:
x2
2
x + y2
x2
0 2
1
2
x +y
y
Como el valor absoluto de la primera est acotado y la segunda tiende a 0, entonces, el lmite
x2 y
lim z = lim 2
= 0 y el lmite de su coseno, 1.
( x , y ) ( 0 , 0 ))
( x , y )(0, 0 ) x + y 2
sin x 2 y
2) Veamos que no existe el lmite: lim
. Para demostrar la no existencia de
( x , y )( 0, 0 ) x y 2
lmite, basta con probar que para una posible aproximacin ( x, y ) (0,0) el lmite no existe.
Supongamos que intentamos efectuar el clculo de este lmite aproximando ( x, y ) (0,0)
k
siguiendo la curva dada por la dependencia funcional y = x con k > 0 . Siguiendo esta
curva, el clculo del lmite
x 2+ k
lim sin 1+ 2 k
x 0
x
x2 y
resultara en un lmite unidimensional:
lim sin
2
( x , y )(0, 0 )
x y
= lim x 1 k
x 0
1 k
tiende a
El clculo de lmites direccionales se utiliza a menudo para estudiar aquellos lmites en los
cuales tengamos algn problema. Consideremos un determinado punto a = (a1,a2,...,an) y un
vector director v = (v1,v2,...,vn). El lmite de una funcin f(x) en el punto a y en la direccin v se
calcula de la siguiente manera:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
lim f ( x) = f (a )
xa
Una funcin es continua en un conjunto si es continua en cada uno de los puntos del
conjunto.
x2 y
2
2
x +y
en todo x.
Solucin:
Para que la funcin sea continua en ( x, y ) , basta con que la imagen del argumento del
coseno sea real porqu el coseno es una funcin continua en . El argumento,
x2 y
,
x2 + y2
x2 y
cos 2
2
x +y
f C ( x) =
1
cuando
( x, y ) (0,0 )
cuando
( x, y ) = (0,0) ,
respectivamente.
Teorema de Weierstrass: toda funcin continua en un conjunto compacto tiene siempre un
mximo y un mnimo absolutos.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Introducimos
representar.
la
funcin
F( x, y ) := 3x + 4y
xlow := 4
xhigh := 4
ylow := 4
yhigh := 4
xn := 100
Tambin
tenemos
que
proporcionar el nmero de puntos
por direccin donde la funcin ser
evaluada.
yn := 100
surf := CreateMesh ( F , xlow, xhigh, ylow , yhigh
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
surf
surf
c) La curva de nivel de valor z = 12 est formada por todos los pares (x,y) tal que f(x,y) = 3x +
4y = 12 o, dicho de otro modo, tal que y = 3 - 3/4 x.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Introducimos
representar.
la
funcin
F( x, y ) := 3x + 4y
xlow := 4
xhigh := 4
ylow := 4
yhigh := 4
xn := 100
yn := 100
i := 0 .. xn 1
Tambin
tenemos
que
proporcionar el nmero de puntos
por direccin donde la funcin ser
evaluada.
j := 0 .. yn 1
xindi := xlow + i
xhigh xlow
xn 1
yindj := ylow + j
yhigh ylow
yn 1
Mi , j := f ( xindi , yindj)
Level curves:
Las curvas que estn situadas ms a la derecha tienen asociado un valor de la funcin mayor.
Por tanto, la funcin crece cuando nos desplazamos hacia esta zona, y decrece conforme nos
desplazamos hacia la izquierda.
Ejemplo de clasificacin topolgica de un conjunto en 2D:
Considerar el siguiente conjunto C = {(x,y) : y > x2 , x > 0 , y > 0}.
(a) Representadlo grficamente.
(b) Decir si es un conjunto abierto o cerrado. Es un conjunto compacto?
(c) Y si tenemos el conjunto D = {(x,y) : y x2, 0 x 2 , 0 y 1}? es compacto?
10
Conjunto C1:
Para ver qu puntos del plano (x,y) son aquellos que verifican la condicin y > x2, hemos de
representar la grfica de la funcin y = x2 . Despus, hemos de decidir cul de las dos zonas
en las que nos quedar dividido el plano es la que contiene los puntos que verifican la
desigualdad.
Para decidir que la zona de color gris es la que verifica la desigualdad, slo se ha de elegir un
punto cualquiera de su interior (por ejemplo el (0,7)) y comprobar que satisface la desigualdad
(efectivamente, 7 > 02 ).
Observar que, como tenemos una desigualdad estricta, los puntos que estn sobre la grfica
no pertenecen al conjunto (por tal motivo hay una lnea discontinua).
-
Conjunto C2:
Este conjunto est formado por aquellos puntos situados en el primer cuadrante (la x y la y
son siempre positivas). Observar que como las desigualdades son estrictas, los puntos que
estn sobre los ejes no pertenecen al conjunto:
11
(b) C es abierto, ya que para cualquier punto del conjunto podemos encontrar una bola que
est completamente incluida en C. Observar que todas las desigualdades que aparecen
son desigualdades estrictas. Adems, no es cerrado, ya que su complementario no es
abierto. Por tanto, como no es un cerrado, no es un conjunto compacto. Observar que, de
hecho, el conjunto C no es acotado.
(c) Observar que podemos considerar este conjunto como la interseccin de dos conjuntos:
D1 = {(x,y) : y x2} y D2 = {(x,y) : 0 x 2, 0 y 1}
El primer conjunto es exactamente el mismo que C1 pero incluyendo tambin a los puntos que
pertenecen a la grfica. El segundo conjunto no es nada ms que un rectngulo cerrado de
2x1. La representacin del conjunto D es la zona de color gris:
Por la forma que tiene el conjunto D podemos decir que es un conjunto acotado (es muy fcil
encontrar una bola que contenga al conjunto). Adems, est claro que el conjunto es cerrado
(si consideris el conjunto complementario a D veris que es un conjunto abierto). Por tanto,
como es un conjunto acotado y cerrado, es un conjunto compacto.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
12
a)
c)
lim
(1 + sin( x y))
lim
sin( xy )
x
( x , y ) ( 0,0 )
( x , y ) ( 0, 2 )
x3
( x , y ) (0,0) y 2
x y
d) lim
( x , y ) (1,1) x + y 2
b)
x2 + y2
lim
Para el clculo de lmites seguimos la siguiente estrategia. Si intuimos que el lmite existe,
intentamos simplificar la funcin asociada utilizando la tcnica de los infinitsimos
equivalentes y/o buscamos como expresar dicha funcin como una funcin acotada por una
funcin que tiende a cero. Tenemos que asegurarnos que los clculos que realizamos
corresponden a lmites realizados desde todos los posibles entornos alrededor del punto al
que hacemos tender las variables (x,y).
Por el contrario, cuando suponemos que el lmite no existe, basta con demostrar que
siguiendo dos caminos diferentes que conducen al punto al cual hacemos tender las variables
(x,y), obtenemos valores diferentes.
a) Apliquemos, en primer lugar, el logaritmo a toda la expresin.
1
2
x2 + y2
ln lim (1 + sin( x y ))
( x , y ) ( 0,0 )
2
x2 + y2
lim ln (1 + sin( x y ))
( x , y ) ( 0,0 )
= lim ln 1 + sin( x y ) =
( x , y ) ( 0, 0)
x2 + y2
ln(1 + sin( x 2 y ))
sin( x 2 y )
x2 y
=
( x , y ) ( 0, 0)
x2 + y 2
ln(1 + sin( x 2 y )) sin( x 2 y )
lim
siempre que los denominadores de las fracciones unidad (iguales a 1) no sean cero.
Separamos pues la resolucin del lmite en tres partes: A) tanto x como y son diferentes de
cero, B) x es diferente de cero e y = 0 y C) y es diferente de cero y x = 0.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
13
A) en este caso podemos simplificar puesto que los denominadores son diferentes de cero y
obtener:
x2 y
x2
=
y=0
lim
( x , y ) ( 0,0 ) x 2 + y 2
( x , y ) ( 0, 0) x 2 + y 2
lim
En la segunda igualdad hemos utilizado el hecho que el lmite de una funcin acotada por una
funcin que tiende a cero, es cero. Notad que la primera funcin
x2
1 cuando ambas
x2 + y2
x e y son distintas de cero. Entonces el lmite que buscamos ser: e = 1 si coincide con el
0
resultado en B) y en C).
B) cuando x es distinto de 0, pero y es idnticamente igual a 0, podemos simplificar la
expresin de partida obteniendo:
1
lim(1 + 0) x 2 = 1
x 0
lim(1 + 0) y 2 = 1
y 0
lim
( x , y ) ( 0,0 )
x3
no existe. Basta con calcular un
y2
lmite de dicha funcin que diverja. Efectuemos el clculo del lmite suponiendo que (x,y) se
aproxima a (0,0) siguiendo la parbola y = x2:
lim
( x , y ) ( 0, 0)
x3
x3
1
lim
=
= lim =
2
4
x 0 x
x 0 x
y
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
14
sin( xy )
sin( xy )
= lim
y = 1 2 = 2
( x , y ) ( 0, 2)
( x , y ) ( 0, 2)
x
xy
lim
Podemos conseguir que la funcin sea continua en este punto, si definimos que el valor en l
sea igual al lmite: 2. Se trata pues de una discontinuidad evitable.
d) Demostraremos que el lmite
x y
no existe calculando dos lmites
( x , y ) (1,1) x + y 2
lim
t 0
t 0
En el primer caso aproximaremos (x,y) a (1,1) siguiendo la direccin del vector v = (0,1):
1 (1 + t )
t
= lim
= lim 1 = 1
t 0 1 + 1 + t 2
t 0 t
t 0
t 0
t 0
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
15
1+ t 1
t
= lim = lim 1 = 1
t 0 1 + t + 1 2
t 0 t
t 0
t 0
t 0
Por lo tanto, no existe el lmite de esta funcin en (1,1) y, por tanto, la funcin presenta una
discontinuidad no evitable en este punto.
Con Mathcad se podra calcular, tambin, los lmites direccionales:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
16
BIBLIOGRAFA
_________________ ______________________________________
[1]
Benker, H. (1999): "Practical use of Mathcad. Solving mathematical problems with a computer
algebra system", Springer-Verlag New York, Inc.
[2]
Moreno, J.A.; Ser, D. (1999): "Mathcad 8. Manual de usuario y gua de referencia de Mathcad
8", ediciones Anaya Multimedia, S.A.
[3]
Aguli, F.; Boadas, J.; Garriga, E.; Villalb, R. (1991): Temes clau de clcul. Barcelona: UPC.
[4]
Courant, R.; John, F. (1971): Introduccin al clculo y al anlisis matemtico. Mxico: Limusa.
[5]
[6]
[7]
[8]
Burbulla, D.(1993): Self-Tutor for Computer Calculus Using Maple. Prentice Hall.
[9]
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
17
ENLACES_________________________________________________________________
[W1]
http://mate.dm.uba.ar/~pdenapo/dif.html
Pgina web donde se extiende el concepto de derivada a funciones de varias variables. Est
la teora con ejemplos.
[W2]
http://www.okmath.com/Catego3.asp?clave=231
Pgina web con problemas resueltos sobre Diferenciablilidad de Funciones de Varias
Variables.
[W3]
http://planetmath.org/encyclopedia/Differentiable.html
Pgina web de la enciclopedia de PlanetMath.org sobre diferenciabilidad. Tambin se pueden
buscar en http://planetmath.org/encyclopedia otros conceptos como lmites, por ejemplo,
dndole a l letra L. Est en ingls.
[W4]
http://www.satd.uma.es/matap/svera
Pgina web de Salvador Vera Ballesteros, profesor del Departamento de matemticas
aplicada de la universidad de Mlaga. Contiene problemas y apuntes sobre funciones de
varias variables.
[W5]
http://cariari.ucr.ac.cr/~cimm/calculo.html
Pgina web que trata sobre un curso de clculo diferencial. Se introduce el concepto de
funciones de varias variables y el de de derivacin parcial. Conceptos muy tiles en las
aplicaciones. Hay teora y ejercicios.
[W6]
http://www.dma.fi.upm.es/docencia/primerciclo/calculo/grupo13m/
Pgina web del Departamento de matemticas aplicada de la universidad politcnica de
Madrid. Contiene ejercicios y exmenes sobre funciones de varias variables.
[W7]
http://www.uco.es/organiza/departamentos/quimica-fisica/quimica-fisica/CD/CD0.htm
Pgina web que trata sobre un curso de aprendizaje de Mathcad. Hay ejemplos sobre
funciones de varias variables.
[W8]
http://www.terra.es/personal/jftjft/Home.htm
Pgina completa sobre todo lo relacionado con las matemticas. Aparecen matemticos
famosos y aplicaciones de las matemticas a diversos campos.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
18