Funciones de varias variables

Un conjunto es una coleccin de objetos. Si S es un conjunto de puntos en un n-espacio. Una funcin de varias
variables definida sobre S le hace corresponder un nmero.
Una funcin de varias variables es una funcin de vectores:
( ) ( )
n
x x f X f , ,
1

La grfica de una funcin de n variables
n
x x , ,
1
se puede definir como un conjunto de puntos en el (n+1)-
espacio.
Un mtodo que se utiliza para visualizar las funciones de 2 variables y que se tomo de la cartografa, es elaborar
un mapa de contorno en el que se unan los puntos de igual elevacin para formar curvas de contorno o nivel. Las
curvas de nivel de una funcin de 2 variables son las curvas con ecuaciones:
( ) c y x f ,
donde c es una constante del rango de f.
Derivadas parciales
La derivacin de funciones de varias variables se reduce al caso de una dimensin, debido a que se considera a
una funcin de n variables como una funcin de una variable mientras las otras permanecen constantes.
Si f es una funcin de las variables x e y la derivada parcial de f respecto a x es la funcin tal que su valor en
cualquier punto ( ) y x, del dominio de f esta dado por:
( )
( ) ( )
x
y x f y x x f
x
f
y x f D
x
+

, ,
lim ,
0
1
De igual manera para y:
( )
( ) ( )
y
y x f y y x f
y
f
y x f D
y
+

, ,
lim ,
0
2
En general, si U es una funcin de n variables, ( )
n
x x x f U , , ,
2 1
, su derivada parcial con respecto a la i-
sima variable
i
x
es
( ) ( )
x
x x x f x x x x x f
x
U
n i n i i i
x
i
i
+

, , , , , , , , ,
lim
1 1 1
0

Gradiente
Sea f definida en un conjunto abierto U y supongamos que las derivadas parciales de f existen en cada punto X de
U, entonces el vector cuyas derivadas parciales se denomina Gradiente de f en X y se denota:
( ) ( ) ( ) X f D X f D
x
f
x
f
f
n
n
, , , ,
1
1

,
_

Plano tangente
Una aplicacin del vector gradiente es el estudio de planos tangentes y rectas normales a superficies en el espacio
tridimensional. Considere la ecuacin
( ) 0 , , z y x F
donde
( ) z y x F , ,
es diferenciable y Fx, Fy y Fz no son simultneamente cero. Un teorema de clculo avanzado,
conocido como el Teorema de la funcin implcita utiliza la regla de la cadena para encontrar la derivada de una
funcin implcita si se cumplen los supuestos mencionados:
( )
x
z
z
F
x
y
y
F
x
x
x
F
z y x F
Cadena la de gla Aplicando

Re
0 , ,
Pero suponemos que z esta dada de manera implcita como una funcin
( ) y x f z ,
por una ecuacin de la
forma
( ) 0 , , z y x F
, lo que significa que
( ) ( ) 0 , , , y x z y x F para toda x de y, en el dominio de f. Por esto
( ) ( ) 0 0 ; 1

x
z
z
F
x
F
y
x
x
x
Si la
0 z F
, resolvemos para
x z
y obtenemos la primera frmula; la segunda se obtiene de igual
manera, obtenindose finalmente por el teorema que:
z
F
y
F
y
z
z
F
x
F
x
z

;
El teorema de la funcin implcita garantiza que una de las tres variables x, y o z es funcin de las otras dos. Por lo
tanto, puede considerarse a la grfica de
( ) 0 , , z y x F
como una superficie S.
Supngase que P0 es un punto ( )
0 0 0
, , z y x de S, de modo que ( )
0 0 0
, , z y x F . Supngase adems que C es
una curva en S que pasa por P0 y que un conjunto de ecuaciones paramtricas de C es
( ) ( ) ( ) t h z t g y t f x ; ;
donde el valor del parmetro t en p0 es t0. Una ecuacin vectorial de C es
( ) ( ) ( ) ( ) k t h j t g i t f t R + +
Como C esta en S, se tiene que:
( ) ( ) ( ) ( ) ( ) t G t h t g t f F 0 , ,
Si F es diferenciable y Fx, Fy y Fz no son todas cero en P0 y si ( )
0
t f
, ( )
0
t g
y ( )
0
t h
existen, entonces la
derivada total de F con respecto a t en P0 esta dad por
( ) ( ) ( ) ( ) ( ) ( ) ( )
0 0 0 0 0 0 0 0 0 0 0 0 0
, , , , , , t h z y x F t g z y x F t f z y x F t G
z y x
+ +
El miembro derecho de esta ecuacin se puede escribir como
( ) ( ) ( ) [ ] ( ) ( ) ( ) [ ] k t h j t g i t f k z y x F j z y x F i z y x F
z y x
0 0 0 0 0 0 0 0 0 0 0 0
, , , , , , + + + +
As ( ) ( ) ( )
0 0 0 0 0
, , t R D z y Fx t G
t

