1

DISTANCIA. ESPACIOS MTRICOS

Distancia:
Dado un espacio no vaco E, se llama distancia a toda funcin d:ExER que
verifique las siguientes condiciones:
i) La distancia entre dos puntos cualesquiera del espacio es no negativa .
A,B:( AE BEd(A,B) 0 )
ii) La distancia entre dos puntos es cero si y slo si los puntos son coincidentes.
A,B:( AE BE [d(A,B)=0 A = B] )
iii) Verifica la propiedad simtrica.
A,B: (AE BE d(A,B)= d(B,A) )
iv) Verifica la propiedad triangular.
(A,B, C : AE BE CE d(A,B) + d(B,C) d(A,C)
Definicin de distancia en los conjuntos numricos ms usuales
I.- en R
A
|
a

d(A;B)= |b - a|

|
b

II.- en R2

r
r
Si A = (a1; a2) y B =(b1;b2)

b2

r r
r
d( A ; B )= | AB | = (b2 a2 ) 2 + (b1 a1 ) 2

A
a2
a1

b1
z

III.- en R3
a3

r
r
Si A = (a1;a2;a3) y B =(b1;b2;b3)

b3

r r
r
d ( A; B ) = | AB |

B
a2

b2
y

a1

r r
d( A; B )= (a 3 b3 ) 2 + (a 2 b2 ) 2 + (a1 b1 ) 2

b1
x

IV.- en Rn
r r
r
r
Si A = (a1;a2;a3;...;an) y B =(b1;b2;b3;....bn), resulta d (A; B) =

(a i b i ) 2

i =1

Espacio Mtrico
Todo conjunto no vaco, espacio, entre cuyos elementos se ha definido
una DISTANCIA, se denomina ESPACIO MTRICO.

TOPOLOGA EN R

Entorno de un punto:
Si A es un punto de un espacio mtrico M, se llama entorno simtrico de A de
radio o amplitud al conjunto de puntos del espacio que se encuentran a una distancia
de A menor que
E(A;
) = { X M / d(X;A) < }
Entornos en los conjuntos numricos ms usuales.
I.- en R

E(A;)={ x R / | x - a | < }

A
(////|////)
a-

2
II.r en R
A = (a 1; a 2 )

a a+

a2

r
E( A ;)={(x;y) R2 / (x - a1 )2 + (y - a2 )2 < 2}
x

III.- en R3
a3

r
E( A ;)={(x;y;z) R3 / (x - a1 )2 + (y - a2 )2 +(z- a3 )2 < 2}
r
A

a2
y

a1
x

Entorno reducido: Es el entorno sin su centro

r
en R : E( A ;
)={ x R / 0 < | x - a | < }
r
en R2 : E( A ;
)={(x;y) R2 / 0 < (x - a1 )2 + (y - a2 )2 < 2 }

en R3 :

r
E( A ;
)={(x;y;z) R3 / 0 < (x - a1 )2+(y - a2 )2 +(z- a3 )2 < 2}

Clasificacin de puntos de un conjunto

r
Consideremos C R n y A =( a1; a2 ;....;an ) R n
r
r
I.- A es punto de acumulacin de C si y slo si cualquier entorno reducido de A tiene
interseccin no vaca con C.
En smbolos:
r
r
r
r
I.- A es punto de acumulacin de C >0 , X C/ X E( A ; ) C

Al conjunto de puntos de acumulacin de C , lo llamamos conjunto derivado de C y

lo indicamos C.
Un conjunto es cerrado si y slo si le pertenecen todos sus puntos de acumulacin.
En smbolos: C es cerrado C C
r
r
II.- A es punto interior de C si y slo si existe al menos un entorno de A totalmente
incluido en C
En
r smbolos:
r
A es punto interior de C >0 / E( A ; ) C
Al conjunto de puntos interiores de C lo indicamos Ci .
Un conjunto es abierto si y slo si todos sus puntos son interiores.
C es abierto C = C i
r
r
r
III.- A es punto aislado de C si y slo si A C pero existe un entorno reducido de A
al que no pertenecen puntos de C.
r
r
IV.- A es punto exterior a C si y slo si existe un entorno de A al que no pertenece
ningn elemento de C.
r
V.- A es punto frontera de C si y slo si no es interior ni exterior.

Frontera de un conjunto es el conjunto al que pertenecen todos los puntos frontera

del mismo.

Conjuntos acotados.
n
El conjunto
r C
r R estr acotado si y slo si existe un nmero real positivo k tal
que X : ( X C X < k ).
Esto significa que si un conjunto est acotado, entonces puede incluirse en algn entorno con centro en el origen.
Conjuntos convexos

El conjunto C Rn es convexo si y slo dados dos puntos cualesquiera de C , el

segmento de recta que los une est incluido en C
Ejemplos en R2 :
C1

C2

C3

C1 es convexo mientras que C2 y C3 no son convexos.

En R3 , una esfera es convexa, en cambio una superficie esfrica no lo es.

Conjuntos disconexos y conexos

Un conjunto C Rn es disconexo o no conexo si y slo si existen dos conjuntos

abiertos, no vacos U y V tales que UV= y C UV (creo que es al revs)

Ejemplos:
U
V
C1
Fig.1

C2

C1

Fig.2

C2

En ambas figuras el conjunto C es la unin de C1 y C2

En la figura 1, C es disconexo; en cambio, en la figura 2, no. El conjunto C de la figura
2 es conexo ya que no es posible encontrar dos conjuntos abiertos, disjuntos , no vacos
tales que su unin contenga a C.

Un conjunto C Rn es conexo si y slo si no es disconexo.

Conjuntos conexos por poligonal (p-conexos)

El conjunto C Rn es conexo por poligonal si y slo si cualquier par de puntos

perteneciente a C pueden unirse mediante una poligonal constituida por un conjunto
finito de segmentos totalmente incluidos en C.
P

Estos conjuntos son p-conexo, conexos pero no convexos.

FUNCIONES DE VARIAS VARIABLES

Definicin de funcin:
Dados dos conjuntos A y B , llamamos funcin de A en B
a todo conjunto de pares ordenados con primera componente en A y segunda componente en B que verifique las siguientes condiciones (Si un par es (a;b) decimos que b es la
imagen de a):
a) Todo elemento de A debe tener imagen en B.(Existencia de imagen)
b) Cada elemento de A debe tener una nica imagen en B.(Unicidad de la imagen)
En smbolos:
f:A B es funcin

f AxB
x A, y B / (x;y) f
(x;y1) f (x;y2) f y1 = y2

Trabajaremos con funciones en las que A y B son subconjuntos de R Rn.

TIPOS DE FUNCIONES
1) Funciones escalares
f :A B es funcin escalar A R B R
Por ejemplo : f : R R / f(x) = x2
Plot [x^2,{x,-2,2},GridLines->Automatic];
4

y
3

x
-2

-1

g: R R / g(x) = - 2 x + 3
Plot[-2x+3,{x,-2,2},GridLines->Automatic];
y
6

x
-1

1
x
Plot[1/x,{x,-2,2},GridLines->Automatic];
h: R-{0) R/ h(x) =

40

y
20

x
-1

1
-20
-40

2) Campos escalares
F :A B es campo escalar A Rn B R con n n 2
Por ejemplo :H: R2 R/ H(x;y) = x

+y

Plot3D[Sqrt[x^2+y^2],{x,-2,2},{y,-2,2}];

7
Superficie cnica circular recta con
vrtice en (0;0;0) , eje z,
con z 0

0
-2

0
-1

-1
1
2

-2

G: R2 R / G(x;y) = x2 + y2
Plot3D[x^2+y^2,{x,-2,2},{y,-2,2}];

8
6

4
1

2
0
-2

0
-1
0

-1
1
2 -2

F: R2 R / F(x;y) = - 2 x + 3 y
Plot3D[-2x+3y,{x,-1,2},{y,-3,2}];

5
2

-5

-10
0

-1

-1
0
-2

1
2 -3

U: R3 R / U(x;y;z)= x + y + z (Como el dominio est incluido en R3 no tiene representacin cartesiana)

3) Funciones vectoriales

r
f : A B es funcin vectorial A R B Rm
con m 2

Por ejemplo:
(
(
(
3 r
r
g: R R / g( t ) = cos t. i + sen t. j + t. k
ParametricPlot3D[{Cos[t],Sin[t],t},{t,0,2Pi}, ViewPoint->{2.298,1.991,1.486}];
-1
-1-0.5
0 0.5
0-0.5
0.5
1

Hlice circular recta

r
2 r
f :[0,2 ] R R / f ( t ) = (cos t; sen t )
y
1

1
x

(Los grficos corresponden a los conjuntos imgenes)

4) Campos vectoriales
r
F : A B es campo vectorial A Rn B Rm, con n 2 m 2

Los conjuntos imagen de algunos campos vectoriales definidos de subconjuntos de R2

en R3 estn asociados a superficies en R3

r
r
Por ejemplo: F: A R 2 R 3 / F( u; v) = (cos u.sen v; sen u.sen v,cos v)
ParametricPlot3D[{Cos[u]*Sin[v],Sin[u]*Sin[v],Cos[v]},{u,0,2Pi},{v,0,Pi}];
1
0.5
0

Superficie esfrica de radio 1

y centro en (0;0;0)

-0.5
-1
1

0.5

y
0

-0.5

-1
-1
-0.5

0
0.5
1

r
r
F: R 2 R 2 / F( x; y) = ( x 2 ; y)
<<Graphics`PlotField`
PlotVectorField[{x^2,y},{x,-2,2},{y,-2,2},
Axes->True];

r
r
(
(
(
G: R 3 R 2 / G( x; y; z) = x. i + y. j + z. k
<<Graphics`PlotField3D`
PlotVectorField3D[{x,y,z},{x,-2,2},
{y,-2,2},{z,-2,2},VectorHeads->True];

10
2

x
-2

-1

-1

y
x

-2

OBSERVACIN : En todos los casos A es el conjunto de partida o dominio, B es el

conjunto de llegada. El conjunto de elementos de B que son imagen de algn elemento
de A es el conjunto imagen de la funcin .

10

Dominio de un campo escalar

En Anlisis I, se vio que una expresin puede no definir una funcin de R en R, pero s
definirla de un subconjunto de R en R. De la misma forma, puede ocurrir que una expresin en 2 variables no defina una funcin de R2 en R, pero a veces, es posible determinar algn subconjunto de R2 para el cual quede definido un campo escalar.
Veamos algunos ejemplos en R2 :
Hallar A

1) F(x;y)=

R2 para que F:A R sea funcin:

1 x2 y2

Para que el resultado de una raz cuadrada sea un nmero real, el radicando debe ser no
negativo.
1- x2 y2 0 1 x2 + y2 x2 + y2

A={(x;y) R 2 /x 2 + y2 1}

2) G(x;y)=

1
ln | x 2 y 2 |

Para que el logaritmo sea un nmero real, el argumento debe ser mayor que cero.
Para poder efectuar la divisin, el denominador debe ser distinto de cero.
Entonces:
| x || y |

| x2 y2| 0 | x2 y2| 1 x 2 y 2 1
2
y x 2 1
Resulta:
A= { (x;y) R 2 / | x || y | x 2 y 2 1 y 2 x 2 1}

11

3) H(x;y)=ln(x+y)
Como el argumento del logaritmo debe ser positivo, se tiene: x + y > 0 x>-y
Luego: A={(x;y) R2/ y >-x}

Conjuntos de nivel .Curvas y superficies de nivel:

Definicin:
Consideremos un campo escalar de dos variables
z = F(x;y); llamamos curva de nivel de F correspondiente al valor k al conjunto :
C = {(x;y) R2/ F(x;y) = k} con k Im(F)
Si w=G(x;y;z) es un campo escalar de tres variables, llamamos superficie de nivel de G
correspondiente al valor k, al conjunto:
S = { (x;y;z) R3/ G(x;y;z) = k} con k Im(G)
En gral. , si H : A R n R con n 2, llamamos conjunto de nivel de H corespondiente a k a
Lk ={(x1;x 2 ;.....x n)/ H(x1;x 2 ;.....x n) = k } con k Im (H)
Ejemplos:
1) F(x;y)= x2 + y2,

Im(F)= R+o

Si hacemos x2 + y2= k con k R+o, se obtiene el origen de coordenadas (k=0) o circunferencias concentro en (0;0) y radio k
Con el programa Mathematica graficamos la funcin y algunas de sus curvas de nivel:

12

Se trata de un paraboloide
redondo

Curvas de nivel del paraboloide

2)G(x;y)= y x 2 , G:A R 2 R , A= {(x;y) R2/ y x2}, Im(G)= R+0

Se trata de un semiparaboloide
circular de eje y.

Las curvas de nivel son parbolas de la forma

y= x2 + k2

13

3) Si el campo escalar est definido de un subconjunto de R3 en R, es imposible mostrar su grfico cartesiano. En cambio si podemos presentar sus superficies de nivel.
H:A R / H(x;y;z) = ln(x2+y2+z2), con A= {(x;y;z) R3/ x2+y2+z2 0}
Se tiene Im(H)= R.
Si hacemos ln(x2+y2+z2)=k, resulta x2+y2+z2 = ek (son superficies esfricas con centro
en (0;0;0) y radio ek/2

y
x

La figura muestra las superficies de nivel correspondientes a k<0, k=0 y k>0.

Curvas. Superficies. Superficies simples. Curvas sobre una superficie.

Definiciones:

r
a) Dada una funcin vectorial f :A RRn (con n2) tal que todas sus componentes,
r
que son funciones escalares, sean continuas, llamamos curva asociada a f conjunr
to imagen de A dado por f .
r
r
Ejemplo: f : R R3 / f (t)=( t,t ,t 2)

14
2
0

-2
0
2

-2

ParametricPlot3D[{t,t,t^2},{t,-3,3},Axes->True];
8

4
2
0

r
que son
b) Dado un campo vectorial G: A R2R3 , tal que todas sus componentes,
r
campos escalares
r sean continuos, llamamos superficie asociada a G: conjunto imagen
de A dado rpor G:
r
Ejemplo: G: R2R3 / G:(u;v) =( 2 cos u; 2 sen u; v)

El conj. imagen es
una sup. cilndrica

r
Si G: es inyectiva en
r un conjunto conexo, decimos que la superficie representada por el conj. imagen de G: es simple.

r
c) Si se compone una funcin vectorial continua f :[a,b] RDR2, con un campo
r
vectorial continuo G:A R2R3 , cuyo
r rconjunto imagen representa una superficie ,
siendo D A, el conjunto imagen de G o f representa una curva sobre la superficie ,

15

Por ejemplo:
r
r
r
r
Sean f :RR2/ f (t) = (3;t) y G: R2R3/ G (u;v)=(3+u cosv; 3+u senv;u)
asociadas a la curva C1 y a la superficie ,respectivamente.
v

C1

(sup.cnica)
Para efectuar la composicin , penu = 3
samos :
con t R
v = t
Entonces , resulta:

2
2
(x 3) + (y 3) = 9

Por lo tanto: C2

z=3

Go f(t)=(3 + 3 cost;3+3 sent;3)

x = 3 + 3 cos t

Es decir: y = 3 + 3 sen t
z=3

C2 es la circunferencia
de radio 3 y centro en
(3;3;3) sobre el plano z= 3

x
y

16

y
LMITE

l+

1.- Para funciones escalares

l
f(x)
.
Consideremos una funcin f: A R / y = f(x) con l-
A R y tambin el punto xo , punto de acumulacin de
A
Decimos que lm f ( x ) = l si y slo si para cualquier
lx xo

nmero positivo , es posible determinar otro nmero

positivo que dependa de , tal que todos los valores de
"x" pertenecientes al dominio de f y a un entorno
reducido de xo de amplitud tengan su imagen a una

x
x

x0

x0-

x0+

En smbolos
lm f ( x ) = l > 0, ( ) / x:[ x A x E '( x 0 , ) | f ( x ) l| <
x x0

Recordemos adems que existen slo dos "formas" de acercarse a xo, por derecha o por
izquierda. Estos dos "caminos" permiten definir el concepto de "lmite lateral". Si los lmites
laterales existen y son distintos, no existe lmite. Si en cambio, son iguales , el lmite existe y es
igual a ambos.
2.- En general
La definicin es la misma.
Consideremos, una funcin F: A Rncon A Rm y Xo , punto de acumulacin de A.

r r
r
Decimos que r lmr F(X) = L si y slo si para cualquier nmero positivo , es posible
X X 0
r
determinar otro nmero positivo
,
que
dependa
de
,
tal
que
para
todos
los
valores
de
X
r
r
pertenecientes al dominio de F y a un entorno reducido de X o de amplitud , la norma del
r r
r
vector diferencia entre F( X ) y L sea menor que ,
En smbolos:

lm
F r( X ) = L > 0 ,
r

( ) > 0 / X : [ X A X E ' ( X 0 ; )

F ( X ) L < ]

XX0

2.1.- Para funciones vectoriales

r
r
Consideramos f : A
Rn con n 2 , A
R / f (t)=(f1(t);f2(t);.....fn(t)).,t0 punto de
acumulacin de A. La misma definicin toma esta forma

r
r
lmf ( t ) = l
t t0

r
r
> 0 , ( ) > 0 / t :[ t A t E ' ( t 0 ; ) || f ( t ) l || < ]

r
donde l =(l1; l2 ;.....;ln) Rn

17

Para interpretarlo grficamente se trabaja con el conjunto imagen. Si n=2, podemos interpretar
la definicin de lmite con el siguiente grfico:
y

r
r
f (t ) - l
r
f (t )
r
l

t0-
t

t0+

t0

x
Propiedadr
n
Considero f : A R con A R n 2 y un punto t 0 de acumulacin de A.
r
r
Si f ( t ) = ( f1 ( t ); f 2 ( t );...; f n ( t )) , y l = ( l1; l 2 ;...; l n ) se quiere probar que:
r
r
lm f ( t ) = l lm f i ( t ) = l i , i { 1, 2 ,...., n }
t t

t t 0

1.

Por def. de lmite:

r
r
l m f ( t ) = l > 0, ( ) > 0 / t: [t A t E ' ( t o; )

tt

r
r
f (t ) l < ]

o lo que es equivalente:

(
i =1

fi (t ) li ) <
2

Pero para cada i , se cumple que : f i ( t ) l

f i ( t ) li

(
i =1

2
i

(
i =1

f i ( t ) li ) , entonces:
2

fi (t ) li ) <
2

Resulta que, dado un >0, existe () >0 tal que: para todo t perteneciente al dominio de la
funcin vectorial, y por lo tanto al dominio de cada una de sus componentes, y a un entorno
reducido de to de amplitud , se cumple que f

(t ) = l

2.
l m f i ( t ) = l

l m f

t t

t t

( t ) l i < , con i { 1, 2, ..., n } , o sea

> 0, i ( ) > 0 / t: [t A t E '( t o; i ) f i ( t ) li < ] ,

con i { 1, 2, ..., n }
Entonces para t A t E ' ( t o; ) , con = m n {
n

( f i ( t ) li ) 2 < n
i =1

(
i =1

f i ( t ) li ) < n
2

}, se cumple que :

18

Es decir, dado >0, existe ()= mn { i } tal que para todo t perteneciente al dominio de la
funcin vectorial y a un entorno reducido de to de amplitud , se cumple que

r
r
f (t ) l <

r
r
' . Por lo tanto: l m f ( t ) = l
tt

2.2.- Para campos escalares

Trabajaremos con campos escalares de dos variables, es decir con funciones del tipo F:A
R
2
con A R / z = F(x;y) . Si (xo;yo) es un punto de acumulacin de A, el concepto de lmite
doble se define igual que en los casos anteriores. La diferencia y tambin la dificultad, radica en
el concepto de entorno en R2.
Teniendo en cuenta que un entorno en el plano es un crculo abierto (es decir, sin la
circunferencia borde), resulta que existen infinitos caminos para acercarnos a (xo;yo). Para que el
lmite doble exista, el comportamiento de la funcin a lo largo de todos los caminos incluidos
en su dominio y en un entorno reducido de (xo;yo) debe ser el mismo.
C4
C1
C2
X0

C3
Lmite Doble:
Si F:A
R con A R2 / z = F(x;y) y (xo;yo) es un punto de acumulacin de A, el
concepto de lmite extendido a ms de una variable es:
lm

( x; y) ( xo; yo )

F( x; y) = l ( x; y):[( x; y) A 0 < ( x x0 )2 + ( y y0 )2 < | F( x; y) l|< ]

l+

l
f(x;y)

l -

y
y0
x0
x
x

19

Los puntos sobre la superficie, correspondientes a los puntos del dominio pertenecientes a un
entorno reducido de (xo;yo) de radio , se encuentran entre dos planos paralelos al plano xy de
ecuaciones z = l + y , z = l -
y

z
l+

y0
y

l
F(x;y)

l-

x
x x0

Decidir la no existencia del lmite doble es relativamente sencillo si se encuentran dos caminos
a lo largo de los cuales la funcin presenta distintos comportamientos.
Para los lmites de campos escalares valen las mismas propiedades que para los lmites de
funciones escalares
1.Si el lmite de F(X) para X Xo es finito, existe un entorno reducido de Xo en el que la
funcin est acotada.
2.Si el lmite de F(X) para X Xo es finito y distinto de cero, existe un entorno reducido
de Xo en el que la funcin tiene el mismo signo que el lmite.
3.El lmite de una suma, resta o producto de campos escalares que tienen lmite finito para
X Xo, es respectivamente igual a la suma , resta o producto de sus lmites. El cociente tambin
siempre que el lmite del campo escalar que figure en el denominador sea distinto de cero.
4.Si el lmite de F(X) para X Xo es finito, entonces F(X) puede escribirse como la suma
de su lmite ms un campo escalar que es infinitsimo cuando X Xo.
Ejemplos:
1)
lm

( x; y) (1;2)

2)

lm

x .y 2 x y + 2
( x 2 1).( y 2)
x .y 2

( x; y) (0;0) x 2 + y 2

x.( y 2) ( y 2)
( x y).( y 2)
1
=
lm
=
( x ; y) (1;2) ( x 1).( x + 1)( y 2) ( x ; y) (1;2) ( x 1).( x + 1)( y 2) 2
lm

lm

( x; y ) (0;0)

x.

y2
2

x +y

= 0 (por ser producto de infinitsimo por f. acotada)1

funcin acotada

Lmites a lo largo de un camino

0 y2 x2 + y2 .Como x2 + y2 0 , resulta 0 y2/( x2 + y2) 1

20

Consideremos un campo escalar de dos variables F:A R con A R2 /

z = F(x;y) y sea C un camino incluido en A del cual (xo; yo) sea punto de acumulacin.
Estudiar el lmite de F a lo largo de C, significa considerar, en la definicin de lmite de
un campo escalar, que los puntos (x;y) adems de pertenecer al entorno reducido de (xo; yo
)debern pertenecer a C, siendo (xo; yo) un punto de acumulacin de C.

E[(x0;y0);)

y
y0

