Anlisis Matemtico II

Mara Ins Parnisari

30 de julio de 2013
ndice
1. Introduccin al espacio R
n
2
2. Funciones de varias variables 4
3. Funciones compuestas, inversas e implcitas 9
4. Extremos de funciones de varias variables 11
5. Curvas en el espacio 14
6. Ecuaciones diferenciales 15
7. Integrales de lnea 17
8. Integrales mltiples 19
9. Integrales de supercie 22
10.Teoremas integrales 24
1
1 Introduccin al espacio R
n
1.1 Coordenadas cilndricas, esfricas y polares
Cilndricas Esfricas Polares
p R, p = (r, , z) con
r 0, [0, 2]
p R, p = (, , ) con
0, [0, ], [0, 2]
p R, p = (r, ) con
r 0, [0, 2]
r = c cilindro vertical recto
= c semiplano vertical
z = c plano horizontal
r = c esfera concntrica
= c semicono
= c semiplano
r = c circunferencia
= c semirrecta
De cilndricas a cartesianas:
_

_
x = r cos()
y = r sin()
z = z
De cartesianas a cilndricas:
_

_
r =
_
x +y
= arctan(
y
x
)
z = z
De esfricas a cartesianas:
_

_
x = sin()cos()
y = sin()sin()
z = cos()
De cartesianas a esfricas:
_

_
=
_
x +y +z
= arctan(
y
x
)
= arccos(
z
r
)
De polares a cartesianas:
_
x = r cos()
y = r sin()
De cartesianas a polares:
_
r =
_
x +y
= arctan(
y
x
)
1.2 Secciones cnicas
Circunferencia Elipse Parbola Hiprbola
(x x
0
)
2
+ (y y
0
)
2
= r
2
(xx
0
)
2
a
2
+
(yy
0
)
2
b
2
= 1 y = ax +bx +c
(xx
0
)
2
a
2

(yy
0
)
2
b
2
= 1
1.3 Supercies cudricas
1. Cilindro:
a) Elptico: (
x
a
)
2
+ (
y
b
)
2
= 1
b) Parablico: x
2
+ 2rz = 0
2
c) Hiperblico:(
x
a
)
2
(
y
b
)
2
= 1
2. Cono:
x
2
a
2
+
y
2
b
2

z
2
c
2
= 0
3. Hiperboloide:
a) De una hoja:
x
2
a
2
+
y
2
b
2

z
2
c
2
= 1
b) De dos hojas:
x
2
a
2

y
2
b
2

z
2
c
2
= 1
4. Elipsoide:
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1
5. Paraboloide:
a) Elptico: z =
x
2
a
2
+
y
2
b
2
b) Hiperblico: z =
x
2
a
2

y
2
b
2
1.4 reas y volmenes
Algunas frmulas de reas y volmenes que conviene recordar:
rea de una elipse de semiejes a y b: ab
rea de una circunferencia de radio r: r
Volumen de una esfera de radio r:
4
3
r
Volumen de un elipsoide de semiejes a, b, c:
4
3
abc
Volumen de un cilindro de radio r y altura h: rh
Volumen de un cono de radio r y altura h:
1
3
r
2
h
3
2 Funciones de varias variables
2.1 Funciones de varias variables
Puntos y conjuntos de puntos en R
n
:
1. Entorno de A R
n
: es todo conjunto capaz de incluir una esfera abierta de R
n
con centro en A y radio
mayor a cero. Se denota como E(A).
2. Entorno reducido de A R
n
: E

(A) = E(A) {A}

3. Punto aislado: A S es un punto aislado de S cuando existe un E

(A) que no tiene puntos de S.

4. Punto de acumulacin: A es un punto de acumulacin de S cuando en todo E

(A) existe algn punto

de S.
5. Conjunto abierto: aquel que todos sus puntos son interiores.
6. Conjunto cerrado: contiene a todos sus puntos de acumulacin.
7. Conjunto acotado: cuando se lo puede incluir en una esfera abierta con radio nito.
8. Conjunto compacto: cuando es cerrado y acotado.
9. Conjunto convexo: S es convexo cuando A, B S, el segmento AB est incluido en S.
10. Conjunto conexo: S es conexo cuando A, B S se puede pasar de A a B desplazndose por S.
11. Conjunto simplemente conexo: S conexo es simplemente conexo cuando toda curva cerrada trazada
en l puede, por deformacin continua, transformarse en un punto, mantenindose en el conjunto. En R
2
,
simplemente conexo conexo sin agujeros.
(a) Convexidad. (b) A es conexo, B
no es conexo.
(c) El tubo no es simple-
mente conexo.
Dado un conjunto S R
n
y un punto A R
n
, pueden ocurrir tres cosas:
1. A es un punto interior a S, cuando existe E(A) incluido en S,
2. A es un punto exterior a S, cuando existe E(A) que no tiene puntos de S,
3. A es un punto frontera de S, cuando para todo E(A) hay puntos en S y puntos que no estn en S.
Funcin escalar: f : U R
n
R. Regla que asocia a cada n-ada ordenada de nmeros reales, (o bien a
cada vector x de U), un nmero real. El conjunto U es el dominio de f, su codominio es R, y el rango de f es
{z R : z = f (x) , x U}
Figura 1: Campo vectorial en R.
Campo vectorial: f : U R
n
R
m
(m > 1). Regla que asocia a cada
n-ada ordenada de nmeros reales un vector de R
m
.
Operaciones entre funciones de varias variables f : U R
n
R, g : V
R
n
R
1. suma de f y g: f+g : UV R
n
R tal que (f +g) (x) = f (x)+g (x)
2. producto de f y g: f g : UV R
n
R tal que (fg) (x) = f (x)g (x)
3. cociente de f y g:
f
g
: W R
n
R tal que
_
f
g
_
(x) =
f(x)
g(x)
, donde
W = U V {x V : g (x) = 0}
4
2.2 Geometra de las funciones de varias variables
Se dene la grca de f : U R
n
R al conjunto {(x
1
, x
2
, . . . , x
n
, y) R
n+1
: x U, y = f(x
1
, x
2
, . . . , x
n
)}
Figura 2: f(x, y) = x 2y y
sus curvas de nivel.
La grca de la funcin f : U R
2
R es la grca de la supercie
z = f (x, y). Para n 3, la grca no puede ser visualizada.
Para gracar, hay que cortar la supercie z = f(x, y) con los planos del tipo
y = kx y estudiar el tipo de curvas resultantes. En particular, se estudian
las curvas resultantes de cortar la supercie con los planos y = 0 y x = 0.
Otro concepto importante que tambin se usa como ayuda para obtener
grcos de funciones de dos variables es el de nivel constante de una funcin:
dada la funcin f : U R
n
R y el nmero c rango de f, se dene el
nivel c de la funcin f como el conjunto N
c
= {x U : f (x) = c}. Cuando
n = 2, la curva se llama curva de nivel. Cuando n = 3, la curva se llama
supercie de nivel. El nivel c de la supercie z = f (x, y) se puede interpretar
geomtricamente como la interseccin de la funcin con el plano z = c. Estas
curvas nos dan idea de la imagen de la funcin.
2.3 Limites y continuidad
Bola abierta: sea x
0
R
n
y r > 0. La bola abierta de centro x
0
y radio r, denotada por B(x
0
, r) es el conjunto
de puntos de R
n
que distan de x
0
en menos que r.
Conjunto abierto: un conjunto U R
n
es un conjunto abierto de R
n
si para cada x
0
U existe un r > 0 tal
que B(x
0
, r) U. Esto es, el conjunto U R
n
ser abierto si cuando tomamos un punto x
0
en l, este siempre
tiene vecinos que siguen viviendo dentro de U.
Frontera de un conjunto: sea U R
n
un subconjunto de R
n
. Un punto x
0
R
n
es un punto frontera de U
si toda bola abierta B(x
0
, r) contiene puntos en U y fuera de l.
Lmite: sea f : U R
n
R una funcin denida en el conjunto abierto U. Si x
0
es un punto de U o un punto
frontera de U, se dice que el lmite de f cuando x tiende a x
0
es L, lo cual se escribe como lm
xx
0
f (x) = L si
dado cualquier > 0 existe > 0 tal que x B(x
0
, ) U (x = x
0
) f (x) B(L, ).
Lmite por curva: una condicin necesaria (pero no suciente) para que el lmite lm
(x,y)(x
0
,y
0
)
f (x, y) exista
y sea L, es que si los lmites lm
xx
0
f (x, (x)) y lm
xx
0
f (x, (x)) existen (donde y = (x) e y = (x) son
curvas que pasan por (x
0
, y
0
)) deben valer L. El nico argumento que concluye que un lmite existe requiere
la aplicacin directa de la denicin. Para calcular lmites tambin es til expresar la funcin en coordenadas
polares. Ejemplo: lm
(x,y)(0,0)
x
3
y
x
2
+y
2
= lm
r0
(rcos)
3
(rsen)
(rcos)
2
+(rsen)
2
Teorema: Sean f, g : U R
n
R dos funciones denidas en el abierto U y sea x
0
un punto de U o un punto
frontera de U. Si lm
xx
0
f (x) = L y lm
xx
0
g (x) = M, entonces:
1. lm
xx
0
(f +g) (x) = L +M
2. lm
xx
0
(f g) (x) = L M
3. Si M = 0, lm
xx
0
_
f
g
_
(x) =
L
M
Si f : U R
2
R es una funcin polinomial, entonces lm
(x,y)(x
0
,y
0
)
f (x, y) = f(x
0
, y
0
)
Continuidad en un punto: sea f : U R
n
R una funcin denida en el abierto U de R
n
, y sea x
0
U. Se
dice que f es una funcin continua en x
0
si f (x
0
) = lm
xx
0
f(x). Las funciones polinomiales son continuas en
cualquier punto (x
0
, y
0
) R
2
.
Continuidad en un abierto: sea f : U R
n
R una funcin denida en el abierto U de R
n
. Se dice que f
es continua en U si lo es para todos y cada uno de los puntos (x, y) U.
Continuidad de un campo escalar: f : D R
2
R es continuo en un punto (x
0
, y
0
) D si lm
(x,y)(x
0
,y
0
)
f (x, y) =
f (x
0
, y
0
).
Continuidad de un campo vectorial: Los conceptos de continuidad y diferenciabilidad para funciones f :
U R
n
R
m
, m > 1, se establecen en trminos de las funciones coordenadas de la funcin f. Esto es, se dir
5
que la funcin f = (f
1
, f
2
, . . . , f
m
) es continua (respectivamente, diferenciable) en el punto x
0
U s y solo si
las funciones coordenadas f
i
: U R
n
R, i = 1, 2, . . . , m, lo son.
Teorema: sean f, g : U R
n
R funciones denidas en el abierto U de R
n
. Si f y g son continuas, entonces,
1. la funcin f +g : U R
n
R = f (x) +g(x) es continua.
2. la funcin f g : U R
n
R = f (x) g(x) es continua.
3. la funcin
f
g
: U R
n
R =
f(x)
g(x)
es continua en todo punto x U, donde g(x) = 0.
4. la composicin g f : U R
n
R es continua.
2.4 Derivadas parciales
Para una funcin de una variable: f : I R R denida en el intervalo abierto I, se dene la derivada de f en
x
0
I, denotada por f