Como
( ) 0 t G
, entonces ( ) 0
0
t G , por lo que: ( ) ( ) 0 , ,
0 0 0 0
t R D z y x F
t
Como se sabe que el vector velocidad ( )
0
t R D
t
tiene la misma direccin que un vector tangente a la curva C en
P0, se puede concluir que el F en P0 es normal a un vector tangente de cada curva C de S que pase por el
punto P0.
As se ha demostrado el siguiente teorema: si una ecuacin de una superficie S es, y si F es diferenciable y Fx, Fy
y Fz no son todas cero en el punto ( )
0 0 0 0
, , z y x P de S, entonces ( )
0 0 0
, , z y x F es un vector normal a S en
P0.
Derivada direccional
Como se vio, las derivadas parciales de una funcin caracterizan la tasa de variacin de la funcin a lo largo de
rectas paralelas a los ejes coordenados. Esto quiere decir que si f es
( ) y x f ,
, entonces ( ) y x f
x
, describe la
tasa de variacin de f en la direccin del eje x, y
( ) y x f
y
,
describe la tasa de variacin de f en la direccin del
eje y. a continuacin se generalizar la definicin de derivada parcial para obtener la tasa de variacin de una
funcin con respecto a cualquier direccin, lo que conduce a la nocin de derivada direccional.
Comencemos por considerar la superficie S con ecuacin
( ) y x f z ,
y sea ( )
0 0 0
, y x f z . Entonces el punto
( )
0 0 0
, , z y x P esta sobre S. Considrese tambin un vector arbitrario
( ) b a U ,
. El plano vertical que pasa por
P en la direccin U cruza a S en la curva C.
La pendiente de la recta tangente T a C en el punto P es la tasa de cambio de z en la direccin de U.
Si
( ) z y x Q , ,
es otro punto sobre C , y
P ,
Q
son las proyecciones de P y
Q
sobre el plano xy,
entonces el vector Q P
es paralelo a U y
( ) hb ha U h Q P , para algn escalar h
Entonces ha x x
0
, hb y y
0
, as que ha x x +
0
, hb y y +
0
, y
( ) ( )
h
y x f hb y ha x f
h
z z
h
z
0 0 0 0 0
, , + +

Si tomamos el lmite cuando 0 h , obtenemos la tasa de cambio de z respecto a la distancia, en la direccin de

u.
Si
( ) 0 , 1 i U
, entonces
x i
f f D y si
( ) 1 , 0 j U
, entonces y j
f f D
. Es decir, que las derivadas
parciales de f respecto a x y a y son casos especiales de la derivada direccional.
Si definimos una funcin g de una sola variable h mediante
( ) ( ) hb y ha x f h g + +
0 0
,
entonces por la definicin de derivada tenemos
( )
( ) ( ) ( ) ( )
( )
0 0
0 0 0 0
0 0
,
, ,
lim
0
lim 0 y x f D
h
y x f hb y ha x f
h
g h g
g
U
h h

+ +

Por otra parte, se puede expresar
( ) ( ) y x f h g ,
de modo que la regla de la cadena establece
( ) ( ) ( ) b y x f a y x f
h
y f
h
x
x
f
h g
y x
+

, ,
T
( )
0 0 0
, , z y x P
( ) z y x Q , ,
( ) 0 , ,
0 0
y x P
( ) 0 , , y x Q
U
ha
hb
Si ahora ponemos 0 h , entonces
0
x x
y
0
y y
, y
( ) ( ) ( ) b y x f a y x f g
y x
+
0 0 0 0
, , 0
Entonces vemos que:
( ) ( ) ( ) b y x f a y x f y x f D
y x U
+
0 0 0 0 0 0
, , ,
Y esto se puede expresar como el producto de 2 vectores:
( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) U f y x f D
b a y x f y x f b y x f a y x f y x f D
U
y x y x U

+
,
, , , , , , ,
Esto expresa la derivada direccional en la direccin de U como la proyeccin escalar del vector gradiente sobre U.
La derivada direccional se maximiza cuando tiene la misma direccin del
( ) P f
y se maximiza cuando tiene
direccin opuesta al mismo.
Aplicando la definicin de producto escalar se puede escribir la definicin como:
( )