x
x0
El clculo de lmites a lo largo de un camino se reduce a un clculo de lmite en una variable.
Supongamos que C = {(x;y) A / y = f(x)} y que Xo =(xo;yo) es punto de acumulacin
de C, entonces el lmite de F para XX0 travs de C se define:
lmF(x; y)
= l > 0, ( ) > 0/ (x; y) : [( x ; y ) C 0 <
(x; y) (x O ; y O )

(x x 0 ) 2 + (y y 0 ) 2 <

(x; y) C

| F(x;y)l |<
Para que el lmite doble exista, los lmites a lo largo de cualquier camino deben coincidir .
( siempre con (x;y) (xo;yo) )
Ejemplo:
Sea calcular

x .y

lm

. Como el dominio de la funcin es R2-{(0;0)}, se puede

+y
analizar el comportamiento de la funcin a travs de caminos que pasen por (0;0).
Uno de los caminos posibles, son rectas de la familia y = mx.
Se tiene:

( x; y) (0;0) x

lm

x .y

( x; y) (0;0) x 2

+ y2

lm

( x; y) (0;0) x
y = mx

x.mx
2

+ (mx )

= lm

x 0 x

mx 2
2

.(1 + m )

m
1 + m2

Este resultado significa que al cambiar la pendiente de la recta, el comportamiento de la funcin

vara. Si nos acercamos al (0;0) a travs de la recta y = 2x, la funcin se aproxima a 2/5; en
cambio, si lo hacemos a travs de y = -3x, la funcin tiende a 3/10. Por lo tanto, como existen
caminos a travs de los cuales el comportamiento de la funcin difiere, podemos asegurar que
no existe el lmite doble.

Lmites sucesivos o iterados:

Consideremos z = F(x;y) con dominio A R2 y (xo;yo) punto de acumulacin de A.

21

Supongamos que existen las intersecciones de la superficie representativa de z = F(x;y) con

planos y = b ( b es una constante). Esas intersecciones sern curvas definidas por: z=F(x;b)
sobre el plano y = b. En cada una de ellas, si existe , se podr tomar elylmite para xxo.
z
y0

(y)

x0

y0
y

x0

x
El conjunto de los lmites obtenidos para los distintos valores de b, definir , en general , una
funcin . (y) = lm F ( x; y )
x x0

En esta funcin, en general, se puede calcular el lmite para yyo. Se define as uno de los
llamados lmites sucesivos.

lxy = lm xlm
F ( x; y )
x0

y y0
y

Con igual criterio puede definirse : lyx = lm lm F ( x; y )

x x y y0
0

y0
(x)

x0
y0
x0
x

22

Relaciones entre los lmites sucesivos y el doble

Si existen los lmites sucesivos y el doble, los tres son iguales.
Si los lmites sucesivos existen y son distintos, no existe el lmite doble.
La no existencia de uno o de ambos lmites sucesivos no permite asegurar nada acerca de la
existencia del lmite doble.
OBSERVACIN
Los lmites sucesivos cumplen la misma funcin que los lmites a travs de caminos: si ambos
existen y son distintos permiten asegurar la NO existencia del lmite doble. Nunca , por s
solos, permiten asegurar la existencia de dicho lmite
Un ltimo ejemplo:
Calcular el lmite para (x;y) tendiendo a: (0;0), (1;1) y (-1;1) de
sen( x 2 y 2 )
si | x || y |

2
2
(
x

y
)

F(x;y)= 1 ( x + y)
si x = y ( x; y) = (1,1)
2

1
si x = y ( x; y) {(0;0), (1;1)}
2
El dominio de F es R , pero la forma en que est definida, indica que para estudiar el lmite
para (x;y) (0;0), debe analizarse el comportamiento de F cuando |x| |y| , cuando x = y , y
cuando
x = -y
y

F( x; y) =

lm

F( x; y) =

x=y
lm

F( x; y) =

( x; y) (0;0)
| x || y |

1
x
-1

lm

( x; y) (0;0)

( x; y) (0;0)
x = y

Para (x;y) (1;1), deberemos considerar |x| |y| y ,

lm

( x; y) (1;1)
| x || y |

F( x; y) =

lm

( x; y) (1;1)

sen( x 2 y 2 )
(x 2 y 2

=1

lm

sen( x 2 y 2 )
(x 2 y 2

( x; y ) (0;0)

1
( x + y) = 0
( x; y ) (0;0) 2
lm

lm

( x; y ) (0;0)

x = y,

1=1

=1

23

lm

( x; y) (1;1)

F( x; y) =

1
( x + y) = 1
( x; y) (1;1) 2
lm

x=y

Como el caso |x| |y| incluye todos los caminos que pasa por (1;1) excepto x=y, y por este
camino el comportamiento de la funcin es el mismo, podemos asegurar que
lm
F( x; y) = 1
( x; y) (1;1)

De la misma forma , para (x;y) (-1;1), habr que analizar el lmite cuando |x| |y| y cuando
x =-y y tambin obtendremos que el lmite doble existe y vale 1.

CONTINUIDAD

Consideremos, una funcin F: A Rm con A Rn y Xo , punto de acumulacin de A.

Decimos que F(X) es continua en Xo si y slo si se cumplen las siguientes tres condiciones:

F( X 0 )

lm F( X ) = l

xxo

= F( X 0

Si no se cumple alguna de las condiciones, la funcin es discontinua en el punto. Si existe el

lmite doble, la discontinuidad es evitable; en caso contrario, es esencial.

En el ltimo ejemplo de lmite, resulta que F presenta una discontinuidad esencial en (0;0), ya
que en ese punto no existe el lmite doble, una discontinuidad evitable en (-1;1) pues aunque el
lmite doble existe, el valor de la funcin en (-1;1) es 0 y es continua en (1;1).

24

DERIVADAS
Introduccin
Recordamos de Anlisis I.
Definicin
Sea f: A R, con A R, y sea x0 interior a A

f(x)

f(x0)

Se llama derivada de f en xo al lmite,

f (x ) f (x 0 )
si existe, del cociente
,
x x0
cuando x x 0 .

Po

Notacin: f (xo)=Df(xo)=

dy
dx x

x
Resulta:

x0

f (x) f (x 0 )
x x0
xxo

f ' ( x 0 ) = lm

Como una derivada es un lmite pueden darse una de estas tres situaciones: que sea un nmero, que sea infinito o que no exista.
Definicin:
f es derivable en xo si y slo si existe y es finito el lmite para x x 0 de

f (x ) f (x 0 )
x x0

Interpretacin geomtrica de la derivada de una funcin en un punto

f (x ) f (x 0 )
El cociente
(cociente inx x0
s
cremental), representa la pendiente de la
P
f(x)
recta secante a la curva C, representativa
f
Po
f(x0)
de la funcin.
Cuando x x 0 , el punto P resbala
sobre la curva hasta coincidir con P0, la
tt
recta
secante alcanza una posicin lmite
x
que corresponde a la recta tangente.
x0
x
Entonces, si la recta secante tiende a la recta tangente, y el cociente incremental tiende a la
derivada, resulta que:
La derivada de una funcin en x0 representa , si existe y es finita, la pendiente de la recta
tangente a C en Po.

25

Derivada de funcin vectorial

r
Consideremos f :A
Rn con A R n 2 , y t0 pto. interior de A

I.1.-Definicin:

r
r
r
f (t 0 + t ) f (t 0 )
Se llama vector derivado de f en t0 al lmite, si existe de:
, cuando t 0.
t
r
Se indica f '(t 0 ) .
r
r
r
f (t 0 + t ) f (t 0 )
Resulta: f '(t 0 ) = lm
t
t 0

Teorema:
r
f (t)= (f1(t);f2(t);.....;fn(t)) es derivable en t0 fi (t) es derivable en t0, i{1,...,n}

Demostracin:
Por def. de
derivada

r
f (t) derivable en t0

r
r
f ( t 0 + t ) f ( t 0 )
lm

t
t 0

Por rdef.
de

(f1 ( t o + t ); f 2 ( t o + t );L f n ( t o + t )) (f1 ( t o ); f 2 ( t o );L f n ( t o ))

t
t 0

lm

lm

t 0

(f1 ( t o + t ) f1 (t o );....; f n ( t o + t ) f n (t o ) )
t

Por lmite de una

funcin vectorial
Por def. de vector y de deriv. de
una funcin
escalar
f n ( t 0 + t ) f n ( t 0 )
=f (t )

f ( t + t ) f1 ( t 0 )
fn ( t 0 + t ) fn ( t 0 )

lm 1 0
;L; lm
t
t
t 0
t 0

f1 ( t 0 + t ) f1 ( t 0 )
= f1(t0) ........ lm
t
t 0
t 0

lm

Recta tangente y plano normal a una curva en R3

r
Consideramos f :A Rn continua ,con A R n = 3. La representacin grfica del conjunto
imagen es una curva en R3

r
f (t 0 + t )

r
r
f (t 0 + t ) f (t 0 )

26

P0

r
f (t 0 )

y
x
r
r
r
r
Consideremos los puntos P y P0 definidos por f ( t 0 + t ) y por f ( t 0 ) ;el vector f (t 0 + t ) f (t 0 )
tiene el mdulo y la direccin de la cuerda PP0 .
Al dividir por t y tomar el lmite para t0, el vector derivado, si existe, tendr la direccin
lmite de la de una cuerda cuyo extremo tiende a coincidir con el punto inicial , es decir tendr
la direccin tangente a la curva en P0 .
r
Resulta que la recta tangente a la curva representativa de la imagen de f (t ) en P0 , es
r
la recta que tiene la direccin de f '(t 0 ) y a la que pertenece P0.

t P0

r
r r
X = f (t0) + f ' (t0)

(ec. vectorial de la recta tg.)

o bien ,si fi(t0)0,i{1,2,3} :

x f1 ( t 0 ) y f 2 ( t 0 ) z f 3 ( t 0 )
=
=
(ecs. simtricas de la recta tangente)
f1 ' ( t 0 )
f 2 ' (t 0 )
f3 ' (t 0 )
Si llamamos N al plano perpendicular
a la recta tangente en P0, es decir al plano normal a la
r
curva asociada a la imagen de f (t ) , resulta que la ecuacin vectorial de N es:
r
r
(Xr f ( t 0 ) ) f ' ( t 0 ) = 0
y la ecuacin cartesiana:

f 1(to).(x- f1(to)) + f 2(to).(y- f2(to)) + f 3(to).(z- f3(to)) =0

Puntos regulares y singulares de una curva. Curvas regulares y lisas.

27
r
r
Un punto P0 C es un punto regular de C si y slo si existe la recta tangente a C en P0 . Para
r
r

ello debe existir una funcin vectorial f :[a,b] R con n 2, continua / f (t)= (f1(t);f2(t);.....;fn(t))
n

siendo C la curva asociada a su imagen, tal que exista y no sea nulo el vector derivado f (to) con
r
P0 =

r
f (t0). Los puntos de C que no son regulares se llaman puntos singulares .

Toda curva admite distintas parametrizaciones, puede ocurrir que en alguna de ellas el vector
derivado sear nulo, pero que no lo sea para otra.
Si f es inyectiva en [a,b], la curva es simple.

Si t[a,b] es f (t) continua y distinta del vector nulo, entonces la curva

C asociada al conjunto imagen de f es lisa.

Derivacin de campos escalares

Campos escalares de dos variables

INCREMENTO PARCIAL Y TOTAL
r

Sea F: AR, con A R2 / z = F(x;y) y sea P0 =(a;b) interior a A

Se llama incremento parcial de "F " debido a "x" (se escribe: x F ) al incremento
que experimenta la funcin cuando se provoca una variacin "h" x de la variable "x" y se
mantiene constante la variable "y".
Es decir:

x F = F(a + h ; b) - F(a;b)= F(a + x ; b) - F(a;b)

Grficamente significa cortar la superficie representativa de z=F(x;y), con el plano y = b

y medir la variacin de la funcin sobre la curva interseccin. En el dibujo: | x F |= medida de
TT '

| y F | = medida de| M M ' |

Q

T
S

T
S

a
a+h
x

b+k

28

Con el mismo criterio, la variacin de "F" debida a "y",( y F ) se obtiene considerando x =

cte y provocando un incremento "k" y sobre el eje "y".
Es decir: y F = F(a;b + k) - F(a;b)= F(a; b+ y ) - F(a ; b)
Estos incrementos x F y y F reciben el nombre de incrementos parciales.
Si provocamos simultneamente variaciones en x e y , que llamaremos "h" y "k",( x , y
respectivamente) ,obtendremos el incremento total de F
Entonces : F = F(a + h; b + k) - F(a;b)= F(a + x ; b + y ) - F(a;b)
Grficamente este incremento mide la variacin que experimenta z, sobre la curva que resulta de
cortar la superficie representativa
de z = F(x;y) con un plano perpendicular al plano xy, segn la
r
direccin de la recta P0P con P =(a + h; b+ k) (En el dibujo:| F |= medida de SS ' ).

Derivadas parciales:
r

Sea F: AR, con A R2 / z = F(x;y) y sea P0 =(a;b) interior a A

r

Se llama derivada parcial con respecto a x de F(x;y) en (a;b) ( en P0 ), al lmite para x 0,

del cociente entre x F y x
F' x (a;b) =

= lm
xr
x 0
P

F ( a + x; b) F ( a ; b )
x

= lm
h 0

F ( a + h; b) F ( a ; b )
h

Anlogamente:
F' y (a;b) =

= lm
yr
y 0
P

F ( a ; b + y ) F ( a ; b )
y

= lm
k 0

F ( a ; b + k ) F ( a; b )
k

Observemos que F' x (a;b) se calcula manteniendo y = cte y F' y (a;b), con x = cte.
De la definicin se deduce que las reglas para calcular derivadas parciales son las mismas que se
utilizan para calcular derivadas de funciones escalares.
Geomtricamente las derivadas parciales representan las pendientes de las rectas tangentes a las
curvas que se obtienen como interseccin de la superficie con planos y= cte x = cte, segn
corresponda, en el punto (a;b;F(a;b))
z

Fx(a;b)= mt = tg

y
b
a

29

Ejemplo:

xy
si ( x; y) (0;0)

Calcular las derivadas parciales en (0;0) de F(x;y)= x 2 + y 2

0
si ( x; y) = (0;0)

Recurrimos a la definicin:
F
F(a + h; b) F(a; b)
= lm

x Pr
h
h 0
0

h .0
F
F
F(0 + h;0) F(0;0)
h + 02

=
lm

=
lm

x (0;0) h 0
h
x (0;0) h 0
h
2

00
=0
h 0 h

= lm

F
F(a ; b + k ) F(a; b)
F
F(0 ; k ) F(0;0)

= lm

r = lm

k
k
yP
y (0;0) k 0
k 0
0
0.k
2
F
= lm 0 + k
y (0;0) k 0
k
2

0
=0

Observacin:

En la pgina 20, se trabaj con la misma funcin y se comprob que no existe lmite doble para
(x;y)(0;0), por lo tanto no es continua en (0;0).
Estos significa que, para campos escalares, la existencia de las derivadas parciales no es una
condicin tan fuerte como la derivabilidad para funciones de una variable.
En efecto, para funciones escalares: derivabilidad continuidad; sin embargo, para campos
escalares, este ejemplo nos muestra que un campo puede tener derivadas parciales en un
punto en el que no es continuo.

Cuando no hay problemas en la definicin de la funcin, puede derivarse utilizando las reglas y
frmulas conocidas. Para derivar respecto de x , se piensa que y es constante; mientras que
para derivar respecto de y, se trabaja con x constante.
Por ejemplo:
Si F(x;y)= 2x.sen(xy)+ y2 , resulta:
Fx= 2 sen(x.y)+ 2xy cos(x.y) ; Fy = 2x2cos(xy) + 2y.

30

30

Derivada direccional

r
Sean F:A R n R con A abierto , Po A y v( versor de Rn
Definicin

Si llamamos v( al versor que tiene la direccin y sentido de Po P , podemos decir que existe t R/

r
(
(
Po P = t v . Entonces definimos como derivada direccional de F en la direccin de v en Po al
r
r
(
r (
F (Po + t v) F(Po )
lmite para t 0 de
. (La indicamos F ( Po ; v ) .
t

Resulta:

r
r
(
F (Po + t v) F(Po )
r r
F( Po ; v ).= lm
( con
t
t 0

t R)

Interpretacin geomtrica

Al tomar una derivada direccional en un punto con respecto a un versor, se estn considerando variaciones de la funcin sobre la recta que pasa por el punto y es paralela al versor.
z

y
b

(
v
a

Po

s
r

La derivada direccional de F en Po con respecto al versor v , representa la pendiente de la

recta tangente a la curva interseccin entre la sup. representativa de z=F(x;y) y el planor paralelo al eje z, que corta al plano (x,y) segn la recta s (es decir, la recta que pasa por Po y es
(
paralela al versor v ).
OBSERVACIONES :
a) Si se trabaja con el versor opuesto, si bien el punto es el mismo, la recta s tambin, y la
curva interseccin y , por lo tanto la recta tangente, no varan, cambia el ngulo que se
vincula con la pendiente.

31

(
v
(
v
(

b) Si se toman las derivadas con respecto a los versores i y j , se obtendrn las derivadas parciales respecto de x e y respectivamente.

Ejemplo:

2
r
2

Calcular F( P o ; v ) siendo F(x;y) = x2 2xy; Po =(1;1) y v =

;
2
2
r
r
(
F (Po + t v) F(Po )
r r
r r
F( Po ; v ).= lm
F( Po ; v ).= lm
t
t 0
t 0

F(1 t. 2 ;1 + t. 2 ) F(1;1)
2
2
t

2
2
2
1 t
21 t
1 + t
12 2.1.1

2
2
2
r r

F( Po ; v ).= lm
t
t 0
r r
F( Po ; v ).= lm
t 0

1 t 2 + t

2 + t 2 (1)
t

= lm

t 0

t. 2 + t 3
t

2 = 2

Campos escalares en general

r
(
Consideremos F:A R, con ARn , un punto X 0 interior a A y un vector unitario (versor) v
de Rn.

Derivada direccional
r
(
Llamamos derivada direccional de F en la direccin de v en X 0 al lmite
r
r
(
F( x 0 + t v) F( x 0 )
r (
para t 0 de
. La indicamos F( x 0 ; v) .
t
r
r
(
F( x 0 + t v) F( x 0 )
r (
Resulta:
F( x 0 ; v) .= lm
( con t R)
t
t 0

32

Derivada de un campo escalar respecto de un vector: Definicin

r
r
Consideremos F:A R, con ARn , X 0 un punto interior a A y un vector v de Rn.
r
r
Llamamos derivada de F en X 0 con respecto a la direccin de v al lmite, si existe de:
r
r
r
F ( x0 + t . v ) F ( x0 )
r r
F( x0 ; v ) .= lm
( con t R)
t
t 0

OBSERVACIN:
En la derivada direccional se trabaja con un vector unitario
En la derivada con respecto a un vector, se consideran vectores cualesquiera. Al calcular deri(
vadas en un punto respecto de vectores de la forma v que, obviamente corresponden a la
misma direccin, se obtienen, en un mismo punto distintos valores para la derivada .

Teorema del valor medio

Recordamos el teorema de Lagrange ( o del valor medio del clculo diferencial) para funciones escalares
Si f es continua en [a,b] , derivable en (a,b) , entonces existe un punto c interior al intervalo (a,b) tal que la variacin que experimenta la funcin al pasar de a a b es igual al
producto de la derivada de f en dicho punto c por la amplitud del intervalo.
t
y
B

f(b)

f
r

Geomtricamente significa que si f es continua en un intervalo cerrado [a,b] y derivable

en (a,b), entonces existe un punto en el arco
representativo de f) en el que la recta tangente es paralela a la cuerda que une los
extremos del arco.

f(a)

b x

Teorema del valor medio para campos escalares:

r (
Consideremos F:A R, con ARn tal que exista F ( x ; v ) en un subconjunto de A al que
r
r
(
(
pertenezcan x o y x o + t v , siendo v un vector unitario de Rn.
Entonces se cumple que :
r
(
r
r
( (
c (0,t) / F( x o + t v )- F( x o ) = t . F( x o + c v , v )

Demostracin:
r
(
Trabajaremos con la funcin de una variable (t) = F( x o + t v ) con t [0,t]
r (
r
r
(
Como existe F( x o ; v ) en un subconjunto de A al que pertenezcan x o y x o + t v
En R2 sera:
r
xo

(
v

r
(
xo + tv

33

Resulta:
(t) continua en [0,t] (por que para funciones de una variable se cumple que
si es derivable es continua)
r
r
(t) derivable en (0,t) (trabajamos en [0,t] porque (0)=F( x o )y (t)=F( x o +
(
tv )
Por el T. del valor medio para funciones de una variable, se cumple que:
c entre 0 y t / (t) - (0) = t. (c)
Calculamos , por def. (c)

r
r
(
(
F(x 0 + (c + )v) F(x 0 + cv)
(c + ) (c)
= lm

0
0

r
r
(
(
(
F[(x 0 + cv) + v] F(x 0 + cv)
r
( (
' (c) = lm
= F' (x 0 + cv; v)
0

' (c) = lm

Reemplazando se tiene que:

r
(
r
r
( (
c entre 0 y t / F( x o + t v )- F( x o ) = t . F( x o + c v ; v )

Propiedad de homogeneidad de la derivada direccional.

r
(
Consideremos F:A R, con ARn , entonces R, F( x o ; v ) y se cumple que:
r
(
r (
F( x o ; v ) = F( x o ; v )

Demostracin:
Por definicin de derivada
direccional:
r
r
(
F
(
x
+
t
v) F( x 0 )
r
(
0
F( x o ; v ) = lm
=
t
t 0

r
r
(
F( x 0 + t v) F( x 0 )

=
lm
t
t 0

multiplicamos y dividimos por

r
(
F( x o ; v ) =

r
r
(
F( x 0 + t v) F( x 0 )
r (

= F ( x o ; v ) ( por def. de deriv.)

lm
t
t 0

r
(
r (
Luego: F( x o ; v ) = F ( x o ; v )

Aditividad de las derivadas direccionales

( (
Consideremos un campo escalar F: A R con ARn n 2, y sean u y v dos versor
res de Rn respecto de los cuales F tiene derivadas direccionales continuas en x o
r ( (
r
r
r (
r (
Si w = u + v , entonces existe F( x o ; w ) = F( x o ; u ) + F( x o ; v )
Por definicin de derivada respecto de un vector:
r
F( x o ;

r
r
r
r
r
F( x 0 + t w ) F( x 0 )
F( x 0 + t (u( + v( )) F( x 0 )
r
w ) = lm
= lm
=
t
t
t 0
t 0

34

r
r
F( x 0 + t u( ) + t v( ) F( x 0 )
= lm
t
t 0
r
(
Sumamos y restamos en el numerador F ( x 0 + t u ) y agrupamos convenientemente , entonces:
r
F( x o ;

r
r
r
r
F[(x 0 + t u( ) + t v( ] F(x 0 + t u( ) + F(x 0 + t u() F( x 0 )
r
w ) = lm
=
t
t 0

F( x 0 + t u ) F( x 0 )
F[(x 0 + t u ) + t v] F( x 0 + t u )
= lm
+ lm
t
t
t 0
t 0
r (
En el primer sumando tenemos, por definicin: F( x o ; u ); y en el numerador del segundo aplicamos el T. del Valor medio:

t. F'[ x o + t u + v; v]
r
r
r (
con entre 0 y t.
F( x o ; w )= F( x o ; u ) + lm
t
t 0
0

t
Resulta que cuando t0, tambin 0,entonces, por la continuidad pedida a las derivadas direccionales se tiene:

r
r
r (
r (
F( x o ; w )= F( x o ; u ) + F( x o ; v )

Las derivadas parciales como casos particulares de derivadas direccionales

Si para el campo escalar F: A R con ARn n 2, se calculan las derivadas direccionales con respecto a los versores de la base considerada, se obtienen las derivadas
parciales.
r

Es decir que si a x o =

i = n

i ei , se le aplica derivada de F en la direccin de ei se ob-

i= 1

tiene la derivada parcial de F en la direccin de e i .

r (
F ( x o , ei ) =

r
r
(
F ( x 0 + t ei ) F ( x 0 ) F

=
lm
t
xi r
t 0

X0

Clculo de derivadas direccionales en funcin de las derivadas parciales

(
Consideremos un campo escalar F: A R con ARn n 2, y sea v un versor de Rn .
r
Supongamos adems que F tiene derivadas parciales continuas en x o .
Como las componentes de un versor son los cosenos directores del mismo:

35

(
v =

cos i ei , utilizando las propiedades de homogeneidad y aditividad de las

i=1

derivadas direccionales se tiene:

n
n
(
(
r (
r
r
F( x o ; v )= F( x o ; cos i ei ) = cos i F( x o ; ei )
i =1

i=1

Para campos escalares de tres variables, con derivadas parciales continuas es:
r (
r
r
r
F( x o ; v )= Fx( x o ). cos 1 + Fy( x o ). cos 2 + Fz( x o ). cos 3

(
siendo v = cos 1 i + cos 2 j + cos 3 k

Gradiente

Consideremos un campo escalar F: A R con ARn n 2 con derivadas parciales

respecto de todas sus variables en todo punto de B A Rn.
Se llama gradiente de F al campo vectorial definido de B en Rn mediante:
F F
F
Grad. F =
;
;....
.
xn
x1 x 2
r
Tambin se utiliza para designarlo al operador nabla: F = Grad. F

Relacin entre el vector gradiente y la derivada direccional

(
Consideremos F: A R con ARn n 2, ,sea v un versor de Rn expresado a partir
(
de sus cosenos directores, Es decir: v =

cos i ei

i=1

Supongamos adems que F tiene derivadas parciales continuas en x o .punto interior de

A.
Vimos que la derivada direccional puede expresarse en funcin de las derivadas parciales
n
F
r (
F( x o ; v )= cos i .
.
xi Xr
i=1
0

n F
r
r
r
(
Como el vector gradiente de F en x o es: F ( x0 ) =
. e i , se tiene que la deri
x
i
i=1
r
r
vada direccional en x o es igual al producto escalar entre el vector gradiente de F en x o y
r
(
r
r
el versor v . Significa que la derivada direccional en x o es la proyecccin del F ( x o )
(
sobre v .
r
r
r
r
Proy v( ( F ( x0 ) ) = F ( x0 ) . v (pues proyectar un vector sobre otro significa multiplicarlo
escalarmente por el versor correspondiente)

36

Pero el segundo miembro coincide con la frmula obtenida para la derivada direccional,
entonces:

r r v
F r
(
x
)
=

F( x 0 ). v
r 0
v
r

Si F tiene derivadas parciales continuas en x o la derivada direccional de F en la direcr

r
r
(
cin de v en x o es igual a la proyeccin del vector gradiente de F en x o sobre v .
(Recordar que la proyeccin de un vector sobre otro es un nmero).
Ejemplo:
Verificamos el resultado obtenido en la pgina 31

2
r
2

Calcular F( P o ; v ) siendo F(x;y) = x2 2xy; Po =(1;1) y v =

;

2
2

Como F es polinmica, podemos asegurar que tiene derivadas parciales continuas y, por
lo tanto es vlido aplicar la frmula de derivada direccional en funcin del gradiente.
r

Fx= 2x-2y Fx( Po )=0

r

Fy= -2x

F(Po ) = (0;2)

Fy( Po )= -2

2 2
= 2
Resulta: F( P o ; v )= F(Po ) v = (0;2)
;

2
2

Por otra parte , la proyeccin de un vector sobre otro es mxima cuando las direcciones
de ambos coinciden; mnima cuando los vectores son de la misma direccin pero tienen
sentidos opuestos y nula cuando las direcciones son perpendiculares. Entonces:

La derivada direccional es mxima en la direccin y sentido del vector gradiente.

Como en ese caso cos = 1, resulta que el valor de la mxima derivada direccional en un punto es el del mdulo del gradiente en dicho punto.
r
F r
r
mx. r ( x 0 ) = F ( x 0 )
v
La derivada direccional es mnima en la direccin del vector gradiente pero en
sentido opuesto. Como en ese caso cos = - 1, resulta que el valor de la mnima
derivada direccional en un punto es menos el mdulo del gradiente en dicho punto.
r
F r
r
(mn. r ( x 0 ) = F ( x 0 )
v

37

La derivada direccional en un punto es cero en la direccin perpendicular a la

del vector gradiente en dicho punto. (Las direcciones son perpendiculares si y slo
si el producto escalar es nulo).
( Para campos escalares de dos variables, recordar que cos 2 = sen 1)
Ejemplos:

Dados los siguientes campos escalares y el punto Po que en cada caso se indica, hallar

la o las direcciones en las que la derivada direccional en Po es mxima .

a) F(x;y)=

Fx =
Fy =

1
x2
x2

1 x2

en Po =(2;-2)
x
y

2x
y

continuas en Po ,la direccin de mxima derivada est dada

por el vector gradiente en Po

y2

F(Po ) =(-5/2;1)

5

;1

F(Po ) 2 5
1
=
Luego la direccin de mxima derivada es v =
=
;

29
29 29
F(Po )
2

xy 2

si ( x; y) (0;0)

b)1F(x;y)= x 2 + y 2
en Po =(0;0)

si ( x; y) = (0;0)
0
Por la forma en que est definida la funcin, es ms sencillo obtener la derivada direccional por definicin que analizar si las derivadas parciales son o no continuas.

Supongamos que consideramos un versor genrico de R2 , u = (h; k ) .

Resulta:

F' (Po ; u )

th.( tk ) 2

F' (Po ; u )

F(Po + t u ) F(Po )
F( th; tk ) F(0;0)
= lm
F' (Po ; u ) = lm
t
t
t 0
t 0

( th ) 2 + ( tk ) 2
= lm
t
t 0

ya que u = (h; k ) es un versor.

Ejercicio de final. Tema 11 .1.b)

t 3 hk 2
hk 2
t 2 (h 2 + k 2 )
=
= hk 2 pues h2+k2=1,
2
2
t
t 0
h +k

= lm

38

Este resultado nos permite asegurar que la funcin tiene derivada en cualquier direccin y sentido. Podemos escribir esta derivada en funcin de h:

F( Po ; u ) =h(1-h2)=h-h3
Como se pide la o las direcciones en la que la derivada direccional es mxima, y la funcin a maximizar es de una variable, se buscar el valor de h que anula la derivada primera y que hace negativa a la derivada segunda.
Es decir:
Sea (h)= h h3, entonces (h)= 1-3h2
1
. Pero (h)=-6h, permite asegurar que la derivada direccional es
3
1
mxima cuando h=
.
3
2
. Entonces las direcciones en la que la derivada
Como | k| = 1 h 2 , se tiene |k| =
3
1
2 3 6 3
6
=
y

direccional es mxima son:

;
;
;

3
3 3 3 3 3
1-3h2 =0 |h|=

NOTA: Obsrvese que si se trabaja con el vector gradiente, la direccin de mxima

derivada en un punto es nica. El haber obtenido dos direcciones indica que la frmula
del gradiente no es aplicable en este caso.

Derivacin de campos vectoriales :

Derivada direccional: Definicin

r
r
Consideremos F: A R m , con A R n , ( n 2, m 2) , un punto X 0 = ( x1 ; x 2; ...;x n )
r
(
interior a A, v un vector de Rn, v su correspondiente versor.

r
r
(
Llamamos derivada direccional de F en la direccin de v en X o , al lmite para t0
r r
( r r
F( X 0 + tv) F( X o )
de
.
t r r
(
La indicamos F ' ( X 0 ; v).
r r
( r r
r r (
F( X 0 + tv) F( X o )
Resulta: F ' ( X 0 ; v). = lm
con t R
t
t 0

39

Derivacin de campos vectoriales

Derivada de un campo vectorial respecto de un vector.

r
r
(
Llamamos derivada direccional de F en X o , con respecto al vector v , al lmite para
r r
r
r
r
F( X 0 + tv) F( X o )
t0 d e
.
t
r r
r r r
r r r
F( X 0 + tv) F( X o )
Es decir: F ' ( X0 ; v).= lm
con t R
t
t 0
Observacin: al igual que en los campos escalares, en las derivadas direccionales se
trabaja con vectores unitarios. En las derivadas respecto de un vector, se consideran
vectores cualesquiera. Al calcular derivadas en un punto respecto de vectores de la for(
ma . v que, obviamente corresponden a la misma direccin, se obtienen en un mismo
punto, distintos valores para la derivada.

Propiedades de las derivadas direccionales de campos vectoriales

r
r r
r
r
r
Sea F: A R m , con A R n , ( n 2, m 2) / F( X) = ( F1 ( X); F2 ( X);...; Fm ( X)) .
1) Con una demostracin similar a la realizada para funciones vectoriales se tiene que:
r r (
r (
r (
r (
F '( X , v ) = ( F1 ' ( X , v ); F2 ' ( X , v );....Fm ' ( X , v ))

r
2) Si las Fi (con i {1,2,...,m} son continuas en X 0 , para cada componente vale la
homogeneidad y la aditividad de la derivada direccional para campos escalares, entonces:
r r
r
r
r
(
(
(
(
a) F ' ( X 0 , v) = ( F1 ' ( X 0 , v); F2 ' ( X 0 , v);...; Fm, ' ( X 0 , v)) =
r (
r (
r (
= ( F1 ' ( X 0 , v); F2 ' ( X 0 , v);... Fm ' ( X 0 , v)) =
r (
r (
r (
r r (
= . ( F1 ' ( X 0 , v); F2 ' ( X 0 , v);...; Fm ' ( X 0 , v)) = . F ' ( X 0 ; v)
r ( (
( (
b)Si u y v son versores de Rn y w = u + v , entonces:
r r r
r r ( r r (
F ' ( X 0 ; w ) = F ' ( X 0 ; u ) + F ' ( X 0 ; v)

Derivadas parciales de campos vectoriales

r
Si para el campo vectorial F: A R m , con A R n , ( n 2, m 2) , se calculan
las derivadas direccionales respecto de los versores de la base cannica, se obtienen las
derivadas parciales.
n
r
r
(
(
Consideremos X 0 = x j . e j . A la derivada direccional de F con respecto a e j, se la
j=1
r
llama derivada parcial de F con respecto a xj .

40

r r
r
(
F X 0 + te j
F
r r (
F ' (Xo ; e j ) =
= tlm
t
0
x j r

X0

F
1
x j Xr
0

r r

F( X 0 ) F2
= x j r
X0

M
F
m
x j r
X0

Matriz jacobiana o matriz derivada

r
Sea el campo vectorial F: A R m , con A R n , ( n 2, m 2) , se llama matriz jacobiana o matriz derivada a lar matriz mxn cuyas filas son las derivadas parciales de cada
una de las componentes de F . La matriz jacobiana est definida en aquellos puntosrde A
en los que estn definidas todas las derivadas parciales de las componentes de F . La
filas de la matriz jacobiana son los gradientes de cada componente. Las columnas son
los vectores derivados del campo respecto de cada una de las variables.

F1
x
F1
r r
2
D[ F( X)] = x1
M
Fm

x1

F1
x 2
F2
x 2
M
Fm
x 2

F1
x n
F2

L
x n
M
Fm
L

x n
L

Ejemplo:

Dado el campo vectorial F : R 3 R 2 / F ( x; y; z) = (2 x 2 y + z;2z 2 x + 3y) , se pide su

matriz derivada.

Consideramos F ( x; y; z) = (F1 ( x; y; z); F2 ( x; y; z) ) , entonces:

F1 F1 F1

4 xy 2 x 2 1
x
y
z

D[ F ( X )] =
D[ F ( X )] = 2
2z

F2 F2 F2
3
4
zx

y
z

41

Clculo de derivadas direccionales en funcin de las derivadas parciales

r
Consideremos un campo vectorial F :A Rm, con ARn ,(n 2 ; m 2) , un punto
n
r
(
(
X 0 interior a A , y un versor v = cos j . e j de Rn
j=1
r
F1 ( X )
r

r
r r
F
(
X
)
2
tiene derivadas parciales continuas en X 0 ,
Supongamos adems que F ( X )=
M
r

Fm ( X )
n F
r
r
r
i
entonces i { 1,2,....,m} , Fi ( X 0 ; v( ) = Fi ( X 0 ) . v( =
. cos j .

x
j=1
Xr
j

r
r
r
F1 '( X 0 ; v( ) F1 ( X 0 ). v(
r ( r
r (

r r (
F
'(
X
;
v
)

F
(
X
0
= 2 0 ). v
Luego: F '( X 0 ; v ) = 2

M
M
r ( r
r (

F ' m ( X 0 ; v ) Fm ( X 0 ). v

r r (
F '( X 0 ; v ) =

F1

x1 Xr

F2

x1 Xr
M

Fm

x1 Xr

F1
x 2 Xr

L
0

F2
x 2 Xr
M

Fm
x 2 Xr

F1

x n Xr

0
cos 1
F2
L
r r
cos 2
x n Xr .
= D[ F ( X 0 ) ] . v(

M
cos
Fm
L
x n Xr
0
M

r
r
Luego , si F tiene derivadas continuas en X 0 se cumple que:

r r (
r r
(
F '( X0 ; v) = D[F( X0 )]. v

42

Derivadas sucesivas o iteradas.

De funciones vectoriales

r
r
La derivada de f : A R m con A R / f ( t ) = (f1 ( t ); f 2 ( t );L;f m ( t )) se obtiene
derivando cada una de las componentes que son funciones escalares.

Por lo tanto si las f i con i {1,2,...m} tienen derivadas n-simas, podremos definir la

derivada n-sima de f mediante: f

(n )

(n )
( t ) = f1( n ) ( t ); f 2( n ) ( t );....f m
(t)

De campos escalares.

Sea F:AR con A Rn . Las derivadas parciales de F estn definidas para todo punto
de B A Rn . Por lo tanto, para cada una de ellas podr analizarse la existencia de
sus derivadas parciales que, si existen, sern las derivadas segundas de F. As
sucesivamente, podrn definirse las derivadas n- simas de F.
Un campo escalar de n variables puede tener n derivadas primeras y en consecuencia n2
derivadas segundas, n3 derivadas terceras,....., nk derivadas k-simas. Bajo ciertas
condiciones, algunas de las derivadas iteradas son iguales.
Sea F:R2R/ F(x;y)= x2y + 3xy, podemos calcular
Fy(x;y)=x2 + 3x

Fx(x;y)= 2xy + 3y

Cada una de estas funciones puede ser derivada respecto de cada una de sus variables,
permitindonos obtener cuatro derivadas segundas:

F' x 2 F
=
= F" xx = 2y
x
x 2

F' y

F' x
2F
=
= F"xy = 2 x + 3
y
yx

F' y

2F
= F" yx = 2 x + 3
xy

2F
y 2

= F" yy = 0

Las recuadradas son las que llamaremos derivadas cruzadas. Como vemos en este
ejemplo resultan iguales.
Analicemos esas derivadas en (0;0) para el campo F:R2R/
3yx 2 2 xy 2
si ( x; y) (0;0)

F(x;y)=
x+y

si ( x; y) = (0;0)
0

Debemos calcular las derivadas primeras. Si lo hacemos por frmula para (x;y)(0;0) y
por definicin en el origen obtenemos:

43

3yx + 6 xy 2 y
si ( x; y) (0;0)

Fx(x;y)=
( x + y) 2

si ( x; y) = (0;0)
0
2

3x 3 4 x 2 y 2 xy 2
si ( x; y) (0;0)

Fy(x;y)=
( x + y) 2

si (x; y ) = (0;0)
0
Entonces
F' x (0; k ) F' x (0;0)

k
k 0

F" xy (0;0) = lm

3k.0 2 + 6.0.k 2 2k 3
F" xy (0;0) = lm

k 0

(0 + k ) 2
k

0
= lm

k 0

2k 3
k3

= 2

Del mismo modo:

F' y (h;0) F' y (0;0)
F" yx (0;0) = lm

h
h 0

3h 3 4.h 2 .0 2h.0 2
F" yx (0;0) = lm

h 0

(h + 0) 2
h

0
= lm

h 0

3h 3
h3

=3

En este ejemplo, como vemos las derivadas cruzadas en (0;0) son distintas.

Teorema de Schwarz

Consideremos un campo escalar de dos variables

F : AR con A R2 /
r
existan Fx , Fy y Fxy en un entorno de X 0 = ( x 0 ; y 0 ) punto interior de A.
r
r
r
Entonces, si Fxy es continua en X 0 , existe Fyx y se cumple que Fyx( X 0 )=Fxy( X 0 ).
(En el ejemplo falla la continuidad de las derivadas primeras

La propiedad subsiste para cualquier nmero de variables, ya que en la derivacin

respecto de dos de ellas se mantienen constantes las dems. Si se cumplen las hiptesis
del T. de Schwarz , de las n2 derivadas segundas que tiene un campo escalar de n
variables , slo

n(n + 1)
son distintas.
2

44

Pueden enunciarse condiciones similares para las derivadas sucesivas de orden

superior. Si tales condiciones se cumplen , el nmero de derivadas k-simas distintas ser
el de
combinaciones con repeticin de n elementos tomados de a k., es decir el nmero
n + k 1
combinatorio

k
Por ejemplo, un campo escalar de 3 variables ( n = 3 ), tiene 15 derivadas parciales
distintas de cuarto orden (k= 4).

De campos vectoriales

Debe considerarse que las derivadas de campos vectoriales surgen de derivar cada
componente y las componentes de un campo vectorial son campos escalares.

45

DIFERENCIABILIDAD
Para refrescar conocimientos previos...
1. Qu es una transformacin lineal?
Dados dos espacios vectoriales U y V no vacos, una funcin T:U V es una transformacin lineal (T.L)si y slo si se cumple:

x U, y U : T ( x + y ) = T ( x ) + T ( y )

R , x U : T (. x ) = .T ( x )

Algunos ejemplos para tener en cuenta:

Las T.L definidas de R en R son del tipo T(x)= k.x . Es decir , el grfico de una T.L
de R en R es una recta que pasa por el origen.
Las T.L definidas de R2 en R son del tipo: T(x;y)= ax+by .Es decir , el grfico de
una T.L de R2 en R es un plano que pasa por el origen.
En general, las T.L definidas de Rn en R son polinomios del tipo :
n

T ( x1 ; x 2 ;...; x n ) = a i .x i (*)
n

i =1

Por ser polinmicas, las T.L definidas de R en R, son funciones continuas.

2. Cmo se define una transformacin lineal?

Para definir una transformacin lineal alcanza con conocer las imgenes de los vectores de una base del dominio. Como nosotros trabajaremos siempre con la base cav

nnica, resulta que en (*): T( e i ) = a i

Cada T.L tiene una matriz asociada respecto de las bases consideradas en el dominio
y el recorrido.
Si el dominio es de dimensin n y el recorrido de dimensin m, la matriz asociada es
mxn.
Si en ambos se toma la base cannica, los vectores columna de la matriz asociada a
la T.L. son las imgenes de los vectores de la base cannica del dominio.
Por ejemplo: Si T: R 2 R 3 es la T. L definida por T(x;y)=(2x;3y;x-y), resulta
T(1;0)=(2;0;1) y T(0;1)=(0;3;-1), entonces la matriz asociada a la T.L es
2 0

: M = 0 3 .
1 1

e i = (0,...,0,1,0,...0) (El 1 ocupa el lugar i)

46

Diferenciabilidad: Introduccin

Para funciones escalares el concepto de derivabilidad en un punto (existencia del lmite

finito para el cociente incremental) es lo suficientemente fuerte como para asegurar la
continuidad de la funcin en ese punto y la existencia de la recta tangente al grfico
asociado a dicha funcin.
Sin embargo, ya vimos que para campos escalares la existencia de derivadas parciales no

permite asegurar la continuidad. Podemos mostrar con un ejemplo que tampoco permite
asegurar la existencia de plano tangente.
Sea F : R2R / F(x;y) = x 1/3 y1/3.
Por definicin pueden calcularse las dos derivadas parciales en (0;0):

F(h;0) F(0;0)
h
h 0

Fx (0;0) = lm

Fx(0;0) = lm
h 0

F(0; k ) F(0;0)

k
k 0

Fy (0;0) = lm

Fy (0;0) = lm

k 0

h 1/3 .01/3 0
=0
h
h 1/3 .01/3 0
=0
h

Es decir, en (0;0) existen las dos derivadas parciales y son iguales a 0. Segn la interpretacin geomtrica de la derivada parcial, esto significa que al cortar la superficie representativa de la funcin con los planos y=0 x = 0 , se obtienen curvas tales que sus
rectas tangentes en (0;0;0) son el eje x y el eje y respectivamente.
Si el plano tangente a la superficie en (0;0;0) existe, debe contener a estas dos rectas y
por lo tanto el plano tangente debera ser el plano xy.
Observemos la representacin grfica de esta funcin con z 0.

y
x

47

Es evidente que en (0;0;0) no existe plano tangente aunque existan las derivadas parciales.
Para funciones escalares : diferenciabilidad derivabilidad, pero la derivabilidad
asegura continuidad y existencia de recta tangente. Acabamos de mostrar que la existencia de derivadas parciales no tiene el mismo significado y podramos mostrar ejemplos en que la existencia de derivada en cualquier direccin t sentido tampoco permita
asegurarlo.
Trataremos de generalizar la definicin de funcin diferenciable, para construir un concepto equivalente a la derivabilidad en funciones de una variable

Diferencial de una funcin escalar en un punto

Consideremos una funcin f derivable en x0; esto significa que existe y es finito el lmite del cociente incremental.

f (x) f (x 0 )
f (x ) f (x 0 )
= f ' (x 0 )
= f ' ( x 0 ) + ( x ), con lm ( x ) = 0
x x0
x x0
xx0
x x 0
lm

Si una funcin tiene lmite finito para xx0 , entonces puede

escribirse como la suma de su lmite ms un infinitsimo para
xx0

Resulta:
f ( x ) f ( x 0 ) = f ' ( x 0 ).( x x 0 ) + ( x ).( x x 0 ), con lm ( x ) = 0 , o bien:
y

x x 0

f ( x ) = f ( x 0 ) + f ' ( x 0 ).( x x 0 ) + ( x ).( x x 0 ), con

lm ( x ) = 0 (**)

x x 0

Definicin:
Dada una funcin f derivable en xo, punto interior de su dominio, se llama diferencial
de f en el punto x0 con respecto al incremento x al producto de la derivada de f en x0
por.
En smbolos:
df(x0; x )= f (x0). x

48

Interpretacin geomtrica:

df ( x 0 ; x ) = f ' ( x 0 ).x

df ( x 0 ; x ) = tg .x =

P
f(x0 + x )

P0
f(x0 )

y
R

x0

df(x0; x)

RQ
x

x = RQ

df(x0; x) representa la variacin de ordenada

de la recta tangente a la curva en P0(x0; f(x0)),
al pasar de x0 a x0 +x. Es una aproximacin
lineal de la variacin de la funcin.

x0 + x

Teniendo en cuenta (**), podemos decir que f es diferenciable en x0 si y slo si en un

entorno de xo se verifica que:
f ( x ) f ( x 0 ) = f ' ( x 0 ).( x x 0 ) + ( x ).( x x 0 ), con lm ( x ) = 0
xx0

Para generalizar esta definicin a campos escalares, analicemos qu representa el primer

trmino del segundo miembro. Como f (xo) es una constante, podemos decir que la
diferencial de f en xo es una transformacin lineal de R en R en la que la variable es
x= x-xo
Resulta entonces que:
f es diferenciable en x0 si y slo si existe una transformacin lineal T:R R tal que:
f ( x ) f ( x 0 ) = T( x x 0 ) + ( x ).( x x 0 ), con

lm ( x ) = 0

xx0

Esta es la expresin que generalizaremos para definir diferenciabilidad de campos escalares y/o vectoriales.

Campos escalares diferenciables

r
Sea F: A R , con A Rn y sea x0 punto interior de A.
r
Decimos que es F diferenciable en x0 si y slo si existe una transformacin lineal
T:RnR tal que :
r
r
r r
r r
r r
r r
F( x) F( x 0 ) = T(x x 0 ) + ( x x 0 ). x x 0 con lm ( x x 0 ) = 0
r r
xx

49

Propiedades de los campos escalares diferenciables.

r
Sea F: A R, con A Rn diferenciable en x0 , punto interior del abierto A
Continuidad
r
r
r
r
Si F es diferenciable en x0 entonces es continua en x0 .Debe probarse que lm F( x ) = F( x 0 )
r r
xx

En efecto:
F diferenciable en xo T:Rn R / T es transformacin lineal y:
r
r
r r
r r
r r
r r
F( x) F( x 0 ) = T(x x 0 ) + ( x x 0 ). x x 0 con lm ( x x 0 ) = 0
r r
xx

r
r
r r
r r r r
* lm [F( x ) F( x 0 )] = lm [T ( x x 0 ) + ( x x 0 ). x x 0 ] =
r
r
r r
xx 0
x x
0

= lm T ( x x o ) + lm ( x x o ). x x o

x xo

x xo

Como las transformaciones linealesde Rn en R son funciones continuas, por ser polinmicas entonces
r
r r
T ( x x 0 ) =T( 0 )=0 (por prop. de las T.L.)
lm
r r

xx

Reemplazando en (* ) se tiene : lm
r r
xx

r
Por lo tanto F continua en x0

(F(xr ) F( xr 0 ) ) = O rlmr
xx

r
r
F( x ) = F( x 0 )

Derivabilidad
Existencia de las derivadas parciales

r
r
Si F: A R con A Rn es diferenciable en x0 entonces tienen derivadas parciales en x0 y la matriz asociada a la transformacin lineal es la matriz jacobiana en dicho punto

Demostracin:
r
F diferenciable en x0 T:Rn R / T es transformacin lineal y:
r
r
r r
r r
r r
r r
F( x) F( x 0 ) = T(x x 0 ) + ( x x 0 ). x x 0 con lm ( x x 0 ) = 0 (1)
r r
xx

Si M es la matriz asociada a T, debe ser 1xn, o sea : M=(a11 a12.....a1n)

50

Para hallar los elementos de esa matriz debemos calcular la imagen de los vectores de una base.
Tomaremos la cannica.

Sea e k el k-simo versor de la base cannica de Rn , T( e k )= a1k (k{1,2,...,n})

F
Probaremos que a1 k =

x k
x
o

r
r
F
F( x 0 + h. e( k ) F( x 0 )
=
x k xr lm
h
h 0

(*)

r r
r r
r r
(
(
(
Si hacemos : x = x 0 + h. e k , se tiene: x x 0 = h. e k , y x x 0 = h. e k = | h|.1

resulta, en (1):
r
r
(
(
(
F( x 0 + h. e k ) F( x 0 ) = T(h. e k ) + ( h. e k ).| h| con lm (h.e( k ) = 0
h 0

r
r
Si x x 0 ,se tiene que h 0 . Reemplazamos en (*)
F
xk

r
r
(
(

F( x 0 + h e k ) F( x 0 )
T( h. e k )
( | h|
= lm
+ lm ( h. e k )
r = lm
h
h
h
h0
h 014243
x h 0

infinitsimo x f. acotada

(
(
Por definicin de transformacin lineal: T(h. e k ) = h. T(e k ) =h.a1k
Por lo tanto:

h. a 1k
F
F
= lm
+ 0 = a 1k

= a 1k con k { 1,2,....,n}
x k xr
x k
h 0 h
xo
0

r
Entonces F tiene derivadas parciales en x0 y la matriz asociada a la transformacin lineal es :

F
M=

x1 xr

x2 r

F
L

x n r
x
0

Existencia de todas las derivadas direccionales

cos 1

r
( cos 2
n
n
Si F :A R con A R es diferenciable en x 0 y v =
es un versor cualquiera de R ,
M

cos n
r (
entonces existe F( x 0 ; v ).

51

En efecto, por definicin de derivada direccional:

r
r
r (
F( x 0 + t v( ) F( x 0 )
F( x 0 ; v )= lm
(*) .
t
t 0
r
Como F es diferenciable en x 0 , resulta:
r
r
r r
r r
r r
r r
F( x) F( x 0 ) = T(x x 0 ) + ( x x 0 ). x x 0 con lm ( x x 0 ) = 0
r r
x x

r r
r r
r
r
Si hacemos x = x 0 + t.v( (o bien : x x 0 = t.v( ), se tiene que cuando x x 0 resulta
t 0, y por lo tanto:
r
r
F( x 0 + t.v( ) F( x 0 ) = T( t.v( ) + ( t.v( ). t.v( con lm ( t.v( ) = 0
t 0

Teniendo en cuenta que t.v( =| t | . v( =|t|.1 y que por ser T una transformacin lineal
es: T ( t.v( ) = t.T ( v( ) se tiene:
r
r
(
(
(
F( x 0 + t. v) F( x 0 ) = tT(v) + ( t. v).| t | , con lm ( t.v( ) = 0
t 0

Si reemplazamos en (*), resulta:

r
r
(
(
(
r (
F( x 0 + t v( ) F( x 0 )
|t|
t.T( v) + ( t.v). |t |
t.T( v)
F( x 0 ; v )= lm
= lm
+ ( t.v( )
= lm
t
t
t
t 0 t
t 0
t 0
infinit.x f. acot

cos 1

r (
F
F
F cos 2
(
F( x 0 ; v ) =T( v ) =
L

.
x 2 xr
x n xr M
x 1 xr

0
0
0

cos n
r
Es decir, podemos asegurar que si F es diferenciable en x 0 tiene derivadas direccionales para cual(
quier v versor de Rn y se verifica que:
r (
r r
F( x 0 ; v ) = F( x 0 ).v(

Condicin suficiente para que un campo escalar sea diferenciable

r
Si F :A R con A Rn tiene derivadas parciales continuas en un entorno de x 0 , entonces F es
r
diferenciable en x 0 .
Por el T. del valor medio:
r
r
r
(
( (
(
F( x 0 + t. v) F( x 0 ) = t . F ' ( x 0 + c. v; v) con o< c < t, siendo v = (cos 1 ; cos 2 ; L ; cos n )

52

r
(
Pero si F tiene derivadas parciales continuas en x 0 + c. v , la derivada direccional puede expresarse en funcin de ellas :

n
r r
F

r
( (
( (
F '( x0 + c. v; v) = F( x0 + c. v). v =
.cos k

x k r
(

k =1
x +cv

n
F
r
r
(
F( x 0 + t. v) F( x 0 ) = t .
.cos

x k r
(
k =1
x +cv

0
Si

r
F
F
es continua en x 0 , lm

x k r
c0 x k xr
x
0

x k r

(
x + cv
0

=
0

+ c.v(

(*)

F
por prop. de lmite finito:
x k xr
0

F
(
(
+k ( c. v .) siendo lm k ( c. v )=0
x k r
c 0
x

Reemplazando en (*):

F
r
r
(
(
F( x 0 + t. v) F( x 0 ) = t .
+ k ( c. v)

x k r
k =1
x

0
n

F
r
r
(
F( x 0 + t. v) F( x 0 ) = t .
.cos
x k r
k =1
x

0
n

. cos

n
(
+ ( t. k (c.v).cos
k =1

(
con lm k ( c. v )=0

c 0

Multiplicamos y dividimos cada trmino de la segunda sumatoria por | t |

n
n F

t
r
r
(
(
F( x 0 + t. v) F( x 0 ) = t .
. cos k + (| t| . k (c.v). cos k )
|t |
k =1
k =1 x k xr
0

n
n
t
F

(
= t.
.cos k + | t | . ( k (c.v).cos k )

x k r

k =1
k =1 | t|
x

0
(
( c .v .)

siendo lm

(c, v( ) cos k = 0 por ser prod. de infinitsimo x f. acotadas

k

c 0 |t |

53

n F
r
r
(
F( x 0 + t.v) F( x 0 ) =.
.t cos k
k =1 x k xr
0

(
+|t|. ( c .v .)

(
con lm ( c. v .)=0 (suma de un nm finito de infinitsimos.)
c 0

r r
Pero el primer trmino del segundo miembro puede escribirse como F( x 0 ).tv( que es la expresin
v

de una T.L de Rn en R aplicada a t. v .

Por lo tanto, se puede asegurar que existe una T.L definida de Rn en R tal que:
v
v
(
(
r
r
F( x 0 + t.v( ) F( x 0 ) = T( t. v ) + | t | . v . ( c. v .) , con lm ( c. v .)=0
c 0

r
F es diferenciable en x 0 (por definicin)

NOTA: Las propiedades demostradas para campos escalares son vlidas para campos vectoriales

Diferencial total de un campo escalar: Definicin:

r
Consideremos F :AR con A Rn y x 0 punto interior del abierto A , si F es diferenciable en
r
x 0 , se cumple que existe una transformacin lineal T:RnR tal que:

F( x ) F( x o ) = T( x x o ) + x x o .( x x o ) , con

lm ( x x o ) = 0

xxo

r
siendo la matriz asociada a T, la matriz jacobiana de F en el punto x 0 .

Definicin:

r
r r
Se llama diferencial total de F en x 0 a la transformacin lineal T( x x 0 ) .
r r
d F xr 0 = T( x x 0 )

Es decir:
o sea:
d

r
Fx =
0

n
r
r
F 'x ( X0 ) xi xi 0 = F 'x ( X 0 ) dxi
i =1

i =1

54

Interpretacin geomtrica de la diferencial. Ecuacin del plano tangente a una superficie

r
Consideremos F:AR con A R2 diferenciable en P0 . Entonces se cumple que:
F(x0 + h; y0+k) = F(x0;y0) + Fx (x0;y0) h + Fy (x0;y0). k + (h;k). h 2 + k 2 , siendo

lm

( h; k ) = 0

( h; k ) ( 0;0)

F(x0;y0) + dF(x0;y0)

Como la diferencia entre F(x0 + h; y0+k) y F(x0;y0) + dF(x0;y0) es un infinitsimo para

(h;k)(0;0), se puede considerar que la segunda expresin es una buena aproximacin lineal de
F(x0 + h; y0+k).
Probaremos que, efectivamente, esta aproximacin
lineal da la ecuacin del plano tangente a la sur
perficie definida por z= z=F(x;y) en P0 =(x0;y0; F(x0;y0) )

r
Se llama plano tangente a la superficie en P0 al lugar geomtrico de las rectas tangentes a todas
las curvas a las que pertenece dicho punto y estn sobre las superficie.
Hallaremos, en primer lugar, la ecuacin del plano determinado por dos de esas rectas.
Consideremos la curva C1 determinada por
r la interseccin de la superficie con el plano x = a. Llamaremos t1 a la recta tangente a C1 en P0 . Un vector paralelo a t1 es:
( (
(
r
v1 = 0 i + 1 j + F' y ( xo ; y o ) k
z

t2

r
v1

t1

C2

Fy (x0;y0)

r
v2
Fx (x0;y0)

C1
1

b
y

a
x

Si C2 es la curva interseccin entre la

superficie y el plano y = b, y t2 es la recta tangente a C2 en P0 , un vector paralelo a t2 es
(
(
(
r
v 2 = 1. i + 0. j + F ' x (a; b) k

r
r
La ecuacin del plano que pasa por Po y es paralelo a los vectores v1 y v 2

es:

x x0

y y0

0
1

1
0

z F( x 0 ; y 0 )
F' y ( x 0 ; y 0 ) = 0, es decir:Fx(xo;y0).(x-x0) + Fy(x0;yo)(y - y0)-[z - F(x0;y0)] =0
F' x ( x 0 ; y 0 )

Probaremos, adems que cualquier otra recta tangente en Po a una curva sobre la superficie, est
incluida en ese plano.

55

Sea C3 la curva interseccin de la superficie con un plano que pasa por Po ,es perpendicular al plano (x,y) , tal que la traza sobre dicho plano forma un ngulo con el semieje positivo de las x. Si
t3 es la tangente a dicha curva en Po , un vector paralelo a t3 es:
(
(
(
r
v 3 = cos i + sen j + F' u( ( x 0 ; y 0 ) k
1442
( 443
u
t3

v3
y
x

c3
x

(
u

Para probar que t3 est incluida en el plano determinado por t1 y t2, debemos probar que el producto
r r
r
mixto entre v1 , v 2 y v 3 es cero.
En efecto:
0

F' y ( x 0 ; y 0 )

1
0
F' x ( x 0 ; y 0 ) = F' x ( x 0 ; y 0 ).cos + F' y ( x 0 ; y 0 ).sen F' u( ( x 0 ; y 0 ) =0
cos sen F' u( ( x 0 ; y 0 )
pues si F(x;y) es diferenciable en (x0;y0), los dos primeros trminos permiten calcular la derivada
direccional de F en (x0;y0), con respecto a la direccin que forma un ngulo con el semieje positivo de las x, por lo tanto : Fx(x0;y0) cos + Fy(x0;y0) sen - F u( (x0;y0)= 0 , con lo que queda probado que las rectas tangentes en Po, a las curvas que estn sobre la superficie son coplanares.
En sntesis, resulta:
Ecuacin del plano tangente a la superficie definida por z= F(x;y) , en
(x0;y0;F(x0;y0)):

z - F(x0;y0) = Fx(x0;y0) (x - x0) + Fy(x0;y0). (y - y0)

Ecuacin de la recta normal a la superficie definida por z= F(x;y)), en
(x0;y0;F(x0;y0)):
x x0
y y0
z F(x 0 ; y 0 )
=
=
F' x (x 0 ; y 0 ) F' y (x 0 ; y 0 )
1

Por otra parte, observemos que el segundo miembro en la ecuacin del plano tangente es igual a la
diferencial del campo.
Esto significa que la diferencial de la funcin en (x0;y0) representa la variacin que experimenta
la z del plano tangente a la superficie representativa de z = F(x;y) en (x0;y0;F(x0;y0)) cuando se
pasa de (x0;y0) a otro punto (x;y).

56

Diferenciabilidad de un campo vectorial

r
r
Sea F : A Rm , con A Rn y sea x0 punto interior de A.

r
r
r
Decimos que es F diferenciable en x0 si y slo si existe una transformacin lineal T :RnRm tal
que :

F ( x ) F ( x o ) = T( x x o ) + x x o .( x x o ) con lm ( x x o ) = 0

x xo

Propiedades
r
r
Consideremos F :ARm con A Rn y x 0 punto interior del abierto A, entonces:

r
r
a)Si Fr es diferenciable en x 0 , se cumple:
r
a.1.- Fr es continua en x 0
r
a.2.- Fr tiene derivadas parciales en x 0
r
a.3.- F tiene derivadas direccionales en x 0 , para cualquier versor de Rn.
r
r r
b) Si F tiene derivadas parciales continuas en un entorno de x 0 , F es diferenciable en
r
x0 .

57

DERIVACIN DE FUNCIONES COMPUESTAS

Composicin de funciones
Si consideramos funciones escalares, funciones vectoriales, campos escalares y campos vectoriales, no siempre es posible hacer la composicin.
Veamos algunos ejemplos:
a) La composicin de dos funciones escalares, si es posible , da por resultado una funcin escalar.
b) No es posible componer dos campos escalares, ni dos funciones vectoriales .
c) En algunos casos es posible
lar composicin de dosr campos
es
r 2 obtener
r 3 vectoriales
r r y el2resultado
3
3
2
3
2
otro campo vectorial. Si F: R R y G : R R , resulta : F o G : R R y G o F : R R
r
r
d) Si f: RR y g : RR2 , puede obtenerse g of: RR2
(El resultado
vectorial)
r 2 es3 una funcin
r r
r
e) Si F: R R y g : RR2, puede obtenerse F o g : RR3, que es una funcin vectorial.
(Pensar ms combinaciones posibles.)

Derivacin de funciones compuestas

Para funciones escalares

Si resulta de componer una funcin vectorial con un campo escalar de dos variables.
Consideremos un campo escalar de dos variables F: R2R / z = F(x;y) diferenciable en ( xo; yo) ,
r
r
y una funcin vectorial g :BR2, con B R/ g (t) = ( x(t) ; y(t)) siendo x(t) e y(t) derivables en
r
to , y adems ( xo; yo) =( x(to); y(to)) = g (t0)
r
Entonces, si existe Fo g , resulta derivable en to y se cumple que:

r
r
d ( F0g)
F
F
r
=
=
F
( x0 ; y 0 ) . g '( t 0 )
.
x
'(
t
)
+
.
y
'(
t
)

0
0

dt t
x y
y y
0
( x0; 0 )
( x0; 0 )
Demostracin :
Como F es diferenciable en ( xo; yo), se cumple que:
F ( xo + h; yo + k) - F ( xo; yo)= h . Fx ( xo; yo) + k. Fy ( xo; yo) + (h;k). h 2 + k 2
con
lm (h;k )=0
(h; k) (0;0)

Como h = x

y k =y, y z = F ( xo + h; yo + k) - F ( xo; yo) ; se tiene:

2 x + 2 y
z x
y
=
F' x ( x o ; y 0)+ .F' y ( x o ; y 0) + (h;k).
t
t t
t
con
lm

(h;k) (0;0)

(h;k )=0

Tomamos en ambos miembros lmite para t0.

Como por hiptesis x(t) e y(t) son derivables en to, los cocientes x /t y y/t tienden a las derivadas de x(t) e y(t) en to.

58

Resulta :
z
lm t = x(t0). Fx ( xo; yo) + y(t0). Fy ( xo; yo) + lm (h; k ). x ' ( t o ) + y' ( t o )
t 0
ta 0
0
pues como x(t) e y(t) son continuas, por ser
derivables, resulta h=x0 y k=y0

Pero el primer miembro, por definicin es la derivada de z con respecto a t en t0, de donde:

r
d ( F0g)
dt

=
t0

F
F
. x'( t 0 ) +
. y' ( t 0 )

x y
y y
( x0; 0)
( x0; 0)

Si resulta de componer una funcin vectorial con un campo escalar de n variables

r
Consideremos un campo escalar F:AR con A Rn , diferenciable en X 0 , y una funcin vector
r
rial g :BRn, con Br R/ g (t) = ( x1(t) ; x2(t);....xn(t)) siendo x i (t) derivables
r en rto para i
r
r
r
{1,2,..,n} , y adems X 0 = g (t 0) Entonces se cumple que F o g ] ' ( t 0 ) = F( X 0 ) o g ' ( t 0 ) .

Para campos escalares

(Resultado de componer un campo vectorial con un campo escalar)

r
r
Consideremos un campo escalar F: Rn R , diferenciable en P0 , y un campo vectorial G : Rm
r r
r
r
Rn diferenciable en X 0 = ( x 10 ; x 20 ; L ; x m 0 ) , siendo G ( X 0 )= P0 .
r
r r
r
( F o G )
r
Entonces existe
= F( P0 ) . G ' x ( x 0 ) , o bien
xk r
k
x

G1

x1 xr
0

G2
r
r r
r r

( F o G ) ( X 0 ) = F( P0 ). x1 xr

M
Gn

x1 xr

G1

x2 r

G1

x m r
x
0

G2

L

x m r
x
0

M
M

Gn
M

x m r
x
0
L

G2

x2 r
x
M

Gn

x2 r

r
r r
r r
( F o G ) ( x 0 ) = F( P0 ). D[ G ( xr 0 )]
1424
3 14243
nxm
1xn

,es decir:

59

Para campos vectoriales

(Resultado de componer un campo vectorial con un campo vectorial)

r
r r
r
r
r
Consideremos un campo vectorial F: : Rn Rp ,/ F( P) = ( F1 ( P); F2 ( P); L; Fp ( P))
r
r
r r
r
r
r
diferenciable en P0 , y un campo vectorial G : Rm Rn / G ( x) = (G1 ( x); G 2 ( x); L; G n ( x)) difer
r
r
r
renciable en x 0 = ( x 10 ; x 20 ;L ; x m 0 ), siendo G ( x 0 ) = P0 .

r r
r r
r r r
Entonces: D[ F o G ] ( x 0 ) = D[ F]( P0 ). D[G ]( P0 )
px m

pxn

nxm

Derivar usando una red orientada de variables

Esta red puede armarse para cualquier composicin de funciones que pueda hacerse y facilita la visualizacin de la vinculacin que existe entre las variables.
Por ejemplo:
Sean:
r
r
F : R2 R3 / F (u;v) = ( u . sen v; u cosv; u)
Podemos obtener

r
r
y G : R2 R2 / G (x;y)= (x2-y2;y.sen x)

r r r
H = F o G : R2 R3
2

En ese caso es : u = x -y
v = y. sen x

Entonces:

r
H

Para obtener la matriz derivada

r asociada a la composicin debemos derivar en el orden que indica la
red , cada componente de F respecto de x y respecto de y, pasando por u y v.

r
H ( x; y) = ( H1 ( x; y); H 2 ( x; y); H 3 ( x; y))
H i Fi u Fi v
=

x
u x v x

H i Fi u Fi v
=

y
u y v y

Entonces:
H1
H1
= sen v. 2 x + u.cos v. y cos x ;
= sen v.( 2 y) + u.cos v. sen x
x
y
H2
H2
= cos v. 2 x + u.( sen v). y cos x ;
= cos v.( 2 y) + u.( sen v). sen x
x
y
H3
H3
= 1.2 x + 0. y cos x
;
= 1.(2 y) + 0. sen x
x
x
2 x.sen v + u. y.cos v.cos x 2 y sen v + u.cos v.sen x
r

Por lo tanto: D[ H ( x; y) ] = 2 x cos v uy sen v.cos x 2 y cos v u.sen v.sen x

2x
2 y

60

60

DERIVACIN DE FUNCIONES DEFINIDAS IMPLCITAMENTE POR UNA

ECUACIN
Introduccin

En Anlisis I , se trabaj con funciones escalares definidas implcitamente, sin analizar las
condiciones que deben cumplirse para su existencia.:
F(x;y)=0 define implcitamente a y como funcin de x (es decir: y = f(x)) en un entorno de x=a,
si y slo si :x E(a) : F(x;f(x))=0.
Pero no cualquier F(x;y) =0 define una y = f(x).
Por ejemplo : x2 + y 2 = - 1 no define ninguna funcin de A R con A R
Tambin se vio como obtener f (x) sin pasar a la forma explcita de f(x).
Ejemplo: Obtener y (x) si y(x) est definida implcitamente por :x2 y + y2 x - 2x = 0
Primer procedimiento: Usando diferenciales
d(x2 y) + d(y2 x) - d( 2x) = 0 2xy dy + x2 dy + 2yx dy + y2 dx -2x =0
( x2 + 2 y x ) dy = (-2 xy - y2 +2)dx

dy 2 2 xy y 2
=
dx
x 2 + 2 yx

Segundo procedimiento: Derivando como funcin compuesta

2 2 xy y 2
2.x.y + x y + 2 y.y x + y -2 = 0 y (x + 2 y.x) = - 2 x y - y + 2 y ' =
x 2 + 2 yx
2

El problema que nos plantearemos ahora es:

r
r
Dada la ecuacin F ( X ) = 0 con X Rn con n 2
a) En qu condiciones esta expresin de n variables define en un cierto conjunto, en forma
implcita, a una de las variables en funcin de las (n-1) restantes?
b) Cmo calcular las derivadas de las funcin definida implcitamente sin necesidad de obtenerla,
es decir a partir de las derivadas de F?

Teorema de Cauchy- Dini para la existencia, continuidad y derivabilidad de la funcin

definida implcitamente por una ecuacin.

r
r
r
Consideremos F ( X ) = 0 con X Rn con n 2, siendo X =( x1;x2;....;xn)
Si se cumple que:
r
r
a) X 0 = ( x10 ; x 02 ; L ; x 0n ) Rn / F ( X 0 ) = 0
r
b) F es continua en un entorno de X 0
r
F
c) y son continuas en un E(X o ), las
con i { 1,2,..., n}
xi
F
d)
0
xn r
X
0

61

Entonces:
r
r
i) Existe un entorno U( X 0 ' ) Rn-1 con X 0 ' = ( x10 ; x 02 ;...; x 0n 1 ) Rn-1; existe un entorno
r
V(x 0n ) R y existe una nica funcin : U( X 0 ' ) V(x n) tal que:

r
( X 0 ' ) = x n0

r
r
y F( x10 ; x 02 ;...; x 0n 1; ( X 0 ' ))=0 , ( x1;x2;....;xn -1 ) U( X 0 ' )

r

ii) es continua y tiene derivadas parciales en X 0 ' , siendo
x i r

X '
0

xn
x i r

X '
0

r
F 'x ( X0 )
i r
=
F 'x ( X0 )
n

Supondremos vlida la existencia y la continuidad y slo demostraremos la derivabilidad

r
Si F es continua con derivadas parciales continuas en un entorno de X 0 , F es diferenciable,
entonces:
r r
r
r
r
r r
r r
F( X ) - F ( X 0 ) = dF( X 0 ) + ( X - X 0 ).|| X - X 0 || con r lmr ( X - X 0 )=0
XX

0
r
Como F( X ) = 0 , el primer miembro es 0 .
Resulta:
r
r
r
r r
r r
F' x ( X 0 ). x1 + F' x ( X0 ). x 2 + L+ F' x ( X0 ). x n + ( X - X 0 ).|| X - X 0 ||=0
1

r
Pero, por hiptesis: F' x ( X0 ) 0 , por lo tanto podemos despejar x n
n

r
r
r
r r
F' x ( X 0 ). x1 + F' x ( X0 ). x 2 + L+ F' x
( X0 ). x n 1
(
X
X0 ) r r
1
2
n1
r || X - X 0 ||
r
xn =
F' x ( X0 )
F 'x ( X0 )
n
r
r n
Al tomar lmite para X X 0., el segundo trmino del segundo miembro
tiende a cero.
r
r
Como el primer trmino es una transformacin lineal T ( X' ) siendo X = (x1;.....;xn-1)
resulta x n diferenciable .Por lo tanto tiene derivadas parciales, que son los coeficientes de la
transformacin lineal.
r
xn
Fi ( X0 )
r
Entonces :
=
xi r
F
(
X
n
0)
X
o

IMPORTANTE : Si se calcula la derivada segunda de una funcin definida implcitamente , no

hay que olvidar que xn sigue siendo funcin de x i y debe derivarse la derivada primera como
funcin compuesta.

Plano tangente y recta normal para la superficie z = (x;y) definida implcitamente por

F(x;y;z) = k

(F(x;y;z) - k =0)

r
SearF : A R con A R3 y P0 =(x0;y0;zo) A /
F( P0 )= k,
r
F es continua
con
derivadas
parciales
continuas
en
un
E(
P
0)
r
F z( P0 ) 0
Entonces F(x;y;z) = k define z = (x;y) , para todo (x;y) perteneciente a un entorno de (x0;y0)

62

Es decir:

F(x ;y;z) = k es una superficie de nivel de F(x;y;z) a la que pertenece (x0;y0;z0)

Consideremos una curva C sobre la superficie de nivel , que pase por (x0;y0;z0).

C
r

est asociada al conjunto imagen de un funcin

r
g( t ) = (g1 ( t ); g 2 ( t ); g 3 ( t )) derivable en un punto t0 / g( t 0 ) = ( x 0 ; y 0 ; z0 ) .

vectorial

r
g:[a , b] R3/

Como C est sobre la superficie definida en un entorno de (x0;y0;z0) por F(x;y;z)= k, resulta

r
r
r
v
v
r
( Fo g )(t0) = k ( Fo g )(t0) = 0 F( x 0 ; y 0 ; z 0 ) g ' ( t 0 )= 0 F( x 0 ; y0 ; z 0 ) g'( t 0 )
r
Es decir , el gradiente de un campo escalar de tres variables en un punto P0 es perpendicular a
r
cualquier curva a la que pertenezca P0 , que est sobre la superficie de nivel que pasa por dicho
r
r r
punto . Por lo tanto, F( P0 ) es perpendicular a la superficie de nivel de F que pasa por P0 .
r
Entonces, la ecuacin del plano tangente a la superficie de nivel de F que pasa por P0 es :
r r
r r
F( P0 ).( P P0 ) = 0

r
r
r
Fx( P0 ). (x - x 0) + Fy( P0 ). (y - y 0) + Fz( P0 ). (z - z 0)=0

x x0
y y0
z z0
r
r
r
y la recta normal tiene por ecuacin : F ' ( P ) = F ' ( P ) = F ' ( P )
x 0
y 0
z 0
(si las tres derivadas son distintas de cero)
Se llega a la misma ecuacin del plano tangente si se parte de la ecuacin del mismo para funciones
definidas explcitamente.
En efecto:si z = F(x;y) est definida implcitamente por G(x;y;z) = 0, y Po(x0;y0;z0),se tiene
F' x ( x 0 ; y 0 ) =

G 'x ( x0 ; y 0 ; z0 )
G ' z ( x 0 ; y0 ; z0 )

F' y ( x 0 ; y 0 ) =

G 'y ( x0 ; y 0 ; z0 )
G ' z ( x 0 ; y0 ; z0 )

Reemplazando en la ecuacin del plano tangente para z=F(x;y) :

F ' x ( x 0 ; y 0 ).( x x 0 ) + F ' y ( x 0 ; y 0 ).( y y 0 ) ( z F( x 0 ; y 0 )) = 0

resulta:

G ' y ( x0 ; y 0 ; z0 )
G ' x ( x 0 ; y 0 ; z0 )
( x x0 )
( y y0 ) ( z z0 ) = 0
G ' z ( x0 ; y 0 ; z0 )
G' z ( x 0 ; y0 ; z0 )

G'x (x0; y0; z0 )(x x0 ) + G' y (x0; y0; z0 )(y y0 ) + G'z (x0; y0; z0 ).(z z0 ) = 0
Ec. del plano tangente a una superficie definida implcitamente

63

En consecuencia, las ecuaciones de la recta normal son:

x x0
y y0
z z0
=
=
G ' x ( x 0 ; y0 ; z 0 ) G ' y ( x0 ; y 0 ; z 0 ) G 'z ( x 0 ; y 0 ; z0 )
Ecs. de la recta normal a una superficie definida implcitamente,
si las tres derivadas son distintas de 0

Derivada segunda de funciones compuestas

Supongamos que z = F(x;y) con

x = x(u;v) Nos interesa obtener zu v

y = y(u;v)

x
u
F
v
y

Resulta que : zu = Fx (x;y) xu (u;v) + Fy (x;y) yu(u;v)

Entonces zu depende de: x, y, u, v.
x

zu v =

z' u
z' u
z' u
. x' v +
y' v +
x
y
v

x,y ,uc,ctes

u
zu
v
y

Derivada segunda de funciones definidas implcitamente

Supongamos que z = F(x;y) est definida implcitamente por G(x;y;z) = 0, entonces

z' x =

G' x
G' z

z' y =

G' y
G' z

Pero tanto zx como zy dependen de x, y , z. Si se plantea calcular zx y, se necesita conocer

primero zx

64

zx y =

zx

z' x
z' x
. z' y +
z
y

G' y
, con z' y =
G' z
x,z,ctes

z
y

Para obtener zxx debern tenerse en cuenta las mismas relaciones entre las variables
x

zx x =
z

zx

z' x
z' x
. z' x +
z
x

, con z' x =
y,z,ctes

G' x
G' z

Con el mismo criterio puede obtenerse zyy .

Diferenciales sucesivos
Si F: A
R con A R2 tiene derivadas parciales continuas hasta el orden n, considerando
h y k constantes, puede obtenerse el diferencial segundo de F.
d F(x;y) = Fx(x;y). h + Fy(x;y). k
d2 F(x;y) = d[ dF(x;y) ] =

[ F' x . h + F' y . k ]
x

h+

[ F' x . h + F' y . k ]
y

.k=

2
2 F( x; y)
2 F( x; y)
F( x; y)
2 F( x; y)
. h +
=
h
+
k
.
h
. k . k =
+
2
2

2 F( x; y)

2 F( x; y)
2 F( x; y) 2
2
.
h
+
2
h
.
k
+
k ( ya que al pedir derivadas continuas se cumplen las
x y
x2
y2

hiptesis del Teorema de Schwarz).

Puede observarse que el segundo miembro tiene la forma del cuadrado de un binomio, entonces se
define un operador.

( 2)

2 F( x; y) 2
2 F( x; y)
2 F( x; y) 2

d F(x;y) =
.h +
. k F( x; y) =
.
h
+
2
h
.
k
+
k
y
x y
x
x2
y2
2

Si se calcula d[d2 F(x;y)]= d3 F(x;y) , se obtiene:

65

F( x; y)
3

d3 F(x;y) =

. h3 + 3

F( x; y) 2
F( x; y) 2 F( x; y) 3
h .k + 3
hk +
.k
2
x y
x y 2
y3
3

Utilizando un operador similar al anterior , decimos que:

( 3)


d F(x;y) =
.h +
. k F( x; y)
y
x
3

En general:
( n)
n n n

F( x; y) n i i

d F(x;y) =
.h +
. k F( x; y) =
.h .k
ni
i
y
x
yi
i = 0 x
(1)
n

(1) Recordar que:( a + b) =

n

i a n i bi

i=0

66

FRMULA DE TAYLOR

Para funciones escalares

En Anlisis I, se demostr que si una funcin y = f(x) es derivable hasta el orden (n+1), en un
entorno de un punto a, dicha funcin se puede aproximar, en ese entorno, mediante un
polinomio de grado n, escrito en potencias de (x -a) y se puede acotar el error que se comete
cuando se toma como valor de f(x) con x E(a; ), el valor que toma ese polinomio para la x
considerada
En sntesis, en Anlisis I se prob que si f(x) es derivable hasta el orden (n+1), en un entorno de
un punto a, se cumple que:
f"(a)
f (n) (a)
f(x) = f(a) + f (a).(x - a) +
(x - a )2 +...+
.(x - a )(n) + Tn + 1
2!
n!
Tn+ 1 es el Trmino complementario o resto de Taylor.
Tambin se lo indica con Rn o Tc, y permite acotar el error que se comete cuando se toma como
valor de la funcin , el del polinomio.
Existen distintas expresiones para el Trmino complementario. Una de las ms usuales es la de
Lagrange:
f (n+1) (c).(x - a ) n+1
Tn + 1 =
(n + 1)!
donde c est entre x y a, es decir x < c < a o bien a < c < x
x c
Resulta:

a c

( n+1)
( c)
f i (a)
i f
.(x
a)
+
.( x a ) n +1 , con c entre x y a
i!
(
n
+
1
)!
i=0
n

f(x) =

(Observacin: Se considera que la derivada de orden 0 es la funcin)

Si a = 0, la frmula de Taylor se conoce como frmula de Mac Laurin

f ( i) (0) i
f ( n + 1) (c) ( n + 1)
f ( x) =
.x +
x
, con c entre 0 y x
( n + 1)!
i = 0 i!
n

Para campos escalares de dos variables:

Consideremos un campo escalar F:A R, con A R2 , diferenciable hasta el orden (n+1) en

un entorno de (a;b) que incluya al rectngulo de vrtice opuestos Po (a;b) y P1(a+h;b+k).

67
b+k

P1

P0
x
a

a+h

Interesa encontrar un polinomio de grado n, en potencias de (x-a) e (y -b) , que permita calcular
valores aproximados de la funcin en un entorno de (a;b), por ejemplo en el punto (a+h;b+k).
Llevaremos el problema a una funcin de una variable. Para ello escribimos en forma paramtrica la ecuacin de la recta PoP1
y
:
b+k

P1

Q
b

P0

a+h

Si Q P0 P1 , y Q (x;y) se tiene:

P0 Q
P0 P1

xa yb
=
= t ; de donde: x = a + t h
h
k
y=b +tk

Con t = 0 , se obtiene x = a , y = b que son las coordenadas de Po; con t = 1, se obtienen las de P1
, y para cualquier otro punto del segmento PoP1 debe ser: 0 < t < 1.
Con esta parametrizacin, F(x;y) puede escribirse como funcin de "t":
F(x;y) = F(a + th;b + tk) = (t).
Desarrollaremos por Mac Laurin esta funcin de una variable:
(n) (0) (n)
"(0) 2
(t) = (0) + (0).t +
.t + T n +1
t +...+
2!
n!

(1)

con:

T n +1 =

(n +1) (c).t n +1
, con c entre 0 y t.
(n + 1)!

Ya sabemos que (0) =F(a;b)

Trataremos de expresar las derivadas de (t) para t=0 , en funcin de las derivadas de F. Para
ello, derivamos F como funcin compuesta.

68

x
F

'(t)= F'x (a+th; b+tk).x'(t) + F'y (a+th; b+tk). y'(t)

y
Como x' (t)= h e y' (t) = k , resulta:
'(t)= F'x(a+th; b+tk).h + F'y(a+th; b+tk). k
Para t = 0 se tiene:
'(0)= F'x(a; b).h + F'y (a; b). k = d F(a;b).

Razonando de la misma forma obtenemos: "(t)=

d ' t
dt

x
t

t
y

"t =

( F' x h + F' y k )
x

h+

( F' x h + F' y k )
y

.k

Luego:
"(t)= [ F"xx (a +t h; b + t k).h + F"yx (a+th; b+tk).k].h + [F"xy (a+th; b+tk).h + F"yy (a+th; b+tk).k].k

Por ser F diferenciable hasta el orden (n+1), se cumplen las hiptesis del Teorema de Schwarz,
entonces para t = 0 , resulta
"(0)=F"xx (a;b).h2 + 2 F"xy (a;b).h.k + F"yy (a;b).k2=d 2 F(a;b)
As sucesivamente, puede verse que: (n)(0)= d(n) F(a;b).
Reemplazando en (1)
d 2 F(a; b) 2
d (n) F(a; b) (n)
(t) = F(a; b) + dF(a; b). t +
.t + T n
t +...+
2!
n!
con: Tn+1 =

( n + 1) (c) n + 1 d ( n + 1) F(a + ch; b + ck )

t
=
; con c entre 0 y t
( n + 1)!
( n + 1)!

Como interesa F(a +h;b+ k) que es (1), hacemos t = 1:

F(a + h; b + k ) = F(a; b) + dF(a; b) +

d 2 F(a; b)
d (n) F(a; b)
+...+
+ T n +1
2!
n!

69

con : T n =

d (n+1) F(a; b)
(n +1)!

, con c / 0 < c < 1.

La Frmula de Taylor para campos escalares de dos variables puede escribirse:

F(a + h; b + k) - F(a; b) =

d (n+1) F(a + ch; b + ck)

d ( i) F(a; b)
+
, con 0 < c < 1
i!
(n
+1)!
i=1

Si hacemos x= a + h ; y = b + k , resulta: h = x - a ; k = y - b; al desarrollar los diferenciales, la

Frmula de Taylor permite escribir F(x;y) en potencias de (x-a) e (y- b)

F( x; y) = F(a; b) + [ Fx ' ( a; b).( x a ) + Fy ' ( a; b).( y b)] +

''
'' (a; b).( y b) 2 +...+ T
F ''xx ( a; b).( x a ) 2 + 2 Fxy
( a; b).( x a ).( y b) + Fyy
[
] n +1
2!

Si (a;b) =(0;0), se obtiene la Frmula de Mac Laurin, en la que h= x - 0 = x; k = y -b = y

n

F(x; y) - F(0;0) =

d (n+1) F(cx;cy)
d ( i) F(0;0)
+
, con 0 < c < 1
i!
(n
+1)!
i=1

Recordar:
n n

F

( n)

( dx) n i ( dy) i
F(a;b) =
dx +
dy F(a; b) =

ni
i
i
y
x

i = 0 x
y
( a; b )
n

(n)

70

Extremos de un campo escalar

r
Consideremos F: AR, con A R2 , siendo A abierto y P0 (x0 ;y0) A

Definicin :

r
r
r
r
r
F( P0 ) es un mximo relativo o local de F > 0/ X E[ P0 ,] : F( X )F( P0 )
z

r
F ( P0 )

x
r Definicin :
r
r
r
r
F( P0 ) es un mnimo relativo o local de F > 0/ X E[ P0 ,] : F( X ) F( P0 )
z

r
F ( P0 )

Definicin :

(x0 ;y0 ; F(x0 ;y0 )) es un punto de ensilladura

de
r
z

x
El pl. tg atraviesa la superficie

F en A F es diferenciable en P0 y el plano
tangente atraviesa la superficie representativa de
F.
Es decir:
(x0 ;y0 ; F(x0 ;y0 )) es un punto derensilladura de
F en A F es
en
r
r diferenciable
r P0 r
> 0 : [ rX E[rP0 ,] / F(rX ) F( P0r)
X E[ P0 ,] / F( X ) F( P0 )]

r
r
r
r
Si llamamos F = F(
X
)
F(
P
),
con
X
perteneciente
a
un
entorno
de
P
0
0 resulta:
r
F 0 F( P0 ) mximo relativo (MR)
son extremos relativos o locales
r
F 0 F( P0 ) mnimo relativo (mr)

71

r
r
Si F es diferenciable en P0 y F cambia de signo en cualquier entorno de P0 , entonces
(x0 ;y0 ; F(x0 ;y0 )) es un punto de ensilladura

Condicin necesaria para la existencia de extremos:

r
Consideremos F: AR, con A R2 / z = F( x;y) , siendo A abierto , P0 (x0 ;y0) A un punto en el
que existen las derivadas parciales de F .
r
r
r
Si F( P0 ) es un extremo local de F, entonces :Fx ( P0 ) = Fy ( P0 ) = 0
r
P
Supongamos
que
F(
r 0 ) es un
r
r mnimorlocal, es decir, por definicin :
> 0/ X E[ P0 ,] : F( X ) F( P0 )
Cortemos la superficie representativa de F con el plano x = x 0 . La interseccin es una curva sobre
z = ( y)
ese plano cuya ecuacin es de la forma
x = x0
z
x = x 0
El intervalo ( y 0 - , y 0 +) , sobre la recta
z=0
(y)

r
est incluido en E[ P0 ,], luego :
F(x 0 ;y) F( x ;y), y . ( y 0 - , y 0 +)
Es decir:
(y) (y 0), y ( y 0 - , y 0 +)
Por lo tanto (y 0) es un mnimo relativo de
(y) y debe cumplirse la condicin necesaria
para la existencia de extremos
en funciones esr
calares: (y0) = F y( P0 ) = 0.
De la misma forma, si se corta la superficie
con el plano y = y0 , se obtiene una curva
z = ( x )
de ecuacin
que presenta
y = y0
un mnimo relativo
en (x0) y por lo tanto:
r
(x0) = Fx ( P0 ) = 0

y0 -

yo y0+

x0

r
E( P0 ,)

x
z

(x)

y0
x0 -

xo
x0+

y
r
E( P0 ,)

72

Cuidado!
Las derivadas parciales pueden anularse y no presentarse en ese punto ningn extremo .
(Ej z = x2 - y 2 . En (0;0) no hay extremo, el plano tangente , (que existe pues la funcin es
diferenciable) atraviesa la superficie, F >0 para algunos puntos de un entorno de (0;0) y F >0
, en otros; se trata de un punto de ensilladura) .
Los puntos que cumplen la condicin necesaria se llaman crticos o estacionarios.

Condicin suficiente para la existencia de extremos relativos

Hessiano
Sea F un campo escalar de dos
r variables con derivadas parciales continuas hasta el segundo orden,
llamamos hessiano de F en P0 al determinante:
r
r
r
r
r
r
F" xx ( P0 ) F' xy ( P0 )
r
r = F' xx ( P0 ) . F" yy ( P0 ) F"2xy ( P0 )
H ( P0 ) =
F'" xy ( P0 ) F' yy ( P0 )
Teorema

r
Consideremos F: AR, con A R2 abierto, y un punto P0 A . Si se verifica que:
r
i)F tiener derivadasr parciales hasta el segundo orden continuas en un entorno de P0
ii) Fx ( P0 ) = Fy ( P0 ) = 0
r
r
iii) las derivadas segundas de F en P0 no son simultneamente nulas. (Suponemos Fxx( P0 ) 0)
Entonces:

r
r
r
Si H( P0 ) > 0, entonces F( P0 ) es un extremo relativo y : Fxx ( P0 ) < 0 F(a;b) MR
r
Fxx ( P0 ) > 0 F(a;b) mr.
r
Si H( P0 ) < 0, entonces (x0 ;yo ; F(x0 ;yo) ) es un punto de ensilladura.
r
Si H( P0 ) = 0 , no puede obtenerse por este mtodo ninguna conclusin.
Demostracin:
Como una funcin continua conserva su signo en un entorno del punto en que se verifica
la
r
continuidad, y supusimos
que todas las derivadas segundas
de F son continuas en P0 y por lo tanto
r
r
es continuo H e n P0 trabajaremos en un entorno de P0 en el que H y Fxx conserven su signo.

r
Desarrollamos por Taylor F(x;y) en ese entorno de P0 con Tn+1 de segundo orden.

73

r
r
F(x;y) = F( P0 ) + dF( P0 ) + Tn+1
r
r
r
F(x;y) - F( P0 ) = Fx ( P0 ) . h + Fy ( P0 ) . k + d (2)F(x 0+ ch; y0 + ck) con 0 < c < 1
F
r
Como las derivadas primeras en P0 se anulan por hiptesis, se tiene:
F= [Fxx (x0 + ch; yo+ck) .h2 + 2. Fxy (x0 + ch; y0+ck) . h k + Fyy (x0 + ch; y0+ck)]
con 0 < c < 1

Para simplificar la notacin no indicaremos el punto en el que se considera cada derivada segunda,
entendiendo que dicho punto es (x0+ch;y0+ck) con 0 < c < 1
Luego: F. = [Fxx .h2 + 2. Fxy h k + Fyy k2 ]
o bien : 2. F. = Fxx .h2 + 2. Fxy h k + Fyy k2
Como se supuso Fxx 0, sacamos Fxx como factor comn entre los dos primeros trminos:
F" x y
2. F. = Fxx .[ h2 + 2.
h k ] + Fy y k2
F" x x
F" x y 2
k 2
Completamos cuadrados sumando y restando, dentro del corchete +
F" x x
F" x y 2
F" xy 2 2
F" xy
2
2
2
2
k -
2. F. = Fxx. h + 2 h k
+ k +
. k + F y y k
F" xx
F" xx

F" x x
2

F" xy
F" xy 2 2
2
2. F. = Fxx . h +
k -
. k + F y y k
"
F
F
"
xx

xx
Aplicando prop. distributiva se tiene:

F" xy 2

2. F. = Fxx . h +
k F" xx

( F" xy )

. k 2 + F y y k2
F" xx
Sacando comn denominador entre el segundo y el tercer trmino y ordenando, resulta:
F" x x F" y y F"2x y
F" xy 2

2. F. = Fxx . h +
k2
k +
F" x x
F" xx

pero Fx x Fy y - F2x y = H(a+ch;b+ck) con 0 <c<1

H
Luego:

2. F. = Fxx . h +

2
H
k +
F" x x
F" xx
F" xy

k2

74

r
r
Comorse trabaja en un entorno de P0 en el que H conserva el signo de H( P0 ) y
Fxx ( P0 ) se tiene que analizar los siguientes casos:
r
1.- H( P0 ) > 0
r
F" xy 2

Signo de F. = Signo Fxx ( P0 ) , pues h +

k 0

F" xx

y k2 0 pero las bases

de los dos cuadradosr no pueden ser nulas al mismo tiempo ya que esto significara que no nos
hemos movido de P0 .

r
r
1.1.- Si Fxx ( P0 ) > 0 F > 0 F( P0 ) mnimo relativo
r
r
1.2.- Si Fxx ( P0 ) < 0 F < 0 F( P0 ) mximo relativo
r
2.- H( P0 ) < 0
r
2.1.- Si k = 0, entonces 2 F = Fxx. h2 signo de F. = signo Fxx ( P0 )
2.2.- Si h +

F" x y
F" x x

k = 0, entonces 2F =

r
H
k 2 signo de F. signo Fxx ( P0 )
F" x x

r
Por lo tanto F cambia de signo en un entorno de P0 luego (x0 ;y0 ;F(x0;y0)) es un punto de
ensilladura.

3.- H=0 , se puede ver con ejemplos que pueden presentarse distintas situaciones

75

Extremos locales para campos escalares de tres variables

r
r
Sea F: A R3R con derivadas parciales continuas en un entorno de P0 siendo P0 A.

Condicin necesaria para la existencia de extremos relativos.

r r
r
r
Si F( P0 ) es un extremo relativo o local de F entonces F( Po ) = 0

Condicin suficiente

Se definen los siguientes hessianos:

H 1 = F" xx , H 2 =

F" xx

F" xy

F" xy

F" yy

F" xx

F" xy

F" xz

yH 3 = F" yx

F" yy

F" yz

F" zx

F" zy

F" zz

r
Si P0 es un punto que cumple la condicin necesaria para la existencia de extremos relativos y
r
las derivadas segundas de F no son simultneamente nulas en P0 , entonces si :
r
r
r
r
a) H 1 ( P0 ) > 0 H 2 ( P0 ) > 0 H 3 ( P0 ) > 0 F( P0 ) es mnimo relativo
r
r
r
r
b) H 1 ( P0 ) < 0 H 2 ( P0 ) > 0 H 3 ( P0 ) < 0 F( P0 ) es mximo relativo

76

Mtodo de los multiplicadores de Lagrange

Extremos ligados o condicionados. Introduccin.

Supongamos que se quieren determinar las dimensiones del rectngulo de permetro 24 que
tiene rea mxima.

y
x
Esto significa que se desea maximizar la funcin A(x;y) = x.y entre aquelos pares (x;y) que cumplen con
la condicin : x + y = 12.
Si (x;y) = x + y - 12 , se busca maximizar la funcin A entre aquellos pares (x;y) que cumplen con:
(x;y)=0. La condicin (x;y)=0 se llama restriccin del problema.
Llamamos C al conjunto de nivel de , caracterizado por (x;y)=0, para indicar que se estudia A
restringida a aqullos valores de (x;y) que pertenezcan a C, escribimos A|C (se lee : A restringida a C.)
Al fijar un valor de A, estamos determinando una curva de nivel de A(x;y). Trabajar con A|C , significa
trabajar con las intersecciones entre las curvas de nivel de A y C . Entre esos valores, el extremo de A|C
se producir cuando la curva de nivel de A sea tangente a C.
En el punto de tangencia, los
vectores normales a ambas curvas de
nivel son paralelos.
Como el vector normal a una
curva de nivel est dado por su gradiente,
debe ser: r
r

12

10

A =

Para encontrar el punto en cuestin,

deben buscarse los puntos que cumplan:

10

A ' x ( x; y) = ' x ( x; y)

A ' y ( x; y) = ' y ( x; y)

( x; y) = 0

En este caso, resulta:

y=

x=
x + y = 12

x = y 2 x = 12 x = 6
y = 6 A = 36

El rectngulo de permetro 24 y rea mxima es el cuadrado de lado 6

Mtodo de los multiplicadores de Lagrange.

77

Sean F(x;y) y (x;y) dos campos escalares de dos variables con derivadas parciales continuas,
tales F(x;y) tiene un extremo relativo F(xo;yo) cuando (x;y) est sujeto a la restriccin (x;y) =
0. r
r
r
r
Si (xo;yo) 0 , entonces existe un nmero real k0 tal que: F( x 0 ; y 0 ) = k 0 ( x 0 ; y 0 )
Demostracin:
La representacin grfica de
representacin vectorial

(x;y) = 0

es una curva C en el plano (x,y) que admite una

(
(
r
r(t) = x(t)i + y(t)j

para t perteneciente a algn intervalo I.

r
r (t ) es el vector posicin de un punto P de C. Consideremos el punto Po C en el que F alcanza
su extremo y supongamos que se produce para t = to.
r
r
r
r
r
P0 = ( x( t 0 ; y( t 0 )) = r ( t 0 ) F( P0 ) = F( r ( t 0 )) = ( Fo r ) ( t 0 )
r
Se puede definir una nueva funcin : FC ( t ) = ( Fo r ) ( t 0 ) = F( x( t ); y( t )) en la que al variar "t" se
obtienen valores de F correspondientes a puntos de la curva C. Como F(xo;yo) es un extremo de
F bajo esta restriccin, resulta FC(to) un extremo de FC.
Por la condicin necesaria para la existencia de extremos, resulta: FC(to)= 0 (*)
Derivando FC como una funcin compuesta, resulta:

r r r
F 'C(t)= F( P) r '( t )
r r
r
Para t = to es F'C(to)= F( P0 ) r '( t 0 ) = 0

r r r
( por *) F( P0 ) r '( t 0 )

Esto prueba que F ( Po ) es ortogonal al vector r '( t0 ) que es tangente a C. Es decir, F ( Po )

es perpendicular a la curva de nivel de (x;y) que pasa por (xo;yo)

r r
Adems, por propiedad del vector gradiente, ( P0 ) C por ser la curva de nivel de (x;y) que
r r
r
pasa por (xo;yo), luego ( P0 ) r ' ( t 0 )
.Entonces ambos vectores gradiente son
perpendiculares al mismo vector, por lo tanto son paralelos entre s, es decir:
r r
r r
k0 R/ F( Po ) = k0 ( P0 ) (1)
Consecuencia:
De
r (1)r resulta: r
r
[ F( P0 ) k 0( P0 )] = 0 .
Entonces, si hacemos 0= - k 0 y definimos la funcin de Lagrange: L(x;y;}=F(x;y)+(x;y),
R/
resulta
que parar los puntos crticos del extremo condicionado
existe 0
r
L( x 0 ; y 0 ; 0 ) = 0
(2)
El nmero es un multiplicador de Lagrange.

78

Si F sujeta a la restriccin (x;y) = 0 tiene un extremo en (xo;yo), entonces (xo;yo) debe ser
solucin de (2). por lo tanto para encontrar los extremos se deben encontrar los valores de x e y
que para algn valor de verifican tales ecuaciones.
El mtodo puede utilizarse cuando F est sujeta a ms de una restriccin; en este caso la funcin
de Lagrange es: L( x; y; 1; 2 ) = F( x; y)+ 11 ( x; y) + 2 2 ( x; y)
Condicin suficiente
Para un campo escalar F : A R 2 R , sujeto a la condicin (x;y) = 0.
Sean F(x;y) y (x;y), dos campos escalares continuos con derivadas parciales continuas hasta
el segundo orden .

r
r
v
Sea Po =(x 0 ; y0 ) un punto tal que existe 0 que verifica: ( F + ) ( x 0 ; y 0 ; 0 ) = 0
La funcin de Lagrange es L(x;y; )= F(x;y) +.(x;y).
Se analiza el signo del Hessiano orlado , es decir del determinante:
2 L
x 2
2 L
H 0 ( x; y; ) =
xy
' x

2 L
' x
xy
2 L
' y
2 y
' y
0

en (x 0; y0 ; 0 ).

Si H(x 0; y0 ; 0 ). >0 , entonces F (x 0; y0) es Mximo local de F sujeta a .

Si H(x 0; y0 ; 0 ).< 0 , entonces F (x 0; y0) es mnimo local de F sujeta a .
Si H(x 0; y0 ; 0 ).=0 , entonces el criterio no sirve.

EJEMPLOS:
1) Obtener los extremos de F(x;y)= x 2 + y , sobre la curva x 2 + y 2 =9
Consideramos:
F(x;y) = x 2 + y

(x;y) = x 2 + y 2 , la condicin es (x;y ) = 9

r
r
Debe ser: F = . Fx
Adems:

= . x

Fy
= . y
(x;y ) = 9

79

De (1): x.(1 ) = 0 x = 0 = 1
a ) Si x = 0 , en (3) : | y| = 3
Si y = 3 , en (2) : = 1 6
Si y = 3 , en (2): = 1 6

2 x = 2x (1)

Resulta: 1 = 2y
( 2)
x 2 + y 2 = 9 ( 3)

b)Si =1, en (2) resulta y = 1/2. En (3) se tiene | x | = 35 2

Los puntos crticos obtenidos son: (0;3) con = 1/6 ; (0;-3), con = -1/6 ;
( 35 2 ; 1/2) con = 1 y ( - 35 2 ; 1/2) tambin con = 1
La funcin de Lagrange es: L =x 2 + y ( x 2 + y 2 )
Lx = 2x - 2x , Lxx = 2 - 2 , Lxy = 0
Ly = 1 - 2y , Lyy = -2
2 2
Entonces: H 0 =

0
2x

2x

2 2 y = 8 x2 - 4 y2 (2 -2 )
2y
0

H 0 (0;3;1/6) = - 4/9 .5/3 <0 F(0;3) mnimo relativo condicionado de F

H 0 (0;-3;-1/6) = - 4/9 .7/3 <0 F(0;-3) mnimo relativo condicionado de F
H 0 ( 35 2 ; 1/2; 1) = 70 - 4. 1/4. 0 > 0 F( 35 2 ; 1/2) Mx. rel. condicionado de F

2) Encontrar los puntos de la curva y2 = 4x que estn a la menor distancia posible de (4;0)
Consideremos la funcin distancia: d(x;y) = ( x 4) 2 + y 2 .
Optimizaremos F(x;y) = ( x - 4 ) 2 + y 2 .
La condicin es (x;y ) = 0, siendo ( x; y) = y 2 4 x
r
r
Debe ser: F = . Fx = . x 2.(x -4) = - 4 (1)
Fy
= . y 2y
= 2 y (2)
2
Adems:
(x;y ) = 0
y - 4x = 0
(3)
De (2): y ( 1- )=0 y = 0 v =1
a) Si y = 0 , en (3) resulta x = 0 , y en ( 1): =2
b) Si =1, en (1) se tiene: x = 2 y en (3) : | y| = 2. 2
Los puntos crticos son: (0;0) con =2 , (2 ; 2 2 ) con =1 y (2;- 2 2 ) tambin con
=1.
La funcin de Lagrange es: L = ( x - 4 ) 2 + y 2 - (y 2 - 4x)
Lx = 2(x - 4) + 4 Lxx = 2 ; Lxy = 0

; Ly = 2 y - 2y Lyy = 2 -2

80

Resulta: H o = 0 2 2 2 y = 16.(2 2) 8y 2
4
2y
0
H0(0;0;2) = -16.(2-4)= 32 > 0 no hay mnimo
H0(2 ; 2 2 ;1)= H0(2 ;- 2 2 ;1 ) = - 64 <0
F(2 ; 2 2 ) y F(2 ; -2 2 ) mnimos condicionados elativos.
La distancia mnima es en ambos casos d= (2 4) 2 + 8 = 12 = 2. 3 x 2 + y 2

81

INTEGRALES DOBLES
I.-Definicin
El acercamiento intuitivo al concepto de integral doble se hace a travs del concepto
de volumen, as como el de integral simple se hace a partir del de rea.
Consideremos un campo escalar F:A R con A R2 / F(x;y) 0, (x;y)A y est
acotado en A, siendo A un rectngulo en el plano xy.
A= { (x;y) R2 / a x b c y d }
Interesa calcular el volumen del slido limitado por el grfico de z = F(x;y), los
planos
z = 0 ; x = a ; x =b; y= c; y= d. El volumen de este slido puede aproximarse sumando los
volmenes de paraleleppedos inscriptos o circunscriptos al mismo.
Como F es continua en A , por el segundo teorema de Weierstrass, adopta un
mximo (M) y un mnimo (m) absolutos en A.
Se cumple que: ( b a )( d c) m V ( b a )( d c) M
z

Mij
mij

b
x
Provocamos una particin regular en [a,b] y otra en [c;d].
a = x0 < x1 < x2 <... < xi-1 < xi<... xn = b
y
ba
d
con x i = x i x i 1 =
yj
n
yj-1
c= y0 < y1< y2 <...< yj-1 < yj <....< yn= d

Rij

con y j = y j y j1 =

dc
m
a ...

xi-1 xi ...b

82

Indicamos con Rij al rectngulo de rea Rij= xi. yj

Supongamos F(x;y) continua en A, tambin lo ser en cada uno de los subrectngulos en los
que qued dividido. Por lo tanto alcanza, por el segundo teorema de Weierstrass, un mximo
y un mnimo absoluto que anotaremos Mij y mij respectivamente.
Llamamos suma inferior con respecto a la particin P a la suma de los volmenes
de los paraleleppedos que resultan inscriptos en el slido cuyo volumen buscamos.
m

SP =

m ij x i . y j

j=1 i=1

Se cumple:S P V , siendo V el volumen del slido que nos interesa calcular.

Con el mismo criterio, definimos como suma superior con respecto a la particin P
a la suma de los volmenes de los paraleleppedos que resultan circunscriptos al slido cuyo
m

volumen buscamos.

SP =

M ij x i . y j

j=1 i=1

Se verifica : S P V
Luego, para una cierta particin P :

SP V SP

Si refinamos la particin , es decir tomamos cada vez ms puntos sobre el eje "x" y
cada vez ms sobre el "y", y llamamos P' a la nueva, podemos definir para ella una nueva
suma inferior y una nueva suma superior (S P' y S P ' respectivamente) que aproximan mejor
el volumen buscado.
Obtenemos:

SP S P' V SP ' S P

Repitiendo este proceso se forman dos sucesiones: una de sumas inferiores, creciente
y otra de sumas superiores, decreciente; ambas acotadas superior e inferiormente
respectivamente, por V. La diferencia entre dos trminos correspondientes de ambas
sucesiones es cada vez menor:
S P S P S P' S P'
Entonces ambas sucesiones admiten un lmite comn .(Si F( x; y) 0, ( x; y) A ,
este lmite representa el volumen buscado)
Se llama integral doble de F(x;y) sobre el recinto A al lmite de las sumas inferiores o de las
sumas superiores cuando el nmero de puntos de ambas particiones tiende a .
n m

A F(x; y)dxdy = lm

n i=1 j=1
m

mij xi y j = lm
n

i=1 j=1

M ij xi y j

83

Si consideramos en cada subrectngulo de rea x i . y j ,un punto arbitrario

r
Pij = i ; j , se tiene que:
r
mij F( Pij ) M ij,

y por lo tanto:

SP

F( Pij ) xi . y j

SP

j=1 i=1

Esta suma, que se encuentra permanentemente comprendida entre la suma inferior y

la superior de una misma particin, se llama "suma integral" o "suma de Riemann".
Cuando el nmero de puntos tiende a , la sucesin de sumas de Riemann tiende al mismo
lmite que la de sumas inferiores o superiores.
n m

A F(x; y)dxdy = lm

F(Pij ) xi y j

n i=1 j=1
m

II.-Condiciones de integrabilidad
Consideremos F definida y acotada en A.

II.1.- F es integrable en A >0, una particin P / S P S P <

II.2.- Si F es continua en A, entonces es integrable en A.
II.3.- Si F es continua en A o su conjunto de discontinuidades es de medida nula1, entonces
es integrable
Por comodidad, generalmente se trabaja con funciones continuas, pero no son las
nicas funciones integrables.

III.- Interpretacin geomtrica

Si F(x;y)0,(x;y) A, la suma inferior representa la suma de los volmenes de
priasmas rectos rectngulos inscriptos en el slido limitado por los planos : z = 0, x = a, x =
Conjunto de medida nula Un conjunto A incluido en R2 tiene medida nula si y slo si > 0, un
conjunto finito de rectngulos que cubren a A, tales que la suma de sus reas es menor que . Un segmento,
una circunferencia, un arco de parbola son ejemplos de conjuntos de medida nula.
1

84

b, y = c, y = d
y la superficie representativa de z = F(x;y); es decir constituye una
aproximacin por defecto del volumen de ese slido.

84

La suma superior, con el mismo criterio, representa una aproximacin por exceso de
dicho volumen.
Tales aproximaciones mejoran a medida que aumenta el nmero de puntos de la particin, por ello resulta:
n
r
F
(
x
;
y
)
dx
.
dy
=
lm
S
=
lm
S
=
lm

F Pij xi . y j = V
P
P
n
m

n
m

n i =1
m

( )

IV.- Propiedades
IV.1.- Si A1 y A2 son dos rectngulos cuya interseccin tiene medida nula y tales que la unin da
el rectngulo A, entonces si F es integrable sobre A1 y sobre A2 se cumple:

F( x; y). dx. dy + F( x; y). dx. dy = F( x; y). dx. dy

A1

A2

IV.2.- Si F y G son integrables en A, entonces:

[ F( x; y) + G( x; y)]dx. dy = F( x; y)dx. dy + G ( x; y). dx. dy

A

V.-Clculo de integrales dobles

V.1.- Para recintos rectangulares
Considero z = F(x;y) continua en el rectngulo A = [a,b]x[c,d] tal que z 0, (x;y) A
Supongamos que nos proponemos calcular
el volumen que limita la sup. con los planos
z=0, x=a, x=b, y=c, y=d, utilizando los conceptos de Anlisis Matemtico I.
Consideremos la interseccin del slido con
el plano x = xo siendo a xo b.
El rea de la seccin transversal as
determinada puede calcularse con una
integral simple.

A(x0)

A ( x 0 ) = F( x 0 ; y). dy
c
d

x0
b

85

Si provocamos una particin regular en [a,b], y elegimos un punto arbitrario ci en cada

subintervalo, podremos decir que el volumen se puede calcular mediante:
n

V= lm A ( c i ) x i
n i =1

pero por definicin de integral simple, resulta:

V =

A(x) dx = dx. cd F( x; y). dy

Al mismo resultado puede llegarse determinando las secciones con planos y = cte.
Entonces el volumen es:
d

V =

[
c

F(x; y) dy] dx

Entonces el volumen es:

d b

b d

c a

a c

[ F(x; y) dx]dy = [ F(x; y) dy]dx

R F(x; y) dx dy =

V.2.- Clculo de Integrales dobles en recintos no rectangulares

V.2.1.-Tipos de recintos no rectangulares
V.2.1.1.-Recintos no rectangulares simples TIPO I
Son los que pueden definirse mediante

y 1( x ) y

x
a

y 2 ( x)

y2(x)

y1(x)
x
a

y
d

V.2.1.2.--Recintos no rectangulares simples TIPO II

x ( y ) x x 2 ( y )
Son los que pueden definirse mediante 1
y
d
c
Los dems recintos con los que trabajaremos pueden

x2(y)
x1(y)

86

descomponerse en uniones de recintos simples tipo I y/o II.

V.2.2 .-Clculo de integrales dobles definidas en recintos simples no rectangulares.
Consideremos un recinto simple D ,por ejemplo del tipo I. Suponemos F continua en D
excepto, a lo sumo, en un conjunto de medida nula. Interesa calcular F( x ; y ).dx .dy
D

Llamaremos A a un rectngulo que contiene a D

F( x ; y )
si ( x ; y ) D
Definimos: F*(x;y) =
. F es continua en A, salvo a lo largo de un
si ( x ; y ) A D
0
conjunto de medida nula. Luego F es integrable en A
y

F ( x; y )dx. dy = F *( x; y )dx. dy =
D

y2(x)

b y ( x)

d
1 F * ( x; y). dy + y 2 ( x )F * ( x; y). dy +
F
*(
x
;
y
).
dy
dx =

y ( x)
y2 ( x )

1
a c

y1 (x)

F(x;y)

0
a

b
y (x)
= dx 2 F ( x; y ). dy
a
y1 ( x )
y
d

Luego: F( x; y ). dx. dy = F ( x; y ). dx. dy = a dx y ( x ) F( x; y ). dy

1
b

y 2 ( x)

F( x; y). dx. dy = c dy x
d

Si el recinto D es tipo II, se llega a :

x 2 ( y)

1 ( y)

x1(y)

x2(y)

F( x; y). dx
x

V.3.-Cambio de variables en integrales dobles

V.3.1.-Coordenadas polares
En coordenadas polares la posicin de un punto en el plano queda determinado por las
coordenadas: R+o: radio vector y [ 0, 2) (argumento).

x = .cos
Las frmulas del pasaje son:
y = .sen

y
P

o bien

= x +y
2

= arc tg

y
x

87

II.2.-Integral doble en coordenadas polares

Sea F: DR con D R2 integrable. Interesa calcular D F(x;y) dx dy
x = .cos
haciendo el cambio de coordenadas
y = .sen
Para calcular la integral en coordenadas polares, hay que expresar el recinto y el campo
escalar en esas coordenadas (F(x;y) = F*( ;).) Definiremos integral doble en coordenadas polares.
Provocamos particiones regulares en los intervalos de variacin de y de .
Para valores constantes de , quedan definidas circunferencias concntricas y para valores
constantes de se determinan semirrectas con origen en el centro de coordenadas.
El recinto queda ), entonces, dividido en trapecios circulares de rea Aij .
)
v
V
1
1
1
Aij .= reaODC - rea OAB = 22 12 = ( 22 12 )
2
2
2
Aij .=

1
( + 1 )( 2 1 ) = m
2 2

C
B

Para definir la integral doble, hacemos una particin regular en el recinto de integracin
expresado en coordenadas polares. En cada elemento de rea, es decir, en cada uno de los trapecios circulares elegimos un punto arbitrario Pij ( i ; j ) y calculamos F*( i ; j ). Por definicin
de integral doble:
n

lm F * ( i ; j ). Aij = lm F * ( i ; j ). mij i . j = D ( ; ) F * ( ; ). . d . d

n i =1 j =1

n i =1 j =1

Como las integrales dobles en cartesianas o en polares, deben dar lo mismo, resulta:

D( x; y)

F( x; y).dx.dy =

D( ; )

F *( ; ).. d. d

Observacin: Vemos que para resolver una integral doble pasando de coordenadas cartesianas a
polares, debemos expresar el recinto y la funcin en las nuevas coordenadas , reemplazar los diferenciales y multiplicar por un factor de conversin que es .
Llamaremos jacobiano de la transformacin al determinante de la matriz jacobiana de las
viejas variables en funcin de las otras. En el caso del pasaje a coordendas parciales, la matriz
jacobiana (o la matriz derivada) es:

x , y cos
=
, sen

.sen

cos

y su determinante es:

88

J=

cos
sen

sen
= .cos 2 + .sen 2 = (cos 2 + sen 2 ) =
cos
1

El resultado del jacobiano es justamente el factor de conversin. (Si hubisemos cambiado

el orden de las filas o las columnas de la matriz derivada, hubiese cambiado el signo del determinante. Sin embargo, el factor de conversin est relacionado con un rea, por lo tanto siempre se
toma el mdulo del jacobiano.
Para hacer un cambio de coordenadas cualquiera, por ejemplo :
x = x (u;v)
y = y (u;v) se procede de manera similar: se expresa el recinto y el campo escalar en funcin de
las nuevas variables, se reemplazan los diferenciales y se multiplica por un factor de conversin
que es el mdulo del jacobiano de la transformacin.

D( x; y)

F(x; y).dx.dy= D(u;v) F *( x(u; v); y(u; v)). J du.dv

siendo
x'u
J = Det .
x'v

y'u

y'v

V.3.3.- Cambio de variables en integrales dobles

TEOREMA
Consideremos dos regiones simples del plano D y D* y una transformacin C1
r
r
r
inyectiva T :D*D / T (D*)=D definida por T (u;v)= (x (u;v);y (u;v))

Entonces , si F:DR es integrable en D, resulta:

F( x ; y )
D

dx .dy =

D*

F ( x ( u ;v ); y ( u ;v )) .

( x ,y )
.d u .d v
( u ,v )

Observaciones:

( x ,y )
es el mdulo del determinante de la matriz jacobiana.
( u ,v )
r
( x ,y )
2.- Pedir que T (D*)=D es equivalente a pedir que
0, ( u ,v ) D *
( u ,v )
1.-

88

INTEGRALES TRIPLES
Consideremos un campo escalar F: AR con A R3 / A = [a,b]x[c,d]x[e,f].
Supongamos que F est acotada en A . Definiremos integral triple utilizando un procedimiento similar al que usamos para definir integrales dobles.
Provocamos particiones regulares en [a,b], [c,d] y [e,f]. El dominio A queda dividido en
porciones elementales de volumen Vijk = xi yj zk , donde
ba
d c
f e
xi =
zk =
; yj =
;
.
n
m
l
En cada uno de esos prismas elementales, elegimos un punto arbitrario Pijk (i; j ; k )
y calculamos el valor de F en l. Se define:

A F( x; y; z) dx dy dz =

n m

lm

F( i ; j ; k ) x i y j z k

n i = 1 j = 1k = 1
m
l

zk
e
c

yj

xi
d

y
b

Se puede probar que si F es continuo en A, o tiene discontinuidades sobre un conjunto

de medida nula, entonces es integrable en A.

89

Al igual que en integrales dobles, el clculo se reduce a tres integrales simples

cesivas o iteradas:
f
d
b
e c aF ( x; y; z) dx dy dz

su-

Cambiando el orden de integracin se pueden definir 6 integrales, pero todas iguales

entre s e iguales a la integral triple.
f
d
b
A F ( x; y; z) dx dy dz = e c aF ( x; y; z) dx dy dz

Tambin completando la analoga con integrales dobles, puede extenderse la definicin

a recintos que NO sean prismas rectos rectngulos.
Sea V un recinto cualquiera incluido en R3 y sea A un prisma recto rectngulo que lo
contenga. Siguiendo un razonamiento similar al que hicimos con integrales dobles, puede verse que:
V F ( x; y; z) dx dy dz = A F * ( x; y; z) dx dy dz

F ( x; y; z )
si ( x; y; z ) V
siendo F * ( x; y; z ) =
si ( x; y; z ) A V
0

Clasificaremos los recintos V en distintos tipos:

Tipo I : a x b
y1 (x) y y2 (x)
z1 (x;y) z z2 (x;y)

z 2 (x;y)

z 1 (x;y)

o bien: c y d
x1 (y) x x2 (y)
z1 (x;y) z z2 (x;y)

a
x

Tipo II : a x b
z1 (x) z z2 (x)
y1 (x;z) y y2 (x;z)

y
y1 (x)

o bien: e z f
x1 (z) x z2 (z)
y1 (x;z) y y2 (x;z)
z

z1(x)

y2(x;z)
y1(x;z)
z2(x)
a

x
b

y2(x)

90

Tipo III: c y d
z1 (y) z z2 (y)
x1 (y;z) x x2 (y;z)

o bien:
ezf
y1 (z) y y2 (z)
x1 (y;z) x x2 (y;z)

z
y1 (z)

y2(z)
x2(y;z)

x1(y;z)

Por ejemplo, para un recinto como el del ltimo dibujo es:

F(x; y; z) dx dy dz = dz
f

dy x ( y;z) F(x; y; z) dx
y (z)
y2 (z)

x2 ( y;z)

II.-Cambio de variables en integrales triples

z

II.1Coordenadas clndricas:

( x; y ;z )
( ; ; z )

( Son equivalentes a las polares del plano)

Las frmulas del pasaje son:
x = cos
y = sen
z=z

El jacobiano de la transformacin es:

cos
x, y, z
= sen
, , z
0

sen

cos
0

0
0 = cos 2 + sen 2 = (cos 2 + sen 2 ) =
1
1

Geomtricamente puede justificarse considerando el volumen de un slido elemental

z
producido por particiones en coordenadas cilndricas.
= cte superficies cilndricas de directriz circular y eje z
= cte semiplanos de borde z
z = cte planos paralelos al plano (x,y)
z
Vi = rea de Di . z
Vi = . . . z

(pues el rea de Di es el rea de un

91

trapecio circular en coordenadas polares)

Con un razonamiento similar al que se hizo con integrales dobles, resulta:

Vxyz F(x;y;z)dx dy dz = V z F*(; ; z) d d dz

Coordenadas esfricas:
Un punto P de R3 puede quedar ubicado tambin por sus coordenadas esfricas, que son :
el radio vector r R+ 0 (es la distancia entre el centro de coordenadas y zel punto P); el
ngulo , que forma el semieje positivo de las z con el radio vector ( [0, ]); y el
ngulo que forma el semieje positivo de las x con la proyeccin de r sobre el plano xy,
( [0,2) ).
Las frmulas del pasaje son: x = r sen cos
y = r sen sen
z = r cos

(x;y;z)

(r; ; )

Resulta:x2 + y 2 + z2 = r2 [ sen2 ( cos2 + sen2 ) + cos 2) = r2

1
1
El jacobiano de la transformacin es:
x

sen cos r cos cos r sen sen

x, y, z
= sen sen r cos sen r sen cos =
r , ,
cos
r sen
0

r
y

= r2sen3 sen2 + r2 cos2 sen cos2 + r 2 cos2 sen cos2 + r2 sen3 cos2
=
= r2 sen3 (sen2 + cos2 ) + r2 cos2 sen (sen2 + cos2 ) =
1
1
2
2
2
2
=r sen . (sen + cos ) = r sen
1

Luego :

Vxyz F(x;y;z)dx dy dz = Vr F*(r; ; ) r2 sen dr d d

92

92

La frmula puede interpretarse geomtricamente, tomando un elemento de volumen en

coordenadas esfricas. Para ello debemos tener en cuenta que :
r = cte sup. esfrica
z
= cte sup. cnica de eje z y vrtice en (0;0;0).
= cte semiplano de borde z
AC = r

AB = r sen
(es un arco que est en la curva interseccin
de una superficie esfrica con una sup. cnica).
(Recordar: long.arco = r. ng. en rad.)

AD = r

V = long. AC. long. AB . longAD

V = r sen.r.r..
V = r2. sen.r. ..

APLICACIONES FSICAS DE LAS INTEGRALES DOBLES Y TRIPLES

Clculo de la masa.

a) Consideremos una lmina D de espesor despreciable, cuya densidad en un punto P

est dada por una funcin continua ( x; y) .

x i

Efectuamos una particin regular de D en

rectngulos de rea x i . y j . En cada uno de

y j

ellos, elegimos un punto arbitrario ( i ; j ) y

calculamos la densidad en l.
La masa del rectngulo es aproximadamente:
Mij= ( i ; j ) x i . y j .

La masa total de la lmina , puede calcularse mediante

n m

lm

( i ; j ).x i .y j = ( x; y).dx.dy (por definicin de integral doble)

( n ; m ) (; ) i =1j =1

b)

Con una razonamiento similar, si se

desea calcular la masa de un slido
V, cuya densidad en cada punto es
un funcin continua ( x; y; z) , se
llega a:
M= ( x; y; z).dx.dy.dz
V

x i y j z k

93

Momentos estticos de primer orden

Dado un punto material de masa m y un eje que se encuentra a una distancia d, se define
como momnto esttico de primer orden al producto de la masa por la distancia del
punto a eje.
Razonando como en el caso anterior, se llega a:
a)Para la lmina

D:

Mx = y.( x; y)dx.dy

mi

di

My = x.(x; y)dx.dy

b) Para un slido V: Mxy = z.( x; y; z)dx.dy.dz

V

Myz = x.( x; y; z)dx.dy.dz ; Mxz = z.(x; y; z)dx.dy.dz

V

Coordenadas del centro de masa o centro de gravedad o baricentro

Para un sistema de puntos materiales , el centro de masa es el punto en el que debe

pensarse concentrada la masa para que se conserven los momentos estticos de primer
orden.
a)Para una lmina , las coordenadas del baricentro (G) deben cumplir:

x.( x; y)dx.dy
XG. M= My X G = D

( x; y).dx.dy

y.( x; y)dx.dy

YG. M= Mx YG = D

( x; y).dx.dy

b) Para un slido V, resulta:

XG =

V x.( x; y; z)dx.dy.dz
;
V ( x; y; z)dx.dy.dz
ZG =

YG =

V y.( x; y; z)dx.dy.dz
;
V ( x; y; z)dx.dy.dz

V z.( x; y; z)dx.dy.dz
V ( x; y; z)dx.dy.dz

Momento de Inercia

Para una punto material, el momento de inercia respecto de un eje es: I= m.d2
Entonces, para una lmina es:
Ix= y 2 .( x; y)dx.dy
D

; Iy= x 2 .( x; y)dx.dy
D

Para un slido:
Ix= ( y 2 + z 2 ).( x; y; z)dx.dy.dz ;
V

Iy= ( x 2 + z 2 ).( x; y; z)dx.dy.dz ;

V

Iz= ( x 2 + y 2 ).( x; y; z)dx.dy.dz

V

94

INTEGRALES CURVILNEAS (O DE LNEA)

Longitud de un arco de curva

Curva rectificable

Recordamos que una curva es el conjunto imagen de una funcin vectorial continua.
La funcin es la trayectoria. Si la funcin es inyectiva, la curva es simple.
r
r
Consideremos f : [a,b] Rm con m >1/ f ( t ) = ( f1 ( t ); f 2 ( t );L; f m ( t )) continua e inyectiva. Una
particinr regular en [a,b] mediante a = t0 <t1 <....<tm=b, introduce una particin en la curva C , asociada a f . Si se consideran los puntos determinados sobre sobre C , la longitud de la poligonal inscripta que queda formada es
n

SP = | Pi 1Pi |
i =1

Llamamos curva rectificable a aqulla en la que el conjunto de los SP est acotado superiormente.
Llamamos longitud de arco al supremo de ese conjunto

Longitud de un arco de curva

r
r
Sea f : [a,b] R3 / f (t)=(x(t);y(t);z(t)) con derivadas continuas

| Pi 1Pi |= x 2 + y 2 + z 2 = x' 2 ( i ) + y' 2 ( i ) + z' 2 ( i ) t

Pi-1

z
T.del V. Medio en una variable ( ti-1 <i < ti ,
ti-1 <i < ti
ti-1 <i < ti)

Pi

y
La longitud del arco es:

s = lm . x ' 2 ( i ) + y' 2 ( i ) + z' 2 ( i ) t

n 1

Si la funcin tiene sus derivadas continuas en [a,b], resulta:

Notacin: s : arco
ds: diferencial arco

s= x' 2 ( t ) + y' 2 ( t ) + z' 2 ( t ). dt

a

Luego, s(t)=

r
x' 2 ( t ) + y' 2 ( t ) + z' 2 ( t ) =|| f '( t )||

Reparametrizacin de una trayectoria

y ds = x' 2 ( t ) + y' 2 ( t ) + z' 2 ( t ) .dt

95

r
Consideramos una trayectoria f :[a1,b1]R3 y una funcin escalar biyectiva h C1 /
h:[a,b] [a1 ,b1 ] .
r
r r
Llamamos reparametrizacin de f a la composicin g = f o h: [a,b] R3

OBSERVACIN: Se desprende de la definicin que la reparametrizacin convierte extremos en

extremos, es decir h(a)= a1 y h(b) = b1 o bien: h(a)= b1 y h(b) = a1.
En el primer caso la reparametrizacin preserva la orientacin
mientras que en el segundo la camr
bia. Esto significa rque una partcula que describe f puede hacerlo o no en la misma direccin que
otra que describa g .
En el grfico se muestra una reparametrizacin que preserva la orientacin
y
b1

a1

b1

a1

x
b

Y en este otro una que invierte la orientacin:

y
b1

a1

x
a

a1

b1

r
r
r
Si C
es
la
imagen
de
f
([a
;b
])
y
h
preserva
la
orientacin,
entonces
(
f
h)
(t)
ir
desde
f
1
1
0
r
r
r (a1) hasta
r f (b1) mientras t va desde a hasta b; y si h invierte la orientacin , ( f 0 h) (t) ir desde f (b1) hasta
f (a1) mientras t va desde a hasta b
z
r
f (b1)

r
f (h(t))
r
f (a1)

x
a

a1
t
b

h(t)

b1

96

Propiedad
La longitud de un arco de curva es independiente de la parametrizacin.b r
r
3
Considero la curva C imagen de f : [ a , b ] R ; la longitud de arco est dada por: s= f ' ( t ) dt
a

Supongamos que se reparametriza la trayectoria mediante h:[a1 , b1][a,b] biyectiva y, por lo tanto,
estrictamente creciente o estrictamente decreciente .
Consideremos h(a1)= a y h(b1)=b (1).

r r
Interesa calcular la longitud de C respecto de g = f o h: [ a1 ; b1 ] R ,
r
r
r
De acuerdo con (1), es: g (a1) = f (a) y g( b1 ) = f (b) , entonces:
b1
r
r
r
r
r
s = g ' ( u ) du , pero: g '( u) = f '( t ) h'( u) , por lo tanto: g '( u) = f '( t ) |h(u) |
a1
b1

Resulta : s =

b r
r
f '( t ) h'( u) du = f ' ( t ) dt pues por (1) dt > 0
a

a1

dt
r
r
r
r
Si g (a1) = f ( b) y g ( b1 ) = f (a), dt < 0 y queda:
b1

s=

a r
b r
r
f '( t ) h'( u) du = f ' ( t ) dt = f ' ( t ) dt

a1

Entonces, la longitud no depende de la parametrizacin.

Integral curvilnea de un campo escalar

Definicin

Consideremos un campo escalar F:AR con A R3 continuo y una curva C A , C1 a trozos, (es
decir, continua con derivada continua en [a,b], excepto, a lo sumo, en un nmero finito de puntos)
r
r
imagen de r :[ a , b ] R 3 / r ( t ) =( x ( t ); y ( t ) ; z( t )) .
Se llama integral curvilnea de F a lo largo de C a :
b
r
C F( x ; y ; z ) ds = F [ x ( t ); y ( t ); z( t )] r ' ( t ) dt
a

Nota:

97

Se puede llegar a la definicin y clculo de la integral, construyendo las sumas de Riemann. Para
ello, provocamos una particin regular en [a,b] , que induce una particin en la curva C en arcos de
longitud si y formamos:
n
n
F( x( i ); y ( i ); z( i )) si = F( x( i ); y( i ); z( i )) rr '( i ) t i , ti-1 < i < ti
i =1

i =1

ver deduccin long. arco de curva

Entonces: C

F( x; y; z) ds =

lm F( x( i ); y( i ); z( i ))
n i =1

r
r '( i ) t i

Propiedades

1.- Si F(x;y;z) = 1 ,

C ds = s

(longitud del arco)

2.- Linealidad respecto del integrando:

C [ F( x ; y ; z ) + G( x ; y ; z )]ds = C F( x ; y ; z)ds + CG( x ; y ; z )ds

3.- Aditividad respecto de los arcos:

C C F( x ; y ; z )ds = C F( x ; y ; z )ds + C F( x ; y ; z)ds

1

Interpretacin geomtrica

Si F:AR con A R2 es tal que F(x;y) 0 y C es una curva plana , la integral curvilnea mide el
rea lateral de una superficie (una especie de pared)que tiene por curva directriz a C y por altura a
F(x;y) .

F(x;y)

98

y
x

Integral curvilnea de un campo vectorial

Introduccin:

r
r
Si F es , por ejemplo , un campo elctrico y r la expresin de la trayectoria de una partcula, a veces interesa calcular
r el trabajo que realiza el campo sobre la partcula mientras sta describe la trayectoria dada por r .

Sabemos que si el desplazamiento d es rectilneo y el campo es constante, el trabajo es : F.d .

Si la trayectoria es curva, podemos considerarla formada por una sucesin de desplazamientos rectos infinitesimales.
z
r
r
r
r
r ' (t )
r ( t + t )
r
t
t+t
r
r
r
(t )
b
a

r
r
Si t vara en un intervalo pequeo de t a t +t , la partcula se mueve de r ( t ) a r ( t + t ) , es decir :
r
r
r r
r = r ( t + t ) r ( t ) , por el T. del valor medio, se puede aproximar por r ' ( t ) t .
r
r
En tonces el trabajo realizado para ir de r ( t ) a r ( t + t ) es aproximadamente:
r r
r
F ( r ( t )) r ' ( t ). t .

99

r
Si provocamos una particin regular en [a,b], el trabajo realizado por F puede calcularse
br
n r
r
r
como :
lm F(x ( t i ); y( t i ); z( t i ) ) r ' ( t i ) t i = F(x ( t ); y( t ); z( t ) ) r ' ( t ) dt
n i =1

Definicin

r
Sea F : A R 3 con A R 3 un campo escalar continuo y sea C A ,la curva asociada a
r
r
r
r :[ a , b ] R 3 / r C1 a trozos r ( t ) = ( x ( t ); y ( t ); z ( t )) . Llamamos integral curvilnea
r r br
r
r
de F a lo largo de C a:
C F dr = F[ x( t ) ; y ( t ) ; z( t )] r ' ( t ) dt
a

Notacin: Cuando la integral; se calcula sobre

r r una curva cerrada se suele indicar as:
C F dr

Clculo

r
r
r
F [ x ( t ); y ( t ); z ( t ) ] r ' ( t ) dt = F [ x ( t ); y ( t ); z ( t )] ( x' ( t ); y '( t ); z '( t )). dt

r r
F dr =

( F1 ( x ( t ; y ( t ); z ( t ) x ' ( t ) + F2 ( x ( t ); y ( t ); z ( t ) ). y ' ( t ) + F3 ( x ( t ); y ( t ); z ( t ) ). z ' ( t ) ) dt )

a

Observacin: Finalmente se calcula la integral curvilnea de un campo escalar.

Propiedad.

r r
r
Si g = r o h:[ a1 ; b1 ] R 3 es la reparametrizacin de r :[ a , b ] R 3 correspondiente a
r r
r r
h:[a1; ,b1 ] [a,b] , se cumple que: F dr = F dg segn la reparametrizacin conserve o no
v
r

r
g

la orientacin.
Integral curvilnea de un campo de gradientes
(Independencia de la trayectoria de una integral curvilnea)

Teorema:
Consideremos F : A R con A R3 / F C1 y una curva C C1 a trozos, dada por
r
r :[ a , b ] R 3 .
r
r
r
r
r
Entonces, si F es continuo, resulta: F dr = F [ r ( b )] F [ r ( a ) ]
C
Demostracin:
b
r
r
r
F dr = F rr ' (t ) dt = (1)
a
C

100

r
r
r
Definimos G = Fo r , entonces F r ' ( t ) = G ' ( t ) .

Reemplazando en (1) se tiene :

b
r
r
r
r
F . dr = G ' ( t ) dt = G(b)- G(a)= F[ r ( b ) ]-F[ r ( a ) ]
a

Entonces:

F dr
C

r
r
= F [ r ( b )] F [ r ( a )]

Si la curva es cerrada, la integral curvilnea de un campo de gradientes que cumpla las hiptesis
mencionadas es cero.

100

Curva simple. Curva simple cerrada.

r
Curva simple es la imagen de una funcin vectorial inyectiva f : [ a , b ] R 3 . En cada
curva simple se pueden distinguir dos orientaciones La curva simple junto con su sentido
de orientacin se llama curva simple orientada.
r
r
r
Si adems f ( a) = f ( b) la curva es simple cerrada o curva cerrada segn f sea o no inyectiva. Las curvas cerradas tambin puede orientarse.
Curva simple cerrada

Curva cerrada (no

simple)

Campos conservativos
Un campo vectorial es conservativo si y slo si la integral curvilnea a lo largo de cualquier curva cerrada es cero.

Funcin potencial

r
r
Un campo vectorial F: A R 2 con A R 2 / F( x; y) = ( P( x; y); Q( x; y)) es un campo de
gradientes
rsi y slo si existe una funcin U(x;y) , llamada funcin potencial, tal que :
r
F( x; y) = U( x; y) , o bien : Ux =P(x;y) y Uy =Q(x;y)..
r

Si

F( x; y). drr = 0, C U(x; y) / F(x; y) = U( x; y) .

C

Condicin necesaria para la existencia de la funcin potencial.

r
r
Si F: A R 2 con A R 2 / F( x; y) = ( P( x; y); Q( x; y)) es un campo de gradientes, siendo P(x;y), Q(x;y), Py (x;y) y Qx (x;y) continuas en un conjunto plano abierto y conexo,
entonces Py (x;y) = Qx (x;y) en todo punto de dicho recinto.

r
r
En efecto: Si F(x; y) = U( x; y ), entonces existe U(x;y) /
Ux (x, y) = P(x, y) U" xy = P' y (x; y)

U y (x, y) = Q(x, y) U" yx = Q' x (x; y)

Por el Teorema de Schwarz, al existir y ser continuas , las derivadas segundas cruzadas
deben ser iguales .
Por lo tanto:
Py (x;y)= Qx (x;y)

Importante: La condicin es necesaria pero no suficiente.

101

Veamos un ejemplo: Si un campo vectorial continuo es de gradientes, su integral curvilnea a lo largo de cualquier curva cerrada es cero.
y
r
x
;
Consideremos: F( x; y) = 2
. Veamos si las derivadas cruzadas de las
x + y2 x2 + y2
componentes son o no iguales.
P' y =

( x 2 + y 2 ) + y.2 y

x2 + y2

Resulta:

x2 + y2
x2 + y2

Q' x =

( x 2 + y 2 ) x.2 x

x2 + y2

x2 + y2

( x2 + y2 ) 2

Py (x;y)= Qx (x;y)

r
Calculemos la integral curvilnea de F a lo largo de la curva imagen de la funcin vector
rial r ( t ) = (cos t; sen t ) .

x = cos t ; dx = sen t
2
2
Reemplazamos por:
. Como sobre la curva x + y =1, se
y = sen t ; dy = cos t
tiene:
r
F.drr = 2 (sen 2 t + cos2 t )dt = 2 dt = 2 0
C

Es decir: la integral curvilnea sobre una curva cerrada no es nula y por lo tanto no es un
campo conservativo, aunque se cumpla la igualdad de las derivadas.
Observemos que las componentes y sus derivadas son continuas en R2 -{(0;0)} que es un
conjunto conexo pero no convexo.
La curva sobre la que se trabaj en el ejemplo, encierra al punto de discontinuidad mencionado. Si calculamos la integral sobre cualquier curva cerrada que deje afuera al punto
de discontinuidad, veremos que la integral es efectivamente, nula. Por lo tanto diremos
que este campo no es conservativo en R2 , pero s lo es en cualquier subconjunto simplemente conexo que no contenga al (0;0).

Condicin necesaria y suficiente para que un campo sea conservativo

r
r
Si F: A R 2 con A R 2 / F( x; y) = ( P( x; y); Q( x; y)) es tal que P(x;y), Q(x;y), Py
(x;y) y Qx (x;y) son continuas en un conjunto
plano abierto y convexo, entonces , la conr
dicin necesaria y suficiente para que F sea conservativo es que : Py (x;y) = Qx (x;y)
en todo punto de dicho recinto.
Para campos escalares de ms variables
Se verifican condiciones similares:

102

r
r
r
r
r
r
Si F: A R n con A R n / F( x; y) = ( F1 ( X); F2 ( X); L; Fn ( X)) es tal que Fi (X)

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

punto de dicho recinto.

r r r
Si n = 3, la igualdad de las derivadas cruzadas equivale a que F = 0 ( Se lee: rotor de
F igual al vector nulo)

El rotor se calcula como un producto vectorial:

(
(
(
i
j
k
r r
F3 F2 F3 F1 F2 F1

F=
==

z x
z x
y
x y z
y
F1 F2 F3

Para que el rotor sea nulo, deben ser nulas todas las componentes.
Un campo vectorial definido de R3 en R3 es conservativo si y slo si es irrotacional.(tiene
rotor nulo).

Clculo de la funcin potencial

r
r
Supongamos que F: A R 2 con A R 2 / F( x; y) = ( P( x; y); Q( x; y)) es un campo de
gradientes. Interesa encontrar U(x;y) / : Ux =P(x;y) y Uy =Q(x;y).(*)

U' x ( x; y) = P( x; y) U( x; y) = P( x; y)dx + ( y) (**), ya que al integrar respecto de x,

la constante de integracin es un nmero o una funcin que depende de slo de y.
Derivamos (**) respecto de y e igualamos con (*):

Q( x; y) =
P( x; y)dx + ' ( y) ' ( y) = Q( x; y)

y
y

Resulta:( y) = Q( x; y)
P( x; y)dx dy + C

[ P( x; y)dx]

Reemplazando en (**) se tiene:

U( x; y) = P( x; y). dx + Q( x; y)
y

[ P( x; y)dx] dy + C

Observacin: Para buscar la funcin potencial correspondiente a un campo de R3 en R3 , se procede de la misma forma pero debe integrarse tres veces. En la primera integracin la constante es
funcin de dos variables, en la segunda, una funcin que depende de una variable y en la tercera
es un nmero.

103

INTEGRALES DE SUPERFICIE
1.- Algunos conceptos previos
1.1.- Interpretacin geomtrica de una transformacin lineal de R2 en R3
r
r
Consideremos T : R 2 R 3 / T ( u;v ) = ( x ( u;v ); y ( u;v ); z( u;v ) ) una T.L. cuya matriz
asociada respecto de las bases cannicas es:
a11 a12

M = a 21 a22

a 31 a32

Como en una transformacin lineal las rectas paralelas se transforman en rectas paralelas,
elr cuadrado de lado 1r en R2 se transforma en el paralelogramo construido sobre
T ( 10
; ) = ( a11; a 21; a 31 ) y T ( 0;1) = ( a12 ; a22 ; a 32 ) .
Esto significa que
r el rea del
r cuadrado de lado 1 se transforma en la norma del producto
vectorial entre T ( 10
; ) y T ( 0;1) .
1.2.- Superficies dadas paramtricamente.
1.2.1.- Definicin:
r
Una superficie parametrizada
es
una
funcin
:

: D R 3 con D R 2 . La sur
perficie es el conjunto imagen =( D )
r
( u;v ) = ( x ( u;v ); y ( u;v ); z( u;v ) )
r
Si C 1, es decir sus componentes tienen derivadas parciales continuas, se dice que es
una superficie diferenciable o C 1

1.2.2.- Curvas coordenadas

r
Dada una superficie parametrizada ( u;v ) , se llaman curvas coordenadas a las que se
obtienen al mantener constante uno de los parmetros .
r
Los vectores tangentes a las curvas coordenadas son los vectores derivados de , es decir
r
r
x y z
x y z
: 'u = ; ; y 'v = ; ;
u u u
v v v

1.2.3.- Plano tangente

r
r
r
Consideremos una superficie dada por ( u;v ) tal que 'u y 'v son tales que su producto vectorial no es el vector nulo (es decir, no son nulos ni paralelos), estos vectores
generan el plano tangente a la superficie ( ya que ste contiene a todas las rectas tangen-

104

tes a curvas sobre la superficie. Esto

que un vector normal al plano tangente
r significa
r
r
es perpendicular a ambos. Resulta: N = 'u 'v
r
Resulta que la ecuacin del plano tangente a la superficie , imagen de ( u;v ) en
P0(x0;y0;z0) es:

( P P0 ) ( ' u ( u 0 ; v 0 ) ' v ( u 0 ; v 0 ) ) = 0
r

r
r
Una superficie imagen de :A R 3 con A R 2 es regular si y slo si C1
r
r
r
' u ' v 0, (u; v) A . Significa que tiene vector normal no nulo y continuo en todos
sus puntos.
2.- rea de una superficie en R3

r
Consideremos una superficie , imagen de una funcin :D R 3 con D R 2 que cumpla rlas siguientes condiciones:
a) r es C1,
b) inyectiva en D, y r
r
r
c) 'u (u;v ) 'v (u;v ) 0 para todo (u;v) D , excepto en un nmero finito de puntos.
(Equivale a pedir que sea suave en D , excepto en un nmero finito de puntos).
Interesa calcular el rea de

z
r
( u ;v )

vj+1

vj

vj

r
v. 'v

u. 'u

ui

ui+1 u

ui

Provocamos una particin regular en D en rectngulos de rea uivj. Esta particin inr
duce, mediante ( u;v ) , una particin en en cuadrilteros curvilneos ij , cuya rea
puede aproximarse por un paralelogramo sobre el plano tangente, trazado en un punto arbir
trario Pij = i ; j con ui < i < ui+1 , vj < j < v j+1.

105

Es decir que estamos considerando, en realidad, la transformacin del rectngulo de

rea uivj en un paralelogramo sobre el plano tangente a la superficie. Esto equivale a
pensar en que se ha definido una transformacin lineal
que
cannica en el plano
r
r a la base
3
(u,v) le hace corresponder los vectores derivados 'u y 'v de R .
De acuerdo con la interpretacin geomtrica dada para las transformaciones lineales de R2
en R3 , esto significa que al cuadrado de rea 1 del plano ( u;v), le asigna un cuadriltero de
r
r
rea 'u 'v .
Por lo tanto, al rectngulo de rea uivj le asigna como imagen un paralelogramo de rea
r
r
'u 'v uivj .
n m r
r
Resulta:
rea de = lm ' u i ; j ' v i ; j u i . v j
n i = 1 j = 1
m

Por definicin de integral doble se tiene:

rea de =

r
r
' u ( u ; v ) ' v ( u ; v ) du . dv

Si est definida en forma explcita por z= F(x;y) ,para todo (x;y) A ,podemos pensaru = x
la como una superficie parametrizada en la que
v = y

Luego la superficie es la imagen del campo vectorial

r
r
: A R 3 / ( x; y) = x ; y ; F( x; y) , entonces
r
r
rea de = ' x ( x; y) ' y ( x; y) dx. dy

siendo ' x ( x ; y ) = ( 1 ; 0 ; F ' x ( x ; y ))

r

r
' y ( x; y ) = 0 ; 1 ; F ' y ( x; y ) .

( (
(
i j
k
r
r
' x ( x; y ) ' y ( x; y ) = 1 0 F ' x ( x; y ) =

(
( (
F ' x ( x ; y ) i F ' y ( x ; y ). j + k

0 1 F ' y ( x; y )

r
r
'x ( x; y ) 'y ( x; y ) = 1 + F '2x ( x; y ) + F '2y ( x; y ) , de donde resulta:
rea de =

1 + F'2x ( x; y) + F'2y ( x; y) dx. dy

106

Frmulas similares a sta pueden obtenerse si se tiene x= x(y;z) o y = y(x;z). En estos

casos el recinto de integracin se obtendr proyectando la superficie sobre los planos (y,z)
(x,z) respectivamente.
Por ltimo, puede estar definida implcitamente por G (x;y;z)=0. Si G (x;y;z)=0
define implcitamente a z = F(x;y) se tiene:
r
2
2
2
2
2
G
( x; y ; z )
G
'
+
G
'
+
G
'
z
x
y

G'
G'
y
1 + F ' 2x ( x; y ) + F ' 2y ( x; y ) = 1 + x +
=
G 'z G 'z

G ' 2z

G'z

(1)

Pero teniendo en cuenta que el versor normal a la superficie est dado por:
r
G ( x ; y ; z )
(
n= r
y que las componentes de un versor son sus cosenos directores, resulta
G ( x ; y ; z )
1
que (1) es
( (
cos( n, k )

Entonces: rea de =

D xy

dx. dy
( ( donde Dxy es la proyeccin de sobre el plano(x,y)
cos( n, k )

Si se desea proyectar sobre el plano( x,z) es:

dx. dz
rea de =
( ( donde Dxz es la proyeccin de sobre el plano(x,z)
cos
(
n
, j)
D xz

Si se desea proyectar sobre el plano( y,z) es:

rea de =

D yz

dy. dz
( (
cos( n, i )

donde Dyz es la proyeccin de sobre el plano(y,z)

Observacin: Todas las frmulas son vlidas para superficies regulares a trozos, es decir
superficie que son imgenes de campos vectoriales inyectivos, pertenecientes a C1
,definidos de una unin de recintos simples de R2 en R3 . Estos campos constituyen una
parametrizacin de la superficie. Debe cumplirse que al menos,respecto de una de esas
parametrizaciones, el vector normal resulte no nulo en todo sus puntos excepto, a lo sumo,
en un conjunto de medida nula.

107

3.- Integral de superficie de un campo escalar

Consideremos un campo escalar F: A R3 continuo, y una superficie parametrizada incluir
da en A, regular a trozos, imagen de ( u;v ) =(x(u;v);y(u;v);z(u;v)), definida en un conjunto D
R2.
Ya vimos que una particin regular de D provoca una particin en . En cada uno de los cuadrilteros curvilneos ij , elegimos un punto arbitrario Pij = (x( ij;ij); y( ij;ij);z( ij;ij)) y
calculamos F(Pij)
n m
r
Definicin: F ( x; y ; z ). d = lm F(Pij ). ij

n i =1 j =1
m

siendo ij el rea del cuadriltero curvilneo que se corresponde con el rectngulo de rea
uivj y d la diferencial de rea sobre .

En consecuencia, el clculo se hace de manera similar a la planteada para calcular reas en R 3

, y la forma a utilizar depender de cmo se define la superficie y sobre qu plano se la proyecta. Como se reduce a una integral doble, una de las variables deber expresarse en funcin de
las otras dos, de acuerdo con la superficie sobre la que se integra.

4.- Integral de superficie de un campo vectorial.

4.1.-Superficie orientada
4.1.1.- Superficies abiertas
Una superficie abierta orientada es una superficie con dos caras : una ser exterior o positiva y
la otra interior o negativa. Los versores normales asociados a ambas son opuestos.

(
n

y
x

108

Hablar de dos caras , supone la existencia de superficies abiertas de una sola cara. En efecto, un ejemplo de tales superficies es la conocida como cinta de Mebius. Esta cinta puede
recorrerse totalmente sin atravesar ningn borde

4.1.2. Superficies cerradas

Se considera cara positiva a la exterior. En general, el versor asociado se reconoce por el ngulo que forma con alguno de los planos coordenados.

z
(
n

y
x

4.2 Flujo de un campo vectorial a travs de una superficie.

r
Consideremos un campo vectorial continuo F: A R 3 , con A R 3 y una superficie , incluida en A, simple, regular a trozos, orientable.
r
r
Se llama flujo de F a travs de a la integral de superficie de la componente de F normal a
la superficie.

= ( F ( x ; y ; z ) n( ). d
r

109

4.2 Flujo de un campo vectorial a travs de una superficie.

r
Consideremos un campo vectorial continuo F: A R 3 , con A R 3 y una superficie ,
incluida en A, simple, regular a trozos, orientable.
r
r
Se llama flujo de F a travs de a la integral de superficie de la componente de F
normal a la superficie.

= ( F ( x ; y ; z ) n( ). d
r

TEOREMA DE GAUSS- GREEN

r
r
Si F: A R 2 con A R 2 / F( x; y) = (P(x;y); Q(x;y)) es un campo vectorial continuo, lo
P Q
mismo que
y
sobre un recinto R A ,simple limitado por una curva regular
y
x

simple, asociada a r :[a,b] R 2 orientada en sentido antihorario , resulta :

cerrada

Q P
( P( x; y)dx + Q( x; y)dy) =

dx dy
R x
y

Demostracin:
Sea R un recinto limitado por una curva cerrada y simple tal que una paralela a
uno de los ejes no la corte en ms de dos puntos.
La curva puede pensarse como unin de dos arcos:

= ABC CDA (respecto de x) , o bien

= DAB BCD (respecto de y)

Las ecuaciones de estos arcos son:

ABC

y2(x)

y
y = y1 (x)

D
|

a < x < c
(Tomando x como
parmetro)

CDA

C
B|

y = y2 (x)

y1(x)

c x a

x
a

110

Si se toma y como parmetro es:

y
d

DAB

x = x1 (y)
d y b
x1(y)

x2(y)
A

BCD x = x2 (y)

b<y<d

x
Para demostrarlo, partiremos del segundo miembro de la tesis:
Q P
Q
P
dx
dy
dx
dy
dx dy =

R
R x
R y
x y

dy

xx

( y)

( y)
1

c
Q
y ( x) P
=
dx a dx ( x )
y y
x
2

= b [Q( x 2 ( y ); y ) Q( x1 ( y ); y )] dy a [ P( x; y 2 ( x )) P( x; y1 ( x ))] dx =
d

= b Q( x 2 ( y ); y ) dy + d Q( x1 ( y ); y ) dy + c P( x; y 2 ( x )) dx + a P( x; y1 ( x ))] dx =
d

BCD

Q( x; y ) dy + DAB Q( x; y ) dy + CDA P ( x; y ) dx + ABC P ( x; y ) dx =

P ( x: y ) dx + C Q( x; y ) dy =

[ P( x; y ) dx + Q( x; y) dy]
C

OBSERVACIN: Si el recinto no cumple con la condicin de que cualquier paralela a

los ejes corta a su contorno slo en dos puntos, se puede descomponer en un nmero
finito de recintos que cumplan la mencionada condicin y aplicar el teorema de GaussGreen en cada uno de ellos. y sumar los resultados parciales.

Clculo de reas planas mediante integrales curvilneas

Por el Teorema de Gauss-Green si R es un recinto limitado por una curva regular
cerrada C y bajo ciertas hiptesis de continuidad se cumple que:
Q P
R x y dx dy = C ( P( x; y)dx + Q( x; y)dy)

111

Q P
Pero :

= 1 R dx dy = rea de R ; por lo tanto cualquier par de

x y
Q P
funciones P(x;y) y Q(x;y) que verifiquen

= 1 , permitirn calcular el rea de

x y
R con

( P( x; y)dx + Q( x; y )dy)
C

Por ejemplo:
I.- Si P(x;y) = 0

II.- Si P(x;y) = -y

y Q(x;y) = 0 , resulta rea de R =

Q(x;y) = x, resulta rea de R =

x dy
y dx
C

III.- Sumando miembro a miembro las dos expresiones anteriores se obtiene:

2 rea de R =

x dy

y dx de donde:
rea de R =

1
2

( x dy y dx )
C

111

Operador vectorial nabla

Funciona como un vector. Se define mediante: =

( ( (
i+
j+ k
x
y
z

Un vector puede multiplicarse por un escalar, multiplicarse escalarmente por otro

vector o multiplicarse vectorialmente por otro vector.
Por lo tanto, el operador nabla puede:
a) aplicarse a un campo escalar (gradiente)

r
(x; y;z) =

( ( (
i+
j+
k
x
y
z

El resultado es un campo vectorial.

b) Multiplicarse escalarmente por un campo vectorial (divergencia)

rr
F(x; y;z) =

F1 F2 F3
+
+
x
y
z

El resultado es un campo escalar

c) multiplicarse vectorialmente por un campo vectorial (rotor)

(
i
r r

F ( x; y; z) =
x
F1

(
j

y
F2

(
k
F
F ( F
F ( F
F (

= 3 2 i 3 1 j + 2 1 k
z y
z x
z x
y
F3

El resultado es un campo vectorial

I.-Divergencia de un campo vectorial
I.1.-Definicin:
Si F(x;y;z) = F1(x;y;z) i + F2(x;y;z) j + F3(x;y;z) k.es un campo vectorial con derivadas
parciales finitas, definido de A en R3 , con A R3, se llama divergencia de F en un punto Po
de su dominio a:

F1 F2 F3
+
+
x
y
z

r r
.F(x; y;z) =
I.2-Interpretacin fisica:

Consideremos
un campo vectorial F = v en el que representa la densidad de un
r
fluido y v su velocidad.. Entonces el campo expresa la masa del fluido por unidad de rea y
de tiempo.

112

Tomemos, en el dominio
de F , un prisma recto rectngulo con vrtice en Po(xo;yo;zo) y
r
aristas, x, y,
r y z. Si F es continuo y las caras del prisma suficientemente pequeas, se
puede pensar F constante sobre cada cara.
z
C

G
F

z
H
E x

P0

j
x
En la direccin y sentido de j, la diferencia entre la masa de fluido que sale por la cara
EFGH y la que entra por PoBCD es:

y z. x. z = [ F2 ( x 0 ; y0 + y; z0 ) F 2 ( x0 ; y0 ; z0 ) ]x. z

Si dividimos por el volumen del prisma xyz , y tomamos lmite para (x;y;z)
tendiendo a (0;0;0), obtendremos, puntualmente, la variacin de masa por unidad de
tiempo y de volumen, en la direccin y sentido de j.

y F 2 . x. z F 2
=
lm
y Pr
( x;y;z)(0;0;0 x. y. z

Pero, si hacemos el mismo razonamiento en la direccin y sentido de i y de k, tenemos que:

r r
F1
F2
F3
] Po +
] Po +
]
F ] Po =
x
y
z P o
mide la variacin total de masa de fluido en Po por unidad de tiempo y volumen.

Si div F > 0 , en Po hay una fuente o un manantial, donde se genera fluido ; en cambio, si
div F < 0 , en Po hay un pozo o un sumidero donde se pierde fluido.

I.3.- Teorema de la divergencia (Gauss -Ostrogradsky)

I.3.1.- Enunciado

Consideremos un campo vectorial F: A R 3 / A R3, con derivadas parciales

continuas en un slido simple V, proyectable sobre los tres planos coordenados y limitado
por una superficie cerrada orientable que admita en todos sus puntos versor normal que

113
r
vare con continuidad, entonces el flujo de F a travs de , en la direccin yrsentido del

versor normal exterior, es igual a la integral de volumen de la divergencia de F sobre V .

F .

(
n d =

r
. F dV

I.3.2.-Interpretacin fisica:
De acuerdo con las interpretaciones dadas para flujo y divergencia, podemos observar
que el primer miembro representa la diferencia entre el flujo que atraviesa 2 y el que entra
por 1 que, obviamente debe coincidir con la variacin de masa de fluido por unidad de
tiempo, que se produce en V y que est dado por el segundo miembro de la tesis.
z
2

y
x

II.-Rotor de un campo vectorial

Ii.1.-Definicin:
Si F(x;y;z) = F1(x;y;z) i + F2(x;y;z) j + F3(x;y;z) k.es un campo vectorial con
3
3
derivadas parciales finitas,
r r definido de A en R , con A R , se llama rotor de F en un punto
Po de su dominio a: F (P0)
Es decir:

(
i
r r

F ( x; y; z) =
x
F1

(
j

y
F2

(
k
F
F ( F
F ( F
F (

= 3 2 i 3 1 j + 2 1 k
z y
z x
z x
y
F3

II. 2.- Interpretacin fsica:

El rotor de un campo se vincula con el movimiento de rotacin que produce. En
efecto, si consideramos un rcuerpo rgido que gira en torno a un eje, el movimiento se
describe mediante el vector w (velocidad angular) que tiene la direccin del eje de rotacin y

114

verifica que, para todo punto P del cuerpo que: w = r x v donde r es el vector posicin
de P y v el vector velocidad tangencial.

Por propiedad del producto vectorial, resulta v = w x r

Si consideramos que el cuerpo gira en torno al eje z, es
w = w k ; r= x i + y j + z k , por lo tanto:

( ( (
i j k
(
(
r
v = 0 0 w = wyi + wx j
x y z

Resulta

(
(
(
i
j
k
r r
(
(

v =
= ( w + w)k = 2 wk
x
y z
wy + wx 0

Es decir, que en la rotacin de un cuerpo rgido, el rotor del campo de velocidades

tangenciales es el doble del vector velocidad angular.
Cuando el rotor de un campo es nulo , significa que no produce rotaciones, es irrotacional.
Ya demostramos que los campos de gradientes son irrotacionales.
II.3.- Teorema del rotor ( o de Stokes)

Sea un campo vectorial F: A R 3 , con A R 3 , con derivadas parciales

continuas,
y sea una superficie abierta orientable, imagen de un campo vectorial
r
: B A con derivadas parciales continuas y no simultneamentes nulas, limitada por una
r
curva regular cerrada C , entonces
la
circulacin
de
F
a lo largo de C en sentido antihorario,
r
es igual al flujo del rotor de F a travs de considerando las normales apuntando hacia
fuera.
r
r
r
r
z
C F . d r = ( F ) n( . d
(
n
Consecuencia: Consideremos un campo vectorial
continuo y dos superficies abiertas, orientables,
regulares, incluidas en su dominio, limitadas por la
misma curva regular cerrada C. De acuerdo con el
Teorema del rotor, el flujo del rotor a travs de
cualquiera de las dos superficies , en el sentido de la
normal exterior ,es el mismo, ya que en ambos casos el
flujo es igual a la circulacin

2
C
x

115

ECUACIONES DIFERENCIALES
I.- Definicin:
Una ecuacin diferencial es una ecuacin que establece una relacin entre las variables
independientes, una funcin y sus derivadas.
Si la funcin buscada depende de una variables ( es del tipo y = f(x) ), la ecuacin se llama
ordinaria. Si la derivada de mayor orden que aparece es de orden "n" , se dice que es una
ecuacin diferencial ordinaria de orden n.
En smbolos: F(x;y;y';y";...;y(n) ) = 0
Si la funcin buscada depende de ms variables, se llama ecuacin diferencial a
derivadas parciales.
(Ecuacin a derivadas parciales de 2do orden) Por ejemplo:

2 z 2 z
+
=0
x2 y2

Si la ecuacin diferencial se escribe como un polinomio respecto de las derivadas,

llamamos grado de la ecuacin diferencial, al mayor exponente que afecta a la derivada
que da el orden a la ecuacin.
er
to
Ejemplo: (y" )5 - (y" )4 .x = e x (ecuacin diferencial ordinaria de 3 orden ,5 grado.
En cambio, 2 y " + y'" = 0 no tiene grado
II.- Soluciones de una ecuacin diferencial:
Toda funcin y = f(x) que reemplazada en la ecuacin diferencial, la transforma en una
identidad, es solucin de la ecuacin diferencial.
Ejemplo: y' = y (1);
f(x)=ex la verifica, por lo tanto f(x)=ex es solucin de (1), pero tambin la verifica f(x) =
2ex.
En general: f(x)= C.ex satisface la ecuacin (1).
La familia de curvas y = C.ex es la solucin general de (1). (Abreviaremos S.G.)
Se llama S.G de una ecuacin diferencial ordinaria de primer orden a la familia de
funciones f(x;C), que depende de una constante arbitraria C (parmetro) y satisface las
siguientes condiciones:
a) Para todo C, se satisface la ecuacin diferencial;

116

b) Si se da una condicin inicial , es decir un punto por el que se pretende pase la curva
solucin (por ejemplo, y(xo)= yo), se puede hallar C = Co /y =f(x; Co) verifica la ecuacin
diferencial y la condicin inicial.
La solucin y =f(x; Co) es una solucin particular (S.P) de la ecuacin diferencial
planteada.
Si la ecuacin diferencial es de orden "n", las soluciones generales dependen de n
parmetros, que son constantes arbitrarias, independientes; es decir, no pueden reducirse.

Solucin particular es aquella que se deduce de la general determinando el valor de l

o los parmetros; sujetas a ciertas condiciones iniciales, previamente establecidas.

A veces existen soluciones que verifican la ecuacin diferencial , pero no pertenecen a

la SG, de la misma, se llaman soluciones singulares (SS)

Ejemplo:
y = x y" - y'2. Para resolverla podemos hacer y' = u (1) ;
se tiene y = x. u - u2 (*); entonces : y'= u + u'.x - 2u. u' (2)
Igualando (1) y (2): u = u + u' (x - 2.u)

u' (x - 2 u) = 0 u'= 0 v x = 2u

u' = 0 u = C reemplazando en (*): y = C.x - C2

SG

u = x/2 y = x2/2 - x2/4 y = x2/4 S.S

III.- Obtencin de la ecuacin diferencial de una familia de curvas:

Dada la ecuacin finita una flia. de curvas dependiente de uno o ms parmetros, interesa
encontrar su ecuacin diferencial. Para ello se deriva tantas veces como parmetros
aparezcan y se opera hasta eliminarlos de la expresin.
Por ejemplo:
a)Hallar la ecuacin diferencial de la flia. de rectas que pasan por el origen; la ecuacin
finita es

Derivamos ambos miembros:

Reemplazando se obtiene la
ecuacin diferencial del haz de rectas:

y = m x (donde m es el parmetro).
y ' = m.
y = y '.x

117

IV. Mtodos de resolucin de ecuaciones diferenciales de primer orden:

IV.1- Variables separables
Es el ms sencillo; sirve para resolver ecuaciones diferenciales que pueden llevarse a la
forma:
f1(x). g1(y) dx + f2(x). g2(y) dy=0
f1 ( x ). g1 ( y ). dx = f 2 ( x ). g2 ( y ). dy

Ejemplo: : y =

x+1

g ( y)
f ( x)
g ( y)
f ( x)
1 dx = 2 dy 1 dx = 2 dy
(
)
f2 ( x )
f
x
g1 ( y )
g1 ( y )
2

( y 4 + 1)dy = (x + 1)dx

y4+1

y5
x2
+ y =
+ x + C
5
2

y 4 + 1 dy = ( x + 1) dx

S.G.

IV.2.- Ecuaciones diferenciales homogneas

IV.2.1) Funcin homognea de grado n
F: AR con A R2 es homognea de grado "n" si y slo si t R : F(t x;t y)= t
F(x;y).
Ejemplos: i) F(x;y) = x3 + x2y es homognea de grado 3 ya que
F(t x;t y)=t3.x3 + t2.x2.t.y= t3.x3 + t3.x2. y= t3.(x3+ x2.y)= t3.F(x;y)
ii) F(x;y)= ex/y es homognea de grado 0 pues
F(t x;t y) = e tx/t y = e x/y= t0. F(x;y)
IV.2.2.- Propiedad:
Las funciones homogneas de grado 0 pueden escribirse en funcin de y/x.
En efecto: F(x;y) homognea de grado 0 F(tx;ty) = F(x;y), t
1

1
x

Si t = 1/x, se tiene F . x; . y = F(x;y)

x

G(y/x)

= F(x;y)

118

IV.2.3.- Ecuacin diferencial ordinaria de primer orden homognea

Se llama as a aquella ecuacin diferencial que puede escribirse como:
y' = F(x;y) siendo F(x;y) homognea de grado 0
y
x

Por la propiedad anterior: y' = G (*)

Se

transforma

en

una

ecuacin

variables

separables

mediante

la

y
sustitucin: z = y = z. x y ' = z ' x + z
x

Reemplazando en (*) : z'. x + z = G(z)

dz
dz
x + z = G( z )
x = G( z ) z
dx
dx

ln| x| =

Resulta:

G( zdz) z = dxx

dz
G(z) - z

dz

x = e G(z)- z

S.G

NOTA: G(z) - z = 0 puede dar lugar a soluciones singulares.

Ejemplo: y xy = x 2 + 2 y 2

x2 + y2
x y
y '=
y '= +
Haciendo la sustitucin y = z.x , y reemplazando y se
xy
y x
tiene:

z 'x+ z =

Resulta:

1
1
dz
1
dx
dx
+ z z ' x = x = z.dz =
. z.dz =
z
z
dx
z
x
x

y2
1 2
2
2
z = ln Cx . Reemplazando : 2 = ln CX y = 2 x ln Cx S.G
2
2x

IV.3.-Ecuaciones diferenciales lineales

Responden a la forma: y' + P(x).y = Q(x) (*)
Si Q(x) = 0 se lleva a variables separables:

119

u ' + P(x) . u = 0

(**)

du
du
= P( x ). u
= P( x ). dx
dx
u

du
= P( x )dx
u

ln u = P( x )dx u = e P( x )dx
Para resolver (*) se utiliza la denominada sustitucin de Lagrange que consiste en hacer
y = u. v donde u es una solucin particular de (**)
y = u. v y' = u'. v + u . v'
En (*): u'. v + u . v'+ P(x). u . v = Q(x)
u. v' + v.[ u' + P(x). u] = Q(x)
P( x ) dx
Si u = e
, la expresin entre corchetes es 0 y resulta:

e- P(x)dx .

dv
= Q(x) dv = Q(x).e P(x)dx .dx + C
dx

Entonces:

y = u. v y = e P( x )dx Q( x ). e P( x )dx . dx + C

Ejemplo: y+ 2y = 4x
Buscamos u/ u+ 2 u = 0
u = - 2 u

du
du
= 2 u
= 2 .dx
dx
u

du
= - 2 dx ln u = 2 x
u

u = e 2 x
Hacemos la sustitucin y = u. v con u = e 2 x

y= uv + u v , entonces: uv + u v + 2 u v = 4x
u v + u( v+ 2 v ) = 4x
0
e 2 x

dv
= 4x v =
dx

4 xe

2x

dx v= ( 2 x 1 ). e2 x + C

120

Resulta y = e 2 x [ ( 2 x 1 ). e2 x + C ] y =C. e 2 x + 2x-1

120

IV.4.- Ecuaciones diferenciales totales exactas

Son del tipo :
P(x;y)dx + Q(x;y) dy = 0 (1)
siendo el primer miembro una expresin tal que se pueda asegurar la existencia de una
funcin U(x;y)/dU(x;y)=P(x;y) dx + Q(x;y)dy ( U(x;y) es la funcin potencial)
(Para reconocerlas recordar la condicin necesaria y suficiente para que un campo de
vectorial sea de gradientes.)
Se busca, con el procedimiento habitual, la funcin potencial y se reemplaza en el primer
miembro:
dU(x;y) = 0 U(x;y) = C S.G de (1)

IMPORTANTE: La funcin potencial es un campo escalar de dos variables y lo que se

busca es una flia. de funciones escalares de una variable , que son las curvas de nivel de la
funcin potencial. Es un gravsimo error de concepto dar como solucin general de (1)
U(x;y).
Ejemplo:
(cos y + y. cos x).dx = (x.sen y - sen x) dy ,que puede escribirse:

(cos y + y. cos x).dx + (sen x - x.sen y) dy = 0

P(x;y)

Q(x;y)

Es una ecuacin diferencial total exacta, ya que P 'y = Q'x, siendo todas las funciones
involucradas , continuas al igual que sus derivadas
En efecto: P'y = - sen y + cos x ; Q'x = cos x - sen y
Buscamos la funcin potencial U(x;y)/ U'x = cos y + y . cos x
U'y = sen x - x . sen y (*))/
U
U(x; y) =
.dx = (cos y + y cos x)dx
x
Resulta: U( x; y) = x cos y + y sen x + ( y)
Derivando respecto de "y" e igualando con (*), se tiene:
x sen y + sen x + ' ( y) = sen x x sen y ' ( y) = 0 ( y) = C

120

121

Luego es: U ( x; y) = x cos y + y sen x + C la S.G. de la ec. dif

es x cos y + y sen x + c = 0
V.5.--Ecuaciones que se reducen a diferenciales totales exactas

Consideremos una ecuacin del tipo:

P(x;y) dx + Q(x;y) dy = 0
que no sea diferencial total exacta, es decir P'y Q'x.
Como si multiplicamos ambos miembros de una igualdad por una misma expresin
obtenemos otra igualdad, buscaremos un factor integrante que llamaremos (x;y), que
transforme el primer miembro de la ecuacin en una expresin diferencial total exacta.
Es decir, queremos encontrar (x;y)/ (*) (x;y) P(x;y) dx + (x;y).Q(x;y) dy = 0 sea
ecuacin diferencial total exacta.

( ( x; y ) P( x; y )) (( x; y ). Q( x; y ))
=
y
x
(x; y)
P(x; y)
(x; y)
Q(x; y)
P(x; y) + (x; y)
=
.Q(x; y) + (x; y)
y
y
x
x
Ha quedado expresada una ecuacin diferencial a derivadas parciales; es decir, con lo que
sabemos slo podremos resolverla si es funcin de una sola variable, o sea si existe (x)
o (y) que transforme la ecuacin dada en diferencial total exacta.
Veamos bajo que condiciones existe (x):
Si = (x)

(x).

P(x; y)
Q(x; y)
d
= (x).Q(x; y) + (x).
( x ). P ' y Q' x =
Q( x; y )
y
x
dx

d P' y Q' x
=
dx

Podremos encontrar (x) slo si

121

P ' y Qx '
slo depende de x, entonces
Q

122

P(x; y)
Q(x; y)
d
y
x
Integrando ambos miembros resulta :
=
.dx

Q(X; y)

r
P ' Q'
P' y Q 'x
y Q x dx
ln = (
)dx = e
Q
Si esto se verifica, se reemplaza en (*) por una de las soluciones obtenidas y se resuelve
la ecuacin como ecuacin diferencial total exacta.
En caso de no existir (x), se puede razonar de la misma forma para ver si existe (y). En
este caso, obtendremos que para que exista (y), debe cumplirse que:

[( y ). P( x; y )
Q
d
=
'. P + P' y = . Q' x
P = Q' x P' y
y
x
dx
d Q' x P' y
=
dx

P
Debe ser funcin de y

En este caso el factor integrante (y) se obtiene resolviendo

Q(x; y)
P(x; y)
d
x
y

=
.dy

P(X; y)

y es:

=e

Q'x P ' y
P

De la misma forma que en el caso anterior, se reemplaza en (*) por la expresin

obtenida y se resuelve como una ecuacin diferencial total exacta.

V.- Interpretacin geomtrica de las ecuaciones diferenciales ordinarias de primer

orden.
Un ejemplo:

Consideremos la ecuacin diferencial y= 2x. Su solucin general es : y = x2 + C. Para

r
cada punto del plano la ecuacin diferencia define un campo vectorial t = ( 1 ;2 x ) que es

122

123

tangente a la curva de la familia que pasa por ese punto. Las curvas 2x = k unen los
puntos de las distintas curvas de la S.G. que admiten tangentes paralelas.

cam po de dir eccion es

S.G

isoclin a

r
t define un campo de direcciones tangente a las curvas que constituyen la solucin

general de la ecuacin diferencial.

Isoclinas (igual inclinacin): son curvas que unen los puntos en los que las distintas
curvas de la S.G. tienen tangentes paralelas.
En general:
r
Dada la ecuacin y= f(x;y), el campo vectorial t = ( 1 ; f ( x ; y )) define un campo de
direcciones que es tangente, en cada punto, a una curva de la S.G.
Las curvas f(x;y)= k son las isoclinas , es decir las curvas que unen los puntos en los
que el campo tiene la misma direccin.
Otro ejemplo:

123

124

y2 + x2.y=0
dy
y2
dy
dx
=

2 = 2
2
2
dx
x
x
y
x
1 1 + Cx
x

=
y =
( S.G)
y
x
1 + Cx
y' =

y2

dy

dx

y 2 = x2

El campo de direcciones est dado por: t = 1 ;

Las isoclinas responden a ecuaciones del tipo:

1 1
= +C
y
x

y 2
x 2
y2
x

= cte y 2 kx 2 = 0

isoclin a

Algu n as
cu r vas
de la S.G.

VI.-Trayectorias ortogonales
1.- Una curva es ortogonal a otra si y slo si la corta y en el punto de interseccin las rectas
tangentes son perpendiculares. Ejemplo: La circunferencia C es ortogonal a la recta r

124

125
3

-3

-2

-1

-1

-2

-3

2.- Una curva es trayectoria ortogonal a una flia. de curvas si y slo si es ortogonal a todas
las curva de la flia .
Ejemplo: La circunferencia C es ortogonal a la flia de rectas que pasan por su centro.
y

3.- Una familia de curvas constituyen las trayectorias ortogonales de otra si y slo si cada curva
de la primera es ortogonal a cada curva de la segunda.
Ejemplo: El conjunto de circunferencias con centro O es la familia de trayectorias ortogonales
del conjunto de rectas que pasan por su centro.
y
x

Para hallar la ecuacin finita de la flia. de trayectorias ortogonales:

a)Si se conoce la ecuacin finita de una familia de curvas, por derivacin puede eliminarse
el parmetro y obtener la ecuacin diferencial que caracteriza a la familia dada. F(x;y;y') = 0
125

126

En el ejemplo: La ecuacin del haz de rectas es y = mx.

Derivando, se obtiene: y ' = m; es decir y = y'.x
b) Como el producto de las pendientes de dos rectas perpendiculares es igual a -1, para
hallar la ecuacin diferencial de la familia de trayectorias ortogonales, en la ecuacin
diferencial obtenida en a), se reemplaza y' por -1/y.
F(x'y'-1/y')=0
En el ejemplo:

y = (- 1/ y'). x

c) Finalmente, para hallar la ecuacin finita de la familia. de trayectorias ortogonales hay que
resolver la ecuacin planteada en b)

y2
x2
y .dy = - x . dx
=
+C
2
2

y = (- 1/ y'). x y'.y = - x

y2 + x2 = 2C
Trayectorias ortogonales en coordenadas polares
Si una curva est dada en coordenadas polares por una expresin del tipo: = 1 ( ) ,
puede pensarse como el conjunto imagen de una funcin vectorial
r
x1 ( ) = (1 ( ). cos ; 1 ( ). sen )

Su vector tangente es, por lo tanto, su vector derivado:

r
x '1 ( ) = ('1 ( ). cos 1 ( ). sen ; '1 ( ). sen + 1 ( ). cos )

Si una curva = 2 ( ) es ortogonal a la definida por = 1 ( ) , ser imagen de una

r
funcin vectorial x2 ( ) = (2 ( ). cos ; 2 ( ). sen ) , cuyo vector tangente ser
tambin su vector derivado:
r
x '2 ( ) = ('2 ( ). cos 2 ( ). sen ; '2 ( ). sen + 2 ( ). cos )

En el punto donde se cortan ortogonalmente deber cumplirse: 1 ( ) = 2 ( ) (porque

se cortan) y
r
r
X '1 ( ). X '2 ( ) = 0 ( por ser perpendiculares).
'1 ( ). '2 ( ) cos 2 + 2 1 ( ). sen 2 '1 ( ) 2 ( ) cos sen 1 ( ) '2 ( ) cos sen +
+ '1 ( ) '2 ( ). sen 2 + '1 ( ) 2 ( ) cos sen + 1 ( ) '2 ( ) cos sen + 2 1 ( ). cos 2 = 0

'1 ( ). '2 ( ) cos 2 + sen 2 + 1 2 ( ). cos 2 + sen 2 = 0

126

1
1

127

Entonces, si indicamos con a la funcin conocida y con 1 a su perpendicular, se

debe cumplir: '1 . ' +2 = 0 '1 =

2
'

Lneas de campo y equipotenciales para campos conservativos

r

Dado un campo vectorial conservativo F ( x ; y ) = (P( x ; y ); Q ( x ; y ) ) es posible hallar

r

una funcin U(x;y) ( funcin potencial ) / F ( x ; y ) = U( x ; y ) .

Por otra parte, un campo vectorial puede definir un campo de direcciones , es decir
puede definir el conjunto de vectores tangentes a una flia. de curvas que se llaman
lneas de campo.
Las lneas equipotenciales son las curvas de nivel de la funcin potencial. Como el
gradiente es perpendicular a las curvas de nivel y , en este caso, es tangente a las lneas
de campo, resulta que las lneas de campo son las trayectorias ortogonales de las curvas
equipotenciales.

127

128

Ecuaciones diferenciales de segundo orden

I.- Funciones L.I
Un conjunto de n funciones {y1(x), y2(x),...,yn(x)} es linealmente independiente
( L.I.) en un intervalo ( a, b) si y slo si para cualquier x perteneciente al intervalo se
cumple que la nica combinacin lineal de las n funciones que da la funcin nula es la
que tiene todos los coeficientes iguales a cero.
En smbolos:

L. I . x [ a, b]: ci yi ( x) = 0 ci = 0, para i {1,2,... n}

i=1

{ y1 ( x); y2 ( x);L; yn ( x)} es

II.-Wronskiano

Wronskiano de un conjunto de n funciones {y1(x), y2(x),..., yn(x)}, derivables hasta el

orden (n-1) , es el determinante de la matriz formada por las funciones y sus (n -1) primeras derivadas

W(y1,....,yn) =

y1
y1 '
M
( n1)

y1

y2
y2 '
M
( n1)

y2

L
K
M

yn
yn '
M
yn(n1)

III.- Teorema
Si el wronskiano de n funciones es no nulo para todo x perteneciente al intervalo (a,b)
entonces las n funciones son L.I en ( a,b).
En efecto:
Planteemos una combinacin lineal nula de las n funciones. Debemos probar que los
coeficientes de tal combinacin slo pueden ser 0.
Para hallar los n coeficientes debemos formar u sistema de n ecuaciones con n incgnitas.Para ello derivamos la combinacin lineal (n-1) veces:
C1 y1 + C2 y2 +...+Cn yn = 0
C1 y1 + C2 y2 +...+Cn yn = 0
............................
C1 y1(n-1) + C2y2(n-1) + ...+Cn yn(n-1) = 0

129

ste, para cada valor de x ,es un sistema lineal y homogneo respecto de las incgnitas C1, C2,...,Cn.
El determinante de los coeficientes es, para cada valor de x, el wronskiano de las n funciones, que por hiptesis es distinto de cero. Por lo tanto el sistema tiene solucin nica
que es la trivial. Es decir, los Ci son nulos, para cualquier i, y las funciones resultan linealmente independientes.

IV.-Ecuaciones diferenciales lineales de segundo orden.

Responden a la forma:
ao(x).y + a1(x). y + a2(x).y = Q(x) con ai(x) continuas.
Si los ai son constantes, la ec. se llama ecuacin diferencial de segundo orden lineal
con coeficientes constantes. Si Q(x) = 0, se dice que es homognea o con segundo
miembro nulo o reducida.
IV.1.-Propiedad
Si y1(x) e y2(x) son S.P. de ao.y + a1.y + a2.y = 0
entonces cualquier combinacin lineal de ellas tambin es solucin.
En efecto: Sea y = C1y1 +C2y2, resulta
y= C1y1 +C2y2
y= C1y1 +C2 y2 , reemplazando en la ec. dif. se tiene:
ao.(C1y1 +C2 y2) + a1.( C1y1 +C2 y2)+a2.( C1y1 +C2 y2 )=

=C1.(ao.y1+ a1.y1+ a2.y1) + C2.(ao.y2+ a1.y2+ a2.y2)=0

0 pues y1 es S.P

0 pues y2 es S.P

Luego y = C1y1 +C2y2 es solucin de la ecuacin diferencial

Adems si y1 e y2 son S.P.L.I de la ecuacin diferencial, ao.y+ a1.y+ a2.y = 0, cualquier otra solucin se puede escribir como combinacin lineal de ellas.
En efecto:
Sean y1 e y2 dos S.P L.I de ao.y+ a1.y+ a2.y = 0 y sea y otra S.P. cualquiera que satisface las condiciones

130

y( x0 ) = y0

y '( x0 ) = y '0

Se quieren determinar los coeficientes de una combinacin lineal

que permita expresar y en funcin de y1 e y2..

Se quiere que: yo =c1 y1(xo) + c2. y2(xo)

yo =c1 y1(xo)+ c2. y2(x0)
Es un sistema lineal homogneo con solucin nica ya que el determinante de los coeficientes es distinto de cero por ser el wronskiano de dos funciones L.I.
Por lo tanto la S.G. de la ecuacin diferencial. de segundo orden lineal reducida , se
obtiene como combinacin lineal de dos S.P de la misma.

V.-Para encontrar S.P. de la ecuacin diferencial de segundo orden, lineal, con coeficientes constantes y segundo miembro nulo.
Proponemos una solucin de la forma y = er x
Veremos que valor debe tomar rpara que y sea solucin de la ecuacin diferencial
ao.y + a1.y + a2.y = 0
Obtenemos ye y y reemplazamos en la ecuacin diferencial
y= r.erx ; y= r2. erx
Debe ser, sacando e rx de factor comn:

e r x.( ao.r2 + a1.r + a2) = 0.

Como el primer factor no puede ser cero, debe cumplirse:

ao.r2 + a1.r + a2 = 0 (Ecuacin caracterstica)
Al resolver esta ecuacin pueden presentarse distintas situaciones:
a) Que tenga races reales y distintas ( r1 y r2)
En este caso obtenemos dos S.P: y1 = er1x; y2=er2x
Debemos probar que son L.I.Para ello hallamos su wronskiano:

e r1 x
r x
r1 . e 1

e r2 x
pues los primeros factores son exponenciales y
r1 x
r x
. e 2 ( r1 r2 ) 0 , el tercero no puede ser cero por ser la diferencia
r2 x = . e
r2 . e
entre dos nmeros distintos.

Como las S.P. halladas son L.I., la S.G. de ao.y + a1.y + a2.y = 0 , es:
r x

r x

y = c1 e 1 + c2 e 2

131

b) Que tenga races complejas conjugadas

r1 = a + b y ; r2 = a - bi
En este caso es vlido lo planteado para el anterior, pero recurrimos a la frmula de la
exponencial compleja para trabajar con funciones de variable real.
Recordamos que:
ei = cos + i. sen
r x

r x

La S.G. es y = c1 e 1 + c2 e 2
( a +bi ) x

y = c1 e

( a bi ) x

+ c2 e

= e ax ( c1 e b i x + c2 e b i x ) =

= e ax.[c1.(cos bx + isen bx) + c2.(cos(-bx) + isen(-bx))]=

= eax.[(c1+ c2)cos bx + i.(c1-c2) senbx],teniendo en cuenta que
cos(-bx)=cosbx ; sen(-bx) = - senbx
y llamamos: A 1 = c 1 +c 2 y

A 2 = c 1- c 2

Luego para el caso en que las races de la ecuacin caracterstica son complejas conjugadas, la S.G. es
y =e ax.(A1 cosbx + A2 senbx)

c) Que tenga races reales e iguales.

Si r1 = r2, una S.P es y1 = e r1x. Probaremos que y2= x .er1x tambien es S.P . y que adems, as definidas y1 e y2 son L.I.
y2 = x. er1x

y2= er1x + r1 x er1x = e r1x. (1 + r1.x),

y2= r1.e r1x.(1+r1 x)+ r1.e r1x = e r1x .(2.r1 + r12.x),

reemplazando en la ecuacin diferencial
se tiene:
e r1x.[ao. (2.r1 + r12.x) + a1.(1 + r1.x ) +a2.x]= e r1x.[x.(ao.r12+ a1.r1 + a2) + (2aor1 + a1)]= 0
es 0 pues r1 es raz
de la ec. caract

es 0 pues r1 es raz.
doble de la ec. caract.
y por lo tanto es raz
de su polinomio
derivado.

132

Adems y1 e y2 son LI.

W=

e r1 x
r x
r1 . e 1

r x

e1

xe r1 x
r1 x
r x
. e 1 (1 + r1 x r1 x ) 0 ,
r1 x = . e
+ xr1 . e

Por lo tanto las funciones son L.I.

En este caso, la S.G. de ao.y + a1.y + a2.y = 0 es
y = e r1 x.(C1 + C2 .x)
VI.- Ecuaciones diferenciales ordinarias de segundo orden, lineales, con coeficientes
constantes y segundo miembro no nulo.
Son de la forma : ao y + a1 y+ a2 y = G(x) con aiR, para y{0,1,2} con ao 0 y
G(x) continua en (a,b)
Teorema 1
La diferencia entre dos soluciones particulares de la ecuacin:
ao y + a1 y+ a2 y = G(x)(*)
es solucin de la ecuacin diferencial homognea asociada
ao y + a1 y+ a2 y = 0
En efecto: Si u1(x) y u2(x) son S.P de (*), se cumple:
ao u1 + a1 u1+ a2 u1= G(x)
ao u2 + a1 u2+ a2 u2= G(x)

Restando miembro a miembro

se tiene:

ao (u1- u2)+ a1 (u1- u2)+ a2 (u1 - u2) = G(x) - G(x) = 0, o sea:

ao (u1- u2)+ a1 (u1- u2)+ a2 (u1 - u2)= 0 , lo que significa que u1(x) - u2(x) es solucin
de la homognea.

Teorema 2
Cualquier solucin de (*) puede expresarse como suma de una S.P. de (*) ms una
combinacin lineal de soluciones particulares L.I. de la ecuacin homognea asociada.
Consideremos : yp S.P de (*) conocida y u1(x) - u2(x) dos soluciones L.I. de la ecuacin
diferencial homgenea asociada.

133

Por el teorema anterior si (x) es S.P de (*), entonces:

(x)- yp es solucin de la homognea asociada, entonces podr escribirse como combinacin lineal de u1(x) y u2(x).
Es decir:
(x)- yp = C1 u1(x) + C2 u2(x),
de donde cualquier S.P de (*) puede escribirse como:
(x)= yp + C1 u1(x) + C2 u2(x),
Los ltimos dos trminos constituyen la S.G. de la homogneas, por lo tanto la S.G de
(*) se obtiene con:
y = yh + yp
Existen distintos mtodos para obtener yp ; analizaremos dos de ellos: el de variacin de
los parmetros y el de los coeficientes indeterminados.

Mtodo de variacin de los parmetros

Consideramos la ecuacin homognea asociada : ao y+ a1 y+a2 y =0 .

Su solucin general es y h = C1 u1 (x) + C2 u2 (x), siendo u1 (x) y u2 (x) L.I
Proponemos como solucin particular una funcin de la forma de yh pero pensando que
C1 y C2 son funciones de x.
Es decir :

y p = C1 (x)u1 (x) + C2 (x)u2 (x) (*).

Interesa encontrar C1(x) y C2(x) como para que la solucin propuesta verifique la ecuacin:
ao y+ a1 y+a2 y = Q(x) (1)
Se busca un par de funciones que cumplan (1), pero se dispone de una sola ecuacin
con dos incgnitas. Para identificar algunos de los infinitos pares de funciones que podran obtenerse, puede establecerse una condicin arbitraria que en lo posible, facilite
los clculos.
Derivamos yp: yp = C1 (x) . u1 (x) + C1 (x) . u1 (x) + C2 (x) . u2 (x) + C2 (x) . u2 (x)
Para facilitar el clculo de la derivada segunda, se impone como condicin adicional que
la suma de los trminos subrayados sea 0.
Es decir:
(2)
C (x) . u (x) + C (x) . u (x) =0
1

Resulta: yp = C1 (x) . u1 (x) + C2 (x) . u2 (x)

134

Entonces: yp = C1 (x) . u1 (x) + C1 (x) . u1 (x) + C2 (x) . u2 (x) + C2 (x) . u2 (x)

Reemplazando en (1) se tiene:
a0 (C1 (x) . u1 (x) + C1 (x) . u1 (x) + C2 (x) . u2 (x) + C2 (x) . u2 (x) ) + a1 (C1 (x) .
u1 (x) + C2 (x) . u2 (x) ) + a0 (C1 (x) . u1 (x) + C2 (x) . u2 (x) ) = Q(x)
Agrupamos los trminos que contienen C1 (x) y los que contienen C2 (x)
Por lo tanto es:
C1 (x) { a0 u1 (x) + a1 u1(x) + a 2 u1 (x)} +C2 (x).{ a0 u2 (x) + a1 u2(x) + a 2 u2 (x)} +
a0 { C1 (x) . u1 (x) + C2 (x) . u2 (x) } = Q(x)
Las expresiones subrayadas dan cero porque u1 (x) y u2 (x) son soluciones de la ecuacin homognea asociada; por lo tanto queda:
a0 { C1 (x) . u1 (x) + C2 (x) . u2 (x) } = Q(x)
(3)

C1 (x) . u1 (x) + C2 (x) . u2 (x) = Q(x)/ a0

El sistema que nos permitir resolver el problema es:

C.1 (x)u1 (x) + C2 (x)u2 (x).=0
C1 (x) . u1 (x) + C2 (x) . u2 (x) = Q(x)/ a0
Resolvemos el sistema por Cramer:
0
Q( x )
C 1 =

a0

u2

u1

u' 2

u '1

u1 u2
u '1 u ' 2

C 2=

0
Q( x )
a0

u1 u2
u '1 u ' 2

El denominador (que es el wronskiano de u1 y u2) es distinto de cero por ser u1(x) y

u2(x) L.I . Luego el sistema tiene solucin nica y se puede obtener C 1 y C 2 .
Finalmente integrando se obtiene C1(x) y C2 (x) que reemplazadas en (*) conduce a la yP
buscada.

135

Mtodo de los coeficientes indeterminados

El mtodo se puede aplicar sin problemas cuando Q(x) es:

1)
2)
3)
4)

Polinmica
Exponencial
Combinacin de senos y cosenos
Combinacin lineal de cualquiera de los casos anteriores.

El mtodo consiste en proponer una funcin del mismo tipo con coeficientes a determinar.
Estos valores se obtienen derivando la funcin propuesta dos veces y reemplazando en
la ecuacin original.
n

1) Q(x) = bi x i
i =0

Si al resolver la ecuacin caracterstica resul- entonces se propone como yp:

ta que:
n
0 no es raz ( a0, a1 y a2 son distintos de cero)
(El polinomio que se propone es un
Ai x i

polinomio completo del mismo

grado que Q(x), aunque a Q(x) le
falten trminos)

i =0

0 es raz simple (a2 =0)

x.

Ai x i

i =0

0 es raz doble (a1=0 y a2 =0)

x2

Los coeficientes a determinar

son los Ai.

Ai x i

i =0

2) Q(x) = B. e x
Si al resolver la ecuacin caracterstica resulta que:
no es raz
es raz simple
es raz doble

entonces se propone como yp:

A e x
A.x. e x
A.x2. e x

El coeficiente a determinar es A

3) Q(x) = M cos x + N sen x

(Aunque M N sean 0 se propone una combinacin lineal de seno y coseno)
Si al resolver la ecuacin caracterstica resul- entonces se propone como yp:
ta que:
Los coeficientes a
i no es raz
A1 cos x +A2 sen x
determinar son los

i es raz

x.( A1 cos x +A2 sen x)

Ai

136

4)Si Q(x) es una combinacin lineal de los casos anteriores la yp que se propone es
una combinacin lineal de las que se propondran aisladamente.
Por ejemplo: y 2 y= x2 + 3 e2x + cos x.
La ec. carac. es: 2 2 = 0 1 = 2 y 2 = 0
Entonces yp = x(A2 x2 +A1 .x +A0) + A3 .x. e2x + A4 cos x +A5 senx

Curva Definicin:

Sea

f : S m una funcin continua en S se denomina curva descripta por f al conjunto imagen de S al

aplicar f
Curva lisa o suave:

Para que una curva sea suave o lisa

f : [a, b] m tiene derivada continua para todo el intervalo y distinta de 0

Superficie Definicin:

Sea

f : S 2 3 / f ( x ) = (x (u, v ); y (u, v ); z (u, v ) ) una funcin vectorial de variable vectorial cuyas

componentes son continuas en un conjunto conexo S llamamos superficie a la imagen de

Superficie Regular:
Para que una superficie sea regular debe cumplir con:
1) Las derivadas parciales de la funcin deben existir y ser continuas
2

f f

2) El producto el producto vectorial entre ambas tiene que ser distinto del vector nulo
0
u
v
Continuidad definicin:

f ( x0 )

n
m
Sea f : S y f es continua en x0 punto de acumulacin de S lim f ( x ) = B
x x0

f (x ) = B
0

Definicin de derivada de una funcin vectorial

Sea

f (t ) : S n n 2 t0 un punto interior de S. Se define f ' (t0 ) como

f ( x0 + h ) f ( x0 )
f ' (t0 ) = lim
esto se aplica a las n componentes de la funcin
h 0
h
Recta tangente a la curva
Ya que la interpretacin geomtrica de la derivada es la obtencin de un vector, el cual indica la direccin de la

tangente a la curva en

P0 => X = f ( P0 ) + f '( P0 )

Plano normal a la curva

X f (t0 ) . f '(t0 ) = 0

Definicin de derivada de un campo escalar

Sea

f x : S n n 2 x 0 un punto interior de S y r vector. Se define f ' ( x 0 , r ) como

f ( x0 + h r ) f ( x0 )
f ' x0 , r = lim
h

h 0

Teorema de Schwarz
Sea

f x : S 2 existen f ' x , f ' y , f " xy en un entorno de x0 = ( x0 , y0 ) punto interior de S. Si f " xy es

continua en

x0 existe f " yx y cumple con f " xy = f " yx

Diferenciabilidad definicin

r
r
r
f : S n m definida en el conjunto abierto S. Decimos que f es diferenciable en x0 de S si existe una
r r
r r
r r
f
(
x
)

f
( x0 ) T ( x x0 )
n
m
T.L. T : tal que: lim
=0
r r
x x0
x x0
r v
La T.L. T se llama diferencial de f en x0
Sea

f : S 2 se puede expresar como

r r
r
r
r
r
r
f ( x ) f ( x0 ) = T ( H ) + H . ( H ) siendo lim
(H ) = 0
r

Caso particular de diferenciabilidad con

H 0

Teorema de existencia y derivabilidad de una funcin definida implcitamente por una ecuacin

F : S n si
v
v
X 0 S / F ( X 0 ) = 0

F es continua en un entorno de

Existen y son continuas en un entorno de

F
x n

Dada

r
X0

r
X 0 todas las derivadas parciales de F (Gradiente continuo)

0
v
( x0 )

Entonces

r
r
V ( X 0 ) n1 con X0 = ( x1 , x2 ,...., xn 1 ) n1 ; existe una nica funcin
r
r
f : V ( X 0 ) / f ( x1 , x2 ,...., xn 1 ) = xn y F ( x1 , x2 ,...., xn1 , f ( X 0 )) = 0 con derivadas parciales

Existe un entorno

continuas

r
Fx
f xi = i .
Fxn

Definicin de derivada direccional maxima.

cos = 1
f
max r
v

v
= f ( x0 )
x0

Definicin de derivada direccional minima.

cos = 1
f
max r
v

v
= f ( x0 )
x0

Regla de la cadena para campos vectoriales o de forma matricial

r
v
f : U n m un campo vectorial con derivadas parciales continuas (C1) en X 0U
r r
r
r
m
s
Sea g : V un campo vectorial con derivadas parciales continuas (C1) en Y0 = f ( X 0 )V tal que
r
v
Img f Dom g
r r
v v r
v r r
r r r
r r
n
s
Entonces existe h = g o f y es un campo vectorial h = g o f : U / h ( X ) = g f ( X ) = g (Y ) que es
Sea

r r
r
r r r r r
derivable en X 0 y su natriz jacobiana est dada por Dh ( X 0 ) = Dg f ( X 0 ) Df ( X 0 )
3
12
r
Y0
Extremos condicion necesaria y suficiente

F : S 2
r
r
Puntos criticos: Fx( p0 ) = 0 Fy ( p0 ) = 0
Analisis de los puntos criticos

Fxx
r
H ( p0 ) =
Fyx

F < 0 F ( p0 ) Maximo relativo

Fxy > 0 xx
=
F > 0 F ( p0 ) Minimo relativo
Fyy xx
< 0 punto de ensilladura

Teorema de lagrange para extremos condicionados

r
campos escalares diferenciables en un entorno de X 0 = ( x0 , y0 , z0 ) con derivadas
r
no nulas simultaneamente. Si X 0 = ( x0 , y 0 , z0 ) es un punto critico de f en el conjunto

Sean F G :

A = {( x, y , z ) / G ( x, y, z ) = 0} entonces existe un 0 /( x0 , y0 , z0 , 0 ) es punto critico de

L(x, y , z, ) = F ( x, y , z ) + G ( x, y , z )

Clasificacion de extremos

Lxx
r
H (x, y , ) = Lyx
G x

Lxy
Lyy
G y

G x > 0 maximo

G y = < 0 minimo
0 = 0 nada informa

Integrales de linea independientes del camino

Sea un campo vectorial diferenciable con gradiente continuo en un conjunto abierto y sean 2 puntos culesquiera
pertenecientes a ese conjunto, que estan unidos por una curva regular a trozos g

: s n (A0 , B0 ) s tal que esten unidos por g (t ) : t [a, b]

r r

.dg = ( B) ( A)
c

Teorema de Green-Gauss
Sea

r
r
(
(
F : S 2 2 / F (x, y ) = P (x, y )i + Q (x, y ) j un campo vectorial con derivadas parciales continuas en

el conjunto abierto S ; sea D un recinto simplemente conexo en R limitado por una curva cerrada C
r
( C = g (t ) ) frontera de D, orientada positivamente y de modo tal que S incluya a D y su frontera. Entonces
2

r r
F .dg =

C+

(P(x, y )dx + Q (x, y )dy ) = D [Qx (x, y ) Py (x, y )]dxdy

Teorema de Stokes

Sea f : S un campo vectorial derivable con continuidad en un conjunto abierto S que incluya a una
superficie simple orientable , que es la grfica de una funcin con derivadas parciales segundas continuas, y a una
r
curva regular a trozos C definida por la funcin vectorial g (t ) , que limita la superficie. Entonces
3

(
(rot f .n )d =
r

r r
f .dg

Teorema de Gauss o de la Divergencia

Sea

r
f : S 3 3 en un campo vectorial derivable con continuidad y definido en el conjunto abierto S que

V 3 proyectable sobre los tres planos coordenados, limitado por una superficie
r
r(
(
orientada con sus versores normales n apuntando hacia el exterior. Entonces Div f dx dy dz = f .n d

contiene a un slido simple

Propiedad de homogeneidad demostracin

Propiedad:

f ' x 0 ; r = f ' x 0 ; r

Demostracin:

f
x
;
t
r

f
x
f
x
;
t
r
0

f x0

=
f ' x0 ; r = lim
= lim
0
0
t

t
t

f x 0 ; t r f x 0
f x0 ; t r f x0

= t 0 = lim lim

= f ' x ; r
= lim
0

t 0
t
t

t 0 t0 t0

Demostracin de: funcin diferenciable => funcin continua.

r r
r r
f ( x ) = f ( x0 )
x x0
r
r
f ( x ) f ( x 0 ) T ( x x0 )
Diferenciabilidad: rlimr
=0
x x0
xx
r
r
r
r
f ( x ) f ( x0 ) T ( x x0 )
f ( x ) f ( x0 ) T ( x x0 )
= 0 ( x x0) =

rlim
r
x x0
x x0
x x0
r
r
r
r
( x x 0 ) x x0 = f ( x ) f ( x 0 ) T ( x x0 ) f ( x ) = f ( x0 ) + T ( x x0 ) + ( x x 0 ) x x0
r
r
lim f ( x ) = lim f ( x0 ) + lim T ( x x0 ) + lim ( x x 0 ) x x0
Continuidad: rlimr

x x0

x x0

x x0

x x0

lim ( x x 0 ) x x 0 = 0 por el modulo tender a 0

x x0

lim T ( x x0 ) = lim f ( x 0 )( x x 0 ) = 0
x x
r
r 0
lim f ( x ) = lim f ( x0 ) => f es continua en un entorno de x0

x x0
x x0

x x0

Demostracin existencia de derivada

r r
r r
r
r r r
f ' ( x0 + hr ) f ' ( x0 )
Derivada de un campo escalar: f ' ( x0 , r ) = lim
h 0
h
r
r
r r
f ( x ) f ( x0 ) T ( x x0 )
Diferenciabilidad: rlimr
=0
r r
x x0
x x0
r
r
r r
f ( x ) f ( x0 ) T ( x x0 )
r r r r
r
r
r r
= 0 ( x x0 ) x x0 = f ( x ) f ( x0 ) T ( x x0 )
r r
rlim
r
x x0
x x0
r r r r
r r
r
r
( x x 0 ) x x0 + T ( x x0 ) = f ( x ) f ( x 0 )
r r
r
r (
Primero que es x = x0 + hr pero como r = e i es versor en x. Aplico limite
r
r
r
r
(
(
r
r r
r
f ( x0 + h( e i )) f ( x0 )
T ( x 0 + h ( e i ) x0 )
(
(
lim
= lim
+ lim ( x0 + h( e i ) x0 x0 + h(e i ) x0
h 0
h 0
h 0
h
h
(
(
(
(h( e i )) h(e i )
r
T (h( e i ))
f x( x0 ) = lim
+ lim
h 0
h 0
h
h
Veamos que pasa con el segundo limite

=1
}
h
(
(
(
lim
= 0 ya que h( e i ) = h . e i = h entonces lim (h( e i )) F acotada por infinitecimo = 0
h 0
h

0
h
h
(
(
r
T ( h (e i ))
hT ( e i )
(
f x( x0 ) = lim
= lim
= T (e i )
h 0
h 0
h
h

( h(e i )) h( e i )

Esto demuestra que si la funcin es diferenciable existe la derivada parcial para x. Esto se repite para cada derivada parcial.
Si tomamos esta demostracin y la aplicamos a todas las derivadas parciales como el versor no vale 1 para cada derivada
parcial obtenemos lo siguiente

r r (
v (
f ( x0 , r ) = f ( x 0 ).r

Demostracin de la formula de la derivada implcita.

Suponiendo que una funcin esta definida implcitamente

F ( x, y, z ( x, y )) = 0 ( x, y ) E ( x0 , y0 )

Derivando por regla de la cadena

1
0
r

r
F(x,y,z(x, y)). 0
1 = 0 P0 = ( x0 , y0 , z( x0 , y0 )
z x ( x, y ) z y ( x, y )
F ( P )

Fx( P0 ) + Fz( P0 ). z x ( x0 , y0 ) = 0 z x ( x0 , y0 ) = x 0
1
0
r
r
r
Fz( P0 )

( Fx( P0 ), Fy ( P0 ), Fz( P0 )).
0
1
=
Fy ( P0 )
z x ( x0 , y0 ) z y ( x0 , y0 ) Fy ( P0 ) + Fz( P0 ). z y ( x0 , y0 ) = 0 z y ( x0 , y0 ) =

Fz( P0 )
Demostracion de la perpendicularidad entre el gradiente y las curvas de nivel
Consideremos una curva g de nivel que pasa por ( x 0 , y 0 , z 0 ) de la superficie F ( x0 , y 0 , z0 )

=k
r
r
r
r
r
g (t ) = (g1 (t ), g 2 (t ), g 3 (t ) ) derivable en t0 / g (t0 ) = (x0 , y0 , z0 )
r
r
F ( x0 , y0 , z0 ) = k (F o g )t0 = k (F o g )t0 = 0 Por regla de la cadena F ( x0 , y0 , z0 ). g (t0 ) = 0

esto demuestra que el gradiente es perpendicular a cualquier curva de nivel

Demostracion de independencia de camino

r
r
r
t2
r g:t x
r
r
r
r
r
dg = r
h = o g (t ) (g (t ) ) = h(t ) = (g (t ) )dt = h(t2 ) h(t1 ) = (g (t2 ) ) (g (t1) )
c {
: x k
t1
F
= (B ) ( A)

( )