(x
0
), como el valor del lmite lm
h0
f(x
0
+h)f(x
0
)
h
= f

(x
0
) cuando ste existe (en cuyo
caso decimos que f es diferenciable en x
0
). Si f

(x
0
) existe, su valor nos da la pendiente de la recta tangente a
la grca de la funcin y = f(x) en el punto (x
0
, y
0
). Para este tipo de funciones, diferenciabilidad equivale a
existencia de derivada, y la diferenciabilidad en un punto implica la continuidad de la funcin en ese punto.
Para una funcin de dos variable: f : U R
2
R denida en el abierto U, con p = (x
0
, y
0
) un punto de U, se
dene la derivada parcial de f con respecto de x (la primera derivada de f) en el punto p, denotada por
f
x
(p) o
f

x
(p) como el lmite
f
x
(p) = lm
h0
f(x
0
+h,y
0
)f(x
0
,y
0
)
h
. Del mismo modo, la derivada parcial de f con respecto
de y es el lmite (si existe)
f
y
(p) = lm
h0
f(x
0
,y
0
+h)f(x
0
,y
0
)
h
. Para este tipo de funciones, la existencia de
derivadas parciales un punto no implica que la funcin sea continua en ese punto, por lo que tampoco implica
que sea diferenciable en ese punto.
Las derivadas parciales de una funcin z = f(x, y) en un punto p = (x
0
, y
0
) nos hablan del comportamiento
geomtrico (la inclinacin) de las supercie que tal funcin representa, en las direcciones de los ejes x e y.
Las derivadas parciales de una funcin se obtienen derivando parcialmente cada una de las variables, y dejando
las otras como constantes. Ejemplo: sea la funcin f(x, y) = 5x + 4xy +y. Se tiene que f

x
= 15x + 4y y que
f

y
= 4x + 2y.
2.5 Derivadas direccionales
Derivada direccional: sea f : U R
n
R una funcin denida en el conjunto abierto U, y sea x
0
U.
Sea v R
n
un vector unitario dado. Se dene la derivada de la funcin f en x
0
en la direccin del vector v,
denotada por
f
v
(x
0
) como el lmite lm
t0
f(x
0
+tv)f(x
0
)
t
.
El vector unitario v se puede escribir como v = (cos(), sin()), 0 2, con lo que la derivada direccional
se reescribira como
f
v
(x
0
, y
0
) = lm
t0
f(x
0
+tcos(),y
0
+tsin())f(x
0
,y
0
)
t
.
Notar que si = 0 se tiene
f
v
=
f
x
, y si =

2
se tiene
f
v
=
f
y
.
2.6 Diferenciabilidad
Para funciones de una variable: la funcin f : I R R es diferenciable en x
0
I si existe una constante A
tal que f (x
0
+h) = f (x
0
) + Ah + r (h), donde lim
h0
r(h)
h
= 0 (el residuo r(h) tiende a 0 ms rpidamente
que h). Despejando A, obtenemos que A =
f(x
0
+h)f(x
0
)
h

r(h)
h
.
Para funciones de dos variable: la funcin f : U R
2
R es diferenciable en el punto p = (x
0
, y
0
) si hay
constantes A
1
y A
2
tales que f ((x
0
, y
0
) + (h
1
, h
2
)) = f (x
0
, y
0
)+A
1
h
1
+A
2
h
2
+r(h
1
, h
2
) donde lim
(h
1
,h
2
)(0,0)
=
r(h
1
,h
2
)
|(h
1
,h
2
)|
. Despejando A
1
y A
2
, obtenemos que A
1
=
f
x
(x
0
, y
0
) y A
2
=
f
y
(x
0
, y
0
).
Teorema: Se dice que la funcin f : U R
2
R denida en el abierto U es diferenciable en el punto
p = (x
0
, y
0
) U, si existen las derivadas parciales de f en p : A
1
=
f
x
(x
0
, y
0
) y A
2
=
f
y
(x
0
, y
0
), y si el
residuo r(h
1
, h
2
) denido en f ((x
0
, y
0
) + (h
1
, h
2
)) = f (x
0
, y
0
) + A
1
h
1
+ A
2
h
2
+ r(h
1
, h
2
) tiene la propiedad
lim
(h
1
,h
2
)(0,0)
r(h
1
,h
2
)
|(h
1
,h
2
)|
= 0. Si la funcin es diferenciable en p, es continua en ese punto.
6
Una funcin f(x, y) es diferenciable en un punto P = (x
0
, y
0
) si
lim
(x,y)(x
0
,y
0
)
f(x, y)
_
f
x
(p) (x x
0
) +
f
y
(p) (y y
0
) +f(x
0
, y
0
)
_
_
(x x
0
)
2
+ (y y
0
)
2
= 0
Las funciones polinomiales f : R
2
R son diferenciables en todo punto.
Teorema: sean f, g : U R
n
R dos funciones denidas en U, y diferenciables en p U. Entonces:
1. la suma f +g : U R
n
R = f (p) +g(p) es una funcin diferenciable en p.
2. el producto f g : U R
n
R = f (p) g(p) es una funcin diferenciable en p.
3. si g(p) = 0, el cociente
f
g
: U R
n
R =
f(p)
g(p)
es una funcin diferenciable en p.
4. la composicin g f : U R
n
R es diferenciable en p.
Teorema: sea f : U R
n
R una funcin denida en el conjunto U. Si las derivadas parciales son continuas
en el punto x
0
U, entonces f es diferenciable en x
0
.
2.7 Diferenciabilidad y derivadas direccionales
Sea f : U R
n
R diferenciable, denida en el conjunto abierto U. Sea x
0
U y sea v R
n
el vector
unitario en cuya direccin queremos calcular la derivada de la funcin f en el punto x
0
. Entonces:
f
v
(x
0
) =
n

i=1
f
x
i
(x
0
) v
i
Ejemplo: dada f : R
2
R tal que f (x, y) = x
2
+ y
2
, queremos calcular la derivada de la funcin en un punto
arbitrario (x
0
, y
0
) R
2
en la direccin del vector unitario v = (cos(), sin()). Dado que la funcin es polinomial,
es diferenciable en todo el dominio. Entonces segn la frmula se tiene que
f
v
(x
0
, y
0
) =
f
x
(x
0
, y
0
)cos() +
f
y
(x
0
, y
0
)sen() = 2x
0
cos() + 2y
0
sen()
2.8 Gradiente
Figura 3: El gradiente apun-
ta a la direccin de mayor
variacin.
Sea f : U R
n
R una funcin diferenciable denida en el conjunto abierto
U de R
n
. Se dene el vector gradiente de la funcin f en el punto x
0
U,
denotado por grad f (x
0
) o f(x
0
), como el vector de R
n
dado por:
f(x
0
) =
_
f

x
1
(x
0
), f

x
2
(x
0
), . . . , f

x
n
(x
0
)
_
f(x
0
) v = f

v
(x
0
)
El vector f(x
0
) nos dice en qu direccin se tiene la mayor variacin (el
mayor crecimiento) de la funcin f en el punto x
0
. Adems, se tiene que el
vector f(x
0
) es un vector ortogonal a la curva de nivel que pasa por x
0
.
Si f es diferenciable, la direccin de la derivada direccional puede ser:
1. Mxima: v =
f
|f|
, y su valor es |f|
2. Mnima: v =
f
|f|
, y su valor es |f|
3. Nula: vf, y su valor es 0
7
2.9 Vectores normales
Dada una funcin diferenciable f : U R
2
R denida en el conjunto abierto U de R
2
tal que z = f(x, y), y
dado un punto p = (x
0
, y
0
, f (x
0
, y
0
)), el vector normal N
p
a la supercie de la funcin en el punto p se obtiene
mediante
N
P
= det
_
_
i j k
1 0 f

x
(x
0
, y
0
)
0 1 f

y
(x
0
, y
0
)
_
_
=
_
f

x
(x
0
, y
0
), f

y
(x
0
, y
0
), 1
_
Nota: recordar que la supercie z = f(x, y) se puede ver como el nivel 0 de la funcin F (x, y, z) = z f(x, y).
De all el porqu de la ltima coordenada del vector.
2.10 Planos tangentes y rectas normales
Figura 4: Plano tangente.
Si la funcin f : U R
2
R es diferenciable en el punto p = (x
0
, y
0
), entonces
la siguiente ecuacin dene al plano tangente a la supercie z = f (x, y) en el
punto (x
0
, y
0
, f (x
0
, y
0
)):
z = f(x
0
, y
0
) +f

x
(x
0
, y
0
)(x x
0
) +f

y
(x
0
, y
0
)(y y
0
)
De la ecuacin anterior se deduce que el plano tangente en un punto p es un
plano que pasa por el punto y contiene a las rectas tangentes en el punto. Es
decir, tiene como vector normal al vector (f(p), 1) calculado anteriormente.
Dada una funcin diferenciable f : U R
2
R cuya grca es una supercie
S, se dene la recta normal a la supercie S en el punto p = (x
0
, y
0
, z
0
) de
ella, como la recta que pasa por p y contiene al vector normal a la supercie en
p. Su ecuacin est dada por:
L : (x, y, z) = t
_
f