cos cos ,
1
f U f y x f D
U
donde es el ngulo entre
f
y U .
Se puede decir entonces que la derivada direccional es mxima cuando 0 y mnima cuando .
El gradiente es entonces la direccin del mximo incremento de la funcin y su longitud es la razn de incremento
de la funcin.
Integrales de lnea
Campo Vectorial
Si U es un conjunto en
n
. Un campo vectorial es una funcin F que asocia cada punto de U con un vector de la
misma dimensin.
Si en lugar de un vector se asocia un escalar con un punto del espacio, entonces se tiene un campo escalar, por lo
que un campo escalar es una funcin real.
Como ejemplo de campo vectorial, considrese el flujo de un fluido. Considrese que el fluido consiste en nmero
infinito de partculas, y que la velocidad de una de estas depende solo de su posicin, de modo que la velocidad
es independiente del tiempo, y debido a este hecho, el flujo del fluido se denomina flujo de estado estable. En un
punto
( ) z y x , ,
la velocidad del fluido esta dada por
( ) z y x F , ,
definida mediante una ecuacin de la forma
( ) ( ) ( ) j y x N i y x M y x F + , , ,
As, F es un campo denominado campo de velocidad del fluido. Los campos de velocidad pueden describir otros
movimientos, tales como el viento. Los campos vectoriales que se estudian generalmente son independientes del
tiempo por lo que se llaman campos vectoriales de estado estable.
Otro tipo de campos vectoriales son los campos de fuerza, y ejemplos de los mismos son el campo gravitacional y
el campo elctrico.
Campo conservativo
El gradiente de un campo escalar es un campo vectorial. Si

es un campo escalar y F es definido por

F
entonces a F se le llama campo vectorial gradiente o conservativo.
Condicin necesaria
Si
2
: A F
con ( ) ( ) ( ) ( ) y x Q y x P y x F A , , , , /
2
es un campo de gradientes, siendo P ,
Q
,
P y
Q
continuas en un conjunto plano y conexo, entonces
( ) ( ) y x Q y x P
x y
, ,
en todo punto de dicho recinto.
Si ( ) ( ) y x U y x F , , , entonces existe ( ) y x U , y es tal que
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) y x Q y x U y x Q y x U
y x P y x U y x P y x U
y yx y
y xy x
, , , ,
, , , ,


Por el teorema de Swarz, al existir y ser continuas, las derivadas segundas cruzadas deben ser iguales, por lo que
( ) ( ) y x Q y x P
x y
, ,
Adems de esta condicin, P ,
Q
,
P y
Q
deben ser continuas y pertenecer a un conjunto plano abierto y
convexo. Un conjunto es convexo si y solo si dados dos puntos cualquiera del mismo, el segmento de recta que
los une esta incluido en el conjunto. Este conjunto puede ser entonces: un crculo, un rectngulo o todo
2

.
Si
n
A F :
con ( ) ( ) ( ) ( ) ( ) X F X F X F y x F A
n
n
, , , , /
2 1
es tal que ( ) X F
i
y
j
i
X
F

con
{ } n j i , , 2 , 1 ,
son continuas en un conjunto A abierto y convexo, entonces la condicin necesaria y suficiente
para que
F
sea conservativo es que
i
i
j
i
x
F
x
F

Si
F
:

j j
D f

i j i j
j i j i
D D f D
D D f D

Como j i
f D
y j i
f D
son continuas, las derivadas parciales mixtas

j i
D D
y

i j
D D
deben ser iguales, lo
que demuestra la condicin.
Si 3 n la igualdad de las derivadas cruzadas equivale a que el rotor de F sea nulo, esto es
0 , ,
1 2 1 3 2 3
3 2 1

,
_

y
F
x
F
z
F
x
F
z
F
y
F
F F F
z y x
k j i
xF rotF
En
3
, un campo vectorial es conservativo y es irrotacional.
Clculo de la funcin potencial
Supongamos que
2
: A F
con
2
A
tal que ( ) ( ) ( ) ( ) y x Q y x P y x F , , , , es un campo de gradientes.
Interesa encontrar
( ) y x U ,
tal que
( ) ( ) y x Q U y x P U
y x
, y ,
( ) ( ) ( ) ( ) ( ) y C dx y x P y x U y x P y x U
x
+

, , , ,
, ya que al integrar respecto de x, la constante de
integracin es un nmero o una funcin que depende solo de y.
Derivando la ltima ecuacin respecto de y e igualando con la primera
( ) ( ) [ ] ( ) ( ) ( ) ( ) [ ]

