Tema 2

Funciones de Varias Variables

2.1 Deniciones Generales

Denicin: Una funcin de varias variables reales f : A Rn Rm es una correso o pondencia que a cada x = (x1 , x2 , . . . , xn ) Rn le asigna a lo ms una imagen y = a m. f (x) = (y1 , y2 , . . . , ym ) R De manera similar al caso de las funciones reales de variable real, se dene el conjunto dominio de f , Dom f , como el subconjunto de A formado por los elementos para los cuales existe la imagen por f , y el conjunto Im f ser el subconjunto de Rm constituido a por los vectores imgenes de alguna anti-imagen en A. Si Dom f =A, entonces y slo a o entonces f ser una aplicacin. a o
Ejemplo 1: Las aplicaciones lineales estudiadas en el Algebra Lineal son funciones de varias variables, por ejemplo: T : R3 R2 T (x1 , x2 , x3 ) = (2x1 x2 , x1 + x2 3x3 ) Tenemos entonces que y1 = 2x1 x2 , y2 = x1 + x2 3x3 .

Ejemplo 2: La funcin f de R3 en R: o
f : R3 R , f (x1 , x2 , x3 ) = x3 + 2 cos(x2 + x3 ) 1

Ejemplo 3:
f : R2 R2 , f (x1 , x2 ) = (x2 + x2 , 3x1 ex2 ) 1 2

Ejemplo 4: La funcin (t) denida de la forma: o

: R R3 , (x) = (cos x, sin x, x2 )

10

CALCULO / INGENIERO GEOLOGO / TEMA 2

no es (estrictamente hablando) una funcin de varias variables, se tarta de una funcin de una o o variable real, cuya imagen tiene varias componentes reales.

Dentro de las funciones de varias variables reales se distinguen varias casos particulares: Funciones escalares: Si m = 1 (como ocurre en el ejemplo 2), se dice que la funcin o es una funcin escalar de n variables reales. Es habitual en esta situacin denotar a o o 1 . Toda funcin no escalar (funcin vecla funcin sin utilizar el s o mbolo de vector o o torial) se compone entonces de varias (exactamente m) funciones escalares componentes: si f (x1 , . . . , xn ) = (y1 , . . . , ym ), entonces evidentemente yj = fj (x1 , . . . , xn ), con j = 1, . . . , m, son las m funciones escalares componentes de la funcin vectorial f . o Utilizaremos a menudo la notacin f (f1 , . . . , fm ) para representarlas. o Curvas: Si n = 1 (como es el caso del ejemplo 4), las funciones componentes de f : R Rm (en este caso funciones reales de variable real) pueden interpretarse como las ecuaciones paramtricas de una curva en el espacio Rm , por esta razn se denominan en e o m a las funciones de este tipo. general curvas en R Supercies: Si n = 2, las funciones componentes pueden interpretarse como las ecuaciones paramtricas de una supercie en Rm (evidentemente con m 3). e Campos vectoriales: Si n = m, es decir, si la funcin es del tipo f : Rn Rn , se o suele denominar campo vectorial, sobre todo en los ejemplos de tipo f sico.

2.2

Grcas y Conjuntos de Nivel a

1.0
10 2 5 1 0 2 1 0 1 2 2 1 0

0.5 0.0 0.5 1.0 4 2 0 2 4 4 2 0 2

Figura 2.1: Grcas de la funciones f (x, y) = 2x2 + y 2 (izquierda) y g(x, y) = sen(x2 + y 2 ) a

(derecha).

Denicin: Dada una funcin escalar de n variables reales f : Rn R, se llama grca o o a

De hecho es muy comn en los textos matemticos eliminar la notacin vectorial en cualquier tipo u a o de funcin de varias variables. En estos apuntes se eliminar unicamente en las funciones escalares. o a
1

 CALCULO / INGENIERO GEOLOGO / TEMA 2

11