x
(x
0
, y
0
), f

y
(x
0
, y
0
), 1
_
+ (x
0
, y
0
, z
0
) con t R
2.11 Diferencial
Dada la funcin f : U R
n
R diferenciable, la diferencial de f se dene como:
df =
n

i=1
f
x
i
x
i
Ejemplo: la diferencial de f (x) = sen
3
(x
2
) es df = 3sen
2
_
x
2
_
cos(x
2
)2xdx = 6xsen
2
_
x
2
_
cos
_
x
2
_
dx.
2.12 Derivadas parciales de rdenes superiores
Dada una funcin f : U R
2
R denida en el conjunto abierto U de R
2
. Si la funcin es diferenciable,
entonces existen las derivadas parciales
f
x
y
f
y
en cualquier punto (x, y) U. Puede ocurrir que estas derivadas
sean lo sucientemente bien portadas en U como para que podamos obtener de ellas sus derivadas parciales

x
_
f
x
_
,

y
_
f
x
_
,

x
_
f
y
_
,

y
_
f
y
_
.
Teorema de Schwarz: sea f : U R
2
R una funcin denida en el abierto U de R
2
. Si las derivadas
parciales cruzadas

2
f
xy
: U R
2
R y

2
f
yx
: U R
2
R existen y son funciones continuas en U, entonces
son iguales.
8
Apndice I: Funciones de clase C
k
Sea f : I R R una funcin diferenciable. Si la funcin derivada f

es continua, se dice que f es una funcin

de clase C
1
. Si esta funcin f

es, a su vez, una funcin diferenciable, decimos que f es una funcin dos veces
diferenciable.
En general: una funcin f es una funcin k veces diferenciable si la funcin f
(k1)
: I RR es diferenciable.
Si f es k veces diferenciable para todo k N, se dice ser innitamente diferenciable, o bien, de clase C

. En el
caso de funciones de varias variables, se dice que una funcin f : U R
n
R denida en U es de clase C
1
si
sus derivadas parciales existen y son funciones continuas en U.
Corolario: si la funcin f : U R
n
R es de clase C
1
, entonces f es diferenciable.
3 Funciones compuestas, inversas e implcitas
3.1 Composicin de funciones
Si tenemos las funciones g : I R R y f : J R R (tales que g (I) J), podemos formar la composicin
f g : I R R. El resultado ms importante es que si g es diferenciable en un punto x
0
I y f es
diferenciable en g (x
0
) J, entonces la composicin f g es diferenciable en x
0
, es decir, que (f g)

(x) existe,
y (f g)

(x) = f

(g (x)) g

(x).
Para el caso de dos variables, tenemos que z = f (x, y). Para componer esta funcin tendremos que sustituir
las dos variables (x e y) por dos funciones, digamos g
1
y g
2
, que conecten a stas con otras variables, digamos
u y v. As, si consideramos las funciones x = g
1
(u, v) e y = g
2
(u, v), podemos sustituir stas en la funcin f y
obtener la funcin compuesta y = f(g
1
(u, v) , g
2
(u, v)).
En general: Si tenemos la funcin f : U R
n
R denida en el conjunto U, y la funcin g : V R
n
R
denida en el conjunto V, cuyo rango est contenido en U (i.e. tal que g (V ) U) entonces podemos formar la
composicin f g : V R
n
R, como (f g) (v) = f (g (v)) , v V.
3.2 Regla de la cadena
Teorema (regla de la cadena): sea g : V R
m
R
n
una funcin denida en el conjunto abierto V de R
m
,
diferenciable en x
0
V . Sea f : U R
n
R una funcin denida en el conjunto abierto U de R
n
, tal que
g (V ) U, diferenciable en el punto g (x
0
) U. Entonces, la composicin f g : V R
m
R es diferenciable
en x
0
y sus derivadas parciales son

x
j
(f g) (x
0
) =

n
i=1
f
y
i
(g (x
0
))
g
i
x
j
(x
0
), j = 1, 2, . . . , m.
3.3 Regla de la cadena: perspectiva general
Sea la funcin f : U R
n
R
m
denida en el conjunto abierto U de R
n
, y sea x
0
U. Se dice que esta funcin
es diferenciable en x
0
si existe una transformacin lineal f

(x
0
) : R
n
R
m
, llamada derivada de f en x
0
tal
que f (x
0
+h) = f (x
0
) +f

(x
0
) h +r(h), donde lm
h0
r(h)
||h||
= 0 (para h R
n
tal que x
0
+h U). La matriz
de esta transformacin f

(x
0
) : R
n
R
m
es
_

_
f
1
x
1
(x
0
)
f
1
x
n
(x
0
)
.
.
.
.
.
.
.
.
.
f
m
x
1
(x
0
)
f
m
x
n
(x
0
)
_

_
Esta matriz de mn se llama matriz jacobiana de la funcin f en x
0
y se denota Jf(x
0
). Esta es, entonces,
la derivada de la funcin diferenciable f en x
0
. En el caso de que m = 1, la matriz jacobiana se identica de
manera natural con el vector gradiente de f en x
0
.
Ejemplo: sea f : R
2
R
3
dada por f (x, y) = (
f
1
..
sen(x +y)
f
2
..
, xe
x+y
,
f
3
..
x +y). f es diferenciable en todo su dominio,
y su derivada en el punto (0,0) est dada por la matriz
Jf (0, 0) =
_

_
f
1
x
(0, 0)
f
1
y
(0, 0)
f
2
x
(0, 0)
f
2
y
(0, 0)
f
3
x
(0, 0)
f
3
y
(0, 0)
_

_ =
_
_
cos (x +y) cos (x +y)
e
x+y
(x + 1) xe
x+y
1 1
_
_
x = 0
y = 0
=
_
_
1 1
1 0
1 1
_
_
9
Teorema: Sea f : U R
n
R
p
una funcin denida en el abierto U de R
n
, y g : V R
m
R
n
una funcin
denida en el abierto V de R
m
tal que g (V ) U. Si g es diferenciable en x
0
V y f es diferenciable en
g (x
0
) U, entonces la funcin f g : V R
m
R
p
es diferenciable en x
0
y su derivada viene dada por la
matriz
J(f g)(x
0
) = Jf(g(x
0
)) Jg(x
0
)
3.4 Funciones Implcitas (I)
Teorema de la funcin implcita (1er versin): sea z = F(x, y), y sea (x
0
, y
0
) R
2
un punto. Si:
a) F (x
0
, y
0
) = 0,
b) la funcin F tiene derivadas parciales continuas en un entorno de (x
0
, y
0
) y
c)
F
y
(x
0
, y
0
) = 0.
Entonces F (x, y) = 0 se puede resolver para y en trminos de x y denir as una funcin y = f (x) con dominio
en una vecindad de x
0
, tal que y
0
= f(x
0
), la cual tiene derivadas continuas en V que pueden calcularse como
y

= f

(x) =
F
x
(x,y)
F
y
(x,y)
, x V .
Nota 1: este teorema es de existencia, es decir, nos puede decir si existe una funcin y = f(x) denida implci-
tamente por F (x, y) = 0, pero no nos dice cmo se determina tal funcin.
Nota 2: este teorema es local. Nos asegura la existencia de la funcin y = f(x), o nos asegura la posibilidad del
despeje de y en trminos de x a partir de F (x, y) = 0 solamente en las cercanas del punto (x
0
, y
0
). Fuera de
la vecindad V, el teorema no se responsabiliza por la existencia de la funcin f.
La ecuacin de la recta tangente a la curva F (x, y) = 0 en (x
0
, y
0
) est dada por
F
x
(x
0
, y
0
) (x x
0
) +
F
y
(x
0
, y
0
) (y y
0
) = 0.
La ecuacin de la recta normal a la curva F (x, y) = 0 en (x
0
, y
0
) est dada por
F
x
(x
0
, y
0
) (x x
0
)
F
y
(x
0
, y
0
) (y y
0
) = 0.
Teorema de la funcin implcita (2da versin): sea la funcin z = F(x
1
, x
2
, . . . , x
n
, y). Sea p = (x
1
, x
2
, . . . , x
n
, y)
R
n+1
un punto tal que F (p) = 0. Suponemos que la funcin F tiene derivadas parciales
F
x
i
, i = 1, 2, . . . , n y
F
y
continuas en alguna bola B con centro en p y que
F
y
(p) = 0. Entonces F (x
1
, x
2
, . . . , x
n
, y) = 0 puede re-
solverse para y en trminos de x y denir as una vecindad V (de R
n
) del punto (x
1
, x
2
, . . . , x
n
, y), una funcin
y = f(x
1
, x
2
, . . . , x
n
) la cual tiene derivadas parciales continuas en V que se pueden calcular con las frmulas:
f
x
i
(x
1
, x
2
, . . . , x
n
) =
F
x
i
(x
1
,x
2
,...,x
n
,y)
F
y
(x
1
,x
2
,...,x
n
,y)
con (x
1
, x
2
, . . . , x
n
) V
Teorema de la funcin implcita (3ra versin): sean z
1
= F(x, y, u, v) y z
2
= G(x, y, u, v). Sea p =
(x
0
, y
0
, u
0
, v
0
) R
4
un punto tal que F (p) = G(p) = 0, las funciones F y G tienen todas sus derivadas parciales
continuas en un entorno de p, y que
(F,G)
(u,v)
(p) = 0. Entonces z
1
y z
2
denen funciones implcitas u =
1
(x, y)
y v =
2
(x, y), denidas en una una vecindad V de (x
0
, y
0
), las cuales tienen derivadas parciales continuas en
V que se pueden calcular con las frmulas:
u
x
=
(F,G)
(x,v)
(F,G)
(u,v)
,
u
y
=
(F,G)
(y,v)
(F,G)
(u,v)
,
v
x
=
(F,G)
(u,x)
(F,G)
(u,v)
,
v
y
=
(F,G)
(u,y)
(F,G)
(u,v)
Notacin: si X e Y son funciones de las variables x e y, se llama jacobiano de X e Y respecto de x e y, denotado
por J
_
X,Y
x,y
_
=
(X,Y )
(x,y)
al determinante
(X,Y )
(x,y)
= det
_
X
x
X
y
Y
x
Y
y
_
Teorema de la funcin implcita (4ta versin): considere las n funciones u
i
= F
i
(x
1
, . . . , x
m
, y
1
, . . . , y
n
) con
i = 1, 2, . . . , n. Sea p = (x
1
, . . . , x
m
, y
1
, . . . , y
m
) R
m+n
un punto tal que F
i
(p) = 0 con i = 1, 2, . . . , n. Suponga
que F
i
tiene sus m + n derivadas parciales continuas en un entorno de p. Si el jacobiano
(F
1
,F
2
,...,F
n
)
(y
1
,y
2
,...,y
n
)
(p) = 0,
entonces las expresiones F
i
(x
1
, . . . , x
m
, y
1
, . . . , y
n
) denen funciones implcitas y
i
=
i
(x
1
, . . . , x
m
) con i =
10
1, 2, . . . , n denidas en una vecindad V de (x
1
, . . . , x
m
), las cuales tienen derivadas parciales continuas en V que
se pueden calcular como
y
i
x
j
=
(F
1
,F
2
,...,F
n
)
(y
1
,...,y
i1
,x
j
,y
i+1
,...,y
n)
(F
1
,F
2
,...,F
n
)
(y
1
,y
2
,...,y
n
)
Curvas como interseccin de supercies: dado el sistema de ecuaciones
_
F (x, y, z) = 0
G(x, y, z) = 0
y el punto
A = (x
0
, y
0
, z
0
). Cuando:
1. F(A) = 0 y G(A) = 0,
2. F, G C
1
(E (A)) ,
3. F(A) = 0 y G(A) = 0,
el sistema dene una curva C que pasa por A, y que admite recta tangente y plano normal en A, siendo
d
0
= F (A) G(A) el vector director de la recta tangente.
Supercies denidas en forma implcita: sea F (x, y, z) = 0 con F escalar y un punto A = (x
0
, y
0
, z
0
), tal
que:
1. F (A) = 0
2. F es C
1
en E(A),
3. F (A) = 0,
Entonces F (x, y, z) = 0 es la ecuacin de una supercie que pasa por A y admite recta normal y plano tangente
en A. Adems, se tiene que si
F
z
(A) = 0, entonces F (x, y, z) = 0 dene a z = f(x, y) en un entorno de A.
3.5 Funciones inversas
Si F : U R
2
R es una funcin tal que F (u, v) = (x, y) y en un entorno de (u, v) las derivadas parciales
f
u
,
f
v
,
g
u
,
g
v
de las funciones coordenadas de F son continuas (i.e. F es de clase C
1
), se tiene que siendo
el determinante de JF (u, v) = 0, entonces existe un entorno de (x, y) en la que existe la inversa F
1
de la
funcin F, la cual tiene continuas las derivadas parciales de sus funciones coordenadas en el entorno, y su matriz
jacobiana es JF
1
(x, y) = (JF (u, v))
1
donde (x, y) = (f (u, v) , g (u, v)) E((x, y)).
(F
1
)