dx y x P
y
y x Q y C y C dx y x P
y
y x Q , , , ,
Entonces:
( ) ( ) ( ) [ ] c dy dx y x P
y
y x Q y c +

'

, ,
Finalmente:
( ) ( ) ( ) ( ) [ ]

+

'

+ c dy dx y x P
y
y x Q dx y x P y x U , , , ,
Integral de lnea
Antes de abordar el concepto de integral de lnea se debe definir el concepto de curva. Una curva es el conjunto
imagen de una funcin vectorial continua.
El concepto de integral de lnea es una generalizacin del concepto de integral definida. En el caso de la integral
definida se integra a lo largo del eje x en un intervalo [ ] b a, . En el caso de una integral de lnea se integra a lo
largo de una curva c en el espacio o en el plano.
Comenzamos con una curva c dada por las ecuaciones paramtricas:
( ) t x x
,
( ) t y y
, b t a
o por la ecuacin:
( ) ( ) ( ) j t y i t x t r +
Se supone que C es una curva suave, esto es, tiene tangente nica en cada punto cuya direccin varia
continuamente a medida que se recorre tal curva.
Una particin en el intervalo parmetro [ ] b a, mediante puntos
i
t
, con
b t t t t a
n
< < < <
2 1 0
determina una particin P de la curva por los puntos ( )
i i i
y x P , , donde ( )
i i
t x x y ( )
i i
t y y .
0
0
P
1
P
2
P
C
1 i
P ( )
i i i
y x P ,
i
P
n
P
x
y
Estos puntos
i
P
dividen a C en n subarcos, cuyas longitudes son
n
S S S , , ,
2 1

. Elegimos cualquier punto
( )
i i i
y x P , en el psimo subarco. Si f es una funcin de 2 variables cuyo dominio incluye a C, evaluamos a f en el
punto ( )
i i
y x , , la multiplicamos por la longitud
i
S del subarco y formamos la suma
( )
i
n
i
i i
S y x f

1
,
que es similar a una suma de Riemman. Despus evaluamos al lmite de esas sumas y hacemos la siguiente
definicin por analoga a la integral de una variable. Entonces la integral de lnea de lnea de f a lo largo de C es
( ) ( )
i
C
n
i
i i
p
x y x f ds y x f

1
0
, lim ,
(integral de lnea respecto a la longitud de arco)
Al sustituir
i
S por
1

i i i
x x x o
1

i i i
y y y se obtienen las integrales de lnea de f a lo largo de C
respecto a x e y
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )dt t y t y t x f y y x f dy y x f
dt t x t y t x f x y x f dx y x f
b
a
i
C
n
i
i i
p
b
a
i
C
n
i
i i
p

, , lim ,
, , lim ,
1
0
1
0
Con frecuencia las integrales de lnea respecto a x e y se presentan al mismo tiempo. Cuando esto sucede, se
acostumbra abreviarlas al escribir
( ) ( )

+
C C
dy y x Q dx y x P , ,
En general, una parametrizacin dada
( ) ( ) b t a t y y t x x , ,
, determina una orientacin de una curva C,
donde la direccin positiva corresponde a un incremento de los valores del parmetro t.
Si - C denota la curva que tiene los mismos puntos que C, pero con direccin opuesta, entonces tenemos que
( ) ( ) ( ) ( )



C C C C
dy y x f dy y x f dx y x f dx y x f , , ; , ,
Pero si integramos respecto a la longitud de arco, el valor de la integral de lnea no cambia cuando se invierte la
direccin de la curva.
( ) ( )

C C
dx y x f dx y x f , ,
Esto se debe a que
i
S
siempre es positivo, en tanto que
i
x
y
i
y
cambian de signo cuando invertimos la
orientacin de C.
Ahora supongamos que C es una curva suave en el espacio dada por
( ) ( ) b t a t y y t x x , ,
o por una ecuacin vectorial
( ) ( ) ( ) ( ) k t z j t y i t x t r + +
. Si f es una funcin de 3 variables continua en una
regin que contiene a C definimos la integral de lnea de f a lo largo de C respecto a la longitud de arco como:
( ) ( )
i
C
n
i
i i i
p
S z y x f ds z y x f

0
0
, , lim , ,
La integral de lnea respecto a z se define como
( ) ( ) ( ) ( ) ( ) ( ) dt z t z t y t x f z z y x f dz z y x f
b
a
i
C
n
i
i i i
p

, , , , lim , ,
0
0
En consecuencia, tambin se puede integrar de la forma
( ) ( ) ( )dz z y x R dy z y x Q dx z y x P
C
, , , , , , + +