de f al subconjunto de Rn+1 siguiente: grca(f ) = {(x1 , x2 , . . . , xn , xn+1 ) Rn+1 , xn+1 = f (x1 , . . . , xn )} a Slo es posible entonces visualizar la grca de una funcin escalar en los casos o a o n = 1 (funciones reales de variable real, la grca se dibuja en el plano R2 ) y si n = 2 a (funciones escalares de dos variables reales, la grca se visualiza en el espacio R3 ). a Para el caso de las funciones vectoriales, no existe el concepto de grca, aunque a evidentemente s que podemos denir la grca de cada una de las funciones escalares a componentes. Un caso diferente es el que tenemos con las curvas y las supercies, tal y como se han introducido en la seccin anterior, es decir interpretar una funcin vectorial como una o o coleccin de ecuaciones paramtricas. Analizaremos este caso en la seccin siguiente. o e o o Denicin: Dada una funcin escalar de n variables f (x1 , . . . , xn ), se dene el conjunto o de nivel de valor K como el subconjunto de Rn siguiente: CK (f ) = {(x1 , x2 , . . . , xn ) Rn , f (x1 , . . . , xn ) = K} Si n = 1 los conjuntos de nivel se reducen en general a un conjunto discreto de puntos. Si n = 2 los conjuntos de nivel son curvas de nivel. Si n = 3 tenemos supercies de nivel y si n 4 se tratar de hipersupercies de nivel. a Es posible visualizar los conjuntos de nivel como intersecciones o cortes de la grca de la funcin con los hiperplanos correspondientes a la ecuacin xn+1 = k. a o o
2

1
2 1 0 -1 -2 -1 0 1 2 -2 -1 1 0 2

-1

-2 -2

-1

Figura 2.2: Grca de la funcin f (x, y) = (2x2 y 2 )e1x a o

nivel.

y 2

y de algunas de sus curvas de

2.2.1

Ecuaciones Impl citas y Ecuaciones paramtricas de curvas y sue percies

Tal y como se ha comentado en la seccin anterior, una curva en Rm puede ser denida, o desde un punto de vista anal tico, como una funcin: : R Rm . Las funciones o

12

CALCULO / INGENIERO GEOLOGO / TEMA 2

escalares componentes de (t) son las funciones: (t) = (x1 , . . . , xm ) x1 = x1 (t) , x2 = x2 (t) , x3 = x3 (t)

Es posible restringir el dominio de (t) a un intervalo en R, de forma que la curva: : [t1 , t2 ] Rm une los puntos de Rm : P = (t1 ) y Q = (t2 ). Desde el punto de vista f sico, podemos interpretar la funcin (t) como la posicin de una part o o cula que m a tiempo t. se mueve en el espacio R Si las funciones componentes: x1 (t), . . . , xm (t) son derivables, entonces el vector (t) = d = (x1 (t), . . . , xn (t)) dt

es un vector tangente a la curva en el punto (t).

1.0 1.0 0.5 0.5 0.0 0.5 1.0 0.0 0.5 1.0

1.0 0.5

1 0.5 1.0

Figura 2.3: (izquierda) Representacin grca de la curva (t) = (5t2 , t3 ). (derecha) Repreo a
t sentacin grca de la curva tridimensional (t) = (cos t, sen t, 3 ) o a

De esta manera, para el caso de las curvas en R2 , tendremos: : I R R2 mientras que en R3 tendremos: (t) = (x(t), y(t), z(t)) , (t) = (x(t), y(t))

2.2.2

Supercies Cudricas a

Hemos visto cmo la grca de una funcin f (x, y) se corresponde con una supercie en o a o 3 , dada por la expresin R o z = f (x, y) De manera anloga al caso de las curvas en R2 , donde pod a amos tener bien la grca a de una funcin: y = f (x), o bien una ecuacin impl o o cita: F (x, y) = 0, ahora nos encontramos con que una ecuacin de la forma: o F (x, y, z) = 0

 CALCULO / INGENIERO GEOLOGO / TEMA 2

13