(x, y) = (F

(u, v))
1
Teorema de la funcin inversa: Sea F : U R
n
R una funcin denida en el conjunto abierto U de R
n
.
Sea F (p) = q, p = (x
1
, x
2
, . . . , x
n
) , q = (y
1
, y
2
, . . . , y
n
). Suponga que en un entorno B de p la funcin F es de
clase C
1
y que el determinante JF(p) = 0. Entonces hay un entorno B

en R
n
de q en la que se puede denir la
funcin inversa de F, F
1
: B

B, la cual es de clase C
1
y JF
1
(y) = (JF (x))
1
donde y = F (x) B

4 Extremos de funciones de varias variables

4.1 Deniciones y ejemplos preliminares
Extremos relativos: sea f : U R
n
R una funcin denida en el conjunto abierto U de R
n
. Se dice que
f tiene un mximo relativo o local en el punto x
0
U si f (x
0
) f (x) para un entorno de x
0
. Se dice que f
tiene un mnimo relativo o local sif (x
0
) f(x) para un entorno de x
0
.
Una condicin necesaria (pero no suciente) para que la funcin f : U R
n
R, diferenciable en x U, tenga
en ese punto un extremo local es que todas sus derivadas parciales se anulen en x. Esto es necesario ya que si
las derivadas parciales se anulan, el plano tangente en el punto es horizontal.
Extremos absolutos: dado S D, f(x
0
, y
0
) es un mximo absoluto de los valores de f en S cuando x
S {(x
0
, y
0
)} f (x) < f (x
0
, y
0
) . f (x
0
, y
0
) ser un mnimo absoluto cuando x S {(x
0
, y
0
)} f (x) >
f (x
0
, y
0
) . Se dice entonces que la funcin alcanza un mnimo/mximo en (x
0
, y
0
). Su valor es f(x
0
, y
0
).
Punto crtico: sea f : U R
n
R. A los puntos x U en los que podra haber extremos se los llama puntos
crticos. Hay de dos tipos:
11
1. Puntos donde f no es diferenciable.
2. Puntos estacionarios: puntos donde f es derivable y f (p) = 0.
Punto silla: considere la funcin f : U R
n
R. Sea x U. Si un entorno de x contiene puntos x tales que
f (x) > f (x) y puntos y tales que f (y) > f (x) se dice que x es un punto silla de la funcin f.
Hessiano: sea f : U R
n
R, y sea x U. Suponga que las derivadas parciales de segundo orden

2
f
x
i
x
j
existen en x. Al determinante de la matriz cuadrada y simtrica de orden n, se la llama hessiano de la funcin
f en x y es tal que:
Hf (x) = det
_

2
f
x
i
x
j
(x)
_
i,j=1,2,...,n
en

R
_
f

xx
(x) f

xy
(x)
f

yx
(x) f

yy
(x)
_
Esta matriz es simtrica.
Criterio del hessiano: sea (x
0
, y
0
) un punto estacionario de una funcin f. Entonces:
1. Si H (x
0
, y
0
) = 0, el criterio no da informacin.
2. Si H (x
0
, y
0
) = 0 :
a) Si H (x
0
, y
0
) > 0 y f

xx
(x
0
, y
0
) > 0 = (x
0
, y
0
) es un mnimo local.
b) Si H (x
0
, y
0
) > 0 y f

xx
(x
0
, y
0
) < 0 = (x
0
, y
0
) es un mximo local.
c) Si H (x
0
, y
0
) < 0 = (x
0
, y
0
) es un punto silla.
d) En otro caso, (x
0
, y
0
) no es un extremo de f.
Para funciones continuas: Para analizar si el extremo encontrado es relativo o absoluto, puede verse la intersec-
cin entre el plano tangente en el punto (que es horizontal, con lo cual su ecuacin se reduce a z = f(x
0
, y
0
)) y
la funcin. Si no hay interseccin, el extremo es absoluto.
4.2 La frmula de Taylor de segundo orden
Frmula de aproximacin lineal: para una funcin f : R
2
R, en un punto (x, y) E (x
0
, y
0
) vale que:
f(x, y) f(x
0
, y
0
) +f

x
(x
0
, y
0
)(x x
0
) +f

y
(x
0
, y
0
)(y y
0
)
Las condiciones sucientes que garantizan la existencia de un extremo local de una funcin f en un punto crtico
de la misma se tendr que plantear con la ayuda de la frmula de Taylor para la funcin f en un punto crtico.
Polinomio de Taylor de primer orden: El polinomio de grado 1 de una funcin z = f(x, y) con f C
1
es
el polinomio que dene a su plano tangente. El polinomio de grado 1 en el punto p es:
P
1
= f (x
0
, y
0
) +
f
x
(p) (x x
0
) +
f
y
(p) (y y
0
)
Polinomio de Taylor de segundo orden: si z = f (x, y) es una funcin C
k+1
, en un punto (x
0
, y
0
) se puede
aproximar f (x, y) en un entorno de (x
0
, y
0
) por un polinomio de grado k. El polinomio de grado 2 de una
funcin z = f(x, y) con f C
3
en el punto (x
0
, y
0
) es:
P
2
(x, y) = f (x
0
, y
0
)+
f
x
(p) (x x
0
)+
f
y
(p) (y y
0
)+
1
2!

2
f
x
2

(x x
0
)
2
+ 2

2
f
yx

(x x
0
) (y y
0
) +

2
f
y
2

(y y
0
)
2

Nota: en (x
0
, y
0
) se cumple que f (x
0
, y
0
) = P (x
0
, y
0
), y adems

k
f
y
k
(x
0
, y
0
) =

k
P
y
k
(x
0
, y
0
) (i.e. las derivadas
de f en el punto son iguales a las derivadas de P en el punto). En un punto (x
1
, y
1
) cualquiera de un entorno
de (x
0
, y
0
) se cumple que f (x
1
, y
1
) P (x
1
, y
1
), y no se puede decir nada acerca de las derivadas.
12
4.3 Condiciones sucientes para la existencia de extremos locales
Teorema: sea f : U R
n
R una funcin denida en el conjunto abierto U que tiene en x U un punto
crtico. Supongamos que en un entorno de x las derivadas parciales de f de segundo orden son continuas. Sea
H(x) el hessiano de f en x. Entonces:
1. Si todas las submatrices angulares del hessiano tienen determinantes positivos, entonces f tiene un mnimo
local en x.
2. Si las submatrices angulares del hessiano tienen determinantes de signo alternado (comenzando con un
valor negativo, o sea

n
f
x
n
1
< 0), entonces f tiene un mximo local en x.
4.4 Extremos condicionados
Teorema: sea f : U R
n
R una funcin de clase C
1
denida en U. Sean g
1
, g
2
, . . . , g
m
: U R
n
R, m
funciones de clase C
1
en U (m > n). Sea S = {x U : g
i
(x) = 0, i = 1, 2, . . . , m}. Sea x
0
S un punto de
extremo condicionado de f. Suponga que el determinante det
_
g
i
x
j
(x
0
)
_
= 0 para un conjunto de m variables
x
j
, tomadas del conjunto de n variables {x
1
, x
2
, . . . , x
n
} de g
i
. Entonces existen m nmeros reales
1
,
2
, . . . ,
m
tales que se cumple:
f (x
0
) +
m

k=1