determinar una supercie en R3 . a En el caso ms sencillo, si F es una funcin de tipo lineal, tendremos la ecuacin de un a o o plano. Para el siguiente grado de complicacin, funciones cuadrticas, las supercies que o a se obtienen reciben el nombre de supercies cudricas. De esta forma: Las cudricas son a a 3 que estn denidas por medio de una ecuacin impl las supercies de R a o cita polinmica o de grado 2. La ecuacin general de una cudrica es por tanto de la forma: o a Ax2 + By 2 + Cz 2 + Dxy + Exz + F yz + Gx + Hy + Iz + J = 0 Siempre es posible, con las traslaciones y rotaciones adecuadas, escribir una cudrica a por medio de su ecuacin reducida, obtenindose nalmente que slo existen 9 tipos de o e o cudricas no degeneradas. Son las siguientes: a 1. Elipsoide. La ecuacin de un elipsoide de semiejes a, b y c, centrado en el origen de o coordenadas es: x2 y 2 z 2 + 2 + 2 =1 a2 b c 2. Hiperboloide de una hoja: x2 y 2 z 2 + 2 2 =1 a2 b c 3. Hiperboloide de dos hojas: x2 y 2 z 2 + 2 2 = 1 a2 b c 4. Cono: x2 y 2 + 2 = z2 a2 b 5. Paraboloide el ptico: x2 y 2 + 2 =z a2 b 6. Paraboloide hiperblico: o x2 y 2 2 =z a2 b 7. Cilindro parablico: o y = x2 8. Cilindro el ptico: , < z <

14

CALCULO / INGENIERO GEOLOGO / TEMA 2

x2 y 2 + 2 =1 , a2 b 9. Cilindro hiperblico: o x2 y 2 2 =1 , a2 b

< z <

< z <

Algunas supercies cudricas: a) esfera, b) elipsoide, c) cilindro circular, a d) hiperboloide de una hoja, e) hiperboloide de dos hojas y f) cono.

2.3

L mites de funciones de varias variables

Denicin: Dada una funcin f : Rn Rm , sea x0 Rn , diremos entonces que el o o l mite cuando x tiende a x0 de f es b Rm si para cada > 0 existe un > 0 tal que, para x Dom(f ), si x x0 se verica que f (x) b < . Es necesario precisar en este punto que el clculo de l a mites en funciones de varias variables es extraordinariamente ms complejo que el correspondiente a funciones reales a de variable real. Una manera sencilla de explicar este hecho es la siguiente: en funciones de una variable, a la hora de calcular limxx0 f (x) existen unicamente dos posibilidades para acercarse al punto x0 , por la izquierda y por la derecha en la recta real, sin embargo simplemente en funciones escalares de dos variables lim(x,y)(x0 ,y0 ) f (x, y), el nmero posibles caminos que acerquen en el plano (x, y) hasta el punto (x0 , y0 ) es u claramente innito, es por otro lado evidente que el l mite en el punto existir si y slo a o si existe por todos esos caminos y coinciden los valores obtenidos por cada uno de ellos. Veamos un ejemplo concreto: Ejemplo: Analicemos el l mite:
x2 (x,y)(0,0) x2 + y 2 lim

 CALCULO / INGENIERO GEOLOGO / TEMA 2

15

Si nos restringimos a la recta x = 0 en el plano xy, tenemos que la funcin es la funcin constante o o 0 y en consecuencia el l mite por ese camino (x = 0, y 0) existe y es nulo. Si nos restringimos a la recta y = 0 la funcin es constante de valor uno luego el l o mite existe y vale uno en este caso. Concluimos con que el l mite no existe.

Propiedades: No son dif ciles de demostrar varias propiedades de los l mites de las funciones vectoriales anlogas a las presentadas para las funciones de una variable. Rea sumimos las principales: Si el l mite existe, entonces necesariamente es unico. Si f y g son dos funciones de Rn en Rm ambas con l mite en x0 , entonces existe el l mite de su suma y es igual a la suma de los l mites. Si b es el l mite de f (x) en x0 , entonces existe el l mite de f (x) en x0 y es igual a b. Para funciones escalares, el l mite del producto es el producto de los l mites y el del cociente otro tanto (salvo que el denominador tenga l mite nulo). Ejemplo: Calcular el l mite:

x2 y 2 (x,y)(0,0) x2 + y 2 lim

Es evidente que se presenta una indeterminacin del tipo 0 . Para poder resolverla es muy o 0 adecuado escribir la funcin en coordenadas polares, y tener en cuenta que (x, y) (0, 0) equivale o a r 0. Tendremos as :
(x,y)(0,0) x2

lim

x2 y 2 r4 sen2 cos2 r2 sen2 2 = lim = lim =0 2 2 r0 r0 +y r 4

En la ultima igualdad se ha aplicado la propiedad que establece que el producto de un innitsimo e 2 2 (en este caso r , que tiende a cero cuando lo hace r) por una funcin acotada (sen 2) es de o nuevo un innitsimo. e

2.3.1

L mite de una funcin seg n una curva o u

Tal y como se ha comentado anteriormente, a la hora de calcular el l mite cuando x tiende a x0 de una funcin f (x), puede plantearse la posibilidad de alcanzar el punto o x0 por diferentes caminos. Para dar un poco de rigor a este concepto consideraremos de manera general una curva (continua2 ) c(t) en Rn tal que c(t0 ) = x0 y deniremos el l mite de f (x) segn c(t) como el limtt0 f (c(t)), que obviamente es ya un l u mite dependiente de una sola variable real.
2

c(t) es una curva continua en Rn si las componentes son funciones continuas t R.

16

CALCULO / INGENIERO GEOLOGO / TEMA 2

Ejemplo: Calculemos el l mite de la funcin f (x, y) = x2 xy 3 cuando (x, y) tiende a (2, 1) o

1 segn las curvas: a) la recta 2y = x, b) la parbola x = t, y = 4 t2 y c) la elipse x = 2 cos t, y = u a 1 + sen t. a) La recta 2y = x admite como ecuaciones paramtricas x = 2t, y = t de manera que el e punto (2, 1) se alcanza en t0 = 1. Tenemos por tanto que el l mite pedido es:

t1

lim (2t)2 2t t3 = lim 4t2 2t4 = 2

t1

a b) En este caso, el l mite sobre la parbola y = 1 x2 ser: a 4 lim t2 t 1 2 t 4

3

t2

= lim t2
t2
2

1 7 t 64

=2

c) Se trata ahora de una curva cerrada, la elipse x + (y 1)2 = 1. Con la parametrizacin o 4 dada tenemos que el punto se alcanza en 2 = 2 cos t0 , 1 = 1 + sen t0 , una solucin posible es o evidentemente t0 = 0. Planteamos en consecuencia el l mite:
t0

lim 4 cos2 t 2 cos t (1 + sen t)

=42=2

Los tres l mites han resultado ser idnticos, sin embargo no podemos deducir de ello que e el l mite de f (x, y) en el (2, 1) sea 2, puesto que podr darse el caso de que con otras curvas a obtuvieramos otros resultados. En este ejemplo concreto no puede darse esta situacin, la funcin o o no es ms que un polinomio y los polinomios son siempre funciones continuas, tendremos as que a el l mite y la funcin valen exactamente 2 en ese punto. o

2.4

Continuidad de las funciones de varias variables

Desde el punto de vista conceptual la continuidad de las funciones de varias variables es absolutamente equivalente a la estudiada para funciones reales de variable real, es decir, una funcin f (x) es continua en x0 si existe su l o mite en dicho punto y adems a coincide con el valor de la funcin en el mismo f (x0 ). Cualquier punto que no verique o esta denicin en un punto de discontinuidad para f . o Sin embargo, la clasicacin de las discontinuidades es ahora tarea casi imposible si o tenemos en cuenta la complejidad de los l mites correspondientes. Evidentemente una funcin es continua en un conjunto si lo es en cada uno de sus o puntos, desde un punto de vista intuitivo, para funciones escalares de dos variables, este hecho se traduce en que la grca (supercie en el espacio) no presente ningn tipo de a u ruptura sobre el dominio estudiado.