k
g
k
(x
0
) = 0
A los nmeros
k
, k = 1, 2, . . . , m se les llama multiplicadores de Lagrange.
Ejemplo: Se quieren hallar los extremos de la funcin f (x, y, z) = xyz sujeta a las restricciones
_
x
2
+y
2
+z
2
= 1
x +y +z = 0
Formamos la funcin de Lagrange: F (x, y, z,
1
,
2
) = xyz+
1
_
x
2
+y
2
+z
2
1
_
+
2
(x+y+z) y consideramos
entonces el sistema:
_

_
F
x
= yz + 2
1
x +
2
= 0
F
y
= xz + 2
1
y +
2
= 0
F
z
= xy + 2
1
z +
2
= 0
F

1
= x
2
+y
2
+z
2
1 = 0
F

2
= x +y +z = 0
Luego, resolvemos el sistema para x, y, z y para los puntos obtenidos evaluamos en la funcin f.
Otro mtodo:
Ejemplo: halle los extremos de f (x, y) = 3+x
2
+y
2
sujetos a la restriccin x
2
+
1
4
y
2
= 1. Primero parametrizamos
la elipse de la restriccin: (t) = (cos (t) , 2sin(t)) con 0 t 2. Luego armamos h(t) = f ( (t)) = 3 +
cos
2
(t) + 4sin
2
(t). Hallamos los puntos crticos de h(t) derivando e igualando a cero, y luego utilizamos el
criterio de la derivada segunda: si h

(t
0
) > 0, t
0
es un mnimo, y si h

(t
0
) < 0 es un mximo. Para ver los
valores donde se alcanzan los mximos y mnimos, reemplazamos los valores de t
0
en la curva.
4.5 Extremos absolutos en regiones compactas
Teorema: sea f : K R
n
R una funcin real denida en el conjunto compacto K de R
n
. Si f es continua,
existen puntos x
0
, x
1
K tales que f (x
0
) f (x) x K y f (x
1
) f (x) x K. Si adems f es diferenciable,
se puede demostrar que los extremos absolutos de f ocurren:
1. En la frontera de K,
2. En puntos interiores de K, donde las derivadas parciales de f se deben anular.
Ejemplo: se quiere extremar la funcin f(x, y) = x
2
+ 3y
2
en la regin K = { x R
2
: (x 1)
2
+ y 4}. En
principio, se localizan los puntos crticos de f dentro de K. Resolviendo f

x
= 2y = 0 y f

y
= 6y = 0 se obtiene
el punto p
1
= (0, 0) K. Luego se determinan los extremos de f en la frontera de K. Para ello se resuelve el
problema de extremos condicionados de f sujeto a (x 1)
2
+y
2
= 4. Para ello se forma la funcin de Lagrange
F(x, y, ) = x
2
+ 3y
2
+(x
2
2x +y
2
3) y se resuelve F

x
= 0, F

y
= 0 y F

= 0.
13
5 Curvas en el espacio
5.1 Introduccin. Lmites y continuidad.
Una funcin vectorial de una variable real es una funcin del tipo f : I R R
n
, la cual a cada nmero real
t I le asocia un nico valor f(t) en el espacio R
n
. As, podemos escribir f (t) =
_
x
1(t)
, x
2(t)
, . . . , x
n(t)
_
R
n
donde x
i
: I R R con i = 1, 2, . . . , n son funciones reales de la variable real t, llamadas funciones
coordenadas de la funcin f.
Lmite: sea f : I R R
n
una funcin denida en el intervalo abierto I de R y sea t
0
un punto de I o un
punto frontera de I. Se dice que el lmite de la funcin f cuando t tiende a t
0
es L R
n
, lo cual se escribe como
lm
tt
0
f (t) = L si dado cualquier > 0 existe un > 0 tal que t I, 0 < |t t
0
| < |f (t) L| < .
Teorema: sea f : I R R
n
como en la denicin anterior. Entonces lm
tt
0
f (t) = L = (
1
,
2
, . . . ,
n
) R
n
si y slo si lm
tt
0
x
i
(t) =
i
, donde f (t) =
_
x
1(t)
, x
2(t)
, . . . , x
n(t)
_
.
Continuidad: sea f : I R R
n
una funcin denida en el subconjunto abierto I de R y sea t
0
I. Se dice
que f es continua en t
0
si lm
tt
0
f (t) = f(t
0
).
Teorema: sea f : I R R
n
una funcin denida en el intervalo abierto I de R, digamos que f (t) =
_
x
1(t)
, x
2(t)
, . . . , x
n(t)
_
. Sea t
0
I, La funcin f es continua en t
0
si y slo si sus funciones coordenadas x
i
: I
R R lo son.
5.2 Caminos en R
n
. Consideraciones y ejemplos preliminares
Figura 5: Hlice de
ecuacin

(t) =
(4cos(t), 4sin(t), t).
Una funcin f : I R R
n
continua, denida en el intervalo I de R, se llama
camino o trayectoria en el espacio R
n
. Si la funcin est denida en el intervalo
cerrado I = [a, b], diremos que el punto f (a) R
n
es el punto inicial del camino,
y f (b) R
n
es el punto nal de l. Si f(a) = f(b), diremos que el camino f es
cerrado. Si la funcin f es inyectiva en I, diremos que f es un camino simple. Si
se tiene que f(a) = f(b) y la funcin f restringida al intervalo [a, b) es inyectiva,
diremos que f es un camino cerrado simple.
Traza: Se llama traza del camino f : I R R
n
al conjunto de las imgenes de
f, es decir: traza de f = {f (t) R
n
|t I} R
n
.
Curva: Designaremos con la palabra curva (en R
n
) a la traza de un camino f : I
R R
n
. Si el camino f : [a, b] R
2
, f (t) = (x
t
, y
t
) es simple, podremos decir que
la curva {f (t) R
2
: t [a, b]} es una curva simple. Una curva es plana si hay un
plano S tal que f (t) S t I.
Curva suave: curva que no posee puntos angulosos. Una curva C representada por : I R
n
(t) =
(
1
, . . .
n
) es suave si sus derivadas son continuas en el intervalo I y no son simultneamente nulas, excepto
posiblemente en los puntos terminales del intervalo.
Curva suave a trozos: Una curva C es suave a trozos si es suave en todo intervalo de alguna particin de I. O
sea que el intervalo puede dividirse en un nmero nito de subintervalos, en cada uno de los cuales C es suave.
5.3 Diferenciabilidad. Curvas regulares
Derivada: Sea f : I R R
n
un camino denido en el intervalo abierto I de R. Sea t
0
I. Se dene la
derivada de f en t
0
, denotada por f

(t
0
) o
f
t
(t
0
) como el lmite f

(t
0
) = lm
h0
f(t
0
+h)f(t
0
)
h
cuando ste
existe. En tal caso se dice que el camino f es diferenciable en t
0
. Si la funcin es diferenciable en todos los
puntos t
0
I, decimos que f es diferenciable en I. Tener en cuenta que la derivada f

(t
0
) es un vector de R
n
,
y adems que ste es tangente a la curva en t
0
, y que apunta en direccin al recorrido de la curva.
Vector velocidad: Sea f : I R R
n
un camino diferenciable. Al vector f

(t) se le llama vector velocidad

del camino en el punto f (t) R
n
.
Camino regular: Sea f : I R R
3
un camino de clase C
1
. f es un camino regular si f

(t) = 0 t I.
Recta tangente: Sea f : I R R
3
un camino regular. La recta tangente a la curva en f(t
0
) es la recta en
R
3
que pasa por f(t
0
) y tiene como vector director a uno paralelo a f

(t
0
). Es decir:
14
L : (x, y, z) = k
_
f

x
(t
0
), f

y
(t
0
), f

z
(t
0
)
_
+ (x(t
0
), y(t
0
), z(t
0
)) con k R
Plano normal: para el camino f : I R R
3
el plano normal a la curva correspondiente en f(t
0
) es el plano
en R
3
que pasa por f(t
0
) y tiene por vector normal al vector f

(t
0
). Este plano tiene como ecuacin:
f
x
(t
0
) (x x(t
0
)) +
f
y
(t
0
) (y y (t
0
)) +
f
z
(t
0
) (z z (t
0
)) = 0
5.4 Reparametrizaciones
Sea f : [a, b] R
n
un camino regular. Sea k una constante positiva. Para recorrer la curva descrita por f, k
veces ms rpido, podemos tomar la funcin :
_
0,
ba
k

[a, b] dada por (s) = ks +a. La reparametrizacin

f :
_
0,
ba
k

R
n
, f (s) = (f ) (s) = f(ks + a). Si k es negativa, la reparametrizacin recorre f con una
velocidad en mdulo k veces mayor, pero en sentido inverso al de f. Si k = 1, el camino f : [0, b a] R
n
dado por f (s) = f(b s) recorre la curva descrita por f con la misma velocidad -en mdulo- de f, pero en
sentido inverso al de f.
5.5 Longitud de un camino
Rapidez: llamamos rapidez de un camino f : I R R
n
de clase C
1
en f(t
0
) al nmero no negativo f

(t
0
).
Longitud de un camino: sea f : [a, b] R
n
un camino de clase C
1
. La longitud de f entre t = a y t = b,
denotada por (f), se dene como: (f) =

b
a
f

(t) dt
6 Ecuaciones diferenciales
6.1 Introduccin y deniciones
Ecuacin diferencial: una ecuacin se llama ecuacin diferencial si contiene derivadas o diferenciales de una
o ms variables dependientes de una o ms variables independientes.
Ecuacin diferencial ordinaria: son las ecuaciones diferenciales en las que guran derivadas de diferentes
rdenes de la funcin desconocida y(x), que depende solo de una variable independiente.
Orden de una ecuacin diferencial: se llama orden de una ecuacin diferencial al de la derivada de mayor
orden que gura en dicha ecuacin. Ejemplo: el orden de la ecuacin y

+y

= x es 2.
Ecuacin diferencial lineal: una ecuacin diferencial es lineal cuando es lineal en y(x) y en sus derivadas. Es
decir que los trminos que contienen la funcin incgnita y sus derivadas y

, y

, ...y
(n)
aparecen como combinacin
lineal de y, y

, ...y
(n)
. Su forma general es a
1
(x)y +a
2
(x)y

+. . . +a
n
(x)y
(n)
= f(x).
Problema de valor inicial: es el problema de encontrar una solucin de la ecuacin diferencial y

= f(x, y)
sujeto a una condicin inicial y(x
0
) = y
0
. Para que la solucin a este problema sea nica, debe vericarse que
haya tantas condiciones iniciales como el orden de la ecuacin diferencial.
6.2 Ecuaciones de variables separables
Una ecuacin diferencial separable se puede escribir de la forma N(y)y

= M(x). Esta ecuacin se puede

reescribir como N(y)dy = M(x)dx, e integrando ambos miembros se obtiene una solucin.
6.3 Ecuaciones homogneas
Son de la forma y

= f(x, y), donde f(x, y) = f(tx, ty). Este tipo de ecuaciones se pueden resolver haciendo el
cambio de variables y = zx, donde z = z(x). Entonces reemplazamos y

por z +xz

y resolvemos.
15
6.4 Ecuaciones lineales de 1er orden
Sea la ecuacin y

+ p(x)y = q(x). La solucin general de esta ecuacin diferencial se obtiene multiplicando

toda la ecuacin por el factor integrante de Lagrange: u(x) = e

p(x)dx
. Entonces la ecuacin a resolver es
(u(x)y)

= u(x)q(x).
6.5 Ecuaciones diferenciales exactas
Una ecuacin diferencial P(x, y)dx + Q(x, y)dy = 0 se dice ser exacta si exista una funcin f(x, y) tal que la
diferencial total de esta funcin (es decir, df (x, y) =
f
x
(x, y) dx +
f
y
(x, y) dy) sea df (x, y) = P (x, y) dx +
Q(x, y) dy. En el caso de que la ED sea exacta, la ecuacin se puede escribir como df (x, y) = 0, de modo que
la familia de curvas en el plano f (x, y) = c es la solucin general.
Se puede asociar la ED al campo vectorial

F (x, y) = (P
(x,y)
, Q
(x,y)
), con lo que la propiedad de exactitud de
la ecuacin es equivalente a la propiedad del campo

F de ser conservativo. Es decir, la ecuacin es exacta si y
solo si
Q
x
=
P
y
.
Factor integrante: algunas EDs no exactas se pueden convertir en exactas multiplicndolas por un factor
adecuado. En general, para la ecuacin P (x, y) dx+Q(x, y) dy = 0 se dice que la funcin no nula : U R
2

R, de clase C
k
, es un factor de integracin si la ecuacin P (x, y) dx +Q(x, y) dy = 0. En general, la funcin
ser = (x) o = (y), aunque tambin existen = (x, y) para ecuaciones ms complicadas.
Ejemplo: sea la ecuacin (3yx)
. .
P
dx +(x +sen(y))
. .
Q
dy = 0. Se puede ver que P

y
= Q

x
, con lo que resulta que la
ecuacin es total exacta. Entonces designamos

F = (P, Q) = , con lo que resulta el sistema
_

x
= 3yx (I)

y
= x +sen(y) (II)
integrar

_
= yx +g(y) ()
= yx cos(y) +h(x) (#)
Derivando (*) respecto de y e igualando a (II), se obtiene que

y
= x + g

y
= x + sen(y), y despejando e
integrando se obtiene g(y) = cos(y). Entonces la solucin general de la ecuacin es = yx cos(y) = c.
6.6 Trayectorias ortogonales
Figura 6: Crculos concn-
tricos (rojo) y rectas que
pasan por el origen (azul).
Trayectorias ortogonales: Dos familias uniparamtricas de curvas F
1
(x, y, c
1
) =
0 y F
2
(x, y, c
2
) = 0 se dicen que son trayectorias ortogonales si todas las curvas
de una familia cortan perpendicularmente a todas las curvas de la otra familia. En
otras palabras, en cada punto de interseccin de ambas curvas la recta tangente al
punto de una curva es ortogonal a la tangente de la otra curva.
El procedimiento para hallar la familia de curvas F
2
ortogonales a una familia
F
1
: y = f(x, c) es el siguiente:
1. Derivar la expresin de F
1
respecto de x, obteniendo F

1
: y

=
f
x
.
2. Despejar c de F

1
, y reemplazarlo en F
1
.
3. En la nueva expresin obtenida para F
1
reemplazar y

por
1
y

.
4. Resolver esta nueva ecuacin diferencial.
Nota: cuando la familia F
1
viene dada de forma implcita (ejemplo: x
2
+y
2
= c) el
mtodo es el mismo, pero se saltea el paso 2.
16
7 Integrales de lnea
7.1 Curvas en el espacio: Resumen de hechos importantes
Una funcin : I R
n
continua, denida en el intervalo I, se llama camino en R
n
. El camino se escribe como
= (
1
,
2
, . . . ,
n
) . Si I = [a, b], diremos que (a) R
n
es el punto inicial del camino, y (b) R
n
es el punto
nal. Si (a) = (b) es un camino cerrado. Si es una funcin inyectiva, es un camino simple. Si (a) = (b)
y la restriccin de al intervalo [a, b) es inyectiva, es un camino cerrado simple. El camino se dice diferenciable
en t cuando existe la derivada

(t), la cual se dene como

(t) = (x

1
(t) , x

2
(t) , . . . , x

n
(t)). En otras palabras,
ser un camino diferenciable si y solo si sus funciones coordenadas son diferenciables. Al vector

(t) se le
llama vector velocidad. El camino diferenciable : I R
n
es regular si

(t) = 0 t I.
7.2 Campos vectoriales
Figura 7: Lnea de campo
(azul) y lnea equipoten-
cial (rosa).
Campo vectorial: Una funcin del tipo

F : U R
n
R
n
se llama campo
vectorial (en R
n
). Este campo asocia a cada punto x de U R
n
el vector

F(x) de
R
n
. Se dice que el campo vectorial

F = (F
1
, F
2
, . . . , F
n
) es continuo (diferenciable,
o de clase C
k
) si todas las funciones coordenadas son continuas (diferenciables, o
de clase C
k
).
Lneas de campo: para tener imgenes geomtricas de campos en R
2
, es til
considerar las lneas de campo. Para un campo

F : R
2
R
2
, una lnea de campo
es una curva en R
2
cuya propiedad es que en cada punto de ella su tangente va
en direccin al campo F, es decir que

F((t)) =

(t). En general, para un campo

F : R
n
R
n
, las lneas de campo satisfacen que
dx
1
F
1
=
dx
2
F
2
= . . . =
dx
n
F
n
.
Propiedad: las lneas de campo de un campo vectorial

F son perpendiculares a las lneas equipotenciales (i.e.
las curvas de nivel de la funcin potencial de

F).
Campo gradiente: sea f : U R
n
R diferenciable, podemos construir con ella
el campo vectorial gradiente de f, f : U R
n
R
n
, que asocia a cada punto
x U el vector f (x) R
n
.
7.3 Integrales de lnea sobre campo vectorial
Figura 8: Circulacin de un
campo a travs de una hlice.
Integral de lnea (circulacin): sea

F : U R
n
R
n
,

F = (F
1
, F
2
, . . . , F
n
)
un campo vectorial continuo, y sea : [a, b] R
n
, = (
1
,
2
, . . . ,
n
) un
camino de clase C
1
tal que ([a, b]) U. La integral de lnea del campo

F a lo
largo del camino C, o la circulacin del campo

F alrededor de (o lo largo de
), se dene como:

F d

l =

b
a

F ((t))

(t) dt
Cuando el camino es cerrado, se suele usar la notacin

F d

l.
Una aplicacin: si

F es la fuerza que acta sobre una partcula movindose a lo largo de la curva, entonces la
integral sera la cantidad total de trabajo que realiza esa fuerza sobre la partcula.
Propiedades:
1.

F d =

F d
2. Una integral de lnea es invariante por reparametrizaciones del camino
sobre el que se integra el campo F.
3. Si F, G : U R
n
R
n
son dos campos continuos y : [a, b] R
n
,
([a, b]) U, un camino de clase C
1
, entonces

(F +kG) d =

F
d +k

G d
4. Si =
1
+
2
entonces

F d =

1
F d +

2
F d
17
5. Si es una reparametrizacin de que conserva la orientacin entonces

F d =

F d
6. Si es una reparametrizacin de que invierte la orientacin entonces

F d =

F d
7.4 Independencia del camino, campos conservativos y funciones po-
tenciales
Sea

F : U R
n
R
n
un campo de clase C
k
(k 0) denido en el conjunto abierto U R
n
. Las armaciones
siguientes son equivalentes (esto es, o son todas verdaderas o todas falsas):
1. F es el campo gradiente de una funcin : U R
n
R de clase C
k+1
, es decir,

F =
2. La integral

F d a lo largo de un camino : [a, b] R

n
seccionalmente C
1
depende solamente del punto
inicial (a) y nal (b) del camino :

F d = (b) (a)
3. La integral

F d a lo largo de un camino : [a, b] R

n
cerrado seccionalmente C
1
es cero.
4. El campo

F es conservativo.
5. La funcin : U R
n
R de clase C
k+1
es la funcin potencial.
Condicin necesaria pero no suciente para que un campo sea conservativo: sea

F : U R
n
R
n
,

F =
(F
1
, F
2
, . . . , F
n
) un campo de clase C
k
(k 1) denido en el conjunto abierto U R
n
. Si

F es conservativo
entonces
F
i
x
j
(x) =
F
j
x
i
(x) para x U, 1 i < j n. Es decir que la matriz jacobiana de

F debe ser simtrica.
Nota: si la matriz es simtrica, el campo puede o no ser conservativo. Si no lo es, podemos concluir que no es
conservativo.
Propiedad: si la matriz jacobiana de

F es continua y simtrica en un U simplemente conexo, entonces
existe funcin potencial.
7.5 Integrales de lnea de campo escalar
Sea f : U R
n
R una funcin real continua denida en el abierto U R
n
, y sea : [a, b] R
n
un camino
de clase C
1
tal que ([a, b]) U. La integral de lnea respecto a la longitud de arco de la funcin f a lo largo
del camino es

f dl =

b
a
f ((t))

(t) dt
donde dl =

(t) dt es la diferencial de la longitud de arco del camino .

Una aplicacin: conociendo la densidad lineal de un alambre en el espacio, digamos que dada por la funcin
= (x, y, z) (en gr/cm), y el camino C : [a, b] R
3
en cuya imagen se encuentra el alambre, entonces su
masa total se calcula como M =

C
dl.
Propiedades:
1. Si f, g : U R
n
R son dos funciones continuas denidas en el abierto U R
n
y C : [a, b] R
n
es un
camino seccionalmente C
1
, entonces

C
(f +kg) ds =

C
f ds +k

C
g ds
2. Seaf : U R
n
R una funcin continua denida en el abierto U R
n
. Sea : [a, b] R
n
un camino de
clase C
1
tal que ([a, b]) U, y sea : [c, d] R
n
una reparametrizacin de . Entonces

f ds =

f ds.
18
7.6 La perspectiva de la fsica
Trabajo: Sea

F : U R
2
(o R
3
) R
2
(o R
3
) un campo de clase C
k
, k 0, y sea : [a, b] R
2
(o R
3
)
un camino seccionalmente C
1
cuya imagen est contenida en U. El trabajo que hay que realizar para llevar un
cuerpo de masa m del punto p = (a) al punto q = (b) por el camino a travs del campo

F es
W
pq
=

F d =

b
a

F ((t))

(t) dt = m

b
a

(t)

(t) dt =
1
2
m

(b)

1
2
m

(a)

2
Teorema del valor medio: sea una funcin continua f : U R
n
R denida en el abierto U de R
n
, y un
camino de clase C
1
: [a, b] R
n
, ([a, b]) U, denimos el valor medio de la funcin f sobre el camino ,
como:

=
1
L

f dl =
1

b
a

(t) dt

b
a
f((t))

(t) dt
El valor

f es un tipo de promedio de los valores que toma la funcin a lo largo del camino .
8 Integrales mltiples
8.1 Integrales dobles
Integral doble: sea f : Q R
2
R una funcin escalonada denida en el rectngulo Q de R
2
. Digamos que
Q est dividido en nm subrectngulos Q
ij
. Se dene la integral doble de la funcin f(x, y) sobre el rectngulo
Q, como:

Q
f (x, y) dxdy =
n

i=1
m

j=1
c
ij
(x
i
x
i1
) (y
j
y
j1
)
Notar que si f (x, y) = k para (x, y) Q = [a, b] [c, d] se tiene

Q
f (x, y) dxdy = k ( area de Q). Si k > 0, el
valor de esta integral representa el volumen de un paraleppedo rectangular con base Q y altura k.
Teorema: si la funcin f : Q R
2
R denida en el rectngulo Q = [a, b] [c, d] es continua, entonces es
integrable, y la integral doble de ella sobre Q se puede calcular como

Q
f (x, y) dxdy =

d
c
_

b
a
f (x, y) dx
_
dy =

b
a
_

d
c
f (x, y) dy
_
dx
De forma geomtrica, la integral doble de la funcin f(x, y) sobre Q es el volumen del paraleppedo cuya tapa
es la grca de la funcin f(x, y) sobre Q. Consideremos el cuerpo que queda limitado entre la grca de
f(x, y), el plano xy y el rea limitada por Q. Entonces se tiene que:

Q
f(x, y) dxdy = volumen de
8.2 Integrales dobles de funciones sobre regiones ms generales
Regiones del tipo (I) son regiones limitadas:
1. por la recta vertical x = a por la izquierda,
2. por la recta vertical x = b por la derecha,
3. por la grca de la funcin de x, y = g
1
(x) por debajo,
4. por la grca de la funcin de x, y = g
2
(x) por encima.
Regiones del tipo (II) son regiones limitadas:
19
1. por la recta horizontal y = c por debajo,
2. por la recta horizontal y = d por encima,
3. por la grca de la funcin de y, x = h
1
(y) por la izquierda,
4. por la grca de la funcin de y, x = h
2
(y) por la derecha.
Regiones del tipo (III): son aquellas regiones que debemos dividir para verlas como la unin de varias regiones
de tipo (I) o tipo (II).
Sea f : R R
2
R. Si la regin R es de tipo (I), es decir, si R = {(x, y) : a x b,
1
(x) y
2
(x)}
entonces la integral doble de f(x, y) sobre R se puede calcular como:

R
(x, y) dxdy =

b
a
_

2
(x)

1
(x)
f (x, y) dy
_
dx.
Si la regin R es de tipo (II), es decir, si R = {(x, y) :
1
(y) x
2
(y) , c y d}, entonces la integral
doble de f(x, y) sobre R se puede calcular como:

R
f (x, y) dxdy =

d
c
_

2
(y)

1
(y)
f (x, y) dx
_
dy.
Propiedades:
Si la regin R est subdividida en dos subregiones R
1
y R
2
(es decir, R = R
1
R
2
), entonces

R
f (x, y) dxdy =

R
1
f (x, y) dxdy +

R
2
f (x, y) dxdy.
8.3 Cambio de variable en integrales dobles
Teorema: sea f : R R
2
R una funcin continua de las variables x, y denida en la regin R R
2
. Sea
F : R

R
2
R, F (u, v) = (
(u,v)
,
(u,v)
) una funcin que manda de manera inyectiva los puntos (u, v) R

en los puntos (x, y) R del plano xy. Si F C

1
y la derivada F

(u, v) es una matriz inversible para todo

(u, v) R

, entonces la frmula de cambio de variables en integrales dobles es:

R
f(x, y) dxdy =

f ((u, v), (u, v))

(, )
(u, v)

dudv
En general, cuando en la regin de integracin se presentan anillos circulares, y/o cuando en la funcin a
integrar aparezca de alguna forma las expresiones
_
x
2
+y
2
_
,
y
x
puede resultar conveniente intentar el clculo de
la integral haciendo previamente el cambio a coordenadas polares:
_
x = rcos()
y = rsin()
. En este caso, el jacobiano
de la transformacin que aparece en la frmula de cambio de variables es
(x,y)
(r,)
= r. Entonces la frmula es

R
f(x, y) dxdy =

f (rcos(), rsin()) r drd

8.4 Aplicaciones de las integrales dobles
1) El volumen V encerrado entre una supercie z = f(x, y) (> 0) y una regin R en el plano xy es:
V =

R
f (x, y) dxdy
2) El rea de una regin plana R en el plano xy viene dada por una integral doble.
area (R) =

R
dxdy
20
3) Sea (x, y) la funcin de densidad (=masa por unidad de rea) de una distribucin de masa en el plano xy.
Entonces la masa total de un trozo plano R es
M =

R
(x, y) dxdy
4) Centro de masa y momentos de guras planas.
Figura 9: Volumen bajo la
grca de f(x, y).
Momentos estticos =
_
M
x
=

R
y (x, y) dxdy
M
y
=

R
x (x, y) dxdy
CM = (x, y) =
_
M
x
M
,
M
y
M
_
8.5 Integrales triples
Teorema: sea f : Q R
3
R una funcin continua denida en el rectngulo
Q = [a, b] [c, d] [e, g] de R
3
. Entonces f es integrable en Q y

Q
f (x, y, z) dxdydz =

b
a

d
c
_
g
e
f (x, y, z) dz
_
dydx
Las regiones que se pueden presentar sern, en general, subconjuntos de R
3
limita-
dos por grcas de funciones de dos variables. De modo ms preciso, si R es una
regin del plano xy, denamos como:
= { x R : (x, y) R
1
(x, y) z
2
(x, y)}
donde
1
,
2
son funciones continuas denidas en la regin R de R
2
. Ms an, esta integral se calcula como

f(x, y, z) dxdydz =

R
_

1
f(x, y, z) dz
_
dxdy
La integral triple de f(x, y, z) sobre es la integral doble de una funcin (x, y) sobre la regin R, la cual se
puede ver como la proyeccin de la regin sobre el plano xy. Esta proyeccin se obtiene expresando el cuerpo
en funcin de las variables x, y. Tambin se pueden considerar regiones R en el plano xz e yz.
8.6 Cambio de variable en integrales triples
Teorema: consideremos una funcin de transformacin de coordenadas F :

R R del tipo F (u, v, w) =

(x, y, z) =
_
x
(u,v,w)
, y
(u,v,w)
, z
(u,v,w)
_
. La frmula de cambio de cambio de variables en integrales triples es:

f(x, y, z) dxdydz =

f (F(u, v, w))

(x, y, z)
(u, v, w)

dudvdw
1. Coordenadas cilndricas: Son tiles cuando aparecen cilindros o planos.

f (x, y, z) dxdydz =

f (rcos(), rsin(), z) r drddz

2. Coordenadas cilndricas generalizadas:

f (x, y, z) dxdydz =

f (a rcos(), b rsin(), c z) abcr drddz

21
3. Coordenadas esfricas:

f (x, y, z) dxdydz =

f (rcos()sin(), rsin()sin(), rcos()) r

2
sin() drdd
4. Coordenadas esfricas generalizadas:

f(x, y, z) dxdydz =

f(a rcos()sin(), b sin()sin(), c rcos()) abcr

2
sin() drdd
8.7 Aplicaciones de las integrales triples
1) Volmenes de cuerpos en el espacio:
V =

dxdydz
2) Masa de cuerpos en el espacio. Sea d(x, y, z) la funcin densidad, y R. Entonces:
M =

d (x, y, z) dxdydz = masa de

3) Centros de masa y momentos de cuerpos en el espacio:
Momentos estticos =
_

_
M
xy
=

z d(x, y, z) dxdydz
M
xz
=

y d(x, y, z) dxdydz
M
yz
=

x d(x, y, z) dxdydz
Centro de masa = ( x, y, z) =
_
M
yz
M
,
M
xz
M
,
M
xy
M
_
9 Integrales de supercie
9.1 Supercies simples
Figura 10: Supercie
simple.
Una curva es un objeto unidimensional en R
2
o R
3
, es decir, una curva es la imagen
de una cierta funcin denida en un subconjunto I de la recta (espacio de dimensin
1). De la misma manera, una supercie ser la imagen en R
3
de una cierta funcin que
est denida en un subconjunto D de R
2
(que es bidimensional).
Supercie simple: sea S R
2
una regin del tipo I y del tipo II en R
2
, y sea
f : S R
2
R
3
, f (u, v) =
_
f
1(u,v)
, f
2(u,v)
, f
3(u,v)
_
una funcin inyectiva (para que
no haya puntos tales que f(p
1
) = f(p
2
) K) de clase C
1
, de modo que los vectores
f
u
y
f
v
son linealmente independientes en todo (u, v) S. A la imagen de la funcin
f, K = f(S), se le llama supercie simple. La regin S, dominio de f, es una regin
cerrada y acotada del plano R
2
.
Notacin: K es la frontera de K (K = f(S) con S la frontera de S, su dominio),
y Int K es el interior de de la supercie simple K, siendo Int K = f(Int S).
Supercie regular: dada la supercie de ecuacin x =

F(u, v) con (u, v) D, se dice
que la misma es regular si

F es diferenciable y

F

u
,

F

v
= 0.
Supercie suave: dada la supercie de ecuacin x =

F(u, v) con (u, v) D, se dice que la misma es suave si
es regular y

F C. Intuitivamente, una supercie suave no tiene esquinas.
22
9.2 Orientacin de supercies
De manera general, una supercie K en R
3
se dir orientable si es posible decidir sin ambigedad cul es cada
uno de los lados de la supercie, el interior y el exterior. Decir que una supercie K es orientable, signica
que podemos tener un campo de vectores normales a K, N : K R
3
, de manera que los vectores normales
apunten en la direccin de uno de los lados de la supercie. Se requiere que este campo N sea continuo en K.
Este campo es N (x, y, z) =
f
u

f
v

f
u

f
v

.
Para obtener un vector normal a una supercie, se utiliza la regla del pulgar: si imaginamos que caminamos
alrededor de S, la supercie debe quedar a nuestra izquierda, y nosotros seramos el vector normal n.
Supercies denidas en forma implcita: tenemos una supercie S dada por z = 4x
2
y queremos obtener
un vector normal en un punto (x
0
, y
0
, z
0
). Si tomamos F(x, y, z) = z 4 + x
2
, sabemos que la supercie S es
la curva de nivel 0 de F, y por lo tanto es perpendicular al gradiente de F, que a su vez es paralelo al vector
normal. Entonces F = (2x, 0, 1), y tenemos que el vector normal al punto es (2x
0
, 0, 1).
9.3 rea de una supercie
Sea S = f(D) una supercie simple en R
3
parametrizada por la funcin f : D R
2
R
3
. El rea de la
supercie se dene como la integral doble:
Area de S =

D
_
_
_
_
f
u

f
v
_
_
_
_
dudv
Nota: el rea de la supercie S es independiente de la parametrizacin que se tenga de ella.
9.4 Integrales de supercie de campos escalares
Sea S una supercie simple parametrizada por la funcin : D R
2
R
3
, (u, v) = (
1
,
2
,
3
). Sea
f : S R una funcin escalar continua denida sobre la supercie S. La integral de supercie de la funcin f
sobre S se dene como:

S
f ds =

S
f ((u, v))
_
_
_
_

u


v
_
_
_
_
dudv
Nota: si f (x, y, z) = 1, la integral

S
f ds no es ms que la denicin de rea de la supercie S.
Una aplicacin: si la funcin f representa la densidad de una sbana, la integral sera la masa total de la sbana.
9.5 Integrales de supercie de campos vectoriales
Figura 11: Integral de supercie.
Flujo: Sea S una supercie simple parametrizada por la funcin : D
R
2
R
3
, (u, v) = (
1
,
2
,
3
) la cual proporciona una orientacin que
coincide con la del campo continuo de vectores normales N : S R
3
. Sea

F : U R
3
R
3
un campo continuo denido en el abierto U de R
3
que
contiene a S. Se dene la integral de supercie de

F sobre S, llamada ujo
de

F a travs de S, como:

F ds =

F ((u, v))
_

u


v
_
dudv
Nota: la integral es invariante por reparametrizaciones que no cambian la orientacin de la supercie S. Si
tomamos una reparametrizacin de S que cambie su orientacin, esto s se reejar en un cambio de signo de
la integral.
Una aplicacin: si el campo vectorial

F representa el ujo de un lquido, entonces la integral de supercie de

F
representa la cantidad de uido que uye a travs de la supercie S por unidad de tiempo.
23
10 Teoremas integrales
10.1 Grad., Div., Rot: las frmulas clsicas
Sea f un campo escalar y

F = (P, Q, R) un campo vectorial:
=
_

x
1
,

x
2
, ,

x
n
_
R
n
f = grad (f) =
_
f
x
1
,
f
x
2
, ,
f
x
n
_

F = div
_

F
_
= P

x
+Q

y
+R

z
= tr
_
J(

F)
_

F = rot
_

F
_
=
_
R
y

Q
z
,
R
x

P
z
,
Q
x

P
y
_
f = div (grad (f)) =

2
f
x
2
1
+

2
f
x
2
2
+. . . +

2
f
x
2
n
= Laplaciano de f
Propiedades:
div(rot(

F)) = 0
rot(grad(f)) =

0
div (grad(f) grad(g)) = 0
Funcin armnica: se dice que la funcin f : U R
n
R de clase C
2
denida en U, es armnica si satisface
la ecuacin de Laplace
2
f = 0. Es decir, si

n
i=1

2
f
x
2
i
= 0.
Funcin solenoidal: un campo vectorial

F se dice solenoidal si div(

F) 0 para todo punto del dominio. La

integral de supercie o ujo de un campo solenoidal sobre cualquier supercie cerrada es siempre cero. Los
campos solenoidales no tienen ni puntos fuentes (div(

F) > 0) ni puntos sumideros (div(

F) < 0).
Funcin irrotacional: un campo vectorial

F se dice irrotacional si rot(

F) 0 para todo punto del dominio.

Un campo es irrotacional si y slo si su matriz jacobiana es simtrica en un dominio convexo. Esto quiere
decir que el campo es conservativo, y por lo tanto admite funcin potencial, por lo que la integral de lnea sobre
cualquier curva cerrada es cero siempre.
10.2 Rotor de un campo vectorial
Figura 12: El rotor de un
campo (en verde).
Rotor: sea

F : U R
3
R
3
,

F = (F
1
, F
2
, F
3
) diferenciable, denido en U. Se
dene el rotor (o rotacional) de

F en el punto p U, como:
rot(

F) = det
_
_
i j k

z
F
1
F
2
F
3
_
_
=
_
F
3
y

F
2
z
,
F
1
z

F
3
x
,
F
2
x

F
1
y
_
Geomtricamente, el rotacional de

F es un vector que apunta al eje de rotacin, y
su longitud corresponde a la velocidad de rotacin.
Un resultado importante es que una condicin necesaria para que el campo

F : U
R
3
R
3
sea conservativo es que sea irrotacional: rot
_

F (p)
_
= 0 p U. Entonces
se tiene:

F conservativo =

F irrotacional. La recproca se da solamente en el caso
de que U sea un conjunto simplemente conexo.
Nota: el concepto de rotacional se puede aplicar tambin a campos de R. Sea

F = (P, Q), se dene el rotacional
de

F como rtc(

F) = Q

x
P

y
. Ntese que este es un valor escalar.
10.3 Divergencia de un campo vectorial
24
Figura 13: Divergencia
positiva.
Divergencia: sea

F : U R
n
R
n
,

F ( x) = (F
1
, F
2
, . . . , F
n
) un campo diferencia-
ble denido en el abierto U de R
n
. Se llama divergencia de

F a:
div(

F) =
F
1
x
1
+
F
2
x
2
+. . . +
F
n
x
n
Si el campo vectorial

F representa el ujo de un lquido, entonces la divergencia de

F
representa la expansin o compresin del uido. Es una medida del ujo por unidad
de rea del lquido a travs del punto p.
10.4 Teorema de Green
Hiptesis:
1.

F C en todo punto de D y de D
2. D es una regin compacta de R
3. D es una curva cerrada, suave a trozos, recorrida en sentido positivo
Teorema: sea

F : U R R,

F(x, y) = (P, Q) un campo de clase C
1
denido en U.
Sea D U una regin plana con su frontera una curva cerrada positivamente orientada (contrario a las agujas
del reloj). Entonces:

D
+

F d

l =

D
_
Q
x

P
y
_
dxdy
Una aplicacin: si

F = (P, Q) es tal que Q

x
P

y
= 1, entonces

D
+

F ds =

D
dxdy = rea de D.
10.5 Teorema del rotor (Stokes)
Hiptesis:
1.

F C en todo punto de S y de S
2. S es una supercie abierta, suave a trozos, simple, parametrizada por una funcin
de clase C
2
3. S es una curva cerrada simple, suave a trozos, y est recorrida en sentido positivo
respecto a la supercie
Teorema: sea S una supercie simple orientable, parametrizada por : D R
3
R
3
de clase C
2
, la cual proporciona la orientacin de S, y sea S su frontera recorrida positivamente. Sea

F : U
R
3
R
3
un campo vectorial de clase C
1
denido en U que contiene a D. Entonces:

S
+

F d

l =

S
rot(

F) ds =

S
rot

F ((u, v)) n
(u,v)
dudv
El teorema del rotor es una generalizacin del teorema de Green. Es importante destacar que para el clculo de
la circulacin de una curva C podemos elegir cualquier supercie S que tenga como borde a C, y obviamente nos
conviene elegir la supercie ms sencilla posible. Ejemplo: si C es un crculo, S podra ser una circunferencia.
10.6 Teorema de la divergencia (Gauss)
25
Hiptesis:
1.

F C en todo punto de W y de W
2. W un cuerpo compacto de R
3. W suave a trozos y orientable, con sus normales hacia afuera
Teorema: sea W un cuerpo de R
3
y sea W la frontera de W, una supercie orientada con sus vectores normales
apuntando hacia el exterior del slido. Si

F : U R R,

F(x, y, z) = (F
1
, F
2
, F
3
) es un campo vectorial de
clase C
1
denido en el abierto U que contiene a W, entonces:

F ds =

W
div(

F) dxdydz
El integrando de la integral triple puede pensarse como la expansin de un uido. El teorema de la divergencia
dice que la expansin total de un uido que est dentro de un cuerpo W es igual al ujo total del uido que
sale por la frontera del cuerpo W.
26